Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -44 | 1798.12 | 1798.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_3.opb |
MD5SUM | 27440fbcb5a9ea2c9ae6b100e77dc1d3 |
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 | -51 |
Best CPU time to get the best result obtained on this benchmark | 1796.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -60 |
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) | 4976 |
Sum of products size (including duplicates) | 9952 |
Number of different products | 2488 |
Sum of products size | 4976 |
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: Generic Pseudo-Boolean 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-1879729-1245247635.opb 0.00/0.00 c File size is 219296 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.031 s 0.00/0.03 c Var: 2888 Constr: 5578 2688/402/2488 Lit: 21104 Watch. Lit: 18218 0.00/0.03 c Obj. Vars: 200 (6.92521 % 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 2888 5578 21104 3 18218 37457 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 2888 5579 21304 3 18221 37590 1 0 0.64 0.59/0.65 o -2 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 1 2888 5582 21904 3 18230 37657 4 1 0.65 0.59/0.66 o -3 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 2 2888 5585 22531 4 18241 37724 7 3 0.67 0.59/0.67 o -4 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 3 2888 5588 23158 4 18254 37790 10 4 0.68 0.59/0.68 o -5 0.59/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.70 c 4 2888 5591 23797 4 18269 37857 13 5 0.69 0.59/0.70 o -6 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 6 2888 5596 24454 4 18303 37924 18 8 0.70 0.69/0.71 o -7 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 9 2888 5603 25522 4 18354 37990 25 12 0.71 0.69/0.72 o -8 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 11 2888 5608 26565 4 18396 38057 30 15 0.72 0.69/0.73 o -9 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 13 2888 5613 27622 4 18441 38124 35 17 0.73 0.69/0.74 o -10 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 17 2888 5622 29491 5 18534 38190 44 22 0.74 0.69/0.75 o -11 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 21 2888 5631 30984 5 18623 38257 53 27 0.75 0.69/0.76 o -12 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 27 2888 5644 32520 5 18749 38324 66 35 0.76 0.69/0.77 o -13 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 30 2888 5651 34000 6 18832 38390 73 38 0.77 0.69/0.78 o -14 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 34 2888 5660 35504 6 18936 38457 82 43 0.78 0.69/0.79 o -15 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 41 2888 5675 37047 6 19080 38457 97 51 0.79 0.79/0.80 o -16 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 48 2888 5690 38603 6 19235 38457 112 59 0.80 0.79/0.81 o -17 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 59 2888 5713 40973 7 19482 38457 135 72 0.82 0.79/0.82 o -18 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 69 2888 5734 43329 7 19722 38457 156 83 0.83 0.79/0.83 o -19 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 77 2888 5751 45656 7 19948 38457 173 91 0.84 0.79/0.84 o -20 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 86 2888 5770 47991 8 20180 38457 192 101 0.85 0.79/0.85 o -21 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 92 2888 5783 50274 8 20377 38457 205 107 0.86 0.79/0.86 o -22 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 101 2888 5802 53332 9 20670 38457 224 116 0.87 0.79/0.88 o -23 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 112 2888 5825 56064 9 20985 38457 247 127 0.88 0.79/0.89 o -24 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 123 2888 5848 58793 10 21301 38457 270 138 0.89 0.89/0.90 o -25 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 134 2888 5871 61512 10 21620 38457 293 148 0.90 0.89/0.91 o -26 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 143 2888 5890 64191 10 21910 38457 312 156 0.91 0.89/0.92 o -27 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 158 2888 5921 66973 11 22301 38457 343 170 0.93 0.89/0.93 o -28 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 169 2888 5944 69682 11 22635 38457 366 180 0.94 0.89/0.95 o -29 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 181 2888 5969 72423 12 23005 38457 391 190 0.95 0.89/0.96 o -30 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 200 2888 6008 75278 12 23485 38457 430 207 0.96 0.89/0.97 o -31 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 214 2888 6037 78036 12 23891 38457 459 219 0.97 0.89/0.98 o -32 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 223 2888 6056 80707 13 24230 38457 478 226 0.98 0.89/0.99 o -33 0.89/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/1.00 c 230 2888 6071 83340 13 24546 38457 493 231 0.99 0.89/1.00 o -34 1.00/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.01 c 238 2888 6088 85984 14 24879 38457 510 237 1.00 1.00/1.01 o -35 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 253 2888 6119 88747 14 25333 38457 541 249 1.01 1.19/1.27 c 353 2888 6319 118504 18 32350 42303 741 315 1.12 1.19/1.27 o -36 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 454 2888 6521 156761 24 40388 38457 943 355 1.28 1.49/1.53 c 554 2888 6721 192796 28 47006 42303 1143 372 1.49 1.49/1.53 o -37 1.49/1.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.59 c 579 2888 6772 197367 29 46315 38457 1194 377 1.53 1.49/1.59 o -38 1.59/1.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.67 c 615 2888 6844 209840 30 49873 38457 1266 386 1.59 1.59/1.67 o -39 1.59/1.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.69 c 668 2888 6950 223135 32 52839 38457 1372 398 1.68 1.59/1.69 o -40 4.79/4.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.84 c 678 2888 6971 226030 32 53134 38457 1393 400 1.70 4.79/4.84 c 781 2888 7177 261394 36 66372 42303 1599 429 1.82 4.79/4.84 c 1032 2888 7679 402308 52 122656 46534 2101 411 2.51 4.79/4.84 c 1509 2888 8633 575040 66 178700 51188 3055 325 4.64 4.79/4.84 o -41 6.19/6.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.22 c 1539 2888 8694 579603 66 185868 38457 3116 317 4.85 6.19/6.22 c 1641 2888 8898 629781 70 193164 42303 3320 306 5.35 6.19/6.22 o -42 24.09/24.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.09/24.14 c 1790 2888 9197 690690 75 210794 38457 3619 287 6.22 24.09/24.14 c 1891 2888 9399 749809 79 235186 42303 3821 283 6.67 24.09/24.14 c 2141 2888 9899 886834 89 293927 46534 4321 284 7.52 24.09/24.14 c 2633 2888 10883 1104017 101 378056 51188 5305 247 10.66 24.09/24.14 c 3446 2888 12504 1535308 122 509394 56307 6926 184 18.70 24.09/24.14 o -43 399.76/399.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 399.76/399.96 c 3869 2888 13350 1724429 129 530217 38457 7772 160 24.14 399.76/399.96 c 3969 2888 13550 1789752 132 545469 42303 7972 155 25.48 399.76/399.96 c 4219 2888 14048 1901513 135 554514 46534 8470 150 28.03 399.76/399.96 c 4694 2888 14998 2111698 140 593535 51188 9420 136 34.49 399.76/399.96 c 5507 2888 16620 2517368 151 670422 56307 11042 111 49.58 399.76/399.96 c 6827 2888 19255 3298391 171 823231 61938 13677 77 87.81 399.76/399.96 c 8908 2888 23404 4749024 202 1106480 68132 17826 46 191.92 399.76/399.96 c 12131 2888 29841 6296618 211 1309636 74946 24263 46 259.72 399.76/399.96 o -44 1798.03/1798.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.03/1798.62 c 16115 2888 37802 8489786 224 1736031 38457 32224 40 399.84 1798.03/1798.62 c 16215 2888 38000 8527174 224 1685931 42303 32422 40 403.32 1798.03/1798.62 c 16465 2888 38500 8633463 224 1678572 46534 32922 40 410.15 1798.03/1798.62 c 16940 2888 39449 8875082 224 1707382 51188 33871 39 428.52 1798.03/1798.62 c 17753 2888 41074 9356404 227 1793611 56307 35496 38 464.15 1798.03/1798.62 c 19073 2888 43714 10104632 231 1946277 61938 38136 35 533.20 1798.03/1798.62 c 21154 2888 47873 11167754 233 2129067 68132 42295 33 639.83 1798.03/1798.62 c 24377 2888 54317 12877101 237 2415809 74946 48739 28 854.52 1798.03/1798.62 c 29314 2888 64184 15617430 243 2967026 82441 58606 23 1253.05 1798.03/1798.62 c Resources Exceeded 1798.03/1798.62 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 -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 1798.03/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.03/1798.62 c 69 33736 6775 72605 73026 18327771 67448 18 1798.06 1798.03/1798.62 c Objective: -44 1798.03/1798.62 s SATISFIABLE 1798.03/1798.62 c Total time: 1798.06 s
OK -44
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879729-1245247635/watcher-1879729-1245247635 -o /tmp/evaluation-result-1879729-1245247635/solver-1879729-1245247635 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879729-1245247635.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 0.96 3/64 10089 /proc/meminfo: memFree=1856928/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=10924 CPUtime=0 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 192357542 11186176 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 2731 243 174 640 0 2033 0 [startup+0.039577 s] /proc/loadavg: 1.00 1.00 0.96 3/64 10089 /proc/meminfo: memFree=1856928/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=12104 CPUtime=0.03 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 675 0 0 0 3 0 0 0 18 0 1 0 192357542 12394496 605 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 3026 605 189 640 0 2382 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12104 [startup+0.101587 s] /proc/loadavg: 1.00 1.00 0.96 3/64 10089 /proc/meminfo: memFree=1856928/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=12104 CPUtime=0.09 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 192357542 12394496 609 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 3026 609 189 640 0 2382 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12104 [startup+0.301619 s] /proc/loadavg: 1.00 1.00 0.96 3/64 10089 /proc/meminfo: memFree=1856928/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=12104 CPUtime=0.29 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 679 0 0 0 29 0 0 0 19 0 1 0 192357542 12394496 609 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 3026 609 189 640 0 2382 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12104 [startup+0.701682 s] /proc/loadavg: 1.00 1.00 0.96 3/64 10089 /proc/meminfo: memFree=1856928/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=12480 CPUtime=0.69 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 828 0 0 0 69 0 0 0 22 0 1 0 192357542 12779520 697 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 3120 697 197 640 0 2476 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12480 [startup+1.50181 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10090 /proc/meminfo: memFree=1854104/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=15196 CPUtime=1.49 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 1519 0 0 0 147 2 0 0 25 0 1 0 192357542 15560704 1388 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 3799 1388 197 640 0 3155 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15196 [startup+3.10107 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10090 /proc/meminfo: memFree=1849048/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=20716 CPUtime=3.09 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 2878 0 0 0 306 3 0 0 25 0 1 0 192357542 21213184 2747 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 5179 2747 197 640 0 4535 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20716 [startup+6.30259 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10090 /proc/meminfo: memFree=1842648/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=25520 CPUtime=6.29 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 4096 0 0 0 625 4 0 0 25 0 1 0 192357542 26132480 3965 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 6380 3965 197 640 0 5736 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25520 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10090 /proc/meminfo: memFree=1830936/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=37012 CPUtime=12.69 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 6961 0 0 0 1263 6 0 0 25 0 1 0 192357542 37900288 6830 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 9253 6830 197 640 0 8609 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37012 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10090 /proc/meminfo: memFree=1819480/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=47792 CPUtime=25.48 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 9656 0 0 0 2540 8 0 0 25 0 1 0 192357542 48939008 9525 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 11948 9525 197 640 0 11304 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47792 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10090 /proc/meminfo: memFree=1806296/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=60884 CPUtime=51.07 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 12927 0 0 0 5095 12 0 0 25 0 1 0 192357542 62345216 12796 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 15221 12796 198 640 0 14577 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60884 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10090 /proc/meminfo: memFree=1788824/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=78176 CPUtime=102.26 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 17247 0 0 0 10211 15 0 0 25 0 1 0 192357542 80052224 17116 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 19544 17116 198 640 0 18900 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 78176 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10090 /proc/meminfo: memFree=1773912/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=93128 CPUtime=162.23 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 20996 0 0 0 16205 18 0 0 25 0 1 0 192357542 95363072 20865 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 23282 20865 198 640 0 22638 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 93128 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10090 /proc/meminfo: memFree=1754136/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=112744 CPUtime=222.22 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 25889 0 0 0 22200 22 0 0 25 0 1 0 192357542 115449856 25758 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 28186 25758 198 640 0 27542 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 112744 [startup+282.302 s] /proc/loadavg: 1.05 1.01 0.97 2/65 10090 /proc/meminfo: memFree=1735576/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=131392 CPUtime=282.2 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 30564 0 0 0 28194 26 0 0 25 0 1 0 192357542 134545408 30433 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 32848 30433 198 640 0 32204 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 131392 [startup+342.301 s] /proc/loadavg: 1.14 1.05 0.98 2/65 10090 /proc/meminfo: memFree=1717912/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=148908 CPUtime=342.18 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 34926 0 0 0 34188 30 0 0 25 0 1 0 192357542 152481792 34795 1992294400 134512640 137136520 4294956256 18446744073709551615 136509008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 37227 34795 198 640 0 36583 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 148908 [startup+402.303 s] /proc/loadavg: 1.05 1.04 0.98 2/65 10090 /proc/meminfo: memFree=1703896/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=162788 CPUtime=402.16 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 38416 0 0 0 40183 33 0 0 25 0 1 0 192357542 166694912 38285 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 40697 38285 198 640 0 40053 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 162788 [startup+462.302 s] /proc/loadavg: 1.02 1.03 0.98 2/65 10090 /proc/meminfo: memFree=1691288/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=175428 CPUtime=462.14 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 41569 0 0 0 46178 36 0 0 25 0 1 0 192357542 179638272 41438 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 43857 41438 198 640 0 43213 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 175428 [startup+522.301 s] /proc/loadavg: 1.00 1.02 0.98 2/65 10090 /proc/meminfo: memFree=1679640/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=187292 CPUtime=522.12 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 44522 0 0 0 52174 38 0 0 25 0 1 0 192357542 191787008 44391 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 46823 44391 198 640 0 46179 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 187292 [startup+582.302 s] /proc/loadavg: 1.00 1.02 0.98 2/65 10090 /proc/meminfo: memFree=1668952/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=197620 CPUtime=582.11 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 47114 0 0 0 58171 40 0 0 25 0 1 0 192357542 202362880 46983 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 49405 46983 198 640 0 48761 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 197620 [startup+642.301 s] /proc/loadavg: 1.00 1.01 0.98 2/65 10090 /proc/meminfo: memFree=1659288/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=207164 CPUtime=642.09 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 49505 0 0 0 64167 42 0 0 25 0 1 0 192357542 212135936 49374 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 51791 49374 198 640 0 51147 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 207164 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1596056/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=270108 CPUtime=1121.94 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 65233 0 0 0 112138 56 0 0 25 0 1 0 192357542 276590592 65102 1992294400 134512640 137136520 4294956256 18446744073709551615 136509008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 67527 65102 198 640 0 66883 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 270108 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1589592/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=276580 CPUtime=1181.92 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 66848 0 0 0 118135 57 0 0 25 0 1 0 192357542 283217920 66717 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 69145 66717 198 640 0 68501 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 276580 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1583320/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=282556 CPUtime=1241.9 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 68359 0 0 0 124131 59 0 0 25 0 1 0 192357542 289337344 68228 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 70639 68228 198 640 0 69995 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 282556 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1577176/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=288796 CPUtime=1301.89 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 69893 0 0 0 130128 61 0 0 25 0 1 0 192357542 295727104 69762 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 72199 69762 198 640 0 71555 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 288796 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1569944/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=295944 CPUtime=1361.87 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 71694 0 0 0 136124 63 0 0 25 0 1 0 192357542 303046656 71563 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 73986 71563 198 640 0 73342 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 295944 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1564312/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=301528 CPUtime=1421.84 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 73089 0 0 0 142120 64 0 0 25 0 1 0 192357542 308764672 72958 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 75382 72958 198 640 0 74738 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 301528 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1559640/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=306236 CPUtime=1481.83 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 74256 0 0 0 148117 66 0 0 25 0 1 0 192357542 313585664 74125 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 76559 74125 198 640 0 75915 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 306236 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1554968/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=310800 CPUtime=1541.81 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 75415 0 0 0 154114 67 0 0 25 0 1 0 192357542 318259200 75284 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 77700 75284 198 640 0 77056 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 310800 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1549464/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=316340 CPUtime=1601.79 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 76785 0 0 0 160111 68 0 0 25 0 1 0 192357542 323932160 76654 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 79085 76654 198 640 0 78441 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 316340 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1544280/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=321492 CPUtime=1661.77 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 78078 0 0 0 166107 70 0 0 25 0 1 0 192357542 329207808 77947 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 80373 77947 198 640 0 79729 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 321492 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1540184/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=325476 CPUtime=1721.75 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 79090 0 0 0 172104 71 0 0 25 0 1 0 192357542 333287424 78959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 81369 78959 198 640 0 80725 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 325476 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1535896/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=329752 CPUtime=1781.73 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 80138 0 0 0 178101 72 0 0 25 0 1 0 192357542 337666048 80007 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 82438 80007 198 640 0 81794 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 329752 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1535000/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=330492 CPUtime=1791.33 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 80347 0 0 0 179061 72 0 0 25 0 1 0 192357542 338423808 80216 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 82623 80216 198 640 0 81979 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 330492 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1534488/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=331020 CPUtime=1794.53 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 80466 0 0 0 179381 72 0 0 25 0 1 0 192357542 338964480 80335 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 82755 80335 198 640 0 82111 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (KiB) 331020 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1534424/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=331156 CPUtime=1796.13 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 80503 0 0 0 179541 72 0 0 25 0 1 0 192357542 339103744 80372 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 82789 80372 198 640 0 82145 0 Current children cumulated CPU time (s) 1796.13 Current children cumulated vsize (KiB) 331156 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1534360/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=331288 CPUtime=1796.93 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 80533 0 0 0 179621 72 0 0 25 0 1 0 192357542 339238912 80402 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 82822 80402 198 640 0 82178 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 331288 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1534360/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=331396 CPUtime=1797.73 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 80570 0 0 0 179701 72 0 0 25 0 1 0 192357542 339349504 80439 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 82849 80439 198 640 0 82205 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 331396 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1534040/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=331528 CPUtime=1797.93 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 80588 0 0 0 179721 72 0 0 25 0 1 0 192357542 339484672 80457 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 82882 80457 198 640 0 82238 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 331528 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10090 /proc/meminfo: memFree=1534040/2055920 swapFree=4181748/4192956 [pid=10089] ppid=10087 vsize=331528 CPUtime=1798.03 /proc/10089/stat : 10089 (bsolo) R 10087 10089 9842 0 -1 4194304 80588 0 0 0 179731 72 0 0 25 0 1 0 192357542 339484672 80457 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10089/statm: 82882 80457 198 640 0 82238 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 331528 Child status: 0 Real time (s): 1798.68 CPU time (s): 1798.12 CPU user time (s): 1797.34 CPU system time (s): 0.777881 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 331528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.34 system time used= 0.777881 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80595 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= 2642 runsolver used 1.46778 second user time and 3.55146 second system time The end
Begin job on node69 at 2009-06-17 16:07:15 IDJOB=1879729 IDBENCH=48279 IDSOLVER=701 FILE ID=node69/1879729-1245247635 PBS_JOBID= 9372336 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_3.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879729-1245247635/watcher-1879729-1245247635 -o /tmp/evaluation-result-1879729-1245247635/solver-1879729-1245247635 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879729-1245247635.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3 RANDOM SEED=1947103349 node69.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.279 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.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1857472 kB Buffers: 18528 kB Cached: 106404 kB SwapCached: 5288 kB Active: 30648 kB Inactive: 102424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857472 kB SwapTotal: 4192956 kB SwapFree: 4181748 kB Dirty: 4036 kB Writeback: 0 kB Mapped: 13484 kB Slab: 51280 kB Committed_AS: 90620 kB PageTables: 1468 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-1879729-1245247635.opb Free space on /tmp at the end= 66468 MiB End job on node69 at 2009-06-17 16:37:14