Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -30 | 1800.01 | 1800.55 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb |
MD5SUM | 907943cf03e4e0f899b19858f5690e6e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1800.67 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | NO |
Number of variables | 595 |
Total number of constraints | 27847 |
Number of constraints which are clauses | 27847 |
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 | 595 |
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 | 595 |
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 | 595 |
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.39 c Initial problem consists of 595 variables and 27847 constraints. 2.63 c No problem reductions applied in OPT. instance. 2.63 c preprocess terminated. Elapsed time: 2.619 2.63 c After prepocess the problem consists of 595 variables and 27847 constraints. 2.63 c Initial Lower Bound: -595 2.66 c Sol. found (all assignments made)... 2.66 o -1 2.66 c NEW SOLUTION FOUND: -1 @ 2.641 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 o -2 2.66 c NEW SOLUTION FOUND: -2 @ 2.643 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 o -3 2.66 c NEW SOLUTION FOUND: -3 @ 2.647 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 o -4 2.67 c NEW SOLUTION FOUND: -4 @ 2.653 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 o -5 2.68 c NEW SOLUTION FOUND: -5 @ 2.663 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 o -6 2.69 c NEW SOLUTION FOUND: -6 @ 2.675 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.76 c Restart #1 #Var: 595 LB: -595 @ 2.747 2.78 c Sol. found (all assignments made)... 2.78 o -21 2.78 c NEW SOLUTION FOUND: -21 @ 2.77 2.79 c Sol. found (all assignments made)... 2.79 o -22 2.79 c NEW SOLUTION FOUND: -22 @ 2.771 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 o -23 2.79 c NEW SOLUTION FOUND: -23 @ 2.772 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 o -24 2.87 c NEW SOLUTION FOUND: -24 @ 2.86 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 o -25 2.88 c NEW SOLUTION FOUND: -25 @ 2.866 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 3.00 c Restart #2 #Var: 595 LB: -595 @ 2.986 3.03 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.06 c Sol. found (all assignments made)... 3.06 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.19 c Restart #3 #Var: 595 LB: -595 @ 3.18 3.22 c Sol. found (all assignments made)... 3.22 o -27 3.22 c NEW SOLUTION FOUND: -27 @ 3.204 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.40 c Sol. found (all assignments made)... 3.40 c Sol. found (all assignments made)... 3.40 c Sol. found (all assignments made)... 3.40 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.44 c Restart #4 #Var: 595 LB: -595 @ 3.422 3.48 c Sol. found (all assignments made)... 3.49 c Sol. found (all assignments made)... 3.51 c Sol. found (all assignments made)... 3.54 c Sol. found (all assignments made)... 3.57 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.73 c Restart #5 #Var: 595 LB: -595 @ 3.715 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 4.07 c Restart #6 #Var: 595 LB: -595 @ 4.053 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.46 c Restart #7 #Var: 595 LB: -595 @ 4.441 15.20 c CHANGE to MIS mode... UB: -27 MIS: -595 LPR: -267 (1.029) Diff: 2.2285 15.20 c Restart #0 #Var: 595 LB: -595 @ 15.181 15.33 c Restart #1 #Var: 595 LB: -595 @ 15.313 15.43 c Sol. found (all assignments made)... 15.52 c Restart #2 #Var: 595 LB: -300 @ 15.502 15.78 c Restart #3 #Var: 595 LB: -301 @ 15.76 16.11 c Restart #4 #Var: 595 LB: -595 @ 16.093 16.17 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.23 c Sol. found (all assignments made)... 16.24 c Sol. found (all assignments made)... 16.24 c Sol. found (all assignments made)... 16.24 c Sol. found (all assignments made)... 16.24 c Sol. found (all assignments made)... 16.25 c Sol. found (all assignments made)... 16.25 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.30 c Sol. found (all assignments made)... 16.30 c Sol. found (all assignments made)... 16.31 c Sol. found (all assignments made)... 16.31 c Sol. found (all assignments made)... 16.31 c Sol. found (all assignments made)... 16.31 c Sol. found (all assignments made)... 16.31 c Sol. found (all assignments made)... 16.31 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.35 c Sol. found (all assignments made)... 16.35 c Sol. found (all assignments made)... 16.35 c Sol. found (all assignments made)... 16.35 c Sol. found (all assignments made)... 16.35 c Sol. found (all assignments made)... 16.35 c Sol. found (all assignments made)... 16.35 c Sol. found (all assignments made)... 16.35 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.37 c Sol. found (all assignments made)... 16.37 c Sol. found (all assignments made)... 16.37 c Sol. found (all assignments made)... 16.37 c Sol. found (all assignments made)... 16.37 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.39 c Sol. found (all assignments made)... 16.39 c Sol. found (all assignments made)... 16.39 c Sol. found (all assignments made)... 16.39 c Sol. found (all assignments made)... 16.40 c Sol. found (all assignments made)... 16.40 c Sol. found (all assignments made)... 16.40 c Sol. found (all assignments made)... 16.41 c Sol. found (all assignments made)... 16.47 c Restart #5 #Var: 595 LB: -301 @ 16.45 16.89 c Restart #6 #Var: 595 LB: -300 @ 16.869 17.37 c Restart #7 #Var: 595 LB: -299 @ 17.35 17.43 c Sol. found (all assignments made)... 17.43 c Sol. found (all assignments made)... 17.44 c Sol. found (all assignments made)... 17.44 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.49 c Sol. found (all assignments made)... 17.49 c Sol. found (all assignments made)... 17.67 c Sol. found (all assignments made)... 17.67 c Sol. found (all assignments made)... 17.68 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.87 c Restart #8 #Var: 595 LB: -595 @ 17.851 18.45 c Restart #9 #Var: 595 LB: -301 @ 18.429 18.52 c Sol. found (all assignments made)... 18.52 c Sol. found (all assignments made)... 18.52 c Sol. found (all assignments made)... 18.52 c Sol. found (all assignments made)... 18.53 c Sol. found (all assignments made)... 18.53 c Sol. found (all assignments made)... 18.53 c Sol. found (all assignments made)... 18.53 c Sol. found (all assignments made)... 18.54 c Sol. found (all assignments made)... 18.54 c Sol. found (all assignments made)... 18.54 c Sol. found (all assignments made)... 18.54 c Sol. found (all assignments made)... 18.55 c Sol. found (all assignments made)... 18.55 c Sol. found (all assignments made)... 18.57 c Sol. found (all assignments made)... 18.57 c Sol. found (all assignments made)... 18.58 c Sol. found (all assignments made)... 18.58 c Sol. found (all assignments made)... 18.58 c Sol. found (all assignments made)... 18.58 c Sol. found (all assignments made)... 18.60 c Sol. found (all assignments made)... 18.63 c Sol. found (all assignments made)... 18.63 c Sol. found (all assignments made)... 18.63 c Sol. found (all assignments made)... 18.64 c Sol. found (all assignments made)... 18.64 c Sol. found (all assignments made)... 18.64 c Sol. found (all assignments made)... 18.65 c Sol. found (all assignments made)... 18.65 c Sol. found (all assignments made)... 18.65 c Sol. found (all assignments made)... 18.65 c Sol. found (all assignments made)... 18.66 c Sol. found (all assignments made)... 18.67 c Sol. found (all assignments made)... 18.68 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.77 c Sol. found (all assignments made)... 18.77 c Sol. found (all assignments made)... 18.78 c Sol. found (all assignments made)... 18.79 c Sol. found (all assignments made)... 18.87 c Sol. found (all assignments made)... 18.87 c Sol. found (all assignments made)... 18.88 c Sol. found (all assignments made)... 18.89 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 19.09 c Restart #10 #Var: 595 LB: -300 @ 19.071 19.74 c Restart #11 #Var: 595 LB: -595 @ 19.718 19.81 c Sol. found (all assignments made)... 19.84 c Sol. found (all assignments made)... 19.91 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 20.00 c Sol. found (all assignments made)... 20.00 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.16 c Sol. found (all assignments made)... 20.16 c Sol. found (all assignments made)... 20.37 c Sol. found (all assignments made)... 20.39 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.40 c Sol. found (all assignments made)... 20.41 c Sol. found (all assignments made)... 20.41 c Sol. found (all assignments made)... 20.41 c Sol. found (all assignments made)... 20.46 c Restart #12 #Var: 595 LB: -302 @ 20.44 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 o -28 20.53 c NEW SOLUTION FOUND: -28 @ 20.506 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.53 c Sol. found (all assignments made)... 20.54 c Sol. found (all assignments made)... 20.54 c Sol. found (all assignments made)... 20.54 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.55 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.57 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.60 c Sol. found (all assignments made)... 20.60 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.65 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.67 c Sol. found (all assignments made)... 20.68 c Sol. found (all assignments made)... 20.70 c Sol. found (all assignments made)... 20.70 c Sol. found (all assignments made)... 20.70 c Sol. found (all assignments made)... 20.70 c Sol. found (all assignments made)... 20.70 c Sol. found (all assignments made)... 20.70 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 21.24 c Restart #13 #Var: 595 LB: -300 @ 21.222 22.14 c Restart #14 #Var: 595 LB: -302 @ 22.115 22.24 c Sol. found (all assignments made)... 22.24 c Sol. found (all assignments made)... 22.25 c Sol. found (all assignments made)... 22.31 c Sol. found (all assignments made)... 22.32 c Sol. found (all assignments made)... 22.32 c Sol. found (all assignments made)... 22.33 c Sol. found (all assignments made)... 22.33 c Sol. found (all assignments made)... 22.35 c Sol. found (all assignments made)... 22.36 c Sol. found (all assignments made)... 22.36 c Sol. found (all assignments made)... 22.37 c Sol. found (all assignments made)... 22.86 c Sol. found (all assignments made)... 22.86 c Sol. found (all assignments made)... 22.87 c Sol. found (all assignments made)... 22.98 c Sol. found (all assignments made)... 22.98 c Sol. found (all assignments made)... 22.98 c Sol. found (all assignments made)... 22.99 c Sol. found (all assignments made)... 22.99 c Sol. found (all assignments made)... 22.99 c Sol. found (all assignments made)... 23.04 c Restart #15 #Var: 595 LB: -302 @ 23.018 23.57 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.59 c Sol. found (all assignments made)... 23.87 c Sol. found (all assignments made)... 23.97 c Restart #16 #Var: 595 LB: -595 @ 23.947 25.05 c Restart #17 #Var: 595 LB: -301 @ 25.025 25.46 c Sol. found (all assignments made)... 25.50 c Sol. found (all assignments made)... 26.13 c Restart #18 #Var: 595 LB: -595 @ 26.111 27.31 c Restart #19 #Var: 595 LB: -301 @ 27.293 27.92 c Sol. found (all assignments made)... 28.48 c Restart #20 #Var: 595 LB: -595 @ 28.462 29.71 c Restart #21 #Var: 595 LB: -301 @ 29.692 30.30 c Sol. found (all assignments made)... 30.42 c Sol. found (all assignments made)... 30.90 c Sol. found (all assignments made)... 30.97 c Restart #22 #Var: 595 LB: -595 @ 30.951 32.31 c Restart #23 #Var: 595 LB: -595 @ 32.285 33.70 c Restart #24 #Var: 595 LB: -595 @ 33.68 35.13 c Restart #25 #Var: 595 LB: -595 @ 35.102 36.61 c Restart #26 #Var: 595 LB: -595 @ 36.582 37.44 c Sol. found (all assignments made)... 38.13 c Restart #27 #Var: 595 LB: -595 @ 38.11 39.75 c Restart #28 #Var: 595 LB: -595 @ 39.723 40.53 c Sol. found (all assignments made)... 41.42 c Restart #29 #Var: 595 LB: -301 @ 41.393 42.78 c Sol. found (all assignments made)... 42.82 c Sol. found (all assignments made)... 43.13 c Restart #30 #Var: 595 LB: -303 @ 43.107 43.79 c Sol. found (all assignments made)... 43.80 c Sol. found (all assignments made)... 43.80 c Sol. found (all assignments made)... 43.80 c Sol. found (all assignments made)... 43.80 c Sol. found (all assignments made)... 43.80 c Sol. found (all assignments made)... 43.80 c Sol. found (all assignments made)... 43.81 c Sol. found (all assignments made)... 43.82 c Sol. found (all assignments made)... 43.82 c Sol. found (all assignments made)... 43.82 c Sol. found (all assignments made)... 43.82 c Sol. found (all assignments made)... 43.83 c Sol. found (all assignments made)... 43.83 c Sol. found (all assignments made)... 43.92 c Sol. found (all assignments made)... 43.92 c Sol. found (all assignments made)... 43.92 c Sol. found (all assignments made)... 43.93 c Sol. found (all assignments made)... 43.93 c Sol. found (all assignments made)... 44.63 c Sol. found (all assignments made)... 44.63 c Sol. found (all assignments made)... 44.63 c Sol. found (all assignments made)... 44.65 c Sol. found (all assignments made)... 44.65 c Sol. found (all assignments made)... 44.65 c Sol. found (all assignments made)... 44.71 c Sol. found (all assignments made)... 44.71 c Sol. found (all assignments made)... 44.71 c Sol. found (all assignments made)... 44.71 c Sol. found (all assignments made)... 44.71 c Sol. found (all assignments made)... 44.72 c Sol. found (all assignments made)... 44.72 c Sol. found (all assignments made)... 44.72 c Sol. found (all assignments made)... 44.72 c Sol. found (all assignments made)... 44.73 c Sol. found (all assignments made)... 44.73 c Sol. found (all assignments made)... 44.75 c Sol. found (all assignments made)... 44.76 c Sol. found (all assignments made)... 44.76 c Sol. found (all assignments made)... 44.76 c Sol. found (all assignments made)... 44.77 c Sol. found (all assignments made)... 44.77 c Sol. found (all assignments made)... 44.77 c Sol. found (all assignments made)... 44.77 c Sol. found (all assignments made)... 44.77 c Sol. found (all assignments made)... 44.77 c Sol. found (all assignments made)... 44.77 c Sol. found (all assignments made)... 44.78 c Sol. found (all assignments made)... 44.78 c Sol. found (all assignments made)... 44.78 c Sol. found (all assignments made)... 44.79 c Sol. found (all assignments made)... 44.79 c Sol. found (all assignments made)... 44.79 c Sol. found (all assignments made)... 44.79 c Sol. found (all assignments made)... 44.79 c Sol. found (all assignments made)... 44.80 c Sol. found (all assignments made)... 44.92 c Restart #31 #Var: 595 LB: -595 @ 44.894 45.56 c Sol. found (all assignments made)... 45.79 c Sol. found (all assignments made)... 45.87 c Sol. found (all assignments made)... 45.87 c Sol. found (all assignments made)... 45.87 c Sol. found (all assignments made)... 45.87 c Sol. found (all assignments made)... 45.88 c Sol. found (all assignments made)... 46.01 c Sol. found (all assignments made)... 46.01 c Sol. found (all assignments made)... 46.73 c Restart #32 #Var: 595 LB: -595 @ 46.699 47.80 c Sol. found (all assignments made)... 47.80 c Sol. found (all assignments made)... 47.80 c Sol. found (all assignments made)... 47.81 c Sol. found (all assignments made)... 47.81 o -29 47.81 c NEW SOLUTION FOUND: -29 @ 47.778 49.58 c Restart #33 #Var: 595 LB: -595 @ 49.556 51.52 c Restart #34 #Var: 595 LB: -595 @ 51.49 53.54 c Restart #35 #Var: 595 LB: -595 @ 53.511 55.57 c Restart #36 #Var: 595 LB: -595 @ 55.543 57.63 c Restart #37 #Var: 595 LB: -595 @ 57.598 59.90 c Restart #38 #Var: 595 LB: -595 @ 59.868 62.17 c Restart #39 #Var: 595 LB: -595 @ 62.141 64.50 c Restart #40 #Var: 595 LB: -595 @ 64.467 66.91 c Restart #41 #Var: 595 LB: -595 @ 66.882 69.27 c Restart #42 #Var: 595 LB: -595 @ 69.24 71.70 c Restart #43 #Var: 595 LB: -595 @ 71.668 74.22 c Restart #44 #Var: 595 LB: -301 @ 74.19 76.74 c Restart #45 #Var: 595 LB: -595 @ 76.703 79.44 c Restart #46 #Var: 595 LB: -595 @ 79.405 82.16 c Restart #47 #Var: 595 LB: -595 @ 82.123 84.91 c Restart #48 #Var: 595 LB: -301 @ 84.874 87.71 c Restart #49 #Var: 595 LB: -301 @ 87.675 90.52 c Restart #50 #Var: 595 LB: -595 @ 90.482 93.40 c Restart #51 #Var: 595 LB: -595 @ 93.356 94.61 c Sol. found (all assignments made)... 94.63 c Sol. found (all assignments made)... 94.93 c Sol. found (all assignments made)... 94.95 c Sol. found (all assignments made)... 95.35 c Sol. found (all assignments made)... 95.38 c Sol. found (all assignments made)... 95.58 c Sol. found (all assignments made)... 95.65 c Sol. found (all assignments made)... 95.69 c Sol. found (all assignments made)... 95.92 c Sol. found (all assignments made)... 95.94 c Sol. found (all assignments made)... 96.60 c Restart #52 #Var: 595 LB: -595 @ 96.558 99.61 c Restart #53 #Var: 595 LB: -299 @ 99.571 102.70 c Restart #54 #Var: 595 LB: -595 @ 102.66 105.85 c Restart #55 #Var: 595 LB: -595 @ 105.81 109.19 c Restart #56 #Var: 595 LB: -595 @ 109.15 112.48 c Restart #57 #Var: 595 LB: -595 @ 112.44 113.11 c Sol. found (all assignments made)... 113.52 c Sol. found (all assignments made)... 113.52 c Sol. found (all assignments made)... 113.52 c Sol. found (all assignments made)... 113.52 c Sol. found (all assignments made)... 115.70 c Restart #58 #Var: 595 LB: -595 @ 115.66 119.03 c Restart #59 #Var: 595 LB: -595 @ 118.98 122.55 c Restart #60 #Var: 595 LB: -595 @ 122.51 125.99 c Restart #61 #Var: 595 LB: -595 @ 125.94 129.23 c Sol. found (all assignments made)... 129.50 c Restart #62 #Var: 595 LB: -595 @ 129.45 131.55 c Sol. found (all assignments made)... 131.55 c Sol. found (all assignments made)... 131.56 c Sol. found (all assignments made)... 131.56 c Sol. found (all assignments made)... 132.96 c Restart #63 #Var: 595 LB: -595 @ 132.91 136.71 c Restart #64 #Var: 595 LB: -595 @ 136.66 140.24 c Restart #65 #Var: 595 LB: -595 @ 140.19 144.06 c Restart #66 #Var: 595 LB: -595 @ 144 147.94 c Restart #67 #Var: 595 LB: -595 @ 147.89 151.85 c Restart #68 #Var: 595 LB: -595 @ 151.8 155.85 c Restart #69 #Var: 595 LB: -595 @ 155.79 159.90 c Restart #70 #Var: 595 LB: -595 @ 159.84 163.96 c Restart #71 #Var: 595 LB: -595 @ 163.91 168.15 c Restart #72 #Var: 595 LB: -595 @ 168.09 172.32 c Restart #73 #Var: 595 LB: -595 @ 172.26 176.43 c Restart #74 #Var: 595 LB: -595 @ 176.37 180.80 c Restart #75 #Var: 595 LB: -595 @ 180.74 185.09 c Restart #76 #Var: 595 LB: -595 @ 185.03 189.45 c Restart #77 #Var: 595 LB: -595 @ 189.39 194.04 c Restart #78 #Var: 595 LB: -595 @ 193.97 198.39 c Restart #79 #Var: 595 LB: -595 @ 198.32 202.98 c Restart #80 #Var: 595 LB: -595 @ 202.91 207.66 c Restart #81 #Var: 595 LB: -595 @ 207.59 212.32 c Restart #82 #Var: 595 LB: -302 @ 212.25 217.05 c Restart #83 #Var: 595 LB: -595 @ 216.98 221.87 c Restart #84 #Var: 595 LB: -595 @ 221.8 226.75 c Restart #85 #Var: 595 LB: -595 @ 226.67 231.62 c Restart #86 #Var: 595 LB: -595 @ 231.54 232.06 c Sol. found (all assignments made)... 236.50 c Restart #87 #Var: 595 LB: -595 @ 236.42 236.96 c Sol. found (all assignments made)... 236.97 c Sol. found (all assignments made)... 241.58 c Restart #88 #Var: 595 LB: -595 @ 241.5 244.52 c Sol. found (all assignments made)... 244.52 c Sol. found (all assignments made)... 244.79 c Sol. found (all assignments made)... 244.79 c Sol. found (all assignments made)... 244.79 c Sol. found (all assignments made)... 244.88 c Sol. found (all assignments made)... 244.88 c Sol. found (all assignments made)... 244.88 c Sol. found (all assignments made)... 244.89 c Sol. found (all assignments made)... 244.89 c Sol. found (all assignments made)... 244.89 c Sol. found (all assignments made)... 244.89 c Sol. found (all assignments made)... 244.89 c Sol. found (all assignments made)... 244.89 c Sol. found (all assignments made)... 244.89 c Sol. found (all assignments made)... 244.90 c Sol. found (all assignments made)... 244.90 c Sol. found (all assignments made)... 244.90 c Sol. found (all assignments made)... 244.90 c Sol. found (all assignments made)... 246.55 c Restart #89 #Var: 595 LB: -595 @ 246.47 251.72 c Restart #90 #Var: 595 LB: -595 @ 251.64 252.79 c Sol. found (all assignments made)... 252.80 c Sol. found (all assignments made)... 252.90 c Sol. found (all assignments made)... 252.93 c Sol. found (all assignments made)... 252.93 c Sol. found (all assignments made)... 252.97 c Sol. found (all assignments made)... 252.97 c Sol. found (all assignments made)... 252.97 c Sol. found (all assignments made)... 252.97 c Sol. found (all assignments made)... 253.09 c Sol. found (all assignments made)... 253.09 c Sol. found (all assignments made)... 253.09 c Sol. found (all assignments made)... 253.09 c Sol. found (all assignments made)... 256.72 c Restart #91 #Var: 595 LB: -595 @ 256.64 261.88 c Restart #92 #Var: 595 LB: -595 @ 261.8 266.99 c Sol. found (all assignments made)... 267.26 c Restart #93 #Var: 595 LB: -595 @ 267.17 272.09 c Sol. found (all assignments made)... 272.65 c Restart #94 #Var: 595 LB: -595 @ 272.56 272.90 c Sol. found (all assignments made)... 274.06 c Sol. found (all assignments made)... 274.06 c Sol. found (all assignments made)... 277.94 c Restart #95 #Var: 595 LB: -595 @ 277.85 283.44 c Restart #96 #Var: 595 LB: -595 @ 283.35 288.87 c Restart #97 #Var: 595 LB: -595 @ 288.78 294.51 c Restart #98 #Var: 595 LB: -595 @ 294.41 295.57 c Sol. found (all assignments made)... 295.57 c Sol. found (all assignments made)... 298.09 c Sol. found (all assignments made)... 298.10 c Sol. found (all assignments made)... 298.11 c Sol. found (all assignments made)... 298.12 c Sol. found (all assignments made)... 298.14 c Sol. found (all assignments made)... 298.14 c Sol. found (all assignments made)... 298.39 c Sol. found (all assignments made)... 298.39 c Sol. found (all assignments made)... 298.54 c Sol. found (all assignments made)... 298.55 c Sol. found (all assignments made)... 298.57 c Sol. found (all assignments made)... 298.57 c Sol. found (all assignments made)... 298.58 c Sol. found (all assignments made)... 299.88 c Restart #99 #Var: 595 LB: -595 @ 299.79 300.22 c Sol. found (all assignments made)... 300.22 c Sol. found (all assignments made)... 300.23 c Sol. found (all assignments made)... 300.24 c Sol. found (all assignments made)... 300.54 c Sol. found (all assignments made)... 300.55 c Sol. found (all assignments made)... 300.55 c Sol. found (all assignments made)... 300.55 c Sol. found (all assignments made)... 300.64 c Sol. found (all assignments made)... 300.64 c Sol. found (all assignments made)... 300.86 c Sol. found (all assignments made)... 300.86 c Sol. found (all assignments made)... 300.86 c Sol. found (all assignments made)... 301.04 c Sol. found (all assignments made)... 303.12 c Sol. found (all assignments made)... 305.38 c Restart #100 #Var: 595 LB: -595 @ 305.28 307.02 c Sol. found (all assignments made)... 308.14 c Sol. found (all assignments made)... 311.13 c Restart #101 #Var: 595 LB: -595 @ 311.03 312.13 c Sol. found (all assignments made)... 312.13 c Sol. found (all assignments made)... 312.13 c Sol. found (all assignments made)... 312.13 c Sol. found (all assignments made)... 312.13 c Sol. found (all assignments made)... 312.13 c Sol. found (all assignments made)... 312.13 c Sol. found (all assignments made)... 312.15 c Sol. found (all assignments made)... 312.15 c Sol. found (all assignments made)... 312.15 c Sol. found (all assignments made)... 312.15 c Sol. found (all assignments made)... 312.15 c Sol. found (all assignments made)... 312.15 c Sol. found (all assignments made)... 313.07 c Sol. found (all assignments made)... 313.07 c Sol. found (all assignments made)... 313.07 c Sol. found (all assignments made)... 313.08 c Sol. found (all assignments made)... 313.08 c Sol. found (all assignments made)... 313.08 c Sol. found (all assignments made)... 313.08 c Sol. found (all assignments made)... 313.08 c Sol. found (all assignments made)... 313.09 c Sol. found (all assignments made)... 313.09 c Sol. found (all assignments made)... 313.09 c Sol. found (all assignments made)... 313.09 c Sol. found (all assignments made)... 313.09 c Sol. found (all assignments made)... 313.10 c Sol. found (all assignments made)... 313.10 c Sol. found (all assignments made)... 313.10 c Sol. found (all assignments made)... 313.10 c Sol. found (all assignments made)... 313.10 c Sol. found (all assignments made)... 313.10 c Sol. found (all assignments made)... 313.10 c Sol. found (all assignments made)... 313.10 c Sol. found (all assignments made)... 313.11 c Sol. found (all assignments made)... 313.11 c Sol. found (all assignments made)... 313.11 c Sol. found (all assignments made)... 313.12 c Sol. found (all assignments made)... 313.12 c Sol. found (all assignments made)... 313.12 c Sol. found (all assignments made)... 313.12 c Sol. found (all assignments made)... 313.12 c Sol. found (all assignments made)... 313.12 c Sol. found (all assignments made)... 313.12 c Sol. found (all assignments made)... 313.12 c Sol. found (all assignments made)... 313.12 c Sol. found (all assignments made)... 313.13 c Sol. found (all assignments made)... 313.13 c Sol. found (all assignments made)... 313.13 c Sol. found (all assignments made)... 313.13 c Sol. found (all assignments made)... 313.13 c Sol. found (all assignments made)... 313.13 c Sol. found (all assignments made)... 313.13 c Sol. found (all assignments made)... 313.13 c Sol. found (all assignments made)... 313.14 c Sol. found (all assignments made)... 313.14 c Sol. found (all assignments made)... 313.14 c Sol. found (all assignments made)... 313.14 c Sol. found (all assignments made)... 313.14 c Sol. found (all assignments made)... 313.14 c Sol. found (all assignments made)... 313.14 c Sol. found (all assignments made)... 313.14 c Sol. found (all assignments made)... 315.32 c Sol. found (all assignments made)... 315.32 c Sol. found (all assignments made)... 315.32 c Sol. found (all assignments made)... 315.32 c Sol. found (all assignments made)... 315.33 c Sol. found (all assignments made)... 315.33 c Sol. found (all assignments made)... 315.33 c Sol. found (all assignments made)... 315.33 c Sol. found (all assignments made)... 315.33 c Sol. found (all assignments made)... 315.33 c Sol. found (all assignments made)... 315.33 c Sol. found (all assignments made)... 315.33 c Sol. found (all assignments made)... 315.34 c Sol. found (all assignments made)... 315.34 c Sol. found (all assignments made)... 315.34 c Sol. found (all assignments made)... 315.34 c Sol. found (all assignments made)... 315.34 c Sol. found (all assignments made)... 315.34 c Sol. found (all assignments made)... 315.34 c Sol. found (all assignments made)... 315.34 c Sol. found (all assignments made)... 315.34 c Sol. found (all assignments made)... 315.35 c Sol. found (all assignments made)... 315.35 c Sol. found (all assignments made)... 315.35 c Sol. found (all assignments made)... 315.35 c Sol. found (all assignments made)... 315.35 c Sol. found (all assignments made)... 315.35 c Sol. found (all assignments made)... 315.35 c Sol. found (all assignments made)... 315.35 c Sol. found (all assignments made)... 315.35 c Sol. found (all assignments made)... 315.54 c Sol. found (all assignments made)... 315.54 c Sol. found (all assignments made)... 316.64 c Restart #102 #Var: 595 LB: -595 @ 316.55 322.49 c Restart #103 #Var: 595 LB: -595 @ 322.39 323.06 c Sol. found (all assignments made)... 323.06 c Sol. found (all assignments made)... 323.06 c Sol. found (all assignments made)... 323.06 c Sol. found (all assignments made)... 323.10 c Sol. found (all assignments made)... 323.10 c Sol. found (all assignments made)... 323.11 c Sol. found (all assignments made)... 323.11 c Sol. found (all assignments made)... 323.11 c Sol. found (all assignments made)... 323.12 c Sol. found (all assignments made)... 323.13 c Sol. found (all assignments made)... 323.13 c Sol. found (all assignments made)... 323.13 c Sol. found (all assignments made)... 323.19 c Sol. found (all assignments made)... 323.21 c Sol. found (all assignments made)... 323.25 c Sol. found (all assignments made)... 323.44 c Sol. found (all assignments made)... 323.63 c Sol. found (all assignments made)... 325.52 c Sol. found (all assignments made)... 325.53 c Sol. found (all assignments made)... 326.18 c Sol. found (all assignments made)... 327.38 c Sol. found (all assignments made)... 327.43 c Sol. found (all assignments made)... 327.43 c Sol. found (all assignments made)... 327.44 c Sol. found (all assignments made)... 327.44 c Sol. found (all assignments made)... 327.54 c Sol. found (all assignments made)... 327.54 o -30 327.54 c NEW SOLUTION FOUND: -30 @ 327.44 327.55 c Sol. found (all assignments made)... 328.81 c Sol. found (all assignments made)... 330.27 c Sol. found (all assignments made)... 330.28 c Sol. found (all assignments made)... 330.29 c Sol. found (all assignments made)... 332.19 c Sol. found (all assignments made)... 332.98 c Restart #104 #Var: 595 LB: -595 @ 332.88 338.96 c Restart #105 #Var: 595 LB: -595 @ 338.86 345.01 c Restart #106 #Var: 595 LB: -595 @ 344.9 351.08 c Restart #107 #Var: 595 LB: -595 @ 350.97 357.17 c Restart #108 #Var: 595 LB: -595 @ 357.06 363.57 c Restart #109 #Var: 595 LB: -595 @ 363.45 369.96 c Restart #110 #Var: 595 LB: -595 @ 369.84 376.37 c Restart #111 #Var: 595 LB: -595 @ 376.25 382.73 c Restart #112 #Var: 595 LB: -595 @ 382.61 389.48 c Restart #113 #Var: 595 LB: -595 @ 389.36 395.71 c Restart #114 #Var: 595 LB: -595 @ 395.59 402.23 c Restart #115 #Var: 595 LB: -595 @ 402.1 408.81 c Restart #116 #Var: 595 LB: -595 @ 408.68 415.63 c Restart #117 #Var: 595 LB: -595 @ 415.5 422.28 c Restart #118 #Var: 595 LB: -595 @ 422.15 429.26 c Restart #119 #Var: 595 LB: -595 @ 429.13 436.15 c Restart #120 #Var: 595 LB: -595 @ 436.01 443.00 c Restart #121 #Var: 595 LB: -595 @ 442.87 450.20 c Restart #122 #Var: 595 LB: -595 @ 450.06 457.05 c Restart #123 #Var: 595 LB: -595 @ 456.91 463.95 c Restart #124 #Var: 595 LB: -595 @ 463.81 471.09 c Restart #125 #Var: 595 LB: -595 @ 470.95 472.75 c Sol. found (all assignments made)... 478.08 c Restart #126 #Var: 595 LB: -595 @ 477.94 485.30 c Restart #127 #Var: 595 LB: -595 @ 485.15 492.50 c Restart #128 #Var: 595 LB: -595 @ 492.36 499.65 c Restart #129 #Var: 595 LB: -595 @ 499.5 507.55 c Restart #130 #Var: 595 LB: -595 @ 507.4 514.93 c Restart #131 #Var: 595 LB: -595 @ 514.78 522.58 c Restart #132 #Var: 595 LB: -595 @ 522.42 530.59 c Restart #133 #Var: 595 LB: -595 @ 530.43 538.02 c Restart #134 #Var: 595 LB: -595 @ 537.86 545.72 c Restart #135 #Var: 595 LB: -595 @ 545.56 545.83 c Sol. found (all assignments made)... 546.07 c Sol. found (all assignments made)... 546.30 c Sol. found (all assignments made)... 546.48 c Sol. found (all assignments made)... 546.48 c Sol. found (all assignments made)... 547.14 c Sol. found (all assignments made)... 547.68 c Sol. found (all assignments made)... 553.60 c Restart #136 #Var: 595 LB: -595 @ 553.44 561.64 c Restart #137 #Var: 595 LB: -595 @ 561.47 569.79 c Restart #138 #Var: 595 LB: -595 @ 569.62 576.78 c Sol. found (all assignments made)... 577.68 c Restart #139 #Var: 595 LB: -595 @ 577.51 585.74 c Restart #140 #Var: 595 LB: -595 @ 585.57 594.30 c Restart #141 #Var: 595 LB: -595 @ 594.12 602.24 c Restart #142 #Var: 595 LB: -595 @ 602.06 610.35 c Restart #143 #Var: 595 LB: -595 @ 610.17 618.49 c Restart #144 #Var: 595 LB: -595 @ 618.31 626.54 c Restart #145 #Var: 595 LB: -595 @ 626.36 627.77 c Sol. found (all assignments made)... 634.62 c Restart #146 #Var: 595 LB: -595 @ 634.44 643.37 c Restart #147 #Var: 595 LB: -595 @ 643.18 651.76 c Restart #148 #Var: 595 LB: -595 @ 651.57 660.55 c Restart #149 #Var: 595 LB: -595 @ 660.35 669.19 c Restart #150 #Var: 595 LB: -595 @ 669 677.96 c Restart #151 #Var: 595 LB: -595 @ 677.76 686.74 c Restart #152 #Var: 595 LB: -595 @ 686.54 695.67 c Restart #153 #Var: 595 LB: -595 @ 695.47 704.34 c Restart #154 #Var: 595 LB: -595 @ 704.13 713.26 c Restart #155 #Var: 595 LB: -595 @ 713.05 722.21 c Restart #156 #Var: 595 LB: -595 @ 722.01 731.04 c Restart #157 #Var: 595 LB: -595 @ 730.83 740.18 c Restart #158 #Var: 595 LB: -595 @ 739.97 749.55 c Restart #159 #Var: 595 LB: -595 @ 749.34 758.65 c Restart #160 #Var: 595 LB: -595 @ 758.43 768.17 c Restart #161 #Var: 595 LB: -595 @ 767.94 777.44 c Restart #162 #Var: 595 LB: -595 @ 777.22 786.82 c Restart #163 #Var: 595 LB: -595 @ 786.6 795.98 c Restart #164 #Var: 595 LB: -595 @ 795.75 805.51 c Restart #165 #Var: 595 LB: -595 @ 805.27 815.04 c Restart #166 #Var: 595 LB: -595 @ 814.81 824.68 c Restart #167 #Var: 595 LB: -595 @ 824.45 832.86 c Sol. found (all assignments made)... 834.12 c Restart #168 #Var: 595 LB: -595 @ 833.88 843.65 c Restart #169 #Var: 595 LB: -595 @ 843.41 845.25 c Sol. found (all assignments made)... 845.25 c Sol. found (all assignments made)... 845.38 c Sol. found (all assignments made)... 847.87 c Sol. found (all assignments made)... 847.87 c Sol. found (all assignments made)... 853.63 c Restart #170 #Var: 595 LB: -595 @ 853.38 863.49 c Restart #171 #Var: 595 LB: -595 @ 863.24 873.27 c Restart #172 #Var: 595 LB: -595 @ 873.02 882.98 c Restart #173 #Var: 595 LB: -595 @ 882.73 888.01 c Sol. found (all assignments made)... 888.94 c Sol. found (all assignments made)... 888.94 c Sol. found (all assignments made)... 888.94 c Sol. found (all assignments made)... 892.52 c Restart #174 #Var: 595 LB: -595 @ 892.26 902.45 c Restart #175 #Var: 595 LB: -595 @ 902.2 902.52 c Sol. found (all assignments made)... 912.66 c Restart #176 #Var: 595 LB: -595 @ 912.4 922.43 c Restart #177 #Var: 595 LB: -595 @ 922.16 933.01 c Restart #178 #Var: 595 LB: -595 @ 932.74 943.08 c Restart #179 #Var: 595 LB: -595 @ 942.81 953.44 c Restart #180 #Var: 595 LB: -595 @ 953.17 963.59 c Restart #181 #Var: 595 LB: -595 @ 963.31 973.89 c Restart #182 #Var: 595 LB: -595 @ 973.61 984.81 c Restart #183 #Var: 595 LB: -595 @ 984.53 995.51 c Restart #184 #Var: 595 LB: -595 @ 995.23 995.62 c Sol. found (all assignments made)... 995.63 c Sol. found (all assignments made)... 995.65 c Sol. found (all assignments made)... 995.69 c Sol. found (all assignments made)... 995.70 c Sol. found (all assignments made)... 1006.33 c Restart #185 #Var: 595 LB: -595 @ 1006 1012.49 c Sol. found (all assignments made)... 1017.54 c Restart #186 #Var: 595 LB: -595 @ 1017.3 1028.29 c Restart #187 #Var: 595 LB: -595 @ 1028 1039.12 c Restart #188 #Var: 595 LB: -595 @ 1038.8 1050.06 c Restart #189 #Var: 595 LB: -595 @ 1049.8 1060.63 c Restart #190 #Var: 595 LB: -595 @ 1060.3 1071.54 c Restart #191 #Var: 595 LB: -595 @ 1071.2 1082.33 c Restart #192 #Var: 595 LB: -595 @ 1082 1093.57 c Restart #193 #Var: 595 LB: -595 @ 1093.3 1104.74 c Restart #194 #Var: 595 LB: -595 @ 1104.4 1116.10 c Restart #195 #Var: 595 LB: -595 @ 1115.8 1127.32 c Restart #196 #Var: 595 LB: -595 @ 1127 1138.04 c Restart #197 #Var: 595 LB: -595 @ 1137.7 1149.20 c Restart #198 #Var: 595 LB: -595 @ 1148.9 1160.76 c Restart #199 #Var: 595 LB: -595 @ 1160.4 1172.30 c Restart #200 #Var: 595 LB: -595 @ 1172 1184.16 c Restart #201 #Var: 595 LB: -595 @ 1183.8 1196.25 c Restart #202 #Var: 595 LB: -595 @ 1195.9 1207.68 c Restart #203 #Var: 595 LB: -595 @ 1207.3 1219.12 c Restart #204 #Var: 595 LB: -595 @ 1218.8 1230.61 c Restart #205 #Var: 595 LB: -595 @ 1230.3 1242.44 c Restart #206 #Var: 595 LB: -595 @ 1242.1 1254.02 c Restart #207 #Var: 595 LB: -595 @ 1253.7 1266.78 c Restart #208 #Var: 595 LB: -595 @ 1266.4 1279.25 c Restart #209 #Var: 595 LB: -595 @ 1278.9 1291.41 c Restart #210 #Var: 595 LB: -595 @ 1291 1303.30 c Restart #211 #Var: 595 LB: -595 @ 1302.9 1315.30 c Restart #212 #Var: 595 LB: -595 @ 1314.9 1327.37 c Restart #213 #Var: 595 LB: -595 @ 1327 1339.52 c Restart #214 #Var: 595 LB: -595 @ 1339.1 1352.20 c Restart #215 #Var: 595 LB: -595 @ 1351.8 1364.20 c Restart #216 #Var: 595 LB: -595 @ 1363.8 1377.38 c Restart #217 #Var: 595 LB: -595 @ 1377 1390.45 c Restart #218 #Var: 595 LB: -595 @ 1390.1 1402.72 c Restart #219 #Var: 595 LB: -595 @ 1402.3 1415.33 c Restart #220 #Var: 595 LB: -595 @ 1414.9 1427.62 c Restart #221 #Var: 595 LB: -595 @ 1427.2 1440.04 c Restart #222 #Var: 595 LB: -595 @ 1439.6 1452.68 c Restart #223 #Var: 595 LB: -595 @ 1452.3 1454.69 c Sol. found (all assignments made)... 1465.51 c Restart #224 #Var: 595 LB: -595 @ 1465.1 1478.48 c Restart #225 #Var: 595 LB: -595 @ 1478.1 1491.63 c Restart #226 #Var: 595 LB: -595 @ 1491.2 1504.96 c Restart #227 #Var: 595 LB: -595 @ 1504.5 1517.78 c Restart #228 #Var: 595 LB: -595 @ 1517.4 1530.77 c Restart #229 #Var: 595 LB: -595 @ 1530.3 1543.75 c Restart #230 #Var: 595 LB: -595 @ 1543.3 1557.72 c Restart #231 #Var: 595 LB: -595 @ 1557.3 1570.91 c Restart #232 #Var: 595 LB: -595 @ 1570.5 1574.88 c Sol. found (all assignments made)... 1583.84 c Restart #233 #Var: 595 LB: -595 @ 1583.4 1597.10 c Restart #234 #Var: 595 LB: -595 @ 1596.7 1610.49 c Restart #235 #Var: 595 LB: -595 @ 1610 1623.50 c Restart #236 #Var: 595 LB: -595 @ 1623.1 1637.85 c Restart #237 #Var: 595 LB: -595 @ 1637.4 1651.25 c Restart #238 #Var: 595 LB: -595 @ 1650.8 1664.88 c Restart #239 #Var: 595 LB: -595 @ 1664.4 1679.08 c Restart #240 #Var: 595 LB: -595 @ 1678.6 1692.71 c Restart #241 #Var: 595 LB: -595 @ 1692.2 1706.65 c Restart #242 #Var: 595 LB: -595 @ 1706.2 1718.28 c Sol. found (all assignments made)... 1720.22 c Restart #243 #Var: 595 LB: -595 @ 1719.7 1734.02 c Restart #244 #Var: 595 LB: -595 @ 1733.5 1747.88 c Restart #245 #Var: 595 LB: -595 @ 1747.4 1761.44 c Restart #246 #Var: 595 LB: -595 @ 1760.9 1763.10 c Sol. found (all assignments made)... 1774.87 c Restart #247 #Var: 595 LB: -595 @ 1774.3 1779.89 c Sol. found (all assignments made)... 1780.05 c Sol. found (all assignments made)... 1780.05 c Sol. found (all assignments made)... 1780.05 c Sol. found (all assignments made)... 1780.12 c Sol. found (all assignments made)... 1780.12 c Sol. found (all assignments made)... 1780.12 c Sol. found (all assignments made)... 1780.13 c Sol. found (all assignments made)... 1780.13 c Sol. found (all assignments made)... 1780.15 c Sol. found (all assignments made)... 1780.15 c Sol. found (all assignments made)... 1780.43 c Sol. found (all assignments made)... 1780.51 c Sol. found (all assignments made)... 1781.73 c Sol. found (all assignments made)... 1781.73 c Sol. found (all assignments made)... 1781.93 c Sol. found (all assignments made)... 1781.93 c Sol. found (all assignments made)... 1782.01 c Sol. found (all assignments made)... 1782.01 c Sol. found (all assignments made)... 1785.14 c Sol. found (all assignments made)... 1785.14 c Sol. found (all assignments made)... 1786.38 c Sol. found (all assignments made)... 1786.38 c Sol. found (all assignments made)... 1786.45 c Sol. found (all assignments made)... 1787.11 c Sol. found (all assignments made)... 1787.11 c Sol. found (all assignments made)... 1787.11 c Sol. found (all assignments made)... 1787.13 c Sol. found (all assignments made)... 1787.13 c Sol. found (all assignments made)... 1787.14 c Sol. found (all assignments made)... 1787.14 c Sol. found (all assignments made)... 1787.14 c Sol. found (all assignments made)... 1787.14 c Sol. found (all assignments made)... 1787.14 c Sol. found (all assignments made)... 1787.15 c Sol. found (all assignments made)... 1787.15 c Sol. found (all assignments made)... 1787.15 c Sol. found (all assignments made)... 1787.16 c Sol. found (all assignments made)... 1787.17 c Sol. found (all assignments made)... 1787.18 c Sol. found (all assignments made)... 1787.19 c Sol. found (all assignments made)... 1787.19 c Sol. found (all assignments made)... 1787.19 c Sol. found (all assignments made)... 1787.19 c Sol. found (all assignments made)... 1787.19 c Sol. found (all assignments made)... 1787.21 c Sol. found (all assignments made)... 1787.21 c Sol. found (all assignments made)... 1787.25 c Sol. found (all assignments made)... 1787.25 c Sol. found (all assignments made)... 1787.26 c Sol. found (all assignments made)... 1787.26 c Sol. found (all assignments made)... 1787.27 c Sol. found (all assignments made)... 1787.31 c Sol. found (all assignments made)... 1787.31 c Sol. found (all assignments made)... 1787.31 c Sol. found (all assignments made)... 1787.33 c Sol. found (all assignments made)... 1787.33 c Sol. found (all assignments made)... 1787.33 c Sol. found (all assignments made)... 1787.33 c Sol. found (all assignments made)... 1787.92 c Sol. found (all assignments made)... 1787.94 c Sol. found (all assignments made)... 1787.94 c Sol. found (all assignments made)... 1787.94 c Sol. found (all assignments made)... 1788.38 c Sol. found (all assignments made)... 1788.38 c Sol. found (all assignments made)... 1788.62 c Restart #248 #Var: 595 LB: -595 @ 1788.1 1800.54 s SATISFIABLE 1800.54 c Cost: -30 1800.54 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 1800.54 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 1800.54 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 1800.54 v -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 1800.54 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 x491 1800.54 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 1800.54 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 1800.54 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 1800.54 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 1800.54 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 1800.54 v -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 1800.54 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 1800.54 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 1800.54 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 1800.54 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 1800.54 v -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 1800.54 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 1800.54 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 1800.54 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 1800.54 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 1800.54 v -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 1800.54 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 1800.54 v -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 1800.54 v -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 1800.54 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 1800.54 v -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 1800.54 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 1800.54 v -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.54 c Exit Code: 10 1800.54 c Total time: 1800 s
OK -30
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/node43/watcher-40522-1149301907 -o ROOT/results/node43/solver-40522-1149301907 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/40522-1149301907/instance-40522-1149301907.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1797376/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=4928 CPUtime=0 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 288 0 0 0 0 0 0 0 19 0 1 0 195857465 5046272 257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5197594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 1232 262 172 55 0 124 0 [startup+10.0013 s] /proc/loadavg: 0.93 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1765648/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=41812 CPUtime=9.98 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 9370 0 0 0 993 5 0 0 25 0 1 0 195857465 42815488 8333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 10453 8333 413 55 0 9345 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 41812 [startup+20.0072 s] /proc/loadavg: 0.94 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774288/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=27764 CPUtime=19.98 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 92739 0 0 0 1954 44 0 0 25 0 1 0 195857465 28430336 6186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5162293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 6941 6186 436 55 0 5833 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 27764 [startup+30.013 s] /proc/loadavg: 0.95 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774032/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=27856 CPUtime=29.99 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 92817 0 0 0 2953 46 0 0 25 0 1 0 195857465 28524544 6209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 6964 6209 436 55 0 5856 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 27856 [startup+40.0189 s] /proc/loadavg: 0.96 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774096/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=27900 CPUtime=39.99 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 92857 0 0 0 3952 47 0 0 25 0 1 0 195857465 28569600 6220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 6975 6220 436 55 0 5867 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 27900 [startup+50.0247 s] /proc/loadavg: 0.96 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774096/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=27968 CPUtime=49.99 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 92917 0 0 0 4951 48 0 0 25 0 1 0 195857465 28639232 6237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5165688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 6992 6237 436 55 0 5884 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 27968 [startup+60.0306 s] /proc/loadavg: 0.97 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774160/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28108 CPUtime=59.99 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93001 0 0 0 5950 49 0 0 25 0 1 0 195857465 28782592 6240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7027 6240 436 55 0 5919 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 28108 [startup+70.0365 s] /proc/loadavg: 0.97 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774096/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28048 CPUtime=69.99 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93026 0 0 0 6949 50 0 0 25 0 1 0 195857465 28721152 6257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7012 6257 436 55 0 5904 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 28048 [startup+80.0423 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774096/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28024 CPUtime=80 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93026 0 0 0 7948 52 0 0 25 0 1 0 195857465 28696576 6251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7006 6251 436 55 0 5898 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 28024 [startup+90.0482 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774096/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28012 CPUtime=90 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93036 0 0 0 8947 53 0 0 25 0 1 0 195857465 28684288 6227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7003 6227 436 55 0 5895 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 28012 [startup+100.054 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774160/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28040 CPUtime=100.01 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93054 0 0 0 9946 55 0 0 25 0 1 0 195857465 28712960 6236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7010 6236 436 55 0 5902 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 28040 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774160/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28052 CPUtime=110.01 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93072 0 0 0 10945 56 0 0 25 0 1 0 195857465 28725248 6254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7013 6254 436 55 0 5905 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 28052 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4847 /proc/meminfo: memFree=1774160/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28052 CPUtime=120.01 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93072 0 0 0 11943 58 0 0 25 0 1 0 195857465 28725248 6254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5172898 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7013 6254 436 55 0 5905 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 28052 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4849 /proc/meminfo: memFree=1774096/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28184 CPUtime=130.02 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93086 0 0 0 12942 60 0 0 25 0 1 0 195857465 28860416 6268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7046 6268 436 55 0 5938 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 28184 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4849 /proc/meminfo: memFree=1774032/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28184 CPUtime=140.02 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93106 0 0 0 13941 61 0 0 25 0 1 0 195857465 28860416 6288 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7046 6288 436 55 0 5938 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 28184 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4849 /proc/meminfo: memFree=1773712/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28504 CPUtime=150.03 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93173 0 0 0 14940 63 0 0 25 0 1 0 195857465 29188096 6354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5166764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7126 6354 436 55 0 6018 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 28504 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4849 /proc/meminfo: memFree=1773840/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28128 CPUtime=160.03 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93173 0 0 0 15939 64 0 0 25 0 1 0 195857465 28803072 6277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7032 6277 436 55 0 5924 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 28128 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4849 /proc/meminfo: memFree=1773968/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=27992 CPUtime=170.03 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93173 0 0 0 16938 65 0 0 25 0 1 0 195857465 28663808 6243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 6998 6243 436 55 0 5890 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 27992 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4849 /proc/meminfo: memFree=1773968/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28160 CPUtime=180.03 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93199 0 0 0 17937 66 0 0 25 0 1 0 195857465 28835840 6269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7040 6269 436 55 0 5932 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 28160 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4849 /proc/meminfo: memFree=1773968/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28160 CPUtime=190.03 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93199 0 0 0 18936 67 0 0 25 0 1 0 195857465 28835840 6269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7040 6269 436 55 0 5932 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 28160 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4849 /proc/meminfo: memFree=1774224/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=27896 CPUtime=200.04 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 93225 0 0 0 19935 69 0 0 25 0 1 0 195857465 28565504 6212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 6974 6212 436 55 0 5866 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 27896 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4849 /proc/meminfo: memFree=1774032/2055920 swapFree=4180880/4192956 ################ # More data... # ################ /proc/4847/statm: 7045 6290 436 55 0 5937 0 Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 28180 [startup+1771.03 s] /proc/loadavg: 1.00 0.99 0.92 2/70 4970 /proc/meminfo: memFree=1772320/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28180 CPUtime=1770.5 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94357 0 0 0 176752 298 0 0 25 0 1 0 195857465 28856320 6290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7045 6290 436 55 0 5937 0 Current children cumulated CPU time (s) 1770.5 Current children cumulated vsize (Kb) 28180 [startup+1781.03 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773192/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1780.49 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 177749 300 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547493 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1780.49 Current children cumulated vsize (Kb) 28312 [startup+1782.04 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773192/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1781.49 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 177849 300 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5164754 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 28312 [startup+1783.04 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1782.5 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 177949 301 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5160976 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 28312 [startup+1784.05 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1783.51 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 178050 301 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 28312 [startup+1785.05 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1784.51 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 178150 301 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 28312 [startup+1786.06 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1785.52 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 178251 301 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 28312 [startup+1787.06 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1786.52 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 178351 301 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 28312 [startup+1788.07 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1787.53 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 178451 302 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525068 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 28312 [startup+1789.07 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1788.53 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 178551 302 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5164980 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 28312 [startup+1790.08 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1789.53 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 178651 302 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 28312 [startup+1791.08 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1790.54 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 178752 302 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 28312 [startup+1792.09 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1791.54 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 178852 302 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 28312 [startup+1793.09 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1792.55 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 178953 302 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 28312 [startup+1794.1 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1793.55 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 179053 302 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 28312 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1794.55 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 179153 302 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 28312 [startup+1796.11 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1795.56 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 179254 302 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 28312 [startup+1797.11 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28312 CPUtime=1796.56 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94382 0 0 0 179354 302 0 0 25 0 1 0 195857465 28991488 6315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7078 6315 436 55 0 5970 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 28312 [startup+1798.11 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28444 CPUtime=1797.56 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94393 0 0 0 179454 302 0 0 25 0 1 0 195857465 29126656 6326 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7111 6326 436 55 0 6003 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 28444 [startup+1799.12 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28444 CPUtime=1798.57 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94393 0 0 0 179555 302 0 0 25 0 1 0 195857465 29126656 6326 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7111 6326 436 55 0 6003 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 28444 [startup+1800.12 s] /proc/loadavg: 1.00 0.99 0.92 2/64 5044 /proc/meminfo: memFree=1773200/2055920 swapFree=4180880/4192956 [pid=4847] ppid=4845 vsize=28576 CPUtime=1799.58 /proc/4847/stat : 4847 (bsolo) R 4845 4847 4801 0 -1 0 94431 0 0 0 179655 303 0 0 25 0 1 0 195857465 29261824 6364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5165752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4847/statm: 7144 6364 436 55 0 6036 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 28576 Child status: 10 Real time (s): 1800.55 CPU time (s): 1800.01 CPU user time (s): 1796.97 CPU system time (s): 3.03454 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (Kb): 41812
Begin job on node43 on Sat Jun 3 02:31:47 UTC 2006 FILE ID= 40522-1149301907 PBS_JOBID= 307401 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/40522-1149301907/instance-40522-1149301907.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-40522-1149301907 -o ROOT/results/node43/solver-40522-1149301907 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/40522-1149301907/instance-40522-1149301907.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e RANDOM SEED= 82839846 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1797584 kB Buffers: 22268 kB Cached: 175160 kB SwapCached: 3716 kB Active: 51384 kB Inactive: 154636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797584 kB SwapTotal: 4192956 kB SwapFree: 4180880 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14828 kB Slab: 38384 kB Committed_AS: 290800 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Sat Jun 3 03:01:48 UTC 2006