Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | OPT | 3398 | 957.082 | 957.319 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air01.opb |
MD5SUM | 680b4f0ee3d8470777b24d39af4c8ca0 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3398 |
Best CPU time to get the best result obtained on this benchmark | 0.300953 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3398 |
Optimality of the best value was proved | YES |
Number of variables | 771 |
Total number of constraints | 23 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 23 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 438 |
Number of terms in the objective function | 771 |
Biggest coefficient in the objective function | 3698 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 1192753 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 3698 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 1192753 |
Number of bits of the biggest sum of numbers | 21 |
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.00/0.01 c ...done 0.00/0.01 c #vars=771 #constraints=47 hasObjective=yes 0.02/0.03 c res. mode=mod 0.02/0.03 c VSIDS like heuristics 0.02/0.03 c complete search running 0.02/0.06 c nbDecision=245 #constraints=63 0.02/0.06 c linear search for optimum 0.02/0.06 o 7735 0.02/0.07 c nbDecision=245 #constraints=65 0.02/0.07 o 7327 0.02/0.09 c nbDecision=245 #constraints=74 0.02/0.09 o 6867 0.09/0.11 c nbDecision=251 #constraints=84 0.09/0.11 o 6832 0.09/0.12 c nbDecision=251 #constraints=86 0.09/0.12 o 6436 0.09/0.12 c nbDecision=251 #constraints=88 0.09/0.12 o 6074 0.09/0.12 c nbDecision=251 #constraints=90 0.09/0.12 o 5964 0.09/0.14 c nbDecision=252 #constraints=95 0.09/0.14 o 5866 0.39/0.42 c nbDecision=336 #constraints=118 0.39/0.42 o 5524 0.39/0.45 c nbDecision=336 #constraints=123 0.39/0.45 o 5484 0.39/0.48 c nbDecision=338 #constraints=129 0.39/0.48 o 5383 0.39/0.49 c nbDecision=338 #constraints=131 0.39/0.49 o 5374 0.49/0.53 c nbDecision=350 #constraints=136 0.49/0.53 o 5312 1.69/1.76 c restart after 401 decisions 1.69/1.77 c nbDecision=500 #constraints=190 1.79/1.86 c nbDecision=578 #constraints=203 1.79/1.86 o 5252 4.69/4.73 c nbDecision=629 #constraints=285 4.69/4.73 o 5238 5.09/5.12 c nbDecision=639 #constraints=305 5.09/5.12 o 5205 5.99/6.08 c nbDecision=679 #constraints=341 5.99/6.08 o 4869 5.99/6.09 c nbDecision=680 #constraints=344 5.99/6.09 o 4759 6.09/6.12 c nbDecision=681 #constraints=349 6.09/6.12 o 4754 6.99/7.08 c nbDecision=770 #constraints=407 6.99/7.08 o 4590 7.09/7.17 c nbDecision=776 #constraints=416 7.09/7.17 o 4565 7.29/7.37 c nbDecision=788 #constraints=425 7.29/7.37 o 4542 8.09/8.18 c restart after 801 decisions 15.19/15.30 c nbDecision=1000 #constraints=570 35.88/35.99 c nbDecision=1394 #constraints=906 35.88/35.99 o 4336 35.98/36.01 c nbDecision=1395 #constraints=909 35.98/36.01 o 4226 35.98/36.07 c nbDecision=1396 #constraints=914 35.98/36.07 o 4221 37.78/37.83 c nbDecision=1485 #constraints=972 37.78/37.83 o 4057 37.88/37.98 c nbDecision=1491 #constraints=981 37.88/37.98 o 4032 38.08/38.12 c nbDecision=1500 #constraints=985 38.28/38.31 c nbDecision=1503 #constraints=990 38.28/38.31 o 4009 54.89/54.92 c restart after 1601 decisions 89.78/89.89 c nbDecision=2000 #constraints=1450 91.87/91.98 c nbDecision=2024 #constraints=1472 91.87/91.98 o 3792 91.97/92.00 c nbDecision=2025 #constraints=1475 91.97/92.00 o 3682 91.97/92.08 c nbDecision=2026 #constraints=1480 91.97/92.08 o 3677 94.77/94.89 c nbDecision=2115 #constraints=1538 94.77/94.89 o 3513 95.07/95.10 c nbDecision=2121 #constraints=1547 95.07/95.10 o 3488 95.47/95.59 c nbDecision=2133 #constraints=1556 95.47/95.59 o 3465 189.25/189.35 c nbDecision=2500 #constraints=1929 338.81/338.96 c nbDecision=3000 #constraints=2428 339.21/339.32 c nbDecision=3030 #constraints=2440 339.21/339.32 o 3461 339.41/339.55 c nbDecision=3036 #constraints=2449 339.41/339.55 o 3436 340.01/340.16 c nbDecision=3037 #constraints=2458 340.01/340.16 o 3413 397.10/397.24 c restart after 3201 decisions 398.90/399.04 c nbDecision=3294 #constraints=2644 398.90/399.04 o 3398 478.87/479.03 c nbDecision=3500 #constraints=2873 681.73/681.99 c nbDecision=4000 #constraints=3356 932.47/932.74 c nbDecision=4500 #constraints=3874 957.06/957.30 c nbDecision=4504 #constraints=3918 957.06/957.30 957.06/957.30 s OPTIMUM FOUND 957.06/957.30 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 957.06/957.30 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 957.06/957.30 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 957.06/957.30 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 957.06/957.30 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 957.06/957.30 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 957.06/957.30 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 957.06/957.30 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 957.06/957.30 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 957.06/957.30 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 957.06/957.30 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 957.06/957.30 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 957.06/957.30 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 957.06/957.30 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 957.06/957.30 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 957.06/957.30 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 957.06/957.30 v -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 957.06/957.30 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 957.06/957.30 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 957.06/957.30 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 957.06/957.30 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 957.06/957.30 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 957.06/957.30 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 957.06/957.30 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 957.06/957.30 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 957.06/957.30 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 957.06/957.30 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 957.06/957.30 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 957.06/957.30 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 957.06/957.30 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 957.06/957.30 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 957.06/957.30 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 957.06/957.30 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 957.06/957.30 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 957.06/957.30 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 957.06/957.30 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 957.06/957.30 957.06/957.30 c user time= 956.904 s 957.06/957.30 c system time= 0.163975 s 957.06/957.30 c wall clock time=957.303
OK 3398
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-362138-1176845285 -o ROOT/results/node4/solver-362138-1176845285 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362138-1176845285/instance-362138-1176845285.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.97 0.99 3/77 25612 /proc/meminfo: memFree=1869896/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=1468 CPUtime=0 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 160566281 1503232 166 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 367 166 131 317 0 46 0 [startup+0.0323289 s] /proc/loadavg: 0.92 0.97 0.99 3/77 25612 /proc/meminfo: memFree=1869896/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=1864 CPUtime=0.02 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 290 0 0 0 2 0 0 0 18 0 1 0 160566281 1908736 272 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 466 272 137 317 0 145 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1864 [startup+0.101334 s] /proc/loadavg: 0.92 0.97 0.99 3/77 25612 /proc/meminfo: memFree=1869896/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=2404 CPUtime=0.09 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 459 0 0 0 9 0 0 0 18 0 1 0 160566281 2461696 441 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134549858 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 601 441 170 317 0 280 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2404 [startup+0.301353 s] /proc/loadavg: 0.92 0.97 0.99 3/77 25612 /proc/meminfo: memFree=1869896/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=3356 CPUtime=0.29 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 674 0 0 0 29 0 0 0 20 0 1 0 160566281 3436544 656 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270588 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 839 656 170 317 0 518 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3356 [startup+0.701391 s] /proc/loadavg: 0.92 0.97 0.99 3/77 25612 /proc/meminfo: memFree=1869896/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=4556 CPUtime=0.69 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 949 0 0 0 69 0 0 0 23 0 1 0 160566281 4665344 931 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 1139 931 170 317 0 818 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4556 [startup+1.50147 s] /proc/loadavg: 0.92 0.97 0.99 2/78 25613 /proc/meminfo: memFree=1866640/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=5388 CPUtime=1.49 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 1134 0 0 0 149 0 0 0 25 0 1 0 160566281 5517312 1116 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 1347 1116 170 317 0 1026 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5388 [startup+3.10162 s] /proc/loadavg: 0.92 0.97 0.99 2/78 25613 /proc/meminfo: memFree=1865232/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=6592 CPUtime=3.09 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 1407 0 0 0 309 0 0 0 25 0 1 0 160566281 6750208 1389 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 1648 1389 170 317 0 1327 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6592 [startup+6.30193 s] /proc/loadavg: 0.93 0.97 0.99 2/78 25613 /proc/meminfo: memFree=1862992/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=9468 CPUtime=6.29 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 2110 0 0 0 629 0 0 0 25 0 1 0 160566281 9695232 2092 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 2367 2092 170 317 0 2046 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9468 [startup+12.7025 s] /proc/loadavg: 0.93 0.97 0.99 2/78 25613 /proc/meminfo: memFree=1858512/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=13328 CPUtime=12.69 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 3018 0 0 0 1268 1 0 0 25 0 1 0 160566281 13647872 3000 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 3332 3000 170 317 0 3011 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13328 [startup+25.5018 s] /proc/loadavg: 0.95 0.97 0.99 2/78 25613 /proc/meminfo: memFree=1853328/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=19592 CPUtime=25.48 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 4474 0 0 0 2547 1 0 0 25 0 1 0 160566281 20062208 4456 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 4898 4456 170 317 0 4577 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19592 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.99 2/78 25613 /proc/meminfo: memFree=1846160/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=26712 CPUtime=51.08 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 6151 0 0 0 5105 3 0 0 25 0 1 0 160566281 27353088 6133 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 6678 6133 170 317 0 6357 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26712 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/78 25613 /proc/meminfo: memFree=1835280/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=38456 CPUtime=102.27 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 8815 0 0 0 10223 4 0 0 25 0 1 0 160566281 39378944 8797 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134593683 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 9614 8797 170 317 0 9293 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 38456 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25613 /proc/meminfo: memFree=1831056/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=43120 CPUtime=162.25 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 9848 0 0 0 16219 6 0 0 25 0 1 0 160566281 44154880 9830 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 10780 9830 170 317 0 10459 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 43120 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25615 /proc/meminfo: memFree=1827664/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=46468 CPUtime=222.23 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 10644 0 0 0 22217 6 0 0 25 0 1 0 160566281 47583232 10626 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 11617 10626 170 317 0 11296 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 46468 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25615 /proc/meminfo: memFree=1824400/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=49920 CPUtime=282.22 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 11467 0 0 0 28215 7 0 0 25 0 1 0 160566281 51118080 11449 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 12480 11449 170 317 0 12159 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49920 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25615 /proc/meminfo: memFree=1821008/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=53328 CPUtime=342.21 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 12307 0 0 0 34213 8 0 0 25 0 1 0 160566281 54607872 12289 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 13332 12289 170 317 0 13011 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 53328 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25615 /proc/meminfo: memFree=1817680/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=56896 CPUtime=402.2 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 13122 0 0 0 40211 9 0 0 25 0 1 0 160566281 58261504 13104 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 14224 13104 170 317 0 13903 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 56896 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25615 /proc/meminfo: memFree=1814544/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=60412 CPUtime=462.18 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 13895 0 0 0 46208 10 0 0 25 0 1 0 160566281 61861888 13877 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 15103 13877 170 317 0 14782 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 60412 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25615 /proc/meminfo: memFree=1812304/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=62736 CPUtime=522.17 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 14438 0 0 0 52206 11 0 0 25 0 1 0 160566281 64241664 14420 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 15684 14420 170 317 0 15363 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 62736 [startup+582.301 s] /proc/loadavg: 1.03 0.99 0.99 2/78 25615 /proc/meminfo: memFree=1810256/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=64964 CPUtime=582.15 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 14927 0 0 0 58204 11 0 0 25 0 1 0 160566281 66523136 14909 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 16241 14909 170 317 0 15920 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 64964 [startup+642.302 s] /proc/loadavg: 1.01 0.99 0.99 2/78 25615 /proc/meminfo: memFree=1808208/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=66992 CPUtime=642.14 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 15399 0 0 0 64202 12 0 0 25 0 1 0 160566281 68599808 15381 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 16748 15381 170 317 0 16427 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 66992 [startup+702.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 25615 /proc/meminfo: memFree=1806608/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=68484 CPUtime=702.12 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 15781 0 0 0 70199 13 0 0 25 0 1 0 160566281 70127616 15763 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 17121 15763 170 317 0 16800 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 68484 [startup+762.305 s] /proc/loadavg: 1.07 1.00 1.00 2/78 25615 /proc/meminfo: memFree=1803792/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=71616 CPUtime=762.1 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 16466 0 0 0 76197 13 0 0 25 0 1 0 160566281 73334784 16448 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 17904 16448 170 317 0 17583 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 71616 [startup+822.302 s] /proc/loadavg: 1.02 1.00 1.00 2/78 25615 /proc/meminfo: memFree=1801296/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=74184 CPUtime=822.09 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 17075 0 0 0 82195 14 0 0 25 0 1 0 160566281 75964416 17057 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 18546 17057 170 317 0 18225 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 74184 [startup+882.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 25615 /proc/meminfo: memFree=1800080/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=75428 CPUtime=882.07 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 17367 0 0 0 88192 15 0 0 25 0 1 0 160566281 77238272 17349 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 18857 17349 170 317 0 18536 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 75428 [startup+942.301 s] /proc/loadavg: 1.06 1.01 1.00 2/78 25615 /proc/meminfo: memFree=1798352/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=77232 CPUtime=942.06 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 17769 0 0 0 94190 16 0 0 25 0 1 0 160566281 79085568 17751 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604207 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 19308 17751 170 317 0 18987 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 77232 Solver just ended. Dumping a history of the last processes samples [startup+947.106 s] /proc/loadavg: 1.05 1.01 1.00 2/78 25615 /proc/meminfo: memFree=1798288/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=77364 CPUtime=946.86 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 17791 0 0 0 94670 16 0 0 25 0 1 0 160566281 79220736 17773 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 19341 17773 170 317 0 19020 0 Current children cumulated CPU time (s) 946.86 Current children cumulated vsize (KiB) 77364 [startup+953.502 s] /proc/loadavg: 1.05 1.01 1.00 2/78 25615 /proc/meminfo: memFree=1798096/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=77524 CPUtime=953.26 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 17814 0 0 0 95310 16 0 0 25 0 1 0 160566281 79384576 17796 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 19381 17796 170 317 0 19060 0 Current children cumulated CPU time (s) 953.26 Current children cumulated vsize (KiB) 77524 [startup+955.102 s] /proc/loadavg: 1.04 1.01 1.00 2/78 25615 /proc/meminfo: memFree=1798096/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=77524 CPUtime=954.86 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 17817 0 0 0 95470 16 0 0 25 0 1 0 160566281 79384576 17799 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 19381 17799 170 317 0 19060 0 Current children cumulated CPU time (s) 954.86 Current children cumulated vsize (KiB) 77524 [startup+956.702 s] /proc/loadavg: 1.04 1.01 1.00 2/78 25615 /proc/meminfo: memFree=1798096/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=77524 CPUtime=956.46 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 17828 0 0 0 95630 16 0 0 25 0 1 0 160566281 79384576 17810 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 19381 17810 170 317 0 19060 0 Current children cumulated CPU time (s) 956.46 Current children cumulated vsize (KiB) 77524 [startup+957.102 s] /proc/loadavg: 1.04 1.01 1.00 2/78 25615 /proc/meminfo: memFree=1798096/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=77524 CPUtime=956.86 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 17828 0 0 0 95670 16 0 0 25 0 1 0 160566281 79384576 17810 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 19381 17810 170 317 0 19060 0 Current children cumulated CPU time (s) 956.86 Current children cumulated vsize (KiB) 77524 [startup+957.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 25615 /proc/meminfo: memFree=1798096/2055920 swapFree=4153860/4192956 [pid=25612] ppid=25610 vsize=77524 CPUtime=957.06 /proc/25612/stat : 25612 (oree) R 25610 25612 24745 0 -1 4194304 17828 0 0 0 95690 16 0 0 25 0 1 0 160566281 79384576 17810 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25612/statm: 19381 17810 170 317 0 19060 0 Current children cumulated CPU time (s) 957.06 Current children cumulated vsize (KiB) 77524 Child status: 0 Real time (s): 957.319 CPU time (s): 957.082 CPU user time (s): 956.904 CPU system time (s): 0.176973 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 77524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 956.905 system time used= 0.176973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17844 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= 19320 runsolver used 1.10583 second user time and 2.23466 second system time The end
Begin job on node4 on Tue Apr 17 21:28:05 UTC 2007 IDJOB= 362138 IDBENCH= 1509 IDSOLVER= 172 FILE ID= node4/362138-1176845285 PBS_JOBID= 4590130 Free space on /tmp= 66496 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb COMMAND LINE= oree /tmp/evaluation/362138-1176845285/instance-362138-1176845285.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-362138-1176845285 -o ROOT/results/node4/solver-362138-1176845285 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362138-1176845285/instance-362138-1176845285.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 680b4f0ee3d8470777b24d39af4c8ca0 RANDOM SEED= 884262485 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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 : 5931.00 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.218 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: 1870576 kB Buffers: 4932 kB Cached: 99796 kB SwapCached: 2236 kB Active: 46564 kB Inactive: 87920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870576 kB SwapTotal: 4192956 kB SwapFree: 4153860 kB Dirty: 1340 kB Writeback: 0 kB Mapped: 37420 kB Slab: 36304 kB Committed_AS: 5229284 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= 66496 MiB End job on node4 on Tue Apr 17 21:44:03 UTC 2007