Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 116.405 | 116.41 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo |
MD5SUM | af72756a7b8194161c8db176c46da286 |
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 | 166 |
Best CPU time to get the best result obtained on this benchmark | 1.02984 |
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 | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
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 | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
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.1 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/850 units 0 0.00/0.00 c vars 200 0.00/0.03 c 0.036994 9.94922 1 1949 0.00/0.03 o 23320 0.00/0.04 c 0.036994 10.1094 8 2222 0.00/0.04 o 23109 0.00/0.04 c 0.038994 10.1094 8 3120 0.00/0.04 o 12140 0.00/0.04 c 0.040993 10.1094 8 3938 0.00/0.04 o 11581 0.00/0.05 c 0.044993 10.1094 25 4373 0.00/0.05 o 11544 0.09/0.15 c 0.104984 10.2344 538 5844 0.09/0.15 o 11389 0.09/0.19 c 0.12798 10.2344 463 6847 0.09/0.19 o 11235 0.29/0.39 c 0.270958 10.3594 899 10277 0.29/0.39 o 11230 0.39/0.41 c 0.281957 10.3594 557 10786 0.39/0.41 o 11201 0.59/0.63 c 0.419936 10.3594 710 14382 0.59/0.63 o 11170 0.69/0.73 c 0.486925 10.3594 511 16047 0.69/0.73 o 11150 0.79/0.84 c 0.561914 10.3594 568 17412 0.79/0.84 o 11108 1.70/1.71 c 0.874867 10.3594 559 30405 1.70/1.71 o 11012 1.70/1.73 c 0.882865 10.3594 337 30861 1.70/1.73 o 10979 1.70/1.73 c 0.883865 10.3594 339 31068 1.70/1.73 o 10953 1.70/1.76 c 0.901862 10.3594 406 31583 1.70/1.76 o 10655 1.70/1.78 c 0.921859 10.3594 584 32186 1.70/1.78 o 10642 1.79/1.87 c 0.975851 10.3594 571 34376 1.79/1.87 o 10568 1.79/1.89 c 0.987849 10.3594 651 34748 1.79/1.89 o 10561 2.09/2.20 c 1.18782 10.3594 682 38701 2.09/2.20 o 10458 2.20/2.24 c 1.21182 10.3594 563 39601 2.20/2.24 o 10446 2.69/2.76 c 1.55776 10.4844 973 46202 2.69/2.76 o 10406 3.19/3.23 c 1.85772 10.4844 528 53171 3.19/3.23 o 10380 4.29/4.31 c 2.50462 10.4844 831 66589 4.29/4.31 o 10320 4.69/4.77 c 2.80757 10.4844 443 74307 4.69/4.77 o 10161 5.09/5.14 c 3.03754 10.4844 549 79915 5.09/5.14 o 10124 5.29/5.31 c 3.15752 10.4844 601 81909 5.29/5.31 o 10007 7.19/7.28 c 4.42433 10.4844 810 108163 7.19/7.28 o 9927 7.29/7.33 c 4.44632 10.4844 579 108769 7.29/7.33 o 9899 10.59/10.65 c 6.30304 10.6094 576 148462 10.59/10.65 o 9858 10.99/11.01 c 6.52001 10.6094 958 151304 10.99/11.01 o 9798 11.49/11.51 c 6.84096 10.6094 957 157662 11.49/11.51 o 9756 11.49/11.58 c 6.88795 10.6094 509 158903 11.49/11.58 o 9599 12.19/12.21 c 7.27089 10.6094 491 165610 12.19/12.21 o 9591 12.49/12.56 c 7.49986 10.6094 485 169696 12.49/12.56 o 9482 12.59/12.66 c 7.56385 10.6094 698 171415 12.59/12.66 o 9283 15.79/15.84 c 9.56255 10.7383 547 208481 15.79/15.84 o 9233 17.39/17.49 c 10.6044 10.7383 821 227763 17.39/17.49 o 9208 18.79/18.83 c 11.4303 10.7383 710 242612 18.79/18.83 o 9139 19.29/19.32 c 11.7262 10.7383 504 248615 19.29/19.32 o 9021 19.39/19.49 c 11.8362 10.7383 546 250890 19.39/19.49 o 8892 19.59/19.66 c 11.9442 10.7383 406 253790 19.59/19.66 o 8736 19.99/20.02 c 12.1731 10.7383 824 256828 19.99/20.02 o 8722 20.28/20.38 c 12.3821 10.7383 460 261138 20.28/20.38 o 8562 29.39/29.41 c 18.0353 10.8672 842 348263 29.39/29.41 o 8506 29.79/29.84 c 18.3162 10.8672 647 353478 29.79/29.84 o 8504 31.09/31.16 c 19.1151 10.8672 405 366838 31.09/31.16 o 8440 31.48/31.59 c 19.3871 10.8672 689 371392 31.48/31.59 o 8415 32.09/32.18 c 19.781 10.8672 686 378547 32.09/32.18 o 8411 32.39/32.41 c 19.922 10.8672 994 379907 32.39/32.41 o 8279 32.49/32.55 c 20.006 10.8672 474 381984 32.49/32.55 o 8267 32.89/32.92 c 20.2459 10.8672 568 385509 32.89/32.92 o 8114 33.88/33.99 c 20.9128 10.8672 805 396170 33.88/33.99 o 8060 35.79/35.84 c 22.0506 10.8672 870 414594 35.79/35.84 o 8053 35.88/35.93 c 22.1076 10.8672 870 415953 35.88/35.93 o 7927 36.08/36.12 c 22.2226 10.8672 802 418305 36.08/36.12 o 7826 36.19/36.25 c 22.3066 10.8672 539 419774 36.19/36.25 o 7734 36.19/36.28 c 22.3196 10.8672 652 420354 36.19/36.28 o 7522 37.40/37.43 c 23.0395 10.8672 479 430930 37.40/37.43 o 7409 38.89/38.99 c 23.9654 10.8672 514 446694 38.89/38.99 o 7138 39.08/39.10 c 24.0213 10.8672 612 447992 39.08/39.10 o 7130 39.19/39.21 c 24.0843 10.8672 735 449449 39.19/39.21 o 6939 40.19/40.29 c 24.7342 10.8672 790 459313 40.19/40.29 o 6927 40.28/40.33 c 24.7592 10.8672 591 460085 40.28/40.33 o 6793 40.89/40.94 c 25.1352 10.8672 590 466837 40.89/40.94 o 6728 41.29/41.37 c 25.3941 10.8672 562 471808 41.29/41.37 o 6584 44.69/44.73 c 27.4738 10.8672 646 496070 44.69/44.73 o 6571 45.09/45.11 c 27.7058 10.8672 453 500391 45.09/45.11 o 6539 45.38/45.48 c 27.9507 10.8672 660 503790 45.38/45.48 o 6469 47.69/47.76 c 29.3865 10.8672 647 527233 47.69/47.76 o 6448 47.89/47.95 c 29.5095 10.8672 683 529287 47.89/47.95 o 6437 48.19/48.22 c 29.6675 10.8672 782 531318 48.19/48.22 o 6334 48.40/48.42 c 29.8095 10.8672 752 533449 48.40/48.42 o 6329 51.09/51.13 c 31.5172 10.9883 750 555892 51.09/51.13 o 6264 51.59/51.63 c 31.8232 10.9883 448 560950 51.59/51.63 o 6218 56.29/56.35 c 34.7307 10.9883 962 598912 56.29/56.35 o 6112 56.49/56.50 c 34.8227 10.9883 592 600383 56.49/56.50 o 6105 57.48/57.55 c 35.4706 10.9883 427 609831 57.48/57.55 o 6056 58.29/58.32 c 35.9595 10.9883 820 616883 58.29/58.32 o 5945 58.88/58.90 c 36.2925 10.9883 554 622214 58.88/58.90 o 5858 60.68/60.79 c 37.4633 10.9883 532 637894 60.68/60.79 o 5852 60.79/60.87 c 37.5103 10.9883 787 638635 60.79/60.87 o 5848 63.49/63.58 c 39.192 10.9883 507 660757 63.49/63.58 o 5722 63.58/63.68 c 39.251 10.9883 838 661670 63.58/63.68 o 5657 66.39/66.41 c 40.9228 10.9883 583 683730 66.39/66.41 o 5582 67.59/67.62 c 41.6667 10.9883 547 694021 67.59/67.62 o 5571 70.59/70.64 c 43.5154 10.9883 645 718002 70.59/70.64 o 5546 70.98/71.08 c 43.7923 10.9883 596 721615 70.98/71.08 o 5516 71.19/71.22 c 43.8663 10.9883 733 723048 71.19/71.22 o 5443 71.28/71.32 c 43.9313 10.9883 793 724285 71.28/71.32 o 5429 71.68/71.77 c 44.2083 10.9883 768 727971 71.68/71.77 o 5381 71.88/71.97 c 44.3273 10.9883 500 729145 71.88/71.97 o 5305 71.99/72.09 c 44.4022 10.9883 848 730012 71.99/72.09 o 5256 72.19/72.20 c 44.4762 10.9883 444 731170 72.19/72.20 o 5209 73.79/73.89 c 45.5191 10.9883 869 745968 73.79/73.89 o 5183 75.09/75.14 c 46.304 11.1094 613 755932 75.09/75.14 o 5137 75.19/75.24 c 46.364 11.1094 604 756940 75.19/75.24 o 5016 75.49/75.50 c 46.5169 11.1094 665 759344 75.49/75.50 o 5007 76.78/76.80 c 47.3428 11.1094 837 766799 76.78/76.80 o 4978 76.78/76.83 c 47.3648 11.1094 494 767110 76.78/76.83 o 4933 76.99/77.04 c 47.4938 11.1094 740 768558 76.99/77.04 o 4873 79.49/79.50 c 49.0125 11.1094 575 787737 79.49/79.50 o 4862 79.49/79.55 c 49.0485 11.1094 751 788246 79.49/79.55 o 4828 79.59/79.68 c 49.1285 11.1094 841 789238 79.59/79.68 o 4806 79.79/79.82 c 49.2125 11.1094 535 790500 79.79/79.82 o 4697 80.69/80.79 c 49.8054 11.1094 616 797948 80.69/80.79 o 4672 83.09/83.19 c 51.2762 11.1094 698 813156 83.09/83.19 o 4655 84.79/84.86 c 52.339 11.1094 718 825513 84.79/84.86 o 4649 84.99/85.00 c 52.427 11.1094 752 826589 84.99/85.00 o 4632 85.19/85.29 c 52.614 11.1094 547 828842 85.19/85.29 o 4608 85.59/85.64 c 52.834 11.1094 468 831750 85.59/85.64 o 4436 86.09/86.11 c 53.1199 11.1094 627 835088 86.09/86.11 o 4430 86.19/86.20 c 53.1899 11.1094 916 835907 86.19/86.20 o 4375 86.79/86.81 c 53.5899 11.1094 842 840416 86.79/86.81 o 4294 88.39/88.46 c 54.6027 11.1094 693 853135 88.39/88.46 o 4290 89.09/89.19 c 55.0966 11.1094 577 858954 89.09/89.19 o 4057 89.39/89.41 c 55.2306 11.1094 519 860886 89.39/89.41 o 4007 91.99/92.08 c 56.9313 11.1094 820 877297 91.99/92.08 o 4006 92.99/93.02 c 57.5413 11.1094 683 884681 92.99/93.02 o 3933 93.29/93.36 c 57.7662 11.1094 560 887446 93.29/93.36 o 3825 93.99/94.04 c 58.1712 11.1094 824 893374 93.99/94.04 o 3804 94.79/94.80 c 58.6151 11.1094 742 898862 94.79/94.80 o 3784 95.60/95.63 c 59.152 11.1094 639 905329 95.60/95.63 o 3592 95.88/95.96 c 59.35 11.1094 702 907462 95.88/95.96 o 3553 95.88/95.99 c 59.372 11.1094 775 907654 95.88/95.99 o 3516 95.99/96.07 c 59.416 11.1094 621 908265 95.99/96.07 o 3479 96.19/96.23 c 59.508 11.1094 743 909612 96.19/96.23 o 3355 97.08/97.19 c 60.0959 11.1094 569 915823 97.08/97.19 o 3347 97.58/97.62 c 60.3728 11.1094 509 918633 97.58/97.62 o 3312 97.69/97.78 c 60.4658 11.1094 466 919465 97.69/97.78 o 3277 100.10/100.11 c 61.9376 11.2344 914 934507 100.10/100.11 o 3196 100.10/100.16 c 61.9646 11.2344 661 935096 100.10/100.16 o 3184 100.18/100.21 c 62.0006 11.2344 445 935680 100.18/100.21 o 3173 100.29/100.34 c 62.0826 11.2344 794 936576 100.29/100.34 o 3165 100.69/100.78 c 62.3795 11.2344 515 939925 100.69/100.78 o 2993 101.69/101.79 c 62.9924 11.2344 450 946027 101.69/101.79 o 2977 101.89/101.94 c 63.0824 11.2344 846 946988 101.89/101.94 o 2969 101.89/101.95 c 63.0974 11.2344 485 947242 101.89/101.95 o 2939 102.09/102.19 c 63.2464 11.2344 770 948963 102.09/102.19 o 2836 102.30/102.34 c 63.3264 11.2344 776 949899 102.30/102.34 o 2731 102.49/102.52 c 63.4494 11.2344 484 951168 102.49/102.52 o 2726 103.79/103.88 c 64.2652 11.2344 655 958983 103.79/103.88 o 2714 104.19/104.27 c 64.5002 11.2344 864 961026 104.19/104.27 o 2609 104.89/104.91 c 64.9361 11.2344 727 965597 104.89/104.91 o 2598 104.89/104.96 c 64.9691 11.2344 460 966058 104.89/104.96 o 2531 105.29/105.31 c 65.1861 11.2344 551 968149 105.29/105.31 o 2446 105.59/105.63 c 65.3871 11.2344 567 970254 105.59/105.63 o 2338 105.59/105.69 c 65.4231 11.2344 771 970800 105.59/105.69 o 2326 105.79/105.80 c 65.491 11.2344 749 971684 105.79/105.80 o 2302 106.28/106.36 c 65.837 11.2344 794 975429 106.28/106.36 o 2178 106.39/106.41 c 65.865 11.2344 537 975809 106.39/106.41 o 2155 106.59/106.69 c 66.052 11.2344 610 977732 106.59/106.69 o 2119 107.39/107.45 c 66.4999 11.2344 564 982422 107.39/107.45 o 2076 108.09/108.18 c 66.9408 11.2344 921 986520 108.09/108.18 o 2036 108.38/108.45 c 67.1158 11.2344 717 988152 108.38/108.45 o 2030 109.49/109.52 c 67.7687 11.2344 781 994748 109.49/109.52 o 1944 109.58/109.62 c 67.8337 11.2344 644 995529 109.58/109.62 o 1879 109.90/109.97 c 68.0497 11.2344 773 997705 109.90/109.97 o 1738 109.99/110.04 c 68.0866 11.2344 496 998235 109.99/110.04 o 1633 110.48/110.57 c 68.4216 11.2344 755 1001520 110.48/110.57 o 1620 110.59/110.60 c 68.4356 11.2344 813 1001678 110.59/110.60 o 1594 110.78/110.84 c 68.5896 11.2344 644 1003221 110.78/110.84 o 1512 110.88/110.90 c 68.6196 11.2344 760 1003543 110.88/110.90 o 1509 110.99/111.07 c 68.7326 11.3555 826 1004617 110.99/111.07 o 1453 111.19/111.22 c 68.8265 11.3555 783 1005544 111.19/111.22 o 1382 111.29/111.33 c 68.8915 11.3555 714 1006269 111.29/111.33 o 1348 112.29/112.31 c 69.5144 11.3555 857 1011835 112.29/112.31 o 1345 112.39/112.44 c 69.5974 11.3555 864 1012975 112.39/112.44 o 1328 112.99/113.03 c 69.9734 11.3555 463 1016658 112.99/113.03 o 1253 112.99/113.07 c 70.0004 11.3555 605 1017057 112.99/113.07 o 1205 113.30/113.36 c 70.1923 11.3555 639 1019068 113.30/113.36 o 1076 113.59/113.63 c 70.3533 11.3555 586 1020719 113.59/113.63 o 1062 113.89/113.97 c 70.5683 11.3555 536 1022330 113.89/113.97 o 1044 113.99/114.07 c 70.6243 11.3555 829 1022934 113.99/114.07 o 1030 114.19/114.21 c 70.7122 11.3555 798 1023873 114.19/114.21 o 978 114.29/114.33 c 70.7962 11.3555 732 1024496 114.29/114.33 o 974 114.48/114.58 c 70.9522 11.3555 573 1025736 114.48/114.58 o 972 114.69/114.70 c 71.0302 11.3555 515 1026544 114.69/114.70 o 935 114.79/114.89 c 71.1612 11.3555 659 1027856 114.79/114.89 o 932 114.99/115.04 c 71.2552 11.3555 682 1028663 114.99/115.04 o 921 115.08/115.13 c 71.3102 11.3555 939 1029229 115.08/115.13 o 865 115.18/115.21 c 71.3592 11.3555 710 1029707 115.18/115.21 o 858 115.18/115.29 c 71.4141 11.3555 941 1030229 115.18/115.29 o 769 115.29/115.36 c 71.4621 11.3555 667 1030580 115.29/115.36 o 768 115.39/115.41 c 71.4941 11.3555 863 1030986 115.39/115.41 o 727 115.49/115.57 c 71.6131 11.3555 998 1032175 115.49/115.57 o 697 115.59/115.64 c 71.6651 11.3555 765 1032650 115.59/115.64 o 693 115.68/115.72 c 71.7141 11.3555 1020 1033098 115.68/115.72 o 667 115.68/115.77 c 71.7531 11.3555 646 1033434 115.68/115.77 o 638 115.79/115.87 c 71.8251 11.3555 992 1033992 115.79/115.87 o 608 115.89/115.99 c 71.9111 11.3555 806 1034649 115.89/115.99 o 603 115.99/116.01 c 71.9291 11.3555 885 1034772 115.99/116.01 o 600 115.99/116.07 c 71.9601 11.3555 1052 1035112 115.99/116.07 o 591 116.09/116.10 c 71.9841 11.3555 599 1035362 116.09/116.10 o 512 116.09/116.14 c 72.0031 11.3555 727 1035625 116.09/116.14 o 422 116.09/116.16 c 72.0161 11.3555 807 1035776 116.09/116.16 o 397 116.19/116.22 c 72.059 11.3555 1053 1036206 116.19/116.22 o 373 116.19/116.25 c 72.077 11.3555 1189 1036421 116.19/116.25 o 341 116.19/116.28 c 72.104 11.4805 1345 1036693 116.19/116.28 o 328 116.29/116.33 c 72.139 11.4805 874 1036973 116.29/116.33 o 324 116.29/116.35 c 72.161 11.4805 966 1037197 116.29/116.35 o 253 116.29/116.37 c 72.175 11.4805 1119 1037409 116.29/116.37 o 229 116.29/116.39 c 72.183 11.4805 1194 1037575 116.29/116.39 o 166 116.29/116.40 c 72.191 11.4805 704 1037663 116.29/116.40 s OPTIMUM FOUND 116.29/116.40 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 166
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700084-1278533956/watcher-2700084-1278533956 -o /tmp/evaluation-result-2700084-1278533956/solver-2700084-1278533956 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700084-1278533956.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.73 0.68 0.25 4/178 1418 /proc/meminfo: memFree=29246460/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=2136 CPUtime=0 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 21609097 2187264 174 4089446400 134512640 136421960 4289542528 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/1418/statm: 534 174 144 467 0 65 0 [startup+0.099151 s] /proc/loadavg: 1.73 0.68 0.25 4/178 1418 /proc/meminfo: memFree=29246460/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=10476 CPUtime=0.08 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2336 0 0 0 6 2 0 0 25 0 1 0 21609097 10727424 2251 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/1418/statm: 2619 2251 238 467 0 2150 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10476 [startup+0.10115 s] /proc/loadavg: 1.73 0.68 0.25 4/178 1418 /proc/meminfo: memFree=29246460/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=10476 CPUtime=0.09 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2337 0 0 0 6 3 0 0 25 0 1 0 21609097 10727424 2252 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/1418/statm: 2619 2252 238 467 0 2150 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10476 [startup+0.301116 s] /proc/loadavg: 1.73 0.68 0.25 4/178 1418 /proc/meminfo: memFree=29246460/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=10476 CPUtime=0.29 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2361 0 0 0 20 9 0 0 25 0 1 0 21609097 10727424 2274 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/1418/statm: 2619 2274 238 467 0 2150 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10476 [startup+0.701048 s] /proc/loadavg: 1.73 0.68 0.25 4/178 1418 /proc/meminfo: memFree=29246460/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=10604 CPUtime=0.69 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2376 0 0 0 46 23 0 0 25 0 1 0 21609097 10858496 2286 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/1418/statm: 2651 2286 238 467 0 2182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10604 [startup+1.50091 s] /proc/loadavg: 1.73 0.68 0.25 3/179 1419 /proc/meminfo: memFree=29237896/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=10604 CPUtime=1.49 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2389 0 0 0 79 70 0 0 25 0 1 0 21609097 10858496 2297 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/1418/statm: 2651 2297 238 467 0 2182 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10604 [startup+3.1007 s] /proc/loadavg: 1.73 0.68 0.25 3/179 1419 /proc/meminfo: memFree=29237524/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=10732 CPUtime=3.09 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2420 0 0 0 177 132 0 0 25 0 1 0 21609097 10989568 2318 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/1418/statm: 2683 2318 238 467 0 2214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10732 [startup+6.30017 s] /proc/loadavg: 1.75 0.70 0.26 3/179 1419 /proc/meminfo: memFree=29237404/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=10732 CPUtime=6.29 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2446 0 0 0 377 252 0 0 25 0 1 0 21609097 10989568 2339 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/1418/statm: 2683 2339 238 467 0 2214 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10732 [startup+12.7011 s] /proc/loadavg: 1.77 0.73 0.27 3/179 1419 /proc/meminfo: memFree=29236144/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=10860 CPUtime=12.69 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2484 0 0 0 758 511 0 0 25 0 1 0 21609097 11120640 2368 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2715 2368 238 467 0 2246 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10860 [startup+25.5009 s] /proc/loadavg: 1.82 0.79 0.29 3/179 1419 /proc/meminfo: memFree=29232196/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=10992 CPUtime=25.49 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2529 0 0 0 1557 992 0 0 25 0 1 0 21609097 11255808 2405 4089446400 134512640 136421960 4289542528 18446744073709551615 135028307 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2748 2405 238 467 0 2279 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10992 [startup+51.1006 s] /proc/loadavg: 1.88 0.88 0.34 3/179 1419 /proc/meminfo: memFree=29217992/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=11248 CPUtime=51.09 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2604 0 0 0 3149 1960 0 0 25 0 1 0 21609097 11517952 2451 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2812 2451 238 467 0 2343 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11248 [startup+102.307 s] /proc/loadavg: 1.95 1.05 0.42 3/179 1421 /proc/meminfo: memFree=29184212/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=11500 CPUtime=102.3 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2737 0 0 0 6331 3899 0 0 25 0 1 0 21609097 11776000 2518 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2875 2518 238 467 0 2406 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11500 Solver just ended. Dumping a history of the last processes samples [startup+108.701 s] /proc/loadavg: 1.95 1.08 0.44 3/179 1421 /proc/meminfo: memFree=29178872/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=11500 CPUtime=108.68 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2775 0 0 0 6726 4142 0 0 25 0 1 0 21609097 11776000 2540 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2875 2540 238 467 0 2406 0 Current children cumulated CPU time (s) 108.68 Current children cumulated vsize (KiB) 11500 [startup+111.9 s] /proc/loadavg: 1.95 1.08 0.44 3/179 1421 /proc/meminfo: memFree=29177260/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=11624 CPUtime=111.89 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2793 0 0 0 6925 4264 0 0 25 0 1 0 21609097 11902976 2547 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2906 2547 238 467 0 2437 0 Current children cumulated CPU time (s) 111.89 Current children cumulated vsize (KiB) 11624 [startup+113.501 s] /proc/loadavg: 1.96 1.10 0.45 3/179 1421 /proc/meminfo: memFree=29176012/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=11624 CPUtime=113.49 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2803 0 0 0 7027 4322 0 0 25 0 1 0 21609097 11902976 2552 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2906 2552 238 467 0 2437 0 Current children cumulated CPU time (s) 113.49 Current children cumulated vsize (KiB) 11624 [startup+115.101 s] /proc/loadavg: 1.96 1.10 0.45 3/179 1421 /proc/meminfo: memFree=29175516/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=11624 CPUtime=115.08 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2820 0 0 0 7128 4380 0 0 25 0 1 0 21609097 11902976 2560 4089446400 134512640 136421960 4289542528 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2906 2560 238 467 0 2437 0 Current children cumulated CPU time (s) 115.08 Current children cumulated vsize (KiB) 11624 [startup+115.901 s] /proc/loadavg: 1.96 1.10 0.45 3/179 1421 /proc/meminfo: memFree=29175516/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=11624 CPUtime=115.89 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2838 0 0 0 7184 4405 0 0 25 0 1 0 21609097 11902976 2568 4089446400 134512640 136421960 4289542528 18446744073709551615 134862568 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2906 2568 238 467 0 2437 0 Current children cumulated CPU time (s) 115.89 Current children cumulated vsize (KiB) 11624 [startup+116.301 s] /proc/loadavg: 1.96 1.10 0.45 3/179 1421 /proc/meminfo: memFree=29175516/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=11752 CPUtime=116.29 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2856 0 0 0 7211 4418 0 0 25 0 1 0 21609097 12034048 2577 4089446400 134512640 136421960 4289542528 18446744073709551615 135029906 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2938 2577 238 467 0 2469 0 Current children cumulated CPU time (s) 116.29 Current children cumulated vsize (KiB) 11752 [startup+116.401 s] /proc/loadavg: 1.96 1.10 0.45 3/179 1421 /proc/meminfo: memFree=29175516/32950928 swapFree=67109624/67111528 [pid=1418] ppid=1416 vsize=11232 CPUtime=116.39 /proc/1418/stat : 1418 (pbct) R 1416 1418 927 0 -1 4202496 2864 0 0 0 7219 4420 0 0 25 0 1 0 21609097 11501568 2450 4089446400 134512640 136421960 4289542528 18446744073709551615 134710296 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/1418/statm: 2808 2450 241 467 0 2339 0 Current children cumulated CPU time (s) 116.39 Current children cumulated vsize (KiB) 11232 Child status: 0 Real time (s): 116.41 CPU time (s): 116.405 CPU user time (s): 72.201 CPU system time (s): 44.2043 CPU usage (%): 99.9958 Max. virtual memory (cumulated for all children) (KiB): 11752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 72.201 system time used= 44.2043 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2865 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= 1 involuntary context switches= 765 runsolver used 0.228965 second user time and 0.399939 second system time The end
Begin job on node126 at 2010-07-07 22:19:16 IDJOB=2700084 IDBENCH=79398 IDSOLVER=1208 FILE ID=node126/2700084-1278533956 PBS_JOBID= 11239226 Free space on /tmp= 73532 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh19_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700084-1278533956/watcher-2700084-1278533956 -o /tmp/evaluation-result-2700084-1278533956/solver-2700084-1278533956 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700084-1278533956.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= af72756a7b8194161c8db176c46da286 RANDOM SEED=1615604381 node126.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.861 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.72 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.861 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 : 5226.05 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.861 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.82 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.861 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.67 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.861 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.84 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.861 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.67 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.861 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.85 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.861 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29246856 kB Buffers: 102976 kB Cached: 3281768 kB SwapCached: 1140 kB Active: 791956 kB Inactive: 2761968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29246856 kB SwapTotal: 67111528 kB SwapFree: 67109624 kB Dirty: 2124 kB Writeback: 0 kB AnonPages: 168116 kB Mapped: 15976 kB Slab: 86276 kB PageTables: 4812 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 314420 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= 73532 MiB End job on node126 at 2010-07-07 22:21:13