Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT (TO) | -44 | 1800.11 | 1800.59 |
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 | 1789.62 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2671125-1276719820.opb 0.00/0.00 c File size is 219296 bytes. 0.00/0.04 c Highest Coefficient sum: 400 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.037 s 0.00/0.04 c Var: 2888 Constr: 5578 2688/402/2488 Lit: 21104 Watch. Lit: 18218 0.00/0.04 c Obj. Vars: 200 (6.92521 % of total variables) 0.59/0.63 c Pre-processing Time: 0.63 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.63 0.59/0.63 c Switching off lower bounding mode. 0.59/0.63 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.66 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.67 0.59/0.68 o -5 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 4 2888 5591 23797 4 18269 37857 13 5 0.68 0.59/0.69 o -6 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 6 2888 5595 24438 4 18288 37924 17 8 0.69 0.69/0.70 o -7 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 10 2888 5601 25289 4 18313 37990 23 14 0.70 0.69/0.71 o -8 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 14 2888 5607 26518 4 18340 38057 29 19 0.71 0.69/0.72 o -9 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 18 2888 5613 27768 4 18369 38124 35 24 0.72 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 23 2888 5620 29206 5 18402 38190 42 31 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 29 2888 5628 30835 5 18439 38257 50 38 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 37 2888 5638 32653 5 18482 38324 60 48 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 47 2888 5650 34671 6 18531 38390 72 60 0.77 0.69/0.78 o -14 0.69/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.80 c 59 2888 5664 37241 6 18586 38457 86 75 0.78 0.69/0.80 o -15 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 75 2888 5682 39813 7 18651 38457 104 94 0.80 0.79/0.81 o -16 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 89 2888 5698 42552 7 18714 38457 120 109 0.81 0.79/0.82 o -17 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 94 2888 5705 43631 7 18761 38457 127 114 0.82 0.79/0.83 o -18 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 100 2888 5713 44357 7 18812 38457 135 120 0.83 0.79/0.83 o -19 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 105 2888 5720 45094 7 18863 38457 142 125 0.84 0.79/0.85 o -20 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 127 2888 5744 47308 8 18950 38457 166 149 0.85 0.79/0.86 o -21 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 137 2888 5756 49479 8 19015 38457 178 159 0.86 0.79/0.87 o -22 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 147 2888 5768 51816 8 19082 38457 190 169 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 158 2888 5781 54325 9 19153 38457 203 179 0.88 0.79/0.89 o -24 0.88/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.90 c 168 2888 5793 56648 9 19224 38457 215 188 0.89 0.88/0.90 o -25 0.88/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.91 c 177 2888 5804 58792 10 19295 38457 226 196 0.90 0.88/0.91 o -26 0.88/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.92 c 187 2888 5816 61105 10 19370 38457 238 205 0.91 0.88/0.92 o -27 0.88/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.93 c 198 2888 5829 63586 10 19449 38457 251 215 0.92 0.88/0.93 o -28 0.88/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.94 c 220 2888 5853 66260 11 19552 38457 275 235 0.93 0.88/0.94 o -29 0.88/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.95 c 245 2888 5880 68096 11 19663 38457 302 258 0.95 0.88/0.95 o -30 0.88/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.96 c 246 2888 5883 68848 11 19728 38457 305 258 0.95 0.88/0.96 o -31 0.88/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.97 c 253 2888 5892 69623 11 19807 38457 314 263 0.96 0.88/0.97 o -32 0.88/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.97 c 258 2888 5899 70393 11 19884 38457 321 267 0.97 0.88/0.97 o -33 0.88/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.98 c 268 2888 5911 71180 12 19973 38457 333 275 0.97 0.88/0.98 o -34 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 286 2888 5931 71996 12 20080 38457 353 290 0.98 0.99/1.06 c 386 2888 6031 88015 14 20280 42303 453 371 1.04 0.99/1.06 o -35 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 419 2888 6066 91316 15 20419 38457 488 396 1.06 0.99/1.06 o -36 2.39/2.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.40 c 425 2888 6074 92413 15 20506 38457 496 399 1.06 2.39/2.40 c 526 2888 6176 102834 16 20746 42303 598 476 1.10 2.39/2.40 c 776 2888 6428 152442 23 21250 46534 850 626 1.24 2.39/2.40 c 1251 2888 6905 245860 35 22204 51188 1327 835 1.50 2.39/2.40 c 2064 2888 7721 392632 50 23836 56307 2143 993 2.08 2.39/2.40 o -37 2.39/2.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.42 c 2469 2888 8131 457496 56 24693 38457 2553 1027 2.40 2.39/2.42 o -38 2.39/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.43 c 2488 2888 8152 460227 56 24810 38457 2574 1027 2.42 2.39/2.43 o -39 2.39/2.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.44 c 2501 2888 8167 461012 56 24917 38457 2589 1027 2.43 2.39/2.44 o -40 72.36/72.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.36/72.48 c 2513 2888 8181 461797 56 25024 38457 2603 1027 2.45 72.36/72.48 c 2613 2888 8282 469199 56 25266 42303 2704 1054 2.48 72.36/72.48 c 2863 2888 8533 518786 60 25768 46534 2955 1098 2.61 72.36/72.48 c 3338 2888 9012 611797 67 26726 51188 3434 1169 2.85 72.36/72.48 c 4151 2888 9826 771234 78 28354 56307 4248 1248 3.32 72.36/72.48 c 5471 2888 11148 1031871 92 30998 61938 5570 1315 4.16 72.36/72.48 c 7552 2888 13235 1439919 108 35172 68132 7657 1340 5.63 72.36/72.48 c 10775 2888 16466 1957213 118 41761 74946 10888 1338 8.05 72.36/72.48 c 15711 2888 21510 2860708 132 51947 82441 15932 1027 15.28 72.36/72.48 c 23217 2888 29361 4485780 152 68462 90686 23783 747 31.08 72.36/72.48 c 34579 2888 41146 7101461 172 93008 99755 35568 501 68.91 72.36/72.48 o -41 72.46/72.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.46/72.51 c 37435 2888 44015 7646597 173 98787 38457 38437 516 72.46 72.46/72.51 o -42 72.46/72.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.46/72.53 c 37443 2888 44025 7647680 173 98890 38457 38447 516 72.48 72.46/72.53 o -43 72.46/72.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.46/72.55 c 37447 2888 44031 7648905 173 98987 38457 38453 516 72.50 72.46/72.55 o -44 1800.02/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.50 c 37463 2888 17937 2639107 147 43806 38457 12359 496 75.49 1800.02/1800.50 c 37564 2888 18039 2642992 146 44053 42303 12461 497 75.56 1800.02/1800.50 c 37814 2888 18291 2692785 147 44557 46534 12713 499 75.71 1800.02/1800.50 c 38289 2888 18772 2786170 148 45519 51188 13194 503 75.99 1800.02/1800.50 c 39102 2888 19586 2946194 150 47147 56307 14008 511 76.49 1800.02/1800.50 c 40422 2888 20908 3205581 153 49791 61938 15330 521 77.45 1800.02/1800.50 c 42503 2888 22990 3614171 157 53955 68132 17412 537 79.04 1800.02/1800.50 c 45726 2888 26268 4209820 160 62121 74946 20690 535 85.35 1800.02/1800.50 c 50663 2888 31361 5117390 163 72504 82441 25783 534 94.75 1800.02/1800.50 c 58169 2888 39082 6551876 167 87946 90686 33504 519 111.94 1800.02/1800.50 c 69530 2888 50787 8674173 170 112002 99755 45209 496 139.97 1800.02/1800.50 c 86674 2888 68504 11975847 174 147793 109731 62926 463 187.00 1800.02/1800.50 c 112493 2888 95179 17092310 179 201635 120705 89601 401 280.09 1800.02/1800.50 c 151325 2888 26195 3884880 148 59938 132776 20617 314 481.42 1800.02/1800.50 c 209677 2888 86629 15983374 184 183137 146054 81051 317 660.14 1800.02/1800.50 c 297309 2888 43240 7502928 173 95620 160660 37662 254 1170.09 1800.02/1800.50 c Caught signal: 15 1800.02/1800.50 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 1800.02/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.50 c 74 418819 138753 759143 81519 14983161 75941 232 1800.03 1800.02/1800.50 c Objective: -44 1800.02/1800.50 s SATISFIABLE 1800.02/1800.50 c Total time: 1800.03 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-2671125-1276719820/watcher-2671125-1276719820 -o /tmp/evaluation-result-2671125-1276719820/solver-2671125-1276719820 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671125-1276719820.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.08 1.02 1.01 2/106 20181 /proc/meminfo: memFree=1740112/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=11008 CPUtime=0 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 323 0 0 0 0 0 0 0 19 0 1 0 13277044 11272192 241 1992294400 134512640 137138936 4288565440 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 2752 242 170 642 0 2054 0 [startup+0.06333 s] /proc/loadavg: 1.08 1.02 1.01 2/106 20181 /proc/meminfo: memFree=1740112/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=12156 CPUtime=0.05 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 739 0 0 0 5 0 0 0 19 0 1 0 13277044 12447744 603 1992294400 134512640 137138936 4288565440 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 3039 603 184 642 0 2395 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12156 [startup+0.101334 s] /proc/loadavg: 1.08 1.02 1.01 2/106 20181 /proc/meminfo: memFree=1740112/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=12156 CPUtime=0.09 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 739 0 0 0 9 0 0 0 19 0 1 0 13277044 12447744 603 1992294400 134512640 137138936 4288565440 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 3039 603 184 642 0 2395 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12156 [startup+0.301355 s] /proc/loadavg: 1.08 1.02 1.01 2/106 20181 /proc/meminfo: memFree=1740112/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=12156 CPUtime=0.29 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 739 0 0 0 29 0 0 0 20 0 1 0 13277044 12447744 603 1992294400 134512640 137138936 4288565440 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 3039 603 184 642 0 2395 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12156 [startup+0.701398 s] /proc/loadavg: 1.08 1.02 1.01 2/106 20181 /proc/meminfo: memFree=1740112/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=12532 CPUtime=0.69 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 888 0 0 0 69 0 0 0 20 0 1 0 13277044 12832768 691 1992294400 134512640 137138936 4288565440 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 3133 691 192 642 0 2489 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12532 [startup+1.50148 s] /proc/loadavg: 1.08 1.02 1.01 2/107 20182 /proc/meminfo: memFree=1737996/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=15276 CPUtime=1.49 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 1588 0 0 0 148 1 0 0 22 0 1 0 13277044 15642624 1391 1992294400 134512640 137138936 4288565440 18446744073709551615 134551591 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 3819 1391 192 642 0 3175 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15276 [startup+3.10066 s] /proc/loadavg: 1.08 1.02 1.01 2/107 20182 /proc/meminfo: memFree=1733532/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=21280 CPUtime=3.09 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 3092 0 0 0 306 3 0 0 25 0 1 0 13277044 21790720 2895 1992294400 134512640 137138936 4288565440 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 5320 2895 192 642 0 4676 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21280 [startup+6.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 20182 /proc/meminfo: memFree=1720264/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=33416 CPUtime=6.29 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 6117 0 0 0 623 6 0 0 25 0 1 0 13277044 34217984 5920 1992294400 134512640 137138936 4288565440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 8354 5920 192 642 0 7710 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33416 [startup+12.7007 s] /proc/loadavg: 1.07 1.02 1.00 2/107 20184 /proc/meminfo: memFree=1705764/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=46012 CPUtime=12.68 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 9263 0 0 0 1259 9 0 0 25 0 1 0 13277044 47116288 9066 1992294400 134512640 137138936 4288565440 18446744073709551615 134601120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 11503 9066 192 642 0 10859 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46012 [startup+25.5011 s] /proc/loadavg: 1.05 1.01 1.00 2/107 20184 /proc/meminfo: memFree=1686668/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=64408 CPUtime=25.48 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 13866 0 0 0 2534 14 0 0 25 0 1 0 13277044 65953792 13669 1992294400 134512640 137138936 4288565440 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 16102 13669 192 642 0 15458 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64408 [startup+51.1008 s] /proc/loadavg: 1.03 1.01 1.00 2/107 20184 /proc/meminfo: memFree=1660504/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=90680 CPUtime=51.06 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 20439 0 0 0 5084 22 0 0 25 0 1 0 13277044 92856320 20242 1992294400 134512640 137138936 4288565440 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 22670 20242 192 642 0 22026 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 90680 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 20186 /proc/meminfo: memFree=1636572/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=113764 CPUtime=102.26 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 26251 0 0 0 10191 35 0 0 25 0 1 0 13277044 116494336 26016 1992294400 134512640 137138936 4288565440 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 28441 26016 192 642 0 27797 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 113764 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20188 /proc/meminfo: memFree=1602348/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=148708 CPUtime=162.24 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 34972 0 0 0 16171 53 0 0 25 0 1 0 13277044 152276992 34737 1992294400 134512640 137138936 4288565440 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 37177 34737 192 642 0 36533 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 148708 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20188 /proc/meminfo: memFree=1548904/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=201440 CPUtime=222.22 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 48166 0 0 0 22148 74 0 0 25 0 1 0 13277044 206274560 47931 1992294400 134512640 137138936 4288565440 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 50360 47931 192 642 0 49716 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 201440 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20190 /proc/meminfo: memFree=1509720/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=240920 CPUtime=282.21 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 58036 0 0 0 28128 93 0 0 25 0 1 0 13277044 246702080 57801 1992294400 134512640 137138936 4288565440 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 60230 57801 192 642 0 59586 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 240920 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20192 /proc/meminfo: memFree=1470784/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=279496 CPUtime=342.19 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 67681 0 0 0 34108 111 0 0 25 0 1 0 13277044 286203904 67446 1992294400 134512640 137138936 4288565440 18446744073709551615 136297617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 69874 67446 192 642 0 69230 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 279496 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20194 /proc/meminfo: memFree=1434948/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=315720 CPUtime=402.18 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 76710 0 0 0 40092 126 0 0 25 0 1 0 13277044 323297280 76475 1992294400 134512640 137138936 4288565440 18446744073709551615 136511075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 78930 76475 192 642 0 78286 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 315720 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20196 /proc/meminfo: memFree=1426516/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=322916 CPUtime=462.16 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 78635 0 0 0 46086 130 0 0 25 0 1 0 13277044 330665984 78279 1992294400 134512640 137138936 4288565440 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 80729 78279 192 642 0 80085 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 322916 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20199 /proc/meminfo: memFree=1425772/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=322916 CPUtime=522.14 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 78635 0 0 0 52075 139 0 0 25 0 1 0 13277044 330665984 78279 1992294400 134512640 137138936 4288565440 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 80729 78279 192 642 0 80085 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 322916 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20201 /proc/meminfo: memFree=1425772/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=322916 CPUtime=582.13 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 78635 0 0 0 58064 149 0 0 25 0 1 0 13277044 330665984 78279 1992294400 134512640 137138936 4288565440 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 80729 78279 192 642 0 80085 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 322916 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20203 /proc/meminfo: memFree=1425772/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=322916 CPUtime=642.12 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 78635 0 0 0 64056 156 0 0 25 0 1 0 13277044 330665984 78279 1992294400 134512640 137138936 4288565440 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 80729 78279 192 642 0 80085 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 322916 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20209 /proc/meminfo: memFree=1406800/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=342552 CPUtime=882.05 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 83548 0 0 0 88014 191 0 0 25 0 1 0 13277044 350773248 83192 1992294400 134512640 137138936 4288565440 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 85638 83192 192 642 0 84994 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 342552 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20211 /proc/meminfo: memFree=1375800/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=373936 CPUtime=942.04 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 91396 0 0 0 94000 204 0 0 25 0 1 0 13277044 382910464 91040 1992294400 134512640 137138936 4288565440 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 93484 91040 192 642 0 92840 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 373936 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20213 /proc/meminfo: memFree=1350752/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1002.02 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 99990 212 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 397848 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20215 /proc/meminfo: memFree=1350752/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1062 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 105988 212 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 397848 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20215 /proc/meminfo: memFree=1350628/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1121.98 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 111985 213 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134603296 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 397848 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20217 /proc/meminfo: memFree=1350628/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1181.97 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 117976 221 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 397848 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20219 /proc/meminfo: memFree=1350628/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1241.96 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 123964 232 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 397848 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20221 /proc/meminfo: memFree=1350504/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1301.95 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 129955 240 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 397848 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20223 /proc/meminfo: memFree=1350504/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1361.93 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 135945 248 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134542434 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 397848 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20223 /proc/meminfo: memFree=1350504/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1421.91 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 141937 254 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 397848 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20225 /proc/meminfo: memFree=1350504/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1481.9 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 147927 263 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 397848 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20227 /proc/meminfo: memFree=1350380/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1541.88 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 153915 273 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 397848 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20229 /proc/meminfo: memFree=1350380/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=397848 CPUtime=1601.87 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 97538 0 0 0 159907 280 0 0 25 0 1 0 13277044 407396352 97036 1992294400 134512640 137138936 4288565440 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 99462 97036 192 642 0 98818 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 397848 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20231 /proc/meminfo: memFree=1338600/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=410352 CPUtime=1661.84 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 100639 0 0 0 165896 288 0 0 25 0 1 0 13277044 420200448 100137 1992294400 134512640 137138936 4288565440 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 102588 100137 192 642 0 101944 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 410352 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20231 /proc/meminfo: memFree=1312436/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=435688 CPUtime=1721.83 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 107147 0 0 0 171884 299 0 0 25 0 1 0 13277044 446144512 106485 1992294400 134512640 137138936 4288565440 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 108922 106485 192 642 0 108278 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 435688 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20233 /proc/meminfo: memFree=1312188/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=435688 CPUtime=1781.82 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 107147 0 0 0 177883 299 0 0 25 0 1 0 13277044 446144512 106485 1992294400 134512640 137138936 4288565440 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 108922 106485 192 642 0 108278 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 435688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20233 /proc/meminfo: memFree=1312312/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=435688 CPUtime=1800.02 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 107147 0 0 0 179703 299 0 0 25 0 1 0 13277044 446144512 106485 1992294400 134512640 137138936 4288565440 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 108922 106485 192 642 0 108278 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 435688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20233 /proc/meminfo: memFree=1312312/2059040 swapFree=4152912/4192956 [pid=20181] ppid=20179 vsize=435688 CPUtime=1800.02 /proc/20181/stat : 20181 (bsolo_pb10) R 20179 20181 19751 0 -1 4202496 107147 0 0 0 179703 299 0 0 25 0 1 0 13277044 446144512 106485 1992294400 134512640 137138936 4288565440 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20181/statm: 108922 106485 192 642 0 108278 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 435688 Child status: 15 Real time (s): 1800.59 CPU time (s): 1800.11 CPU user time (s): 1797.07 CPU system time (s): 3.03554 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 436328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.07 system time used= 3.03554 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107148 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2485 runsolver used 2.86256 second user time and 8.61869 second system time The end
Begin job on node035 at 2010-06-16 22:23:40 IDJOB=2671125 IDBENCH=48279 IDSOLVER=1162 FILE ID=node035/2671125-1276719820 PBS_JOBID= 11174185 Free space on /tmp= 62460 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671125-1276719820/watcher-2671125-1276719820 -o /tmp/evaluation-result-2671125-1276719820/solver-2671125-1276719820 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671125-1276719820.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3 RANDOM SEED=1851102489 node035.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1741268 kB Buffers: 92588 kB Cached: 124008 kB SwapCached: 2400 kB Active: 96884 kB Inactive: 141896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1741268 kB SwapTotal: 4192956 kB SwapFree: 4152912 kB Dirty: 3932 kB Writeback: 0 kB AnonPages: 20072 kB Mapped: 13884 kB Slab: 57140 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181436 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671125-1276719820.opb Free space on /tmp at the end= 62456 MiB End job on node035 at 2010-06-16 22:53:43