Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -28 | 1800.27 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
MD5SUM | 3895ca8e12182fcd80d7923f66584703 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 540.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27931 |
Number of constraints which are clauses | 27931 |
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 | 595 |
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 | 595 |
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 | 595 |
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.09/0.19 c ...done 0.09/0.19 c #vars=595 #constraints=27932 hasObjective=yes 0.29/0.33 c res. mode=mod 0.29/0.33 c VSIDS like heuristics 0.29/0.33 c complete search running 0.29/0.34 c nbDecision=26 #constraints=27932 0.29/0.34 c linear search for optimum 0.29/0.34 o -26 2.19/2.26 c restart after 401 decisions 2.29/2.39 c nbDecision=424 #constraints=28226 2.29/2.39 o -27 2.39/2.40 c nbDecision=424 #constraints=28228 2.39/2.40 o -28 2.69/2.71 c nbDecision=500 #constraints=28274 4.29/4.38 c restart after 801 decisions 5.79/5.85 c nbDecision=1000 #constraints=28615 9.89/9.95 c nbDecision=1500 #constraints=29016 10.79/10.84 c restart after 1601 decisions 14.99/15.06 c nbDecision=2000 #constraints=29372 21.29/21.39 c nbDecision=2500 #constraints=29757 27.09/27.18 c nbDecision=3000 #constraints=30089 30.08/30.13 c restart after 3201 decisions 34.68/34.70 c nbDecision=3500 #constraints=30404 41.07/41.16 c nbDecision=4000 #constraints=30690 48.48/48.56 c nbDecision=4500 #constraints=30991 57.28/57.36 c nbDecision=5000 #constraints=31303 67.77/67.81 c nbDecision=5500 #constraints=31636 79.17/79.26 c nbDecision=6000 #constraints=31999 89.47/89.59 c restart after 6401 decisions 95.07/95.12 c nbDecision=6500 #constraints=32352 114.06/114.19 c nbDecision=7000 #constraints=32791 134.17/134.24 c nbDecision=7500 #constraints=33251 156.65/156.73 c nbDecision=8000 #constraints=33693 179.45/179.55 c nbDecision=8500 #constraints=34101 200.54/200.63 c nbDecision=9000 #constraints=34539 223.14/223.24 c nbDecision=9500 #constraints=34983 245.73/245.85 c nbDecision=10000 #constraints=35385 270.23/270.39 c nbDecision=10500 #constraints=35814 301.12/301.20 c nbDecision=11000 #constraints=36276 335.11/335.22 c nbDecision=11500 #constraints=36770 367.10/367.22 c nbDecision=12000 #constraints=37250 403.19/403.37 c nbDecision=12500 #constraints=37733 428.59/428.72 c restart after 12801 decisions 445.28/445.43 c nbDecision=13000 #constraints=38144 472.97/473.16 c nbDecision=13500 #constraints=38512 505.87/506.02 c nbDecision=14000 #constraints=38888 541.96/542.13 c nbDecision=14500 #constraints=39298 578.55/578.70 c nbDecision=15000 #constraints=39711 615.94/616.16 c nbDecision=15500 #constraints=40099 655.43/655.61 c nbDecision=16000 #constraints=40497 701.62/701.90 c nbDecision=16500 #constraints=40909 755.11/755.37 c nbDecision=17000 #constraints=41373 806.29/806.56 c nbDecision=17500 #constraints=41828 852.08/852.36 c nbDecision=18000 #constraints=42245 900.47/900.72 c nbDecision=18500 #constraints=42627 947.26/947.52 c nbDecision=19000 #constraints=43030 991.05/991.36 c nbDecision=19500 #constraints=43391 1042.14/1042.46 c nbDecision=20000 #constraints=43791 1087.03/1087.36 c nbDecision=20500 #constraints=44150 1128.91/1129.23 c nbDecision=21000 #constraints=44544 1173.11/1173.43 c nbDecision=21500 #constraints=44948 1224.10/1224.43 c nbDecision=22000 #constraints=45320 1271.98/1272.36 c nbDecision=22500 #constraints=45702 1320.47/1320.82 c nbDecision=23000 #constraints=46086 1372.96/1373.33 c nbDecision=23500 #constraints=46488 1417.34/1417.79 c nbDecision=24000 #constraints=46844 1477.94/1478.39 c nbDecision=24500 #constraints=47278 1529.62/1530.05 c nbDecision=25000 #constraints=47650 1590.91/1591.36 c nbDecision=25500 #constraints=48073 1602.70/1603.12 c restart after 25601 decisions 1650.69/1651.17 c nbDecision=26000 #constraints=48357 1706.78/1707.21 c nbDecision=26500 #constraints=48685 1762.17/1762.65 c nbDecision=27000 #constraints=49014 1800.06/1800.50 Received signal 15 1800.06/1800.58 1800.06/1800.58 s SATISFIABLE 1800.06/1800.58 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.06/1800.58 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.06/1800.58 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.06/1800.58 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.06/1800.58 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.06/1800.58 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.06/1800.58 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.06/1800.58 v -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.06/1800.58 v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 1800.06/1800.58 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.06/1800.58 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.06/1800.58 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.06/1800.58 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 1800.06/1800.58 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.06/1800.58 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.06/1800.58 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 1800.06/1800.58 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.06/1800.58 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 1800.06/1800.58 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.06/1800.58 v -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 1800.06/1800.58 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.06/1800.58 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.06/1800.58 v -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 1800.06/1800.58 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.06/1800.58 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 1800.06/1800.58 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.06/1800.58 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 1800.06/1800.58 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 1800.06/1800.58 1800.06/1800.58 c user time= 1799.34 s 1800.06/1800.58 c system time= 0.809876 s 1800.06/1800.58 c wall clock time=1800.59
OK -28
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-357213-1176991322 -o ROOT/results/node51/solver-357213-1176991322 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357213-1176991322/instance-357213-1176991322.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/64 17333 /proc/meminfo: memFree=1694368/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=1468 CPUtime=0 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 53977384 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 367 165 130 317 0 46 0 [startup+0.00642488 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17333 /proc/meminfo: memFree=1694368/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=1468 CPUtime=0 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 53977384 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 367 175 130 317 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1468 [startup+0.101433 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17333 /proc/meminfo: memFree=1694368/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=3608 CPUtime=0.09 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 714 0 0 0 9 0 0 0 18 0 1 0 53977384 3694592 696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 902 696 130 317 0 581 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3608 [startup+0.301451 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17333 /proc/meminfo: memFree=1694368/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=7540 CPUtime=0.29 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 1696 0 0 0 29 0 0 0 19 0 1 0 53977384 7720960 1678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 1885 1678 137 317 0 1564 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7540 [startup+0.701486 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17333 /proc/meminfo: memFree=1694368/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=10848 CPUtime=0.69 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 2533 0 0 0 69 0 0 0 22 0 1 0 53977384 11108352 2324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 2712 2324 170 317 0 2391 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10848 [startup+1.50156 s] /proc/loadavg: 0.92 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1684184/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=15008 CPUtime=1.49 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 3523 0 0 0 148 1 0 0 25 0 1 0 53977384 15368192 3314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 3752 3314 170 317 0 3431 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15008 [startup+3.1017 s] /proc/loadavg: 0.93 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1678360/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=21624 CPUtime=3.09 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 5061 0 0 0 308 1 0 0 25 0 1 0 53977384 22142976 4852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 5406 4852 170 317 0 5085 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21624 [startup+6.30199 s] /proc/loadavg: 0.93 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1666968/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=33180 CPUtime=6.29 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 7784 0 0 0 626 3 0 0 25 0 1 0 53977384 33976320 7575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273417 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 8295 7577 170 317 0 7974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33180 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1648864/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=52372 CPUtime=12.68 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 12020 0 0 0 1263 5 0 0 25 0 1 0 53977384 53628928 11811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 13093 11811 170 317 0 12772 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52372 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1621664/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=82748 CPUtime=25.49 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 18577 0 0 0 2541 8 0 0 25 0 1 0 53977384 84733952 18368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277187 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 20687 18368 170 317 0 20366 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82748 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1591968/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=112588 CPUtime=51.08 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 26013 0 0 0 5096 12 0 0 25 0 1 0 53977384 115290112 25804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 28147 25804 170 317 0 27826 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 112588 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1544224/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=168396 CPUtime=102.27 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 37770 0 0 0 10209 18 0 0 25 0 1 0 53977384 172437504 37561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 42099 37561 170 317 0 41778 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 168396 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1509344/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=203992 CPUtime=162.25 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 46559 0 0 0 16202 23 0 0 25 0 1 0 53977384 208887808 46317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 50998 46317 170 317 0 50677 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 203992 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1477280/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=236788 CPUtime=222.23 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 54519 0 0 0 22196 27 0 0 25 0 1 0 53977384 242470912 54277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604476 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 59197 54277 170 317 0 58876 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 236788 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1450080/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=265180 CPUtime=282.22 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 61350 0 0 0 28191 31 0 0 25 0 1 0 53977384 271544320 61108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 66295 61108 170 317 0 65974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 265180 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17334 /proc/meminfo: memFree=1410208/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=323132 CPUtime=342.21 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 71236 0 0 0 34186 35 0 0 25 0 1 0 53977384 330887168 70994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 80783 70994 170 317 0 80462 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 323132 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1386656/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=347216 CPUtime=402.19 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 77129 0 0 0 40182 37 0 0 25 0 1 0 53977384 355549184 76887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 86804 76887 170 317 0 86483 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 347216 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1368800/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=365368 CPUtime=462.18 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 81561 0 0 0 46179 39 0 0 25 0 1 0 53977384 374136832 81319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 91342 81319 170 317 0 91021 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 365368 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1349792/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=385140 CPUtime=522.16 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 86354 0 0 0 52175 41 0 0 25 0 1 0 53977384 394383360 86112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 96285 86112 170 317 0 95964 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 385140 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1330464/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=403512 CPUtime=582.15 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 91143 0 0 0 58171 44 0 0 25 0 1 0 53977384 413196288 90901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 100878 90901 170 317 0 100557 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 403512 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1313504/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=420528 CPUtime=642.14 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 95369 0 0 0 64168 46 0 0 25 0 1 0 53977384 430620672 95127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 105132 95127 170 317 0 104811 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 420528 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1241504/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=492028 CPUtime=942.07 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 113341 0 0 0 94151 56 0 0 25 0 1 0 53977384 503836672 113099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 123007 113099 170 317 0 122686 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 492028 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1227744/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=505700 CPUtime=1002.05 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 116787 0 0 0 100148 57 0 0 25 0 1 0 53977384 517836800 116545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 126425 116545 170 317 0 126104 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 505700 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1214944/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=518332 CPUtime=1062.04 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 120002 0 0 0 106145 59 0 0 25 0 1 0 53977384 530771968 119760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 129583 119760 170 317 0 129262 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 518332 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1185056/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=597352 CPUtime=1122.02 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 136003 0 0 0 112139 63 0 0 25 0 1 0 53977384 611688448 127148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 149338 127148 170 317 0 149017 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 597352 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1169696/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=613160 CPUtime=1182.01 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 139996 0 0 0 118136 65 0 0 25 0 1 0 53977384 627875840 131009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 153290 131009 170 317 0 152969 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 613160 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1156320/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=626436 CPUtime=1241.99 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 143434 0 0 0 124133 66 0 0 25 0 1 0 53977384 641470464 134315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 156609 134315 170 317 0 156288 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 626436 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1142944/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=639996 CPUtime=1301.98 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 146965 0 0 0 130130 68 0 0 25 0 1 0 53977384 655355904 137615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 159999 137615 170 317 0 159678 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 639996 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1129312/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=654304 CPUtime=1361.96 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 150681 0 0 0 136126 70 0 0 25 0 1 0 53977384 670007296 141034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 163576 141034 170 317 0 163255 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 654304 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1115360/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=667692 CPUtime=1421.95 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 154197 0 0 0 142123 72 0 0 25 0 1 0 53977384 683716608 144484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 166923 144484 170 317 0 166602 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 667692 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1104800/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=679468 CPUtime=1481.93 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 156880 0 0 0 148120 73 0 0 25 0 1 0 53977384 695775232 147167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 169867 147167 170 317 0 169546 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 679468 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1092576/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=691108 CPUtime=1541.91 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 160001 0 0 0 154117 74 0 0 25 0 1 0 53977384 707694592 150189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 172777 150189 170 317 0 172456 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 691108 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17336 /proc/meminfo: memFree=1080352/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=702584 CPUtime=1601.9 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 163096 0 0 0 160114 76 0 0 25 0 1 0 53977384 719446016 153251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 175646 153251 170 317 0 175325 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 702584 [startup+1662.3 s] /proc/loadavg: 1.14 1.02 1.00 2/65 17336 /proc/meminfo: memFree=1071264/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=710820 CPUtime=1661.88 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 165449 0 0 0 166111 77 0 0 25 0 1 0 53977384 727879680 155505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 177705 155505 170 317 0 177384 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 710820 [startup+1722.3 s] /proc/loadavg: 1.13 1.03 1.00 2/65 17336 /proc/meminfo: memFree=1062560/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=720296 CPUtime=1721.87 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 167645 0 0 0 172109 78 0 0 25 0 1 0 53977384 737583104 157701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 180074 157701 170 317 0 179753 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 720296 [startup+1782.3 s] /proc/loadavg: 1.15 1.05 1.01 2/65 17336 /proc/meminfo: memFree=1051616/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=730260 CPUtime=1781.86 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 170373 0 0 0 178106 80 0 0 25 0 1 0 53977384 747786240 160396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712583 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 182565 160396 170 317 0 182244 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 730260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.11 1.05 1.01 2/65 17336 /proc/meminfo: memFree=1048672/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=733276 CPUtime=1800.06 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 171094 0 0 0 179926 80 0 0 25 0 1 0 53977384 750874624 161117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 183319 161117 170 317 0 182998 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 733276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.11 1.05 1.01 2/66 17337 /proc/meminfo: memFree=1071064/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=667644 CPUtime=1800.16 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194304 171111 0 0 0 179935 81 0 0 25 0 1 0 53977384 683667456 150411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 166846 150369 186 317 0 166525 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 667644 [startup+1800.71 s] /proc/loadavg: 1.11 1.05 1.01 2/66 17337 /proc/meminfo: memFree=1071064/2055920 swapFree=4183232/4192956 [pid=17333] ppid=17331 vsize=0 CPUtime=1800.26 /proc/17333/stat : 17333 (oree) R 17331 17333 16519 0 -1 4194308 171111 0 0 0 179935 91 0 0 25 0 1 0 53977384 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17333/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.27 CPU user time (s): 1799.36 CPU system time (s): 0.91486 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 733276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.36 system time used= 0.91486 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 171111 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= 1437 runsolver used 1.3248 second user time and 3.63445 second system time The end
Begin job on node51 on Thu Apr 19 14:02:03 UTC 2007 IDJOB= 357213 IDBENCH= 2272 IDSOLVER= 172 FILE ID= node51/357213-1176991322 PBS_JOBID= 4630419 Free space on /tmp= 66460 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/frb35-17-opb/normalized-frb35-17-3.opb COMMAND LINE= oree /tmp/evaluation/357213-1176991322/instance-357213-1176991322.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-357213-1176991322 -o ROOT/results/node51/solver-357213-1176991322 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357213-1176991322/instance-357213-1176991322.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703 RANDOM SEED= 334232748 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1694840 kB Buffers: 25432 kB Cached: 286804 kB SwapCached: 3556 kB Active: 210508 kB Inactive: 112152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1694840 kB SwapTotal: 4192956 kB SwapFree: 4183232 kB Dirty: 2032 kB Writeback: 0 kB Mapped: 16352 kB Slab: 24460 kB Committed_AS: 2634548 kB PageTables: 1412 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= 66460 MiB End job on node51 on Thu Apr 19 14:32:05 UTC 2007