Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 278.933 | 278.926 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh08_wcsp.wbo |
MD5SUM | f8c09bda9afe7c43c5a568001f4bbb58 |
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 | 462 |
Best CPU time to get the best result obtained on this benchmark | 1.65975 |
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.035994 9.94531 1 1941 0.00/0.03 o 31445 0.00/0.04 c 0.037994 10.1094 1 2129 0.00/0.04 o 31349 0.00/0.04 c 0.037994 10.1094 1 3022 0.00/0.04 o 29293 0.00/0.04 c 0.039993 10.1094 1 3247 0.00/0.04 o 29158 0.00/0.04 c 0.040993 10.1094 2 3562 0.00/0.04 o 28906 0.00/0.04 c 0.041993 10.1094 2 4451 0.00/0.04 o 13369 0.00/0.05 c 0.041993 10.1094 10 4826 0.00/0.05 o 13178 1.10/1.16 c 0.462929 10.3594 791 25078 1.10/1.16 o 13122 1.49/1.59 c 0.623905 10.3594 333 32556 1.49/1.59 o 12978 1.59/1.60 c 0.633903 10.3594 383 32854 1.59/1.60 o 12903 1.59/1.68 c 0.661899 10.3594 507 34392 1.59/1.68 o 12805 2.10/2.13 c 0.771882 10.4844 739 40978 2.10/2.13 o 12717 2.59/2.60 c 0.879866 10.4844 481 50250 2.59/2.60 o 12470 2.59/2.64 c 0.885865 10.4844 466 51405 2.59/2.64 o 12433 2.59/2.65 c 0.888864 10.4844 534 51916 2.59/2.65 o 12175 2.90/2.94 c 0.931858 10.4844 753 55801 2.90/2.94 o 12067 3.09/3.19 c 0.98485 10.4844 583 60504 3.09/3.19 o 11955 3.19/3.28 c 0.998848 10.4844 536 62453 3.19/3.28 o 11887 3.79/3.83 c 1.09983 10.4844 723 70703 3.79/3.83 o 11874 3.79/3.89 c 1.11783 10.4844 632 71455 3.79/3.89 o 11823 4.39/4.46 c 1.22681 10.4844 516 79504 4.39/4.46 o 11736 7.29/7.39 c 1.84272 10.6094 558 120940 7.29/7.39 o 11720 10.39/10.43 c 2.57061 10.6094 606 165906 10.39/10.43 o 11616 11.29/11.39 c 2.75258 10.6094 611 182358 11.29/11.39 o 11411 15.40/15.43 c 3.82242 10.7344 646 242955 15.40/15.43 o 11401 15.40/15.47 c 3.83742 10.7344 585 243994 15.40/15.47 o 11029 15.89/15.93 c 3.9274 10.7344 800 252128 15.89/15.93 o 10946 18.29/18.32 c 4.33134 10.7344 764 286597 18.29/18.32 o 10811 19.90/19.96 c 4.6293 10.7344 754 310367 19.90/19.96 o 10738 21.70/21.76 c 5.22921 10.7344 845 333063 21.70/21.76 o 10734 21.89/21.96 c 5.2712 10.7344 892 335359 21.89/21.96 o 10713 22.59/22.68 c 5.41618 10.7344 451 347093 22.59/22.68 o 10633 24.10/24.14 c 5.69313 10.7344 589 367933 24.10/24.14 o 10620 24.49/24.59 c 5.77712 10.7344 932 372966 24.49/24.59 o 10487 24.69/24.76 c 5.80812 10.7344 804 375857 24.69/24.76 o 10482 24.99/25.06 c 5.86511 10.7344 713 379964 24.99/25.06 o 10356 29.79/29.83 c 6.98194 10.8594 692 446370 29.79/29.83 o 10260 31.49/31.51 c 7.27289 10.8594 898 470407 31.49/31.51 o 10236 31.59/31.65 c 7.29789 10.8594 561 472783 31.59/31.65 o 10231 32.70/32.71 c 7.47386 10.8594 854 487331 32.70/32.71 o 10197 33.09/33.19 c 7.57085 10.8594 785 494593 33.09/33.19 o 10192 33.19/33.28 c 7.60284 10.8594 583 496668 33.19/33.28 o 10017 34.00/34.03 c 7.8688 10.8594 760 507343 34.00/34.03 o 9670 35.60/35.65 c 8.26774 10.8594 702 522351 35.60/35.65 o 9635 38.00/38.05 c 8.66768 10.8594 433 556116 38.00/38.05 o 9623 38.69/38.74 c 8.78766 10.8594 850 562655 38.69/38.74 o 9589 41.09/41.19 c 9.46156 10.8594 622 595539 41.09/41.19 o 9537 41.69/41.77 c 9.57254 10.8594 966 601309 41.69/41.77 o 9513 45.70/45.76 c 10.2454 10.9844 525 653404 45.70/45.76 o 9438 47.30/47.39 c 10.7434 10.9805 654 676237 47.30/47.39 o 9368 47.49/47.51 c 10.7704 10.9805 818 677895 47.49/47.51 o 9182 47.69/47.70 c 10.8064 10.9805 810 679993 47.69/47.70 o 9158 50.50/50.52 c 11.3073 10.9805 527 709981 50.50/50.52 o 9156 53.30/53.34 c 11.8932 10.9805 530 744258 53.30/53.34 o 9096 56.10/56.17 c 12.5231 10.9805 449 783232 56.10/56.17 o 9058 59.50/59.58 c 13.135 10.9805 742 815636 59.50/59.58 o 9047 59.79/59.82 c 13.222 10.9805 634 818525 59.79/59.82 o 9028 61.40/61.49 c 13.6679 10.9805 612 841941 61.40/61.49 o 8975 64.90/64.93 c 14.2688 10.9805 750 885990 64.90/64.93 o 8897 69.79/69.86 c 15.4656 10.9805 919 952034 69.79/69.86 o 8739 71.09/71.12 c 15.6796 10.9805 546 968639 71.09/71.12 o 8641 73.00/73.03 c 16.0936 10.9805 763 991577 73.00/73.03 o 8568 73.99/74.09 c 16.4185 10.9805 562 1006740 73.99/74.09 o 8532 77.00/77.02 c 16.9284 11.1055 521 1039519 77.00/77.02 o 8500 77.09/77.10 c 16.9384 11.1055 514 1040544 77.09/77.10 o 8484 79.29/79.34 c 17.3914 11.1055 485 1068908 79.29/79.34 o 8476 79.49/79.52 c 17.4553 11.1055 497 1070996 79.49/79.52 o 8465 79.89/79.99 c 17.6273 11.1055 543 1076698 79.89/79.99 o 8430 80.39/80.40 c 17.7773 11.1055 796 1082421 80.39/80.40 o 8397 80.90/80.97 c 17.8913 11.1055 848 1089662 80.90/80.97 o 8296 80.99/81.00 c 17.8983 11.1055 563 1090102 80.99/81.00 o 8243 82.69/82.70 c 18.1682 11.1055 899 1111118 82.69/82.70 o 8239 88.20/88.25 c 19.3051 11.1055 706 1174594 88.20/88.25 o 8229 89.00/89.07 c 19.43 11.1055 776 1184257 89.00/89.07 o 8205 89.79/89.82 c 19.56 11.1055 775 1194809 89.79/89.82 o 8169 90.50/90.59 c 19.699 11.1055 597 1203206 90.50/90.59 o 8147 91.40/91.40 c 19.835 11.1055 670 1212967 91.40/91.40 o 8139 92.00/92.06 c 19.951 11.1055 815 1220036 92.00/92.06 o 7861 93.09/93.13 c 20.2939 11.1055 659 1233629 93.09/93.13 o 7846 95.19/95.23 c 20.7278 11.1055 523 1251627 95.19/95.23 o 7815 99.19/99.25 c 21.5127 11.1055 511 1297250 99.19/99.25 o 7787 100.10/100.12 c 21.7887 11.1055 749 1308300 100.10/100.12 o 7536 105.79/105.85 c 22.8435 11.1055 521 1366684 105.79/105.85 o 7487 106.99/107.06 c 23.1945 11.1055 909 1381412 106.99/107.06 o 7367 107.40/107.48 c 23.2555 11.2266 743 1385123 107.40/107.48 o 7208 118.49/118.58 c 25.4011 11.2266 670 1498059 118.49/118.58 o 7169 120.69/120.75 c 26.001 11.2266 705 1516826 120.69/120.75 o 6906 124.60/124.63 c 26.599 11.2266 894 1555431 124.60/124.63 o 6828 125.49/125.51 c 26.8429 11.2266 649 1566259 125.49/125.51 o 6741 125.59/125.68 c 26.8919 11.2266 602 1568250 125.59/125.68 o 6658 127.19/127.27 c 27.2549 11.2266 741 1586562 127.19/127.27 o 6653 127.60/127.69 c 27.3208 11.2266 508 1589701 127.60/127.69 o 6631 128.29/128.30 c 27.4288 11.2266 912 1596514 128.29/128.30 o 6608 131.49/131.54 c 27.9548 11.2266 445 1633125 131.49/131.54 o 6519 133.10/133.11 c 28.4717 11.2266 847 1648530 133.10/133.11 o 6435 137.70/137.72 c 29.2266 11.2266 863 1689621 137.70/137.72 o 6363 143.39/143.41 c 30.3204 11.2266 728 1746493 143.39/143.41 o 6066 143.60/143.68 c 30.3654 11.2266 742 1749567 143.60/143.68 o 6039 146.30/146.33 c 31.0513 11.2266 661 1772553 146.30/146.33 o 6006 148.40/148.47 c 31.4042 11.2266 552 1793089 148.40/148.47 o 5930 149.20/149.27 c 31.5332 11.2266 571 1801662 149.20/149.27 o 5847 155.59/155.60 c 32.789 11.3516 802 1861876 155.59/155.60 o 5787 156.10/156.11 c 32.868 11.3516 759 1867764 156.10/156.11 o 5736 160.80/160.87 c 33.8639 11.3516 646 1914402 160.80/160.87 o 5729 162.59/162.63 c 34.1438 11.3516 555 1931919 162.59/162.63 o 5694 162.80/162.82 c 34.1768 11.3516 777 1933561 162.80/162.82 o 5562 165.39/165.49 c 34.8127 11.3516 663 1956699 165.39/165.49 o 5423 166.90/166.91 c 35.0747 11.3516 856 1970050 166.90/166.91 o 5333 168.80/168.81 c 35.3666 11.3516 583 1987283 168.80/168.81 o 5291 173.59/173.68 c 36.3625 11.3516 821 2029739 173.59/173.68 o 5283 174.80/174.82 c 36.5234 11.3516 543 2039933 174.80/174.82 o 5226 176.90/176.95 c 36.8654 11.3516 542 2060480 176.90/176.95 o 5210 180.20/180.28 c 37.6943 11.3516 648 2096167 180.20/180.28 o 5087 181.09/181.11 c 37.8212 11.3516 697 2104100 181.09/181.11 o 5014 183.29/183.36 c 38.1872 11.3516 756 2122822 183.29/183.36 o 4996 184.70/184.78 c 38.5631 11.3516 462 2138626 184.70/184.78 o 4882 185.69/185.70 c 38.8291 11.3516 512 2147527 185.69/185.70 o 4823 187.30/187.32 c 39.0991 11.3516 478 2162502 187.30/187.32 o 4806 189.69/189.72 c 39.45 11.3516 606 2183374 189.69/189.72 o 4677 191.00/191.00 c 39.753 11.3516 873 2194373 191.00/191.00 o 4665 196.69/196.74 c 40.8498 11.3516 848 2239335 196.69/196.74 o 4641 196.90/196.92 c 40.8828 11.3516 715 2241113 196.90/196.92 o 4610 200.79/200.86 c 41.6827 11.3516 855 2273311 200.79/200.86 o 4509 202.40/202.43 c 41.9106 11.3516 895 2289047 202.40/202.43 o 4487 203.50/203.58 c 42.0816 11.3516 623 2300328 203.50/203.58 o 4408 205.60/205.69 c 42.6865 11.3516 767 2318435 205.60/205.69 o 4354 206.49/206.54 c 42.7985 11.3516 689 2326044 206.49/206.54 o 4325 206.70/206.73 c 42.8315 11.3516 648 2328035 206.70/206.73 o 4200 207.30/207.37 c 42.9235 11.3516 731 2333522 207.30/207.37 o 4077 207.69/207.79 c 42.9945 11.3516 599 2337576 207.69/207.79 o 4054 209.90/209.97 c 43.3184 11.3516 493 2356237 209.90/209.97 o 3944 210.60/210.62 c 43.4704 11.3516 792 2361474 210.60/210.62 o 3862 210.79/210.86 c 43.5674 11.3516 546 2364079 210.79/210.86 o 3850 211.30/211.36 c 43.7513 11.3516 919 2367973 211.30/211.36 o 3800 211.70/211.76 c 43.8783 11.3516 736 2371403 211.70/211.76 o 3778 212.20/212.23 c 43.9483 11.3516 760 2375214 212.20/212.23 o 3705 214.30/214.39 c 44.2903 11.3516 740 2391981 214.30/214.39 o 3656 220.20/220.29 c 45.4081 11.4727 515 2441260 220.20/220.29 o 3616 223.00/223.01 c 45.787 11.4727 654 2462244 223.00/223.01 o 3520 224.60/224.67 c 46.299 11.4727 567 2474943 224.60/224.67 o 3479 225.80/225.86 c 46.4779 11.4727 453 2485681 225.80/225.86 o 3425 226.50/226.53 c 46.5659 11.4727 475 2491396 226.50/226.53 o 3409 227.50/227.56 c 46.7229 11.4727 677 2499221 227.50/227.56 o 3403 234.60/234.60 c 48.0627 11.4727 489 2553674 234.60/234.60 o 3372 234.60/234.69 c 48.0797 11.4727 768 2554385 234.60/234.69 o 3340 236.19/236.20 c 48.3197 11.4727 719 2565433 236.19/236.20 o 3277 237.60/237.69 c 48.7676 11.4727 681 2576546 237.60/237.69 o 3237 239.40/239.45 c 49.0675 11.4727 787 2587025 239.40/239.45 o 3221 240.70/240.76 c 49.2555 11.4727 823 2597389 240.70/240.76 o 3046 243.70/243.79 c 49.8444 11.4727 535 2618965 243.70/243.79 o 2992 243.89/243.93 c 49.8924 11.4727 576 2620093 243.89/243.93 o 2968 244.10/244.12 c 49.9504 11.4727 780 2621607 244.10/244.12 o 2942 244.49/244.58 c 50.0924 11.4727 691 2624867 244.49/244.58 o 2902 247.10/247.12 c 50.4873 11.4727 480 2644438 247.10/247.12 o 2788 248.10/248.10 c 50.6323 11.4727 627 2650763 248.10/248.10 o 2750 248.70/248.70 c 50.7333 11.4727 647 2654351 248.70/248.70 o 2669 248.80/248.82 c 50.7523 11.4727 592 2655139 248.80/248.82 o 2666 250.49/250.54 c 51.1962 11.4727 695 2666856 250.49/250.54 o 2638 250.59/250.66 c 51.2472 11.4727 705 2667952 250.59/250.66 o 2623 251.50/251.55 c 51.4162 11.4727 510 2675402 251.50/251.55 o 2583 251.60/251.62 c 51.4242 11.4727 730 2675922 251.60/251.62 o 2546 252.20/252.21 c 51.5252 11.4727 722 2680331 252.20/252.21 o 2541 252.50/252.52 c 51.5632 11.4727 476 2682606 252.50/252.52 o 2533 253.70/253.76 c 51.7531 11.4727 638 2691093 253.70/253.76 o 2503 255.00/255.03 c 51.9471 11.4727 586 2700093 255.00/255.03 o 2489 256.60/256.63 c 52.2881 11.4727 506 2712228 256.60/256.63 o 2470 256.90/256.93 c 52.396 11.5977 624 2714459 256.90/256.93 o 2436 258.09/258.13 c 52.733 11.5977 858 2722411 258.09/258.13 o 2431 259.30/259.38 c 52.9509 11.5977 814 2731315 259.30/259.38 o 2417 260.00/260.08 c 53.0489 11.5977 637 2736508 260.00/260.08 o 2389 262.60/262.66 c 53.4729 11.5977 681 2754474 262.60/262.66 o 2381 263.40/263.40 c 53.7278 11.5977 881 2759379 263.40/263.40 o 2309 264.60/264.69 c 54.0478 11.5977 664 2768307 264.60/264.69 o 2283 266.49/266.52 c 54.3017 11.5977 855 2781311 266.49/266.52 o 2230 266.49/266.57 c 54.3077 11.5977 585 2781772 266.49/266.57 o 2219 266.80/266.81 c 54.3437 11.5977 518 2783751 266.80/266.81 o 2162 267.40/267.48 c 54.4387 11.5977 516 2788221 267.40/267.48 o 2126 267.49/267.57 c 54.4507 11.5977 802 2788910 267.49/267.57 o 2077 269.29/269.38 c 54.7467 11.5977 813 2802030 269.29/269.38 o 2028 269.60/269.63 c 54.8357 11.5977 747 2803696 269.60/269.63 o 1954 270.20/270.26 c 55.0816 11.5977 703 2808626 270.20/270.26 o 1917 270.29/270.38 c 55.1276 11.5977 657 2809457 270.29/270.38 o 1910 270.40/270.47 c 55.1626 11.5977 497 2810032 270.40/270.47 o 1828 271.10/271.18 c 55.3336 11.5977 765 2814949 271.10/271.18 o 1774 271.39/271.49 c 55.3876 11.5977 530 2817320 271.39/271.49 o 1740 271.70/271.78 c 55.4376 11.5977 516 2819264 271.70/271.78 o 1728 272.00/272.07 c 55.4796 11.5977 551 2821135 272.00/272.07 o 1700 272.10/272.20 c 55.4986 11.5977 495 2822112 272.10/272.20 o 1541 273.29/273.36 c 55.6775 11.5977 481 2830289 273.29/273.36 o 1495 273.40/273.41 c 55.6845 11.5977 618 2830733 273.40/273.41 o 1377 273.91/273.99 c 55.7835 11.5977 753 2834364 273.91/273.99 o 1345 274.10/274.17 c 55.8195 11.5977 539 2835546 274.10/274.17 o 1324 274.50/274.50 c 55.8975 11.5977 717 2837519 274.50/274.50 o 1315 274.50/274.59 c 55.9155 11.5977 642 2838362 274.50/274.59 o 1174 276.29/276.32 c 56.3224 11.7227 593 2849464 276.29/276.32 o 1141 276.40/276.47 c 56.3714 11.7227 636 2850493 276.40/276.47 o 1117 276.50/276.51 c 56.3844 11.7227 794 2850915 276.50/276.51 o 1116 276.70/276.74 c 56.4794 11.7227 772 2852655 276.70/276.74 o 1028 276.89/276.94 c 56.5474 11.7227 620 2854192 276.89/276.94 o 1003 277.00/277.06 c 56.5874 11.7227 612 2854901 277.00/277.06 o 969 277.20/277.23 c 56.6344 11.7227 799 2856110 277.20/277.23 o 918 278.20/278.26 c 56.8264 11.7227 551 2862793 278.20/278.26 o 853 278.30/278.36 c 56.8494 11.7227 889 2863429 278.30/278.36 o 830 278.40/278.48 c 56.8714 11.7227 864 2864243 278.40/278.48 o 815 278.50/278.52 c 56.8814 11.7227 552 2864562 278.50/278.52 o 779 278.50/278.56 c 56.8864 11.7227 718 2864868 278.50/278.56 o 757 278.60/278.66 c 56.9083 11.7227 560 2865474 278.60/278.66 o 743 278.70/278.72 c 56.9233 11.7227 774 2865852 278.70/278.72 o 694 278.80/278.84 c 56.9463 11.7227 680 2866622 278.80/278.84 o 634 278.80/278.87 c 56.9523 11.7227 857 2867076 278.80/278.87 o 462 278.90/278.91 c 56.9613 11.7227 867 2867406 278.90/278.91 s OPTIMUM FOUND 278.90/278.91 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 462
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700351-1278534940/watcher-2700351-1278534940 -o /tmp/evaluation-result-2700351-1278534940/solver-2700351-1278534940 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700351-1278534940.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.02 2.35 2.08 3/178 20529 /proc/meminfo: memFree=28537904/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=2136 CPUtime=0 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 257 0 0 0 0 0 0 0 22 0 1 0 21707832 2187264 176 4089446400 134512640 136422188 4286795408 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20529/statm: 534 176 144 467 0 65 0 [startup+0.0721899 s] /proc/loadavg: 2.02 2.35 2.08 3/178 20529 /proc/meminfo: memFree=28537904/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=10348 CPUtime=0.07 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2337 0 0 0 5 2 0 0 23 0 1 0 21707832 10596352 2249 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2587 2249 238 467 0 2118 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10348 [startup+0.100184 s] /proc/loadavg: 2.02 2.35 2.08 3/178 20529 /proc/meminfo: memFree=28537904/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=10476 CPUtime=0.09 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2347 0 0 0 6 3 0 0 23 0 1 0 21707832 10727424 2259 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2619 2259 238 467 0 2150 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10476 [startup+0.300145 s] /proc/loadavg: 2.02 2.35 2.08 3/178 20529 /proc/meminfo: memFree=28537904/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=10604 CPUtime=0.29 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2372 0 0 0 12 17 0 0 23 0 1 0 21707832 10858496 2284 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2651 2284 238 467 0 2182 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10604 [startup+0.700069 s] /proc/loadavg: 2.02 2.35 2.08 3/178 20529 /proc/meminfo: memFree=28537904/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=10604 CPUtime=0.69 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2380 0 0 0 28 41 0 0 25 0 1 0 21707832 10858496 2292 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2651 2292 238 467 0 2182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10604 [startup+1.50094 s] /proc/loadavg: 2.02 2.34 2.08 3/179 20530 /proc/meminfo: memFree=28527976/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=10604 CPUtime=1.49 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2404 0 0 0 59 90 0 0 25 0 1 0 21707832 10858496 2315 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2651 2315 238 467 0 2182 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10604 [startup+3.10061 s] /proc/loadavg: 2.02 2.34 2.08 3/179 20530 /proc/meminfo: memFree=28526984/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=10732 CPUtime=3.09 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2425 0 0 0 95 214 0 0 25 0 1 0 21707832 10989568 2328 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2683 2328 238 467 0 2214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10732 [startup+6.301 s] /proc/loadavg: 2.02 2.33 2.08 3/179 20531 /proc/meminfo: memFree=28523648/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=10732 CPUtime=6.3 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2450 0 0 0 156 474 0 0 25 0 1 0 21707832 10989568 2348 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2683 2348 238 467 0 2214 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 10732 [startup+12.7008 s] /proc/loadavg: 2.02 2.33 2.08 3/179 20531 /proc/meminfo: memFree=28514728/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=10860 CPUtime=12.7 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2477 0 0 0 298 972 0 0 25 0 1 0 21707832 11120640 2372 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2715 2372 238 467 0 2246 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 10860 [startup+25.5003 s] /proc/loadavg: 2.01 2.31 2.08 3/179 20531 /proc/meminfo: memFree=28498376/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=10988 CPUtime=25.49 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2530 0 0 0 594 1955 0 0 25 0 1 0 21707832 11251712 2413 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2747 2413 238 467 0 2278 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10988 [startup+51.1004 s] /proc/loadavg: 2.01 2.29 2.08 3/179 20531 /proc/meminfo: memFree=28461252/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=11240 CPUtime=51.09 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2588 0 0 0 1141 3968 0 0 25 0 1 0 21707832 11509760 2454 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2810 2454 238 467 0 2341 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11240 [startup+102.306 s] /proc/loadavg: 2.00 2.24 2.07 3/179 20533 /proc/meminfo: memFree=28391744/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=11368 CPUtime=102.3 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2670 0 0 0 2217 8013 0 0 25 0 1 0 21707832 11640832 2507 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2842 2507 238 467 0 2373 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11368 [startup+162.3 s] /proc/loadavg: 2.05 2.21 2.07 3/179 20535 /proc/meminfo: memFree=28312932/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=11620 CPUtime=162.3 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2729 0 0 0 3409 12821 0 0 25 0 1 0 21707832 11898880 2544 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2905 2544 238 467 0 2436 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 11620 [startup+222.301 s] /proc/loadavg: 2.07 2.18 2.07 4/179 20536 /proc/meminfo: memFree=28231380/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=11744 CPUtime=222.3 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2799 0 0 0 4569 17661 0 0 25 0 1 0 21707832 12025856 2580 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2936 2580 238 467 0 2467 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 11744 Solver just ended. Dumping a history of the last processes samples [startup+230.3 s] /proc/loadavg: 2.07 2.18 2.07 3/179 20537 /proc/meminfo: memFree=28221204/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=11744 CPUtime=230.3 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2807 0 0 0 4719 18311 0 0 25 0 1 0 21707832 12025856 2583 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2936 2583 238 467 0 2467 0 Current children cumulated CPU time (s) 230.3 Current children cumulated vsize (KiB) 11744 [startup+255.9 s] /proc/loadavg: 2.04 2.16 2.07 3/179 20537 /proc/meminfo: memFree=28185836/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=11744 CPUtime=255.9 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2851 0 0 0 5209 20381 0 0 25 0 1 0 21707832 12025856 2605 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2936 2605 238 467 0 2467 0 Current children cumulated CPU time (s) 255.9 Current children cumulated vsize (KiB) 11744 [startup+268.701 s] /proc/loadavg: 2.03 2.16 2.07 3/179 20537 /proc/meminfo: memFree=28167972/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=11872 CPUtime=268.7 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2876 0 0 0 5463 21407 0 0 25 0 1 0 21707832 12156928 2617 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2968 2617 238 467 0 2499 0 Current children cumulated CPU time (s) 268.7 Current children cumulated vsize (KiB) 11872 [startup+275.101 s] /proc/loadavg: 2.03 2.15 2.07 3/179 20537 /proc/meminfo: memFree=28159032/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=11872 CPUtime=275.1 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2911 0 0 0 5600 21910 0 0 25 0 1 0 21707832 12156928 2636 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 2968 2636 238 467 0 2499 0 Current children cumulated CPU time (s) 275.1 Current children cumulated vsize (KiB) 11872 [startup+276.7 s] /proc/loadavg: 2.03 2.15 2.06 3/179 20537 /proc/meminfo: memFree=28158660/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=12000 CPUtime=276.7 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2918 0 0 0 5645 22025 0 0 25 0 1 0 21707832 12288000 2640 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 3000 2640 238 467 0 2531 0 Current children cumulated CPU time (s) 276.7 Current children cumulated vsize (KiB) 12000 [startup+278.306 s] /proc/loadavg: 2.03 2.15 2.06 3/179 20537 /proc/meminfo: memFree=28155808/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=12000 CPUtime=278.3 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2926 0 0 0 5683 22147 0 0 25 0 1 0 21707832 12288000 2643 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 3000 2643 238 467 0 2531 0 Current children cumulated CPU time (s) 278.3 Current children cumulated vsize (KiB) 12000 [startup+278.701 s] /proc/loadavg: 2.03 2.15 2.06 3/179 20537 /proc/meminfo: memFree=28155808/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=12000 CPUtime=278.7 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2931 0 0 0 5691 22179 0 0 25 0 1 0 21707832 12288000 2643 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 3000 2643 238 467 0 2531 0 Current children cumulated CPU time (s) 278.7 Current children cumulated vsize (KiB) 12000 [startup+278.901 s] /proc/loadavg: 2.03 2.15 2.06 3/179 20537 /proc/meminfo: memFree=28155808/32950928 swapFree=67111528/67111528 [pid=20529] ppid=20527 vsize=12000 CPUtime=278.9 /proc/20529/stat : 20529 (pbct) R 20527 20529 19207 0 -1 4202496 2935 0 0 0 5696 22194 0 0 25 0 1 0 21707832 12288000 2644 4089446400 134512640 136422188 4286795408 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20529/statm: 3000 2644 238 467 0 2531 0 Current children cumulated CPU time (s) 278.9 Current children cumulated vsize (KiB) 12000 Child status: 0 Real time (s): 278.926 CPU time (s): 278.933 CPU user time (s): 56.9703 CPU system time (s): 221.962 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 12000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 56.9703 system time used= 221.962 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= 372 runsolver used 0.385941 second user time and 0.892864 second system time The end
Begin job on node127 at 2010-07-07 22:35:40 IDJOB=2700351 IDBENCH=79420 IDSOLVER=1212 FILE ID=node127/2700351-1278534940 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-jnh08_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700351-1278534940/watcher-2700351-1278534940 -o /tmp/evaluation-result-2700351-1278534940/solver-2700351-1278534940 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700351-1278534940.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8c09bda9afe7c43c5a568001f4bbb58 RANDOM SEED=283422877 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: 28538548 kB Buffers: 138780 kB Cached: 2617720 kB SwapCached: 0 kB Active: 2580652 kB Inactive: 1669340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28538548 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2032 kB Writeback: 0 kB AnonPages: 1492876 kB Mapped: 16852 kB Slab: 93112 kB PageTables: 7472 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1645328 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:40:19