Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 144.024 | 144.02 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh17_wcsp.wbo |
MD5SUM | 57d73bec44a40d3308f5eb2ba913b45c |
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.269958 |
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.02/0.04 c 0.037994 9.98828 1 1952 0.02/0.04 o 19528 0.02/0.04 c 0.038994 10.2188 1 2160 0.02/0.04 o 19396 0.02/0.04 c 0.039993 10.2188 1 3059 0.02/0.04 o 18089 0.02/0.05 c 0.041993 10.2188 5 3460 0.02/0.05 o 17734 0.02/0.05 c 0.043993 10.2188 5 4358 0.02/0.05 o 13957 0.02/0.05 c 0.045993 10.2188 9 4714 0.02/0.05 o 13824 0.29/0.34 c 0.226965 10.3438 650 10398 0.29/0.34 o 13820 0.39/0.46 c 0.306953 10.3438 394 13115 0.39/0.46 o 13780 0.49/0.51 c 0.336948 10.3438 587 13789 0.49/0.51 o 13774 0.99/1.08 c 0.724889 10.3438 748 23335 0.99/1.08 o 13722 1.29/1.30 c 0.858869 10.3438 612 27577 1.29/1.30 o 13694 1.29/1.32 c 0.871867 10.3438 366 28170 1.29/1.32 o 13638 1.29/1.37 c 0.896863 10.3438 561 28974 1.29/1.37 o 13503 1.39/1.46 c 0.944856 10.3438 675 30328 1.39/1.46 o 13497 1.49/1.57 c 1.01984 10.3438 623 32713 1.49/1.57 o 13142 2.29/2.30 c 1.45578 10.4688 884 39997 2.29/2.30 o 13137 2.29/2.31 c 1.46578 10.4688 498 40367 2.29/2.31 o 13083 2.49/2.58 c 1.63275 10.4688 657 45528 2.49/2.58 o 13077 2.59/2.60 c 1.64775 10.4688 471 46429 2.59/2.60 o 12678 2.59/2.69 c 1.70074 10.4688 627 47889 2.59/2.69 o 12625 2.79/2.88 c 1.82772 10.4688 398 50816 2.79/2.88 o 12592 3.89/3.95 c 2.45563 10.4688 906 64313 3.89/3.95 o 12587 4.69/4.73 c 2.95255 10.5938 542 75231 4.69/4.73 o 12509 7.10/7.10 c 4.48232 10.5938 446 101906 7.10/7.10 o 12477 7.89/7.98 c 5.02524 10.5938 493 111244 7.89/7.98 o 12418 7.99/8.00 c 5.04023 10.5938 637 111784 7.99/8.00 o 12415 8.89/8.94 c 5.60815 10.5938 895 125192 8.89/8.94 o 12383 9.49/9.57 c 6.03008 10.5938 598 132963 9.49/9.57 o 12309 10.49/10.51 c 6.64699 10.5938 651 145825 10.49/10.51 o 12296 10.69/10.78 c 6.83296 10.5938 792 149138 10.69/10.78 o 12285 11.59/11.67 c 7.38188 10.7188 524 161911 11.59/11.67 o 12241 11.69/11.71 c 7.40587 10.7188 715 162439 11.69/11.71 o 12237 11.69/11.74 c 7.42587 10.7188 511 163134 11.69/11.74 o 12205 11.79/11.82 c 7.47386 10.7188 512 164826 11.79/11.82 o 12030 12.00/12.07 c 7.62284 10.7188 649 168545 12.00/12.07 o 11942 15.09/15.10 c 9.56855 10.7188 621 207964 15.09/15.10 o 11929 15.30/15.35 c 9.73952 10.7188 620 212099 15.30/15.35 o 11832 15.30/15.37 c 9.75252 10.7188 378 212921 15.30/15.37 o 11470 15.59/15.69 c 9.95349 10.7188 412 217366 15.59/15.69 o 11355 16.69/16.79 c 10.6494 10.7188 565 231991 16.69/16.79 o 11346 16.99/17.04 c 10.8104 10.7188 583 234738 16.99/17.04 o 11327 18.29/18.32 c 11.5922 10.7188 672 246561 18.29/18.32 o 11275 19.59/19.68 c 12.4121 10.7188 855 264246 19.59/19.68 o 11109 20.19/20.21 c 12.7591 10.7188 890 271297 20.19/20.21 o 11045 20.39/20.43 c 12.905 10.7188 478 274592 20.39/20.43 o 11036 21.59/21.64 c 13.6729 10.8438 681 290222 21.59/21.64 o 10803 22.69/22.70 c 14.3078 10.8438 420 302625 22.69/22.70 o 10734 22.69/22.79 c 14.3538 10.8438 989 304189 22.69/22.79 o 10654 22.89/22.98 c 14.4728 10.8438 861 307731 22.89/22.98 o 10638 23.59/23.60 c 14.8517 10.8438 572 315200 23.59/23.60 o 10585 24.99/25.03 c 15.7506 10.8438 712 331284 24.99/25.03 o 10536 25.20/25.28 c 15.9166 10.8438 833 333325 25.20/25.28 o 10452 25.69/25.75 c 16.2105 10.8438 504 339821 25.69/25.75 o 10436 26.19/26.28 c 16.5475 10.8438 707 346806 26.19/26.28 o 10426 26.29/26.35 c 16.5785 10.8438 663 347860 26.29/26.35 o 10347 26.29/26.36 c 16.5905 10.8438 708 348126 26.29/26.36 o 10285 26.49/26.57 c 16.7155 10.8438 493 350997 26.49/26.57 o 10137 27.40/27.43 c 17.2484 10.8438 599 361530 27.40/27.43 o 10081 28.79/28.83 c 18.1162 10.9688 565 377482 28.79/28.83 o 9912 28.99/29.05 c 18.2492 10.9688 866 380466 28.99/29.05 o 9865 29.09/29.16 c 18.3142 10.9688 563 382418 29.09/29.16 o 9776 29.09/29.19 c 18.3272 10.9688 696 382949 29.09/29.19 o 9677 30.59/30.69 c 19.2601 10.9688 445 400182 30.59/30.69 o 9663 31.09/31.12 c 19.522 10.9688 1007 403696 31.09/31.12 o 9638 32.60/32.70 c 20.5229 10.9688 499 420684 32.60/32.70 o 9574 32.79/32.86 c 20.6399 10.9688 731 423431 32.79/32.86 o 9554 34.59/34.60 c 21.7157 10.9688 503 440558 34.59/34.60 o 9526 34.99/35.01 c 21.9697 10.9688 660 446073 34.99/35.01 o 9428 34.99/35.06 c 22.0107 10.9688 591 446997 34.99/35.06 o 9285 36.79/36.87 c 23.1815 10.9688 554 464455 36.79/36.87 o 9238 37.09/37.16 c 23.3784 10.9688 915 467601 37.09/37.16 o 9181 37.40/37.43 c 23.5314 10.9688 702 470407 37.40/37.43 o 9095 37.40/37.47 c 23.5514 10.9688 490 471114 37.40/37.47 o 8931 37.59/37.65 c 23.6604 10.9688 961 473412 37.59/37.65 o 8837 38.39/38.45 c 24.1593 10.9688 778 482556 38.39/38.45 o 8589 41.30/41.30 c 25.9341 10.9688 554 503281 41.30/41.30 o 8584 41.59/41.69 c 26.177 10.9688 549 508551 41.59/41.69 o 8485 42.99/43.02 c 27.0219 10.9688 377 523286 42.99/43.02 o 8477 42.99/43.06 c 27.0499 10.9688 546 523913 42.99/43.06 o 8442 44.00/44.07 c 27.6798 10.9688 632 536335 44.00/44.07 o 8400 45.10/45.14 c 28.3387 10.9688 551 548268 45.10/45.14 o 8336 45.10/45.19 c 28.3737 10.9688 736 548870 45.10/45.19 o 8322 45.30/45.37 c 28.4857 10.9688 771 550956 45.30/45.37 o 8318 45.89/45.95 c 28.8556 10.9688 489 555968 45.89/45.95 o 8241 46.10/46.12 c 28.9576 10.9688 733 558005 46.10/46.12 o 8085 46.10/46.14 c 28.9736 10.9688 499 558489 46.10/46.14 o 8045 46.40/46.48 c 29.2106 10.9688 963 562691 46.40/46.48 o 8030 47.59/47.64 c 29.9354 10.9688 769 573206 47.59/47.64 o 7966 49.09/49.13 c 30.8653 10.9688 785 585446 49.09/49.13 o 7938 50.80/50.84 c 31.9281 10.9688 692 599338 50.80/50.84 o 7913 51.19/51.24 c 32.1761 10.9688 629 603119 51.19/51.24 o 7899 53.29/53.34 c 33.4899 11.0898 717 626388 53.29/53.34 o 7727 54.29/54.36 c 34.1118 11.0898 764 637484 54.29/54.36 o 7697 55.49/55.59 c 34.8657 11.0898 473 649681 55.49/55.59 o 7688 57.19/57.20 c 35.8396 11.0898 752 662574 57.19/57.20 o 7631 61.79/61.81 c 38.7331 11.0898 708 703101 61.79/61.81 o 7509 61.79/61.83 c 38.7411 11.0898 749 703359 61.79/61.83 o 7446 63.29/63.30 c 39.648 11.0898 502 716858 63.29/63.30 o 7386 65.09/65.13 c 40.7948 11.0898 701 733794 65.09/65.13 o 7322 65.89/65.99 c 41.3067 11.0898 752 741512 65.89/65.99 o 7232 67.50/67.58 c 42.2806 11.0898 861 755868 67.50/67.58 o 7113 67.99/68.08 c 42.6035 11.0898 736 760530 67.99/68.08 o 7076 69.10/69.20 c 43.3014 11.0898 623 769524 69.10/69.20 o 7017 69.20/69.24 c 43.3274 11.0898 403 769978 69.20/69.24 o 6995 70.10/70.13 c 43.9033 11.0898 512 777718 70.10/70.13 o 6987 70.19/70.28 c 43.9973 11.0898 685 779565 70.19/70.28 o 6962 71.50/71.55 c 44.7652 11.2109 779 790640 71.50/71.55 o 6834 75.20/75.29 c 47.0888 11.2109 458 823629 75.20/75.29 o 6785 75.29/75.35 c 47.1308 11.2109 705 824517 75.29/75.35 o 6692 78.10/78.14 c 48.7966 11.2109 779 851535 78.10/78.14 o 6688 78.29/78.33 c 48.9216 11.2109 688 853316 78.29/78.33 o 6653 78.59/78.63 c 49.1165 11.2109 919 855765 78.59/78.63 o 6608 80.89/80.91 c 50.5513 11.2109 673 876862 80.89/80.91 o 6356 81.40/81.46 c 50.8973 11.2109 683 881939 81.40/81.46 o 6344 81.89/81.97 c 51.1952 11.2109 670 887145 81.89/81.98 o 6319 82.59/82.66 c 51.6162 11.2109 673 894036 82.59/82.66 o 6282 83.29/83.31 c 52.0081 11.2109 807 900638 83.29/83.31 o 6258 83.50/83.51 c 52.1351 11.2109 807 903011 83.50/83.51 o 6220 84.09/84.12 c 52.533 11.2109 515 908702 84.09/84.12 o 6174 84.99/85.02 c 53.0869 11.2109 771 916754 84.99/85.02 o 6121 85.19/85.25 c 53.2339 11.2109 648 918255 85.19/85.25 o 6074 85.50/85.55 c 53.4179 11.2109 513 921001 85.50/85.55 o 6044 85.50/85.58 c 53.4389 11.2109 632 921488 85.50/85.58 o 5939 87.79/87.80 c 54.7877 11.2109 685 938946 87.79/87.80 o 5897 88.19/88.20 c 55.0216 11.2109 782 942263 88.19/88.20 o 5895 88.39/88.45 c 55.1726 11.2109 502 944539 88.39/88.45 o 5799 88.49/88.50 c 55.2076 11.2109 686 945153 88.49/88.50 o 5787 90.29/90.37 c 56.3344 11.2109 914 957962 90.29/90.37 o 5722 90.90/90.97 c 56.7034 11.2109 563 963510 90.90/90.97 o 5721 91.49/91.51 c 57.0373 11.2109 778 968298 91.49/91.51 o 5678 91.49/91.54 c 57.0503 11.2109 451 968610 91.49/91.54 o 5641 94.09/94.12 c 58.6401 11.2109 482 987638 94.09/94.12 o 5599 94.09/94.19 c 58.6921 11.2109 719 988301 94.09/94.19 o 5587 95.10/95.15 c 59.288 11.3359 928 996351 95.10/95.15 o 5497 95.70/95.71 c 59.6279 11.3359 757 1001214 95.70/95.71 o 5473 96.20/96.24 c 59.9539 11.3359 716 1005948 96.20/96.24 o 5443 96.70/96.74 c 60.2658 11.3359 580 1009536 96.70/96.74 o 5418 98.50/98.53 c 61.3907 11.3359 897 1025810 98.50/98.53 o 5332 98.50/98.58 c 61.4147 11.3359 614 1026394 98.50/98.58 o 5236 99.00/99.05 c 61.6886 11.3359 702 1030831 99.00/99.05 o 5166 100.89/100.98 c 62.8444 11.3359 485 1044220 100.89/100.98 o 5045 101.39/101.49 c 63.1654 11.3359 771 1048183 101.39/101.49 o 5038 101.90/101.92 c 63.4454 11.3359 739 1052176 101.90/101.92 o 4833 106.39/106.43 c 66.1829 11.3359 679 1085619 106.39/106.43 o 4737 106.49/106.53 c 66.2469 11.3359 681 1086588 106.49/106.53 o 4706 107.40/107.45 c 66.8348 11.3359 596 1094652 107.40/107.45 o 4627 107.79/107.84 c 67.0738 11.3359 603 1097536 107.79/107.84 o 4598 108.69/108.80 c 67.6827 11.3359 472 1103808 108.69/108.80 o 4462 111.20/111.22 c 69.1915 11.3359 445 1119032 111.20/111.22 o 4401 112.00/112.05 c 69.7024 11.3359 717 1124725 112.00/112.05 o 4313 112.29/112.33 c 69.8764 11.3359 612 1126537 112.29/112.33 o 4302 112.90/112.94 c 70.2573 11.3359 839 1131331 112.90/112.94 o 4265 113.30/113.38 c 70.5333 11.3359 826 1134475 113.30/113.38 o 4215 114.40/114.41 c 71.1892 11.3359 488 1142734 114.40/114.41 o 4117 114.99/115.03 c 71.5661 11.3359 584 1146686 114.99/115.03 o 4084 115.09/115.11 c 71.6151 11.3359 832 1147348 115.09/115.11 o 4082 116.10/116.19 c 72.287 11.3359 545 1155573 116.10/116.19 o 3999 117.00/117.02 c 72.7749 11.3359 939 1161335 117.00/117.02 o 3996 117.10/117.16 c 72.8569 11.3359 903 1162747 117.10/117.16 o 3881 117.19/117.21 c 72.8909 11.3359 670 1163466 117.19/117.21 o 3852 117.80/117.83 c 73.2579 11.3359 703 1167476 117.80/117.83 o 3849 117.90/117.95 c 73.3339 11.3359 636 1168375 117.90/117.95 o 3786 118.10/118.19 c 73.4778 11.3359 608 1170425 118.10/118.19 o 3739 118.70/118.75 c 73.8208 11.3359 538 1174038 118.70/118.75 o 3730 118.89/118.98 c 73.9718 11.3359 738 1175549 118.89/118.98 o 3672 119.59/119.68 c 74.3887 11.3359 763 1180365 119.59/119.68 o 3639 119.99/120.07 c 74.6237 11.3359 558 1182879 119.99/120.07 o 3635 120.10/120.16 c 74.6706 11.3359 815 1183518 120.10/120.16 o 3571 120.19/120.20 c 74.6986 11.3359 504 1183771 120.19/120.20 o 3559 120.39/120.40 c 74.8296 11.3359 652 1184978 120.39/120.40 o 3557 120.50/120.53 c 74.9076 11.3359 522 1185722 120.50/120.53 o 3545 121.09/121.14 c 75.2856 11.3359 577 1189987 121.09/121.14 o 3477 121.69/121.76 c 75.6755 11.3359 776 1194015 121.69/121.76 o 3474 122.80/122.81 c 76.3184 11.457 804 1200250 122.80/122.81 o 3462 122.80/122.86 c 76.3504 11.457 526 1200608 122.80/122.86 o 3444 122.80/122.89 c 76.3714 11.457 622 1200869 122.80/122.89 o 3387 124.20/124.24 c 77.2183 11.457 803 1209579 124.20/124.24 o 3373 126.00/126.07 c 78.3791 11.457 593 1221281 126.00/126.07 o 3348 126.09/126.17 c 78.4471 11.457 863 1221965 126.09/126.17 o 3237 126.89/126.96 c 78.944 11.457 426 1227728 126.89/126.96 o 3229 127.40/127.49 c 79.255 11.457 982 1230818 127.40/127.49 o 3189 127.89/127.97 c 79.5649 11.457 573 1234176 127.89/127.97 o 3150 127.99/128.01 c 79.5919 11.457 706 1234644 127.99/128.01 o 3075 128.99/129.04 c 80.2338 11.457 665 1241493 128.99/129.04 o 3066 129.30/129.32 c 80.4098 11.457 487 1243222 129.30/129.32 o 2966 130.70/130.71 c 81.2666 11.457 802 1253073 130.70/130.71 o 2892 130.80/130.85 c 81.3486 11.457 738 1254026 130.80/130.85 o 2880 131.69/131.79 c 81.8945 11.457 584 1259344 131.69/131.79 o 2876 132.29/132.38 c 82.2555 11.457 894 1262714 132.29/132.38 o 2822 132.69/132.72 c 82.4685 11.457 923 1264581 132.69/132.72 o 2775 136.79/136.83 c 85.0261 11.457 715 1286525 136.79/136.83 o 2676 137.10/137.13 c 85.216 11.457 747 1288548 137.10/137.13 o 2644 137.40/137.43 c 85.406 11.5859 784 1290618 137.40/137.43 o 2603 137.40/137.50 c 85.452 11.5859 554 1291107 137.40/137.50 o 2598 137.50/137.52 c 85.464 11.5859 592 1291250 137.50/137.52 o 2574 137.60/137.61 c 85.524 11.5859 834 1291862 137.60/137.61 o 2507 138.29/138.35 c 86.0019 11.5859 723 1296580 138.29/138.35 o 2504 138.40/138.43 c 86.0499 11.5859 507 1297072 138.40/138.43 o 2470 139.09/139.11 c 86.4739 11.5859 668 1301502 139.09/139.11 o 2463 139.39/139.45 c 86.6728 11.5859 755 1303803 139.39/139.45 o 2438 139.60/139.61 c 86.7598 11.5859 771 1304933 139.60/139.61 o 2352 139.70/139.72 c 86.8308 11.5859 594 1305427 139.70/139.72 o 2350 139.70/139.78 c 86.8668 11.5859 799 1305889 139.70/139.78 o 2336 139.70/139.79 c 86.8788 11.5859 821 1305982 139.70/139.79 o 2318 139.79/139.85 c 86.9138 11.5859 541 1306283 139.79/139.85 o 2315 139.79/139.87 c 86.9238 11.5859 599 1306531 139.79/139.87 o 2291 139.89/139.93 c 86.9648 11.5859 746 1306989 139.89/139.93 o 2216 139.99/140.04 c 87.0388 11.5859 643 1307812 139.99/140.04 o 2172 140.10/140.18 c 87.1218 11.5859 643 1308812 140.10/140.18 o 2162 140.40/140.47 c 87.2997 11.5859 561 1310625 140.40/140.47 o 2154 140.60/140.62 c 87.3857 11.5859 541 1311954 140.60/140.62 o 2120 140.99/141.00 c 87.6217 11.5859 700 1314238 140.99/141.00 o 2105 141.10/141.11 c 87.6837 11.5859 550 1314899 141.10/141.11 o 2071 141.20/141.29 c 87.7947 11.5859 529 1315892 141.20/141.29 o 2065 141.29/141.39 c 87.8496 11.5859 804 1316607 141.29/141.39 o 1978 141.40/141.44 c 87.8786 11.5859 493 1317103 141.40/141.45 o 1874 141.40/141.46 c 87.8856 11.5859 520 1317245 141.40/141.46 o 1796 141.40/141.48 c 87.8986 11.5859 564 1317503 141.40/141.48 o 1662 141.49/141.55 c 87.9396 11.5859 760 1318042 141.49/141.55 o 1661 141.60/141.64 c 87.9916 11.5859 585 1318553 141.60/141.64 o 1625 141.70/141.70 c 88.0276 11.5859 747 1318941 141.70/141.70 o 1585 141.90/141.93 c 88.1616 11.5859 476 1320076 141.90/141.93 o 1553 141.90/141.98 c 88.1926 11.5859 582 1320353 141.90/141.98 o 1503 141.90/141.99 c 88.2026 11.5859 629 1320526 141.90/141.99 o 1471 142.00/142.03 c 88.2246 11.5859 714 1320774 142.00/142.03 o 1428 142.09/142.16 c 88.3216 11.5859 698 1321628 142.09/142.16 o 1390 142.19/142.24 c 88.3776 11.5859 483 1322159 142.19/142.24 o 1387 142.29/142.39 c 88.4725 11.5859 860 1322912 142.29/142.39 o 1336 142.40/142.44 c 88.5065 11.5859 560 1323214 142.40/142.44 o 1328 142.40/142.49 c 88.5365 11.5859 694 1323654 142.40/142.49 o 1324 142.49/142.53 c 88.5565 11.5859 783 1323892 142.49/142.53 o 1271 142.49/142.54 c 88.5645 11.5859 843 1324028 142.49/142.54 o 1241 142.59/142.60 c 88.6015 11.5859 570 1324331 142.59/142.60 o 1237 142.59/142.64 c 88.6205 11.5859 667 1324579 142.59/142.64 o 1213 142.59/142.65 c 88.6305 11.5859 706 1324750 142.59/142.65 o 1156 142.69/142.71 c 88.6725 11.5859 880 1325110 142.69/142.71 o 1116 142.79/142.88 c 88.7815 11.5859 464 1325955 142.79/142.88 o 1094 142.79/142.90 c 88.7975 11.5859 507 1326059 142.79/142.90 o 1089 142.90/142.93 c 88.8175 11.5859 579 1326243 142.90/142.93 o 1072 142.90/142.99 c 88.8585 11.5859 771 1326659 142.90/142.99 o 1068 143.19/143.22 c 89.0015 11.5859 554 1328131 143.19/143.22 o 1042 143.19/143.23 c 89.0095 11.5859 601 1328228 143.19/143.23 o 1035 143.19/143.25 c 89.0215 11.5859 662 1328418 143.19/143.25 o 1008 143.19/143.27 c 89.0365 11.5859 702 1328523 143.19/143.27 o 977 143.40/143.42 c 89.1274 11.7109 655 1329325 143.40/143.42 o 938 143.40/143.44 c 89.1434 11.7109 742 1329518 143.40/143.44 o 932 143.40/143.48 c 89.1684 11.7109 876 1329772 143.40/143.48 o 922 143.49/143.57 c 89.2224 11.7109 690 1330275 143.49/143.57 o 897 143.49/143.59 c 89.2374 11.7109 759 1330492 143.49/143.59 o 835 143.59/143.62 c 89.2584 11.7109 828 1330665 143.59/143.62 o 782 143.59/143.66 c 89.2864 11.7109 965 1330951 143.59/143.66 o 777 143.69/143.73 c 89.3264 11.7109 656 1331486 143.69/143.73 o 773 143.80/143.83 c 89.4004 11.7109 953 1332129 143.80/143.83 o 770 143.80/143.85 c 89.4134 11.7109 1004 1332322 143.80/143.85 o 664 143.80/143.89 c 89.4434 11.7109 592 1332576 143.80/143.89 o 655 143.90/143.91 c 89.4514 11.7109 634 1332736 143.90/143.91 o 570 143.90/143.91 c 89.4524 11.7109 642 1332814 143.90/143.91 o 511 143.90/143.95 c 89.4764 11.7109 656 1333031 143.90/143.95 o 504 143.90/143.96 c 89.4884 11.7109 727 1333196 143.90/143.96 o 471 143.90/143.97 c 89.4904 11.7109 545 1333263 143.90/143.97 o 424 143.90/143.98 c 89.4924 11.7109 578 1333327 143.90/143.98 o 402 143.90/143.98 c 89.4944 11.7109 583 1333358 143.90/143.98 o 387 143.90/143.99 c 89.5014 11.7109 620 1333442 143.90/143.99 o 378 143.90/143.99 c 89.5034 11.7109 553 1333471 143.90/143.99 o 370 143.90/143.99 c 89.5044 11.7109 560 1333531 143.90/143.99 o 347 143.90/143.99 c 89.5054 11.7109 560 1333580 143.90/143.99 o 301 143.90/143.99 c 89.5054 11.7109 560 1333617 143.90/143.99 o 263 143.90/143.99 c 89.5074 11.7109 562 1333636 143.90/143.99 o 260 143.90/144.00 c 89.5084 11.7109 588 1333692 143.90/144.00 o 237 143.90/144.00 c 89.5104 11.7109 594 1333740 143.90/144.00 o 217 144.00/144.00 c 89.5124 11.7109 611 1333892 144.00/144.00 o 78 144.00/144.00 c 89.5124 11.7109 613 1333943 144.00/144.00 o 23 144.00/144.00 c 89.5134 11.7109 616 1333958 144.00/144.00 o 17 144.00/144.00 c 89.5144 11.7109 616 1333980 144.00/144.00 o 0 144.00/144.00 c 89.5144 11.7109 616 1333980 144.00/144.00 s OPTIMUM FOUND 144.00/144.00 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-2700279-1278534575/watcher-2700279-1278534575 -o /tmp/evaluation-result-2700279-1278534575/solver-2700279-1278534575 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700279-1278534575.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.81 1.08 3/178 18052 /proc/meminfo: memFree=29513256/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=2136 CPUtime=0 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 21671732 2187264 174 4089446400 134512640 136422188 4288567808 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18052/statm: 534 175 144 467 0 65 0 [startup+0.0291661 s] /proc/loadavg: 1.92 1.81 1.08 3/178 18052 /proc/meminfo: memFree=29513256/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=7580 CPUtime=0.02 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 1577 0 0 0 2 0 0 0 25 0 1 0 21671732 7761920 1496 4089446400 134512640 136422188 4288567808 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 1895 1505 193 467 0 1426 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7580 [startup+0.101169 s] /proc/loadavg: 1.92 1.81 1.08 3/178 18052 /proc/meminfo: memFree=29513256/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=10460 CPUtime=0.09 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2349 0 0 0 7 2 0 0 25 0 1 0 21671732 10711040 2262 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2615 2262 238 467 0 2146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10460 [startup+0.301132 s] /proc/loadavg: 1.92 1.81 1.08 3/178 18052 /proc/meminfo: memFree=29513256/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=10588 CPUtime=0.29 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2369 0 0 0 19 10 0 0 25 0 1 0 21671732 10842112 2282 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2647 2282 238 467 0 2178 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10588 [startup+0.701047 s] /proc/loadavg: 1.92 1.81 1.08 3/178 18052 /proc/meminfo: memFree=29513256/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=10588 CPUtime=0.69 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2378 0 0 0 46 23 0 0 25 0 1 0 21671732 10842112 2288 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2647 2288 238 467 0 2178 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10588 [startup+1.50089 s] /proc/loadavg: 1.92 1.81 1.08 3/179 18053 /proc/meminfo: memFree=29505776/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=10588 CPUtime=1.49 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2402 0 0 0 97 52 0 0 25 0 1 0 21671732 10842112 2307 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2647 2307 238 467 0 2178 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10588 [startup+3.10059 s] /proc/loadavg: 1.92 1.81 1.08 3/179 18053 /proc/meminfo: memFree=29505280/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=10716 CPUtime=3.09 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2430 0 0 0 194 115 0 0 25 0 1 0 21671732 10973184 2328 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2679 2328 238 467 0 2210 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10716 [startup+6.30101 s] /proc/loadavg: 1.93 1.82 1.08 3/179 18053 /proc/meminfo: memFree=29505148/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=10844 CPUtime=6.29 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2460 0 0 0 397 232 0 0 25 0 1 0 21671732 11104256 2356 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2711 2356 238 467 0 2242 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10844 [startup+12.7008 s] /proc/loadavg: 1.93 1.82 1.09 4/179 18053 /proc/meminfo: memFree=29503808/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=10972 CPUtime=12.69 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2497 0 0 0 803 466 0 0 25 0 1 0 21671732 11235328 2381 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2743 2381 238 467 0 2274 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10972 [startup+25.5004 s] /proc/loadavg: 1.95 1.83 1.10 3/179 18053 /proc/meminfo: memFree=29502896/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11100 CPUtime=25.49 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2565 0 0 0 1604 945 0 0 25 0 1 0 21671732 11366400 2432 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2775 2432 238 467 0 2306 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11100 [startup+51.1007 s] /proc/loadavg: 1.96 1.84 1.12 3/179 18054 /proc/meminfo: memFree=29493900/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11228 CPUtime=51.09 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2640 0 0 0 3209 1900 0 0 25 0 1 0 21671732 11497472 2469 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2807 2469 238 467 0 2338 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11228 [startup+102.306 s] /proc/loadavg: 1.98 1.86 1.17 3/179 18055 /proc/meminfo: memFree=29477980/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11604 CPUtime=102.3 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2765 0 0 0 6368 3862 0 0 25 0 1 0 21671732 11882496 2541 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2901 2541 238 467 0 2432 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11604 Solver just ended. Dumping a history of the last processes samples [startup+127.9 s] /proc/loadavg: 1.99 1.87 1.19 3/179 18056 /proc/meminfo: memFree=29467408/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11728 CPUtime=127.89 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2850 0 0 0 7950 4839 0 0 25 0 1 0 21671732 12009472 2588 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2932 2588 238 467 0 2463 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 11728 [startup+134.301 s] /proc/loadavg: 1.99 1.88 1.20 3/179 18056 /proc/meminfo: memFree=29465412/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11728 CPUtime=134.29 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2868 0 0 0 8340 5089 0 0 25 0 1 0 21671732 12009472 2597 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2932 2597 238 467 0 2463 0 Current children cumulated CPU time (s) 134.29 Current children cumulated vsize (KiB) 11728 [startup+140.701 s] /proc/loadavg: 1.99 1.88 1.20 3/179 18057 /proc/meminfo: memFree=29462804/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11860 CPUtime=140.7 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2900 0 0 0 8742 5328 0 0 25 0 1 0 21671732 12144640 2608 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2965 2608 238 467 0 2496 0 Current children cumulated CPU time (s) 140.7 Current children cumulated vsize (KiB) 11860 [startup+142.301 s] /proc/loadavg: 1.99 1.88 1.20 3/179 18057 /proc/meminfo: memFree=29461688/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11860 CPUtime=142.29 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2931 0 0 0 8840 5389 0 0 25 0 1 0 21671732 12144640 2623 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2965 2623 238 467 0 2496 0 Current children cumulated CPU time (s) 142.29 Current children cumulated vsize (KiB) 11860 [startup+143.1 s] /proc/loadavg: 1.99 1.88 1.20 3/179 18057 /proc/meminfo: memFree=29461564/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11860 CPUtime=143.09 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2955 0 0 0 8892 5417 0 0 25 0 1 0 21671732 12144640 2634 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2965 2634 238 467 0 2496 0 Current children cumulated CPU time (s) 143.09 Current children cumulated vsize (KiB) 11860 [startup+143.5 s] /proc/loadavg: 1.99 1.88 1.20 3/179 18057 /proc/meminfo: memFree=29461564/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11988 CPUtime=143.49 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2969 0 0 0 8917 5432 0 0 18 0 1 0 21671732 12275712 2641 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2997 2641 238 467 0 2528 0 Current children cumulated CPU time (s) 143.49 Current children cumulated vsize (KiB) 11988 [startup+143.9 s] /proc/loadavg: 1.99 1.88 1.20 3/179 18057 /proc/meminfo: memFree=29461564/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11988 CPUtime=143.9 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2982 0 0 0 8944 5446 0 0 18 0 1 0 21671732 12275712 2646 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2997 2646 238 467 0 2528 0 Current children cumulated CPU time (s) 143.9 Current children cumulated vsize (KiB) 11988 [startup+144 s] /proc/loadavg: 1.99 1.88 1.20 3/179 18057 /proc/meminfo: memFree=29461564/32950928 swapFree=67111528/67111528 [pid=18052] ppid=18050 vsize=11988 CPUtime=144 /proc/18052/stat : 18052 (pbct) R 18050 18052 17512 0 -1 4202496 2998 0 0 0 8951 5449 0 0 18 0 1 0 21671732 12275712 2647 4089446400 134512640 136422188 4288567808 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18052/statm: 2997 2647 238 467 0 2528 0 Current children cumulated CPU time (s) 144 Current children cumulated vsize (KiB) 11988 Child status: 0 Real time (s): 144.02 CPU time (s): 144.024 CPU user time (s): 89.5244 CPU system time (s): 54.4997 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 11988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 89.5244 system time used= 54.4997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3008 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= 366 runsolver used 0.19397 second user time and 0.468928 second system time The end
Begin job on node113 at 2010-07-07 22:29:36 IDJOB=2700279 IDBENCH=79414 IDSOLVER=1212 FILE ID=node113/2700279-1278534575 PBS_JOBID= 11239252 Free space on /tmp= 73744 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh17_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700279-1278534575/watcher-2700279-1278534575 -o /tmp/evaluation-result-2700279-1278534575/solver-2700279-1278534575 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700279-1278534575.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 57d73bec44a40d3308f5eb2ba913b45c RANDOM SEED=2020800665 node113.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.843 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.68 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.843 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.843 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.843 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.843 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.74 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.843 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.76 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.843 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.93 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.843 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29513776 kB Buffers: 134932 kB Cached: 2785652 kB SwapCached: 0 kB Active: 1924764 kB Inactive: 1357564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29513776 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2108 kB Writeback: 0 kB AnonPages: 361704 kB Mapped: 17236 kB Slab: 87368 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 514060 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= 73744 MiB End job on node113 at 2010-07-07 22:32:00