Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 6 | 1800.06 | 1800.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_2.opb |
MD5SUM | 3afabd7ca2a98b7cfc21a3d6cc8262bf |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 0.648901 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 50 |
Total number of constraints | 50 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 50 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 50 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 616 |
Sum of products size (including duplicates) | 1232 |
Number of different products | 616 |
Sum of products size | 1232 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.00 c ...done 0.00/0.00 c #vars=666 #constraints=1283 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.00/0.01 c nbDecision=43 #constraints=1283 0.00/0.01 c linear search for optimum 0.00/0.01 o 7 0.19/0.22 c restart after 401 decisions 0.19/0.27 c nbDecision=500 #constraints=1657 0.49/0.52 c restart after 801 decisions 0.69/0.70 c nbDecision=1000 #constraints=2051 1.40/1.44 c nbDecision=1500 #constraints=2497 1.60/1.65 c restart after 1601 decisions 2.60/2.60 c nbDecision=2000 #constraints=2897 4.40/4.40 c nbDecision=2500 #constraints=3330 6.29/6.38 c nbDecision=3000 #constraints=3723 7.29/7.38 c restart after 3201 decisions 9.09/9.11 c nbDecision=3500 #constraints=4089 12.48/12.51 c nbDecision=4000 #constraints=4501 15.69/15.73 c nbDecision=4500 #constraints=4902 20.89/20.96 c nbDecision=5000 #constraints=5320 27.08/27.11 c nbDecision=5500 #constraints=5764 34.18/34.30 c nbDecision=6000 #constraints=6201 40.78/40.88 c restart after 6401 decisions 42.18/42.23 c nbDecision=6500 #constraints=6593 49.48/49.55 c nbDecision=7000 #constraints=7009 55.58/55.65 c nbDecision=7500 #constraints=7425 64.27/64.33 c nbDecision=8000 #constraints=7818 75.48/75.52 c nbDecision=8500 #constraints=8231 88.57/88.61 c nbDecision=9000 #constraints=8664 100.66/100.72 c nbDecision=9500 #constraints=9035 110.87/110.92 c nbDecision=10000 #constraints=9464 119.36/119.41 c nbDecision=10500 #constraints=9867 132.16/132.24 c nbDecision=11000 #constraints=10289 145.76/145.83 c nbDecision=11500 #constraints=10720 164.65/164.78 c nbDecision=12000 #constraints=11168 180.25/180.34 c nbDecision=12500 #constraints=11585 192.04/192.11 c restart after 12801 decisions 200.74/200.81 c nbDecision=13000 #constraints=11975 213.14/213.22 c nbDecision=13500 #constraints=12374 225.03/225.17 c nbDecision=14000 #constraints=12795 240.73/240.87 c nbDecision=14500 #constraints=13224 257.12/257.28 c nbDecision=15000 #constraints=13624 277.52/277.70 c nbDecision=15500 #constraints=14064 300.91/301.01 c nbDecision=16000 #constraints=14520 326.01/326.18 c nbDecision=16500 #constraints=14980 347.50/347.63 c nbDecision=17000 #constraints=15423 374.49/374.61 c nbDecision=17500 #constraints=15863 403.59/403.76 c nbDecision=18000 #constraints=16270 425.97/426.10 c nbDecision=18500 #constraints=16698 457.37/457.51 c nbDecision=19000 #constraints=17160 495.05/495.28 c nbDecision=19500 #constraints=17603 513.46/513.62 c nbDecision=20000 #constraints=17959 534.15/534.30 c nbDecision=20500 #constraints=18343 560.24/560.49 c nbDecision=21000 #constraints=18726 588.34/588.51 c nbDecision=21500 #constraints=19112 616.52/616.73 c nbDecision=22000 #constraints=19500 652.32/652.55 c nbDecision=22500 #constraints=19938 687.21/687.43 c nbDecision=23000 #constraints=20342 712.30/712.53 c nbDecision=23500 #constraints=20696 737.39/737.62 c nbDecision=23882 #constraints=20942 737.39/737.62 o 6 751.39/751.69 c nbDecision=24000 #constraints=21025 796.08/796.40 c nbDecision=24500 #constraints=21428 847.26/847.52 c nbDecision=25000 #constraints=21860 883.35/883.65 c nbDecision=25500 #constraints=22307 890.96/891.22 c restart after 25601 decisions 925.84/926.14 c nbDecision=26000 #constraints=22720 972.93/973.23 c nbDecision=26500 #constraints=23151 1027.12/1027.48 c nbDecision=27000 #constraints=23597 1084.10/1084.47 c nbDecision=27500 #constraints=24017 1132.38/1132.77 c nbDecision=28000 #constraints=24424 1172.28/1172.61 c nbDecision=28500 #constraints=24817 1221.46/1221.85 c nbDecision=29000 #constraints=25209 1275.05/1275.40 c nbDecision=29500 #constraints=25612 1327.63/1328.01 c nbDecision=30000 #constraints=26036 1379.03/1379.42 c nbDecision=30500 #constraints=26400 1444.50/1444.99 c nbDecision=31000 #constraints=26795 1504.98/1505.46 c nbDecision=31500 #constraints=27173 1565.47/1565.98 c nbDecision=32000 #constraints=27568 1616.57/1617.06 c nbDecision=32500 #constraints=28004 1675.04/1675.54 c nbDecision=33000 #constraints=28432 1737.22/1737.74 c nbDecision=33500 #constraints=28845 1800.01/1800.50 Received signal 15 1800.01/1800.51 1800.01/1800.51 s SATISFIABLE 1800.01/1800.51 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 1800.01/1800.51 v -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 -x55 -x56 1800.01/1800.51 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 x77 x78 -x79 -x80 -x81 -x82 -x83 1800.01/1800.51 v -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 1800.01/1800.51 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.01/1800.51 v x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.01/1800.51 v -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 x163 -x164 x165 -x166 -x167 x168 x169 -x170 -x171 1800.01/1800.51 v -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 1800.01/1800.51 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 1800.01/1800.51 v -x214 -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 1800.01/1800.51 v -x235 -x236 -x237 -x238 x239 -x240 -x241 x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 -x255 -x256 1800.01/1800.51 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 x276 -x277 1800.01/1800.51 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 1800.01/1800.51 v -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 1800.01/1800.51 v -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1800.01/1800.51 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 x361 1800.01/1800.51 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1800.01/1800.51 v -x383 x384 x385 -x386 x387 x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1800.01/1800.51 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 1800.01/1800.51 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 1800.01/1800.51 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.01/1800.51 v -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.01/1800.51 v -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.01/1800.51 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 1800.01/1800.51 v -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.01/1800.51 v -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.01/1800.51 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.01/1800.51 v -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 x610 -x611 -x612 -x613 -x614 1800.01/1800.51 v -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.01/1800.51 v -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.01/1800.51 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 1800.01/1800.51 1800.01/1800.51 c user time= 1799.7 s 1800.01/1800.51 c system time= 0.335948 s 1800.01/1800.51 c wall clock time=1800.52
OK 6
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453620-1178144362/instance-453620-1178144362.opb mv /tmp/evaluation/453620-1178144362/instance-453620-1178144362.opb.tmp /tmp/evaluation/453620-1178144362/instance-453620-1178144362.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-453620-1178144362 -o ROOT/results/node1/solver-453620-1178144362 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453620-1178144362/instance-453620-1178144362.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.99 0.97 0.94 3/77 25483 /proc/meminfo: memFree=1555448/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=1468 CPUtime=0 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 290474076 1503232 175 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 367 175 132 317 0 46 0 [startup+0.051292 s] /proc/loadavg: 0.99 0.97 0.94 3/77 25483 /proc/meminfo: memFree=1555448/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=2168 CPUtime=0.05 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 373 0 0 0 5 0 0 0 18 0 1 0 290474076 2220032 356 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 542 356 170 317 0 221 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2168 [startup+0.101298 s] /proc/loadavg: 0.99 0.97 0.94 3/77 25483 /proc/meminfo: memFree=1555448/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=2432 CPUtime=0.09 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 451 0 0 0 9 0 0 0 18 0 1 0 290474076 2490368 434 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 608 434 170 317 0 287 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2432 [startup+0.301321 s] /proc/loadavg: 0.99 0.97 0.94 3/77 25483 /proc/meminfo: memFree=1555448/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=3360 CPUtime=0.29 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 676 0 0 0 29 0 0 0 19 0 1 0 290474076 3440640 659 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563357 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 840 659 170 317 0 519 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3360 [startup+0.701368 s] /proc/loadavg: 0.99 0.97 0.94 3/77 25483 /proc/meminfo: memFree=1555448/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=4684 CPUtime=0.69 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 1009 0 0 0 69 0 0 0 23 0 1 0 290474076 4796416 992 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 1171 992 170 317 0 850 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4684 [startup+1.50146 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1551408/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=6264 CPUtime=1.5 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 1409 0 0 0 149 1 0 0 25 0 1 0 290474076 6414336 1392 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604142 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 1566 1392 170 317 0 1245 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 6264 [startup+3.10165 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1549488/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=8236 CPUtime=3.09 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 1905 0 0 0 308 1 0 0 25 0 1 0 290474076 8433664 1888 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 2059 1888 170 317 0 1738 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8236 [startup+6.30202 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1546608/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=10476 CPUtime=6.29 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 2447 0 0 0 628 1 0 0 25 0 1 0 290474076 10727424 2430 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 2619 2430 170 317 0 2298 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10476 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1543216/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=13636 CPUtime=12.69 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 3223 0 0 0 1267 2 0 0 25 0 1 0 290474076 13963264 3206 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 3409 3206 170 317 0 3088 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13636 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1539248/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=17320 CPUtime=25.48 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 4158 0 0 0 2546 2 0 0 25 0 1 0 290474076 17735680 4141 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 4330 4141 170 317 0 4009 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17320 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1533744/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=23160 CPUtime=51.08 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 5555 0 0 0 5104 4 0 0 25 0 1 0 290474076 23715840 5538 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 5790 5538 170 317 0 5469 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23160 [startup+102.304 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1527024/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=30016 CPUtime=102.27 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 7233 0 0 0 10221 6 0 0 25 0 1 0 290474076 30736384 7158 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 7504 7158 170 317 0 7183 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30016 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1519408/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=37828 CPUtime=162.25 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 9146 0 0 0 16218 7 0 0 25 0 1 0 290474076 38735872 9071 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 9457 9071 170 317 0 9136 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 37828 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1513712/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=43844 CPUtime=222.23 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 10571 0 0 0 22214 9 0 0 25 0 1 0 290474076 44896256 10496 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 10961 10496 170 317 0 10640 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 43844 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1508592/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=48956 CPUtime=282.22 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 11849 0 0 0 28212 10 0 0 25 0 1 0 290474076 50130944 11774 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 12239 11774 170 317 0 11918 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 48956 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1503792/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=53884 CPUtime=342.2 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 13027 0 0 0 34209 11 0 0 25 0 1 0 290474076 55177216 12952 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 13471 12952 170 317 0 13150 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 53884 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1500784/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=57096 CPUtime=402.18 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 13803 0 0 0 40206 12 0 0 25 0 1 0 290474076 58466304 13728 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 14274 13728 170 317 0 13953 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 57096 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1497008/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=61032 CPUtime=462.17 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 14842 0 0 0 46204 13 0 0 25 0 1 0 290474076 62496768 14652 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 15258 14652 170 317 0 14937 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 61032 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1493872/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=64276 CPUtime=522.15 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 15637 0 0 0 52201 14 0 0 25 0 1 0 290474076 65818624 15447 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 16069 15447 170 317 0 15748 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 64276 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25484 /proc/meminfo: memFree=1490672/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=67516 CPUtime=582.14 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 16432 0 0 0 58198 16 0 0 25 0 1 0 290474076 69136384 16242 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 16879 16242 170 317 0 16558 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 67516 [startup+642.302 s] /proc/loadavg: 1.04 0.99 0.95 3/78 25484 /proc/meminfo: memFree=1487664/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=70940 CPUtime=642.12 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 17174 0 0 0 64195 17 0 0 25 0 1 0 290474076 72642560 16984 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 17735 16984 170 317 0 17414 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 70940 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.95 3/78 25484 /proc/meminfo: memFree=1479024/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=79568 CPUtime=882.05 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 19315 0 0 0 88185 20 0 0 25 0 1 0 290474076 81477632 19125 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 19892 19125 170 317 0 19571 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 79568 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25484 /proc/meminfo: memFree=1477296/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=81224 CPUtime=942.03 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 19739 0 0 0 94182 21 0 0 25 0 1 0 290474076 83173376 19549 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 20306 19549 170 317 0 19985 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 81224 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1475504/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=83204 CPUtime=1002.02 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 20172 0 0 0 100180 22 0 0 25 0 1 0 290474076 85200896 19982 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 20801 19982 170 317 0 20480 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 83204 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1473840/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=84900 CPUtime=1062 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 20588 0 0 0 106177 23 0 0 25 0 1 0 290474076 86937600 20398 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 21225 20398 170 317 0 20904 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 84900 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1472560/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=86172 CPUtime=1121.99 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 20899 0 0 0 112175 24 0 0 25 0 1 0 290474076 88240128 20709 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 21543 20709 170 317 0 21222 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 86172 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1470128/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=89204 CPUtime=1181.98 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 21517 0 0 0 118173 25 0 0 25 0 1 0 290474076 91344896 21327 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 22301 21327 170 317 0 21980 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 89204 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.95 3/78 25486 /proc/meminfo: memFree=1468656/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=90936 CPUtime=1241.95 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 21885 0 0 0 124170 25 0 0 25 0 1 0 290474076 93118464 21695 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 22734 21695 170 317 0 22413 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 90936 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1466864/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=92904 CPUtime=1301.94 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 22320 0 0 0 130168 26 0 0 25 0 1 0 290474076 95133696 22130 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 23226 22130 170 317 0 22905 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 92904 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1465392/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=94448 CPUtime=1361.93 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 22688 0 0 0 136166 27 0 0 25 0 1 0 290474076 96714752 22498 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 23612 22498 170 317 0 23291 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 94448 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1464304/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=95372 CPUtime=1421.92 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 22961 0 0 0 142164 28 0 0 25 0 1 0 290474076 97660928 22771 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134711049 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 23843 22771 170 317 0 23522 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 95372 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1462896/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=97152 CPUtime=1481.89 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 23314 0 0 0 148161 28 0 0 25 0 1 0 290474076 99483648 23124 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 24288 23124 170 317 0 23967 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 97152 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1461936/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=98084 CPUtime=1541.88 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 23547 0 0 0 154159 29 0 0 25 0 1 0 290474076 100438016 23357 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 24521 23357 170 317 0 24200 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 98084 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1460272/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=99872 CPUtime=1601.86 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 23962 0 0 0 160156 30 0 0 25 0 1 0 290474076 102268928 23772 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 24968 23772 170 317 0 24647 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 99872 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1458544/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=102008 CPUtime=1661.84 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 24404 0 0 0 166153 31 0 0 25 0 1 0 290474076 104456192 24214 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 25502 24214 170 317 0 25181 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 102008 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1457200/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=103624 CPUtime=1721.83 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 24742 0 0 0 172151 32 0 0 25 0 1 0 290474076 106110976 24552 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 25906 24552 170 317 0 25585 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 103624 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1455472/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=105056 CPUtime=1781.81 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 25128 0 0 0 178148 33 0 0 25 0 1 0 290474076 107577344 24938 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 26264 24938 170 317 0 25943 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 105056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1455216/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=105320 CPUtime=1800.01 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 25197 0 0 0 179968 33 0 0 25 0 1 0 290474076 107847680 25007 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 26330 25007 170 317 0 26009 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 105320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25486 /proc/meminfo: memFree=1455216/2055920 swapFree=4145736/4192956 [pid=25483] ppid=25481 vsize=105320 CPUtime=1800.01 /proc/25483/stat : 25483 (oree) R 25481 25483 24773 0 -1 4194304 25197 0 0 0 179968 33 0 0 25 0 1 0 290474076 107847680 25007 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25483/statm: 26330 25007 170 317 0 26009 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 105320 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.06 CPU user time (s): 1799.7 CPU system time (s): 0.354946 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 105320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.7 system time used= 0.354946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25213 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= 984 runsolver used 1.51477 second user time and 4.23336 second system time The end
Begin job on node1 on Wed May 2 22:19:22 UTC 2007 IDJOB= 453620 IDBENCH= 48142 IDSOLVER= 172 FILE ID= node1/453620-1178144362 PBS_JOBID= 4751068 Free space on /tmp= 54614 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_10_2.opb COMMAND LINE= oree /tmp/evaluation/453620-1178144362/instance-453620-1178144362.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-453620-1178144362 -o ROOT/results/node1/conversion-453620-1178144362 -C 600 -M 1800 /tmp/evaluation/453620-1178144362/substituteSizeProductKeyword /tmp/evaluation/453620-1178144362/instance-453620-1178144362.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-453620-1178144362 -o ROOT/results/node1/solver-453620-1178144362 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453620-1178144362/instance-453620-1178144362.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 3afabd7ca2a98b7cfc21a3d6cc8262bf RANDOM SEED= 951427207 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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: 1555856 kB Buffers: 36440 kB Cached: 355108 kB SwapCached: 14820 kB Active: 73468 kB Inactive: 341788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1555856 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 1384 kB Writeback: 0 kB Mapped: 29848 kB Slab: 70308 kB Committed_AS: 9414780 kB PageTables: 1832 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= 54614 MiB End job on node1 on Wed May 2 22:49:25 UTC 2007