Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -32 | 1800.22 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 5249f5f1c551add7f5b5b920fc1c3b9c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.19/0.29 c ...done 0.19/0.29 c #vars=760 #constraints=41264 hasObjective=yes 0.39/0.46 c res. mode=mod 0.39/0.46 c VSIDS like heuristics 0.39/0.46 c complete search running 0.39/0.48 c nbDecision=26 #constraints=41264 0.39/0.48 c linear search for optimum 0.39/0.48 o -26 0.49/0.54 c nbDecision=35 #constraints=41269 0.49/0.54 o -27 0.59/0.62 c nbDecision=50 #constraints=41282 0.59/0.62 o -28 0.69/0.77 c nbDecision=85 #constraints=41304 0.69/0.77 o -29 1.49/1.50 c nbDecision=222 #constraints=41401 1.49/1.50 o -30 2.69/2.71 c restart after 401 decisions 3.39/3.45 c nbDecision=500 #constraints=41608 5.79/5.87 c restart after 801 decisions 7.89/7.90 c nbDecision=1000 #constraints=42004 12.39/12.47 c nbDecision=1500 #constraints=42343 13.28/13.37 c restart after 1601 decisions 17.98/18.06 c nbDecision=2000 #constraints=42675 25.19/25.20 c nbDecision=2500 #constraints=43079 33.18/33.22 c nbDecision=3000 #constraints=43502 36.28/36.36 c restart after 3201 decisions 43.47/43.54 c nbDecision=3500 #constraints=43831 54.37/54.40 c nbDecision=4000 #constraints=44180 66.77/66.89 c nbDecision=4500 #constraints=44538 80.47/80.56 c nbDecision=5000 #constraints=44881 96.37/96.48 c nbDecision=5500 #constraints=45254 113.06/113.10 c nbDecision=6000 #constraints=45638 128.06/128.15 c restart after 6401 decisions 132.36/132.48 c nbDecision=6435 #constraints=45935 132.36/132.48 o -31 136.15/136.24 c nbDecision=6500 #constraints=46000 138.65/138.75 c nbDecision=6549 #constraints=46041 138.65/138.75 o -32 158.15/158.28 c nbDecision=7000 #constraints=46426 180.84/180.97 c nbDecision=7500 #constraints=46846 205.64/205.74 c nbDecision=8000 #constraints=47288 228.92/229.06 c nbDecision=8500 #constraints=47677 253.62/253.70 c nbDecision=9000 #constraints=48090 277.71/277.84 c nbDecision=9500 #constraints=48512 303.21/303.32 c nbDecision=10000 #constraints=48903 331.30/331.44 c nbDecision=10500 #constraints=49298 366.59/366.71 c nbDecision=11000 #constraints=49705 399.98/400.14 c nbDecision=11500 #constraints=50136 431.27/431.48 c nbDecision=12000 #constraints=50596 464.16/464.31 c nbDecision=12500 #constraints=51040 484.75/484.96 c restart after 12801 decisions 505.86/506.07 c nbDecision=13000 #constraints=51407 545.64/545.83 c nbDecision=13500 #constraints=51841 590.83/591.06 c nbDecision=14000 #constraints=52307 629.11/629.39 c nbDecision=14500 #constraints=52689 671.10/671.36 c nbDecision=15000 #constraints=53107 717.19/717.48 c nbDecision=15500 #constraints=53557 757.18/757.49 c nbDecision=16000 #constraints=53941 807.14/807.44 c nbDecision=16500 #constraints=54372 860.96/861.38 c nbDecision=17000 #constraints=54809 909.35/909.75 c nbDecision=17500 #constraints=55230 957.43/957.83 c nbDecision=18000 #constraints=55642 1015.01/1015.44 c nbDecision=18500 #constraints=56085 1072.89/1073.36 c nbDecision=19000 #constraints=56537 1130.68/1131.11 c nbDecision=19500 #constraints=56973 1189.77/1190.21 c nbDecision=20000 #constraints=57415 1247.05/1247.52 c nbDecision=20500 #constraints=57860 1305.42/1305.94 c nbDecision=21000 #constraints=58310 1358.51/1359.07 c nbDecision=21500 #constraints=58746 1412.70/1413.29 c nbDecision=22000 #constraints=59154 1473.58/1474.11 c nbDecision=22500 #constraints=59619 1519.37/1519.99 c nbDecision=23000 #constraints=59994 1585.25/1585.84 c nbDecision=23500 #constraints=60461 1637.73/1638.30 c nbDecision=24000 #constraints=60835 1685.52/1686.10 c nbDecision=24500 #constraints=61230 1738.42/1739.02 c nbDecision=25000 #constraints=61674 1792.60/1793.21 c nbDecision=25500 #constraints=62091 1800.00/1800.61 Received signal 15 1800.00/1800.68 1800.00/1800.68 s SATISFIABLE 1800.00/1800.68 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.00/1800.68 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.00/1800.68 v -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 1800.00/1800.68 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 1800.00/1800.68 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.00/1800.68 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.00/1800.68 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.00/1800.68 v -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.00/1800.68 v -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.00/1800.68 v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.00/1800.68 v -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 1800.00/1800.68 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 1800.00/1800.68 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.00/1800.68 v -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.00/1800.68 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.00/1800.68 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.00/1800.68 v -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.00/1800.68 v -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.00/1800.68 v -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.00/1800.68 v -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.00/1800.68 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.00/1800.68 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.00/1800.68 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.00/1800.68 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.00/1800.68 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.00/1800.68 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 1800.00/1800.68 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.00/1800.68 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.00/1800.68 v -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.00/1800.68 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.00/1800.68 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.00/1800.68 v -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.00/1800.68 v -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.00/1800.68 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 1800.00/1800.68 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 1800.00/1800.68 v -x757 -x758 -x759 -x760 1800.00/1800.68 1800.00/1800.68 c user time= 1799.09 s 1800.00/1800.68 c system time= 0.993848 s 1800.00/1800.68 c wall clock time=1800.68
OK -32
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-357183-1176990461 -o ROOT/results/node54/solver-357183-1176990461 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357183-1176990461/instance-357183-1176990461.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.91 0.95 0.90 3/66 25298 /proc/meminfo: memFree=1088448/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=1468 CPUtime=0 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 146420606 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 367 166 130 317 0 46 0 [startup+0.0715919 s] /proc/loadavg: 0.91 0.95 0.90 3/66 25298 /proc/meminfo: memFree=1088448/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=2952 CPUtime=0.06 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 549 0 0 0 6 0 0 0 18 0 1 0 146420606 3022848 531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 738 531 130 317 0 417 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2952 [startup+0.101595 s] /proc/loadavg: 0.91 0.95 0.90 3/66 25298 /proc/meminfo: memFree=1088448/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=3612 CPUtime=0.09 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 712 0 0 0 9 0 0 0 18 0 1 0 146420606 3698688 694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 903 694 130 317 0 582 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3612 [startup+0.301621 s] /proc/loadavg: 0.91 0.95 0.90 3/66 25298 /proc/meminfo: memFree=1088448/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=10152 CPUtime=0.29 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 2327 0 0 0 28 1 0 0 19 0 1 0 146420606 10395648 2276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 2538 2278 136 317 0 2217 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10152 [startup+0.701671 s] /proc/loadavg: 0.91 0.95 0.90 3/66 25298 /proc/meminfo: memFree=1088448/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=13656 CPUtime=0.69 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 3285 0 0 0 68 1 0 0 23 0 1 0 146420606 13983744 2951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 3414 2951 170 317 0 3093 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13656 [startup+1.50177 s] /proc/loadavg: 0.91 0.95 0.90 2/67 25299 /proc/meminfo: memFree=1075640/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=17940 CPUtime=1.49 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 4345 0 0 0 147 2 0 0 25 0 1 0 146420606 18370560 4011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 4485 4011 170 317 0 4164 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17940 [startup+3.10197 s] /proc/loadavg: 0.91 0.95 0.90 2/67 25299 /proc/meminfo: memFree=1070648/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=24504 CPUtime=3.09 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 5977 0 0 0 306 3 0 0 25 0 1 0 146420606 25092096 5643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 6126 5643 170 317 0 5805 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24504 [startup+6.30138 s] /proc/loadavg: 0.92 0.95 0.90 2/67 25299 /proc/meminfo: memFree=1056056/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=36700 CPUtime=6.29 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 8967 0 0 0 625 4 0 0 25 0 1 0 146420606 37580800 8633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 9175 8633 170 317 0 8854 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36700 [startup+12.7022 s] /proc/loadavg: 0.93 0.95 0.90 2/67 25299 /proc/meminfo: memFree=1036856/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=56936 CPUtime=12.69 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 13667 0 0 0 1263 6 0 0 25 0 1 0 146420606 58302464 13333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 14234 13333 170 317 0 13913 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 56936 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.91 2/67 25299 /proc/meminfo: memFree=1012152/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=79752 CPUtime=25.48 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 19603 0 0 0 2539 9 0 0 25 0 1 0 146420606 81666048 19269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 19938 19269 170 317 0 19617 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79752 [startup+51.101 s] /proc/loadavg: 0.96 0.96 0.91 2/67 25299 /proc/meminfo: memFree=972984/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=121380 CPUtime=51.08 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 29364 0 0 0 5094 14 0 0 25 0 1 0 146420606 124293120 29030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 30345 29030 170 317 0 30024 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 121380 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.91 3/67 25299 /proc/meminfo: memFree=919864/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=182064 CPUtime=102.26 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 42508 0 0 0 10205 21 0 0 25 0 1 0 146420606 186433536 42174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 45516 42174 170 317 0 45195 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 182064 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25299 /proc/meminfo: memFree=883128/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=217804 CPUtime=162.24 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 51801 0 0 0 16198 26 0 0 25 0 1 0 146420606 223031296 51467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 54451 51467 170 317 0 54130 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 217804 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25299 /proc/meminfo: memFree=847480/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=250420 CPUtime=222.22 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 60588 0 0 0 22193 29 0 0 25 0 1 0 146420606 256430080 60254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 62605 60254 170 317 0 62284 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 250420 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25299 /proc/meminfo: memFree=814200/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=281660 CPUtime=282.21 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 68989 0 0 0 28187 34 0 0 25 0 1 0 146420606 288419840 68655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 70415 68655 170 317 0 70094 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 281660 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25299 /proc/meminfo: memFree=787128/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=307236 CPUtime=342.19 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 75672 0 0 0 34182 37 0 0 25 0 1 0 146420606 314609664 75338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 76809 75338 170 317 0 76488 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 307236 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25299 /proc/meminfo: memFree=742072/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=374732 CPUtime=402.18 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 86973 0 0 0 40175 43 0 0 25 0 1 0 146420606 383725568 86639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 93683 86639 170 317 0 93362 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 374732 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25299 /proc/meminfo: memFree=713336/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=401264 CPUtime=462.16 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 94044 0 0 0 46169 47 0 0 25 0 1 0 146420606 410894336 93710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 100316 93710 170 317 0 99995 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 401264 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25299 /proc/meminfo: memFree=695032/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=418912 CPUtime=522.15 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 98662 0 0 0 52165 50 0 0 25 0 1 0 146420606 428965888 98328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 104728 98328 170 317 0 104407 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 418912 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25299 /proc/meminfo: memFree=673720/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=439112 CPUtime=582.12 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 103944 0 0 0 58160 52 0 0 25 0 1 0 146420606 449650688 103610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 109778 103610 170 317 0 109457 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 439112 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25299 /proc/meminfo: memFree=654072/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=457300 CPUtime=642.12 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 108816 0 0 0 64157 55 0 0 25 0 1 0 146420606 468275200 108482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604237 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 114325 108482 170 317 0 114004 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 457300 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25497 /proc/meminfo: memFree=581880/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=524172 CPUtime=881.94 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 126792 0 0 0 88128 66 0 0 25 0 1 0 146420606 536752128 126458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 131043 126458 170 317 0 130722 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 524172 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25497 /proc/meminfo: memFree=564984/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=539816 CPUtime=941.93 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 131036 0 0 0 94125 68 0 0 25 0 1 0 146420606 552771584 130702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 134954 130702 170 317 0 134633 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 539816 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25497 /proc/meminfo: memFree=548920/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=554488 CPUtime=1001.91 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 135037 0 0 0 100121 70 0 0 25 0 1 0 146420606 567795712 134703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 138622 134703 170 317 0 138301 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 554488 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25497 /proc/meminfo: memFree=533624/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=568600 CPUtime=1061.9 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 138909 0 0 0 106118 72 0 0 25 0 1 0 146420606 582246400 138575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272594 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 142150 138575 170 317 0 141829 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 568600 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25497 /proc/meminfo: memFree=518200/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=582436 CPUtime=1121.88 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 142716 0 0 0 112114 74 0 0 25 0 1 0 146420606 596414464 142382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 145609 142382 170 317 0 145288 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 582436 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25497 /proc/meminfo: memFree=503288/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=596224 CPUtime=1181.86 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 146486 0 0 0 118111 75 0 0 25 0 1 0 146420606 610533376 146152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 149056 146152 170 317 0 148735 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 596224 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25497 /proc/meminfo: memFree=469624/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=692236 CPUtime=1241.84 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 165887 0 0 0 124102 82 0 0 25 0 1 0 146420606 708849664 154465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 173059 154465 170 317 0 172738 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 692236 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25499 /proc/meminfo: memFree=453176/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=709124 CPUtime=1301.83 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 170388 0 0 0 130099 84 0 0 25 0 1 0 146420606 726142976 158537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 177281 158537 170 317 0 176960 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 709124 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25499 /proc/meminfo: memFree=436024/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=725756 CPUtime=1361.81 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 174938 0 0 0 136095 86 0 0 25 0 1 0 146420606 743174144 162856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713875 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 181439 162856 170 317 0 181118 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 725756 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25499 /proc/meminfo: memFree=420344/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=740784 CPUtime=1421.81 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 179177 0 0 0 142093 88 0 0 25 0 1 0 146420606 758562816 166732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 185196 166732 170 317 0 184875 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 740784 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25499 /proc/meminfo: memFree=406264/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=755720 CPUtime=1481.78 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 182921 0 0 0 148089 89 0 0 25 0 1 0 146420606 773857280 170278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 188930 170278 170 317 0 188609 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 755720 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25499 /proc/meminfo: memFree=388920/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=771460 CPUtime=1541.76 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 187373 0 0 0 154084 92 0 0 25 0 1 0 146420606 789975040 174565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 192865 174565 170 317 0 192544 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 771460 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25499 /proc/meminfo: memFree=374968/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=783676 CPUtime=1601.75 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 190922 0 0 0 160081 94 0 0 25 0 1 0 146420606 802484224 178081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 195919 178081 170 317 0 195598 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 783676 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25499 /proc/meminfo: memFree=359480/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=797924 CPUtime=1661.73 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 194937 0 0 0 166078 95 0 0 25 0 1 0 146420606 817074176 181931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 199481 181931 170 317 0 199160 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 797924 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25499 /proc/meminfo: memFree=341944/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=813808 CPUtime=1721.71 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 199390 0 0 0 172075 96 0 0 25 0 1 0 146420606 833339392 186351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 203452 186351 170 317 0 203131 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 813808 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25499 /proc/meminfo: memFree=325176/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=828496 CPUtime=1781.7 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 203602 0 0 0 178072 98 0 0 25 0 1 0 146420606 848379904 190497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 207124 190497 170 317 0 206803 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 828496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/67 25499 /proc/meminfo: memFree=320568/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=832964 CPUtime=1800 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194304 204732 0 0 0 179901 99 0 0 25 0 1 0 146420606 852955136 191627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 208241 191627 170 317 0 207920 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 832964 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.91 2/67 25499 /proc/meminfo: memFree=320568/2055920 swapFree=4181256/4192956 [pid=25298] ppid=25296 vsize=0 CPUtime=1800.19 /proc/25298/stat : 25298 (oree) R 25296 25298 24728 0 -1 4194308 204748 0 0 0 179910 109 0 0 25 0 1 0 146420606 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25298/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.22 CPU user time (s): 1799.11 CPU system time (s): 1.11683 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 832964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.11 system time used= 1.11683 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 204748 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= 1965 runsolver used 1.83172 second user time and 4.73728 second system time The end
Begin job on node54 on Thu Apr 19 13:47:41 UTC 2007 IDJOB= 357183 IDBENCH= 2242 IDSOLVER= 172 FILE ID= node54/357183-1176990461 PBS_JOBID= 4630421 Free space on /tmp= 66338 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb COMMAND LINE= oree /tmp/evaluation/357183-1176990461/instance-357183-1176990461.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-357183-1176990461 -o ROOT/results/node54/solver-357183-1176990461 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357183-1176990461/instance-357183-1176990461.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c RANDOM SEED= 39866464 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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: 1088856 kB Buffers: 38604 kB Cached: 876380 kB SwapCached: 4648 kB Active: 388748 kB Inactive: 536852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1088856 kB SwapTotal: 4192956 kB SwapFree: 4181256 kB Dirty: 2256 kB Writeback: 0 kB Mapped: 15744 kB Slab: 27376 kB Committed_AS: 2091788 kB PageTables: 1412 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= 66338 MiB End job on node54 on Thu Apr 19 14:17:45 UTC 2007