Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -45 | 1800.02 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb |
MD5SUM | 98c81efbf429745622d6705fab70d2ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109601 |
Number of constraints which are clauses | 109601 |
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 | 1400 |
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 | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
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.03 c INFO: OSL Context initialized. 1.54 c Initial problem consists of 1400 variables and 109601 constraints. 19.06 c No problem reductions applied in OPT. instance. 19.06 c preprocess terminated. Elapsed time: 19.022 19.06 c After prepocess the problem consists of 1400 variables and 109601 constraints. 19.06 c Initial Lower Bound: -1400 19.16 c Sol. found (all assignments made)... 19.16 o -2 19.16 c NEW SOLUTION FOUND: -2 @ 19.128 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 o -3 19.17 c NEW SOLUTION FOUND: -3 @ 19.133 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.17 c Sol. found (all assignments made)... 19.18 c Sol. found (all assignments made)... 19.18 c Sol. found (all assignments made)... 19.18 c Sol. found (all assignments made)... 19.18 c Sol. found (all assignments made)... 19.18 c Sol. found (all assignments made)... 19.18 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.19 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.20 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.21 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.22 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.23 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.24 c Sol. found (all assignments made)... 19.25 c Sol. found (all assignments made)... 19.25 c Sol. found (all assignments made)... 19.25 c Sol. found (all assignments made)... 19.25 c Sol. found (all assignments made)... 19.25 c Sol. found (all assignments made)... 19.25 c Sol. found (all assignments made)... 19.25 c Sol. found (all assignments made)... 19.25 c Sol. found (all assignments made)... 19.26 c Sol. found (all assignments made)... 19.26 c Sol. found (all assignments made)... 19.26 c Sol. found (all assignments made)... 19.26 c Sol. found (all assignments made)... 19.26 c Sol. found (all assignments made)... 19.26 c Sol. found (all assignments made)... 19.26 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.27 c Sol. found (all assignments made)... 19.28 c Sol. found (all assignments made)... 19.28 c Sol. found (all assignments made)... 19.28 c Sol. found (all assignments made)... 19.28 c Sol. found (all assignments made)... 19.28 c Sol. found (all assignments made)... 19.28 c Sol. found (all assignments made)... 19.28 c Sol. found (all assignments made)... 19.29 c Sol. found (all assignments made)... 19.29 c Sol. found (all assignments made)... 19.29 c Sol. found (all assignments made)... 19.39 c Restart #1 #Var: 1400 LB: -1400 @ 19.355 19.48 c Sol. found (all assignments made)... 19.48 o -6 19.48 c NEW SOLUTION FOUND: -6 @ 19.447 19.48 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.49 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.50 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.54 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.59 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.60 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.61 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.62 c Sol. found (all assignments made)... 19.63 c Sol. found (all assignments made)... 19.63 c Sol. found (all assignments made)... 19.63 c Sol. found (all assignments made)... 19.63 c Sol. found (all assignments made)... 19.63 c Sol. found (all assignments made)... 19.63 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.64 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.65 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.68 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.70 c Sol. found (all assignments made)... 19.71 c Sol. found (all assignments made)... 19.71 c Sol. found (all assignments made)... 19.71 c Sol. found (all assignments made)... 19.71 c Sol. found (all assignments made)... 19.71 c Sol. found (all assignments made)... 19.71 c Sol. found (all assignments made)... 19.71 c Sol. found (all assignments made)... 19.71 c Sol. found (all assignments made)... 19.72 c Sol. found (all assignments made)... 19.72 c Sol. found (all assignments made)... 19.72 c Sol. found (all assignments made)... 19.72 c Sol. found (all assignments made)... 19.82 c Restart #2 #Var: 1400 LB: -1400 @ 19.787 19.93 c Sol. found (all assignments made)... 19.93 o -39 19.93 c NEW SOLUTION FOUND: -39 @ 19.89 19.93 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.03 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.04 c Sol. found (all assignments made)... 20.06 c Sol. found (all assignments made)... 20.06 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.08 c Sol. found (all assignments made)... 20.08 c Sol. found (all assignments made)... 20.08 c Sol. found (all assignments made)... 20.08 c Sol. found (all assignments made)... 20.18 c Sol. found (all assignments made)... 20.18 c Sol. found (all assignments made)... 20.18 c Sol. found (all assignments made)... 20.18 c Sol. found (all assignments made)... 20.24 c Sol. found (all assignments made)... 20.24 c Sol. found (all assignments made)... 20.24 c Sol. found (all assignments made)... 20.24 c Sol. found (all assignments made)... 20.36 c Restart #3 #Var: 1400 LB: -1400 @ 20.327 20.47 c Sol. found (all assignments made)... 20.47 o -40 20.47 c NEW SOLUTION FOUND: -40 @ 20.435 20.47 c Sol. found (all assignments made)... 20.47 o -41 20.47 c NEW SOLUTION FOUND: -41 @ 20.436 20.47 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.48 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.49 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.54 c Sol. found (all assignments made)... 20.54 c Sol. found (all assignments made)... 20.54 c Sol. found (all assignments made)... 20.54 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.61 c Sol. found (all assignments made)... 20.61 c Sol. found (all assignments made)... 20.61 c Sol. found (all assignments made)... 20.61 c Sol. found (all assignments made)... 20.61 c Sol. found (all assignments made)... 20.61 c Sol. found (all assignments made)... 20.61 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.63 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.90 c Sol. found (all assignments made)... 20.90 c Sol. found (all assignments made)... 20.90 o -42 20.90 c NEW SOLUTION FOUND: -42 @ 20.864 20.90 c Sol. found (all assignments made)... 20.90 c Sol. found (all assignments made)... 20.90 c Sol. found (all assignments made)... 20.91 c Sol. found (all assignments made)... 20.91 c Sol. found (all assignments made)... 20.91 c Sol. found (all assignments made)... 20.92 c Sol. found (all assignments made)... 20.92 c Sol. found (all assignments made)... 20.92 c Sol. found (all assignments made)... 20.92 c Sol. found (all assignments made)... 20.92 c Sol. found (all assignments made)... 20.95 c Sol. found (all assignments made)... 20.95 c Sol. found (all assignments made)... 20.95 c Sol. found (all assignments made)... 20.95 c Sol. found (all assignments made)... 20.95 c Sol. found (all assignments made)... 20.96 c Sol. found (all assignments made)... 20.96 c Sol. found (all assignments made)... 20.96 c Sol. found (all assignments made)... 20.97 c Sol. found (all assignments made)... 20.97 c Sol. found (all assignments made)... 20.97 c Sol. found (all assignments made)... 20.97 c Sol. found (all assignments made)... 20.97 c Sol. found (all assignments made)... 20.98 c Sol. found (all assignments made)... 20.98 c Sol. found (all assignments made)... 21.00 c Sol. found (all assignments made)... 21.00 c Sol. found (all assignments made)... 21.00 c Sol. found (all assignments made)... 21.01 c Sol. found (all assignments made)... 21.01 c Sol. found (all assignments made)... 21.01 c Sol. found (all assignments made)... 21.01 c Sol. found (all assignments made)... 21.02 c Sol. found (all assignments made)... 21.04 c Sol. found (all assignments made)... 21.04 c Sol. found (all assignments made)... 21.04 c Sol. found (all assignments made)... 21.04 c Sol. found (all assignments made)... 21.04 c Sol. found (all assignments made)... 21.04 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.10 c Sol. found (all assignments made)... 21.11 c Sol. found (all assignments made)... 21.11 c Sol. found (all assignments made)... 21.11 c Sol. found (all assignments made)... 21.11 c Sol. found (all assignments made)... 21.11 c Sol. found (all assignments made)... 21.12 c Sol. found (all assignments made)... 21.14 c Sol. found (all assignments made)... 21.14 c Sol. found (all assignments made)... 21.14 c Sol. found (all assignments made)... 21.14 c Sol. found (all assignments made)... 21.15 c Sol. found (all assignments made)... 21.15 c Sol. found (all assignments made)... 21.15 c Sol. found (all assignments made)... 21.15 c Sol. found (all assignments made)... 21.15 c Sol. found (all assignments made)... 21.15 c Sol. found (all assignments made)... 21.16 c Sol. found (all assignments made)... 21.16 c Sol. found (all assignments made)... 21.16 c Sol. found (all assignments made)... 21.16 c Sol. found (all assignments made)... 21.16 c Sol. found (all assignments made)... 21.16 c Sol. found (all assignments made)... 21.16 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.19 c Sol. found (all assignments made)... 21.19 c Sol. found (all assignments made)... 21.19 c Sol. found (all assignments made)... 21.19 c Sol. found (all assignments made)... 21.19 c Sol. found (all assignments made)... 21.19 c Sol. found (all assignments made)... 21.19 c Sol. found (all assignments made)... 21.20 c Sol. found (all assignments made)... 21.20 c Sol. found (all assignments made)... 21.20 c Sol. found (all assignments made)... 21.20 c Sol. found (all assignments made)... 21.20 c Sol. found (all assignments made)... 21.20 c Sol. found (all assignments made)... 21.20 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.22 c Sol. found (all assignments made)... 21.22 c Sol. found (all assignments made)... 21.22 c Sol. found (all assignments made)... 21.22 c Sol. found (all assignments made)... 21.22 c Sol. found (all assignments made)... 21.22 c Sol. found (all assignments made)... 21.22 c Sol. found (all assignments made)... 21.23 c Sol. found (all assignments made)... 21.23 c Sol. found (all assignments made)... 21.23 c Sol. found (all assignments made)... 21.23 c Sol. found (all assignments made)... 21.23 c Sol. found (all assignments made)... 21.23 c Sol. found (all assignments made)... 21.24 c Sol. found (all assignments made)... 21.24 c Sol. found (all assignments made)... 21.24 c Sol. found (all assignments made)... 21.24 c Sol. found (all assignments made)... 21.24 c Sol. found (all assignments made)... 21.25 c Sol. found (all assignments made)... 21.26 c Sol. found (all assignments made)... 21.26 c Sol. found (all assignments made)... 21.26 c Sol. found (all assignments made)... 21.26 c Sol. found (all assignments made)... 21.26 c Sol. found (all assignments made)... 21.26 c Sol. found (all assignments made)... 21.26 c Sol. found (all assignments made)... 21.26 c Sol. found (all assignments made)... 21.26 c Sol. found (all assignments made)... 21.27 c Sol. found (all assignments made)... 21.27 c Sol. found (all assignments made)... 21.27 c Sol. found (all assignments made)... 21.27 c Sol. found (all assignments made)... 21.27 c Sol. found (all assignments made)... 21.27 c Sol. found (all assignments made)... 21.33 c Sol. found (all assignments made)... 21.33 c Sol. found (all assignments made)... 21.33 c Sol. found (all assignments made)... 21.33 c Sol. found (all assignments made)... 21.33 c Sol. found (all assignments made)... 21.34 c Sol. found (all assignments made)... 21.34 c Sol. found (all assignments made)... 21.34 c Sol. found (all assignments made)... 21.34 c Sol. found (all assignments made)... 21.34 c Sol. found (all assignments made)... 21.34 c Sol. found (all assignments made)... 21.35 c Sol. found (all assignments made)... 21.35 c Sol. found (all assignments made)... 21.35 c Sol. found (all assignments made)... 21.35 c Sol. found (all assignments made)... 21.35 c Sol. found (all assignments made)... 21.35 c Sol. found (all assignments made)... 21.35 c Sol. found (all assignments made)... 21.35 c Sol. found (all assignments made)... 21.35 c Sol. found (all assignments made)... 21.47 c Restart #4 #Var: 1400 LB: -1400 @ 21.428 22.25 c Restart #5 #Var: 1400 LB: -1400 @ 22.217 23.14 c Restart #6 #Var: 1400 LB: -1400 @ 23.106 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.63 c Sol. found (all assignments made)... 23.65 c Sol. found (all assignments made)... 23.65 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.68 c Sol. found (all assignments made)... 23.69 c Sol. found (all assignments made)... 23.69 c Sol. found (all assignments made)... 23.69 c Sol. found (all assignments made)... 23.70 c Sol. found (all assignments made)... 23.70 c Sol. found (all assignments made)... 23.71 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.87 c Sol. found (all assignments made)... 24.15 c Restart #7 #Var: 1400 LB: -1400 @ 24.114 24.92 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 188.34 c CHANGE to MIS mode... UB: -42 MIS: -705 LPR: -671 (16.288) Diff: 1.0507 188.34 c Restart #0 #Var: 1400 LB: -1400 @ 188.25 188.92 c Restart #1 #Var: 1400 LB: -1400 @ 188.83 189.24 c Sol. found (all assignments made)... 189.25 c Sol. found (all assignments made)... 189.38 c Sol. found (all assignments made)... 189.38 c Sol. found (all assignments made)... 189.46 c Sol. found (all assignments made)... 189.64 c Restart #2 #Var: 1400 LB: -707 @ 189.55 190.58 c Restart #3 #Var: 1400 LB: -705 @ 190.49 191.56 c Restart #4 #Var: 1400 LB: -1400 @ 191.47 192.63 c Restart #5 #Var: 1400 LB: -1400 @ 192.53 193.79 c Restart #6 #Var: 1400 LB: -1400 @ 193.69 195.05 c Restart #7 #Var: 1400 LB: -1400 @ 194.96 196.56 c Restart #8 #Var: 1400 LB: -706 @ 196.47 198.14 c Restart #9 #Var: 1400 LB: -1400 @ 198.05 199.00 c Sol. found (all assignments made)... 199.08 c Sol. found (all assignments made)... 199.08 c Sol. found (all assignments made)... 199.09 c Sol. found (all assignments made)... 199.14 c Sol. found (all assignments made)... 199.14 c Sol. found (all assignments made)... 199.18 c Sol. found (all assignments made)... 199.18 c Sol. found (all assignments made)... 199.20 c Sol. found (all assignments made)... 199.20 c Sol. found (all assignments made)... 199.22 c Sol. found (all assignments made)... 199.22 c Sol. found (all assignments made)... 199.23 c Sol. found (all assignments made)... 199.23 c Sol. found (all assignments made)... 199.23 c Sol. found (all assignments made)... 199.24 c Sol. found (all assignments made)... 199.47 c Sol. found (all assignments made)... 199.47 c Sol. found (all assignments made)... 199.49 c Sol. found (all assignments made)... 199.49 c Sol. found (all assignments made)... 199.52 c Sol. found (all assignments made)... 199.52 c Sol. found (all assignments made)... 199.53 c Sol. found (all assignments made)... 199.53 c Sol. found (all assignments made)... 199.55 c Sol. found (all assignments made)... 199.56 c Sol. found (all assignments made)... 199.57 c Sol. found (all assignments made)... 199.58 c Sol. found (all assignments made)... 199.59 c Sol. found (all assignments made)... 199.61 c Sol. found (all assignments made)... 199.88 c Restart #10 #Var: 1400 LB: -707 @ 199.79 201.71 c Restart #11 #Var: 1400 LB: -1400 @ 201.62 202.07 c Sol. found (all assignments made)... 202.08 c Sol. found (all assignments made)... 202.37 c Sol. found (all assignments made)... 202.66 c Sol. found (all assignments made)... 202.66 c Sol. found (all assignments made)... 202.67 c Sol. found (all assignments made)... 202.67 c Sol. found (all assignments made)... 202.67 c Sol. found (all assignments made)... 202.68 c Sol. found (all assignments made)... 202.69 c Sol. found (all assignments made)... 202.69 c Sol. found (all assignments made)... 202.70 c Sol. found (all assignments made)... 202.70 c Sol. found (all assignments made)... 202.72 c Sol. found (all assignments made)... 202.72 c Sol. found (all assignments made)... 202.73 c Sol. found (all assignments made)... 202.73 c Sol. found (all assignments made)... 202.73 c Sol. found (all assignments made)... 202.74 c Sol. found (all assignments made)... 202.74 c Sol. found (all assignments made)... 202.75 c Sol. found (all assignments made)... 202.76 c Sol. found (all assignments made)... 202.77 c Sol. found (all assignments made)... 202.77 c Sol. found (all assignments made)... 202.78 c Sol. found (all assignments made)... 202.78 c Sol. found (all assignments made)... 202.79 c Sol. found (all assignments made)... 202.79 c Sol. found (all assignments made)... 202.80 c Sol. found (all assignments made)... 202.80 c Sol. found (all assignments made)... 202.82 c Sol. found (all assignments made)... 202.82 c Sol. found (all assignments made)... 202.83 c Sol. found (all assignments made)... 202.83 c Sol. found (all assignments made)... 202.84 c Sol. found (all assignments made)... 202.84 c Sol. found (all assignments made)... 202.84 c Sol. found (all assignments made)... 203.38 c Sol. found (all assignments made)... 203.39 c Sol. found (all assignments made)... 203.41 c Sol. found (all assignments made)... 203.42 c Sol. found (all assignments made)... 203.45 c Sol. found (all assignments made)... 203.57 c Restart #12 #Var: 1400 LB: -1400 @ 203.47 205.60 c Restart #13 #Var: 1400 LB: -1400 @ 205.51 207.75 c Restart #14 #Var: 1400 LB: -1400 @ 207.66 210.00 c Restart #15 #Var: 1400 LB: -1400 @ 209.9 212.44 c Restart #16 #Var: 1400 LB: -1400 @ 212.34 214.94 c Restart #17 #Var: 1400 LB: -1400 @ 214.84 217.58 c Restart #18 #Var: 1400 LB: -1400 @ 217.49 220.33 c Restart #19 #Var: 1400 LB: -1400 @ 220.23 220.80 c Sol. found (all assignments made)... 220.81 c Sol. found (all assignments made)... 220.88 c Sol. found (all assignments made)... 220.88 c Sol. found (all assignments made)... 220.91 c Sol. found (all assignments made)... 220.91 c Sol. found (all assignments made)... 220.96 c Sol. found (all assignments made)... 220.96 c Sol. found (all assignments made)... 220.96 o -43 220.96 c NEW SOLUTION FOUND: -43 @ 220.86 221.15 c Sol. found (all assignments made)... 221.15 c Sol. found (all assignments made)... 221.16 c Sol. found (all assignments made)... 221.17 c Sol. found (all assignments made)... 221.17 c Sol. found (all assignments made)... 221.26 c Sol. found (all assignments made)... 221.26 c Sol. found (all assignments made)... 221.27 c Sol. found (all assignments made)... 221.34 c Sol. found (all assignments made)... 221.35 c Sol. found (all assignments made)... 221.36 c Sol. found (all assignments made)... 221.65 c Sol. found (all assignments made)... 221.89 c Sol. found (all assignments made)... 221.89 c Sol. found (all assignments made)... 221.89 c Sol. found (all assignments made)... 221.90 c Sol. found (all assignments made)... 221.90 c Sol. found (all assignments made)... 221.90 c Sol. found (all assignments made)... 221.91 c Sol. found (all assignments made)... 221.91 c Sol. found (all assignments made)... 221.91 c Sol. found (all assignments made)... 221.92 c Sol. found (all assignments made)... 221.92 c Sol. found (all assignments made)... 221.92 c Sol. found (all assignments made)... 221.93 c Sol. found (all assignments made)... 221.93 c Sol. found (all assignments made)... 221.94 c Sol. found (all assignments made)... 221.95 c Sol. found (all assignments made)... 223.45 c Restart #20 #Var: 1400 LB: -1400 @ 223.35 226.45 c Restart #21 #Var: 1400 LB: -1400 @ 226.34 229.61 c Restart #22 #Var: 1400 LB: -1400 @ 229.51 232.93 c Restart #23 #Var: 1400 LB: -1400 @ 232.83 236.41 c Restart #24 #Var: 1400 LB: -1400 @ 236.31 237.40 c Sol. found (all assignments made)... 237.43 c Sol. found (all assignments made)... 237.64 c Sol. found (all assignments made)... 237.64 c Sol. found (all assignments made)... 237.65 c Sol. found (all assignments made)... 237.65 c Sol. found (all assignments made)... 239.58 c Sol. found (all assignments made)... 239.58 c Sol. found (all assignments made)... 239.59 c Sol. found (all assignments made)... 239.59 c Sol. found (all assignments made)... 239.59 c Sol. found (all assignments made)... 239.60 c Sol. found (all assignments made)... 239.89 c Restart #25 #Var: 1400 LB: -1400 @ 239.79 243.60 c Restart #26 #Var: 1400 LB: -1400 @ 243.49 245.94 c Sol. found (all assignments made)... 247.29 c Restart #27 #Var: 1400 LB: -1400 @ 247.18 251.29 c Restart #28 #Var: 1400 LB: -1400 @ 251.18 251.64 c Sol. found (all assignments made)... 251.64 c Sol. found (all assignments made)... 251.64 c Sol. found (all assignments made)... 251.75 c Sol. found (all assignments made)... 251.75 c Sol. found (all assignments made)... 251.75 c Sol. found (all assignments made)... 251.76 c Sol. found (all assignments made)... 251.76 c Sol. found (all assignments made)... 251.76 c Sol. found (all assignments made)... 251.76 c Sol. found (all assignments made)... 251.77 c Sol. found (all assignments made)... 251.77 c Sol. found (all assignments made)... 251.77 c Sol. found (all assignments made)... 251.77 c Sol. found (all assignments made)... 251.78 c Sol. found (all assignments made)... 251.78 c Sol. found (all assignments made)... 251.78 c Sol. found (all assignments made)... 251.79 c Sol. found (all assignments made)... 251.79 c Sol. found (all assignments made)... 251.79 c Sol. found (all assignments made)... 251.80 c Sol. found (all assignments made)... 251.80 c Sol. found (all assignments made)... 251.81 c Sol. found (all assignments made)... 251.81 c Sol. found (all assignments made)... 251.82 c Sol. found (all assignments made)... 251.82 c Sol. found (all assignments made)... 251.82 c Sol. found (all assignments made)... 251.84 c Sol. found (all assignments made)... 251.84 c Sol. found (all assignments made)... 251.84 c Sol. found (all assignments made)... 251.85 c Sol. found (all assignments made)... 251.85 c Sol. found (all assignments made)... 251.85 c Sol. found (all assignments made)... 251.86 c Sol. found (all assignments made)... 251.86 c Sol. found (all assignments made)... 251.86 c Sol. found (all assignments made)... 251.86 c Sol. found (all assignments made)... 251.86 c Sol. found (all assignments made)... 251.86 c Sol. found (all assignments made)... 251.87 c Sol. found (all assignments made)... 251.87 c Sol. found (all assignments made)... 251.88 c Sol. found (all assignments made)... 251.88 c Sol. found (all assignments made)... 251.88 c Sol. found (all assignments made)... 251.88 c Sol. found (all assignments made)... 252.15 c Sol. found (all assignments made)... 252.15 c Sol. found (all assignments made)... 252.18 c Sol. found (all assignments made)... 252.18 c Sol. found (all assignments made)... 252.18 c Sol. found (all assignments made)... 252.19 c Sol. found (all assignments made)... 252.19 c Sol. found (all assignments made)... 252.20 c Sol. found (all assignments made)... 252.21 c Sol. found (all assignments made)... 252.21 c Sol. found (all assignments made)... 252.22 c Sol. found (all assignments made)... 252.22 c Sol. found (all assignments made)... 252.23 c Sol. found (all assignments made)... 252.23 c Sol. found (all assignments made)... 252.24 c Sol. found (all assignments made)... 252.24 c Sol. found (all assignments made)... 252.26 c Sol. found (all assignments made)... 252.26 c Sol. found (all assignments made)... 252.34 c Sol. found (all assignments made)... 252.34 c Sol. found (all assignments made)... 252.34 c Sol. found (all assignments made)... 252.34 c Sol. found (all assignments made)... 252.34 c Sol. found (all assignments made)... 252.35 c Sol. found (all assignments made)... 252.40 c Sol. found (all assignments made)... 252.40 c Sol. found (all assignments made)... 252.40 c Sol. found (all assignments made)... 252.40 c Sol. found (all assignments made)... 252.41 c Sol. found (all assignments made)... 252.41 c Sol. found (all assignments made)... 252.42 c Sol. found (all assignments made)... 252.42 c Sol. found (all assignments made)... 252.42 c Sol. found (all assignments made)... 252.42 c Sol. found (all assignments made)... 252.43 c Sol. found (all assignments made)... 252.43 c Sol. found (all assignments made)... 252.44 c Sol. found (all assignments made)... 252.44 c Sol. found (all assignments made)... 252.44 c Sol. found (all assignments made)... 252.44 c Sol. found (all assignments made)... 252.45 c Sol. found (all assignments made)... 252.45 c Sol. found (all assignments made)... 252.46 c Sol. found (all assignments made)... 252.46 c Sol. found (all assignments made)... 252.46 c Sol. found (all assignments made)... 252.46 c Sol. found (all assignments made)... 252.47 c Sol. found (all assignments made)... 252.47 c Sol. found (all assignments made)... 252.48 c Sol. found (all assignments made)... 252.48 c Sol. found (all assignments made)... 252.48 c Sol. found (all assignments made)... 252.48 c Sol. found (all assignments made)... 253.21 c Sol. found (all assignments made)... 253.27 c Sol. found (all assignments made)... 253.27 c Sol. found (all assignments made)... 253.28 c Sol. found (all assignments made)... 253.38 c Sol. found (all assignments made)... 253.38 c Sol. found (all assignments made)... 253.39 c Sol. found (all assignments made)... 253.39 c Sol. found (all assignments made)... 253.40 c Sol. found (all assignments made)... 253.41 c Sol. found (all assignments made)... 253.41 c Sol. found (all assignments made)... 253.42 c Sol. found (all assignments made)... 253.42 c Sol. found (all assignments made)... 253.43 c Sol. found (all assignments made)... 253.43 c Sol. found (all assignments made)... 253.44 c Sol. found (all assignments made)... 253.45 c Sol. found (all assignments made)... 253.45 c Sol. found (all assignments made)... 253.46 c Sol. found (all assignments made)... 253.46 c Sol. found (all assignments made)... 253.47 c Sol. found (all assignments made)... 253.47 c Sol. found (all assignments made)... 253.48 c Sol. found (all assignments made)... 253.49 c Sol. found (all assignments made)... 253.49 c Sol. found (all assignments made)... 253.50 c Sol. found (all assignments made)... 253.51 c Sol. found (all assignments made)... 253.51 c Sol. found (all assignments made)... 253.52 c Sol. found (all assignments made)... 253.52 c Sol. found (all assignments made)... 253.53 c Sol. found (all assignments made)... 253.54 c Sol. found (all assignments made)... 253.54 c Sol. found (all assignments made)... 253.55 c Sol. found (all assignments made)... 253.55 c Sol. found (all assignments made)... 253.56 c Sol. found (all assignments made)... 253.65 c Sol. found (all assignments made)... 253.65 c Sol. found (all assignments made)... 253.66 c Sol. found (all assignments made)... 253.66 c Sol. found (all assignments made)... 253.66 c Sol. found (all assignments made)... 253.66 c Sol. found (all assignments made)... 253.67 c Sol. found (all assignments made)... 253.67 c Sol. found (all assignments made)... 253.67 c Sol. found (all assignments made)... 253.68 c Sol. found (all assignments made)... 253.68 c Sol. found (all assignments made)... 253.68 c Sol. found (all assignments made)... 253.68 c Sol. found (all assignments made)... 253.69 c Sol. found (all assignments made)... 253.69 c Sol. found (all assignments made)... 253.69 c Sol. found (all assignments made)... 253.93 c Sol. found (all assignments made)... 253.94 c Sol. found (all assignments made)... 253.94 c Sol. found (all assignments made)... 253.94 c Sol. found (all assignments made)... 253.95 c Sol. found (all assignments made)... 253.95 c Sol. found (all assignments made)... 253.96 c Sol. found (all assignments made)... 253.96 c Sol. found (all assignments made)... 254.11 c Sol. found (all assignments made)... 254.11 c Sol. found (all assignments made)... 254.11 c Sol. found (all assignments made)... 254.12 c Sol. found (all assignments made)... 254.12 c Sol. found (all assignments made)... 254.12 c Sol. found (all assignments made)... 254.13 c Sol. found (all assignments made)... 254.13 c Sol. found (all assignments made)... 254.14 c Sol. found (all assignments made)... 254.14 c Sol. found (all assignments made)... 254.15 c Sol. found (all assignments made)... 254.15 c Sol. found (all assignments made)... 254.16 c Sol. found (all assignments made)... 254.16 c Sol. found (all assignments made)... 254.16 c Sol. found (all assignments made)... 254.17 c Sol. found (all assignments made)... 254.17 c Sol. found (all assignments made)... 254.17 c Sol. found (all assignments made)... 254.18 c Sol. found (all assignments made)... 254.18 c Sol. found (all assignments made)... 254.19 c Sol. found (all assignments made)... 254.19 c Sol. found (all assignments made)... 254.20 c Sol. found (all assignments made)... 254.20 c Sol. found (all assignments made)... 254.20 c Sol. found (all assignments made)... 254.20 c Sol. found (all assignments made)... 254.21 c Sol. found (all assignments made)... 254.21 c Sol. found (all assignments made)... 254.22 c Sol. found (all assignments made)... 254.22 c Sol. found (all assignments made)... 254.23 c Sol. found (all assignments made)... 254.23 c Sol. found (all assignments made)... 254.24 c Sol. found (all assignments made)... 254.24 c Sol. found (all assignments made)... 254.24 c Sol. found (all assignments made)... 254.25 c Sol. found (all assignments made)... 254.25 c Sol. found (all assignments made)... 254.25 c Sol. found (all assignments made)... 254.26 c Sol. found (all assignments made)... 254.26 c Sol. found (all assignments made)... 254.27 c Sol. found (all assignments made)... 254.27 c Sol. found (all assignments made)... 254.28 c Sol. found (all assignments made)... 254.28 c Sol. found (all assignments made)... 254.28 c Sol. found (all assignments made)... 254.29 c Sol. found (all assignments made)... 254.29 c Sol. found (all assignments made)... 254.29 c Sol. found (all assignments made)... 254.30 c Sol. found (all assignments made)... 254.30 c Sol. found (all assignments made)... 254.31 c Sol. found (all assignments made)... 254.31 c Sol. found (all assignments made)... 254.32 c Sol. found (all assignments made)... 254.32 c Sol. found (all assignments made)... 254.32 c Sol. found (all assignments made)... 254.32 c Sol. found (all assignments made)... 255.36 c Restart #29 #Var: 1400 LB: -1400 @ 255.25 258.20 c Sol. found (all assignments made)... 258.21 c Sol. found (all assignments made)... 258.57 c Sol. found (all assignments made)... 258.69 c Sol. found (all assignments made)... 258.69 c Sol. found (all assignments made)... 258.69 c Sol. found (all assignments made)... 258.70 c Sol. found (all assignments made)... 258.70 c Sol. found (all assignments made)... 258.71 c Sol. found (all assignments made)... 258.79 c Sol. found (all assignments made)... 258.79 c Sol. found (all assignments made)... 258.79 c Sol. found (all assignments made)... 258.80 c Sol. found (all assignments made)... 258.80 c Sol. found (all assignments made)... 258.80 c Sol. found (all assignments made)... 258.89 c Sol. found (all assignments made)... 258.89 c Sol. found (all assignments made)... 258.89 c Sol. found (all assignments made)... 258.90 c Sol. found (all assignments made)... 258.90 c Sol. found (all assignments made)... 258.90 c Sol. found (all assignments made)... 259.07 c Sol. found (all assignments made)... 259.07 c Sol. found (all assignments made)... 259.08 c Sol. found (all assignments made)... 259.08 c Sol. found (all assignments made)... 259.08 c Sol. found (all assignments made)... 259.53 c Restart #30 #Var: 1400 LB: -1400 @ 259.42 260.18 c Sol. found (all assignments made)... 260.18 o -44 260.18 c NEW SOLUTION FOUND: -44 @ 260.06 260.18 c Sol. found (all assignments made)... 264.01 c Restart #31 #Var: 1400 LB: -1400 @ 263.9 268.47 c Restart #32 #Var: 1400 LB: -1400 @ 268.35 273.11 c Restart #33 #Var: 1400 LB: -1400 @ 273 277.74 c Restart #34 #Var: 1400 LB: -1400 @ 277.62 282.62 c Restart #35 #Var: 1400 LB: -1400 @ 282.51 287.59 c Restart #36 #Var: 1400 LB: -1400 @ 287.48 292.64 c Restart #37 #Var: 1400 LB: -1400 @ 292.52 297.81 c Restart #38 #Var: 1400 LB: -1400 @ 297.69 303.02 c Restart #39 #Var: 1400 LB: -1400 @ 302.9 303.61 c Sol. found (all assignments made)... 308.40 c Restart #40 #Var: 1400 LB: -1400 @ 308.28 313.85 c Restart #41 #Var: 1400 LB: -1400 @ 313.72 319.64 c Restart #42 #Var: 1400 LB: -1400 @ 319.51 325.43 c Restart #43 #Var: 1400 LB: -1400 @ 325.3 331.26 c Restart #44 #Var: 1400 LB: -1400 @ 331.13 337.24 c Restart #45 #Var: 1400 LB: -1400 @ 337.1 343.59 c Restart #46 #Var: 1400 LB: -1400 @ 343.45 345.48 c Sol. found (all assignments made)... 345.48 c Sol. found (all assignments made)... 345.56 c Sol. found (all assignments made)... 345.56 c Sol. found (all assignments made)... 345.73 c Sol. found (all assignments made)... 345.73 c Sol. found (all assignments made)... 345.74 c Sol. found (all assignments made)... 345.74 c Sol. found (all assignments made)... 345.91 c Sol. found (all assignments made)... 345.91 c Sol. found (all assignments made)... 345.91 c Sol. found (all assignments made)... 345.92 c Sol. found (all assignments made)... 345.94 c Sol. found (all assignments made)... 345.94 c Sol. found (all assignments made)... 345.94 c Sol. found (all assignments made)... 345.95 c Sol. found (all assignments made)... 345.98 c Sol. found (all assignments made)... 345.99 c Sol. found (all assignments made)... 345.99 c Sol. found (all assignments made)... 346.00 c Sol. found (all assignments made)... 346.01 c Sol. found (all assignments made)... 346.03 c Sol. found (all assignments made)... 346.04 c Sol. found (all assignments made)... 346.04 c Sol. found (all assignments made)... 346.04 c Sol. found (all assignments made)... 346.06 c Sol. found (all assignments made)... 346.26 c Sol. found (all assignments made)... 346.26 c Sol. found (all assignments made)... 346.30 c Sol. found (all assignments made)... 346.31 c Sol. found (all assignments made)... 346.33 c Sol. found (all assignments made)... 346.33 c Sol. found (all assignments made)... 346.42 c Sol. found (all assignments made)... 346.42 c Sol. found (all assignments made)... 346.44 c Sol. found (all assignments made)... 346.44 c Sol. found (all assignments made)... 346.47 c Sol. found (all assignments made)... 346.47 c Sol. found (all assignments made)... 346.48 c Sol. found (all assignments made)... 346.49 c Sol. found (all assignments made)... 346.64 c Sol. found (all assignments made)... 346.65 c Sol. found (all assignments made)... 346.66 c Sol. found (all assignments made)... 346.66 c Sol. found (all assignments made)... 346.69 c Sol. found (all assignments made)... 346.70 c Sol. found (all assignments made)... 346.71 c Sol. found (all assignments made)... 346.71 c Sol. found (all assignments made)... 346.86 c Sol. found (all assignments made)... 346.87 c Sol. found (all assignments made)... 346.97 c Sol. found (all assignments made)... 346.97 c Sol. found (all assignments made)... 347.03 c Sol. found (all assignments made)... 347.03 c Sol. found (all assignments made)... 347.09 c Sol. found (all assignments made)... 347.09 c Sol. found (all assignments made)... 347.09 o -45 347.09 c NEW SOLUTION FOUND: -45 @ 346.96 352.89 c Restart #47 #Var: 1400 LB: -1400 @ 352.75 359.38 c Restart #48 #Var: 1400 LB: -1400 @ 359.24 366.10 c Restart #49 #Var: 1400 LB: -708 @ 365.96 372.89 c Restart #50 #Var: 1400 LB: -706 @ 372.75 379.70 c Restart #51 #Var: 1400 LB: -1400 @ 379.56 386.64 c Restart #52 #Var: 1400 LB: -1400 @ 386.49 393.67 c Restart #53 #Var: 1400 LB: -1400 @ 393.52 401.19 c Restart #54 #Var: 1400 LB: -1400 @ 401.04 408.35 c Restart #55 #Var: 1400 LB: -1400 @ 408.2 415.79 c Restart #56 #Var: 1400 LB: -1400 @ 415.64 423.41 c Restart #57 #Var: 1400 LB: -1400 @ 423.25 431.13 c Restart #58 #Var: 1400 LB: -1400 @ 430.97 439.03 c Restart #59 #Var: 1400 LB: -1400 @ 438.87 446.84 c Restart #60 #Var: 1400 LB: -1400 @ 446.68 454.76 c Restart #61 #Var: 1400 LB: -1400 @ 454.6 463.03 c Restart #62 #Var: 1400 LB: -1400 @ 462.86 471.24 c Restart #63 #Var: 1400 LB: -1400 @ 471.06 479.91 c Restart #64 #Var: 1400 LB: -1400 @ 479.74 488.55 c Restart #65 #Var: 1400 LB: -1400 @ 488.38 497.20 c Restart #66 #Var: 1400 LB: -1400 @ 497.02 506.06 c Restart #67 #Var: 1400 LB: -1400 @ 505.87 515.19 c Restart #68 #Var: 1400 LB: -1400 @ 515.01 522.04 c Sol. found (all assignments made)... 522.08 c Sol. found (all assignments made)... 524.05 c Restart #69 #Var: 1400 LB: -1400 @ 523.86 533.35 c Restart #70 #Var: 1400 LB: -1400 @ 533.16 542.72 c Restart #71 #Var: 1400 LB: -1400 @ 542.52 551.95 c Restart #72 #Var: 1400 LB: -1400 @ 551.75 561.62 c Restart #73 #Var: 1400 LB: -1400 @ 561.42 571.26 c Restart #74 #Var: 1400 LB: -1400 @ 571.06 581.33 c Restart #75 #Var: 1400 LB: -1400 @ 581.12 591.16 c Restart #76 #Var: 1400 LB: -1400 @ 590.96 601.02 c Restart #77 #Var: 1400 LB: -1400 @ 600.81 611.33 c Restart #78 #Var: 1400 LB: -1400 @ 611.12 621.61 c Restart #79 #Var: 1400 LB: -1400 @ 621.39 631.94 c Restart #80 #Var: 1400 LB: -1400 @ 631.72 642.50 c Restart #81 #Var: 1400 LB: -1400 @ 642.27 653.27 c Restart #82 #Var: 1400 LB: -1400 @ 653.05 664.07 c Restart #83 #Var: 1400 LB: -1400 @ 663.84 674.75 c Restart #84 #Var: 1400 LB: -1400 @ 674.51 685.75 c Restart #85 #Var: 1400 LB: -1400 @ 685.52 696.94 c Restart #86 #Var: 1400 LB: -1400 @ 696.7 708.12 c Restart #87 #Var: 1400 LB: -1400 @ 707.88 719.63 c Restart #88 #Var: 1400 LB: -1400 @ 719.38 731.04 c Restart #89 #Var: 1400 LB: -1400 @ 730.8 742.63 c Restart #90 #Var: 1400 LB: -1400 @ 742.38 754.14 c Restart #91 #Var: 1400 LB: -1400 @ 753.89 766.18 c Restart #92 #Var: 1400 LB: -1400 @ 765.92 778.12 c Restart #93 #Var: 1400 LB: -1400 @ 777.86 790.28 c Restart #94 #Var: 1400 LB: -1400 @ 790.01 802.89 c Restart #95 #Var: 1400 LB: -1400 @ 802.63 815.28 c Restart #96 #Var: 1400 LB: -1400 @ 815.01 827.87 c Restart #97 #Var: 1400 LB: -1400 @ 827.59 840.48 c Restart #98 #Var: 1400 LB: -1400 @ 840.2 853.30 c Restart #99 #Var: 1400 LB: -1400 @ 853.02 866.08 c Restart #100 #Var: 1400 LB: -1400 @ 865.79 879.44 c Restart #101 #Var: 1400 LB: -1400 @ 879.15 892.24 c Restart #102 #Var: 1400 LB: -1400 @ 891.95 905.63 c Restart #103 #Var: 1400 LB: -1400 @ 905.33 919.25 c Restart #104 #Var: 1400 LB: -1400 @ 918.95 932.80 c Restart #105 #Var: 1400 LB: -1400 @ 932.49 947.01 c Restart #106 #Var: 1400 LB: -704 @ 946.7 960.91 c Restart #107 #Var: 1400 LB: -1400 @ 960.6 974.66 c Restart #108 #Var: 1400 LB: -1400 @ 974.34 988.40 c Restart #109 #Var: 1400 LB: -1400 @ 988.08 1002.52 c Restart #110 #Var: 1400 LB: -1400 @ 1002.2 1016.49 c Restart #111 #Var: 1400 LB: -1400 @ 1016.2 1030.89 c Restart #112 #Var: 1400 LB: -1400 @ 1030.6 1045.55 c Restart #113 #Var: 1400 LB: -1400 @ 1045.2 1060.30 c Restart #114 #Var: 1400 LB: -1400 @ 1060 1066.71 c Sol. found (all assignments made)... 1066.73 c Sol. found (all assignments made)... 1075.03 c Restart #115 #Var: 1400 LB: -1400 @ 1074.7 1090.10 c Restart #116 #Var: 1400 LB: -1400 @ 1089.7 1105.04 c Restart #117 #Var: 1400 LB: -1400 @ 1104.7 1119.99 c Restart #118 #Var: 1400 LB: -1400 @ 1119.6 1135.45 c Restart #119 #Var: 1400 LB: -1400 @ 1135.1 1150.68 c Restart #120 #Var: 1400 LB: -1400 @ 1150.3 1166.23 c Restart #121 #Var: 1400 LB: -1400 @ 1165.9 1181.39 c Restart #122 #Var: 1400 LB: -1400 @ 1181 1197.37 c Restart #123 #Var: 1400 LB: -1400 @ 1197 1213.05 c Restart #124 #Var: 1400 LB: -1400 @ 1212.7 1229.11 c Restart #125 #Var: 1400 LB: -1400 @ 1228.7 1245.17 c Restart #126 #Var: 1400 LB: -1400 @ 1244.8 1261.48 c Restart #127 #Var: 1400 LB: -1400 @ 1261.1 1278.04 c Restart #128 #Var: 1400 LB: -1400 @ 1277.6 1294.52 c Restart #129 #Var: 1400 LB: -1400 @ 1294.1 1311.19 c Restart #130 #Var: 1400 LB: -1400 @ 1310.8 1327.87 c Restart #131 #Var: 1400 LB: -1400 @ 1327.4 1344.69 c Restart #132 #Var: 1400 LB: -1400 @ 1344.3 1361.94 c Restart #133 #Var: 1400 LB: -1400 @ 1361.5 1378.95 c Restart #134 #Var: 1400 LB: -1400 @ 1378.5 1396.44 c Restart #135 #Var: 1400 LB: -1400 @ 1396 1413.78 c Restart #136 #Var: 1400 LB: -1400 @ 1413.3 1431.49 c Restart #137 #Var: 1400 LB: -1400 @ 1431 1449.27 c Restart #138 #Var: 1400 LB: -1400 @ 1448.8 1467.14 c Restart #139 #Var: 1400 LB: -1400 @ 1466.7 1484.84 c Restart #140 #Var: 1400 LB: -1400 @ 1484.4 1503.08 c Restart #141 #Var: 1400 LB: -1400 @ 1502.6 1521.19 c Restart #142 #Var: 1400 LB: -1400 @ 1520.7 1539.47 c Restart #143 #Var: 1400 LB: -1400 @ 1539 1557.85 c Restart #144 #Var: 1400 LB: -1400 @ 1557.4 1576.27 c Restart #145 #Var: 1400 LB: -1400 @ 1575.8 1594.98 c Restart #146 #Var: 1400 LB: -707 @ 1594.5 1613.63 c Restart #147 #Var: 1400 LB: -1400 @ 1613.1 1632.58 c Restart #148 #Var: 1400 LB: -1400 @ 1632.1 1651.24 c Restart #149 #Var: 1400 LB: -1400 @ 1650.7 1670.15 c Restart #150 #Var: 1400 LB: -1400 @ 1669.6 1689.92 c Restart #151 #Var: 1400 LB: -1400 @ 1689.4 1709.35 c Restart #152 #Var: 1400 LB: -1400 @ 1708.8 1728.74 c Restart #153 #Var: 1400 LB: -1400 @ 1728.2 1748.21 c Restart #154 #Var: 1400 LB: -1400 @ 1747.6 1768.12 c Restart #155 #Var: 1400 LB: -1400 @ 1767.5 1781.75 c Sol. found (all assignments made)... 1785.71 c Sol. found (all assignments made)... 1785.73 c Sol. found (all assignments made)... 1785.77 c Sol. found (all assignments made)... 1785.79 c Sol. found (all assignments made)... 1787.70 c Restart #156 #Var: 1400 LB: -1400 @ 1787.1 1800.62 s SATISFIABLE 1800.62 c Cost: -45 1800.62 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1800.62 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 x1367 1800.62 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1800.62 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 -x1333 1800.62 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1800.62 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1800.62 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1800.62 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 1800.62 v -x1264 -x1263 -x1262 -x1261 -x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 1800.62 v -x1247 -x1246 -x1245 -x1244 x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 1800.62 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 1800.62 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 x1201 -x1200 -x1199 -x1198 -x1197 1800.62 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 1800.62 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 1800.62 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 1800.62 v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 x1129 1800.62 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 1800.62 v x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 -x1094 1800.62 v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 1800.62 v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 1800.62 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 1800.62 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 1800.62 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 -x1009 1800.62 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 1800.62 v -x989 -x988 -x987 -x986 x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 1800.62 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 1800.62 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 1800.62 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 1800.62 v -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 1800.62 v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 1800.62 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 1800.62 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 x823 -x822 1800.62 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 1800.62 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 1800.62 v -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 1800.62 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 1800.62 v -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 1800.62 v -x716 -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 1800.62 v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 1800.62 v -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 1800.62 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 1800.62 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 1800.62 v -x611 -x610 -x609 -x608 x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 1800.62 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 1800.62 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 1800.62 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 -x532 -x531 -x530 -x529 -x528 1800.62 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 1800.62 v -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 1800.62 v -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 1800.62 v -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 1800.62 v -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 1800.62 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 1800.62 v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 1800.62 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 1800.62 v -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 1800.62 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 1800.62 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 1800.62 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 1800.62 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 1800.62 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 1800.62 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 1800.62 v x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 1800.62 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 1800.62 v -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 1800.62 v -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 1800.62 v -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 1800.62 v -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 1800.62 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 1800.62 v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 1800.62 v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 1800.62 v -x4 -x3 -x2 -x1 1800.62 c Exit Code: 10 1800.62 c Total time: 1800 s
OK -45
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/node0/watcher-40495-1149294731 -o ROOT/results/node0/solver-40495-1149294731 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node0/40495-1149294731/instance-40495-1149294731.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1523064/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=2900 CPUtime=0 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 195134633 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8069924 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/17259/statm: 725 27 19 55 0 38 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1469496/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=58104 CPUtime=9.97 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 13779 0 0 0 991 6 0 0 25 0 1 0 195134633 59498496 13695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 14526 13695 287 55 0 13418 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 58104 [startup+20.0094 s] /proc/loadavg: 0.94 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1468288/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=59400 CPUtime=19.96 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 14267 0 0 0 1990 6 0 0 25 0 1 0 195134633 60825600 14013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 14850 14013 297 55 0 13742 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 59400 [startup+30.0155 s] /proc/loadavg: 0.95 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1460608/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=67712 CPUtime=29.97 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 16272 0 0 0 2988 9 0 0 25 0 1 0 195134633 69337088 15941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 16928 15941 308 55 0 15820 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 67712 [startup+40.0206 s] /proc/loadavg: 0.96 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1458944/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=69240 CPUtime=39.97 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 16751 0 0 0 3986 11 0 0 25 0 1 0 195134633 70901760 16347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 17310 16347 308 55 0 16202 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 69240 [startup+50.0268 s] /proc/loadavg: 0.96 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1457856/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=70328 CPUtime=49.98 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 17106 0 0 0 4985 13 0 0 25 0 1 0 195134633 72015872 16635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 17582 16635 308 55 0 16474 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 70328 [startup+60.0329 s] /proc/loadavg: 0.97 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1457536/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=70592 CPUtime=59.98 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 17183 0 0 0 5983 15 0 0 25 0 1 0 195134633 72286208 16712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 17648 16712 308 55 0 16540 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 70592 [startup+70.039 s] /proc/loadavg: 0.97 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1456576/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=71480 CPUtime=69.98 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 17414 0 0 0 6982 16 0 0 25 0 1 0 195134633 73195520 16943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 17870 16943 308 55 0 16762 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 71480 [startup+80.0461 s] /proc/loadavg: 0.98 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1456384/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=71668 CPUtime=79.99 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 17469 0 0 0 7981 18 0 0 25 0 1 0 195134633 73388032 16998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 17917 16998 308 55 0 16809 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 71668 [startup+90.0523 s] /proc/loadavg: 0.98 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1455296/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=72764 CPUtime=89.99 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 17832 0 0 0 8979 20 0 0 25 0 1 0 195134633 74510336 17279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 18191 17279 308 55 0 17083 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 72764 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1415872/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=143940 CPUtime=99.98 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 31871 0 2 0 9971 27 0 0 25 0 1 0 195134633 147394560 27067 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 35985 27067 413 55 0 34877 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 143940 [startup+110.065 s] /proc/loadavg: 0.98 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1403456/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=143940 CPUtime=109.99 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 35002 0 2 0 10970 29 0 0 25 0 1 0 195134633 147394560 30186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497932 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 35985 30186 414 55 0 34877 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 143940 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1415296/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=131016 CPUtime=119.99 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 35031 0 2 0 11970 29 0 0 25 0 1 0 195134633 134160384 27191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 32754 27191 414 55 0 31646 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 131016 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1415296/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=131016 CPUtime=129.99 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 35054 0 2 0 12970 29 0 0 25 0 1 0 195134633 134160384 27192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 32754 27192 414 55 0 31646 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 131016 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1414464/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=133828 CPUtime=140 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 35320 0 2 0 13970 30 0 0 25 0 1 0 195134633 137039872 27432 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346938 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 33457 27432 415 55 0 32349 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 133828 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1409344/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=146752 CPUtime=150 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 36627 0 2 0 14970 30 0 0 25 0 1 0 195134633 150274048 28719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 36688 28719 415 55 0 35580 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 146752 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1409280/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=146752 CPUtime=160 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 36643 0 2 0 15970 30 0 0 25 0 1 0 195134633 150274048 28721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 36688 28721 415 55 0 35580 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 146752 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1409280/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=146752 CPUtime=170.01 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 36664 0 2 0 16971 30 0 0 25 0 1 0 195134633 150274048 28722 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343472 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 36688 28722 415 55 0 35580 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 146752 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1419008/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=154636 CPUtime=180.01 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 209995 0 2 0 17894 107 0 0 25 0 1 0 195134633 158347264 26422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 38659 26429 436 55 0 37551 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 154636 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17259 /proc/meminfo: memFree=1438080/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=90224 CPUtime=190.02 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 368771 0 2 0 18826 176 0 0 25 0 1 0 195134633 92389376 21544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 22556 21544 436 55 0 21448 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 90224 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17261 /proc/meminfo: memFree=1437824/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=90472 CPUtime=200.02 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 368909 0 2 0 19825 177 0 0 25 0 1 0 195134633 92643328 21587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 22618 21587 436 55 0 21510 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 90472 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17261 /proc/meminfo: memFree=1437440/2055920 swapFree=4192812/4192956 ################ # More data... # ################ /proc/17259/statm: 23082 22055 436 55 0 21974 0 Current children cumulated CPU time (s) 1760.46 Current children cumulated vsize (Kb) 92328 [startup+1771.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435400/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1770.46 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372284 0 2 0 176747 299 0 0 25 0 1 0 195134633 94511104 22055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22055 436 55 0 21966 0 Current children cumulated CPU time (s) 1770.46 Current children cumulated vsize (Kb) 92296 [startup+1781.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435464/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1780.46 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372284 0 2 0 177746 300 0 0 25 0 1 0 195134633 94511104 22055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22055 436 55 0 21966 0 Current children cumulated CPU time (s) 1780.46 Current children cumulated vsize (Kb) 92296 [startup+1782.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435464/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1781.47 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372284 0 2 0 177847 300 0 0 25 0 1 0 195134633 94511104 22055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22055 436 55 0 21966 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 92296 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435464/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1782.47 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372284 0 2 0 177947 300 0 0 25 0 1 0 195134633 94511104 22055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22055 436 55 0 21966 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 92296 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435464/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1783.48 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372284 0 2 0 178048 300 0 0 25 0 1 0 195134633 94511104 22055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22055 436 55 0 21966 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 92296 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435464/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1784.48 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372284 0 2 0 178148 300 0 0 25 0 1 0 195134633 94511104 22055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8186996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22055 436 55 0 21966 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 92296 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435272/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92648 CPUtime=1785.49 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 178249 300 0 0 25 0 1 0 195134633 94871552 22130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23162 22130 436 55 0 22054 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 92648 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1786.49 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 178349 300 0 0 25 0 1 0 195134633 94511104 22068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550537 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22068 436 55 0 21966 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 92296 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1787.49 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 178449 300 0 0 25 0 1 0 195134633 94511104 22068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22068 436 55 0 21966 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 92296 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1788.5 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 178550 300 0 0 25 0 1 0 195134633 94511104 22068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22068 436 55 0 21966 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 92296 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1789.5 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 178650 300 0 0 25 0 1 0 195134633 94511104 22068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22068 436 55 0 21966 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 92296 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1790.51 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 178751 300 0 0 25 0 1 0 195134633 94511104 22068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604126 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22068 436 55 0 21966 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 92296 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1791.51 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 178851 300 0 0 25 0 1 0 195134633 94511104 22068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22068 436 55 0 21966 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 92296 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92296 CPUtime=1792.52 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 178952 300 0 0 25 0 1 0 195134633 94511104 22068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8504189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23074 22068 436 55 0 21966 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 92296 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92280 CPUtime=1793.52 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 179052 300 0 0 25 0 1 0 195134633 94494720 22064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8499186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23070 22064 436 55 0 21962 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 92280 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92280 CPUtime=1794.52 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 179152 300 0 0 25 0 1 0 195134633 94494720 22064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23070 22064 436 55 0 21962 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 92280 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92280 CPUtime=1795.53 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 179253 300 0 0 25 0 1 0 195134633 94494720 22064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23070 22064 436 55 0 21962 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 92280 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92280 CPUtime=1796.54 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 179353 301 0 0 25 0 1 0 195134633 94494720 22064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23070 22064 436 55 0 21962 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 92280 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92280 CPUtime=1797.54 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 179453 301 0 0 25 0 1 0 195134633 94494720 22064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23070 22064 436 55 0 21962 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 92280 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92280 CPUtime=1798.55 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 179554 301 0 0 25 0 1 0 195134633 94494720 22064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23070 22064 436 55 0 21962 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 92280 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 17456 /proc/meminfo: memFree=1435336/2055920 swapFree=4192812/4192956 [pid=17259] ppid=17257 vsize=92280 CPUtime=1799.55 /proc/17259/stat : 17259 (bsolo) R 17257 17259 17213 0 -1 0 372359 0 2 0 179654 301 0 0 25 0 1 0 195134633 94494720 22064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17259/statm: 23070 22064 436 55 0 21962 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 92280 Child status: 10 Real time (s): 1800.64 CPU time (s): 1800.02 CPU user time (s): 1796.99 CPU system time (s): 3.02954 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (Kb): 154636
Begin job on node0 on Sat Jun 3 00:32:11 UTC 2006 FILE ID= 40495-1149294731 PBS_JOBID= 307048 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node0/40495-1149294731/instance-40495-1149294731.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node0/watcher-40495-1149294731 -o ROOT/results/node0/solver-40495-1149294731 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node0/40495-1149294731/instance-40495-1149294731.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee RANDOM SEED= 171395338 /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.236 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.236 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: 1523272 kB Buffers: 38560 kB Cached: 415816 kB SwapCached: 0 kB Active: 113976 kB Inactive: 357536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1523272 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 196 kB Writeback: 0 kB Mapped: 27628 kB Slab: 47012 kB Committed_AS: 219880 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node0 on Sat Jun 3 01:02:12 UTC 2006