Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 298.796 | 298.787 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo |
MD5SUM | 9ccb130e1efb7ba02e23bcfacb5f0a47 |
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 | 276 |
Best CPU time to get the best result obtained on this benchmark | 1.62475 |
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 | 1000 |
Number of soft constraints | 900 |
Number of constraints which are clauses | 900 |
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 | 444855 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 444854 |
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/900 units 0 0.00/0.00 c vars 200 0.00/0.04 c 0.035994 10.2109 1 2046 0.00/0.04 o 23175 0.00/0.04 c 0.036994 10.4492 3 2368 0.00/0.04 o 22925 0.00/0.04 c 0.037994 10.4492 3 3308 0.00/0.04 o 16502 0.00/0.04 c 0.037994 10.4492 18 3868 0.00/0.04 o 16122 0.04/0.09 c 0.048992 10.4492 432 5901 0.04/0.09 o 15530 0.09/0.10 c 0.049992 10.4492 485 6225 0.09/0.10 o 15493 0.29/0.33 c 0.078987 10.5742 584 9810 0.29/0.33 o 15471 0.29/0.35 c 0.083987 10.5742 377 10553 0.29/0.35 o 15337 0.29/0.36 c 0.087986 10.5742 438 10961 0.29/0.36 o 15236 0.79/0.81 c 0.169974 10.6992 1060 18233 0.79/0.81 o 15182 0.99/1.05 c 0.212967 10.6992 550 22932 0.99/1.05 o 15124 0.99/1.07 c 0.214967 10.6992 340 23471 0.99/1.07 o 15122 1.29/1.38 c 0.279957 10.6992 623 27585 1.29/1.38 o 15051 1.29/1.39 c 0.282956 10.6992 363 28620 1.29/1.39 o 14484 1.59/1.64 c 0.32295 10.6992 705 33328 1.59/1.64 o 14276 2.29/2.36 c 0.468928 10.6992 884 41025 2.29/2.36 o 14223 2.29/2.37 c 0.471928 10.6992 543 41585 2.29/2.37 o 14149 2.29/2.37 c 0.473927 10.6992 549 42322 2.29/2.37 o 13483 2.29/2.38 c 0.473927 10.6992 573 42735 2.29/2.38 o 13231 3.39/3.46 c 0.683896 10.6992 961 57729 3.39/3.46 o 13218 4.09/4.13 c 0.815875 10.6992 623 66947 4.09/4.13 o 13162 4.69/4.79 c 1.01185 10.8242 816 76712 4.69/4.79 o 13161 6.30/6.32 c 1.2938 10.8242 535 90031 6.30/6.32 o 13106 6.30/6.34 c 1.2988 10.8242 649 90666 6.30/6.34 o 13049 6.49/6.55 c 1.3348 10.8242 518 95073 6.49/6.55 o 12981 7.09/7.15 c 1.45578 10.8242 829 104461 7.09/7.15 o 12965 8.09/8.18 c 1.64375 10.8242 727 121095 8.09/8.18 o 12860 10.50/10.56 c 2.03869 10.9492 767 149929 10.50/10.56 o 12833 10.59/10.63 c 2.06169 10.9492 433 151533 10.59/10.63 o 12832 10.90/10.91 c 2.14167 10.9492 1008 154850 10.90/10.91 o 12769 11.19/11.25 c 2.23266 10.9492 383 160152 11.19/11.25 o 12637 12.49/12.52 c 2.47862 10.9492 834 170899 12.49/12.52 o 12490 13.69/13.78 c 2.75358 10.9492 616 189430 13.69/13.78 o 12347 13.79/13.88 c 2.76458 10.9492 465 191342 13.79/13.88 o 12287 14.09/14.11 c 2.82257 10.9492 553 195062 14.09/14.11 o 12187 14.09/14.18 c 2.83157 10.9492 840 195994 14.09/14.18 o 12155 14.49/14.55 c 2.90556 10.9492 538 201870 14.49/14.55 o 12127 14.60/14.61 c 2.91156 10.9492 816 202798 14.60/14.61 o 12021 16.70/16.72 c 3.2605 10.9492 515 233624 16.70/16.72 o 11972 16.99/17.08 c 3.33049 10.9492 630 238607 16.99/17.08 o 11828 17.39/17.50 c 3.45447 10.9492 672 244887 17.39/17.50 o 11812 18.49/18.56 c 3.73543 10.9492 698 260680 18.49/18.56 o 11753 18.60/18.64 c 3.74943 11.0742 908 262315 18.60/18.64 o 11687 19.09/19.19 c 3.84241 11.0742 872 269948 19.09/19.19 o 11657 20.39/20.41 c 4.06638 11.0742 894 284183 20.39/20.41 o 11655 20.39/20.42 c 4.06838 11.0742 491 284451 20.39/20.42 o 11630 20.99/21.04 c 4.17436 11.0742 458 292806 20.99/21.04 o 11549 21.49/21.53 c 4.24835 11.0742 973 298650 21.49/21.53 o 11453 22.39/22.44 c 4.38433 11.0742 755 308908 22.39/22.44 o 11444 24.09/24.16 c 4.76427 11.0742 993 333425 24.09/24.16 o 11442 28.89/28.93 c 5.62115 11.1992 669 377434 28.89/28.93 o 11438 30.59/30.67 c 5.98909 11.1992 642 403107 30.59/30.67 o 11310 30.59/30.69 c 5.99609 11.1992 395 403766 30.59/30.69 o 11163 30.70/30.72 c 6.00309 11.1992 545 404388 30.70/30.72 o 11125 31.30/31.32 c 6.15806 11.1992 673 411883 31.30/31.32 o 11048 33.59/33.63 c 6.56 11.1992 582 443681 33.59/33.63 o 11035 33.69/33.77 c 6.585 11.1992 583 445815 33.69/33.77 o 11023 33.89/33.91 c 6.61099 11.1992 919 447943 33.89/33.91 o 10982 34.79/34.86 c 6.76397 11.1992 587 455380 34.79/34.86 o 10919 35.69/35.75 c 6.89795 11.1992 610 468755 35.69/35.75 o 10761 35.79/35.85 c 6.90995 11.1992 789 470365 35.79/35.85 o 10733 36.69/36.71 c 7.05593 11.1992 587 481729 36.69/36.71 o 10690 36.69/36.74 c 7.06792 11.1992 722 482208 36.69/36.74 o 10660 37.29/37.37 c 7.2449 11.1992 920 488116 37.29/37.37 o 10521 41.09/41.12 c 7.93379 11.1992 963 534094 41.09/41.12 o 10455 45.60/45.64 c 8.85765 11.1992 766 591422 45.60/45.64 o 10434 47.99/48.02 c 9.25659 11.3203 735 618263 47.99/48.02 o 10411 48.79/48.88 c 9.41257 11.3203 664 629151 48.79/48.88 o 10352 50.60/50.64 c 9.77151 11.3203 736 648699 50.60/50.64 o 10312 50.90/50.99 c 9.8665 11.3203 989 652284 50.90/50.99 o 10305 51.39/51.48 c 9.97848 11.3203 718 658875 51.39/51.48 o 10153 51.50/51.59 c 9.98848 11.3203 811 660395 51.50/51.59 o 10017 52.29/52.30 c 10.1065 11.3203 813 670064 52.29/52.30 o 9909 53.39/53.47 c 10.3134 11.3203 445 684505 53.39/53.47 o 9905 58.29/58.36 c 11.2633 11.3203 967 742696 58.29/58.36 o 9890 58.40/58.41 c 11.2713 11.3203 722 743402 58.40/58.41 o 9864 60.00/60.06 c 11.5332 11.3203 738 762554 60.00/60.06 o 9860 67.89/67.98 c 12.966 11.3203 448 851393 67.89/67.98 o 9845 68.00/68.04 c 12.979 11.4453 730 852320 68.00/68.04 o 9837 69.00/69.07 c 13.143 11.4453 684 863295 69.00/69.07 o 9741 71.59/71.63 c 13.7109 11.4453 565 894086 71.59/71.63 o 9534 71.59/71.69 c 13.7219 11.4453 891 895251 71.59/71.69 o 9422 72.39/72.42 c 13.8499 11.4453 756 904626 72.39/72.42 o 9356 73.10/73.18 c 13.9769 11.4453 449 913179 73.10/73.18 o 9197 77.49/77.51 c 14.8687 11.4453 611 961963 77.49/77.51 o 9104 81.09/81.12 c 15.4646 11.4453 782 1002246 81.09/81.12 o 9087 82.79/82.84 c 15.7556 11.4453 555 1020405 82.79/82.84 o 9086 83.40/83.44 c 15.9116 11.4453 707 1027396 83.40/83.44 o 9014 83.99/84.03 c 16.0546 11.4453 758 1035602 83.99/84.03 o 8977 89.10/89.13 c 16.8664 11.4453 525 1080636 89.10/89.13 o 8952 89.90/89.90 c 17.0514 11.4453 681 1088443 89.90/89.90 o 8903 89.90/89.99 c 17.0784 11.4453 686 1089586 89.90/89.99 o 8884 90.20/90.28 c 17.1584 11.4453 562 1093622 90.20/90.28 o 8821 90.29/90.31 c 17.1634 11.4453 706 1094245 90.29/90.31 o 8805 93.00/93.09 c 17.6413 11.4453 898 1123814 93.00/93.09 o 8696 93.30/93.32 c 17.6783 11.4453 940 1125569 93.30/93.32 o 8645 93.39/93.40 c 17.6993 11.4453 769 1126426 93.39/93.40 o 8583 95.20/95.21 c 17.9743 11.5742 871 1146105 95.20/95.21 o 8577 100.69/100.70 c 18.9591 11.5742 681 1210313 100.69/100.70 o 8523 100.80/100.89 c 18.9931 11.5742 745 1212820 100.80/100.89 o 8409 101.50/101.58 c 19.0951 11.5742 973 1220645 101.50/101.58 o 8388 102.10/102.15 c 19.1941 11.5742 754 1227052 102.10/102.15 o 8251 106.19/106.26 c 20.009 11.5742 677 1268482 106.19/106.26 o 8248 108.59/108.66 c 20.3759 11.5742 697 1294554 108.59/108.66 o 8142 111.00/111.05 c 20.8858 11.5742 822 1321404 111.00/111.05 o 8116 111.29/111.39 c 20.9458 11.5742 742 1325540 111.29/111.39 o 8111 112.20/112.25 c 21.0828 11.5742 549 1332398 112.20/112.25 o 8023 112.39/112.47 c 21.1198 11.5742 887 1335266 112.39/112.47 o 8012 112.60/112.68 c 21.1538 11.5742 816 1337518 112.60/112.68 o 7889 113.39/113.41 c 21.2568 11.5742 633 1344841 113.39/113.41 o 7861 113.39/113.46 c 21.2648 11.5742 803 1345545 113.39/113.46 o 7827 115.20/115.29 c 21.5527 11.5742 775 1362991 115.20/115.29 o 7819 115.40/115.44 c 21.5717 11.5742 954 1364201 115.40/115.44 o 7806 116.20/116.29 c 21.7837 11.5742 805 1373198 116.20/116.29 o 7774 124.40/124.44 c 23.2105 11.5742 859 1450789 124.40/124.44 o 7736 129.39/129.48 c 24.1493 11.7031 853 1500862 129.39/129.48 o 7722 129.89/129.96 c 24.2593 11.7031 928 1505825 129.89/129.96 o 7713 140.40/140.42 c 26.056 11.7031 780 1605918 140.40/140.42 o 7680 143.00/143.05 c 26.6 11.7031 812 1634700 143.00/143.05 o 7623 144.49/144.57 c 26.8269 11.7031 734 1647530 144.49/144.57 o 7618 145.99/146.09 c 27.0509 11.7031 589 1664359 145.99/146.09 o 7603 146.59/146.61 c 27.1299 11.7031 743 1670246 146.59/146.61 o 7580 152.99/153.02 c 28.2547 11.7031 625 1727685 152.99/153.02 o 7490 155.19/155.23 c 28.6466 11.7031 460 1751907 155.19/155.23 o 7462 156.20/156.28 c 28.9066 11.7031 642 1762326 156.20/156.28 o 7433 156.40/156.40 c 28.9326 11.7031 790 1764077 156.40/156.40 o 7305 158.49/158.51 c 29.2805 11.7031 483 1784306 158.49/158.51 o 7278 160.10/160.14 c 29.5285 11.7031 976 1798845 160.10/160.14 o 7250 164.70/164.75 c 30.4744 11.7031 552 1841861 164.70/164.75 o 7247 165.10/165.10 c 30.5334 11.7031 510 1845125 165.10/165.10 o 7237 165.10/165.17 c 30.5404 11.7031 801 1845946 165.10/165.17 o 7168 166.00/166.01 c 30.6833 11.7031 771 1855701 166.00/166.01 o 7126 168.10/168.11 c 31.0473 11.8281 746 1877320 168.10/168.11 o 7112 179.60/179.63 c 33.154 11.8281 762 1979131 179.60/179.63 o 7052 181.89/181.90 c 33.6289 11.8281 492 2003113 181.89/181.90 o 7008 183.50/183.58 c 33.9648 11.8281 1046 2020766 183.50/183.58 o 6853 183.99/184.03 c 34.0328 11.8281 519 2026293 183.99/184.03 o 6844 184.50/184.51 c 34.1048 11.8281 626 2031183 184.50/184.51 o 6788 184.70/184.77 c 34.1298 11.8281 528 2032871 184.70/184.77 o 6787 186.50/186.51 c 34.3978 11.8281 885 2050228 186.50/186.51 o 6749 189.10/189.15 c 34.9307 11.8281 906 2073986 189.10/189.15 o 6713 190.20/190.29 c 35.0787 11.8281 464 2084437 190.20/190.29 o 6674 191.30/191.34 c 35.2376 11.8281 492 2094133 191.30/191.34 o 6602 191.99/192.03 c 35.3646 11.8281 779 2100232 191.99/192.03 o 6596 197.49/197.56 c 36.3105 11.8281 943 2147945 197.49/197.56 o 6571 201.40/201.43 c 36.9604 11.8281 848 2182937 201.40/201.43 o 6482 205.20/205.29 c 37.6123 11.8281 909 2220640 205.20/205.29 o 6469 208.59/208.63 c 38.2762 11.8281 988 2253817 208.59/208.63 o 6340 209.39/209.49 c 38.4092 11.8281 799 2259477 209.39/209.49 o 6333 212.49/212.56 c 38.8711 11.8281 589 2288144 212.49/212.56 o 6253 214.51/214.55 c 39.237 11.8281 639 2304031 214.51/214.55 o 6197 228.29/228.35 c 41.7597 11.9492 994 2417954 228.29/228.35 o 6100 229.20/229.22 c 41.8856 11.9492 866 2424893 229.20/229.22 o 6035 230.00/230.05 c 42.0046 11.9492 877 2433111 230.00/230.05 o 6017 234.70/234.74 c 42.8355 11.9492 867 2470607 234.70/234.74 o 5986 235.10/235.18 c 42.9085 11.9492 647 2474629 235.10/235.18 o 5854 236.10/236.15 c 43.0615 11.9492 577 2484081 236.10/236.15 o 5815 236.30/236.34 c 43.0974 11.9492 799 2485621 236.30/236.34 o 5798 236.59/236.64 c 43.1464 11.9492 929 2487852 236.59/236.64 o 5584 238.50/238.51 c 43.4294 11.9492 633 2502953 238.50/238.51 o 5424 239.00/239.05 c 43.5004 11.9492 704 2507542 239.00/239.05 o 5394 242.70/242.75 c 44.2193 11.9492 832 2535295 242.70/242.75 o 5359 243.20/243.25 c 44.3073 11.9492 701 2540161 243.20/243.25 o 5302 243.99/244.08 c 44.4302 11.9492 656 2547766 243.99/244.08 o 5255 244.70/244.79 c 44.5342 11.9492 486 2553713 244.70/244.79 o 5245 244.89/244.92 c 44.5552 11.9492 1003 2554841 244.89/244.92 o 5244 245.30/245.34 c 44.6212 11.9492 844 2557650 245.30/245.34 o 5203 246.30/246.31 c 44.7792 11.9492 434 2566317 246.30/246.31 o 5130 247.20/247.27 c 44.9962 11.9492 877 2573101 247.20/247.27 o 5103 247.69/247.75 c 45.1161 11.9492 561 2577980 247.69/247.75 o 4992 250.70/250.73 c 45.5711 11.9492 845 2599218 250.70/250.73 o 4965 250.90/250.96 c 45.6071 11.9492 805 2601237 250.90/250.96 o 4961 252.00/252.04 c 45.755 11.9492 1040 2610847 252.00/252.04 o 4841 254.40/254.45 c 46.226 11.9492 621 2629055 254.40/254.45 o 4838 255.10/255.18 c 46.337 11.9492 617 2635369 255.10/255.18 o 4787 257.70/257.72 c 46.7129 11.9492 488 2655318 257.70/257.72 o 4769 257.80/257.87 c 46.7339 11.9492 478 2656378 257.80/257.87 o 4766 258.00/258.00 c 46.7639 11.9492 936 2657611 258.00/258.00 o 4693 258.29/258.38 c 46.8089 11.9492 625 2660073 258.29/258.38 o 4633 258.89/258.93 c 46.8849 11.9492 742 2664868 258.89/258.93 o 4547 259.50/259.56 c 46.9789 11.9492 875 2670220 259.50/259.56 o 4530 260.50/260.51 c 47.1958 11.9492 586 2676194 260.50/260.51 o 4481 262.00/262.04 c 47.4778 11.9492 714 2687722 262.00/262.04 o 4477 262.00/262.09 c 47.4858 11.9492 846 2688062 262.00/262.09 o 4473 262.10/262.15 c 47.4978 11.9492 645 2688757 262.10/262.15 o 4322 262.20/262.23 c 47.5098 11.9492 849 2689288 262.20/262.23 o 4318 264.20/264.24 c 47.7747 11.9492 766 2703726 264.20/264.24 o 4233 265.00/265.02 c 47.8817 11.9492 604 2709567 265.00/265.02 o 4205 265.70/265.73 c 47.9797 11.9492 648 2714947 265.70/265.73 o 4179 268.30/268.37 c 48.4766 11.9492 671 2732183 268.30/268.37 o 4164 268.50/268.58 c 48.5096 11.9492 577 2734092 268.50/268.58 o 4119 268.70/268.75 c 48.5366 11.9492 729 2735523 268.70/268.75 o 4104 268.90/268.90 c 48.5606 11.9492 782 2736671 268.90/268.90 o 4094 269.20/269.23 c 48.6016 11.9492 529 2739448 269.20/269.23 o 4078 271.70/271.74 c 48.9666 11.9492 518 2755721 271.70/271.74 o 3953 271.90/271.94 c 49.0016 11.9492 632 2757333 271.90/271.94 o 3919 273.30/273.37 c 49.2405 11.9492 723 2768281 273.30/273.37 o 3903 273.50/273.55 c 49.2845 11.9492 805 2769698 273.50/273.55 o 3867 274.40/274.46 c 49.4805 11.9492 490 2775845 274.40/274.46 o 3793 274.50/274.56 c 49.5055 11.9492 833 2776709 274.50/274.56 o 3758 275.80/275.80 c 49.6824 12.0742 943 2785413 275.80/275.80 o 3712 276.00/276.00 c 49.7074 12.0742 649 2786945 276.00/276.00 o 3703 277.60/277.64 c 49.9604 12.0742 674 2797720 277.60/277.64 o 3625 278.20/278.25 c 50.0464 12.0742 828 2802399 278.20/278.25 o 3546 281.70/281.76 c 50.6813 12.0742 995 2824102 281.70/281.76 o 3540 282.30/282.34 c 50.7723 12.0742 662 2828940 282.30/282.34 o 3539 282.50/282.50 c 50.7913 12.0742 696 2830063 282.50/282.50 o 3500 282.90/282.92 c 50.8603 12.0742 618 2832865 282.90/282.92 o 3481 283.20/283.23 c 50.9043 12.0742 662 2835091 283.20/283.23 o 3394 283.50/283.58 c 50.9623 12.0742 698 2837086 283.50/283.58 o 3300 283.90/283.91 c 50.9992 12.0742 806 2839430 283.90/283.91 o 3108 284.10/284.10 c 51.0242 12.0742 554 2841068 284.10/284.10 o 3060 284.10/284.16 c 51.0292 12.0742 734 2841530 284.10/284.16 o 3055 284.90/284.92 c 51.1392 12.0742 751 2847016 284.90/284.92 o 2993 285.00/285.05 c 51.1512 12.0742 707 2847782 285.00/285.05 o 2927 285.40/285.45 c 51.2082 12.0742 710 2850925 285.40/285.45 o 2846 285.60/285.67 c 51.2362 12.0742 880 2852421 285.60/285.67 o 2806 286.20/286.21 c 51.3292 12.0742 610 2855696 286.20/286.21 o 2775 287.10/287.14 c 51.5522 12.2461 929 2861620 287.10/287.14 o 2761 287.40/287.43 c 51.6012 12.2461 906 2863579 287.40/287.43 o 2708 287.50/287.54 c 51.6162 12.2461 813 2864375 287.50/287.54 o 2656 287.70/287.75 c 51.6401 12.2461 565 2866001 287.70/287.75 o 2589 287.90/287.91 c 51.6711 12.2461 614 2867091 287.90/287.91 o 2561 288.20/288.24 c 51.7341 12.2461 619 2869321 288.20/288.24 o 2490 288.80/288.88 c 51.8221 12.2461 641 2873160 288.80/288.88 o 2479 288.90/288.92 c 51.8281 12.2461 745 2873440 288.90/288.92 o 2450 289.10/289.16 c 51.8681 12.2461 516 2874809 289.10/289.16 o 2418 289.40/289.43 c 51.9091 12.2461 846 2876626 289.40/289.43 o 2411 289.50/289.57 c 51.9301 12.2461 792 2877588 289.50/289.57 o 2365 290.60/290.64 c 52.0831 12.2461 789 2884710 290.60/290.64 o 2335 290.80/290.82 c 52.1161 12.375 887 2885888 290.80/290.82 o 2316 290.80/290.86 c 52.1201 12.375 588 2886275 290.80/290.86 o 2289 291.10/291.13 c 52.1671 12.375 878 2888121 291.10/291.13 o 2226 291.90/291.90 c 52.2721 12.375 709 2892531 291.90/291.90 o 2224 291.90/291.97 c 52.2831 12.375 907 2893112 291.90/291.97 o 2187 292.10/292.12 c 52.308 12.375 912 2894189 292.10/292.12 o 2152 292.10/292.17 c 52.315 12.375 611 2894633 292.10/292.17 o 2136 292.30/292.31 c 52.336 12.375 580 2895699 292.30/292.31 o 2040 292.30/292.36 c 52.343 12.375 735 2896082 292.30/292.36 o 2008 292.51/292.50 c 52.364 12.375 637 2896836 292.51/292.50 o 1994 292.80/292.88 c 52.461 12.375 772 2898999 292.80/292.88 o 1984 292.90/292.96 c 52.487 12.375 970 2899596 292.90/292.96 o 1890 293.00/293.01 c 52.492 12.375 612 2899970 293.00/293.01 o 1880 293.10/293.16 c 52.535 12.375 554 2901073 293.10/293.16 o 1874 293.20/293.22 c 52.549 12.375 730 2901456 293.20/293.22 o 1861 293.20/293.25 c 52.556 12.375 856 2901831 293.20/293.25 o 1859 293.50/293.52 c 52.642 12.375 704 2903524 293.50/293.52 o 1822 294.50/294.53 c 52.837 12.375 950 2910045 294.50/294.53 o 1811 294.70/294.76 c 52.875 12.375 647 2911507 294.70/294.76 o 1798 295.09/295.19 c 52.94 12.375 893 2913943 295.09/295.19 o 1780 295.20/295.26 c 52.9539 12.375 675 2914543 295.20/295.26 o 1748 296.10/296.15 c 53.1119 12.375 559 2919304 296.10/296.15 o 1729 296.59/296.67 c 53.2099 12.375 855 2922309 296.59/296.67 o 1604 296.70/296.74 c 53.2179 12.375 580 2922765 296.70/296.74 o 1551 296.80/296.88 c 53.2329 12.375 489 2923746 296.80/296.88 o 1527 296.90/296.93 c 53.2379 12.375 609 2924106 296.90/296.93 o 1500 296.90/296.94 c 53.2389 12.375 653 2924293 296.90/296.94 o 1441 296.90/296.97 c 53.2459 12.375 766 2924635 296.90/296.97 o 1439 297.00/297.10 c 53.2719 12.375 749 2925546 297.00/297.10 o 1433 297.10/297.14 c 53.2779 12.375 868 2925962 297.10/297.14 o 1358 297.20/297.20 c 53.2889 12.375 559 2926304 297.20/297.20 o 1335 297.20/297.23 c 53.2949 12.375 626 2926471 297.20/297.23 o 1297 297.30/297.38 c 53.3199 12.375 568 2927430 297.30/297.38 o 1230 297.40/297.41 c 53.3279 12.375 694 2927747 297.40/297.41 o 1215 297.40/297.46 c 53.3339 12.375 815 2928074 297.40/297.46 o 1169 297.60/297.61 c 53.3609 12.375 813 2929090 297.60/297.61 o 1164 297.60/297.63 c 53.3639 12.375 862 2929272 297.60/297.63 o 1142 297.60/297.69 c 53.3799 12.375 574 2929637 297.60/297.69 o 1141 297.69/297.76 c 53.3979 12.375 826 2930226 297.69/297.76 o 1119 297.80/297.83 c 53.4129 12.375 553 2930706 297.80/297.83 o 1104 297.80/297.86 c 53.4189 12.375 678 2930976 297.80/297.86 o 1063 297.90/297.92 c 53.4269 12.5 841 2931296 297.90/297.92 o 1052 297.90/297.97 c 53.4409 12.5 947 2931643 297.90/297.97 o 1014 298.01/298.05 c 53.4639 12.5 713 2932105 298.01/298.05 o 992 298.01/298.09 c 53.4719 12.5 830 2932399 298.01/298.09 o 959 298.11/298.11 c 53.4749 12.5 869 2932512 298.11/298.11 o 940 298.11/298.16 c 53.4839 12.5 529 2932889 298.11/298.16 o 902 298.20/298.25 c 53.5069 12.5 820 2933503 298.20/298.25 o 864 298.30/298.30 c 53.5229 12.5 996 2933927 298.30/298.30 o 788 298.30/298.35 c 53.5389 12.5 604 2934215 298.30/298.35 o 759 298.40/298.42 c 53.5489 12.5 851 2934785 298.40/298.42 o 721 298.40/298.43 c 53.5499 12.5 886 2934875 298.40/298.43 o 717 298.40/298.48 c 53.5639 12.5 1139 2935247 298.40/298.48 o 710 298.50/298.56 c 53.5859 12.5 858 2935755 298.50/298.56 o 686 298.50/298.58 c 53.5959 12.5 983 2935969 298.50/298.58 o 660 298.50/298.59 c 53.5989 12.5 1007 2936041 298.50/298.59 o 653 298.60/298.63 c 53.6058 12.5 1182 2936531 298.60/298.63 o 541 298.60/298.67 c 53.6138 12.5 1070 2936772 298.60/298.67 o 536 298.70/298.70 c 53.6238 12.5 1210 2937096 298.70/298.70 o 477 298.70/298.71 c 53.6288 12.5 1214 2937246 298.70/298.71 o 441 298.70/298.74 c 53.6358 12.5 1233 2937498 298.70/298.74 o 395 298.70/298.74 c 53.6388 12.5 1251 2937550 298.70/298.74 o 379 298.70/298.76 c 53.6468 12.5 1359 2937777 298.70/298.76 o 363 298.70/298.76 c 53.6468 12.5 1361 2937827 298.70/298.76 o 322 298.70/298.77 c 53.6498 12.5 1424 2937956 298.70/298.77 o 276 298.70/298.77 c 53.6508 12.5 712 2937962 298.70/298.77 s OPTIMUM FOUND 298.70/298.77 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 276
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700168-1278534237/watcher-2700168-1278534237 -o /tmp/evaluation-result-2700168-1278534237/solver-2700168-1278534237 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700168-1278534237.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.29 2.54 1.27 3/178 19167 /proc/meminfo: memFree=28226760/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=2136 CPUtime=0 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 256 0 0 0 0 0 0 0 21 0 1 0 21636797 2187264 176 4089446400 134512640 136421960 4289083216 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/19167/statm: 534 180 144 467 0 65 0 [startup+0.0559609 s] /proc/loadavg: 2.29 2.54 1.27 3/178 19167 /proc/meminfo: memFree=28226760/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=10696 CPUtime=0.04 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2386 0 0 0 3 1 0 0 21 0 1 0 21636797 10952704 2302 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2674 2302 237 467 0 2205 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10696 [startup+0.100952 s] /proc/loadavg: 2.29 2.54 1.27 3/178 19167 /proc/meminfo: memFree=28226760/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=10696 CPUtime=0.09 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2404 0 0 0 4 5 0 0 21 0 1 0 21636797 10952704 2319 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2674 2319 238 467 0 2205 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10696 [startup+0.300914 s] /proc/loadavg: 2.29 2.54 1.27 3/178 19167 /proc/meminfo: memFree=28226760/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=10824 CPUtime=0.29 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2427 0 0 0 7 22 0 0 21 0 1 0 21636797 11083776 2341 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2706 2341 238 467 0 2237 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10824 [startup+0.700841 s] /proc/loadavg: 2.29 2.54 1.27 3/178 19167 /proc/meminfo: memFree=28226760/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=10824 CPUtime=0.69 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2442 0 0 0 15 54 0 0 22 0 1 0 21636797 11083776 2353 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2706 2353 238 467 0 2237 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10824 [startup+1.5007 s] /proc/loadavg: 2.29 2.54 1.27 3/179 19169 /proc/meminfo: memFree=28216212/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=10952 CPUtime=1.49 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2464 0 0 0 30 119 0 0 25 0 1 0 21636797 11214848 2370 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2738 2370 238 467 0 2269 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10952 [startup+3.1004 s] /proc/loadavg: 2.29 2.54 1.27 3/179 19169 /proc/meminfo: memFree=28215344/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=10952 CPUtime=3.09 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2492 0 0 0 62 247 0 0 25 0 1 0 21636797 11214848 2393 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2738 2393 238 467 0 2269 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10952 [startup+6.30082 s] /proc/loadavg: 2.27 2.53 1.27 3/179 19169 /proc/meminfo: memFree=28211080/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=11080 CPUtime=6.3 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2530 0 0 0 129 501 0 0 25 0 1 0 21636797 11345920 2428 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2770 2428 238 467 0 2301 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 11080 [startup+12.7007 s] /proc/loadavg: 2.25 2.52 1.27 3/179 19170 /proc/meminfo: memFree=28204168/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=11208 CPUtime=12.69 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2563 0 0 0 251 1018 0 0 25 0 1 0 21636797 11476992 2451 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2802 2451 238 467 0 2333 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11208 [startup+25.5003 s] /proc/loadavg: 2.19 2.49 1.28 3/179 19170 /proc/meminfo: memFree=28185376/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=11464 CPUtime=25.49 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2633 0 0 0 504 2045 0 0 25 0 1 0 21636797 11739136 2503 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2866 2503 238 467 0 2397 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11464 [startup+51.1006 s] /proc/loadavg: 2.12 2.45 1.30 3/179 19170 /proc/meminfo: memFree=28153348/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=11588 CPUtime=51.09 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2693 0 0 0 988 4121 0 0 25 0 1 0 21636797 11866112 2543 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2897 2543 238 467 0 2428 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11588 [startup+102.306 s] /proc/loadavg: 2.05 2.38 1.34 3/179 19172 /proc/meminfo: memFree=28082352/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=11848 CPUtime=102.3 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2790 0 0 0 1921 8309 0 0 25 0 1 0 21636797 12132352 2608 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2962 2608 238 467 0 2493 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11848 [startup+162.3 s] /proc/loadavg: 2.02 2.31 1.38 3/179 19174 /proc/meminfo: memFree=28000320/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=11980 CPUtime=162.29 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2862 0 0 0 2998 13231 0 0 25 0 1 0 21636797 12267520 2654 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 2995 2654 238 467 0 2526 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 11980 [startup+222.3 s] /proc/loadavg: 2.00 2.25 1.41 3/179 19174 /proc/meminfo: memFree=27918060/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=12232 CPUtime=222.3 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 2932 0 0 0 4071 18159 0 0 25 0 1 0 21636797 12525568 2701 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 3058 2701 238 467 0 2589 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 12232 [startup+282.3 s] /proc/loadavg: 2.00 2.20 1.45 3/179 19176 /proc/meminfo: memFree=27835152/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=12360 CPUtime=282.3 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 3020 0 0 0 5076 23154 0 0 25 0 1 0 21636797 12656640 2735 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 3090 2735 238 467 0 2621 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 12360 Solver just ended. Dumping a history of the last processes samples [startup+287.9 s] /proc/loadavg: 2.00 2.20 1.45 3/179 19176 /proc/meminfo: memFree=27825968/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=12536 CPUtime=287.9 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 3060 0 0 0 5166 23624 0 0 25 0 1 0 21636797 12836864 2758 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 3134 2758 238 467 0 2665 0 Current children cumulated CPU time (s) 287.9 Current children cumulated vsize (KiB) 12536 [startup+294.3 s] /proc/loadavg: 2.00 2.19 1.45 3/179 19176 /proc/meminfo: memFree=27817156/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=12668 CPUtime=294.3 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 3121 0 0 0 5279 24151 0 0 25 0 1 0 21636797 12972032 2794 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 3167 2794 238 467 0 2698 0 Current children cumulated CPU time (s) 294.3 Current children cumulated vsize (KiB) 12668 [startup+295.906 s] /proc/loadavg: 2.00 2.19 1.45 3/179 19176 /proc/meminfo: memFree=27814296/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=12668 CPUtime=295.9 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 3125 0 0 0 5306 24284 0 0 25 0 1 0 21636797 12972032 2794 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 3167 2794 238 467 0 2698 0 Current children cumulated CPU time (s) 295.9 Current children cumulated vsize (KiB) 12668 [startup+297.501 s] /proc/loadavg: 2.00 2.19 1.45 3/179 19176 /proc/meminfo: memFree=27812932/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=12668 CPUtime=297.5 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 3139 0 0 0 5333 24417 0 0 25 0 1 0 21636797 12972032 2794 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 3167 2794 238 467 0 2698 0 Current children cumulated CPU time (s) 297.5 Current children cumulated vsize (KiB) 12668 [startup+298.301 s] /proc/loadavg: 2.00 2.19 1.46 3/179 19176 /proc/meminfo: memFree=27812188/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=12796 CPUtime=298.3 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 3162 0 0 0 5352 24478 0 0 25 0 1 0 21636797 13103104 2804 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 3199 2804 238 467 0 2730 0 Current children cumulated CPU time (s) 298.3 Current children cumulated vsize (KiB) 12796 [startup+298.7 s] /proc/loadavg: 2.00 2.19 1.46 3/179 19176 /proc/meminfo: memFree=27812188/32951124 swapFree=67111528/67111528 [pid=19167] ppid=19165 vsize=12796 CPUtime=298.7 /proc/19167/stat : 19167 (pbct) R 19165 19167 18367 0 -1 4202496 3182 0 0 0 5362 24508 0 0 25 0 1 0 21636797 13103104 2814 4089446400 134512640 136421960 4289083216 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19167/statm: 3199 2814 238 467 0 2730 0 Current children cumulated CPU time (s) 298.7 Current children cumulated vsize (KiB) 12796 Child status: 0 Real time (s): 298.787 CPU time (s): 298.796 CPU user time (s): 53.6598 CPU system time (s): 245.136 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 12796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 53.6598 system time used= 245.136 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3198 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= 2 involuntary context switches= 316 runsolver used 0.465929 second user time and 0.910861 second system time The end
Begin job on node138 at 2010-07-07 22:23:57 IDJOB=2700168 IDBENCH=79405 IDSOLVER=1208 FILE ID=node138/2700168-1278534237 PBS_JOBID= 11239202 Free space on /tmp= 73608 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh309_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700168-1278534237/watcher-2700168-1278534237 -o /tmp/evaluation-result-2700168-1278534237/solver-2700168-1278534237 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700168-1278534237.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ccb130e1efb7ba02e23bcfacb5f0a47 RANDOM SEED=1449282861 node138.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.845 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.845 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 : 5266.27 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.845 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.845 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.73 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.845 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.82 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.845 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.75 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.845 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.82 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.845 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.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28227156 kB Buffers: 128080 kB Cached: 3966028 kB SwapCached: 0 kB Active: 2021124 kB Inactive: 2553424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28227156 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1988 kB Writeback: 0 kB AnonPages: 480404 kB Mapped: 16744 kB Slab: 83788 kB PageTables: 6568 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 621960 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= 73608 MiB End job on node138 at 2010-07-07 22:28:56