Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 387.75 | 387.738 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo |
MD5SUM | 8b86218007c145a9ce1787d0bbf0d30b |
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 | 395 |
Best CPU time to get the best result obtained on this benchmark | 1.59076 |
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 | 10 |
Top cost | 444855 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 444854 |
Biggest number in a constraint | 9 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 19 |
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.036994 10.2188 1 2043 0.00/0.04 o 32337 0.00/0.04 c 0.036994 10.457 1 2991 0.00/0.04 o 30721 0.00/0.04 c 0.037994 10.457 1 3157 0.00/0.04 o 30641 0.03/0.04 c 0.037994 10.457 1 4099 0.03/0.04 o 29503 0.03/0.04 c 0.037994 10.457 3 5039 0.03/0.04 o 28761 0.03/0.05 c 0.037994 10.457 3 5979 0.03/0.05 o 17828 0.03/0.05 c 0.037994 10.457 3 6920 0.03/0.05 o 16291 0.03/0.05 c 0.038994 10.457 45 7329 0.03/0.05 o 16172 0.09/0.18 c 0.06499 10.457 585 10293 0.09/0.18 o 16147 0.19/0.21 c 0.070989 10.457 424 11202 0.19/0.21 o 15896 0.19/0.29 c 0.091986 10.582 658 13442 0.19/0.29 o 15704 0.29/0.36 c 0.103984 10.582 725 15157 0.29/0.36 o 15531 0.89/0.99 c 0.209968 10.707 703 23285 0.89/0.99 o 15358 1.00/1.04 c 0.224965 10.707 381 24958 1.00/1.04 o 14969 1.49/1.59 c 0.341948 10.707 520 32924 1.49/1.59 o 14940 1.59/1.68 c 0.362944 10.707 381 34897 1.59/1.68 o 14902 2.90/2.97 c 0.577912 10.832 719 48970 2.90/2.97 o 14871 3.79/3.84 c 0.763883 10.8281 974 64673 3.79/3.84 o 14864 4.19/4.29 c 0.858869 10.8281 882 73513 4.19/4.29 o 14360 4.40/4.41 c 0.880866 10.8281 648 75772 4.40/4.41 o 14134 4.99/5.09 c 1.00785 10.8281 949 84741 4.99/5.09 o 14087 5.08/5.12 c 1.01585 10.8281 386 85886 5.08/5.12 o 13902 5.59/5.67 c 1.12983 10.8281 577 95951 5.59/5.67 o 13869 5.89/5.93 c 1.18982 10.8281 643 101248 5.89/5.93 o 13835 6.08/6.12 c 1.22281 10.8281 500 104279 6.08/6.12 o 13741 6.08/6.14 c 1.23281 10.8281 645 104894 6.08/6.14 o 13681 6.59/6.66 c 1.3258 10.8281 685 114061 6.59/6.66 o 13651 6.99/7.01 c 1.37279 10.8281 941 117418 6.99/7.01 o 13639 7.19/7.23 c 1.41978 10.8281 441 121960 7.19/7.23 o 13127 9.80/9.85 c 1.88271 10.9492 889 163274 9.80/9.85 o 13115 12.89/12.92 c 2.45163 10.9492 691 203732 12.89/12.92 o 12948 12.89/12.93 c 2.45463 10.9492 458 204307 12.89/12.93 o 12943 13.59/13.61 c 2.58761 10.9492 665 215505 13.59/13.61 o 12839 13.59/13.64 c 2.5926 10.9492 418 216092 13.59/13.64 o 12821 15.29/15.36 c 2.86156 10.9492 501 238742 15.29/15.36 o 12726 15.49/15.53 c 2.89656 10.9492 685 241726 15.49/15.53 o 12713 16.99/17.07 c 3.19751 11.0742 703 267180 16.99/17.07 o 12623 16.99/17.09 c 3.19851 11.0742 496 268248 16.99/17.09 o 12159 18.49/18.56 c 3.45947 11.0742 402 289266 18.49/18.56 o 12123 19.89/19.91 c 3.71843 11.0742 645 308452 19.89/19.91 o 11924 21.19/21.23 c 3.9514 11.0742 868 325956 21.19/21.23 o 11854 21.29/21.32 c 3.9694 11.0742 535 327639 21.29/21.32 o 11835 23.00/23.06 c 4.26535 11.0742 722 348608 23.00/23.06 o 11725 31.09/31.10 c 5.65714 11.1992 489 431227 31.09/31.10 o 11416 33.49/33.52 c 6.06308 11.1992 625 463750 33.49/33.52 o 11352 33.89/33.92 c 6.13107 11.1992 648 469993 33.89/33.92 o 11338 34.09/34.11 c 6.15906 11.1992 646 473585 34.09/34.11 o 11309 35.20/35.27 c 6.36403 11.1992 582 488457 35.20/35.27 o 11208 35.29/35.31 c 6.36903 11.1992 439 489346 35.29/35.31 o 10946 36.99/37.02 c 6.65999 11.1992 724 508244 36.99/37.02 o 10931 38.19/38.23 c 6.88995 11.1992 624 524332 38.19/38.23 o 10892 40.99/41.02 c 7.40487 11.1992 546 564123 40.99/41.02 o 10847 42.29/42.32 c 7.61484 11.1992 592 578327 42.29/42.32 o 10791 42.49/42.59 c 7.65484 11.1992 494 582668 42.49/42.59 o 10743 47.79/47.86 c 8.64069 11.3242 569 641880 47.79/47.87 o 10740 48.49/48.51 c 8.74867 11.3242 965 651410 48.49/48.51 o 10732 51.60/51.65 c 9.24959 11.3242 465 686796 51.60/51.65 o 10710 57.69/57.73 c 10.2644 11.3242 638 754293 57.69/57.73 o 10690 57.69/57.75 c 10.2694 11.3242 407 754902 57.69/57.75 o 10657 59.40/59.43 c 10.5244 11.3242 645 776947 59.40/59.43 o 10617 59.80/59.80 c 10.6014 11.3242 636 781896 59.80/59.80 o 10585 60.79/60.86 c 10.7574 11.3242 719 794544 60.79/60.86 o 10530 60.99/61.03 c 10.7834 11.3242 533 797234 60.99/61.03 o 10490 62.89/62.96 c 11.1133 11.3242 985 820411 62.89/62.96 o 10380 65.60/65.65 c 11.6052 11.3242 706 848368 65.60/65.65 o 10346 70.50/70.50 c 12.4311 11.4453 640 911173 70.50/70.50 o 10165 70.59/70.65 c 12.4561 11.4453 704 913427 70.59/70.65 o 10118 71.50/71.53 c 12.6111 11.4453 747 924835 71.50/71.53 o 10113 75.29/75.39 c 13.242 11.4453 494 968686 75.29/75.39 o 9954 78.69/78.72 c 13.7989 11.4453 602 1011493 78.69/78.72 o 9945 80.59/80.64 c 14.1059 11.4453 680 1035520 80.59/80.64 o 9890 85.19/85.23 c 14.8787 11.4453 860 1087438 85.19/85.23 o 9797 85.89/85.97 c 14.9937 11.4453 638 1096912 85.89/85.97 o 9755 87.59/87.69 c 15.2877 11.4453 477 1120071 87.59/87.69 o 9737 89.09/89.18 c 15.5226 11.4453 693 1138654 89.09/89.18 o 9630 93.79/93.86 c 16.2745 11.4453 909 1197353 93.79/93.86 o 9499 95.49/95.54 c 16.5525 11.4453 589 1217236 95.49/95.54 o 9477 97.59/97.69 c 16.8914 11.4453 879 1237698 97.59/97.69 o 9453 97.80/97.87 c 16.9244 11.4453 671 1240523 97.80/97.87 o 9423 107.80/107.82 c 18.6152 11.5703 794 1358827 107.80/107.82 o 9362 114.30/114.32 c 19.697 11.5703 744 1434103 114.30/114.32 o 9359 115.59/115.61 c 19.909 11.5703 668 1450715 115.59/115.61 o 9354 115.69/115.79 c 19.936 11.5703 816 1453285 115.69/115.79 o 9317 116.89/116.99 c 20.1539 11.5703 764 1467398 116.89/116.99 o 9305 118.39/118.48 c 20.4209 11.5703 554 1486599 118.39/118.48 o 9255 118.79/118.83 c 20.4739 11.5703 566 1492258 118.79/118.83 o 9235 121.40/121.41 c 20.8638 11.5703 562 1518992 121.40/121.41 o 9194 124.50/124.54 c 21.3558 11.5703 745 1557744 124.50/124.54 o 9159 124.79/124.85 c 21.4107 11.5703 659 1561554 124.79/124.85 o 9086 127.30/127.32 c 21.8037 11.5703 583 1591446 127.30/127.32 o 8932 127.79/127.81 c 21.8767 11.5703 656 1597519 127.79/127.81 o 8843 130.59/130.69 c 22.3766 11.5703 818 1629414 130.59/130.69 o 8799 131.90/131.95 c 22.5926 11.6953 1050 1643952 131.90/131.95 o 8761 134.89/134.95 c 23.0745 11.6953 806 1682789 134.89/134.95 o 8700 136.40/136.48 c 23.3435 11.6953 528 1702593 136.40/136.48 o 8672 136.90/136.96 c 23.4214 11.6953 694 1708504 136.90/136.96 o 8625 140.50/140.58 c 24.0363 11.6953 929 1747007 140.50/140.58 o 8610 146.70/146.77 c 25.0712 11.6953 849 1818426 146.70/146.77 o 8609 146.79/146.86 c 25.0912 11.6953 791 1819490 146.79/146.86 o 8407 154.19/154.28 c 26.3 11.6953 607 1900314 154.19/154.28 o 8369 154.30/154.38 c 26.31 11.6953 654 1901836 154.30/154.38 o 8317 155.39/155.44 c 26.487 11.6953 458 1914867 155.39/155.44 o 8126 159.59/159.67 c 27.2069 11.6953 829 1964920 159.59/159.67 o 8066 163.00/163.08 c 27.7598 11.6953 541 1998185 163.00/163.08 o 7996 164.70/164.77 c 28.0247 11.6953 936 2016459 164.70/164.77 o 7980 167.29/167.35 c 28.3867 11.6953 729 2041141 167.29/167.35 o 7974 168.10/168.19 c 28.5307 11.6953 712 2050093 168.10/168.19 o 7935 175.00/175.05 c 29.6545 11.6953 568 2117682 175.00/175.05 o 7912 178.69/178.74 c 30.2714 11.6953 750 2157329 178.69/178.74 o 7639 179.09/179.14 c 30.3284 11.6953 518 2163047 179.09/179.14 o 7567 183.30/183.39 c 30.9963 11.8164 1055 2202148 183.30/183.39 o 7562 185.99/186.01 c 31.3772 11.8164 521 2231103 185.99/186.01 o 7406 187.39/187.43 c 31.6132 11.8164 562 2244543 187.39/187.43 o 7164 187.90/187.97 c 31.7122 11.8164 756 2250121 187.90/187.97 o 7105 191.19/191.24 c 32.2261 11.8164 778 2282066 191.19/191.24 o 7095 191.49/191.53 c 32.2701 11.8164 677 2285134 191.49/191.53 o 6951 192.80/192.88 c 32.4691 11.8164 849 2299033 192.80/192.88 o 6882 195.49/195.59 c 32.923 11.8164 889 2325832 195.49/195.59 o 6847 196.50/196.56 c 33.083 11.8164 789 2336104 196.50/196.56 o 6795 197.10/197.17 c 33.184 11.8164 665 2341633 197.10/197.17 o 6768 212.60/212.61 c 35.5616 11.8164 578 2466342 212.60/212.61 o 6750 213.79/213.84 c 35.7456 11.8164 718 2478935 213.79/213.84 o 6677 215.10/215.14 c 35.9345 11.8164 774 2492411 215.10/215.14 o 6568 215.60/215.69 c 36.0085 11.8164 839 2497175 215.60/215.69 o 6411 216.19/216.28 c 36.0785 11.8164 567 2502666 216.19/216.28 o 6332 219.90/220.00 c 36.6454 11.8164 837 2537112 219.90/220.00 o 6258 221.30/221.31 c 36.8334 11.8164 740 2549073 221.30/221.31 o 6242 223.89/223.98 c 37.1903 11.8164 574 2574552 223.89/223.98 o 6035 228.70/228.72 c 37.9112 11.8164 605 2615668 228.70/228.72 o 5981 230.10/230.15 c 38.1392 11.8164 1013 2627181 230.10/230.15 o 5932 230.79/230.82 c 38.2312 11.8164 658 2633700 230.79/230.82 o 5887 230.79/230.85 c 38.2362 11.8164 769 2634134 230.79/230.85 o 5852 231.60/231.66 c 38.3502 11.8164 688 2641871 231.60/231.66 o 5786 233.21/233.27 c 38.5921 11.8164 890 2657024 233.21/233.27 o 5721 237.40/237.47 c 39.153 11.8164 913 2696093 237.40/237.47 o 5694 238.20/238.20 c 39.274 11.8164 955 2703465 238.20/238.20 o 5665 240.60/240.60 c 39.623 11.8164 684 2724230 240.60/240.60 o 5635 255.40/255.45 c 41.8386 11.8164 798 2839239 255.40/255.45 o 5584 257.20/257.28 c 42.0766 11.8164 933 2855265 257.20/257.28 o 5514 258.90/258.97 c 42.2786 11.9453 820 2870747 258.90/258.97 o 5347 259.30/259.30 c 42.3196 11.9453 682 2873473 259.30/259.30 o 5329 266.10/266.13 c 43.3774 11.9453 671 2932508 266.10/266.13 o 5323 268.59/268.67 c 43.7773 11.9453 739 2957963 268.59/268.67 o 5263 270.30/270.31 c 44.0253 11.9453 687 2971412 270.30/270.31 o 5193 272.20/272.22 c 44.2953 11.9453 653 2988157 272.20/272.22 o 5146 275.80/275.86 c 44.8232 11.9453 614 3015784 275.80/275.86 o 5058 276.01/276.03 c 44.8572 11.9453 444 3017402 276.01/276.03 o 5054 276.01/276.08 c 44.8672 11.9453 629 3017984 276.01/276.08 o 5027 277.70/277.70 c 45.1171 11.9453 625 3031601 277.70/277.70 o 4993 281.60/281.65 c 45.6551 11.9453 649 3063627 281.60/281.65 o 4980 281.70/281.73 c 45.6631 11.9453 552 3064542 281.70/281.73 o 4977 282.90/282.95 c 45.847 11.9453 763 3075274 282.90/282.95 o 4976 289.20/289.20 c 46.7549 11.9453 789 3124892 289.20/289.20 o 4899 291.00/291.00 c 47.0279 11.9453 673 3140260 291.00/291.00 o 4889 291.80/291.81 c 47.1398 11.9453 935 3147064 291.80/291.81 o 4786 295.40/295.44 c 47.6438 11.9453 601 3177190 295.40/295.44 o 4706 300.30/300.32 c 48.3996 11.9453 910 3211557 300.30/300.32 o 4665 300.60/300.62 c 48.4326 11.9453 912 3213528 300.60/300.62 o 4585 300.70/300.75 c 48.4556 11.9453 917 3214730 300.70/300.75 o 4545 305.60/305.68 c 49.2145 11.9453 717 3253435 305.60/305.68 o 4507 306.70/306.72 c 49.3425 11.9453 695 3262151 306.70/306.72 o 4493 312.60/312.63 c 50.1964 11.9453 605 3307415 312.60/312.63 o 4450 312.80/312.82 c 50.2224 11.9453 486 3309330 312.80/312.82 o 4216 313.80/313.86 c 50.3563 11.9453 765 3317873 313.80/313.86 o 4088 313.90/313.94 c 50.3663 11.9453 612 3318595 313.90/313.94 o 4063 314.30/314.31 c 50.4233 11.9453 809 3322236 314.30/314.31 o 3989 314.70/314.79 c 50.4983 11.9453 675 3325865 314.70/314.79 o 3970 316.20/316.24 c 50.7133 11.9453 686 3335081 316.20/316.24 o 3935 316.50/316.54 c 50.7633 11.9453 859 3337789 316.50/316.54 o 3893 319.60/319.68 c 51.2082 11.9453 924 3362266 319.60/319.68 o 3775 320.80/320.89 c 51.3912 11.9453 521 3371304 320.80/320.89 o 3750 321.11/321.19 c 51.4262 11.9453 926 3373066 321.11/321.19 o 3727 321.70/321.78 c 51.5212 11.9453 796 3377719 321.70/321.78 o 3601 323.80/323.81 c 51.8281 12.0703 518 3392505 323.80/323.81 o 3591 326.50/326.52 c 52.2431 12.0703 520 3411895 326.50/326.52 o 3553 331.01/331.08 c 52.907 12.0703 890 3445815 331.01/331.08 o 3494 331.10/331.18 c 52.918 12.0703 786 3446681 331.10/331.18 o 3459 331.50/331.57 c 52.9889 12.0703 435 3450164 331.50/331.57 o 3445 332.90/332.90 c 53.1849 12.0703 969 3460456 332.90/332.90 o 3418 332.90/332.98 c 53.1979 12.0703 746 3461235 332.90/332.98 o 3329 334.00/334.07 c 53.3679 12.0703 568 3469752 334.00/334.07 o 3262 334.81/334.85 c 53.4649 12.0703 977 3476068 334.81/334.85 o 3186 335.70/335.72 c 53.6108 12.0703 581 3482431 335.70/335.72 o 3137 336.90/336.94 c 53.8018 12.0703 757 3490394 336.90/336.94 o 3105 338.00/338.00 c 53.9418 12.0703 710 3498317 338.00/338.00 o 3103 338.20/338.20 c 53.9698 12.0703 860 3499940 338.20/338.20 o 3075 338.40/338.49 c 54.0038 12.0703 901 3502118 338.40/338.49 o 3038 338.80/338.80 c 54.0498 12.0703 544 3504260 338.80/338.80 o 2867 339.30/339.30 c 54.1278 12.0703 651 3507313 339.30/339.30 o 2676 343.80/343.81 c 54.7877 12.0703 630 3534818 343.80/343.81 o 2619 345.20/345.24 c 54.9916 12.0703 643 3544195 345.20/345.24 o 2583 345.80/345.89 c 55.0846 12.0703 798 3548628 345.80/345.89 o 2564 349.71/349.80 c 55.6355 12.0703 512 3573413 349.71/349.80 o 2536 350.20/350.20 c 55.6985 12.0703 833 3576090 350.20/350.20 o 2495 353.20/353.27 c 56.1575 12.0703 917 3595655 353.20/353.27 o 2487 353.30/353.32 c 56.1655 12.0703 602 3596004 353.30/353.32 o 2462 353.30/353.35 c 56.1695 12.0703 696 3596245 353.30/353.35 o 2426 354.51/354.56 c 56.3584 12.0703 567 3603327 354.51/354.56 o 2335 354.70/354.75 c 56.3914 12.0703 687 3604664 354.70/354.75 o 2316 360.10/360.16 c 57.1473 12.0703 665 3637902 360.10/360.16 o 2310 362.20/362.20 c 57.4443 12.0703 867 3650804 362.20/362.20 o 2296 362.40/362.42 c 57.4813 12.0703 622 3652700 362.40/362.42 o 2230 362.80/362.80 c 57.5303 12.0703 875 3655597 362.80/362.80 o 2158 363.21/363.25 c 57.6022 12.0703 893 3658635 363.21/363.25 o 2060 363.80/363.85 c 57.6742 12.0703 863 3662073 363.80/363.85 o 2052 366.90/366.92 c 58.1282 12.0703 574 3677988 366.90/366.92 o 2039 368.60/368.62 c 58.3901 12.0703 717 3689396 368.60/368.62 o 2021 368.60/368.66 c 58.3971 12.0703 859 3689738 368.60/368.66 o 1999 368.71/368.72 c 58.4031 12.0703 573 3690118 368.71/368.72 o 1967 368.71/368.79 c 58.4101 12.0703 821 3690849 368.71/368.79 o 1868 370.10/370.10 c 58.6081 12.0703 914 3698893 370.10/370.10 o 1828 370.51/370.56 c 58.6611 12.0703 881 3701861 370.51/370.56 o 1728 370.61/370.66 c 58.6761 12.0703 737 3702460 370.61/370.66 o 1716 373.61/373.61 c 59.155 12.3125 623 3721027 373.61/373.61 o 1686 373.80/373.89 c 59.203 12.3125 627 3723223 373.80/373.89 o 1530 373.91/373.94 c 59.216 12.3125 769 3723665 373.91/373.94 o 1502 375.40/375.41 c 59.469 12.3125 667 3732641 375.40/375.41 o 1493 375.80/375.80 c 59.5299 12.3125 928 3734688 375.80/375.80 o 1492 376.00/376.07 c 59.5799 12.3125 884 3736563 376.00/376.07 o 1366 376.11/376.18 c 59.6009 12.3125 753 3737202 376.11/376.18 o 1360 376.40/376.40 c 59.6389 12.3125 907 3738466 376.40/376.40 o 1345 377.80/377.86 c 59.9069 12.3125 708 3747254 377.80/377.86 o 1336 379.91/379.95 c 60.2758 12.3125 878 3760214 379.91/379.95 o 1316 380.90/380.91 c 60.4488 12.3125 558 3766098 380.90/380.91 o 1295 380.90/380.94 c 60.4518 12.3125 635 3766351 380.90/380.94 o 1233 382.90/382.97 c 60.7988 12.4414 525 3777979 382.90/382.97 o 1172 384.20/384.28 c 61.0487 12.4414 823 3786134 384.20/384.28 o 1114 384.51/384.56 c 61.1017 12.4414 822 3787827 384.51/384.56 o 1096 384.70/384.73 c 61.1307 12.4414 880 3788904 384.70/384.73 o 1064 385.10/385.10 c 61.1977 12.4414 772 3791746 385.10/385.10 o 985 385.70/385.76 c 61.3047 12.4414 924 3796157 385.70/385.76 o 937 386.21/386.29 c 61.4067 12.4414 863 3799446 386.21/386.29 o 862 386.80/386.85 c 61.5156 12.4414 709 3803058 386.80/386.85 o 755 386.90/386.92 c 61.5296 12.4414 901 3803445 386.90/386.92 o 749 386.90/386.99 c 61.5496 12.4414 1094 3803855 386.90/386.99 o 722 387.30/387.32 c 61.6166 12.4414 732 3806092 387.30/387.32 o 698 387.40/387.41 c 61.6456 12.4414 1144 3806784 387.40/387.41 o 657 387.40/387.47 c 61.6616 12.4414 840 3807234 387.40/387.47 o 611 387.50/387.56 c 61.6856 12.4414 1275 3807915 387.50/387.56 o 575 387.60/387.63 c 61.7056 12.4414 960 3808387 387.60/387.63 o 565 387.60/387.68 c 61.7196 12.4414 1147 3808717 387.60/387.68 o 524 387.70/387.70 c 61.7266 12.4414 1256 3808913 387.70/387.70 o 480 387.70/387.71 c 61.7366 12.4414 1342 3809063 387.70/387.71 o 434 387.70/387.72 c 61.7376 12.4414 1059 3809126 387.70/387.72 o 395 387.70/387.72 c 61.7416 12.4414 1096 3809166 387.70/387.72 s OPTIMUM FOUND 387.70/387.72 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 395
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699952-1278533860/watcher-2699952-1278533860 -o /tmp/evaluation-result-2699952-1278533860/solver-2699952-1278533860 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699952-1278533860.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.11 0.04 0.01 3/178 19601 /proc/meminfo: memFree=28703404/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=2136 CPUtime=0 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 255 0 0 0 0 0 0 0 21 0 1 0 21600802 2187264 175 4089446400 134512640 136421960 4288125456 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/19601/statm: 534 175 144 467 0 65 0 [startup+0.0463279 s] /proc/loadavg: 0.11 0.04 0.01 3/178 19601 /proc/meminfo: memFree=28703404/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10704 CPUtime=0.03 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2392 0 0 0 3 0 0 0 21 0 1 0 21600802 10960896 2309 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19601/statm: 2676 2309 237 467 0 2207 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10704 [startup+0.100316 s] /proc/loadavg: 0.11 0.04 0.01 3/178 19601 /proc/meminfo: memFree=28703404/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10704 CPUtime=0.09 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2408 0 0 0 4 5 0 0 21 0 1 0 21600802 10960896 2320 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19601/statm: 2676 2320 238 467 0 2207 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10704 [startup+0.30028 s] /proc/loadavg: 0.11 0.04 0.01 3/178 19601 /proc/meminfo: memFree=28703404/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10832 CPUtime=0.29 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2437 0 0 0 9 20 0 0 21 0 1 0 21600802 11091968 2346 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19601/statm: 2708 2346 238 467 0 2239 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10832 [startup+0.700199 s] /proc/loadavg: 0.11 0.04 0.01 3/178 19601 /proc/meminfo: memFree=28703404/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10960 CPUtime=0.69 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2474 0 0 0 16 53 0 0 22 0 1 0 21600802 11223040 2382 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19601/statm: 2740 2382 238 467 0 2271 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10960 [startup+1.50105 s] /proc/loadavg: 0.11 0.04 0.01 3/179 19602 /proc/meminfo: memFree=28692732/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10960 CPUtime=1.49 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2485 0 0 0 31 118 0 0 25 0 1 0 21600802 11223040 2391 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19601/statm: 2740 2391 238 467 0 2271 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10960 [startup+3.10074 s] /proc/loadavg: 0.26 0.07 0.02 3/179 19602 /proc/meminfo: memFree=28690632/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11084 CPUtime=3.1 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2505 0 0 0 60 250 0 0 25 0 1 0 21600802 11350016 2408 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19601/statm: 2771 2408 238 467 0 2302 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 11084 [startup+6.30013 s] /proc/loadavg: 0.26 0.07 0.02 3/179 19602 /proc/meminfo: memFree=28685052/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11084 CPUtime=6.29 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2534 0 0 0 126 503 0 0 25 0 1 0 21600802 11350016 2428 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19601/statm: 2771 2428 238 467 0 2302 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11084 [startup+12.7009 s] /proc/loadavg: 0.53 0.13 0.04 3/179 19602 /proc/meminfo: memFree=28674528/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11208 CPUtime=12.69 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2577 0 0 0 241 1028 0 0 25 0 1 0 21600802 11476992 2467 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19601/statm: 2802 2467 238 467 0 2333 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11208 [startup+25.5005 s] /proc/loadavg: 0.75 0.20 0.06 3/179 19602 /proc/meminfo: memFree=28655140/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11336 CPUtime=25.49 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2623 0 0 0 466 2083 0 0 25 0 1 0 21600802 11608064 2500 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19601/statm: 2834 2500 238 467 0 2365 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11336 [startup+51.1006 s] /proc/loadavg: 1.18 0.34 0.11 3/179 19606 /proc/meminfo: memFree=28616852/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11592 CPUtime=51.09 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2674 0 0 0 916 4193 0 0 25 0 1 0 21600802 11870208 2538 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2898 2538 238 467 0 2429 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11592 [startup+102.306 s] /proc/loadavg: 1.67 0.62 0.22 3/179 19634 /proc/meminfo: memFree=28674764/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11716 CPUtime=102.3 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2755 0 0 0 1768 8462 0 0 25 0 1 0 21600802 11997184 2596 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2929 2596 238 467 0 2460 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11716 [startup+162.3 s] /proc/loadavg: 1.88 0.87 0.33 3/179 19636 /proc/meminfo: memFree=28552976/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11972 CPUtime=162.29 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2830 0 0 0 2761 13468 0 0 25 0 1 0 21600802 12259328 2647 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2993 2647 238 467 0 2524 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 11972 [startup+222.301 s] /proc/loadavg: 1.95 1.07 0.43 3/179 19638 /proc/meminfo: memFree=28464004/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12096 CPUtime=222.3 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2890 0 0 0 3696 18534 0 0 25 0 1 0 21600802 12386304 2683 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3024 2683 238 467 0 2555 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 12096 [startup+282.301 s] /proc/loadavg: 1.98 1.24 0.52 3/179 19639 /proc/meminfo: memFree=28396484/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12228 CPUtime=282.3 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 2938 0 0 0 4575 23655 0 0 25 0 1 0 21600802 12521472 2707 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3057 2707 238 467 0 2588 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 12228 [startup+342.3 s] /proc/loadavg: 1.99 1.37 0.61 3/179 19641 /proc/meminfo: memFree=28334036/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12356 CPUtime=342.3 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3012 0 0 0 5456 28774 0 0 25 0 1 0 21600802 12652544 2743 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3089 2743 238 467 0 2620 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 12356 Solver just ended. Dumping a history of the last processes samples [startup+358.3 s] /proc/loadavg: 1.99 1.40 0.64 3/179 19641 /proc/meminfo: memFree=28323728/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12356 CPUtime=358.3 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3028 0 0 0 5689 30141 0 0 25 0 1 0 21600802 12652544 2749 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3089 2749 238 467 0 2620 0 Current children cumulated CPU time (s) 358.3 Current children cumulated vsize (KiB) 12356 [startup+371.101 s] /proc/loadavg: 1.99 1.42 0.65 3/179 19642 /proc/meminfo: memFree=28310940/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12604 CPUtime=371.1 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3066 0 0 0 5875 31235 0 0 25 0 1 0 21600802 12906496 2773 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3151 2773 238 467 0 2682 0 Current children cumulated CPU time (s) 371.1 Current children cumulated vsize (KiB) 12604 [startup+377.501 s] /proc/loadavg: 1.99 1.44 0.66 3/179 19642 /proc/meminfo: memFree=28305224/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12604 CPUtime=377.5 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3076 0 0 0 5982 31768 0 0 25 0 1 0 21600802 12906496 2775 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3151 2775 238 467 0 2682 0 Current children cumulated CPU time (s) 377.5 Current children cumulated vsize (KiB) 12604 [startup+383.906 s] /proc/loadavg: 1.99 1.45 0.67 3/179 19642 /proc/meminfo: memFree=28298524/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12736 CPUtime=383.9 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3115 0 0 0 6097 32293 0 0 25 0 1 0 21600802 13041664 2809 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3184 2809 238 467 0 2715 0 Current children cumulated CPU time (s) 383.9 Current children cumulated vsize (KiB) 12736 [startup+385.501 s] /proc/loadavg: 1.99 1.45 0.67 3/179 19642 /proc/meminfo: memFree=28297036/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12736 CPUtime=385.51 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3119 0 0 0 6126 32425 0 0 25 0 1 0 21600802 13041664 2809 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3184 2809 238 467 0 2715 0 Current children cumulated CPU time (s) 385.51 Current children cumulated vsize (KiB) 12736 [startup+387.101 s] /proc/loadavg: 1.99 1.46 0.68 3/179 19642 /proc/meminfo: memFree=28294924/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12736 CPUtime=387.1 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3124 0 0 0 6156 32554 0 0 25 0 1 0 21600802 13041664 2809 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3184 2809 238 467 0 2715 0 Current children cumulated CPU time (s) 387.1 Current children cumulated vsize (KiB) 12736 [startup+387.501 s] /proc/loadavg: 1.99 1.46 0.68 3/179 19642 /proc/meminfo: memFree=28294924/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12736 CPUtime=387.5 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3127 0 0 0 6166 32584 0 0 18 0 1 0 21600802 13041664 2809 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3184 2809 238 467 0 2715 0 Current children cumulated CPU time (s) 387.5 Current children cumulated vsize (KiB) 12736 [startup+387.701 s] /proc/loadavg: 1.99 1.46 0.68 3/179 19642 /proc/meminfo: memFree=28294924/32950928 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=12736 CPUtime=387.7 /proc/19601/stat : 19601 (pbct) R 19599 19601 19082 0 -1 4202496 3130 0 0 0 6172 32598 0 0 18 0 1 0 21600802 13041664 2809 4089446400 134512640 136421960 4288125456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 3184 2809 238 467 0 2715 0 Current children cumulated CPU time (s) 387.7 Current children cumulated vsize (KiB) 12736 Child status: 0 Real time (s): 387.738 CPU time (s): 387.75 CPU user time (s): 61.7516 CPU system time (s): 325.998 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 12736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 61.7516 system time used= 325.998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3138 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= 3 involuntary context switches= 508 runsolver used 0.555915 second user time and 1.22781 second system time The end
Begin job on node114 at 2010-07-07 22:17:40 IDJOB=2699952 IDBENCH=79387 IDSOLVER=1208 FILE ID=node114/2699952-1278533860 PBS_JOBID= 11239250 Free space on /tmp= 73156 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh302_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699952-1278533860/watcher-2699952-1278533860 -o /tmp/evaluation-result-2699952-1278533860/solver-2699952-1278533860 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699952-1278533860.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b RANDOM SEED=1698972095 node114.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.824 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.64 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.824 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.75 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.824 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.83 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.824 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.81 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.824 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.824 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.824 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.824 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: 32950928 kB MemFree: 28704172 kB Buffers: 133856 kB Cached: 3862148 kB SwapCached: 0 kB Active: 1298028 kB Inactive: 2786664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28704172 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 8372 kB Writeback: 0 kB AnonPages: 88672 kB Mapped: 17320 kB Slab: 96764 kB PageTables: 4708 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 231764 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= 73160 MiB End job on node114 at 2010-07-07 22:24:08