Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -35 | 1800.01 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
MD5SUM | 9984e76947bf9addca42277d72ff7107 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 821.045 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | YES |
Number of variables | 760 |
Total number of constraints | 41314 |
Number of constraints which are clauses | 41314 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
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.58 c Initial problem consists of 760 variables and 41314 constraints. 4.92 c No problem reductions applied in OPT. instance. 4.92 c preprocess terminated. Elapsed time: 4.915 4.92 c After prepocess the problem consists of 760 variables and 41314 constraints. 4.92 c Initial Lower Bound: -760 4.96 c Sol. found (all assignments made)... 4.96 o -2 4.96 c NEW SOLUTION FOUND: -2 @ 4.948 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 o -3 4.96 c NEW SOLUTION FOUND: -3 @ 4.95 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 o -4 4.96 c NEW SOLUTION FOUND: -4 @ 4.953 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 o -5 4.97 c NEW SOLUTION FOUND: -5 @ 4.963 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.06 c Restart #1 #Var: 760 LB: -760 @ 5.054 5.09 c Sol. found (all assignments made)... 5.09 o -24 5.09 c NEW SOLUTION FOUND: -24 @ 5.084 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.24 c Restart #2 #Var: 760 LB: -760 @ 5.231 5.27 c Sol. found (all assignments made)... 5.27 o -26 5.27 c NEW SOLUTION FOUND: -26 @ 5.265 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 o -27 5.29 c NEW SOLUTION FOUND: -27 @ 5.28 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 o -28 5.30 c NEW SOLUTION FOUND: -28 @ 5.297 5.30 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 o -30 5.32 c NEW SOLUTION FOUND: -30 @ 5.313 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.53 c Restart #3 #Var: 760 LB: -760 @ 5.518 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.82 c Restart #4 #Var: 760 LB: -760 @ 5.815 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.90 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.92 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.14 c Sol. found (all assignments made)... 6.18 c Restart #5 #Var: 760 LB: -760 @ 6.173 6.59 c Restart #6 #Var: 760 LB: -760 @ 6.586 6.63 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.02 c Sol. found (all assignments made)... 7.02 c Sol. found (all assignments made)... 26.65 c CHANGE to MIS mode... UB: -30 MIS: -760 LPR: -351 (1.9557) Diff: 2.1652 26.65 c Restart #0 #Var: 760 LB: -760 @ 26.632 26.73 c Sol. found (all assignments made)... 26.73 o -31 26.73 c NEW SOLUTION FOUND: -31 @ 26.717 26.73 c Sol. found (all assignments made)... 26.75 c Sol. found (all assignments made)... 26.76 c Sol. found (all assignments made)... 26.76 o -32 26.76 c NEW SOLUTION FOUND: -32 @ 26.74 26.76 c Sol. found (all assignments made)... 26.85 c Restart #1 #Var: 760 LB: -760 @ 26.838 27.15 c Restart #2 #Var: 760 LB: -385 @ 27.128 27.48 c Restart #3 #Var: 760 LB: -760 @ 27.466 27.87 c Restart #4 #Var: 760 LB: -760 @ 27.849 28.34 c Restart #5 #Var: 760 LB: -760 @ 28.319 28.88 c Restart #6 #Var: 760 LB: -384 @ 28.862 29.51 c Restart #7 #Var: 760 LB: -386 @ 29.489 29.68 c Sol. found (all assignments made)... 29.68 c Sol. found (all assignments made)... 29.68 c Sol. found (all assignments made)... 29.71 c Sol. found (all assignments made)... 29.71 c Sol. found (all assignments made)... 29.71 c Sol. found (all assignments made)... 29.72 c Sol. found (all assignments made)... 29.72 c Sol. found (all assignments made)... 29.72 c Sol. found (all assignments made)... 29.72 c Sol. found (all assignments made)... 29.72 c Sol. found (all assignments made)... 29.73 c Sol. found (all assignments made)... 29.73 c Sol. found (all assignments made)... 29.73 c Sol. found (all assignments made)... 29.73 c Sol. found (all assignments made)... 30.21 c Restart #8 #Var: 760 LB: -382 @ 30.188 30.97 c Restart #9 #Var: 760 LB: -383 @ 30.952 31.82 c Restart #10 #Var: 760 LB: -384 @ 31.802 32.06 c Sol. found (all assignments made)... 32.60 c Sol. found (all assignments made)... 32.61 c Sol. found (all assignments made)... 32.69 c Restart #11 #Var: 760 LB: -760 @ 32.669 33.64 c Restart #12 #Var: 760 LB: -760 @ 33.623 34.64 c Restart #13 #Var: 760 LB: -384 @ 34.621 35.74 c Restart #14 #Var: 760 LB: -385 @ 35.724 36.88 c Restart #15 #Var: 760 LB: -760 @ 36.857 37.24 c Sol. found (all assignments made)... 37.24 c Sol. found (all assignments made)... 37.34 c Sol. found (all assignments made)... 37.35 c Sol. found (all assignments made)... 37.35 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.49 c Sol. found (all assignments made)... 37.55 c Sol. found (all assignments made)... 37.55 c Sol. found (all assignments made)... 38.10 c Restart #16 #Var: 760 LB: -760 @ 38.077 39.41 c Restart #17 #Var: 760 LB: -760 @ 39.393 40.75 c Restart #18 #Var: 760 LB: -760 @ 40.73 42.16 c Restart #19 #Var: 760 LB: -760 @ 42.137 43.68 c Restart #20 #Var: 760 LB: -383 @ 43.654 45.32 c Restart #21 #Var: 760 LB: -385 @ 45.295 46.95 c Restart #22 #Var: 760 LB: -384 @ 46.932 48.69 c Restart #23 #Var: 760 LB: -760 @ 48.67 50.26 c Sol. found (all assignments made)... 50.26 c Sol. found (all assignments made)... 50.40 c Restart #24 #Var: 760 LB: -760 @ 50.378 52.19 c Restart #25 #Var: 760 LB: -760 @ 52.169 54.06 c Restart #26 #Var: 760 LB: -760 @ 54.035 55.98 c Restart #27 #Var: 760 LB: -760 @ 55.959 57.47 c Sol. found (all assignments made)... 57.48 c Sol. found (all assignments made)... 58.00 c Restart #28 #Var: 760 LB: -760 @ 57.977 60.06 c Restart #29 #Var: 760 LB: -760 @ 60.037 62.19 c Restart #30 #Var: 760 LB: -760 @ 62.163 64.37 c Restart #31 #Var: 760 LB: -760 @ 64.347 64.70 c Sol. found (all assignments made)... 64.70 o -33 64.70 c NEW SOLUTION FOUND: -33 @ 64.676 64.70 c Sol. found (all assignments made)... 66.81 c Sol. found (all assignments made)... 66.81 c Sol. found (all assignments made)... 66.92 c Restart #32 #Var: 760 LB: -760 @ 66.894 69.39 c Restart #33 #Var: 760 LB: -384 @ 69.359 71.86 c Restart #34 #Var: 760 LB: -760 @ 71.826 74.37 c Restart #35 #Var: 760 LB: -760 @ 74.341 76.90 c Restart #36 #Var: 760 LB: -760 @ 76.872 79.62 c Restart #37 #Var: 760 LB: -760 @ 79.585 82.30 c Restart #38 #Var: 760 LB: -760 @ 82.271 85.18 c Restart #39 #Var: 760 LB: -760 @ 85.145 86.64 c Sol. found (all assignments made)... 88.11 c Restart #40 #Var: 760 LB: -385 @ 88.08 91.06 c Restart #41 #Var: 760 LB: -386 @ 91.027 94.06 c Restart #42 #Var: 760 LB: -760 @ 94.027 97.18 c Restart #43 #Var: 760 LB: -760 @ 97.146 100.40 c Restart #44 #Var: 760 LB: -760 @ 100.36 103.57 c Restart #45 #Var: 760 LB: -760 @ 103.53 106.91 c Restart #46 #Var: 760 LB: -760 @ 106.88 110.27 c Restart #47 #Var: 760 LB: -760 @ 110.23 113.71 c Restart #48 #Var: 760 LB: -385 @ 113.67 117.20 c Restart #49 #Var: 760 LB: -760 @ 117.16 120.77 c Restart #50 #Var: 760 LB: -760 @ 120.72 124.48 c Restart #51 #Var: 760 LB: -760 @ 124.44 128.21 c Restart #52 #Var: 760 LB: -386 @ 128.17 132.00 c Restart #53 #Var: 760 LB: -760 @ 131.95 135.80 c Restart #54 #Var: 760 LB: -760 @ 135.75 139.77 c Restart #55 #Var: 760 LB: -760 @ 139.72 143.80 c Restart #56 #Var: 760 LB: -760 @ 143.75 147.81 c Restart #57 #Var: 760 LB: -760 @ 147.76 151.96 c Restart #58 #Var: 760 LB: -760 @ 151.91 156.09 c Restart #59 #Var: 760 LB: -760 @ 156.04 160.34 c Restart #60 #Var: 760 LB: -760 @ 160.29 164.63 c Restart #61 #Var: 760 LB: -760 @ 164.58 168.96 c Restart #62 #Var: 760 LB: -760 @ 168.9 173.39 c Restart #63 #Var: 760 LB: -760 @ 173.34 178.02 c Restart #64 #Var: 760 LB: -384 @ 177.96 182.61 c Restart #65 #Var: 760 LB: -760 @ 182.55 184.12 c Sol. found (all assignments made)... 186.91 c Sol. found (all assignments made)... 186.91 c Sol. found (all assignments made)... 186.92 c Sol. found (all assignments made)... 186.92 c Sol. found (all assignments made)... 186.92 c Sol. found (all assignments made)... 186.93 c Sol. found (all assignments made)... 186.96 c Sol. found (all assignments made)... 186.96 c Sol. found (all assignments made)... 186.96 c Sol. found (all assignments made)... 186.97 c Sol. found (all assignments made)... 186.97 c Sol. found (all assignments made)... 186.97 c Sol. found (all assignments made)... 187.20 c Sol. found (all assignments made)... 187.20 c Sol. found (all assignments made)... 187.21 c Sol. found (all assignments made)... 187.22 c Sol. found (all assignments made)... 187.25 c Restart #66 #Var: 760 LB: -760 @ 187.19 192.00 c Restart #67 #Var: 760 LB: -760 @ 191.93 196.85 c Restart #68 #Var: 760 LB: -760 @ 196.79 201.78 c Restart #69 #Var: 760 LB: -760 @ 201.72 204.58 c Sol. found (all assignments made)... 206.75 c Restart #70 #Var: 760 LB: -760 @ 206.69 211.57 c Restart #71 #Var: 760 LB: -760 @ 211.5 216.64 c Restart #72 #Var: 760 LB: -760 @ 216.57 221.69 c Restart #73 #Var: 760 LB: -760 @ 221.62 226.93 c Restart #74 #Var: 760 LB: -760 @ 226.85 232.24 c Restart #75 #Var: 760 LB: -760 @ 232.17 237.55 c Restart #76 #Var: 760 LB: -760 @ 237.47 243.19 c Restart #77 #Var: 760 LB: -760 @ 243.11 248.88 c Restart #78 #Var: 760 LB: -760 @ 248.8 250.84 c Sol. found (all assignments made)... 254.36 c Restart #79 #Var: 760 LB: -760 @ 254.28 260.06 c Restart #80 #Var: 760 LB: -760 @ 259.98 265.66 c Restart #81 #Var: 760 LB: -760 @ 265.58 271.52 c Restart #82 #Var: 760 LB: -760 @ 271.43 277.33 c Restart #83 #Var: 760 LB: -760 @ 277.24 283.56 c Restart #84 #Var: 760 LB: -760 @ 283.47 289.54 c Restart #85 #Var: 760 LB: -760 @ 289.45 295.53 c Restart #86 #Var: 760 LB: -760 @ 295.44 301.81 c Restart #87 #Var: 760 LB: -760 @ 301.72 308.20 c Restart #88 #Var: 760 LB: -760 @ 308.11 308.38 c Sol. found (all assignments made)... 308.53 c Sol. found (all assignments made)... 314.40 c Restart #89 #Var: 760 LB: -760 @ 314.31 320.60 c Restart #90 #Var: 760 LB: -760 @ 320.51 320.76 c Sol. found (all assignments made)... 320.76 c Sol. found (all assignments made)... 320.76 c Sol. found (all assignments made)... 320.76 c Sol. found (all assignments made)... 320.76 c Sol. found (all assignments made)... 320.76 c Sol. found (all assignments made)... 320.86 c Sol. found (all assignments made)... 320.86 c Sol. found (all assignments made)... 320.86 c Sol. found (all assignments made)... 320.86 c Sol. found (all assignments made)... 320.87 c Sol. found (all assignments made)... 320.87 c Sol. found (all assignments made)... 320.91 c Sol. found (all assignments made)... 320.91 c Sol. found (all assignments made)... 320.91 c Sol. found (all assignments made)... 320.92 c Sol. found (all assignments made)... 320.92 c Sol. found (all assignments made)... 320.92 c Sol. found (all assignments made)... 320.93 c Sol. found (all assignments made)... 320.93 c Sol. found (all assignments made)... 320.93 c Sol. found (all assignments made)... 320.93 c Sol. found (all assignments made)... 320.95 c Sol. found (all assignments made)... 320.95 c Sol. found (all assignments made)... 320.95 c Sol. found (all assignments made)... 320.95 c Sol. found (all assignments made)... 320.96 c Sol. found (all assignments made)... 320.96 c Sol. found (all assignments made)... 320.96 c Sol. found (all assignments made)... 320.96 c Sol. found (all assignments made)... 320.96 c Sol. found (all assignments made)... 320.96 c Sol. found (all assignments made)... 320.96 c Sol. found (all assignments made)... 320.97 c Sol. found (all assignments made)... 320.97 c Sol. found (all assignments made)... 320.97 c Sol. found (all assignments made)... 320.97 c Sol. found (all assignments made)... 320.98 c Sol. found (all assignments made)... 320.98 c Sol. found (all assignments made)... 320.98 c Sol. found (all assignments made)... 320.98 c Sol. found (all assignments made)... 320.99 c Sol. found (all assignments made)... 321.03 c Sol. found (all assignments made)... 321.03 c Sol. found (all assignments made)... 321.04 c Sol. found (all assignments made)... 321.04 c Sol. found (all assignments made)... 321.05 c Sol. found (all assignments made)... 321.05 c Sol. found (all assignments made)... 321.05 c Sol. found (all assignments made)... 321.05 c Sol. found (all assignments made)... 321.05 c Sol. found (all assignments made)... 321.05 c Sol. found (all assignments made)... 321.06 c Sol. found (all assignments made)... 321.06 c Sol. found (all assignments made)... 321.15 c Sol. found (all assignments made)... 321.15 c Sol. found (all assignments made)... 321.16 c Sol. found (all assignments made)... 321.17 c Sol. found (all assignments made)... 321.17 c Sol. found (all assignments made)... 321.18 c Sol. found (all assignments made)... 321.18 c Sol. found (all assignments made)... 321.19 c Sol. found (all assignments made)... 321.19 c Sol. found (all assignments made)... 321.19 c Sol. found (all assignments made)... 321.19 c Sol. found (all assignments made)... 321.19 c Sol. found (all assignments made)... 321.20 c Sol. found (all assignments made)... 321.20 c Sol. found (all assignments made)... 321.20 c Sol. found (all assignments made)... 321.20 c Sol. found (all assignments made)... 321.20 c Sol. found (all assignments made)... 321.20 c Sol. found (all assignments made)... 321.21 c Sol. found (all assignments made)... 321.21 c Sol. found (all assignments made)... 321.21 c Sol. found (all assignments made)... 321.21 c Sol. found (all assignments made)... 321.21 c Sol. found (all assignments made)... 321.21 c Sol. found (all assignments made)... 321.21 c Sol. found (all assignments made)... 321.22 c Sol. found (all assignments made)... 321.22 c Sol. found (all assignments made)... 321.22 c Sol. found (all assignments made)... 321.22 c Sol. found (all assignments made)... 321.22 c Sol. found (all assignments made)... 321.22 c Sol. found (all assignments made)... 321.23 c Sol. found (all assignments made)... 321.23 c Sol. found (all assignments made)... 321.23 c Sol. found (all assignments made)... 321.23 c Sol. found (all assignments made)... 321.23 c Sol. found (all assignments made)... 321.23 c Sol. found (all assignments made)... 321.24 c Sol. found (all assignments made)... 321.24 c Sol. found (all assignments made)... 321.24 c Sol. found (all assignments made)... 321.24 c Sol. found (all assignments made)... 321.24 c Sol. found (all assignments made)... 321.24 c Sol. found (all assignments made)... 321.24 c Sol. found (all assignments made)... 321.24 c Sol. found (all assignments made)... 321.24 c Sol. found (all assignments made)... 321.25 c Sol. found (all assignments made)... 321.25 c Sol. found (all assignments made)... 321.25 c Sol. found (all assignments made)... 321.25 c Sol. found (all assignments made)... 321.25 c Sol. found (all assignments made)... 321.25 c Sol. found (all assignments made)... 321.25 c Sol. found (all assignments made)... 321.25 c Sol. found (all assignments made)... 321.26 c Sol. found (all assignments made)... 321.26 c Sol. found (all assignments made)... 321.26 c Sol. found (all assignments made)... 321.26 c Sol. found (all assignments made)... 321.26 c Sol. found (all assignments made)... 321.26 c Sol. found (all assignments made)... 321.26 c Sol. found (all assignments made)... 321.27 c Sol. found (all assignments made)... 321.27 c Sol. found (all assignments made)... 321.27 c Sol. found (all assignments made)... 321.27 c Sol. found (all assignments made)... 321.28 c Sol. found (all assignments made)... 321.28 c Sol. found (all assignments made)... 321.28 c Sol. found (all assignments made)... 321.28 c Sol. found (all assignments made)... 321.28 c Sol. found (all assignments made)... 321.29 c Sol. found (all assignments made)... 321.29 c Sol. found (all assignments made)... 321.29 c Sol. found (all assignments made)... 321.29 c Sol. found (all assignments made)... 321.29 c Sol. found (all assignments made)... 321.30 c Sol. found (all assignments made)... 321.30 c Sol. found (all assignments made)... 321.30 c Sol. found (all assignments made)... 321.30 c Sol. found (all assignments made)... 321.31 c Sol. found (all assignments made)... 321.31 c Sol. found (all assignments made)... 321.31 c Sol. found (all assignments made)... 321.32 c Sol. found (all assignments made)... 321.32 c Sol. found (all assignments made)... 321.32 c Sol. found (all assignments made)... 321.32 c Sol. found (all assignments made)... 321.32 c Sol. found (all assignments made)... 321.32 c Sol. found (all assignments made)... 321.33 c Sol. found (all assignments made)... 321.33 c Sol. found (all assignments made)... 321.33 c Sol. found (all assignments made)... 321.33 c Sol. found (all assignments made)... 321.33 c Sol. found (all assignments made)... 321.34 c Sol. found (all assignments made)... 321.34 c Sol. found (all assignments made)... 321.34 c Sol. found (all assignments made)... 321.34 c Sol. found (all assignments made)... 321.34 c Sol. found (all assignments made)... 321.34 c Sol. found (all assignments made)... 321.34 c Sol. found (all assignments made)... 321.35 c Sol. found (all assignments made)... 321.35 c Sol. found (all assignments made)... 321.35 c Sol. found (all assignments made)... 321.35 c Sol. found (all assignments made)... 321.35 c Sol. found (all assignments made)... 321.35 c Sol. found (all assignments made)... 321.35 c Sol. found (all assignments made)... 321.36 c Sol. found (all assignments made)... 321.36 c Sol. found (all assignments made)... 321.36 c Sol. found (all assignments made)... 321.36 c Sol. found (all assignments made)... 321.36 c Sol. found (all assignments made)... 321.36 c Sol. found (all assignments made)... 321.36 c Sol. found (all assignments made)... 321.37 c Sol. found (all assignments made)... 321.37 c Sol. found (all assignments made)... 321.37 c Sol. found (all assignments made)... 321.37 c Sol. found (all assignments made)... 321.37 c Sol. found (all assignments made)... 321.37 c Sol. found (all assignments made)... 321.37 c Sol. found (all assignments made)... 321.38 c Sol. found (all assignments made)... 321.38 c Sol. found (all assignments made)... 321.38 c Sol. found (all assignments made)... 321.38 c Sol. found (all assignments made)... 321.38 c Sol. found (all assignments made)... 321.38 c Sol. found (all assignments made)... 321.38 c Sol. found (all assignments made)... 321.38 c Sol. found (all assignments made)... 321.38 c Sol. found (all assignments made)... 321.39 c Sol. found (all assignments made)... 321.39 c Sol. found (all assignments made)... 321.39 c Sol. found (all assignments made)... 321.39 c Sol. found (all assignments made)... 321.40 c Sol. found (all assignments made)... 321.40 c Sol. found (all assignments made)... 321.40 c Sol. found (all assignments made)... 321.40 c Sol. found (all assignments made)... 321.41 c Sol. found (all assignments made)... 321.41 c Sol. found (all assignments made)... 321.41 c Sol. found (all assignments made)... 321.41 c Sol. found (all assignments made)... 321.41 c Sol. found (all assignments made)... 321.41 c Sol. found (all assignments made)... 321.42 c Sol. found (all assignments made)... 321.42 c Sol. found (all assignments made)... 321.42 c Sol. found (all assignments made)... 321.42 c Sol. found (all assignments made)... 321.42 c Sol. found (all assignments made)... 321.43 c Sol. found (all assignments made)... 321.43 c Sol. found (all assignments made)... 321.43 c Sol. found (all assignments made)... 321.43 c Sol. found (all assignments made)... 321.43 c Sol. found (all assignments made)... 321.43 c Sol. found (all assignments made)... 321.43 c Sol. found (all assignments made)... 321.44 c Sol. found (all assignments made)... 321.44 c Sol. found (all assignments made)... 321.44 c Sol. found (all assignments made)... 321.44 c Sol. found (all assignments made)... 321.44 c Sol. found (all assignments made)... 321.44 c Sol. found (all assignments made)... 321.44 c Sol. found (all assignments made)... 321.45 c Sol. found (all assignments made)... 321.45 c Sol. found (all assignments made)... 321.45 c Sol. found (all assignments made)... 321.45 c Sol. found (all assignments made)... 321.45 c Sol. found (all assignments made)... 321.45 c Sol. found (all assignments made)... 321.45 c Sol. found (all assignments made)... 321.46 c Sol. found (all assignments made)... 321.46 c Sol. found (all assignments made)... 321.46 c Sol. found (all assignments made)... 321.46 c Sol. found (all assignments made)... 321.46 c Sol. found (all assignments made)... 321.46 c Sol. found (all assignments made)... 321.46 c Sol. found (all assignments made)... 321.46 c Sol. found (all assignments made)... 321.46 c Sol. found (all assignments made)... 321.47 c Sol. found (all assignments made)... 321.47 o -34 321.47 c NEW SOLUTION FOUND: -34 @ 321.37 321.47 c Sol. found (all assignments made)... 321.47 c Sol. found (all assignments made)... 321.47 c Sol. found (all assignments made)... 321.47 c Sol. found (all assignments made)... 321.47 c Sol. found (all assignments made)... 321.48 c Sol. found (all assignments made)... 321.48 c Sol. found (all assignments made)... 321.48 c Sol. found (all assignments made)... 321.48 c Sol. found (all assignments made)... 321.48 c Sol. found (all assignments made)... 321.48 c Sol. found (all assignments made)... 321.48 c Sol. found (all assignments made)... 321.48 c Sol. found (all assignments made)... 321.49 c Sol. found (all assignments made)... 321.49 c Sol. found (all assignments made)... 321.49 c Sol. found (all assignments made)... 321.49 c Sol. found (all assignments made)... 321.49 c Sol. found (all assignments made)... 321.49 c Sol. found (all assignments made)... 321.49 c Sol. found (all assignments made)... 321.50 c Sol. found (all assignments made)... 321.50 c Sol. found (all assignments made)... 321.50 c Sol. found (all assignments made)... 321.50 c Sol. found (all assignments made)... 321.50 c Sol. found (all assignments made)... 321.50 c Sol. found (all assignments made)... 321.50 c Sol. found (all assignments made)... 321.50 c Sol. found (all assignments made)... 321.51 c Sol. found (all assignments made)... 321.51 c Sol. found (all assignments made)... 321.51 c Sol. found (all assignments made)... 321.51 c Sol. found (all assignments made)... 321.51 c Sol. found (all assignments made)... 321.51 c Sol. found (all assignments made)... 321.51 c Sol. found (all assignments made)... 321.52 c Sol. found (all assignments made)... 321.52 c Sol. found (all assignments made)... 321.52 c Sol. found (all assignments made)... 321.52 c Sol. found (all assignments made)... 321.52 c Sol. found (all assignments made)... 321.52 c Sol. found (all assignments made)... 321.52 c Sol. found (all assignments made)... 321.52 c Sol. found (all assignments made)... 321.53 c Sol. found (all assignments made)... 321.53 c Sol. found (all assignments made)... 321.53 c Sol. found (all assignments made)... 321.53 c Sol. found (all assignments made)... 321.53 c Sol. found (all assignments made)... 321.54 c Sol. found (all assignments made)... 321.54 c Sol. found (all assignments made)... 321.54 c Sol. found (all assignments made)... 321.54 c Sol. found (all assignments made)... 321.54 c Sol. found (all assignments made)... 321.54 c Sol. found (all assignments made)... 321.55 c Sol. found (all assignments made)... 321.55 c Sol. found (all assignments made)... 321.55 c Sol. found (all assignments made)... 321.55 c Sol. found (all assignments made)... 321.56 c Sol. found (all assignments made)... 321.56 c Sol. found (all assignments made)... 321.56 c Sol. found (all assignments made)... 321.59 c Sol. found (all assignments made)... 321.59 c Sol. found (all assignments made)... 321.60 c Sol. found (all assignments made)... 321.61 c Sol. found (all assignments made)... 321.61 c Sol. found (all assignments made)... 321.61 c Sol. found (all assignments made)... 321.61 c Sol. found (all assignments made)... 321.61 c Sol. found (all assignments made)... 321.62 c Sol. found (all assignments made)... 321.62 c Sol. found (all assignments made)... 321.62 c Sol. found (all assignments made)... 321.62 c Sol. found (all assignments made)... 321.63 c Sol. found (all assignments made)... 321.63 c Sol. found (all assignments made)... 321.63 c Sol. found (all assignments made)... 321.63 c Sol. found (all assignments made)... 321.63 c Sol. found (all assignments made)... 321.63 c Sol. found (all assignments made)... 321.63 c Sol. found (all assignments made)... 321.63 c Sol. found (all assignments made)... 321.63 c Sol. found (all assignments made)... 321.64 c Sol. found (all assignments made)... 321.64 c Sol. found (all assignments made)... 321.64 c Sol. found (all assignments made)... 321.64 c Sol. found (all assignments made)... 321.64 c Sol. found (all assignments made)... 321.64 c Sol. found (all assignments made)... 321.64 c Sol. found (all assignments made)... 321.65 c Sol. found (all assignments made)... 321.65 c Sol. found (all assignments made)... 321.65 c Sol. found (all assignments made)... 321.65 c Sol. found (all assignments made)... 321.65 c Sol. found (all assignments made)... 321.65 c Sol. found (all assignments made)... 321.65 c Sol. found (all assignments made)... 321.65 c Sol. found (all assignments made)... 321.66 c Sol. found (all assignments made)... 321.66 c Sol. found (all assignments made)... 321.66 c Sol. found (all assignments made)... 321.66 c Sol. found (all assignments made)... 321.66 c Sol. found (all assignments made)... 321.66 c Sol. found (all assignments made)... 321.66 c Sol. found (all assignments made)... 321.66 c Sol. found (all assignments made)... 321.67 c Sol. found (all assignments made)... 321.67 c Sol. found (all assignments made)... 321.67 c Sol. found (all assignments made)... 321.67 c Sol. found (all assignments made)... 321.67 c Sol. found (all assignments made)... 321.67 c Sol. found (all assignments made)... 321.67 c Sol. found (all assignments made)... 321.68 c Sol. found (all assignments made)... 321.68 c Sol. found (all assignments made)... 321.68 c Sol. found (all assignments made)... 321.68 c Sol. found (all assignments made)... 321.68 c Sol. found (all assignments made)... 321.68 o -35 321.68 c NEW SOLUTION FOUND: -35 @ 321.58 321.68 c Sol. found (all assignments made)... 321.68 c Sol. found (all assignments made)... 321.68 c Sol. found (all assignments made)... 321.69 c Sol. found (all assignments made)... 321.69 c Sol. found (all assignments made)... 321.69 c Sol. found (all assignments made)... 321.70 c Sol. found (all assignments made)... 321.70 c Sol. found (all assignments made)... 321.70 c Sol. found (all assignments made)... 321.70 c Sol. found (all assignments made)... 321.70 c Sol. found (all assignments made)... 321.71 c Sol. found (all assignments made)... 321.71 c Sol. found (all assignments made)... 321.73 c Sol. found (all assignments made)... 321.85 c Sol. found (all assignments made)... 321.86 c Sol. found (all assignments made)... 322.04 c Sol. found (all assignments made)... 322.04 c Sol. found (all assignments made)... 322.06 c Sol. found (all assignments made)... 322.37 c Sol. found (all assignments made)... 322.46 c Sol. found (all assignments made)... 322.47 c Sol. found (all assignments made)... 322.47 c Sol. found (all assignments made)... 322.47 c Sol. found (all assignments made)... 322.47 c Sol. found (all assignments made)... 322.47 c Sol. found (all assignments made)... 322.47 c Sol. found (all assignments made)... 322.47 c Sol. found (all assignments made)... 322.48 c Sol. found (all assignments made)... 322.48 c Sol. found (all assignments made)... 322.49 c Sol. found (all assignments made)... 322.49 c Sol. found (all assignments made)... 322.49 c Sol. found (all assignments made)... 322.49 c Sol. found (all assignments made)... 322.50 c Sol. found (all assignments made)... 324.79 c Sol. found (all assignments made)... 327.17 c Sol. found (all assignments made)... 327.17 c Sol. found (all assignments made)... 327.81 c Restart #91 #Var: 760 LB: -760 @ 327.71 334.54 c Restart #92 #Var: 760 LB: -760 @ 334.44 341.16 c Restart #93 #Var: 760 LB: -760 @ 341.06 347.98 c Restart #94 #Var: 760 LB: -760 @ 347.87 354.88 c Restart #95 #Var: 760 LB: -760 @ 354.78 361.99 c Restart #96 #Var: 760 LB: -760 @ 361.88 368.96 c Restart #97 #Var: 760 LB: -760 @ 368.85 375.96 c Restart #98 #Var: 760 LB: -760 @ 375.84 382.99 c Restart #99 #Var: 760 LB: -760 @ 382.88 390.07 c Restart #100 #Var: 760 LB: -760 @ 389.96 397.15 c Restart #101 #Var: 760 LB: -760 @ 397.03 404.43 c Restart #102 #Var: 760 LB: -760 @ 404.31 411.69 c Restart #103 #Var: 760 LB: -760 @ 411.57 419.18 c Restart #104 #Var: 760 LB: -760 @ 419.05 426.84 c Restart #105 #Var: 760 LB: -760 @ 426.71 434.60 c Restart #106 #Var: 760 LB: -760 @ 434.48 442.29 c Restart #107 #Var: 760 LB: -760 @ 442.16 449.99 c Restart #108 #Var: 760 LB: -760 @ 449.85 457.72 c Restart #109 #Var: 760 LB: -760 @ 457.58 465.38 c Restart #110 #Var: 760 LB: -760 @ 465.24 473.45 c Restart #111 #Var: 760 LB: -760 @ 473.31 481.56 c Restart #112 #Var: 760 LB: -760 @ 481.42 489.90 c Restart #113 #Var: 760 LB: -760 @ 489.76 497.99 c Restart #114 #Var: 760 LB: -760 @ 497.84 506.33 c Restart #115 #Var: 760 LB: -760 @ 506.18 514.62 c Restart #116 #Var: 760 LB: -760 @ 514.47 522.96 c Restart #117 #Var: 760 LB: -760 @ 522.8 531.35 c Restart #118 #Var: 760 LB: -760 @ 531.19 539.82 c Restart #119 #Var: 760 LB: -760 @ 539.66 548.69 c Restart #120 #Var: 760 LB: -760 @ 548.53 557.09 c Restart #121 #Var: 760 LB: -760 @ 556.92 565.89 c Restart #122 #Var: 760 LB: -760 @ 565.73 574.96 c Restart #123 #Var: 760 LB: -760 @ 574.79 583.95 c Restart #124 #Var: 760 LB: -760 @ 583.78 592.77 c Restart #125 #Var: 760 LB: -760 @ 592.6 601.45 c Restart #126 #Var: 760 LB: -760 @ 601.27 610.58 c Restart #127 #Var: 760 LB: -760 @ 610.4 619.76 c Restart #128 #Var: 760 LB: -760 @ 619.58 628.98 c Restart #129 #Var: 760 LB: -760 @ 628.8 638.18 c Restart #130 #Var: 760 LB: -760 @ 638 647.83 c Restart #131 #Var: 760 LB: -760 @ 647.64 657.29 c Restart #132 #Var: 760 LB: -760 @ 657.1 666.66 c Restart #133 #Var: 760 LB: -760 @ 666.47 676.15 c Restart #134 #Var: 760 LB: -760 @ 675.95 685.93 c Restart #135 #Var: 760 LB: -760 @ 685.73 695.79 c Restart #136 #Var: 760 LB: -760 @ 695.59 705.77 c Restart #137 #Var: 760 LB: -760 @ 705.56 715.19 c Restart #138 #Var: 760 LB: -760 @ 714.99 725.09 c Restart #139 #Var: 760 LB: -760 @ 724.88 735.01 c Restart #140 #Var: 760 LB: -760 @ 734.8 745.12 c Restart #141 #Var: 760 LB: -760 @ 744.91 755.48 c Restart #142 #Var: 760 LB: -760 @ 755.26 765.99 c Restart #143 #Var: 760 LB: -760 @ 765.77 776.23 c Restart #144 #Var: 760 LB: -760 @ 776.01 787.30 c Restart #145 #Var: 760 LB: -760 @ 787.07 797.70 c Restart #146 #Var: 760 LB: -760 @ 797.47 808.23 c Restart #147 #Var: 760 LB: -760 @ 808 818.61 c Restart #148 #Var: 760 LB: -760 @ 818.38 829.63 c Restart #149 #Var: 760 LB: -760 @ 829.39 840.28 c Restart #150 #Var: 760 LB: -760 @ 840.04 851.69 c Restart #151 #Var: 760 LB: -760 @ 851.45 862.51 c Restart #152 #Var: 760 LB: -760 @ 862.26 873.38 c Restart #153 #Var: 760 LB: -760 @ 873.13 884.68 c Restart #154 #Var: 760 LB: -760 @ 884.42 895.54 c Restart #155 #Var: 760 LB: -760 @ 895.28 906.46 c Restart #156 #Var: 760 LB: -760 @ 906.21 918.16 c Restart #157 #Var: 760 LB: -760 @ 917.9 929.39 c Restart #158 #Var: 760 LB: -760 @ 929.13 940.43 c Restart #159 #Var: 760 LB: -760 @ 940.16 951.96 c Restart #160 #Var: 760 LB: -760 @ 951.69 963.55 c Restart #161 #Var: 760 LB: -760 @ 963.28 974.96 c Restart #162 #Var: 760 LB: -760 @ 974.68 986.67 c Restart #163 #Var: 760 LB: -760 @ 986.39 998.07 c Restart #164 #Var: 760 LB: -760 @ 997.78 1010.23 c Restart #165 #Var: 760 LB: -760 @ 1009.9 1021.96 c Restart #166 #Var: 760 LB: -760 @ 1021.7 1034.32 c Restart #167 #Var: 760 LB: -760 @ 1034 1046.76 c Restart #168 #Var: 760 LB: -760 @ 1046.5 1058.95 c Restart #169 #Var: 760 LB: -760 @ 1058.7 1060.65 c Sol. found (all assignments made)... 1071.08 c Restart #170 #Var: 760 LB: -760 @ 1070.8 1083.10 c Restart #171 #Var: 760 LB: -760 @ 1082.8 1095.29 c Restart #172 #Var: 760 LB: -760 @ 1095 1108.17 c Restart #173 #Var: 760 LB: -760 @ 1107.9 1120.46 c Restart #174 #Var: 760 LB: -760 @ 1120.1 1132.88 c Restart #175 #Var: 760 LB: -760 @ 1132.6 1145.28 c Restart #176 #Var: 760 LB: -760 @ 1145 1157.82 c Restart #177 #Var: 760 LB: -760 @ 1157.5 1170.58 c Restart #178 #Var: 760 LB: -760 @ 1170.2 1183.33 c Restart #179 #Var: 760 LB: -760 @ 1183 1195.94 c Restart #180 #Var: 760 LB: -760 @ 1195.6 1208.61 c Restart #181 #Var: 760 LB: -760 @ 1208.3 1221.71 c Restart #182 #Var: 760 LB: -760 @ 1221.4 1234.70 c Restart #183 #Var: 760 LB: -760 @ 1234.3 1247.97 c Restart #184 #Var: 760 LB: -760 @ 1247.6 1261.22 c Restart #185 #Var: 760 LB: -760 @ 1260.9 1274.70 c Restart #186 #Var: 760 LB: -760 @ 1274.3 1287.99 c Restart #187 #Var: 760 LB: -760 @ 1287.6 1288.81 c Sol. found (all assignments made)... 1288.85 c Sol. found (all assignments made)... 1288.85 c Sol. found (all assignments made)... 1288.88 c Sol. found (all assignments made)... 1288.92 c Sol. found (all assignments made)... 1288.93 c Sol. found (all assignments made)... 1288.96 c Sol. found (all assignments made)... 1289.00 c Sol. found (all assignments made)... 1301.41 c Restart #188 #Var: 760 LB: -760 @ 1301 1314.82 c Restart #189 #Var: 760 LB: -760 @ 1314.5 1328.57 c Restart #190 #Var: 760 LB: -760 @ 1328.2 1342.10 c Restart #191 #Var: 760 LB: -760 @ 1341.7 1355.19 c Restart #192 #Var: 760 LB: -760 @ 1354.8 1368.89 c Restart #193 #Var: 760 LB: -760 @ 1368.5 1382.79 c Restart #194 #Var: 760 LB: -760 @ 1382.4 1396.66 c Restart #195 #Var: 760 LB: -760 @ 1396.3 1411.09 c Restart #196 #Var: 760 LB: -760 @ 1410.7 1425.32 c Restart #197 #Var: 760 LB: -760 @ 1424.9 1439.14 c Restart #198 #Var: 760 LB: -760 @ 1438.7 1453.05 c Restart #199 #Var: 760 LB: -760 @ 1452.6 1462.44 c Sol. found (all assignments made)... 1462.44 c Sol. found (all assignments made)... 1462.44 c Sol. found (all assignments made)... 1462.53 c Sol. found (all assignments made)... 1467.18 c Restart #200 #Var: 760 LB: -760 @ 1466.8 1481.41 c Restart #201 #Var: 760 LB: -760 @ 1481 1495.62 c Restart #202 #Var: 760 LB: -760 @ 1495.2 1509.93 c Restart #203 #Var: 760 LB: -760 @ 1509.5 1524.44 c Restart #204 #Var: 760 LB: -760 @ 1524 1538.70 c Restart #205 #Var: 760 LB: -760 @ 1538.3 1553.79 c Restart #206 #Var: 760 LB: -760 @ 1553.3 1568.57 c Restart #207 #Var: 760 LB: -760 @ 1568.1 1583.24 c Restart #208 #Var: 760 LB: -760 @ 1582.8 1597.81 c Restart #209 #Var: 760 LB: -760 @ 1597.4 1612.58 c Restart #210 #Var: 760 LB: -760 @ 1612.1 1628.08 c Restart #211 #Var: 760 LB: -760 @ 1627.6 1643.49 c Restart #212 #Var: 760 LB: -760 @ 1643 1658.77 c Restart #213 #Var: 760 LB: -760 @ 1658.3 1673.76 c Restart #214 #Var: 760 LB: -760 @ 1673.3 1689.16 c Restart #215 #Var: 760 LB: -760 @ 1688.7 1704.09 c Restart #216 #Var: 760 LB: -760 @ 1703.6 1719.76 c Restart #217 #Var: 760 LB: -760 @ 1719.3 1734.56 c Restart #218 #Var: 760 LB: -760 @ 1734.1 1750.34 c Restart #219 #Var: 760 LB: -760 @ 1749.8 1765.92 c Restart #220 #Var: 760 LB: -760 @ 1765.4 1782.81 c Restart #221 #Var: 760 LB: -760 @ 1782.3 1798.51 c Restart #222 #Var: 760 LB: -760 @ 1798 1800.51 s SATISFIABLE 1800.51 c Cost: -35 1800.51 v -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 1800.51 v -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 1800.51 v -x718 -x717 -x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 1800.51 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 1800.51 v -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 1800.51 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 1800.51 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 1800.51 v -x613 -x612 -x611 -x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 1800.51 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 1800.51 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 1800.51 v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 1800.51 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 1800.51 v -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 1800.51 v -x487 -x486 -x485 -x484 -x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 1800.51 v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 1800.51 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 1800.51 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 1800.51 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 1800.51 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 1800.51 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 -x341 1800.51 v -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 1800.51 v -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 1800.51 v -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 1800.51 v -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 1800.51 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 1800.51 v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 1800.51 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 1800.51 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 1800.51 v x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 1800.51 v -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1800.51 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 1800.51 v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 1800.51 v -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 1800.51 v -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 1800.51 v -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 1800.51 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.51 c Exit Code: 10 1800.51 c Total time: 1800 s
OK -35
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/node66/watcher-40491-1149293022 -o ROOT/results/node66/solver-40491-1149293022 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/40491-1149293022/instance-40491-1149293022.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1167152/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=4664 CPUtime=0 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 155 0 0 0 0 0 0 0 19 0 1 0 194970346 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9809185 0 0 4096 0 0 0 0 17 1 0 0 /proc/17828/statm: 1166 135 105 55 0 46 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1142272/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=29544 CPUtime=9.98 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 6682 0 0 0 994 4 0 0 25 0 1 0 194970346 30253056 6532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 7386 6532 307 55 0 6278 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 29544 [startup+20.0089 s] /proc/loadavg: 0.94 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1126208/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=53036 CPUtime=19.99 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 13505 0 0 0 1991 8 0 0 25 0 1 0 194970346 54308864 10601 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159475555 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 13259 10601 413 55 0 12151 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 53036 [startup+30.0151 s] /proc/loadavg: 0.95 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1134080/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38020 CPUtime=29.99 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142452 0 0 0 2937 62 0 0 25 0 1 0 194970346 38932480 8686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9505 8686 436 55 0 8397 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 38020 [startup+40.0214 s] /proc/loadavg: 0.96 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133824/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38272 CPUtime=40 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142559 0 0 0 3936 64 0 0 25 0 1 0 194970346 39190528 8761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9568 8761 436 55 0 8460 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 38272 [startup+50.0276 s] /proc/loadavg: 0.96 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133824/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38224 CPUtime=49.99 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142559 0 0 0 4934 65 0 0 25 0 1 0 194970346 39141376 8760 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10272182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9556 8760 436 55 0 8448 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 38224 [startup+60.0338 s] /proc/loadavg: 0.97 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133824/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38224 CPUtime=60 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142559 0 0 0 5934 66 0 0 25 0 1 0 194970346 39141376 8760 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9556 8760 436 55 0 8448 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 38224 [startup+70.0401 s] /proc/loadavg: 0.97 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133824/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38224 CPUtime=70.01 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142559 0 0 0 6934 67 0 0 25 0 1 0 194970346 39141376 8760 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618638 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9556 8760 436 55 0 8448 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 38224 [startup+80.0463 s] /proc/loadavg: 0.98 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133824/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38356 CPUtime=80.01 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142566 0 0 0 7933 68 0 0 25 0 1 0 194970346 39276544 8767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9589 8767 436 55 0 8481 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 38356 [startup+90.0525 s] /proc/loadavg: 0.98 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133824/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38272 CPUtime=90.01 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142566 0 0 0 8932 69 0 0 25 0 1 0 194970346 39190528 8767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9568 8767 436 55 0 8460 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 38272 [startup+100.059 s] /proc/loadavg: 0.98 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133824/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38272 CPUtime=100.01 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142566 0 0 0 9931 70 0 0 25 0 1 0 194970346 39190528 8767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9568 8767 436 55 0 8460 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 38272 [startup+110.065 s] /proc/loadavg: 0.98 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133760/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38404 CPUtime=110.02 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142593 0 0 0 10931 71 0 0 25 0 1 0 194970346 39325696 8794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9601 8794 436 55 0 8493 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 38404 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133696/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38400 CPUtime=120.02 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142624 0 0 0 11930 72 0 0 25 0 1 0 194970346 39321600 8803 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9600 8803 436 55 0 8492 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 38400 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133696/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38272 CPUtime=130.02 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142624 0 0 0 12929 73 0 0 25 0 1 0 194970346 39190528 8772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9568 8772 436 55 0 8460 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 38272 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133696/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38404 CPUtime=140.02 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142655 0 0 0 13928 74 0 0 25 0 1 0 194970346 39325696 8803 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10272909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9601 8803 436 55 0 8493 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 38404 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133696/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38404 CPUtime=150.03 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142655 0 0 0 14927 76 0 0 25 0 1 0 194970346 39325696 8803 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9601 8803 436 55 0 8493 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 38404 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133568/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38536 CPUtime=160.03 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142688 0 0 0 15926 77 0 0 25 0 1 0 194970346 39460864 8836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9634 8836 436 55 0 8526 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 38536 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133632/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38272 CPUtime=170.03 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142688 0 0 0 16925 78 0 0 25 0 1 0 194970346 39190528 8772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9568 8772 436 55 0 8460 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 38272 [startup+180.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133632/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38472 CPUtime=180.04 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142739 0 0 0 17924 80 0 0 25 0 1 0 194970346 39395328 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9618 8822 436 55 0 8510 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 38472 [startup+190.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133632/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38392 CPUtime=190.05 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142739 0 0 0 18923 82 0 0 25 0 1 0 194970346 39313408 8802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9598 8802 436 55 0 8490 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 38392 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133568/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38604 CPUtime=200.04 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 142777 0 0 0 19921 83 0 0 25 0 1 0 194970346 39530496 8837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9651 8837 436 55 0 8543 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 38604 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17828 /proc/meminfo: memFree=1133568/2055920 swapFree=4182232/4192956 ################ # More data... # ################ /proc/17828/statm: 9668 8872 436 55 0 8560 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 38672 [startup+1771.1 s] /proc/loadavg: 1.05 1.00 0.92 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1770.59 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 176782 277 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 38560 [startup+1781.1 s] /proc/loadavg: 1.04 1.00 0.92 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1780.59 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 177781 278 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10273474 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1780.59 Current children cumulated vsize (Kb) 38560 [startup+1782.11 s] /proc/loadavg: 1.04 1.00 0.92 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1781.6 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 177882 278 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 38560 [startup+1783.11 s] /proc/loadavg: 1.04 1.00 0.92 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1782.6 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 177982 278 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 38560 [startup+1784.12 s] /proc/loadavg: 1.04 1.00 0.92 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1783.61 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 178082 279 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 38560 [startup+1785.12 s] /proc/loadavg: 1.04 1.00 0.92 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1784.61 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 178182 279 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 38560 [startup+1786.13 s] /proc/loadavg: 1.12 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1785.62 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 178283 279 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 38560 [startup+1787.13 s] /proc/loadavg: 1.12 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1786.62 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 178383 279 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 38560 [startup+1788.14 s] /proc/loadavg: 1.12 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1787.62 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 178483 279 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 38560 [startup+1789.14 s] /proc/loadavg: 1.12 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1788.63 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 178583 280 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 38560 [startup+1790.15 s] /proc/loadavg: 1.12 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1789.64 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 178684 280 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10273347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 38560 [startup+1791.15 s] /proc/loadavg: 1.11 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1790.64 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 178784 280 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10272500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 38560 [startup+1792.16 s] /proc/loadavg: 1.11 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38560 CPUtime=1791.64 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144169 0 0 0 178884 280 0 0 25 0 1 0 194970346 39485440 8844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9640 8844 436 55 0 8532 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 38560 [startup+1793.16 s] /proc/loadavg: 1.11 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38668 CPUtime=1792.65 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144173 0 0 0 178985 280 0 0 25 0 1 0 194970346 39596032 8848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9667 8848 436 55 0 8559 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 38668 [startup+1794.17 s] /proc/loadavg: 1.11 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38668 CPUtime=1793.65 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144173 0 0 0 179085 280 0 0 25 0 1 0 194970346 39596032 8848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9667 8848 436 55 0 8559 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 38668 [startup+1795.17 s] /proc/loadavg: 1.11 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38668 CPUtime=1794.66 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144173 0 0 0 179186 280 0 0 25 0 1 0 194970346 39596032 8848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9667 8848 436 55 0 8559 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 38668 [startup+1796.18 s] /proc/loadavg: 1.10 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38668 CPUtime=1795.66 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144173 0 0 0 179286 280 0 0 25 0 1 0 194970346 39596032 8848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9667 8848 436 55 0 8559 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 38668 [startup+1797.18 s] /proc/loadavg: 1.10 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38668 CPUtime=1796.67 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144173 0 0 0 179386 281 0 0 25 0 1 0 194970346 39596032 8848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9667 8848 436 55 0 8559 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 38668 [startup+1798.19 s] /proc/loadavg: 1.10 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38668 CPUtime=1797.67 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144179 0 0 0 179486 281 0 0 25 0 1 0 194970346 39596032 8854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9667 8854 436 55 0 8559 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 38668 [startup+1799.19 s] /proc/loadavg: 1.10 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38668 CPUtime=1798.67 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144179 0 0 0 179586 281 0 0 25 0 1 0 194970346 39596032 8854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9667 8854 436 55 0 8559 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 38668 [startup+1800.2 s] /proc/loadavg: 1.10 1.02 0.93 2/64 17828 /proc/meminfo: memFree=1133312/2055920 swapFree=4182232/4192956 [pid=17828] ppid=17826 vsize=38668 CPUtime=1799.69 /proc/17828/stat : 17828 (bsolo) R 17826 17828 17782 0 -1 0 144179 0 0 0 179687 282 0 0 25 0 1 0 194970346 39596032 8854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17828/statm: 9667 8854 436 55 0 8559 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 38668 Child status: 10 Real time (s): 1800.52 CPU time (s): 1800.01 CPU user time (s): 1797.18 CPU system time (s): 2.82657 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (Kb): 53036
Begin job on node66 on Sat Jun 3 00:03:42 UTC 2006 FILE ID= 40491-1149293022 PBS_JOBID= 306989 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/40491-1149293022/instance-40491-1149293022.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-40491-1149293022 -o ROOT/results/node66/solver-40491-1149293022 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/40491-1149293022/instance-40491-1149293022.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107 RANDOM SEED= 142847951 /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.225 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.225 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: 1167360 kB Buffers: 41420 kB Cached: 772452 kB SwapCached: 2536 kB Active: 119044 kB Inactive: 703652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1167360 kB SwapTotal: 4192956 kB SwapFree: 4182232 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15196 kB Slab: 51924 kB Committed_AS: 258352 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node66 on Sat Jun 3 00:33:43 UTC 2006