Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -32 | 1800.1 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 5249f5f1c551add7f5b5b920fc1c3b9c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
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 | 2 |
Number of terms in the objective function | 760 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
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.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353436-1176665989/instance-353436-1176665989.opb 0.00/0.00 c File size is 986607 bytes. 0.09/0.16 c Highest Coefficient sum: 760 0.09/0.16 c Parsing was ok!! 0.09/0.16 c Total parsing time: 0.164 s 0.09/0.18 c Var: 760 Constr: 41263 41263/0/0 Lit: 82526 Watch. Lit: 82526 0.09/0.18 c Obj. Vars: 760 (100 % of total variables) 0.79/0.86 c Pre-processing Time: 0.863 s 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 0 760 41263 82526 2 82526 13754 0 0 0.86 0.79/0.86 c Switching off LPR mode. 0.79/0.87 o -29 0.87 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 0 760 41264 83286 2 82557 14754 1 0 0.87 0.79/0.88 o -30 0.881 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 22 760 41287 100057 2 82633 14754 24 24 0.88 0.89/0.98 c 123 760 41388 173431 4 82835 16230 125 132 0.93 0.89/0.98 o -31 0.978 590.78/591.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 590.78/591.08 c 238 760 41504 257605 6 83098 14754 241 242 0.98 590.78/591.08 c 338 760 41604 330054 7 83298 16230 341 331 1.02 590.78/591.08 c 588 760 41854 511486 12 83798 17854 591 511 1.15 590.78/591.08 c 1064 760 42330 856578 20 84750 19640 1067 758 1.40 590.78/591.08 c 1878 760 43144 1446661 33 86378 21605 1881 888 2.11 590.78/591.08 c 3199 760 44465 2404645 54 89020 23766 3202 1049 3.05 590.78/591.08 c 5280 760 46546 3913999 84 93182 26143 5283 1064 4.96 590.78/591.08 c 8503 760 49769 6251059 125 99628 28758 8506 852 9.97 590.78/591.08 c 13439 760 54705 9826989 179 109500 31634 13442 682 19.69 590.78/591.08 c 20945 760 62211 15269122 245 124512 34798 20948 510 41.05 590.78/591.08 c 32308 760 73574 23509850 319 147238 38278 32311 378 85.26 590.78/591.08 c 49452 760 63225 16009425 253 126481 42106 21962 283 174.55 590.78/591.08 c 75271 760 57749 12036476 208 115529 46317 16486 192 391.85 590.78/591.08 o -32 590.875 1799.97/1800.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.75 c 102057 760 84536 31446805 371 169135 14754 43273 172 590.88 1799.97/1800.75 c 102158 760 48742 5500892 112 97516 16230 7479 170 598.64 1799.97/1800.75 c 102408 760 48992 5681928 115 98016 17854 7729 170 599.19 1799.97/1800.75 c 102883 760 49467 6026383 121 98966 19640 8204 171 599.63 1799.97/1800.75 c 103696 760 50280 6615332 131 100592 21605 9017 172 600.21 1799.97/1800.75 c 105016 760 51600 7571629 146 103232 23766 10337 174 601.22 1799.97/1800.75 c 107098 760 53682 9079517 169 107396 26143 12419 177 604.30 1799.97/1800.75 c 110321 760 56905 11413266 200 113842 28758 15642 180 611.16 1799.97/1800.75 c 115257 760 61841 14989706 242 123714 31634 20578 185 622.29 1799.97/1800.75 c 122764 760 69348 20426277 294 138728 34798 28085 191 640.21 1799.97/1800.75 c 134125 760 56455 11073172 196 112942 38278 15192 180 742.97 1799.97/1800.75 c 151269 760 73599 23491561 319 147230 42106 32336 179 840.41 1799.97/1800.75 c 177089 760 68091 19501815 286 136214 46317 26828 166 1061.97 1799.97/1800.75 c 215921 760 71473 21954005 307 142978 50949 30210 153 1403.37 1799.97/1800.75 c Resources Exceeded 1799.97/1800.75 v x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 1799.97/1800.75 v -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 1799.97/1800.75 v -x718 -x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 1799.97/1800.75 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 x677 1799.97/1800.75 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 1799.97/1800.75 v -x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 1799.97/1800.75 v -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 1799.97/1800.75 v -x613 -x612 -x611 -x610 x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 1799.97/1800.75 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 1799.97/1800.75 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 1799.97/1800.75 v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 1799.97/1800.75 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 1799.97/1800.75 v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 1799.97/1800.75 v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 1799.97/1800.75 v -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 1799.97/1800.75 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 1799.97/1800.75 v -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 -x404 1799.97/1800.75 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 1799.97/1800.75 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 1799.97/1800.75 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 1799.97/1800.75 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 1799.97/1800.75 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 1799.97/1800.75 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 1799.97/1800.75 v -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 1799.97/1800.75 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 1799.97/1800.75 v -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 1799.97/1800.75 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 1799.97/1800.75 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 1799.97/1800.75 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 1799.97/1800.75 v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1799.97/1800.75 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 1799.97/1800.75 v -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 1799.97/1800.75 v -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 1799.97/1800.75 v -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 1799.97/1800.75 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 1799.97/1800.75 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1799.97/1800.75 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.75 c 30 259443 26318 293183 74999 24503961 33736 144 1800.02 1799.97/1800.75 c Objective: -32 1799.97/1800.75 s SATISFIABLE 1799.97/1800.75 c Total time: 1800.02 s
OK -32
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-353436-1176665989 -o ROOT/results/node66/solver-353436-1176665989 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353436-1176665989/instance-353436-1176665989.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.96 3/64 5868 /proc/meminfo: memFree=1650680/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=12700 CPUtime=0 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 142588488 13004800 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 3175 335 281 324 0 2003 0 [startup+0.0804051 s] /proc/loadavg: 0.91 0.95 0.96 3/64 5868 /proc/meminfo: memFree=1650680/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=6816 CPUtime=0.07 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 958 0 0 0 7 0 0 0 18 0 1 0 142588488 6979584 926 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 1704 928 394 324 0 532 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6816 [startup+0.101408 s] /proc/loadavg: 0.91 0.95 0.96 3/64 5868 /proc/meminfo: memFree=1650680/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=7368 CPUtime=0.09 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 1121 0 0 0 9 0 0 0 18 0 1 0 142588488 7544832 1089 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546132 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 1842 1089 425 324 0 670 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7368 [startup+0.301447 s] /proc/loadavg: 0.91 0.95 0.96 3/64 5868 /proc/meminfo: memFree=1650680/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=11352 CPUtime=0.29 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 2483 0 0 0 28 1 0 0 19 0 1 0 142588488 11624448 2210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 2838 2210 307 324 0 1907 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11352 [startup+0.701528 s] /proc/loadavg: 0.91 0.95 0.96 3/64 5868 /proc/meminfo: memFree=1650680/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=11352 CPUtime=0.69 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 2483 0 0 0 68 1 0 0 22 0 1 0 142588488 11624448 2210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 2838 2210 307 324 0 1907 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11352 [startup+1.50169 s] /proc/loadavg: 0.91 0.95 0.96 2/65 5869 /proc/meminfo: memFree=1641584/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=21800 CPUtime=1.49 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 5673 0 0 0 145 4 0 0 25 0 1 0 142588488 22323200 4815 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 5450 4815 312 324 0 4519 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21800 [startup+3.10201 s] /proc/loadavg: 0.91 0.95 0.96 2/65 5869 /proc/meminfo: memFree=1626672/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=40756 CPUtime=3.09 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 10417 0 0 0 303 6 0 0 25 0 1 0 142588488 41734144 9559 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 10189 9559 312 324 0 9258 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40756 [startup+6.30164 s] /proc/loadavg: 0.92 0.95 0.96 2/65 5869 /proc/meminfo: memFree=1590320/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=70712 CPUtime=6.29 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 17929 0 0 0 619 10 0 0 25 0 1 0 142588488 72409088 17071 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 17678 17071 312 324 0 16747 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 70712 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.96 2/65 5869 /proc/meminfo: memFree=1547760/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=110840 CPUtime=12.69 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 27938 0 0 0 1254 15 0 0 25 0 1 0 142588488 113500160 27080 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 27710 27080 312 324 0 26779 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 110840 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.96 2/65 5869 /proc/meminfo: memFree=1485808/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=168756 CPUtime=25.49 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 42427 0 0 0 2526 23 0 0 25 0 1 0 142588488 172806144 41569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 42189 41569 312 324 0 41258 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 168756 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.96 2/65 5869 /proc/meminfo: memFree=1406960/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=248456 CPUtime=51.07 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 62339 0 0 0 5073 34 0 0 25 0 1 0 142588488 254418944 61481 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 62114 61481 312 324 0 61183 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 248456 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.96 2/65 5869 /proc/meminfo: memFree=1288752/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=364908 CPUtime=102.26 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 91451 0 0 0 10174 52 0 0 25 0 1 0 142588488 373665792 90593 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 91227 90593 312 324 0 90296 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 364908 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1279536/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=373588 CPUtime=162.23 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 93685 0 0 0 16169 54 0 0 25 0 1 0 142588488 382554112 92788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 93397 92788 312 324 0 92466 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 373588 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1279536/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=373588 CPUtime=222.22 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 93685 0 0 0 22164 58 0 0 25 0 1 0 142588488 382554112 92788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 93397 92788 312 324 0 92466 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 373588 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1272432/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=381508 CPUtime=282.19 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 95658 0 0 0 28159 60 0 0 25 0 1 0 142588488 390664192 94761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 95377 94761 312 324 0 94446 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 381508 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1243632/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=409392 CPUtime=342.17 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 102674 0 0 0 34151 66 0 0 25 0 1 0 142588488 419217408 101735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 102348 101735 312 324 0 101417 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 409392 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1243632/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=409392 CPUtime=402.15 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 102674 0 0 0 40147 68 0 0 25 0 1 0 142588488 419217408 101735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 102348 101735 312 324 0 101417 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 409392 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1243632/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=409392 CPUtime=462.13 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 102674 0 0 0 46142 71 0 0 25 0 1 0 142588488 419217408 101735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10270049 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 102348 101735 312 324 0 101417 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 409392 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 3/65 5869 /proc/meminfo: memFree=1243632/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=409392 CPUtime=522.11 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 102674 0 0 0 52137 74 0 0 25 0 1 0 142588488 419217408 101735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 102348 101735 312 324 0 101417 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 409392 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1243632/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=409392 CPUtime=582.09 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 102674 0 0 0 58134 75 0 0 25 0 1 0 142588488 419217408 101735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 102348 101735 312 324 0 101417 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 409392 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=413168 CPUtime=642.07 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 64128 79 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 103292 102683 312 324 0 102361 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 413168 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=413168 CPUtime=822.01 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 82117 84 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 103292 102683 312 324 0 102361 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 413168 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=413168 CPUtime=881.98 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 88111 87 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 103292 102683 312 324 0 102361 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 413168 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=413168 CPUtime=941.96 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 94107 89 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 103292 102683 312 324 0 102361 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 413168 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=413168 CPUtime=1001.94 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 100102 92 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 103292 102683 312 324 0 102361 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 413168 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=413168 CPUtime=1061.92 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 106099 93 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 103292 102683 312 324 0 102361 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 413168 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=413168 CPUtime=1121.9 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 112094 96 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10270558 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 103292 102683 312 324 0 102361 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 413168 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1204784/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=448032 CPUtime=1181.88 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 118086 102 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 112008 111381 312 324 0 111077 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 448032 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 5869 /proc/meminfo: memFree=1204784/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=448032 CPUtime=1241.85 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 124081 104 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 112008 111381 312 324 0 111077 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 448032 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/71 6025 /proc/meminfo: memFree=1203448/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=448032 CPUtime=1301.77 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 130071 106 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 112008 111381 312 324 0 111077 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 448032 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6067 /proc/meminfo: memFree=1204592/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=448032 CPUtime=1361.71 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 136064 107 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 112008 111381 312 324 0 111077 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 448032 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6067 /proc/meminfo: memFree=1204592/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=448032 CPUtime=1421.7 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 142061 109 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 112008 111381 312 324 0 111077 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 448032 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6067 /proc/meminfo: memFree=1204592/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=448032 CPUtime=1481.68 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 148055 113 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 112008 111381 312 324 0 111077 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 448032 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6067 /proc/meminfo: memFree=1169264/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=483576 CPUtime=1541.65 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 121301 0 0 0 154045 120 0 0 25 0 1 0 142588488 495181824 120273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 120894 120273 312 324 0 119963 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 483576 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6067 /proc/meminfo: memFree=1161392/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=491128 CPUtime=1601.63 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 123229 0 0 0 160040 123 0 0 25 0 1 0 142588488 502915072 122150 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 122782 122150 312 324 0 121851 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 491128 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6067 /proc/meminfo: memFree=1161392/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=491128 CPUtime=1661.61 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 123229 0 0 0 166037 124 0 0 25 0 1 0 142588488 502915072 122150 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 122782 122150 312 324 0 121851 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 491128 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6067 /proc/meminfo: memFree=1161456/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=491128 CPUtime=1721.59 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 123229 0 0 0 172033 126 0 0 25 0 1 0 142588488 502915072 122150 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 122782 122150 312 324 0 121851 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 491128 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6067 /proc/meminfo: memFree=1161456/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=491128 CPUtime=1781.57 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 123229 0 0 0 178030 127 0 0 25 0 1 0 142588488 502915072 122150 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 122782 122150 312 324 0 121851 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 491128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6067 /proc/meminfo: memFree=1459056/2055920 swapFree=4184568/4192956 [pid=5868] ppid=5866 vsize=0 CPUtime=1800.07 /proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194308 123230 0 0 0 179874 133 0 0 25 0 1 0 142588488 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.1 CPU user time (s): 1798.74 CPU system time (s): 1.35879 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (KiB): 491332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.74 system time used= 1.35879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 123230 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= 12 involuntary context switches= 2521 runsolver used 1.18882 second user time and 3.79442 second system time The end
Begin job on node66 on Sun Apr 15 19:39:49 UTC 2007 IDJOB= 353436 IDBENCH= 2242 IDSOLVER= 163 FILE ID= node66/353436-1176665989 PBS_JOBID= 4559917 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353436-1176665989/instance-353436-1176665989.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-353436-1176665989 -o ROOT/results/node66/solver-353436-1176665989 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353436-1176665989/instance-353436-1176665989.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c RANDOM SEED= 248352206 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.281 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.281 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1651088 kB Buffers: 23488 kB Cached: 291508 kB SwapCached: 2156 kB Active: 76648 kB Inactive: 247764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1651088 kB SwapTotal: 4192956 kB SwapFree: 4184568 kB Dirty: 5436 kB Writeback: 0 kB Mapped: 16260 kB Slab: 66496 kB Committed_AS: 302028 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node66 on Sun Apr 15 20:09:52 UTC 2007