Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 590.564 | 590.55 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh307_wcsp.wbo |
MD5SUM | 944c5e420229bce90a366c23629af03a |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 540 |
Best CPU time to get the best result obtained on this benchmark | 2.22266 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 1000 |
Number of soft constraints | 900 |
Number of constraints which are clauses | 900 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 444855 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 444854 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 100/0 clauses 0/900 units 0 0.00/0.00 c vars 200 0.03/0.04 c 0.041993 10.1445 1 2039 0.03/0.04 o 24258 0.03/0.04 c 0.043993 10.3281 1 2785 0.03/0.04 o 23513 0.03/0.04 c 0.044993 10.3281 3 3342 0.03/0.04 o 22979 0.03/0.05 c 0.046992 10.3281 3 4279 0.03/0.05 o 17474 0.03/0.05 c 0.046992 10.3281 3 4809 0.03/0.05 o 17191 0.03/0.05 c 0.047992 10.3281 4 5289 0.03/0.05 o 17018 0.03/0.05 c 0.049992 10.3281 4 6209 0.03/0.05 o 15785 0.03/0.06 c 0.054991 10.3281 45 6710 0.03/0.06 o 15747 0.03/0.08 c 0.068989 10.4531 174 7399 0.03/0.08 o 15625 0.19/0.21 c 0.157975 10.4531 562 9678 0.19/0.21 o 15524 0.19/0.24 c 0.179972 10.4531 383 10241 0.19/0.24 o 15521 0.19/0.29 c 0.214967 10.5781 672 11184 0.19/0.29 o 15500 0.49/0.55 c 0.39094 10.5781 710 16502 0.49/0.55 o 15465 1.19/1.25 c 0.85387 10.7031 582 29046 1.19/1.25 o 15353 1.49/1.51 c 1.01085 10.7031 672 32805 1.49/1.51 o 15242 1.99/2.06 c 1.36879 10.7031 653 40023 1.99/2.06 o 15208 2.49/2.56 c 1.70974 10.8281 726 47099 2.49/2.56 o 15158 3.09/3.10 c 2.06669 10.8281 716 56457 3.09/3.10 o 15156 3.39/3.47 c 2.30265 10.8281 583 62346 3.39/3.47 o 15121 3.59/3.63 c 2.40063 10.8281 442 65387 3.59/3.63 o 15019 3.59/3.66 c 2.41863 10.8281 601 66023 3.59/3.66 o 15017 3.59/3.69 c 2.44263 10.8281 426 66898 3.59/3.69 o 15011 4.59/4.61 c 3.04054 10.8281 960 81838 4.59/4.61 o 14971 4.79/4.81 c 3.16752 10.8281 1174 85277 4.79/4.81 o 14829 5.09/5.15 c 3.37749 10.8281 485 92015 5.09/5.15 o 14715 5.19/5.26 c 3.44548 10.8281 451 94325 5.19/5.26 o 14464 6.19/6.24 c 4.09138 10.8281 684 108412 6.19/6.24 o 14366 6.89/6.97 c 4.5863 10.8281 576 119374 6.89/6.97 o 14222 8.49/8.53 c 5.60015 10.9531 736 136241 8.49/8.53 o 14195 8.59/8.63 c 5.65714 10.9531 385 139056 8.59/8.63 o 14150 9.80/9.88 c 6.48201 10.9531 567 156254 9.80/9.88 o 14068 9.80/9.89 c 6.49001 10.9531 340 156815 9.80/9.89 o 14026 9.89/9.91 c 6.50401 10.9531 419 157085 9.89/9.91 o 14023 10.19/10.28 c 6.72998 10.9531 570 163046 10.19/10.28 o 13893 10.59/10.68 c 6.98494 10.9531 1086 167826 10.59/10.68 o 13854 14.30/14.32 c 9.27559 11.0781 903 203622 14.30/14.32 o 13785 14.99/15.00 c 9.69053 11.0781 1034 213672 14.99/15.00 o 13727 14.99/15.09 c 9.74352 11.0781 691 215409 14.99/15.09 o 13603 15.10/15.12 c 9.76351 11.0781 484 216102 15.10/15.12 o 13523 15.10/15.14 c 9.77851 11.0781 604 216773 15.10/15.14 o 13412 15.19/15.27 c 9.8525 11.0781 589 219035 15.19/15.27 o 13255 16.19/16.23 c 10.4534 11.0781 670 230998 16.19/16.23 o 13197 16.19/16.24 c 10.4574 11.0781 694 231401 16.19/16.24 o 13014 16.19/16.24 c 10.4604 11.0781 355 231602 16.19/16.24 o 12986 16.19/16.25 c 10.4644 11.0781 393 231878 16.19/16.25 o 12952 16.19/16.26 c 10.4724 11.0781 500 232497 16.19/16.26 o 12895 16.79/16.86 c 10.8753 11.0781 448 242006 16.79/16.86 o 12632 18.10/18.11 c 11.6982 11.0781 555 261178 18.10/18.11 o 12499 18.19/18.22 c 11.7722 11.0781 999 262440 18.19/18.22 o 12430 18.60/18.65 c 12.0562 11.0781 603 267802 18.60/18.65 o 12402 21.69/21.77 c 14.0179 11.0781 503 308163 21.69/21.77 o 12312 21.89/21.99 c 14.1478 11.0781 800 311204 21.89/21.99 o 12117 23.39/23.45 c 15.0667 11.0781 642 329638 23.39/23.45 o 11961 24.99/25.09 c 16.0686 11.0781 377 350882 24.99/25.09 o 11938 25.49/25.56 c 16.3575 11.0781 578 357919 25.49/25.56 o 11888 27.59/27.63 c 17.6983 11.2031 985 375553 27.59/27.63 o 11874 27.79/27.81 c 17.8033 11.2031 891 378134 27.79/27.81 o 11849 28.79/28.84 c 18.4482 11.2031 715 394358 28.79/28.84 o 11755 30.60/30.69 c 19.658 11.2031 895 416683 30.60/30.69 o 11712 36.59/36.63 c 23.4804 11.2031 576 493482 36.59/36.63 o 11696 40.79/40.85 c 26.13 11.3242 783 548323 40.79/40.85 o 11656 44.09/44.11 c 28.1617 11.3242 793 579948 44.09/44.11 o 11464 47.69/47.75 c 30.4914 11.3242 901 625443 47.69/47.75 o 11452 48.79/48.89 c 31.2283 11.3242 792 641172 48.79/48.89 o 11248 50.50/50.51 c 32.2481 11.3242 651 660514 50.50/50.51 o 11231 50.50/50.58 c 32.2851 11.3242 586 661497 50.50/50.58 o 11129 51.29/51.33 c 32.752 11.3242 442 671562 51.29/51.33 o 11024 51.29/51.36 c 32.774 11.3242 633 672218 51.29/51.36 o 10954 51.39/51.40 c 32.805 11.3242 602 673492 51.39/51.40 o 10949 52.19/52.22 c 33.3049 11.3242 583 684467 52.19/52.22 o 10779 52.80/52.86 c 33.7079 11.3242 590 693228 52.80/52.86 o 10675 52.89/52.97 c 33.7829 11.3242 763 695003 52.89/52.97 o 10643 53.79/53.84 c 34.3458 11.3242 663 704318 53.79/53.84 o 10624 53.89/53.96 c 34.4228 11.3242 896 706165 53.89/53.96 o 10617 54.49/54.50 c 34.7497 11.3242 847 712100 54.49/54.50 o 10577 55.89/55.94 c 35.6986 11.3242 878 729774 55.89/55.94 o 10413 56.39/56.41 c 36.0085 11.3242 525 733122 56.39/56.41 o 10396 66.19/66.24 c 42.3526 11.4453 825 828626 66.19/66.24 o 10380 73.09/73.11 c 46.7379 11.4453 556 904210 73.09/73.11 o 10362 75.90/75.98 c 48.5266 11.4453 576 926695 75.90/75.98 o 10358 77.50/77.53 c 49.4695 11.4453 792 945171 77.50/77.53 o 10113 77.89/77.95 c 49.7344 11.4453 580 951374 77.89/77.95 o 9791 82.89/82.92 c 52.902 11.4453 863 1005438 82.89/82.92 o 9734 84.60/84.65 c 54.0148 11.4453 792 1017557 84.60/84.65 o 9645 88.29/88.32 c 56.3404 11.4453 874 1058177 88.29/88.32 o 9609 95.89/95.92 c 61.1197 11.4453 562 1134981 95.89/95.92 o 9580 104.20/104.22 c 66.3199 11.5703 671 1220393 104.20/104.22 o 9531 105.30/105.33 c 67.0208 11.5703 483 1233518 105.30/105.33 o 9474 108.49/108.56 c 69.0865 11.5703 770 1266777 108.49/108.56 o 9320 110.49/110.55 c 70.3263 11.5703 734 1287453 110.49/110.55 o 9311 111.79/111.88 c 71.1692 11.5703 734 1300142 111.79/111.88 o 9262 121.19/121.29 c 76.9753 11.5703 592 1391356 121.19/121.29 o 9102 125.79/125.80 c 79.8239 11.5703 593 1432320 125.79/125.80 o 9007 127.39/127.49 c 80.9067 11.5703 698 1454441 127.39/127.49 o 8997 130.10/130.15 c 82.5694 11.5703 623 1479285 130.10/130.15 o 8887 132.69/132.73 c 84.1962 11.5703 890 1504720 132.69/132.73 o 8875 133.00/133.01 c 84.3882 11.5703 603 1507363 133.00/133.01 o 8844 133.99/134.03 c 85.0201 11.7031 590 1515723 133.99/134.03 o 8775 135.20/135.24 c 85.801 11.7031 532 1529156 135.20/135.24 o 8478 135.39/135.47 c 85.9549 11.7031 535 1531993 135.39/135.47 o 8329 146.99/147.06 c 93.1598 11.7031 621 1631231 146.99/147.06 o 8319 151.59/151.67 c 96.0304 11.7031 901 1665818 151.59/151.67 o 8153 154.19/154.23 c 97.6132 11.7031 590 1691470 154.19/154.23 o 8052 159.09/159.15 c 100.653 11.7031 841 1734719 159.09/159.15 o 8025 159.99/160.01 c 101.188 11.7031 656 1742335 159.99/160.01 o 7899 162.49/162.56 c 102.762 11.7031 870 1762154 162.49/162.56 o 7868 178.20/178.25 c 112.64 11.7031 511 1892777 178.20/178.25 o 7761 179.20/179.23 c 113.256 11.7031 572 1902339 179.20/179.23 o 7701 182.50/182.50 c 115.307 11.7031 825 1933398 182.50/182.50 o 7476 183.79/183.85 c 116.127 11.7031 689 1945433 183.79/183.85 o 7431 188.49/188.55 c 119.105 11.7031 549 1994364 188.49/188.55 o 7278 189.79/189.82 c 119.903 11.7031 785 2004281 189.79/189.82 o 7176 194.19/194.23 c 122.628 11.7031 915 2039493 194.19/194.23 o 7128 199.59/199.66 c 125.971 11.832 770 2078526 199.59/199.66 o 7101 200.20/200.28 c 126.364 11.832 585 2084036 200.20/200.28 o 7044 201.49/201.55 c 127.179 11.832 687 2094272 201.49/201.55 o 7008 212.31/212.36 c 134.001 11.832 614 2180907 212.31/212.36 o 6999 216.99/217.00 c 136.844 11.832 944 2220305 216.99/217.00 o 6981 217.80/217.82 c 137.359 11.832 575 2227662 217.80/217.82 o 6963 219.90/219.93 c 138.689 11.832 496 2246576 219.90/219.93 o 6940 220.59/220.64 c 139.12 11.832 729 2251033 220.59/220.64 o 6920 224.99/225.08 c 141.895 11.832 741 2286424 224.99/225.08 o 6910 227.40/227.47 c 143.346 11.832 749 2309463 227.40/227.47 o 6822 228.60/228.63 c 144.046 11.832 731 2319784 228.60/228.63 o 6738 235.30/235.37 c 148.235 11.832 848 2367926 235.30/235.37 o 6628 236.09/236.11 c 148.694 11.832 655 2373780 236.09/236.11 o 6568 236.90/236.95 c 149.215 11.832 792 2381442 236.90/236.95 o 6527 237.79/237.80 c 149.723 11.832 769 2388692 237.79/237.80 o 6514 246.40/246.42 c 154.98 11.832 553 2451877 246.40/246.42 o 6372 247.59/247.62 c 155.686 11.832 561 2463812 247.59/247.62 o 6371 251.70/251.79 c 158.262 11.832 865 2496226 251.70/251.79 o 6363 263.30/263.30 c 165.346 11.832 621 2582505 263.30/263.30 o 6326 271.60/271.64 c 170.497 11.832 597 2643958 271.60/271.64 o 6310 276.29/276.36 c 173.394 11.832 870 2681781 276.29/276.36 o 6263 282.79/282.84 c 177.459 11.9453 887 2731330 282.79/282.84 o 6246 286.60/286.68 c 179.811 11.9453 662 2765874 286.60/286.68 o 6241 300.20/300.25 c 188.355 11.9453 834 2866482 300.20/300.25 o 6171 302.30/302.35 c 189.657 11.9453 831 2883257 302.30/302.35 o 6163 305.30/305.30 c 191.5 11.9453 743 2904582 305.30/305.30 o 6150 316.60/316.60 c 198.575 11.9453 782 2991370 316.60/316.60 o 6067 319.40/319.47 c 200.347 11.9453 745 3013623 319.40/319.47 o 5999 321.60/321.61 c 201.66 11.9453 825 3030358 321.60/321.61 o 5927 339.20/339.25 c 212.529 11.9453 777 3155606 339.20/339.25 o 5894 344.60/344.65 c 215.855 11.9453 628 3194204 344.60/344.65 o 5688 349.00/349.07 c 218.584 11.9453 637 3229271 349.00/349.07 o 5669 351.30/351.37 c 220.019 11.9453 569 3243709 351.30/351.37 o 5660 355.60/355.65 c 222.679 11.9453 848 3268120 355.60/355.65 o 5634 358.20/358.23 c 224.317 11.9453 670 3281639 358.20/358.23 o 5564 361.50/361.59 c 226.411 12.0938 666 3305617 361.50/361.59 o 5484 364.90/364.95 c 228.499 12.0938 796 3328881 364.90/364.95 o 5436 367.90/367.99 c 230.374 12.0938 518 3354219 367.90/367.99 o 5434 377.70/377.77 c 236.386 12.0938 703 3430446 377.70/377.77 o 5392 378.50/378.50 c 236.834 12.0938 708 3436148 378.50/378.50 o 5341 378.60/378.69 c 236.942 12.0938 984 3438096 378.60/378.69 o 5302 379.10/379.17 c 237.228 12.0938 780 3441887 379.10/379.17 o 5240 384.40/384.42 c 240.399 12.0938 519 3475076 384.40/384.42 o 5207 384.60/384.63 c 240.528 12.0938 842 3476948 384.60/384.63 o 5188 385.30/385.39 c 240.98 12.0938 759 3483775 385.30/385.39 o 5154 391.70/391.74 c 244.889 12.0938 675 3528350 391.70/391.74 o 5153 392.80/392.84 c 245.569 12.0938 651 3537908 392.80/392.84 o 5136 397.00/397.10 c 248.19 12.0938 633 3564891 397.00/397.10 o 5118 400.41/400.48 c 250.274 12.0938 635 3589639 400.41/400.48 o 5084 402.70/402.78 c 251.687 12.0938 912 3605194 402.70/402.78 o 5002 403.00/403.01 c 251.829 12.0938 813 3607027 403.00/403.01 o 4925 405.50/405.54 c 253.408 12.0938 578 3624380 405.50/405.54 o 4903 407.00/407.07 c 254.325 12.0938 857 3634626 407.00/407.07 o 4871 414.30/414.35 c 258.815 12.0938 528 3680061 414.30/414.35 o 4840 425.60/425.65 c 265.749 12.0938 586 3757420 425.60/425.65 o 4806 427.60/427.65 c 266.975 12.0938 1003 3772057 427.60/427.65 o 4732 433.80/433.84 c 270.728 12.0938 901 3812453 433.80/433.84 o 4683 439.80/439.90 c 274.446 12.0938 985 3849117 439.80/439.90 o 4584 441.80/441.86 c 275.648 12.0938 531 3861577 441.80/441.86 o 4426 445.70/445.79 c 278.067 12.0938 614 3886208 445.70/445.79 o 4379 446.20/446.22 c 278.332 12.0938 564 3889412 446.20/446.22 o 4362 449.40/449.42 c 280.274 12.0938 694 3908672 449.40/449.42 o 4278 462.80/462.87 c 288.599 12.0938 731 3990475 462.80/462.87 o 4246 463.60/463.66 c 289.091 12.0938 933 3996151 463.60/463.66 o 4168 465.00/465.08 c 289.963 12.0938 831 4004934 465.00/465.08 o 4150 465.60/465.60 c 290.278 12.0938 559 4007909 465.60/465.60 o 4144 478.80/478.83 c 298.411 12.0938 805 4080749 478.80/478.83 o 4097 479.70/479.71 c 298.937 12.0938 695 4086611 479.70/479.71 o 4030 479.80/479.80 c 298.992 12.0938 544 4087432 479.80/479.80 o 4000 481.01/481.07 c 299.793 12.0938 842 4094832 481.01/481.07 o 3954 482.11/482.17 c 300.477 12.0938 871 4101842 482.11/482.17 o 3935 486.50/486.55 c 303.152 12.0938 875 4131402 486.50/486.55 o 3914 490.40/490.47 c 305.55 12.0938 809 4154249 490.40/490.47 o 3909 492.50/492.57 c 306.842 12.0938 896 4167664 492.50/492.57 o 3872 495.30/495.32 c 308.529 12.0938 579 4184733 495.30/495.32 o 3836 502.80/502.82 c 313.079 12.0938 837 4229101 502.80/502.82 o 3815 507.90/507.99 c 316.186 12.0938 664 4263180 507.90/507.99 o 3770 509.00/509.09 c 316.867 12.0938 863 4269308 509.00/509.09 o 3688 509.10/509.20 c 316.915 12.0938 769 4270208 509.10/509.20 o 3661 516.20/516.28 c 321.222 12.2188 939 4310214 516.20/516.28 o 3657 516.50/516.58 c 321.396 12.2188 472 4312304 516.50/516.58 o 3636 524.40/524.49 c 326.222 12.2188 471 4359354 524.40/524.49 o 3579 526.00/526.09 c 327.172 12.2188 724 4368259 526.00/526.09 o 3578 527.60/527.63 c 328.131 12.2188 1014 4378272 527.60/527.63 o 3501 527.91/527.92 c 328.325 12.2188 751 4379829 527.91/527.92 o 3476 529.40/529.43 c 329.228 12.2188 516 4388035 529.40/529.43 o 3446 530.70/530.79 c 330.137 12.2188 547 4395242 530.70/530.79 o 3436 531.20/531.26 c 330.435 12.2188 677 4398902 531.20/531.26 o 3427 534.40/534.45 c 332.416 12.2188 617 4417657 534.40/534.45 o 3403 535.01/535.05 c 332.762 12.2188 936 4421575 535.01/535.05 o 3398 538.71/538.72 c 334.947 12.2188 849 4442566 538.71/538.72 o 3351 539.01/539.06 c 335.164 12.2188 561 4444728 539.01/539.06 o 3317 547.00/547.09 c 340.183 12.2188 660 4489775 547.00/547.09 o 3281 547.31/547.38 c 340.38 12.2188 646 4491860 547.31/547.38 o 3280 547.40/547.42 c 340.4 12.2188 766 4492249 547.40/547.42 o 3234 547.40/547.48 c 340.441 12.2188 455 4492618 547.40/547.48 o 3186 550.30/550.32 c 342.14 12.2188 865 4509580 550.30/550.32 o 3166 550.30/550.38 c 342.177 12.2188 627 4510194 550.30/550.38 o 3142 551.20/551.20 c 342.684 12.2188 927 4514604 551.20/551.20 o 3128 551.61/551.63 c 342.941 12.2188 648 4517028 551.61/551.63 o 3044 553.31/553.38 c 344.009 12.2188 904 4527133 553.31/553.38 o 3019 553.91/553.97 c 344.379 12.2188 633 4530593 553.91/553.97 o 3012 556.81/556.81 c 346.111 12.2188 693 4545878 556.81/556.81 o 2999 557.21/557.21 c 346.351 12.2188 770 4547874 557.21/557.21 o 2955 558.30/558.37 c 347.053 12.2188 591 4554637 558.30/558.37 o 2877 558.40/558.42 c 347.092 12.2188 761 4555255 558.40/558.42 o 2766 559.70/559.73 c 347.927 12.2188 520 4562616 559.70/559.73 o 2760 559.81/559.83 c 347.984 12.2188 763 4563380 559.81/559.83 o 2650 560.41/560.47 c 348.366 12.2188 615 4567570 560.41/560.47 o 2598 562.60/562.63 c 349.629 12.2188 635 4579017 562.60/562.63 o 2524 563.11/563.13 c 349.938 12.4258 845 4581468 563.11/563.13 o 2501 565.10/565.18 c 351.207 12.4258 599 4592609 565.10/565.18 o 2474 566.30/566.30 c 351.92 12.4258 939 4599359 566.30/566.30 o 2429 568.50/568.51 c 353.306 12.4258 660 4611158 568.50/568.51 o 2319 568.90/568.90 c 353.537 12.4258 793 4613886 568.90/568.90 o 2265 570.11/570.15 c 354.33 12.4258 572 4621574 570.11/570.15 o 2234 570.40/570.43 c 354.511 12.4258 896 4623378 570.40/570.43 o 2135 574.50/574.50 c 357.028 12.4258 924 4645536 574.50/574.50 o 2131 574.81/574.87 c 357.247 12.4258 953 4647717 574.81/574.87 o 2114 575.10/575.14 c 357.428 12.4258 792 4649462 575.10/575.14 o 2078 575.80/575.84 c 357.881 12.4258 894 4653648 575.80/575.84 o 2029 576.01/576.03 c 358.004 12.4258 920 4654693 576.01/576.03 o 2024 576.91/576.95 c 358.579 12.4258 1104 4659410 576.91/576.95 o 2014 577.10/577.13 c 358.679 12.4258 575 4660575 577.10/577.13 o 2005 577.80/577.82 c 359.095 12.4258 668 4664674 577.80/577.82 o 2000 579.11/579.19 c 359.975 12.5547 705 4672518 579.11/579.19 o 1986 579.71/579.73 c 360.317 12.5547 755 4675326 579.71/579.73 o 1959 580.10/580.13 c 360.563 12.5547 908 4677752 580.10/580.13 o 1825 580.40/580.43 c 360.744 12.5547 773 4679357 580.40/580.43 o 1711 580.81/580.82 c 360.987 12.5547 879 4681534 580.81/580.82 o 1682 581.60/581.61 c 361.465 12.5547 724 4686058 581.60/581.61 o 1646 582.81/582.86 c 362.233 12.5547 843 4692614 582.81/582.86 o 1613 582.81/582.88 c 362.247 12.5547 896 4692744 582.81/582.88 o 1573 582.91/582.90 c 362.265 12.5547 506 4692923 582.91/582.90 o 1562 583.20/583.20 c 362.443 12.5547 880 4694623 583.20/583.20 o 1434 583.40/583.44 c 362.592 12.5547 592 4696001 583.40/583.44 o 1402 583.50/583.55 c 362.673 12.5547 925 4696723 583.50/583.55 o 1387 583.61/583.67 c 362.754 12.5547 840 4697444 583.61/583.67 o 1357 584.11/584.12 c 363.028 12.5547 731 4699665 584.11/584.12 o 1345 584.80/584.84 c 363.49 12.5547 1023 4703507 584.80/584.84 o 1292 586.21/586.29 c 364.401 12.5547 683 4711276 586.21/586.29 o 1205 586.40/586.48 c 364.519 12.5547 770 4712385 586.40/586.48 o 1190 586.50/586.54 c 364.557 12.5547 981 4712941 586.50/586.54 o 1170 586.61/586.63 c 364.612 12.5547 707 4713416 586.61/586.63 o 1076 587.31/587.35 c 365.075 12.5547 701 4717724 587.31/587.35 o 1002 587.31/587.39 c 365.101 12.5547 843 4718041 587.31/587.39 o 998 587.41/587.44 c 365.133 12.5547 493 4718387 587.41/587.44 o 977 587.71/587.70 c 365.302 12.5547 680 4719612 587.71/587.70 o 973 587.90/587.93 c 365.455 12.5547 870 4720922 587.90/587.93 o 968 588.10/588.10 c 365.576 12.5547 889 4721844 588.10/588.10 o 939 588.10/588.14 c 365.602 12.5547 987 4722027 588.10/588.14 o 923 588.20/588.29 c 365.689 12.5547 968 4722818 588.20/588.29 o 906 588.60/588.61 c 365.919 12.5547 1045 4724707 588.60/588.61 o 893 588.60/588.70 c 365.973 12.5547 755 4725217 588.60/588.70 o 856 588.81/588.81 c 366.044 12.5547 1105 4725878 588.81/588.81 o 808 588.90/588.93 c 366.121 12.5547 954 4726565 588.90/588.93 o 789 588.90/588.96 c 366.141 12.5547 1017 4726758 588.90/588.96 o 739 589.10/589.18 c 366.301 12.5547 698 4728233 589.10/589.18 o 730 589.71/589.70 c 366.64 12.5547 1097 4731891 589.71/589.70 o 705 589.90/589.98 c 366.826 12.5547 847 4733560 589.90/589.98 o 692 590.00/590.05 c 366.87 12.5547 1093 4733959 590.00/590.05 o 672 590.11/590.15 c 366.937 12.5547 890 4734702 590.11/590.15 o 660 590.11/590.19 c 366.964 12.5547 1054 4734994 590.11/590.19 o 655 590.31/590.33 c 367.053 12.5547 1055 4736062 590.31/590.33 o 567 590.40/590.48 c 367.163 12.6797 1196 4737277 590.40/590.48 o 545 590.51/590.52 c 367.195 12.6797 1384 4737560 590.51/590.52 o 540 590.51/590.53 c 367.206 12.6797 606 4737654 590.51/590.53 s OPTIMUM FOUND 590.51/590.53 v x1 -x2 -x3 x4 x5 -x6 -x7 x8 -x9 x10 x11 -x12 -x13 x14 -x15 x16 x17 -x18 x19 -x20 x21 -x22 -x23 x24 x25 -x26 x27 -x28 -x29 x30 -x31 x32 x33 -x34 x35 -x36 x37 -x38 -x39 x40 x41 -x42 -x43 x44 -x45 x46 x47 -x48 -x49 x50 -x51 x52 x53 -x54 x55 -x56 -x57 x58 x59 -x60 -x61 x62 x63 -x64 x65 -x66 x67 -x68 -x69 x70 -x71 x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 -x81 x82 -x83 x84 -x85 x86 -x87 x88 -x89 x90 -x91 x92 -x93 x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 -x111 x112 -x113 x114 -x115 x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 x129 -x130 -x131 x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 -x141 x142 x143 -x144 x145 -x146 -x147 x148 x149 -x150 -x151 x152 -x153 x154 -x155 x156 -x157 x158 -x159 x160 x161 -x162 -x163 x164 x165 -x166 -x167 x168 -x169 x170 x171 -x172 x173 -x174 x175 -x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 x185 -x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 x197 -x198 -x199 x200
OK 540
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700039-1278533918/watcher-2700039-1278533918 -o /tmp/evaluation-result-2700039-1278533918/solver-2700039-1278533918 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700039-1278533918.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.36 0.42 0.14 4/178 17159 /proc/meminfo: memFree=29198984/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=2136 CPUtime=0 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 257 0 0 0 0 0 0 0 25 0 1 0 21604871 2187264 176 4089446400 134512640 136422188 4292082112 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/17159/statm: 534 176 144 467 0 65 0 [startup+0.0325429 s] /proc/loadavg: 1.36 0.42 0.14 4/178 17159 /proc/meminfo: memFree=29198984/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=8356 CPUtime=0.03 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 1776 0 0 0 3 0 0 0 25 0 1 0 21604871 8556544 1695 4089446400 134512640 136422188 4292082112 18446744073709551615 135801512 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2089 1696 193 467 0 1620 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8356 [startup+0.10052 s] /proc/loadavg: 1.36 0.42 0.14 4/178 17159 /proc/meminfo: memFree=29198984/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=10700 CPUtime=0.09 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2405 0 0 0 8 1 0 0 25 0 1 0 21604871 10956800 2315 4089446400 134512640 136422188 4292082112 18446744073709551615 135007014 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2675 2315 238 467 0 2206 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10700 [startup+0.300485 s] /proc/loadavg: 1.36 0.42 0.14 4/178 17159 /proc/meminfo: memFree=29198984/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=10828 CPUtime=0.28 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2438 0 0 0 21 7 0 0 25 0 1 0 21604871 11087872 2345 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2707 2345 238 467 0 2238 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 10828 [startup+0.700415 s] /proc/loadavg: 1.36 0.42 0.14 4/178 17159 /proc/meminfo: memFree=29198984/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=10828 CPUtime=0.69 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2464 0 0 0 49 20 0 0 25 0 1 0 21604871 11087872 2370 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2707 2370 238 467 0 2238 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10828 [startup+1.50028 s] /proc/loadavg: 1.36 0.42 0.14 3/179 17160 /proc/meminfo: memFree=29187692/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=10956 CPUtime=1.49 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2479 0 0 0 100 49 0 0 25 0 1 0 21604871 11218944 2384 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2739 2384 238 467 0 2270 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10956 [startup+3.10099 s] /proc/loadavg: 1.36 0.42 0.14 3/179 17160 /proc/meminfo: memFree=29186328/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=11084 CPUtime=3.09 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2513 0 0 0 206 103 0 0 25 0 1 0 21604871 11350016 2415 4089446400 134512640 136422188 4292082112 18446744073709551615 134868694 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2771 2415 238 467 0 2302 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11084 [startup+6.30043 s] /proc/loadavg: 1.41 0.45 0.15 3/179 17162 /proc/meminfo: memFree=29182120/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=11084 CPUtime=6.29 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2542 0 0 0 412 217 0 0 25 0 1 0 21604871 11350016 2434 4089446400 134512640 136422188 4292082112 18446744073709551615 135019281 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2771 2434 238 467 0 2302 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11084 [startup+12.7003 s] /proc/loadavg: 1.46 0.47 0.16 3/179 17163 /proc/meminfo: memFree=29173816/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=11212 CPUtime=12.69 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2580 0 0 0 827 442 0 0 25 0 1 0 21604871 11481088 2464 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2803 2464 238 467 0 2334 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11212 [startup+25.501 s] /proc/loadavg: 1.58 0.55 0.19 3/179 17163 /proc/meminfo: memFree=29156600/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=11340 CPUtime=25.49 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2629 0 0 0 1631 918 0 0 25 0 1 0 21604871 11612160 2494 4089446400 134512640 136422188 4292082112 18446744073709551615 135809775 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2835 2494 238 467 0 2366 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11340 [startup+51.1005 s] /proc/loadavg: 1.72 0.66 0.24 3/179 17165 /proc/meminfo: memFree=29121656/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=11592 CPUtime=51.09 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2697 0 0 0 3261 1848 0 0 25 0 1 0 21604871 11870208 2550 4089446400 134512640 136422188 4292082112 18446744073709551615 135010624 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2898 2550 238 467 0 2429 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11592 [startup+102.307 s] /proc/loadavg: 1.88 0.87 0.33 3/179 17165 /proc/meminfo: memFree=29053900/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=11844 CPUtime=102.3 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2767 0 0 0 6511 3719 0 0 25 0 1 0 21604871 12128256 2600 4089446400 134512640 136422188 4292082112 18446744073709551615 134620480 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2961 2600 238 467 0 2492 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11844 [startup+162.301 s] /proc/loadavg: 1.95 1.07 0.43 3/179 17167 /proc/meminfo: memFree=28975468/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=11980 CPUtime=162.29 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2843 0 0 0 10260 5969 0 0 25 0 1 0 21604871 12267520 2657 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 2995 2657 238 467 0 2526 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 11980 [startup+222.3 s] /proc/loadavg: 1.98 1.24 0.52 3/179 17169 /proc/meminfo: memFree=28896924/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12112 CPUtime=222.3 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2879 0 0 0 14014 8216 0 0 25 0 1 0 21604871 12402688 2677 4089446400 134512640 136422188 4292082112 18446744073709551615 134620377 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3028 2677 238 467 0 2559 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 12112 [startup+282.301 s] /proc/loadavg: 1.99 1.37 0.61 3/179 17171 /proc/meminfo: memFree=28817036/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12228 CPUtime=282.29 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2915 0 0 0 17710 10519 0 0 25 0 1 0 21604871 12521472 2700 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3057 2700 238 467 0 2588 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 12228 [startup+342.3 s] /proc/loadavg: 2.06 1.50 0.70 3/179 17173 /proc/meminfo: memFree=28736972/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12228 CPUtime=342.3 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2935 0 0 0 21439 12791 0 0 25 0 1 0 21604871 12521472 2711 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3057 2711 238 467 0 2588 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 12228 [startup+402.301 s] /proc/loadavg: 2.02 1.59 0.78 3/179 17173 /proc/meminfo: memFree=28649732/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12380 CPUtime=402.3 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 2979 0 0 0 25139 15091 0 0 25 0 1 0 21604871 12677120 2736 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3095 2736 238 467 0 2626 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 12380 [startup+462.301 s] /proc/loadavg: 2.00 1.66 0.85 3/179 17175 /proc/meminfo: memFree=28561888/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12380 CPUtime=462.31 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 3007 0 0 0 28824 17407 0 0 25 0 1 0 21604871 12677120 2751 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3095 2751 238 467 0 2626 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 12380 [startup+522.301 s] /proc/loadavg: 2.00 1.72 0.92 3/179 17177 /proc/meminfo: memFree=28480364/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12508 CPUtime=522.31 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 3042 0 0 0 32489 19742 0 0 25 0 1 0 21604871 12808192 2767 4089446400 134512640 136422188 4292082112 18446744073709551615 134873046 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3127 2767 238 467 0 2658 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 12508 [startup+582.301 s] /proc/loadavg: 2.00 1.77 0.99 3/179 17179 /proc/meminfo: memFree=28407628/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12852 CPUtime=582.3 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 3166 0 0 0 36187 22043 0 0 25 0 1 0 21604871 13160448 2841 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3213 2841 238 467 0 2744 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 12852 Solver just ended. Dumping a history of the last processes samples [startup+585.5 s] /proc/loadavg: 2.00 1.77 0.99 3/179 17179 /proc/meminfo: memFree=28402916/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12852 CPUtime=585.5 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 3176 0 0 0 36389 22161 0 0 25 0 1 0 21604871 13160448 2842 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3213 2842 238 467 0 2744 0 Current children cumulated CPU time (s) 585.5 Current children cumulated vsize (KiB) 12852 [startup+588.701 s] /proc/loadavg: 2.00 1.77 1.00 3/179 17179 /proc/meminfo: memFree=28399688/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12856 CPUtime=588.71 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 3191 0 0 0 36597 22274 0 0 25 0 1 0 21604871 13164544 2844 4089446400 134512640 136422188 4292082112 18446744073709551615 135878289 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3213 2843 238 467 0 2744 0 Current children cumulated CPU time (s) 588.71 Current children cumulated vsize (KiB) 12856 [startup+589.501 s] /proc/loadavg: 2.00 1.77 1.00 3/179 17179 /proc/meminfo: memFree=28397952/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12852 CPUtime=589.51 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 3195 0 0 0 36649 22302 0 0 18 0 1 0 21604871 13160448 2843 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3213 2843 238 467 0 2744 0 Current children cumulated CPU time (s) 589.51 Current children cumulated vsize (KiB) 12852 [startup+590.301 s] /proc/loadavg: 2.00 1.77 1.00 3/179 17179 /proc/meminfo: memFree=28397952/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12852 CPUtime=590.31 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 3200 0 0 0 36703 22328 0 0 19 0 1 0 21604871 13160448 2843 4089446400 134512640 136422188 4292082112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3213 2843 238 467 0 2744 0 Current children cumulated CPU time (s) 590.31 Current children cumulated vsize (KiB) 12852 [startup+590.5 s] /proc/loadavg: 2.00 1.77 1.00 3/179 17179 /proc/meminfo: memFree=28397952/32951124 swapFree=67111528/67111528 [pid=17159] ppid=17157 vsize=12980 CPUtime=590.51 /proc/17159/stat : 17159 (pbct) R 17157 17159 16373 0 -1 4202496 3204 0 0 0 36717 22334 0 0 20 0 1 0 21604871 13291520 2845 4089446400 134512640 136422188 4292082112 18446744073709551615 135009751 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/17159/statm: 3245 2845 238 467 0 2776 0 Current children cumulated CPU time (s) 590.51 Current children cumulated vsize (KiB) 12980 Child status: 0 Real time (s): 590.55 CPU time (s): 590.564 CPU user time (s): 367.216 CPU system time (s): 223.348 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 12980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 367.216 system time used= 223.348 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3215 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= 2 involuntary context switches= 2123 runsolver used 0.874867 second user time and 1.81972 second system time The end
Begin job on node136 at 2010-07-07 22:18:38 IDJOB=2700039 IDBENCH=79394 IDSOLVER=1212 FILE ID=node136/2700039-1278533918 PBS_JOBID= 11239205 Free space on /tmp= 73380 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh307_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700039-1278533918/watcher-2700039-1278533918 -o /tmp/evaluation-result-2700039-1278533918/solver-2700039-1278533918 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700039-1278533918.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 944c5e420229bce90a366c23629af03a RANDOM SEED=579044125 node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5426.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29199512 kB Buffers: 132832 kB Cached: 3323440 kB SwapCached: 0 kB Active: 933140 kB Inactive: 2666400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29199512 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2228 kB Writeback: 0 kB AnonPages: 142944 kB Mapped: 16844 kB Slab: 88708 kB PageTables: 4848 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 280932 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73376 MiB End job on node136 at 2010-07-07 22:28:28