Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 79.1 | 79.098 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo |
MD5SUM | b50e414b5ae2abd5c7b876bc50645ba2 |
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 | 259 |
Best CPU time to get the best result obtained on this benchmark | 0.999847 |
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 | 900 |
Number of soft constraints | 800 |
Number of constraints which are clauses | 800 |
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 | 394239 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 394238 |
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/800 units 0 0.00/0.00 c vars 200 0.00/0.03 c 0.033994 9.73828 1 1842 0.00/0.03 o 27454 0.00/0.03 c 0.033994 9.89453 2 2472 0.00/0.03 o 26769 0.00/0.04 c 0.034994 9.89453 2 3307 0.00/0.04 o 15951 0.00/0.04 c 0.034994 9.89453 2 3715 0.00/0.04 o 15652 0.00/0.04 c 0.035994 9.89453 9 4071 0.00/0.04 o 15435 0.00/0.07 c 0.042993 9.89453 212 5114 0.00/0.07 o 15382 0.07/0.09 c 0.045993 10.0195 339 5696 0.07/0.09 o 15381 0.09/0.16 c 0.057991 10.0195 460 7059 0.09/0.16 o 15369 0.09/0.19 c 0.066989 10.0195 601 7687 0.09/0.19 o 15320 0.19/0.29 c 0.084987 10.0195 530 10042 0.19/0.29 o 15307 0.39/0.49 c 0.119981 10.1445 441 14664 0.39/0.49 o 14820 0.69/0.77 c 0.173973 10.1445 395 19349 0.69/0.77 o 14623 0.79/0.82 c 0.181972 10.1445 714 20573 0.79/0.82 o 14419 0.79/0.84 c 0.185971 10.1445 486 21288 0.79/0.84 o 14276 0.89/0.90 c 0.198969 10.1445 450 22415 0.89/0.90 o 14188 1.09/1.15 c 0.246962 10.1445 434 26025 1.09/1.15 o 13992 1.29/1.35 c 0.318951 10.1445 478 29436 1.29/1.35 o 13956 1.29/1.37 c 0.32495 10.1445 617 30154 1.29/1.37 o 13782 1.59/1.67 c 0.439933 10.1445 697 34413 1.59/1.67 o 13727 1.99/2.08 c 0.608907 10.2695 580 38735 1.99/2.08 o 13611 1.99/2.09 c 0.616906 10.2695 356 39344 1.99/2.09 o 13533 2.09/2.11 c 0.623905 10.2695 451 39663 2.09/2.11 o 13527 2.59/2.61 c 0.765883 10.2695 512 49282 2.59/2.61 o 13410 2.99/3.07 c 0.859869 10.2695 816 56694 2.99/3.07 o 13353 3.19/3.29 c 0.91886 10.2695 660 60748 3.19/3.29 o 13351 3.49/3.50 c 0.976851 10.2695 867 63932 3.49/3.50 o 13316 3.59/3.63 c 1.00285 10.2695 427 66129 3.59/3.63 o 13223 3.69/3.76 c 1.01984 10.2695 542 68610 3.69/3.76 o 13217 4.09/4.18 c 1.13383 10.3945 547 74807 4.09/4.18 o 12864 4.09/4.19 c 1.13583 10.3945 605 75115 4.09/4.19 o 12818 4.20/4.20 c 1.14383 10.3945 637 75437 4.20/4.20 o 12701 4.40/4.44 c 1.20182 10.3945 474 79259 4.40/4.44 o 12549 4.79/4.81 c 1.26281 10.3945 645 83894 4.79/4.81 o 12504 5.79/5.87 c 1.43578 10.3945 492 98832 5.79/5.87 o 12447 5.79/5.89 c 1.43778 10.3945 556 99341 5.79/5.89 o 12270 5.90/5.90 c 1.44078 10.3945 330 99807 5.90/5.90 o 12211 5.90/5.97 c 1.45178 10.3945 698 100992 5.90/5.97 o 12188 7.09/7.14 c 1.66275 10.3945 547 114802 7.09/7.14 o 12167 7.29/7.31 c 1.69174 10.3945 641 117875 7.29/7.32 o 12110 7.29/7.35 c 1.69674 10.3945 488 118690 7.29/7.35 o 12046 7.29/7.37 c 1.70374 10.3945 621 119346 7.29/7.37 o 11924 7.70/7.78 c 1.79373 10.3945 621 125685 7.70/7.78 o 11825 7.99/8.09 c 1.90071 10.3945 918 130538 7.99/8.09 o 11721 8.19/8.27 c 1.9587 10.3945 454 133388 8.19/8.27 o 11618 8.39/8.49 c 2.03669 10.3945 510 136731 8.39/8.49 o 11377 8.39/8.49 c 2.03669 10.3945 514 136999 8.39/8.49 o 11277 8.39/8.49 c 2.03969 10.3945 526 137255 8.39/8.49 o 11199 8.49/8.54 c 2.05969 10.3945 391 138413 8.49/8.54 o 10965 8.49/8.59 c 2.07768 10.3945 651 139256 8.49/8.59 o 10943 11.69/11.78 c 2.71859 10.5195 828 172097 11.69/11.78 o 10938 11.89/11.95 c 2.75158 10.5195 663 175107 11.89/11.95 o 10874 11.89/12.00 c 2.75658 10.5195 529 176001 11.89/12.00 o 10737 12.19/12.25 c 2.79157 10.5195 706 179045 12.19/12.25 o 10661 12.79/12.86 c 2.91156 10.5195 528 188542 12.79/12.86 o 10337 13.19/13.23 c 2.96955 10.5195 792 194609 13.19/13.23 o 10188 14.99/15.01 c 3.47447 10.5195 618 214300 14.99/15.01 o 10122 15.49/15.54 c 3.68244 10.5195 402 219939 15.49/15.54 o 10022 15.59/15.64 c 3.70844 10.5195 489 221093 15.59/15.64 o 9968 15.69/15.71 c 3.72343 10.5195 482 221998 15.69/15.71 o 9962 16.19/16.28 c 3.80542 10.5195 509 227592 16.19/16.28 o 9823 16.50/16.52 c 3.85041 10.5195 949 230750 16.50/16.52 o 9555 17.79/17.82 c 4.04538 10.6406 495 245946 17.79/17.82 o 9317 17.89/17.91 c 4.05938 10.6406 925 247089 17.89/17.91 o 9291 18.79/18.87 c 4.21236 10.6406 563 259547 18.79/18.87 o 9263 19.09/19.15 c 4.26635 10.6406 486 263707 19.09/19.15 o 9076 19.09/19.19 c 4.27335 10.6406 678 264322 19.09/19.19 o 9060 20.29/20.34 c 4.46832 10.6406 690 278623 20.29/20.34 o 8935 21.49/21.59 c 4.81727 10.6406 690 292532 21.49/21.59 o 8834 22.39/22.46 c 5.04323 10.6406 830 302513 22.39/22.46 o 8768 22.69/22.71 c 5.09223 10.6406 633 305449 22.69/22.71 o 8759 22.79/22.84 c 5.10722 10.6406 547 307416 22.79/22.84 o 8680 23.69/23.77 c 5.2782 10.6406 695 319201 23.69/23.77 o 8660 23.89/23.97 c 5.31519 10.6406 871 321935 23.89/23.97 o 8599 24.10/24.13 c 5.35019 10.6406 612 323271 24.10/24.13 o 8539 25.09/25.18 c 5.53316 10.6406 580 334635 25.09/25.18 o 8459 26.19/26.29 c 5.72713 10.6406 742 344020 26.19/26.29 o 8375 26.49/26.57 c 5.77312 10.6406 626 347041 26.49/26.57 o 8303 27.89/27.96 c 6.14407 10.6406 831 362985 27.89/27.96 o 8252 28.09/28.11 c 6.19306 10.6406 783 365333 28.09/28.11 o 8013 28.09/28.18 c 6.22505 10.6406 464 366720 28.09/28.18 o 7891 29.49/29.53 c 6.57 10.6406 671 380674 29.49/29.53 o 7728 30.39/30.48 c 6.71598 10.6406 684 391360 30.39/30.48 o 7590 30.49/30.50 c 6.71998 10.6406 472 391864 30.49/30.50 o 7545 30.49/30.56 c 6.73897 10.6406 684 392403 30.49/30.56 o 7519 30.60/30.62 c 6.74397 10.6406 483 392984 30.60/30.62 o 7514 30.60/30.69 c 6.75897 10.6406 426 393841 30.60/30.69 o 7508 30.69/30.70 c 6.76097 10.6406 468 394063 30.69/30.70 o 7419 30.89/30.92 c 6.79697 10.6406 598 396526 30.89/30.92 o 7406 31.19/31.25 c 6.85596 10.6406 831 400013 31.19/31.25 o 7304 31.29/31.37 c 6.87795 10.6406 618 401683 31.29/31.37 o 7210 31.29/31.38 c 6.87895 10.6406 660 402010 31.29/31.38 o 7054 31.59/31.68 c 6.92295 10.6406 810 405547 31.59/31.68 o 6989 32.19/32.24 c 6.99894 10.6406 629 411379 32.19/32.24 o 6925 32.90/32.97 c 7.12092 10.7617 624 419119 32.90/32.97 o 6555 33.99/34.02 c 7.30389 10.7617 661 428372 33.99/34.02 o 6525 35.89/35.94 c 7.84881 10.7617 667 446736 35.89/35.94 o 6524 35.99/36.06 c 7.8668 10.7617 535 448581 35.99/36.06 o 6450 36.09/36.17 c 7.8878 10.7617 977 449882 36.09/36.17 o 6326 36.69/36.74 c 7.98479 10.7617 598 455997 36.69/36.74 o 6323 37.19/37.28 c 8.07577 10.7617 503 460612 37.19/37.28 o 6318 38.69/38.73 c 8.30474 10.7617 470 471967 38.69/38.73 o 6274 39.09/39.19 c 8.37673 10.7617 456 477411 39.09/39.19 o 6254 39.29/39.35 c 8.40872 10.7617 772 479199 39.29/39.35 o 6234 39.39/39.40 c 8.41572 10.7617 552 479776 39.39/39.40 o 6185 41.50/41.58 c 8.95364 10.7617 618 500040 41.50/41.58 o 6173 42.19/42.29 c 9.10661 10.7617 874 506606 42.19/42.29 o 6159 42.29/42.33 c 9.11161 10.7617 635 507349 42.29/42.33 o 6001 42.59/42.63 c 9.15761 10.7617 694 510222 42.59/42.63 o 5994 42.80/42.81 c 9.1826 10.7617 916 511741 42.80/42.81 o 5942 42.90/42.92 c 9.2006 10.7617 534 512967 42.90/42.92 o 5941 42.90/42.97 c 9.2086 10.7617 703 513632 42.90/42.97 o 5900 43.39/43.43 c 9.28059 10.7617 564 518318 43.39/43.43 o 5898 43.69/43.71 c 9.32458 10.7617 886 521212 43.69/43.71 o 5875 44.09/44.15 c 9.38657 10.7617 559 525535 44.09/44.15 o 5871 44.39/44.43 c 9.43557 10.7617 901 528591 44.39/44.43 o 5860 44.49/44.50 c 9.44656 10.7617 720 529563 44.49/44.50 o 5817 44.89/44.99 c 9.52755 10.7617 820 533904 44.89/44.99 o 5803 46.79/46.83 c 9.8285 10.7617 735 547933 46.79/46.83 o 5757 46.89/46.90 c 9.8385 10.7617 638 548655 46.89/46.90 o 5719 47.09/47.14 c 9.8805 10.7617 694 550868 47.09/47.14 o 5634 47.30/47.37 c 9.96748 10.7617 460 553093 47.30/47.37 o 5547 47.49/47.53 c 10.0285 10.7617 731 554797 47.49/47.53 o 5515 47.69/47.72 c 10.1005 10.7617 707 556789 47.69/47.72 o 5479 47.89/47.91 c 10.1685 10.7617 901 558385 47.89/47.91 o 5394 48.19/48.26 c 10.2994 10.7617 846 561281 48.19/48.26 o 5379 48.39/48.44 c 10.3504 10.8828 669 562963 48.39/48.44 o 5352 49.20/49.25 c 10.4814 10.8828 840 569856 49.20/49.25 o 5347 49.39/49.45 c 10.5194 10.8828 661 571180 49.39/49.45 o 5346 50.69/50.76 c 10.7374 10.8828 440 583994 50.69/50.76 o 5265 51.00/51.00 c 10.7714 10.8828 823 585985 51.00/51.00 o 5249 51.09/51.17 c 10.7984 10.8828 689 587988 51.09/51.17 o 5240 51.29/51.40 c 10.8284 10.8828 532 590682 51.29/51.40 o 5156 51.89/51.98 c 10.9233 10.8828 745 596168 51.89/51.98 o 5123 52.09/52.11 c 10.9383 10.8828 855 597475 52.09/52.11 o 5000 52.20/52.22 c 10.9523 10.8828 984 598884 52.20/52.22 o 4946 52.39/52.42 c 10.9803 10.8828 828 600718 52.39/52.42 o 4887 52.89/52.98 c 11.0573 10.8828 509 606628 52.89/52.98 o 4876 52.99/53.05 c 11.0703 10.8828 761 607435 52.99/53.05 o 4825 53.29/53.33 c 11.1093 10.8828 482 609670 53.29/53.33 o 4799 54.50/54.51 c 11.4653 10.8828 671 618310 54.50/54.51 o 4733 54.80/54.89 c 11.5892 10.8828 719 621322 54.80/54.89 o 4721 55.39/55.47 c 11.6642 10.8828 591 625477 55.39/55.47 o 4683 55.60/55.61 c 11.6972 10.8828 441 627252 55.60/55.61 o 4668 56.00/56.01 c 11.7552 10.8828 851 630028 56.00/56.01 o 4653 56.89/56.97 c 11.9072 10.8828 648 638569 56.89/56.97 o 4619 56.99/57.09 c 11.9402 10.8828 747 639859 56.99/57.09 o 4617 57.10/57.16 c 11.9472 10.8828 645 640669 57.10/57.16 o 4546 57.29/57.36 c 11.9712 10.8828 510 642533 57.29/57.36 o 4538 57.89/57.90 c 12.0552 10.8828 456 647280 57.89/57.90 o 4530 57.89/57.99 c 12.0692 10.8828 717 647915 57.89/57.99 o 4529 58.20/58.30 c 12.1042 10.8828 614 650657 58.20/58.30 o 4520 58.49/58.52 c 12.1392 10.8828 553 652794 58.49/58.52 o 4464 59.09/59.10 c 12.2391 10.8828 606 657686 59.09/59.10 o 4425 59.09/59.18 c 12.2581 10.8828 863 658279 59.09/59.18 o 4377 59.19/59.29 c 12.2751 10.8828 783 659135 59.19/59.29 o 4352 59.40/59.48 c 12.3081 10.8828 675 660930 59.40/59.48 o 4287 60.79/60.83 c 12.6471 11.0039 585 672525 60.79/60.83 o 4267 60.79/60.89 c 12.6691 11.0039 761 673041 60.79/60.89 o 4264 60.90/60.98 c 12.7091 11 672 673777 60.90/60.98 o 4252 61.69/61.76 c 12.956 11 731 679711 61.69/61.76 o 4195 62.00/62.08 c 13.004 11 519 682197 62.00/62.08 o 4115 62.69/62.78 c 13.118 11 845 687695 62.69/62.78 o 4049 62.99/63.05 c 13.157 11 541 690075 62.99/63.05 o 4014 63.40/63.41 c 13.214 11 824 692699 63.40/63.41 o 4005 63.40/63.44 c 13.22 11 504 692997 63.40/63.44 o 3952 63.59/63.69 c 13.26 11 507 695354 63.59/63.69 o 3901 64.19/64.26 c 13.357 11 590 700006 64.19/64.26 o 3573 64.80/64.86 c 13.447 11 685 705566 64.80/64.86 o 3562 64.99/65.02 c 13.469 11 779 706795 64.99/65.02 o 3527 66.49/66.57 c 13.7089 11 807 717206 66.49/66.57 o 3472 67.09/67.14 c 13.8829 11 528 721103 67.09/67.14 o 3420 68.20/68.28 c 14.2148 11 744 729467 68.20/68.28 o 3323 68.29/68.36 c 14.2318 11 570 730027 68.29/68.36 o 3316 68.39/68.46 c 14.2458 11 471 730962 68.39/68.46 o 3273 68.69/68.77 c 14.3138 11 622 733205 68.69/68.77 o 3264 69.09/69.17 c 14.3898 11 717 736475 69.09/69.17 o 3246 69.29/69.38 c 14.4298 11 623 738169 69.29/69.38 o 3241 69.59/69.69 c 14.4718 11 826 740766 69.59/69.69 o 3149 69.99/70.06 c 14.5208 11 461 743817 69.99/70.06 o 3121 70.30/70.30 c 14.5628 11 796 745499 70.30/70.30 o 3019 70.40/70.45 c 14.5808 11 480 746617 70.40/70.45 o 3009 70.99/71.08 c 14.6678 11 735 751205 70.99/71.08 o 2976 71.09/71.12 c 14.6718 11 461 751726 71.09/71.12 o 2945 71.40/71.44 c 14.7178 11 643 754239 71.40/71.44 o 2921 71.50/71.51 c 14.7278 11 485 754938 71.50/71.51 o 2917 71.50/71.59 c 14.7468 11 748 755771 71.50/71.59 o 2875 72.09/72.18 c 14.8387 11 565 760149 72.09/72.18 o 2853 72.19/72.26 c 14.8457 11 847 760901 72.19/72.26 o 2821 72.29/72.31 c 14.8507 11 581 761352 72.29/72.31 o 2801 72.49/72.56 c 14.8867 11 486 763024 72.49/72.56 o 2698 72.49/72.59 c 14.8957 11 637 763527 72.49/72.59 o 2625 72.60/72.64 c 14.9007 11 788 763934 72.60/72.64 o 2614 72.79/72.81 c 14.9297 11 895 765308 72.79/72.81 o 2591 73.10/73.17 c 14.9927 11 781 767942 73.10/73.17 o 2502 73.10/73.19 c 14.9987 11.1211 852 768105 73.10/73.19 o 2493 73.19/73.30 c 15.0167 11.1211 751 769002 73.19/73.30 o 2426 73.59/73.67 c 15.1567 11.1211 644 771637 73.59/73.67 o 2408 73.70/73.75 c 15.1907 11.1211 478 772297 73.70/73.75 o 2397 73.89/73.93 c 15.2597 11.1211 585 773524 73.89/73.93 o 2390 73.99/74.04 c 15.2987 11.1211 487 774472 73.99/74.04 o 2387 74.39/74.43 c 15.4267 11.1211 738 777002 74.39/74.43 o 2316 74.59/74.60 c 15.4996 11.1211 889 778290 74.59/74.60 o 2305 74.59/74.61 c 15.5016 11.1211 465 778438 74.59/74.61 o 2243 74.70/74.71 c 15.5296 11.1211 761 779207 74.70/74.71 o 2191 74.70/74.74 c 15.5336 11.1211 850 779475 74.70/74.74 o 2151 74.80/74.88 c 15.5536 11.1211 466 780721 74.80/74.88 o 2148 74.89/74.93 c 15.5636 11.1211 622 781257 74.89/74.93 o 1989 75.09/75.13 c 15.6006 11.1211 889 782885 75.09/75.13 o 1971 75.19/75.26 c 15.6196 11.1211 829 783767 75.19/75.26 o 1962 75.30/75.31 c 15.6306 11.1211 583 784236 75.30/75.31 o 1931 75.50/75.55 c 15.6696 11.1211 496 786079 75.50/75.55 o 1852 75.80/75.85 c 15.7206 11.1211 530 788118 75.80/75.85 o 1823 75.99/76.03 c 15.7506 11.1211 621 789248 75.99/76.03 o 1783 75.99/76.07 c 15.7526 11.1211 744 789719 75.99/76.07 o 1731 76.09/76.16 c 15.7636 11.1211 611 790461 76.09/76.16 o 1730 76.09/76.17 c 15.7656 11.1211 651 790676 76.09/76.17 o 1694 76.29/76.33 c 15.8006 11.1211 780 792106 76.29/76.33 o 1618 76.59/76.68 c 15.8576 11.1211 508 794280 76.59/76.68 o 1596 76.70/76.70 c 15.8616 11.1211 563 794416 76.70/76.70 o 1593 76.80/76.83 c 15.8836 11.1211 524 795221 76.80/76.83 o 1565 76.80/76.84 c 15.8876 11.1211 555 795384 76.80/76.84 o 1560 76.80/76.89 c 15.8936 11.1211 679 795724 76.80/76.89 o 1556 76.90/76.91 c 15.8986 11.1211 748 795938 76.90/76.91 o 1489 76.90/76.92 c 15.9006 11.1211 779 796122 76.90/76.92 o 1439 77.09/77.14 c 15.9436 11.1211 615 797857 77.09/77.14 o 1434 77.19/77.20 c 15.9576 11.1211 781 798388 77.19/77.20 o 1312 77.19/77.24 c 15.9666 11.1211 475 798724 77.19/77.24 o 1307 77.29/77.32 c 15.9806 11.2461 760 799345 77.29/77.32 o 1301 77.50/77.57 c 16.0276 11.2461 737 801137 77.50/77.57 o 1246 77.59/77.64 c 16.0436 11.2461 544 801728 77.59/77.64 o 1194 77.69/77.70 c 16.0586 11.2461 767 802296 77.69/77.70 o 1102 77.79/77.84 c 16.0856 11.2461 750 803206 77.79/77.84 o 1088 77.90/77.91 c 16.0986 11.2461 531 803701 77.90/77.91 o 1078 77.90/77.97 c 16.1036 11.2461 693 804074 77.90/77.97 o 993 78.00/78.02 c 16.1086 11.2461 849 804466 78.00/78.02 o 986 78.10/78.12 c 16.1245 11.2461 800 805146 78.10/78.12 o 969 78.10/78.13 c 16.1285 11.2461 859 805314 78.10/78.13 o 944 78.10/78.18 c 16.1395 11.2461 576 805615 78.10/78.18 o 940 78.29/78.33 c 16.1795 11.2461 635 806676 78.29/78.33 o 937 78.39/78.42 c 16.1995 11.2461 916 807232 78.39/78.42 o 899 78.39/78.43 c 16.2005 11.2461 496 807435 78.39/78.43 o 820 78.50/78.56 c 16.2225 11.2461 896 808351 78.50/78.56 o 815 78.50/78.59 c 16.2275 11.2461 979 808601 78.50/78.59 o 783 78.59/78.62 c 16.2365 11.2461 602 808920 78.59/78.62 o 766 78.59/78.63 c 16.2385 11.2461 626 808993 78.59/78.63 o 747 78.59/78.67 c 16.2435 11.2461 767 809295 78.59/78.67 o 716 78.59/78.68 c 16.2455 11.2461 821 809416 78.59/78.68 o 708 78.69/78.70 c 16.2495 11.2461 888 809552 78.69/78.70 o 705 78.69/78.77 c 16.2705 11.2461 1161 810095 78.69/78.77 o 657 78.69/78.79 c 16.2785 11.2461 690 810343 78.69/78.79 o 612 78.79/78.89 c 16.3095 11.2461 1101 811071 78.79/78.89 o 577 78.89/78.91 c 16.3185 11.2461 1178 811264 78.89/78.91 o 530 78.89/78.93 c 16.3295 11.2461 680 811434 78.89/78.93 o 511 78.89/78.95 c 16.3375 11.2461 773 811660 78.89/78.95 o 496 78.89/78.97 c 16.3405 11.2461 762 811849 78.89/78.97 o 494 78.89/78.98 c 16.3455 11.2461 815 811955 78.89/78.98 o 492 78.99/79.02 c 16.3565 11.2461 943 812228 78.99/79.02 o 468 78.99/79.04 c 16.3635 11.2461 1056 812447 78.99/79.04 o 426 78.99/79.04 c 16.3645 11.2461 1070 812483 78.99/79.04 o 413 78.99/79.05 c 16.3695 11.2461 1143 812619 78.99/79.05 o 402 78.99/79.06 c 16.3735 11.2461 1189 812715 78.99/79.06 o 375 78.99/79.08 c 16.3865 11.2461 882 812847 78.99/79.08 o 368 78.99/79.08 c 16.3865 11.2461 884 812928 78.99/79.08 o 284 78.99/79.08 c 16.3865 11.2461 885 812956 78.99/79.08 o 259 78.99/79.08 c 16.3895 11.2461 332 812972 78.99/79.08 s OPTIMUM FOUND 78.99/79.08 v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 -x15 x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 x31 -x32 x33 -x34 -x35 x36 x37 -x38 -x39 x40 x41 -x42 x43 -x44 x45 -x46 -x47 x48 x49 -x50 -x51 x52 -x53 x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 x74 -x75 x76 -x77 x78 -x79 x80 x81 -x82 -x83 x84 -x85 x86 x87 -x88 -x89 x90 -x91 x92 x93 -x94 -x95 x96 x97 -x98 x99 -x100 -x101 x102 -x103 x104 x105 -x106 -x107 x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 x129 -x130 x131 -x132 -x133 x134 -x135 x136 -x137 x138 -x139 x140 x141 -x142 -x143 x144 x145 -x146 -x147 x148 x149 -x150 -x151 x152 x153 -x154 -x155 x156 -x157 x158 -x159 x160 -x161 x162 -x163 x164 -x165 x166 x167 -x168 -x169 x170 -x171 x172 -x173 x174 x175 -x176 x177 -x178 -x179 x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 x197 -x198 -x199 x200
OK 259
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700375-1278535221/watcher-2700375-1278535221 -o /tmp/evaluation-result-2700375-1278535221/solver-2700375-1278535221 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700375-1278535221.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.95 2.13 2.06 3/178 20651 /proc/meminfo: memFree=28158452/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=2136 CPUtime=0 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 261 0 0 0 0 0 0 0 21 0 1 0 21735963 2187264 180 4089446400 134512640 136422188 4288867632 18446744073709551615 135809636 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20651/statm: 534 180 144 467 0 65 0 [startup+0.080765 s] /proc/loadavg: 1.95 2.13 2.06 3/178 20651 /proc/meminfo: memFree=28158452/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=10128 CPUtime=0.07 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2272 0 0 0 4 3 0 0 21 0 1 0 21735963 10371072 2185 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2532 2185 238 467 0 2063 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10128 [startup+0.100753 s] /proc/loadavg: 1.95 2.13 2.06 3/178 20651 /proc/meminfo: memFree=28158452/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=10256 CPUtime=0.09 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2281 0 0 0 4 5 0 0 21 0 1 0 21735963 10502144 2193 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2564 2193 238 467 0 2095 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10256 [startup+0.300775 s] /proc/loadavg: 1.95 2.13 2.06 3/178 20651 /proc/meminfo: memFree=28158452/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=10256 CPUtime=0.29 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2310 0 0 0 8 21 0 0 21 0 1 0 21735963 10502144 2219 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2564 2219 238 467 0 2095 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10256 [startup+0.700699 s] /proc/loadavg: 1.95 2.13 2.06 3/178 20651 /proc/meminfo: memFree=28158452/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=10384 CPUtime=0.69 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2331 0 0 0 15 54 0 0 22 0 1 0 21735963 10633216 2239 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2596 2239 238 467 0 2127 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10384 [startup+1.50048 s] /proc/loadavg: 1.95 2.13 2.06 3/179 20652 /proc/meminfo: memFree=28147904/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=10384 CPUtime=1.49 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2344 0 0 0 36 113 0 0 25 0 1 0 21735963 10633216 2245 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2596 2245 238 467 0 2127 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10384 [startup+3.10018 s] /proc/loadavg: 1.95 2.13 2.06 3/179 20652 /proc/meminfo: memFree=28147280/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=10512 CPUtime=3.09 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2378 0 0 0 87 222 0 0 25 0 1 0 21735963 10764288 2273 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2628 2273 238 467 0 2159 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10512 [startup+6.30057 s] /proc/loadavg: 1.95 2.13 2.06 3/179 20652 /proc/meminfo: memFree=28144536/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=10640 CPUtime=6.3 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2412 0 0 0 151 479 0 0 25 0 1 0 21735963 10895360 2294 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2660 2294 238 467 0 2191 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 10640 [startup+12.7003 s] /proc/loadavg: 1.95 2.13 2.06 3/179 20652 /proc/meminfo: memFree=28135764/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=10768 CPUtime=12.69 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2463 0 0 0 288 981 0 0 25 0 1 0 21735963 11026432 2329 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2692 2329 238 467 0 2223 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10768 [startup+25.5009 s] /proc/loadavg: 1.96 2.12 2.06 3/179 20654 /proc/meminfo: memFree=28118468/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=10892 CPUtime=25.5 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2526 0 0 0 560 1990 0 0 25 0 1 0 21735963 11153408 2370 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2723 2370 238 467 0 2254 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 10892 [startup+51.101 s] /proc/loadavg: 1.97 2.11 2.05 3/179 20654 /proc/meminfo: memFree=28083800/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=11140 CPUtime=51.09 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2637 0 0 0 1078 4031 0 0 25 0 1 0 21735963 11407360 2426 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2785 2426 238 467 0 2316 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11140 Solver just ended. Dumping a history of the last processes samples [startup+63.9005 s] /proc/loadavg: 1.98 2.10 2.05 3/179 20654 /proc/meminfo: memFree=28065060/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=11260 CPUtime=63.89 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2702 0 0 0 1329 5060 0 0 25 0 1 0 21735963 11530240 2455 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2815 2455 238 467 0 2346 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 11260 [startup+70.3003 s] /proc/loadavg: 1.98 2.10 2.05 3/179 20654 /proc/meminfo: memFree=28057732/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=11260 CPUtime=70.3 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2728 0 0 0 1456 5574 0 0 25 0 1 0 21735963 11530240 2468 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2815 2468 238 467 0 2346 0 Current children cumulated CPU time (s) 70.3 Current children cumulated vsize (KiB) 11260 [startup+73.5007 s] /proc/loadavg: 1.98 2.10 2.05 3/179 20654 /proc/meminfo: memFree=28054756/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=11384 CPUtime=73.49 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2759 0 0 0 1509 5840 0 0 25 0 1 0 21735963 11657216 2482 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2846 2482 238 467 0 2377 0 Current children cumulated CPU time (s) 73.49 Current children cumulated vsize (KiB) 11384 [startup+76.7001 s] /proc/loadavg: 1.98 2.10 2.05 3/179 20654 /proc/meminfo: memFree=28050168/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=11384 CPUtime=76.7 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2808 0 0 0 1586 6084 0 0 25 0 1 0 21735963 11657216 2509 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2846 2509 238 467 0 2377 0 Current children cumulated CPU time (s) 76.7 Current children cumulated vsize (KiB) 11384 [startup+78.3008 s] /proc/loadavg: 1.98 2.10 2.05 3/179 20654 /proc/meminfo: memFree=28047312/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=11512 CPUtime=78.29 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2852 0 0 0 1616 6213 0 0 25 0 1 0 21735963 11788288 2533 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2878 2533 238 467 0 2409 0 Current children cumulated CPU time (s) 78.29 Current children cumulated vsize (KiB) 11512 [startup+78.7007 s] /proc/loadavg: 1.98 2.10 2.05 3/179 20654 /proc/meminfo: memFree=28047312/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=11512 CPUtime=78.69 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2870 0 0 0 1624 6245 0 0 18 0 1 0 21735963 11788288 2542 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2878 2542 238 467 0 2409 0 Current children cumulated CPU time (s) 78.69 Current children cumulated vsize (KiB) 11512 [startup+78.9007 s] /proc/loadavg: 1.98 2.10 2.05 3/179 20654 /proc/meminfo: memFree=28047312/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=11512 CPUtime=78.89 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2875 0 0 0 1631 6258 0 0 18 0 1 0 21735963 11788288 2543 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2878 2543 238 467 0 2409 0 Current children cumulated CPU time (s) 78.89 Current children cumulated vsize (KiB) 11512 [startup+79.0006 s] /proc/loadavg: 1.98 2.10 2.05 3/179 20654 /proc/meminfo: memFree=28047312/32950928 swapFree=67111528/67111528 [pid=20651] ppid=20649 vsize=11512 CPUtime=78.99 /proc/20651/stat : 20651 (pbct) R 20649 20651 19207 0 -1 4202496 2880 0 0 0 1634 6265 0 0 18 0 1 0 21735963 11788288 2543 4089446400 134512640 136422188 4288867632 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20651/statm: 2878 2543 238 467 0 2409 0 Current children cumulated CPU time (s) 78.99 Current children cumulated vsize (KiB) 11512 Child status: 0 Real time (s): 79.098 CPU time (s): 79.1 CPU user time (s): 16.3975 CPU system time (s): 62.7025 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 11512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.3975 system time used= 62.7025 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2894 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= 6 involuntary context switches= 67 runsolver used 0.104984 second user time and 0.272958 second system time The end
Begin job on node127 at 2010-07-07 22:40:21 IDJOB=2700375 IDBENCH=79422 IDSOLVER=1212 FILE ID=node127/2700375-1278535221 PBS_JOBID= 11239223 Free space on /tmp= 73196 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh211_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700375-1278535221/watcher-2700375-1278535221 -o /tmp/evaluation-result-2700375-1278535221/solver-2700375-1278535221 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700375-1278535221.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b50e414b5ae2abd5c7b876bc50645ba2 RANDOM SEED=2049091158 node127.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.804 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.60 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.804 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 : 5424.67 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.804 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.804 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.83 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.804 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.75 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.804 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.68 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.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28159096 kB Buffers: 139348 kB Cached: 2617816 kB SwapCached: 0 kB Active: 2959732 kB Inactive: 1669760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28159096 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2164 kB Writeback: 0 kB AnonPages: 1873000 kB Mapped: 16508 kB Slab: 93292 kB PageTables: 8440 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 2017460 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= 73196 MiB End job on node127 at 2010-07-07 22:41:41