Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 5809 | 1798.02 | 1798.68 |
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 | 0.533918 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657513-1276402653.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.017 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.038 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.04 0.09/0.19 c Initial Lower Bound: 4728 0.09/0.19 c Initial Path Cost: 552 0.09/0.20 o 7143 2.20/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.29 c 0 752 1728 9530 5 4031 2079 1 0 0.20 2.20/2.29 o 6900 4.30/4.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.35 c 0 752 1729 10282 5 4590 3583 2 0 2.29 4.30/4.35 o 6730 6.39/6.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.43 c 0 752 1730 11034 6 5149 5087 3 0 4.35 6.39/6.43 o 6698 7.99/8.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.07 c 2 752 1735 13397 7 5719 5087 8 0 6.43 7.99/8.07 o 5826 10.39/10.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.39/10.49 c 2 752 1736 14149 8 6327 5087 9 0 8.07 10.39/10.49 o 5818 275.19/275.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 275.19/275.39 c 75 752 1883 59249 31 7195 5087 156 7 10.49 275.19/275.39 c 175 752 2082 126771 60 7600 5596 355 12 13.74 275.19/275.39 c 431 752 2593 297096 114 8607 6156 866 23 18.02 275.19/275.39 c 917 752 3565 606186 170 10545 6772 1838 36 25.32 275.19/275.39 c 1731 752 5190 1134867 218 13810 7450 3463 47 36.21 275.19/275.39 c 3051 752 7826 2001035 255 19103 8196 6099 55 54.51 275.19/275.39 c 5161 752 7507 1972271 262 15607 9016 5780 64 80.44 275.19/275.39 c 8390 752 8987 2510617 279 18581 9918 7260 72 115.27 275.19/275.39 c 13326 752 8028 2171152 270 16658 10910 6301 78 169.96 275.19/275.39 c 20851 752 11447 3144314 274 23490 12002 9720 81 256.71 275.19/275.39 o 5817 522.30/522.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 522.30/522.54 c 22423 752 8108 2108155 260 17422 2079 6381 81 275.29 522.30/522.54 c 22523 752 2968 415107 139 6531 2287 1241 80 279.62 522.30/522.54 c 22791 752 3504 598472 170 7600 2516 1777 80 283.94 522.30/522.54 c 23266 752 2989 409761 137 6570 2768 1262 79 291.10 522.30/522.54 c 24080 752 3115 419752 134 6823 3045 1388 79 302.27 522.30/522.54 c 25400 752 3880 611944 157 8352 3350 2153 79 318.75 522.30/522.54 c 27482 752 3960 676628 170 8512 3686 2233 79 343.84 522.30/522.54 c 30708 752 3730 653507 175 8054 4055 2003 80 380.83 522.30/522.54 c 35651 752 3765 727079 193 8124 4461 2038 82 431.11 522.30/522.54 c 43157 752 5400 1278601 236 11395 4908 3673 85 507.73 522.30/522.54 o 5815 542.09/542.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 542.09/542.36 c 44406 752 4957 1145188 231 11120 2079 3230 85 522.35 542.09/542.36 c 44528 752 3015 454384 150 6626 2287 1288 84 524.99 542.09/542.36 c 44787 752 3533 623971 176 7661 2516 1806 84 529.33 542.09/542.36 c 45271 752 2989 438680 146 6572 2768 1262 84 536.59 542.09/542.36 o 5814 967.03/967.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 967.03/967.48 c 45595 752 3629 637889 175 8492 2079 1902 84 542.15 967.03/967.48 c 45697 752 2771 349325 126 6149 2287 1044 83 544.45 967.03/967.48 c 45949 752 3272 491134 150 7147 2516 1545 83 549.14 967.03/967.48 c 46425 752 4223 747826 177 9047 2768 2496 83 556.52 967.03/967.48 c 47239 752 4092 701271 171 8787 3045 2365 83 566.89 967.03/967.48 c 48569 752 3254 494389 151 7106 3350 1527 83 585.04 967.03/967.48 c 50650 752 3406 535851 157 7417 3686 1679 83 608.43 967.03/967.48 c 53873 752 5373 1164552 216 11343 4055 3646 83 645.67 967.03/967.48 c 58810 752 5576 1151939 206 11750 4461 3849 83 703.25 967.03/967.48 c 66316 752 4849 999212 206 10298 4908 3122 84 783.09 967.03/967.48 c 77687 752 4512 1069091 236 9625 5399 2785 86 902.27 967.03/967.48 o 5810 1513.04/1513.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1513.04/1513.68 c 83179 752 6243 1510990 242 13704 2079 4516 86 967.12 1513.04/1513.68 c 83279 752 2972 431444 145 6545 2287 1245 85 969.50 1513.04/1513.68 c 83536 752 3485 563828 161 7570 2516 1758 85 974.35 1513.04/1513.68 c 84015 752 2990 376380 125 6578 2768 1263 85 982.41 1513.04/1513.68 c 84831 752 3115 397159 127 6827 3045 1388 85 993.19 1513.04/1513.68 c 86155 752 3887 619536 159 8368 3350 2160 85 1012.47 1513.04/1513.68 c 88237 752 3895 656219 168 8383 3686 2168 85 1035.68 1513.04/1513.68 c 91477 752 3755 578667 154 8104 4055 2028 85 1071.34 1513.04/1513.68 c 96421 752 4115 707206 171 8823 4461 2388 85 1126.37 1513.04/1513.68 c 103928 752 6137 1425796 232 12867 4908 4410 85 1210.47 1513.04/1513.68 c 115291 752 6190 1389839 224 12974 5399 4463 85 1346.09 1513.04/1513.68 o 5809 1797.92/1798.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.67 c 130895 752 6217 1470241 236 13645 2079 4490 86 1513.12 1797.92/1798.67 c 130997 752 2972 425143 143 6547 2287 1245 86 1516.06 1797.92/1798.67 c 131249 752 3476 579515 166 7550 2516 1749 86 1519.89 1797.92/1798.67 c 131737 752 2988 408289 136 6571 2768 1261 86 1526.91 1797.92/1798.67 c 132562 752 3116 438288 140 6828 3045 1389 86 1537.02 1797.92/1798.67 c 133896 752 3754 672724 179 8113 3350 2027 86 1550.45 1797.92/1798.67 c 135987 752 3866 628142 162 8328 3686 2139 86 1574.27 1797.92/1798.67 c 139227 752 3579 612342 171 7756 4055 1852 86 1608.63 1797.92/1798.67 c 144168 752 3766 642416 170 8131 4461 2039 86 1658.08 1797.92/1798.67 c 151722 752 5760 1238698 215 12114 4908 4033 87 1736.73 1797.92/1798.67 c Resources Exceeded 1797.92/1798.67 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.92/1798.67 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.67 c 61 157669 6947 189253 6231 1415767 4504 87 1798.01 1797.92/1798.67 c Objective: 5809 1797.92/1798.67 s SATISFIABLE 1797.92/1798.67 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-2657513-1276402653/watcher-2657513-1276402653 -o /tmp/evaluation-result-2657513-1276402653/solver-2657513-1276402653 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657513-1276402653.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.92 0.98 0.99 3/106 21769 /proc/meminfo: memFree=1790140/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=10888 CPUtime=0 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 327 0 0 0 0 0 0 0 18 0 1 0 15866703 11149312 246 1992294400 134512640 137138936 4287910288 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 2722 247 175 642 0 2054 0 [startup+0.058662 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21769 /proc/meminfo: memFree=1790140/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=11304 CPUtime=0.05 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 528 0 0 0 5 0 0 0 20 0 1 0 15866703 11575296 423 1992294400 134512640 137138936 4287910288 18446744073709551615 136501994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 2826 423 218 642 0 2182 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11304 [startup+0.101669 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21769 /proc/meminfo: memFree=1790140/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=13408 CPUtime=0.09 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 901 0 0 0 9 0 0 0 20 0 1 0 15866703 13729792 693 1992294400 134512640 137138936 4287910288 18446744073709551615 135081130 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 3352 693 275 642 0 2708 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13408 [startup+0.301703 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21769 /proc/meminfo: memFree=1790140/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=14224 CPUtime=0.29 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4294 0 0 0 28 1 0 0 20 0 1 0 15866703 14565376 772 1992294400 134512640 137138936 4287910288 18446744073709551615 135441019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 3556 772 283 642 0 2912 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14224 [startup+0.700772 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21769 /proc/meminfo: memFree=1790140/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=13300 CPUtime=0.69 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 18121 0 0 0 64 5 0 0 20 0 1 0 15866703 13619200 657 1992294400 134512640 137138936 4287910288 18446744073709551615 135412751 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 3325 657 283 642 0 2681 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13300 [startup+1.50091 s] /proc/loadavg: 0.92 0.98 0.99 2/107 21770 /proc/meminfo: memFree=1788396/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=13876 CPUtime=1.49 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 46934 0 0 0 136 13 0 0 23 0 1 0 15866703 14209024 686 1992294400 134512640 137138936 4287910288 18446744073709551615 135251468 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 3469 686 283 642 0 2825 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13876 [startup+3.10118 s] /proc/loadavg: 0.92 0.98 0.99 2/107 21770 /proc/meminfo: memFree=1788148/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=11468 CPUtime=3.09 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 102651 0 0 0 282 27 0 0 25 0 1 0 15866703 11743232 536 1992294400 134512640 137138936 4287910288 18446744073709551615 134750966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 2867 536 284 642 0 2223 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11468 [startup+6.30073 s] /proc/loadavg: 0.93 0.98 0.99 2/107 21770 /proc/meminfo: memFree=1788024/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=11488 CPUtime=6.29 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 217768 0 0 0 572 57 0 0 25 0 1 0 15866703 11763712 541 1992294400 134512640 137138936 4287910288 18446744073709551615 135782997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 2872 541 284 642 0 2228 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11488 [startup+12.7008 s] /proc/loadavg: 0.93 0.98 0.99 2/107 21770 /proc/meminfo: memFree=1787032/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=14512 CPUtime=12.69 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 451688 0 0 0 1147 122 0 0 25 0 1 0 15866703 14860288 878 1992294400 134512640 137138936 4287910288 18446744073709551615 134851275 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 3628 878 287 642 0 2984 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14512 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/107 21770 /proc/meminfo: memFree=1780212/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=21664 CPUtime=25.48 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 909715 0 0 0 2300 248 0 0 25 0 1 0 15866703 22183936 2646 1992294400 134512640 137138936 4287910288 18446744073709551615 135457386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 5416 2646 287 642 0 4772 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21664 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/107 21772 /proc/meminfo: memFree=1764712/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=36568 CPUtime=51.07 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 1854839 0 0 0 4596 511 0 0 25 0 1 0 15866703 37445632 6501 1992294400 134512640 137138936 4287910288 18446744073709551615 135412729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 9142 6502 287 642 0 8498 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36568 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 21772 /proc/meminfo: memFree=1741896/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=59012 CPUtime=102.26 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 3096303 0 0 0 9358 868 0 0 25 0 1 0 15866703 60428288 12031 1992294400 134512640 137138936 4287910288 18446744073709551615 134730907 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 14753 12031 287 642 0 14109 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 59012 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21774 /proc/meminfo: memFree=1737432/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=63964 CPUtime=162.23 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 3677331 0 0 0 15152 1071 0 0 25 0 1 0 15866703 65499136 13358 1992294400 134512640 137138936 4287910288 18446744073709551615 135381834 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 15991 13358 287 642 0 15347 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 63964 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21776 /proc/meminfo: memFree=1736564/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=64244 CPUtime=222.2 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4025717 0 0 0 21002 1218 0 0 25 0 1 0 15866703 65785856 13361 1992294400 134512640 137138936 4287910288 18446744073709551615 135456739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16061 13361 287 642 0 15417 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 64244 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21778 /proc/meminfo: memFree=1732100/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=68004 CPUtime=282.18 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4516496 0 0 0 26824 1394 0 0 25 0 1 0 15866703 69636096 14459 1992294400 134512640 137138936 4287910288 18446744073709551615 135404677 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 17001 14459 287 642 0 16357 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 68004 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21780 /proc/meminfo: memFree=1732100/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=342.16 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 32800 1416 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134750330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 67832 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21780 /proc/meminfo: memFree=1731976/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=402.14 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 38795 1419 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135381719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 67832 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21782 /proc/meminfo: memFree=1731976/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=462.12 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 44790 1422 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134745125 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 67832 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21784 /proc/meminfo: memFree=1731976/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=522.09 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 50785 1424 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135410679 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 67832 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21786 /proc/meminfo: memFree=1731976/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=582.07 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 56780 1427 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134744796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 67832 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21788 /proc/meminfo: memFree=1731976/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=642.06 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 62776 1430 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 67832 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1731852/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1121.87 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 110735 1452 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134832735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 67832 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21802 /proc/meminfo: memFree=1731728/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1181.85 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 116731 1454 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134872052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 67832 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21804 /proc/meminfo: memFree=1731604/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1241.83 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 122727 1456 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135456718 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 67832 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21804 /proc/meminfo: memFree=1731604/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1301.81 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 128722 1459 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134734941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 67832 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21806 /proc/meminfo: memFree=1731604/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1361.78 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 134716 1462 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134625496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 67832 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21808 /proc/meminfo: memFree=1731604/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1421.77 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 140712 1465 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135783826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 67832 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21810 /proc/meminfo: memFree=1731604/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1481.74 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 146706 1468 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 136504652 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 67832 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21812 /proc/meminfo: memFree=1731604/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1541.72 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 152701 1471 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135388598 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 67832 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21812 /proc/meminfo: memFree=1731604/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1601.7 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 158696 1474 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 136505076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 67832 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21814 /proc/meminfo: memFree=1731604/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1661.68 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 164692 1476 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134913011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 67832 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21816 /proc/meminfo: memFree=1731604/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1721.65 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 170686 1479 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134731546 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 67832 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21818 /proc/meminfo: memFree=1731480/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1781.63 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 176681 1482 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135251013 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 67832 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21818 /proc/meminfo: memFree=1731480/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1791.24 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 177641 1483 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135783826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1791.24 Current children cumulated vsize (KiB) 67832 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21818 /proc/meminfo: memFree=1731480/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1794.43 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 177960 1483 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135251029 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (KiB) 67832 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21818 /proc/meminfo: memFree=1731480/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1796.02 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 178119 1483 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135251266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1796.02 Current children cumulated vsize (KiB) 67832 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21818 /proc/meminfo: memFree=1731480/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1796.82 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 178199 1483 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 67832 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21818 /proc/meminfo: memFree=1731480/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1797.62 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 178279 1483 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134730894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 67832 [startup+1798.51 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21818 /proc/meminfo: memFree=1731480/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1797.83 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 178300 1483 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 135251340 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 67832 [startup+1798.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21818 /proc/meminfo: memFree=1731480/2059040 swapFree=4165864/4192956 [pid=21769] ppid=21767 vsize=67832 CPUtime=1797.92 /proc/21769/stat : 21769 (bsolo_pb10) R 21767 21769 15035 0 -1 4202496 4550068 0 0 0 178309 1483 0 0 25 0 1 0 15866703 69459968 14472 1992294400 134512640 137138936 4287910288 18446744073709551615 134840699 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21769/statm: 16958 14472 287 642 0 16314 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 67832 Child status: 0 Real time (s): 1798.68 CPU time (s): 1798.02 CPU user time (s): 1783.17 CPU system time (s): 14.8427 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (KiB): 69420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.17 system time used= 14.8427 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4550068 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= 4698 runsolver used 2.76458 second user time and 8.69268 second system time The end
Begin job on node014 at 2010-06-13 06:17:33 IDJOB=2657513 IDBENCH=2018 IDSOLVER=1163 FILE ID=node014/2657513-1276402653 PBS_JOBID= 11173259 Free space on /tmp= 62464 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657513-1276402653/watcher-2657513-1276402653 -o /tmp/evaluation-result-2657513-1276402653/solver-2657513-1276402653 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657513-1276402653.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b RANDOM SEED=1079397009 node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1790544 kB Buffers: 21104 kB Cached: 136204 kB SwapCached: 1640 kB Active: 108092 kB Inactive: 83688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1790544 kB SwapTotal: 4192956 kB SwapFree: 4165864 kB Dirty: 3972 kB Writeback: 0 kB AnonPages: 32904 kB Mapped: 15116 kB Slab: 54828 kB PageTables: 3892 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182508 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62460 MiB End job on node014 at 2010-06-13 06:47:32