| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1799.99 | 1800.02 |
| Name | /OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX60_K192_cod2.opb |
| MD5SUM | 768b5e23d0b4ff11a666e1cea764674d |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -11680 |
| Best CPU time to get the best result obtained on this benchmark | 1314.51 |
| 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 | 1605 |
| Biggest coefficient in the objective function | 1024 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 370041 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 1024 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 370041 |
| Number of bits of the biggest sum of numbers | 19 |
| 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-3705590-1338162897.opb. 0.00/0.00 c Instance file HOME/instance-3705590-1338162897.opb 0.00/0.00 c File size is 28233538 bytes. 2.89/2.93 c Cost Offset: -370041 2.89/2.93 c Highest Coefficient sum: 63611 3.09/3.23 c ============================[ Problem Statistics ]============================= 3.09/3.23 c | | 3.09/3.23 c | Parsing time: 2.94 s | 3.09/3.23 c | Number Variables: 400896 | 3.09/3.23 c | Number Clauses: 400785 | 3.09/3.23 c | Number Cardinality: 1977 | 3.09/3.23 c | Number PB Constraints: 1 | 3.09/3.23 c | | 3.09/3.23 c | Problem Type: Optimization | 3.09/3.23 c | Objective Function: PB Constraint | 3.09/3.23 c | | 3.09/3.23 c ============================[ Search Statistics ]============================== 3.09/3.23 c | Time (s) | ID | Bound | Shared Clauses | 3.09/3.23 c | | | value type | expCls impCls Lit/impCl | 3.09/3.23 c =============================================================================== 3.59/3.68 c | 3.69 | 0 | -370040 lb | 0 0 0.00 | 4.09/4.10 c | 4.10 | 0 | -370039 lb | 0 0 0.00 | 4.39/4.48 c | 4.49 | 0 | -370037 lb | 0 0 0.00 | 4.78/4.85 c | 4.86 | 0 | -370033 lb | 0 0 0.00 | 5.19/5.23 c | 5.23 | 0 | -370025 lb | 0 0 0.00 | 5.59/5.61 c | 5.61 | 0 | -370009 lb | 0 0 0.00 | 5.89/5.99 c | 5.99 | 0 | -369977 lb | 0 0 0.00 | 6.29/6.38 c | 6.38 | 0 | -369913 lb | 0 0 0.00 | 6.69/6.77 c | 6.77 | 0 | -369785 lb | 0 0 0.00 | 7.08/7.16 c | 7.16 | 0 | -369529 lb | 0 0 0.00 | 7.49/7.55 c | 7.55 | 0 | -369017 lb | 0 0 0.00 | 8.19/8.23 c | 8.24 | 0 | -369016 lb | 0 0 0.00 | 9.49/9.53 c | 9.53 | 0 | -369015 lb | 0 0 0.00 | 10.79/10.86 c | 10.87 | 0 | -369014 lb | 0 0 0.00 | 12.09/12.12 c | 12.12 | 0 | -369013 lb | 0 0 0.00 | 13.78/13.85 c | 13.85 | 0 | -369012 lb | 0 0 0.00 | 15.19/15.20 c | 15.21 | 0 | -369011 lb | 0 0 0.00 | 16.49/16.59 c | 16.59 | 0 | -369010 lb | 0 0 0.00 | 17.89/17.92 c | 17.93 | 0 | -369009 lb | 0 0 0.00 | 19.28/19.31 c | 19.32 | 0 | -369008 lb | 0 0 0.00 | 21.99/22.03 c | 22.03 | 0 | -369007 lb | 0 0 0.00 | 25.89/25.95 c | 25.95 | 0 | -369006 lb | 0 0 0.00 | 29.58/29.67 c | 29.67 | 0 | -369005 lb | 0 0 0.00 | 33.68/33.78 c | 33.78 | 0 | -369004 lb | 0 0 0.00 | 37.19/37.28 c | 37.28 | 0 | -369003 lb | 0 0 0.00 | 43.18/43.22 c | 43.22 | 0 | -369002 lb | 0 0 0.00 | 46.48/46.54 c | 46.54 | 0 | -369001 lb | 0 0 0.00 | 49.88/49.91 c | 49.91 | 0 | -369000 lb | 0 0 0.00 | 51.88/51.96 c | 51.96 | 0 | -368999 lb | 0 0 0.00 | 54.38/54.45 c | 54.45 | 0 | -368998 lb | 0 0 0.00 | 58.68/58.79 c | 58.80 | 0 | -368997 lb | 0 0 0.00 | 61.68/61.73 c | 61.73 | 0 | -368996 lb | 0 0 0.00 | 69.98/70.06 c | 70.06 | 0 | -368995 lb | 0 0 0.00 | 70.87/70.95 c | 70.95 | 0 | -368994 lb | 0 0 0.00 | 80.28/80.31 c | 80.32 | 0 | -368993 lb | 0 0 0.00 | 93.88/93.98 c | 93.98 | 0 | -368992 lb | 0 0 0.00 | 102.87/102.99 c | 102.99 | 0 | -368991 lb | 0 0 0.00 | 104.17/104.26 c | 104.26 | 0 | -368990 lb | 0 0 0.00 | 169.47/169.57 c | 169.57 | 0 | -368989 lb | 0 0 0.00 | 198.45/198.54 c | 198.55 | 0 | -368988 lb | 0 0 0.00 | 199.65/199.70 c | 199.70 | 0 | -368987 lb | 0 0 0.00 | 228.86/228.94 c | 228.95 | 0 | -368986 lb | 0 0 0.00 | 229.86/229.99 c | 229.99 | 0 | -368985 lb | 0 0 0.00 | 231.26/231.38 c | 231.38 | 0 | -368984 lb | 0 0 0.00 | 232.06/232.16 c | 232.16 | 0 | -368983 lb | 0 0 0.00 | 233.55/233.61 c | 233.62 | 0 | -368982 lb | 0 0 0.00 | 234.45/234.53 c | 234.54 | 0 | -368981 lb | 0 0 0.00 | 236.05/236.14 c | 236.14 | 0 | -368980 lb | 0 0 0.00 | 237.05/237.14 c | 237.14 | 0 | -368979 lb | 0 0 0.00 | 237.85/237.95 c | 237.96 | 0 | -368978 lb | 0 0 0.00 | 238.95/239.04 c | 239.04 | 0 | -368977 lb | 0 0 0.00 | 239.86/239.94 c | 239.95 | 0 | -368976 lb | 0 0 0.00 | 240.86/240.96 c | 240.96 | 0 | -368974 lb | 0 0 0.00 | 241.75/241.81 c | 241.81 | 0 | -368969 lb | 0 0 0.00 | 242.55/242.65 c | 242.65 | 0 | -368946 lb | 0 0 0.00 | 245.75/245.87 c | 245.87 | 0 | -368944 lb | 0 0 0.00 | 246.75/246.88 c | 246.88 | 0 | -368943 lb | 0 0 0.00 | 248.05/248.14 c | 248.14 | 0 | -368942 lb | 0 0 0.00 | 318.83/318.92 c | 318.92 | 0 | -368941 lb | 0 0 0.00 | 320.63/320.71 c | 320.71 | 0 | -368939 lb | 0 0 0.00 | 327.44/327.57 c | 327.57 | 0 | -368938 lb | 0 0 0.00 | 328.64/328.74 c | 328.74 | 0 | -368937 lb | 0 0 0.00 | 344.14/344.20 c | 344.21 | 0 | -368936 lb | 0 0 0.00 | 348.75/348.84 c | 348.85 | 0 | -368880 lb | 0 0 0.00 | 349.53/349.67 c | 349.68 | 0 | -368879 lb | 0 0 0.00 | 350.33/350.48 c | 350.49 | 0 | -368878 lb | 0 0 0.00 | 352.23/352.31 c | 352.31 | 0 | -368877 lb | 0 0 0.00 | 353.94/354.09 c | 354.09 | 0 | -368876 lb | 0 0 0.00 | 354.94/355.08 c | 355.08 | 0 | -368874 lb | 0 0 0.00 | 356.04/356.11 c | 356.11 | 0 | -368873 lb | 0 0 0.00 | 357.54/357.62 c | 357.63 | 0 | -368737 lb | 0 0 0.00 | 358.54/358.67 c | 358.68 | 0 | -368736 lb | 0 0 0.00 | 359.23/359.39 c | 359.39 | 0 | -368735 lb | 0 0 0.00 | 365.14/365.27 c | 365.27 | 0 | -368734 lb | 0 0 0.00 | 366.34/366.45 c | 366.46 | 0 | -368717 lb | 0 0 0.00 | 373.63/373.78 c | 373.79 | 0 | -368716 lb | 0 0 0.00 | 374.74/374.87 c | 374.87 | 0 | -368715 lb | 0 0 0.00 | 378.63/378.77 c | 378.78 | 0 | -368714 lb | 0 0 0.00 | 379.93/380.01 c | 380.01 | 0 | -368713 lb | 0 0 0.00 | 381.03/381.19 c | 381.20 | 0 | -368712 lb | 0 0 0.00 | 381.93/382.05 c | 382.05 | 0 | -368501 lb | 0 0 0.00 | 383.03/383.14 c | 383.15 | 0 | -368500 lb | 0 0 0.00 | 384.02/384.11 c | 384.12 | 0 | -368499 lb | 0 0 0.00 | 384.94/385.06 c | 385.07 | 0 | -368496 lb | 0 0 0.00 | 386.03/386.17 c | 386.17 | 0 | -368495 lb | 0 0 0.00 | 387.14/387.27 c | 387.27 | 0 | -368494 lb | 0 0 0.00 | 388.03/388.14 c | 388.14 | 0 | -368493 lb | 0 0 0.00 | 393.03/393.12 c | 393.12 | 0 | -368492 lb | 0 0 0.00 | 423.22/423.30 c | 423.30 | 0 | -368491 lb | 0 0 0.00 | 431.02/431.19 c | 431.19 | 0 | -368490 lb | 0 0 0.00 | 432.02/432.17 c | 432.17 | 0 | -368489 lb | 0 0 0.00 | 432.92/433.01 c | 433.01 | 0 | -368488 lb | 0 0 0.00 | 433.82/433.91 c | 433.92 | 0 | -368487 lb | 0 0 0.00 | 434.62/434.77 c | 434.77 | 0 | -368486 lb | 0 0 0.00 | 435.82/435.98 c | 435.99 | 0 | -368485 lb | 0 0 0.00 | 436.82/436.92 c | 436.92 | 0 | -368483 lb | 0 0 0.00 | 437.92/438.08 c | 438.08 | 0 | -368482 lb | 0 0 0.00 | 439.22/439.38 c | 439.38 | 0 | -368481 lb | 0 0 0.00 | 440.32/440.43 c | 440.43 | 0 | -368479 lb | 0 0 0.00 | 441.42/441.53 c | 441.53 | 0 | -368478 lb | 0 0 0.00 | 442.52/442.62 c | 442.62 | 0 | -368477 lb | 0 0 0.00 | 443.52/443.66 c | 443.66 | 0 | -368476 lb | 0 0 0.00 | 444.72/444.81 c | 444.82 | 0 | -368475 lb | 0 0 0.00 | 445.82/445.91 c | 445.92 | 0 | -368474 lb | 0 0 0.00 | 446.82/446.97 c | 446.97 | 0 | -368473 lb | 0 0 0.00 | 448.02/448.16 c | 448.16 | 0 | -368472 lb | 0 0 0.00 | 454.81/454.97 c | 454.97 | 0 | -368471 lb | 0 0 0.00 | 476.22/476.37 c | 476.37 | 0 | -368470 lb | 0 0 0.00 | 483.72/483.84 c | 483.85 | 0 | -368469 lb | 0 0 0.00 | 492.52/492.61 c | 492.61 | 0 | -368468 lb | 0 0 0.00 | 494.41/494.52 c | 494.52 | 0 | -368467 lb | 0 0 0.00 | 495.81/495.95 c | 495.95 | 0 | -368466 lb | 0 0 0.00 | 497.21/497.39 c | 497.39 | 0 | -368465 lb | 0 0 0.00 | 498.71/498.81 c | 498.82 | 0 | -368464 lb | 0 0 0.00 | 501.41/501.56 c | 501.57 | 0 | -368463 lb | 0 0 0.00 | 503.31/503.47 c | 503.47 | 0 | -368462 lb | 0 0 0.00 | 506.11/506.22 c | 506.22 | 0 | -368461 lb | 0 0 0.00 | 508.81/508.96 c | 508.96 | 0 | -368460 lb | 0 0 0.00 | 511.01/511.15 c | 511.16 | 0 | -368458 lb | 0 0 0.00 | 513.21/513.39 c | 513.40 | 0 | -368457 lb | 0 0 0.00 | 515.51/515.69 c | 515.69 | 0 | -368456 lb | 0 0 0.00 | 517.21/517.31 c | 517.31 | 0 | -368455 lb | 0 0 0.00 | 518.21/518.33 c | 518.33 | 0 | -368454 lb | 0 0 0.00 | 519.12/519.21 c | 519.21 | 0 | -368453 lb | 0 0 0.00 | 521.21/521.33 c | 521.33 | 0 | -368452 lb | 0 0 0.00 | 522.41/522.51 c | 522.52 | 0 | -368451 lb | 0 0 0.00 | 523.41/523.58 c | 523.58 | 0 | -368450 lb | 0 0 0.00 | 525.11/525.24 c | 525.24 | 0 | -368449 lb | 0 0 0.00 | 526.41/526.58 c | 526.59 | 0 | -368448 lb | 0 0 0.00 | 527.70/527.86 c | 527.87 | 0 | -368447 lb | 0 0 0.00 | 530.30/530.43 c | 530.43 | 0 | -368446 lb | 0 0 0.00 | 531.81/531.91 c | 531.91 | 0 | -368445 lb | 0 0 0.00 | 534.31/534.43 c | 534.43 | 0 | -368444 lb | 0 0 0.00 | 536.11/536.23 c | 536.23 | 0 | -368443 lb | 0 0 0.00 | 538.70/538.82 c | 538.83 | 0 | -368442 lb | 0 0 0.00 | 541.21/541.31 c | 541.32 | 0 | -368441 lb | 0 0 0.00 | 543.91/544.05 c | 544.05 | 0 | -368440 lb | 0 0 0.00 | 546.90/547.08 c | 547.08 | 0 | -368439 lb | 0 0 0.00 | 549.50/549.63 c | 549.63 | 0 | -368438 lb | 0 0 0.00 | 552.71/552.85 c | 552.85 | 0 | -368437 lb | 0 0 0.00 | 553.91/554.04 c | 554.04 | 0 | -368436 lb | 0 0 0.00 | 555.90/556.06 c | 556.06 | 0 | -368435 lb | 0 0 0.00 | 557.30/557.41 c | 557.41 | 0 | -368434 lb | 0 0 0.00 | 559.00/559.13 c | 559.14 | 0 | -368430 lb | 0 0 0.00 | 560.50/560.62 c | 560.62 | 0 | -368429 lb | 0 0 0.00 | 561.70/561.87 c | 561.87 | 0 | -368428 lb | 0 0 0.00 | 563.21/563.39 c | 563.39 | 0 | -368427 lb | 0 0 0.00 | 564.91/565.04 c | 565.04 | 0 | -368426 lb | 0 0 0.00 | 566.60/566.74 c | 566.74 | 0 | -368425 lb | 0 0 0.00 | 568.10/568.29 c | 568.30 | 0 | -368424 lb | 0 0 0.00 | 569.71/569.85 c | 569.85 | 0 | -368423 lb | 0 0 0.00 | 571.10/571.23 c | 571.23 | 0 | -368419 lb | 0 0 0.00 | 572.70/572.80 c | 572.81 | 0 | -368418 lb | 0 0 0.00 | 573.60/573.79 c | 573.79 | 0 | -368417 lb | 0 0 0.00 | 575.20/575.34 c | 575.35 | 0 | -368416 lb | 0 0 0.00 | 576.70/576.86 c | 576.86 | 0 | -368415 lb | 0 0 0.00 | 578.20/578.39 c | 578.39 | 0 | -368413 lb | 0 0 0.00 | 579.90/580.05 c | 580.05 | 0 | -368411 lb | 0 0 0.00 | 581.69/581.86 c | 581.87 | 0 | -368410 lb | 0 0 0.00 | 583.10/583.25 c | 583.25 | 0 | -368409 lb | 0 0 0.00 | 585.21/585.34 c | 585.34 | 0 | -368408 lb | 0 0 0.00 | 586.70/586.82 c | 586.82 | 0 | -368407 lb | 0 0 0.00 | 588.10/588.27 c | 588.27 | 0 | -368406 lb | 0 0 0.00 | 589.79/589.93 c | 589.94 | 0 | -368405 lb | 0 0 0.00 | 591.60/591.70 c | 591.70 | 0 | -368404 lb | 0 0 0.00 | 593.10/593.28 c | 593.28 | 0 | -368403 lb | 0 0 0.00 | 594.79/594.90 c | 594.90 | 0 | -368402 lb | 0 0 0.00 | 596.40/596.50 c | 596.50 | 0 | -368398 lb | 0 0 0.00 | 597.80/597.95 c | 597.95 | 0 | -368388 lb | 0 0 0.00 | 599.30/599.42 c | 599.42 | 0 | -368382 lb | 0 0 0.00 | 600.89/601.04 c | 601.05 | 0 | -368380 lb | 0 0 0.00 | 602.59/602.70 c | 602.71 | 0 | -368376 lb | 0 0 0.00 | 604.20/604.31 c | 604.31 | 0 | -368374 lb | 0 0 0.00 | 605.40/605.57 c | 605.57 | 0 | -368364 lb | 0 0 0.00 | 606.80/606.96 c | 606.96 | 0 | -368355 lb | 0 0 0.00 | 608.40/608.57 c | 608.57 | 0 | -368354 lb | 0 0 0.00 | 609.99/610.14 c | 610.15 | 0 | -368353 lb | 0 0 0.00 | 611.69/611.81 c | 611.81 | 0 | -368348 lb | 0 0 0.00 | 613.09/613.26 c | 613.26 | 0 | -368347 lb | 0 0 0.00 | 614.69/614.82 c | 614.82 | 0 | -368346 lb | 0 0 0.00 | 616.20/616.32 c | 616.33 | 0 | -368345 lb | 0 0 0.00 | 617.79/617.91 c | 617.91 | 0 | -368344 lb | 0 0 0.00 | 619.39/619.51 c | 619.51 | 0 | -368339 lb | 0 0 0.00 | 620.99/621.10 c | 621.11 | 0 | -368338 lb | 0 0 0.00 | 622.09/622.23 c | 622.23 | 0 | -368337 lb | 0 0 0.00 | 623.59/623.77 c | 623.77 | 0 | -368336 lb | 0 0 0.00 | 625.09/625.28 c | 625.29 | 0 | -368335 lb | 0 0 0.00 | 626.69/626.82 c | 626.82 | 0 | -368333 lb | 0 0 0.00 | 628.29/628.40 c | 628.40 | 0 | -368330 lb | 0 0 0.00 | 629.79/629.99 c | 629.99 | 0 | -368325 lb | 0 0 0.00 | 631.30/631.46 c | 631.46 | 0 | -368324 lb | 0 0 0.00 | 632.59/632.77 c | 632.77 | 0 | -368323 lb | 0 0 0.00 | 633.99/634.15 c | 634.15 | 0 | -368322 lb | 0 0 0.00 | 635.29/635.46 c | 635.47 | 0 | -368321 lb | 0 0 0.00 | 636.79/636.96 c | 636.96 | 0 | -368319 lb | 0 0 0.00 | 638.39/638.53 c | 638.53 | 0 | -368315 lb | 0 0 0.00 | 639.99/640.10 c | 640.11 | 0 | -368309 lb | 0 0 0.00 | 641.59/641.78 c | 641.79 | 0 | -368300 lb | 0 0 0.00 | 643.09/643.27 c | 643.28 | 0 | -368299 lb | 0 0 0.00 | 644.69/644.86 c | 644.86 | 0 | -368285 lb | 0 0 0.00 | 646.29/646.45 c | 646.45 | 0 | -368283 lb | 0 0 0.00 | 647.58/647.77 c | 647.77 | 0 | -368273 lb | 0 0 0.00 | 649.19/649.39 c | 649.39 | 0 | -368253 lb | 0 0 0.00 | 650.79/650.98 c | 650.99 | 0 | -368248 lb | 0 0 0.00 | 652.29/652.43 c | 652.43 | 0 | -368246 lb | 0 0 0.00 | 653.99/654.17 c | 654.17 | 0 | -368245 lb | 0 0 0.00 | 655.79/655.90 c | 655.91 | 0 | -368220 lb | 0 0 0.00 | 657.09/657.23 c | 657.23 | 0 | -368140 lb | 0 0 0.00 | 658.69/658.80 c | 658.80 | 0 | -368139 lb | 0 0 0.00 | 660.39/660.54 c | 660.54 | 0 | -368138 lb | 0 0 0.00 | 661.89/662.03 c | 662.04 | 0 | -368137 lb | 0 0 0.00 | 663.39/663.59 c | 663.60 | 0 | -368136 lb | 0 0 0.00 | 664.88/665.06 c | 665.06 | 0 | -368135 lb | 0 0 0.00 | 666.18/666.33 c | 666.33 | 0 | -368134 lb | 0 0 0.00 | 667.69/667.89 c | 667.89 | 0 | -368133 lb | 0 0 0.00 | 669.28/669.42 c | 669.42 | 0 | -368132 lb | 0 0 0.00 | 670.78/670.96 c | 670.97 | 0 | -368131 lb | 0 0 0.00 | 672.18/672.37 c | 672.38 | 0 | -368130 lb | 0 0 0.00 | 673.69/673.87 c | 673.87 | 0 | -368129 lb | 0 0 0.00 | 675.18/675.35 c | 675.35 | 0 | -368128 lb | 0 0 0.00 | 676.58/676.71 c | 676.72 | 0 | -368127 lb | 0 0 0.00 | 677.88/678.08 c | 678.08 | 0 | -368126 lb | 0 0 0.00 | 679.39/679.52 c | 679.53 | 0 | -368125 lb | 0 0 0.00 | 680.79/680.94 c | 680.94 | 0 | -368124 lb | 0 0 0.00 | 682.09/682.25 c | 682.25 | 0 | -368123 lb | 0 0 0.00 | 683.48/683.61 c | 683.61 | 0 | -368122 lb | 0 0 0.00 | 685.39/685.58 c | 685.59 | 0 | -368121 lb | 0 0 0.00 | 687.39/687.55 c | 687.55 | 0 | -368120 lb | 0 0 0.00 | 688.59/688.73 c | 688.74 | 0 | -368119 lb | 0 0 0.00 | 690.68/690.81 c | 690.82 | 0 | -368118 lb | 0 0 0.00 | 692.19/692.33 c | 692.33 | 0 | -368117 lb | 0 0 0.00 | 694.69/694.84 c | 694.84 | 0 | -368116 lb | 0 0 0.00 | 697.29/697.50 c | 697.50 | 0 | -368115 lb | 0 0 0.00 | 698.78/698.94 c | 698.94 | 0 | -368114 lb | 0 0 0.00 | 700.19/700.39 c | 700.39 | 0 | -368113 lb | 0 0 0.00 | 701.69/701.82 c | 701.82 | 0 | -368112 lb | 0 0 0.00 | 703.18/703.33 c | 703.33 | 0 | -368111 lb | 0 0 0.00 | 704.58/704.72 c | 704.73 | 0 | -368108 lb | 0 0 0.00 | 705.98/706.18 c | 706.18 | 0 | -368107 lb | 0 0 0.00 | 708.08/708.22 c | 708.22 | 0 | -368106 lb | 0 0 0.00 | 710.88/711.05 c | 711.05 | 0 | -368105 lb | 0 0 0.00 | 712.78/712.92 c | 712.92 | 0 | -368104 lb | 0 0 0.00 | 714.38/714.51 c | 714.51 | 0 | -368103 lb | 0 0 0.00 | 716.38/716.54 c | 716.55 | 0 | -368101 lb | 0 0 0.00 | 718.48/718.62 c | 718.62 | 0 | -368100 lb | 0 0 0.00 | 719.78/719.97 c | 719.97 | 0 | -368099 lb | 0 0 0.00 | 722.08/722.28 c | 722.29 | 0 | -368098 lb | 0 0 0.00 | 724.48/724.69 c | 724.70 | 0 | -368097 lb | 0 0 0.00 | 726.48/726.66 c | 726.66 | 0 | -368096 lb | 0 0 0.00 | 727.98/728.15 c | 728.15 | 0 | -368095 lb | 0 0 0.00 | 729.98/730.15 c | 730.15 | 0 | -368094 lb | 0 0 0.00 | 731.38/731.59 c | 731.59 | 0 | -368093 lb | 0 0 0.00 | 733.28/733.43 c | 733.43 | 0 | -368092 lb | 0 0 0.00 | 735.47/735.64 c | 735.64 | 0 | -368091 lb | 0 0 0.00 | 737.27/737.40 c | 737.40 | 0 | -368090 lb | 0 0 0.00 | 739.28/739.49 c | 739.49 | 0 | -368089 lb | 0 0 0.00 | 740.78/740.93 c | 740.93 | 0 | -368088 lb | 0 0 0.00 | 742.87/743.08 c | 743.08 | 0 | -368087 lb | 0 0 0.00 | 744.37/744.58 c | 744.58 | 0 | -368086 lb | 0 0 0.00 | 746.78/746.91 c | 746.92 | 0 | -368085 lb | 0 0 0.00 | 748.67/748.84 c | 748.84 | 0 | -368084 lb | 0 0 0.00 | 750.08/750.25 c | 750.25 | 0 | -368083 lb | 0 0 0.00 | 751.57/751.71 c | 751.71 | 0 | -368082 lb | 0 0 0.00 | 753.17/753.37 c | 753.37 | 0 | -368081 lb | 0 0 0.00 | 754.87/755.03 c | 755.03 | 0 | -368080 lb | 0 0 0.00 | 762.08/762.24 c | 762.24 | 0 | -368079 lb | 0 0 0.00 | 764.08/764.22 c | 764.23 | 0 | -368078 lb | 0 0 0.00 | 766.37/766.55 c | 766.55 | 0 | -368077 lb | 0 0 0.00 | 767.97/768.11 c | 768.11 | 0 | -368076 lb | 0 0 0.00 | 769.47/769.65 c | 769.65 | 0 | -368075 lb | 0 0 0.00 | 771.77/771.93 c | 771.93 | 0 | -368074 lb | 0 0 0.00 | 773.47/773.61 c | 773.61 | 0 | -368073 lb | 0 0 0.00 | 775.67/775.83 c | 775.84 | 0 | -368071 lb | 0 0 0.00 | 777.47/777.60 c | 777.60 | 0 | -368070 lb | 0 0 0.00 | 779.37/779.58 c | 779.59 | 0 | -368067 lb | 0 0 0.00 | 781.67/781.88 c | 781.88 | 0 | -368066 lb | 0 0 0.00 | 782.97/783.14 c | 783.14 | 0 | -368065 lb | 0 0 0.00 | 785.28/785.43 c | 785.43 | 0 | -368064 lb | 0 0 0.00 | 787.58/787.76 c | 787.76 | 0 | -368063 lb | 0 0 0.00 | 789.78/789.92 c | 789.92 | 0 | -368062 lb | 0 0 0.00 | 791.77/791.96 c | 791.96 | 0 | -368061 lb | 0 0 0.00 | 793.26/793.47 c | 793.47 | 0 | -368060 lb | 0 0 0.00 | 794.76/794.93 c | 794.93 | 0 | -368022 lb | 0 0 0.00 | 796.27/796.43 c | 796.43 | 0 | -368021 lb | 0 0 0.00 | 797.97/798.13 c | 798.14 | 0 | -368020 lb | 0 0 0.00 | 800.16/800.39 c | 800.40 | 0 | -368019 lb | 0 0 0.00 | 802.66/802.86 c | 802.87 | 0 | -368018 lb | 0 0 0.00 | 804.16/804.37 c | 804.38 | 0 | -368017 lb | 0 0 0.00 | 805.37/805.59 c | 805.60 | 0 | -368016 lb | 0 0 0.00 | 806.76/806.96 c | 806.96 | 0 | -368015 lb | 0 0 0.00 | 808.06/808.20 c | 808.21 | 0 | -368005 lb | 0 0 0.00 | 809.17/809.39 c | 809.39 | 0 | -368004 lb | 0 0 0.00 | 810.46/810.63 c | 810.64 | 0 | -368003 lb | 0 0 0.00 | 813.36/813.59 c | 813.59 | 0 | -368002 lb | 0 0 0.00 | 816.56/816.71 c | 816.71 | 0 | -368001 lb | 0 0 0.00 | 817.66/817.80 c | 817.80 | 0 | -367971 lb | 0 0 0.00 | 818.56/818.73 c | 818.74 | 0 | -367969 lb | 0 0 0.00 | 819.66/819.88 c | 819.89 | 0 | -367968 lb | 0 0 0.00 | 820.76/820.96 c | 820.96 | 0 | -367966 lb | 0 0 0.00 | 821.96/822.12 c | 822.12 | 0 | -367965 lb | 0 0 0.00 | 823.26/823.40 c | 823.40 | 0 | -367964 lb | 0 0 0.00 | 824.66/824.87 c | 824.88 | 0 | -367963 lb | 0 0 0.00 | 826.07/826.21 c | 826.21 | 0 | -367962 lb | 0 0 0.00 | 827.46/827.60 c | 827.61 | 0 | -367961 lb | 0 0 0.00 | 828.76/828.99 c | 829.00 | 0 | -367960 lb | 0 0 0.00 | 830.25/830.41 c | 830.42 | 0 | -367957 lb | 0 0 0.00 | 831.46/831.63 c | 831.63 | 0 | -367956 lb | 0 0 0.00 | 832.76/832.93 c | 832.94 | 0 | -367953 lb | 0 0 0.00 | 834.05/834.22 c | 834.23 | 0 | -367951 lb | 0 0 0.00 | 835.35/835.57 c | 835.57 | 0 | -367950 lb | 0 0 0.00 | 836.66/836.89 c | 836.89 | 0 | -367946 lb | 0 0 0.00 | 838.16/838.33 c | 838.34 | 0 | -367945 lb | 0 0 0.00 | 840.05/840.27 c | 840.27 | 0 | -367944 lb | 0 0 0.00 | 841.45/841.68 c | 841.68 | 0 | -367943 lb | 0 0 0.00 | 843.76/843.91 c | 843.91 | 0 | -367942 lb | 0 0 0.00 | 847.15/847.35 c | 847.36 | 0 | -367941 lb | 0 0 0.00 | 849.85/850.04 c | 850.05 | 0 | -367940 lb | 0 0 0.00 | 852.15/852.36 c | 852.36 | 0 | -367939 lb | 0 0 0.00 | 853.65/853.82 c | 853.82 | 0 | -367938 lb | 0 0 0.00 | 855.15/855.38 c | 855.38 | 0 | -367937 lb | 0 0 0.00 | 856.95/857.11 c | 857.11 | 0 | -367936 lb | 0 0 0.00 | 859.55/859.74 c | 859.75 | 0 | -367935 lb | 0 0 0.00 | 861.65/861.89 c | 861.90 | 0 | -367934 lb | 0 0 0.00 | 866.94/867.10 c | 867.10 | 0 | -367933 lb | 0 0 0.00 | 868.64/868.88 c | 868.88 | 0 | -367932 lb | 0 0 0.00 | 870.74/870.98 c | 870.98 | 0 | -367931 lb | 0 0 0.00 | 876.05/876.23 c | 876.24 | 0 | -367930 lb | 0 0 0.00 | 878.04/878.25 c | 878.26 | 0 | -367929 lb | 0 0 0.00 | 883.04/883.20 c | 883.20 | 0 | -367928 lb | 0 0 0.00 | 885.24/885.44 c | 885.45 | 0 | -367927 lb | 0 0 0.00 | 888.34/888.53 c | 888.53 | 0 | -367926 lb | 0 0 0.00 | 890.33/890.59 c | 890.59 | 0 | -367925 lb | 0 0 0.00 | 893.04/893.22 c | 893.22 | 0 | -367924 lb | 0 0 0.00 | 895.74/895.99 c | 895.99 | 0 | -367923 lb | 0 0 0.00 | 897.74/897.95 c | 897.95 | 0 | -367922 lb | 0 0 0.00 | 900.14/900.31 c | 900.31 | 0 | -367921 lb | 0 0 0.00 | 902.73/902.92 c | 902.93 | 0 | -367920 lb | 0 0 0.00 | 905.63/905.87 c | 905.87 | 0 | -367919 lb | 0 0 0.00 | 908.34/908.51 c | 908.51 | 0 | -367918 lb | 0 0 0.00 | 910.34/910.51 c | 910.51 | 0 | -367917 lb | 0 0 0.00 | 912.63/912.85 c | 912.86 | 0 | -367916 lb | 0 0 0.00 | 915.33/915.54 c | 915.54 | 0 | -367915 lb | 0 0 0.00 | 917.84/918.09 c | 918.09 | 0 | -367914 lb | 0 0 0.00 | 920.24/920.47 c | 920.47 | 0 | -367913 lb | 0 0 0.00 | 923.33/923.56 c | 923.56 | 0 | -367912 lb | 0 0 0.00 | 925.83/926.07 c | 926.07 | 0 | -367911 lb | 0 0 0.00 | 930.54/930.77 c | 930.77 | 0 | -367910 lb | 0 0 0.00 | 932.83/933.00 c | 933.01 | 0 | -367909 lb | 0 0 0.00 | 935.73/935.99 c | 936.00 | 0 | -367908 lb | 0 0 0.00 | 938.52/938.75 c | 938.75 | 0 | -367907 lb | 0 0 0.00 | 941.12/941.32 c | 941.32 | 0 | -367906 lb | 0 0 0.00 | 944.12/944.36 c | 944.36 | 0 | -367905 lb | 0 0 0.00 | 947.72/947.91 c | 947.91 | 0 | -367904 lb | 0 0 0.00 | 952.92/953.18 c | 953.18 | 0 | -367903 lb | 0 0 0.00 | 956.31/956.55 c | 956.55 | 0 | -367902 lb | 0 0 0.00 | 959.31/959.51 c | 959.51 | 0 | -367901 lb | 0 0 0.00 | 962.61/962.89 c | 962.89 | 0 | -367900 lb | 0 0 0.00 | 965.12/965.39 c | 965.40 | 0 | -367899 lb | 0 0 0.00 | 967.92/968.11 c | 968.11 | 0 | -367898 lb | 0 0 0.00 | 971.52/971.74 c | 971.74 | 0 | -367897 lb | 0 0 0.00 | 974.62/974.88 c | 974.88 | 0 | -367896 lb | 0 0 0.00 | 977.22/977.40 c | 977.40 | 0 | -367895 lb | 0 0 0.00 | 979.92/980.12 c | 980.12 | 0 | -367894 lb | 0 0 0.00 | 982.61/982.80 c | 982.81 | 0 | -367893 lb | 0 0 0.00 | 985.42/985.62 c | 985.62 | 0 | -367892 lb | 0 0 0.00 | 988.21/988.42 c | 988.43 | 0 | -367891 lb | 0 0 0.00 | 990.11/990.37 c | 990.38 | 0 | -367890 lb | 0 0 0.00 | 992.31/992.52 c | 992.52 | 0 | -367889 lb | 0 0 0.00 | 994.51/994.75 c | 994.75 | 0 | -367888 lb | 0 0 0.00 | 996.71/996.94 c | 996.94 | 0 | -367887 lb | 0 0 0.00 | 998.81/999.01 c | 999.01 | 0 | -367886 lb | 0 0 0.00 | 1001.11/1001.33 c | 1001.33 | 0 | -367885 lb | 0 0 0.00 | 1003.21/1003.47 c | 1003.47 | 0 | -367884 lb | 0 0 0.00 | 1007.41/1007.64 c | 1007.65 | 0 | -367883 lb | 0 0 0.00 | 1010.20/1010.46 c | 1010.47 | 0 | -367882 lb | 0 0 0.00 | 1013.61/1013.80 c | 1013.80 | 0 | -367881 lb | 0 0 0.00 | 1016.01/1016.20 c | 1016.21 | 0 | -367880 lb | 0 0 0.00 | 1018.80/1019.04 c | 1019.05 | 0 | -367879 lb | 0 0 0.00 | 1022.30/1022.57 c | 1022.57 | 0 | -367878 lb | 0 0 0.00 | 1026.11/1026.38 c | 1026.38 | 0 | -367877 lb | 0 0 0.00 | 1030.00/1030.27 c | 1030.28 | 0 | -367876 lb | 0 0 0.00 | 1032.20/1032.40 c | 1032.40 | 0 | -367875 lb | 0 0 0.00 | 1034.20/1034.49 c | 1034.49 | 0 | -367874 lb | 0 0 0.00 | 1036.20/1036.48 c | 1036.49 | 0 | -367873 lb | 0 0 0.00 | 1038.50/1038.73 c | 1038.73 | 0 | -367872 lb | 0 0 0.00 | 1041.00/1041.20 c | 1041.20 | 0 | -367871 lb | 0 0 0.00 | 1043.10/1043.36 c | 1043.36 | 0 | -367870 lb | 0 0 0.00 | 1045.20/1045.49 c | 1045.49 | 0 | -367869 lb | 0 0 0.00 | 1047.50/1047.76 c | 1047.77 | 0 | -367868 lb | 0 0 0.00 | 1049.80/1050.02 c | 1050.03 | 0 | -367867 lb | 0 0 0.00 | 1052.10/1052.31 c | 1052.31 | 0 | -367866 lb | 0 0 0.00 | 1054.40/1054.64 c | 1054.64 | 0 | -367865 lb | 0 0 0.00 | 1056.70/1056.96 c | 1056.97 | 0 | -367864 lb | 0 0 0.00 | 1058.89/1059.16 c | 1059.16 | 0 | -367863 lb | 0 0 0.00 | 1061.69/1061.99 c | 1061.99 | 0 | -367862 lb | 0 0 0.00 | 1064.79/1065.08 c | 1065.09 | 0 | -367861 lb | 0 0 0.00 | 1067.49/1067.72 c | 1067.73 | 0 | -367860 lb | 0 0 0.00 | 1069.79/1070.07 c | 1070.08 | 0 | -367859 lb | 0 0 0.00 | 1077.38/1077.61 c | 1077.62 | 0 | -367858 lb | 0 0 0.00 | 1080.28/1080.59 c | 1080.59 | 0 | -367857 lb | 0 0 0.00 | 1083.98/1084.25 c | 1084.25 | 0 | -367856 lb | 0 0 0.00 | 1087.69/1087.93 c | 1087.93 | 0 | -367853 lb | 0 0 0.00 | 1091.39/1091.69 c | 1091.69 | 0 | -367852 lb | 0 0 0.00 | 1095.18/1095.45 c | 1095.45 | 0 | -367851 lb | 0 0 0.00 | 1102.58/1102.88 c | 1102.88 | 0 | -367850 lb | 0 0 0.00 | 1110.47/1110.75 c | 1110.75 | 0 | -367849 lb | 0 0 0.00 | 1114.18/1114.48 c | 1114.48 | 0 | -367848 lb | 0 0 0.00 | 1118.17/1118.48 c | 1118.49 | 0 | -367847 lb | 0 0 0.00 | 1121.87/1122.10 c | 1122.11 | 0 | -367846 lb | 0 0 0.00 | 1129.96/1130.27 c | 1130.28 | 0 | -367845 lb | 0 0 0.00 | 1133.06/1133.31 c | 1133.31 | 0 | -367844 lb | 0 0 0.00 | 1136.17/1136.47 c | 1136.48 | 0 | -367843 lb | 0 0 0.00 | 1143.86/1144.13 c | 1144.14 | 0 | -367842 lb | 0 0 0.00 | 1147.46/1147.79 c | 1147.80 | 0 | -367841 lb | 0 0 0.00 | 1150.76/1151.01 c | 1151.02 | 0 | -367840 lb | 0 0 0.00 | 1154.56/1154.87 c | 1154.87 | 0 | -367839 lb | 0 0 0.00 | 1156.86/1157.14 c | 1157.15 | 0 | -367838 lb | 0 0 0.00 | 1158.95/1159.29 c | 1159.30 | 0 | -367837 lb | 0 0 0.00 | 1161.15/1161.49 c | 1161.49 | 0 | -367835 lb | 0 0 0.00 | 1167.76/1168.00 c | 1168.00 | 0 | -367834 lb | 0 0 0.00 | 1172.15/1172.42 c | 1172.42 | 0 | -367833 lb | 0 0 0.00 | 1175.85/1176.14 c | 1176.14 | 0 | -367832 lb | 0 0 0.00 | 1178.75/1179.08 c | 1179.09 | 0 | -367831 lb | 0 0 0.00 | 1181.55/1181.86 c | 1181.87 | 0 | -367830 lb | 0 0 0.00 | 1183.95/1184.24 c | 1184.24 | 0 | -367829 lb | 0 0 0.00 | 1187.55/1187.81 c | 1187.81 | 0 | -367828 lb | 0 0 0.00 | 1190.75/1191.04 c | 1191.05 | 0 | -367827 lb | 0 0 0.00 | 1194.24/1194.51 c | 1194.51 | 0 | -367826 lb | 0 0 0.00 | 1198.04/1198.38 c | 1198.38 | 0 | -367825 lb | 0 0 0.00 | 1200.43/1200.77 c | 1200.77 | 0 | -367824 lb | 0 0 0.00 | 1202.93/1203.20 c | 1203.20 | 0 | -367823 lb | 0 0 0.00 | 1205.34/1205.64 c | 1205.65 | 0 | -367822 lb | 0 0 0.00 | 1207.83/1208.10 c | 1208.10 | 0 | -367821 lb | 0 0 0.00 | 1212.22/1212.59 c | 1212.59 | 0 | -367820 lb | 0 0 0.00 | 1217.23/1217.51 c | 1217.52 | 0 | -367819 lb | 0 0 0.00 | 1221.13/1221.40 c | 1221.40 | 0 | -367818 lb | 0 0 0.00 | 1223.62/1223.92 c | 1223.93 | 0 | -367817 lb | 0 0 0.00 | 1227.12/1227.44 c | 1227.45 | 0 | -367816 lb | 0 0 0.00 | 1230.22/1230.53 c | 1230.54 | 0 | -367815 lb | 0 0 0.00 | 1234.72/1235.00 c | 1235.00 | 0 | -367814 lb | 0 0 0.00 | 1238.33/1238.63 c | 1238.64 | 0 | -367813 lb | 0 0 0.00 | 1241.92/1242.26 c | 1242.26 | 0 | -367812 lb | 0 0 0.00 | 1245.42/1245.72 c | 1245.73 | 0 | -367811 lb | 0 0 0.00 | 1249.12/1249.48 c | 1249.48 | 0 | -367810 lb | 0 0 0.00 | 1252.72/1253.02 c | 1253.02 | 0 | -367809 lb | 0 0 0.00 | 1256.42/1256.73 c | 1256.73 | 0 | -367808 lb | 0 0 0.00 | 1265.92/1266.24 c | 1266.24 | 0 | -367807 lb | 0 0 0.00 | 1268.82/1269.10 c | 1269.10 | 0 | -367806 lb | 0 0 0.00 | 1272.61/1272.93 c | 1272.93 | 0 | -367805 lb | 0 0 0.00 | 1276.61/1276.95 c | 1276.95 | 0 | -367804 lb | 0 0 0.00 | 1280.11/1280.49 c | 1280.49 | 0 | -367803 lb | 0 0 0.00 | 1283.82/1284.11 c | 1284.11 | 0 | -367802 lb | 0 0 0.00 | 1286.72/1287.08 c | 1287.08 | 0 | -367801 lb | 0 0 0.00 | 1289.10/1289.47 c | 1289.47 | 0 | -367800 lb | 0 0 0.00 | 1292.10/1292.42 c | 1292.43 | 0 | -367799 lb | 0 0 0.00 | 1296.70/1297.04 c | 1297.04 | 0 | -367798 lb | 0 0 0.00 | 1299.69/1300.03 c | 1300.03 | 0 | -367797 lb | 0 0 0.00 | 1301.70/1302.06 c | 1302.06 | 0 | -367796 lb | 0 0 0.00 | 1305.79/1306.17 c | 1306.17 | 0 | -367795 lb | 0 0 0.00 | 1308.70/1309.02 c | 1309.02 | 0 | -367794 lb | 0 0 0.00 | 1311.09/1311.42 c | 1311.42 | 0 | -367793 lb | 0 0 0.00 | 1313.10/1313.49 c | 1313.49 | 0 | -367792 lb | 0 0 0.00 | 1315.30/1315.67 c | 1315.67 | 0 | -367791 lb | 0 0 0.00 | 1317.39/1317.74 c | 1317.75 | 0 | -367790 lb | 0 0 0.00 | 1320.98/1321.32 c | 1321.32 | 0 | -367789 lb | 0 0 0.00 | 1323.58/1323.94 c | 1323.94 | 0 | -367788 lb | 0 0 0.00 | 1327.09/1327.46 c | 1327.46 | 0 | -367787 lb | 0 0 0.00 | 1329.39/1329.76 c | 1329.77 | 0 | -367786 lb | 0 0 0.00 | 1331.58/1331.90 c | 1331.91 | 0 | -367785 lb | 0 0 0.00 | 1333.88/1334.29 c | 1334.29 | 0 | -367784 lb | 0 0 0.00 | 1336.29/1336.63 c | 1336.63 | 0 | -367783 lb | 0 0 0.00 | 1338.38/1338.79 c | 1338.79 | 0 | -367782 lb | 0 0 0.00 | 1341.78/1342.16 c | 1342.17 | 0 | -367781 lb | 0 0 0.00 | 1344.18/1344.50 c | 1344.50 | 0 | -367780 lb | 0 0 0.00 | 1347.19/1347.60 c | 1347.60 | 0 | -367779 lb | 0 0 0.00 | 1349.78/1350.19 c | 1350.20 | 0 | -367778 lb | 0 0 0.00 | 1351.97/1352.32 c | 1352.33 | 0 | -367777 lb | 0 0 0.00 | 1353.98/1354.39 c | 1354.39 | 0 | -367776 lb | 0 0 0.00 | 1355.78/1356.11 c | 1356.11 | 0 | -367775 lb | 0 0 0.00 | 1357.97/1358.36 c | 1358.36 | 0 | -367774 lb | 0 0 0.00 | 1360.17/1360.53 c | 1360.54 | 0 | -367773 lb | 0 0 0.00 | 1363.98/1364.32 c | 1364.32 | 0 | -367772 lb | 0 0 0.00 | 1366.48/1366.81 c | 1366.81 | 0 | -367771 lb | 0 0 0.00 | 1368.28/1368.62 c | 1368.63 | 0 | -367770 lb | 0 0 0.00 | 1370.28/1370.67 c | 1370.67 | 0 | -367769 lb | 0 0 0.00 | 1372.37/1372.73 c | 1372.73 | 0 | -367768 lb | 0 0 0.00 | 1375.17/1375.58 c | 1375.58 | 0 | -367767 lb | 0 0 0.00 | 1379.07/1379.48 c | 1379.49 | 0 | -367766 lb | 0 0 0.00 | 1383.48/1383.89 c | 1383.89 | 0 | -367765 lb | 0 0 0.00 | 1385.27/1385.60 c | 1385.61 | 0 | -367764 lb | 0 0 0.00 | 1388.17/1388.51 c | 1388.51 | 0 | -367763 lb | 0 0 0.00 | 1391.28/1391.62 c | 1391.62 | 0 | -367762 lb | 0 0 0.00 | 1394.27/1394.68 c | 1394.68 | 0 | -367761 lb | 0 0 0.00 | 1397.27/1397.68 c | 1397.68 | 0 | -367760 lb | 0 0 0.00 | 1400.77/1401.12 c | 1401.12 | 0 | -367759 lb | 0 0 0.00 | 1403.67/1404.06 c | 1404.06 | 0 | -367758 lb | 0 0 0.00 | 1407.07/1407.45 c | 1407.45 | 0 | -367757 lb | 0 0 0.00 | 1411.37/1411.76 c | 1411.77 | 0 | -367756 lb | 0 0 0.00 | 1413.77/1414.19 c | 1414.19 | 0 | -367755 lb | 0 0 0.00 | 1416.57/1416.91 c | 1416.91 | 0 | -367754 lb | 0 0 0.00 | 1420.56/1420.90 c | 1420.90 | 0 | -367753 lb | 0 0 0.00 | 1422.96/1423.30 c | 1423.30 | 0 | -367752 lb | 0 0 0.00 | 1426.48/1426.89 c | 1426.90 | 0 | -367751 lb | 0 0 0.00 | 1430.07/1430.43 c | 1430.43 | 0 | -367750 lb | 0 0 0.00 | 1433.57/1433.93 c | 1433.93 | 0 | -367749 lb | 0 0 0.00 | 1436.66/1437.05 c | 1437.06 | 0 | -367748 lb | 0 0 0.00 | 1438.86/1439.26 c | 1439.26 | 0 | -367747 lb | 0 0 0.00 | 1441.97/1442.30 c | 1442.31 | 0 | -367746 lb | 0 0 0.00 | 1445.57/1445.95 c | 1445.95 | 0 | -367745 lb | 0 0 0.00 | 1448.96/1449.37 c | 1449.38 | 0 | -367744 lb | 0 0 0.00 | 1452.86/1453.21 c | 1453.22 | 0 | -367743 lb | 0 0 0.00 | 1456.56/1456.95 c | 1456.95 | 0 | -367742 lb | 0 0 0.00 | 1460.36/1460.74 c | 1460.74 | 0 | -367741 lb | 0 0 0.00 | 1463.95/1464.36 c | 1464.36 | 0 | -367740 lb | 0 0 0.00 | 1467.36/1467.78 c | 1467.79 | 0 | -367739 lb | 0 0 0.00 | 1471.06/1471.42 c | 1471.42 | 0 | -367738 lb | 0 0 0.00 | 1473.46/1473.86 c | 1473.87 | 0 | -367737 lb | 0 0 0.00 | 1475.36/1475.76 c | 1475.76 | 0 | -367736 lb | 0 0 0.00 | 1477.66/1478.08 c | 1478.08 | 0 | -367735 lb | 0 0 0.00 | 1480.96/1481.36 c | 1481.36 | 0 | -367734 lb | 0 0 0.00 | 1483.45/1483.90 c | 1483.90 | 0 | -367733 lb | 0 0 0.00 | 1486.46/1486.86 c | 1486.86 | 0 | -367732 lb | 0 0 0.00 | 1519.55/1519.98 c | 1519.98 | 0 | -367731 lb | 0 0 0.00 | 1522.65/1523.00 c | 1523.00 | 0 | -367730 lb | 0 0 0.00 | 1524.65/1525.07 c | 1525.08 | 0 | -367729 lb | 0 0 0.00 | 1526.56/1526.93 c | 1526.93 | 0 | -367728 lb | 0 0 0.00 | 1530.75/1531.18 c | 1531.18 | 0 | -367727 lb | 0 0 0.00 | 1534.15/1534.59 c | 1534.59 | 0 | -367726 lb | 0 0 0.00 | 1538.05/1538.46 c | 1538.47 | 0 | -367725 lb | 0 0 0.00 | 1541.64/1542.00 c | 1542.00 | 0 | -367724 lb | 0 0 0.00 | 1545.34/1545.74 c | 1545.74 | 0 | -367723 lb | 0 0 0.00 | 1548.64/1549.07 c | 1549.07 | 0 | -367722 lb | 0 0 0.00 | 1550.76/1551.13 c | 1551.13 | 0 | -367721 lb | 0 0 0.00 | 1553.15/1553.51 c | 1553.51 | 0 | -367720 lb | 0 0 0.00 | 1557.54/1557.95 c | 1557.95 | 0 | -367719 lb | 0 0 0.00 | 1559.55/1559.92 c | 1559.92 | 0 | -367718 lb | 0 0 0.00 | 1563.34/1563.71 c | 1563.72 | 0 | -367717 lb | 0 0 0.00 | 1565.85/1566.25 c | 1566.25 | 0 | -367716 lb | 0 0 0.00 | 1569.45/1569.86 c | 1569.86 | 0 | -367715 lb | 0 0 0.00 | 1571.44/1571.88 c | 1571.88 | 0 | -367714 lb | 0 0 0.00 | 1573.25/1573.68 c | 1573.68 | 0 | -367713 lb | 0 0 0.00 | 1575.95/1576.35 c | 1576.36 | 0 | -367712 lb | 0 0 0.00 | 1580.74/1581.19 c | 1581.19 | 0 | -367711 lb | 0 0 0.00 | 1583.84/1584.28 c | 1584.29 | 0 | -367710 lb | 0 0 0.00 | 1586.74/1587.15 c | 1587.15 | 0 | -367709 lb | 0 0 0.00 | 1589.84/1590.25 c | 1590.26 | 0 | -367708 lb | 0 0 0.00 | 1592.45/1592.84 c | 1592.85 | 0 | -367707 lb | 0 0 0.00 | 1597.14/1597.59 c | 1597.60 | 0 | -367706 lb | 0 0 0.00 | 1600.54/1600.91 c | 1600.91 | 0 | -367705 lb | 0 0 0.00 | 1604.74/1605.10 c | 1605.10 | 0 | -367704 lb | 0 0 0.00 | 1607.94/1608.37 c | 1608.37 | 0 | -367703 lb | 0 0 0.00 | 1612.84/1613.27 c | 1613.27 | 0 | -367702 lb | 0 0 0.00 | 1616.04/1616.42 c | 1616.43 | 0 | -367701 lb | 0 0 0.00 | 1642.04/1642.48 c | 1642.49 | 0 | -367700 lb | 0 0 0.00 | 1644.53/1644.97 c | 1644.98 | 0 | -367699 lb | 0 0 0.00 | 1647.23/1647.67 c | 1647.67 | 0 | -367698 lb | 0 0 0.00 | 1651.53/1652.00 c | 1652.00 | 0 | -367697 lb | 0 0 0.00 | 1655.63/1656.08 c | 1656.09 | 0 | -367696 lb | 0 0 0.00 | 1658.93/1659.31 c | 1659.31 | 0 | -367695 lb | 0 0 0.00 | 1670.42/1670.83 c | 1670.83 | 0 | -367694 lb | 0 0 0.00 | 1672.73/1673.14 c | 1673.14 | 0 | -367693 lb | 0 0 0.00 | 1676.83/1677.28 c | 1677.28 | 0 | -367692 lb | 0 0 0.00 | 1678.72/1679.18 c | 1679.19 | 0 | -367691 lb | 0 0 0.00 | 1683.92/1684.30 c | 1684.30 | 0 | -367690 lb | 0 0 0.00 | 1687.33/1687.78 c | 1687.78 | 0 | -367689 lb | 0 0 0.00 | 1691.33/1691.74 c | 1691.75 | 0 | -367688 lb | 0 0 0.00 | 1693.93/1694.34 c | 1694.34 | 0 | -367687 lb | 0 0 0.00 | 1696.23/1696.64 c | 1696.64 | 0 | -367686 lb | 0 0 0.00 | 1698.62/1699.02 c | 1699.02 | 0 | -367685 lb | 0 0 0.00 | 1702.22/1702.66 c | 1702.66 | 0 | -367684 lb | 0 0 0.00 | 1706.22/1706.62 c | 1706.62 | 0 | -367683 lb | 0 0 0.00 | 1709.32/1709.73 c | 1709.73 | 0 | -367682 lb | 0 0 0.00 | 1713.22/1713.62 c | 1713.62 | 0 | -367681 lb | 0 0 0.00 | 1716.92/1717.34 c | 1717.34 | 0 | -367680 lb | 0 0 0.00 | 1720.12/1720.55 c | 1720.56 | 0 | -367679 lb | 0 0 0.00 | 1749.52/1749.92 c | 1749.92 | 0 | -367678 lb | 0 0 0.00 | 1752.82/1753.21 c | 1753.21 | 0 | -367677 lb | 0 0 0.00 | 1756.52/1756.96 c | 1756.96 | 0 | -367676 lb | 0 0 0.00 | 1760.21/1760.67 c | 1760.67 | 0 | -367675 lb | 0 0 0.00 | 1764.02/1764.41 c | 1764.41 | 0 | -367674 lb | 0 0 0.00 | 1767.21/1767.69 c | 1767.69 | 0 | -367673 lb | 0 0 0.00 | 1771.31/1771.70 c | 1771.71 | 0 | -367672 lb | 0 0 0.00 | 1781.51/1781.97 c | 1781.98 | 0 | -367671 lb | 0 0 0.00 | 1783.91/1784.34 c | 1784.34 | 0 | -367670 lb | 0 0 0.00 | 1787.11/1787.58 c | 1787.59 | 0 | -367669 lb | 0 0 0.00 | 1789.21/1789.60 c | 1789.60 | 0 | -367668 lb | 0 0 0.00 | 1793.41/1793.85 c | 1793.85 | 0 | -367667 lb | 0 0 0.00 | 1798.01/1798.45 c | 1798.45 | 0 | -367666 lb | 0 0 0.00 | 1799.61/1800.00 c =============================================================================== 1799.61/1800.00 c Wall Clock Time: 1800.00 s 1799.61/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-3705590-1338162897/watcher-3705590-1338162897 -o /tmp/evaluation-result-3705590-1338162897/solver-3705590-1338162897 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705590-1338162897.opb running on 4 cores: 0,2,4,6 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 2/176 15579 /proc/meminfo: memFree=30906996/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=31628 CPUtime=0 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) R 15577 15579 15230 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 282418393 32387072 463 33554432000 4194304 5963574 140735616590000 140735938274968 5178864 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15579/statm: 7907 466 172 432 0 579 0 [startup+0.0437081 s] /proc/loadavg: 2.12 2.04 2.01 2/176 15579 /proc/meminfo: memFree=30906996/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=36440 CPUtime=0.04 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) R 15577 15579 15230 0 -1 4202496 1781 0 0 0 4 0 0 0 20 0 1 0 282418393 37314560 1733 33554432000 4194304 5963574 140735616590000 140735938274968 4338724 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15579/statm: 9110 1734 295 432 0 1782 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 36440 [startup+0.10028 s] /proc/loadavg: 2.12 2.04 2.01 2/176 15579 /proc/meminfo: memFree=30906996/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=42112 CPUtime=0.09 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) R 15577 15579 15230 0 -1 4202496 3250 0 0 0 9 0 0 0 20 0 1 0 282418393 43122688 3088 33554432000 4194304 5963574 140735616590000 140735938274968 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15579/statm: 10528 3088 467 432 0 3200 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42112 [startup+0.300263 s] /proc/loadavg: 2.12 2.04 2.01 2/176 15579 /proc/meminfo: memFree=30906996/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=53272 CPUtime=0.29 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) R 15577 15579 15230 0 -1 4202496 6891 0 0 0 29 0 0 0 20 0 1 0 282418393 54550528 6592 33554432000 4194304 5963574 140735616590000 140735938274968 5155384 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15579/statm: 13318 6592 1055 432 0 5990 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53272 [startup+0.700258 s] /proc/loadavg: 2.12 2.04 2.01 2/176 15579 /proc/meminfo: memFree=30906996/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=85868 CPUtime=0.69 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) R 15577 15579 15230 0 -1 4202496 15888 0 0 0 67 2 0 0 20 0 1 0 282418393 87928832 14931 33554432000 4194304 5963574 140735616590000 140735616588344 4344195 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15579/statm: 21467 14937 2211 432 0 14139 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 85868 [startup+1.50022 s] /proc/loadavg: 2.11 2.04 2.01 3/178 15581 /proc/meminfo: memFree=30741324/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=145308 CPUtime=1.49 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) R 15577 15579 15230 0 -1 4202496 30204 0 0 0 144 5 0 0 20 0 1 0 282418393 148795392 30236 33554432000 4194304 5963574 140735616590000 140735616588344 5155358 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15579/statm: 36327 30237 4122 432 0 28999 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 145308 [startup+3.10033 s] /proc/loadavg: 2.11 2.04 2.01 3/178 15581 /proc/meminfo: memFree=30451144/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=293128 CPUtime=3.09 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 65005 0 0 0 297 12 0 0 20 0 2 0 282418393 300163072 64216 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 73282 64216 177 432 0 72847 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 293128 [startup+6.30035 s] /proc/loadavg: 2.11 2.04 2.01 3/179 15582 /proc/meminfo: memFree=30045268/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=565648 CPUtime=6.29 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 111589 0 0 0 607 22 0 0 20 0 2 0 282418393 579223552 128885 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 141412 128885 194 432 0 140977 0 [pid=15579/tid=15582] ppid=15577 vsize=565648 CPUtime=3.35 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 64550 0 0 0 322 13 0 0 20 0 2 0 282418687 579223552 128885 33554432000 4194304 5963574 140735616590000 140533561796952 5141661 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 565648 [startup+12.7003 s] /proc/loadavg: 2.09 2.04 2.00 3/179 15582 /proc/meminfo: memFree=29981724/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=565648 CPUtime=12.68 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 115037 0 0 0 1243 25 0 0 20 0 2 0 282418393 579223552 121166 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 141412 121166 197 432 0 140977 0 [pid=15579/tid=15582] ppid=15577 vsize=565648 CPUtime=9.75 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 67998 0 0 0 958 17 0 0 20 0 2 0 282418687 579223552 121166 33554432000 4194304 5963574 140735616590000 140533561796952 4399451 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 565648 [startup+25.5004 s] /proc/loadavg: 2.08 2.03 2.00 3/179 15582 /proc/meminfo: memFree=29929100/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=565648 CPUtime=25.49 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 117715 0 0 0 2522 27 0 0 20 0 2 0 282418393 579223552 128268 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 141412 128268 197 432 0 140977 0 [pid=15579/tid=15582] ppid=15577 vsize=565648 CPUtime=22.55 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 70676 0 0 0 2237 18 0 0 20 0 2 0 282418687 579223552 128268 33554432000 4194304 5963574 140735616590000 140533561797448 4400112 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 565648 [startup+51.1004 s] /proc/loadavg: 2.11 2.05 2.01 3/179 15582 /proc/meminfo: memFree=29764360/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=631184 CPUtime=51.08 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 122282 0 0 0 5079 29 0 0 20 0 2 0 282418393 646332416 137681 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 157796 137681 197 432 0 157361 0 [pid=15579/tid=15582] ppid=15577 vsize=631184 CPUtime=48.15 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 75243 0 0 0 4794 21 0 0 20 0 2 0 282418687 646332416 137681 33554432000 4194304 5963574 140735616590000 140533561796952 4388621 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 631184 [startup+102.3 s] /proc/loadavg: 2.10 2.05 2.01 3/179 15582 /proc/meminfo: memFree=29508208/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=631184 CPUtime=102.28 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 129727 0 0 0 10195 33 0 0 20 0 2 0 282418393 646332416 133572 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 157796 133572 197 432 0 157361 0 [pid=15579/tid=15582] ppid=15577 vsize=631184 CPUtime=99.36 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 82688 0 0 0 9911 25 0 0 20 0 2 0 282418687 646332416 133572 33554432000 4194304 5963574 140735616590000 140533561797448 4390407 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 631184 [startup+162.3 s] /proc/loadavg: 2.04 2.04 2.00 3/179 15583 /proc/meminfo: memFree=29207088/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=631184 CPUtime=162.26 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 132047 0 0 0 16192 34 0 0 20 0 2 0 282418393 646332416 133534 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 157796 133534 197 432 0 157361 0 [pid=15579/tid=15582] ppid=15577 vsize=631184 CPUtime=159.36 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 85008 0 0 0 15908 28 0 0 20 0 2 0 282418687 646332416 133534 33554432000 4194304 5963574 140735616590000 140533561797448 4388665 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 631184 [startup+222.307 s] /proc/loadavg: 2.01 2.03 2.00 3/179 15583 /proc/meminfo: memFree=28923672/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=696720 CPUtime=222.26 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 139600 0 0 0 22190 36 0 0 20 0 2 0 282418393 713441280 150040 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 174180 150040 197 432 0 173745 0 [pid=15579/tid=15582] ppid=15577 vsize=696720 CPUtime=219.36 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 92561 0 0 0 21906 30 0 0 20 0 2 0 282418687 713441280 150040 33554432000 4194304 5963574 140735616590000 140533561796904 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 696720 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 15583 /proc/meminfo: memFree=28625348/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=696720 CPUtime=282.24 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 172005 0 0 0 28182 42 0 0 20 0 2 0 282418393 713441280 152810 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 174180 152810 197 432 0 173745 0 [pid=15579/tid=15582] ppid=15577 vsize=696720 CPUtime=279.36 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 124966 0 0 0 27898 38 0 0 20 0 2 0 282418687 713441280 152810 33554432000 4194304 5963574 140735616590000 140533561796952 4403176 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 696720 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.00 3/180 15586 /proc/meminfo: memFree=28339260/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=696720 CPUtime=342.24 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 176343 0 0 0 34180 44 0 0 20 0 2 0 282418393 713441280 153848 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 174180 153848 197 432 0 173745 0 [pid=15579/tid=15582] ppid=15577 vsize=696720 CPUtime=339.36 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 129304 0 0 0 33896 40 0 0 20 0 2 0 282418687 713441280 153848 33554432000 4194304 5963574 140735616590000 140533561797016 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 696720 [startup+402.3 s] /proc/loadavg: 2.04 2.03 2.00 3/180 15608 /proc/meminfo: memFree=27992004/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=778780 CPUtime=402.22 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 191268 0 0 0 40171 51 0 0 20 0 2 0 282418393 797470720 178454 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 194695 178454 197 432 0 194260 0 [pid=15579/tid=15582] ppid=15577 vsize=778780 CPUtime=399.37 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 144229 0 0 0 39888 49 0 0 20 0 2 0 282418687 797470720 178454 33554432000 4194304 5963574 140735616590000 140533561797144 4392408 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 778780 [startup+462.3 s] /proc/loadavg: 2.04 2.03 2.00 3/179 15609 /proc/meminfo: memFree=27802044/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=778780 CPUtime=462.21 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 195583 0 0 0 46167 54 0 0 20 0 2 0 282418393 797470720 182177 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 194695 182177 197 432 0 194260 0 [pid=15579/tid=15582] ppid=15577 vsize=778780 CPUtime=459.37 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 148544 0 0 0 45885 52 0 0 20 0 2 0 282418687 797470720 182177 33554432000 4194304 5963574 140735616590000 140533561797448 4387475 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 323234 0 0 0 123769 163 0 0 20 0 2 0 282418687 1854414848 390345 33554432000 4194304 5963574 140735616590000 140533561797448 4394949 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1810952 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15614 /proc/meminfo: memFree=25764904/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=1876488 CPUtime=1302 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 373325 0 0 0 130043 157 0 0 20 0 2 0 282418393 1921523712 407776 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 469122 407776 197 432 0 468687 0 [pid=15579/tid=15582] ppid=15577 vsize=1876488 CPUtime=1299.3 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 326286 0 0 0 129763 167 0 0 20 0 2 0 282418687 1921523712 407776 33554432000 4194304 5963574 140735616590000 140533561797144 5138318 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1876488 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15615 /proc/meminfo: memFree=25586284/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2007560 CPUtime=1361.98 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 377299 0 0 0 136036 162 0 0 20 0 2 0 282418393 2055741440 427337 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 501890 427337 197 432 0 501455 0 [pid=15579/tid=15582] ppid=15577 vsize=2007560 CPUtime=1359.3 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 330260 0 0 0 135757 173 0 0 20 0 2 0 282418687 2055741440 427337 33554432000 4194304 5963574 140735616590000 140533561796904 4403126 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 2007560 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15615 /proc/meminfo: memFree=25457588/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2032164 CPUtime=1421.97 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 386710 0 0 0 142032 165 0 0 20 0 2 0 282418393 2080935936 436579 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 508041 436579 197 432 0 507606 0 [pid=15579/tid=15582] ppid=15577 vsize=2032164 CPUtime=1419.31 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 339671 0 0 0 141753 178 0 0 20 0 2 0 282418687 2080935936 436579 33554432000 4194304 5963574 140735616590000 140533561796952 4390414 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 2032164 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15615 /proc/meminfo: memFree=25285616/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2163236 CPUtime=1481.95 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 389059 0 0 0 148027 168 0 0 20 0 2 0 282418393 2215153664 453917 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 540809 453917 197 432 0 540374 0 [pid=15579/tid=15582] ppid=15577 vsize=2163236 CPUtime=1479.3 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 342020 0 0 0 147748 182 0 0 20 0 2 0 282418687 2215153664 453917 33554432000 4194304 5963574 140735616590000 140533561796904 4388700 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 2163236 [startup+1542.31 s] /proc/loadavg: 2.08 2.02 2.01 3/180 15618 /proc/meminfo: memFree=25237552/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2163236 CPUtime=1541.95 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 390111 0 0 0 154025 170 0 0 20 0 2 0 282418393 2215153664 461612 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 540809 461612 197 432 0 540374 0 [pid=15579/tid=15582] ppid=15577 vsize=2163236 CPUtime=1539.31 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 343072 0 0 0 153746 185 0 0 20 0 2 0 282418687 2215153664 461612 33554432000 4194304 5963574 140735616590000 140533561797144 5142749 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 2163236 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 15618 /proc/meminfo: memFree=25128092/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2228772 CPUtime=1601.94 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 395055 0 0 0 160019 175 0 0 20 0 2 0 282418393 2282262528 469558 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 557193 469558 197 432 0 556758 0 [pid=15579/tid=15582] ppid=15577 vsize=2228772 CPUtime=1599.31 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 348016 0 0 0 159740 191 0 0 20 0 2 0 282418687 2282262528 469558 33554432000 4194304 5963574 140735616590000 140533561797448 4388608 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 2228772 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15619 /proc/meminfo: memFree=24898600/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2228772 CPUtime=1661.93 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 398167 0 0 0 166016 177 0 0 20 0 2 0 282418393 2282262528 477653 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 557193 477653 197 432 0 556758 0 [pid=15579/tid=15582] ppid=15577 vsize=2228772 CPUtime=1659.31 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 351128 0 0 0 165737 194 0 0 20 0 2 0 282418687 2282262528 477653 33554432000 4194304 5963574 140735616590000 140533561797448 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 2228772 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15619 /proc/meminfo: memFree=24858364/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2294308 CPUtime=1721.92 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 399271 0 0 0 172011 181 0 0 20 0 2 0 282418393 2349371392 486903 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 573577 486903 197 432 0 573142 0 [pid=15579/tid=15582] ppid=15577 vsize=2294308 CPUtime=1719.31 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 352232 0 0 0 171733 198 0 0 20 0 2 0 282418687 2349371392 486903 33554432000 4194304 5963574 140735616590000 140533561797144 4403160 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 2294308 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 15619 /proc/meminfo: memFree=24705788/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2359844 CPUtime=1781.91 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 399852 0 0 0 178009 182 0 0 20 0 2 0 282418393 2416480256 499207 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 589961 499207 197 432 0 589526 0 [pid=15579/tid=15582] ppid=15577 vsize=2359844 CPUtime=1779.31 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 352813 0 0 0 177730 201 0 0 20 0 2 0 282418687 2416480256 499207 33554432000 4194304 5963574 140735616590000 140533561796904 4408003 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 2359844 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 2.06 2.01 2.00 3/179 15619 /proc/meminfo: memFree=24689180/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2359844 CPUtime=1791.62 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 399862 0 0 0 178979 183 0 0 20 0 2 0 282418393 2416480256 494606 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 589961 494606 197 432 0 589526 0 [pid=15579/tid=15582] ppid=15577 vsize=2359844 CPUtime=1789.02 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 352823 0 0 0 178701 201 0 0 20 0 2 0 282418687 2416480256 494606 33554432000 4194304 5963574 140735616590000 140533561796904 4222474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (KiB) 2359844 [startup+1795.2 s] /proc/loadavg: 2.06 2.01 2.00 3/179 15619 /proc/meminfo: memFree=24698032/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2359844 CPUtime=1794.81 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 400375 0 0 0 179298 183 0 0 20 0 2 0 282418393 2416480256 499207 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 589961 499207 197 432 0 589526 0 [pid=15579/tid=15582] ppid=15577 vsize=2359844 CPUtime=1792.22 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 353336 0 0 0 179020 202 0 0 20 0 2 0 282418687 2416480256 499207 33554432000 4194304 5963574 140735616590000 140533561796952 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (KiB) 2359844 [startup+1798.4 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15619 /proc/meminfo: memFree=24652176/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2359844 CPUtime=1798.01 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 400375 0 0 0 179618 183 0 0 20 0 2 0 282418393 2416480256 499207 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 589961 499207 197 432 0 589526 0 [pid=15579/tid=15582] ppid=15577 vsize=2359844 CPUtime=1795.42 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 353336 0 0 0 179340 202 0 0 20 0 2 0 282418687 2416480256 499207 33554432000 4194304 5963574 140735616590000 140533561796952 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 2359844 [startup+1799.2 s] /proc/loadavg: 2.05 2.01 2.00 3/175 15647 /proc/meminfo: memFree=29043712/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2359844 CPUtime=1798.81 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 400375 0 0 0 179698 183 0 0 20 0 2 0 282418393 2416480256 494638 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 589961 494638 197 432 0 589526 0 [pid=15579/tid=15582] ppid=15577 vsize=2359844 CPUtime=1796.22 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 353336 0 0 0 179420 202 0 0 20 0 2 0 282418687 2416480256 494638 33554432000 4194304 5963574 140735616590000 140533561797144 5129994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.81 Current children cumulated vsize (KiB) 2359844 [startup+1799.6 s] /proc/loadavg: 2.05 2.01 2.00 3/178 15657 /proc/meminfo: memFree=28996168/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2359844 CPUtime=1799.21 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 400375 0 0 0 179738 183 0 0 20 0 2 0 282418393 2416480256 494638 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 589961 494638 197 432 0 589526 0 [pid=15579/tid=15582] ppid=15577 vsize=2359844 CPUtime=1796.62 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 353336 0 0 0 179460 202 0 0 20 0 2 0 282418687 2416480256 494638 33554432000 4194304 5963574 140735616590000 140533561797144 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.21 Current children cumulated vsize (KiB) 2359844 [startup+1800 s] /proc/loadavg: 2.05 2.01 2.00 3/178 15657 /proc/meminfo: memFree=28996168/32873844 swapFree=7108/7108 [pid=15579] ppid=15577 vsize=2359844 CPUtime=1799.61 cores=0,2,4,6 /proc/15579/stat : 15579 (wbo1.7) S 15577 15579 15230 0 -1 4202496 400375 0 0 0 179778 183 0 0 20 0 2 0 282418393 2416480256 494638 33554432000 4194304 5963574 140735616590000 140735616589520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15579/statm: 589961 494638 197 432 0 589526 0 [pid=15579/tid=15582] ppid=15577 vsize=2359844 CPUtime=1797.02 cores=0,2,4,6 /proc/15579/task/15582/stat : 15582 (wbo1.7) R 15577 15579 15230 0 -1 4202560 353336 0 0 0 179500 202 0 0 20 0 2 0 282418687 2416480256 494638 33554432000 4194304 5963574 140735616590000 140533561797448 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (KiB) 2359844 Child status: 255 Real time (s): 1800.02 CPU time (s): 1799.99 CPU user time (s): 1797.85 CPU system time (s): 2.13867 CPU usage (%): 99.998 Max. virtual memory (cumulated for all children) (KiB): 2359844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.85 system time used= 2.13867 maximum resident set size= 1996828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 400375 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= 114 involuntary context switches= 1850 runsolver used 3.85641 second user time and 17.9513 second system time The end
Begin job on node103 at 2012-05-28 01:54:58 IDJOB=3705590 IDBENCH=91029 IDSOLVER=2283 FILE ID=node103/3705590-1338162897 RUNJOBID= node103-1338157493-15246 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_luby_10null20mast_rapportOE1.0_TMAX60_K192_cod2.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705590-1338162897/watcher-3705590-1338162897 -o /tmp/evaluation-result-3705590-1338162897/solver-3705590-1338162897 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705590-1338162897.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 768b5e23d0b4ff11a666e1cea764674d 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: 30904576 kB Buffers: 349148 kB Cached: 645700 kB SwapCached: 4508 kB Active: 793968 kB Inactive: 339940 kB Active(anon): 135124 kB Inactive(anon): 6220 kB Active(file): 658844 kB Inactive(file): 333720 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67099564 kB Dirty: 66248 kB Writeback: 0 kB AnonPages: 140708 kB Mapped: 31816 kB Shmem: 8 kB Slab: 695880 kB SReclaimable: 137392 kB SUnreclaim: 558488 kB KernelStack: 1448 kB PageTables: 4352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 271772 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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:58