Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -7 | 1800.31 | 1800.85 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_5.opb |
MD5SUM | 0619afe86d0e2ffb4ad28e9f2f441c24 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
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 | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1212 |
Sum of products size (including duplicates) | 2424 |
Number of different products | 606 |
Sum of products size | 1212 |
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=706 #constraints=1365 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.04/0.08 c restart after 401 decisions 0.09/0.10 c nbDecision=500 #constraints=1546 0.09/0.16 c restart after 801 decisions 0.19/0.20 c nbDecision=1000 #constraints=1694 0.29/0.31 c nbDecision=1500 #constraints=1793 0.29/0.34 c restart after 1601 decisions 0.39/0.48 c nbDecision=2000 #constraints=1984 0.59/0.68 c nbDecision=2500 #constraints=2166 0.89/0.94 c nbDecision=3000 #constraints=2389 1.00/1.08 c restart after 3201 decisions 1.19/1.29 c nbDecision=3500 #constraints=2583 1.69/1.75 c nbDecision=4000 #constraints=2778 2.29/2.32 c nbDecision=4500 #constraints=3013 2.99/3.07 c nbDecision=5000 #constraints=3310 3.99/4.09 c nbDecision=5500 #constraints=3578 5.40/5.46 c nbDecision=6000 #constraints=3858 6.69/6.72 c restart after 6401 decisions 7.09/7.10 c nbDecision=6500 #constraints=4186 8.99/9.09 c nbDecision=7000 #constraints=4542 11.79/11.89 c nbDecision=7500 #constraints=4876 14.69/14.75 c nbDecision=8000 #constraints=5269 18.19/18.25 c nbDecision=8500 #constraints=5664 22.08/22.17 c nbDecision=9000 #constraints=6077 27.39/27.43 c nbDecision=9500 #constraints=6498 32.78/32.89 c nbDecision=10000 #constraints=6940 38.18/38.29 c nbDecision=10500 #constraints=7370 44.38/44.44 c nbDecision=11000 #constraints=7783 49.88/49.94 c nbDecision=11500 #constraints=8217 55.77/55.81 c nbDecision=12000 #constraints=8644 63.58/63.61 c nbDecision=12500 #constraints=9066 68.87/68.96 c restart after 12801 decisions 72.27/72.37 c nbDecision=13000 #constraints=9479 82.47/82.55 c nbDecision=13500 #constraints=9908 90.17/90.29 c nbDecision=14000 #constraints=10381 99.16/99.28 c nbDecision=14500 #constraints=10831 108.16/108.29 c nbDecision=15000 #constraints=11261 119.15/119.25 c nbDecision=15500 #constraints=11655 121.75/121.85 c nbDecision=15580 #constraints=11701 121.75/121.85 c linear search for optimum 121.75/121.85 o -7 129.25/129.35 c nbDecision=16000 #constraints=12106 139.75/139.85 c nbDecision=16500 #constraints=12569 150.56/150.63 c nbDecision=17000 #constraints=13042 161.25/161.37 c nbDecision=17500 #constraints=13527 173.44/173.58 c nbDecision=18000 #constraints=13990 186.54/186.69 c nbDecision=18500 #constraints=14434 201.54/201.64 c nbDecision=19000 #constraints=14862 213.53/213.65 c nbDecision=19500 #constraints=15342 227.03/227.12 c nbDecision=20000 #constraints=15808 240.53/240.61 c nbDecision=20500 #constraints=16289 255.42/255.58 c nbDecision=21000 #constraints=16761 269.51/269.69 c nbDecision=21500 #constraints=17238 283.92/284.08 c nbDecision=22000 #constraints=17701 298.61/298.76 c nbDecision=22500 #constraints=18161 312.91/313.05 c nbDecision=23000 #constraints=18630 331.80/331.93 c nbDecision=23500 #constraints=19084 349.60/349.73 c nbDecision=24000 #constraints=19539 368.80/368.91 c nbDecision=24500 #constraints=19991 386.79/386.90 c nbDecision=25000 #constraints=20470 406.29/406.42 c nbDecision=25500 #constraints=20939 409.88/410.06 c restart after 25601 decisions 425.68/425.80 c nbDecision=26000 #constraints=21397 446.97/447.17 c nbDecision=26500 #constraints=21852 471.87/472.07 c nbDecision=27000 #constraints=22285 492.06/492.22 c nbDecision=27500 #constraints=22743 513.15/513.35 c nbDecision=28000 #constraints=23184 534.25/534.50 c nbDecision=28500 #constraints=23642 556.14/556.31 c nbDecision=29000 #constraints=24095 580.73/580.91 c nbDecision=29500 #constraints=24537 603.83/604.01 c nbDecision=30000 #constraints=24968 629.33/629.54 c nbDecision=30500 #constraints=25369 653.62/653.81 c nbDecision=31000 #constraints=25767 682.11/682.38 c nbDecision=31500 #constraints=26153 704.10/704.37 c nbDecision=32000 #constraints=26592 727.80/728.01 c nbDecision=32500 #constraints=27026 750.59/750.89 c nbDecision=33000 #constraints=27496 776.88/777.11 c nbDecision=33500 #constraints=27939 799.48/799.75 c nbDecision=34000 #constraints=28381 824.47/824.70 c nbDecision=34500 #constraints=28822 849.16/849.42 c nbDecision=35000 #constraints=29234 876.96/877.27 c nbDecision=35500 #constraints=29647 904.45/904.74 c nbDecision=36000 #constraints=30108 931.95/932.24 c nbDecision=36500 #constraints=30534 958.54/958.88 c nbDecision=37000 #constraints=30965 984.93/985.29 c nbDecision=37500 #constraints=31369 1013.02/1013.30 c nbDecision=38000 #constraints=31788 1043.01/1043.37 c nbDecision=38500 #constraints=32184 1075.10/1075.42 c nbDecision=39000 #constraints=32518 1109.29/1109.60 c nbDecision=39500 #constraints=32889 1138.79/1139.12 c nbDecision=40000 #constraints=33353 1167.88/1168.27 c nbDecision=40500 #constraints=33829 1196.27/1196.68 c nbDecision=41000 #constraints=34275 1223.87/1224.29 c nbDecision=41500 #constraints=34702 1256.75/1257.12 c nbDecision=42000 #constraints=35141 1285.75/1286.18 c nbDecision=42500 #constraints=35554 1317.03/1317.42 c nbDecision=43000 #constraints=35983 1352.64/1353.01 c nbDecision=43500 #constraints=36386 1388.12/1388.54 c nbDecision=44000 #constraints=36808 1418.52/1418.93 c nbDecision=44500 #constraints=37298 1451.70/1452.20 c nbDecision=45000 #constraints=37752 1487.99/1488.41 c nbDecision=45500 #constraints=38191 1520.38/1520.81 c nbDecision=46000 #constraints=38626 1555.68/1556.11 c nbDecision=46500 #constraints=39058 1591.86/1592.36 c nbDecision=47000 #constraints=39455 1626.95/1627.46 c nbDecision=47500 #constraints=39865 1665.95/1666.47 c nbDecision=48000 #constraints=40265 1702.83/1703.37 c nbDecision=48500 #constraints=40707 1738.53/1739.04 c nbDecision=49000 #constraints=41127 1776.62/1777.17 c nbDecision=49500 #constraints=41550 1800.01/1800.50 Received signal 15 1800.21/1800.76 1800.21/1800.76 s SATISFIABLE 1800.21/1800.76 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.21/1800.76 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.21/1800.76 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 1800.21/1800.76 v -x84 -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.21/1800.76 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.21/1800.76 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.21/1800.76 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 1800.21/1800.76 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.21/1800.76 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 1800.21/1800.76 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.21/1800.76 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1800.21/1800.76 v x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.21/1800.76 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.21/1800.76 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1800.21/1800.76 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.21/1800.76 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.21/1800.76 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.21/1800.76 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.21/1800.76 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.21/1800.76 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.21/1800.76 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.21/1800.76 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.21/1800.76 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.21/1800.76 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.21/1800.76 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1800.21/1800.76 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1800.21/1800.76 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.21/1800.76 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.21/1800.76 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1800.21/1800.76 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.21/1800.76 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1800.21/1800.76 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1800.21/1800.76 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 1800.21/1800.76 1800.21/1800.76 c user time= 1799.98 s 1800.21/1800.76 c system time= 0.306953 s 1800.21/1800.76 c wall clock time=1800.76
OK -7
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb mv /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb.tmp /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-455405-1178042775 -o ROOT/results/node74/solver-455405-1178042775 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455405-1178042775/instance-455405-1178042775.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.97 0.98 0.97 3/66 27996 /proc/meminfo: memFree=1858648/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=1468 CPUtime=0 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 252192250 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 367 164 131 317 0 46 0 [startup+0.0421911 s] /proc/loadavg: 0.97 0.98 0.97 3/66 27996 /proc/meminfo: memFree=1858648/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=2128 CPUtime=0.04 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 346 0 0 0 4 0 0 0 18 0 1 0 252192250 2179072 329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 532 329 139 317 0 211 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2128 [startup+0.101198 s] /proc/loadavg: 0.97 0.98 0.97 3/66 27996 /proc/meminfo: memFree=1858648/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=2392 CPUtime=0.09 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 417 0 0 0 9 0 0 0 18 0 1 0 252192250 2449408 400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 598 400 139 317 0 277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2392 [startup+0.301219 s] /proc/loadavg: 0.97 0.98 0.97 3/66 27996 /proc/meminfo: memFree=1858648/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=2920 CPUtime=0.29 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 555 0 0 0 29 0 0 0 19 0 1 0 252192250 2990080 538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 730 538 139 317 0 409 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2920 [startup+0.701266 s] /proc/loadavg: 0.97 0.98 0.97 3/66 27996 /proc/meminfo: memFree=1858648/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=3980 CPUtime=0.69 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 802 0 0 0 69 0 0 0 22 0 1 0 252192250 4075520 785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 995 785 139 317 0 674 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3980 [startup+1.50136 s] /proc/loadavg: 0.97 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1855632/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=5452 CPUtime=1.49 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 1137 0 0 0 149 0 0 0 25 0 1 0 252192250 5582848 1120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 1363 1120 139 317 0 1042 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5452 [startup+3.10154 s] /proc/loadavg: 0.97 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1854288/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=6764 CPUtime=3.09 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 1483 0 0 0 309 0 0 0 25 0 1 0 252192250 6926336 1466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 1691 1466 139 317 0 1370 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6764 [startup+6.30291 s] /proc/loadavg: 0.97 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1851664/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=8824 CPUtime=6.29 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 1963 0 0 0 628 1 0 0 25 0 1 0 252192250 9035776 1946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 2206 1946 139 317 0 1885 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8824 [startup+12.7017 s] /proc/loadavg: 0.97 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1849040/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=10956 CPUtime=12.69 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 2534 0 0 0 1268 1 0 0 25 0 1 0 252192250 11218944 2517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 2739 2517 139 317 0 2418 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10956 [startup+25.5011 s] /proc/loadavg: 0.98 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1845456/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=15096 CPUtime=25.49 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 3457 0 0 0 2546 3 0 0 25 0 1 0 252192250 15458304 3404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 3774 3404 139 317 0 3453 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15096 [startup+51.1011 s] /proc/loadavg: 0.98 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1840784/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=19916 CPUtime=51.08 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 4652 0 0 0 5104 4 0 0 25 0 1 0 252192250 20393984 4599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 4979 4599 139 317 0 4658 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19916 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1833872/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=27656 CPUtime=102.27 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 6421 0 0 0 10221 6 0 0 25 0 1 0 252192250 28319744 6297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 6914 6297 139 317 0 6593 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27656 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1827408/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=34772 CPUtime=162.25 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 8073 0 0 0 16218 7 0 0 25 0 1 0 252192250 35606528 7949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 8693 7949 170 317 0 8372 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 34772 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1822160/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=39492 CPUtime=222.23 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 9369 0 0 0 22216 7 0 0 25 0 1 0 252192250 40439808 9245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 9873 9245 170 317 0 9552 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 39492 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1817104/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=44224 CPUtime=282.22 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 10638 0 0 0 28213 9 0 0 25 0 1 0 252192250 45285376 10514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 11056 10514 170 317 0 10735 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 44224 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1812816/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=50332 CPUtime=342.2 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 12257 0 0 0 34210 10 0 0 25 0 1 0 252192250 51539968 11572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 12583 11572 170 317 0 12262 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 50332 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1808656/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=55800 CPUtime=402.19 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 13803 0 0 0 40207 12 0 0 25 0 1 0 252192250 57139200 12580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 13950 12580 170 317 0 13629 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 55800 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1805456/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=59576 CPUtime=462.17 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 14849 0 0 0 46204 13 0 0 25 0 1 0 252192250 61005824 13395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 14894 13395 170 317 0 14573 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 59576 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1802384/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=62324 CPUtime=522.15 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 15659 0 0 0 52202 13 0 0 25 0 1 0 252192250 63819776 14172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 15581 14172 170 317 0 15260 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 62324 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1799312/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=65020 CPUtime=582.13 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 16416 0 0 0 58199 14 0 0 25 0 1 0 252192250 66580480 14929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 16255 14929 170 317 0 15934 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 65020 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1796688/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=67384 CPUtime=642.13 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 17101 0 0 0 64198 15 0 0 25 0 1 0 252192250 69001216 15581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 16846 15581 170 317 0 16525 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 67384 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1783632/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=78944 CPUtime=942.04 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 20414 0 0 0 94185 19 0 0 25 0 1 0 252192250 80838656 18828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 19736 18828 170 317 0 19415 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 78944 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1781264/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=80784 CPUtime=1002.02 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 20988 0 0 0 100183 19 0 0 25 0 1 0 252192250 82722816 19402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 20196 19402 170 317 0 19875 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 80784 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1779344/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=82876 CPUtime=1062.01 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 21563 0 0 0 106181 20 0 0 25 0 1 0 252192250 84865024 19878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 20719 19878 170 317 0 20398 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 82876 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1777552/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=84444 CPUtime=1121.99 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 22047 0 0 0 112178 21 0 0 25 0 1 0 252192250 86470656 20329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 21111 20329 170 317 0 20790 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 84444 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1775056/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=86688 CPUtime=1181.98 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 22711 0 0 0 118176 22 0 0 25 0 1 0 252192250 88768512 20960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 21672 20960 170 317 0 21351 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 86688 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1772816/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=92104 CPUtime=1241.96 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 24136 0 0 0 124173 23 0 0 25 0 1 0 252192250 94314496 21507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 23026 21507 170 317 0 22705 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 92104 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1770640/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=95212 CPUtime=1301.95 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 24990 0 0 0 130171 24 0 0 25 0 1 0 252192250 97497088 22036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 23803 22036 170 317 0 23482 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 95212 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1768848/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=97428 CPUtime=1361.93 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 25632 0 0 0 136168 25 0 0 25 0 1 0 252192250 99766272 22483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 24357 22483 170 317 0 24036 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 97428 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1766608/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=102112 CPUtime=1421.91 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 26806 0 0 0 142165 26 0 0 25 0 1 0 252192250 104562688 23039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 25528 23039 170 317 0 25207 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 102112 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1764624/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=105128 CPUtime=1481.89 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 27659 0 0 0 148162 27 0 0 25 0 1 0 252192250 107651072 23534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 26282 23534 170 317 0 25961 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 105128 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1762448/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=107476 CPUtime=1541.87 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 28268 0 0 0 154160 27 0 0 25 0 1 0 252192250 110055424 24013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 26869 24013 170 317 0 26548 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 107476 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1760976/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=108912 CPUtime=1601.86 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 28700 0 0 0 160158 28 0 0 25 0 1 0 252192250 111525888 24445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 27228 24445 170 317 0 26907 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 108912 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1759376/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=110480 CPUtime=1661.85 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 29140 0 0 0 166156 29 0 0 25 0 1 0 252192250 113131520 24852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 27620 24852 170 317 0 27299 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 110480 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1757520/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=112068 CPUtime=1721.83 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 29595 0 0 0 172154 29 0 0 25 0 1 0 252192250 114757632 25307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 28017 25307 170 317 0 27696 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 112068 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1755408/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=114940 CPUtime=1781.82 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 30408 0 0 0 178152 30 0 0 25 0 1 0 252192250 117698560 25805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 28735 25805 170 317 0 28414 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 114940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.97 2/67 27997 /proc/meminfo: memFree=1755088/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=115204 CPUtime=1800.01 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 30509 0 0 0 179971 30 0 0 25 0 1 0 252192250 117968896 25906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 28801 25906 170 317 0 28480 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 115204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.97 2/68 27998 /proc/meminfo: memFree=1755080/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=115204 CPUtime=1800.12 /proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 30509 0 0 0 179982 30 0 0 25 0 1 0 252192250 117968896 25906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27996/statm: 28801 25906 170 317 0 28480 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 115204 [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.97 2/68 27998 /proc/meminfo: memFree=1755080/2055920 swapFree=4183036/4192956 [pid=27996] ppid=27994 vsize=0 CPUtime=1800.3 /proc/27996/stat : 27996 (oree) D 27994 27996 26703 0 -1 4194308 30526 0 0 0 179998 32 0 0 25 0 1 0 252192250 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100133566 0 0 17 1 0 0 /proc/27996/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.31 CPU user time (s): 1799.98 CPU system time (s): 0.32495 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 115204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.32495 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30526 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= 2092 runsolver used 1.25681 second user time and 3.69044 second system time The end
Begin job on node74 on Tue May 1 18:06:15 UTC 2007 IDJOB= 455405 IDBENCH= 48261 IDSOLVER= 172 FILE ID= node74/455405-1178042775 PBS_JOBID= 4728437 Free space on /tmp= 103244 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb COMMAND LINE= oree /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-455405-1178042775 -o ROOT/results/node74/conversion-455405-1178042775 -C 600 -M 1800 /tmp/evaluation/455405-1178042775/substituteSizeProductKeyword /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-455405-1178042775 -o ROOT/results/node74/solver-455405-1178042775 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24 RANDOM SEED= 968514769 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1859184 kB Buffers: 50856 kB Cached: 73376 kB SwapCached: 2996 kB Active: 43520 kB Inactive: 94084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859184 kB SwapTotal: 4192956 kB SwapFree: 4183036 kB Dirty: 1364 kB Writeback: 0 kB Mapped: 17888 kB Slab: 44936 kB Committed_AS: 6765092 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103244 MiB End job on node74 on Tue May 1 18:36:18 UTC 2007