Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -31 | 1800.23 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb |
MD5SUM | c9380923d34e254cfa512f89027f1d42 |
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.1 |
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 | 41095 |
Number of constraints which are clauses | 41095 |
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.28 c ...done 0.19/0.28 c #vars=760 #constraints=41096 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=30 #constraints=41096 0.39/0.48 c linear search for optimum 0.39/0.48 o -30 2.09/2.16 c restart after 401 decisions 2.69/2.71 c nbDecision=500 #constraints=41348 4.79/4.85 c restart after 801 decisions 6.08/6.17 c nbDecision=1000 #constraints=41649 9.68/9.73 c nbDecision=1500 #constraints=41932 10.48/10.55 c restart after 1601 decisions 13.99/14.05 c nbDecision=2000 #constraints=42197 18.38/18.44 c nbDecision=2500 #constraints=42459 23.29/23.30 c nbDecision=3000 #constraints=42718 23.69/23.78 c nbDecision=3041 #constraints=42739 23.69/23.78 o -31 25.08/25.15 c restart after 3201 decisions 29.98/30.09 c nbDecision=3500 #constraints=43048 38.48/38.57 c nbDecision=4000 #constraints=43425 48.98/49.07 c nbDecision=4500 #constraints=43840 59.47/59.55 c nbDecision=5000 #constraints=44236 73.17/73.25 c nbDecision=5500 #constraints=44665 86.66/86.74 c nbDecision=6000 #constraints=45081 98.37/98.44 c restart after 6401 decisions 105.06/105.15 c nbDecision=6500 #constraints=45487 122.06/122.17 c nbDecision=7000 #constraints=45828 138.35/138.43 c nbDecision=7500 #constraints=46145 155.94/156.00 c nbDecision=8000 #constraints=46474 171.84/171.91 c nbDecision=8500 #constraints=46758 185.54/185.61 c nbDecision=9000 #constraints=47000 203.73/203.86 c nbDecision=9500 #constraints=47291 221.53/221.69 c nbDecision=10000 #constraints=47557 248.02/248.16 c nbDecision=10500 #constraints=47964 275.01/275.13 c nbDecision=11000 #constraints=48335 297.40/297.50 c nbDecision=11500 #constraints=48678 321.10/321.25 c nbDecision=12000 #constraints=49035 351.89/352.02 c nbDecision=12500 #constraints=49518 367.39/367.56 c restart after 12801 decisions 381.88/382.08 c nbDecision=13000 #constraints=49808 403.88/404.09 c nbDecision=13500 #constraints=50063 426.57/426.80 c nbDecision=14000 #constraints=50314 450.06/450.20 c nbDecision=14500 #constraints=50593 474.95/475.18 c nbDecision=15000 #constraints=50891 501.45/501.68 c nbDecision=15500 #constraints=51191 527.34/527.58 c nbDecision=16000 #constraints=51460 553.13/553.31 c nbDecision=16500 #constraints=51761 577.92/578.17 c nbDecision=17000 #constraints=52023 604.01/604.24 c nbDecision=17500 #constraints=52270 632.71/632.99 c nbDecision=18000 #constraints=52536 659.81/660.01 c nbDecision=18500 #constraints=52812 687.99/688.21 c nbDecision=19000 #constraints=53103 726.68/726.91 c nbDecision=19500 #constraints=53453 767.67/767.98 c nbDecision=20000 #constraints=53808 809.45/809.77 c nbDecision=20500 #constraints=54184 851.94/852.20 c nbDecision=21000 #constraints=54537 894.50/894.88 c nbDecision=21500 #constraints=54911 935.42/935.89 c nbDecision=22000 #constraints=55240 975.20/975.62 c nbDecision=22500 #constraints=55572 1019.19/1019.63 c nbDecision=23000 #constraints=55891 1061.07/1061.53 c nbDecision=23500 #constraints=56275 1103.66/1104.12 c nbDecision=24000 #constraints=56599 1145.65/1146.11 c nbDecision=24500 #constraints=56968 1189.23/1189.74 c nbDecision=25000 #constraints=57260 1234.12/1234.66 c nbDecision=25500 #constraints=57561 1242.12/1242.67 c restart after 25601 decisions 1288.61/1289.18 c nbDecision=26000 #constraints=57828 1331.79/1332.33 c nbDecision=26500 #constraints=58146 1378.38/1378.96 c nbDecision=27000 #constraints=58472 1434.97/1435.51 c nbDecision=27500 #constraints=58831 1484.45/1485.02 c nbDecision=28000 #constraints=59161 1530.43/1531.08 c nbDecision=28500 #constraints=59455 1581.02/1581.60 c nbDecision=29000 #constraints=59784 1639.51/1640.15 c nbDecision=29500 #constraints=60162 1700.79/1701.49 c nbDecision=30000 #constraints=60545 1762.16/1762.88 c nbDecision=30500 #constraints=60916 1800.07/1800.70 Received signal 15 1800.07/1800.72 1800.07/1800.72 s SATISFIABLE 1800.07/1800.72 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.07/1800.72 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.07/1800.72 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.07/1800.72 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.07/1800.72 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.07/1800.72 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.07/1800.72 v -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.07/1800.72 v -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.07/1800.72 v -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.07/1800.72 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 x229 -x230 -x231 1800.07/1800.72 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 1800.07/1800.72 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 1800.07/1800.72 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 1800.07/1800.72 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.07/1800.72 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.07/1800.72 v -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.07/1800.72 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 1800.07/1800.72 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.07/1800.72 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.07/1800.72 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.07/1800.72 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 1800.07/1800.72 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 1800.07/1800.72 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.07/1800.72 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.07/1800.72 v x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.07/1800.72 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.07/1800.72 v x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.07/1800.72 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.07/1800.72 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 1800.07/1800.72 v -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 1800.07/1800.72 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 1800.07/1800.72 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.07/1800.72 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.07/1800.72 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.07/1800.72 v -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 1800.07/1800.72 v -x757 -x758 -x759 -x760 1800.07/1800.72 1800.07/1800.72 c user time= 1799.08 s 1800.07/1800.72 c system time= 1.01385 s 1800.07/1800.72 c wall clock time=1800.73
OK -31
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-357182-1176990373 -o ROOT/results/node24/solver-357182-1176990373 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357182-1176990373/instance-357182-1176990373.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.92 0.98 0.99 3/77 26019 /proc/meminfo: memFree=1623632/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=1468 CPUtime=0 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 146955324 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 367 165 130 317 0 46 0 [startup+0.048032 s] /proc/loadavg: 0.92 0.98 0.99 3/77 26019 /proc/meminfo: memFree=1623632/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=2392 CPUtime=0.04 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 424 0 0 0 4 0 0 0 18 0 1 0 146955324 2449408 406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 598 406 130 317 0 277 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2392 [startup+0.101039 s] /proc/loadavg: 0.92 0.98 0.99 3/77 26019 /proc/meminfo: memFree=1623632/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=3612 CPUtime=0.09 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 714 0 0 0 9 0 0 0 18 0 1 0 146955324 3698688 696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 903 696 130 317 0 582 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3612 [startup+0.30106 s] /proc/loadavg: 0.92 0.98 0.99 3/77 26019 /proc/meminfo: memFree=1623632/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=10276 CPUtime=0.29 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 2397 0 0 0 29 0 0 0 19 0 1 0 146955324 10522624 2346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 2569 2346 137 317 0 2248 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10276 [startup+0.701103 s] /proc/loadavg: 0.92 0.98 0.99 3/77 26019 /proc/meminfo: memFree=1623632/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=13512 CPUtime=0.68 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 3255 0 0 0 68 0 0 0 22 0 1 0 146955324 13836288 2923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710858 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 3378 2923 170 317 0 3057 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13512 [startup+1.50119 s] /proc/loadavg: 0.92 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1611016/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=17856 CPUtime=1.49 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 4298 0 0 0 148 1 0 0 25 0 1 0 146955324 18284544 3966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 4464 3966 170 317 0 4143 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17856 [startup+3.10136 s] /proc/loadavg: 0.92 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1606088/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=24056 CPUtime=3.09 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 5862 0 0 0 307 2 0 0 25 0 1 0 146955324 24633344 5530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 6014 5530 170 317 0 5693 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24056 [startup+6.30171 s] /proc/loadavg: 0.93 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1595976/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=35264 CPUtime=6.28 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 8626 0 0 0 625 3 0 0 25 0 1 0 146955324 36110336 8294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593368 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 8816 8294 170 317 0 8495 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 35264 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1578760/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=48812 CPUtime=12.69 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 12003 0 0 0 1264 5 0 0 25 0 1 0 146955324 49983488 11671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 12203 11671 170 317 0 11882 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48812 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1550152/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=76172 CPUtime=25.48 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 18751 0 0 0 2540 8 0 0 25 0 1 0 146955324 78000128 18419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 19043 18419 170 317 0 18722 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76172 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1508104/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=121220 CPUtime=51.07 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 29460 0 0 0 5093 14 0 0 25 0 1 0 146955324 124129280 29128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266206 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 30305 29128 170 317 0 29984 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 121220 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1447432/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=188804 CPUtime=102.27 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 44408 0 0 0 10206 21 0 0 25 0 1 0 146955324 193335296 44076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 47201 44076 170 317 0 46880 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 188804 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1408712/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=225252 CPUtime=162.25 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 54135 0 0 0 16199 26 0 0 25 0 1 0 146955324 230658048 53803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 56313 53803 170 317 0 55992 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 225252 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1375944/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=255668 CPUtime=222.23 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 62226 0 0 0 22193 30 0 0 25 0 1 0 146955324 261804032 61894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 63917 61894 170 317 0 63596 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 255668 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1347208/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=282692 CPUtime=282.21 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 69484 0 0 0 28186 35 0 0 25 0 1 0 146955324 289476608 69152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 70673 69152 170 317 0 70352 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 282692 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1296520/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=354016 CPUtime=342.19 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 82052 0 0 0 34178 41 0 0 25 0 1 0 146955324 362512384 81720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 88504 81720 170 317 0 88183 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 354016 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1274504/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=375748 CPUtime=402.18 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 87553 0 0 0 40173 45 0 0 25 0 1 0 146955324 384765952 87221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 93937 87221 170 317 0 93616 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 375748 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1251912/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=397832 CPUtime=462.16 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 93185 0 0 0 46168 48 0 0 25 0 1 0 146955324 407379968 92853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 99458 92853 170 317 0 99137 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 397832 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1229384/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=418560 CPUtime=522.14 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 98881 0 0 0 52164 50 0 0 25 0 1 0 146955324 428605440 98549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 104640 98549 170 317 0 104319 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 418560 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1207816/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=439284 CPUtime=582.12 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 104242 0 0 0 58159 53 0 0 25 0 1 0 146955324 449826816 103910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 109821 103910 170 317 0 109500 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 439284 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1189000/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=456868 CPUtime=642.11 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 108882 0 0 0 64156 55 0 0 25 0 1 0 146955324 467832832 108550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 114217 108550 170 317 0 113896 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 456868 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26020 /proc/meminfo: memFree=1117064/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=523780 CPUtime=882.03 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 126837 0 0 0 88138 65 0 0 25 0 1 0 146955324 536350720 126505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 130945 126505 170 317 0 130624 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 523780 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/84 26198 /proc/meminfo: memFree=1099408/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=538964 CPUtime=941.92 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 130989 0 0 0 94124 68 0 0 25 0 1 0 146955324 551899136 130657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 134741 130657 170 317 0 134420 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 538964 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=1085128/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=552956 CPUtime=1001.88 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 134793 0 0 0 100119 69 0 0 25 0 1 0 146955324 566226944 134461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 138239 134461 170 317 0 137918 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 552956 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=1067912/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=569100 CPUtime=1061.86 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 139121 0 0 0 106115 71 0 0 25 0 1 0 146955324 582758400 138789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 142275 138789 170 317 0 141954 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 569100 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=1052168/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=583116 CPUtime=1121.85 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 143005 0 0 0 112111 74 0 0 25 0 1 0 146955324 597110784 142673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 145779 142673 170 317 0 145458 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 583116 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=1036808/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=597184 CPUtime=1181.83 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 146865 0 0 0 118107 76 0 0 25 0 1 0 146955324 611516416 146533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 149296 146533 170 317 0 148975 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 597184 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=1002696/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=694212 CPUtime=1241.82 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 166539 0 0 0 124098 84 0 0 25 0 1 0 146955324 710873088 154987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 173553 154987 170 317 0 173232 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 694212 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=993224/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=704480 CPUtime=1301.8 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 169016 0 0 0 130095 85 0 0 25 0 1 0 146955324 721387520 157299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 176120 157299 170 317 0 175799 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 704480 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=977928/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=718824 CPUtime=1361.78 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 173068 0 0 0 136090 88 0 0 25 0 1 0 146955324 736075776 161186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 179706 161186 170 317 0 179385 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 718824 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=964296/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=730932 CPUtime=1421.77 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 176528 0 0 0 142087 90 0 0 25 0 1 0 146955324 748474368 164580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 182733 164580 170 317 0 182412 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 730932 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=950024/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=743732 CPUtime=1481.75 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 180194 0 0 0 148083 92 0 0 25 0 1 0 146955324 761581568 168147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 185933 168147 170 317 0 185612 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 743732 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=938376/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=755676 CPUtime=1541.73 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 183112 0 0 0 154079 94 0 0 25 0 1 0 146955324 773812224 171032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 188919 171032 170 317 0 188598 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 755676 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=924232/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=768236 CPUtime=1601.72 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 186776 0 0 0 160076 96 0 0 25 0 1 0 146955324 786673664 174597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 192059 174597 170 317 0 191738 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 768236 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=910856/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=779716 CPUtime=1661.7 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 190143 0 0 0 166073 97 0 0 25 0 1 0 146955324 798429184 177931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 194929 177931 170 317 0 194608 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 779716 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=897224/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=791780 CPUtime=1721.69 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 193629 0 0 0 172070 99 0 0 25 0 1 0 146955324 810782720 181351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 197945 181351 170 317 0 197624 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 791780 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=886280/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=803040 CPUtime=1781.66 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 196384 0 0 0 178066 100 0 0 25 0 1 0 146955324 822312960 184040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 200760 184040 170 317 0 200439 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 803040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=880648/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=806480 CPUtime=1800.07 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194304 197766 0 0 0 179906 101 0 0 25 0 1 0 146955324 825835520 185422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 201620 185422 170 317 0 201299 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 806480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26218 /proc/meminfo: memFree=880648/2055920 swapFree=4133640/4192956 [pid=26019] ppid=26017 vsize=0 CPUtime=1800.16 /proc/26019/stat : 26019 (oree) R 26017 26019 25025 0 -1 4194308 197782 0 0 0 179909 107 0 0 25 0 1 0 146955324 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26019/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.23 CPU user time (s): 1799.1 CPU system time (s): 1.13383 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 806480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.1 system time used= 1.13383 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 197782 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= 1939 runsolver used 2.02969 second user time and 4.54331 second system time The end
Begin job on node24 on Thu Apr 19 13:46:13 UTC 2007 IDJOB= 357182 IDBENCH= 2241 IDSOLVER= 172 FILE ID= node24/357182-1176990373 PBS_JOBID= 4630409 Free space on /tmp= 66233 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-3.opb COMMAND LINE= oree /tmp/evaluation/357182-1176990373/instance-357182-1176990373.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-357182-1176990373 -o ROOT/results/node24/solver-357182-1176990373 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357182-1176990373/instance-357182-1176990373.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42 RANDOM SEED= 714946306 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1624040 kB Buffers: 37320 kB Cached: 298256 kB SwapCached: 27340 kB Active: 129856 kB Inactive: 241196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1624040 kB SwapTotal: 4192956 kB SwapFree: 4133640 kB Dirty: 2280 kB Writeback: 0 kB Mapped: 42556 kB Slab: 46320 kB Committed_AS: 1875236 kB PageTables: 1808 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= 66233 MiB End job on node24 on Thu Apr 19 14:16:16 UTC 2007