Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | OPT | 3 | 1529.58 | 1530.21 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb |
MD5SUM | 9b7cb599a49db47c0ffbf25416bcef37 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.224965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.00/0.02 c starting to Solve 0.00/0.02 c #variables read: 792 - #constraints read: 1181 114.66/114.79 o 3 1529.55/1530.21 c optimum objective found = 3 1529.55/1530.21 c total time : 1529.8 s 1529.55/1530.21 s OPTIMUM FOUND 1529.55/1530.21 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 x30 -x31 1529.55/1530.21 v -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 x57 -x58 -x59 x60 1529.55/1530.21 v -x61 x62 -x63 -x64 x65 -x66 -x67 x68 x69 -x70 -x71 -x72 x73 x74 -x75 -x76 -x77 x78 x79 -x80 x217 x218 -x219 -x220 -x221 -x222 -x223 1529.55/1530.21 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 -x244 1529.55/1530.21 v -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 1529.55/1530.21 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x81 x82 -x83 x84 -x85 x86 -x87 x88 1529.55/1530.21 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x281 x282 -x283 x284 -x285 x286 -x287 x288 x289 x290 -x291 x292 -x293 x294 1529.55/1530.21 v -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1529.55/1530.21 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1529.55/1530.21 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x153 x154 -x155 -x156 -x157 -x158 -x159 1529.55/1530.21 v -x160 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 1529.55/1530.21 v -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 1529.55/1530.21 v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1529.55/1530.21 v -x407 -x408 x97 x98 -x99 -x100 -x101 x102 -x103 -x104 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x409 x410 -x411 -x412 1529.55/1530.21 v -x413 x414 -x415 -x416 x417 x418 -x419 -x420 -x421 x422 -x423 -x424 x425 x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 1529.55/1530.21 v -x435 -x436 -x437 -x438 -x439 -x440 x441 x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 1529.55/1530.21 v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x105 -x106 x107 -x108 1529.55/1530.21 v -x109 x110 -x111 -x112 x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 x473 -x474 x475 -x476 -x477 x478 -x479 -x480 x481 -x482 1529.55/1530.21 v x483 -x484 -x485 x486 -x487 -x488 x489 -x490 x491 -x492 -x493 x494 -x495 -x496 x497 -x498 x499 -x500 -x501 x502 -x503 -x504 1529.55/1530.21 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1529.55/1530.21 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x113 x114 -x115 x116 -x117 x118 -x119 -x120 -x177 x178 -x179 1529.55/1530.21 v -x180 -x181 -x182 -x183 -x184 x537 x538 -x539 x540 -x541 x542 -x543 -x544 x545 x546 -x547 x548 -x549 x550 -x551 -x552 -x553 1529.55/1530.21 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1529.55/1530.21 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 x594 -x595 1529.55/1530.21 v x596 -x597 x598 -x599 -x600 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x185 x186 x187 -x188 x189 -x190 -x191 -x192 x601 1529.55/1530.21 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 1529.55/1530.21 v -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 1529.55/1530.21 v -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 1529.55/1530.21 v x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x665 -x666 -x667 x668 -x669 x670 1529.55/1530.21 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 1529.55/1530.21 v x692 -x693 x694 -x695 -x696 x697 -x698 -x699 x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1529.55/1530.21 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x137 -x138 -x139 -x140 -x141 -x142 1529.55/1530.21 v -x143 -x144 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 1529.55/1530.21 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1529.55/1530.21 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 1529.55/1530.21 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216
OK 3
Linearizing /tmp/evaluation/431670-1178009032/instance-431670-1178009032.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-431670-1178009032 -o ROOT/results/node37/solver-431670-1178009032 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/431670-1178009032/instance-431670-1178009032.opb 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.99 0.99 3/78 8863 /proc/meminfo: memFree=1825928/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=2552 CPUtime=0 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 248815685 2613248 238 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 3632855 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 638 238 199 16 0 77 0 [startup+0.0946279 s] /proc/loadavg: 0.92 0.99 0.99 3/78 8863 /proc/meminfo: memFree=1825928/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=3088 CPUtime=0.08 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 398 0 0 0 8 0 0 0 18 0 1 0 248815685 3162112 369 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527600 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 772 369 205 16 0 211 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3088 [startup+0.10163 s] /proc/loadavg: 0.92 0.99 0.99 3/78 8863 /proc/meminfo: memFree=1825928/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=3088 CPUtime=0.09 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 398 0 0 0 9 0 0 0 18 0 1 0 248815685 3162112 369 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532020 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 772 369 205 16 0 211 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3088 [startup+0.301667 s] /proc/loadavg: 0.92 0.99 0.99 3/78 8863 /proc/meminfo: memFree=1825928/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=3476 CPUtime=0.29 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 498 0 0 0 29 0 0 0 19 0 1 0 248815685 3559424 469 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 3602043 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 869 469 205 16 0 308 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3476 [startup+0.701743 s] /proc/loadavg: 0.92 0.99 0.99 3/78 8863 /proc/meminfo: memFree=1825928/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=3732 CPUtime=0.69 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 565 0 0 0 69 0 0 0 23 0 1 0 248815685 3821568 536 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 3602043 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 933 536 205 16 0 372 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3732 [startup+1.50189 s] /proc/loadavg: 0.92 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1824384/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=3988 CPUtime=1.49 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 639 0 0 0 149 0 0 0 25 0 1 0 248815685 4083712 610 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520011 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 997 610 205 16 0 436 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3988 [startup+3.1012 s] /proc/loadavg: 0.92 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1823936/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=4068 CPUtime=3.09 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 666 0 0 0 309 0 0 0 25 0 1 0 248815685 4165632 637 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517649 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 1017 637 205 16 0 456 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4068 [startup+6.3018 s] /proc/loadavg: 0.93 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1823488/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=4700 CPUtime=6.29 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 814 0 0 0 629 0 0 0 25 0 1 0 248815685 4812800 785 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 3608339 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 1175 785 205 16 0 614 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4700 [startup+12.702 s] /proc/loadavg: 0.93 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1822656/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=5208 CPUtime=12.68 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 950 0 0 0 1268 0 0 0 25 0 1 0 248815685 5332992 921 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 1302 921 205 16 0 741 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 5208 [startup+25.5014 s] /proc/loadavg: 0.95 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1821824/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=6108 CPUtime=25.49 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 1164 0 0 0 2548 1 0 0 25 0 1 0 248815685 6254592 1135 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 1527 1135 205 16 0 966 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 6108 [startup+51.1013 s] /proc/loadavg: 0.96 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1821120/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=6868 CPUtime=51.07 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 1366 0 0 0 5106 1 0 0 25 0 1 0 248815685 7032832 1337 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 1717 1337 205 16 0 1156 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6868 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1820416/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=7472 CPUtime=102.26 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 1516 0 0 0 10225 1 0 0 25 0 1 0 248815685 7651328 1487 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 1868 1487 205 16 0 1307 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 7472 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1819392/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=8512 CPUtime=162.23 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 1770 0 0 0 16194 29 0 0 25 0 1 0 248815685 8716288 1741 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2128 1741 205 16 0 1567 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 8512 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1818944/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=9012 CPUtime=222.22 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 1883 0 0 0 22158 64 0 0 25 0 1 0 248815685 9228288 1854 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2253 1854 205 16 0 1692 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 9012 [startup+282.303 s] /proc/loadavg: 0.99 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1818560/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=9352 CPUtime=282.2 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 1979 0 0 0 28101 119 0 0 25 0 1 0 248815685 9576448 1950 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2338 1950 205 16 0 1777 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 9352 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1818368/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=9620 CPUtime=342.18 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2028 0 0 0 34065 153 0 0 25 0 1 0 248815685 9850880 1999 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2405 1999 205 16 0 1844 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 9620 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1818304/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=9600 CPUtime=402.15 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2039 0 0 0 40030 185 0 0 25 0 1 0 248815685 9830400 2010 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2400 2010 205 16 0 1839 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 9600 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1817920/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=9992 CPUtime=462.14 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2140 0 0 0 45980 234 0 0 25 0 1 0 248815685 10231808 2111 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2498 2111 205 16 0 1937 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 9992 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1817408/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=10608 CPUtime=522.11 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2267 0 0 0 51937 274 0 0 25 0 1 0 248815685 10862592 2238 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2652 2238 205 16 0 2091 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 10608 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1817408/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=10608 CPUtime=582.09 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2270 0 0 0 57905 304 0 0 25 0 1 0 248815685 10862592 2241 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2652 2241 205 16 0 2091 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 10608 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1817152/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=10736 CPUtime=642.07 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2321 0 0 0 63870 337 0 0 25 0 1 0 248815685 10993664 2292 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2684 2292 205 16 0 2123 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 10736 ################ # More data... # ################ /proc/meminfo: memFree=1816512/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11172 CPUtime=941.97 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2480 0 0 0 93698 499 0 0 25 0 1 0 248815685 11440128 2399 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2793 2399 205 16 0 2232 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 11172 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 8864 /proc/meminfo: memFree=1816512/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11172 CPUtime=1001.95 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2480 0 0 0 99660 535 0 0 25 0 1 0 248815685 11440128 2399 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2793 2399 205 16 0 2232 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 11172 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/85 9028 /proc/meminfo: memFree=1815104/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11408 CPUtime=1061.84 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2517 0 0 0 105619 565 0 0 25 0 1 0 248815685 11681792 2436 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2852 2436 205 16 0 2291 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 11408 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1816192/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11408 CPUtime=1121.8 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2518 0 0 0 111583 597 0 0 25 0 1 0 248815685 11681792 2437 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2852 2437 205 16 0 2291 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 11408 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1816192/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11408 CPUtime=1181.77 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2522 0 0 0 117548 629 0 0 25 0 1 0 248815685 11681792 2441 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2852 2441 205 16 0 2291 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 11408 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1816192/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11408 CPUtime=1241.76 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2532 0 0 0 123517 659 0 0 25 0 1 0 248815685 11681792 2451 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2852 2451 205 16 0 2291 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 11408 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1816192/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11408 CPUtime=1301.74 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2532 0 0 0 129487 687 0 0 25 0 1 0 248815685 11681792 2451 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2852 2451 205 16 0 2291 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 11408 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1816192/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11520 CPUtime=1361.72 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2552 0 0 0 135454 718 0 0 25 0 1 0 248815685 11796480 2471 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2880 2471 205 16 0 2319 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 11520 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1816000/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11808 CPUtime=1421.69 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2610 0 0 0 141425 744 0 0 25 0 1 0 248815685 12091392 2529 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2952 2529 205 16 0 2391 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 11808 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1815872/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11936 CPUtime=1481.68 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2640 0 0 0 147391 777 0 0 25 0 1 0 248815685 12222464 2559 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2984 2559 205 16 0 2423 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 11936 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1815872/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11936 CPUtime=1484.08 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2640 0 0 0 147630 778 0 0 25 0 1 0 248815685 12222464 2559 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2984 2559 205 16 0 2423 0 Current children cumulated CPU time (s) 1484.08 Current children cumulated vsize (KiB) 11936 [startup+1510.31 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1815872/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11936 CPUtime=1509.67 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2640 0 0 0 150176 791 0 0 25 0 1 0 248815685 12222464 2559 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2984 2559 205 16 0 2423 0 Current children cumulated CPU time (s) 1509.67 Current children cumulated vsize (KiB) 11936 [startup+1523.1 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1815872/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11936 CPUtime=1522.46 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2640 0 0 0 151449 797 0 0 25 0 1 0 248815685 12222464 2559 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2984 2559 205 16 0 2423 0 Current children cumulated CPU time (s) 1522.46 Current children cumulated vsize (KiB) 11936 [startup+1526.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1815872/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11936 CPUtime=1525.66 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2640 0 0 0 151768 798 0 0 25 0 1 0 248815685 12222464 2559 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2984 2559 205 16 0 2423 0 Current children cumulated CPU time (s) 1525.66 Current children cumulated vsize (KiB) 11936 [startup+1527.91 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1815872/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11936 CPUtime=1527.26 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2640 0 0 0 151928 798 0 0 25 0 1 0 248815685 12222464 2559 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2984 2559 205 16 0 2423 0 Current children cumulated CPU time (s) 1527.26 Current children cumulated vsize (KiB) 11936 [startup+1529.5 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1815872/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11936 CPUtime=1528.85 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2640 0 0 0 152086 799 0 0 25 0 1 0 248815685 12222464 2559 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2984 2559 205 16 0 2423 0 Current children cumulated CPU time (s) 1528.85 Current children cumulated vsize (KiB) 11936 [startup+1529.9 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1815872/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11936 CPUtime=1529.25 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2640 0 0 0 152126 799 0 0 25 0 1 0 248815685 12222464 2559 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2984 2559 205 16 0 2423 0 Current children cumulated CPU time (s) 1529.25 Current children cumulated vsize (KiB) 11936 [startup+1530.11 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1815872/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11936 CPUtime=1529.46 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2640 0 0 0 152147 799 0 0 25 0 1 0 248815685 12222464 2559 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2984 2559 205 16 0 2423 0 Current children cumulated CPU time (s) 1529.46 Current children cumulated vsize (KiB) 11936 [startup+1530.2 s] /proc/loadavg: 0.99 0.99 0.99 2/79 9062 /proc/meminfo: memFree=1815872/2055920 swapFree=4145560/4192956 [pid=8863] ppid=8861 vsize=11936 CPUtime=1529.55 /proc/8863/stat : 8863 (Pueblo) R 8861 8863 8179 0 -1 4194304 2640 0 0 0 152156 799 0 0 25 0 1 0 248815685 12222464 2559 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8863/statm: 2984 2559 205 16 0 2423 0 Current children cumulated CPU time (s) 1529.55 Current children cumulated vsize (KiB) 11936 Child status: 30 Real time (s): 1530.21 CPU time (s): 1529.58 CPU user time (s): 1521.58 CPU system time (s): 8.00178 CPU usage (%): 99.9585 Max. virtual memory (cumulated for all children) (KiB): 11936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1521.58 system time used= 8.00178 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2647 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= 11 involuntary context switches= 31048 runsolver used 1.46678 second user time and 3.58045 second system time The end
Begin job on node37 on Tue May 1 08:43:52 UTC 2007 IDJOB= 431670 IDBENCH= 48068 IDSOLVER= 165 FILE ID= node37/431670-1178009032 PBS_JOBID= 4728263 Free space on /tmp= 66562 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb COMMAND LINE= Pueblo /tmp/evaluation/431670-1178009032/instance-431670-1178009032.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node37/convwatcher-431670-1178009032 -o ROOT/results/node37/conversion-431670-1178009032 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/431670-1178009032/instance-431670-1178009032.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-431670-1178009032 -o ROOT/results/node37/solver-431670-1178009032 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/431670-1178009032/instance-431670-1178009032.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 9b7cb599a49db47c0ffbf25416bcef37 RANDOM SEED= 271327486 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1826272 kB Buffers: 34848 kB Cached: 108028 kB SwapCached: 14952 kB Active: 56068 kB Inactive: 110228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826272 kB SwapTotal: 4192956 kB SwapFree: 4145560 kB Dirty: 2332 kB Writeback: 0 kB Mapped: 30308 kB Slab: 48608 kB Committed_AS: 2211784 kB PageTables: 2000 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= 66562 MiB End job on node37 on Tue May 1 09:09:23 UTC 2007