Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 110.764 | 110.762 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo |
MD5SUM | 401aade47f990d36319fcf6fc2a74e2a |
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 | 85 |
Best CPU time to get the best result obtained on this benchmark | 0.029995 |
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.01/0.03 c 0.032994 9.95312 1 1940 0.01/0.04 o 32126 0.01/0.04 c 0.033994 10.1133 1 2831 0.01/0.04 o 30760 0.01/0.04 c 0.034994 10.1133 2 3477 0.01/0.04 o 30103 0.01/0.04 c 0.034994 10.1133 2 4363 0.01/0.04 o 21030 0.01/0.04 c 0.034994 10.1133 2 4642 0.01/0.04 o 20960 0.01/0.04 c 0.035994 10.1133 5 5252 0.01/0.04 o 20456 0.01/0.05 c 0.035994 10.1133 5 6148 0.01/0.05 o 10499 0.01/0.05 c 0.036994 10.1133 5 6591 0.01/0.05 o 10396 0.01/0.05 c 0.037994 10.1133 30 7254 0.01/0.05 o 10024 1.69/1.77 c 0.441932 10.3633 702 29266 1.69/1.77 o 9978 3.59/3.63 c 0.767883 10.4883 731 50175 3.59/3.63 o 9963 3.89/3.97 c 0.825874 10.4883 507 55109 3.89/3.97 o 9879 4.09/4.11 c 0.840872 10.4883 492 57389 4.09/4.11 o 9708 5.59/5.65 c 1.09283 10.4883 723 74686 5.59/5.65 o 9653 9.59/9.65 c 1.87671 10.4883 570 111129 9.59/9.65 o 9501 11.09/11.16 c 2.11568 10.6133 650 127390 11.09/11.16 o 9441 11.29/11.34 c 2.14567 10.6133 716 129724 11.29/11.34 o 9421 12.79/12.81 c 2.40863 10.6133 543 145202 12.79/12.81 o 9410 13.69/13.78 c 2.6576 10.6133 689 157239 13.69/13.78 o 9397 13.80/13.88 c 2.67859 10.6133 499 158725 13.80/13.88 o 9270 14.60/14.66 c 2.83857 10.6133 511 168157 14.60/14.66 o 9238 14.79/14.86 c 2.86956 10.6133 838 171071 14.79/14.86 o 9106 15.49/15.51 c 2.97455 10.6133 787 178767 15.49/15.51 o 9058 19.99/20.05 c 3.85841 10.7383 506 227597 19.99/20.05 o 9008 20.29/20.37 c 3.9274 10.7383 787 231074 20.29/20.37 o 8783 22.49/22.50 c 4.33434 10.7383 748 257195 22.49/22.50 o 8761 24.69/24.70 c 4.68529 10.7383 733 282020 24.69/24.70 o 8743 26.20/26.27 c 4.98624 10.7383 466 296570 26.20/26.27 o 8716 26.39/26.43 c 5.02324 10.7383 523 298732 26.39/26.43 o 8625 28.09/28.10 c 5.34319 10.7383 692 318104 28.09/28.10 o 8593 28.49/28.59 c 5.42317 10.7383 620 323791 28.49/28.59 o 8467 28.60/28.69 c 5.43517 10.7383 467 325264 28.60/28.69 o 8433 28.89/28.94 c 5.46917 10.7383 861 328032 28.89/28.94 o 8426 29.09/29.16 c 5.49716 10.7383 733 329706 29.09/29.16 o 8389 29.30/29.35 c 5.52416 10.7383 503 332213 29.30/29.35 o 8335 29.99/30.00 c 5.61914 10.7383 469 340001 29.99/30.00 o 8174 30.09/30.19 c 5.64514 10.7383 561 342039 30.09/30.19 o 8148 30.39/30.47 c 5.68614 10.7383 693 344589 30.39/30.47 o 8098 32.19/32.25 c 5.98109 10.7383 594 363807 32.19/32.25 o 8071 32.50/32.51 c 6.03208 10.7383 696 365922 32.50/32.51 o 8057 32.50/32.59 c 6.04608 10.7383 698 367000 32.50/32.59 o 7998 33.09/33.17 c 6.17906 10.7383 903 372819 33.09/33.17 o 7899 33.60/33.61 c 6.31504 10.7383 562 378577 33.60/33.61 o 7840 34.69/34.70 c 6.53601 10.8594 806 389686 34.69/34.70 o 7788 35.49/35.58 c 6.67298 10.8594 602 399963 35.49/35.58 o 7562 35.69/35.73 c 6.69998 10.8594 451 401562 35.69/35.73 o 7548 38.49/38.58 c 7.16491 10.8594 515 432035 38.49/38.58 o 7546 41.80/41.82 c 7.81481 10.8594 897 458764 41.80/41.82 o 7494 42.29/42.33 c 7.8898 10.8594 743 464625 42.29/42.33 o 7430 43.10/43.14 c 8.02278 10.8594 589 472936 43.10/43.14 o 7419 43.29/43.38 c 8.05578 10.8594 677 474738 43.29/43.38 o 7398 50.50/50.55 c 9.30659 10.8594 549 543385 50.50/50.55 o 7363 50.60/50.66 c 9.32958 10.8594 597 544583 50.60/50.66 o 7362 55.39/55.46 c 10.2244 10.8594 743 593600 55.39/55.46 o 7234 55.49/55.51 c 10.2304 10.8594 566 594215 55.49/55.51 o 7202 56.19/56.29 c 10.3464 10.8594 677 602753 56.19/56.29 o 7146 59.20/59.27 c 10.8853 10.9844 719 630904 59.20/59.27 o 6891 59.69/59.78 c 11.0483 10.9844 558 636418 59.69/59.78 o 6871 60.09/60.15 c 11.1213 10.9844 776 640547 60.09/60.15 o 6773 60.60/60.60 c 11.1813 10.9844 487 644236 60.60/60.60 o 6764 60.60/60.63 c 11.1913 10.9844 672 644886 60.60/60.63 o 6748 61.60/61.63 c 11.3273 10.9844 582 653878 61.60/61.63 o 6666 62.39/62.40 c 11.4493 10.9844 593 660364 62.39/62.40 o 6655 64.29/64.38 c 11.7572 10.9844 600 676843 64.29/64.38 o 6617 64.89/64.97 c 11.8592 10.9844 561 683140 64.89/64.97 o 6530 65.09/65.13 c 11.8882 10.9844 467 684987 65.09/65.13 o 6471 65.09/65.19 c 11.8982 10.9844 726 685804 65.09/65.19 o 6468 68.89/68.95 c 12.6071 10.9844 836 714733 68.89/68.95 o 6459 69.09/69.17 c 12.6371 10.9844 727 718000 69.09/69.17 o 6220 69.59/69.65 c 12.7001 10.9844 752 722934 69.59/69.65 o 6192 70.19/70.21 c 12.7771 10.9844 453 729048 70.19/70.21 o 6167 70.19/70.25 c 12.7861 10.9844 591 729517 70.19/70.25 o 6151 70.40/70.42 c 12.8171 10.9844 842 730914 70.40/70.42 o 6130 70.90/70.96 c 12.888 10.9844 525 735995 70.90/70.96 o 6099 71.00/71.09 c 12.903 10.9844 772 737534 71.00/71.09 o 6014 71.10/71.14 c 12.91 10.9844 550 738114 71.10/71.14 o 5970 71.50/71.57 c 12.988 10.9844 516 742948 71.50/71.57 o 5920 71.60/71.62 c 12.993 10.9844 725 743470 71.60/71.62 o 5891 71.99/72.04 c 13.044 10.9844 715 747648 71.99/72.04 o 5729 72.19/72.25 c 13.092 10.9844 465 749552 72.19/72.25 o 5686 73.19/73.20 c 13.374 10.9844 598 757783 73.19/73.20 o 5651 73.99/74.09 c 13.5129 10.9844 512 765768 73.99/74.09 o 5601 74.79/74.84 c 13.6159 10.9844 847 772114 74.79/74.84 o 5521 75.29/75.30 c 13.6749 10.9844 539 775091 75.29/75.30 o 5414 76.90/76.92 c 13.8969 10.9844 631 787861 76.90/76.92 o 5407 77.59/77.63 c 14.0099 10.9844 708 793124 77.59/77.63 o 5323 81.59/81.63 c 14.7038 11.1094 692 824069 81.59/81.63 o 5279 81.80/81.87 c 14.7328 11.1094 853 826563 81.80/81.87 o 5232 81.89/81.93 c 14.7418 11.1094 651 827396 81.89/81.93 o 5148 82.40/82.48 c 14.8167 11.1094 806 832616 82.40/82.48 o 5129 83.69/83.76 c 15.0547 11.1094 584 842330 83.69/83.76 o 5119 84.79/84.85 c 15.2037 11.1094 757 849359 84.79/84.85 o 5090 86.59/86.61 c 15.5926 11.1094 711 863877 86.59/86.61 o 4945 86.59/86.63 c 15.5946 11.1094 408 864037 86.59/86.63 o 4943 86.80/86.84 c 15.6226 11.1094 722 866010 86.80/86.84 o 4888 88.10/88.18 c 15.8386 11.1094 907 877030 88.10/88.18 o 4878 88.19/88.24 c 15.8446 11.1094 665 877630 88.19/88.24 o 4859 88.39/88.40 c 15.8676 11.1094 465 879137 88.39/88.40 o 4824 89.19/89.23 c 15.9726 11.1094 771 885899 89.19/89.23 o 4757 89.69/89.75 c 16.0446 11.1094 489 889952 89.69/89.75 o 4593 90.59/90.60 c 16.1565 11.1094 730 898105 90.59/90.60 o 4582 90.69/90.77 c 16.1915 11.1094 496 899582 90.69/90.77 o 4502 90.90/90.94 c 16.2135 11.1094 759 901266 90.90/90.94 o 4490 91.09/91.10 c 16.2395 11.1094 867 902539 91.09/91.10 o 4486 91.80/91.85 c 16.3455 11.1094 813 907710 91.80/91.85 o 4460 92.19/92.23 c 16.4525 11.1094 895 910468 92.19/92.23 o 4441 92.40/92.45 c 16.5165 11.1094 816 912605 92.40/92.45 o 4387 93.40/93.44 c 16.6915 11.1094 566 919882 93.40/93.44 o 4369 93.40/93.48 c 16.7065 11.1094 736 920385 93.40/93.48 o 4333 93.89/93.98 c 16.7645 11.1094 472 924381 93.89/93.98 o 4195 94.29/94.31 c 16.8174 11.1094 730 926805 94.29/94.31 o 4149 94.29/94.39 c 16.8304 11.1094 643 927634 94.29/94.39 o 4067 94.90/94.92 c 16.9074 11.1094 481 931768 94.90/94.92 o 4025 95.50/95.51 c 17.0034 11.1094 747 936104 95.50/95.51 o 3986 95.60/95.61 c 17.0174 11.1094 670 936927 95.60/95.61 o 3940 95.60/95.64 c 17.0224 11.1094 411 937466 95.60/95.64 o 3865 95.70/95.71 c 17.0284 11.1094 669 938133 95.70/95.71 o 3864 95.90/95.99 c 17.0714 11.1094 765 940590 95.90/95.99 o 3836 97.19/97.20 c 17.2454 11.1094 741 949574 97.19/97.20 o 3780 97.29/97.39 c 17.2834 11.1094 520 950846 97.29/97.39 o 3728 97.80/97.84 c 17.3494 11.1094 774 954255 97.80/97.84 o 3682 97.80/97.87 c 17.3574 11.1094 514 954728 97.80/97.87 o 3629 98.20/98.25 c 17.4164 11.1094 766 956893 98.20/98.25 o 3595 99.19/99.21 c 17.6393 11.1094 712 963760 99.19/99.21 o 3575 99.69/99.73 c 17.7553 11.2305 644 967153 99.69/99.73 o 3480 99.90/99.91 c 17.7873 11.2305 789 968262 99.90/99.91 o 3441 100.00/100.04 c 17.8083 11.2305 481 969572 100.00/100.04 o 3381 100.70/100.75 c 17.9103 11.2305 824 975224 100.70/100.75 o 3289 101.10/101.13 c 17.9703 11.2305 734 978106 101.10/101.13 o 3202 101.29/101.33 c 17.9933 11.2305 560 979648 101.29/101.33 o 3175 101.39/101.42 c 18.0043 11.2305 829 980252 101.39/101.42 o 3166 101.49/101.56 c 18.0263 11.2305 861 981441 101.49/101.56 o 3133 101.69/101.74 c 18.0543 11.2305 617 982875 101.69/101.74 o 3131 101.79/101.88 c 18.0713 11.2305 673 983979 101.79/101.88 o 3101 101.99/102.02 c 18.0932 11.2305 716 985079 101.99/102.02 o 2942 101.99/102.06 c 18.0962 11.2305 452 985529 101.99/102.06 o 2911 102.30/102.38 c 18.1382 11.2305 502 987660 102.30/102.38 o 2838 102.89/102.96 c 18.2252 11.2305 744 991956 102.89/102.96 o 2788 103.79/103.81 c 18.3692 11.2305 600 996563 103.79/103.81 o 2722 104.40/104.47 c 18.4532 11.2305 588 1001531 104.40/104.47 o 2720 104.50/104.52 c 18.4552 11.2305 712 1002022 104.50/104.52 o 2574 104.59/104.69 c 18.4802 11.2305 783 1003245 104.59/104.69 o 2431 104.79/104.89 c 18.5372 11.2305 598 1004791 104.79/104.89 o 2389 104.99/105.05 c 18.5852 11.2305 675 1006087 104.99/105.05 o 2362 105.60/105.64 c 18.7531 11.2305 841 1009739 105.60/105.64 o 2316 105.90/105.99 c 18.8461 11.2305 684 1012304 105.90/105.99 o 2242 106.90/106.93 c 18.9971 11.2305 696 1018391 106.90/106.93 o 2229 106.90/106.94 c 19.0021 11.2305 749 1018582 106.90/106.94 o 2195 106.90/106.96 c 19.0041 11.2305 784 1018748 106.90/106.96 o 2151 107.00/107.02 c 19.0201 11.2305 569 1019196 107.00/107.02 o 2094 107.59/107.69 c 19.1381 11.2305 471 1023349 107.59/107.69 o 2075 107.70/107.80 c 19.1511 11.2305 797 1024157 107.70/107.80 o 2060 107.80/107.82 c 19.1521 11.2305 450 1024331 107.80/107.82 o 1997 107.80/107.84 c 19.1581 11.2305 507 1024512 107.80/107.84 o 1985 107.99/108.02 c 19.1871 11.2305 653 1025875 107.99/108.02 o 1871 108.19/108.25 c 19.2241 11.2305 493 1027741 108.19/108.25 o 1825 108.19/108.27 c 19.2291 11.2305 573 1027973 108.19/108.27 o 1823 108.30/108.31 c 19.2331 11.2305 707 1028319 108.30/108.31 o 1819 108.40/108.42 c 19.2451 11.2305 652 1029198 108.40/108.42 o 1777 108.50/108.51 c 19.2641 11.2305 464 1029670 108.50/108.51 o 1748 108.60/108.65 c 19.2881 11.3555 466 1030624 108.60/108.65 o 1709 108.69/108.72 c 19.3051 11.3555 655 1031110 108.69/108.72 o 1707 108.69/108.74 c 19.3111 11.3555 742 1031351 108.69/108.74 o 1677 108.90/108.92 c 19.3451 11.3555 810 1032441 108.90/108.92 o 1672 108.99/109.03 c 19.3681 11.3555 725 1033381 108.99/109.03 o 1622 109.09/109.17 c 19.3891 11.3555 707 1034183 109.09/109.17 o 1616 109.49/109.51 c 19.45 11.3555 530 1036506 109.49/109.51 o 1608 109.60/109.60 c 19.47 11.3555 766 1037001 109.60/109.60 o 1599 109.60/109.66 c 19.484 11.3555 491 1037414 109.60/109.66 o 1579 109.60/109.68 c 19.49 11.3555 571 1037714 109.60/109.68 o 1500 109.70/109.70 c 19.493 11.3555 613 1037944 109.70/109.70 o 1427 109.70/109.77 c 19.514 11.3555 482 1038534 109.70/109.77 o 1357 109.79/109.86 c 19.529 11.3555 726 1039058 109.79/109.86 o 1350 109.90/109.90 c 19.54 11.3555 449 1039431 109.90/109.90 o 1320 109.90/109.95 c 19.55 11.3555 591 1039832 109.90/109.95 o 1287 110.00/110.07 c 19.567 11.3555 522 1040656 110.00/110.07 o 1225 110.10/110.11 c 19.574 11.3555 666 1041081 110.10/110.11 o 1165 110.10/110.15 c 19.584 11.3555 779 1041334 110.10/110.15 o 1160 110.20/110.20 c 19.595 11.3555 487 1041737 110.20/110.20 o 1040 110.20/110.29 c 19.608 11.3555 725 1042343 110.20/110.29 o 948 110.29/110.31 c 19.615 11.3555 821 1042592 110.29/110.31 o 878 110.29/110.34 c 19.622 11.3555 504 1042789 110.29/110.34 o 864 110.29/110.36 c 19.626 11.3555 581 1042956 110.29/110.36 o 845 110.29/110.38 c 19.629 11.3555 650 1043181 110.29/110.38 o 776 110.40/110.46 c 19.641 11.3555 911 1043844 110.40/110.46 o 773 110.40/110.46 c 19.641 11.3555 922 1043884 110.40/110.46 o 765 110.40/110.49 c 19.647 11.3555 562 1044172 110.40/110.49 o 728 110.49/110.56 c 19.664 11.3555 797 1044698 110.49/110.56 o 689 110.49/110.59 c 19.672 11.3555 896 1044930 110.49/110.59 o 675 110.49/110.59 c 19.673 11.3555 904 1044983 110.49/110.59 o 631 110.49/110.60 c 19.673 11.3555 917 1045044 110.49/110.60 o 618 110.60/110.62 c 19.678 11.3555 978 1045183 110.60/110.62 o 594 110.60/110.62 c 19.68 11.3555 975 1045262 110.60/110.62 o 579 110.60/110.64 c 19.685 11.3555 1038 1045374 110.60/110.64 o 572 110.60/110.65 c 19.688 11.3555 1067 1045475 110.60/110.65 o 553 110.60/110.67 c 19.693 11.3555 1154 1045641 110.60/110.67 o 541 110.60/110.67 c 19.694 11.4805 1178 1045712 110.60/110.67 o 528 110.70/110.70 c 19.702 11.4805 659 1045925 110.70/110.70 o 527 110.70/110.71 c 19.705 11.4805 716 1046028 110.70/110.71 o 525 110.70/110.72 c 19.709 11.4805 743 1046094 110.70/110.72 o 506 110.70/110.72 c 19.709 11.4805 745 1046142 110.70/110.72 o 463 110.70/110.72 c 19.709 11.4805 745 1046170 110.70/110.72 o 440 110.70/110.72 c 19.709 11.4805 745 1046216 110.70/110.72 o 384 110.70/110.72 c 19.709 11.4805 745 1046239 110.70/110.72 o 361 110.70/110.73 c 19.71 11.4805 767 1046345 110.70/110.73 o 286 110.70/110.74 c 19.714 11.4805 861 1046494 110.70/110.74 o 263 110.70/110.74 c 19.714 11.4805 759 1046559 110.70/110.74 o 184 110.70/110.74 c 19.715 11.4805 762 1046578 110.70/110.74 o 176 110.70/110.75 c 19.717 11.4805 776 1046657 110.70/110.75 o 97 110.70/110.75 c 19.717 11.4805 780 1046673 110.70/110.75 o 85 110.70/110.75 c 19.718 11.4805 782 1046675 110.70/110.75 s OPTIMUM FOUND 110.70/110.75 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 85
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700324-1278534761/watcher-2700324-1278534761 -o /tmp/evaluation-result-2700324-1278534761/solver-2700324-1278534761 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700324-1278534761.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.03 2.88 2.25 3/178 20883 /proc/meminfo: memFree=29208424/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=2136 CPUtime=0 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 257 0 0 0 0 0 0 0 22 0 1 0 21690452 2187264 176 4089446400 134512640 136421960 4289486816 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20883/statm: 534 176 144 467 0 65 0 [startup+0.018538 s] /proc/loadavg: 2.03 2.88 2.25 3/178 20883 /proc/meminfo: memFree=29208424/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=5568 CPUtime=0.01 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 1082 0 0 0 1 0 0 0 22 0 1 0 21690452 5701632 1001 4089446400 134512640 136421960 4289486816 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 1392 1003 193 467 0 923 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5568 [startup+0.100511 s] /proc/loadavg: 2.03 2.88 2.25 3/178 20883 /proc/meminfo: memFree=29208424/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=10480 CPUtime=0.09 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2348 0 0 0 5 4 0 0 22 0 1 0 21690452 10731520 2258 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2620 2258 238 467 0 2151 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10480 [startup+0.300478 s] /proc/loadavg: 2.03 2.88 2.25 3/178 20883 /proc/meminfo: memFree=29208424/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=10480 CPUtime=0.29 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2370 0 0 0 10 19 0 0 22 0 1 0 21690452 10731520 2280 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2620 2280 238 467 0 2151 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10480 [startup+0.700404 s] /proc/loadavg: 2.03 2.88 2.25 3/178 20883 /proc/meminfo: memFree=29208424/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=10608 CPUtime=0.69 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2386 0 0 0 21 48 0 0 23 0 1 0 21690452 10862592 2296 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2652 2296 238 467 0 2183 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10608 [startup+1.50026 s] /proc/loadavg: 2.03 2.88 2.25 3/179 20884 /proc/meminfo: memFree=29199488/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=10608 CPUtime=1.49 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2405 0 0 0 39 110 0 0 25 0 1 0 21690452 10862592 2315 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2652 2315 238 467 0 2183 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10608 [startup+3.10099 s] /proc/loadavg: 2.03 2.88 2.25 3/179 20884 /proc/meminfo: memFree=29198496/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=10736 CPUtime=3.09 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2418 0 0 0 68 241 0 0 25 0 1 0 21690452 10993664 2327 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2684 2327 238 467 0 2215 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10736 [startup+6.30041 s] /proc/loadavg: 2.03 2.86 2.25 3/179 20884 /proc/meminfo: memFree=29195404/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=10736 CPUtime=6.29 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2432 0 0 0 119 510 0 0 25 0 1 0 21690452 10993664 2337 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2684 2337 238 467 0 2215 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10736 [startup+12.7003 s] /proc/loadavg: 2.02 2.85 2.25 3/179 20884 /proc/meminfo: memFree=29188608/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=10864 CPUtime=12.69 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2458 0 0 0 239 1030 0 0 25 0 1 0 21690452 11124736 2360 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2716 2360 238 467 0 2247 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10864 [startup+25.501 s] /proc/loadavg: 2.02 2.80 2.24 3/179 20884 /proc/meminfo: memFree=29176044/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=10992 CPUtime=25.49 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2506 0 0 0 484 2065 0 0 25 0 1 0 21690452 11255808 2398 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2748 2398 238 467 0 2279 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10992 [startup+51.1005 s] /proc/loadavg: 2.01 2.74 2.24 3/179 20885 /proc/meminfo: memFree=29153296/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=11116 CPUtime=51.1 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2574 0 0 0 941 4169 0 0 25 0 1 0 21690452 11382784 2440 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2779 2440 238 467 0 2310 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 11116 [startup+102.306 s] /proc/loadavg: 2.00 2.61 2.22 3/179 20886 /proc/meminfo: memFree=29098912/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=11496 CPUtime=102.3 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2736 0 0 0 1812 8418 0 0 25 0 1 0 21690452 11771904 2519 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2874 2519 238 467 0 2405 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11496 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 2.00 2.61 2.22 3/179 20886 /proc/meminfo: memFree=29095316/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=11496 CPUtime=105.5 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2758 0 0 0 1870 8680 0 0 25 0 1 0 21690452 11771904 2533 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2874 2533 238 467 0 2405 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 11496 [startup+108.7 s] /proc/loadavg: 2.00 2.60 2.22 3/179 20886 /proc/meminfo: memFree=29093204/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=11624 CPUtime=108.69 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2789 0 0 0 1929 8940 0 0 25 0 1 0 21690452 11902976 2547 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2906 2547 238 467 0 2437 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 11624 [startup+109.5 s] /proc/loadavg: 2.00 2.60 2.22 3/179 20886 /proc/meminfo: memFree=29092088/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=11624 CPUtime=109.49 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2797 0 0 0 1944 9005 0 0 25 0 1 0 21690452 11902976 2550 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2906 2550 238 467 0 2437 0 Current children cumulated CPU time (s) 109.49 Current children cumulated vsize (KiB) 11624 [startup+110.301 s] /proc/loadavg: 2.00 2.60 2.22 3/179 20886 /proc/meminfo: memFree=29090848/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=11624 CPUtime=110.29 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2823 0 0 0 1960 9069 0 0 25 0 1 0 21690452 11902976 2562 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2906 2562 238 467 0 2437 0 Current children cumulated CPU time (s) 110.29 Current children cumulated vsize (KiB) 11624 [startup+110.701 s] /proc/loadavg: 2.00 2.60 2.22 3/179 20886 /proc/meminfo: memFree=29090848/32951124 swapFree=67111528/67111528 [pid=20883] ppid=20881 vsize=11752 CPUtime=110.7 /proc/20883/stat : 20883 (pbct) R 20881 20883 20441 0 -1 4202496 2858 0 0 0 1970 9100 0 0 25 0 1 0 21690452 12034048 2580 4089446400 134512640 136421960 4289486816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20883/statm: 2938 2580 238 467 0 2469 0 Current children cumulated CPU time (s) 110.7 Current children cumulated vsize (KiB) 11752 Child status: 0 Real time (s): 110.762 CPU time (s): 110.764 CPU user time (s): 19.726 CPU system time (s): 91.0382 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 11752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.726 system time used= 91.0382 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2877 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= 122 runsolver used 0.163975 second user time and 0.351946 second system time The end
Begin job on node103 at 2010-07-07 22:32:41 IDJOB=2700324 IDBENCH=79418 IDSOLVER=1208 FILE ID=node103/2700324-1278534761 PBS_JOBID= 11239271 Free space on /tmp= 73740 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh10_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700324-1278534761/watcher-2700324-1278534761 -o /tmp/evaluation-result-2700324-1278534761/solver-2700324-1278534761 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700324-1278534761.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 401aade47f990d36319fcf6fc2a74e2a RANDOM SEED=241082697 node103.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.793 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.58 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.793 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.793 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.793 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.86 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.793 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.793 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.793 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.793 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 : 5408.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29209068 kB Buffers: 128880 kB Cached: 2302268 kB SwapCached: 0 kB Active: 2129948 kB Inactive: 1467452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29209068 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2084 kB Writeback: 0 kB AnonPages: 1166100 kB Mapped: 15080 kB Slab: 78184 kB PageTables: 6412 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1305876 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= 73740 MiB End job on node103 at 2010-07-07 22:34:32