| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 85 | 3600.06 | 3610.37 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-go19.opb |
| MD5SUM | 51fa3ae0158cc49e421df545accb4e20 |
| 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 | 84 |
| 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 | 441 |
| Total number of constraints | 441 |
| Number of constraints which are clauses | 361 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 361 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 361 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 361 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.01 c #variables 441 #constraints 441 0.67/0.73 c bounds - >= 0 @ 0.001036 0.67/0.73 c bounds 121 >= 0 @ 0.060179 0.67/0.73 c bounds 121 >= 1 @ 0.060268 0.67/0.73 c bounds 121 >= 2 @ 0.060307 0.67/0.73 c bounds 121 >= 3 @ 0.060342 0.67/0.73 c bounds 121 >= 4 @ 0.060377 0.67/0.73 c bounds 121 >= 5 @ 0.060417 0.67/0.73 c bounds 121 >= 6 @ 0.060451 0.67/0.73 c bounds 121 >= 7 @ 0.060484 0.67/0.73 c bounds 121 >= 8 @ 0.060536 0.67/0.73 c bounds 121 >= 9 @ 0.060584 0.67/0.73 c bounds 121 >= 10 @ 0.06063 0.67/0.73 c bounds 121 >= 11 @ 0.060695 0.67/0.73 c bounds 121 >= 12 @ 0.060741 0.67/0.73 c bounds 121 >= 13 @ 0.060784 0.67/0.73 c bounds 121 >= 14 @ 0.06084 0.67/0.73 c bounds 121 >= 15 @ 0.060895 0.67/0.73 c bounds 121 >= 16 @ 0.060948 0.67/0.73 c bounds 121 >= 17 @ 0.061001 0.67/0.73 c bounds 121 >= 18 @ 0.061067 0.67/0.73 c bounds 121 >= 19 @ 0.061115 0.67/0.73 c bounds 121 >= 20 @ 0.061161 0.67/0.73 c bounds 121 >= 21 @ 0.061223 0.67/0.73 c bounds 121 >= 22 @ 0.061281 0.67/0.73 c bounds 121 >= 23 @ 0.061337 0.67/0.73 c bounds 121 >= 24 @ 0.061393 0.67/0.73 c bounds 121 >= 25 @ 0.061447 0.67/0.73 c bounds 121 >= 26 @ 0.061498 0.67/0.73 c bounds 121 >= 27 @ 0.061566 0.67/0.73 c bounds 121 >= 28 @ 0.061651 0.67/0.73 c bounds 121 >= 29 @ 0.061733 0.67/0.73 c bounds 121 >= 30 @ 0.061799 0.67/0.73 c bounds 121 >= 31 @ 0.061861 0.67/0.73 c bounds 121 >= 32 @ 0.061922 0.67/0.73 c bounds 121 >= 33 @ 0.061996 0.67/0.73 c bounds 121 >= 34 @ 0.06207 0.67/0.73 c bounds 121 >= 35 @ 0.062139 0.67/0.73 c bounds 119 >= 35 @ 0.063024 0.67/0.73 c bounds 119 >= 36 @ 0.063102 0.67/0.73 c bounds 119 >= 37 @ 0.063171 0.67/0.73 c bounds 119 >= 38 @ 0.063236 0.67/0.73 c bounds 119 >= 39 @ 0.0633 0.67/0.73 c bounds 119 >= 40 @ 0.063378 0.67/0.73 c bounds 119 >= 41 @ 0.063454 0.67/0.73 c bounds 119 >= 42 @ 0.063526 0.67/0.73 c bounds 119 >= 43 @ 0.063596 0.67/0.73 c bounds 119 >= 44 @ 0.06367 0.67/0.73 c bounds 119 >= 45 @ 0.063688 0.67/0.73 c bounds 119 >= 46 @ 0.063688 0.67/0.73 c bounds 119 >= 47 @ 0.063688 0.67/0.73 c bounds 119 >= 48 @ 0.063688 0.67/0.73 c bounds 119 >= 49 @ 0.063688 0.67/0.73 c bounds 119 >= 50 @ 0.063688 0.67/0.73 c bounds 119 >= 51 @ 0.063688 0.67/0.73 c bounds 119 >= 52 @ 0.063688 0.67/0.73 c bounds 119 >= 53 @ 0.063688 0.67/0.73 c bounds 119 >= 54 @ 0.063688 0.67/0.73 c bounds 119 >= 55 @ 0.063688 0.67/0.73 c bounds 119 >= 56 @ 0.063688 0.67/0.73 c bounds 119 >= 57 @ 0.063688 0.67/0.73 c bounds 119 >= 58 @ 0.063688 0.67/0.73 c bounds 119 >= 59 @ 0.063688 0.67/0.73 c bounds 119 >= 60 @ 0.063688 0.67/0.73 c bounds 119 >= 61 @ 0.063688 0.67/0.73 c bounds 119 >= 62 @ 0.063688 0.67/0.73 c bounds 119 >= 63 @ 0.063688 0.67/0.73 c bounds 119 >= 64 @ 0.063688 0.67/0.73 c bounds 119 >= 65 @ 0.063688 0.67/0.73 c bounds 119 >= 66 @ 0.063715 0.67/0.73 c bounds 118 >= 66 @ 0.064224 0.67/0.73 c bounds 118 >= 67 @ 0.065415 0.67/0.73 c bounds 117 >= 67 @ 0.065663 0.67/0.73 c bounds 117 >= 68 @ 0.065693 0.67/0.73 c bounds 117 >= 69 @ 0.071737 0.67/0.73 c bounds 116 >= 69 @ 0.073479 0.67/0.73 c bounds 115 >= 69 @ 0.073629 0.67/0.73 c bounds 114 >= 69 @ 0.073629 0.67/0.73 c bounds 113 >= 69 @ 0.074119 0.67/0.73 c bounds 112 >= 69 @ 0.075788 0.67/0.73 c bounds 112 >= 70 @ 0.076596 0.67/0.73 c bounds 112 >= 71 @ 0.078074 0.67/0.73 c bounds 111 >= 71 @ 0.078941 0.67/0.73 c bounds 110 >= 71 @ 0.080956 0.67/0.73 c bounds 110 >= 72 @ 0.081562 0.67/0.73 c bounds 109 >= 72 @ 0.082294 0.67/0.73 c bounds 109 >= 73 @ 0.086298 0.67/0.73 c bounds 108 >= 73 @ 0.087397 0.67/0.73 c bounds 107 >= 73 @ 0.097143 0.67/0.73 c #Conflicts: 1000 | #Constraints: 1773 0.67/0.73 c bounds 107 >= 74 @ 0.198945 0.67/0.73 c bounds 106 >= 74 @ 0.203357 0.67/0.73 c bounds 105 >= 74 @ 0.204361 0.67/0.73 c bounds 104 >= 74 @ 0.214613 0.67/0.73 c bounds 103 >= 74 @ 0.217706 0.67/0.73 c bounds 102 >= 74 @ 0.224229 0.67/0.73 c bounds 101 >= 74 @ 0.237622 0.67/0.73 c #Conflicts: 2000 | #Constraints: 2832 0.67/0.73 c INPROCESSING 0.67/0.73 c GARBAGE COLLECT 0.67/0.73 c bounds 101 >= 75 @ 0.355923 0.67/0.73 c bounds 101 >= 76 @ 0.427988 0.67/0.73 c #Conflicts: 3000 | #Constraints: 2827 0.67/0.73 c bounds 100 >= 76 @ 0.555694 0.67/0.73 c #Conflicts: 4000 | #Constraints: 3828 0.67/0.73 c INPROCESSING 0.67/0.73 c GARBAGE COLLECT 0.67/0.73 c rational objective 76.5302 1.08/1.18 c bounds 99 >= 76 @ 0.650146 1.08/1.18 c #Conflicts: 5000 | #Constraints: 3260 1.08/1.18 c bounds 98 >= 76 @ 0.790592 1.08/1.18 c #Conflicts: 6000 | #Constraints: 4281 1.08/1.18 c INPROCESSING 1.08/1.18 c GARBAGE COLLECT 1.08/1.18 c rational objective 76.5302 1.67/1.77 c bounds 97 >= 76 @ 1.04963 1.67/1.77 c bounds 96 >= 76 @ 1.05022 1.67/1.77 c #Conflicts: 7000 | #Constraints: 3322 1.67/1.77 c bounds 95 >= 76 @ 1.24476 1.67/1.77 c #Conflicts: 8000 | #Constraints: 4375 1.67/1.77 c bounds 94 >= 76 @ 1.35982 1.67/1.77 c #Conflicts: 9000 | #Constraints: 5398 1.67/1.77 c INPROCESSING 1.67/1.77 c GARBAGE COLLECT 1.67/1.77 c rational objective 76.5302 2.48/2.50 c #Conflicts: 10000 | #Constraints: 4059 2.48/2.50 c bounds 93 >= 76 @ 1.83965 2.48/2.50 c bounds 92 >= 76 @ 1.89399 2.48/2.50 c #Conflicts: 11000 | #Constraints: 5095 2.48/2.50 c #Conflicts: 12000 | #Constraints: 6095 2.48/2.50 c INPROCESSING 2.48/2.50 c GARBAGE COLLECT 2.48/2.50 c rational objective 76.5302 3.17/3.23 c #Conflicts: 13000 | #Constraints: 4500 3.17/3.23 c #Conflicts: 14000 | #Constraints: 5523 3.17/3.23 c #Conflicts: 15000 | #Constraints: 6565 3.17/3.23 c INPROCESSING 3.17/3.23 c GARBAGE COLLECT 3.17/3.23 c rational objective 76.5302 4.27/4.30 c #Conflicts: 16000 | #Constraints: 4719 4.27/4.30 c #Conflicts: 17000 | #Constraints: 5719 4.27/4.30 c #Conflicts: 18000 | #Constraints: 6719 4.27/4.30 c INPROCESSING 4.27/4.30 c GARBAGE COLLECT 4.27/4.30 c rational objective 76.5302 4.97/5.09 c #Conflicts: 19000 | #Constraints: 4724 4.97/5.09 c bounds 91 >= 76 @ 4.33681 4.97/5.09 c #Conflicts: 20000 | #Constraints: 5757 4.97/5.09 c #Conflicts: 21000 | #Constraints: 6791 4.97/5.09 c bounds 90 >= 76 @ 4.55819 4.97/5.09 c bounds 89 >= 76 @ 4.62145 4.97/5.09 c INPROCESSING 4.97/5.09 c GARBAGE COLLECT 4.97/5.09 c rational objective 76.5302 6.07/6.18 c #Conflicts: 22000 | #Constraints: 4536 6.07/6.18 c #Conflicts: 23000 | #Constraints: 5565 6.07/6.18 c #Conflicts: 24000 | #Constraints: 6600 6.07/6.18 c #Conflicts: 25000 | #Constraints: 7639 6.07/6.18 c INPROCESSING 6.07/6.18 c GARBAGE COLLECT 6.07/6.18 c rational objective 76.5302 7.66/7.73 c #Conflicts: 26000 | #Constraints: 5163 7.66/7.73 c #Conflicts: 27000 | #Constraints: 6163 7.66/7.73 c #Conflicts: 28000 | #Constraints: 7163 7.66/7.73 c #Conflicts: 29000 | #Constraints: 8163 7.66/7.73 c INPROCESSING 7.66/7.73 c GARBAGE COLLECT 7.66/7.73 c rational objective 76.5302 8.85/8.96 c #Conflicts: 30000 | #Constraints: 5558 8.85/8.96 c #Conflicts: 31000 | #Constraints: 6581 8.85/8.96 c bounds 88 >= 76 @ 7.94738 8.85/8.96 c #Conflicts: 32000 | #Constraints: 7615 8.85/8.96 c #Conflicts: 33000 | #Constraints: 8615 8.85/8.96 c INPROCESSING 8.85/8.96 c GARBAGE COLLECT 8.85/8.96 c rational objective 76.5302 10.25/10.30 c #Conflicts: 34000 | #Constraints: 5793 10.25/10.30 c #Conflicts: 35000 | #Constraints: 6830 10.25/10.30 c #Conflicts: 36000 | #Constraints: 7868 10.25/10.30 c #Conflicts: 37000 | #Constraints: 8897 10.25/10.30 c INPROCESSING 10.25/10.30 c GARBAGE COLLECT 10.25/10.30 c rational objective 76.5302 11.74/11.86 c #Conflicts: 38000 | #Constraints: 5794 11.74/11.86 c #Conflicts: 39000 | #Constraints: 6794 11.74/11.86 c #Conflicts: 40000 | #Constraints: 7794 11.74/11.86 c bounds 88 >= 77 @ 10.7769 11.74/11.86 c #Conflicts: 41000 | #Constraints: 8898 11.74/11.86 c INPROCESSING 11.74/11.86 c GARBAGE COLLECT 11.74/11.86 c rational objective 76.5302 13.34/13.40 c #Conflicts: 42000 | #Constraints: 5648 13.34/13.40 c #Conflicts: 43000 | #Constraints: 6664 13.34/13.40 c #Conflicts: 44000 | #Constraints: 7702 13.34/13.40 c #Conflicts: 45000 | #Constraints: 8748 13.34/13.40 c #Conflicts: 46000 | #Constraints: 9787 13.34/13.40 c INPROCESSING 13.34/13.40 c GARBAGE COLLECT 13.34/13.40 c rational objective 76.5302 15.44/15.58 c #Conflicts: 47000 | #Constraints: 6277 15.44/15.58 c #Conflicts: 48000 | #Constraints: 7277 15.44/15.58 c #Conflicts: 49000 | #Constraints: 8277 15.44/15.58 c #Conflicts: 50000 | #Constraints: 9277 15.44/15.58 c #Conflicts: 51000 | #Constraints: 10277 15.44/15.58 c INPROCESSING 15.44/15.58 c GARBAGE COLLECT 15.44/15.58 c rational objective 76.5302 28.60/28.70 c bounds 87 >= 77 @ 14.7423 28.60/28.70 c #Conflicts: 52000 | #Constraints: 6683 28.60/28.70 c #Conflicts: 53000 | #Constraints: 7730 28.60/28.70 c bounds 86 >= 77 @ 15.3249 28.60/28.70 c #Conflicts: 54000 | #Constraints: 8770 28.60/28.70 c #Conflicts: 55000 | #Constraints: 9805 28.60/28.70 c #Conflicts: 56000 | #Constraints: 10839 28.60/28.70 c #Conflicts: 57000 | #Constraints: 11862 28.60/28.70 c #Conflicts: 58000 | #Constraints: 12884 28.60/28.70 c #Conflicts: 59000 | #Constraints: 13909 28.60/28.70 c #Conflicts: 60000 | #Constraints: 14941 28.60/28.70 c #Conflicts: 61000 | #Constraints: 15978 28.60/28.70 c #Conflicts: 62000 | #Constraints: 17009 28.60/28.70 c #Conflicts: 63000 | #Constraints: 18042 28.60/28.70 c #Conflicts: 64000 | #Constraints: 19076 28.60/28.70 c #Conflicts: 65000 | #Constraints: 20102 28.60/28.70 c #Conflicts: 66000 | #Constraints: 21125 28.60/28.70 c #Conflicts: 67000 | #Constraints: 22153 28.60/28.70 c #Conflicts: 68000 | #Constraints: 23178 28.60/28.70 c #Conflicts: 69000 | #Constraints: 24197 28.60/28.70 c #Conflicts: 70000 | #Constraints: 25224 28.60/28.70 c INPROCESSING 28.60/28.70 c GARBAGE COLLECT 28.60/28.70 c rational objective 76.5302 33.08/33.23 c #Conflicts: 71000 | #Constraints: 13915 33.08/33.23 c #Conflicts: 72000 | #Constraints: 14915 33.08/33.23 c #Conflicts: 73000 | #Constraints: 15915 33.08/33.23 c #Conflicts: 74000 | #Constraints: 16915 33.08/33.23 c #Conflicts: 75000 | #Constraints: 17915 33.08/33.23 c #Conflicts: 76000 | #Constraints: 18915 33.08/33.23 c INPROCESSING 33.08/33.23 c GARBAGE COLLECT 33.08/33.23 c rational objective 76.5302 38.36/38.53 c #Conflicts: 77000 | #Constraints: 10748 38.36/38.53 c #Conflicts: 78000 | #Constraints: 11748 38.36/38.53 c #Conflicts: 79000 | #Constraints: 12748 38.36/38.53 c #Conflicts: 80000 | #Constraints: 13748 38.36/38.53 c #Conflicts: 81000 | #Constraints: 14748 38.36/38.53 c #Conflicts: 82000 | #Constraints: 15748 38.36/38.53 c INPROCESSING 38.36/38.53 c GARBAGE COLLECT 38.36/38.53 c rational objective 76.5302 43.75/43.98 c #Conflicts: 83000 | #Constraints: 9022 43.75/43.98 c #Conflicts: 84000 | #Constraints: 10022 43.75/43.98 c #Conflicts: 85000 | #Constraints: 11022 43.75/43.98 c #Conflicts: 86000 | #Constraints: 12022 43.75/43.98 c #Conflicts: 87000 | #Constraints: 13022 43.75/43.98 c #Conflicts: 88000 | #Constraints: 14022 43.75/43.98 c #Conflicts: 89000 | #Constraints: 15022 43.75/43.98 c INPROCESSING 43.75/43.98 c GARBAGE COLLECT 43.75/43.98 c rational objective 76.5302 64.68/64.94 c #Conflicts: 90000 | #Constraints: 8925 64.68/64.94 c #Conflicts: 91000 | #Constraints: 9956 64.68/64.94 c #Conflicts: 92000 | #Constraints: 10985 64.68/64.94 c #Conflicts: 93000 | #Constraints: 12017 64.68/64.94 c #Conflicts: 94000 | #Constraints: 13042 64.68/64.94 c #Conflicts: 95000 | #Constraints: 14077 64.68/64.94 c #Conflicts: 96000 | #Constraints: 15104 64.68/64.94 c #Conflicts: 97000 | #Constraints: 16135 64.68/64.94 c #Conflicts: 98000 | #Constraints: 17170 64.68/64.94 c #Conflicts: 99000 | #Constraints: 18202 64.68/64.94 c #Conflicts: 100000 | #Constraints: 19235 64.68/64.94 c #Conflicts: 101000 | #Constraints: 20272 64.68/64.94 c #Conflicts: 102000 | #Constraints: 21301 64.68/64.94 c #Conflicts: 103000 | #Constraints: 22328 64.68/64.94 c #Conflicts: 104000 | #Constraints: 23360 64.68/64.94 c #Conflicts: 105000 | #Constraints: 24389 64.68/64.94 c #Conflicts: 106000 | #Constraints: 25420 64.68/64.94 c #Conflicts: 107000 | #Constraints: 26454 64.68/64.94 c #Conflicts: 108000 | #Constraints: 27485 64.68/64.94 c #Conflicts: 109000 | #Constraints: 28516 64.68/64.94 c #Conflicts: 110000 | #Constraints: 29542 64.68/64.94 c #Conflicts: 111000 | #Constraints: 30567 64.68/64.94 c #Conflicts: 112000 | #Constraints: 31592 64.68/64.94 c #Conflicts: 113000 | #Constraints: 32621 64.68/64.94 c #Conflicts: 114000 | #Constraints: 33660 64.68/64.94 c INPROCESSING 64.68/64.94 c GARBAGE COLLECT 64.68/64.94 c rational objective 76.5302 74.05/74.32 c #Conflicts: 115000 | #Constraints: 18321 74.05/74.32 c #Conflicts: 116000 | #Constraints: 19321 74.05/74.32 c #Conflicts: 117000 | #Constraints: 20321 74.05/74.32 c bounds 86 >= 78 @ 66.5918 74.05/74.32 c #Conflicts: 118000 | #Constraints: 21395 74.05/74.32 c #Conflicts: 119000 | #Constraints: 22395 74.05/74.32 c #Conflicts: 120000 | #Constraints: 23395 74.05/74.32 c #Conflicts: 121000 | #Constraints: 24395 74.05/74.32 c INPROCESSING 74.05/74.32 c GARBAGE COLLECT 74.05/74.32 c rational objective 76.5302 82.33/82.68 c #Conflicts: 122000 | #Constraints: 13376 82.33/82.68 c #Conflicts: 123000 | #Constraints: 14376 82.33/82.68 c #Conflicts: 124000 | #Constraints: 15376 82.33/82.68 c #Conflicts: 125000 | #Constraints: 16376 82.33/82.68 c #Conflicts: 126000 | #Constraints: 17376 82.33/82.68 c #Conflicts: 127000 | #Constraints: 18376 82.33/82.68 c #Conflicts: 128000 | #Constraints: 19376 82.33/82.68 c #Conflicts: 129000 | #Constraints: 20376 82.33/82.68 c INPROCESSING 82.33/82.68 c GARBAGE COLLECT 82.33/82.68 c rational objective 76.5302 109.07/109.45 c #Conflicts: 130000 | #Constraints: 11383 109.07/109.45 c #Conflicts: 131000 | #Constraints: 12394 109.07/109.45 c #Conflicts: 132000 | #Constraints: 13428 109.07/109.45 c #Conflicts: 133000 | #Constraints: 14466 109.07/109.45 c #Conflicts: 134000 | #Constraints: 15492 109.07/109.45 c #Conflicts: 135000 | #Constraints: 16513 109.07/109.45 c #Conflicts: 136000 | #Constraints: 17542 109.07/109.45 c #Conflicts: 137000 | #Constraints: 18565 109.07/109.45 c #Conflicts: 138000 | #Constraints: 19588 109.07/109.45 c #Conflicts: 139000 | #Constraints: 20608 109.07/109.45 c #Conflicts: 140000 | #Constraints: 21636 109.07/109.45 c #Conflicts: 141000 | #Constraints: 22660 109.07/109.45 c #Conflicts: 142000 | #Constraints: 23694 109.07/109.45 c #Conflicts: 143000 | #Constraints: 24727 109.07/109.45 c #Conflicts: 144000 | #Constraints: 25765 109.07/109.45 c #Conflicts: 145000 | #Constraints: 26797 109.07/109.45 c #Conflicts: 146000 | #Constraints: 27823 109.07/109.45 c #Conflicts: 147000 | #Constraints: 28856 109.07/109.45 c #Conflicts: 148000 | #Constraints: 29879 109.07/109.45 c #Conflicts: 149000 | #Constraints: 30909 109.07/109.46 c #Conflicts: 150000 | #Constraints: 31935 109.07/109.46 c #Conflicts: 151000 | #Constraints: 32954 109.07/109.46 c #Conflicts: 152000 | #Constraints: 33976 109.07/109.46 c #Conflicts: 153000 | #Constraints: 35001 109.07/109.46 c #Conflicts: 154000 | #Constraints: 36030 109.07/109.46 c #Conflicts: 155000 | #Constraints: 37057 109.07/109.46 c #Conflicts: 156000 | #Constraints: 38079 109.07/109.46 c #Conflicts: 157000 | #Constraints: 39095 109.07/109.46 c #Conflicts: 158000 | #Constraints: 40117 109.07/109.46 c INPROCESSING 109.07/109.46 c GARBAGE COLLECT 109.07/109.46 c rational objective 76.5302 122.43/122.82 c #Conflicts: 159000 | #Constraints: 21250 122.43/122.82 c #Conflicts: 160000 | #Constraints: 22250 122.43/122.82 c #Conflicts: 161000 | #Constraints: 23250 122.43/122.82 c #Conflicts: 162000 | #Constraints: 24250 122.43/122.82 c #Conflicts: 163000 | #Constraints: 25250 122.43/122.82 c #Conflicts: 164000 | #Constraints: 26250 122.43/122.82 c #Conflicts: 165000 | #Constraints: 27250 122.43/122.82 c #Conflicts: 166000 | #Constraints: 28250 122.43/122.82 c #Conflicts: 167000 | #Constraints: 29250 122.43/122.82 c #Conflicts: 168000 | #Constraints: 30250 122.43/122.82 c INPROCESSING 122.43/122.82 c GARBAGE COLLECT 122.43/122.82 c rational objective 76.5302 135.30/135.73 c #Conflicts: 169000 | #Constraints: 16723 135.30/135.73 c #Conflicts: 170000 | #Constraints: 17723 135.30/135.73 c #Conflicts: 171000 | #Constraints: 18723 135.30/135.73 c #Conflicts: 172000 | #Constraints: 19723 135.30/135.73 c bounds 86 >= 79 @ 125.86 135.30/135.73 c #Conflicts: 173000 | #Constraints: 20755 135.30/135.73 c #Conflicts: 174000 | #Constraints: 21755 135.30/135.73 c #Conflicts: 175000 | #Constraints: 22755 135.30/135.73 c #Conflicts: 176000 | #Constraints: 23755 135.30/135.73 c #Conflicts: 177000 | #Constraints: 24755 135.30/135.73 c INPROCESSING 135.30/135.73 c GARBAGE COLLECT 135.30/135.73 c rational objective 76.5302 173.10/173.65 c #Conflicts: 178000 | #Constraints: 13726 173.10/173.65 c #Conflicts: 179000 | #Constraints: 14726 173.10/173.65 c #Conflicts: 180000 | #Constraints: 15760 173.10/173.65 c #Conflicts: 181000 | #Constraints: 16803 173.10/173.65 c #Conflicts: 182000 | #Constraints: 17844 173.10/173.65 c #Conflicts: 183000 | #Constraints: 18873 173.10/173.65 c #Conflicts: 184000 | #Constraints: 19904 173.10/173.65 c #Conflicts: 185000 | #Constraints: 20930 173.10/173.65 c #Conflicts: 186000 | #Constraints: 21964 173.10/173.65 c #Conflicts: 187000 | #Constraints: 22992 173.10/173.65 c #Conflicts: 188000 | #Constraints: 24018 173.10/173.65 c #Conflicts: 189000 | #Constraints: 25054 173.10/173.65 c #Conflicts: 190000 | #Constraints: 26086 173.10/173.65 c #Conflicts: 191000 | #Constraints: 27108 173.10/173.65 c #Conflicts: 192000 | #Constraints: 28131 173.10/173.65 c #Conflicts: 193000 | #Constraints: 29160 173.10/173.65 c #Conflicts: 194000 | #Constraints: 30190 173.10/173.65 c #Conflicts: 195000 | #Constraints: 31220 173.10/173.65 c #Conflicts: 196000 | #Constraints: 32244 173.10/173.65 c #Conflicts: 197000 | #Constraints: 33281 173.10/173.65 c #Conflicts: 198000 | #Constraints: 34306 173.10/173.65 c #Conflicts: 199000 | #Constraints: 35341 173.10/173.65 c #Conflicts: 200000 | #Constraints: 36368 173.10/173.65 c #Conflicts: 201000 | #Constraints: 37398 173.10/173.65 c #Conflicts: 202000 | #Constraints: 38424 173.10/173.65 c #Conflicts: 203000 | #Constraints: 39450 173.10/173.65 c #Conflicts: 204000 | #Constraints: 40478 173.10/173.65 c #Conflicts: 205000 | #Constraints: 41512 173.10/173.65 c #Conflicts: 206000 | #Constraints: 42536 173.10/173.65 c #Conflicts: 207000 | #Constraints: 43572 173.10/173.65 c #Conflicts: 208000 | #Constraints: 44600 173.10/173.65 c #Conflicts: 209000 | #Constraints: 45624 173.10/173.65 c #Conflicts: 210000 | #Constraints: 46655 173.10/173.65 c INPROCESSING 173.10/173.65 c GARBAGE COLLECT 173.10/173.65 c rational objective 76.5302 189.35/189.96 c #Conflicts: 211000 | #Constraints: 24589 189.35/189.96 c #Conflicts: 212000 | #Constraints: 25589 189.35/189.96 c #Conflicts: 213000 | #Constraints: 26589 189.35/189.96 c #Conflicts: 214000 | #Constraints: 27589 189.35/189.96 c #Conflicts: 215000 | #Constraints: 28589 189.35/189.96 c #Conflicts: 216000 | #Constraints: 29589 189.35/189.96 c #Conflicts: 217000 | #Constraints: 30589 189.35/189.96 c #Conflicts: 218000 | #Constraints: 31589 189.35/189.96 c #Conflicts: 219000 | #Constraints: 32589 189.35/189.96 c #Conflicts: 220000 | #Constraints: 33589 189.35/189.96 c #Conflicts: 221000 | #Constraints: 34589 189.35/189.96 c INPROCESSING 189.35/189.96 c GARBAGE COLLECT 189.35/189.96 c rational objective 76.5302 205.21/205.84 c #Conflicts: 222000 | #Constraints: 18699 205.21/205.84 c #Conflicts: 223000 | #Constraints: 19699 205.21/205.84 c #Conflicts: 224000 | #Constraints: 20699 205.21/205.84 c #Conflicts: 225000 | #Constraints: 21699 205.21/205.84 c #Conflicts: 226000 | #Constraints: 22699 205.21/205.84 c #Conflicts: 227000 | #Constraints: 23699 205.21/205.84 c #Conflicts: 228000 | #Constraints: 24699 205.21/205.84 c #Conflicts: 229000 | #Constraints: 25699 205.21/205.84 c #Conflicts: 230000 | #Constraints: 26699 205.21/205.84 c #Conflicts: 231000 | #Constraints: 27699 205.21/205.84 c #Conflicts: 232000 | #Constraints: 28699 205.21/205.84 c INPROCESSING 205.21/205.84 c GARBAGE COLLECT 205.21/205.84 c rational objective 76.5302 258.08/258.83 c #Conflicts: 233000 | #Constraints: 15765 258.08/258.83 c #Conflicts: 234000 | #Constraints: 16797 258.08/258.83 c #Conflicts: 235000 | #Constraints: 17832 258.08/258.83 c #Conflicts: 236000 | #Constraints: 18866 258.08/258.83 c #Conflicts: 237000 | #Constraints: 19905 258.08/258.83 c #Conflicts: 238000 | #Constraints: 20939 258.08/258.83 c #Conflicts: 239000 | #Constraints: 21971 258.08/258.83 c #Conflicts: 240000 | #Constraints: 22998 258.08/258.83 c #Conflicts: 241000 | #Constraints: 24026 258.08/258.83 c #Conflicts: 242000 | #Constraints: 25055 258.08/258.83 c #Conflicts: 243000 | #Constraints: 26078 258.08/258.83 c #Conflicts: 244000 | #Constraints: 27101 258.08/258.83 c #Conflicts: 245000 | #Constraints: 28126 258.08/258.83 c #Conflicts: 246000 | #Constraints: 29154 258.08/258.83 c #Conflicts: 247000 | #Constraints: 30188 258.08/258.83 c #Conflicts: 248000 | #Constraints: 31213 258.08/258.83 c #Conflicts: 249000 | #Constraints: 32237 258.08/258.83 c #Conflicts: 250000 | #Constraints: 33262 258.08/258.83 c #Conflicts: 251000 | #Constraints: 34281 258.08/258.83 c #Conflicts: 252000 | #Constraints: 35305 258.08/258.83 c #Conflicts: 253000 | #Constraints: 36335 258.08/258.83 c #Conflicts: 254000 | #Constraints: 37362 258.08/258.83 c #Conflicts: 255000 | #Constraints: 38384 258.08/258.83 c #Conflicts: 256000 | #Constraints: 39409 258.08/258.83 c #Conflicts: 257000 | #Constraints: 40438 258.08/258.83 c #Conflicts: 258000 | #Constraints: 41462 258.08/258.83 c #Conflicts: 259000 | #Constraints: 42482 258.08/258.83 c #Conflicts: 260000 | #Constraints: 43502 258.08/258.83 c #Conflicts: 261000 | #Constraints: 44524 258.08/258.83 c #Conflicts: 262000 | #Constraints: 45541 258.08/258.83 c #Conflicts: 263000 | #Constraints: 46561 258.08/258.83 c #Conflicts: 264000 | #Constraints: 47589 258.08/258.83 c #Conflicts: 265000 | #Constraints: 48625 258.08/258.83 c #Conflicts: 266000 | #Constraints: 49645 258.08/258.83 c #Conflicts: 267000 | #Constraints: 50676 258.08/258.83 c #Conflicts: 268000 | #Constraints: 51707 258.08/258.83 c #Conflicts: 269000 | #Constraints: 52736 258.08/258.83 c INPROCESSING 258.08/258.83 c GARBAGE COLLECT 258.08/258.83 c rational objective 76.5302 279.42/280.24 c #Conflicts: 270000 | #Constraints: 27587 279.42/280.24 c #Conflicts: 271000 | #Constraints: 28587 279.42/280.24 c #Conflicts: 272000 | #Constraints: 29587 279.42/280.24 c #Conflicts: 273000 | #Constraints: 30587 279.42/280.24 c #Conflicts: 274000 | #Constraints: 31587 279.42/280.24 c #Conflicts: 275000 | #Constraints: 32587 279.42/280.24 c #Conflicts: 276000 | #Constraints: 33587 279.42/280.24 c #Conflicts: 277000 | #Constraints: 34587 279.42/280.24 c #Conflicts: 278000 | #Constraints: 35587 279.42/280.24 c #Conflicts: 279000 | #Constraints: 36587 279.42/280.24 c #Conflicts: 280000 | #Constraints: 37587 279.42/280.24 c #Conflicts: 281000 | #Constraints: 38587 279.42/280.24 c #Conflicts: 282000 | #Constraints: 39587 279.42/280.24 c INPROCESSING 279.42/280.24 c GARBAGE COLLECT 279.42/280.24 c rational objective 76.5302 302.65/303.54 c #Conflicts: 283000 | #Constraints: 21408 302.65/303.54 c #Conflicts: 284000 | #Constraints: 22408 302.65/303.54 c #Conflicts: 285000 | #Constraints: 23408 302.65/303.54 c #Conflicts: 286000 | #Constraints: 24408 302.65/303.54 c #Conflicts: 287000 | #Constraints: 25408 302.65/303.54 c #Conflicts: 288000 | #Constraints: 26408 302.65/303.54 c #Conflicts: 289000 | #Constraints: 27408 302.65/303.54 c #Conflicts: 290000 | #Constraints: 28408 302.65/303.54 c #Conflicts: 291000 | #Constraints: 29408 302.65/303.54 c #Conflicts: 292000 | #Constraints: 30408 302.65/303.54 c #Conflicts: 293000 | #Constraints: 31408 302.65/303.54 c #Conflicts: 294000 | #Constraints: 32408 302.65/303.54 c INPROCESSING 302.65/303.54 c GARBAGE COLLECT 302.65/303.54 c rational objective 76.5302 430.53/431.77 c #Conflicts: 295000 | #Constraints: 17577 430.53/431.77 c #Conflicts: 296000 | #Constraints: 18577 430.53/431.77 c #Conflicts: 297000 | #Constraints: 19577 430.53/431.77 c #Conflicts: 298000 | #Constraints: 20577 430.53/431.77 c #Conflicts: 299000 | #Constraints: 21577 430.53/431.77 c #Conflicts: 300000 | #Constraints: 22577 430.53/431.77 c #Conflicts: 301000 | #Constraints: 23577 430.53/431.77 c #Conflicts: 302000 | #Constraints: 24577 430.53/431.77 c #Conflicts: 303000 | #Constraints: 25577 430.53/431.77 c #Conflicts: 304000 | #Constraints: 26577 430.53/431.77 c #Conflicts: 305000 | #Constraints: 27577 430.53/431.77 c #Conflicts: 306000 | #Constraints: 28577 430.53/431.77 c #Conflicts: 307000 | #Constraints: 29577 430.53/431.77 c #Conflicts: 308000 | #Constraints: 30577 430.53/431.77 c #Conflicts: 309000 | #Constraints: 31577 430.53/431.77 c #Conflicts: 310000 | #Constraints: 32577 430.53/431.77 c #Conflicts: 311000 | #Constraints: 33577 430.53/431.77 c #Conflicts: 312000 | #Constraints: 34577 430.53/431.77 c #Conflicts: 313000 | #Constraints: 35577 430.53/431.77 c #Conflicts: 314000 | #Constraints: 36577 430.53/431.77 c #Conflicts: 315000 | #Constraints: 37577 430.53/431.77 c #Conflicts: 316000 | #Constraints: 38577 430.53/431.77 c #Conflicts: 317000 | #Constraints: 39577 430.53/431.77 c #Conflicts: 318000 | #Constraints: 40577 430.53/431.77 c #Conflicts: 319000 | #Constraints: 41577 430.53/431.77 c #Conflicts: 320000 | #Constraints: 42577 430.53/431.77 c #Conflicts: 321000 | #Constraints: 43577 430.53/431.77 c #Conflicts: 322000 | #Constraints: 44577 430.53/431.77 c #Conflicts: 323000 | #Constraints: 45577 430.53/431.77 c #Conflicts: 324000 | #Constraints: 46577 430.53/431.77 c #Conflicts: 325000 | #Constraints: 47577 430.53/431.77 c #Conflicts: 326000 | #Constraints: 48577 430.53/431.77 c #Conflicts: 327000 | #Constraints: 49577 430.53/431.77 c #Conflicts: 328000 | #Constraints: 50577 430.53/431.77 c #Conflicts: 329000 | #Constraints: 51577 430.53/431.77 c #Conflicts: 330000 | #Constraints: 52577 430.53/431.77 c #Conflicts: 331000 | #Constraints: 53577 430.53/431.77 c #Conflicts: 332000 | #Constraints: 54577 430.53/431.77 c #Conflicts: 333000 | #Constraints: 55577 430.53/431.77 c #Conflicts: 334000 | #Constraints: 56577 430.53/431.77 c #Conflicts: 335000 | #Constraints: 57577 430.53/431.77 c #Conflicts: 336000 | #Constraints: 58577 430.53/431.77 c INPROCESSING 430.53/431.77 c GARBAGE COLLECT 430.53/431.77 c rational objective 76.5302 445.19/446.49 c #Conflicts: 337000 | #Constraints: 30917 445.19/446.49 c #Conflicts: 338000 | #Constraints: 31929 445.19/446.49 c #Conflicts: 339000 | #Constraints: 32969 445.19/446.49 c #Conflicts: 340000 | #Constraints: 33999 445.19/446.49 c #Conflicts: 341000 | #Constraints: 35044 445.19/446.49 c #Conflicts: 342000 | #Constraints: 36071 445.19/446.49 c #Conflicts: 343000 | #Constraints: 37101 445.19/446.49 c #Conflicts: 344000 | #Constraints: 38131 445.19/446.49 c #Conflicts: 345000 | #Constraints: 39155 445.19/446.49 c #Conflicts: 346000 | #Constraints: 40183 445.19/446.49 c #Conflicts: 347000 | #Constraints: 41206 445.19/446.49 c #Conflicts: 348000 | #Constraints: 42236 445.19/446.49 c #Conflicts: 349000 | #Constraints: 43268 445.19/446.49 c INPROCESSING 445.19/446.49 c GARBAGE COLLECT 445.19/446.49 c rational objective 76.5302 458.75/460.02 c #Conflicts: 350000 | #Constraints: 22800 458.75/460.02 c #Conflicts: 351000 | #Constraints: 23810 458.75/460.02 c #Conflicts: 352000 | #Constraints: 24850 458.75/460.02 c #Conflicts: 353000 | #Constraints: 25884 458.75/460.02 c #Conflicts: 354000 | #Constraints: 26914 458.75/460.02 c #Conflicts: 355000 | #Constraints: 27945 458.75/460.02 c #Conflicts: 356000 | #Constraints: 28969 458.75/460.02 c #Conflicts: 357000 | #Constraints: 29990 458.75/460.02 c #Conflicts: 358000 | #Constraints: 31013 458.75/460.02 c #Conflicts: 359000 | #Constraints: 32040 458.75/460.02 c #Conflicts: 360000 | #Constraints: 33067 458.75/460.02 c #Conflicts: 361000 | #Constraints: 34092 458.75/460.02 c #Conflicts: 362000 | #Constraints: 35113 458.75/460.02 c #Conflicts: 363000 | #Constraints: 36148 458.75/460.02 c INPROCESSING 458.75/460.02 c GARBAGE COLLECT 458.75/460.02 c rational objective 76.5302 524.79/526.28 c #Conflicts: 364000 | #Constraints: 20280 524.79/526.28 c #Conflicts: 365000 | #Constraints: 21288 524.79/526.28 c #Conflicts: 366000 | #Constraints: 22314 524.79/526.28 c #Conflicts: 367000 | #Constraints: 23347 524.79/526.28 c #Conflicts: 368000 | #Constraints: 24380 524.79/526.28 c #Conflicts: 369000 | #Constraints: 25412 524.79/526.28 c #Conflicts: 370000 | #Constraints: 26440 524.79/526.28 c #Conflicts: 371000 | #Constraints: 27467 524.79/526.28 c #Conflicts: 372000 | #Constraints: 28504 524.79/526.28 c #Conflicts: 373000 | #Constraints: 29535 524.79/526.28 c #Conflicts: 374000 | #Constraints: 30567 524.79/526.28 c #Conflicts: 375000 | #Constraints: 31601 524.79/526.28 c #Conflicts: 376000 | #Constraints: 32634 524.79/526.28 c #Conflicts: 377000 | #Constraints: 33663 524.79/526.28 c #Conflicts: 378000 | #Constraints: 34698 524.79/526.28 c #Conflicts: 379000 | #Constraints: 35741 524.79/526.28 c #Conflicts: 380000 | #Constraints: 36770 524.79/526.28 c #Conflicts: 381000 | #Constraints: 37810 524.79/526.28 c #Conflicts: 382000 | #Constraints: 38842 524.79/526.28 c #Conflicts: 383000 | #Constraints: 39863 524.79/526.28 c #Conflicts: 384000 | #Constraints: 40887 524.79/526.28 c #Conflicts: 385000 | #Constraints: 41915 524.79/526.28 c #Conflicts: 386000 | #Constraints: 42943 524.79/526.28 c #Conflicts: 387000 | #Constraints: 43966 524.79/526.28 c #Conflicts: 388000 | #Constraints: 44992 524.79/526.28 c #Conflicts: 389000 | #Constraints: 46023 524.79/526.28 c #Conflicts: 390000 | #Constraints: 47034 524.79/526.28 c #Conflicts: 391000 | #Constraints: 48058 524.79/526.28 c #Conflicts: 392000 | #Constraints: 49088 524.79/526.28 c #Conflicts: 393000 | #Constraints: 50118 524.79/526.28 c #Conflicts: 394000 | #Constraints: 51157 524.79/526.28 c #Conflicts: 395000 | #Constraints: 52181 524.79/526.28 c #Conflicts: 396000 | #Constraints: 53207 524.79/526.28 c #Conflicts: 397000 | #Constraints: 54233 524.79/526.28 c #Conflicts: 398000 | #Constraints: 55252 524.79/526.28 c #Conflicts: 399000 | #Constraints: 56269 524.79/526.28 c #Conflicts: 400000 | #Constraints: 57299 524.79/526.28 c #Conflicts: 401000 | #Constraints: 58323 524.79/526.28 c #Conflicts: 402000 | #Constraints: 59343 524.79/526.28 c #Conflicts: 403000 | #Constraints: 60365 524.79/526.28 c #Conflicts: 404000 | #Constraints: 61394 524.79/526.28 c #Conflicts: 405000 | #Constraints: 62426 524.79/526.28 c #Conflicts: 406000 | #Constraints: 63442 524.79/526.28 c #Conflicts: 407000 | #Constraints: 64466 524.79/526.28 c #Conflicts: 408000 | #Constraints: 65497 524.79/526.28 c #Conflicts: 409000 | #Constraints: 66519 524.79/526.28 c INPROCESSING 524.79/526.28 c GARBAGE COLLECT 524.79/526.28 c rational objective 76.5302 543.94/545.44 c #Conflicts: 410000 | #Constraints: 34569 543.94/545.44 c #Conflicts: 411000 | #Constraints: 35580 543.94/545.44 c #Conflicts: 412000 | #Constraints: 36609 543.94/545.44 c #Conflicts: 413000 | #Constraints: 37640 543.94/545.44 c #Conflicts: 414000 | #Constraints: 38659 543.94/545.44 c #Conflicts: 415000 | #Constraints: 39694 543.94/545.44 c #Conflicts: 416000 | #Constraints: 40717 543.94/545.44 c #Conflicts: 417000 | #Constraints: 41757 543.94/545.44 c #Conflicts: 418000 | #Constraints: 42800 543.94/545.44 c #Conflicts: 419000 | #Constraints: 43833 543.94/545.44 c #Conflicts: 420000 | #Constraints: 44854 543.94/545.44 c #Conflicts: 421000 | #Constraints: 45886 543.94/545.44 c #Conflicts: 422000 | #Constraints: 46920 543.94/545.44 c #Conflicts: 423000 | #Constraints: 47959 543.94/545.44 c #Conflicts: 424000 | #Constraints: 48982 543.94/545.44 c INPROCESSING 543.94/545.44 c GARBAGE COLLECT 543.94/545.44 c rational objective 76.5302 582.64/584.27 c #Conflicts: 425000 | #Constraints: 25658 582.64/584.27 c #Conflicts: 426000 | #Constraints: 26658 582.64/584.27 c #Conflicts: 427000 | #Constraints: 27658 582.64/584.27 c #Conflicts: 428000 | #Constraints: 28658 582.64/584.27 c #Conflicts: 429000 | #Constraints: 29658 582.64/584.27 c #Conflicts: 430000 | #Constraints: 30658 582.64/584.27 c #Conflicts: 431000 | #Constraints: 31658 582.64/584.27 c #Conflicts: 432000 | #Constraints: 32658 582.64/584.27 c #Conflicts: 433000 | #Constraints: 33658 582.64/584.27 c #Conflicts: 434000 | #Constraints: 34658 582.64/584.27 c #Conflicts: 435000 | #Constraints: 35658 582.64/584.27 c #Conflicts: 436000 | #Constraints: 36658 582.64/584.27 c #Conflicts: 437000 | #Constraints: 37658 582.64/584.27 c #Conflicts: 438000 | #Constraints: 38658 582.64/584.27 c #Conflicts: 439000 | #Constraints: 39658 582.64/584.27 c #Conflicts: 440000 | #Constraints: 40658 582.64/584.27 c INPROCESSING 582.64/584.27 c GARBAGE COLLECT 582.64/584.27 c rational objective 76.5302 653.07/654.88 c #Conflicts: 441000 | #Constraints: 22217 653.07/654.88 c #Conflicts: 442000 | #Constraints: 23220 653.07/654.88 c #Conflicts: 443000 | #Constraints: 24266 653.07/654.88 c #Conflicts: 444000 | #Constraints: 25300 653.07/654.88 c #Conflicts: 445000 | #Constraints: 26310 653.07/654.88 c #Conflicts: 446000 | #Constraints: 27340 653.07/654.88 c #Conflicts: 447000 | #Constraints: 28367 653.07/654.88 c #Conflicts: 448000 | #Constraints: 29398 653.07/654.88 c #Conflicts: 449000 | #Constraints: 30433 653.07/654.88 c #Conflicts: 450000 | #Constraints: 31461 653.07/654.88 c #Conflicts: 451000 | #Constraints: 32490 653.07/654.88 c #Conflicts: 452000 | #Constraints: 33519 653.07/654.88 c #Conflicts: 453000 | #Constraints: 34547 653.07/654.88 c #Conflicts: 454000 | #Constraints: 35573 653.07/654.88 c #Conflicts: 455000 | #Constraints: 36605 653.07/654.88 c #Conflicts: 456000 | #Constraints: 37629 653.07/654.88 c #Conflicts: 457000 | #Constraints: 38652 653.07/654.88 c #Conflicts: 458000 | #Constraints: 39675 653.07/654.88 c #Conflicts: 459000 | #Constraints: 40711 653.07/654.88 c #Conflicts: 460000 | #Constraints: 41739 653.07/654.88 c #Conflicts: 461000 | #Constraints: 42764 653.07/654.88 c #Conflicts: 462000 | #Constraints: 43792 653.07/654.88 c #Conflicts: 463000 | #Constraints: 44819 653.07/654.88 c #Conflicts: 464000 | #Constraints: 45844 653.07/654.88 c #Conflicts: 465000 | #Constraints: 46872 653.07/654.88 c #Conflicts: 466000 | #Constraints: 47906 653.07/654.88 c #Conflicts: 467000 | #Constraints: 48928 653.07/654.88 c #Conflicts: 468000 | #Constraints: 49954 653.07/654.88 c #Conflicts: 469000 | #Constraints: 50980 653.07/654.88 c #Conflicts: 470000 | #Constraints: 52000 653.07/654.88 c #Conflicts: 471000 | #Constraints: 53025 653.07/654.88 c #Conflicts: 472000 | #Constraints: 54044 653.07/654.88 c #Conflicts: 473000 | #Constraints: 55072 653.07/654.88 c #Conflicts: 474000 | #Constraints: 56104 653.07/654.88 c #Conflicts: 475000 | #Constraints: 57126 653.07/654.88 c #Conflicts: 476000 | #Constraints: 58154 653.07/654.88 c #Conflicts: 477000 | #Constraints: 59179 653.07/654.88 c #Conflicts: 478000 | #Constraints: 60213 653.07/654.88 c #Conflicts: 479000 | #Constraints: 61237 653.07/654.88 c #Conflicts: 480000 | #Constraints: 62261 653.07/654.88 c #Conflicts: 481000 | #Constraints: 63284 653.07/654.88 c #Conflicts: 482000 | #Constraints: 64309 653.07/654.88 c #Conflicts: 483000 | #Constraints: 65343 653.07/654.88 c #Conflicts: 484000 | #Constraints: 66367 653.07/654.88 c #Conflicts: 485000 | #Constraints: 67395 653.07/654.88 c #Conflicts: 486000 | #Constraints: 68411 653.07/654.88 c #Conflicts: 487000 | #Constraints: 69442 653.07/654.88 c #Conflicts: 488000 | #Constraints: 70467 653.07/654.88 c #Conflicts: 489000 | #Constraints: 71496 653.07/654.88 c #Conflicts: 490000 | #Constraints: 72528 653.07/654.88 c INPROCESSING 653.07/654.88 c GARBAGE COLLECT 653.07/654.88 c rational objective 76.5302 707.45/709.32 c #Conflicts: 491000 | #Constraints: 37735 707.45/709.32 c #Conflicts: 492000 | #Constraints: 38735 707.45/709.32 c #Conflicts: 493000 | #Constraints: 39735 707.45/709.32 c #Conflicts: 494000 | #Constraints: 40735 707.45/709.32 c #Conflicts: 495000 | #Constraints: 41735 707.45/709.32 c #Conflicts: 496000 | #Constraints: 42735 707.45/709.32 c #Conflicts: 497000 | #Constraints: 43735 707.45/709.32 c #Conflicts: 498000 | #Constraints: 44735 707.45/709.32 c #Conflicts: 499000 | #Constraints: 45735 707.45/709.32 c #Conflicts: 500000 | #Constraints: 46735 707.45/709.32 c #Conflicts: 501000 | #Constraints: 47735 707.45/709.32 c #Conflicts: 502000 | #Constraints: 48735 707.45/709.32 c #Conflicts: 503000 | #Constraints: 49735 707.45/709.32 c #Conflicts: 504000 | #Constraints: 50735 707.45/709.32 c #Conflicts: 505000 | #Constraints: 51735 707.45/709.32 c #Conflicts: 506000 | #Constraints: 52735 707.45/709.32 c #Conflicts: 507000 | #Constraints: 53735 707.45/709.32 c INPROCESSING 707.45/709.32 c GARBAGE COLLECT 707.45/709.32 c rational objective 76.5302 727.60/729.55 c #Conflicts: 508000 | #Constraints: 28496 727.60/729.55 c #Conflicts: 509000 | #Constraints: 29520 727.60/729.55 c #Conflicts: 510000 | #Constraints: 30557 727.60/729.55 c #Conflicts: 511000 | #Constraints: 31584 727.60/729.55 c #Conflicts: 512000 | #Constraints: 32614 727.60/729.55 c #Conflicts: 513000 | #Constraints: 33655 727.60/729.55 c #Conflicts: 514000 | #Constraints: 34693 727.60/729.55 c #Conflicts: 515000 | #Constraints: 35720 727.60/729.55 c #Conflicts: 516000 | #Constraints: 36748 727.60/729.55 c #Conflicts: 517000 | #Constraints: 37784 727.60/729.55 c #Conflicts: 518000 | #Constraints: 38810 727.60/729.55 c #Conflicts: 519000 | #Constraints: 39838 727.60/729.55 c #Conflicts: 520000 | #Constraints: 40870 727.60/729.55 c #Conflicts: 521000 | #Constraints: 41895 727.60/729.55 c #Conflicts: 522000 | #Constraints: 42920 727.60/729.55 c #Conflicts: 523000 | #Constraints: 43955 727.60/729.55 c #Conflicts: 524000 | #Constraints: 44984 727.60/729.55 c INPROCESSING 727.60/729.55 c GARBAGE COLLECT 727.60/729.55 c rational objective 76.5302 861.86/864.16 c #Conflicts: 525000 | #Constraints: 24044 861.86/864.16 c #Conflicts: 526000 | #Constraints: 25044 861.86/864.16 c #Conflicts: 527000 | #Constraints: 26044 861.86/864.16 c #Conflicts: 528000 | #Constraints: 27044 861.86/864.16 c #Conflicts: 529000 | #Constraints: 28044 861.86/864.16 c #Conflicts: 530000 | #Constraints: 29044 861.86/864.16 c #Conflicts: 531000 | #Constraints: 30044 861.86/864.16 c #Conflicts: 532000 | #Constraints: 31044 861.86/864.16 c #Conflicts: 533000 | #Constraints: 32044 861.86/864.16 c #Conflicts: 534000 | #Constraints: 33044 861.86/864.16 c #Conflicts: 535000 | #Constraints: 34044 861.86/864.16 c #Conflicts: 536000 | #Constraints: 35044 861.86/864.16 c #Conflicts: 537000 | #Constraints: 36044 861.86/864.16 c #Conflicts: 538000 | #Constraints: 37044 861.86/864.16 c #Conflicts: 539000 | #Constraints: 38044 861.86/864.16 c #Conflicts: 540000 | #Constraints: 39044 861.86/864.16 c #Conflicts: 541000 | #Constraints: 40044 861.86/864.16 c #Conflicts: 542000 | #Constraints: 41044 861.86/864.16 c #Conflicts: 543000 | #Constraints: 42044 861.86/864.16 c #Conflicts: 544000 | #Constraints: 43044 861.86/864.16 c #Conflicts: 545000 | #Constraints: 44044 861.86/864.16 c #Conflicts: 546000 | #Constraints: 45044 861.86/864.16 c #Conflicts: 547000 | #Constraints: 46044 861.86/864.16 c #Conflicts: 548000 | #Constraints: 47044 861.86/864.16 c #Conflicts: 549000 | #Constraints: 48044 861.86/864.16 c #Conflicts: 550000 | #Constraints: 49044 861.86/864.16 c #Conflicts: 551000 | #Constraints: 50044 861.86/864.16 c #Conflicts: 552000 | #Constraints: 51044 861.86/864.16 c #Conflicts: 553000 | #Constraints: 52044 861.86/864.16 c #Conflicts: 554000 | #Constraints: 53044 861.86/864.16 c bounds 86 >= 80 @ 819.408 861.86/864.16 c #Conflicts: 555000 | #Constraints: 54100 861.86/864.16 c #Conflicts: 556000 | #Constraints: 55103 861.86/864.16 c #Conflicts: 557000 | #Constraints: 56105 861.86/864.16 c #Conflicts: 558000 | #Constraints: 57119 861.86/864.16 c #Conflicts: 559000 | #Constraints: 58152 861.86/864.16 c #Conflicts: 560000 | #Constraints: 59174 861.86/864.16 c #Conflicts: 561000 | #Constraints: 60200 861.86/864.16 c #Conflicts: 562000 | #Constraints: 61225 861.86/864.16 c #Conflicts: 563000 | #Constraints: 62254 861.86/864.16 c #Conflicts: 564000 | #Constraints: 63294 861.86/864.16 c #Conflicts: 565000 | #Constraints: 64332 861.86/864.16 c #Conflicts: 566000 | #Constraints: 65357 861.86/864.16 c #Conflicts: 567000 | #Constraints: 66384 861.86/864.16 c #Conflicts: 568000 | #Constraints: 67411 861.86/864.16 c #Conflicts: 569000 | #Constraints: 68434 861.86/864.16 c #Conflicts: 570000 | #Constraints: 69468 861.86/864.16 c #Conflicts: 571000 | #Constraints: 70494 861.86/864.16 c #Conflicts: 572000 | #Constraints: 71528 861.86/864.16 c #Conflicts: 573000 | #Constraints: 72553 861.86/864.16 c #Conflicts: 574000 | #Constraints: 73575 861.86/864.16 c #Conflicts: 575000 | #Constraints: 74603 861.86/864.16 c #Conflicts: 576000 | #Constraints: 75637 861.86/864.16 c #Conflicts: 577000 | #Constraints: 76654 861.86/864.16 c #Conflicts: 578000 | #Constraints: 77683 861.86/864.16 c INPROCESSING 861.86/864.16 c GARBAGE COLLECT 861.86/864.16 c rational objective 76.5302 886.70/889.07 c #Conflicts: 579000 | #Constraints: 40381 886.70/889.07 c #Conflicts: 580000 | #Constraints: 41400 886.70/889.07 c #Conflicts: 581000 | #Constraints: 42430 886.70/889.07 c #Conflicts: 582000 | #Constraints: 43452 886.70/889.07 c #Conflicts: 583000 | #Constraints: 44484 886.70/889.07 c #Conflicts: 584000 | #Constraints: 45514 886.70/889.07 c #Conflicts: 585000 | #Constraints: 46532 886.70/889.07 c #Conflicts: 586000 | #Constraints: 47553 886.70/889.07 c #Conflicts: 587000 | #Constraints: 48579 886.70/889.07 c #Conflicts: 588000 | #Constraints: 49610 886.70/889.07 c #Conflicts: 589000 | #Constraints: 50633 886.70/889.07 c #Conflicts: 590000 | #Constraints: 51659 886.70/889.07 c #Conflicts: 591000 | #Constraints: 52692 886.70/889.07 c #Conflicts: 592000 | #Constraints: 53715 886.70/889.07 c #Conflicts: 593000 | #Constraints: 54749 886.70/889.07 c #Conflicts: 594000 | #Constraints: 55788 886.70/889.07 c #Conflicts: 595000 | #Constraints: 56824 886.70/889.07 c #Conflicts: 596000 | #Constraints: 57855 886.70/889.07 c INPROCESSING 886.70/889.07 c GARBAGE COLLECT 886.70/889.07 c rational objective 76.5302 908.24/910.65 c #Conflicts: 597000 | #Constraints: 30313 908.24/910.65 c #Conflicts: 598000 | #Constraints: 31333 908.24/910.65 c #Conflicts: 599000 | #Constraints: 32360 908.24/910.65 c #Conflicts: 600000 | #Constraints: 33384 908.24/910.65 c #Conflicts: 601000 | #Constraints: 34409 908.24/910.65 c #Conflicts: 602000 | #Constraints: 35431 908.24/910.65 c #Conflicts: 603000 | #Constraints: 36457 908.24/910.65 c #Conflicts: 604000 | #Constraints: 37489 908.24/910.65 c #Conflicts: 605000 | #Constraints: 38516 908.24/910.65 c #Conflicts: 606000 | #Constraints: 39547 908.24/910.65 c #Conflicts: 607000 | #Constraints: 40577 908.24/910.65 c #Conflicts: 608000 | #Constraints: 41606 908.24/910.65 c #Conflicts: 609000 | #Constraints: 42637 908.24/910.65 c #Conflicts: 610000 | #Constraints: 43669 908.24/910.65 c #Conflicts: 611000 | #Constraints: 44699 908.24/910.65 c #Conflicts: 612000 | #Constraints: 45723 908.24/910.65 c #Conflicts: 613000 | #Constraints: 46747 908.24/910.65 c #Conflicts: 614000 | #Constraints: 47779 908.24/910.65 c INPROCESSING 908.24/910.65 c GARBAGE COLLECT 908.24/910.65 c rational objective 76.5302 1027.34/1030.03 c #Conflicts: 615000 | #Constraints: 25279 1027.34/1030.03 c #Conflicts: 616000 | #Constraints: 26285 1027.34/1030.03 c #Conflicts: 617000 | #Constraints: 27313 1027.34/1030.03 c #Conflicts: 618000 | #Constraints: 28348 1027.34/1030.03 c #Conflicts: 619000 | #Constraints: 29386 1027.34/1030.03 c #Conflicts: 620000 | #Constraints: 30413 1027.34/1030.03 c #Conflicts: 621000 | #Constraints: 31446 1027.34/1030.03 c #Conflicts: 622000 | #Constraints: 32488 1027.34/1030.03 c #Conflicts: 623000 | #Constraints: 33538 1027.34/1030.03 c #Conflicts: 624000 | #Constraints: 34569 1027.34/1030.03 c #Conflicts: 625000 | #Constraints: 35598 1027.34/1030.03 c #Conflicts: 626000 | #Constraints: 36623 1027.34/1030.03 c #Conflicts: 627000 | #Constraints: 37641 1027.34/1030.03 c #Conflicts: 628000 | #Constraints: 38666 1027.34/1030.03 c #Conflicts: 629000 | #Constraints: 39694 1027.34/1030.03 c #Conflicts: 630000 | #Constraints: 40729 1027.34/1030.03 c #Conflicts: 631000 | #Constraints: 41761 1027.34/1030.03 c #Conflicts: 632000 | #Constraints: 42799 1027.34/1030.03 c #Conflicts: 633000 | #Constraints: 43830 1027.34/1030.03 c #Conflicts: 634000 | #Constraints: 44869 1027.34/1030.03 c #Conflicts: 635000 | #Constraints: 45891 1027.34/1030.03 c #Conflicts: 636000 | #Constraints: 46910 1027.34/1030.03 c #Conflicts: 637000 | #Constraints: 47931 1027.34/1030.03 c #Conflicts: 638000 | #Constraints: 48954 1027.34/1030.03 c #Conflicts: 639000 | #Constraints: 49974 1027.34/1030.03 c #Conflicts: 640000 | #Constraints: 50997 1027.34/1030.03 c #Conflicts: 641000 | #Constraints: 52025 1027.34/1030.03 c #Conflicts: 642000 | #Constraints: 53050 1027.34/1030.03 c #Conflicts: 643000 | #Constraints: 54072 1027.34/1030.03 c #Conflicts: 644000 | #Constraints: 55096 1027.34/1030.03 c #Conflicts: 645000 | #Constraints: 56119 1027.34/1030.03 c #Conflicts: 646000 | #Constraints: 57138 1027.34/1030.03 c #Conflicts: 647000 | #Constraints: 58157 1027.34/1030.03 c #Conflicts: 648000 | #Constraints: 59185 1027.34/1030.03 c #Conflicts: 649000 | #Constraints: 60209 1027.34/1030.03 c #Conflicts: 650000 | #Constraints: 61248 1027.34/1030.03 c #Conflicts: 651000 | #Constraints: 62273 1027.34/1030.03 c #Conflicts: 652000 | #Constraints: 63306 1027.34/1030.03 c #Conflicts: 653000 | #Constraints: 64336 1027.34/1030.03 c #Conflicts: 654000 | #Constraints: 65368 1027.34/1030.03 c #Conflicts: 655000 | #Constraints: 66392 1027.34/1030.03 c #Conflicts: 656000 | #Constraints: 67420 1027.34/1030.03 c #Conflicts: 657000 | #Constraints: 68444 1027.34/1030.03 c #Conflicts: 658000 | #Constraints: 69468 1027.34/1030.03 c #Conflicts: 659000 | #Constraints: 70489 1027.34/1030.03 c #Conflicts: 660000 | #Constraints: 71517 1027.34/1030.03 c #Conflicts: 661000 | #Constraints: 72541 1027.34/1030.03 c #Conflicts: 662000 | #Constraints: 73561 1027.34/1030.03 c #Conflicts: 663000 | #Constraints: 74583 1027.34/1030.03 c #Conflicts: 664000 | #Constraints: 75598 1027.34/1030.03 c #Conflicts: 665000 | #Constraints: 76619 1027.34/1030.03 c #Conflicts: 666000 | #Constraints: 77644 1027.34/1030.03 c #Conflicts: 667000 | #Constraints: 78664 1027.34/1030.03 c #Conflicts: 668000 | #Constraints: 79688 1027.34/1030.03 c #Conflicts: 669000 | #Constraints: 80708 1027.34/1030.03 c #Conflicts: 670000 | #Constraints: 81724 1027.34/1030.03 c #Conflicts: 671000 | #Constraints: 82741 1027.34/1030.03 c #Conflicts: 672000 | #Constraints: 83761 1027.34/1030.03 c #Conflicts: 673000 | #Constraints: 84778 1027.34/1030.03 c INPROCESSING 1027.34/1030.03 c GARBAGE COLLECT 1027.34/1030.03 c rational objective 76.5302 1090.38/1093.27 c #Conflicts: 674000 | #Constraints: 43876 1090.38/1093.27 c #Conflicts: 675000 | #Constraints: 44876 1090.38/1093.27 c #Conflicts: 676000 | #Constraints: 45876 1090.38/1093.27 c #Conflicts: 677000 | #Constraints: 46876 1090.38/1093.27 c #Conflicts: 678000 | #Constraints: 47876 1090.38/1093.27 c #Conflicts: 679000 | #Constraints: 48876 1090.38/1093.27 c #Conflicts: 680000 | #Constraints: 49876 1090.38/1093.27 c #Conflicts: 681000 | #Constraints: 50876 1090.38/1093.27 c #Conflicts: 682000 | #Constraints: 51876 1090.38/1093.27 c #Conflicts: 683000 | #Constraints: 52876 1090.38/1093.27 c #Conflicts: 684000 | #Constraints: 53876 1090.38/1093.27 c #Conflicts: 685000 | #Constraints: 54876 1090.38/1093.27 c #Conflicts: 686000 | #Constraints: 55876 1090.38/1093.27 c #Conflicts: 687000 | #Constraints: 56876 1090.38/1093.27 c #Conflicts: 688000 | #Constraints: 57876 1090.38/1093.27 c #Conflicts: 689000 | #Constraints: 58876 1090.38/1093.27 c #Conflicts: 690000 | #Constraints: 59876 1090.38/1093.27 c #Conflicts: 691000 | #Constraints: 60876 1090.38/1093.27 c #Conflicts: 692000 | #Constraints: 61876 1090.38/1093.27 c #Conflicts: 693000 | #Constraints: 62876 1090.38/1093.27 c INPROCESSING 1090.38/1093.27 c GARBAGE COLLECT 1090.38/1093.27 c rational objective 76.5302 1144.54/1147.52 c #Conflicts: 694000 | #Constraints: 33100 1144.54/1147.52 c #Conflicts: 695000 | #Constraints: 34100 1144.54/1147.52 c #Conflicts: 696000 | #Constraints: 35100 1144.54/1147.52 c #Conflicts: 697000 | #Constraints: 36100 1144.54/1147.52 c #Conflicts: 698000 | #Constraints: 37100 1144.54/1147.52 c #Conflicts: 699000 | #Constraints: 38100 1144.54/1147.52 c #Conflicts: 700000 | #Constraints: 39100 1144.54/1147.52 c #Conflicts: 701000 | #Constraints: 40100 1144.54/1147.52 c #Conflicts: 702000 | #Constraints: 41100 1144.54/1147.52 c #Conflicts: 703000 | #Constraints: 42100 1144.54/1147.52 c #Conflicts: 704000 | #Constraints: 43100 1144.54/1147.52 c #Conflicts: 705000 | #Constraints: 44100 1144.54/1147.52 c #Conflicts: 706000 | #Constraints: 45100 1144.54/1147.52 c #Conflicts: 707000 | #Constraints: 46100 1144.54/1147.52 c #Conflicts: 708000 | #Constraints: 47100 1144.54/1147.52 c #Conflicts: 709000 | #Constraints: 48100 1144.54/1147.52 c #Conflicts: 710000 | #Constraints: 49100 1144.54/1147.52 c #Conflicts: 711000 | #Constraints: 50100 1144.54/1147.52 c #Conflicts: 712000 | #Constraints: 51100 1144.54/1147.52 c #Conflicts: 713000 | #Constraints: 52100 1144.54/1147.52 c INPROCESSING 1144.54/1147.52 c GARBAGE COLLECT 1144.54/1147.52 c rational objective 76.5302 1429.90/1433.68 c #Conflicts: 714000 | #Constraints: 30490 1429.90/1433.68 c #Conflicts: 715000 | #Constraints: 31490 1429.90/1433.68 c #Conflicts: 716000 | #Constraints: 32490 1429.90/1433.68 c #Conflicts: 717000 | #Constraints: 33490 1429.90/1433.68 c #Conflicts: 718000 | #Constraints: 34490 1429.90/1433.68 c #Conflicts: 719000 | #Constraints: 35490 1429.90/1433.68 c #Conflicts: 720000 | #Constraints: 36490 1429.90/1433.68 c #Conflicts: 721000 | #Constraints: 37490 1429.90/1433.68 c #Conflicts: 722000 | #Constraints: 38490 1429.90/1433.68 c #Conflicts: 723000 | #Constraints: 39490 1429.90/1433.68 c #Conflicts: 724000 | #Constraints: 40490 1429.90/1433.68 c #Conflicts: 725000 | #Constraints: 41490 1429.90/1433.68 c #Conflicts: 726000 | #Constraints: 42490 1429.90/1433.68 c #Conflicts: 727000 | #Constraints: 43490 1429.90/1433.68 c #Conflicts: 728000 | #Constraints: 44490 1429.90/1433.68 c #Conflicts: 729000 | #Constraints: 45490 1429.90/1433.68 c #Conflicts: 730000 | #Constraints: 46490 1429.90/1433.68 c #Conflicts: 731000 | #Constraints: 47490 1429.90/1433.68 c #Conflicts: 732000 | #Constraints: 48490 1429.90/1433.68 c #Conflicts: 733000 | #Constraints: 49490 1429.90/1433.68 c #Conflicts: 734000 | #Constraints: 50490 1429.90/1433.68 c #Conflicts: 735000 | #Constraints: 51490 1429.90/1433.68 c #Conflicts: 736000 | #Constraints: 52490 1429.90/1433.68 c #Conflicts: 737000 | #Constraints: 53490 1429.90/1433.68 c #Conflicts: 738000 | #Constraints: 54490 1429.90/1433.68 c #Conflicts: 739000 | #Constraints: 55490 1429.90/1433.68 c #Conflicts: 740000 | #Constraints: 56490 1429.90/1433.68 c #Conflicts: 741000 | #Constraints: 57490 1429.90/1433.68 c #Conflicts: 742000 | #Constraints: 58490 1429.90/1433.68 c #Conflicts: 743000 | #Constraints: 59490 1429.90/1433.68 c #Conflicts: 744000 | #Constraints: 60490 1429.90/1433.68 c #Conflicts: 745000 | #Constraints: 61490 1429.90/1433.68 c #Conflicts: 746000 | #Constraints: 62490 1429.90/1433.68 c #Conflicts: 747000 | #Constraints: 63490 1429.90/1433.68 c #Conflicts: 748000 | #Constraints: 64490 1429.90/1433.68 c #Conflicts: 749000 | #Constraints: 65490 1429.90/1433.68 c #Conflicts: 750000 | #Constraints: 66490 1429.90/1433.68 c #Conflicts: 751000 | #Constraints: 67490 1429.90/1433.68 c #Conflicts: 752000 | #Constraints: 68490 1429.90/1433.68 c #Conflicts: 753000 | #Constraints: 69490 1429.90/1433.68 c #Conflicts: 754000 | #Constraints: 70490 1429.90/1433.68 c #Conflicts: 755000 | #Constraints: 71490 1429.90/1433.68 c #Conflicts: 756000 | #Constraints: 72490 1429.90/1433.68 c #Conflicts: 757000 | #Constraints: 73490 1429.90/1433.68 c #Conflicts: 758000 | #Constraints: 74490 1429.90/1433.68 c #Conflicts: 759000 | #Constraints: 75490 1429.90/1433.68 c #Conflicts: 760000 | #Constraints: 76490 1429.90/1433.68 c #Conflicts: 761000 | #Constraints: 77490 1429.90/1433.68 c #Conflicts: 762000 | #Constraints: 78490 1429.90/1433.68 c #Conflicts: 763000 | #Constraints: 79490 1429.90/1433.68 c #Conflicts: 764000 | #Constraints: 80490 1429.90/1433.68 c #Conflicts: 765000 | #Constraints: 81490 1429.90/1433.68 c #Conflicts: 766000 | #Constraints: 82490 1429.90/1433.68 c #Conflicts: 767000 | #Constraints: 83490 1429.90/1433.68 c #Conflicts: 768000 | #Constraints: 84490 1429.90/1433.68 c #Conflicts: 769000 | #Constraints: 85490 1429.90/1433.68 c #Conflicts: 770000 | #Constraints: 86490 1429.90/1433.68 c #Conflicts: 771000 | #Constraints: 87490 1429.90/1433.68 c #Conflicts: 772000 | #Constraints: 88490 1429.90/1433.68 c #Conflicts: 773000 | #Constraints: 89490 1429.90/1433.68 c #Conflicts: 774000 | #Constraints: 90490 1429.90/1433.68 c #Conflicts: 775000 | #Constraints: 91490 1429.90/1433.68 c INPROCESSING 1429.90/1433.68 c GARBAGE COLLECT 1429.90/1433.68 c rational objective 76.5302 1464.90/1468.73 c #Conflicts: 776000 | #Constraints: 47136 1464.90/1468.73 c #Conflicts: 777000 | #Constraints: 48157 1464.90/1468.73 c #Conflicts: 778000 | #Constraints: 49191 1464.90/1468.73 c #Conflicts: 779000 | #Constraints: 50224 1464.90/1468.73 c #Conflicts: 780000 | #Constraints: 51260 1464.90/1468.73 c #Conflicts: 781000 | #Constraints: 52287 1464.90/1468.73 c #Conflicts: 782000 | #Constraints: 53314 1464.90/1468.73 c #Conflicts: 783000 | #Constraints: 54345 1464.90/1468.73 c #Conflicts: 784000 | #Constraints: 55373 1464.90/1468.73 c #Conflicts: 785000 | #Constraints: 56398 1464.90/1468.73 c #Conflicts: 786000 | #Constraints: 57423 1464.90/1468.73 c #Conflicts: 787000 | #Constraints: 58447 1464.90/1468.73 c #Conflicts: 788000 | #Constraints: 59480 1464.90/1468.73 c #Conflicts: 789000 | #Constraints: 60512 1464.90/1468.73 c #Conflicts: 790000 | #Constraints: 61540 1464.90/1468.73 c #Conflicts: 791000 | #Constraints: 62574 1464.90/1468.73 c #Conflicts: 792000 | #Constraints: 63607 1464.90/1468.73 c #Conflicts: 793000 | #Constraints: 64639 1464.90/1468.73 c #Conflicts: 794000 | #Constraints: 65672 1464.90/1468.73 c #Conflicts: 795000 | #Constraints: 66698 1464.90/1468.73 c #Conflicts: 796000 | #Constraints: 67720 1464.90/1468.73 c INPROCESSING 1464.90/1468.73 c GARBAGE COLLECT 1464.90/1468.73 c rational objective 76.5302 1624.60/1628.82 c #Conflicts: 797000 | #Constraints: 35376 1624.60/1628.82 c #Conflicts: 798000 | #Constraints: 36396 1624.60/1628.82 c #Conflicts: 799000 | #Constraints: 37442 1624.60/1628.82 c #Conflicts: 800000 | #Constraints: 38480 1624.60/1628.82 c #Conflicts: 801000 | #Constraints: 39511 1624.60/1628.82 c #Conflicts: 802000 | #Constraints: 40553 1624.60/1628.82 c #Conflicts: 803000 | #Constraints: 41586 1624.60/1628.82 c #Conflicts: 804000 | #Constraints: 42622 1624.60/1628.82 c #Conflicts: 805000 | #Constraints: 43654 1624.60/1628.82 c #Conflicts: 806000 | #Constraints: 44690 1624.60/1628.82 c #Conflicts: 807000 | #Constraints: 45708 1624.60/1628.82 c #Conflicts: 808000 | #Constraints: 46741 1624.60/1628.82 c #Conflicts: 809000 | #Constraints: 47773 1624.60/1628.82 c #Conflicts: 810000 | #Constraints: 48799 1624.60/1628.82 c #Conflicts: 811000 | #Constraints: 49830 1624.60/1628.82 c #Conflicts: 812000 | #Constraints: 50864 1624.60/1628.82 c #Conflicts: 813000 | #Constraints: 51892 1624.60/1628.82 c #Conflicts: 814000 | #Constraints: 52922 1624.60/1628.82 c #Conflicts: 815000 | #Constraints: 53952 1624.60/1628.82 c #Conflicts: 816000 | #Constraints: 54973 1624.60/1628.82 c #Conflicts: 817000 | #Constraints: 55996 1624.60/1628.82 c #Conflicts: 818000 | #Constraints: 57030 1624.60/1628.82 c #Conflicts: 819000 | #Constraints: 58052 1624.60/1628.82 c #Conflicts: 820000 | #Constraints: 59069 1624.60/1628.82 c #Conflicts: 821000 | #Constraints: 60100 1624.60/1628.82 c #Conflicts: 822000 | #Constraints: 61126 1624.60/1628.82 c #Conflicts: 823000 | #Constraints: 62164 1624.60/1628.82 c #Conflicts: 824000 | #Constraints: 63191 1624.60/1628.82 c #Conflicts: 825000 | #Constraints: 64220 1624.60/1628.82 c #Conflicts: 826000 | #Constraints: 65243 1624.60/1628.82 c #Conflicts: 827000 | #Constraints: 66276 1624.60/1628.82 c #Conflicts: 828000 | #Constraints: 67322 1624.60/1628.82 c #Conflicts: 829000 | #Constraints: 68349 1624.60/1628.82 c #Conflicts: 830000 | #Constraints: 69381 1624.60/1628.82 c #Conflicts: 831000 | #Constraints: 70419 1624.60/1628.82 c #Conflicts: 832000 | #Constraints: 71447 1624.60/1628.82 c #Conflicts: 833000 | #Constraints: 72480 1624.60/1628.82 c #Conflicts: 834000 | #Constraints: 73511 1624.60/1628.82 c #Conflicts: 835000 | #Constraints: 74532 1624.60/1628.82 c #Conflicts: 836000 | #Constraints: 75559 1624.60/1628.82 c #Conflicts: 837000 | #Constraints: 76578 1624.60/1628.82 c #Conflicts: 838000 | #Constraints: 77607 1624.60/1628.82 c #Conflicts: 839000 | #Constraints: 78636 1624.60/1628.82 c #Conflicts: 840000 | #Constraints: 79659 1624.60/1628.82 c #Conflicts: 841000 | #Constraints: 80675 1624.60/1628.82 c #Conflicts: 842000 | #Constraints: 81701 1624.60/1628.82 c #Conflicts: 843000 | #Constraints: 82732 1624.60/1628.82 c #Conflicts: 844000 | #Constraints: 83753 1624.60/1628.82 c #Conflicts: 845000 | #Constraints: 84779 1624.60/1628.82 c #Conflicts: 846000 | #Constraints: 85803 1624.60/1628.82 c #Conflicts: 847000 | #Constraints: 86831 1624.60/1628.82 c #Conflicts: 848000 | #Constraints: 87857 1624.60/1628.82 c #Conflicts: 849000 | #Constraints: 88888 1624.60/1628.82 c #Conflicts: 850000 | #Constraints: 89917 1624.60/1628.82 c #Conflicts: 851000 | #Constraints: 90941 1624.60/1628.82 c #Conflicts: 852000 | #Constraints: 91966 1624.60/1628.82 c #Conflicts: 853000 | #Constraints: 92990 1624.60/1628.82 c #Conflicts: 854000 | #Constraints: 94015 1624.60/1628.82 c #Conflicts: 855000 | #Constraints: 95037 1624.60/1628.82 c #Conflicts: 856000 | #Constraints: 96060 1624.60/1628.82 c #Conflicts: 857000 | #Constraints: 97087 1624.60/1628.82 c #Conflicts: 858000 | #Constraints: 98113 1624.60/1628.82 c #Conflicts: 859000 | #Constraints: 99145 1624.60/1628.82 c #Conflicts: 860000 | #Constraints: 100168 1624.60/1628.82 c #Conflicts: 861000 | #Constraints: 101196 1624.60/1628.82 c #Conflicts: 862000 | #Constraints: 102225 1624.60/1628.82 c INPROCESSING 1624.60/1628.82 c GARBAGE COLLECT 1624.60/1628.82 c rational objective 76.5302 1669.79/1674.17 c #Conflicts: 863000 | #Constraints: 52517 1669.79/1674.17 c #Conflicts: 864000 | #Constraints: 53545 1669.79/1674.17 c #Conflicts: 865000 | #Constraints: 54571 1669.79/1674.17 c #Conflicts: 866000 | #Constraints: 55592 1669.79/1674.17 c #Conflicts: 867000 | #Constraints: 56616 1669.79/1674.17 c #Conflicts: 868000 | #Constraints: 57650 1669.79/1674.17 c #Conflicts: 869000 | #Constraints: 58675 1669.79/1674.17 c #Conflicts: 870000 | #Constraints: 59695 1669.79/1674.17 c #Conflicts: 871000 | #Constraints: 60734 1669.79/1674.17 c #Conflicts: 872000 | #Constraints: 61768 1669.79/1674.17 c #Conflicts: 873000 | #Constraints: 62794 1669.79/1674.17 c #Conflicts: 874000 | #Constraints: 63817 1669.79/1674.17 c #Conflicts: 875000 | #Constraints: 64836 1669.79/1674.17 c #Conflicts: 876000 | #Constraints: 65869 1669.79/1674.17 c #Conflicts: 877000 | #Constraints: 66901 1669.79/1674.17 c #Conflicts: 878000 | #Constraints: 67923 1669.79/1674.17 c #Conflicts: 879000 | #Constraints: 68946 1669.79/1674.17 c #Conflicts: 880000 | #Constraints: 69972 1669.79/1674.17 c #Conflicts: 881000 | #Constraints: 71001 1669.79/1674.17 c #Conflicts: 882000 | #Constraints: 72037 1669.79/1674.17 c #Conflicts: 883000 | #Constraints: 73071 1669.79/1674.17 c #Conflicts: 884000 | #Constraints: 74098 1669.79/1674.17 c #Conflicts: 885000 | #Constraints: 75136 1669.79/1674.17 c INPROCESSING 1669.79/1674.17 c GARBAGE COLLECT 1669.79/1674.17 c rational objective 76.5302 1699.02/1703.49 c #Conflicts: 886000 | #Constraints: 39171 1699.02/1703.49 c #Conflicts: 887000 | #Constraints: 40203 1699.02/1703.49 c #Conflicts: 888000 | #Constraints: 41229 1699.02/1703.49 c #Conflicts: 889000 | #Constraints: 42266 1699.02/1703.49 c #Conflicts: 890000 | #Constraints: 43295 1699.02/1703.49 c #Conflicts: 891000 | #Constraints: 44317 1699.02/1703.49 c #Conflicts: 892000 | #Constraints: 45340 1699.02/1703.49 c #Conflicts: 893000 | #Constraints: 46360 1699.02/1703.49 c #Conflicts: 894000 | #Constraints: 47381 1699.02/1703.49 c #Conflicts: 895000 | #Constraints: 48403 1699.02/1703.49 c #Conflicts: 896000 | #Constraints: 49431 1699.02/1703.49 c #Conflicts: 897000 | #Constraints: 50464 1699.02/1703.49 c #Conflicts: 898000 | #Constraints: 51499 1699.02/1703.49 c #Conflicts: 899000 | #Constraints: 52524 1699.02/1703.49 c #Conflicts: 900000 | #Constraints: 53548 1699.02/1703.49 c #Conflicts: 901000 | #Constraints: 54572 1699.02/1703.49 c #Conflicts: 902000 | #Constraints: 55593 1699.02/1703.49 c #Conflicts: 903000 | #Constraints: 56617 1699.02/1703.49 c #Conflicts: 904000 | #Constraints: 57644 1699.02/1703.49 c #Conflicts: 905000 | #Constraints: 58678 1699.02/1703.49 c #Conflicts: 906000 | #Constraints: 59705 1699.02/1703.49 c #Conflicts: 907000 | #Constraints: 60735 1699.02/1703.49 c INPROCESSING 1699.02/1703.49 c GARBAGE COLLECT 1699.02/1703.49 c rational objective 76.5302 2144.79/2150.30 c #Conflicts: 908000 | #Constraints: 35383 2144.79/2150.30 c #Conflicts: 909000 | #Constraints: 36383 2144.79/2150.30 c #Conflicts: 910000 | #Constraints: 37383 2144.79/2150.30 c #Conflicts: 911000 | #Constraints: 38383 2144.79/2150.30 c #Conflicts: 912000 | #Constraints: 39383 2144.79/2150.30 c #Conflicts: 913000 | #Constraints: 40383 2144.79/2150.30 c #Conflicts: 914000 | #Constraints: 41383 2144.79/2150.30 c #Conflicts: 915000 | #Constraints: 42383 2144.79/2150.30 c #Conflicts: 916000 | #Constraints: 43383 2144.79/2150.30 c #Conflicts: 917000 | #Constraints: 44383 2144.79/2150.30 c #Conflicts: 918000 | #Constraints: 45383 2144.79/2150.30 c #Conflicts: 919000 | #Constraints: 46383 2144.79/2150.30 c #Conflicts: 920000 | #Constraints: 47383 2144.79/2150.30 c #Conflicts: 921000 | #Constraints: 48383 2144.79/2150.30 c #Conflicts: 922000 | #Constraints: 49383 2144.79/2150.30 c #Conflicts: 923000 | #Constraints: 50383 2144.79/2150.30 c #Conflicts: 924000 | #Constraints: 51383 2144.79/2150.30 c #Conflicts: 925000 | #Constraints: 52383 2144.79/2150.30 c #Conflicts: 926000 | #Constraints: 53383 2144.79/2150.30 c #Conflicts: 927000 | #Constraints: 54383 2144.79/2150.30 c #Conflicts: 928000 | #Constraints: 55383 2144.79/2150.30 c #Conflicts: 929000 | #Constraints: 56383 2144.79/2150.30 c #Conflicts: 930000 | #Constraints: 57383 2144.79/2150.30 c #Conflicts: 931000 | #Constraints: 58383 2144.79/2150.30 c #Conflicts: 932000 | #Constraints: 59383 2144.79/2150.30 c #Conflicts: 933000 | #Constraints: 60383 2144.79/2150.30 c #Conflicts: 934000 | #Constraints: 61383 2144.79/2150.30 c #Conflicts: 935000 | #Constraints: 62383 2144.79/2150.30 c #Conflicts: 936000 | #Constraints: 63383 2144.79/2150.30 c #Conflicts: 937000 | #Constraints: 64383 2144.79/2150.30 c #Conflicts: 938000 | #Constraints: 65383 2144.79/2150.30 c #Conflicts: 939000 | #Constraints: 66383 2144.79/2150.30 c #Conflicts: 940000 | #Constraints: 67383 2144.79/2150.30 c #Conflicts: 941000 | #Constraints: 68383 2144.79/2150.30 c #Conflicts: 942000 | #Constraints: 69383 2144.79/2150.30 c #Conflicts: 943000 | #Constraints: 70383 2144.79/2150.30 c #Conflicts: 944000 | #Constraints: 71383 2144.79/2150.30 c #Conflicts: 945000 | #Constraints: 72383 2144.79/2150.30 c #Conflicts: 946000 | #Constraints: 73383 2144.79/2150.30 c #Conflicts: 947000 | #Constraints: 74383 2144.79/2150.30 c #Conflicts: 948000 | #Constraints: 75383 2144.79/2150.30 c #Conflicts: 949000 | #Constraints: 76383 2144.79/2150.30 c #Conflicts: 950000 | #Constraints: 77383 2144.79/2150.30 c #Conflicts: 951000 | #Constraints: 78383 2144.79/2150.30 c #Conflicts: 952000 | #Constraints: 79383 2144.79/2150.30 c #Conflicts: 953000 | #Constraints: 80383 2144.79/2150.30 c #Conflicts: 954000 | #Constraints: 81383 2144.79/2150.30 c #Conflicts: 955000 | #Constraints: 82383 2144.79/2150.30 c #Conflicts: 956000 | #Constraints: 83383 2144.79/2150.30 c #Conflicts: 957000 | #Constraints: 84383 2144.79/2150.30 c #Conflicts: 958000 | #Constraints: 85383 2144.79/2150.30 c #Conflicts: 959000 | #Constraints: 86383 2144.79/2150.30 c #Conflicts: 960000 | #Constraints: 87383 2144.79/2150.30 c #Conflicts: 961000 | #Constraints: 88383 2144.79/2150.30 c #Conflicts: 962000 | #Constraints: 89383 2144.79/2150.30 c #Conflicts: 963000 | #Constraints: 90383 2144.79/2150.30 c #Conflicts: 964000 | #Constraints: 91383 2144.79/2150.30 c #Conflicts: 965000 | #Constraints: 92383 2144.79/2150.30 c #Conflicts: 966000 | #Constraints: 93383 2144.79/2150.30 c #Conflicts: 967000 | #Constraints: 94383 2144.79/2150.30 c #Conflicts: 968000 | #Constraints: 95383 2144.79/2150.30 c #Conflicts: 969000 | #Constraints: 96383 2144.79/2150.30 c #Conflicts: 970000 | #Constraints: 97383 2144.79/2150.30 c #Conflicts: 971000 | #Constraints: 98383 2144.79/2150.30 c #Conflicts: 972000 | #Constraints: 99383 2144.79/2150.30 c #Conflicts: 973000 | #Constraints: 100383 2144.79/2150.30 c #Conflicts: 974000 | #Constraints: 101383 2144.79/2150.30 c #Conflicts: 975000 | #Constraints: 102383 2144.79/2150.30 c #Conflicts: 976000 | #Constraints: 103383 2144.79/2150.30 c #Conflicts: 977000 | #Constraints: 104383 2144.79/2150.30 c INPROCESSING 2144.79/2150.30 c GARBAGE COLLECT 2144.79/2150.30 c rational objective 76.5302 2193.97/2199.62 c #Conflicts: 978000 | #Constraints: 53563 2193.97/2199.62 c #Conflicts: 979000 | #Constraints: 54567 2193.97/2199.62 c #Conflicts: 980000 | #Constraints: 55608 2193.97/2199.62 c #Conflicts: 981000 | #Constraints: 56638 2193.97/2199.62 c #Conflicts: 982000 | #Constraints: 57674 2193.97/2199.62 c #Conflicts: 983000 | #Constraints: 58684 2193.97/2199.62 c #Conflicts: 984000 | #Constraints: 59713 2193.97/2199.62 c #Conflicts: 985000 | #Constraints: 60741 2193.97/2199.62 c #Conflicts: 986000 | #Constraints: 61772 2193.97/2199.62 c #Conflicts: 987000 | #Constraints: 62796 2193.97/2199.62 c #Conflicts: 988000 | #Constraints: 63818 2193.97/2199.62 c #Conflicts: 989000 | #Constraints: 64851 2193.97/2199.62 c #Conflicts: 990000 | #Constraints: 65885 2193.97/2199.62 c #Conflicts: 991000 | #Constraints: 66912 2193.97/2199.62 c #Conflicts: 992000 | #Constraints: 67941 2193.97/2199.62 c #Conflicts: 993000 | #Constraints: 68967 2193.97/2199.62 c #Conflicts: 994000 | #Constraints: 69990 2193.97/2199.62 c #Conflicts: 995000 | #Constraints: 71016 2193.97/2199.62 c #Conflicts: 996000 | #Constraints: 72042 2193.97/2199.62 c #Conflicts: 997000 | #Constraints: 73073 2193.97/2199.62 c #Conflicts: 998000 | #Constraints: 74091 2193.97/2199.62 c #Conflicts: 999000 | #Constraints: 75123 2193.97/2199.62 c #Conflicts: 1000000 | #Constraints: 76151 2193.97/2199.62 c #Conflicts: 1001000 | #Constraints: 77185 2193.97/2199.62 c INPROCESSING 2193.97/2199.62 c GARBAGE COLLECT 2193.97/2199.62 c rational objective 76.5302 2424.09/2430.33 c #Conflicts: 1002000 | #Constraints: 41835 2424.09/2430.33 c #Conflicts: 1003000 | #Constraints: 42855 2424.09/2430.33 c #Conflicts: 1004000 | #Constraints: 43886 2424.09/2430.33 c #Conflicts: 1005000 | #Constraints: 44912 2424.09/2430.33 c #Conflicts: 1006000 | #Constraints: 45944 2424.09/2430.33 c #Conflicts: 1007000 | #Constraints: 46972 2424.09/2430.33 c #Conflicts: 1008000 | #Constraints: 48010 2424.09/2430.33 c #Conflicts: 1009000 | #Constraints: 49040 2424.09/2430.33 c #Conflicts: 1010000 | #Constraints: 50064 2424.09/2430.33 c #Conflicts: 1011000 | #Constraints: 51094 2424.09/2430.33 c #Conflicts: 1012000 | #Constraints: 52118 2424.09/2430.33 c #Conflicts: 1013000 | #Constraints: 53139 2424.09/2430.33 c #Conflicts: 1014000 | #Constraints: 54163 2424.09/2430.33 c #Conflicts: 1015000 | #Constraints: 55186 2424.09/2430.33 c #Conflicts: 1016000 | #Constraints: 56215 2424.09/2430.33 c #Conflicts: 1017000 | #Constraints: 57245 2424.09/2430.33 c #Conflicts: 1018000 | #Constraints: 58274 2424.09/2430.33 c #Conflicts: 1019000 | #Constraints: 59301 2424.09/2430.33 c #Conflicts: 1020000 | #Constraints: 60328 2424.09/2430.33 c #Conflicts: 1021000 | #Constraints: 61352 2424.09/2430.33 c #Conflicts: 1022000 | #Constraints: 62379 2424.09/2430.33 c #Conflicts: 1023000 | #Constraints: 63396 2424.09/2430.33 c #Conflicts: 1024000 | #Constraints: 64420 2424.09/2430.33 c #Conflicts: 1025000 | #Constraints: 65440 2424.09/2430.33 c #Conflicts: 1026000 | #Constraints: 66476 2424.09/2430.33 c #Conflicts: 1027000 | #Constraints: 67507 2424.09/2430.33 c #Conflicts: 1028000 | #Constraints: 68537 2424.09/2430.33 c #Conflicts: 1029000 | #Constraints: 69561 2424.09/2430.33 c #Conflicts: 1030000 | #Constraints: 70586 2424.09/2430.33 c #Conflicts: 1031000 | #Constraints: 71604 2424.09/2430.33 c #Conflicts: 1032000 | #Constraints: 72629 2424.09/2430.33 c #Conflicts: 1033000 | #Constraints: 73656 2424.09/2430.33 c #Conflicts: 1034000 | #Constraints: 74683 2424.09/2430.33 c #Conflicts: 1035000 | #Constraints: 75710 2424.09/2430.33 c #Conflicts: 1036000 | #Constraints: 76734 2424.09/2430.33 c #Conflicts: 1037000 | #Constraints: 77756 2424.09/2430.33 c #Conflicts: 1038000 | #Constraints: 78781 2424.09/2430.33 c #Conflicts: 1039000 | #Constraints: 79801 2424.09/2430.33 c #Conflicts: 1040000 | #Constraints: 80822 2424.09/2430.33 c #Conflicts: 1041000 | #Constraints: 81847 2424.09/2430.33 c #Conflicts: 1042000 | #Constraints: 82866 2424.09/2430.33 c #Conflicts: 1043000 | #Constraints: 83894 2424.09/2430.33 c #Conflicts: 1044000 | #Constraints: 84906 2424.09/2430.33 c #Conflicts: 1045000 | #Constraints: 85931 2424.09/2430.33 c #Conflicts: 1046000 | #Constraints: 86945 2424.09/2430.33 c #Conflicts: 1047000 | #Constraints: 87967 2424.09/2430.33 c #Conflicts: 1048000 | #Constraints: 88986 2424.09/2430.33 c #Conflicts: 1049000 | #Constraints: 90010 2424.09/2430.33 c #Conflicts: 1050000 | #Constraints: 91034 2424.09/2430.33 c #Conflicts: 1051000 | #Constraints: 92052 2424.09/2430.33 c #Conflicts: 1052000 | #Constraints: 93072 2424.09/2430.33 c #Conflicts: 1053000 | #Constraints: 94091 2424.09/2430.33 c #Conflicts: 1054000 | #Constraints: 95111 2424.09/2430.33 c #Conflicts: 1055000 | #Constraints: 96126 2424.09/2430.33 c #Conflicts: 1056000 | #Constraints: 97150 2424.09/2430.33 c #Conflicts: 1057000 | #Constraints: 98170 2424.09/2430.33 c #Conflicts: 1058000 | #Constraints: 99184 2424.09/2430.33 c #Conflicts: 1059000 | #Constraints: 100199 2424.09/2430.33 c #Conflicts: 1060000 | #Constraints: 101220 2424.09/2430.33 c #Conflicts: 1061000 | #Constraints: 102245 2424.09/2430.33 c #Conflicts: 1062000 | #Constraints: 103268 2424.09/2430.33 c #Conflicts: 1063000 | #Constraints: 104288 2424.09/2430.33 c #Conflicts: 1064000 | #Constraints: 105307 2424.09/2430.33 c #Conflicts: 1065000 | #Constraints: 106329 2424.09/2430.33 c #Conflicts: 1066000 | #Constraints: 107352 2424.09/2430.33 c #Conflicts: 1067000 | #Constraints: 108378 2424.09/2430.33 c #Conflicts: 1068000 | #Constraints: 109397 2424.09/2430.33 c #Conflicts: 1069000 | #Constraints: 110418 2424.09/2430.33 c #Conflicts: 1070000 | #Constraints: 111438 2424.09/2430.33 c #Conflicts: 1071000 | #Constraints: 112464 2424.09/2430.33 c #Conflicts: 1072000 | #Constraints: 113488 2424.09/2430.33 c #Conflicts: 1073000 | #Constraints: 114513 2424.09/2430.33 c #Conflicts: 1074000 | #Constraints: 115528 2424.09/2430.33 c INPROCESSING 2424.09/2430.33 c GARBAGE COLLECT 2424.09/2430.33 c rational objective 76.5302 2487.83/2494.28 c #Conflicts: 1075000 | #Constraints: 59076 2487.83/2494.28 c #Conflicts: 1076000 | #Constraints: 60092 2487.83/2494.28 c #Conflicts: 1077000 | #Constraints: 61114 2487.83/2494.28 c #Conflicts: 1078000 | #Constraints: 62142 2487.83/2494.28 c #Conflicts: 1079000 | #Constraints: 63171 2487.83/2494.28 c #Conflicts: 1080000 | #Constraints: 64191 2487.83/2494.28 c #Conflicts: 1081000 | #Constraints: 65211 2487.83/2494.28 c #Conflicts: 1082000 | #Constraints: 66229 2487.83/2494.28 c #Conflicts: 1083000 | #Constraints: 67258 2487.83/2494.28 c #Conflicts: 1084000 | #Constraints: 68290 2487.83/2494.28 c #Conflicts: 1085000 | #Constraints: 69313 2487.83/2494.28 c #Conflicts: 1086000 | #Constraints: 70339 2487.83/2494.28 c #Conflicts: 1087000 | #Constraints: 71371 2487.83/2494.28 c #Conflicts: 1088000 | #Constraints: 72389 2487.83/2494.28 c #Conflicts: 1089000 | #Constraints: 73414 2487.83/2494.28 c #Conflicts: 1090000 | #Constraints: 74441 2487.83/2494.28 c #Conflicts: 1091000 | #Constraints: 75466 2487.83/2494.28 c #Conflicts: 1092000 | #Constraints: 76489 2487.83/2494.28 c #Conflicts: 1093000 | #Constraints: 77512 2487.83/2494.28 c #Conflicts: 1094000 | #Constraints: 78538 2487.83/2494.28 c #Conflicts: 1095000 | #Constraints: 79556 2487.83/2494.28 c #Conflicts: 1096000 | #Constraints: 80574 2487.83/2494.28 c #Conflicts: 1097000 | #Constraints: 81599 2487.83/2494.28 c #Conflicts: 1098000 | #Constraints: 82628 2487.83/2494.28 c #Conflicts: 1099000 | #Constraints: 83653 2487.83/2494.28 c #Conflicts: 1100000 | #Constraints: 84675 2487.83/2494.28 c INPROCESSING 2487.83/2494.28 c GARBAGE COLLECT 2487.83/2494.28 c rational objective 76.5302 2546.49/2553.05 c #Conflicts: 1101000 | #Constraints: 43942 2546.49/2553.05 c #Conflicts: 1102000 | #Constraints: 44968 2546.49/2553.05 c #Conflicts: 1103000 | #Constraints: 45998 2546.49/2553.05 c #Conflicts: 1104000 | #Constraints: 47026 2546.49/2553.05 c #Conflicts: 1105000 | #Constraints: 48053 2546.49/2553.05 c #Conflicts: 1106000 | #Constraints: 49086 2546.49/2553.05 c #Conflicts: 1107000 | #Constraints: 50116 2546.49/2553.05 c #Conflicts: 1108000 | #Constraints: 51143 2546.49/2553.05 c #Conflicts: 1109000 | #Constraints: 52167 2546.49/2553.05 c #Conflicts: 1110000 | #Constraints: 53191 2546.49/2553.05 c #Conflicts: 1111000 | #Constraints: 54220 2546.49/2553.05 c #Conflicts: 1112000 | #Constraints: 55235 2546.49/2553.05 c #Conflicts: 1113000 | #Constraints: 56263 2546.49/2553.05 c #Conflicts: 1114000 | #Constraints: 57286 2546.49/2553.05 c #Conflicts: 1115000 | #Constraints: 58313 2546.49/2553.05 c #Conflicts: 1116000 | #Constraints: 59338 2546.49/2553.05 c #Conflicts: 1117000 | #Constraints: 60367 2546.49/2553.05 c #Conflicts: 1118000 | #Constraints: 61386 2546.49/2553.05 c #Conflicts: 1119000 | #Constraints: 62412 2546.49/2553.05 c #Conflicts: 1120000 | #Constraints: 63435 2546.49/2553.05 c #Conflicts: 1121000 | #Constraints: 64456 2546.49/2553.05 c #Conflicts: 1122000 | #Constraints: 65477 2546.49/2553.05 c #Conflicts: 1123000 | #Constraints: 66510 2546.49/2553.05 c #Conflicts: 1124000 | #Constraints: 67537 2546.49/2553.05 c #Conflicts: 1125000 | #Constraints: 68563 2546.49/2553.05 c INPROCESSING 2546.49/2553.05 c GARBAGE COLLECT 2546.49/2553.05 c rational objective 76.5302 3238.95/3247.52 c #Conflicts: 1126000 | #Constraints: 41945 3238.95/3247.52 c #Conflicts: 1127000 | #Constraints: 42945 3238.95/3247.52 c #Conflicts: 1128000 | #Constraints: 43945 3238.95/3247.52 c #Conflicts: 1129000 | #Constraints: 44945 3238.95/3247.52 c #Conflicts: 1130000 | #Constraints: 45945 3238.95/3247.52 c #Conflicts: 1131000 | #Constraints: 46945 3238.95/3247.52 c #Conflicts: 1132000 | #Constraints: 47945 3238.95/3247.52 c #Conflicts: 1133000 | #Constraints: 48945 3238.95/3247.52 c #Conflicts: 1134000 | #Constraints: 49945 3238.95/3247.52 c #Conflicts: 1135000 | #Constraints: 50945 3238.95/3247.52 c #Conflicts: 1136000 | #Constraints: 51945 3238.95/3247.52 c #Conflicts: 1137000 | #Constraints: 52945 3238.95/3247.52 c #Conflicts: 1138000 | #Constraints: 53945 3238.95/3247.52 c #Conflicts: 1139000 | #Constraints: 54945 3238.95/3247.52 c #Conflicts: 1140000 | #Constraints: 55945 3238.95/3247.52 c #Conflicts: 1141000 | #Constraints: 56945 3238.95/3247.52 c #Conflicts: 1142000 | #Constraints: 57945 3238.95/3247.52 c #Conflicts: 1143000 | #Constraints: 58945 3238.95/3247.52 c #Conflicts: 1144000 | #Constraints: 59945 3238.95/3247.52 c #Conflicts: 1145000 | #Constraints: 60945 3238.95/3247.52 c #Conflicts: 1146000 | #Constraints: 61945 3238.95/3247.52 c #Conflicts: 1147000 | #Constraints: 62945 3238.95/3247.52 c #Conflicts: 1148000 | #Constraints: 63945 3238.95/3247.52 c #Conflicts: 1149000 | #Constraints: 64945 3238.95/3247.52 c #Conflicts: 1150000 | #Constraints: 65945 3238.95/3247.52 c #Conflicts: 1151000 | #Constraints: 66945 3238.95/3247.52 c #Conflicts: 1152000 | #Constraints: 67945 3238.95/3247.52 c #Conflicts: 1153000 | #Constraints: 68945 3238.95/3247.52 c #Conflicts: 1154000 | #Constraints: 69945 3238.95/3247.52 c #Conflicts: 1155000 | #Constraints: 70945 3238.95/3247.52 c #Conflicts: 1156000 | #Constraints: 71945 3238.95/3247.52 c #Conflicts: 1157000 | #Constraints: 72945 3238.95/3247.52 c #Conflicts: 1158000 | #Constraints: 73945 3238.95/3247.52 c #Conflicts: 1159000 | #Constraints: 74945 3238.95/3247.52 c #Conflicts: 1160000 | #Constraints: 75945 3238.95/3247.52 c #Conflicts: 1161000 | #Constraints: 76945 3238.95/3247.52 c #Conflicts: 1162000 | #Constraints: 77945 3238.95/3247.52 c #Conflicts: 1163000 | #Constraints: 78945 3238.95/3247.52 c #Conflicts: 1164000 | #Constraints: 79945 3238.95/3247.52 c #Conflicts: 1165000 | #Constraints: 80945 3238.95/3247.52 c #Conflicts: 1166000 | #Constraints: 81945 3238.95/3247.52 c #Conflicts: 1167000 | #Constraints: 82945 3238.95/3247.52 c #Conflicts: 1168000 | #Constraints: 83945 3238.95/3247.52 c #Conflicts: 1169000 | #Constraints: 84945 3238.95/3247.52 c #Conflicts: 1170000 | #Constraints: 85945 3238.95/3247.52 c #Conflicts: 1171000 | #Constraints: 86945 3238.95/3247.52 c #Conflicts: 1172000 | #Constraints: 87945 3238.95/3247.52 c #Conflicts: 1173000 | #Constraints: 88945 3238.95/3247.52 c #Conflicts: 1174000 | #Constraints: 89945 3238.95/3247.52 c #Conflicts: 1175000 | #Constraints: 90945 3238.95/3247.52 c #Conflicts: 1176000 | #Constraints: 91945 3238.95/3247.52 c #Conflicts: 1177000 | #Constraints: 92945 3238.95/3247.52 c #Conflicts: 1178000 | #Constraints: 93945 3238.95/3247.52 c #Conflicts: 1179000 | #Constraints: 94945 3238.95/3247.52 c #Conflicts: 1180000 | #Constraints: 95945 3238.95/3247.52 c #Conflicts: 1181000 | #Constraints: 96945 3238.95/3247.52 c #Conflicts: 1182000 | #Constraints: 97945 3238.95/3247.52 c #Conflicts: 1183000 | #Constraints: 98945 3238.95/3247.52 c #Conflicts: 1184000 | #Constraints: 99945 3238.95/3247.52 c #Conflicts: 1185000 | #Constraints: 100945 3238.95/3247.52 c #Conflicts: 1186000 | #Constraints: 101945 3238.95/3247.52 c #Conflicts: 1187000 | #Constraints: 102945 3238.95/3247.52 c #Conflicts: 1188000 | #Constraints: 103945 3238.95/3247.52 c #Conflicts: 1189000 | #Constraints: 104945 3238.95/3247.52 c #Conflicts: 1190000 | #Constraints: 105945 3238.95/3247.52 c #Conflicts: 1191000 | #Constraints: 106945 3238.95/3247.52 c #Conflicts: 1192000 | #Constraints: 107945 3238.95/3247.52 c #Conflicts: 1193000 | #Constraints: 108945 3238.95/3247.52 c #Conflicts: 1194000 | #Constraints: 109945 3238.95/3247.52 c #Conflicts: 1195000 | #Constraints: 110945 3238.95/3247.52 c #Conflicts: 1196000 | #Constraints: 111945 3238.95/3247.52 c #Conflicts: 1197000 | #Constraints: 112945 3238.95/3247.52 c #Conflicts: 1198000 | #Constraints: 113945 3238.95/3247.52 c #Conflicts: 1199000 | #Constraints: 114945 3238.95/3247.52 c #Conflicts: 1200000 | #Constraints: 115945 3238.95/3247.52 c #Conflicts: 1201000 | #Constraints: 116945 3238.95/3247.52 c #Conflicts: 1202000 | #Constraints: 117945 3238.95/3247.52 c INPROCESSING 3238.95/3247.52 c GARBAGE COLLECT 3238.95/3247.52 c rational objective 76.5302 3299.60/3308.39 c #Conflicts: 1203000 | #Constraints: 60289 3299.60/3308.39 c #Conflicts: 1204000 | #Constraints: 61308 3299.60/3308.39 c #Conflicts: 1205000 | #Constraints: 62349 3299.60/3308.39 c #Conflicts: 1206000 | #Constraints: 63382 3299.60/3308.39 c #Conflicts: 1207000 | #Constraints: 64413 3299.60/3308.39 c #Conflicts: 1208000 | #Constraints: 65445 3299.60/3308.39 c #Conflicts: 1209000 | #Constraints: 66478 3299.60/3308.39 c #Conflicts: 1210000 | #Constraints: 67508 3299.60/3308.39 c #Conflicts: 1211000 | #Constraints: 68538 3299.60/3308.39 c #Conflicts: 1212000 | #Constraints: 69567 3299.60/3308.39 c #Conflicts: 1213000 | #Constraints: 70603 3299.60/3308.39 c #Conflicts: 1214000 | #Constraints: 71628 3299.60/3308.39 c #Conflicts: 1215000 | #Constraints: 72654 3299.60/3308.39 c #Conflicts: 1216000 | #Constraints: 73677 3299.60/3308.39 c #Conflicts: 1217000 | #Constraints: 74697 3299.60/3308.39 c #Conflicts: 1218000 | #Constraints: 75729 3299.60/3308.39 c #Conflicts: 1219000 | #Constraints: 76762 3299.60/3308.39 c #Conflicts: 1220000 | #Constraints: 77792 3299.60/3308.39 c #Conflicts: 1221000 | #Constraints: 78833 3299.60/3308.39 c #Conflicts: 1222000 | #Constraints: 79849 3299.60/3308.39 c #Conflicts: 1223000 | #Constraints: 80872 3299.60/3308.39 c #Conflicts: 1224000 | #Constraints: 81895 3299.60/3308.39 c #Conflicts: 1225000 | #Constraints: 82920 3299.60/3308.39 c #Conflicts: 1226000 | #Constraints: 83954 3299.60/3308.39 c #Conflicts: 1227000 | #Constraints: 84982 3299.60/3308.39 c #Conflicts: 1228000 | #Constraints: 86004 3299.60/3308.39 c #Conflicts: 1229000 | #Constraints: 87029 3299.60/3308.39 c INPROCESSING 3299.60/3308.39 c GARBAGE COLLECT 3299.60/3308.39 c rational objective 76.5302 3539.03/3548.40 c #Conflicts: 1230000 | #Constraints: 48076 3539.03/3548.40 c #Conflicts: 1231000 | #Constraints: 49092 3539.03/3548.40 c #Conflicts: 1232000 | #Constraints: 50129 3539.03/3548.40 c #Conflicts: 1233000 | #Constraints: 51157 3539.03/3548.40 c #Conflicts: 1234000 | #Constraints: 52195 3539.03/3548.40 c #Conflicts: 1235000 | #Constraints: 53227 3539.03/3548.40 c #Conflicts: 1236000 | #Constraints: 54263 3539.03/3548.40 c #Conflicts: 1237000 | #Constraints: 55303 3539.03/3548.40 c #Conflicts: 1238000 | #Constraints: 56336 3539.03/3548.40 c #Conflicts: 1239000 | #Constraints: 57376 3539.03/3548.40 c #Conflicts: 1240000 | #Constraints: 58399 3539.03/3548.40 c #Conflicts: 1241000 | #Constraints: 59436 3539.03/3548.40 c #Conflicts: 1242000 | #Constraints: 60462 3539.03/3548.40 c #Conflicts: 1243000 | #Constraints: 61486 3539.03/3548.40 c #Conflicts: 1244000 | #Constraints: 62516 3539.03/3548.40 c #Conflicts: 1245000 | #Constraints: 63552 3539.03/3548.40 c #Conflicts: 1246000 | #Constraints: 64587 3539.03/3548.40 c #Conflicts: 1247000 | #Constraints: 65625 3539.03/3548.40 c #Conflicts: 1248000 | #Constraints: 66653 3539.03/3548.40 c #Conflicts: 1249000 | #Constraints: 67685 3539.03/3548.40 c #Conflicts: 1250000 | #Constraints: 68716 3539.03/3548.40 c #Conflicts: 1251000 | #Constraints: 69738 3539.03/3548.40 c #Conflicts: 1252000 | #Constraints: 70759 3539.03/3548.40 c #Conflicts: 1253000 | #Constraints: 71791 3539.03/3548.40 c #Conflicts: 1254000 | #Constraints: 72817 3539.03/3548.40 c #Conflicts: 1255000 | #Constraints: 73855 3539.03/3548.40 c #Conflicts: 1256000 | #Constraints: 74887 3539.03/3548.40 c #Conflicts: 1257000 | #Constraints: 75923 3539.03/3548.40 c #Conflicts: 1258000 | #Constraints: 76947 3539.03/3548.40 c #Conflicts: 1259000 | #Constraints: 77969 3539.03/3548.40 c #Conflicts: 1260000 | #Constraints: 79012 3539.03/3548.40 c #Conflicts: 1261000 | #Constraints: 80037 3539.03/3548.40 c #Conflicts: 1262000 | #Constraints: 81063 3539.03/3548.40 c #Conflicts: 1263000 | #Constraints: 82102 3539.03/3548.40 c #Conflicts: 1264000 | #Constraints: 83126 3539.03/3548.40 c #Conflicts: 1265000 | #Constraints: 84153 3539.03/3548.40 c #Conflicts: 1266000 | #Constraints: 85187 3539.03/3548.40 c #Conflicts: 1267000 | #Constraints: 86224 3539.03/3548.40 c #Conflicts: 1268000 | #Constraints: 87263 3539.03/3548.40 c #Conflicts: 1269000 | #Constraints: 88299 3539.03/3548.40 c #Conflicts: 1270000 | #Constraints: 89336 3539.03/3548.40 c #Conflicts: 1271000 | #Constraints: 90372 3539.03/3548.40 c #Conflicts: 1272000 | #Constraints: 91407 3539.03/3548.40 c #Conflicts: 1273000 | #Constraints: 92431 3539.03/3548.40 c #Conflicts: 1274000 | #Constraints: 93455 3539.03/3548.40 c #Conflicts: 1275000 | #Constraints: 94480 3539.03/3548.40 c #Conflicts: 1276000 | #Constraints: 95505 3539.03/3548.40 c #Conflicts: 1277000 | #Constraints: 96526 3539.03/3548.40 c #Conflicts: 1278000 | #Constraints: 97546 3539.03/3548.40 c #Conflicts: 1279000 | #Constraints: 98570 3539.03/3548.40 c #Conflicts: 1280000 | #Constraints: 99587 3539.03/3548.40 c #Conflicts: 1281000 | #Constraints: 100613 3539.03/3548.40 c #Conflicts: 1282000 | #Constraints: 101646 3539.03/3548.40 c #Conflicts: 1283000 | #Constraints: 102668 3539.03/3548.40 c #Conflicts: 1284000 | #Constraints: 103692 3539.03/3548.40 c #Conflicts: 1285000 | #Constraints: 104722 3539.03/3548.40 c #Conflicts: 1286000 | #Constraints: 105749 3539.03/3548.40 c #Conflicts: 1287000 | #Constraints: 106767 3539.03/3548.40 c #Conflicts: 1288000 | #Constraints: 107785 3539.03/3548.40 c #Conflicts: 1289000 | #Constraints: 108819 3539.03/3548.40 c #Conflicts: 1290000 | #Constraints: 109847 3539.03/3548.40 c #Conflicts: 1291000 | #Constraints: 110871 3539.03/3548.40 c #Conflicts: 1292000 | #Constraints: 111908 3539.03/3548.40 c #Conflicts: 1293000 | #Constraints: 112940 3539.03/3548.40 c #Conflicts: 1294000 | #Constraints: 113968 3539.03/3548.40 c #Conflicts: 1295000 | #Constraints: 114991 3539.03/3548.40 c #Conflicts: 1296000 | #Constraints: 116017 3539.03/3548.40 c #Conflicts: 1297000 | #Constraints: 117052 3539.03/3548.40 c #Conflicts: 1298000 | #Constraints: 118072 3539.03/3548.40 c #Conflicts: 1299000 | #Constraints: 119091 3539.03/3548.40 c #Conflicts: 1300000 | #Constraints: 120119 3539.03/3548.40 c #Conflicts: 1301000 | #Constraints: 121141 3539.03/3548.40 c bounds 85 >= 80 @ 3481.3 3539.03/3548.40 c #Conflicts: 1302000 | #Constraints: 122176 3539.03/3548.40 c #Conflicts: 1303000 | #Constraints: 123200 3539.03/3548.40 c #Conflicts: 1304000 | #Constraints: 124230 3539.03/3548.40 c #Conflicts: 1305000 | #Constraints: 125259 3539.03/3548.40 c #Conflicts: 1306000 | #Constraints: 126288 3539.03/3548.40 c #Conflicts: 1307000 | #Constraints: 127318 3539.03/3548.40 c #Conflicts: 1308000 | #Constraints: 128353 3547.61/3557.02 c #Conflicts: 1309000 | #Constraints: 129386 3547.61/3557.02 c INPROCESSING 3547.61/3557.02 c GARBAGE COLLECT 3547.61/3557.02 c rational objective 76.5302 3600.05/3609.60 c #Conflicts: 1310000 | #Constraints: 65902 3600.05/3609.60 c #Conflicts: 1311000 | #Constraints: 66926 3600.05/3609.60 c #Conflicts: 1312000 | #Constraints: 67963 3600.05/3609.60 c #Conflicts: 1313000 | #Constraints: 68995 3600.05/3609.60 c #Conflicts: 1314000 | #Constraints: 70020 3600.05/3609.60 c #Conflicts: 1315000 | #Constraints: 71038 3600.05/3609.60 c #Conflicts: 1316000 | #Constraints: 72063 3600.05/3609.60 c #Conflicts: 1317000 | #Constraints: 73082 3600.05/3609.60 c #Conflicts: 1318000 | #Constraints: 74107 3600.05/3609.60 c #Conflicts: 1319000 | #Constraints: 75150 3600.05/3609.60 c #Conflicts: 1320000 | #Constraints: 76180 3600.05/3609.60 c #Conflicts: 1321000 | #Constraints: 77217 3600.05/3609.60 c #Conflicts: 1322000 | #Constraints: 78248 3600.05/3609.60 c #Conflicts: 1323000 | #Constraints: 79277 3600.05/3609.60 c #Conflicts: 1324000 | #Constraints: 80300 3600.05/3609.60 c #Conflicts: 1325000 | #Constraints: 81330 3600.05/3609.60 c #Conflicts: 1326000 | #Constraints: 82356 3600.05/3609.60 c #Conflicts: 1327000 | #Constraints: 83379 3600.05/3609.60 c #Conflicts: 1328000 | #Constraints: 84407 3600.05/3609.60 c #Conflicts: 1329000 | #Constraints: 85435 3600.05/3609.60 c #Conflicts: 1330000 | #Constraints: 86456 3600.05/3609.60 c #Conflicts: 1331000 | #Constraints: 87481 3600.05/3609.60 c Program interrupted by user. 3600.05/3609.60 c cpu time 3572.36 s 3600.05/3609.60 c deterministic time 354178737905 3.54e+11 3600.05/3609.60 c optimization time 51.9326 s 3600.05/3609.60 c total solve time 3520.43 s 3600.05/3609.60 c core-guided solve time 1995.44 s 3600.05/3609.60 c propagation time 3132.67 s 3600.05/3609.60 c conflict analysis time 401.095 s 3600.05/3609.60 c propagations 113139286 3600.05/3609.60 c resolve steps 9891142 3600.05/3609.60 c decisions 7716256 3600.05/3609.60 c conflicts 1331244 3600.05/3609.60 c restarts 2556 3600.05/3609.60 c inprocessing phases 59 3600.05/3609.60 c input clauses 652 3600.05/3609.60 c input cardinalities 116 3600.05/3609.60 c input general constraints 403 3600.05/3609.60 c input average constraint length 16.63 3600.05/3609.60 c input average constraint degree 10.35 3600.05/3609.60 c learned clauses 392719 3600.05/3609.60 c learned cardinalities 5412 3600.05/3609.60 c learned general constraints 956156 3600.05/3609.60 c learned average constraint length 106.22 3600.05/3609.60 c learned average constraint degree 2137458974.06 3600.05/3609.60 c watched constraints 834156 3600.05/3609.60 c counting constraints 122403 3600.05/3609.60 c gcd simplifications 124297 3600.05/3609.60 c detected cardinalities 244 3600.05/3609.60 c weakened non-implied lits 34788150 3600.05/3609.60 c weakened non-implying lits 325390 3600.05/3609.60 c original variables 441 3600.05/3609.60 c clausal propagations 11305270 3600.05/3609.60 c cardinality propagations 3970545 3600.05/3609.60 c watched propagations 18221273 3600.05/3609.60 c counting propagations 78333784 3600.05/3609.60 c watch lookups 67174495204 3600.05/3609.60 c watch backjump lookups 56483787004 3600.05/3609.60 c watch checks 213990109847 3600.05/3609.60 c propagation checks 15576345827 3600.05/3609.60 c constraint additions 709616039 3600.05/3609.60 c trail pops 122163349 3600.05/3609.60 c formula constraints 441 3600.05/3609.60 c learned constraints 1308205 3600.05/3609.60 c bound constraints 36 3600.05/3609.60 c core-guided constraints 694 3600.05/3609.60 c encountered formula constraints 1268888 3600.05/3609.60 c encountered learned constraints 5978289 3600.05/3609.60 c encountered bound constraints 240 3600.05/3609.60 c encountered core-guided constraints 1003038 3600.05/3609.60 c LP total time 54.0868 s 3600.05/3609.60 c LP solve time 47.29 s 3600.05/3609.60 c LP constraints added 441 3600.05/3609.60 c LP constraints removed 0 3600.05/3609.60 c LP pivots internal 1331257 3600.05/3609.60 c LP pivots root 33835 3600.05/3609.60 c LP calls 24023 3600.05/3609.60 c LP optimalities 980 3600.05/3609.60 c LP no pivot count 35 3600.05/3609.60 c LP infeasibilities 23041 3600.05/3609.60 c LP valid Farkas constraints 23041 3600.05/3609.60 c LP learned Farkas constraints 23041 3600.05/3609.60 c LP basis resets 0 3600.05/3609.60 c LP cycling count 0 3600.05/3609.60 c LP singular count 0 3600.05/3609.60 c LP no primal count 0 3600.05/3609.60 c LP no farkas count 0 3600.05/3609.60 c LP other issue count 0 3600.05/3609.60 c LP Gomory cuts 0 3600.05/3609.60 c LP learned cuts 0 3600.05/3609.60 c LP deleted cuts 0 3600.05/3609.60 c LP encountered Gomory constraints 0 3600.05/3609.60 c LP encountered Farkas constraints 2459534 3600.05/3609.60 c LP encountered learned Farkas constraints 489356 3600.05/3609.60 c CG auxiliary variables introduced 258 3600.05/3609.60 c CG solutions found 36 3600.05/3609.60 c CG cores constructed 80 3600.05/3609.60 c CG core cardinality constraints returned 0 3600.05/3609.60 c CG unit cores 0 3600.05/3609.60 c CG single cores 79 3600.05/3609.60 c CG blocks removed during cardinality reduction 0 3600.05/3609.60 c CG first core best 0 3600.05/3609.60 c CG decision core best 0 3600.05/3609.60 c CG core reduction tie 1 3600.05/3609.60 c CG core degree average 1.00 3600.05/3609.60 c CG core slack average 5.74 3600.05/3609.60 s SATISFIABLE 3600.05/3609.60 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
OK 85
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: 63931 MiB (61191 MiB free)
memory of node 1: 64510 MiB (44274 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462753-1722341018/watcher-4462753-1722341018 -o /tmp/evaluation-result-4462753-1722341018/solver-4462753-1722341018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722340763-6573 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462753-1722341018 --lp-cut-gomory=0 HOME/instance-4462753-1722341018.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=7162, runsolver pid=7159
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.10 2.44 1.07 5/264 7163
/proc/meminfo: memFree=107980968/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=39300 memory=9492 CPUtime=0.08 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 768 0 0 0 7 1 0 0 20 0 1 0 700068 40243200 2373 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 9825 2373 1806 992 0 1683 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 39300 KiB
Current children cumulated memory: 9492 KiB
[startup+0.205723 s]*
/proc/loadavg: 4.10 2.44 1.07 5/264 7163
/proc/meminfo: memFree=107978016/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=40112 memory=10520 CPUtime=0.19 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 1038 0 0 0 17 2 0 0 20 0 1 0 700068 41074688 2630 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 10028 2630 1806 992 0 1886 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40112 KiB
Current children cumulated memory: 10520 KiB
[startup+0.305818 s]*
/proc/loadavg: 4.10 2.44 1.07 6/264 7163
/proc/meminfo: memFree=107972448/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=41716 memory=15268 CPUtime=0.29 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 1729 0 0 0 26 3 0 0 20 0 1 0 700068 42717184 3817 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 10429 3817 1822 992 0 2287 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 15268 KiB
[startup+0.700221 s]
/proc/loadavg: 4.10 2.44 1.07 8/264 7163
/proc/meminfo: memFree=107966356/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=42244 memory=16148 CPUtime=0.67 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 1860 0 0 0 61 6 0 0 20 0 1 0 700068 43257856 4037 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 10561 4037 1887 992 0 2419 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42244 KiB
Current children cumulated memory: 16148 KiB
[startup+1.50021 s]
/proc/loadavg: 4.09 2.46 1.09 5/264 7163
/proc/meminfo: memFree=107950864/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=44700 memory=18280 CPUtime=1.47 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 2424 0 0 0 134 13 0 0 20 0 1 0 700068 45772800 4570 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 11175 4570 1887 992 0 3033 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 44700 KiB
Current children cumulated memory: 18280 KiB
[startup+3.10564 s]
/proc/loadavg: 4.09 2.46 1.09 5/264 7163
/proc/meminfo: memFree=107810304/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=46888 memory=21212 CPUtime=3.08 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 3142 0 0 0 284 24 0 0 20 0 1 0 700068 48013312 5303 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 11722 5303 1887 992 0 3580 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46888 KiB
Current children cumulated memory: 21212 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 2.49 1.11 5/264 7163
/proc/meminfo: memFree=107414784/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=51296 memory=24888 CPUtime=6.26 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 3577 0 0 0 586 40 0 0 20 0 1 0 700068 52527104 6222 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 12824 6222 1887 992 0 4682 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 51296 KiB
Current children cumulated memory: 24888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 2.51 1.12 5/264 7164
/proc/meminfo: memFree=107068272/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=53096 memory=26468 CPUtime=12.65 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 4000 0 0 0 1194 71 0 0 20 0 1 0 700068 54370304 6617 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 13274 6617 1887 992 0 5132 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 26468 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 2.56 1.15 5/264 7166
/proc/meminfo: memFree=106202160/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=76484 memory=48248 CPUtime=25.41 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 7372 0 0 0 2431 110 0 0 20 0 1 0 700068 78319616 12062 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 19121 12062 1887 992 0 10979 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 76484 KiB
Current children cumulated memory: 48248 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 2.72 1.25 5/264 7216
/proc/meminfo: memFree=106013656/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=95840 memory=58468 CPUtime=50.92 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 9425 0 0 0 4920 172 0 0 20 0 1 0 700068 98140160 14617 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 23960 14617 1887 992 0 15818 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 95840 KiB
Current children cumulated memory: 58468 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 2.93 1.40 5/263 7224
/proc/meminfo: memFree=102675908/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=113680 memory=84812 CPUtime=101.98 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 13005 0 0 0 9943 255 0 0 20 0 1 0 700068 116408320 21203 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 28420 21203 1887 992 0 20278 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 113680 KiB
Current children cumulated memory: 84812 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.16 1.58 5/261 7235
/proc/meminfo: memFree=99361344/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=141232 memory=92944 CPUtime=161.83 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 15253 0 0 0 15833 350 0 0 20 0 1 0 700068 144621568 23236 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 35308 23236 1887 992 0 27166 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 141232 KiB
Current children cumulated memory: 92944 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.33 1.74 5/261 7246
/proc/meminfo: memFree=95640188/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=145200 memory=102944 CPUtime=221.67 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 16371 0 0 0 21732 435 0 0 20 0 1 0 700068 148684800 25736 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 36300 25736 1887 992 0 28158 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 145200 KiB
Current children cumulated memory: 102944 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 3.49 1.89 5/261 7258
/proc/meminfo: memFree=85700352/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=153584 memory=115564 CPUtime=281.51 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 18187 0 0 0 27652 499 0 0 20 0 1 0 700068 157270016 28891 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 38396 28891 1887 992 0 30254 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 153584 KiB
Current children cumulated memory: 115564 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.61 2.04 6/259 7270
/proc/meminfo: memFree=82160964/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=157264 memory=118388 CPUtime=341.36 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 18925 0 0 0 33570 566 0 0 20 0 1 0 700068 161038336 29597 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 39316 29597 1887 992 0 31174 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 157264 KiB
Current children cumulated memory: 118388 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.70 2.17 5/265 7288
/proc/meminfo: memFree=78070320/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=164436 memory=123592 CPUtime=401.19 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 20286 0 0 0 39516 603 0 0 20 0 1 0 700068 168382464 30898 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 41109 30898 1887 992 0 32967 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 164436 KiB
Current children cumulated memory: 123592 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.79 2.30 5/265 7298
/proc/meminfo: memFree=75231348/131524600 swapFree=131071996/131071996
[pid=7162] ppid=7159 vsize=168820 memory=126984 CPUtime=461.05 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 21416 0 0 0 45435 670 0 0 20 0 1 0 700068 172871680 31746 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 42205 31746 1887 992 0 34063 0
################
# More data... #
################
Current children cumulated memory: 253864 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.27 4.12 4/252 8421
/proc/meminfo: memFree=15284552/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=339736 memory=255416 CPUtime=3034.51 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 117142 0 0 0 300995 2456 0 0 20 0 1 0 700068 347889664 63854 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 84934 63854 1887 992 0 76792 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 339736 KiB
Current children cumulated memory: 255416 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.25 4.12 5/261 8930
/proc/meminfo: memFree=102902820/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=341016 memory=256536 CPUtime=3094.29 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 118880 0 0 0 306959 2470 0 0 20 0 1 0 700068 349200384 64134 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 85254 64134 1887 992 0 77112 0
Current children cumulated CPU time: 3094.29 s
Current children cumulated vsize: 341016 KiB
Current children cumulated memory: 256536 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.22 4.12 5/261 9077
/proc/meminfo: memFree=101608504/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=343064 memory=261140 CPUtime=3154.07 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 119800 0 0 0 312920 2487 0 0 20 0 1 0 700068 351297536 65285 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 85766 65285 1887 992 0 77624 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 343064 KiB
Current children cumulated memory: 261140 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.20 4.12 5/261 9087
/proc/meminfo: memFree=101191536/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=345112 memory=285560 CPUtime=3213.82 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 120620 0 0 0 318880 2502 0 0 20 0 1 0 700068 353394688 71390 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 86278 71390 1887 992 0 78136 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 345112 KiB
Current children cumulated memory: 285560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.11 5/261 9312
/proc/meminfo: memFree=101782136/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=346088 memory=288876 CPUtime=3273.66 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 121458 0 0 0 324822 2544 0 0 20 0 1 0 700068 354394112 72219 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 86522 72219 1887 992 0 78380 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 346088 KiB
Current children cumulated memory: 288876 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.19 4.12 6/260 9322
/proc/meminfo: memFree=100792792/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=346904 memory=289456 CPUtime=3333.5 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 122074 0 0 0 330747 2603 0 0 20 0 1 0 700068 355229696 72364 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 86726 72364 1887 992 0 78584 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 346904 KiB
Current children cumulated memory: 289456 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/260 9335
/proc/meminfo: memFree=99777084/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=348696 memory=290308 CPUtime=3393.35 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 122464 0 0 0 336693 2642 0 0 20 0 1 0 700068 357064704 72577 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 87174 72577 1887 992 0 79032 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 348696 KiB
Current children cumulated memory: 290308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/261 9404
/proc/meminfo: memFree=100767288/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=354196 memory=294160 CPUtime=3453.18 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 123570 0 0 0 342642 2676 0 0 20 0 1 0 700068 362696704 73540 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 88549 73540 1887 992 0 80407 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 354196 KiB
Current children cumulated memory: 294160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/261 9415
/proc/meminfo: memFree=98513236/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=356244 memory=296232 CPUtime=3513.01 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 124107 0 0 0 348593 2708 0 0 20 0 1 0 700068 364793856 74058 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 89061 74058 1887 992 0 80919 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 356244 KiB
Current children cumulated memory: 296232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/261 9425
/proc/meminfo: memFree=96691004/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=358348 memory=297772 CPUtime=3572.83 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 125007 0 0 0 354536 2747 0 0 20 0 1 0 700068 366948352 74443 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 89587 74443 1887 992 0 81445 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 358348 KiB
Current children cumulated memory: 297772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.18 4.17 4.11 5/261 9428
/proc/meminfo: memFree=95796608/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=358348 memory=297772 CPUtime=3600.05 cores=5,7
/proc/7162/stat : 7162 (roundingsat) R 7159 7162 6560 0 -1 4194304 125120 0 0 0 357236 2769 0 0 20 0 1 0 700068 366948352 74443 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 89587 74443 1887 992 0 81445 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 358348 KiB
Current children cumulated memory: 297772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.36 s]
# the end of solver process 7162 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.36 s, system=27.6981 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.18 4.17 4.11 4/261 9430
/proc/meminfo: memFree=95765696/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=358348 memory=297772 CPUtime=3600.05 cores=5,7
/proc/7162/stat : 7162 (roundingsat) D 7159 7162 6560 0 -1 4194304 125127 0 0 0 357236 2769 0 0 20 0 1 0 700068 366948352 74443 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 29 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 89587 74443 1887 992 0 81445 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 358348 KiB
Current children cumulated memory: 297772 KiB
[startup+3610.2 s]
/proc/loadavg: 4.18 4.17 4.11 4/261 9430
/proc/meminfo: memFree=95765696/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=358348 memory=297772 CPUtime=3600.05 cores=5,7
/proc/7162/stat : 7162 (roundingsat) D 7159 7162 6560 0 -1 4194304 125127 0 0 0 357236 2769 0 0 20 0 1 0 700068 366948352 74443 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 92 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 89587 74443 1887 992 0 81445 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 358348 KiB
Current children cumulated memory: 297772 KiB
[startup+3610.3 s]
/proc/loadavg: 4.18 4.17 4.11 4/261 9430
/proc/meminfo: memFree=95765696/131524600 swapFree=131071216/131071996
[pid=7162] ppid=7159 vsize=358348 memory=297772 CPUtime=3600.05 cores=5,7
/proc/7162/stat : 7162 (roundingsat) D 7159 7162 6560 0 -1 4194304 125127 0 0 0 357236 2769 0 0 20 0 1 0 700068 366948352 74443 134679101440 4194304 8255733 140734806847488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 132 0 0 9037040 9046032 18370560 140734806852446 140734806852708 140734806852708 140734806859721 0
/proc/7162/statm: 89587 74443 1887 992 0 81445 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 358348 KiB
Current children cumulated memory: 297772 KiB
Child status: 0
Real time (s): 3610.37
CPU time (s): 3600.06
CPU user time (s): 3572.36
CPU system time (s): 27.6981
CPU usage (%): 99.7145
Max. virtual memory (cumulated for all children) (KiB): 358860
Max. memory (cumulated for all children) (KiB): 297968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.36
system time used= 27.6981
maximum resident set size= 299024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125135
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11589576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204
involuntary context switches= 5038
# summary of solver processes directly reported to runsolver:
# pid: 7162
# total CPU time (s): 3600.06
# total CPU user time (s): 3572.36
# total CPU system time (s): 27.6981
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.958 second user time and 16.8803 second system time
The end
Begin job on nodeC021 at 2024-07-30 14:03:38 IDJOB=4462753 IDBENCH=155338 IDSOLVER=3089 FILE ID=nodeC021/4462753-1722341018 RUNJOBID= nodeC021-1722340763-6573 SLURM_JOB_ID= 8248994 Free space on /tmp= 889976 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.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-4462753-1722341018/watcher-4462753-1722341018 -o /tmp/evaluation-result-4462753-1722341018/solver-4462753-1722341018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722340763-6573 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462753-1722341018 --lp-cut-gomory=0 HOME/instance-4462753-1722341018.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20 RANDOM SEED=851038885 nodeC021.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 : 3599.898 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 : 6999.80 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 : 3673.536 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.98 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 : 3599.903 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 : 6999.80 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 : 3610.825 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.98 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 : 3599.898 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 : 6999.80 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 : 3653.655 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.98 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 : 3599.947 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 : 6999.80 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 : 3657.624 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.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 107998260 kB MemAvailable: 128267288 kB Buffers: 46768 kB Cached: 21036432 kB SwapCached: 0 kB Active: 248384 kB Inactive: 22733908 kB Active(anon): 1532 kB Inactive(anon): 1919316 kB Active(file): 246852 kB Inactive(file): 20814592 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 228212 kB Writeback: 569592 kB AnonPages: 1898116 kB Mapped: 97548 kB Shmem: 21336 kB KReclaimable: 94464 kB Slab: 199468 kB SReclaimable: 94464 kB SUnreclaim: 105004 kB KernelStack: 4268 kB PageTables: 12696 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2312968 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8352 kB HardwareCorrupted: 0 kB AnonHugePages: 1017856 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: 168660 kB DirectMap2M: 9041920 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890052 MiB End job on nodeC021 at 2024-07-30 15:03:48