Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | OPT | 62 | 271.315 | 271.4 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb |
MD5SUM | c2400ec88bd2efb16a03934d0b4c43da |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 62 |
Best CPU time to get the best result obtained on this benchmark | 0.221965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 62 |
Optimality of the best value was proved | YES |
Number of variables | 648 |
Total number of constraints | 1954 |
Number of constraints which are clauses | 1930 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 27 |
Number of terms in the objective function | 648 |
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 | 648 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 648 |
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.05 c Initial problem consists of 648 variables and 1954 constraints. 0.06 c No problem reductions applied in OPT. instance. 0.06 c preprocess terminated. Elapsed time: 0.055 0.06 c After prepocess the problem consists of 540 variables and 1738 constraints. 0.06 c Initial Lower Bound: 12 0.11 c Restart #1 #Var: 540 LB: 12 @ 0.097 0.19 c Restart #2 #Var: 540 LB: 12 @ 0.179 0.33 c Restart #3 #Var: 540 LB: 12 @ 0.325 0.51 c Restart #4 #Var: 540 LB: 12 @ 0.499 0.72 c Restart #5 #Var: 540 LB: 12 @ 0.709 1.00 c Restart #6 #Var: 540 LB: 12 @ 0.988 1.42 c Restart #7 #Var: 540 LB: 12 @ 1.416 1.87 c Restart #8 #Var: 540 LB: 12 @ 1.864 2.46 c Restart #9 #Var: 540 LB: 12 @ 2.45 3.13 c Restart #10 #Var: 540 LB: 12 @ 3.119 3.81 c Restart #11 #Var: 540 LB: 12 @ 3.8 4.97 c Restart #12 #Var: 540 LB: 12 @ 4.961 6.35 c Restart #13 #Var: 540 LB: 12 @ 6.338 8.18 c Restart #14 #Var: 540 LB: 12 @ 8.17 9.96 c Restart #15 #Var: 540 LB: 12 @ 9.942 12.64 c Restart #16 #Var: 540 LB: 12 @ 12.632 15.87 c Restart #17 #Var: 540 LB: 12 @ 15.856 18.48 c Restart #18 #Var: 540 LB: 12 @ 18.467 24.20 c Restart #19 #Var: 540 LB: 12 @ 24.184 30.02 c Restart #20 #Var: 540 LB: 12 @ 29.994 37.13 c Restart #21 #Var: 540 LB: 12 @ 37.111 45.80 c Restart #22 #Var: 540 LB: 12 @ 45.775 54.16 c Restart #23 #Var: 540 LB: 12 @ 54.14 64.71 c Restart #24 #Var: 540 LB: 12 @ 64.685 72.27 c Restart #25 #Var: 540 LB: 12 @ 72.243 83.72 c Restart #26 #Var: 540 LB: 12 @ 83.686 97.37 c Restart #27 #Var: 540 LB: 12 @ 97.335 114.33 c Restart #28 #Var: 540 LB: 12 @ 114.29 128.16 c Restart #29 #Var: 540 LB: 12 @ 128.12 144.78 c Restart #30 #Var: 540 LB: 12 @ 144.74 156.85 c Sol. found (all assignments made)... 156.85 o 72 156.85 c NEW SOLUTION FOUND: 72 @ 156.8 156.85 c Sol. found (all assignments made)... 156.85 o 70 156.85 c NEW SOLUTION FOUND: 70 @ 156.8 156.85 c Sol. found (all assignments made)... 156.85 c Sol. found (all assignments made)... 156.85 c Sol. found (all assignments made)... 156.85 c Sol. found (all assignments made)... 156.85 c Sol. found (all assignments made)... 156.85 c Sol. found (all assignments made)... 156.85 o 68 156.85 c NEW SOLUTION FOUND: 68 @ 156.8 156.88 c Sol. found (all assignments made)... 156.88 c Sol. found (all assignments made)... 156.88 c Sol. found (all assignments made)... 156.88 c Sol. found (all assignments made)... 156.88 c Sol. found (all assignments made)... 156.88 c Sol. found (all assignments made)... 156.88 c Sol. found (all assignments made)... 156.88 c Sol. found (all assignments made)... 156.88 c Sol. found (all assignments made)... 156.89 c Sol. found (all assignments made)... 156.89 c Sol. found (all assignments made)... 156.89 c Sol. found (all assignments made)... 156.89 c Sol. found (all assignments made)... 156.89 c Sol. found (all assignments made)... 156.89 c Sol. found (all assignments made)... 156.89 o 66 156.89 c NEW SOLUTION FOUND: 66 @ 156.84 156.89 c Sol. found (all assignments made)... 156.89 c Sol. found (all assignments made)... 156.94 c Sol. found (all assignments made)... 156.96 c Sol. found (all assignments made)... 156.96 c Sol. found (all assignments made)... 156.97 c Sol. found (all assignments made)... 156.97 c Sol. found (all assignments made)... 156.97 c Sol. found (all assignments made)... 156.97 c Sol. found (all assignments made)... 156.97 c Sol. found (all assignments made)... 156.97 c Sol. found (all assignments made)... 156.98 c Sol. found (all assignments made)... 156.98 c Sol. found (all assignments made)... 156.98 c Sol. found (all assignments made)... 156.98 c Sol. found (all assignments made)... 156.98 c Sol. found (all assignments made)... 156.98 c Sol. found (all assignments made)... 156.98 c Sol. found (all assignments made)... 156.99 c Sol. found (all assignments made)... 157.00 c Sol. found (all assignments made)... 157.00 c Sol. found (all assignments made)... 157.00 c Sol. found (all assignments made)... 157.00 c Sol. found (all assignments made)... 157.01 c Sol. found (all assignments made)... 157.01 c Sol. found (all assignments made)... 157.01 c Sol. found (all assignments made)... 157.02 c Sol. found (all assignments made)... 157.02 c Sol. found (all assignments made)... 157.04 c Sol. found (all assignments made)... 157.11 c Sol. found (all assignments made)... 157.11 c Sol. found (all assignments made)... 157.11 c Sol. found (all assignments made)... 157.12 c Sol. found (all assignments made)... 157.12 c Sol. found (all assignments made)... 157.12 c Sol. found (all assignments made)... 157.12 c Sol. found (all assignments made)... 157.30 c Sol. found (all assignments made)... 157.30 c Sol. found (all assignments made)... 157.30 c Sol. found (all assignments made)... 157.30 c Sol. found (all assignments made)... 157.30 c Sol. found (all assignments made)... 157.30 c Sol. found (all assignments made)... 157.31 c Sol. found (all assignments made)... 157.31 c Sol. found (all assignments made)... 157.31 c Sol. found (all assignments made)... 157.31 c Sol. found (all assignments made)... 157.31 c Sol. found (all assignments made)... 157.31 c Sol. found (all assignments made)... 157.31 c Sol. found (all assignments made)... 157.31 c Sol. found (all assignments made)... 157.32 c Sol. found (all assignments made)... 157.32 c Sol. found (all assignments made)... 157.32 c Sol. found (all assignments made)... 157.32 c Sol. found (all assignments made)... 157.32 c Sol. found (all assignments made)... 157.32 c Sol. found (all assignments made)... 157.32 c Sol. found (all assignments made)... 157.32 c Sol. found (all assignments made)... 157.32 c Sol. found (all assignments made)... 157.32 c Sol. found (all assignments made)... 157.33 c Sol. found (all assignments made)... 157.33 c Sol. found (all assignments made)... 157.33 c Sol. found (all assignments made)... 157.33 c Sol. found (all assignments made)... 157.33 c Sol. found (all assignments made)... 157.33 c Sol. found (all assignments made)... 157.34 c Sol. found (all assignments made)... 157.34 c Sol. found (all assignments made)... 157.35 c Sol. found (all assignments made)... 157.36 c Sol. found (all assignments made)... 157.39 c Sol. found (all assignments made)... 157.40 c Sol. found (all assignments made)... 157.40 c Sol. found (all assignments made)... 157.41 c Sol. found (all assignments made)... 157.41 c Sol. found (all assignments made)... 157.41 c Sol. found (all assignments made)... 157.41 c Sol. found (all assignments made)... 157.43 c Sol. found (all assignments made)... 157.43 c Sol. found (all assignments made)... 157.43 c Sol. found (all assignments made)... 157.43 c Sol. found (all assignments made)... 157.43 c Sol. found (all assignments made)... 157.44 c Sol. found (all assignments made)... 157.44 c Sol. found (all assignments made)... 157.44 c Sol. found (all assignments made)... 157.44 c Sol. found (all assignments made)... 157.92 c Sol. found (all assignments made)... 157.93 c Sol. found (all assignments made)... 157.93 c Sol. found (all assignments made)... 157.94 c Sol. found (all assignments made)... 157.94 c Sol. found (all assignments made)... 157.95 c Sol. found (all assignments made)... 157.96 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.98 c Sol. found (all assignments made)... 157.99 c Sol. found (all assignments made)... 158.00 c Sol. found (all assignments made)... 158.00 c Sol. found (all assignments made)... 158.00 c Sol. found (all assignments made)... 158.00 c Sol. found (all assignments made)... 158.01 c Sol. found (all assignments made)... 158.02 c Sol. found (all assignments made)... 158.02 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.04 c Sol. found (all assignments made)... 158.04 c Sol. found (all assignments made)... 158.04 c Sol. found (all assignments made)... 158.04 c Sol. found (all assignments made)... 158.05 c Sol. found (all assignments made)... 158.05 c Sol. found (all assignments made)... 158.05 c Sol. found (all assignments made)... 158.05 c Sol. found (all assignments made)... 158.05 c Sol. found (all assignments made)... 158.06 c Sol. found (all assignments made)... 158.06 c Sol. found (all assignments made)... 158.06 c Sol. found (all assignments made)... 158.06 c Sol. found (all assignments made)... 158.06 c Sol. found (all assignments made)... 158.06 c Sol. found (all assignments made)... 158.06 c Sol. found (all assignments made)... 158.06 c Sol. found (all assignments made)... 158.06 c Sol. found (all assignments made)... 158.07 c Sol. found (all assignments made)... 158.07 c Sol. found (all assignments made)... 158.08 c Sol. found (all assignments made)... 158.08 c Sol. found (all assignments made)... 158.08 c Sol. found (all assignments made)... 158.08 c Sol. found (all assignments made)... 158.08 c Sol. found (all assignments made)... 158.08 c Sol. found (all assignments made)... 158.08 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.10 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.16 c Sol. found (all assignments made)... 158.16 c Sol. found (all assignments made)... 158.16 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.20 c Sol. found (all assignments made)... 158.20 c Sol. found (all assignments made)... 158.20 c Sol. found (all assignments made)... 158.21 c Sol. found (all assignments made)... 158.22 c Sol. found (all assignments made)... 158.22 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.25 c Sol. found (all assignments made)... 158.25 c Sol. found (all assignments made)... 158.26 c Sol. found (all assignments made)... 158.26 c Sol. found (all assignments made)... 158.27 c Sol. found (all assignments made)... 158.27 c Sol. found (all assignments made)... 158.27 c Sol. found (all assignments made)... 158.27 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.30 c Sol. found (all assignments made)... 158.31 c Sol. found (all assignments made)... 158.31 c Sol. found (all assignments made)... 158.31 c Sol. found (all assignments made)... 158.31 c Sol. found (all assignments made)... 158.31 c Sol. found (all assignments made)... 158.31 c Sol. found (all assignments made)... 158.31 c Sol. found (all assignments made)... 158.31 c Sol. found (all assignments made)... 158.34 c Sol. found (all assignments made)... 158.34 c Sol. found (all assignments made)... 158.36 c Sol. found (all assignments made)... 158.36 c Sol. found (all assignments made)... 158.38 c Sol. found (all assignments made)... 158.38 c Sol. found (all assignments made)... 158.38 c Sol. found (all assignments made)... 158.38 c Sol. found (all assignments made)... 158.38 c Sol. found (all assignments made)... 158.39 c Sol. found (all assignments made)... 158.39 c Sol. found (all assignments made)... 158.39 c Sol. found (all assignments made)... 158.40 c Sol. found (all assignments made)... 158.40 c Sol. found (all assignments made)... 158.41 c Sol. found (all assignments made)... 158.41 c Sol. found (all assignments made)... 158.42 c Sol. found (all assignments made)... 158.42 c Sol. found (all assignments made)... 158.43 c Sol. found (all assignments made)... 158.44 c Sol. found (all assignments made)... 158.44 c Sol. found (all assignments made)... 158.44 c Sol. found (all assignments made)... 158.44 c Sol. found (all assignments made)... 158.44 c Sol. found (all assignments made)... 158.45 c Sol. found (all assignments made)... 158.45 c Sol. found (all assignments made)... 158.45 c Sol. found (all assignments made)... 158.45 c Sol. found (all assignments made)... 158.45 c Sol. found (all assignments made)... 158.45 c Sol. found (all assignments made)... 158.46 c Sol. found (all assignments made)... 158.46 c Sol. found (all assignments made)... 158.46 c Sol. found (all assignments made)... 158.46 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.50 c Sol. found (all assignments made)... 158.51 c Sol. found (all assignments made)... 158.51 c Sol. found (all assignments made)... 158.51 c Sol. found (all assignments made)... 167.09 c Sol. found (all assignments made)... 167.09 c Sol. found (all assignments made)... 167.09 c Sol. found (all assignments made)... 167.09 c Sol. found (all assignments made)... 167.11 c Sol. found (all assignments made)... 167.11 c Sol. found (all assignments made)... 167.22 c Sol. found (all assignments made)... 167.22 c Sol. found (all assignments made)... 167.23 c Sol. found (all assignments made)... 167.23 c Sol. found (all assignments made)... 167.24 c Sol. found (all assignments made)... 167.24 c Sol. found (all assignments made)... 168.14 c Restart #31 #Var: 540 LB: 12 @ 168.09 191.07 c Restart #32 #Var: 540 LB: 12 @ 191.01 209.09 c Sol. found (all assignments made)... 209.15 c Sol. found (all assignments made)... 209.16 c Sol. found (all assignments made)... 209.16 c Sol. found (all assignments made)... 209.18 c Sol. found (all assignments made)... 209.18 c Sol. found (all assignments made)... 209.19 c Sol. found (all assignments made)... 209.21 c Sol. found (all assignments made)... 209.21 c Sol. found (all assignments made)... 209.21 c Sol. found (all assignments made)... 209.21 c Sol. found (all assignments made)... 209.21 c Sol. found (all assignments made)... 209.36 c Sol. found (all assignments made)... 209.36 c Sol. found (all assignments made)... 209.36 c Sol. found (all assignments made)... 209.38 c Sol. found (all assignments made)... 209.38 c Sol. found (all assignments made)... 209.39 c Sol. found (all assignments made)... 209.39 c Sol. found (all assignments made)... 209.39 c Sol. found (all assignments made)... 209.39 c Sol. found (all assignments made)... 209.48 c Sol. found (all assignments made)... 209.48 c Sol. found (all assignments made)... 209.50 c Sol. found (all assignments made)... 209.50 c Sol. found (all assignments made)... 209.50 c Sol. found (all assignments made)... 209.50 c Sol. found (all assignments made)... 209.50 c Sol. found (all assignments made)... 209.56 c Sol. found (all assignments made)... 209.56 c Sol. found (all assignments made)... 209.57 c Sol. found (all assignments made)... 209.57 c Sol. found (all assignments made)... 209.57 c Sol. found (all assignments made)... 209.57 c Sol. found (all assignments made)... 209.60 c Sol. found (all assignments made)... 209.61 c Sol. found (all assignments made)... 209.61 c Sol. found (all assignments made)... 209.63 c Sol. found (all assignments made)... 209.63 c Sol. found (all assignments made)... 209.65 c Sol. found (all assignments made)... 209.65 c Sol. found (all assignments made)... 209.66 c Sol. found (all assignments made)... 209.67 c Sol. found (all assignments made)... 209.67 c Sol. found (all assignments made)... 209.67 c Sol. found (all assignments made)... 209.67 c Sol. found (all assignments made)... 209.67 c Sol. found (all assignments made)... 209.67 c Sol. found (all assignments made)... 209.67 c Sol. found (all assignments made)... 209.68 c Sol. found (all assignments made)... 209.68 c Sol. found (all assignments made)... 209.68 c Sol. found (all assignments made)... 209.68 c Sol. found (all assignments made)... 209.69 c Sol. found (all assignments made)... 209.69 c Sol. found (all assignments made)... 209.69 c Sol. found (all assignments made)... 209.69 c Sol. found (all assignments made)... 209.69 c Sol. found (all assignments made)... 209.69 c Sol. found (all assignments made)... 209.69 c Sol. found (all assignments made)... 209.69 c Sol. found (all assignments made)... 209.69 c Sol. found (all assignments made)... 209.70 c Sol. found (all assignments made)... 209.70 c Sol. found (all assignments made)... 209.70 c Sol. found (all assignments made)... 209.71 c Sol. found (all assignments made)... 209.71 c Sol. found (all assignments made)... 209.71 c Sol. found (all assignments made)... 209.71 c Sol. found (all assignments made)... 209.71 c Sol. found (all assignments made)... 209.71 c Sol. found (all assignments made)... 209.71 c Sol. found (all assignments made)... 209.71 c Sol. found (all assignments made)... 209.71 c Sol. found (all assignments made)... 209.71 c Sol. found (all assignments made)... 209.72 c Sol. found (all assignments made)... 209.72 c Sol. found (all assignments made)... 209.72 c Sol. found (all assignments made)... 209.72 c Sol. found (all assignments made)... 209.72 c Sol. found (all assignments made)... 209.72 c Sol. found (all assignments made)... 209.72 c Sol. found (all assignments made)... 209.73 c Sol. found (all assignments made)... 209.73 c Sol. found (all assignments made)... 209.73 c Sol. found (all assignments made)... 209.73 c Sol. found (all assignments made)... 209.73 c Sol. found (all assignments made)... 209.73 c Sol. found (all assignments made)... 209.73 c Sol. found (all assignments made)... 209.73 c Sol. found (all assignments made)... 209.73 c Sol. found (all assignments made)... 209.73 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.74 c Sol. found (all assignments made)... 209.75 c Sol. found (all assignments made)... 209.75 c Sol. found (all assignments made)... 209.75 c Sol. found (all assignments made)... 209.75 c Sol. found (all assignments made)... 209.75 c Sol. found (all assignments made)... 209.75 c Sol. found (all assignments made)... 209.75 c Sol. found (all assignments made)... 209.75 c Sol. found (all assignments made)... 210.83 c Sol. found (all assignments made)... 210.83 c Sol. found (all assignments made)... 210.83 c Sol. found (all assignments made)... 210.83 c Sol. found (all assignments made)... 210.83 c Sol. found (all assignments made)... 210.83 c Sol. found (all assignments made)... 210.84 c Sol. found (all assignments made)... 210.84 c Sol. found (all assignments made)... 210.84 c Sol. found (all assignments made)... 210.84 c Sol. found (all assignments made)... 210.84 c Sol. found (all assignments made)... 210.84 c Sol. found (all assignments made)... 210.85 c Sol. found (all assignments made)... 210.85 c Sol. found (all assignments made)... 210.85 c Sol. found (all assignments made)... 210.86 c Sol. found (all assignments made)... 210.86 c Sol. found (all assignments made)... 210.86 c Sol. found (all assignments made)... 210.86 c Sol. found (all assignments made)... 210.86 c Sol. found (all assignments made)... 210.86 c Sol. found (all assignments made)... 210.86 c Sol. found (all assignments made)... 210.87 c Sol. found (all assignments made)... 210.87 c Sol. found (all assignments made)... 210.90 c Sol. found (all assignments made)... 210.90 c Sol. found (all assignments made)... 210.90 c Sol. found (all assignments made)... 210.90 c Sol. found (all assignments made)... 210.91 c Sol. found (all assignments made)... 210.91 c Sol. found (all assignments made)... 210.91 c Sol. found (all assignments made)... 210.91 c Sol. found (all assignments made)... 210.92 c Sol. found (all assignments made)... 210.92 c Sol. found (all assignments made)... 210.92 c Sol. found (all assignments made)... 210.92 c Sol. found (all assignments made)... 210.93 c Sol. found (all assignments made)... 210.93 c Sol. found (all assignments made)... 210.93 c Sol. found (all assignments made)... 210.93 c Sol. found (all assignments made)... 210.93 c Sol. found (all assignments made)... 210.93 c Sol. found (all assignments made)... 210.93 c Sol. found (all assignments made)... 210.94 c Sol. found (all assignments made)... 210.94 c Sol. found (all assignments made)... 210.94 c Sol. found (all assignments made)... 210.94 c Sol. found (all assignments made)... 210.94 c Sol. found (all assignments made)... 211.06 c Sol. found (all assignments made)... 211.06 c Sol. found (all assignments made)... 211.06 c Sol. found (all assignments made)... 211.06 c Sol. found (all assignments made)... 211.07 c Sol. found (all assignments made)... 211.07 c Sol. found (all assignments made)... 211.07 c Sol. found (all assignments made)... 211.07 c Sol. found (all assignments made)... 211.09 c Sol. found (all assignments made)... 211.09 c Sol. found (all assignments made)... 211.09 c Sol. found (all assignments made)... 211.09 c Sol. found (all assignments made)... 211.10 c Sol. found (all assignments made)... 211.10 c Sol. found (all assignments made)... 211.10 c Sol. found (all assignments made)... 211.10 c Sol. found (all assignments made)... 211.36 c Sol. found (all assignments made)... 211.36 c Sol. found (all assignments made)... 211.36 c Sol. found (all assignments made)... 211.41 c Restart #33 #Var: 540 LB: 12 @ 211.35 230.34 c Restart #34 #Var: 540 LB: 12 @ 230.28 262.87 c CHANGE to LPR mode... UB: 66 MIS: 44 LPR: 62 (0.0655) Diff: 0.70968 262.87 c Restart #0 #Var: 540 LB: 12 @ 262.8 269.74 o 64 269.74 c NEW SOLUTION FOUND: 64 @ 269.67 271.22 o 62 271.22 c NEW SOLUTION FOUND: 62 @ 271.14 271.38 s OPTIMUM FOUND 271.38 c Cost: 62 271.38 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 271.38 v -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 271.38 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 271.38 v -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 271.38 v -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 271.38 v x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 271.38 v -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 271.38 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 -x190 271.38 v -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 271.38 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 271.38 v -x233 x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 271.38 v -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 271.38 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 271.38 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 271.38 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 x336 x337 271.38 v x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 x356 -x357 -x358 271.38 v -x359 x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 271.38 v -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 271.38 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 271.38 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 x436 x437 x438 -x439 -x440 -x441 -x442 271.38 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 x461 x462 -x463 271.38 v -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 271.38 v -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 271.38 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 271.38 v -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 271.38 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 271.38 v -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 271.38 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 271.38 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 271.38 v -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 271.38 c Exit Code: 30 271.38 c Total time: 271.3 s
OK 62
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/node63/watcher-40273-1149403107 -o ROOT/results/node63/solver-40273-1149403107 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40273-1149403107/instance-40273-1149403107.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.95 0.96 2/64 32163 /proc/meminfo: memFree=1601264/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=4932 CPUtime=0 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 205877883 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 1233 331 227 55 0 125 0 [startup+10.0028 s] /proc/loadavg: 0.87 0.95 0.96 2/64 32163 /proc/meminfo: memFree=1590000/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=15820 CPUtime=9.98 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 3210 0 0 0 994 4 0 0 25 0 1 0 205877883 16199680 3125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 3955 3125 300 55 0 2847 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 15820 [startup+20.0089 s] /proc/loadavg: 0.89 0.95 0.96 2/64 32163 /proc/meminfo: memFree=1585328/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=20572 CPUtime=19.98 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 4403 0 0 0 1992 6 0 0 25 0 1 0 205877883 21065728 4318 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 5143 4318 300 55 0 4035 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 20572 [startup+30.0159 s] /proc/loadavg: 0.91 0.95 0.96 2/64 32163 /proc/meminfo: memFree=1582256/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=23608 CPUtime=29.98 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 5178 0 0 0 2990 8 0 0 25 0 1 0 205877883 24174592 5093 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 5902 5093 300 55 0 4794 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 23608 [startup+40.022 s] /proc/loadavg: 0.92 0.96 0.96 2/64 32163 /proc/meminfo: memFree=1579952/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=25988 CPUtime=39.99 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 5752 0 0 0 3989 10 0 0 25 0 1 0 205877883 26611712 5667 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 6497 5667 300 55 0 5389 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 25988 [startup+50.0281 s] /proc/loadavg: 0.93 0.96 0.96 2/64 32163 /proc/meminfo: memFree=1577904/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=27968 CPUtime=49.99 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 6259 0 0 0 4988 11 0 0 25 0 1 0 205877883 28639232 6174 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 6992 6174 300 55 0 5884 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 27968 [startup+60.0341 s] /proc/loadavg: 0.94 0.96 0.96 2/64 32163 /proc/meminfo: memFree=1576048/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=29816 CPUtime=60 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 6729 0 0 0 5987 13 0 0 25 0 1 0 205877883 30531584 6644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 7454 6644 300 55 0 6346 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 29816 [startup+70.0402 s] /proc/loadavg: 0.95 0.96 0.96 2/64 32163 /proc/meminfo: memFree=1573040/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=32856 CPUtime=70 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 7475 0 0 0 6986 14 0 0 25 0 1 0 205877883 33644544 7390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 8214 7390 300 55 0 7106 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 32856 [startup+80.0463 s] /proc/loadavg: 0.96 0.96 0.96 2/64 32163 /proc/meminfo: memFree=1570928/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=34972 CPUtime=80.01 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 8011 0 0 0 7984 17 0 0 25 0 1 0 205877883 35811328 7926 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 8743 7926 300 55 0 7635 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 34972 [startup+90.0524 s] /proc/loadavg: 0.96 0.96 0.96 2/64 32163 /proc/meminfo: memFree=1569008/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=36952 CPUtime=90.01 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 8485 0 0 0 8983 18 0 0 25 0 1 0 205877883 37838848 8400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 9238 8400 300 55 0 8130 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 36952 [startup+100.058 s] /proc/loadavg: 0.97 0.96 0.96 2/64 32163 /proc/meminfo: memFree=1567216/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=38800 CPUtime=100.01 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 8954 0 0 0 9982 19 0 0 25 0 1 0 205877883 39731200 8869 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 9700 8869 300 55 0 8592 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 38800 [startup+110.064 s] /proc/loadavg: 0.97 0.96 0.96 2/64 32163 /proc/meminfo: memFree=1565616/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=40388 CPUtime=110.02 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 9343 0 0 0 10981 21 0 0 25 0 1 0 205877883 41357312 9258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 10097 9258 300 55 0 8989 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 40388 [startup+120.071 s] /proc/loadavg: 0.98 0.96 0.96 2/64 32163 /proc/meminfo: memFree=1564208/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=41720 CPUtime=120.02 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 9691 0 0 0 11980 22 0 0 25 0 1 0 205877883 42721280 9606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 10430 9606 300 55 0 9322 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 41720 [startup+130.077 s] /proc/loadavg: 0.98 0.96 0.96 2/64 32163 /proc/meminfo: memFree=1561392/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=44632 CPUtime=130.02 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 10404 0 0 0 12979 23 0 0 25 0 1 0 205877883 45703168 10319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 11158 10319 300 55 0 10050 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 44632 [startup+140.083 s] /proc/loadavg: 0.98 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1559408/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=46484 CPUtime=140.03 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 10893 0 0 0 13979 24 0 0 25 0 1 0 205877883 47599616 10808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 11621 10808 300 55 0 10513 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 46484 [startup+150.089 s] /proc/loadavg: 0.98 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1557808/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=48200 CPUtime=150.03 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 11293 0 0 0 14978 25 0 0 25 0 1 0 205877883 49356800 11208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 12050 11208 300 55 0 10942 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 48200 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1550832/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=55064 CPUtime=160.03 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 13039 0 0 0 15977 26 0 0 25 0 1 0 205877883 56385536 12954 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 13766 12954 301 55 0 12658 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 55064 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1548144/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=57848 CPUtime=170.03 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 13707 0 0 0 16976 27 0 0 25 0 1 0 205877883 59236352 13622 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 14462 13622 301 55 0 13354 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 57848 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1547248/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=58648 CPUtime=180.04 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 13928 0 0 0 17976 28 0 0 25 0 1 0 205877883 60055552 13843 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 14662 13843 301 55 0 13554 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 58648 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1545840/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=60100 CPUtime=190.05 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 14277 0 0 0 18976 29 0 0 25 0 1 0 205877883 61542400 14192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 15025 14192 301 55 0 13917 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 60100 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1545136/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=60760 CPUtime=200.04 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 14450 0 0 0 19975 29 0 0 25 0 1 0 205877883 62218240 14365 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 15190 14365 301 55 0 14082 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 60760 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1542064/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=63928 CPUtime=210.06 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 15225 0 0 0 20975 31 0 0 25 0 1 0 205877883 65462272 15140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 15982 15140 301 55 0 14874 0 Current children cumulated CPU time (s) 210.06 Current children cumulated vsize (Kb) 63928 [startup+220.131 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1539248/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=66700 CPUtime=220.05 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 15930 0 0 0 21974 31 0 0 25 0 1 0 205877883 68300800 15845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 16675 15845 301 55 0 15567 0 Current children cumulated CPU time (s) 220.05 Current children cumulated vsize (Kb) 66700 [startup+230.137 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1537072/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=68820 CPUtime=230.06 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 16458 0 0 0 22973 33 0 0 25 0 1 0 205877883 70471680 16373 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 17205 16373 301 55 0 16097 0 Current children cumulated CPU time (s) 230.06 Current children cumulated vsize (Kb) 68820 [startup+240.143 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1536176/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=69748 CPUtime=240.06 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 16689 0 0 0 23973 33 0 0 25 0 1 0 205877883 71421952 16604 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 17437 16604 301 55 0 16329 0 Current children cumulated CPU time (s) 240.06 Current children cumulated vsize (Kb) 69748 [startup+250.149 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1535024/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=70936 CPUtime=250.06 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 16975 0 0 0 24972 34 0 0 25 0 1 0 205877883 72638464 16890 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 17734 16890 301 55 0 16626 0 Current children cumulated CPU time (s) 250.06 Current children cumulated vsize (Kb) 70936 [startup+260.156 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1533616/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=72256 CPUtime=260.07 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 17324 0 0 0 25972 35 0 0 25 0 1 0 205877883 73990144 17239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 18064 17239 301 55 0 16956 0 Current children cumulated CPU time (s) 260.07 Current children cumulated vsize (Kb) 72256 [startup+270.161 s] /proc/loadavg: 0.99 0.97 0.96 2/64 32163 /proc/meminfo: memFree=1526960/2055920 swapFree=4182320/4192956 [pid=32163] ppid=32161 vsize=80096 CPUtime=270.08 /proc/32163/stat : 32163 (bsolo) R 32161 32163 32117 0 -1 0 31518 0 0 0 26966 42 0 0 25 0 1 0 205877883 82018304 19054 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32163/statm: 20024 19054 447 55 0 18916 0 Current children cumulated CPU time (s) 270.08 Current children cumulated vsize (Kb) 80096 Child status: 30 Real time (s): 271.4 CPU time (s): 271.315 CPU user time (s): 270.878 CPU system time (s): 0.436933 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (Kb): 80096
Begin job on node63 on Sun Jun 4 06:38:27 UTC 2006 FILE ID= 40273-1149403107 PBS_JOBID= 314153 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40273-1149403107/instance-40273-1149403107.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-40273-1149403107 -o ROOT/results/node63/solver-40273-1149403107 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40273-1149403107/instance-40273-1149403107.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c2400ec88bd2efb16a03934d0b4c43da RANDOM SEED= 592997965 /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.228 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.228 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: 1601472 kB Buffers: 27520 kB Cached: 357472 kB SwapCached: 2336 kB Active: 129068 kB Inactive: 264572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1601472 kB SwapTotal: 4192956 kB SwapFree: 4182320 kB Dirty: 228 kB Writeback: 0 kB Mapped: 15864 kB Slab: 46748 kB Committed_AS: 387528 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node63 on Sun Jun 4 06:42:59 UTC 2006