Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -38 | 1800.01 | 1800.56 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
MD5SUM | e1b2be59a127acc8d929395698929541 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -45 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -45 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58549 |
Number of constraints which are clauses | 58549 |
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 | 945 |
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 | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.95 c Initial problem consists of 945 variables and 58549 constraints. 7.96 c No problem reductions applied in OPT. instance. 7.96 c preprocess terminated. Elapsed time: 7.953 7.96 c After prepocess the problem consists of 945 variables and 58549 constraints. 7.96 c Initial Lower Bound: -945 8.01 c Sol. found (all assignments made)... 8.01 o -1 8.01 c NEW SOLUTION FOUND: -1 @ 8 8.01 c Sol. found (all assignments made)... 8.01 c Sol. found (all assignments made)... 8.01 o -2 8.01 c NEW SOLUTION FOUND: -2 @ 8.001 8.01 c Sol. found (all assignments made)... 8.01 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 o -3 8.02 c NEW SOLUTION FOUND: -3 @ 8.006 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 o -4 8.06 c NEW SOLUTION FOUND: -4 @ 8.042 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.18 c Restart #1 #Var: 945 LB: -945 @ 8.164 8.22 c Sol. found (all assignments made)... 8.22 o -29 8.22 c NEW SOLUTION FOUND: -29 @ 8.21 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 o -30 8.23 c NEW SOLUTION FOUND: -30 @ 8.217 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.25 c Sol. found (all assignments made)... 8.25 c Sol. found (all assignments made)... 8.26 c Sol. found (all assignments made)... 8.26 c Sol. found (all assignments made)... 8.26 c Sol. found (all assignments made)... 8.27 c Sol. found (all assignments made)... 8.27 c Sol. found (all assignments made)... 8.27 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 o -31 8.31 c NEW SOLUTION FOUND: -31 @ 8.298 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 o -32 8.36 c NEW SOLUTION FOUND: -32 @ 8.343 8.36 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.55 c Restart #2 #Var: 945 LB: -945 @ 8.531 8.60 c Sol. found (all assignments made)... 8.60 o -33 8.60 c NEW SOLUTION FOUND: -33 @ 8.583 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.78 c Sol. found (all assignments made)... 8.79 c Sol. found (all assignments made)... 8.79 c Sol. found (all assignments made)... 8.80 c Sol. found (all assignments made)... 8.81 c Sol. found (all assignments made)... 8.86 c Restart #3 #Var: 945 LB: -945 @ 8.843 8.92 c Sol. found (all assignments made)... 8.93 c Sol. found (all assignments made)... 8.93 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.96 c Sol. found (all assignments made)... 8.96 c Sol. found (all assignments made)... 8.97 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.05 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.11 c Sol. found (all assignments made)... 9.11 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.16 c Sol. found (all assignments made)... 9.16 c Sol. found (all assignments made)... 9.16 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.24 c Restart #4 #Var: 945 LB: -945 @ 9.225 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.70 c Restart #5 #Var: 945 LB: -945 @ 9.681 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.95 c Sol. found (all assignments made)... 9.95 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.24 c Restart #6 #Var: 945 LB: -945 @ 10.211 10.29 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 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.33 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.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.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.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.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.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.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.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.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.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.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.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.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.51 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.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.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.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.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.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.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.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.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.63 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 54.84 c CHANGE to MIS mode... UB: -33 MIS: -476 LPR: -444 (4.3916) Diff: 1.0721 54.84 c Restart #0 #Var: 945 LB: -945 @ 54.797 55.17 c Restart #1 #Var: 945 LB: -477 @ 55.131 55.31 c Sol. found (all assignments made)... 55.31 o -34 55.31 c NEW SOLUTION FOUND: -34 @ 55.273 55.31 c Sol. found (all assignments made)... 55.55 c Restart #2 #Var: 945 LB: -477 @ 55.51 55.72 c Sol. found (all assignments made)... 55.72 c Sol. found (all assignments made)... 55.72 c Sol. found (all assignments made)... 55.72 c Sol. found (all assignments made)... 55.72 c Sol. found (all assignments made)... 55.72 c Sol. found (all assignments made)... 55.72 c Sol. found (all assignments made)... 55.73 c Sol. found (all assignments made)... 55.73 c Sol. found (all assignments made)... 55.73 c Sol. found (all assignments made)... 55.73 c Sol. found (all assignments made)... 55.73 c Sol. found (all assignments made)... 55.73 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.74 c Sol. found (all assignments made)... 55.75 c Sol. found (all assignments made)... 55.75 c Sol. found (all assignments made)... 55.75 c Sol. found (all assignments made)... 55.75 c Sol. found (all assignments made)... 55.75 c Sol. found (all assignments made)... 55.75 c Sol. found (all assignments made)... 55.75 c Sol. found (all assignments made)... 55.75 c Sol. found (all assignments made)... 55.76 c Sol. found (all assignments made)... 55.76 c Sol. found (all assignments made)... 55.76 c Sol. found (all assignments made)... 55.76 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.79 c Sol. found (all assignments made)... 55.79 c Sol. found (all assignments made)... 55.79 c Sol. found (all assignments made)... 55.79 c Sol. found (all assignments made)... 55.80 c Sol. found (all assignments made)... 55.80 c Sol. found (all assignments made)... 55.80 c Sol. found (all assignments made)... 55.80 c Sol. found (all assignments made)... 55.80 c Sol. found (all assignments made)... 55.80 c Sol. found (all assignments made)... 55.80 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.81 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.83 c Sol. found (all assignments made)... 55.83 c Sol. found (all assignments made)... 55.83 c Sol. found (all assignments made)... 55.83 c Sol. found (all assignments made)... 55.83 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.86 c Sol. found (all assignments made)... 55.86 c Sol. found (all assignments made)... 55.86 c Sol. found (all assignments made)... 55.86 c Sol. found (all assignments made)... 55.86 c Sol. found (all assignments made)... 55.86 c Sol. found (all assignments made)... 55.86 c Sol. found (all assignments made)... 55.87 c Sol. found (all assignments made)... 55.87 c Sol. found (all assignments made)... 55.87 c Sol. found (all assignments made)... 55.88 c Sol. found (all assignments made)... 55.88 c Sol. found (all assignments made)... 55.88 c Sol. found (all assignments made)... 55.88 c Sol. found (all assignments made)... 55.88 c Sol. found (all assignments made)... 55.88 c Sol. found (all assignments made)... 55.88 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.90 c Sol. found (all assignments made)... 55.90 c Sol. found (all assignments made)... 55.90 c Sol. found (all assignments made)... 55.90 c Sol. found (all assignments made)... 55.90 c Sol. found (all assignments made)... 55.90 c Sol. found (all assignments made)... 55.90 c Sol. found (all assignments made)... 55.90 c Sol. found (all assignments made)... 55.90 c Sol. found (all assignments made)... 55.91 c Sol. found (all assignments made)... 55.91 c Sol. found (all assignments made)... 55.91 c Sol. found (all assignments made)... 55.91 c Sol. found (all assignments made)... 55.92 c Sol. found (all assignments made)... 55.92 c Sol. found (all assignments made)... 55.92 c Sol. found (all assignments made)... 55.92 c Sol. found (all assignments made)... 55.92 c Sol. found (all assignments made)... 55.92 c Sol. found (all assignments made)... 55.92 c Sol. found (all assignments made)... 55.93 c Sol. found (all assignments made)... 55.93 c Sol. found (all assignments made)... 55.93 c Sol. found (all assignments made)... 55.93 c Sol. found (all assignments made)... 55.93 c Sol. found (all assignments made)... 55.93 c Sol. found (all assignments made)... 55.93 c Sol. found (all assignments made)... 56.02 c Restart #3 #Var: 945 LB: -476 @ 55.979 56.59 c Restart #4 #Var: 945 LB: -479 @ 56.55 57.16 c Restart #5 #Var: 945 LB: -945 @ 57.123 57.31 c Sol. found (all assignments made)... 57.32 c Sol. found (all assignments made)... 57.37 c Sol. found (all assignments made)... 57.38 c Sol. found (all assignments made)... 57.39 c Sol. found (all assignments made)... 57.40 c Sol. found (all assignments made)... 57.41 c Sol. found (all assignments made)... 57.41 c Sol. found (all assignments made)... 57.41 c Sol. found (all assignments made)... 57.45 c Sol. found (all assignments made)... 57.49 c Sol. found (all assignments made)... 57.50 c Sol. found (all assignments made)... 57.50 c Sol. found (all assignments made)... 57.51 c Sol. found (all assignments made)... 57.51 c Sol. found (all assignments made)... 57.52 c Sol. found (all assignments made)... 57.52 c Sol. found (all assignments made)... 57.52 c Sol. found (all assignments made)... 57.53 c Sol. found (all assignments made)... 57.53 c Sol. found (all assignments made)... 57.54 c Sol. found (all assignments made)... 57.54 c Sol. found (all assignments made)... 57.65 c Sol. found (all assignments made)... 57.65 c Sol. found (all assignments made)... 57.66 c Sol. found (all assignments made)... 57.66 c Sol. found (all assignments made)... 57.69 c Sol. found (all assignments made)... 57.69 c Sol. found (all assignments made)... 57.80 c Restart #6 #Var: 945 LB: -945 @ 57.761 58.58 c Restart #7 #Var: 945 LB: -477 @ 58.539 58.74 c Sol. found (all assignments made)... 58.74 c Sol. found (all assignments made)... 58.75 c Sol. found (all assignments made)... 58.75 c Sol. found (all assignments made)... 58.75 c Sol. found (all assignments made)... 58.75 c Sol. found (all assignments made)... 58.75 c Sol. found (all assignments made)... 58.75 c Sol. found (all assignments made)... 58.76 c Sol. found (all assignments made)... 58.76 c Sol. found (all assignments made)... 58.76 c Sol. found (all assignments made)... 58.77 c Sol. found (all assignments made)... 58.77 c Sol. found (all assignments made)... 58.77 c Sol. found (all assignments made)... 58.77 c Sol. found (all assignments made)... 58.77 c Sol. found (all assignments made)... 58.77 c Sol. found (all assignments made)... 58.78 c Sol. found (all assignments made)... 58.78 c Sol. found (all assignments made)... 58.78 c Sol. found (all assignments made)... 58.78 c Sol. found (all assignments made)... 58.78 c Sol. found (all assignments made)... 58.78 c Sol. found (all assignments made)... 58.79 c Sol. found (all assignments made)... 58.79 c Sol. found (all assignments made)... 58.79 c Sol. found (all assignments made)... 58.79 c Sol. found (all assignments made)... 58.80 c Sol. found (all assignments made)... 58.80 c Sol. found (all assignments made)... 58.80 c Sol. found (all assignments made)... 58.80 c Sol. found (all assignments made)... 58.80 c Sol. found (all assignments made)... 58.80 c Sol. found (all assignments made)... 58.80 c Sol. found (all assignments made)... 58.81 c Sol. found (all assignments made)... 58.81 c Sol. found (all assignments made)... 58.81 c Sol. found (all assignments made)... 58.81 c Sol. found (all assignments made)... 58.81 c Sol. found (all assignments made)... 58.82 c Sol. found (all assignments made)... 58.82 c Sol. found (all assignments made)... 58.82 c Sol. found (all assignments made)... 58.82 c Sol. found (all assignments made)... 58.82 c Sol. found (all assignments made)... 58.82 c Sol. found (all assignments made)... 58.83 c Sol. found (all assignments made)... 58.83 c Sol. found (all assignments made)... 58.83 c Sol. found (all assignments made)... 58.83 c Sol. found (all assignments made)... 58.83 c Sol. found (all assignments made)... 58.83 c Sol. found (all assignments made)... 58.84 c Sol. found (all assignments made)... 58.84 c Sol. found (all assignments made)... 58.84 c Sol. found (all assignments made)... 58.84 c Sol. found (all assignments made)... 58.84 c Sol. found (all assignments made)... 58.84 c Sol. found (all assignments made)... 58.85 c Sol. found (all assignments made)... 58.85 c Sol. found (all assignments made)... 58.85 c Sol. found (all assignments made)... 58.85 c Sol. found (all assignments made)... 58.85 c Sol. found (all assignments made)... 58.85 c Sol. found (all assignments made)... 58.85 c Sol. found (all assignments made)... 58.86 c Sol. found (all assignments made)... 58.86 c Sol. found (all assignments made)... 58.86 c Sol. found (all assignments made)... 58.86 c Sol. found (all assignments made)... 58.86 c Sol. found (all assignments made)... 58.86 c Sol. found (all assignments made)... 58.87 c Sol. found (all assignments made)... 58.87 c Sol. found (all assignments made)... 58.87 c Sol. found (all assignments made)... 58.87 c Sol. found (all assignments made)... 58.87 c Sol. found (all assignments made)... 58.87 c Sol. found (all assignments made)... 58.87 c Sol. found (all assignments made)... 58.87 c Sol. found (all assignments made)... 58.88 c Sol. found (all assignments made)... 58.88 c Sol. found (all assignments made)... 58.88 c Sol. found (all assignments made)... 58.88 c Sol. found (all assignments made)... 58.88 c Sol. found (all assignments made)... 58.89 c Sol. found (all assignments made)... 58.89 c Sol. found (all assignments made)... 58.89 c Sol. found (all assignments made)... 58.89 c Sol. found (all assignments made)... 58.89 c Sol. found (all assignments made)... 58.90 c Sol. found (all assignments made)... 58.90 c Sol. found (all assignments made)... 58.90 c Sol. found (all assignments made)... 58.90 c Sol. found (all assignments made)... 58.90 c Sol. found (all assignments made)... 58.90 c Sol. found (all assignments made)... 58.91 c Sol. found (all assignments made)... 58.91 c Sol. found (all assignments made)... 58.91 c Sol. found (all assignments made)... 58.91 c Sol. found (all assignments made)... 58.91 c Sol. found (all assignments made)... 58.91 c Sol. found (all assignments made)... 58.92 c Sol. found (all assignments made)... 58.92 c Sol. found (all assignments made)... 58.92 c Sol. found (all assignments made)... 58.92 c Sol. found (all assignments made)... 58.92 c Sol. found (all assignments made)... 58.93 c Sol. found (all assignments made)... 58.93 c Sol. found (all assignments made)... 58.93 c Sol. found (all assignments made)... 58.93 c Sol. found (all assignments made)... 58.93 c Sol. found (all assignments made)... 58.94 c Sol. found (all assignments made)... 58.94 c Sol. found (all assignments made)... 58.94 c Sol. found (all assignments made)... 58.95 c Sol. found (all assignments made)... 58.95 c Sol. found (all assignments made)... 58.95 c Sol. found (all assignments made)... 58.95 c Sol. found (all assignments made)... 58.95 c Sol. found (all assignments made)... 58.95 c Sol. found (all assignments made)... 58.96 c Sol. found (all assignments made)... 58.96 c Sol. found (all assignments made)... 58.96 c Sol. found (all assignments made)... 58.96 c Sol. found (all assignments made)... 58.96 c Sol. found (all assignments made)... 58.97 c Sol. found (all assignments made)... 58.97 c Sol. found (all assignments made)... 58.97 c Sol. found (all assignments made)... 58.97 c Sol. found (all assignments made)... 58.97 c Sol. found (all assignments made)... 58.98 c Sol. found (all assignments made)... 58.98 c Sol. found (all assignments made)... 58.98 c Sol. found (all assignments made)... 58.98 c Sol. found (all assignments made)... 58.98 c Sol. found (all assignments made)... 58.99 c Sol. found (all assignments made)... 58.99 c Sol. found (all assignments made)... 58.99 c Sol. found (all assignments made)... 59.00 c Sol. found (all assignments made)... 59.00 c Sol. found (all assignments made)... 59.00 c Sol. found (all assignments made)... 59.00 c Sol. found (all assignments made)... 59.00 c Sol. found (all assignments made)... 59.00 c Sol. found (all assignments made)... 59.01 c Sol. found (all assignments made)... 59.01 c Sol. found (all assignments made)... 59.01 c Sol. found (all assignments made)... 59.01 c Sol. found (all assignments made)... 59.01 c Sol. found (all assignments made)... 59.01 c Sol. found (all assignments made)... 59.01 c Sol. found (all assignments made)... 59.02 c Sol. found (all assignments made)... 59.02 c Sol. found (all assignments made)... 59.02 c Sol. found (all assignments made)... 59.02 c Sol. found (all assignments made)... 59.02 c Sol. found (all assignments made)... 59.02 c Sol. found (all assignments made)... 59.02 c Sol. found (all assignments made)... 59.03 c Sol. found (all assignments made)... 59.03 c Sol. found (all assignments made)... 59.03 c Sol. found (all assignments made)... 59.03 c Sol. found (all assignments made)... 59.03 c Sol. found (all assignments made)... 59.03 c Sol. found (all assignments made)... 59.04 c Sol. found (all assignments made)... 59.04 c Sol. found (all assignments made)... 59.04 c Sol. found (all assignments made)... 59.04 c Sol. found (all assignments made)... 59.04 c Sol. found (all assignments made)... 59.04 c Sol. found (all assignments made)... 59.05 c Sol. found (all assignments made)... 59.05 c Sol. found (all assignments made)... 59.05 c Sol. found (all assignments made)... 59.06 c Sol. found (all assignments made)... 59.06 c Sol. found (all assignments made)... 59.06 c Sol. found (all assignments made)... 59.06 c Sol. found (all assignments made)... 59.07 c Sol. found (all assignments made)... 59.07 c Sol. found (all assignments made)... 59.07 c Sol. found (all assignments made)... 59.12 c Sol. found (all assignments made)... 59.12 c Sol. found (all assignments made)... 59.12 c Sol. found (all assignments made)... 59.12 c Sol. found (all assignments made)... 59.12 c Sol. found (all assignments made)... 59.12 c Sol. found (all assignments made)... 59.13 c Sol. found (all assignments made)... 59.13 c Sol. found (all assignments made)... 59.13 c Sol. found (all assignments made)... 59.13 c Sol. found (all assignments made)... 59.14 c Sol. found (all assignments made)... 59.14 c Sol. found (all assignments made)... 59.14 c Sol. found (all assignments made)... 59.14 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.16 c Sol. found (all assignments made)... 59.16 c Sol. found (all assignments made)... 59.16 c Sol. found (all assignments made)... 59.16 c Sol. found (all assignments made)... 59.16 c Sol. found (all assignments made)... 59.16 c Sol. found (all assignments made)... 59.16 c Sol. found (all assignments made)... 59.17 c Sol. found (all assignments made)... 59.17 c Sol. found (all assignments made)... 59.17 c Sol. found (all assignments made)... 59.19 c Sol. found (all assignments made)... 59.19 c Sol. found (all assignments made)... 59.20 c Sol. found (all assignments made)... 59.20 c Sol. found (all assignments made)... 59.21 c Sol. found (all assignments made)... 59.22 c Sol. found (all assignments made)... 59.23 c Sol. found (all assignments made)... 59.23 c Sol. found (all assignments made)... 59.27 c Sol. found (all assignments made)... 59.32 c Sol. found (all assignments made)... 59.32 c Sol. found (all assignments made)... 59.33 c Sol. found (all assignments made)... 59.33 c Sol. found (all assignments made)... 59.39 c Restart #8 #Var: 945 LB: -945 @ 59.347 60.31 c Restart #9 #Var: 945 LB: -477 @ 60.266 60.48 c Sol. found (all assignments made)... 60.48 c Sol. found (all assignments made)... 60.48 c Sol. found (all assignments made)... 60.48 o -35 60.48 c NEW SOLUTION FOUND: -35 @ 60.441 60.48 c Sol. found (all assignments made)... 60.59 c Sol. found (all assignments made)... 60.59 c Sol. found (all assignments made)... 60.60 c Sol. found (all assignments made)... 60.60 c Sol. found (all assignments made)... 60.60 c Sol. found (all assignments made)... 60.68 c Sol. found (all assignments made)... 60.68 c Sol. found (all assignments made)... 60.72 c Sol. found (all assignments made)... 60.72 c Sol. found (all assignments made)... 60.72 c Sol. found (all assignments made)... 60.79 c Sol. found (all assignments made)... 60.79 c Sol. found (all assignments made)... 60.80 c Sol. found (all assignments made)... 60.81 c Sol. found (all assignments made)... 61.22 c Sol. found (all assignments made)... 61.32 c Restart #10 #Var: 945 LB: -477 @ 61.276 62.38 c Restart #11 #Var: 945 LB: -945 @ 62.339 63.48 c Restart #12 #Var: 945 LB: -945 @ 63.436 63.65 c Sol. found (all assignments made)... 63.65 c Sol. found (all assignments made)... 63.73 c Sol. found (all assignments made)... 63.73 c Sol. found (all assignments made)... 63.78 c Sol. found (all assignments made)... 63.79 c Sol. found (all assignments made)... 63.79 c Sol. found (all assignments made)... 63.79 c Sol. found (all assignments made)... 63.79 c Sol. found (all assignments made)... 63.91 c Sol. found (all assignments made)... 63.91 c Sol. found (all assignments made)... 63.92 c Sol. found (all assignments made)... 64.69 c Restart #13 #Var: 945 LB: -478 @ 64.646 66.01 c Restart #14 #Var: 945 LB: -945 @ 65.968 67.33 c Restart #15 #Var: 945 LB: -945 @ 67.29 68.77 c Restart #16 #Var: 945 LB: -945 @ 68.726 69.94 c Sol. found (all assignments made)... 69.94 c Sol. found (all assignments made)... 69.95 c Sol. found (all assignments made)... 69.95 c Sol. found (all assignments made)... 70.33 c Restart #17 #Var: 945 LB: -478 @ 70.282 71.95 c Restart #18 #Var: 945 LB: -945 @ 71.905 73.60 c Restart #19 #Var: 945 LB: -945 @ 73.555 74.05 c Sol. found (all assignments made)... 74.05 o -36 74.05 c NEW SOLUTION FOUND: -36 @ 74.008 74.05 c Sol. found (all assignments made)... 75.62 c Restart #20 #Var: 945 LB: -945 @ 75.573 77.47 c Restart #21 #Var: 945 LB: -945 @ 77.424 79.35 c Restart #22 #Var: 945 LB: -945 @ 79.307 81.32 c Restart #23 #Var: 945 LB: -945 @ 81.274 83.40 c Restart #24 #Var: 945 LB: -945 @ 83.354 85.49 c Restart #25 #Var: 945 LB: -945 @ 85.438 87.69 c Restart #26 #Var: 945 LB: -945 @ 87.644 89.99 c Restart #27 #Var: 945 LB: -945 @ 89.937 92.32 c Restart #28 #Var: 945 LB: -945 @ 92.274 94.78 c Restart #29 #Var: 945 LB: -945 @ 94.733 97.34 c Restart #30 #Var: 945 LB: -945 @ 97.286 97.66 c Sol. found (all assignments made)... 97.67 c Sol. found (all assignments made)... 97.67 c Sol. found (all assignments made)... 97.68 c Sol. found (all assignments made)... 97.68 c Sol. found (all assignments made)... 97.68 c Sol. found (all assignments made)... 97.69 c Sol. found (all assignments made)... 97.69 c Sol. found (all assignments made)... 97.70 c Sol. found (all assignments made)... 97.70 c Sol. found (all assignments made)... 97.71 c Sol. found (all assignments made)... 97.71 c Sol. found (all assignments made)... 97.72 c Sol. found (all assignments made)... 97.72 c Sol. found (all assignments made)... 97.72 c Sol. found (all assignments made)... 97.72 c Sol. found (all assignments made)... 97.73 c Sol. found (all assignments made)... 97.73 c Sol. found (all assignments made)... 97.73 c Sol. found (all assignments made)... 97.73 c Sol. found (all assignments made)... 97.74 c Sol. found (all assignments made)... 97.74 c Sol. found (all assignments made)... 97.74 c Sol. found (all assignments made)... 97.75 c Sol. found (all assignments made)... 97.76 c Sol. found (all assignments made)... 97.76 c Sol. found (all assignments made)... 97.76 c Sol. found (all assignments made)... 97.77 c Sol. found (all assignments made)... 97.77 c Sol. found (all assignments made)... 97.77 c Sol. found (all assignments made)... 97.78 c Sol. found (all assignments made)... 97.78 c Sol. found (all assignments made)... 97.78 c Sol. found (all assignments made)... 97.79 c Sol. found (all assignments made)... 97.79 c Sol. found (all assignments made)... 97.80 c Sol. found (all assignments made)... 97.80 c Sol. found (all assignments made)... 97.80 c Sol. found (all assignments made)... 97.80 c Sol. found (all assignments made)... 97.81 c Sol. found (all assignments made)... 97.81 c Sol. found (all assignments made)... 97.82 c Sol. found (all assignments made)... 97.82 c Sol. found (all assignments made)... 97.82 c Sol. found (all assignments made)... 97.82 c Sol. found (all assignments made)... 97.83 c Sol. found (all assignments made)... 97.83 c Sol. found (all assignments made)... 97.83 c Sol. found (all assignments made)... 97.84 c Sol. found (all assignments made)... 97.84 c Sol. found (all assignments made)... 97.84 c Sol. found (all assignments made)... 97.85 c Sol. found (all assignments made)... 97.85 c Sol. found (all assignments made)... 97.85 c Sol. found (all assignments made)... 97.85 c Sol. found (all assignments made)... 97.86 c Sol. found (all assignments made)... 97.86 c Sol. found (all assignments made)... 97.86 c Sol. found (all assignments made)... 97.87 c Sol. found (all assignments made)... 97.87 c Sol. found (all assignments made)... 97.87 c Sol. found (all assignments made)... 97.89 c Sol. found (all assignments made)... 97.89 c Sol. found (all assignments made)... 97.89 c Sol. found (all assignments made)... 97.89 c Sol. found (all assignments made)... 97.90 c Sol. found (all assignments made)... 97.90 c Sol. found (all assignments made)... 97.91 c Sol. found (all assignments made)... 97.91 c Sol. found (all assignments made)... 97.91 c Sol. found (all assignments made)... 97.91 c Sol. found (all assignments made)... 97.92 c Sol. found (all assignments made)... 97.92 c Sol. found (all assignments made)... 97.93 c Sol. found (all assignments made)... 97.93 c Sol. found (all assignments made)... 97.94 c Sol. found (all assignments made)... 97.94 c Sol. found (all assignments made)... 97.94 c Sol. found (all assignments made)... 97.95 c Sol. found (all assignments made)... 97.96 c Sol. found (all assignments made)... 97.96 c Sol. found (all assignments made)... 97.96 c Sol. found (all assignments made)... 97.96 c Sol. found (all assignments made)... 97.97 c Sol. found (all assignments made)... 97.97 c Sol. found (all assignments made)... 97.97 c Sol. found (all assignments made)... 97.98 c Sol. found (all assignments made)... 97.98 c Sol. found (all assignments made)... 97.98 c Sol. found (all assignments made)... 97.99 c Sol. found (all assignments made)... 97.99 c Sol. found (all assignments made)... 98.00 c Sol. found (all assignments made)... 98.00 c Sol. found (all assignments made)... 98.00 c Sol. found (all assignments made)... 98.00 c Sol. found (all assignments made)... 98.01 c Sol. found (all assignments made)... 98.01 c Sol. found (all assignments made)... 98.01 c Sol. found (all assignments made)... 98.01 c Sol. found (all assignments made)... 98.02 c Sol. found (all assignments made)... 98.02 c Sol. found (all assignments made)... 98.02 c Sol. found (all assignments made)... 98.02 c Sol. found (all assignments made)... 98.02 c Sol. found (all assignments made)... 98.03 c Sol. found (all assignments made)... 98.03 c Sol. found (all assignments made)... 98.03 c Sol. found (all assignments made)... 98.04 c Sol. found (all assignments made)... 98.04 c Sol. found (all assignments made)... 98.04 c Sol. found (all assignments made)... 98.04 c Sol. found (all assignments made)... 98.05 c Sol. found (all assignments made)... 98.05 c Sol. found (all assignments made)... 98.05 c Sol. found (all assignments made)... 98.05 c Sol. found (all assignments made)... 98.10 c Sol. found (all assignments made)... 98.10 c Sol. found (all assignments made)... 98.11 c Sol. found (all assignments made)... 98.11 c Sol. found (all assignments made)... 98.12 c Sol. found (all assignments made)... 98.12 c Sol. found (all assignments made)... 98.13 c Sol. found (all assignments made)... 98.13 c Sol. found (all assignments made)... 98.13 c Sol. found (all assignments made)... 98.13 c Sol. found (all assignments made)... 98.14 c Sol. found (all assignments made)... 98.14 c Sol. found (all assignments made)... 98.14 c Sol. found (all assignments made)... 98.15 c Sol. found (all assignments made)... 98.15 c Sol. found (all assignments made)... 98.15 c Sol. found (all assignments made)... 98.49 c Sol. found (all assignments made)... 98.61 c Sol. found (all assignments made)... 98.63 c Sol. found (all assignments made)... 98.63 c Sol. found (all assignments made)... 98.73 c Sol. found (all assignments made)... 98.75 c Sol. found (all assignments made)... 98.75 c Sol. found (all assignments made)... 98.75 c Sol. found (all assignments made)... 98.75 c Sol. found (all assignments made)... 98.81 c Sol. found (all assignments made)... 98.82 c Sol. found (all assignments made)... 98.82 c Sol. found (all assignments made)... 98.86 c Sol. found (all assignments made)... 98.86 c Sol. found (all assignments made)... 98.94 c Sol. found (all assignments made)... 98.95 c Sol. found (all assignments made)... 98.95 c Sol. found (all assignments made)... 99.79 c Sol. found (all assignments made)... 99.79 c Sol. found (all assignments made)... 99.79 c Sol. found (all assignments made)... 99.80 c Sol. found (all assignments made)... 99.82 c Sol. found (all assignments made)... 99.82 c Sol. found (all assignments made)... 99.88 c Restart #31 #Var: 945 LB: -945 @ 99.823 102.52 c Restart #32 #Var: 945 LB: -945 @ 102.46 105.26 c Restart #33 #Var: 945 LB: -945 @ 105.2 108.10 c Restart #34 #Var: 945 LB: -478 @ 108.04 111.04 c Restart #35 #Var: 945 LB: -945 @ 110.98 114.02 c Restart #36 #Var: 945 LB: -945 @ 113.96 117.07 c Restart #37 #Var: 945 LB: -945 @ 117.02 120.18 c Restart #38 #Var: 945 LB: -945 @ 120.12 123.39 c Restart #39 #Var: 945 LB: -945 @ 123.33 126.63 c Restart #40 #Var: 945 LB: -945 @ 126.57 130.07 c Restart #41 #Var: 945 LB: -945 @ 130.01 133.43 c Restart #42 #Var: 945 LB: -945 @ 133.37 136.95 c Restart #43 #Var: 945 LB: -945 @ 136.89 137.93 c Sol. found (all assignments made)... 137.93 c Sol. found (all assignments made)... 137.97 c Sol. found (all assignments made)... 137.99 c Sol. found (all assignments made)... 140.51 c Restart #44 #Var: 945 LB: -945 @ 140.44 144.13 c Restart #45 #Var: 945 LB: -945 @ 144.06 147.85 c Restart #46 #Var: 945 LB: -945 @ 147.78 148.21 c Sol. found (all assignments made)... 149.48 c Sol. found (all assignments made)... 149.85 c Sol. found (all assignments made)... 149.85 c Sol. found (all assignments made)... 149.86 c Sol. found (all assignments made)... 149.86 c Sol. found (all assignments made)... 149.86 c Sol. found (all assignments made)... 149.92 c Sol. found (all assignments made)... 149.92 c Sol. found (all assignments made)... 149.92 c Sol. found (all assignments made)... 149.92 c Sol. found (all assignments made)... 151.72 c Restart #47 #Var: 945 LB: -945 @ 151.66 155.75 c Restart #48 #Var: 945 LB: -945 @ 155.69 159.75 c Restart #49 #Var: 945 LB: -945 @ 159.68 163.78 c Restart #50 #Var: 945 LB: -945 @ 163.71 167.97 c Restart #51 #Var: 945 LB: -945 @ 167.89 172.26 c Restart #52 #Var: 945 LB: -945 @ 172.19 176.60 c Restart #53 #Var: 945 LB: -945 @ 176.53 181.00 c Restart #54 #Var: 945 LB: -945 @ 180.92 185.42 c Restart #55 #Var: 945 LB: -945 @ 185.34 189.95 c Restart #56 #Var: 945 LB: -945 @ 189.87 194.62 c Restart #57 #Var: 945 LB: -945 @ 194.54 199.31 c Restart #58 #Var: 945 LB: -945 @ 199.23 204.22 c Restart #59 #Var: 945 LB: -945 @ 204.14 204.46 c Sol. found (all assignments made)... 204.59 c Sol. found (all assignments made)... 204.60 c Sol. found (all assignments made)... 204.67 c Sol. found (all assignments made)... 204.68 c Sol. found (all assignments made)... 204.88 c Sol. found (all assignments made)... 207.42 c Sol. found (all assignments made)... 208.98 c Restart #60 #Var: 945 LB: -945 @ 208.9 209.33 c Sol. found (all assignments made)... 209.33 c Sol. found (all assignments made)... 209.54 c Sol. found (all assignments made)... 209.54 c Sol. found (all assignments made)... 209.54 c Sol. found (all assignments made)... 210.59 c Sol. found (all assignments made)... 210.59 c Sol. found (all assignments made)... 210.59 c Sol. found (all assignments made)... 210.60 c Sol. found (all assignments made)... 210.60 c Sol. found (all assignments made)... 210.61 c Sol. found (all assignments made)... 210.61 c Sol. found (all assignments made)... 210.62 c Sol. found (all assignments made)... 210.62 c Sol. found (all assignments made)... 210.63 c Sol. found (all assignments made)... 210.63 c Sol. found (all assignments made)... 210.63 c Sol. found (all assignments made)... 210.63 c Sol. found (all assignments made)... 210.64 c Sol. found (all assignments made)... 210.64 c Sol. found (all assignments made)... 210.65 c Sol. found (all assignments made)... 210.65 c Sol. found (all assignments made)... 210.65 c Sol. found (all assignments made)... 210.65 c Sol. found (all assignments made)... 210.65 c Sol. found (all assignments made)... 210.66 c Sol. found (all assignments made)... 210.66 c Sol. found (all assignments made)... 210.66 c Sol. found (all assignments made)... 210.66 c Sol. found (all assignments made)... 210.67 c Sol. found (all assignments made)... 210.67 c Sol. found (all assignments made)... 210.71 c Sol. found (all assignments made)... 210.73 c Sol. found (all assignments made)... 210.74 c Sol. found (all assignments made)... 210.76 c Sol. found (all assignments made)... 210.76 c Sol. found (all assignments made)... 210.76 c Sol. found (all assignments made)... 210.76 c Sol. found (all assignments made)... 210.77 c Sol. found (all assignments made)... 210.77 c Sol. found (all assignments made)... 210.77 c Sol. found (all assignments made)... 210.77 c Sol. found (all assignments made)... 210.81 c Sol. found (all assignments made)... 210.81 c Sol. found (all assignments made)... 210.81 c Sol. found (all assignments made)... 210.82 c Sol. found (all assignments made)... 210.84 c Sol. found (all assignments made)... 210.84 c Sol. found (all assignments made)... 210.85 c Sol. found (all assignments made)... 210.85 c Sol. found (all assignments made)... 210.86 c Sol. found (all assignments made)... 210.86 c Sol. found (all assignments made)... 211.01 c Sol. found (all assignments made)... 211.01 c Sol. found (all assignments made)... 211.02 c Sol. found (all assignments made)... 211.02 c Sol. found (all assignments made)... 211.02 c Sol. found (all assignments made)... 211.02 c Sol. found (all assignments made)... 211.02 c Sol. found (all assignments made)... 211.02 c Sol. found (all assignments made)... 211.03 c Sol. found (all assignments made)... 211.03 c Sol. found (all assignments made)... 211.03 c Sol. found (all assignments made)... 211.03 c Sol. found (all assignments made)... 211.04 c Sol. found (all assignments made)... 211.17 c Sol. found (all assignments made)... 211.18 c Sol. found (all assignments made)... 211.18 c Sol. found (all assignments made)... 211.21 c Sol. found (all assignments made)... 211.24 c Sol. found (all assignments made)... 211.25 c Sol. found (all assignments made)... 211.27 c Sol. found (all assignments made)... 211.27 c Sol. found (all assignments made)... 211.28 c Sol. found (all assignments made)... 211.28 c Sol. found (all assignments made)... 211.29 c Sol. found (all assignments made)... 211.30 c Sol. found (all assignments made)... 211.30 c Sol. found (all assignments made)... 211.31 c Sol. found (all assignments made)... 211.31 c Sol. found (all assignments made)... 211.31 c Sol. found (all assignments made)... 211.31 c Sol. found (all assignments made)... 211.32 c Sol. found (all assignments made)... 211.32 c Sol. found (all assignments made)... 211.33 c Sol. found (all assignments made)... 211.33 c Sol. found (all assignments made)... 211.33 c Sol. found (all assignments made)... 211.34 c Sol. found (all assignments made)... 211.34 c Sol. found (all assignments made)... 211.34 c Sol. found (all assignments made)... 211.35 c Sol. found (all assignments made)... 211.35 c Sol. found (all assignments made)... 211.35 c Sol. found (all assignments made)... 211.36 c Sol. found (all assignments made)... 211.36 c Sol. found (all assignments made)... 211.36 c Sol. found (all assignments made)... 211.37 c Sol. found (all assignments made)... 211.37 c Sol. found (all assignments made)... 211.38 c Sol. found (all assignments made)... 211.38 c Sol. found (all assignments made)... 211.39 c Sol. found (all assignments made)... 211.39 c Sol. found (all assignments made)... 211.39 c Sol. found (all assignments made)... 211.40 c Sol. found (all assignments made)... 211.42 c Sol. found (all assignments made)... 211.42 c Sol. found (all assignments made)... 211.74 c Sol. found (all assignments made)... 211.77 c Sol. found (all assignments made)... 211.78 c Sol. found (all assignments made)... 211.79 c Sol. found (all assignments made)... 212.14 c Sol. found (all assignments made)... 212.14 c Sol. found (all assignments made)... 212.15 c Sol. found (all assignments made)... 212.15 c Sol. found (all assignments made)... 212.16 c Sol. found (all assignments made)... 212.23 c Sol. found (all assignments made)... 213.83 c Restart #61 #Var: 945 LB: -945 @ 213.75 218.83 c Restart #62 #Var: 945 LB: -945 @ 218.74 223.86 c Restart #63 #Var: 945 LB: -945 @ 223.78 229.00 c Restart #64 #Var: 945 LB: -945 @ 228.91 230.99 c Sol. found (all assignments made)... 230.99 c Sol. found (all assignments made)... 231.00 c Sol. found (all assignments made)... 231.01 c Sol. found (all assignments made)... 231.02 c Sol. found (all assignments made)... 231.02 c Sol. found (all assignments made)... 231.08 c Sol. found (all assignments made)... 231.08 c Sol. found (all assignments made)... 231.09 c Sol. found (all assignments made)... 231.09 c Sol. found (all assignments made)... 231.09 c Sol. found (all assignments made)... 231.09 c Sol. found (all assignments made)... 231.10 c Sol. found (all assignments made)... 231.14 c Sol. found (all assignments made)... 231.14 c Sol. found (all assignments made)... 231.15 c Sol. found (all assignments made)... 231.15 c Sol. found (all assignments made)... 231.16 c Sol. found (all assignments made)... 231.16 c Sol. found (all assignments made)... 231.16 c Sol. found (all assignments made)... 231.17 c Sol. found (all assignments made)... 231.17 c Sol. found (all assignments made)... 231.24 c Sol. found (all assignments made)... 231.25 c Sol. found (all assignments made)... 231.36 c Sol. found (all assignments made)... 231.36 c Sol. found (all assignments made)... 231.37 c Sol. found (all assignments made)... 231.37 c Sol. found (all assignments made)... 234.20 c Restart #65 #Var: 945 LB: -945 @ 234.11 236.17 c Sol. found (all assignments made)... 236.17 c Sol. found (all assignments made)... 236.17 c Sol. found (all assignments made)... 236.18 c Sol. found (all assignments made)... 236.50 c Sol. found (all assignments made)... 236.50 c Sol. found (all assignments made)... 236.51 c Sol. found (all assignments made)... 236.51 c Sol. found (all assignments made)... 238.93 c Sol. found (all assignments made)... 239.44 c Restart #66 #Var: 945 LB: -945 @ 239.35 244.87 c Restart #67 #Var: 945 LB: -945 @ 244.78 247.70 c Sol. found (all assignments made)... 249.95 c Sol. found (all assignments made)... 250.24 c Restart #68 #Var: 945 LB: -945 @ 250.15 255.81 c Restart #69 #Var: 945 LB: -945 @ 255.72 258.67 c Sol. found (all assignments made)... 260.10 c Sol. found (all assignments made)... 260.11 c Sol. found (all assignments made)... 260.12 c Sol. found (all assignments made)... 261.23 c Sol. found (all assignments made)... 261.23 c Sol. found (all assignments made)... 261.45 c Restart #70 #Var: 945 LB: -945 @ 261.35 266.97 c Restart #71 #Var: 945 LB: -945 @ 266.87 272.73 c Restart #72 #Var: 945 LB: -945 @ 272.62 278.63 c Restart #73 #Var: 945 LB: -945 @ 278.53 284.46 c Restart #74 #Var: 945 LB: -945 @ 284.36 290.42 c Restart #75 #Var: 945 LB: -945 @ 290.31 296.46 c Restart #76 #Var: 945 LB: -945 @ 296.35 299.42 c Sol. found (all assignments made)... 299.43 c Sol. found (all assignments made)... 299.46 c Sol. found (all assignments made)... 299.47 c Sol. found (all assignments made)... 299.50 c Sol. found (all assignments made)... 299.50 c Sol. found (all assignments made)... 299.51 c Sol. found (all assignments made)... 300.43 c Sol. found (all assignments made)... 300.44 c Sol. found (all assignments made)... 300.44 c Sol. found (all assignments made)... 301.12 c Sol. found (all assignments made)... 301.12 c Sol. found (all assignments made)... 301.13 c Sol. found (all assignments made)... 301.13 c Sol. found (all assignments made)... 301.13 c Sol. found (all assignments made)... 301.13 c Sol. found (all assignments made)... 301.35 c Sol. found (all assignments made)... 301.35 c Sol. found (all assignments made)... 301.36 c Sol. found (all assignments made)... 301.36 c Sol. found (all assignments made)... 301.39 c Sol. found (all assignments made)... 301.39 c Sol. found (all assignments made)... 301.39 c Sol. found (all assignments made)... 301.39 c Sol. found (all assignments made)... 301.40 c Sol. found (all assignments made)... 301.40 c Sol. found (all assignments made)... 301.41 c Sol. found (all assignments made)... 301.41 c Sol. found (all assignments made)... 301.41 c Sol. found (all assignments made)... 301.42 c Sol. found (all assignments made)... 302.08 c Sol. found (all assignments made)... 302.50 c Restart #77 #Var: 945 LB: -945 @ 302.39 303.41 c Sol. found (all assignments made)... 305.78 c Sol. found (all assignments made)... 308.64 c Restart #78 #Var: 945 LB: -945 @ 308.53 315.31 c Restart #79 #Var: 945 LB: -945 @ 315.2 321.65 c Restart #80 #Var: 945 LB: -945 @ 321.53 328.01 c Restart #81 #Var: 945 LB: -945 @ 327.9 334.61 c Restart #82 #Var: 945 LB: -945 @ 334.49 341.32 c Restart #83 #Var: 945 LB: -945 @ 341.2 342.66 c Sol. found (all assignments made)... 342.66 c Sol. found (all assignments made)... 342.67 c Sol. found (all assignments made)... 342.70 c Sol. found (all assignments made)... 342.72 c Sol. found (all assignments made)... 342.85 c Sol. found (all assignments made)... 343.20 c Sol. found (all assignments made)... 343.20 c Sol. found (all assignments made)... 343.23 c Sol. found (all assignments made)... 343.25 c Sol. found (all assignments made)... 343.26 c Sol. found (all assignments made)... 343.29 c Sol. found (all assignments made)... 343.30 c Sol. found (all assignments made)... 343.35 c Sol. found (all assignments made)... 343.36 c Sol. found (all assignments made)... 343.36 c Sol. found (all assignments made)... 343.38 c Sol. found (all assignments made)... 343.38 c Sol. found (all assignments made)... 344.90 c Sol. found (all assignments made)... 344.90 c Sol. found (all assignments made)... 344.90 c Sol. found (all assignments made)... 344.90 c Sol. found (all assignments made)... 344.92 c Sol. found (all assignments made)... 345.06 c Sol. found (all assignments made)... 347.69 c Sol. found (all assignments made)... 347.74 c Sol. found (all assignments made)... 347.75 c Sol. found (all assignments made)... 347.76 c Sol. found (all assignments made)... 347.76 c Sol. found (all assignments made)... 347.77 c Sol. found (all assignments made)... 347.77 c Sol. found (all assignments made)... 347.92 c Sol. found (all assignments made)... 347.99 c Restart #84 #Var: 945 LB: -945 @ 347.86 354.85 c Restart #85 #Var: 945 LB: -945 @ 354.73 361.77 c Restart #86 #Var: 945 LB: -945 @ 361.65 365.48 c Sol. found (all assignments made)... 365.48 c Sol. found (all assignments made)... 365.49 c Sol. found (all assignments made)... 365.49 c Sol. found (all assignments made)... 365.51 c Sol. found (all assignments made)... 365.51 c Sol. found (all assignments made)... 365.53 c Sol. found (all assignments made)... 365.53 c Sol. found (all assignments made)... 365.58 c Sol. found (all assignments made)... 365.58 c Sol. found (all assignments made)... 365.59 c Sol. found (all assignments made)... 365.59 c Sol. found (all assignments made)... 365.59 c Sol. found (all assignments made)... 365.59 c Sol. found (all assignments made)... 365.59 c Sol. found (all assignments made)... 365.60 c Sol. found (all assignments made)... 365.60 c Sol. found (all assignments made)... 365.62 c Sol. found (all assignments made)... 365.62 c Sol. found (all assignments made)... 365.62 c Sol. found (all assignments made)... 365.63 c Sol. found (all assignments made)... 365.63 c Sol. found (all assignments made)... 365.64 c Sol. found (all assignments made)... 365.65 c Sol. found (all assignments made)... 365.65 c Sol. found (all assignments made)... 365.65 c Sol. found (all assignments made)... 365.66 c Sol. found (all assignments made)... 365.69 c Sol. found (all assignments made)... 365.69 c Sol. found (all assignments made)... 365.70 c Sol. found (all assignments made)... 365.70 c Sol. found (all assignments made)... 365.70 c Sol. found (all assignments made)... 365.75 c Sol. found (all assignments made)... 365.96 c Sol. found (all assignments made)... 365.96 o -37 365.96 c NEW SOLUTION FOUND: -37 @ 365.83 365.96 c Sol. found (all assignments made)... 372.66 c Restart #87 #Var: 945 LB: -945 @ 372.53 379.66 c Restart #88 #Var: 945 LB: -945 @ 379.53 386.74 c Restart #89 #Var: 945 LB: -945 @ 386.6 394.04 c Restart #90 #Var: 945 LB: -478 @ 393.9 401.27 c Restart #91 #Var: 945 LB: -945 @ 401.13 408.63 c Restart #92 #Var: 945 LB: -945 @ 408.49 416.15 c Restart #93 #Var: 945 LB: -945 @ 416.01 423.79 c Restart #94 #Var: 945 LB: -945 @ 423.64 431.24 c Restart #95 #Var: 945 LB: -945 @ 431.09 438.88 c Restart #96 #Var: 945 LB: -945 @ 438.73 446.56 c Restart #97 #Var: 945 LB: -945 @ 446.41 454.36 c Restart #98 #Var: 945 LB: -945 @ 454.21 456.66 c Sol. found (all assignments made)... 456.91 c Sol. found (all assignments made)... 462.51 c Restart #99 #Var: 945 LB: -945 @ 462.35 470.31 c Restart #100 #Var: 945 LB: -945 @ 470.15 474.15 c Sol. found (all assignments made)... 478.43 c Restart #101 #Var: 945 LB: -945 @ 478.27 486.60 c Restart #102 #Var: 945 LB: -945 @ 486.43 495.14 c Restart #103 #Var: 945 LB: -945 @ 494.98 503.50 c Restart #104 #Var: 945 LB: -945 @ 503.34 512.00 c Restart #105 #Var: 945 LB: -945 @ 511.83 521.13 c Restart #106 #Var: 945 LB: -945 @ 520.95 529.58 c Restart #107 #Var: 945 LB: -945 @ 529.41 538.37 c Restart #108 #Var: 945 LB: -945 @ 538.19 547.25 c Restart #109 #Var: 945 LB: -945 @ 547.07 555.89 c Restart #110 #Var: 945 LB: -945 @ 555.71 564.74 c Restart #111 #Var: 945 LB: -945 @ 564.55 573.93 c Restart #112 #Var: 945 LB: -945 @ 573.75 583.02 c Restart #113 #Var: 945 LB: -945 @ 582.83 592.12 c Restart #114 #Var: 945 LB: -945 @ 591.93 592.99 c Sol. found (all assignments made)... 593.00 c Sol. found (all assignments made)... 601.20 c Restart #115 #Var: 945 LB: -945 @ 601 610.51 c Restart #116 #Var: 945 LB: -945 @ 610.31 619.35 c Sol. found (all assignments made)... 619.38 c Sol. found (all assignments made)... 619.38 c Sol. found (all assignments made)... 619.39 c Sol. found (all assignments made)... 619.85 c Restart #117 #Var: 945 LB: -945 @ 619.65 629.12 c Restart #118 #Var: 945 LB: -945 @ 628.91 638.83 c Restart #119 #Var: 945 LB: -945 @ 638.62 648.39 c Restart #120 #Var: 945 LB: -945 @ 648.18 648.66 c Sol. found (all assignments made)... 648.66 c Sol. found (all assignments made)... 658.29 c Restart #121 #Var: 945 LB: -945 @ 658.08 667.97 c Restart #122 #Var: 945 LB: -945 @ 667.75 677.80 c Restart #123 #Var: 945 LB: -945 @ 677.58 687.41 c Restart #124 #Var: 945 LB: -945 @ 687.19 690.26 c Sol. found (all assignments made)... 698.18 c Restart #125 #Var: 945 LB: -945 @ 697.96 708.31 c Restart #126 #Var: 945 LB: -945 @ 708.08 718.44 c Restart #127 #Var: 945 LB: -945 @ 718.21 728.99 c Restart #128 #Var: 945 LB: -945 @ 728.76 739.24 c Restart #129 #Var: 945 LB: -945 @ 739.01 749.60 c Restart #130 #Var: 945 LB: -945 @ 749.37 760.08 c Restart #131 #Var: 945 LB: -945 @ 759.84 770.79 c Restart #132 #Var: 945 LB: -945 @ 770.54 777.45 c Sol. found (all assignments made)... 777.46 c Sol. found (all assignments made)... 777.46 c Sol. found (all assignments made)... 777.46 c Sol. found (all assignments made)... 777.47 c Sol. found (all assignments made)... 777.47 c Sol. found (all assignments made)... 777.47 c Sol. found (all assignments made)... 777.48 c Sol. found (all assignments made)... 780.09 c Sol. found (all assignments made)... 780.12 c Sol. found (all assignments made)... 780.12 c Sol. found (all assignments made)... 781.44 c Restart #133 #Var: 945 LB: -945 @ 781.2 792.27 c Restart #134 #Var: 945 LB: -945 @ 792.01 803.12 c Restart #135 #Var: 945 LB: -945 @ 802.86 807.22 c Sol. found (all assignments made)... 807.24 c Sol. found (all assignments made)... 807.29 c Sol. found (all assignments made)... 813.94 c Restart #136 #Var: 945 LB: -945 @ 813.68 824.94 c Restart #137 #Var: 945 LB: -945 @ 824.68 836.22 c Restart #138 #Var: 945 LB: -945 @ 835.96 847.45 c Restart #139 #Var: 945 LB: -945 @ 847.19 859.00 c Restart #140 #Var: 945 LB: -945 @ 858.73 870.07 c Restart #141 #Var: 945 LB: -945 @ 869.8 881.74 c Restart #142 #Var: 945 LB: -945 @ 881.47 882.16 c Sol. found (all assignments made)... 882.17 c Sol. found (all assignments made)... 882.18 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.78 c Sol. found (all assignments made)... 882.81 c Sol. found (all assignments made)... 882.85 c Sol. found (all assignments made)... 882.88 c Sol. found (all assignments made)... 884.10 c Sol. found (all assignments made)... 884.10 c Sol. found (all assignments made)... 884.10 c Sol. found (all assignments made)... 884.10 c Sol. found (all assignments made)... 884.11 c Sol. found (all assignments made)... 884.11 c Sol. found (all assignments made)... 884.11 c Sol. found (all assignments made)... 884.11 c Sol. found (all assignments made)... 884.12 c Sol. found (all assignments made)... 884.12 c Sol. found (all assignments made)... 884.15 c Sol. found (all assignments made)... 884.15 c Sol. found (all assignments made)... 884.16 c Sol. found (all assignments made)... 884.16 c Sol. found (all assignments made)... 884.29 c Sol. found (all assignments made)... 884.29 c Sol. found (all assignments made)... 884.30 c Sol. found (all assignments made)... 884.30 c Sol. found (all assignments made)... 884.30 c Sol. found (all assignments made)... 884.30 c Sol. found (all assignments made)... 885.10 c Sol. found (all assignments made)... 885.93 c Sol. found (all assignments made)... 885.93 o -38 885.93 c NEW SOLUTION FOUND: -38 @ 885.65 885.93 c Sol. found (all assignments made)... 887.91 c Sol. found (all assignments made)... 889.86 c Sol. found (all assignments made)... 889.87 c Sol. found (all assignments made)... 889.88 c Sol. found (all assignments made)... 889.89 c Sol. found (all assignments made)... 889.90 c Sol. found (all assignments made)... 889.91 c Sol. found (all assignments made)... 889.92 c Sol. found (all assignments made)... 889.93 c Sol. found (all assignments made)... 889.93 c Sol. found (all assignments made)... 894.48 c Sol. found (all assignments made)... 894.48 c Sol. found (all assignments made)... 895.48 c Sol. found (all assignments made)... 895.49 c Sol. found (all assignments made)... 895.49 c Sol. found (all assignments made)... 895.50 c Sol. found (all assignments made)... 895.51 c Sol. found (all assignments made)... 895.51 c Sol. found (all assignments made)... 895.55 c Sol. found (all assignments made)... 895.55 c Sol. found (all assignments made)... 895.56 c Sol. found (all assignments made)... 895.56 c Sol. found (all assignments made)... 895.56 c Sol. found (all assignments made)... 895.56 c Sol. found (all assignments made)... 895.56 c Sol. found (all assignments made)... 895.57 c Sol. found (all assignments made)... 895.57 c Sol. found (all assignments made)... 895.62 c Sol. found (all assignments made)... 895.62 c Sol. found (all assignments made)... 895.63 c Sol. found (all assignments made)... 895.63 c Sol. found (all assignments made)... 895.65 c Sol. found (all assignments made)... 895.66 c Sol. found (all assignments made)... 895.66 c Sol. found (all assignments made)... 895.66 c Sol. found (all assignments made)... 895.67 c Sol. found (all assignments made)... 895.67 c Sol. found (all assignments made)... 895.67 c Sol. found (all assignments made)... 895.67 c Sol. found (all assignments made)... 895.69 c Sol. found (all assignments made)... 895.69 c Sol. found (all assignments made)... 895.73 c Sol. found (all assignments made)... 895.76 c Sol. found (all assignments made)... 895.80 c Sol. found (all assignments made)... 895.80 c Sol. found (all assignments made)... 895.81 c Sol. found (all assignments made)... 895.82 c Sol. found (all assignments made)... 895.82 c Sol. found (all assignments made)... 895.82 c Sol. found (all assignments made)... 895.82 c Sol. found (all assignments made)... 895.82 c Sol. found (all assignments made)... 895.83 c Sol. found (all assignments made)... 895.83 c Sol. found (all assignments made)... 895.90 c Sol. found (all assignments made)... 895.90 c Sol. found (all assignments made)... 895.93 c Sol. found (all assignments made)... 895.93 c Sol. found (all assignments made)... 896.94 c Restart #143 #Var: 945 LB: -945 @ 896.66 908.53 c Restart #144 #Var: 945 LB: -945 @ 908.25 920.58 c Restart #145 #Var: 945 LB: -945 @ 920.29 932.28 c Restart #146 #Var: 945 LB: -945 @ 931.99 944.23 c Restart #147 #Var: 945 LB: -945 @ 943.93 956.21 c Restart #148 #Var: 945 LB: -945 @ 955.91 968.36 c Restart #149 #Var: 945 LB: -945 @ 968.06 980.75 c Restart #150 #Var: 945 LB: -945 @ 980.45 993.29 c Restart #151 #Var: 945 LB: -945 @ 992.98 1005.74 c Restart #152 #Var: 945 LB: -477 @ 1005.4 1017.91 c Restart #153 #Var: 945 LB: -945 @ 1017.6 1030.42 c Restart #154 #Var: 945 LB: -945 @ 1030.1 1042.77 c Restart #155 #Var: 945 LB: -945 @ 1042.5 1055.34 c Restart #156 #Var: 945 LB: -945 @ 1055 1067.96 c Restart #157 #Var: 945 LB: -945 @ 1067.6 1081.02 c Restart #158 #Var: 945 LB: -945 @ 1080.7 1093.72 c Restart #159 #Var: 945 LB: -945 @ 1093.4 1106.40 c Restart #160 #Var: 945 LB: -945 @ 1106.1 1119.03 c Restart #161 #Var: 945 LB: -945 @ 1118.7 1131.85 c Restart #162 #Var: 945 LB: -945 @ 1131.5 1145.14 c Restart #163 #Var: 945 LB: -945 @ 1144.8 1158.42 c Restart #164 #Var: 945 LB: -945 @ 1158.1 1171.96 c Restart #165 #Var: 945 LB: -945 @ 1171.6 1185.42 c Restart #166 #Var: 945 LB: -945 @ 1185.1 1198.91 c Restart #167 #Var: 945 LB: -945 @ 1198.5 1212.29 c Restart #168 #Var: 945 LB: -945 @ 1211.9 1225.79 c Restart #169 #Var: 945 LB: -945 @ 1225.4 1239.45 c Restart #170 #Var: 945 LB: -945 @ 1239.1 1253.72 c Restart #171 #Var: 945 LB: -479 @ 1253.3 1267.52 c Restart #172 #Var: 945 LB: -945 @ 1267.1 1281.37 c Restart #173 #Var: 945 LB: -945 @ 1281 1295.41 c Restart #174 #Var: 945 LB: -945 @ 1295 1309.47 c Restart #175 #Var: 945 LB: -945 @ 1309.1 1323.99 c Restart #176 #Var: 945 LB: -945 @ 1323.6 1337.93 c Restart #177 #Var: 945 LB: -945 @ 1337.5 1351.83 c Restart #178 #Var: 945 LB: -945 @ 1351.4 1366.03 c Restart #179 #Var: 945 LB: -945 @ 1365.6 1380.63 c Restart #180 #Var: 945 LB: -945 @ 1380.2 1395.13 c Restart #181 #Var: 945 LB: -945 @ 1394.7 1410.10 c Restart #182 #Var: 945 LB: -945 @ 1409.7 1425.39 c Restart #183 #Var: 945 LB: -945 @ 1425 1440.43 c Restart #184 #Var: 945 LB: -945 @ 1440 1455.76 c Restart #185 #Var: 945 LB: -945 @ 1455.3 1470.56 c Restart #186 #Var: 945 LB: -945 @ 1470.1 1481.79 c Sol. found (all assignments made)... 1481.88 c Sol. found (all assignments made)... 1481.88 c Sol. found (all assignments made)... 1481.94 c Sol. found (all assignments made)... 1481.94 c Sol. found (all assignments made)... 1481.94 c Sol. found (all assignments made)... 1481.94 c Sol. found (all assignments made)... 1481.94 c Sol. found (all assignments made)... 1481.95 c Sol. found (all assignments made)... 1481.95 c Sol. found (all assignments made)... 1481.95 c Sol. found (all assignments made)... 1481.96 c Sol. found (all assignments made)... 1481.96 c Sol. found (all assignments made)... 1481.96 c Sol. found (all assignments made)... 1481.97 c Sol. found (all assignments made)... 1481.97 c Sol. found (all assignments made)... 1481.98 c Sol. found (all assignments made)... 1481.98 c Sol. found (all assignments made)... 1481.98 c Sol. found (all assignments made)... 1481.98 c Sol. found (all assignments made)... 1481.98 c Sol. found (all assignments made)... 1481.98 c Sol. found (all assignments made)... 1481.99 c Sol. found (all assignments made)... 1482.00 c Sol. found (all assignments made)... 1482.01 c Sol. found (all assignments made)... 1482.01 c Sol. found (all assignments made)... 1482.01 c Sol. found (all assignments made)... 1482.01 c Sol. found (all assignments made)... 1482.01 c Sol. found (all assignments made)... 1482.02 c Sol. found (all assignments made)... 1482.02 c Sol. found (all assignments made)... 1482.03 c Sol. found (all assignments made)... 1482.04 c Sol. found (all assignments made)... 1482.04 c Sol. found (all assignments made)... 1482.05 c Sol. found (all assignments made)... 1482.07 c Sol. found (all assignments made)... 1482.10 c Sol. found (all assignments made)... 1482.12 c Sol. found (all assignments made)... 1482.12 c Sol. found (all assignments made)... 1482.17 c Sol. found (all assignments made)... 1482.18 c Sol. found (all assignments made)... 1482.19 c Sol. found (all assignments made)... 1482.79 c Sol. found (all assignments made)... 1482.82 c Sol. found (all assignments made)... 1482.82 c Sol. found (all assignments made)... 1482.82 c Sol. found (all assignments made)... 1482.82 c Sol. found (all assignments made)... 1482.83 c Sol. found (all assignments made)... 1482.83 c Sol. found (all assignments made)... 1482.84 c Sol. found (all assignments made)... 1482.84 c Sol. found (all assignments made)... 1482.84 c Sol. found (all assignments made)... 1482.84 c Sol. found (all assignments made)... 1482.85 c Sol. found (all assignments made)... 1482.85 c Sol. found (all assignments made)... 1482.87 c Sol. found (all assignments made)... 1482.87 c Sol. found (all assignments made)... 1482.88 c Sol. found (all assignments made)... 1482.88 c Sol. found (all assignments made)... 1482.89 c Sol. found (all assignments made)... 1482.89 c Sol. found (all assignments made)... 1482.90 c Sol. found (all assignments made)... 1482.90 c Sol. found (all assignments made)... 1483.04 c Sol. found (all assignments made)... 1483.05 c Sol. found (all assignments made)... 1483.05 c Sol. found (all assignments made)... 1483.05 c Sol. found (all assignments made)... 1483.05 c Sol. found (all assignments made)... 1483.06 c Sol. found (all assignments made)... 1483.06 c Sol. found (all assignments made)... 1483.07 c Sol. found (all assignments made)... 1483.07 c Sol. found (all assignments made)... 1483.07 c Sol. found (all assignments made)... 1483.07 c Sol. found (all assignments made)... 1483.08 c Sol. found (all assignments made)... 1483.19 c Sol. found (all assignments made)... 1483.21 c Sol. found (all assignments made)... 1483.21 c Sol. found (all assignments made)... 1483.22 c Sol. found (all assignments made)... 1483.22 c Sol. found (all assignments made)... 1483.22 c Sol. found (all assignments made)... 1483.23 c Sol. found (all assignments made)... 1483.23 c Sol. found (all assignments made)... 1483.23 c Sol. found (all assignments made)... 1483.24 c Sol. found (all assignments made)... 1483.24 c Sol. found (all assignments made)... 1483.24 c Sol. found (all assignments made)... 1483.24 c Sol. found (all assignments made)... 1483.25 c Sol. found (all assignments made)... 1483.25 c Sol. found (all assignments made)... 1483.26 c Sol. found (all assignments made)... 1483.26 c Sol. found (all assignments made)... 1483.26 c Sol. found (all assignments made)... 1483.34 c Sol. found (all assignments made)... 1483.34 c Sol. found (all assignments made)... 1483.34 c Sol. found (all assignments made)... 1483.35 c Sol. found (all assignments made)... 1483.35 c Sol. found (all assignments made)... 1483.35 c Sol. found (all assignments made)... 1483.56 c Sol. found (all assignments made)... 1483.57 c Sol. found (all assignments made)... 1483.57 c Sol. found (all assignments made)... 1483.58 c Sol. found (all assignments made)... 1483.58 c Sol. found (all assignments made)... 1483.59 c Sol. found (all assignments made)... 1483.59 c Sol. found (all assignments made)... 1483.61 c Sol. found (all assignments made)... 1483.61 c Sol. found (all assignments made)... 1483.62 c Sol. found (all assignments made)... 1483.62 c Sol. found (all assignments made)... 1483.79 c Sol. found (all assignments made)... 1483.79 c Sol. found (all assignments made)... 1483.80 c Sol. found (all assignments made)... 1483.80 c Sol. found (all assignments made)... 1483.80 c Sol. found (all assignments made)... 1483.80 c Sol. found (all assignments made)... 1483.83 c Sol. found (all assignments made)... 1483.83 c Sol. found (all assignments made)... 1483.84 c Sol. found (all assignments made)... 1483.84 c Sol. found (all assignments made)... 1483.84 c Sol. found (all assignments made)... 1483.85 c Sol. found (all assignments made)... 1483.89 c Sol. found (all assignments made)... 1483.89 c Sol. found (all assignments made)... 1485.50 c Sol. found (all assignments made)... 1485.51 c Sol. found (all assignments made)... 1485.51 c Sol. found (all assignments made)... 1485.51 c Sol. found (all assignments made)... 1485.51 c Sol. found (all assignments made)... 1485.52 c Sol. found (all assignments made)... 1485.52 c Sol. found (all assignments made)... 1485.52 c Sol. found (all assignments made)... 1485.52 c Sol. found (all assignments made)... 1485.53 c Sol. found (all assignments made)... 1485.58 c Restart #187 #Var: 945 LB: -945 @ 1485.1 1500.75 c Restart #188 #Var: 945 LB: -945 @ 1500.3 1516.00 c Restart #189 #Var: 945 LB: -945 @ 1515.5 1531.43 c Restart #190 #Var: 945 LB: -945 @ 1531 1546.90 c Restart #191 #Var: 945 LB: -945 @ 1546.4 1562.75 c Restart #192 #Var: 945 LB: -945 @ 1562.3 1578.22 c Restart #193 #Var: 945 LB: -945 @ 1577.7 1593.99 c Restart #194 #Var: 945 LB: -945 @ 1593.5 1609.73 c Restart #195 #Var: 945 LB: -945 @ 1609.2 1625.72 c Restart #196 #Var: 945 LB: -945 @ 1625.2 1641.61 c Restart #197 #Var: 945 LB: -945 @ 1641.1 1657.39 c Restart #198 #Var: 945 LB: -945 @ 1656.9 1673.21 c Restart #199 #Var: 945 LB: -945 @ 1672.7 1689.40 c Restart #200 #Var: 945 LB: -945 @ 1688.9 1705.95 c Restart #201 #Var: 945 LB: -945 @ 1705.4 1722.11 c Restart #202 #Var: 945 LB: -945 @ 1721.6 1738.69 c Restart #203 #Var: 945 LB: -945 @ 1738.2 1755.45 c Restart #204 #Var: 945 LB: -945 @ 1754.9 1771.71 c Restart #205 #Var: 945 LB: -945 @ 1771.2 1788.46 c Restart #206 #Var: 945 LB: -945 @ 1787.9 1800.55 s SATISFIABLE 1800.55 c Cost: -38 1800.55 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1800.55 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 1800.55 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1800.55 v -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1800.55 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 1800.55 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 -x820 1800.55 v -x819 -x818 -x817 -x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.55 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 1800.55 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1800.55 v -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1800.55 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1800.55 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1800.55 v -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1800.55 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1800.55 v -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1800.55 v -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1800.55 v -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1800.55 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 1800.55 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 1800.55 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 1800.55 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1800.55 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 1800.55 v -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1800.55 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 1800.55 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1800.55 v -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1800.55 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1800.55 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1800.55 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1800.55 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1800.55 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1800.55 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 1800.55 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1800.55 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1800.55 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1800.55 v -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1800.55 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.55 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.55 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1800.55 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1800.55 v -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 1800.55 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 1800.55 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 1800.55 v -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 -x4 -x3 -x2 1800.55 v -x1 1800.55 c Exit Code: 10 1800.55 c Total time: 1800 s
OK -38
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/node90/watcher-40501-1149296485 -o ROOT/results/node90/solver-40501-1149296485 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40501-1149296485/instance-40501-1149296485.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1581144/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=4932 CPUtime=0 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 285 0 0 0 0 0 0 0 19 0 1 0 195287493 5050368 255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 1233 265 175 55 0 124 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1550368/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=35568 CPUtime=9.97 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 8287 0 0 0 993 4 0 0 25 0 1 0 195287493 36421632 8057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618789 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 8892 8057 294 55 0 7783 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 35568 [startup+20.0078 s] /proc/loadavg: 0.94 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1545080/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=41048 CPUtime=19.96 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 9854 0 0 0 1990 6 0 0 25 0 1 0 195287493 42033152 9390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 10262 9390 305 55 0 9153 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 41048 [startup+30.0139 s] /proc/loadavg: 0.95 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1522488/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=74100 CPUtime=29.98 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 19569 0 0 0 2985 13 0 0 25 0 1 0 195287493 75878400 15100 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497940 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 18525 15100 411 55 0 17416 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 74100 [startup+40.02 s] /proc/loadavg: 0.95 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1523512/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=82964 CPUtime=39.98 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 39528 0 0 0 3977 21 0 0 25 0 1 0 195287493 84955136 15234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 20741 15234 432 55 0 19632 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 82964 [startup+50.0261 s] /proc/loadavg: 0.96 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1508920/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=89972 CPUtime=49.97 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 178312 0 0 0 4919 78 0 0 25 0 1 0 195287493 92131328 18554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 22493 18554 433 55 0 21384 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 89972 [startup+60.0322 s] /proc/loadavg: 0.97 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534648/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=51964 CPUtime=59.98 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 204496 0 0 0 5907 91 0 0 25 0 1 0 195287493 53211136 12126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618625 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 12991 12126 433 55 0 11882 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 51964 [startup+70.0382 s] /proc/loadavg: 0.97 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534328/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52072 CPUtime=69.98 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 204620 0 0 0 6907 91 0 0 25 0 1 0 195287493 53321728 12159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13018 12159 433 55 0 11909 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 52072 [startup+80.0443 s] /proc/loadavg: 0.98 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534136/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52308 CPUtime=79.99 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 204702 0 0 0 7907 92 0 0 25 0 1 0 195287493 53563392 12218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13077 12218 433 55 0 11968 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 52308 [startup+90.0504 s] /proc/loadavg: 0.98 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534136/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52256 CPUtime=89.99 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 204791 0 0 0 8906 93 0 0 25 0 1 0 195287493 53510144 12205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13064 12205 433 55 0 11955 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 52256 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534200/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52424 CPUtime=100 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 204826 0 0 0 9906 94 0 0 25 0 1 0 195287493 53682176 12223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13106 12223 433 55 0 11997 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 52424 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534136/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52484 CPUtime=110 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 204852 0 0 0 10905 95 0 0 25 0 1 0 195287493 53743616 12249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158099384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13121 12249 433 55 0 12012 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 52484 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534136/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52516 CPUtime=120 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 204900 0 0 0 11904 96 0 0 25 0 1 0 195287493 53776384 12248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13129 12248 433 55 0 12020 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 52516 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534136/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52384 CPUtime=130 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 204919 0 0 0 12904 96 0 0 25 0 1 0 195287493 53641216 12223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13096 12223 433 55 0 11987 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 52384 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534136/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52372 CPUtime=140 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 204953 0 0 0 13903 97 0 0 25 0 1 0 195287493 53628928 12234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13093 12234 433 55 0 11984 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 52372 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534136/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52368 CPUtime=150.01 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 204981 0 0 0 14903 98 0 0 25 0 1 0 195287493 53624832 12232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13092 12232 433 55 0 11983 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 52368 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534072/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52400 CPUtime=160.01 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 205021 0 0 0 15902 99 0 0 25 0 1 0 195287493 53657600 12225 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13100 12225 433 55 0 11991 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 52400 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534200/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52252 CPUtime=170.02 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 205035 0 0 0 16902 100 0 0 25 0 1 0 195287493 53506048 12204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134558049 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13063 12204 433 55 0 11954 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 52252 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534200/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52272 CPUtime=180.02 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 205060 0 0 0 17901 101 0 0 25 0 1 0 195287493 53526528 12209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13068 12209 433 55 0 11959 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 52272 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534136/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52500 CPUtime=190.02 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 205117 0 0 0 18900 102 0 0 25 0 1 0 195287493 53760000 12266 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13125 12266 433 55 0 12016 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 52500 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534136/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52500 CPUtime=200.03 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 205117 0 0 0 19900 103 0 0 25 0 1 0 195287493 53760000 12266 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13125 12266 433 55 0 12016 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 52500 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1534136/2055888 swapFree=4085308/4096564 ################ # More data... # ################ /proc/19509/statm: 13215 12356 433 55 0 12106 0 Current children cumulated CPU time (s) 1760.49 Current children cumulated vsize (Kb) 52860 [startup+1771.04 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52860 CPUtime=1770.49 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 176786 263 0 0 25 0 1 0 195287493 54128640 12356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13215 12356 433 55 0 12106 0 Current children cumulated CPU time (s) 1770.49 Current children cumulated vsize (Kb) 52860 [startup+1781.05 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1780.5 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 177786 264 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1780.5 Current children cumulated vsize (Kb) 52836 [startup+1782.05 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1781.5 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 177886 264 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 52836 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1782.5 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 177986 264 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 52836 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1783.51 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 178087 264 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 52836 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1784.51 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 178187 264 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 52836 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1785.52 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 178287 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 52836 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1786.53 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 178388 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 52836 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1787.53 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 178488 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 52836 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1788.53 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 178588 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 52836 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1789.54 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 178689 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 52836 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1790.54 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 178789 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12536945 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 52836 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1791.54 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 178889 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 52836 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1792.55 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 178990 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 52836 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1793.55 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 179090 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 52836 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1794.56 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 179191 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134597393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 52836 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1795.56 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 179291 265 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 52836 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1796.57 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 179391 266 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12853125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 52836 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52836 CPUtime=1797.58 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207753 0 0 0 179492 266 0 0 25 0 1 0 195287493 54104064 12350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695625 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13209 12350 433 55 0 12100 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 52836 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52968 CPUtime=1798.58 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207772 0 0 0 179592 266 0 0 25 0 1 0 195287493 54239232 12369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632642 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13242 12369 433 55 0 12133 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 52968 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.91 2/67 19509 /proc/meminfo: memFree=1533432/2055888 swapFree=4085308/4096564 [pid=19509] ppid=19507 vsize=52968 CPUtime=1799.58 /proc/19509/stat : 19509 (bsolo) R 19507 19509 19463 0 -1 0 207772 0 0 0 179692 266 0 0 25 0 1 0 195287493 54239232 12369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19509/statm: 13242 12369 433 55 0 12133 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 52968 Child status: 10 Real time (s): 1800.56 CPU time (s): 1800.01 CPU user time (s): 1797.34 CPU system time (s): 2.67159 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (Kb): 89972
Begin job on node90 on Sat Jun 3 01:01:25 UTC 2006 FILE ID= 40501-1149296485 PBS_JOBID= 307124 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40501-1149296485/instance-40501-1149296485.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node90/watcher-40501-1149296485 -o ROOT/results/node90/solver-40501-1149296485 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40501-1149296485/instance-40501-1149296485.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= e1b2be59a127acc8d929395698929541 RANDOM SEED= 428309053 /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.227 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 : 6006.17 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.227 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1581544 kB Buffers: 30944 kB Cached: 376052 kB SwapCached: 2568 kB Active: 45180 kB Inactive: 370596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1581544 kB SwapTotal: 4096564 kB SwapFree: 4085308 kB Dirty: 192 kB Writeback: 0 kB Mapped: 16060 kB Slab: 45320 kB Committed_AS: 332504 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node90 on Sat Jun 3 01:31:26 UTC 2006