| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1799.97 | 1800.08 |
| Name | /OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb |
| MD5SUM | d6bdbf89ddd7448cef1f1e681200f2c0 |
| 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 | -25980 |
| Best CPU time to get the best result obtained on this benchmark | 1801.09 |
| 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 | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 881564 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1000 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 881564 |
| 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-3705607-1338162895.opb. 0.00/0.00 c Instance file HOME/instance-3705607-1338162895.opb 0.00/0.00 c File size is 28233869 bytes. 2.98/3.05 c Cost Offset: -881564 2.98/3.05 c Highest Coefficient sum: 67903 2.98/3.05 c ============================[ Problem Statistics ]============================= 2.98/3.05 c | | 2.98/3.05 c | Parsing time: 3.06 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.90 | 0 | -881563 lb | 0 0 0.00 | 4.30/4.39 c | 4.39 | 0 | -881562 lb | 0 0 0.00 | 4.79/4.84 c | 4.84 | 0 | -881561 lb | 0 0 0.00 | 5.18/5.29 c | 5.29 | 0 | -881560 lb | 0 0 0.00 | 5.69/5.74 c | 5.75 | 0 | -881557 lb | 0 0 0.00 | 6.19/6.20 c | 6.20 | 0 | -881556 lb | 0 0 0.00 | 6.59/6.66 c | 6.66 | 0 | -881555 lb | 0 0 0.00 | 7.09/7.13 c | 7.13 | 0 | -881554 lb | 0 0 0.00 | 7.49/7.60 c | 7.60 | 0 | -881553 lb | 0 0 0.00 | 7.98/8.08 c | 8.08 | 0 | -881552 lb | 0 0 0.00 | 8.48/8.57 c | 8.57 | 0 | -881551 lb | 0 0 0.00 | 8.98/9.05 c | 9.05 | 0 | -881550 lb | 0 0 0.00 | 9.49/9.53 c | 9.53 | 0 | -881545 lb | 0 0 0.00 | 9.99/10.02 c | 10.02 | 0 | -881544 lb | 0 0 0.00 | 10.48/10.51 c | 10.51 | 0 | -881543 lb | 0 0 0.00 | 10.89/11.00 c | 11.00 | 0 | -881538 lb | 0 0 0.00 | 11.38/11.48 c | 11.49 | 0 | -881537 lb | 0 0 0.00 | 11.88/11.99 c | 11.99 | 0 | -881536 lb | 0 0 0.00 | 12.38/12.47 c | 12.47 | 0 | -881535 lb | 0 0 0.00 | 12.88/12.98 c | 12.98 | 0 | -881534 lb | 0 0 0.00 | 13.38/13.48 c | 13.48 | 0 | -881530 lb | 0 0 0.00 | 13.88/13.99 c | 13.99 | 0 | -881529 lb | 0 0 0.00 | 14.38/14.49 c | 14.50 | 0 | -881528 lb | 0 0 0.00 | 14.98/15.01 c | 15.01 | 0 | -881526 lb | 0 0 0.00 | 15.48/15.53 c | 15.53 | 0 | -881525 lb | 0 0 0.00 | 15.98/16.05 c | 16.05 | 0 | -881524 lb | 0 0 0.00 | 16.49/16.56 c | 16.56 | 0 | -881523 lb | 0 0 0.00 | 16.98/17.08 c | 17.09 | 0 | -881522 lb | 0 0 0.00 | 17.49/17.60 c | 17.61 | 0 | -881521 lb | 0 0 0.00 | 18.08/18.12 c | 18.12 | 0 | -881520 lb | 0 0 0.00 | 18.58/18.64 c | 18.64 | 0 | -881519 lb | 0 0 0.00 | 19.08/19.17 c | 19.17 | 0 | -881517 lb | 0 0 0.00 | 19.58/19.70 c | 19.70 | 0 | -881515 lb | 0 0 0.00 | 20.18/20.23 c | 20.24 | 0 | -881514 lb | 0 0 0.00 | 20.68/20.76 c | 20.76 | 0 | -881513 lb | 0 0 0.00 | 21.28/21.30 c | 21.30 | 0 | -881512 lb | 0 0 0.00 | 21.78/21.83 c | 21.83 | 0 | -881510 lb | 0 0 0.00 | 22.29/22.38 c | 22.38 | 0 | -881509 lb | 0 0 0.00 | 22.89/22.90 c | 22.91 | 0 | -881507 lb | 0 0 0.00 | 23.38/23.46 c | 23.46 | 0 | -881506 lb | 0 0 0.00 | 23.98/24.00 c | 24.00 | 0 | -881505 lb | 0 0 0.00 | 24.48/24.54 c | 24.55 | 0 | -881503 lb | 0 0 0.00 | 24.98/25.08 c | 25.09 | 0 | -881502 lb | 0 0 0.00 | 25.58/25.63 c | 25.63 | 0 | -881501 lb | 0 0 0.00 | 26.08/26.18 c | 26.18 | 0 | -881500 lb | 0 0 0.00 | 26.68/26.73 c | 26.73 | 0 | -881499 lb | 0 0 0.00 | 27.18/27.27 c | 27.28 | 0 | -881498 lb | 0 0 0.00 | 27.78/27.82 c | 27.82 | 0 | -881497 lb | 0 0 0.00 | 28.28/28.39 c | 28.39 | 0 | -881496 lb | 0 0 0.00 | 28.88/28.95 c | 28.95 | 0 | -881493 lb | 0 0 0.00 | 29.48/29.50 c | 29.50 | 0 | -881492 lb | 0 0 0.00 | 29.98/30.08 c | 30.08 | 0 | -881491 lb | 0 0 0.00 | 30.58/30.63 c | 30.63 | 0 | -881489 lb | 0 0 0.00 | 31.18/31.20 c | 31.21 | 0 | -881488 lb | 0 0 0.00 | 31.67/31.77 c | 31.77 | 0 | -881486 lb | 0 0 0.00 | 32.28/32.35 c | 32.35 | 0 | -881485 lb | 0 0 0.00 | 32.88/32.91 c | 32.91 | 0 | -881483 lb | 0 0 0.00 | 33.38/33.49 c | 33.49 | 0 | -881482 lb | 0 0 0.00 | 33.98/34.06 c | 34.06 | 0 | -881481 lb | 0 0 0.00 | 34.57/34.64 c | 34.65 | 0 | -881480 lb | 0 0 0.00 | 35.18/35.21 c | 35.21 | 0 | -881479 lb | 0 0 0.00 | 35.77/35.80 c | 35.81 | 0 | -881478 lb | 0 0 0.00 | 36.28/36.39 c | 36.39 | 0 | -881475 lb | 0 0 0.00 | 36.87/36.96 c | 36.96 | 0 | -881474 lb | 0 0 0.00 | 37.47/37.52 c | 37.53 | 0 | -881473 lb | 0 0 0.00 | 37.98/38.09 c | 38.10 | 0 | -881471 lb | 0 0 0.00 | 38.57/38.66 c | 38.67 | 0 | -881469 lb | 0 0 0.00 | 39.17/39.25 c | 39.25 | 0 | -881468 lb | 0 0 0.00 | 39.77/39.83 c | 39.83 | 0 | -881467 lb | 0 0 0.00 | 40.38/40.42 c | 40.43 | 0 | -881465 lb | 0 0 0.00 | 40.97/41.00 c | 41.00 | 0 | -881463 lb | 0 0 0.00 | 41.57/41.60 c | 41.60 | 0 | -881461 lb | 0 0 0.00 | 42.07/42.17 c | 42.17 | 0 | -881460 lb | 0 0 0.00 | 42.67/42.77 c | 42.77 | 0 | -881458 lb | 0 0 0.00 | 43.27/43.34 c | 43.35 | 0 | -881457 lb | 0 0 0.00 | 43.88/43.92 c | 43.93 | 0 | -881456 lb | 0 0 0.00 | 44.48/44.50 c | 44.50 | 0 | -881454 lb | 0 0 0.00 | 44.98/45.10 c | 45.10 | 0 | -881450 lb | 0 0 0.00 | 45.58/45.69 c | 45.69 | 0 | -881447 lb | 0 0 0.00 | 46.17/46.29 c | 46.30 | 0 | -881446 lb | 0 0 0.00 | 46.77/46.88 c | 46.88 | 0 | -881445 lb | 0 0 0.00 | 47.37/47.47 c | 47.47 | 0 | -881444 lb | 0 0 0.00 | 47.97/48.06 c | 48.07 | 0 | -881443 lb | 0 0 0.00 | 48.57/48.66 c | 48.67 | 0 | -881441 lb | 0 0 0.00 | 49.17/49.27 c | 49.27 | 0 | -881437 lb | 0 0 0.00 | 49.77/49.86 c | 49.87 | 0 | -881435 lb | 0 0 0.00 | 50.37/50.47 c | 50.47 | 0 | -881430 lb | 0 0 0.00 | 50.97/51.06 c | 51.07 | 0 | -881429 lb | 0 0 0.00 | 51.58/51.68 c | 51.68 | 0 | -881427 lb | 0 0 0.00 | 52.17/52.28 c | 52.28 | 0 | -881426 lb | 0 0 0.00 | 52.77/52.88 c | 52.89 | 0 | -881425 lb | 0 0 0.00 | 53.36/53.48 c | 53.49 | 0 | -881424 lb | 0 0 0.00 | 54.06/54.11 c | 54.11 | 0 | -881423 lb | 0 0 0.00 | 54.66/54.73 c | 54.73 | 0 | -881422 lb | 0 0 0.00 | 55.26/55.35 c | 55.35 | 0 | -881421 lb | 0 0 0.00 | 55.87/55.98 c | 55.99 | 0 | -881420 lb | 0 0 0.00 | 56.56/56.61 c | 56.62 | 0 | -881419 lb | 0 0 0.00 | 57.17/57.25 c | 57.25 | 0 | -881417 lb | 0 0 0.00 | 57.76/57.86 c | 57.86 | 0 | -881415 lb | 0 0 0.00 | 58.36/58.49 c | 58.49 | 0 | -881414 lb | 0 0 0.00 | 59.06/59.11 c | 59.11 | 0 | -881412 lb | 0 0 0.00 | 59.66/59.76 c | 59.76 | 0 | -881410 lb | 0 0 0.00 | 60.26/60.37 c | 60.38 | 0 | -881408 lb | 0 0 0.00 | 60.96/61.02 c | 61.02 | 0 | -881407 lb | 0 0 0.00 | 61.57/61.64 c | 61.64 | 0 | -881406 lb | 0 0 0.00 | 62.17/62.28 c | 62.28 | 0 | -881405 lb | 0 0 0.00 | 62.86/62.92 c | 62.92 | 0 | -881404 lb | 0 0 0.00 | 63.46/63.57 c | 63.58 | 0 | -881403 lb | 0 0 0.00 | 64.16/64.21 c | 64.21 | 0 | -881402 lb | 0 0 0.00 | 64.77/64.85 c | 64.86 | 0 | -881401 lb | 0 0 0.00 | 65.37/65.49 c | 65.49 | 0 | -881400 lb | 0 0 0.00 | 66.06/66.15 c | 66.16 | 0 | -881397 lb | 0 0 0.00 | 66.66/66.78 c | 66.78 | 0 | -881396 lb | 0 0 0.00 | 67.36/67.42 c | 67.42 | 0 | -881395 lb | 0 0 0.00 | 67.96/68.06 c | 68.06 | 0 | -881394 lb | 0 0 0.00 | 68.66/68.71 c | 68.71 | 0 | -881393 lb | 0 0 0.00 | 69.27/69.35 c | 69.35 | 0 | -881392 lb | 0 0 0.00 | 69.86/69.99 c | 70.00 | 0 | -881390 lb | 0 0 0.00 | 70.56/70.63 c | 70.64 | 0 | -881388 lb | 0 0 0.00 | 71.16/71.28 c | 71.28 | 0 | -881387 lb | 0 0 0.00 | 71.86/71.93 c | 71.94 | 0 | -881383 lb | 0 0 0.00 | 72.46/72.60 c | 72.60 | 0 | -881381 lb | 0 0 0.00 | 73.16/73.26 c | 73.26 | 0 | -881380 lb | 0 0 0.00 | 73.86/73.91 c | 73.92 | 0 | -881379 lb | 0 0 0.00 | 74.46/74.56 c | 74.57 | 0 | -881377 lb | 0 0 0.00 | 75.16/75.22 c | 75.23 | 0 | -881374 lb | 0 0 0.00 | 75.77/75.87 c | 75.87 | 0 | -881372 lb | 0 0 0.00 | 76.46/76.51 c | 76.51 | 0 | -881371 lb | 0 0 0.00 | 77.06/77.16 c | 77.16 | 0 | -881370 lb | 0 0 0.00 | 77.76/77.82 c | 77.82 | 0 | -881366 lb | 0 0 0.00 | 78.36/78.47 c | 78.47 | 0 | -881364 lb | 0 0 0.00 | 79.06/79.15 c | 79.15 | 0 | -881362 lb | 0 0 0.00 | 79.76/79.80 c | 79.80 | 0 | -881361 lb | 0 0 0.00 | 80.36/80.46 c | 80.46 | 0 | -881360 lb | 0 0 0.00 | 81.06/81.11 c | 81.11 | 0 | -881358 lb | 0 0 0.00 | 81.66/81.77 c | 81.78 | 0 | -881357 lb | 0 0 0.00 | 82.37/82.43 c | 82.44 | 0 | -881355 lb | 0 0 0.00 | 83.06/83.10 c | 83.10 | 0 | -881354 lb | 0 0 0.00 | 83.66/83.75 c | 83.75 | 0 | -881353 lb | 0 0 0.00 | 84.36/84.41 c | 84.41 | 0 | -881352 lb | 0 0 0.00 | 84.96/85.07 c | 85.07 | 0 | -881350 lb | 0 0 0.00 | 85.67/85.72 c | 85.72 | 0 | -881348 lb | 0 0 0.00 | 86.26/86.37 c | 86.38 | 0 | -881347 lb | 0 0 0.00 | 86.95/87.05 c | 87.05 | 0 | -881346 lb | 0 0 0.00 | 87.66/87.70 c | 87.70 | 0 | -881345 lb | 0 0 0.00 | 88.26/88.37 c | 88.37 | 0 | -881344 lb | 0 0 0.00 | 88.97/89.02 c | 89.02 | 0 | -881341 lb | 0 0 0.00 | 89.65/89.70 c | 89.71 | 0 | -881339 lb | 0 0 0.00 | 90.26/90.36 c | 90.37 | 0 | -881337 lb | 0 0 0.00 | 90.96/91.03 c | 91.04 | 0 | -881335 lb | 0 0 0.00 | 91.66/91.70 c | 91.70 | 0 | -881331 lb | 0 0 0.00 | 92.26/92.36 c | 92.36 | 0 | -881330 lb | 0 0 0.00 | 92.96/93.04 c | 93.04 | 0 | -881328 lb | 0 0 0.00 | 93.66/93.70 c | 93.70 | 0 | -881325 lb | 0 0 0.00 | 94.26/94.38 c | 94.38 | 0 | -881324 lb | 0 0 0.00 | 94.96/95.05 c | 95.05 | 0 | -881323 lb | 0 0 0.00 | 95.66/95.72 c | 95.72 | 0 | -881322 lb | 0 0 0.00 | 96.25/96.39 c | 96.39 | 0 | -881321 lb | 0 0 0.00 | 96.96/97.05 c | 97.05 | 0 | -881320 lb | 0 0 0.00 | 97.66/97.71 c | 97.72 | 0 | -881319 lb | 0 0 0.00 | 98.25/98.39 c | 98.39 | 0 | -881318 lb | 0 0 0.00 | 98.96/99.05 c | 99.06 | 0 | -881317 lb | 0 0 0.00 | 99.65/99.72 c | 99.73 | 0 | -881316 lb | 0 0 0.00 | 100.35/100.40 c | 100.40 | 0 | -881314 lb | 0 0 0.00 | 100.95/101.08 c | 101.08 | 0 | -881313 lb | 0 0 0.00 | 101.65/101.75 c | 101.75 | 0 | -881312 lb | 0 0 0.00 | 102.36/102.44 c | 102.44 | 0 | -881311 lb | 0 0 0.00 | 103.06/103.13 c | 103.13 | 0 | -881310 lb | 0 0 0.00 | 103.75/103.82 c | 103.83 | 0 | -881308 lb | 0 0 0.00 | 104.46/104.50 c | 104.50 | 0 | -881306 lb | 0 0 0.00 | 105.05/105.19 c | 105.19 | 0 | -881305 lb | 0 0 0.00 | 105.75/105.89 c | 105.90 | 0 | -881303 lb | 0 0 0.00 | 106.46/106.57 c | 106.57 | 0 | -881302 lb | 0 0 0.00 | 107.16/107.26 c | 107.26 | 0 | -881301 lb | 0 0 0.00 | 107.85/107.95 c | 107.95 | 0 | -881300 lb | 0 0 0.00 | 108.56/108.64 c | 108.64 | 0 | -881299 lb | 0 0 0.00 | 109.26/109.33 c | 109.33 | 0 | -881296 lb | 0 0 0.00 | 109.96/110.01 c | 110.01 | 0 | -881294 lb | 0 0 0.00 | 110.65/110.70 c | 110.70 | 0 | -881291 lb | 0 0 0.00 | 111.25/111.38 c | 111.39 | 0 | -881290 lb | 0 0 0.00 | 111.95/112.07 c | 112.08 | 0 | -881288 lb | 0 0 0.00 | 112.65/112.75 c | 112.76 | 0 | -881286 lb | 0 0 0.00 | 113.35/113.44 c | 113.44 | 0 | -881283 lb | 0 0 0.00 | 114.05/114.13 c | 114.13 | 0 | -881282 lb | 0 0 0.00 | 114.75/114.81 c | 114.81 | 0 | -881281 lb | 0 0 0.00 | 115.36/115.50 c | 115.50 | 0 | -881279 lb | 0 0 0.00 | 116.05/116.18 c | 116.18 | 0 | -881277 lb | 0 0 0.00 | 116.75/116.88 c | 116.88 | 0 | -881275 lb | 0 0 0.00 | 117.45/117.57 c | 117.57 | 0 | -881274 lb | 0 0 0.00 | 118.15/118.26 c | 118.26 | 0 | -881273 lb | 0 0 0.00 | 118.85/118.94 c | 118.94 | 0 | -881271 lb | 0 0 0.00 | 119.55/119.65 c | 119.66 | 0 | -881270 lb | 0 0 0.00 | 120.25/120.34 c | 120.34 | 0 | -881269 lb | 0 0 0.00 | 120.96/121.02 c | 121.03 | 0 | -881268 lb | 0 0 0.00 | 121.65/121.73 c | 121.73 | 0 | -881267 lb | 0 0 0.00 | 122.35/122.42 c | 122.43 | 0 | -881266 lb | 0 0 0.00 | 123.06/123.10 c | 123.11 | 0 | -881265 lb | 0 0 0.00 | 123.75/123.82 c | 123.82 | 0 | -881263 lb | 0 0 0.00 | 124.45/124.51 c | 124.52 | 0 | -881262 lb | 0 0 0.00 | 125.15/125.21 c | 125.22 | 0 | -881261 lb | 0 0 0.00 | 125.85/125.91 c | 125.91 | 0 | -881259 lb | 0 0 0.00 | 126.55/126.63 c | 126.63 | 0 | -881257 lb | 0 0 0.00 | 127.25/127.31 c | 127.32 | 0 | -881256 lb | 0 0 0.00 | 127.95/128.03 c | 128.04 | 0 | -881255 lb | 0 0 0.00 | 128.66/128.75 c | 128.75 | 0 | -881254 lb | 0 0 0.00 | 129.35/129.46 c | 129.46 | 0 | -881252 lb | 0 0 0.00 | 130.05/130.15 c | 130.16 | 0 | -881250 lb | 0 0 0.00 | 130.75/130.86 c | 130.86 | 0 | -881249 lb | 0 0 0.00 | 131.45/131.55 c | 131.55 | 0 | -881248 lb | 0 0 0.00 | 132.15/132.26 c | 132.27 | 0 | -881247 lb | 0 0 0.00 | 132.84/132.97 c | 132.97 | 0 | -881246 lb | 0 0 0.00 | 133.54/133.67 c | 133.68 | 0 | -881245 lb | 0 0 0.00 | 134.24/134.36 c | 134.37 | 0 | -881244 lb | 0 0 0.00 | 134.95/135.07 c | 135.07 | 0 | -881242 lb | 0 0 0.00 | 135.65/135.77 c | 135.77 | 0 | -881241 lb | 0 0 0.00 | 136.35/136.48 c | 136.49 | 0 | -881240 lb | 0 0 0.00 | 137.05/137.19 c | 137.19 | 0 | -881239 lb | 0 0 0.00 | 137.85/137.91 c | 137.91 | 0 | -881238 lb | 0 0 0.00 | 138.55/138.61 c | 138.61 | 0 | -881237 lb | 0 0 0.00 | 139.25/139.33 c | 139.34 | 0 | -881236 lb | 0 0 0.00 | 139.94/140.05 c | 140.05 | 0 | -881235 lb | 0 0 0.00 | 140.66/140.76 c | 140.76 | 0 | -881234 lb | 0 0 0.00 | 141.35/141.48 c | 141.48 | 0 | -881233 lb | 0 0 0.00 | 142.05/142.19 c | 142.20 | 0 | -881232 lb | 0 0 0.00 | 142.85/142.92 c | 142.92 | 0 | -881231 lb | 0 0 0.00 | 143.55/143.63 c | 143.63 | 0 | -881229 lb | 0 0 0.00 | 144.25/144.35 c | 144.35 | 0 | -881228 lb | 0 0 0.00 | 144.95/145.07 c | 145.07 | 0 | -881226 lb | 0 0 0.00 | 145.65/145.78 c | 145.78 | 0 | -881223 lb | 0 0 0.00 | 146.44/146.51 c | 146.52 | 0 | -881222 lb | 0 0 0.00 | 147.14/147.22 c | 147.23 | 0 | -881220 lb | 0 0 0.00 | 147.85/147.95 c | 147.95 | 0 | -881219 lb | 0 0 0.00 | 148.55/148.69 c | 148.69 | 0 | -881218 lb | 0 0 0.00 | 149.35/149.43 c | 149.43 | 0 | -881217 lb | 0 0 0.00 | 150.05/150.16 c | 150.16 | 0 | -881213 lb | 0 0 0.00 | 150.85/150.90 c | 150.90 | 0 | -881212 lb | 0 0 0.00 | 151.55/151.62 c | 151.63 | 0 | -881211 lb | 0 0 0.00 | 152.24/152.37 c | 152.37 | 0 | -881210 lb | 0 0 0.00 | 152.94/153.08 c | 153.08 | 0 | -881209 lb | 0 0 0.00 | 153.75/153.81 c | 153.81 | 0 | -881208 lb | 0 0 0.00 | 154.44/154.55 c | 154.55 | 0 | -881207 lb | 0 0 0.00 | 155.14/155.27 c | 155.27 | 0 | -881205 lb | 0 0 0.00 | 155.84/155.99 c | 156.00 | 0 | -881204 lb | 0 0 0.00 | 156.65/156.73 c | 156.74 | 0 | -881203 lb | 0 0 0.00 | 157.35/157.46 c | 157.47 | 0 | -881202 lb | 0 0 0.00 | 158.15/158.24 c | 158.24 | 0 | -881201 lb | 0 0 0.00 | 158.85/158.96 c | 158.96 | 0 | -881200 lb | 0 0 0.00 | 159.64/159.71 c | 159.71 | 0 | -881199 lb | 0 0 0.00 | 160.34/160.45 c | 160.45 | 0 | -881198 lb | 0 0 0.00 | 161.15/161.23 c | 161.23 | 0 | -881197 lb | 0 0 0.00 | 161.85/161.97 c | 161.97 | 0 | -881196 lb | 0 0 0.00 | 162.65/162.73 c | 162.74 | 0 | -881193 lb | 0 0 0.00 | 163.34/163.47 c | 163.47 | 0 | -881192 lb | 0 0 0.00 | 164.14/164.23 c | 164.24 | 0 | -881190 lb | 0 0 0.00 | 164.85/164.98 c | 164.99 | 0 | -881189 lb | 0 0 0.00 | 165.64/165.73 c | 165.73 | 0 | -881188 lb | 0 0 0.00 | 166.45/166.50 c | 166.50 | 0 | -881185 lb | 0 0 0.00 | 167.15/167.23 c | 167.23 | 0 | -881184 lb | 0 0 0.00 | 167.95/168.00 c | 168.00 | 0 | -881183 lb | 0 0 0.00 | 168.64/168.76 c | 168.76 | 0 | -881182 lb | 0 0 0.00 | 169.35/169.49 c | 169.49 | 0 | -881181 lb | 0 0 0.00 | 170.15/170.24 c | 170.24 | 0 | -881179 lb | 0 0 0.00 | 170.85/170.99 c | 170.99 | 0 | -881178 lb | 0 0 0.00 | 171.65/171.74 c | 171.74 | 0 | -881177 lb | 0 0 0.00 | 172.34/172.48 c | 172.48 | 0 | -881175 lb | 0 0 0.00 | 173.14/173.21 c | 173.22 | 0 | -881174 lb | 0 0 0.00 | 173.84/173.95 c | 173.96 | 0 | -881173 lb | 0 0 0.00 | 174.64/174.70 c | 174.71 | 0 | -881172 lb | 0 0 0.00 | 175.35/175.45 c | 175.45 | 0 | -881171 lb | 0 0 0.00 | 176.05/176.19 c | 176.20 | 0 | -881170 lb | 0 0 0.00 | 176.84/176.95 c | 176.95 | 0 | -881169 lb | 0 0 0.00 | 177.64/177.71 c | 177.72 | 0 | -881168 lb | 0 0 0.00 | 178.34/178.46 c | 178.46 | 0 | -881167 lb | 0 0 0.00 | 179.15/179.20 c | 179.21 | 0 | -881166 lb | 0 0 0.00 | 179.84/179.95 c | 179.95 | 0 | -881165 lb | 0 0 0.00 | 180.64/180.70 c | 180.70 | 0 | -881164 lb | 0 0 0.00 | 181.35/181.44 c | 181.44 | 0 | -881163 lb | 0 0 0.00 | 182.14/182.21 c | 182.21 | 0 | -881161 lb | 0 0 0.00 | 182.84/182.96 c | 182.96 | 0 | -881160 lb | 0 0 0.00 | 183.65/183.72 c | 183.72 | 0 | -881158 lb | 0 0 0.00 | 184.35/184.48 c | 184.48 | 0 | -881156 lb | 0 0 0.00 | 185.15/185.24 c | 185.25 | 0 | -881153 lb | 0 0 0.00 | 185.94/186.03 c | 186.04 | 0 | -881151 lb | 0 0 0.00 | 186.74/186.81 c | 186.81 | 0 | -881150 lb | 0 0 0.00 | 187.44/187.57 c | 187.58 | 0 | -881148 lb | 0 0 0.00 | 188.24/188.33 c | 188.34 | 0 | -881147 lb | 0 0 0.00 | 188.94/189.10 c | 189.10 | 0 | -881145 lb | 0 0 0.00 | 189.74/189.87 c | 189.87 | 0 | -881142 lb | 0 0 0.00 | 190.54/190.64 c | 190.65 | 0 | -881141 lb | 0 0 0.00 | 191.35/191.41 c | 191.41 | 0 | -881140 lb | 0 0 0.00 | 192.04/192.18 c | 192.18 | 0 | -881139 lb | 0 0 0.00 | 192.84/192.94 c | 192.94 | 0 | -881138 lb | 0 0 0.00 | 193.64/193.76 c | 193.76 | 0 | -881135 lb | 0 0 0.00 | 194.44/194.53 c | 194.53 | 0 | -881134 lb | 0 0 0.00 | 195.24/195.30 c | 195.30 | 0 | -881131 lb | 0 0 0.00 | 195.94/196.08 c | 196.08 | 0 | -881130 lb | 0 0 0.00 | 196.75/196.87 c | 196.87 | 0 | -881128 lb | 0 0 0.00 | 197.54/197.64 c | 197.64 | 0 | -881127 lb | 0 0 0.00 | 198.34/198.42 c | 198.43 | 0 | -881126 lb | 0 0 0.00 | 199.04/199.19 c | 199.19 | 0 | -881124 lb | 0 0 0.00 | 199.84/199.96 c | 199.97 | 0 | -881123 lb | 0 0 0.00 | 200.64/200.73 c | 200.74 | 0 | -881122 lb | 0 0 0.00 | 201.44/201.52 c | 201.52 | 0 | -881121 lb | 0 0 0.00 | 202.14/202.28 c | 202.28 | 0 | -881120 lb | 0 0 0.00 | 202.94/203.06 c | 203.06 | 0 | -881119 lb | 0 0 0.00 | 203.73/203.83 c | 203.83 | 0 | -881118 lb | 0 0 0.00 | 204.55/204.61 c | 204.61 | 0 | -881116 lb | 0 0 0.00 | 205.24/205.37 c | 205.38 | 0 | -881115 lb | 0 0 0.00 | 206.04/206.15 c | 206.15 | 0 | -881113 lb | 0 0 0.00 | 206.84/206.93 c | 206.93 | 0 | -881110 lb | 0 0 0.00 | 207.63/207.72 c | 207.72 | 0 | -881108 lb | 0 0 0.00 | 208.34/208.49 c | 208.50 | 0 | -881106 lb | 0 0 0.00 | 209.14/209.26 c | 209.27 | 0 | -881105 lb | 0 0 0.00 | 209.94/210.04 c | 210.05 | 0 | -881104 lb | 0 0 0.00 | 210.73/210.82 c | 210.83 | 0 | -881103 lb | 0 0 0.00 | 211.54/211.62 c | 211.62 | 0 | -881102 lb | 0 0 0.00 | 212.34/212.41 c | 212.41 | 0 | -881101 lb | 0 0 0.00 | 213.13/213.21 c | 213.21 | 0 | -881100 lb | 0 0 0.00 | 213.83/213.99 c | 213.99 | 0 | -881099 lb | 0 0 0.00 | 214.63/214.77 c | 214.77 | 0 | -881098 lb | 0 0 0.00 | 215.44/215.55 c | 215.55 | 0 | -881097 lb | 0 0 0.00 | 216.24/216.32 c | 216.32 | 0 | -881093 lb | 0 0 0.00 | 217.03/217.12 c | 217.13 | 0 | -881089 lb | 0 0 0.00 | 217.84/217.93 c | 217.93 | 0 | -881088 lb | 0 0 0.00 | 218.64/218.71 c | 218.72 | 0 | -881087 lb | 0 0 0.00 | 219.43/219.52 c | 219.53 | 0 | -881085 lb | 0 0 0.00 | 220.23/220.32 c | 220.32 | 0 | -881084 lb | 0 0 0.00 | 221.04/221.13 c | 221.13 | 0 | -881083 lb | 0 0 0.00 | 221.83/221.94 c | 221.94 | 0 | -881082 lb | 0 0 0.00 | 222.63/222.75 c | 222.75 | 0 | -881080 lb | 0 0 0.00 | 223.44/223.54 c | 223.55 | 0 | -881079 lb | 0 0 0.00 | 224.24/224.33 c | 224.34 | 0 | -881078 lb | 0 0 0.00 | 225.04/225.14 c | 225.14 | 0 | -881077 lb | 0 0 0.00 | 225.83/225.93 c | 225.94 | 0 | -881076 lb | 0 0 0.00 | 226.63/226.72 c | 226.73 | 0 | -881075 lb | 0 0 0.00 | 227.44/227.54 c | 227.54 | 0 | -881074 lb | 0 0 0.00 | 228.23/228.36 c | 228.37 | 0 | -881073 lb | 0 0 0.00 | 229.03/229.19 c | 229.19 | 0 | -881071 lb | 0 0 0.00 | 229.93/230.02 c | 230.03 | 0 | -881069 lb | 0 0 0.00 | 230.73/230.84 c | 230.84 | 0 | -881068 lb | 0 0 0.00 | 231.53/231.67 c | 231.67 | 0 | -881067 lb | 0 0 0.00 | 232.34/232.49 c | 232.49 | 0 | -881066 lb | 0 0 0.00 | 233.23/233.35 c | 233.35 | 0 | -881065 lb | 0 0 0.00 | 234.03/234.16 c | 234.17 | 0 | -881064 lb | 0 0 0.00 | 234.83/234.99 c | 234.99 | 0 | -881062 lb | 0 0 0.00 | 235.74/235.83 c | 235.84 | 0 | -881060 lb | 0 0 0.00 | 236.63/236.71 c | 236.71 | 0 | -881058 lb | 0 0 0.00 | 237.44/237.55 c | 237.56 | 0 | -881057 lb | 0 0 0.00 | 238.23/238.39 c | 238.40 | 0 | -881056 lb | 0 0 0.00 | 239.13/239.25 c | 239.25 | 0 | -881055 lb | 0 0 0.00 | 240.03/240.10 c | 240.10 | 0 | -881052 lb | 0 0 0.00 | 240.84/240.94 c | 240.95 | 0 | -881051 lb | 0 0 0.00 | 241.63/241.79 c | 241.79 | 0 | -881050 lb | 0 0 0.00 | 242.53/242.63 c | 242.63 | 0 | -881049 lb | 0 0 0.00 | 243.33/243.47 c | 243.47 | 0 | -881048 lb | 0 0 0.00 | 244.23/244.30 c | 244.31 | 0 | -881046 lb | 0 0 0.00 | 245.03/245.14 c | 245.15 | 0 | -881045 lb | 0 0 0.00 | 245.83/245.98 c | 245.98 | 0 | -881044 lb | 0 0 0.00 | 246.72/246.84 c | 246.84 | 0 | -881042 lb | 0 0 0.00 | 247.63/247.70 c | 247.70 | 0 | -881041 lb | 0 0 0.00 | 248.43/248.55 c | 248.55 | 0 | -881040 lb | 0 0 0.00 | 249.23/249.39 c | 249.40 | 0 | -881039 lb | 0 0 0.00 | 250.12/250.24 c | 250.24 | 0 | -881037 lb | 0 0 0.00 | 250.92/251.08 c | 251.08 | 0 | -881034 lb | 0 0 0.00 | 251.83/251.93 c | 251.93 | 0 | -881033 lb | 0 0 0.00 | 252.63/252.78 c | 252.79 | 0 | -881032 lb | 0 0 0.00 | 253.53/253.66 c | 253.67 | 0 | -881031 lb | 0 0 0.00 | 254.43/254.53 c | 254.53 | 0 | -881029 lb | 0 0 0.00 | 255.23/255.38 c | 255.38 | 0 | -881024 lb | 0 0 0.00 | 256.14/256.22 c | 256.22 | 0 | -881021 lb | 0 0 0.00 | 256.92/257.04 c | 257.04 | 0 | -881020 lb | 0 0 0.00 | 257.82/257.90 c | 257.90 | 0 | -881018 lb | 0 0 0.00 | 258.63/258.74 c | 258.74 | 0 | -881017 lb | 0 0 0.00 | 259.44/259.58 c | 259.58 | 0 | -881014 lb | 0 0 0.00 | 260.33/260.45 c | 260.45 | 0 | -881013 lb | 0 0 0.00 | 261.12/261.30 c | 261.30 | 0 | -881012 lb | 0 0 0.00 | 262.03/262.15 c | 262.15 | 0 | -881011 lb | 0 0 0.00 | 262.93/263.03 c | 263.03 | 0 | -881010 lb | 0 0 0.00 | 263.72/263.88 c | 263.89 | 0 | -881009 lb | 0 0 0.00 | 264.63/264.75 c | 264.75 | 0 | -881008 lb | 0 0 0.00 | 265.52/265.61 c | 265.62 | 0 | -881007 lb | 0 0 0.00 | 266.43/266.50 c | 266.50 | 0 | -881006 lb | 0 0 0.00 | 267.23/267.38 c | 267.38 | 0 | -881003 lb | 0 0 0.00 | 268.12/268.25 c | 268.25 | 0 | -881002 lb | 0 0 0.00 | 269.03/269.13 c | 269.13 | 0 | -881001 lb | 0 0 0.00 | 269.83/269.98 c | 269.98 | 0 | -881000 lb | 0 0 0.00 | 270.72/270.85 c | 270.85 | 0 | -880998 lb | 0 0 0.00 | 271.63/271.70 c | 271.71 | 0 | -880994 lb | 0 0 0.00 | 272.43/272.57 c | 272.58 | 0 | -880993 lb | 0 0 0.00 | 273.32/273.44 c | 273.44 | 0 | -880992 lb | 0 0 0.00 | 274.12/274.29 c | 274.30 | 0 | -880991 lb | 0 0 0.00 | 275.02/275.16 c | 275.16 | 0 | -880989 lb | 0 0 0.00 | 275.93/276.00 c | 276.01 | 0 | -880987 lb | 0 0 0.00 | 276.72/276.89 c | 276.90 | 0 | -880984 lb | 0 0 0.00 | 277.62/277.77 c | 277.77 | 0 | -880982 lb | 0 0 0.00 | 278.52/278.64 c | 278.64 | 0 | -880981 lb | 0 0 0.00 | 279.43/279.51 c | 279.51 | 0 | -880979 lb | 0 0 0.00 | 280.22/280.37 c | 280.37 | 0 | -880977 lb | 0 0 0.00 | 281.12/281.26 c | 281.26 | 0 | -880976 lb | 0 0 0.00 | 282.02/282.13 c | 282.13 | 0 | -880975 lb | 0 0 0.00 | 282.93/283.01 c | 283.01 | 0 | -880974 lb | 0 0 0.00 | 283.73/283.88 c | 283.88 | 0 | -880966 lb | 0 0 0.00 | 284.63/284.74 c | 284.75 | 0 | -880964 lb | 0 0 0.00 | 285.52/285.61 c | 285.61 | 0 | -880961 lb | 0 0 0.00 | 286.32/286.48 c | 286.49 | 0 | -880960 lb | 0 0 0.00 | 287.22/287.35 c | 287.35 | 0 | -880959 lb | 0 0 0.00 | 288.13/288.22 c | 288.23 | 0 | -880958 lb | 0 0 0.00 | 288.92/289.09 c | 289.09 | 0 | -880957 lb | 0 0 0.00 | 289.82/289.96 c | 289.97 | 0 | -880955 lb | 0 0 0.00 | 290.72/290.84 c | 290.84 | 0 | -880954 lb | 0 0 0.00 | 291.62/291.72 c | 291.73 | 0 | -880953 lb | 0 0 0.00 | 292.42/292.58 c | 292.58 | 0 | -880951 lb | 0 0 0.00 | 293.32/293.44 c | 293.44 | 0 | -880950 lb | 0 0 0.00 | 294.22/294.31 c | 294.32 | 0 | -880949 lb | 0 0 0.00 | 295.02/295.17 c | 295.17 | 0 | -880948 lb | 0 0 0.00 | 295.92/296.04 c | 296.04 | 0 | -880947 lb | 0 0 0.00 | 296.83/296.93 c | 296.94 | 0 | -880946 lb | 0 0 0.00 | 297.72/297.80 c | 297.80 | 0 | -880944 lb | 0 0 0.00 | 298.52/298.68 c | 298.68 | 0 | -880940 lb | 0 0 0.00 | 299.42/299.55 c | 299.55 | 0 | -880939 lb | 0 0 0.00 | 300.32/300.42 c | 300.43 | 0 | -880938 lb | 0 0 0.00 | 301.12/301.29 c | 301.30 | 0 | -880937 lb | 0 0 0.00 | 302.02/302.16 c | 302.16 | 0 | -880936 lb | 0 0 0.00 | 302.92/303.04 c | 303.05 | 0 | -880935 lb | 0 0 0.00 | 303.82/303.91 c | 303.92 | 0 | -880932 lb | 0 0 0.00 | 304.63/304.79 c | 304.79 | 0 | -880931 lb | 0 0 0.00 | 305.52/305.68 c | 305.68 | 0 | -880928 lb | 0 0 0.00 | 306.41/306.55 c | 306.55 | 0 | -880927 lb | 0 0 0.00 | 307.31/307.45 c | 307.45 | 0 | -880925 lb | 0 0 0.00 | 308.22/308.35 c | 308.36 | 0 | -880922 lb | 0 0 0.00 | 309.12/309.26 c | 309.26 | 0 | -880920 lb | 0 0 0.00 | 310.02/310.17 c | 310.18 | 0 | -880919 lb | 0 0 0.00 | 310.92/311.07 c | 311.07 | 0 | -880918 lb | 0 0 0.00 | 311.82/311.98 c | 311.98 | 0 | -880917 lb | 0 0 0.00 | 312.81/312.91 c | 312.91 | 0 | -880916 lb | 0 0 0.00 | 313.71/313.80 c | 313.80 | 0 | -880915 lb | 0 0 0.00 | 314.53/314.69 c | 314.69 | 0 | -880911 lb | 0 0 0.00 | 315.41/315.58 c | 315.59 | 0 | -880908 lb | 0 0 0.00 | 316.32/316.48 c | 316.49 | 0 | -880907 lb | 0 0 0.00 | 317.22/317.37 c | 317.37 | 0 | -880906 lb | 0 0 0.00 | 318.12/318.26 c | 318.27 | 0 | -880905 lb | 0 0 0.00 | 319.02/319.14 c | 319.14 | 0 | -880904 lb | 0 0 0.00 | 319.92/320.03 c | 320.03 | 0 | -880903 lb | 0 0 0.00 | 320.81/320.93 c | 320.93 | 0 | -880902 lb | 0 0 0.00 | 321.71/321.81 c | 321.81 | 0 | -880899 lb | 0 0 0.00 | 322.61/322.72 c | 322.72 | 0 | -880898 lb | 0 0 0.00 | 323.52/323.61 c | 323.61 | 0 | -880893 lb | 0 0 0.00 | 324.43/324.51 c | 324.51 | 0 | -880892 lb | 0 0 0.00 | 325.32/325.41 c | 325.41 | 0 | -880891 lb | 0 0 0.00 | 326.21/326.30 c | 326.31 | 0 | -880889 lb | 0 0 0.00 | 327.02/327.19 c | 327.20 | 0 | -880888 lb | 0 0 0.00 | 327.92/328.08 c | 328.09 | 0 | -880887 lb | 0 0 0.00 | 328.82/328.98 c | 328.98 | 0 | -880886 lb | 0 0 0.00 | 329.71/329.89 c | 329.89 | 0 | -880881 lb | 0 0 0.00 | 330.71/330.82 c | 330.82 | 0 | -880880 lb | 0 0 0.00 | 331.61/331.73 c | 331.73 | 0 | -880879 lb | 0 0 0.00 | 332.51/332.66 c | 332.67 | 0 | -880878 lb | 0 0 0.00 | 333.51/333.60 c | 333.60 | 0 | -880877 lb | 0 0 0.00 | 334.41/334.50 c | 334.50 | 0 | -880876 lb | 0 0 0.00 | 335.31/335.45 c | 335.45 | 0 | -880874 lb | 0 0 0.00 | 336.21/336.38 c | 336.39 | 0 | -880870 lb | 0 0 0.00 | 337.21/337.32 c | 337.32 | 0 | -880869 lb | 0 0 0.00 | 338.10/338.24 c | 338.25 | 0 | -880867 lb | 0 0 0.00 | 339.01/339.17 c | 339.17 | 0 | -880866 lb | 0 0 0.00 | 339.90/340.09 c | 340.10 | 0 | -880865 lb | 0 0 0.00 | 340.92/341.01 c | 341.01 | 0 | -880864 lb | 0 0 0.00 | 341.80/341.92 c | 341.93 | 0 | -880863 lb | 0 0 0.00 | 342.71/342.85 c | 342.85 | 0 | -880861 lb | 0 0 0.00 | 343.61/343.77 c | 343.77 | 0 | -880860 lb | 0 0 0.00 | 344.51/344.68 c | 344.68 | 0 | -880859 lb | 0 0 0.00 | 345.50/345.63 c | 345.63 | 0 | -880853 lb | 0 0 0.00 | 346.42/346.54 c | 346.55 | 0 | -880852 lb | 0 0 0.00 | 347.31/347.45 c | 347.45 | 0 | -880851 lb | 0 0 0.00 | 348.21/348.37 c | 348.37 | 0 | -880850 lb | 0 0 0.00 | 349.10/349.28 c | 349.28 | 0 | -880849 lb | 0 0 0.00 | 350.00/350.19 c | 350.19 | 0 | -880848 lb | 0 0 0.00 | 351.01/351.11 c | 351.12 | 0 | -880846 lb | 0 0 0.00 | 351.91/352.06 c | 352.07 | 0 | -880844 lb | 0 0 0.00 | 352.80/352.97 c | 352.97 | 0 | -880842 lb | 0 0 0.00 | 353.81/353.90 c | 353.90 | 0 | -880840 lb | 0 0 0.00 | 354.70/354.80 c | 354.80 | 0 | -880839 lb | 0 0 0.00 | 355.60/355.74 c | 355.75 | 0 | -880837 lb | 0 0 0.00 | 356.50/356.63 c | 356.63 | 0 | -880836 lb | 0 0 0.00 | 357.41/357.54 c | 357.55 | 0 | -880833 lb | 0 0 0.00 | 358.30/358.46 c | 358.46 | 0 | -880832 lb | 0 0 0.00 | 359.20/359.39 c | 359.40 | 0 | -880829 lb | 0 0 0.00 | 360.20/360.31 c | 360.31 | 0 | -880828 lb | 0 0 0.00 | 361.09/361.25 c | 361.26 | 0 | -880827 lb | 0 0 0.00 | 362.00/362.19 c | 362.19 | 0 | -880824 lb | 0 0 0.00 | 363.00/363.15 c | 363.15 | 0 | -880820 lb | 0 0 0.00 | 363.91/364.08 c | 364.08 | 0 | -880819 lb | 0 0 0.00 | 364.80/364.98 c | 364.98 | 0 | -880818 lb | 0 0 0.00 | 365.79/365.90 c | 365.90 | 0 | -880816 lb | 0 0 0.00 | 366.69/366.81 c | 366.81 | 0 | -880814 lb | 0 0 0.00 | 367.59/367.71 c | 367.72 | 0 | -880813 lb | 0 0 0.00 | 368.49/368.67 c | 368.67 | 0 | -880812 lb | 0 0 0.00 | 369.50/369.60 c | 369.61 | 0 | -880811 lb | 0 0 0.00 | 370.40/370.58 c | 370.58 | 0 | -880810 lb | 0 0 0.00 | 371.39/371.51 c | 371.51 | 0 | -880807 lb | 0 0 0.00 | 372.29/372.44 c | 372.45 | 0 | -880806 lb | 0 0 0.00 | 373.20/373.39 c | 373.39 | 0 | -880805 lb | 0 0 0.00 | 374.19/374.33 c | 374.33 | 0 | -880804 lb | 0 0 0.00 | 375.19/375.30 c | 375.30 | 0 | -880803 lb | 0 0 0.00 | 376.10/376.25 c | 376.25 | 0 | -880802 lb | 0 0 0.00 | 376.99/377.19 c | 377.19 | 0 | -880801 lb | 0 0 0.00 | 378.00/378.15 c | 378.15 | 0 | -880800 lb | 0 0 0.00 | 378.90/379.08 c | 379.08 | 0 | -880799 lb | 0 0 0.00 | 379.89/380.02 c | 380.02 | 0 | -880798 lb | 0 0 0.00 | 380.80/380.95 c | 380.95 | 0 | -880797 lb | 0 0 0.00 | 381.70/381.86 c | 381.86 | 0 | -880794 lb | 0 0 0.00 | 382.70/382.85 c | 382.85 | 0 | -880793 lb | 0 0 0.00 | 383.59/383.77 c | 383.77 | 0 | -880790 lb | 0 0 0.00 | 384.59/384.71 c | 384.72 | 0 | -880788 lb | 0 0 0.00 | 385.49/385.66 c | 385.66 | 0 | -880787 lb | 0 0 0.00 | 386.49/386.60 c | 386.61 | 0 | -880786 lb | 0 0 0.00 | 387.39/387.54 c | 387.54 | 0 | -880785 lb | 0 0 0.00 | 388.30/388.48 c | 388.48 | 0 | -880784 lb | 0 0 0.00 | 389.30/389.42 c | 389.43 | 0 | -880783 lb | 0 0 0.00 | 390.20/390.38 c | 390.38 | 0 | -880782 lb | 0 0 0.00 | 391.20/391.31 c | 391.32 | 0 | -880781 lb | 0 0 0.00 | 392.09/392.23 c | 392.24 | 0 | -880779 lb | 0 0 0.00 | 392.99/393.18 c | 393.18 | 0 | -880778 lb | 0 0 0.00 | 393.99/394.11 c | 394.12 | 0 | -880777 lb | 0 0 0.00 | 394.90/395.04 c | 395.04 | 0 | -880775 lb | 0 0 0.00 | 395.90/396.01 c | 396.01 | 0 | -880772 lb | 0 0 0.00 | 396.80/396.96 c | 396.96 | 0 | -880770 lb | 0 0 0.00 | 397.80/397.93 c | 397.93 | 0 | -880768 lb | 0 0 0.00 | 398.69/398.89 c | 398.89 | 0 | -880766 lb | 0 0 0.00 | 399.69/399.84 c | 399.84 | 0 | -880765 lb | 0 0 0.00 | 400.69/400.81 c | 400.82 | 0 | -880764 lb | 0 0 0.00 | 401.59/401.78 c | 401.79 | 0 | -880762 lb | 0 0 0.00 | 402.60/402.75 c | 402.75 | 0 | -880761 lb | 0 0 0.00 | 403.60/403.71 c | 403.72 | 0 | -880760 lb | 0 0 0.00 | 404.49/404.70 c | 404.70 | 0 | -880758 lb | 0 0 0.00 | 405.49/405.65 c | 405.65 | 0 | -880757 lb | 0 0 0.00 | 406.49/406.64 c | 406.64 | 0 | -880756 lb | 0 0 0.00 | 407.39/407.59 c | 407.59 | 0 | -880755 lb | 0 0 0.00 | 408.39/408.55 c | 408.55 | 0 | -880754 lb | 0 0 0.00 | 409.39/409.52 c | 409.52 | 0 | -880753 lb | 0 0 0.00 | 410.29/410.48 c | 410.48 | 0 | -880752 lb | 0 0 0.00 | 411.29/411.46 c | 411.46 | 0 | -880751 lb | 0 0 0.00 | 412.30/412.45 c | 412.45 | 0 | -880749 lb | 0 0 0.00 | 413.29/413.40 c | 413.40 | 0 | -880748 lb | 0 0 0.00 | 414.19/414.37 c | 414.37 | 0 | -880746 lb | 0 0 0.00 | 415.19/415.34 c | 415.34 | 0 | -880744 lb | 0 0 0.00 | 416.19/416.32 c | 416.32 | 0 | -880742 lb | 0 0 0.00 | 417.09/417.29 c | 417.29 | 0 | -880741 lb | 0 0 0.00 | 418.09/418.26 c | 418.26 | 0 | -880740 lb | 0 0 0.00 | 419.09/419.23 c | 419.24 | 0 | -880738 lb | 0 0 0.00 | 420.10/420.23 c | 420.24 | 0 | -880736 lb | 0 0 0.00 | 420.98/421.20 c | 421.20 | 0 | -880733 lb | 0 0 0.00 | 421.98/422.19 c | 422.19 | 0 | -880729 lb | 0 0 0.00 | 422.99/423.18 c | 423.18 | 0 | -880728 lb | 0 0 0.00 | 423.98/424.19 c | 424.19 | 0 | -880727 lb | 0 0 0.00 | 424.98/425.18 c | 425.19 | 0 | -880725 lb | 0 0 0.00 | 425.98/426.17 c | 426.17 | 0 | -880722 lb | 0 0 0.00 | 426.98/427.16 c | 427.16 | 0 | -880721 lb | 0 0 0.00 | 427.98/428.14 c | 428.15 | 0 | -880720 lb | 0 0 0.00 | 428.98/429.13 c | 429.13 | 0 | -880719 lb | 0 0 0.00 | 429.99/430.12 c | 430.13 | 0 | -880718 lb | 0 0 0.00 | 430.88/431.07 c | 431.07 | 0 | -880716 lb | 0 0 0.00 | 431.89/432.09 c | 432.09 | 0 | -880715 lb | 0 0 0.00 | 432.89/433.03 c | 433.03 | 0 | -880714 lb | 0 0 0.00 | 433.88/434.03 c | 434.03 | 0 | -880713 lb | 0 0 0.00 | 434.89/435.01 c | 435.01 | 0 | -880712 lb | 0 0 0.00 | 435.88/436.02 c | 436.02 | 0 | -880710 lb | 0 0 0.00 | 436.78/436.99 c | 436.99 | 0 | -880709 lb | 0 0 0.00 | 437.78/437.98 c | 437.99 | 0 | -880708 lb | 0 0 0.00 | 438.78/438.97 c | 438.97 | 0 | -880706 lb | 0 0 0.00 | 439.79/439.97 c | 439.98 | 0 | -880705 lb | 0 0 0.00 | 440.79/441.00 c | 441.00 | 0 | -880704 lb | 0 0 0.00 | 441.88/442.02 c | 442.02 | 0 | -880703 lb | 0 0 0.00 | 442.88/443.02 c | 443.02 | 0 | -880702 lb | 0 0 0.00 | 443.88/444.04 c | 444.04 | 0 | -880700 lb | 0 0 0.00 | 444.88/445.05 c | 445.05 | 0 | -880699 lb | 0 0 0.00 | 445.88/446.05 c | 446.05 | 0 | -880698 lb | 0 0 0.00 | 446.89/447.08 c | 447.08 | 0 | -880697 lb | 0 0 0.00 | 447.88/448.08 c | 448.08 | 0 | -880695 lb | 0 0 0.00 | 448.88/449.06 c | 449.06 | 0 | -880694 lb | 0 0 0.00 | 449.88/450.05 c | 450.05 | 0 | -880691 lb | 0 0 0.00 | 450.88/451.03 c | 451.03 | 0 | -880690 lb | 0 0 0.00 | 451.89/452.04 c | 452.04 | 0 | -880688 lb | 0 0 0.00 | 452.88/453.08 c | 453.08 | 0 | -880687 lb | 0 0 0.00 | 453.88/454.06 c | 454.07 | 0 | -880686 lb | 0 0 0.00 | 454.88/455.05 c | 455.06 | 0 | -880684 lb | 0 0 0.00 | 455.88/456.06 c | 456.06 | 0 | -880683 lb | 0 0 0.00 | 456.88/457.07 c | 457.07 | 0 | -880682 lb | 0 0 0.00 | 457.98/458.10 c | 458.11 | 0 | -880681 lb | 0 0 0.00 | 458.87/459.09 c | 459.10 | 0 | -880679 lb | 0 0 0.00 | 459.98/460.14 c | 460.14 | 0 | -880678 lb | 0 0 0.00 | 460.97/461.15 c | 461.15 | 0 | -880677 lb | 0 0 0.00 | 461.97/462.14 c | 462.14 | 0 | -880673 lb | 0 0 0.00 | 462.99/463.14 c | 463.14 | 0 | -880672 lb | 0 0 0.00 | 463.99/464.17 c | 464.17 | 0 | -880669 lb | 0 0 0.00 | 464.97/465.19 c | 465.19 | 0 | -880668 lb | 0 0 0.00 | 466.08/466.20 c | 466.21 | 0 | -880667 lb | 0 0 0.00 | 467.08/467.22 c | 467.22 | 0 | -880664 lb | 0 0 0.00 | 468.07/468.24 c | 468.24 | 0 | -880663 lb | 0 0 0.00 | 469.07/469.27 c | 469.28 | 0 | -880662 lb | 0 0 0.00 | 470.18/470.32 c | 470.32 | 0 | -880661 lb | 0 0 0.00 | 471.18/471.35 c | 471.35 | 0 | -880660 lb | 0 0 0.00 | 472.18/472.37 c | 472.38 | 0 | -880658 lb | 0 0 0.00 | 473.27/473.40 c | 473.40 | 0 | -880657 lb | 0 0 0.00 | 474.28/474.43 c | 474.44 | 0 | -880654 lb | 0 0 0.00 | 475.28/475.45 c | 475.45 | 0 | -880652 lb | 0 0 0.00 | 476.27/476.48 c | 476.48 | 0 | -880651 lb | 0 0 0.00 | 477.37/477.50 c | 477.51 | 0 | -880649 lb | 0 0 0.00 | 478.38/478.54 c | 478.54 | 0 | -880647 lb | 0 0 0.00 | 479.38/479.57 c | 479.57 | 0 | -880644 lb | 0 0 0.00 | 480.48/480.62 c | 480.63 | 0 | -880643 lb | 0 0 0.00 | 481.47/481.66 c | 481.67 | 0 | -880642 lb | 0 0 0.00 | 482.57/482.72 c | 482.72 | 0 | -880641 lb | 0 0 0.00 | 483.57/483.76 c | 483.76 | 0 | -880640 lb | 0 0 0.00 | 484.67/484.81 c | 484.81 | 0 | -880639 lb | 0 0 0.00 | 485.67/485.85 c | 485.85 | 0 | -880638 lb | 0 0 0.00 | 486.77/486.92 c | 486.92 | 0 | -880635 lb | 0 0 0.00 | 487.77/487.96 c | 487.97 | 0 | -880634 lb | 0 0 0.00 | 488.87/489.01 c | 489.01 | 0 | -880633 lb | 0 0 0.00 | 489.87/490.07 c | 490.07 | 0 | -880632 lb | 0 0 0.00 | 490.97/491.11 c | 491.12 | 0 | -880630 lb | 0 0 0.00 | 491.97/492.18 c | 492.18 | 0 | -880627 lb | 0 0 0.00 | 493.07/493.26 c | 493.26 | 0 | -880622 lb | 0 0 0.00 | 494.17/494.33 c | 494.33 | 0 | -880620 lb | 0 0 0.00 | 495.17/495.36 c | 495.37 | 0 | -880618 lb | 0 0 0.00 | 496.27/496.40 c | 496.40 | 0 | -880617 lb | 0 0 0.00 | 497.27/497.45 c | 497.46 | 0 | -880616 lb | 0 0 0.00 | 498.37/498.51 c | 498.51 | 0 | -880615 lb | 0 0 0.00 | 499.37/499.56 c | 499.56 | 0 | -880613 lb | 0 0 0.00 | 500.47/500.61 c | 500.61 | 0 | -880612 lb | 0 0 0.00 | 501.48/501.67 c | 501.68 | 0 | -880610 lb | 0 0 0.00 | 502.57/502.71 c | 502.71 | 0 | -880609 lb | 0 0 0.00 | 503.57/503.77 c | 503.77 | 0 | -880608 lb | 0 0 0.00 | 504.68/504.82 c | 504.82 | 0 | -880607 lb | 0 0 0.00 | 505.67/505.87 c | 505.87 | 0 | -880606 lb | 0 0 0.00 | 506.77/506.91 c | 506.91 | 0 | -880603 lb | 0 0 0.00 | 507.76/507.95 c | 507.95 | 0 | -880600 lb | 0 0 0.00 | 508.76/509.00 c | 509.00 | 0 | -880599 lb | 0 0 0.00 | 509.86/510.05 c | 510.06 | 0 | -880596 lb | 0 0 0.00 | 510.87/511.09 c | 511.10 | 0 | -880595 lb | 0 0 0.00 | 511.96/512.19 c | 512.19 | 0 | -880594 lb | 0 0 0.00 | 513.06/513.27 c | 513.27 | 0 | -880593 lb | 0 0 0.00 | 514.17/514.33 c | 514.34 | 0 | -880592 lb | 0 0 0.00 | 515.26/515.40 c | 515.41 | 0 | -880591 lb | 0 0 0.00 | 516.27/516.47 c | 516.48 | 0 | -880590 lb | 0 0 0.00 | 517.36/517.54 c | 517.54 | 0 | -880589 lb | 0 0 0.00 | 518.46/518.63 c | 518.64 | 0 | -880588 lb | 0 0 0.00 | 519.46/519.69 c | 519.69 | 0 | -880586 lb | 0 0 0.00 | 520.56/520.76 c | 520.76 | 0 | -880585 lb | 0 0 0.00 | 521.66/521.86 c | 521.87 | 0 | -880584 lb | 0 0 0.00 | 522.76/522.93 c | 522.93 | 0 | -880583 lb | 0 0 0.00 | 523.86/524.00 c | 524.00 | 0 | -880580 lb | 0 0 0.00 | 524.86/525.09 c | 525.09 | 0 | -880579 lb | 0 0 0.00 | 525.96/526.18 c | 526.19 | 0 | -880577 lb | 0 0 0.00 | 527.06/527.27 c | 527.27 | 0 | -880575 lb | 0 0 0.00 | 528.16/528.34 c | 528.34 | 0 | -880572 lb | 0 0 0.00 | 529.26/529.41 c | 529.41 | 0 | -880569 lb | 0 0 0.00 | 530.26/530.49 c | 530.49 | 0 | -880568 lb | 0 0 0.00 | 531.36/531.58 c | 531.58 | 0 | -880566 lb | 0 0 0.00 | 532.46/532.69 c | 532.69 | 0 | -880564 lb | 0 0 0.00 | 539.36/539.50 c | 539.51 | 0 | -880563 lb | 0 0 0.00 | 545.86/546.08 c | 546.09 | 0 | -880562 lb | 0 0 0.00 | 552.26/552.41 c | 552.42 | 0 | -880561 lb | 0 0 0.00 | 558.35/558.60 c | 558.60 | 0 | -880560 lb | 0 0 0.00 | 564.56/564.79 c | 564.79 | 0 | -880559 lb | 0 0 0.00 | 570.75/570.96 c | 570.96 | 0 | -880558 lb | 0 0 0.00 | 576.95/577.10 c | 577.11 | 0 | -880557 lb | 0 0 0.00 | 583.05/583.20 c | 583.20 | 0 | -880556 lb | 0 0 0.00 | 589.04/589.28 c | 589.28 | 0 | -880555 lb | 0 0 0.00 | 595.14/595.36 c | 595.36 | 0 | -880554 lb | 0 0 0.00 | 601.24/601.41 c | 601.42 | 0 | -880553 lb | 0 0 0.00 | 607.24/607.42 c | 607.42 | 0 | -880552 lb | 0 0 0.00 | 613.34/613.57 c | 613.57 | 0 | -880551 lb | 0 0 0.00 | 619.34/619.59 c | 619.59 | 0 | -880550 lb | 0 0 0.00 | 625.54/625.76 c | 625.77 | 0 | -880549 lb | 0 0 0.00 | 631.53/631.77 c | 631.77 | 0 | -880548 lb | 0 0 0.00 | 637.63/637.86 c | 637.86 | 0 | -880547 lb | 0 0 0.00 | 643.63/643.85 c | 643.86 | 0 | -880546 lb | 0 0 0.00 | 649.63/649.86 c | 649.86 | 0 | -880545 lb | 0 0 0.00 | 655.63/655.88 c | 655.88 | 0 | -880544 lb | 0 0 0.00 | 661.73/661.91 c | 661.91 | 0 | -880543 lb | 0 0 0.00 | 667.63/667.83 c | 667.83 | 0 | -880542 lb | 0 0 0.00 | 673.62/673.89 c | 673.89 | 0 | -880541 lb | 0 0 0.00 | 679.63/679.89 c | 679.90 | 0 | -880540 lb | 0 0 0.00 | 685.63/685.88 c | 685.88 | 0 | -880539 lb | 0 0 0.00 | 691.52/691.76 c | 691.76 | 0 | -880538 lb | 0 0 0.00 | 697.53/697.72 c | 697.72 | 0 | -880537 lb | 0 0 0.00 | 703.52/703.79 c | 703.79 | 0 | -880536 lb | 0 0 0.00 | 709.62/709.84 c | 709.85 | 0 | -880535 lb | 0 0 0.00 | 715.63/715.81 c | 715.81 | 0 | -880534 lb | 0 0 0.00 | 721.52/721.75 c | 721.76 | 0 | -880533 lb | 0 0 0.00 | 727.42/727.64 c | 727.64 | 0 | -880532 lb | 0 0 0.00 | 733.31/733.58 c | 733.58 | 0 | -880531 lb | 0 0 0.00 | 739.03/739.29 c | 739.29 | 0 | -880530 lb | 0 0 0.00 | 744.82/745.02 c | 745.03 | 0 | -880529 lb | 0 0 0.00 | 750.52/750.73 c | 750.73 | 0 | -880528 lb | 0 0 0.00 | 756.12/756.38 c | 756.38 | 0 | -880527 lb | 0 0 0.00 | 761.82/762.03 c | 762.04 | 0 | -880526 lb | 0 0 0.00 | 767.52/767.72 c | 767.72 | 0 | -880525 lb | 0 0 0.00 | 773.22/773.40 c | 773.40 | 0 | -880524 lb | 0 0 0.00 | 778.81/779.09 c | 779.09 | 0 | -880523 lb | 0 0 0.00 | 784.51/784.71 c | 784.72 | 0 | -880522 lb | 0 0 0.00 | 790.11/790.36 c | 790.36 | 0 | -880521 lb | 0 0 0.00 | 795.71/795.98 c | 795.99 | 0 | -880520 lb | 0 0 0.00 | 801.31/801.56 c | 801.56 | 0 | -880519 lb | 0 0 0.00 | 806.91/807.18 c | 807.18 | 0 | -880518 lb | 0 0 0.00 | 812.50/812.73 c | 812.73 | 0 | -880517 lb | 0 0 0.00 | 818.11/818.36 c | 818.36 | 0 | -880516 lb | 0 0 0.00 | 823.71/823.94 c | 823.94 | 0 | -880515 lb | 0 0 0.00 | 829.21/829.41 c | 829.41 | 0 | -880514 lb | 0 0 0.00 | 834.61/834.90 c | 834.90 | 0 | -880513 lb | 0 0 0.00 | 840.11/840.36 c | 840.36 | 0 | -880512 lb | 0 0 0.00 | 845.61/845.85 c | 845.85 | 0 | -880511 lb | 0 0 0.00 | 851.00/851.30 c | 851.30 | 0 | -880510 lb | 0 0 0.00 | 856.50/856.72 c | 856.72 | 0 | -880509 lb | 0 0 0.00 | 861.90/862.16 c | 862.16 | 0 | -880508 lb | 0 0 0.00 | 867.40/867.64 c | 867.64 | 0 | -880507 lb | 0 0 0.00 | 872.80/873.03 c | 873.04 | 0 | -880506 lb | 0 0 0.00 | 878.19/878.40 c | 878.40 | 0 | -880505 lb | 0 0 0.00 | 883.49/883.78 c | 883.78 | 0 | -880504 lb | 0 0 0.00 | 888.90/889.15 c | 889.15 | 0 | -880503 lb | 0 0 0.00 | 894.20/894.48 c | 894.49 | 0 | -880502 lb | 0 0 0.00 | 899.79/900.01 c | 900.01 | 0 | -880501 lb | 0 0 0.00 | 905.10/905.36 c | 905.37 | 0 | -880500 lb | 0 0 0.00 | 910.60/910.81 c | 910.81 | 0 | -880499 lb | 0 0 0.00 | 915.99/916.27 c | 916.27 | 0 | -880498 lb | 0 0 0.00 | 921.29/921.56 c | 921.56 | 0 | -880497 lb | 0 0 0.00 | 926.69/926.96 c | 926.96 | 0 | -880496 lb | 0 0 0.00 | 932.09/932.39 c | 932.40 | 0 | -880495 lb | 0 0 0.00 | 937.59/937.80 c | 937.80 | 0 | -880494 lb | 0 0 0.00 | 942.79/943.08 c | 943.08 | 0 | -880493 lb | 0 0 0.00 | 948.09/948.30 c | 948.30 | 0 | -880492 lb | 0 0 0.00 | 953.18/953.41 c | 953.41 | 0 | -880491 lb | 0 0 0.00 | 958.39/958.61 c | 958.61 | 0 | -880490 lb | 0 0 0.00 | 963.58/963.85 c | 963.85 | 0 | -880489 lb | 0 0 0.00 | 968.59/968.89 c | 968.89 | 0 | -880488 lb | 0 0 0.00 | 973.79/974.08 c | 974.08 | 0 | -880487 lb | 0 0 0.00 | 978.79/979.09 c | 979.10 | 0 | -880486 lb | 0 0 0.00 | 983.99/984.21 c | 984.21 | 0 | -880485 lb | 0 0 0.00 | 988.98/989.29 c | 989.29 | 0 | -880484 lb | 0 0 0.00 | 994.18/994.41 c | 994.42 | 0 | -880483 lb | 0 0 0.00 | 999.28/999.52 c | 999.53 | 0 | -880482 lb | 0 0 0.00 | 1004.38/1004.63 c | 1004.63 | 0 | -880481 lb | 0 0 0.00 | 1009.38/1009.66 c | 1009.66 | 0 | -880480 lb | 0 0 0.00 | 1014.58/1014.81 c | 1014.81 | 0 | -880479 lb | 0 0 0.00 | 1019.57/1019.86 c | 1019.87 | 0 | -880478 lb | 0 0 0.00 | 1024.57/1024.85 c | 1024.85 | 0 | -880477 lb | 0 0 0.00 | 1029.57/1029.80 c | 1029.80 | 0 | -880476 lb | 0 0 0.00 | 1034.48/1034.76 c | 1034.77 | 0 | -880475 lb | 0 0 0.00 | 1039.47/1039.74 c | 1039.75 | 0 | -880474 lb | 0 0 0.00 | 1044.48/1044.76 c | 1044.76 | 0 | -880473 lb | 0 0 0.00 | 1049.37/1049.66 c | 1049.66 | 0 | -880472 lb | 0 0 0.00 | 1054.37/1054.64 c | 1054.64 | 0 | -880471 lb | 0 0 0.00 | 1059.17/1059.48 c | 1059.48 | 0 | -880470 lb | 0 0 0.00 | 1064.17/1064.41 c | 1064.42 | 0 | -880469 lb | 0 0 0.00 | 1069.17/1069.40 c | 1069.40 | 0 | -880468 lb | 0 0 0.00 | 1074.07/1074.38 c | 1074.38 | 0 | -880467 lb | 0 0 0.00 | 1078.87/1079.17 c | 1079.18 | 0 | -880466 lb | 0 0 0.00 | 1083.57/1083.86 c | 1083.87 | 0 | -880465 lb | 0 0 0.00 | 1088.36/1088.65 c | 1088.66 | 0 | -880464 lb | 0 0 0.00 | 1093.27/1093.59 c | 1093.60 | 0 | -880463 lb | 0 0 0.00 | 1098.16/1098.42 c | 1098.43 | 0 | -880462 lb | 0 0 0.00 | 1102.97/1103.23 c | 1103.23 | 0 | -880461 lb | 0 0 0.00 | 1107.77/1108.06 c | 1108.06 | 0 | -880460 lb | 0 0 0.00 | 1112.56/1112.86 c | 1112.86 | 0 | -880459 lb | 0 0 0.00 | 1117.46/1117.71 c | 1117.72 | 0 | -880458 lb | 0 0 0.00 | 1122.17/1122.44 c | 1122.44 | 0 | -880457 lb | 0 0 0.00 | 1126.86/1127.16 c | 1127.16 | 0 | -880456 lb | 0 0 0.00 | 1131.66/1131.92 c | 1131.92 | 0 | -880455 lb | 0 0 0.00 | 1136.36/1136.68 c | 1136.69 | 0 | -880454 lb | 0 0 0.00 | 1141.06/1141.36 c | 1141.36 | 0 | -880453 lb | 0 0 0.00 | 1145.66/1145.97 c | 1145.97 | 0 | -880452 lb | 0 0 0.00 | 1150.37/1150.62 c | 1150.63 | 0 | -880451 lb | 0 0 0.00 | 1155.36/1155.60 c | 1155.60 | 0 | -880450 lb | 0 0 0.00 | 1159.96/1160.21 c | 1160.21 | 0 | -880449 lb | 0 0 0.00 | 1164.85/1165.18 c | 1165.19 | 0 | -880448 lb | 0 0 0.00 | 1169.55/1169.86 c | 1169.86 | 0 | -880447 lb | 0 0 0.00 | 1174.56/1174.85 c | 1174.86 | 0 | -880446 lb | 0 0 0.00 | 1179.05/1179.36 c | 1179.36 | 0 | -880445 lb | 0 0 0.00 | 1184.05/1184.39 c | 1184.40 | 0 | -880444 lb | 0 0 0.00 | 1188.55/1188.84 c | 1188.85 | 0 | -880443 lb | 0 0 0.00 | 1193.26/1193.53 c | 1193.54 | 0 | -880442 lb | 0 0 0.00 | 1197.85/1198.12 c | 1198.12 | 0 | -880441 lb | 0 0 0.00 | 1202.45/1202.79 c | 1202.79 | 0 | -880440 lb | 0 0 0.00 | 1207.15/1207.49 c | 1207.49 | 0 | -880439 lb | 0 0 0.00 | 1212.05/1212.36 c | 1212.36 | 0 | -880438 lb | 0 0 0.00 | 1216.45/1216.74 c | 1216.74 | 0 | -880437 lb | 0 0 0.00 | 1221.05/1221.38 c | 1221.39 | 0 | -880436 lb | 0 0 0.00 | 1225.34/1225.69 c | 1225.69 | 0 | -880435 lb | 0 0 0.00 | 1230.15/1230.44 c | 1230.44 | 0 | -880434 lb | 0 0 0.00 | 1234.54/1234.89 c | 1234.89 | 0 | -880433 lb | 0 0 0.00 | 1239.74/1240.00 c | 1240.00 | 0 | -880432 lb | 0 0 0.00 | 1244.15/1244.42 c | 1244.42 | 0 | -880431 lb | 0 0 0.00 | 1249.25/1249.51 c | 1249.52 | 0 | -880430 lb | 0 0 0.00 | 1253.54/1253.86 c | 1253.87 | 0 | -880429 lb | 0 0 0.00 | 1258.44/1258.79 c | 1258.80 | 0 | -880428 lb | 0 0 0.00 | 1262.94/1263.26 c | 1263.27 | 0 | -880427 lb | 0 0 0.00 | 1267.74/1268.09 c | 1268.09 | 0 | -880426 lb | 0 0 0.00 | 1272.04/1272.31 c | 1272.31 | 0 | -880425 lb | 0 0 0.00 | 1277.24/1277.55 c | 1277.55 | 0 | -880424 lb | 0 0 0.00 | 1281.44/1281.75 c | 1281.76 | 0 | -880423 lb | 0 0 0.00 | 1286.04/1286.40 c | 1286.40 | 0 | -880422 lb | 0 0 0.00 | 1290.23/1290.54 c | 1290.55 | 0 | -880421 lb | 0 0 0.00 | 1294.83/1295.19 c | 1295.19 | 0 | -880420 lb | 0 0 0.00 | 1299.04/1299.32 c | 1299.32 | 0 | -880419 lb | 0 0 0.00 | 1303.73/1304.08 c | 1304.08 | 0 | -880418 lb | 0 0 0.00 | 1307.93/1308.22 c | 1308.23 | 0 | -880417 lb | 0 0 0.00 | 1312.53/1312.84 c | 1312.85 | 0 | -880416 lb | 0 0 0.00 | 1316.73/1317.05 c | 1317.06 | 0 | -880415 lb | 0 0 0.00 | 1321.33/1321.69 c | 1321.69 | 0 | -880414 lb | 0 0 0.00 | 1325.53/1325.84 c | 1325.84 | 0 | -880413 lb | 0 0 0.00 | 1330.13/1330.49 c | 1330.50 | 0 | -880412 lb | 0 0 0.00 | 1334.33/1334.68 c | 1334.68 | 0 | -880411 lb | 0 0 0.00 | 1339.03/1339.33 c | 1339.34 | 0 | -880410 lb | 0 0 0.00 | 1343.13/1343.48 c | 1343.48 | 0 | -880409 lb | 0 0 0.00 | 1347.83/1348.17 c | 1348.17 | 0 | -880408 lb | 0 0 0.00 | 1352.02/1352.37 c | 1352.37 | 0 | -880407 lb | 0 0 0.00 | 1356.82/1357.13 c | 1357.13 | 0 | -880406 lb | 0 0 0.00 | 1360.93/1361.24 c | 1361.24 | 0 | -880405 lb | 0 0 0.00 | 1365.62/1365.90 c | 1365.91 | 0 | -880404 lb | 0 0 0.00 | 1369.82/1370.14 c | 1370.15 | 0 | -880403 lb | 0 0 0.00 | 1374.42/1374.76 c | 1374.76 | 0 | -880402 lb | 0 0 0.00 | 1378.52/1378.83 c | 1378.84 | 0 | -880401 lb | 0 0 0.00 | 1383.02/1383.33 c | 1383.34 | 0 | -880400 lb | 0 0 0.00 | 1387.02/1387.38 c | 1387.38 | 0 | -880399 lb | 0 0 0.00 | 1391.52/1391.83 c | 1391.83 | 0 | -880398 lb | 0 0 0.00 | 1395.53/1395.82 c | 1395.82 | 0 | -880397 lb | 0 0 0.00 | 1399.93/1400.24 c | 1400.24 | 0 | -880396 lb | 0 0 0.00 | 1403.92/1404.22 c | 1404.22 | 0 | -880395 lb | 0 0 0.00 | 1408.22/1408.58 c | 1408.58 | 0 | -880394 lb | 0 0 0.00 | 1412.21/1412.56 c | 1412.56 | 0 | -880393 lb | 0 0 0.00 | 1416.61/1416.96 c | 1416.97 | 0 | -880392 lb | 0 0 0.00 | 1420.61/1420.94 c | 1420.94 | 0 | -880391 lb | 0 0 0.00 | 1424.91/1425.29 c | 1425.30 | 0 | -880390 lb | 0 0 0.00 | 1428.92/1429.23 c | 1429.23 | 0 | -880389 lb | 0 0 0.00 | 1433.22/1433.56 c | 1433.57 | 0 | -880388 lb | 0 0 0.00 | 1437.21/1437.50 c | 1437.51 | 0 | -880387 lb | 0 0 0.00 | 1441.51/1441.83 c | 1441.83 | 0 | -880386 lb | 0 0 0.00 | 1445.62/1445.96 c | 1445.97 | 0 | -880385 lb | 0 0 0.00 | 1450.02/1450.32 c | 1450.33 | 0 | -880384 lb | 0 0 0.00 | 1454.01/1454.31 c | 1454.32 | 0 | -880383 lb | 0 0 0.00 | 1458.31/1458.63 c | 1458.63 | 0 | -880382 lb | 0 0 0.00 | 1462.21/1462.50 c | 1462.50 | 0 | -880381 lb | 0 0 0.00 | 1466.31/1466.68 c | 1466.68 | 0 | -880380 lb | 0 0 0.00 | 1470.21/1470.50 c | 1470.50 | 0 | -880379 lb | 0 0 0.00 | 1474.51/1474.81 c | 1474.82 | 0 | -880378 lb | 0 0 0.00 | 1478.31/1478.69 c | 1478.69 | 0 | -880377 lb | 0 0 0.00 | 1482.52/1482.87 c | 1482.88 | 0 | -880376 lb | 0 0 0.00 | 1486.41/1486.71 c | 1486.71 | 0 | -880375 lb | 0 0 0.00 | 1490.50/1490.84 c | 1490.84 | 0 | -880374 lb | 0 0 0.00 | 1494.30/1494.66 c | 1494.66 | 0 | -880373 lb | 0 0 0.00 | 1498.40/1498.76 c | 1498.76 | 0 | -880372 lb | 0 0 0.00 | 1502.30/1502.61 c | 1502.62 | 0 | -880371 lb | 0 0 0.00 | 1506.40/1506.77 c | 1506.77 | 0 | -880370 lb | 0 0 0.00 | 1510.30/1510.68 c | 1510.68 | 0 | -880369 lb | 0 0 0.00 | 1514.50/1514.88 c | 1514.88 | 0 | -880368 lb | 0 0 0.00 | 1518.30/1518.69 c | 1518.69 | 0 | -880367 lb | 0 0 0.00 | 1522.40/1522.74 c | 1522.74 | 0 | -880366 lb | 0 0 0.00 | 1526.20/1526.51 c | 1526.52 | 0 | -880365 lb | 0 0 0.00 | 1530.20/1530.50 c | 1530.50 | 0 | -880364 lb | 0 0 0.00 | 1533.89/1534.21 c | 1534.21 | 0 | -880363 lb | 0 0 0.00 | 1537.80/1538.16 c | 1538.16 | 0 | -880362 lb | 0 0 0.00 | 1541.49/1541.85 c | 1541.86 | 0 | -880361 lb | 0 0 0.00 | 1545.49/1545.81 c | 1545.82 | 0 | -880360 lb | 0 0 0.00 | 1549.19/1549.50 c | 1549.51 | 0 | -880359 lb | 0 0 0.00 | 1553.09/1553.40 c | 1553.40 | 0 | -880358 lb | 0 0 0.00 | 1556.69/1557.02 c | 1557.02 | 0 | -880357 lb | 0 0 0.00 | 1560.39/1560.76 c | 1560.76 | 0 | -880356 lb | 0 0 0.00 | 1563.99/1564.35 c | 1564.35 | 0 | -880355 lb | 0 0 0.00 | 1567.78/1568.17 c | 1568.18 | 0 | -880354 lb | 0 0 0.00 | 1571.38/1571.76 c | 1571.76 | 0 | -880353 lb | 0 0 0.00 | 1575.18/1575.57 c | 1575.58 | 0 | -880352 lb | 0 0 0.00 | 1578.78/1579.16 c | 1579.16 | 0 | -880351 lb | 0 0 0.00 | 1582.59/1582.92 c | 1582.93 | 0 | -880350 lb | 0 0 0.00 | 1586.18/1586.53 c | 1586.53 | 0 | -880349 lb | 0 0 0.00 | 1589.88/1590.26 c | 1590.26 | 0 | -880348 lb | 0 0 0.00 | 1593.49/1593.85 c | 1593.85 | 0 | -880347 lb | 0 0 0.00 | 1597.18/1597.51 c | 1597.51 | 0 | -880346 lb | 0 0 0.00 | 1600.68/1601.01 c | 1601.02 | 0 | -880345 lb | 0 0 0.00 | 1604.28/1604.64 c | 1604.64 | 0 | -880344 lb | 0 0 0.00 | 1607.79/1608.13 c | 1608.14 | 0 | -880343 lb | 0 0 0.00 | 1611.38/1611.71 c | 1611.72 | 0 | -880342 lb | 0 0 0.00 | 1614.88/1615.21 c | 1615.21 | 0 | -880341 lb | 0 0 0.00 | 1618.37/1618.79 c | 1618.79 | 0 | -880340 lb | 0 0 0.00 | 1621.87/1622.26 c | 1622.26 | 0 | -880339 lb | 0 0 0.00 | 1625.38/1625.78 c | 1625.78 | 0 | -880338 lb | 0 0 0.00 | 1628.78/1629.19 c | 1629.20 | 0 | -880337 lb | 0 0 0.00 | 1632.46/1632.87 c | 1632.88 | 0 | -880336 lb | 0 0 0.00 | 1635.97/1636.39 c | 1636.40 | 0 | -880335 lb | 0 0 0.00 | 1639.57/1639.92 c | 1639.93 | 0 | -880334 lb | 0 0 0.00 | 1642.97/1643.37 c | 1643.38 | 0 | -880333 lb | 0 0 0.00 | 1646.37/1646.78 c | 1646.78 | 0 | -880332 lb | 0 0 0.00 | 1649.86/1650.22 c | 1650.22 | 0 | -880331 lb | 0 0 0.00 | 1653.26/1653.65 c | 1653.66 | 0 | -880330 lb | 0 0 0.00 | 1656.66/1657.07 c | 1657.08 | 0 | -880329 lb | 0 0 0.00 | 1660.17/1660.55 c | 1660.55 | 0 | -880328 lb | 0 0 0.00 | 1663.66/1664.06 c | 1664.07 | 0 | -880327 lb | 0 0 0.00 | 1667.06/1667.49 c | 1667.50 | 0 | -880326 lb | 0 0 0.00 | 1670.47/1670.87 c | 1670.87 | 0 | -880325 lb | 0 0 0.00 | 1673.96/1674.31 c | 1674.31 | 0 | -880324 lb | 0 0 0.00 | 1677.26/1677.66 c | 1677.66 | 0 | -880323 lb | 0 0 0.00 | 1680.66/1681.06 c | 1681.06 | 0 | -880322 lb | 0 0 0.00 | 1684.06/1684.42 c | 1684.42 | 0 | -880321 lb | 0 0 0.00 | 1687.36/1687.77 c | 1687.77 | 0 | -880320 lb | 0 0 0.00 | 1690.76/1691.11 c | 1691.11 | 0 | -880319 lb | 0 0 0.00 | 1694.06/1694.42 c | 1694.42 | 0 | -880318 lb | 0 0 0.00 | 1697.36/1697.74 c | 1697.74 | 0 | -880317 lb | 0 0 0.00 | 1700.65/1701.04 c | 1701.05 | 0 | -880316 lb | 0 0 0.00 | 1703.95/1704.31 c | 1704.32 | 0 | -880315 lb | 0 0 0.00 | 1707.15/1707.54 c | 1707.54 | 0 | -880314 lb | 0 0 0.00 | 1710.36/1710.77 c | 1710.77 | 0 | -880313 lb | 0 0 0.00 | 1713.66/1714.02 c | 1714.02 | 0 | -880312 lb | 0 0 0.00 | 1716.86/1717.22 c | 1717.22 | 0 | -880311 lb | 0 0 0.00 | 1720.06/1720.42 c | 1720.42 | 0 | -880310 lb | 0 0 0.00 | 1723.26/1723.61 c | 1723.61 | 0 | -880309 lb | 0 0 0.00 | 1726.35/1726.74 c | 1726.75 | 0 | -880308 lb | 0 0 0.00 | 1729.56/1729.94 c | 1729.94 | 0 | -880307 lb | 0 0 0.00 | 1732.55/1732.99 c | 1733.00 | 0 | -880306 lb | 0 0 0.00 | 1735.75/1736.17 c | 1736.17 | 0 | -880305 lb | 0 0 0.00 | 1738.76/1739.17 c | 1739.17 | 0 | -880304 lb | 0 0 0.00 | 1741.95/1742.31 c | 1742.31 | 0 | -880303 lb | 0 0 0.00 | 1744.94/1745.36 c | 1745.36 | 0 | -880302 lb | 0 0 0.00 | 1748.14/1748.53 c | 1748.53 | 0 | -880301 lb | 0 0 0.00 | 1751.25/1751.60 c | 1751.61 | 0 | -880300 lb | 0 0 0.00 | 1754.44/1754.82 c | 1754.83 | 0 | -880299 lb | 0 0 0.00 | 1757.54/1757.93 c | 1757.93 | 0 | -880298 lb | 0 0 0.00 | 1760.74/1761.13 c | 1761.13 | 0 | -880297 lb | 0 0 0.00 | 1763.74/1764.17 c | 1764.17 | 0 | -880296 lb | 0 0 0.00 | 1766.94/1767.30 c | 1767.30 | 0 | -880295 lb | 0 0 0.00 | 1769.94/1770.34 c | 1770.34 | 0 | -880294 lb | 0 0 0.00 | 1773.04/1773.47 c | 1773.48 | 0 | -880293 lb | 0 0 0.00 | 1776.04/1776.50 c | 1776.50 | 0 | -880292 lb | 0 0 0.00 | 1779.13/1779.57 c | 1779.57 | 0 | -880291 lb | 0 0 0.00 | 1782.14/1782.52 c | 1782.52 | 0 | -880290 lb | 0 0 0.00 | 1785.14/1785.54 c | 1785.54 | 0 | -880289 lb | 0 0 0.00 | 1788.03/1788.48 c | 1788.48 | 0 | -880288 lb | 0 0 0.00 | 1791.24/1791.61 c | 1791.61 | 0 | -880287 lb | 0 0 0.00 | 1794.24/1794.60 c | 1794.61 | 0 | -880286 lb | 0 0 0.00 | 1797.23/1797.65 c | 1797.66 | 0 | -880285 lb | 0 0 0.00 | 1799.63/1800.00 c =============================================================================== 1799.63/1800.00 c Wall Clock Time: 1800.01 s 1799.63/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-3705607-1338162895/watcher-3705607-1338162895 -o /tmp/evaluation-result-3705607-1338162895/solver-3705607-1338162895 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705607-1338162895.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.12 2.04 2.01 3/177 15541 /proc/meminfo: memFree=28952120/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=31824 CPUtime=0 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) R 15539 15541 15230 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 282418180 32587776 527 33554432000 4194304 5963574 140734063317008 140733373903560 4395185 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 7956 527 174 432 0 627 0 [startup+0.0142719 s] /proc/loadavg: 2.12 2.04 2.01 3/177 15541 /proc/meminfo: memFree=28952120/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=33452 CPUtime=0.01 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) R 15539 15541 15230 0 -1 4202496 921 0 0 0 1 0 0 0 20 0 1 0 282418180 34254848 874 33554432000 4194304 5963574 140734063317008 140733373903560 4395065 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 8363 876 201 432 0 1034 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 33452 [startup+0.100813 s] /proc/loadavg: 2.12 2.04 2.01 3/177 15541 /proc/meminfo: memFree=28952120/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=42496 CPUtime=0.09 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) R 15539 15541 15230 0 -1 4202496 3384 0 0 0 9 0 0 0 20 0 1 0 282418180 43515904 3223 33554432000 4194304 5963574 140734063317008 140733373903560 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 10624 3224 492 432 0 3295 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42496 [startup+0.300295 s] /proc/loadavg: 2.12 2.04 2.01 3/177 15541 /proc/meminfo: memFree=28952120/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=53544 CPUtime=0.29 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) R 15539 15541 15230 0 -1 4202496 6985 0 0 0 29 0 0 0 20 0 1 0 282418180 54829056 6687 33554432000 4194304 5963574 140734063317008 140733373903560 4344195 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 13386 6689 1082 432 0 6057 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53544 [startup+0.700267 s] /proc/loadavg: 2.12 2.04 2.01 3/177 15541 /proc/meminfo: memFree=28952120/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=86280 CPUtime=0.68 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) R 15539 15541 15230 0 -1 4202496 16098 0 0 0 67 1 0 0 20 0 1 0 282418180 88350720 15142 33554432000 4194304 5963574 140734063317008 140733373903560 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 21570 15145 2240 432 0 14241 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 86280 [startup+1.50025 s] /proc/loadavg: 2.12 2.04 2.01 3/178 15542 /proc/meminfo: memFree=28880872/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=135056 CPUtime=1.48 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) R 15539 15541 15230 0 -1 4202496 29377 0 0 0 144 4 0 0 20 0 1 0 282418180 138297344 29410 33554432000 4194304 5963574 140734063317008 140734063315496 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 33764 29410 4012 432 0 26435 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 135056 [startup+3.1002 s] /proc/loadavg: 2.12 2.04 2.01 3/172 15571 /proc/meminfo: memFree=30904576/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=293132 CPUtime=3.08 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 53704 0 0 0 299 9 0 0 20 0 2 0 282418180 300167168 50360 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 73283 50360 177 432 0 72848 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 293132 [startup+6.30035 s] /proc/loadavg: 2.11 2.04 2.01 3/179 15582 /proc/meminfo: memFree=30235732/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=565652 CPUtime=6.28 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 114809 0 0 0 601 27 0 0 20 0 2 0 282418180 579227648 122605 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 141413 122605 195 432 0 140978 0 [pid=15541/tid=15581] ppid=15539 vsize=565652 CPUtime=3.22 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 67570 0 0 0 303 19 0 0 20 0 2 0 282418486 579227648 122605 33554432000 4194304 5963574 140734063317008 140062180366872 5129911 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 565652 [startup+12.7003 s] /proc/loadavg: 2.10 2.04 2.00 3/179 15582 /proc/meminfo: memFree=30003992/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=565652 CPUtime=12.68 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 120339 0 0 0 1238 30 0 0 20 0 2 0 282418180 579227648 130184 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 141413 130184 195 432 0 140978 0 [pid=15541/tid=15581] ppid=15539 vsize=565652 CPUtime=9.62 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 73100 0 0 0 940 22 0 0 20 0 2 0 282418486 579227648 130184 33554432000 4194304 5963574 140734063317008 140062180366872 5138318 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 565652 [startup+25.5003 s] /proc/loadavg: 2.08 2.03 2.00 3/179 15582 /proc/meminfo: memFree=29929100/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=631188 CPUtime=25.48 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 131838 0 0 0 2512 36 0 0 20 0 2 0 282418180 646336512 148265 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 157797 148265 195 432 0 157362 0 [pid=15541/tid=15581] ppid=15539 vsize=631188 CPUtime=22.42 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 84599 0 0 0 2213 29 0 0 20 0 2 0 282418486 646336512 148265 33554432000 4194304 5963574 140734063317008 140062180366872 4374795 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 631188 [startup+51.1003 s] /proc/loadavg: 2.11 2.05 2.01 3/179 15582 /proc/meminfo: memFree=29819404/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=762376 CPUtime=51.07 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 159057 0 0 0 5052 55 0 0 20 0 2 0 282418180 780673024 172010 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 190594 172010 195 432 0 190159 0 [pid=15541/tid=15581] ppid=15539 vsize=762376 CPUtime=48.01 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 111818 0 0 0 4754 47 0 0 20 0 2 0 282418486 780673024 172010 33554432000 4194304 5963574 140734063317008 140062180356416 4395382 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 762376 [startup+102.307 s] /proc/loadavg: 2.11 2.05 2.01 3/179 15582 /proc/meminfo: memFree=29491884/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=1180200 CPUtime=102.27 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 192516 0 0 0 10136 91 0 0 20 0 2 0 282418180 1208524800 251871 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 295050 251871 195 432 0 294615 0 [pid=15541/tid=15581] ppid=15539 vsize=1180200 CPUtime=99.21 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 145277 0 0 0 9837 84 0 0 20 0 2 0 282418486 1208524800 251871 33554432000 4194304 5963574 140734063317008 140062180366632 5121566 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1180200 [startup+162.3 s] /proc/loadavg: 2.04 2.04 2.00 3/179 15583 /proc/meminfo: memFree=29207088/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=1507880 CPUtime=162.24 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 211524 0 0 0 16106 118 0 0 20 0 2 0 282418180 1544069120 322951 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 376970 322951 195 432 0 376535 0 [pid=15541/tid=15581] ppid=15539 vsize=1507880 CPUtime=159.2 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 164285 0 0 0 15807 113 0 0 20 0 2 0 282418486 1544069120 322951 33554432000 4194304 5963574 140734063317008 140062180366872 5138270 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 1507880 [startup+222.3 s] /proc/loadavg: 2.01 2.03 2.00 3/179 15583 /proc/meminfo: memFree=28850380/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=1901096 CPUtime=222.23 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 235921 0 0 0 22074 149 0 0 20 0 2 0 282418180 1946722304 395597 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 475274 395597 195 432 0 474839 0 [pid=15541/tid=15581] ppid=15539 vsize=1901096 CPUtime=219.2 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 188682 0 0 0 21775 145 0 0 20 0 2 0 282418486 1946722304 395597 33554432000 4194304 5963574 140734063317008 140062180366632 4407281 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1901096 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 15583 /proc/meminfo: memFree=28652036/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=2052760 CPUtime=282.23 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 336136 0 0 0 27946 277 0 0 20 0 2 0 282418180 2102026240 442210 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 513190 442210 195 432 0 512755 0 [pid=15541/tid=15581] ppid=15539 vsize=2052760 CPUtime=279.2 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 288897 0 0 0 27647 273 0 0 20 0 2 0 282418486 2102026240 442210 33554432000 4194304 5963574 140734063317008 140062180366744 5138318 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 2052760 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.00 3/180 15586 /proc/meminfo: memFree=28367996/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=2417352 CPUtime=342.21 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 444258 0 0 0 33804 417 0 0 20 0 2 0 282418180 2475368448 516200 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 604338 516200 195 432 0 603903 0 [pid=15541/tid=15581] ppid=15539 vsize=2417352 CPUtime=339.19 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 397019 0 0 0 33505 414 0 0 20 0 2 0 282418486 2475368448 516200 33554432000 4194304 5963574 140734063317008 140062180367288 5138318 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 2417352 [startup+402.3 s] /proc/loadavg: 2.04 2.03 2.00 3/180 15608 /proc/meminfo: memFree=27980152/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=2674188 CPUtime=402.2 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 537600 0 0 0 39680 540 0 0 20 0 2 0 282418180 2738368512 592032 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 668547 592032 195 432 0 668112 0 [pid=15541/tid=15581] ppid=15539 vsize=2674188 CPUtime=399.18 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 490361 0 0 0 39381 537 0 0 20 0 2 0 282418486 2738368512 592032 33554432000 4194304 5963574 140734063317008 140062180366680 4444704 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 2674188 [startup+462.3 s] /proc/loadavg: 2.05 2.03 2.00 3/179 15609 /proc/meminfo: memFree=27731796/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=2925312 CPUtime=462.18 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 667690 0 0 0 45554 664 0 0 20 0 2 0 282418180 2995519488 645592 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 731328 645592 195 432 0 730893 0 [pid=15541/tid=15581] ppid=15539 vsize=2925312 CPUtime=459.17 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 620451 0 0 0 45255 662 0 0 20 0 2 0 282418486 2995519488 645592 33554432000 4194304 5963574 140734063317008 140062180366600 5138318 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1050821 0 0 0 128731 1184 0 0 20 0 2 0 282418486 4173914112 907201 33554432000 4194304 5963574 140734063317008 140062180367176 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 4076088 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15615 /proc/meminfo: memFree=25534744/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4301660 CPUtime=1362.02 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1127152 0 0 0 134992 1210 0 0 20 0 2 0 282418180 4404899840 951672 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1075415 951672 198 432 0 1074980 0 [pid=15541/tid=15581] ppid=15539 vsize=4301660 CPUtime=1359.15 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1079913 0 0 0 134692 1223 0 0 20 0 2 0 282418486 4404899840 951672 33554432000 4194304 5963574 140734063317008 140062180366744 4374795 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 4301660 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15615 /proc/meminfo: memFree=25397644/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4348656 CPUtime=1422.02 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1176752 0 0 0 140940 1262 0 0 20 0 2 0 282418180 4453023744 964848 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1087164 964848 198 432 0 1086729 0 [pid=15541/tid=15581] ppid=15539 vsize=4348656 CPUtime=1419.15 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1129513 0 0 0 140639 1276 0 0 20 0 2 0 282418486 4453023744 964848 33554432000 4194304 5963574 140734063317008 140062180366680 5121576 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 4348656 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15615 /proc/meminfo: memFree=25382120/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4358824 CPUtime=1482.01 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1210932 0 0 0 146889 1312 0 0 20 0 2 0 282418180 4463435776 961174 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1089706 961174 198 432 0 1089271 0 [pid=15541/tid=15581] ppid=15539 vsize=4358824 CPUtime=1479.14 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1163693 0 0 0 146588 1326 0 0 20 0 2 0 282418486 4463435776 961174 33554432000 4194304 5963574 140734063317008 140062180367288 4392253 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 4358824 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15618 /proc/meminfo: memFree=25170472/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4535096 CPUtime=1541.99 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1260576 0 0 0 152827 1372 0 0 20 0 2 0 282418180 4643938304 1001686 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1133774 1001686 198 432 0 1133339 0 [pid=15541/tid=15581] ppid=15539 vsize=4535096 CPUtime=1539.14 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1213337 0 0 0 152526 1388 0 0 20 0 2 0 282418486 4643938304 1001686 33554432000 4194304 5963574 140734063317008 140062180366872 5138318 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 4535096 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 15618 /proc/meminfo: memFree=25023596/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4653864 CPUtime=1601.97 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1309985 0 0 0 158768 1429 0 0 20 0 2 0 282418180 4765556736 1026558 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1163466 1026558 198 432 0 1163031 0 [pid=15541/tid=15581] ppid=15539 vsize=4653864 CPUtime=1599.13 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1262746 0 0 0 158467 1446 0 0 20 0 2 0 282418486 4765556736 1026558 33554432000 4194304 5963574 140734063317008 140062180366920 5141661 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 4653864 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 15619 /proc/meminfo: memFree=24940708/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4633272 CPUtime=1661.96 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1367415 0 0 0 164706 1490 0 0 20 0 2 0 282418180 4744470528 1027848 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1158318 1027848 198 432 0 1157883 0 [pid=15541/tid=15581] ppid=15539 vsize=4633272 CPUtime=1659.13 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1320176 0 0 0 164406 1507 0 0 20 0 2 0 282418486 4744470528 1027848 33554432000 4194304 5963574 140734063317008 140062180367176 5133477 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 4633272 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15619 /proc/meminfo: memFree=24785952/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4752040 CPUtime=1721.95 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1411930 0 0 0 170648 1547 0 0 20 0 2 0 282418180 4866088960 1053988 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1188010 1053988 198 432 0 1187575 0 [pid=15541/tid=15581] ppid=15539 vsize=4752040 CPUtime=1719.12 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1364691 0 0 0 170347 1565 0 0 20 0 2 0 282418486 4866088960 1053988 33554432000 4194304 5963574 140734063317008 140062180367288 4403231 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 4752040 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 15619 /proc/meminfo: memFree=24704248/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4883112 CPUtime=1781.94 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1446887 0 0 0 176588 1606 0 0 20 0 2 0 282418180 5000306688 1084770 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1220778 1084770 198 432 0 1220343 0 [pid=15541/tid=15581] ppid=15539 vsize=4883112 CPUtime=1779.12 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1399648 0 0 0 176288 1624 0 0 20 0 2 0 282418486 5000306688 1084770 33554432000 4194304 5963574 140734063317008 140062180367288 4408753 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 4883112 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.06 2.02 2.00 3/179 15619 /proc/meminfo: memFree=24614160/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4993848 CPUtime=1791.54 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1458451 0 0 0 177536 1618 0 0 20 0 2 0 282418180 5113700352 1107284 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1248462 1107284 198 432 0 1248027 0 [pid=15541/tid=15581] ppid=15539 vsize=4993848 CPUtime=1788.72 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1411212 0 0 0 177236 1636 0 0 20 0 2 0 282418486 5113700352 1107284 33554432000 4194304 5963574 140734063317008 140062180366920 5142975 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (KiB) 4993848 [startup+1795.1 s] /proc/loadavg: 2.06 2.01 2.00 3/179 15619 /proc/meminfo: memFree=24608560/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4993848 CPUtime=1794.74 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1462247 0 0 0 177852 1622 0 0 20 0 2 0 282418180 5113700352 1108468 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1248462 1108468 198 432 0 1248027 0 [pid=15541/tid=15581] ppid=15539 vsize=4993848 CPUtime=1791.92 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1415008 0 0 0 177552 1640 0 0 20 0 2 0 282418486 5113700352 1108468 33554432000 4194304 5963574 140734063317008 140062180366920 5138318 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (KiB) 4993848 [startup+1798.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 15619 /proc/meminfo: memFree=24698032/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=5006152 CPUtime=1797.93 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1470836 0 0 0 178167 1626 0 0 20 0 2 0 282418180 5126299648 1113723 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1251538 1113723 198 432 0 1251103 0 [pid=15541/tid=15581] ppid=15539 vsize=5006152 CPUtime=1795.11 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1423597 0 0 0 177865 1646 0 0 20 0 2 0 282418486 5126299648 1113723 33554432000 4194304 5963574 140734063317008 140062180366920 5138205 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 5006152 [startup+1799.1 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15619 /proc/meminfo: memFree=24570328/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4950784 CPUtime=1798.74 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1470840 0 0 0 178247 1627 0 0 20 0 2 0 282418180 5069602816 1103469 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1237696 1103469 198 432 0 1237261 0 [pid=15541/tid=15581] ppid=15539 vsize=4950784 CPUtime=1795.92 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1423601 0 0 0 177946 1646 0 0 20 0 2 0 282418486 5069602816 1103469 33554432000 4194304 5963574 140734063317008 140062180366920 4375820 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.74 Current children cumulated vsize (KiB) 4950784 [startup+1799.5 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15619 /proc/meminfo: memFree=24652176/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4895416 CPUtime=1799.14 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1470840 0 0 0 178287 1627 0 0 20 0 2 0 282418180 5012905984 1093211 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1223854 1093211 198 432 0 1223419 0 [pid=15541/tid=15581] ppid=15539 vsize=4895416 CPUtime=1796.32 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1423601 0 0 0 177986 1646 0 0 20 0 2 0 282418486 5012905984 1093211 33554432000 4194304 5963574 140734063317008 140062180366920 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.14 Current children cumulated vsize (KiB) 4895416 [startup+1799.9 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15619 /proc/meminfo: memFree=24652176/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4895416 CPUtime=1799.53 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1470840 0 0 0 178326 1627 0 0 20 0 2 0 282418180 5012905984 1093211 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1223854 1093211 198 432 0 1223419 0 [pid=15541/tid=15581] ppid=15539 vsize=4895416 CPUtime=1796.71 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1423601 0 0 0 178025 1646 0 0 20 0 2 0 282418486 5012905984 1093211 33554432000 4194304 5963574 140734063317008 140062180367288 4388696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (KiB) 4895416 [startup+1800 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15619 /proc/meminfo: memFree=24652176/32873844 swapFree=7108/7108 [pid=15541] ppid=15539 vsize=4895416 CPUtime=1799.63 cores=1,3,5,7 /proc/15541/stat : 15541 (wbo1.7) S 15539 15541 15230 0 -1 4202496 1470840 0 0 0 178336 1627 0 0 20 0 2 0 282418180 5012905984 1093211 33554432000 4194304 5963574 140734063317008 140734063316528 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15541/statm: 1223854 1093211 198 432 0 1223419 0 [pid=15541/tid=15581] ppid=15539 vsize=4895416 CPUtime=1796.81 cores=1,3,5,7 /proc/15541/task/15581/stat : 15581 (wbo1.7) R 15539 15541 15230 0 -1 4202560 1423601 0 0 0 178035 1646 0 0 20 0 2 0 282418486 5012905984 1093211 33554432000 4194304 5963574 140734063317008 140062180367288 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (KiB) 4895416 Child status: 255 Real time (s): 1800.08 CPU time (s): 1799.97 CPU user time (s): 1783.34 CPU system time (s): 16.6275 CPU usage (%): 99.9938 Max. virtual memory (cumulated for all children) (KiB): 5022472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.34 system time used= 16.6275 maximum resident set size= 4466548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1470840 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= 88 involuntary context switches= 1955 runsolver used 3.02654 second user time and 9.31958 second system time The end
Begin job on node103 at 2012-05-28 01:54:56 IDJOB=3705607 IDBENCH=90976 IDSOLVER=2283 FILE ID=node103/3705607-1338162895 RUNJOBID= node103-1338157493-15247 PBS_JOBID= 14624530 Free space on /tmp= 71516 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705607-1338162895/watcher-3705607-1338162895 -o /tmp/evaluation-result-3705607-1338162895/solver-3705607-1338162895 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705607-1338162895.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d6bdbf89ddd7448cef1f1e681200f2c0 RANDOM SEED=1189639801 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: 28952012 kB Buffers: 349076 kB Cached: 645756 kB SwapCached: 4508 kB Active: 2739200 kB Inactive: 342584 kB Active(anon): 2083036 kB Inactive(anon): 6220 kB Active(file): 656164 kB Inactive(file): 336364 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67099564 kB Dirty: 32944 kB Writeback: 0 kB AnonPages: 2091024 kB Mapped: 12476 kB Shmem: 8 kB Slab: 695924 kB SReclaimable: 137192 kB SUnreclaim: 558732 kB KernelStack: 1456 kB PageTables: 8244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 320880 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1916928 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 02:24:56