Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 7 | 1800.08 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-sample2.opb |
MD5SUM | 98cb9153c0a6885786e060f27dbb5c7a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 179.551 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 1296 |
Total number of constraints | 46 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 43 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 729 |
Biggest coefficient in the objective function | 23832 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524793 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262138 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524793 |
Number of bits of the biggest sum of numbers | 20 |
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.02 c INFO: OSL Context initialized. 0.04 c Initial problem consists of 1296 variables and 67 constraints. 0.04 c No problem reductions applied in OPT. instance. 0.04 c preprocess terminated. Elapsed time: 0.033 0.04 c After prepocess the problem consists of 732 variables and 67 constraints. 0.04 c Initial Lower Bound: 0 0.07 c Restart #1 #Var: 732 LB: 0 @ 0.067 0.13 c Restart #2 #Var: 732 LB: 0 @ 0.125 0.23 c Restart #3 #Var: 732 LB: 0 @ 0.219 0.35 c Restart #4 #Var: 732 LB: 0 @ 0.344 0.51 c Restart #5 #Var: 732 LB: 0 @ 0.502 0.69 c Restart #6 #Var: 732 LB: 0 @ 0.68 0.91 c Restart #7 #Var: 732 LB: 0 @ 0.899 1.10 c Restart #8 #Var: 732 LB: 0 @ 1.088 1.11 c Sol. found (all assignments made)... 1.11 o 17 1.11 c NEW SOLUTION FOUND: 17 @ 1.097 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.15 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.25 c Restart #9 #Var: 732 LB: 0 @ 1.243 1.71 c Restart #10 #Var: 732 LB: 0 @ 1.701 1.84 c Restart #11 #Var: 731 LB: 0 @ 1.829 2.21 c Restart #12 #Var: 731 LB: 0 @ 2.197 2.45 c CHANGE to MIS mode... UB: 17 MIS: 1 LPR: 3 (0.01025) Diff: 0.33333 2.45 c Restart #0 #Var: 731 LB: 0 @ 2.44 2.47 c Restart #1 #Var: 731 LB: 1 @ 2.461 2.52 c Restart #2 #Var: 731 LB: 1 @ 2.507 2.56 c Restart #3 #Var: 731 LB: 1 @ 2.55 2.61 c Restart #4 #Var: 731 LB: 1 @ 2.596 4.14 c Restart #5 #Var: 731 LB: 1 @ 4.128 4.56 c Restart #6 #Var: 731 LB: 1 @ 4.547 4.59 c Sol. found (all assignments made)... 4.59 o 10 4.59 c NEW SOLUTION FOUND: 10 @ 4.576 4.59 c Sol. found (all assignments made)... 4.59 o 8 4.59 c NEW SOLUTION FOUND: 8 @ 4.576 4.71 c Restart #7 #Var: 731 LB: 1 @ 4.696 4.87 c Restart #8 #Var: 731 LB: 1 @ 4.853 5.31 c Restart #9 #Var: 731 LB: 1 @ 5.298 5.60 c Restart #10 #Var: 731 LB: 1 @ 5.581 6.06 c Restart #11 #Var: 731 LB: 1 @ 6.051 6.59 c Restart #12 #Var: 731 LB: 1 @ 6.579 7.90 c Sol. found (all assignments made)... 7.90 o 7 7.90 c NEW SOLUTION FOUND: 7 @ 7.884 8.86 c Restart #13 #Var: 730 LB: 1 @ 8.841 9.21 c Restart #14 #Var: 729 LB: 1 @ 9.198 9.99 c Restart #15 #Var: 729 LB: 1 @ 9.976 10.77 c Restart #16 #Var: 728 LB: 1 @ 10.751 12.30 c Restart #17 #Var: 728 LB: 1 @ 12.28 13.11 c Restart #18 #Var: 727 LB: 1 @ 13.097 13.51 c Restart #19 #Var: 727 LB: 1 @ 13.494 14.40 c Restart #20 #Var: 727 LB: 1 @ 14.384 15.33 c Restart #21 #Var: 727 LB: 1 @ 15.309 19.79 c Restart #22 #Var: 727 LB: 1 @ 19.769 26.91 c Restart #23 #Var: 727 LB: 1 @ 26.893 54.58 c Restart #24 #Var: 727 LB: 1 @ 54.556 56.36 c Restart #25 #Var: 727 LB: 1 @ 56.33 58.81 c Restart #26 #Var: 727 LB: 1 @ 58.778 65.84 c Restart #27 #Var: 727 LB: 1 @ 65.813 68.89 c Restart #28 #Var: 727 LB: 1 @ 68.859 69.91 c Restart #29 #Var: 727 LB: 1 @ 69.883 76.37 c Restart #30 #Var: 727 LB: 1 @ 76.336 79.70 c Restart #31 #Var: 727 LB: 1 @ 79.661 102.25 c Restart #32 #Var: 727 LB: 1 @ 102.21 116.96 c Restart #33 #Var: 727 LB: 1 @ 116.92 125.13 c Restart #34 #Var: 727 LB: 1 @ 125.08 126.55 c Restart #35 #Var: 727 LB: 1 @ 126.51 161.73 c Restart #36 #Var: 727 LB: 1 @ 161.67 164.97 c Restart #37 #Var: 727 LB: 1 @ 164.92 177.23 c Restart #38 #Var: 727 LB: 1 @ 177.17 207.03 c Restart #39 #Var: 727 LB: 1 @ 206.97 263.75 c Restart #40 #Var: 727 LB: 1 @ 263.67 283.81 c Restart #41 #Var: 727 LB: 1 @ 283.72 356.28 c Restart #42 #Var: 727 LB: 1 @ 356.17 365.68 c Restart #43 #Var: 727 LB: 1 @ 365.57 367.28 c Restart #44 #Var: 727 LB: 1 @ 367.17 416.68 c Restart #45 #Var: 727 LB: 1 @ 416.56 556.91 c Restart #46 #Var: 727 LB: 1 @ 556.75 709.97 c Restart #47 #Var: 727 LB: 1 @ 709.76 751.74 c Restart #48 #Var: 727 LB: 1 @ 751.53 754.13 c Restart #49 #Var: 727 LB: 1 @ 753.92 815.71 c Restart #50 #Var: 727 LB: 1 @ 815.49 858.28 c Restart #51 #Var: 727 LB: 1 @ 858.04 870.41 c Restart #52 #Var: 727 LB: 1 @ 870.17 1029.50 c Restart #53 #Var: 727 LB: 1 @ 1029.2 1125.44 c Restart #54 #Var: 727 LB: 1 @ 1125.1 1217.40 c Restart #55 #Var: 727 LB: 1 @ 1217 1315.22 c Restart #56 #Var: 727 LB: 1 @ 1314.8 1563.73 c Restart #57 #Var: 727 LB: 1 @ 1563.2 1681.94 c Restart #58 #Var: 726 LB: 1 @ 1681.4 1691.02 c Restart #59 #Var: 726 LB: 1 @ 1690.5 1786.07 c Restart #60 #Var: 726 LB: 1 @ 1785.5 1800.58 s SATISFIABLE 1800.58 c Cost: 7 1800.58 v x1276 -x1277 -x1278 -x1294 -x1295 x1296 -x1282 -x1286 x1290 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1800.58 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1800.58 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1800.58 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1800.58 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 1800.58 v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1800.58 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 1800.58 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x796 -x797 -x798 -x799 -x800 -x801 -x802 1800.58 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 1800.58 v -x824 -x825 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 1800.58 v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 1800.58 v -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1800.58 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 1800.58 v -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.58 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1036 -x1037 1800.58 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 1800.58 v -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 1800.58 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 1800.58 v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1800.58 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1800.58 v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 1800.58 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1216 1800.58 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1800.58 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 1800.58 v -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 1800.58 v -x120 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.58 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1800.58 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1800.58 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 1800.58 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1800.58 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 x392 -x393 -x394 -x395 1800.58 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 1800.58 v -x417 -x418 -x419 -x420 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.58 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.58 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.58 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.58 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.58 v -x552 -x553 -x554 -x555 -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 1800.58 v -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 1800.58 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 1800.58 v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.58 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.58 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.58 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 1800.58 v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x826 -x827 -x828 1800.58 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 1800.58 v -x850 -x851 -x852 -x853 -x854 -x855 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 1800.58 v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x1006 -x1007 -x1008 -x1009 -x1010 1800.58 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.58 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 1800.58 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x1186 1800.58 v x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 x1195 x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 1800.58 v -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 1800.58 v -x429 x430 x431 x432 x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1800.58 v -x616 -x617 -x618 x619 -x620 x621 x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 1800.58 v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1800.58 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x766 -x767 -x768 -x769 1800.58 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 1800.58 v -x791 -x792 -x793 -x794 -x795 -x1279 -x1283 x1287 -x1291 -x1280 -x1284 x1288 -x1292 -x1281 -x1285 x1289 -x1293 -x946 -x947 1800.58 v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 1800.58 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 1800.58 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 1800.58 v -x1124 -x1125 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 x1261 1800.58 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 1800.58 c Exit Code: 10 1800.58 c Total time: 1800 s
OK 7
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/node81/watcher-39995-1149349353 -o ROOT/results/node81/solver-39995-1149349353 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39995-1149349353/instance-39995-1149349353.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.97 3/68 1838 /proc/meminfo: memFree=1411528/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=436 CPUtime=0 /proc/1838/stat : 1838 (bsolo) D 1836 1838 1789 0 -1 0 37 0 0 0 0 0 0 0 18 0 1 0 200574758 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10101684 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/1838/statm: 109 23 18 55 0 18 0 [startup+10.0015 s] /proc/loadavg: 0.93 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1388312/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=27592 CPUtime=9.98 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 6415 0 0 0 993 5 0 0 25 0 1 0 200574758 28254208 6191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 6898 6191 422 55 0 5789 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 27592 [startup+20.0076 s] /proc/loadavg: 0.94 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1357784/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=58228 CPUtime=19.99 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 14142 0 0 0 1987 12 0 0 25 0 1 0 200574758 59625472 13848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 14557 13848 422 55 0 13448 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 58228 [startup+30.0137 s] /proc/loadavg: 0.95 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1354584/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=61520 CPUtime=29.99 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 14948 0 0 0 2986 13 0 0 25 0 1 0 200574758 62996480 14654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 15380 14654 422 55 0 14271 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 61520 [startup+40.0198 s] /proc/loadavg: 0.95 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1352728/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=63260 CPUtime=39.99 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 15611 0 0 0 3985 14 0 0 25 0 1 0 200574758 64778240 15109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 15815 15109 422 55 0 14706 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 63260 [startup+50.027 s] /proc/loadavg: 0.96 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1351896/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=64184 CPUtime=49.99 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 15841 0 0 0 4984 15 0 0 25 0 1 0 200574758 65724416 15339 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 16046 15339 422 55 0 14937 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 64184 [startup+60.0331 s] /proc/loadavg: 0.97 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1332632/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=83468 CPUtime=59.99 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 20644 0 0 0 5981 18 0 0 25 0 1 0 200574758 85471232 20142 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 20867 20143 422 55 0 19758 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 83468 [startup+70.0382 s] /proc/loadavg: 0.97 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1318936/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=97080 CPUtime=70 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 24049 0 0 0 6978 22 0 0 25 0 1 0 200574758 99409920 23547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 24270 23547 422 55 0 23161 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 97080 [startup+80.0443 s] /proc/loadavg: 0.98 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1305368/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=110848 CPUtime=80.01 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 27456 0 0 0 7975 26 0 0 25 0 1 0 200574758 113508352 26954 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10537003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 27712 26954 422 55 0 26603 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 110848 [startup+90.0504 s] /proc/loadavg: 0.98 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1301976/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=114148 CPUtime=90.01 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 28306 0 0 0 8974 27 0 0 25 0 1 0 200574758 116887552 27804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 28537 27804 422 55 0 27428 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 114148 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1300184/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=115996 CPUtime=100 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 28752 0 0 0 9973 27 0 0 25 0 1 0 200574758 118779904 28250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 28999 28250 422 55 0 27890 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 115996 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1294296/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=121880 CPUtime=110.01 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 30615 0 0 0 10972 29 0 0 25 0 1 0 200574758 124805120 29700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 30470 29700 422 55 0 29361 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 121880 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1288856/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=127288 CPUtime=120.01 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 31981 0 0 0 11970 31 0 0 25 0 1 0 200574758 130342912 31066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 31822 31066 422 55 0 30713 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 127288 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1268120/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=148060 CPUtime=130.02 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 37154 0 0 0 12966 36 0 0 25 0 1 0 200574758 151613440 36233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 37015 36233 422 55 0 35906 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 148060 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1267416/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=148744 CPUtime=140.03 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 37326 0 0 0 13966 37 0 0 25 0 1 0 200574758 152313856 36404 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 37186 36404 422 55 0 36077 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 148744 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1266904/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=149404 CPUtime=150.03 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 37464 0 0 0 14966 37 0 0 25 0 1 0 200574758 152989696 36542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 37351 36542 422 55 0 36242 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 149404 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1265752/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=150476 CPUtime=160.03 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 37741 0 0 0 15966 37 0 0 25 0 1 0 200574758 154087424 36819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 37619 36819 422 55 0 36510 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 150476 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1240600/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=175704 CPUtime=170.03 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 44014 0 0 0 16962 41 0 0 25 0 1 0 200574758 179920896 43089 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 43926 43089 422 55 0 42817 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 175704 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1233624/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=182696 CPUtime=180.04 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 45772 0 0 0 17961 43 0 0 25 0 1 0 200574758 187080704 44847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 45674 44847 422 55 0 44565 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 182696 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1229464/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=186920 CPUtime=190.04 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 46809 0 0 0 18960 44 0 0 25 0 1 0 200574758 191406080 45884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 46730 45884 422 55 0 45621 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 186920 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1225816/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=190484 CPUtime=200.05 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 47719 0 0 0 19959 46 0 0 25 0 1 0 200574758 195055616 46794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 47621 46794 422 55 0 46512 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 190484 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.97 2/68 1838 /proc/meminfo: memFree=1222680/2055892 swapFree=4085344/4096564 ################ # More data... # ################ /proc/1838/statm: 106657 105378 422 55 0 105548 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 426628 [startup+1771.07 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=989976/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=427468 CPUtime=1770.49 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 107413 0 0 0 176918 131 0 0 25 0 1 0 200574758 437727232 105588 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 106867 105588 422 55 0 105758 0 Current children cumulated CPU time (s) 1770.49 Current children cumulated vsize (Kb) 427468 [startup+1781.07 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=988120/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=429316 CPUtime=1780.49 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 107876 0 0 0 177918 131 0 0 25 0 1 0 200574758 439619584 106051 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 107329 106051 422 55 0 106220 0 Current children cumulated CPU time (s) 1780.49 Current children cumulated vsize (Kb) 429316 [startup+1782.08 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=987928/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=429580 CPUtime=1781.5 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 107930 0 0 0 178019 131 0 0 25 0 1 0 200574758 439889920 106105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 107395 106105 422 55 0 106286 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 429580 [startup+1783.09 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=987736/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=429712 CPUtime=1782.5 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 107976 0 0 0 178119 131 0 0 25 0 1 0 200574758 440025088 106151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 107428 106151 422 55 0 106319 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 429712 [startup+1784.09 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=987480/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=429976 CPUtime=1783.51 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 108045 0 0 0 178220 131 0 0 25 0 1 0 200574758 440295424 106220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 107494 106220 422 55 0 106385 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 429976 [startup+1785.1 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=986968/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=430504 CPUtime=1784.52 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 108167 0 0 0 178320 132 0 0 25 0 1 0 200574758 440836096 106342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 107626 106342 422 55 0 106517 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 430504 [startup+1786.1 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=985560/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=431824 CPUtime=1785.52 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 108512 0 0 0 178420 132 0 0 25 0 1 0 200574758 442187776 106687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 107956 106687 422 55 0 106847 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 431824 [startup+1787.11 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=985304/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=432088 CPUtime=1786.52 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 108585 0 0 0 178520 132 0 0 25 0 1 0 200574758 442458112 106760 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 108022 106760 422 55 0 106913 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 432088 [startup+1788.11 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=984920/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=432484 CPUtime=1787.52 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 108674 0 0 0 178620 132 0 0 25 0 1 0 200574758 442863616 106849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 108121 106849 422 55 0 107012 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 432484 [startup+1789.11 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=984600/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=432880 CPUtime=1788.54 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 108761 0 0 0 178721 133 0 0 25 0 1 0 200574758 443269120 106936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 108220 106936 422 55 0 107111 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 432880 [startup+1790.12 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=984216/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=433276 CPUtime=1789.54 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 108859 0 0 0 178821 133 0 0 25 0 1 0 200574758 443674624 107034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 108319 107034 422 55 0 107210 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 433276 [startup+1791.12 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=983960/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=433408 CPUtime=1790.54 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 108910 0 0 0 178921 133 0 0 25 0 1 0 200574758 443809792 107085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 108352 107085 422 55 0 107243 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 433408 [startup+1792.13 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=977368/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=440092 CPUtime=1791.55 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 112204 0 0 0 179021 134 0 0 25 0 1 0 200574758 450654208 108741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 110023 108741 422 55 0 108914 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 440092 [startup+1793.13 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=977240/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=440092 CPUtime=1792.55 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 112224 0 0 0 179121 134 0 0 25 0 1 0 200574758 450654208 108761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 110023 108761 422 55 0 108914 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 440092 [startup+1794.14 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=977112/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=440360 CPUtime=1793.56 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 112257 0 0 0 179222 134 0 0 25 0 1 0 200574758 450928640 108794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 110090 108794 422 55 0 108981 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 440360 [startup+1795.14 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=976920/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=440492 CPUtime=1794.56 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 112307 0 0 0 179322 134 0 0 25 0 1 0 200574758 451063808 108844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534941 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 110123 108844 422 55 0 109014 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 440492 [startup+1796.15 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=976728/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=440624 CPUtime=1795.57 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 112353 0 0 0 179423 134 0 0 25 0 1 0 200574758 451198976 108890 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 110156 108890 422 55 0 109047 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 440624 [startup+1797.15 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=976536/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=440888 CPUtime=1796.57 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 112400 0 0 0 179523 134 0 0 25 0 1 0 200574758 451469312 108937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 110222 108937 422 55 0 109113 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 440888 [startup+1798.16 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=976280/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=441152 CPUtime=1797.58 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 112468 0 0 0 179624 134 0 0 25 0 1 0 200574758 451739648 109005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 110288 109005 422 55 0 109179 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 441152 [startup+1799.16 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=976024/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=441416 CPUtime=1798.58 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 112537 0 0 0 179724 134 0 0 25 0 1 0 200574758 452009984 109074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 110354 109074 422 55 0 109245 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 441416 [startup+1800.17 s] /proc/loadavg: 1.00 0.99 0.98 2/68 2040 /proc/meminfo: memFree=975640/2055892 swapFree=4085344/4096564 [pid=1838] ppid=1836 vsize=441812 CPUtime=1799.58 /proc/1838/stat : 1838 (bsolo) R 1836 1838 1789 0 -1 0 112621 0 0 0 179824 134 0 0 25 0 1 0 200574758 452415488 109158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 110453 109158 422 55 0 109344 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 441812 Child status: 10 Real time (s): 1800.66 CPU time (s): 1800.08 CPU user time (s): 1798.66 CPU system time (s): 1.41279 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (Kb): 441812
Begin job on node81 on Sat Jun 3 15:42:33 UTC 2006 FILE ID= 39995-1149349353 PBS_JOBID= 310886 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-sample2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39995-1149349353/instance-39995-1149349353.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node81/watcher-39995-1149349353 -o ROOT/results/node81/solver-39995-1149349353 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39995-1149349353/instance-39995-1149349353.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 98cb9153c0a6885786e060f27dbb5c7a RANDOM SEED= 146642813 /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.248 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.19 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.248 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1411672 kB Buffers: 37832 kB Cached: 528148 kB SwapCached: 2636 kB Active: 40056 kB Inactive: 534772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1411672 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16520 kB Slab: 55924 kB Committed_AS: 312608 kB PageTables: 1288 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node81 on Sat Jun 3 16:12:34 UTC 2006