Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -32 | 1800.3 | 1801.07 |
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 | -39 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.19/0.29 c ...done 0.19/0.29 c #vars=760 #constraints=41620 hasObjective=yes 0.40/0.47 c res. mode=mod 0.40/0.47 c VSIDS like heuristics 0.40/0.47 c complete search running 0.40/0.50 c nbDecision=26 #constraints=41620 0.40/0.50 c linear search for optimum 0.40/0.50 o -26 0.49/0.52 c nbDecision=26 #constraints=41622 0.49/0.52 o -27 0.49/0.53 c nbDecision=28 #constraints=41624 0.49/0.53 o -28 0.49/0.59 c nbDecision=41 #constraints=41634 0.49/0.59 o -29 1.00/1.06 c nbDecision=162 #constraints=41697 1.00/1.06 o -30 1.19/1.21 c nbDecision=206 #constraints=41718 1.19/1.21 o -31 1.89/1.94 c restart after 401 decisions 2.30/2.38 c nbDecision=500 #constraints=41841 3.69/3.74 c restart after 801 decisions 5.19/5.23 c nbDecision=1000 #constraints=42116 9.19/9.20 c nbDecision=1500 #constraints=42476 9.99/10.01 c restart after 1601 decisions 13.49/13.57 c nbDecision=2000 #constraints=42782 17.99/18.04 c nbDecision=2500 #constraints=43078 22.69/22.75 c nbDecision=3000 #constraints=43379 24.68/24.77 c restart after 3201 decisions 28.98/29.06 c nbDecision=3500 #constraints=43638 29.69/29.74 c nbDecision=3554 #constraints=43670 29.69/29.74 o -32 35.78/35.82 c nbDecision=4000 #constraints=43953 41.48/41.53 c nbDecision=4500 #constraints=44227 48.07/48.13 c nbDecision=5000 #constraints=44515 55.27/55.35 c nbDecision=5500 #constraints=44789 65.17/65.20 c nbDecision=6000 #constraints=45141 72.47/72.52 c restart after 6401 decisions 77.07/77.17 c nbDecision=6500 #constraints=45431 86.36/86.44 c nbDecision=7000 #constraints=45732 96.95/97.02 c nbDecision=7500 #constraints=46019 107.55/107.63 c nbDecision=8000 #constraints=46311 119.75/119.87 c nbDecision=8500 #constraints=46657 133.54/133.67 c nbDecision=9000 #constraints=47030 147.35/147.46 c nbDecision=9500 #constraints=47360 164.33/164.45 c nbDecision=10000 #constraints=47743 182.03/182.10 c nbDecision=10500 #constraints=48101 196.63/196.79 c nbDecision=11000 #constraints=48431 216.92/217.01 c nbDecision=11500 #constraints=48818 233.31/233.43 c nbDecision=12000 #constraints=49141 255.29/255.49 c nbDecision=12500 #constraints=49517 270.19/270.32 c restart after 12801 decisions 284.39/284.51 c nbDecision=13000 #constraints=49841 306.69/306.90 c nbDecision=13500 #constraints=50139 328.27/328.43 c nbDecision=14000 #constraints=50459 347.76/347.98 c nbDecision=14500 #constraints=50746 370.36/370.57 c nbDecision=15000 #constraints=51058 390.75/390.93 c nbDecision=15500 #constraints=51290 424.14/424.32 c nbDecision=16000 #constraints=51666 458.03/458.28 c nbDecision=16500 #constraints=52081 492.21/492.44 c nbDecision=17000 #constraints=52429 527.40/527.69 c nbDecision=17500 #constraints=52823 557.09/557.39 c nbDecision=18000 #constraints=53165 584.89/585.14 c nbDecision=18500 #constraints=53496 613.27/613.57 c nbDecision=19000 #constraints=53797 644.06/644.31 c nbDecision=19500 #constraints=54126 672.35/672.68 c nbDecision=20000 #constraints=54386 710.34/710.65 c nbDecision=20500 #constraints=54720 755.52/755.81 c nbDecision=21000 #constraints=55126 807.40/807.79 c nbDecision=21500 #constraints=55524 844.19/844.53 c nbDecision=22000 #constraints=55872 883.17/883.55 c nbDecision=22500 #constraints=56228 923.27/923.79 c nbDecision=23000 #constraints=56583 966.23/966.71 c nbDecision=23500 #constraints=56964 1013.12/1013.66 c nbDecision=24000 #constraints=57359 1047.30/1047.85 c nbDecision=24500 #constraints=57657 1086.39/1086.94 c nbDecision=25000 #constraints=57979 1120.68/1121.29 c nbDecision=25500 #constraints=58254 1128.58/1129.10 c restart after 25601 decisions 1170.76/1171.37 c nbDecision=26000 #constraints=58553 1208.35/1208.97 c nbDecision=26500 #constraints=58862 1242.44/1243.08 c nbDecision=27000 #constraints=59157 1272.43/1273.01 c nbDecision=27500 #constraints=59393 1318.71/1319.33 c nbDecision=28000 #constraints=59725 1361.39/1362.07 c nbDecision=28500 #constraints=60010 1399.88/1400.52 c nbDecision=29000 #constraints=60321 1439.46/1440.16 c nbDecision=29500 #constraints=60590 1476.95/1477.69 c nbDecision=30000 #constraints=60868 1515.34/1516.08 c nbDecision=30500 #constraints=61155 1562.42/1563.15 c nbDecision=31000 #constraints=61474 1612.90/1613.64 c nbDecision=31500 #constraints=61793 1653.89/1654.61 c nbDecision=32000 #constraints=62093 1695.37/1696.18 c nbDecision=32500 #constraints=62381 1744.25/1745.08 c nbDecision=33000 #constraints=62678 1780.74/1781.52 c nbDecision=33500 #constraints=62946 1800.03/1800.80 Received signal 15 1800.13/1800.91 1800.13/1800.91 s SATISFIABLE 1800.13/1800.91 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.13/1800.91 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.13/1800.91 v -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 1800.13/1800.91 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.13/1800.91 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.13/1800.91 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.13/1800.91 v -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.13/1800.91 v -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.13/1800.91 v -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.13/1800.91 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 1800.13/1800.91 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 1800.13/1800.91 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 1800.13/1800.91 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.13/1800.91 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 1800.13/1800.91 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.13/1800.91 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.13/1800.91 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.13/1800.91 v x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 1800.13/1800.91 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 1800.13/1800.91 v x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.13/1800.91 v -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.13/1800.91 v -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.13/1800.91 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.13/1800.91 v -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.13/1800.91 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.13/1800.91 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.13/1800.91 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.13/1800.91 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 1800.13/1800.91 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.13/1800.91 v -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.13/1800.91 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 1800.13/1800.91 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 1800.13/1800.91 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.13/1800.91 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.13/1800.91 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.13/1800.91 v -x757 -x758 -x759 -x760 1800.13/1800.91 1800.13/1800.91 c user time= 1799.03 s 1800.13/1800.91 c system time= 1.12083 s 1800.13/1800.91 c wall clock time=1800.91
OK -32
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-357181-1176990365 -o ROOT/results/node46/solver-357181-1176990365 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357181-1176990365/instance-357181-1176990365.opb mod 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.90 3/78 24333 /proc/meminfo: memFree=1609320/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=1468 CPUtime=0 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 53719583 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 367 165 130 317 0 46 0 [startup+0.0403649 s] /proc/loadavg: 0.91 0.95 0.90 3/78 24333 /proc/meminfo: memFree=1609320/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=2260 CPUtime=0.03 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 379 0 0 0 3 0 0 0 18 0 1 0 53719583 2314240 361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 565 361 130 317 0 244 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2260 [startup+0.101369 s] /proc/loadavg: 0.91 0.95 0.90 3/78 24333 /proc/meminfo: memFree=1609320/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=3612 CPUtime=0.09 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 712 0 0 0 9 0 0 0 18 0 1 0 53719583 3698688 694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 903 694 130 317 0 582 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3612 [startup+0.301406 s] /proc/loadavg: 0.91 0.95 0.90 3/78 24333 /proc/meminfo: memFree=1609320/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=9912 CPUtime=0.29 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 2203 0 0 0 28 1 0 0 19 0 1 0 53719583 10149888 2152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 2478 2155 136 317 0 2157 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9912 [startup+0.70148 s] /proc/loadavg: 0.91 0.95 0.90 3/78 24333 /proc/meminfo: memFree=1609320/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=13692 CPUtime=0.69 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 3299 0 0 0 67 2 0 0 22 0 1 0 53719583 14020608 2963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284472 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 3423 2963 170 317 0 3102 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13692 [startup+1.50163 s] /proc/loadavg: 0.91 0.95 0.90 2/79 24334 /proc/meminfo: memFree=1596512/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=18060 CPUtime=1.49 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 4344 0 0 0 147 2 0 0 25 0 1 0 53719583 18493440 4008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 4515 4009 170 317 0 4194 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18060 [startup+3.10192 s] /proc/loadavg: 0.91 0.95 0.90 2/79 24334 /proc/meminfo: memFree=1592160/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=24544 CPUtime=3.09 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 5934 0 0 0 306 3 0 0 25 0 1 0 53719583 25133056 5598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 6136 5598 170 317 0 5815 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24544 [startup+6.30152 s] /proc/loadavg: 0.92 0.95 0.90 2/79 24334 /proc/meminfo: memFree=1581040/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=36348 CPUtime=6.29 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 8864 0 0 0 625 4 0 0 25 0 1 0 53719583 37220352 8528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 9087 8528 170 317 0 8766 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36348 [startup+12.7017 s] /proc/loadavg: 0.93 0.95 0.90 2/79 24334 /proc/meminfo: memFree=1557744/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=57416 CPUtime=12.68 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 13768 0 0 0 1262 6 0 0 25 0 1 0 53719583 58793984 13432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 14354 13432 170 317 0 14033 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 57416 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.91 2/79 24334 /proc/meminfo: memFree=1531760/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=80696 CPUtime=25.48 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 19780 0 0 0 2539 9 0 0 25 0 1 0 53719583 82632704 19444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 20174 19444 170 317 0 19853 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80696 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.91 2/79 24334 /proc/meminfo: memFree=1487920/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=127236 CPUtime=51.07 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 30901 0 0 0 5092 15 0 0 25 0 1 0 53719583 130289664 30565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 31809 30565 170 317 0 31488 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 127236 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.91 2/79 24334 /proc/meminfo: memFree=1426864/2055920 swapFree=4113908/4192956 [pid=24333] ppid=24331 vsize=195492 CPUtime=102.26 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 45974 0 0 0 10203 23 0 0 25 0 1 0 53719583 200183808 45638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 48873 45638 170 317 0 48552 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 195492 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24334 /proc/meminfo: memFree=1376304/2055920 swapFree=4113972/4192956 [pid=24333] ppid=24331 vsize=243504 CPUtime=162.23 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 58683 0 0 0 16194 29 0 0 25 0 1 0 53719583 249348096 58347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 60876 58347 170 317 0 60555 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 243504 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24334 /proc/meminfo: memFree=1335600/2055920 swapFree=4113972/4192956 [pid=24333] ppid=24331 vsize=280992 CPUtime=222.21 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 68777 0 0 0 22185 36 0 0 25 0 1 0 53719583 287735808 68441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 70248 68441 170 317 0 69927 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 280992 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24334 /proc/meminfo: memFree=1307504/2055920 swapFree=4114036/4192956 [pid=24333] ppid=24331 vsize=308304 CPUtime=282.19 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 75811 0 0 0 28179 40 0 0 25 0 1 0 53719583 315703296 75475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 77076 75475 170 317 0 76755 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 308304 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24334 /proc/meminfo: memFree=1258608/2055920 swapFree=4114036/4192956 [pid=24333] ppid=24331 vsize=378896 CPUtime=342.16 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 87966 0 0 0 34171 45 0 0 25 0 1 0 53719583 387989504 87630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 94724 87630 170 317 0 94403 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 378896 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24334 /proc/meminfo: memFree=1233136/2055920 swapFree=4114036/4192956 [pid=24333] ppid=24331 vsize=402960 CPUtime=402.15 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 94356 0 0 0 40166 49 0 0 25 0 1 0 53719583 412631040 94020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 100740 94020 170 317 0 100419 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 402960 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24334 /proc/meminfo: memFree=1210352/2055920 swapFree=4114100/4192956 [pid=24333] ppid=24331 vsize=424952 CPUtime=462.13 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 99996 0 0 0 46162 51 0 0 25 0 1 0 53719583 435150848 99660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 106238 99660 170 317 0 105917 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 424952 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24334 /proc/meminfo: memFree=1189680/2055920 swapFree=4114100/4192956 [pid=24333] ppid=24331 vsize=444872 CPUtime=522.11 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 105214 0 0 0 52157 54 0 0 25 0 1 0 53719583 455548928 104878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 111218 104878 170 317 0 110897 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 444872 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24334 /proc/meminfo: memFree=1165488/2055920 swapFree=4114164/4192956 [pid=24333] ppid=24331 vsize=466696 CPUtime=582.08 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 111216 0 0 0 58151 57 0 0 25 0 1 0 53719583 477896704 110880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 116674 110880 170 317 0 116353 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 466696 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24334 /proc/meminfo: memFree=1144304/2055920 swapFree=4114164/4192956 [pid=24333] ppid=24331 vsize=486364 CPUtime=642.06 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 116451 0 0 0 64145 61 0 0 25 0 1 0 53719583 498036736 116115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 121591 116115 170 317 0 121270 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 486364 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24334 /proc/meminfo: memFree=1074288/2055920 swapFree=4114292/4192956 [pid=24333] ppid=24331 vsize=551504 CPUtime=881.97 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 133937 0 0 0 88125 72 0 0 25 0 1 0 53719583 564740096 133601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 137876 133601 170 317 0 137555 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 551504 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/85 24508 /proc/meminfo: memFree=1055488/2055920 swapFree=4114292/4192956 [pid=24333] ppid=24331 vsize=567736 CPUtime=941.86 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 138331 0 0 0 94111 75 0 0 25 0 1 0 53719583 581361664 137995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 141934 137995 170 317 0 141613 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 567736 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=1039272/2055920 swapFree=4114356/4192956 [pid=24333] ppid=24331 vsize=583652 CPUtime=1001.83 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 142653 0 0 0 100104 79 0 0 25 0 1 0 53719583 597659648 142317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 145913 142317 170 317 0 145592 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 583652 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=1022312/2055920 swapFree=4114356/4192956 [pid=24333] ppid=24331 vsize=599316 CPUtime=1061.8 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 146916 0 0 0 106099 81 0 0 25 0 1 0 53719583 613699584 146580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 149829 146580 170 317 0 149508 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 599316 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=988136/2055920 swapFree=4114356/4192956 [pid=24333] ppid=24331 vsize=696116 CPUtime=1121.78 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 166337 0 0 0 112090 88 0 0 25 0 1 0 53719583 712822784 155045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 174029 155045 170 317 0 173708 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 696116 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=974440/2055920 swapFree=4114420/4192956 [pid=24333] ppid=24331 vsize=708756 CPUtime=1181.75 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 169971 0 0 0 118085 90 0 0 25 0 1 0 53719583 725766144 158514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 177189 158514 170 317 0 176868 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 708756 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=956904/2055920 swapFree=4114420/4192956 [pid=24333] ppid=24331 vsize=725340 CPUtime=1241.73 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 174611 0 0 0 124081 92 0 0 25 0 1 0 53719583 742748160 162824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 181335 162824 170 317 0 181014 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 725340 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=941040/2055920 swapFree=4114484/4192956 [pid=24333] ppid=24331 vsize=740180 CPUtime=1301.72 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 178746 0 0 0 130076 96 0 0 25 0 1 0 53719583 757944320 166761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 185045 166761 170 317 0 184724 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 740180 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=928688/2055920 swapFree=4114484/4192956 [pid=24333] ppid=24331 vsize=753528 CPUtime=1361.69 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 182080 0 0 0 136071 98 0 0 25 0 1 0 53719583 771612672 169897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 188382 169897 170 317 0 188061 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 753528 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=912624/2055920 swapFree=4114484/4192956 [pid=24333] ppid=24331 vsize=768072 CPUtime=1421.67 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 186141 0 0 0 142068 99 0 0 25 0 1 0 53719583 786505728 173859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 192018 173859 170 317 0 191697 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 768072 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=897328/2055920 swapFree=4114548/4192956 [pid=24333] ppid=24331 vsize=781880 CPUtime=1481.65 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 190077 0 0 0 148063 102 0 0 25 0 1 0 53719583 800645120 177729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 195470 177729 170 317 0 195149 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 781880 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=881968/2055920 swapFree=4114548/4192956 [pid=24333] ppid=24331 vsize=795892 CPUtime=1541.62 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 194074 0 0 0 154059 103 0 0 25 0 1 0 53719583 814993408 181528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 198973 181528 170 317 0 198652 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 795892 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=868272/2055920 swapFree=4114612/4192956 [pid=24333] ppid=24331 vsize=808024 CPUtime=1601.6 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 197621 0 0 0 160055 105 0 0 25 0 1 0 53719583 827416576 184976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 202006 184976 170 317 0 201685 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 808024 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=852912/2055920 swapFree=4114612/4192956 [pid=24333] ppid=24331 vsize=821540 CPUtime=1661.58 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 201567 0 0 0 166051 107 0 0 25 0 1 0 53719583 841256960 188790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711448 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 205385 188790 170 317 0 205064 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 821540 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=840880/2055920 swapFree=4114612/4192956 [pid=24333] ppid=24331 vsize=834832 CPUtime=1721.56 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 204829 0 0 0 172048 108 0 0 25 0 1 0 53719583 854867968 191821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 208708 191821 170 317 0 208387 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 834832 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=826096/2055920 swapFree=4114676/4192956 [pid=24333] ppid=24331 vsize=847636 CPUtime=1781.54 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 208545 0 0 0 178044 110 0 0 25 0 1 0 53719583 867979264 195504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 211909 195504 170 317 0 211588 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 847636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=822064/2055920 swapFree=4114676/4192956 [pid=24333] ppid=24331 vsize=851448 CPUtime=1800.03 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 209521 0 0 0 179892 111 0 0 25 0 1 0 53719583 871882752 196480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 212862 196480 170 317 0 212541 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 851448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24532 /proc/meminfo: memFree=822064/2055920 swapFree=4114676/4192956 [pid=24333] ppid=24331 vsize=0 CPUtime=1800.23 /proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194308 209537 0 0 0 179904 119 0 0 25 0 1 0 53719583 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24333/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.07 CPU time (s): 1800.3 CPU user time (s): 1799.05 CPU system time (s): 1.24881 CPU usage (%): 99.9573 Max. virtual memory (cumulated for all children) (KiB): 851448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.05 system time used= 1.24881 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 209537 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= 8 involuntary context switches= 18816 runsolver used 1.77973 second user time and 4.78527 second system time The end
Begin job on node46 on Thu Apr 19 13:46:06 UTC 2007 IDJOB= 357181 IDBENCH= 2240 IDSOLVER= 172 FILE ID= node46/357181-1176990365 PBS_JOBID= 4630453 Free space on /tmp= 66082 MiB SOLVER NAME= oree 0.1.2 alpha 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-5.opb COMMAND LINE= oree /tmp/evaluation/357181-1176990365/instance-357181-1176990365.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-357181-1176990365 -o ROOT/results/node46/solver-357181-1176990365 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357181-1176990365/instance-357181-1176990365.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1 RANDOM SEED= 787263412 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1609728 kB Buffers: 37372 kB Cached: 338756 kB SwapCached: 2904 kB Active: 206396 kB Inactive: 193132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1609728 kB SwapTotal: 4192956 kB SwapFree: 4113908 kB Dirty: 2292 kB Writeback: 0 kB Mapped: 30736 kB Slab: 31996 kB Committed_AS: 1950264 kB PageTables: 1988 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= 66082 MiB End job on node46 on Thu Apr 19 14:16:09 UTC 2007