Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 101.963 | 101.959 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh07_wcsp.wbo |
MD5SUM | 124b6775b7bb4e390bc62510a681a702 |
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.166974 |
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 | 10 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 9 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 19 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 100/0 clauses 0/850 units 0 0.00/0.00 c vars 200 0.00/0.03 c 0.037994 9.94531 1 1948 0.00/0.03 o 27022 0.00/0.04 c 0.038994 10.1133 1 2808 0.00/0.04 o 26069 0.00/0.04 c 0.039993 10.1133 3 3188 0.00/0.04 o 25740 0.00/0.04 c 0.039993 10.1133 3 4083 0.00/0.04 o 15022 0.00/0.04 c 0.040993 10.1133 6 4626 0.00/0.04 o 14597 0.00/0.04 c 0.040993 10.1133 6 5362 0.00/0.04 o 14144 0.29/0.35 c 0.106983 10.3633 683 10654 0.29/0.35 o 14085 0.79/0.83 c 0.19597 10.3633 612 18375 0.79/0.83 o 13939 1.19/1.20 c 0.269958 10.3633 534 25135 1.19/1.20 o 13905 1.29/1.32 c 0.306953 10.3633 589 27548 1.29/1.32 o 13803 1.29/1.33 c 0.308953 10.3633 608 27893 1.29/1.33 o 13663 1.29/1.34 c 0.309952 10.3633 662 28216 1.29/1.34 o 13594 1.29/1.37 c 0.315951 10.3633 511 28977 1.29/1.37 o 13401 1.49/1.54 c 0.346947 10.3633 579 31433 1.49/1.54 o 13337 1.59/1.67 c 0.374943 10.3633 744 33048 1.59/1.67 o 13304 1.89/1.96 c 0.444932 10.3633 732 38937 1.89/1.96 o 13247 2.49/2.55 c 0.556915 10.4883 788 48291 2.49/2.55 o 13218 2.59/2.60 c 0.570913 10.4883 359 49492 2.59/2.60 o 13138 3.39/3.44 c 0.710891 10.4883 412 62050 3.39/3.44 o 13019 3.49/3.51 c 0.72089 10.4883 806 63331 3.49/3.51 o 13010 3.99/4.01 c 0.823874 10.6133 802 67049 3.99/4.01 o 12957 4.20/4.22 c 0.85487 10.6133 418 70721 4.20/4.22 o 12920 4.49/4.56 c 0.91986 10.6133 566 76230 4.49/4.56 o 12849 4.99/5.06 c 1.01484 10.6133 671 84188 4.99/5.06 o 12847 5.39/5.42 c 1.11183 10.6133 772 91194 5.39/5.42 o 12725 5.99/6.04 c 1.3008 10.6133 986 101179 5.99/6.04 o 12684 6.50/6.60 c 1.40279 10.6133 554 111147 6.50/6.60 o 12473 6.50/6.60 c 1.40279 10.6133 554 111354 6.50/6.60 o 12409 6.50/6.60 c 1.40279 10.6133 555 111542 6.50/6.60 o 12400 6.79/6.87 c 1.45578 10.6133 435 116534 6.79/6.87 o 12392 7.09/7.16 c 1.50477 10.6133 604 121997 7.09/7.16 o 12180 7.59/7.62 c 1.58076 10.6133 670 129599 7.59/7.62 o 12177 7.69/7.75 c 1.60675 10.6133 459 132136 7.69/7.75 o 12076 7.69/7.75 c 1.60776 10.6133 474 132528 7.69/7.75 o 11882 7.89/7.99 c 1.65075 10.6133 557 135149 7.89/7.99 o 11626 7.99/8.06 c 1.66975 10.6133 583 137195 7.99/8.06 o 11007 8.59/8.66 c 1.78373 10.6133 620 144933 8.59/8.66 o 10776 9.39/9.42 c 1.91071 10.6133 844 154800 9.39/9.43 o 10755 9.69/9.80 c 1.9657 10.6133 567 161109 9.69/9.80 o 10700 9.79/9.86 c 1.9717 10.6133 594 162353 9.79/9.86 o 10593 10.59/10.65 c 2.11068 10.7383 884 172129 10.59/10.65 o 10579 11.40/11.44 c 2.23766 10.7383 391 182684 11.40/11.44 o 10540 12.70/12.79 c 2.5956 10.7383 659 201346 12.70/12.79 o 10505 13.69/13.72 c 2.75458 10.7383 873 209451 13.69/13.72 o 10310 14.59/14.65 c 2.89356 10.7383 661 223258 14.59/14.65 o 10283 15.30/15.35 c 3.01254 10.7383 662 233098 15.30/15.35 o 10203 16.29/16.34 c 3.17652 10.7383 699 245366 16.29/16.34 o 10145 17.29/17.33 c 3.33949 10.7383 662 258924 17.29/17.33 o 10118 18.19/18.27 c 3.48647 10.7383 559 270318 18.19/18.27 o 10001 18.69/18.74 c 3.61045 10.7383 692 276731 18.69/18.74 o 9969 18.69/18.77 c 3.61545 10.7383 517 277471 18.69/18.77 o 9777 18.89/18.91 c 3.66344 10.7383 769 279014 18.89/18.91 o 9738 19.09/19.12 c 3.72243 10.7383 705 282329 19.09/19.12 o 9551 20.19/20.26 c 3.9314 10.7383 660 297201 20.19/20.26 o 9314 20.99/21.09 c 4.03739 10.7383 699 308150 20.99/21.09 o 9280 21.09/21.18 c 4.05638 10.7383 404 309694 21.09/21.18 o 9124 21.69/21.79 c 4.14137 10.8594 986 315432 21.69/21.79 o 8989 21.90/21.91 c 4.16037 10.8594 545 317735 21.90/21.91 o 8966 23.10/23.17 c 4.38633 10.8594 597 332844 23.10/23.17 o 8960 23.20/23.24 c 4.39633 10.8594 660 334119 23.20/23.24 o 8891 23.60/23.65 c 4.47132 10.8594 789 339765 23.60/23.65 o 8814 24.20/24.26 c 4.5683 10.8594 637 348436 24.20/24.26 o 8784 29.29/29.38 c 5.50616 10.8594 794 411327 29.29/29.38 o 8740 29.50/29.58 c 5.52616 10.8594 489 413580 29.50/29.58 o 8733 29.79/29.85 c 5.57515 10.8594 710 417261 29.79/29.85 o 8697 31.49/31.59 c 5.87611 10.8594 881 437057 31.49/31.59 o 8675 34.59/34.66 c 6.52201 10.8594 713 468392 34.59/34.66 o 8588 34.80/34.87 c 6.548 10.8594 690 470383 34.80/34.87 o 8381 34.89/34.96 c 6.564 10.8594 722 471511 34.89/34.96 o 8346 34.99/35.05 c 6.574 10.8594 494 472853 34.99/35.05 o 8285 35.59/35.68 c 6.67898 10.8594 905 479828 35.59/35.68 o 8191 37.19/37.20 c 6.91695 10.9805 580 496571 37.19/37.20 o 8187 38.40/38.49 c 7.19791 10.9805 887 511536 38.40/38.49 o 8165 40.99/41.00 c 7.68483 10.9805 893 538510 40.99/41.00 o 8157 41.09/41.13 c 7.69983 10.9805 575 540196 41.09/41.13 o 8122 41.70/41.74 c 7.79881 10.9805 538 547191 41.70/41.74 o 8082 42.29/42.39 c 7.9038 10.9805 722 555097 42.29/42.39 o 7990 42.90/42.92 c 7.99478 10.9805 513 561411 42.90/42.92 o 7894 43.49/43.52 c 8.10577 10.9805 663 568913 43.49/43.52 o 7610 44.69/44.77 c 8.32673 10.9805 538 581374 44.69/44.77 o 7607 45.69/45.71 c 8.5697 10.9805 643 593183 45.69/45.71 o 7606 45.79/45.85 c 8.59569 10.9805 893 594642 45.79/45.85 o 7580 46.19/46.29 c 8.66568 10.9805 619 600053 46.19/46.29 o 7559 49.59/49.66 c 9.1806 10.9805 880 633493 49.59/49.66 o 7523 49.79/49.83 c 9.1986 10.9805 911 635836 49.79/49.83 o 7469 50.60/50.70 c 9.31758 10.9805 723 646273 50.60/50.70 o 7394 51.20/51.22 c 9.41557 10.9805 792 651604 51.20/51.22 o 7241 51.20/51.25 c 9.42457 10.9805 477 651826 51.20/51.25 o 7227 51.70/51.76 c 9.56055 10.9805 751 657380 51.70/51.76 o 7159 51.89/51.97 c 9.61554 10.9805 811 659546 51.89/51.97 o 7126 52.20/52.24 c 9.69353 10.9805 704 662391 52.20/52.24 o 7110 55.09/55.16 c 10.1375 11.1016 671 689569 55.09/55.16 o 7076 55.50/55.54 c 10.2114 11.1016 449 694068 55.50/55.54 o 7061 55.59/55.60 c 10.2244 11.1016 767 695052 55.59/55.60 o 7018 56.00/56.08 c 10.2974 11.1016 522 700675 56.00/56.08 o 6973 57.59/57.61 c 10.5554 11.1016 938 714944 57.59/57.61 o 6966 57.59/57.65 c 10.5664 11.1016 652 715550 57.59/57.65 o 6955 58.79/58.88 c 10.8993 11.1016 677 730942 58.79/58.88 o 6752 59.80/59.87 c 11.0323 11.1016 718 742107 59.80/59.87 o 6741 59.89/59.95 c 11.0463 11.1016 433 743330 59.89/59.95 o 6701 60.00/60.03 c 11.0583 11.1016 658 744002 60.00/60.03 o 6681 61.09/61.10 c 11.2283 11.1016 762 753683 61.09/61.10 o 6632 61.50/61.51 c 11.2883 11.1016 688 757557 61.50/61.51 o 6596 64.69/64.76 c 11.8012 11.1016 734 788762 64.69/64.76 o 6558 64.79/64.83 c 11.8212 11.1016 689 789453 64.79/64.83 o 6552 64.90/64.94 c 11.8432 11.1016 780 790908 64.90/64.94 o 6435 65.79/65.83 c 12.0202 11.1016 471 800658 65.79/65.83 o 6386 65.79/65.88 c 12.0272 11.1016 620 801250 65.79/65.88 o 6263 65.90/65.98 c 12.0402 11.1016 695 802561 65.90/65.98 o 6236 66.00/66.01 c 12.0492 11.1016 417 803006 66.00/66.01 o 6163 66.00/66.08 c 12.0602 11.1016 695 803864 66.00/66.08 o 6141 67.09/67.12 c 12.2111 11.1016 513 814070 67.09/67.12 o 6130 68.60/68.61 c 12.4241 11.1016 504 827569 68.60/68.61 o 6038 69.30/69.33 c 12.5381 11.1016 433 835629 69.30/69.33 o 6009 69.39/69.41 c 12.5471 11.1016 451 836745 69.39/69.41 o 5989 70.30/70.35 c 12.6891 11.1016 502 846768 70.30/70.35 o 5981 70.49/70.57 c 12.7261 11.1016 563 848994 70.49/70.57 o 5959 70.80/70.83 c 12.7651 11.1016 499 851828 70.80/70.83 o 5928 71.50/71.52 c 12.947 11.1016 838 858895 71.50/71.52 o 5903 71.90/71.98 c 13.056 11.1016 731 862314 71.90/71.98 o 5891 72.20/72.27 c 13.102 11.1016 735 865652 72.20/72.27 o 5860 72.79/72.87 c 13.193 11.1016 625 871774 72.79/72.87 o 5766 72.89/72.95 c 13.205 11.1016 920 872531 72.89/72.95 o 5760 73.59/73.62 c 13.302 11.1016 580 878499 73.59/73.62 o 5674 73.89/73.93 c 13.348 11.2227 474 881404 73.89/73.93 o 5670 74.89/74.93 c 13.4919 11.2227 545 890854 74.89/74.93 o 5632 74.99/75.02 c 13.5029 11.2227 919 891769 74.99/75.02 o 5583 75.09/75.15 c 13.5209 11.2227 964 893029 75.09/75.15 o 5502 76.19/76.20 c 13.6889 11.2227 653 903544 76.19/76.20 o 5444 77.39/77.46 c 13.8699 11.2227 462 915476 77.39/77.46 o 5439 77.59/77.66 c 13.9219 11.2227 825 917179 77.59/77.66 o 5404 77.69/77.76 c 13.9479 11.2227 745 918102 77.69/77.76 o 5380 78.79/78.86 c 14.1668 11.2227 948 927670 78.79/78.86 o 5324 79.10/79.18 c 14.2038 11.2227 603 930040 79.10/79.18 o 5297 79.29/79.34 c 14.2208 11.2227 643 931138 79.29/79.34 o 5289 79.90/79.94 c 14.2968 11.2227 446 937176 79.90/79.94 o 5277 80.20/80.22 c 14.3328 11.2227 670 940017 80.20/80.22 o 5160 80.50/80.56 c 14.3818 11.2227 530 942557 80.50/80.56 o 5137 80.59/80.66 c 14.3968 11.2227 960 943600 80.59/80.66 o 5103 80.59/80.67 c 14.3988 11.2227 515 943906 80.59/80.67 o 4968 82.79/82.87 c 14.6898 11.2227 873 962508 82.79/82.87 o 4949 83.79/83.83 c 14.8547 11.2227 560 971681 83.79/83.83 o 4830 84.49/84.58 c 15.0447 11.2227 879 978312 84.49/84.58 o 4821 85.10/85.11 c 15.1627 11.2227 794 983436 85.10/85.11 o 4815 85.39/85.45 c 15.2177 11.2227 466 986859 85.39/85.45 o 4794 85.49/85.58 c 15.2337 11.2227 620 988259 85.49/85.58 o 4732 85.99/86.06 c 15.3067 11.2227 645 992336 85.99/86.06 o 4705 86.99/87.03 c 15.4517 11.2227 755 999700 86.99/87.03 o 4681 86.99/87.09 c 15.4616 11.2227 565 1000492 86.99/87.09 o 4584 87.40/87.40 c 15.5036 11.2227 819 1003500 87.40/87.40 o 4554 88.89/88.97 c 15.7446 11.2227 775 1016737 88.89/88.97 o 4490 89.19/89.26 c 15.7846 11.2227 645 1019253 89.19/89.26 o 4438 89.49/89.57 c 15.8246 11.2227 467 1022018 89.49/89.57 o 4349 90.69/90.70 c 16.0196 11.3438 596 1030839 90.69/90.70 o 4325 90.79/90.89 c 16.0616 11.3438 426 1032475 90.79/90.89 o 4322 90.89/90.99 c 16.0866 11.3438 824 1033320 90.89/90.99 o 4297 90.99/91.02 c 16.0956 11.3438 524 1033760 90.99/91.02 o 4282 91.09/91.16 c 16.1315 11.3438 580 1035132 91.09/91.16 o 4102 91.59/91.61 c 16.2575 11.3438 724 1038710 91.59/91.61 o 4100 91.69/91.75 c 16.2785 11.3438 774 1039912 91.69/91.75 o 4077 91.69/91.78 c 16.2815 11.3438 873 1040198 91.69/91.78 o 4012 92.10/92.16 c 16.3445 11.3438 538 1043363 92.10/92.16 o 4011 92.40/92.49 c 16.3945 11.3438 496 1046650 92.40/92.49 o 3899 92.49/92.58 c 16.4105 11.3438 514 1047840 92.49/92.58 o 3829 92.69/92.74 c 16.4335 11.3438 553 1048834 92.69/92.74 o 3785 92.89/92.91 c 16.4585 11.3438 780 1050502 92.89/92.91 o 3776 92.99/93.02 c 16.4815 11.3438 715 1051362 92.99/93.02 o 3676 93.30/93.32 c 16.5225 11.3438 862 1053520 93.30/93.32 o 3658 93.69/93.73 c 16.5795 11.3438 578 1056463 93.69/93.73 o 3571 93.69/93.77 c 16.5835 11.3438 675 1056819 93.69/93.77 o 3411 94.09/94.12 c 16.6275 11.3438 828 1059072 94.09/94.12 o 3357 94.39/94.43 c 16.6625 11.3438 647 1061740 94.39/94.43 o 3282 94.60/94.69 c 16.6885 11.3438 687 1064011 94.60/94.69 o 3252 94.99/95.07 c 16.7375 11.3438 603 1066873 94.99/95.07 o 3144 95.19/95.20 c 16.7555 11.3438 683 1068166 95.19/95.20 o 3117 95.19/95.27 c 16.7625 11.3438 935 1068774 95.19/95.27 o 3112 95.30/95.37 c 16.7744 11.3438 793 1069500 95.30/95.37 o 3055 95.60/95.61 c 16.8054 11.3438 663 1071403 95.60/95.61 o 3044 95.60/95.65 c 16.8084 11.3438 826 1071950 95.60/95.65 o 2974 95.80/95.83 c 16.8374 11.3438 593 1073391 95.80/95.83 o 2971 96.10/96.14 c 16.8774 11.3438 653 1075376 96.10/96.14 o 2924 96.10/96.18 c 16.8834 11.3438 788 1075749 96.10/96.18 o 2898 96.49/96.50 c 16.9294 11.3438 512 1078290 96.49/96.50 o 2870 97.60/97.61 c 17.1574 11.3438 520 1086125 97.60/97.61 o 2815 97.69/97.71 c 17.1804 11.3438 856 1086926 97.69/97.71 o 2704 98.09/98.18 c 17.2874 11.3438 777 1090747 98.09/98.18 o 2677 98.20/98.28 c 17.3024 11.3438 796 1091924 98.20/98.28 o 2676 98.59/98.62 c 17.3604 11.3438 565 1094357 98.59/98.62 o 2623 98.69/98.72 c 17.3834 11.3438 915 1095339 98.69/98.72 o 2575 99.19/99.28 c 17.4683 11.3438 614 1099795 99.19/99.28 o 2519 99.30/99.35 c 17.4873 11.4648 476 1100478 99.30/99.35 o 2508 99.40/99.43 c 17.4983 11.4648 704 1101231 99.40/99.43 o 2494 99.69/99.72 c 17.5383 11.4648 699 1103401 99.69/99.72 o 2420 99.69/99.76 c 17.5423 11.4648 868 1103828 99.69/99.76 o 2385 99.90/99.92 c 17.5673 11.4648 511 1105183 99.90/99.92 o 2271 99.90/99.98 c 17.5793 11.4648 718 1105701 99.90/99.98 o 2214 100.19/100.24 c 17.6193 11.4648 623 1107494 100.19/100.24 o 2109 100.19/100.29 c 17.6253 11.4648 759 1107946 100.19/100.29 o 2074 100.29/100.38 c 17.6343 11.4648 642 1108629 100.29/100.38 o 2064 100.50/100.51 c 17.6533 11.4648 653 1109687 100.50/100.51 o 2013 100.50/100.54 c 17.6583 11.4648 735 1109940 100.50/100.54 o 2009 100.50/100.59 c 17.6673 11.4648 443 1110301 100.50/100.59 o 1951 100.59/100.62 c 17.6693 11.4648 509 1110486 100.59/100.62 o 1879 100.59/100.69 c 17.6823 11.4648 746 1111175 100.59/100.69 o 1862 100.69/100.74 c 17.6883 11.4648 465 1111547 100.69/100.74 o 1851 100.69/100.75 c 17.6913 11.4648 525 1111760 100.69/100.75 o 1767 100.69/100.79 c 17.6973 11.4648 615 1111966 100.69/100.79 o 1756 100.89/100.92 c 17.7153 11.4648 587 1112964 100.89/100.92 o 1723 100.89/100.96 c 17.7193 11.4648 699 1113276 100.89/100.96 o 1664 101.00/101.05 c 17.7303 11.4648 487 1113962 101.00/101.05 o 1401 101.10/101.11 c 17.7463 11.4648 662 1114360 101.10/101.11 o 1355 101.20/101.22 c 17.7623 11.4648 563 1115150 101.20/101.22 o 1288 101.20/101.23 c 17.7643 11.4648 583 1115297 101.20/101.23 o 1203 101.20/101.24 c 17.7673 11.4648 621 1115416 101.20/101.24 o 1183 101.20/101.25 c 17.7693 11.4648 643 1115476 101.20/101.25 o 1179 101.20/101.26 c 17.7713 11.4648 664 1115538 101.20/101.26 o 1167 101.20/101.26 c 17.7713 11.4648 678 1115587 101.20/101.26 o 1156 101.20/101.27 c 17.7723 11.4648 685 1115677 101.20/101.27 o 1145 101.29/101.30 c 17.7783 11.4648 767 1115880 101.29/101.30 o 1130 101.29/101.33 c 17.7843 11.4648 852 1116171 101.29/101.33 o 1081 101.39/101.49 c 17.8163 11.4648 527 1117404 101.39/101.49 o 1070 101.49/101.54 c 17.8253 11.4648 679 1117787 101.49/101.54 o 1027 101.49/101.58 c 17.8333 11.4648 787 1118107 101.49/101.58 o 1018 101.59/101.61 c 17.8383 11.4648 456 1118307 101.59/101.61 o 1007 101.59/101.64 c 17.8413 11.4648 534 1118495 101.59/101.64 o 924 101.70/101.72 c 17.8533 11.4648 798 1119137 101.70/101.72 o 790 101.70/101.79 c 17.8663 11.5859 987 1119563 101.70/101.79 o 724 101.79/101.83 c 17.8753 11.5859 642 1119938 101.79/101.83 o 654 101.79/101.84 c 17.8793 11.5859 649 1119988 101.79/101.84 o 639 101.79/101.85 c 17.8803 11.5859 670 1120087 101.79/101.85 o 574 101.79/101.88 c 17.8893 11.5859 735 1120340 101.79/101.88 o 495 101.89/101.91 c 17.8993 11.5859 823 1120664 101.89/101.91 o 389 101.89/101.91 c 17.9023 11.5859 858 1120742 101.89/101.91 o 363 101.89/101.92 c 17.9023 11.5859 878 1120830 101.89/101.92 o 293 101.89/101.92 c 17.9053 11.5859 925 1120905 101.89/101.92 o 276 101.89/101.93 c 17.9073 11.5859 634 1120973 101.89/101.93 o 250 101.89/101.94 c 17.9103 11.5859 696 1121084 101.89/101.94 o 231 101.89/101.94 c 17.9113 11.5859 713 1121126 101.89/101.94 o 227 101.89/101.94 c 17.9113 11.5859 721 1121179 101.89/101.94 o 186 101.89/101.94 c 17.9113 11.5859 730 1121249 101.89/101.94 o 125 101.89/101.94 c 17.9113 11.5859 546 1121269 101.89/101.94 o 118 101.89/101.94 c 17.9123 11.5859 548 1121293 101.89/101.94 o 109 101.89/101.94 c 17.9123 11.5859 561 1121354 101.89/101.94 o 63 101.89/101.95 c 17.9123 11.5859 561 1121406 101.89/101.95 o 0 101.89/101.95 c 17.9123 11.5859 561 1121406 101.89/101.95 s OPTIMUM FOUND 101.89/101.95 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-2700360-1278535049/watcher-2700360-1278535049 -o /tmp/evaluation-result-2700360-1278535049/solver-2700360-1278535049 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700360-1278535049.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.03 1.67 3/178 19601 /proc/meminfo: memFree=27104136/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=2136 CPUtime=0 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 256 0 0 0 0 0 0 0 21 0 1 0 21718031 2187264 175 4089446400 134512640 136421960 4292352480 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/19601/statm: 534 175 144 467 0 65 0 [startup+0.0928119 s] /proc/loadavg: 2.00 2.03 1.67 3/178 19601 /proc/meminfo: memFree=27104136/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10480 CPUtime=0.08 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2344 0 0 0 5 3 0 0 21 0 1 0 21718031 10731520 2257 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2620 2257 238 467 0 2151 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10480 [startup+0.100809 s] /proc/loadavg: 2.00 2.03 1.67 3/178 19601 /proc/meminfo: memFree=27104136/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10480 CPUtime=0.09 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2348 0 0 0 5 4 0 0 21 0 1 0 21718031 10731520 2261 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2620 2261 238 467 0 2151 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10480 [startup+0.300773 s] /proc/loadavg: 2.00 2.03 1.67 3/178 19601 /proc/meminfo: memFree=27104136/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10608 CPUtime=0.29 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2368 0 0 0 9 20 0 0 21 0 1 0 21718031 10862592 2281 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2652 2281 238 467 0 2183 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10608 [startup+0.700712 s] /proc/loadavg: 2.00 2.03 1.67 3/178 19601 /proc/meminfo: memFree=27104136/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10608 CPUtime=0.69 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2373 0 0 0 16 53 0 0 22 0 1 0 21718031 10862592 2285 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2652 2285 238 467 0 2183 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10608 [startup+1.50056 s] /proc/loadavg: 2.00 2.03 1.67 3/179 19602 /proc/meminfo: memFree=27094208/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10608 CPUtime=1.49 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2392 0 0 0 33 116 0 0 25 0 1 0 21718031 10862592 2298 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2652 2298 238 467 0 2183 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10608 [startup+3.10026 s] /proc/loadavg: 2.00 2.03 1.67 3/179 19602 /proc/meminfo: memFree=27093216/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10736 CPUtime=3.09 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2424 0 0 0 66 243 0 0 25 0 1 0 21718031 10993664 2325 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2684 2325 238 467 0 2215 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10736 [startup+6.30068 s] /proc/loadavg: 2.00 2.03 1.67 3/179 19602 /proc/meminfo: memFree=27087640/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10864 CPUtime=6.29 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2454 0 0 0 135 494 0 0 25 0 1 0 21718031 11124736 2347 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2716 2347 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 1.68 3/179 19602 /proc/meminfo: memFree=27079448/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=10992 CPUtime=12.7 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2502 0 0 0 257 1013 0 0 25 0 1 0 21718031 11255808 2379 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2748 2379 238 467 0 2279 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 10992 [startup+25.5002 s] /proc/loadavg: 2.07 2.04 1.68 3/179 19604 /proc/meminfo: memFree=27062452/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11116 CPUtime=25.49 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2561 0 0 0 484 2065 0 0 25 0 1 0 21718031 11382784 2418 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2779 2418 238 467 0 2310 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11116 [startup+51.1005 s] /proc/loadavg: 2.04 2.04 1.69 3/179 19604 /proc/meminfo: memFree=27026692/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11240 CPUtime=51.09 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2634 0 0 0 938 4171 0 0 25 0 1 0 21718031 11509760 2467 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2810 2467 238 467 0 2341 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11240 Solver just ended. Dumping a history of the last processes samples [startup+76.7009 s] /proc/loadavg: 2.03 2.03 1.70 3/179 19604 /proc/meminfo: memFree=26992444/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11488 CPUtime=76.69 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2724 0 0 0 1375 6294 0 0 25 0 1 0 21718031 11763712 2514 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2872 2514 238 467 0 2403 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 11488 [startup+89.5005 s] /proc/loadavg: 2.02 2.03 1.70 3/179 19605 /proc/meminfo: memFree=26974560/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11488 CPUtime=89.49 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2775 0 0 0 1581 7368 0 0 25 0 1 0 21718031 11763712 2542 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2872 2542 238 467 0 2403 0 Current children cumulated CPU time (s) 89.49 Current children cumulated vsize (KiB) 11488 [startup+95.9004 s] /proc/loadavg: 2.02 2.03 1.71 3/179 19605 /proc/meminfo: memFree=26965128/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11612 CPUtime=95.89 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2824 0 0 0 1684 7905 0 0 25 0 1 0 21718031 11890688 2563 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2903 2563 238 467 0 2434 0 Current children cumulated CPU time (s) 95.89 Current children cumulated vsize (KiB) 11612 [startup+99.1008 s] /proc/loadavg: 2.02 2.03 1.71 3/179 19606 /proc/meminfo: memFree=26960652/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11612 CPUtime=99.1 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2842 0 0 0 1744 8166 0 0 25 0 1 0 21718031 11890688 2572 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2903 2572 238 467 0 2434 0 Current children cumulated CPU time (s) 99.1 Current children cumulated vsize (KiB) 11612 [startup+100.7 s] /proc/loadavg: 2.02 2.03 1.71 3/179 19606 /proc/meminfo: memFree=26959040/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11736 CPUtime=100.69 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2868 0 0 0 1768 8301 0 0 25 0 1 0 21718031 12017664 2583 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2934 2583 238 467 0 2465 0 Current children cumulated CPU time (s) 100.69 Current children cumulated vsize (KiB) 11736 [startup+101.5 s] /proc/loadavg: 2.02 2.03 1.71 3/179 19606 /proc/meminfo: memFree=26957676/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11736 CPUtime=101.49 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2902 0 0 0 1781 8368 0 0 25 0 1 0 21718031 12017664 2600 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2934 2600 238 467 0 2465 0 Current children cumulated CPU time (s) 101.49 Current children cumulated vsize (KiB) 11736 [startup+101.9 s] /proc/loadavg: 2.02 2.03 1.71 3/179 19606 /proc/meminfo: memFree=26957676/32951124 swapFree=67111528/67111528 [pid=19601] ppid=19599 vsize=11860 CPUtime=101.89 /proc/19601/stat : 19601 (pbct) R 19599 19601 18367 0 -1 4202496 2921 0 0 0 1789 8400 0 0 25 0 1 0 21718031 12144640 2609 4089446400 134512640 136421960 4292352480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/19601/statm: 2965 2609 238 467 0 2496 0 Current children cumulated CPU time (s) 101.89 Current children cumulated vsize (KiB) 11860 Child status: 0 Real time (s): 101.959 CPU time (s): 101.963 CPU user time (s): 17.9203 CPU system time (s): 84.0422 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 11860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.9203 system time used= 84.0422 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2941 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= 185 runsolver used 0.158975 second user time and 0.314952 second system time The end
Begin job on node138 at 2010-07-07 22:37:29 IDJOB=2700360 IDBENCH=79421 IDSOLVER=1208 FILE ID=node138/2700360-1278535049 PBS_JOBID= 11239202 Free space on /tmp= 73608 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh07_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700360-1278535049/watcher-2700360-1278535049 -o /tmp/evaluation-result-2700360-1278535049/solver-2700360-1278535049 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700360-1278535049.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 124b6775b7bb4e390bc62510a681a702 RANDOM SEED=218868094 node138.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.845 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.69 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.845 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 : 5266.27 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.845 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.845 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.845 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.845 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.845 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.845 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.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27104904 kB Buffers: 129648 kB Cached: 3978340 kB SwapCached: 0 kB Active: 3136384 kB Inactive: 2557840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27104904 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1976 kB Writeback: 0 kB AnonPages: 1586488 kB Mapped: 17096 kB Slab: 84488 kB PageTables: 8352 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1738280 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= 73608 MiB End job on node138 at 2010-07-07 22:39:11