Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 262858 | 1800.1 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb |
MD5SUM | f36b59f1fcf0c7e8fce521b6b9823495 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262858 |
Best CPU time to get the best result obtained on this benchmark | 456.445 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262858 |
Optimality of the best value was proved | YES |
Number of variables | 290 |
Total number of constraints | 212 |
Number of constraints which are clauses | 127 |
Number of constraints which are cardinality constraints (but not clauses) | 13 |
Number of constraints which are nor clauses,nor cardinality constraints | 72 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 263 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524422 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.05 c Initial problem consists of 290 variables and 247 constraints. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.059 0.07 c After prepocess the problem consists of 290 variables and 247 constraints. 0.07 c Initial Lower Bound: 0 0.13 c Restart #1 #Var: 290 LB: 0 @ 0.125 0.33 c Restart #2 #Var: 290 LB: 0 @ 0.321 0.69 c Restart #3 #Var: 290 LB: 0 @ 0.678 0.86 c Restart #4 #Var: 290 LB: 0 @ 0.857 1.03 c Restart #5 #Var: 290 LB: 0 @ 1.028 1.25 c Sol. found (all assignments made)... 1.25 o 263190 1.25 c NEW SOLUTION FOUND: 263190 @ 1.239 1.26 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 o 263092 1.30 c NEW SOLUTION FOUND: 263092 @ 1.29 1.33 c Sol. found (all assignments made)... 1.33 o 262996 1.33 c NEW SOLUTION FOUND: 262996 @ 1.319 1.53 c Restart #6 #Var: 290 LB: 0 @ 1.526 1.65 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 o 262973 1.67 c NEW SOLUTION FOUND: 262973 @ 1.66 1.91 c Sol. found (all assignments made)... 1.99 c Restart #7 #Var: 290 LB: 0 @ 1.981 2.30 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.36 c Restart #8 #Var: 290 LB: 0 @ 2.355 2.75 c Restart #9 #Var: 282 LB: 262145 @ 2.74 3.27 c Restart #10 #Var: 282 LB: 262145 @ 3.26 3.92 c CHANGE to MIS mode... UB: 262973 MIS: 262145 LPR: 262380 (0.0295) Diff: 0.9991 3.92 c Restart #0 #Var: 282 LB: 262145 @ 3.864 3.99 c Restart #1 #Var: 282 LB: 262145 @ 3.936 4.13 c Restart #2 #Var: 282 LB: 262145 @ 4.076 4.32 c Restart #3 #Var: 282 LB: 262145 @ 4.263 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.47 c Restart #4 #Var: 282 LB: 262145 @ 4.419 5.69 c Restart #5 #Var: 282 LB: 262145 @ 5.639 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.86 c Restart #6 #Var: 281 LB: 262145 @ 5.805 7.03 c Restart #7 #Var: 281 LB: 262145 @ 6.979 7.41 c Sol. found (all assignments made)... 7.41 o 262920 7.41 c NEW SOLUTION FOUND: 262920 @ 7.36 7.41 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 o 262919 7.42 c NEW SOLUTION FOUND: 262919 @ 7.363 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 o 262918 7.49 c NEW SOLUTION FOUND: 262918 @ 7.433 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.50 o 262917 7.50 c NEW SOLUTION FOUND: 262917 @ 7.445 7.98 c Restart #8 #Var: 281 LB: 262145 @ 7.923 8.60 c Restart #9 #Var: 281 LB: 262145 @ 8.548 9.26 c Restart #10 #Var: 281 LB: 262145 @ 9.203 10.07 c Restart #11 #Var: 281 LB: 262145 @ 10.013 10.58 c Sol. found (all assignments made)... 10.86 c Restart #12 #Var: 281 LB: 262145 @ 10.806 11.92 c Restart #13 #Var: 281 LB: 262145 @ 11.863 12.43 c Sol. found (all assignments made)... 12.43 o 262908 12.43 c NEW SOLUTION FOUND: 262908 @ 12.374 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 o 262907 12.47 c NEW SOLUTION FOUND: 262907 @ 12.412 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 o 262906 12.48 c NEW SOLUTION FOUND: 262906 @ 12.42 12.48 c Sol. found (all assignments made)... 12.90 c Sol. found (all assignments made)... 12.90 o 262888 12.90 c NEW SOLUTION FOUND: 262888 @ 12.84 12.90 c Sol. found (all assignments made)... 12.90 o 262887 12.90 c NEW SOLUTION FOUND: 262887 @ 12.841 12.90 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 o 262884 12.91 c NEW SOLUTION FOUND: 262884 @ 12.851 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 o 262883 12.91 c NEW SOLUTION FOUND: 262883 @ 12.852 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.92 c Sol. found (all assignments made)... 13.50 c Restart #14 #Var: 281 LB: 262145 @ 13.438 15.29 c Restart #15 #Var: 281 LB: 262145 @ 15.231 17.06 c Restart #16 #Var: 281 LB: 262145 @ 17.002 19.43 c Restart #17 #Var: 281 LB: 262145 @ 19.372 20.95 c Restart #18 #Var: 281 LB: 262145 @ 20.889 24.38 c Restart #19 #Var: 281 LB: 262145 @ 24.319 26.76 c Restart #20 #Var: 281 LB: 262145 @ 26.696 28.95 c Restart #21 #Var: 281 LB: 262145 @ 28.884 32.68 c Restart #22 #Var: 281 LB: 262145 @ 32.613 34.79 c Restart #23 #Var: 281 LB: 262145 @ 34.722 38.51 c Restart #24 #Var: 281 LB: 262145 @ 38.447 42.08 c Restart #25 #Var: 281 LB: 262145 @ 42.012 46.24 c Restart #26 #Var: 281 LB: 262145 @ 46.175 46.73 c Sol. found (all assignments made)... 46.73 o 262882 46.73 c NEW SOLUTION FOUND: 262882 @ 46.663 46.73 c Sol. found (all assignments made)... 46.73 c Sol. found (all assignments made)... 46.73 c Sol. found (all assignments made)... 46.73 o 262881 46.73 c NEW SOLUTION FOUND: 262881 @ 46.666 46.74 c Sol. found (all assignments made)... 46.74 c Sol. found (all assignments made)... 46.74 c Sol. found (all assignments made)... 46.74 c Sol. found (all assignments made)... 46.74 c Sol. found (all assignments made)... 46.74 o 262880 46.74 c NEW SOLUTION FOUND: 262880 @ 46.675 46.74 c Sol. found (all assignments made)... 46.83 c Sol. found (all assignments made)... 46.83 o 262861 46.83 c NEW SOLUTION FOUND: 262861 @ 46.767 46.84 c Sol. found (all assignments made)... 46.84 o 262860 46.84 c NEW SOLUTION FOUND: 262860 @ 46.769 46.84 c Sol. found (all assignments made)... 46.84 c Sol. found (all assignments made)... 46.84 c Sol. found (all assignments made)... 46.84 o 262859 46.84 c NEW SOLUTION FOUND: 262859 @ 46.772 46.84 c Sol. found (all assignments made)... 46.84 c Sol. found (all assignments made)... 46.84 c Sol. found (all assignments made)... 46.84 c Sol. found (all assignments made)... 46.84 o 262858 46.84 c NEW SOLUTION FOUND: 262858 @ 46.775 46.84 c Sol. found (all assignments made)... 46.85 c Sol. found (all assignments made)... 50.24 c Restart #27 #Var: 281 LB: 262145 @ 50.173 59.11 c Restart #28 #Var: 281 LB: 262145 @ 59.044 63.66 c Restart #29 #Var: 281 LB: 262145 @ 63.591 67.52 c Restart #30 #Var: 281 LB: 262145 @ 67.444 72.04 c Restart #31 #Var: 281 LB: 262145 @ 71.963 83.13 c Restart #32 #Var: 281 LB: 262145 @ 83.049 89.96 c Restart #33 #Var: 281 LB: 262145 @ 89.882 100.12 c Restart #34 #Var: 281 LB: 262145 @ 100.04 108.53 c Restart #35 #Var: 281 LB: 262145 @ 108.45 120.39 c Restart #36 #Var: 281 LB: 262145 @ 120.3 135.00 c Restart #37 #Var: 281 LB: 262145 @ 134.91 143.26 c Restart #38 #Var: 281 LB: 262145 @ 143.17 155.70 c Restart #39 #Var: 281 LB: 262145 @ 155.61 168.82 c Restart #40 #Var: 281 LB: 262145 @ 168.72 183.93 c Restart #41 #Var: 281 LB: 262145 @ 183.83 196.61 c Restart #42 #Var: 281 LB: 262145 @ 196.51 212.36 c Restart #43 #Var: 281 LB: 262145 @ 212.25 223.62 c Restart #44 #Var: 281 LB: 262145 @ 223.5 252.81 c Restart #45 #Var: 281 LB: 262145 @ 252.68 277.16 c Restart #46 #Var: 281 LB: 262145 @ 277.03 289.60 c Restart #47 #Var: 281 LB: 262145 @ 289.47 306.68 c Restart #48 #Var: 281 LB: 262145 @ 306.54 336.44 c Restart #49 #Var: 281 LB: 262145 @ 336.3 367.29 c Restart #50 #Var: 281 LB: 262145 @ 367.14 384.25 c Restart #51 #Var: 281 LB: 262145 @ 384.09 393.18 c Restart #52 #Var: 281 LB: 262145 @ 393.02 429.90 c Restart #53 #Var: 281 LB: 262145 @ 429.73 446.45 c Restart #54 #Var: 281 LB: 262145 @ 446.28 466.47 c Restart #55 #Var: 281 LB: 262145 @ 466.29 487.24 c Restart #56 #Var: 281 LB: 262145 @ 487.06 507.74 c Restart #57 #Var: 281 LB: 262145 @ 507.55 538.85 c Restart #58 #Var: 281 LB: 262145 @ 538.65 564.98 c Restart #59 #Var: 281 LB: 262145 @ 564.78 596.00 c Restart #60 #Var: 281 LB: 262145 @ 595.78 617.46 c Restart #61 #Var: 281 LB: 262145 @ 617.24 658.38 c Restart #62 #Var: 281 LB: 262145 @ 658.15 724.78 c Restart #63 #Var: 281 LB: 262145 @ 724.54 750.67 c Restart #64 #Var: 281 LB: 262145 @ 750.42 777.58 c Restart #65 #Var: 281 LB: 262145 @ 777.32 854.70 c Restart #66 #Var: 281 LB: 262145 @ 854.42 879.54 c Restart #67 #Var: 281 LB: 262145 @ 879.25 912.38 c Restart #68 #Var: 281 LB: 262145 @ 912.08 944.04 c Restart #69 #Var: 281 LB: 262145 @ 943.73 985.55 c Restart #70 #Var: 281 LB: 262145 @ 985.23 1043.53 c Restart #71 #Var: 281 LB: 262145 @ 1043.2 1085.82 c Restart #72 #Var: 281 LB: 262145 @ 1085.5 1124.38 c Restart #73 #Var: 281 LB: 262145 @ 1124 1230.60 c Restart #74 #Var: 281 LB: 262145 @ 1230.2 1273.16 c Restart #75 #Var: 281 LB: 262145 @ 1272.8 1360.04 c Restart #76 #Var: 281 LB: 262145 @ 1359.6 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.24 c Sol. found (all assignments made)... 1369.65 c Sol. found (all assignments made)... 1369.65 c Sol. found (all assignments made)... 1369.65 c Sol. found (all assignments made)... 1369.65 c Sol. found (all assignments made)... 1369.65 c Sol. found (all assignments made)... 1369.65 c Sol. found (all assignments made)... 1369.66 c Sol. found (all assignments made)... 1369.66 c Sol. found (all assignments made)... 1369.66 c Sol. found (all assignments made)... 1369.66 c Sol. found (all assignments made)... 1369.66 c Sol. found (all assignments made)... 1369.66 c Sol. found (all assignments made)... 1369.66 c Sol. found (all assignments made)... 1369.67 c Sol. found (all assignments made)... 1369.67 c Sol. found (all assignments made)... 1369.67 c Sol. found (all assignments made)... 1369.67 c Sol. found (all assignments made)... 1369.67 c Sol. found (all assignments made)... 1369.68 c Sol. found (all assignments made)... 1369.68 c Sol. found (all assignments made)... 1369.68 c Sol. found (all assignments made)... 1369.68 c Sol. found (all assignments made)... 1369.68 c Sol. found (all assignments made)... 1369.68 c Sol. found (all assignments made)... 1369.68 c Sol. found (all assignments made)... 1369.68 c Sol. found (all assignments made)... 1369.69 c Sol. found (all assignments made)... 1392.67 c Restart #77 #Var: 281 LB: 262145 @ 1392.2 1438.28 c Restart #78 #Var: 281 LB: 262145 @ 1437.8 1483.02 c Restart #79 #Var: 281 LB: 262145 @ 1482.6 1511.39 c Restart #80 #Var: 281 LB: 262145 @ 1510.9 1585.00 c Restart #81 #Var: 281 LB: 262145 @ 1584.5 1692.58 c Restart #82 #Var: 281 LB: 262145 @ 1692.1 1800.55 s SATISFIABLE 1800.55 c Cost: 262858 1800.55 v x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 -x192 -x193 -x194 x195 x196 x197 -x198 x199 -x200 x201 -x202 -x203 1800.55 v -x204 -x205 -x206 -x207 -x208 -x209 x210 -x225 -x236 -x247 -x258 -x269 -x280 -x2 -x13 -x24 -x35 -x46 -x57 -x68 -x79 -x90 -x101 1800.55 v -x113 -x124 x135 -x146 -x157 -x168 -x179 -x211 x212 -x213 -x215 -x219 -x220 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 1800.55 v -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x248 -x252 -x253 -x254 -x255 1800.55 v -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.55 v -x279 -x281 -x285 x286 -x287 -x288 -x289 -x290 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 1800.55 v -x22 -x23 -x25 -x29 x30 -x31 -x32 -x33 -x34 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x47 -x48 -x49 -x50 -x51 -x52 -x53 1800.55 v -x54 -x55 -x56 -x58 -x62 -x63 -x64 -x65 x66 -x67 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x80 -x81 -x82 -x83 -x84 -x85 1800.55 v -x86 -x87 -x88 -x89 -x91 -x95 -x96 x97 -x98 -x99 -x100 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 x114 -x115 1800.55 v -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x125 -x129 -x130 -x131 -x132 -x133 -x134 -x136 -x137 -x138 -x139 -x140 -x141 1800.55 v -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x158 x162 -x163 x164 -x165 x166 -x167 1800.55 v x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 -x112 -x217 -x250 -x283 -x27 -x60 -x93 -x214 -x218 -x251 -x284 -x28 1800.55 v -x61 -x94 -x1 -x126 -x127 -x128 -x159 -x160 -x161 -x216 -x249 -x282 -x26 -x59 -x92 1800.55 c Exit Code: 10 1800.55 c Total time: 1800 s
OK 262858
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-40018-1149354749 -o ROOT/results/node42/solver-40018-1149354749 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node42/40018-1149354749/instance-40018-1149354749.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.95 2/64 19537 /proc/meminfo: memFree=1613840/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=4932 CPUtime=0 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 201141986 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 1233 330 226 55 0 125 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.95 2/64 19537 /proc/meminfo: memFree=1589848/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=28108 CPUtime=9.94 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 6984 0 3 0 987 7 0 0 25 0 1 0 201141986 28782592 6343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 7027 6343 431 55 0 5919 0 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 28108 [startup+20.0084 s] /proc/loadavg: 0.94 0.96 0.95 2/64 19537 /proc/meminfo: memFree=1573336/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=44612 CPUtime=19.94 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 11102 0 3 0 1983 11 0 0 25 0 1 0 201141986 45682688 10461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 11153 10461 431 55 0 10045 0 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 44612 [startup+30.0145 s] /proc/loadavg: 0.95 0.96 0.95 2/64 19537 /proc/meminfo: memFree=1561944/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=56036 CPUtime=29.95 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 14062 0 3 0 2981 14 0 0 25 0 1 0 201141986 57380864 13311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 14009 13311 431 55 0 12901 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 56036 [startup+40.0206 s] /proc/loadavg: 0.95 0.96 0.95 2/64 19537 /proc/meminfo: memFree=1552216/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=65660 CPUtime=39.95 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 16480 0 3 0 3978 17 0 0 25 0 1 0 201141986 67235840 15729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 16415 15729 431 55 0 15307 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 65660 [startup+50.0277 s] /proc/loadavg: 0.96 0.96 0.95 2/64 19537 /proc/meminfo: memFree=1541720/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=76224 CPUtime=49.95 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 19092 0 3 0 4975 20 0 0 25 0 1 0 201141986 78053376 18341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 19056 18341 431 55 0 17948 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 76224 [startup+60.0329 s] /proc/loadavg: 0.97 0.96 0.95 2/64 19537 /proc/meminfo: memFree=1536920/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=80972 CPUtime=59.96 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 20310 0 3 0 5973 23 0 0 25 0 1 0 201141986 82915328 19559 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 20243 19559 431 55 0 19135 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 80972 [startup+70.039 s] /proc/loadavg: 0.97 0.96 0.95 2/64 19537 /proc/meminfo: memFree=1528280/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=89684 CPUtime=69.95 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 22460 0 3 0 6971 24 0 0 25 0 1 0 201141986 91836416 21709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 22421 21709 431 55 0 21313 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 89684 [startup+80.0451 s] /proc/loadavg: 0.98 0.96 0.95 2/64 19537 /proc/meminfo: memFree=1521880/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=96020 CPUtime=79.96 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 24065 0 3 0 7970 26 0 0 25 0 1 0 201141986 98324480 23314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 24005 23314 431 55 0 22897 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 96020 [startup+90.0512 s] /proc/loadavg: 0.98 0.96 0.95 2/64 19537 /proc/meminfo: memFree=1515032/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=102860 CPUtime=89.97 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 26099 0 3 0 8969 28 0 0 25 0 1 0 201141986 105328640 25020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 25715 25020 431 55 0 24607 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 102860 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.95 2/64 19537 /proc/meminfo: memFree=1509848/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=108008 CPUtime=99.97 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 27380 0 3 0 9967 30 0 0 25 0 1 0 201141986 110600192 26301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528674 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 27002 26301 431 55 0 25894 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 108008 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.95 2/64 19537 /proc/meminfo: memFree=1505304/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=112628 CPUtime=109.97 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 28524 0 3 0 10965 32 0 0 25 0 1 0 201141986 115331072 27445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 28157 27445 431 55 0 27049 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 112628 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19537 /proc/meminfo: memFree=1500504/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=117376 CPUtime=119.98 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 29720 0 3 0 11964 34 0 0 25 0 1 0 201141986 120193024 28641 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 29344 28641 431 55 0 28236 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 117376 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19537 /proc/meminfo: memFree=1497112/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=120804 CPUtime=129.98 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 30565 0 3 0 12963 35 0 0 25 0 1 0 201141986 123703296 29486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 30201 29486 431 55 0 29093 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 120804 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19537 /proc/meminfo: memFree=1492248/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=125556 CPUtime=139.98 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 31767 0 3 0 13962 36 0 0 25 0 1 0 201141986 128569344 30688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 31389 30688 431 55 0 30281 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 125556 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19537 /proc/meminfo: memFree=1487704/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=130168 CPUtime=149.99 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 32904 0 3 0 14960 39 0 0 25 0 1 0 201141986 133292032 31825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 32542 31825 431 55 0 31434 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 130168 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19537 /proc/meminfo: memFree=1483672/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=134132 CPUtime=159.99 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 33915 0 3 0 15959 40 0 0 25 0 1 0 201141986 137351168 32836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 33533 32836 431 55 0 32425 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 134132 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19537 /proc/meminfo: memFree=1479384/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=138496 CPUtime=169.99 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 34980 0 3 0 16958 41 0 0 25 0 1 0 201141986 141819904 33901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 34624 33901 431 55 0 33516 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 138496 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19537 /proc/meminfo: memFree=1475352/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=142464 CPUtime=180 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 35979 0 3 0 17957 43 0 0 25 0 1 0 201141986 145883136 34900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 35616 34900 431 55 0 34508 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 142464 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19537 /proc/meminfo: memFree=1471448/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=146296 CPUtime=189.99 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 36943 0 3 0 18956 43 0 0 25 0 1 0 201141986 149807104 35864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 36574 35864 431 55 0 35466 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 146296 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19537 /proc/meminfo: memFree=1466840/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=150916 CPUtime=200.01 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 38101 0 3 0 19956 45 0 0 25 0 1 0 201141986 154537984 37022 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 37729 37022 431 55 0 36621 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 150916 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19537 /proc/meminfo: memFree=1462808/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/19537/statm: 124839 123747 431 55 0 123731 0 Current children cumulated CPU time (s) 1760.56 Current children cumulated vsize (Kb) 499356 [startup+1771.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1117912/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=500144 CPUtime=1770.57 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127009 0 3 0 176862 195 0 0 25 0 1 0 201141986 512147456 123939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125036 123939 431 55 0 123928 0 Current children cumulated CPU time (s) 1770.57 Current children cumulated vsize (Kb) 500144 [startup+1781.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1117272/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=500804 CPUtime=1780.58 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127170 0 3 0 177862 196 0 0 25 0 1 0 201141986 512823296 124100 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125201 124100 431 55 0 124093 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 500804 [startup+1782.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1117208/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=500804 CPUtime=1781.58 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127186 0 3 0 177962 196 0 0 25 0 1 0 201141986 512823296 124116 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125201 124116 431 55 0 124093 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 500804 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1117080/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=500936 CPUtime=1782.59 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127217 0 3 0 178063 196 0 0 25 0 1 0 201141986 512958464 124147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125234 124147 431 55 0 124126 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 500936 [startup+1784.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116952/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501068 CPUtime=1783.59 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127242 0 3 0 178163 196 0 0 25 0 1 0 201141986 513093632 124172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125267 124172 431 55 0 124159 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 501068 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116888/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501068 CPUtime=1784.6 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127258 0 3 0 178264 196 0 0 25 0 1 0 201141986 513093632 124188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125267 124188 431 55 0 124159 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 501068 [startup+1786.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116824/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501200 CPUtime=1785.6 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127286 0 3 0 178364 196 0 0 25 0 1 0 201141986 513228800 124216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125300 124216 431 55 0 124192 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 501200 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116696/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501332 CPUtime=1786.61 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127306 0 3 0 178465 196 0 0 25 0 1 0 201141986 513363968 124236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125333 124236 431 55 0 124225 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 501332 [startup+1788.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116632/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501332 CPUtime=1787.61 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127320 0 3 0 178565 196 0 0 25 0 1 0 201141986 513363968 124250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125333 124250 431 55 0 124225 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 501332 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116568/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501464 CPUtime=1788.61 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127339 0 3 0 178665 196 0 0 25 0 1 0 201141986 513499136 124269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125366 124269 431 55 0 124258 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 501464 [startup+1790.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116504/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501464 CPUtime=1789.62 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127363 0 3 0 178766 196 0 0 25 0 1 0 201141986 513499136 124293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125366 124293 431 55 0 124258 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 501464 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116440/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501596 CPUtime=1790.62 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127375 0 3 0 178866 196 0 0 25 0 1 0 201141986 513634304 124305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125399 124305 431 55 0 124291 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 501596 [startup+1792.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116376/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501596 CPUtime=1791.63 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127386 0 3 0 178967 196 0 0 25 0 1 0 201141986 513634304 124316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125399 124316 431 55 0 124291 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 501596 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116312/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501728 CPUtime=1792.63 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127407 0 3 0 179067 196 0 0 25 0 1 0 201141986 513769472 124337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125432 124337 431 55 0 124324 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 501728 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116248/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501728 CPUtime=1793.64 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127425 0 3 0 179168 196 0 0 25 0 1 0 201141986 513769472 124355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125432 124355 431 55 0 124324 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 501728 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1116056/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=501860 CPUtime=1794.64 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127463 0 3 0 179268 196 0 0 25 0 1 0 201141986 513904640 124393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125465 124393 431 55 0 124357 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 501860 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1115928/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=502124 CPUtime=1795.64 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127498 0 3 0 179368 196 0 0 25 0 1 0 201141986 514174976 124428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125531 124428 431 55 0 124423 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 502124 [startup+1797.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1115672/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=502256 CPUtime=1796.65 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127559 0 3 0 179469 196 0 0 25 0 1 0 201141986 514310144 124489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125564 124489 431 55 0 124456 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 502256 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1115672/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=502392 CPUtime=1797.65 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127570 0 3 0 179569 196 0 0 25 0 1 0 201141986 514449408 124500 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125598 124500 431 55 0 124490 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 502392 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1115544/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=502392 CPUtime=1798.66 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127589 0 3 0 179670 196 0 0 25 0 1 0 201141986 514449408 124519 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125598 124519 431 55 0 124490 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 502392 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19539 /proc/meminfo: memFree=1115416/2055920 swapFree=4181444/4192956 [pid=19537] ppid=19535 vsize=502524 CPUtime=1799.66 /proc/19537/stat : 19537 (bsolo) R 19535 19537 19491 0 -1 0 127629 0 3 0 179770 196 0 0 25 0 1 0 201141986 514584576 124559 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19537/statm: 125631 124559 431 55 0 124523 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 502524 Child status: 10 Real time (s): 1800.64 CPU time (s): 1800.1 CPU user time (s): 1798.06 CPU system time (s): 2.04469 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (Kb): 502524
Begin job on node42 on Sat Jun 3 17:12:29 UTC 2006 FILE ID= 40018-1149354749 PBS_JOBID= 311180 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node42/40018-1149354749/instance-40018-1149354749.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-40018-1149354749 -o ROOT/results/node42/solver-40018-1149354749 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node42/40018-1149354749/instance-40018-1149354749.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= f36b59f1fcf0c7e8fce521b6b9823495 RANDOM SEED= 163444763 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1614176 kB Buffers: 11964 kB Cached: 362564 kB SwapCached: 3212 kB Active: 43808 kB Inactive: 339392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1614176 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14932 kB Slab: 44548 kB Committed_AS: 349492 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node42 on Sat Jun 3 17:42:30 UTC 2006