Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | -7772 | 76.6743 | 76.717 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb |
MD5SUM | d0f46c7e79d3309033cc6b73ceacef6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7772 |
Best CPU time to get the best result obtained on this benchmark | 0.126979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7772 |
Optimality of the best value was proved | YES |
Number of variables | 60 |
Total number of constraints | 30 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 30 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 60 |
Biggest coefficient in the objective function | 974 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 9460 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 6000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 26162 |
Number of bits of the biggest sum of numbers | 15 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657923-1276354856.opb 0.00/0.00 c File size is 15778 bytes. 0.00/0.00 c Highest Coefficient sum: 26162 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 60 Constr: 30 0/0/30 Lit: 1800 Watch. Lit: 472 0.00/0.00 c Obj. Vars: 60 (100 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 60 30 1800 60 504 3600 0 0 0.00 0.00/0.01 c Initial Lower Bound: -7839 0.00/0.01 c Initial Path Cost: -9460 0.00/0.01 o -3144 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 60 31 1860 60 1001 3720 1 0 0.01 0.00/0.02 o -3161 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 1 60 33 1971 59 1124 3720 3 41 0.02 0.00/0.04 o -3988 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 2 60 35 2084 59 1076 3720 5 47 0.04 0.00/0.06 o -4039 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 4 60 38 2229 58 1152 3720 8 66 0.06 0.00/0.09 o -4309 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 27 60 73 3504 48 1242 3720 43 281 0.10 0.09/0.17 o -4371 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 87 60 158 6798 43 1442 3720 128 502 0.17 0.49/0.52 c 187 60 325 12940 39 1854 4093 295 551 0.34 0.49/0.52 o -4399 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 315 60 515 20748 40 2266 3720 485 608 0.52 0.49/0.54 o -4510 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 323 60 526 21162 40 2264 3720 496 600 0.54 0.49/0.58 o -4549 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 355 60 564 22729 40 2348 3720 534 613 0.58 0.69/0.79 c 455 60 702 27079 38 2575 4093 672 646 0.70 0.69/0.79 o -4625 1.10/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.12 c 497 60 771 29323 38 2851 3720 741 628 0.79 1.10/1.12 c 598 60 917 34335 37 3148 4093 887 635 0.94 1.10/1.12 o -4631 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 744 60 1127 41738 37 3452 3720 1097 663 1.12 1.29/1.35 c 844 60 1281 46593 36 3836 4093 1251 652 1.29 1.29/1.35 o -4633 1.29/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.39 c 878 60 1340 48826 36 3932 3720 1310 649 1.35 1.29/1.39 o -4744 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 902 60 1377 50161 36 3979 3720 1347 649 1.39 1.39/1.45 o -4847 1.79/1.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.86 c 951 60 1453 53061 36 4098 3720 1423 653 1.46 1.79/1.86 c 1051 60 1609 58407 36 4488 4093 1579 650 1.62 1.79/1.86 o -4876 1.89/1.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.94 c 1207 60 1860 67874 36 5145 3720 1830 648 1.86 1.89/1.94 o -4968 1.99/2.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.02 c 1262 60 1947 71212 36 5268 3720 1917 651 1.94 1.99/2.02 o -5102 1.99/2.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.06 c 1349 60 2060 75871 36 5510 3720 2030 667 2.02 1.99/2.06 o -5152 2.09/2.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.14 c 1365 60 2087 76832 36 5555 3720 2057 661 2.06 2.09/2.14 o -5272 2.19/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.23 c 1412 60 2162 79730 36 5727 3720 2132 659 2.14 2.19/2.23 o -5360 2.30/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.30/2.37 c 1491 60 2281 84462 37 5915 3720 2251 668 2.23 2.30/2.37 o -5457 2.69/2.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.76 c 1572 60 2404 88920 36 6267 3720 2374 661 2.38 2.69/2.76 c 1672 60 2540 93743 36 6567 4093 2510 664 2.52 2.69/2.76 o -5495 2.79/2.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.88 c 1793 60 2739 99530 36 6797 3720 2709 650 2.76 2.79/2.88 o -5510 3.09/3.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.14 c 1861 60 2857 102810 35 7112 3720 2827 644 2.89 3.09/3.14 c 1961 60 3005 106999 35 7658 4093 2975 643 3.05 3.09/3.14 o -5568 3.19/3.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.26 c 2013 60 3084 109249 35 7697 3720 3054 640 3.14 3.19/3.26 o -5674 3.98/4.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.98/4.02 c 2097 60 3194 113105 35 7804 3720 3164 642 3.26 3.98/4.02 c 2197 60 3357 117234 34 8160 4093 3327 638 3.44 3.98/4.02 c 2447 60 3734 129043 34 8921 4503 3704 637 3.84 3.98/4.02 o -6029 4.09/4.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.13 c 2535 60 3885 133707 34 9178 3720 3855 631 4.02 4.09/4.13 o -6037 4.09/4.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.15 c 2590 60 1983 67540 34 5053 3720 1953 626 4.13 4.09/4.15 o -6082 4.09/4.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.17 c 2591 60 1985 67656 34 5080 3720 1955 623 4.15 4.09/4.17 o -6096 4.49/4.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.52 c 2591 60 1986 67716 34 5105 3720 1956 621 4.17 4.49/4.52 c 2691 60 2139 71974 33 5467 4093 2109 617 4.36 4.49/4.52 o -6149 4.79/4.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.84 c 2770 60 2280 75793 33 5682 3720 2250 613 4.52 4.79/4.84 c 2870 60 2430 80737 33 5984 4093 2400 616 4.66 4.79/4.84 o -6154 5.87/5.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.87/5.91 c 2963 60 2576 85079 33 6410 3720 2546 611 4.84 5.87/5.91 c 3063 60 2735 88980 32 6519 4093 2705 610 5.02 5.87/5.91 c 3317 60 3065 100493 32 7422 4503 3035 622 5.33 5.87/5.91 o -6244 6.37/6.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.37/6.41 c 3662 60 3614 116550 32 8427 3720 3584 620 5.90 6.37/6.41 c 3764 60 1891 58876 31 4836 4093 1861 617 6.09 6.37/6.41 o -6252 6.98/7.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.08 c 3914 60 2153 65035 30 5414 3720 2123 611 6.40 6.98/7.08 c 4014 60 2330 68951 29 5699 4093 2300 608 6.60 6.98/7.08 c 4264 60 2745 80177 29 6571 4503 2715 607 7.01 6.98/7.08 o -6255 7.08/7.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.14 c 4289 60 2780 81415 29 6708 3720 2750 607 7.06 7.08/7.14 o -6348 8.08/8.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.08/8.10 c 4332 60 2833 83567 29 6809 3720 2803 608 7.12 8.08/8.10 c 4432 60 2992 87625 29 7081 4093 2962 607 7.30 8.08/8.10 c 4682 60 3390 99350 29 7911 4503 3360 606 7.71 8.08/8.10 o -6404 8.28/8.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.28/8.31 c 4912 60 3757 110574 29 8674 3720 3727 607 8.09 8.28/8.31 c 5013 60 2052 61092 29 5124 4093 2022 605 8.27 8.28/8.31 o -6470 9.27/9.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.27/9.32 c 5021 60 2065 61438 29 5157 3720 2035 605 8.30 9.27/9.32 c 5121 60 2236 66444 29 5405 4093 2206 603 8.49 9.27/9.32 c 5371 60 2652 78648 29 6272 4503 2622 602 8.92 9.27/9.32 o -6578 9.68/9.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.68/9.74 c 5611 60 3021 90657 30 7138 3720 2991 602 9.31 9.68/9.74 c 5712 60 3179 95311 29 7501 4093 3149 602 9.48 9.68/9.74 o -6651 9.77/9.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.77/9.87 c 5874 60 3394 102277 30 8003 3720 3364 604 9.72 9.77/9.87 o -6752 10.07/10.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.07/10.12 c 5931 60 3501 104972 29 8145 3720 3471 601 9.86 10.07/10.12 c 6031 60 3665 109360 29 8512 4093 3635 599 10.05 10.07/10.12 o -6778 10.07/10.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.07/10.13 c 6058 60 3704 110790 29 8585 3720 3674 599 10.11 10.07/10.13 o -6981 10.57/10.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.57/10.64 c 6059 60 3706 110905 29 8621 3720 3676 598 10.12 10.57/10.64 c 6160 60 1991 59838 30 5033 4093 1961 595 10.34 10.57/10.64 o -7049 10.77/10.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.77/10.89 c 6301 60 2218 67273 30 5575 3720 2188 592 10.63 10.77/10.89 c 6401 60 2405 71862 29 5762 4093 2375 589 10.86 10.77/10.89 o -7061 11.87/11.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.87/11.94 c 6406 60 2412 72161 29 5883 3720 2382 588 10.88 11.87/11.94 c 6506 60 2573 77106 29 6256 4093 2543 587 11.07 11.87/11.94 c 6756 60 3031 88974 29 7141 4503 3001 582 11.60 11.87/11.94 o -7224 12.67/12.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.67/12.78 c 6906 60 3290 95950 29 7700 3720 3260 579 11.92 12.67/12.78 c 7012 60 3468 101307 29 8071 4093 3438 578 12.13 12.67/12.78 c 7262 60 3876 113117 29 8815 4503 3846 576 12.60 12.67/12.78 o -7391 13.67/13.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.67/13.73 c 7338 60 4001 116439 29 9133 3720 3971 574 12.77 13.67/13.73 c 7438 60 2073 60487 29 5094 4093 2043 569 13.05 13.67/13.73 c 7692 60 2496 73351 29 6079 4503 2466 566 13.58 13.67/13.73 o -7404 14.67/14.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.67/14.70 c 7751 60 2599 75862 29 6261 3720 2569 564 13.72 14.67/14.70 c 7853 60 2756 80427 29 6587 4093 2726 565 13.88 14.67/14.70 c 8103 60 3143 91721 29 7338 4503 3113 567 14.28 14.67/14.70 o -7445 15.57/15.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.57/15.63 c 8295 60 3454 100264 29 7992 3720 3424 564 14.68 15.57/15.63 c 8396 60 3637 104164 28 8344 4093 3607 562 14.93 15.57/15.63 c 8646 60 4065 115193 28 9187 4503 4035 560 15.41 15.57/15.63 o -7448 19.07/19.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.07/19.18 c 8753 60 4229 119726 28 9604 3720 4199 560 15.62 19.07/19.18 c 8853 60 2053 59607 29 4916 4093 2023 559 15.83 19.07/19.18 c 9103 60 2468 70713 28 5871 4503 2438 556 16.36 19.07/19.18 c 9578 60 3231 93062 28 7506 4954 3201 557 17.17 19.07/19.18 c 10391 60 4521 132377 29 9998 5450 4491 560 18.53 19.07/19.18 o -7458 20.67/20.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.67/20.73 c 10739 60 5067 150142 29 11267 3720 5037 560 19.16 20.67/20.73 c 10839 60 2072 63415 30 5085 4093 2042 557 19.43 20.67/20.73 c 11090 60 2521 74591 29 6138 4503 2491 554 20.01 20.67/20.73 o -7503 29.46/29.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.46/29.58 c 11521 60 3181 95693 30 7444 3720 3151 556 20.72 29.46/29.58 c 11621 60 3354 100023 29 7733 4093 3324 555 20.94 29.46/29.58 c 11879 60 3777 111440 29 8662 4503 3747 554 21.43 29.46/29.58 c 12354 60 4485 133574 29 9993 4954 4455 555 22.22 29.46/29.58 c 13167 60 3275 100218 30 7534 5450 3245 559 23.54 29.46/29.58 c 14487 60 5308 168776 31 11575 5996 5278 567 25.54 29.46/29.58 c 16568 60 5546 183600 33 12108 6596 5516 568 29.13 29.46/29.58 o -7530 31.36/31.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.36/31.44 c 16792 60 5899 193617 32 12802 3720 5869 568 29.56 31.36/31.44 c 16894 60 2081 67484 32 5070 4093 2051 566 29.83 31.36/31.44 c 17144 60 2475 78989 31 5954 4503 2445 566 30.27 31.36/31.44 c 17619 60 3285 104575 31 7537 4954 3255 565 31.16 31.36/31.44 o -7545 31.46/31.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.46/31.59 c 17763 60 3513 111380 31 8029 3720 3483 565 31.42 31.46/31.59 o -7563 33.86/33.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.86/33.93 c 17837 60 3634 114789 31 8259 3720 3604 565 31.57 33.86/33.93 c 17940 60 1891 58694 31 4738 4093 1861 564 31.79 33.86/33.93 c 18200 60 2345 71021 30 5722 4503 2315 562 32.33 33.86/33.93 c 18683 60 3157 94260 29 7220 4954 3127 563 33.15 33.86/33.93 o -7568 36.27/36.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.27/36.32 c 19061 60 3791 112574 29 8554 3720 3761 562 33.91 36.27/36.32 c 19162 60 2073 62459 30 5107 4093 2043 561 34.13 36.27/36.32 c 19412 60 2493 77152 30 5951 4503 2463 561 34.58 36.27/36.32 c 19887 60 3332 101724 30 7592 4954 3302 559 35.53 36.27/36.32 o -7572 41.36/41.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.36/41.41 c 20297 60 4034 121348 30 9021 3720 4004 559 36.30 41.36/41.41 c 20397 60 2073 61306 29 5105 4093 2043 558 36.52 41.36/41.41 c 20647 60 2502 74656 29 6048 4503 2472 557 37.05 41.36/41.41 c 21122 60 3336 98701 29 7533 4954 3306 557 37.91 41.36/41.41 c 21935 60 4783 138897 29 10536 5450 4753 551 39.75 41.36/41.41 o -7600 47.96/48.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.96/48.07 c 22814 60 3498 101943 29 8052 3720 3468 551 41.38 47.96/48.07 c 22914 60 3680 105909 28 8276 4093 3650 550 41.64 47.96/48.07 c 23164 60 4101 117422 28 9194 4503 4071 549 42.15 47.96/48.07 c 23640 60 2594 75469 29 6184 4954 2564 549 43.03 47.96/48.07 c 24453 60 3991 118168 29 8903 5450 3961 547 44.65 47.96/48.07 c 25773 60 3590 107206 29 8082 5996 3560 542 47.47 47.96/48.07 o -7625 51.06/51.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.06/51.11 c 26030 60 4044 120243 29 9058 3720 4014 541 48.04 51.06/51.11 c 26130 60 2066 62205 30 4999 4093 2036 541 48.26 51.06/51.11 c 26380 60 2488 75321 30 5975 4503 2458 541 48.76 51.06/51.11 c 26856 60 3323 101773 30 7674 4954 3293 540 49.73 51.06/51.11 o -7626 53.45/53.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.45/53.54 c 27544 60 4514 135747 30 10136 3720 4484 539 51.08 53.45/53.54 c 27644 60 2046 61604 30 5023 4093 2016 539 51.26 53.45/53.54 c 27894 60 2478 75451 30 5875 4503 2448 539 51.74 53.45/53.54 c 28374 60 3348 100387 29 7689 4954 3318 536 52.86 53.45/53.54 o -7634 57.66/57.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.66/57.70 c 28667 60 3838 115779 30 8714 3720 3808 535 53.51 57.66/57.70 c 28768 60 2062 61699 29 5132 4093 2032 535 53.73 57.66/57.70 c 29018 60 2474 73984 29 5921 4503 2444 535 54.20 57.66/57.70 c 29493 60 3284 98971 30 7479 4954 3254 534 55.13 57.66/57.70 c 30306 60 4615 140507 30 10247 5450 4585 535 56.58 57.66/57.70 o -7636 63.56/63.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.56/63.67 c 30863 60 2801 89080 31 6620 3720 2771 535 57.67 63.56/63.67 c 30967 60 2997 93897 31 7060 4093 2967 534 57.91 63.56/63.67 c 31224 60 3422 107511 31 7867 4503 3392 534 58.42 63.56/63.67 c 31702 60 4255 132714 31 9530 4954 4225 534 59.32 63.56/63.67 c 32515 60 3162 98533 31 7367 5450 3132 532 61.03 63.56/63.67 o -7647 65.35/65.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.35/65.48 c 33829 60 5405 170876 31 11839 3720 5375 531 63.63 65.35/65.48 c 33929 60 2077 64825 31 5177 4093 2047 530 63.92 65.35/65.48 c 34179 60 2526 76685 30 6035 4503 2496 530 64.47 65.35/65.48 o -7655 67.35/67.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.35/67.43 c 34631 60 3323 99907 30 7642 3720 3293 529 65.45 67.35/67.43 c 34731 59 3478 103754 29 8028 4093 3448 529 65.65 67.35/67.43 c 34981 59 3898 115803 29 8679 4503 3868 528 66.13 67.35/67.43 c 35459 59 2428 76414 31 5867 4954 2398 529 67.02 67.35/67.43 o -7658 67.95/68.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.95/68.03 c 35664 59 2772 86239 31 6565 3718 2742 529 67.40 67.95/68.03 c 35765 59 2947 90582 30 6955 4090 2917 529 67.61 67.95/68.03 o -7662 68.45/68.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.45/68.53 c 35990 59 3293 103016 31 7685 3718 3263 529 67.99 68.45/68.53 c 36097 59 3480 108597 31 8057 4090 3450 529 68.23 68.45/68.53 o -7679 68.65/68.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.65/68.74 c 36217 59 3688 113495 30 8482 3718 3658 528 68.49 68.65/68.74 c 36317 59 1986 60894 30 4818 4090 1956 528 68.69 68.65/68.74 o -7713 70.25/70.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.25/70.32 c 36319 59 1989 61046 30 4969 3718 1959 528 68.71 70.25/70.32 c 36419 59 2161 66470 30 5287 4090 2131 528 68.91 70.25/70.32 c 36669 59 2576 79374 30 6163 4500 2546 528 69.35 70.25/70.32 c 37144 57 3393 101746 29 7792 4951 3363 528 70.24 70.25/70.32 o -7719 71.45/71.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 71.45/71.58 c 37161 57 3421 102756 30 7904 3714 3391 528 70.28 71.45/71.58 c 37266 57 3605 107058 29 8328 4086 3575 528 70.52 71.45/71.58 c 37516 57 4032 119709 29 9175 4495 4002 528 71.00 71.45/71.58 o -7725 71.56/71.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 71.56/71.63 c 37828 57 2282 68733 30 5539 3714 2252 528 71.56 71.56/71.63 o -7738 72.35/72.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.35/72.45 c 37844 56 2303 69106 30 5622 3712 2273 528 71.59 72.35/72.45 c 37944 55 2471 73813 29 5956 4084 2441 528 71.77 72.35/72.45 c 38194 55 2885 86725 30 6740 4493 2855 529 72.16 72.35/72.45 o -7739 74.86/74.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.86/74.95 c 38322 55 3102 92908 29 7299 3710 3072 529 72.41 74.86/74.95 c 38425 55 3280 97167 29 7633 4082 3250 528 72.64 74.86/74.95 c 38675 55 3711 108307 29 8511 4491 3681 528 73.17 74.86/74.95 c 39150 54 4517 130028 28 10112 4941 4487 528 74.07 74.86/74.95 o -7761 76.55/76.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 76.55/76.63 c 39607 51 2787 79455 28 6638 3702 2757 528 74.91 76.55/76.63 c 39707 51 2965 82637 27 6917 4073 2935 528 75.10 76.55/76.63 c 39957 49 3384 92526 27 7740 4481 3354 528 75.53 76.55/76.63 c 40432 43 4159 111088 26 9338 4930 4129 529 76.31 76.55/76.63 o -7772 76.65/76.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 76.65/76.71 c 40637 34 4467 117585 26 9992 3668 4437 530 76.59 76.65/76.71 v -x1 x12 -x23 -x34 x45 -x56 -x58 x59 x60 -x2 x3 -x4 x5 x6 -x7 x8 -x9 x10 x11 -x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x46 -x47 -x48 x49 -x50 -x51 x52 -x53 -x54 x55 -x57 76.65/76.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 76.65/76.71 c 173 40687 161 42577 1963 48245 1933 530 76.67 76.65/76.71 c Objective: -7772 76.65/76.71 s OPTIMUM FOUND 76.65/76.71 c Total time: 76.674 s
OK -7772
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657923-1276354856/watcher-2657923-1276354856 -o /tmp/evaluation-result-2657923-1276354856/solver-2657923-1276354856 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657923-1276354856.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.09 1.05 1.01 2/106 11088 /proc/meminfo: memFree=1477632/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=27020 CPUtime=0 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 448 0 0 0 0 0 0 0 24 0 1 0 11089079 27668480 363 1992294400 134512640 137138936 4290914272 18446744073709551615 135450397 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 6755 363 275 642 0 6111 0 [startup+0.100122 s] /proc/loadavg: 1.09 1.05 1.01 2/106 11088 /proc/meminfo: memFree=1477632/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=26984 CPUtime=0.09 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 2500 0 0 0 9 0 0 0 24 0 1 0 11089079 27631616 395 1992294400 134512640 137138936 4290914272 18446744073709551615 134768879 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 6746 395 286 642 0 6102 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26984 [startup+0.20114 s] /proc/loadavg: 1.09 1.05 1.01 2/106 11088 /proc/meminfo: memFree=1477632/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=19236 CPUtime=0.19 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 4727 0 0 0 18 1 0 0 25 0 1 0 11089079 19697664 402 1992294400 134512640 137138936 4290914272 18446744073709551615 135469116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 4809 402 286 642 0 4165 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19236 [startup+0.301159 s] /proc/loadavg: 1.09 1.05 1.01 2/106 11088 /proc/meminfo: memFree=1477632/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=18800 CPUtime=0.29 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 7053 0 0 0 27 2 0 0 25 0 1 0 11089079 19251200 396 1992294400 134512640 137138936 4290914272 18446744073709551615 134750188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 4700 396 286 642 0 4056 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18800 [startup+0.701233 s] /proc/loadavg: 1.09 1.05 1.01 2/106 11088 /proc/meminfo: memFree=1477632/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=19552 CPUtime=0.69 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 16434 0 0 0 65 4 0 0 25 0 1 0 11089079 20021248 468 1992294400 134512640 137138936 4290914272 18446744073709551615 134730664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 4888 468 286 642 0 4244 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19552 [startup+1.50138 s] /proc/loadavg: 1.09 1.05 1.01 2/107 11089 /proc/meminfo: memFree=1476260/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=19980 CPUtime=1.49 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 34252 0 0 0 138 11 0 0 25 0 1 0 11089079 20459520 582 1992294400 134512640 137138936 4290914272 18446744073709551615 135080186 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 4995 586 286 642 0 4351 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19980 [startup+3.10168 s] /proc/loadavg: 1.09 1.05 1.01 2/107 11089 /proc/meminfo: memFree=1475516/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=20868 CPUtime=3.09 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 68667 0 0 0 287 22 0 0 25 0 1 0 11089079 21368832 810 1992294400 134512640 137138936 4290914272 18446744073709551615 136507191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5217 810 286 642 0 4573 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20868 [startup+6.30127 s] /proc/loadavg: 1.09 1.05 1.01 2/107 11098 /proc/meminfo: memFree=1473408/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=21324 CPUtime=6.28 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 120722 0 0 0 588 40 0 0 25 0 1 0 11089079 21835776 900 1992294400 134512640 137138936 4290914272 18446744073709551615 135469152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5331 900 286 642 0 4687 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21324 [startup+12.7015 s] /proc/loadavg: 1.08 1.05 1.01 2/107 11098 /proc/meminfo: memFree=1473532/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=20784 CPUtime=12.67 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 213486 0 0 0 1192 75 0 0 25 0 1 0 11089079 21282816 891 1992294400 134512640 137138936 4290914272 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5196 891 286 642 0 4552 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 20784 [startup+25.5008 s] /proc/loadavg: 1.06 1.05 1.01 2/107 11098 /proc/meminfo: memFree=1473656/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=21908 CPUtime=25.47 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 403935 0 0 0 2398 149 0 0 25 0 1 0 11089079 22433792 1046 1992294400 134512640 137138936 4290914272 18446744073709551615 135251354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5477 1046 286 642 0 4833 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 21908 [startup+51.1005 s] /proc/loadavg: 1.04 1.04 1.01 2/107 11098 /proc/meminfo: memFree=1473160/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=22300 CPUtime=51.06 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 777525 0 0 0 4817 289 0 0 25 0 1 0 11089079 22835200 1156 1992294400 134512640 137138936 4290914272 18446744073709551615 135444074 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5575 1157 286 642 0 4931 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 22300 Solver just ended. Dumping a history of the last processes samples [startup+51.2006 s] /proc/loadavg: 1.04 1.04 1.01 2/107 11098 /proc/meminfo: memFree=1473160/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=22296 CPUtime=51.16 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 778649 0 0 0 4827 289 0 0 25 0 1 0 11089079 22831104 1156 1992294400 134512640 137138936 4290914272 18446744073709551615 134734510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5574 1156 286 642 0 4930 0 Current children cumulated CPU time (s) 51.16 Current children cumulated vsize (KiB) 22296 [startup+64.0009 s] /proc/loadavg: 1.03 1.04 1.01 2/107 11100 /proc/meminfo: memFree=1473160/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=22288 CPUtime=63.95 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 965522 0 0 0 6034 361 0 0 25 0 1 0 11089079 22822912 1151 1992294400 134512640 137138936 4290914272 18446744073709551615 134730657 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5448 1145 286 642 0 4804 0 Current children cumulated CPU time (s) 63.95 Current children cumulated vsize (KiB) 22288 [startup+70.4001 s] /proc/loadavg: 1.03 1.04 1.01 2/107 11100 /proc/meminfo: memFree=1473160/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=22292 CPUtime=70.36 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 1053163 0 0 0 6643 393 0 0 25 0 1 0 11089079 22827008 1154 1992294400 134512640 137138936 4290914272 18446744073709551615 135449769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5573 1154 286 642 0 4929 0 Current children cumulated CPU time (s) 70.36 Current children cumulated vsize (KiB) 22292 [startup+73.6017 s] /proc/loadavg: 1.03 1.04 1.01 2/107 11100 /proc/meminfo: memFree=1473160/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=22296 CPUtime=73.55 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 1096918 0 0 0 6943 412 0 0 25 0 1 0 11089079 22831104 1151 1992294400 134512640 137138936 4290914272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5574 1151 286 642 0 4930 0 Current children cumulated CPU time (s) 73.55 Current children cumulated vsize (KiB) 22296 [startup+75.202 s] /proc/loadavg: 1.02 1.04 1.01 2/107 11100 /proc/meminfo: memFree=1473160/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=22292 CPUtime=75.15 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 1118775 0 0 0 7094 421 0 0 25 0 1 0 11089079 22827008 1157 1992294400 134512640 137138936 4290914272 18446744073709551615 135444632 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5573 1157 286 642 0 4929 0 Current children cumulated CPU time (s) 75.15 Current children cumulated vsize (KiB) 22292 [startup+76.0081 s] /proc/loadavg: 1.02 1.04 1.01 2/107 11100 /proc/meminfo: memFree=1473160/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=21788 CPUtime=75.96 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 1130441 0 0 0 7170 426 0 0 25 0 1 0 11089079 22310912 1145 1992294400 134512640 137138936 4290914272 18446744073709551615 134545307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5447 1145 286 642 0 4803 0 Current children cumulated CPU time (s) 75.96 Current children cumulated vsize (KiB) 21788 [startup+76.4012 s] /proc/loadavg: 1.02 1.04 1.01 2/107 11100 /proc/meminfo: memFree=1473160/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=22288 CPUtime=76.35 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 1136513 0 0 0 7206 429 0 0 25 0 1 0 11089079 22822912 1151 1992294400 134512640 137138936 4290914272 18446744073709551615 134849401 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5572 1151 286 642 0 4928 0 Current children cumulated CPU time (s) 76.35 Current children cumulated vsize (KiB) 22288 [startup+76.6013 s] /proc/loadavg: 1.02 1.04 1.01 2/107 11100 /proc/meminfo: memFree=1473160/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=21788 CPUtime=76.55 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 1139620 0 0 0 7224 431 0 0 25 0 1 0 11089079 22310912 1145 1992294400 134512640 137138936 4290914272 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5447 1145 286 642 0 4803 0 Current children cumulated CPU time (s) 76.55 Current children cumulated vsize (KiB) 21788 [startup+76.7013 s] /proc/loadavg: 1.02 1.04 1.01 2/107 11100 /proc/meminfo: memFree=1473160/2059040 swapFree=4192956/4192956 [pid=11088] ppid=11086 vsize=22284 CPUtime=76.65 /proc/11088/stat : 11088 (bsolo_pb10) R 11086 11088 10703 0 -1 4202496 1140835 0 0 0 7233 432 0 0 25 0 1 0 11089079 22818816 1150 1992294400 134512640 137138936 4290914272 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11088/statm: 5571 1151 286 642 0 4927 0 Current children cumulated CPU time (s) 76.65 Current children cumulated vsize (KiB) 22284 Child status: 0 Real time (s): 76.717 CPU time (s): 76.6743 CPU user time (s): 72.348 CPU system time (s): 4.32634 CPU usage (%): 99.9444 Max. virtual memory (cumulated for all children) (KiB): 26984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 72.348 system time used= 4.32634 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1141112 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= 880 runsolver used 0.123981 second user time and 0.377942 second system time The end
Begin job on node007 at 2010-06-12 17:00:56 IDJOB=2657923 IDBENCH=1857 IDSOLVER=1163 FILE ID=node007/2657923-1276354856 PBS_JOBID= 11173198 Free space on /tmp= 62456 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657923-1276354856/watcher-2657923-1276354856 -o /tmp/evaluation-result-2657923-1276354856/solver-2657923-1276354856 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657923-1276354856.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d0f46c7e79d3309033cc6b73ceacef6c RANDOM SEED=482137812 node007.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1478160 kB Buffers: 124944 kB Cached: 326016 kB SwapCached: 0 kB Active: 184312 kB Inactive: 326336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1478160 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4020 kB Writeback: 12 kB AnonPages: 59664 kB Mapped: 15416 kB Slab: 48648 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181468 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62452 MiB End job on node007 at 2010-06-12 17:02:13