Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -23 | 1800.08 | 1803.93 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb |
MD5SUM | 7f40f8d513f22fc9adca96d8fdf626e2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -24 |
Best CPU time to get the best result obtained on this benchmark | 1800.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -24 |
Optimality of the best value was proved | NO |
Number of variables | 1835 |
Total number of constraints | 2112 |
Number of constraints which are clauses | 1906 |
Number of constraints which are cardinality constraints (but not clauses) | 86 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 882 |
Number of terms in the objective function | 120 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 120 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 900 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.04 c Time Limit set via PBTIMEOUT to 1800 0.05 c INFO: OSL Context initialized. 0.17 c Initial problem consists of 1835 variables and 2149 constraints. 0.19 c No problem reductions applied in OPT. instance. 0.19 c preprocess terminated. Elapsed time: 0.146 0.19 c After prepocess the problem consists of 1835 variables and 2149 constraints. 0.19 c Initial Lower Bound: -120 0.33 c Restart #1 #Var: 1835 LB: -120 @ 0.288 0.62 c Restart #2 #Var: 1835 LB: -120 @ 0.572 0.72 c Sol. found (all assignments made)... 0.72 o -11 0.72 c NEW SOLUTION FOUND: -11 @ 0.673 1.26 c Restart #3 #Var: 1835 LB: -120 @ 1.213 1.83 c Restart #4 #Var: 1835 LB: -120 @ 1.785 2.14 c Sol. found (all assignments made)... 2.14 o -17 2.14 c NEW SOLUTION FOUND: -17 @ 2.097 2.16 c Sol. found (all assignments made)... 2.16 o -18 2.16 c NEW SOLUTION FOUND: -18 @ 2.11 2.16 c Sol. found (all assignments made)... 2.16 o -19 2.16 c NEW SOLUTION FOUND: -19 @ 2.114 2.17 c Sol. found (all assignments made)... 2.17 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.37 o -20 2.37 c NEW SOLUTION FOUND: -20 @ 2.319 2.60 c Restart #5 #Var: 1835 LB: -120 @ 2.555 3.77 c Restart #6 #Var: 1835 LB: -120 @ 3.727 4.05 c Restart #7 #Var: 1835 LB: -120 @ 4 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.61 c Restart #8 #Var: 1835 LB: -120 @ 4.56 5.15 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 10.22 c CHANGE to MIS mode... UB: -20 MIS: -120 LPR: -41 (1.808) Diff: 2.9268 10.22 c Restart #0 #Var: 1835 LB: -120 @ 7.109 10.50 c Restart #1 #Var: 1835 LB: -120 @ 7.392 10.80 c Restart #2 #Var: 1835 LB: -120 @ 7.69 11.27 c Restart #3 #Var: 1835 LB: -120 @ 8.159 11.31 c Sol. found (all assignments made)... 11.32 c Sol. found (all assignments made)... 11.32 c Sol. found (all assignments made)... 11.33 c Sol. found (all assignments made)... 11.33 c Sol. found (all assignments made)... 11.34 c Sol. found (all assignments made)... 11.35 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.37 c Sol. found (all assignments made)... 11.59 c Restart #4 #Var: 1835 LB: -120 @ 8.478 11.89 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.90 c Sol. found (all assignments made)... 11.90 c Sol. found (all assignments made)... 11.91 c Sol. found (all assignments made)... 11.92 c Sol. found (all assignments made)... 11.93 c Sol. found (all assignments made)... 11.93 c Sol. found (all assignments made)... 11.93 c Sol. found (all assignments made)... 12.04 c Restart #5 #Var: 1835 LB: -120 @ 8.928 12.60 c Restart #6 #Var: 1835 LB: -120 @ 9.49 14.05 c Restart #7 #Var: 1835 LB: -120 @ 10.933 15.03 c Sol. found (all assignments made)... 15.24 c Restart #8 #Var: 1835 LB: -120 @ 12.125 16.77 c Restart #9 #Var: 1835 LB: -120 @ 13.656 17.71 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.83 c Restart #10 #Var: 1835 LB: -120 @ 14.712 19.90 c Sol. found (all assignments made)... 19.91 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.95 c Sol. found (all assignments made)... 19.96 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 20.27 c Sol. found (all assignments made)... 20.27 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.60 c Restart #11 #Var: 1835 LB: -120 @ 17.487 22.13 c Sol. found (all assignments made)... 22.13 c Sol. found (all assignments made)... 22.14 c Sol. found (all assignments made)... 22.17 c Sol. found (all assignments made)... 22.17 c Sol. found (all assignments made)... 22.17 c Sol. found (all assignments made)... 22.17 c Sol. found (all assignments made)... 22.18 c Sol. found (all assignments made)... 22.18 c Sol. found (all assignments made)... 22.18 c Sol. found (all assignments made)... 22.18 c Sol. found (all assignments made)... 22.18 c Sol. found (all assignments made)... 22.18 c Sol. found (all assignments made)... 22.19 c Sol. found (all assignments made)... 22.22 c Sol. found (all assignments made)... 22.22 c Sol. found (all assignments made)... 22.23 c Sol. found (all assignments made)... 22.26 c Sol. found (all assignments made)... 22.27 c Sol. found (all assignments made)... 22.27 c Sol. found (all assignments made)... 22.27 c Sol. found (all assignments made)... 22.27 c Sol. found (all assignments made)... 22.32 c Sol. found (all assignments made)... 22.32 c Sol. found (all assignments made)... 22.33 c Sol. found (all assignments made)... 22.33 c Sol. found (all assignments made)... 22.33 c Sol. found (all assignments made)... 22.34 c Sol. found (all assignments made)... 22.34 c Sol. found (all assignments made)... 22.36 c Restart #12 #Var: 1835 LB: -120 @ 19.241 22.70 c Sol. found (all assignments made)... 22.70 c Sol. found (all assignments made)... 22.70 o -21 22.70 c NEW SOLUTION FOUND: -21 @ 19.583 22.81 c Sol. found (all assignments made)... 22.84 c Sol. found (all assignments made)... 22.88 c Sol. found (all assignments made)... 22.88 c Sol. found (all assignments made)... 22.96 c Sol. found (all assignments made)... 22.96 o -22 22.96 c NEW SOLUTION FOUND: -22 @ 19.843 23.02 c Sol. found (all assignments made)... 23.02 o -23 23.02 c NEW SOLUTION FOUND: -23 @ 19.904 23.03 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 24.13 c Restart #13 #Var: 1835 LB: -120 @ 21.011 27.12 c Restart #14 #Var: 1835 LB: -120 @ 23.998 28.99 c Restart #15 #Var: 1835 LB: -120 @ 25.868 31.58 c Restart #16 #Var: 1835 LB: -120 @ 28.463 32.76 c Sol. found (all assignments made)... 33.46 c Sol. found (all assignments made)... 33.48 c Sol. found (all assignments made)... 33.49 c Sol. found (all assignments made)... 33.49 c Sol. found (all assignments made)... 33.55 c Sol. found (all assignments made)... 33.56 c Sol. found (all assignments made)... 33.56 c Sol. found (all assignments made)... 33.76 c Restart #17 #Var: 1835 LB: -120 @ 30.635 36.82 c Restart #18 #Var: 1835 LB: -120 @ 33.7 37.68 c Sol. found (all assignments made)... 37.70 c Sol. found (all assignments made)... 37.75 c Sol. found (all assignments made)... 39.97 c Sol. found (all assignments made)... 40.02 c Sol. found (all assignments made)... 40.02 c Sol. found (all assignments made)... 40.02 c Sol. found (all assignments made)... 40.02 c Sol. found (all assignments made)... 40.02 c Sol. found (all assignments made)... 40.38 c Sol. found (all assignments made)... 40.38 c Sol. found (all assignments made)... 40.38 c Sol. found (all assignments made)... 40.38 c Sol. found (all assignments made)... 40.47 c Sol. found (all assignments made)... 40.47 c Sol. found (all assignments made)... 40.49 c Sol. found (all assignments made)... 40.49 c Sol. found (all assignments made)... 40.55 c Sol. found (all assignments made)... 40.58 c Sol. found (all assignments made)... 40.59 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.94 c Restart #19 #Var: 1835 LB: -120 @ 37.817 42.70 c Sol. found (all assignments made)... 42.71 c Sol. found (all assignments made)... 42.71 c Sol. found (all assignments made)... 42.72 c Sol. found (all assignments made)... 42.72 c Sol. found (all assignments made)... 42.72 c Sol. found (all assignments made)... 42.76 c Sol. found (all assignments made)... 42.88 c Sol. found (all assignments made)... 43.02 c Sol. found (all assignments made)... 43.04 c Sol. found (all assignments made)... 43.06 c Sol. found (all assignments made)... 43.06 c Sol. found (all assignments made)... 43.53 c Sol. found (all assignments made)... 43.58 c Restart #20 #Var: 1835 LB: -120 @ 40.448 50.29 c Restart #21 #Var: 1835 LB: -120 @ 47.162 62.81 c Restart #22 #Var: 1835 LB: -120 @ 59.679 64.53 c Sol. found (all assignments made)... 64.53 c Sol. found (all assignments made)... 64.53 c Sol. found (all assignments made)... 64.59 c Sol. found (all assignments made)... 64.60 c Sol. found (all assignments made)... 64.60 c Sol. found (all assignments made)... 64.93 c Sol. found (all assignments made)... 65.44 c Sol. found (all assignments made)... 65.55 c Sol. found (all assignments made)... 65.57 c Sol. found (all assignments made)... 65.60 c Sol. found (all assignments made)... 66.47 c Restart #23 #Var: 1835 LB: -120 @ 63.334 75.96 c Sol. found (all assignments made)... 75.96 c Sol. found (all assignments made)... 76.00 c Sol. found (all assignments made)... 76.00 c Sol. found (all assignments made)... 76.22 c Sol. found (all assignments made)... 76.22 c Sol. found (all assignments made)... 76.51 c Sol. found (all assignments made)... 76.90 c Sol. found (all assignments made)... 77.52 c Restart #24 #Var: 1835 LB: -120 @ 74.376 89.44 c Restart #25 #Var: 1835 LB: -120 @ 86.293 93.24 c Sol. found (all assignments made)... 93.25 c Sol. found (all assignments made)... 93.26 c Sol. found (all assignments made)... 93.27 c Sol. found (all assignments made)... 93.33 c Sol. found (all assignments made)... 93.33 c Sol. found (all assignments made)... 93.34 c Sol. found (all assignments made)... 93.34 c Sol. found (all assignments made)... 93.35 c Sol. found (all assignments made)... 93.38 c Sol. found (all assignments made)... 93.38 c Sol. found (all assignments made)... 93.39 c Sol. found (all assignments made)... 93.39 c Sol. found (all assignments made)... 93.45 c Sol. found (all assignments made)... 93.46 c Sol. found (all assignments made)... 93.55 c Sol. found (all assignments made)... 93.68 c Sol. found (all assignments made)... 93.68 c Sol. found (all assignments made)... 93.68 c Sol. found (all assignments made)... 93.68 c Sol. found (all assignments made)... 94.83 c Restart #26 #Var: 1835 LB: -120 @ 91.685 99.10 c Sol. found (all assignments made)... 99.11 c Sol. found (all assignments made)... 104.26 c Restart #27 #Var: 1835 LB: -120 @ 101.11 117.39 c Sol. found (all assignments made)... 117.42 c Sol. found (all assignments made)... 118.31 c Sol. found (all assignments made)... 119.86 c Restart #28 #Var: 1835 LB: -120 @ 116.7 123.48 c Sol. found (all assignments made)... 123.49 c Sol. found (all assignments made)... 123.49 c Sol. found (all assignments made)... 123.74 c Sol. found (all assignments made)... 123.80 c Sol. found (all assignments made)... 123.80 c Sol. found (all assignments made)... 124.65 c Sol. found (all assignments made)... 124.65 c Sol. found (all assignments made)... 124.65 c Sol. found (all assignments made)... 124.65 c Sol. found (all assignments made)... 124.65 c Sol. found (all assignments made)... 124.65 c Sol. found (all assignments made)... 124.66 c Sol. found (all assignments made)... 125.63 c Sol. found (all assignments made)... 125.63 c Sol. found (all assignments made)... 125.68 c Sol. found (all assignments made)... 125.74 c Sol. found (all assignments made)... 126.63 c Sol. found (all assignments made)... 126.79 c Sol. found (all assignments made)... 126.90 c Restart #29 #Var: 1835 LB: -120 @ 123.74 149.44 c Restart #30 #Var: 1835 LB: -120 @ 146.26 150.26 c Sol. found (all assignments made)... 150.27 c Sol. found (all assignments made)... 150.27 c Sol. found (all assignments made)... 150.27 c Sol. found (all assignments made)... 150.29 c Sol. found (all assignments made)... 150.29 c Sol. found (all assignments made)... 150.30 c Sol. found (all assignments made)... 150.31 c Sol. found (all assignments made)... 150.67 c Sol. found (all assignments made)... 150.71 c Sol. found (all assignments made)... 150.78 c Sol. found (all assignments made)... 150.78 c Sol. found (all assignments made)... 150.86 c Sol. found (all assignments made)... 150.87 c Sol. found (all assignments made)... 150.88 c Sol. found (all assignments made)... 150.97 c Sol. found (all assignments made)... 150.98 c Sol. found (all assignments made)... 154.30 c Sol. found (all assignments made)... 154.31 c Sol. found (all assignments made)... 154.36 c Sol. found (all assignments made)... 154.36 c Sol. found (all assignments made)... 155.50 c Restart #31 #Var: 1835 LB: -120 @ 152.33 170.24 c Sol. found (all assignments made)... 170.25 c Sol. found (all assignments made)... 175.28 c Sol. found (all assignments made)... 176.27 c Restart #32 #Var: 1835 LB: -120 @ 173.09 181.52 c Sol. found (all assignments made)... 181.52 c Sol. found (all assignments made)... 183.42 c Sol. found (all assignments made)... 183.43 c Sol. found (all assignments made)... 183.44 c Sol. found (all assignments made)... 183.44 c Sol. found (all assignments made)... 183.44 c Sol. found (all assignments made)... 183.44 c Sol. found (all assignments made)... 183.46 c Sol. found (all assignments made)... 183.47 c Sol. found (all assignments made)... 183.47 c Sol. found (all assignments made)... 183.49 c Sol. found (all assignments made)... 183.50 c Sol. found (all assignments made)... 183.51 c Sol. found (all assignments made)... 183.53 c Sol. found (all assignments made)... 183.54 c Sol. found (all assignments made)... 183.54 c Sol. found (all assignments made)... 183.54 c Sol. found (all assignments made)... 183.54 c Sol. found (all assignments made)... 183.55 c Sol. found (all assignments made)... 183.57 c Sol. found (all assignments made)... 183.66 c Sol. found (all assignments made)... 183.69 c Sol. found (all assignments made)... 183.71 c Sol. found (all assignments made)... 183.71 c Sol. found (all assignments made)... 183.72 c Sol. found (all assignments made)... 183.72 c Sol. found (all assignments made)... 183.72 c Sol. found (all assignments made)... 183.72 c Sol. found (all assignments made)... 183.72 c Sol. found (all assignments made)... 183.72 c Sol. found (all assignments made)... 183.73 c Sol. found (all assignments made)... 184.53 c Sol. found (all assignments made)... 184.53 c Sol. found (all assignments made)... 184.54 c Sol. found (all assignments made)... 184.75 c Sol. found (all assignments made)... 186.29 c Restart #33 #Var: 1835 LB: -120 @ 183.1 201.59 c Sol. found (all assignments made)... 201.60 c Sol. found (all assignments made)... 201.60 c Sol. found (all assignments made)... 201.71 c Sol. found (all assignments made)... 201.72 c Sol. found (all assignments made)... 202.00 c Sol. found (all assignments made)... 202.30 c Sol. found (all assignments made)... 202.34 c Sol. found (all assignments made)... 202.75 c Sol. found (all assignments made)... 202.79 c Sol. found (all assignments made)... 203.07 c Sol. found (all assignments made)... 203.07 c Sol. found (all assignments made)... 203.10 c Sol. found (all assignments made)... 203.11 c Sol. found (all assignments made)... 203.11 c Sol. found (all assignments made)... 203.14 c Sol. found (all assignments made)... 203.45 c Restart #34 #Var: 1835 LB: -120 @ 200.26 206.53 c Sol. found (all assignments made)... 206.62 c Sol. found (all assignments made)... 206.62 c Sol. found (all assignments made)... 206.66 c Sol. found (all assignments made)... 206.66 c Sol. found (all assignments made)... 206.89 c Sol. found (all assignments made)... 206.89 c Sol. found (all assignments made)... 206.95 c Sol. found (all assignments made)... 206.95 c Sol. found (all assignments made)... 206.96 c Sol. found (all assignments made)... 206.96 c Sol. found (all assignments made)... 211.06 c Restart #35 #Var: 1835 LB: -120 @ 207.86 214.52 c Sol. found (all assignments made)... 214.64 c Sol. found (all assignments made)... 214.71 c Sol. found (all assignments made)... 214.71 c Sol. found (all assignments made)... 214.76 c Sol. found (all assignments made)... 219.82 c Sol. found (all assignments made)... 219.83 c Sol. found (all assignments made)... 219.94 c Sol. found (all assignments made)... 220.61 c Sol. found (all assignments made)... 220.82 c Sol. found (all assignments made)... 220.83 c Sol. found (all assignments made)... 220.84 c Sol. found (all assignments made)... 221.75 c Sol. found (all assignments made)... 225.28 c Sol. found (all assignments made)... 225.28 c Sol. found (all assignments made)... 225.28 c Sol. found (all assignments made)... 225.28 c Sol. found (all assignments made)... 227.90 c Sol. found (all assignments made)... 227.98 c Sol. found (all assignments made)... 228.00 c Sol. found (all assignments made)... 228.36 c Sol. found (all assignments made)... 228.45 c Sol. found (all assignments made)... 228.50 c Sol. found (all assignments made)... 228.52 c Sol. found (all assignments made)... 228.54 c Sol. found (all assignments made)... 228.57 c Sol. found (all assignments made)... 228.57 c Sol. found (all assignments made)... 228.57 c Sol. found (all assignments made)... 231.64 c Sol. found (all assignments made)... 231.72 c Sol. found (all assignments made)... 231.87 c Sol. found (all assignments made)... 231.87 c Sol. found (all assignments made)... 233.96 c Restart #36 #Var: 1835 LB: -120 @ 230.76 239.03 c Sol. found (all assignments made)... 239.04 c Sol. found (all assignments made)... 239.05 c Sol. found (all assignments made)... 239.05 c Sol. found (all assignments made)... 239.07 c Sol. found (all assignments made)... 239.07 c Sol. found (all assignments made)... 244.97 c Sol. found (all assignments made)... 245.02 c Sol. found (all assignments made)... 245.03 c Sol. found (all assignments made)... 245.43 c Restart #37 #Var: 1835 LB: -120 @ 242.22 255.15 c Sol. found (all assignments made)... 255.20 c Sol. found (all assignments made)... 255.21 c Sol. found (all assignments made)... 259.53 c Sol. found (all assignments made)... 264.66 c Sol. found (all assignments made)... 268.91 c Restart #38 #Var: 1835 LB: -120 @ 265.69 274.74 c Sol. found (all assignments made)... 274.75 c Sol. found (all assignments made)... 274.80 c Sol. found (all assignments made)... 274.81 c Sol. found (all assignments made)... 274.81 c Sol. found (all assignments made)... 274.81 c Sol. found (all assignments made)... 274.82 c Sol. found (all assignments made)... 274.82 c Sol. found (all assignments made)... 274.82 c Sol. found (all assignments made)... 274.85 c Sol. found (all assignments made)... 274.85 c Sol. found (all assignments made)... 274.87 c Sol. found (all assignments made)... 274.90 c Sol. found (all assignments made)... 274.90 c Sol. found (all assignments made)... 275.13 c Sol. found (all assignments made)... 275.17 c Sol. found (all assignments made)... 275.27 c Sol. found (all assignments made)... 275.27 c Sol. found (all assignments made)... 275.31 c Sol. found (all assignments made)... 275.31 c Sol. found (all assignments made)... 275.36 c Sol. found (all assignments made)... 275.37 c Sol. found (all assignments made)... 275.38 c Sol. found (all assignments made)... 275.42 c Sol. found (all assignments made)... 275.42 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.45 c Sol. found (all assignments made)... 280.40 c Sol. found (all assignments made)... 280.41 c Sol. found (all assignments made)... 280.91 c Sol. found (all assignments made)... 281.32 c Sol. found (all assignments made)... 281.33 c Sol. found (all assignments made)... 281.33 c Sol. found (all assignments made)... 281.33 c Sol. found (all assignments made)... 281.43 c Sol. found (all assignments made)... 281.43 c Sol. found (all assignments made)... 281.43 c Sol. found (all assignments made)... 281.43 c Sol. found (all assignments made)... 281.70 c Sol. found (all assignments made)... 281.70 c Sol. found (all assignments made)... 281.70 c Sol. found (all assignments made)... 281.70 c Sol. found (all assignments made)... 282.08 c Sol. found (all assignments made)... 282.19 c Sol. found (all assignments made)... 282.79 c Sol. found (all assignments made)... 282.81 c Sol. found (all assignments made)... 282.84 c Sol. found (all assignments made)... 282.85 c Sol. found (all assignments made)... 282.85 c Sol. found (all assignments made)... 295.74 c Restart #39 #Var: 1835 LB: -120 @ 292.51 299.23 c Sol. found (all assignments made)... 301.27 c Sol. found (all assignments made)... 301.44 c Sol. found (all assignments made)... 302.08 c Sol. found (all assignments made)... 302.08 c Sol. found (all assignments made)... 302.09 c Sol. found (all assignments made)... 302.11 c Sol. found (all assignments made)... 305.27 c Sol. found (all assignments made)... 305.28 c Sol. found (all assignments made)... 305.28 c Sol. found (all assignments made)... 322.05 c Restart #40 #Var: 1835 LB: -120 @ 318.81 327.64 c Sol. found (all assignments made)... 327.67 c Sol. found (all assignments made)... 327.67 c Sol. found (all assignments made)... 328.10 c Sol. found (all assignments made)... 328.11 c Sol. found (all assignments made)... 328.13 c Sol. found (all assignments made)... 338.51 c Restart #41 #Var: 1835 LB: -120 @ 335.26 354.73 c Sol. found (all assignments made)... 354.85 c Sol. found (all assignments made)... 354.88 c Sol. found (all assignments made)... 354.91 c Sol. found (all assignments made)... 366.27 c Sol. found (all assignments made)... 366.32 c Sol. found (all assignments made)... 366.34 c Sol. found (all assignments made)... 366.34 c Sol. found (all assignments made)... 370.73 c Sol. found (all assignments made)... 373.93 c Restart #42 #Var: 1835 LB: -120 @ 370.67 396.06 c Restart #43 #Var: 1835 LB: -120 @ 392.79 401.90 c Sol. found (all assignments made)... 401.91 c Sol. found (all assignments made)... 406.01 c Sol. found (all assignments made)... 406.02 c Sol. found (all assignments made)... 406.59 c Sol. found (all assignments made)... 406.59 c Sol. found (all assignments made)... 419.06 c Restart #44 #Var: 1835 LB: -120 @ 415.78 442.38 c Restart #45 #Var: 1835 LB: -120 @ 439.09 461.47 c Sol. found (all assignments made)... 461.79 c Sol. found (all assignments made)... 461.85 c Sol. found (all assignments made)... 462.12 c Sol. found (all assignments made)... 462.18 c Sol. found (all assignments made)... 462.58 c Sol. found (all assignments made)... 462.61 c Sol. found (all assignments made)... 462.61 c Sol. found (all assignments made)... 462.62 c Sol. found (all assignments made)... 462.62 c Sol. found (all assignments made)... 462.65 c Sol. found (all assignments made)... 462.67 c Sol. found (all assignments made)... 462.67 c Sol. found (all assignments made)... 462.68 c Sol. found (all assignments made)... 462.68 c Sol. found (all assignments made)... 462.69 c Sol. found (all assignments made)... 462.69 c Sol. found (all assignments made)... 462.69 c Sol. found (all assignments made)... 463.31 c Sol. found (all assignments made)... 463.55 c Sol. found (all assignments made)... 463.56 c Sol. found (all assignments made)... 463.79 c Sol. found (all assignments made)... 464.49 c Sol. found (all assignments made)... 464.51 c Sol. found (all assignments made)... 471.23 c Restart #46 #Var: 1835 LB: -120 @ 467.93 472.12 c Sol. found (all assignments made)... 472.14 c Sol. found (all assignments made)... 472.14 c Sol. found (all assignments made)... 472.15 c Sol. found (all assignments made)... 472.15 c Sol. found (all assignments made)... 472.19 c Sol. found (all assignments made)... 472.21 c Sol. found (all assignments made)... 472.31 c Sol. found (all assignments made)... 472.31 c Sol. found (all assignments made)... 472.32 c Sol. found (all assignments made)... 473.72 c Sol. found (all assignments made)... 473.73 c Sol. found (all assignments made)... 473.74 c Sol. found (all assignments made)... 473.74 c Sol. found (all assignments made)... 475.11 c Sol. found (all assignments made)... 475.42 c Sol. found (all assignments made)... 475.62 c Sol. found (all assignments made)... 475.62 c Sol. found (all assignments made)... 476.54 c Sol. found (all assignments made)... 476.55 c Sol. found (all assignments made)... 476.55 c Sol. found (all assignments made)... 476.56 c Sol. found (all assignments made)... 476.59 c Sol. found (all assignments made)... 476.62 c Sol. found (all assignments made)... 478.32 c Sol. found (all assignments made)... 480.16 c Sol. found (all assignments made)... 480.45 c Sol. found (all assignments made)... 480.51 c Sol. found (all assignments made)... 480.65 c Sol. found (all assignments made)... 481.10 c Sol. found (all assignments made)... 481.26 c Sol. found (all assignments made)... 481.47 c Sol. found (all assignments made)... 481.66 c Sol. found (all assignments made)... 483.26 c Sol. found (all assignments made)... 483.78 c Sol. found (all assignments made)... 490.49 c Sol. found (all assignments made)... 491.48 c Sol. found (all assignments made)... 491.48 c Sol. found (all assignments made)... 491.49 c Sol. found (all assignments made)... 491.49 c Sol. found (all assignments made)... 491.50 c Sol. found (all assignments made)... 491.50 c Sol. found (all assignments made)... 491.82 c Sol. found (all assignments made)... 492.03 c Sol. found (all assignments made)... 492.06 c Sol. found (all assignments made)... 492.06 c Sol. found (all assignments made)... 492.10 c Sol. found (all assignments made)... 492.11 c Sol. found (all assignments made)... 492.24 c Sol. found (all assignments made)... 492.25 c Sol. found (all assignments made)... 492.25 c Sol. found (all assignments made)... 492.25 c Sol. found (all assignments made)... 492.25 c Sol. found (all assignments made)... 492.26 c Sol. found (all assignments made)... 492.26 c Sol. found (all assignments made)... 492.26 c Sol. found (all assignments made)... 492.26 c Sol. found (all assignments made)... 492.26 c Sol. found (all assignments made)... 492.28 c Sol. found (all assignments made)... 492.28 c Sol. found (all assignments made)... 492.28 c Sol. found (all assignments made)... 492.29 c Sol. found (all assignments made)... 492.29 c Sol. found (all assignments made)... 492.29 c Sol. found (all assignments made)... 492.30 c Sol. found (all assignments made)... 492.30 c Sol. found (all assignments made)... 492.32 c Sol. found (all assignments made)... 492.32 c Sol. found (all assignments made)... 492.33 c Sol. found (all assignments made)... 492.33 c Sol. found (all assignments made)... 492.34 c Sol. found (all assignments made)... 492.34 c Sol. found (all assignments made)... 492.35 c Sol. found (all assignments made)... 492.35 c Sol. found (all assignments made)... 492.36 c Sol. found (all assignments made)... 492.43 c Sol. found (all assignments made)... 492.44 c Sol. found (all assignments made)... 492.50 c Sol. found (all assignments made)... 492.51 c Sol. found (all assignments made)... 492.52 c Sol. found (all assignments made)... 492.54 c Sol. found (all assignments made)... 492.55 c Sol. found (all assignments made)... 492.59 c Sol. found (all assignments made)... 492.59 c Sol. found (all assignments made)... 492.59 c Sol. found (all assignments made)... 492.70 c Restart #47 #Var: 1835 LB: -120 @ 489.38 503.64 c Sol. found (all assignments made)... 503.65 c Sol. found (all assignments made)... 504.72 c Sol. found (all assignments made)... 504.73 c Sol. found (all assignments made)... 504.73 c Sol. found (all assignments made)... 504.73 c Sol. found (all assignments made)... 504.73 c Sol. found (all assignments made)... 504.75 c Sol. found (all assignments made)... 504.75 c Sol. found (all assignments made)... 504.76 c Sol. found (all assignments made)... 504.76 c Sol. found (all assignments made)... 504.76 c Sol. found (all assignments made)... 504.76 c Sol. found (all assignments made)... 505.29 c Sol. found (all assignments made)... 505.32 c Sol. found (all assignments made)... 509.14 c Sol. found (all assignments made)... 509.17 c Sol. found (all assignments made)... 510.06 c Sol. found (all assignments made)... 510.95 c Sol. found (all assignments made)... 511.43 c Restart #48 #Var: 1835 LB: -120 @ 508.11 530.05 c Sol. found (all assignments made)... 530.81 c Sol. found (all assignments made)... 530.83 c Sol. found (all assignments made)... 532.71 c Sol. found (all assignments made)... 532.81 c Sol. found (all assignments made)... 532.82 c Sol. found (all assignments made)... 532.82 c Sol. found (all assignments made)... 532.82 c Sol. found (all assignments made)... 532.84 c Sol. found (all assignments made)... 532.84 c Sol. found (all assignments made)... 532.89 c Sol. found (all assignments made)... 532.90 c Sol. found (all assignments made)... 532.90 c Sol. found (all assignments made)... 533.03 c Sol. found (all assignments made)... 533.03 c Sol. found (all assignments made)... 534.38 c Sol. found (all assignments made)... 534.39 c Sol. found (all assignments made)... 534.88 c Sol. found (all assignments made)... 534.89 c Sol. found (all assignments made)... 535.66 c Sol. found (all assignments made)... 537.86 c Sol. found (all assignments made)... 541.53 c Sol. found (all assignments made)... 541.81 c Restart #49 #Var: 1835 LB: -120 @ 538.48 552.79 c Sol. found (all assignments made)... 572.76 c Restart #50 #Var: 1835 LB: -120 @ 569.41 581.74 c Sol. found (all assignments made)... 600.16 c Restart #51 #Var: 1835 LB: -120 @ 596.8 608.49 c Sol. found (all assignments made)... 612.51 c Sol. found (all assignments made)... 612.51 c Sol. found (all assignments made)... 612.77 c Sol. found (all assignments made)... 612.82 c Sol. found (all assignments made)... 613.14 c Sol. found (all assignments made)... 613.19 c Sol. found (all assignments made)... 613.24 c Sol. found (all assignments made)... 613.26 c Sol. found (all assignments made)... 613.27 c Sol. found (all assignments made)... 613.29 c Sol. found (all assignments made)... 613.66 c Sol. found (all assignments made)... 614.43 c Sol. found (all assignments made)... 614.55 c Sol. found (all assignments made)... 614.56 c Sol. found (all assignments made)... 615.89 c Sol. found (all assignments made)... 615.91 c Sol. found (all assignments made)... 616.79 c Sol. found (all assignments made)... 617.69 c Sol. found (all assignments made)... 617.71 c Sol. found (all assignments made)... 619.18 c Sol. found (all assignments made)... 619.86 c Sol. found (all assignments made)... 624.48 c Restart #52 #Var: 1835 LB: -120 @ 621.11 702.56 c Sol. found (all assignments made)... 702.63 c Sol. found (all assignments made)... 702.64 c Sol. found (all assignments made)... 702.77 c Sol. found (all assignments made)... 703.20 c Sol. found (all assignments made)... 703.76 c Restart #53 #Var: 1835 LB: -120 @ 700.36 716.11 c Sol. found (all assignments made)... 739.69 c Restart #54 #Var: 1835 LB: -120 @ 736.27 763.82 c Sol. found (all assignments made)... 763.82 c Sol. found (all assignments made)... 763.83 c Sol. found (all assignments made)... 763.87 c Sol. found (all assignments made)... 763.89 c Sol. found (all assignments made)... 763.89 c Sol. found (all assignments made)... 763.94 c Sol. found (all assignments made)... 763.95 c Sol. found (all assignments made)... 763.96 c Sol. found (all assignments made)... 763.98 c Sol. found (all assignments made)... 763.99 c Sol. found (all assignments made)... 763.99 c Sol. found (all assignments made)... 764.07 c Sol. found (all assignments made)... 764.08 c Sol. found (all assignments made)... 764.10 c Sol. found (all assignments made)... 764.11 c Sol. found (all assignments made)... 764.11 c Sol. found (all assignments made)... 764.19 c Sol. found (all assignments made)... 764.19 c Sol. found (all assignments made)... 764.21 c Sol. found (all assignments made)... 764.22 c Sol. found (all assignments made)... 765.54 c Sol. found (all assignments made)... 765.56 c Sol. found (all assignments made)... 765.75 c Sol. found (all assignments made)... 765.76 c Sol. found (all assignments made)... 765.77 c Sol. found (all assignments made)... 765.78 c Sol. found (all assignments made)... 765.79 c Sol. found (all assignments made)... 765.83 c Sol. found (all assignments made)... 766.90 c Sol. found (all assignments made)... 766.92 c Sol. found (all assignments made)... 766.96 c Sol. found (all assignments made)... 766.98 c Sol. found (all assignments made)... 766.98 c Sol. found (all assignments made)... 766.99 c Sol. found (all assignments made)... 766.99 c Sol. found (all assignments made)... 767.46 c Sol. found (all assignments made)... 767.54 c Sol. found (all assignments made)... 767.85 c Sol. found (all assignments made)... 768.00 c Sol. found (all assignments made)... 768.62 c Sol. found (all assignments made)... 769.44 c Sol. found (all assignments made)... 769.46 c Sol. found (all assignments made)... 769.52 c Sol. found (all assignments made)... 769.52 c Sol. found (all assignments made)... 769.54 c Sol. found (all assignments made)... 771.19 c Sol. found (all assignments made)... 771.60 c Sol. found (all assignments made)... 772.83 c Sol. found (all assignments made)... 773.04 c Sol. found (all assignments made)... 775.65 c Sol. found (all assignments made)... 775.72 c Sol. found (all assignments made)... 777.50 c Sol. found (all assignments made)... 778.89 c Sol. found (all assignments made)... 780.98 c Sol. found (all assignments made)... 780.99 c Sol. found (all assignments made)... 781.02 c Sol. found (all assignments made)... 781.03 c Sol. found (all assignments made)... 781.04 c Sol. found (all assignments made)... 781.18 c Sol. found (all assignments made)... 781.46 c Sol. found (all assignments made)... 782.09 c Sol. found (all assignments made)... 782.11 c Sol. found (all assignments made)... 783.50 c Restart #55 #Var: 1835 LB: -120 @ 780.07 784.47 c Sol. found (all assignments made)... 784.54 c Sol. found (all assignments made)... 784.64 c Sol. found (all assignments made)... 784.86 c Sol. found (all assignments made)... 786.07 c Sol. found (all assignments made)... 786.08 c Sol. found (all assignments made)... 786.35 c Sol. found (all assignments made)... 786.36 c Sol. found (all assignments made)... 806.17 c Sol. found (all assignments made)... 816.60 c Sol. found (all assignments made)... 816.60 c Sol. found (all assignments made)... 830.49 c Restart #56 #Var: 1835 LB: -120 @ 827.04 841.02 c Sol. found (all assignments made)... 841.05 c Sol. found (all assignments made)... 841.06 c Sol. found (all assignments made)... 841.07 c Sol. found (all assignments made)... 841.12 c Sol. found (all assignments made)... 841.19 c Sol. found (all assignments made)... 841.28 c Sol. found (all assignments made)... 859.95 c Sol. found (all assignments made)... 859.95 c Sol. found (all assignments made)... 860.84 c Sol. found (all assignments made)... 860.84 c Sol. found (all assignments made)... 860.99 c Sol. found (all assignments made)... 860.99 c Sol. found (all assignments made)... 861.32 c Sol. found (all assignments made)... 861.47 c Sol. found (all assignments made)... 861.56 c Sol. found (all assignments made)... 861.62 c Sol. found (all assignments made)... 861.80 c Sol. found (all assignments made)... 861.85 c Sol. found (all assignments made)... 862.04 c Sol. found (all assignments made)... 862.54 c Sol. found (all assignments made)... 862.54 c Sol. found (all assignments made)... 862.68 c Sol. found (all assignments made)... 862.68 c Sol. found (all assignments made)... 862.74 c Sol. found (all assignments made)... 862.74 c Sol. found (all assignments made)... 862.76 c Sol. found (all assignments made)... 862.87 c Sol. found (all assignments made)... 862.88 c Sol. found (all assignments made)... 863.27 c Sol. found (all assignments made)... 863.27 c Sol. found (all assignments made)... 863.53 c Sol. found (all assignments made)... 863.53 c Sol. found (all assignments made)... 863.72 c Sol. found (all assignments made)... 863.73 c Sol. found (all assignments made)... 863.85 c Sol. found (all assignments made)... 863.85 c Sol. found (all assignments made)... 864.06 c Sol. found (all assignments made)... 864.17 c Sol. found (all assignments made)... 864.18 c Sol. found (all assignments made)... 864.28 c Sol. found (all assignments made)... 864.34 c Sol. found (all assignments made)... 864.35 c Sol. found (all assignments made)... 864.36 c Sol. found (all assignments made)... 864.36 c Sol. found (all assignments made)... 864.39 c Sol. found (all assignments made)... 864.39 c Sol. found (all assignments made)... 864.59 c Sol. found (all assignments made)... 864.59 c Sol. found (all assignments made)... 864.60 c Sol. found (all assignments made)... 887.82 c Restart #57 #Var: 1835 LB: -120 @ 884.34 890.73 c Sol. found (all assignments made)... 890.73 c Sol. found (all assignments made)... 890.77 c Sol. found (all assignments made)... 890.77 c Sol. found (all assignments made)... 890.77 c Sol. found (all assignments made)... 890.77 c Sol. found (all assignments made)... 890.78 c Sol. found (all assignments made)... 890.78 c Sol. found (all assignments made)... 890.78 c Sol. found (all assignments made)... 895.40 c Sol. found (all assignments made)... 895.40 c Sol. found (all assignments made)... 896.13 c Sol. found (all assignments made)... 896.65 c Sol. found (all assignments made)... 896.66 c Sol. found (all assignments made)... 897.89 c Sol. found (all assignments made)... 897.89 c Sol. found (all assignments made)... 898.32 c Sol. found (all assignments made)... 899.86 c Sol. found (all assignments made)... 900.01 c Sol. found (all assignments made)... 900.07 c Sol. found (all assignments made)... 900.15 c Sol. found (all assignments made)... 900.26 c Sol. found (all assignments made)... 916.25 c Sol. found (all assignments made)... 933.40 c Restart #58 #Var: 1835 LB: -120 @ 929.91 933.66 c Sol. found (all assignments made)... 933.81 c Sol. found (all assignments made)... 934.28 c Sol. found (all assignments made)... 934.32 c Sol. found (all assignments made)... 934.33 c Sol. found (all assignments made)... 934.34 c Sol. found (all assignments made)... 934.35 c Sol. found (all assignments made)... 936.83 c Sol. found (all assignments made)... 936.85 c Sol. found (all assignments made)... 936.91 c Sol. found (all assignments made)... 937.23 c Sol. found (all assignments made)... 937.28 c Sol. found (all assignments made)... 937.29 c Sol. found (all assignments made)... 937.33 c Sol. found (all assignments made)... 940.15 c Sol. found (all assignments made)... 954.42 c Sol. found (all assignments made)... 954.44 c Sol. found (all assignments made)... 954.58 c Sol. found (all assignments made)... 954.60 c Sol. found (all assignments made)... 954.60 c Sol. found (all assignments made)... 959.46 c Sol. found (all assignments made)... 959.57 c Sol. found (all assignments made)... 959.66 c Sol. found (all assignments made)... 959.67 c Sol. found (all assignments made)... 959.67 c Sol. found (all assignments made)... 959.68 c Sol. found (all assignments made)... 960.08 c Sol. found (all assignments made)... 979.42 c Restart #59 #Var: 1835 LB: -120 @ 975.91 987.60 c Sol. found (all assignments made)... 987.71 c Sol. found (all assignments made)... 988.01 c Sol. found (all assignments made)... 988.13 c Sol. found (all assignments made)... 988.98 c Sol. found (all assignments made)... 989.32 c Sol. found (all assignments made)... 989.45 c Sol. found (all assignments made)... 989.52 c Sol. found (all assignments made)... 989.61 c Sol. found (all assignments made)... 990.15 c Sol. found (all assignments made)... 990.20 c Sol. found (all assignments made)... 990.38 c Sol. found (all assignments made)... 990.38 c Sol. found (all assignments made)... 990.39 c Sol. found (all assignments made)... 990.39 c Sol. found (all assignments made)... 990.42 c Sol. found (all assignments made)... 990.42 c Sol. found (all assignments made)... 990.42 c Sol. found (all assignments made)... 990.43 c Sol. found (all assignments made)... 990.58 c Sol. found (all assignments made)... 990.58 c Sol. found (all assignments made)... 990.59 c Sol. found (all assignments made)... 990.66 c Sol. found (all assignments made)... 990.75 c Sol. found (all assignments made)... 990.75 c Sol. found (all assignments made)... 990.89 c Sol. found (all assignments made)... 994.25 c Sol. found (all assignments made)... 996.19 c Sol. found (all assignments made)... 996.35 c Sol. found (all assignments made)... 996.41 c Sol. found (all assignments made)... 996.50 c Sol. found (all assignments made)... 996.75 c Sol. found (all assignments made)... 1017.55 c Restart #60 #Var: 1835 LB: -120 @ 1014 1044.69 c Sol. found (all assignments made)... 1044.80 c Sol. found (all assignments made)... 1044.87 c Sol. found (all assignments made)... 1086.78 c Restart #61 #Var: 1835 LB: -120 @ 1083.2 1102.86 c Sol. found (all assignments made)... 1106.36 c Sol. found (all assignments made)... 1126.49 c Restart #62 #Var: 1835 LB: -120 @ 1122.9 1136.16 c Sol. found (all assignments made)... 1136.28 c Sol. found (all assignments made)... 1138.73 c Sol. found (all assignments made)... 1138.73 c Sol. found (all assignments made)... 1138.74 c Sol. found (all assignments made)... 1138.76 c Sol. found (all assignments made)... 1138.77 c Sol. found (all assignments made)... 1138.78 c Sol. found (all assignments made)... 1138.88 c Sol. found (all assignments made)... 1138.89 c Sol. found (all assignments made)... 1138.90 c Sol. found (all assignments made)... 1138.90 c Sol. found (all assignments made)... 1138.92 c Sol. found (all assignments made)... 1138.92 c Sol. found (all assignments made)... 1138.93 c Sol. found (all assignments made)... 1138.94 c Sol. found (all assignments made)... 1138.97 c Sol. found (all assignments made)... 1138.98 c Sol. found (all assignments made)... 1138.98 c Sol. found (all assignments made)... 1138.98 c Sol. found (all assignments made)... 1138.99 c Sol. found (all assignments made)... 1139.01 c Sol. found (all assignments made)... 1142.57 c Sol. found (all assignments made)... 1142.62 c Sol. found (all assignments made)... 1142.76 c Sol. found (all assignments made)... 1142.76 c Sol. found (all assignments made)... 1142.81 c Sol. found (all assignments made)... 1142.82 c Sol. found (all assignments made)... 1145.61 c Sol. found (all assignments made)... 1145.61 c Sol. found (all assignments made)... 1145.61 c Sol. found (all assignments made)... 1145.68 c Sol. found (all assignments made)... 1145.68 c Sol. found (all assignments made)... 1145.68 c Sol. found (all assignments made)... 1145.70 c Sol. found (all assignments made)... 1145.73 c Sol. found (all assignments made)... 1145.74 c Sol. found (all assignments made)... 1145.74 c Sol. found (all assignments made)... 1145.84 c Sol. found (all assignments made)... 1145.85 c Sol. found (all assignments made)... 1145.86 c Sol. found (all assignments made)... 1146.00 c Sol. found (all assignments made)... 1146.02 c Sol. found (all assignments made)... 1146.61 c Sol. found (all assignments made)... 1158.68 c Sol. found (all assignments made)... 1159.04 c Sol. found (all assignments made)... 1159.25 c Sol. found (all assignments made)... 1159.30 c Sol. found (all assignments made)... 1159.47 c Sol. found (all assignments made)... 1159.50 c Sol. found (all assignments made)... 1159.59 c Sol. found (all assignments made)... 1166.27 c Sol. found (all assignments made)... 1166.39 c Sol. found (all assignments made)... 1166.53 c Sol. found (all assignments made)... 1166.71 c Sol. found (all assignments made)... 1166.78 c Sol. found (all assignments made)... 1166.81 c Sol. found (all assignments made)... 1166.81 c Sol. found (all assignments made)... 1167.47 c Sol. found (all assignments made)... 1169.45 c Sol. found (all assignments made)... 1169.65 c Sol. found (all assignments made)... 1169.70 c Sol. found (all assignments made)... 1169.89 c Restart #63 #Var: 1835 LB: -120 @ 1166.3 1210.66 c Sol. found (all assignments made)... 1231.10 c Sol. found (all assignments made)... 1233.73 c Sol. found (all assignments made)... 1234.54 c Sol. found (all assignments made)... 1236.38 c Sol. found (all assignments made)... 1237.21 c Sol. found (all assignments made)... 1237.22 c Sol. found (all assignments made)... 1237.33 c Sol. found (all assignments made)... 1237.36 c Sol. found (all assignments made)... 1241.94 c Sol. found (all assignments made)... 1245.09 c Restart #64 #Var: 1835 LB: -120 @ 1241.5 1259.05 c Sol. found (all assignments made)... 1259.61 c Sol. found (all assignments made)... 1259.63 c Sol. found (all assignments made)... 1259.67 c Sol. found (all assignments made)... 1260.26 c Sol. found (all assignments made)... 1263.67 c Sol. found (all assignments made)... 1265.37 c Sol. found (all assignments made)... 1266.66 c Sol. found (all assignments made)... 1266.72 c Sol. found (all assignments made)... 1268.64 c Sol. found (all assignments made)... 1269.16 c Sol. found (all assignments made)... 1299.34 c Restart #65 #Var: 1835 LB: -120 @ 1295.7 1302.90 c Sol. found (all assignments made)... 1306.06 c Sol. found (all assignments made)... 1306.11 c Sol. found (all assignments made)... 1306.14 c Sol. found (all assignments made)... 1306.20 c Sol. found (all assignments made)... 1306.29 c Sol. found (all assignments made)... 1306.30 c Sol. found (all assignments made)... 1317.71 c Sol. found (all assignments made)... 1317.75 c Sol. found (all assignments made)... 1317.76 c Sol. found (all assignments made)... 1318.18 c Sol. found (all assignments made)... 1318.19 c Sol. found (all assignments made)... 1318.21 c Sol. found (all assignments made)... 1318.38 c Sol. found (all assignments made)... 1318.74 c Sol. found (all assignments made)... 1318.80 c Sol. found (all assignments made)... 1318.91 c Sol. found (all assignments made)... 1318.92 c Sol. found (all assignments made)... 1319.13 c Sol. found (all assignments made)... 1319.14 c Sol. found (all assignments made)... 1319.19 c Sol. found (all assignments made)... 1319.19 c Sol. found (all assignments made)... 1319.57 c Sol. found (all assignments made)... 1320.47 c Sol. found (all assignments made)... 1320.50 c Sol. found (all assignments made)... 1320.98 c Sol. found (all assignments made)... 1321.04 c Sol. found (all assignments made)... 1331.31 c Sol. found (all assignments made)... 1331.32 c Sol. found (all assignments made)... 1331.37 c Sol. found (all assignments made)... 1331.41 c Sol. found (all assignments made)... 1331.43 c Sol. found (all assignments made)... 1331.43 c Sol. found (all assignments made)... 1331.44 c Sol. found (all assignments made)... 1331.45 c Sol. found (all assignments made)... 1337.16 c Sol. found (all assignments made)... 1348.38 c Sol. found (all assignments made)... 1348.38 c Sol. found (all assignments made)... 1348.50 c Sol. found (all assignments made)... 1348.54 c Sol. found (all assignments made)... 1348.63 c Sol. found (all assignments made)... 1348.76 c Sol. found (all assignments made)... 1348.79 c Sol. found (all assignments made)... 1348.80 c Sol. found (all assignments made)... 1348.80 c Sol. found (all assignments made)... 1365.90 c Sol. found (all assignments made)... 1369.85 c Restart #66 #Var: 1835 LB: -120 @ 1366.2 1382.10 c Sol. found (all assignments made)... 1382.22 c Sol. found (all assignments made)... 1382.23 c Sol. found (all assignments made)... 1383.75 c Sol. found (all assignments made)... 1384.31 c Sol. found (all assignments made)... 1384.38 c Sol. found (all assignments made)... 1385.30 c Sol. found (all assignments made)... 1385.68 c Sol. found (all assignments made)... 1386.69 c Sol. found (all assignments made)... 1386.75 c Sol. found (all assignments made)... 1386.94 c Sol. found (all assignments made)... 1387.30 c Sol. found (all assignments made)... 1387.32 c Sol. found (all assignments made)... 1387.56 c Sol. found (all assignments made)... 1387.70 c Sol. found (all assignments made)... 1387.77 c Sol. found (all assignments made)... 1387.80 c Sol. found (all assignments made)... 1387.87 c Sol. found (all assignments made)... 1387.93 c Sol. found (all assignments made)... 1387.94 c Sol. found (all assignments made)... 1387.99 c Sol. found (all assignments made)... 1388.01 c Sol. found (all assignments made)... 1389.05 c Sol. found (all assignments made)... 1389.06 c Sol. found (all assignments made)... 1390.37 c Sol. found (all assignments made)... 1392.70 c Sol. found (all assignments made)... 1392.71 c Sol. found (all assignments made)... 1394.10 c Sol. found (all assignments made)... 1394.26 c Sol. found (all assignments made)... 1394.28 c Sol. found (all assignments made)... 1394.34 c Sol. found (all assignments made)... 1394.39 c Sol. found (all assignments made)... 1394.57 c Sol. found (all assignments made)... 1394.58 c Sol. found (all assignments made)... 1395.37 c Sol. found (all assignments made)... 1395.50 c Sol. found (all assignments made)... 1396.24 c Sol. found (all assignments made)... 1396.25 c Sol. found (all assignments made)... 1396.26 c Sol. found (all assignments made)... 1397.61 c Sol. found (all assignments made)... 1398.45 c Sol. found (all assignments made)... 1398.47 c Sol. found (all assignments made)... 1398.50 c Sol. found (all assignments made)... 1398.50 c Sol. found (all assignments made)... 1398.55 c Sol. found (all assignments made)... 1398.58 c Sol. found (all assignments made)... 1399.22 c Sol. found (all assignments made)... 1399.51 c Sol. found (all assignments made)... 1399.53 c Sol. found (all assignments made)... 1401.48 c Sol. found (all assignments made)... 1401.49 c Sol. found (all assignments made)... 1401.57 c Sol. found (all assignments made)... 1402.60 c Sol. found (all assignments made)... 1403.49 c Sol. found (all assignments made)... 1403.77 c Sol. found (all assignments made)... 1403.87 c Sol. found (all assignments made)... 1403.88 c Sol. found (all assignments made)... 1403.89 c Sol. found (all assignments made)... 1403.94 c Sol. found (all assignments made)... 1403.95 c Sol. found (all assignments made)... 1403.96 c Sol. found (all assignments made)... 1403.97 c Sol. found (all assignments made)... 1403.97 c Sol. found (all assignments made)... 1404.57 c Sol. found (all assignments made)... 1404.58 c Sol. found (all assignments made)... 1404.61 c Sol. found (all assignments made)... 1404.61 c Sol. found (all assignments made)... 1404.62 c Sol. found (all assignments made)... 1404.64 c Sol. found (all assignments made)... 1404.65 c Sol. found (all assignments made)... 1404.65 c Sol. found (all assignments made)... 1404.72 c Sol. found (all assignments made)... 1404.75 c Sol. found (all assignments made)... 1404.78 c Sol. found (all assignments made)... 1404.84 c Sol. found (all assignments made)... 1405.00 c Sol. found (all assignments made)... 1405.54 c Sol. found (all assignments made)... 1405.71 c Sol. found (all assignments made)... 1406.00 c Sol. found (all assignments made)... 1406.13 c Sol. found (all assignments made)... 1406.68 c Sol. found (all assignments made)... 1408.71 c Restart #67 #Var: 1835 LB: -120 @ 1405 1426.81 c Sol. found (all assignments made)... 1426.84 c Sol. found (all assignments made)... 1427.00 c Sol. found (all assignments made)... 1427.31 c Sol. found (all assignments made)... 1427.68 c Sol. found (all assignments made)... 1428.99 c Sol. found (all assignments made)... 1470.69 c Restart #68 #Var: 1835 LB: -120 @ 1467 1500.06 c Sol. found (all assignments made)... 1500.07 c Sol. found (all assignments made)... 1500.07 c Sol. found (all assignments made)... 1500.07 c Sol. found (all assignments made)... 1500.08 c Sol. found (all assignments made)... 1500.08 c Sol. found (all assignments made)... 1500.09 c Sol. found (all assignments made)... 1500.09 c Sol. found (all assignments made)... 1500.10 c Sol. found (all assignments made)... 1500.83 c Sol. found (all assignments made)... 1500.86 c Sol. found (all assignments made)... 1500.87 c Sol. found (all assignments made)... 1500.87 c Sol. found (all assignments made)... 1500.89 c Sol. found (all assignments made)... 1500.89 c Sol. found (all assignments made)... 1500.90 c Sol. found (all assignments made)... 1501.99 c Sol. found (all assignments made)... 1501.99 c Sol. found (all assignments made)... 1566.15 c Restart #69 #Var: 1835 LB: -120 @ 1562.4 1568.00 c Sol. found (all assignments made)... 1569.95 c Sol. found (all assignments made)... 1576.06 c Sol. found (all assignments made)... 1576.12 c Sol. found (all assignments made)... 1576.12 c Sol. found (all assignments made)... 1587.47 c Sol. found (all assignments made)... 1587.54 c Sol. found (all assignments made)... 1587.93 c Sol. found (all assignments made)... 1587.94 c Sol. found (all assignments made)... 1588.32 c Sol. found (all assignments made)... 1590.44 c Sol. found (all assignments made)... 1591.01 c Sol. found (all assignments made)... 1595.82 c Sol. found (all assignments made)... 1595.83 c Sol. found (all assignments made)... 1599.74 c Sol. found (all assignments made)... 1599.80 c Sol. found (all assignments made)... 1599.85 c Sol. found (all assignments made)... 1599.85 c Sol. found (all assignments made)... 1599.93 c Sol. found (all assignments made)... 1600.05 c Sol. found (all assignments made)... 1600.23 c Sol. found (all assignments made)... 1600.58 c Sol. found (all assignments made)... 1600.79 c Sol. found (all assignments made)... 1600.87 c Sol. found (all assignments made)... 1601.32 c Sol. found (all assignments made)... 1601.36 c Sol. found (all assignments made)... 1601.49 c Sol. found (all assignments made)... 1601.51 c Sol. found (all assignments made)... 1601.69 c Sol. found (all assignments made)... 1601.78 c Sol. found (all assignments made)... 1601.78 c Sol. found (all assignments made)... 1604.86 c Sol. found (all assignments made)... 1604.91 c Sol. found (all assignments made)... 1604.93 c Sol. found (all assignments made)... 1605.02 c Sol. found (all assignments made)... 1605.66 c Sol. found (all assignments made)... 1605.86 c Sol. found (all assignments made)... 1611.40 c Restart #70 #Var: 1835 LB: -120 @ 1607.6 1617.38 c Sol. found (all assignments made)... 1617.40 c Sol. found (all assignments made)... 1617.43 c Sol. found (all assignments made)... 1618.20 c Sol. found (all assignments made)... 1618.57 c Sol. found (all assignments made)... 1618.69 c Sol. found (all assignments made)... 1619.52 c Sol. found (all assignments made)... 1621.66 c Sol. found (all assignments made)... 1626.31 c Sol. found (all assignments made)... 1626.32 c Sol. found (all assignments made)... 1626.52 c Sol. found (all assignments made)... 1626.53 c Sol. found (all assignments made)... 1626.59 c Sol. found (all assignments made)... 1630.35 c Sol. found (all assignments made)... 1640.96 c Sol. found (all assignments made)... 1641.03 c Sol. found (all assignments made)... 1667.29 c Restart #71 #Var: 1835 LB: -120 @ 1663.5 1688.39 c Sol. found (all assignments made)... 1688.44 c Sol. found (all assignments made)... 1688.48 c Sol. found (all assignments made)... 1688.51 c Sol. found (all assignments made)... 1688.55 c Sol. found (all assignments made)... 1688.59 c Sol. found (all assignments made)... 1688.61 c Sol. found (all assignments made)... 1688.63 c Sol. found (all assignments made)... 1688.67 c Sol. found (all assignments made)... 1688.70 c Sol. found (all assignments made)... 1688.83 c Sol. found (all assignments made)... 1688.86 c Sol. found (all assignments made)... 1688.89 c Sol. found (all assignments made)... 1688.92 c Sol. found (all assignments made)... 1688.95 c Sol. found (all assignments made)... 1688.98 c Sol. found (all assignments made)... 1689.03 c Sol. found (all assignments made)... 1689.05 c Sol. found (all assignments made)... 1689.21 c Sol. found (all assignments made)... 1689.28 c Sol. found (all assignments made)... 1689.36 c Sol. found (all assignments made)... 1689.41 c Sol. found (all assignments made)... 1689.45 c Sol. found (all assignments made)... 1689.49 c Sol. found (all assignments made)... 1689.52 c Sol. found (all assignments made)... 1689.55 c Sol. found (all assignments made)... 1689.58 c Sol. found (all assignments made)... 1689.61 c Sol. found (all assignments made)... 1689.66 c Sol. found (all assignments made)... 1689.68 c Sol. found (all assignments made)... 1689.83 c Sol. found (all assignments made)... 1689.94 c Sol. found (all assignments made)... 1689.97 c Sol. found (all assignments made)... 1690.00 c Sol. found (all assignments made)... 1690.03 c Sol. found (all assignments made)... 1690.06 c Sol. found (all assignments made)... 1690.09 c Sol. found (all assignments made)... 1690.14 c Sol. found (all assignments made)... 1690.17 c Sol. found (all assignments made)... 1690.35 c Sol. found (all assignments made)... 1690.57 c Sol. found (all assignments made)... 1690.61 c Sol. found (all assignments made)... 1690.64 c Sol. found (all assignments made)... 1690.67 c Sol. found (all assignments made)... 1691.08 c Sol. found (all assignments made)... 1691.10 c Sol. found (all assignments made)... 1691.13 c Sol. found (all assignments made)... 1691.21 c Sol. found (all assignments made)... 1691.23 c Sol. found (all assignments made)... 1691.25 c Sol. found (all assignments made)... 1691.37 c Sol. found (all assignments made)... 1691.38 c Sol. found (all assignments made)... 1691.54 c Sol. found (all assignments made)... 1692.02 c Sol. found (all assignments made)... 1692.05 c Sol. found (all assignments made)... 1692.08 c Sol. found (all assignments made)... 1692.10 c Sol. found (all assignments made)... 1692.13 c Sol. found (all assignments made)... 1692.22 c Sol. found (all assignments made)... 1692.24 c Sol. found (all assignments made)... 1692.29 c Sol. found (all assignments made)... 1692.55 c Sol. found (all assignments made)... 1692.59 c Sol. found (all assignments made)... 1692.64 c Sol. found (all assignments made)... 1692.79 c Sol. found (all assignments made)... 1692.81 c Sol. found (all assignments made)... 1692.85 c Sol. found (all assignments made)... 1692.87 c Sol. found (all assignments made)... 1693.15 c Sol. found (all assignments made)... 1693.19 c Sol. found (all assignments made)... 1693.20 c Sol. found (all assignments made)... 1693.27 c Sol. found (all assignments made)... 1693.28 c Sol. found (all assignments made)... 1694.07 c Sol. found (all assignments made)... 1694.14 c Sol. found (all assignments made)... 1694.38 c Sol. found (all assignments made)... 1696.68 c Sol. found (all assignments made)... 1696.77 c Sol. found (all assignments made)... 1696.88 c Sol. found (all assignments made)... 1696.98 c Sol. found (all assignments made)... 1697.00 c Sol. found (all assignments made)... 1697.01 c Sol. found (all assignments made)... 1697.15 c Sol. found (all assignments made)... 1697.19 c Sol. found (all assignments made)... 1697.20 c Sol. found (all assignments made)... 1697.20 c Sol. found (all assignments made)... 1697.21 c Sol. found (all assignments made)... 1700.84 c Sol. found (all assignments made)... 1700.86 c Sol. found (all assignments made)... 1700.98 c Sol. found (all assignments made)... 1716.84 c Sol. found (all assignments made)... 1716.96 c Sol. found (all assignments made)... 1717.08 c Sol. found (all assignments made)... 1717.31 c Sol. found (all assignments made)... 1717.36 c Sol. found (all assignments made)... 1717.36 c Sol. found (all assignments made)... 1717.96 c Sol. found (all assignments made)... 1717.99 c Sol. found (all assignments made)... 1717.99 c Sol. found (all assignments made)... 1718.87 c Sol. found (all assignments made)... 1719.49 c Sol. found (all assignments made)... 1726.30 c Sol. found (all assignments made)... 1726.30 c Sol. found (all assignments made)... 1726.30 c Sol. found (all assignments made)... 1726.30 c Sol. found (all assignments made)... 1730.85 c Sol. found (all assignments made)... 1730.89 c Sol. found (all assignments made)... 1731.50 c Sol. found (all assignments made)... 1731.53 c Sol. found (all assignments made)... 1731.57 c Sol. found (all assignments made)... 1731.61 c Sol. found (all assignments made)... 1734.75 c Sol. found (all assignments made)... 1734.77 c Sol. found (all assignments made)... 1734.85 c Sol. found (all assignments made)... 1734.88 c Sol. found (all assignments made)... 1739.71 c Sol. found (all assignments made)... 1739.74 c Sol. found (all assignments made)... 1756.63 c Restart #72 #Var: 1835 LB: -120 @ 1752.8 1758.10 c Sol. found (all assignments made)... 1758.42 c Sol. found (all assignments made)... 1758.53 c Sol. found (all assignments made)... 1758.83 c Sol. found (all assignments made)... 1758.85 c Sol. found (all assignments made)... 1759.09 c Sol. found (all assignments made)... 1759.18 c Sol. found (all assignments made)... 1759.20 c Sol. found (all assignments made)... 1759.22 c Sol. found (all assignments made)... 1759.27 c Sol. found (all assignments made)... 1759.43 c Sol. found (all assignments made)... 1759.45 c Sol. found (all assignments made)... 1759.48 c Sol. found (all assignments made)... 1759.49 c Sol. found (all assignments made)... 1759.61 c Sol. found (all assignments made)... 1759.72 c Sol. found (all assignments made)... 1760.33 c Sol. found (all assignments made)... 1760.90 c Sol. found (all assignments made)... 1761.29 c Sol. found (all assignments made)... 1762.15 c Sol. found (all assignments made)... 1763.56 c Sol. found (all assignments made)... 1764.60 c Sol. found (all assignments made)... 1768.03 c Sol. found (all assignments made)... 1768.05 c Sol. found (all assignments made)... 1768.14 c Sol. found (all assignments made)... 1769.07 c Sol. found (all assignments made)... 1770.07 c Sol. found (all assignments made)... 1770.08 c Sol. found (all assignments made)... 1770.47 c Sol. found (all assignments made)... 1771.10 c Sol. found (all assignments made)... 1771.50 c Sol. found (all assignments made)... 1771.54 c Sol. found (all assignments made)... 1771.56 c Sol. found (all assignments made)... 1773.03 c Sol. found (all assignments made)... 1774.78 c Sol. found (all assignments made)... 1775.34 c Sol. found (all assignments made)... 1775.77 c Sol. found (all assignments made)... 1775.79 c Sol. found (all assignments made)... 1775.91 c Sol. found (all assignments made)... 1775.96 c Sol. found (all assignments made)... 1775.98 c Sol. found (all assignments made)... 1776.09 c Sol. found (all assignments made)... 1776.09 c Sol. found (all assignments made)... 1776.17 c Sol. found (all assignments made)... 1776.22 c Sol. found (all assignments made)... 1776.25 c Sol. found (all assignments made)... 1776.25 c Sol. found (all assignments made)... 1776.27 c Sol. found (all assignments made)... 1776.28 c Sol. found (all assignments made)... 1776.32 c Sol. found (all assignments made)... 1778.35 c Sol. found (all assignments made)... 1778.55 c Sol. found (all assignments made)... 1778.61 c Sol. found (all assignments made)... 1778.62 c Sol. found (all assignments made)... 1779.01 c Sol. found (all assignments made)... 1779.67 c Sol. found (all assignments made)... 1779.67 c Sol. found (all assignments made)... 1779.78 c Sol. found (all assignments made)... 1779.82 c Sol. found (all assignments made)... 1780.14 c Sol. found (all assignments made)... 1780.25 c Sol. found (all assignments made)... 1780.34 c Sol. found (all assignments made)... 1780.47 c Sol. found (all assignments made)... 1781.45 c Sol. found (all assignments made)... 1781.86 c Sol. found (all assignments made)... 1782.26 c Sol. found (all assignments made)... 1782.33 c Sol. found (all assignments made)... 1782.35 c Sol. found (all assignments made)... 1782.37 c Sol. found (all assignments made)... 1782.64 c Sol. found (all assignments made)... 1782.80 c Sol. found (all assignments made)... 1786.58 c Sol. found (all assignments made)... 1791.68 c Sol. found (all assignments made)... 1791.68 c Sol. found (all assignments made)... 1798.18 c Restart #73 #Var: 1835 LB: -120 @ 1794.3 1803.86 s SATISFIABLE 1803.86 c Cost: -23 1803.86 v -x1 -x33 -x63 -x94 -x110 -x113 -x117 -x118 -x4 -x7 -x10 -x13 -x17 x20 -x23 -x26 -x29 -x35 -x39 -x42 x45 x48 x51 -x54 -x58 -x64 1803.86 v -x67 -x70 -x73 x76 -x80 -x83 x86 -x89 -x95 -x98 -x102 -x103 -x104 -x105 -x106 -x107 -x2 -x34 -x61 -x92 -x108 -x111 -x114 -x115 1803.86 v x119 -x5 -x8 -x11 -x14 -x16 -x18 -x21 x24 -x27 -x30 x36 -x38 -x40 -x43 x46 -x49 -x52 x55 -x57 -x59 -x65 x68 -x71 -x74 x77 -x79 -x81 1803.86 v -x84 -x87 x90 -x96 -x99 -x101 -x3 -x32 -x62 -x93 -x109 -x112 -x116 x120 -x6 -x9 x12 -x15 -x19 x22 x25 -x28 -x31 -x37 -x41 -x44 1803.86 v -x47 -x50 x53 x56 -x60 -x66 x69 -x72 -x75 -x78 -x82 -x85 x88 -x91 -x97 x100 -x148 -x146 -x144 -x142 -x140 -x139 -x136 -x133 -x130 1803.86 v -x128 -x125 -x123 -x155 -x154 -x152 -x143 -x121 -x218 -x216 -x214 -x212 -x210 -x209 -x206 -x203 -x200 -x198 -x195 -x193 -x225 1803.86 v -x224 -x222 -x213 -x191 -x463 -x461 -x459 -x457 -x455 -x454 -x451 -x448 -x445 -x443 -x440 -x438 -x470 -x469 -x467 -x458 -x436 1803.86 v -x498 -x496 -x494 -x492 -x490 -x489 -x486 -x483 -x480 -x478 -x475 -x473 -x505 -x504 -x502 -x493 -x471 -x568 -x566 -x564 -x562 1803.86 v -x560 -x559 -x556 x553 -x550 -x548 -x545 -x543 -x575 -x574 -x572 -x563 -x541 -x638 -x636 -x634 -x632 -x630 -x629 -x626 -x623 1803.86 v -x620 -x618 -x615 -x613 -x645 -x644 -x642 -x633 -x611 -x673 -x671 -x669 -x667 -x665 -x664 -x661 -x658 -x655 -x653 -x650 -x648 1803.86 v -x680 -x679 -x677 -x668 -x646 -x708 -x706 -x704 -x702 -x700 -x699 -x696 -x693 -x690 -x688 -x685 -x683 -x715 x714 -x712 -x703 1803.86 v -x681 x743 -x741 -x739 -x737 -x735 -x734 -x731 -x728 -x725 -x723 -x720 -x718 -x750 -x749 -x747 -x738 -x716 -x778 -x776 -x774 1803.86 v -x772 x770 -x769 -x766 -x763 -x760 -x758 -x755 -x753 -x785 -x784 -x782 -x773 -x751 -x813 -x811 -x809 -x807 -x805 x804 -x801 1803.86 v -x798 -x795 -x793 -x790 -x788 -x820 -x819 -x817 -x808 -x786 -x883 -x881 -x879 -x877 -x875 -x874 -x871 -x868 -x865 -x863 -x860 1803.86 v -x858 -x890 -x889 -x887 -x878 -x856 -x253 -x251 -x249 -x247 -x245 -x244 x241 -x238 -x235 -x233 -x230 -x228 -x260 -x259 -x257 1803.86 v -x248 -x226 -x953 -x951 -x949 -x947 -x945 -x944 -x941 -x938 -x935 -x933 -x930 -x928 -x960 -x959 -x957 -x948 -x926 -x988 -x986 1803.86 v -x984 -x982 -x980 -x979 -x976 -x973 -x970 -x968 -x965 -x963 x995 -x994 -x992 -x983 -x961 -x1023 -x1021 -x1019 -x1017 -x1015 1803.86 v -x1014 -x1011 -x1008 -x1005 -x1003 -x1000 -x998 -x1030 -x1029 -x1027 -x1018 -x996 -x1058 -x1056 -x1054 -x1052 -x1050 -x1049 1803.86 v -x1046 -x1043 -x1040 -x1038 -x1035 -x1033 -x1065 -x1064 -x1062 -x1053 -x1031 -x1093 -x1091 -x1089 x1087 -x1085 -x1084 1803.86 v -x1081 -x1078 -x1075 -x1073 -x1070 -x1068 -x1100 -x1099 -x1097 -x1088 -x1066 -x1163 -x1161 -x1159 -x1157 -x1155 -x1154 1803.86 v -x1151 -x1148 -x1145 -x1143 -x1140 -x1138 -x1170 -x1169 -x1167 -x1158 -x1136 -x1198 -x1196 -x1194 -x1192 -x1190 -x1189 1803.86 v -x1186 -x1183 -x1180 -x1178 -x1175 -x1173 -x1205 -x1204 -x1202 -x1193 -x1171 -x1233 -x1231 -x1229 -x1227 -x1225 -x1224 1803.86 v -x1221 -x1218 -x1215 -x1213 -x1210 x1208 -x1240 -x1239 -x1237 -x1228 -x1206 -x1268 x1266 -x1264 -x1262 -x1260 -x1259 -x1256 1803.86 v -x1253 -x1250 -x1248 -x1245 -x1243 -x1275 -x1274 -x1272 -x1263 -x1241 -x1338 -x1336 -x1334 -x1332 -x1330 -x1329 -x1326 1803.86 v -x1323 -x1320 -x1318 -x1315 -x1313 -x1345 -x1344 -x1342 -x1333 -x1311 -x288 -x286 -x284 -x282 -x280 -x279 -x276 -x273 -x270 1803.86 v -x268 -x265 -x263 -x295 -x294 -x292 -x283 -x261 -x1373 -x1371 x1369 -x1367 -x1365 -x1364 -x1361 -x1358 -x1355 -x1353 -x1350 1803.86 v -x1348 -x1380 -x1379 -x1377 -x1368 -x1346 -x358 -x356 -x354 -x352 -x350 -x349 -x346 -x343 -x340 -x338 -x335 -x333 -x365 1803.86 v -x364 -x362 -x353 -x331 -x393 -x391 -x389 -x387 -x385 -x384 -x381 -x378 -x375 -x373 -x370 -x368 -x400 -x399 x397 -x388 -x366 1803.86 v -x428 -x426 -x424 -x422 -x420 -x419 -x416 -x413 -x410 -x408 -x405 -x403 -x435 -x434 -x432 -x423 x401 -x533 -x531 -x529 -x527 1803.86 v -x525 -x524 -x521 -x518 -x515 -x513 -x510 -x508 -x540 -x539 -x537 -x528 -x506 -x918 -x916 -x914 -x912 -x910 -x909 -x906 -x903 1803.86 v -x900 -x898 -x895 -x893 -x925 -x924 -x922 -x913 -x891 -x1443 -x1441 -x1439 -x1437 -x1435 -x1434 -x1431 -x1428 -x1425 -x1423 1803.86 v -x1420 -x1418 -x1450 -x1449 -x1447 -x1438 -x1416 -x1478 -x1476 -x1474 -x1472 -x1470 -x1469 -x1466 -x1463 -x1460 -x1458 1803.86 v -x1455 -x1453 -x1485 -x1484 -x1482 -x1473 -x1451 -x1513 -x1511 -x1509 -x1507 -x1505 -x1504 -x1501 -x1498 -x1495 -x1493 1803.86 v -x1490 -x1488 -x1520 -x1519 -x1517 -x1508 -x1486 -x1303 -x1301 -x1299 -x1297 -x1295 -x1294 -x1291 -x1288 -x1285 -x1283 1803.86 v -x1280 -x1278 -x1310 -x1309 -x1307 -x1298 -x1276 -x1548 -x1546 -x1544 -x1542 -x1540 -x1539 -x1536 -x1533 -x1530 -x1528 1803.86 v x1525 -x1523 -x1555 -x1554 -x1552 -x1543 -x1521 -x1583 -x1581 -x1579 -x1577 -x1575 -x1574 -x1571 -x1568 -x1565 -x1563 1803.86 v -x1560 -x1558 -x1590 -x1589 -x1587 -x1578 -x1556 -x1618 -x1616 -x1614 -x1612 -x1610 -x1609 -x1606 -x1603 -x1600 -x1598 1803.86 v -x1595 -x1593 -x1625 -x1624 -x1622 -x1613 -x1591 -x1688 -x1686 -x1684 -x1682 -x1680 -x1679 -x1676 -x1673 -x1670 -x1668 1803.86 v -x1665 -x1663 -x1695 -x1694 -x1692 -x1683 -x1661 -x1723 -x1721 -x1719 -x1717 -x1715 -x1714 -x1711 -x1708 -x1705 -x1703 1803.86 v -x1700 -x1698 -x1730 -x1729 -x1727 -x1718 -x1696 -x1758 -x1756 -x1754 -x1752 -x1750 -x1749 -x1746 -x1743 -x1740 -x1738 1803.86 v -x1735 -x1733 -x1765 -x1764 -x1762 -x1753 -x1731 -x1793 -x1791 -x1789 -x1787 -x1785 -x1784 -x1781 -x1778 -x1775 -x1773 1803.86 v -x1770 -x1768 -x1800 -x1799 -x1797 -x1788 -x1766 -x1828 -x1826 -x1824 -x1822 -x1820 -x1819 -x1816 -x1813 -x1810 -x1808 1803.86 v -x1805 -x1803 -x1835 -x1834 -x1832 x1823 -x1801 -x183 -x181 -x179 -x177 -x175 -x174 -x171 -x168 -x165 -x163 -x160 -x158 1803.86 v -x190 -x189 -x187 -x178 -x156 -x323 -x321 -x319 -x317 -x315 -x314 -x311 -x308 -x305 -x303 -x300 -x298 -x330 -x329 -x327 -x318 1803.86 v -x296 -x603 -x601 -x599 -x597 -x595 -x594 -x591 -x588 -x585 -x583 -x580 -x578 -x610 -x609 -x607 -x598 -x576 -x848 -x846 -x844 1803.86 v -x842 -x840 -x839 -x836 -x833 -x830 -x828 -x825 -x823 -x855 -x854 -x852 -x843 -x821 -x1128 -x1126 -x1124 -x1122 -x1120 -x1119 1803.86 v -x1116 -x1113 x1110 -x1108 -x1105 -x1103 -x1135 -x1134 -x1132 -x1123 -x1101 -x1408 -x1406 -x1404 -x1402 -x1400 -x1399 1803.86 v -x1396 -x1393 -x1390 -x1388 -x1385 -x1383 -x1415 -x1414 -x1412 -x1403 -x1381 -x1653 -x1651 -x1649 -x1647 -x1645 -x1644 1803.86 v -x1641 -x1638 -x1635 x1633 -x1630 -x1628 -x1660 -x1659 -x1657 -x1648 -x1626 -x1654 -x1652 -x1650 -x1646 -x1643 -x1642 1803.86 v -x1640 -x1639 -x1636 -x1634 -x1632 -x1631 -x1629 -x1627 -x1658 -x1656 -x1655 -x1637 -x1619 -x1617 -x1615 -x1611 -x1608 1803.86 v -x1607 -x1605 -x1604 -x1601 -x1599 x1597 -x1596 -x1594 -x1592 -x1623 -x1621 -x1620 -x1602 -x1584 -x1582 -x1580 -x1576 1803.86 v -x1573 -x1572 -x1570 -x1569 -x1566 -x1564 -x1562 x1561 -x1559 -x1557 -x1588 -x1586 -x1585 -x1567 -x1549 -x1547 -x1545 1803.86 v -x1541 -x1538 -x1537 -x1535 -x1534 -x1531 -x1529 -x1527 -x1526 -x1524 -x1522 -x1553 -x1551 -x1550 -x1532 -x1514 -x1512 1803.86 v -x1510 -x1506 -x1503 -x1502 -x1500 -x1499 -x1496 -x1494 -x1492 -x1491 x1489 -x1487 -x1518 -x1516 -x1515 -x1497 -x1479 1803.86 v -x1477 -x1475 -x1471 -x1468 -x1467 -x1465 -x1464 -x1461 -x1459 -x1457 -x1456 -x1454 -x1452 -x1483 -x1481 -x1480 -x1462 1803.86 v -x1444 -x1442 -x1440 -x1436 -x1433 -x1432 -x1430 -x1429 -x1426 -x1424 -x1422 -x1421 -x1419 -x1417 -x1448 -x1446 -x1445 1803.86 v -x1427 -x1409 -x1407 -x1405 -x1401 -x1398 -x1397 -x1395 -x1394 -x1391 x1389 -x1387 -x1386 -x1384 -x1382 -x1413 -x1411 1803.86 v -x1410 -x1392 -x1374 -x1372 -x1370 -x1366 -x1363 -x1362 -x1360 -x1359 -x1356 -x1354 -x1352 -x1351 -x1349 -x1347 -x1378 1803.86 v -x1376 -x1375 -x1357 -x1339 -x1337 x1335 -x1331 -x1328 -x1327 -x1325 -x1324 -x1321 -x1319 -x1317 -x1316 -x1314 -x1312 1803.86 v -x1343 -x1341 -x1340 -x1322 -x1269 -x1267 -x1265 -x1261 -x1258 -x1257 -x1255 -x1254 -x1251 -x1249 -x1247 -x1246 -x1244 1803.86 v -x1242 -x1273 -x1271 -x1270 -x1252 -x1234 -x1232 -x1230 -x1226 -x1223 -x1222 -x1220 -x1219 -x1216 -x1214 -x1212 -x1211 1803.86 v -x1209 -x1207 -x1238 -x1236 -x1235 -x1217 -x1199 -x1197 -x1195 -x1191 -x1188 -x1187 -x1185 -x1184 -x1181 -x1179 -x1177 1803.86 v -x1176 -x1174 -x1172 -x1203 -x1201 -x1200 -x1182 -x1164 -x1162 -x1160 -x1156 -x1153 -x1152 -x1150 -x1149 -x1146 -x1144 1803.86 v -x1142 -x1141 -x1139 -x1137 -x1168 -x1166 -x1165 -x1147 -x1129 -x1127 -x1125 -x1121 -x1118 -x1117 -x1115 -x1114 -x1111 1803.86 v -x1109 -x1107 -x1106 -x1104 -x1102 -x1133 -x1131 -x1130 -x1112 -x1094 -x1092 -x1090 -x1086 -x1083 -x1082 -x1080 -x1079 1803.86 v -x1076 -x1074 -x1072 -x1071 -x1069 -x1067 -x1098 -x1096 -x1095 -x1077 -x1059 -x1057 -x1055 x1051 -x1048 -x1047 -x1045 1803.86 v -x1044 -x1041 -x1039 -x1037 -x1036 -x1034 -x1032 -x1063 -x1061 -x1060 -x1042 -x1024 x1022 -x1020 -x1016 -x1013 -x1012 1803.86 v -x1010 -x1009 -x1006 -x1004 -x1002 -x1001 -x999 -x997 -x1028 -x1026 -x1025 -x1007 -x989 -x987 -x985 -x981 -x978 -x977 -x975 1803.86 v -x974 -x971 -x969 -x967 -x966 -x964 -x962 -x993 -x991 -x990 -x972 -x954 -x952 -x950 -x946 -x943 -x942 -x940 -x939 -x936 -x934 1803.86 v -x932 -x931 -x929 x927 -x958 -x956 -x955 -x937 -x884 -x882 -x880 -x876 -x873 -x872 -x870 -x869 -x866 -x864 -x862 -x861 -x859 1803.86 v -x857 -x888 -x886 -x885 -x867 -x849 -x847 -x845 -x841 -x838 -x837 -x835 -x834 x831 -x829 -x827 -x826 -x824 -x822 -x853 -x851 1803.86 v -x850 -x832 -x814 -x812 -x810 -x806 -x803 -x802 -x800 -x799 -x796 -x794 -x792 -x791 -x789 -x787 -x818 -x816 -x815 -x797 -x779 1803.86 v -x777 -x775 -x771 -x768 -x767 -x765 -x764 -x761 -x759 -x757 -x756 -x754 -x752 -x783 -x781 -x780 -x762 -x744 -x742 -x740 -x736 1803.86 v -x733 -x732 -x730 -x729 -x726 -x724 -x722 -x721 -x719 -x717 -x748 -x746 -x745 -x727 -x709 -x707 -x705 -x701 -x698 -x697 -x695 1803.86 v -x694 -x691 -x689 -x687 -x686 -x684 -x682 -x713 -x711 -x710 -x692 -x674 -x672 -x670 -x666 -x663 -x662 -x660 -x659 -x656 -x654 1803.86 v -x652 -x651 -x649 -x647 x678 -x676 -x675 -x657 -x639 -x637 -x635 -x631 -x628 -x627 -x625 -x624 -x621 -x619 -x617 -x616 -x614 1803.86 v -x612 -x643 -x641 -x640 -x622 -x604 -x602 -x600 -x596 -x593 -x592 -x590 x589 -x586 -x584 -x582 -x581 -x579 -x577 -x608 -x606 1803.86 v -x605 -x587 -x569 -x567 -x565 -x561 -x558 -x557 -x555 -x554 -x551 -x549 -x547 -x546 -x544 -x542 -x573 -x571 -x570 -x552 -x499 1803.86 v -x497 -x495 -x491 x488 -x487 -x485 -x484 -x481 -x479 -x477 -x476 -x474 -x472 -x503 -x501 -x500 -x482 x464 -x462 -x460 -x456 1803.86 v -x453 -x452 -x450 -x449 -x446 -x444 -x442 -x441 -x439 -x437 -x468 -x466 -x465 -x447 -x429 -x427 -x425 -x421 -x418 -x417 -x415 1803.86 v -x414 -x411 -x409 -x407 -x406 -x404 -x402 -x433 -x431 -x430 -x412 -x394 -x392 -x390 -x386 -x383 -x382 -x380 -x379 -x376 -x374 1803.86 v -x372 -x371 -x369 -x367 -x398 -x396 -x395 -x377 -x359 -x357 -x355 -x351 -x348 -x347 -x345 -x344 -x341 -x339 -x337 -x336 -x334 1803.86 v -x332 -x363 -x361 -x360 -x342 -x324 -x322 -x320 -x316 -x313 -x312 -x310 -x309 -x306 -x304 -x302 -x301 -x299 -x297 -x328 -x326 1803.86 v -x325 -x307 -x289 -x287 -x285 -x281 -x278 -x277 x275 -x274 -x271 -x269 -x267 -x266 -x264 -x262 -x293 -x291 -x290 -x272 -x254 1803.86 v -x252 -x250 -x246 -x243 -x242 -x240 -x239 -x236 -x234 -x232 -x231 -x229 -x227 -x258 -x256 -x255 -x237 -x219 -x217 -x215 -x211 1803.86 v -x208 x207 -x205 -x204 -x201 -x199 -x197 -x196 -x194 -x192 -x223 -x221 -x220 -x202 -x184 -x182 -x180 -x176 -x173 -x172 -x170 1803.86 v -x169 -x166 -x164 -x162 -x161 -x159 -x157 -x188 -x186 -x185 x167 -x1829 -x1827 -x1825 -x1821 -x1818 -x1817 -x1815 -x1814 1803.86 v -x1811 -x1809 -x1807 -x1806 -x1804 -x1802 -x1833 -x1831 -x1830 -x1812 -x1794 -x1792 -x1790 -x1786 -x1783 -x1782 -x1780 1803.86 v -x1779 -x1776 -x1774 -x1772 -x1771 -x1769 -x1767 -x1798 x1796 -x1795 -x1777 -x1759 -x1757 -x1755 -x1751 -x1748 -x1747 1803.86 v -x1745 -x1744 -x1741 -x1739 -x1737 -x1736 -x1734 -x1732 -x1763 -x1761 -x1760 -x1742 -x1724 -x1722 -x1720 -x1716 -x1713 1803.86 v -x1712 -x1710 -x1709 -x1706 -x1704 -x1702 -x1701 -x1699 -x1697 -x1728 -x1726 -x1725 -x1707 -x1689 -x1687 -x1685 -x1681 1803.86 v -x1678 -x1677 -x1675 -x1674 -x1671 -x1669 -x1667 -x1666 -x1664 -x1662 -x1693 -x1691 -x1690 -x1672 -x1304 -x1302 -x1300 1803.86 v -x1296 -x1293 -x1292 -x1290 -x1289 -x1286 -x1284 -x1282 -x1281 -x1279 -x1277 -x1308 -x1306 -x1305 -x1287 -x919 -x917 -x915 1803.86 v -x911 -x908 -x907 -x905 -x904 -x901 -x899 -x897 -x896 -x894 -x892 -x923 -x921 -x920 -x902 -x534 -x532 -x530 -x526 -x523 -x522 1803.86 v -x520 -x519 -x516 -x514 -x512 -x511 -x509 -x507 -x538 -x536 -x535 -x517 -x149 -x147 -x145 -x141 -x138 -x137 -x135 -x134 -x131 1803.86 v -x129 -x127 -x126 -x124 -x122 -x153 -x151 x150 -x132 1803.87 c Exit Code: 10 1803.87 c Total time: 1800 s
OK -23
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/node83/watcher-40118-1149370114 -o ROOT/results/node83/solver-40118-1149370114 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node83/40118-1149370114/instance-40118-1149370114.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1679584/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=2900 CPUtime=0 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 202650733 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11735483 0 0 4096 0 0 0 0 17 1 0 0 /proc/10764/statm: 725 27 19 55 0 38 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1665824/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=17176 CPUtime=6.88 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 4724 0 4 0 684 4 0 0 25 0 1 0 202650733 17588224 3586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134678453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 4294 3586 444 55 0 3185 0 Current children cumulated CPU time (s) 6.88 Current children cumulated vsize (Kb) 17176 [startup+20.0092 s] /proc/loadavg: 0.94 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1658592/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=24432 CPUtime=16.89 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 6555 0 4 0 1682 7 0 0 25 0 1 0 202650733 25018368 5417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541173 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 6108 5417 444 55 0 4999 0 Current children cumulated CPU time (s) 16.89 Current children cumulated vsize (Kb) 24432 [startup+30.0151 s] /proc/loadavg: 0.95 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1648480/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=34604 CPUtime=26.88 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 9095 0 4 0 2678 10 0 0 25 0 1 0 202650733 35434496 7957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 8651 7957 444 55 0 7542 0 Current children cumulated CPU time (s) 26.88 Current children cumulated vsize (Kb) 34604 [startup+40.021 s] /proc/loadavg: 0.95 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1640288/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=42772 CPUtime=36.88 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 11134 0 4 0 3675 13 0 0 25 0 1 0 202650733 43798528 9996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 10693 9996 444 55 0 9584 0 Current children cumulated CPU time (s) 36.88 Current children cumulated vsize (Kb) 42772 [startup+50.028 s] /proc/loadavg: 0.96 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1633888/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=49168 CPUtime=46.89 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 12835 0 4 0 4673 16 0 0 25 0 1 0 202650733 50348032 11607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 12292 11607 444 55 0 11183 0 Current children cumulated CPU time (s) 46.89 Current children cumulated vsize (Kb) 49168 [startup+60.0339 s] /proc/loadavg: 0.97 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1631840/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=51272 CPUtime=56.89 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 13341 0 4 0 5672 17 0 0 25 0 1 0 202650733 52502528 12113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 12818 12113 444 55 0 11709 0 Current children cumulated CPU time (s) 56.89 Current children cumulated vsize (Kb) 51272 [startup+70.0398 s] /proc/loadavg: 0.97 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1627744/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=55356 CPUtime=66.89 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 14359 0 4 0 6671 18 0 0 25 0 1 0 202650733 56684544 13131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 13839 13131 444 55 0 12730 0 Current children cumulated CPU time (s) 66.89 Current children cumulated vsize (Kb) 55356 [startup+80.0457 s] /proc/loadavg: 0.98 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1624992/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=57996 CPUtime=76.9 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 15041 0 4 0 7670 20 0 0 25 0 1 0 202650733 59387904 13813 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 14499 13813 444 55 0 13390 0 Current children cumulated CPU time (s) 76.9 Current children cumulated vsize (Kb) 57996 [startup+90.0516 s] /proc/loadavg: 0.98 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1622816/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=60236 CPUtime=86.9 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 15589 0 4 0 8669 21 0 0 25 0 1 0 202650733 61681664 14361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 15059 14361 444 55 0 13950 0 Current children cumulated CPU time (s) 86.9 Current children cumulated vsize (Kb) 60236 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1617952/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=65112 CPUtime=96.9 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 16801 0 4 0 9667 23 0 0 25 0 1 0 202650733 66674688 15573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 16278 15573 444 55 0 15169 0 Current children cumulated CPU time (s) 96.9 Current children cumulated vsize (Kb) 65112 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1615648/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=67352 CPUtime=106.9 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 17382 0 4 0 10666 24 0 0 25 0 1 0 202650733 68968448 16154 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 16838 16154 444 55 0 15729 0 Current children cumulated CPU time (s) 106.9 Current children cumulated vsize (Kb) 67352 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1613664/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=69332 CPUtime=116.91 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 17863 0 4 0 11665 26 0 0 25 0 1 0 202650733 70995968 16635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 17333 16635 444 55 0 16224 0 Current children cumulated CPU time (s) 116.91 Current children cumulated vsize (Kb) 69332 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1609696/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=73292 CPUtime=126.91 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 18861 0 4 0 12663 28 0 0 25 0 1 0 202650733 75051008 17633 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 18323 17633 444 55 0 17214 0 Current children cumulated CPU time (s) 126.91 Current children cumulated vsize (Kb) 73292 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1607968/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=75004 CPUtime=136.91 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 19290 0 4 0 13662 29 0 0 25 0 1 0 202650733 76804096 18062 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 18751 18062 444 55 0 17642 0 Current children cumulated CPU time (s) 136.91 Current children cumulated vsize (Kb) 75004 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1606752/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=76188 CPUtime=146.91 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 19586 0 4 0 14661 30 0 0 25 0 1 0 202650733 78016512 18358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719430 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 19047 18358 444 55 0 17938 0 Current children cumulated CPU time (s) 146.91 Current children cumulated vsize (Kb) 76188 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1602144/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=80800 CPUtime=156.91 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 20738 0 4 0 15659 32 0 0 25 0 1 0 202650733 82739200 19510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 20200 19510 444 55 0 19091 0 Current children cumulated CPU time (s) 156.91 Current children cumulated vsize (Kb) 80800 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1600928/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=82120 CPUtime=166.91 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 21058 0 4 0 16659 32 0 0 25 0 1 0 202650733 84090880 19830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 20530 19830 444 55 0 19421 0 Current children cumulated CPU time (s) 166.91 Current children cumulated vsize (Kb) 82120 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1597088/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=85928 CPUtime=176.92 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 22003 0 4 0 17658 34 0 0 25 0 1 0 202650733 87990272 20775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 21482 20775 444 55 0 20373 0 Current children cumulated CPU time (s) 176.92 Current children cumulated vsize (Kb) 85928 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1592672/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=90300 CPUtime=186.92 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 23377 0 4 0 18656 36 0 0 25 0 1 0 202650733 92467200 21879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 22575 21879 444 55 0 21466 0 Current children cumulated CPU time (s) 186.92 Current children cumulated vsize (Kb) 90300 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1591520/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=91488 CPUtime=196.92 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 23669 0 4 0 19655 37 0 0 25 0 1 0 202650733 93683712 22171 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 22872 22171 444 55 0 21763 0 Current children cumulated CPU time (s) 196.92 Current children cumulated vsize (Kb) 91488 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10764 /proc/meminfo: memFree=1583904/2055888 swapFree=4085408/4096564 ################ # More data... # ################ /proc/10764/statm: 83848 83138 444 55 0 82739 0 Current children cumulated CPU time (s) 1697.19 Current children cumulated vsize (Kb) 335392 [startup+1711.01 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1345888/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=336316 CPUtime=1707.2 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 85388 0 4 0 170561 159 0 0 25 0 1 0 202650733 344387584 83352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 84079 83352 444 55 0 82970 0 Current children cumulated CPU time (s) 1707.2 Current children cumulated vsize (Kb) 336316 [startup+1721.01 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1344672/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=337504 CPUtime=1717.2 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 85697 0 4 0 171561 159 0 0 25 0 1 0 202650733 345604096 83661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 84376 83661 444 55 0 83267 0 Current children cumulated CPU time (s) 1717.2 Current children cumulated vsize (Kb) 337504 [startup+1731.02 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1343840/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=338296 CPUtime=1727.2 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 85904 0 4 0 172560 160 0 0 25 0 1 0 202650733 346415104 83868 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 84574 83868 444 55 0 83465 0 Current children cumulated CPU time (s) 1727.2 Current children cumulated vsize (Kb) 338296 [startup+1741.03 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1342944/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=339212 CPUtime=1737.2 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 86127 0 4 0 173560 160 0 0 25 0 1 0 202650733 347353088 84091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 84803 84091 444 55 0 83694 0 Current children cumulated CPU time (s) 1737.2 Current children cumulated vsize (Kb) 339212 [startup+1751.03 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1342176/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=340004 CPUtime=1747.2 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 86307 0 4 0 174560 160 0 0 25 0 1 0 202650733 348164096 84271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 85001 84271 444 55 0 83892 0 Current children cumulated CPU time (s) 1747.2 Current children cumulated vsize (Kb) 340004 [startup+1761.04 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1340960/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=341180 CPUtime=1757.21 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 86620 0 4 0 175560 161 0 0 25 0 1 0 202650733 349368320 84584 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 85295 84584 444 55 0 84186 0 Current children cumulated CPU time (s) 1757.21 Current children cumulated vsize (Kb) 341180 [startup+1771.04 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1339232/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=342896 CPUtime=1767.21 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 87056 0 4 0 176559 162 0 0 25 0 1 0 202650733 351125504 85020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 85724 85020 444 55 0 84615 0 Current children cumulated CPU time (s) 1767.21 Current children cumulated vsize (Kb) 342896 [startup+1781.05 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1337248/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=344972 CPUtime=1777.21 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 87553 0 4 0 177558 163 0 0 25 0 1 0 202650733 353251328 85517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 86243 85517 444 55 0 85134 0 Current children cumulated CPU time (s) 1777.21 Current children cumulated vsize (Kb) 344972 [startup+1791.06 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1334432/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=347744 CPUtime=1787.21 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88248 0 4 0 178557 164 0 0 25 0 1 0 202650733 356089856 86212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 86936 86212 444 55 0 85827 0 Current children cumulated CPU time (s) 1787.21 Current children cumulated vsize (Kb) 347744 [startup+1792.06 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1334432/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=347744 CPUtime=1788.21 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88248 0 4 0 178657 164 0 0 25 0 1 0 202650733 356089856 86212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 86936 86212 444 55 0 85827 0 Current children cumulated CPU time (s) 1788.21 Current children cumulated vsize (Kb) 347744 [startup+1793.07 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1334432/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=347744 CPUtime=1789.22 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88248 0 4 0 178758 164 0 0 25 0 1 0 202650733 356089856 86212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 86936 86212 444 55 0 85827 0 Current children cumulated CPU time (s) 1789.22 Current children cumulated vsize (Kb) 347744 [startup+1794.07 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1334176/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=348008 CPUtime=1790.22 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88310 0 4 0 178858 164 0 0 25 0 1 0 202650733 356360192 86274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 87002 86274 444 55 0 85893 0 Current children cumulated CPU time (s) 1790.22 Current children cumulated vsize (Kb) 348008 [startup+1795.07 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1333664/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=348536 CPUtime=1791.23 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88446 0 4 0 178958 165 0 0 25 0 1 0 202650733 356900864 86410 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 87134 86410 444 55 0 86025 0 Current children cumulated CPU time (s) 1791.23 Current children cumulated vsize (Kb) 348536 [startup+1796.08 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1333600/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=348536 CPUtime=1792.24 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88456 0 4 0 179059 165 0 0 25 0 1 0 202650733 356900864 86420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 87134 86420 444 55 0 86025 0 Current children cumulated CPU time (s) 1792.24 Current children cumulated vsize (Kb) 348536 [startup+1797.08 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1333344/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=348800 CPUtime=1793.24 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88532 0 4 0 179159 165 0 0 25 0 1 0 202650733 357171200 86496 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 87200 86496 444 55 0 86091 0 Current children cumulated CPU time (s) 1793.24 Current children cumulated vsize (Kb) 348800 [startup+1798.09 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1332896/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=349324 CPUtime=1794.25 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88643 0 4 0 179260 165 0 0 25 0 1 0 202650733 357707776 86607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 87331 86607 444 55 0 86222 0 Current children cumulated CPU time (s) 1794.25 Current children cumulated vsize (Kb) 349324 [startup+1799.09 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1332896/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=349324 CPUtime=1795.25 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88643 0 4 0 179360 165 0 0 25 0 1 0 202650733 357707776 86607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 87331 86607 444 55 0 86222 0 Current children cumulated CPU time (s) 1795.25 Current children cumulated vsize (Kb) 349324 [startup+1800.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1332896/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=349324 CPUtime=1796.25 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88643 0 4 0 179460 165 0 0 25 0 1 0 202650733 357707776 86607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 87331 86607 444 55 0 86222 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (Kb) 349324 [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1332896/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=349324 CPUtime=1797.26 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88643 0 4 0 179561 165 0 0 25 0 1 0 202650733 357707776 86607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 87331 86607 444 55 0 86222 0 Current children cumulated CPU time (s) 1797.26 Current children cumulated vsize (Kb) 349324 [startup+1802.11 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1332896/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=349324 CPUtime=1798.26 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88643 0 4 0 179661 165 0 0 25 0 1 0 202650733 357707776 86607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 87331 86607 444 55 0 86222 0 Current children cumulated CPU time (s) 1798.26 Current children cumulated vsize (Kb) 349324 [startup+1803.11 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10766 /proc/meminfo: memFree=1332896/2055888 swapFree=4085408/4096564 [pid=10764] ppid=10762 vsize=349324 CPUtime=1799.27 /proc/10764/stat : 10764 (bsolo) R 10762 10764 10718 0 -1 0 88643 0 4 0 179762 165 0 0 25 0 1 0 202650733 357707776 86607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10764/statm: 87331 86607 444 55 0 86222 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (Kb) 349324 Child status: 10 Real time (s): 1803.93 CPU time (s): 1800.08 CPU user time (s): 1798.38 CPU system time (s): 1.70674 CPU usage (%): 99.7869 Max. virtual memory (cumulated for all children) (Kb): 349324
Begin job on node83 on Sat Jun 3 21:28:34 UTC 2006 FILE ID= 40118-1149370114 PBS_JOBID= 312148 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node83/40118-1149370114/instance-40118-1149370114.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node83/watcher-40118-1149370114 -o ROOT/results/node83/solver-40118-1149370114 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node83/40118-1149370114/instance-40118-1149370114.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2 RANDOM SEED= 217028509 /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.265 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.16 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.265 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1679792 kB Buffers: 23676 kB Cached: 284788 kB SwapCached: 2364 kB Active: 157896 kB Inactive: 159252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1679792 kB SwapTotal: 4096564 kB SwapFree: 4085408 kB Dirty: 164 kB Writeback: 0 kB Mapped: 16880 kB Slab: 45624 kB Committed_AS: 415400 kB PageTables: 1284 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node83 on Sat Jun 3 21:58:38 UTC 2006