Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -24 | 1800.41 | 1800.92 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_3.opb |
MD5SUM | 737bdf32fd69c002d569e68c523af4bf |
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 | -26 |
Best CPU time to get the best result obtained on this benchmark | 217.679 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -26 |
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) | 1244 |
Sum of products size (including duplicates) | 2488 |
Number of different products | 622 |
Sum of products size | 1244 |
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=722 #constraints=1445 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.05/0.05 c nbDecision=19 #constraints=1445 0.05/0.05 c linear search for optimum 0.05/0.05 o -19 0.05/0.05 c nbDecision=20 #constraints=1447 0.05/0.05 o -20 0.39/0.47 c restart after 401 decisions 0.59/0.62 c nbDecision=500 #constraints=1831 0.79/0.87 c restart after 801 decisions 1.09/1.17 c nbDecision=1000 #constraints=2102 1.99/2.02 c nbDecision=1442 #constraints=2451 1.99/2.02 o -21 1.99/2.10 c nbDecision=1483 #constraints=2481 1.99/2.10 o -22 2.09/2.13 c nbDecision=1500 #constraints=2492 2.29/2.32 c restart after 1601 decisions 3.39/3.41 c nbDecision=2000 #constraints=2877 4.99/5.03 c nbDecision=2500 #constraints=3252 7.79/7.80 c nbDecision=3000 #constraints=3683 9.29/9.32 c restart after 3201 decisions 11.79/11.83 c nbDecision=3500 #constraints=4154 13.69/13.76 c nbDecision=3701 #constraints=4339 13.69/13.76 o -23 13.89/13.99 c nbDecision=3739 #constraints=4362 13.89/13.99 o -24 15.78/15.87 c nbDecision=4000 #constraints=4541 21.38/21.42 c nbDecision=4500 #constraints=4997 27.99/28.01 c nbDecision=5000 #constraints=5440 35.68/35.76 c nbDecision=5500 #constraints=5906 44.78/44.80 c nbDecision=6000 #constraints=6349 52.08/52.10 c restart after 6401 decisions 53.88/53.99 c nbDecision=6500 #constraints=6705 64.47/64.59 c nbDecision=7000 #constraints=7098 75.67/75.73 c nbDecision=7500 #constraints=7515 84.47/84.53 c nbDecision=8000 #constraints=7864 93.97/94.03 c nbDecision=8500 #constraints=8210 104.66/104.72 c nbDecision=9000 #constraints=8571 116.36/116.42 c nbDecision=9500 #constraints=8946 129.85/129.92 c nbDecision=10000 #constraints=9336 142.45/142.59 c nbDecision=10500 #constraints=9686 155.45/155.57 c nbDecision=11000 #constraints=10048 169.64/169.71 c nbDecision=11500 #constraints=10420 183.74/183.81 c nbDecision=12000 #constraints=10779 197.94/198.07 c nbDecision=12500 #constraints=11125 207.73/207.85 c restart after 12801 decisions 214.33/214.49 c nbDecision=13000 #constraints=11484 230.83/230.92 c nbDecision=13500 #constraints=11870 252.92/253.00 c nbDecision=14000 #constraints=12317 275.42/275.56 c nbDecision=14500 #constraints=12778 295.41/295.56 c nbDecision=15000 #constraints=13157 316.61/316.73 c nbDecision=15500 #constraints=13566 336.09/336.23 c nbDecision=16000 #constraints=13905 354.69/354.80 c nbDecision=16500 #constraints=14224 373.68/373.89 c nbDecision=17000 #constraints=14547 402.48/402.68 c nbDecision=17500 #constraints=14994 428.27/428.42 c nbDecision=18000 #constraints=15404 452.37/452.51 c nbDecision=18500 #constraints=15804 477.65/477.87 c nbDecision=19000 #constraints=16210 507.45/507.65 c nbDecision=19500 #constraints=16647 532.84/533.03 c nbDecision=20000 #constraints=17044 559.33/559.58 c nbDecision=20500 #constraints=17411 583.42/583.61 c nbDecision=21000 #constraints=17763 613.42/613.63 c nbDecision=21500 #constraints=18175 641.91/642.17 c nbDecision=22000 #constraints=18554 675.30/675.56 c nbDecision=22500 #constraints=18970 711.29/711.51 c nbDecision=23000 #constraints=19382 742.98/743.28 c nbDecision=23500 #constraints=19767 776.57/776.85 c nbDecision=24000 #constraints=20177 810.36/810.60 c nbDecision=24500 #constraints=20563 839.86/840.14 c nbDecision=25000 #constraints=20941 869.24/869.53 c nbDecision=25500 #constraints=21329 874.04/874.30 c restart after 25601 decisions 895.24/895.57 c nbDecision=26000 #constraints=21657 925.23/925.52 c nbDecision=26500 #constraints=22011 954.72/955.07 c nbDecision=27000 #constraints=22380 982.42/982.75 c nbDecision=27500 #constraints=22725 1009.30/1009.68 c nbDecision=28000 #constraints=23050 1040.90/1041.25 c nbDecision=28500 #constraints=23394 1069.29/1069.68 c nbDecision=29000 #constraints=23732 1100.38/1100.75 c nbDecision=29500 #constraints=24080 1136.27/1136.60 c nbDecision=30000 #constraints=24455 1174.16/1174.54 c nbDecision=30500 #constraints=24837 1215.55/1215.93 c nbDecision=31000 #constraints=25244 1258.04/1258.44 c nbDecision=31500 #constraints=25638 1298.92/1299.39 c nbDecision=32000 #constraints=26022 1334.92/1335.32 c nbDecision=32500 #constraints=26368 1373.00/1373.44 c nbDecision=33000 #constraints=26715 1419.59/1420.04 c nbDecision=33500 #constraints=27131 1457.18/1457.61 c nbDecision=34000 #constraints=27466 1498.07/1498.59 c nbDecision=34500 #constraints=27822 1531.77/1532.24 c nbDecision=35000 #constraints=28115 1573.85/1574.33 c nbDecision=35500 #constraints=28489 1619.74/1620.29 c nbDecision=36000 #constraints=28910 1662.42/1662.96 c nbDecision=36500 #constraints=29270 1698.31/1698.87 c nbDecision=37000 #constraints=29599 1744.40/1744.91 c nbDecision=37500 #constraints=29986 1789.10/1789.60 c nbDecision=38000 #constraints=30364 1800.10/1800.60 Received signal 15 1800.29/1800.88 1800.29/1800.88 s SATISFIABLE 1800.29/1800.88 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.29/1800.88 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 1800.29/1800.88 v 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 -x82 -x83 -x84 1800.29/1800.88 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 1800.29/1800.88 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.29/1800.88 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.29/1800.88 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.29/1800.88 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.29/1800.88 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.29/1800.88 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.29/1800.88 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1800.29/1800.88 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.29/1800.88 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.29/1800.88 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1800.29/1800.88 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.29/1800.88 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.29/1800.88 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.29/1800.88 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.29/1800.88 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.29/1800.88 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.29/1800.88 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.29/1800.88 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.29/1800.88 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.29/1800.88 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.29/1800.88 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1800.29/1800.88 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1800.29/1800.88 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.29/1800.88 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.29/1800.88 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1800.29/1800.88 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.29/1800.88 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1800.29/1800.88 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1800.29/1800.88 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.29/1800.88 v -x718 -x719 -x720 -x721 -x722 1800.29/1800.88 1800.29/1800.88 c user time= 1799.92 s 1800.29/1800.88 c system time= 0.461929 s 1800.29/1800.88 c wall clock time=1800.89
OK -24
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454835-1178032122/instance-454835-1178032122.opb mv /tmp/evaluation/454835-1178032122/instance-454835-1178032122.opb.tmp /tmp/evaluation/454835-1178032122/instance-454835-1178032122.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-454835-1178032122 -o ROOT/results/node44/solver-454835-1178032122 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454835-1178032122/instance-454835-1178032122.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.77 0.95 0.98 3/77 16108 /proc/meminfo: memFree=1861608/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=1468 CPUtime=0 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 251123870 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564936 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 367 168 131 317 0 46 0 [startup+0.0534381 s] /proc/loadavg: 0.77 0.95 0.98 3/77 16108 /proc/meminfo: memFree=1861608/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=1996 CPUtime=0.05 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 332 0 0 0 5 0 0 0 18 0 1 0 251123870 2043904 315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 499 315 138 317 0 178 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1996 [startup+0.101441 s] /proc/loadavg: 0.77 0.95 0.98 3/77 16108 /proc/meminfo: memFree=1861608/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=2200 CPUtime=0.09 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 408 0 0 0 9 0 0 0 18 0 1 0 251123870 2252800 391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 550 391 170 317 0 229 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2200 [startup+0.301462 s] /proc/loadavg: 0.77 0.95 0.98 3/77 16108 /proc/meminfo: memFree=1861608/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=2992 CPUtime=0.29 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 589 0 0 0 29 0 0 0 19 0 1 0 251123870 3063808 572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 748 572 170 317 0 427 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2992 [startup+0.701502 s] /proc/loadavg: 0.77 0.95 0.98 3/77 16108 /proc/meminfo: memFree=1861608/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=4032 CPUtime=0.69 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 852 0 0 0 69 0 0 0 23 0 1 0 251123870 4128768 835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 1008 835 170 317 0 687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4032 [startup+1.50259 s] /proc/loadavg: 0.79 0.95 0.98 2/78 16109 /proc/meminfo: memFree=1858144/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=5872 CPUtime=1.49 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 1307 0 0 0 149 0 0 0 25 0 1 0 251123870 6012928 1290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 1468 1290 170 317 0 1147 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5872 [startup+3.10175 s] /proc/loadavg: 0.79 0.95 0.98 2/78 16109 /proc/meminfo: memFree=1855776/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=8544 CPUtime=3.09 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 1929 0 0 0 308 1 0 0 25 0 1 0 251123870 8749056 1912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 2136 1912 170 317 0 1815 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8544 [startup+6.30108 s] /proc/loadavg: 0.79 0.95 0.98 2/78 16109 /proc/meminfo: memFree=1852064/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=11420 CPUtime=6.29 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 2662 0 0 0 627 2 0 0 25 0 1 0 251123870 11694080 2645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 2855 2645 170 317 0 2534 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11420 [startup+12.7017 s] /proc/loadavg: 0.82 0.95 0.98 2/78 16109 /proc/meminfo: memFree=1847984/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=15332 CPUtime=12.69 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 3583 0 0 0 1266 3 0 0 25 0 1 0 251123870 15699968 3566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 3833 3566 170 317 0 3512 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15332 [startup+25.5011 s] /proc/loadavg: 0.85 0.95 0.98 2/78 16109 /proc/meminfo: memFree=1843256/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=19676 CPUtime=25.49 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 4706 0 0 0 2544 5 0 0 25 0 1 0 251123870 20148224 4689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 4919 4689 170 317 0 4598 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19676 [startup+51.1017 s] /proc/loadavg: 0.90 0.95 0.98 2/78 16109 /proc/meminfo: memFree=1836984/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=26752 CPUtime=51.08 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 6313 0 0 0 5102 6 0 0 25 0 1 0 251123870 27394048 6259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 6688 6259 170 317 0 6367 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26752 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/78 16109 /proc/meminfo: memFree=1828792/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=34672 CPUtime=102.27 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 8324 0 0 0 10218 9 0 0 25 0 1 0 251123870 35504128 8270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712578 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 8668 8270 170 317 0 8347 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34672 [startup+162.301 s] /proc/loadavg: 0.98 0.96 0.98 2/78 16109 /proc/meminfo: memFree=1820664/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=44232 CPUtime=162.25 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 10355 0 0 0 16214 11 0 0 25 0 1 0 251123870 45293568 10301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563683 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 11058 10301 170 317 0 10737 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 44232 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1814328/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=50728 CPUtime=222.22 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 11992 0 0 0 22210 12 0 0 25 0 1 0 251123870 51945472 11866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 12682 11866 170 317 0 12361 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 50728 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1809144/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=56328 CPUtime=282.21 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 13296 0 0 0 28207 14 0 0 25 0 1 0 251123870 57679872 13170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 14082 13170 170 317 0 13761 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 56328 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1804408/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=60536 CPUtime=342.19 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 14463 0 0 0 34204 15 0 0 25 0 1 0 251123870 61988864 14337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604138 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 15134 14337 170 317 0 14813 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 60536 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1800120/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=65048 CPUtime=402.18 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 15525 0 0 0 40201 17 0 0 25 0 1 0 251123870 66609152 15399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 16262 15399 170 317 0 15941 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 65048 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1795960/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=68864 CPUtime=462.16 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 16560 0 0 0 46198 18 0 0 25 0 1 0 251123870 70516736 16434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 17216 16434 170 317 0 16895 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 68864 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1792056/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=72524 CPUtime=522.14 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 17536 0 0 0 52195 19 0 0 25 0 1 0 251123870 74264576 17410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 18131 17410 170 317 0 17810 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 72524 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1788280/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=76108 CPUtime=582.12 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 18454 0 0 0 58192 20 0 0 25 0 1 0 251123870 77934592 18328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 19027 18328 170 317 0 18706 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 76108 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1784440/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=84168 CPUtime=642.12 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 20284 0 0 0 64190 22 0 0 25 0 1 0 251123870 86188032 19267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 21042 19267 170 317 0 20721 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 84168 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1768504/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=100480 CPUtime=942.03 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 24703 0 0 0 94175 28 0 0 25 0 1 0 251123870 102891520 23280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 25120 23280 170 317 0 24799 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 100480 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1764984/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=103744 CPUtime=1002.01 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 25623 0 0 0 100172 29 0 0 25 0 1 0 251123870 106233856 24134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 25936 24134 170 317 0 25615 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 103744 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1761912/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=107252 CPUtime=1061.99 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 26583 0 0 0 106169 30 0 0 25 0 1 0 251123870 109826048 24896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 26813 24896 170 317 0 26492 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 107252 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1759032/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=110040 CPUtime=1121.98 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 27369 0 0 0 112166 32 0 0 25 0 1 0 251123870 112680960 25616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 27510 25616 170 317 0 27189 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 110040 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1756344/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=112832 CPUtime=1181.96 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 28132 0 0 0 118163 33 0 0 25 0 1 0 251123870 115539968 26280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 28208 26280 170 317 0 27887 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 112832 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1753656/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=115320 CPUtime=1241.94 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 28846 0 0 0 124159 35 0 0 25 0 1 0 251123870 118087680 26928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 28830 26928 170 317 0 28509 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 115320 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1751160/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=117788 CPUtime=1301.93 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 29561 0 0 0 130157 36 0 0 25 0 1 0 251123870 120614912 27544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 29447 27544 170 317 0 29126 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 117788 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1748536/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=120656 CPUtime=1361.91 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 30282 0 0 0 136154 37 0 0 25 0 1 0 251123870 123551744 28199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 30164 28199 170 317 0 29843 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 120656 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1746104/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=122968 CPUtime=1421.89 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 30907 0 0 0 142151 38 0 0 25 0 1 0 251123870 125919232 28791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 30742 28791 170 317 0 30421 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 122968 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1743800/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=125028 CPUtime=1481.87 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 31484 0 0 0 148147 40 0 0 25 0 1 0 251123870 128028672 29368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 31257 29368 170 317 0 30936 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 125028 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1741432/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=126980 CPUtime=1541.86 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 32052 0 0 0 154145 41 0 0 25 0 1 0 251123870 130027520 29936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 31745 29936 170 317 0 31424 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 126980 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1739000/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=129228 CPUtime=1601.85 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 32699 0 0 0 160143 42 0 0 25 0 1 0 251123870 132329472 30550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 32307 30550 170 317 0 31986 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 129228 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1736632/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=131164 CPUtime=1661.82 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 33277 0 0 0 166139 43 0 0 25 0 1 0 251123870 134311936 31128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 32791 31128 170 317 0 32470 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 131164 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1734264/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=133552 CPUtime=1721.81 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 33914 0 0 0 172137 44 0 0 25 0 1 0 251123870 136757248 31732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 33388 31732 170 317 0 33067 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 133552 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1732088/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=135568 CPUtime=1781.79 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 34449 0 0 0 178134 45 0 0 25 0 1 0 251123870 138821632 32267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 33892 32267 170 317 0 33571 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 135568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1731384/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=136216 CPUtime=1800.1 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 34614 0 0 0 179964 46 0 0 25 0 1 0 251123870 139485184 32432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 34054 32432 170 317 0 33733 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 136216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1731384/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=136216 CPUtime=1800.29 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194304 34614 0 0 0 179983 46 0 0 25 0 1 0 251123870 139485184 32432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 34054 32432 170 317 0 33733 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 136216 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.98 2/78 16109 /proc/meminfo: memFree=1731384/2055920 swapFree=4156220/4192956 [pid=16108] ppid=16106 vsize=0 CPUtime=1800.39 /proc/16108/stat : 16108 (oree) R 16106 16108 16040 0 -1 4194308 34630 0 0 0 179992 47 0 0 25 0 1 0 251123870 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16108/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.41 CPU user time (s): 1799.92 CPU system time (s): 0.484926 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 136216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.484926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34630 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= 38212 runsolver used 1.3418 second user time and 4.04938 second system time The end
Begin job on node44 on Tue May 1 15:08:42 UTC 2007 IDJOB= 454835 IDBENCH= 48223 IDSOLVER= 172 FILE ID= node44/454835-1178032122 PBS_JOBID= 4728410 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_3.opb COMMAND LINE= oree /tmp/evaluation/454835-1178032122/instance-454835-1178032122.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node44/convwatcher-454835-1178032122 -o ROOT/results/node44/conversion-454835-1178032122 -C 600 -M 1800 /tmp/evaluation/454835-1178032122/substituteSizeProductKeyword /tmp/evaluation/454835-1178032122/instance-454835-1178032122.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-454835-1178032122 -o ROOT/results/node44/solver-454835-1178032122 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454835-1178032122/instance-454835-1178032122.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 737bdf32fd69c002d569e68c523af4bf RANDOM SEED= 167483291 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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: 1862016 kB Buffers: 39492 kB Cached: 66372 kB SwapCached: 13816 kB Active: 85676 kB Inactive: 44368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862016 kB SwapTotal: 4192956 kB SwapFree: 4156220 kB Dirty: 1504 kB Writeback: 0 kB Mapped: 32128 kB Slab: 49392 kB Committed_AS: 2390868 kB PageTables: 1736 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 node44 on Tue May 1 15:38:44 UTC 2007