Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | -162 | 1798.01 | 1797.99 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb |
MD5SUM | 27275f75c57d1f68b1f0c26684ed17bf |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -162 |
Best CPU time to get the best result obtained on this benchmark | 30.5134 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 62275 |
Number of constraints which are clauses | 62275 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 341 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 341 |
Number of bits of the biggest sum of numbers | 9 |
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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3462335-1307185045.opb 0.00/0.00 c File size is 2077119 bytes. 0.09/0.13 c Highest Coefficient sum: 341 0.09/0.13 c Parsing was ok!! 0.09/0.13 c Total parsing time: 0.134 s 0.09/0.14 c Var: 2025 Constr: 62275 62275/0/0 Lit: 185655 Watch. Lit: 124550 0.09/0.14 c Obj. Vars: 135 (6.66667 % of total variables) 0.29/0.32 c Pre-processing Time: 0.326 s 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 2013 62239 185583 2 124478 20746 0 0 0.33 0.29/0.32 c Switching off lower bounding mode. 0.29/0.34 o -36 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 2013 62240 185706 2 124494 20992 1 0 0.34 0.29/0.34 o -37 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 4 2013 62245 186266 2 124521 20992 6 11 0.34 0.29/0.36 o -133 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 44 2013 62326 186683 2 124722 20992 87 119 0.37 0.39/0.49 c 144 2013 62508 188632 3 125086 23092 269 359 0.40 0.39/0.49 c 395 2013 62867 202486 3 125803 25402 628 824 0.48 0.39/0.49 o -140 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 403 2013 62884 202669 3 125892 20992 645 817 0.49 0.49/0.54 c 503 2013 63035 208514 3 126190 23092 796 954 0.53 0.49/0.54 o -147 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 511 2013 63051 208752 3 126290 20992 812 946 0.54 1.29/1.35 c 611 2013 63196 213364 3 126565 23092 957 1075 0.57 1.29/1.35 c 861 2013 63518 229383 3 127206 25402 1279 1308 0.66 1.29/1.35 c 1336 2013 64134 258445 4 128447 27943 1895 1665 0.80 1.29/1.35 c 2149 2013 65122 312352 4 130427 30738 2883 2012 1.07 1.29/1.35 o -148 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 3076 2013 66218 378645 5 132658 20992 3979 2270 1.35 1.39/1.40 c 3176 2013 66338 385228 5 132915 23092 4099 2275 1.40 1.39/1.40 o -152 34.79/34.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.79/34.80 c 3177 2013 66341 385357 5 132973 20992 4102 2256 1.41 34.79/34.80 c 3277 2013 66471 392401 5 133227 23092 4232 2269 1.44 34.79/34.80 c 3527 2013 66756 408683 6 133810 25402 4517 2285 1.54 34.79/34.80 c 4002 2013 67318 441930 6 134919 27943 5079 2379 1.68 34.79/34.80 c 4815 2013 68301 497330 7 136901 30738 6062 2485 1.94 34.79/34.80 c 6135 2013 69883 594883 8 140051 33812 7644 2507 2.45 34.79/34.80 c 8216 2013 72331 741827 10 144944 37194 10092 2526 3.25 34.79/34.80 c 11440 2013 76084 967247 12 152474 40914 13845 2511 4.55 34.79/34.80 c 16376 2013 81866 1320679 16 164022 45006 19627 2430 6.74 34.79/34.80 c 23884 2013 90644 1865116 20 181579 49507 28405 2230 10.71 34.79/34.80 c 35245 2013 103786 2678933 25 207849 54458 41547 1826 19.30 34.79/34.80 c 52390 2013 83545 1472892 17 167152 59904 21306 1532 34.20 34.79/34.80 o -153 35.59/35.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.59/35.71 c 53595 2013 84945 1555990 18 170014 20992 22706 1539 34.80 35.59/35.71 c 53695 2013 72920 814172 11 145901 23092 10681 1519 35.33 35.59/35.71 c 53945 2013 73215 832359 11 146492 25402 10976 1521 35.45 35.59/35.71 c 54421 2013 73771 866343 11 147600 27943 11532 1526 35.64 35.59/35.71 o -155 46.99/47.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.99/47.00 c 54519 2013 73893 872394 11 147905 20992 11654 1526 35.71 46.99/47.00 c 54619 2013 74009 878899 11 148133 23092 11770 1527 35.76 46.99/47.00 c 54869 2013 74296 895244 12 148717 25402 12057 1528 35.90 46.99/47.00 c 55344 2013 74857 927674 12 149827 27943 12618 1532 36.11 46.99/47.00 c 56157 2013 75806 983200 12 151731 30738 13567 1538 36.50 46.99/47.00 c 57478 2013 77373 1081387 13 154867 33812 15134 1553 37.01 46.99/47.00 c 59560 2013 79825 1236201 15 159771 37194 17586 1566 38.03 46.99/47.00 c 62784 2013 83531 1463403 17 167181 40914 21292 1588 39.52 46.99/47.00 c 67721 2013 89227 1807801 20 178577 45006 26988 1598 42.37 46.99/47.00 c 75227 2013 97856 2337167 23 195828 49507 35617 1607 46.81 46.99/47.00 o -158 47.89/47.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.89/47.95 c 75401 2013 98058 2348916 23 196300 20992 35819 1603 47.01 47.89/47.95 c 75501 2013 72909 807466 11 145877 23092 10670 1594 47.36 47.89/47.95 c 75751 2013 73202 822953 11 146463 25402 10963 1596 47.46 47.89/47.95 c 76226 2013 73789 854306 11 147639 27943 11550 1600 47.63 47.89/47.95 o -161 967.51/967.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 967.51/967.60 c 76919 2013 74616 900174 12 149355 20992 12377 1604 47.95 967.51/967.60 c 77019 2013 74733 906271 12 149590 23092 12494 1604 47.99 967.51/967.60 c 77269 2013 75031 923158 12 150190 25402 12792 1606 48.10 967.51/967.60 c 77744 2013 75588 954415 12 151303 27943 13349 1607 48.38 967.51/967.60 c 78557 2013 76528 1007719 13 153177 30738 14289 1612 48.73 967.51/967.60 c 79877 2013 78038 1096544 14 156195 33812 15799 1617 49.37 967.51/967.60 c 81959 2013 80417 1231561 15 160961 37194 18178 1630 50.27 967.51/967.60 c 85182 2013 84349 1463833 17 168825 40914 22110 1631 52.21 967.51/967.60 c 90119 2013 90042 1792379 19 180207 45006 27803 1646 54.73 967.51/967.60 c 97625 2013 98618 2283782 23 197363 49507 36379 1657 58.91 967.51/967.60 c 108986 2013 111751 3038635 27 223627 54458 49512 1575 69.19 967.51/967.60 c 126131 2013 90854 1825109 20 181772 59904 28615 1533 82.26 967.51/967.60 c 151950 2013 120702 3578534 29 241466 65895 58463 1465 103.66 967.51/967.60 c 190782 2013 114169 3171770 27 228403 72485 51930 1388 137.40 967.51/967.60 c 249134 2013 122759 3744907 30 245580 79734 60520 1290 193.00 967.51/967.60 c 336766 2013 93854 2006664 21 187771 87708 31615 1166 288.73 967.51/967.60 c 468318 2012 98716 2269035 22 197495 96479 36477 1066 439.19 967.51/967.60 c 665750 2012 150676 5237539 34 301414 106127 88437 964 690.07 967.51/967.60 o -162 1797.91/1797.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1797.98 c 875749 2011 100824 2362927 23 201773 20988 38585 905 967.62 1797.91/1797.98 c 875850 2011 72942 775274 10 145944 23087 10703 904 968.34 1797.91/1797.98 c 876100 2011 73226 790429 10 146514 25396 10987 904 968.46 1797.91/1797.98 c 876575 2011 73800 822673 11 147658 27936 11561 904 968.69 1797.91/1797.98 c 877388 2011 74757 873439 11 149573 30730 12518 905 969.07 1797.91/1797.98 c 878708 2011 76313 957233 12 152689 33804 14074 906 969.75 1797.91/1797.98 c 880789 2011 78732 1088424 13 157522 37185 16493 907 970.60 1797.91/1797.98 c 884012 2011 82479 1295692 15 165018 40904 20240 909 972.14 1797.91/1797.98 c 888949 2011 88287 1624040 18 176635 44995 26048 911 975.23 1797.91/1797.98 c 896456 2011 96958 2114493 21 193973 49495 34719 914 979.98 1797.91/1797.98 c 907817 2011 110281 2868489 26 220622 54445 48042 917 989.79 1797.91/1797.98 c 924963 2011 89608 1720744 19 179277 59890 27369 922 1002.89 1797.91/1797.98 c 950782 2011 119167 3395593 28 238398 65880 56928 927 1024.69 1797.91/1797.98 c 989614 2011 112494 2940505 26 225050 72469 50255 935 1058.35 1797.91/1797.98 c 1047967 2011 121470 3426189 28 243001 79716 59231 941 1113.33 1797.91/1797.98 c 1135599 2010 92099 1846348 20 184255 87688 29860 938 1209.87 1797.91/1797.98 c 1267151 2010 84050 1377758 16 168158 96457 21811 911 1390.19 1797.91/1797.98 c 1464583 2010 129381 3809721 29 258821 106103 67142 902 1623.11 1797.91/1797.98 c Resources Exceeded 1797.91/1797.98 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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 x219 -x220 -x221 -x222 x223 -x224 -x225 x226 -x227 -x228 -x229 x230 x231 x232 -x233 -x234 -x235 -x236 x237 x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 x268 x269 -x270 -x271 x272 x273 -x274 -x275 -x276 x277 -x278 -x279 x280 x281 x282 x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 x316 x317 -x318 x319 -x320 -x321 x322 -x323 x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 x364 x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 x396 x397 -x398 x399 -x400 -x401 -x402 x403 -x404 x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 x571 -x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 x615 -x616 x617 -x618 -x619 x620 -x621 x622 -x623 x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 x734 -x735 -x736 x737 -x738 -x739 -x740 x741 x742 -x743 -x744 -x745 x746 x747 -x748 -x749 x750 x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 x814 -x815 x816 -x817 -x818 -x819 x820 -x821 x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 x955 -x956 -x957 -x958 x959 -x960 x961 -x962 -x963 x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 x972 -x973 -x974 x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 x996 x997 -x998 x999 -x1000 x1001 -x1002 -x1003 x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 -x1065 x1066 -x1067 -x1068 x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 x1077 x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 x1111 x1112 -x1113 x1114 -x1115 -x1116 x1117 -x1118 x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 x1180 -x1181 x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 x1226 -x1227 -x1228 x1229 -x1230 -x1231 x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 x1264 x1265 -x1266 -x1267 x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 x1321 -x1322 x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 x1340 -x1341 x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 x1447 -x1448 x1449 -x1450 -x1451 -x1452 x1453 -x1454 x1455 -x1456 x1457 -x1458 -x1459 -x1460 x1461 -x1462 x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 x1534 x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 x1653 -x1654 -x1655 x1656 x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 x1720 -x1721 -x1722 x1723 x1724 -x1725 x1726 -x1727 -x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 x1772 x1773 -x1774 -x1775 -x1776 -x1777 x1778 x1779 -x1780 -x1781 x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 x1879 x1880 -x1881 x1882 -x1883 -x1884 -x1885 x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 x1899 x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 x1935 -x1936 x1937 -x1938 -x1939 -x1940 x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 x2011 -x2012 -x2013 x2014 -x2015 x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1797.91/1797.98 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1797.98 c 80 1586640 215217 1889311 166241 5929474 104002 882 1798.00 1797.91/1797.98 c Objective: -162 1797.91/1797.98 s SATISFIABLE 1797.91/1797.98 c Total time: 1798 s
OK -162
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462335-1307185045/watcher-3462335-1307185045 -o /tmp/evaluation-result-3462335-1307185045/solver-3462335-1307185045 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462335-1307185045.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.03 2.00 2/434 9050 /proc/meminfo: memFree=12414248/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=13104 CPUtime=0 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 366 0 0 0 0 0 0 0 25 0 1 0 830104157 13418496 320 33554432000 134512640 137138936 4293393376 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 3276 321 185 642 0 2124 0 [startup+0.029115 s] /proc/loadavg: 2.04 2.03 2.00 2/434 9050 /proc/meminfo: memFree=12414248/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=14332 CPUtime=0.02 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 751 0 0 0 2 0 0 0 25 0 1 0 830104157 14675968 705 33554432000 134512640 137138936 4293393376 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 3583 705 271 642 0 2431 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14332 [startup+0.101103 s] /proc/loadavg: 2.04 2.03 2.00 2/434 9050 /proc/meminfo: memFree=12414248/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=18028 CPUtime=0.09 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 1951 0 0 0 9 0 0 0 25 0 1 0 830104157 18460672 1905 33554432000 134512640 137138936 4293393376 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 4507 1906 540 642 0 3355 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18028 [startup+0.301071 s] /proc/loadavg: 2.04 2.03 2.00 2/434 9050 /proc/meminfo: memFree=12414248/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=23884 CPUtime=0.29 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 4081 0 0 0 27 2 0 0 18 0 1 0 830104157 24457216 3527 33554432000 134512640 137138936 4293393376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 5971 3527 185 642 0 5327 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23884 [startup+0.701001 s] /proc/loadavg: 2.04 2.03 2.00 2/434 9050 /proc/meminfo: memFree=12414248/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=23648 CPUtime=0.69 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 4783 0 0 0 66 3 0 0 18 0 1 0 830104157 24215552 3490 33554432000 134512640 137138936 4293393376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 5912 3490 192 642 0 5268 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23648 [startup+1.50089 s] /proc/loadavg: 2.04 2.03 2.00 3/435 9051 /proc/meminfo: memFree=12400476/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=24248 CPUtime=1.49 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 4918 0 0 0 146 3 0 0 19 0 1 0 830104157 24829952 3625 33554432000 134512640 137138936 4293393376 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 6062 3625 192 642 0 5418 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24248 [startup+3.22815 s] /proc/loadavg: 2.04 2.03 2.00 3/435 9051 /proc/meminfo: memFree=12397252/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=29312 CPUtime=3.27 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 6171 0 0 0 323 4 0 0 25 0 1 0 830104157 30015488 4879 33554432000 134512640 137138936 4293393376 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 7328 4894 192 642 0 6684 0 Current children cumulated CPU time (s) 3.27 Current children cumulated vsize (KiB) 29312 [startup+6.30106 s] /proc/loadavg: 2.20 2.06 2.01 3/435 9051 /proc/meminfo: memFree=12387928/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=36704 CPUtime=6.29 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 8042 0 0 0 624 5 0 0 25 0 1 0 830104157 37584896 6749 33554432000 134512640 137138936 4293393376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 9176 6749 192 642 0 8532 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36704 [startup+12.7009 s] /proc/loadavg: 2.18 2.06 2.01 3/435 9051 /proc/meminfo: memFree=12374324/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=48832 CPUtime=12.69 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 11051 0 0 0 1262 7 0 0 25 0 1 0 830104157 50003968 9758 33554432000 134512640 137138936 4293393376 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 12208 9758 192 642 0 11564 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48832 [startup+25.5007 s] /proc/loadavg: 2.14 2.06 2.01 3/435 9051 /proc/meminfo: memFree=12359204/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=64776 CPUtime=25.49 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 15049 0 0 0 2539 10 0 0 25 0 1 0 830104157 66330624 13756 33554432000 134512640 137138936 4293393376 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 16194 13756 192 642 0 15550 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 64776 [startup+51.1163 s] /proc/loadavg: 2.09 2.05 2.01 3/435 9052 /proc/meminfo: memFree=12352360/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=69392 CPUtime=51.1 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 16255 0 0 0 5098 12 0 0 25 0 1 0 830104157 71057408 14908 33554432000 134512640 137138936 4293393376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 17348 14908 192 642 0 16704 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 69392 [startup+102.3 s] /proc/loadavg: 2.11 2.06 2.01 3/435 9053 /proc/meminfo: memFree=12351324/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=69932 CPUtime=102.3 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 16376 0 0 0 10212 18 0 0 25 0 1 0 830104157 71610368 15029 33554432000 134512640 137138936 4293393376 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 17483 15029 192 642 0 16839 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 69932 [startup+162.301 s] /proc/loadavg: 2.04 2.05 2.00 3/435 9055 /proc/meminfo: memFree=12337308/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=83076 CPUtime=162.29 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 19827 0 0 0 16207 22 0 0 25 0 1 0 830104157 85069824 18344 33554432000 134512640 137138936 4293393376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 20769 18344 192 642 0 20125 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 83076 [startup+222.301 s] /proc/loadavg: 2.01 2.04 2.00 3/435 9066 /proc/meminfo: memFree=12329372/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=90756 CPUtime=222.29 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 21801 0 0 0 22200 29 0 0 25 0 1 0 830104157 92934144 20239 33554432000 134512640 137138936 4293393376 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 22689 20239 192 642 0 22045 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 90756 [startup+282.301 s] /proc/loadavg: 2.00 2.03 2.00 3/435 9067 /proc/meminfo: memFree=12330360/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=91068 CPUtime=282.29 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 21875 0 0 0 28194 35 0 0 25 0 1 0 830104157 93253632 20313 33554432000 134512640 137138936 4293393376 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 22767 20313 192 642 0 22123 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 91068 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/435 9069 /proc/meminfo: memFree=12322044/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=95796 CPUtime=342.29 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 23083 0 0 0 34188 41 0 0 25 0 1 0 830104157 98095104 21521 33554432000 134512640 137138936 4293393376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 23949 21521 192 642 0 23305 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 95796 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/435 9070 /proc/meminfo: memFree=12320052/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=97020 CPUtime=402.3 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 23459 0 0 0 40183 47 0 0 25 0 1 0 830104157 99348480 21811 33554432000 134512640 137138936 4293393376 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 24255 21811 192 642 0 23611 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 97020 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/435 9072 /proc/meminfo: memFree=12318928/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=98372 CPUtime=462.3 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 23787 0 0 0 46178 52 0 0 25 0 1 0 830104157 100732928 22139 33554432000 134512640 137138936 4293393376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 24593 22139 192 642 0 23949 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 98372 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/435 9077 /proc/meminfo: memFree=12313716/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=103500 CPUtime=522.3 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 25179 0 0 0 52173 57 0 0 25 0 1 0 830104157 105984000 23436 33554432000 134512640 137138936 4293393376 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 25875 23436 192 642 0 25231 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 103500 [startup+582.301 s] /proc/loadavg: 2.11 2.03 2.01 3/435 9078 /proc/meminfo: memFree=12311496/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=103500 CPUtime=582.3 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 25179 0 0 0 58168 62 0 0 25 0 1 0 830104157 105984000 23436 33554432000 134512640 137138936 4293393376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 25875 23436 192 642 0 25231 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 103500 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=12297580/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1062.3 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 106126 104 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 111992 [startup+1122.3 s] /proc/loadavg: 2.09 2.03 2.01 3/435 9092 /proc/meminfo: memFree=12295836/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1122.31 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 112119 112 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 111992 [startup+1182.3 s] /proc/loadavg: 2.15 2.07 2.02 3/435 9122 /proc/meminfo: memFree=12315456/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1182.31 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 118113 118 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 111992 [startup+1242.3 s] /proc/loadavg: 2.16 2.08 2.02 3/435 9124 /proc/meminfo: memFree=12314348/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1242.3 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 124107 123 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542968 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 111992 [startup+1302.3 s] /proc/loadavg: 2.14 2.09 2.03 3/435 9125 /proc/meminfo: memFree=12313468/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1302.31 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 130102 129 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 111992 [startup+1362.3 s] /proc/loadavg: 2.13 2.10 2.03 3/435 9154 /proc/meminfo: memFree=12314004/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1362.31 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 136097 134 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 111992 [startup+1422.3 s] /proc/loadavg: 2.05 2.08 2.03 3/435 9156 /proc/meminfo: memFree=12313384/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1422.31 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 142091 140 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 111992 [startup+1482.3 s] /proc/loadavg: 2.02 2.06 2.02 3/435 9157 /proc/meminfo: memFree=12313124/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1482.31 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 148087 144 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 111992 [startup+1542.3 s] /proc/loadavg: 2.10 2.08 2.03 3/435 9186 /proc/meminfo: memFree=12308200/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1542.31 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 154082 149 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 136504204 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 111992 [startup+1602.3 s] /proc/loadavg: 2.04 2.06 2.02 3/435 9187 /proc/meminfo: memFree=12307976/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1602.3 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 160075 155 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 111992 [startup+1662.32 s] /proc/loadavg: 2.01 2.05 2.01 3/435 9189 /proc/meminfo: memFree=12307600/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1662.33 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 166073 160 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 111992 [startup+1722.3 s] /proc/loadavg: 2.00 2.04 2.01 3/435 9191 /proc/meminfo: memFree=12303376/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1722.31 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 172067 164 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 111992 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/435 9192 /proc/meminfo: memFree=12274104/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1782.31 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 178063 168 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 111992 Solver just ended. Dumping a history of the last processes samples [startup+1790.3 s] /proc/loadavg: 2.00 2.03 2.00 3/435 9192 /proc/meminfo: memFree=12268400/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1790.31 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 178862 169 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1790.31 Current children cumulated vsize (KiB) 111992 [startup+1793.5 s] /proc/loadavg: 2.00 2.03 2.00 3/435 9192 /proc/meminfo: memFree=12265172/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1793.51 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 179182 169 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (KiB) 111992 [startup+1795.1 s] /proc/loadavg: 2.08 2.04 2.01 3/435 9192 /proc/meminfo: memFree=12264304/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1795.11 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 179342 169 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1795.11 Current children cumulated vsize (KiB) 111992 [startup+1796.7 s] /proc/loadavg: 2.08 2.04 2.01 3/435 9192 /proc/meminfo: memFree=12262568/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1796.71 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 179502 169 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1796.71 Current children cumulated vsize (KiB) 111992 [startup+1797.5 s] /proc/loadavg: 2.08 2.04 2.01 3/435 9193 /proc/meminfo: memFree=12261824/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1797.51 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 179582 169 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (KiB) 111992 [startup+1797.9 s] /proc/loadavg: 2.08 2.04 2.01 3/435 9193 /proc/meminfo: memFree=12261824/32951132 swapFree=67093840/67111528 [pid=9050] ppid=9048 vsize=111992 CPUtime=1797.91 cores=0,2,4,6 /proc/9050/stat : 9050 (bsolo) R 9048 9050 6192 0 -1 4202496 27391 0 0 0 179622 169 0 0 25 0 1 0 830104157 114679808 25544 33554432000 134512640 137138936 4293393376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9050/statm: 27998 25544 192 642 0 27354 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 111992 Child status: 0 Real time (s): 1797.99 CPU time (s): 1798.01 CPU user time (s): 1796.3 CPU system time (s): 1.70374 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 111992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.3 system time used= 1.70374 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27392 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= 5 involuntary context switches= 3399 runsolver used 9.59654 second user time and 20.5259 second system time The end
Begin job on node131 at 2011-06-04 12:57:25 IDJOB=3462335 IDBENCH=71822 IDSOLVER=1955 FILE ID=node131/3462335-1307185045 RUNJOBID= node131-1307175315-7503 PBS_JOBID= 13508857 Free space on /tmp= 73904 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462335-1307185045/watcher-3462335-1307185045 -o /tmp/evaluation-result-3462335-1307185045/solver-3462335-1307185045 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462335-1307185045.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 27275f75c57d1f68b1f0c26684ed17bf RANDOM SEED=1228121580 node131.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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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 : 5332.75 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.830 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.83 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.77 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.830 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.830 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.75 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.830 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 12414536 kB Buffers: 352624 kB Cached: 5684512 kB SwapCached: 948 kB Active: 16052884 kB Inactive: 4164684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 12414536 kB SwapTotal: 67111528 kB SwapFree: 67093840 kB Dirty: 5852 kB Writeback: 0 kB AnonPages: 14178904 kB Mapped: 39212 kB Slab: 198120 kB PageTables: 55968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 95425628 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73892 MiB End job on node131 at 2011-06-04 13:27:23