Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 860.811 | 860.787 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo |
MD5SUM | 9767c89dfda19e08df7810305b3128ba |
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 | 463 |
Best CPU time to get the best result obtained on this benchmark | 3.79942 |
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.01 c constraints 100/0 clauses 0/900 units 0 0.00/0.01 c vars 200 0.04/0.04 c 0.041993 10.1484 1 2038 0.04/0.04 o 29646 0.04/0.04 c 0.043993 10.3281 1 2612 0.04/0.04 o 29087 0.04/0.05 c 0.046992 10.3281 13 3233 0.04/0.05 o 28501 0.04/0.05 c 0.048992 10.3281 13 4173 0.04/0.05 o 18751 0.19/0.25 c 0.179972 10.5781 701 7718 0.19/0.25 o 18674 0.59/0.64 c 0.436933 10.7031 615 15824 0.59/0.64 o 18631 0.59/0.64 c 0.437933 10.7031 624 16265 0.59/0.64 o 18437 0.59/0.65 c 0.445932 10.7031 657 16564 0.59/0.65 o 18413 0.59/0.66 c 0.45393 10.7031 366 16878 0.59/0.66 o 18395 0.59/0.68 c 0.463929 10.7031 475 17593 0.59/0.68 o 18230 0.59/0.68 c 0.465929 10.7031 485 17957 0.59/0.68 o 18093 0.59/0.68 c 0.468928 10.7031 486 18218 0.59/0.68 o 18038 0.59/0.69 c 0.471928 10.7031 489 18452 0.59/0.69 o 17994 0.59/0.69 c 0.473927 10.7031 491 19161 0.59/0.69 o 17416 0.69/0.70 c 0.478927 10.7031 506 19510 0.69/0.70 o 17365 0.69/0.71 c 0.486925 10.7031 544 19827 0.69/0.71 o 17339 0.69/0.73 c 0.499924 10.7031 638 20544 0.69/0.73 o 17045 2.29/2.35 c 1.53377 10.8242 867 46415 2.29/2.35 o 16783 2.39/2.48 c 1.62075 10.8242 495 49502 2.39/2.48 o 16723 2.49/2.50 c 1.63075 10.8242 540 49937 2.49/2.50 o 16631 2.58/2.62 c 1.70374 10.8242 415 52521 2.58/2.62 o 16424 2.79/2.84 c 1.85472 10.8242 871 56113 2.79/2.84 o 16372 2.79/2.87 c 1.87671 10.8242 591 56806 2.79/2.87 o 16371 3.49/3.52 c 2.27065 10.8242 527 65769 3.49/3.52 o 16262 3.59/3.65 c 2.35964 10.8242 519 68721 3.59/3.65 o 16023 4.19/4.20 c 2.69959 10.8242 653 78065 4.19/4.20 o 15957 5.09/5.18 c 3.32349 10.8242 679 92092 5.09/5.18 o 15841 5.99/6.03 c 3.85241 10.8242 634 106589 5.99/6.03 o 15734 6.79/6.80 c 4.34234 10.8242 411 117486 6.79/6.80 o 15600 6.79/6.81 c 4.34834 10.8242 473 117890 6.79/6.81 o 15538 6.89/6.90 c 4.39933 10.8242 374 120068 6.89/6.90 o 15529 6.89/6.96 c 4.43832 10.8242 391 121719 6.89/6.96 o 15351 8.59/8.63 c 5.51816 10.9492 546 141268 8.59/8.63 o 14900 8.59/8.65 c 5.53416 10.9492 655 142058 8.59/8.65 o 14699 8.70/8.72 c 5.57015 10.9492 595 143542 8.70/8.72 o 14536 8.79/8.85 c 5.66514 10.9492 857 145484 8.79/8.85 o 14468 9.49/9.55 c 6.11707 10.9492 890 154476 9.49/9.55 o 14397 9.90/9.93 c 6.35803 10.9492 663 160576 9.90/9.93 o 14287 10.09/10.13 c 6.49301 10.9492 604 162739 10.09/10.13 o 14138 10.69/10.76 c 6.88195 10.9492 1047 171127 10.69/10.76 o 14122 11.29/11.35 c 7.27389 10.9492 938 178983 11.29/11.35 o 14053 13.19/13.27 c 8.48271 10.9492 392 206675 13.19/13.27 o 13728 13.19/13.29 c 8.49471 10.9492 508 207410 13.19/13.29 o 13608 13.39/13.46 c 8.60769 10.9492 818 211069 13.39/13.46 o 13452 18.89/18.93 c 12.1192 11.0742 755 284149 18.89/18.93 o 13343 21.29/21.32 c 13.6619 11.0742 515 320632 21.29/21.32 o 13226 21.79/21.89 c 14.0029 11.0742 962 326784 21.79/21.89 o 13222 22.60/22.60 c 14.4528 11.0742 430 337959 22.60/22.60 o 13142 22.60/22.67 c 14.4878 11.0742 534 340102 22.60/22.67 o 12732 23.29/23.39 c 14.9257 11.0742 623 347283 23.29/23.39 o 12520 24.10/24.20 c 15.4417 11.0742 551 359054 24.10/24.20 o 12425 30.59/30.65 c 19.545 11.1992 1070 425826 30.59/30.65 o 12350 32.19/32.21 c 20.5579 11.1992 933 445183 32.19/32.21 o 12201 33.59/33.64 c 21.4387 11.1992 650 463507 33.59/33.64 o 12191 34.49/34.56 c 22.0117 11.1992 635 475752 34.49/34.56 o 12174 35.20/35.26 c 22.4476 11.1992 671 483900 35.20/35.26 o 12032 35.70/35.76 c 22.7745 11.1992 514 490908 35.70/35.76 o 11764 39.69/39.71 c 25.2402 11.3242 682 534320 39.69/39.71 o 11676 41.49/41.51 c 26.336 11.3242 470 554279 41.49/41.51 o 11674 48.19/48.20 c 30.5494 11.3242 678 634210 48.19/48.20 o 11625 48.30/48.33 c 30.6283 11.3242 545 636533 48.30/48.33 o 11535 49.29/49.30 c 31.2283 11.3242 663 649626 49.29/49.30 o 11530 51.70/51.78 c 32.822 11.3242 453 677453 51.70/51.78 o 11462 52.49/52.57 c 33.3349 11.3242 571 688201 52.49/52.57 o 11380 53.99/54.05 c 34.2718 11.3242 442 706958 53.99/54.05 o 11324 54.59/54.64 c 34.6327 11.3242 848 715519 54.59/54.64 o 11286 54.69/54.79 c 34.7297 11.3242 680 717354 54.69/54.79 o 11112 56.99/57.09 c 36.1635 11.3242 772 745281 56.99/57.09 o 11048 58.99/59.01 c 37.3413 11.3242 658 765600 58.99/59.01 o 10958 60.09/60.18 c 38.0692 11.3242 540 779336 60.09/60.18 o 10884 60.59/60.63 c 38.3542 11.3242 824 785321 60.59/60.63 o 10867 65.59/65.65 c 41.5157 11.4492 731 835824 65.59/65.65 o 10824 82.00/82.05 c 51.8201 11.4492 840 1017495 82.00/82.05 o 10333 82.40/82.45 c 52.0771 11.4492 970 1021616 82.40/82.45 o 10331 84.29/84.38 c 53.2739 11.4492 722 1042896 84.29/84.38 o 10126 84.79/84.88 c 53.6039 11.4492 413 1049863 84.79/84.88 o 10049 88.49/88.59 c 55.8995 11.4492 742 1089371 88.49/88.59 o 9911 89.29/89.32 c 56.3504 11.4492 566 1095965 89.29/89.32 o 9897 97.29/97.34 c 61.3917 11.4492 387 1185657 97.29/97.34 o 9878 98.19/98.21 c 61.9496 11.4492 422 1196630 98.19/98.21 o 9795 102.59/102.63 c 64.7112 11.5742 774 1242450 102.59/102.63 o 9731 110.09/110.16 c 69.4644 11.5742 811 1322279 110.09/110.16 o 9574 111.49/111.59 c 70.3913 11.5742 544 1338736 111.49/111.59 o 9494 111.59/111.65 c 70.4323 11.5742 423 1339783 111.59/111.65 o 9366 127.39/127.45 c 80.2428 11.5742 744 1466732 127.39/127.45 o 9352 128.19/128.22 c 80.7337 11.5742 805 1474091 128.19/128.22 o 9234 129.70/129.73 c 81.6926 11.5742 799 1490285 129.70/129.73 o 9212 130.09/130.11 c 81.9335 11.5742 521 1492801 130.09/130.11 o 9153 135.69/135.73 c 85.426 11.5742 627 1545534 135.69/135.73 o 9035 148.09/148.12 c 93.0639 11.5742 955 1666633 148.09/148.12 o 9027 148.29/148.33 c 93.1798 11.5742 493 1668967 148.29/148.33 o 9013 148.69/148.75 c 93.4488 11.5742 909 1673810 148.69/148.75 o 8829 152.30/152.35 c 95.6325 11.5742 766 1709728 152.30/152.35 o 8653 152.99/153.07 c 96.0914 11.5742 618 1717346 152.99/153.07 o 8454 156.10/156.18 c 98.0401 11.7031 959 1747655 156.10/156.18 o 8343 191.30/191.31 c 120.076 11.7031 1014 2044296 191.30/191.31 o 8283 198.30/198.38 c 124.48 11.7031 992 2113500 198.30/198.38 o 8257 203.09/203.19 c 127.474 11.7031 736 2158790 203.09/203.19 o 8164 211.21/211.23 c 132.458 11.7031 739 2241164 211.21/211.23 o 8023 211.21/211.25 c 132.477 11.7031 507 2241613 211.21/211.25 o 8006 216.60/216.67 c 135.827 11.8281 785 2291996 216.60/216.67 o 7822 247.20/247.25 c 154.807 11.8281 549 2571397 247.20/247.25 o 7735 250.49/250.58 c 156.874 11.8281 558 2605089 250.49/250.58 o 7591 255.60/255.65 c 160.025 11.8281 963 2644840 255.60/255.65 o 7476 258.10/258.11 c 161.586 11.8281 841 2665382 258.10/258.11 o 7464 261.50/261.56 c 163.739 11.8281 906 2697561 261.50/261.56 o 7429 263.09/263.12 c 164.714 11.8281 686 2707037 263.09/263.12 o 7345 268.90/268.91 c 168.363 11.8281 738 2766868 268.90/268.91 o 7322 276.10/276.19 c 172.853 11.8281 735 2829658 276.10/276.19 o 7267 282.61/282.68 c 176.86 11.8281 575 2889162 282.61/282.68 o 7113 284.90/284.98 c 178.314 11.8281 556 2908568 284.90/284.98 o 7106 302.90/302.94 c 189.494 11.8281 900 3078577 302.90/302.94 o 7051 316.70/316.72 c 197.898 11.8281 872 3186922 316.70/316.72 o 6996 332.40/332.43 c 207.626 11.8281 875 3321607 332.40/332.43 o 6966 335.10/335.17 c 209.321 11.8281 904 3346790 335.10/335.17 o 6899 337.80/337.81 c 210.926 11.8281 768 3371456 337.80/337.81 o 6845 340.20/340.23 c 212.4 11.8281 636 3389760 340.20/340.23 o 6793 340.50/340.52 c 212.582 11.957 972 3392905 340.50/340.52 o 6688 363.70/363.70 c 226.898 11.957 780 3587905 363.70/363.70 o 6612 368.70/368.70 c 230.045 11.957 539 3631160 368.70/368.70 o 6451 375.10/375.19 c 234.04 11.957 565 3683849 375.10/375.19 o 6347 382.40/382.43 c 238.582 11.957 575 3743270 382.40/382.43 o 6338 383.00/383.01 c 238.947 11.957 785 3746483 383.00/383.01 o 6308 387.21/387.25 c 241.586 11.957 586 3780662 387.21/387.25 o 6262 403.40/403.47 c 251.655 11.957 518 3902474 403.40/403.47 o 6211 404.71/404.72 c 252.443 11.957 762 3912570 404.71/404.72 o 6208 405.11/405.13 c 252.691 11.957 879 3914657 405.11/405.13 o 6122 405.71/405.75 c 253.078 11.957 778 3918152 405.71/405.75 o 6102 406.21/406.22 c 253.357 11.957 856 3921583 406.21/406.22 o 6051 408.00/408.01 c 254.442 11.957 557 3936846 408.00/408.01 o 6038 409.70/409.76 c 255.544 11.957 798 3951752 409.70/409.76 o 6017 410.51/410.55 c 256.047 11.957 819 3957369 410.51/410.55 o 6002 411.20/411.25 c 256.496 11.957 750 3963370 411.20/411.25 o 5909 413.70/413.73 c 258.023 11.957 610 3983006 413.70/413.73 o 5903 416.21/416.27 c 259.626 11.957 949 4002538 416.21/416.27 o 5798 419.80/419.89 c 261.867 11.957 516 4030507 419.80/419.89 o 5775 421.31/421.36 c 262.769 11.957 507 4040833 421.31/421.36 o 5707 425.01/425.02 c 265.027 12.0742 583 4071624 425.01/425.02 o 5612 435.10/435.19 c 271.34 12.0742 882 4140176 435.10/435.19 o 5576 440.30/440.35 c 274.502 12.0742 962 4183329 440.30/440.35 o 5517 450.31/450.35 c 280.657 12.0742 848 4262539 450.31/450.35 o 5488 457.41/457.40 c 285.029 12.0742 918 4318372 457.41/457.40 o 5424 463.01/463.05 c 288.563 12.0742 1005 4354674 463.01/463.05 o 5289 463.70/463.73 c 288.972 12.0742 689 4360100 463.70/463.73 o 5239 464.01/464.03 c 289.165 12.0742 572 4363063 464.01/464.03 o 5161 467.61/467.60 c 291.378 12.0742 612 4391889 467.61/467.60 o 5159 469.50/469.57 c 292.591 12.0742 826 4407162 469.50/469.57 o 5048 474.51/474.52 c 295.637 12.0742 917 4439036 474.51/474.52 o 5015 480.90/480.91 c 299.536 12.0742 712 4485175 480.90/480.91 o 4992 486.00/486.03 c 302.703 12.0742 637 4521285 486.00/486.03 o 4965 486.00/486.09 c 302.746 12.0742 867 4521966 486.00/486.09 o 4892 496.91/496.92 c 309.386 12.0742 758 4600183 496.91/496.92 o 4854 504.00/504.07 c 313.742 12.0742 847 4653422 504.00/504.07 o 4804 505.70/505.76 c 314.766 12.0742 520 4667395 505.70/505.76 o 4738 508.01/508.01 c 316.121 12.0742 539 4682843 508.01/508.01 o 4650 508.41/508.42 c 316.393 12.0742 905 4686054 508.41/508.42 o 4646 509.31/509.39 c 316.987 12.0742 804 4693023 509.31/509.39 o 4596 510.70/510.77 c 317.833 12.0742 966 4701008 510.70/510.77 o 4555 515.00/515.02 c 320.386 12.0742 533 4730684 515.00/515.02 o 4512 525.31/525.31 c 326.645 12.0742 935 4800979 525.31/525.31 o 4331 527.41/527.40 c 327.933 12.0742 713 4815591 527.41/527.40 o 4321 529.50/529.50 c 329.221 12.0742 791 4831504 529.50/529.50 o 4318 538.41/538.44 c 334.75 12.0742 933 4892635 538.41/538.44 o 4317 539.11/539.19 c 335.219 12.0742 689 4897906 539.11/539.19 o 4309 549.92/549.91 c 341.804 12.0742 594 4970430 549.92/549.91 o 4245 555.42/555.48 c 345.255 12.0742 906 5007707 555.42/555.48 o 4161 556.41/556.48 c 345.87 12.0742 1030 5014949 556.41/556.48 o 4102 558.61/558.68 c 347.184 12.0742 672 5029912 558.61/558.68 o 4092 565.61/565.68 c 351.517 12.1914 722 5071985 565.61/565.68 o 4071 583.02/583.00 c 362.143 12.1914 806 5184041 583.02/583.00 o 4042 596.71/596.74 c 370.569 12.1914 678 5272496 596.71/596.74 o 3966 601.31/601.30 c 373.336 12.1914 671 5303914 601.31/601.30 o 3908 609.91/609.90 c 378.549 12.1914 520 5357299 609.91/609.90 o 3850 611.91/611.92 c 379.775 12.1914 679 5370639 611.91/611.92 o 3818 620.61/620.60 c 385.094 12.1914 765 5427631 620.61/620.60 o 3744 622.62/622.68 c 386.351 12.1914 706 5439674 622.62/622.68 o 3728 624.51/624.52 c 387.5 12.1914 844 5450427 624.51/624.52 o 3643 624.91/624.99 c 387.778 12.1914 712 5453050 624.91/624.99 o 3610 639.41/639.45 c 396.665 12.1914 841 5544571 639.41/639.45 o 3545 642.51/642.54 c 398.611 12.1914 887 5564037 642.51/642.54 o 3525 653.11/653.19 c 405.207 12.1914 778 5629140 653.11/653.19 o 3492 663.41/663.47 c 411.52 12.1914 495 5692999 663.41/663.47 o 3478 670.21/670.25 c 415.66 12.1914 686 5731496 670.21/670.25 o 3465 673.12/673.12 c 417.419 12.1914 503 5750773 673.12/673.12 o 3412 699.72/699.79 c 433.831 12.1914 591 5907896 699.72/699.79 o 3340 703.31/703.33 c 436.052 12.1914 544 5930038 703.31/703.33 o 3313 705.71/705.77 c 437.548 12.1914 883 5946332 705.71/705.77 o 3196 711.11/711.12 c 440.824 12.1914 541 5976637 711.11/711.12 o 3166 714.42/714.42 c 442.837 12.1914 800 5998319 714.42/714.42 o 3011 720.01/720.09 c 446.341 12.1914 902 6034030 720.01/720.09 o 2947 723.31/723.31 c 448.368 12.1914 779 6052969 723.31/723.31 o 2887 727.01/727.02 c 450.666 12.1914 631 6076248 727.01/727.02 o 2829 737.61/737.66 c 457.14 12.1914 766 6140220 737.61/737.66 o 2821 740.51/740.51 c 458.924 12.1914 981 6155777 740.51/740.51 o 2671 748.02/748.01 c 463.487 12.1914 561 6199475 748.02/748.01 o 2559 757.82/757.84 c 469.633 12.3164 571 6254596 757.82/757.84 o 2440 758.51/758.52 c 470.078 12.3164 613 6258271 758.51/758.52 o 2412 759.61/759.68 c 470.782 12.3164 873 6264904 759.61/759.68 o 2374 764.81/764.88 c 474.024 12.3164 1045 6293224 764.81/764.88 o 2344 767.41/767.44 c 475.622 12.3164 703 6308644 767.41/767.44 o 2326 783.61/783.62 c 485.577 12.3164 1011 6400314 783.61/783.62 o 2278 787.02/787.09 c 487.734 12.3164 993 6419132 787.02/787.09 o 2272 788.12/788.11 c 488.385 12.3164 877 6423996 788.12/788.11 o 2237 788.31/788.31 c 488.509 12.3164 576 6425444 788.31/788.31 o 2206 790.01/790.05 c 489.539 12.3164 679 6436036 790.01/790.05 o 2108 791.81/791.84 c 490.619 12.3164 522 6446344 791.81/791.84 o 2107 793.21/793.27 c 491.551 12.3164 571 6454444 793.21/793.27 o 2086 794.02/794.01 c 492.025 12.3164 688 6458948 794.02/794.01 o 2085 799.91/799.97 c 495.773 12.3164 770 6492090 799.91/799.97 o 2070 801.11/801.16 c 496.539 12.3164 757 6498899 801.11/801.16 o 1939 803.72/803.75 c 498.132 12.3164 893 6513872 803.72/803.75 o 1933 803.81/803.86 c 498.193 12.3164 733 6514604 803.81/803.86 o 1905 807.11/807.16 c 500.226 12.3164 518 6533361 807.11/807.16 o 1888 809.71/809.75 c 501.856 12.3164 642 6548076 809.71/809.75 o 1866 810.81/810.87 c 502.522 12.3164 884 6554202 810.81/810.87 o 1819 823.32/823.39 c 510.257 12.3164 659 6620884 823.32/823.39 o 1796 828.11/828.19 c 513.237 12.3164 945 6647625 828.11/828.19 o 1722 830.42/830.45 c 514.666 12.3164 799 6658755 830.42/830.45 o 1665 832.62/832.66 c 516.039 12.3164 755 6671649 832.62/832.66 o 1637 833.22/833.24 c 516.4 12.3164 542 6675397 833.22/833.24 o 1609 835.92/835.99 c 518.113 12.3164 829 6690661 835.92/835.99 o 1584 841.02/841.07 c 521.307 12.3164 1142 6721816 841.02/841.07 o 1540 842.32/842.39 c 522.132 12.3164 752 6730089 842.32/842.39 o 1519 843.52/843.52 c 522.831 12.3164 746 6736743 843.52/843.52 o 1495 844.31/844.37 c 523.347 12.3164 1043 6742387 844.31/844.37 o 1482 844.52/844.59 c 523.485 12.3164 710 6743822 844.52/844.59 o 1474 847.11/847.14 c 525.149 12.5508 666 6759023 847.11/847.14 o 1413 847.82/847.88 c 525.633 12.5508 581 6763772 847.82/847.88 o 1345 848.62/848.68 c 526.147 12.5508 842 6768859 848.62/848.68 o 1343 849.22/849.27 c 526.499 12.5508 657 6772507 849.22/849.27 o 1203 849.91/849.91 c 526.887 12.5508 823 6776591 849.91/849.91 o 1174 850.61/850.69 c 527.396 12.5508 871 6781096 850.61/850.69 o 1172 852.22/852.21 c 528.412 12.5508 932 6789544 852.22/852.21 o 1140 853.21/853.29 c 529.111 12.5508 675 6796349 853.21/853.29 o 1033 853.32/853.33 c 529.132 12.5508 762 6796602 853.32/853.33 o 1014 853.92/853.92 c 529.514 12.5508 603 6800988 853.92/853.92 o 984 854.02/854.02 c 529.586 12.5508 469 6801854 854.02/854.02 o 878 854.52/854.53 c 529.921 12.5508 569 6805130 854.52/854.53 o 844 854.52/854.56 c 529.945 12.5508 648 6805368 854.52/854.56 o 794 854.62/854.62 c 529.982 12.6797 848 6805804 854.62/854.62 o 709 854.92/854.92 c 530.184 12.6797 773 6807784 854.92/854.92 o 687 855.31/855.37 c 530.487 12.6797 703 6811058 855.31/855.37 o 678 855.61/855.63 c 530.67 12.6797 1157 6812920 855.61/855.63 o 670 857.02/857.07 c 531.643 12.6797 974 6822477 857.02/857.07 o 610 857.41/857.45 c 531.902 12.6797 970 6825576 857.41/857.45 o 580 857.92/857.92 c 532.229 12.6797 1377 6829160 857.92/857.92 o 568 859.82/859.86 c 533.581 12.6797 741 6844242 859.82/859.86 o 541 859.82/859.88 c 533.596 12.6797 861 6844436 859.82/859.88 o 524 860.22/860.26 c 533.871 12.6797 910 6847663 860.22/860.26 o 463 860.71/860.77 c 534.256 12.6797 205 6851683 860.71/860.77 s OPTIMUM FOUND 860.71/860.77 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 463
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700435-1278535626/watcher-2700435-1278535626 -o /tmp/evaluation-result-2700435-1278535626/solver-2700435-1278535626 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700435-1278535626.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.93 2.00 1.71 4/182 7942 /proc/meminfo: memFree=28360740/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=2136 CPUtime=0 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21775369 2187264 180 4089446400 134512640 136422188 4286923488 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/7942/statm: 534 180 144 467 0 65 0 [startup+0.043817 s] /proc/loadavg: 1.93 2.00 1.71 4/182 7942 /proc/meminfo: memFree=28360740/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=10388 CPUtime=0.04 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2324 0 0 0 4 0 0 0 25 0 1 0 21775369 10637312 2243 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2597 2245 214 467 0 2128 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10388 [startup+0.100819 s] /proc/loadavg: 1.93 2.00 1.71 4/182 7942 /proc/meminfo: memFree=28360740/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=10700 CPUtime=0.09 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2399 0 0 0 8 1 0 0 25 0 1 0 21775369 10956800 2314 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2675 2314 238 467 0 2206 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10700 [startup+0.300772 s] /proc/loadavg: 1.93 2.00 1.71 4/182 7942 /proc/meminfo: memFree=28360740/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=10828 CPUtime=0.29 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2430 0 0 0 21 8 0 0 25 0 1 0 21775369 11087872 2344 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2707 2344 238 467 0 2238 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10828 [startup+0.700701 s] /proc/loadavg: 1.93 2.00 1.71 4/182 7942 /proc/meminfo: memFree=28360740/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=10956 CPUtime=0.69 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2470 0 0 0 47 22 0 0 25 0 1 0 21775369 11218944 2375 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2739 2375 238 467 0 2270 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10956 [startup+1.50055 s] /proc/loadavg: 1.93 2.00 1.71 3/183 7943 /proc/meminfo: memFree=28350936/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=10956 CPUtime=1.49 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2483 0 0 0 99 50 0 0 25 0 1 0 21775369 11218944 2385 4089446400 134512640 136422188 4286923488 18446744073709551615 134862210 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2739 2385 238 467 0 2270 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10956 [startup+3.10026 s] /proc/loadavg: 1.94 2.00 1.71 3/183 7943 /proc/meminfo: memFree=28349924/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=11080 CPUtime=3.09 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2511 0 0 0 201 108 0 0 25 0 1 0 21775369 11345920 2407 4089446400 134512640 136422188 4286923488 18446744073709551615 134862395 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2770 2407 238 467 0 2301 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11080 [startup+6.30068 s] /proc/loadavg: 1.94 2.00 1.71 3/183 7943 /proc/meminfo: memFree=28346400/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=11080 CPUtime=6.29 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2544 0 0 0 402 227 0 0 25 0 1 0 21775369 11345920 2435 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2770 2435 238 467 0 2301 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11080 [startup+12.7005 s] /proc/loadavg: 1.95 2.00 1.71 3/183 7943 /proc/meminfo: memFree=28339420/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=11208 CPUtime=12.69 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2584 0 0 0 812 457 0 0 25 0 1 0 21775369 11476992 2462 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2802 2462 238 467 0 2333 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11208 [startup+25.5002 s] /proc/loadavg: 1.95 2.00 1.71 3/183 7943 /proc/meminfo: memFree=28325900/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=11336 CPUtime=25.49 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2630 0 0 0 1627 922 0 0 25 0 1 0 21775369 11608064 2498 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2834 2498 238 467 0 2365 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11336 [startup+51.1005 s] /proc/loadavg: 1.97 2.00 1.72 3/183 7944 /proc/meminfo: memFree=28302016/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=11592 CPUtime=51.1 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2694 0 0 0 3239 1871 0 0 25 0 1 0 21775369 11870208 2551 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2898 2551 238 467 0 2429 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 11592 [startup+102.306 s] /proc/loadavg: 1.99 2.00 1.73 3/183 7945 /proc/meminfo: memFree=28257836/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=11848 CPUtime=102.3 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2766 0 0 0 6451 3779 0 0 25 0 1 0 21775369 12132352 2605 4089446400 134512640 136422188 4286923488 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2962 2605 238 467 0 2493 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11848 [startup+162.3 s] /proc/loadavg: 1.99 2.00 1.75 3/183 7947 /proc/meminfo: memFree=28208064/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=11980 CPUtime=162.29 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2811 0 0 0 10184 6045 0 0 25 0 1 0 21775369 12267520 2635 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 2995 2635 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.99 2.00 1.76 3/183 7949 /proc/meminfo: memFree=28160160/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12108 CPUtime=222.3 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2847 0 0 0 13931 8299 0 0 25 0 1 0 21775369 12398592 2665 4089446400 134512640 136422188 4286923488 18446744073709551615 135686752 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3027 2665 238 467 0 2558 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 12108 [startup+282.3 s] /proc/loadavg: 1.99 2.00 1.77 3/183 7950 /proc/meminfo: memFree=28108040/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12108 CPUtime=282.29 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2870 0 0 0 17661 10568 0 0 25 0 1 0 21775369 12398592 2680 4089446400 134512640 136422188 4286923488 18446744073709551615 134859953 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3027 2680 238 467 0 2558 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 12108 [startup+342.3 s] /proc/loadavg: 1.99 2.00 1.78 3/183 7952 /proc/meminfo: memFree=28061500/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12240 CPUtime=342.3 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2897 0 0 0 21364 12866 0 0 25 0 1 0 21775369 12533760 2698 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3060 2698 238 467 0 2591 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 12240 [startup+402.301 s] /proc/loadavg: 2.07 2.02 1.80 3/183 7953 /proc/meminfo: memFree=28000952/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12240 CPUtime=402.3 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2918 0 0 0 25091 15139 0 0 25 0 1 0 21775369 12533760 2713 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3060 2713 238 467 0 2591 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 12240 [startup+462.301 s] /proc/loadavg: 2.02 2.01 1.81 3/183 7955 /proc/meminfo: memFree=27945576/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12360 CPUtime=462.31 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2966 0 0 0 28810 17421 0 0 25 0 1 0 21775369 12656640 2743 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3090 2743 238 467 0 2621 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 12360 [startup+522.301 s] /proc/loadavg: 2.01 2.00 1.82 3/183 7957 /proc/meminfo: memFree=27887104/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12360 CPUtime=522.31 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 2993 0 0 0 32483 19748 0 0 25 0 1 0 21775369 12656640 2753 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3090 2753 238 467 0 2621 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 12360 [startup+582.301 s] /proc/loadavg: 2.05 2.02 1.83 3/183 7958 /proc/meminfo: memFree=27840192/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12480 CPUtime=582.31 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3014 0 0 0 36170 22061 0 0 25 0 1 0 21775369 12779520 2764 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3120 2764 238 467 0 2651 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 12480 [startup+642.301 s] /proc/loadavg: 2.08 2.03 1.84 3/183 7960 /proc/meminfo: memFree=27782736/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12480 CPUtime=642.32 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3036 0 0 0 39846 24386 0 0 25 0 1 0 21775369 12779520 2776 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3120 2776 238 467 0 2651 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 12480 [startup+702.301 s] /proc/loadavg: 2.03 2.02 1.85 3/183 7961 /proc/meminfo: memFree=27731000/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12480 CPUtime=702.31 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3052 0 0 0 43541 26690 0 0 25 0 1 0 21775369 12779520 2786 4089446400 134512640 136422188 4286923488 18446744073709551615 134872021 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3120 2786 238 467 0 2651 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 12480 [startup+762.307 s] /proc/loadavg: 2.01 2.01 1.85 3/183 7963 /proc/meminfo: memFree=27666824/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12608 CPUtime=762.32 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3075 0 0 0 47239 28993 0 0 25 0 1 0 21775369 12910592 2796 4089446400 134512640 136422188 4286923488 18446744073709551615 135019281 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3152 2796 238 467 0 2683 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 12608 [startup+822.301 s] /proc/loadavg: 2.04 2.02 1.87 3/183 7965 /proc/meminfo: memFree=27601796/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12608 CPUtime=822.32 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3110 0 0 0 50956 31276 0 0 25 0 1 0 21775369 12910592 2814 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/7942/statm: 3152 2814 238 467 0 2683 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 12608 Solver just ended. Dumping a history of the last processes samples [startup+844.701 s] /proc/loadavg: 2.03 2.02 1.87 3/183 7974 /proc/meminfo: memFree=27574252/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12848 CPUtime=844.72 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3145 0 0 0 52355 32117 0 0 25 0 1 0 21775369 13156352 2838 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/7942/statm: 3212 2838 238 467 0 2743 0 Current children cumulated CPU time (s) 844.72 Current children cumulated vsize (KiB) 12848 [startup+851.101 s] /proc/loadavg: 2.02 2.02 1.87 3/183 7974 /proc/meminfo: memFree=27567196/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12848 CPUtime=851.11 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3152 0 0 0 52767 32344 0 0 25 0 1 0 21775369 13156352 2839 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/7942/statm: 3212 2839 238 467 0 2743 0 Current children cumulated CPU time (s) 851.11 Current children cumulated vsize (KiB) 12848 [startup+857.5 s] /proc/loadavg: 2.02 2.02 1.87 3/183 7974 /proc/meminfo: memFree=27560008/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12980 CPUtime=857.52 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3199 0 0 0 53194 32558 0 0 22 0 1 0 21775369 13291520 2873 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/7942/statm: 3245 2873 238 467 0 2776 0 Current children cumulated CPU time (s) 857.52 Current children cumulated vsize (KiB) 12980 [startup+859.106 s] /proc/loadavg: 2.02 2.02 1.87 3/183 7974 /proc/meminfo: memFree=27556908/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12980 CPUtime=859.12 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3200 0 0 0 53304 32608 0 0 25 0 1 0 21775369 13291520 2873 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/7942/statm: 3245 2873 238 467 0 2776 0 Current children cumulated CPU time (s) 859.12 Current children cumulated vsize (KiB) 12980 [startup+859.901 s] /proc/loadavg: 2.02 2.02 1.87 3/183 7974 /proc/meminfo: memFree=27556908/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12980 CPUtime=859.91 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3202 0 0 0 53360 32631 0 0 25 0 1 0 21775369 13291520 2873 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/7942/statm: 3245 2873 238 467 0 2776 0 Current children cumulated CPU time (s) 859.91 Current children cumulated vsize (KiB) 12980 [startup+860.301 s] /proc/loadavg: 2.02 2.02 1.87 3/183 7974 /proc/meminfo: memFree=27555048/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12980 CPUtime=860.31 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3203 0 0 0 53388 32643 0 0 18 0 1 0 21775369 13291520 2873 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/7942/statm: 3245 2873 238 467 0 2776 0 Current children cumulated CPU time (s) 860.31 Current children cumulated vsize (KiB) 12980 [startup+860.701 s] /proc/loadavg: 2.02 2.02 1.87 3/183 7974 /proc/meminfo: memFree=27555048/32951124 swapFree=67111528/67111528 [pid=7942] ppid=7940 vsize=12980 CPUtime=860.71 /proc/7942/stat : 7942 (pbct) R 7940 7942 7412 0 -1 4202496 3203 0 0 0 53419 32652 0 0 18 0 1 0 21775369 13291520 2873 4089446400 134512640 136422188 4286923488 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/7942/statm: 3245 2873 238 467 0 2776 0 Current children cumulated CPU time (s) 860.71 Current children cumulated vsize (KiB) 12980 Child status: 0 Real time (s): 860.787 CPU time (s): 860.811 CPU user time (s): 534.265 CPU system time (s): 326.546 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 12980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 534.265 system time used= 326.546 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3208 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= 4 involuntary context switches= 10261 runsolver used 1.50077 second user time and 3.02554 second system time The end
Begin job on node133 at 2010-07-07 22:47:06 IDJOB=2700435 IDBENCH=79427 IDSOLVER=1212 FILE ID=node133/2700435-1278535626 PBS_JOBID= 11239212 Free space on /tmp= 73652 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh310_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700435-1278535626/watcher-2700435-1278535626 -o /tmp/evaluation-result-2700435-1278535626/solver-2700435-1278535626 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700435-1278535626.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9767c89dfda19e08df7810305b3128ba RANDOM SEED=1530223261 node133.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.844 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.68 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.844 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.75 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.844 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.844 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.84 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.844 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 : 5332.75 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.844 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.82 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.844 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.844 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: 28361392 kB Buffers: 152568 kB Cached: 4111760 kB SwapCached: 0 kB Active: 1323224 kB Inactive: 3111560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28361392 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2208 kB Writeback: 0 kB AnonPages: 170800 kB Mapped: 15056 kB Slab: 91680 kB PageTables: 5268 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 314164 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73652 MiB End job on node133 at 2010-07-07 23:01:27