Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | OPT | 4822 | 586.508 | 586.737 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb |
MD5SUM | a8708c855e8ec8c2a31771025318bb9b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4822 |
Best CPU time to get the best result obtained on this benchmark | 132.429 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4822 |
Optimality of the best value was proved | YES |
Number of variables | 771 |
Total number of constraints | 1951 |
Number of constraints which are clauses | 1949 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
Number of terms in the objective function | 771 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 33355 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 33355 |
Number of bits of the biggest sum of numbers | 16 |
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 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.07 c Initial problem consists of 771 variables and 1951 constraints. 0.08 c Switching on LPR. 0.08 c preprocess terminated. Elapsed time: 0.078 0.08 c After prepocess the problem consists of 758 variables and 1804 constraints. 0.45 c Initial Lower Bound: 4687 2.58 o 4890 2.58 c NEW SOLUTION FOUND: 4890 @ 2.547 2.88 o 4865 2.88 c NEW SOLUTION FOUND: 4865 @ 2.845 16.67 o 4852 16.67 c NEW SOLUTION FOUND: 4852 @ 16.629 22.79 o 4843 22.79 c NEW SOLUTION FOUND: 4843 @ 22.749 23.32 o 4840 23.32 c NEW SOLUTION FOUND: 4840 @ 23.273 36.87 o 4834 36.87 c NEW SOLUTION FOUND: 4834 @ 36.819 67.68 c Restart #1 #Var: 749 LB: 4739 @ 67.617 131.04 c Restart #2 #Var: 748 LB: 4759 @ 130.97 136.23 o 4831 136.23 c NEW SOLUTION FOUND: 4831 @ 136.15 173.21 o 4825 173.21 c NEW SOLUTION FOUND: 4825 @ 173.11 277.96 c Restart #3 #Var: 748 LB: 4759 @ 277.84 322.24 o 4822 322.24 c NEW SOLUTION FOUND: 4822 @ 322.1 456.08 c Restart #4 #Var: 748 LB: 4759 @ 455.9 586.73 s OPTIMUM FOUND 586.73 c Cost: 4822 586.73 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 586.73 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 586.73 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 586.73 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 586.73 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 586.73 v -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 586.73 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 586.73 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 586.73 v -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 586.73 v x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 -x224 x225 x226 x227 x228 -x229 -x230 -x231 x232 -x233 -x234 586.73 v x235 -x236 x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 586.73 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 586.73 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 -x297 -x298 -x299 586.73 v x300 x301 -x302 x303 x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 586.73 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 586.73 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 586.73 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 586.73 v x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 586.73 v -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 586.73 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 586.73 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 x464 x465 -x466 -x467 -x468 586.73 v -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 586.73 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 586.73 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 x520 -x521 x522 x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 586.73 v -x533 -x534 -x535 x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 x551 x552 -x553 -x554 586.73 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 586.73 v -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 586.73 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 x615 -x616 -x617 586.73 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 586.73 v -x639 -x640 -x641 -x642 x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 x657 -x658 -x659 586.73 v -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 x680 586.73 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 586.73 v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 586.73 v -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 586.73 v -x744 -x745 -x746 -x747 -x748 -x749 x750 x751 -x752 x753 x754 x755 x756 x757 -x758 -x759 x760 x761 -x762 -x763 -x764 -x765 586.73 v -x766 -x767 -x768 -x769 x770 -x771 586.73 c Exit Code: 30 586.73 c Total time: 586.5 s
OK 4822
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-40266-1149401949 -o ROOT/results/node34/solver-40266-1149401949 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40266-1149401949/instance-40266-1149401949.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1834016/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=2900 CPUtime=0 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 205858779 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7721764 0 0 4096 0 0 0 0 17 1 0 0 /proc/5933/statm: 725 27 19 55 0 38 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1828016/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=8104 CPUtime=9.95 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 20212 0 9 0 987 8 0 0 25 0 1 0 205858779 8298496 1364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 2026 1364 443 55 0 918 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 8104 [startup+20.0094 s] /proc/loadavg: 0.94 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1827568/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=8532 CPUtime=19.96 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 37471 0 9 0 1979 17 0 0 25 0 1 0 205858779 8736768 1461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 2133 1461 443 55 0 1025 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 8532 [startup+30.0151 s] /proc/loadavg: 0.95 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1826736/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=10260 CPUtime=29.96 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 56875 0 9 0 2969 27 0 0 25 0 1 0 205858779 10506240 1721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 2565 1721 444 55 0 1457 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 10260 [startup+40.0208 s] /proc/loadavg: 0.96 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1826608/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=9408 CPUtime=39.96 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 75202 0 9 0 3960 36 0 0 25 0 1 0 205858779 9633792 1691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 2352 1691 444 55 0 1244 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 9408 [startup+50.0265 s] /proc/loadavg: 0.96 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1825840/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=11168 CPUtime=49.96 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 94018 0 9 0 4952 44 0 0 25 0 1 0 205858779 11436032 1938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159172008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 2792 1938 444 55 0 1684 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 11168 [startup+60.0322 s] /proc/loadavg: 0.97 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1825712/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=10320 CPUtime=59.96 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 111417 0 9 0 5946 50 0 0 25 0 1 0 205858779 10567680 1919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536031 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 2580 1919 444 55 0 1472 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 10320 [startup+70.0379 s] /proc/loadavg: 0.97 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1825008/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=11876 CPUtime=69.97 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 128996 0 9 0 6940 57 0 0 25 0 1 0 205858779 12161024 2146 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 2969 2146 444 55 0 1861 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 11876 [startup+80.0436 s] /proc/loadavg: 0.98 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1824880/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=12056 CPUtime=79.97 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 145858 0 9 0 7933 64 0 0 25 0 1 0 205858779 12345344 2185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160351393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 3014 2185 444 55 0 1906 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 12056 [startup+90.0493 s] /proc/loadavg: 0.98 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1825200/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=11304 CPUtime=89.98 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 165919 0 9 0 8924 74 0 0 25 0 1 0 205858779 11575296 2109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 2826 2109 444 55 0 1718 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 11304 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1824688/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=11296 CPUtime=99.98 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 185641 0 9 0 9917 81 0 0 25 0 1 0 205858779 11567104 2163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8187607 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 2824 2163 444 55 0 1716 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 11296 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1824176/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=11876 CPUtime=109.98 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 205223 0 9 0 10909 89 0 0 25 0 1 0 205858779 12161024 2308 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 2969 2308 444 55 0 1861 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 11876 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1823280/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=13688 CPUtime=119.98 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 221654 0 9 0 11901 97 0 0 25 0 1 0 205858779 14016512 2577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 3422 2577 444 55 0 2314 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 13688 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1823600/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=12544 CPUtime=129.98 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 235620 0 9 0 12896 102 0 0 25 0 1 0 205858779 12845056 2470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 3136 2470 444 55 0 2028 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 12544 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1822832/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=14100 CPUtime=139.99 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 255481 0 9 0 13887 112 0 0 25 0 1 0 205858779 14438400 2681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 3525 2681 445 55 0 2417 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 14100 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1822640/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=14436 CPUtime=149.99 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 276124 0 9 0 14878 121 0 0 25 0 1 0 205858779 14782464 2741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170131 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 3609 2741 447 55 0 2501 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 14436 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1822320/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=14720 CPUtime=159.99 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 296705 0 9 0 15870 129 0 0 25 0 1 0 205858779 15073280 2826 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 3680 2826 447 55 0 2572 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 14720 [startup+170.095 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1821808/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=15216 CPUtime=169.99 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 315335 0 9 0 16862 137 0 0 25 0 1 0 205858779 15581184 2952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159351892 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 3804 2952 447 55 0 2696 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 15216 [startup+180.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1822128/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=13900 CPUtime=180 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 333922 0 9 0 17856 144 0 0 25 0 1 0 205858779 14233600 2817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 3475 2817 447 55 0 2367 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 13900 [startup+190.106 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1822000/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=14324 CPUtime=190 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 351998 0 9 0 18848 152 0 0 25 0 1 0 205858779 14667776 2891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 3622 2895 447 55 0 2514 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 14324 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1821488/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=14556 CPUtime=200 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 370980 0 9 0 19840 160 0 0 25 0 1 0 205858779 14905344 2981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 3639 2981 447 55 0 2531 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 14556 [startup+210.118 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1820592/2055920 swapFree=4181348/4192956 ################ # More data... # ################ /proc/5933/statm: 5182 4317 447 55 0 4074 0 Current children cumulated CPU time (s) 370.05 Current children cumulated vsize (Kb) 20728 [startup+380.22 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1816048/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=20880 CPUtime=380.05 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 705669 0 9 0 37697 308 0 0 25 0 1 0 205858779 21381120 4388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159495836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5220 4388 447 55 0 4112 0 Current children cumulated CPU time (s) 380.05 Current children cumulated vsize (Kb) 20880 [startup+390.226 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1816240/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=19772 CPUtime=390.05 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 721973 0 9 0 38691 314 0 0 25 0 1 0 205858779 20246528 4286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 4943 4286 447 55 0 3835 0 Current children cumulated CPU time (s) 390.05 Current children cumulated vsize (Kb) 19772 [startup+400.232 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1816048/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=19968 CPUtime=400.05 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 742043 0 9 0 39682 323 0 0 25 0 1 0 205858779 20447232 4335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 4992 4335 447 55 0 3884 0 Current children cumulated CPU time (s) 400.05 Current children cumulated vsize (Kb) 19968 [startup+410.237 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1815280/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=21540 CPUtime=410.06 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 759538 0 9 0 40674 332 0 0 25 0 1 0 205858779 22056960 4572 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159466738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5385 4572 447 55 0 4277 0 Current children cumulated CPU time (s) 410.06 Current children cumulated vsize (Kb) 21540 [startup+420.243 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1814960/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=21020 CPUtime=420.06 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 777966 0 9 0 41667 339 0 0 25 0 1 0 205858779 21524480 4598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5255 4598 447 55 0 4147 0 Current children cumulated CPU time (s) 420.06 Current children cumulated vsize (Kb) 21020 [startup+430.249 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1814448/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=22384 CPUtime=430.06 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 793936 0 9 0 42660 346 0 0 25 0 1 0 205858779 22921216 4784 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176773 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5596 4784 447 55 0 4488 0 Current children cumulated CPU time (s) 430.06 Current children cumulated vsize (Kb) 22384 [startup+440.254 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1814640/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=21364 CPUtime=440.07 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 811677 0 9 0 43654 353 0 0 25 0 1 0 205858779 21876736 4684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5341 4684 447 55 0 4233 0 Current children cumulated CPU time (s) 440.07 Current children cumulated vsize (Kb) 21364 [startup+450.26 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1813808/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=23008 CPUtime=450.07 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 830677 0 9 0 44646 361 0 0 25 0 1 0 205858779 23560192 4942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159168528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5752 4942 447 55 0 4644 0 Current children cumulated CPU time (s) 450.07 Current children cumulated vsize (Kb) 23008 [startup+460.266 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1813488/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=23384 CPUtime=460.07 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 851128 0 9 0 45638 369 0 0 25 0 1 0 205858779 23945216 5018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159943426 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5846 5018 447 55 0 4738 0 Current children cumulated CPU time (s) 460.07 Current children cumulated vsize (Kb) 23384 [startup+470.272 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1813296/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=23612 CPUtime=470.08 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 869861 0 9 0 46631 377 0 0 25 0 1 0 205858779 24178688 5063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159472464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5903 5063 447 55 0 4795 0 Current children cumulated CPU time (s) 470.08 Current children cumulated vsize (Kb) 23612 [startup+480.277 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1813424/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=22600 CPUtime=480.07 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 886866 0 9 0 47623 384 0 0 25 0 1 0 205858779 23142400 4993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5650 4993 447 55 0 4542 0 Current children cumulated CPU time (s) 480.07 Current children cumulated vsize (Kb) 22600 [startup+490.283 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1813360/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=22644 CPUtime=490.08 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 905547 0 9 0 48615 393 0 0 25 0 1 0 205858779 23187456 5004 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5661 5004 447 55 0 4553 0 Current children cumulated CPU time (s) 490.08 Current children cumulated vsize (Kb) 22644 [startup+500.289 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1813040/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=23084 CPUtime=500.08 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 927230 0 9 0 49606 402 0 0 25 0 1 0 205858779 23638016 5085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5771 5085 447 55 0 4663 0 Current children cumulated CPU time (s) 500.08 Current children cumulated vsize (Kb) 23084 [startup+510.294 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1812336/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=23628 CPUtime=510.08 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 948579 0 9 0 50597 411 0 0 25 0 1 0 205858779 24195072 5250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 5907 5250 447 55 0 4799 0 Current children cumulated CPU time (s) 510.08 Current children cumulated vsize (Kb) 23628 [startup+520.3 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1811696/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=25128 CPUtime=520.09 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 966058 0 9 0 51590 419 0 0 25 0 1 0 205858779 25731072 5471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 6282 5471 447 55 0 5174 0 Current children cumulated CPU time (s) 520.09 Current children cumulated vsize (Kb) 25128 [startup+530.306 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1811504/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=25332 CPUtime=530.09 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 984378 0 9 0 52582 427 0 0 25 0 1 0 205858779 25939968 5522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159473822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 6333 5522 447 55 0 5225 0 Current children cumulated CPU time (s) 530.09 Current children cumulated vsize (Kb) 25332 [startup+540.311 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1811760/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=24556 CPUtime=540.09 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 1003358 0 9 0 53573 436 0 0 25 0 1 0 205858779 25145344 5442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 6139 5442 447 55 0 5031 0 Current children cumulated CPU time (s) 540.09 Current children cumulated vsize (Kb) 24556 [startup+550.318 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1811568/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=24544 CPUtime=550.1 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 1024880 0 9 0 54564 446 0 0 25 0 1 0 205858779 25133056 5449 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 6136 5449 447 55 0 5028 0 Current children cumulated CPU time (s) 550.1 Current children cumulated vsize (Kb) 24544 [startup+560.325 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1810608/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=26200 CPUtime=560.1 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 1045271 0 9 0 55557 453 0 0 25 0 1 0 205858779 26828800 5736 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 6550 5736 447 55 0 5442 0 Current children cumulated CPU time (s) 560.1 Current children cumulated vsize (Kb) 26200 [startup+570.331 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1810416/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=26552 CPUtime=570.1 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 1064693 0 9 0 56548 462 0 0 25 0 1 0 205858779 27189248 5791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159495836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 6638 5791 447 55 0 5530 0 Current children cumulated CPU time (s) 570.1 Current children cumulated vsize (Kb) 26552 [startup+580.336 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5933 /proc/meminfo: memFree=1810480/2055920 swapFree=4181348/4192956 [pid=5933] ppid=5931 vsize=25504 CPUtime=580.11 /proc/5933/stat : 5933 (bsolo) R 5931 5933 5887 0 -1 0 1082119 0 9 0 57541 470 0 0 25 0 1 0 205858779 26116096 5719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5933/statm: 6376 5719 447 55 0 5268 0 Current children cumulated CPU time (s) 580.11 Current children cumulated vsize (Kb) 25504 Child status: 30 Real time (s): 586.737 CPU time (s): 586.508 CPU user time (s): 581.749 CPU system time (s): 4.75928 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (Kb): 26552
Begin job on node34 on Sun Jun 4 06:19:09 UTC 2006 FILE ID= 40266-1149401949 PBS_JOBID= 314068 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40266-1149401949/instance-40266-1149401949.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-40266-1149401949 -o ROOT/results/node34/solver-40266-1149401949 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40266-1149401949/instance-40266-1149401949.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b RANDOM SEED= 535899072 /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.277 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.277 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: 1834224 kB Buffers: 15788 kB Cached: 143936 kB SwapCached: 3272 kB Active: 38688 kB Inactive: 129684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834224 kB SwapTotal: 4192956 kB SwapFree: 4181348 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14836 kB Slab: 39360 kB Committed_AS: 435948 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node34 on Sun Jun 4 06:28:56 UTC 2006