Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -10 | 1800.11 | 1800.69 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb |
MD5SUM | 3258ae2375db1ca5a9ce9d305f00baf0 |
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.08 |
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) | 1228 |
Sum of products size (including duplicates) | 2456 |
Number of different products | 614 |
Sum of products size | 1228 |
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=714 #constraints=1381 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.00/0.09 c restart after 401 decisions 0.10/0.11 c nbDecision=500 #constraints=1592 0.10/0.19 c restart after 801 decisions 0.19/0.25 c nbDecision=1000 #constraints=1851 0.39/0.44 c nbDecision=1500 #constraints=2075 0.39/0.48 c restart after 1601 decisions 0.59/0.66 c nbDecision=2000 #constraints=2262 0.89/0.97 c nbDecision=2500 #constraints=2526 1.29/1.39 c nbDecision=3000 #constraints=2801 1.59/1.60 c restart after 3201 decisions 1.89/1.97 c nbDecision=3500 #constraints=3075 2.69/2.79 c nbDecision=4000 #constraints=3343 3.79/3.86 c nbDecision=4500 #constraints=3624 5.19/5.26 c nbDecision=5000 #constraints=3877 6.98/7.06 c nbDecision=5500 #constraints=4163 8.98/9.07 c nbDecision=6000 #constraints=4486 10.89/10.97 c restart after 6401 decisions 11.49/11.57 c nbDecision=6500 #constraints=4836 14.49/14.56 c nbDecision=7000 #constraints=5209 17.88/17.99 c nbDecision=7500 #constraints=5582 22.18/22.27 c nbDecision=8000 #constraints=5957 26.48/26.59 c nbDecision=8500 #constraints=6377 31.68/31.76 c nbDecision=9000 #constraints=6795 37.88/37.90 c nbDecision=9500 #constraints=7197 43.67/43.74 c nbDecision=10000 #constraints=7645 50.37/50.41 c nbDecision=10500 #constraints=8080 57.47/57.52 c nbDecision=10952 #constraints=8465 57.47/57.52 c linear search for optimum 57.47/57.52 o -8 58.07/58.11 c nbDecision=11000 #constraints=8511 64.07/64.10 c nbDecision=11500 #constraints=8971 69.86/69.99 c nbDecision=11888 #constraints=9317 69.86/69.99 o -9 71.36/71.48 c nbDecision=12000 #constraints=9429 78.46/78.57 c nbDecision=12500 #constraints=9907 83.26/83.35 c restart after 12801 decisions 86.06/86.19 c nbDecision=13000 #constraints=10361 94.46/94.55 c nbDecision=13500 #constraints=10816 101.86/101.97 c nbDecision=14000 #constraints=11279 109.36/109.44 c nbDecision=14500 #constraints=11746 117.55/117.70 c nbDecision=15000 #constraints=12234 124.95/125.03 c nbDecision=15500 #constraints=12728 133.44/133.55 c nbDecision=16000 #constraints=13216 143.55/143.60 c nbDecision=16500 #constraints=13696 152.94/153.00 c nbDecision=17000 #constraints=14175 163.14/163.24 c nbDecision=17500 #constraints=14637 174.44/174.60 c nbDecision=18000 #constraints=15105 185.63/185.70 c nbDecision=18500 #constraints=15602 195.93/196.04 c nbDecision=19000 #constraints=16088 208.62/208.75 c nbDecision=19500 #constraints=16588 221.22/221.33 c nbDecision=20000 #constraints=17083 233.91/234.04 c nbDecision=20500 #constraints=17572 246.32/246.48 c nbDecision=21000 #constraints=18054 258.61/258.77 c nbDecision=21500 #constraints=18529 271.71/271.88 c nbDecision=22000 #constraints=19005 286.40/286.50 c nbDecision=22500 #constraints=19489 300.50/300.62 c nbDecision=23000 #constraints=19963 315.29/315.42 c nbDecision=23500 #constraints=20402 331.89/332.08 c nbDecision=24000 #constraints=20899 350.58/350.76 c nbDecision=24500 #constraints=21385 371.07/371.26 c nbDecision=25000 #constraints=21847 392.57/392.78 c nbDecision=25500 #constraints=22286 396.27/396.41 c restart after 25601 decisions 411.16/411.33 c nbDecision=26000 #constraints=22753 432.06/432.30 c nbDecision=26500 #constraints=23215 451.45/451.69 c nbDecision=27000 #constraints=23680 472.35/472.50 c nbDecision=27500 #constraints=24170 474.64/474.89 c nbDecision=27544 #constraints=24214 474.64/474.89 o -10 493.24/493.42 c nbDecision=28000 #constraints=24671 513.93/514.14 c nbDecision=28500 #constraints=25159 535.73/535.98 c nbDecision=29000 #constraints=25650 558.82/559.03 c nbDecision=29500 #constraints=26144 579.61/579.87 c nbDecision=30000 #constraints=26644 600.80/601.03 c nbDecision=30500 #constraints=27139 623.79/624.08 c nbDecision=31000 #constraints=27634 649.28/649.52 c nbDecision=31500 #constraints=28134 673.28/673.51 c nbDecision=32000 #constraints=28635 694.27/694.56 c nbDecision=32500 #constraints=29135 717.26/717.50 c nbDecision=33000 #constraints=29634 743.06/743.38 c nbDecision=33500 #constraints=30121 769.45/769.77 c nbDecision=34000 #constraints=30620 795.84/796.14 c nbDecision=34500 #constraints=31118 821.93/822.29 c nbDecision=35000 #constraints=31618 849.82/850.12 c nbDecision=35500 #constraints=32119 879.11/879.49 c nbDecision=36000 #constraints=32620 910.99/911.30 c nbDecision=36500 #constraints=33119 940.79/941.11 c nbDecision=37000 #constraints=33619 971.58/971.98 c nbDecision=37500 #constraints=34119 1002.07/1002.40 c nbDecision=38000 #constraints=34618 1032.76/1033.13 c nbDecision=38500 #constraints=35118 1061.95/1062.40 c nbDecision=39000 #constraints=35617 1090.74/1091.11 c nbDecision=39500 #constraints=36117 1122.93/1123.37 c nbDecision=40000 #constraints=36603 1154.92/1155.30 c nbDecision=40500 #constraints=37099 1186.21/1186.64 c nbDecision=41000 #constraints=37590 1219.80/1220.22 c nbDecision=41500 #constraints=38087 1255.89/1256.32 c nbDecision=42000 #constraints=38587 1289.37/1289.87 c nbDecision=42500 #constraints=39087 1326.07/1326.55 c nbDecision=43000 #constraints=39588 1362.85/1363.38 c nbDecision=43500 #constraints=40087 1394.45/1394.97 c nbDecision=44000 #constraints=40587 1429.43/1429.90 c nbDecision=44500 #constraints=41088 1463.73/1464.24 c nbDecision=45000 #constraints=41588 1499.51/1500.04 c nbDecision=45500 #constraints=42087 1536.20/1536.70 c nbDecision=46000 #constraints=42577 1577.09/1577.67 c nbDecision=46500 #constraints=43078 1615.17/1615.79 c nbDecision=47000 #constraints=43577 1657.36/1657.98 c nbDecision=47500 #constraints=44076 1696.15/1696.76 c nbDecision=48000 #constraints=44575 1735.63/1736.23 c nbDecision=48500 #constraints=45070 1775.52/1776.17 c nbDecision=49000 #constraints=45569 1800.02/1800.60 Received signal 15 1800.02/1800.65 1800.02/1800.65 s SATISFIABLE 1800.02/1800.65 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.02/1800.65 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.02/1800.65 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.02/1800.65 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.02/1800.65 v x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.02/1800.65 v -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.02/1800.65 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.02/1800.65 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.02/1800.65 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.02/1800.65 v -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.02/1800.65 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1800.02/1800.65 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.02/1800.65 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.02/1800.65 v -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1800.02/1800.65 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.02/1800.65 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.02/1800.65 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.02/1800.65 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.02/1800.65 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.02/1800.65 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.02/1800.65 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.02/1800.65 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.02/1800.65 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.02/1800.65 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.02/1800.65 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 1800.02/1800.65 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1800.02/1800.65 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.02/1800.65 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.02/1800.65 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1800.02/1800.65 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.02/1800.65 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1800.02/1800.65 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1800.02/1800.65 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.02/1800.65 1800.02/1800.65 c user time= 1799.78 s 1800.02/1800.65 c system time= 0.302953 s 1800.02/1800.65 c wall clock time=1800.66
OK -10
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455645-1178047168/instance-455645-1178047168.opb mv /tmp/evaluation/455645-1178047168/instance-455645-1178047168.opb.tmp /tmp/evaluation/455645-1178047168/instance-455645-1178047168.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-455645-1178047168 -o ROOT/results/node69/solver-455645-1178047168 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455645-1178047168/instance-455645-1178047168.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.93 1.15 1.11 2/64 7001 /proc/meminfo: memFree=1785148/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=1468 CPUtime=0 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 280706266 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 367 162 131 317 0 46 0 [startup+0.103839 s] /proc/loadavg: 0.93 1.15 1.11 2/64 7001 /proc/meminfo: memFree=1785148/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=2524 CPUtime=0.1 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 429 0 0 0 10 0 0 0 18 0 1 0 280706266 2584576 412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 631 412 139 317 0 310 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2524 [startup+0.20286 s] /proc/loadavg: 0.93 1.15 1.11 2/64 7001 /proc/meminfo: memFree=1785148/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=2916 CPUtime=0.19 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 543 0 0 0 19 0 0 0 19 0 1 0 280706266 2985984 526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 729 526 139 317 0 408 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2916 [startup+0.301871 s] /proc/loadavg: 0.93 1.15 1.11 2/64 7001 /proc/meminfo: memFree=1785148/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=3452 CPUtime=0.29 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 680 0 0 0 29 0 0 0 19 0 1 0 280706266 3534848 663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 863 663 139 317 0 542 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3452 [startup+0.701935 s] /proc/loadavg: 0.93 1.15 1.11 2/64 7001 /proc/meminfo: memFree=1785148/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=4244 CPUtime=0.69 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 869 0 0 0 69 0 0 0 23 0 1 0 280706266 4345856 852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 1061 852 139 317 0 740 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4244 [startup+1.50107 s] /proc/loadavg: 0.94 1.15 1.11 2/65 7002 /proc/meminfo: memFree=1781492/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=5732 CPUtime=1.49 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 1213 0 0 0 149 0 0 0 25 0 1 0 280706266 5869568 1196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 1433 1196 139 317 0 1112 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5732 [startup+3.10132 s] /proc/loadavg: 0.94 1.15 1.11 2/65 7002 /proc/meminfo: memFree=1780036/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=7048 CPUtime=3.09 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 1558 0 0 0 309 0 0 0 25 0 1 0 280706266 7217152 1541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 1762 1541 139 317 0 1441 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7048 [startup+6.30184 s] /proc/loadavg: 0.94 1.15 1.11 2/65 7002 /proc/meminfo: memFree=1778188/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=9028 CPUtime=6.29 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 1998 0 0 0 629 0 0 0 25 0 1 0 280706266 9244672 1981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 2257 1981 139 317 0 1936 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9028 [startup+12.7019 s] /proc/loadavg: 0.94 1.14 1.11 2/65 7002 /proc/meminfo: memFree=1775700/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=11036 CPUtime=12.69 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 2534 0 0 0 1268 1 0 0 25 0 1 0 280706266 11300864 2517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604263 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 2759 2517 139 317 0 2438 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11036 [startup+25.5029 s] /proc/loadavg: 0.95 1.14 1.10 2/65 7002 /proc/meminfo: memFree=1772308/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=14888 CPUtime=25.48 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 3376 0 0 0 2547 1 0 0 25 0 1 0 280706266 15245312 3323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 3722 3323 139 317 0 3401 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14888 [startup+51.1011 s] /proc/loadavg: 0.97 1.12 1.10 2/65 7002 /proc/meminfo: memFree=1767828/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=19572 CPUtime=51.07 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 4526 0 0 0 5105 2 0 0 25 0 1 0 280706266 20041728 4473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 4893 4473 139 317 0 4572 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19572 [startup+102.301 s] /proc/loadavg: 0.99 1.10 1.09 2/65 7002 /proc/meminfo: memFree=1759444/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=28560 CPUtime=102.26 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 6694 0 0 0 10222 4 0 0 25 0 1 0 280706266 29245440 6570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 7140 6570 170 317 0 6819 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28560 [startup+162.301 s] /proc/loadavg: 0.99 1.08 1.08 2/65 7002 /proc/meminfo: memFree=1750996/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=37400 CPUtime=162.24 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 8817 0 0 0 16217 7 0 0 25 0 1 0 280706266 38297600 8693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 9350 8693 170 317 0 9029 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 37400 [startup+222.306 s] /proc/loadavg: 0.99 1.06 1.08 2/65 7002 /proc/meminfo: memFree=1744340/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=43316 CPUtime=222.23 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 10444 0 0 0 22215 8 0 0 25 0 1 0 280706266 44355584 10320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 10829 10320 170 317 0 10508 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 43316 [startup+282.301 s] /proc/loadavg: 0.99 1.05 1.07 2/65 7002 /proc/meminfo: memFree=1738452/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=50888 CPUtime=282.2 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 12347 0 0 0 28211 9 0 0 25 0 1 0 280706266 52109312 11794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 12722 11794 170 317 0 12401 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 50888 [startup+342.301 s] /proc/loadavg: 0.99 1.04 1.07 2/65 7002 /proc/meminfo: memFree=1733460/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=57720 CPUtime=342.18 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 14166 0 0 0 34207 11 0 0 25 0 1 0 280706266 59105280 13042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 14430 13042 170 317 0 14109 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 57720 [startup+402.302 s] /proc/loadavg: 0.99 1.03 1.06 2/65 7002 /proc/meminfo: memFree=1729748/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=61776 CPUtime=402.16 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 15316 0 0 0 40204 12 0 0 25 0 1 0 280706266 63258624 13961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 15444 13961 170 317 0 15123 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 61776 [startup+462.303 s] /proc/loadavg: 0.99 1.02 1.05 2/65 7002 /proc/meminfo: memFree=1726036/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=65328 CPUtime=462.14 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 16233 0 0 0 46201 13 0 0 25 0 1 0 280706266 66895872 14878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 16332 14878 170 317 0 16011 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 65328 [startup+522.301 s] /proc/loadavg: 0.99 1.02 1.05 2/65 7002 /proc/meminfo: memFree=1722324/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=68620 CPUtime=522.12 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 17173 0 0 0 52198 14 0 0 25 0 1 0 280706266 70266880 15818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 17155 15818 170 317 0 16834 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 68620 [startup+582.302 s] /proc/loadavg: 0.99 1.01 1.04 2/65 7002 /proc/meminfo: memFree=1718548/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=71788 CPUtime=582.1 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 18107 0 0 0 58195 15 0 0 25 0 1 0 280706266 73510912 16752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 17947 16752 170 317 0 17626 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 71788 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.04 2/65 7002 /proc/meminfo: memFree=1715092/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=74940 CPUtime=642.09 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 18995 0 0 0 64193 16 0 0 25 0 1 0 280706266 76738560 17607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 18735 17607 170 317 0 18414 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 74940 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 1.00 1.01 2/65 7002 /proc/meminfo: memFree=1701908/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=87260 CPUtime=882.01 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 22458 0 0 0 88182 19 0 0 25 0 1 0 280706266 89354240 20905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 21815 20905 170 317 0 21494 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 87260 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.01 2/65 7002 /proc/meminfo: memFree=1699092/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=89888 CPUtime=941.99 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 23193 0 0 0 94179 20 0 0 25 0 1 0 280706266 92045312 21607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 22472 21607 170 317 0 22151 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 89888 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7002 /proc/meminfo: memFree=1696276/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=93272 CPUtime=1001.97 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 24116 0 0 0 100176 21 0 0 25 0 1 0 280706266 95510528 22270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 23318 22270 170 317 0 22997 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 93272 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7002 /proc/meminfo: memFree=1693780/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=99104 CPUtime=1061.95 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 25588 0 0 0 106173 22 0 0 25 0 1 0 280706266 101482496 22929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 24776 22929 170 317 0 24455 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 99104 [startup+1122.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 7002 /proc/meminfo: memFree=1691156/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=102112 CPUtime=1121.93 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 26426 0 0 0 112171 22 0 0 25 0 1 0 280706266 104562688 23572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 25528 23572 170 317 0 25207 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 102112 [startup+1182.3 s] /proc/loadavg: 1.08 1.03 1.00 2/65 7002 /proc/meminfo: memFree=1688596/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=106392 CPUtime=1181.91 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 27524 0 0 0 118168 23 0 0 25 0 1 0 280706266 108945408 24215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 26598 24215 170 317 0 26277 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 106392 [startup+1242.3 s] /proc/loadavg: 1.03 1.02 1.00 2/65 7002 /proc/meminfo: memFree=1686292/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=110156 CPUtime=1241.89 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 28561 0 0 0 124165 24 0 0 25 0 1 0 280706266 112799744 24797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 27539 24797 170 317 0 27218 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 110156 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 7002 /proc/meminfo: memFree=1683924/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=112532 CPUtime=1301.88 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 29213 0 0 0 130163 25 0 0 25 0 1 0 280706266 115232768 25384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 28133 25384 170 317 0 27812 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 112532 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7004 /proc/meminfo: memFree=1681684/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=114644 CPUtime=1361.85 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 29797 0 0 0 136160 25 0 0 25 0 1 0 280706266 117395456 25935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 28661 25935 170 317 0 28340 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 114644 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7004 /proc/meminfo: memFree=1679124/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=116748 CPUtime=1421.84 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 30426 0 0 0 142158 26 0 0 25 0 1 0 280706266 119549952 26564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 29187 26564 170 317 0 28866 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 116748 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7004 /proc/meminfo: memFree=1676692/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=119976 CPUtime=1481.82 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 31307 0 0 0 148155 27 0 0 25 0 1 0 280706266 122855424 27163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 29994 27163 170 317 0 29673 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 119976 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7004 /proc/meminfo: memFree=1674644/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=121932 CPUtime=1541.8 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 31864 0 0 0 154153 27 0 0 25 0 1 0 280706266 124858368 27687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 30483 27687 170 317 0 30162 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 121932 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7004 /proc/meminfo: memFree=1672532/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=123640 CPUtime=1601.78 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 32376 0 0 0 160150 28 0 0 25 0 1 0 280706266 126607360 28199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 30910 28199 170 317 0 30589 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 123640 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7004 /proc/meminfo: memFree=1670548/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=125480 CPUtime=1661.76 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 32901 0 0 0 166147 29 0 0 25 0 1 0 280706266 128491520 28691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 31370 28691 170 317 0 31049 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 125480 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7004 /proc/meminfo: memFree=1668500/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=127584 CPUtime=1721.74 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 33492 0 0 0 172145 29 0 0 25 0 1 0 280706266 130646016 29217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 31896 29217 170 317 0 31575 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 127584 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7004 /proc/meminfo: memFree=1666388/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=129428 CPUtime=1781.72 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 33999 0 0 0 178142 30 0 0 25 0 1 0 280706266 132534272 29724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 32357 29724 170 317 0 32036 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 129428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7004 /proc/meminfo: memFree=1665812/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=129956 CPUtime=1800.02 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 34159 0 0 0 179972 30 0 0 25 0 1 0 280706266 133074944 29884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 32489 29884 170 317 0 32168 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 129956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7004 /proc/meminfo: memFree=1665812/2055920 swapFree=4182940/4192956 [pid=7001] ppid=6999 vsize=129956 CPUtime=1800.02 /proc/7001/stat : 7001 (oree) R 6999 7001 6933 0 -1 4194304 34159 0 0 0 179972 30 0 0 25 0 1 0 280706266 133074944 29884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7001/statm: 32489 29884 170 317 0 32168 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 129956 Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.11 CPU user time (s): 1799.78 CPU system time (s): 0.321951 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 129956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.321951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34175 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= 2748 runsolver used 1.39179 second user time and 3.54546 second system time The end
Begin job on node69 on Tue May 1 19:19:28 UTC 2007 IDJOB= 455645 IDBENCH= 48277 IDSOLVER= 172 FILE ID= node69/455645-1178047168 PBS_JOBID= 4728501 Free space on /tmp= 66561 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_4.opb COMMAND LINE= oree /tmp/evaluation/455645-1178047168/instance-455645-1178047168.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node69/convwatcher-455645-1178047168 -o ROOT/results/node69/conversion-455645-1178047168 -C 600 -M 1800 /tmp/evaluation/455645-1178047168/substituteSizeProductKeyword /tmp/evaluation/455645-1178047168/instance-455645-1178047168.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-455645-1178047168 -o ROOT/results/node69/solver-455645-1178047168 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455645-1178047168/instance-455645-1178047168.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0 RANDOM SEED= 624727027 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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 : 5931.00 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.264 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: 1785620 kB Buffers: 131912 kB Cached: 66704 kB SwapCached: 3820 kB Active: 160076 kB Inactive: 52472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785620 kB SwapTotal: 4192956 kB SwapFree: 4182940 kB Dirty: 1544 kB Writeback: 0 kB Mapped: 15264 kB Slab: 43784 kB Committed_AS: 7383220 kB PageTables: 1472 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= 66561 MiB End job on node69 on Tue May 1 19:49:31 UTC 2007