Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -32 | 1798.06 | 1798.57 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb |
MD5SUM | f408a60720d5bae3e36cea0c41e2f7f1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1789.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -39 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41619 |
Number of constraints which are clauses | 41619 |
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.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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656551-1276489754.opb 0.00/0.00 c File size is 994325 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.162 s 0.09/0.17 c Var: 760 Constr: 41619 41619/0/0 Lit: 83238 Watch. Lit: 83238 0.09/0.17 c Obj. Vars: 760 (100 % of total variables) 0.79/0.89 c Pre-processing Time: 0.893 s 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 760 41619 83238 2 83238 13872 0 0 0.89 0.79/0.89 c Switching off lower bounding mode. 0.89/0.90 o -27 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 0 760 41620 83998 2 83267 14872 1 0 0.90 0.89/0.90 o -28 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 1 760 41622 85490 2 83299 14872 3 1 0.91 1.00/1.03 o -29 1.10/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.17 c 98 760 41730 164115 3 83544 14872 111 94 1.04 1.10/1.17 c 199 760 41850 251161 6 83784 16360 231 170 1.17 1.10/1.17 o -30 3.79/3.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.80 c 199 760 41851 251921 6 83816 14872 232 169 1.17 3.79/3.80 c 301 760 41964 333959 7 84042 16360 345 229 1.31 3.79/3.80 c 551 760 42251 542122 12 84616 17997 632 328 1.68 3.79/3.80 c 1026 760 42775 922354 21 85664 19797 1156 421 2.43 3.79/3.80 c 1839 760 43706 1597609 36 87526 21777 2087 489 3.76 3.79/3.80 o -31 130.05/130.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 130.05/130.10 c 1867 760 43738 1620879 37 87621 14872 2119 490 3.80 130.05/130.10 c 1968 760 43849 1701234 38 87843 16360 2230 496 3.96 130.05/130.10 c 2218 760 44122 1899198 43 88389 17997 2503 508 4.37 130.05/130.10 c 2693 760 44658 2287169 51 89461 19797 3039 520 5.18 130.05/130.10 c 3506 760 45585 2958711 64 91315 21777 3966 526 6.65 130.05/130.10 c 4826 760 47091 4048992 85 94327 23955 5472 512 9.41 130.05/130.10 c 6908 760 49473 5773584 116 99091 26351 7854 490 14.08 130.05/130.10 c 10131 760 53118 8413850 158 106381 28987 11499 430 23.51 130.05/130.10 c 15067 760 58761 12498837 212 117667 31886 17142 341 44.08 130.05/130.10 c 22573 760 67270 18658146 277 134767 35075 25651 297 75.96 130.05/130.10 c 33934 760 57273 11413420 199 114630 38583 15654 264 128.50 130.05/130.10 o -32 1797.99/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.51 c 34444 760 57878 11850714 204 115872 14873 16259 264 130.06 1797.99/1798.51 c 34545 760 49172 5547751 112 98376 16361 7553 263 130.87 1797.99/1798.51 c 34795 760 49444 5744684 116 98920 17998 7825 264 131.50 1797.99/1798.51 c 35270 760 49988 6137954 122 100008 19798 8369 266 132.57 1797.99/1798.51 c 36083 760 50918 6810149 133 101868 21778 9299 268 134.52 1797.99/1798.51 c 37403 760 52427 7900013 150 104915 23956 10808 272 137.39 1797.99/1798.51 c 39484 760 54812 9624794 175 109685 26352 13193 277 142.05 1797.99/1798.51 c 42707 760 58452 12258632 209 116965 28988 16833 281 151.52 1797.99/1798.51 c 47643 760 64182 16399611 255 128425 31887 22563 279 170.62 1797.99/1798.51 c 55150 760 72811 22638054 310 145683 35076 31192 269 204.89 1797.99/1798.51 c 66511 760 62753 15364665 244 125538 38584 21134 264 251.33 1797.99/1798.51 c 83655 760 55651 10220983 183 111361 42443 14032 243 343.16 1797.99/1798.51 c 109474 760 55367 10016211 180 110766 46688 13748 210 519.14 1797.99/1798.51 c 148306 760 65721 17494438 266 131504 51357 24102 187 790.04 1797.99/1798.51 c 206658 760 55970 10448497 186 111972 56493 14351 159 1296.75 1797.99/1798.51 c Resources Exceeded 1797.99/1798.51 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -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 -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 -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 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 1797.99/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.51 c 35 259059 21371 285683 72642 22444286 31023 144 1798.00 1797.99/1798.51 c Objective: -32 1797.99/1798.51 s SATISFIABLE 1797.99/1798.51 c Total time: 1798 s
OK -32
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656551-1276489754/watcher-2656551-1276489754 -o /tmp/evaluation-result-2656551-1276489754/solver-2656551-1276489754 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656551-1276489754.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.92 0.98 0.99 3/107 26981 /proc/meminfo: memFree=1739892/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=11904 CPUtime=0 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 355 0 0 0 0 0 0 0 22 0 1 0 22631104 12189696 274 1992294400 134512640 137138936 4294759488 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 2976 274 177 642 0 2089 0 [startup+0.075148 s] /proc/loadavg: 0.92 0.98 0.99 3/107 26981 /proc/meminfo: memFree=1739892/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=13552 CPUtime=0.07 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 859 0 0 0 7 0 0 0 22 0 1 0 22631104 13877248 778 1992294400 134512640 137138936 4294759488 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 3388 778 273 642 0 2501 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13552 [startup+0.10115 s] /proc/loadavg: 0.92 0.98 0.99 3/107 26981 /proc/meminfo: memFree=1739892/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=14104 CPUtime=0.09 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 1058 0 0 0 9 0 0 0 22 0 1 0 22631104 14442496 977 1992294400 134512640 137138936 4294759488 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 3526 977 312 642 0 2639 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14104 [startup+0.301168 s] /proc/loadavg: 0.92 0.98 0.99 3/107 26981 /proc/meminfo: memFree=1739892/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=18092 CPUtime=0.29 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 2414 0 0 0 28 1 0 0 22 0 1 0 22631104 18526208 2090 1992294400 134512640 137138936 4294759488 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 4523 2090 185 642 0 3879 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18092 [startup+0.701203 s] /proc/loadavg: 0.92 0.98 0.99 3/107 26981 /proc/meminfo: memFree=1739892/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=18092 CPUtime=0.69 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 2414 0 0 0 66 3 0 0 23 0 1 0 22631104 18526208 2090 1992294400 134512640 137138936 4294759488 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 4523 2090 185 642 0 3879 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18092 [startup+1.50028 s] /proc/loadavg: 0.92 0.98 0.99 2/108 26982 /proc/meminfo: memFree=1732568/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=21476 CPUtime=1.49 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 3835 0 0 0 145 4 0 0 25 0 1 0 22631104 21991424 2922 1992294400 134512640 137138936 4294759488 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 5369 2922 192 642 0 4725 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21476 [startup+3.10042 s] /proc/loadavg: 0.92 0.98 0.99 2/108 26982 /proc/meminfo: memFree=1724384/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=32380 CPUtime=3.09 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 6560 0 0 0 303 6 0 0 25 0 1 0 22631104 33157120 5647 1992294400 134512640 137138936 4294759488 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 8095 5647 192 642 0 7451 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32380 [startup+6.3007 s] /proc/loadavg: 0.93 0.98 0.99 2/108 26982 /proc/meminfo: memFree=1703428/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=51924 CPUtime=6.29 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 11458 0 0 0 621 8 0 0 25 0 1 0 22631104 53170176 10545 1992294400 134512640 137138936 4294759488 18446744073709551615 134599686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 12981 10545 192 642 0 12337 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51924 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/108 26982 /proc/meminfo: memFree=1669204/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=83940 CPUtime=12.69 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 19455 0 0 0 1257 12 0 0 25 0 1 0 22631104 85954560 18542 1992294400 134512640 137138936 4294759488 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 20985 18542 192 642 0 20341 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 83940 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/108 26982 /proc/meminfo: memFree=1619976/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=130952 CPUtime=25.48 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 31221 0 0 0 2530 18 0 0 25 0 1 0 22631104 134094848 30308 1992294400 134512640 137138936 4294759488 18446744073709551615 134607262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 32738 30308 192 642 0 32094 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 130952 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/108 26984 /proc/meminfo: memFree=1551404/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=200192 CPUtime=51.07 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 48537 0 0 0 5078 29 0 0 25 0 1 0 22631104 204996608 47624 1992294400 134512640 137138936 4294759488 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 50048 47624 192 642 0 49404 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 200192 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/108 26984 /proc/meminfo: memFree=1427776/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=321868 CPUtime=102.26 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 78949 0 0 0 10175 51 0 0 25 0 1 0 22631104 329592832 78036 1992294400 134512640 137138936 4294759488 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 80467 78036 192 642 0 79823 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 321868 [startup+162.302 s] /proc/loadavg: 1.07 1.00 1.00 2/108 26986 /proc/meminfo: memFree=1398636/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=350360 CPUtime=162.24 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 86084 0 0 0 16163 61 0 0 25 0 1 0 22631104 358768640 85136 1992294400 134512640 137138936 4294759488 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 87590 85136 192 642 0 86946 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 350360 [startup+222.301 s] /proc/loadavg: 1.02 1.00 1.00 2/108 26988 /proc/meminfo: memFree=1398636/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=350276 CPUtime=222.22 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 86117 0 0 0 22155 67 0 0 25 0 1 0 22631104 358682624 85145 1992294400 134512640 137138936 4294759488 18446744073709551615 136504506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 87569 85145 192 642 0 86925 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 350276 [startup+282.301 s] /proc/loadavg: 1.08 1.02 1.00 2/108 26990 /proc/meminfo: memFree=1398636/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=350276 CPUtime=282.2 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 86117 0 0 0 28146 74 0 0 25 0 1 0 22631104 358682624 85145 1992294400 134512640 137138936 4294759488 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 87569 85145 192 642 0 86925 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 350276 [startup+342.302 s] /proc/loadavg: 1.10 1.03 1.00 2/108 26990 /proc/meminfo: memFree=1366148/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=382836 CPUtime=342.19 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 94284 0 0 0 34135 84 0 0 25 0 1 0 22631104 392024064 93273 1992294400 134512640 137138936 4294759488 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 95709 93273 192 642 0 95065 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 382836 [startup+402.301 s] /proc/loadavg: 1.10 1.04 1.00 2/108 26992 /proc/meminfo: memFree=1366148/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=382836 CPUtime=402.17 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 94284 0 0 0 40129 88 0 0 25 0 1 0 22631104 392024064 93273 1992294400 134512640 137138936 4294759488 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 95709 93273 192 642 0 95065 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 382836 [startup+462.302 s] /proc/loadavg: 1.09 1.04 1.00 2/108 26994 /proc/meminfo: memFree=1366024/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=382836 CPUtime=462.16 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 94284 0 0 0 46123 93 0 0 25 0 1 0 22631104 392024064 93273 1992294400 134512640 137138936 4294759488 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 95709 93273 192 642 0 95065 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 382836 [startup+522.302 s] /proc/loadavg: 1.06 1.05 1.00 2/108 26996 /proc/meminfo: memFree=1330684/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=418152 CPUtime=522.14 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 103146 0 0 0 52111 103 0 0 25 0 1 0 22631104 428187648 102092 1992294400 134512640 137138936 4294759488 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 104538 102092 192 642 0 103894 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 418152 [startup+582.301 s] /proc/loadavg: 1.02 1.03 1.00 2/108 27001 /proc/meminfo: memFree=1330064/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=418152 CPUtime=582.12 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 103146 0 0 0 58104 108 0 0 25 0 1 0 22631104 428187648 102092 1992294400 134512640 137138936 4294759488 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 104538 102092 192 642 0 103894 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 418152 [startup+642.302 s] /proc/loadavg: 1.01 1.03 1.00 2/108 27001 /proc/meminfo: memFree=1330064/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=418152 CPUtime=642.11 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 103146 0 0 0 64098 113 0 0 25 0 1 0 22631104 428187648 102092 1992294400 134512640 137138936 4294759488 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 104538 102092 192 642 0 103894 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 418152 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1246116/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=501972 CPUtime=1061.99 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 124216 0 0 0 106047 152 0 0 25 0 1 0 22631104 514019328 123064 1992294400 134512640 137138936 4294759488 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 125493 123064 192 642 0 124849 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 501972 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27015 /proc/meminfo: memFree=1245992/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=501972 CPUtime=1121.97 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 124216 0 0 0 112041 156 0 0 25 0 1 0 22631104 514019328 123064 1992294400 134512640 137138936 4294759488 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 125493 123064 192 642 0 124849 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 501972 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27017 /proc/meminfo: memFree=1245868/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=501972 CPUtime=1181.95 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 124216 0 0 0 118036 159 0 0 25 0 1 0 22631104 514019328 123064 1992294400 134512640 137138936 4294759488 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 125493 123064 192 642 0 124849 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 501972 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27017 /proc/meminfo: memFree=1245620/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=501972 CPUtime=1241.93 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 124216 0 0 0 124031 162 0 0 25 0 1 0 22631104 514019328 123064 1992294400 134512640 137138936 4294759488 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 125493 123064 192 642 0 124849 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 501972 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27019 /proc/meminfo: memFree=1245496/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=501972 CPUtime=1301.93 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 124216 0 0 0 130029 164 0 0 25 0 1 0 22631104 514019328 123064 1992294400 134512640 137138936 4294759488 18446744073709551615 134599695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 125493 123064 192 642 0 124849 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 501972 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27021 /proc/meminfo: memFree=1245496/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=501972 CPUtime=1361.91 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 124216 0 0 0 136022 169 0 0 25 0 1 0 22631104 514019328 123064 1992294400 134512640 137138936 4294759488 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 125493 123064 192 642 0 124849 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 501972 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27023 /proc/meminfo: memFree=1245496/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=501972 CPUtime=1421.89 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 124216 0 0 0 142017 172 0 0 25 0 1 0 22631104 514019328 123064 1992294400 134512640 137138936 4294759488 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 125493 123064 192 642 0 124849 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 501972 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27025 /proc/meminfo: memFree=1245496/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=501972 CPUtime=1481.87 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 124216 0 0 0 148011 176 0 0 25 0 1 0 22631104 514019328 123064 1992294400 134512640 137138936 4294759488 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 125493 123064 192 642 0 124849 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 501972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27025 /proc/meminfo: memFree=1245372/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=501972 CPUtime=1541.85 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 124216 0 0 0 154006 179 0 0 25 0 1 0 22631104 514019328 123064 1992294400 134512640 137138936 4294759488 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 125493 123064 192 642 0 124849 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 501972 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27027 /proc/meminfo: memFree=1232724/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=515660 CPUtime=1601.83 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 127616 0 0 0 160001 182 0 0 25 0 1 0 22631104 528035840 126464 1992294400 134512640 137138936 4294759488 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 128915 126464 192 642 0 128271 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 515660 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27029 /proc/meminfo: memFree=1198252/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=549412 CPUtime=1661.82 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 136129 0 0 0 165993 189 0 0 25 0 1 0 22631104 562597888 134921 1992294400 134512640 137138936 4294759488 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 137353 134921 192 642 0 136709 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 549412 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27031 /proc/meminfo: memFree=1198128/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=549412 CPUtime=1721.8 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 136129 0 0 0 171988 192 0 0 25 0 1 0 22631104 562597888 134921 1992294400 134512640 137138936 4294759488 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 137353 134921 192 642 0 136709 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 549412 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27033 /proc/meminfo: memFree=1197880/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=549412 CPUtime=1781.78 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 136129 0 0 0 177984 194 0 0 25 0 1 0 22631104 562597888 134921 1992294400 134512640 137138936 4294759488 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 137353 134921 192 642 0 136709 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 549412 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27033 /proc/meminfo: memFree=1197880/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=549412 CPUtime=1791.39 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 136129 0 0 0 178944 195 0 0 25 0 1 0 22631104 562597888 134921 1992294400 134512640 137138936 4294759488 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 137353 134921 192 642 0 136709 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 549412 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27033 /proc/meminfo: memFree=1197880/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=549412 CPUtime=1794.59 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 136129 0 0 0 179263 196 0 0 25 0 1 0 22631104 562597888 134921 1992294400 134512640 137138936 4294759488 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 137353 134921 192 642 0 136709 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 549412 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27033 /proc/meminfo: memFree=1197880/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=549412 CPUtime=1796.19 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 136129 0 0 0 179423 196 0 0 25 0 1 0 22631104 562597888 134921 1992294400 134512640 137138936 4294759488 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 137353 134921 192 642 0 136709 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 549412 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27033 /proc/meminfo: memFree=1197880/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=549412 CPUtime=1796.98 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 136129 0 0 0 179502 196 0 0 25 0 1 0 22631104 562597888 134921 1992294400 134512640 137138936 4294759488 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 137353 134921 192 642 0 136709 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 549412 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27033 /proc/meminfo: memFree=1197880/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=549412 CPUtime=1797.78 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 136129 0 0 0 179582 196 0 0 25 0 1 0 22631104 562597888 134921 1992294400 134512640 137138936 4294759488 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 137353 134921 192 642 0 136709 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 549412 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27033 /proc/meminfo: memFree=1197880/2059040 swapFree=4140108/4192956 [pid=26981] ppid=26979 vsize=549412 CPUtime=1797.99 /proc/26981/stat : 26981 (bsolo_pb10) R 26979 26981 25828 0 -1 4202496 136129 0 0 0 179603 196 0 0 25 0 1 0 22631104 562597888 134921 1992294400 134512640 137138936 4294759488 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26981/statm: 137353 134921 192 642 0 136709 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 549412 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.06 CPU user time (s): 1796.04 CPU system time (s): 2.02069 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 549636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.04 system time used= 2.02069 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 136130 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= 2828 runsolver used 2.96455 second user time and 8.48671 second system time The end
Begin job on node025 at 2010-06-14 06:29:14 IDJOB=2656551 IDBENCH=2240 IDSOLVER=1162 FILE ID=node025/2656551-1276489754 PBS_JOBID= 11173381 Free space on /tmp= 62572 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656551-1276489754/watcher-2656551-1276489754 -o /tmp/evaluation-result-2656551-1276489754/solver-2656551-1276489754 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656551-1276489754.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1 RANDOM SEED=1147424496 node025.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.242 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.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1740420 kB Buffers: 88448 kB Cached: 137696 kB SwapCached: 6908 kB Active: 101896 kB Inactive: 137724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1740420 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 4976 kB Writeback: 0 kB AnonPages: 11328 kB Mapped: 12804 kB Slab: 57040 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182212 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= 62568 MiB End job on node025 at 2010-06-14 06:59:12