Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 335.756 | 335.751 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh304_wcsp.wbo |
MD5SUM | 4141aec8f84b614aac5b3a0221093342 |
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 | 321 |
Best CPU time to get the best result obtained on this benchmark | 1.64975 |
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.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/900 units 0 0.00/0.00 c vars 200 0.03/0.04 c 0.035994 10.207 1 2049 0.03/0.04 o 26905 0.03/0.04 c 0.035994 10.3359 1 2835 0.03/0.04 o 26123 0.03/0.04 c 0.037994 10.3359 2 2959 0.03/0.04 o 26105 0.03/0.04 c 0.038994 10.3359 2 3883 0.03/0.04 o 21289 0.03/0.04 c 0.039993 10.3359 2 4812 0.03/0.04 o 20204 0.03/0.05 c 0.041993 10.3359 2 5368 0.03/0.05 o 20055 0.03/0.05 c 0.043993 10.3359 3 6132 0.03/0.05 o 19803 0.03/0.05 c 0.044993 10.3359 4 7030 0.03/0.05 o 19322 0.03/0.05 c 0.046992 10.3359 8 7463 0.03/0.05 o 19222 0.03/0.05 c 0.046992 10.3359 9 8405 0.03/0.05 o 14341 0.49/0.54 c 0.355945 10.582 676 18337 0.49/0.54 o 14290 0.69/0.77 c 0.507922 10.582 699 21551 0.69/0.77 o 14276 0.89/0.95 c 0.631903 10.582 797 24940 0.89/0.95 o 14203 2.29/2.39 c 1.57976 10.707 713 48751 2.29/2.39 o 13975 2.39/2.46 c 1.62675 10.707 473 50248 2.39/2.46 o 13907 2.39/2.49 c 1.64475 10.707 647 51067 2.39/2.49 o 13648 2.69/2.77 c 1.82572 10.707 722 55532 2.69/2.77 o 13629 3.20/3.24 c 2.10368 10.707 900 63615 3.20/3.24 o 13537 3.20/3.27 c 2.11668 10.707 592 64273 3.20/3.27 o 13425 3.89/3.96 c 2.56461 10.832 513 76352 3.89/3.96 o 13372 4.49/4.56 c 2.93655 10.832 766 84575 4.49/4.56 o 13106 5.89/5.92 c 3.80942 10.832 451 105781 5.89/5.92 o 13078 6.89/6.97 c 4.50031 10.832 742 121993 6.89/6.97 o 13044 7.49/7.51 c 4.85526 10.832 613 132111 7.49/7.51 o 13033 11.39/11.47 c 7.35788 10.9531 947 190520 11.39/11.47 o 12978 12.19/12.22 c 7.83881 10.9531 796 202492 12.19/12.22 o 12913 12.19/12.26 c 7.8688 10.9531 655 203609 12.19/12.26 o 12861 13.79/13.89 c 8.87665 10.9531 529 226345 13.79/13.89 o 12850 15.49/15.59 c 9.95849 10.9531 770 251784 15.49/15.59 o 12834 15.59/15.61 c 9.96848 10.9531 495 252364 15.59/15.61 o 12703 15.90/15.97 c 10.1964 10.9531 875 258463 15.90/15.97 o 12647 16.29/16.40 c 10.4584 10.9531 802 264950 16.29/16.40 o 12592 16.40/16.49 c 10.5204 10.9531 900 266715 16.40/16.49 o 12534 19.09/19.15 c 12.1472 11.0781 567 300169 19.09/19.15 o 12432 21.89/21.96 c 13.9939 11.0781 535 343173 21.89/21.96 o 12212 22.19/22.21 c 14.1638 11.0781 662 348024 22.19/22.21 o 12195 22.19/22.27 c 14.1988 11.0781 724 349550 22.19/22.27 o 12097 24.39/24.43 c 15.5876 11.0781 952 374759 24.39/24.43 o 12072 24.59/24.62 c 15.7076 11.0781 943 377498 24.59/24.62 o 12016 26.90/26.99 c 17.1834 11.0781 834 415594 26.90/26.99 o 11994 28.60/28.66 c 18.2742 11.0781 762 440886 28.60/28.66 o 11950 29.60/29.66 c 18.9261 11.2031 920 455790 29.60/29.66 o 11844 30.09/30.19 c 19.2551 11.2031 938 463679 30.09/30.19 o 11835 33.49/33.54 c 21.3987 11.2031 505 508029 33.49/33.54 o 11809 33.49/33.58 c 21.4227 11.2031 689 508842 33.49/33.58 o 11727 34.00/34.06 c 21.7197 11.2031 600 516072 34.00/34.06 o 11664 36.09/36.14 c 23.0405 11.2031 981 544920 36.09/36.14 o 11435 36.30/36.30 c 23.1465 11.2031 835 548374 36.30/36.30 o 11336 37.80/37.83 c 24.1233 11.2031 577 572628 37.80/37.83 o 11310 38.59/38.62 c 24.6293 11.2031 969 582479 38.59/38.62 o 11205 41.49/41.52 c 26.46 11.2031 955 626855 41.49/41.52 o 11059 45.00/45.07 c 28.7046 11.2031 474 680367 45.00/45.07 o 10876 45.59/45.65 c 29.0656 11.2031 744 689362 45.59/45.65 o 10693 46.40/46.41 c 29.5495 11.2031 765 700663 46.40/46.41 o 10606 54.49/54.56 c 34.8337 11.3281 691 793004 54.49/54.56 o 10388 55.89/55.97 c 35.7246 11.3281 399 814345 55.89/55.97 o 10235 57.89/57.96 c 37.0004 11.3281 507 835661 57.89/57.96 o 10203 58.00/58.05 c 37.0554 11.3281 573 837044 58.00/58.05 o 10164 58.09/58.10 c 37.0884 11.3281 777 838009 58.09/58.10 o 9812 60.89/60.95 c 38.8831 11.3281 872 875251 60.89/60.95 o 9770 75.19/75.22 c 47.7747 11.3281 820 1052571 75.19/75.22 o 9410 75.59/75.61 c 48.0067 11.3281 601 1058542 75.59/75.61 o 9298 79.49/79.59 c 50.4923 11.4531 596 1112432 79.49/79.59 o 9283 80.89/80.94 c 51.3342 11.4531 430 1129293 80.89/80.94 o 9128 80.89/80.96 c 51.3452 11.4531 554 1129813 80.89/80.96 o 9100 83.39/83.42 c 52.878 11.4531 768 1158541 83.39/83.42 o 9092 89.00/89.09 c 56.4204 11.4531 578 1226074 89.00/89.09 o 9089 93.79/93.88 c 59.437 11.4531 755 1282284 93.79/93.88 o 8950 95.09/95.11 c 60.2208 11.4531 585 1299283 95.09/95.11 o 8929 97.50/97.53 c 61.7486 11.4531 896 1328280 97.50/97.53 o 8912 97.90/97.92 c 61.9936 11.4531 639 1334290 97.90/97.92 o 8870 99.90/99.97 c 63.2864 11.4531 720 1357930 99.90/99.97 o 8728 100.49/100.52 c 63.6263 11.4531 739 1364186 100.49/100.52 o 8533 101.80/101.81 c 64.4202 11.4531 701 1380369 101.80/101.81 o 8398 102.39/102.43 c 64.8001 11.4531 643 1387986 102.39/102.43 o 8390 105.19/105.22 c 66.5269 11.4531 619 1419022 105.19/105.22 o 8373 111.00/111.01 c 70.1233 11.4531 479 1483145 111.00/111.01 o 8344 116.69/116.70 c 73.6388 11.5781 681 1538875 116.69/116.70 o 8280 116.69/116.72 c 73.6548 11.5781 454 1539581 116.69/116.72 o 8241 118.10/118.10 c 74.4927 11.5781 961 1553463 118.10/118.10 o 8100 123.30/123.36 c 77.8932 11.5781 731 1614344 123.30/123.36 o 8059 126.50/126.51 c 79.8789 11.5781 907 1649516 126.50/126.51 o 8012 132.60/132.67 c 83.7813 11.5781 703 1717187 132.60/132.67 o 7988 133.39/133.47 c 84.2682 11.5781 563 1726471 133.39/133.47 o 7983 133.69/133.73 c 84.4242 11.5781 756 1729282 133.69/133.73 o 7972 134.21/134.29 c 84.7861 11.5781 725 1736315 134.21/134.29 o 7954 135.89/135.94 c 85.799 11.5781 524 1755949 135.89/135.94 o 7943 141.00/141.07 c 89.0175 11.5781 526 1812732 141.00/141.07 o 7897 141.49/141.52 c 89.3004 11.5781 903 1816813 141.49/141.52 o 7884 142.80/142.85 c 90.1203 11.5781 607 1833869 142.80/142.85 o 7757 143.89/143.91 c 90.7962 11.5781 539 1847411 143.89/143.91 o 7600 144.10/144.16 c 90.9552 11.5781 652 1849822 144.10/144.16 o 7534 144.89/144.93 c 91.4461 11.5781 664 1860249 144.89/144.93 o 7494 144.99/145.02 c 91.5021 11.5781 706 1861652 144.99/145.02 o 7273 150.89/150.91 c 95.1585 11.5781 699 1922724 150.89/150.91 o 7211 156.10/156.15 c 98.463 11.5781 419 1983053 156.10/156.15 o 7180 156.90/156.91 c 98.919 11.6992 662 1989019 156.90/156.91 o 7113 164.70/164.76 c 103.783 11.6992 609 2063681 164.70/164.76 o 7042 166.59/166.65 c 104.967 11.6992 500 2080082 166.59/166.65 o 6976 169.50/169.53 c 106.736 11.6992 649 2112148 169.50/169.53 o 6937 169.80/169.84 c 106.936 11.6992 655 2114934 169.80/169.84 o 6890 179.50/179.55 c 113.029 11.6992 793 2214400 179.50/179.55 o 6829 179.79/179.89 c 113.255 11.6992 710 2217390 179.79/179.89 o 6817 183.70/183.75 c 115.636 11.6992 513 2258278 183.70/183.75 o 6771 187.00/187.02 c 117.642 11.6992 810 2292207 187.00/187.02 o 6745 199.89/199.91 c 124.88 11.6992 618 2415791 199.89/199.91 o 6578 203.99/204.01 c 125.777 11.6992 751 2451232 203.99/204.01 o 6372 204.39/204.48 c 125.852 11.6992 719 2456057 204.39/204.48 o 6346 204.79/204.81 c 125.92 11.6992 808 2459713 204.79/204.81 o 6141 205.49/205.59 c 126.055 11.6992 791 2466509 205.49/205.59 o 6117 209.90/209.94 c 126.941 11.6992 858 2505529 209.90/209.94 o 6103 210.29/210.32 c 126.987 11.6992 513 2508926 210.29/210.32 o 6036 210.60/210.67 c 127.056 11.6992 597 2511991 210.60/210.67 o 6007 213.40/213.45 c 127.499 11.8203 511 2536892 213.40/213.45 o 5916 213.49/213.56 c 127.514 11.8203 903 2537877 213.49/213.56 o 5876 213.89/213.91 c 127.591 11.8203 640 2541414 213.89/213.91 o 5711 215.40/215.41 c 127.934 11.8203 751 2553387 215.40/215.41 o 5676 217.89/217.94 c 128.39 11.8203 894 2575660 217.89/217.94 o 5641 218.90/218.95 c 128.566 11.8203 832 2585542 218.90/218.95 o 5613 220.20/220.29 c 128.776 11.8203 457 2595987 220.20/220.29 o 5483 221.29/221.32 c 129.006 11.8203 918 2606231 221.29/221.32 o 5411 224.00/224.09 c 129.56 11.8203 595 2624559 224.00/224.09 o 5299 224.30/224.38 c 129.594 11.8203 892 2627129 224.30/224.38 o 5283 231.39/231.44 c 130.954 11.8203 739 2690525 231.39/231.44 o 5260 235.50/235.50 c 131.731 11.8203 544 2718779 235.50/235.50 o 5193 239.10/239.17 c 132.436 11.8203 659 2749947 239.10/239.17 o 5068 241.20/241.26 c 132.871 11.8203 598 2766535 241.20/241.26 o 5064 244.39/244.48 c 133.445 11.8203 802 2794603 244.39/244.48 o 5033 246.80/246.85 c 133.841 11.8203 579 2814938 246.80/246.85 o 4963 252.50/252.51 c 134.912 11.8203 759 2863536 252.50/252.51 o 4812 256.09/256.12 c 135.686 11.8203 857 2894823 256.09/256.12 o 4761 258.40/258.49 c 136.065 11.8203 477 2914489 258.40/258.49 o 4749 258.70/258.74 c 136.1 11.8203 875 2916666 258.70/258.74 o 4667 259.00/259.03 c 136.145 11.8203 786 2919187 259.00/259.03 o 4614 262.30/262.35 c 136.901 11.8203 755 2947147 262.30/262.35 o 4552 263.29/263.33 c 137.06 11.8203 489 2955307 263.29/263.33 o 4506 268.79/268.86 c 138.154 11.8203 630 2998279 268.79/268.86 o 4466 274.49/274.54 c 139.193 11.8203 531 3043562 274.49/274.54 o 4410 275.10/275.17 c 139.288 11.8203 685 3049075 275.10/275.17 o 4338 275.60/275.67 c 139.372 11.8203 909 3053609 275.60/275.67 o 4307 276.90/276.93 c 139.59 11.8203 927 3063979 276.90/276.93 o 4115 276.90/276.97 c 139.597 11.8203 622 3064533 276.90/276.97 o 4093 277.30/277.39 c 139.656 11.9492 702 3067819 277.30/277.39 o 4050 277.49/277.59 c 139.7 11.9492 895 3069154 277.49/277.59 o 4030 281.90/281.96 c 140.501 11.9492 577 3103455 281.90/281.96 o 3906 283.50/283.56 c 140.76 11.9492 669 3116369 283.50/283.56 o 3898 284.60/284.61 c 140.955 11.9492 842 3124562 284.60/284.61 o 3822 284.60/284.63 c 140.958 11.9492 502 3124894 284.60/284.63 o 3697 285.29/285.32 c 141.045 11.9492 734 3130165 285.29/285.32 o 3644 285.60/285.67 c 141.105 11.9492 683 3133167 285.60/285.67 o 3620 288.29/288.38 c 141.663 11.9492 756 3154588 288.29/288.38 o 3562 289.50/289.54 c 141.824 11.9492 659 3163228 289.50/289.54 o 3527 295.09/295.16 c 142.993 11.9492 795 3201875 295.09/295.16 o 3352 300.09/300.12 c 143.941 11.9492 1003 3241186 300.09/300.12 o 3343 301.90/301.90 c 144.287 11.9492 683 3255150 301.90/301.90 o 3272 302.70/302.71 c 144.423 11.9492 856 3260287 302.70/302.71 o 3238 302.80/302.84 c 144.435 11.9492 868 3261544 302.80/302.84 o 3234 303.70/303.71 c 144.575 11.9492 835 3268099 303.70/303.71 o 3230 305.10/305.11 c 144.807 11.9492 633 3278250 305.10/305.11 o 3193 305.40/305.44 c 144.85 11.9492 842 3280684 305.40/305.44 o 3085 306.80/306.88 c 145.169 11.9492 728 3291070 306.80/306.88 o 3007 307.39/307.47 c 145.309 11.9492 597 3296039 307.39/307.47 o 2926 308.29/308.36 c 145.463 11.9492 774 3301607 308.29/308.36 o 2841 311.31/311.38 c 145.953 11.9492 705 3322671 311.31/311.38 o 2709 311.50/311.55 c 145.994 11.9492 413 3323873 311.50/311.55 o 2697 316.00/316.09 c 146.939 11.9492 742 3354801 316.00/316.09 o 2669 316.70/316.79 c 147.057 11.9492 572 3360438 316.70/316.79 o 2582 317.09/317.19 c 147.109 11.9492 811 3362892 317.09/317.19 o 2525 317.80/317.85 c 147.215 11.9492 496 3367681 317.80/317.85 o 2523 318.20/318.25 c 147.29 11.9492 740 3370093 318.20/318.25 o 2468 318.90/318.98 c 147.412 11.9492 918 3375464 318.90/318.98 o 2417 319.10/319.13 c 147.438 11.9492 870 3376560 319.10/319.13 o 2413 319.50/319.57 c 147.519 11.9492 524 3379814 319.50/319.57 o 2373 320.29/320.34 c 147.73 11.9492 523 3384616 320.29/320.34 o 2341 321.50/321.53 c 147.937 11.9492 587 3392379 321.50/321.53 o 2284 322.80/322.80 c 148.184 11.9492 709 3399818 322.80/322.80 o 2123 323.19/323.23 c 148.273 11.9492 644 3402700 323.19/323.23 o 2096 323.60/323.62 c 148.339 11.9492 866 3405207 323.60/323.62 o 2076 323.60/323.66 c 148.346 11.9492 550 3405633 323.60/323.66 o 1968 323.99/324.01 c 148.389 12.0703 715 3407788 323.99/324.01 o 1931 323.99/324.06 c 148.392 12.0703 437 3408252 323.99/324.06 o 1872 325.40/325.43 c 148.723 12.0703 934 3416156 325.40/325.43 o 1777 325.50/325.55 c 148.754 12.0703 808 3417047 325.50/325.55 o 1738 326.39/326.40 c 148.968 12.0703 683 3422829 326.39/326.40 o 1734 326.39/326.48 c 148.992 12.0703 471 3423413 326.39/326.48 o 1680 327.00/327.00 c 149.145 12.0703 681 3426520 327.00/327.00 o 1671 327.49/327.50 c 149.291 12.0703 741 3429019 327.49/327.50 o 1666 328.40/328.44 c 149.56 12.0703 517 3435322 328.40/328.44 o 1659 329.09/329.16 c 149.757 12.0703 866 3440086 329.09/329.16 o 1652 329.20/329.21 c 149.766 12.0703 566 3440469 329.20/329.21 o 1611 329.20/329.26 c 149.78 12.0703 713 3440816 329.20/329.26 o 1610 329.30/329.31 c 149.795 12.0703 847 3441113 329.30/329.31 o 1582 329.49/329.51 c 149.853 12.0703 484 3442193 329.49/329.51 o 1568 329.69/329.75 c 149.919 12.0703 771 3443977 329.69/329.75 o 1556 329.79/329.81 c 149.93 12.0703 482 3444343 329.79/329.81 o 1543 329.90/329.98 c 149.976 12.0703 602 3445651 329.90/329.98 o 1541 330.00/330.01 c 149.982 12.0703 667 3445836 330.00/330.01 o 1525 330.30/330.38 c 150.095 12.0703 923 3448110 330.30/330.38 o 1510 330.90/330.92 c 150.274 12.0703 814 3451647 330.90/330.92 o 1470 331.19/331.24 c 150.359 12.0703 471 3453856 331.19/331.24 o 1452 331.40/331.49 c 150.433 12.0703 788 3455601 331.40/331.49 o 1417 331.70/331.75 c 150.499 12.0703 621 3457221 331.70/331.75 o 1399 332.80/332.83 c 150.805 12.0703 713 3464199 332.80/332.83 o 1376 332.89/332.99 c 150.858 12.0703 725 3465253 332.89/332.99 o 1365 333.10/333.10 c 150.893 12.0703 556 3465987 333.10/333.10 o 1246 333.21/333.30 c 150.959 12.0703 781 3467559 333.21/333.30 o 1173 333.31/333.36 c 150.984 12.0703 556 3468008 333.31/333.36 o 1167 333.49/333.50 c 151.021 12.0703 524 3469106 333.49/333.50 o 1160 333.80/333.89 c 151.135 12.0703 450 3471614 333.80/333.89 o 1152 334.10/334.11 c 151.206 12.0703 660 3472980 334.10/334.11 o 1126 334.20/334.22 c 151.237 12.0703 542 3473672 334.20/334.22 o 1107 334.50/334.58 c 151.345 12.1953 668 3475630 334.50/334.58 o 1094 334.59/334.65 c 151.36 12.1953 880 3476298 334.59/334.65 o 1059 334.59/334.67 c 151.364 12.1953 506 3476494 334.59/334.67 o 1031 334.70/334.74 c 151.388 12.1953 709 3477063 334.70/334.74 o 947 334.79/334.80 c 151.409 12.1953 890 3477562 334.79/334.80 o 886 334.89/334.97 c 151.46 12.1953 935 3478446 334.89/334.97 o 854 334.99/335.02 c 151.477 12.3281 617 3478838 334.99/335.02 o 840 334.99/335.08 c 151.5 12.3281 795 3479279 334.99/335.08 o 810 335.20/335.22 c 151.552 12.3281 786 3480255 335.20/335.22 o 762 335.40/335.46 c 151.639 12.3281 1072 3481850 335.40/335.46 o 639 335.50/335.59 c 151.697 12.3281 611 3482964 335.50/335.59 o 522 335.59/335.62 c 151.703 12.3281 702 3483129 335.59/335.62 o 483 335.70/335.70 c 151.741 12.3281 1035 3483683 335.70/335.70 o 427 335.70/335.73 c 151.757 12.3281 1214 3483943 335.70/335.73 o 382 335.70/335.73 c 151.76 12.3281 988 3484025 335.70/335.73 o 321 335.70/335.74 c 151.762 12.3281 1024 3484068 335.70/335.74 s OPTIMUM FOUND 335.70/335.74 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 321
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700195-1278534367/watcher-2700195-1278534367 -o /tmp/evaluation-result-2700195-1278534367/solver-2700195-1278534367 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700195-1278534367.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: 4.06 3.77 2.07 3/182 17897 /proc/meminfo: memFree=30162120/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=2136 CPUtime=0 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 262 0 0 0 0 0 0 0 24 0 1 0 21649979 2187264 181 4089446400 134512640 136422188 4291736032 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17897/statm: 534 181 144 467 0 65 0 [startup+0.0350749 s] /proc/loadavg: 4.06 3.77 2.07 3/182 17897 /proc/meminfo: memFree=30162120/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=9900 CPUtime=0.03 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2200 0 0 0 3 0 0 0 24 0 1 0 21649979 10137600 2119 4089446400 134512640 136422188 4291736032 18446744073709551615 134929929 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2475 2119 199 467 0 2006 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9900 [startup+0.101061 s] /proc/loadavg: 4.06 3.77 2.07 3/182 17897 /proc/meminfo: memFree=30162120/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=10708 CPUtime=0.09 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2412 0 0 0 7 2 0 0 25 0 1 0 21649979 10964992 2321 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2677 2321 238 467 0 2208 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10708 [startup+0.301025 s] /proc/loadavg: 4.06 3.77 2.07 3/182 17897 /proc/meminfo: memFree=30162120/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=10832 CPUtime=0.29 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2450 0 0 0 20 9 0 0 25 0 1 0 21649979 11091968 2359 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2708 2359 238 467 0 2239 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10832 [startup+0.700956 s] /proc/loadavg: 4.06 3.77 2.07 3/182 17897 /proc/meminfo: memFree=30162120/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=10832 CPUtime=0.69 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2453 0 0 0 46 23 0 0 25 0 1 0 21649979 11091968 2361 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2708 2361 238 467 0 2239 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10832 [startup+1.50082 s] /proc/loadavg: 4.06 3.77 2.07 3/183 17898 /proc/meminfo: memFree=30154760/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=10832 CPUtime=1.49 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2467 0 0 0 99 50 0 0 25 0 1 0 21649979 11091968 2373 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2708 2373 238 467 0 2239 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10832 [startup+3.10053 s] /proc/loadavg: 3.90 3.74 2.07 3/183 17898 /proc/meminfo: memFree=30154636/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=10960 CPUtime=3.09 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2494 0 0 0 201 108 0 0 25 0 1 0 21649979 11223040 2396 4089446400 134512640 136422188 4291736032 18446744073709551615 134902800 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2740 2396 238 467 0 2271 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10960 [startup+6.30096 s] /proc/loadavg: 3.90 3.74 2.07 3/183 17898 /proc/meminfo: memFree=30155384/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=11088 CPUtime=6.29 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2522 0 0 0 406 223 0 0 25 0 1 0 21649979 11354112 2419 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2772 2419 238 467 0 2303 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11088 [startup+12.7008 s] /proc/loadavg: 3.61 3.68 2.07 3/183 17898 /proc/meminfo: memFree=30155928/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=11212 CPUtime=12.69 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2560 0 0 0 813 456 0 0 25 0 1 0 21649979 11481088 2452 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2803 2452 238 467 0 2334 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11212 [startup+25.5005 s] /proc/loadavg: 3.36 3.63 2.07 3/183 17898 /proc/meminfo: memFree=30157692/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=11340 CPUtime=25.49 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2614 0 0 0 1626 923 0 0 25 0 1 0 21649979 11612160 2494 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2835 2494 238 467 0 2366 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11340 [startup+51.101 s] /proc/loadavg: 2.89 3.49 2.07 3/183 17899 /proc/meminfo: memFree=30157380/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=11596 CPUtime=51.09 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2672 0 0 0 3252 1857 0 0 25 0 1 0 21649979 11874304 2537 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2899 2537 238 467 0 2430 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11596 [startup+102.306 s] /proc/loadavg: 2.36 3.24 2.06 3/183 17900 /proc/meminfo: memFree=30156572/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=11724 CPUtime=102.3 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2745 0 0 0 6472 3758 0 0 25 0 1 0 21649979 12005376 2590 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2931 2590 238 467 0 2462 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11724 [startup+162.3 s] /proc/loadavg: 2.14 3.03 2.06 3/183 17902 /proc/meminfo: memFree=30156000/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=11976 CPUtime=162.3 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2821 0 0 0 10222 6008 0 0 25 0 1 0 21649979 12263424 2643 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17897/statm: 2994 2643 238 467 0 2525 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 11976 [startup+222.3 s] /proc/loadavg: 2.07 2.83 2.05 3/183 18180 /proc/meminfo: memFree=30095012/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=12100 CPUtime=222.29 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2875 0 0 0 12922 9307 0 0 25 0 1 0 21649979 12390400 2673 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17897/statm: 3025 2673 238 467 0 2556 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 12100 [startup+282.301 s] /proc/loadavg: 2.02 2.68 2.04 3/183 18181 /proc/meminfo: memFree=30023224/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=12232 CPUtime=282.3 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2925 0 0 0 14056 14174 0 0 25 0 1 0 21649979 12525568 2699 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17897/statm: 3058 2699 238 467 0 2589 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 12232 Solver just ended. Dumping a history of the last processes samples [startup+307.1 s] /proc/loadavg: 2.01 2.62 2.04 3/183 18182 /proc/meminfo: memFree=29997416/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=12232 CPUtime=307.09 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2959 0 0 0 14521 16188 0 0 25 0 1 0 21649979 12525568 2717 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17897/statm: 3058 2717 238 467 0 2589 0 Current children cumulated CPU time (s) 307.09 Current children cumulated vsize (KiB) 12232 [startup+319.901 s] /proc/loadavg: 2.01 2.60 2.04 3/183 18182 /proc/meminfo: memFree=29989348/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=12232 CPUtime=319.89 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2977 0 0 0 14761 17228 0 0 19 0 1 0 21649979 12525568 2723 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17897/statm: 3058 2723 238 467 0 2589 0 Current children cumulated CPU time (s) 319.89 Current children cumulated vsize (KiB) 12232 [startup+326.301 s] /proc/loadavg: 2.01 2.59 2.04 3/183 18255 /proc/meminfo: memFree=30148076/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=12356 CPUtime=326.3 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 2995 0 0 0 14894 17736 0 0 25 0 1 0 21649979 12652544 2731 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17897/statm: 3089 2731 238 467 0 2620 0 Current children cumulated CPU time (s) 326.3 Current children cumulated vsize (KiB) 12356 [startup+332.701 s] /proc/loadavg: 2.01 2.57 2.04 3/183 18256 /proc/meminfo: memFree=30148072/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=12356 CPUtime=332.69 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 3032 0 0 0 15075 18194 0 0 24 0 1 0 21649979 12652544 2749 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17897/statm: 3089 2749 238 467 0 2620 0 Current children cumulated CPU time (s) 332.69 Current children cumulated vsize (KiB) 12356 [startup+334.301 s] /proc/loadavg: 2.01 2.57 2.04 3/183 18256 /proc/meminfo: memFree=30148208/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=12356 CPUtime=334.3 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 3047 0 0 0 15126 18304 0 0 25 0 1 0 21649979 12652544 2755 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17897/statm: 3089 2755 238 467 0 2620 0 Current children cumulated CPU time (s) 334.3 Current children cumulated vsize (KiB) 12356 [startup+335.1 s] /proc/loadavg: 2.01 2.57 2.04 3/183 18256 /proc/meminfo: memFree=30148208/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=12620 CPUtime=335.09 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 3077 0 0 0 15150 18359 0 0 18 0 1 0 21649979 12922880 2777 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17897/statm: 3155 2777 238 467 0 2686 0 Current children cumulated CPU time (s) 335.09 Current children cumulated vsize (KiB) 12620 [startup+335.506 s] /proc/loadavg: 2.01 2.57 2.04 3/183 18256 /proc/meminfo: memFree=30148084/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=12620 CPUtime=335.5 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 3080 0 0 0 15165 18385 0 0 18 0 1 0 21649979 12922880 2778 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17897/statm: 3155 2778 238 467 0 2686 0 Current children cumulated CPU time (s) 335.5 Current children cumulated vsize (KiB) 12620 [startup+335.7 s] /proc/loadavg: 2.01 2.57 2.04 3/183 18256 /proc/meminfo: memFree=30148084/32951124 swapFree=67111528/67111528 [pid=17897] ppid=17895 vsize=12620 CPUtime=335.7 /proc/17897/stat : 17897 (pbct) R 17895 17897 17251 0 -1 4202496 3082 0 0 0 15174 18396 0 0 18 0 1 0 21649979 12922880 2778 4089446400 134512640 136422188 4291736032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17897/statm: 3155 2778 238 467 0 2686 0 Current children cumulated CPU time (s) 335.7 Current children cumulated vsize (KiB) 12620 Child status: 0 Real time (s): 335.751 CPU time (s): 335.756 CPU user time (s): 151.772 CPU system time (s): 183.984 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 12620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 151.772 system time used= 183.984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3090 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= 11 involuntary context switches= 891 runsolver used 0.448931 second user time and 1.09483 second system time The end
Begin job on node132 at 2010-07-07 22:26:07 IDJOB=2700195 IDBENCH=79407 IDSOLVER=1212 FILE ID=node132/2700195-1278534367 PBS_JOBID= 11239213 Free space on /tmp= 73580 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh304_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700195-1278534367/watcher-2700195-1278534367 -o /tmp/evaluation-result-2700195-1278534367/solver-2700195-1278534367 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700195-1278534367.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4141aec8f84b614aac5b3a0221093342 RANDOM SEED=77168906 node132.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.830 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.66 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.830 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.83 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.82 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.830 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.830 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.830 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.74 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.830 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: 30162640 kB Buffers: 129204 kB Cached: 2438124 kB SwapCached: 0 kB Active: 910036 kB Inactive: 1730652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30162640 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1956 kB Writeback: 0 kB AnonPages: 74136 kB Mapped: 15448 kB Slab: 81424 kB PageTables: 5496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 218216 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73576 MiB End job on node132 at 2010-07-07 22:31:43