Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -23 | 1800.19 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_5.opb |
MD5SUM | a142d6d7b95394ce9dab5e7d7d075ea6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -25 |
Best CPU time to get the best result obtained on this benchmark | 218.328 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -25 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1252 |
Sum of products size (including duplicates) | 2504 |
Number of different products | 626 |
Sum of products size | 1252 |
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.00/0.01 c ...done 0.00/0.01 c #vars=726 #constraints=1453 hasObjective=yes 0.00/0.05 c res. mode=mod 0.00/0.05 c VSIDS like heuristics 0.00/0.05 c complete search running 0.00/0.05 c nbDecision=18 #constraints=1453 0.00/0.05 c linear search for optimum 0.00/0.05 o -18 0.09/0.12 c nbDecision=129 #constraints=1552 0.09/0.12 o -19 0.29/0.30 c restart after 401 decisions 0.29/0.38 c nbDecision=500 #constraints=1864 0.49/0.57 c nbDecision=742 #constraints=2059 0.49/0.57 o -20 0.49/0.59 c nbDecision=759 #constraints=2075 0.49/0.59 o -21 0.60/0.63 c restart after 801 decisions 0.79/0.89 c nbDecision=1000 #constraints=2285 1.79/1.84 c nbDecision=1500 #constraints=2746 1.99/2.09 c restart after 1601 decisions 3.20/3.28 c nbDecision=2000 #constraints=3186 4.89/4.95 c nbDecision=2500 #constraints=3569 7.39/7.40 c nbDecision=3000 #constraints=4018 8.69/8.71 c restart after 3201 decisions 11.19/11.29 c nbDecision=3500 #constraints=4469 16.49/16.54 c nbDecision=4000 #constraints=4926 21.39/21.49 c nbDecision=4500 #constraints=5293 26.99/27.04 c nbDecision=5000 #constraints=5688 32.08/32.14 c nbDecision=5500 #constraints=6034 39.08/39.17 c nbDecision=6000 #constraints=6440 46.28/46.31 c restart after 6401 decisions 48.58/48.69 c nbDecision=6500 #constraints=6850 57.88/57.94 c nbDecision=7000 #constraints=7253 67.97/68.01 c nbDecision=7500 #constraints=7641 80.37/80.41 c nbDecision=8000 #constraints=8102 92.47/92.50 c nbDecision=8500 #constraints=8537 104.07/104.13 c nbDecision=9000 #constraints=8956 116.57/116.66 c nbDecision=9500 #constraints=9323 131.46/131.50 c nbDecision=10000 #constraints=9767 144.76/144.85 c nbDecision=10500 #constraints=10150 157.46/157.52 c nbDecision=11000 #constraints=10492 170.55/170.63 c nbDecision=11500 #constraints=10873 183.35/183.45 c nbDecision=12000 #constraints=11211 183.75/183.88 c nbDecision=12023 #constraints=11223 183.75/183.88 o -22 202.74/202.83 c nbDecision=12500 #constraints=11630 214.14/214.26 c restart after 12801 decisions 224.14/224.20 c nbDecision=13000 #constraints=12077 246.93/247.04 c nbDecision=13500 #constraints=12535 272.53/272.68 c nbDecision=14000 #constraints=13016 296.62/296.77 c nbDecision=14500 #constraints=13479 324.01/324.15 c nbDecision=15000 #constraints=13946 353.80/353.96 c nbDecision=15500 #constraints=14433 382.10/382.26 c nbDecision=16000 #constraints=14870 389.90/390.06 c nbDecision=16163 #constraints=14984 389.90/390.06 o -23 409.09/409.25 c nbDecision=16500 #constraints=15282 439.09/439.29 c nbDecision=17000 #constraints=15736 472.68/472.80 c nbDecision=17500 #constraints=16217 506.47/506.66 c nbDecision=18000 #constraints=16704 540.36/540.56 c nbDecision=18500 #constraints=17169 574.16/574.33 c nbDecision=19000 #constraints=17637 609.04/609.25 c nbDecision=19500 #constraints=18099 645.93/646.17 c nbDecision=20000 #constraints=18594 685.33/685.53 c nbDecision=20500 #constraints=19085 725.91/726.12 c nbDecision=21000 #constraints=19572 760.91/761.16 c nbDecision=21500 #constraints=19961 798.70/798.94 c nbDecision=22000 #constraints=20397 841.48/841.71 c nbDecision=22500 #constraints=20853 879.48/879.78 c nbDecision=23000 #constraints=21321 924.07/924.32 c nbDecision=23500 #constraints=21807 966.76/967.07 c nbDecision=24000 #constraints=22275 1010.24/1010.50 c nbDecision=24500 #constraints=22744 1057.33/1057.61 c nbDecision=25000 #constraints=23220 1105.73/1106.02 c nbDecision=25500 #constraints=23675 1117.12/1117.47 c restart after 25601 decisions 1156.41/1156.73 c nbDecision=26000 #constraints=24115 1208.80/1209.12 c nbDecision=26500 #constraints=24578 1256.48/1256.89 c nbDecision=27000 #constraints=24990 1312.18/1312.57 c nbDecision=27500 #constraints=25455 1367.76/1368.12 c nbDecision=28000 #constraints=25898 1423.75/1424.15 c nbDecision=28500 #constraints=26356 1477.64/1478.06 c nbDecision=29000 #constraints=26786 1533.12/1533.55 c nbDecision=29500 #constraints=27234 1586.11/1586.51 c nbDecision=30000 #constraints=27647 1643.59/1644.08 c nbDecision=30500 #constraints=28100 1706.68/1707.17 c nbDecision=31000 #constraints=28588 1771.76/1772.27 c nbDecision=31500 #constraints=29081 1800.06/1800.50 Received signal 15 1800.06/1800.60 1800.06/1800.60 s SATISFIABLE 1800.06/1800.60 v x1 x2 x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 1800.06/1800.60 v x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 -x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1800.06/1800.60 v -x58 -x59 -x60 -x61 -x62 x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 x83 -x84 1800.06/1800.60 v -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 x93 -x94 x95 x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1800.06/1800.60 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 1800.06/1800.60 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 1800.06/1800.60 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1800.06/1800.60 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1800.06/1800.60 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1800.06/1800.60 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.06/1800.60 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1800.06/1800.60 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1800.06/1800.60 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.06/1800.60 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.06/1800.60 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1800.06/1800.60 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1800.06/1800.60 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1800.06/1800.60 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1800.06/1800.60 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1800.06/1800.60 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1800.06/1800.60 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1800.06/1800.60 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1800.06/1800.60 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 1800.06/1800.60 v -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 1800.06/1800.60 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1800.06/1800.60 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 1800.06/1800.60 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1800.06/1800.60 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 1800.06/1800.60 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1800.06/1800.60 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 1800.06/1800.60 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1800.06/1800.60 v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.06/1800.60 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.06/1800.60 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 1800.06/1800.60 1800.06/1800.60 c user time= 1799.81 s 1800.06/1800.60 c system time= 0.351946 s 1800.06/1800.60 c wall clock time=1800.6
OK -23
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454100-1178021291/instance-454100-1178021291.opb mv /tmp/evaluation/454100-1178021291/instance-454100-1178021291.opb.tmp /tmp/evaluation/454100-1178021291/instance-454100-1178021291.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-454100-1178021291 -o ROOT/results/node51/solver-454100-1178021291 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454100-1178021291/instance-454100-1178021291.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.98 0.99 3/64 22420 /proc/meminfo: memFree=1809864/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=1468 CPUtime=0 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 156974280 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 367 167 131 317 0 46 0 [startup+0.0713979 s] /proc/loadavg: 0.91 0.98 0.99 3/64 22420 /proc/meminfo: memFree=1809864/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=2204 CPUtime=0.06 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 395 0 0 0 6 0 0 0 18 0 1 0 156974280 2256896 378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 551 378 170 317 0 230 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2204 [startup+0.1014 s] /proc/loadavg: 0.91 0.98 0.99 3/64 22420 /proc/meminfo: memFree=1809864/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=2468 CPUtime=0.09 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 447 0 0 0 9 0 0 0 18 0 1 0 156974280 2527232 430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 617 430 170 317 0 296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2468 [startup+0.301417 s] /proc/loadavg: 0.91 0.98 0.99 3/64 22420 /proc/meminfo: memFree=1809864/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=3652 CPUtime=0.29 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 754 0 0 0 29 0 0 0 19 0 1 0 156974280 3739648 737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 913 737 170 317 0 592 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3652 [startup+0.701454 s] /proc/loadavg: 0.91 0.98 0.99 3/64 22420 /proc/meminfo: memFree=1809864/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=5352 CPUtime=0.7 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 1198 0 0 0 69 1 0 0 22 0 1 0 156974280 5480448 1181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 1338 1181 170 317 0 1017 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 5352 [startup+1.50153 s] /proc/loadavg: 0.91 0.98 0.99 2/65 22421 /proc/meminfo: memFree=1804928/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=7616 CPUtime=1.49 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 1764 0 0 0 148 1 0 0 25 0 1 0 156974280 7798784 1747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 1904 1747 170 317 0 1583 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7616 [startup+3.10167 s] /proc/loadavg: 0.91 0.98 0.99 2/65 22421 /proc/meminfo: memFree=1802304/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=10000 CPUtime=3.09 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 2323 0 0 0 308 1 0 0 25 0 1 0 156974280 10240000 2306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 2500 2306 170 317 0 2179 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10000 [startup+6.30196 s] /proc/loadavg: 0.92 0.98 0.99 2/65 22421 /proc/meminfo: memFree=1798464/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=13588 CPUtime=6.29 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 3162 0 0 0 627 2 0 0 25 0 1 0 156974280 13914112 3145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 3397 3145 170 317 0 3076 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13588 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/65 22421 /proc/meminfo: memFree=1794576/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=16884 CPUtime=12.69 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 3997 0 0 0 1266 3 0 0 25 0 1 0 156974280 17289216 3980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 4221 3980 170 317 0 3900 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16884 [startup+25.5017 s] /proc/loadavg: 0.94 0.98 0.99 2/65 22421 /proc/meminfo: memFree=1789328/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=22660 CPUtime=25.49 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 5276 0 0 0 2545 4 0 0 25 0 1 0 156974280 23203840 5222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 5665 5222 170 317 0 5344 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22660 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/65 22421 /proc/meminfo: memFree=1783568/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=28440 CPUtime=51.08 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 6745 0 0 0 5103 5 0 0 25 0 1 0 156974280 29122560 6691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 7110 6691 170 317 0 6789 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28440 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 22421 /proc/meminfo: memFree=1775120/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=36692 CPUtime=102.28 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 8825 0 0 0 10220 8 0 0 25 0 1 0 156974280 37572608 8771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 9173 8771 170 317 0 8852 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 36692 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1766416/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=46892 CPUtime=162.25 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 11044 0 0 0 16216 9 0 0 25 0 1 0 156974280 48017408 10918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 11723 10918 170 317 0 11402 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 46892 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1760400/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=52796 CPUtime=222.24 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 12559 0 0 0 22213 11 0 0 25 0 1 0 156974280 54063104 12433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 13199 12433 170 317 0 12878 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 52796 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1755408/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=58160 CPUtime=282.22 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 13805 0 0 0 28210 12 0 0 25 0 1 0 156974280 59555840 13679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 14540 13679 170 317 0 14219 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 58160 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1750928/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=62636 CPUtime=342.2 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 14930 0 0 0 34207 13 0 0 25 0 1 0 156974280 64139264 14804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 15659 14804 170 317 0 15338 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 62636 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1746896/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=66944 CPUtime=402.19 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 15940 0 0 0 40205 14 0 0 25 0 1 0 156974280 68550656 15814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 16736 15814 170 317 0 16415 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 66944 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1742928/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=70672 CPUtime=462.18 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 16913 0 0 0 46203 15 0 0 25 0 1 0 156974280 72368128 16787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 17668 16787 170 317 0 17347 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 70672 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1739280/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=73976 CPUtime=522.16 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 17832 0 0 0 52200 16 0 0 25 0 1 0 156974280 75751424 17706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 18494 17706 170 317 0 18173 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 73976 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1735696/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=77232 CPUtime=582.15 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 18716 0 0 0 58198 17 0 0 25 0 1 0 156974280 79085568 18590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 19308 18590 170 317 0 18987 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 77232 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1731664/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=84636 CPUtime=642.14 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 20335 0 0 0 64196 18 0 0 25 0 1 0 156974280 86667264 19582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 21159 19582 170 317 0 20838 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 84636 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1719248/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=97636 CPUtime=882.08 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 23939 0 0 0 88187 21 0 0 25 0 1 0 156974280 99979264 22681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604226 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 24409 22681 170 317 0 24088 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 97636 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1716304/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=100784 CPUtime=942.06 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 24821 0 0 0 94184 22 0 0 25 0 1 0 156974280 103202816 23431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 25196 23431 170 317 0 24875 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 100784 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1713488/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=104036 CPUtime=1002.04 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 25724 0 0 0 100181 23 0 0 25 0 1 0 156974280 106532864 24136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 26009 24136 170 317 0 25688 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 104036 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1710736/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=107000 CPUtime=1062.03 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 26511 0 0 0 106179 24 0 0 25 0 1 0 156974280 109568000 24824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 26750 24824 170 317 0 26429 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 107000 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1708240/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=109472 CPUtime=1122.02 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 27196 0 0 0 112177 25 0 0 25 0 1 0 156974280 112099328 25443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 27368 25443 170 317 0 27047 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 109472 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1705872/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=111692 CPUtime=1182 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 27818 0 0 0 118174 26 0 0 25 0 1 0 156974280 114372608 26032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 27923 26032 170 317 0 27602 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 111692 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1703568/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=113784 CPUtime=1241.99 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 28421 0 0 0 124172 27 0 0 25 0 1 0 156974280 116514816 26602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 28446 26602 170 317 0 28125 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 113784 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1701328/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=116008 CPUtime=1301.98 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 29037 0 0 0 130169 29 0 0 25 0 1 0 156974280 118792192 27152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 29002 27152 170 317 0 28681 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 116008 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1699280/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=118136 CPUtime=1361.96 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 29593 0 0 0 136167 29 0 0 25 0 1 0 156974280 120971264 27675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 29534 27675 170 317 0 29213 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 118136 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1697104/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=120092 CPUtime=1421.95 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 30159 0 0 0 142165 30 0 0 25 0 1 0 156974280 122974208 28208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 30023 28208 170 317 0 29702 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 120092 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1695056/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=122564 CPUtime=1481.93 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 30815 0 0 0 148162 31 0 0 25 0 1 0 156974280 125505536 28732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604327 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 30641 28732 170 317 0 30320 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 122564 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1692816/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=124816 CPUtime=1541.91 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 31415 0 0 0 154160 31 0 0 25 0 1 0 156974280 127811584 29266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 31204 29266 170 317 0 30883 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 124816 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1690768/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=126784 CPUtime=1601.91 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 31999 0 0 0 160158 33 0 0 25 0 1 0 156974280 129826816 29784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 31696 29784 170 317 0 31375 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 126784 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1688656/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=128676 CPUtime=1661.89 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 32518 0 0 0 166156 33 0 0 25 0 1 0 156974280 131764224 30303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 32169 30303 170 317 0 31848 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 128676 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1686736/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=130648 CPUtime=1721.88 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 33051 0 0 0 172154 34 0 0 25 0 1 0 156974280 133783552 30803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 32662 30803 170 317 0 32341 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 130648 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1684688/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=132744 CPUtime=1781.86 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 33621 0 0 0 178151 35 0 0 25 0 1 0 156974280 135929856 31307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 33186 31307 170 317 0 32865 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 132744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 22423 /proc/meminfo: memFree=1684112/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=133260 CPUtime=1800.06 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194304 33760 0 0 0 179971 35 0 0 25 0 1 0 156974280 136458240 31446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 33315 31446 170 317 0 32994 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 133260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.99 2/66 22424 /proc/meminfo: memFree=1689800/2055920 swapFree=4183264/4192956 [pid=22420] ppid=22418 vsize=0 CPUtime=1800.16 /proc/22420/stat : 22420 (oree) R 22418 22420 22038 0 -1 4194308 33777 0 0 0 179981 35 0 0 25 0 1 0 156974280 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22420/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.19 CPU user time (s): 1799.82 CPU system time (s): 0.372943 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 133260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.372943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33777 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= 1015 runsolver used 1.24081 second user time and 3.68444 second system time The end
Begin job on node51 on Tue May 1 12:08:11 UTC 2007 IDJOB= 454100 IDBENCH= 48174 IDSOLVER= 172 FILE ID= node51/454100-1178021291 PBS_JOBID= 4728367 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_5.opb COMMAND LINE= oree /tmp/evaluation/454100-1178021291/instance-454100-1178021291.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-454100-1178021291 -o ROOT/results/node51/conversion-454100-1178021291 -C 600 -M 1800 /tmp/evaluation/454100-1178021291/substituteSizeProductKeyword /tmp/evaluation/454100-1178021291/instance-454100-1178021291.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-454100-1178021291 -o ROOT/results/node51/solver-454100-1178021291 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454100-1178021291/instance-454100-1178021291.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= a142d6d7b95394ce9dab5e7d7d075ea6 RANDOM SEED= 89793007 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1810208 kB Buffers: 33440 kB Cached: 138924 kB SwapCached: 3552 kB Active: 60384 kB Inactive: 122064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1810208 kB SwapTotal: 4192956 kB SwapFree: 4183264 kB Dirty: 1348 kB Writeback: 0 kB Mapped: 15908 kB Slab: 49228 kB Committed_AS: 5418296 kB PageTables: 1412 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= 66563 MiB End job on node51 on Tue May 1 12:38:14 UTC 2007