Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 138.075 | 138.073 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh05_wcsp.wbo |
MD5SUM | 1604fdd87dcee54076f2101bd99fabb3 |
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 | 183 |
Best CPU time to get the best result obtained on this benchmark | 1.20382 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 100/0 clauses 0/850 units 0 0.00/0.00 c vars 200 0.00/0.03 c 0.034994 9.94922 1 1943 0.00/0.03 o 23087 0.00/0.04 c 0.034994 10.1133 2 2402 0.00/0.04 o 22660 0.03/0.04 c 0.035994 10.1133 2 3288 0.03/0.04 o 19555 0.03/0.04 c 0.035994 10.1133 2 3950 0.03/0.04 o 19287 0.03/0.04 c 0.036994 10.1133 3 4363 0.03/0.04 o 19167 0.03/0.04 c 0.036994 10.1133 3 5248 0.03/0.04 o 14067 0.03/0.05 c 0.036994 10.1133 5 5597 0.03/0.05 o 13920 0.03/0.05 c 0.036994 10.1133 9 5981 0.03/0.05 o 13830 0.03/0.05 c 0.037994 10.1133 30 6405 0.03/0.05 o 13729 0.03/0.07 c 0.038994 10.2383 219 7150 0.03/0.07 o 13712 0.29/0.38 c 0.111982 10.3633 619 13032 0.29/0.38 o 13707 1.59/1.60 c 0.449931 10.4883 610 33719 1.59/1.60 o 13513 1.59/1.62 c 0.45393 10.4883 689 34016 1.59/1.62 o 13470 1.79/1.87 c 0.514921 10.4883 662 37838 1.79/1.87 o 13322 2.49/2.55 c 0.658899 10.4883 547 44523 2.49/2.55 o 13056 3.39/3.50 c 0.825874 10.4883 541 61108 3.39/3.50 o 12929 3.49/3.59 c 0.844871 10.4883 632 62442 3.49/3.59 o 12909 3.89/4.00 c 0.91986 10.4883 560 70621 3.89/4.00 o 12756 3.99/4.00 c 0.921859 10.4883 572 70897 3.99/4.00 o 12633 3.99/4.02 c 0.922859 10.4883 629 71216 3.99/4.02 o 12580 4.09/4.13 c 0.934857 10.4883 654 73476 4.09/4.13 o 12557 4.29/4.37 c 0.98185 10.6133 362 77575 4.29/4.37 o 12425 5.19/5.20 c 1.10983 10.6133 910 84217 5.19/5.20 o 12414 5.69/5.72 c 1.19182 10.6133 863 91894 5.69/5.72 o 12380 5.89/5.96 c 1.24581 10.6133 668 96132 5.89/5.96 o 12377 5.89/5.98 c 1.25181 10.6133 450 97028 5.89/5.98 o 12040 6.69/6.79 c 1.41278 10.6133 702 108945 6.69/6.79 o 12011 6.79/6.84 c 1.42578 10.6133 603 109711 6.79/6.84 o 11996 6.79/6.87 c 1.43378 10.6133 423 110402 6.79/6.87 o 11994 6.89/6.92 c 1.44478 10.6133 673 111505 6.89/6.92 o 11859 8.10/8.11 c 1.75073 10.6133 692 128275 8.10/8.11 o 11829 8.70/8.70 c 1.87471 10.6133 517 137427 8.70/8.70 o 11644 8.89/8.94 c 1.90771 10.6133 730 141469 8.89/8.94 o 11585 8.89/8.97 c 1.91371 10.6133 549 142190 8.89/8.97 o 11566 9.09/9.18 c 1.9497 10.6133 382 146187 9.09/9.18 o 11480 10.80/10.81 c 2.27165 10.7383 441 167603 10.80/10.81 o 11449 10.80/10.83 c 2.27565 10.7383 507 167933 10.80/10.83 o 11448 10.80/10.86 c 2.28365 10.7383 669 168643 10.80/10.86 o 11375 11.39/11.46 c 2.41463 10.7383 404 178664 11.39/11.46 o 11276 11.39/11.49 c 2.41963 10.7383 494 179080 11.39/11.49 o 11214 11.59/11.67 c 2.45463 10.7383 719 181740 11.59/11.67 o 11156 11.59/11.68 c 2.45663 10.7383 469 182265 11.59/11.68 o 11132 12.59/12.69 c 2.6436 10.7383 601 198407 12.59/12.69 o 10902 14.19/14.25 c 2.96755 10.7383 667 222208 14.19/14.25 o 10873 14.29/14.31 c 2.98255 10.7383 680 223493 14.29/14.31 o 10766 14.99/15.08 c 3.19851 10.7383 703 234746 14.99/15.08 o 10741 15.30/15.32 c 3.24751 10.7383 780 237439 15.30/15.32 o 10731 15.40/15.44 c 3.2685 10.7383 690 239444 15.40/15.44 o 10644 15.79/15.82 c 3.34249 10.7383 736 244415 15.79/15.82 o 10613 15.89/15.99 c 3.38348 10.7383 550 247213 15.89/15.99 o 10540 15.99/16.09 c 3.40148 10.7383 565 249409 15.99/16.09 o 10423 18.89/18.97 c 3.87641 10.8633 715 281767 18.89/18.97 o 10407 18.99/19.02 c 3.88641 10.8633 621 282644 18.99/19.02 o 10364 20.69/20.75 c 4.22136 10.8633 649 306251 20.69/20.75 o 10250 21.09/21.18 c 4.34034 10.8633 656 312120 21.09/21.18 o 10217 26.89/26.96 c 5.43417 10.8633 579 365679 26.89/26.96 o 10172 27.20/27.25 c 5.51116 10.8633 471 369600 27.20/27.25 o 10169 27.79/27.83 c 5.66114 10.8633 508 377151 27.79/27.83 o 9821 27.99/28.04 c 5.72713 10.8633 989 380816 27.99/28.04 o 9792 28.50/28.54 c 5.80912 10.8633 439 387499 28.50/28.54 o 9757 29.10/29.17 c 5.9211 10.8633 739 396507 29.10/29.17 o 9751 29.70/29.78 c 6.02508 10.9844 520 405077 29.70/29.78 o 9720 30.30/30.30 c 6.11107 10.9844 466 412517 30.30/30.30 o 9716 31.99/32.08 c 6.42802 10.9844 868 433437 31.99/32.08 o 9690 32.30/32.36 c 6.46902 10.9844 661 437324 32.30/32.36 o 9678 33.09/33.12 c 6.592 10.9844 713 447804 33.09/33.12 o 9638 33.29/33.35 c 6.62399 10.9844 680 451020 33.29/33.35 o 9550 34.49/34.57 c 6.93494 10.9844 784 466158 34.49/34.57 o 9526 34.89/34.91 c 7.00793 10.9844 627 471955 34.89/34.91 o 9472 37.69/37.71 c 7.46686 10.9844 847 503929 37.69/37.71 o 9421 37.80/37.87 c 7.49286 10.9844 556 505406 37.80/37.87 o 9374 38.79/38.84 c 7.64984 10.9844 509 517758 38.79/38.84 o 9278 39.19/39.25 c 7.74382 10.9844 581 524505 39.19/39.25 o 9263 41.19/41.21 c 8.20075 10.9844 947 545750 41.19/41.21 o 9248 41.49/41.52 c 8.25075 10.9844 612 550608 41.49/41.52 o 9239 42.09/42.19 c 8.35373 10.9844 504 557992 42.09/42.19 o 9204 42.30/42.32 c 8.37273 10.9844 843 559849 42.30/42.32 o 9154 42.49/42.53 c 8.40472 10.9844 527 562766 42.49/42.53 o 9107 43.79/43.89 c 8.65968 10.9844 933 579510 43.79/43.89 o 9059 45.10/45.17 c 8.84965 10.9844 757 593457 45.10/45.17 o 8942 45.59/45.65 c 8.95364 10.9844 853 599141 45.59/45.65 o 8874 47.30/47.31 c 9.27459 11.1055 566 617967 47.30/47.31 o 8839 47.30/47.37 c 9.28759 11.1055 459 619003 47.30/47.37 o 8810 49.19/49.23 c 9.65253 11.1055 512 641702 49.19/49.23 o 8714 49.29/49.34 c 9.66553 11.1055 975 642673 49.29/49.34 o 8703 50.60/50.68 c 9.8745 11.1055 648 656322 50.60/50.68 o 8587 53.20/53.24 c 10.3584 11.1055 756 682535 53.20/53.24 o 8432 53.90/53.96 c 10.5334 11.1055 534 690245 53.90/53.96 o 8421 55.89/55.96 c 10.9093 11.1055 745 711805 55.89/55.96 o 8383 57.79/57.82 c 11.1933 11.1055 686 733199 57.79/57.82 o 8353 58.80/58.85 c 11.3603 11.1055 655 745447 58.80/58.85 o 8313 59.50/59.52 c 11.4723 11.1055 776 753296 59.50/59.52 o 8267 60.09/60.15 c 11.6122 11.1055 837 760093 60.09/60.15 o 8201 63.80/63.89 c 12.2661 11.1055 725 798494 63.80/63.89 o 8155 64.20/64.21 c 12.3111 11.1055 583 802014 64.20/64.21 o 8085 64.59/64.65 c 12.3961 11.1055 861 806961 64.59/64.65 o 8064 65.79/65.80 c 12.5991 11.1055 542 819138 65.79/65.80 o 8041 67.39/67.41 c 12.98 11.1055 776 836155 67.39/67.41 o 7977 67.49/67.55 c 13.007 11.2305 653 837965 67.49/67.55 o 7948 68.10/68.10 c 13.11 11.2305 627 843963 68.10/68.10 o 7933 69.69/69.79 c 13.384 11.2305 778 860001 69.69/69.79 o 7818 69.99/70.07 c 13.435 11.2305 530 862675 69.99/70.07 o 7810 72.80/72.85 c 13.8389 11.2305 719 890931 72.80/72.85 o 7774 73.19/73.20 c 13.9349 11.2305 609 894732 73.19/73.20 o 7683 73.79/73.86 c 14.1249 11.2305 774 901505 73.79/73.86 o 7631 75.20/75.22 c 14.3448 11.2305 790 914693 75.20/75.22 o 7518 76.09/76.13 c 14.4788 11.2305 937 924129 76.09/76.13 o 7456 76.20/76.28 c 14.5038 11.2305 675 925806 76.20/76.28 o 7320 77.00/77.02 c 14.6098 11.2305 519 933118 77.00/77.02 o 7291 81.09/81.13 c 15.3477 11.2305 695 977132 81.09/81.13 o 7288 81.19/81.21 c 15.3577 11.2305 620 978015 81.19/81.21 o 7230 81.60/81.62 c 15.4257 11.2305 974 981071 81.60/81.62 o 7176 83.19/83.20 c 15.6796 11.2305 657 996592 83.19/83.20 o 7168 84.70/84.73 c 15.9486 11.2305 714 1013247 84.70/84.73 o 7121 84.90/84.98 c 15.9936 11.2305 703 1015106 84.90/84.98 o 6977 85.20/85.22 c 16.0336 11.2305 689 1017120 85.20/85.22 o 6970 85.89/85.97 c 16.1625 11.2305 614 1025267 85.89/85.97 o 6910 86.70/86.70 c 16.3525 11.2305 834 1032007 86.70/86.70 o 6908 88.00/88.07 c 16.6205 11.2305 940 1046655 88.00/88.07 o 6839 89.89/89.95 c 16.8904 11.2305 793 1063775 89.89/89.95 o 6771 90.69/90.75 c 17.0264 11.2305 989 1069582 90.69/90.75 o 6630 92.59/92.69 c 17.3364 11.2305 886 1089923 92.59/92.69 o 6627 95.99/96.03 c 18.0063 11.2305 783 1122643 95.99/96.03 o 6601 96.39/96.48 c 18.0703 11.2305 639 1126310 96.39/96.48 o 6558 96.50/96.56 c 18.0813 11.2305 493 1127165 96.50/96.56 o 6521 98.69/98.70 c 18.3982 11.2305 884 1146916 98.69/98.70 o 6456 99.29/99.32 c 18.5212 11.2305 553 1152969 99.29/99.32 o 6394 99.69/99.73 c 18.6492 11.2305 917 1156822 99.69/99.73 o 6374 101.00/101.10 c 18.9191 11.3516 576 1166616 101.00/101.10 o 6356 101.79/101.86 c 19.0291 11.3516 583 1174141 101.79/101.86 o 6026 102.00/102.02 c 19.0541 11.3516 788 1175792 102.00/102.02 o 5994 102.39/102.46 c 19.1131 11.3516 714 1179548 102.39/102.46 o 5904 103.89/103.90 c 19.3151 11.3516 525 1194265 103.89/103.90 o 5844 105.50/105.50 c 19.575 11.3516 685 1207200 105.50/105.50 o 5701 107.09/107.18 c 19.94 11.3516 1006 1223264 107.09/107.18 o 5578 107.89/107.94 c 20.0659 11.3516 574 1231406 107.89/107.94 o 5511 108.79/108.87 c 20.2289 11.3516 827 1238769 108.79/108.87 o 5324 109.10/109.19 c 20.2829 11.3516 592 1241411 109.10/109.19 o 5250 109.19/109.26 c 20.2949 11.3516 499 1242333 109.19/109.26 o 5213 109.30/109.35 c 20.3109 11.3516 885 1243316 109.30/109.35 o 5212 109.80/109.81 c 20.3779 11.3516 785 1247306 109.80/109.81 o 4984 109.80/109.86 c 20.3859 11.3516 591 1247888 109.80/109.86 o 4927 110.00/110.07 c 20.4109 11.3516 909 1249909 110.00/110.07 o 4881 110.29/110.33 c 20.4629 11.3516 654 1252409 110.29/110.33 o 4835 111.20/111.24 c 20.6119 11.3516 470 1259582 111.20/111.24 o 4827 112.39/112.45 c 20.7948 11.3516 591 1269807 112.39/112.45 o 4779 112.99/113.04 c 20.9658 11.3516 907 1275232 112.99/113.04 o 4767 113.29/113.39 c 21.0508 11.3516 715 1278960 113.29/113.39 o 4672 113.49/113.50 c 21.0638 11.3516 671 1279969 113.49/113.50 o 4625 113.89/113.96 c 21.1328 11.3516 596 1283570 113.89/113.96 o 4623 114.40/114.45 c 21.2048 11.3516 933 1287123 114.40/114.45 o 4563 114.69/114.77 c 21.2478 11.3516 686 1289799 114.69/114.77 o 4551 116.09/116.14 c 21.4567 11.3516 654 1301228 116.09/116.14 o 4532 116.69/116.79 c 21.5617 11.4727 542 1305805 116.69/116.79 o 4459 117.29/117.38 c 21.6467 11.4727 637 1309705 117.29/117.38 o 4424 119.20/119.27 c 21.9757 11.4727 661 1320411 119.20/119.27 o 4400 119.30/119.34 c 21.9927 11.4727 857 1321014 119.30/119.34 o 4263 119.49/119.51 c 22.0426 11.4727 486 1322109 119.49/119.51 o 4245 120.40/120.47 c 22.2386 11.4727 555 1329092 120.40/120.47 o 4159 120.70/120.79 c 22.2886 11.4727 720 1331608 120.70/120.79 o 4153 120.90/120.98 c 22.3086 11.4727 787 1333616 120.90/120.98 o 4143 121.29/121.30 c 22.3486 11.4727 668 1336145 121.29/121.30 o 4120 121.29/121.34 c 22.3556 11.4727 835 1336697 121.29/121.34 o 4038 121.69/121.73 c 22.4196 11.4727 762 1339822 121.69/121.73 o 4033 122.20/122.21 c 22.4876 11.4727 669 1343884 122.20/122.21 o 3885 122.29/122.36 c 22.5096 11.4727 662 1344929 122.29/122.36 o 3822 122.39/122.43 c 22.5226 11.4727 864 1345472 122.39/122.43 o 3817 122.39/122.48 c 22.5306 11.4727 622 1345924 122.39/122.48 o 3801 122.50/122.54 c 22.5386 11.4727 797 1346432 122.50/122.54 o 3725 122.99/123.05 c 22.6216 11.4727 545 1350532 122.99/123.05 o 3719 123.40/123.46 c 22.6666 11.4727 509 1353573 123.40/123.46 o 3709 123.49/123.59 c 22.6866 11.4727 463 1354529 123.49/123.59 o 3687 123.69/123.75 c 22.7065 11.4727 949 1355709 123.69/123.75 o 3644 123.90/123.97 c 22.7375 11.4727 632 1357026 123.90/123.97 o 3627 124.10/124.16 c 22.7645 11.4727 482 1359194 124.10/124.16 o 3415 124.30/124.31 c 22.7905 11.4727 908 1360600 124.30/124.31 o 3262 124.59/124.64 c 22.8345 11.4727 753 1363331 124.59/124.64 o 3072 124.70/124.71 c 22.8445 11.4727 585 1363958 124.70/124.71 o 3016 124.90/124.98 c 22.8855 11.4727 521 1365930 124.90/124.98 o 3015 124.99/125.06 c 22.8995 11.4727 772 1366628 124.99/125.06 o 2934 125.20/125.27 c 22.9365 11.4727 520 1368230 125.20/125.27 o 2931 126.59/126.64 c 23.2675 11.4727 818 1376796 126.59/126.64 o 2886 126.80/126.80 c 23.2945 11.4727 468 1378169 126.80/126.80 o 2874 126.99/127.00 c 23.3295 11.4727 673 1379528 126.99/127.00 o 2871 127.20/127.27 c 23.3704 11.4727 629 1381391 127.20/127.27 o 2865 127.30/127.32 c 23.3764 11.4727 797 1381801 127.30/127.32 o 2829 127.90/127.99 c 23.4764 11.4727 644 1386429 127.90/127.99 o 2792 128.19/128.21 c 23.5134 11.4727 770 1387722 128.19/128.21 o 2767 128.19/128.26 c 23.5234 11.4727 489 1388139 128.19/128.26 o 2717 128.39/128.40 c 23.5444 11.4727 916 1389253 128.39/128.40 o 2700 128.99/129.07 c 23.6394 11.4727 647 1393403 128.99/129.07 o 2690 128.99/129.08 c 23.6434 11.4727 684 1393515 128.99/129.08 o 2672 129.20/129.21 c 23.6644 11.6016 577 1394464 129.20/129.21 o 2634 129.20/129.29 c 23.6774 11.6016 797 1395066 129.20/129.29 o 2612 129.29/129.37 c 23.6904 11.6016 583 1395823 129.29/129.37 o 2518 129.79/129.82 c 23.7534 11.6016 630 1398965 129.79/129.82 o 2503 130.90/130.93 c 23.9084 11.6016 728 1404382 130.90/130.93 o 2486 131.10/131.11 c 23.9364 11.6016 495 1405773 131.10/131.11 o 2438 131.69/131.79 c 24.0503 11.6016 856 1410515 131.69/131.79 o 2356 131.89/131.93 c 24.0643 11.6016 466 1411613 131.89/131.93 o 2342 131.89/131.97 c 24.0753 11.6016 555 1411877 131.89/131.97 o 2305 132.00/132.04 c 24.0953 11.6016 733 1412289 132.00/132.04 o 2296 133.50/133.58 c 24.4483 11.6016 723 1421675 133.50/133.58 o 2230 133.60/133.63 c 24.4553 11.6016 489 1422248 133.60/133.63 o 2159 134.10/134.14 c 24.5323 11.6016 569 1425627 134.10/134.14 o 2143 134.20/134.24 c 24.5463 11.6016 845 1426446 134.20/134.24 o 2004 134.30/134.31 c 24.5563 11.6016 618 1426918 134.30/134.31 o 1987 134.40/134.44 c 24.5743 11.6016 556 1427797 134.40/134.44 o 1922 134.99/135.06 c 24.6712 11.6016 705 1431689 134.99/135.06 o 1897 135.09/135.14 c 24.6822 11.6016 484 1432210 135.09/135.14 o 1877 135.49/135.56 c 24.7532 11.6016 848 1434775 135.49/135.56 o 1862 135.79/135.88 c 24.8002 11.6016 871 1436862 135.79/135.88 o 1777 135.89/135.91 c 24.8062 11.6016 533 1437154 135.89/135.91 o 1713 135.89/135.99 c 24.8162 11.6016 790 1437946 135.89/135.99 o 1651 135.99/136.04 c 24.8262 11.6016 511 1438386 135.99/136.04 o 1620 136.09/136.10 c 24.8352 11.6016 660 1438804 136.09/136.10 o 1510 136.60/136.64 c 24.9322 11.6016 921 1442407 136.60/136.64 o 1416 136.90/136.93 c 24.9772 11.6016 883 1444184 136.90/136.93 o 1381 136.99/137.02 c 24.9902 11.6016 699 1444996 136.99/137.02 o 1259 136.99/137.07 c 24.9982 11.6016 879 1445392 136.99/137.07 o 1254 137.09/137.12 c 25.0122 11.6016 604 1445854 137.09/137.12 o 1241 137.19/137.27 c 25.0442 11.6016 615 1446845 137.19/137.27 o 1074 137.39/137.43 c 25.0722 11.6016 661 1447936 137.39/137.43 o 1055 137.39/137.45 c 25.0792 11.6016 725 1448175 137.39/137.45 o 935 137.39/137.47 c 25.0822 11.6016 779 1448362 137.39/137.47 o 912 137.39/137.48 c 25.0842 11.6016 809 1448458 137.39/137.48 o 890 137.49/137.51 c 25.0912 11.6016 914 1448704 137.49/137.51 o 881 137.49/137.54 c 25.0962 11.6016 988 1448866 137.49/137.54 o 878 137.49/137.56 c 25.1002 11.6016 532 1449098 137.49/137.56 o 740 137.59/137.60 c 25.1052 11.6016 681 1449419 137.59/137.60 o 699 137.69/137.79 c 25.1482 11.6016 799 1450527 137.69/137.79 o 694 137.79/137.81 c 25.1542 11.6016 870 1450690 137.79/137.81 o 677 137.79/137.83 c 25.1572 11.6016 947 1450877 137.79/137.83 o 636 137.79/137.85 c 25.1602 11.6016 991 1451028 137.79/137.85 o 562 137.79/137.85 c 25.1602 11.6016 1013 1451067 137.79/137.85 o 556 137.79/137.86 c 25.1622 11.7266 1078 1451212 137.79/137.86 o 484 137.79/137.88 c 25.1672 11.7266 1082 1451370 137.79/137.88 o 477 137.79/137.89 c 25.1712 11.7266 1137 1451486 137.79/137.89 o 465 137.89/137.93 c 25.1842 11.7266 1279 1451800 137.89/137.93 o 427 138.00/138.01 c 25.2042 11.7266 955 1452381 138.00/138.01 o 396 138.00/138.01 c 25.2062 11.7266 987 1452449 138.00/138.01 o 391 138.00/138.03 c 25.2092 11.7266 1068 1452612 138.00/138.03 o 342 138.00/138.04 c 25.2152 11.7266 1161 1452861 138.00/138.04 o 205 138.00/138.05 c 25.2182 11.7266 1178 1452953 138.00/138.05 o 199 138.00/138.06 c 25.2182 11.7266 1202 1452999 138.00/138.06 o 183 138.00/138.06 c 25.2182 11.7266 1211 1453008 138.00/138.06 s OPTIMUM FOUND 138.00/138.06 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 183
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700447-1278535647/watcher-2700447-1278535647 -o /tmp/evaluation-result-2700447-1278535647/solver-2700447-1278535647 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700447-1278535647.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.04 2.06 3/178 18736 /proc/meminfo: memFree=28787096/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=2136 CPUtime=0 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 255 0 0 0 0 0 0 0 21 0 1 0 21777834 2187264 175 4089446400 134512640 136422188 4288150800 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18736/statm: 534 175 144 467 0 65 0 [startup+0.042604 s] /proc/loadavg: 2.00 2.04 2.06 3/178 18736 /proc/meminfo: memFree=28787096/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10352 CPUtime=0.03 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2328 0 0 0 3 0 0 0 21 0 1 0 21777834 10600448 2246 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2588 2246 237 467 0 2119 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10352 [startup+0.100591 s] /proc/loadavg: 2.00 2.04 2.06 3/178 18736 /proc/meminfo: memFree=28787096/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10480 CPUtime=0.09 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2352 0 0 0 4 5 0 0 21 0 1 0 21777834 10731520 2262 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2620 2262 238 467 0 2151 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10480 [startup+0.300559 s] /proc/loadavg: 2.00 2.04 2.06 3/178 18736 /proc/meminfo: memFree=28787096/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10608 CPUtime=0.29 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2393 0 0 0 8 21 0 0 21 0 1 0 21777834 10862592 2303 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2652 2303 238 467 0 2183 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10608 [startup+0.700492 s] /proc/loadavg: 2.00 2.04 2.06 3/178 18736 /proc/meminfo: memFree=28787096/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10608 CPUtime=0.69 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2396 0 0 0 16 53 0 0 22 0 1 0 21777834 10862592 2305 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2652 2305 238 467 0 2183 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10608 [startup+1.50036 s] /proc/loadavg: 2.00 2.03 2.06 3/179 18737 /proc/meminfo: memFree=28777540/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10736 CPUtime=1.49 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2412 0 0 0 41 108 0 0 25 0 1 0 21777834 10993664 2321 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2684 2321 238 467 0 2215 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10736 [startup+3.10108 s] /proc/loadavg: 2.00 2.03 2.06 3/179 18737 /proc/meminfo: memFree=28776424/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10736 CPUtime=3.09 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2432 0 0 0 75 234 0 0 25 0 1 0 21777834 10993664 2337 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2684 2337 238 467 0 2215 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10736 [startup+6.30054 s] /proc/loadavg: 2.00 2.03 2.06 3/179 18737 /proc/meminfo: memFree=28773820/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10864 CPUtime=6.29 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2466 0 0 0 131 498 0 0 25 0 1 0 21777834 11124736 2360 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2716 2360 238 467 0 2247 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10864 [startup+12.7005 s] /proc/loadavg: 2.00 2.03 2.06 3/179 18737 /proc/meminfo: memFree=28770476/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=10992 CPUtime=12.69 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2518 0 0 0 264 1005 0 0 25 0 1 0 21777834 11255808 2395 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2748 2395 238 467 0 2279 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10992 [startup+25.5003 s] /proc/loadavg: 2.00 2.03 2.06 3/179 18737 /proc/meminfo: memFree=28766056/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11120 CPUtime=25.49 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2578 0 0 0 518 2031 0 0 25 0 1 0 21777834 11386880 2443 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2780 2443 238 467 0 2311 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11120 [startup+51.101 s] /proc/loadavg: 2.00 2.03 2.06 3/179 18737 /proc/meminfo: memFree=28748996/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11368 CPUtime=51.09 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2665 0 0 0 998 4111 0 0 25 0 1 0 21777834 11640832 2499 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2842 2499 238 467 0 2373 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11368 [startup+102.306 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18739 /proc/meminfo: memFree=28706032/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11620 CPUtime=102.3 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2757 0 0 0 1908 8322 0 0 25 0 1 0 21777834 11898880 2546 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2905 2546 238 467 0 2436 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11620 Solver just ended. Dumping a history of the last processes samples [startup+115.1 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18739 /proc/meminfo: memFree=28698080/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11620 CPUtime=115.09 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2803 0 0 0 2129 9380 0 0 25 0 1 0 21777834 11898880 2571 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2905 2571 238 467 0 2436 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 11620 [startup+127.901 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18740 /proc/meminfo: memFree=28686292/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11744 CPUtime=127.9 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2865 0 0 0 2345 10445 0 0 25 0 1 0 21777834 12025856 2599 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2936 2599 238 467 0 2467 0 Current children cumulated CPU time (s) 127.9 Current children cumulated vsize (KiB) 11744 [startup+134.301 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18740 /proc/meminfo: memFree=28681572/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11876 CPUtime=134.3 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2903 0 0 0 2455 10975 0 0 25 0 1 0 21777834 12161024 2617 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2969 2617 238 467 0 2500 0 Current children cumulated CPU time (s) 134.3 Current children cumulated vsize (KiB) 11876 [startup+135.901 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18740 /proc/meminfo: memFree=28680704/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11876 CPUtime=135.89 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2912 0 0 0 2480 11109 0 0 25 0 1 0 21777834 12161024 2620 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2969 2620 238 467 0 2500 0 Current children cumulated CPU time (s) 135.89 Current children cumulated vsize (KiB) 11876 [startup+136.701 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18740 /proc/meminfo: memFree=28680324/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11876 CPUtime=136.69 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2927 0 0 0 2494 11175 0 0 25 0 1 0 21777834 12161024 2630 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2969 2630 238 467 0 2500 0 Current children cumulated CPU time (s) 136.69 Current children cumulated vsize (KiB) 11876 [startup+137.505 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18740 /proc/meminfo: memFree=28679456/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=11876 CPUtime=137.49 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2940 0 0 0 2508 11241 0 0 25 0 1 0 21777834 12161024 2634 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 2969 2634 238 467 0 2500 0 Current children cumulated CPU time (s) 137.49 Current children cumulated vsize (KiB) 11876 [startup+137.9 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18740 /proc/meminfo: memFree=28679456/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=12004 CPUtime=137.89 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2962 0 0 0 2517 11272 0 0 25 0 1 0 21777834 12292096 2644 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 3001 2644 238 467 0 2532 0 Current children cumulated CPU time (s) 137.89 Current children cumulated vsize (KiB) 12004 [startup+138 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18740 /proc/meminfo: memFree=28679456/32951124 swapFree=67111528/67111528 [pid=18736] ppid=18734 vsize=12004 CPUtime=138 /proc/18736/stat : 18736 (pbct) R 18734 18736 17958 0 -1 4202496 2968 0 0 0 2520 11280 0 0 25 0 1 0 21777834 12292096 2649 4089446400 134512640 136422188 4288150800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18736/statm: 3001 2649 238 467 0 2532 0 Current children cumulated CPU time (s) 138 Current children cumulated vsize (KiB) 12004 Child status: 0 Real time (s): 138.073 CPU time (s): 138.075 CPU user time (s): 25.2272 CPU system time (s): 112.848 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 12004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.2272 system time used= 112.848 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2980 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= 1 involuntary context switches= 310 runsolver used 0.204968 second user time and 0.436933 second system time The end
Begin job on node130 at 2010-07-07 22:47:27 IDJOB=2700447 IDBENCH=79428 IDSOLVER=1212 FILE ID=node130/2700447-1278535647 PBS_JOBID= 11239217 Free space on /tmp= 73396 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh05_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700447-1278535647/watcher-2700447-1278535647 -o /tmp/evaluation-result-2700447-1278535647/solver-2700447-1278535647 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700447-1278535647.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1604fdd87dcee54076f2101bd99fabb3 RANDOM SEED=900833380 node130.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.831 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.831 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 : 5226.22 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.831 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.74 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.831 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.75 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.831 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.72 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.831 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.83 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.831 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.68 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.831 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28787608 kB Buffers: 137200 kB Cached: 2621328 kB SwapCached: 0 kB Active: 2471388 kB Inactive: 1539580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28787608 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1924 kB Writeback: 0 kB AnonPages: 1252484 kB Mapped: 15316 kB Slab: 86332 kB PageTables: 6852 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1396072 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= 73396 MiB End job on node130 at 2010-07-07 22:49:45