Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 46108378 | 1800.01 | 1800.67 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod013.opb |
MD5SUM | 4cb1be2dcc654132071469b521292770 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 33049600 |
Best CPU time to get the best result obtained on this benchmark | 1800.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 32455680 |
Optimality of the best value was proved | NO |
Number of variables | 1488 |
Total number of constraints | 62 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 62 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 240 |
Number of terms in the objective function | 1488 |
Biggest coefficient in the objective function | 375272767488 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 12937590079727 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 375272767488 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 12937590079727 |
Number of bits of the biggest sum of numbers | 44 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.05 c Initial problem consists of 1488 variables and 76 constraints. 0.05 c No problem reductions applied in OPT. instance. 0.05 c preprocess terminated. Elapsed time: 0.042 0.05 c After prepocess the problem consists of 725 variables and 76 constraints. 0.05 c Initial Lower Bound: 0 0.08 c Restart #1 #Var: 725 LB: 0 @ 0.075 0.14 c Restart #2 #Var: 725 LB: 0 @ 0.132 0.23 c Restart #3 #Var: 725 LB: 0 @ 0.217 0.34 c Restart #4 #Var: 725 LB: 0 @ 0.33 0.48 c Restart #5 #Var: 725 LB: 0 @ 0.471 0.66 c Restart #6 #Var: 725 LB: 0 @ 0.647 0.87 c Restart #7 #Var: 725 LB: 0 @ 0.852 1.10 c Restart #8 #Var: 725 LB: 0 @ 1.082 1.34 c Restart #9 #Var: 725 LB: 0 @ 1.323 1.62 c Restart #10 #Var: 725 LB: 0 @ 1.604 1.83 c Restart #11 #Var: 725 LB: 0 @ 1.818 2.10 c Restart #12 #Var: 725 LB: 0 @ 2.085 2.35 c Restart #13 #Var: 725 LB: 0 @ 2.333 2.72 c Restart #14 #Var: 725 LB: 0 @ 2.708 3.14 c Restart #15 #Var: 725 LB: 0 @ 3.127 3.22 c Sol. found (all assignments made)... 3.22 o 61290496 3.22 c NEW SOLUTION FOUND: 61290496 @ 3.208 3.22 c Sol. found (all assignments made)... 3.22 o 61036544 3.22 c NEW SOLUTION FOUND: 61036544 @ 3.21 3.23 c Sol. found (all assignments made)... 3.23 o 59344896 3.23 c NEW SOLUTION FOUND: 59344896 @ 3.212 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 o 58394624 3.23 c NEW SOLUTION FOUND: 58394624 @ 3.218 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 o 58140672 3.24 c NEW SOLUTION FOUND: 58140672 @ 3.222 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 o 55365632 3.25 c NEW SOLUTION FOUND: 55365632 @ 3.24 3.25 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.31 c Sol. found (all assignments made)... 3.31 c Sol. found (all assignments made)... 3.31 c Sol. found (all assignments made)... 3.31 c Sol. found (all assignments made)... 3.31 c Sol. found (all assignments made)... 3.31 c Sol. found (all assignments made)... 3.32 c Sol. found (all assignments made)... 3.32 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.43 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.47 c Sol. found (all assignments made)... 3.47 c Sol. found (all assignments made)... 3.48 c Sol. found (all assignments made)... 3.48 c Sol. found (all assignments made)... 3.48 c Sol. found (all assignments made)... 3.48 c Sol. found (all assignments made)... 3.49 c Sol. found (all assignments made)... 3.49 c Sol. found (all assignments made)... 3.49 c Sol. found (all assignments made)... 3.49 c Sol. found (all assignments made)... 3.50 c Sol. found (all assignments made)... 3.50 c Sol. found (all assignments made)... 3.50 c Sol. found (all assignments made)... 3.51 c Sol. found (all assignments made)... 3.52 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.54 c Sol. found (all assignments made)... 3.54 c Sol. found (all assignments made)... 3.55 c Sol. found (all assignments made)... 3.55 c Sol. found (all assignments made)... 3.56 c Sol. found (all assignments made)... 3.56 c Sol. found (all assignments made)... 3.56 c Sol. found (all assignments made)... 3.57 c Sol. found (all assignments made)... 3.57 c Sol. found (all assignments made)... 3.57 c Sol. found (all assignments made)... 3.57 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.60 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 o 54554624 4.15 c NEW SOLUTION FOUND: 54554624 @ 4.138 4.15 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.66 c Sol. found (all assignments made)... 4.66 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 o 52936704 5.27 c NEW SOLUTION FOUND: 52936704 @ 5.261 5.28 c Sol. found (all assignments made)... 5.28 o 51871744 5.28 c NEW SOLUTION FOUND: 51871744 @ 5.263 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.44 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.54 c Sol. found (all assignments made)... 5.54 c Sol. found (all assignments made)... 5.55 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.02 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.40 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.45 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.55 c Sol. found (all assignments made)... 6.55 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.57 c Sol. found (all assignments made)... 6.57 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.61 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.69 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.88 c Sol. found (all assignments made)... 6.89 c Sol. found (all assignments made)... 6.90 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.05 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.08 c Sol. found (all assignments made)... 7.09 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.19 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.28 c Sol. found (all assignments made)... 7.29 c Sol. found (all assignments made)... 7.29 c Sol. found (all assignments made)... 7.32 c Restart #16 #Var: 725 LB: 0 @ 7.303 7.91 c Restart #17 #Var: 725 LB: 0 @ 7.893 8.28 c Restart #18 #Var: 725 LB: 0 @ 8.269 8.96 c Restart #19 #Var: 725 LB: 0 @ 8.946 10.20 c CHANGE to MIS mode... UB: 51871744 MIS: 0 LPR: -2147483648 (0) Diff: -0 10.20 c Restart #0 #Var: 725 LB: 0 @ 10.189 10.27 c Restart #1 #Var: 725 LB: 0 @ 10.251 10.28 c Sol. found (all assignments made)... 10.28 o 46133700 10.28 c NEW SOLUTION FOUND: 46133700 @ 10.268 10.29 c Sol. found (all assignments made)... 10.29 o 46133524 10.29 c NEW SOLUTION FOUND: 46133524 @ 10.27 10.29 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.29 o 46133502 10.29 c NEW SOLUTION FOUND: 46133502 @ 10.274 10.29 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.29 o 46133480 10.29 c NEW SOLUTION FOUND: 46133480 @ 10.277 10.29 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.30 o 46133458 10.30 c NEW SOLUTION FOUND: 46133458 @ 10.281 10.30 c Sol. found (all assignments made)... 10.30 o 46133348 10.30 c NEW SOLUTION FOUND: 46133348 @ 10.283 10.30 c Sol. found (all assignments made)... 10.30 o 46133172 10.30 c NEW SOLUTION FOUND: 46133172 @ 10.284 10.30 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.30 o 46133150 10.30 c NEW SOLUTION FOUND: 46133150 @ 10.287 10.30 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.31 o 46133128 10.31 c NEW SOLUTION FOUND: 46133128 @ 10.291 10.31 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.31 o 46133106 10.31 c NEW SOLUTION FOUND: 46133106 @ 10.294 10.31 c Sol. found (all assignments made)... 10.31 o 46133018 10.31 c NEW SOLUTION FOUND: 46133018 @ 10.296 10.31 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.34 o 46132314 10.34 c NEW SOLUTION FOUND: 46132314 @ 10.32 10.34 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 o 46109786 10.38 c NEW SOLUTION FOUND: 46109786 @ 10.367 10.38 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.47 c Sol. found (all assignments made)... 10.47 c Sol. found (all assignments made)... 10.47 c Sol. found (all assignments made)... 10.47 c Sol. found (all assignments made)... 10.47 c Sol. found (all assignments made)... 10.47 c Sol. found (all assignments made)... 10.48 c Sol. found (all assignments made)... 10.48 c Sol. found (all assignments made)... 10.48 c Sol. found (all assignments made)... 10.48 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 o 46108378 10.49 c NEW SOLUTION FOUND: 46108378 @ 10.475 10.52 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.68 c Sol. found (all assignments made)... 10.68 c Sol. found (all assignments made)... 10.68 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.73 c Restart #2 #Var: 725 LB: 0 @ 10.713 11.11 c Restart #3 #Var: 725 LB: 1681 @ 11.092 11.41 c Sol. found (all assignments made)... 11.47 c Restart #4 #Var: 725 LB: 1681 @ 11.449 12.50 c Restart #5 #Var: 725 LB: 0 @ 12.481 13.16 c Restart #6 #Var: 725 LB: 1681 @ 13.145 13.94 c Restart #7 #Var: 725 LB: 1681 @ 13.927 14.37 c Restart #8 #Var: 725 LB: 0 @ 14.35 14.72 c Restart #9 #Var: 725 LB: 133 @ 14.703 15.58 c Restart #10 #Var: 725 LB: 1681 @ 15.565 16.95 c Restart #11 #Var: 725 LB: 0 @ 16.934 17.31 c Restart #12 #Var: 725 LB: 1681 @ 17.289 17.74 c Restart #13 #Var: 725 LB: 1681 @ 17.719 18.54 c Restart #14 #Var: 725 LB: 1681 @ 18.519 19.02 c Restart #15 #Var: 725 LB: 1681 @ 19.006 20.55 c Restart #16 #Var: 725 LB: 1681 @ 20.528 22.38 c Restart #17 #Var: 725 LB: 1681 @ 22.363 23.27 c Restart #18 #Var: 725 LB: 1681 @ 23.254 24.50 c Restart #19 #Var: 725 LB: 0 @ 24.482 25.82 c Restart #20 #Var: 725 LB: 0 @ 25.8 27.49 c Restart #21 #Var: 725 LB: 0 @ 27.463 29.11 c Restart #22 #Var: 725 LB: 0 @ 29.083 29.71 c Restart #23 #Var: 725 LB: 290 @ 29.689 30.68 c Restart #24 #Var: 725 LB: 685 @ 30.66 31.66 c Restart #25 #Var: 725 LB: 0 @ 31.633 33.07 c Restart #26 #Var: 725 LB: 0 @ 33.05 33.95 c Restart #27 #Var: 725 LB: 0 @ 33.929 35.04 c Restart #28 #Var: 725 LB: 0 @ 35.011 38.04 c Restart #29 #Var: 725 LB: 1681 @ 38.018 42.82 c Restart #30 #Var: 725 LB: 0 @ 42.795 47.09 c Restart #31 #Var: 725 LB: 0 @ 47.066 50.45 c Restart #32 #Var: 725 LB: 1681 @ 50.421 58.79 c Restart #33 #Var: 725 LB: 0 @ 58.755 60.41 c Restart #34 #Var: 725 LB: 1681 @ 60.374 63.23 c Restart #35 #Var: 725 LB: 0 @ 63.195 64.87 c Restart #36 #Var: 725 LB: 1681 @ 64.831 64.90 c Sol. found (all assignments made)... 64.91 c Sol. found (all assignments made)... 68.19 c Restart #37 #Var: 725 LB: 0 @ 68.15 69.55 c Restart #38 #Var: 725 LB: 0 @ 69.512 76.79 c Restart #39 #Var: 725 LB: 0 @ 76.753 81.60 c Restart #40 #Var: 725 LB: 1681 @ 81.56 85.16 c Restart #41 #Var: 725 LB: 1681 @ 85.123 91.48 c Restart #42 #Var: 725 LB: 1681 @ 91.437 94.92 c Restart #43 #Var: 725 LB: 1681 @ 94.879 99.80 c Restart #44 #Var: 725 LB: 1681 @ 99.753 101.13 c Restart #45 #Var: 725 LB: 0 @ 101.08 103.02 c Restart #46 #Var: 725 LB: 0 @ 102.97 105.64 c Restart #47 #Var: 725 LB: 1681 @ 105.59 110.79 c Restart #48 #Var: 725 LB: 1681 @ 110.74 119.06 c Restart #49 #Var: 725 LB: 0 @ 119 121.48 c Restart #50 #Var: 725 LB: 0 @ 121.42 125.27 c Restart #51 #Var: 725 LB: 0 @ 125.21 127.58 c Restart #52 #Var: 725 LB: 0 @ 127.53 130.90 c Restart #53 #Var: 725 LB: 0 @ 130.85 135.04 c Restart #54 #Var: 725 LB: 0 @ 134.98 140.33 c Restart #55 #Var: 725 LB: 1681 @ 140.27 145.76 c Restart #56 #Var: 725 LB: 1681 @ 145.7 147.90 c Restart #57 #Var: 725 LB: 0 @ 147.84 151.21 c Restart #58 #Var: 725 LB: 0 @ 151.15 154.84 c Restart #59 #Var: 725 LB: 1681 @ 154.78 160.94 c Restart #60 #Var: 725 LB: 0 @ 160.87 166.01 c Restart #61 #Var: 725 LB: 0 @ 165.94 171.07 c Restart #62 #Var: 725 LB: 0 @ 171 178.49 c Restart #63 #Var: 725 LB: 0 @ 178.42 181.27 c Restart #64 #Var: 725 LB: 0 @ 181.19 185.03 c Restart #65 #Var: 725 LB: 0 @ 184.96 191.00 c Restart #66 #Var: 725 LB: 0 @ 190.93 197.49 c Restart #67 #Var: 725 LB: 0 @ 197.41 200.01 c Restart #68 #Var: 725 LB: 0 @ 199.92 209.12 c Restart #69 #Var: 725 LB: 1681 @ 209.03 215.12 c Restart #70 #Var: 725 LB: 1681 @ 215.03 218.03 c Restart #71 #Var: 725 LB: 1681 @ 217.94 225.83 c Restart #72 #Var: 725 LB: 0 @ 225.74 229.65 c Restart #73 #Var: 725 LB: 1681 @ 229.56 236.28 c Restart #74 #Var: 725 LB: 0 @ 236.18 244.09 c Restart #75 #Var: 725 LB: 0 @ 244 252.00 c Restart #76 #Var: 725 LB: 0 @ 251.9 258.69 c Restart #77 #Var: 725 LB: 1681 @ 258.59 261.56 c Restart #78 #Var: 725 LB: 0 @ 261.46 266.04 c Restart #79 #Var: 725 LB: 1681 @ 265.93 272.99 c Restart #80 #Var: 725 LB: 1681 @ 272.89 282.33 c Restart #81 #Var: 725 LB: 1681 @ 282.22 284.45 c Restart #82 #Var: 725 LB: 0 @ 284.34 287.68 c Restart #83 #Var: 725 LB: 1681 @ 287.57 291.22 c Restart #84 #Var: 725 LB: 0 @ 291.11 294.38 c Restart #85 #Var: 725 LB: 0 @ 294.27 298.14 c Restart #86 #Var: 725 LB: 0 @ 298.03 303.84 c Restart #87 #Var: 725 LB: 0 @ 303.73 310.71 c Restart #88 #Var: 725 LB: 0 @ 310.59 317.72 c Restart #89 #Var: 725 LB: 1681 @ 317.6 325.45 c Restart #90 #Var: 725 LB: 0 @ 325.33 334.80 c Restart #91 #Var: 725 LB: 0 @ 334.67 344.88 c Restart #92 #Var: 725 LB: 0 @ 344.75 347.73 c Restart #93 #Var: 725 LB: 0 @ 347.6 357.79 c Restart #94 #Var: 725 LB: 0 @ 357.66 362.11 c Restart #95 #Var: 725 LB: 0 @ 361.98 370.69 c Restart #96 #Var: 725 LB: 0 @ 370.55 376.58 c Restart #97 #Var: 725 LB: 1681 @ 376.44 381.70 c Restart #98 #Var: 725 LB: 1681 @ 381.55 386.27 c Restart #99 #Var: 725 LB: 0 @ 386.13 399.03 c Restart #100 #Var: 725 LB: 0 @ 398.88 408.71 c Restart #101 #Var: 725 LB: 1681 @ 408.56 419.58 c Restart #102 #Var: 725 LB: 0 @ 419.43 424.25 c Restart #103 #Var: 725 LB: 0 @ 424.09 434.23 c Restart #104 #Var: 725 LB: 0 @ 434.06 440.52 c Restart #105 #Var: 725 LB: 0 @ 440.36 446.03 c Restart #106 #Var: 725 LB: 0 @ 445.87 451.39 c Restart #107 #Var: 725 LB: 0 @ 451.22 463.44 c Restart #108 #Var: 725 LB: 0 @ 463.27 469.93 c Restart #109 #Var: 725 LB: 0 @ 469.76 473.69 c Restart #110 #Var: 725 LB: 1681 @ 473.52 490.75 c Restart #111 #Var: 725 LB: 0 @ 490.57 504.68 c Restart #112 #Var: 725 LB: 0 @ 504.5 511.97 c Restart #113 #Var: 725 LB: 0 @ 511.78 518.36 c Restart #114 #Var: 725 LB: 0 @ 518.17 530.63 c Restart #115 #Var: 725 LB: 1681 @ 530.44 537.37 c Restart #116 #Var: 725 LB: 0 @ 537.17 550.55 c Restart #117 #Var: 725 LB: 1681 @ 550.35 576.00 c Restart #118 #Var: 725 LB: 1681 @ 575.79 581.14 c Restart #119 #Var: 725 LB: 0 @ 580.93 590.43 c Restart #120 #Var: 725 LB: 0 @ 590.21 612.96 c Restart #121 #Var: 725 LB: 0 @ 612.73 622.15 c Restart #122 #Var: 725 LB: 1681 @ 621.92 634.08 c Restart #123 #Var: 725 LB: 0 @ 633.85 637.50 c Restart #124 #Var: 725 LB: 0 @ 637.26 656.11 c Restart #125 #Var: 725 LB: 0 @ 655.87 670.98 c Restart #126 #Var: 725 LB: 1681 @ 670.74 680.31 c Restart #127 #Var: 725 LB: 1681 @ 680.06 695.41 c Restart #128 #Var: 725 LB: 1681 @ 695.16 713.31 c Restart #129 #Var: 725 LB: 0 @ 713.05 723.04 c Restart #130 #Var: 725 LB: 0 @ 722.78 733.77 c Restart #131 #Var: 725 LB: 0 @ 733.5 746.90 c Restart #132 #Var: 725 LB: 1681 @ 746.63 766.37 c Restart #133 #Var: 725 LB: 0 @ 766.09 781.01 c Restart #134 #Var: 725 LB: 0 @ 780.73 793.24 c Restart #135 #Var: 725 LB: 1681 @ 792.96 811.39 c Restart #136 #Var: 725 LB: 0 @ 811.1 821.95 c Restart #137 #Var: 725 LB: 0 @ 821.65 833.38 c Restart #138 #Var: 725 LB: 0 @ 833.08 850.67 c Restart #139 #Var: 725 LB: 1681 @ 850.36 871.40 c Restart #140 #Var: 725 LB: 0 @ 871.09 884.10 c Restart #141 #Var: 725 LB: 1681 @ 883.78 899.06 c Restart #142 #Var: 725 LB: 1681 @ 898.74 916.21 c Restart #143 #Var: 725 LB: 0 @ 915.88 929.01 c Restart #144 #Var: 725 LB: 0 @ 928.68 950.56 c Restart #145 #Var: 725 LB: 0 @ 950.22 979.81 c Restart #146 #Var: 725 LB: 0 @ 979.46 993.47 c Restart #147 #Var: 725 LB: 0 @ 993.12 1012.48 c Restart #148 #Var: 725 LB: 0 @ 1012.1 1032.51 c Restart #149 #Var: 725 LB: 0 @ 1032.1 1039.28 c Restart #150 #Var: 725 LB: 0 @ 1038.9 1056.50 c Restart #151 #Var: 725 LB: 1681 @ 1056.1 1060.15 c Restart #152 #Var: 725 LB: 0 @ 1059.8 1076.21 c Restart #153 #Var: 725 LB: 0 @ 1075.8 1085.21 c Restart #154 #Var: 725 LB: 0 @ 1084.8 1095.96 c Restart #155 #Var: 725 LB: 0 @ 1095.6 1113.37 c Restart #156 #Var: 725 LB: 0 @ 1113 1119.35 c Restart #157 #Var: 725 LB: 0 @ 1119 1132.05 c Restart #158 #Var: 725 LB: 0 @ 1131.7 1146.29 c Restart #159 #Var: 725 LB: 0 @ 1145.9 1152.57 c Restart #160 #Var: 725 LB: 1681 @ 1152.2 1170.40 c Restart #161 #Var: 725 LB: 0 @ 1170 1179.33 c Restart #162 #Var: 725 LB: 0 @ 1178.9 1201.27 c Restart #163 #Var: 725 LB: 0 @ 1200.8 1213.00 c Restart #164 #Var: 725 LB: 0 @ 1212.6 1221.89 c Restart #165 #Var: 725 LB: 0 @ 1221.5 1226.73 c Restart #166 #Var: 725 LB: 0 @ 1226.3 1249.80 c Restart #167 #Var: 725 LB: 0 @ 1249.4 1291.32 c Restart #168 #Var: 725 LB: 0 @ 1290.8 1310.40 c Restart #169 #Var: 725 LB: 1681 @ 1309.9 1330.14 c Restart #170 #Var: 725 LB: 1681 @ 1329.6 1364.61 c Restart #171 #Var: 725 LB: 1681 @ 1364.1 1381.83 c Restart #172 #Var: 725 LB: 0 @ 1381.3 1388.07 c Restart #173 #Var: 725 LB: 0 @ 1387.6 1414.83 c Restart #174 #Var: 725 LB: 1681 @ 1414.3 1427.94 c Restart #175 #Var: 725 LB: 0 @ 1427.4 1442.92 c Restart #176 #Var: 725 LB: 1681 @ 1442.4 1472.61 c Restart #177 #Var: 725 LB: 0 @ 1472.1 1487.35 c Restart #178 #Var: 725 LB: 0 @ 1486.8 1512.24 c Restart #179 #Var: 725 LB: 0 @ 1511.7 1547.49 c Restart #180 #Var: 725 LB: 0 @ 1546.9 1552.45 c Restart #181 #Var: 725 LB: 0 @ 1551.9 1571.54 c Restart #182 #Var: 725 LB: 0 @ 1571 1579.56 c Restart #183 #Var: 725 LB: 0 @ 1579 1588.83 c Restart #184 #Var: 725 LB: 1681 @ 1588.2 1599.16 c Restart #185 #Var: 725 LB: 0 @ 1598.6 1615.91 c Restart #186 #Var: 725 LB: 1681 @ 1615.3 1639.82 c Restart #187 #Var: 725 LB: 1681 @ 1639.2 1660.39 c Restart #188 #Var: 725 LB: 0 @ 1659.8 1671.42 c Restart #189 #Var: 725 LB: 0 @ 1670.8 1684.79 c Restart #190 #Var: 725 LB: 1681 @ 1684.2 1699.16 c Restart #191 #Var: 725 LB: 0 @ 1698.5 1722.70 c Restart #192 #Var: 725 LB: 1681 @ 1722.1 1745.95 c Restart #193 #Var: 725 LB: 0 @ 1745.3 1756.14 c Restart #194 #Var: 725 LB: 1681 @ 1755.5 1773.49 c Restart #195 #Var: 725 LB: 0 @ 1772.8 1787.10 c Restart #196 #Var: 725 LB: 0 @ 1786.5 1800.66 s SATISFIABLE 1800.66 c Cost: 46108378 1800.66 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.66 v -x29 -x30 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 1800.66 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 1800.66 v -x672 -x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x991 -x992 1800.66 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.66 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.66 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.66 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1800.66 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 1800.66 v -x1359 -x1360 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1800.66 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1411 x1412 x1413 1800.66 v x1414 x1415 x1416 x1417 x1418 x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.66 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1800.66 v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 1800.66 v -x1476 -x1477 -x1478 -x1479 -x1480 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 1800.66 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 1800.66 v -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1800.66 v -x101 -x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 1800.66 v x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1800.66 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 -x165 1800.66 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 1800.66 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 1800.66 v -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 1800.66 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 1800.66 v -x250 -x251 x252 -x253 x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1800.66 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 1800.66 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1800.66 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x361 -x362 -x363 1800.66 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.66 v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 1800.66 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 1800.66 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1800.66 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.66 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.66 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1800.66 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.66 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 -x551 x552 x553 -x554 1800.66 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 1800.66 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.66 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.66 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 1800.66 v -x639 -x640 x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 1800.66 v -x660 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 1800.66 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 1800.66 v x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 1800.66 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 1800.66 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 x789 x790 -x791 -x792 -x793 x794 1800.66 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 1800.66 v -x816 -x817 x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 1800.66 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 1800.66 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 1800.66 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 1800.66 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 1800.66 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 1800.66 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 1800.66 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 1800.66 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.66 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.66 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1800.66 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.66 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.66 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1800.66 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1800.66 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.66 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1800.66 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 x1181 x1182 -x1183 -x1184 -x1185 1800.66 v -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 1800.66 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 1800.66 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.66 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 1800.66 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 1800.66 v x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.66 v -x1288 -x1289 -x1290 -x1321 x1322 x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1361 x1362 x1363 x1364 -x1365 1800.66 v x1366 x1367 x1368 -x1369 -x1370 x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 x1409 -x1410 x1441 -x1442 x1443 x1444 1800.66 v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 x1488 1800.66 c Exit Code: 10 1800.66 c Total time: 1800 s
OK 46108378
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/node70/watcher-40717-1149313201 -o ROOT/results/node70/solver-40717-1149313201 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/40717-1149313201/instance-40717-1149313201.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 11079 /proc/meminfo: memFree=1742544/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=3224 CPUtime=0 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 50 0 0 0 0 0 0 0 18 0 1 0 196989686 3301376 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8415885 0 0 4096 0 0 0 0 17 1 0 0 /proc/11079/statm: 806 38 28 55 0 40 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.90 2/64 11079 /proc/meminfo: memFree=1736360/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=10760 CPUtime=9.98 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 1938 0 0 0 993 5 0 0 25 0 1 0 196989686 11018240 1853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2690 1853 298 55 0 1582 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 10760 [startup+20.0079 s] /proc/loadavg: 0.94 0.96 0.91 2/64 11079 /proc/meminfo: memFree=1735912/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=10892 CPUtime=19.98 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2122 0 0 0 1991 7 0 0 25 0 1 0 196989686 11153408 1910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2723 1910 298 55 0 1615 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10892 [startup+30.0137 s] /proc/loadavg: 0.95 0.96 0.91 2/64 11079 /proc/meminfo: memFree=1735912/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11220 CPUtime=29.99 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 2989 10 0 0 25 0 1 0 196989686 11489280 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2805 1969 298 55 0 1697 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 11220 [startup+40.0196 s] /proc/loadavg: 0.95 0.96 0.91 2/64 11079 /proc/meminfo: memFree=1735912/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=39.99 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 3988 11 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 11204 [startup+50.0264 s] /proc/loadavg: 0.96 0.96 0.91 2/64 11079 /proc/meminfo: memFree=1735976/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=49.99 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 4988 11 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 11204 [startup+60.0332 s] /proc/loadavg: 0.97 0.96 0.91 2/64 11079 /proc/meminfo: memFree=1735976/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=60 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 5988 12 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 11204 [startup+70.04 s] /proc/loadavg: 0.97 0.96 0.91 2/64 11079 /proc/meminfo: memFree=1735976/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=70 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 6987 13 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 11204 [startup+80.0468 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11079 /proc/meminfo: memFree=1736040/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=79.99 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 7986 13 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 11204 [startup+90.0526 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11079 /proc/meminfo: memFree=1736040/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=90 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 8986 14 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 11204 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11079 /proc/meminfo: memFree=1736040/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=100 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 9985 15 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 11204 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11079 /proc/meminfo: memFree=1736040/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=110.01 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 10985 16 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 11204 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11079 /proc/meminfo: memFree=1736040/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=120.01 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 11984 17 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557776 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 11204 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11079 /proc/meminfo: memFree=1736040/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=130.01 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 12983 18 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 11204 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11079 /proc/meminfo: memFree=1735976/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=140.02 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 13982 20 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 11204 [startup+150.091 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11079 /proc/meminfo: memFree=1735976/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=150.02 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2181 0 0 0 14982 20 0 0 25 0 1 0 196989686 11472896 1969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1969 298 55 0 1693 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 11204 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11079 /proc/meminfo: memFree=1735976/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11204 CPUtime=160.02 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2189 0 0 0 15980 22 0 0 25 0 1 0 196989686 11472896 1977 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2801 1977 298 55 0 1693 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 11204 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11079 /proc/meminfo: memFree=1735848/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11284 CPUtime=170.03 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2212 0 0 0 16980 23 0 0 25 0 1 0 196989686 11554816 2000 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2821 2000 298 55 0 1713 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 11284 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11079 /proc/meminfo: memFree=1735848/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11208 CPUtime=180.02 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2216 0 0 0 17979 23 0 0 25 0 1 0 196989686 11476992 1989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2802 1989 298 55 0 1694 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 11208 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11079 /proc/meminfo: memFree=1735848/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11208 CPUtime=190.02 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2216 0 0 0 18977 25 0 0 25 0 1 0 196989686 11476992 1989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8855202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2802 1989 298 55 0 1694 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 11208 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11079 /proc/meminfo: memFree=1735848/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11208 CPUtime=200.03 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2216 0 0 0 19977 26 0 0 25 0 1 0 196989686 11476992 1989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2802 1989 298 55 0 1694 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 11208 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11079 /proc/meminfo: memFree=1735848/2055920 swapFree=4182232/4192956 ################ # More data... # ################ /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1760.4 Current children cumulated vsize (Kb) 11740 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1770.4 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 176884 156 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 11740 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1780.41 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 177883 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1780.41 Current children cumulated vsize (Kb) 11740 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1781.41 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 177983 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 11740 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1782.42 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 178084 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 11740 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1783.42 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 178184 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 11740 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1784.42 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 178284 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 11740 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1785.43 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 178385 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 11740 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1786.43 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 178485 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 11740 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1787.43 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 178585 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 11740 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1788.44 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 178686 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 11740 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1789.44 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 178786 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 11740 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1790.45 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 178887 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 11740 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1791.45 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 178987 158 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 11740 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1792.46 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 179087 159 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 11740 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1793.47 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 179188 159 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 11740 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1794.47 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 179288 159 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 11740 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1795.48 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 179389 159 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 11740 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1796.48 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 179489 159 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 11740 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1797.48 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 179589 159 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134615882 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 11740 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735016/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1798.49 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 179690 159 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 11740 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1735016/2055920 swapFree=4182232/4192956 [pid=11079] ppid=11077 vsize=11740 CPUtime=1799.49 /proc/11079/stat : 11079 (bsolo) R 11077 11079 11033 0 -1 0 2540 0 0 0 179790 159 0 0 25 0 1 0 196989686 12021760 2122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557793 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11079/statm: 2935 2122 298 55 0 1827 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 11740 Child status: 10 Real time (s): 1800.67 CPU time (s): 1800.01 CPU user time (s): 1798.41 CPU system time (s): 1.59476 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (Kb): 12000
Begin job on node70 on Sat Jun 3 05:40:01 UTC 2006 FILE ID= 40717-1149313201 PBS_JOBID= 308180 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/40717-1149313201/instance-40717-1149313201.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-40717-1149313201 -o ROOT/results/node70/solver-40717-1149313201 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/40717-1149313201/instance-40717-1149313201.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 4cb1be2dcc654132071469b521292770 RANDOM SEED= 755051660 /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.265 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.265 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: 1742752 kB Buffers: 28860 kB Cached: 212420 kB SwapCached: 2364 kB Active: 82672 kB Inactive: 167228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1742752 kB SwapTotal: 4192956 kB SwapFree: 4182232 kB Dirty: 188 kB Writeback: 0 kB Mapped: 15416 kB Slab: 49292 kB Committed_AS: 239044 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node70 on Sat Jun 3 06:10:03 UTC 2006