Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -43 | 1798.07 | 1798.83 |
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 | -53 |
Best CPU time to get the best result obtained on this benchmark | 1794.89 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876830-1245207183.opb 0.00/0.00 c File size is 222240 bytes. 0.01/0.03 c Highest Coefficient sum: 400 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.03 s 0.01/0.03 c Var: 2924 Constr: 5650 2724/402/2524 Lit: 21392 Watch. Lit: 18470 0.01/0.03 c Obj. Vars: 200 (6.83995 % of total variables) 0.59/0.63 c Pre-processing Time: 0.637 s 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 2924 5650 21392 3 18470 38418 0 0 0.64 0.59/0.63 c Switching off lower bounding mode. 0.59/0.64 o -1 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 2924 5651 21592 3 18473 38552 1 0 0.64 0.59/0.65 o -2 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 1 2924 5654 22192 3 18482 38618 4 1 0.65 0.59/0.65 o -3 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 2 2924 5657 22805 4 18493 38685 7 3 0.66 0.59/0.66 o -4 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 3 2924 5660 23418 4 18506 38752 10 4 0.66 0.59/0.67 o -5 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 4 2924 5663 24050 4 18521 38818 13 5 0.67 0.59/0.68 o -6 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 5 2924 5666 24682 4 18538 38885 16 7 0.68 0.59/0.68 o -7 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 7 2924 5670 25332 4 18559 38952 20 10 0.69 0.59/0.69 o -8 0.70/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.70 c 11 2924 5676 25987 4 18586 39018 26 15 0.69 0.70/0.70 o -9 0.70/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.70 c 13 2924 5680 26649 4 18611 39085 30 18 0.70 0.70/0.70 o -10 0.70/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.71 c 16 2924 5685 27511 4 18640 39152 35 22 0.71 0.70/0.71 o -11 0.70/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.72 c 24 2924 5695 28574 5 18681 39218 45 33 0.72 0.70/0.72 o -12 0.70/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.73 c 40 2924 5713 30972 5 18740 39285 63 55 0.73 0.70/0.73 o -13 0.70/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.74 c 52 2924 5727 33348 5 18793 39352 77 70 0.74 0.70/0.74 o -14 0.70/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.75 c 63 2924 5740 35531 6 18846 39418 90 84 0.75 0.70/0.75 o -15 0.70/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.76 c 73 2924 5752 37721 6 18899 39418 102 96 0.76 0.70/0.76 o -16 0.70/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.77 c 83 2924 5764 40086 6 18954 39418 114 108 0.76 0.70/0.77 o -17 0.70/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.78 c 101 2924 5784 42828 7 19027 39418 134 130 0.78 0.70/0.78 o -18 0.70/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.79 c 108 2924 5793 43735 7 19080 39418 143 138 0.78 0.70/0.79 o -19 0.70/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.79 c 120 2924 5807 45907 7 19145 39418 157 151 0.79 0.70/0.79 o -20 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 128 2924 5817 47712 8 19204 39418 167 160 0.80 0.79/0.80 o -21 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 136 2924 5827 49692 8 19265 39418 177 168 0.81 0.79/0.81 o -22 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 153 2924 5846 51872 8 19346 39418 196 187 0.82 0.79/0.83 o -23 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 183 2924 5878 57598 9 19455 39418 228 220 0.83 0.79/0.84 o -24 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 204 2924 5901 58393 9 19548 39418 251 243 0.84 0.79/0.84 o -25 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 207 2924 5906 59133 10 19607 39418 256 245 0.84 0.79/0.85 o -26 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 219 2924 5920 59904 10 19686 39418 270 257 0.85 0.79/0.86 o -27 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 231 2924 5934 60677 10 19767 39418 284 268 0.86 0.79/0.86 o -28 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 234 2924 5939 61421 10 19832 39418 289 270 0.86 0.79/0.87 o -29 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 240 2924 5947 62181 10 19905 39418 297 275 0.87 0.89/0.90 o -30 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 327 2924 6036 75488 12 20142 39418 386 360 0.91 0.89/0.91 o -31 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 330 2924 6041 76241 12 20213 39418 391 361 0.91 0.89/0.91 o -32 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 333 2924 6046 76997 12 20286 39418 396 362 0.92 0.89/0.92 o -33 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 346 2924 6061 77789 12 20381 39418 411 374 0.93 0.89/0.93 o -34 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 350 2924 6067 78553 12 20460 39418 417 376 0.93 0.89/0.93 o -35 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 359 2924 6078 79336 13 20551 39418 428 383 0.94 0.89/0.94 o -36 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 361 2924 6082 80095 13 20630 39418 432 383 0.94 0.89/0.94 o -37 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 369 2924 6092 80878 13 20723 39418 442 389 0.95 0.89/0.95 o -38 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 377 2924 6102 81658 13 20818 39418 452 395 0.95 0.89/0.96 o -39 4.29/4.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.33 c 386 2924 6113 82600 13 20917 39418 463 401 0.96 4.29/4.33 c 486 2924 6214 94074 15 21158 43360 564 486 1.00 4.29/4.33 c 736 2924 6464 127841 19 21658 47697 814 675 1.09 4.29/4.33 c 1211 2924 6945 222044 31 22620 52467 1295 963 1.26 4.29/4.33 c 2024 2924 7761 382438 49 24252 57714 2111 1287 1.57 4.29/4.33 c 3344 2924 9082 642211 70 26894 63486 3432 1567 2.13 4.29/4.33 c 5425 2924 11163 1052418 94 31056 69835 5513 1738 3.12 4.29/4.33 o -40 6.99/7.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.09 c 7699 2924 13441 1445896 107 35652 39418 7791 1777 4.33 6.99/7.09 c 7799 2924 13542 1464460 108 35894 43360 7892 1751 4.45 6.99/7.09 c 8049 2924 13795 1514054 109 36400 47697 8145 1763 4.57 6.99/7.09 c 8524 2924 14276 1607462 112 37362 52467 8626 1787 4.77 6.99/7.09 c 9337 2924 15091 1767891 117 38992 57714 9441 1821 5.13 6.99/7.09 c 10657 2924 16415 2027349 123 41640 63486 10765 1849 5.76 6.99/7.09 c 12739 2924 18498 2434333 131 45806 69835 12848 1854 6.87 6.99/7.09 o -41 7.09/7.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.11 c 13063 2924 18824 2485453 132 46499 39418 13174 1840 7.10 7.09/7.11 o -42 7.09/7.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.12 c 13074 2924 18837 2487337 132 46608 39418 13187 1839 7.11 7.09/7.12 o -43 1797.92/1798.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.76 c 13081 2924 18846 2488111 132 46711 39418 13196 1837 7.12 1797.92/1798.76 c 13181 2924 18947 2491731 131 46956 43360 13297 1842 7.16 1797.92/1798.76 c 13431 2924 19200 2540940 132 47462 47697 13550 1843 7.29 1797.92/1798.76 c 13906 2924 19681 2633946 133 48424 52467 14031 1849 7.52 1797.92/1798.76 c 14719 2924 20497 2793973 136 50056 57714 14847 1858 7.92 1797.92/1798.76 c 16039 2924 21822 3054029 139 52706 63486 16172 1863 8.61 1797.92/1798.76 c 18120 2924 23906 3431496 143 56874 69835 18256 1850 9.79 1797.92/1798.76 c 21344 2924 27206 3974837 146 63494 76819 21556 1550 13.76 1797.92/1798.76 c 26280 2924 32319 4914574 152 73884 84501 26669 1270 20.68 1797.92/1798.76 c 33786 2924 40169 6371424 158 89937 92952 34519 1024 32.98 1797.92/1798.76 c 45148 2924 51861 8589364 165 113942 102248 46211 846 53.31 1797.92/1798.76 c 62292 2924 69525 11786862 169 149754 112473 63875 709 87.77 1797.92/1798.76 c 88111 2924 96328 16731829 173 203575 123721 90678 600 146.81 1797.92/1798.76 c 126943 2924 23885 3452308 144 55323 136094 18235 341 371.71 1797.92/1798.76 c 185295 2924 84430 15598423 184 179095 149704 78780 362 511.14 1797.92/1798.76 c 272927 2924 36928 6576443 178 82634 164675 31278 265 1028.12 1797.92/1798.76 c 404479 2924 19411 2408125 124 46418 181143 13761 227 1776.36 1797.92/1798.76 c Resources Exceeded 1797.92/1798.76 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.92/1798.77 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.77 c 71 415893 136585 732245 31286 4662602 25636 231 1798.00 1797.92/1798.77 c Objective: -43 1797.92/1798.77 s SATISFIABLE 1797.92/1798.77 c Total time: 1798 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-1876830-1245207183/watcher-1876830-1245207183 -o /tmp/evaluation-result-1876830-1245207183/solver-1876830-1245207183 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876830-1245207183.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/65 30926 /proc/meminfo: memFree=1817648/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=10936 CPUtime=0 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 100140125 11198464 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136509091 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 2735 245 174 640 0 2036 0 [startup+0.014932 s] /proc/loadavg: 0.92 0.98 0.99 3/65 30926 /proc/meminfo: memFree=1817648/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=11212 CPUtime=0.01 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 348 0 0 0 1 0 0 0 18 0 1 0 100140125 11481088 332 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 2803 332 193 640 0 2104 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11212 [startup+0.101942 s] /proc/loadavg: 0.92 0.98 0.99 3/65 30926 /proc/meminfo: memFree=1817648/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=12116 CPUtime=0.1 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 684 0 0 0 10 0 0 0 18 0 1 0 100140125 12406784 613 1992294400 134512640 137136520 4294956256 18446744073709551615 136502296 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 3029 613 189 640 0 2385 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12116 [startup+0.301967 s] /proc/loadavg: 0.92 0.98 0.99 3/65 30926 /proc/meminfo: memFree=1817648/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=12116 CPUtime=0.29 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 684 0 0 0 29 0 0 0 19 0 1 0 100140125 12406784 613 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 3029 613 189 640 0 2385 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12116 [startup+0.702018 s] /proc/loadavg: 0.92 0.98 0.99 3/65 30926 /proc/meminfo: memFree=1817648/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=12500 CPUtime=0.7 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 835 0 0 0 69 1 0 0 23 0 1 0 100140125 12800000 702 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 3125 702 197 640 0 2481 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 12500 [startup+1.50112 s] /proc/loadavg: 0.92 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1814888/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=16588 CPUtime=1.49 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 1868 0 0 0 147 2 0 0 25 0 1 0 100140125 16986112 1735 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 4147 1735 197 640 0 3503 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16588 [startup+3.10132 s] /proc/loadavg: 0.93 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1807656/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=25908 CPUtime=3.09 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 4189 0 0 0 305 4 0 0 25 0 1 0 100140125 26529792 4056 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 6477 4056 197 640 0 5833 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25908 [startup+6.30172 s] /proc/loadavg: 0.93 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1790768/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=41724 CPUtime=6.29 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 8153 0 0 0 622 7 0 0 25 0 1 0 100140125 42725376 8020 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 10431 8020 197 640 0 9787 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41724 [startup+12.7015 s] /proc/loadavg: 0.94 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1765880/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=63068 CPUtime=12.68 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 13486 0 0 0 1257 11 0 0 25 0 1 0 100140125 64581632 13353 1992294400 134512640 137136520 4294956256 18446744073709551615 134543787 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 15767 13353 198 640 0 15123 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 63068 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1743608/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=84772 CPUtime=25.48 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 18909 0 0 0 2532 16 0 0 25 0 1 0 100140125 86806528 18776 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 21193 18776 198 640 0 20549 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 84772 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1704888/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=123864 CPUtime=51.07 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 28693 0 0 0 5081 26 0 0 25 0 1 0 100140125 126836736 28560 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 30966 28560 198 640 0 30322 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 123864 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1641464/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=186248 CPUtime=102.25 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 44279 0 0 0 10181 44 0 0 25 0 1 0 100140125 190717952 44146 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 46562 44146 198 640 0 45918 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 186248 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1580344/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=247688 CPUtime=162.23 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 59628 0 0 0 16159 64 0 0 25 0 1 0 100140125 253632512 59495 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 61922 59495 198 640 0 61278 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 247688 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1531576/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=295940 CPUtime=222.19 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 71693 0 0 0 22139 80 0 0 25 0 1 0 100140125 303042560 71560 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 73985 71560 198 640 0 73341 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 295940 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1502904/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=324096 CPUtime=282.17 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 78874 0 0 0 28126 91 0 0 25 0 1 0 100140125 331874304 78617 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 81024 78617 198 640 0 80380 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 324096 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1502968/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=324096 CPUtime=342.15 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 78874 0 0 0 34124 91 0 0 25 0 1 0 100140125 331874304 78617 1992294400 134512640 137136520 4294956256 18446744073709551615 134540850 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 81024 78617 198 640 0 80380 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 324096 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1502968/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=324096 CPUtime=402.14 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 78874 0 0 0 40118 96 0 0 25 0 1 0 100140125 331874304 78617 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 81024 78617 198 640 0 80380 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 324096 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30927 /proc/meminfo: memFree=1503032/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=324096 CPUtime=462.1 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 78874 0 0 0 46108 102 0 0 25 0 1 0 100140125 331874304 78617 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 81024 78617 198 640 0 80380 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 324096 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1502904/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=324096 CPUtime=522.03 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 78874 0 0 0 52094 109 0 0 25 0 1 0 100140125 331874304 78617 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 81024 78617 198 640 0 80380 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 324096 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1502904/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=324096 CPUtime=582.01 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 78874 0 0 0 58085 116 0 0 25 0 1 0 100140125 331874304 78617 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 81024 78617 198 640 0 80380 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 324096 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1502904/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=324096 CPUtime=641.99 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 78874 0 0 0 64079 120 0 0 25 0 1 0 100140125 331874304 78617 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 81024 78617 198 640 0 80380 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 324096 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1418168/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=408560 CPUtime=1121.79 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 100138 0 0 0 112017 162 0 0 25 0 1 0 100140125 418365440 99732 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 102140 99732 198 640 0 101496 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 408560 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1418168/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=408560 CPUtime=1181.78 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 100138 0 0 0 118009 169 0 0 25 0 1 0 100140125 418365440 99732 1992294400 134512640 137136520 4294956256 18446744073709551615 134544029 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 102140 99732 198 640 0 101496 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 408560 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1418040/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=408560 CPUtime=1241.74 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 100138 0 0 0 124001 173 0 0 25 0 1 0 100140125 418365440 99732 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 102140 99732 198 640 0 101496 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 408560 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1417976/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=408560 CPUtime=1301.73 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 100138 0 0 0 129993 180 0 0 25 0 1 0 100140125 418365440 99732 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 102140 99732 198 640 0 101496 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 408560 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1418040/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=408560 CPUtime=1361.7 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 100138 0 0 0 135984 186 0 0 25 0 1 0 100140125 418365440 99732 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 102140 99732 198 640 0 101496 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 408560 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1404344/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=422500 CPUtime=1421.69 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 103619 0 0 0 141974 195 0 0 25 0 1 0 100140125 432640000 103213 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 105625 103213 198 640 0 104981 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 422500 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381560/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1481.66 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 147964 202 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 444976 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381560/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1541.61 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 153959 202 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 444976 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381560/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1601.59 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 159957 202 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 444976 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381496/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1661.57 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 165955 202 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 444976 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381496/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1721.55 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 171953 202 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 444976 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381368/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1781.53 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 177950 203 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 444976 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381368/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1791.13 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 178909 204 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1791.13 Current children cumulated vsize (KiB) 444976 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381368/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1794.33 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 179228 205 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134574336 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1794.33 Current children cumulated vsize (KiB) 444976 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381368/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1795.93 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 179388 205 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1795.93 Current children cumulated vsize (KiB) 444976 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381368/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1796.73 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 179468 205 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 444976 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381368/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1797.53 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 179548 205 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 444976 [startup+1798.7 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381368/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=444976 CPUtime=1797.92 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194304 109403 0 0 0 179587 205 0 0 25 0 1 0 100140125 455655424 108834 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 111244 108834 198 640 0 110600 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 444976 [startup+1798.8 s] /proc/loadavg: 0.99 0.98 0.99 2/66 30933 /proc/meminfo: memFree=1381368/2055920 swapFree=4192812/4192956 [pid=30926] ppid=30924 vsize=0 CPUtime=1798.02 /proc/30926/stat : 30926 (bsolo) R 30924 30926 30881 0 -1 4194308 109405 0 0 0 179594 208 0 0 25 0 1 0 100140125 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30926/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.83 CPU time (s): 1798.07 CPU user time (s): 1795.95 CPU system time (s): 2.11868 CPU usage (%): 99.9573 Max. virtual memory (cumulated for all children) (KiB): 445628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.95 system time used= 2.11868 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 109405 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5077 runsolver used 2.11268 second user time and 3.9694 second system time The end
Begin job on node92 at 2009-06-17 04:53:03 IDJOB=1876830 IDBENCH=48240 IDSOLVER=699 FILE ID=node92/1876830-1245207183 PBS_JOBID= 9368404 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876830-1245207183/watcher-1876830-1245207183 -o /tmp/evaluation-result-1876830-1245207183/solver-1876830-1245207183 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876830-1245207183.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42 RANDOM SEED=1498955254 node92.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.233 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.233 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1818384 kB Buffers: 37484 kB Cached: 128500 kB SwapCached: 140 kB Active: 46720 kB Inactive: 133168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1818384 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4144 kB Writeback: 0 kB Mapped: 23492 kB Slab: 43532 kB Committed_AS: 104568 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876830-1245207183.opb Free space on /tmp at the end= 66468 MiB End job on node92 at 2009-06-17 05:23:02