Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -36 | 1800.11 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-afiro.opb |
MD5SUM | d412dc68829850bad6555fa34c6ad801 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -65 |
Optimality of the best value was proved | NO |
Number of variables | 960 |
Total number of constraints | 27 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 27 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 222156 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524394 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524468 |
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.01 c INFO: OSL Context initialized. 0.03 c Initial problem consists of 960 variables and 35 constraints. 0.03 c No problem reductions applied in OPT. instance. 0.03 c preprocess terminated. Elapsed time: 0.017 0.03 c After prepocess the problem consists of 634 variables and 35 constraints. 0.03 c Initial Lower Bound: -121 0.05 c Restart #1 #Var: 634 LB: -121 @ 0.041 0.10 c Restart #2 #Var: 634 LB: -121 @ 0.086 0.17 c Restart #3 #Var: 634 LB: -121 @ 0.158 0.27 c Restart #4 #Var: 634 LB: -121 @ 0.252 0.39 c Restart #5 #Var: 634 LB: -121 @ 0.373 0.53 c Restart #6 #Var: 634 LB: -121 @ 0.518 0.68 c Restart #7 #Var: 634 LB: -121 @ 0.668 1.01 c Restart #8 #Var: 634 LB: -121 @ 0.996 1.25 c Restart #9 #Var: 634 LB: -121 @ 1.237 1.32 c Restart #10 #Var: 634 LB: -121 @ 1.304 1.32 c Sol. found (all assignments made)... 1.32 o -7 1.32 c NEW SOLUTION FOUND: -7 @ 1.31 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 o -8 1.32 c NEW SOLUTION FOUND: -8 @ 1.311 1.32 c Sol. found (all assignments made)... 1.32 o -9 1.32 c NEW SOLUTION FOUND: -9 @ 1.311 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 o -10 1.33 c NEW SOLUTION FOUND: -10 @ 1.312 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 o -11 1.33 c NEW SOLUTION FOUND: -11 @ 1.314 1.33 c Sol. found (all assignments made)... 1.33 o -12 1.33 c NEW SOLUTION FOUND: -12 @ 1.314 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 o -13 1.33 c NEW SOLUTION FOUND: -13 @ 1.316 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 o -14 1.33 c NEW SOLUTION FOUND: -14 @ 1.319 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 o -15 1.34 c NEW SOLUTION FOUND: -15 @ 1.329 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.48 c Restart #11 #Var: 634 LB: -121 @ 1.469 3.06 c Restart #12 #Var: 627 LB: -110 @ 3.047 3.22 c Restart #13 #Var: 627 LB: -110 @ 3.207 4.22 c Restart #14 #Var: 627 LB: -110 @ 4.204 5.40 c CHANGE to MIS mode... UB: -15 MIS: -110 LPR: -90 (0.018) Diff: 1.2222 5.40 c Restart #0 #Var: 627 LB: -110 @ 5.366 5.45 c Restart #1 #Var: 627 LB: -110 @ 5.416 5.49 c Restart #2 #Var: 627 LB: -110 @ 5.457 5.78 c Restart #3 #Var: 627 LB: -110 @ 5.746 5.91 c Sol. found (all assignments made)... 5.91 o -16 5.91 c NEW SOLUTION FOUND: -16 @ 5.873 5.91 c Sol. found (all assignments made)... 5.91 o -17 5.91 c NEW SOLUTION FOUND: -17 @ 5.875 5.91 c Sol. found (all assignments made)... 5.91 o -18 5.91 c NEW SOLUTION FOUND: -18 @ 5.876 5.91 c Sol. found (all assignments made)... 5.91 o -19 5.91 c NEW SOLUTION FOUND: -19 @ 5.878 6.07 c Sol. found (all assignments made)... 6.07 o -20 6.07 c NEW SOLUTION FOUND: -20 @ 6.04 6.08 c Sol. found (all assignments made)... 6.08 o -21 6.08 c NEW SOLUTION FOUND: -21 @ 6.045 6.09 c Sol. found (all assignments made)... 6.09 o -22 6.09 c NEW SOLUTION FOUND: -22 @ 6.055 6.10 c Sol. found (all assignments made)... 6.10 o -23 6.10 c NEW SOLUTION FOUND: -23 @ 6.065 6.29 c Sol. found (all assignments made)... 6.29 o -24 6.29 c NEW SOLUTION FOUND: -24 @ 6.258 6.30 c Sol. found (all assignments made)... 6.30 o -25 6.30 c NEW SOLUTION FOUND: -25 @ 6.269 6.31 c Sol. found (all assignments made)... 6.31 o -26 6.31 c NEW SOLUTION FOUND: -26 @ 6.279 6.32 c Sol. found (all assignments made)... 6.32 o -27 6.32 c NEW SOLUTION FOUND: -27 @ 6.287 6.34 c Sol. found (all assignments made)... 6.34 o -28 6.34 c NEW SOLUTION FOUND: -28 @ 6.31 6.35 c Sol. found (all assignments made)... 6.35 o -29 6.35 c NEW SOLUTION FOUND: -29 @ 6.313 6.36 c Sol. found (all assignments made)... 6.36 o -30 6.36 c NEW SOLUTION FOUND: -30 @ 6.323 6.36 c Sol. found (all assignments made)... 6.36 o -31 6.36 c NEW SOLUTION FOUND: -31 @ 6.33 6.40 c Sol. found (all assignments made)... 6.40 o -32 6.40 c NEW SOLUTION FOUND: -32 @ 6.364 6.40 c Sol. found (all assignments made)... 6.40 o -33 6.40 c NEW SOLUTION FOUND: -33 @ 6.37 6.41 c Sol. found (all assignments made)... 6.41 o -34 6.41 c NEW SOLUTION FOUND: -34 @ 6.375 6.49 c Restart #4 #Var: 627 LB: -110 @ 6.453 7.40 c Restart #5 #Var: 627 LB: -110 @ 7.367 8.04 c Restart #6 #Var: 627 LB: -110 @ 8.002 8.61 c Restart #7 #Var: 627 LB: -110 @ 8.574 9.60 c Restart #8 #Var: 627 LB: -110 @ 9.557 11.41 c Restart #9 #Var: 627 LB: -110 @ 11.372 12.72 c Restart #10 #Var: 627 LB: -110 @ 12.678 15.21 c Restart #11 #Var: 627 LB: -110 @ 15.171 18.71 c Restart #12 #Var: 627 LB: -110 @ 18.673 20.58 c Restart #13 #Var: 627 LB: -110 @ 20.535 21.31 c Restart #14 #Var: 627 LB: -110 @ 21.265 27.94 c Restart #15 #Var: 627 LB: -110 @ 27.895 30.41 c Restart #16 #Var: 627 LB: -110 @ 30.365 34.06 c Restart #17 #Var: 627 LB: -110 @ 34.008 42.55 c Restart #18 #Var: 627 LB: -110 @ 42.495 46.61 c Restart #19 #Var: 627 LB: -110 @ 46.558 51.75 c Restart #20 #Var: 627 LB: -110 @ 51.697 57.70 c Restart #21 #Var: 627 LB: -110 @ 57.642 74.12 c Restart #22 #Var: 627 LB: -110 @ 74.059 75.31 c Restart #23 #Var: 627 LB: -110 @ 75.248 81.38 c Restart #24 #Var: 627 LB: -110 @ 81.314 90.66 c Restart #25 #Var: 627 LB: -110 @ 90.593 97.76 c Restart #26 #Var: 627 LB: -110 @ 97.686 104.75 c Restart #27 #Var: 627 LB: -110 @ 104.68 137.98 c Restart #28 #Var: 627 LB: -110 @ 137.9 149.89 c Restart #29 #Var: 627 LB: -110 @ 149.8 159.77 c Restart #30 #Var: 627 LB: -110 @ 159.68 195.44 c Restart #31 #Var: 627 LB: -110 @ 195.34 201.97 c Restart #32 #Var: 627 LB: -110 @ 201.86 216.42 c Restart #33 #Var: 627 LB: -110 @ 216.31 224.46 c Restart #34 #Var: 627 LB: -110 @ 224.34 240.03 c Restart #35 #Var: 627 LB: -110 @ 239.91 286.85 c Restart #36 #Var: 627 LB: -110 @ 286.71 302.29 c Restart #37 #Var: 627 LB: -110 @ 302.14 354.77 c Restart #38 #Var: 627 LB: -110 @ 354.61 403.89 c Restart #39 #Var: 627 LB: -110 @ 403.71 428.80 c Restart #40 #Var: 627 LB: -110 @ 428.61 458.84 c Restart #41 #Var: 627 LB: -110 @ 458.63 500.03 c Restart #42 #Var: 627 LB: -110 @ 499.81 521.44 c Restart #43 #Var: 627 LB: -110 @ 521.21 553.66 c Restart #44 #Var: 627 LB: -110 @ 553.43 569.43 c Restart #45 #Var: 627 LB: -110 @ 569.19 651.16 c Restart #46 #Var: 627 LB: -110 @ 650.89 775.31 c Restart #47 #Var: 627 LB: -110 @ 775 834.05 c Sol. found (all assignments made)... 834.05 o -35 834.05 c NEW SOLUTION FOUND: -35 @ 833.71 884.18 c Restart #48 #Var: 627 LB: -110 @ 883.83 1026.62 c Restart #49 #Var: 627 LB: -110 @ 1026.2 1066.02 c Restart #50 #Var: 627 LB: -110 @ 1065.6 1085.56 c Restart #51 #Var: 627 LB: -110 @ 1085.1 1212.95 c Restart #52 #Var: 627 LB: -110 @ 1212.4 1275.76 c Sol. found (all assignments made)... 1275.76 o -36 1275.76 c NEW SOLUTION FOUND: -36 @ 1275.2 1320.49 c Restart #53 #Var: 627 LB: -110 @ 1319.9 1434.09 c Restart #54 #Var: 627 LB: -110 @ 1433.5 1466.70 c Restart #55 #Var: 627 LB: -110 @ 1466.1 1483.40 c Restart #56 #Var: 626 LB: -110 @ 1482.8 1594.66 c Restart #57 #Var: 626 LB: -110 @ 1594 1721.24 c Restart #58 #Var: 626 LB: -110 @ 1720.5 1800.75 s SATISFIABLE 1800.75 c Cost: -36 1800.75 v -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 -x56 1800.75 v -x57 -x58 -x59 -x60 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.75 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.75 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1800.75 v x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 1800.75 v -x865 -x866 -x867 -x868 -x869 -x870 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.75 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x1 x2 x3 x4 -x5 x6 x7 x8 -x9 -x10 -x11 1800.75 v -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x61 -x62 -x63 -x64 -x65 -x66 -x67 1800.75 v -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 x93 x94 1800.75 v x95 x96 -x97 x98 -x99 x100 x101 x102 x103 x104 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.75 v -x119 -x120 x121 x122 x123 -x124 -x125 x126 x127 x128 x129 x130 x131 x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 1800.75 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1800.75 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 1800.75 v -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 1800.75 v -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 1800.75 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x391 x392 x393 x394 -x395 -x396 1800.75 v x397 x398 x399 -x400 x401 x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 1800.75 v -x419 -x420 -x421 x422 x423 x424 -x425 -x426 -x427 x428 x429 -x430 -x431 -x432 -x433 -x434 x435 x436 -x437 -x438 -x439 -x440 1800.75 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 1800.75 v x464 -x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x511 -x512 -x513 -x514 1800.75 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 1800.75 v -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 1800.75 v -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 x575 -x576 -x577 1800.75 v -x578 -x579 -x580 x581 -x582 -x583 x584 -x585 -x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1800.75 v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 1800.75 v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 1800.75 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 1800.75 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 1800.75 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 1800.75 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x901 -x902 -x903 -x904 1800.75 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 1800.75 v -x926 -x927 -x928 -x929 -x930 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 x886 1800.75 v x887 x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x241 -x242 -x243 -x244 -x245 -x246 -x247 1800.75 v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 1800.75 v -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 1800.75 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 1800.75 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 1800.75 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 1800.75 v -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 1800.75 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 1800.75 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1800.75 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1800.75 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 1800.75 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1800.75 v -x839 -x840 1800.75 c Exit Code: 10 1800.75 c Total time: 1800 s
OK -36
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/node54/watcher-39948-1149338578 -o ROOT/results/node54/solver-39948-1149338578 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node54/39948-1149338578/instance-39948-1149338578.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 3/64 2380 /proc/meminfo: memFree=1793536/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=4664 CPUtime=0 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 121 0 0 0 0 0 0 0 18 0 1 0 199525363 4775936 103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10089664 0 0 4096 0 0 0 0 17 1 0 0 /proc/2380/statm: 1166 111 92 55 0 46 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1759248/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=36812 CPUtime=9.95 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 8569 0 8 0 988 7 0 0 25 0 1 0 199525363 37695488 8486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 9203 8486 423 55 0 8095 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 36812 [startup+20.0089 s] /proc/loadavg: 0.94 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1743952/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=52104 CPUtime=19.96 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 12385 0 8 0 1985 11 0 0 25 0 1 0 199525363 53354496 12302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 13026 12302 423 55 0 11918 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 52104 [startup+30.0159 s] /proc/loadavg: 0.95 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1727888/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=68088 CPUtime=29.96 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 16393 0 8 0 2982 14 0 0 25 0 1 0 199525363 69722112 16309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 17022 16309 423 55 0 15914 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 68088 [startup+40.022 s] /proc/loadavg: 0.96 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1715280/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=80760 CPUtime=39.97 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 19543 0 8 0 3980 17 0 0 25 0 1 0 199525363 82698240 19459 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 20190 19459 423 55 0 19082 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 80760 [startup+50.0281 s] /proc/loadavg: 0.96 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1708624/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=87504 CPUtime=49.96 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 21212 0 8 0 4977 19 0 0 25 0 1 0 199525363 89604096 21128 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 21876 21128 423 55 0 20768 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 87504 [startup+60.0342 s] /proc/loadavg: 0.97 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1695696/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=100372 CPUtime=59.97 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 24565 0 8 0 5974 23 0 0 25 0 1 0 199525363 102780928 24357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 25093 24357 423 55 0 23985 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 100372 [startup+70.0403 s] /proc/loadavg: 0.97 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1693456/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=102632 CPUtime=69.97 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 25125 0 8 0 6973 24 0 0 25 0 1 0 199525363 105095168 24916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 25658 24916 423 55 0 24550 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 102632 [startup+80.0464 s] /proc/loadavg: 0.98 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1682192/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=113888 CPUtime=79.97 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 27940 0 8 0 7970 27 0 0 25 0 1 0 199525363 116621312 27731 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 28472 27731 423 55 0 27364 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 113888 [startup+90.0525 s] /proc/loadavg: 0.98 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1670992/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=125120 CPUtime=89.97 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 30721 0 8 0 8967 30 0 0 25 0 1 0 199525363 128122880 30512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 31280 30512 423 55 0 30172 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 125120 [startup+100.06 s] /proc/loadavg: 0.98 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1664144/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=132004 CPUtime=99.98 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 32433 0 8 0 9966 32 0 0 25 0 1 0 199525363 135172096 32224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 33001 32224 423 55 0 31893 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 132004 [startup+110.067 s] /proc/loadavg: 0.98 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1656080/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=140068 CPUtime=109.98 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 34465 0 8 0 10964 34 0 0 25 0 1 0 199525363 143429632 34256 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 35017 34256 423 55 0 33909 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 140068 [startup+120.073 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1653968/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=142188 CPUtime=119.98 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 34984 0 8 0 11963 35 0 0 25 0 1 0 199525363 145600512 34773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 35547 34773 423 55 0 34439 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 142188 [startup+130.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1652240/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=143904 CPUtime=129.98 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 35419 0 8 0 12963 35 0 0 25 0 1 0 199525363 147357696 35208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 35976 35208 423 55 0 34868 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 143904 [startup+140.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1649232/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=146992 CPUtime=139.99 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 36169 0 8 0 13963 36 0 0 25 0 1 0 199525363 150519808 35955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 36748 35955 423 55 0 35640 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 146992 [startup+150.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1638288/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=157972 CPUtime=149.99 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 38903 0 8 0 14960 39 0 0 25 0 1 0 199525363 161763328 38688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 39493 38688 423 55 0 38385 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 157972 [startup+160.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1631824/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=164476 CPUtime=160 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 40518 0 8 0 15958 42 0 0 25 0 1 0 199525363 168423424 40302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10561147 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 41119 40302 423 55 0 40011 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 164476 [startup+170.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1629456/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=166852 CPUtime=170 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 41101 0 8 0 16957 43 0 0 25 0 1 0 199525363 170856448 40885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 41713 40885 423 55 0 40605 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 166852 [startup+180.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1628304/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=168040 CPUtime=180 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 41390 0 8 0 17957 43 0 0 25 0 1 0 199525363 172072960 41174 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 42010 41174 423 55 0 40902 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 168040 [startup+190.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1626768/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=169624 CPUtime=190.01 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 41773 0 8 0 18957 44 0 0 25 0 1 0 199525363 173694976 41557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 42406 41557 423 55 0 41298 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 169624 [startup+200.124 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1620688/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=175688 CPUtime=200 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 43292 0 8 0 19955 45 0 0 25 0 1 0 199525363 179904512 43076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 43922 43076 423 55 0 42814 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 175688 [startup+210.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2380 /proc/meminfo: memFree=1609936/2055920 swapFree=4180872/4192956 ################ # More data... # ################ /proc/2380/statm: 142031 140452 423 55 0 140923 0 Current children cumulated CPU time (s) 1760.38 Current children cumulated vsize (Kb) 568124 [startup+1771.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1227024/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=571292 CPUtime=1770.38 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 142730 0 8 0 176860 178 0 0 25 0 1 0 199525363 585003008 141227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 142823 141227 423 55 0 141715 0 Current children cumulated CPU time (s) 1770.38 Current children cumulated vsize (Kb) 571292 [startup+1781.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1224464/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=573800 CPUtime=1780.38 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 143358 0 8 0 177859 179 0 0 25 0 1 0 199525363 587571200 141855 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 143450 141855 423 55 0 142342 0 Current children cumulated CPU time (s) 1780.38 Current children cumulated vsize (Kb) 573800 [startup+1782.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1223888/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=574328 CPUtime=1781.39 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 143497 0 8 0 177960 179 0 0 25 0 1 0 199525363 588111872 141994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 143582 141994 423 55 0 142474 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 574328 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1223760/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=574460 CPUtime=1782.39 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 143536 0 8 0 178060 179 0 0 25 0 1 0 199525363 588247040 142033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 143615 142033 423 55 0 142507 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 574460 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1223248/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=574988 CPUtime=1783.4 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 143662 0 8 0 178161 179 0 0 25 0 1 0 199525363 588787712 142159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 143747 142159 423 55 0 142639 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 574988 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1222864/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=575384 CPUtime=1784.4 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 143757 0 8 0 178261 179 0 0 25 0 1 0 199525363 589193216 142254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 143846 142254 423 55 0 142738 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 575384 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1222672/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=575516 CPUtime=1785.4 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 143799 0 8 0 178361 179 0 0 25 0 1 0 199525363 589328384 142296 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 143879 142296 423 55 0 142771 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 575516 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1222416/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=575780 CPUtime=1786.41 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 143866 0 8 0 178462 179 0 0 25 0 1 0 199525363 589598720 142363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 143945 142363 423 55 0 142837 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 575780 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1221904/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=576308 CPUtime=1787.41 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 143994 0 8 0 178562 179 0 0 25 0 1 0 199525363 590139392 142491 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144077 142491 423 55 0 142969 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 576308 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1221392/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=576836 CPUtime=1788.42 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144121 0 8 0 178662 180 0 0 25 0 1 0 199525363 590680064 142618 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144209 142618 423 55 0 143101 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 576836 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1220944/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=577232 CPUtime=1789.43 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144242 0 8 0 178763 180 0 0 25 0 1 0 199525363 591085568 142739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144308 142739 423 55 0 143200 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 577232 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1220880/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=577364 CPUtime=1790.43 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144255 0 8 0 178863 180 0 0 25 0 1 0 199525363 591220736 142752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144341 142752 423 55 0 143233 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 577364 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1220624/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=577496 CPUtime=1791.43 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144309 0 8 0 178963 180 0 0 25 0 1 0 199525363 591355904 142806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144374 142806 423 55 0 143266 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 577496 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1220624/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=577628 CPUtime=1792.44 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144315 0 8 0 179064 180 0 0 25 0 1 0 199525363 591491072 142812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144407 142812 423 55 0 143299 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 577628 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1220560/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=577628 CPUtime=1793.44 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144324 0 8 0 179164 180 0 0 25 0 1 0 199525363 591491072 142821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144407 142821 423 55 0 143299 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 577628 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1220432/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=577760 CPUtime=1794.45 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144364 0 8 0 179265 180 0 0 25 0 1 0 199525363 591626240 142861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10561147 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144440 142861 423 55 0 143332 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 577760 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1220048/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=578156 CPUtime=1795.45 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144462 0 8 0 179365 180 0 0 25 0 1 0 199525363 592031744 142959 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144539 142959 423 55 0 143431 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 578156 [startup+1797.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1219600/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=578552 CPUtime=1796.45 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144564 0 8 0 179465 180 0 0 25 0 1 0 199525363 592437248 143061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144638 143061 423 55 0 143530 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 578552 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1219472/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=578684 CPUtime=1797.45 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144607 0 8 0 179565 180 0 0 25 0 1 0 199525363 592572416 143104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144671 143104 423 55 0 143563 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 578684 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1218960/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=579212 CPUtime=1798.47 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144725 0 8 0 179666 181 0 0 25 0 1 0 199525363 593113088 143222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144803 143222 423 55 0 143695 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 579212 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2575 /proc/meminfo: memFree=1218576/2055920 swapFree=4180872/4192956 [pid=2380] ppid=2378 vsize=579608 CPUtime=1799.47 /proc/2380/stat : 2380 (bsolo) R 2378 2380 2334 0 -1 0 144826 0 8 0 179766 181 0 0 25 0 1 0 199525363 593518592 143323 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2380/statm: 144902 143323 423 55 0 143794 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 579608 Child status: 10 Real time (s): 1800.84 CPU time (s): 1800.11 CPU user time (s): 1798.2 CPU system time (s): 1.90671 CPU usage (%): 99.9594 Max. virtual memory (cumulated for all children) (Kb): 579608
Begin job on node54 on Sat Jun 3 12:42:59 UTC 2006 FILE ID= 39948-1149338578 PBS_JOBID= 310278 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-afiro.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node54/39948-1149338578/instance-39948-1149338578.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-39948-1149338578 -o ROOT/results/node54/solver-39948-1149338578 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node54/39948-1149338578/instance-39948-1149338578.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d412dc68829850bad6555fa34c6ad801 RANDOM SEED= 339682614 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1793936 kB Buffers: 23524 kB Cached: 175796 kB SwapCached: 3864 kB Active: 37584 kB Inactive: 170576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1793936 kB SwapTotal: 4192956 kB SwapFree: 4180872 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14920 kB Slab: 39916 kB Committed_AS: 324444 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node54 on Sat Jun 3 13:13:00 UTC 2006