| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.65 | 1800.07 |
| 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.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727891-1338672948.opb. 0.00/0.00 c Instance file HOME/instance-3727891-1338672948.opb 0.00/0.00 c File size is 28233538 bytes. 2.79/2.82 c Cost Offset: -370041 2.79/2.82 c Highest Coefficient sum: 63611 2.79/2.82 c ============================[ Problem Statistics ]============================= 2.79/2.82 c | | 2.79/2.82 c | Parsing time: 2.82 s | 2.79/2.82 c | Number Variables: 400896 | 2.79/2.82 c | Number Clauses: 400785 | 2.79/2.82 c | Number Cardinality: 1977 | 2.79/2.82 c | Number PB Constraints: 1 | 2.79/2.82 c | | 3.09/3.10 c | Problem Type: Optimization | 3.09/3.10 c | Objective Function: PB Constraint | 3.09/3.10 c | | 3.09/3.10 c ============================[ Search Statistics ]============================== 3.09/3.10 c | Time (s) | ID | Bound | Shared Clauses | 3.09/3.10 c | | | value type | expCls impCls Lit/impCl | 3.09/3.10 c =============================================================================== 3.49/3.57 c | 3.57 | 0 | -370040 lb | 0 0 0.00 | 3.88/3.99 c | 3.99 | 0 | -370039 lb | 0 0 0.00 | 4.29/4.37 c | 4.37 | 0 | -370037 lb | 0 0 0.00 | 4.68/4.75 c | 4.75 | 0 | -370033 lb | 0 0 0.00 | 5.09/5.13 c | 5.13 | 0 | -370025 lb | 0 0 0.00 | 5.49/5.52 c | 5.52 | 0 | -370009 lb | 0 0 0.00 | 5.88/5.90 c | 5.91 | 0 | -369977 lb | 0 0 0.00 | 6.29/6.30 c | 6.31 | 0 | -369913 lb | 0 0 0.00 | 6.69/6.70 c | 6.70 | 0 | -369785 lb | 0 0 0.00 | 7.09/7.10 c | 7.11 | 0 | -369529 lb | 0 0 0.00 | 7.48/7.50 c | 7.51 | 0 | -369017 lb | 0 0 0.00 | 8.18/8.20 c | 8.20 | 0 | -369016 lb | 0 0 0.00 | 9.49/9.52 c | 9.52 | 0 | -369015 lb | 0 0 0.00 | 10.78/10.88 c | 10.88 | 0 | -369014 lb | 0 0 0.00 | 12.09/12.16 c | 12.17 | 0 | -369013 lb | 0 0 0.00 | 13.88/13.90 c | 13.91 | 0 | -369012 lb | 0 0 0.00 | 15.18/15.26 c | 15.27 | 0 | -369011 lb | 0 0 0.00 | 16.59/16.66 c | 16.66 | 0 | -369010 lb | 0 0 0.00 | 17.99/18.00 c | 18.01 | 0 | -369009 lb | 0 0 0.00 | 19.38/19.40 c | 19.41 | 0 | -369008 lb | 0 0 0.00 | 22.08/22.15 c | 22.15 | 0 | -369007 lb | 0 0 0.00 | 25.99/26.09 c | 26.09 | 0 | -369006 lb | 0 0 0.00 | 29.78/29.86 c | 29.86 | 0 | -369005 lb | 0 0 0.00 | 33.99/34.02 c | 34.02 | 0 | -369004 lb | 0 0 0.00 | 37.49/37.53 c | 37.54 | 0 | -369003 lb | 0 0 0.00 | 43.48/43.53 c | 43.53 | 0 | -369002 lb | 0 0 0.00 | 46.78/46.86 c | 46.87 | 0 | -369001 lb | 0 0 0.00 | 50.18/50.28 c | 50.28 | 0 | -369000 lb | 0 0 0.00 | 52.28/52.37 c | 52.37 | 0 | -368999 lb | 0 0 0.00 | 54.78/54.88 c | 54.89 | 0 | -368998 lb | 0 0 0.00 | 59.29/59.31 c | 59.31 | 0 | -368997 lb | 0 0 0.00 | 62.28/62.31 c | 62.31 | 0 | -368996 lb | 0 0 0.00 | 70.57/70.66 c | 70.67 | 0 | -368995 lb | 0 0 0.00 | 71.49/71.57 c | 71.57 | 0 | -368994 lb | 0 0 0.00 | 80.98/81.05 c | 81.06 | 0 | -368993 lb | 0 0 0.00 | 94.87/94.92 c | 94.92 | 0 | -368992 lb | 0 0 0.00 | 103.97/104.07 c | 104.08 | 0 | -368991 lb | 0 0 0.00 | 105.27/105.38 c | 105.38 | 0 | -368990 lb | 0 0 0.00 | 171.26/171.35 c | 171.35 | 0 | -368989 lb | 0 0 0.00 | 200.66/200.72 c | 200.73 | 0 | -368988 lb | 0 0 0.00 | 201.86/201.91 c | 201.91 | 0 | -368987 lb | 0 0 0.00 | 231.45/231.53 c | 231.53 | 0 | -368986 lb | 0 0 0.00 | 232.55/232.60 c | 232.60 | 0 | -368985 lb | 0 0 0.00 | 233.96/234.00 c | 234.01 | 0 | -368984 lb | 0 0 0.00 | 234.75/234.80 c | 234.81 | 0 | -368983 lb | 0 0 0.00 | 236.15/236.28 c | 236.29 | 0 | -368982 lb | 0 0 0.00 | 237.15/237.22 c | 237.23 | 0 | -368981 lb | 0 0 0.00 | 238.75/238.86 c | 238.87 | 0 | -368980 lb | 0 0 0.00 | 239.85/239.90 c | 239.91 | 0 | -368979 lb | 0 0 0.00 | 240.65/240.74 c | 240.75 | 0 | -368978 lb | 0 0 0.00 | 241.75/241.85 c | 241.86 | 0 | -368977 lb | 0 0 0.00 | 242.75/242.80 c | 242.80 | 0 | -368976 lb | 0 0 0.00 | 243.75/243.85 c | 243.86 | 0 | -368974 lb | 0 0 0.00 | 244.65/244.73 c | 244.73 | 0 | -368969 lb | 0 0 0.00 | 245.45/245.59 c | 245.60 | 0 | -368946 lb | 0 0 0.00 | 248.75/248.87 c | 248.88 | 0 | -368944 lb | 0 0 0.00 | 249.85/249.92 c | 249.93 | 0 | -368943 lb | 0 0 0.00 | 251.15/251.22 c | 251.22 | 0 | -368942 lb | 0 0 0.00 | 322.54/322.65 c | 322.65 | 0 | -368941 lb | 0 0 0.00 | 324.35/324.48 c | 324.49 | 0 | -368939 lb | 0 0 0.00 | 331.34/331.48 c | 331.49 | 0 | -368938 lb | 0 0 0.00 | 332.54/332.68 c | 332.69 | 0 | -368937 lb | 0 0 0.00 | 348.33/348.46 c | 348.46 | 0 | -368936 lb | 0 0 0.00 | 353.04/353.17 c | 353.17 | 0 | -368880 lb | 0 0 0.00 | 353.93/354.03 c | 354.04 | 0 | -368879 lb | 0 0 0.00 | 354.73/354.86 c | 354.87 | 0 | -368878 lb | 0 0 0.00 | 356.64/356.71 c | 356.71 | 0 | -368877 lb | 0 0 0.00 | 358.44/358.51 c | 358.51 | 0 | -368876 lb | 0 0 0.00 | 359.43/359.52 c | 359.52 | 0 | -368874 lb | 0 0 0.00 | 360.43/360.56 c | 360.57 | 0 | -368873 lb | 0 0 0.00 | 362.03/362.12 c | 362.13 | 0 | -368737 lb | 0 0 0.00 | 363.13/363.20 c | 363.20 | 0 | -368736 lb | 0 0 0.00 | 363.83/363.94 c | 363.94 | 0 | -368735 lb | 0 0 0.00 | 369.74/369.82 c | 369.82 | 0 | -368734 lb | 0 0 0.00 | 370.93/371.03 c | 371.03 | 0 | -368717 lb | 0 0 0.00 | 378.34/378.40 c | 378.41 | 0 | -368716 lb | 0 0 0.00 | 379.43/379.51 c | 379.51 | 0 | -368715 lb | 0 0 0.00 | 383.43/383.54 c | 383.55 | 0 | -368714 lb | 0 0 0.00 | 384.73/384.81 c | 384.82 | 0 | -368713 lb | 0 0 0.00 | 385.93/386.06 c | 386.06 | 0 | -368712 lb | 0 0 0.00 | 386.83/386.94 c | 386.94 | 0 | -368501 lb | 0 0 0.00 | 387.93/388.08 c | 388.09 | 0 | -368500 lb | 0 0 0.00 | 388.93/389.08 c | 389.08 | 0 | -368499 lb | 0 0 0.00 | 389.93/390.07 c | 390.07 | 0 | -368496 lb | 0 0 0.00 | 391.13/391.22 c | 391.22 | 0 | -368495 lb | 0 0 0.00 | 392.23/392.38 c | 392.38 | 0 | -368494 lb | 0 0 0.00 | 393.13/393.28 c | 393.29 | 0 | -368493 lb | 0 0 0.00 | 398.23/398.32 c | 398.33 | 0 | -368492 lb | 0 0 0.00 | 431.03/431.16 c | 431.17 | 0 | -368491 lb | 0 0 0.00 | 439.22/439.30 c | 439.31 | 0 | -368490 lb | 0 0 0.00 | 440.22/440.35 c | 440.35 | 0 | -368489 lb | 0 0 0.00 | 441.12/441.24 c | 441.25 | 0 | -368488 lb | 0 0 0.00 | 442.13/442.23 c | 442.24 | 0 | -368487 lb | 0 0 0.00 | 443.02/443.15 c | 443.15 | 0 | -368486 lb | 0 0 0.00 | 444.22/444.39 c | 444.39 | 0 | -368485 lb | 0 0 0.00 | 445.22/445.37 c | 445.38 | 0 | -368483 lb | 0 0 0.00 | 446.42/446.59 c | 446.59 | 0 | -368482 lb | 0 0 0.00 | 447.82/447.95 c | 447.95 | 0 | -368481 lb | 0 0 0.00 | 448.92/449.05 c | 449.05 | 0 | -368479 lb | 0 0 0.00 | 450.12/450.20 c | 450.21 | 0 | -368478 lb | 0 0 0.00 | 451.22/451.38 c | 451.38 | 0 | -368477 lb | 0 0 0.00 | 452.42/452.51 c | 452.51 | 0 | -368476 lb | 0 0 0.00 | 453.61/453.74 c | 453.75 | 0 | -368475 lb | 0 0 0.00 | 454.81/454.91 c | 454.91 | 0 | -368474 lb | 0 0 0.00 | 455.92/456.02 c | 456.02 | 0 | -368473 lb | 0 0 0.00 | 457.22/457.33 c | 457.33 | 0 | -368472 lb | 0 0 0.00 | 464.72/464.84 c | 464.84 | 0 | -368471 lb | 0 0 0.00 | 487.41/487.55 c | 487.55 | 0 | -368470 lb | 0 0 0.00 | 495.51/495.65 c | 495.66 | 0 | -368469 lb | 0 0 0.00 | 505.01/505.16 c | 505.16 | 0 | -368468 lb | 0 0 0.00 | 507.02/507.13 c | 507.13 | 0 | -368467 lb | 0 0 0.00 | 508.51/508.62 c | 508.62 | 0 | -368466 lb | 0 0 0.00 | 510.01/510.17 c | 510.17 | 0 | -368465 lb | 0 0 0.00 | 511.61/511.73 c | 511.74 | 0 | -368464 lb | 0 0 0.00 | 514.51/514.62 c | 514.63 | 0 | -368463 lb | 0 0 0.00 | 516.51/516.63 c | 516.64 | 0 | -368462 lb | 0 0 0.00 | 519.31/519.44 c | 519.44 | 0 | -368461 lb | 0 0 0.00 | 522.11/522.28 c | 522.28 | 0 | -368460 lb | 0 0 0.00 | 524.40/524.58 c | 524.59 | 0 | -368458 lb | 0 0 0.00 | 526.72/526.89 c | 526.89 | 0 | -368457 lb | 0 0 0.00 | 529.21/529.30 c | 529.30 | 0 | -368456 lb | 0 0 0.00 | 530.81/530.98 c | 530.98 | 0 | -368455 lb | 0 0 0.00 | 532.01/532.10 c | 532.11 | 0 | -368454 lb | 0 0 0.00 | 532.91/533.06 c | 533.06 | 0 | -368453 lb | 0 0 0.00 | 535.21/535.33 c | 535.34 | 0 | -368452 lb | 0 0 0.00 | 536.41/536.57 c | 536.57 | 0 | -368451 lb | 0 0 0.00 | 537.61/537.72 c | 537.73 | 0 | -368450 lb | 0 0 0.00 | 539.40/539.51 c | 539.51 | 0 | -368449 lb | 0 0 0.00 | 540.80/540.95 c | 540.95 | 0 | -368448 lb | 0 0 0.00 | 542.21/542.34 c | 542.35 | 0 | -368447 lb | 0 0 0.00 | 544.91/545.07 c | 545.08 | 0 | -368446 lb | 0 0 0.00 | 546.51/546.65 c | 546.65 | 0 | -368445 lb | 0 0 0.00 | 549.10/549.27 c | 549.27 | 0 | -368444 lb | 0 0 0.00 | 551.01/551.14 c | 551.15 | 0 | -368443 lb | 0 0 0.00 | 553.70/553.85 c | 553.85 | 0 | -368442 lb | 0 0 0.00 | 556.30/556.41 c | 556.41 | 0 | -368441 lb | 0 0 0.00 | 559.11/559.26 c | 559.26 | 0 | -368440 lb | 0 0 0.00 | 562.30/562.44 c | 562.44 | 0 | -368439 lb | 0 0 0.00 | 564.90/565.09 c | 565.09 | 0 | -368438 lb | 0 0 0.00 | 568.31/568.47 c | 568.47 | 0 | -368437 lb | 0 0 0.00 | 569.61/569.73 c | 569.74 | 0 | -368436 lb | 0 0 0.00 | 571.70/571.85 c | 571.85 | 0 | -368435 lb | 0 0 0.00 | 573.20/573.33 c | 573.34 | 0 | -368434 lb | 0 0 0.00 | 575.00/575.20 c | 575.20 | 0 | -368430 lb | 0 0 0.00 | 576.70/576.80 c | 576.80 | 0 | -368429 lb | 0 0 0.00 | 578.00/578.13 c | 578.14 | 0 | -368428 lb | 0 0 0.00 | 579.60/579.79 c | 579.80 | 0 | -368427 lb | 0 0 0.00 | 581.40/581.59 c | 581.60 | 0 | -368426 lb | 0 0 0.00 | 583.30/583.43 c | 583.43 | 0 | -368425 lb | 0 0 0.00 | 585.00/585.12 c | 585.12 | 0 | -368424 lb | 0 0 0.00 | 586.70/586.82 c | 586.83 | 0 | -368423 lb | 0 0 0.00 | 588.20/588.32 c | 588.32 | 0 | -368419 lb | 0 0 0.00 | 589.90/590.04 c | 590.04 | 0 | -368418 lb | 0 0 0.00 | 591.00/591.10 c | 591.10 | 0 | -368417 lb | 0 0 0.00 | 592.70/592.81 c | 592.81 | 0 | -368416 lb | 0 0 0.00 | 594.30/594.48 c | 594.48 | 0 | -368415 lb | 0 0 0.00 | 596.00/596.11 c | 596.12 | 0 | -368413 lb | 0 0 0.00 | 597.70/597.86 c | 597.87 | 0 | -368411 lb | 0 0 0.00 | 599.70/599.87 c | 599.87 | 0 | -368410 lb | 0 0 0.00 | 601.20/601.38 c | 601.38 | 0 | -368409 lb | 0 0 0.00 | 603.59/603.70 c | 603.70 | 0 | -368408 lb | 0 0 0.00 | 605.19/605.30 c | 605.31 | 0 | -368407 lb | 0 0 0.00 | 606.80/606.91 c | 606.91 | 0 | -368406 lb | 0 0 0.00 | 608.50/608.69 c | 608.70 | 0 | -368405 lb | 0 0 0.00 | 610.50/610.64 c | 610.65 | 0 | -368404 lb | 0 0 0.00 | 612.19/612.35 c | 612.36 | 0 | -368403 lb | 0 0 0.00 | 613.99/614.15 c | 614.15 | 0 | -368402 lb | 0 0 0.00 | 615.69/615.88 c | 615.88 | 0 | -368398 lb | 0 0 0.00 | 617.30/617.45 c | 617.46 | 0 | -368388 lb | 0 0 0.00 | 618.90/619.03 c | 619.04 | 0 | -368382 lb | 0 0 0.00 | 620.69/620.84 c | 620.84 | 0 | -368380 lb | 0 0 0.00 | 622.50/622.67 c | 622.67 | 0 | -368376 lb | 0 0 0.00 | 624.30/624.42 c | 624.42 | 0 | -368374 lb | 0 0 0.00 | 625.60/625.79 c | 625.79 | 0 | -368364 lb | 0 0 0.00 | 627.19/627.33 c | 627.34 | 0 | -368355 lb | 0 0 0.00 | 629.00/629.12 c | 629.12 | 0 | -368354 lb | 0 0 0.00 | 630.69/630.87 c | 630.87 | 0 | -368353 lb | 0 0 0.00 | 632.59/632.70 c | 632.71 | 0 | -368348 lb | 0 0 0.00 | 634.19/634.33 c | 634.33 | 0 | -368347 lb | 0 0 0.00 | 635.89/636.04 c | 636.04 | 0 | -368346 lb | 0 0 0.00 | 637.49/637.69 c | 637.70 | 0 | -368345 lb | 0 0 0.00 | 639.29/639.43 c | 639.43 | 0 | -368344 lb | 0 0 0.00 | 640.99/641.19 c | 641.20 | 0 | -368339 lb | 0 0 0.00 | 642.79/642.93 c | 642.94 | 0 | -368338 lb | 0 0 0.00 | 643.99/644.15 c | 644.15 | 0 | -368337 lb | 0 0 0.00 | 645.69/645.85 c | 645.85 | 0 | -368336 lb | 0 0 0.00 | 647.39/647.52 c | 647.52 | 0 | -368335 lb | 0 0 0.00 | 648.99/649.19 c | 649.19 | 0 | -368333 lb | 0 0 0.00 | 650.78/650.93 c | 650.93 | 0 | -368330 lb | 0 0 0.00 | 652.49/652.63 c | 652.64 | 0 | -368325 lb | 0 0 0.00 | 654.09/654.27 c | 654.27 | 0 | -368324 lb | 0 0 0.00 | 655.49/655.69 c | 655.70 | 0 | -368323 lb | 0 0 0.00 | 657.09/657.20 c | 657.21 | 0 | -368322 lb | 0 0 0.00 | 658.49/658.64 c | 658.65 | 0 | -368321 lb | 0 0 0.00 | 660.19/660.31 c | 660.31 | 0 | -368319 lb | 0 0 0.00 | 661.89/662.04 c | 662.05 | 0 | -368315 lb | 0 0 0.00 | 663.59/663.78 c | 663.79 | 0 | -368309 lb | 0 0 0.00 | 665.49/665.65 c | 665.66 | 0 | -368300 lb | 0 0 0.00 | 667.19/667.32 c | 667.33 | 0 | -368299 lb | 0 0 0.00 | 668.89/669.05 c | 669.05 | 0 | -368285 lb | 0 0 0.00 | 670.69/670.81 c | 670.81 | 0 | -368283 lb | 0 0 0.00 | 672.09/672.26 c | 672.26 | 0 | -368273 lb | 0 0 0.00 | 673.89/674.08 c | 674.08 | 0 | -368253 lb | 0 0 0.00 | 675.69/675.85 c | 675.85 | 0 | -368248 lb | 0 0 0.00 | 677.28/677.45 c | 677.45 | 0 | -368246 lb | 0 0 0.00 | 679.18/679.38 c | 679.39 | 0 | -368245 lb | 0 0 0.00 | 681.19/681.32 c | 681.32 | 0 | -368220 lb | 0 0 0.00 | 682.59/682.77 c | 682.78 | 0 | -368140 lb | 0 0 0.00 | 684.38/684.52 c | 684.52 | 0 | -368139 lb | 0 0 0.00 | 686.38/686.50 c | 686.50 | 0 | -368138 lb | 0 0 0.00 | 687.98/688.17 c | 688.18 | 0 | -368137 lb | 0 0 0.00 | 689.78/689.90 c | 689.91 | 0 | -368136 lb | 0 0 0.00 | 691.38/691.52 c | 691.53 | 0 | -368135 lb | 0 0 0.00 | 692.78/692.93 c | 692.93 | 0 | -368134 lb | 0 0 0.00 | 694.49/694.65 c | 694.65 | 0 | -368133 lb | 0 0 0.00 | 696.19/696.35 c | 696.36 | 0 | -368132 lb | 0 0 0.00 | 697.88/698.07 c | 698.07 | 0 | -368131 lb | 0 0 0.00 | 699.49/699.65 c | 699.65 | 0 | -368130 lb | 0 0 0.00 | 701.18/701.31 c | 701.31 | 0 | -368129 lb | 0 0 0.00 | 702.79/702.96 c | 702.96 | 0 | -368128 lb | 0 0 0.00 | 704.28/704.46 c | 704.47 | 0 | -368127 lb | 0 0 0.00 | 705.78/705.98 c | 705.99 | 0 | -368126 lb | 0 0 0.00 | 707.48/707.61 c | 707.61 | 0 | -368125 lb | 0 0 0.00 | 708.98/709.17 c | 709.17 | 0 | -368124 lb | 0 0 0.00 | 710.48/710.68 c | 710.68 | 0 | -368123 lb | 0 0 0.00 | 712.08/712.23 c | 712.24 | 0 | -368122 lb | 0 0 0.00 | 714.38/714.58 c | 714.58 | 0 | -368121 lb | 0 0 0.00 | 716.68/716.84 c | 716.85 | 0 | -368120 lb | 0 0 0.00 | 718.08/718.22 c | 718.22 | 0 | -368119 lb | 0 0 0.00 | 720.48/720.64 c | 720.64 | 0 | -368118 lb | 0 0 0.00 | 722.18/722.32 c | 722.32 | 0 | -368117 lb | 0 0 0.00 | 725.08/725.21 c | 725.21 | 0 | -368116 lb | 0 0 0.00 | 728.08/728.29 c | 728.29 | 0 | -368115 lb | 0 0 0.00 | 729.68/729.89 c | 729.89 | 0 | -368114 lb | 0 0 0.00 | 731.28/731.49 c | 731.49 | 0 | -368113 lb | 0 0 0.00 | 732.87/733.08 c | 733.09 | 0 | -368112 lb | 0 0 0.00 | 734.58/734.79 c | 734.80 | 0 | -368111 lb | 0 0 0.00 | 736.18/736.35 c | 736.35 | 0 | -368108 lb | 0 0 0.00 | 737.78/737.95 c | 737.95 | 0 | -368107 lb | 0 0 0.00 | 740.08/740.24 c | 740.25 | 0 | -368106 lb | 0 0 0.00 | 743.38/743.51 c | 743.51 | 0 | -368105 lb | 0 0 0.00 | 745.47/745.67 c | 745.67 | 0 | -368104 lb | 0 0 0.00 | 747.28/747.46 c | 747.47 | 0 | -368103 lb | 0 0 0.00 | 749.68/749.82 c | 749.82 | 0 | -368101 lb | 0 0 0.00 | 752.07/752.23 c | 752.23 | 0 | -368100 lb | 0 0 0.00 | 753.57/753.78 c | 753.78 | 0 | -368099 lb | 0 0 0.00 | 756.27/756.46 c | 756.46 | 0 | -368098 lb | 0 0 0.00 | 759.07/759.22 c | 759.22 | 0 | -368097 lb | 0 0 0.00 | 761.38/761.52 c | 761.52 | 0 | -368096 lb | 0 0 0.00 | 762.97/763.17 c | 763.17 | 0 | -368095 lb | 0 0 0.00 | 765.27/765.42 c | 765.42 | 0 | -368094 lb | 0 0 0.00 | 766.87/767.04 c | 767.04 | 0 | -368093 lb | 0 0 0.00 | 768.97/769.10 c | 769.10 | 0 | -368092 lb | 0 0 0.00 | 771.47/771.66 c | 771.67 | 0 | -368091 lb | 0 0 0.00 | 773.47/773.68 c | 773.68 | 0 | -368090 lb | 0 0 0.00 | 775.97/776.11 c | 776.12 | 0 | -368089 lb | 0 0 0.00 | 777.57/777.72 c | 777.73 | 0 | -368088 lb | 0 0 0.00 | 779.96/780.19 c | 780.19 | 0 | -368087 lb | 0 0 0.00 | 781.66/781.88 c | 781.89 | 0 | -368086 lb | 0 0 0.00 | 784.37/784.59 c | 784.59 | 0 | -368085 lb | 0 0 0.00 | 786.57/786.73 c | 786.74 | 0 | -368084 lb | 0 0 0.00 | 788.17/788.32 c | 788.33 | 0 | -368083 lb | 0 0 0.00 | 789.77/789.95 c | 789.95 | 0 | -368082 lb | 0 0 0.00 | 791.67/791.81 c | 791.81 | 0 | -368081 lb | 0 0 0.00 | 793.47/793.62 c | 793.62 | 0 | -368080 lb | 0 0 0.00 | 801.86/802.02 c | 802.02 | 0 | -368079 lb | 0 0 0.00 | 804.06/804.26 c | 804.26 | 0 | -368078 lb | 0 0 0.00 | 806.66/806.88 c | 806.88 | 0 | -368077 lb | 0 0 0.00 | 808.47/808.60 c | 808.61 | 0 | -368076 lb | 0 0 0.00 | 810.17/810.35 c | 810.35 | 0 | -368075 lb | 0 0 0.00 | 812.77/813.00 c | 813.00 | 0 | -368074 lb | 0 0 0.00 | 814.77/814.97 c | 814.97 | 0 | -368073 lb | 0 0 0.00 | 817.27/817.44 c | 817.45 | 0 | -368071 lb | 0 0 0.00 | 819.27/819.48 c | 819.48 | 0 | -368070 lb | 0 0 0.00 | 821.57/821.77 c | 821.77 | 0 | -368067 lb | 0 0 0.00 | 824.26/824.42 c | 824.42 | 0 | -368066 lb | 0 0 0.00 | 825.66/825.87 c | 825.88 | 0 | -368065 lb | 0 0 0.00 | 828.36/828.55 c | 828.55 | 0 | -368064 lb | 0 0 0.00 | 831.06/831.22 c | 831.23 | 0 | -368063 lb | 0 0 0.00 | 833.56/833.75 c | 833.75 | 0 | -368062 lb | 0 0 0.00 | 835.86/836.08 c | 836.09 | 0 | -368061 lb | 0 0 0.00 | 837.56/837.79 c | 837.79 | 0 | -368060 lb | 0 0 0.00 | 839.26/839.45 c | 839.46 | 0 | -368022 lb | 0 0 0.00 | 840.95/841.16 c | 841.17 | 0 | -368021 lb | 0 0 0.00 | 842.85/843.09 c | 843.09 | 0 | -368020 lb | 0 0 0.00 | 845.56/845.80 c | 845.80 | 0 | -368019 lb | 0 0 0.00 | 848.46/848.68 c | 848.68 | 0 | -368018 lb | 0 0 0.00 | 850.25/850.41 c | 850.41 | 0 | -368017 lb | 0 0 0.00 | 851.55/851.79 c | 851.79 | 0 | -368016 lb | 0 0 0.00 | 853.16/853.37 c | 853.38 | 0 | -368015 lb | 0 0 0.00 | 854.56/854.77 c | 854.77 | 0 | -368005 lb | 0 0 0.00 | 855.95/856.11 c | 856.12 | 0 | -368004 lb | 0 0 0.00 | 857.45/857.62 c | 857.63 | 0 | -368003 lb | 0 0 0.00 | 860.96/861.12 c | 861.12 | 0 | -368002 lb | 0 0 0.00 | 864.55/864.79 c | 864.80 | 0 | -368001 lb | 0 0 0.00 | 865.85/866.07 c | 866.07 | 0 | -367971 lb | 0 0 0.00 | 866.95/867.13 c | 867.13 | 0 | -367969 lb | 0 0 0.00 | 868.25/868.45 c | 868.46 | 0 | -367968 lb | 0 0 0.00 | 869.45/869.67 c | 869.67 | 0 | -367966 lb | 0 0 0.00 | 870.85/871.00 c | 871.00 | 0 | -367965 lb | 0 0 0.00 | 872.25/872.47 c | 872.48 | 0 | -367964 lb | 0 0 0.00 | 873.95/874.14 c | 874.14 | 0 | -367963 lb | 0 0 0.00 | 875.45/875.65 c | 875.65 | 0 | -367962 lb | 0 0 0.00 | 877.05/877.21 c | 877.21 | 0 | -367961 lb | 0 0 0.00 | 878.65/878.81 c | 878.82 | 0 | -367960 lb | 0 0 0.00 | 880.25/880.44 c | 880.44 | 0 | -367957 lb | 0 0 0.00 | 881.65/881.82 c | 881.82 | 0 | -367956 lb | 0 0 0.00 | 883.05/883.28 c | 883.29 | 0 | -367953 lb | 0 0 0.00 | 884.55/884.77 c | 884.77 | 0 | -367951 lb | 0 0 0.00 | 886.05/886.29 c | 886.29 | 0 | -367950 lb | 0 0 0.00 | 887.55/887.76 c | 887.77 | 0 | -367946 lb | 0 0 0.00 | 889.24/889.41 c | 889.41 | 0 | -367945 lb | 0 0 0.00 | 891.44/891.68 c | 891.68 | 0 | -367944 lb | 0 0 0.00 | 893.15/893.30 c | 893.30 | 0 | -367943 lb | 0 0 0.00 | 895.74/895.98 c | 895.98 | 0 | -367942 lb | 0 0 0.00 | 899.94/900.12 c | 900.12 | 0 | -367941 lb | 0 0 0.00 | 903.04/903.27 c | 903.28 | 0 | -367940 lb | 0 0 0.00 | 905.84/906.03 c | 906.03 | 0 | -367939 lb | 0 0 0.00 | 907.44/907.68 c | 907.69 | 0 | -367938 lb | 0 0 0.00 | 909.34/909.50 c | 909.51 | 0 | -367937 lb | 0 0 0.00 | 911.24/911.46 c | 911.46 | 0 | -367936 lb | 0 0 0.00 | 914.34/914.59 c | 914.60 | 0 | -367935 lb | 0 0 0.00 | 916.94/917.13 c | 917.13 | 0 | -367934 lb | 0 0 0.00 | 923.23/923.45 c | 923.45 | 0 | -367933 lb | 0 0 0.00 | 925.33/925.50 c | 925.50 | 0 | -367932 lb | 0 0 0.00 | 927.83/928.00 c | 928.00 | 0 | -367931 lb | 0 0 0.00 | 933.53/933.73 c | 933.73 | 0 | -367930 lb | 0 0 0.00 | 935.84/936.06 c | 936.07 | 0 | -367929 lb | 0 0 0.00 | 941.23/941.44 c | 941.45 | 0 | -367928 lb | 0 0 0.00 | 943.73/943.95 c | 943.95 | 0 | -367927 lb | 0 0 0.00 | 947.23/947.42 c | 947.42 | 0 | -367926 lb | 0 0 0.00 | 949.44/949.68 c | 949.69 | 0 | -367925 lb | 0 0 0.00 | 952.34/952.60 c | 952.60 | 0 | -367924 lb | 0 0 0.00 | 955.42/955.68 c | 955.69 | 0 | -367923 lb | 0 0 0.00 | 957.63/957.82 c | 957.83 | 0 | -367922 lb | 0 0 0.00 | 960.23/960.46 c | 960.46 | 0 | -367921 lb | 0 0 0.00 | 963.12/963.30 c | 963.30 | 0 | -367920 lb | 0 0 0.00 | 966.42/966.60 c | 966.60 | 0 | -367919 lb | 0 0 0.00 | 969.22/969.43 c | 969.43 | 0 | -367918 lb | 0 0 0.00 | 971.42/971.67 c | 971.67 | 0 | -367917 lb | 0 0 0.00 | 974.02/974.23 c | 974.23 | 0 | -367916 lb | 0 0 0.00 | 976.92/977.19 c | 977.19 | 0 | -367915 lb | 0 0 0.00 | 979.72/980.00 c | 980.00 | 0 | -367914 lb | 0 0 0.00 | 982.52/982.72 c | 982.72 | 0 | -367913 lb | 0 0 0.00 | 985.82/986.09 c | 986.09 | 0 | -367912 lb | 0 0 0.00 | 988.63/988.86 c | 988.87 | 0 | -367911 lb | 0 0 0.00 | 993.81/994.06 c | 994.06 | 0 | -367910 lb | 0 0 0.00 | 996.42/996.61 c | 996.62 | 0 | -367909 lb | 0 0 0.00 | 999.72/999.94 c | 999.94 | 0 | -367908 lb | 0 0 0.00 | 1002.92/1003.17 c | 1003.17 | 0 | -367907 lb | 0 0 0.00 | 1005.71/1005.93 c | 1005.93 | 0 | -367906 lb | 0 0 0.00 | 1009.02/1009.25 c | 1009.26 | 0 | -367905 lb | 0 0 0.00 | 1012.92/1013.11 c | 1013.11 | 0 | -367904 lb | 0 0 0.00 | 1018.71/1018.90 c | 1018.90 | 0 | -367903 lb | 0 0 0.00 | 1022.42/1022.66 c | 1022.66 | 0 | -367902 lb | 0 0 0.00 | 1025.72/1025.90 c | 1025.91 | 0 | -367901 lb | 0 0 0.00 | 1029.42/1029.61 c | 1029.61 | 0 | -367900 lb | 0 0 0.00 | 1032.11/1032.36 c | 1032.36 | 0 | -367899 lb | 0 0 0.00 | 1035.11/1035.32 c | 1035.32 | 0 | -367898 lb | 0 0 0.00 | 1039.11/1039.31 c | 1039.32 | 0 | -367897 lb | 0 0 0.00 | 1042.61/1042.85 c | 1042.85 | 0 | -367896 lb | 0 0 0.00 | 1045.31/1045.58 c | 1045.58 | 0 | -367895 lb | 0 0 0.00 | 1048.31/1048.58 c | 1048.58 | 0 | -367894 lb | 0 0 0.00 | 1051.21/1051.49 c | 1051.49 | 0 | -367893 lb | 0 0 0.00 | 1054.30/1054.56 c | 1054.56 | 0 | -367892 lb | 0 0 0.00 | 1057.40/1057.64 c | 1057.65 | 0 | -367891 lb | 0 0 0.00 | 1059.60/1059.86 c | 1059.87 | 0 | -367890 lb | 0 0 0.00 | 1062.00/1062.28 c | 1062.28 | 0 | -367889 lb | 0 0 0.00 | 1064.61/1064.83 c | 1064.83 | 0 | -367888 lb | 0 0 0.00 | 1067.10/1067.31 c | 1067.31 | 0 | -367887 lb | 0 0 0.00 | 1069.40/1069.66 c | 1069.66 | 0 | -367886 lb | 0 0 0.00 | 1072.11/1072.30 c | 1072.30 | 0 | -367885 lb | 0 0 0.00 | 1074.51/1074.79 c | 1074.80 | 0 | -367884 lb | 0 0 0.00 | 1079.30/1079.59 c | 1079.59 | 0 | -367883 lb | 0 0 0.00 | 1082.80/1083.00 c | 1083.00 | 0 | -367882 lb | 0 0 0.00 | 1086.70/1086.90 c | 1086.90 | 0 | -367881 lb | 0 0 0.00 | 1089.60/1089.82 c | 1089.82 | 0 | -367880 lb | 0 0 0.00 | 1093.00/1093.29 c | 1093.29 | 0 | -367879 lb | 0 0 0.00 | 1097.30/1097.50 c | 1097.51 | 0 | -367878 lb | 0 0 0.00 | 1101.90/1102.10 c | 1102.11 | 0 | -367877 lb | 0 0 0.00 | 1106.49/1106.76 c | 1106.76 | 0 | -367876 lb | 0 0 0.00 | 1108.99/1109.20 c | 1109.21 | 0 | -367875 lb | 0 0 0.00 | 1111.39/1111.64 c | 1111.64 | 0 | -367874 lb | 0 0 0.00 | 1113.69/1113.92 c | 1113.92 | 0 | -367873 lb | 0 0 0.00 | 1116.20/1116.48 c | 1116.49 | 0 | -367872 lb | 0 0 0.00 | 1119.09/1119.37 c | 1119.38 | 0 | -367871 lb | 0 0 0.00 | 1121.59/1121.87 c | 1121.88 | 0 | -367870 lb | 0 0 0.00 | 1124.09/1124.34 c | 1124.35 | 0 | -367869 lb | 0 0 0.00 | 1126.69/1126.94 c | 1126.95 | 0 | -367868 lb | 0 0 0.00 | 1129.29/1129.58 c | 1129.59 | 0 | -367867 lb | 0 0 0.00 | 1131.99/1132.22 c | 1132.23 | 0 | -367866 lb | 0 0 0.00 | 1134.69/1134.93 c | 1134.94 | 0 | -367865 lb | 0 0 0.00 | 1137.39/1137.64 c | 1137.64 | 0 | -367864 lb | 0 0 0.00 | 1139.98/1140.20 c | 1140.20 | 0 | -367863 lb | 0 0 0.00 | 1143.28/1143.59 c | 1143.59 | 0 | -367862 lb | 0 0 0.00 | 1146.98/1147.22 c | 1147.22 | 0 | -367861 lb | 0 0 0.00 | 1150.08/1150.35 c | 1150.36 | 0 | -367860 lb | 0 0 0.00 | 1152.78/1153.09 c | 1153.10 | 0 | -367859 lb | 0 0 0.00 | 1161.67/1161.93 c | 1161.93 | 0 | -367858 lb | 0 0 0.00 | 1165.27/1165.50 c | 1165.51 | 0 | -367857 lb | 0 0 0.00 | 1169.68/1169.94 c | 1169.94 | 0 | -367856 lb | 0 0 0.00 | 1174.18/1174.49 c | 1174.49 | 0 | -367853 lb | 0 0 0.00 | 1178.67/1178.91 c | 1178.92 | 0 | -367852 lb | 0 0 0.00 | 1183.17/1183.41 c | 1183.42 | 0 | -367851 lb | 0 0 0.00 | 1192.37/1192.68 c | 1192.68 | 0 | -367850 lb | 0 0 0.00 | 1201.87/1202.15 c | 1202.15 | 0 | -367849 lb | 0 0 0.00 | 1206.48/1206.75 c | 1206.76 | 0 | -367848 lb | 0 0 0.00 | 1211.47/1211.71 c | 1211.71 | 0 | -367847 lb | 0 0 0.00 | 1215.87/1216.11 c | 1216.11 | 0 | -367846 lb | 0 0 0.00 | 1225.66/1225.97 c | 1225.97 | 0 | -367845 lb | 0 0 0.00 | 1229.35/1229.64 c | 1229.65 | 0 | -367844 lb | 0 0 0.00 | 1233.35/1233.60 c | 1233.60 | 0 | -367843 lb | 0 0 0.00 | 1242.85/1243.14 c | 1243.15 | 0 | -367842 lb | 0 0 0.00 | 1247.06/1247.34 c | 1247.35 | 0 | -367841 lb | 0 0 0.00 | 1251.05/1251.35 c | 1251.36 | 0 | -367840 lb | 0 0 0.00 | 1255.86/1256.12 c | 1256.12 | 0 | -367839 lb | 0 0 0.00 | 1258.45/1258.75 c | 1258.75 | 0 | -367838 lb | 0 0 0.00 | 1260.95/1261.28 c | 1261.28 | 0 | -367837 lb | 0 0 0.00 | 1263.56/1263.84 c | 1263.85 | 0 | -367835 lb | 0 0 0.00 | 1271.35/1271.69 c | 1271.69 | 0 | -367834 lb | 0 0 0.00 | 1276.65/1276.99 c | 1276.99 | 0 | -367833 lb | 0 0 0.00 | 1281.35/1281.61 c | 1281.62 | 0 | -367832 lb | 0 0 0.00 | 1284.95/1285.24 c | 1285.24 | 0 | -367831 lb | 0 0 0.00 | 1288.24/1288.54 c | 1288.55 | 0 | -367830 lb | 0 0 0.00 | 1291.05/1291.39 c | 1291.39 | 0 | -367829 lb | 0 0 0.00 | 1295.34/1295.67 c | 1295.68 | 0 | -367828 lb | 0 0 0.00 | 1299.24/1299.55 c | 1299.56 | 0 | -367827 lb | 0 0 0.00 | 1303.34/1303.68 c | 1303.68 | 0 | -367826 lb | 0 0 0.00 | 1308.03/1308.33 c | 1308.33 | 0 | -367825 lb | 0 0 0.00 | 1310.85/1311.17 c | 1311.17 | 0 | -367824 lb | 0 0 0.00 | 1313.74/1314.06 c | 1314.07 | 0 | -367823 lb | 0 0 0.00 | 1316.64/1316.92 c | 1316.92 | 0 | -367822 lb | 0 0 0.00 | 1319.53/1319.81 c | 1319.82 | 0 | -367821 lb | 0 0 0.00 | 1325.03/1325.34 c | 1325.34 | 0 | -367820 lb | 0 0 0.00 | 1331.13/1331.44 c | 1331.45 | 0 | -367819 lb | 0 0 0.00 | 1335.93/1336.22 c | 1336.23 | 0 | -367818 lb | 0 0 0.00 | 1338.92/1339.22 c | 1339.23 | 0 | -367817 lb | 0 0 0.00 | 1343.22/1343.57 c | 1343.58 | 0 | -367816 lb | 0 0 0.00 | 1347.02/1347.30 c | 1347.31 | 0 | -367815 lb | 0 0 0.00 | 1352.62/1352.90 c | 1352.91 | 0 | -367814 lb | 0 0 0.00 | 1357.02/1357.34 c | 1357.34 | 0 | -367813 lb | 0 0 0.00 | 1361.52/1361.85 c | 1361.85 | 0 | -367812 lb | 0 0 0.00 | 1365.82/1366.11 c | 1366.11 | 0 | -367811 lb | 0 0 0.00 | 1370.52/1370.86 c | 1370.86 | 0 | -367810 lb | 0 0 0.00 | 1374.91/1375.25 c | 1375.25 | 0 | -367809 lb | 0 0 0.00 | 1379.51/1379.86 c | 1379.87 | 0 | -367808 lb | 0 0 0.00 | 1391.41/1391.79 c | 1391.80 | 0 | -367807 lb | 0 0 0.00 | 1394.91/1395.27 c | 1395.27 | 0 | -367806 lb | 0 0 0.00 | 1399.92/1400.26 c | 1400.27 | 0 | -367805 lb | 0 0 0.00 | 1404.91/1405.29 c | 1405.29 | 0 | -367804 lb | 0 0 0.00 | 1409.50/1409.83 c | 1409.84 | 0 | -367803 lb | 0 0 0.00 | 1413.91/1414.26 c | 1414.26 | 0 | -367802 lb | 0 0 0.00 | 1417.62/1417.96 c | 1417.96 | 0 | -367801 lb | 0 0 0.00 | 1420.51/1420.82 c | 1420.82 | 0 | -367800 lb | 0 0 0.00 | 1424.21/1424.52 c | 1424.52 | 0 | -367799 lb | 0 0 0.00 | 1429.90/1430.27 c | 1430.28 | 0 | -367798 lb | 0 0 0.00 | 1433.70/1434.01 c | 1434.01 | 0 | -367797 lb | 0 0 0.00 | 1436.11/1436.44 c | 1436.44 | 0 | -367796 lb | 0 0 0.00 | 1441.31/1441.62 c | 1441.62 | 0 | -367795 lb | 0 0 0.00 | 1444.90/1445.29 c | 1445.30 | 0 | -367794 lb | 0 0 0.00 | 1447.80/1448.15 c | 1448.16 | 0 | -367793 lb | 0 0 0.00 | 1450.31/1450.66 c | 1450.66 | 0 | -367792 lb | 0 0 0.00 | 1453.01/1453.33 c | 1453.33 | 0 | -367791 lb | 0 0 0.00 | 1455.50/1455.87 c | 1455.87 | 0 | -367790 lb | 0 0 0.00 | 1460.00/1460.35 c | 1460.35 | 0 | -367789 lb | 0 0 0.00 | 1463.20/1463.59 c | 1463.59 | 0 | -367788 lb | 0 0 0.00 | 1467.50/1467.87 c | 1467.88 | 0 | -367787 lb | 0 0 0.00 | 1470.30/1470.70 c | 1470.70 | 0 | -367786 lb | 0 0 0.00 | 1472.90/1473.27 c | 1473.27 | 0 | -367785 lb | 0 0 0.00 | 1475.90/1476.20 c | 1476.21 | 0 | -367784 lb | 0 0 0.00 | 1478.70/1479.04 c | 1479.04 | 0 | -367783 lb | 0 0 0.00 | 1481.30/1481.68 c | 1481.68 | 0 | -367782 lb | 0 0 0.00 | 1485.50/1485.83 c | 1485.83 | 0 | -367781 lb | 0 0 0.00 | 1488.29/1488.68 c | 1488.68 | 0 | -367780 lb | 0 0 0.00 | 1492.10/1492.42 c | 1492.43 | 0 | -367779 lb | 0 0 0.00 | 1495.30/1495.65 c | 1495.65 | 0 | -367778 lb | 0 0 0.00 | 1497.90/1498.22 c | 1498.23 | 0 | -367777 lb | 0 0 0.00 | 1500.39/1500.71 c | 1500.71 | 0 | -367776 lb | 0 0 0.00 | 1502.49/1502.82 c | 1502.82 | 0 | -367775 lb | 0 0 0.00 | 1505.20/1505.57 c | 1505.57 | 0 | -367774 lb | 0 0 0.00 | 1507.90/1508.23 c | 1508.23 | 0 | -367773 lb | 0 0 0.00 | 1512.69/1513.00 c | 1513.01 | 0 | -367772 lb | 0 0 0.00 | 1515.69/1516.06 c | 1516.06 | 0 | -367771 lb | 0 0 0.00 | 1517.89/1518.24 c | 1518.25 | 0 | -367770 lb | 0 0 0.00 | 1520.39/1520.74 c | 1520.74 | 0 | -367769 lb | 0 0 0.00 | 1522.79/1523.19 c | 1523.20 | 0 | -367768 lb | 0 0 0.00 | 1526.29/1526.63 c | 1526.63 | 0 | -367767 lb | 0 0 0.00 | 1530.90/1531.22 c | 1531.22 | 0 | -367766 lb | 0 0 0.00 | 1535.99/1536.39 c | 1536.39 | 0 | -367765 lb | 0 0 0.00 | 1538.08/1538.49 c | 1538.50 | 0 | -367764 lb | 0 0 0.00 | 1541.69/1542.06 c | 1542.07 | 0 | -367763 lb | 0 0 0.00 | 1545.49/1545.86 c | 1545.86 | 0 | -367762 lb | 0 0 0.00 | 1549.29/1549.61 c | 1549.61 | 0 | -367761 lb | 0 0 0.00 | 1552.90/1553.22 c | 1553.22 | 0 | -367760 lb | 0 0 0.00 | 1557.08/1557.48 c | 1557.48 | 0 | -367759 lb | 0 0 0.00 | 1560.59/1560.98 c | 1560.98 | 0 | -367758 lb | 0 0 0.00 | 1564.89/1565.28 c | 1565.28 | 0 | -367757 lb | 0 0 0.00 | 1570.18/1570.52 c | 1570.52 | 0 | -367756 lb | 0 0 0.00 | 1573.09/1573.48 c | 1573.48 | 0 | -367755 lb | 0 0 0.00 | 1576.48/1576.80 c | 1576.80 | 0 | -367754 lb | 0 0 0.00 | 1581.18/1581.57 c | 1581.57 | 0 | -367753 lb | 0 0 0.00 | 1584.08/1584.48 c | 1584.48 | 0 | -367752 lb | 0 0 0.00 | 1588.78/1589.10 c | 1589.10 | 0 | -367751 lb | 0 0 0.00 | 1592.98/1593.39 c | 1593.39 | 0 | -367750 lb | 0 0 0.00 | 1597.28/1597.69 c | 1597.69 | 0 | -367749 lb | 0 0 0.00 | 1601.08/1601.48 c | 1601.49 | 0 | -367748 lb | 0 0 0.00 | 1603.88/1604.20 c | 1604.20 | 0 | -367747 lb | 0 0 0.00 | 1607.38/1607.76 c | 1607.76 | 0 | -367746 lb | 0 0 0.00 | 1611.88/1612.25 c | 1612.25 | 0 | -367745 lb | 0 0 0.00 | 1616.17/1616.51 c | 1616.52 | 0 | -367744 lb | 0 0 0.00 | 1620.98/1621.33 c | 1621.33 | 0 | -367743 lb | 0 0 0.00 | 1625.38/1625.79 c | 1625.80 | 0 | -367742 lb | 0 0 0.00 | 1629.97/1630.32 c | 1630.33 | 0 | -367741 lb | 0 0 0.00 | 1634.37/1634.77 c | 1634.78 | 0 | -367740 lb | 0 0 0.00 | 1638.58/1638.95 c | 1638.95 | 0 | -367739 lb | 0 0 0.00 | 1643.08/1643.42 c | 1643.43 | 0 | -367738 lb | 0 0 0.00 | 1646.08/1646.47 c | 1646.47 | 0 | -367737 lb | 0 0 0.00 | 1648.37/1648.79 c | 1648.79 | 0 | -367736 lb | 0 0 0.00 | 1651.27/1651.65 c | 1651.65 | 0 | -367735 lb | 0 0 0.00 | 1655.37/1655.77 c | 1655.77 | 0 | -367734 lb | 0 0 0.00 | 1658.57/1658.92 c | 1658.92 | 0 | -367733 lb | 0 0 0.00 | 1662.17/1662.55 c | 1662.56 | 0 | -367732 lb | 0 0 0.00 | 1705.96/1706.37 c | 1706.38 | 0 | -367731 lb | 0 0 0.00 | 1709.76/1710.15 c | 1710.16 | 0 | -367730 lb | 0 0 0.00 | 1712.37/1712.71 c | 1712.72 | 0 | -367729 lb | 0 0 0.00 | 1714.57/1714.99 c | 1714.99 | 0 | -367728 lb | 0 0 0.00 | 1719.97/1720.39 c | 1720.40 | 0 | -367727 lb | 0 0 0.00 | 1724.26/1724.70 c | 1724.70 | 0 | -367726 lb | 0 0 0.00 | 1729.16/1729.55 c | 1729.55 | 0 | -367725 lb | 0 0 0.00 | 1733.66/1734.00 c | 1734.00 | 0 | -367724 lb | 0 0 0.00 | 1738.16/1738.55 c | 1738.56 | 0 | -367723 lb | 0 0 0.00 | 1742.36/1742.71 c | 1742.71 | 0 | -367722 lb | 0 0 0.00 | 1744.86/1745.26 c | 1745.26 | 0 | -367721 lb | 0 0 0.00 | 1747.86/1748.26 c | 1748.27 | 0 | -367720 lb | 0 0 0.00 | 1753.56/1753.92 c | 1753.93 | 0 | -367719 lb | 0 0 0.00 | 1755.95/1756.37 c | 1756.37 | 0 | -367718 lb | 0 0 0.00 | 1760.77/1761.19 c | 1761.19 | 0 | -367717 lb | 0 0 0.00 | 1763.96/1764.38 c | 1764.38 | 0 | -367716 lb | 0 0 0.00 | 1768.46/1768.88 c | 1768.88 | 0 | -367715 lb | 0 0 0.00 | 1770.86/1771.28 c | 1771.29 | 0 | -367714 lb | 0 0 0.00 | 1773.15/1773.50 c | 1773.50 | 0 | -367713 lb | 0 0 0.00 | 1776.35/1776.71 c | 1776.71 | 0 | -367712 lb | 0 0 0.00 | 1782.55/1782.96 c | 1782.96 | 0 | -367711 lb | 0 0 0.00 | 1786.35/1786.77 c | 1786.78 | 0 | -367710 lb | 0 0 0.00 | 1790.05/1790.40 c | 1790.40 | 0 | -367709 lb | 0 0 0.00 | 1793.65/1794.10 c | 1794.10 | 0 | -367708 lb | 0 0 0.00 | 1796.85/1797.24 c | 1797.25 | 0 | -367707 lb | 0 0 0.00 | 1799.65/1800.05 c =============================================================================== 1799.65/1800.05 c Wall Clock Time: 1800.05 s 1799.65/1800.05 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-3727891-1338672948/watcher-3727891-1338672948 -o /tmp/evaluation-result-3727891-1338672948/solver-3727891-1338672948 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727891-1338672948.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.04 2.01 2.00 3/175 4141 /proc/meminfo: memFree=25384236/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=31824 CPUtime=0 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) R 4139 4141 3468 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333420356 32587776 530 33554432000 4194304 5964350 140733676374560 140733676372440 4395449 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 7956 532 172 433 0 627 0 [startup+0.0144539 s] /proc/loadavg: 2.04 2.01 2.00 3/175 4141 /proc/meminfo: memFree=25384236/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=33444 CPUtime=0.01 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) R 4139 4141 3468 0 -1 4202496 929 0 0 0 1 0 0 0 20 0 1 0 333420356 34246656 882 33554432000 4194304 5964350 140733676374560 140733676372440 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 8361 883 200 433 0 1032 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 33444 [startup+0.100276 s] /proc/loadavg: 2.04 2.01 2.00 3/175 4141 /proc/meminfo: memFree=25384236/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=42384 CPUtime=0.09 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) R 4139 4141 3468 0 -1 4202496 3372 0 0 0 9 0 0 0 20 0 1 0 333420356 43401216 3211 33554432000 4194304 5964350 140733676374560 140733676372440 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 10596 3212 483 433 0 3267 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42384 [startup+0.300292 s] /proc/loadavg: 2.04 2.01 2.00 3/175 4141 /proc/meminfo: memFree=25384236/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=53672 CPUtime=0.28 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) R 4139 4141 3468 0 -1 4202496 7024 0 0 0 28 0 0 0 20 0 1 0 333420356 54960128 6726 33554432000 4194304 5964350 140733676374560 140733676373016 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 13418 6726 1083 433 0 6089 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 53672 [startup+0.700288 s] /proc/loadavg: 2.04 2.01 2.00 3/175 4141 /proc/meminfo: memFree=25384236/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=86796 CPUtime=0.69 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) R 4139 4141 3468 0 -1 4202496 16374 0 0 0 67 2 0 0 20 0 1 0 333420356 88879104 15419 33554432000 4194304 5964350 140733676374560 140733676373016 4395326 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 21699 15419 2273 433 0 14370 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 86796 [startup+1.50028 s] /proc/loadavg: 2.04 2.01 2.00 3/176 4142 /proc/meminfo: memFree=25309896/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=146564 CPUtime=1.49 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) R 4139 4141 3468 0 -1 4202496 30963 0 0 0 144 5 0 0 20 0 1 0 333420356 150081536 30683 33554432000 4194304 5964350 140733676374560 140733676373048 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 36641 30684 4226 433 0 29312 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 146564 [startup+3.10017 s] /proc/loadavg: 2.04 2.01 2.00 3/176 4142 /proc/meminfo: memFree=25259488/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=293132 CPUtime=3.09 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 65176 0 0 0 298 11 0 0 20 0 2 0 333420356 300167168 64388 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 73283 64388 177 433 0 72847 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 293132 [startup+6.3004 s] /proc/loadavg: 2.04 2.01 2.00 3/177 4143 /proc/meminfo: memFree=24849316/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=565652 CPUtime=6.29 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 111908 0 0 0 607 22 0 0 20 0 2 0 333420356 579227648 121422 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 141413 121422 193 433 0 140977 0 [pid=4141/tid=4143] ppid=4139 vsize=565652 CPUtime=3.45 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 65309 0 0 0 331 14 0 0 20 0 2 0 333420639 579227648 121422 33554432000 4194304 5964350 140733676374560 139944571488792 5131006 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 565652 [startup+12.7004 s] /proc/loadavg: 2.03 2.01 2.00 3/177 4143 /proc/meminfo: memFree=24825376/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=565652 CPUtime=12.69 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 115357 0 0 0 1245 24 0 0 20 0 2 0 333420356 579227648 121276 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 141413 121276 197 433 0 140977 0 [pid=4141/tid=4143] ppid=4139 vsize=565652 CPUtime=9.83 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 68758 0 0 0 966 17 0 0 20 0 2 0 333420639 579227648 121276 33554432000 4194304 5964350 140733676374560 139944571488600 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 565652 [startup+25.5003 s] /proc/loadavg: 2.10 2.03 2.00 3/177 4143 /proc/meminfo: memFree=24741020/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=565652 CPUtime=25.49 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 118035 0 0 0 2523 26 0 0 20 0 2 0 333420356 579227648 128378 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 141413 128378 197 433 0 140977 0 [pid=4141/tid=4143] ppid=4139 vsize=565652 CPUtime=22.6 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 71436 0 0 0 2242 18 0 0 20 0 2 0 333420639 579227648 128378 33554432000 4194304 5964350 140733676374560 139944571489096 4400462 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 565652 [startup+51.1003 s] /proc/loadavg: 2.06 2.02 2.00 3/177 4143 /proc/meminfo: memFree=24561084/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=631188 CPUtime=51.08 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 122602 0 0 0 5080 28 0 0 20 0 2 0 333420356 646336512 137791 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 157797 137791 197 433 0 157361 0 [pid=4141/tid=4143] ppid=4139 vsize=631188 CPUtime=48.13 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 76003 0 0 0 4793 20 0 0 20 0 2 0 333420639 646336512 137791 33554432000 4194304 5964350 140733676374560 139944571489096 4389084 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 631188 [startup+102.306 s] /proc/loadavg: 2.15 2.05 2.01 3/177 4143 /proc/meminfo: memFree=24366820/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=631188 CPUtime=102.28 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 130047 0 0 0 10197 31 0 0 20 0 2 0 333420356 646336512 133682 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 157797 133682 197 433 0 157361 0 [pid=4141/tid=4143] ppid=4139 vsize=631188 CPUtime=99.21 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 83448 0 0 0 9897 24 0 0 20 0 2 0 333420639 646336512 133682 33554432000 4194304 5964350 140733676374560 139944571489096 5135577 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 631188 [startup+162.3 s] /proc/loadavg: 2.05 2.04 2.00 3/177 4143 /proc/meminfo: memFree=24059916/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=631188 CPUtime=162.26 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 132367 0 0 0 16194 32 0 0 20 0 2 0 333420356 646336512 133644 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 157797 133644 197 433 0 157361 0 [pid=4141/tid=4143] ppid=4139 vsize=631188 CPUtime=159.05 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 85768 0 0 0 15878 27 0 0 20 0 2 0 333420639 646336512 133644 33554432000 4194304 5964350 140733676374560 139944571489096 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 631188 [startup+222.3 s] /proc/loadavg: 2.07 2.04 2.00 3/177 4143 /proc/meminfo: memFree=23681920/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=696724 CPUtime=222.25 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 139920 0 0 0 22191 34 0 0 20 0 2 0 333420356 713445376 150150 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 174181 150150 197 433 0 173745 0 [pid=4141/tid=4143] ppid=4139 vsize=696724 CPUtime=218.9 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 93321 0 0 0 21861 29 0 0 20 0 2 0 333420639 713445376 150150 33554432000 4194304 5964350 140733676374560 139944571488552 4399921 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 696724 [startup+282.3 s] /proc/loadavg: 2.11 2.05 2.01 3/178 4146 /proc/meminfo: memFree=23516640/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=696724 CPUtime=282.25 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 172325 0 0 0 28184 41 0 0 20 0 2 0 333420356 713445376 152920 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 174181 152920 197 433 0 173745 0 [pid=4141/tid=4143] ppid=4139 vsize=696724 CPUtime=278.74 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 125726 0 0 0 27837 37 0 0 20 0 2 0 333420639 713445376 152920 33554432000 4194304 5964350 140733676374560 139944571488600 4392917 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 696724 [startup+342.3 s] /proc/loadavg: 2.10 2.05 2.00 3/177 4147 /proc/meminfo: memFree=23206232/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=696724 CPUtime=342.23 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 176663 0 0 0 34181 42 0 0 20 0 2 0 333420356 713445376 153958 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 174181 153958 197 433 0 173745 0 [pid=4141/tid=4143] ppid=4139 vsize=696724 CPUtime=338.59 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 130064 0 0 0 33819 40 0 0 20 0 2 0 333420639 713445376 153958 33554432000 4194304 5964350 140733676374560 139944571488664 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 696724 [startup+402.3 s] /proc/loadavg: 2.09 2.06 2.00 3/177 4147 /proc/meminfo: memFree=22825272/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=778784 CPUtime=402.22 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 191430 0 0 0 40172 50 0 0 20 0 2 0 333420356 797474816 178524 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 194696 178524 197 433 0 194260 0 [pid=4141/tid=4143] ppid=4139 vsize=778784 CPUtime=398.43 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 144831 0 0 0 39794 49 0 0 20 0 2 0 333420639 797474816 178524 33554432000 4194304 5964350 140733676374560 139944571488792 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 778784 [startup+462.3 s] /proc/loadavg: 2.03 2.05 2.00 3/177 4147 /proc/meminfo: memFree=22490112/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=844320 CPUtime=462.22 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 195745 0 0 0 46169 53 0 0 20 0 2 0 333420356 864583680 185832 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 211080 185832 197 433 0 210644 0 [pid=4141/tid=4143] ppid=4139 vsize=844320 CPUtime=458.28 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 149146 0 0 0 45777 51 0 0 20 0 2 0 333420639 864583680 185832 33554432000 4194304 5964350 140733676374560 139944571488552 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.04 2.05 2.00 3/177 4165 /proc/meminfo: memFree=18385896/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=1876492 CPUtime=1422.01 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 371278 0 0 0 142041 160 0 0 20 0 2 0 333420356 1921527808 403917 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 469123 403917 197 433 0 468687 0 [pid=4141/tid=4143] ppid=4139 vsize=1876492 CPUtime=1415.75 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 324679 0 0 0 141402 173 0 0 20 0 2 0 333420639 1921527808 403917 33554432000 4194304 5964350 140733676374560 139944571489096 4403615 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 1876492 [startup+1482.3 s] /proc/loadavg: 2.01 2.04 2.00 3/178 4168 /proc/meminfo: memFree=18265044/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=1942028 CPUtime=1482 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 375201 0 0 0 148036 164 0 0 20 0 2 0 333420356 1988636672 420775 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 485507 420775 197 433 0 485071 0 [pid=4141/tid=4143] ppid=4139 vsize=1942028 CPUtime=1475.59 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 328602 0 0 0 147380 179 0 0 20 0 2 0 333420639 1988636672 420775 33554432000 4194304 5964350 140733676374560 139944571488792 5122387 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 1942028 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/178 4192 /proc/meminfo: memFree=17921404/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2007564 CPUtime=1541.99 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 378075 0 0 0 154031 168 0 0 20 0 2 0 333420356 2055745536 434281 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 501891 434281 197 433 0 501455 0 [pid=4141/tid=4143] ppid=4139 vsize=2007564 CPUtime=1535.44 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 331476 0 0 0 153361 183 0 0 20 0 2 0 333420639 2055745536 434281 33554432000 4194304 5964350 140733676374560 139944571488792 5139086 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 2007564 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 4192 /proc/meminfo: memFree=17827116/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2097704 CPUtime=1601.98 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 386389 0 0 0 160025 173 0 0 20 0 2 0 333420356 2148048896 441775 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 524426 441775 197 433 0 523990 0 [pid=4141/tid=4143] ppid=4139 vsize=2097704 CPUtime=1595.29 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 339790 0 0 0 159340 189 0 0 20 0 2 0 333420639 2148048896 441775 33554432000 4194304 5964350 140733676374560 139944571488792 5130821 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 2097704 [startup+1662.3 s] /proc/loadavg: 2.10 2.05 2.01 3/177 4192 /proc/meminfo: memFree=17509276/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2097704 CPUtime=1661.97 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 387927 0 0 0 166020 177 0 0 20 0 2 0 333420356 2148048896 450906 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 524426 450906 197 433 0 523990 0 [pid=4141/tid=4143] ppid=4139 vsize=2097704 CPUtime=1655.13 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 341328 0 0 0 165319 194 0 0 20 0 2 0 333420639 2148048896 450906 33554432000 4194304 5964350 140733676374560 139944571489096 4403510 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 2097704 [startup+1722.3 s] /proc/loadavg: 2.04 2.03 2.00 3/177 4192 /proc/meminfo: memFree=17277176/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2163240 CPUtime=1721.96 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 388496 0 0 0 172018 178 0 0 20 0 2 0 333420356 2215157760 462186 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 540810 462186 197 433 0 540374 0 [pid=4141/tid=4143] ppid=4139 vsize=2163240 CPUtime=1714.98 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 341897 0 0 0 171301 197 0 0 20 0 2 0 333420639 2215157760 462186 33554432000 4194304 5964350 140733676374560 139944571488600 4392749 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 2163240 [startup+1782.3 s] /proc/loadavg: 1.86 1.99 1.99 2/170 4216 /proc/meminfo: memFree=24187912/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2163240 CPUtime=1781.95 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 391031 0 0 0 178013 182 0 0 20 0 2 0 333420356 2215157760 459837 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 540810 459837 197 433 0 540374 0 [pid=4141/tid=4143] ppid=4139 vsize=2163240 CPUtime=1774.82 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 344432 0 0 0 177281 201 0 0 20 0 2 0 333420639 2215157760 459837 33554432000 4194304 5964350 140733676374560 139944571489096 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 2163240 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.81 1.98 1.98 2/170 4216 /proc/meminfo: memFree=24148980/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2228776 CPUtime=1791.55 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 392400 0 0 0 178972 183 0 0 20 0 2 0 333420356 2282266624 469759 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 557194 469759 197 433 0 556758 0 [pid=4141/tid=4143] ppid=4139 vsize=2228776 CPUtime=1784.4 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 345801 0 0 0 178237 203 0 0 20 0 2 0 333420639 2282266624 469759 33554432000 4194304 5964350 140733676374560 139944571488792 4392627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (KiB) 2228776 [startup+1795.1 s] /proc/loadavg: 1.74 1.96 1.98 2/170 4216 /proc/meminfo: memFree=24128812/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2228776 CPUtime=1794.76 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 393052 0 0 0 179292 184 0 0 20 0 2 0 333420356 2282266624 475010 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 557194 475010 197 433 0 556758 0 [pid=4141/tid=4143] ppid=4139 vsize=2228776 CPUtime=1787.6 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 346453 0 0 0 178557 203 0 0 20 0 2 0 333420639 2282266624 475010 33554432000 4194304 5964350 140733676374560 139944571488792 5134245 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1794.76 Current children cumulated vsize (KiB) 2228776 [startup+1798.3 s] /proc/loadavg: 1.74 1.96 1.98 2/170 4216 /proc/meminfo: memFree=24129016/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2228776 CPUtime=1797.95 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 393063 0 0 0 179611 184 0 0 20 0 2 0 333420356 2282266624 469926 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 557194 469926 197 433 0 556758 0 [pid=4141/tid=4143] ppid=4139 vsize=2228776 CPUtime=1790.78 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 346464 0 0 0 178875 203 0 0 20 0 2 0 333420639 2282266624 469926 33554432000 4194304 5964350 140733676374560 139944571489096 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 2228776 [startup+1799.1 s] /proc/loadavg: 1.74 1.96 1.98 2/170 4216 /proc/meminfo: memFree=24148996/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2228776 CPUtime=1798.75 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 393063 0 0 0 179691 184 0 0 20 0 2 0 333420356 2282266624 469926 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 557194 469926 197 433 0 556758 0 [pid=4141/tid=4143] ppid=4139 vsize=2228776 CPUtime=1791.58 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 346464 0 0 0 178955 203 0 0 20 0 2 0 333420639 2282266624 469926 33554432000 4194304 5964350 140733676374560 139944571489096 4403618 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1798.75 Current children cumulated vsize (KiB) 2228776 [startup+1799.5 s] /proc/loadavg: 1.68 1.94 1.97 2/170 4216 /proc/meminfo: memFree=24148996/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2228776 CPUtime=1799.16 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 393063 0 0 0 179732 184 0 0 20 0 2 0 333420356 2282266624 469926 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 557194 469926 197 433 0 556758 0 [pid=4141/tid=4143] ppid=4139 vsize=2228776 CPUtime=1791.98 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 346464 0 0 0 178995 203 0 0 20 0 2 0 333420639 2282266624 469926 33554432000 4194304 5964350 140733676374560 139944571489096 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.16 Current children cumulated vsize (KiB) 2228776 [startup+1799.9 s] /proc/loadavg: 1.68 1.94 1.97 2/170 4216 /proc/meminfo: memFree=24148996/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2228776 CPUtime=1799.55 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 393063 0 0 0 179771 184 0 0 20 0 2 0 333420356 2282266624 469926 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 557194 469926 197 433 0 556758 0 [pid=4141/tid=4143] ppid=4139 vsize=2228776 CPUtime=1792.38 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 346464 0 0 0 179035 203 0 0 20 0 2 0 333420639 2282266624 469926 33554432000 4194304 5964350 140733676374560 139944571489096 4403460 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (KiB) 2228776 [startup+1800 s] /proc/loadavg: 1.68 1.94 1.97 2/170 4216 /proc/meminfo: memFree=24148996/32873852 swapFree=6856/6856 [pid=4141] ppid=4139 vsize=2228776 CPUtime=1799.65 cores=0,2,4,6 /proc/4141/stat : 4141 (wbo1.72) S 4139 4141 3468 0 -1 4202496 393063 0 0 0 179781 184 0 0 20 0 2 0 333420356 2282266624 469926 33554432000 4194304 5964350 140733676374560 140733676374080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4141/statm: 557194 469926 197 433 0 556758 0 [pid=4141/tid=4143] ppid=4139 vsize=2228776 CPUtime=1792.48 cores=0,2,4,6 /proc/4141/task/4143/stat : 4143 (wbo1.72) R 4139 4141 3468 0 -1 4202560 346464 0 0 0 179045 203 0 0 20 0 2 0 333420639 2282266624 469926 33554432000 4194304 5964350 140733676374560 139944571489096 4388992 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (KiB) 2228776 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4141 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=256383 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=129676 # CPU time returned by wait4() is 1795.39 # while last known CPU time is 1799.65 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.07 CPU time (s): 1799.65 CPU user time (s): 1797.81 CPU system time (s): 1.84 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 2228776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.26 system time used= 2.12968 maximum resident set size= 1900084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 393065 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= 92 involuntary context switches= 1967 runsolver used 7.27489 second user time and 19.703 second system time The end
Begin job on node129 at 2012-06-02 23:35:49 IDJOB=3727891 IDBENCH=91029 IDSOLVER=2313 FILE ID=node129/3727891-1338672948 RUNJOBID= node129-1338669321-3785 PBS_JOBID= 14636510 Free space on /tmp= 70424 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX60_K192_cod2.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727891-1338672948/watcher-3727891-1338672948 -o /tmp/evaluation-result-3727891-1338672948/solver-3727891-1338672948 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727891-1338672948.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 768b5e23d0b4ff11a666e1cea764674d RANDOM SEED=1601204206 node129.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.957 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 : 5333.91 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.957 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.957 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.91 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.957 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.957 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.90 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.957 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 : 5331.92 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.957 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.90 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.957 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 25384392 kB Buffers: 450500 kB Cached: 5537704 kB SwapCached: 0 kB Active: 3144100 kB Inactive: 3462552 kB Active(anon): 610128 kB Inactive(anon): 10760 kB Active(file): 2533972 kB Inactive(file): 3451792 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 66276 kB Writeback: 0 kB AnonPages: 616404 kB Mapped: 15020 kB Shmem: 204 kB Slab: 739264 kB SReclaimable: 181208 kB SUnreclaim: 558056 kB KernelStack: 1472 kB PageTables: 5380 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 295096 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 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= 70452 MiB End job on node129 at 2012-06-03 00:05:49