Num master-only cols: 14
==  Welcome to the Abstract Library for Parallel Search (ALPS) 
==  Copyright 2000-2013 Lehigh University and others 
==  All Rights Reserved. 
==  Distributed under the Eclipse Public License 1.0 
==  Version: 1.4.8
==  Build Date: Feb  3 2014
Alps0250I Starting search ...

Alps0202I Problem is infeasible. 1 nodes processed, 0 nodes left
Alps0262I No solution found
Alps0264I Number of nodes processed:                1
Alps0267I Number of nodes branched:                 0
Alps0268I Number of nodes pruned before processing: 0
Alps0270I Number of nodes left:                     0
Alps0272I Tree depth: 0
Alps0274I Search CPU time: 0.00 seconds
Alps0278I Search wall-clock time: 0.00 seconds

================ DECOMP Statistics [BEGIN]: ===============                
Total Decomp          =       0.00    100.00     1  0.00               
Total Solve Relax     =       0.02    442.13     6  0.01               
Total Solve Relax App =       0.00      0.02     6  0.00               
Total Solution Update =       0.00      4.29     3  0.00               
Total Generate Cuts   =       0.00      0.00     0  0.00               
Total Generate Vars   =       0.00     93.66     2  0.00               
Total Compress Cols   =       0.00      0.00     0  0.00
================ DECOMP Statistics [END  ]: =============== 
Erreur de segmentation (core dumped)