| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 74 | 3600.05 | 3609.31 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb |
| MD5SUM | 89d4e33f1fc4516d7db076f434bf527f |
| 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 | 72 |
| Best CPU time to get the best result obtained on this benchmark | 3600.08 |
| 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 | 1288 |
| Total number of constraints | 2431 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2430 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 29 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 182 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 175 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 802 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.02 c #variables 1288 #constraints 2431 0.00/0.04 c bounds - >= 0 @ 0.023493 0.00/0.04 c rational objective 55 0.30/0.40 c bounds 108 >= 0 @ 0.169215 0.30/0.40 c bounds 108 >= 55 @ 0.169215 0.30/0.40 c #Conflicts: 1000 | #Constraints: 3431 0.30/0.40 c #Conflicts: 2000 | #Constraints: 4431 0.30/0.40 c INPROCESSING 0.30/0.40 c GARBAGE COLLECT 0.30/0.40 c rational objective 55 0.78/0.87 c bounds 107 >= 55 @ 0.382548 0.78/0.87 c bounds 102 >= 55 @ 0.386269 0.78/0.87 c bounds 101 >= 55 @ 0.388316 0.78/0.87 c bounds 100 >= 55 @ 0.392654 0.78/0.87 c bounds 99 >= 55 @ 0.450351 0.78/0.87 c #Conflicts: 3000 | #Constraints: 4426 0.78/0.87 c #Conflicts: 4000 | #Constraints: 5426 0.78/0.87 c INPROCESSING 0.78/0.87 c GARBAGE COLLECT 0.78/0.87 c rational objective 55 1.38/1.46 c bounds 95 >= 55 @ 0.832552 1.38/1.46 c bounds 94 >= 55 @ 0.915725 1.38/1.46 c #Conflicts: 5000 | #Constraints: 4844 1.38/1.46 c bounds 89 >= 55 @ 1.15683 1.38/1.46 c #Conflicts: 6000 | #Constraints: 5845 1.38/1.46 c INPROCESSING 1.38/1.46 c GARBAGE COLLECT 1.38/1.46 c rational objective 55 2.09/2.19 c #Conflicts: 7000 | #Constraints: 4862 2.09/2.19 c #Conflicts: 8000 | #Constraints: 5862 2.09/2.19 c #Conflicts: 9000 | #Constraints: 6862 2.09/2.19 c INPROCESSING 2.09/2.19 c GARBAGE COLLECT 2.09/2.19 c rational objective 55 2.98/3.05 c #Conflicts: 10000 | #Constraints: 5572 2.98/3.05 c #Conflicts: 11000 | #Constraints: 6572 2.98/3.05 c #Conflicts: 12000 | #Constraints: 7572 2.98/3.05 c INPROCESSING 2.98/3.05 c GARBAGE COLLECT 2.98/3.05 c rational objective 55 3.87/3.93 c #Conflicts: 13000 | #Constraints: 6039 3.87/3.93 c #Conflicts: 14000 | #Constraints: 7039 3.87/3.93 c #Conflicts: 15000 | #Constraints: 8039 3.87/3.93 c INPROCESSING 3.87/3.93 c GARBAGE COLLECT 3.87/3.93 c rational objective 55 4.88/4.94 c #Conflicts: 16000 | #Constraints: 6261 4.88/4.94 c #Conflicts: 17000 | #Constraints: 7261 4.88/4.94 c #Conflicts: 18000 | #Constraints: 8261 4.88/4.94 c INPROCESSING 4.88/4.94 c GARBAGE COLLECT 4.88/4.94 c rational objective 55 5.97/6.00 c #Conflicts: 19000 | #Constraints: 6270 5.97/6.00 c #Conflicts: 20000 | #Constraints: 7270 5.97/6.00 c #Conflicts: 21000 | #Constraints: 8270 5.97/6.00 c INPROCESSING 5.97/6.00 c GARBAGE COLLECT 5.97/6.00 c rational objective 55 7.07/7.14 c #Conflicts: 22000 | #Constraints: 6074 7.07/7.14 c #Conflicts: 23000 | #Constraints: 7074 7.07/7.14 c bounds 86 >= 55 @ 6.22588 7.07/7.14 c #Conflicts: 24000 | #Constraints: 8075 7.07/7.14 c bounds 85 >= 55 @ 6.67248 7.07/7.14 c #Conflicts: 25000 | #Constraints: 9076 7.07/7.14 c INPROCESSING 7.07/7.14 c GARBAGE COLLECT 7.07/7.14 c rational objective 55 8.36/8.42 c #Conflicts: 26000 | #Constraints: 6420 8.36/8.42 c #Conflicts: 27000 | #Constraints: 7420 8.36/8.42 c #Conflicts: 28000 | #Constraints: 8420 8.36/8.42 c #Conflicts: 29000 | #Constraints: 9420 8.36/8.42 c INPROCESSING 8.36/8.42 c GARBAGE COLLECT 8.36/8.42 c rational objective 55 9.66/9.74 c #Conflicts: 30000 | #Constraints: 6958 9.66/9.74 c #Conflicts: 31000 | #Constraints: 7958 9.66/9.74 c #Conflicts: 32000 | #Constraints: 8958 9.66/9.74 c #Conflicts: 33000 | #Constraints: 9958 9.66/9.74 c INPROCESSING 9.66/9.74 c GARBAGE COLLECT 9.66/9.74 c rational objective 55 11.15/11.24 c #Conflicts: 34000 | #Constraints: 7224 11.15/11.24 c #Conflicts: 35000 | #Constraints: 8224 11.15/11.24 c #Conflicts: 36000 | #Constraints: 9224 11.15/11.24 c #Conflicts: 37000 | #Constraints: 10224 11.15/11.24 c INPROCESSING 11.15/11.24 c GARBAGE COLLECT 11.15/11.24 c rational objective 55 12.64/12.73 c #Conflicts: 38000 | #Constraints: 7261 12.64/12.73 c #Conflicts: 39000 | #Constraints: 8261 12.64/12.73 c #Conflicts: 40000 | #Constraints: 9261 12.64/12.73 c #Conflicts: 41000 | #Constraints: 10261 12.64/12.73 c INPROCESSING 12.64/12.73 c GARBAGE COLLECT 12.64/12.73 c rational objective 55 14.24/14.32 c #Conflicts: 42000 | #Constraints: 7082 14.24/14.32 c bounds 83 >= 55 @ 12.4351 14.24/14.32 c bounds 82 >= 55 @ 12.6241 14.24/14.32 c bounds 80 >= 55 @ 12.6769 14.24/14.32 c #Conflicts: 43000 | #Constraints: 8085 14.24/14.32 c #Conflicts: 44000 | #Constraints: 9085 14.24/14.32 c #Conflicts: 45000 | #Constraints: 10085 14.24/14.32 c #Conflicts: 46000 | #Constraints: 11085 14.24/14.32 c INPROCESSING 14.24/14.32 c GARBAGE COLLECT 14.24/14.32 c rational objective 55 16.04/16.15 c #Conflicts: 47000 | #Constraints: 7685 16.04/16.15 c #Conflicts: 48000 | #Constraints: 8685 16.04/16.15 c #Conflicts: 49000 | #Constraints: 9685 16.04/16.15 c #Conflicts: 50000 | #Constraints: 10685 16.04/16.15 c #Conflicts: 51000 | #Constraints: 11685 16.04/16.15 c INPROCESSING 16.04/16.15 c GARBAGE COLLECT 16.04/16.15 c rational objective 55 17.94/18.01 c #Conflicts: 52000 | #Constraints: 8085 17.94/18.01 c #Conflicts: 53000 | #Constraints: 9085 17.94/18.01 c #Conflicts: 54000 | #Constraints: 10085 17.94/18.01 c #Conflicts: 55000 | #Constraints: 11085 17.94/18.01 c #Conflicts: 56000 | #Constraints: 12085 17.94/18.01 c INPROCESSING 17.94/18.01 c GARBAGE COLLECT 17.94/18.01 c rational objective 55 20.04/20.10 c #Conflicts: 57000 | #Constraints: 8295 20.04/20.10 c #Conflicts: 58000 | #Constraints: 9295 20.04/20.10 c #Conflicts: 59000 | #Constraints: 10295 20.04/20.10 c #Conflicts: 60000 | #Constraints: 11295 20.04/20.10 c #Conflicts: 61000 | #Constraints: 12295 20.04/20.10 c INPROCESSING 20.04/20.10 c GARBAGE COLLECT 20.04/20.10 c rational objective 55 22.13/22.25 c #Conflicts: 62000 | #Constraints: 8291 22.13/22.25 c #Conflicts: 63000 | #Constraints: 9291 22.13/22.25 c #Conflicts: 64000 | #Constraints: 10291 22.13/22.25 c #Conflicts: 65000 | #Constraints: 11291 22.13/22.25 c #Conflicts: 66000 | #Constraints: 12291 22.13/22.25 c INPROCESSING 22.13/22.25 c GARBAGE COLLECT 22.13/22.25 c rational objective 55 24.62/24.76 c #Conflicts: 67000 | #Constraints: 8092 24.62/24.76 c #Conflicts: 68000 | #Constraints: 9092 24.62/24.76 c #Conflicts: 69000 | #Constraints: 10092 24.62/24.76 c #Conflicts: 70000 | #Constraints: 11092 24.62/24.76 c #Conflicts: 71000 | #Constraints: 12092 24.62/24.76 c #Conflicts: 72000 | #Constraints: 13092 24.62/24.76 c INPROCESSING 24.62/24.76 c GARBAGE COLLECT 24.62/24.76 c rational objective 55 27.01/27.17 c #Conflicts: 73000 | #Constraints: 8693 27.01/27.17 c #Conflicts: 74000 | #Constraints: 9693 27.01/27.17 c #Conflicts: 75000 | #Constraints: 10693 27.01/27.17 c #Conflicts: 76000 | #Constraints: 11693 27.01/27.17 c #Conflicts: 77000 | #Constraints: 12693 27.01/27.17 c #Conflicts: 78000 | #Constraints: 13693 27.01/27.17 c INPROCESSING 27.01/27.17 c GARBAGE COLLECT 27.01/27.17 c rational objective 55 29.80/29.94 c #Conflicts: 79000 | #Constraints: 9093 29.80/29.94 c #Conflicts: 80000 | #Constraints: 10093 29.80/29.94 c #Conflicts: 81000 | #Constraints: 11093 29.80/29.94 c #Conflicts: 82000 | #Constraints: 12093 29.80/29.94 c #Conflicts: 83000 | #Constraints: 13093 29.80/29.94 c #Conflicts: 84000 | #Constraints: 14093 29.80/29.94 c INPROCESSING 29.80/29.94 c GARBAGE COLLECT 29.80/29.94 c rational objective 55 32.40/32.56 c #Conflicts: 85000 | #Constraints: 9304 32.40/32.56 c #Conflicts: 86000 | #Constraints: 10304 32.40/32.56 c #Conflicts: 87000 | #Constraints: 11304 32.40/32.56 c #Conflicts: 88000 | #Constraints: 12304 32.40/32.56 c #Conflicts: 89000 | #Constraints: 13304 32.40/32.56 c #Conflicts: 90000 | #Constraints: 14304 32.40/32.56 c INPROCESSING 32.40/32.56 c GARBAGE COLLECT 32.40/32.56 c rational objective 55 35.69/35.84 c #Conflicts: 91000 | #Constraints: 9306 35.69/35.84 c #Conflicts: 92000 | #Constraints: 10306 35.69/35.84 c #Conflicts: 93000 | #Constraints: 11306 35.69/35.84 c #Conflicts: 94000 | #Constraints: 12306 35.69/35.84 c #Conflicts: 95000 | #Constraints: 13306 35.69/35.84 c #Conflicts: 96000 | #Constraints: 14306 35.69/35.84 c INPROCESSING 35.69/35.84 c GARBAGE COLLECT 35.69/35.84 c rational objective 55 38.68/38.82 c #Conflicts: 97000 | #Constraints: 9099 38.68/38.82 c #Conflicts: 98000 | #Constraints: 10099 38.68/38.82 c #Conflicts: 99000 | #Constraints: 11099 38.68/38.82 c #Conflicts: 100000 | #Constraints: 12099 38.68/38.82 c #Conflicts: 101000 | #Constraints: 13099 38.68/38.82 c #Conflicts: 102000 | #Constraints: 14099 38.68/38.82 c #Conflicts: 103000 | #Constraints: 15099 38.68/38.82 c INPROCESSING 38.68/38.82 c GARBAGE COLLECT 38.68/38.82 c rational objective 55 42.37/42.59 c #Conflicts: 104000 | #Constraints: 9705 42.37/42.59 c #Conflicts: 105000 | #Constraints: 10705 42.37/42.59 c #Conflicts: 106000 | #Constraints: 11705 42.37/42.59 c #Conflicts: 107000 | #Constraints: 12705 42.37/42.59 c #Conflicts: 108000 | #Constraints: 13705 42.37/42.59 c #Conflicts: 109000 | #Constraints: 14705 42.37/42.59 c #Conflicts: 110000 | #Constraints: 15705 42.37/42.59 c INPROCESSING 42.37/42.59 c GARBAGE COLLECT 42.37/42.59 c rational objective 55 45.66/45.86 c #Conflicts: 111000 | #Constraints: 10117 45.66/45.86 c #Conflicts: 112000 | #Constraints: 11117 45.66/45.86 c #Conflicts: 113000 | #Constraints: 12117 45.66/45.86 c #Conflicts: 114000 | #Constraints: 13117 45.66/45.86 c #Conflicts: 115000 | #Constraints: 14117 45.66/45.86 c #Conflicts: 116000 | #Constraints: 15117 45.66/45.86 c #Conflicts: 117000 | #Constraints: 16117 45.66/45.86 c INPROCESSING 45.66/45.86 c GARBAGE COLLECT 45.66/45.86 c rational objective 55 49.15/49.34 c #Conflicts: 118000 | #Constraints: 10314 49.15/49.34 c bounds 79 >= 55 @ 45.52 49.15/49.34 c #Conflicts: 119000 | #Constraints: 11315 49.15/49.34 c #Conflicts: 120000 | #Constraints: 12315 49.15/49.34 c #Conflicts: 121000 | #Constraints: 13315 49.15/49.34 c #Conflicts: 122000 | #Constraints: 14315 49.15/49.34 c #Conflicts: 123000 | #Constraints: 15315 49.15/49.34 c #Conflicts: 124000 | #Constraints: 16315 49.15/49.34 c INPROCESSING 49.15/49.34 c GARBAGE COLLECT 49.15/49.34 c rational objective 55 53.64/53.89 c #Conflicts: 125000 | #Constraints: 10310 53.64/53.89 c #Conflicts: 126000 | #Constraints: 11310 53.64/53.89 c #Conflicts: 127000 | #Constraints: 12310 53.64/53.89 c #Conflicts: 128000 | #Constraints: 13310 53.64/53.89 c #Conflicts: 129000 | #Constraints: 14310 53.64/53.89 c #Conflicts: 130000 | #Constraints: 15310 53.64/53.89 c #Conflicts: 131000 | #Constraints: 16310 53.64/53.89 c bounds 78 >= 55 @ 52.4742 53.64/53.89 c INPROCESSING 53.64/53.89 c GARBAGE COLLECT 53.64/53.89 c rational objective 55 57.63/57.87 c #Conflicts: 132000 | #Constraints: 10106 57.63/57.87 c #Conflicts: 133000 | #Constraints: 11106 57.63/57.87 c #Conflicts: 134000 | #Constraints: 12106 57.63/57.87 c #Conflicts: 135000 | #Constraints: 13106 57.63/57.87 c #Conflicts: 136000 | #Constraints: 14106 57.63/57.87 c #Conflicts: 137000 | #Constraints: 15106 57.63/57.87 c #Conflicts: 138000 | #Constraints: 16106 57.63/57.87 c #Conflicts: 139000 | #Constraints: 17106 57.63/57.87 c INPROCESSING 57.63/57.87 c GARBAGE COLLECT 57.63/57.87 c rational objective 55 61.93/62.12 c #Conflicts: 140000 | #Constraints: 10705 61.93/62.12 c #Conflicts: 141000 | #Constraints: 11705 61.93/62.12 c #Conflicts: 142000 | #Constraints: 12705 61.93/62.12 c #Conflicts: 143000 | #Constraints: 13705 61.93/62.12 c #Conflicts: 144000 | #Constraints: 14705 61.93/62.12 c #Conflicts: 145000 | #Constraints: 15705 61.93/62.12 c #Conflicts: 146000 | #Constraints: 16705 61.93/62.12 c #Conflicts: 147000 | #Constraints: 17705 61.93/62.12 c INPROCESSING 61.93/62.12 c GARBAGE COLLECT 61.93/62.12 c rational objective 55 65.81/66.09 c #Conflicts: 148000 | #Constraints: 10954 65.81/66.09 c #Conflicts: 149000 | #Constraints: 11954 65.81/66.09 c #Conflicts: 150000 | #Constraints: 12954 65.81/66.09 c #Conflicts: 151000 | #Constraints: 13954 65.81/66.09 c #Conflicts: 152000 | #Constraints: 14954 65.81/66.09 c #Conflicts: 153000 | #Constraints: 15954 65.81/66.09 c #Conflicts: 154000 | #Constraints: 16954 65.81/66.09 c #Conflicts: 155000 | #Constraints: 17954 65.81/66.09 c INPROCESSING 65.81/66.09 c GARBAGE COLLECT 65.81/66.09 c rational objective 55 70.40/70.67 c #Conflicts: 156000 | #Constraints: 11232 70.40/70.67 c #Conflicts: 157000 | #Constraints: 12232 70.40/70.67 c #Conflicts: 158000 | #Constraints: 13232 70.40/70.67 c #Conflicts: 159000 | #Constraints: 14232 70.40/70.67 c #Conflicts: 160000 | #Constraints: 15232 70.40/70.67 c #Conflicts: 161000 | #Constraints: 16232 70.40/70.67 c #Conflicts: 162000 | #Constraints: 17232 70.40/70.67 c #Conflicts: 163000 | #Constraints: 18232 70.40/70.67 c INPROCESSING 70.40/70.67 c GARBAGE COLLECT 70.40/70.67 c rational objective 55 74.79/75.06 c #Conflicts: 164000 | #Constraints: 11287 74.79/75.06 c #Conflicts: 165000 | #Constraints: 12287 74.79/75.06 c #Conflicts: 166000 | #Constraints: 13287 74.79/75.06 c #Conflicts: 167000 | #Constraints: 14287 74.79/75.06 c #Conflicts: 168000 | #Constraints: 15287 74.79/75.06 c #Conflicts: 169000 | #Constraints: 16287 74.79/75.06 c #Conflicts: 170000 | #Constraints: 17287 74.79/75.06 c #Conflicts: 171000 | #Constraints: 18287 74.79/75.06 c INPROCESSING 74.79/75.06 c GARBAGE COLLECT 74.79/75.06 c rational objective 55 79.97/80.27 c #Conflicts: 172000 | #Constraints: 11109 79.97/80.27 c #Conflicts: 173000 | #Constraints: 12109 79.97/80.27 c #Conflicts: 174000 | #Constraints: 13109 79.97/80.27 c #Conflicts: 175000 | #Constraints: 14109 79.97/80.27 c #Conflicts: 176000 | #Constraints: 15109 79.97/80.27 c #Conflicts: 177000 | #Constraints: 16109 79.97/80.27 c #Conflicts: 178000 | #Constraints: 17109 79.97/80.27 c #Conflicts: 179000 | #Constraints: 18109 79.97/80.27 c #Conflicts: 180000 | #Constraints: 19109 79.97/80.27 c INPROCESSING 79.97/80.27 c GARBAGE COLLECT 79.97/80.27 c rational objective 55 84.66/84.99 c #Conflicts: 181000 | #Constraints: 11702 84.66/84.99 c #Conflicts: 182000 | #Constraints: 12702 84.66/84.99 c #Conflicts: 183000 | #Constraints: 13702 84.66/84.99 c #Conflicts: 184000 | #Constraints: 14702 84.66/84.99 c #Conflicts: 185000 | #Constraints: 15702 84.66/84.99 c #Conflicts: 186000 | #Constraints: 16702 84.66/84.99 c #Conflicts: 187000 | #Constraints: 17702 84.66/84.99 c #Conflicts: 188000 | #Constraints: 18702 84.66/84.99 c #Conflicts: 189000 | #Constraints: 19702 84.66/84.99 c INPROCESSING 84.66/84.99 c GARBAGE COLLECT 84.66/84.99 c rational objective 55 90.14/90.45 c #Conflicts: 190000 | #Constraints: 12101 90.14/90.45 c #Conflicts: 191000 | #Constraints: 13101 90.14/90.45 c #Conflicts: 192000 | #Constraints: 14101 90.14/90.45 c #Conflicts: 193000 | #Constraints: 15101 90.14/90.45 c #Conflicts: 194000 | #Constraints: 16101 90.14/90.45 c #Conflicts: 195000 | #Constraints: 17101 90.14/90.45 c #Conflicts: 196000 | #Constraints: 18101 90.14/90.45 c #Conflicts: 197000 | #Constraints: 19101 90.14/90.45 c #Conflicts: 198000 | #Constraints: 20101 90.14/90.45 c INPROCESSING 90.14/90.45 c GARBAGE COLLECT 90.14/90.45 c rational objective 55 95.23/95.55 c #Conflicts: 199000 | #Constraints: 12297 95.23/95.55 c #Conflicts: 200000 | #Constraints: 13297 95.23/95.55 c #Conflicts: 201000 | #Constraints: 14297 95.23/95.55 c #Conflicts: 202000 | #Constraints: 15297 95.23/95.55 c #Conflicts: 203000 | #Constraints: 16297 95.23/95.55 c #Conflicts: 204000 | #Constraints: 17297 95.23/95.55 c #Conflicts: 205000 | #Constraints: 18297 95.23/95.55 c #Conflicts: 206000 | #Constraints: 19297 95.23/95.55 c #Conflicts: 207000 | #Constraints: 20297 95.23/95.55 c INPROCESSING 95.23/95.55 c GARBAGE COLLECT 95.23/95.55 c rational objective 55 101.42/101.72 c #Conflicts: 208000 | #Constraints: 12307 101.42/101.72 c #Conflicts: 209000 | #Constraints: 13307 101.42/101.72 c #Conflicts: 210000 | #Constraints: 14307 101.42/101.72 c #Conflicts: 211000 | #Constraints: 15307 101.42/101.72 c #Conflicts: 212000 | #Constraints: 16307 101.42/101.72 c #Conflicts: 213000 | #Constraints: 17307 101.42/101.72 c #Conflicts: 214000 | #Constraints: 18307 101.42/101.72 c #Conflicts: 215000 | #Constraints: 19307 101.42/101.72 c #Conflicts: 216000 | #Constraints: 20307 101.42/101.72 c INPROCESSING 101.42/101.72 c GARBAGE COLLECT 101.42/101.72 c rational objective 55 106.70/107.04 c #Conflicts: 217000 | #Constraints: 12110 106.70/107.04 c #Conflicts: 218000 | #Constraints: 13110 106.70/107.04 c #Conflicts: 219000 | #Constraints: 14110 106.70/107.04 c #Conflicts: 220000 | #Constraints: 15110 106.70/107.04 c #Conflicts: 221000 | #Constraints: 16110 106.70/107.04 c #Conflicts: 222000 | #Constraints: 17110 106.70/107.04 c #Conflicts: 223000 | #Constraints: 18110 106.70/107.04 c #Conflicts: 224000 | #Constraints: 19110 106.70/107.04 c #Conflicts: 225000 | #Constraints: 20110 106.70/107.04 c #Conflicts: 226000 | #Constraints: 21110 106.70/107.04 c INPROCESSING 106.70/107.04 c GARBAGE COLLECT 106.70/107.04 c rational objective 55 112.48/112.83 c #Conflicts: 227000 | #Constraints: 12712 112.48/112.83 c #Conflicts: 228000 | #Constraints: 13712 112.48/112.83 c #Conflicts: 229000 | #Constraints: 14712 112.48/112.83 c #Conflicts: 230000 | #Constraints: 15712 112.48/112.83 c #Conflicts: 231000 | #Constraints: 16712 112.48/112.83 c #Conflicts: 232000 | #Constraints: 17712 112.48/112.83 c #Conflicts: 233000 | #Constraints: 18712 112.48/112.83 c #Conflicts: 234000 | #Constraints: 19712 112.48/112.83 c #Conflicts: 235000 | #Constraints: 20712 112.48/112.83 c #Conflicts: 236000 | #Constraints: 21712 112.48/112.83 c INPROCESSING 112.48/112.83 c GARBAGE COLLECT 112.48/112.83 c rational objective 55 119.17/119.59 c #Conflicts: 237000 | #Constraints: 13111 119.17/119.59 c #Conflicts: 238000 | #Constraints: 14111 119.17/119.59 c #Conflicts: 239000 | #Constraints: 15111 119.17/119.59 c #Conflicts: 240000 | #Constraints: 16111 119.17/119.59 c #Conflicts: 241000 | #Constraints: 17111 119.17/119.59 c #Conflicts: 242000 | #Constraints: 18111 119.17/119.59 c #Conflicts: 243000 | #Constraints: 19111 119.17/119.59 c #Conflicts: 244000 | #Constraints: 20111 119.17/119.59 c #Conflicts: 245000 | #Constraints: 21111 119.17/119.59 c #Conflicts: 246000 | #Constraints: 22111 119.17/119.59 c INPROCESSING 119.17/119.59 c GARBAGE COLLECT 119.17/119.59 c rational objective 55 125.24/125.67 c #Conflicts: 247000 | #Constraints: 13315 125.24/125.67 c #Conflicts: 248000 | #Constraints: 14315 125.24/125.67 c #Conflicts: 249000 | #Constraints: 15315 125.24/125.67 c #Conflicts: 250000 | #Constraints: 16315 125.24/125.67 c #Conflicts: 251000 | #Constraints: 17315 125.24/125.67 c #Conflicts: 252000 | #Constraints: 18315 125.24/125.67 c #Conflicts: 253000 | #Constraints: 19315 125.24/125.67 c #Conflicts: 254000 | #Constraints: 20315 125.24/125.67 c #Conflicts: 255000 | #Constraints: 21315 125.24/125.67 c #Conflicts: 256000 | #Constraints: 22315 125.24/125.67 c INPROCESSING 125.24/125.67 c GARBAGE COLLECT 125.24/125.67 c rational objective 55 132.73/133.14 c #Conflicts: 257000 | #Constraints: 13316 132.73/133.14 c #Conflicts: 258000 | #Constraints: 14316 132.73/133.14 c #Conflicts: 259000 | #Constraints: 15316 132.73/133.14 c #Conflicts: 260000 | #Constraints: 16316 132.73/133.14 c #Conflicts: 261000 | #Constraints: 17316 132.73/133.14 c #Conflicts: 262000 | #Constraints: 18316 132.73/133.14 c #Conflicts: 263000 | #Constraints: 19316 132.73/133.14 c #Conflicts: 264000 | #Constraints: 20316 132.73/133.14 c #Conflicts: 265000 | #Constraints: 21316 132.73/133.14 c #Conflicts: 266000 | #Constraints: 22316 132.73/133.14 c INPROCESSING 132.73/133.14 c GARBAGE COLLECT 132.73/133.14 c rational objective 55 139.40/139.82 c #Conflicts: 267000 | #Constraints: 13144 139.40/139.82 c #Conflicts: 268000 | #Constraints: 14144 139.40/139.82 c #Conflicts: 269000 | #Constraints: 15144 139.40/139.82 c #Conflicts: 270000 | #Constraints: 16144 139.40/139.82 c #Conflicts: 271000 | #Constraints: 17144 139.40/139.82 c #Conflicts: 272000 | #Constraints: 18144 139.40/139.82 c #Conflicts: 273000 | #Constraints: 19144 139.40/139.82 c #Conflicts: 274000 | #Constraints: 20144 139.40/139.82 c #Conflicts: 275000 | #Constraints: 21144 139.40/139.82 c #Conflicts: 276000 | #Constraints: 22144 139.40/139.82 c #Conflicts: 277000 | #Constraints: 23144 139.40/139.82 c INPROCESSING 139.40/139.82 c GARBAGE COLLECT 139.40/139.82 c rational objective 55 146.88/147.39 c #Conflicts: 278000 | #Constraints: 13727 146.88/147.39 c #Conflicts: 279000 | #Constraints: 14727 146.88/147.39 c #Conflicts: 280000 | #Constraints: 15727 146.88/147.39 c #Conflicts: 281000 | #Constraints: 16727 146.88/147.39 c #Conflicts: 282000 | #Constraints: 17727 146.88/147.39 c #Conflicts: 283000 | #Constraints: 18727 146.88/147.39 c #Conflicts: 284000 | #Constraints: 19727 146.88/147.39 c #Conflicts: 285000 | #Constraints: 20727 146.88/147.39 c #Conflicts: 286000 | #Constraints: 21727 146.88/147.39 c #Conflicts: 287000 | #Constraints: 22727 146.88/147.39 c #Conflicts: 288000 | #Constraints: 23727 146.88/147.39 c INPROCESSING 146.88/147.39 c GARBAGE COLLECT 146.88/147.39 c rational objective 55 153.97/154.44 c #Conflicts: 289000 | #Constraints: 14129 153.97/154.44 c #Conflicts: 290000 | #Constraints: 15129 153.97/154.44 c #Conflicts: 291000 | #Constraints: 16129 153.97/154.44 c #Conflicts: 292000 | #Constraints: 17129 153.97/154.44 c #Conflicts: 293000 | #Constraints: 18129 153.97/154.44 c #Conflicts: 294000 | #Constraints: 19129 153.97/154.44 c #Conflicts: 295000 | #Constraints: 20129 153.97/154.44 c #Conflicts: 296000 | #Constraints: 21129 153.97/154.44 c #Conflicts: 297000 | #Constraints: 22129 153.97/154.44 c #Conflicts: 298000 | #Constraints: 23129 153.97/154.44 c #Conflicts: 299000 | #Constraints: 24129 153.97/154.44 c INPROCESSING 153.97/154.44 c GARBAGE COLLECT 153.97/154.44 c rational objective 55 162.34/162.87 c bounds 77 >= 55 @ 151.688 162.34/162.87 c #Conflicts: 300000 | #Constraints: 14326 162.34/162.87 c #Conflicts: 301000 | #Constraints: 15326 162.34/162.87 c #Conflicts: 302000 | #Constraints: 16326 162.34/162.87 c #Conflicts: 303000 | #Constraints: 17326 162.34/162.87 c #Conflicts: 304000 | #Constraints: 18326 162.34/162.87 c #Conflicts: 305000 | #Constraints: 19326 162.34/162.87 c #Conflicts: 306000 | #Constraints: 20326 162.34/162.87 c #Conflicts: 307000 | #Constraints: 21326 162.34/162.87 c #Conflicts: 308000 | #Constraints: 22326 162.34/162.87 c #Conflicts: 309000 | #Constraints: 23326 162.34/162.87 c #Conflicts: 310000 | #Constraints: 24326 162.34/162.87 c INPROCESSING 162.34/162.87 c GARBAGE COLLECT 162.34/162.87 c rational objective 55 169.63/170.11 c #Conflicts: 311000 | #Constraints: 14338 169.63/170.11 c #Conflicts: 312000 | #Constraints: 15338 169.63/170.11 c #Conflicts: 313000 | #Constraints: 16338 169.63/170.11 c #Conflicts: 314000 | #Constraints: 17338 169.63/170.11 c #Conflicts: 315000 | #Constraints: 18338 169.63/170.11 c #Conflicts: 316000 | #Constraints: 19338 169.63/170.11 c #Conflicts: 317000 | #Constraints: 20338 169.63/170.11 c #Conflicts: 318000 | #Constraints: 21338 169.63/170.11 c #Conflicts: 319000 | #Constraints: 22338 169.63/170.11 c #Conflicts: 320000 | #Constraints: 23338 169.63/170.11 c #Conflicts: 321000 | #Constraints: 24338 169.63/170.11 c INPROCESSING 169.63/170.11 c GARBAGE COLLECT 169.63/170.11 c rational objective 55 179.50/180.04 c #Conflicts: 322000 | #Constraints: 14129 179.50/180.04 c #Conflicts: 323000 | #Constraints: 15129 179.50/180.04 c #Conflicts: 324000 | #Constraints: 16129 179.50/180.04 c #Conflicts: 325000 | #Constraints: 17129 179.50/180.04 c #Conflicts: 326000 | #Constraints: 18129 179.50/180.04 c #Conflicts: 327000 | #Constraints: 19129 179.50/180.04 c #Conflicts: 328000 | #Constraints: 20129 179.50/180.04 c #Conflicts: 329000 | #Constraints: 21129 179.50/180.04 c #Conflicts: 330000 | #Constraints: 22129 179.50/180.04 c #Conflicts: 331000 | #Constraints: 23129 179.50/180.04 c #Conflicts: 332000 | #Constraints: 24129 179.50/180.04 c #Conflicts: 333000 | #Constraints: 25129 179.50/180.04 c bounds 75 >= 55 @ 176.239 179.50/180.04 c INPROCESSING 179.50/180.04 c GARBAGE COLLECT 179.50/180.04 c rational objective 55 187.58/188.13 c #Conflicts: 334000 | #Constraints: 14728 187.58/188.13 c #Conflicts: 335000 | #Constraints: 15728 187.58/188.13 c #Conflicts: 336000 | #Constraints: 16728 187.58/188.13 c #Conflicts: 337000 | #Constraints: 17728 187.58/188.13 c #Conflicts: 338000 | #Constraints: 18728 187.58/188.13 c #Conflicts: 339000 | #Constraints: 19728 187.58/188.13 c #Conflicts: 340000 | #Constraints: 20728 187.58/188.13 c #Conflicts: 341000 | #Constraints: 21728 187.58/188.13 c #Conflicts: 342000 | #Constraints: 22728 187.58/188.13 c #Conflicts: 343000 | #Constraints: 23728 187.58/188.13 c #Conflicts: 344000 | #Constraints: 24728 187.58/188.13 c #Conflicts: 345000 | #Constraints: 25728 187.58/188.13 c INPROCESSING 187.58/188.13 c GARBAGE COLLECT 187.58/188.13 c rational objective 55 197.24/197.83 c #Conflicts: 346000 | #Constraints: 15125 197.24/197.83 c #Conflicts: 347000 | #Constraints: 16125 197.24/197.83 c #Conflicts: 348000 | #Constraints: 17125 197.24/197.83 c #Conflicts: 349000 | #Constraints: 18125 197.24/197.83 c #Conflicts: 350000 | #Constraints: 19125 197.24/197.83 c #Conflicts: 351000 | #Constraints: 20125 197.24/197.83 c #Conflicts: 352000 | #Constraints: 21125 197.24/197.83 c #Conflicts: 353000 | #Constraints: 22125 197.24/197.83 c #Conflicts: 354000 | #Constraints: 23125 197.24/197.83 c #Conflicts: 355000 | #Constraints: 24125 197.24/197.83 c #Conflicts: 356000 | #Constraints: 25125 197.24/197.83 c #Conflicts: 357000 | #Constraints: 26125 197.24/197.83 c INPROCESSING 197.24/197.83 c GARBAGE COLLECT 197.24/197.83 c rational objective 55 205.43/206.08 c #Conflicts: 358000 | #Constraints: 15353 205.43/206.08 c #Conflicts: 359000 | #Constraints: 16353 205.43/206.08 c #Conflicts: 360000 | #Constraints: 17353 205.43/206.08 c #Conflicts: 361000 | #Constraints: 18353 205.43/206.08 c #Conflicts: 362000 | #Constraints: 19353 205.43/206.08 c #Conflicts: 363000 | #Constraints: 20353 205.43/206.08 c #Conflicts: 364000 | #Constraints: 21353 205.43/206.08 c #Conflicts: 365000 | #Constraints: 22353 205.43/206.08 c #Conflicts: 366000 | #Constraints: 23353 205.43/206.08 c #Conflicts: 367000 | #Constraints: 24353 205.43/206.08 c #Conflicts: 368000 | #Constraints: 25353 205.43/206.08 c #Conflicts: 369000 | #Constraints: 26353 205.43/206.08 c INPROCESSING 205.43/206.08 c GARBAGE COLLECT 205.43/206.08 c rational objective 55 214.30/215.00 c #Conflicts: 370000 | #Constraints: 15344 214.30/215.00 c #Conflicts: 371000 | #Constraints: 16344 214.30/215.00 c #Conflicts: 372000 | #Constraints: 17344 214.30/215.00 c #Conflicts: 373000 | #Constraints: 18344 214.30/215.00 c #Conflicts: 374000 | #Constraints: 19344 214.30/215.00 c #Conflicts: 375000 | #Constraints: 20344 214.30/215.00 c #Conflicts: 376000 | #Constraints: 21344 214.30/215.00 c #Conflicts: 377000 | #Constraints: 22344 214.30/215.00 c #Conflicts: 378000 | #Constraints: 23344 214.30/215.00 c #Conflicts: 379000 | #Constraints: 24344 214.30/215.00 c #Conflicts: 380000 | #Constraints: 25344 214.30/215.00 c #Conflicts: 381000 | #Constraints: 26344 214.30/215.00 c INPROCESSING 214.30/215.00 c GARBAGE COLLECT 214.30/215.00 c rational objective 55 224.86/225.59 c #Conflicts: 382000 | #Constraints: 15151 224.86/225.59 c #Conflicts: 383000 | #Constraints: 16151 224.86/225.59 c #Conflicts: 384000 | #Constraints: 17151 224.86/225.59 c #Conflicts: 385000 | #Constraints: 18151 224.86/225.59 c #Conflicts: 386000 | #Constraints: 19151 224.86/225.59 c #Conflicts: 387000 | #Constraints: 20151 224.86/225.59 c #Conflicts: 388000 | #Constraints: 21151 224.86/225.59 c #Conflicts: 389000 | #Constraints: 22151 224.86/225.59 c #Conflicts: 390000 | #Constraints: 23151 224.86/225.59 c #Conflicts: 391000 | #Constraints: 24151 224.86/225.59 c #Conflicts: 392000 | #Constraints: 25151 224.86/225.59 c #Conflicts: 393000 | #Constraints: 26151 224.86/225.59 c #Conflicts: 394000 | #Constraints: 27151 224.86/225.59 c INPROCESSING 224.86/225.59 c GARBAGE COLLECT 224.86/225.59 c rational objective 55 234.64/235.32 c #Conflicts: 395000 | #Constraints: 15762 234.64/235.32 c #Conflicts: 396000 | #Constraints: 16762 234.64/235.32 c #Conflicts: 397000 | #Constraints: 17762 234.64/235.32 c #Conflicts: 398000 | #Constraints: 18762 234.64/235.32 c #Conflicts: 399000 | #Constraints: 19762 234.64/235.32 c #Conflicts: 400000 | #Constraints: 20762 234.64/235.32 c #Conflicts: 401000 | #Constraints: 21762 234.64/235.32 c #Conflicts: 402000 | #Constraints: 22762 234.64/235.32 c #Conflicts: 403000 | #Constraints: 23762 234.64/235.32 c #Conflicts: 404000 | #Constraints: 24762 234.64/235.32 c #Conflicts: 405000 | #Constraints: 25762 234.64/235.32 c #Conflicts: 406000 | #Constraints: 26762 234.64/235.32 c #Conflicts: 407000 | #Constraints: 27762 234.64/235.32 c INPROCESSING 234.64/235.32 c GARBAGE COLLECT 234.64/235.32 c rational objective 55 245.11/245.86 c #Conflicts: 408000 | #Constraints: 16157 245.11/245.86 c #Conflicts: 409000 | #Constraints: 17157 245.11/245.86 c #Conflicts: 410000 | #Constraints: 18157 245.11/245.86 c #Conflicts: 411000 | #Constraints: 19157 245.11/245.86 c #Conflicts: 412000 | #Constraints: 20157 245.11/245.86 c #Conflicts: 413000 | #Constraints: 21157 245.11/245.86 c #Conflicts: 414000 | #Constraints: 22157 245.11/245.86 c #Conflicts: 415000 | #Constraints: 23157 245.11/245.86 c #Conflicts: 416000 | #Constraints: 24157 245.11/245.86 c #Conflicts: 417000 | #Constraints: 25157 245.11/245.86 c #Conflicts: 418000 | #Constraints: 26157 245.11/245.86 c #Conflicts: 419000 | #Constraints: 27157 245.11/245.86 c #Conflicts: 420000 | #Constraints: 28157 245.11/245.86 c INPROCESSING 245.11/245.86 c GARBAGE COLLECT 245.11/245.86 c rational objective 55 254.99/255.72 c #Conflicts: 421000 | #Constraints: 16350 254.99/255.72 c #Conflicts: 422000 | #Constraints: 17350 254.99/255.72 c #Conflicts: 423000 | #Constraints: 18350 254.99/255.72 c #Conflicts: 424000 | #Constraints: 19350 254.99/255.72 c #Conflicts: 425000 | #Constraints: 20350 254.99/255.72 c #Conflicts: 426000 | #Constraints: 21350 254.99/255.72 c #Conflicts: 427000 | #Constraints: 22350 254.99/255.72 c #Conflicts: 428000 | #Constraints: 23350 254.99/255.72 c #Conflicts: 429000 | #Constraints: 24350 254.99/255.72 c #Conflicts: 430000 | #Constraints: 25350 254.99/255.72 c #Conflicts: 431000 | #Constraints: 26350 254.99/255.72 c #Conflicts: 432000 | #Constraints: 27350 254.99/255.72 c #Conflicts: 433000 | #Constraints: 28350 254.99/255.72 c INPROCESSING 254.99/255.72 c GARBAGE COLLECT 254.99/255.72 c rational objective 55 268.64/269.46 c #Conflicts: 434000 | #Constraints: 16341 268.64/269.46 c #Conflicts: 435000 | #Constraints: 17341 268.64/269.46 c #Conflicts: 436000 | #Constraints: 18341 268.64/269.46 c #Conflicts: 437000 | #Constraints: 19341 268.64/269.46 c #Conflicts: 438000 | #Constraints: 20341 268.64/269.46 c #Conflicts: 439000 | #Constraints: 21341 268.64/269.46 c #Conflicts: 440000 | #Constraints: 22341 268.64/269.46 c #Conflicts: 441000 | #Constraints: 23341 268.64/269.46 c #Conflicts: 442000 | #Constraints: 24341 268.64/269.46 c #Conflicts: 443000 | #Constraints: 25341 268.64/269.46 c #Conflicts: 444000 | #Constraints: 26341 268.64/269.46 c #Conflicts: 445000 | #Constraints: 27341 268.64/269.46 c #Conflicts: 446000 | #Constraints: 28341 268.64/269.46 c INPROCESSING 268.64/269.46 c GARBAGE COLLECT 268.64/269.46 c rational objective 55 278.91/279.78 c #Conflicts: 447000 | #Constraints: 16140 278.91/279.78 c #Conflicts: 448000 | #Constraints: 17140 278.91/279.78 c #Conflicts: 449000 | #Constraints: 18140 278.91/279.78 c #Conflicts: 450000 | #Constraints: 19140 278.91/279.78 c #Conflicts: 451000 | #Constraints: 20140 278.91/279.78 c #Conflicts: 452000 | #Constraints: 21140 278.91/279.78 c #Conflicts: 453000 | #Constraints: 22140 278.91/279.78 c #Conflicts: 454000 | #Constraints: 23140 278.91/279.78 c #Conflicts: 455000 | #Constraints: 24140 278.91/279.78 c #Conflicts: 456000 | #Constraints: 25140 278.91/279.78 c #Conflicts: 457000 | #Constraints: 26140 278.91/279.78 c #Conflicts: 458000 | #Constraints: 27140 278.91/279.78 c #Conflicts: 459000 | #Constraints: 28140 278.91/279.78 c #Conflicts: 460000 | #Constraints: 29140 278.91/279.78 c INPROCESSING 278.91/279.78 c GARBAGE COLLECT 278.91/279.78 c rational objective 55 291.98/292.80 c #Conflicts: 461000 | #Constraints: 16740 291.98/292.80 c #Conflicts: 462000 | #Constraints: 17740 291.98/292.80 c #Conflicts: 463000 | #Constraints: 18740 291.98/292.80 c #Conflicts: 464000 | #Constraints: 19740 291.98/292.80 c #Conflicts: 465000 | #Constraints: 20740 291.98/292.80 c #Conflicts: 466000 | #Constraints: 21740 291.98/292.80 c #Conflicts: 467000 | #Constraints: 22740 291.98/292.80 c #Conflicts: 468000 | #Constraints: 23740 291.98/292.80 c #Conflicts: 469000 | #Constraints: 24740 291.98/292.80 c #Conflicts: 470000 | #Constraints: 25740 291.98/292.80 c #Conflicts: 471000 | #Constraints: 26740 291.98/292.80 c #Conflicts: 472000 | #Constraints: 27740 291.98/292.80 c #Conflicts: 473000 | #Constraints: 28740 291.98/292.80 c #Conflicts: 474000 | #Constraints: 29740 291.98/292.80 c INPROCESSING 291.98/292.80 c GARBAGE COLLECT 291.98/292.80 c rational objective 55 303.34/304.24 c #Conflicts: 475000 | #Constraints: 17154 303.34/304.24 c #Conflicts: 476000 | #Constraints: 18154 303.34/304.24 c #Conflicts: 477000 | #Constraints: 19154 303.34/304.24 c #Conflicts: 478000 | #Constraints: 20154 303.34/304.24 c #Conflicts: 479000 | #Constraints: 21154 303.34/304.24 c #Conflicts: 480000 | #Constraints: 22154 303.34/304.24 c #Conflicts: 481000 | #Constraints: 23154 303.34/304.24 c #Conflicts: 482000 | #Constraints: 24154 303.34/304.24 c #Conflicts: 483000 | #Constraints: 25154 303.34/304.24 c #Conflicts: 484000 | #Constraints: 26154 303.34/304.24 c #Conflicts: 485000 | #Constraints: 27154 303.34/304.24 c #Conflicts: 486000 | #Constraints: 28154 303.34/304.24 c #Conflicts: 487000 | #Constraints: 29154 303.34/304.24 c #Conflicts: 488000 | #Constraints: 30154 303.34/304.24 c INPROCESSING 303.34/304.24 c GARBAGE COLLECT 303.34/304.24 c rational objective 55 322.78/323.78 c #Conflicts: 489000 | #Constraints: 17356 322.78/323.78 c #Conflicts: 490000 | #Constraints: 18356 322.78/323.78 c #Conflicts: 491000 | #Constraints: 19356 322.78/323.78 c #Conflicts: 492000 | #Constraints: 20356 322.78/323.78 c #Conflicts: 493000 | #Constraints: 21356 322.78/323.78 c #Conflicts: 494000 | #Constraints: 22356 322.78/323.78 c #Conflicts: 495000 | #Constraints: 23356 322.78/323.78 c #Conflicts: 496000 | #Constraints: 24356 322.78/323.78 c #Conflicts: 497000 | #Constraints: 25356 322.78/323.78 c #Conflicts: 498000 | #Constraints: 26356 322.78/323.78 c #Conflicts: 499000 | #Constraints: 27356 322.78/323.78 c #Conflicts: 500000 | #Constraints: 28356 322.78/323.78 c #Conflicts: 501000 | #Constraints: 29356 322.78/323.78 c #Conflicts: 502000 | #Constraints: 30356 322.78/323.78 c INPROCESSING 322.78/323.78 c GARBAGE COLLECT 322.78/323.78 c rational objective 55 334.05/335.08 c #Conflicts: 503000 | #Constraints: 17361 334.05/335.08 c #Conflicts: 504000 | #Constraints: 18361 334.05/335.08 c #Conflicts: 505000 | #Constraints: 19361 334.05/335.08 c #Conflicts: 506000 | #Constraints: 20361 334.05/335.08 c #Conflicts: 507000 | #Constraints: 21361 334.05/335.08 c #Conflicts: 508000 | #Constraints: 22361 334.05/335.08 c #Conflicts: 509000 | #Constraints: 23361 334.05/335.08 c #Conflicts: 510000 | #Constraints: 24361 334.05/335.08 c #Conflicts: 511000 | #Constraints: 25361 334.05/335.08 c #Conflicts: 512000 | #Constraints: 26361 334.05/335.08 c #Conflicts: 513000 | #Constraints: 27361 334.05/335.08 c #Conflicts: 514000 | #Constraints: 28361 334.05/335.08 c #Conflicts: 515000 | #Constraints: 29361 334.05/335.08 c #Conflicts: 516000 | #Constraints: 30361 334.05/335.08 c INPROCESSING 334.05/335.08 c GARBAGE COLLECT 334.05/335.08 c rational objective 55 346.52/347.53 c #Conflicts: 517000 | #Constraints: 17140 346.52/347.53 c #Conflicts: 518000 | #Constraints: 18140 346.52/347.53 c #Conflicts: 519000 | #Constraints: 19140 346.52/347.53 c #Conflicts: 520000 | #Constraints: 20140 346.52/347.53 c #Conflicts: 521000 | #Constraints: 21140 346.52/347.53 c #Conflicts: 522000 | #Constraints: 22140 346.52/347.53 c #Conflicts: 523000 | #Constraints: 23140 346.52/347.53 c #Conflicts: 524000 | #Constraints: 24140 346.52/347.53 c #Conflicts: 525000 | #Constraints: 25140 346.52/347.53 c #Conflicts: 526000 | #Constraints: 26140 346.52/347.53 c #Conflicts: 527000 | #Constraints: 27140 346.52/347.53 c #Conflicts: 528000 | #Constraints: 28140 346.52/347.53 c #Conflicts: 529000 | #Constraints: 29140 346.52/347.53 c #Conflicts: 530000 | #Constraints: 30140 346.52/347.53 c #Conflicts: 531000 | #Constraints: 31140 346.52/347.53 c INPROCESSING 346.52/347.53 c GARBAGE COLLECT 346.52/347.53 c rational objective 55 360.98/362.01 c #Conflicts: 532000 | #Constraints: 17728 360.98/362.01 c #Conflicts: 533000 | #Constraints: 18728 360.98/362.01 c #Conflicts: 534000 | #Constraints: 19728 360.98/362.01 c #Conflicts: 535000 | #Constraints: 20728 360.98/362.01 c #Conflicts: 536000 | #Constraints: 21728 360.98/362.01 c #Conflicts: 537000 | #Constraints: 22728 360.98/362.01 c #Conflicts: 538000 | #Constraints: 23728 360.98/362.01 c #Conflicts: 539000 | #Constraints: 24728 360.98/362.01 c #Conflicts: 540000 | #Constraints: 25728 360.98/362.01 c #Conflicts: 541000 | #Constraints: 26728 360.98/362.01 c #Conflicts: 542000 | #Constraints: 27728 360.98/362.01 c #Conflicts: 543000 | #Constraints: 28728 360.98/362.01 c #Conflicts: 544000 | #Constraints: 29728 360.98/362.01 c #Conflicts: 545000 | #Constraints: 30728 360.98/362.01 c #Conflicts: 546000 | #Constraints: 31728 360.98/362.01 c INPROCESSING 360.98/362.01 c GARBAGE COLLECT 360.98/362.01 c rational objective 55 373.15/374.20 c #Conflicts: 547000 | #Constraints: 18140 373.15/374.20 c #Conflicts: 548000 | #Constraints: 19140 373.15/374.20 c #Conflicts: 549000 | #Constraints: 20140 373.15/374.20 c #Conflicts: 550000 | #Constraints: 21140 373.15/374.20 c #Conflicts: 551000 | #Constraints: 22140 373.15/374.20 c #Conflicts: 552000 | #Constraints: 23140 373.15/374.20 c #Conflicts: 553000 | #Constraints: 24140 373.15/374.20 c #Conflicts: 554000 | #Constraints: 25140 373.15/374.20 c #Conflicts: 555000 | #Constraints: 26140 373.15/374.20 c #Conflicts: 556000 | #Constraints: 27140 373.15/374.20 c #Conflicts: 557000 | #Constraints: 28140 373.15/374.20 c #Conflicts: 558000 | #Constraints: 29140 373.15/374.20 c #Conflicts: 559000 | #Constraints: 30140 373.15/374.20 c #Conflicts: 560000 | #Constraints: 31140 373.15/374.20 c #Conflicts: 561000 | #Constraints: 32140 373.15/374.20 c INPROCESSING 373.15/374.20 c GARBAGE COLLECT 373.15/374.20 c rational objective 55 389.31/390.43 c #Conflicts: 562000 | #Constraints: 18330 389.31/390.43 c #Conflicts: 563000 | #Constraints: 19330 389.31/390.43 c #Conflicts: 564000 | #Constraints: 20330 389.31/390.43 c #Conflicts: 565000 | #Constraints: 21330 389.31/390.43 c #Conflicts: 566000 | #Constraints: 22330 389.31/390.43 c #Conflicts: 567000 | #Constraints: 23330 389.31/390.43 c #Conflicts: 568000 | #Constraints: 24330 389.31/390.43 c #Conflicts: 569000 | #Constraints: 25330 389.31/390.43 c #Conflicts: 570000 | #Constraints: 26330 389.31/390.43 c #Conflicts: 571000 | #Constraints: 27330 389.31/390.43 c #Conflicts: 572000 | #Constraints: 28330 389.31/390.43 c #Conflicts: 573000 | #Constraints: 29330 389.31/390.43 c #Conflicts: 574000 | #Constraints: 30330 389.31/390.43 c #Conflicts: 575000 | #Constraints: 31330 389.31/390.43 c #Conflicts: 576000 | #Constraints: 32330 389.31/390.43 c INPROCESSING 389.31/390.43 c GARBAGE COLLECT 389.31/390.43 c rational objective 55 402.38/403.50 c #Conflicts: 577000 | #Constraints: 18336 402.38/403.50 c #Conflicts: 578000 | #Constraints: 19336 402.38/403.50 c #Conflicts: 579000 | #Constraints: 20336 402.38/403.50 c #Conflicts: 580000 | #Constraints: 21336 402.38/403.50 c #Conflicts: 581000 | #Constraints: 22336 402.38/403.50 c #Conflicts: 582000 | #Constraints: 23336 402.38/403.50 c #Conflicts: 583000 | #Constraints: 24336 402.38/403.50 c #Conflicts: 584000 | #Constraints: 25336 402.38/403.50 c #Conflicts: 585000 | #Constraints: 26336 402.38/403.50 c #Conflicts: 586000 | #Constraints: 27336 402.38/403.50 c #Conflicts: 587000 | #Constraints: 28336 402.38/403.50 c #Conflicts: 588000 | #Constraints: 29336 402.38/403.50 c #Conflicts: 589000 | #Constraints: 30336 402.38/403.50 c #Conflicts: 590000 | #Constraints: 31336 402.38/403.50 c #Conflicts: 591000 | #Constraints: 32336 402.38/403.50 c INPROCESSING 402.38/403.50 c GARBAGE COLLECT 402.38/403.50 c rational objective 55 416.25/417.48 c #Conflicts: 592000 | #Constraints: 18138 416.25/417.48 c #Conflicts: 593000 | #Constraints: 19138 416.25/417.48 c #Conflicts: 594000 | #Constraints: 20138 416.25/417.48 c #Conflicts: 595000 | #Constraints: 21138 416.25/417.48 c #Conflicts: 596000 | #Constraints: 22138 416.25/417.48 c #Conflicts: 597000 | #Constraints: 23138 416.25/417.48 c #Conflicts: 598000 | #Constraints: 24138 416.25/417.48 c #Conflicts: 599000 | #Constraints: 25138 416.25/417.48 c #Conflicts: 600000 | #Constraints: 26138 416.25/417.48 c #Conflicts: 601000 | #Constraints: 27138 416.25/417.48 c #Conflicts: 602000 | #Constraints: 28138 416.25/417.48 c #Conflicts: 603000 | #Constraints: 29138 416.25/417.48 c #Conflicts: 604000 | #Constraints: 30138 416.25/417.48 c #Conflicts: 605000 | #Constraints: 31138 416.25/417.48 c #Conflicts: 606000 | #Constraints: 32138 416.25/417.48 c #Conflicts: 607000 | #Constraints: 33138 416.25/417.48 c INPROCESSING 416.25/417.48 c GARBAGE COLLECT 416.25/417.48 c rational objective 55 435.70/437.00 c #Conflicts: 608000 | #Constraints: 18751 435.70/437.00 c #Conflicts: 609000 | #Constraints: 19751 435.70/437.00 c #Conflicts: 610000 | #Constraints: 20751 435.70/437.00 c #Conflicts: 611000 | #Constraints: 21751 435.70/437.00 c #Conflicts: 612000 | #Constraints: 22751 435.70/437.00 c #Conflicts: 613000 | #Constraints: 23751 435.70/437.00 c #Conflicts: 614000 | #Constraints: 24751 435.70/437.00 c #Conflicts: 615000 | #Constraints: 25751 435.70/437.00 c #Conflicts: 616000 | #Constraints: 26751 435.70/437.00 c #Conflicts: 617000 | #Constraints: 27751 435.70/437.00 c #Conflicts: 618000 | #Constraints: 28751 435.70/437.00 c #Conflicts: 619000 | #Constraints: 29751 435.70/437.00 c #Conflicts: 620000 | #Constraints: 30751 435.70/437.00 c #Conflicts: 621000 | #Constraints: 31751 435.70/437.00 c #Conflicts: 622000 | #Constraints: 32751 435.70/437.00 c #Conflicts: 623000 | #Constraints: 33751 435.70/437.00 c INPROCESSING 435.70/437.00 c GARBAGE COLLECT 435.70/437.00 c rational objective 55 449.37/450.67 c #Conflicts: 624000 | #Constraints: 19187 449.37/450.67 c #Conflicts: 625000 | #Constraints: 20187 449.37/450.67 c #Conflicts: 626000 | #Constraints: 21187 449.37/450.67 c #Conflicts: 627000 | #Constraints: 22187 449.37/450.67 c #Conflicts: 628000 | #Constraints: 23187 449.37/450.67 c #Conflicts: 629000 | #Constraints: 24187 449.37/450.67 c #Conflicts: 630000 | #Constraints: 25187 449.37/450.67 c #Conflicts: 631000 | #Constraints: 26187 449.37/450.67 c #Conflicts: 632000 | #Constraints: 27187 449.37/450.67 c #Conflicts: 633000 | #Constraints: 28187 449.37/450.67 c #Conflicts: 634000 | #Constraints: 29187 449.37/450.67 c #Conflicts: 635000 | #Constraints: 30187 449.37/450.67 c #Conflicts: 636000 | #Constraints: 31187 449.37/450.67 c #Conflicts: 637000 | #Constraints: 32187 449.37/450.67 c #Conflicts: 638000 | #Constraints: 33187 449.37/450.67 c #Conflicts: 639000 | #Constraints: 34187 449.37/450.67 c INPROCESSING 449.37/450.67 c GARBAGE COLLECT 449.37/450.67 c rational objective 55 468.63/470.00 c #Conflicts: 640000 | #Constraints: 19380 468.63/470.00 c #Conflicts: 641000 | #Constraints: 20380 468.63/470.00 c #Conflicts: 642000 | #Constraints: 21380 468.63/470.00 c #Conflicts: 643000 | #Constraints: 22380 468.63/470.00 c #Conflicts: 644000 | #Constraints: 23380 468.63/470.00 c #Conflicts: 645000 | #Constraints: 24380 468.63/470.00 c #Conflicts: 646000 | #Constraints: 25380 468.63/470.00 c #Conflicts: 647000 | #Constraints: 26380 468.63/470.00 c #Conflicts: 648000 | #Constraints: 27380 468.63/470.00 c #Conflicts: 649000 | #Constraints: 28380 468.63/470.00 c #Conflicts: 650000 | #Constraints: 29380 468.63/470.00 c #Conflicts: 651000 | #Constraints: 30381 468.63/470.00 c #Conflicts: 652000 | #Constraints: 31381 468.63/470.00 c #Conflicts: 653000 | #Constraints: 32381 468.63/470.00 c #Conflicts: 654000 | #Constraints: 33381 468.63/470.00 c #Conflicts: 655000 | #Constraints: 34381 468.63/470.00 c INPROCESSING 468.63/470.00 c GARBAGE COLLECT 468.63/470.00 c rational objective 55 483.89/485.24 c #Conflicts: 656000 | #Constraints: 19407 483.89/485.24 c #Conflicts: 657000 | #Constraints: 20407 483.89/485.24 c #Conflicts: 658000 | #Constraints: 21407 483.89/485.24 c #Conflicts: 659000 | #Constraints: 22407 483.89/485.24 c #Conflicts: 660000 | #Constraints: 23407 483.89/485.24 c #Conflicts: 661000 | #Constraints: 24407 483.89/485.24 c #Conflicts: 662000 | #Constraints: 25407 483.89/485.24 c #Conflicts: 663000 | #Constraints: 26407 483.89/485.24 c #Conflicts: 664000 | #Constraints: 27407 483.89/485.24 c #Conflicts: 665000 | #Constraints: 28407 483.89/485.24 c #Conflicts: 666000 | #Constraints: 29407 483.89/485.24 c #Conflicts: 667000 | #Constraints: 30407 483.89/485.24 c #Conflicts: 668000 | #Constraints: 31407 483.89/485.24 c #Conflicts: 669000 | #Constraints: 32407 483.89/485.24 c #Conflicts: 670000 | #Constraints: 33407 483.89/485.24 c #Conflicts: 671000 | #Constraints: 34407 483.89/485.24 c INPROCESSING 483.89/485.24 c GARBAGE COLLECT 483.89/485.24 c rational objective 55 502.95/504.39 c #Conflicts: 672000 | #Constraints: 19178 502.95/504.39 c #Conflicts: 673000 | #Constraints: 20178 502.95/504.39 c #Conflicts: 674000 | #Constraints: 21178 502.95/504.39 c #Conflicts: 675000 | #Constraints: 22178 502.95/504.39 c #Conflicts: 676000 | #Constraints: 23178 502.95/504.39 c #Conflicts: 677000 | #Constraints: 24178 502.95/504.39 c #Conflicts: 678000 | #Constraints: 25178 502.95/504.39 c #Conflicts: 679000 | #Constraints: 26178 502.95/504.39 c #Conflicts: 680000 | #Constraints: 27178 502.95/504.39 c #Conflicts: 681000 | #Constraints: 28178 502.95/504.39 c #Conflicts: 682000 | #Constraints: 29178 502.95/504.39 c #Conflicts: 683000 | #Constraints: 30178 502.95/504.39 c #Conflicts: 684000 | #Constraints: 31178 502.95/504.39 c #Conflicts: 685000 | #Constraints: 32178 502.95/504.39 c #Conflicts: 686000 | #Constraints: 33178 502.95/504.39 c #Conflicts: 687000 | #Constraints: 34178 502.95/504.39 c #Conflicts: 688000 | #Constraints: 35178 502.95/504.39 c INPROCESSING 502.95/504.39 c GARBAGE COLLECT 502.95/504.39 c rational objective 55 518.52/519.90 c #Conflicts: 689000 | #Constraints: 19767 518.52/519.90 c #Conflicts: 690000 | #Constraints: 20767 518.52/519.90 c #Conflicts: 691000 | #Constraints: 21767 518.52/519.90 c #Conflicts: 692000 | #Constraints: 22767 518.52/519.90 c #Conflicts: 693000 | #Constraints: 23767 518.52/519.90 c #Conflicts: 694000 | #Constraints: 24767 518.52/519.90 c #Conflicts: 695000 | #Constraints: 25767 518.52/519.90 c #Conflicts: 696000 | #Constraints: 26767 518.52/519.90 c #Conflicts: 697000 | #Constraints: 27767 518.52/519.90 c #Conflicts: 698000 | #Constraints: 28767 518.52/519.90 c #Conflicts: 699000 | #Constraints: 29767 518.52/519.90 c #Conflicts: 700000 | #Constraints: 30767 518.52/519.90 c #Conflicts: 701000 | #Constraints: 31767 518.52/519.90 c #Conflicts: 702000 | #Constraints: 32767 518.52/519.90 c #Conflicts: 703000 | #Constraints: 33767 518.52/519.90 c #Conflicts: 704000 | #Constraints: 34767 518.52/519.90 c #Conflicts: 705000 | #Constraints: 35767 518.52/519.90 c INPROCESSING 518.52/519.90 c GARBAGE COLLECT 518.52/519.90 c rational objective 55 548.85/550.35 c #Conflicts: 706000 | #Constraints: 20148 548.85/550.35 c #Conflicts: 707000 | #Constraints: 21148 548.85/550.35 c #Conflicts: 708000 | #Constraints: 22148 548.85/550.35 c #Conflicts: 709000 | #Constraints: 23148 548.85/550.35 c #Conflicts: 710000 | #Constraints: 24148 548.85/550.35 c #Conflicts: 711000 | #Constraints: 25148 548.85/550.35 c #Conflicts: 712000 | #Constraints: 26148 548.85/550.35 c #Conflicts: 713000 | #Constraints: 27148 548.85/550.35 c #Conflicts: 714000 | #Constraints: 28148 548.85/550.35 c #Conflicts: 715000 | #Constraints: 29148 548.85/550.35 c #Conflicts: 716000 | #Constraints: 30148 548.85/550.35 c #Conflicts: 717000 | #Constraints: 31148 548.85/550.35 c #Conflicts: 718000 | #Constraints: 32148 548.85/550.35 c #Conflicts: 719000 | #Constraints: 33148 548.85/550.35 c #Conflicts: 720000 | #Constraints: 34148 548.85/550.35 c #Conflicts: 721000 | #Constraints: 35148 548.85/550.35 c #Conflicts: 722000 | #Constraints: 36148 548.85/550.35 c INPROCESSING 548.85/550.35 c GARBAGE COLLECT 548.85/550.35 c rational objective 55 566.60/568.12 c #Conflicts: 723000 | #Constraints: 20378 566.60/568.12 c #Conflicts: 724000 | #Constraints: 21378 566.60/568.12 c #Conflicts: 725000 | #Constraints: 22378 566.60/568.12 c #Conflicts: 726000 | #Constraints: 23378 566.60/568.12 c #Conflicts: 727000 | #Constraints: 24378 566.60/568.12 c #Conflicts: 728000 | #Constraints: 25378 566.60/568.12 c #Conflicts: 729000 | #Constraints: 26378 566.60/568.12 c #Conflicts: 730000 | #Constraints: 27378 566.60/568.12 c #Conflicts: 731000 | #Constraints: 28378 566.60/568.12 c #Conflicts: 732000 | #Constraints: 29378 566.60/568.12 c #Conflicts: 733000 | #Constraints: 30378 566.60/568.12 c #Conflicts: 734000 | #Constraints: 31378 566.60/568.12 c #Conflicts: 735000 | #Constraints: 32378 566.60/568.12 c #Conflicts: 736000 | #Constraints: 33378 566.60/568.12 c #Conflicts: 737000 | #Constraints: 34378 566.60/568.12 c #Conflicts: 738000 | #Constraints: 35378 566.60/568.12 c #Conflicts: 739000 | #Constraints: 36378 566.60/568.12 c INPROCESSING 566.60/568.12 c GARBAGE COLLECT 566.60/568.12 c rational objective 55 584.46/586.02 c #Conflicts: 740000 | #Constraints: 20375 584.46/586.02 c #Conflicts: 741000 | #Constraints: 21375 584.46/586.02 c #Conflicts: 742000 | #Constraints: 22375 584.46/586.02 c #Conflicts: 743000 | #Constraints: 23375 584.46/586.02 c #Conflicts: 744000 | #Constraints: 24375 584.46/586.02 c #Conflicts: 745000 | #Constraints: 25375 584.46/586.02 c #Conflicts: 746000 | #Constraints: 26375 584.46/586.02 c #Conflicts: 747000 | #Constraints: 27375 584.46/586.02 c #Conflicts: 748000 | #Constraints: 28375 584.46/586.02 c #Conflicts: 749000 | #Constraints: 29375 584.46/586.02 c #Conflicts: 750000 | #Constraints: 30375 584.46/586.02 c #Conflicts: 751000 | #Constraints: 31375 584.46/586.02 c #Conflicts: 752000 | #Constraints: 32375 584.46/586.02 c #Conflicts: 753000 | #Constraints: 33375 584.46/586.02 c #Conflicts: 754000 | #Constraints: 34375 584.46/586.02 c #Conflicts: 755000 | #Constraints: 35375 584.46/586.02 c #Conflicts: 756000 | #Constraints: 36375 584.46/586.02 c INPROCESSING 584.46/586.02 c GARBAGE COLLECT 584.46/586.02 c rational objective 55 612.17/613.84 c #Conflicts: 757000 | #Constraints: 20180 612.17/613.84 c #Conflicts: 758000 | #Constraints: 21180 612.17/613.84 c #Conflicts: 759000 | #Constraints: 22180 612.17/613.84 c #Conflicts: 760000 | #Constraints: 23180 612.17/613.84 c #Conflicts: 761000 | #Constraints: 24180 612.17/613.84 c #Conflicts: 762000 | #Constraints: 25180 612.17/613.84 c #Conflicts: 763000 | #Constraints: 26180 612.17/613.84 c #Conflicts: 764000 | #Constraints: 27180 612.17/613.84 c #Conflicts: 765000 | #Constraints: 28180 612.17/613.84 c #Conflicts: 766000 | #Constraints: 29180 612.17/613.84 c #Conflicts: 767000 | #Constraints: 30180 612.17/613.84 c #Conflicts: 768000 | #Constraints: 31180 612.17/613.84 c #Conflicts: 769000 | #Constraints: 32180 612.17/613.84 c #Conflicts: 770000 | #Constraints: 33180 612.17/613.84 c #Conflicts: 771000 | #Constraints: 34180 612.17/613.84 c #Conflicts: 772000 | #Constraints: 35180 612.17/613.84 c #Conflicts: 773000 | #Constraints: 36180 612.17/613.84 c #Conflicts: 774000 | #Constraints: 37180 612.17/613.84 c INPROCESSING 612.17/613.84 c GARBAGE COLLECT 612.17/613.84 c rational objective 55 630.82/632.59 c #Conflicts: 775000 | #Constraints: 20787 630.82/632.59 c #Conflicts: 776000 | #Constraints: 21787 630.82/632.59 c #Conflicts: 777000 | #Constraints: 22787 630.82/632.59 c #Conflicts: 778000 | #Constraints: 23787 630.82/632.59 c #Conflicts: 779000 | #Constraints: 24787 630.82/632.59 c #Conflicts: 780000 | #Constraints: 25787 630.82/632.59 c #Conflicts: 781000 | #Constraints: 26787 630.82/632.59 c #Conflicts: 782000 | #Constraints: 27787 630.82/632.59 c #Conflicts: 783000 | #Constraints: 28787 630.82/632.59 c #Conflicts: 784000 | #Constraints: 29787 630.82/632.59 c #Conflicts: 785000 | #Constraints: 30787 630.82/632.59 c #Conflicts: 786000 | #Constraints: 31787 630.82/632.59 c #Conflicts: 787000 | #Constraints: 32787 630.82/632.59 c #Conflicts: 788000 | #Constraints: 33787 630.82/632.59 c #Conflicts: 789000 | #Constraints: 34787 630.82/632.59 c #Conflicts: 790000 | #Constraints: 35787 630.82/632.59 c #Conflicts: 791000 | #Constraints: 36787 630.82/632.59 c #Conflicts: 792000 | #Constraints: 37787 630.82/632.59 c INPROCESSING 630.82/632.59 c GARBAGE COLLECT 630.82/632.59 c rational objective 55 648.57/650.31 c #Conflicts: 793000 | #Constraints: 21166 648.57/650.31 c #Conflicts: 794000 | #Constraints: 22166 648.57/650.31 c #Conflicts: 795000 | #Constraints: 23166 648.57/650.31 c #Conflicts: 796000 | #Constraints: 24166 648.57/650.31 c #Conflicts: 797000 | #Constraints: 25166 648.57/650.31 c #Conflicts: 798000 | #Constraints: 26166 648.57/650.31 c #Conflicts: 799000 | #Constraints: 27166 648.57/650.31 c #Conflicts: 800000 | #Constraints: 28166 648.57/650.31 c #Conflicts: 801000 | #Constraints: 29166 648.57/650.31 c #Conflicts: 802000 | #Constraints: 30166 648.57/650.31 c #Conflicts: 803000 | #Constraints: 31166 648.57/650.31 c #Conflicts: 804000 | #Constraints: 32166 648.57/650.31 c #Conflicts: 805000 | #Constraints: 33166 648.57/650.31 c #Conflicts: 806000 | #Constraints: 34166 648.57/650.31 c #Conflicts: 807000 | #Constraints: 35166 648.57/650.31 c #Conflicts: 808000 | #Constraints: 36166 648.57/650.31 c #Conflicts: 809000 | #Constraints: 37166 648.57/650.31 c #Conflicts: 810000 | #Constraints: 38166 648.57/650.31 c INPROCESSING 648.57/650.31 c GARBAGE COLLECT 648.57/650.31 c rational objective 55 680.88/682.75 c #Conflicts: 811000 | #Constraints: 21371 680.88/682.75 c #Conflicts: 812000 | #Constraints: 22371 680.88/682.75 c #Conflicts: 813000 | #Constraints: 23371 680.88/682.75 c #Conflicts: 814000 | #Constraints: 24371 680.88/682.75 c #Conflicts: 815000 | #Constraints: 25371 680.88/682.75 c #Conflicts: 816000 | #Constraints: 26371 680.88/682.75 c #Conflicts: 817000 | #Constraints: 27371 680.88/682.75 c #Conflicts: 818000 | #Constraints: 28371 680.88/682.75 c #Conflicts: 819000 | #Constraints: 29371 680.88/682.75 c #Conflicts: 820000 | #Constraints: 30371 680.88/682.75 c #Conflicts: 821000 | #Constraints: 31371 680.88/682.75 c #Conflicts: 822000 | #Constraints: 32371 680.88/682.75 c #Conflicts: 823000 | #Constraints: 33371 680.88/682.75 c #Conflicts: 824000 | #Constraints: 34371 680.88/682.75 c #Conflicts: 825000 | #Constraints: 35371 680.88/682.75 c #Conflicts: 826000 | #Constraints: 36371 680.88/682.75 c #Conflicts: 827000 | #Constraints: 37371 680.88/682.75 c #Conflicts: 828000 | #Constraints: 38371 680.88/682.75 c INPROCESSING 680.88/682.75 c GARBAGE COLLECT 680.88/682.75 c rational objective 55 699.52/701.41 c #Conflicts: 829000 | #Constraints: 21363 699.52/701.41 c #Conflicts: 830000 | #Constraints: 22363 699.52/701.41 c #Conflicts: 831000 | #Constraints: 23363 699.52/701.41 c #Conflicts: 832000 | #Constraints: 24363 699.52/701.41 c #Conflicts: 833000 | #Constraints: 25363 699.52/701.41 c #Conflicts: 834000 | #Constraints: 26363 699.52/701.41 c #Conflicts: 835000 | #Constraints: 27363 699.52/701.41 c #Conflicts: 836000 | #Constraints: 28363 699.52/701.41 c #Conflicts: 837000 | #Constraints: 29363 699.52/701.41 c #Conflicts: 838000 | #Constraints: 30363 699.52/701.41 c #Conflicts: 839000 | #Constraints: 31363 699.52/701.41 c #Conflicts: 840000 | #Constraints: 32363 699.52/701.41 c #Conflicts: 841000 | #Constraints: 33363 699.52/701.41 c #Conflicts: 842000 | #Constraints: 34363 699.52/701.41 c #Conflicts: 843000 | #Constraints: 35363 699.52/701.41 c #Conflicts: 844000 | #Constraints: 36363 699.52/701.41 c #Conflicts: 845000 | #Constraints: 37363 699.52/701.41 c #Conflicts: 846000 | #Constraints: 38363 699.52/701.41 c INPROCESSING 699.52/701.41 c GARBAGE COLLECT 699.52/701.41 c rational objective 55 731.54/733.54 c #Conflicts: 847000 | #Constraints: 21151 731.54/733.54 c #Conflicts: 848000 | #Constraints: 22151 731.54/733.54 c #Conflicts: 849000 | #Constraints: 23151 731.54/733.54 c #Conflicts: 850000 | #Constraints: 24151 731.54/733.54 c #Conflicts: 851000 | #Constraints: 25151 731.54/733.54 c #Conflicts: 852000 | #Constraints: 26151 731.54/733.54 c #Conflicts: 853000 | #Constraints: 27151 731.54/733.54 c #Conflicts: 854000 | #Constraints: 28151 731.54/733.54 c #Conflicts: 855000 | #Constraints: 29151 731.54/733.54 c #Conflicts: 856000 | #Constraints: 30151 731.54/733.54 c #Conflicts: 857000 | #Constraints: 31151 731.54/733.54 c #Conflicts: 858000 | #Constraints: 32151 731.54/733.54 c #Conflicts: 859000 | #Constraints: 33151 731.54/733.54 c #Conflicts: 860000 | #Constraints: 34151 731.54/733.54 c #Conflicts: 861000 | #Constraints: 35151 731.54/733.54 c #Conflicts: 862000 | #Constraints: 36151 731.54/733.54 c #Conflicts: 863000 | #Constraints: 37151 731.54/733.54 c #Conflicts: 864000 | #Constraints: 38151 731.54/733.54 c #Conflicts: 865000 | #Constraints: 39151 731.54/733.54 c INPROCESSING 731.54/733.54 c GARBAGE COLLECT 731.54/733.54 c rational objective 55 752.77/754.83 c #Conflicts: 866000 | #Constraints: 21788 752.77/754.83 c #Conflicts: 867000 | #Constraints: 22788 752.77/754.83 c #Conflicts: 868000 | #Constraints: 23788 752.77/754.83 c #Conflicts: 869000 | #Constraints: 24788 752.77/754.83 c #Conflicts: 870000 | #Constraints: 25788 752.77/754.83 c #Conflicts: 871000 | #Constraints: 26788 752.77/754.83 c #Conflicts: 872000 | #Constraints: 27788 752.77/754.83 c #Conflicts: 873000 | #Constraints: 28788 752.77/754.83 c #Conflicts: 874000 | #Constraints: 29788 752.77/754.83 c #Conflicts: 875000 | #Constraints: 30788 752.77/754.83 c #Conflicts: 876000 | #Constraints: 31788 752.77/754.83 c #Conflicts: 877000 | #Constraints: 32788 752.77/754.83 c #Conflicts: 878000 | #Constraints: 33788 752.77/754.83 c #Conflicts: 879000 | #Constraints: 34788 752.77/754.83 c #Conflicts: 880000 | #Constraints: 35788 752.77/754.83 c #Conflicts: 881000 | #Constraints: 36788 752.77/754.83 c #Conflicts: 882000 | #Constraints: 37788 752.77/754.83 c #Conflicts: 883000 | #Constraints: 38788 752.77/754.83 c #Conflicts: 884000 | #Constraints: 39788 752.77/754.83 c INPROCESSING 752.77/754.83 c GARBAGE COLLECT 752.77/754.83 c rational objective 55 773.92/776.04 c #Conflicts: 885000 | #Constraints: 22176 773.92/776.04 c #Conflicts: 886000 | #Constraints: 23176 773.92/776.04 c #Conflicts: 887000 | #Constraints: 24176 773.92/776.04 c #Conflicts: 888000 | #Constraints: 25176 773.92/776.04 c #Conflicts: 889000 | #Constraints: 26176 773.92/776.04 c #Conflicts: 890000 | #Constraints: 27176 773.92/776.04 c #Conflicts: 891000 | #Constraints: 28176 773.92/776.04 c #Conflicts: 892000 | #Constraints: 29176 773.92/776.04 c #Conflicts: 893000 | #Constraints: 30176 773.92/776.04 c #Conflicts: 894000 | #Constraints: 31176 773.92/776.04 c #Conflicts: 895000 | #Constraints: 32176 773.92/776.04 c #Conflicts: 896000 | #Constraints: 33176 773.92/776.04 c #Conflicts: 897000 | #Constraints: 34176 773.92/776.04 c #Conflicts: 898000 | #Constraints: 35176 773.92/776.04 c #Conflicts: 899000 | #Constraints: 36176 773.92/776.04 c #Conflicts: 900000 | #Constraints: 37176 773.92/776.04 c #Conflicts: 901000 | #Constraints: 38176 773.92/776.04 c #Conflicts: 902000 | #Constraints: 39176 773.92/776.04 c #Conflicts: 903000 | #Constraints: 40176 773.92/776.04 c INPROCESSING 773.92/776.04 c GARBAGE COLLECT 773.92/776.04 c rational objective 55 806.14/808.36 c #Conflicts: 904000 | #Constraints: 22356 806.14/808.36 c #Conflicts: 905000 | #Constraints: 23356 806.14/808.36 c #Conflicts: 906000 | #Constraints: 24356 806.14/808.36 c #Conflicts: 907000 | #Constraints: 25356 806.14/808.36 c #Conflicts: 908000 | #Constraints: 26356 806.14/808.36 c #Conflicts: 909000 | #Constraints: 27356 806.14/808.36 c #Conflicts: 910000 | #Constraints: 28356 806.14/808.36 c #Conflicts: 911000 | #Constraints: 29356 806.14/808.36 c #Conflicts: 912000 | #Constraints: 30356 806.14/808.36 c #Conflicts: 913000 | #Constraints: 31356 806.14/808.36 c #Conflicts: 914000 | #Constraints: 32356 806.14/808.36 c #Conflicts: 915000 | #Constraints: 33356 806.14/808.36 c #Conflicts: 916000 | #Constraints: 34356 806.14/808.36 c #Conflicts: 917000 | #Constraints: 35356 806.14/808.36 c #Conflicts: 918000 | #Constraints: 36356 806.14/808.36 c #Conflicts: 919000 | #Constraints: 37356 806.14/808.36 c #Conflicts: 920000 | #Constraints: 38356 806.14/808.36 c #Conflicts: 921000 | #Constraints: 39356 806.14/808.36 c #Conflicts: 922000 | #Constraints: 40356 806.14/808.36 c INPROCESSING 806.14/808.36 c GARBAGE COLLECT 806.14/808.36 c rational objective 55 827.60/829.85 c #Conflicts: 923000 | #Constraints: 22382 827.60/829.85 c #Conflicts: 924000 | #Constraints: 23382 827.60/829.85 c #Conflicts: 925000 | #Constraints: 24382 827.60/829.85 c #Conflicts: 926000 | #Constraints: 25382 827.60/829.85 c #Conflicts: 927000 | #Constraints: 26382 827.60/829.85 c #Conflicts: 928000 | #Constraints: 27382 827.60/829.85 c #Conflicts: 929000 | #Constraints: 28382 827.60/829.85 c #Conflicts: 930000 | #Constraints: 29382 827.60/829.85 c #Conflicts: 931000 | #Constraints: 30382 827.60/829.85 c #Conflicts: 932000 | #Constraints: 31382 827.60/829.85 c #Conflicts: 933000 | #Constraints: 32382 827.60/829.85 c #Conflicts: 934000 | #Constraints: 33382 827.60/829.85 c #Conflicts: 935000 | #Constraints: 34382 827.60/829.85 c #Conflicts: 936000 | #Constraints: 35382 827.60/829.85 c #Conflicts: 937000 | #Constraints: 36382 827.60/829.85 c #Conflicts: 938000 | #Constraints: 37382 827.60/829.85 c #Conflicts: 939000 | #Constraints: 38382 827.60/829.85 c #Conflicts: 940000 | #Constraints: 39382 827.60/829.85 c #Conflicts: 941000 | #Constraints: 40382 827.60/829.85 c INPROCESSING 827.60/829.85 c GARBAGE COLLECT 827.60/829.85 c rational objective 55 863.82/866.12 c #Conflicts: 942000 | #Constraints: 22189 863.82/866.12 c #Conflicts: 943000 | #Constraints: 23189 863.82/866.12 c #Conflicts: 944000 | #Constraints: 24189 863.82/866.12 c #Conflicts: 945000 | #Constraints: 25189 863.82/866.12 c #Conflicts: 946000 | #Constraints: 26189 863.82/866.12 c #Conflicts: 947000 | #Constraints: 27189 863.82/866.12 c #Conflicts: 948000 | #Constraints: 28189 863.82/866.12 c #Conflicts: 949000 | #Constraints: 29189 863.82/866.12 c #Conflicts: 950000 | #Constraints: 30189 863.82/866.12 c #Conflicts: 951000 | #Constraints: 31189 863.82/866.12 c #Conflicts: 952000 | #Constraints: 32189 863.82/866.12 c #Conflicts: 953000 | #Constraints: 33189 863.82/866.12 c #Conflicts: 954000 | #Constraints: 34189 863.82/866.12 c #Conflicts: 955000 | #Constraints: 35189 863.82/866.12 c #Conflicts: 956000 | #Constraints: 36189 863.82/866.12 c #Conflicts: 957000 | #Constraints: 37189 863.82/866.12 c #Conflicts: 958000 | #Constraints: 38189 863.82/866.12 c #Conflicts: 959000 | #Constraints: 39189 863.82/866.12 c #Conflicts: 960000 | #Constraints: 40189 863.82/866.12 c #Conflicts: 961000 | #Constraints: 41189 863.82/866.13 c INPROCESSING 863.82/866.13 c GARBAGE COLLECT 863.82/866.13 c rational objective 55 885.36/887.72 c #Conflicts: 962000 | #Constraints: 22794 885.36/887.72 c #Conflicts: 963000 | #Constraints: 23794 885.36/887.72 c #Conflicts: 964000 | #Constraints: 24794 885.36/887.72 c #Conflicts: 965000 | #Constraints: 25794 885.36/887.72 c #Conflicts: 966000 | #Constraints: 26794 885.36/887.72 c #Conflicts: 967000 | #Constraints: 27794 885.36/887.72 c #Conflicts: 968000 | #Constraints: 28794 885.36/887.72 c #Conflicts: 969000 | #Constraints: 29794 885.36/887.72 c #Conflicts: 970000 | #Constraints: 30794 885.36/887.72 c #Conflicts: 971000 | #Constraints: 31794 885.36/887.72 c #Conflicts: 972000 | #Constraints: 32794 885.36/887.72 c #Conflicts: 973000 | #Constraints: 33794 885.36/887.72 c #Conflicts: 974000 | #Constraints: 34794 885.36/887.72 c #Conflicts: 975000 | #Constraints: 35794 885.36/887.72 c #Conflicts: 976000 | #Constraints: 36794 885.36/887.72 c #Conflicts: 977000 | #Constraints: 37794 885.36/887.72 c #Conflicts: 978000 | #Constraints: 38794 885.36/887.72 c #Conflicts: 979000 | #Constraints: 39794 885.36/887.72 c #Conflicts: 980000 | #Constraints: 40794 885.36/887.72 c #Conflicts: 981000 | #Constraints: 41794 885.36/887.72 c INPROCESSING 885.36/887.72 c GARBAGE COLLECT 885.36/887.72 c rational objective 55 908.71/911.11 c #Conflicts: 982000 | #Constraints: 23197 908.71/911.11 c #Conflicts: 983000 | #Constraints: 24197 908.71/911.11 c #Conflicts: 984000 | #Constraints: 25197 908.71/911.11 c #Conflicts: 985000 | #Constraints: 26197 908.71/911.11 c #Conflicts: 986000 | #Constraints: 27197 908.71/911.11 c #Conflicts: 987000 | #Constraints: 28197 908.71/911.11 c #Conflicts: 988000 | #Constraints: 29197 908.71/911.11 c #Conflicts: 989000 | #Constraints: 30197 908.71/911.11 c #Conflicts: 990000 | #Constraints: 31197 908.71/911.11 c #Conflicts: 991000 | #Constraints: 32197 908.71/911.11 c #Conflicts: 992000 | #Constraints: 33197 908.71/911.11 c #Conflicts: 993000 | #Constraints: 34197 908.71/911.11 c #Conflicts: 994000 | #Constraints: 35197 908.71/911.11 c #Conflicts: 995000 | #Constraints: 36197 908.71/911.11 c #Conflicts: 996000 | #Constraints: 37197 908.71/911.11 c #Conflicts: 997000 | #Constraints: 38197 908.71/911.11 c #Conflicts: 998000 | #Constraints: 39197 908.71/911.11 c #Conflicts: 999000 | #Constraints: 40197 908.71/911.11 c #Conflicts: 1000000 | #Constraints: 41197 908.71/911.11 c #Conflicts: 1001000 | #Constraints: 42197 908.71/911.11 c INPROCESSING 908.71/911.11 c GARBAGE COLLECT 908.71/911.11 c rational objective 55 959.88/962.40 c #Conflicts: 1002000 | #Constraints: 23392 959.88/962.40 c #Conflicts: 1003000 | #Constraints: 24392 959.88/962.40 c #Conflicts: 1004000 | #Constraints: 25392 959.88/962.40 c #Conflicts: 1005000 | #Constraints: 26392 959.88/962.40 c #Conflicts: 1006000 | #Constraints: 27392 959.88/962.40 c #Conflicts: 1007000 | #Constraints: 28392 959.88/962.40 c #Conflicts: 1008000 | #Constraints: 29392 959.88/962.40 c #Conflicts: 1009000 | #Constraints: 30392 959.88/962.40 c #Conflicts: 1010000 | #Constraints: 31392 959.88/962.40 c #Conflicts: 1011000 | #Constraints: 32392 959.88/962.40 c #Conflicts: 1012000 | #Constraints: 33392 959.88/962.40 c #Conflicts: 1013000 | #Constraints: 34392 959.88/962.40 c #Conflicts: 1014000 | #Constraints: 35392 959.88/962.40 c #Conflicts: 1015000 | #Constraints: 36392 959.88/962.40 c #Conflicts: 1016000 | #Constraints: 37392 959.88/962.40 c #Conflicts: 1017000 | #Constraints: 38392 959.88/962.40 c #Conflicts: 1018000 | #Constraints: 39392 959.88/962.40 c #Conflicts: 1019000 | #Constraints: 40392 959.88/962.40 c #Conflicts: 1020000 | #Constraints: 41392 959.88/962.40 c #Conflicts: 1021000 | #Constraints: 42392 959.88/962.40 c INPROCESSING 959.88/962.40 c GARBAGE COLLECT 959.88/962.40 c rational objective 55 983.72/986.31 c #Conflicts: 1022000 | #Constraints: 23397 983.72/986.31 c #Conflicts: 1023000 | #Constraints: 24397 983.72/986.31 c #Conflicts: 1024000 | #Constraints: 25397 983.72/986.31 c #Conflicts: 1025000 | #Constraints: 26397 983.72/986.31 c #Conflicts: 1026000 | #Constraints: 27397 983.72/986.31 c #Conflicts: 1027000 | #Constraints: 28397 983.72/986.31 c #Conflicts: 1028000 | #Constraints: 29397 983.72/986.31 c #Conflicts: 1029000 | #Constraints: 30397 983.72/986.31 c #Conflicts: 1030000 | #Constraints: 31397 983.72/986.31 c #Conflicts: 1031000 | #Constraints: 32397 983.72/986.31 c #Conflicts: 1032000 | #Constraints: 33397 983.72/986.31 c #Conflicts: 1033000 | #Constraints: 34397 983.72/986.31 c #Conflicts: 1034000 | #Constraints: 35397 983.72/986.31 c #Conflicts: 1035000 | #Constraints: 36397 983.72/986.31 c #Conflicts: 1036000 | #Constraints: 37397 983.72/986.31 c #Conflicts: 1037000 | #Constraints: 38397 983.72/986.31 c #Conflicts: 1038000 | #Constraints: 39397 983.72/986.31 c #Conflicts: 1039000 | #Constraints: 40397 983.72/986.31 c #Conflicts: 1040000 | #Constraints: 41397 983.72/986.31 c #Conflicts: 1041000 | #Constraints: 42397 983.72/986.31 c INPROCESSING 983.72/986.31 c GARBAGE COLLECT 983.72/986.31 c rational objective 55 1010.74/1013.41 c #Conflicts: 1042000 | #Constraints: 23173 1010.74/1013.41 c #Conflicts: 1043000 | #Constraints: 24173 1010.74/1013.41 c #Conflicts: 1044000 | #Constraints: 25173 1010.74/1013.41 c #Conflicts: 1045000 | #Constraints: 26173 1010.74/1013.41 c #Conflicts: 1046000 | #Constraints: 27173 1010.74/1013.41 c #Conflicts: 1047000 | #Constraints: 28173 1010.74/1013.41 c #Conflicts: 1048000 | #Constraints: 29173 1010.74/1013.41 c #Conflicts: 1049000 | #Constraints: 30173 1010.74/1013.41 c #Conflicts: 1050000 | #Constraints: 31173 1010.74/1013.41 c #Conflicts: 1051000 | #Constraints: 32173 1010.74/1013.41 c #Conflicts: 1052000 | #Constraints: 33173 1010.74/1013.41 c #Conflicts: 1053000 | #Constraints: 34173 1010.74/1013.41 c #Conflicts: 1054000 | #Constraints: 35173 1010.74/1013.41 c #Conflicts: 1055000 | #Constraints: 36173 1010.74/1013.41 c #Conflicts: 1056000 | #Constraints: 37173 1010.74/1013.41 c #Conflicts: 1057000 | #Constraints: 38173 1010.74/1013.41 c #Conflicts: 1058000 | #Constraints: 39173 1010.74/1013.41 c #Conflicts: 1059000 | #Constraints: 40173 1010.74/1013.41 c #Conflicts: 1060000 | #Constraints: 41173 1010.74/1013.41 c #Conflicts: 1061000 | #Constraints: 42173 1010.74/1013.41 c #Conflicts: 1062000 | #Constraints: 43173 1010.74/1013.41 c INPROCESSING 1010.74/1013.41 c GARBAGE COLLECT 1010.74/1013.41 c rational objective 55 1055.91/1058.73 c #Conflicts: 1063000 | #Constraints: 23766 1055.91/1058.73 c #Conflicts: 1064000 | #Constraints: 24766 1055.91/1058.73 c #Conflicts: 1065000 | #Constraints: 25766 1055.91/1058.73 c #Conflicts: 1066000 | #Constraints: 26766 1055.91/1058.73 c #Conflicts: 1067000 | #Constraints: 27766 1055.91/1058.73 c #Conflicts: 1068000 | #Constraints: 28766 1055.91/1058.73 c #Conflicts: 1069000 | #Constraints: 29766 1055.91/1058.73 c #Conflicts: 1070000 | #Constraints: 30766 1055.91/1058.73 c #Conflicts: 1071000 | #Constraints: 31766 1055.91/1058.73 c #Conflicts: 1072000 | #Constraints: 32766 1055.91/1058.73 c #Conflicts: 1073000 | #Constraints: 33766 1055.91/1058.73 c #Conflicts: 1074000 | #Constraints: 34766 1055.91/1058.73 c #Conflicts: 1075000 | #Constraints: 35766 1055.91/1058.73 c #Conflicts: 1076000 | #Constraints: 36766 1055.91/1058.73 c #Conflicts: 1077000 | #Constraints: 37766 1055.91/1058.73 c #Conflicts: 1078000 | #Constraints: 38766 1055.91/1058.73 c #Conflicts: 1079000 | #Constraints: 39766 1055.91/1058.73 c #Conflicts: 1080000 | #Constraints: 40766 1055.91/1058.73 c #Conflicts: 1081000 | #Constraints: 41766 1055.91/1058.73 c #Conflicts: 1082000 | #Constraints: 42766 1055.91/1058.73 c #Conflicts: 1083000 | #Constraints: 43766 1055.91/1058.73 c INPROCESSING 1055.91/1058.73 c GARBAGE COLLECT 1055.91/1058.73 c rational objective 55 1084.03/1086.92 c #Conflicts: 1084000 | #Constraints: 24188 1084.03/1086.92 c #Conflicts: 1085000 | #Constraints: 25188 1084.03/1086.92 c #Conflicts: 1086000 | #Constraints: 26188 1084.03/1086.92 c #Conflicts: 1087000 | #Constraints: 27188 1084.03/1086.92 c #Conflicts: 1088000 | #Constraints: 28188 1084.03/1086.92 c #Conflicts: 1089000 | #Constraints: 29188 1084.03/1086.92 c #Conflicts: 1090000 | #Constraints: 30188 1084.03/1086.92 c #Conflicts: 1091000 | #Constraints: 31188 1084.03/1086.92 c #Conflicts: 1092000 | #Constraints: 32188 1084.03/1086.92 c #Conflicts: 1093000 | #Constraints: 33188 1084.03/1086.92 c #Conflicts: 1094000 | #Constraints: 34188 1084.03/1086.92 c #Conflicts: 1095000 | #Constraints: 35188 1084.03/1086.92 c #Conflicts: 1096000 | #Constraints: 36188 1084.03/1086.92 c #Conflicts: 1097000 | #Constraints: 37188 1084.03/1086.92 c #Conflicts: 1098000 | #Constraints: 38188 1084.03/1086.92 c #Conflicts: 1099000 | #Constraints: 39188 1084.03/1086.92 c #Conflicts: 1100000 | #Constraints: 40188 1084.03/1086.92 c #Conflicts: 1101000 | #Constraints: 41188 1084.03/1086.92 c #Conflicts: 1102000 | #Constraints: 42188 1084.03/1086.92 c #Conflicts: 1103000 | #Constraints: 43188 1084.03/1086.92 c #Conflicts: 1104000 | #Constraints: 44188 1084.03/1086.92 c INPROCESSING 1084.03/1086.92 c GARBAGE COLLECT 1084.03/1086.92 c rational objective 55 1112.35/1115.38 c #Conflicts: 1105000 | #Constraints: 24399 1112.35/1115.38 c #Conflicts: 1106000 | #Constraints: 25399 1112.35/1115.38 c #Conflicts: 1107000 | #Constraints: 26399 1112.35/1115.38 c #Conflicts: 1108000 | #Constraints: 27399 1112.35/1115.38 c #Conflicts: 1109000 | #Constraints: 28399 1112.35/1115.38 c #Conflicts: 1110000 | #Constraints: 29399 1112.35/1115.38 c #Conflicts: 1111000 | #Constraints: 30399 1112.35/1115.38 c #Conflicts: 1112000 | #Constraints: 31399 1112.35/1115.38 c #Conflicts: 1113000 | #Constraints: 32399 1112.35/1115.38 c #Conflicts: 1114000 | #Constraints: 33399 1112.35/1115.38 c #Conflicts: 1115000 | #Constraints: 34399 1112.35/1115.38 c #Conflicts: 1116000 | #Constraints: 35399 1112.35/1115.38 c #Conflicts: 1117000 | #Constraints: 36399 1112.35/1115.38 c #Conflicts: 1118000 | #Constraints: 37399 1112.35/1115.38 c #Conflicts: 1119000 | #Constraints: 38399 1112.35/1115.38 c #Conflicts: 1120000 | #Constraints: 39399 1112.35/1115.38 c #Conflicts: 1121000 | #Constraints: 40399 1112.35/1115.38 c #Conflicts: 1122000 | #Constraints: 41399 1112.35/1115.38 c #Conflicts: 1123000 | #Constraints: 42399 1112.35/1115.38 c #Conflicts: 1124000 | #Constraints: 43399 1112.35/1115.38 c #Conflicts: 1125000 | #Constraints: 44399 1112.35/1115.38 c INPROCESSING 1112.35/1115.38 c GARBAGE COLLECT 1112.35/1115.38 c rational objective 55 1138.67/1141.74 c #Conflicts: 1126000 | #Constraints: 24376 1138.67/1141.74 c #Conflicts: 1127000 | #Constraints: 25376 1138.67/1141.74 c #Conflicts: 1128000 | #Constraints: 26376 1138.67/1141.74 c #Conflicts: 1129000 | #Constraints: 27376 1138.67/1141.74 c #Conflicts: 1130000 | #Constraints: 28376 1138.67/1141.74 c #Conflicts: 1131000 | #Constraints: 29376 1138.67/1141.74 c #Conflicts: 1132000 | #Constraints: 30376 1138.67/1141.74 c #Conflicts: 1133000 | #Constraints: 31376 1138.67/1141.74 c #Conflicts: 1134000 | #Constraints: 32376 1138.67/1141.74 c #Conflicts: 1135000 | #Constraints: 33376 1138.67/1141.74 c #Conflicts: 1136000 | #Constraints: 34376 1138.67/1141.74 c #Conflicts: 1137000 | #Constraints: 35376 1138.67/1141.74 c #Conflicts: 1138000 | #Constraints: 36376 1138.67/1141.74 c #Conflicts: 1139000 | #Constraints: 37376 1138.67/1141.74 c #Conflicts: 1140000 | #Constraints: 38376 1138.67/1141.74 c #Conflicts: 1141000 | #Constraints: 39376 1138.67/1141.74 c #Conflicts: 1142000 | #Constraints: 40376 1138.67/1141.74 c #Conflicts: 1143000 | #Constraints: 41376 1138.67/1141.74 c #Conflicts: 1144000 | #Constraints: 42376 1138.67/1141.74 c #Conflicts: 1145000 | #Constraints: 43376 1138.67/1141.74 c #Conflicts: 1146000 | #Constraints: 44376 1138.67/1141.74 c INPROCESSING 1138.67/1141.74 c GARBAGE COLLECT 1138.67/1141.74 c rational objective 55 1165.50/1168.68 c #Conflicts: 1147000 | #Constraints: 24179 1165.50/1168.68 c #Conflicts: 1148000 | #Constraints: 25179 1165.50/1168.68 c #Conflicts: 1149000 | #Constraints: 26179 1165.50/1168.68 c #Conflicts: 1150000 | #Constraints: 27179 1165.50/1168.68 c #Conflicts: 1151000 | #Constraints: 28179 1165.50/1168.68 c #Conflicts: 1152000 | #Constraints: 29179 1165.50/1168.68 c #Conflicts: 1153000 | #Constraints: 30179 1165.50/1168.68 c #Conflicts: 1154000 | #Constraints: 31179 1165.50/1168.68 c #Conflicts: 1155000 | #Constraints: 32179 1165.50/1168.68 c #Conflicts: 1156000 | #Constraints: 33179 1165.50/1168.68 c #Conflicts: 1157000 | #Constraints: 34179 1165.50/1168.68 c #Conflicts: 1158000 | #Constraints: 35179 1165.50/1168.68 c #Conflicts: 1159000 | #Constraints: 36179 1165.50/1168.68 c #Conflicts: 1160000 | #Constraints: 37179 1165.50/1168.68 c #Conflicts: 1161000 | #Constraints: 38179 1165.50/1168.68 c #Conflicts: 1162000 | #Constraints: 39179 1165.50/1168.68 c #Conflicts: 1163000 | #Constraints: 40179 1165.50/1168.68 c #Conflicts: 1164000 | #Constraints: 41179 1165.50/1168.68 c #Conflicts: 1165000 | #Constraints: 42179 1165.50/1168.68 c #Conflicts: 1166000 | #Constraints: 43179 1165.50/1168.68 c #Conflicts: 1167000 | #Constraints: 44179 1165.50/1168.68 c #Conflicts: 1168000 | #Constraints: 45179 1165.50/1168.68 c INPROCESSING 1165.50/1168.68 c GARBAGE COLLECT 1165.50/1168.68 c rational objective 55 1211.77/1215.02 c #Conflicts: 1169000 | #Constraints: 24777 1211.77/1215.02 c #Conflicts: 1170000 | #Constraints: 25777 1211.77/1215.02 c #Conflicts: 1171000 | #Constraints: 26777 1211.77/1215.02 c #Conflicts: 1172000 | #Constraints: 27777 1211.77/1215.02 c #Conflicts: 1173000 | #Constraints: 28777 1211.77/1215.02 c #Conflicts: 1174000 | #Constraints: 29777 1211.77/1215.02 c #Conflicts: 1175000 | #Constraints: 30777 1211.77/1215.02 c #Conflicts: 1176000 | #Constraints: 31777 1211.77/1215.02 c #Conflicts: 1177000 | #Constraints: 32777 1211.77/1215.02 c #Conflicts: 1178000 | #Constraints: 33777 1211.77/1215.02 c #Conflicts: 1179000 | #Constraints: 34777 1211.77/1215.02 c #Conflicts: 1180000 | #Constraints: 35777 1211.77/1215.02 c #Conflicts: 1181000 | #Constraints: 36777 1211.77/1215.02 c #Conflicts: 1182000 | #Constraints: 37777 1211.77/1215.02 c #Conflicts: 1183000 | #Constraints: 38777 1211.77/1215.02 c #Conflicts: 1184000 | #Constraints: 39777 1211.77/1215.02 c #Conflicts: 1185000 | #Constraints: 40777 1211.77/1215.02 c #Conflicts: 1186000 | #Constraints: 41777 1211.77/1215.02 c #Conflicts: 1187000 | #Constraints: 42777 1211.77/1215.02 c #Conflicts: 1188000 | #Constraints: 43777 1211.77/1215.02 c #Conflicts: 1189000 | #Constraints: 44777 1211.77/1215.02 c #Conflicts: 1190000 | #Constraints: 45777 1211.77/1215.02 c INPROCESSING 1211.77/1215.02 c GARBAGE COLLECT 1211.77/1215.02 c rational objective 55 1239.29/1242.68 c #Conflicts: 1191000 | #Constraints: 25161 1239.29/1242.68 c #Conflicts: 1192000 | #Constraints: 26161 1239.29/1242.68 c #Conflicts: 1193000 | #Constraints: 27161 1239.29/1242.68 c #Conflicts: 1194000 | #Constraints: 28161 1239.29/1242.68 c #Conflicts: 1195000 | #Constraints: 29161 1239.29/1242.68 c #Conflicts: 1196000 | #Constraints: 30161 1239.29/1242.68 c #Conflicts: 1197000 | #Constraints: 31161 1239.29/1242.68 c #Conflicts: 1198000 | #Constraints: 32161 1239.29/1242.68 c #Conflicts: 1199000 | #Constraints: 33161 1239.29/1242.68 c #Conflicts: 1200000 | #Constraints: 34161 1239.29/1242.68 c #Conflicts: 1201000 | #Constraints: 35161 1239.29/1242.68 c #Conflicts: 1202000 | #Constraints: 36161 1239.29/1242.68 c #Conflicts: 1203000 | #Constraints: 37161 1239.29/1242.68 c #Conflicts: 1204000 | #Constraints: 38161 1239.29/1242.68 c #Conflicts: 1205000 | #Constraints: 39161 1239.29/1242.68 c #Conflicts: 1206000 | #Constraints: 40161 1239.29/1242.68 c #Conflicts: 1207000 | #Constraints: 41161 1239.29/1242.68 c #Conflicts: 1208000 | #Constraints: 42161 1239.29/1242.68 c #Conflicts: 1209000 | #Constraints: 43161 1239.29/1242.68 c #Conflicts: 1210000 | #Constraints: 44161 1239.29/1242.68 c #Conflicts: 1211000 | #Constraints: 45161 1239.29/1242.68 c #Conflicts: 1212000 | #Constraints: 46161 1239.29/1242.68 c INPROCESSING 1239.29/1242.68 c GARBAGE COLLECT 1239.29/1242.68 c rational objective 55 1292.67/1296.14 c #Conflicts: 1213000 | #Constraints: 25373 1292.67/1296.14 c #Conflicts: 1214000 | #Constraints: 26373 1292.67/1296.14 c #Conflicts: 1215000 | #Constraints: 27373 1292.67/1296.14 c #Conflicts: 1216000 | #Constraints: 28373 1292.67/1296.14 c #Conflicts: 1217000 | #Constraints: 29373 1292.67/1296.14 c #Conflicts: 1218000 | #Constraints: 30373 1292.67/1296.14 c #Conflicts: 1219000 | #Constraints: 31373 1292.67/1296.14 c #Conflicts: 1220000 | #Constraints: 32373 1292.67/1296.14 c #Conflicts: 1221000 | #Constraints: 33373 1292.67/1296.14 c #Conflicts: 1222000 | #Constraints: 34373 1292.67/1296.14 c #Conflicts: 1223000 | #Constraints: 35373 1292.67/1296.14 c #Conflicts: 1224000 | #Constraints: 36373 1292.67/1296.14 c #Conflicts: 1225000 | #Constraints: 37373 1292.67/1296.14 c #Conflicts: 1226000 | #Constraints: 38373 1292.67/1296.14 c #Conflicts: 1227000 | #Constraints: 39373 1292.67/1296.14 c #Conflicts: 1228000 | #Constraints: 40373 1292.67/1296.14 c #Conflicts: 1229000 | #Constraints: 41373 1292.67/1296.14 c #Conflicts: 1230000 | #Constraints: 42373 1292.67/1296.14 c #Conflicts: 1231000 | #Constraints: 43373 1292.67/1296.14 c #Conflicts: 1232000 | #Constraints: 44373 1292.67/1296.14 c #Conflicts: 1233000 | #Constraints: 45373 1292.67/1296.14 c #Conflicts: 1234000 | #Constraints: 46373 1292.67/1296.14 c INPROCESSING 1292.67/1296.14 c GARBAGE COLLECT 1292.67/1296.14 c rational objective 55 1321.78/1325.36 c #Conflicts: 1235000 | #Constraints: 25368 1321.78/1325.36 c #Conflicts: 1236000 | #Constraints: 26368 1321.78/1325.36 c #Conflicts: 1237000 | #Constraints: 27368 1321.78/1325.36 c #Conflicts: 1238000 | #Constraints: 28368 1321.78/1325.36 c #Conflicts: 1239000 | #Constraints: 29368 1321.78/1325.36 c #Conflicts: 1240000 | #Constraints: 30368 1321.78/1325.36 c #Conflicts: 1241000 | #Constraints: 31368 1321.78/1325.36 c #Conflicts: 1242000 | #Constraints: 32368 1321.78/1325.36 c #Conflicts: 1243000 | #Constraints: 33368 1321.78/1325.36 c #Conflicts: 1244000 | #Constraints: 34368 1321.78/1325.36 c #Conflicts: 1245000 | #Constraints: 35368 1321.78/1325.36 c #Conflicts: 1246000 | #Constraints: 36368 1321.78/1325.36 c #Conflicts: 1247000 | #Constraints: 37368 1321.78/1325.36 c #Conflicts: 1248000 | #Constraints: 38368 1321.78/1325.36 c #Conflicts: 1249000 | #Constraints: 39368 1321.78/1325.36 c #Conflicts: 1250000 | #Constraints: 40368 1321.78/1325.36 c #Conflicts: 1251000 | #Constraints: 41368 1321.78/1325.36 c #Conflicts: 1252000 | #Constraints: 42368 1321.78/1325.36 c #Conflicts: 1253000 | #Constraints: 43368 1321.78/1325.36 c #Conflicts: 1254000 | #Constraints: 44368 1321.78/1325.36 c #Conflicts: 1255000 | #Constraints: 45368 1321.78/1325.36 c #Conflicts: 1256000 | #Constraints: 46368 1321.78/1325.36 c INPROCESSING 1321.78/1325.36 c GARBAGE COLLECT 1321.78/1325.36 c rational objective 55 1352.32/1355.99 c #Conflicts: 1257000 | #Constraints: 25178 1352.32/1355.99 c #Conflicts: 1258000 | #Constraints: 26178 1352.32/1355.99 c #Conflicts: 1259000 | #Constraints: 27178 1352.32/1355.99 c #Conflicts: 1260000 | #Constraints: 28178 1352.32/1355.99 c #Conflicts: 1261000 | #Constraints: 29178 1352.32/1355.99 c #Conflicts: 1262000 | #Constraints: 30178 1352.32/1355.99 c #Conflicts: 1263000 | #Constraints: 31178 1352.32/1355.99 c #Conflicts: 1264000 | #Constraints: 32178 1352.32/1355.99 c #Conflicts: 1265000 | #Constraints: 33178 1352.32/1355.99 c #Conflicts: 1266000 | #Constraints: 34178 1352.32/1355.99 c #Conflicts: 1267000 | #Constraints: 35178 1352.32/1355.99 c #Conflicts: 1268000 | #Constraints: 36178 1352.32/1355.99 c #Conflicts: 1269000 | #Constraints: 37178 1352.32/1355.99 c #Conflicts: 1270000 | #Constraints: 38178 1352.32/1355.99 c #Conflicts: 1271000 | #Constraints: 39178 1352.32/1355.99 c #Conflicts: 1272000 | #Constraints: 40178 1352.32/1355.99 c #Conflicts: 1273000 | #Constraints: 41178 1352.32/1355.99 c #Conflicts: 1274000 | #Constraints: 42178 1352.32/1355.99 c #Conflicts: 1275000 | #Constraints: 43178 1352.32/1355.99 c #Conflicts: 1276000 | #Constraints: 44178 1352.32/1355.99 c #Conflicts: 1277000 | #Constraints: 45178 1352.32/1355.99 c #Conflicts: 1278000 | #Constraints: 46178 1352.32/1355.99 c #Conflicts: 1279000 | #Constraints: 47178 1352.32/1355.99 c INPROCESSING 1352.32/1355.99 c GARBAGE COLLECT 1352.32/1355.99 c rational objective 55 1408.98/1412.75 c #Conflicts: 1280000 | #Constraints: 25779 1408.98/1412.75 c #Conflicts: 1281000 | #Constraints: 26779 1408.98/1412.75 c #Conflicts: 1282000 | #Constraints: 27779 1408.98/1412.75 c #Conflicts: 1283000 | #Constraints: 28779 1408.98/1412.75 c #Conflicts: 1284000 | #Constraints: 29779 1408.98/1412.75 c #Conflicts: 1285000 | #Constraints: 30779 1408.98/1412.75 c #Conflicts: 1286000 | #Constraints: 31779 1408.98/1412.75 c #Conflicts: 1287000 | #Constraints: 32779 1408.98/1412.75 c #Conflicts: 1288000 | #Constraints: 33779 1408.98/1412.75 c #Conflicts: 1289000 | #Constraints: 34779 1408.98/1412.75 c #Conflicts: 1290000 | #Constraints: 35779 1408.98/1412.75 c #Conflicts: 1291000 | #Constraints: 36779 1408.98/1412.75 c #Conflicts: 1292000 | #Constraints: 37779 1408.98/1412.75 c #Conflicts: 1293000 | #Constraints: 38779 1408.98/1412.75 c #Conflicts: 1294000 | #Constraints: 39779 1408.98/1412.75 c #Conflicts: 1295000 | #Constraints: 40779 1408.98/1412.75 c #Conflicts: 1296000 | #Constraints: 41779 1408.98/1412.75 c #Conflicts: 1297000 | #Constraints: 42779 1408.98/1412.75 c #Conflicts: 1298000 | #Constraints: 43779 1408.98/1412.75 c #Conflicts: 1299000 | #Constraints: 44779 1408.98/1412.75 c #Conflicts: 1300000 | #Constraints: 45779 1408.98/1412.75 c #Conflicts: 1301000 | #Constraints: 46779 1408.98/1412.75 c #Conflicts: 1302000 | #Constraints: 47779 1408.98/1412.75 c INPROCESSING 1408.98/1412.75 c GARBAGE COLLECT 1408.98/1412.75 c rational objective 55 1441.21/1445.07 c #Conflicts: 1303000 | #Constraints: 26190 1441.21/1445.07 c #Conflicts: 1304000 | #Constraints: 27190 1441.21/1445.07 c #Conflicts: 1305000 | #Constraints: 28190 1441.21/1445.07 c #Conflicts: 1306000 | #Constraints: 29190 1441.21/1445.07 c #Conflicts: 1307000 | #Constraints: 30190 1441.21/1445.07 c #Conflicts: 1308000 | #Constraints: 31190 1441.21/1445.07 c #Conflicts: 1309000 | #Constraints: 32190 1441.21/1445.07 c #Conflicts: 1310000 | #Constraints: 33190 1441.21/1445.07 c #Conflicts: 1311000 | #Constraints: 34190 1441.21/1445.07 c #Conflicts: 1312000 | #Constraints: 35190 1441.21/1445.07 c #Conflicts: 1313000 | #Constraints: 36190 1441.21/1445.07 c #Conflicts: 1314000 | #Constraints: 37190 1441.21/1445.07 c #Conflicts: 1315000 | #Constraints: 38190 1441.21/1445.07 c #Conflicts: 1316000 | #Constraints: 39190 1441.21/1445.07 c #Conflicts: 1317000 | #Constraints: 40190 1441.21/1445.07 c #Conflicts: 1318000 | #Constraints: 41190 1441.21/1445.07 c #Conflicts: 1319000 | #Constraints: 42190 1441.21/1445.07 c #Conflicts: 1320000 | #Constraints: 43190 1441.21/1445.07 c #Conflicts: 1321000 | #Constraints: 44190 1441.21/1445.07 c #Conflicts: 1322000 | #Constraints: 45190 1441.21/1445.07 c #Conflicts: 1323000 | #Constraints: 46190 1441.21/1445.07 c #Conflicts: 1324000 | #Constraints: 47190 1441.21/1445.07 c #Conflicts: 1325000 | #Constraints: 48190 1441.21/1445.07 c INPROCESSING 1441.21/1445.07 c GARBAGE COLLECT 1441.21/1445.07 c rational objective 55 1487.00/1490.90 c #Conflicts: 1326000 | #Constraints: 26392 1487.00/1490.90 c #Conflicts: 1327000 | #Constraints: 27392 1487.00/1490.90 c #Conflicts: 1328000 | #Constraints: 28392 1487.00/1490.90 c #Conflicts: 1329000 | #Constraints: 29392 1487.00/1490.90 c #Conflicts: 1330000 | #Constraints: 30392 1487.00/1490.90 c #Conflicts: 1331000 | #Constraints: 31392 1487.00/1490.90 c #Conflicts: 1332000 | #Constraints: 32392 1487.00/1490.90 c #Conflicts: 1333000 | #Constraints: 33392 1487.00/1490.90 c #Conflicts: 1334000 | #Constraints: 34392 1487.00/1490.90 c #Conflicts: 1335000 | #Constraints: 35392 1487.00/1490.90 c #Conflicts: 1336000 | #Constraints: 36392 1487.00/1490.90 c #Conflicts: 1337000 | #Constraints: 37392 1487.00/1490.90 c #Conflicts: 1338000 | #Constraints: 38392 1487.00/1490.90 c #Conflicts: 1339000 | #Constraints: 39392 1487.00/1490.90 c #Conflicts: 1340000 | #Constraints: 40392 1487.00/1490.90 c #Conflicts: 1341000 | #Constraints: 41392 1487.00/1490.90 c #Conflicts: 1342000 | #Constraints: 42392 1487.00/1490.90 c #Conflicts: 1343000 | #Constraints: 43392 1487.00/1490.90 c #Conflicts: 1344000 | #Constraints: 44392 1487.00/1490.90 c #Conflicts: 1345000 | #Constraints: 45392 1487.00/1490.90 c #Conflicts: 1346000 | #Constraints: 46392 1487.00/1490.90 c #Conflicts: 1347000 | #Constraints: 47392 1487.00/1490.90 c #Conflicts: 1348000 | #Constraints: 48392 1487.00/1490.90 c INPROCESSING 1487.00/1490.90 c GARBAGE COLLECT 1487.00/1490.90 c rational objective 55 1519.13/1523.20 c #Conflicts: 1349000 | #Constraints: 26370 1519.13/1523.20 c #Conflicts: 1350000 | #Constraints: 27370 1519.13/1523.20 c #Conflicts: 1351000 | #Constraints: 28370 1519.13/1523.20 c #Conflicts: 1352000 | #Constraints: 29370 1519.13/1523.20 c #Conflicts: 1353000 | #Constraints: 30370 1519.13/1523.20 c #Conflicts: 1354000 | #Constraints: 31370 1519.13/1523.20 c #Conflicts: 1355000 | #Constraints: 32370 1519.13/1523.20 c #Conflicts: 1356000 | #Constraints: 33370 1519.13/1523.20 c #Conflicts: 1357000 | #Constraints: 34370 1519.13/1523.20 c #Conflicts: 1358000 | #Constraints: 35370 1519.13/1523.20 c #Conflicts: 1359000 | #Constraints: 36370 1519.13/1523.20 c #Conflicts: 1360000 | #Constraints: 37370 1519.13/1523.20 c #Conflicts: 1361000 | #Constraints: 38370 1519.13/1523.20 c #Conflicts: 1362000 | #Constraints: 39370 1519.13/1523.20 c #Conflicts: 1363000 | #Constraints: 40370 1519.13/1523.20 c #Conflicts: 1364000 | #Constraints: 41370 1519.13/1523.20 c #Conflicts: 1365000 | #Constraints: 42370 1519.13/1523.20 c #Conflicts: 1366000 | #Constraints: 43370 1519.13/1523.20 c #Conflicts: 1367000 | #Constraints: 44370 1519.13/1523.20 c #Conflicts: 1368000 | #Constraints: 45370 1519.13/1523.20 c #Conflicts: 1369000 | #Constraints: 46370 1519.13/1523.20 c #Conflicts: 1370000 | #Constraints: 47370 1519.13/1523.20 c #Conflicts: 1371000 | #Constraints: 48370 1519.13/1523.20 c INPROCESSING 1519.13/1523.20 c GARBAGE COLLECT 1519.13/1523.20 c rational objective 55 1553.84/1557.98 c #Conflicts: 1372000 | #Constraints: 26168 1553.84/1557.98 c #Conflicts: 1373000 | #Constraints: 27168 1553.84/1557.98 c #Conflicts: 1374000 | #Constraints: 28168 1553.84/1557.98 c #Conflicts: 1375000 | #Constraints: 29168 1553.84/1557.98 c #Conflicts: 1376000 | #Constraints: 30168 1553.84/1557.98 c #Conflicts: 1377000 | #Constraints: 31168 1553.84/1557.98 c #Conflicts: 1378000 | #Constraints: 32168 1553.84/1557.98 c #Conflicts: 1379000 | #Constraints: 33168 1553.84/1557.98 c #Conflicts: 1380000 | #Constraints: 34168 1553.84/1557.98 c #Conflicts: 1381000 | #Constraints: 35168 1553.84/1557.98 c #Conflicts: 1382000 | #Constraints: 36168 1553.84/1557.98 c #Conflicts: 1383000 | #Constraints: 37168 1553.84/1557.98 c #Conflicts: 1384000 | #Constraints: 38168 1553.84/1557.98 c #Conflicts: 1385000 | #Constraints: 39168 1553.84/1557.98 c #Conflicts: 1386000 | #Constraints: 40168 1553.84/1557.98 c #Conflicts: 1387000 | #Constraints: 41168 1553.84/1557.98 c #Conflicts: 1388000 | #Constraints: 42168 1553.84/1557.98 c #Conflicts: 1389000 | #Constraints: 43168 1553.84/1557.98 c #Conflicts: 1390000 | #Constraints: 44168 1553.84/1557.98 c #Conflicts: 1391000 | #Constraints: 45168 1553.84/1557.98 c #Conflicts: 1392000 | #Constraints: 46168 1553.84/1557.98 c #Conflicts: 1393000 | #Constraints: 47168 1553.84/1557.98 c #Conflicts: 1394000 | #Constraints: 48168 1553.84/1557.98 c #Conflicts: 1395000 | #Constraints: 49168 1553.84/1557.98 c INPROCESSING 1553.84/1557.98 c GARBAGE COLLECT 1553.84/1557.98 c rational objective 55 1618.18/1622.40 c #Conflicts: 1396000 | #Constraints: 26764 1618.18/1622.40 c #Conflicts: 1397000 | #Constraints: 27764 1618.18/1622.40 c #Conflicts: 1398000 | #Constraints: 28764 1618.18/1622.40 c #Conflicts: 1399000 | #Constraints: 29764 1618.18/1622.40 c #Conflicts: 1400000 | #Constraints: 30764 1618.18/1622.40 c #Conflicts: 1401000 | #Constraints: 31764 1618.18/1622.40 c #Conflicts: 1402000 | #Constraints: 32764 1618.18/1622.40 c #Conflicts: 1403000 | #Constraints: 33764 1618.18/1622.40 c #Conflicts: 1404000 | #Constraints: 34764 1618.18/1622.40 c #Conflicts: 1405000 | #Constraints: 35764 1618.18/1622.40 c #Conflicts: 1406000 | #Constraints: 36764 1618.18/1622.40 c #Conflicts: 1407000 | #Constraints: 37764 1618.18/1622.40 c #Conflicts: 1408000 | #Constraints: 38764 1618.18/1622.40 c #Conflicts: 1409000 | #Constraints: 39764 1618.18/1622.40 c #Conflicts: 1410000 | #Constraints: 40764 1618.18/1622.40 c #Conflicts: 1411000 | #Constraints: 41764 1618.18/1622.40 c #Conflicts: 1412000 | #Constraints: 42764 1618.18/1622.40 c #Conflicts: 1413000 | #Constraints: 43764 1618.18/1622.40 c #Conflicts: 1414000 | #Constraints: 44764 1618.18/1622.40 c #Conflicts: 1415000 | #Constraints: 45764 1618.18/1622.40 c #Conflicts: 1416000 | #Constraints: 46764 1618.18/1622.40 c #Conflicts: 1417000 | #Constraints: 47764 1618.18/1622.40 c #Conflicts: 1418000 | #Constraints: 48764 1618.18/1622.40 c #Conflicts: 1419000 | #Constraints: 49764 1618.18/1622.40 c INPROCESSING 1618.18/1622.40 c GARBAGE COLLECT 1618.18/1622.40 c rational objective 55 1652.71/1657.04 c #Conflicts: 1420000 | #Constraints: 27172 1652.71/1657.04 c #Conflicts: 1421000 | #Constraints: 28172 1652.71/1657.04 c #Conflicts: 1422000 | #Constraints: 29172 1652.71/1657.04 c #Conflicts: 1423000 | #Constraints: 30172 1652.71/1657.04 c #Conflicts: 1424000 | #Constraints: 31172 1652.71/1657.04 c #Conflicts: 1425000 | #Constraints: 32172 1652.71/1657.04 c #Conflicts: 1426000 | #Constraints: 33172 1652.71/1657.04 c #Conflicts: 1427000 | #Constraints: 34172 1652.71/1657.04 c #Conflicts: 1428000 | #Constraints: 35172 1652.71/1657.04 c #Conflicts: 1429000 | #Constraints: 36172 1652.71/1657.04 c #Conflicts: 1430000 | #Constraints: 37172 1652.71/1657.04 c #Conflicts: 1431000 | #Constraints: 38172 1652.71/1657.04 c #Conflicts: 1432000 | #Constraints: 39172 1652.71/1657.04 c #Conflicts: 1433000 | #Constraints: 40172 1652.71/1657.04 c #Conflicts: 1434000 | #Constraints: 41172 1652.71/1657.04 c #Conflicts: 1435000 | #Constraints: 42172 1652.71/1657.04 c #Conflicts: 1436000 | #Constraints: 43172 1652.71/1657.04 c #Conflicts: 1437000 | #Constraints: 44172 1652.71/1657.04 c #Conflicts: 1438000 | #Constraints: 45172 1652.71/1657.04 c #Conflicts: 1439000 | #Constraints: 46172 1652.71/1657.04 c #Conflicts: 1440000 | #Constraints: 47172 1652.71/1657.04 c #Conflicts: 1441000 | #Constraints: 48172 1652.71/1657.04 c #Conflicts: 1442000 | #Constraints: 49172 1652.71/1657.04 c #Conflicts: 1443000 | #Constraints: 50172 1652.71/1657.04 c INPROCESSING 1652.71/1657.04 c GARBAGE COLLECT 1652.71/1657.04 c rational objective 55 1715.16/1719.67 c #Conflicts: 1444000 | #Constraints: 27362 1715.16/1719.67 c #Conflicts: 1445000 | #Constraints: 28362 1715.16/1719.67 c #Conflicts: 1446000 | #Constraints: 29362 1715.16/1719.67 c #Conflicts: 1447000 | #Constraints: 30362 1715.16/1719.67 c #Conflicts: 1448000 | #Constraints: 31362 1715.16/1719.67 c #Conflicts: 1449000 | #Constraints: 32362 1715.16/1719.67 c #Conflicts: 1450000 | #Constraints: 33362 1715.16/1719.67 c #Conflicts: 1451000 | #Constraints: 34362 1715.16/1719.67 c #Conflicts: 1452000 | #Constraints: 35362 1715.16/1719.67 c #Conflicts: 1453000 | #Constraints: 36362 1715.16/1719.67 c #Conflicts: 1454000 | #Constraints: 37362 1715.16/1719.67 c #Conflicts: 1455000 | #Constraints: 38362 1715.16/1719.67 c #Conflicts: 1456000 | #Constraints: 39362 1715.16/1719.67 c #Conflicts: 1457000 | #Constraints: 40362 1715.16/1719.67 c #Conflicts: 1458000 | #Constraints: 41362 1715.16/1719.67 c #Conflicts: 1459000 | #Constraints: 42362 1715.16/1719.67 c #Conflicts: 1460000 | #Constraints: 43362 1715.16/1719.67 c #Conflicts: 1461000 | #Constraints: 44362 1715.16/1719.67 c #Conflicts: 1462000 | #Constraints: 45362 1715.16/1719.67 c #Conflicts: 1463000 | #Constraints: 46362 1715.16/1719.67 c #Conflicts: 1464000 | #Constraints: 47362 1715.16/1719.67 c #Conflicts: 1465000 | #Constraints: 48362 1715.16/1719.67 c #Conflicts: 1466000 | #Constraints: 49362 1715.16/1719.67 c #Conflicts: 1467000 | #Constraints: 50362 1715.16/1719.67 c INPROCESSING 1715.16/1719.67 c GARBAGE COLLECT 1715.16/1719.67 c rational objective 55 1752.86/1757.40 c #Conflicts: 1468000 | #Constraints: 27364 1752.86/1757.40 c #Conflicts: 1469000 | #Constraints: 28364 1752.86/1757.40 c #Conflicts: 1470000 | #Constraints: 29364 1752.86/1757.40 c #Conflicts: 1471000 | #Constraints: 30364 1752.86/1757.40 c #Conflicts: 1472000 | #Constraints: 31364 1752.86/1757.40 c #Conflicts: 1473000 | #Constraints: 32364 1752.86/1757.40 c #Conflicts: 1474000 | #Constraints: 33364 1752.86/1757.40 c #Conflicts: 1475000 | #Constraints: 34364 1752.86/1757.40 c #Conflicts: 1476000 | #Constraints: 35364 1752.86/1757.40 c #Conflicts: 1477000 | #Constraints: 36364 1752.86/1757.40 c #Conflicts: 1478000 | #Constraints: 37364 1752.86/1757.40 c #Conflicts: 1479000 | #Constraints: 38364 1752.86/1757.40 c #Conflicts: 1480000 | #Constraints: 39364 1752.86/1757.40 c #Conflicts: 1481000 | #Constraints: 40364 1752.86/1757.40 c #Conflicts: 1482000 | #Constraints: 41364 1752.86/1757.40 c #Conflicts: 1483000 | #Constraints: 42364 1752.86/1757.40 c #Conflicts: 1484000 | #Constraints: 43364 1752.86/1757.40 c #Conflicts: 1485000 | #Constraints: 44364 1752.86/1757.40 c #Conflicts: 1486000 | #Constraints: 45364 1752.86/1757.40 c #Conflicts: 1487000 | #Constraints: 46364 1752.86/1757.41 c #Conflicts: 1488000 | #Constraints: 47364 1752.86/1757.41 c #Conflicts: 1489000 | #Constraints: 48364 1752.86/1757.41 c #Conflicts: 1490000 | #Constraints: 49364 1752.86/1757.41 c #Conflicts: 1491000 | #Constraints: 50364 1752.86/1757.41 c INPROCESSING 1752.86/1757.41 c GARBAGE COLLECT 1752.86/1757.41 c rational objective 55 1791.17/1795.87 c #Conflicts: 1492000 | #Constraints: 27169 1791.17/1795.87 c #Conflicts: 1493000 | #Constraints: 28169 1791.17/1795.87 c #Conflicts: 1494000 | #Constraints: 29169 1791.17/1795.87 c #Conflicts: 1495000 | #Constraints: 30169 1791.17/1795.87 c #Conflicts: 1496000 | #Constraints: 31169 1791.17/1795.87 c #Conflicts: 1497000 | #Constraints: 32169 1791.17/1795.87 c #Conflicts: 1498000 | #Constraints: 33169 1791.17/1795.87 c #Conflicts: 1499000 | #Constraints: 34169 1791.17/1795.87 c #Conflicts: 1500000 | #Constraints: 35169 1791.17/1795.87 c #Conflicts: 1501000 | #Constraints: 36169 1791.17/1795.87 c #Conflicts: 1502000 | #Constraints: 37169 1791.17/1795.87 c #Conflicts: 1503000 | #Constraints: 38169 1791.17/1795.87 c #Conflicts: 1504000 | #Constraints: 39169 1791.17/1795.87 c #Conflicts: 1505000 | #Constraints: 40169 1791.17/1795.87 c #Conflicts: 1506000 | #Constraints: 41169 1791.17/1795.87 c #Conflicts: 1507000 | #Constraints: 42169 1791.17/1795.87 c #Conflicts: 1508000 | #Constraints: 43169 1791.17/1795.87 c #Conflicts: 1509000 | #Constraints: 44169 1791.17/1795.87 c #Conflicts: 1510000 | #Constraints: 45169 1791.17/1795.87 c #Conflicts: 1511000 | #Constraints: 46169 1791.17/1795.87 c #Conflicts: 1512000 | #Constraints: 47169 1791.17/1795.87 c #Conflicts: 1513000 | #Constraints: 48169 1791.17/1795.87 c #Conflicts: 1514000 | #Constraints: 49169 1791.17/1795.87 c #Conflicts: 1515000 | #Constraints: 50169 1791.17/1795.87 c #Conflicts: 1516000 | #Constraints: 51169 1791.17/1795.87 c INPROCESSING 1791.17/1795.87 c GARBAGE COLLECT 1791.17/1795.87 c rational objective 55 1868.90/1873.71 c #Conflicts: 1517000 | #Constraints: 27775 1868.90/1873.71 c #Conflicts: 1518000 | #Constraints: 28775 1868.90/1873.71 c #Conflicts: 1519000 | #Constraints: 29775 1868.90/1873.71 c #Conflicts: 1520000 | #Constraints: 30775 1868.90/1873.71 c #Conflicts: 1521000 | #Constraints: 31775 1868.90/1873.71 c #Conflicts: 1522000 | #Constraints: 32775 1868.90/1873.71 c #Conflicts: 1523000 | #Constraints: 33775 1868.90/1873.71 c #Conflicts: 1524000 | #Constraints: 34775 1868.90/1873.71 c #Conflicts: 1525000 | #Constraints: 35775 1868.90/1873.71 c #Conflicts: 1526000 | #Constraints: 36775 1868.90/1873.71 c #Conflicts: 1527000 | #Constraints: 37775 1868.90/1873.71 c #Conflicts: 1528000 | #Constraints: 38775 1868.90/1873.71 c #Conflicts: 1529000 | #Constraints: 39775 1868.90/1873.71 c #Conflicts: 1530000 | #Constraints: 40775 1868.90/1873.71 c #Conflicts: 1531000 | #Constraints: 41775 1868.90/1873.71 c #Conflicts: 1532000 | #Constraints: 42775 1868.90/1873.71 c #Conflicts: 1533000 | #Constraints: 43775 1868.90/1873.71 c #Conflicts: 1534000 | #Constraints: 44775 1868.90/1873.71 c #Conflicts: 1535000 | #Constraints: 45775 1868.90/1873.71 c #Conflicts: 1536000 | #Constraints: 46775 1868.90/1873.71 c #Conflicts: 1537000 | #Constraints: 47775 1868.90/1873.71 c #Conflicts: 1538000 | #Constraints: 48775 1868.90/1873.71 c #Conflicts: 1539000 | #Constraints: 49775 1868.90/1873.71 c #Conflicts: 1540000 | #Constraints: 50775 1868.90/1873.71 c #Conflicts: 1541000 | #Constraints: 51775 1868.90/1873.71 c INPROCESSING 1868.90/1873.71 c GARBAGE COLLECT 1868.90/1873.71 c rational objective 55 1907.90/1912.90 c #Conflicts: 1542000 | #Constraints: 28195 1907.90/1912.90 c #Conflicts: 1543000 | #Constraints: 29195 1907.90/1912.90 c #Conflicts: 1544000 | #Constraints: 30195 1907.90/1912.90 c #Conflicts: 1545000 | #Constraints: 31195 1907.90/1912.90 c #Conflicts: 1546000 | #Constraints: 32195 1907.90/1912.90 c #Conflicts: 1547000 | #Constraints: 33195 1907.90/1912.90 c #Conflicts: 1548000 | #Constraints: 34195 1907.90/1912.90 c #Conflicts: 1549000 | #Constraints: 35195 1907.90/1912.90 c #Conflicts: 1550000 | #Constraints: 36195 1907.90/1912.90 c #Conflicts: 1551000 | #Constraints: 37195 1907.90/1912.90 c #Conflicts: 1552000 | #Constraints: 38195 1907.90/1912.90 c #Conflicts: 1553000 | #Constraints: 39195 1907.90/1912.90 c #Conflicts: 1554000 | #Constraints: 40195 1907.90/1912.90 c #Conflicts: 1555000 | #Constraints: 41195 1907.90/1912.90 c #Conflicts: 1556000 | #Constraints: 42195 1907.90/1912.90 c #Conflicts: 1557000 | #Constraints: 43195 1907.90/1912.90 c #Conflicts: 1558000 | #Constraints: 44195 1907.90/1912.90 c #Conflicts: 1559000 | #Constraints: 45195 1907.90/1912.90 c #Conflicts: 1560000 | #Constraints: 46195 1907.90/1912.90 c #Conflicts: 1561000 | #Constraints: 47195 1907.90/1912.90 c #Conflicts: 1562000 | #Constraints: 48195 1907.90/1912.90 c #Conflicts: 1563000 | #Constraints: 49195 1907.90/1912.90 c #Conflicts: 1564000 | #Constraints: 50195 1907.90/1912.90 c #Conflicts: 1565000 | #Constraints: 51195 1907.90/1912.90 c #Conflicts: 1566000 | #Constraints: 52195 1907.90/1912.90 c INPROCESSING 1907.90/1912.90 c GARBAGE COLLECT 1907.90/1912.90 c rational objective 55 1948.11/1953.16 c #Conflicts: 1567000 | #Constraints: 28379 1948.11/1953.16 c #Conflicts: 1568000 | #Constraints: 29379 1948.11/1953.16 c #Conflicts: 1569000 | #Constraints: 30379 1948.11/1953.16 c #Conflicts: 1570000 | #Constraints: 31379 1948.11/1953.16 c #Conflicts: 1571000 | #Constraints: 32379 1948.11/1953.16 c #Conflicts: 1572000 | #Constraints: 33379 1948.11/1953.16 c #Conflicts: 1573000 | #Constraints: 34379 1948.11/1953.16 c #Conflicts: 1574000 | #Constraints: 35379 1948.11/1953.16 c #Conflicts: 1575000 | #Constraints: 36379 1948.11/1953.16 c #Conflicts: 1576000 | #Constraints: 37379 1948.11/1953.16 c #Conflicts: 1577000 | #Constraints: 38379 1948.11/1953.16 c #Conflicts: 1578000 | #Constraints: 39379 1948.11/1953.16 c #Conflicts: 1579000 | #Constraints: 40379 1948.11/1953.16 c #Conflicts: 1580000 | #Constraints: 41379 1948.11/1953.16 c #Conflicts: 1581000 | #Constraints: 42379 1948.11/1953.16 c #Conflicts: 1582000 | #Constraints: 43379 1948.11/1953.16 c #Conflicts: 1583000 | #Constraints: 44379 1948.11/1953.16 c #Conflicts: 1584000 | #Constraints: 45379 1948.11/1953.16 c #Conflicts: 1585000 | #Constraints: 46379 1948.11/1953.16 c #Conflicts: 1586000 | #Constraints: 47379 1948.11/1953.16 c #Conflicts: 1587000 | #Constraints: 48379 1948.11/1953.16 c #Conflicts: 1588000 | #Constraints: 49379 1948.11/1953.16 c #Conflicts: 1589000 | #Constraints: 50379 1948.11/1953.16 c #Conflicts: 1590000 | #Constraints: 51379 1948.11/1953.16 c #Conflicts: 1591000 | #Constraints: 52379 1948.11/1953.16 c INPROCESSING 1948.11/1953.16 c GARBAGE COLLECT 1948.11/1953.16 c rational objective 55 2008.97/2014.17 c #Conflicts: 1592000 | #Constraints: 28383 2008.97/2014.17 c #Conflicts: 1593000 | #Constraints: 29383 2008.97/2014.17 c #Conflicts: 1594000 | #Constraints: 30383 2008.97/2014.17 c #Conflicts: 1595000 | #Constraints: 31383 2008.97/2014.17 c #Conflicts: 1596000 | #Constraints: 32383 2008.97/2014.17 c #Conflicts: 1597000 | #Constraints: 33383 2008.97/2014.17 c #Conflicts: 1598000 | #Constraints: 34383 2008.97/2014.17 c #Conflicts: 1599000 | #Constraints: 35383 2008.97/2014.17 c #Conflicts: 1600000 | #Constraints: 36383 2008.97/2014.17 c #Conflicts: 1601000 | #Constraints: 37383 2008.97/2014.17 c #Conflicts: 1602000 | #Constraints: 38383 2008.97/2014.17 c #Conflicts: 1603000 | #Constraints: 39383 2008.97/2014.17 c #Conflicts: 1604000 | #Constraints: 40383 2008.97/2014.17 c #Conflicts: 1605000 | #Constraints: 41383 2008.97/2014.17 c #Conflicts: 1606000 | #Constraints: 42383 2008.97/2014.17 c #Conflicts: 1607000 | #Constraints: 43383 2008.97/2014.17 c bounds 74 >= 55 @ 1973.26 2008.97/2014.17 c #Conflicts: 1608000 | #Constraints: 44384 2008.97/2014.17 c #Conflicts: 1609000 | #Constraints: 45384 2008.97/2014.17 c #Conflicts: 1610000 | #Constraints: 46384 2008.97/2014.17 c #Conflicts: 1611000 | #Constraints: 47384 2008.97/2014.17 c #Conflicts: 1612000 | #Constraints: 48384 2008.97/2014.17 c #Conflicts: 1613000 | #Constraints: 49384 2008.97/2014.17 c #Conflicts: 1614000 | #Constraints: 50384 2008.97/2014.17 c #Conflicts: 1615000 | #Constraints: 51384 2008.97/2014.17 c #Conflicts: 1616000 | #Constraints: 52384 2008.97/2014.17 c INPROCESSING 2008.97/2014.17 c GARBAGE COLLECT 2008.97/2014.17 c rational objective 55 2068.59/2073.96 c #Conflicts: 1617000 | #Constraints: 28171 2068.59/2073.96 c #Conflicts: 1618000 | #Constraints: 29171 2068.59/2073.96 c #Conflicts: 1619000 | #Constraints: 30171 2068.59/2073.96 c #Conflicts: 1620000 | #Constraints: 31171 2068.59/2073.96 c #Conflicts: 1621000 | #Constraints: 32171 2068.59/2073.96 c #Conflicts: 1622000 | #Constraints: 33171 2068.59/2073.96 c #Conflicts: 1623000 | #Constraints: 34171 2068.59/2073.96 c #Conflicts: 1624000 | #Constraints: 35171 2068.59/2073.96 c #Conflicts: 1625000 | #Constraints: 36171 2068.59/2073.96 c #Conflicts: 1626000 | #Constraints: 37171 2068.59/2073.96 c #Conflicts: 1627000 | #Constraints: 38171 2068.59/2073.96 c #Conflicts: 1628000 | #Constraints: 39171 2068.59/2073.96 c #Conflicts: 1629000 | #Constraints: 40171 2068.59/2073.96 c #Conflicts: 1630000 | #Constraints: 41171 2068.59/2073.96 c #Conflicts: 1631000 | #Constraints: 42171 2068.59/2073.96 c #Conflicts: 1632000 | #Constraints: 43171 2068.59/2073.96 c #Conflicts: 1633000 | #Constraints: 44171 2068.59/2073.96 c #Conflicts: 1634000 | #Constraints: 45171 2068.59/2073.96 c #Conflicts: 1635000 | #Constraints: 46171 2068.59/2073.96 c #Conflicts: 1636000 | #Constraints: 47171 2068.59/2073.96 c #Conflicts: 1637000 | #Constraints: 48171 2068.59/2073.96 c #Conflicts: 1638000 | #Constraints: 49171 2068.59/2073.96 c #Conflicts: 1639000 | #Constraints: 50171 2068.59/2073.96 c #Conflicts: 1640000 | #Constraints: 51171 2068.59/2073.96 c #Conflicts: 1641000 | #Constraints: 52171 2068.59/2073.96 c #Conflicts: 1642000 | #Constraints: 53171 2068.59/2073.96 c INPROCESSING 2068.59/2073.96 c GARBAGE COLLECT 2068.59/2073.96 c rational objective 55 2110.77/2116.28 c #Conflicts: 1643000 | #Constraints: 28780 2110.77/2116.28 c #Conflicts: 1644000 | #Constraints: 29780 2110.77/2116.28 c #Conflicts: 1645000 | #Constraints: 30780 2110.77/2116.28 c #Conflicts: 1646000 | #Constraints: 31780 2110.77/2116.28 c #Conflicts: 1647000 | #Constraints: 32780 2110.77/2116.28 c #Conflicts: 1648000 | #Constraints: 33780 2110.77/2116.28 c #Conflicts: 1649000 | #Constraints: 34780 2110.77/2116.28 c #Conflicts: 1650000 | #Constraints: 35780 2110.77/2116.28 c #Conflicts: 1651000 | #Constraints: 36780 2110.77/2116.28 c #Conflicts: 1652000 | #Constraints: 37780 2110.77/2116.28 c #Conflicts: 1653000 | #Constraints: 38780 2110.77/2116.28 c #Conflicts: 1654000 | #Constraints: 39780 2110.77/2116.28 c #Conflicts: 1655000 | #Constraints: 40780 2110.77/2116.28 c #Conflicts: 1656000 | #Constraints: 41780 2110.77/2116.28 c #Conflicts: 1657000 | #Constraints: 42780 2110.77/2116.28 c #Conflicts: 1658000 | #Constraints: 43780 2110.77/2116.28 c #Conflicts: 1659000 | #Constraints: 44780 2110.77/2116.28 c #Conflicts: 1660000 | #Constraints: 45780 2110.77/2116.28 c #Conflicts: 1661000 | #Constraints: 46780 2110.77/2116.28 c #Conflicts: 1662000 | #Constraints: 47780 2110.77/2116.28 c #Conflicts: 1663000 | #Constraints: 48780 2110.77/2116.28 c #Conflicts: 1664000 | #Constraints: 49780 2110.77/2116.28 c #Conflicts: 1665000 | #Constraints: 50780 2110.77/2116.28 c #Conflicts: 1666000 | #Constraints: 51780 2110.77/2116.28 c #Conflicts: 1667000 | #Constraints: 52780 2110.77/2116.28 c #Conflicts: 1668000 | #Constraints: 53780 2110.77/2116.28 c INPROCESSING 2110.77/2116.28 c GARBAGE COLLECT 2110.77/2116.28 c rational objective 55 2187.94/2193.65 c #Conflicts: 1669000 | #Constraints: 29186 2187.94/2193.65 c #Conflicts: 1670000 | #Constraints: 30186 2187.94/2193.65 c #Conflicts: 1671000 | #Constraints: 31186 2187.94/2193.65 c #Conflicts: 1672000 | #Constraints: 32186 2187.94/2193.65 c #Conflicts: 1673000 | #Constraints: 33186 2187.94/2193.65 c #Conflicts: 1674000 | #Constraints: 34186 2187.94/2193.65 c #Conflicts: 1675000 | #Constraints: 35186 2187.94/2193.65 c #Conflicts: 1676000 | #Constraints: 36186 2187.94/2193.65 c #Conflicts: 1677000 | #Constraints: 37186 2187.94/2193.65 c #Conflicts: 1678000 | #Constraints: 38186 2187.94/2193.65 c #Conflicts: 1679000 | #Constraints: 39186 2187.94/2193.65 c #Conflicts: 1680000 | #Constraints: 40186 2187.94/2193.65 c #Conflicts: 1681000 | #Constraints: 41186 2187.94/2193.65 c #Conflicts: 1682000 | #Constraints: 42186 2187.94/2193.65 c #Conflicts: 1683000 | #Constraints: 43186 2187.94/2193.65 c #Conflicts: 1684000 | #Constraints: 44186 2187.94/2193.65 c #Conflicts: 1685000 | #Constraints: 45186 2187.94/2193.65 c #Conflicts: 1686000 | #Constraints: 46186 2187.94/2193.65 c #Conflicts: 1687000 | #Constraints: 47186 2187.94/2193.65 c #Conflicts: 1688000 | #Constraints: 48186 2187.94/2193.65 c #Conflicts: 1689000 | #Constraints: 49186 2187.94/2193.65 c #Conflicts: 1690000 | #Constraints: 50186 2187.94/2193.65 c #Conflicts: 1691000 | #Constraints: 51186 2187.94/2193.65 c #Conflicts: 1692000 | #Constraints: 52186 2187.94/2193.65 c #Conflicts: 1693000 | #Constraints: 53186 2187.94/2193.65 c #Conflicts: 1694000 | #Constraints: 54186 2187.94/2193.65 c INPROCESSING 2187.94/2193.65 c GARBAGE COLLECT 2187.94/2193.65 c rational objective 55 2231.02/2236.86 c #Conflicts: 1695000 | #Constraints: 29398 2231.02/2236.86 c #Conflicts: 1696000 | #Constraints: 30398 2231.02/2236.86 c #Conflicts: 1697000 | #Constraints: 31398 2231.02/2236.86 c #Conflicts: 1698000 | #Constraints: 32398 2231.02/2236.86 c #Conflicts: 1699000 | #Constraints: 33398 2231.02/2236.86 c #Conflicts: 1700000 | #Constraints: 34398 2231.02/2236.86 c #Conflicts: 1701000 | #Constraints: 35398 2231.02/2236.86 c #Conflicts: 1702000 | #Constraints: 36398 2231.02/2236.86 c #Conflicts: 1703000 | #Constraints: 37398 2231.02/2236.86 c #Conflicts: 1704000 | #Constraints: 38398 2231.02/2236.86 c #Conflicts: 1705000 | #Constraints: 39398 2231.02/2236.86 c #Conflicts: 1706000 | #Constraints: 40398 2231.02/2236.86 c #Conflicts: 1707000 | #Constraints: 41398 2231.02/2236.86 c #Conflicts: 1708000 | #Constraints: 42398 2231.02/2236.86 c #Conflicts: 1709000 | #Constraints: 43398 2231.02/2236.86 c #Conflicts: 1710000 | #Constraints: 44398 2231.02/2236.86 c #Conflicts: 1711000 | #Constraints: 45398 2231.02/2236.86 c #Conflicts: 1712000 | #Constraints: 46398 2231.02/2236.86 c #Conflicts: 1713000 | #Constraints: 47398 2231.02/2236.86 c #Conflicts: 1714000 | #Constraints: 48398 2231.02/2236.86 c #Conflicts: 1715000 | #Constraints: 49398 2231.02/2236.86 c #Conflicts: 1716000 | #Constraints: 50398 2231.02/2236.86 c #Conflicts: 1717000 | #Constraints: 51398 2231.02/2236.86 c #Conflicts: 1718000 | #Constraints: 52398 2231.02/2236.86 c #Conflicts: 1719000 | #Constraints: 53398 2231.02/2236.86 c #Conflicts: 1720000 | #Constraints: 54398 2231.02/2236.86 c INPROCESSING 2231.02/2236.86 c GARBAGE COLLECT 2231.02/2236.86 c rational objective 55 2277.28/2283.26 c #Conflicts: 1721000 | #Constraints: 29385 2277.28/2283.26 c #Conflicts: 1722000 | #Constraints: 30385 2277.28/2283.26 c #Conflicts: 1723000 | #Constraints: 31385 2277.28/2283.26 c #Conflicts: 1724000 | #Constraints: 32385 2277.28/2283.26 c #Conflicts: 1725000 | #Constraints: 33385 2277.28/2283.26 c #Conflicts: 1726000 | #Constraints: 34385 2277.28/2283.26 c #Conflicts: 1727000 | #Constraints: 35385 2277.28/2283.26 c #Conflicts: 1728000 | #Constraints: 36385 2277.28/2283.26 c #Conflicts: 1729000 | #Constraints: 37385 2277.28/2283.26 c #Conflicts: 1730000 | #Constraints: 38385 2277.28/2283.26 c #Conflicts: 1731000 | #Constraints: 39385 2277.28/2283.26 c #Conflicts: 1732000 | #Constraints: 40385 2277.28/2283.26 c #Conflicts: 1733000 | #Constraints: 41385 2277.28/2283.26 c #Conflicts: 1734000 | #Constraints: 42385 2277.28/2283.26 c #Conflicts: 1735000 | #Constraints: 43385 2277.28/2283.26 c #Conflicts: 1736000 | #Constraints: 44385 2277.28/2283.26 c #Conflicts: 1737000 | #Constraints: 45385 2277.28/2283.26 c #Conflicts: 1738000 | #Constraints: 46385 2277.28/2283.26 c #Conflicts: 1739000 | #Constraints: 47385 2277.28/2283.26 c #Conflicts: 1740000 | #Constraints: 48385 2277.28/2283.26 c #Conflicts: 1741000 | #Constraints: 49385 2277.28/2283.26 c #Conflicts: 1742000 | #Constraints: 50385 2277.28/2283.26 c #Conflicts: 1743000 | #Constraints: 51385 2277.28/2283.26 c #Conflicts: 1744000 | #Constraints: 52385 2277.28/2283.26 c #Conflicts: 1745000 | #Constraints: 53385 2277.28/2283.26 c #Conflicts: 1746000 | #Constraints: 54385 2277.28/2283.26 c INPROCESSING 2277.28/2283.26 c GARBAGE COLLECT 2277.28/2283.26 c rational objective 55 2365.83/2372.05 c #Conflicts: 1747000 | #Constraints: 29204 2365.83/2372.05 c #Conflicts: 1748000 | #Constraints: 30204 2365.83/2372.05 c #Conflicts: 1749000 | #Constraints: 31204 2365.83/2372.05 c #Conflicts: 1750000 | #Constraints: 32204 2365.83/2372.05 c #Conflicts: 1751000 | #Constraints: 33204 2365.83/2372.05 c #Conflicts: 1752000 | #Constraints: 34204 2365.83/2372.05 c #Conflicts: 1753000 | #Constraints: 35204 2365.83/2372.05 c #Conflicts: 1754000 | #Constraints: 36204 2365.83/2372.05 c #Conflicts: 1755000 | #Constraints: 37204 2365.83/2372.05 c #Conflicts: 1756000 | #Constraints: 38204 2365.83/2372.05 c #Conflicts: 1757000 | #Constraints: 39204 2365.83/2372.05 c #Conflicts: 1758000 | #Constraints: 40204 2365.83/2372.05 c #Conflicts: 1759000 | #Constraints: 41204 2365.83/2372.05 c #Conflicts: 1760000 | #Constraints: 42204 2365.83/2372.05 c #Conflicts: 1761000 | #Constraints: 43204 2365.83/2372.05 c #Conflicts: 1762000 | #Constraints: 44204 2365.83/2372.05 c #Conflicts: 1763000 | #Constraints: 45204 2365.83/2372.05 c #Conflicts: 1764000 | #Constraints: 46204 2365.83/2372.05 c #Conflicts: 1765000 | #Constraints: 47204 2365.83/2372.05 c #Conflicts: 1766000 | #Constraints: 48204 2365.83/2372.05 c #Conflicts: 1767000 | #Constraints: 49204 2365.83/2372.05 c #Conflicts: 1768000 | #Constraints: 50204 2365.83/2372.05 c #Conflicts: 1769000 | #Constraints: 51204 2365.83/2372.05 c #Conflicts: 1770000 | #Constraints: 52204 2365.83/2372.05 c #Conflicts: 1771000 | #Constraints: 53204 2365.83/2372.05 c #Conflicts: 1772000 | #Constraints: 54204 2365.83/2372.05 c #Conflicts: 1773000 | #Constraints: 55204 2365.83/2372.05 c INPROCESSING 2365.83/2372.05 c GARBAGE COLLECT 2365.83/2372.05 c rational objective 55 2414.58/2420.97 c #Conflicts: 1774000 | #Constraints: 29788 2414.58/2420.97 c #Conflicts: 1775000 | #Constraints: 30788 2414.58/2420.97 c #Conflicts: 1776000 | #Constraints: 31788 2414.58/2420.97 c #Conflicts: 1777000 | #Constraints: 32788 2414.58/2420.97 c #Conflicts: 1778000 | #Constraints: 33788 2414.58/2420.97 c #Conflicts: 1779000 | #Constraints: 34788 2414.58/2420.97 c #Conflicts: 1780000 | #Constraints: 35788 2414.58/2420.97 c #Conflicts: 1781000 | #Constraints: 36788 2414.58/2420.97 c #Conflicts: 1782000 | #Constraints: 37788 2414.58/2420.97 c #Conflicts: 1783000 | #Constraints: 38788 2414.58/2420.97 c #Conflicts: 1784000 | #Constraints: 39788 2414.58/2420.97 c #Conflicts: 1785000 | #Constraints: 40788 2414.58/2420.97 c #Conflicts: 1786000 | #Constraints: 41788 2414.58/2420.97 c #Conflicts: 1787000 | #Constraints: 42788 2414.58/2420.97 c #Conflicts: 1788000 | #Constraints: 43788 2414.58/2420.97 c #Conflicts: 1789000 | #Constraints: 44788 2414.58/2420.97 c #Conflicts: 1790000 | #Constraints: 45788 2414.58/2420.97 c #Conflicts: 1791000 | #Constraints: 46788 2414.58/2420.97 c #Conflicts: 1792000 | #Constraints: 47788 2414.58/2420.97 c #Conflicts: 1793000 | #Constraints: 48788 2414.58/2420.97 c #Conflicts: 1794000 | #Constraints: 49788 2414.58/2420.97 c #Conflicts: 1795000 | #Constraints: 50788 2414.58/2420.97 c #Conflicts: 1796000 | #Constraints: 51788 2414.58/2420.97 c #Conflicts: 1797000 | #Constraints: 52788 2414.58/2420.97 c #Conflicts: 1798000 | #Constraints: 53788 2414.58/2420.97 c #Conflicts: 1799000 | #Constraints: 54788 2414.58/2420.97 c #Conflicts: 1800000 | #Constraints: 55788 2414.58/2420.97 c INPROCESSING 2414.58/2420.97 c GARBAGE COLLECT 2414.58/2420.97 c rational objective 55 2460.05/2466.52 c #Conflicts: 1801000 | #Constraints: 30184 2460.05/2466.52 c #Conflicts: 1802000 | #Constraints: 31184 2460.05/2466.52 c #Conflicts: 1803000 | #Constraints: 32184 2460.05/2466.52 c #Conflicts: 1804000 | #Constraints: 33184 2460.05/2466.52 c #Conflicts: 1805000 | #Constraints: 34184 2460.05/2466.52 c #Conflicts: 1806000 | #Constraints: 35184 2460.05/2466.52 c #Conflicts: 1807000 | #Constraints: 36184 2460.05/2466.52 c #Conflicts: 1808000 | #Constraints: 37184 2460.05/2466.52 c #Conflicts: 1809000 | #Constraints: 38184 2460.05/2466.52 c #Conflicts: 1810000 | #Constraints: 39184 2460.05/2466.52 c #Conflicts: 1811000 | #Constraints: 40184 2460.05/2466.52 c #Conflicts: 1812000 | #Constraints: 41184 2460.05/2466.52 c #Conflicts: 1813000 | #Constraints: 42184 2460.05/2466.52 c #Conflicts: 1814000 | #Constraints: 43184 2460.05/2466.52 c #Conflicts: 1815000 | #Constraints: 44184 2460.05/2466.52 c #Conflicts: 1816000 | #Constraints: 45184 2460.05/2466.52 c #Conflicts: 1817000 | #Constraints: 46184 2460.05/2466.52 c #Conflicts: 1818000 | #Constraints: 47184 2460.05/2466.52 c #Conflicts: 1819000 | #Constraints: 48184 2460.05/2466.52 c #Conflicts: 1820000 | #Constraints: 49184 2460.05/2466.52 c #Conflicts: 1821000 | #Constraints: 50184 2460.05/2466.52 c #Conflicts: 1822000 | #Constraints: 51184 2460.05/2466.52 c #Conflicts: 1823000 | #Constraints: 52184 2460.05/2466.52 c #Conflicts: 1824000 | #Constraints: 53184 2460.05/2466.52 c #Conflicts: 1825000 | #Constraints: 54184 2460.05/2466.52 c #Conflicts: 1826000 | #Constraints: 55184 2460.05/2466.52 c #Conflicts: 1827000 | #Constraints: 56184 2460.05/2466.52 c INPROCESSING 2460.05/2466.52 c GARBAGE COLLECT 2460.05/2466.52 c rational objective 55 2543.21/2549.93 c #Conflicts: 1828000 | #Constraints: 30387 2543.21/2549.93 c #Conflicts: 1829000 | #Constraints: 31387 2543.21/2549.93 c #Conflicts: 1830000 | #Constraints: 32387 2543.21/2549.93 c #Conflicts: 1831000 | #Constraints: 33387 2543.21/2549.93 c #Conflicts: 1832000 | #Constraints: 34387 2543.21/2549.93 c #Conflicts: 1833000 | #Constraints: 35387 2543.21/2549.93 c #Conflicts: 1834000 | #Constraints: 36387 2543.21/2549.93 c #Conflicts: 1835000 | #Constraints: 37387 2543.21/2549.93 c #Conflicts: 1836000 | #Constraints: 38387 2543.21/2549.93 c #Conflicts: 1837000 | #Constraints: 39387 2543.21/2549.93 c #Conflicts: 1838000 | #Constraints: 40387 2543.21/2549.93 c #Conflicts: 1839000 | #Constraints: 41387 2543.21/2549.93 c #Conflicts: 1840000 | #Constraints: 42387 2543.21/2549.93 c #Conflicts: 1841000 | #Constraints: 43387 2543.21/2549.93 c #Conflicts: 1842000 | #Constraints: 44387 2543.21/2549.93 c #Conflicts: 1843000 | #Constraints: 45387 2543.21/2549.93 c #Conflicts: 1844000 | #Constraints: 46387 2543.21/2549.93 c #Conflicts: 1845000 | #Constraints: 47387 2543.21/2549.93 c #Conflicts: 1846000 | #Constraints: 48387 2543.21/2549.93 c #Conflicts: 1847000 | #Constraints: 49387 2543.21/2549.93 c #Conflicts: 1848000 | #Constraints: 50387 2543.21/2549.93 c #Conflicts: 1849000 | #Constraints: 51388 2543.21/2549.93 c #Conflicts: 1850000 | #Constraints: 52388 2543.21/2549.93 c #Conflicts: 1851000 | #Constraints: 53388 2543.21/2549.93 c #Conflicts: 1852000 | #Constraints: 54388 2543.21/2549.93 c #Conflicts: 1853000 | #Constraints: 55388 2543.21/2549.93 c #Conflicts: 1854000 | #Constraints: 56388 2543.21/2549.93 c INPROCESSING 2543.21/2549.93 c GARBAGE COLLECT 2543.21/2549.93 c rational objective 55 2591.36/2598.26 c #Conflicts: 1855000 | #Constraints: 30400 2591.36/2598.26 c #Conflicts: 1856000 | #Constraints: 31400 2591.36/2598.26 c #Conflicts: 1857000 | #Constraints: 32400 2591.36/2598.26 c #Conflicts: 1858000 | #Constraints: 33400 2591.36/2598.26 c #Conflicts: 1859000 | #Constraints: 34400 2591.36/2598.26 c #Conflicts: 1860000 | #Constraints: 35400 2591.36/2598.26 c #Conflicts: 1861000 | #Constraints: 36400 2591.36/2598.26 c #Conflicts: 1862000 | #Constraints: 37400 2591.36/2598.26 c #Conflicts: 1863000 | #Constraints: 38400 2591.36/2598.26 c #Conflicts: 1864000 | #Constraints: 39400 2591.36/2598.26 c #Conflicts: 1865000 | #Constraints: 40400 2591.36/2598.26 c #Conflicts: 1866000 | #Constraints: 41400 2591.36/2598.26 c #Conflicts: 1867000 | #Constraints: 42400 2591.36/2598.26 c #Conflicts: 1868000 | #Constraints: 43400 2591.36/2598.26 c #Conflicts: 1869000 | #Constraints: 44400 2591.36/2598.26 c #Conflicts: 1870000 | #Constraints: 45400 2591.36/2598.26 c #Conflicts: 1871000 | #Constraints: 46400 2591.36/2598.26 c #Conflicts: 1872000 | #Constraints: 47400 2591.36/2598.26 c #Conflicts: 1873000 | #Constraints: 48400 2591.36/2598.26 c #Conflicts: 1874000 | #Constraints: 49400 2591.36/2598.26 c #Conflicts: 1875000 | #Constraints: 50400 2591.36/2598.26 c #Conflicts: 1876000 | #Constraints: 51400 2591.36/2598.26 c #Conflicts: 1877000 | #Constraints: 52400 2591.36/2598.26 c #Conflicts: 1878000 | #Constraints: 53400 2591.36/2598.26 c #Conflicts: 1879000 | #Constraints: 54400 2591.36/2598.26 c #Conflicts: 1880000 | #Constraints: 55400 2591.36/2598.26 c #Conflicts: 1881000 | #Constraints: 56400 2591.36/2598.26 c INPROCESSING 2591.36/2598.26 c GARBAGE COLLECT 2591.36/2598.26 c rational objective 55 2691.70/2698.84 c #Conflicts: 1882000 | #Constraints: 30199 2691.70/2698.84 c #Conflicts: 1883000 | #Constraints: 31199 2691.70/2698.84 c #Conflicts: 1884000 | #Constraints: 32199 2691.70/2698.84 c #Conflicts: 1885000 | #Constraints: 33199 2691.70/2698.84 c #Conflicts: 1886000 | #Constraints: 34199 2691.70/2698.84 c #Conflicts: 1887000 | #Constraints: 35199 2691.70/2698.84 c #Conflicts: 1888000 | #Constraints: 36199 2691.70/2698.84 c #Conflicts: 1889000 | #Constraints: 37199 2691.70/2698.84 c #Conflicts: 1890000 | #Constraints: 38199 2691.70/2698.84 c #Conflicts: 1891000 | #Constraints: 39199 2691.70/2698.84 c #Conflicts: 1892000 | #Constraints: 40199 2691.70/2698.84 c #Conflicts: 1893000 | #Constraints: 41199 2691.70/2698.84 c #Conflicts: 1894000 | #Constraints: 42199 2691.70/2698.84 c #Conflicts: 1895000 | #Constraints: 43199 2691.70/2698.84 c #Conflicts: 1896000 | #Constraints: 44199 2691.70/2698.84 c #Conflicts: 1897000 | #Constraints: 45199 2691.70/2698.84 c #Conflicts: 1898000 | #Constraints: 46199 2691.70/2698.84 c #Conflicts: 1899000 | #Constraints: 47199 2691.70/2698.84 c #Conflicts: 1900000 | #Constraints: 48199 2691.70/2698.84 c #Conflicts: 1901000 | #Constraints: 49199 2691.70/2698.84 c #Conflicts: 1902000 | #Constraints: 50199 2691.70/2698.84 c #Conflicts: 1903000 | #Constraints: 51199 2691.70/2698.84 c #Conflicts: 1904000 | #Constraints: 52199 2691.70/2698.84 c #Conflicts: 1905000 | #Constraints: 53199 2691.70/2698.84 c #Conflicts: 1906000 | #Constraints: 54199 2691.70/2698.84 c #Conflicts: 1907000 | #Constraints: 55199 2691.70/2698.84 c #Conflicts: 1908000 | #Constraints: 56199 2691.70/2698.84 c #Conflicts: 1909000 | #Constraints: 57199 2691.70/2698.84 c INPROCESSING 2691.70/2698.84 c GARBAGE COLLECT 2691.70/2698.84 c rational objective 55 2742.58/2749.88 c #Conflicts: 1910000 | #Constraints: 30818 2742.58/2749.88 c #Conflicts: 1911000 | #Constraints: 31818 2742.58/2749.88 c #Conflicts: 1912000 | #Constraints: 32818 2742.58/2749.88 c #Conflicts: 1913000 | #Constraints: 33818 2742.58/2749.88 c #Conflicts: 1914000 | #Constraints: 34818 2742.58/2749.88 c #Conflicts: 1915000 | #Constraints: 35818 2742.58/2749.88 c #Conflicts: 1916000 | #Constraints: 36818 2742.58/2749.88 c #Conflicts: 1917000 | #Constraints: 37818 2742.58/2749.88 c #Conflicts: 1918000 | #Constraints: 38818 2742.58/2749.88 c #Conflicts: 1919000 | #Constraints: 39818 2742.58/2749.88 c #Conflicts: 1920000 | #Constraints: 40818 2742.58/2749.88 c #Conflicts: 1921000 | #Constraints: 41818 2742.58/2749.88 c #Conflicts: 1922000 | #Constraints: 42818 2742.58/2749.88 c #Conflicts: 1923000 | #Constraints: 43818 2742.58/2749.88 c #Conflicts: 1924000 | #Constraints: 44818 2742.58/2749.88 c #Conflicts: 1925000 | #Constraints: 45818 2742.58/2749.88 c #Conflicts: 1926000 | #Constraints: 46818 2742.58/2749.88 c #Conflicts: 1927000 | #Constraints: 47818 2742.58/2749.88 c #Conflicts: 1928000 | #Constraints: 48818 2742.58/2749.88 c #Conflicts: 1929000 | #Constraints: 49818 2742.58/2749.88 c #Conflicts: 1930000 | #Constraints: 50818 2742.58/2749.88 c #Conflicts: 1931000 | #Constraints: 51818 2742.58/2749.88 c #Conflicts: 1932000 | #Constraints: 52818 2742.58/2749.88 c #Conflicts: 1933000 | #Constraints: 53818 2742.58/2749.88 c #Conflicts: 1934000 | #Constraints: 54818 2742.58/2749.88 c #Conflicts: 1935000 | #Constraints: 55818 2742.58/2749.88 c #Conflicts: 1936000 | #Constraints: 56818 2742.58/2749.88 c #Conflicts: 1937000 | #Constraints: 57818 2742.58/2749.88 c INPROCESSING 2742.58/2749.88 c GARBAGE COLLECT 2742.58/2749.88 c rational objective 55 2796.05/2803.44 c #Conflicts: 1938000 | #Constraints: 31216 2796.05/2803.44 c #Conflicts: 1939000 | #Constraints: 32216 2796.05/2803.44 c #Conflicts: 1940000 | #Constraints: 33216 2796.05/2803.44 c #Conflicts: 1941000 | #Constraints: 34216 2796.05/2803.44 c #Conflicts: 1942000 | #Constraints: 35216 2796.05/2803.44 c #Conflicts: 1943000 | #Constraints: 36216 2796.05/2803.44 c #Conflicts: 1944000 | #Constraints: 37216 2796.05/2803.44 c #Conflicts: 1945000 | #Constraints: 38216 2796.05/2803.44 c #Conflicts: 1946000 | #Constraints: 39216 2796.05/2803.44 c #Conflicts: 1947000 | #Constraints: 40216 2796.05/2803.44 c #Conflicts: 1948000 | #Constraints: 41216 2796.05/2803.44 c #Conflicts: 1949000 | #Constraints: 42216 2796.05/2803.44 c #Conflicts: 1950000 | #Constraints: 43216 2796.05/2803.44 c #Conflicts: 1951000 | #Constraints: 44216 2796.05/2803.44 c #Conflicts: 1952000 | #Constraints: 45216 2796.05/2803.44 c #Conflicts: 1953000 | #Constraints: 46216 2796.05/2803.44 c #Conflicts: 1954000 | #Constraints: 47216 2796.05/2803.44 c #Conflicts: 1955000 | #Constraints: 48216 2796.05/2803.44 c #Conflicts: 1956000 | #Constraints: 49216 2796.05/2803.44 c #Conflicts: 1957000 | #Constraints: 50216 2796.05/2803.44 c #Conflicts: 1958000 | #Constraints: 51216 2796.05/2803.44 c #Conflicts: 1959000 | #Constraints: 52216 2796.05/2803.44 c #Conflicts: 1960000 | #Constraints: 53216 2796.05/2803.44 c #Conflicts: 1961000 | #Constraints: 54216 2796.05/2803.44 c #Conflicts: 1962000 | #Constraints: 55216 2796.05/2803.44 c #Conflicts: 1963000 | #Constraints: 56216 2796.05/2803.44 c #Conflicts: 1964000 | #Constraints: 57216 2796.05/2803.44 c #Conflicts: 1965000 | #Constraints: 58216 2796.05/2803.44 c INPROCESSING 2796.05/2803.44 c GARBAGE COLLECT 2796.05/2803.44 c rational objective 55 2906.59/2914.23 c #Conflicts: 1966000 | #Constraints: 31391 2906.59/2914.23 c #Conflicts: 1967000 | #Constraints: 32391 2906.59/2914.23 c #Conflicts: 1968000 | #Constraints: 33391 2906.59/2914.23 c #Conflicts: 1969000 | #Constraints: 34391 2906.59/2914.23 c #Conflicts: 1970000 | #Constraints: 35392 2906.59/2914.23 c #Conflicts: 1971000 | #Constraints: 36392 2906.59/2914.23 c #Conflicts: 1972000 | #Constraints: 37392 2906.59/2914.23 c #Conflicts: 1973000 | #Constraints: 38392 2906.59/2914.23 c #Conflicts: 1974000 | #Constraints: 39392 2906.59/2914.23 c #Conflicts: 1975000 | #Constraints: 40392 2906.59/2914.23 c #Conflicts: 1976000 | #Constraints: 41392 2906.59/2914.23 c #Conflicts: 1977000 | #Constraints: 42392 2906.59/2914.23 c #Conflicts: 1978000 | #Constraints: 43392 2906.59/2914.23 c #Conflicts: 1979000 | #Constraints: 44392 2906.59/2914.23 c #Conflicts: 1980000 | #Constraints: 45392 2906.59/2914.23 c #Conflicts: 1981000 | #Constraints: 46392 2906.59/2914.23 c #Conflicts: 1982000 | #Constraints: 47392 2906.59/2914.23 c #Conflicts: 1983000 | #Constraints: 48392 2906.59/2914.23 c #Conflicts: 1984000 | #Constraints: 49392 2906.59/2914.23 c #Conflicts: 1985000 | #Constraints: 50392 2906.59/2914.23 c #Conflicts: 1986000 | #Constraints: 51392 2906.59/2914.23 c #Conflicts: 1987000 | #Constraints: 52392 2906.59/2914.23 c #Conflicts: 1988000 | #Constraints: 53392 2906.59/2914.23 c #Conflicts: 1989000 | #Constraints: 54392 2906.59/2914.23 c #Conflicts: 1990000 | #Constraints: 55392 2906.59/2914.23 c #Conflicts: 1991000 | #Constraints: 56392 2906.59/2914.23 c #Conflicts: 1992000 | #Constraints: 57392 2906.59/2914.23 c #Conflicts: 1993000 | #Constraints: 58392 2906.59/2914.23 c INPROCESSING 2906.59/2914.23 c GARBAGE COLLECT 2906.59/2914.23 c rational objective 55 2962.75/2970.50 c #Conflicts: 1994000 | #Constraints: 31386 2962.75/2970.50 c #Conflicts: 1995000 | #Constraints: 32386 2962.75/2970.50 c #Conflicts: 1996000 | #Constraints: 33386 2962.75/2970.50 c #Conflicts: 1997000 | #Constraints: 34386 2962.75/2970.50 c #Conflicts: 1998000 | #Constraints: 35386 2962.75/2970.50 c #Conflicts: 1999000 | #Constraints: 36386 2962.75/2970.50 c #Conflicts: 2000000 | #Constraints: 37386 2962.75/2970.50 c #Conflicts: 2001000 | #Constraints: 38386 2962.75/2970.50 c #Conflicts: 2002000 | #Constraints: 39386 2962.75/2970.50 c #Conflicts: 2003000 | #Constraints: 40386 2962.75/2970.50 c #Conflicts: 2004000 | #Constraints: 41386 2962.75/2970.50 c #Conflicts: 2005000 | #Constraints: 42386 2962.75/2970.50 c #Conflicts: 2006000 | #Constraints: 43386 2962.75/2970.50 c #Conflicts: 2007000 | #Constraints: 44386 2962.75/2970.50 c #Conflicts: 2008000 | #Constraints: 45386 2962.75/2970.50 c #Conflicts: 2009000 | #Constraints: 46386 2962.75/2970.50 c #Conflicts: 2010000 | #Constraints: 47386 2962.75/2970.50 c #Conflicts: 2011000 | #Constraints: 48386 2962.75/2970.50 c #Conflicts: 2012000 | #Constraints: 49386 2962.75/2970.50 c #Conflicts: 2013000 | #Constraints: 50386 2962.75/2970.50 c #Conflicts: 2014000 | #Constraints: 51386 2962.75/2970.50 c #Conflicts: 2015000 | #Constraints: 52386 2962.75/2970.50 c #Conflicts: 2016000 | #Constraints: 53386 2962.75/2970.50 c #Conflicts: 2017000 | #Constraints: 54386 2962.75/2970.50 c #Conflicts: 2018000 | #Constraints: 55386 2962.75/2970.50 c #Conflicts: 2019000 | #Constraints: 56386 2962.75/2970.50 c #Conflicts: 2020000 | #Constraints: 57386 2962.75/2970.50 c #Conflicts: 2021000 | #Constraints: 58386 2962.75/2970.50 c INPROCESSING 2962.75/2970.50 c GARBAGE COLLECT 2962.75/2970.50 c rational objective 55 3017.03/3024.96 c #Conflicts: 2022000 | #Constraints: 31178 3017.03/3024.96 c #Conflicts: 2023000 | #Constraints: 32178 3017.03/3024.96 c #Conflicts: 2024000 | #Constraints: 33178 3017.03/3024.96 c #Conflicts: 2025000 | #Constraints: 34178 3017.03/3024.96 c #Conflicts: 2026000 | #Constraints: 35178 3017.03/3024.96 c #Conflicts: 2027000 | #Constraints: 36178 3017.03/3024.96 c #Conflicts: 2028000 | #Constraints: 37178 3017.03/3024.96 c #Conflicts: 2029000 | #Constraints: 38178 3017.03/3024.96 c #Conflicts: 2030000 | #Constraints: 39178 3017.03/3024.96 c #Conflicts: 2031000 | #Constraints: 40178 3017.03/3024.96 c #Conflicts: 2032000 | #Constraints: 41178 3017.03/3024.96 c #Conflicts: 2033000 | #Constraints: 42178 3017.03/3024.96 c #Conflicts: 2034000 | #Constraints: 43178 3017.03/3024.96 c #Conflicts: 2035000 | #Constraints: 44178 3017.03/3024.96 c #Conflicts: 2036000 | #Constraints: 45178 3017.03/3024.96 c #Conflicts: 2037000 | #Constraints: 46178 3017.03/3024.96 c #Conflicts: 2038000 | #Constraints: 47178 3017.03/3024.96 c #Conflicts: 2039000 | #Constraints: 48178 3017.03/3024.96 c #Conflicts: 2040000 | #Constraints: 49178 3017.03/3024.96 c #Conflicts: 2041000 | #Constraints: 50178 3017.03/3024.96 c #Conflicts: 2042000 | #Constraints: 51178 3017.03/3024.96 c #Conflicts: 2043000 | #Constraints: 52178 3017.03/3024.96 c #Conflicts: 2044000 | #Constraints: 53178 3017.03/3024.96 c #Conflicts: 2045000 | #Constraints: 54178 3017.03/3024.96 c #Conflicts: 2046000 | #Constraints: 55178 3017.03/3024.96 c #Conflicts: 2047000 | #Constraints: 56178 3017.03/3024.96 c #Conflicts: 2048000 | #Constraints: 57179 3017.03/3024.96 c #Conflicts: 2049000 | #Constraints: 58179 3017.03/3024.96 c #Conflicts: 2050000 | #Constraints: 59179 3017.03/3024.96 c INPROCESSING 3017.03/3024.96 c GARBAGE COLLECT 3017.03/3024.96 c rational objective 55 3154.19/3162.41 c #Conflicts: 2051000 | #Constraints: 31771 3154.19/3162.41 c #Conflicts: 2052000 | #Constraints: 32771 3154.19/3162.41 c #Conflicts: 2053000 | #Constraints: 33771 3154.19/3162.41 c #Conflicts: 2054000 | #Constraints: 34771 3154.19/3162.41 c #Conflicts: 2055000 | #Constraints: 35771 3154.19/3162.41 c #Conflicts: 2056000 | #Constraints: 36771 3154.19/3162.41 c #Conflicts: 2057000 | #Constraints: 37771 3154.19/3162.41 c #Conflicts: 2058000 | #Constraints: 38771 3154.19/3162.41 c #Conflicts: 2059000 | #Constraints: 39771 3154.19/3162.41 c #Conflicts: 2060000 | #Constraints: 40771 3154.19/3162.41 c #Conflicts: 2061000 | #Constraints: 41771 3154.19/3162.41 c #Conflicts: 2062000 | #Constraints: 42771 3154.19/3162.41 c #Conflicts: 2063000 | #Constraints: 43771 3154.19/3162.41 c #Conflicts: 2064000 | #Constraints: 44771 3154.19/3162.41 c #Conflicts: 2065000 | #Constraints: 45771 3154.19/3162.41 c #Conflicts: 2066000 | #Constraints: 46771 3154.19/3162.41 c #Conflicts: 2067000 | #Constraints: 47771 3154.19/3162.41 c #Conflicts: 2068000 | #Constraints: 48771 3154.19/3162.41 c #Conflicts: 2069000 | #Constraints: 49771 3154.19/3162.41 c #Conflicts: 2070000 | #Constraints: 50771 3154.19/3162.41 c #Conflicts: 2071000 | #Constraints: 51771 3154.19/3162.41 c #Conflicts: 2072000 | #Constraints: 52771 3154.19/3162.41 c #Conflicts: 2073000 | #Constraints: 53771 3154.19/3162.41 c #Conflicts: 2074000 | #Constraints: 54771 3154.19/3162.41 c #Conflicts: 2075000 | #Constraints: 55771 3154.19/3162.41 c #Conflicts: 2076000 | #Constraints: 56771 3154.19/3162.41 c #Conflicts: 2077000 | #Constraints: 57771 3154.19/3162.41 c #Conflicts: 2078000 | #Constraints: 58771 3154.19/3162.41 c #Conflicts: 2079000 | #Constraints: 59771 3154.19/3162.41 c INPROCESSING 3154.19/3162.41 c GARBAGE COLLECT 3154.19/3162.41 c rational objective 55 3212.16/3220.55 c #Conflicts: 2080000 | #Constraints: 32187 3212.16/3220.55 c #Conflicts: 2081000 | #Constraints: 33187 3212.16/3220.55 c #Conflicts: 2082000 | #Constraints: 34187 3212.16/3220.55 c #Conflicts: 2083000 | #Constraints: 35187 3212.16/3220.55 c #Conflicts: 2084000 | #Constraints: 36187 3212.16/3220.55 c #Conflicts: 2085000 | #Constraints: 37187 3212.16/3220.55 c #Conflicts: 2086000 | #Constraints: 38187 3212.16/3220.55 c #Conflicts: 2087000 | #Constraints: 39187 3212.16/3220.55 c #Conflicts: 2088000 | #Constraints: 40187 3212.16/3220.55 c #Conflicts: 2089000 | #Constraints: 41187 3212.16/3220.55 c #Conflicts: 2090000 | #Constraints: 42187 3212.16/3220.55 c #Conflicts: 2091000 | #Constraints: 43187 3212.16/3220.55 c #Conflicts: 2092000 | #Constraints: 44187 3212.16/3220.55 c #Conflicts: 2093000 | #Constraints: 45187 3212.16/3220.55 c #Conflicts: 2094000 | #Constraints: 46187 3212.16/3220.55 c #Conflicts: 2095000 | #Constraints: 47187 3212.16/3220.55 c #Conflicts: 2096000 | #Constraints: 48187 3212.16/3220.55 c #Conflicts: 2097000 | #Constraints: 49187 3212.16/3220.55 c #Conflicts: 2098000 | #Constraints: 50187 3212.16/3220.55 c #Conflicts: 2099000 | #Constraints: 51187 3212.16/3220.55 c #Conflicts: 2100000 | #Constraints: 52187 3212.16/3220.55 c #Conflicts: 2101000 | #Constraints: 53187 3212.16/3220.55 c #Conflicts: 2102000 | #Constraints: 54187 3212.16/3220.55 c #Conflicts: 2103000 | #Constraints: 55187 3212.16/3220.55 c #Conflicts: 2104000 | #Constraints: 56187 3212.16/3220.55 c #Conflicts: 2105000 | #Constraints: 57187 3212.16/3220.55 c #Conflicts: 2106000 | #Constraints: 58187 3212.16/3220.55 c #Conflicts: 2107000 | #Constraints: 59187 3212.16/3220.55 c #Conflicts: 2108000 | #Constraints: 60187 3212.16/3220.55 c INPROCESSING 3212.16/3220.55 c GARBAGE COLLECT 3212.16/3220.55 c rational objective 55 3272.91/3281.43 c #Conflicts: 2109000 | #Constraints: 32387 3272.91/3281.43 c #Conflicts: 2110000 | #Constraints: 33387 3272.91/3281.43 c #Conflicts: 2111000 | #Constraints: 34387 3272.91/3281.43 c #Conflicts: 2112000 | #Constraints: 35387 3272.91/3281.43 c #Conflicts: 2113000 | #Constraints: 36387 3272.91/3281.43 c #Conflicts: 2114000 | #Constraints: 37387 3272.91/3281.43 c #Conflicts: 2115000 | #Constraints: 38387 3272.91/3281.43 c #Conflicts: 2116000 | #Constraints: 39387 3272.91/3281.43 c #Conflicts: 2117000 | #Constraints: 40387 3272.91/3281.43 c #Conflicts: 2118000 | #Constraints: 41387 3272.91/3281.43 c #Conflicts: 2119000 | #Constraints: 42387 3272.91/3281.43 c #Conflicts: 2120000 | #Constraints: 43387 3272.91/3281.43 c #Conflicts: 2121000 | #Constraints: 44387 3272.91/3281.43 c #Conflicts: 2122000 | #Constraints: 45387 3272.91/3281.43 c #Conflicts: 2123000 | #Constraints: 46387 3272.91/3281.43 c #Conflicts: 2124000 | #Constraints: 47387 3272.91/3281.43 c #Conflicts: 2125000 | #Constraints: 48387 3272.91/3281.43 c #Conflicts: 2126000 | #Constraints: 49387 3272.91/3281.43 c #Conflicts: 2127000 | #Constraints: 50387 3272.91/3281.43 c #Conflicts: 2128000 | #Constraints: 51387 3272.91/3281.43 c #Conflicts: 2129000 | #Constraints: 52387 3272.91/3281.43 c #Conflicts: 2130000 | #Constraints: 53387 3272.91/3281.43 c #Conflicts: 2131000 | #Constraints: 54387 3272.91/3281.43 c #Conflicts: 2132000 | #Constraints: 55387 3272.91/3281.43 c #Conflicts: 2133000 | #Constraints: 56387 3272.91/3281.43 c #Conflicts: 2134000 | #Constraints: 57387 3272.91/3281.43 c #Conflicts: 2135000 | #Constraints: 58387 3272.91/3281.43 c #Conflicts: 2136000 | #Constraints: 59387 3272.91/3281.43 c #Conflicts: 2137000 | #Constraints: 60387 3272.91/3281.43 c INPROCESSING 3272.91/3281.43 c GARBAGE COLLECT 3272.91/3281.43 c rational objective 55 3370.29/3379.07 c #Conflicts: 2138000 | #Constraints: 32397 3370.29/3379.07 c #Conflicts: 2139000 | #Constraints: 33397 3370.29/3379.07 c #Conflicts: 2140000 | #Constraints: 34397 3370.29/3379.07 c #Conflicts: 2141000 | #Constraints: 35397 3370.29/3379.07 c #Conflicts: 2142000 | #Constraints: 36397 3370.29/3379.07 c #Conflicts: 2143000 | #Constraints: 37397 3370.29/3379.07 c #Conflicts: 2144000 | #Constraints: 38397 3370.29/3379.07 c #Conflicts: 2145000 | #Constraints: 39397 3370.29/3379.07 c #Conflicts: 2146000 | #Constraints: 40397 3370.29/3379.07 c #Conflicts: 2147000 | #Constraints: 41397 3370.29/3379.07 c #Conflicts: 2148000 | #Constraints: 42397 3370.29/3379.07 c #Conflicts: 2149000 | #Constraints: 43397 3370.29/3379.07 c #Conflicts: 2150000 | #Constraints: 44397 3370.29/3379.07 c #Conflicts: 2151000 | #Constraints: 45397 3370.29/3379.07 c #Conflicts: 2152000 | #Constraints: 46397 3370.29/3379.07 c #Conflicts: 2153000 | #Constraints: 47397 3370.29/3379.07 c #Conflicts: 2154000 | #Constraints: 48397 3370.29/3379.07 c #Conflicts: 2155000 | #Constraints: 49397 3370.29/3379.07 c #Conflicts: 2156000 | #Constraints: 50397 3370.29/3379.07 c #Conflicts: 2157000 | #Constraints: 51397 3370.29/3379.07 c #Conflicts: 2158000 | #Constraints: 52397 3370.29/3379.07 c #Conflicts: 2159000 | #Constraints: 53397 3370.29/3379.07 c #Conflicts: 2160000 | #Constraints: 54397 3370.29/3379.07 c #Conflicts: 2161000 | #Constraints: 55397 3370.29/3379.07 c #Conflicts: 2162000 | #Constraints: 56397 3370.29/3379.07 c #Conflicts: 2163000 | #Constraints: 57397 3370.29/3379.07 c #Conflicts: 2164000 | #Constraints: 58397 3370.29/3379.07 c #Conflicts: 2165000 | #Constraints: 59397 3370.29/3379.07 c #Conflicts: 2166000 | #Constraints: 60397 3370.29/3379.07 c INPROCESSING 3370.29/3379.07 c GARBAGE COLLECT 3370.29/3379.07 c rational objective 55 3432.54/3441.42 c #Conflicts: 2167000 | #Constraints: 32176 3432.54/3441.42 c #Conflicts: 2168000 | #Constraints: 33176 3432.54/3441.42 c #Conflicts: 2169000 | #Constraints: 34176 3432.54/3441.42 c #Conflicts: 2170000 | #Constraints: 35176 3432.54/3441.42 c #Conflicts: 2171000 | #Constraints: 36176 3432.54/3441.42 c #Conflicts: 2172000 | #Constraints: 37176 3432.54/3441.42 c #Conflicts: 2173000 | #Constraints: 38176 3432.54/3441.42 c #Conflicts: 2174000 | #Constraints: 39176 3432.54/3441.42 c #Conflicts: 2175000 | #Constraints: 40176 3432.54/3441.42 c #Conflicts: 2176000 | #Constraints: 41176 3432.54/3441.42 c #Conflicts: 2177000 | #Constraints: 42176 3432.54/3441.42 c #Conflicts: 2178000 | #Constraints: 43176 3432.54/3441.42 c #Conflicts: 2179000 | #Constraints: 44176 3432.54/3441.42 c #Conflicts: 2180000 | #Constraints: 45176 3432.54/3441.42 c #Conflicts: 2181000 | #Constraints: 46176 3432.54/3441.42 c #Conflicts: 2182000 | #Constraints: 47176 3432.54/3441.42 c #Conflicts: 2183000 | #Constraints: 48176 3432.54/3441.42 c #Conflicts: 2184000 | #Constraints: 49176 3432.54/3441.42 c #Conflicts: 2185000 | #Constraints: 50176 3432.54/3441.42 c #Conflicts: 2186000 | #Constraints: 51176 3432.54/3441.42 c #Conflicts: 2187000 | #Constraints: 52176 3432.54/3441.42 c #Conflicts: 2188000 | #Constraints: 53176 3432.54/3441.42 c #Conflicts: 2189000 | #Constraints: 54176 3432.54/3441.42 c #Conflicts: 2190000 | #Constraints: 55176 3432.54/3441.42 c #Conflicts: 2191000 | #Constraints: 56176 3432.54/3441.42 c #Conflicts: 2192000 | #Constraints: 57176 3432.54/3441.42 c #Conflicts: 2193000 | #Constraints: 58176 3432.54/3441.42 c #Conflicts: 2194000 | #Constraints: 59176 3432.54/3441.42 c #Conflicts: 2195000 | #Constraints: 60176 3432.54/3441.42 c #Conflicts: 2196000 | #Constraints: 61176 3432.54/3441.42 c INPROCESSING 3432.54/3441.42 c GARBAGE COLLECT 3432.54/3441.42 c rational objective 55 3600.03/3609.30 c #Conflicts: 2197000 | #Constraints: 32807 3600.03/3609.30 c #Conflicts: 2198000 | #Constraints: 33807 3600.03/3609.30 c #Conflicts: 2199000 | #Constraints: 34807 3600.03/3609.30 c #Conflicts: 2200000 | #Constraints: 35807 3600.03/3609.30 c #Conflicts: 2201000 | #Constraints: 36807 3600.03/3609.30 c #Conflicts: 2202000 | #Constraints: 37807 3600.03/3609.30 c #Conflicts: 2203000 | #Constraints: 38807 3600.03/3609.30 c #Conflicts: 2204000 | #Constraints: 39807 3600.03/3609.30 c #Conflicts: 2205000 | #Constraints: 40807 3600.03/3609.30 c #Conflicts: 2206000 | #Constraints: 41807 3600.03/3609.30 c #Conflicts: 2207000 | #Constraints: 42807 3600.03/3609.30 c #Conflicts: 2208000 | #Constraints: 43807 3600.03/3609.30 c #Conflicts: 2209000 | #Constraints: 44807 3600.03/3609.30 c #Conflicts: 2210000 | #Constraints: 45807 3600.03/3609.30 c #Conflicts: 2211000 | #Constraints: 46807 3600.03/3609.30 c #Conflicts: 2212000 | #Constraints: 47807 3600.03/3609.30 c #Conflicts: 2213000 | #Constraints: 48807 3600.03/3609.30 c #Conflicts: 2214000 | #Constraints: 49807 3600.03/3609.30 c #Conflicts: 2215000 | #Constraints: 50807 3600.03/3609.30 c #Conflicts: 2216000 | #Constraints: 51807 3600.03/3609.30 c #Conflicts: 2217000 | #Constraints: 52807 3600.03/3609.30 c #Conflicts: 2218000 | #Constraints: 53807 3600.03/3609.30 c #Conflicts: 2219000 | #Constraints: 54807 3600.03/3609.30 c #Conflicts: 2220000 | #Constraints: 55807 3600.03/3609.30 c #Conflicts: 2221000 | #Constraints: 56807 3600.03/3609.30 c #Conflicts: 2222000 | #Constraints: 57807 3600.03/3609.30 c #Conflicts: 2223000 | #Constraints: 58807 3600.03/3609.30 c #Conflicts: 2224000 | #Constraints: 59807 3600.03/3609.30 c #Conflicts: 2225000 | #Constraints: 60807 3600.03/3609.30 c Program interrupted by user. 3600.03/3609.30 c cpu time 3577.14 s 3600.03/3609.30 c deterministic time 411563364461 4.12e+11 3600.03/3609.30 c optimization time 167.023 s 3600.03/3609.30 c total solve time 3410.09 s 3600.03/3609.30 c core-guided solve time 1643.57 s 3600.03/3609.30 c propagation time 3293.62 s 3600.03/3609.30 c conflict analysis time 256.221 s 3600.03/3609.30 c propagations 487547497 3600.03/3609.30 c resolve steps 12486078 3600.03/3609.30 c decisions 6547105 3600.03/3609.30 c conflicts 2225645 3600.03/3609.30 c restarts 4093 3600.03/3609.30 c inprocessing phases 139 3600.03/3609.30 c input clauses 1 3600.03/3609.30 c input cardinalities 0 3600.03/3609.30 c input general constraints 2449 3600.03/3609.30 c input average constraint length 25.29 3600.03/3609.30 c input average constraint degree 232.56 3600.03/3609.30 c learned clauses 836131 3600.03/3609.30 c learned cardinalities 11 3600.03/3609.30 c learned general constraints 1389507 3600.03/3609.30 c learned average constraint length 38.69 3600.03/3609.30 c learned average constraint degree 1071726.10 3600.03/3609.30 c watched constraints 1379011 3600.03/3609.30 c counting constraints 12945 3600.03/3609.30 c gcd simplifications 22762 3600.03/3609.30 c detected cardinalities 11 3600.03/3609.30 c weakened non-implied lits 6243336 3600.03/3609.30 c weakened non-implying lits 12064 3600.03/3609.30 c original variables 1288 3600.03/3609.30 c clausal propagations 8312944 3600.03/3609.30 c cardinality propagations 345 3600.03/3609.30 c watched propagations 459107669 3600.03/3609.30 c counting propagations 18744657 3600.03/3609.30 c watch lookups 76754534645 3600.03/3609.30 c watch backjump lookups 66984175353 3600.03/3609.30 c watch checks 183517973679 3600.03/3609.30 c propagation checks 82936941712 3600.03/3609.30 c constraint additions 377089886 3600.03/3609.30 c trail pops 496320124 3600.03/3609.30 c formula constraints 2431 3600.03/3609.30 c learned constraints 2225641 3600.03/3609.30 c bound constraints 19 3600.03/3609.30 c core-guided constraints 0 3600.03/3609.30 c encountered formula constraints 8872945 3600.03/3609.30 c encountered learned constraints 5822309 3600.03/3609.30 c encountered bound constraints 14780 3600.03/3609.30 c encountered core-guided constraints 0 3600.03/3609.30 c LP total time 56.1108 s 3600.03/3609.30 c LP solve time 50.31 s 3600.03/3609.30 c LP constraints added 3310 3600.03/3609.30 c LP constraints removed 874 3600.03/3609.30 c LP pivots internal 2225672 3600.03/3609.30 c LP pivots root 8787 3600.03/3609.30 c LP calls 21368 3600.03/3609.30 c LP optimalities 21364 3600.03/3609.30 c LP no pivot count 2187 3600.03/3609.30 c LP infeasibilities 4 3600.03/3609.30 c LP valid Farkas constraints 4 3600.03/3609.30 c LP learned Farkas constraints 4 3600.03/3609.30 c LP basis resets 0 3600.03/3609.30 c LP cycling count 0 3600.03/3609.30 c LP singular count 0 3600.03/3609.30 c LP no primal count 0 3600.03/3609.30 c LP no farkas count 0 3600.03/3609.30 c LP other issue count 0 3600.03/3609.30 c LP Gomory cuts 0 3600.03/3609.30 c LP learned cuts 879 3600.03/3609.30 c LP deleted cuts 874 3600.03/3609.30 c LP encountered Gomory constraints 0 3600.03/3609.30 c LP encountered Farkas constraints 1671 3600.03/3609.30 c LP encountered learned Farkas constraints 14 3600.03/3609.30 c CG auxiliary variables introduced 0 3600.03/3609.30 c CG solutions found 19 3600.03/3609.30 c CG cores constructed 1 3600.03/3609.30 c CG core cardinality constraints returned 0 3600.03/3609.30 c CG unit cores 1 3600.03/3609.30 c CG single cores 0 3600.03/3609.30 c CG blocks removed during cardinality reduction 0 3600.03/3609.30 c CG first core best 0 3600.03/3609.30 c CG decision core best 0 3600.03/3609.30 c CG core reduction tie 0 3600.03/3609.30 c CG core degree average 0.00 3600.03/3609.30 c CG core slack average 0.00 3600.03/3609.30 s SATISFIABLE 3600.03/3609.30 v x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 x30 -x31 -x32 x33 -x34 -x35 -x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 x58 -x59 -x60 -x61 x62 -x63 x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x73 x74 x75 -x76 -x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 -x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 -x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 -x233 x234 x235 -x236 -x237 -x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 -x260 -x261 x262 x263 x264 x265 x266 -x267 -x268 -x269 x270 x271 x272 -x273 -x274 x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 -x300 x301 x302 x303 x304 x305 -x306 -x307 -x308 x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 -x348 -x349 x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 -x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 -x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 -x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 -x546 x547 x548 -x549 -x550 -x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 -x566 -x567 x568 x569 x570 x571 x572 -x573 -x574 -x575 x576 x577 x578 -x579 -x580 x581 x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 x595 x596 x597 x598 x599 -x600 x601 x602 x603 x604 x605 -x606 -x607 -x608 x609 x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 -x643 -x644 x645 x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 x670 x671 x672 x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 x699 x700 -x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 -x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 -x781 -x782 -x783 x784 x785 x786 x787 x788 x789 x790 -x791 -x792 x793 x794 x795 x796 x797 -x798 -x799 -x800 x801 x802 x803 -x804 -x805 x806 x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 x821 x822 x823 x824 -x825 -x826 -x827 x828 x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 x853 x854 x855 x856 -x857 -x858 x859 x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 x955 x956 x957 x958 -x959 -x960 x961 x962 x963 x964 -x965 x966 x967 x968 x969 -x970 -x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 x983 x984 x985 -x986 -x987 -x988 -x989 x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 x1095 x1096 x1097 -x1098 x1099 x1100 x1101 x1102 -x1103 x1104 x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 x1115 x1116 x1117 -x1118 x1119 x1120 x1121 x1122 -x1123 -x1124 x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 x1135 x1136 -x1137 -x1138 x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 -x1197 x1198 x1199 x1200 x1201 -x1202 x1203 x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 x1240 x1241 -x1242 x1243 x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288
OK 74
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (28841 MiB free)
memory of node 1: 64473 MiB (14586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456803-1721772928/watcher-4456803-1721772928 -o /tmp/evaluation-result-4456803-1721772928/solver-4456803-1721772928 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721765707-125874 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456803-1721772928 --lp-cut-gomory=0 HOME/instance-4456803-1721772928.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
Current StackSize limit: 8192 KiB
solver pid=130478, runsolver pid=130475
[startup+0.100588 s]*
/proc/loadavg: 4.10 4.12 4.09 4/250 130493
/proc/meminfo: memFree=44460484/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=45968 memory=16356 CPUtime=0.09 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 3832 0 0 0 9 0 0 0 20 0 1 0 13821078 47071232 4089 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 11492 4089 1796 992 0 3350 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45968 KiB
Current children cumulated memory: 16356 KiB
[startup+0.205735 s]*
/proc/loadavg: 4.10 4.12 4.09 5/248 130506
/proc/meminfo: memFree=44460368/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=45968 memory=16620 CPUtime=0.19 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 3877 0 0 0 18 1 0 0 20 0 1 0 13821078 47071232 4155 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 11492 4155 1796 992 0 3350 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45968 KiB
Current children cumulated memory: 16620 KiB
[startup+0.305707 s]*
/proc/loadavg: 4.10 4.12 4.09 5/248 130506
/proc/meminfo: memFree=44458008/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=47348 memory=18044 CPUtime=0.3 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 4498 0 0 0 28 2 0 0 20 0 1 0 13821078 48484352 4511 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 11837 4511 1812 992 0 3695 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 18044 KiB
[startup+0.700165 s]
/proc/loadavg: 4.10 4.12 4.09 4/246 130521
/proc/meminfo: memFree=44839720/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=47584 memory=20692 CPUtime=0.68 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 4904 0 0 0 64 4 0 0 20 0 1 0 13821078 48726016 5173 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 11896 5173 1812 992 0 3754 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 20692 KiB
[startup+1.50021 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 130573
/proc/meminfo: memFree=44822876/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=47584 memory=20692 CPUtime=1.48 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 4904 0 0 0 141 7 0 0 20 0 1 0 13821078 48726016 5173 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 11896 5173 1812 992 0 3754 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 20692 KiB
[startup+3.10507 s]
/proc/loadavg: 4.10 4.12 4.09 5/247 130663
/proc/meminfo: memFree=44836896/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=47584 memory=20692 CPUtime=3.08 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 4909 0 0 0 297 11 0 0 20 0 1 0 13821078 48726016 5173 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 11896 5173 1812 992 0 3754 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 20692 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.12 4.09 5/252 130803
/proc/meminfo: memFree=45010196/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=47744 memory=21216 CPUtime=6.27 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 4951 0 0 0 605 22 0 0 20 0 1 0 13821078 48889856 5304 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 11936 5304 1886 992 0 3794 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47744 KiB
Current children cumulated memory: 21216 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 4.10 4.08 5/254 131035
/proc/meminfo: memFree=44943680/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=48364 memory=21880 CPUtime=12.64 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 5087 0 0 0 1226 38 0 0 20 0 1 0 13821078 49524736 5470 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 12091 5470 1886 992 0 3949 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 48364 KiB
Current children cumulated memory: 21880 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 131082
/proc/meminfo: memFree=44956320/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=49832 memory=23604 CPUtime=25.41 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 5541 0 0 0 2474 67 0 0 20 0 1 0 13821078 51027968 5901 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 12458 5901 1886 992 0 4316 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 49832 KiB
Current children cumulated memory: 23604 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.10 4.09 5/254 131133
/proc/meminfo: memFree=44881892/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=51588 memory=25912 CPUtime=50.95 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 6176 0 0 0 4979 116 0 0 20 0 1 0 13821078 52826112 6478 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 12897 6478 1886 992 0 4755 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 51588 KiB
Current children cumulated memory: 25912 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 131186
/proc/meminfo: memFree=44701272/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=57040 memory=31036 CPUtime=102.01 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 7003 0 0 0 9995 206 0 0 20 0 1 0 13821078 58408960 7759 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 14260 7759 1886 992 0 6118 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 57040 KiB
Current children cumulated memory: 31036 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 131197
/proc/meminfo: memFree=44355656/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=58084 memory=32340 CPUtime=161.85 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 7284 0 0 0 15891 294 0 0 20 0 1 0 13821078 59478016 8085 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 14521 8085 1886 992 0 6379 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 58084 KiB
Current children cumulated memory: 32340 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 131208
/proc/meminfo: memFree=43973852/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=60112 memory=34164 CPUtime=221.68 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 7786 0 0 0 21799 369 0 0 20 0 1 0 13821078 61554688 8541 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 15028 8541 1886 992 0 6886 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34164 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/257 131315
/proc/meminfo: memFree=44108308/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=65060 memory=38332 CPUtime=281.51 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 8273 0 0 0 27713 438 0 0 20 0 1 0 13821078 66621440 9583 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 16265 9583 1886 992 0 8123 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 65060 KiB
Current children cumulated memory: 38332 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 131326
/proc/meminfo: memFree=43774920/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=66364 memory=39372 CPUtime=341.33 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 8568 0 0 0 33632 501 0 0 20 0 1 0 13821078 67956736 9843 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 16591 9843 1886 992 0 8449 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 66364 KiB
Current children cumulated memory: 39372 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 131338
/proc/meminfo: memFree=43451676/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=66540 memory=39720 CPUtime=401.18 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 8640 0 0 0 39555 563 0 0 20 0 1 0 13821078 68136960 9930 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 16635 9930 1886 992 0 8493 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 66540 KiB
Current children cumulated memory: 39720 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 131348
/proc/meminfo: memFree=43157460/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=67252 memory=40464 CPUtime=461.04 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 8828 0 0 0 45486 618 0 0 20 0 1 0 13821078 68866048 10116 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 16813 10116 1886 992 0 8671 0
################
# More data... #
################
Current children cumulated memory: 64436 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 133016
/proc/meminfo: memFree=34456764/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=101780 memory=66032 CPUtime=2914.67 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14218 0 0 0 289435 2032 0 0 20 0 1 0 13821078 104222720 16508 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25445 16508 1902 992 0 17303 0
Current children cumulated CPU time: 2914.67 s
Current children cumulated vsize: 101780 KiB
Current children cumulated memory: 66032 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/257 133026
/proc/meminfo: memFree=34248068/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=101780 memory=66280 CPUtime=2974.52 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14241 0 0 0 295390 2062 0 0 20 0 1 0 13821078 104222720 16570 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25445 16570 1902 992 0 17303 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 101780 KiB
Current children cumulated memory: 66280 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/253 133037
/proc/meminfo: memFree=34069352/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=101780 memory=66280 CPUtime=3034.38 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14265 0 0 0 301345 2093 0 0 20 0 1 0 13821078 104222720 16570 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25445 16570 1902 992 0 17303 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 101780 KiB
Current children cumulated memory: 66280 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/253 133047
/proc/meminfo: memFree=33883416/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=101780 memory=66292 CPUtime=3094.24 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14291 0 0 0 307314 2110 0 0 20 0 1 0 13821078 104222720 16573 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25445 16573 1902 992 0 17303 0
Current children cumulated CPU time: 3094.24 s
Current children cumulated vsize: 101780 KiB
Current children cumulated memory: 66292 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 133058
/proc/meminfo: memFree=33705708/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=101780 memory=68592 CPUtime=3154.09 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14390 0 0 0 313287 2122 0 0 20 0 1 0 13821078 104222720 17148 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25445 17148 1902 992 0 17303 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 101780 KiB
Current children cumulated memory: 68592 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 133069
/proc/meminfo: memFree=33520136/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=102480 memory=69188 CPUtime=3213.95 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14588 0 0 0 319240 2155 0 0 20 0 1 0 13821078 104939520 17297 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25620 17297 1902 992 0 17478 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 102480 KiB
Current children cumulated memory: 69188 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 133083
/proc/meminfo: memFree=33351600/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=102480 memory=69188 CPUtime=3273.81 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14611 0 0 0 325196 2185 0 0 20 0 1 0 13821078 104939520 17297 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25620 17297 1902 992 0 17478 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 102480 KiB
Current children cumulated memory: 69188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 133093
/proc/meminfo: memFree=33171188/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=102480 memory=69332 CPUtime=3333.67 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14634 0 0 0 331159 2208 0 0 20 0 1 0 13821078 104939520 17333 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25620 17333 1902 992 0 17478 0
Current children cumulated CPU time: 3333.67 s
Current children cumulated vsize: 102480 KiB
Current children cumulated memory: 69332 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 133106
/proc/meminfo: memFree=32975236/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=102480 memory=69332 CPUtime=3393.52 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14671 0 0 0 337120 2232 0 0 20 0 1 0 13821078 104939520 17333 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25620 17333 1902 992 0 17478 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 102480 KiB
Current children cumulated memory: 69332 KiB
[startup+3462.3 s]
/proc/loadavg: 4.29 4.16 4.11 5/256 133117
/proc/meminfo: memFree=32799292/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=102740 memory=69432 CPUtime=3453.39 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14745 0 0 0 343082 2257 0 0 20 0 1 0 13821078 105205760 17358 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25685 17358 1902 992 0 17543 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 69432 KiB
[startup+3522.3 s]
/proc/loadavg: 4.45 4.24 4.14 5/256 133127
/proc/meminfo: memFree=32611444/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=102740 memory=69592 CPUtime=3513.25 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14771 0 0 0 349052 2273 0 0 20 0 1 0 13821078 105205760 17398 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25685 17398 1902 992 0 17543 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 69592 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/254 133137
/proc/meminfo: memFree=32454600/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=102740 memory=69592 CPUtime=3573.1 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14796 0 0 0 355025 2285 0 0 20 0 1 0 13821078 105205760 17398 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25685 17398 1902 992 0 17543 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 69592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.20 4.20 4.14 5/254 133143
/proc/meminfo: memFree=32368820/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=102740 memory=71840 CPUtime=3600.03 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14798 0 0 0 357713 2290 0 0 20 0 1 0 13821078 105205760 17960 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25685 17960 1902 992 0 17543 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 71840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 130478 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.14 s, system=22.9104 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.20 4.20 4.14 5/254 133143
/proc/meminfo: memFree=32368820/131524600 swapFree=131071728/131071996
[pid=130478] ppid=130475 vsize=102740 memory=71840 CPUtime=3600.03 cores=5,7
/proc/130478/stat : 130478 (roundingsat) R 130475 130478 125861 0 -1 4194304 14798 0 0 0 357713 2290 0 0 20 0 1 0 13821078 105205760 17960 134679101440 4194304 8254037 140721458712624 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10690560 140721458721632 140721458721894 140721458721894 140721458728905 0
/proc/130478/statm: 25685 17960 1902 992 0 17543 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 71840 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.05
CPU user time (s): 3577.14
CPU system time (s): 22.9104
CPU usage (%): 99.7435
Max. virtual memory (cumulated for all children) (KiB): 102740
Max. memory (cumulated for all children) (KiB): 71840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.14
system time used= 22.9104
maximum resident set size= 71840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2507832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 4855
# summary of solver processes directly reported to runsolver:
# pid: 130478
# total CPU time (s): 3600.05
# total CPU user time (s): 3577.14
# total CPU system time (s): 22.9104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05245 second user time and 17.6155 second system time
The end
Begin job on nodeC027 at 2024-07-24 00:15:28 IDJOB=4456803 IDBENCH=147695 IDSOLVER=3085 FILE ID=nodeC027/4456803-1721772928 RUNJOBID= nodeC027-1721765707-125874 SLURM_JOB_ID= 7770674 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.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-4456803-1721772928/watcher-4456803-1721772928 -o /tmp/evaluation-result-4456803-1721772928/solver-4456803-1721772928 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721765707-125874 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456803-1721772928 --lp-cut-gomory=0 HOME/instance-4456803-1721772928.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f RANDOM SEED=1988532474 nodeC027.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 : 3680.031 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.74 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 : 3662.227 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 : 7005.65 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 : 3642.710 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.636 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 : 7005.65 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 : 3613.008 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.74 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 : 3661.697 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 : 7005.65 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 : 3616.456 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.74 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 : 3655.701 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 : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 44470296 kB MemAvailable: 128916740 kB Buffers: 193784 kB Cached: 84886908 kB SwapCached: 48 kB Active: 1207728 kB Inactive: 84906444 kB Active(anon): 1540 kB Inactive(anon): 1069540 kB Active(file): 1206188 kB Inactive(file): 83836904 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 15524 kB Writeback: 0 kB AnonPages: 1029580 kB Mapped: 111516 kB Shmem: 37596 kB KReclaimable: 464760 kB Slab: 579632 kB SReclaimable: 464760 kB SUnreclaim: 114872 kB KernelStack: 4032 kB PageTables: 11408 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1493632 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21024 kB HardwareCorrupted: 0 kB AnonHugePages: 876544 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: 324308 kB DirectMap2M: 35100672 kB DirectMap1G: 100663296 kB Free space on /tmp at the end= 890056 MiB End job on nodeC027 at 2024-07-24 01:15:37