| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | -270 | 3600.08 | 3609.73 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern50-06.lin.opb |
| MD5SUM | b877664571262cc35a091b0e7e24e61f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -270 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 882 |
| Total number of constraints | 1664 |
| Number of constraints which are clauses | 832 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 832 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 882 |
| Biggest coefficient in the objective function | 34 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 13140 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 34 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 13140 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.03 c #variables 882 #constraints 1664 0.00/0.06 c bounds - >= -6570 @ 0.002885 0.00/0.06 c rational objective -3285 0.48/0.52 c bounds 0 >= -6570 @ 0.034359 0.48/0.52 c bounds 0 >= -6538 @ 0.063038 0.48/0.52 c bounds 0 >= -6506 @ 0.06309 0.48/0.52 c bounds 0 >= -6474 @ 0.063127 0.48/0.52 c bounds 0 >= -6442 @ 0.063164 0.48/0.52 c bounds 0 >= -6410 @ 0.063199 0.48/0.52 c bounds 0 >= -6378 @ 0.063234 0.48/0.52 c bounds 0 >= -6346 @ 0.063271 0.48/0.52 c bounds 0 >= -6314 @ 0.063305 0.48/0.52 c bounds 0 >= -6282 @ 0.06334 0.48/0.52 c bounds 0 >= -6250 @ 0.063374 0.48/0.52 c bounds 0 >= -6218 @ 0.063408 0.48/0.52 c bounds 0 >= -6186 @ 0.063442 0.48/0.52 c bounds 0 >= -6154 @ 0.063447 0.48/0.52 c bounds 0 >= -6122 @ 0.063447 0.48/0.52 c bounds 0 >= -6090 @ 0.063447 0.48/0.52 c bounds 0 >= -6058 @ 0.063447 0.48/0.52 c bounds 0 >= -6026 @ 0.063447 0.48/0.52 c bounds 0 >= -5994 @ 0.063447 0.48/0.52 c bounds 0 >= -5962 @ 0.063447 0.48/0.52 c bounds 0 >= -5930 @ 0.063447 0.48/0.52 c bounds -54 >= -5930 @ 0.063447 0.48/0.52 c bounds -55 >= -5930 @ 0.063699 0.48/0.52 c bounds -55 >= -5901 @ 0.063944 0.48/0.52 c bounds -56 >= -5901 @ 0.06431 0.48/0.52 c bounds -58 >= -5901 @ 0.16624 0.48/0.52 c bounds -92 >= -5901 @ 0.166876 0.48/0.52 c bounds -126 >= -5901 @ 0.167479 0.48/0.52 c bounds -160 >= -5901 @ 0.168095 0.48/0.52 c bounds -194 >= -5901 @ 0.168725 0.48/0.52 c bounds -208 >= -5901 @ 0.169325 0.48/0.52 c bounds -228 >= -5901 @ 0.169989 0.48/0.52 c bounds -258 >= -5901 @ 0.18947 0.48/0.52 c bounds -259 >= -5901 @ 0.190126 0.48/0.52 c bounds -260 >= -5901 @ 0.235247 0.48/0.52 c bounds -261 >= -5901 @ 0.238785 0.48/0.52 c #Conflicts: 1000 | #Constraints: 2721 0.48/0.52 c bounds -262 >= -5901 @ 0.46577 0.48/0.52 c bounds -262 >= -5877 @ 0.469133 0.48/0.52 c bounds -262 >= -5853 @ 0.469282 0.48/0.52 c bounds -262 >= -5829 @ 0.469408 0.48/0.52 c bounds -262 >= -5805 @ 0.469518 0.48/0.52 c bounds -262 >= -5781 @ 0.469634 0.48/0.52 c bounds -262 >= -5757 @ 0.46979 0.48/0.52 c bounds -262 >= -5733 @ 0.469891 0.48/0.52 c bounds -262 >= -5709 @ 0.47003 0.48/0.52 c bounds -262 >= -5685 @ 0.470127 0.48/0.52 c bounds -262 >= -5661 @ 0.470249 0.48/0.52 c bounds -262 >= -5637 @ 0.470342 0.48/0.52 c bounds -262 >= -5613 @ 0.470456 0.48/0.52 c bounds -262 >= -5589 @ 0.470547 0.48/0.52 c bounds -262 >= -5565 @ 0.47066 0.48/0.52 c bounds -262 >= -5541 @ 0.47077 0.48/0.52 c bounds -262 >= -5517 @ 0.470887 0.48/0.52 c bounds -262 >= -5493 @ 0.470978 0.48/0.52 c bounds -262 >= -5469 @ 0.471107 0.48/0.52 c bounds -262 >= -5445 @ 0.471194 0.48/0.52 c bounds -262 >= -5421 @ 0.471304 0.48/0.52 c bounds -262 >= -5397 @ 0.471391 0.48/0.52 c bounds -262 >= -5373 @ 0.471501 0.48/0.52 c bounds -262 >= -5349 @ 0.471587 0.48/0.52 c bounds -262 >= -5325 @ 0.471694 0.48/0.52 c bounds -262 >= -5301 @ 0.471797 0.48/0.52 c bounds -262 >= -5277 @ 0.47191 0.48/0.52 c bounds -262 >= -5253 @ 0.471993 0.48/0.52 c bounds -262 >= -5229 @ 0.472114 0.48/0.52 c bounds -262 >= -5205 @ 0.472194 0.48/0.52 c bounds -262 >= -5181 @ 0.472313 0.48/0.52 c bounds -262 >= -5157 @ 0.472393 0.48/0.52 c bounds -262 >= -5133 @ 0.472494 0.48/0.52 c bounds -262 >= -5109 @ 0.472569 0.48/0.52 c bounds -262 >= -5085 @ 0.472673 0.48/0.52 c bounds -262 >= -5061 @ 0.472766 0.48/0.52 c bounds -262 >= -5037 @ 0.472869 0.48/0.52 c bounds -262 >= -5013 @ 0.472944 0.48/0.52 c bounds -262 >= -4989 @ 0.473061 0.48/0.52 c bounds -262 >= -4965 @ 0.473133 0.48/0.52 c bounds -262 >= -4941 @ 0.47323 0.48/0.52 c bounds -262 >= -4917 @ 0.4733 0.48/0.52 c bounds -262 >= -4893 @ 0.473402 0.48/0.52 c bounds -262 >= -4869 @ 0.473474 0.48/0.52 c bounds -262 >= -4845 @ 0.473571 0.48/0.52 c bounds -262 >= -4821 @ 0.473638 0.48/0.52 c bounds -262 >= -4797 @ 0.47375 0.48/0.52 c bounds -262 >= -4773 @ 0.473818 0.48/0.52 c bounds -262 >= -4749 @ 0.473931 0.48/0.52 c bounds -262 >= -4725 @ 0.474012 0.48/0.52 c bounds -262 >= -4701 @ 0.474106 0.48/0.52 c bounds -262 >= -4677 @ 0.47417 0.48/0.52 c bounds -262 >= -4653 @ 0.47426 0.48/0.52 c bounds -262 >= -4629 @ 0.474322 0.48/0.52 c bounds -262 >= -4605 @ 0.474413 0.48/0.52 c bounds -262 >= -4581 @ 0.474472 0.48/0.52 c bounds -262 >= -4557 @ 0.474558 0.48/0.52 c bounds -262 >= -4533 @ 0.474616 0.48/0.52 c bounds -262 >= -4509 @ 0.474703 0.48/0.52 c bounds -262 >= -4485 @ 0.47478 0.48/0.52 c bounds -262 >= -4461 @ 0.474869 0.48/0.52 c bounds -262 >= -4437 @ 0.474926 0.48/0.52 c bounds -262 >= -4413 @ 0.475033 0.48/0.52 c bounds -262 >= -4389 @ 0.475087 0.48/0.52 c bounds -262 >= -4365 @ 0.475167 0.48/0.52 c bounds -262 >= -4341 @ 0.47522 0.48/0.52 c bounds -262 >= -4317 @ 0.475304 0.48/0.52 c bounds -262 >= -4293 @ 0.475355 0.48/0.52 c bounds -262 >= -4269 @ 0.475431 0.48/0.52 c bounds -262 >= -4245 @ 0.475482 0.48/0.52 c bounds -262 >= -4221 @ 0.47556 0.48/0.52 c bounds -262 >= -4197 @ 0.475622 0.48/0.52 c bounds -262 >= -4173 @ 0.475697 0.48/0.52 c bounds -262 >= -4149 @ 0.475708 0.48/0.52 c bounds -262 >= -4125 @ 0.475708 0.48/0.52 c bounds -262 >= -4101 @ 0.475708 0.48/0.52 c bounds -262 >= -4077 @ 0.475708 0.48/0.52 c bounds -262 >= -4053 @ 0.475708 0.48/0.52 c bounds -262 >= -4029 @ 0.475708 0.48/0.52 c bounds -262 >= -4005 @ 0.475708 0.48/0.52 c bounds -262 >= -3981 @ 0.475708 0.48/0.52 c bounds -262 >= -3957 @ 0.475708 0.48/0.52 c bounds -262 >= -3933 @ 0.475708 0.48/0.52 c bounds -262 >= -3909 @ 0.475708 0.48/0.52 c bounds -262 >= -3885 @ 0.475708 0.48/0.52 c bounds -262 >= -3861 @ 0.475708 0.77/0.86 c bounds -262 >= -3837 @ 0.47601 0.77/0.86 c bounds -262 >= -3813 @ 0.476874 0.77/0.86 c bounds -262 >= -3789 @ 0.478085 0.77/0.86 c bounds -262 >= -3765 @ 0.484825 0.77/0.86 c bounds -262 >= -3741 @ 0.551935 0.77/0.86 c bounds -262 >= -3717 @ 0.656694 0.77/0.86 c bounds -264 >= -3717 @ 0.734646 0.77/0.86 c bounds -266 >= -3717 @ 0.73939 0.77/0.86 c #Conflicts: 2000 | #Constraints: 4112 0.77/0.86 c INPROCESSING 0.77/0.86 c GARBAGE COLLECT 0.77/0.86 c rational objective -3285 2.06/2.11 c bounds -268 >= -3717 @ 0.925547 2.06/2.11 c #Conflicts: 3000 | #Constraints: 4086 2.06/2.11 c bounds -268 >= -3693 @ 1.70005 2.06/2.11 c #Conflicts: 4000 | #Constraints: 5103 2.06/2.11 c bounds -270 >= -3693 @ 1.96461 2.06/2.11 c INPROCESSING 2.06/2.11 c GARBAGE COLLECT 2.06/2.11 c rational objective -3039 3.26/3.30 c #Conflicts: 5000 | #Constraints: 4503 3.26/3.30 c #Conflicts: 6000 | #Constraints: 5504 3.26/3.30 c INPROCESSING 3.26/3.30 c GARBAGE COLLECT 3.26/3.30 c rational objective -3021 5.06/5.15 c #Conflicts: 7000 | #Constraints: 4503 5.06/5.15 c #Conflicts: 8000 | #Constraints: 5503 5.06/5.15 c #Conflicts: 9000 | #Constraints: 6503 5.06/5.15 c INPROCESSING 5.06/5.15 c GARBAGE COLLECT 5.06/5.15 c rational objective -3009 6.55/6.69 c #Conflicts: 10000 | #Constraints: 5250 6.55/6.69 c #Conflicts: 11000 | #Constraints: 6260 6.55/6.69 c #Conflicts: 12000 | #Constraints: 7264 6.55/6.69 c INPROCESSING 6.55/6.69 c GARBAGE COLLECT 6.55/6.69 c rational objective -2973 8.75/8.81 c #Conflicts: 13000 | #Constraints: 5686 8.75/8.81 c bounds -270 >= -3669 @ 7.36085 8.75/8.81 c #Conflicts: 14000 | #Constraints: 6704 8.75/8.81 c #Conflicts: 15000 | #Constraints: 7707 8.75/8.81 c INPROCESSING 8.75/8.81 c GARBAGE COLLECT 8.75/8.81 c rational objective -2973 11.84/11.94 c #Conflicts: 16000 | #Constraints: 5923 11.84/11.94 c #Conflicts: 17000 | #Constraints: 6923 11.84/11.94 c #Conflicts: 18000 | #Constraints: 7923 11.84/11.94 c INPROCESSING 11.84/11.94 c GARBAGE COLLECT 11.84/11.94 c rational objective -2968 14.04/14.16 c #Conflicts: 19000 | #Constraints: 5959 14.04/14.16 c #Conflicts: 20000 | #Constraints: 6961 14.04/14.16 c #Conflicts: 21000 | #Constraints: 7962 14.04/14.16 c INPROCESSING 14.04/14.16 c GARBAGE COLLECT 14.04/14.16 c rational objective -2949 18.22/18.36 c #Conflicts: 22000 | #Constraints: 5756 18.22/18.36 c #Conflicts: 23000 | #Constraints: 6756 18.22/18.36 c #Conflicts: 24000 | #Constraints: 7756 18.22/18.36 c #Conflicts: 25000 | #Constraints: 8756 18.22/18.36 c INPROCESSING 18.22/18.36 c GARBAGE COLLECT 18.22/18.36 c rational objective -2949 20.82/20.90 c #Conflicts: 26000 | #Constraints: 6388 20.82/20.90 c #Conflicts: 27000 | #Constraints: 7389 20.82/20.90 c #Conflicts: 28000 | #Constraints: 8392 20.82/20.90 c #Conflicts: 29000 | #Constraints: 9396 20.82/20.90 c INPROCESSING 20.82/20.90 c GARBAGE COLLECT 20.82/20.90 c rational objective -2937 23.81/23.96 c #Conflicts: 30000 | #Constraints: 6779 23.81/23.96 c #Conflicts: 31000 | #Constraints: 7782 23.81/23.96 c #Conflicts: 32000 | #Constraints: 8790 23.81/23.96 c #Conflicts: 33000 | #Constraints: 9791 23.81/23.96 c INPROCESSING 23.81/23.96 c GARBAGE COLLECT 23.81/23.96 c rational objective -2931 30.89/31.00 c #Conflicts: 34000 | #Constraints: 6965 30.89/31.00 c bounds -270 >= -3645 @ 24.9704 30.89/31.00 c #Conflicts: 35000 | #Constraints: 7988 30.89/31.00 c #Conflicts: 36000 | #Constraints: 8988 30.89/31.00 c #Conflicts: 37000 | #Constraints: 9988 30.89/31.00 c INPROCESSING 30.89/31.00 c GARBAGE COLLECT 30.89/31.00 c rational objective -2919.5 34.99/35.18 c #Conflicts: 38000 | #Constraints: 7013 34.99/35.18 c #Conflicts: 39000 | #Constraints: 8017 34.99/35.18 c #Conflicts: 40000 | #Constraints: 9017 34.99/35.18 c #Conflicts: 41000 | #Constraints: 10021 34.99/35.18 c INPROCESSING 34.99/35.18 c GARBAGE COLLECT 34.99/35.18 c rational objective -2919 44.65/44.85 c #Conflicts: 42000 | #Constraints: 6803 44.65/44.85 c #Conflicts: 43000 | #Constraints: 7803 44.65/44.85 c #Conflicts: 44000 | #Constraints: 8803 44.65/44.85 c #Conflicts: 45000 | #Constraints: 9804 44.65/44.85 c #Conflicts: 46000 | #Constraints: 10804 44.65/44.85 c INPROCESSING 44.65/44.85 c GARBAGE COLLECT 44.65/44.85 c rational objective -2913 48.65/48.86 c #Conflicts: 47000 | #Constraints: 7418 48.65/48.86 c #Conflicts: 48000 | #Constraints: 8422 48.65/48.86 c #Conflicts: 49000 | #Constraints: 9429 48.65/48.86 c #Conflicts: 50000 | #Constraints: 10430 48.65/48.86 c #Conflicts: 51000 | #Constraints: 11430 48.65/48.86 c INPROCESSING 48.65/48.86 c GARBAGE COLLECT 48.65/48.86 c rational objective -2906 59.31/59.52 c #Conflicts: 52000 | #Constraints: 7806 59.31/59.52 c #Conflicts: 53000 | #Constraints: 8806 59.31/59.52 c #Conflicts: 54000 | #Constraints: 9806 59.31/59.52 c #Conflicts: 55000 | #Constraints: 10806 59.31/59.52 c #Conflicts: 56000 | #Constraints: 11806 59.31/59.52 c INPROCESSING 59.31/59.52 c GARBAGE COLLECT 59.31/59.52 c rational objective -2900.58 64.80/65.00 c #Conflicts: 57000 | #Constraints: 8020 64.80/65.00 c #Conflicts: 58000 | #Constraints: 9026 64.80/65.00 c #Conflicts: 59000 | #Constraints: 10026 64.80/65.00 c #Conflicts: 60000 | #Constraints: 11026 64.80/65.00 c #Conflicts: 61000 | #Constraints: 12026 64.80/65.00 c INPROCESSING 64.80/65.00 c GARBAGE COLLECT 64.80/65.00 c rational objective -2892 70.08/70.38 c #Conflicts: 62000 | #Constraints: 8004 70.08/70.38 c #Conflicts: 63000 | #Constraints: 9004 70.08/70.38 c #Conflicts: 64000 | #Constraints: 10004 70.08/70.38 c #Conflicts: 65000 | #Constraints: 11006 70.08/70.38 c #Conflicts: 66000 | #Constraints: 12007 70.08/70.38 c INPROCESSING 70.08/70.38 c GARBAGE COLLECT 70.08/70.38 c rational objective -2880 81.95/82.25 c #Conflicts: 67000 | #Constraints: 7793 81.95/82.25 c #Conflicts: 68000 | #Constraints: 8793 81.95/82.25 c #Conflicts: 69000 | #Constraints: 9793 81.95/82.25 c #Conflicts: 70000 | #Constraints: 10793 81.95/82.25 c #Conflicts: 71000 | #Constraints: 11793 81.95/82.25 c #Conflicts: 72000 | #Constraints: 12794 81.95/82.25 c INPROCESSING 81.95/82.25 c GARBAGE COLLECT 81.95/82.25 c rational objective -2868.67 87.85/88.13 c #Conflicts: 73000 | #Constraints: 8439 87.85/88.13 c #Conflicts: 74000 | #Constraints: 9444 87.85/88.13 c #Conflicts: 75000 | #Constraints: 10450 87.85/88.13 c #Conflicts: 76000 | #Constraints: 11453 87.85/88.13 c #Conflicts: 77000 | #Constraints: 12456 87.85/88.13 c #Conflicts: 78000 | #Constraints: 13456 87.85/88.13 c INPROCESSING 87.85/88.13 c GARBAGE COLLECT 87.85/88.13 c rational objective -2856 100.80/101.14 c #Conflicts: 79000 | #Constraints: 8813 100.80/101.14 c #Conflicts: 80000 | #Constraints: 9813 100.80/101.14 c #Conflicts: 81000 | #Constraints: 10813 100.80/101.14 c #Conflicts: 82000 | #Constraints: 11813 100.80/101.14 c #Conflicts: 83000 | #Constraints: 12814 100.80/101.14 c #Conflicts: 84000 | #Constraints: 13814 100.80/101.14 c INPROCESSING 100.80/101.14 c GARBAGE COLLECT 100.80/101.14 c rational objective -2855.17 107.38/107.75 c #Conflicts: 85000 | #Constraints: 9040 107.38/107.75 c #Conflicts: 86000 | #Constraints: 10044 107.38/107.75 c #Conflicts: 87000 | #Constraints: 11045 107.38/107.75 c #Conflicts: 88000 | #Constraints: 12048 107.38/107.75 c #Conflicts: 89000 | #Constraints: 13048 107.38/107.75 c #Conflicts: 90000 | #Constraints: 14051 107.38/107.75 c INPROCESSING 107.38/107.75 c GARBAGE COLLECT 107.38/107.75 c rational objective -2854 123.15/123.50 c #Conflicts: 91000 | #Constraints: 9022 123.15/123.50 c #Conflicts: 92000 | #Constraints: 10022 123.15/123.50 c #Conflicts: 93000 | #Constraints: 11022 123.15/123.50 c #Conflicts: 94000 | #Constraints: 12022 123.15/123.50 c #Conflicts: 95000 | #Constraints: 13022 123.15/123.50 c #Conflicts: 96000 | #Constraints: 14022 123.15/123.50 c INPROCESSING 123.15/123.50 c GARBAGE COLLECT 123.15/123.50 c rational objective -2853 199.23/199.89 c #Conflicts: 97000 | #Constraints: 8850 199.23/199.89 c #Conflicts: 98000 | #Constraints: 9857 199.23/199.89 c #Conflicts: 99000 | #Constraints: 10857 199.23/199.89 c #Conflicts: 100000 | #Constraints: 11857 199.23/199.89 c #Conflicts: 101000 | #Constraints: 12859 199.23/199.89 c #Conflicts: 102000 | #Constraints: 13863 199.23/199.89 c #Conflicts: 103000 | #Constraints: 14865 199.23/199.89 c #Conflicts: 104000 | #Constraints: 15869 199.23/199.89 c #Conflicts: 105000 | #Constraints: 16873 199.23/199.89 c #Conflicts: 106000 | #Constraints: 17873 199.23/199.89 c #Conflicts: 107000 | #Constraints: 18875 199.23/199.89 c #Conflicts: 108000 | #Constraints: 19877 199.23/199.89 c #Conflicts: 109000 | #Constraints: 20877 199.23/199.89 c #Conflicts: 110000 | #Constraints: 21881 199.23/199.89 c #Conflicts: 111000 | #Constraints: 22883 199.23/199.89 c #Conflicts: 112000 | #Constraints: 23885 199.23/199.89 c #Conflicts: 113000 | #Constraints: 24888 199.23/199.89 c #Conflicts: 114000 | #Constraints: 25889 199.23/199.89 c #Conflicts: 115000 | #Constraints: 26889 199.23/199.89 c #Conflicts: 116000 | #Constraints: 27892 199.23/199.89 c #Conflicts: 117000 | #Constraints: 28893 199.23/199.89 c #Conflicts: 118000 | #Constraints: 29900 199.23/199.89 c #Conflicts: 119000 | #Constraints: 30904 199.23/199.89 c #Conflicts: 120000 | #Constraints: 31904 199.23/199.89 c #Conflicts: 121000 | #Constraints: 32904 199.23/199.89 c #Conflicts: 122000 | #Constraints: 33906 199.23/199.89 c #Conflicts: 123000 | #Constraints: 34908 199.23/199.89 c #Conflicts: 124000 | #Constraints: 35909 199.23/199.89 c INPROCESSING 199.23/199.89 c GARBAGE COLLECT 199.23/199.89 c rational objective -2831.33 240.22/240.95 c #Conflicts: 125000 | #Constraints: 19664 240.22/240.95 c #Conflicts: 126000 | #Constraints: 20664 240.22/240.95 c #Conflicts: 127000 | #Constraints: 21664 240.22/240.95 c #Conflicts: 128000 | #Constraints: 22664 240.22/240.95 c #Conflicts: 129000 | #Constraints: 23664 240.22/240.95 c #Conflicts: 130000 | #Constraints: 24665 240.22/240.95 c #Conflicts: 131000 | #Constraints: 25665 240.22/240.95 c #Conflicts: 132000 | #Constraints: 26665 240.22/240.95 c INPROCESSING 240.22/240.95 c GARBAGE COLLECT 240.22/240.95 c rational objective -2805.93 269.44/270.22 c #Conflicts: 133000 | #Constraints: 15220 269.44/270.22 c #Conflicts: 134000 | #Constraints: 16220 269.44/270.22 c #Conflicts: 135000 | #Constraints: 17220 269.44/270.22 c #Conflicts: 136000 | #Constraints: 18220 269.44/270.22 c bounds -270 >= -3621 @ 249.682 269.44/270.22 c #Conflicts: 137000 | #Constraints: 19243 269.44/270.22 c #Conflicts: 138000 | #Constraints: 20243 269.44/270.22 c #Conflicts: 139000 | #Constraints: 21243 269.44/270.22 c #Conflicts: 140000 | #Constraints: 22243 269.44/270.22 c INPROCESSING 269.44/270.22 c GARBAGE COLLECT 269.44/270.22 c rational objective -2803.5 296.47/297.39 c #Conflicts: 141000 | #Constraints: 13050 296.47/297.39 c #Conflicts: 142000 | #Constraints: 14051 296.47/297.39 c #Conflicts: 143000 | #Constraints: 15051 296.47/297.39 c #Conflicts: 144000 | #Constraints: 16051 296.47/297.39 c #Conflicts: 145000 | #Constraints: 17051 296.47/297.39 c #Conflicts: 146000 | #Constraints: 18051 296.47/297.39 c #Conflicts: 147000 | #Constraints: 19051 296.47/297.39 c #Conflicts: 148000 | #Constraints: 20051 296.47/297.39 c INPROCESSING 296.47/297.39 c GARBAGE COLLECT 296.47/297.39 c rational objective -2792 322.40/323.32 c #Conflicts: 149000 | #Constraints: 11914 322.40/323.32 c #Conflicts: 150000 | #Constraints: 12914 322.40/323.32 c #Conflicts: 151000 | #Constraints: 13914 322.40/323.32 c #Conflicts: 152000 | #Constraints: 14914 322.40/323.32 c #Conflicts: 153000 | #Constraints: 15914 322.40/323.32 c #Conflicts: 154000 | #Constraints: 16915 322.40/323.32 c #Conflicts: 155000 | #Constraints: 17915 322.40/323.32 c #Conflicts: 156000 | #Constraints: 18915 322.40/323.32 c INPROCESSING 322.40/323.32 c GARBAGE COLLECT 322.40/323.32 c rational objective -2789.31 348.04/349.00 c #Conflicts: 157000 | #Constraints: 11201 348.04/349.00 c #Conflicts: 158000 | #Constraints: 12201 348.04/349.00 c #Conflicts: 159000 | #Constraints: 13201 348.04/349.00 c #Conflicts: 160000 | #Constraints: 14201 348.04/349.00 c #Conflicts: 161000 | #Constraints: 15201 348.04/349.00 c #Conflicts: 162000 | #Constraints: 16201 348.04/349.00 c #Conflicts: 163000 | #Constraints: 17201 348.04/349.00 c #Conflicts: 164000 | #Constraints: 18201 348.04/349.00 c #Conflicts: 165000 | #Constraints: 19201 348.04/349.00 c INPROCESSING 348.04/349.00 c GARBAGE COLLECT 348.04/349.00 c rational objective -2777.06 460.61/461.99 c #Conflicts: 166000 | #Constraints: 11609 460.61/461.99 c #Conflicts: 167000 | #Constraints: 12610 460.61/461.99 c #Conflicts: 168000 | #Constraints: 13617 460.61/461.99 c #Conflicts: 169000 | #Constraints: 14617 460.61/461.99 c #Conflicts: 170000 | #Constraints: 15620 460.61/461.99 c #Conflicts: 171000 | #Constraints: 16621 460.61/461.99 c #Conflicts: 172000 | #Constraints: 17626 460.61/461.99 c #Conflicts: 173000 | #Constraints: 18629 460.61/461.99 c #Conflicts: 174000 | #Constraints: 19634 460.61/461.99 c #Conflicts: 175000 | #Constraints: 20638 460.61/461.99 c #Conflicts: 176000 | #Constraints: 21638 460.61/461.99 c #Conflicts: 177000 | #Constraints: 22639 460.61/461.99 c #Conflicts: 178000 | #Constraints: 23639 460.61/461.99 c #Conflicts: 179000 | #Constraints: 24639 460.61/461.99 c #Conflicts: 180000 | #Constraints: 25642 460.61/461.99 c #Conflicts: 181000 | #Constraints: 26646 460.61/461.99 c #Conflicts: 182000 | #Constraints: 27646 460.61/461.99 c #Conflicts: 183000 | #Constraints: 28646 460.61/461.99 c #Conflicts: 184000 | #Constraints: 29646 460.61/461.99 c #Conflicts: 185000 | #Constraints: 30646 460.61/461.99 c #Conflicts: 186000 | #Constraints: 31646 460.61/461.99 c #Conflicts: 187000 | #Constraints: 32646 460.61/461.99 c #Conflicts: 188000 | #Constraints: 33646 460.61/461.99 c #Conflicts: 189000 | #Constraints: 34646 460.61/461.99 c #Conflicts: 190000 | #Constraints: 35646 460.61/461.99 c #Conflicts: 191000 | #Constraints: 36646 460.61/461.99 c #Conflicts: 192000 | #Constraints: 37646 460.61/461.99 c #Conflicts: 193000 | #Constraints: 38647 460.61/461.99 c #Conflicts: 194000 | #Constraints: 39649 460.61/461.99 c #Conflicts: 195000 | #Constraints: 40651 460.61/461.99 c #Conflicts: 196000 | #Constraints: 41654 460.61/461.99 c #Conflicts: 197000 | #Constraints: 42658 460.61/461.99 c #Conflicts: 198000 | #Constraints: 43664 460.61/461.99 c #Conflicts: 199000 | #Constraints: 44666 460.61/461.99 c #Conflicts: 200000 | #Constraints: 45670 460.61/461.99 c #Conflicts: 201000 | #Constraints: 46672 460.61/461.99 c INPROCESSING 460.61/461.99 c GARBAGE COLLECT 460.61/461.99 c rational objective -2775.5 534.50/536.01 c #Conflicts: 202000 | #Constraints: 25441 534.50/536.01 c #Conflicts: 203000 | #Constraints: 26442 534.50/536.01 c #Conflicts: 204000 | #Constraints: 27442 534.50/536.01 c #Conflicts: 205000 | #Constraints: 28442 534.50/536.01 c #Conflicts: 206000 | #Constraints: 29442 534.50/536.01 c #Conflicts: 207000 | #Constraints: 30442 534.50/536.01 c #Conflicts: 208000 | #Constraints: 31443 534.50/536.01 c #Conflicts: 209000 | #Constraints: 32443 534.50/536.01 c #Conflicts: 210000 | #Constraints: 33443 534.50/536.01 c INPROCESSING 534.50/536.01 c GARBAGE COLLECT 534.50/536.01 c rational objective -2770.06 583.47/585.14 c #Conflicts: 211000 | #Constraints: 18471 583.47/585.14 c #Conflicts: 212000 | #Constraints: 19471 583.47/585.14 c #Conflicts: 213000 | #Constraints: 20471 583.47/585.14 c #Conflicts: 214000 | #Constraints: 21472 583.47/585.14 c #Conflicts: 215000 | #Constraints: 22473 583.47/585.14 c #Conflicts: 216000 | #Constraints: 23473 583.47/585.14 c #Conflicts: 217000 | #Constraints: 24473 583.47/585.14 c #Conflicts: 218000 | #Constraints: 25474 583.47/585.14 c #Conflicts: 219000 | #Constraints: 26474 583.47/585.14 c #Conflicts: 220000 | #Constraints: 27474 583.47/585.14 c INPROCESSING 583.47/585.14 c GARBAGE COLLECT 583.47/585.14 c rational objective -2748.78 623.95/625.76 c #Conflicts: 221000 | #Constraints: 15489 623.95/625.76 c #Conflicts: 222000 | #Constraints: 16489 623.95/625.76 c #Conflicts: 223000 | #Constraints: 17489 623.95/625.76 c #Conflicts: 224000 | #Constraints: 18489 623.95/625.76 c #Conflicts: 225000 | #Constraints: 19489 623.95/625.76 c #Conflicts: 226000 | #Constraints: 20489 623.95/625.76 c #Conflicts: 227000 | #Constraints: 21489 623.95/625.76 c #Conflicts: 228000 | #Constraints: 22489 623.95/625.76 c #Conflicts: 229000 | #Constraints: 23489 623.95/625.76 c #Conflicts: 230000 | #Constraints: 24489 623.95/625.76 c #Conflicts: 231000 | #Constraints: 25489 623.95/625.76 c INPROCESSING 623.95/625.76 c GARBAGE COLLECT 623.95/625.76 c rational objective -2732.17 667.82/669.72 c #Conflicts: 232000 | #Constraints: 14898 667.82/669.72 c #Conflicts: 233000 | #Constraints: 15898 667.82/669.72 c #Conflicts: 234000 | #Constraints: 16898 667.82/669.72 c #Conflicts: 235000 | #Constraints: 17898 667.82/669.72 c #Conflicts: 236000 | #Constraints: 18898 667.82/669.72 c #Conflicts: 237000 | #Constraints: 19898 667.82/669.72 c #Conflicts: 238000 | #Constraints: 20898 667.82/669.72 c #Conflicts: 239000 | #Constraints: 21898 667.82/669.72 c #Conflicts: 240000 | #Constraints: 22898 667.82/669.72 c #Conflicts: 241000 | #Constraints: 23898 667.82/669.72 c INPROCESSING 667.82/669.72 c GARBAGE COLLECT 667.82/669.72 c rational objective -2730.44 686.57/688.55 c #Conflicts: 242000 | #Constraints: 13924 686.57/688.55 c #Conflicts: 243000 | #Constraints: 14925 686.57/688.55 c #Conflicts: 244000 | #Constraints: 15925 686.57/688.55 c #Conflicts: 245000 | #Constraints: 16925 686.57/688.55 c #Conflicts: 246000 | #Constraints: 17937 686.57/688.55 c #Conflicts: 247000 | #Constraints: 18943 686.57/688.55 c #Conflicts: 248000 | #Constraints: 19944 686.57/688.55 c #Conflicts: 249000 | #Constraints: 20944 686.57/688.55 c #Conflicts: 250000 | #Constraints: 21944 686.57/688.55 c #Conflicts: 251000 | #Constraints: 22945 686.57/688.55 c #Conflicts: 252000 | #Constraints: 23946 686.57/688.55 c INPROCESSING 686.57/688.55 c GARBAGE COLLECT 686.57/688.55 c rational objective -2722.83 729.23/731.39 c #Conflicts: 253000 | #Constraints: 14087 729.23/731.39 c #Conflicts: 254000 | #Constraints: 15088 729.23/731.39 c #Conflicts: 255000 | #Constraints: 16088 729.23/731.39 c #Conflicts: 256000 | #Constraints: 17088 729.23/731.39 c #Conflicts: 257000 | #Constraints: 18088 729.23/731.39 c #Conflicts: 258000 | #Constraints: 19088 729.23/731.39 c #Conflicts: 259000 | #Constraints: 20088 729.23/731.39 c #Conflicts: 260000 | #Constraints: 21088 729.23/731.39 c #Conflicts: 261000 | #Constraints: 22089 729.23/731.39 c #Conflicts: 262000 | #Constraints: 23089 729.23/731.39 c INPROCESSING 729.23/731.39 c GARBAGE COLLECT 729.23/731.39 c rational objective -2704.45 905.04/907.63 c #Conflicts: 263000 | #Constraints: 13300 905.04/907.63 c #Conflicts: 264000 | #Constraints: 14304 905.04/907.63 c #Conflicts: 265000 | #Constraints: 15313 905.04/907.63 c #Conflicts: 266000 | #Constraints: 16327 905.04/907.63 c #Conflicts: 267000 | #Constraints: 17328 905.04/907.63 c #Conflicts: 268000 | #Constraints: 18328 905.04/907.63 c #Conflicts: 269000 | #Constraints: 19328 905.04/907.63 c #Conflicts: 270000 | #Constraints: 20331 905.04/907.63 c #Conflicts: 271000 | #Constraints: 21344 905.04/907.63 c #Conflicts: 272000 | #Constraints: 22350 905.04/907.63 c #Conflicts: 273000 | #Constraints: 23355 905.04/907.63 c #Conflicts: 274000 | #Constraints: 24358 905.04/907.63 c #Conflicts: 275000 | #Constraints: 25359 905.04/907.63 c #Conflicts: 276000 | #Constraints: 26359 905.04/907.63 c #Conflicts: 277000 | #Constraints: 27361 905.04/907.63 c #Conflicts: 278000 | #Constraints: 28361 905.04/907.63 c #Conflicts: 279000 | #Constraints: 29361 905.04/907.63 c #Conflicts: 280000 | #Constraints: 30362 905.04/907.63 c #Conflicts: 281000 | #Constraints: 31363 905.04/907.63 c #Conflicts: 282000 | #Constraints: 32364 905.04/907.63 c #Conflicts: 283000 | #Constraints: 33365 905.04/907.63 c #Conflicts: 284000 | #Constraints: 34365 905.04/907.63 c #Conflicts: 285000 | #Constraints: 35366 905.04/907.63 c #Conflicts: 286000 | #Constraints: 36366 905.04/907.63 c #Conflicts: 287000 | #Constraints: 37366 905.04/907.63 c #Conflicts: 288000 | #Constraints: 38367 905.04/907.63 c #Conflicts: 289000 | #Constraints: 39367 905.04/907.63 c #Conflicts: 290000 | #Constraints: 40367 905.04/907.63 c #Conflicts: 291000 | #Constraints: 41368 905.04/907.63 c #Conflicts: 292000 | #Constraints: 42371 905.04/907.63 c #Conflicts: 293000 | #Constraints: 43382 905.04/907.63 c #Conflicts: 294000 | #Constraints: 44383 905.04/907.63 c #Conflicts: 295000 | #Constraints: 45384 905.04/907.63 c #Conflicts: 296000 | #Constraints: 46384 905.04/907.63 c #Conflicts: 297000 | #Constraints: 47385 905.04/907.63 c #Conflicts: 298000 | #Constraints: 48385 905.04/907.63 c #Conflicts: 299000 | #Constraints: 49386 905.04/907.63 c #Conflicts: 300000 | #Constraints: 50387 905.04/907.63 c #Conflicts: 301000 | #Constraints: 51389 905.04/907.63 c #Conflicts: 302000 | #Constraints: 52390 905.04/907.63 c #Conflicts: 303000 | #Constraints: 53393 905.04/907.63 c #Conflicts: 304000 | #Constraints: 54396 905.04/907.63 c #Conflicts: 305000 | #Constraints: 55396 905.04/907.63 c #Conflicts: 306000 | #Constraints: 56402 905.04/907.63 c #Conflicts: 307000 | #Constraints: 57403 905.04/907.63 c INPROCESSING 905.04/907.63 c GARBAGE COLLECT 905.04/907.63 c rational objective -2697.64 1020.42/1023.31 c #Conflicts: 308000 | #Constraints: 30794 1020.42/1023.31 c #Conflicts: 309000 | #Constraints: 31794 1020.42/1023.31 c #Conflicts: 310000 | #Constraints: 32795 1020.42/1023.31 c #Conflicts: 311000 | #Constraints: 33795 1020.42/1023.31 c #Conflicts: 312000 | #Constraints: 34795 1020.42/1023.31 c #Conflicts: 313000 | #Constraints: 35795 1020.42/1023.31 c #Conflicts: 314000 | #Constraints: 36795 1020.42/1023.31 c #Conflicts: 315000 | #Constraints: 37796 1020.42/1023.31 c #Conflicts: 316000 | #Constraints: 38797 1020.42/1023.31 c #Conflicts: 317000 | #Constraints: 39797 1020.42/1023.31 c #Conflicts: 318000 | #Constraints: 40798 1020.42/1023.31 c #Conflicts: 319000 | #Constraints: 41798 1020.42/1023.31 c INPROCESSING 1020.42/1023.31 c GARBAGE COLLECT 1020.42/1023.31 c rational objective -2669.65 1095.00/1098.15 c #Conflicts: 320000 | #Constraints: 22966 1095.00/1098.15 c #Conflicts: 321000 | #Constraints: 23966 1095.00/1098.15 c #Conflicts: 322000 | #Constraints: 24966 1095.00/1098.15 c #Conflicts: 323000 | #Constraints: 25966 1095.00/1098.15 c #Conflicts: 324000 | #Constraints: 26966 1095.00/1098.15 c #Conflicts: 325000 | #Constraints: 27966 1095.00/1098.15 c #Conflicts: 326000 | #Constraints: 28966 1095.00/1098.15 c #Conflicts: 327000 | #Constraints: 29966 1095.00/1098.15 c #Conflicts: 328000 | #Constraints: 30966 1095.00/1098.15 c #Conflicts: 329000 | #Constraints: 31966 1095.00/1098.15 c #Conflicts: 330000 | #Constraints: 32966 1095.00/1098.15 c #Conflicts: 331000 | #Constraints: 33966 1095.00/1098.15 c INPROCESSING 1095.00/1098.15 c GARBAGE COLLECT 1095.00/1098.15 c rational objective -2649.45 1162.12/1165.48 c #Conflicts: 332000 | #Constraints: 18898 1162.12/1165.48 c #Conflicts: 333000 | #Constraints: 19899 1162.12/1165.48 c #Conflicts: 334000 | #Constraints: 20899 1162.12/1165.48 c #Conflicts: 335000 | #Constraints: 21899 1162.12/1165.48 c #Conflicts: 336000 | #Constraints: 22900 1162.12/1165.48 c #Conflicts: 337000 | #Constraints: 23900 1162.12/1165.48 c #Conflicts: 338000 | #Constraints: 24900 1162.12/1165.48 c #Conflicts: 339000 | #Constraints: 25900 1162.12/1165.48 c #Conflicts: 340000 | #Constraints: 26902 1162.12/1165.48 c #Conflicts: 341000 | #Constraints: 27903 1162.12/1165.48 c #Conflicts: 342000 | #Constraints: 28903 1162.12/1165.48 c #Conflicts: 343000 | #Constraints: 29903 1162.12/1165.48 c #Conflicts: 344000 | #Constraints: 30904 1162.12/1165.48 c INPROCESSING 1162.12/1165.48 c GARBAGE COLLECT 1162.12/1165.48 c rational objective -2645.07 1225.64/1229.17 c #Conflicts: 345000 | #Constraints: 17628 1225.64/1229.17 c #Conflicts: 346000 | #Constraints: 18628 1225.64/1229.17 c #Conflicts: 347000 | #Constraints: 19628 1225.64/1229.17 c #Conflicts: 348000 | #Constraints: 20628 1225.64/1229.17 c #Conflicts: 349000 | #Constraints: 21628 1225.64/1229.17 c #Conflicts: 350000 | #Constraints: 22628 1225.64/1229.17 c #Conflicts: 351000 | #Constraints: 23628 1225.64/1229.17 c #Conflicts: 352000 | #Constraints: 24628 1225.64/1229.17 c #Conflicts: 353000 | #Constraints: 25628 1225.64/1229.17 c #Conflicts: 354000 | #Constraints: 26628 1225.64/1229.17 c #Conflicts: 355000 | #Constraints: 27628 1225.64/1229.17 c #Conflicts: 356000 | #Constraints: 28628 1225.64/1229.17 c INPROCESSING 1225.64/1229.17 c GARBAGE COLLECT 1225.64/1229.17 c rational objective -2633.81 1285.58/1289.26 c #Conflicts: 357000 | #Constraints: 16125 1285.58/1289.26 c #Conflicts: 358000 | #Constraints: 17126 1285.58/1289.26 c #Conflicts: 359000 | #Constraints: 18126 1285.58/1289.26 c #Conflicts: 360000 | #Constraints: 19126 1285.58/1289.26 c #Conflicts: 361000 | #Constraints: 20126 1285.58/1289.26 c #Conflicts: 362000 | #Constraints: 21126 1285.58/1289.26 c #Conflicts: 363000 | #Constraints: 22126 1285.58/1289.26 c #Conflicts: 364000 | #Constraints: 23127 1285.58/1289.26 c #Conflicts: 365000 | #Constraints: 24127 1285.58/1289.26 c #Conflicts: 366000 | #Constraints: 25127 1285.58/1289.26 c #Conflicts: 367000 | #Constraints: 26127 1285.58/1289.26 c #Conflicts: 368000 | #Constraints: 27127 1285.58/1289.26 c #Conflicts: 369000 | #Constraints: 28127 1285.58/1289.26 c INPROCESSING 1285.58/1289.26 c GARBAGE COLLECT 1285.58/1289.26 c rational objective -2629.82 1317.49/1321.23 c #Conflicts: 370000 | #Constraints: 15931 1317.49/1321.23 c #Conflicts: 371000 | #Constraints: 16942 1317.49/1321.23 c #Conflicts: 372000 | #Constraints: 17952 1317.49/1321.23 c #Conflicts: 373000 | #Constraints: 18952 1317.49/1321.23 c #Conflicts: 374000 | #Constraints: 19957 1317.49/1321.23 c #Conflicts: 375000 | #Constraints: 20958 1317.49/1321.23 c #Conflicts: 376000 | #Constraints: 21958 1317.49/1321.23 c #Conflicts: 377000 | #Constraints: 22958 1317.49/1321.23 c #Conflicts: 378000 | #Constraints: 23958 1317.49/1321.23 c #Conflicts: 379000 | #Constraints: 24961 1317.49/1321.23 c #Conflicts: 380000 | #Constraints: 25962 1317.49/1321.23 c #Conflicts: 381000 | #Constraints: 26965 1317.49/1321.23 c #Conflicts: 382000 | #Constraints: 27968 1317.49/1321.23 c INPROCESSING 1317.49/1321.23 c GARBAGE COLLECT 1317.49/1321.23 c rational objective -2611.33 1558.31/1562.73 c #Conflicts: 383000 | #Constraints: 15758 1558.31/1562.73 c #Conflicts: 384000 | #Constraints: 16759 1558.31/1562.73 c #Conflicts: 385000 | #Constraints: 17760 1558.31/1562.73 c #Conflicts: 386000 | #Constraints: 18760 1558.31/1562.73 c #Conflicts: 387000 | #Constraints: 19760 1558.31/1562.73 c #Conflicts: 388000 | #Constraints: 20760 1558.31/1562.73 c #Conflicts: 389000 | #Constraints: 21760 1558.31/1562.73 c #Conflicts: 390000 | #Constraints: 22760 1558.31/1562.73 c #Conflicts: 391000 | #Constraints: 23760 1558.31/1562.73 c #Conflicts: 392000 | #Constraints: 24760 1558.31/1562.73 c #Conflicts: 393000 | #Constraints: 25760 1558.31/1562.73 c #Conflicts: 394000 | #Constraints: 26760 1558.31/1562.73 c #Conflicts: 395000 | #Constraints: 27760 1558.31/1562.73 c #Conflicts: 396000 | #Constraints: 28760 1558.31/1562.73 c #Conflicts: 397000 | #Constraints: 29760 1558.31/1562.73 c #Conflicts: 398000 | #Constraints: 30760 1558.31/1562.73 c #Conflicts: 399000 | #Constraints: 31761 1558.31/1562.73 c #Conflicts: 400000 | #Constraints: 32761 1558.31/1562.73 c #Conflicts: 401000 | #Constraints: 33761 1558.31/1562.73 c #Conflicts: 402000 | #Constraints: 34761 1558.31/1562.73 c #Conflicts: 403000 | #Constraints: 35761 1558.31/1562.73 c #Conflicts: 404000 | #Constraints: 36761 1558.31/1562.73 c #Conflicts: 405000 | #Constraints: 37761 1558.31/1562.73 c #Conflicts: 406000 | #Constraints: 38761 1558.31/1562.73 c #Conflicts: 407000 | #Constraints: 39761 1558.31/1562.73 c bounds -270 >= -3597 @ 1434.25 1558.31/1562.73 c #Conflicts: 408000 | #Constraints: 40782 1558.31/1562.73 c #Conflicts: 409000 | #Constraints: 41790 1558.31/1562.73 c #Conflicts: 410000 | #Constraints: 42795 1558.31/1562.73 c #Conflicts: 411000 | #Constraints: 43800 1558.31/1562.73 c #Conflicts: 412000 | #Constraints: 44800 1558.31/1562.73 c #Conflicts: 413000 | #Constraints: 45803 1558.31/1562.73 c #Conflicts: 414000 | #Constraints: 46806 1558.31/1562.73 c #Conflicts: 415000 | #Constraints: 47817 1558.31/1562.73 c #Conflicts: 416000 | #Constraints: 48821 1558.31/1562.73 c #Conflicts: 417000 | #Constraints: 49821 1558.31/1562.73 c #Conflicts: 418000 | #Constraints: 50827 1558.31/1562.73 c #Conflicts: 419000 | #Constraints: 51831 1558.31/1562.73 c #Conflicts: 420000 | #Constraints: 52833 1558.31/1562.73 c #Conflicts: 421000 | #Constraints: 53834 1558.31/1562.73 c #Conflicts: 422000 | #Constraints: 54836 1558.31/1562.73 c #Conflicts: 423000 | #Constraints: 55843 1558.31/1562.73 c #Conflicts: 424000 | #Constraints: 56843 1558.31/1562.73 c #Conflicts: 425000 | #Constraints: 57843 1558.31/1562.73 c #Conflicts: 426000 | #Constraints: 58843 1558.31/1562.73 c #Conflicts: 427000 | #Constraints: 59843 1558.31/1562.73 c #Conflicts: 428000 | #Constraints: 60843 1558.31/1562.73 c #Conflicts: 429000 | #Constraints: 61843 1558.31/1562.73 c #Conflicts: 430000 | #Constraints: 62843 1558.31/1562.73 c #Conflicts: 431000 | #Constraints: 63843 1558.31/1562.73 c #Conflicts: 432000 | #Constraints: 64843 1558.31/1562.73 c #Conflicts: 433000 | #Constraints: 65843 1558.31/1562.73 c #Conflicts: 434000 | #Constraints: 66843 1558.31/1562.73 c #Conflicts: 435000 | #Constraints: 67843 1558.31/1562.73 c INPROCESSING 1558.31/1562.73 c GARBAGE COLLECT 1558.31/1562.73 c rational objective -2608.44 1644.68/1649.37 c #Conflicts: 436000 | #Constraints: 35770 1644.68/1649.37 c #Conflicts: 437000 | #Constraints: 36771 1644.68/1649.37 c #Conflicts: 438000 | #Constraints: 37772 1644.68/1649.37 c #Conflicts: 439000 | #Constraints: 38772 1644.68/1649.37 c #Conflicts: 440000 | #Constraints: 39772 1644.68/1649.37 c #Conflicts: 441000 | #Constraints: 40772 1644.68/1649.37 c #Conflicts: 442000 | #Constraints: 41772 1644.68/1649.37 c #Conflicts: 443000 | #Constraints: 42772 1644.68/1649.37 c #Conflicts: 444000 | #Constraints: 43772 1644.68/1649.37 c #Conflicts: 445000 | #Constraints: 44773 1644.68/1649.37 c #Conflicts: 446000 | #Constraints: 45773 1644.68/1649.37 c #Conflicts: 447000 | #Constraints: 46773 1644.68/1649.37 c #Conflicts: 448000 | #Constraints: 47773 1644.68/1649.37 c #Conflicts: 449000 | #Constraints: 48773 1644.68/1649.37 c #Conflicts: 450000 | #Constraints: 49773 1644.68/1649.37 c INPROCESSING 1644.68/1649.37 c GARBAGE COLLECT 1644.68/1649.37 c rational objective -2570.28 1724.36/1729.20 c #Conflicts: 451000 | #Constraints: 27052 1724.36/1729.20 c #Conflicts: 452000 | #Constraints: 28052 1724.36/1729.20 c #Conflicts: 453000 | #Constraints: 29053 1724.36/1729.20 c #Conflicts: 454000 | #Constraints: 30053 1724.36/1729.20 c #Conflicts: 455000 | #Constraints: 31053 1724.36/1729.20 c #Conflicts: 456000 | #Constraints: 32053 1724.36/1729.20 c #Conflicts: 457000 | #Constraints: 33054 1724.36/1729.20 c #Conflicts: 458000 | #Constraints: 34054 1724.36/1729.20 c #Conflicts: 459000 | #Constraints: 35054 1724.36/1729.20 c #Conflicts: 460000 | #Constraints: 36054 1724.36/1729.20 c #Conflicts: 461000 | #Constraints: 37054 1724.36/1729.20 c #Conflicts: 462000 | #Constraints: 38054 1724.36/1729.20 c #Conflicts: 463000 | #Constraints: 39054 1724.36/1729.20 c #Conflicts: 464000 | #Constraints: 40054 1724.36/1729.20 c INPROCESSING 1724.36/1729.20 c GARBAGE COLLECT 1724.36/1729.20 c rational objective -2561.55 1764.94/1769.94 c #Conflicts: 465000 | #Constraints: 21892 1764.94/1769.94 c #Conflicts: 466000 | #Constraints: 22893 1764.94/1769.94 c #Conflicts: 467000 | #Constraints: 23899 1764.94/1769.94 c #Conflicts: 468000 | #Constraints: 24908 1764.94/1769.94 c #Conflicts: 469000 | #Constraints: 25913 1764.94/1769.94 c #Conflicts: 470000 | #Constraints: 26918 1764.94/1769.94 c #Conflicts: 471000 | #Constraints: 27922 1764.94/1769.94 c #Conflicts: 472000 | #Constraints: 28928 1764.94/1769.94 c #Conflicts: 473000 | #Constraints: 29929 1764.94/1769.94 c #Conflicts: 474000 | #Constraints: 30933 1764.94/1769.94 c #Conflicts: 475000 | #Constraints: 31938 1764.94/1769.94 c #Conflicts: 476000 | #Constraints: 32940 1764.94/1769.94 c #Conflicts: 477000 | #Constraints: 33941 1764.94/1769.94 c #Conflicts: 478000 | #Constraints: 34943 1764.94/1769.94 c #Conflicts: 479000 | #Constraints: 35946 1764.94/1769.94 c INPROCESSING 1764.94/1769.94 c GARBAGE COLLECT 1764.94/1769.94 c rational objective -2559.17 1830.26/1835.45 c #Conflicts: 480000 | #Constraints: 19899 1830.26/1835.45 c #Conflicts: 481000 | #Constraints: 20899 1830.26/1835.45 c #Conflicts: 482000 | #Constraints: 21899 1830.26/1835.45 c #Conflicts: 483000 | #Constraints: 22899 1830.26/1835.45 c #Conflicts: 484000 | #Constraints: 23899 1830.26/1835.45 c #Conflicts: 485000 | #Constraints: 24899 1830.26/1835.45 c #Conflicts: 486000 | #Constraints: 25899 1830.26/1835.45 c #Conflicts: 487000 | #Constraints: 26899 1830.26/1835.45 c #Conflicts: 488000 | #Constraints: 27899 1830.26/1835.45 c #Conflicts: 489000 | #Constraints: 28900 1830.26/1835.45 c #Conflicts: 490000 | #Constraints: 29900 1830.26/1835.45 c #Conflicts: 491000 | #Constraints: 30900 1830.26/1835.45 c #Conflicts: 492000 | #Constraints: 31900 1830.26/1835.45 c #Conflicts: 493000 | #Constraints: 32900 1830.26/1835.45 c #Conflicts: 494000 | #Constraints: 33901 1830.26/1835.45 c INPROCESSING 1830.26/1835.45 c GARBAGE COLLECT 1830.26/1835.45 c rational objective -2554.46 2197.40/2203.66 c #Conflicts: 495000 | #Constraints: 18946 2197.40/2203.66 c #Conflicts: 496000 | #Constraints: 19958 2197.40/2203.66 c #Conflicts: 497000 | #Constraints: 20964 2197.40/2203.66 c #Conflicts: 498000 | #Constraints: 21967 2197.40/2203.66 c #Conflicts: 499000 | #Constraints: 22969 2197.40/2203.66 c #Conflicts: 500000 | #Constraints: 23972 2197.40/2203.66 c #Conflicts: 501000 | #Constraints: 24973 2197.40/2203.66 c #Conflicts: 502000 | #Constraints: 25979 2197.40/2203.66 c #Conflicts: 503000 | #Constraints: 26981 2197.40/2203.66 c #Conflicts: 504000 | #Constraints: 27983 2197.40/2203.66 c #Conflicts: 505000 | #Constraints: 28985 2197.40/2203.66 c #Conflicts: 506000 | #Constraints: 29985 2197.40/2203.66 c #Conflicts: 507000 | #Constraints: 30989 2197.40/2203.66 c #Conflicts: 508000 | #Constraints: 31994 2197.40/2203.66 c #Conflicts: 509000 | #Constraints: 32999 2197.40/2203.66 c #Conflicts: 510000 | #Constraints: 34000 2197.40/2203.66 c #Conflicts: 511000 | #Constraints: 35001 2197.40/2203.66 c #Conflicts: 512000 | #Constraints: 36002 2197.40/2203.66 c #Conflicts: 513000 | #Constraints: 37002 2197.40/2203.66 c #Conflicts: 514000 | #Constraints: 38003 2197.40/2203.66 c #Conflicts: 515000 | #Constraints: 39003 2197.40/2203.66 c #Conflicts: 516000 | #Constraints: 40008 2197.40/2203.66 c #Conflicts: 517000 | #Constraints: 41010 2197.40/2203.66 c #Conflicts: 518000 | #Constraints: 42013 2197.40/2203.66 c #Conflicts: 519000 | #Constraints: 43015 2197.40/2203.66 c #Conflicts: 520000 | #Constraints: 44015 2197.40/2203.66 c #Conflicts: 521000 | #Constraints: 45015 2197.40/2203.66 c #Conflicts: 522000 | #Constraints: 46017 2197.40/2203.66 c #Conflicts: 523000 | #Constraints: 47020 2197.40/2203.66 c #Conflicts: 524000 | #Constraints: 48020 2197.40/2203.66 c #Conflicts: 525000 | #Constraints: 49020 2197.40/2203.66 c #Conflicts: 526000 | #Constraints: 50020 2197.40/2203.66 c #Conflicts: 527000 | #Constraints: 51021 2197.40/2203.66 c #Conflicts: 528000 | #Constraints: 52023 2197.40/2203.66 c #Conflicts: 529000 | #Constraints: 53029 2197.40/2203.66 c #Conflicts: 530000 | #Constraints: 54029 2197.40/2203.66 c #Conflicts: 531000 | #Constraints: 55035 2197.40/2203.66 c #Conflicts: 532000 | #Constraints: 56036 2197.40/2203.66 c #Conflicts: 533000 | #Constraints: 57037 2197.40/2203.66 c #Conflicts: 534000 | #Constraints: 58038 2197.40/2203.66 c #Conflicts: 535000 | #Constraints: 59038 2197.40/2203.66 c #Conflicts: 536000 | #Constraints: 60040 2197.40/2203.66 c #Conflicts: 537000 | #Constraints: 61042 2197.40/2203.66 c #Conflicts: 538000 | #Constraints: 62045 2197.40/2203.66 c #Conflicts: 539000 | #Constraints: 63049 2197.40/2203.66 c #Conflicts: 540000 | #Constraints: 64052 2197.40/2203.66 c #Conflicts: 541000 | #Constraints: 65054 2197.40/2203.66 c #Conflicts: 542000 | #Constraints: 66054 2197.40/2203.66 c #Conflicts: 543000 | #Constraints: 67055 2197.40/2203.66 c #Conflicts: 544000 | #Constraints: 68056 2197.40/2203.66 c #Conflicts: 545000 | #Constraints: 69056 2197.40/2203.66 c #Conflicts: 546000 | #Constraints: 70057 2197.40/2203.66 c #Conflicts: 547000 | #Constraints: 71060 2197.40/2203.66 c #Conflicts: 548000 | #Constraints: 72063 2197.40/2203.66 c #Conflicts: 549000 | #Constraints: 73067 2197.40/2203.66 c #Conflicts: 550000 | #Constraints: 74082 2197.40/2203.66 c #Conflicts: 551000 | #Constraints: 75090 2197.40/2203.66 c #Conflicts: 552000 | #Constraints: 76093 2197.40/2203.66 c #Conflicts: 553000 | #Constraints: 77094 2197.40/2203.66 c INPROCESSING 2197.40/2203.66 c GARBAGE COLLECT 2197.40/2203.66 c rational objective -2547.6 2393.05/2399.87 c #Conflicts: 554000 | #Constraints: 40351 2393.05/2399.87 c #Conflicts: 555000 | #Constraints: 41351 2393.05/2399.87 c #Conflicts: 556000 | #Constraints: 42351 2393.05/2399.87 c #Conflicts: 557000 | #Constraints: 43351 2393.05/2399.87 c #Conflicts: 558000 | #Constraints: 44352 2393.05/2399.87 c #Conflicts: 559000 | #Constraints: 45353 2393.05/2399.87 c #Conflicts: 560000 | #Constraints: 46353 2393.05/2399.87 c #Conflicts: 561000 | #Constraints: 47353 2393.05/2399.87 c #Conflicts: 562000 | #Constraints: 48353 2393.05/2399.87 c #Conflicts: 563000 | #Constraints: 49353 2393.05/2399.87 c #Conflicts: 564000 | #Constraints: 50355 2393.05/2399.87 c #Conflicts: 565000 | #Constraints: 51357 2393.05/2399.87 c #Conflicts: 566000 | #Constraints: 52357 2393.05/2399.87 c #Conflicts: 567000 | #Constraints: 53357 2393.05/2399.87 c #Conflicts: 568000 | #Constraints: 54357 2393.05/2399.87 c #Conflicts: 569000 | #Constraints: 55357 2393.05/2399.87 c #Conflicts: 570000 | #Constraints: 56357 2393.05/2399.87 c INPROCESSING 2393.05/2399.87 c GARBAGE COLLECT 2393.05/2399.87 c rational objective -2529.48 2517.96/2525.02 c #Conflicts: 571000 | #Constraints: 30382 2517.96/2525.02 c #Conflicts: 572000 | #Constraints: 31382 2517.96/2525.02 c #Conflicts: 573000 | #Constraints: 32382 2517.96/2525.02 c #Conflicts: 574000 | #Constraints: 33382 2517.96/2525.02 c #Conflicts: 575000 | #Constraints: 34382 2517.96/2525.02 c #Conflicts: 576000 | #Constraints: 35382 2517.96/2525.02 c #Conflicts: 577000 | #Constraints: 36384 2517.96/2525.02 c #Conflicts: 578000 | #Constraints: 37386 2517.96/2525.02 c #Conflicts: 579000 | #Constraints: 38387 2517.96/2525.02 c #Conflicts: 580000 | #Constraints: 39387 2517.96/2525.02 c #Conflicts: 581000 | #Constraints: 40387 2517.96/2525.02 c #Conflicts: 582000 | #Constraints: 41387 2517.96/2525.02 c #Conflicts: 583000 | #Constraints: 42387 2517.96/2525.02 c #Conflicts: 584000 | #Constraints: 43388 2517.96/2525.02 c #Conflicts: 585000 | #Constraints: 44388 2517.96/2525.02 c #Conflicts: 586000 | #Constraints: 45388 2517.96/2525.02 c INPROCESSING 2517.96/2525.02 c GARBAGE COLLECT 2517.96/2525.02 c rational objective -2523.9 2624.09/2631.45 c #Conflicts: 587000 | #Constraints: 24627 2624.09/2631.45 c #Conflicts: 588000 | #Constraints: 25628 2624.09/2631.45 c #Conflicts: 589000 | #Constraints: 26629 2624.09/2631.45 c #Conflicts: 590000 | #Constraints: 27629 2624.09/2631.45 c #Conflicts: 591000 | #Constraints: 28629 2624.09/2631.45 c #Conflicts: 592000 | #Constraints: 29629 2624.09/2631.45 c #Conflicts: 593000 | #Constraints: 30629 2624.09/2631.45 c #Conflicts: 594000 | #Constraints: 31629 2624.09/2631.45 c #Conflicts: 595000 | #Constraints: 32629 2624.09/2631.45 c #Conflicts: 596000 | #Constraints: 33629 2624.09/2631.45 c #Conflicts: 597000 | #Constraints: 34629 2624.09/2631.45 c #Conflicts: 598000 | #Constraints: 35629 2624.09/2631.45 c #Conflicts: 599000 | #Constraints: 36629 2624.09/2631.45 c #Conflicts: 600000 | #Constraints: 37629 2624.09/2631.45 c #Conflicts: 601000 | #Constraints: 38630 2624.09/2631.45 c #Conflicts: 602000 | #Constraints: 39630 2624.09/2631.45 c #Conflicts: 603000 | #Constraints: 40630 2624.09/2631.45 c INPROCESSING 2624.09/2631.45 c GARBAGE COLLECT 2624.09/2631.45 c rational objective -2522.83 2711.89/2719.40 c #Conflicts: 604000 | #Constraints: 22406 2711.89/2719.40 c #Conflicts: 605000 | #Constraints: 23406 2711.89/2719.40 c #Conflicts: 606000 | #Constraints: 24406 2711.89/2719.40 c #Conflicts: 607000 | #Constraints: 25406 2711.89/2719.40 c #Conflicts: 608000 | #Constraints: 26407 2711.89/2719.40 c #Conflicts: 609000 | #Constraints: 27407 2711.89/2719.40 c #Conflicts: 610000 | #Constraints: 28407 2711.89/2719.40 c #Conflicts: 611000 | #Constraints: 29407 2711.89/2719.40 c #Conflicts: 612000 | #Constraints: 30408 2711.89/2719.40 c #Conflicts: 613000 | #Constraints: 31408 2711.89/2719.40 c #Conflicts: 614000 | #Constraints: 32408 2711.89/2719.40 c #Conflicts: 615000 | #Constraints: 33409 2711.89/2719.40 c #Conflicts: 616000 | #Constraints: 34409 2711.89/2719.40 c #Conflicts: 617000 | #Constraints: 35409 2711.89/2719.40 c #Conflicts: 618000 | #Constraints: 36409 2711.89/2719.40 c #Conflicts: 619000 | #Constraints: 37409 2711.89/2719.40 c #Conflicts: 620000 | #Constraints: 38409 2711.89/2719.40 c INPROCESSING 2711.89/2719.40 c GARBAGE COLLECT 2711.89/2719.40 c rational objective -2520.78 2794.79/2802.51 c #Conflicts: 621000 | #Constraints: 21354 2794.79/2802.51 c #Conflicts: 622000 | #Constraints: 22354 2794.79/2802.51 c #Conflicts: 623000 | #Constraints: 23354 2794.79/2802.51 c #Conflicts: 624000 | #Constraints: 24354 2794.79/2802.51 c #Conflicts: 625000 | #Constraints: 25354 2794.79/2802.51 c #Conflicts: 626000 | #Constraints: 26355 2794.79/2802.51 c #Conflicts: 627000 | #Constraints: 27355 2794.79/2802.51 c #Conflicts: 628000 | #Constraints: 28355 2794.79/2802.51 c #Conflicts: 629000 | #Constraints: 29355 2794.79/2802.51 c #Conflicts: 630000 | #Constraints: 30356 2794.79/2802.51 c #Conflicts: 631000 | #Constraints: 31356 2794.79/2802.51 c #Conflicts: 632000 | #Constraints: 32356 2794.79/2802.51 c #Conflicts: 633000 | #Constraints: 33356 2794.79/2802.51 c #Conflicts: 634000 | #Constraints: 34356 2794.79/2802.51 c #Conflicts: 635000 | #Constraints: 35357 2794.79/2802.51 c #Conflicts: 636000 | #Constraints: 36357 2794.79/2802.51 c #Conflicts: 637000 | #Constraints: 37357 2794.79/2802.51 c INPROCESSING 2794.79/2802.51 c GARBAGE COLLECT 2794.79/2802.51 c rational objective -2512.44 3280.13/3289.05 c #Conflicts: 638000 | #Constraints: 20755 3280.13/3289.05 c #Conflicts: 639000 | #Constraints: 21755 3280.13/3289.05 c #Conflicts: 640000 | #Constraints: 22755 3280.13/3289.05 c #Conflicts: 641000 | #Constraints: 23755 3280.13/3289.05 c #Conflicts: 642000 | #Constraints: 24756 3280.13/3289.05 c #Conflicts: 643000 | #Constraints: 25756 3280.13/3289.05 c #Conflicts: 644000 | #Constraints: 26756 3280.13/3289.05 c #Conflicts: 645000 | #Constraints: 27756 3280.13/3289.05 c #Conflicts: 646000 | #Constraints: 28756 3280.13/3289.05 c #Conflicts: 647000 | #Constraints: 29756 3280.13/3289.05 c #Conflicts: 648000 | #Constraints: 30758 3280.13/3289.05 c #Conflicts: 649000 | #Constraints: 31758 3280.13/3289.05 c #Conflicts: 650000 | #Constraints: 32759 3280.13/3289.05 c #Conflicts: 651000 | #Constraints: 33759 3280.13/3289.05 c #Conflicts: 652000 | #Constraints: 34759 3280.13/3289.05 c #Conflicts: 653000 | #Constraints: 35759 3280.13/3289.05 c #Conflicts: 654000 | #Constraints: 36759 3280.13/3289.05 c #Conflicts: 655000 | #Constraints: 37760 3280.13/3289.05 c #Conflicts: 656000 | #Constraints: 38760 3280.13/3289.05 c #Conflicts: 657000 | #Constraints: 39760 3280.13/3289.05 c #Conflicts: 658000 | #Constraints: 40760 3280.13/3289.05 c #Conflicts: 659000 | #Constraints: 41760 3280.13/3289.05 c #Conflicts: 660000 | #Constraints: 42760 3280.13/3289.05 c #Conflicts: 661000 | #Constraints: 43760 3280.13/3289.05 c #Conflicts: 662000 | #Constraints: 44760 3280.13/3289.05 c #Conflicts: 663000 | #Constraints: 45760 3280.13/3289.05 c #Conflicts: 664000 | #Constraints: 46760 3280.13/3289.05 c #Conflicts: 665000 | #Constraints: 47760 3280.13/3289.05 c #Conflicts: 666000 | #Constraints: 48760 3280.13/3289.05 c #Conflicts: 667000 | #Constraints: 49760 3280.13/3289.05 c #Conflicts: 668000 | #Constraints: 50760 3280.13/3289.05 c #Conflicts: 669000 | #Constraints: 51760 3280.13/3289.05 c #Conflicts: 670000 | #Constraints: 52761 3280.13/3289.05 c #Conflicts: 671000 | #Constraints: 53761 3280.13/3289.05 c #Conflicts: 672000 | #Constraints: 54761 3280.13/3289.05 c #Conflicts: 673000 | #Constraints: 55761 3280.13/3289.05 c #Conflicts: 674000 | #Constraints: 56762 3280.13/3289.05 c #Conflicts: 675000 | #Constraints: 57762 3280.13/3289.05 c #Conflicts: 676000 | #Constraints: 58762 3280.13/3289.05 c #Conflicts: 677000 | #Constraints: 59763 3280.13/3289.05 c #Conflicts: 678000 | #Constraints: 60763 3280.13/3289.05 c #Conflicts: 679000 | #Constraints: 61763 3280.13/3289.05 c #Conflicts: 680000 | #Constraints: 62763 3280.13/3289.05 c #Conflicts: 681000 | #Constraints: 63763 3280.13/3289.05 c #Conflicts: 682000 | #Constraints: 64763 3280.13/3289.05 c #Conflicts: 683000 | #Constraints: 65763 3280.13/3289.05 c #Conflicts: 684000 | #Constraints: 66764 3280.13/3289.05 c #Conflicts: 685000 | #Constraints: 67764 3280.13/3289.05 c #Conflicts: 686000 | #Constraints: 68764 3280.13/3289.05 c #Conflicts: 687000 | #Constraints: 69765 3280.13/3289.05 c #Conflicts: 688000 | #Constraints: 70766 3280.13/3289.05 c #Conflicts: 689000 | #Constraints: 71766 3280.13/3289.05 c #Conflicts: 690000 | #Constraints: 72766 3280.13/3289.05 c #Conflicts: 691000 | #Constraints: 73766 3280.13/3289.05 c #Conflicts: 692000 | #Constraints: 74766 3280.13/3289.05 c #Conflicts: 693000 | #Constraints: 75767 3280.13/3289.05 c #Conflicts: 694000 | #Constraints: 76767 3280.13/3289.05 c #Conflicts: 695000 | #Constraints: 77767 3280.13/3289.05 c #Conflicts: 696000 | #Constraints: 78767 3280.13/3289.05 c #Conflicts: 697000 | #Constraints: 79767 3280.13/3289.05 c #Conflicts: 698000 | #Constraints: 80767 3280.13/3289.05 c #Conflicts: 699000 | #Constraints: 81767 3280.13/3289.05 c #Conflicts: 700000 | #Constraints: 82767 3280.13/3289.05 c #Conflicts: 701000 | #Constraints: 83767 3280.13/3289.05 c #Conflicts: 702000 | #Constraints: 84767 3280.13/3289.05 c #Conflicts: 703000 | #Constraints: 85767 3280.13/3289.05 c #Conflicts: 704000 | #Constraints: 86767 3280.13/3289.05 c INPROCESSING 3280.13/3289.05 c GARBAGE COLLECT 3280.13/3289.05 c rational objective -2511.77 3335.69/3344.75 c #Conflicts: 705000 | #Constraints: 45571 3335.69/3344.75 c #Conflicts: 706000 | #Constraints: 46571 3335.69/3344.75 c #Conflicts: 707000 | #Constraints: 47571 3335.69/3344.75 c #Conflicts: 708000 | #Constraints: 48571 3335.69/3344.75 c #Conflicts: 709000 | #Constraints: 49571 3335.69/3344.75 c #Conflicts: 710000 | #Constraints: 50571 3335.69/3344.75 c #Conflicts: 711000 | #Constraints: 51571 3335.69/3344.75 c #Conflicts: 712000 | #Constraints: 52571 3335.69/3344.75 c #Conflicts: 713000 | #Constraints: 53571 3335.69/3344.75 c #Conflicts: 714000 | #Constraints: 54571 3335.69/3344.75 c #Conflicts: 715000 | #Constraints: 55571 3335.69/3344.75 c #Conflicts: 716000 | #Constraints: 56571 3335.69/3344.75 c #Conflicts: 717000 | #Constraints: 57571 3335.69/3344.75 c #Conflicts: 718000 | #Constraints: 58572 3335.69/3344.75 c #Conflicts: 719000 | #Constraints: 59577 3335.69/3344.75 c #Conflicts: 720000 | #Constraints: 60577 3335.69/3344.75 c #Conflicts: 721000 | #Constraints: 61578 3335.69/3344.75 c #Conflicts: 722000 | #Constraints: 62578 3335.69/3344.75 c INPROCESSING 3335.69/3344.75 c GARBAGE COLLECT 3335.69/3344.75 c rational objective -2482.08 3389.06/3398.27 c #Conflicts: 723000 | #Constraints: 33225 3389.06/3398.27 c #Conflicts: 724000 | #Constraints: 34228 3389.06/3398.27 c #Conflicts: 725000 | #Constraints: 35233 3389.06/3398.27 c #Conflicts: 726000 | #Constraints: 36237 3389.06/3398.27 c #Conflicts: 727000 | #Constraints: 37243 3389.06/3398.27 c #Conflicts: 728000 | #Constraints: 38247 3389.06/3398.27 c #Conflicts: 729000 | #Constraints: 39260 3389.06/3398.27 c #Conflicts: 730000 | #Constraints: 40262 3389.06/3398.27 c #Conflicts: 731000 | #Constraints: 41271 3389.06/3398.27 c #Conflicts: 732000 | #Constraints: 42284 3389.06/3398.27 c #Conflicts: 733000 | #Constraints: 43288 3389.06/3398.27 c #Conflicts: 734000 | #Constraints: 44298 3389.06/3398.27 c #Conflicts: 735000 | #Constraints: 45307 3389.06/3398.27 c #Conflicts: 736000 | #Constraints: 46313 3389.06/3398.27 c #Conflicts: 737000 | #Constraints: 47317 3389.06/3398.27 c #Conflicts: 738000 | #Constraints: 48322 3389.06/3398.27 c #Conflicts: 739000 | #Constraints: 49325 3389.06/3398.27 c #Conflicts: 740000 | #Constraints: 50330 3389.06/3398.27 c #Conflicts: 741000 | #Constraints: 51336 3389.06/3398.27 c INPROCESSING 3389.06/3398.27 c GARBAGE COLLECT 3389.06/3398.27 c rational objective -2470.81 3442.74/3452.03 c #Conflicts: 742000 | #Constraints: 27819 3442.74/3452.03 c #Conflicts: 743000 | #Constraints: 28819 3442.74/3452.03 c #Conflicts: 744000 | #Constraints: 29820 3442.74/3452.03 c #Conflicts: 745000 | #Constraints: 30827 3442.74/3452.03 c #Conflicts: 746000 | #Constraints: 31830 3442.74/3452.03 c #Conflicts: 747000 | #Constraints: 32832 3442.74/3452.03 c #Conflicts: 748000 | #Constraints: 33836 3442.74/3452.03 c #Conflicts: 749000 | #Constraints: 34838 3442.74/3452.03 c #Conflicts: 750000 | #Constraints: 35839 3442.74/3452.03 c #Conflicts: 751000 | #Constraints: 36841 3442.74/3452.03 c #Conflicts: 752000 | #Constraints: 37843 3442.74/3452.03 c #Conflicts: 753000 | #Constraints: 38844 3442.74/3452.03 c #Conflicts: 754000 | #Constraints: 39847 3442.74/3452.03 c #Conflicts: 755000 | #Constraints: 40849 3442.74/3452.03 c #Conflicts: 756000 | #Constraints: 41849 3442.74/3452.03 c #Conflicts: 757000 | #Constraints: 42853 3442.74/3452.03 c #Conflicts: 758000 | #Constraints: 43855 3442.74/3452.03 c #Conflicts: 759000 | #Constraints: 44855 3442.74/3452.03 c INPROCESSING 3442.74/3452.03 c GARBAGE COLLECT 3442.74/3452.03 c rational objective -2466.21 3502.19/3511.60 c #Conflicts: 760000 | #Constraints: 24173 3502.19/3511.60 c #Conflicts: 761000 | #Constraints: 25176 3502.19/3511.60 c #Conflicts: 762000 | #Constraints: 26188 3502.19/3511.60 c #Conflicts: 763000 | #Constraints: 27198 3502.19/3511.60 c #Conflicts: 764000 | #Constraints: 28201 3502.19/3511.60 c #Conflicts: 765000 | #Constraints: 29206 3502.19/3511.60 c #Conflicts: 766000 | #Constraints: 30212 3502.19/3511.60 c #Conflicts: 767000 | #Constraints: 31213 3502.19/3511.60 c #Conflicts: 768000 | #Constraints: 32215 3502.19/3511.60 c #Conflicts: 769000 | #Constraints: 33217 3502.19/3511.60 c #Conflicts: 770000 | #Constraints: 34218 3502.19/3511.60 c #Conflicts: 771000 | #Constraints: 35218 3502.19/3511.60 c #Conflicts: 772000 | #Constraints: 36222 3502.19/3511.60 c #Conflicts: 773000 | #Constraints: 37228 3502.19/3511.60 c #Conflicts: 774000 | #Constraints: 38234 3502.19/3511.60 c #Conflicts: 775000 | #Constraints: 39237 3502.19/3511.60 c #Conflicts: 776000 | #Constraints: 40237 3502.19/3511.60 c #Conflicts: 777000 | #Constraints: 41243 3502.19/3511.60 c #Conflicts: 778000 | #Constraints: 42246 3502.19/3511.60 c INPROCESSING 3502.19/3511.60 c GARBAGE COLLECT 3502.19/3511.60 c rational objective -2461.57 3553.48/3563.06 c #Conflicts: 779000 | #Constraints: 22860 3553.48/3563.06 c #Conflicts: 780000 | #Constraints: 23860 3553.48/3563.06 c #Conflicts: 781000 | #Constraints: 24860 3553.48/3563.06 c #Conflicts: 782000 | #Constraints: 25861 3553.48/3563.06 c #Conflicts: 783000 | #Constraints: 26862 3553.48/3563.06 c #Conflicts: 784000 | #Constraints: 27863 3553.48/3563.06 c #Conflicts: 785000 | #Constraints: 28863 3553.48/3563.06 c #Conflicts: 786000 | #Constraints: 29863 3553.48/3563.06 c #Conflicts: 787000 | #Constraints: 30865 3553.48/3563.06 c #Conflicts: 788000 | #Constraints: 31865 3553.48/3563.06 c #Conflicts: 789000 | #Constraints: 32866 3553.48/3563.06 c #Conflicts: 790000 | #Constraints: 33869 3553.48/3563.06 c #Conflicts: 791000 | #Constraints: 34872 3553.48/3563.06 c #Conflicts: 792000 | #Constraints: 35872 3553.48/3563.06 c #Conflicts: 793000 | #Constraints: 36878 3553.48/3563.06 c #Conflicts: 794000 | #Constraints: 37878 3553.48/3563.06 c #Conflicts: 795000 | #Constraints: 38895 3553.48/3563.06 c #Conflicts: 796000 | #Constraints: 39899 3553.48/3563.06 c #Conflicts: 797000 | #Constraints: 40900 3553.48/3563.06 c #Conflicts: 798000 | #Constraints: 41901 3553.48/3563.06 c INPROCESSING 3553.48/3563.06 c GARBAGE COLLECT 3553.48/3563.06 c rational objective -2449.29 3600.06/3609.70 c #Conflicts: 799000 | #Constraints: 23104 3600.06/3609.70 c #Conflicts: 800000 | #Constraints: 24104 3600.06/3609.70 c #Conflicts: 801000 | #Constraints: 25104 3600.06/3609.70 c #Conflicts: 802000 | #Constraints: 26105 3600.06/3609.70 c #Conflicts: 803000 | #Constraints: 27105 3600.06/3609.70 c #Conflicts: 804000 | #Constraints: 28105 3600.06/3609.70 c #Conflicts: 805000 | #Constraints: 29107 3600.06/3609.70 c #Conflicts: 806000 | #Constraints: 30108 3600.06/3609.70 c Program interrupted by user. 3600.06/3609.70 c cpu time 3581.95 s 3600.06/3609.70 c deterministic time 452872842720 4.53e+11 3600.06/3609.70 c optimization time 46.3299 s 3600.06/3609.70 c total solve time 3535.61 s 3600.06/3609.70 c core-guided solve time 2287.91 s 3600.06/3609.70 c propagation time 3006.31 s 3600.06/3609.70 c conflict analysis time 534.62 s 3600.06/3609.70 c propagations 121403941 3600.06/3609.70 c resolve steps 31452415 3600.06/3609.70 c decisions 1485750 3600.06/3609.70 c conflicts 806687 3600.06/3609.70 c restarts 1723 3600.06/3609.70 c inprocessing phases 60 3600.06/3609.70 c input clauses 1005 3600.06/3609.70 c input cardinalities 117 3600.06/3609.70 c input general constraints 1048 3600.06/3609.70 c input average constraint length 12.61 3600.06/3609.70 c input average constraint degree 64.46 3600.06/3609.70 c learned clauses 662412 3600.06/3609.70 c learned cardinalities 9 3600.06/3609.70 c learned general constraints 145357 3600.06/3609.70 c learned average constraint length 372.14 3600.06/3609.70 c learned average constraint degree 478201091.31 3600.06/3609.70 c watched constraints 134112 3600.06/3609.70 c counting constraints 12293 3600.06/3609.70 c gcd simplifications 314480 3600.06/3609.70 c detected cardinalities 6 3600.06/3609.70 c weakened non-implied lits 156392832 3600.06/3609.70 c weakened non-implying lits 810429 3600.06/3609.70 c original variables 882 3600.06/3609.70 c clausal propagations 72594768 3600.06/3609.70 c cardinality propagations 3938845 3600.06/3609.70 c watched propagations 7038473 3600.06/3609.70 c counting propagations 37117669 3600.06/3609.70 c watch lookups 46092175400 3600.06/3609.70 c watch backjump lookups 30677877154 3600.06/3609.70 c watch checks 358948004869 3600.06/3609.70 c propagation checks 15629831848 3600.06/3609.70 c constraint additions 1277513414 3600.06/3609.70 c trail pops 123694320 3600.06/3609.70 c formula constraints 1664 3600.06/3609.70 c learned constraints 805684 3600.06/3609.70 c bound constraints 20 3600.06/3609.70 c core-guided constraints 486 3600.06/3609.70 c encountered formula constraints 22296153 3600.06/3609.70 c encountered learned constraints 8468402 3600.06/3609.70 c encountered bound constraints 10931 3600.06/3609.70 c encountered core-guided constraints 1413647 3600.06/3609.70 c LP total time 25.8212 s 3600.06/3609.70 c LP solve time 22.75 s 3600.06/3609.70 c LP constraints added 2249 3600.06/3609.70 c LP constraints removed 358 3600.06/3609.70 c LP pivots internal 806915 3600.06/3609.70 c LP pivots root 49108 3600.06/3609.70 c LP calls 15314 3600.06/3609.70 c LP optimalities 14266 3600.06/3609.70 c LP no pivot count 293 3600.06/3609.70 c LP infeasibilities 1047 3600.06/3609.70 c LP valid Farkas constraints 1047 3600.06/3609.70 c LP learned Farkas constraints 1047 3600.06/3609.70 c LP basis resets 0 3600.06/3609.70 c LP cycling count 0 3600.06/3609.70 c LP singular count 0 3600.06/3609.70 c LP no primal count 0 3600.06/3609.70 c LP no farkas count 0 3600.06/3609.70 c LP other issue count 0 3600.06/3609.70 c LP Gomory cuts 0 3600.06/3609.70 c LP learned cuts 585 3600.06/3609.70 c LP deleted cuts 358 3600.06/3609.70 c LP encountered Gomory constraints 0 3600.06/3609.70 c LP encountered Farkas constraints 62790 3600.06/3609.70 c LP encountered learned Farkas constraints 6132 3600.06/3609.70 c CG auxiliary variables introduced 201 3600.06/3609.70 c CG solutions found 20 3600.06/3609.70 c CG cores constructed 117 3600.06/3609.70 c CG core cardinality constraints returned 0 3600.06/3609.70 c CG unit cores 0 3600.06/3609.70 c CG single cores 117 3600.06/3609.70 c CG blocks removed during cardinality reduction 0 3600.06/3609.70 c CG first core best 0 3600.06/3609.70 c CG decision core best 0 3600.06/3609.70 c CG core reduction tie 0 3600.06/3609.70 c CG core degree average 1.00 3600.06/3609.70 c CG core slack average 3.08 3600.06/3609.70 s SATISFIABLE 3600.06/3609.70 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 -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 -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
OK -270
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59436 MiB free)
memory of node 1: 64473 MiB (57396 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462850-1722346616/watcher-4462850-1722346616 -o /tmp/evaluation-result-4462850-1722346616/solver-4462850-1722346616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722340763-7267 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462850-1722346616 --lp-cut-gomory=0 HOME/instance-4462850-1722346616.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11267, runsolver pid=11264
[startup+0.100097 s]*
/proc/loadavg: 4.24 4.18 4.12 5/259 11268
/proc/meminfo: memFree=119632956/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=40020 memory=10312 CPUtime=0.07 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 993 0 0 0 7 0 0 0 20 0 1 0 1261780 40980480 2578 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 10005 2578 1826 992 0 1863 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40020 KiB
Current children cumulated memory: 10312 KiB
[startup+0.205738 s]*
/proc/loadavg: 4.24 4.18 4.12 5/259 11268
/proc/meminfo: memFree=119629116/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=40020 memory=12624 CPUtime=0.18 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 1098 0 0 0 17 1 0 0 20 0 1 0 1261780 40980480 3156 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 10005 3156 1826 992 0 1863 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40020 KiB
Current children cumulated memory: 12624 KiB
[startup+0.305754 s]*
/proc/loadavg: 4.24 4.18 4.12 5/259 11268
/proc/meminfo: memFree=119627280/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=40020 memory=12884 CPUtime=0.28 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 1125 0 0 0 27 1 0 0 20 0 1 0 1261780 40980480 3221 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 10005 3221 1826 992 0 1863 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 40020 KiB
Current children cumulated memory: 12884 KiB
[startup+0.700231 s]
/proc/loadavg: 4.24 4.18 4.12 5/259 11268
/proc/meminfo: memFree=119623780/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=41336 memory=14412 CPUtime=0.67 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 1502 0 0 0 64 3 0 0 20 0 1 0 1261780 42328064 3603 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 10334 3603 1882 992 0 2192 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41336 KiB
Current children cumulated memory: 14412 KiB
[startup+1.50025 s]
/proc/loadavg: 4.24 4.18 4.12 5/259 11268
/proc/meminfo: memFree=119616472/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=42864 memory=16524 CPUtime=1.46 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 1995 0 0 0 141 5 0 0 20 0 1 0 1261780 43892736 4131 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 10716 4131 1882 992 0 2574 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 42864 KiB
Current children cumulated memory: 16524 KiB
[startup+3.1056 s]
/proc/loadavg: 4.24 4.18 4.12 5/259 11268
/proc/meminfo: memFree=119591128/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=46556 memory=19552 CPUtime=3.06 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 2781 0 0 0 297 9 0 0 20 0 1 0 1261780 47673344 4888 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 11639 4888 1898 992 0 3497 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 46556 KiB
Current children cumulated memory: 19552 KiB
[startup+6.30022 s]
/proc/loadavg: 4.22 4.18 4.12 5/259 11270
/proc/meminfo: memFree=119561160/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=52240 memory=22648 CPUtime=6.25 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 3501 0 0 0 609 16 0 0 20 0 1 0 1261780 53493760 5662 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 13060 5662 1898 992 0 4918 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 52240 KiB
Current children cumulated memory: 22648 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.17 4.12 5/259 11270
/proc/meminfo: memFree=119507472/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=54192 memory=25552 CPUtime=12.64 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 4263 0 0 0 1236 28 0 0 20 0 1 0 1261780 55492608 6388 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 13548 6388 1898 992 0 5406 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 54192 KiB
Current children cumulated memory: 25552 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.17 4.11 5/259 11273
/proc/meminfo: memFree=119387672/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=63544 memory=31544 CPUtime=25.4 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 5256 0 0 0 2491 49 0 0 20 0 1 0 1261780 65069056 7886 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 15886 7886 1898 992 0 7744 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 63544 KiB
Current children cumulated memory: 31544 KiB
[startup+51.1057 s]
/proc/loadavg: 4.17 4.17 4.11 5/259 11279
/proc/meminfo: memFree=119200508/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=67304 memory=40128 CPUtime=50.95 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 6406 0 0 0 5013 82 0 0 20 0 1 0 1261780 68919296 10032 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 16826 10032 1898 992 0 8684 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 67304 KiB
Current children cumulated memory: 40128 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/259 11287
/proc/meminfo: memFree=118854152/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=68732 memory=42980 CPUtime=102 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 7161 0 0 0 10055 145 0 0 20 0 1 0 1261780 70381568 10745 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 17183 10745 1898 992 0 9041 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 68732 KiB
Current children cumulated memory: 42980 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/258 11297
/proc/meminfo: memFree=118439240/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=143972 memory=88460 CPUtime=161.83 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 11476 0 0 0 15978 205 0 0 20 0 1 0 1261780 147427328 22115 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 35993 22115 1898 992 0 27851 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 143972 KiB
Current children cumulated memory: 88460 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 11311
/proc/meminfo: memFree=118204068/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=152964 memory=113828 CPUtime=221.67 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 13279 0 0 0 21924 243 0 0 20 0 1 0 1261780 156635136 28457 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 38241 28457 1898 992 0 30099 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 152964 KiB
Current children cumulated memory: 113828 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/259 11322
/proc/meminfo: memFree=117924936/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=153924 memory=114852 CPUtime=281.51 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 13663 0 0 0 27873 278 0 0 20 0 1 0 1261780 157618176 28713 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 38481 28713 1898 992 0 30339 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 153924 KiB
Current children cumulated memory: 114852 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/259 11332
/proc/meminfo: memFree=117364900/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=154068 memory=115028 CPUtime=341.34 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 13834 0 0 0 33811 323 0 0 20 0 1 0 1261780 157765632 28757 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 38517 28757 1898 992 0 30375 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 154068 KiB
Current children cumulated memory: 115028 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/261 11344
/proc/meminfo: memFree=116844588/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=154104 memory=115064 CPUtime=401.18 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 13907 0 0 0 39740 378 0 0 20 0 1 0 1261780 157802496 28766 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 38526 28766 1898 992 0 30384 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 154104 KiB
Current children cumulated memory: 115064 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/261 11355
/proc/meminfo: memFree=116517140/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=207300 memory=134408 CPUtime=461 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 15346 0 0 0 45676 424 0 0 20 0 1 0 1261780 212275200 33602 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 51825 33602 1898 992 0 43683 0
################
# More data... #
################
Current children cumulated memory: 257644 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/259 13273
/proc/meminfo: memFree=117451148/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=338064 memory=257652 CPUtime=2914.3 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 28616 0 0 0 289927 1503 0 0 20 0 1 0 1261780 346177536 64413 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 84516 64413 1898 992 0 76374 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 338064 KiB
Current children cumulated memory: 257652 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/259 13283
/proc/meminfo: memFree=117267268/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=338064 memory=257652 CPUtime=2974.15 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 28622 0 0 0 295895 1520 0 0 20 0 1 0 1261780 346177536 64413 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 84516 64413 1898 992 0 76374 0
Current children cumulated CPU time: 2974.15 s
Current children cumulated vsize: 338064 KiB
Current children cumulated memory: 257652 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/259 13295
/proc/meminfo: memFree=117108732/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=338064 memory=257652 CPUtime=3034.01 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 28704 0 0 0 301863 1538 0 0 20 0 1 0 1261780 346177536 64413 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 84516 64413 1898 992 0 76374 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 338064 KiB
Current children cumulated memory: 257652 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/259 13473
/proc/meminfo: memFree=116952836/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=338288 memory=257804 CPUtime=3093.86 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 28770 0 0 0 307833 1553 0 0 20 0 1 0 1261780 346406912 64451 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 84572 64451 1898 992 0 76430 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 338288 KiB
Current children cumulated memory: 257804 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/258 13483
/proc/meminfo: memFree=116790428/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=338480 memory=257976 CPUtime=3153.72 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 28875 0 0 0 313805 1567 0 0 20 0 1 0 1261780 346603520 64494 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 84620 64494 1898 992 0 76478 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 338480 KiB
Current children cumulated memory: 257976 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/261 13553
/proc/meminfo: memFree=116645072/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=339216 memory=258224 CPUtime=3213.57 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 29003 0 0 0 319778 1579 0 0 20 0 1 0 1261780 347357184 64556 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 84804 64556 1898 992 0 76662 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 339216 KiB
Current children cumulated memory: 258224 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 13564
/proc/meminfo: memFree=116509648/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=340224 memory=258900 CPUtime=3273.44 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 29255 0 0 0 325751 1593 0 0 20 0 1 0 1261780 348389376 64725 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 85056 64725 1898 992 0 76914 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 340224 KiB
Current children cumulated memory: 258900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 13574
/proc/meminfo: memFree=116244064/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=340480 memory=259300 CPUtime=3333.3 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 29782 0 0 0 331702 1628 0 0 20 0 1 0 1261780 348651520 64825 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 85120 64825 1898 992 0 76978 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 340480 KiB
Current children cumulated memory: 259300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/261 13585
/proc/meminfo: memFree=115887548/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=341556 memory=260032 CPUtime=3393.15 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 30326 0 0 0 337640 1675 0 0 20 0 1 0 1261780 349753344 65008 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 85389 65008 1898 992 0 77247 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 341556 KiB
Current children cumulated memory: 260032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 13596
/proc/meminfo: memFree=115574892/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=341556 memory=261428 CPUtime=3453.01 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 30327 0 0 0 343577 1724 0 0 20 0 1 0 1261780 349753344 65357 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 85389 65357 1898 992 0 77247 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 341556 KiB
Current children cumulated memory: 261428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/260 13607
/proc/meminfo: memFree=115240768/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=341556 memory=261516 CPUtime=3512.87 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 30403 0 0 0 349525 1762 0 0 20 0 1 0 1261780 349753344 65379 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 85389 65379 1898 992 0 77247 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 341556 KiB
Current children cumulated memory: 261516 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/260 13617
/proc/meminfo: memFree=114923228/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=341556 memory=261516 CPUtime=3572.72 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 30403 0 0 0 355470 1802 0 0 20 0 1 0 1261780 349753344 65379 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 85389 65379 1898 992 0 77247 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 341556 KiB
Current children cumulated memory: 261516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 13621
/proc/meminfo: memFree=114832272/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=341556 memory=261516 CPUtime=3600.06 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 30463 0 0 0 358194 1812 0 0 20 0 1 0 1261780 349753344 65379 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 85389 65379 1898 992 0 77247 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 341556 KiB
Current children cumulated memory: 261516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.73 s]
# the end of solver process 11267 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.95 s, system=18.1293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 13621
/proc/meminfo: memFree=114832272/131524600 swapFree=131071996/131071996
[pid=11267] ppid=11264 vsize=341556 memory=261516 CPUtime=3600.06 cores=4,6
/proc/11267/stat : 11267 (roundingsat) R 11264 11267 7255 0 -1 4194304 30463 0 0 0 358194 1812 0 0 20 0 1 0 1261780 349753344 65379 134679101440 4194304 8255733 140734722739648 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27475968 140734722745182 140734722745444 140734722745444 140734722752457 0
/proc/11267/statm: 85389 65379 1898 992 0 77247 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 341556 KiB
Current children cumulated memory: 261516 KiB
Child status: 0
Real time (s): 3609.73
CPU time (s): 3600.08
CPU user time (s): 3581.95
CPU system time (s): 18.1293
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 342756
Max. memory (cumulated for all children) (KiB): 261516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.95
system time used= 18.1293
maximum resident set size= 261516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15412648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149
involuntary context switches= 4820
# summary of solver processes directly reported to runsolver:
# pid: 11267
# total CPU time (s): 3600.08
# total CPU user time (s): 3581.95
# total CPU system time (s): 18.1293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15201 second user time and 17.0302 second system time
The end
Begin job on nodeC026 at 2024-07-30 15:36:56 IDJOB=4462850 IDBENCH=158491 IDSOLVER=3089 FILE ID=nodeC026/4462850-1722346616 RUNJOBID= nodeC026-1722340763-7267 SLURM_JOB_ID= 8248999 Free space on /tmp= 890044 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462850-1722346616/watcher-4462850-1722346616 -o /tmp/evaluation-result-4462850-1722346616/solver-4462850-1722346616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722340763-7267 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462850-1722346616 --lp-cut-gomory=0 HOME/instance-4462850-1722346616.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f RANDOM SEED=1490781030 nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.034 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.578 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3613.059 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.734 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3629.343 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.612 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.985 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.575 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 119636744 kB MemAvailable: 128253548 kB Buffers: 50700 kB Cached: 9395128 kB SwapCached: 0 kB Active: 181140 kB Inactive: 11220924 kB Active(anon): 1504 kB Inactive(anon): 1976108 kB Active(file): 179636 kB Inactive(file): 9244816 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 91912 kB Writeback: 0 kB AnonPages: 1950844 kB Mapped: 97816 kB Shmem: 21336 kB KReclaimable: 64348 kB Slab: 145464 kB SReclaimable: 64348 kB SUnreclaim: 81116 kB KernelStack: 4160 kB PageTables: 12792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2528364 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 1355776 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 178900 kB DirectMap2M: 10080256 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890060 MiB End job on nodeC026 at 2024-07-30 16:37:06