Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.49 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pk1.opb |
MD5SUM | 064c172c08e0726f78b89fe587697d96 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 73896 |
Best CPU time to get the best result obtained on this benchmark | 1800.67 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50176 |
Optimality of the best value was proved | NO |
Number of variables | 985 |
Total number of constraints | 45 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 45 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 115 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2150078462 |
Number of bits of the biggest sum of numbers | 32 |
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.01 c BIG Int formula... 0.03 c Initial problem consists of 985 variables and 60 constraints. 0.04 c No problem reductions applied in OPT. instance. 0.04 c preprocess terminated. Elapsed time: 0.024 0.04 c After prepocess the problem consists of 985 variables and 60 constraints. 0.04 c Initial Lower Bound: 0 0.06 c Restart #1 #Var: 985 LB: 0 @ 0.045 0.10 c Restart #2 #Var: 985 LB: 0 @ 0.087 0.16 c Restart #3 #Var: 985 LB: 0 @ 0.149 0.23 c Restart #4 #Var: 985 LB: 0 @ 0.223 0.32 c Restart #5 #Var: 985 LB: 0 @ 0.308 0.42 c Restart #6 #Var: 985 LB: 0 @ 0.405 0.53 c Restart #7 #Var: 985 LB: 0 @ 0.517 0.65 c Restart #8 #Var: 985 LB: 0 @ 0.637 0.78 c Restart #9 #Var: 985 LB: 0 @ 0.766 0.91 c Restart #10 #Var: 985 LB: 0 @ 0.899 1.05 c Restart #11 #Var: 985 LB: 0 @ 1.04 1.20 c Restart #12 #Var: 985 LB: 0 @ 1.184 1.35 c Restart #13 #Var: 985 LB: 0 @ 1.336 1.51 c Restart #14 #Var: 985 LB: 0 @ 1.501 1.68 c Restart #15 #Var: 985 LB: 0 @ 1.668 1.87 c Restart #16 #Var: 985 LB: 0 @ 1.861 2.07 c Restart #17 #Var: 985 LB: 0 @ 2.052 2.28 c Restart #18 #Var: 985 LB: 0 @ 2.268 2.50 c Restart #19 #Var: 985 LB: 0 @ 2.483 2.74 c Restart #20 #Var: 985 LB: 0 @ 2.723 2.97 c Restart #21 #Var: 985 LB: 0 @ 2.959 3.23 c Restart #22 #Var: 985 LB: 0 @ 3.22 3.49 c Restart #23 #Var: 985 LB: 0 @ 3.478 3.78 c Restart #24 #Var: 985 LB: 0 @ 3.764 4.06 c Restart #25 #Var: 985 LB: 0 @ 4.046 4.39 c Restart #26 #Var: 985 LB: 0 @ 4.374 4.74 c Restart #27 #Var: 985 LB: 0 @ 4.722 5.13 c Restart #28 #Var: 985 LB: 0 @ 5.114 5.57 c Restart #29 #Var: 985 LB: 0 @ 5.558 6.06 c Restart #30 #Var: 985 LB: 0 @ 6.043 6.44 c Restart #31 #Var: 985 LB: 0 @ 6.417 6.84 c Restart #32 #Var: 985 LB: 0 @ 6.823 7.23 c Restart #33 #Var: 985 LB: 0 @ 7.214 7.66 c Restart #34 #Var: 985 LB: 0 @ 7.643 8.08 c Restart #35 #Var: 985 LB: 0 @ 8.056 8.53 c Restart #36 #Var: 985 LB: 0 @ 8.511 8.97 c Restart #37 #Var: 985 LB: 0 @ 8.949 9.45 c Restart #38 #Var: 985 LB: 0 @ 9.431 9.91 c Restart #39 #Var: 985 LB: 0 @ 9.893 10.42 c Restart #40 #Var: 985 LB: 0 @ 10.398 10.90 c Restart #41 #Var: 985 LB: 0 @ 10.881 11.43 c Restart #42 #Var: 985 LB: 0 @ 11.411 11.94 c Restart #43 #Var: 985 LB: 0 @ 11.919 12.50 c Restart #44 #Var: 985 LB: 0 @ 12.476 13.03 c Restart #45 #Var: 985 LB: 0 @ 13.011 13.61 c Restart #46 #Var: 985 LB: 0 @ 13.591 14.17 c Restart #47 #Var: 985 LB: 0 @ 14.149 14.78 c Restart #48 #Var: 985 LB: 0 @ 14.76 15.37 c Restart #49 #Var: 985 LB: 0 @ 15.346 16.01 c Restart #50 #Var: 985 LB: 0 @ 15.984 16.62 c Restart #51 #Var: 985 LB: 0 @ 16.594 17.28 c Restart #52 #Var: 985 LB: 0 @ 17.26 17.91 c Restart #53 #Var: 985 LB: 0 @ 17.89 18.60 c Restart #54 #Var: 985 LB: 0 @ 18.577 19.26 c Restart #55 #Var: 985 LB: 0 @ 19.235 19.97 c Restart #56 #Var: 985 LB: 0 @ 19.95 20.66 c Restart #57 #Var: 985 LB: 0 @ 20.632 21.40 c Restart #58 #Var: 985 LB: 0 @ 21.374 22.11 c Restart #59 #Var: 985 LB: 0 @ 22.082 22.88 c Restart #60 #Var: 985 LB: 0 @ 22.852 23.61 c Restart #61 #Var: 985 LB: 0 @ 23.582 24.40 c Restart #62 #Var: 985 LB: 0 @ 24.373 25.14 c Restart #63 #Var: 985 LB: 0 @ 25.117 25.95 c Restart #64 #Var: 985 LB: 0 @ 25.926 26.72 c Restart #65 #Var: 985 LB: 0 @ 26.7 27.56 c Restart #66 #Var: 985 LB: 0 @ 27.53 28.36 c Restart #67 #Var: 985 LB: 0 @ 28.334 29.21 c Restart #68 #Var: 985 LB: 0 @ 29.184 30.05 c Restart #69 #Var: 985 LB: 0 @ 30.02 30.92 c Restart #70 #Var: 985 LB: 0 @ 30.898 31.79 c Restart #71 #Var: 985 LB: 0 @ 31.761 32.69 c Restart #72 #Var: 985 LB: 0 @ 32.661 33.58 c Restart #73 #Var: 985 LB: 0 @ 33.557 34.51 c Restart #74 #Var: 985 LB: 0 @ 34.486 35.44 c Restart #75 #Var: 985 LB: 0 @ 35.414 36.40 c Restart #76 #Var: 985 LB: 0 @ 36.376 37.36 c Restart #77 #Var: 985 LB: 0 @ 37.334 38.35 c Restart #78 #Var: 985 LB: 0 @ 38.322 39.33 c Restart #79 #Var: 985 LB: 0 @ 39.301 40.35 c Restart #80 #Var: 985 LB: 0 @ 40.318 41.35 c Restart #81 #Var: 985 LB: 0 @ 41.324 42.40 c Restart #82 #Var: 985 LB: 0 @ 42.369 43.43 c Restart #83 #Var: 985 LB: 0 @ 43.398 44.50 c Restart #84 #Var: 985 LB: 0 @ 44.468 45.54 c Restart #85 #Var: 985 LB: 0 @ 45.515 46.64 c Restart #86 #Var: 985 LB: 0 @ 46.606 47.71 c Restart #87 #Var: 985 LB: 0 @ 47.678 48.83 c Restart #88 #Var: 985 LB: 0 @ 48.802 49.93 c Restart #89 #Var: 985 LB: 0 @ 49.896 51.08 c Restart #90 #Var: 985 LB: 0 @ 51.053 52.20 c Restart #91 #Var: 985 LB: 0 @ 52.174 53.38 c Restart #92 #Var: 985 LB: 0 @ 53.352 54.53 c Restart #93 #Var: 985 LB: 0 @ 54.503 55.75 c Restart #94 #Var: 985 LB: 0 @ 55.716 56.93 c Restart #95 #Var: 985 LB: 0 @ 56.896 58.16 c Restart #96 #Var: 985 LB: 0 @ 58.128 59.38 c Restart #97 #Var: 985 LB: 0 @ 59.35 60.64 c Restart #98 #Var: 985 LB: 0 @ 60.606 61.88 c Restart #99 #Var: 985 LB: 0 @ 61.847 63.15 c Restart #100 #Var: 985 LB: 0 @ 63.12 64.42 c Restart #101 #Var: 985 LB: 0 @ 64.388 65.71 c Restart #102 #Var: 985 LB: 0 @ 65.678 67.00 c Restart #103 #Var: 985 LB: 0 @ 66.967 68.32 c Restart #104 #Var: 985 LB: 0 @ 68.288 69.63 c Restart #105 #Var: 985 LB: 0 @ 69.598 70.98 c Restart #106 #Var: 985 LB: 0 @ 70.945 72.32 c Restart #107 #Var: 985 LB: 0 @ 72.284 73.69 c Restart #108 #Var: 985 LB: 0 @ 73.656 75.07 c Restart #109 #Var: 985 LB: 0 @ 75.028 76.48 c Restart #110 #Var: 985 LB: 0 @ 76.443 77.88 c Restart #111 #Var: 985 LB: 0 @ 77.844 79.32 c Restart #112 #Var: 985 LB: 0 @ 79.281 80.74 c Restart #113 #Var: 985 LB: 0 @ 80.704 82.22 c Restart #114 #Var: 985 LB: 0 @ 82.18 83.68 c Restart #115 #Var: 985 LB: 0 @ 83.636 85.17 c Restart #116 #Var: 985 LB: 0 @ 85.135 86.64 c Restart #117 #Var: 985 LB: 0 @ 86.601 88.15 c Restart #118 #Var: 985 LB: 0 @ 88.108 89.65 c Restart #119 #Var: 985 LB: 0 @ 89.608 91.17 c Restart #120 #Var: 985 LB: 0 @ 91.133 92.70 c Restart #121 #Var: 985 LB: 0 @ 92.663 94.26 c Restart #122 #Var: 985 LB: 0 @ 94.216 95.83 c Restart #123 #Var: 985 LB: 0 @ 95.784 97.42 c Restart #124 #Var: 985 LB: 0 @ 97.381 99.02 c Restart #125 #Var: 985 LB: 0 @ 98.978 100.63 c Restart #126 #Var: 985 LB: 0 @ 100.59 102.25 c Restart #127 #Var: 985 LB: 0 @ 102.2 103.86 c Restart #128 #Var: 985 LB: 0 @ 103.82 105.48 c Restart #129 #Var: 985 LB: 0 @ 105.44 107.10 c Restart #130 #Var: 985 LB: 0 @ 107.05 108.73 c Restart #131 #Var: 985 LB: 0 @ 108.68 110.39 c Restart #132 #Var: 985 LB: 0 @ 110.34 112.04 c Restart #133 #Var: 985 LB: 0 @ 112 113.72 c Restart #134 #Var: 985 LB: 0 @ 113.67 115.41 c Restart #135 #Var: 985 LB: 0 @ 115.37 117.14 c Restart #136 #Var: 985 LB: 0 @ 117.1 118.86 c Restart #137 #Var: 985 LB: 0 @ 118.82 120.61 c Restart #138 #Var: 985 LB: 0 @ 120.56 122.37 c Restart #139 #Var: 985 LB: 0 @ 122.32 124.14 c Restart #140 #Var: 985 LB: 0 @ 124.09 125.91 c Restart #141 #Var: 985 LB: 0 @ 125.86 127.69 c Restart #142 #Var: 985 LB: 0 @ 127.64 129.49 c Restart #143 #Var: 985 LB: 0 @ 129.44 131.31 c Restart #144 #Var: 985 LB: 0 @ 131.26 133.13 c Restart #145 #Var: 985 LB: 0 @ 133.08 134.98 c Restart #146 #Var: 985 LB: 0 @ 134.93 136.84 c Restart #147 #Var: 985 LB: 0 @ 136.79 138.75 c Restart #148 #Var: 985 LB: 0 @ 138.7 140.63 c Restart #149 #Var: 985 LB: 0 @ 140.57 142.58 c Restart #150 #Var: 985 LB: 0 @ 142.53 144.48 c Restart #151 #Var: 985 LB: 0 @ 144.43 146.43 c Restart #152 #Var: 985 LB: 0 @ 146.37 148.35 c Restart #153 #Var: 985 LB: 0 @ 148.29 150.33 c Restart #154 #Var: 985 LB: 0 @ 150.27 152.29 c Restart #155 #Var: 985 LB: 0 @ 152.24 154.29 c Restart #156 #Var: 985 LB: 0 @ 154.23 156.31 c Restart #157 #Var: 985 LB: 0 @ 156.25 158.33 c Restart #158 #Var: 985 LB: 0 @ 158.27 160.36 c Restart #159 #Var: 985 LB: 0 @ 160.3 162.43 c Restart #160 #Var: 985 LB: 0 @ 162.37 164.49 c Restart #161 #Var: 985 LB: 0 @ 164.43 166.56 c Restart #162 #Var: 985 LB: 0 @ 166.5 168.64 c Restart #163 #Var: 985 LB: 0 @ 168.58 170.73 c Restart #164 #Var: 985 LB: 0 @ 170.67 172.84 c Restart #165 #Var: 985 LB: 0 @ 172.78 174.97 c Restart #166 #Var: 985 LB: 0 @ 174.91 177.13 c Restart #167 #Var: 985 LB: 0 @ 177.06 179.31 c Restart #168 #Var: 985 LB: 0 @ 179.24 181.48 c Restart #169 #Var: 985 LB: 0 @ 181.41 183.69 c Restart #170 #Var: 985 LB: 0 @ 183.63 185.87 c Restart #171 #Var: 985 LB: 0 @ 185.8 188.09 c Restart #172 #Var: 985 LB: 0 @ 188.02 190.26 c Restart #173 #Var: 985 LB: 0 @ 190.19 192.48 c Restart #174 #Var: 985 LB: 0 @ 192.41 194.70 c Restart #175 #Var: 985 LB: 0 @ 194.63 196.94 c Restart #176 #Var: 985 LB: 0 @ 196.88 199.20 c Restart #177 #Var: 985 LB: 0 @ 199.13 201.50 c Restart #178 #Var: 985 LB: 0 @ 201.43 203.79 c Restart #179 #Var: 985 LB: 0 @ 203.72 206.08 c Restart #180 #Var: 985 LB: 0 @ 206.01 208.39 c Restart #181 #Var: 985 LB: 0 @ 208.32 210.69 c Restart #182 #Var: 985 LB: 0 @ 210.62 213.02 c Restart #183 #Var: 985 LB: 0 @ 212.95 215.37 c Restart #184 #Var: 985 LB: 0 @ 215.3 217.77 c Restart #185 #Var: 985 LB: 0 @ 217.69 220.12 c Restart #186 #Var: 985 LB: 0 @ 220.05 222.53 c Restart #187 #Var: 985 LB: 0 @ 222.46 224.90 c Restart #188 #Var: 985 LB: 0 @ 224.82 227.30 c Restart #189 #Var: 985 LB: 0 @ 227.23 229.68 c Restart #190 #Var: 985 LB: 0 @ 229.6 232.11 c Restart #191 #Var: 985 LB: 0 @ 232.03 234.51 c Restart #192 #Var: 985 LB: 0 @ 234.44 237.01 c Restart #193 #Var: 985 LB: 0 @ 236.93 239.46 c Restart #194 #Var: 985 LB: 0 @ 239.38 241.96 c Restart #195 #Var: 985 LB: 0 @ 241.88 244.45 c Restart #196 #Var: 985 LB: 0 @ 244.37 246.96 c Restart #197 #Var: 985 LB: 0 @ 246.88 249.47 c Restart #198 #Var: 985 LB: 0 @ 249.39 252.02 c Restart #199 #Var: 985 LB: 0 @ 251.94 254.57 c Restart #200 #Var: 985 LB: 0 @ 254.49 257.17 c Restart #201 #Var: 985 LB: 0 @ 257.08 259.75 c Restart #202 #Var: 985 LB: 0 @ 259.67 262.32 c Restart #203 #Var: 985 LB: 0 @ 262.24 264.93 c Restart #204 #Var: 985 LB: 0 @ 264.84 267.49 c Restart #205 #Var: 985 LB: 0 @ 267.41 270.12 c Restart #206 #Var: 985 LB: 0 @ 270.03 272.72 c Restart #207 #Var: 985 LB: 0 @ 272.63 275.40 c Restart #208 #Var: 985 LB: 0 @ 275.31 278.04 c Restart #209 #Var: 985 LB: 0 @ 277.95 280.73 c Restart #210 #Var: 985 LB: 0 @ 280.64 283.41 c Restart #211 #Var: 985 LB: 0 @ 283.32 286.12 c Restart #212 #Var: 985 LB: 0 @ 286.03 288.80 c Restart #213 #Var: 985 LB: 0 @ 288.71 291.54 c Restart #214 #Var: 985 LB: 0 @ 291.44 294.25 c Restart #215 #Var: 985 LB: 0 @ 294.16 297.04 c Restart #216 #Var: 985 LB: 0 @ 296.95 299.83 c Restart #217 #Var: 985 LB: 0 @ 299.74 302.65 c Restart #218 #Var: 985 LB: 0 @ 302.55 305.47 c Restart #219 #Var: 985 LB: 0 @ 305.37 308.28 c Restart #220 #Var: 985 LB: 0 @ 308.19 311.13 c Restart #221 #Var: 985 LB: 0 @ 311.03 313.98 c Restart #222 #Var: 985 LB: 0 @ 313.88 316.90 c Restart #223 #Var: 985 LB: 0 @ 316.8 319.83 c Restart #224 #Var: 985 LB: 0 @ 319.73 322.78 c Restart #225 #Var: 985 LB: 0 @ 322.68 325.72 c Restart #226 #Var: 985 LB: 0 @ 325.61 328.65 c Restart #227 #Var: 985 LB: 0 @ 328.55 331.60 c Restart #228 #Var: 985 LB: 0 @ 331.5 334.58 c Restart #229 #Var: 985 LB: 0 @ 334.48 337.58 c Restart #230 #Var: 985 LB: 0 @ 337.48 340.58 c Restart #231 #Var: 985 LB: 0 @ 340.48 343.58 c Restart #232 #Var: 985 LB: 0 @ 343.47 346.56 c Restart #233 #Var: 985 LB: 0 @ 346.45 349.52 c Restart #234 #Var: 985 LB: 0 @ 349.41 352.48 c Restart #235 #Var: 985 LB: 0 @ 352.37 355.45 c Restart #236 #Var: 985 LB: 0 @ 355.34 358.46 c Restart #237 #Var: 985 LB: 0 @ 358.35 361.48 c Restart #238 #Var: 985 LB: 0 @ 361.37 364.50 c Restart #239 #Var: 985 LB: 0 @ 364.39 367.49 c Restart #240 #Var: 985 LB: 0 @ 367.38 370.50 c Restart #241 #Var: 985 LB: 0 @ 370.39 373.52 c Restart #242 #Var: 985 LB: 0 @ 373.4 376.60 c Restart #243 #Var: 985 LB: 0 @ 376.49 379.67 c Restart #244 #Var: 985 LB: 0 @ 379.56 382.80 c Restart #245 #Var: 985 LB: 0 @ 382.68 385.89 c Restart #246 #Var: 985 LB: 0 @ 385.77 389.02 c Restart #247 #Var: 985 LB: 0 @ 388.9 392.14 c Restart #248 #Var: 985 LB: 0 @ 392.02 395.31 c Restart #249 #Var: 985 LB: 0 @ 395.19 398.49 c Restart #250 #Var: 985 LB: 0 @ 398.37 401.74 c Restart #251 #Var: 985 LB: 0 @ 401.62 404.94 c Restart #252 #Var: 985 LB: 0 @ 404.82 408.18 c Restart #253 #Var: 985 LB: 0 @ 408.06 411.38 c Restart #254 #Var: 985 LB: 0 @ 411.26 414.69 c Restart #255 #Var: 985 LB: 0 @ 414.56 417.95 c Restart #256 #Var: 985 LB: 0 @ 417.82 421.29 c Restart #257 #Var: 985 LB: 0 @ 421.16 424.58 c Restart #258 #Var: 985 LB: 0 @ 424.45 427.88 c Restart #259 #Var: 985 LB: 0 @ 427.75 431.16 c Restart #260 #Var: 985 LB: 0 @ 431.03 434.51 c Restart #261 #Var: 985 LB: 0 @ 434.38 437.84 c Restart #262 #Var: 985 LB: 0 @ 437.71 441.23 c Restart #263 #Var: 985 LB: 0 @ 441.1 444.57 c Restart #264 #Var: 985 LB: 0 @ 444.44 447.95 c Restart #265 #Var: 985 LB: 0 @ 447.82 451.26 c Restart #266 #Var: 985 LB: 0 @ 451.13 454.65 c Restart #267 #Var: 985 LB: 0 @ 454.52 458.07 c Restart #268 #Var: 985 LB: 0 @ 457.94 461.56 c Restart #269 #Var: 985 LB: 0 @ 461.43 464.98 c Restart #270 #Var: 985 LB: 0 @ 464.85 468.42 c Restart #271 #Var: 985 LB: 0 @ 468.29 471.84 c Restart #272 #Var: 985 LB: 0 @ 471.7 475.31 c Restart #273 #Var: 985 LB: 0 @ 475.17 478.76 c Restart #274 #Var: 985 LB: 0 @ 478.62 482.26 c Restart #275 #Var: 985 LB: 0 @ 482.12 485.71 c Restart #276 #Var: 985 LB: 0 @ 485.57 489.19 c Restart #277 #Var: 985 LB: 0 @ 489.04 492.65 c Restart #278 #Var: 985 LB: 0 @ 492.51 496.18 c Restart #279 #Var: 985 LB: 0 @ 496.04 499.68 c Restart #280 #Var: 985 LB: 0 @ 499.54 503.22 c Restart #281 #Var: 985 LB: 0 @ 503.07 506.73 c Restart #282 #Var: 985 LB: 0 @ 506.58 510.27 c Restart #283 #Var: 985 LB: 0 @ 510.12 513.79 c Restart #284 #Var: 985 LB: 0 @ 513.64 517.37 c Restart #285 #Var: 985 LB: 0 @ 517.22 520.97 c Restart #286 #Var: 985 LB: 0 @ 520.82 524.59 c Restart #287 #Var: 985 LB: 0 @ 524.43 528.20 c Restart #288 #Var: 985 LB: 0 @ 528.05 531.84 c Restart #289 #Var: 985 LB: 0 @ 531.68 535.51 c Restart #290 #Var: 985 LB: 0 @ 535.36 539.21 c Restart #291 #Var: 985 LB: 0 @ 539.05 542.89 c Restart #292 #Var: 985 LB: 0 @ 542.74 546.61 c Restart #293 #Var: 985 LB: 0 @ 546.46 550.29 c Restart #294 #Var: 985 LB: 0 @ 550.13 554.02 c Restart #295 #Var: 985 LB: 0 @ 553.87 557.75 c Restart #296 #Var: 985 LB: 0 @ 557.59 561.56 c Restart #297 #Var: 985 LB: 0 @ 561.39 565.32 c Restart #298 #Var: 985 LB: 0 @ 565.15 569.13 c Restart #299 #Var: 985 LB: 0 @ 568.97 572.91 c Restart #300 #Var: 985 LB: 0 @ 572.75 576.78 c Restart #301 #Var: 985 LB: 0 @ 576.61 580.62 c Restart #302 #Var: 985 LB: 0 @ 580.45 584.51 c Restart #303 #Var: 985 LB: 0 @ 584.34 588.33 c Restart #304 #Var: 985 LB: 0 @ 588.16 592.18 c Restart #305 #Var: 985 LB: 0 @ 592.01 596.04 c Restart #306 #Var: 985 LB: 0 @ 595.88 599.98 c Restart #307 #Var: 985 LB: 0 @ 599.81 603.93 c Restart #308 #Var: 985 LB: 0 @ 603.76 607.88 c Restart #309 #Var: 985 LB: 0 @ 607.71 611.81 c Restart #310 #Var: 985 LB: 0 @ 611.63 615.79 c Restart #311 #Var: 985 LB: 0 @ 615.62 619.79 c Restart #312 #Var: 985 LB: 0 @ 619.62 623.87 c Restart #313 #Var: 985 LB: 0 @ 623.7 627.86 c Restart #314 #Var: 985 LB: 0 @ 627.68 631.84 c Restart #315 #Var: 985 LB: 0 @ 631.67 635.84 c Restart #316 #Var: 985 LB: 0 @ 635.66 639.87 c Restart #317 #Var: 985 LB: 0 @ 639.69 643.90 c Restart #318 #Var: 985 LB: 0 @ 643.72 647.93 c Restart #319 #Var: 985 LB: 0 @ 647.74 651.95 c Restart #320 #Var: 985 LB: 0 @ 651.77 656.03 c Restart #321 #Var: 985 LB: 0 @ 655.84 660.13 c Restart #322 #Var: 985 LB: 0 @ 659.95 664.25 c Restart #323 #Var: 985 LB: 0 @ 664.07 668.39 c Restart #324 #Var: 985 LB: 0 @ 668.21 672.57 c Restart #325 #Var: 985 LB: 0 @ 672.38 676.74 c Restart #326 #Var: 985 LB: 0 @ 676.55 680.99 c Restart #327 #Var: 985 LB: 0 @ 680.8 685.21 c Restart #328 #Var: 985 LB: 0 @ 685.02 689.43 c Restart #329 #Var: 985 LB: 0 @ 689.24 693.61 c Restart #330 #Var: 985 LB: 0 @ 693.42 697.84 c Restart #331 #Var: 985 LB: 0 @ 697.64 702.07 c Restart #332 #Var: 985 LB: 0 @ 701.87 706.35 c Restart #333 #Var: 985 LB: 0 @ 706.15 710.57 c Restart #334 #Var: 985 LB: 0 @ 710.37 714.85 c Restart #335 #Var: 985 LB: 0 @ 714.65 719.14 c Restart #336 #Var: 985 LB: 0 @ 718.94 723.49 c Restart #337 #Var: 985 LB: 0 @ 723.29 727.78 c Restart #338 #Var: 985 LB: 0 @ 727.58 732.12 c Restart #339 #Var: 985 LB: 0 @ 731.91 736.45 c Restart #340 #Var: 985 LB: 0 @ 736.24 740.90 c Restart #341 #Var: 985 LB: 0 @ 740.69 745.27 c Restart #342 #Var: 985 LB: 0 @ 745.06 749.63 c Restart #343 #Var: 985 LB: 0 @ 749.42 753.98 c Restart #344 #Var: 985 LB: 0 @ 753.77 758.40 c Restart #345 #Var: 985 LB: 0 @ 758.19 762.84 c Restart #346 #Var: 985 LB: 0 @ 762.63 767.27 c Restart #347 #Var: 985 LB: 0 @ 767.06 771.69 c Restart #348 #Var: 985 LB: 0 @ 771.47 776.17 c Restart #349 #Var: 985 LB: 0 @ 775.96 780.68 c Restart #350 #Var: 985 LB: 0 @ 780.47 785.20 c Restart #351 #Var: 985 LB: 0 @ 784.98 789.72 c Restart #352 #Var: 985 LB: 0 @ 789.5 794.29 c Restart #353 #Var: 985 LB: 0 @ 794.07 798.84 c Restart #354 #Var: 985 LB: 0 @ 798.62 803.43 c Restart #355 #Var: 985 LB: 0 @ 803.21 807.94 c Restart #356 #Var: 985 LB: 0 @ 807.72 812.49 c Restart #357 #Var: 985 LB: 0 @ 812.27 817.01 c Restart #358 #Var: 985 LB: 0 @ 816.79 821.63 c Restart #359 #Var: 985 LB: 0 @ 821.4 826.18 c Restart #360 #Var: 985 LB: 0 @ 825.95 830.78 c Restart #361 #Var: 985 LB: 0 @ 830.56 835.37 c Restart #362 #Var: 985 LB: 0 @ 835.14 840.01 c Restart #363 #Var: 985 LB: 0 @ 839.78 844.65 c Restart #364 #Var: 985 LB: 0 @ 844.41 849.29 c Restart #365 #Var: 985 LB: 0 @ 849.06 853.97 c Restart #366 #Var: 985 LB: 0 @ 853.73 858.69 c Restart #367 #Var: 985 LB: 0 @ 858.46 863.47 c Restart #368 #Var: 985 LB: 0 @ 863.23 868.22 c Restart #369 #Var: 985 LB: 0 @ 867.98 872.97 c Restart #370 #Var: 985 LB: 0 @ 872.73 877.77 c Restart #371 #Var: 985 LB: 0 @ 877.53 882.57 c Restart #372 #Var: 985 LB: 0 @ 882.32 887.32 c Restart #373 #Var: 985 LB: 0 @ 887.07 892.13 c Restart #374 #Var: 985 LB: 0 @ 891.89 896.90 c Restart #375 #Var: 985 LB: 0 @ 896.65 901.67 c CHANGE Heuristic... 901.67 c Restart #0 #Var: 985 LB: 0 @ 901.42 901.68 c Restart #1 #Var: 985 LB: 0 @ 901.43 901.73 c Restart #2 #Var: 985 LB: 0 @ 901.48 901.76 c Restart #3 #Var: 985 LB: 0 @ 901.52 901.82 c Restart #4 #Var: 985 LB: 0 @ 901.57 901.88 c Restart #5 #Var: 985 LB: 0 @ 901.63 901.96 c Restart #6 #Var: 985 LB: 0 @ 901.72 902.06 c Restart #7 #Var: 985 LB: 0 @ 901.81 902.17 c Restart #8 #Var: 985 LB: 0 @ 901.92 902.29 c Restart #9 #Var: 985 LB: 0 @ 902.04 902.44 c Restart #10 #Var: 985 LB: 0 @ 902.19 902.60 c Restart #11 #Var: 985 LB: 0 @ 902.35 902.79 c Restart #12 #Var: 985 LB: 0 @ 902.54 902.97 c Restart #13 #Var: 985 LB: 0 @ 902.73 903.20 c Restart #14 #Var: 985 LB: 0 @ 902.95 903.42 c Restart #15 #Var: 985 LB: 0 @ 903.17 903.67 c Restart #16 #Var: 985 LB: 0 @ 903.42 903.93 c Restart #17 #Var: 985 LB: 0 @ 903.68 904.22 c Restart #18 #Var: 985 LB: 0 @ 903.97 904.48 c Restart #19 #Var: 985 LB: 0 @ 904.23 904.79 c Restart #20 #Var: 985 LB: 0 @ 904.54 905.07 c Restart #21 #Var: 985 LB: 0 @ 904.82 905.37 c Restart #22 #Var: 985 LB: 0 @ 905.12 905.65 c Restart #23 #Var: 985 LB: 0 @ 905.4 905.99 c Restart #24 #Var: 985 LB: 0 @ 905.74 906.30 c Restart #25 #Var: 985 LB: 0 @ 906.05 906.75 c Restart #26 #Var: 985 LB: 0 @ 906.5 907.21 c Restart #27 #Var: 985 LB: 0 @ 906.96 907.70 c Restart #28 #Var: 985 LB: 0 @ 907.45 908.06 c Restart #29 #Var: 985 LB: 0 @ 907.81 908.46 c Restart #30 #Var: 985 LB: 0 @ 908.21 908.82 c Restart #31 #Var: 985 LB: 0 @ 908.57 909.23 c Restart #32 #Var: 985 LB: 0 @ 908.98 909.62 c Restart #33 #Var: 985 LB: 0 @ 909.37 910.06 c Restart #34 #Var: 985 LB: 0 @ 909.81 910.48 c Restart #35 #Var: 985 LB: 0 @ 910.23 910.95 c Restart #36 #Var: 985 LB: 0 @ 910.7 911.40 c Restart #37 #Var: 985 LB: 0 @ 911.15 911.90 c Restart #38 #Var: 985 LB: 0 @ 911.65 912.37 c Restart #39 #Var: 985 LB: 0 @ 912.12 912.90 c Restart #40 #Var: 985 LB: 0 @ 912.64 913.40 c Restart #41 #Var: 985 LB: 0 @ 913.15 913.96 c Restart #42 #Var: 985 LB: 0 @ 913.71 914.49 c Restart #43 #Var: 985 LB: 0 @ 914.24 915.08 c Restart #44 #Var: 985 LB: 0 @ 914.83 915.65 c Restart #45 #Var: 985 LB: 0 @ 915.39 916.27 c Restart #46 #Var: 985 LB: 0 @ 916.02 916.86 c Restart #47 #Var: 985 LB: 0 @ 916.61 917.51 c Restart #48 #Var: 985 LB: 0 @ 917.26 918.13 c Restart #49 #Var: 985 LB: 0 @ 917.88 918.81 c Restart #50 #Var: 985 LB: 0 @ 918.56 919.47 c Restart #51 #Var: 985 LB: 0 @ 919.22 920.19 c Restart #52 #Var: 985 LB: 0 @ 919.94 920.88 c Restart #53 #Var: 985 LB: 0 @ 920.63 921.64 c Restart #54 #Var: 985 LB: 0 @ 921.39 922.35 c Restart #55 #Var: 985 LB: 0 @ 922.1 923.15 c Restart #56 #Var: 985 LB: 0 @ 922.89 923.90 c Restart #57 #Var: 985 LB: 0 @ 923.65 924.74 c Restart #58 #Var: 985 LB: 0 @ 924.49 925.52 c Restart #59 #Var: 985 LB: 0 @ 925.27 926.40 c Restart #60 #Var: 985 LB: 0 @ 926.15 927.21 c Restart #61 #Var: 985 LB: 0 @ 926.96 928.12 c Restart #62 #Var: 985 LB: 0 @ 927.87 928.97 c Restart #63 #Var: 985 LB: 0 @ 928.72 929.92 c Restart #64 #Var: 985 LB: 0 @ 929.67 930.76 c Restart #65 #Var: 985 LB: 0 @ 930.5 931.63 c Restart #66 #Var: 985 LB: 0 @ 931.37 932.45 c Restart #67 #Var: 985 LB: 0 @ 932.19 933.34 c Restart #68 #Var: 985 LB: 0 @ 933.09 934.19 c Restart #69 #Var: 985 LB: 0 @ 933.93 935.12 c Restart #70 #Var: 985 LB: 0 @ 934.86 936.01 c Restart #71 #Var: 985 LB: 0 @ 935.75 936.97 c Restart #72 #Var: 985 LB: 0 @ 936.72 937.90 c Restart #73 #Var: 985 LB: 0 @ 937.64 938.88 c Restart #74 #Var: 985 LB: 0 @ 938.63 939.85 c Restart #75 #Var: 985 LB: 0 @ 939.59 940.87 c Restart #76 #Var: 985 LB: 0 @ 940.61 941.88 c Restart #77 #Var: 985 LB: 0 @ 941.62 942.95 c Restart #78 #Var: 985 LB: 0 @ 942.69 943.99 c Restart #79 #Var: 985 LB: 0 @ 943.73 945.10 c Restart #80 #Var: 985 LB: 0 @ 944.84 946.18 c Restart #81 #Var: 985 LB: 0 @ 945.92 947.32 c Restart #82 #Var: 985 LB: 0 @ 947.06 948.44 c Restart #83 #Var: 985 LB: 0 @ 948.18 949.61 c Restart #84 #Var: 985 LB: 0 @ 949.35 950.76 c Restart #85 #Var: 985 LB: 0 @ 950.5 951.93 c Restart #86 #Var: 985 LB: 0 @ 951.67 953.07 c Restart #87 #Var: 985 LB: 0 @ 952.81 954.26 c Restart #88 #Var: 985 LB: 0 @ 954 955.44 c Restart #89 #Var: 985 LB: 0 @ 955.18 956.67 c Restart #90 #Var: 985 LB: 0 @ 956.41 957.91 c Restart #91 #Var: 985 LB: 0 @ 957.65 959.21 c Restart #92 #Var: 985 LB: 0 @ 958.94 960.50 c Restart #93 #Var: 985 LB: 0 @ 960.24 961.86 c Restart #94 #Var: 985 LB: 0 @ 961.6 963.19 c Restart #95 #Var: 985 LB: 0 @ 962.93 964.56 c Restart #96 #Var: 985 LB: 0 @ 964.29 965.87 c Restart #97 #Var: 985 LB: 0 @ 965.61 967.14 c Restart #98 #Var: 985 LB: 0 @ 966.88 968.38 c Restart #99 #Var: 985 LB: 0 @ 968.11 969.66 c Restart #100 #Var: 985 LB: 0 @ 969.39 970.92 c Restart #101 #Var: 985 LB: 0 @ 970.66 972.23 c Restart #102 #Var: 985 LB: 0 @ 971.97 973.50 c Restart #103 #Var: 985 LB: 0 @ 973.24 974.79 c Restart #104 #Var: 985 LB: 0 @ 974.52 976.09 c Restart #105 #Var: 985 LB: 0 @ 975.83 977.44 c Restart #106 #Var: 985 LB: 0 @ 977.18 978.79 c Restart #107 #Var: 985 LB: 0 @ 978.52 980.17 c Restart #108 #Var: 985 LB: 0 @ 979.9 981.52 c Restart #109 #Var: 985 LB: 0 @ 981.25 982.94 c Restart #110 #Var: 985 LB: 0 @ 982.67 984.33 c Restart #111 #Var: 985 LB: 0 @ 984.06 985.79 c Restart #112 #Var: 985 LB: 0 @ 985.52 987.20 c Restart #113 #Var: 985 LB: 0 @ 986.93 988.70 c Restart #114 #Var: 985 LB: 0 @ 988.43 990.14 c Restart #115 #Var: 985 LB: 0 @ 989.87 991.65 c Restart #116 #Var: 985 LB: 0 @ 991.38 993.12 c Restart #117 #Var: 985 LB: 0 @ 992.85 994.67 c Restart #118 #Var: 985 LB: 0 @ 994.4 996.19 c Restart #119 #Var: 985 LB: 0 @ 995.92 997.76 c Restart #120 #Var: 985 LB: 0 @ 997.49 999.27 c Restart #121 #Var: 985 LB: 0 @ 999 1000.88 c Restart #122 #Var: 985 LB: 0 @ 1000.6 1002.42 c Restart #123 #Var: 985 LB: 0 @ 1002.1 1004.03 c Restart #124 #Var: 985 LB: 0 @ 1003.8 1005.59 c Restart #125 #Var: 985 LB: 0 @ 1005.3 1007.23 c Restart #126 #Var: 985 LB: 0 @ 1007 1008.81 c Restart #127 #Var: 985 LB: 0 @ 1008.5 1010.47 c Restart #128 #Var: 985 LB: 0 @ 1010.2 1012.10 c Restart #129 #Var: 985 LB: 0 @ 1011.8 1013.78 c Restart #130 #Var: 985 LB: 0 @ 1013.5 1015.43 c Restart #131 #Var: 985 LB: 0 @ 1015.2 1017.15 c Restart #132 #Var: 985 LB: 0 @ 1016.9 1018.85 c Restart #133 #Var: 985 LB: 0 @ 1018.6 1020.59 c Restart #134 #Var: 985 LB: 0 @ 1020.3 1022.31 c Restart #135 #Var: 985 LB: 0 @ 1022 1024.08 c Restart #136 #Var: 985 LB: 0 @ 1023.8 1025.83 c Restart #137 #Var: 985 LB: 0 @ 1025.5 1027.60 c Restart #138 #Var: 985 LB: 0 @ 1027.3 1029.39 c Restart #139 #Var: 985 LB: 0 @ 1029.1 1031.22 c Restart #140 #Var: 985 LB: 0 @ 1030.9 1033.04 c Restart #141 #Var: 985 LB: 0 @ 1032.8 1034.90 c Restart #142 #Var: 985 LB: 0 @ 1034.6 1036.78 c Restart #143 #Var: 985 LB: 0 @ 1036.5 1038.69 c Restart #144 #Var: 985 LB: 0 @ 1038.4 1040.60 c Restart #145 #Var: 985 LB: 0 @ 1040.3 1042.55 c Restart #146 #Var: 985 LB: 0 @ 1042.3 1044.50 c Restart #147 #Var: 985 LB: 0 @ 1044.2 1046.47 c Restart #148 #Var: 985 LB: 0 @ 1046.2 1048.43 c Restart #149 #Var: 985 LB: 0 @ 1048.1 1050.47 c Restart #150 #Var: 985 LB: 0 @ 1050.2 1052.50 c Restart #151 #Var: 985 LB: 0 @ 1052.2 1054.61 c Restart #152 #Var: 985 LB: 0 @ 1054.3 1056.70 c Restart #153 #Var: 985 LB: 0 @ 1056.4 1058.88 c Restart #154 #Var: 985 LB: 0 @ 1058.6 1061.04 c Restart #155 #Var: 985 LB: 0 @ 1060.8 1063.22 c Restart #156 #Var: 985 LB: 0 @ 1062.9 1065.43 c Restart #157 #Var: 985 LB: 0 @ 1065.1 1067.59 c Restart #158 #Var: 985 LB: 0 @ 1067.3 1069.81 c Restart #159 #Var: 985 LB: 0 @ 1069.5 1072.01 c Restart #160 #Var: 985 LB: 0 @ 1071.7 1074.27 c Restart #161 #Var: 985 LB: 0 @ 1074 1076.58 c Restart #162 #Var: 985 LB: 0 @ 1076.3 1079.02 c Restart #163 #Var: 985 LB: 0 @ 1078.7 1081.29 c Restart #164 #Var: 985 LB: 0 @ 1081 1083.61 c Restart #165 #Var: 985 LB: 0 @ 1083.3 1085.95 c Restart #166 #Var: 985 LB: 0 @ 1085.7 1088.30 c Restart #167 #Var: 985 LB: 0 @ 1088 1090.69 c Restart #168 #Var: 985 LB: 0 @ 1090.4 1093.07 c Restart #169 #Var: 985 LB: 0 @ 1092.8 1095.43 c Restart #170 #Var: 985 LB: 0 @ 1095.1 1097.84 c Restart #171 #Var: 985 LB: 0 @ 1097.5 1100.18 c Restart #172 #Var: 985 LB: 0 @ 1099.9 1102.56 c Restart #173 #Var: 985 LB: 0 @ 1102.3 1104.95 c Restart #174 #Var: 985 LB: 0 @ 1104.6 1107.37 c Restart #175 #Var: 985 LB: 0 @ 1107.1 1109.74 c Restart #176 #Var: 985 LB: 0 @ 1109.4 1112.16 c Restart #177 #Var: 985 LB: 0 @ 1111.9 1114.59 c Restart #178 #Var: 985 LB: 0 @ 1114.3 1117.06 c Restart #179 #Var: 985 LB: 0 @ 1116.8 1119.53 c Restart #180 #Var: 985 LB: 0 @ 1119.2 1122.03 c Restart #181 #Var: 985 LB: 0 @ 1121.7 1124.56 c Restart #182 #Var: 985 LB: 0 @ 1124.3 1127.09 c Restart #183 #Var: 985 LB: 0 @ 1126.8 1129.59 c Restart #184 #Var: 985 LB: 0 @ 1129.3 1132.15 c Restart #185 #Var: 985 LB: 0 @ 1131.8 1134.72 c Restart #186 #Var: 985 LB: 0 @ 1134.4 1137.39 c Restart #187 #Var: 985 LB: 0 @ 1137.1 1139.98 c Restart #188 #Var: 985 LB: 0 @ 1139.7 1142.78 c Restart #189 #Var: 985 LB: 0 @ 1142.5 1145.35 c Restart #190 #Var: 985 LB: 0 @ 1145 1148.01 c Restart #191 #Var: 985 LB: 0 @ 1147.7 1150.64 c Restart #192 #Var: 985 LB: 0 @ 1150.3 1153.33 c Restart #193 #Var: 985 LB: 0 @ 1153 1156.03 c Restart #194 #Var: 985 LB: 0 @ 1155.7 1158.82 c Restart #195 #Var: 985 LB: 0 @ 1158.5 1161.58 c Restart #196 #Var: 985 LB: 0 @ 1161.3 1164.42 c Restart #197 #Var: 985 LB: 0 @ 1164.1 1167.38 c Restart #198 #Var: 985 LB: 0 @ 1167.1 1170.23 c Restart #199 #Var: 985 LB: 0 @ 1169.9 1173.10 c Restart #200 #Var: 985 LB: 0 @ 1172.8 1176.08 c Restart #201 #Var: 985 LB: 0 @ 1175.8 1179.09 c Restart #202 #Var: 985 LB: 0 @ 1178.8 1181.99 c Restart #203 #Var: 985 LB: 0 @ 1181.7 1184.97 c Restart #204 #Var: 985 LB: 0 @ 1184.6 1187.92 c Restart #205 #Var: 985 LB: 0 @ 1187.6 1190.90 c Restart #206 #Var: 985 LB: 0 @ 1190.6 1193.89 c Restart #207 #Var: 985 LB: 0 @ 1193.6 1196.91 c Restart #208 #Var: 985 LB: 0 @ 1196.6 1199.96 c Restart #209 #Var: 985 LB: 0 @ 1199.6 1203.04 c Restart #210 #Var: 985 LB: 0 @ 1202.7 1206.14 c Restart #211 #Var: 985 LB: 0 @ 1205.8 1209.27 c Restart #212 #Var: 985 LB: 0 @ 1208.9 1212.41 c Restart #213 #Var: 985 LB: 0 @ 1212.1 1215.54 c Restart #214 #Var: 985 LB: 0 @ 1215.2 1218.68 c Restart #215 #Var: 985 LB: 0 @ 1218.4 1221.84 c Restart #216 #Var: 985 LB: 0 @ 1221.5 1225.03 c Restart #217 #Var: 985 LB: 0 @ 1224.7 1228.27 c Restart #218 #Var: 985 LB: 0 @ 1227.9 1231.56 c Restart #219 #Var: 985 LB: 0 @ 1231.2 1234.80 c Restart #220 #Var: 985 LB: 0 @ 1234.5 1238.18 c Restart #221 #Var: 985 LB: 0 @ 1237.8 1241.48 c Restart #222 #Var: 985 LB: 0 @ 1241.1 1244.87 c Restart #223 #Var: 985 LB: 0 @ 1244.5 1248.16 c Restart #224 #Var: 985 LB: 0 @ 1247.8 1251.50 c Restart #225 #Var: 985 LB: 0 @ 1251.2 1254.97 c Restart #226 #Var: 985 LB: 0 @ 1254.6 1258.37 c Restart #227 #Var: 985 LB: 0 @ 1258 1261.79 c Restart #228 #Var: 985 LB: 0 @ 1261.5 1265.19 c Restart #229 #Var: 985 LB: 0 @ 1264.8 1268.62 c Restart #230 #Var: 985 LB: 0 @ 1268.3 1271.96 c Restart #231 #Var: 985 LB: 0 @ 1271.6 1275.39 c Restart #232 #Var: 985 LB: 0 @ 1275 1279.01 c Restart #233 #Var: 985 LB: 0 @ 1278.7 1282.57 c Restart #234 #Var: 985 LB: 0 @ 1282.2 1286.16 c Restart #235 #Var: 985 LB: 0 @ 1285.8 1289.64 c Restart #236 #Var: 985 LB: 0 @ 1289.3 1293.26 c Restart #237 #Var: 985 LB: 0 @ 1292.9 1296.82 c Restart #238 #Var: 985 LB: 0 @ 1296.5 1300.40 c Restart #239 #Var: 985 LB: 0 @ 1300.1 1304.11 c Restart #240 #Var: 985 LB: 0 @ 1303.8 1307.67 c Restart #241 #Var: 985 LB: 0 @ 1307.3 1311.21 c Restart #242 #Var: 985 LB: 0 @ 1310.9 1314.63 c Restart #243 #Var: 985 LB: 0 @ 1314.3 1318.19 c Restart #244 #Var: 985 LB: 0 @ 1317.8 1321.70 c Restart #245 #Var: 985 LB: 0 @ 1321.3 1325.29 c Restart #246 #Var: 985 LB: 0 @ 1324.9 1328.86 c Restart #247 #Var: 985 LB: 0 @ 1328.5 1332.42 c Restart #248 #Var: 985 LB: 0 @ 1332.1 1336.10 c Restart #249 #Var: 985 LB: 0 @ 1335.7 1339.77 c Restart #250 #Var: 985 LB: 0 @ 1339.4 1343.58 c Restart #251 #Var: 985 LB: 0 @ 1343.2 1347.23 c Restart #252 #Var: 985 LB: 0 @ 1346.9 1351.05 c Restart #253 #Var: 985 LB: 0 @ 1350.7 1354.81 c Restart #254 #Var: 985 LB: 0 @ 1354.4 1358.63 c Restart #255 #Var: 985 LB: 0 @ 1358.3 1362.55 c Restart #256 #Var: 985 LB: 0 @ 1362.2 1366.48 c Restart #257 #Var: 985 LB: 0 @ 1366.1 1370.42 c Restart #258 #Var: 985 LB: 0 @ 1370.1 1374.07 c Restart #259 #Var: 985 LB: 0 @ 1373.7 1378.06 c Restart #260 #Var: 985 LB: 0 @ 1377.7 1381.89 c Restart #261 #Var: 985 LB: 0 @ 1381.5 1385.80 c Restart #262 #Var: 985 LB: 0 @ 1385.4 1389.66 c Restart #263 #Var: 985 LB: 0 @ 1389.3 1393.60 c Restart #264 #Var: 985 LB: 0 @ 1393.2 1397.63 c Restart #265 #Var: 985 LB: 0 @ 1397.3 1401.67 c Restart #266 #Var: 985 LB: 0 @ 1401.3 1405.75 c Restart #267 #Var: 985 LB: 0 @ 1405.4 1409.88 c Restart #268 #Var: 985 LB: 0 @ 1409.5 1414.00 c Restart #269 #Var: 985 LB: 0 @ 1413.6 1418.42 c Restart #270 #Var: 985 LB: 0 @ 1418 1422.55 c Restart #271 #Var: 985 LB: 0 @ 1422.2 1426.76 c Restart #272 #Var: 985 LB: 0 @ 1426.4 1430.87 c Restart #273 #Var: 985 LB: 0 @ 1430.5 1435.30 c Restart #274 #Var: 985 LB: 0 @ 1434.9 1439.70 c Restart #275 #Var: 985 LB: 0 @ 1439.3 1444.18 c Restart #276 #Var: 985 LB: 0 @ 1443.8 1448.60 c Restart #277 #Var: 985 LB: 0 @ 1448.2 1453.03 c Restart #278 #Var: 985 LB: 0 @ 1452.6 1457.55 c Restart #279 #Var: 985 LB: 0 @ 1457.2 1462.10 c Restart #280 #Var: 985 LB: 0 @ 1461.7 1466.67 c Restart #281 #Var: 985 LB: 0 @ 1466.3 1471.21 c Restart #282 #Var: 985 LB: 0 @ 1470.8 1475.83 c Restart #283 #Var: 985 LB: 0 @ 1475.4 1480.56 c Restart #284 #Var: 985 LB: 0 @ 1480.2 1485.33 c Restart #285 #Var: 985 LB: 0 @ 1484.9 1490.08 c Restart #286 #Var: 985 LB: 0 @ 1489.7 1494.74 c Restart #287 #Var: 985 LB: 0 @ 1494.3 1499.57 c Restart #288 #Var: 985 LB: 0 @ 1499.2 1504.30 c Restart #289 #Var: 985 LB: 0 @ 1503.9 1509.20 c Restart #290 #Var: 985 LB: 0 @ 1508.8 1513.88 c Restart #291 #Var: 985 LB: 0 @ 1513.5 1518.85 c Restart #292 #Var: 985 LB: 0 @ 1518.4 1523.63 c Restart #293 #Var: 985 LB: 0 @ 1523.2 1528.57 c Restart #294 #Var: 985 LB: 0 @ 1528.2 1533.44 c Restart #295 #Var: 985 LB: 0 @ 1533 1538.50 c Restart #296 #Var: 985 LB: 0 @ 1538.1 1543.41 c Restart #297 #Var: 985 LB: 0 @ 1543 1548.62 c Restart #298 #Var: 985 LB: 0 @ 1548.2 1553.46 c Restart #299 #Var: 985 LB: 0 @ 1553 1558.55 c Restart #300 #Var: 985 LB: 0 @ 1558.1 1563.47 c Restart #301 #Var: 985 LB: 0 @ 1563.1 1568.66 c Restart #302 #Var: 985 LB: 0 @ 1568.2 1573.50 c Restart #303 #Var: 985 LB: 0 @ 1573.1 1578.74 c Restart #304 #Var: 985 LB: 0 @ 1578.3 1583.72 c Restart #305 #Var: 985 LB: 0 @ 1583.3 1588.93 c Restart #306 #Var: 985 LB: 0 @ 1588.5 1594.09 c Restart #307 #Var: 985 LB: 0 @ 1593.7 1599.36 c Restart #308 #Var: 985 LB: 0 @ 1598.9 1604.55 c Restart #309 #Var: 985 LB: 0 @ 1604.1 1609.88 c Restart #310 #Var: 985 LB: 0 @ 1609.5 1614.96 c Restart #311 #Var: 985 LB: 0 @ 1614.5 1620.42 c Restart #312 #Var: 985 LB: 0 @ 1620 1625.68 c Restart #313 #Var: 985 LB: 0 @ 1625.2 1630.80 c Restart #314 #Var: 985 LB: 0 @ 1630.4 1635.35 c Restart #315 #Var: 985 LB: 0 @ 1634.9 1640.19 c Restart #316 #Var: 985 LB: 0 @ 1639.8 1644.84 c Restart #317 #Var: 985 LB: 0 @ 1644.4 1649.60 c Restart #318 #Var: 985 LB: 0 @ 1649.2 1653.88 c Restart #319 #Var: 985 LB: 0 @ 1653.4 1658.43 c Restart #320 #Var: 985 LB: 0 @ 1658 1662.93 c Restart #321 #Var: 985 LB: 0 @ 1662.5 1667.59 c Restart #322 #Var: 985 LB: 0 @ 1667.1 1672.19 c Restart #323 #Var: 985 LB: 0 @ 1671.8 1677.02 c Restart #324 #Var: 985 LB: 0 @ 1676.6 1681.88 c Restart #325 #Var: 985 LB: 0 @ 1681.4 1686.85 c Restart #326 #Var: 985 LB: 0 @ 1686.4 1691.66 c Restart #327 #Var: 985 LB: 0 @ 1691.2 1696.75 c Restart #328 #Var: 985 LB: 0 @ 1696.3 1701.69 c Restart #329 #Var: 985 LB: 0 @ 1701.2 1706.85 c Restart #330 #Var: 985 LB: 0 @ 1706.4 1711.79 c Restart #331 #Var: 985 LB: 0 @ 1711.3 1716.85 c Restart #332 #Var: 985 LB: 0 @ 1716.4 1721.81 c Restart #333 #Var: 985 LB: 0 @ 1721.4 1726.99 c Restart #334 #Var: 985 LB: 0 @ 1726.5 1731.97 c Restart #335 #Var: 985 LB: 0 @ 1731.5 1737.24 c Restart #336 #Var: 985 LB: 0 @ 1736.8 1742.41 c Restart #337 #Var: 985 LB: 0 @ 1741.9 1747.81 c Restart #338 #Var: 985 LB: 0 @ 1747.3 1753.12 c Restart #339 #Var: 985 LB: 0 @ 1752.7 1758.60 c Restart #340 #Var: 985 LB: 0 @ 1758.1 1763.91 c Restart #341 #Var: 985 LB: 0 @ 1763.4 1769.42 c Restart #342 #Var: 985 LB: 0 @ 1769 1774.78 c Restart #343 #Var: 985 LB: 0 @ 1774.3 1780.36 c Restart #344 #Var: 985 LB: 0 @ 1779.9 1785.83 c Restart #345 #Var: 985 LB: 0 @ 1785.4 1791.46 c Restart #346 #Var: 985 LB: 0 @ 1791 1796.96 c Restart #347 #Var: 985 LB: 0 @ 1796.5 1800.48 s UNKNOWN 1800.48 c Exit Code: 0 1800.48 c Total time: 1800 s
ERROR: no interpretation found !
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/node27/watcher-40750-1149315354 -o ROOT/results/node27/solver-40750-1149315354 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/40750-1149315354/instance-40750-1149315354.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 28735 /proc/meminfo: memFree=1712856/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=4748 CPUtime=0 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 221 0 0 0 0 0 0 0 18 0 1 0 197198865 4861952 191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1187 201 150 55 0 79 0 [startup+10.0018 s] /proc/loadavg: 0.93 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1711016/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6300 CPUtime=9.97 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 833 0 0 0 989 8 0 0 25 0 1 0 197198865 6451200 748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1575 748 297 55 0 467 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 6300 [startup+20.0078 s] /proc/loadavg: 0.94 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1711080/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6300 CPUtime=19.98 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 833 0 0 0 1985 13 0 0 25 0 1 0 197198865 6451200 748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1575 748 297 55 0 467 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 6300 [startup+30.0138 s] /proc/loadavg: 0.95 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1711144/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6300 CPUtime=29.98 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 836 0 0 0 2980 18 0 0 25 0 1 0 197198865 6451200 751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1575 751 297 55 0 467 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 6300 [startup+40.0198 s] /proc/loadavg: 0.96 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1711080/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6300 CPUtime=39.98 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 847 0 0 0 3975 23 0 0 25 0 1 0 197198865 6451200 762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1575 762 297 55 0 467 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 6300 [startup+50.0259 s] /proc/loadavg: 0.96 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1711144/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6428 CPUtime=49.98 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 857 0 0 0 4969 29 0 0 25 0 1 0 197198865 6582272 772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1607 772 297 55 0 499 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 6428 [startup+60.0319 s] /proc/loadavg: 0.97 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1711080/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6428 CPUtime=59.99 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 867 0 0 0 5965 34 0 0 25 0 1 0 197198865 6582272 782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1607 782 297 55 0 499 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 6428 [startup+70.0379 s] /proc/loadavg: 0.97 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1711080/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6428 CPUtime=69.99 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 875 0 0 0 6960 39 0 0 25 0 1 0 197198865 6582272 790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1607 790 297 55 0 499 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 6428 [startup+80.044 s] /proc/loadavg: 0.98 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1711016/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6560 CPUtime=80 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 885 0 0 0 7955 45 0 0 25 0 1 0 197198865 6717440 800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1640 800 297 55 0 532 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 6560 [startup+90.05 s] /proc/loadavg: 0.98 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1711016/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6560 CPUtime=90 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 891 0 0 0 8949 51 0 0 25 0 1 0 197198865 6717440 806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1640 806 297 55 0 532 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 6560 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710952/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6560 CPUtime=100.01 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 902 0 0 0 9944 57 0 0 25 0 1 0 197198865 6717440 817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1640 817 297 55 0 532 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 6560 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710824/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6688 CPUtime=110 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 927 0 0 0 10939 61 0 0 25 0 1 0 197198865 6848512 842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1672 842 297 55 0 564 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 6688 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710824/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6688 CPUtime=120.01 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 938 0 0 0 11933 68 0 0 25 0 1 0 197198865 6848512 853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1672 853 297 55 0 564 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 6688 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710760/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6820 CPUtime=130.01 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 951 0 0 0 12927 74 0 0 25 0 1 0 197198865 6983680 866 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1705 866 297 55 0 597 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 6820 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710696/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6820 CPUtime=140.01 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 962 0 0 0 13921 80 0 0 25 0 1 0 197198865 6983680 877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1705 877 297 55 0 597 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 6820 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710696/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6820 CPUtime=150.02 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 972 0 0 0 14916 86 0 0 25 0 1 0 197198865 6983680 887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1705 887 297 55 0 597 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 6820 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710632/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6948 CPUtime=160.03 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 982 0 0 0 15911 92 0 0 25 0 1 0 197198865 7114752 897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1737 897 297 55 0 629 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 6948 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710568/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6948 CPUtime=170.03 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 992 0 0 0 16906 97 0 0 25 0 1 0 197198865 7114752 907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1737 907 297 55 0 629 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 6948 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710568/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6948 CPUtime=180.03 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 1002 0 0 0 17900 103 0 0 25 0 1 0 197198865 7114752 917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1737 917 297 55 0 629 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 6948 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710504/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=6948 CPUtime=190.04 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 1012 0 0 0 18896 108 0 0 25 0 1 0 197198865 7114752 927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1737 927 297 55 0 629 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 6948 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710440/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=7076 CPUtime=200.03 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 1021 0 0 0 19891 112 0 0 25 0 1 0 197198865 7245824 936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 1769 936 297 55 0 661 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 7076 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28735 /proc/meminfo: memFree=1710440/2055920 swapFree=4180900/4192956 ################ # More data... # ################ /proc/28735/statm: 7228 6404 297 55 0 6120 0 Current children cumulated CPU time (s) 1760.57 Current children cumulated vsize (Kb) 28912 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1688048/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29044 CPUtime=1770.58 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6537 0 0 0 176183 875 0 0 25 0 1 0 197198865 29741056 6452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7261 6452 297 55 0 6153 0 Current children cumulated CPU time (s) 1770.58 Current children cumulated vsize (Kb) 29044 [startup+1781.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687856/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29308 CPUtime=1780.58 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6587 0 0 0 177178 880 0 0 25 0 1 0 197198865 30011392 6502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7327 6502 297 55 0 6219 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 29308 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687856/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29308 CPUtime=1781.58 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6592 0 0 0 177278 880 0 0 25 0 1 0 197198865 30011392 6507 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7327 6507 297 55 0 6219 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 29308 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687856/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29308 CPUtime=1782.59 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6597 0 0 0 177378 881 0 0 25 0 1 0 197198865 30011392 6512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7327 6512 297 55 0 6219 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 29308 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687792/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29308 CPUtime=1783.59 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6601 0 0 0 177478 881 0 0 25 0 1 0 197198865 30011392 6516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7327 6516 297 55 0 6219 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 29308 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687792/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29440 CPUtime=1784.6 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6607 0 0 0 177578 882 0 0 25 0 1 0 197198865 30146560 6522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7360 6522 297 55 0 6252 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 29440 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687792/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29440 CPUtime=1785.61 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6611 0 0 0 177679 882 0 0 25 0 1 0 197198865 30146560 6526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7360 6526 297 55 0 6252 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 29440 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687728/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29440 CPUtime=1786.61 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6617 0 0 0 177779 882 0 0 25 0 1 0 197198865 30146560 6532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7360 6532 297 55 0 6252 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 29440 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687728/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29440 CPUtime=1787.62 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6623 0 0 0 177879 883 0 0 25 0 1 0 197198865 30146560 6538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7360 6538 297 55 0 6252 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 29440 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687728/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29440 CPUtime=1788.62 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6629 0 0 0 177979 883 0 0 25 0 1 0 197198865 30146560 6544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7360 6544 297 55 0 6252 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 29440 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687664/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29440 CPUtime=1789.62 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6634 0 0 0 178079 883 0 0 25 0 1 0 197198865 30146560 6549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7360 6549 297 55 0 6252 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 29440 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687664/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29572 CPUtime=1790.63 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6639 0 0 0 178179 884 0 0 25 0 1 0 197198865 30281728 6554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7393 6554 297 55 0 6285 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 29572 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687664/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29572 CPUtime=1791.63 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6644 0 0 0 178279 884 0 0 25 0 1 0 197198865 30281728 6559 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7393 6559 297 55 0 6285 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 29572 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687600/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29572 CPUtime=1792.64 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6649 0 0 0 178379 885 0 0 25 0 1 0 197198865 30281728 6564 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7393 6564 297 55 0 6285 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 29572 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687600/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29572 CPUtime=1793.64 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6654 0 0 0 178479 885 0 0 25 0 1 0 197198865 30281728 6569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7393 6569 297 55 0 6285 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 29572 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687600/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29572 CPUtime=1794.65 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6658 0 0 0 178579 886 0 0 25 0 1 0 197198865 30281728 6573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7393 6573 297 55 0 6285 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 29572 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687536/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29572 CPUtime=1795.65 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6663 0 0 0 178679 886 0 0 25 0 1 0 197198865 30281728 6578 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7393 6578 297 55 0 6285 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 29572 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687536/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29572 CPUtime=1796.66 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6668 0 0 0 178779 887 0 0 25 0 1 0 197198865 30281728 6583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7393 6583 297 55 0 6285 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 29572 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687536/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29704 CPUtime=1797.66 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6672 0 0 0 178879 887 0 0 25 0 1 0 197198865 30416896 6587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7426 6587 297 55 0 6318 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 29704 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687536/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29704 CPUtime=1798.66 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6677 0 0 0 178979 887 0 0 25 0 1 0 197198865 30416896 6592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7426 6592 297 55 0 6318 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 29704 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28737 /proc/meminfo: memFree=1687472/2055920 swapFree=4180900/4192956 [pid=28735] ppid=28733 vsize=29704 CPUtime=1799.67 /proc/28735/stat : 28735 (bsolo) R 28733 28735 28689 0 -1 0 6684 0 0 0 179079 888 0 0 25 0 1 0 197198865 30416896 6599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28735/statm: 7426 6599 297 55 0 6318 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 29704 Child status: 0 Real time (s): 1800.49 CPU time (s): 1800.01 CPU user time (s): 1791.12 CPU system time (s): 8.88765 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (Kb): 29704
Begin job on node27 on Sat Jun 3 06:15:54 UTC 2006 FILE ID= 40750-1149315354 PBS_JOBID= 308312 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/40750-1149315354/instance-40750-1149315354.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-40750-1149315354 -o ROOT/results/node27/solver-40750-1149315354 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/40750-1149315354/instance-40750-1149315354.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 064c172c08e0726f78b89fe587697d96 RANDOM SEED= 546049430 /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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 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: 1713064 kB Buffers: 22116 kB Cached: 251064 kB SwapCached: 3784 kB Active: 82860 kB Inactive: 199068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1713064 kB SwapTotal: 4192956 kB SwapFree: 4180900 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14776 kB Slab: 46964 kB Committed_AS: 341660 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Sat Jun 3 06:45:54 UTC 2006