Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 106.534 | 106.531 |
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.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/850 units 0 0.00/0.00 c vars 200 0.00/0.03 c 0.034994 9.94922 1 1949 0.00/0.03 o 23320 0.00/0.04 c 0.034994 10.1094 8 2222 0.00/0.04 o 23109 0.00/0.04 c 0.035994 10.1094 8 3120 0.00/0.04 o 12140 0.00/0.04 c 0.035994 10.1094 8 3938 0.00/0.04 o 11581 0.00/0.05 c 0.037994 10.1094 25 4373 0.00/0.05 o 11544 0.09/0.15 c 0.074988 10.2344 538 5844 0.09/0.15 o 11389 0.09/0.19 c 0.085986 10.2344 463 6847 0.09/0.19 o 11235 0.29/0.39 c 0.170974 10.3594 899 10277 0.29/0.39 o 11230 0.39/0.41 c 0.175973 10.3594 557 10786 0.39/0.41 o 11201 0.59/0.63 c 0.219966 10.3594 710 14382 0.59/0.63 o 11170 0.69/0.73 c 0.233964 10.3594 511 16047 0.69/0.73 o 11150 0.79/0.84 c 0.251961 10.3594 568 17412 0.79/0.84 o 11108 1.69/1.71 c 0.417936 10.3594 559 30405 1.69/1.71 o 11012 1.69/1.73 c 0.421935 10.3594 337 30861 1.69/1.73 o 10979 1.69/1.73 c 0.421935 10.3594 339 31068 1.69/1.73 o 10953 1.69/1.76 c 0.422935 10.3594 406 31583 1.69/1.76 o 10655 1.69/1.78 c 0.426935 10.3594 584 32186 1.69/1.78 o 10642 1.79/1.87 c 0.450931 10.3594 571 34376 1.79/1.87 o 10568 1.79/1.89 c 0.45593 10.3594 651 34748 1.79/1.89 o 10561 2.09/2.20 c 0.511922 10.3594 682 38701 2.09/2.20 o 10458 2.20/2.24 c 0.518921 10.3594 563 39601 2.20/2.24 o 10446 2.69/2.76 c 0.6539 10.4844 973 46202 2.69/2.76 o 10406 3.19/3.23 c 0.78588 10.4844 528 53171 3.19/3.23 o 10380 4.29/4.31 c 1.08983 10.4844 831 66589 4.29/4.31 o 10320 4.69/4.77 c 1.22181 10.4844 443 74307 4.69/4.77 o 10161 5.09/5.13 c 1.3328 10.4844 549 79915 5.09/5.13 o 10124 5.29/5.31 c 1.37379 10.4844 601 81909 5.29/5.31 o 10007 7.19/7.28 c 1.9437 10.4844 810 108163 7.19/7.28 o 9927 7.29/7.33 c 1.9557 10.4844 579 108769 7.29/7.33 o 9899 10.60/10.61 c 2.92056 10.6094 576 148462 10.60/10.61 o 9858 10.89/10.95 c 3.02454 10.6094 958 151304 10.89/10.95 o 9798 11.39/11.42 c 3.17752 10.6094 957 157662 11.39/11.42 o 9756 11.39/11.49 c 3.19551 10.6094 509 158903 11.39/11.49 o 9599 11.99/12.08 c 3.36349 10.6094 491 165610 11.99/12.08 o 9591 12.40/12.41 c 3.44448 10.6094 485 169696 12.40/12.41 o 9482 12.49/12.51 c 3.47347 10.6094 698 171415 12.49/12.51 o 9283 15.40/15.50 c 4.31134 10.7383 547 208481 15.40/15.50 o 9233 16.90/16.95 c 4.70928 10.7383 821 227763 16.90/16.95 o 9208 18.09/18.13 c 5.03323 10.7383 710 242612 18.09/18.13 o 9139 18.49/18.56 c 5.14522 10.7383 504 248615 18.49/18.56 o 9021 18.70/18.71 c 5.18621 10.7383 546 250890 18.70/18.71 o 8892 18.80/18.86 c 5.22221 10.7383 406 253790 18.80/18.86 o 8736 19.09/19.18 c 5.29719 10.7383 824 256828 19.09/19.18 o 8722 19.50/19.51 c 5.39218 10.7383 460 261138 19.50/19.51 o 8562 27.69/27.75 c 7.81381 10.8672 842 348263 27.69/27.75 o 8506 28.09/28.13 c 7.9198 10.8672 647 353478 28.09/28.13 o 8504 29.29/29.30 c 8.24675 10.8672 405 366838 29.29/29.30 o 8440 29.59/29.68 c 8.35173 10.8672 689 371392 29.59/29.68 o 8415 30.20/30.20 c 8.51071 10.8672 686 378547 30.20/30.20 o 8411 30.39/30.40 c 8.5637 10.8672 994 379907 30.39/30.40 o 8279 30.49/30.53 c 8.59769 10.8672 474 381984 30.49/30.53 o 8267 30.80/30.86 c 8.68768 10.8672 568 385509 30.80/30.86 o 8114 31.79/31.87 c 8.97064 10.8672 805 396170 31.79/31.87 o 8060 33.49/33.58 c 9.43956 10.8672 870 414594 33.49/33.58 o 8053 33.59/33.67 c 9.46456 10.8672 870 415953 33.59/33.67 o 7927 33.79/33.83 c 9.52155 10.8672 802 418305 33.79/33.83 o 7826 33.89/33.95 c 9.55455 10.8672 539 419774 33.89/33.95 o 7734 33.89/33.97 c 9.56255 10.8672 652 420354 33.89/33.97 o 7522 34.89/34.99 c 9.8615 10.8672 479 430930 34.89/34.99 o 7409 36.30/36.37 c 10.2344 10.8672 514 446694 36.30/36.37 o 7138 36.40/36.47 c 10.2674 10.8672 612 447992 36.40/36.47 o 7130 36.50/36.57 c 10.2894 10.8672 735 449449 36.50/36.57 o 6939 37.49/37.55 c 10.5674 10.8672 790 459313 37.49/37.55 o 6927 37.49/37.59 c 10.5784 10.8672 591 460085 37.49/37.59 o 6793 38.09/38.19 c 10.7434 10.8672 590 466837 38.09/38.19 o 6728 38.60/38.61 c 10.8424 10.8672 562 471808 38.60/38.61 o 6584 41.50/41.58 c 11.6542 10.8672 646 496070 41.50/41.58 o 6571 41.90/41.91 c 11.7472 10.8672 453 500391 41.90/41.91 o 6539 42.19/42.24 c 11.8462 10.8672 660 503790 42.19/42.24 o 6469 44.29/44.38 c 12.3911 10.8672 647 527233 44.29/44.38 o 6448 44.49/44.56 c 12.4391 10.8672 683 529287 44.49/44.56 o 6437 44.79/44.80 c 12.5061 10.8672 782 531318 44.79/44.80 o 6334 44.89/44.98 c 12.5561 10.8672 752 533449 44.89/44.98 o 6329 47.30/47.37 c 13.195 10.9883 750 555892 47.30/47.37 o 6264 47.79/47.80 c 13.319 10.9883 448 560950 47.79/47.80 o 6218 52.09/52.13 c 14.4948 10.9883 962 598912 52.09/52.13 o 6112 52.19/52.26 c 14.5318 10.9883 592 600383 52.19/52.26 o 6105 53.10/53.18 c 14.8077 10.9883 427 609831 53.10/53.18 o 6056 53.79/53.87 c 14.9187 10.9883 820 616883 53.79/53.87 o 5945 54.30/54.37 c 14.9817 10.9883 554 622214 54.30/54.37 o 5858 56.10/56.17 c 15.2787 10.9883 532 637894 56.10/56.17 o 5852 56.20/56.25 c 15.2937 10.9883 787 638635 56.20/56.25 o 5848 58.59/58.65 c 15.7986 10.9883 507 660757 58.59/58.65 o 5722 58.69/58.74 c 15.8336 10.9883 838 661670 58.69/58.74 o 5657 61.09/61.17 c 16.3885 10.9883 583 683730 61.09/61.17 o 5582 62.29/62.36 c 16.5945 10.9883 547 694021 62.29/62.36 o 5571 65.00/65.03 c 17.0414 10.9883 645 718002 65.00/65.03 o 5546 65.39/65.41 c 17.1924 10.9883 596 721615 65.39/65.41 o 5516 65.49/65.54 c 17.2314 10.9883 733 723048 65.49/65.54 o 5443 65.60/65.63 c 17.2594 10.9883 793 724285 65.60/65.63 o 5429 65.99/66.03 c 17.3854 10.9883 768 727971 65.99/66.03 o 5381 66.20/66.20 c 17.4204 10.9883 500 729145 66.20/66.20 o 5305 66.30/66.30 c 17.4333 10.9883 848 730012 66.30/66.30 o 5256 66.39/66.40 c 17.4563 10.9883 444 731170 66.39/66.40 o 5209 68.00/68.02 c 17.7183 10.9883 869 745968 68.00/68.02 o 5183 69.10/69.16 c 17.8683 11.1094 613 755932 69.10/69.16 o 5137 69.19/69.24 c 17.8803 11.1094 604 756940 69.19/69.24 o 5016 69.40/69.47 c 17.9103 11.1094 665 759344 69.40/69.47 o 5007 70.59/70.62 c 18.0793 11.1094 837 766799 70.59/70.62 o 4978 70.59/70.65 c 18.0832 11.1094 494 767110 70.59/70.65 o 4933 70.79/70.83 c 18.1222 11.1094 740 768558 70.79/70.83 o 4873 72.99/73.02 c 18.7511 11.1094 575 787737 72.99/73.02 o 4862 72.99/73.06 c 18.7641 11.1094 751 788246 72.99/73.06 o 4828 73.10/73.19 c 18.7991 11.1094 841 789238 73.10/73.19 o 4806 73.29/73.33 c 18.8291 11.1094 535 790500 73.29/73.33 o 4697 74.19/74.27 c 18.9801 11.1094 616 797948 74.19/74.27 o 4672 76.40/76.40 c 19.3611 11.1094 698 813156 76.40/76.40 o 4655 77.79/77.87 c 19.557 11.1094 718 825513 77.79/77.87 o 4649 77.99/78.00 c 19.576 11.1094 752 826589 77.99/78.00 o 4632 78.20/78.25 c 19.67 11.1094 547 828842 78.20/78.25 o 4608 78.49/78.56 c 19.767 11.1094 468 831750 78.49/78.56 o 4436 78.99/79.00 c 19.906 11.1094 627 835088 78.99/79.00 o 4430 78.99/79.09 c 19.944 11.1094 916 835907 78.99/79.09 o 4375 79.69/79.70 c 20.0959 11.1094 842 840416 79.69/79.70 o 4294 81.19/81.20 c 20.3299 11.1094 693 853135 81.19/81.20 o 4290 81.79/81.85 c 20.4169 11.1094 577 858954 81.79/81.85 o 4057 81.99/82.04 c 20.4439 11.1094 519 860886 81.99/82.04 o 4007 84.39/84.47 c 20.8388 11.1094 820 877297 84.39/84.47 o 4006 85.29/85.37 c 21.0848 11.1094 683 884681 85.29/85.37 o 3933 85.70/85.71 c 21.1948 11.1094 560 887446 85.70/85.71 o 3825 86.29/86.36 c 21.3418 11.1094 824 893374 86.29/86.36 o 3804 87.00/87.04 c 21.4277 11.1094 742 898862 87.00/87.04 o 3784 87.70/87.77 c 21.5207 11.1094 639 905329 87.70/87.77 o 3592 88.00/88.05 c 21.5497 11.1094 702 907462 88.00/88.05 o 3553 88.00/88.08 c 21.5537 11.1094 775 907654 88.00/88.08 o 3516 88.09/88.15 c 21.5717 11.1094 621 908265 88.09/88.15 o 3479 88.19/88.29 c 21.5907 11.1094 743 909612 88.19/88.29 o 3355 89.10/89.14 c 21.7147 11.1094 569 915823 89.10/89.14 o 3347 89.49/89.52 c 21.7777 11.1094 509 918633 89.49/89.52 o 3312 89.59/89.66 c 21.7957 11.1094 466 919465 89.59/89.66 o 3277 91.79/91.83 c 22.2196 11.2344 914 934507 91.79/91.83 o 3196 91.79/91.88 c 22.2346 11.2344 661 935096 91.79/91.88 o 3184 91.90/91.93 c 22.2506 11.2344 445 935680 91.90/91.93 o 3173 92.00/92.05 c 22.2836 11.2344 794 936576 92.00/92.05 o 3165 92.40/92.45 c 22.3906 11.2344 515 939925 92.40/92.45 o 2993 93.30/93.34 c 22.5426 11.2344 450 946027 93.30/93.34 o 2977 93.40/93.47 c 22.5606 11.2344 846 946988 93.40/93.47 o 2969 93.40/93.49 c 22.5646 11.2344 485 947242 93.40/93.49 o 2939 93.70/93.70 c 22.5936 11.2344 770 948963 93.70/93.70 o 2836 93.79/93.82 c 22.6106 11.2344 776 949899 93.79/93.82 o 2731 93.89/93.99 c 22.6346 11.2344 484 951168 93.89/93.99 o 2726 95.09/95.19 c 22.8335 11.2344 655 958983 95.09/95.19 o 2714 95.49/95.53 c 22.8915 11.2344 864 961026 95.49/95.53 o 2609 95.99/96.10 c 22.9735 11.2344 727 965597 95.99/96.10 o 2598 96.09/96.14 c 22.9795 11.2344 460 966058 96.09/96.14 o 2531 96.40/96.45 c 23.0115 11.2344 551 968149 96.40/96.45 o 2446 96.69/96.74 c 23.0595 11.2344 567 970254 96.69/96.74 o 2338 96.69/96.80 c 23.0675 11.2344 771 970800 96.69/96.80 o 2326 96.90/96.91 c 23.0865 11.2344 749 971684 96.90/96.91 o 2302 97.39/97.46 c 23.1765 11.2344 794 975429 97.39/97.46 o 2178 97.49/97.51 c 23.1915 11.2344 537 975809 97.49/97.51 o 2155 97.69/97.79 c 23.2325 11.2344 610 977732 97.69/97.79 o 2119 98.39/98.48 c 23.4364 11.2344 564 982422 98.39/98.48 o 2076 99.10/99.13 c 23.5994 11.2344 921 986520 99.10/99.13 o 2036 99.29/99.37 c 23.6384 11.2344 717 988152 99.29/99.37 o 2030 100.29/100.31 c 23.8134 11.2344 781 994748 100.29/100.31 o 1944 100.40/100.40 c 23.8314 11.2344 644 995529 100.40/100.40 o 1879 100.69/100.71 c 23.8884 11.2344 773 997705 100.69/100.71 o 1738 100.69/100.76 c 23.8934 11.2344 496 998235 100.69/100.76 o 1633 101.20/101.24 c 23.9634 11.2344 755 1001520 101.20/101.24 o 1620 101.20/101.26 c 23.9664 11.2344 813 1001678 101.20/101.26 o 1594 101.40/101.48 c 24.0004 11.2344 644 1003221 101.40/101.48 o 1512 101.50/101.53 c 24.0094 11.2344 760 1003543 101.50/101.53 o 1509 101.60/101.68 c 24.0283 11.3555 826 1004617 101.60/101.68 o 1453 101.80/101.81 c 24.0543 11.3555 783 1005544 101.80/101.81 o 1382 101.89/101.91 c 24.0793 11.3555 714 1006269 101.89/101.91 o 1348 102.69/102.78 c 24.2133 11.3555 857 1011835 102.69/102.78 o 1345 102.90/102.91 c 24.2423 11.3555 864 1012975 102.90/102.91 o 1328 103.39/103.50 c 24.3303 11.3555 463 1016658 103.39/103.50 o 1253 103.50/103.54 c 24.3363 11.3555 605 1017057 103.50/103.54 o 1205 103.80/103.83 c 24.3763 11.3555 639 1019068 103.80/103.83 o 1076 104.00/104.08 c 24.4333 11.3555 586 1020719 104.00/104.08 o 1062 104.30/104.38 c 24.5023 11.3555 536 1022330 104.30/104.38 o 1044 104.39/104.47 c 24.5353 11.3555 829 1022934 104.39/104.47 o 1030 104.50/104.59 c 24.5733 11.3555 798 1023873 104.50/104.59 o 978 104.60/104.69 c 24.6183 11.3555 732 1024496 104.60/104.69 o 974 104.90/104.92 c 24.6832 11.3555 573 1025736 104.90/104.92 o 972 105.00/105.02 c 24.7182 11.3555 515 1026544 105.00/105.02 o 935 105.09/105.19 c 24.7742 11.3555 659 1027856 105.09/105.19 o 932 105.29/105.32 c 24.8212 11.3555 682 1028663 105.29/105.32 o 921 105.39/105.40 c 24.8562 11.3555 939 1029229 105.39/105.40 o 865 105.39/105.47 c 24.8782 11.3555 710 1029707 105.39/105.47 o 858 105.49/105.54 c 24.9002 11.3555 941 1030229 105.49/105.54 o 769 105.60/105.60 c 24.9142 11.3555 667 1030580 105.60/105.60 o 768 105.60/105.64 c 24.9282 11.3555 863 1030986 105.60/105.64 o 727 105.70/105.79 c 24.9602 11.3555 998 1032175 105.70/105.79 o 697 105.80/105.86 c 24.9822 11.3555 765 1032650 105.80/105.86 o 693 105.89/105.92 c 24.9982 11.3555 1020 1033098 105.89/105.92 o 667 105.89/105.97 c 25.0132 11.3555 646 1033434 105.89/105.97 o 638 105.99/106.06 c 25.0342 11.3555 992 1033992 105.99/106.06 o 608 106.09/106.16 c 25.0612 11.3555 806 1034649 106.09/106.16 o 603 106.09/106.18 c 25.0672 11.3555 885 1034772 106.09/106.18 o 600 106.20/106.23 c 25.0772 11.3555 1052 1035112 106.20/106.23 o 591 106.20/106.26 c 25.0872 11.3555 599 1035362 106.20/106.26 o 512 106.20/106.29 c 25.0942 11.3555 727 1035625 106.20/106.29 o 422 106.29/106.31 c 25.0972 11.3555 807 1035776 106.29/106.31 o 397 106.29/106.37 c 25.1162 11.3555 1053 1036206 106.29/106.37 o 373 106.29/106.39 c 25.1262 11.3555 1189 1036421 106.29/106.39 o 341 106.39/106.42 c 25.1372 11.4805 1345 1036693 106.39/106.42 o 328 106.39/106.46 c 25.1492 11.4805 874 1036973 106.39/106.46 o 324 106.39/106.48 c 25.1572 11.4805 966 1037197 106.39/106.48 o 253 106.49/106.50 c 25.1682 11.4805 1119 1037409 106.49/106.50 o 229 106.49/106.51 c 25.1742 11.4805 1194 1037575 106.49/106.51 o 166 106.49/106.52 c 25.1772 11.4805 704 1037663 106.49/106.52 s OPTIMUM FOUND 106.49/106.52 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-2700087-1278533963/watcher-2700087-1278533963 -o /tmp/evaluation-result-2700087-1278533963/solver-2700087-1278533963 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700087-1278533963.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: 3.93 1.69 0.63 3/178 17416 /proc/meminfo: memFree=30137544/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=2136 CPUtime=0 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 261 0 0 0 0 0 0 0 21 0 1 0 21609717 2187264 180 4089446400 134512640 136422188 4293745888 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17416/statm: 534 180 144 467 0 65 0 [startup+0.10041 s] /proc/loadavg: 3.93 1.69 0.63 3/178 17416 /proc/meminfo: memFree=30137544/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=10476 CPUtime=0.09 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2337 0 0 0 5 4 0 0 21 0 1 0 21609717 10727424 2251 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2619 2251 238 467 0 2150 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10476 [startup+0.20039 s] /proc/loadavg: 3.93 1.69 0.63 3/178 17416 /proc/meminfo: memFree=30137544/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=10476 CPUtime=0.19 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2353 0 0 0 8 11 0 0 21 0 1 0 21609717 10727424 2265 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2619 2265 238 467 0 2150 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10476 [startup+0.300372 s] /proc/loadavg: 3.93 1.69 0.63 3/178 17416 /proc/meminfo: memFree=30137544/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=10476 CPUtime=0.29 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2362 0 0 0 12 17 0 0 21 0 1 0 21609717 10727424 2274 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2619 2274 238 467 0 2150 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10476 [startup+0.700301 s] /proc/loadavg: 3.93 1.69 0.63 3/178 17416 /proc/meminfo: memFree=30137544/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=10604 CPUtime=0.69 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2377 0 0 0 22 47 0 0 22 0 1 0 21609717 10858496 2286 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2651 2286 238 467 0 2182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10604 [startup+1.50022 s] /proc/loadavg: 3.93 1.69 0.63 3/179 17417 /proc/meminfo: memFree=30128980/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=10604 CPUtime=1.49 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2390 0 0 0 39 110 0 0 25 0 1 0 21609717 10858496 2297 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2651 2297 238 467 0 2182 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10604 [startup+3.10094 s] /proc/loadavg: 3.93 1.69 0.63 3/179 17417 /proc/meminfo: memFree=30128980/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=10732 CPUtime=3.09 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2421 0 0 0 74 235 0 0 25 0 1 0 21609717 10989568 2318 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2683 2318 238 467 0 2214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10732 [startup+6.30031 s] /proc/loadavg: 3.78 1.69 0.63 3/179 17418 /proc/meminfo: memFree=30129344/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=10732 CPUtime=6.29 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2447 0 0 0 165 464 0 0 25 0 1 0 21609717 10989568 2339 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2683 2339 238 467 0 2214 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10732 [startup+12.7002 s] /proc/loadavg: 3.64 1.70 0.64 3/179 17418 /proc/meminfo: memFree=30130204/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=10860 CPUtime=12.69 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2485 0 0 0 353 916 0 0 25 0 1 0 21609717 11120640 2368 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/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: 3.27 1.71 0.66 3/179 17419 /proc/meminfo: memFree=30131252/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=10992 CPUtime=25.5 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2530 0 0 0 714 1836 0 0 25 0 1 0 21609717 11255808 2405 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2748 2405 238 467 0 2279 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 10992 [startup+51.1004 s] /proc/loadavg: 2.84 1.73 0.70 3/179 17419 /proc/meminfo: memFree=30130960/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=11248 CPUtime=51.09 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2612 0 0 0 1424 3685 0 0 25 0 1 0 21609717 11517952 2456 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2812 2456 238 467 0 2343 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11248 [startup+102.3 s] /proc/loadavg: 2.36 1.77 0.76 3/179 17448 /proc/meminfo: memFree=30008164/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=11624 CPUtime=102.29 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2794 0 0 0 2414 7815 0 0 25 0 1 0 21609717 11902976 2547 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2906 2547 238 467 0 2437 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 11624 Solver just ended. Dumping a history of the last processes samples [startup+102.406 s] /proc/loadavg: 2.36 1.77 0.76 3/179 17448 /proc/meminfo: memFree=30008164/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=11624 CPUtime=102.4 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2794 0 0 0 2416 7824 0 0 25 0 1 0 21609717 11902976 2547 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2906 2547 238 467 0 2437 0 Current children cumulated CPU time (s) 102.4 Current children cumulated vsize (KiB) 11624 [startup+104.001 s] /proc/loadavg: 2.36 1.77 0.76 3/179 17448 /proc/meminfo: memFree=30005656/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=11624 CPUtime=104 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2804 0 0 0 2441 7959 0 0 25 0 1 0 21609717 11902976 2552 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2906 2552 238 467 0 2437 0 Current children cumulated CPU time (s) 104 Current children cumulated vsize (KiB) 11624 [startup+105.601 s] /proc/loadavg: 2.33 1.77 0.77 3/179 17448 /proc/meminfo: memFree=30002308/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=11624 CPUtime=105.6 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2827 0 0 0 2491 8069 0 0 25 0 1 0 21609717 11902976 2563 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2906 2563 238 467 0 2437 0 Current children cumulated CPU time (s) 105.6 Current children cumulated vsize (KiB) 11624 [startup+106.001 s] /proc/loadavg: 2.33 1.77 0.77 3/179 17448 /proc/meminfo: memFree=30002308/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=11624 CPUtime=105.99 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2837 0 0 0 2501 8098 0 0 25 0 1 0 21609717 11902976 2567 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2906 2567 238 467 0 2437 0 Current children cumulated CPU time (s) 105.99 Current children cumulated vsize (KiB) 11624 [startup+106.401 s] /proc/loadavg: 2.33 1.77 0.77 3/179 17448 /proc/meminfo: memFree=30002308/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=11624 CPUtime=106.39 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2852 0 0 0 2512 8127 0 0 25 0 1 0 21609717 11902976 2573 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2906 2573 238 467 0 2437 0 Current children cumulated CPU time (s) 106.39 Current children cumulated vsize (KiB) 11624 [startup+106.501 s] /proc/loadavg: 2.33 1.77 0.77 3/179 17448 /proc/meminfo: memFree=30002308/32950928 swapFree=4192956/4192956 [pid=17416] ppid=17414 vsize=11752 CPUtime=106.49 /proc/17416/stat : 17416 (pbct) R 17414 17416 16702 0 -1 4202496 2859 0 0 0 2516 8133 0 0 25 0 1 0 21609717 12034048 2577 4089446400 134512640 136422188 4293745888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/17416/statm: 2938 2577 238 467 0 2469 0 Current children cumulated CPU time (s) 106.49 Current children cumulated vsize (KiB) 11752 Child status: 0 Real time (s): 106.531 CPU time (s): 106.534 CPU user time (s): 25.1852 CPU system time (s): 81.3486 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 11752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.1852 system time used= 81.3486 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2866 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= 108 runsolver used 0.169974 second user time and 0.32795 second system time The end
Begin job on node124 at 2010-07-07 22:19:23 IDJOB=2700087 IDBENCH=79398 IDSOLVER=1212 FILE ID=node124/2700087-1278533963 PBS_JOBID= 11239229 Free space on /tmp= 130204 MiB SOLVER NAME= PB/CT 0.1 fixed 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-2700087-1278533963/watcher-2700087-1278533963 -o /tmp/evaluation-result-2700087-1278533963/solver-2700087-1278533963 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700087-1278533963.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= af72756a7b8194161c8db176c46da286 RANDOM SEED=365377467 node124.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.846 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.69 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.846 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.14 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.846 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.75 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.846 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.846 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.846 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.846 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.76 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.846 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30138048 kB Buffers: 130324 kB Cached: 2500628 kB SwapCached: 0 kB Active: 974928 kB Inactive: 1727584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30138048 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4072 kB Writeback: 0 kB AnonPages: 71508 kB Mapped: 15424 kB Slab: 76920 kB PageTables: 5288 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 213516 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130200 MiB End job on node124 at 2010-07-07 22:21:10