| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1800.1 | 1800.09 |
| Name | /OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null0mast_rapportOE1.0_TMAX300_K192_cod2.opb |
| MD5SUM | bf80427a5518f65f2c0be5c955ae4146 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -78535 |
| Best CPU time to get the best result obtained on this benchmark | 1800.71 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 400896 |
| Total number of constraints | 402763 |
| Number of constraints which are clauses | 400785 |
| Number of constraints which are cardinality constraints (but not clauses) | 194 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1784 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 58023 |
| Number of terms in the objective function | 1427 |
| Biggest coefficient in the objective function | 998 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 712416 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 998 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 712416 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | wbo: 1.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705603-1338159293.opb. 0.00/0.00 c Instance file HOME/instance-3705603-1338159293.opb 0.00/0.00 c File size is 28233150 bytes. 2.98/3.05 c Cost Offset: -712416 2.98/3.05 c Highest Coefficient sum: 62753 2.98/3.05 c ============================[ Problem Statistics ]============================= 2.98/3.05 c | | 2.98/3.05 c | Parsing time: 3.05 s | 2.98/3.05 c | Number Variables: 400896 | 2.98/3.05 c | Number Clauses: 400785 | 2.98/3.05 c | Number Cardinality: 1977 | 2.98/3.05 c | Number PB Constraints: 1 | 2.98/3.05 c | | 3.29/3.35 c | Problem Type: Optimization | 3.29/3.35 c | Objective Function: PB Constraint | 3.29/3.35 c | | 3.29/3.35 c ============================[ Search Statistics ]============================== 3.29/3.35 c | Time (s) | ID | Bound | Shared Clauses | 3.29/3.35 c | | | value type | expCls impCls Lit/impCl | 3.29/3.35 c =============================================================================== 3.78/3.89 c | 3.89 | 0 | -712414 lb | 0 0 0.00 | 4.29/4.39 c | 4.40 | 0 | -712413 lb | 0 0 0.00 | 4.89/4.96 c | 4.86 | 0 | -712412 lb | 0 0 0.00 | 5.29/5.31 c | 5.31 | 0 | -712411 lb | 0 0 0.00 | 5.68/5.77 c | 5.77 | 0 | -712410 lb | 0 0 0.00 | 6.19/6.24 c | 6.24 | 0 | -712409 lb | 0 0 0.00 | 6.69/6.70 c | 6.70 | 0 | -712407 lb | 0 0 0.00 | 7.09/7.17 c | 7.18 | 0 | -712404 lb | 0 0 0.00 | 7.59/7.64 c | 7.65 | 0 | -712403 lb | 0 0 0.00 | 8.08/8.13 c | 8.13 | 0 | -712401 lb | 0 0 0.00 | 8.58/8.60 c | 8.61 | 0 | -712399 lb | 0 0 0.00 | 8.99/9.09 c | 9.10 | 0 | -712398 lb | 0 0 0.00 | 9.48/9.58 c | 9.58 | 0 | -712396 lb | 0 0 0.00 | 9.98/10.08 c | 10.08 | 0 | -712395 lb | 0 0 0.00 | 10.49/10.57 c | 10.57 | 0 | -712394 lb | 0 0 0.00 | 10.99/11.08 c | 11.08 | 0 | -712393 lb | 0 0 0.00 | 11.49/11.57 c | 11.57 | 0 | -712391 lb | 0 0 0.00 | 11.99/12.07 c | 12.08 | 0 | -712390 lb | 0 0 0.00 | 12.49/12.57 c | 12.58 | 0 | -712389 lb | 0 0 0.00 | 12.98/13.09 c | 13.09 | 0 | -712387 lb | 0 0 0.00 | 13.48/13.59 c | 13.59 | 0 | -712386 lb | 0 0 0.00 | 14.09/14.10 c | 14.10 | 0 | -712385 lb | 0 0 0.00 | 14.59/14.61 c | 14.61 | 0 | -712384 lb | 0 0 0.00 | 15.09/15.12 c | 15.13 | 0 | -712381 lb | 0 0 0.00 | 15.58/15.64 c | 15.65 | 0 | -712380 lb | 0 0 0.00 | 16.08/16.17 c | 16.18 | 0 | -712379 lb | 0 0 0.00 | 16.68/16.70 c | 16.70 | 0 | -712378 lb | 0 0 0.00 | 17.18/17.23 c | 17.23 | 0 | -712377 lb | 0 0 0.00 | 17.68/17.75 c | 17.76 | 0 | -712374 lb | 0 0 0.00 | 18.19/18.29 c | 18.30 | 0 | -712373 lb | 0 0 0.00 | 18.79/18.81 c | 18.81 | 0 | -712372 lb | 0 0 0.00 | 19.28/19.35 c | 19.35 | 0 | -712371 lb | 0 0 0.00 | 19.79/19.88 c | 19.88 | 0 | -712370 lb | 0 0 0.00 | 20.38/20.42 c | 20.42 | 0 | -712369 lb | 0 0 0.00 | 20.89/20.95 c | 20.95 | 0 | -712368 lb | 0 0 0.00 | 21.49/21.50 c | 21.50 | 0 | -712367 lb | 0 0 0.00 | 21.99/22.03 c | 22.03 | 0 | -712366 lb | 0 0 0.00 | 22.48/22.59 c | 22.59 | 0 | -712365 lb | 0 0 0.00 | 23.09/23.12 c | 23.13 | 0 | -712364 lb | 0 0 0.00 | 23.58/23.68 c | 23.69 | 0 | -712360 lb | 0 0 0.00 | 24.19/24.23 c | 24.23 | 0 | -712359 lb | 0 0 0.00 | 24.69/24.79 c | 24.79 | 0 | -712358 lb | 0 0 0.00 | 25.29/25.32 c | 25.33 | 0 | -712356 lb | 0 0 0.00 | 25.79/25.89 c | 25.89 | 0 | -712355 lb | 0 0 0.00 | 26.39/26.44 c | 26.44 | 0 | -712354 lb | 0 0 0.00 | 26.98/27.00 c | 27.00 | 0 | -712353 lb | 0 0 0.00 | 27.49/27.55 c | 27.55 | 0 | -712352 lb | 0 0 0.00 | 28.08/28.12 c | 28.12 | 0 | -712351 lb | 0 0 0.00 | 28.59/28.69 c | 28.69 | 0 | -712350 lb | 0 0 0.00 | 29.18/29.25 c | 29.25 | 0 | -712348 lb | 0 0 0.00 | 29.78/29.81 c | 29.82 | 0 | -712347 lb | 0 0 0.00 | 30.28/30.38 c | 30.39 | 0 | -712346 lb | 0 0 0.00 | 30.88/30.95 c | 30.95 | 0 | -712345 lb | 0 0 0.00 | 31.48/31.52 c | 31.52 | 0 | -712344 lb | 0 0 0.00 | 31.98/32.08 c | 32.09 | 0 | -712343 lb | 0 0 0.00 | 32.58/32.67 c | 32.67 | 0 | -712342 lb | 0 0 0.00 | 33.18/33.24 c | 33.24 | 0 | -712341 lb | 0 0 0.00 | 33.78/33.83 c | 33.83 | 0 | -712340 lb | 0 0 0.00 | 34.38/34.40 c | 34.40 | 0 | -712339 lb | 0 0 0.00 | 34.88/34.99 c | 34.99 | 0 | -712337 lb | 0 0 0.00 | 35.48/35.56 c | 35.56 | 0 | -712336 lb | 0 0 0.00 | 36.08/36.15 c | 36.15 | 0 | -712335 lb | 0 0 0.00 | 36.68/36.71 c | 36.72 | 0 | -712334 lb | 0 0 0.00 | 37.28/37.30 c | 37.31 | 0 | -712333 lb | 0 0 0.00 | 37.78/37.88 c | 37.89 | 0 | -712331 lb | 0 0 0.00 | 38.39/38.46 c | 38.46 | 0 | -712330 lb | 0 0 0.00 | 38.98/39.04 c | 39.04 | 0 | -712329 lb | 0 0 0.00 | 39.59/39.63 c | 39.63 | 0 | -712326 lb | 0 0 0.00 | 40.18/40.22 c | 40.22 | 0 | -712325 lb | 0 0 0.00 | 40.78/40.81 c | 40.81 | 0 | -712323 lb | 0 0 0.00 | 41.38/41.40 c | 41.40 | 0 | -712322 lb | 0 0 0.00 | 41.88/41.99 c | 41.99 | 0 | -712321 lb | 0 0 0.00 | 42.48/42.58 c | 42.58 | 0 | -712319 lb | 0 0 0.00 | 43.08/43.18 c | 43.18 | 0 | -712317 lb | 0 0 0.00 | 43.68/43.78 c | 43.78 | 0 | -712314 lb | 0 0 0.00 | 44.28/44.38 c | 44.38 | 0 | -712313 lb | 0 0 0.00 | 44.88/44.99 c | 44.99 | 0 | -712312 lb | 0 0 0.00 | 45.48/45.58 c | 45.58 | 0 | -712310 lb | 0 0 0.00 | 46.08/46.18 c | 46.18 | 0 | -712309 lb | 0 0 0.00 | 46.67/46.78 c | 46.79 | 0 | -712308 lb | 0 0 0.00 | 47.29/47.38 c | 47.38 | 0 | -712307 lb | 0 0 0.00 | 47.88/47.97 c | 47.97 | 0 | -712306 lb | 0 0 0.00 | 48.48/48.57 c | 48.58 | 0 | -712305 lb | 0 0 0.00 | 49.08/49.19 c | 49.19 | 0 | -712304 lb | 0 0 0.00 | 49.68/49.79 c | 49.80 | 0 | -712303 lb | 0 0 0.00 | 50.38/50.41 c | 50.41 | 0 | -712302 lb | 0 0 0.00 | 50.98/51.01 c | 51.02 | 0 | -712301 lb | 0 0 0.00 | 51.58/51.63 c | 51.63 | 0 | -712300 lb | 0 0 0.00 | 52.17/52.22 c | 52.23 | 0 | -712298 lb | 0 0 0.00 | 52.79/52.84 c | 52.85 | 0 | -712296 lb | 0 0 0.00 | 53.38/53.45 c | 53.45 | 0 | -712295 lb | 0 0 0.00 | 53.98/54.09 c | 54.09 | 0 | -712293 lb | 0 0 0.00 | 54.68/54.70 c | 54.70 | 0 | -712291 lb | 0 0 0.00 | 55.28/55.34 c | 55.35 | 0 | -712290 lb | 0 0 0.00 | 55.88/55.99 c | 55.99 | 0 | -712289 lb | 0 0 0.00 | 56.58/56.63 c | 56.63 | 0 | -712285 lb | 0 0 0.00 | 57.19/57.26 c | 57.26 | 0 | -712284 lb | 0 0 0.00 | 57.78/57.89 c | 57.89 | 0 | -712283 lb | 0 0 0.00 | 58.47/58.54 c | 58.54 | 0 | -712280 lb | 0 0 0.00 | 59.07/59.17 c | 59.17 | 0 | -712279 lb | 0 0 0.00 | 59.78/59.82 c | 59.82 | 0 | -712278 lb | 0 0 0.00 | 60.38/60.45 c | 60.45 | 0 | -712277 lb | 0 0 0.00 | 60.98/61.09 c | 61.09 | 0 | -712276 lb | 0 0 0.00 | 61.68/61.72 c | 61.72 | 0 | -712275 lb | 0 0 0.00 | 62.27/62.36 c | 62.37 | 0 | -712274 lb | 0 0 0.00 | 62.97/63.00 c | 63.01 | 0 | -712273 lb | 0 0 0.00 | 63.58/63.64 c | 63.65 | 0 | -712272 lb | 0 0 0.00 | 64.28/64.30 c | 64.30 | 0 | -712271 lb | 0 0 0.00 | 64.88/64.96 c | 64.96 | 0 | -712270 lb | 0 0 0.00 | 65.58/65.61 c | 65.61 | 0 | -712269 lb | 0 0 0.00 | 66.18/66.26 c | 66.26 | 0 | -712268 lb | 0 0 0.00 | 66.88/66.92 c | 66.92 | 0 | -712265 lb | 0 0 0.00 | 67.47/67.57 c | 67.57 | 0 | -712264 lb | 0 0 0.00 | 68.18/68.22 c | 68.22 | 0 | -712262 lb | 0 0 0.00 | 68.78/68.88 c | 68.88 | 0 | -712260 lb | 0 0 0.00 | 69.47/69.53 c | 69.54 | 0 | -712259 lb | 0 0 0.00 | 70.07/70.18 c | 70.18 | 0 | -712256 lb | 0 0 0.00 | 70.78/70.83 c | 70.83 | 0 | -712253 lb | 0 0 0.00 | 71.38/71.50 c | 71.50 | 0 | -712252 lb | 0 0 0.00 | 72.08/72.15 c | 72.16 | 0 | -712251 lb | 0 0 0.00 | 72.77/72.80 c | 72.81 | 0 | -712250 lb | 0 0 0.00 | 73.37/73.46 c | 73.47 | 0 | -712249 lb | 0 0 0.00 | 74.07/74.11 c | 74.11 | 0 | -712248 lb | 0 0 0.00 | 74.68/74.76 c | 74.76 | 0 | -712247 lb | 0 0 0.00 | 75.38/75.42 c | 75.42 | 0 | -712246 lb | 0 0 0.00 | 75.98/76.07 c | 76.07 | 0 | -712245 lb | 0 0 0.00 | 76.67/76.73 c | 76.73 | 0 | -712244 lb | 0 0 0.00 | 77.27/77.37 c | 77.38 | 0 | -712243 lb | 0 0 0.00 | 77.98/78.03 c | 78.03 | 0 | -712242 lb | 0 0 0.00 | 78.57/78.69 c | 78.70 | 0 | -712240 lb | 0 0 0.00 | 79.27/79.34 c | 79.34 | 0 | -712239 lb | 0 0 0.00 | 79.87/79.99 c | 80.00 | 0 | -712238 lb | 0 0 0.00 | 80.57/80.65 c | 80.66 | 0 | -712237 lb | 0 0 0.00 | 81.27/81.31 c | 81.31 | 0 | -712234 lb | 0 0 0.00 | 81.87/81.97 c | 81.97 | 0 | -712232 lb | 0 0 0.00 | 82.57/82.63 c | 82.64 | 0 | -712231 lb | 0 0 0.00 | 83.18/83.29 c | 83.30 | 0 | -712230 lb | 0 0 0.00 | 83.87/83.95 c | 83.96 | 0 | -712228 lb | 0 0 0.00 | 84.47/84.60 c | 84.60 | 0 | -712227 lb | 0 0 0.00 | 85.17/85.27 c | 85.27 | 0 | -712226 lb | 0 0 0.00 | 85.88/85.94 c | 85.95 | 0 | -712225 lb | 0 0 0.00 | 86.58/86.60 c | 86.61 | 0 | -712224 lb | 0 0 0.00 | 87.17/87.28 c | 87.28 | 0 | -712222 lb | 0 0 0.00 | 87.88/87.95 c | 87.95 | 0 | -712220 lb | 0 0 0.00 | 88.57/88.61 c | 88.61 | 0 | -712219 lb | 0 0 0.00 | 89.17/89.28 c | 89.28 | 0 | -712218 lb | 0 0 0.00 | 89.87/89.95 c | 89.95 | 0 | -712217 lb | 0 0 0.00 | 90.57/90.62 c | 90.62 | 0 | -712215 lb | 0 0 0.00 | 91.18/91.29 c | 91.29 | 0 | -712214 lb | 0 0 0.00 | 91.87/91.97 c | 91.97 | 0 | -712213 lb | 0 0 0.00 | 92.57/92.65 c | 92.65 | 0 | -712212 lb | 0 0 0.00 | 93.27/93.32 c | 93.32 | 0 | -712211 lb | 0 0 0.00 | 93.87/93.98 c | 93.99 | 0 | -712210 lb | 0 0 0.00 | 94.58/94.66 c | 94.66 | 0 | -712207 lb | 0 0 0.00 | 95.27/95.34 c | 95.34 | 0 | -712206 lb | 0 0 0.00 | 95.97/96.01 c | 96.02 | 0 | -712205 lb | 0 0 0.00 | 96.57/96.70 c | 96.70 | 0 | -712204 lb | 0 0 0.00 | 97.27/97.39 c | 97.39 | 0 | -712203 lb | 0 0 0.00 | 97.97/98.05 c | 98.06 | 0 | -712201 lb | 0 0 0.00 | 98.67/98.73 c | 98.73 | 0 | -712200 lb | 0 0 0.00 | 99.37/99.41 c | 99.41 | 0 | -712199 lb | 0 0 0.00 | 100.08/100.11 c | 100.11 | 0 | -712198 lb | 0 0 0.00 | 100.67/100.77 c | 100.77 | 0 | -712197 lb | 0 0 0.00 | 101.37/101.48 c | 101.49 | 0 | -712196 lb | 0 0 0.00 | 102.07/102.16 c | 102.17 | 0 | -712195 lb | 0 0 0.00 | 102.77/102.87 c | 102.87 | 0 | -712194 lb | 0 0 0.00 | 103.47/103.54 c | 103.54 | 0 | -712193 lb | 0 0 0.00 | 104.17/104.26 c | 104.26 | 0 | -712192 lb | 0 0 0.00 | 104.87/104.94 c | 104.94 | 0 | -712191 lb | 0 0 0.00 | 105.58/105.64 c | 105.65 | 0 | -712188 lb | 0 0 0.00 | 106.27/106.36 c | 106.36 | 0 | -712187 lb | 0 0 0.00 | 106.97/107.05 c | 107.06 | 0 | -712185 lb | 0 0 0.00 | 107.67/107.74 c | 107.75 | 0 | -712184 lb | 0 0 0.00 | 108.37/108.43 c | 108.44 | 0 | -712183 lb | 0 0 0.00 | 109.07/109.13 c | 109.13 | 0 | -712182 lb | 0 0 0.00 | 109.77/109.83 c | 109.83 | 0 | -712181 lb | 0 0 0.00 | 110.47/110.51 c | 110.52 | 0 | -712180 lb | 0 0 0.00 | 111.17/111.25 c | 111.25 | 0 | -712179 lb | 0 0 0.00 | 111.87/111.94 c | 111.94 | 0 | -712178 lb | 0 0 0.00 | 112.57/112.62 c | 112.63 | 0 | -712177 lb | 0 0 0.00 | 113.28/113.33 c | 113.33 | 0 | -712176 lb | 0 0 0.00 | 113.97/114.02 c | 114.02 | 0 | -712175 lb | 0 0 0.00 | 114.66/114.71 c | 114.72 | 0 | -712174 lb | 0 0 0.00 | 115.26/115.40 c | 115.40 | 0 | -712173 lb | 0 0 0.00 | 116.07/116.10 c | 116.11 | 0 | -712171 lb | 0 0 0.00 | 116.77/116.82 c | 116.82 | 0 | -712170 lb | 0 0 0.00 | 117.47/117.53 c | 117.53 | 0 | -712168 lb | 0 0 0.00 | 118.16/118.24 c | 118.25 | 0 | -712167 lb | 0 0 0.00 | 118.86/118.96 c | 118.96 | 0 | -712166 lb | 0 0 0.00 | 119.56/119.65 c | 119.66 | 0 | -712165 lb | 0 0 0.00 | 120.26/120.36 c | 120.36 | 0 | -712164 lb | 0 0 0.00 | 120.97/121.07 c | 121.07 | 0 | -712163 lb | 0 0 0.00 | 121.66/121.79 c | 121.79 | 0 | -712162 lb | 0 0 0.00 | 122.46/122.51 c | 122.51 | 0 | -712161 lb | 0 0 0.00 | 123.17/123.21 c | 123.22 | 0 | -712159 lb | 0 0 0.00 | 123.86/123.94 c | 123.94 | 0 | -712154 lb | 0 0 0.00 | 124.56/124.64 c | 124.64 | 0 | -712153 lb | 0 0 0.00 | 125.28/125.35 c | 125.36 | 0 | -712152 lb | 0 0 0.00 | 125.96/126.08 c | 126.08 | 0 | -712151 lb | 0 0 0.00 | 126.77/126.80 c | 126.80 | 0 | -712149 lb | 0 0 0.00 | 127.48/127.50 c | 127.51 | 0 | -712148 lb | 0 0 0.00 | 128.17/128.22 c | 128.22 | 0 | -712147 lb | 0 0 0.00 | 128.86/128.93 c | 128.93 | 0 | -712146 lb | 0 0 0.00 | 129.56/129.63 c | 129.63 | 0 | -712145 lb | 0 0 0.00 | 130.27/130.35 c | 130.36 | 0 | -712143 lb | 0 0 0.00 | 130.97/131.06 c | 131.07 | 0 | -712140 lb | 0 0 0.00 | 131.66/131.77 c | 131.77 | 0 | -712139 lb | 0 0 0.00 | 132.36/132.47 c | 132.47 | 0 | -712138 lb | 0 0 0.00 | 133.07/133.18 c | 133.18 | 0 | -712136 lb | 0 0 0.00 | 133.77/133.89 c | 133.89 | 0 | -712135 lb | 0 0 0.00 | 134.56/134.61 c | 134.61 | 0 | -712134 lb | 0 0 0.00 | 135.27/135.31 c | 135.32 | 0 | -712133 lb | 0 0 0.00 | 135.96/136.06 c | 136.06 | 0 | -712132 lb | 0 0 0.00 | 136.66/136.78 c | 136.78 | 0 | -712131 lb | 0 0 0.00 | 137.47/137.51 c | 137.51 | 0 | -712129 lb | 0 0 0.00 | 138.16/138.25 c | 138.25 | 0 | -712127 lb | 0 0 0.00 | 138.86/138.98 c | 138.99 | 0 | -712126 lb | 0 0 0.00 | 139.67/139.72 c | 139.72 | 0 | -712125 lb | 0 0 0.00 | 140.37/140.44 c | 140.44 | 0 | -712124 lb | 0 0 0.00 | 141.06/141.17 c | 141.17 | 0 | -712122 lb | 0 0 0.00 | 141.77/141.90 c | 141.90 | 0 | -712121 lb | 0 0 0.00 | 142.56/142.61 c | 142.62 | 0 | -712120 lb | 0 0 0.00 | 143.27/143.34 c | 143.34 | 0 | -712117 lb | 0 0 0.00 | 143.97/144.05 c | 144.06 | 0 | -712116 lb | 0 0 0.00 | 144.66/144.78 c | 144.78 | 0 | -712115 lb | 0 0 0.00 | 145.46/145.50 c | 145.50 | 0 | -712114 lb | 0 0 0.00 | 146.16/146.22 c | 146.23 | 0 | -712113 lb | 0 0 0.00 | 146.86/146.96 c | 146.96 | 0 | -712112 lb | 0 0 0.00 | 147.66/147.70 c | 147.70 | 0 | -712111 lb | 0 0 0.00 | 148.37/148.43 c | 148.43 | 0 | -712110 lb | 0 0 0.00 | 149.07/149.15 c | 149.16 | 0 | -712109 lb | 0 0 0.00 | 149.76/149.87 c | 149.87 | 0 | -712108 lb | 0 0 0.00 | 150.46/150.60 c | 150.60 | 0 | -712107 lb | 0 0 0.00 | 151.26/151.34 c | 151.35 | 0 | -712106 lb | 0 0 0.00 | 151.96/152.07 c | 152.08 | 0 | -712105 lb | 0 0 0.00 | 152.77/152.82 c | 152.82 | 0 | -712104 lb | 0 0 0.00 | 153.46/153.58 c | 153.58 | 0 | -712101 lb | 0 0 0.00 | 154.26/154.32 c | 154.32 | 0 | -712100 lb | 0 0 0.00 | 154.97/155.07 c | 155.07 | 0 | -712099 lb | 0 0 0.00 | 155.76/155.80 c | 155.80 | 0 | -712098 lb | 0 0 0.00 | 156.46/156.55 c | 156.56 | 0 | -712097 lb | 0 0 0.00 | 157.17/157.28 c | 157.29 | 0 | -712096 lb | 0 0 0.00 | 157.96/158.03 c | 158.03 | 0 | -712092 lb | 0 0 0.00 | 158.66/158.77 c | 158.77 | 0 | -712090 lb | 0 0 0.00 | 159.47/159.50 c | 159.51 | 0 | -712088 lb | 0 0 0.00 | 160.16/160.23 c | 160.24 | 0 | -712087 lb | 0 0 0.00 | 160.86/160.98 c | 160.99 | 0 | -712086 lb | 0 0 0.00 | 161.66/161.73 c | 161.73 | 0 | -712085 lb | 0 0 0.00 | 162.36/162.47 c | 162.47 | 0 | -712084 lb | 0 0 0.00 | 163.16/163.21 c | 163.22 | 0 | -712082 lb | 0 0 0.00 | 163.87/163.96 c | 163.97 | 0 | -712081 lb | 0 0 0.00 | 164.66/164.70 c | 164.71 | 0 | -712080 lb | 0 0 0.00 | 165.36/165.45 c | 165.46 | 0 | -712079 lb | 0 0 0.00 | 166.15/166.21 c | 166.22 | 0 | -712078 lb | 0 0 0.00 | 166.85/166.95 c | 166.96 | 0 | -712077 lb | 0 0 0.00 | 167.55/167.69 c | 167.69 | 0 | -712076 lb | 0 0 0.00 | 168.36/168.43 c | 168.43 | 0 | -712075 lb | 0 0 0.00 | 169.05/169.19 c | 169.19 | 0 | -712074 lb | 0 0 0.00 | 169.85/169.96 c | 169.96 | 0 | -712073 lb | 0 0 0.00 | 170.66/170.74 c | 170.74 | 0 | -712072 lb | 0 0 0.00 | 171.36/171.49 c | 171.49 | 0 | -712071 lb | 0 0 0.00 | 172.16/172.24 c | 172.25 | 0 | -712069 lb | 0 0 0.00 | 172.95/173.00 c | 173.00 | 0 | -712068 lb | 0 0 0.00 | 173.66/173.76 c | 173.76 | 0 | -712065 lb | 0 0 0.00 | 174.46/174.54 c | 174.54 | 0 | -712064 lb | 0 0 0.00 | 175.15/175.28 c | 175.29 | 0 | -712063 lb | 0 0 0.00 | 175.96/176.04 c | 176.04 | 0 | -712062 lb | 0 0 0.00 | 176.75/176.81 c | 176.81 | 0 | -712061 lb | 0 0 0.00 | 177.45/177.56 c | 177.56 | 0 | -712060 lb | 0 0 0.00 | 178.26/178.33 c | 178.33 | 0 | -712058 lb | 0 0 0.00 | 178.96/179.08 c | 179.08 | 0 | -712057 lb | 0 0 0.00 | 179.76/179.84 c | 179.85 | 0 | -712055 lb | 0 0 0.00 | 180.46/180.60 c | 180.60 | 0 | -712054 lb | 0 0 0.00 | 181.25/181.34 c | 181.35 | 0 | -712053 lb | 0 0 0.00 | 182.05/182.10 c | 182.11 | 0 | -712052 lb | 0 0 0.00 | 182.75/182.86 c | 182.86 | 0 | -712051 lb | 0 0 0.00 | 183.56/183.64 c | 183.64 | 0 | -712050 lb | 0 0 0.00 | 184.26/184.39 c | 184.40 | 0 | -712048 lb | 0 0 0.00 | 185.05/185.20 c | 185.20 | 0 | -712046 lb | 0 0 0.00 | 185.86/185.96 c | 185.97 | 0 | -712045 lb | 0 0 0.00 | 186.65/186.75 c | 186.75 | 0 | -712044 lb | 0 0 0.00 | 187.45/187.51 c | 187.51 | 0 | -712043 lb | 0 0 0.00 | 188.15/188.29 c | 188.30 | 0 | -712042 lb | 0 0 0.00 | 188.95/189.07 c | 189.07 | 0 | -712041 lb | 0 0 0.00 | 189.76/189.84 c | 189.84 | 0 | -712039 lb | 0 0 0.00 | 190.55/190.62 c | 190.62 | 0 | -712038 lb | 0 0 0.00 | 191.25/191.38 c | 191.38 | 0 | -712036 lb | 0 0 0.00 | 192.05/192.15 c | 192.15 | 0 | -712035 lb | 0 0 0.00 | 192.85/192.92 c | 192.92 | 0 | -712033 lb | 0 0 0.00 | 193.65/193.71 c | 193.71 | 0 | -712032 lb | 0 0 0.00 | 194.35/194.48 c | 194.48 | 0 | -712031 lb | 0 0 0.00 | 195.15/195.26 c | 195.26 | 0 | -712030 lb | 0 0 0.00 | 195.95/196.03 c | 196.03 | 0 | -712029 lb | 0 0 0.00 | 196.75/196.81 c | 196.81 | 0 | -712028 lb | 0 0 0.00 | 197.44/197.57 c | 197.57 | 0 | -712027 lb | 0 0 0.00 | 198.25/198.36 c | 198.37 | 0 | -712026 lb | 0 0 0.00 | 199.05/199.13 c | 199.13 | 0 | -712025 lb | 0 0 0.00 | 199.84/199.90 c | 199.91 | 0 | -712023 lb | 0 0 0.00 | 200.54/200.66 c | 200.67 | 0 | -712022 lb | 0 0 0.00 | 201.35/201.45 c | 201.45 | 0 | -712021 lb | 0 0 0.00 | 202.15/202.22 c | 202.23 | 0 | -712020 lb | 0 0 0.00 | 202.95/203.00 c | 203.01 | 0 | -712019 lb | 0 0 0.00 | 203.65/203.77 c | 203.78 | 0 | -712018 lb | 0 0 0.00 | 204.45/204.56 c | 204.56 | 0 | -712017 lb | 0 0 0.00 | 205.24/205.34 c | 205.34 | 0 | -712016 lb | 0 0 0.00 | 206.05/206.13 c | 206.13 | 0 | -712014 lb | 0 0 0.00 | 206.85/206.90 c | 206.90 | 0 | -712013 lb | 0 0 0.00 | 207.55/207.67 c | 207.68 | 0 | -712010 lb | 0 0 0.00 | 208.35/208.44 c | 208.44 | 0 | -712009 lb | 0 0 0.00 | 209.14/209.22 c | 209.22 | 0 | -712007 lb | 0 0 0.00 | 209.95/210.01 c | 210.02 | 0 | -712006 lb | 0 0 0.00 | 210.65/210.79 c | 210.79 | 0 | -712003 lb | 0 0 0.00 | 211.45/211.57 c | 211.57 | 0 | -712002 lb | 0 0 0.00 | 212.25/212.35 c | 212.35 | 0 | -712001 lb | 0 0 0.00 | 213.04/213.13 c | 213.13 | 0 | -712000 lb | 0 0 0.00 | 213.85/213.91 c | 213.91 | 0 | -711999 lb | 0 0 0.00 | 214.55/214.67 c | 214.68 | 0 | -711998 lb | 0 0 0.00 | 215.34/215.45 c | 215.45 | 0 | -711997 lb | 0 0 0.00 | 216.15/216.24 c | 216.24 | 0 | -711996 lb | 0 0 0.00 | 216.95/217.03 c | 217.03 | 0 | -711995 lb | 0 0 0.00 | 217.75/217.83 c | 217.83 | 0 | -711994 lb | 0 0 0.00 | 218.54/218.63 c | 218.63 | 0 | -711993 lb | 0 0 0.00 | 219.34/219.43 c | 219.43 | 0 | -711992 lb | 0 0 0.00 | 220.15/220.23 c | 220.23 | 0 | -711990 lb | 0 0 0.00 | 220.95/221.02 c | 221.02 | 0 | -711989 lb | 0 0 0.00 | 221.74/221.84 c | 221.84 | 0 | -711988 lb | 0 0 0.00 | 222.54/222.63 c | 222.63 | 0 | -711986 lb | 0 0 0.00 | 223.34/223.43 c | 223.44 | 0 | -711985 lb | 0 0 0.00 | 224.14/224.21 c | 224.22 | 0 | -711984 lb | 0 0 0.00 | 224.94/225.02 c | 225.03 | 0 | -711983 lb | 0 0 0.00 | 225.74/225.81 c | 225.81 | 0 | -711982 lb | 0 0 0.00 | 226.55/226.60 c | 226.61 | 0 | -711981 lb | 0 0 0.00 | 227.35/227.40 c | 227.41 | 0 | -711979 lb | 0 0 0.00 | 228.14/228.23 c | 228.23 | 0 | -711978 lb | 0 0 0.00 | 228.94/229.02 c | 229.03 | 0 | -711976 lb | 0 0 0.00 | 229.74/229.84 c | 229.84 | 0 | -711975 lb | 0 0 0.00 | 230.54/230.64 c | 230.64 | 0 | -711974 lb | 0 0 0.00 | 231.34/231.44 c | 231.45 | 0 | -711973 lb | 0 0 0.00 | 232.14/232.22 c | 232.23 | 0 | -711972 lb | 0 0 0.00 | 232.94/233.03 c | 233.04 | 0 | -711971 lb | 0 0 0.00 | 233.74/233.85 c | 233.85 | 0 | -711970 lb | 0 0 0.00 | 234.54/234.67 c | 234.67 | 0 | -711969 lb | 0 0 0.00 | 235.34/235.46 c | 235.47 | 0 | -711962 lb | 0 0 0.00 | 236.14/236.27 c | 236.27 | 0 | -711961 lb | 0 0 0.00 | 237.04/237.10 c | 237.11 | 0 | -711960 lb | 0 0 0.00 | 237.84/237.92 c | 237.93 | 0 | -711958 lb | 0 0 0.00 | 238.65/238.72 c | 238.72 | 0 | -711957 lb | 0 0 0.00 | 239.44/239.53 c | 239.53 | 0 | -711956 lb | 0 0 0.00 | 240.24/240.34 c | 240.34 | 0 | -711955 lb | 0 0 0.00 | 241.04/241.15 c | 241.15 | 0 | -711953 lb | 0 0 0.00 | 241.85/241.97 c | 241.97 | 0 | -711952 lb | 0 0 0.00 | 242.64/242.79 c | 242.79 | 0 | -711951 lb | 0 0 0.00 | 243.43/243.59 c | 243.60 | 0 | -711949 lb | 0 0 0.00 | 244.34/244.41 c | 244.41 | 0 | -711948 lb | 0 0 0.00 | 245.14/245.22 c | 245.22 | 0 | -711947 lb | 0 0 0.00 | 245.94/246.04 c | 246.04 | 0 | -711945 lb | 0 0 0.00 | 246.74/246.87 c | 246.87 | 0 | -711944 lb | 0 0 0.00 | 247.64/247.71 c | 247.71 | 0 | -711943 lb | 0 0 0.00 | 248.44/248.54 c | 248.55 | 0 | -711940 lb | 0 0 0.00 | 249.24/249.38 c | 249.38 | 0 | -711939 lb | 0 0 0.00 | 250.14/250.27 c | 250.28 | 0 | -711937 lb | 0 0 0.00 | 251.04/251.12 c | 251.12 | 0 | -711935 lb | 0 0 0.00 | 251.85/251.97 c | 251.97 | 0 | -711934 lb | 0 0 0.00 | 252.74/252.83 c | 252.83 | 0 | -711932 lb | 0 0 0.00 | 253.54/253.67 c | 253.68 | 0 | -711930 lb | 0 0 0.00 | 254.44/254.51 c | 254.51 | 0 | -711929 lb | 0 0 0.00 | 255.24/255.37 c | 255.37 | 0 | -711927 lb | 0 0 0.00 | 256.14/256.21 c | 256.21 | 0 | -711926 lb | 0 0 0.00 | 256.94/257.06 c | 257.06 | 0 | -711924 lb | 0 0 0.00 | 257.83/257.90 c | 257.91 | 0 | -711923 lb | 0 0 0.00 | 258.64/258.77 c | 258.77 | 0 | -711922 lb | 0 0 0.00 | 259.54/259.62 c | 259.62 | 0 | -711919 lb | 0 0 0.00 | 260.33/260.48 c | 260.49 | 0 | -711918 lb | 0 0 0.00 | 261.24/261.35 c | 261.35 | 0 | -711917 lb | 0 0 0.00 | 262.14/262.20 c | 262.20 | 0 | -711916 lb | 0 0 0.00 | 262.94/263.06 c | 263.07 | 0 | -711915 lb | 0 0 0.00 | 263.84/263.93 c | 263.93 | 0 | -711914 lb | 0 0 0.00 | 264.73/264.80 c | 264.80 | 0 | -711913 lb | 0 0 0.00 | 265.53/265.67 c | 265.67 | 0 | -711912 lb | 0 0 0.00 | 266.43/266.55 c | 266.55 | 0 | -711911 lb | 0 0 0.00 | 267.34/267.41 c | 267.42 | 0 | -711910 lb | 0 0 0.00 | 268.13/268.30 c | 268.30 | 0 | -711907 lb | 0 0 0.00 | 269.04/269.17 c | 269.17 | 0 | -711905 lb | 0 0 0.00 | 269.93/270.05 c | 270.05 | 0 | -711904 lb | 0 0 0.00 | 270.84/270.94 c | 270.94 | 0 | -711901 lb | 0 0 0.00 | 271.73/271.81 c | 271.81 | 0 | -711898 lb | 0 0 0.00 | 272.53/272.70 c | 272.70 | 0 | -711896 lb | 0 0 0.00 | 273.43/273.57 c | 273.57 | 0 | -711895 lb | 0 0 0.00 | 274.33/274.46 c | 274.46 | 0 | -711893 lb | 0 0 0.00 | 275.23/275.33 c | 275.33 | 0 | -711892 lb | 0 0 0.00 | 276.04/276.19 c | 276.19 | 0 | -711890 lb | 0 0 0.00 | 276.94/277.08 c | 277.08 | 0 | -711889 lb | 0 0 0.00 | 277.84/277.96 c | 277.96 | 0 | -711888 lb | 0 0 0.00 | 278.73/278.82 c | 278.82 | 0 | -711887 lb | 0 0 0.00 | 279.63/279.72 c | 279.72 | 0 | -711885 lb | 0 0 0.00 | 280.44/280.59 c | 280.60 | 0 | -711884 lb | 0 0 0.00 | 281.33/281.49 c | 281.49 | 0 | -711883 lb | 0 0 0.00 | 282.23/282.37 c | 282.37 | 0 | -711882 lb | 0 0 0.00 | 283.13/283.24 c | 283.24 | 0 | -711881 lb | 0 0 0.00 | 284.03/284.13 c | 284.13 | 0 | -711880 lb | 0 0 0.00 | 284.93/285.03 c | 285.03 | 0 | -711879 lb | 0 0 0.00 | 285.83/285.91 c | 285.91 | 0 | -711878 lb | 0 0 0.00 | 286.63/286.79 c | 286.80 | 0 | -711876 lb | 0 0 0.00 | 287.53/287.66 c | 287.66 | 0 | -711875 lb | 0 0 0.00 | 288.43/288.54 c | 288.55 | 0 | -711874 lb | 0 0 0.00 | 289.33/289.42 c | 289.42 | 0 | -711873 lb | 0 0 0.00 | 290.23/290.32 c | 290.32 | 0 | -711872 lb | 0 0 0.00 | 291.13/291.22 c | 291.23 | 0 | -711871 lb | 0 0 0.00 | 292.03/292.10 c | 292.10 | 0 | -711869 lb | 0 0 0.00 | 292.83/292.99 c | 293.00 | 0 | -711868 lb | 0 0 0.00 | 293.73/293.87 c | 293.87 | 0 | -711867 lb | 0 0 0.00 | 294.63/294.78 c | 294.78 | 0 | -711866 lb | 0 0 0.00 | 295.53/295.68 c | 295.68 | 0 | -711864 lb | 0 0 0.00 | 296.43/296.58 c | 296.58 | 0 | -711863 lb | 0 0 0.00 | 297.32/297.49 c | 297.49 | 0 | -711862 lb | 0 0 0.00 | 298.33/298.41 c | 298.41 | 0 | -711861 lb | 0 0 0.00 | 299.22/299.32 c | 299.33 | 0 | -711860 lb | 0 0 0.00 | 300.13/300.23 c | 300.23 | 0 | -711859 lb | 0 0 0.00 | 301.02/301.12 c | 301.12 | 0 | -711856 lb | 0 0 0.00 | 301.93/302.03 c | 302.04 | 0 | -711855 lb | 0 0 0.00 | 302.73/302.89 c | 302.89 | 0 | -711854 lb | 0 0 0.00 | 303.62/303.76 c | 303.77 | 0 | -711853 lb | 0 0 0.00 | 304.54/304.63 c | 304.64 | 0 | -711852 lb | 0 0 0.00 | 305.43/305.52 c | 305.52 | 0 | -711851 lb | 0 0 0.00 | 306.32/306.41 c | 306.42 | 0 | -711849 lb | 0 0 0.00 | 307.23/307.32 c | 307.33 | 0 | -711848 lb | 0 0 0.00 | 308.03/308.19 c | 308.19 | 0 | -711847 lb | 0 0 0.00 | 308.94/309.08 c | 309.08 | 0 | -711846 lb | 0 0 0.00 | 309.83/309.98 c | 309.98 | 0 | -711845 lb | 0 0 0.00 | 310.72/310.88 c | 310.89 | 0 | -711844 lb | 0 0 0.00 | 311.63/311.79 c | 311.79 | 0 | -711842 lb | 0 0 0.00 | 312.62/312.71 c | 312.71 | 0 | -711841 lb | 0 0 0.00 | 313.53/313.61 c | 313.61 | 0 | -711839 lb | 0 0 0.00 | 314.43/314.52 c | 314.52 | 0 | -711838 lb | 0 0 0.00 | 315.33/315.42 c | 315.43 | 0 | -711837 lb | 0 0 0.00 | 316.22/316.30 c | 316.31 | 0 | -711836 lb | 0 0 0.00 | 317.12/317.21 c | 317.22 | 0 | -711835 lb | 0 0 0.00 | 318.03/318.10 c | 318.10 | 0 | -711834 lb | 0 0 0.00 | 318.83/319.00 c | 319.00 | 0 | -711832 lb | 0 0 0.00 | 319.72/319.89 c | 319.89 | 0 | -711830 lb | 0 0 0.00 | 320.63/320.76 c | 320.77 | 0 | -711829 lb | 0 0 0.00 | 321.53/321.66 c | 321.66 | 0 | -711825 lb | 0 0 0.00 | 322.42/322.57 c | 322.57 | 0 | -711824 lb | 0 0 0.00 | 323.33/323.48 c | 323.48 | 0 | -711823 lb | 0 0 0.00 | 324.22/324.40 c | 324.40 | 0 | -711821 lb | 0 0 0.00 | 325.22/325.30 c | 325.30 | 0 | -711820 lb | 0 0 0.00 | 326.12/326.20 c | 326.20 | 0 | -711819 lb | 0 0 0.00 | 326.92/327.08 c | 327.08 | 0 | -711817 lb | 0 0 0.00 | 327.82/327.98 c | 327.99 | 0 | -711815 lb | 0 0 0.00 | 328.72/328.87 c | 328.87 | 0 | -711814 lb | 0 0 0.00 | 329.62/329.77 c | 329.78 | 0 | -711813 lb | 0 0 0.00 | 330.52/330.64 c | 330.64 | 0 | -711812 lb | 0 0 0.00 | 331.42/331.53 c | 331.53 | 0 | -711810 lb | 0 0 0.00 | 332.32/332.42 c | 332.43 | 0 | -711809 lb | 0 0 0.00 | 333.23/333.31 c | 333.32 | 0 | -711808 lb | 0 0 0.00 | 334.12/334.22 c | 334.23 | 0 | -711807 lb | 0 0 0.00 | 335.03/335.11 c | 335.12 | 0 | -711805 lb | 0 0 0.00 | 335.92/336.02 c | 336.03 | 0 | -711804 lb | 0 0 0.00 | 336.82/336.91 c | 336.91 | 0 | -711803 lb | 0 0 0.00 | 337.72/337.83 c | 337.83 | 0 | -711802 lb | 0 0 0.00 | 338.63/338.75 c | 338.75 | 0 | -711800 lb | 0 0 0.00 | 339.52/339.68 c | 339.68 | 0 | -711799 lb | 0 0 0.00 | 340.42/340.59 c | 340.60 | 0 | -711798 lb | 0 0 0.00 | 341.42/341.51 c | 341.52 | 0 | -711796 lb | 0 0 0.00 | 342.32/342.44 c | 342.45 | 0 | -711795 lb | 0 0 0.00 | 343.22/343.39 c | 343.40 | 0 | -711794 lb | 0 0 0.00 | 344.23/344.32 c | 344.32 | 0 | -711793 lb | 0 0 0.00 | 345.12/345.25 c | 345.26 | 0 | -711792 lb | 0 0 0.00 | 346.02/346.17 c | 346.17 | 0 | -711790 lb | 0 0 0.00 | 347.02/347.11 c | 347.11 | 0 | -711789 lb | 0 0 0.00 | 347.92/348.04 c | 348.04 | 0 | -711788 lb | 0 0 0.00 | 348.82/348.96 c | 348.96 | 0 | -711787 lb | 0 0 0.00 | 349.73/349.85 c | 349.85 | 0 | -711786 lb | 0 0 0.00 | 350.62/350.78 c | 350.78 | 0 | -711785 lb | 0 0 0.00 | 351.62/351.70 c | 351.70 | 0 | -711784 lb | 0 0 0.00 | 352.52/352.63 c | 352.63 | 0 | -711783 lb | 0 0 0.00 | 353.42/353.56 c | 353.56 | 0 | -711782 lb | 0 0 0.00 | 354.42/354.51 c | 354.51 | 0 | -711781 lb | 0 0 0.00 | 355.32/355.44 c | 355.44 | 0 | -711780 lb | 0 0 0.00 | 356.22/356.38 c | 356.38 | 0 | -711779 lb | 0 0 0.00 | 357.22/357.33 c | 357.34 | 0 | -711778 lb | 0 0 0.00 | 358.12/358.26 c | 358.26 | 0 | -711777 lb | 0 0 0.00 | 359.12/359.20 c | 359.20 | 0 | -711775 lb | 0 0 0.00 | 360.02/360.15 c | 360.15 | 0 | -711774 lb | 0 0 0.00 | 360.91/361.07 c | 361.07 | 0 | -711773 lb | 0 0 0.00 | 361.91/362.01 c | 362.01 | 0 | -711771 lb | 0 0 0.00 | 362.83/362.94 c | 362.94 | 0 | -711770 lb | 0 0 0.00 | 363.72/363.87 c | 363.88 | 0 | -711768 lb | 0 0 0.00 | 364.72/364.80 c | 364.80 | 0 | -711767 lb | 0 0 0.00 | 365.62/365.75 c | 365.75 | 0 | -711765 lb | 0 0 0.00 | 366.51/366.67 c | 366.67 | 0 | -711764 lb | 0 0 0.00 | 367.51/367.61 c | 367.62 | 0 | -711763 lb | 0 0 0.00 | 368.42/368.55 c | 368.56 | 0 | -711762 lb | 0 0 0.00 | 369.42/369.50 c | 369.51 | 0 | -711761 lb | 0 0 0.00 | 370.32/370.46 c | 370.47 | 0 | -711760 lb | 0 0 0.00 | 371.31/371.41 c | 371.41 | 0 | -711759 lb | 0 0 0.00 | 372.21/372.36 c | 372.37 | 0 | -711754 lb | 0 0 0.00 | 373.21/373.31 c | 373.31 | 0 | -711753 lb | 0 0 0.00 | 374.11/374.27 c | 374.27 | 0 | -711751 lb | 0 0 0.00 | 375.11/375.23 c | 375.23 | 0 | -711750 lb | 0 0 0.00 | 376.02/376.18 c | 376.19 | 0 | -711749 lb | 0 0 0.00 | 377.01/377.14 c | 377.14 | 0 | -711745 lb | 0 0 0.00 | 377.91/378.07 c | 378.08 | 0 | -711744 lb | 0 0 0.00 | 378.91/379.01 c | 379.01 | 0 | -711743 lb | 0 0 0.00 | 379.81/379.96 c | 379.96 | 0 | -711742 lb | 0 0 0.00 | 380.81/380.91 c | 380.91 | 0 | -711741 lb | 0 0 0.00 | 381.71/381.87 c | 381.87 | 0 | -711740 lb | 0 0 0.00 | 382.71/382.83 c | 382.83 | 0 | -711738 lb | 0 0 0.00 | 383.61/383.79 c | 383.79 | 0 | -711737 lb | 0 0 0.00 | 384.61/384.73 c | 384.74 | 0 | -711736 lb | 0 0 0.00 | 385.50/385.68 c | 385.69 | 0 | -711735 lb | 0 0 0.00 | 386.50/386.64 c | 386.64 | 0 | -711734 lb | 0 0 0.00 | 387.50/387.60 c | 387.60 | 0 | -711733 lb | 0 0 0.00 | 388.40/388.55 c | 388.56 | 0 | -711732 lb | 0 0 0.00 | 389.40/389.51 c | 389.51 | 0 | -711731 lb | 0 0 0.00 | 390.31/390.45 c | 390.46 | 0 | -711730 lb | 0 0 0.00 | 391.29/391.41 c | 391.42 | 0 | -711729 lb | 0 0 0.00 | 392.19/392.37 c | 392.38 | 0 | -711728 lb | 0 0 0.00 | 393.19/393.33 c | 393.33 | 0 | -711727 lb | 0 0 0.00 | 394.09/394.28 c | 394.29 | 0 | -711726 lb | 0 0 0.00 | 395.10/395.23 c | 395.24 | 0 | -711725 lb | 0 0 0.00 | 396.09/396.20 c | 396.21 | 0 | -711724 lb | 0 0 0.00 | 397.00/397.16 c | 397.17 | 0 | -711723 lb | 0 0 0.00 | 398.01/398.14 c | 398.14 | 0 | -711722 lb | 0 0 0.00 | 399.00/399.10 c | 399.10 | 0 | -711721 lb | 0 0 0.00 | 399.89/400.05 c | 400.05 | 0 | -711720 lb | 0 0 0.00 | 400.89/401.01 c | 401.02 | 0 | -711719 lb | 0 0 0.00 | 401.79/401.99 c | 401.99 | 0 | -711718 lb | 0 0 0.00 | 402.80/402.96 c | 402.97 | 0 | -711717 lb | 0 0 0.00 | 403.80/403.94 c | 403.94 | 0 | -711715 lb | 0 0 0.00 | 404.79/404.91 c | 404.91 | 0 | -711714 lb | 0 0 0.00 | 405.70/405.88 c | 405.88 | 0 | -711713 lb | 0 0 0.00 | 406.69/406.85 c | 406.85 | 0 | -711712 lb | 0 0 0.00 | 407.69/407.80 c | 407.81 | 0 | -711710 lb | 0 0 0.00 | 408.60/408.76 c | 408.77 | 0 | -711709 lb | 0 0 0.00 | 409.59/409.76 c | 409.77 | 0 | -711708 lb | 0 0 0.00 | 410.59/410.72 c | 410.72 | 0 | -711706 lb | 0 0 0.00 | 411.49/411.66 c | 411.67 | 0 | -711705 lb | 0 0 0.00 | 412.49/412.64 c | 412.64 | 0 | -711704 lb | 0 0 0.00 | 413.50/413.62 c | 413.62 | 0 | -711703 lb | 0 0 0.00 | 414.50/414.61 c | 414.61 | 0 | -711702 lb | 0 0 0.00 | 415.39/415.58 c | 415.59 | 0 | -711701 lb | 0 0 0.00 | 416.39/416.56 c | 416.56 | 0 | -711700 lb | 0 0 0.00 | 417.39/417.54 c | 417.54 | 0 | -711699 lb | 0 0 0.00 | 418.40/418.53 c | 418.53 | 0 | -711698 lb | 0 0 0.00 | 419.39/419.50 c | 419.50 | 0 | -711696 lb | 0 0 0.00 | 420.29/420.49 c | 420.50 | 0 | -711695 lb | 0 0 0.00 | 421.29/421.49 c | 421.50 | 0 | -711694 lb | 0 0 0.00 | 422.29/422.48 c | 422.48 | 0 | -711693 lb | 0 0 0.00 | 423.29/423.45 c | 423.45 | 0 | -711692 lb | 0 0 0.00 | 424.29/424.46 c | 424.46 | 0 | -711691 lb | 0 0 0.00 | 425.29/425.44 c | 425.45 | 0 | -711690 lb | 0 0 0.00 | 426.29/426.42 c | 426.42 | 0 | -711689 lb | 0 0 0.00 | 427.19/427.39 c | 427.39 | 0 | -711688 lb | 0 0 0.00 | 428.19/428.37 c | 428.37 | 0 | -711687 lb | 0 0 0.00 | 429.18/429.33 c | 429.34 | 0 | -711686 lb | 0 0 0.00 | 430.19/430.30 c | 430.31 | 0 | -711685 lb | 0 0 0.00 | 431.09/431.29 c | 431.29 | 0 | -711684 lb | 0 0 0.00 | 432.09/432.26 c | 432.26 | 0 | -711683 lb | 0 0 0.00 | 433.08/433.24 c | 433.24 | 0 | -711682 lb | 0 0 0.00 | 434.08/434.22 c | 434.23 | 0 | -711678 lb | 0 0 0.00 | 435.08/435.22 c | 435.22 | 0 | -711677 lb | 0 0 0.00 | 436.08/436.20 c | 436.20 | 0 | -711676 lb | 0 0 0.00 | 436.98/437.19 c | 437.19 | 0 | -711673 lb | 0 0 0.00 | 437.98/438.19 c | 438.19 | 0 | -711672 lb | 0 0 0.00 | 438.98/439.18 c | 439.19 | 0 | -711670 lb | 0 0 0.00 | 439.99/440.14 c | 440.14 | 0 | -711668 lb | 0 0 0.00 | 440.99/441.13 c | 441.13 | 0 | -711667 lb | 0 0 0.00 | 441.88/442.10 c | 442.10 | 0 | -711666 lb | 0 0 0.00 | 442.88/443.09 c | 443.09 | 0 | -711665 lb | 0 0 0.00 | 443.88/444.06 c | 444.07 | 0 | -711662 lb | 0 0 0.00 | 444.88/445.05 c | 445.05 | 0 | -711660 lb | 0 0 0.00 | 445.88/446.04 c | 446.05 | 0 | -711659 lb | 0 0 0.00 | 446.88/447.03 c | 447.04 | 0 | -711657 lb | 0 0 0.00 | 447.88/448.01 c | 448.01 | 0 | -711656 lb | 0 0 0.00 | 448.88/449.00 c | 449.00 | 0 | -711655 lb | 0 0 0.00 | 449.88/450.00 c | 450.01 | 0 | -711654 lb | 0 0 0.00 | 450.78/450.99 c | 450.99 | 0 | -711650 lb | 0 0 0.00 | 451.77/451.99 c | 451.99 | 0 | -711648 lb | 0 0 0.00 | 452.77/452.99 c | 453.00 | 0 | -711642 lb | 0 0 0.00 | 453.77/453.94 c | 453.94 | 0 | -711640 lb | 0 0 0.00 | 454.77/454.96 c | 454.96 | 0 | -711638 lb | 0 0 0.00 | 455.77/455.95 c | 455.96 | 0 | -711637 lb | 0 0 0.00 | 456.77/456.97 c | 456.97 | 0 | -711635 lb | 0 0 0.00 | 457.77/457.98 c | 457.99 | 0 | -711633 lb | 0 0 0.00 | 458.77/458.99 c | 458.99 | 0 | -711630 lb | 0 0 0.00 | 459.77/460.00 c | 460.00 | 0 | -711628 lb | 0 0 0.00 | 460.87/461.01 c | 461.02 | 0 | -711627 lb | 0 0 0.00 | 461.88/462.03 c | 462.04 | 0 | -711626 lb | 0 0 0.00 | 462.87/463.03 c | 463.03 | 0 | -711625 lb | 0 0 0.00 | 463.87/464.03 c | 464.03 | 0 | -711622 lb | 0 0 0.00 | 464.87/465.02 c | 465.03 | 0 | -711621 lb | 0 0 0.00 | 465.87/466.06 c | 466.06 | 0 | -711620 lb | 0 0 0.00 | 466.87/467.05 c | 467.05 | 0 | -711619 lb | 0 0 0.00 | 467.87/468.06 c | 468.06 | 0 | -711618 lb | 0 0 0.00 | 468.87/469.07 c | 469.07 | 0 | -711617 lb | 0 0 0.00 | 469.87/470.06 c | 470.07 | 0 | -711616 lb | 0 0 0.00 | 470.86/471.08 c | 471.09 | 0 | -711615 lb | 0 0 0.00 | 471.87/472.07 c | 472.07 | 0 | -711613 lb | 0 0 0.00 | 472.87/473.08 c | 473.09 | 0 | -711611 lb | 0 0 0.00 | 473.97/474.11 c | 474.11 | 0 | -711610 lb | 0 0 0.00 | 474.97/475.16 c | 475.16 | 0 | -711609 lb | 0 0 0.00 | 475.96/476.17 c | 476.17 | 0 | -711608 lb | 0 0 0.00 | 476.97/477.19 c | 477.20 | 0 | -711607 lb | 0 0 0.00 | 478.06/478.21 c | 478.21 | 0 | -711605 lb | 0 0 0.00 | 479.06/479.27 c | 479.27 | 0 | -711604 lb | 0 0 0.00 | 480.06/480.29 c | 480.30 | 0 | -711603 lb | 0 0 0.00 | 481.16/481.34 c | 481.35 | 0 | -711602 lb | 0 0 0.00 | 482.15/482.38 c | 482.38 | 0 | -711601 lb | 0 0 0.00 | 483.25/483.40 c | 483.40 | 0 | -711600 lb | 0 0 0.00 | 484.25/484.42 c | 484.42 | 0 | -711599 lb | 0 0 0.00 | 485.26/485.46 c | 485.46 | 0 | -711597 lb | 0 0 0.00 | 486.36/486.50 c | 486.51 | 0 | -711596 lb | 0 0 0.00 | 487.35/487.52 c | 487.52 | 0 | -711595 lb | 0 0 0.00 | 488.35/488.54 c | 488.55 | 0 | -711593 lb | 0 0 0.00 | 489.36/489.58 c | 489.58 | 0 | -711592 lb | 0 0 0.00 | 490.46/490.61 c | 490.62 | 0 | -711591 lb | 0 0 0.00 | 491.46/491.66 c | 491.67 | 0 | -711590 lb | 0 0 0.00 | 492.56/492.70 c | 492.71 | 0 | -711589 lb | 0 0 0.00 | 493.55/493.74 c | 493.75 | 0 | -711588 lb | 0 0 0.00 | 494.55/494.77 c | 494.78 | 0 | -711586 lb | 0 0 0.00 | 495.65/495.82 c | 495.82 | 0 | -711582 lb | 0 0 0.00 | 496.65/496.84 c | 496.84 | 0 | -711581 lb | 0 0 0.00 | 497.65/497.87 c | 497.88 | 0 | -711580 lb | 0 0 0.00 | 498.75/498.90 c | 498.91 | 0 | -711579 lb | 0 0 0.00 | 499.75/499.96 c | 499.96 | 0 | -711578 lb | 0 0 0.00 | 500.75/500.99 c | 501.00 | 0 | -711577 lb | 0 0 0.00 | 501.84/502.03 c | 502.03 | 0 | -711576 lb | 0 0 0.00 | 502.85/503.08 c | 503.09 | 0 | -711575 lb | 0 0 0.00 | 503.95/504.16 c | 504.16 | 0 | -711574 lb | 0 0 0.00 | 505.05/505.22 c | 505.22 | 0 | -711573 lb | 0 0 0.00 | 506.04/506.26 c | 506.27 | 0 | -711572 lb | 0 0 0.00 | 507.15/507.32 c | 507.32 | 0 | -711571 lb | 0 0 0.00 | 508.15/508.37 c | 508.37 | 0 | -711569 lb | 0 0 0.00 | 509.24/509.42 c | 509.42 | 0 | -711568 lb | 0 0 0.00 | 510.25/510.49 c | 510.50 | 0 | -711567 lb | 0 0 0.00 | 511.35/511.54 c | 511.55 | 0 | -711566 lb | 0 0 0.00 | 512.35/512.59 c | 512.59 | 0 | -711565 lb | 0 0 0.00 | 513.45/513.64 c | 513.65 | 0 | -711564 lb | 0 0 0.00 | 514.56/514.71 c | 514.71 | 0 | -711563 lb | 0 0 0.00 | 515.55/515.76 c | 515.76 | 0 | -711562 lb | 0 0 0.00 | 516.64/516.81 c | 516.81 | 0 | -711561 lb | 0 0 0.00 | 517.64/517.88 c | 517.89 | 0 | -711560 lb | 0 0 0.00 | 518.74/518.95 c | 518.95 | 0 | -711559 lb | 0 0 0.00 | 519.85/520.03 c | 520.03 | 0 | -711558 lb | 0 0 0.00 | 520.84/521.09 c | 521.09 | 0 | -711557 lb | 0 0 0.00 | 521.95/522.15 c | 522.15 | 0 | -711555 lb | 0 0 0.00 | 523.05/523.22 c | 523.23 | 0 | -711553 lb | 0 0 0.00 | 524.05/524.26 c | 524.26 | 0 | -711552 lb | 0 0 0.00 | 525.14/525.33 c | 525.33 | 0 | -711551 lb | 0 0 0.00 | 526.15/526.39 c | 526.39 | 0 | -711550 lb | 0 0 0.00 | 527.25/527.47 c | 527.47 | 0 | -711549 lb | 0 0 0.00 | 528.34/528.54 c | 528.54 | 0 | -711545 lb | 0 0 0.00 | 529.44/529.63 c | 529.63 | 0 | -711544 lb | 0 0 0.00 | 530.54/530.71 c | 530.71 | 0 | -711541 lb | 0 0 0.00 | 531.64/531.80 c | 531.80 | 0 | -711540 lb | 0 0 0.00 | 532.64/532.88 c | 532.88 | 0 | -711539 lb | 0 0 0.00 | 533.74/533.95 c | 533.96 | 0 | -711538 lb | 0 0 0.00 | 534.84/535.03 c | 535.04 | 0 | -711537 lb | 0 0 0.00 | 535.94/536.12 c | 536.12 | 0 | -711536 lb | 0 0 0.00 | 536.94/537.19 c | 537.20 | 0 | -711535 lb | 0 0 0.00 | 538.05/538.28 c | 538.28 | 0 | -711532 lb | 0 0 0.00 | 539.14/539.33 c | 539.34 | 0 | -711530 lb | 0 0 0.00 | 540.24/540.42 c | 540.42 | 0 | -711529 lb | 0 0 0.00 | 541.34/541.50 c | 541.50 | 0 | -711528 lb | 0 0 0.00 | 542.34/542.59 c | 542.59 | 0 | -711527 lb | 0 0 0.00 | 543.44/543.67 c | 543.68 | 0 | -711526 lb | 0 0 0.00 | 544.54/544.75 c | 544.76 | 0 | -711525 lb | 0 0 0.00 | 545.64/545.83 c | 545.84 | 0 | -711524 lb | 0 0 0.00 | 546.74/546.90 c | 546.91 | 0 | -711523 lb | 0 0 0.00 | 547.74/547.99 c | 548.00 | 0 | -711522 lb | 0 0 0.00 | 548.84/549.09 c | 549.09 | 0 | -711521 lb | 0 0 0.00 | 549.94/550.16 c | 550.16 | 0 | -711520 lb | 0 0 0.00 | 551.04/551.23 c | 551.23 | 0 | -711518 lb | 0 0 0.00 | 552.14/552.32 c | 552.32 | 0 | -711517 lb | 0 0 0.00 | 553.24/553.44 c | 553.44 | 0 | -711516 lb | 0 0 0.00 | 554.34/554.53 c | 554.54 | 0 | -711515 lb | 0 0 0.00 | 555.44/555.63 c | 555.64 | 0 | -711514 lb | 0 0 0.00 | 556.53/556.73 c | 556.73 | 0 | -711513 lb | 0 0 0.00 | 557.64/557.83 c | 557.83 | 0 | -711512 lb | 0 0 0.00 | 558.74/558.92 c | 558.93 | 0 | -711511 lb | 0 0 0.00 | 559.84/560.03 c | 560.03 | 0 | -711510 lb | 0 0 0.00 | 560.94/561.12 c | 561.12 | 0 | -711509 lb | 0 0 0.00 | 562.03/562.23 c | 562.23 | 0 | -711508 lb | 0 0 0.00 | 563.13/563.32 c | 563.32 | 0 | -711506 lb | 0 0 0.00 | 564.23/564.41 c | 564.42 | 0 | -711505 lb | 0 0 0.00 | 565.34/565.50 c | 565.51 | 0 | -711504 lb | 0 0 0.00 | 566.44/566.63 c | 566.63 | 0 | -711503 lb | 0 0 0.00 | 567.53/567.75 c | 567.75 | 0 | -711502 lb | 0 0 0.00 | 568.63/568.84 c | 568.85 | 0 | -711501 lb | 0 0 0.00 | 569.74/569.96 c | 569.96 | 0 | -711499 lb | 0 0 0.00 | 570.83/571.07 c | 571.08 | 0 | -711498 lb | 0 0 0.00 | 571.93/572.18 c | 572.18 | 0 | -711497 lb | 0 0 0.00 | 573.03/573.28 c | 573.28 | 0 | -711496 lb | 0 0 0.00 | 574.24/574.41 c | 574.41 | 0 | -711493 lb | 0 0 0.00 | 575.63/575.82 c | 575.82 | 0 | -711492 lb | 0 0 0.00 | 576.83/577.08 c | 577.08 | 0 | -711491 lb | 0 0 0.00 | 578.24/578.47 c | 578.48 | 0 | -711490 lb | 0 0 0.00 | 579.83/580.00 c | 580.00 | 0 | -711489 lb | 0 0 0.00 | 581.34/581.53 c | 581.53 | 0 | -711488 lb | 0 0 0.00 | 582.93/583.13 c | 583.13 | 0 | -711487 lb | 0 0 0.00 | 584.53/584.78 c | 584.79 | 0 | -711486 lb | 0 0 0.00 | 586.23/586.44 c | 586.45 | 0 | -711485 lb | 0 0 0.00 | 587.83/588.06 c | 588.07 | 0 | -711484 lb | 0 0 0.00 | 589.63/589.89 c | 589.89 | 0 | -711483 lb | 0 0 0.00 | 591.64/591.84 c | 591.85 | 0 | -711482 lb | 0 0 0.00 | 593.74/593.95 c | 593.96 | 0 | -711481 lb | 0 0 0.00 | 595.83/596.09 c | 596.10 | 0 | -711480 lb | 0 0 0.00 | 598.24/598.45 c | 598.46 | 0 | -711479 lb | 0 0 0.00 | 600.83/601.06 c | 601.06 | 0 | -711478 lb | 0 0 0.00 | 603.63/603.81 c | 603.81 | 0 | -711477 lb | 0 0 0.00 | 606.53/606.76 c | 606.76 | 0 | -711476 lb | 0 0 0.00 | 609.62/609.83 c | 609.84 | 0 | -711475 lb | 0 0 0.00 | 613.12/613.38 c | 613.38 | 0 | -711474 lb | 0 0 0.00 | 616.73/616.93 c | 616.93 | 0 | -711473 lb | 0 0 0.00 | 620.42/620.60 c | 620.60 | 0 | -711472 lb | 0 0 0.00 | 624.22/624.42 c | 624.42 | 0 | -711471 lb | 0 0 0.00 | 628.02/628.23 c | 628.23 | 0 | -711470 lb | 0 0 0.00 | 631.92/632.14 c | 632.14 | 0 | -711469 lb | 0 0 0.00 | 635.92/636.16 c | 636.16 | 0 | -711468 lb | 0 0 0.00 | 640.23/640.42 c | 640.42 | 0 | -711467 lb | 0 0 0.00 | 644.62/644.83 c | 644.83 | 0 | -711466 lb | 0 0 0.00 | 648.92/649.12 c | 649.12 | 0 | -711465 lb | 0 0 0.00 | 653.22/653.41 c | 653.41 | 0 | -711464 lb | 0 0 0.00 | 657.72/657.92 c | 657.92 | 0 | -711463 lb | 0 0 0.00 | 662.32/662.55 c | 662.56 | 0 | -711462 lb | 0 0 0.00 | 667.12/667.36 c | 667.36 | 0 | -711461 lb | 0 0 0.00 | 672.01/672.24 c | 672.24 | 0 | -711460 lb | 0 0 0.00 | 676.92/677.16 c | 677.16 | 0 | -711459 lb | 0 0 0.00 | 682.02/682.23 c | 682.24 | 0 | -711458 lb | 0 0 0.00 | 687.12/687.36 c | 687.36 | 0 | -711457 lb | 0 0 0.00 | 692.31/692.55 c | 692.55 | 0 | -711456 lb | 0 0 0.00 | 697.51/697.79 c | 697.79 | 0 | -711455 lb | 0 0 0.00 | 702.91/703.15 c | 703.16 | 0 | -711454 lb | 0 0 0.00 | 708.72/708.98 c | 708.98 | 0 | -711453 lb | 0 0 0.00 | 714.21/714.45 c | 714.45 | 0 | -711452 lb | 0 0 0.00 | 719.91/720.17 c | 720.17 | 0 | -711451 lb | 0 0 0.00 | 725.51/725.71 c | 725.72 | 0 | -711450 lb | 0 0 0.00 | 731.21/731.42 c | 731.43 | 0 | -711449 lb | 0 0 0.00 | 736.82/737.07 c | 737.07 | 0 | -711448 lb | 0 0 0.00 | 742.81/743.02 c | 743.02 | 0 | -711447 lb | 0 0 0.00 | 748.51/748.76 c | 748.77 | 0 | -711446 lb | 0 0 0.00 | 754.50/754.79 c | 754.79 | 0 | -711445 lb | 0 0 0.00 | 760.40/760.66 c | 760.66 | 0 | -711444 lb | 0 0 0.00 | 766.51/766.78 c | 766.78 | 0 | -711443 lb | 0 0 0.00 | 772.21/772.45 c | 772.46 | 0 | -711442 lb | 0 0 0.00 | 778.51/778.73 c | 778.74 | 0 | -711441 lb | 0 0 0.00 | 784.41/784.69 c | 784.70 | 0 | -711440 lb | 0 0 0.00 | 790.90/791.11 c | 791.11 | 0 | -711439 lb | 0 0 0.00 | 796.90/797.18 c | 797.18 | 0 | -711438 lb | 0 0 0.00 | 803.30/803.56 c | 803.57 | 0 | -711437 lb | 0 0 0.00 | 809.41/809.65 c | 809.66 | 0 | -711436 lb | 0 0 0.00 | 815.91/816.17 c | 816.18 | 0 | -711435 lb | 0 0 0.00 | 822.00/822.26 c | 822.26 | 0 | -711434 lb | 0 0 0.00 | 828.19/828.48 c | 828.49 | 0 | -711433 lb | 0 0 0.00 | 834.39/834.61 c | 834.62 | 0 | -711432 lb | 0 0 0.00 | 840.79/841.07 c | 841.07 | 0 | -711431 lb | 0 0 0.00 | 847.19/847.42 c | 847.42 | 0 | -711430 lb | 0 0 0.00 | 854.09/854.32 c | 854.32 | 0 | -711429 lb | 0 0 0.00 | 860.59/860.89 c | 860.89 | 0 | -711428 lb | 0 0 0.00 | 867.69/867.96 c | 867.97 | 0 | -711427 lb | 0 0 0.00 | 874.19/874.47 c | 874.48 | 0 | -711426 lb | 0 0 0.00 | 880.90/881.17 c | 881.17 | 0 | -711425 lb | 0 0 0.00 | 887.19/887.48 c | 887.48 | 0 | -711424 lb | 0 0 0.00 | 893.88/894.18 c | 894.19 | 0 | -711423 lb | 0 0 0.00 | 900.28/900.59 c | 900.60 | 0 | -711422 lb | 0 0 0.00 | 908.29/908.52 c | 908.52 | 0 | -711421 lb | 0 0 0.00 | 914.78/915.07 c | 915.08 | 0 | -711420 lb | 0 0 0.00 | 921.88/922.16 c | 922.16 | 0 | -711419 lb | 0 0 0.00 | 928.68/928.96 c | 928.96 | 0 | -711418 lb | 0 0 0.00 | 935.97/936.29 c | 936.29 | 0 | -711417 lb | 0 0 0.00 | 942.67/942.96 c | 942.97 | 0 | -711416 lb | 0 0 0.00 | 949.68/949.92 c | 949.93 | 0 | -711415 lb | 0 0 0.00 | 956.48/956.70 c | 956.71 | 0 | -711414 lb | 0 0 0.00 | 963.47/963.70 c | 963.70 | 0 | -711413 lb | 0 0 0.00 | 970.27/970.55 c | 970.56 | 0 | -711412 lb | 0 0 0.00 | 977.07/977.34 c | 977.34 | 0 | -711411 lb | 0 0 0.00 | 983.57/983.83 c | 983.83 | 0 | -711410 lb | 0 0 0.00 | 990.27/990.50 c | 990.50 | 0 | -711409 lb | 0 0 0.00 | 996.67/996.97 c | 996.97 | 0 | -711408 lb | 0 0 0.00 | 1003.36/1003.61 c | 1003.61 | 0 | -711407 lb | 0 0 0.00 | 1010.96/1011.26 c | 1011.26 | 0 | -711406 lb | 0 0 0.00 | 1017.57/1017.80 c | 1017.80 | 0 | -711405 lb | 0 0 0.00 | 1023.87/1024.14 c | 1024.14 | 0 | -711404 lb | 0 0 0.00 | 1030.37/1030.66 c | 1030.66 | 0 | -711403 lb | 0 0 0.00 | 1036.76/1037.05 c | 1037.05 | 0 | -711402 lb | 0 0 0.00 | 1043.26/1043.58 c | 1043.58 | 0 | -711401 lb | 0 0 0.00 | 1049.56/1049.81 c | 1049.81 | 0 | -711400 lb | 0 0 0.00 | 1055.86/1056.19 c | 1056.19 | 0 | -711399 lb | 0 0 0.00 | 1062.06/1062.34 c | 1062.34 | 0 | -711398 lb | 0 0 0.00 | 1068.45/1068.71 c | 1068.71 | 0 | -711397 lb | 0 0 0.00 | 1074.56/1074.86 c | 1074.86 | 0 | -711396 lb | 0 0 0.00 | 1080.75/1081.00 c | 1081.00 | 0 | -711395 lb | 0 0 0.00 | 1086.65/1086.93 c | 1086.93 | 0 | -711394 lb | 0 0 0.00 | 1092.46/1092.77 c | 1092.77 | 0 | -711393 lb | 0 0 0.00 | 1098.56/1098.83 c | 1098.83 | 0 | -711392 lb | 0 0 0.00 | 1104.85/1105.16 c | 1105.17 | 0 | -711391 lb | 0 0 0.00 | 1110.85/1111.16 c | 1111.16 | 0 | -711390 lb | 0 0 0.00 | 1116.95/1117.25 c | 1117.25 | 0 | -711389 lb | 0 0 0.00 | 1123.15/1123.45 c | 1123.45 | 0 | -711388 lb | 0 0 0.00 | 1129.35/1129.66 c | 1129.67 | 0 | -711387 lb | 0 0 0.00 | 1135.24/1135.54 c | 1135.54 | 0 | -711386 lb | 0 0 0.00 | 1141.46/1141.78 c | 1141.79 | 0 | -711385 lb | 0 0 0.00 | 1147.35/1147.68 c | 1147.68 | 0 | -711384 lb | 0 0 0.00 | 1153.14/1153.48 c | 1153.48 | 0 | -711383 lb | 0 0 0.00 | 1158.94/1159.21 c | 1159.21 | 0 | -711382 lb | 0 0 0.00 | 1164.55/1164.88 c | 1164.88 | 0 | -711381 lb | 0 0 0.00 | 1170.94/1171.28 c | 1171.29 | 0 | -711380 lb | 0 0 0.00 | 1176.54/1176.81 c | 1176.81 | 0 | -711379 lb | 0 0 0.00 | 1183.25/1183.55 c | 1183.56 | 0 | -711378 lb | 0 0 0.00 | 1188.54/1188.86 c | 1188.86 | 0 | -711377 lb | 0 0 0.00 | 1193.84/1194.15 c | 1194.15 | 0 | -711376 lb | 0 0 0.00 | 1199.75/1200.06 c | 1200.06 | 0 | -711375 lb | 0 0 0.00 | 1205.64/1205.99 c | 1205.99 | 0 | -711374 lb | 0 0 0.00 | 1211.44/1211.78 c | 1211.79 | 0 | -711373 lb | 0 0 0.00 | 1217.23/1217.59 c | 1217.59 | 0 | -711372 lb | 0 0 0.00 | 1222.84/1223.18 c | 1223.19 | 0 | -711371 lb | 0 0 0.00 | 1228.54/1228.85 c | 1228.85 | 0 | -711370 lb | 0 0 0.00 | 1234.13/1234.48 c | 1234.48 | 0 | -711369 lb | 0 0 0.00 | 1239.63/1239.98 c | 1239.98 | 0 | -711368 lb | 0 0 0.00 | 1245.13/1245.47 c | 1245.48 | 0 | -711367 lb | 0 0 0.00 | 1250.63/1250.99 c | 1250.99 | 0 | -711366 lb | 0 0 0.00 | 1255.93/1256.23 c | 1256.23 | 0 | -711365 lb | 0 0 0.00 | 1261.23/1261.50 c | 1261.50 | 0 | -711364 lb | 0 0 0.00 | 1266.33/1266.69 c | 1266.69 | 0 | -711363 lb | 0 0 0.00 | 1271.53/1271.85 c | 1271.85 | 0 | -711362 lb | 0 0 0.00 | 1276.63/1276.99 c | 1276.99 | 0 | -711361 lb | 0 0 0.00 | 1281.92/1282.21 c | 1282.21 | 0 | -711360 lb | 0 0 0.00 | 1287.32/1287.60 c | 1287.60 | 0 | -711359 lb | 0 0 0.00 | 1292.72/1293.03 c | 1293.03 | 0 | -711358 lb | 0 0 0.00 | 1297.83/1298.17 c | 1298.17 | 0 | -711357 lb | 0 0 0.00 | 1302.92/1303.25 c | 1303.26 | 0 | -711356 lb | 0 0 0.00 | 1308.02/1308.30 c | 1308.31 | 0 | -711355 lb | 0 0 0.00 | 1313.13/1313.43 c | 1313.44 | 0 | -711354 lb | 0 0 0.00 | 1318.12/1318.42 c | 1318.43 | 0 | -711353 lb | 0 0 0.00 | 1323.12/1323.47 c | 1323.48 | 0 | -711352 lb | 0 0 0.00 | 1328.12/1328.43 c | 1328.43 | 0 | -711351 lb | 0 0 0.00 | 1333.22/1333.52 c | 1333.52 | 0 | -711350 lb | 0 0 0.00 | 1338.32/1338.69 c | 1338.69 | 0 | -711349 lb | 0 0 0.00 | 1343.62/1343.93 c | 1343.93 | 0 | -711348 lb | 0 0 0.00 | 1348.82/1349.15 c | 1349.16 | 0 | -711347 lb | 0 0 0.00 | 1354.01/1354.33 c | 1354.33 | 0 | -711346 lb | 0 0 0.00 | 1359.01/1359.32 c | 1359.32 | 0 | -711345 lb | 0 0 0.00 | 1364.31/1364.61 c | 1364.61 | 0 | -711344 lb | 0 0 0.00 | 1369.21/1369.57 c | 1369.58 | 0 | -711343 lb | 0 0 0.00 | 1374.21/1374.55 c | 1374.56 | 0 | -711342 lb | 0 0 0.00 | 1379.12/1379.41 c | 1379.42 | 0 | -711341 lb | 0 0 0.00 | 1384.01/1384.32 c | 1384.32 | 0 | -711340 lb | 0 0 0.00 | 1389.01/1389.36 c | 1389.36 | 0 | -711339 lb | 0 0 0.00 | 1394.01/1394.34 c | 1394.34 | 0 | -711338 lb | 0 0 0.00 | 1398.92/1399.27 c | 1399.27 | 0 | -711337 lb | 0 0 0.00 | 1404.10/1404.43 c | 1404.44 | 0 | -711336 lb | 0 0 0.00 | 1409.01/1409.37 c | 1409.38 | 0 | -711335 lb | 0 0 0.00 | 1413.91/1414.26 c | 1414.26 | 0 | -711334 lb | 0 0 0.00 | 1418.80/1419.14 c | 1419.14 | 0 | -711333 lb | 0 0 0.00 | 1423.50/1423.89 c | 1423.89 | 0 | -711332 lb | 0 0 0.00 | 1428.30/1428.66 c | 1428.67 | 0 | -711331 lb | 0 0 0.00 | 1433.10/1433.42 c | 1433.42 | 0 | -711330 lb | 0 0 0.00 | 1437.70/1438.06 c | 1438.07 | 0 | -711329 lb | 0 0 0.00 | 1442.40/1442.78 c | 1442.78 | 0 | -711328 lb | 0 0 0.00 | 1447.00/1447.36 c | 1447.37 | 0 | -711327 lb | 0 0 0.00 | 1451.50/1451.84 c | 1451.85 | 0 | -711326 lb | 0 0 0.00 | 1456.10/1456.46 c | 1456.46 | 0 | -711325 lb | 0 0 0.00 | 1460.70/1461.06 c | 1461.07 | 0 | -711324 lb | 0 0 0.00 | 1465.60/1465.95 c | 1465.95 | 0 | -711323 lb | 0 0 0.00 | 1470.19/1470.60 c | 1470.61 | 0 | -711322 lb | 0 0 0.00 | 1474.80/1475.18 c | 1475.18 | 0 | -711321 lb | 0 0 0.00 | 1479.90/1480.23 c | 1480.23 | 0 | -711320 lb | 0 0 0.00 | 1484.60/1484.92 c | 1484.92 | 0 | -711319 lb | 0 0 0.00 | 1489.30/1489.62 c | 1489.63 | 0 | -711318 lb | 0 0 0.00 | 1494.10/1494.48 c | 1494.48 | 0 | -711317 lb | 0 0 0.00 | 1499.00/1499.31 c | 1499.32 | 0 | -711316 lb | 0 0 0.00 | 1503.40/1503.74 c | 1503.75 | 0 | -711315 lb | 0 0 0.00 | 1507.89/1508.22 c | 1508.23 | 0 | -711314 lb | 0 0 0.00 | 1512.29/1512.63 c | 1512.63 | 0 | -711313 lb | 0 0 0.00 | 1516.79/1517.13 c | 1517.13 | 0 | -711312 lb | 0 0 0.00 | 1521.18/1521.54 c | 1521.54 | 0 | -711311 lb | 0 0 0.00 | 1525.49/1525.86 c | 1525.86 | 0 | -711310 lb | 0 0 0.00 | 1530.58/1530.92 c | 1530.92 | 0 | -711309 lb | 0 0 0.00 | 1536.89/1537.22 c | 1537.22 | 0 | -711308 lb | 0 0 0.00 | 1542.79/1543.12 c | 1543.12 | 0 | -711307 lb | 0 0 0.00 | 1548.39/1548.79 c | 1548.79 | 0 | -711306 lb | 0 0 0.00 | 1554.28/1554.67 c | 1554.67 | 0 | -711305 lb | 0 0 0.00 | 1559.29/1559.69 c | 1559.69 | 0 | -711304 lb | 0 0 0.00 | 1564.99/1565.37 c | 1565.37 | 0 | -711303 lb | 0 0 0.00 | 1570.78/1571.19 c | 1571.20 | 0 | -711302 lb | 0 0 0.00 | 1576.58/1576.97 c | 1576.97 | 0 | -711301 lb | 0 0 0.00 | 1581.38/1581.71 c | 1581.71 | 0 | -711300 lb | 0 0 0.00 | 1586.28/1586.60 c | 1586.60 | 0 | -711299 lb | 0 0 0.00 | 1591.88/1592.24 c | 1592.25 | 0 | -711298 lb | 0 0 0.00 | 1598.68/1599.03 c | 1599.04 | 0 | -711297 lb | 0 0 0.00 | 1603.18/1603.50 c | 1603.51 | 0 | -711296 lb | 0 0 0.00 | 1607.79/1608.19 c | 1608.19 | 0 | -711295 lb | 0 0 0.00 | 1612.28/1612.63 c | 1612.63 | 0 | -711294 lb | 0 0 0.00 | 1617.37/1617.70 c | 1617.70 | 0 | -711293 lb | 0 0 0.00 | 1622.58/1622.99 c | 1622.99 | 0 | -711292 lb | 0 0 0.00 | 1628.18/1628.51 c | 1628.51 | 0 | -711291 lb | 0 0 0.00 | 1634.47/1634.80 c | 1634.80 | 0 | -711290 lb | 0 0 0.00 | 1639.37/1639.75 c | 1639.75 | 0 | -711289 lb | 0 0 0.00 | 1643.97/1644.32 c | 1644.32 | 0 | -711288 lb | 0 0 0.00 | 1648.37/1648.76 c | 1648.76 | 0 | -711287 lb | 0 0 0.00 | 1652.76/1653.13 c | 1653.13 | 0 | -711286 lb | 0 0 0.00 | 1658.07/1658.48 c | 1658.48 | 0 | -711285 lb | 0 0 0.00 | 1664.16/1664.56 c | 1664.57 | 0 | -711284 lb | 0 0 0.00 | 1670.27/1670.66 c | 1670.66 | 0 | -711283 lb | 0 0 0.00 | 1675.66/1676.06 c | 1676.06 | 0 | -711282 lb | 0 0 0.00 | 1680.96/1681.35 c | 1681.35 | 0 | -711281 lb | 0 0 0.00 | 1686.27/1686.67 c | 1686.67 | 0 | -711280 lb | 0 0 0.00 | 1691.76/1692.11 c | 1692.12 | 0 | -711279 lb | 0 0 0.00 | 1697.16/1697.52 c | 1697.52 | 0 | -711278 lb | 0 0 0.00 | 1703.57/1703.99 c | 1704.00 | 0 | -711277 lb | 0 0 0.00 | 1708.56/1708.96 c | 1708.96 | 0 | -711276 lb | 0 0 0.00 | 1713.36/1713.80 c | 1713.80 | 0 | -711275 lb | 0 0 0.00 | 1718.76/1719.13 c | 1719.13 | 0 | -711274 lb | 0 0 0.00 | 1724.76/1725.17 c | 1725.18 | 0 | -711273 lb | 0 0 0.00 | 1730.06/1730.41 c | 1730.42 | 0 | -711272 lb | 0 0 0.00 | 1735.46/1735.83 c | 1735.83 | 0 | -711271 lb | 0 0 0.00 | 1739.56/1739.94 c | 1739.94 | 0 | -711270 lb | 0 0 0.00 | 1744.75/1745.12 c | 1745.13 | 0 | -711269 lb | 0 0 0.00 | 1749.56/1749.93 c | 1749.94 | 0 | -711268 lb | 0 0 0.00 | 1754.75/1755.12 c | 1755.12 | 0 | -711267 lb | 0 0 0.00 | 1759.56/1759.93 c | 1759.94 | 0 | -711266 lb | 0 0 0.00 | 1764.96/1765.38 c | 1765.39 | 0 | -711265 lb | 0 0 0.00 | 1769.95/1770.37 c | 1770.37 | 0 | -711264 lb | 0 0 0.00 | 1775.55/1775.93 c | 1775.93 | 0 | -711263 lb | 0 0 0.00 | 1779.35/1779.77 c | 1779.77 | 0 | -711262 lb | 0 0 0.00 | 1784.44/1784.82 c | 1784.83 | 0 | -711261 lb | 0 0 0.00 | 1789.36/1789.72 c | 1789.72 | 0 | -711260 lb | 0 0 0.00 | 1794.35/1794.70 c | 1794.70 | 0 | -711259 lb | 0 0 0.00 | 1799.64/1800.00 c =============================================================================== 1799.64/1800.00 c Wall Clock Time: 1800.00 s 1799.64/1800.00 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3705603-1338159293/watcher-3705603-1338159293 -o /tmp/evaluation-result-3705603-1338159293/solver-3705603-1338159293 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705603-1338159293.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.02 2.00 3/171 15359 /proc/meminfo: memFree=31050948/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=31820 CPUtime=0 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) R 15357 15359 15230 0 -1 4202496 581 0 0 0 0 0 0 0 20 0 1 0 282057971 32583680 533 33554432000 4194304 5963574 140736411107472 140736020254120 4395065 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 7955 533 174 432 0 627 0 [startup+0.0254309 s] /proc/loadavg: 2.04 2.02 2.00 3/171 15359 /proc/meminfo: memFree=31050948/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=35060 CPUtime=0.02 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) R 15357 15359 15230 0 -1 4202496 1334 0 0 0 2 0 0 0 20 0 1 0 282057971 35901440 1286 33554432000 4194304 5963574 140736411107472 140736020254120 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 8765 1287 240 432 0 1437 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 35060 [startup+0.100236 s] /proc/loadavg: 2.04 2.02 2.00 3/171 15359 /proc/meminfo: memFree=31050948/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=42360 CPUtime=0.09 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) R 15357 15359 15230 0 -1 4202496 3374 0 0 0 9 0 0 0 20 0 1 0 282057971 43376640 3212 33554432000 4194304 5963574 140736411107472 140736020254120 4419071 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 10590 3214 490 432 0 3262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42360 [startup+0.300214 s] /proc/loadavg: 2.04 2.02 2.00 3/171 15359 /proc/meminfo: memFree=31050948/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=53672 CPUtime=0.29 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) R 15357 15359 15230 0 -1 4202496 6998 0 0 0 28 1 0 0 20 0 1 0 282057971 54960128 6699 33554432000 4194304 5963574 140736411107472 140736020254120 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 13418 6699 1083 432 0 6090 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53672 [startup+0.700222 s] /proc/loadavg: 2.04 2.02 2.00 3/171 15359 /proc/meminfo: memFree=31050948/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=86276 CPUtime=0.69 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) R 15357 15359 15230 0 -1 4202496 16130 0 0 0 66 3 0 0 20 0 1 0 282057971 88346624 15173 33554432000 4194304 5963574 140736411107472 140736020254120 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 21569 15173 2243 432 0 14241 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 86276 [startup+1.50022 s] /proc/loadavg: 2.04 2.02 2.00 3/177 15370 /proc/meminfo: memFree=30908616/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=135184 CPUtime=1.48 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) R 15357 15359 15230 0 -1 4202496 29509 0 0 0 143 5 0 0 20 0 1 0 282057971 138428416 29541 33554432000 4194304 5963574 140736411107472 140736411106072 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 33796 29541 4025 432 0 26468 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 135184 [startup+3.10017 s] /proc/loadavg: 2.04 2.02 2.00 3/177 15370 /proc/meminfo: memFree=30783084/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=293132 CPUtime=3.09 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 54660 0 0 0 300 9 0 0 20 0 2 0 282057971 300167168 51316 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 73283 51316 177 432 0 72848 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 293132 [startup+6.30031 s] /proc/loadavg: 2.20 2.06 2.01 3/179 15372 /proc/meminfo: memFree=30055772/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=565652 CPUtime=6.29 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 115334 0 0 0 604 25 0 0 20 0 2 0 282057971 579227648 126193 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 141413 126193 195 432 0 140978 0 [pid=15359/tid=15372] ppid=15357 vsize=565652 CPUtime=3.23 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 68076 0 0 0 306 17 0 0 20 0 2 0 282058277 579227648 126193 33554432000 4194304 5963574 140736411107472 139712247408984 4394362 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 565652 [startup+12.7004 s] /proc/loadavg: 2.26 2.07 2.02 3/179 15372 /proc/meminfo: memFree=29961972/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=565652 CPUtime=12.68 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 122195 0 0 0 1241 27 0 0 20 0 2 0 282057971 579227648 133518 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 141413 133518 195 432 0 140978 0 [pid=15359/tid=15372] ppid=15357 vsize=565652 CPUtime=9.63 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 74937 0 0 0 943 20 0 0 20 0 2 0 282058277 579227648 133518 33554432000 4194304 5963574 140736411107472 139712247409176 4444334 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 565652 [startup+25.5004 s] /proc/loadavg: 2.20 2.07 2.02 3/179 15372 /proc/meminfo: memFree=29882804/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=631188 CPUtime=25.49 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 140117 0 0 0 2514 35 0 0 20 0 2 0 282057971 646336512 147517 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 157797 147517 195 432 0 157362 0 [pid=15359/tid=15372] ppid=15357 vsize=631188 CPUtime=22.43 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 92859 0 0 0 2216 27 0 0 20 0 2 0 282058277 646336512 147517 33554432000 4194304 5963574 140736411107472 139712247409176 4419075 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 631188 [startup+51.1003 s] /proc/loadavg: 2.13 2.06 2.01 3/179 15372 /proc/meminfo: memFree=29569896/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=778780 CPUtime=51.07 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 167212 0 0 0 5059 48 0 0 20 0 2 0 282057971 797470720 179924 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 194695 179924 195 432 0 194260 0 [pid=15359/tid=15372] ppid=15357 vsize=778780 CPUtime=48.03 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 119954 0 0 0 4762 41 0 0 20 0 2 0 282058277 797470720 179924 33554432000 4194304 5963574 140736411107472 139712247409176 5138318 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 778780 [startup+102.307 s] /proc/loadavg: 2.16 2.08 2.02 3/179 15373 /proc/meminfo: memFree=29084672/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=1106540 CPUtime=102.28 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 214455 0 0 0 10140 88 0 0 20 0 2 0 282057971 1133096960 244689 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 276635 244689 195 432 0 276200 0 [pid=15359/tid=15372] ppid=15357 vsize=1106540 CPUtime=99.24 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 167197 0 0 0 9843 81 0 0 20 0 2 0 282058277 1133096960 244689 33554432000 4194304 5963574 140736411107472 139712247409176 5138270 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1106540 [startup+162.3 s] /proc/loadavg: 2.06 2.06 2.01 3/179 15373 /proc/meminfo: memFree=28446636/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=1507880 CPUtime=162.26 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 255268 0 0 0 16107 119 0 0 20 0 2 0 282057971 1544069120 314839 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 376970 314839 195 432 0 376535 0 [pid=15359/tid=15372] ppid=15357 vsize=1507880 CPUtime=159.23 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 208010 0 0 0 15809 114 0 0 20 0 2 0 282058277 1544069120 314839 33554432000 4194304 5963574 140736411107472 139712247409176 4374795 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1507880 [startup+222.3 s] /proc/loadavg: 2.02 2.05 2.01 3/179 15373 /proc/meminfo: memFree=27847004/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=1835560 CPUtime=222.24 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 283327 0 0 0 22072 152 0 0 20 0 2 0 282057971 1879613440 385517 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 458890 385517 195 432 0 458455 0 [pid=15359/tid=15372] ppid=15357 vsize=1835560 CPUtime=219.23 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 236069 0 0 0 21775 148 0 0 20 0 2 0 282058277 1879613440 385517 33554432000 4194304 5963574 140736411107472 139712247409176 5142736 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 1835560 [startup+282.3 s] /proc/loadavg: 2.01 2.04 2.00 3/179 15373 /proc/meminfo: memFree=27500280/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=2077368 CPUtime=282.23 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 369632 0 0 0 27974 249 0 0 20 0 2 0 282057971 2127224832 434211 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 519342 434211 195 432 0 518907 0 [pid=15359/tid=15372] ppid=15357 vsize=2077368 CPUtime=279.23 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 322374 0 0 0 27678 245 0 0 20 0 2 0 282058277 2127224832 434211 33554432000 4194304 5963574 140736411107472 139712247409048 5121576 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 2077368 [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.00 3/180 15376 /proc/meminfo: memFree=27107432/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=2388728 CPUtime=342.22 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 511253 0 0 0 33830 392 0 0 20 0 2 0 282057971 2446057472 505206 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 597182 505206 195 432 0 596747 0 [pid=15359/tid=15372] ppid=15357 vsize=2388728 CPUtime=339.23 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 463995 0 0 0 33534 389 0 0 20 0 2 0 282058277 2446057472 505206 33554432000 4194304 5963574 140736411107472 139712247409048 5129994 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 2388728 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/180 15400 /proc/meminfo: memFree=26742640/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=2613960 CPUtime=402.19 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 668959 0 0 0 39678 541 0 0 20 0 2 0 282057971 2676695040 564398 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 653490 564398 195 432 0 653055 0 [pid=15359/tid=15372] ppid=15357 vsize=2613960 CPUtime=399.21 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 621701 0 0 0 39382 539 0 0 20 0 2 0 282058277 2676695040 564398 33554432000 4194304 5963574 140736411107472 139712247409592 4444334 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 2613960 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 15400 /proc/meminfo: memFree=26346688/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=2904728 CPUtime=462.17 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 808328 0 0 0 45538 679 0 0 20 0 2 0 282057971 2974441472 630977 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 726182 630977 195 432 0 725747 0 [pid=15359/tid=15372] ppid=15357 vsize=2904728 CPUtime=459.2 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 761070 0 0 0 45242 678 0 0 20 0 2 0 282058277 2974441472 630977 33554432000 4194304 5963574 140736411107472 139712247409592 5138318 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 ################ # More data... # ################ /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1345562 0 0 0 128689 1234 0 0 20 0 2 0 282058277 4173914112 908669 33554432000 4194304 5963574 140736411107472 139712247409592 4399390 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 4076088 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15406 /proc/meminfo: memFree=22918484/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4182636 CPUtime=1362.01 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1425584 0 0 0 134952 1249 0 0 20 0 2 0 282057971 4283019264 930351 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1045659 930351 198 432 0 1045224 0 [pid=15359/tid=15372] ppid=15357 vsize=4182636 CPUtime=1359.22 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1378326 0 0 0 134660 1262 0 0 20 0 2 0 282058277 4283019264 930351 33554432000 4194304 5963574 140736411107472 139712247409592 4408747 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 4182636 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15406 /proc/meminfo: memFree=22900024/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4158112 CPUtime=1422.01 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1457356 0 0 0 140924 1277 0 0 20 0 2 0 282057971 4257906688 935359 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1039528 935359 198 432 0 1039093 0 [pid=15359/tid=15372] ppid=15357 vsize=4158112 CPUtime=1419.23 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1410098 0 0 0 140632 1291 0 0 20 0 2 0 282058277 4257906688 935359 33554432000 4194304 5963574 140736411107472 139712247409432 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 4158112 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15406 /proc/meminfo: memFree=22569964/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4358824 CPUtime=1482 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1478540 0 0 0 146895 1305 0 0 20 0 2 0 282057971 4463435776 961995 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1089706 961995 198 432 0 1089271 0 [pid=15359/tid=15372] ppid=15357 vsize=4358824 CPUtime=1479.23 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1431282 0 0 0 146603 1320 0 0 20 0 2 0 282058277 4463435776 961995 33554432000 4194304 5963574 140736411107472 139712247409592 4388696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 4358824 [startup+1542.3 s] /proc/loadavg: 2.06 2.02 2.00 3/180 15409 /proc/meminfo: memFree=22527448/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4346520 CPUtime=1541.99 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1514120 0 0 0 152855 1344 0 0 20 0 2 0 282057971 4450836480 973006 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1086630 973006 198 432 0 1086195 0 [pid=15359/tid=15372] ppid=15357 vsize=4346520 CPUtime=1539.23 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1466862 0 0 0 152564 1359 0 0 20 0 2 0 282058277 4450836480 973006 33554432000 4194304 5963574 140736411107472 139712247409592 4408791 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 4346520 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15410 /proc/meminfo: memFree=22314276/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4424360 CPUtime=1601.98 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1550895 0 0 0 158817 1381 0 0 20 0 2 0 282057971 4530544640 979754 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1106090 979754 198 432 0 1105655 0 [pid=15359/tid=15372] ppid=15357 vsize=4424360 CPUtime=1599.23 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1503637 0 0 0 158526 1397 0 0 20 0 2 0 282058277 4530544640 979754 33554432000 4194304 5963574 140736411107472 139712247409480 4388696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 4424360 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15410 /proc/meminfo: memFree=22125136/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4543128 CPUtime=1661.96 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1573889 0 0 0 164782 1414 0 0 20 0 2 0 282057971 4652163072 1003235 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1135782 1003235 198 432 0 1135347 0 [pid=15359/tid=15372] ppid=15357 vsize=4543128 CPUtime=1659.24 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1526631 0 0 0 164492 1432 0 0 20 0 2 0 282058277 4652163072 1003235 33554432000 4194304 5963574 140736411107472 139712247409592 4399546 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 4543128 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15410 /proc/meminfo: memFree=21914520/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4551332 CPUtime=1721.96 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1615635 0 0 0 170748 1448 0 0 20 0 2 0 282057971 4660563968 1017153 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1137833 1017153 198 432 0 1137398 0 [pid=15359/tid=15372] ppid=15357 vsize=4551332 CPUtime=1719.24 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1568377 0 0 0 170458 1466 0 0 20 0 2 0 282058277 4660563968 1017153 33554432000 4194304 5963574 140736411107472 139712247409592 4399482 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 4551332 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15410 /proc/meminfo: memFree=21740328/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4682404 CPUtime=1781.94 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1655921 0 0 0 176705 1489 0 0 20 0 2 0 282057971 4794781696 1040395 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1170601 1040395 198 432 0 1170166 0 [pid=15359/tid=15372] ppid=15357 vsize=4682404 CPUtime=1779.24 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1608663 0 0 0 176416 1508 0 0 20 0 2 0 282058277 4794781696 1040395 33554432000 4194304 5963574 140736411107472 139712247409592 4388636 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 4682404 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15410 /proc/meminfo: memFree=21752208/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4682404 CPUtime=1791.56 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1661294 0 0 0 177659 1497 0 0 20 0 2 0 282057971 4794781696 1037375 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1170601 1037375 198 432 0 1170166 0 [pid=15359/tid=15372] ppid=15357 vsize=4682404 CPUtime=1788.85 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1614036 0 0 0 177370 1515 0 0 20 0 2 0 282058277 4794781696 1037375 33554432000 4194304 5963574 140736411107472 139712247409480 4399390 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (KiB) 4682404 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15410 /proc/meminfo: memFree=21670900/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4793140 CPUtime=1794.75 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1665492 0 0 0 177975 1500 0 0 20 0 2 0 282057971 4908175360 1057891 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1198285 1057891 198 432 0 1197850 0 [pid=15359/tid=15372] ppid=15357 vsize=4793140 CPUtime=1792.05 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1618234 0 0 0 177685 1520 0 0 20 0 2 0 282058277 4908175360 1057891 33554432000 4194304 5963574 140736411107472 139712247409224 4429328 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1794.75 Current children cumulated vsize (KiB) 4793140 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15410 /proc/meminfo: memFree=21829668/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4682404 CPUtime=1797.94 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1665683 0 0 0 178294 1500 0 0 20 0 2 0 282057971 4794781696 1037566 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1170601 1037566 198 432 0 1170166 0 [pid=15359/tid=15372] ppid=15357 vsize=4682404 CPUtime=1795.24 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1618425 0 0 0 178004 1520 0 0 20 0 2 0 282058277 4794781696 1037566 33554432000 4194304 5963574 140736411107472 139712247409592 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 4682404 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15410 /proc/meminfo: memFree=21750480/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4682404 CPUtime=1798.74 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1665683 0 0 0 178374 1500 0 0 20 0 2 0 282057971 4794781696 1037566 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1170601 1037566 198 432 0 1170166 0 [pid=15359/tid=15372] ppid=15357 vsize=4682404 CPUtime=1796.04 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1618425 0 0 0 178084 1520 0 0 20 0 2 0 282058277 4794781696 1037566 33554432000 4194304 5963574 140736411107472 139712247409592 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1798.74 Current children cumulated vsize (KiB) 4682404 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15410 /proc/meminfo: memFree=21840264/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4682404 CPUtime=1799.15 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1665683 0 0 0 178415 1500 0 0 20 0 2 0 282057971 4794781696 1037566 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1170601 1037566 198 432 0 1170166 0 [pid=15359/tid=15372] ppid=15357 vsize=4682404 CPUtime=1796.45 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1618425 0 0 0 178125 1520 0 0 20 0 2 0 282058277 4794781696 1037566 33554432000 4194304 5963574 140736411107472 139712247409592 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.15 Current children cumulated vsize (KiB) 4682404 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15410 /proc/meminfo: memFree=21840264/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4682404 CPUtime=1799.54 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1665683 0 0 0 178454 1500 0 0 20 0 2 0 282057971 4794781696 1037566 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1170601 1037566 198 432 0 1170166 0 [pid=15359/tid=15372] ppid=15357 vsize=4682404 CPUtime=1796.84 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1618425 0 0 0 178164 1520 0 0 20 0 2 0 282058277 4794781696 1037566 33554432000 4194304 5963574 140736411107472 139712247409592 4388706 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (KiB) 4682404 [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15410 /proc/meminfo: memFree=21840264/32873844 swapFree=7108/7108 [pid=15359] ppid=15357 vsize=4682404 CPUtime=1799.64 cores=1,3,5,7 /proc/15359/stat : 15359 (wbo1.7) S 15357 15359 15230 0 -1 4202496 1665683 0 0 0 178464 1500 0 0 20 0 2 0 282057971 4794781696 1037566 33554432000 4194304 5963574 140736411107472 140736411106992 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15359/statm: 1170601 1037566 198 432 0 1170166 0 [pid=15359/tid=15372] ppid=15357 vsize=4682404 CPUtime=1796.94 cores=1,3,5,7 /proc/15359/task/15372/stat : 15372 (wbo1.7) R 15357 15359 15230 0 -1 4202560 1618425 0 0 0 178174 1520 0 0 20 0 2 0 282058277 4794781696 1037566 33554432000 4194304 5963574 140736411107472 139712247409592 4399390 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (KiB) 4682404 Child status: 255 Real time (s): 1800.09 CPU time (s): 1800.1 CPU user time (s): 1784.73 CPU system time (s): 15.3707 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 4813476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.73 system time used= 15.3707 maximum resident set size= 4290636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1665683 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 77 involuntary context switches= 1846 runsolver used 2.89956 second user time and 8.66368 second system time The end
Begin job on node103 at 2012-05-28 00:54:54 IDJOB=3705603 IDBENCH=90862 IDSOLVER=2283 FILE ID=node103/3705603-1338159293 RUNJOBID= node103-1338157493-15247 PBS_JOBID= 14624530 Free space on /tmp= 71524 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null0mast_rapportOE1.0_TMAX300_K192_cod2.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705603-1338159293/watcher-3705603-1338159293 -o /tmp/evaluation-result-3705603-1338159293/solver-3705603-1338159293 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705603-1338159293.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bf80427a5518f65f2c0be5c955ae4146 RANDOM SEED=1873761653 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.37 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5411.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31051080 kB Buffers: 344852 kB Cached: 635164 kB SwapCached: 4508 kB Active: 623712 kB Inactive: 362408 kB Active(anon): 2344 kB Inactive(anon): 6220 kB Active(file): 621368 kB Inactive(file): 356188 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67099564 kB Dirty: 60792 kB Writeback: 0 kB AnonPages: 10348 kB Mapped: 11076 kB Shmem: 8 kB Slab: 696276 kB SReclaimable: 138124 kB SUnreclaim: 558152 kB KernelStack: 1424 kB PageTables: 3928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 102892 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71508 MiB End job on node103 at 2012-05-28 01:24:54