Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 6 | 1800.22 | 1800.71 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_3.opb |
MD5SUM | c95a806def4ddb54b7feb382b44318d2 |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 2.6276 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6 |
Optimality of the best value was proved | YES |
Number of variables | 50 |
Total number of constraints | 50 |
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 | 50 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 50 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 618 |
Sum of products size (including duplicates) | 1236 |
Number of different products | 618 |
Sum of products size | 1236 |
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.00 c ...done 0.00/0.00 c #vars=668 #constraints=1287 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.00/0.01 c nbDecision=41 #constraints=1287 0.00/0.01 c linear search for optimum 0.00/0.01 o 9 0.00/0.02 c nbDecision=45 #constraints=1291 0.00/0.02 o 8 0.03/0.04 c nbDecision=90 #constraints=1333 0.03/0.04 o 7 0.19/0.20 c restart after 401 decisions 0.19/0.25 c nbDecision=500 #constraints=1653 0.49/0.50 c restart after 801 decisions 0.59/0.66 c nbDecision=1000 #constraints=2055 1.19/1.25 c nbDecision=1500 #constraints=2438 1.39/1.44 c restart after 1601 decisions 1.49/1.50 c nbDecision=1653 #constraints=2538 1.49/1.50 o 6 2.19/2.22 c nbDecision=2000 #constraints=2778 3.68/3.75 c nbDecision=2500 #constraints=3150 5.40/5.50 c nbDecision=3000 #constraints=3480 6.19/6.25 c restart after 3201 decisions 7.79/7.80 c nbDecision=3500 #constraints=3818 10.99/11.00 c nbDecision=4000 #constraints=4157 14.58/14.61 c nbDecision=4500 #constraints=4539 17.88/17.95 c nbDecision=5000 #constraints=4923 22.68/22.79 c nbDecision=5500 #constraints=5320 29.59/29.65 c nbDecision=6000 #constraints=5740 32.68/32.75 c restart after 6401 decisions 33.48/33.59 c nbDecision=6500 #constraints=6105 39.49/39.52 c nbDecision=7000 #constraints=6485 46.98/47.03 c nbDecision=7500 #constraints=6878 55.68/55.77 c nbDecision=8000 #constraints=7287 61.58/61.62 c nbDecision=8500 #constraints=7607 68.87/68.92 c nbDecision=9000 #constraints=7915 79.97/80.05 c nbDecision=9500 #constraints=8262 92.46/92.50 c nbDecision=10000 #constraints=8646 104.06/104.17 c nbDecision=10500 #constraints=9027 111.96/112.07 c nbDecision=11000 #constraints=9361 124.75/124.88 c nbDecision=11500 #constraints=9745 136.56/136.62 c nbDecision=12000 #constraints=10124 147.65/147.75 c nbDecision=12500 #constraints=10495 156.05/156.15 c restart after 12801 decisions 160.35/160.49 c nbDecision=13000 #constraints=10819 178.64/178.77 c nbDecision=13500 #constraints=11200 191.14/191.29 c nbDecision=14000 #constraints=11565 208.43/208.58 c nbDecision=14500 #constraints=11971 229.03/229.15 c nbDecision=15000 #constraints=12375 249.53/249.67 c nbDecision=15500 #constraints=12747 269.62/269.71 c nbDecision=16000 #constraints=13115 281.71/281.83 c nbDecision=16500 #constraints=13474 294.72/294.85 c nbDecision=17000 #constraints=13826 309.40/309.60 c nbDecision=17500 #constraints=14166 329.50/329.62 c nbDecision=18000 #constraints=14540 346.09/346.27 c nbDecision=18500 #constraints=14891 365.90/366.02 c nbDecision=19000 #constraints=15295 390.78/390.96 c nbDecision=19500 #constraints=15692 406.89/407.03 c nbDecision=20000 #constraints=16039 435.97/436.10 c nbDecision=20500 #constraints=16421 459.36/459.54 c nbDecision=21000 #constraints=16799 489.36/489.55 c nbDecision=21500 #constraints=17193 518.75/518.94 c nbDecision=22000 #constraints=17607 547.55/547.77 c nbDecision=22500 #constraints=18009 569.54/569.71 c nbDecision=23000 #constraints=18393 597.73/597.93 c nbDecision=23500 #constraints=18789 626.92/627.12 c nbDecision=24000 #constraints=19209 650.22/650.49 c nbDecision=24500 #constraints=19607 682.11/682.32 c nbDecision=25000 #constraints=20003 720.20/720.48 c nbDecision=25500 #constraints=20386 725.80/726.02 c restart after 25601 decisions 753.59/753.89 c nbDecision=26000 #constraints=20736 790.08/790.31 c nbDecision=26500 #constraints=21132 829.66/829.99 c nbDecision=27000 #constraints=21506 869.05/869.39 c nbDecision=27500 #constraints=21942 918.05/918.33 c nbDecision=28000 #constraints=22355 936.64/936.91 c nbDecision=28500 #constraints=22703 959.43/959.70 c nbDecision=29000 #constraints=23017 992.53/992.80 c nbDecision=29500 #constraints=23364 1029.01/1029.38 c nbDecision=30000 #constraints=23716 1067.81/1068.18 c nbDecision=30500 #constraints=24079 1104.79/1105.14 c nbDecision=31000 #constraints=24424 1140.78/1141.13 c nbDecision=31500 #constraints=24770 1180.28/1180.61 c nbDecision=32000 #constraints=25073 1231.95/1232.38 c nbDecision=32500 #constraints=25426 1263.25/1263.66 c nbDecision=33000 #constraints=25784 1316.34/1316.75 c nbDecision=33500 #constraints=26164 1382.92/1383.31 c nbDecision=34000 #constraints=26555 1415.22/1415.69 c nbDecision=34500 #constraints=26898 1473.69/1474.19 c nbDecision=35000 #constraints=27278 1542.28/1542.79 c nbDecision=35500 #constraints=27667 1573.67/1574.13 c nbDecision=36000 #constraints=28028 1614.06/1614.58 c nbDecision=36500 #constraints=28417 1658.45/1658.92 c nbDecision=37000 #constraints=28844 1699.83/1700.34 c nbDecision=37500 #constraints=29218 1748.82/1749.31 c nbDecision=38000 #constraints=29570 1800.01/1800.50 Received signal 15 1800.11/1800.69 1800.11/1800.69 s SATISFIABLE 1800.11/1800.69 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.11/1800.69 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 x55 1800.11/1800.69 v -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 -x81 1800.11/1800.69 v -x82 -x83 -x84 x85 -x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1800.11/1800.69 v -x107 -x108 -x109 x110 x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.11/1800.69 v x128 x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.11/1800.69 v -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 1800.11/1800.69 v -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 1800.11/1800.69 v -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 1800.11/1800.69 v -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 x232 1800.11/1800.69 v -x233 -x234 -x235 -x236 x237 -x238 x239 -x240 -x241 -x242 x243 -x244 -x245 x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 1800.11/1800.69 v x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.11/1800.69 v -x276 -x277 -x278 x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 1800.11/1800.69 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 1800.11/1800.69 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1800.11/1800.69 v -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 1800.11/1800.69 v x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 x375 -x376 -x377 -x378 -x379 -x380 1800.11/1800.69 v -x381 -x382 -x383 x384 -x385 x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.11/1800.69 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.11/1800.69 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.11/1800.69 v -x444 x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.11/1800.69 v -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 1800.11/1800.69 v -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 1800.11/1800.69 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1800.11/1800.69 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 1800.11/1800.69 v -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1800.11/1800.69 v -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1800.11/1800.69 v -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1800.11/1800.69 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 1800.11/1800.69 v -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 1800.11/1800.69 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 x663 -x664 -x665 -x666 x667 -x668 1800.11/1800.69 1800.11/1800.69 c user time= 1799.88 s 1800.11/1800.69 c system time= 0.328949 s 1800.11/1800.69 c wall clock time=1800.69
OK 6
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453245-1178126292/instance-453245-1178126292.opb mv /tmp/evaluation/453245-1178126292/instance-453245-1178126292.opb.tmp /tmp/evaluation/453245-1178126292/instance-453245-1178126292.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-453245-1178126292 -o ROOT/results/node1/solver-453245-1178126292 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453245-1178126292/instance-453245-1178126292.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.85 0.96 0.99 3/77 23221 /proc/meminfo: memFree=1569456/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=1468 CPUtime=0 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 288667065 1503232 175 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 367 175 132 317 0 46 0 [startup+0.0419051 s] /proc/loadavg: 0.85 0.96 0.99 3/77 23221 /proc/meminfo: memFree=1569456/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=2036 CPUtime=0.03 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 365 0 0 0 3 0 0 0 18 0 1 0 288667065 2084864 348 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 509 348 170 317 0 188 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2036 [startup+0.101912 s] /proc/loadavg: 0.85 0.96 0.99 3/77 23221 /proc/meminfo: memFree=1569456/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=2432 CPUtime=0.09 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 444 0 0 0 9 0 0 0 18 0 1 0 288667065 2490368 427 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 608 427 170 317 0 287 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2432 [startup+0.301935 s] /proc/loadavg: 0.85 0.96 0.99 3/77 23221 /proc/meminfo: memFree=1569456/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=3220 CPUtime=0.29 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 664 0 0 0 29 0 0 0 19 0 1 0 288667065 3297280 647 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 805 647 170 317 0 484 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3220 [startup+0.701981 s] /proc/loadavg: 0.85 0.96 0.99 3/77 23221 /proc/meminfo: memFree=1569456/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=4536 CPUtime=0.69 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 971 0 0 0 69 0 0 0 22 0 1 0 288667065 4644864 954 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 1134 954 170 317 0 813 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4536 [startup+1.50108 s] /proc/loadavg: 0.86 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1565672/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=5852 CPUtime=1.49 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 1306 0 0 0 149 0 0 0 25 0 1 0 288667065 5992448 1289 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 1463 1289 170 317 0 1142 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5852 [startup+3.10126 s] /proc/loadavg: 0.86 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1564200/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=7308 CPUtime=3.09 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 1663 0 0 0 309 0 0 0 25 0 1 0 288667065 7483392 1646 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134711478 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 1827 1646 170 317 0 1506 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7308 [startup+6.30164 s] /proc/loadavg: 0.87 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1561832/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=9164 CPUtime=6.29 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 2116 0 0 0 628 1 0 0 25 0 1 0 288667065 9383936 2099 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 2291 2099 170 317 0 1970 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9164 [startup+12.7014 s] /proc/loadavg: 0.88 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1559720/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=11012 CPUtime=12.69 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 2599 0 0 0 1268 1 0 0 25 0 1 0 288667065 11276288 2582 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 2753 2582 170 317 0 2432 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11012 [startup+25.5019 s] /proc/loadavg: 0.91 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1556520/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=14332 CPUtime=25.49 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 3416 0 0 0 2547 2 0 0 25 0 1 0 288667065 14675968 3363 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 3583 3363 170 317 0 3262 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14332 [startup+51.1019 s] /proc/loadavg: 0.94 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1552424/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=18372 CPUtime=51.08 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 4434 0 0 0 5105 3 0 0 25 0 1 0 288667065 18812928 4381 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 4593 4381 170 317 0 4272 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18372 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1547048/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=23860 CPUtime=102.26 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 5757 0 0 0 10222 4 0 0 25 0 1 0 288667065 24432640 5704 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 5965 5704 170 317 0 5644 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23860 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1541608/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=29760 CPUtime=162.25 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 7172 0 0 0 16219 6 0 0 25 0 1 0 288667065 30474240 7048 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 7440 7048 170 317 0 7119 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 29760 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1537768/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=33668 CPUtime=222.23 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 8121 0 0 0 22215 8 0 0 25 0 1 0 288667065 34476032 7997 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 8417 7997 170 317 0 8096 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 33668 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1534504/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=37196 CPUtime=282.21 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 8963 0 0 0 28212 9 0 0 25 0 1 0 288667065 38088704 8839 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 9299 8839 170 317 0 8978 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 37196 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1530664/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=40824 CPUtime=342.19 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 9893 0 0 0 34208 11 0 0 25 0 1 0 288667065 41803776 9769 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 10206 9769 170 317 0 9885 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 40824 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1527272/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=44408 CPUtime=402.18 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 10736 0 0 0 40205 13 0 0 25 0 1 0 288667065 45473792 10612 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604488 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 11102 10612 170 317 0 10781 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 44408 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1524648/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=47388 CPUtime=462.16 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 11369 0 0 0 46203 13 0 0 25 0 1 0 288667065 48525312 11245 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 11847 11245 170 317 0 11526 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 47388 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1522152/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=50064 CPUtime=522.15 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 11997 0 0 0 52201 14 0 0 25 0 1 0 288667065 51265536 11873 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 12516 11873 170 317 0 12195 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 50064 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1519336/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=52736 CPUtime=582.14 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 12675 0 0 0 58198 16 0 0 25 0 1 0 288667065 54001664 12551 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 13184 12551 170 317 0 12863 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 52736 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1516904/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=55324 CPUtime=642.13 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 13260 0 0 0 64196 17 0 0 25 0 1 0 288667065 56651776 13136 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 13831 13136 170 317 0 13510 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 55324 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1507304/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=65172 CPUtime=942.04 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 15757 0 0 0 94183 21 0 0 25 0 1 0 288667065 66736128 15492 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 16293 15492 170 317 0 15972 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 65172 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23222 /proc/meminfo: memFree=1505384/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=67040 CPUtime=1002.02 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 16218 0 0 0 100180 22 0 0 25 0 1 0 288667065 68648960 15953 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 16760 15953 170 317 0 16439 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 67040 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1503848/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=68368 CPUtime=1062.01 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 16557 0 0 0 106178 23 0 0 25 0 1 0 288667065 70008832 16292 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 17092 16292 170 317 0 16771 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 68368 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1502248/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=69824 CPUtime=1121.99 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 16957 0 0 0 112175 24 0 0 25 0 1 0 288667065 71499776 16692 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715674 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 17456 16692 170 317 0 17135 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 69824 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1501160/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=71076 CPUtime=1181.98 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 17230 0 0 0 118173 25 0 0 25 0 1 0 288667065 72781824 16965 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 17769 16965 170 317 0 17448 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 71076 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1499688/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=72312 CPUtime=1241.95 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 17561 0 0 0 124170 25 0 0 25 0 1 0 288667065 74047488 17296 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604220 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 18078 17296 170 317 0 17757 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 72312 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1498280/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=73640 CPUtime=1301.94 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 17907 0 0 0 130168 26 0 0 25 0 1 0 288667065 75407360 17642 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604335 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 18410 17642 170 317 0 18089 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 73640 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1497320/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=74568 CPUtime=1361.92 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 18144 0 0 0 136165 27 0 0 25 0 1 0 288667065 76357632 17879 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 18642 17879 170 317 0 18321 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 74568 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1495400/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=77672 CPUtime=1421.92 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 18631 0 0 0 142164 28 0 0 25 0 1 0 288667065 79536128 18366 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 19418 18366 170 317 0 19097 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 77672 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1494184/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=79024 CPUtime=1481.89 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 18929 0 0 0 148161 28 0 0 25 0 1 0 288667065 80920576 18664 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 19756 18664 170 317 0 19435 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 79024 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1493224/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=79948 CPUtime=1541.88 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 19152 0 0 0 154159 29 0 0 25 0 1 0 288667065 81866752 18887 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 19987 18887 170 317 0 19666 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 79948 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1491496/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=81724 CPUtime=1601.86 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 19583 0 0 0 160156 30 0 0 25 0 1 0 288667065 83685376 19318 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 20431 19318 170 317 0 20110 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 81724 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1489768/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=83192 CPUtime=1661.85 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 19985 0 0 0 166154 31 0 0 25 0 1 0 288667065 85188608 19720 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 20798 19720 170 317 0 20477 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 83192 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1488488/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=84536 CPUtime=1721.82 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 20306 0 0 0 172151 31 0 0 25 0 1 0 288667065 86564864 20041 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710952 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 21134 20041 170 317 0 20813 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 84536 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1486824/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=86056 CPUtime=1781.81 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 20658 0 0 0 178149 32 0 0 25 0 1 0 288667065 88121344 20393 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 21514 20393 170 317 0 21193 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 86056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.99 2/78 23224 /proc/meminfo: memFree=1486504/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=86320 CPUtime=1800.01 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 20742 0 0 0 179969 32 0 0 25 0 1 0 288667065 88391680 20477 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 21580 20477 170 317 0 21259 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 86320 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.97 0.99 2/79 23225 /proc/meminfo: memFree=1486496/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=86320 CPUtime=1800.11 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194304 20745 0 0 0 179979 32 0 0 25 0 1 0 288667065 88391680 20480 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 21580 20480 170 317 0 21259 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 86320 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/79 23225 /proc/meminfo: memFree=1486496/2055920 swapFree=4145736/4192956 [pid=23221] ppid=23219 vsize=0 CPUtime=1800.21 /proc/23221/stat : 23221 (oree) R 23219 23221 23153 0 -1 4194308 20761 0 0 0 179988 33 0 0 25 0 1 0 288667065 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23221/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.22 CPU user time (s): 1799.88 CPU system time (s): 0.342947 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 86320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.342947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20761 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= 1073 runsolver used 1.53177 second user time and 4.25735 second system time The end
Begin job on node1 on Wed May 2 17:18:12 UTC 2007 IDJOB= 453245 IDBENCH= 48117 IDSOLVER= 172 FILE ID= node1/453245-1178126292 PBS_JOBID= 4751053 Free space on /tmp= 54614 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_10_3.opb COMMAND LINE= oree /tmp/evaluation/453245-1178126292/instance-453245-1178126292.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-453245-1178126292 -o ROOT/results/node1/conversion-453245-1178126292 -C 600 -M 1800 /tmp/evaluation/453245-1178126292/substituteSizeProductKeyword /tmp/evaluation/453245-1178126292/instance-453245-1178126292.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-453245-1178126292 -o ROOT/results/node1/solver-453245-1178126292 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453245-1178126292/instance-453245-1178126292.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= c95a806def4ddb54b7feb382b44318d2 RANDOM SEED= 356212244 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 1569928 kB Buffers: 27932 kB Cached: 349844 kB SwapCached: 14788 kB Active: 47184 kB Inactive: 353868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1569928 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 1360 kB Writeback: 0 kB Mapped: 29440 kB Slab: 70428 kB Committed_AS: 9392376 kB PageTables: 1832 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= 54614 MiB End job on node1 on Wed May 2 17:48:15 UTC 2007