Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 251036 | 1800.22 | 1800.97 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb |
MD5SUM | fbf213ed65afe4e66abc3948eb02a29f |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21166 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21166 |
Optimality of the best value was proved | NO |
Number of variables | 556 |
Total number of constraints | 180 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 178 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 62376 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 3092598 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 62376 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 3092598 |
Number of bits of the biggest sum of numbers | 22 |
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.00/0.00 c ...done 0.00/0.00 c #vars=556 #constraints=181 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.00/0.01 c nbDecision=180 #constraints=185 0.00/0.01 c linear search for optimum 0.00/0.01 o 262940 0.00/0.01 c nbDecision=185 #constraints=190 0.00/0.01 o 262864 0.00/0.02 c nbDecision=201 #constraints=201 0.00/0.02 o 262020 0.03/0.03 c nbDecision=215 #constraints=212 0.03/0.03 o 261860 0.03/0.03 c nbDecision=219 #constraints=215 0.03/0.03 o 261525 0.03/0.04 c nbDecision=243 #constraints=224 0.03/0.04 o 258516 0.09/0.15 c restart after 401 decisions 0.19/0.20 c nbDecision=500 #constraints=400 0.29/0.34 c restart after 801 decisions 0.29/0.37 c nbDecision=1000 #constraints=565 0.49/0.50 c nbDecision=1183 #constraints=685 0.49/0.50 o 258386 0.49/0.51 c nbDecision=1192 #constraints=693 0.49/0.51 o 257601 0.49/0.51 c nbDecision=1195 #constraints=697 0.49/0.51 o 257266 0.49/0.52 c nbDecision=1202 #constraints=702 0.49/0.52 o 256276 0.49/0.59 c nbDecision=1284 #constraints=756 0.49/0.59 o 255576 0.59/0.60 c nbDecision=1297 #constraints=769 0.59/0.60 o 255416 0.59/0.61 c nbDecision=1303 #constraints=774 0.59/0.61 o 254871 0.59/0.62 c nbDecision=1314 #constraints=784 0.59/0.62 o 254296 0.69/0.79 c nbDecision=1500 #constraints=908 0.89/0.92 c restart after 1601 decisions 1.19/1.26 c nbDecision=2000 #constraints=1148 2.20/2.23 c nbDecision=2500 #constraints=1537 3.39/3.45 c nbDecision=3000 #constraints=1905 4.09/4.16 c restart after 3201 decisions 4.29/4.34 c nbDecision=3400 #constraints=2081 4.29/4.34 o 253924 4.29/4.35 c nbDecision=3403 #constraints=2084 4.29/4.35 o 253776 4.29/4.35 c nbDecision=3403 #constraints=2086 4.29/4.35 o 253201 4.39/4.41 c nbDecision=3430 #constraints=2099 4.39/4.41 o 252394 4.39/4.41 c nbDecision=3432 #constraints=2101 4.39/4.41 o 252234 4.39/4.44 c nbDecision=3435 #constraints=2109 4.39/4.44 o 251944 4.59/4.68 c nbDecision=3500 #constraints=2153 6.59/6.67 c nbDecision=4000 #constraints=2531 8.59/8.64 c nbDecision=4500 #constraints=2899 10.89/10.96 c nbDecision=5000 #constraints=3243 14.08/14.19 c nbDecision=5500 #constraints=3598 17.58/17.62 c nbDecision=6000 #constraints=3956 20.68/20.78 c restart after 6401 decisions 20.98/21.02 c nbDecision=6500 #constraints=4237 24.38/24.43 c nbDecision=7000 #constraints=4531 29.09/29.15 c nbDecision=7500 #constraints=4873 34.28/34.38 c nbDecision=8000 #constraints=5227 40.07/40.18 c nbDecision=8500 #constraints=5581 46.08/46.19 c nbDecision=9000 #constraints=5922 46.77/46.89 c nbDecision=9079 #constraints=5970 46.77/46.89 o 251866 52.27/52.36 c nbDecision=9500 #constraints=6289 59.76/59.87 c nbDecision=10000 #constraints=6653 67.77/67.81 c nbDecision=10500 #constraints=6984 68.97/69.06 c nbDecision=10578 #constraints=7037 68.97/69.06 o 251771 69.17/69.22 c nbDecision=10589 #constraints=7045 69.17/69.22 o 251196 76.57/76.66 c nbDecision=11000 #constraints=7340 87.16/87.26 c nbDecision=11500 #constraints=7725 98.35/98.43 c nbDecision=12000 #constraints=8117 110.25/110.38 c nbDecision=12500 #constraints=8490 116.55/116.64 c restart after 12801 decisions 118.55/118.64 c nbDecision=13000 #constraints=8715 133.24/133.31 c nbDecision=13500 #constraints=9088 149.23/149.36 c nbDecision=14000 #constraints=9456 163.53/163.65 c nbDecision=14500 #constraints=9800 178.42/178.57 c nbDecision=15000 #constraints=10184 193.72/193.81 c nbDecision=15500 #constraints=10569 209.81/209.98 c nbDecision=16000 #constraints=10932 228.31/228.49 c nbDecision=16500 #constraints=11329 244.10/244.22 c nbDecision=17000 #constraints=11683 259.70/259.89 c nbDecision=17500 #constraints=12024 276.99/277.13 c nbDecision=18000 #constraints=12387 295.38/295.53 c nbDecision=18500 #constraints=12755 315.17/315.39 c nbDecision=19000 #constraints=13139 335.57/335.72 c nbDecision=19500 #constraints=13523 356.95/357.19 c nbDecision=20000 #constraints=13902 377.15/377.33 c nbDecision=20500 #constraints=14266 398.95/399.10 c nbDecision=21000 #constraints=14640 421.63/421.90 c nbDecision=21500 #constraints=15014 443.83/444.00 c nbDecision=22000 #constraints=15378 468.82/469.04 c nbDecision=22500 #constraints=15760 496.01/496.25 c nbDecision=23000 #constraints=16153 521.30/521.60 c nbDecision=23500 #constraints=16531 546.28/546.55 c nbDecision=24000 #constraints=16896 573.68/573.94 c nbDecision=24500 #constraints=17283 601.17/601.44 c nbDecision=25000 #constraints=17678 629.96/630.21 c nbDecision=25500 #constraints=18056 636.46/636.73 c restart after 25601 decisions 649.05/649.37 c nbDecision=26000 #constraints=18290 673.14/673.40 c nbDecision=26500 #constraints=18616 702.64/702.95 c nbDecision=27000 #constraints=19001 731.23/731.59 c nbDecision=27500 #constraints=19374 760.71/761.02 c nbDecision=28000 #constraints=19738 789.79/790.10 c nbDecision=28500 #constraints=20105 819.49/819.84 c nbDecision=29000 #constraints=20457 852.38/852.71 c nbDecision=29500 #constraints=20839 885.56/885.91 c nbDecision=30000 #constraints=21217 920.95/921.32 c nbDecision=30500 #constraints=21599 957.34/957.78 c nbDecision=31000 #constraints=21976 991.62/992.08 c nbDecision=31500 #constraints=22350 1028.71/1029.12 c nbDecision=32000 #constraints=22742 1063.90/1064.30 c nbDecision=32500 #constraints=23117 1100.28/1100.78 c nbDecision=33000 #constraints=23499 1133.58/1134.09 c nbDecision=33500 #constraints=23846 1170.16/1170.66 c nbDecision=34000 #constraints=24205 1208.65/1209.12 c nbDecision=34500 #constraints=24592 1248.53/1249.02 c nbDecision=35000 #constraints=24983 1288.02/1288.54 c nbDecision=35500 #constraints=25369 1324.80/1325.34 c nbDecision=36000 #constraints=25706 1367.69/1368.23 c nbDecision=36500 #constraints=26075 1405.77/1406.35 c nbDecision=36923 #constraints=26377 1405.77/1406.35 o 251036 1412.37/1412.94 c nbDecision=37000 #constraints=26440 1455.25/1455.82 c nbDecision=37500 #constraints=26814 1504.34/1504.92 c nbDecision=38000 #constraints=27220 1554.32/1554.99 c nbDecision=38500 #constraints=27623 1605.70/1606.37 c nbDecision=39000 #constraints=28024 1647.98/1648.70 c nbDecision=39500 #constraints=28369 1696.17/1696.80 c nbDecision=40000 #constraints=28765 1744.42/1745.14 c nbDecision=40500 #constraints=29143 1791.04/1791.90 c nbDecision=41000 #constraints=29507 1800.04/1800.80 Received signal 15 1800.14/1800.94 1800.14/1800.94 s SATISFIABLE 1800.14/1800.94 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.14/1800.94 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.14/1800.94 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.14/1800.94 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 1800.14/1800.94 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 1800.14/1800.94 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.14/1800.94 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 1800.14/1800.94 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.14/1800.94 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.14/1800.94 v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.14/1800.94 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 x246 x247 -x248 -x249 -x250 x251 -x252 1800.14/1800.94 v -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.14/1800.94 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 1800.14/1800.94 v -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.14/1800.94 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 1800.14/1800.94 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.14/1800.94 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.14/1800.94 v -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 1800.14/1800.94 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.14/1800.94 v -x421 -x422 -x423 x424 -x425 -x426 x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.14/1800.94 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.14/1800.94 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.14/1800.94 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.14/1800.94 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.14/1800.94 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 x539 x540 -x541 x542 -x543 -x544 x545 x546 -x547 1800.14/1800.94 v x548 x549 x550 -x551 x552 -x553 -x554 x555 x556 1800.14/1800.94 1800.14/1800.94 c user time= 1799.8 s 1800.14/1800.94 c system time= 0.38894 s 1800.14/1800.94 c wall clock time=1800.95
OK 251036
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-356859-1176845529 -o ROOT/results/node42/solver-356859-1176845529 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356859-1176845529/instance-356859-1176845529.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.72 0.93 0.97 3/77 25435 /proc/meminfo: memFree=1596792/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=1468 CPUtime=0 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 132464818 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 367 163 131 317 0 46 0 [startup+0.0324381 s] /proc/loadavg: 0.72 0.93 0.97 3/77 25435 /proc/meminfo: memFree=1596792/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=1732 CPUtime=0.03 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 284 0 0 0 3 0 0 0 18 0 1 0 132464818 1773568 266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 433 266 170 317 0 112 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1732 [startup+0.101451 s] /proc/loadavg: 0.72 0.93 0.97 3/77 25435 /proc/meminfo: memFree=1596792/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=2116 CPUtime=0.09 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 373 0 0 0 9 0 0 0 18 0 1 0 132464818 2166784 355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134525473 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 529 355 170 317 0 208 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2116 [startup+0.301489 s] /proc/loadavg: 0.72 0.93 0.97 3/77 25435 /proc/meminfo: memFree=1596792/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=2768 CPUtime=0.29 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 548 0 0 0 29 0 0 0 19 0 1 0 132464818 2834432 530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 692 530 170 317 0 371 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2768 [startup+0.701566 s] /proc/loadavg: 0.72 0.93 0.97 3/77 25435 /proc/meminfo: memFree=1596792/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=4212 CPUtime=0.69 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 902 0 0 0 69 0 0 0 23 0 1 0 132464818 4313088 884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712592 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 1053 884 170 317 0 732 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4212 [startup+1.50172 s] /proc/loadavg: 0.72 0.93 0.97 2/78 25436 /proc/meminfo: memFree=1593008/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=5924 CPUtime=1.49 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 1317 0 0 0 149 0 0 0 25 0 1 0 132464818 6066176 1299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 1481 1299 170 317 0 1160 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5924 [startup+3.10203 s] /proc/loadavg: 0.72 0.93 0.97 2/78 25436 /proc/meminfo: memFree=1590832/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=8216 CPUtime=3.09 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 1892 0 0 0 308 1 0 0 25 0 1 0 132464818 8413184 1874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 2054 1874 170 317 0 1733 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8216 [startup+6.30163 s] /proc/loadavg: 0.74 0.94 0.97 2/78 25436 /proc/meminfo: memFree=1587896/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=10712 CPUtime=6.29 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 2503 0 0 0 628 1 0 0 25 0 1 0 132464818 10969088 2485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 2678 2485 170 317 0 2357 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10712 [startup+12.7029 s] /proc/loadavg: 0.76 0.94 0.97 2/78 25436 /proc/meminfo: memFree=1583544/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=14788 CPUtime=12.69 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 3485 0 0 0 1267 2 0 0 25 0 1 0 132464818 15142912 3467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 3697 3467 170 317 0 3376 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14788 [startup+25.5013 s] /proc/loadavg: 0.81 0.94 0.97 2/78 25436 /proc/meminfo: memFree=1578744/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=19868 CPUtime=25.48 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 4610 0 0 0 2545 3 0 0 25 0 1 0 132464818 20344832 4592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 4967 4592 170 317 0 4646 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19868 [startup+51.1012 s] /proc/loadavg: 0.87 0.94 0.97 2/78 25436 /proc/meminfo: memFree=1572856/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=25868 CPUtime=51.07 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 6088 0 0 0 5102 5 0 0 25 0 1 0 132464818 26488832 6070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 6467 6070 170 317 0 6146 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25868 [startup+102.306 s] /proc/loadavg: 0.94 0.95 0.97 2/78 25436 /proc/meminfo: memFree=1565048/2055920 swapFree=4056072/4192956 [pid=25435] ppid=25433 vsize=32948 CPUtime=102.26 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 8005 0 0 0 10219 7 0 0 25 0 1 0 132464818 33738752 7987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 8237 7987 170 317 0 7916 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32948 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.97 2/78 25436 /proc/meminfo: memFree=1557304/2055920 swapFree=4056136/4192956 [pid=25435] ppid=25433 vsize=42524 CPUtime=162.23 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 9994 0 0 0 16213 10 0 0 25 0 1 0 132464818 43544576 9918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 10631 9918 170 317 0 10310 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 42524 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 25436 /proc/meminfo: memFree=1551992/2055920 swapFree=4056136/4192956 [pid=25435] ppid=25433 vsize=47644 CPUtime=222.21 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 11298 0 0 0 22209 12 0 0 25 0 1 0 132464818 48787456 11222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 11911 11222 170 317 0 11590 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 47644 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25436 /proc/meminfo: memFree=1547512/2055920 swapFree=4056200/4192956 [pid=25435] ppid=25433 vsize=51712 CPUtime=282.19 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 12434 0 0 0 28206 13 0 0 25 0 1 0 132464818 52953088 12358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 12928 12358 170 317 0 12607 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 51712 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25436 /proc/meminfo: memFree=1543808/2055920 swapFree=4056200/4192956 [pid=25435] ppid=25433 vsize=55008 CPUtime=342.16 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 13359 0 0 0 34202 14 0 0 25 0 1 0 132464818 56328192 13283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 13752 13283 170 317 0 13431 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 55008 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25436 /proc/meminfo: memFree=1540608/2055920 swapFree=4056328/4192956 [pid=25435] ppid=25433 vsize=58296 CPUtime=402.15 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 14190 0 0 0 40199 16 0 0 25 0 1 0 132464818 59695104 14114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 14574 14114 170 317 0 14253 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 58296 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25438 /proc/meminfo: memFree=1537280/2055920 swapFree=4056328/4192956 [pid=25435] ppid=25433 vsize=61312 CPUtime=462.12 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 15010 0 0 0 46195 17 0 0 25 0 1 0 132464818 62783488 14934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 15328 14934 170 317 0 15007 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 61312 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25438 /proc/meminfo: memFree=1533440/2055920 swapFree=4056392/4192956 [pid=25435] ppid=25433 vsize=65492 CPUtime=522.1 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 15950 0 0 0 52192 18 0 0 25 0 1 0 132464818 67063808 15874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 16373 15874 170 317 0 16052 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 65492 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25438 /proc/meminfo: memFree=1529280/2055920 swapFree=4056456/4192956 [pid=25435] ppid=25433 vsize=74628 CPUtime=582.08 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 17979 0 0 0 58189 19 0 0 25 0 1 0 132464818 76419072 16898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 18657 16898 170 317 0 18336 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 74628 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25438 /proc/meminfo: memFree=1525888/2055920 swapFree=4056584/4192956 [pid=25435] ppid=25433 vsize=78388 CPUtime=642.06 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 18847 0 0 0 64186 20 0 0 25 0 1 0 132464818 80269312 17733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 19597 17733 170 317 0 19276 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 78388 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.02 0.99 0.97 2/78 25438 /proc/meminfo: memFree=1515904/2055920 swapFree=4056712/4192956 [pid=25435] ppid=25433 vsize=87348 CPUtime=881.96 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 21375 0 0 0 88171 25 0 0 25 0 1 0 132464818 89444352 20261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 21837 20261 170 317 0 21516 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 87348 [startup+942.302 s] /proc/loadavg: 1.01 0.99 0.97 2/78 25438 /proc/meminfo: memFree=1513408/2055920 swapFree=4056844/4192956 [pid=25435] ppid=25433 vsize=89588 CPUtime=941.95 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 21991 0 0 0 94169 26 0 0 25 0 1 0 132464818 91738112 20877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 22397 20877 170 317 0 22076 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 89588 [startup+1002.3 s] /proc/loadavg: 1.06 1.00 0.98 2/78 25438 /proc/meminfo: memFree=1510976/2055920 swapFree=4056844/4192956 [pid=25435] ppid=25433 vsize=92064 CPUtime=1001.93 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 22664 0 0 0 100166 27 0 0 25 0 1 0 132464818 94273536 21484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 23016 21484 170 317 0 22695 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 92064 [startup+1062.3 s] /proc/loadavg: 1.02 1.00 0.98 2/78 25438 /proc/meminfo: memFree=1508608/2055920 swapFree=4056844/4192956 [pid=25435] ppid=25433 vsize=94160 CPUtime=1061.9 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 23269 0 0 0 106162 28 0 0 25 0 1 0 132464818 96419840 22056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 23540 22056 170 317 0 23219 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 94160 [startup+1122.3 s] /proc/loadavg: 1.09 1.03 0.99 2/78 25438 /proc/meminfo: memFree=1506496/2055920 swapFree=4056972/4192956 [pid=25435] ppid=25433 vsize=96180 CPUtime=1121.88 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 23788 0 0 0 112159 29 0 0 25 0 1 0 132464818 98488320 22575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 24045 22575 170 317 0 23724 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 96180 [startup+1182.3 s] /proc/loadavg: 1.08 1.04 0.99 2/78 25438 /proc/meminfo: memFree=1504448/2055920 swapFree=4056972/4192956 [pid=25435] ppid=25433 vsize=97892 CPUtime=1181.86 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 24285 0 0 0 118156 30 0 0 25 0 1 0 132464818 100241408 23072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 24473 23072 170 317 0 24152 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 97892 [startup+1242.3 s] /proc/loadavg: 1.07 1.04 1.00 2/78 25438 /proc/meminfo: memFree=1502400/2055920 swapFree=4057100/4192956 [pid=25435] ppid=25433 vsize=99728 CPUtime=1241.83 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 24786 0 0 0 124153 30 0 0 25 0 1 0 132464818 102121472 23573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 24932 23573 170 317 0 24611 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 99728 [startup+1302.3 s] /proc/loadavg: 1.07 1.04 1.00 2/78 25438 /proc/meminfo: memFree=1500352/2055920 swapFree=4057100/4192956 [pid=25435] ppid=25433 vsize=101436 CPUtime=1301.82 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 25309 0 0 0 130151 31 0 0 25 0 1 0 132464818 103870464 24096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 25359 24096 170 317 0 25038 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 101436 [startup+1362.3 s] /proc/loadavg: 1.10 1.06 1.01 2/78 25438 /proc/meminfo: memFree=1498240/2055920 swapFree=4057100/4192956 [pid=25435] ppid=25433 vsize=103148 CPUtime=1361.79 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 25816 0 0 0 136147 32 0 0 25 0 1 0 132464818 105623552 24603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 25787 24603 170 317 0 25466 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 103148 [startup+1422.31 s] /proc/loadavg: 1.07 1.06 1.01 2/78 25438 /proc/meminfo: memFree=1496512/2055920 swapFree=4057228/4192956 [pid=25435] ppid=25433 vsize=104840 CPUtime=1421.77 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 26285 0 0 0 142145 32 0 0 25 0 1 0 132464818 107356160 25072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 26210 25072 170 317 0 25889 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 104840 [startup+1482.3 s] /proc/loadavg: 1.14 1.08 1.01 2/78 25438 /proc/meminfo: memFree=1494592/2055920 swapFree=4057228/4192956 [pid=25435] ppid=25433 vsize=106568 CPUtime=1481.75 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 26758 0 0 0 148141 34 0 0 25 0 1 0 132464818 109125632 25545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 26642 25545 170 317 0 26321 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 106568 [startup+1542.3 s] /proc/loadavg: 1.12 1.08 1.01 2/78 25438 /proc/meminfo: memFree=1492416/2055920 swapFree=4057292/4192956 [pid=25435] ppid=25433 vsize=108460 CPUtime=1541.72 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 27303 0 0 0 154137 35 0 0 25 0 1 0 132464818 111063040 26090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 27115 26090 170 317 0 26794 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 108460 [startup+1602.3 s] /proc/loadavg: 1.11 1.07 1.01 2/78 25438 /proc/meminfo: memFree=1490688/2055920 swapFree=4057292/4192956 [pid=25435] ppid=25433 vsize=110168 CPUtime=1601.71 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 27756 0 0 0 160135 36 0 0 25 0 1 0 132464818 112812032 26543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 27542 26543 170 317 0 27221 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 110168 [startup+1662.3 s] /proc/loadavg: 1.12 1.07 1.01 2/78 25438 /proc/meminfo: memFree=1488704/2055920 swapFree=4057292/4192956 [pid=25435] ppid=25433 vsize=111744 CPUtime=1661.68 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 28231 0 0 0 166132 36 0 0 25 0 1 0 132464818 114425856 27018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 27936 27018 170 317 0 27615 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 111744 [startup+1722.3 s] /proc/loadavg: 1.13 1.09 1.01 2/78 25438 /proc/meminfo: memFree=1486656/2055920 swapFree=4057356/4192956 [pid=25435] ppid=25433 vsize=113576 CPUtime=1721.65 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 28742 0 0 0 172128 37 0 0 25 0 1 0 132464818 116301824 27496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 28394 27496 170 317 0 28073 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 113576 [startup+1782.3 s] /proc/loadavg: 1.05 1.07 1.01 2/84 25614 /proc/meminfo: memFree=1483512/2055920 swapFree=4057356/4192956 [pid=25435] ppid=25433 vsize=115268 CPUtime=1781.56 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 29184 0 0 0 178118 38 0 0 25 0 1 0 132464818 118034432 27938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 28817 27938 170 317 0 28496 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 115268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.03 1.06 1.01 2/78 25636 /proc/meminfo: memFree=1484224/2055920 swapFree=4057356/4192956 [pid=25435] ppid=25433 vsize=115664 CPUtime=1800.04 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 29316 0 0 0 179966 38 0 0 25 0 1 0 132464818 118439936 28070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 28916 28070 170 317 0 28595 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 115664 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.03 1.06 1.01 2/78 25636 /proc/meminfo: memFree=1484224/2055920 swapFree=4057356/4192956 [pid=25435] ppid=25433 vsize=115664 CPUtime=1800.14 /proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 29317 0 0 0 179976 38 0 0 25 0 1 0 132464818 118439936 28071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25435/statm: 28916 28071 170 317 0 28595 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 115664 Child status: 0 Real time (s): 1800.97 CPU time (s): 1800.22 CPU user time (s): 1799.81 CPU system time (s): 0.409937 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (KiB): 115664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.409937 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29333 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= 24880 runsolver used 2.06968 second user time and 4.49632 second system time The end
Begin job on node42 on Tue Apr 17 21:32:09 UTC 2007 IDJOB= 356859 IDBENCH= 1528 IDSOLVER= 172 FILE ID= node42/356859-1176845529 PBS_JOBID= 4590185 Free space on /tmp= 66464 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb COMMAND LINE= oree /tmp/evaluation/356859-1176845529/instance-356859-1176845529.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-356859-1176845529 -o ROOT/results/node42/solver-356859-1176845529 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356859-1176845529/instance-356859-1176845529.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f RANDOM SEED= 964987868 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1597200 kB Buffers: 43708 kB Cached: 301524 kB SwapCached: 34276 kB Active: 206924 kB Inactive: 185872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1597200 kB SwapTotal: 4192956 kB SwapFree: 4056072 kB Dirty: 1480 kB Writeback: 0 kB Mapped: 38752 kB Slab: 51304 kB Committed_AS: 2956828 kB PageTables: 1912 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= 66464 MiB End job on node42 on Tue Apr 17 22:02:12 UTC 2007