Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -27 | 1800.01 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb |
MD5SUM | 7bb05c60facd55e51c4cfcaa0e217e6e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 131.514 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | YES |
Number of variables | 450 |
Total number of constraints | 17831 |
Number of constraints which are clauses | 17831 |
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 | 450 |
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 | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
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.26 c Initial problem consists of 450 variables and 17831 constraints. 1.27 c No problem reductions applied in OPT. instance. 1.27 c preprocess terminated. Elapsed time: 1.267 1.27 c After prepocess the problem consists of 450 variables and 17831 constraints. 1.27 c Initial Lower Bound: -450 1.29 c Sol. found (all assignments made)... 1.29 o -1 1.29 c NEW SOLUTION FOUND: -1 @ 1.28 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 o -2 1.29 c NEW SOLUTION FOUND: -2 @ 1.281 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 o -3 1.29 c NEW SOLUTION FOUND: -3 @ 1.283 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.34 c Restart #1 #Var: 450 LB: -450 @ 1.333 1.35 c Sol. found (all assignments made)... 1.35 o -23 1.35 c NEW SOLUTION FOUND: -23 @ 1.345 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.44 c Restart #2 #Var: 450 LB: -450 @ 1.428 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.57 c Restart #3 #Var: 450 LB: -450 @ 1.557 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.73 c Restart #4 #Var: 450 LB: -450 @ 1.724 1.75 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.78 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.94 c Restart #5 #Var: 450 LB: -450 @ 1.925 1.95 c Sol. found (all assignments made)... 1.95 o -24 1.95 c NEW SOLUTION FOUND: -24 @ 1.939 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.17 c Restart #6 #Var: 450 LB: -450 @ 2.159 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.36 c Sol. found (all assignments made)... 2.36 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.38 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.43 c Sol. found (all assignments made)... 2.45 c Restart #7 #Var: 450 LB: -450 @ 2.434 2.66 c Sol. found (all assignments made)... 2.66 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.70 c Sol. found (all assignments made)... 2.76 c Restart #8 #Var: 450 LB: -450 @ 2.748 2.78 c Sol. found (all assignments made)... 2.78 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.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.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.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.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.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 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.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 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.92 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.92 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.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 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.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.05 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.07 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.11 c Restart #9 #Var: 450 LB: -450 @ 3.091 8.94 c CHANGE to MIS mode... UB: -24 MIS: -230 LPR: -196 (0.5397) Diff: 1.1735 8.94 c Restart #0 #Var: 450 LB: -450 @ 8.886 9.03 c Restart #1 #Var: 450 LB: -450 @ 8.978 9.16 c Restart #2 #Var: 450 LB: -228 @ 9.114 9.35 c Restart #3 #Var: 450 LB: -230 @ 9.296 9.57 c Restart #4 #Var: 450 LB: -227 @ 9.517 9.83 c Restart #5 #Var: 450 LB: -450 @ 9.778 10.13 c Restart #6 #Var: 450 LB: -450 @ 10.083 10.17 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.49 c Restart #7 #Var: 450 LB: -228 @ 10.443 10.90 c Restart #8 #Var: 450 LB: -229 @ 10.847 11.34 c Restart #9 #Var: 450 LB: -228 @ 11.29 11.84 c Restart #10 #Var: 450 LB: -228 @ 11.785 12.14 c Sol. found (all assignments made)... 12.14 c Sol. found (all assignments made)... 12.36 c Restart #11 #Var: 450 LB: -229 @ 12.306 12.52 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 o -25 12.66 c NEW SOLUTION FOUND: -25 @ 12.609 13.19 c Restart #12 #Var: 450 LB: -229 @ 13.143 13.83 c Restart #13 #Var: 450 LB: -228 @ 13.775 13.92 c Sol. found (all assignments made)... 13.92 c Sol. found (all assignments made)... 14.50 c Restart #14 #Var: 450 LB: -230 @ 14.449 15.23 c Restart #15 #Var: 450 LB: -450 @ 15.176 16.01 c Restart #16 #Var: 450 LB: -450 @ 15.954 16.77 c Restart #17 #Var: 450 LB: -450 @ 16.714 17.58 c Restart #18 #Var: 450 LB: -450 @ 17.531 17.76 c Sol. found (all assignments made)... 17.77 c Sol. found (all assignments made)... 17.77 c Sol. found (all assignments made)... 17.77 c Sol. found (all assignments made)... 17.77 c Sol. found (all assignments made)... 17.77 c Sol. found (all assignments made)... 17.77 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.78 o -26 17.78 c NEW SOLUTION FOUND: -26 @ 17.729 17.78 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.79 c Sol. found (all assignments made)... 17.79 c Sol. found (all assignments made)... 17.79 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.81 c Sol. found (all assignments made)... 17.81 c Sol. found (all assignments made)... 17.83 c Sol. found (all assignments made)... 17.87 c Sol. found (all assignments made)... 17.90 c Sol. found (all assignments made)... 17.90 c Sol. found (all assignments made)... 17.90 c Sol. found (all assignments made)... 17.90 c Sol. found (all assignments made)... 17.91 c Sol. found (all assignments made)... 17.91 c Sol. found (all assignments made)... 17.92 c Sol. found (all assignments made)... 17.92 c Sol. found (all assignments made)... 17.92 c Sol. found (all assignments made)... 17.92 c Sol. found (all assignments made)... 17.92 c Sol. found (all assignments made)... 17.92 c Sol. found (all assignments made)... 17.93 c Sol. found (all assignments made)... 17.93 c Sol. found (all assignments made)... 17.94 c Sol. found (all assignments made)... 17.96 c Sol. found (all assignments made)... 17.98 c Sol. found (all assignments made)... 18.59 c Restart #19 #Var: 450 LB: -450 @ 18.539 19.55 c Restart #20 #Var: 450 LB: -450 @ 19.501 20.55 c Restart #21 #Var: 450 LB: -450 @ 20.495 21.58 c Restart #22 #Var: 450 LB: -450 @ 21.527 22.66 c Restart #23 #Var: 450 LB: -450 @ 22.607 23.73 c Restart #24 #Var: 450 LB: -450 @ 23.677 24.89 c Restart #25 #Var: 450 LB: -450 @ 24.838 26.06 c Restart #26 #Var: 450 LB: -450 @ 26.007 27.29 c Restart #27 #Var: 450 LB: -450 @ 27.228 28.66 c Restart #28 #Var: 450 LB: -450 @ 28.601 29.98 c Restart #29 #Var: 450 LB: -450 @ 29.921 31.41 c Restart #30 #Var: 450 LB: -227 @ 31.353 32.80 c Restart #31 #Var: 450 LB: -450 @ 32.745 34.22 c Restart #32 #Var: 450 LB: -450 @ 34.165 35.13 c Sol. found (all assignments made)... 35.14 c Sol. found (all assignments made)... 35.15 c Sol. found (all assignments made)... 35.77 c Restart #33 #Var: 450 LB: -450 @ 35.708 37.39 c Restart #34 #Var: 450 LB: -228 @ 37.325 39.04 c Restart #35 #Var: 450 LB: -450 @ 38.977 40.73 c Restart #36 #Var: 450 LB: -450 @ 40.67 42.40 c Restart #37 #Var: 450 LB: -450 @ 42.338 44.14 c Restart #38 #Var: 450 LB: -450 @ 44.082 45.95 c Restart #39 #Var: 450 LB: -450 @ 45.892 47.84 c Restart #40 #Var: 450 LB: -450 @ 47.775 49.79 c Restart #41 #Var: 450 LB: -450 @ 49.721 51.69 c Restart #42 #Var: 450 LB: -228 @ 51.627 53.71 c Restart #43 #Var: 450 LB: -450 @ 53.64 55.77 c Restart #44 #Var: 450 LB: -450 @ 55.704 57.89 c Restart #45 #Var: 450 LB: -450 @ 57.824 60.06 c Restart #46 #Var: 450 LB: -228 @ 59.987 62.31 c Restart #47 #Var: 450 LB: -450 @ 62.238 64.48 c Restart #48 #Var: 450 LB: -450 @ 64.407 66.73 c Restart #49 #Var: 450 LB: -450 @ 66.656 68.98 c Restart #50 #Var: 450 LB: -450 @ 68.904 71.32 c Restart #51 #Var: 450 LB: -450 @ 71.249 73.16 c Sol. found (all assignments made)... 73.66 c Restart #52 #Var: 450 LB: -450 @ 73.583 76.09 c Restart #53 #Var: 450 LB: -450 @ 76.019 78.65 c Restart #54 #Var: 450 LB: -450 @ 78.572 81.11 c Restart #55 #Var: 450 LB: -229 @ 81.035 83.65 c Restart #56 #Var: 450 LB: -450 @ 83.576 86.25 c Restart #57 #Var: 450 LB: -450 @ 86.171 88.88 c Restart #58 #Var: 450 LB: -230 @ 88.802 91.46 c Sol. found (all assignments made)... 91.55 c Restart #59 #Var: 450 LB: -450 @ 91.47 94.18 c Restart #60 #Var: 450 LB: -450 @ 94.101 96.87 c Restart #61 #Var: 450 LB: -450 @ 96.787 99.77 c Restart #62 #Var: 450 LB: -450 @ 99.689 102.68 c Restart #63 #Var: 450 LB: -450 @ 102.6 105.51 c Restart #64 #Var: 450 LB: -450 @ 105.43 108.03 c Sol. found (all assignments made)... 108.53 c Restart #65 #Var: 450 LB: -229 @ 108.44 111.63 c Restart #66 #Var: 450 LB: -450 @ 111.55 113.61 c Sol. found (all assignments made)... 113.61 c Sol. found (all assignments made)... 113.61 c Sol. found (all assignments made)... 114.68 c Restart #67 #Var: 450 LB: -450 @ 114.59 117.71 c Restart #68 #Var: 450 LB: -450 @ 117.63 120.91 c Restart #69 #Var: 450 LB: -450 @ 120.82 124.10 c Restart #70 #Var: 450 LB: -450 @ 124.01 127.32 c Restart #71 #Var: 450 LB: -450 @ 127.23 130.54 c Restart #72 #Var: 450 LB: -450 @ 130.45 133.89 c Restart #73 #Var: 450 LB: -450 @ 133.79 137.24 c Restart #74 #Var: 450 LB: -450 @ 137.14 140.55 c Restart #75 #Var: 450 LB: -450 @ 140.45 144.06 c Restart #76 #Var: 450 LB: -450 @ 143.96 147.54 c Restart #77 #Var: 450 LB: -450 @ 147.44 150.97 c Restart #78 #Var: 450 LB: -450 @ 150.88 152.24 c Sol. found (all assignments made)... 154.72 c Restart #79 #Var: 450 LB: -450 @ 154.62 158.25 c Restart #80 #Var: 450 LB: -450 @ 158.15 161.98 c Restart #81 #Var: 450 LB: -450 @ 161.87 164.27 c Sol. found (all assignments made)... 165.51 c Restart #82 #Var: 450 LB: -450 @ 165.41 169.19 c Restart #83 #Var: 450 LB: -450 @ 169.09 172.92 c Restart #84 #Var: 450 LB: -450 @ 172.81 176.94 c Restart #85 #Var: 450 LB: -450 @ 176.83 180.98 c Restart #86 #Var: 450 LB: -450 @ 180.87 181.70 c Sol. found (all assignments made)... 181.70 c Sol. found (all assignments made)... 183.42 c Sol. found (all assignments made)... 184.79 c Restart #87 #Var: 450 LB: -450 @ 184.68 188.84 c Restart #88 #Var: 450 LB: -450 @ 188.73 192.87 c Restart #89 #Var: 450 LB: -450 @ 192.76 196.96 c Restart #90 #Var: 450 LB: -450 @ 196.85 201.06 c Restart #91 #Var: 450 LB: -450 @ 200.94 205.23 c Restart #92 #Var: 450 LB: -450 @ 205.11 209.44 c Restart #93 #Var: 450 LB: -450 @ 209.32 213.73 c Restart #94 #Var: 450 LB: -450 @ 213.61 218.24 c Restart #95 #Var: 450 LB: -450 @ 218.12 222.76 c Restart #96 #Var: 450 LB: -450 @ 222.63 227.18 c Restart #97 #Var: 450 LB: -450 @ 227.06 231.59 c Restart #98 #Var: 450 LB: -450 @ 231.46 236.28 c Restart #99 #Var: 450 LB: -450 @ 236.15 240.84 c Restart #100 #Var: 450 LB: -450 @ 240.71 245.44 c Restart #101 #Var: 450 LB: -450 @ 245.31 249.84 c Restart #102 #Var: 450 LB: -450 @ 249.71 254.40 c Restart #103 #Var: 450 LB: -450 @ 254.27 255.07 c Sol. found (all assignments made)... 259.25 c Restart #104 #Var: 450 LB: -450 @ 259.11 264.12 c Restart #105 #Var: 450 LB: -450 @ 263.98 268.84 c Restart #106 #Var: 450 LB: -450 @ 268.69 273.99 c Restart #107 #Var: 450 LB: -450 @ 273.85 278.84 c Restart #108 #Var: 450 LB: -450 @ 278.7 283.63 c Restart #109 #Var: 450 LB: -450 @ 283.46 288.86 c Restart #110 #Var: 450 LB: -450 @ 288.68 293.82 c Restart #111 #Var: 450 LB: -450 @ 293.62 298.84 c Restart #112 #Var: 450 LB: -450 @ 298.63 303.88 c Restart #113 #Var: 450 LB: -450 @ 303.67 309.00 c Restart #114 #Var: 450 LB: -450 @ 308.79 314.23 c Restart #115 #Var: 450 LB: -450 @ 314.01 319.54 c Restart #116 #Var: 450 LB: -450 @ 319.32 319.76 c Sol. found (all assignments made)... 319.77 c Sol. found (all assignments made)... 323.05 c Sol. found (all assignments made)... 323.05 o -27 323.05 c NEW SOLUTION FOUND: -27 @ 322.83 323.05 c Sol. found (all assignments made)... 323.05 c Sol. found (all assignments made)... 328.16 c Restart #117 #Var: 450 LB: -450 @ 327.94 333.39 c Restart #118 #Var: 450 LB: -450 @ 333.17 339.03 c Restart #119 #Var: 450 LB: -450 @ 338.8 344.42 c Restart #120 #Var: 450 LB: -450 @ 344.2 350.19 c Restart #121 #Var: 450 LB: -450 @ 349.96 355.92 c Restart #122 #Var: 450 LB: -450 @ 355.7 361.64 c Restart #123 #Var: 450 LB: -450 @ 361.41 367.45 c Restart #124 #Var: 450 LB: -450 @ 367.22 373.56 c Restart #125 #Var: 450 LB: -450 @ 373.32 379.18 c Restart #126 #Var: 450 LB: -450 @ 378.94 385.07 c Restart #127 #Var: 450 LB: -450 @ 384.83 391.00 c Restart #128 #Var: 450 LB: -450 @ 390.75 397.02 c Restart #129 #Var: 450 LB: -450 @ 396.77 402.85 c Restart #130 #Var: 450 LB: -450 @ 402.6 408.86 c Restart #131 #Var: 450 LB: -450 @ 408.62 414.86 c Restart #132 #Var: 450 LB: -450 @ 414.61 421.05 c Restart #133 #Var: 450 LB: -450 @ 420.8 427.26 c Restart #134 #Var: 450 LB: -450 @ 427 433.82 c Restart #135 #Var: 450 LB: -450 @ 433.56 440.10 c Restart #136 #Var: 450 LB: -450 @ 439.85 446.56 c Restart #137 #Var: 450 LB: -450 @ 446.3 452.84 c Restart #138 #Var: 450 LB: -450 @ 452.57 459.13 c Restart #139 #Var: 450 LB: -450 @ 458.87 465.45 c Restart #140 #Var: 450 LB: -450 @ 465.19 472.00 c Restart #141 #Var: 450 LB: -450 @ 471.74 478.71 c Restart #142 #Var: 450 LB: -450 @ 478.44 478.80 c Sol. found (all assignments made)... 478.81 c Sol. found (all assignments made)... 478.81 c Sol. found (all assignments made)... 478.82 c Sol. found (all assignments made)... 485.05 c Restart #143 #Var: 450 LB: -450 @ 484.78 491.70 c Restart #144 #Var: 450 LB: -450 @ 491.43 498.33 c Restart #145 #Var: 450 LB: -450 @ 498.05 504.99 c Restart #146 #Var: 450 LB: -450 @ 504.71 511.96 c Restart #147 #Var: 450 LB: -450 @ 511.68 518.74 c Restart #148 #Var: 450 LB: -450 @ 518.46 525.65 c Restart #149 #Var: 450 LB: -450 @ 525.36 532.52 c Restart #150 #Var: 450 LB: -450 @ 532.23 539.59 c Restart #151 #Var: 450 LB: -450 @ 539.3 546.96 c Restart #152 #Var: 450 LB: -450 @ 546.66 553.92 c Restart #153 #Var: 450 LB: -450 @ 553.62 560.89 c Restart #154 #Var: 450 LB: -450 @ 560.59 568.12 c Restart #155 #Var: 450 LB: -450 @ 567.82 575.52 c Restart #156 #Var: 450 LB: -450 @ 575.21 582.66 c Restart #157 #Var: 450 LB: -450 @ 582.35 590.16 c Restart #158 #Var: 450 LB: -450 @ 589.85 590.23 c Sol. found (all assignments made)... 597.29 c Restart #159 #Var: 450 LB: -450 @ 596.98 604.80 c Restart #160 #Var: 450 LB: -450 @ 604.49 612.17 c Restart #161 #Var: 450 LB: -450 @ 611.85 619.91 c Restart #162 #Var: 450 LB: -450 @ 619.59 627.48 c Restart #163 #Var: 450 LB: -450 @ 627.16 635.16 c Restart #164 #Var: 450 LB: -450 @ 634.84 642.86 c Restart #165 #Var: 450 LB: -450 @ 642.53 650.53 c Restart #166 #Var: 450 LB: -450 @ 650.2 658.03 c Restart #167 #Var: 450 LB: -450 @ 657.69 665.95 c Restart #168 #Var: 450 LB: -450 @ 665.61 673.67 c Restart #169 #Var: 450 LB: -450 @ 673.33 681.64 c Restart #170 #Var: 450 LB: -450 @ 681.3 689.44 c Restart #171 #Var: 450 LB: -450 @ 689.09 697.49 c Restart #172 #Var: 450 LB: -450 @ 697.15 705.39 c Restart #173 #Var: 450 LB: -450 @ 705.05 713.23 c Restart #174 #Var: 450 LB: -450 @ 712.88 721.45 c Restart #175 #Var: 450 LB: -450 @ 721.1 729.33 c Restart #176 #Var: 450 LB: -450 @ 728.98 737.32 c Restart #177 #Var: 450 LB: -450 @ 736.96 745.55 c Restart #178 #Var: 450 LB: -450 @ 745.18 754.31 c Restart #179 #Var: 450 LB: -450 @ 753.95 762.44 c Restart #180 #Var: 450 LB: -450 @ 762.07 770.74 c Restart #181 #Var: 450 LB: -450 @ 770.37 779.60 c Restart #182 #Var: 450 LB: -450 @ 779.23 788.12 c Restart #183 #Var: 450 LB: -450 @ 787.74 796.80 c Restart #184 #Var: 450 LB: -450 @ 796.42 805.19 c Restart #185 #Var: 450 LB: -450 @ 804.81 813.96 c Restart #186 #Var: 450 LB: -450 @ 813.57 822.63 c Restart #187 #Var: 450 LB: -450 @ 822.24 831.10 c Restart #188 #Var: 450 LB: -450 @ 830.71 838.84 c Sol. found (all assignments made)... 839.41 c Restart #189 #Var: 450 LB: -450 @ 839.02 848.13 c Restart #190 #Var: 450 LB: -450 @ 847.73 856.86 c Restart #191 #Var: 450 LB: -450 @ 856.46 865.58 c Restart #192 #Var: 450 LB: -450 @ 865.18 874.44 c Restart #193 #Var: 450 LB: -450 @ 874.03 883.34 c Restart #194 #Var: 450 LB: -450 @ 882.93 892.26 c Restart #195 #Var: 450 LB: -450 @ 891.84 901.27 c Restart #196 #Var: 450 LB: -450 @ 900.85 910.38 c Restart #197 #Var: 450 LB: -450 @ 909.96 919.60 c Restart #198 #Var: 450 LB: -450 @ 919.18 928.57 c Restart #199 #Var: 450 LB: -450 @ 928.14 937.99 c Restart #200 #Var: 450 LB: -450 @ 937.56 947.44 c Restart #201 #Var: 450 LB: -450 @ 947 957.15 c Restart #202 #Var: 450 LB: -450 @ 956.72 966.52 c Restart #203 #Var: 450 LB: -450 @ 966.08 976.46 c Restart #204 #Var: 450 LB: -450 @ 976.01 985.97 c Restart #205 #Var: 450 LB: -450 @ 985.53 995.37 c Restart #206 #Var: 450 LB: -450 @ 994.92 1005.03 c Restart #207 #Var: 450 LB: -450 @ 1004.6 1015.04 c Restart #208 #Var: 450 LB: -450 @ 1014.6 1024.85 c Restart #209 #Var: 450 LB: -450 @ 1024.4 1034.58 c Restart #210 #Var: 450 LB: -450 @ 1034.1 1044.31 c Restart #211 #Var: 450 LB: -450 @ 1043.8 1054.14 c Restart #212 #Var: 450 LB: -450 @ 1053.7 1063.98 c Restart #213 #Var: 450 LB: -450 @ 1063.5 1073.62 c Restart #214 #Var: 450 LB: -450 @ 1073.1 1083.38 c Restart #215 #Var: 450 LB: -450 @ 1082.9 1093.78 c Restart #216 #Var: 450 LB: -450 @ 1093.3 1104.03 c Restart #217 #Var: 450 LB: -450 @ 1103.5 1114.06 c Restart #218 #Var: 450 LB: -450 @ 1113.6 1124.67 c Restart #219 #Var: 450 LB: -450 @ 1124.2 1134.15 c Sol. found (all assignments made)... 1134.95 c Restart #220 #Var: 450 LB: -450 @ 1134.5 1145.35 c Restart #221 #Var: 450 LB: -450 @ 1144.9 1155.25 c Restart #222 #Var: 450 LB: -450 @ 1154.7 1165.51 c Restart #223 #Var: 450 LB: -450 @ 1165 1175.77 c Restart #224 #Var: 450 LB: -450 @ 1175.3 1185.86 c Restart #225 #Var: 450 LB: -450 @ 1185.3 1196.31 c Restart #226 #Var: 450 LB: -450 @ 1195.8 1207.14 c Restart #227 #Var: 450 LB: -450 @ 1206.6 1218.03 c Restart #228 #Var: 450 LB: -450 @ 1217.5 1228.70 c Restart #229 #Var: 450 LB: -450 @ 1228.2 1239.53 c Restart #230 #Var: 450 LB: -450 @ 1239 1250.04 c Restart #231 #Var: 450 LB: -450 @ 1249.5 1260.74 c Restart #232 #Var: 450 LB: -450 @ 1260.2 1271.29 c Restart #233 #Var: 450 LB: -450 @ 1270.8 1282.39 c Restart #234 #Var: 450 LB: -450 @ 1281.8 1293.98 c Restart #235 #Var: 450 LB: -450 @ 1293.4 1304.85 c Restart #236 #Var: 450 LB: -450 @ 1304.3 1315.21 c Restart #237 #Var: 450 LB: -450 @ 1314.6 1326.14 c Restart #238 #Var: 450 LB: -450 @ 1325.6 1337.04 c Restart #239 #Var: 450 LB: -450 @ 1336.5 1347.75 c Restart #240 #Var: 450 LB: -228 @ 1347.2 1358.98 c Restart #241 #Var: 450 LB: -450 @ 1358.4 1370.13 c Restart #242 #Var: 450 LB: -450 @ 1369.5 1381.45 c Restart #243 #Var: 450 LB: -450 @ 1380.9 1391.88 c Sol. found (all assignments made)... 1392.71 c Restart #244 #Var: 450 LB: -450 @ 1392.1 1404.25 c Restart #245 #Var: 450 LB: -450 @ 1403.7 1415.42 c Restart #246 #Var: 450 LB: -450 @ 1414.8 1427.23 c Restart #247 #Var: 450 LB: -450 @ 1426.6 1438.63 c Restart #248 #Var: 450 LB: -450 @ 1438 1450.31 c Restart #249 #Var: 450 LB: -450 @ 1449.7 1461.73 c Restart #250 #Var: 450 LB: -450 @ 1461.1 1473.52 c Restart #251 #Var: 450 LB: -450 @ 1472.9 1485.82 c Restart #252 #Var: 450 LB: -450 @ 1485.2 1497.06 c Restart #253 #Var: 450 LB: -450 @ 1496.4 1508.86 c Restart #254 #Var: 450 LB: -450 @ 1508.2 1521.41 c Restart #255 #Var: 450 LB: -450 @ 1520.8 1533.46 c Restart #256 #Var: 450 LB: -450 @ 1532.8 1545.63 c Restart #257 #Var: 450 LB: -450 @ 1545 1557.90 c Restart #258 #Var: 450 LB: -450 @ 1557.3 1569.37 c Restart #259 #Var: 450 LB: -450 @ 1568.7 1581.45 c Restart #260 #Var: 450 LB: -450 @ 1580.8 1593.71 c Restart #261 #Var: 450 LB: -450 @ 1593.1 1605.83 c Restart #262 #Var: 450 LB: -450 @ 1605.2 1618.18 c Restart #263 #Var: 450 LB: -450 @ 1617.5 1630.66 c Restart #264 #Var: 450 LB: -450 @ 1630 1643.07 c Restart #265 #Var: 450 LB: -450 @ 1642.4 1655.28 c Restart #266 #Var: 450 LB: -450 @ 1654.6 1667.77 c Restart #267 #Var: 450 LB: -450 @ 1667.1 1680.49 c Restart #268 #Var: 450 LB: -450 @ 1679.8 1692.87 c Restart #269 #Var: 450 LB: -450 @ 1692.2 1705.29 c Restart #270 #Var: 450 LB: -450 @ 1704.6 1717.83 c Restart #271 #Var: 450 LB: -450 @ 1717.1 1729.97 c Restart #272 #Var: 450 LB: -450 @ 1729.3 1742.76 c Restart #273 #Var: 450 LB: -450 @ 1742 1755.27 c Restart #274 #Var: 450 LB: -450 @ 1754.6 1767.99 c Restart #275 #Var: 450 LB: -450 @ 1767.3 1780.73 c Restart #276 #Var: 450 LB: -450 @ 1780 1793.56 c Restart #277 #Var: 450 LB: -450 @ 1792.8 1800.73 s SATISFIABLE 1800.73 c Cost: -27 1800.73 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 1800.73 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 1800.73 v -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 1800.73 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 1800.73 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 1800.73 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 1800.73 v -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1800.73 v -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1800.73 v x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262 1800.73 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 1800.73 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 1800.73 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 1800.73 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1800.73 v x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1800.73 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1800.73 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 1800.73 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1800.73 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 1800.73 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 1800.73 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 1800.73 v -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.73 c Exit Code: 10 1800.73 c Total time: 1800 s
OK -27
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/node5/watcher-40486-1149292581 -o ROOT/results/node5/solver-40486-1149292581 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node5/40486-1149292581/instance-40486-1149292581.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.91 1/64 32623 /proc/meminfo: memFree=1774168/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=4932 CPUtime=0 /proc/32623/stat : 32623 (bsolo) D 32621 32623 32577 0 -1 0 370 0 0 0 0 0 0 0 19 0 1 0 194861803 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 0 0 0 /proc/32623/statm: 1233 331 227 55 0 125 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756888/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19476 CPUtime=9.94 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53205 0 9 0 968 26 0 0 25 0 1 0 194861803 19943424 4153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4869 4153 437 55 0 3761 0 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 19476 [startup+20.0081 s] /proc/loadavg: 0.94 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756888/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19632 CPUtime=19.94 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53269 0 9 0 1966 28 0 0 25 0 1 0 194861803 20103168 4186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4908 4186 437 55 0 3800 0 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 19632 [startup+30.014 s] /proc/loadavg: 0.95 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756888/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19688 CPUtime=29.95 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53279 0 9 0 2965 30 0 0 25 0 1 0 194861803 20160512 4183 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4922 4183 437 55 0 3814 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 19688 [startup+40.02 s] /proc/loadavg: 0.96 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756888/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19676 CPUtime=39.95 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53298 0 9 0 3963 32 0 0 25 0 1 0 194861803 20148224 4202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8323224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4919 4202 437 55 0 3811 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 19676 [startup+50.0259 s] /proc/loadavg: 0.96 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756888/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19660 CPUtime=49.95 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53298 0 9 0 4961 34 0 0 25 0 1 0 194861803 20131840 4199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4915 4199 437 55 0 3807 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 19660 [startup+60.0319 s] /proc/loadavg: 0.97 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756824/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19728 CPUtime=59.96 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53312 0 9 0 5960 36 0 0 25 0 1 0 194861803 20201472 4188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4932 4188 437 55 0 3824 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 19728 [startup+70.0378 s] /proc/loadavg: 0.97 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756888/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19716 CPUtime=69.96 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53323 0 9 0 6959 37 0 0 25 0 1 0 194861803 20189184 4199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4929 4199 437 55 0 3821 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 19716 [startup+80.0448 s] /proc/loadavg: 0.98 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756888/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19496 CPUtime=79.96 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53323 0 9 0 7958 38 0 0 25 0 1 0 194861803 19963904 4158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4874 4158 437 55 0 3766 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 19496 [startup+90.0507 s] /proc/loadavg: 0.98 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756888/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19760 CPUtime=89.96 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53373 0 9 0 8957 39 0 0 25 0 1 0 194861803 20234240 4208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4940 4208 437 55 0 3832 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 19760 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756888/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19692 CPUtime=99.96 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53373 0 9 0 9956 40 0 0 25 0 1 0 194861803 20164608 4207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4923 4207 437 55 0 3815 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 19692 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756824/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19680 CPUtime=109.97 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53382 0 9 0 10955 42 0 0 25 0 1 0 194861803 20152320 4204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4920 4204 437 55 0 3812 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 19680 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756824/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19712 CPUtime=119.97 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53387 0 9 0 11953 44 0 0 25 0 1 0 194861803 20185088 4209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4928 4209 437 55 0 3820 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 19712 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756824/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19728 CPUtime=129.97 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53403 0 9 0 12951 46 0 0 25 0 1 0 194861803 20201472 4210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4932 4210 437 55 0 3824 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 19728 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756824/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19728 CPUtime=139.98 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53403 0 9 0 13950 48 0 0 25 0 1 0 194861803 20201472 4210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4932 4210 437 55 0 3824 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 19728 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756760/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19860 CPUtime=149.98 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53421 0 9 0 14948 50 0 0 25 0 1 0 194861803 20336640 4228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4965 4228 437 55 0 3857 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 19860 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756760/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19804 CPUtime=159.98 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53421 0 9 0 15947 51 0 0 25 0 1 0 194861803 20279296 4228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8324432 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4951 4228 437 55 0 3843 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 19804 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756760/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19784 CPUtime=169.98 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53421 0 9 0 16945 53 0 0 25 0 1 0 194861803 20258816 4228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4946 4228 437 55 0 3838 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 19784 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756760/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19740 CPUtime=179.99 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53421 0 9 0 17944 55 0 0 25 0 1 0 194861803 20213760 4219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618638 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4935 4219 437 55 0 3827 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 19740 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756760/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19804 CPUtime=189.99 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53440 0 9 0 18942 57 0 0 25 0 1 0 194861803 20279296 4220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4951 4220 437 55 0 3843 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 19804 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756760/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19804 CPUtime=199.99 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53447 0 9 0 19941 58 0 0 25 0 1 0 194861803 20279296 4227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4951 4227 437 55 0 3843 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 19804 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.91 2/64 32623 /proc/meminfo: memFree=1756696/2055920 swapFree=4180904/4192956 ################ # More data... # ################ /proc/32623/statm: 4987 4271 437 55 0 3879 0 Current children cumulated CPU time (s) 1760.37 Current children cumulated vsize (Kb) 19948 [startup+1771.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=19948 CPUtime=1770.37 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53793 0 9 0 176717 320 0 0 25 0 1 0 194861803 20426752 4271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 4987 4271 437 55 0 3879 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 19948 [startup+1781.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1780.38 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 177716 322 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1780.38 Current children cumulated vsize (Kb) 20080 [startup+1782.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1781.38 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 177816 322 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 20080 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1782.38 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 177916 322 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 20080 [startup+1784.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1783.38 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 178016 322 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 20080 [startup+1785.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1784.39 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 178117 322 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 20080 [startup+1786.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1785.39 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 178217 322 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 20080 [startup+1787.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1786.4 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 178318 322 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 20080 [startup+1788.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1787.41 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 178418 323 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 20080 [startup+1789.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1788.41 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 178518 323 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 20080 [startup+1790.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1789.42 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 178619 323 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 20080 [startup+1791.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1790.42 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 178719 323 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 20080 [startup+1792.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1791.42 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 178819 323 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 20080 [startup+1793.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1792.43 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 178919 324 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 20080 [startup+1794.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1793.43 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 179019 324 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8327809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 20080 [startup+1795.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1794.44 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 179120 324 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 20080 [startup+1796.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1795.44 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 179220 324 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 20080 [startup+1797.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1796.44 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 179320 324 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 20080 [startup+1798.19 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1797.44 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 179420 324 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (Kb) 20080 [startup+1799.19 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1798.46 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 179521 325 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 20080 [startup+1800.2 s] /proc/loadavg: 1.00 1.00 0.92 2/64 350 /proc/meminfo: memFree=1756312/2055920 swapFree=4180904/4192956 [pid=32623] ppid=32621 vsize=20080 CPUtime=1799.46 /proc/32623/stat : 32623 (bsolo) R 32621 32623 32577 0 -1 0 53795 0 9 0 179621 325 0 0 25 0 1 0 194861803 20561920 4273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32623/statm: 5020 4273 437 55 0 3912 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 20080 Child status: 10 Real time (s): 1800.74 CPU time (s): 1800.01 CPU user time (s): 1796.75 CPU system time (s): 3.2575 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (Kb): 20256
Begin job on node5 on Fri Jun 2 23:56:21 UTC 2006 FILE ID= 40486-1149292581 PBS_JOBID= 306927 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node5/40486-1149292581/instance-40486-1149292581.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-40486-1149292581 -o ROOT/results/node5/solver-40486-1149292581 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node5/40486-1149292581/instance-40486-1149292581.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7bb05c60facd55e51c4cfcaa0e217e6e RANDOM SEED= 672016965 /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.279 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.279 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: 1774376 kB Buffers: 22380 kB Cached: 197776 kB SwapCached: 3904 kB Active: 46316 kB Inactive: 182616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1774376 kB SwapTotal: 4192956 kB SwapFree: 4180904 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14944 kB Slab: 38648 kB Committed_AS: 269512 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node5 on Sat Jun 3 00:26:22 UTC 2006