Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 186.049 | 186.045 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo |
MD5SUM | 415715e3de5713a6aca23e12a1a413cb |
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 | 206 |
Best CPU time to get the best result obtained on this benchmark | 1.13183 |
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.99609 1 1939 0.00/0.03 o 23387 0.00/0.04 c 0.034994 10.2188 1 2073 0.00/0.04 o 23348 0.00/0.04 c 0.034994 10.2188 2 2544 0.00/0.04 o 22886 0.00/0.04 c 0.035994 10.2188 2 3446 0.00/0.04 o 12918 0.00/0.04 c 0.036994 10.2188 2 4341 0.00/0.04 o 11507 0.00/0.04 c 0.037994 10.2188 5 4652 0.00/0.04 o 11367 0.00/0.07 c 0.043993 10.2188 129 5287 0.00/0.07 o 11286 0.39/0.49 c 0.156976 10.3438 672 11161 0.39/0.49 o 11149 0.79/0.86 c 0.249962 10.3438 688 16338 0.79/0.86 o 11083 0.89/0.93 c 0.264959 10.3438 703 17483 0.89/0.93 o 11001 1.89/1.98 c 0.490925 10.3438 643 32882 1.89/1.98 o 10940 2.49/2.52 c 0.598908 10.4688 654 37438 2.49/2.52 o 10919 2.49/2.59 c 0.615906 10.4688 667 38636 2.49/2.59 o 10865 2.99/3.06 c 0.712891 10.4688 771 44495 2.99/3.06 o 10842 3.49/3.55 c 0.820875 10.4688 751 51876 3.49/3.55 o 10789 4.69/4.79 c 1.05684 10.4688 718 67768 4.69/4.79 o 10700 7.19/7.22 c 1.56176 10.4688 474 93666 7.19/7.22 o 10645 7.19/7.30 c 1.58276 10.4688 547 94877 7.19/7.30 o 10630 7.29/7.34 c 1.59476 10.4688 416 95444 7.29/7.34 o 10605 7.39/7.42 c 1.61875 10.4688 717 96293 7.39/7.42 o 10594 7.80/7.83 c 1.71974 10.4688 633 100701 7.80/7.83 o 10593 8.09/8.14 c 1.80472 10.4688 432 105482 8.09/8.14 o 10371 8.19/8.21 c 1.82372 10.4688 708 106332 8.19/8.21 o 10248 13.79/13.82 c 2.98255 10.5938 913 167307 13.79/13.82 o 10096 16.60/16.70 c 3.59445 10.7148 779 194066 16.60/16.70 o 9986 16.89/16.92 c 3.63445 10.7148 591 196725 16.89/16.92 o 9958 17.19/17.24 c 3.71543 10.7148 879 201105 17.19/17.24 o 9931 19.89/19.99 c 4.25635 10.7148 904 232281 19.89/19.99 o 9850 19.99/20.03 c 4.27135 10.7148 623 232935 19.99/20.03 o 9690 20.99/21.01 c 4.53231 10.7148 788 245725 20.99/21.01 o 9622 21.30/21.35 c 4.6193 10.7148 607 248962 21.30/21.35 o 9584 26.79/26.86 c 5.66814 10.7148 572 311231 26.79/26.86 o 9359 27.39/27.50 c 5.82611 10.8398 585 319211 27.39/27.50 o 9260 43.79/43.87 c 9.26459 10.8398 463 490888 43.79/43.87 o 9248 43.89/43.93 c 9.27359 10.8398 698 491753 43.89/43.93 o 9061 43.99/44.08 c 9.30458 10.8398 624 493504 43.99/44.08 o 8979 46.19/46.29 c 9.74652 10.8398 605 519908 46.19/46.29 o 8973 47.59/47.67 c 10.1145 10.9648 676 534195 47.59/47.67 o 8794 48.19/48.26 c 10.2124 10.9648 549 541101 48.19/48.26 o 8763 48.89/48.95 c 10.3654 10.9648 901 549849 48.89/48.95 o 8586 50.70/50.75 c 10.6944 10.9648 824 568861 50.70/50.75 o 8512 51.70/51.75 c 10.8853 10.9648 753 580946 51.70/51.75 o 8487 54.19/54.26 c 11.4443 10.9648 731 608657 54.19/54.26 o 8410 55.79/55.83 c 11.7252 10.9648 835 622155 55.79/55.83 o 8343 57.80/57.85 c 12.0992 10.9648 502 645472 57.80/57.85 o 8291 60.79/60.87 c 12.7651 10.9648 465 680979 60.79/60.87 o 8235 62.29/62.30 c 12.992 10.9648 540 696405 62.29/62.30 o 8162 62.70/62.78 c 13.088 10.9648 612 701087 62.70/62.78 o 7846 63.59/63.68 c 13.237 10.9648 593 711656 63.59/63.68 o 7836 64.19/64.24 c 13.336 10.9648 643 717250 64.19/64.24 o 7731 64.59/64.68 c 13.429 10.9648 772 722418 64.59/64.68 o 7601 65.69/65.75 c 13.6129 10.9648 494 733101 65.69/65.75 o 7549 68.79/68.86 c 14.3108 10.9648 649 766459 68.79/68.86 o 7490 71.50/71.57 c 14.7778 10.9648 620 790017 71.50/71.57 o 7385 72.80/72.87 c 15.0677 10.9648 537 801239 72.80/72.87 o 7281 73.29/73.39 c 15.2087 10.9648 776 806978 73.29/73.39 o 7216 77.50/77.56 c 15.9356 10.9648 784 850149 77.50/77.56 o 7136 80.29/80.33 c 16.4985 10.9648 445 876394 80.29/80.33 o 7088 80.40/80.43 c 16.5225 10.9648 798 877351 80.40/80.43 o 7010 81.69/81.74 c 16.7225 11.0898 462 890908 81.69/81.74 o 6854 81.69/81.77 c 16.7265 11.0898 607 891496 81.69/81.77 o 6828 82.49/82.58 c 16.8904 11.0898 655 899939 82.49/82.58 o 6811 83.09/83.15 c 16.9894 11.0898 658 905713 83.09/83.15 o 6757 84.59/84.69 c 17.2494 11.0898 619 919529 84.59/84.69 o 6642 85.90/85.93 c 17.5023 11.0898 541 929789 85.90/85.93 o 6628 87.59/87.62 c 17.8643 11.0898 725 945398 87.59/87.62 o 6596 88.10/88.11 c 17.9613 11.0898 500 949307 88.10/88.11 o 6542 90.69/90.76 c 18.4342 11.0898 516 975259 90.69/90.76 o 6454 91.99/92.00 c 18.6302 11.0898 598 986487 91.99/92.00 o 6439 92.59/92.66 c 18.7641 11.0898 431 992817 92.59/92.66 o 6406 95.60/95.70 c 19.3161 11.0898 559 1020796 95.60/95.70 o 6381 96.20/96.20 c 19.411 11.0898 707 1024921 96.20/96.20 o 6357 96.90/96.96 c 19.559 11.0898 761 1031369 96.90/96.96 o 6356 97.90/97.94 c 19.727 11.0898 664 1041038 97.90/97.94 o 6339 100.89/100.95 c 20.3779 11.0898 748 1069263 100.89/100.95 o 6332 101.59/101.67 c 20.5049 11.0898 787 1077187 101.59/101.67 o 6286 102.79/102.88 c 20.7258 11.0898 496 1087893 102.79/102.88 o 6199 102.89/102.94 c 20.7348 11.0898 659 1088533 102.89/102.94 o 6046 106.29/106.30 c 21.4147 11.0898 928 1117589 106.29/106.30 o 5897 106.59/106.62 c 21.4897 11.0898 610 1121822 106.59/106.62 o 5752 107.09/107.14 c 21.5817 11.0898 841 1127237 107.09/107.14 o 5693 107.19/107.28 c 21.5917 11.0898 519 1128700 107.19/107.28 o 5568 112.09/112.12 c 22.4306 11.0898 651 1168582 112.09/112.12 o 5520 112.39/112.42 c 22.5136 11.0898 424 1171996 112.39/112.42 o 5381 114.89/114.92 c 22.9915 11.0898 838 1193878 114.89/114.92 o 5344 114.99/115.04 c 23.0085 11.0898 803 1194819 114.99/115.04 o 5302 115.40/115.47 c 23.0705 11.0898 594 1198289 115.40/115.47 o 5244 117.89/117.98 c 23.5014 11.0898 733 1220529 117.89/117.98 o 5176 118.39/118.42 c 23.5774 11.0898 769 1224929 118.39/118.42 o 5138 121.00/121.09 c 24.1703 11.2148 650 1246753 121.00/121.09 o 5128 124.59/124.68 c 24.7912 11.2148 501 1274744 124.59/124.68 o 5075 126.80/126.83 c 25.3261 11.2148 726 1293297 126.80/126.83 o 4996 126.80/126.87 c 25.3361 11.2148 560 1293983 126.80/126.87 o 4889 128.00/128.02 c 25.5011 11.2148 388 1304275 128.00/128.02 o 4888 128.20/128.25 c 25.5391 11.2148 497 1306403 128.20/128.25 o 4869 128.70/128.72 c 25.6351 11.2148 505 1310652 128.70/128.72 o 4842 128.80/128.87 c 25.6841 11.2148 592 1311983 128.80/128.87 o 4766 129.39/129.49 c 25.7761 11.2148 566 1317769 129.39/129.49 o 4753 129.49/129.54 c 25.7851 11.2148 778 1318323 129.49/129.54 o 4739 132.90/132.96 c 26.428 11.2148 471 1345865 132.90/132.96 o 4723 133.10/133.17 c 26.471 11.2148 511 1348172 133.10/133.17 o 4662 133.49/133.57 c 26.537 11.2148 615 1351259 133.49/133.57 o 4474 135.70/135.78 c 26.9409 11.2148 501 1370870 135.70/135.78 o 4394 135.89/135.95 c 26.9709 11.2148 667 1372411 135.89/135.95 o 4334 135.99/136.05 c 26.9909 11.2148 621 1373258 135.99/136.05 o 4301 136.79/136.81 c 27.1429 11.2148 773 1379381 136.79/136.81 o 4259 136.90/136.98 c 27.1809 11.2148 563 1380866 136.90/136.98 o 4248 137.00/137.00 c 27.1839 11.2148 629 1381164 137.00/137.00 o 4152 138.70/138.72 c 27.5398 11.2148 514 1394565 138.70/138.72 o 4138 141.19/141.20 c 28.0177 11.2148 603 1413265 141.19/141.20 o 4123 141.30/141.37 c 28.0437 11.2148 774 1414755 141.30/141.37 o 4121 142.19/142.23 c 28.1707 11.2148 760 1421080 142.19/142.23 o 4119 142.70/142.76 c 28.2647 11.2148 841 1425292 142.70/142.76 o 4104 143.19/143.27 c 28.3547 11.2148 674 1429044 143.19/143.27 o 4075 144.10/144.12 c 28.4607 11.2148 503 1434772 144.10/144.12 o 4073 144.89/144.96 c 28.6446 11.2148 763 1440676 144.89/144.96 o 3978 146.49/146.57 c 28.9456 11.2148 641 1453218 146.49/146.57 o 3977 146.59/146.66 c 28.9556 11.2148 568 1454062 146.59/146.66 o 3707 146.99/147.09 c 29.0506 11.2148 675 1457164 146.99/147.09 o 3703 147.70/147.73 c 29.1466 11.3398 525 1460984 147.70/147.73 o 3682 147.70/147.75 c 29.1496 11.3398 586 1461205 147.70/147.75 o 3639 148.60/148.66 c 29.2855 11.3398 874 1468721 148.60/148.66 o 3604 148.90/148.97 c 29.3485 11.3398 678 1471549 148.90/148.97 o 3577 149.49/149.57 c 29.4475 11.3398 887 1475671 149.49/149.57 o 3574 149.60/149.69 c 29.4685 11.3398 825 1476736 149.60/149.69 o 3504 153.60/153.67 c 30.2344 11.3398 548 1504207 153.60/153.67 o 3306 154.79/154.88 c 30.4094 11.3398 647 1514160 154.79/154.88 o 3277 156.00/156.08 c 30.5953 11.3398 673 1522949 156.00/156.08 o 3113 156.50/156.58 c 30.6623 11.3398 740 1527173 156.50/156.58 o 3099 156.69/156.76 c 30.6863 11.3398 775 1528225 156.69/156.76 o 3069 156.69/156.76 c 30.6873 11.3398 396 1528342 156.69/156.76 o 3022 158.89/158.95 c 31.2003 11.3398 651 1542849 158.89/158.95 o 2978 159.69/159.76 c 31.3352 11.3398 865 1548959 159.69/159.76 o 2914 159.79/159.82 c 31.3382 11.3398 596 1549417 159.79/159.82 o 2893 159.79/159.87 c 31.3452 11.3398 763 1549873 159.79/159.87 o 2832 160.39/160.46 c 31.4362 11.3398 882 1553931 160.39/160.46 o 2830 162.09/162.10 c 31.7282 11.3398 741 1564102 162.09/162.10 o 2780 163.19/163.21 c 31.9281 11.3398 876 1572187 163.19/163.21 o 2772 163.19/163.29 c 31.9431 11.3398 673 1572754 163.19/163.29 o 2733 163.49/163.58 c 31.9871 11.3398 743 1574844 163.49/163.58 o 2639 164.80/164.81 c 32.2341 11.3398 446 1583874 164.80/164.81 o 2588 165.79/165.84 c 32.4651 11.3398 761 1590730 165.79/165.84 o 2566 165.79/165.88 c 32.4681 11.3398 455 1590934 165.79/165.88 o 2561 166.10/166.19 c 32.5191 11.3398 656 1593437 166.10/166.19 o 2542 166.79/166.86 c 32.618 11.3398 518 1598044 166.79/166.86 o 2528 166.99/167.03 c 32.653 11.3398 661 1599443 166.99/167.03 o 2515 168.99/169.01 c 32.964 11.3398 631 1612277 168.99/169.01 o 2513 169.29/169.31 c 33.038 11.3398 701 1614352 169.29/169.31 o 2475 169.70/169.74 c 33.093 11.3398 781 1617397 169.70/169.74 o 2447 170.29/170.39 c 33.184 11.3398 455 1622258 170.29/170.39 o 2384 170.69/170.70 c 33.2379 11.3398 484 1623873 170.69/170.70 o 2335 170.69/170.76 c 33.2489 11.3398 671 1624454 170.69/170.76 o 2305 170.79/170.89 c 33.2829 11.3398 683 1625459 170.79/170.89 o 2198 171.30/171.37 c 33.4119 11.3398 418 1628469 171.30/171.37 o 2169 171.39/171.42 c 33.4279 11.3398 559 1628783 171.39/171.42 o 2156 171.70/171.74 c 33.5079 11.3398 609 1630816 171.70/171.74 o 2092 171.99/172.01 c 33.5539 11.4648 495 1632692 171.99/172.01 o 2068 172.39/172.46 c 33.6259 11.4648 607 1635332 172.39/172.46 o 2065 174.90/174.95 c 34.0528 11.4648 558 1651706 174.90/174.95 o 2015 175.29/175.36 c 34.1528 11.4648 490 1654374 175.29/175.36 o 1995 176.20/176.26 c 34.2728 11.4648 658 1660230 176.20/176.26 o 1985 176.50/176.59 c 34.3208 11.4648 782 1662496 176.50/176.59 o 1973 176.60/176.65 c 34.3308 11.4648 578 1662927 176.60/176.65 o 1968 177.80/177.88 c 34.6277 11.4648 471 1671141 177.80/177.88 o 1812 178.21/178.23 c 34.7247 11.4648 563 1672692 178.21/178.23 o 1757 178.70/178.73 c 34.8357 11.4648 761 1676033 178.70/178.73 o 1684 178.70/178.77 c 34.8437 11.4648 449 1676358 178.70/178.78 o 1668 178.79/178.88 c 34.8647 11.4648 746 1677031 178.79/178.88 o 1633 179.30/179.35 c 35.0067 11.4648 835 1679880 179.30/179.35 o 1632 179.40/179.46 c 35.0277 11.4648 700 1680515 179.40/179.46 o 1629 179.60/179.62 c 35.0527 11.4648 754 1681672 179.60/179.62 o 1622 179.60/179.68 c 35.0627 11.4648 486 1682068 179.60/179.68 o 1563 180.59/180.60 c 35.2196 11.4648 584 1687592 180.59/180.60 o 1477 180.70/180.70 c 35.2326 11.4648 875 1688513 180.70/180.70 o 1464 181.19/181.22 c 35.3406 11.4648 743 1691937 181.19/181.22 o 1429 181.30/181.31 c 35.3706 11.4648 562 1692479 181.30/181.31 o 1385 181.39/181.41 c 35.3896 11.4648 825 1693145 181.39/181.41 o 1331 181.79/181.80 c 35.4576 11.4648 778 1695622 181.79/181.80 o 1307 182.09/182.15 c 35.5336 11.4648 637 1697970 182.09/182.15 o 1269 182.29/182.39 c 35.5766 11.4648 481 1699308 182.29/182.39 o 1216 182.39/182.40 c 35.5786 11.4648 504 1699416 182.39/182.40 o 1196 183.39/183.41 c 35.8036 11.4648 595 1705308 183.39/183.41 o 1166 183.70/183.72 c 35.8685 11.4648 738 1707409 183.70/183.72 o 1152 184.00/184.01 c 35.9315 11.4648 767 1709410 184.00/184.01 o 1029 184.09/184.19 c 35.9775 11.4648 495 1710658 184.09/184.19 o 998 184.20/184.25 c 35.9975 11.4648 686 1711086 184.20/184.25 o 987 184.30/184.31 c 36.0175 11.4648 450 1711494 184.30/184.31 o 974 184.50/184.50 c 36.0765 11.4648 614 1712726 184.50/184.50 o 949 184.50/184.59 c 36.1035 11.4648 467 1713235 184.50/184.59 o 937 184.59/184.65 c 36.1285 11.4648 686 1713691 184.59/184.65 o 889 184.70/184.78 c 36.1715 11.4648 650 1714509 184.70/184.78 o 853 184.80/184.83 c 36.1935 11.4648 807 1714904 184.80/184.83 o 842 184.99/185.04 c 36.2515 11.6016 976 1716323 184.99/185.04 o 815 185.10/185.10 c 36.2715 11.6016 699 1716773 185.10/185.10 o 772 185.10/185.19 c 36.2955 11.6016 972 1717369 185.10/185.19 o 699 185.19/185.25 c 36.3095 11.6016 689 1717751 185.19/185.25 o 694 185.29/185.30 c 36.3295 11.6016 859 1718107 185.29/185.30 o 622 185.39/185.40 c 36.3625 11.6016 729 1718842 185.39/185.40 o 604 185.49/185.55 c 36.4095 11.6016 850 1719956 185.49/185.55 o 578 185.49/185.56 c 36.4105 11.6016 910 1720103 185.49/185.56 o 564 185.70/185.75 c 36.4705 11.6016 644 1721555 185.70/185.75 o 527 185.79/185.85 c 36.5014 11.6016 1183 1722385 185.79/185.85 o 505 185.90/185.95 c 36.5324 11.6016 1042 1723083 185.90/185.95 o 492 185.90/185.95 c 36.5364 11.6016 1028 1723199 185.90/185.95 o 415 186.00/186.02 c 36.5584 11.6016 730 1723764 186.00/186.02 o 350 186.00/186.02 c 36.5604 11.6016 734 1723800 186.00/186.02 o 311 186.00/186.02 c 36.5624 11.6016 739 1723848 186.00/186.02 o 258 186.00/186.02 c 36.5644 11.6016 746 1723886 186.00/186.02 o 222 186.00/186.03 c 36.5654 11.6016 754 1723911 186.00/186.03 o 206 186.00/186.03 c 36.5674 11.6016 801 1723966 186.00/186.03 s OPTIMUM FOUND 186.00/186.03 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 206
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700123-1278534034/watcher-2700123-1278534034 -o /tmp/evaluation-result-2700123-1278534034/solver-2700123-1278534034 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700123-1278534034.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.86 1.02 0.41 4/182 19131 /proc/meminfo: memFree=28817872/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=2136 CPUtime=0 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 261 0 0 0 0 0 0 0 18 0 1 0 21616117 2187264 181 4089446400 134512640 136422188 4288628480 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/19131/statm: 534 181 144 467 0 65 0 [startup+0.100507 s] /proc/loadavg: 1.86 1.02 0.41 4/182 19131 /proc/meminfo: memFree=28817872/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=10460 CPUtime=0.09 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2335 0 0 0 5 4 0 0 20 0 1 0 21616117 10711040 2248 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19131/statm: 2615 2248 238 467 0 2146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10460 [startup+0.20051 s] /proc/loadavg: 1.86 1.02 0.41 4/182 19131 /proc/meminfo: memFree=28817872/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=10460 CPUtime=0.19 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2352 0 0 0 7 12 0 0 20 0 1 0 21616117 10711040 2265 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19131/statm: 2615 2265 238 467 0 2146 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10460 [startup+0.300492 s] /proc/loadavg: 1.86 1.02 0.41 4/182 19131 /proc/meminfo: memFree=28817872/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=10460 CPUtime=0.29 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2361 0 0 0 9 20 0 0 20 0 1 0 21616117 10711040 2274 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19131/statm: 2615 2274 238 467 0 2146 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10460 [startup+0.700396 s] /proc/loadavg: 1.86 1.02 0.41 4/182 19131 /proc/meminfo: memFree=28817872/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=10588 CPUtime=0.69 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2372 0 0 0 21 48 0 0 21 0 1 0 21616117 10842112 2284 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19131/statm: 2647 2284 238 467 0 2178 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10588 [startup+1.50027 s] /proc/loadavg: 1.86 1.02 0.41 3/183 19132 /proc/meminfo: memFree=28808068/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=10588 CPUtime=1.49 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2386 0 0 0 40 109 0 0 23 0 1 0 21616117 10842112 2296 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19131/statm: 2647 2296 238 467 0 2178 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10588 [startup+3.10097 s] /proc/loadavg: 1.86 1.02 0.41 3/183 19132 /proc/meminfo: memFree=28806472/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=10716 CPUtime=3.09 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2412 0 0 0 72 237 0 0 25 0 1 0 21616117 10973184 2318 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19131/statm: 2679 2318 238 467 0 2210 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10716 [startup+6.30038 s] /proc/loadavg: 1.87 1.03 0.42 3/183 19132 /proc/meminfo: memFree=28802572/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=10716 CPUtime=6.29 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2434 0 0 0 134 495 0 0 25 0 1 0 21616117 10973184 2338 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19131/statm: 2679 2338 238 467 0 2210 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10716 [startup+12.7002 s] /proc/loadavg: 1.88 1.05 0.42 3/183 19133 /proc/meminfo: memFree=28791608/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=10844 CPUtime=12.69 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2457 0 0 0 274 995 0 0 25 0 1 0 21616117 11104256 2354 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19131/statm: 2711 2354 238 467 0 2242 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10844 [startup+25.5008 s] /proc/loadavg: 1.91 1.10 0.45 3/183 19133 /proc/meminfo: memFree=28773360/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=10968 CPUtime=25.49 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2505 0 0 0 537 2012 0 0 25 0 1 0 21616117 11231232 2394 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19131/statm: 2742 2394 238 467 0 2273 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10968 [startup+51.1011 s] /proc/loadavg: 1.94 1.17 0.49 3/183 19133 /proc/meminfo: memFree=28733716/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=11224 CPUtime=51.09 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2557 0 0 0 1076 4033 0 0 25 0 1 0 21616117 11493376 2436 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/19131/statm: 2806 2436 238 467 0 2337 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11224 [startup+102.301 s] /proc/loadavg: 1.97 1.29 0.57 3/183 19135 /proc/meminfo: memFree=28659004/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=11352 CPUtime=102.3 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2643 0 0 0 2061 8169 0 0 25 0 1 0 21616117 11624448 2487 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19131/statm: 2838 2487 238 467 0 2369 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11352 [startup+162.301 s] /proc/loadavg: 1.99 1.42 0.65 3/183 19136 /proc/meminfo: memFree=28579560/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=11608 CPUtime=162.29 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2765 0 0 0 3175 13054 0 0 25 0 1 0 21616117 11886592 2548 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19131/statm: 2902 2548 238 467 0 2433 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 11608 Solver just ended. Dumping a history of the last processes samples [startup+166.401 s] /proc/loadavg: 1.99 1.43 0.66 3/183 19137 /proc/meminfo: memFree=28575584/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=11608 CPUtime=166.39 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2776 0 0 0 3255 13384 0 0 25 0 1 0 21616117 11886592 2552 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19131/statm: 2902 2552 238 467 0 2433 0 Current children cumulated CPU time (s) 166.39 Current children cumulated vsize (KiB) 11608 [startup+179.2 s] /proc/loadavg: 1.99 1.45 0.67 3/183 19137 /proc/meminfo: memFree=28560320/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=11736 CPUtime=179.2 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2831 0 0 0 3495 14425 0 0 25 0 1 0 21616117 12017664 2583 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19131/statm: 2934 2583 238 467 0 2465 0 Current children cumulated CPU time (s) 179.2 Current children cumulated vsize (KiB) 11736 [startup+182.401 s] /proc/loadavg: 1.99 1.46 0.68 3/183 19137 /proc/meminfo: memFree=28556216/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=11736 CPUtime=182.39 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2855 0 0 0 3557 14682 0 0 25 0 1 0 21616117 12017664 2595 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19131/statm: 2934 2595 238 467 0 2465 0 Current children cumulated CPU time (s) 182.39 Current children cumulated vsize (KiB) 11736 [startup+184 s] /proc/loadavg: 1.99 1.46 0.68 3/183 19137 /proc/meminfo: memFree=28553116/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=11736 CPUtime=184 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2864 0 0 0 3592 14808 0 0 25 0 1 0 21616117 12017664 2601 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19131/statm: 2934 2601 238 467 0 2465 0 Current children cumulated CPU time (s) 184 Current children cumulated vsize (KiB) 11736 [startup+184.8 s] /proc/loadavg: 1.99 1.46 0.69 3/183 19137 /proc/meminfo: memFree=28551628/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=11736 CPUtime=184.8 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2874 0 0 0 3618 14862 0 0 25 0 1 0 21616117 12017664 2603 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19131/statm: 2934 2603 238 467 0 2465 0 Current children cumulated CPU time (s) 184.8 Current children cumulated vsize (KiB) 11736 [startup+185.601 s] /proc/loadavg: 1.99 1.46 0.69 3/183 19137 /proc/meminfo: memFree=28551628/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=11876 CPUtime=185.59 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2892 0 0 0 3641 14918 0 0 25 0 1 0 21616117 12161024 2612 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19131/statm: 2969 2612 238 467 0 2500 0 Current children cumulated CPU time (s) 185.59 Current children cumulated vsize (KiB) 11876 [startup+186.007 s] /proc/loadavg: 1.99 1.46 0.69 3/183 19137 /proc/meminfo: memFree=28550384/32951124 swapFree=67111528/67111528 [pid=19131] ppid=19129 vsize=11876 CPUtime=186 /proc/19131/stat : 19131 (pbct) R 19129 19131 18570 0 -1 4202496 2898 0 0 0 3655 14945 0 0 25 0 1 0 21616117 12161024 2614 4089446400 134512640 136422188 4288628480 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19131/statm: 2969 2614 238 467 0 2500 0 Current children cumulated CPU time (s) 186 Current children cumulated vsize (KiB) 11876 Child status: 0 Real time (s): 186.045 CPU time (s): 186.049 CPU user time (s): 36.5764 CPU system time (s): 149.472 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 11876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.5764 system time used= 149.472 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2911 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= 928 runsolver used 0.316951 second user time and 0.709892 second system time The end
Begin job on node135 at 2010-07-07 22:20:34 IDJOB=2700123 IDBENCH=79401 IDSOLVER=1212 FILE ID=node135/2700123-1278534034 PBS_JOBID= 11239207 Free space on /tmp= 73752 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh15_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700123-1278534034/watcher-2700123-1278534034 -o /tmp/evaluation-result-2700123-1278534034/solver-2700123-1278534034 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700123-1278534034.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 415715e3de5713a6aca23e12a1a413cb RANDOM SEED=1530223261 node135.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.839 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.839 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.76 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.839 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 : 7358.10 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.839 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.80 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.839 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.839 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.83 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.839 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.73 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28818268 kB Buffers: 121372 kB Cached: 3550728 kB SwapCached: 0 kB Active: 2184848 kB Inactive: 1803692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28818268 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2072 kB Writeback: 0 kB AnonPages: 317072 kB Mapped: 17596 kB Slab: 80044 kB PageTables: 5552 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 466384 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73748 MiB End job on node135 at 2010-07-07 22:23:40