Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 90.1433 | 90.1477 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh203_wcsp.wbo |
MD5SUM | 542e56009f24e88bce5dd1146eaa3ca2 |
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 | 39 |
Best CPU time to get the best result obtained on this benchmark | 0.022995 |
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 | 900 |
Number of soft constraints | 800 |
Number of constraints which are clauses | 800 |
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 | 394239 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 394238 |
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/800 units 0 0.00/0.00 c vars 200 0.02/0.04 c 0.035994 9.74219 1 1842 0.02/0.04 o 31226 0.02/0.04 c 0.035994 9.89844 1 2341 0.02/0.04 o 30717 0.02/0.04 c 0.037994 9.89844 2 2821 0.02/0.04 o 30243 0.02/0.04 c 0.037994 9.89844 2 3672 0.02/0.04 o 12311 0.02/0.04 c 0.038994 9.89844 3 4203 0.02/0.04 o 11884 0.02/0.04 c 0.039993 9.89844 3 4602 0.02/0.04 o 11643 0.02/0.05 c 0.041993 9.89844 3 5007 0.02/0.05 o 11424 0.02/0.05 c 0.041993 9.89844 9 5783 0.02/0.05 o 10873 0.09/0.16 c 0.107983 10.0234 368 8016 0.09/0.16 o 10740 0.59/0.60 c 0.375942 10.1484 734 13143 0.59/0.60 o 10702 1.39/1.40 c 0.875866 10.1484 548 24389 1.39/1.40 o 10693 1.69/1.72 c 1.06684 10.1484 653 28334 1.69/1.72 o 10553 2.09/2.13 c 1.3288 10.1484 776 33743 2.09/2.13 o 10438 2.59/2.66 c 1.65675 10.1484 945 38708 2.59/2.66 o 10420 3.89/3.93 c 2.46163 10.2734 505 55252 3.89/3.93 o 10402 3.99/4.06 c 2.55461 10.2734 463 57321 3.99/4.06 o 10311 4.09/4.10 c 2.57361 10.2734 647 57792 4.09/4.10 o 10310 4.89/4.99 c 3.15852 10.2734 730 68226 4.89/4.99 o 10161 5.49/5.57 c 3.53346 10.2734 718 73718 5.49/5.57 o 10102 6.69/6.75 c 4.25435 10.2734 622 89825 6.69/6.75 o 10089 6.99/7.01 c 4.41533 10.2734 691 93276 6.99/7.01 o 9926 7.79/7.80 c 4.89326 10.2734 539 104166 7.79/7.80 o 9791 8.09/8.10 c 5.07823 10.2734 666 107765 8.09/8.10 o 9725 8.19/8.27 c 5.19121 10.2734 488 110550 8.19/8.27 o 9601 8.48/8.53 c 5.36318 10.2734 731 113780 8.48/8.53 o 9556 8.48/8.57 c 5.38518 10.2734 530 114453 8.48/8.57 o 9555 8.59/8.63 c 5.42917 10.2734 628 116002 8.59/8.63 o 9489 10.29/10.37 c 6.51701 10.3984 751 137275 10.29/10.37 o 9452 10.39/10.41 c 6.547 10.3984 632 138224 10.39/10.41 o 9340 10.48/10.54 c 6.62899 10.3984 890 139713 10.48/10.54 o 9237 10.59/10.66 c 6.71498 10.3984 593 141236 10.59/10.66 o 9193 10.78/10.89 c 6.86796 10.3984 681 144250 10.78/10.89 o 9188 12.09/12.18 c 7.68683 10.3984 570 159277 12.09/12.18 o 9179 13.38/13.43 c 8.44971 10.3984 607 175170 13.38/13.43 o 9138 13.79/13.81 c 8.68968 10.3984 799 180424 13.79/13.81 o 9079 14.29/14.39 c 9.06362 10.3984 656 187998 14.29/14.39 o 8841 14.89/14.93 c 9.41757 10.3984 865 195496 14.89/14.93 o 8833 15.48/15.52 c 9.78651 10.3984 912 203334 15.48/15.52 o 8733 16.19/16.29 c 10.2774 10.3984 905 213702 16.19/16.29 o 8638 16.39/16.44 c 10.3654 10.3984 689 215995 16.39/16.44 o 8390 16.99/17.06 c 10.7444 10.3984 695 223407 16.99/17.06 o 8345 19.39/19.46 c 12.2451 10.5234 730 252735 19.39/19.46 o 8331 19.79/19.83 c 12.4641 10.5234 486 258137 19.79/19.83 o 8225 21.39/21.44 c 13.46 10.5234 540 277704 21.39/21.44 o 8170 21.39/21.48 c 13.4849 10.5234 399 278550 21.39/21.48 o 8077 22.08/22.10 c 13.8739 10.5234 762 286437 22.08/22.10 o 8049 22.69/22.72 c 14.2638 10.5234 607 293319 22.69/22.72 o 7811 23.09/23.18 c 14.5418 10.5234 692 297406 23.09/23.18 o 7729 23.28/23.32 c 14.6338 10.5234 656 299373 23.28/23.32 o 7650 23.48/23.58 c 14.7838 10.5234 750 302554 23.48/23.58 o 7549 26.59/26.64 c 16.6265 10.5234 774 334193 26.59/26.64 o 7504 27.58/27.66 c 17.2534 10.5234 758 346776 27.58/27.66 o 7484 30.80/30.82 c 19.2011 10.5234 644 379702 30.80/30.82 o 7394 31.79/31.90 c 19.86 10.5234 676 392399 31.79/31.90 o 7321 32.08/32.14 c 20.008 10.6484 794 394138 32.08/32.14 o 7277 32.89/32.99 c 20.5359 10.6484 575 404818 32.89/32.99 o 7270 33.99/34.09 c 21.2238 10.6484 856 415866 33.99/34.09 o 7221 34.58/34.69 c 21.6167 10.6484 839 422755 34.58/34.69 o 7194 35.19/35.24 c 21.9757 10.6484 630 429113 35.19/35.24 o 7095 35.28/35.40 c 22.0666 10.6484 553 430914 35.28/35.40 o 7087 36.09/36.17 c 22.5696 10.6484 539 438647 36.09/36.17 o 7037 36.58/36.60 c 22.8275 10.6484 806 443355 36.58/36.60 o 6956 36.58/36.68 c 22.8925 10.6484 706 444089 36.58/36.68 o 6914 36.99/37.03 c 23.1165 10.6484 918 448240 36.99/37.03 o 6851 37.78/37.85 c 23.6274 10.6484 533 457119 37.78/37.85 o 6802 37.89/37.91 c 23.6664 10.6484 771 457967 37.89/37.91 o 6484 37.99/38.00 c 23.7264 10.6484 746 459101 37.99/38.00 o 6236 38.49/38.57 c 24.0713 10.6484 832 464607 38.49/38.57 o 6189 40.09/40.17 c 25.0662 10.6484 790 480159 40.09/40.17 o 6049 40.38/40.43 c 25.2182 10.6484 854 483349 40.38/40.43 o 5982 42.09/42.16 c 26.28 10.6484 566 501279 42.09/42.16 o 5973 42.29/42.39 c 26.435 10.6484 806 504038 42.29/42.39 o 5950 43.89/43.96 c 27.4248 10.6484 778 518638 43.89/43.96 o 5926 44.09/44.19 c 27.5628 10.6484 604 521260 44.09/44.19 o 5917 45.48/45.50 c 28.3917 10.6484 581 533400 45.48/45.50 o 5835 48.18/48.24 c 30.0714 10.6484 452 562791 48.18/48.24 o 5505 48.29/48.39 c 30.1594 10.6484 648 564274 48.29/48.39 o 5447 48.69/48.76 c 30.3934 10.6484 660 568427 48.69/48.76 o 5419 51.60/51.60 c 32.1511 10.6484 826 593263 51.60/51.60 o 5398 53.09/53.19 c 33.145 10.7734 539 603556 53.09/53.19 o 5396 53.69/53.71 c 33.4749 10.7734 661 607405 53.69/53.71 o 5367 56.10/56.19 c 35.0287 10.7734 537 629353 56.10/56.19 o 5249 58.69/58.70 c 36.5434 10.7734 792 648960 58.69/58.70 o 5222 58.79/58.85 c 36.6414 10.7734 589 650465 58.79/58.85 o 5169 59.59/59.66 c 37.1424 10.7734 781 657262 59.59/59.66 o 5105 59.78/59.86 c 37.2533 10.7734 780 659320 59.78/59.86 o 4942 59.99/60.09 c 37.4083 10.7734 506 661875 59.99/60.09 o 4847 60.39/60.49 c 37.6543 10.7734 490 665492 60.39/60.49 o 4811 60.69/60.73 c 37.8053 10.7734 680 667828 60.69/60.73 o 4799 61.29/61.37 c 38.2292 10.7734 430 673182 61.29/61.37 o 4798 61.59/61.69 c 38.4372 10.7734 564 676436 61.59/61.69 o 4581 62.09/62.16 c 38.7241 10.7734 500 680117 62.09/62.16 o 4550 63.18/63.29 c 39.43 10.7734 933 687510 63.18/63.29 o 4504 64.28/64.36 c 40.0619 10.7734 509 697117 64.28/64.36 o 4475 64.39/64.46 c 40.1259 10.7734 494 698208 64.39/64.46 o 4342 64.69/64.77 c 40.3299 10.7734 629 700732 64.69/64.77 o 4324 64.80/64.89 c 40.4139 10.7734 713 701965 64.80/64.89 o 4267 64.90/64.96 c 40.4598 10.7734 587 702767 64.90/64.96 o 4230 65.29/65.35 c 40.6948 10.7734 731 706101 65.29/65.35 o 4222 65.49/65.51 c 40.8028 10.7734 576 707944 65.49/65.51 o 4079 66.08/66.10 c 41.1627 10.7734 815 711970 66.08/66.10 o 4063 66.18/66.27 c 41.2817 10.7734 675 713450 66.18/66.27 o 4051 66.58/66.68 c 41.5477 10.7734 725 716508 66.58/66.68 o 3936 67.00/67.03 c 41.7647 10.7734 757 719648 67.00/67.03 o 3877 67.19/67.26 c 41.9036 10.7734 732 721644 67.19/67.26 o 3790 67.29/67.38 c 41.9766 10.7734 813 722734 67.29/67.38 o 3762 67.69/67.72 c 42.1986 10.7734 719 725221 67.69/67.72 o 3714 67.78/67.83 c 42.2686 10.7734 750 726291 67.78/67.83 o 3682 68.79/68.83 c 42.8955 10.7734 641 734464 68.79/68.83 o 3615 69.39/69.49 c 43.2984 10.7734 571 739254 69.39/69.49 o 3518 69.49/69.57 c 43.3434 10.7734 845 739908 69.49/69.57 o 3496 70.08/70.19 c 43.7224 10.7734 541 745051 70.08/70.19 o 3468 70.19/70.22 c 43.7473 10.7734 695 745646 70.19/70.22 o 3348 70.19/70.24 c 43.7603 10.8945 782 745883 70.19/70.24 o 3344 71.59/71.65 c 44.6292 10.8945 781 756428 71.59/71.65 o 3295 72.28/72.34 c 45.0591 10.8945 718 761652 72.28/72.34 o 3247 72.69/72.71 c 45.2991 10.8945 695 764230 72.69/72.71 o 3226 72.99/73.05 c 45.5131 10.8945 606 766851 72.99/73.05 o 3133 72.99/73.07 c 45.5271 10.8945 700 767079 72.99/73.07 o 3117 73.28/73.32 c 45.6841 10.8945 727 768785 73.28/73.32 o 3069 73.38/73.47 c 45.776 10.8945 477 769957 73.38/73.47 o 3067 73.49/73.50 c 45.798 10.8945 600 770353 73.49/73.50 o 3053 74.39/74.47 c 46.3989 10.8945 499 777520 74.39/74.47 o 2971 74.59/74.67 c 46.5209 10.8945 808 779404 74.59/74.67 o 2899 75.08/75.18 c 46.8419 10.8945 646 782376 75.08/75.18 o 2859 75.58/75.65 c 47.1578 10.8945 592 785833 75.58/75.65 o 2854 75.69/75.78 c 47.2308 10.8945 551 786732 75.69/75.78 o 2760 75.79/75.86 c 47.2818 10.8945 789 787259 75.79/75.86 o 2753 75.89/75.99 c 47.3648 10.8945 423 788586 75.89/75.99 o 2707 75.99/76.07 c 47.4268 10.8945 688 789238 75.99/76.07 o 2695 76.79/76.80 c 47.8847 10.8945 724 794650 76.79/76.80 o 2671 77.49/77.54 c 48.3516 10.8945 488 798932 77.49/77.54 o 2612 77.78/77.86 c 48.5496 10.8945 683 801408 77.78/77.86 o 2569 77.89/77.95 c 48.6006 10.8945 557 802033 77.89/77.95 o 2561 78.29/78.39 c 48.8816 10.8945 657 804764 78.29/78.39 o 2541 79.09/79.14 c 49.3475 10.8945 780 810476 79.09/79.14 o 2438 79.09/79.19 c 49.3745 10.8945 542 810828 79.09/79.19 o 2418 79.49/79.53 c 49.5945 10.8945 706 813252 79.49/79.53 o 2320 79.49/79.56 c 49.6145 10.8945 417 813831 79.49/79.56 o 2104 79.58/79.64 c 49.6654 10.8945 651 814497 79.58/79.64 o 2079 79.68/79.77 c 49.7454 10.8945 638 815298 79.68/79.77 o 2055 79.99/80.04 c 49.9074 10.8945 641 817434 79.99/80.04 o 2041 80.19/80.29 c 50.0654 10.8945 638 819525 80.19/80.29 o 1992 82.29/82.35 c 51.3072 10.8945 694 831789 82.29/82.35 o 1968 82.39/82.41 c 51.3462 10.8945 494 832282 82.39/82.41 o 1937 82.78/82.82 c 51.5892 10.8945 568 834906 82.78/82.82 o 1923 82.89/82.98 c 51.6931 10.8945 730 836048 82.89/82.98 o 1907 83.18/83.25 c 51.8581 10.8945 767 837982 83.18/83.25 o 1874 83.29/83.36 c 51.9291 10.8945 753 838848 83.29/83.36 o 1855 83.38/83.44 c 51.9771 10.8945 684 839636 83.38/83.44 o 1745 83.69/83.73 c 52.1621 10.8945 744 841417 83.69/83.73 o 1726 83.88/83.95 c 52.303 11.0156 563 842898 83.88/83.95 o 1677 83.99/84.06 c 52.376 11.0156 469 843552 83.99/84.06 o 1673 84.09/84.12 c 52.406 11.0156 646 843976 84.09/84.12 o 1665 84.39/84.46 c 52.617 11.0156 767 846153 84.39/84.46 o 1636 84.49/84.53 c 52.667 11.0156 580 846675 84.49/84.53 o 1629 84.59/84.65 c 52.742 11.0156 562 847587 84.59/84.65 o 1566 84.79/84.89 c 52.891 11.0156 824 848827 84.79/84.89 o 1521 84.79/84.89 c 52.893 11.0156 430 848912 84.79/84.89 o 1517 84.88/84.97 c 52.944 11.0156 664 849426 84.88/84.97 o 1496 84.99/85.04 c 52.9929 11.0156 512 850096 84.99/85.04 o 1460 85.09/85.16 c 53.0669 11.0156 876 850979 85.09/85.16 o 1449 85.99/86.00 c 53.5789 11.0156 666 856803 85.99/86.00 o 1383 86.28/86.33 c 53.7818 11.0156 528 859478 86.28/86.33 o 1364 86.28/86.37 c 53.8088 11.0156 658 859811 86.28/86.37 o 1347 86.59/86.62 c 53.9748 11.0156 598 861589 86.59/86.62 o 1322 86.59/86.68 c 54.0078 11.0156 820 862165 86.59/86.68 o 1256 87.29/87.32 c 54.4097 11.0156 494 866803 87.29/87.32 o 1246 87.38/87.46 c 54.4927 11.0156 512 867730 87.38/87.46 o 1229 87.38/87.48 c 54.5067 11.0156 577 867913 87.38/87.48 o 1209 87.69/87.71 c 54.6547 11.0156 569 869635 87.69/87.71 o 1154 87.69/87.75 c 54.6867 11.0156 720 870095 87.69/87.75 o 1119 87.79/87.84 c 54.7387 11.0156 552 870629 87.79/87.84 o 1113 88.09/88.18 c 54.9596 11.0156 809 872811 88.09/88.18 o 1106 88.18/88.20 c 54.9716 11.0156 453 872968 88.18/88.20 o 1062 88.29/88.39 c 55.0786 11.0156 582 874167 88.29/88.39 o 1047 88.38/88.43 c 55.1076 11.0156 723 874507 88.38/88.43 o 1025 88.38/88.50 c 55.1516 11.0156 503 874896 88.38/88.50 o 1017 88.49/88.57 c 55.1956 11.0156 768 875395 88.49/88.57 o 1016 88.49/88.59 c 55.2076 11.0156 832 875576 88.49/88.59 o 946 88.59/88.69 c 55.2776 11.0156 770 876242 88.59/88.69 o 915 88.89/88.97 c 55.4396 11.0156 892 878175 88.89/88.97 o 895 88.99/89.01 c 55.4606 11.0156 624 878605 88.99/89.01 o 876 89.09/89.18 c 55.5586 11.0156 753 879773 89.09/89.18 o 872 89.19/89.27 c 55.6245 11.1367 575 880414 89.19/89.27 o 839 89.19/89.28 c 55.6295 11.1367 591 880499 89.19/89.28 o 815 89.39/89.41 c 55.7135 11.1367 619 881463 89.39/89.41 o 813 89.39/89.43 c 55.7275 11.1367 685 881626 89.39/89.43 o 796 89.39/89.45 c 55.7385 11.1367 752 881777 89.39/89.45 o 791 89.39/89.49 c 55.7635 11.1367 880 882091 89.39/89.49 o 731 89.48/89.56 c 55.8165 11.1367 714 882740 89.48/89.56 o 620 89.48/89.57 c 55.8245 11.1367 796 882900 89.48/89.57 o 575 89.59/89.67 c 55.8855 11.1367 1239 883667 89.59/89.67 o 560 89.69/89.77 c 55.9615 11.1367 1072 884519 89.69/89.77 o 552 89.79/89.86 c 56.0195 11.1367 931 885250 89.79/89.86 o 526 89.79/89.88 c 56.0335 11.1367 1030 885443 89.79/89.88 o 479 89.88/89.94 c 56.0795 11.1367 674 885903 89.88/89.94 o 469 89.88/89.95 c 56.0885 11.1367 741 886064 89.88/89.95 o 431 89.88/89.96 c 56.0915 11.1367 765 886125 89.88/89.96 o 419 89.88/89.98 c 56.1065 11.1367 850 886328 89.88/89.98 o 399 89.98/90.01 c 56.1265 11.1367 1006 886623 89.98/90.01 o 353 89.98/90.04 c 56.1445 11.1367 1139 886848 89.98/90.04 o 337 89.98/90.06 c 56.1615 11.1367 1237 887102 89.98/90.06 o 294 89.98/90.09 c 56.1865 11.1367 804 887427 89.98/90.09 o 271 90.09/90.11 c 56.2065 11.1367 968 887690 90.09/90.11 o 265 90.09/90.12 c 56.2095 11.1367 992 887738 90.09/90.12 o 244 90.09/90.12 c 56.2115 11.1367 1010 887775 90.09/90.12 o 239 90.09/90.13 c 56.2135 11.1367 788 887832 90.09/90.13 o 209 90.09/90.13 c 56.2145 11.1367 793 887860 90.09/90.13 o 192 90.09/90.13 c 56.2155 11.1367 793 887882 90.09/90.13 o 176 90.09/90.13 c 56.2165 11.1367 798 887924 90.09/90.13 o 140 90.09/90.13 c 56.2175 11.1367 802 887948 90.09/90.13 o 134 90.09/90.13 c 56.2195 11.1367 814 887978 90.09/90.13 o 133 90.09/90.13 c 56.2215 11.1367 817 888050 90.09/90.13 o 55 90.09/90.13 c 56.2225 11.1367 819 888068 90.09/90.13 o 39 90.09/90.13 c 56.2225 11.1367 819 888068 90.09/90.13 s OPTIMUM FOUND 90.09/90.13 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 39
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700243-1278534505/watcher-2700243-1278534505 -o /tmp/evaluation-result-2700243-1278534505/solver-2700243-1278534505 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700243-1278534505.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: 2.04 1.80 1.02 4/176 18152 /proc/meminfo: memFree=29096592/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=2136 CPUtime=0 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 256 0 0 0 0 0 0 0 24 0 1 0 21664238 2187264 175 4089446400 134512640 136422188 4287290224 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18152/statm: 534 175 144 467 0 65 0 [startup+0.0328999 s] /proc/loadavg: 2.04 1.80 1.02 4/176 18152 /proc/meminfo: memFree=29096592/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=9416 CPUtime=0.02 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2071 0 0 0 2 0 0 0 24 0 1 0 21664238 9641984 1990 4089446400 134512640 136422188 4287290224 18446744073709551615 134815464 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18152/statm: 2354 1990 199 467 0 1885 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9416 [startup+0.100901 s] /proc/loadavg: 2.04 1.80 1.02 4/176 18152 /proc/meminfo: memFree=29096592/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=10132 CPUtime=0.09 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2280 0 0 0 6 3 0 0 24 0 1 0 21664238 10375168 2191 4089446400 134512640 136422188 4287290224 18446744073709551615 134862319 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18152/statm: 2533 2191 238 467 0 2064 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10132 [startup+0.30087 s] /proc/loadavg: 2.04 1.80 1.02 4/176 18152 /proc/meminfo: memFree=29096592/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=10388 CPUtime=0.29 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2315 0 0 0 19 10 0 0 25 0 1 0 21664238 10637312 2225 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18152/statm: 2597 2225 238 467 0 2128 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10388 [startup+0.700801 s] /proc/loadavg: 2.04 1.80 1.02 4/176 18152 /proc/meminfo: memFree=29096592/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=10388 CPUtime=0.69 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2321 0 0 0 42 27 0 0 25 0 1 0 21664238 10637312 2230 4089446400 134512640 136422188 4287290224 18446744073709551615 135011328 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18152/statm: 2597 2230 238 467 0 2128 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10388 [startup+1.50066 s] /proc/loadavg: 2.04 1.80 1.02 3/177 18153 /proc/meminfo: memFree=29087160/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=10388 CPUtime=1.49 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2334 0 0 0 93 56 0 0 25 0 1 0 21664238 10637312 2242 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18152/statm: 2597 2242 238 467 0 2128 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10388 [startup+3.1004 s] /proc/loadavg: 2.04 1.80 1.03 3/177 18153 /proc/meminfo: memFree=29085812/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=10388 CPUtime=3.09 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2350 0 0 0 193 116 0 0 25 0 1 0 21664238 10637312 2255 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18152/statm: 2597 2255 238 467 0 2128 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10388 [startup+6.30086 s] /proc/loadavg: 2.04 1.80 1.03 3/177 18153 /proc/meminfo: memFree=29082776/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=10516 CPUtime=6.29 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2375 0 0 0 397 232 0 0 25 0 1 0 21664238 10768384 2275 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/18152/statm: 2629 2275 238 467 0 2160 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10516 [startup+12.7008 s] /proc/loadavg: 2.03 1.81 1.04 3/177 18153 /proc/meminfo: memFree=29077688/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=10644 CPUtime=12.69 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2424 0 0 0 800 469 0 0 25 0 1 0 21664238 10899456 2310 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/18152/statm: 2661 2310 238 467 0 2192 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10644 [startup+25.5006 s] /proc/loadavg: 2.03 1.81 1.05 3/177 18153 /proc/meminfo: memFree=29071264/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=10772 CPUtime=25.49 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2478 0 0 0 1595 954 0 0 25 0 1 0 21664238 11030528 2347 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/18152/statm: 2693 2347 238 467 0 2224 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10772 [startup+51.1003 s] /proc/loadavg: 2.02 1.83 1.07 3/177 18154 /proc/meminfo: memFree=29047916/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=10900 CPUtime=51.09 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2546 0 0 0 3183 1926 0 0 25 0 1 0 21664238 11161600 2387 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/18152/statm: 2725 2387 238 467 0 2256 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 10900 Solver just ended. Dumping a history of the last processes samples [startup+76.7009 s] /proc/loadavg: 2.01 1.84 1.09 3/177 18155 /proc/meminfo: memFree=29024948/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=11152 CPUtime=76.69 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2648 0 0 0 4782 2887 0 0 25 0 1 0 21664238 11419648 2437 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/18152/statm: 2788 2437 238 467 0 2319 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 11152 [startup+83.1009 s] /proc/loadavg: 2.01 1.84 1.10 3/177 18155 /proc/meminfo: memFree=29021580/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=11152 CPUtime=83.09 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2680 0 0 0 5176 3133 0 0 25 0 1 0 21664238 11419648 2452 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/18152/statm: 2788 2452 238 467 0 2319 0 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (KiB) 11152 [startup+86.3003 s] /proc/loadavg: 2.01 1.84 1.10 3/177 18155 /proc/meminfo: memFree=29018844/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=11276 CPUtime=86.28 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2716 0 0 0 5375 3253 0 0 25 0 1 0 21664238 11546624 2472 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/18152/statm: 2819 2472 238 467 0 2350 0 Current children cumulated CPU time (s) 86.28 Current children cumulated vsize (KiB) 11276 [startup+87.901 s] /proc/loadavg: 2.01 1.85 1.11 3/177 18155 /proc/meminfo: memFree=29016364/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=11276 CPUtime=87.89 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2732 0 0 0 5477 3312 0 0 25 0 1 0 21664238 11546624 2478 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/18152/statm: 2819 2478 238 467 0 2350 0 Current children cumulated CPU time (s) 87.89 Current children cumulated vsize (KiB) 11276 [startup+89.5008 s] /proc/loadavg: 2.01 1.85 1.11 3/177 18155 /proc/meminfo: memFree=29015372/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=11400 CPUtime=89.48 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2761 0 0 0 5576 3372 0 0 18 0 1 0 21664238 11673600 2490 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/18152/statm: 2850 2490 238 467 0 2381 0 Current children cumulated CPU time (s) 89.48 Current children cumulated vsize (KiB) 11400 [startup+89.9007 s] /proc/loadavg: 2.01 1.85 1.11 3/177 18155 /proc/meminfo: memFree=29015372/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=11400 CPUtime=89.88 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2776 0 0 0 5604 3384 0 0 18 0 1 0 21664238 11673600 2499 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/18152/statm: 2850 2499 238 467 0 2381 0 Current children cumulated CPU time (s) 89.88 Current children cumulated vsize (KiB) 11400 [startup+90.1007 s] /proc/loadavg: 2.01 1.85 1.11 3/177 18155 /proc/meminfo: memFree=29014388/32951132 swapFree=67111528/67111528 [pid=18152] ppid=18150 vsize=11400 CPUtime=90.09 /proc/18152/stat : 18152 (pbct) R 18150 18152 17444 0 -1 4202496 2795 0 0 0 5619 3390 0 0 18 0 1 0 21664238 11673600 2510 4089446400 134512640 136422188 4287290224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/18152/statm: 2850 2510 238 467 0 2381 0 Current children cumulated CPU time (s) 90.09 Current children cumulated vsize (KiB) 11400 Child status: 0 Real time (s): 90.1477 CPU time (s): 90.1433 CPU user time (s): 56.2304 CPU system time (s): 33.9128 CPU usage (%): 99.9952 Max. virtual memory (cumulated for all children) (KiB): 11400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 56.2305 system time used= 33.9128 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2812 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= 5 involuntary context switches= 114 runsolver used 0.148977 second user time and 0.306953 second system time The end
Begin job on node129 at 2010-07-07 22:28:25 IDJOB=2700243 IDBENCH=79411 IDSOLVER=1212 FILE ID=node129/2700243-1278534505 PBS_JOBID= 11239220 Free space on /tmp= 73788 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh203_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700243-1278534505/watcher-2700243-1278534505 -o /tmp/evaluation-result-2700243-1278534505/solver-2700243-1278534505 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700243-1278534505.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 542e56009f24e88bce5dd1146eaa3ca2 RANDOM SEED=525820831 node129.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.836 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.67 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.836 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.83 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.836 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.836 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.75 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.836 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 : 5311.72 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.836 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.836 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.75 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.836 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: 32951132 kB MemFree: 29096988 kB Buffers: 136828 kB Cached: 2864920 kB SwapCached: 0 kB Active: 1844040 kB Inactive: 1868232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29096988 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1936 kB Writeback: 0 kB AnonPages: 711236 kB Mapped: 15328 kB Slab: 75708 kB PageTables: 6432 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 859688 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73788 MiB End job on node129 at 2010-07-07 22:29:55