Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -12287 | 1798.02 | 1798.56 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -16384 |
Best CPU time to get the best result obtained on this benchmark | 1792.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16384 |
Optimality of the best value was proved | NO |
Number of variables | 787 |
Total number of constraints | 65 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 19 |
Biggest coefficient in the objective function | 262144 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524287 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 393216 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 917503 |
Number of bits of the biggest sum of numbers | 20 |
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-2657469-1276361348.opb 0.00/0.00 c File size is 17942 bytes. 0.00/0.00 c Highest Coefficient sum: 917503 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 787 Constr: 113 48/48/17 Lit: 2617 Watch. Lit: 1852 0.00/0.00 c Obj. Vars: 19 (2.41423 % of total variables) 0.01/0.02 c Pre-processing Time: 0.022 s 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 0 785 112 2598 23 1888 5980 0 0 0.02 0.01/0.02 c Switching off lower bounding mode. 0.01/0.05 c 102 785 214 20539 95 2097 6579 102 2487 0.04 0.01/0.05 o -2047 0.01/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.05 c 124 785 237 23874 100 2166 6014 125 2583 0.05 0.01/0.05 o -4095 0.01/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.05 c 124 785 238 23891 100 2178 6014 126 2480 0.05 0.01/0.05 o -5119 0.01/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.05 c 124 785 239 23908 100 2193 6014 127 2384 0.05 0.01/0.05 o -6143 0.01/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.05 c 124 785 240 23925 99 2203 6014 128 2296 0.05 0.01/0.05 o -8191 0.01/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.06 c 124 785 241 23942 99 2219 6014 129 2214 0.06 0.01/0.06 o -9215 0.01/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.06 c 125 785 243 24092 99 2237 6014 131 2155 0.06 0.01/0.06 o -10239 0.01/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.06 c 126 785 245 24241 98 2251 6014 133 2100 0.06 0.01/0.06 o -11263 0.01/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.06 c 127 785 247 24431 98 2270 6014 135 2048 0.06 0.01/0.06 o -12287 1797.96/1798.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.55 c 140 785 261 25810 98 2308 6014 149 2153 0.07 1797.96/1798.55 c 241 785 362 40476 111 2507 6616 250 2903 0.08 1797.96/1798.55 c 492 785 613 76026 124 3010 7278 501 3539 0.14 1797.96/1798.55 c 968 785 1089 141486 129 3963 8006 977 4136 0.23 1797.96/1798.55 c 1781 785 1902 265738 139 5585 8807 1790 3922 0.45 1797.96/1798.55 c 3101 785 3222 514669 159 8228 9688 3110 3055 1.01 1797.96/1798.55 c 5189 785 5310 878296 165 12400 10657 5198 2378 2.18 1797.96/1798.55 c 8413 785 8534 1470930 172 18853 11723 8422 2101 4.00 1797.96/1798.55 c 13357 785 6869 1143202 166 15427 12896 6757 1360 9.82 1797.96/1798.55 c 20864 785 7208 1303842 180 16105 14186 7096 879 23.72 1797.96/1798.55 c 32227 785 10738 1552308 144 23163 15605 10626 905 35.59 1797.96/1798.55 c 49371 785 10909 1894104 173 23510 17166 10797 714 69.12 1797.96/1798.55 c 75190 785 8849 1805695 204 19383 18883 8737 449 167.37 1797.96/1798.55 c 114023 785 17210 3620290 210 36107 20772 17098 366 310.77 1797.96/1798.55 c 172375 785 20144 4800554 238 41970 22850 20032 309 557.45 1797.96/1798.55 c 260007 785 22201 5045209 227 46084 25136 22089 253 1024.29 1797.96/1798.55 c Resources Exceeded 1797.96/1798.55 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x130 -x241 -x352 -x463 -x574 x685 -x766 -x777 -x20 -x31 -x42 -x53 -x64 -x75 -x86 -x97 -x108 -x119 -x131 -x142 -x153 -x164 -x175 -x186 -x197 -x208 -x219 -x230 -x242 -x253 -x264 -x275 x286 -x297 -x308 -x319 -x330 -x341 -x353 -x364 -x375 -x386 -x397 -x408 -x419 -x430 x441 -x384 -x385 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 x473 -x474 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 x617 -x618 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x452 -x785 -x69 -x122 x176 -x224 -x278 -x331 -x753 -x464 -x786 -x70 -x123 x177 -x225 -x279 -x332 -x475 -x787 -x71 -x124 x178 -x226 -x280 -x333 -x486 -x497 -x508 -x519 -x530 -x541 -x552 -x563 -x575 -x586 -x597 -x608 -x619 -x630 -x641 x652 -x663 -x674 -x686 x697 -x708 -x719 x730 -x741 -x752 -x763 -x764 -x765 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x21 -x72 -x125 x179 -x227 -x281 -x334 -x22 -x73 -x126 -x180 -x228 -x282 -x335 -x23 -x74 -x127 -x181 -x229 -x283 -x336 -x24 -x76 x128 -x182 -x231 -x284 -x337 -x25 -x77 -x129 -x183 -x232 -x285 -x338 -x26 -x78 -x132 -x184 -x233 -x287 x339 -x27 -x79 -x133 -x234 -x288 x340 -x754 -x28 -x80 -x134 -x235 -x289 -x342 x755 -x29 x81 -x135 -x236 -x290 -x343 -x756 -x30 -x82 -x136 -x237 -x291 -x344 -x757 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x54 x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 x65 -x66 -x67 -x68 -x83 x137 -x185 -x238 -x292 -x345 -x84 -x138 -x187 -x239 x293 -x346 -x85 -x139 -x188 -x240 -x294 -x347 -x87 -x140 -x189 -x243 -x295 -x348 -x758 -x88 -x141 -x190 -x244 -x296 -x349 -x89 -x143 -x191 -x245 -x298 -x350 -x90 x144 -x192 -x246 -x299 -x351 -x91 -x145 -x193 -x247 -x300 -x354 -x92 -x146 -x194 -x248 -x301 -x355 -x93 -x147 -x195 -x249 -x302 -x356 -x759 -x760 -x94 -x95 -x96 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x120 -x121 -x148 -x196 -x250 -x303 -x357 -x149 -x198 -x251 -x304 -x358 -x150 -x199 -x252 -x305 -x359 -x151 -x200 x254 -x306 -x360 -x152 -x201 -x255 -x307 x361 -x761 -x154 -x202 -x256 -x309 x362 -x155 -x203 -x257 x310 -x363 -x156 -x204 -x258 -x311 x365 -x157 -x205 -x259 -x312 -x366 -x158 -x206 -x260 -x313 -x367 -x159 -x160 -x161 -x162 -x163 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x207 -x261 -x314 -x368 -x209 -x262 -x315 -x369 -x210 -x263 -x316 -x370 -x211 -x265 -x317 -x371 x212 -x266 -x318 -x372 -x213 -x267 -x320 -x373 -x214 x268 -x321 -x374 -x215 -x269 -x322 -x376 -x762 -x216 -x270 -x323 -x377 -x217 -x271 -x324 -x378 -x218 -x220 -x221 -x222 -x223 -x272 -x325 -x379 -x273 -x326 -x380 x274 -x327 -x381 -x276 -x328 -x382 -x277 -x329 -x383 1797.96/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.55 c 25 385944 49211 504592 22615 6104651 22503 214 1798.01 1797.96/1798.55 c Objective: -12287 1797.96/1798.55 s SATISFIABLE 1797.96/1798.55 c Total time: 1798.01 s
OK -12287
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657469-1276361348/watcher-2657469-1276361348 -o /tmp/evaluation-result-2657469-1276361348/solver-2657469-1276361348 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657469-1276361348.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: 0.99 0.98 0.99 3/106 12545 /proc/meminfo: memFree=1869436/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=10924 CPUtime=0 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 11721186 11186176 270 1992294400 134512640 137138936 4290321984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 2731 270 184 642 0 2087 0 [startup+0.0197441 s] /proc/loadavg: 0.99 0.98 0.99 3/106 12545 /proc/meminfo: memFree=1869436/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=10924 CPUtime=0.01 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 370 0 0 0 1 0 0 0 20 0 1 0 11721186 11186176 284 1992294400 134512640 137138936 4290321984 18446744073709551615 134558350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 2731 284 185 642 0 2087 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10924 [startup+0.100752 s] /proc/loadavg: 0.99 0.98 0.99 3/106 12545 /proc/meminfo: memFree=1869436/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=11544 CPUtime=0.09 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 527 0 0 0 9 0 0 0 20 0 1 0 11721186 11821056 441 1992294400 134512640 137138936 4290321984 18446744073709551615 134573821 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 2886 441 191 642 0 2242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11544 [startup+0.300773 s] /proc/loadavg: 0.99 0.98 0.99 3/106 12545 /proc/meminfo: memFree=1869436/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=13312 CPUtime=0.29 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 986 0 0 0 29 0 0 0 20 0 1 0 11721186 13631488 900 1992294400 134512640 137138936 4290321984 18446744073709551615 136501669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 3328 900 191 642 0 2684 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13312 [startup+0.700812 s] /proc/loadavg: 0.99 0.98 0.99 3/106 12545 /proc/meminfo: memFree=1869436/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=15688 CPUtime=0.69 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 1579 0 0 0 68 1 0 0 20 0 1 0 11721186 16064512 1493 1992294400 134512640 137138936 4290321984 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 3922 1493 191 642 0 3278 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15688 [startup+1.50089 s] /proc/loadavg: 0.99 0.98 0.99 2/107 12546 /proc/meminfo: memFree=1862112/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=20328 CPUtime=1.49 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 2731 0 0 0 147 2 0 0 23 0 1 0 11721186 20815872 2645 1992294400 134512640 137138936 4290321984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 5082 2645 191 642 0 4438 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20328 [startup+3.10105 s] /proc/loadavg: 0.99 0.98 0.99 2/107 12546 /proc/meminfo: memFree=1857276/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=27576 CPUtime=3.09 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 4524 0 0 0 306 3 0 0 25 0 1 0 11721186 28237824 4438 1992294400 134512640 137138936 4290321984 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 6894 4438 191 642 0 6250 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27576 [startup+6.30037 s] /proc/loadavg: 0.99 0.98 0.99 2/107 12546 /proc/meminfo: memFree=1845372/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=35728 CPUtime=6.29 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 6580 0 0 0 623 6 0 0 25 0 1 0 11721186 36585472 6494 1992294400 134512640 137138936 4290321984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 8932 6494 191 642 0 8288 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35728 [startup+12.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 12546 /proc/meminfo: memFree=1839792/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=39460 CPUtime=12.69 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 7515 0 0 0 1261 8 0 0 25 0 1 0 11721186 40407040 7429 1992294400 134512640 137138936 4290321984 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 9865 7429 191 642 0 9221 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39460 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.99 2/107 12548 /proc/meminfo: memFree=1836320/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=43136 CPUtime=25.49 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 8426 0 0 0 2538 11 0 0 25 0 1 0 11721186 44171264 8340 1992294400 134512640 137138936 4290321984 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 10784 8340 191 642 0 10140 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43136 [startup+51.1009 s] /proc/loadavg: 1.07 1.00 1.00 2/107 12548 /proc/meminfo: memFree=1834584/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=44768 CPUtime=51.08 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 8836 0 0 0 5091 17 0 0 25 0 1 0 11721186 45842432 8750 1992294400 134512640 137138936 4290321984 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 11192 8750 191 642 0 10548 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44768 [startup+102.308 s] /proc/loadavg: 1.11 1.02 1.01 2/107 12550 /proc/meminfo: memFree=1827392/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=51900 CPUtime=102.27 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 10622 0 0 0 10201 26 0 0 25 0 1 0 11721186 53145600 10536 1992294400 134512640 137138936 4290321984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 12975 10536 191 642 0 12331 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 51900 [startup+162.301 s] /proc/loadavg: 1.11 1.03 1.00 2/107 12550 /proc/meminfo: memFree=1824044/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=55384 CPUtime=162.24 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 11503 0 0 0 16194 30 0 0 25 0 1 0 11721186 56713216 11417 1992294400 134512640 137138936 4290321984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 13846 11417 191 642 0 13202 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 55384 [startup+222.301 s] /proc/loadavg: 1.11 1.04 1.00 2/107 12552 /proc/meminfo: memFree=1812636/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=66684 CPUtime=222.23 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 14306 0 0 0 22184 39 0 0 25 0 1 0 11721186 68284416 14220 1992294400 134512640 137138936 4290321984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 16671 14220 191 642 0 16027 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 66684 [startup+282.301 s] /proc/loadavg: 1.10 1.04 1.00 2/107 12554 /proc/meminfo: memFree=1810900/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=68164 CPUtime=282.21 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 14696 0 0 0 28178 43 0 0 25 0 1 0 11721186 69799936 14610 1992294400 134512640 137138936 4290321984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 17041 14610 191 642 0 16397 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 68164 [startup+342.301 s] /proc/loadavg: 1.09 1.05 1.00 2/107 12556 /proc/meminfo: memFree=1806188/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=72864 CPUtime=342.19 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 15866 0 0 0 34168 51 0 0 25 0 1 0 11721186 74612736 15780 1992294400 134512640 137138936 4290321984 18446744073709551615 134544823 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 18216 15780 191 642 0 17572 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 72864 [startup+402.301 s] /proc/loadavg: 1.12 1.07 1.01 2/107 12558 /proc/meminfo: memFree=1803832/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=75196 CPUtime=402.17 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 16449 0 0 0 40160 57 0 0 25 0 1 0 11721186 77000704 16363 1992294400 134512640 137138936 4290321984 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 18799 16363 191 642 0 18155 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 75196 [startup+462.301 s] /proc/loadavg: 1.04 1.05 1.00 2/107 12558 /proc/meminfo: memFree=1803708/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=75196 CPUtime=462.15 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 16449 0 0 0 46154 61 0 0 25 0 1 0 11721186 77000704 16363 1992294400 134512640 137138936 4290321984 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 18799 16363 191 642 0 18155 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 75196 [startup+522.301 s] /proc/loadavg: 1.01 1.04 1.00 2/107 12560 /proc/meminfo: memFree=1803336/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=75552 CPUtime=522.13 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 16538 0 0 0 52147 66 0 0 25 0 1 0 11721186 77365248 16452 1992294400 134512640 137138936 4290321984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 18888 16452 191 642 0 18244 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 75552 [startup+582.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 12562 /proc/meminfo: memFree=1795028/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=83764 CPUtime=582.12 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 18602 0 0 0 58140 72 0 0 25 0 1 0 11721186 85774336 18516 1992294400 134512640 137138936 4290321984 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 20941 18516 191 642 0 20297 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 83764 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12564 /proc/meminfo: memFree=1794904/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=83764 CPUtime=642.1 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 18602 0 0 0 64133 77 0 0 25 0 1 0 11721186 85774336 18516 1992294400 134512640 137138936 4290321984 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 20941 18516 191 642 0 20297 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 83764 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1787960/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=90360 CPUtime=1061.97 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 20247 0 0 0 106092 105 0 0 25 0 1 0 11721186 92528640 20161 1992294400 134512640 137138936 4290321984 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 22590 20161 191 642 0 21946 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 90360 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12585 /proc/meminfo: memFree=1783744/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=94624 CPUtime=1121.95 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 21310 0 0 0 112084 111 0 0 25 0 1 0 11721186 96894976 21224 1992294400 134512640 137138936 4290321984 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 23656 21224 191 642 0 23012 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 94624 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12587 /proc/meminfo: memFree=1783496/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=94696 CPUtime=1181.94 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 21328 0 0 0 118079 115 0 0 25 0 1 0 11721186 96968704 21242 1992294400 134512640 137138936 4290321984 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 23674 21242 191 642 0 23030 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 94696 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12589 /proc/meminfo: memFree=1783372/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=94696 CPUtime=1241.92 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 21328 0 0 0 124074 118 0 0 25 0 1 0 11721186 96968704 21242 1992294400 134512640 137138936 4290321984 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 23674 21242 191 642 0 23030 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 94696 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12591 /proc/meminfo: memFree=1782132/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=95812 CPUtime=1301.91 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 21614 0 0 0 130070 121 0 0 25 0 1 0 11721186 98111488 21528 1992294400 134512640 137138936 4290321984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 23953 21528 191 642 0 23309 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 95812 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12591 /proc/meminfo: memFree=1780148/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=97872 CPUtime=1361.89 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22122 0 0 0 136065 124 0 0 25 0 1 0 11721186 100220928 22036 1992294400 134512640 137138936 4290321984 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 24468 22036 191 642 0 23824 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 97872 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12593 /proc/meminfo: memFree=1780148/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=97872 CPUtime=1421.88 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22122 0 0 0 142061 127 0 0 25 0 1 0 11721186 100220928 22036 1992294400 134512640 137138936 4290321984 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 24468 22036 191 642 0 23824 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 97872 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12595 /proc/meminfo: memFree=1776924/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101176 CPUtime=1481.85 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 148055 130 0 0 25 0 1 0 11721186 103604224 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25294 22862 191 642 0 24650 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 101176 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12597 /proc/meminfo: memFree=1776800/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101176 CPUtime=1541.83 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 154050 133 0 0 25 0 1 0 11721186 103604224 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25294 22862 191 642 0 24650 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 101176 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12599 /proc/meminfo: memFree=1776800/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101168 CPUtime=1601.82 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 160045 137 0 0 25 0 1 0 11721186 103596032 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25292 22862 191 642 0 24648 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 101168 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12602 /proc/meminfo: memFree=1776304/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101164 CPUtime=1661.8 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 166040 140 0 0 25 0 1 0 11721186 103591936 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25291 22862 191 642 0 24647 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 101164 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12604 /proc/meminfo: memFree=1776304/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101164 CPUtime=1721.77 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 172033 144 0 0 25 0 1 0 11721186 103591936 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25291 22862 191 642 0 24647 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 101164 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12606 /proc/meminfo: memFree=1776304/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101164 CPUtime=1781.75 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 178028 147 0 0 25 0 1 0 11721186 103591936 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25291 22862 191 642 0 24647 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 101164 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12606 /proc/meminfo: memFree=1776304/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101164 CPUtime=1791.36 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 178988 148 0 0 25 0 1 0 11721186 103591936 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25291 22862 191 642 0 24647 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 101164 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12606 /proc/meminfo: memFree=1776304/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101164 CPUtime=1794.56 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 179308 148 0 0 25 0 1 0 11721186 103591936 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25291 22862 191 642 0 24647 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 101164 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12606 /proc/meminfo: memFree=1776304/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101164 CPUtime=1796.16 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 179468 148 0 0 25 0 1 0 11721186 103591936 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25291 22862 191 642 0 24647 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 101164 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12606 /proc/meminfo: memFree=1776304/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101164 CPUtime=1796.95 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 179547 148 0 0 25 0 1 0 11721186 103591936 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25291 22862 191 642 0 24647 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (KiB) 101164 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12606 /proc/meminfo: memFree=1776304/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101164 CPUtime=1797.75 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 179627 148 0 0 25 0 1 0 11721186 103591936 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25291 22862 191 642 0 24647 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 101164 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12606 /proc/meminfo: memFree=1776304/2059040 swapFree=4134488/4192956 [pid=12545] ppid=12543 vsize=101164 CPUtime=1797.96 /proc/12545/stat : 12545 (bsolo_pb10) R 12543 12545 12058 0 -1 4202496 22948 0 0 0 179648 148 0 0 25 0 1 0 11721186 103591936 22862 1992294400 134512640 137138936 4290321984 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12545/statm: 25291 22862 191 642 0 24647 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 101164 Child status: 0 Real time (s): 1798.56 CPU time (s): 1798.02 CPU user time (s): 1796.53 CPU system time (s): 1.49477 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 101276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.53 system time used= 1.49477 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22949 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= 6887 runsolver used 2.78158 second user time and 8.67668 second system time The end
Begin job on node017 at 2010-06-12 18:49:08 IDJOB=2657469 IDBENCH=1877 IDSOLVER=1163 FILE ID=node017/2657469-1276361348 PBS_JOBID= 11173211 Free space on /tmp= 62368 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657469-1276361348/watcher-2657469-1276361348 -o /tmp/evaluation-result-2657469-1276361348/solver-2657469-1276361348 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657469-1276361348.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED=1580837508 node017.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.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1869964 kB Buffers: 17508 kB Cached: 105816 kB SwapCached: 11200 kB Active: 87704 kB Inactive: 49036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1869964 kB SwapTotal: 4192956 kB SwapFree: 4134488 kB Dirty: 4028 kB Writeback: 0 kB AnonPages: 12172 kB Mapped: 9144 kB Slab: 30628 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183212 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= 62364 MiB End job on node017 at 2010-06-12 19:19:06