Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 6 | 1800.11 | 1800.9 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_1.opb |
MD5SUM | 27fb9f28c418482a39889bf496c3dc4e |
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 | 1.2818 |
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 | 19 |
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) | 610 |
Sum of products size (including duplicates) | 1220 |
Number of different products | 610 |
Sum of products size | 1220 |
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=660 #constraints=1271 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=42 #constraints=1271 0.00/0.01 c linear search for optimum 0.00/0.01 o 8 0.00/0.03 c nbDecision=67 #constraints=1295 0.00/0.03 o 7 0.19/0.23 c restart after 401 decisions 0.19/0.28 c nbDecision=500 #constraints=1678 0.59/0.60 c restart after 801 decisions 0.79/0.81 c nbDecision=1000 #constraints=2126 1.69/1.74 c nbDecision=1500 #constraints=2595 1.99/2.05 c restart after 1601 decisions 3.39/3.45 c nbDecision=2000 #constraints=3039 5.29/5.34 c nbDecision=2500 #constraints=3508 7.59/7.69 c nbDecision=3000 #constraints=3978 8.99/9.01 c restart after 3201 decisions 11.09/11.18 c nbDecision=3500 #constraints=4424 15.19/15.23 c nbDecision=4000 #constraints=4894 19.97/20.06 c nbDecision=4500 #constraints=5354 26.55/26.60 c nbDecision=5000 #constraints=5814 33.24/33.39 c nbDecision=5500 #constraints=6271 40.82/40.96 c nbDecision=6000 #constraints=6738 46.70/46.82 c restart after 6401 decisions 48.31/48.44 c nbDecision=6500 #constraints=7180 57.88/58.07 c nbDecision=7000 #constraints=7648 67.67/67.89 c nbDecision=7500 #constraints=8112 78.44/78.65 c nbDecision=8000 #constraints=8579 90.33/90.55 c nbDecision=8500 #constraints=9049 104.03/104.26 c nbDecision=9000 #constraints=9510 104.33/104.52 c nbDecision=9011 #constraints=9518 104.33/104.52 o 6 117.03/117.26 c nbDecision=9500 #constraints=9952 133.52/133.71 c nbDecision=10000 #constraints=10369 153.82/154.04 c nbDecision=10500 #constraints=10776 171.20/171.47 c nbDecision=11000 #constraints=11235 192.00/192.24 c nbDecision=11500 #constraints=11690 213.58/213.86 c nbDecision=12000 #constraints=12145 240.58/240.85 c nbDecision=12500 #constraints=12591 256.47/256.70 c restart after 12801 decisions 265.77/266.02 c nbDecision=13000 #constraints=13034 288.37/288.66 c nbDecision=13500 #constraints=13462 315.05/315.37 c nbDecision=14000 #constraints=13871 340.04/340.37 c nbDecision=14500 #constraints=14321 363.13/363.41 c nbDecision=15000 #constraints=14758 392.02/392.37 c nbDecision=15500 #constraints=15210 422.81/423.18 c nbDecision=16000 #constraints=15657 452.40/452.79 c nbDecision=16500 #constraints=16081 486.59/486.92 c nbDecision=17000 #constraints=16542 525.87/526.25 c nbDecision=17500 #constraints=16999 561.46/561.83 c nbDecision=18000 #constraints=17454 594.85/595.24 c nbDecision=18500 #constraints=17891 635.03/635.42 c nbDecision=19000 #constraints=18341 678.12/678.58 c nbDecision=19500 #constraints=18778 728.40/728.86 c nbDecision=20000 #constraints=19238 769.29/769.72 c nbDecision=20500 #constraints=19667 823.16/823.62 c nbDecision=21000 #constraints=20112 859.66/860.14 c nbDecision=21500 #constraints=20567 899.54/900.01 c nbDecision=22000 #constraints=21009 952.12/952.64 c nbDecision=22500 #constraints=21455 1002.50/1003.04 c nbDecision=23000 #constraints=21915 1053.28/1053.89 c nbDecision=23500 #constraints=22360 1108.16/1108.74 c nbDecision=24000 #constraints=22813 1172.43/1173.01 c nbDecision=24500 #constraints=23262 1239.61/1240.28 c nbDecision=25000 #constraints=23735 1284.59/1285.21 c nbDecision=25500 #constraints=24193 1294.59/1295.24 c restart after 25601 decisions 1333.58/1334.24 c nbDecision=26000 #constraints=24612 1382.17/1382.85 c nbDecision=26500 #constraints=25051 1436.54/1437.25 c nbDecision=27000 #constraints=25505 1501.01/1501.78 c nbDecision=27500 #constraints=25971 1568.09/1568.83 c nbDecision=28000 #constraints=26420 1643.36/1644.10 c nbDecision=28500 #constraints=26871 1720.64/1721.45 c nbDecision=29000 #constraints=27330 1790.01/1790.84 c nbDecision=29500 #constraints=27795 1800.01/1800.80 Received signal 15 1800.01/1800.87 1800.01/1800.87 s SATISFIABLE 1800.01/1800.87 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.01/1800.87 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 -x55 1800.01/1800.87 v -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 -x81 -x82 1800.01/1800.87 v x83 -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.87 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.87 v -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 x143 x144 -x145 -x146 x147 -x148 -x149 -x150 1800.01/1800.87 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 1800.01/1800.87 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.87 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.87 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.87 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1800.01/1800.87 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 1800.01/1800.87 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.01/1800.87 v x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1800.01/1800.87 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 x338 -x339 1800.01/1800.87 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.01/1800.87 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 1800.01/1800.87 v -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 1800.01/1800.87 v -x403 x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.01/1800.87 v -x424 x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.01/1800.87 v -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.01/1800.87 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.01/1800.87 v x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.01/1800.87 v x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.01/1800.87 v -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 x547 -x548 -x549 1800.01/1800.87 v -x550 -x551 -x552 x553 x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 1800.01/1800.87 v -x571 -x572 -x573 -x574 x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.01/1800.87 v -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 1800.01/1800.87 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 1800.01/1800.87 v -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 x647 x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 1800.01/1800.87 v -x656 -x657 -x658 -x659 -x660 1800.01/1800.87 1800.01/1800.87 c user time= 1799.76 s 1800.01/1800.87 c system time= 0.329949 s 1800.01/1800.87 c wall clock time=1800.87
OK 6
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453935-1178164842/instance-453935-1178164842.opb mv /tmp/evaluation/453935-1178164842/instance-453935-1178164842.opb.tmp /tmp/evaluation/453935-1178164842/instance-453935-1178164842.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-453935-1178164842 -o ROOT/results/node10/solver-453935-1178164842 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453935-1178164842/instance-453935-1178164842.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.94 0.97 0.99 3/77 18850 /proc/meminfo: memFree=1674704/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=1468 CPUtime=0 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 292521729 1503232 175 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 367 175 132 317 0 46 0 [startup+0.10272 s] /proc/loadavg: 0.94 0.97 0.99 3/77 18850 /proc/meminfo: memFree=1674704/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=2424 CPUtime=0.1 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 457 0 0 0 10 0 0 0 18 0 1 0 292521729 2482176 440 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 606 440 170 317 0 285 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2424 [startup+0.201741 s] /proc/loadavg: 0.94 0.97 0.99 3/77 18850 /proc/meminfo: memFree=1674704/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=2948 CPUtime=0.19 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 582 0 0 0 19 0 0 0 18 0 1 0 292521729 3018752 565 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134713835 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 737 565 170 317 0 416 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2948 [startup+0.301761 s] /proc/loadavg: 0.94 0.97 0.99 3/77 18850 /proc/meminfo: memFree=1674704/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=3344 CPUtime=0.29 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 679 0 0 0 29 0 0 0 19 0 1 0 292521729 3424256 662 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 836 662 170 317 0 515 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3344 [startup+0.701847 s] /proc/loadavg: 0.94 0.97 0.99 3/77 18850 /proc/meminfo: memFree=1674704/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=4532 CPUtime=0.69 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 989 0 0 0 69 0 0 0 22 0 1 0 292521729 4640768 972 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604377 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 1133 972 170 317 0 812 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4532 [startup+1.50202 s] /proc/loadavg: 0.94 0.97 0.99 2/78 18851 /proc/meminfo: memFree=1670344/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=6328 CPUtime=1.49 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 1428 0 0 0 149 0 0 0 25 0 1 0 292521729 6479872 1411 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 1582 1411 170 317 0 1261 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6328 [startup+3.10136 s] /proc/loadavg: 0.94 0.97 0.99 2/78 18851 /proc/meminfo: memFree=1668680/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=8048 CPUtime=3.09 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 1841 0 0 0 309 0 0 0 25 0 1 0 292521729 8241152 1824 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715600 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 2012 1824 170 317 0 1691 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8048 [startup+6.30105 s] /proc/loadavg: 0.94 0.97 0.99 2/78 18851 /proc/meminfo: memFree=1665480/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=10964 CPUtime=6.28 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 2577 0 0 0 628 0 0 0 25 0 1 0 292521729 11227136 2560 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 2741 2560 170 317 0 2420 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10964 [startup+12.7014 s] /proc/loadavg: 0.95 0.97 0.99 2/78 18851 /proc/meminfo: memFree=1661832/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=14404 CPUtime=12.69 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 3395 0 0 0 1268 1 0 0 25 0 1 0 292521729 14749696 3378 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 3601 3378 170 317 0 3280 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14404 [startup+25.5012 s] /proc/loadavg: 0.96 0.97 0.99 2/84 18923 /proc/meminfo: memFree=1656464/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=18276 CPUtime=25.45 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 4338 0 0 0 2543 2 0 0 25 0 1 0 292521729 18714624 4321 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 4569 4321 170 317 0 4248 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 18276 [startup+51.1017 s] /proc/loadavg: 0.97 0.97 0.99 2/84 19007 /proc/meminfo: memFree=1651208/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=23588 CPUtime=50.99 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 5670 0 0 0 5096 3 0 0 25 0 1 0 292521729 24154112 5653 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 5897 5653 170 317 0 5576 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 23588 [startup+102.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1645064/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=31252 CPUtime=102.13 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 7510 0 0 0 10209 4 0 0 25 0 1 0 292521729 32002048 7435 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 7813 7435 170 317 0 7492 0 Current children cumulated CPU time (s) 102.13 Current children cumulated vsize (KiB) 31252 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1639944/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=36592 CPUtime=162.11 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 8801 0 0 0 16205 6 0 0 25 0 1 0 292521729 37470208 8726 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 9148 8726 170 317 0 8827 0 Current children cumulated CPU time (s) 162.11 Current children cumulated vsize (KiB) 36592 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1635400/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=41016 CPUtime=222.09 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 9922 0 0 0 22201 8 0 0 25 0 1 0 292521729 42000384 9847 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 10254 9847 170 317 0 9933 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 41016 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1631368/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=45068 CPUtime=282.07 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 10931 0 0 0 28198 9 0 0 25 0 1 0 292521729 46149632 10856 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 11267 10856 170 317 0 10946 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 45068 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1627656/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=48780 CPUtime=342.04 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 11832 0 0 0 34194 10 0 0 25 0 1 0 292521729 49950720 11757 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 12195 11757 170 317 0 11874 0 Current children cumulated CPU time (s) 342.04 Current children cumulated vsize (KiB) 48780 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1624264/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=52312 CPUtime=402.02 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 12704 0 0 0 40191 11 0 0 25 0 1 0 292521729 53567488 12629 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 13078 12629 170 317 0 12757 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 52312 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1621000/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=55892 CPUtime=461.99 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 13500 0 0 0 46187 12 0 0 25 0 1 0 292521729 57233408 13425 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 13973 13425 170 317 0 13652 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 55892 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1618248/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=59572 CPUtime=521.97 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 14321 0 0 0 52184 13 0 0 25 0 1 0 292521729 61001728 14131 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 14893 14131 170 317 0 14572 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 59572 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1615560/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=62324 CPUtime=581.95 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 14978 0 0 0 58181 14 0 0 25 0 1 0 292521729 63819776 14788 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 15581 14788 170 317 0 15260 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 62324 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1612872/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=65612 CPUtime=641.93 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 15660 0 0 0 64178 15 0 0 25 0 1 0 292521729 67186688 15470 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 16403 15470 170 317 0 16082 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 65612 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1604360/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=74324 CPUtime=881.85 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 17791 0 0 0 88165 20 0 0 25 0 1 0 292521729 76107776 17601 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 18581 17601 170 317 0 18260 0 Current children cumulated CPU time (s) 881.85 Current children cumulated vsize (KiB) 74324 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1602760/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=75996 CPUtime=941.82 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 18184 0 0 0 94162 20 0 0 25 0 1 0 292521729 77819904 17994 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 18999 17994 170 317 0 18678 0 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (KiB) 75996 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1600648/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=78240 CPUtime=1001.8 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 18710 0 0 0 100159 21 0 0 25 0 1 0 292521729 80117760 18520 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 19560 18520 170 317 0 19239 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 78240 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1598792/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=79976 CPUtime=1061.78 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 19182 0 0 0 106156 22 0 0 25 0 1 0 292521729 81895424 18992 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 19994 18992 170 317 0 19673 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 79976 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1597192/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=81488 CPUtime=1121.76 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 19570 0 0 0 112153 23 0 0 25 0 1 0 292521729 83443712 19380 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 20372 19380 170 317 0 20051 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 81488 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1595656/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=83012 CPUtime=1181.73 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 19956 0 0 0 118150 23 0 0 25 0 1 0 292521729 85004288 19766 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 20753 19766 170 317 0 20432 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 83012 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1594056/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=84452 CPUtime=1241.71 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 20350 0 0 0 124146 25 0 0 25 0 1 0 292521729 86478848 20160 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 21113 20160 170 317 0 20792 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 84452 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1591880/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=86832 CPUtime=1301.69 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 20876 0 0 0 130143 26 0 0 25 0 1 0 292521729 88915968 20686 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 21708 20686 170 317 0 21387 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 86832 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19049 /proc/meminfo: memFree=1590408/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=88584 CPUtime=1361.67 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 21264 0 0 0 136141 26 0 0 25 0 1 0 292521729 90710016 21074 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 22146 21074 170 317 0 21825 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 88584 [startup+1422.3 s] /proc/loadavg: 1.18 1.04 1.01 2/78 19049 /proc/meminfo: memFree=1588680/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=90320 CPUtime=1421.65 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 21702 0 0 0 142138 27 0 0 25 0 1 0 292521729 92487680 21512 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 22580 21512 170 317 0 22259 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 90320 [startup+1482.3 s] /proc/loadavg: 1.10 1.04 1.00 2/78 19049 /proc/meminfo: memFree=1586632/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=92296 CPUtime=1481.62 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 22208 0 0 0 148134 28 0 0 25 0 1 0 292521729 94511104 22018 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 23074 22018 170 317 0 22753 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 92296 [startup+1542.31 s] /proc/loadavg: 1.15 1.06 1.01 2/78 19049 /proc/meminfo: memFree=1584904/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=94128 CPUtime=1541.6 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 22638 0 0 0 154131 29 0 0 25 0 1 0 292521729 96387072 22448 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 23532 22448 170 317 0 23211 0 Current children cumulated CPU time (s) 1541.6 Current children cumulated vsize (KiB) 94128 [startup+1602.3 s] /proc/loadavg: 1.05 1.05 1.00 2/78 19049 /proc/meminfo: memFree=1583368/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=95816 CPUtime=1601.58 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 23026 0 0 0 160128 30 0 0 25 0 1 0 292521729 98115584 22836 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 23954 22836 170 317 0 23633 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 95816 [startup+1662.3 s] /proc/loadavg: 1.02 1.04 1.00 2/78 19049 /proc/meminfo: memFree=1581960/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=97440 CPUtime=1661.55 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 23364 0 0 0 166125 30 0 0 25 0 1 0 292521729 99778560 23174 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134711114 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 24360 23174 170 317 0 24039 0 Current children cumulated CPU time (s) 1661.55 Current children cumulated vsize (KiB) 97440 [startup+1722.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 19049 /proc/meminfo: memFree=1580104/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=99280 CPUtime=1721.54 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 23839 0 0 0 172122 32 0 0 25 0 1 0 292521729 101662720 23649 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 24820 23649 170 317 0 24499 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 99280 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 19049 /proc/meminfo: memFree=1578504/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=100936 CPUtime=1781.51 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 24229 0 0 0 178119 32 0 0 25 0 1 0 292521729 103358464 24039 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 25234 24039 170 317 0 24913 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (KiB) 100936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.02 1.00 2/78 19049 /proc/meminfo: memFree=1578056/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=101356 CPUtime=1800.01 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 24336 0 0 0 179969 32 0 0 25 0 1 0 292521729 103788544 24146 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 25339 24146 170 317 0 25018 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 101356 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: 1.00 1.02 1.00 2/78 19049 /proc/meminfo: memFree=1578056/2055920 swapFree=4145576/4192956 [pid=18850] ppid=18848 vsize=101356 CPUtime=1800.01 /proc/18850/stat : 18850 (oree) R 18848 18850 18600 0 -1 4194304 24336 0 0 0 179969 32 0 0 25 0 1 0 292521729 103788544 24146 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18850/statm: 25339 24146 170 317 0 25018 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 101356 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.11 CPU user time (s): 1799.76 CPU system time (s): 0.346947 CPU usage (%): 99.9563 Max. virtual memory (cumulated for all children) (KiB): 101356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.76 system time used= 0.346947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24353 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= 1862 runsolver used 1.48377 second user time and 4.26135 second system time The end
Begin job on node10 on Thu May 3 04:00:42 UTC 2007 IDJOB= 453935 IDBENCH= 48163 IDSOLVER= 172 FILE ID= node10/453935-1178164842 PBS_JOBID= 4751096 Free space on /tmp= 66563 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_1.opb COMMAND LINE= oree /tmp/evaluation/453935-1178164842/instance-453935-1178164842.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-453935-1178164842 -o ROOT/results/node10/conversion-453935-1178164842 -C 600 -M 1800 /tmp/evaluation/453935-1178164842/substituteSizeProductKeyword /tmp/evaluation/453935-1178164842/instance-453935-1178164842.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-453935-1178164842 -o ROOT/results/node10/solver-453935-1178164842 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453935-1178164842/instance-453935-1178164842.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 27fb9f28c418482a39889bf496c3dc4e RANDOM SEED= 19167432 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1675112 kB Buffers: 127048 kB Cached: 136956 kB SwapCached: 16020 kB Active: 125164 kB Inactive: 166192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1675112 kB SwapTotal: 4192956 kB SwapFree: 4145576 kB Dirty: 1468 kB Writeback: 0 kB Mapped: 30064 kB Slab: 75084 kB Committed_AS: 5001164 kB PageTables: 1708 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= 66563 MiB End job on node10 on Thu May 3 04:30:45 UTC 2007