Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 5809 | 1798.02 | 1798.56 |
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 | 4.34334 |
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/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878577-1245147606.opb 0.00/0.00 c File size is 94864 bytes. 0.00/0.01 c Highest Coefficient sum: 33355 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 771 Constr: 1951 1951/0/0 Lit: 9362 Watch. Lit: 3891 0.00/0.01 c Obj. Vars: 771 (100 % of total variables) 0.00/0.03 c Formula reductions applied at preprocessing 0.00/0.03 c Pre-processing Time: 0.033 s 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 752 1727 8778 5 3454 575 0 0 0.03 0.09/0.19 c Initial Lower Bound: 4728 0.09/0.19 c Initial Path Cost: 552 0.09/0.19 o 7143 2.29/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.34 c 0 752 1728 9530 5 4031 2079 1 0 0.20 2.29/2.34 o 6900 4.40/4.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.46 c 0 752 1729 10282 5 4590 3583 2 0 2.34 4.40/4.46 o 6730 6.60/6.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.61 c 0 752 1730 11034 6 5149 5087 3 0 4.46 6.60/6.61 o 6698 8.29/8.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.32 c 2 752 1735 13397 7 5719 5087 8 0 6.61 8.29/8.32 o 5826 10.79/10.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.79/10.83 c 2 752 1736 14149 8 6327 5087 9 0 8.32 10.79/10.83 o 5818 279.60/279.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 279.60/279.70 c 75 752 1883 59249 31 7195 5087 156 6 10.83 279.60/279.70 c 175 752 2082 126771 60 7600 5596 355 12 14.20 279.60/279.70 c 431 752 2593 297096 114 8607 6156 866 23 18.59 279.60/279.70 c 917 752 3565 606186 170 10545 6772 1838 35 26.08 279.60/279.70 c 1731 752 5190 1134867 218 13810 7450 3463 46 37.23 279.60/279.70 c 3051 752 7826 2001035 255 19103 8196 6099 54 56.10 279.60/279.70 c 5161 752 7507 1972271 262 15607 9016 5780 62 82.54 279.60/279.70 c 8390 752 8987 2510617 279 18581 9918 7260 71 117.92 279.60/279.70 c 13326 752 8028 2171152 270 16658 10910 6301 76 173.35 279.60/279.70 c 20851 752 11447 3144314 274 23490 12002 9720 79 260.73 279.60/279.70 o 5817 529.23/529.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 529.23/529.47 c 22423 752 8108 2108155 260 17422 2079 6381 80 279.62 529.23/529.47 c 22523 752 2968 415107 139 6531 2287 1241 79 283.96 529.23/529.47 c 22791 752 3504 598472 170 7600 2516 1777 79 288.33 529.23/529.47 c 23266 752 2989 409761 137 6570 2768 1262 78 295.53 529.23/529.47 c 24080 752 3115 419752 134 6823 3045 1388 78 306.78 529.23/529.47 c 25400 752 3880 611944 157 8352 3350 2153 78 323.39 529.23/529.47 c 27482 752 3960 676628 170 8512 3686 2233 78 348.80 529.23/529.47 c 30708 752 3730 653507 175 8054 4055 2003 79 386.23 529.23/529.47 c 35651 752 3765 727079 193 8124 4461 2038 81 437.08 529.23/529.47 c 43157 752 5400 1278601 236 11395 4908 3673 83 514.54 529.23/529.47 o 5815 549.32/549.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 549.32/549.52 c 44406 752 4957 1145188 231 11120 2079 3230 83 529.31 549.32/549.52 c 44528 752 3015 454384 150 6626 2287 1288 83 532.00 549.32/549.52 c 44787 752 3533 623971 176 7661 2516 1806 83 536.38 549.32/549.52 c 45271 752 2989 438680 146 6572 2768 1262 83 543.70 549.32/549.52 o 5814 978.80/979.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 978.80/979.19 c 45595 752 3629 637889 175 8492 2079 1902 82 549.36 978.80/979.19 c 45697 752 2771 349325 126 6149 2287 1044 82 551.70 978.80/979.19 c 45949 752 3272 491134 150 7147 2516 1545 82 556.44 978.80/979.19 c 46425 752 4223 747826 177 9047 2768 2496 82 563.87 978.80/979.19 c 47239 752 4092 701271 171 8787 3045 2365 82 574.41 978.80/979.19 c 48569 752 3254 494389 151 7106 3350 1527 81 592.76 978.80/979.19 c 50650 752 3406 535851 157 7417 3686 1679 82 616.44 978.80/979.19 c 53873 752 5373 1164552 216 11343 4055 3646 82 654.08 978.80/979.19 c 58810 752 5576 1151939 206 11750 4461 3849 82 712.34 978.80/979.19 c 66316 752 4849 999212 206 10298 4908 3122 83 793.01 978.80/979.19 c 77687 752 4512 1069091 236 9625 5399 2785 85 913.59 978.80/979.19 o 5810 1530.24/1530.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1530.24/1530.79 c 83179 752 6243 1510990 242 13704 2079 4516 84 978.90 1530.24/1530.79 c 83279 752 2972 431444 145 6545 2287 1245 84 981.30 1530.24/1530.79 c 83536 752 3485 563828 161 7570 2516 1758 84 986.21 1530.24/1530.79 c 84015 752 2990 376380 125 6578 2768 1263 84 994.37 1530.24/1530.79 c 84831 752 3115 397159 127 6827 3045 1388 84 1005.22 1530.24/1530.79 c 86155 752 3887 619536 159 8368 3350 2160 84 1024.69 1530.24/1530.79 c 88237 752 3895 656219 168 8383 3686 2168 84 1048.20 1530.24/1530.79 c 91477 752 3755 578667 154 8104 4055 2028 84 1084.27 1530.24/1530.79 c 96421 752 4115 707206 171 8823 4461 2388 84 1139.75 1530.24/1530.79 c 103928 752 6137 1425796 232 12867 4908 4410 84 1224.75 1530.24/1530.79 c 115291 752 6190 1389839 224 12974 5399 4463 84 1361.80 1530.24/1530.79 o 5809 1797.96/1798.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.54 c 130895 752 6217 1470241 236 13645 2079 4490 85 1530.34 1797.96/1798.54 c 130997 752 2972 425143 143 6547 2287 1245 85 1533.32 1797.96/1798.54 c 131249 752 3476 579515 166 7550 2516 1749 85 1537.15 1797.96/1798.54 c 131737 752 2988 408289 136 6571 2768 1261 85 1544.16 1797.96/1798.54 c 132562 752 3116 438288 140 6828 3045 1389 85 1554.38 1797.96/1798.54 c 133896 752 3754 672724 179 8113 3350 2027 85 1567.93 1797.96/1798.54 c 135987 752 3866 628142 162 8328 3686 2139 85 1591.92 1797.96/1798.54 c 139227 752 3579 612342 171 7756 4055 1852 85 1626.56 1797.96/1798.54 c 144168 752 3766 642416 170 8131 4461 2039 85 1676.54 1797.96/1798.54 c 151722 752 5760 1238698 215 12114 4908 4033 86 1755.95 1797.96/1798.54 c Resources Exceeded 1797.96/1798.54 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 -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 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -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 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 -x224 x225 x226 x227 x228 x229 x230 -x231 -x232 -x233 -x234 x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 x282 -x283 -x284 x285 -x286 x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 x303 x304 x305 x306 -x307 -x308 -x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 x327 x328 -x329 -x330 x331 x332 -x333 x334 -x335 -x336 x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 x390 x391 x392 x393 x394 -x395 x396 x397 x398 x399 x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 x414 x415 -x416 -x417 x418 -x419 x420 x421 -x422 x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 x440 x441 -x442 -x443 x444 -x445 -x446 x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 x520 -x521 -x522 x523 -x524 x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 x634 -x635 -x636 x637 -x638 x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 -x675 x676 -x677 -x678 -x679 x680 x681 -x682 -x683 x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 1797.96/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.54 c 61 155743 6897 187295 5243 1097206 3516 86 1798.01 1797.96/1798.54 c Objective: 5809 1797.96/1798.54 s SATISFIABLE 1797.96/1798.54 c Total time: 1798.01 s
OK 5809
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878577-1245147606/watcher-1878577-1245147606 -o /tmp/evaluation-result-1878577-1245147606/solver-1878577-1245147606 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878577-1245147606.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.96 3/64 3584 /proc/meminfo: memFree=1857448/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=10812 CPUtime=0 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 248 0 0 0 0 0 0 0 18 0 1 0 182361679 11071488 232 1992294400 134512640 137136520 4294956256 18446744073709551615 134516189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 2703 232 174 640 0 2035 0 [startup+0.101689 s] /proc/loadavg: 0.99 0.97 0.96 3/64 3584 /proc/meminfo: memFree=1857448/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=13332 CPUtime=0.09 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 850 0 0 0 9 0 0 0 18 0 1 0 182361679 13651968 707 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 3333 707 283 640 0 2689 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13332 [startup+0.2017 s] /proc/loadavg: 0.99 0.97 0.96 3/64 3584 /proc/meminfo: memFree=1857448/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=11520 CPUtime=0.19 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 1243 0 0 0 19 0 0 0 18 0 1 0 182361679 11796480 539 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 2880 539 290 640 0 2236 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11520 [startup+0.301712 s] /proc/loadavg: 0.99 0.97 0.96 3/64 3584 /proc/meminfo: memFree=1857448/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=14148 CPUtime=0.29 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4240 0 0 0 28 1 0 0 19 0 1 0 182361679 14487552 783 1992294400 134512640 137136520 4294956256 18446744073709551615 135445468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 3537 783 290 640 0 2893 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14148 [startup+0.701759 s] /proc/loadavg: 0.99 0.97 0.96 3/64 3584 /proc/meminfo: memFree=1857448/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=13860 CPUtime=0.69 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 17879 0 0 0 63 6 0 0 22 0 1 0 182361679 14192640 718 1992294400 134512640 137136520 4294956256 18446744073709551615 135448314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 3465 718 290 640 0 2821 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13860 [startup+1.50185 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1855840/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=13800 CPUtime=1.49 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 46073 0 0 0 133 16 0 0 25 0 1 0 182361679 14131200 760 1992294400 134512640 137136520 4294956256 18446744073709551615 135381796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 3450 760 290 640 0 2806 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13800 [startup+3.10104 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1855776/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=13856 CPUtime=3.09 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 99977 0 0 0 277 32 0 0 25 0 1 0 182361679 14188544 743 1992294400 134512640 137136520 4294956256 18446744073709551615 134731897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 3464 749 291 640 0 2820 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13856 [startup+6.30142 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1855584/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=13784 CPUtime=6.29 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 210975 0 0 0 564 65 0 0 25 0 1 0 182361679 14114816 739 1992294400 134512640 137136520 4294956256 18446744073709551615 136503955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 3446 745 291 640 0 2802 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13784 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1854752/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=14360 CPUtime=12.68 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 436110 0 0 0 1128 140 0 0 25 0 1 0 182361679 14704640 859 1992294400 134512640 137136520 4294956256 18446744073709551615 134847432 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 3590 859 293 640 0 2946 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14360 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1848288/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=21000 CPUtime=25.48 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 885994 0 0 0 2259 289 0 0 25 0 1 0 182361679 21504000 2542 1992294400 134512640 137136520 4294956256 18446744073709551615 135438666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 5250 2542 293 640 0 4606 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21000 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1833184/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=36108 CPUtime=51.07 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 1801537 0 0 0 4513 594 0 0 25 0 1 0 182361679 36974592 6301 1992294400 134512640 137136520 4294956256 18446744073709551615 134846254 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 9027 6301 293 640 0 8383 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36108 [startup+102.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1810720/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=56320 CPUtime=102.26 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 3038336 0 0 0 9200 1026 0 0 25 0 1 0 182361679 57671680 11768 1992294400 134512640 137136520 4294956256 18446744073709551615 134710999 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 14113 11778 293 640 0 13469 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 56320 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1807456/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=60876 CPUtime=162.24 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 3575189 0 0 0 14994 1230 0 0 25 0 1 0 182361679 62337024 12772 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 15413 12782 293 640 0 14769 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 60876 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1804640/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=63976 CPUtime=222.22 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4004876 0 0 0 20820 1402 0 0 25 0 1 0 182361679 65511424 13365 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 15994 13365 293 640 0 15350 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 63976 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1800160/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=68496 CPUtime=282.2 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4500774 0 0 0 26627 1593 0 0 25 0 1 0 182361679 70139904 14470 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 17124 14470 293 640 0 16480 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 68496 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1800160/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=342.18 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 32599 1619 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 67756 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1800160/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=402.17 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 38596 1621 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135410638 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 67756 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1800160/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=462.14 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 44592 1622 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135410687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 67756 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1800160/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=522.13 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 50589 1624 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 134731929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 67756 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1800096/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=582.11 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 56585 1626 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 134742988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 67756 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1800096/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=642.1 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 62582 1628 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135378664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 67756 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1799840/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1121.95 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 110556 1639 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 67756 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799840/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1181.93 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 116552 1641 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 136502201 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 67756 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799776/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1241.91 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 122549 1642 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135464098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 67756 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799712/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1301.9 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 128546 1644 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135454569 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 67756 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799712/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1361.88 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 134542 1646 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 67756 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799648/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1421.87 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 140539 1648 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135249209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 67756 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799648/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1481.85 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 146536 1649 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 134732866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 67756 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799584/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1541.84 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 152533 1651 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135410586 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 67756 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799584/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1601.81 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 158529 1652 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135378823 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 67756 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799584/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1661.79 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 164525 1654 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 134748867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 67756 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799520/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1721.78 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 170522 1656 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135453610 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 67756 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799456/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1781.76 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 176518 1658 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 67756 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799456/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1791.46 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 177488 1658 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 134849487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 67756 [startup+1795.2 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799456/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1794.66 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 177808 1658 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 134728837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 67756 [startup+1796.8 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799456/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1796.25 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 177967 1658 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135377546 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 67756 [startup+1797.6 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799456/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1797.05 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 178047 1658 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 134728837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 67756 [startup+1798 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799456/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1797.45 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 178087 1658 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 135249175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 67756 [startup+1798.4 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799456/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1797.85 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 178127 1658 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 134728837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 67756 [startup+1798.5 s] /proc/loadavg: 0.99 0.97 0.96 2/65 3585 /proc/meminfo: memFree=1799456/2055920 swapFree=4191900/4192956 [pid=3584] ppid=3582 vsize=67756 CPUtime=1797.96 /proc/3584/stat : 3584 (bsolo) R 3582 3584 3460 0 -1 4194304 4550007 0 0 0 178138 1658 0 0 25 0 1 0 182361679 69382144 14476 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3584/statm: 16939 14476 293 640 0 16295 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 67756 Child status: 0 Real time (s): 1798.56 CPU time (s): 1798.02 CPU user time (s): 1781.42 CPU system time (s): 16.5955 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 69356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.42 system time used= 16.5955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4550009 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= 2 involuntary context switches= 3795 runsolver used 1.58676 second user time and 3.38448 second system time The end
Begin job on node1 at 2009-06-16 12:20:06 IDJOB=1878577 IDBENCH=2018 IDSOLVER=700 FILE ID=node1/1878577-1245147606 PBS_JOBID= 9363766 Free space on /tmp= 66220 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878577-1245147606/watcher-1878577-1245147606 -o /tmp/evaluation-result-1878577-1245147606/solver-1878577-1245147606 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878577-1245147606.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b RANDOM SEED=764851799 node1.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.245 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.245 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: 1857864 kB Buffers: 26604 kB Cached: 93632 kB SwapCached: 260 kB Active: 20968 kB Inactive: 112596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857864 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4032 kB Writeback: 0 kB Mapped: 22552 kB Slab: 50420 kB Committed_AS: 150236 kB PageTables: 1436 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878577-1245147606.opb Free space on /tmp at the end= 66216 MiB End job on node1 at 2009-06-16 12:50:05