Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -43 | 1798.07 | 1798.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb |
MD5SUM | 169f1f6799c5c0fd2a1b0aca08165f42 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -50 |
Best CPU time to get the best result obtained on this benchmark | 1789.6 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 5048 |
Sum of products size (including duplicates) | 10096 |
Number of different products | 2524 |
Sum of products size | 5048 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2671047-1276716519.opb 0.00/0.00 c File size is 222240 bytes. 0.00/0.03 c Highest Coefficient sum: 400 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.038 s 0.00/0.04 c Var: 2924 Constr: 5650 2724/402/2524 Lit: 21392 Watch. Lit: 18470 0.00/0.04 c Obj. Vars: 200 (6.83995 % of total variables) 0.59/0.66 c Pre-processing Time: 0.666 s 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 2924 5650 21392 3 18470 38418 0 0 0.67 0.59/0.66 c Switching off lower bounding mode. 0.59/0.67 o -1 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 2924 5651 21592 3 18473 38552 1 0 0.67 0.59/0.68 o -2 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 1 2924 5654 22192 3 18482 38618 4 1 0.68 0.59/0.69 o -3 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 2 2924 5657 22805 4 18493 38685 7 2 0.69 0.69/0.70 o -4 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 3 2924 5660 23418 4 18506 38752 10 4 0.71 0.69/0.71 o -5 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 4 2924 5663 24050 4 18521 38818 13 5 0.72 0.69/0.73 o -6 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 5 2924 5666 24682 4 18538 38885 16 6 0.73 0.69/0.74 o -7 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 7 2924 5670 25332 4 18559 38952 20 9 0.74 0.69/0.75 o -8 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 11 2924 5676 25987 4 18586 39018 26 14 0.75 0.69/0.76 o -9 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 13 2924 5680 26649 4 18611 39085 30 17 0.76 0.69/0.77 o -10 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 16 2924 5685 27511 4 18640 39152 35 20 0.77 0.69/0.78 o -11 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 24 2924 5695 28574 5 18681 39218 45 30 0.78 0.69/0.79 o -12 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 40 2924 5713 30972 5 18740 39285 63 50 0.80 0.79/0.81 o -13 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 52 2924 5727 33348 5 18793 39352 77 64 0.81 0.79/0.82 o -14 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 63 2924 5740 35531 6 18846 39418 90 76 0.82 0.79/0.83 o -15 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 73 2924 5752 37721 6 18899 39418 102 87 0.83 0.79/0.84 o -16 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 83 2924 5764 40086 6 18954 39418 114 98 0.84 0.79/0.86 o -17 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 101 2924 5784 42828 7 19027 39418 134 117 0.86 0.79/0.86 o -18 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 108 2924 5793 43735 7 19080 39418 143 124 0.87 0.79/0.88 o -19 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 120 2924 5807 45907 7 19145 39418 157 136 0.88 0.79/0.89 o -20 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 128 2924 5817 47712 8 19204 39418 167 143 0.89 0.89/0.90 o -21 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 136 2924 5827 49692 8 19265 39418 177 151 0.90 0.89/0.91 o -22 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 153 2924 5846 51872 8 19346 39418 196 167 0.91 0.89/0.93 o -23 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 183 2924 5878 57598 9 19455 39418 228 196 0.93 0.89/0.94 o -24 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 204 2924 5901 58393 9 19548 39418 251 217 0.94 0.89/0.94 o -25 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 207 2924 5906 59133 10 19607 39418 256 218 0.95 0.89/0.95 o -26 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 219 2924 5920 59904 10 19686 39418 270 229 0.95 0.89/0.96 o -27 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 231 2924 5934 60677 10 19767 39418 284 239 0.96 0.89/0.97 o -28 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 234 2924 5939 61421 10 19832 39418 289 240 0.97 0.89/0.97 o -29 1.00/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.02 c 240 2924 5947 62181 10 19905 39418 297 245 0.98 1.00/1.02 o -30 1.00/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.02 c 327 2924 6036 75488 12 20142 39418 386 320 1.02 1.00/1.02 o -31 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 330 2924 6041 76241 12 20213 39418 391 321 1.03 1.00/1.03 o -32 1.00/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.04 c 333 2924 6046 76997 12 20286 39418 396 322 1.03 1.00/1.04 o -33 1.00/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.04 c 346 2924 6061 77789 12 20381 39418 411 332 1.04 1.00/1.04 o -34 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 350 2924 6067 78553 12 20460 39418 417 333 1.05 1.00/1.05 o -35 1.00/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.06 c 359 2924 6078 79336 13 20551 39418 428 340 1.05 1.00/1.06 o -36 1.00/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.06 c 361 2924 6082 80095 13 20630 39418 432 340 1.06 1.00/1.06 o -37 1.00/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.07 c 369 2924 6092 80878 13 20723 39418 442 345 1.07 1.00/1.07 o -38 1.00/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.08 c 377 2924 6102 81658 13 20818 39418 452 351 1.07 1.00/1.08 o -39 4.99/5.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.08 c 386 2924 6113 82600 13 20917 39418 463 356 1.08 4.99/5.08 c 486 2924 6214 94074 15 21158 43360 564 431 1.13 4.99/5.08 c 736 2924 6464 127841 19 21658 47697 814 594 1.24 4.99/5.08 c 1211 2924 6945 222044 31 22620 52467 1295 848 1.43 4.99/5.08 c 2024 2924 7761 382438 49 24252 57714 2111 1129 1.79 4.99/5.08 c 3344 2924 9082 642211 70 26894 63486 3432 1366 2.45 4.99/5.08 c 5425 2924 11163 1052418 94 31056 69835 5513 1504 3.60 4.99/5.08 o -40 8.29/8.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.34 c 7699 2924 13441 1445896 107 35652 39418 7791 1514 5.08 8.29/8.34 c 7799 2924 13542 1464460 108 35894 43360 7892 1489 5.24 8.29/8.34 c 8049 2924 13795 1514054 109 36400 47697 8145 1501 5.36 8.29/8.34 c 8524 2924 14276 1607462 112 37362 52467 8626 1524 5.59 8.29/8.34 c 9337 2924 15091 1767891 117 38992 57714 9441 1553 6.01 8.29/8.34 c 10657 2924 16415 2027349 123 41640 63486 10765 1576 6.76 8.29/8.34 c 12739 2924 18498 2434333 131 45806 69835 12848 1575 8.08 8.29/8.34 o -41 8.29/8.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.36 c 13063 2924 18824 2485453 132 46499 39418 13174 1564 8.35 8.29/8.36 o -42 8.29/8.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.37 c 13074 2924 18837 2487337 132 46608 39418 13187 1563 8.36 8.29/8.37 o -43 1797.93/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.49 c 13081 2924 18846 2488111 132 46711 39418 13196 1562 8.37 1797.93/1798.49 c 13181 2924 18947 2491731 131 46956 43360 13297 1567 8.41 1797.93/1798.49 c 13431 2924 19200 2540940 132 47462 47697 13550 1569 8.56 1797.93/1798.49 c 13906 2924 19681 2633946 133 48424 52467 14031 1575 8.82 1797.93/1798.49 c 14719 2924 20497 2793973 136 50056 57714 14847 1584 9.29 1797.93/1798.49 c 16039 2924 21822 3054029 139 52706 63486 16172 1588 10.10 1797.93/1798.49 c 18120 2924 23906 3431496 143 56874 69835 18256 1574 11.51 1797.93/1798.49 c 21344 2924 27208 3975244 146 63495 76819 21558 1263 16.89 1797.93/1798.49 c 26280 2924 32323 4915747 152 73919 84501 26673 1001 26.25 1797.93/1798.49 c 33786 2924 40178 6374065 158 89991 92952 34528 790 42.76 1797.93/1798.49 c 45148 2924 51865 8590459 165 113986 102248 46215 647 69.71 1797.93/1798.49 c 62292 2924 69518 11784006 169 149580 112473 63868 545 114.21 1797.93/1798.49 c 88111 2924 96219 16850719 175 203514 123721 90569 462 190.51 1797.93/1798.49 c 126943 2924 23765 3404427 143 55108 136094 18115 304 416.80 1797.93/1798.49 c 185295 2924 84210 14801743 175 177596 149704 78560 321 575.98 1797.93/1798.49 c 272927 2924 36196 6039470 166 80738 164675 30546 264 1033.28 1797.93/1798.49 c 404479 2924 19845 2662264 134 47250 181143 14195 235 1718.31 1797.93/1798.49 c Resources Exceeded 1797.93/1798.49 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 -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 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -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 1797.93/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.49 c 71 435976 138912 753046 52682 9179000 47032 242 1798.02 1797.93/1798.49 c Objective: -43 1797.93/1798.49 s SATISFIABLE 1797.93/1798.49 c Total time: 1798.02 s
OK -43
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671047-1276716519/watcher-2671047-1276716519 -o /tmp/evaluation-result-2671047-1276716519/solver-2671047-1276716519 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671047-1276716519.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: 1.00 1.00 1.00 3/106 17380 /proc/meminfo: memFree=1835984/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=11156 CPUtime=0 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 12944713 11423744 263 1992294400 134512640 137138936 4294064368 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 2789 263 174 642 0 2090 0 [startup+0.0715011 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17380 /proc/meminfo: memFree=1835984/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=12168 CPUtime=0.06 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 748 0 0 0 6 0 0 0 20 0 1 0 12944713 12460032 611 1992294400 134512640 137138936 4294064368 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 3042 611 184 642 0 2398 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12168 [startup+0.100503 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17380 /proc/meminfo: memFree=1835984/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=12168 CPUtime=0.09 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 748 0 0 0 9 0 0 0 20 0 1 0 12944713 12460032 611 1992294400 134512640 137138936 4294064368 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 3042 611 184 642 0 2398 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12168 [startup+0.300525 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17380 /proc/meminfo: memFree=1835984/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=12168 CPUtime=0.29 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 748 0 0 0 29 0 0 0 20 0 1 0 12944713 12460032 611 1992294400 134512640 137138936 4294064368 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 3042 611 184 642 0 2398 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12168 [startup+0.700569 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17380 /proc/meminfo: memFree=1835984/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=12552 CPUtime=0.69 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 899 0 0 0 68 1 0 0 21 0 1 0 12944713 12853248 700 1992294400 134512640 137138936 4294064368 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 3138 700 192 642 0 2494 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12552 [startup+1.50066 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17381 /proc/meminfo: memFree=1833620/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=15460 CPUtime=1.49 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 1629 0 0 0 146 3 0 0 23 0 1 0 12944713 15831040 1430 1992294400 134512640 137138936 4294064368 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 3865 1430 192 642 0 3221 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15460 [startup+3.10083 s] /proc/loadavg: 1.08 1.02 1.01 2/107 17381 /proc/meminfo: memFree=1827420/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=23748 CPUtime=3.09 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 3701 0 0 0 305 4 0 0 25 0 1 0 12944713 24317952 3502 1992294400 134512640 137138936 4294064368 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 5937 3502 192 642 0 5293 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23748 [startup+6.30118 s] /proc/loadavg: 1.08 1.02 1.01 2/107 17383 /proc/meminfo: memFree=1813656/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=36972 CPUtime=6.29 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 7008 0 0 0 621 8 0 0 25 0 1 0 12944713 37859328 6809 1992294400 134512640 137138936 4294064368 18446744073709551615 134543142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 9243 6809 192 642 0 8599 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36972 [startup+12.7009 s] /proc/loadavg: 1.07 1.02 1.00 2/107 17383 /proc/meminfo: memFree=1787616/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=59448 CPUtime=12.69 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 12621 0 0 0 1254 15 0 0 25 0 1 0 12944713 60874752 12422 1992294400 134512640 137138936 4294064368 18446744073709551615 134606592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 14862 12422 192 642 0 14218 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59448 [startup+25.5013 s] /proc/loadavg: 1.06 1.01 1.00 2/107 17383 /proc/meminfo: memFree=1769636/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=76884 CPUtime=25.48 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 16975 0 0 0 2528 20 0 0 25 0 1 0 12944713 78729216 16776 1992294400 134512640 137138936 4294064368 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 19221 16776 192 642 0 18577 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76884 [startup+51.1011 s] /proc/loadavg: 1.04 1.01 1.00 2/107 17383 /proc/meminfo: memFree=1740124/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=106928 CPUtime=51.07 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 24487 0 0 0 5078 29 0 0 25 0 1 0 12944713 109494272 24288 1992294400 134512640 137138936 4294064368 18446744073709551615 136501679 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 26732 24288 192 642 0 26088 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 106928 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 17385 /proc/meminfo: memFree=1687300/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=158552 CPUtime=102.27 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 37413 0 0 0 10179 48 0 0 25 0 1 0 12944713 162357248 37214 1992294400 134512640 137138936 4294064368 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 39638 37214 192 642 0 38994 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 158552 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17387 /proc/meminfo: memFree=1632988/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=213468 CPUtime=162.24 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 51123 0 0 0 16151 73 0 0 25 0 1 0 12944713 218591232 50924 1992294400 134512640 137138936 4294064368 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 53367 50924 192 642 0 52723 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 213468 [startup+222.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 17390 /proc/meminfo: memFree=1588472/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=256660 CPUtime=222.23 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 61941 0 0 0 22130 93 0 0 25 0 1 0 12944713 262819840 61742 1992294400 134512640 137138936 4294064368 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 64165 61742 192 642 0 63521 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 256660 [startup+282.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 17392 /proc/meminfo: memFree=1551396/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=294092 CPUtime=282.21 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 71288 0 0 0 28110 111 0 0 25 0 1 0 12944713 301150208 71089 1992294400 134512640 137138936 4294064368 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 73523 71089 192 642 0 72879 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 294092 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 17394 /proc/meminfo: memFree=1519776/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=324808 CPUtime=342.2 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 79086 0 0 0 34096 124 0 0 25 0 1 0 12944713 332603392 78763 1992294400 134512640 137138936 4294064368 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 81202 78763 192 642 0 80558 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 324808 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17396 /proc/meminfo: memFree=1519776/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=324808 CPUtime=402.18 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 79086 0 0 0 40094 124 0 0 25 0 1 0 12944713 332603392 78763 1992294400 134512640 137138936 4294064368 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 81202 78763 192 642 0 80558 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 324808 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17398 /proc/meminfo: memFree=1519776/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=324808 CPUtime=462.17 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 79086 0 0 0 46084 133 0 0 25 0 1 0 12944713 332603392 78763 1992294400 134512640 137138936 4294064368 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 81202 78763 192 642 0 80558 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 324808 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17398 /proc/meminfo: memFree=1519776/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=324808 CPUtime=522.16 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 79086 0 0 0 52072 144 0 0 25 0 1 0 12944713 332603392 78763 1992294400 134512640 137138936 4294064368 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 81202 78763 192 642 0 80558 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 324808 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17400 /proc/meminfo: memFree=1519776/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=324808 CPUtime=582.14 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 79086 0 0 0 58059 155 0 0 25 0 1 0 12944713 332603392 78763 1992294400 134512640 137138936 4294064368 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 81202 78763 192 642 0 80558 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 324808 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17402 /proc/meminfo: memFree=1519776/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=324808 CPUtime=642.13 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 79086 0 0 0 64049 164 0 0 25 0 1 0 12944713 332603392 78763 1992294400 134512640 137138936 4294064368 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 81202 78763 192 642 0 80558 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 324808 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1449964/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=394508 CPUtime=1062.01 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 96647 0 0 0 105985 216 0 0 25 0 1 0 12944713 403976192 96175 1992294400 134512640 137138936 4294064368 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 98627 96175 192 642 0 97983 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 394508 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17414 /proc/meminfo: memFree=1449840/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=394508 CPUtime=1122 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 96647 0 0 0 111974 226 0 0 25 0 1 0 12944713 403976192 96175 1992294400 134512640 137138936 4294064368 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 98627 96175 192 642 0 97983 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 394508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17416 /proc/meminfo: memFree=1449716/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=394508 CPUtime=1181.98 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 96647 0 0 0 117963 235 0 0 25 0 1 0 12944713 403976192 96175 1992294400 134512640 137138936 4294064368 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 98627 96175 192 642 0 97983 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 394508 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17418 /proc/meminfo: memFree=1449716/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=394508 CPUtime=1241.96 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 96647 0 0 0 123950 246 0 0 25 0 1 0 12944713 403976192 96175 1992294400 134512640 137138936 4294064368 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 98627 96175 192 642 0 97983 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 394508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17420 /proc/meminfo: memFree=1449592/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=394508 CPUtime=1301.96 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 96647 0 0 0 129942 254 0 0 25 0 1 0 12944713 403976192 96175 1992294400 134512640 137138936 4294064368 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 98627 96175 192 642 0 97983 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 394508 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17422 /proc/meminfo: memFree=1449592/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=394508 CPUtime=1361.94 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 96647 0 0 0 135932 262 0 0 25 0 1 0 12944713 403976192 96175 1992294400 134512640 137138936 4294064368 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 98627 96175 192 642 0 97983 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 394508 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17422 /proc/meminfo: memFree=1449592/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=394508 CPUtime=1421.93 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 96647 0 0 0 141923 270 0 0 25 0 1 0 12944713 403976192 96175 1992294400 134512640 137138936 4294064368 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 98627 96175 192 642 0 97983 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 394508 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17424 /proc/meminfo: memFree=1433596/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=411476 CPUtime=1481.9 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 100889 0 0 0 147909 281 0 0 25 0 1 0 12944713 421351424 100417 1992294400 134512640 137138936 4294064368 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 102869 100417 192 642 0 102225 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 411476 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17426 /proc/meminfo: memFree=1401232/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=442852 CPUtime=1541.89 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 108905 0 0 0 153895 294 0 0 25 0 1 0 12944713 453480448 108270 1992294400 134512640 137138936 4294064368 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 110713 108270 192 642 0 110069 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 442852 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17428 /proc/meminfo: memFree=1401108/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=442852 CPUtime=1601.87 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 108905 0 0 0 159893 294 0 0 25 0 1 0 12944713 453480448 108270 1992294400 134512640 137138936 4294064368 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 110713 108270 192 642 0 110069 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 442852 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17430 /proc/meminfo: memFree=1401108/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=442852 CPUtime=1661.85 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 108905 0 0 0 165891 294 0 0 25 0 1 0 12944713 453480448 108270 1992294400 134512640 137138936 4294064368 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 110713 108270 192 642 0 110069 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 442852 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17430 /proc/meminfo: memFree=1400984/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=442852 CPUtime=1721.84 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 108905 0 0 0 171889 295 0 0 25 0 1 0 12944713 453480448 108270 1992294400 134512640 137138936 4294064368 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 110713 108270 192 642 0 110069 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 442852 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17432 /proc/meminfo: memFree=1400736/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=442852 CPUtime=1781.83 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 108905 0 0 0 177878 305 0 0 25 0 1 0 12944713 453480448 108270 1992294400 134512640 137138936 4294064368 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 110713 108270 192 642 0 110069 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 442852 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17432 /proc/meminfo: memFree=1400736/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=442852 CPUtime=1791.43 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 108905 0 0 0 178837 306 0 0 25 0 1 0 12944713 453480448 108270 1992294400 134512640 137138936 4294064368 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 110713 108270 192 642 0 110069 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 442852 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17432 /proc/meminfo: memFree=1400736/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=442852 CPUtime=1794.62 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 108905 0 0 0 179156 306 0 0 25 0 1 0 12944713 453480448 108270 1992294400 134512640 137138936 4294064368 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 110713 108270 192 642 0 110069 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 442852 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17432 /proc/meminfo: memFree=1400736/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=442852 CPUtime=1796.22 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 108905 0 0 0 179316 306 0 0 25 0 1 0 12944713 453480448 108270 1992294400 134512640 137138936 4294064368 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 110713 108270 192 642 0 110069 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 442852 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17432 /proc/meminfo: memFree=1400736/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=442852 CPUtime=1797.03 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 108905 0 0 0 179396 307 0 0 25 0 1 0 12944713 453480448 108270 1992294400 134512640 137138936 4294064368 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 110713 108270 192 642 0 110069 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 442852 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17432 /proc/meminfo: memFree=1400736/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=442852 CPUtime=1797.83 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202496 108905 0 0 0 179476 307 0 0 25 0 1 0 12944713 453480448 108270 1992294400 134512640 137138936 4294064368 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17380/statm: 110713 108270 192 642 0 110069 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 442852 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17432 /proc/meminfo: memFree=1400736/2059040 swapFree=4151640/4192956 [pid=17380] ppid=17378 vsize=0 CPUtime=1798.03 /proc/17380/stat : 17380 (bsolo_pb10) R 17378 17380 17161 0 -1 4202500 108906 0 0 0 179495 308 0 0 25 0 1 0 12944713 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/17380/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.07 CPU user time (s): 1794.95 CPU system time (s): 3.11453 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 443504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.95 system time used= 3.11453 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108906 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= 1 involuntary context switches= 7004 runsolver used 2.77358 second user time and 8.68568 second system time The end
Begin job on node037 at 2010-06-16 21:28:39 IDJOB=2671047 IDBENCH=48240 IDSOLVER=1162 FILE ID=node037/2671047-1276716519 PBS_JOBID= 11174133 Free space on /tmp= 62584 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671047-1276716519/watcher-2671047-1276716519 -o /tmp/evaluation-result-2671047-1276716519/solver-2671047-1276716519 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671047-1276716519.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42 RANDOM SEED=1495853222 node037.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.248 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.49 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.248 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.55 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1836884 kB Buffers: 25624 kB Cached: 99760 kB SwapCached: 1484 kB Active: 81652 kB Inactive: 63428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1836884 kB SwapTotal: 4192956 kB SwapFree: 4151640 kB Dirty: 3996 kB Writeback: 0 kB AnonPages: 18080 kB Mapped: 13448 kB Slab: 55300 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182228 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671047-1276716519.opb Free space on /tmp at the end= 62580 MiB End job on node037 at 2010-06-16 21:58:37