Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 114.804 | 115.098 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh12_wcsp.wbo |
MD5SUM | d787b0d4d15d2d5c6758a89f1cfd571b |
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 | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.164974 |
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.035994 9.94922 1 1952 0.00/0.03 o 23723 0.00/0.04 c 0.037994 10.1172 2 2482 0.00/0.04 o 23210 0.00/0.04 c 0.037994 10.1172 2 3380 0.00/0.04 o 17328 0.00/0.04 c 0.038994 10.1172 2 3920 0.00/0.04 o 17213 0.00/0.04 c 0.038994 10.1172 2 4810 0.00/0.04 o 15328 0.00/0.04 c 0.040993 10.1172 3 5144 0.00/0.04 o 15259 0.00/0.08 c 0.06499 10.2383 215 6043 0.00/0.08 o 15245 0.09/0.18 c 0.12698 10.2383 467 8569 0.09/0.18 o 14892 0.19/0.28 c 0.19497 10.3594 987 9765 0.19/0.28 o 14873 0.29/0.34 c 0.230964 10.3594 495 11056 0.29/0.34 o 14752 0.39/0.44 c 0.290955 10.3594 726 13141 0.39/0.44 o 14309 0.39/0.47 c 0.305953 10.3594 506 13691 0.39/0.47 o 14272 0.39/0.49 c 0.318951 10.3594 628 14310 0.39/0.49 o 14200 0.49/0.55 c 0.361944 10.3594 579 15532 0.49/0.55 o 14017 0.49/0.56 c 0.367944 10.3594 615 15816 0.49/0.56 o 14005 0.79/0.89 c 0.579911 10.3594 615 21768 0.79/0.89 o 13904 1.39/1.48 c 0.954854 10.4844 886 32249 1.39/1.48 o 13820 1.69/1.72 c 1.10983 10.4844 792 35362 1.69/1.72 o 13775 2.10/2.15 c 1.36979 10.4844 583 43165 2.10/2.15 o 13544 2.39/2.47 c 1.57276 10.4844 450 49579 2.39/2.47 o 13360 2.49/2.50 c 1.59776 10.4844 657 50433 2.49/2.50 o 13121 2.49/2.53 c 1.61375 10.4844 499 51117 2.49/2.53 o 13110 2.49/2.56 c 1.63075 10.4844 351 52201 2.49/2.56 o 12956 2.49/2.56 c 1.63475 10.4844 370 52565 2.49/2.56 o 12726 2.59/2.62 c 1.66575 10.4844 633 53652 2.59/2.62 o 12719 2.89/2.95 c 1.88771 10.4844 445 59051 2.89/2.95 o 12689 2.99/3.01 c 1.92571 10.4844 709 59968 2.99/3.01 o 12669 3.09/3.11 c 1.9957 10.4844 672 62202 3.09/3.11 o 12563 3.09/3.14 c 2.00669 10.4844 511 63016 3.09/3.14 o 12490 3.89/3.94 c 2.50462 10.6094 699 70196 3.89/3.94 o 12251 4.19/4.21 c 2.66459 10.6094 568 75044 4.19/4.21 o 12176 4.40/4.49 c 2.83257 10.6094 578 79048 4.40/4.49 o 12023 4.69/4.74 c 3.00654 10.6094 586 83317 4.69/4.74 o 11993 4.79/4.89 c 3.10453 10.6094 630 85637 4.79/4.89 o 11775 4.89/4.98 c 3.16652 10.6094 612 88054 4.89/4.98 o 11765 5.59/5.69 c 3.60645 10.6094 693 99877 5.59/5.69 o 11556 6.69/6.77 c 4.32334 10.6094 520 109388 6.69/6.77 o 11522 6.79/6.82 c 4.35534 10.6094 788 110164 6.79/6.82 o 11451 7.39/7.44 c 4.74828 10.6094 507 119087 7.39/7.44 o 11258 8.50/8.50 c 5.39118 10.7344 455 133049 8.50/8.50 o 11146 9.09/9.17 c 5.81412 10.7344 623 143315 9.09/9.18 o 11139 9.29/9.38 c 5.9271 10.7344 721 145810 9.29/9.38 o 11087 9.40/9.42 c 5.96009 10.7344 567 146524 9.40/9.42 o 11071 9.59/9.60 c 6.07808 10.7344 453 149597 9.59/9.60 o 11044 10.29/10.35 c 6.558 10.7344 698 160233 10.29/10.35 o 11013 11.79/11.86 c 7.51686 10.7344 1023 181694 11.79/11.86 o 11008 12.99/13.01 c 8.21675 10.7344 359 192242 12.99/13.01 o 10919 13.09/13.12 c 8.27874 10.7344 457 193709 13.09/13.12 o 10893 13.29/13.39 c 8.43972 10.7344 571 197562 13.29/13.39 o 10838 13.39/13.48 c 8.50371 10.7344 726 198989 13.39/13.48 o 10815 13.49/13.50 c 8.5177 10.7344 517 199594 13.49/13.50 o 10766 13.59/13.65 c 8.60969 10.7344 831 201380 13.59/13.65 o 10617 13.79/13.82 c 8.71767 10.7344 405 204818 13.79/13.82 o 10595 13.79/13.88 c 8.75167 10.7344 445 205969 13.79/13.88 o 10577 14.20/14.24 c 8.98263 10.7344 528 211522 14.20/14.24 o 10572 14.30/14.36 c 9.05862 10.7344 985 212595 14.30/14.36 o 10493 15.99/16.00 c 10.1225 10.8594 752 232995 15.99/16.00 o 10379 16.79/16.82 c 10.6224 10.8594 627 246721 16.79/16.82 o 10053 18.09/18.14 c 11.4533 10.8594 628 266307 18.09/18.14 o 9978 19.19/19.22 c 12.1452 10.8594 765 280453 19.19/19.22 o 9928 19.19/19.27 c 12.1741 10.8594 604 281219 19.19/19.27 o 9914 19.19/19.29 c 12.1861 10.8594 669 281582 19.19/19.29 o 9885 19.29/19.32 c 12.2061 10.8594 480 282190 19.29/19.32 o 9883 19.70/19.77 c 12.4871 10.8594 788 288385 19.70/19.77 o 9874 20.59/20.65 c 13.038 10.8594 570 298531 20.59/20.65 o 9660 20.99/21.07 c 13.306 10.8594 494 303322 20.99/21.07 o 9591 21.59/21.69 c 13.7089 10.8594 536 311230 21.59/21.69 o 9506 22.49/22.50 c 14.2318 10.8594 925 319861 22.49/22.50 o 9494 22.79/22.86 c 14.4648 10.9805 864 324126 22.79/22.86 o 9459 23.29/23.37 c 14.7688 10.9805 754 330654 23.29/23.37 o 9370 24.10/24.18 c 15.2807 10.9805 922 341809 24.10/24.18 o 9331 24.89/24.97 c 15.7856 10.9805 736 352104 24.89/24.97 o 9279 25.69/25.71 c 16.2545 10.9805 551 359840 25.69/25.71 o 9235 25.89/25.93 c 16.3915 10.9805 780 362834 25.89/25.93 o 9194 26.89/26.95 c 17.0284 10.9805 891 374929 26.89/26.95 o 9122 27.69/27.72 c 17.5103 10.9805 611 384774 27.69/27.72 o 9112 27.69/27.74 c 17.5243 10.9805 688 385237 27.69/27.74 o 8950 27.79/27.88 c 17.6083 10.9805 701 387592 27.79/27.88 o 8892 29.59/29.68 c 18.7182 10.9805 817 405751 29.59/29.68 o 8644 29.79/29.87 c 18.8301 10.9805 458 408337 29.79/29.87 o 8620 29.99/30.01 c 18.9131 10.9805 644 410119 29.99/30.01 o 8586 29.99/30.03 c 18.9241 10.9805 687 410432 29.99/30.03 o 8470 31.80/31.83 c 20.0849 10.9805 613 435552 31.80/31.83 o 8461 31.80/31.87 c 20.1069 10.9805 445 436256 31.80/31.87 o 8285 31.80/31.90 c 20.1289 10.9805 623 436812 31.80/31.90 o 8215 32.09/32.16 c 20.2809 10.9805 549 439727 32.09/32.16 o 8210 32.59/32.65 c 20.5819 10.9805 781 445855 32.59/32.65 o 8102 32.59/32.69 c 20.6059 10.9805 547 446362 32.59/32.69 o 8062 32.79/32.88 c 20.7288 10.9805 468 448380 32.79/32.88 o 8059 33.49/33.54 c 21.1488 10.9805 952 454277 33.49/33.54 o 7957 33.79/33.87 c 21.3528 10.9805 456 459089 33.79/33.87 o 7946 33.89/33.94 c 21.4017 10.9805 742 459889 33.89/33.94 o 7902 33.99/34.02 c 21.4487 10.9805 734 460919 33.99/34.02 o 7796 34.29/34.30 c 21.6277 10.9805 631 463655 34.29/34.30 o 7767 36.89/36.97 c 23.2625 11.1016 940 484296 36.89/36.97 o 7665 37.69/37.79 c 23.7994 11.1016 451 493205 37.69/37.79 o 7625 38.09/38.17 c 24.0183 11.1016 803 497469 38.09/38.17 o 7617 38.19/38.22 c 24.0573 11.1016 606 498122 38.19/38.22 o 7568 38.89/38.94 c 24.4833 11.1016 613 505351 38.89/38.94 o 7533 40.19/40.28 c 25.3222 11.1016 1000 517845 40.19/40.28 o 7532 40.89/40.97 c 25.7391 11.1016 779 524535 40.89/40.97 o 7526 40.89/40.99 c 25.7521 11.1016 532 525230 40.89/40.99 o 7258 42.39/42.46 c 26.6709 11.1016 523 539948 42.39/42.46 o 7250 42.79/42.85 c 26.9029 11.1016 769 543574 42.79/42.85 o 7195 44.39/44.40 c 27.8348 11.1016 671 558625 44.39/44.40 o 7076 44.49/44.51 c 27.9028 11.1016 729 560027 44.49/44.51 o 6985 46.79/46.80 c 29.2965 11.1016 909 576083 46.79/46.80 o 6907 46.89/46.93 c 29.3655 11.1016 526 577372 46.89/46.93 o 6823 47.39/47.49 c 29.7015 11.1016 645 582647 47.39/47.49 o 6818 47.49/47.58 c 29.7495 11.1016 732 583972 47.49/47.58 o 6688 49.09/49.12 c 30.7683 11.1016 837 597111 49.09/49.12 o 6651 49.69/49.77 c 31.1613 11.1016 767 603109 49.69/49.77 o 6634 49.89/49.95 c 31.2712 11.1016 713 605267 49.89/49.95 o 6618 51.70/51.73 c 32.3911 11.1016 495 619049 51.70/51.73 o 6577 53.59/53.62 c 33.5719 11.2266 885 633882 53.59/53.62 o 6551 62.29/62.39 c 39.0831 11.2266 925 710923 62.29/62.39 o 6526 67.29/67.30 c 42.1726 11.2266 489 755166 67.29/67.30 o 6519 67.59/67.66 c 42.4006 11.2266 591 758486 67.59/67.66 o 6495 68.39/68.45 c 42.8745 11.2266 667 765717 68.39/68.45 o 6447 68.49/68.58 c 42.9585 11.2266 766 766787 68.49/68.58 o 6411 69.29/69.38 c 43.4434 11.2266 786 773988 69.29/69.38 o 6353 69.60/69.67 c 43.6114 11.2266 663 776640 69.60/69.67 o 6349 70.59/70.64 c 44.2213 11.2266 649 783965 70.59/70.64 o 6310 72.60/72.68 c 45.5041 11.2266 925 804832 72.60/72.68 o 6272 72.69/72.78 c 45.5701 11.2266 765 805668 72.69/72.78 o 6188 73.39/73.47 c 45.982 11.2266 768 813042 73.39/73.47 o 6097 73.59/73.69 c 46.114 11.2266 463 815516 73.59/73.69 o 6039 76.19/76.22 c 47.6368 11.2266 805 836541 76.19/76.22 o 6023 77.09/77.13 c 48.1857 11.2266 485 844531 77.09/77.13 o 5974 78.00/78.05 c 48.7326 11.2266 617 851944 78.00/78.05 o 5922 78.59/78.69 c 49.1245 11.2266 677 858906 78.59/78.69 o 5791 78.99/79.08 c 49.3535 11.2266 758 862220 78.99/79.08 o 5787 78.99/79.10 c 49.3635 11.2266 490 862881 78.99/79.10 o 5615 81.09/81.15 c 50.5943 11.3477 585 878147 81.09/81.15 o 5576 81.49/81.55 c 50.8363 11.3477 447 881962 81.49/81.55 o 5508 81.89/81.99 c 51.0802 11.3477 563 885232 81.89/81.99 o 5501 82.19/82.25 c 51.2432 11.3477 734 887840 82.19/82.26 o 5419 83.20/83.20 c 51.8311 11.3477 963 894677 83.20/83.20 o 5315 83.60/83.61 c 52.0671 11.3477 462 897597 83.60/83.61 o 5305 84.70/84.74 c 52.793 11.3477 771 906082 84.70/84.74 o 5284 85.29/85.31 c 53.1419 11.3477 888 910172 85.29/85.31 o 5205 85.89/85.92 c 53.5339 11.3477 459 915725 85.89/85.92 o 5154 87.10/87.18 c 54.2877 11.3477 540 924927 87.10/87.18 o 5050 87.39/87.45 c 54.4577 11.3477 619 927434 87.39/87.45 o 4998 89.49/89.56 c 55.7615 11.3477 596 942476 89.49/89.56 o 4910 90.19/90.20 c 56.1385 11.3477 494 947307 90.19/90.20 o 4797 90.19/90.24 c 56.1565 11.3477 654 947817 90.19/90.24 o 4749 90.89/90.95 c 56.6194 11.3477 522 954101 90.89/90.95 o 4611 91.89/91.96 c 57.2383 11.3477 543 961386 91.89/91.96 o 4571 92.59/92.65 c 57.6622 11.3477 558 967268 92.59/92.65 o 4557 92.69/92.70 c 57.6872 11.3477 713 967799 92.69/92.70 o 4464 92.89/92.96 c 57.8462 11.3477 835 970039 92.89/92.96 o 4435 93.19/93.29 c 58.0522 11.3477 756 972840 93.19/93.29 o 4409 93.39/93.43 c 58.1322 11.3477 774 973945 93.39/93.43 o 4394 93.89/93.98 c 58.4551 11.3477 759 978716 93.89/93.98 o 4356 94.19/94.25 c 58.6191 11.3477 648 980972 94.19/94.25 o 4342 95.19/95.29 c 59.283 11.3477 712 989055 95.19/95.29 o 4299 95.49/95.52 c 59.426 11.3477 609 990883 95.49/95.52 o 4263 96.29/96.37 c 59.9589 11.3477 814 997496 96.29/96.37 o 4120 96.49/96.53 c 60.0659 11.3477 879 998540 96.49/96.53 o 4060 96.59/96.68 c 60.1509 11.3477 877 999522 96.59/96.68 o 4059 96.89/96.94 c 60.3248 11.3477 478 1001805 96.89/96.94 o 3955 96.99/97.03 c 60.3878 11.3477 796 1002704 96.99/97.03 o 3816 97.19/97.23 c 60.5098 11.3477 626 1004103 97.19/97.23 o 3789 97.29/97.31 c 60.5608 11.3477 499 1004899 97.29/97.31 o 3757 98.29/98.33 c 61.1757 11.3477 561 1011687 98.29/98.33 o 3644 99.39/99.46 c 61.7796 11.3477 677 1020701 99.39/99.46 o 3593 99.49/99.54 c 61.8216 11.3477 458 1021294 99.49/99.54 o 3551 99.89/99.90 c 62.0416 11.3477 702 1023809 99.89/99.90 o 3541 100.29/100.35 c 62.2425 11.3477 768 1026439 100.29/100.35 o 3496 100.50/100.56 c 62.3405 11.3477 586 1028098 100.50/100.56 o 3458 101.60/101.93 c 62.7435 11.3477 468 1035628 101.60/101.93 o 3383 101.90/102.22 c 62.9084 11.3477 482 1037537 101.90/102.22 o 3367 102.90/103.26 c 63.5503 11.4727 509 1044376 102.90/103.26 o 3273 103.10/103.43 c 63.6393 11.4727 543 1045359 103.10/103.43 o 3267 103.10/103.48 c 63.6693 11.4727 704 1045848 103.10/103.48 o 3228 104.89/105.22 c 64.7462 11.4727 666 1058159 104.89/105.22 o 3213 104.89/105.26 c 64.7702 11.4727 821 1058695 104.89/105.26 o 3123 105.00/105.35 c 64.8271 11.4727 692 1059359 105.00/105.35 o 3101 105.20/105.58 c 64.9711 11.4727 932 1060873 105.20/105.58 o 3066 105.30/105.67 c 65.0231 11.4727 751 1061516 105.30/105.67 o 3054 105.40/105.79 c 65.1081 11.4727 667 1062399 105.40/105.79 o 3042 105.80/106.16 c 65.3451 11.4727 490 1064835 105.80/106.16 o 3028 105.90/106.25 c 65.3951 11.4727 738 1065607 105.90/106.25 o 2935 106.00/106.30 c 65.4281 11.4727 476 1066012 106.00/106.30 o 2934 106.41/106.75 c 65.705 11.4727 867 1068941 106.41/106.75 o 2921 106.50/106.89 c 65.788 11.4727 875 1070021 106.50/106.89 o 2888 106.59/106.98 c 65.84 11.4727 749 1070851 106.59/106.98 o 2751 107.09/107.41 c 66.1159 11.4727 784 1073911 107.09/107.41 o 2686 107.09/107.42 c 66.1239 11.4727 814 1074022 107.09/107.42 o 2672 107.51/107.82 c 66.3599 11.4727 612 1076105 107.51/107.82 o 2638 107.70/108.03 c 66.4899 11.4727 841 1077547 107.70/108.03 o 2636 107.80/108.15 c 66.5629 11.4727 804 1078455 107.80/108.15 o 2607 108.00/108.37 c 66.6959 11.4727 495 1079748 108.00/108.37 o 2558 108.19/108.59 c 66.8408 11.4727 619 1080965 108.19/108.59 o 2497 108.30/108.65 c 66.8828 11.4727 820 1081408 108.30/108.65 o 2493 109.50/109.85 c 67.6267 11.4727 478 1089268 109.50/109.85 o 2474 109.61/109.97 c 67.7097 11.4727 823 1090064 109.61/109.97 o 2463 110.00/110.31 c 67.9177 11.4727 962 1092056 110.00/110.31 o 2434 110.00/110.39 c 67.9557 11.4727 699 1092757 110.00/110.39 o 2336 110.39/110.78 c 68.1906 11.4727 924 1095012 110.39/110.78 o 2301 110.70/111.03 c 68.3396 11.4727 752 1096751 110.70/111.03 o 2179 110.70/111.05 c 68.3546 11.4727 783 1096849 110.70/111.05 o 2175 110.90/111.24 c 68.4746 11.4727 501 1098246 110.90/111.24 o 2109 111.09/111.43 c 68.6076 11.4727 602 1099434 111.09/111.43 o 2105 111.19/111.51 c 68.6556 11.4727 840 1100019 111.19/111.51 o 2098 111.29/111.61 c 68.7176 11.4727 700 1100831 111.29/111.61 o 2061 111.29/111.66 c 68.7565 11.4727 841 1101177 111.29/111.66 o 2058 111.50/111.80 c 68.8475 11.4727 788 1101895 111.50/111.80 o 2041 111.59/111.91 c 68.9095 11.4727 683 1102804 111.59/111.91 o 1823 111.80/112.11 c 69.0415 11.4727 787 1104047 111.80/112.11 o 1810 111.91/112.30 c 69.1455 11.4727 470 1105228 111.91/112.30 o 1794 112.19/112.50 c 69.2755 11.4727 664 1106677 112.19/112.50 o 1790 112.50/112.87 c 69.5094 11.5977 791 1108716 112.50/112.87 o 1778 112.70/113.04 c 69.6164 11.5977 812 1110065 112.70/113.04 o 1605 112.90/113.28 c 69.7584 11.5977 619 1111712 112.90/113.28 o 1499 113.01/113.36 c 69.8094 11.5977 913 1112317 113.01/113.36 o 1497 113.10/113.47 c 69.8714 11.5977 722 1113030 113.10/113.47 o 1489 113.19/113.56 c 69.9254 11.5977 543 1113607 113.19/113.56 o 1445 113.30/113.66 c 69.9884 11.5977 888 1114363 113.30/113.66 o 1403 113.39/113.75 c 70.0424 11.5977 684 1115018 113.39/113.75 o 1330 113.70/114.01 c 70.2043 11.5977 1056 1116634 113.70/114.01 o 1325 113.80/114.18 c 70.3073 11.5977 600 1117883 113.80/114.18 o 1292 114.00/114.33 c 70.4093 11.5977 546 1118811 114.00/114.33 o 1223 114.00/114.34 c 70.4203 11.5977 590 1118949 114.00/114.34 o 1210 114.10/114.41 c 70.4703 11.5977 861 1119532 114.10/114.41 o 1187 114.10/114.44 c 70.4873 11.5977 504 1119737 114.10/114.44 o 1153 114.10/114.47 c 70.5023 11.5977 560 1119968 114.10/114.47 o 1081 114.30/114.65 c 70.6303 11.5977 676 1121104 114.30/114.65 o 1080 114.30/114.68 c 70.6543 11.5977 793 1121485 114.30/114.68 o 1071 114.40/114.70 c 70.6693 11.5977 874 1121666 114.40/114.70 o 1059 114.40/114.72 c 70.6803 11.5977 480 1121809 114.40/114.72 o 1051 114.40/114.73 c 70.6853 11.5977 510 1121891 114.40/114.73 o 1042 114.40/114.77 c 70.7132 11.5977 654 1122246 114.40/114.77 o 1039 114.40/114.79 c 70.7212 11.5977 707 1122361 114.40/114.79 o 998 114.50/114.80 c 70.7332 11.5977 760 1122619 114.50/114.80 o 877 114.50/114.87 c 70.7802 11.5977 527 1123275 114.50/114.87 o 778 114.60/114.91 c 70.8132 11.5977 676 1123661 114.60/114.91 o 681 114.60/114.93 c 70.8282 11.5977 764 1123812 114.60/114.93 o 667 114.60/114.98 c 70.8552 11.5977 908 1124169 114.60/114.98 o 612 114.69/115.01 c 70.8752 11.5977 1013 1124383 114.69/115.01 o 607 114.69/115.02 c 70.8822 11.5977 1067 1124493 114.69/115.02 o 566 114.69/115.02 c 70.8852 11.5977 1088 1124626 114.69/115.02 o 471 114.69/115.03 c 70.8862 11.5977 1111 1124692 114.69/115.03 o 465 114.69/115.03 c 70.8942 11.5977 1149 1124817 114.69/115.03 o 408 114.69/115.04 c 70.8992 11.5977 927 1124908 114.69/115.04 o 387 114.69/115.05 c 70.9072 11.5977 975 1125032 114.69/115.05 o 339 114.69/115.06 c 70.9112 11.5977 1002 1125106 114.69/115.06 o 319 114.69/115.06 c 70.9142 11.5977 922 1125143 114.69/115.06 o 306 114.69/115.07 c 70.9172 11.5977 940 1125200 114.69/115.07 o 302 114.69/115.07 c 70.9212 11.5977 969 1125274 114.69/115.07 o 271 114.69/115.07 c 70.9232 11.5977 986 1125341 114.69/115.07 o 261 114.69/115.08 c 70.9282 11.5977 1023 1125467 114.69/115.08 o 173 114.69/115.08 c 70.9292 11.5977 1027 1125539 114.69/115.08 o 106 114.69/115.08 c 70.9302 11.5977 1027 1125590 114.69/115.08 o 54 114.69/115.08 c 70.9312 11.5977 1031 1125631 114.69/115.08 o 16 114.69/115.08 c 70.9312 11.5977 1032 1125648 114.69/115.08 o 5 114.69/115.08 c 70.9322 11.5977 1032 1125659 114.69/115.08 o 0 114.69/115.08 c 70.9322 11.5977 1032 1125659 114.69/115.08 s OPTIMUM FOUND 114.69/115.08 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 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699967-1278533863/watcher-2699967-1278533863 -o /tmp/evaluation-result-2699967-1278533863/solver-2699967-1278533863 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699967-1278533863.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: 0.18 0.04 0.01 4/178 19925 /proc/meminfo: memFree=29939772/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=2136 CPUtime=0 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21598561 2187264 180 4089446400 134512640 136422188 4293844000 18446744073709551615 135372792 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19925/statm: 534 180 144 467 0 65 0 [startup+0.089845 s] /proc/loadavg: 0.18 0.04 0.01 4/178 19925 /proc/meminfo: memFree=29939772/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=10480 CPUtime=0.08 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2338 0 0 0 6 2 0 0 25 0 1 0 21598561 10731520 2250 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2620 2250 238 467 0 2151 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10480 [startup+0.100844 s] /proc/loadavg: 0.18 0.04 0.01 4/178 19925 /proc/meminfo: memFree=29939772/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=10480 CPUtime=0.09 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2343 0 0 0 7 2 0 0 25 0 1 0 21598561 10731520 2255 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2620 2255 238 467 0 2151 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10480 [startup+0.300807 s] /proc/loadavg: 0.18 0.04 0.01 4/178 19925 /proc/meminfo: memFree=29939772/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=10604 CPUtime=0.29 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2382 0 0 0 20 9 0 0 25 0 1 0 21598561 10858496 2292 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2651 2292 238 467 0 2182 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10604 [startup+0.70073 s] /proc/loadavg: 0.18 0.04 0.01 4/178 19925 /proc/meminfo: memFree=29939772/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=10604 CPUtime=0.69 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2388 0 0 0 45 24 0 0 25 0 1 0 21598561 10858496 2292 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2651 2292 238 467 0 2182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10604 [startup+1.50058 s] /proc/loadavg: 0.18 0.04 0.01 3/179 19926 /proc/meminfo: memFree=29931972/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=10732 CPUtime=1.49 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2412 0 0 0 96 53 0 0 25 0 1 0 21598561 10989568 2314 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2683 2314 238 467 0 2214 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10732 [startup+3.10028 s] /proc/loadavg: 0.18 0.04 0.01 3/179 19926 /proc/meminfo: memFree=29931972/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=10732 CPUtime=3.09 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2442 0 0 0 198 111 0 0 25 0 1 0 21598561 10989568 2334 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2683 2334 238 467 0 2214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10732 [startup+6.30067 s] /proc/loadavg: 0.32 0.08 0.02 3/179 19926 /proc/meminfo: memFree=29932244/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=10860 CPUtime=6.29 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2479 0 0 0 401 228 0 0 25 0 1 0 21598561 11120640 2362 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2715 2362 238 467 0 2246 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10860 [startup+12.7005 s] /proc/loadavg: 0.46 0.11 0.03 3/179 19926 /proc/meminfo: memFree=29932092/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=10988 CPUtime=12.69 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2516 0 0 0 801 468 0 0 25 0 1 0 21598561 11251712 2389 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2747 2389 238 467 0 2278 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10988 [startup+25.501 s] /proc/loadavg: 0.80 0.20 0.06 3/179 19926 /proc/meminfo: memFree=29932276/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=11240 CPUtime=25.49 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2605 0 0 0 1611 938 0 0 25 0 1 0 21598561 11509760 2452 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2810 2452 238 467 0 2341 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11240 [startup+51.1002 s] /proc/loadavg: 1.27 0.36 0.12 3/179 20004 /proc/meminfo: memFree=29932808/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=11364 CPUtime=51.09 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2691 0 0 0 3198 1911 0 0 25 0 1 0 21598561 11636736 2497 4089446400 134512640 136422188 4293844000 18446744073709551615 134651381 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/19925/statm: 2841 2497 238 467 0 2372 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11364 [startup+102.306 s] /proc/loadavg: 1.67 0.61 0.21 2/177 20097 /proc/meminfo: memFree=29936788/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=11616 CPUtime=102.01 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2827 0 0 0 6295 3906 0 0 25 0 1 0 21598561 11894784 2573 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2904 2573 238 467 0 2435 0 Current children cumulated CPU time (s) 102.01 Current children cumulated vsize (KiB) 11616 Solver just ended. Dumping a history of the last processes samples [startup+108.7 s] /proc/loadavg: 1.62 0.62 0.22 3/179 20198 /proc/meminfo: memFree=29909576/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=11744 CPUtime=108.39 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2871 0 0 0 6690 4149 0 0 22 0 1 0 21598561 12025856 2594 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2936 2594 238 467 0 2467 0 Current children cumulated CPU time (s) 108.39 Current children cumulated vsize (KiB) 11744 [startup+111.901 s] /proc/loadavg: 1.65 0.64 0.23 3/179 20198 /proc/meminfo: memFree=29906228/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=11744 CPUtime=111.59 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2893 0 0 0 6889 4270 0 0 25 0 1 0 21598561 12025856 2603 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2936 2603 238 467 0 2467 0 Current children cumulated CPU time (s) 111.59 Current children cumulated vsize (KiB) 11744 [startup+113.5 s] /proc/loadavg: 1.65 0.64 0.23 3/179 20198 /proc/meminfo: memFree=29904120/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=11872 CPUtime=113.19 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2910 0 0 0 6988 4331 0 0 18 0 1 0 21598561 12156928 2611 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2968 2611 238 467 0 2499 0 Current children cumulated CPU time (s) 113.19 Current children cumulated vsize (KiB) 11872 [startup+114.3 s] /proc/loadavg: 1.68 0.66 0.24 3/179 20198 /proc/meminfo: memFree=29901772/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=11872 CPUtime=114 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2924 0 0 0 7039 4361 0 0 20 0 1 0 21598561 12156928 2620 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2968 2620 238 467 0 2499 0 Current children cumulated CPU time (s) 114 Current children cumulated vsize (KiB) 11872 [startup+114.7 s] /proc/loadavg: 1.68 0.66 0.24 3/179 20198 /proc/meminfo: memFree=29901772/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=11872 CPUtime=114.4 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2934 0 0 0 7066 4374 0 0 20 0 1 0 21598561 12156928 2623 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2968 2623 238 467 0 2499 0 Current children cumulated CPU time (s) 114.4 Current children cumulated vsize (KiB) 11872 [startup+114.901 s] /proc/loadavg: 1.68 0.66 0.24 3/179 20198 /proc/meminfo: memFree=29901772/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=11872 CPUtime=114.6 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2944 0 0 0 7080 4380 0 0 21 0 1 0 21598561 12156928 2626 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2968 2626 238 467 0 2499 0 Current children cumulated CPU time (s) 114.6 Current children cumulated vsize (KiB) 11872 [startup+115.001 s] /proc/loadavg: 1.68 0.66 0.24 3/179 20198 /proc/meminfo: memFree=29901772/32951124 swapFree=67111528/67111528 [pid=19925] ppid=19923 vsize=11872 CPUtime=114.69 /proc/19925/stat : 19925 (pbct) R 19923 19925 19295 0 -1 4202496 2949 0 0 0 7086 4383 0 0 21 0 1 0 21598561 12156928 2628 4089446400 134512640 136422188 4293844000 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19925/statm: 2968 2628 238 467 0 2499 0 Current children cumulated CPU time (s) 114.69 Current children cumulated vsize (KiB) 11872 Child status: 0 Real time (s): 115.098 CPU time (s): 114.804 CPU user time (s): 70.9412 CPU system time (s): 43.8623 CPU usage (%): 99.7446 Max. virtual memory (cumulated for all children) (KiB): 11872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 70.9412 system time used= 43.8623 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2981 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 556 runsolver used 0.170974 second user time and 0.367944 second system time The end
Begin job on node141 at 2010-07-07 22:17:43 IDJOB=2699967 IDBENCH=79388 IDSOLVER=1212 FILE ID=node141/2699967-1278533863 PBS_JOBID= 11239195 Free space on /tmp= 73644 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh12_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699967-1278533863/watcher-2699967-1278533863 -o /tmp/evaluation-result-2699967-1278533863/solver-2699967-1278533863 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699967-1278533863.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d787b0d4d15d2d5c6758a89f1cfd571b RANDOM SEED=775471814 node141.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 : 5265.34 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 : 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.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.74 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.76 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.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.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.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.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: 29940424 kB Buffers: 141816 kB Cached: 2644200 kB SwapCached: 0 kB Active: 1237924 kB Inactive: 1619544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29940424 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4224 kB Writeback: 0 kB AnonPages: 70828 kB Mapped: 15448 kB Slab: 88844 kB PageTables: 4680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 215352 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= 73640 MiB End job on node141 at 2010-07-07 22:19:38