Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 4822 | 1800.01 | 1800.57 |
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 | 121.089 |
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.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/352747-1176640555/instance-352747-1176640555.opb 0.00/0.00 c File size is 94864 bytes. 0.00/0.02 c Highest Coefficient sum: 33355 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.018 s 0.00/0.02 c Var: 771 Constr: 1951 1951/0/0 Lit: 9362 Watch. Lit: 3891 0.00/0.02 c Obj. Vars: 771 (100 % of total variables) 0.00/0.04 c Formula reductions applied at preprocessing 0.00/0.04 c Pre-processing Time: 0.038 s 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 0 752 1727 8778 5 3454 575 0 0 0.04 0.09/0.18 c Initial Lower Bound: 4728 0.09/0.18 c Initial Path Cost: 552 0.09/0.18 o 7143 0.178 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 752 1728 9530 5 4031 2079 1 0 0.18 0.19/0.28 o 4912 0.282 * 3.09/3.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.17 c 1 752 1730 10285 5 4636 2079 3 3 0.28 3.09/3.17 c 101 752 1928 17619 9 5034 2287 201 74 1.36 3.09/3.17 o 4911 3.168 * 3.30/3.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.39 c 263 752 2251 30738 13 6281 2079 524 83 3.17 3.30/3.39 o 4910 3.389 * 3.49/3.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.54 c 267 752 2260 31789 14 6901 2079 533 78 3.39 3.49/3.54 o 4869 3.543 * 6.39/6.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.42 c 267 752 2261 32541 14 7506 2079 534 75 3.54 6.39/6.42 c 367 752 2461 44304 18 7950 2287 734 78 4.66 6.39/6.42 o 4859 6.417 * 1422.94/1423.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1422.94/1423.34 c 504 752 2734 57255 20 9075 2079 1007 78 6.42 1422.94/1423.34 c 604 752 2933 67229 22 9469 2287 1206 76 7.90 1422.94/1423.34 c 854 752 3429 86581 25 10469 2516 1702 79 10.68 1422.94/1423.34 c 1329 752 3054 61301 20 6716 2768 1327 85 15.49 1422.94/1423.34 c 2142 752 3221 61928 19 7055 3045 1494 87 24.53 1422.94/1423.34 c 3462 752 4265 104135 24 9142 3350 2538 91 37.66 1422.94/1423.34 c 5543 752 4940 159044 32 10494 3686 3213 94 58.37 1422.94/1423.34 c 8766 752 3745 87154 23 8104 4055 2018 96 90.67 1422.94/1423.34 c 13702 752 5207 173551 33 11031 4461 3480 102 133.63 1422.94/1423.34 c 21208 752 4120 109299 26 8859 4908 2393 104 202.92 1422.94/1423.34 c 32569 752 6604 220968 33 13824 5399 4877 103 314.27 1422.94/1423.34 c 49713 752 4919 130371 26 10451 5939 3192 103 480.21 1422.94/1423.34 c 75532 752 4822 139034 28 10261 6533 3095 102 734.40 1422.94/1423.34 c 114364 752 5692 208147 36 11998 7187 3965 103 1108.00 1422.94/1423.34 o 4854 1422.99 * 1423.94/1424.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1423.94/1424.39 c 147014 752 8709 301405 34 18643 2079 6982 103 1422.99 1423.94/1424.39 o 4845 1424.04 * 1426.64/1427.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1426.64/1427.09 c 147086 752 2915 56344 19 7047 2079 1188 103 1424.04 1426.64/1427.09 c 147186 752 3111 69013 22 7450 2287 1384 103 1425.48 1426.64/1427.09 o 4835 1426.74 * 1478.43/1478.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1478.43/1478.84 c 147307 752 3352 77894 23 8535 2079 1625 103 1426.74 1478.43/1478.84 c 147407 752 3550 83547 23 8929 2287 1823 103 1428.30 1478.43/1478.84 c 147657 752 2873 52615 18 6357 2516 1146 103 1431.36 1478.43/1478.84 c 148132 752 3823 89378 23 8258 2768 2096 103 1437.09 1478.43/1478.84 c 148945 752 3994 94937 23 8602 3045 2267 103 1445.20 1478.43/1478.84 c 150265 752 3503 70702 20 7617 3350 1776 103 1458.67 1478.43/1478.84 c 152346 752 4179 111528 26 8973 3686 2452 103 1478.32 1478.43/1478.84 o 4828 1478.48 * 1760.64/1761.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1760.64/1761.23 c 152347 752 4182 112313 26 9582 2079 2455 103 1478.48 1760.64/1761.23 c 152447 752 2965 60966 20 6539 2287 1238 103 1479.64 1760.64/1761.23 c 152697 752 3464 80035 23 7539 2516 1737 102 1482.69 1760.64/1761.23 c 153172 752 3109 64701 20 6832 2768 1382 102 1487.84 1760.64/1761.23 c 153985 752 3300 64600 19 7227 3045 1573 102 1495.65 1760.64/1761.23 c 155305 752 4362 99737 22 9343 3350 2635 102 1508.84 1760.64/1761.23 c 157386 752 5021 141401 28 10656 3686 3294 102 1531.02 1760.64/1761.23 c 160609 752 3792 94369 24 8198 4055 2065 102 1565.43 1760.64/1761.23 c 165545 752 5316 137517 25 11251 4461 3589 102 1615.21 1760.64/1761.23 c 173051 752 4249 127790 30 9111 4908 2522 102 1694.57 1760.64/1761.23 o 4822 1760.68 * 1799.93/1800.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.56 c 179381 750 4360 90953 20 9936 2075 2633 101 1760.68 1799.93/1800.56 c 179481 750 2968 51506 17 6553 2283 1241 101 1761.92 1799.93/1800.56 c 179731 750 3466 69143 19 7542 2512 1739 101 1764.72 1799.93/1800.56 c 180206 750 3112 57471 18 6836 2764 1385 101 1769.37 1799.93/1800.56 c 181019 750 3278 60599 18 7167 3041 1551 101 1776.59 1799.93/1800.56 c 182339 750 4316 96397 22 9250 3346 2589 101 1789.79 1799.93/1800.56 c Resources Exceeded 1799.93/1800.56 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 1799.93/1800.56 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 1799.93/1800.56 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 1799.93/1800.56 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 1799.93/1800.56 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1799.93/1800.56 v -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1799.93/1800.56 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1799.93/1800.56 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1799.93/1800.56 v -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1799.93/1800.56 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 -x224 x225 x226 x227 x228 -x229 -x230 -x231 x232 -x233 -x234 1799.93/1800.56 v x235 -x236 x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1799.93/1800.56 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1799.93/1800.56 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 x286 x287 -x288 x289 -x290 x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 1799.93/1800.56 v -x299 -x300 -x301 -x302 x303 x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1799.93/1800.56 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 x337 -x338 x339 -x340 1799.93/1800.56 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 1799.93/1800.56 v x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1799.93/1800.56 v x383 x384 x385 -x386 -x387 -x388 -x389 x390 -x391 x392 x393 x394 -x395 x396 x397 x398 x399 x400 -x401 -x402 x403 -x404 -x405 1799.93/1800.56 v -x406 -x407 -x408 -x409 x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 1799.93/1800.56 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 1799.93/1800.56 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 x464 x465 -x466 -x467 -x468 1799.93/1800.56 v -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1799.93/1800.56 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1799.93/1800.56 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 x520 -x521 x522 x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 1799.93/1800.56 v -x533 -x534 -x535 x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 x551 x552 -x553 -x554 1799.93/1800.56 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 x573 -x574 -x575 1799.93/1800.56 v -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1799.93/1800.56 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 x615 -x616 -x617 1799.93/1800.56 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 1799.93/1800.56 v -x639 -x640 -x641 -x642 x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 x657 -x658 -x659 1799.93/1800.56 v -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 x680 1799.93/1800.56 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 1799.93/1800.56 v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 1799.93/1800.56 v -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1799.93/1800.56 v -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 x753 x754 x755 x756 x757 -x758 -x759 x760 x761 -x762 -x763 -x764 -x765 1799.93/1800.56 v -x766 -x767 -x768 -x769 x770 -x771 1799.93/1800.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.56 c 47 183316 70 192876 4514 110485 2787 101 1800.00 1799.93/1800.56 c Objective: 4822 1799.93/1800.56 s SATISFIABLE 1799.93/1800.56 c Total time: 1800 s
OK 4822
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-352747-1176640555 -o ROOT/results/node26/solver-352747-1176640555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352747-1176640555/instance-352747-1176640555.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 21750 /proc/meminfo: memFree=1815048/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=11832 CPUtime=0 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 111972299 12115968 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2958 336 281 324 0 2003 0 [startup+0.050271 s] /proc/loadavg: 1.00 1.00 1.00 3/77 21750 /proc/meminfo: memFree=1815048/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=4824 CPUtime=0.04 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 656 0 0 0 4 0 0 0 18 0 1 0 111972299 4939776 600 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135468524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 1206 600 332 324 0 275 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4824 [startup+0.101275 s] /proc/loadavg: 1.00 1.00 1.00 3/77 21750 /proc/meminfo: memFree=1815048/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=6836 CPUtime=0.09 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 1033 0 0 0 9 0 0 0 18 0 1 0 111972299 7000064 896 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135332350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 1709 896 388 324 0 778 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6836 [startup+0.301293 s] /proc/loadavg: 1.00 1.00 1.00 3/77 21750 /proc/meminfo: memFree=1815048/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=7468 CPUtime=0.29 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 3840 0 0 0 27 2 0 0 19 0 1 0 111972299 7647232 919 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 1867 919 394 324 0 936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7468 [startup+0.70133 s] /proc/loadavg: 1.00 1.00 1.00 3/77 21750 /proc/meminfo: memFree=1815048/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=7588 CPUtime=0.69 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 12452 0 0 0 63 6 0 0 23 0 1 0 111972299 7770112 948 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 1897 948 394 324 0 966 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7588 [startup+1.50141 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21751 /proc/meminfo: memFree=1812800/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=7636 CPUtime=1.49 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 26891 0 0 0 137 12 0 0 25 0 1 0 111972299 7819264 973 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 1909 973 394 324 0 978 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7636 [startup+3.10155 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21751 /proc/meminfo: memFree=1812352/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=7776 CPUtime=3.09 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 54432 0 0 0 284 25 0 0 25 0 1 0 111972299 7962624 996 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134796118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 1944 996 394 324 0 1013 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7776 [startup+6.30185 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21751 /proc/meminfo: memFree=1811328/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=8304 CPUtime=6.29 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 88733 0 0 0 590 39 0 0 25 0 1 0 111972299 8503296 1234 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2076 1234 394 324 0 1145 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8304 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21751 /proc/meminfo: memFree=1810176/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=8488 CPUtime=12.69 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 114284 0 0 0 1218 51 0 0 25 0 1 0 111972299 8691712 1527 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13028430 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2122 1527 394 324 0 1191 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8488 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21751 /proc/meminfo: memFree=1809856/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=8604 CPUtime=25.48 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 149157 0 0 0 2476 72 0 0 25 0 1 0 111972299 8810496 1558 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13028430 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2151 1558 394 324 0 1220 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8604 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21751 /proc/meminfo: memFree=1809792/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=9332 CPUtime=51.08 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 260856 0 0 0 4974 134 0 0 25 0 1 0 111972299 9555968 1625 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690277 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2333 1625 394 324 0 1402 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9332 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1809216/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=10240 CPUtime=102.27 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 527505 0 0 0 9960 267 0 0 25 0 1 0 111972299 10485760 1757 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2560 1757 394 324 0 1629 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10240 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1809088/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=10336 CPUtime=162.25 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 929551 0 0 0 15770 455 0 0 25 0 1 0 111972299 10584064 1792 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135265845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2584 1792 394 324 0 1653 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10336 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1809024/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=10860 CPUtime=222.23 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 1383132 0 0 0 21563 660 0 0 25 0 1 0 111972299 11120640 1824 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134948762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2715 1824 394 324 0 1784 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 10860 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1808320/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=9988 CPUtime=282.21 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 1778148 0 0 0 27386 835 0 0 25 0 1 0 111972299 10227712 1954 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2497 1954 394 324 0 1566 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 9988 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1808320/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=11596 CPUtime=342.2 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 2137254 0 0 0 33223 997 0 0 25 0 1 0 111972299 11874304 2011 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2899 2011 394 324 0 1968 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 11596 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1808256/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=9992 CPUtime=402.19 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 2495541 0 0 0 39048 1171 0 0 25 0 1 0 111972299 10231808 1958 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2498 1958 394 324 0 1567 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 9992 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1808192/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=11640 CPUtime=462.18 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 2898271 0 0 0 44866 1352 0 0 25 0 1 0 111972299 11919360 2000 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135316298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2910 2000 394 324 0 1979 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 11640 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1808192/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=11168 CPUtime=522.15 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 3331711 0 0 0 50670 1545 0 0 25 0 1 0 111972299 11436032 1990 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2792 1990 394 324 0 1861 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 11168 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1808128/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=11728 CPUtime=582.15 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 3770839 0 0 0 56473 1742 0 0 25 0 1 0 111972299 12009472 2002 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2932 2003 394 324 0 2001 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 11728 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1808064/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=9988 CPUtime=642.13 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 4198168 0 0 0 62278 1935 0 0 25 0 1 0 111972299 10227712 1973 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2497 1973 394 324 0 1566 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 9988 ################ # More data... # ################ /proc/meminfo: memFree=1807040/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12760 CPUtime=1062.03 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 7350064 0 0 0 102850 3353 0 0 25 0 1 0 111972299 13066240 2211 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3190 2211 394 324 0 2259 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 12760 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1806720/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12760 CPUtime=1122.01 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 7805566 0 0 0 108642 3559 0 0 25 0 1 0 111972299 13066240 2303 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3190 2303 394 324 0 2259 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 12760 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1806656/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12564 CPUtime=1181.99 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 8263685 0 0 0 114439 3760 0 0 25 0 1 0 111972299 12865536 2250 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13028430 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3141 2250 394 324 0 2210 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 12564 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1806656/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12612 CPUtime=1241.99 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 8715283 0 0 0 120231 3968 0 0 25 0 1 0 111972299 12914688 2238 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13028430 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3153 2238 394 324 0 2222 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 12612 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1806592/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12148 CPUtime=1301.97 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 9146261 0 0 0 126036 4161 0 0 25 0 1 0 111972299 12439552 2232 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135254860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3037 2235 394 324 0 2106 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 12148 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1806400/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12692 CPUtime=1361.95 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 9583059 0 0 0 131835 4360 0 0 25 0 1 0 111972299 12996608 2287 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135316298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3173 2287 394 324 0 2242 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 12692 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1806400/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12244 CPUtime=1421.94 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 10044487 0 0 0 137628 4566 0 0 25 0 1 0 111972299 12537856 2254 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3061 2254 394 324 0 2130 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 12244 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21753 /proc/meminfo: memFree=1806528/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12132 CPUtime=1481.93 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 10475328 0 0 0 143440 4753 0 0 25 0 1 0 111972299 12423168 2226 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3033 2229 394 324 0 2102 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 12132 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 21917 /proc/meminfo: memFree=1805120/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12128 CPUtime=1541.82 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 10897080 0 0 0 149248 4934 0 0 25 0 1 0 111972299 12419072 2227 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3032 2227 394 324 0 2101 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 12128 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21951 /proc/meminfo: memFree=1806208/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=10928 CPUtime=1601.78 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 11331856 0 0 0 155053 5125 0 0 25 0 1 0 111972299 11190272 2208 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2732 2208 394 324 0 1801 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 10928 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21951 /proc/meminfo: memFree=1806208/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12788 CPUtime=1661.76 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 11763679 0 0 0 160853 5323 0 0 25 0 1 0 111972299 13094912 2242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3197 2242 394 324 0 2266 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 12788 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21951 /proc/meminfo: memFree=1806208/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12752 CPUtime=1721.75 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 12179478 0 0 0 166661 5514 0 0 25 0 1 0 111972299 13058048 2254 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3188 2254 394 324 0 2257 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 12752 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21951 /proc/meminfo: memFree=1806208/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12876 CPUtime=1781.73 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 12617230 0 0 0 172464 5709 0 0 25 0 1 0 111972299 13185024 2240 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135188320 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3219 2240 394 324 0 2288 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 12876 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21951 /proc/meminfo: memFree=1806208/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=10928 CPUtime=1791.34 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 12687211 0 0 0 173393 5741 0 0 25 0 1 0 111972299 11190272 2208 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2732 2208 394 324 0 1801 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 10928 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21951 /proc/meminfo: memFree=1806208/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=10928 CPUtime=1794.54 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 12710384 0 0 0 173701 5753 0 0 25 0 1 0 111972299 11190272 2208 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 2732 2208 394 324 0 1801 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 10928 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21951 /proc/meminfo: memFree=1806208/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12496 CPUtime=1797.73 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 12732205 0 0 0 174011 5762 0 0 25 0 1 0 111972299 12795904 2232 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690031 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3124 2232 394 324 0 2193 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 12496 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21951 /proc/meminfo: memFree=1806208/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12148 CPUtime=1799.33 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 12742950 0 0 0 174166 5767 0 0 25 0 1 0 111972299 12439552 2235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135265845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3037 2235 394 324 0 2106 0 Current children cumulated CPU time (s) 1799.33 Current children cumulated vsize (KiB) 12148 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21951 /proc/meminfo: memFree=1806208/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12812 CPUtime=1799.74 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 12745872 0 0 0 174205 5769 0 0 25 0 1 0 111972299 13119488 2236 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 13026885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3203 2236 394 324 0 2272 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (KiB) 12812 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21951 /proc/meminfo: memFree=1806208/2055920 swapFree=4170236/4192956 [pid=21750] ppid=21748 vsize=12720 CPUtime=1799.93 /proc/21750/stat : 21750 (bsolo3.0.16) R 21748 21750 21345 0 -1 4194304 12747093 0 0 0 174224 5769 0 0 25 0 1 0 111972299 13025280 2265 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21750/statm: 3180 2265 394 324 0 2249 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (KiB) 12720 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.01 CPU user time (s): 1742.31 CPU system time (s): 57.7022 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 13200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1742.31 system time used= 57.7022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12747396 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= 12 involuntary context switches= 3137 runsolver used 2.15467 second user time and 4.26035 second system time The end
Begin job on node26 on Sun Apr 15 12:35:55 UTC 2007 IDJOB= 352747 IDBENCH= 2018 IDSOLVER= 163 FILE ID= node26/352747-1176640555 PBS_JOBID= 4559845 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352747-1176640555/instance-352747-1176640555.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-352747-1176640555 -o ROOT/results/node26/solver-352747-1176640555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352747-1176640555/instance-352747-1176640555.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b RANDOM SEED= 506477885 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 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.213 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: 1815520 kB Buffers: 23084 kB Cached: 120516 kB SwapCached: 3008 kB Active: 95916 kB Inactive: 70956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815520 kB SwapTotal: 4192956 kB SwapFree: 4170236 kB Dirty: 4492 kB Writeback: 0 kB Mapped: 30744 kB Slab: 59164 kB Committed_AS: 263344 kB PageTables: 1716 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node26 on Sun Apr 15 13:05:56 UTC 2007