Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | OPT | 1120 | 1126.69 | 1126.98 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb |
MD5SUM | 9b4418c5c34f37121cd9ad7732df64ff |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1120 |
Best CPU time to get the best result obtained on this benchmark | 8.58769 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | YES |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 89 variables and 28 constraints. 0.02 c Switching on LPR. 0.02 c preprocess terminated. Elapsed time: 0.009 0.02 c After prepocess the problem consists of 88 variables and 28 constraints. 0.02 c Initial Lower Bound: 774 0.12 c Sol. found (all assignments made)... 0.12 o 2892 0.12 c NEW SOLUTION FOUND: 2892 @ 0.109 0.12 c Sol. found (all assignments made)... 0.12 o 2889 0.12 c NEW SOLUTION FOUND: 2889 @ 0.115 0.13 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 o 2888 0.14 c NEW SOLUTION FOUND: 2888 @ 0.132 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 o 2881 0.20 c NEW SOLUTION FOUND: 2881 @ 0.196 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 o 2878 0.30 c NEW SOLUTION FOUND: 2878 @ 0.29 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 o 2843 0.30 c NEW SOLUTION FOUND: 2843 @ 0.294 0.30 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 o 2750 0.31 c NEW SOLUTION FOUND: 2750 @ 0.304 0.37 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 o 2726 0.38 c NEW SOLUTION FOUND: 2726 @ 0.377 0.51 c Restart #1 #Var: 88 LB: 774 @ 0.504 0.53 c Sol. found (all assignments made)... 0.53 o 2553 0.53 c NEW SOLUTION FOUND: 2553 @ 0.524 0.55 c Sol. found (all assignments made)... 0.55 o 2476 0.55 c NEW SOLUTION FOUND: 2476 @ 0.543 0.55 c Sol. found (all assignments made)... 0.56 o 2210 0.56 c NEW SOLUTION FOUND: 2210 @ 0.55 0.56 o 2207 0.56 c NEW SOLUTION FOUND: 2207 @ 0.551 0.58 c Sol. found (all assignments made)... 0.58 o 2130 0.58 c NEW SOLUTION FOUND: 2130 @ 0.571 0.58 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 o 1932 0.60 c NEW SOLUTION FOUND: 1932 @ 0.593 0.60 o 1929 0.60 c NEW SOLUTION FOUND: 1929 @ 0.595 0.62 c Sol. found (all assignments made)... 0.62 o 1852 0.62 c NEW SOLUTION FOUND: 1852 @ 0.612 0.62 c Sol. found (all assignments made)... 0.65 o 1786 0.65 c NEW SOLUTION FOUND: 1786 @ 0.642 0.67 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 o 1709 0.68 c NEW SOLUTION FOUND: 1709 @ 0.677 0.71 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 o 1597 0.72 c NEW SOLUTION FOUND: 1597 @ 0.713 0.78 c Sol. found (all assignments made)... 0.78 o 1567 0.78 c NEW SOLUTION FOUND: 1567 @ 0.777 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 o 1442 0.79 c NEW SOLUTION FOUND: 1442 @ 0.785 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.03 c Restart #2 #Var: 88 LB: 774 @ 1.027 1.10 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 o 1422 1.13 c NEW SOLUTION FOUND: 1422 @ 1.125 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 o 1381 1.33 c NEW SOLUTION FOUND: 1381 @ 1.322 1.41 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.75 c Restart #3 #Var: 88 LB: 774 @ 1.746 1.82 c Sol. found (all assignments made)... 1.93 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.33 c Restart #4 #Var: 88 LB: 774 @ 2.328 2.55 o 1341 2.55 c NEW SOLUTION FOUND: 1341 @ 2.54 2.59 c Sol. found (all assignments made)... 2.62 o 1333 2.62 c NEW SOLUTION FOUND: 1333 @ 2.611 2.65 o 1331 2.65 c NEW SOLUTION FOUND: 1331 @ 2.645 2.67 o 1256 2.67 c NEW SOLUTION FOUND: 1256 @ 2.661 2.74 o 1236 2.74 c NEW SOLUTION FOUND: 1236 @ 2.735 2.79 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.14 o 1177 3.14 c NEW SOLUTION FOUND: 1177 @ 3.13 3.22 o 1157 3.22 c NEW SOLUTION FOUND: 1157 @ 3.217 3.98 c Restart #5 #Var: 88 LB: 774 @ 3.975 4.35 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 5.01 c Restart #6 #Var: 88 LB: 774 @ 5.001 6.35 c Restart #7 #Var: 88 LB: 774 @ 6.339 7.89 c Restart #8 #Var: 88 LB: 774 @ 7.884 8.45 c Sol. found (all assignments made)... 8.73 c Sol. found (all assignments made)... 8.97 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.48 c Restart #9 #Var: 88 LB: 774 @ 9.468 10.09 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.93 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.24 c Sol. found (all assignments made)... 11.69 c Restart #10 #Var: 88 LB: 774 @ 11.672 11.94 c Sol. found (all assignments made)... 12.04 c Sol. found (all assignments made)... 12.13 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 14.08 c Restart #11 #Var: 88 LB: 774 @ 14.067 14.38 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 15.22 c Sol. found (all assignments made)... 15.32 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 16.03 c Sol. found (all assignments made)... 16.08 c Sol. found (all assignments made)... 16.17 c Sol. found (all assignments made)... 16.57 c Restart #12 #Var: 88 LB: 774 @ 16.549 16.93 c Sol. found (all assignments made)... 16.93 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.02 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 19.08 c Restart #13 #Var: 88 LB: 774 @ 19.064 19.79 c Sol. found (all assignments made)... 19.81 c Sol. found (all assignments made)... 19.81 c Sol. found (all assignments made)... 19.82 c Sol. found (all assignments made)... 22.09 c Restart #14 #Var: 88 LB: 774 @ 22.067 23.75 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 25.20 c Restart #15 #Var: 88 LB: 774 @ 25.175 26.13 c Sol. found (all assignments made)... 26.41 c Sol. found (all assignments made)... 26.77 c Sol. found (all assignments made)... 26.77 c Sol. found (all assignments made)... 26.77 c Sol. found (all assignments made)... 26.77 c Sol. found (all assignments made)... 27.79 c Sol. found (all assignments made)... 27.87 c Sol. found (all assignments made)... 27.93 c Sol. found (all assignments made)... 28.04 c Sol. found (all assignments made)... 28.81 c Restart #16 #Var: 88 LB: 774 @ 28.793 29.20 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 31.27 c Sol. found (all assignments made)... 31.35 c Sol. found (all assignments made)... 32.11 c Restart #17 #Var: 88 LB: 774 @ 32.086 32.62 c Sol. found (all assignments made)... 32.96 c Sol. found (all assignments made)... 33.00 c Sol. found (all assignments made)... 33.13 c Sol. found (all assignments made)... 33.51 c Sol. found (all assignments made)... 33.52 c Sol. found (all assignments made)... 33.52 c Sol. found (all assignments made)... 34.11 c Sol. found (all assignments made)... 35.83 c Sol. found (all assignments made)... 36.02 c Sol. found (all assignments made)... 36.72 c Restart #18 #Var: 88 LB: 774 @ 36.692 42.10 c Restart #19 #Var: 88 LB: 774 @ 42.074 43.65 c Sol. found (all assignments made)... 48.59 c Restart #20 #Var: 88 LB: 774 @ 48.568 49.59 c Sol. found (all assignments made)... 49.62 c Sol. found (all assignments made)... 50.40 c Sol. found (all assignments made)... 53.77 c Restart #21 #Var: 88 LB: 774 @ 53.74 57.00 c Sol. found (all assignments made)... 57.00 c Sol. found (all assignments made)... 60.31 c Restart #22 #Var: 88 LB: 774 @ 60.28 61.05 c Sol. found (all assignments made)... 61.24 c Sol. found (all assignments made)... 61.24 o 1148 61.24 c NEW SOLUTION FOUND: 1148 @ 61.209 61.24 c Sol. found (all assignments made)... 61.65 c Sol. found (all assignments made)... 61.97 c Sol. found (all assignments made)... 62.15 c Sol. found (all assignments made)... 62.34 c Sol. found (all assignments made)... 62.37 c Sol. found (all assignments made)... 62.66 c Sol. found (all assignments made)... 63.47 c Sol. found (all assignments made)... 63.47 c Sol. found (all assignments made)... 63.58 c Sol. found (all assignments made)... 63.58 c Sol. found (all assignments made)... 63.58 c Sol. found (all assignments made)... 64.93 c Sol. found (all assignments made)... 65.04 c Sol. found (all assignments made)... 65.05 c Sol. found (all assignments made)... 66.42 c Restart #23 #Var: 88 LB: 774 @ 66.391 68.25 c Sol. found (all assignments made)... 68.47 c Sol. found (all assignments made)... 68.65 c Sol. found (all assignments made)... 70.02 c Sol. found (all assignments made)... 71.05 c Sol. found (all assignments made)... 71.37 c Sol. found (all assignments made)... 73.90 c Restart #24 #Var: 88 LB: 774 @ 73.866 76.65 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.97 c Sol. found (all assignments made)... 78.71 c Sol. found (all assignments made)... 78.73 c Sol. found (all assignments made)... 79.18 c Sol. found (all assignments made)... 80.13 c Restart #25 #Var: 88 LB: 774 @ 80.096 83.01 c Sol. found (all assignments made)... 83.16 c Sol. found (all assignments made)... 83.60 c Sol. found (all assignments made)... 83.67 c Sol. found (all assignments made)... 83.76 c Sol. found (all assignments made)... 83.78 c Sol. found (all assignments made)... 83.88 c Sol. found (all assignments made)... 84.32 c Sol. found (all assignments made)... 85.29 c Sol. found (all assignments made)... 86.31 c Sol. found (all assignments made)... 86.48 c Sol. found (all assignments made)... 87.60 c Restart #26 #Var: 88 LB: 774 @ 87.565 94.69 c Restart #27 #Var: 88 LB: 774 @ 94.658 96.40 c Sol. found (all assignments made)... 96.60 c Sol. found (all assignments made)... 96.82 c Sol. found (all assignments made)... 97.45 c Sol. found (all assignments made)... 97.45 c Sol. found (all assignments made)... 97.45 c Sol. found (all assignments made)... 97.45 c Sol. found (all assignments made)... 98.55 c Sol. found (all assignments made)... 98.76 c Sol. found (all assignments made)... 99.26 c Sol. found (all assignments made)... 99.32 c Sol. found (all assignments made)... 99.70 c Sol. found (all assignments made)... 99.70 c Sol. found (all assignments made)... 99.70 c Sol. found (all assignments made)... 99.70 c Sol. found (all assignments made)... 100.85 c Sol. found (all assignments made)... 101.85 c Sol. found (all assignments made)... 103.68 c Restart #28 #Var: 88 LB: 774 @ 103.64 105.78 c Sol. found (all assignments made)... 105.78 c Sol. found (all assignments made)... 105.78 c Sol. found (all assignments made)... 105.84 c Sol. found (all assignments made)... 106.61 c Sol. found (all assignments made)... 106.66 c Sol. found (all assignments made)... 107.60 c Sol. found (all assignments made)... 107.61 c Sol. found (all assignments made)... 107.65 c Sol. found (all assignments made)... 108.11 c Sol. found (all assignments made)... 108.73 c Sol. found (all assignments made)... 108.73 c Sol. found (all assignments made)... 108.73 c Sol. found (all assignments made)... 109.64 c Sol. found (all assignments made)... 109.64 c Sol. found (all assignments made)... 109.65 c Sol. found (all assignments made)... 109.65 c Sol. found (all assignments made)... 109.74 c Sol. found (all assignments made)... 109.77 c Sol. found (all assignments made)... 109.77 c Sol. found (all assignments made)... 110.00 c Sol. found (all assignments made)... 110.35 c Sol. found (all assignments made)... 110.35 c Sol. found (all assignments made)... 111.39 c Restart #29 #Var: 88 LB: 774 @ 111.35 113.70 c Sol. found (all assignments made)... 113.70 c Sol. found (all assignments made)... 113.74 c Sol. found (all assignments made)... 113.74 c Sol. found (all assignments made)... 114.06 c Sol. found (all assignments made)... 114.06 c Sol. found (all assignments made)... 115.74 c Sol. found (all assignments made)... 115.75 c Sol. found (all assignments made)... 117.57 c Sol. found (all assignments made)... 117.61 c Sol. found (all assignments made)... 117.85 c Sol. found (all assignments made)... 120.02 c Restart #30 #Var: 88 LB: 774 @ 119.98 123.29 c Sol. found (all assignments made)... 123.41 c Sol. found (all assignments made)... 123.73 c Sol. found (all assignments made)... 130.99 c Restart #31 #Var: 88 LB: 774 @ 130.94 133.63 c Sol. found (all assignments made)... 134.17 c Sol. found (all assignments made)... 134.58 c Sol. found (all assignments made)... 137.04 c Sol. found (all assignments made)... 137.70 c Sol. found (all assignments made)... 138.43 c Sol. found (all assignments made)... 138.53 c Sol. found (all assignments made)... 140.62 c Restart #32 #Var: 88 LB: 774 @ 140.57 142.77 c Sol. found (all assignments made)... 145.01 c Sol. found (all assignments made)... 145.26 c Sol. found (all assignments made)... 145.27 c Sol. found (all assignments made)... 145.37 c Sol. found (all assignments made)... 145.87 c Sol. found (all assignments made)... 151.99 c Sol. found (all assignments made)... 154.33 c Restart #33 #Var: 88 LB: 774 @ 154.28 160.96 c Sol. found (all assignments made)... 162.51 c Sol. found (all assignments made)... 163.06 c Sol. found (all assignments made)... 164.96 c Restart #34 #Var: 88 LB: 774 @ 164.9 168.06 c Sol. found (all assignments made)... 168.12 c Sol. found (all assignments made)... 169.38 c Sol. found (all assignments made)... 172.42 c Sol. found (all assignments made)... 175.13 c Sol. found (all assignments made)... 175.18 c Sol. found (all assignments made)... 175.45 c Sol. found (all assignments made)... 177.14 c Restart #35 #Var: 88 LB: 774 @ 177.09 178.93 c Sol. found (all assignments made)... 179.09 c Sol. found (all assignments made)... 179.13 c Sol. found (all assignments made)... 179.54 c Sol. found (all assignments made)... 180.94 c Sol. found (all assignments made)... 180.95 c Sol. found (all assignments made)... 180.96 c Sol. found (all assignments made)... 181.71 c Sol. found (all assignments made)... 181.72 c Sol. found (all assignments made)... 185.63 c Sol. found (all assignments made)... 185.63 c Sol. found (all assignments made)... 185.78 c Sol. found (all assignments made)... 185.78 c Sol. found (all assignments made)... 185.86 c Sol. found (all assignments made)... 185.86 c Sol. found (all assignments made)... 185.93 c Sol. found (all assignments made)... 188.12 c Sol. found (all assignments made)... 188.27 c Sol. found (all assignments made)... 188.32 c Sol. found (all assignments made)... 190.99 c Restart #36 #Var: 88 LB: 774 @ 190.92 192.96 c Sol. found (all assignments made)... 193.51 c Sol. found (all assignments made)... 193.76 c Sol. found (all assignments made)... 194.16 c Sol. found (all assignments made)... 195.14 c Sol. found (all assignments made)... 195.83 c Sol. found (all assignments made)... 196.58 c Sol. found (all assignments made)... 196.62 c Sol. found (all assignments made)... 197.43 c Sol. found (all assignments made)... 197.45 c Sol. found (all assignments made)... 198.35 c Sol. found (all assignments made)... 198.98 c Sol. found (all assignments made)... 201.16 c Restart #37 #Var: 88 LB: 774 @ 201.09 206.50 c Sol. found (all assignments made)... 206.50 c Sol. found (all assignments made)... 206.50 c Sol. found (all assignments made)... 206.50 c Sol. found (all assignments made)... 206.88 c Sol. found (all assignments made)... 208.26 c Sol. found (all assignments made)... 210.48 c Sol. found (all assignments made)... 210.74 c Sol. found (all assignments made)... 213.08 c Sol. found (all assignments made)... 214.31 c Sol. found (all assignments made)... 214.71 c Sol. found (all assignments made)... 214.71 c Sol. found (all assignments made)... 214.73 c Sol. found (all assignments made)... 214.75 c Sol. found (all assignments made)... 214.82 c Sol. found (all assignments made)... 215.34 c Sol. found (all assignments made)... 217.60 c Restart #38 #Var: 88 LB: 774 @ 217.53 224.93 c Sol. found (all assignments made)... 233.04 c Sol. found (all assignments made)... 236.82 c Restart #39 #Var: 88 LB: 774 @ 236.74 239.79 c Sol. found (all assignments made)... 240.15 c Sol. found (all assignments made)... 240.46 c Sol. found (all assignments made)... 243.01 c Sol. found (all assignments made)... 243.06 c Sol. found (all assignments made)... 243.11 c Sol. found (all assignments made)... 243.27 c Sol. found (all assignments made)... 243.39 c Sol. found (all assignments made)... 243.45 c Sol. found (all assignments made)... 243.66 c Sol. found (all assignments made)... 243.72 c Sol. found (all assignments made)... 243.75 c Sol. found (all assignments made)... 243.84 c Sol. found (all assignments made)... 243.86 c Sol. found (all assignments made)... 243.95 c Sol. found (all assignments made)... 244.01 c Sol. found (all assignments made)... 244.09 c Sol. found (all assignments made)... 246.85 c Sol. found (all assignments made)... 253.14 c Restart #40 #Var: 88 LB: 774 @ 253.06 265.23 c Sol. found (all assignments made)... 265.27 c Sol. found (all assignments made)... 265.33 c Sol. found (all assignments made)... 265.38 c Sol. found (all assignments made)... 266.36 c Sol. found (all assignments made)... 267.99 c Restart #41 #Var: 88 LB: 774 @ 267.91 270.52 c Sol. found (all assignments made)... 270.65 c Sol. found (all assignments made)... 270.86 c Sol. found (all assignments made)... 274.68 c Sol. found (all assignments made)... 275.84 c Sol. found (all assignments made)... 275.89 c Sol. found (all assignments made)... 281.50 c Restart #42 #Var: 88 LB: 774 @ 281.42 288.98 c Sol. found (all assignments made)... 288.98 c Sol. found (all assignments made)... 288.98 c Sol. found (all assignments made)... 288.98 c Sol. found (all assignments made)... 289.55 c Sol. found (all assignments made)... 289.55 c Sol. found (all assignments made)... 289.55 c Sol. found (all assignments made)... 289.55 c Sol. found (all assignments made)... 289.91 c Sol. found (all assignments made)... 290.03 c Sol. found (all assignments made)... 290.06 c Sol. found (all assignments made)... 290.06 c Sol. found (all assignments made)... 290.06 c Sol. found (all assignments made)... 290.06 c Sol. found (all assignments made)... 290.09 c Sol. found (all assignments made)... 290.10 c Sol. found (all assignments made)... 290.34 c Sol. found (all assignments made)... 290.34 c Sol. found (all assignments made)... 290.37 c Sol. found (all assignments made)... 290.37 c Sol. found (all assignments made)... 290.38 c Sol. found (all assignments made)... 290.38 c Sol. found (all assignments made)... 290.55 c Sol. found (all assignments made)... 290.55 c Sol. found (all assignments made)... 290.55 c Sol. found (all assignments made)... 290.55 c Sol. found (all assignments made)... 290.86 c Sol. found (all assignments made)... 290.90 c Sol. found (all assignments made)... 290.98 c Sol. found (all assignments made)... 290.98 c Sol. found (all assignments made)... 290.98 c Sol. found (all assignments made)... 291.00 c Sol. found (all assignments made)... 291.01 c Sol. found (all assignments made)... 291.10 c Sol. found (all assignments made)... 291.23 c Sol. found (all assignments made)... 291.23 c Sol. found (all assignments made)... 291.23 c Sol. found (all assignments made)... 291.23 c Sol. found (all assignments made)... 291.28 c Sol. found (all assignments made)... 291.36 c Sol. found (all assignments made)... 291.89 c Sol. found (all assignments made)... 291.93 c Sol. found (all assignments made)... 292.05 c Sol. found (all assignments made)... 292.48 c Sol. found (all assignments made)... 292.82 c Sol. found (all assignments made)... 292.99 c Sol. found (all assignments made)... 293.06 c Sol. found (all assignments made)... 293.12 c Sol. found (all assignments made)... 293.92 c Sol. found (all assignments made)... 293.92 c Sol. found (all assignments made)... 293.92 c Sol. found (all assignments made)... 293.92 c Sol. found (all assignments made)... 295.33 c Sol. found (all assignments made)... 295.33 c Sol. found (all assignments made)... 295.79 c Sol. found (all assignments made)... 295.79 c Sol. found (all assignments made)... 295.94 c Sol. found (all assignments made)... 295.94 c Sol. found (all assignments made)... 298.46 c Restart #43 #Var: 88 LB: 774 @ 298.37 301.64 c Sol. found (all assignments made)... 301.64 c Sol. found (all assignments made)... 301.64 o 1136 301.64 c NEW SOLUTION FOUND: 1136 @ 301.55 301.66 c Sol. found (all assignments made)... 302.30 c Sol. found (all assignments made)... 302.30 c Sol. found (all assignments made)... 302.83 c Sol. found (all assignments made)... 302.83 c Sol. found (all assignments made)... 302.95 c Sol. found (all assignments made)... 302.97 c Sol. found (all assignments made)... 302.98 c Sol. found (all assignments made)... 302.99 c Sol. found (all assignments made)... 303.16 c Sol. found (all assignments made)... 303.22 c Sol. found (all assignments made)... 303.26 c Sol. found (all assignments made)... 303.26 c Sol. found (all assignments made)... 303.40 c Sol. found (all assignments made)... 303.69 c Sol. found (all assignments made)... 303.73 c Sol. found (all assignments made)... 303.83 c Sol. found (all assignments made)... 303.88 c Sol. found (all assignments made)... 303.90 c Sol. found (all assignments made)... 304.28 c Sol. found (all assignments made)... 304.28 c Sol. found (all assignments made)... 304.31 c Sol. found (all assignments made)... 304.43 c Sol. found (all assignments made)... 304.50 c Sol. found (all assignments made)... 304.57 c Sol. found (all assignments made)... 304.61 c Sol. found (all assignments made)... 304.61 c Sol. found (all assignments made)... 304.61 o 1128 304.61 c NEW SOLUTION FOUND: 1128 @ 304.52 304.61 c Sol. found (all assignments made)... 304.66 c Sol. found (all assignments made)... 304.69 c Sol. found (all assignments made)... 304.73 c Sol. found (all assignments made)... 304.75 c Sol. found (all assignments made)... 305.08 c Sol. found (all assignments made)... 305.30 c Sol. found (all assignments made)... 305.58 c Sol. found (all assignments made)... 305.58 c Sol. found (all assignments made)... 305.58 c Sol. found (all assignments made)... 305.66 c Sol. found (all assignments made)... 305.67 c Sol. found (all assignments made)... 305.71 c Sol. found (all assignments made)... 305.72 c Sol. found (all assignments made)... 305.73 c Sol. found (all assignments made)... 305.89 c Sol. found (all assignments made)... 305.99 c Sol. found (all assignments made)... 306.04 c Sol. found (all assignments made)... 306.08 c Sol. found (all assignments made)... 306.13 c Sol. found (all assignments made)... 306.45 c Sol. found (all assignments made)... 306.56 c Sol. found (all assignments made)... 306.56 c Sol. found (all assignments made)... 306.60 c Sol. found (all assignments made)... 306.61 c Sol. found (all assignments made)... 306.61 c Sol. found (all assignments made)... 306.62 c Sol. found (all assignments made)... 306.68 c Sol. found (all assignments made)... 306.69 c Sol. found (all assignments made)... 306.77 c Sol. found (all assignments made)... 306.87 c Sol. found (all assignments made)... 306.91 c Sol. found (all assignments made)... 306.92 c Sol. found (all assignments made)... 306.95 c Sol. found (all assignments made)... 306.95 c Sol. found (all assignments made)... 306.98 c Sol. found (all assignments made)... 306.98 c Sol. found (all assignments made)... 307.17 c Sol. found (all assignments made)... 307.17 c Sol. found (all assignments made)... 307.72 c Sol. found (all assignments made)... 307.76 c Sol. found (all assignments made)... 307.84 c Sol. found (all assignments made)... 307.88 c Sol. found (all assignments made)... 307.94 c Sol. found (all assignments made)... 308.13 c Sol. found (all assignments made)... 308.13 c Sol. found (all assignments made)... 308.14 c Sol. found (all assignments made)... 308.24 c Sol. found (all assignments made)... 308.24 c Sol. found (all assignments made)... 308.34 c Sol. found (all assignments made)... 308.34 c Sol. found (all assignments made)... 308.36 c Sol. found (all assignments made)... 308.43 c Sol. found (all assignments made)... 308.56 c Sol. found (all assignments made)... 308.60 c Sol. found (all assignments made)... 308.63 c Sol. found (all assignments made)... 308.63 c Sol. found (all assignments made)... 308.63 c Sol. found (all assignments made)... 308.68 c Sol. found (all assignments made)... 308.77 c Sol. found (all assignments made)... 308.81 c Sol. found (all assignments made)... 308.83 c Sol. found (all assignments made)... 308.83 c Sol. found (all assignments made)... 309.10 c Sol. found (all assignments made)... 309.19 c Sol. found (all assignments made)... 309.22 c Sol. found (all assignments made)... 309.22 c Sol. found (all assignments made)... 309.86 c Sol. found (all assignments made)... 309.91 c Sol. found (all assignments made)... 309.91 c Sol. found (all assignments made)... 310.07 c Sol. found (all assignments made)... 310.33 c Sol. found (all assignments made)... 311.29 c Sol. found (all assignments made)... 311.47 c Sol. found (all assignments made)... 311.53 c Sol. found (all assignments made)... 311.53 c Sol. found (all assignments made)... 311.68 c Sol. found (all assignments made)... 311.76 c Sol. found (all assignments made)... 311.84 c Sol. found (all assignments made)... 314.14 c Sol. found (all assignments made)... 317.30 c Restart #44 #Var: 88 LB: 774 @ 317.21 319.45 c Sol. found (all assignments made)... 319.45 c Sol. found (all assignments made)... 319.70 c Sol. found (all assignments made)... 319.71 c Sol. found (all assignments made)... 322.92 c Sol. found (all assignments made)... 325.31 c Sol. found (all assignments made)... 325.37 c Sol. found (all assignments made)... 325.45 c Sol. found (all assignments made)... 325.72 c Sol. found (all assignments made)... 325.83 c Sol. found (all assignments made)... 325.88 c Sol. found (all assignments made)... 325.91 c Sol. found (all assignments made)... 325.91 c Sol. found (all assignments made)... 325.95 c Sol. found (all assignments made)... 325.95 c Sol. found (all assignments made)... 325.98 c Sol. found (all assignments made)... 326.22 c Sol. found (all assignments made)... 326.25 c Sol. found (all assignments made)... 326.27 c Sol. found (all assignments made)... 326.27 c Sol. found (all assignments made)... 326.28 c Sol. found (all assignments made)... 326.46 c Sol. found (all assignments made)... 326.46 c Sol. found (all assignments made)... 326.81 c Sol. found (all assignments made)... 327.04 c Sol. found (all assignments made)... 327.04 c Sol. found (all assignments made)... 327.05 c Sol. found (all assignments made)... 327.07 c Sol. found (all assignments made)... 327.51 c Sol. found (all assignments made)... 327.52 c Sol. found (all assignments made)... 327.55 c Sol. found (all assignments made)... 327.72 c Sol. found (all assignments made)... 327.73 c Sol. found (all assignments made)... 329.98 c Sol. found (all assignments made)... 332.10 c Restart #45 #Var: 88 LB: 774 @ 332.01 335.29 c Sol. found (all assignments made)... 336.24 c Sol. found (all assignments made)... 337.16 c Sol. found (all assignments made)... 337.24 c Sol. found (all assignments made)... 337.24 c Sol. found (all assignments made)... 337.37 c Sol. found (all assignments made)... 337.41 c Sol. found (all assignments made)... 337.55 c Sol. found (all assignments made)... 337.55 c Sol. found (all assignments made)... 338.01 c Sol. found (all assignments made)... 338.20 c Sol. found (all assignments made)... 338.22 c Sol. found (all assignments made)... 339.08 c Sol. found (all assignments made)... 340.12 c Sol. found (all assignments made)... 340.23 c Sol. found (all assignments made)... 340.49 c Sol. found (all assignments made)... 340.58 c Sol. found (all assignments made)... 340.72 c Sol. found (all assignments made)... 340.75 c Sol. found (all assignments made)... 340.87 c Sol. found (all assignments made)... 341.00 c Sol. found (all assignments made)... 341.08 c Sol. found (all assignments made)... 341.18 c Sol. found (all assignments made)... 341.23 c Sol. found (all assignments made)... 341.45 c Sol. found (all assignments made)... 342.55 c Sol. found (all assignments made)... 342.65 c Sol. found (all assignments made)... 342.65 c Sol. found (all assignments made)... 342.82 c Sol. found (all assignments made)... 342.82 c Sol. found (all assignments made)... 342.97 c Sol. found (all assignments made)... 342.97 c Sol. found (all assignments made)... 348.14 c Restart #46 #Var: 88 LB: 774 @ 348.04 351.70 c Sol. found (all assignments made)... 351.71 c Sol. found (all assignments made)... 351.83 c Sol. found (all assignments made)... 351.89 c Sol. found (all assignments made)... 352.41 c Sol. found (all assignments made)... 353.43 c Sol. found (all assignments made)... 353.45 c Sol. found (all assignments made)... 353.47 c Sol. found (all assignments made)... 353.47 c Sol. found (all assignments made)... 353.47 c Sol. found (all assignments made)... 353.47 c Sol. found (all assignments made)... 353.56 c Sol. found (all assignments made)... 353.56 c Sol. found (all assignments made)... 353.59 c Sol. found (all assignments made)... 353.90 c Sol. found (all assignments made)... 353.90 c Sol. found (all assignments made)... 353.93 c Sol. found (all assignments made)... 353.94 c Sol. found (all assignments made)... 356.40 c Sol. found (all assignments made)... 356.66 c Sol. found (all assignments made)... 356.84 c Sol. found (all assignments made)... 356.86 c Sol. found (all assignments made)... 356.99 c Sol. found (all assignments made)... 357.12 c Sol. found (all assignments made)... 358.83 c Sol. found (all assignments made)... 358.87 c Sol. found (all assignments made)... 359.66 c Sol. found (all assignments made)... 359.66 c Sol. found (all assignments made)... 359.75 c Sol. found (all assignments made)... 359.75 c Sol. found (all assignments made)... 360.00 c Sol. found (all assignments made)... 361.77 c Sol. found (all assignments made)... 361.84 c Sol. found (all assignments made)... 361.84 c Sol. found (all assignments made)... 361.89 c Sol. found (all assignments made)... 362.45 c Sol. found (all assignments made)... 362.59 c Sol. found (all assignments made)... 362.59 c Sol. found (all assignments made)... 362.61 c Sol. found (all assignments made)... 362.68 c Sol. found (all assignments made)... 362.78 c Sol. found (all assignments made)... 362.78 c Sol. found (all assignments made)... 362.78 c Sol. found (all assignments made)... 362.80 c Sol. found (all assignments made)... 363.51 c Sol. found (all assignments made)... 363.66 c Sol. found (all assignments made)... 363.66 c Sol. found (all assignments made)... 363.82 c Sol. found (all assignments made)... 363.82 c Sol. found (all assignments made)... 363.93 c Sol. found (all assignments made)... 363.93 c Sol. found (all assignments made)... 363.93 c Sol. found (all assignments made)... 363.93 c Sol. found (all assignments made)... 363.97 c Sol. found (all assignments made)... 363.97 c Sol. found (all assignments made)... 363.99 c Sol. found (all assignments made)... 364.63 c Sol. found (all assignments made)... 364.71 c Sol. found (all assignments made)... 365.53 c Sol. found (all assignments made)... 365.81 c Sol. found (all assignments made)... 365.81 c Sol. found (all assignments made)... 365.81 c Sol. found (all assignments made)... 365.82 c Sol. found (all assignments made)... 365.88 c Sol. found (all assignments made)... 367.32 c Sol. found (all assignments made)... 367.61 c Sol. found (all assignments made)... 370.90 c Restart #47 #Var: 88 LB: 774 @ 370.8 376.19 c Sol. found (all assignments made)... 376.22 c Sol. found (all assignments made)... 377.24 c Sol. found (all assignments made)... 377.63 c Sol. found (all assignments made)... 380.64 c Sol. found (all assignments made)... 381.02 c Sol. found (all assignments made)... 381.02 c Sol. found (all assignments made)... 381.53 c Sol. found (all assignments made)... 382.04 c Sol. found (all assignments made)... 382.61 c Sol. found (all assignments made)... 382.66 c Sol. found (all assignments made)... 382.73 c Sol. found (all assignments made)... 383.04 c Sol. found (all assignments made)... 383.14 c Sol. found (all assignments made)... 383.20 c Sol. found (all assignments made)... 383.36 c Sol. found (all assignments made)... 383.42 c Sol. found (all assignments made)... 387.74 c Sol. found (all assignments made)... 387.84 c Sol. found (all assignments made)... 388.09 c Sol. found (all assignments made)... 388.22 c Sol. found (all assignments made)... 388.27 c Sol. found (all assignments made)... 388.64 c Sol. found (all assignments made)... 392.26 c Restart #48 #Var: 88 LB: 774 @ 392.15 395.05 c Sol. found (all assignments made)... 395.31 c Sol. found (all assignments made)... 395.36 c Sol. found (all assignments made)... 395.65 c Sol. found (all assignments made)... 395.74 c Sol. found (all assignments made)... 395.94 c Sol. found (all assignments made)... 396.32 c Sol. found (all assignments made)... 396.43 c Sol. found (all assignments made)... 396.63 c Sol. found (all assignments made)... 396.71 c Sol. found (all assignments made)... 396.83 c Sol. found (all assignments made)... 396.86 c Sol. found (all assignments made)... 397.39 c Sol. found (all assignments made)... 397.49 c Sol. found (all assignments made)... 397.65 c Sol. found (all assignments made)... 397.71 c Sol. found (all assignments made)... 397.77 c Sol. found (all assignments made)... 397.86 c Sol. found (all assignments made)... 397.94 c Sol. found (all assignments made)... 398.03 c Sol. found (all assignments made)... 398.37 c Sol. found (all assignments made)... 398.67 c Sol. found (all assignments made)... 398.97 c Sol. found (all assignments made)... 399.19 c Sol. found (all assignments made)... 399.25 c Sol. found (all assignments made)... 399.63 c Sol. found (all assignments made)... 399.76 c Sol. found (all assignments made)... 399.81 c Sol. found (all assignments made)... 400.23 c Sol. found (all assignments made)... 401.25 c Sol. found (all assignments made)... 405.33 c Sol. found (all assignments made)... 405.36 c Sol. found (all assignments made)... 405.38 c Sol. found (all assignments made)... 405.41 c Sol. found (all assignments made)... 405.44 c Sol. found (all assignments made)... 405.47 c Sol. found (all assignments made)... 408.78 c Restart #49 #Var: 88 LB: 774 @ 408.67 413.63 c Sol. found (all assignments made)... 414.04 c Sol. found (all assignments made)... 414.05 c Sol. found (all assignments made)... 414.14 c Sol. found (all assignments made)... 414.14 c Sol. found (all assignments made)... 414.15 c Sol. found (all assignments made)... 414.15 c Sol. found (all assignments made)... 414.41 c Sol. found (all assignments made)... 416.02 c Sol. found (all assignments made)... 416.23 c Sol. found (all assignments made)... 416.25 c Sol. found (all assignments made)... 416.27 c Sol. found (all assignments made)... 416.41 c Sol. found (all assignments made)... 416.93 c Sol. found (all assignments made)... 417.23 c Sol. found (all assignments made)... 417.68 c Sol. found (all assignments made)... 417.73 c Sol. found (all assignments made)... 417.86 c Sol. found (all assignments made)... 418.07 c Sol. found (all assignments made)... 418.08 c Sol. found (all assignments made)... 418.15 c Sol. found (all assignments made)... 418.19 c Sol. found (all assignments made)... 418.37 c Sol. found (all assignments made)... 418.47 c Sol. found (all assignments made)... 418.90 c Sol. found (all assignments made)... 419.23 c Sol. found (all assignments made)... 419.32 c Sol. found (all assignments made)... 419.38 c Sol. found (all assignments made)... 419.54 c Sol. found (all assignments made)... 419.60 c Sol. found (all assignments made)... 419.73 c Sol. found (all assignments made)... 420.17 c Sol. found (all assignments made)... 420.20 c Sol. found (all assignments made)... 420.20 c Sol. found (all assignments made)... 420.21 c Sol. found (all assignments made)... 420.27 c Sol. found (all assignments made)... 420.28 c Sol. found (all assignments made)... 420.28 c Sol. found (all assignments made)... 420.43 c Sol. found (all assignments made)... 420.59 c Sol. found (all assignments made)... 421.17 c Sol. found (all assignments made)... 421.24 c Sol. found (all assignments made)... 421.45 c Sol. found (all assignments made)... 421.88 c Sol. found (all assignments made)... 422.11 c Sol. found (all assignments made)... 422.86 c Sol. found (all assignments made)... 423.44 c Sol. found (all assignments made)... 423.98 c Sol. found (all assignments made)... 424.48 c Sol. found (all assignments made)... 424.71 c Sol. found (all assignments made)... 424.80 c Sol. found (all assignments made)... 428.88 c Restart #50 #Var: 88 LB: 774 @ 428.76 432.15 c Sol. found (all assignments made)... 432.19 c Sol. found (all assignments made)... 432.19 c Sol. found (all assignments made)... 432.23 c Sol. found (all assignments made)... 432.23 c Sol. found (all assignments made)... 432.23 c Sol. found (all assignments made)... 432.23 c Sol. found (all assignments made)... 432.32 c Sol. found (all assignments made)... 432.32 c Sol. found (all assignments made)... 433.14 c Sol. found (all assignments made)... 433.14 c Sol. found (all assignments made)... 434.01 c Sol. found (all assignments made)... 434.13 c Sol. found (all assignments made)... 434.13 c Sol. found (all assignments made)... 434.13 c Sol. found (all assignments made)... 434.13 c Sol. found (all assignments made)... 444.02 c Sol. found (all assignments made)... 444.30 c Sol. found (all assignments made)... 444.35 c Sol. found (all assignments made)... 444.38 c Sol. found (all assignments made)... 444.76 c Sol. found (all assignments made)... 448.68 c Restart #51 #Var: 88 LB: 774 @ 448.56 456.56 c Sol. found (all assignments made)... 456.91 c Sol. found (all assignments made)... 456.93 c Sol. found (all assignments made)... 461.51 c Sol. found (all assignments made)... 461.57 c Sol. found (all assignments made)... 461.62 c Sol. found (all assignments made)... 461.78 c Sol. found (all assignments made)... 463.42 c Sol. found (all assignments made)... 463.64 c Sol. found (all assignments made)... 463.65 c Sol. found (all assignments made)... 463.78 c Sol. found (all assignments made)... 463.78 c Sol. found (all assignments made)... 463.78 c Sol. found (all assignments made)... 463.78 c Sol. found (all assignments made)... 464.61 c Sol. found (all assignments made)... 476.30 c Sol. found (all assignments made)... 481.90 c Restart #52 #Var: 88 LB: 774 @ 481.77 494.87 c Sol. found (all assignments made)... 496.29 c Sol. found (all assignments made)... 501.73 c Sol. found (all assignments made)... 501.79 c Sol. found (all assignments made)... 502.40 c Sol. found (all assignments made)... 503.36 c Sol. found (all assignments made)... 503.56 c Sol. found (all assignments made)... 503.92 c Sol. found (all assignments made)... 504.00 c Sol. found (all assignments made)... 504.18 c Sol. found (all assignments made)... 509.36 c Restart #53 #Var: 88 LB: 774 @ 509.22 513.32 c Sol. found (all assignments made)... 514.47 c Sol. found (all assignments made)... 514.73 c Sol. found (all assignments made)... 516.30 c Sol. found (all assignments made)... 516.31 c Sol. found (all assignments made)... 516.52 c Sol. found (all assignments made)... 516.56 c Sol. found (all assignments made)... 519.67 c Sol. found (all assignments made)... 519.96 c Sol. found (all assignments made)... 519.97 c Sol. found (all assignments made)... 519.97 c Sol. found (all assignments made)... 520.85 c Sol. found (all assignments made)... 520.91 c Sol. found (all assignments made)... 520.91 c Sol. found (all assignments made)... 520.96 c Sol. found (all assignments made)... 522.27 c Sol. found (all assignments made)... 522.36 c Sol. found (all assignments made)... 522.40 c Sol. found (all assignments made)... 522.41 c Sol. found (all assignments made)... 522.41 c Sol. found (all assignments made)... 523.31 c Sol. found (all assignments made)... 523.37 c Sol. found (all assignments made)... 523.80 c Sol. found (all assignments made)... 528.50 c Restart #54 #Var: 88 LB: 774 @ 528.36 532.28 c Sol. found (all assignments made)... 533.23 c Sol. found (all assignments made)... 533.29 c Sol. found (all assignments made)... 533.30 c Sol. found (all assignments made)... 533.73 c Sol. found (all assignments made)... 535.05 c Sol. found (all assignments made)... 535.12 c Sol. found (all assignments made)... 536.27 c Sol. found (all assignments made)... 538.28 c Sol. found (all assignments made)... 538.32 c Sol. found (all assignments made)... 538.36 c Sol. found (all assignments made)... 538.37 c Sol. found (all assignments made)... 539.03 c Sol. found (all assignments made)... 539.15 c Sol. found (all assignments made)... 540.30 c Sol. found (all assignments made)... 540.30 c Sol. found (all assignments made)... 540.41 c Sol. found (all assignments made)... 540.42 c Sol. found (all assignments made)... 540.43 c Sol. found (all assignments made)... 542.50 c Sol. found (all assignments made)... 542.73 c Sol. found (all assignments made)... 542.75 c Sol. found (all assignments made)... 543.00 c Sol. found (all assignments made)... 543.00 c Sol. found (all assignments made)... 543.96 c Sol. found (all assignments made)... 544.73 c Sol. found (all assignments made)... 547.10 c Sol. found (all assignments made)... 547.13 c Sol. found (all assignments made)... 547.24 c Sol. found (all assignments made)... 550.78 c Restart #55 #Var: 88 LB: 774 @ 550.63 556.22 c Sol. found (all assignments made)... 556.38 c Sol. found (all assignments made)... 556.61 c Sol. found (all assignments made)... 556.67 c Sol. found (all assignments made)... 556.67 c Sol. found (all assignments made)... 557.47 c Sol. found (all assignments made)... 557.47 c Sol. found (all assignments made)... 557.56 c Sol. found (all assignments made)... 558.80 c Sol. found (all assignments made)... 560.80 c Sol. found (all assignments made)... 565.44 c Sol. found (all assignments made)... 565.67 c Sol. found (all assignments made)... 565.67 c Sol. found (all assignments made)... 566.86 c Sol. found (all assignments made)... 568.38 c Sol. found (all assignments made)... 569.04 c Sol. found (all assignments made)... 575.10 c Restart #56 #Var: 88 LB: 774 @ 574.95 580.43 c Sol. found (all assignments made)... 586.20 c Sol. found (all assignments made)... 586.20 o 1120 586.20 c NEW SOLUTION FOUND: 1120 @ 586.05 590.21 c Sol. found (all assignments made)... 592.97 c Sol. found (all assignments made)... 592.97 c Sol. found (all assignments made)... 595.12 c Sol. found (all assignments made)... 595.49 c Sol. found (all assignments made)... 595.49 c Sol. found (all assignments made)... 595.51 c Sol. found (all assignments made)... 595.51 c Sol. found (all assignments made)... 603.42 c Sol. found (all assignments made)... 604.07 c Sol. found (all assignments made)... 604.64 c Sol. found (all assignments made)... 604.89 c Sol. found (all assignments made)... 604.89 c Sol. found (all assignments made)... 604.90 c Sol. found (all assignments made)... 605.13 c Sol. found (all assignments made)... 608.28 c Restart #57 #Var: 88 LB: 774 @ 608.12 618.63 c Sol. found (all assignments made)... 618.63 c Sol. found (all assignments made)... 618.78 c Sol. found (all assignments made)... 618.78 c Sol. found (all assignments made)... 620.10 c Sol. found (all assignments made)... 620.27 c Sol. found (all assignments made)... 621.47 c Sol. found (all assignments made)... 621.47 c Sol. found (all assignments made)... 621.48 c Sol. found (all assignments made)... 621.48 c Sol. found (all assignments made)... 621.79 c Sol. found (all assignments made)... 624.12 c Sol. found (all assignments made)... 624.12 c Sol. found (all assignments made)... 631.31 c Sol. found (all assignments made)... 631.53 c Sol. found (all assignments made)... 631.78 c Sol. found (all assignments made)... 631.91 c Sol. found (all assignments made)... 631.93 c Sol. found (all assignments made)... 632.13 c Sol. found (all assignments made)... 632.16 c Sol. found (all assignments made)... 632.17 c Sol. found (all assignments made)... 632.63 c Sol. found (all assignments made)... 632.91 c Sol. found (all assignments made)... 632.94 c Sol. found (all assignments made)... 632.98 c Sol. found (all assignments made)... 632.98 c Sol. found (all assignments made)... 633.04 c Sol. found (all assignments made)... 633.34 c Sol. found (all assignments made)... 633.34 c Sol. found (all assignments made)... 633.46 c Sol. found (all assignments made)... 636.32 c Sol. found (all assignments made)... 636.72 c Sol. found (all assignments made)... 637.15 c Sol. found (all assignments made)... 642.78 c Restart #58 #Var: 88 LB: 774 @ 642.61 647.45 c Sol. found (all assignments made)... 647.96 c Sol. found (all assignments made)... 647.98 c Sol. found (all assignments made)... 650.43 c Sol. found (all assignments made)... 650.65 c Sol. found (all assignments made)... 650.66 c Sol. found (all assignments made)... 650.98 c Sol. found (all assignments made)... 651.50 c Sol. found (all assignments made)... 653.58 c Sol. found (all assignments made)... 657.38 c Sol. found (all assignments made)... 658.05 c Sol. found (all assignments made)... 661.98 c Restart #59 #Var: 88 LB: 774 @ 661.81 666.99 c Sol. found (all assignments made)... 667.00 c Sol. found (all assignments made)... 667.00 c Sol. found (all assignments made)... 669.38 c Sol. found (all assignments made)... 669.51 c Sol. found (all assignments made)... 669.62 c Sol. found (all assignments made)... 669.63 c Sol. found (all assignments made)... 669.63 c Sol. found (all assignments made)... 670.43 c Sol. found (all assignments made)... 670.51 c Sol. found (all assignments made)... 672.51 c Sol. found (all assignments made)... 672.63 c Sol. found (all assignments made)... 672.63 c Sol. found (all assignments made)... 696.12 c Sol. found (all assignments made)... 704.39 c Sol. found (all assignments made)... 704.41 c Sol. found (all assignments made)... 706.22 c Restart #60 #Var: 86 LB: 799 @ 706.03 732.28 c Restart #61 #Var: 86 LB: 799 @ 732.09 733.67 c Sol. found (all assignments made)... 733.73 c Sol. found (all assignments made)... 734.83 c Sol. found (all assignments made)... 735.37 c Sol. found (all assignments made)... 744.30 c Sol. found (all assignments made)... 746.32 c Sol. found (all assignments made)... 746.33 c Sol. found (all assignments made)... 746.33 c Sol. found (all assignments made)... 746.40 c Sol. found (all assignments made)... 746.42 c Sol. found (all assignments made)... 746.42 c Sol. found (all assignments made)... 746.75 c Sol. found (all assignments made)... 746.77 c Sol. found (all assignments made)... 747.20 c Sol. found (all assignments made)... 748.42 c Sol. found (all assignments made)... 748.54 c Sol. found (all assignments made)... 749.56 c Sol. found (all assignments made)... 749.61 c Sol. found (all assignments made)... 749.68 c Sol. found (all assignments made)... 750.03 c Sol. found (all assignments made)... 750.05 c Sol. found (all assignments made)... 750.16 c Sol. found (all assignments made)... 750.21 c Sol. found (all assignments made)... 753.12 c Sol. found (all assignments made)... 753.12 c Sol. found (all assignments made)... 757.56 c Restart #62 #Var: 86 LB: 799 @ 757.36 788.94 c Sol. found (all assignments made)... 790.31 c Sol. found (all assignments made)... 793.40 c Sol. found (all assignments made)... 795.52 c Sol. found (all assignments made)... 798.75 c Restart #63 #Var: 86 LB: 799 @ 798.54 803.53 c Sol. found (all assignments made)... 803.58 c Sol. found (all assignments made)... 804.59 c Sol. found (all assignments made)... 811.45 c Sol. found (all assignments made)... 814.48 c Sol. found (all assignments made)... 814.48 c Sol. found (all assignments made)... 814.51 c Sol. found (all assignments made)... 814.52 c Sol. found (all assignments made)... 819.21 c Restart #64 #Var: 86 LB: 799 @ 819 823.67 c Sol. found (all assignments made)... 826.42 c Sol. found (all assignments made)... 826.42 c Sol. found (all assignments made)... 833.37 c Sol. found (all assignments made)... 836.16 c Sol. found (all assignments made)... 836.69 c Sol. found (all assignments made)... 836.87 c Sol. found (all assignments made)... 837.78 c Sol. found (all assignments made)... 838.35 c Sol. found (all assignments made)... 838.60 c Sol. found (all assignments made)... 838.60 c Sol. found (all assignments made)... 838.66 c Sol. found (all assignments made)... 839.28 c Sol. found (all assignments made)... 839.68 c Sol. found (all assignments made)... 840.12 c Sol. found (all assignments made)... 840.95 c Sol. found (all assignments made)... 841.07 c Sol. found (all assignments made)... 841.39 c Sol. found (all assignments made)... 841.40 c Sol. found (all assignments made)... 841.40 c Sol. found (all assignments made)... 842.13 c Sol. found (all assignments made)... 843.00 c Sol. found (all assignments made)... 845.45 c Sol. found (all assignments made)... 848.07 c Restart #65 #Var: 86 LB: 799 @ 847.85 852.63 c Sol. found (all assignments made)... 856.93 c Sol. found (all assignments made)... 856.97 c Sol. found (all assignments made)... 856.98 c Sol. found (all assignments made)... 858.18 c Sol. found (all assignments made)... 858.82 c Sol. found (all assignments made)... 859.07 c Sol. found (all assignments made)... 859.48 c Sol. found (all assignments made)... 860.14 c Sol. found (all assignments made)... 860.15 c Sol. found (all assignments made)... 860.61 c Sol. found (all assignments made)... 860.61 c Sol. found (all assignments made)... 862.76 c Sol. found (all assignments made)... 865.11 c Sol. found (all assignments made)... 867.02 c Sol. found (all assignments made)... 869.29 c Sol. found (all assignments made)... 869.68 c Sol. found (all assignments made)... 869.75 c Sol. found (all assignments made)... 869.75 c Sol. found (all assignments made)... 869.83 c Sol. found (all assignments made)... 869.83 c Sol. found (all assignments made)... 872.45 c Restart #66 #Var: 86 LB: 799 @ 872.22 875.93 c Sol. found (all assignments made)... 876.33 c Sol. found (all assignments made)... 877.36 c Sol. found (all assignments made)... 879.13 c Sol. found (all assignments made)... 879.13 c Sol. found (all assignments made)... 879.32 c Sol. found (all assignments made)... 880.79 c Sol. found (all assignments made)... 883.25 c Sol. found (all assignments made)... 886.37 c Sol. found (all assignments made)... 886.67 c Sol. found (all assignments made)... 886.80 c Sol. found (all assignments made)... 886.92 c Sol. found (all assignments made)... 888.55 c Sol. found (all assignments made)... 888.55 c Sol. found (all assignments made)... 888.58 c Sol. found (all assignments made)... 888.58 c Sol. found (all assignments made)... 889.16 c Sol. found (all assignments made)... 889.16 c Sol. found (all assignments made)... 891.13 c Sol. found (all assignments made)... 891.31 c Sol. found (all assignments made)... 891.31 c Sol. found (all assignments made)... 891.33 c Sol. found (all assignments made)... 891.34 c Sol. found (all assignments made)... 891.47 c Sol. found (all assignments made)... 891.47 c Sol. found (all assignments made)... 892.52 c Sol. found (all assignments made)... 893.47 c Sol. found (all assignments made)... 893.68 c Sol. found (all assignments made)... 894.76 c Sol. found (all assignments made)... 895.07 c Sol. found (all assignments made)... 897.73 c Sol. found (all assignments made)... 898.12 c Sol. found (all assignments made)... 898.17 c Sol. found (all assignments made)... 898.52 c Sol. found (all assignments made)... 898.52 c Sol. found (all assignments made)... 898.95 c Sol. found (all assignments made)... 898.95 c Sol. found (all assignments made)... 900.49 c Sol. found (all assignments made)... 900.49 c Sol. found (all assignments made)... 904.77 c Restart #67 #Var: 86 LB: 799 @ 904.54 929.86 c Sol. found (all assignments made)... 930.66 c Sol. found (all assignments made)... 930.83 c Sol. found (all assignments made)... 931.10 c Sol. found (all assignments made)... 932.13 c Sol. found (all assignments made)... 932.65 c Sol. found (all assignments made)... 939.17 c Restart #68 #Var: 86 LB: 799 @ 938.93 943.81 c Sol. found (all assignments made)... 944.88 c Sol. found (all assignments made)... 944.89 c Sol. found (all assignments made)... 944.92 c Sol. found (all assignments made)... 944.92 c Sol. found (all assignments made)... 944.94 c Sol. found (all assignments made)... 944.94 c Sol. found (all assignments made)... 947.49 c Sol. found (all assignments made)... 947.55 c Sol. found (all assignments made)... 948.96 c Sol. found (all assignments made)... 949.53 c Sol. found (all assignments made)... 954.26 c Sol. found (all assignments made)... 954.30 c Sol. found (all assignments made)... 956.51 c Sol. found (all assignments made)... 959.03 c Sol. found (all assignments made)... 959.04 c Sol. found (all assignments made)... 959.13 c Sol. found (all assignments made)... 959.46 c Sol. found (all assignments made)... 960.28 c Sol. found (all assignments made)... 960.28 c Sol. found (all assignments made)... 961.36 c Sol. found (all assignments made)... 961.38 c Sol. found (all assignments made)... 961.91 c Sol. found (all assignments made)... 963.42 c Sol. found (all assignments made)... 964.73 c Sol. found (all assignments made)... 966.04 c Sol. found (all assignments made)... 976.32 c Sol. found (all assignments made)... 976.33 c Sol. found (all assignments made)... 976.37 c Sol. found (all assignments made)... 976.38 c Sol. found (all assignments made)... 978.31 c Restart #69 #Var: 85 LB: 799 @ 978.06 984.88 c Sol. found (all assignments made)... 985.03 c Sol. found (all assignments made)... 985.27 c Sol. found (all assignments made)... 985.36 c Sol. found (all assignments made)... 985.36 c Sol. found (all assignments made)... 985.43 c Sol. found (all assignments made)... 986.20 c Sol. found (all assignments made)... 986.25 c Sol. found (all assignments made)... 986.25 c Sol. found (all assignments made)... 986.95 c Sol. found (all assignments made)... 986.95 c Sol. found (all assignments made)... 987.65 c Sol. found (all assignments made)... 987.82 c Sol. found (all assignments made)... 987.84 c Sol. found (all assignments made)... 987.84 c Sol. found (all assignments made)... 987.97 c Sol. found (all assignments made)... 987.98 c Sol. found (all assignments made)... 988.02 c Sol. found (all assignments made)... 988.03 c Sol. found (all assignments made)... 988.14 c Sol. found (all assignments made)... 988.22 c Sol. found (all assignments made)... 988.22 c Sol. found (all assignments made)... 988.22 c Sol. found (all assignments made)... 988.63 c Sol. found (all assignments made)... 989.21 c Sol. found (all assignments made)... 989.68 c Sol. found (all assignments made)... 990.57 c Sol. found (all assignments made)... 990.69 c Sol. found (all assignments made)... 990.79 c Sol. found (all assignments made)... 990.79 c Sol. found (all assignments made)... 996.34 c Sol. found (all assignments made)... 1002.34 c Restart #70 #Var: 85 LB: 799 @ 1002.1 1027.97 c Sol. found (all assignments made)... 1031.95 c Sol. found (all assignments made)... 1034.69 c Sol. found (all assignments made)... 1034.83 c Sol. found (all assignments made)... 1036.53 c Sol. found (all assignments made)... 1040.99 c Sol. found (all assignments made)... 1041.82 c Sol. found (all assignments made)... 1042.44 c Sol. found (all assignments made)... 1042.53 c Sol. found (all assignments made)... 1043.06 c Sol. found (all assignments made)... 1045.34 c Sol. found (all assignments made)... 1045.74 c Sol. found (all assignments made)... 1045.91 c Sol. found (all assignments made)... 1045.91 c Sol. found (all assignments made)... 1046.79 c Sol. found (all assignments made)... 1048.16 c Sol. found (all assignments made)... 1055.83 c Sol. found (all assignments made)... 1056.20 c Restart #71 #Var: 82 LB: 804 @ 1055.9 1056.70 c Sol. found (all assignments made)... 1056.77 c Sol. found (all assignments made)... 1057.39 c Sol. found (all assignments made)... 1057.44 c Sol. found (all assignments made)... 1057.44 c Sol. found (all assignments made)... 1058.08 c Sol. found (all assignments made)... 1058.58 c Sol. found (all assignments made)... 1058.59 c Sol. found (all assignments made)... 1059.57 c Sol. found (all assignments made)... 1059.59 c Sol. found (all assignments made)... 1060.12 c Sol. found (all assignments made)... 1060.63 c Sol. found (all assignments made)... 1061.33 c Sol. found (all assignments made)... 1061.36 c Sol. found (all assignments made)... 1061.36 c Sol. found (all assignments made)... 1061.55 c Sol. found (all assignments made)... 1061.86 c Sol. found (all assignments made)... 1067.53 c Sol. found (all assignments made)... 1070.78 c Sol. found (all assignments made)... 1071.72 c Sol. found (all assignments made)... 1071.72 c Sol. found (all assignments made)... 1074.34 c Restart #72 #Var: 82 LB: 804 @ 1074.1 1074.86 c Sol. found (all assignments made)... 1074.97 c Sol. found (all assignments made)... 1077.10 c Sol. found (all assignments made)... 1077.38 c Sol. found (all assignments made)... 1077.51 c Sol. found (all assignments made)... 1078.28 c Sol. found (all assignments made)... 1078.51 c Sol. found (all assignments made)... 1078.76 c Sol. found (all assignments made)... 1078.83 c Sol. found (all assignments made)... 1079.18 c Sol. found (all assignments made)... 1085.46 c Sol. found (all assignments made)... 1090.35 c Sol. found (all assignments made)... 1099.09 c Sol. found (all assignments made)... 1100.63 c Sol. found (all assignments made)... 1100.63 c Sol. found (all assignments made)... 1110.57 c Restart #73 #Var: 72 LB: 881 @ 1110.3 1110.86 c Sol. found (all assignments made)... 1113.42 c Sol. found (all assignments made)... 1113.54 c Sol. found (all assignments made)... 1114.01 c Sol. found (all assignments made)... 1118.00 c Sol. found (all assignments made)... 1118.35 c Sol. found (all assignments made)... 1118.54 c Sol. found (all assignments made)... 1126.71 s OPTIMUM FOUND 1126.71 c Cost: 1120 1126.71 v x1 x2 -x3 -x4 -x5 -x8 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 1126.71 v -x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 1126.71 v -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 1126.71 v x86 -x87 -x88 -x89 -x6 x7 -x9 -x10 1126.71 c Exit Code: 30 1126.71 c Total time: 1126.4 s
OK 1120
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/node39/watcher-40116-1149369458 -o ROOT/results/node39/solver-40116-1149369458 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40116-1149369458/instance-40116-1149369458.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1426560/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=4664 CPUtime=0 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 167 0 0 0 0 0 0 0 19 0 1 0 202612094 4775936 148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11062626 0 0 4096 0 0 0 0 17 1 0 0 /proc/20098/statm: 1166 151 112 55 0 47 0 [startup+10.0021 s] /proc/loadavg: 0.94 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1389712/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=41460 CPUtime=9.97 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 34066 0 0 0 954 43 0 0 25 0 1 0 202612094 42455040 9656 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 10365 9656 430 55 0 9257 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 41460 [startup+20.009 s] /proc/loadavg: 0.95 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1361560/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=70704 CPUtime=19.98 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 59463 0 0 0 1918 80 0 0 25 0 1 0 202612094 72400896 16695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 17676 16695 431 55 0 16568 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 70704 [startup+30.0149 s] /proc/loadavg: 0.95 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1334744/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=98940 CPUtime=29.98 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 84466 0 0 0 2883 115 0 0 25 0 1 0 202612094 101314560 23375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11527749 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 24735 23375 431 55 0 23627 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 98940 [startup+40.0208 s] /proc/loadavg: 0.96 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1310936/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=124476 CPUtime=39.99 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 105850 0 0 0 3854 145 0 0 25 0 1 0 202612094 127463424 29307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 31119 29307 431 55 0 30011 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 124476 [startup+50.0267 s] /proc/loadavg: 0.97 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1293720/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=142348 CPUtime=49.99 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 122557 0 0 0 4828 171 0 0 25 0 1 0 202612094 145764352 33633 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 35627 33634 431 55 0 34519 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 142348 [startup+60.0327 s] /proc/loadavg: 0.97 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1272536/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=165584 CPUtime=59.99 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 142510 0 0 0 5800 199 0 0 25 0 1 0 202612094 169558016 38907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 41396 38907 431 55 0 40288 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 165584 [startup+70.0386 s] /proc/loadavg: 0.97 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1251608/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=186836 CPUtime=70 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 162542 0 0 0 6775 225 0 0 25 0 1 0 202612094 191320064 44124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 46709 44124 431 55 0 45601 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 186836 [startup+80.0445 s] /proc/loadavg: 0.98 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1230872/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=209388 CPUtime=80 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 182196 0 0 0 7748 252 0 0 25 0 1 0 202612094 214413312 49311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 52347 49311 431 55 0 51239 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 209388 [startup+90.0505 s] /proc/loadavg: 0.98 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1209816/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=232172 CPUtime=90.01 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 202166 0 0 0 8722 279 0 0 25 0 1 0 202612094 237744128 54564 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 58043 54564 431 55 0 56935 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 232172 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1189144/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=252660 CPUtime=100 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 222320 0 0 0 9690 310 0 0 25 0 1 0 202612094 258723840 59723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134643803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 63165 59723 431 55 0 62057 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 252660 [startup+110.062 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1169560/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=273728 CPUtime=110.01 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 241847 0 0 0 10664 337 0 0 25 0 1 0 202612094 280297472 64614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 68432 64614 431 55 0 67324 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 273728 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1151896/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=291848 CPUtime=120.02 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 259486 0 0 0 11642 360 0 0 25 0 1 0 202612094 298852352 69013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 72962 69013 431 55 0 71854 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 291848 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1134104/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=311324 CPUtime=130.02 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 276933 0 0 0 12618 384 0 0 25 0 1 0 202612094 318795776 73447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 77831 73447 431 55 0 76723 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 311324 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1114584/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=333036 CPUtime=140.03 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 295716 0 0 0 13594 409 0 0 25 0 1 0 202612094 341028864 78309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 83259 78309 431 55 0 82151 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 333036 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1100952/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=346124 CPUtime=150.03 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 309040 0 0 0 14573 430 0 0 25 0 1 0 202612094 354430976 81716 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 86531 81716 431 55 0 85423 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 346124 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1084888/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=362000 CPUtime=160.03 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 325106 0 0 0 15550 453 0 0 25 0 1 0 202612094 370688000 85725 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 90500 85725 431 55 0 89392 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 362000 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1068952/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=379496 CPUtime=170.03 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 341061 0 0 0 16529 474 0 0 25 0 1 0 202612094 388603904 89691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 94874 89691 431 55 0 93766 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 379496 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1054552/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=394480 CPUtime=180.04 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 355190 0 0 0 17510 494 0 0 25 0 1 0 202612094 403947520 93296 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 98620 93296 431 55 0 97512 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 394480 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1035352/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=415596 CPUtime=190.04 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 373649 0 0 0 18487 517 0 0 25 0 1 0 202612094 425570304 98095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 103899 98095 431 55 0 102791 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 415596 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1015448/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=436324 CPUtime=200.04 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 394420 0 0 0 19456 548 0 0 25 0 1 0 202612094 446795776 103056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 109081 103056 431 55 0 107973 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 436324 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=1001944/2055920 swapFree=4180884/4192956 ################ # More data... # ################ /proc/20098/statm: 354035 336402 431 55 0 352927 0 Current children cumulated CPU time (s) 910.29 Current children cumulated vsize (Kb) 1416140 [startup+920.542 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=74200/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1421844 CPUtime=920.29 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1309077 0 0 0 90176 1853 0 0 25 0 1 0 202612094 1455968256 337837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534119 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 355461 337837 431 55 0 354353 0 Current children cumulated CPU time (s) 920.29 Current children cumulated vsize (Kb) 1421844 [startup+930.547 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=57112/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1438336 CPUtime=930.3 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1325941 0 0 0 91148 1882 0 0 25 0 1 0 202612094 1472856064 342113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11527749 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 359584 342113 431 55 0 358476 0 Current children cumulated CPU time (s) 930.3 Current children cumulated vsize (Kb) 1438336 [startup+940.553 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=44888/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1450456 CPUtime=940.3 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1338515 0 0 0 92129 1901 0 0 25 0 1 0 202612094 1485266944 345156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 362614 345156 431 55 0 361506 0 Current children cumulated CPU time (s) 940.3 Current children cumulated vsize (Kb) 1450456 [startup+950.559 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=34008/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1462704 CPUtime=950.3 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1349174 0 0 0 93117 1913 0 0 25 0 1 0 202612094 1497808896 347861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11527749 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 365676 347861 431 55 0 364568 0 Current children cumulated CPU time (s) 950.3 Current children cumulated vsize (Kb) 1462704 [startup+960.564 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=22232/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1473916 CPUtime=960.31 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1360803 0 0 0 94097 1934 0 0 25 0 1 0 202612094 1509289984 350798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 368479 350798 431 55 0 367371 0 Current children cumulated CPU time (s) 960.31 Current children cumulated vsize (Kb) 1473916 [startup+970.57 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=16280/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1482256 CPUtime=970.31 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1369124 0 0 0 95086 1945 0 0 25 0 1 0 202612094 1517830144 353036 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 370564 353036 431 55 0 369456 0 Current children cumulated CPU time (s) 970.31 Current children cumulated vsize (Kb) 1482256 [startup+980.576 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=15256/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1490592 CPUtime=980.31 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1377550 0 0 0 96074 1957 0 0 25 0 1 0 202612094 1526366208 355222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 372648 355222 431 55 0 371540 0 Current children cumulated CPU time (s) 980.31 Current children cumulated vsize (Kb) 1490592 [startup+990.582 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20098 /proc/meminfo: memFree=16344/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1520820 CPUtime=990.32 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1401552 0 0 0 97043 1989 0 0 25 0 1 0 202612094 1557319680 361592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 380205 361592 431 55 0 379097 0 Current children cumulated CPU time (s) 990.32 Current children cumulated vsize (Kb) 1520820 [startup+1000.59 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=15960/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1539768 CPUtime=1000.32 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1416719 0 0 0 98025 2007 0 0 25 0 1 0 202612094 1576722432 365489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 384942 365489 431 55 0 383834 0 Current children cumulated CPU time (s) 1000.32 Current children cumulated vsize (Kb) 1539768 [startup+1010.59 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=15192/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1540436 CPUtime=1010.32 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1417602 0 0 0 99024 2008 0 0 25 0 1 0 202612094 1577406464 365710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 385109 365710 431 55 0 384001 0 Current children cumulated CPU time (s) 1010.32 Current children cumulated vsize (Kb) 1540436 [startup+1020.6 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=16088/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1541072 CPUtime=1020.33 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1418261 0 0 0 100023 2010 0 0 25 0 1 0 202612094 1578057728 365877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 385268 365877 431 55 0 384160 0 Current children cumulated CPU time (s) 1020.33 Current children cumulated vsize (Kb) 1541072 [startup+1030.61 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=15896/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1549400 CPUtime=1030.33 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1425901 0 0 0 101011 2022 0 0 25 0 1 0 202612094 1586585600 367773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 387350 367773 431 55 0 386242 0 Current children cumulated CPU time (s) 1030.33 Current children cumulated vsize (Kb) 1549400 [startup+1040.61 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=16280/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1570092 CPUtime=1040.33 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1444382 0 0 0 101984 2049 0 0 25 0 1 0 202612094 1607774208 372429 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134643803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 392523 372429 431 55 0 391415 0 Current children cumulated CPU time (s) 1040.33 Current children cumulated vsize (Kb) 1570092 [startup+1050.62 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=15192/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1583076 CPUtime=1050.34 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1454470 0 0 0 102969 2065 0 0 25 0 1 0 202612094 1621069824 375067 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 395769 375067 431 55 0 394661 0 Current children cumulated CPU time (s) 1050.34 Current children cumulated vsize (Kb) 1583076 [startup+1060.62 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=15768/2055920 swapFree=4180884/4192956 [pid=20098] ppid=20096 vsize=1600532 CPUtime=1060.34 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1470292 0 0 0 103947 2087 0 0 25 0 1 0 202612094 1638944768 379006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 400133 379006 431 55 0 399025 0 Current children cumulated CPU time (s) 1060.34 Current children cumulated vsize (Kb) 1600532 [startup+1070.63 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=15512/2055920 swapFree=4180844/4192956 [pid=20098] ppid=20096 vsize=1624468 CPUtime=1070.35 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1493308 0 0 0 104915 2120 0 0 25 0 1 0 202612094 1663455232 385031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 406161 385032 431 55 0 405053 0 Current children cumulated CPU time (s) 1070.35 Current children cumulated vsize (Kb) 1624468 [startup+1080.64 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=15960/2055920 swapFree=4180844/4192956 [pid=20098] ppid=20096 vsize=1637264 CPUtime=1080.34 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1506481 0 0 0 105894 2140 0 0 25 0 1 0 202612094 1676558336 388393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 409316 388393 431 55 0 408208 0 Current children cumulated CPU time (s) 1080.34 Current children cumulated vsize (Kb) 1637264 [startup+1090.64 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=14936/2055920 swapFree=4180844/4192956 [pid=20098] ppid=20096 vsize=1650244 CPUtime=1090.35 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1518423 0 0 0 106879 2156 0 0 25 0 1 0 202612094 1689849856 391278 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 412561 391278 431 55 0 411453 0 Current children cumulated CPU time (s) 1090.35 Current children cumulated vsize (Kb) 1650244 [startup+1100.65 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=15960/2055920 swapFree=4180844/4192956 [pid=20098] ppid=20096 vsize=1661148 CPUtime=1100.36 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1528466 0 0 0 107863 2173 0 0 25 0 1 0 202612094 1701015552 393850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134643822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 415287 393850 431 55 0 414179 0 Current children cumulated CPU time (s) 1100.36 Current children cumulated vsize (Kb) 1661148 [startup+1110.66 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=15896/2055920 swapFree=4180844/4192956 [pid=20098] ppid=20096 vsize=1670212 CPUtime=1110.36 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1538281 0 0 0 108848 2188 0 0 25 0 1 0 202612094 1710297088 396225 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 417553 396225 431 55 0 416445 0 Current children cumulated CPU time (s) 1110.36 Current children cumulated vsize (Kb) 1670212 [startup+1120.66 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20100 /proc/meminfo: memFree=15384/2055920 swapFree=4180844/4192956 [pid=20098] ppid=20096 vsize=1689792 CPUtime=1120.37 /proc/20098/stat : 20098 (bsolo) R 20096 20098 20052 0 -1 0 1555081 0 0 0 109825 2212 0 0 25 0 1 0 202612094 1730347008 400292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20098/statm: 422448 400292 431 55 0 421340 0 Current children cumulated CPU time (s) 1120.37 Current children cumulated vsize (Kb) 1689792 Child status: 30 Real time (s): 1126.98 CPU time (s): 1126.69 CPU user time (s): 1104.3 CPU system time (s): 22.3916 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (Kb): 1689792
Begin job on node39 on Sat Jun 3 21:17:38 UTC 2006 FILE ID= 40116-1149369458 PBS_JOBID= 312116 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40116-1149369458/instance-40116-1149369458.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-40116-1149369458 -o ROOT/results/node39/solver-40116-1149369458 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40116-1149369458/instance-40116-1149369458.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff RANDOM SEED= 296927783 /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.213 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 : 5931.00 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.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1426768 kB Buffers: 32016 kB Cached: 526772 kB SwapCached: 3912 kB Active: 93012 kB Inactive: 474688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1426768 kB SwapTotal: 4192956 kB SwapFree: 4180884 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14836 kB Slab: 47488 kB Committed_AS: 372824 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node39 on Sat Jun 3 21:36:25 UTC 2006