| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.06 | 3623.47 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb |
| MD5SUM | 52024caa2fcec9d840e113a681eace59 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 40876.6 |
| 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 | 41 |
| Total number of constraints | 11 |
| 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 | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 40 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1196 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3589 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.00 c #variables 41 #constraints 11 0.00/0.00 c bounds - >= 0 @ 0 0.00/0.00 c rational objective 0 0.20/0.21 c #Conflicts: 1000 | #Constraints: 1023 0.20/0.21 c #Conflicts: 2000 | #Constraints: 2026 0.20/0.21 c INPROCESSING 0.20/0.21 c GARBAGE COLLECT 0.20/0.21 c rational objective 0 0.50/0.57 c #Conflicts: 3000 | #Constraints: 2024 0.50/0.57 c #Conflicts: 4000 | #Constraints: 3027 0.50/0.57 c INPROCESSING 0.50/0.57 c GARBAGE COLLECT 0.50/0.57 c rational objective 0 0.99/1.03 c #Conflicts: 5000 | #Constraints: 2431 0.99/1.03 c #Conflicts: 6000 | #Constraints: 3435 0.99/1.03 c INPROCESSING 0.99/1.03 c GARBAGE COLLECT 0.99/1.03 c rational objective 0 1.58/1.62 c #Conflicts: 7000 | #Constraints: 2430 1.58/1.62 c #Conflicts: 8000 | #Constraints: 3430 1.58/1.62 c #Conflicts: 9000 | #Constraints: 4433 1.58/1.62 c INPROCESSING 1.58/1.62 c GARBAGE COLLECT 1.58/1.62 c rational objective 0 2.28/2.34 c #Conflicts: 10000 | #Constraints: 3127 2.28/2.34 c #Conflicts: 11000 | #Constraints: 4128 2.28/2.34 c #Conflicts: 12000 | #Constraints: 5128 2.28/2.34 c INPROCESSING 2.28/2.34 c GARBAGE COLLECT 2.28/2.34 c rational objective 0 3.08/3.15 c #Conflicts: 13000 | #Constraints: 3581 3.08/3.15 c #Conflicts: 14000 | #Constraints: 4581 3.08/3.15 c #Conflicts: 15000 | #Constraints: 5583 3.08/3.15 c INPROCESSING 3.08/3.15 c GARBAGE COLLECT 3.08/3.15 c rational objective 0 4.08/4.15 c #Conflicts: 16000 | #Constraints: 3802 4.08/4.15 c #Conflicts: 17000 | #Constraints: 4803 4.08/4.15 c #Conflicts: 18000 | #Constraints: 5805 4.08/4.15 c INPROCESSING 4.08/4.15 c GARBAGE COLLECT 4.08/4.15 c rational objective 0 5.08/5.19 c #Conflicts: 19000 | #Constraints: 3818 5.08/5.19 c #Conflicts: 20000 | #Constraints: 4818 5.08/5.19 c #Conflicts: 21000 | #Constraints: 5818 5.08/5.19 c INPROCESSING 5.08/5.19 c GARBAGE COLLECT 5.08/5.19 c rational objective 0 6.27/6.35 c #Conflicts: 22000 | #Constraints: 3620 6.27/6.35 c #Conflicts: 23000 | #Constraints: 4620 6.27/6.35 c #Conflicts: 24000 | #Constraints: 5620 6.27/6.35 c #Conflicts: 25000 | #Constraints: 6620 6.27/6.35 c INPROCESSING 6.27/6.35 c GARBAGE COLLECT 6.27/6.35 c rational objective 0 7.57/7.64 c #Conflicts: 26000 | #Constraints: 4222 7.57/7.64 c #Conflicts: 27000 | #Constraints: 5223 7.57/7.64 c #Conflicts: 28000 | #Constraints: 6224 7.57/7.64 c #Conflicts: 29000 | #Constraints: 7224 7.57/7.64 c INPROCESSING 7.57/7.64 c GARBAGE COLLECT 7.57/7.64 c rational objective 0 8.97/9.07 c #Conflicts: 30000 | #Constraints: 4623 8.97/9.07 c #Conflicts: 31000 | #Constraints: 5623 8.97/9.07 c #Conflicts: 32000 | #Constraints: 6623 8.97/9.07 c #Conflicts: 33000 | #Constraints: 7623 8.97/9.07 c INPROCESSING 8.97/9.07 c GARBAGE COLLECT 8.97/9.07 c rational objective 0 10.66/10.77 c #Conflicts: 34000 | #Constraints: 4825 10.66/10.77 c #Conflicts: 35000 | #Constraints: 5825 10.66/10.77 c #Conflicts: 36000 | #Constraints: 6825 10.66/10.77 c #Conflicts: 37000 | #Constraints: 7825 10.66/10.77 c INPROCESSING 10.66/10.77 c GARBAGE COLLECT 10.66/10.77 c rational objective 0 12.45/12.53 c #Conflicts: 38000 | #Constraints: 4827 12.45/12.53 c #Conflicts: 39000 | #Constraints: 5827 12.45/12.53 c #Conflicts: 40000 | #Constraints: 6828 12.45/12.53 c #Conflicts: 41000 | #Constraints: 7828 12.45/12.53 c INPROCESSING 12.45/12.53 c GARBAGE COLLECT 12.45/12.53 c rational objective 0 14.34/14.42 c #Conflicts: 42000 | #Constraints: 4629 14.34/14.42 c #Conflicts: 43000 | #Constraints: 5630 14.34/14.42 c #Conflicts: 44000 | #Constraints: 6630 14.34/14.42 c #Conflicts: 45000 | #Constraints: 7630 14.34/14.42 c #Conflicts: 46000 | #Constraints: 8630 14.34/14.42 c INPROCESSING 14.34/14.42 c GARBAGE COLLECT 14.34/14.42 c rational objective 0 16.34/16.43 c #Conflicts: 47000 | #Constraints: 5225 16.34/16.43 c #Conflicts: 48000 | #Constraints: 6225 16.34/16.43 c #Conflicts: 49000 | #Constraints: 7225 16.34/16.43 c #Conflicts: 50000 | #Constraints: 8225 16.34/16.43 c #Conflicts: 51000 | #Constraints: 9225 16.34/16.43 c INPROCESSING 16.34/16.43 c GARBAGE COLLECT 16.34/16.43 c rational objective 0 18.44/18.54 c #Conflicts: 52000 | #Constraints: 5626 18.44/18.54 c #Conflicts: 53000 | #Constraints: 6627 18.44/18.54 c #Conflicts: 54000 | #Constraints: 7629 18.44/18.54 c #Conflicts: 55000 | #Constraints: 8629 18.44/18.54 c #Conflicts: 56000 | #Constraints: 9629 18.44/18.54 c INPROCESSING 18.44/18.54 c GARBAGE COLLECT 18.44/18.54 c rational objective 0 20.74/20.82 c #Conflicts: 57000 | #Constraints: 5825 20.74/20.82 c #Conflicts: 58000 | #Constraints: 6825 20.74/20.82 c #Conflicts: 59000 | #Constraints: 7825 20.74/20.82 c #Conflicts: 60000 | #Constraints: 8825 20.74/20.82 c #Conflicts: 61000 | #Constraints: 9825 20.74/20.82 c INPROCESSING 20.74/20.82 c GARBAGE COLLECT 20.74/20.82 c rational objective 0 23.22/23.33 c #Conflicts: 62000 | #Constraints: 5827 23.22/23.33 c #Conflicts: 63000 | #Constraints: 6827 23.22/23.33 c #Conflicts: 64000 | #Constraints: 7827 23.22/23.33 c #Conflicts: 65000 | #Constraints: 8828 23.22/23.33 c #Conflicts: 66000 | #Constraints: 9828 23.22/23.33 c INPROCESSING 23.22/23.33 c GARBAGE COLLECT 23.22/23.33 c rational objective 0 25.93/26.01 c #Conflicts: 67000 | #Constraints: 5624 25.93/26.01 c #Conflicts: 68000 | #Constraints: 6625 25.93/26.01 c #Conflicts: 69000 | #Constraints: 7625 25.93/26.01 c #Conflicts: 70000 | #Constraints: 8625 25.93/26.01 c #Conflicts: 71000 | #Constraints: 9626 25.93/26.01 c #Conflicts: 72000 | #Constraints: 10626 25.93/26.01 c INPROCESSING 25.93/26.01 c GARBAGE COLLECT 25.93/26.01 c rational objective 0 28.71/28.82 c #Conflicts: 73000 | #Constraints: 6227 28.71/28.82 c #Conflicts: 74000 | #Constraints: 7227 28.71/28.82 c #Conflicts: 75000 | #Constraints: 8227 28.71/28.82 c #Conflicts: 76000 | #Constraints: 9228 28.71/28.82 c #Conflicts: 77000 | #Constraints: 10229 28.71/28.82 c #Conflicts: 78000 | #Constraints: 11229 28.71/28.82 c INPROCESSING 28.71/28.82 c GARBAGE COLLECT 28.71/28.82 c rational objective 0 31.90/32.04 c #Conflicts: 79000 | #Constraints: 6629 31.90/32.04 c #Conflicts: 80000 | #Constraints: 7629 31.90/32.04 c #Conflicts: 81000 | #Constraints: 8630 31.90/32.04 c #Conflicts: 82000 | #Constraints: 9631 31.90/32.04 c #Conflicts: 83000 | #Constraints: 10631 31.90/32.04 c #Conflicts: 84000 | #Constraints: 11631 31.90/32.04 c INPROCESSING 31.90/32.04 c GARBAGE COLLECT 31.90/32.04 c rational objective 0 35.29/35.48 c #Conflicts: 85000 | #Constraints: 6827 35.29/35.48 c #Conflicts: 86000 | #Constraints: 7827 35.29/35.48 c #Conflicts: 87000 | #Constraints: 8827 35.29/35.48 c #Conflicts: 88000 | #Constraints: 9827 35.29/35.48 c #Conflicts: 89000 | #Constraints: 10827 35.29/35.48 c #Conflicts: 90000 | #Constraints: 11827 35.29/35.48 c INPROCESSING 35.29/35.48 c GARBAGE COLLECT 35.29/35.48 c rational objective 0 38.99/39.11 c #Conflicts: 91000 | #Constraints: 6825 38.99/39.11 c #Conflicts: 92000 | #Constraints: 7825 38.99/39.11 c #Conflicts: 93000 | #Constraints: 8825 38.99/39.11 c #Conflicts: 94000 | #Constraints: 9825 38.99/39.11 c #Conflicts: 95000 | #Constraints: 10825 38.99/39.11 c #Conflicts: 96000 | #Constraints: 11825 38.99/39.11 c INPROCESSING 38.99/39.11 c GARBAGE COLLECT 38.99/39.11 c rational objective 0 42.87/43.05 c #Conflicts: 97000 | #Constraints: 6628 42.87/43.05 c #Conflicts: 98000 | #Constraints: 7628 42.87/43.05 c #Conflicts: 99000 | #Constraints: 8628 42.87/43.05 c #Conflicts: 100000 | #Constraints: 9628 42.87/43.05 c #Conflicts: 101000 | #Constraints: 10628 42.87/43.05 c #Conflicts: 102000 | #Constraints: 11628 42.87/43.05 c #Conflicts: 103000 | #Constraints: 12628 42.87/43.05 c INPROCESSING 42.87/43.05 c GARBAGE COLLECT 42.87/43.05 c rational objective 0 46.76/46.90 c #Conflicts: 104000 | #Constraints: 7226 46.76/46.90 c #Conflicts: 105000 | #Constraints: 8226 46.76/46.90 c #Conflicts: 106000 | #Constraints: 9226 46.76/46.90 c #Conflicts: 107000 | #Constraints: 10226 46.76/46.90 c #Conflicts: 108000 | #Constraints: 11226 46.76/46.90 c #Conflicts: 109000 | #Constraints: 12226 46.76/46.90 c #Conflicts: 110000 | #Constraints: 13226 46.76/46.90 c INPROCESSING 46.76/46.90 c GARBAGE COLLECT 46.76/46.90 c rational objective 0 50.75/50.95 c #Conflicts: 111000 | #Constraints: 7626 50.75/50.95 c #Conflicts: 112000 | #Constraints: 8627 50.75/50.95 c #Conflicts: 113000 | #Constraints: 9628 50.75/50.95 c #Conflicts: 114000 | #Constraints: 10630 50.75/50.95 c #Conflicts: 115000 | #Constraints: 11631 50.75/50.95 c #Conflicts: 116000 | #Constraints: 12631 50.75/50.95 c #Conflicts: 117000 | #Constraints: 13631 50.75/50.95 c INPROCESSING 50.75/50.95 c GARBAGE COLLECT 50.75/50.95 c rational objective 0 55.04/55.27 c #Conflicts: 118000 | #Constraints: 7826 55.04/55.27 c #Conflicts: 119000 | #Constraints: 8826 55.04/55.27 c #Conflicts: 120000 | #Constraints: 9826 55.04/55.27 c #Conflicts: 121000 | #Constraints: 10826 55.04/55.27 c #Conflicts: 122000 | #Constraints: 11826 55.04/55.27 c #Conflicts: 123000 | #Constraints: 12827 55.04/55.27 c #Conflicts: 124000 | #Constraints: 13827 55.04/55.27 c INPROCESSING 55.04/55.27 c GARBAGE COLLECT 55.04/55.27 c rational objective 0 59.53/59.77 c #Conflicts: 125000 | #Constraints: 7824 59.53/59.77 c #Conflicts: 126000 | #Constraints: 8824 59.53/59.77 c #Conflicts: 127000 | #Constraints: 9824 59.53/59.77 c #Conflicts: 128000 | #Constraints: 10824 59.53/59.77 c #Conflicts: 129000 | #Constraints: 11824 59.53/59.77 c #Conflicts: 130000 | #Constraints: 12824 59.53/59.77 c #Conflicts: 131000 | #Constraints: 13825 59.53/59.77 c INPROCESSING 59.53/59.77 c GARBAGE COLLECT 59.53/59.77 c rational objective 0 64.42/64.66 c #Conflicts: 132000 | #Constraints: 7624 64.42/64.66 c #Conflicts: 133000 | #Constraints: 8624 64.42/64.66 c #Conflicts: 134000 | #Constraints: 9624 64.42/64.66 c #Conflicts: 135000 | #Constraints: 10625 64.42/64.66 c #Conflicts: 136000 | #Constraints: 11625 64.42/64.66 c #Conflicts: 137000 | #Constraints: 12626 64.42/64.66 c #Conflicts: 138000 | #Constraints: 13626 64.42/64.66 c #Conflicts: 139000 | #Constraints: 14627 64.42/64.66 c INPROCESSING 64.42/64.66 c GARBAGE COLLECT 64.42/64.66 c rational objective 0 69.70/69.95 c #Conflicts: 140000 | #Constraints: 8228 69.70/69.95 c #Conflicts: 141000 | #Constraints: 9228 69.70/69.95 c #Conflicts: 142000 | #Constraints: 10228 69.70/69.95 c #Conflicts: 143000 | #Constraints: 11228 69.70/69.95 c #Conflicts: 144000 | #Constraints: 12228 69.70/69.95 c #Conflicts: 145000 | #Constraints: 13228 69.70/69.95 c #Conflicts: 146000 | #Constraints: 14228 69.70/69.95 c #Conflicts: 147000 | #Constraints: 15228 69.70/69.95 c INPROCESSING 69.70/69.95 c GARBAGE COLLECT 69.70/69.95 c rational objective 0 75.19/75.41 c #Conflicts: 148000 | #Constraints: 8626 75.19/75.41 c #Conflicts: 149000 | #Constraints: 9627 75.19/75.41 c #Conflicts: 150000 | #Constraints: 10627 75.19/75.41 c #Conflicts: 151000 | #Constraints: 11627 75.19/75.41 c #Conflicts: 152000 | #Constraints: 12627 75.19/75.41 c #Conflicts: 153000 | #Constraints: 13627 75.19/75.41 c #Conflicts: 154000 | #Constraints: 14627 75.19/75.41 c #Conflicts: 155000 | #Constraints: 15628 75.19/75.41 c INPROCESSING 75.19/75.41 c GARBAGE COLLECT 75.19/75.41 c rational objective 0 80.87/81.13 c #Conflicts: 156000 | #Constraints: 8827 80.87/81.13 c #Conflicts: 157000 | #Constraints: 9827 80.87/81.13 c #Conflicts: 158000 | #Constraints: 10827 80.87/81.13 c #Conflicts: 159000 | #Constraints: 11827 80.87/81.13 c #Conflicts: 160000 | #Constraints: 12827 80.87/81.13 c #Conflicts: 161000 | #Constraints: 13827 80.87/81.13 c #Conflicts: 162000 | #Constraints: 14827 80.87/81.13 c #Conflicts: 163000 | #Constraints: 15827 80.87/81.13 c INPROCESSING 80.87/81.13 c GARBAGE COLLECT 80.87/81.13 c rational objective 0 86.86/87.19 c #Conflicts: 164000 | #Constraints: 8826 86.86/87.19 c #Conflicts: 165000 | #Constraints: 9826 86.86/87.19 c #Conflicts: 166000 | #Constraints: 10826 86.86/87.19 c #Conflicts: 167000 | #Constraints: 11826 86.86/87.19 c #Conflicts: 168000 | #Constraints: 12826 86.86/87.19 c #Conflicts: 169000 | #Constraints: 13826 86.86/87.19 c #Conflicts: 170000 | #Constraints: 14826 86.86/87.19 c #Conflicts: 171000 | #Constraints: 15826 86.86/87.19 c INPROCESSING 86.86/87.19 c GARBAGE COLLECT 86.86/87.19 c rational objective 0 93.05/93.37 c #Conflicts: 172000 | #Constraints: 8626 93.05/93.37 c #Conflicts: 173000 | #Constraints: 9626 93.05/93.37 c #Conflicts: 174000 | #Constraints: 10626 93.05/93.37 c #Conflicts: 175000 | #Constraints: 11626 93.05/93.37 c #Conflicts: 176000 | #Constraints: 12626 93.05/93.37 c #Conflicts: 177000 | #Constraints: 13626 93.05/93.37 c #Conflicts: 178000 | #Constraints: 14626 93.05/93.37 c #Conflicts: 179000 | #Constraints: 15626 93.05/93.37 c #Conflicts: 180000 | #Constraints: 16626 93.05/93.37 c INPROCESSING 93.05/93.37 c GARBAGE COLLECT 93.05/93.37 c rational objective 0 99.83/100.17 c #Conflicts: 181000 | #Constraints: 9226 99.83/100.17 c #Conflicts: 182000 | #Constraints: 10226 99.83/100.17 c #Conflicts: 183000 | #Constraints: 11226 99.83/100.17 c #Conflicts: 184000 | #Constraints: 12226 99.83/100.17 c #Conflicts: 185000 | #Constraints: 13226 99.83/100.17 c #Conflicts: 186000 | #Constraints: 14226 99.83/100.17 c #Conflicts: 187000 | #Constraints: 15226 99.83/100.17 c #Conflicts: 188000 | #Constraints: 16226 99.83/100.17 c #Conflicts: 189000 | #Constraints: 17226 99.83/100.17 c INPROCESSING 99.83/100.17 c GARBAGE COLLECT 99.83/100.17 c rational objective 0 106.81/107.10 c #Conflicts: 190000 | #Constraints: 9626 106.81/107.10 c #Conflicts: 191000 | #Constraints: 10626 106.81/107.10 c #Conflicts: 192000 | #Constraints: 11626 106.81/107.10 c #Conflicts: 193000 | #Constraints: 12626 106.81/107.10 c #Conflicts: 194000 | #Constraints: 13626 106.81/107.10 c #Conflicts: 195000 | #Constraints: 14626 106.81/107.10 c #Conflicts: 196000 | #Constraints: 15626 106.81/107.10 c #Conflicts: 197000 | #Constraints: 16626 106.81/107.10 c #Conflicts: 198000 | #Constraints: 17626 106.81/107.10 c INPROCESSING 106.81/107.10 c GARBAGE COLLECT 106.81/107.10 c rational objective 0 114.09/114.48 c #Conflicts: 199000 | #Constraints: 9827 114.09/114.48 c #Conflicts: 200000 | #Constraints: 10827 114.09/114.48 c #Conflicts: 201000 | #Constraints: 11827 114.09/114.48 c #Conflicts: 202000 | #Constraints: 12827 114.09/114.48 c #Conflicts: 203000 | #Constraints: 13827 114.09/114.48 c #Conflicts: 204000 | #Constraints: 14827 114.09/114.48 c #Conflicts: 205000 | #Constraints: 15827 114.09/114.48 c #Conflicts: 206000 | #Constraints: 16827 114.09/114.48 c #Conflicts: 207000 | #Constraints: 17827 114.09/114.48 c INPROCESSING 114.09/114.48 c GARBAGE COLLECT 114.09/114.48 c rational objective 0 121.68/122.04 c #Conflicts: 208000 | #Constraints: 9824 121.68/122.04 c #Conflicts: 209000 | #Constraints: 10824 121.68/122.04 c #Conflicts: 210000 | #Constraints: 11824 121.68/122.04 c #Conflicts: 211000 | #Constraints: 12824 121.68/122.04 c #Conflicts: 212000 | #Constraints: 13824 121.68/122.04 c #Conflicts: 213000 | #Constraints: 14824 121.68/122.04 c #Conflicts: 214000 | #Constraints: 15824 121.68/122.04 c #Conflicts: 215000 | #Constraints: 16825 121.68/122.04 c #Conflicts: 216000 | #Constraints: 17826 121.68/122.04 c INPROCESSING 121.68/122.04 c GARBAGE COLLECT 121.68/122.04 c rational objective 0 129.55/129.90 c #Conflicts: 217000 | #Constraints: 9626 129.55/129.90 c #Conflicts: 218000 | #Constraints: 10626 129.55/129.90 c #Conflicts: 219000 | #Constraints: 11626 129.55/129.90 c #Conflicts: 220000 | #Constraints: 12626 129.55/129.90 c #Conflicts: 221000 | #Constraints: 13626 129.55/129.90 c #Conflicts: 222000 | #Constraints: 14626 129.55/129.90 c #Conflicts: 223000 | #Constraints: 15627 129.55/129.90 c #Conflicts: 224000 | #Constraints: 16627 129.55/129.90 c #Conflicts: 225000 | #Constraints: 17627 129.55/129.90 c #Conflicts: 226000 | #Constraints: 18627 129.55/129.90 c INPROCESSING 129.55/129.90 c GARBAGE COLLECT 129.55/129.90 c rational objective 0 137.43/137.81 c #Conflicts: 227000 | #Constraints: 10230 137.43/137.81 c #Conflicts: 228000 | #Constraints: 11230 137.43/137.81 c #Conflicts: 229000 | #Constraints: 12230 137.43/137.81 c #Conflicts: 230000 | #Constraints: 13230 137.43/137.81 c #Conflicts: 231000 | #Constraints: 14230 137.43/137.81 c #Conflicts: 232000 | #Constraints: 15230 137.43/137.81 c #Conflicts: 233000 | #Constraints: 16230 137.43/137.81 c #Conflicts: 234000 | #Constraints: 17230 137.43/137.81 c #Conflicts: 235000 | #Constraints: 18230 137.43/137.81 c #Conflicts: 236000 | #Constraints: 19230 137.43/137.81 c INPROCESSING 137.43/137.81 c GARBAGE COLLECT 137.43/137.81 c rational objective 0 145.51/145.96 c #Conflicts: 237000 | #Constraints: 10628 145.51/145.96 c #Conflicts: 238000 | #Constraints: 11628 145.51/145.96 c #Conflicts: 239000 | #Constraints: 12628 145.51/145.96 c #Conflicts: 240000 | #Constraints: 13628 145.51/145.96 c #Conflicts: 241000 | #Constraints: 14628 145.51/145.96 c #Conflicts: 242000 | #Constraints: 15628 145.51/145.96 c #Conflicts: 243000 | #Constraints: 16628 145.51/145.96 c #Conflicts: 244000 | #Constraints: 17629 145.51/145.96 c #Conflicts: 245000 | #Constraints: 18630 145.51/145.96 c #Conflicts: 246000 | #Constraints: 19630 145.51/145.96 c INPROCESSING 145.51/145.96 c GARBAGE COLLECT 145.51/145.96 c rational objective 0 154.09/154.53 c #Conflicts: 247000 | #Constraints: 10828 154.09/154.53 c #Conflicts: 248000 | #Constraints: 11828 154.09/154.53 c #Conflicts: 249000 | #Constraints: 12828 154.09/154.53 c #Conflicts: 250000 | #Constraints: 13828 154.09/154.53 c #Conflicts: 251000 | #Constraints: 14828 154.09/154.53 c #Conflicts: 252000 | #Constraints: 15829 154.09/154.53 c #Conflicts: 253000 | #Constraints: 16829 154.09/154.53 c #Conflicts: 254000 | #Constraints: 17829 154.09/154.53 c #Conflicts: 255000 | #Constraints: 18829 154.09/154.53 c #Conflicts: 256000 | #Constraints: 19829 154.09/154.53 c INPROCESSING 154.09/154.53 c GARBAGE COLLECT 154.09/154.53 c rational objective 0 162.77/163.27 c #Conflicts: 257000 | #Constraints: 10826 162.77/163.27 c #Conflicts: 258000 | #Constraints: 11826 162.77/163.27 c #Conflicts: 259000 | #Constraints: 12826 162.77/163.27 c #Conflicts: 260000 | #Constraints: 13826 162.77/163.27 c #Conflicts: 261000 | #Constraints: 14826 162.77/163.27 c #Conflicts: 262000 | #Constraints: 15826 162.77/163.27 c #Conflicts: 263000 | #Constraints: 16827 162.77/163.27 c #Conflicts: 264000 | #Constraints: 17827 162.77/163.27 c #Conflicts: 265000 | #Constraints: 18829 162.77/163.27 c #Conflicts: 266000 | #Constraints: 19829 162.77/163.27 c INPROCESSING 162.77/163.27 c GARBAGE COLLECT 162.77/163.27 c rational objective 0 172.35/172.84 c #Conflicts: 267000 | #Constraints: 10629 172.35/172.84 c #Conflicts: 268000 | #Constraints: 11629 172.35/172.84 c #Conflicts: 269000 | #Constraints: 12629 172.35/172.84 c #Conflicts: 270000 | #Constraints: 13629 172.35/172.84 c #Conflicts: 271000 | #Constraints: 14629 172.35/172.84 c #Conflicts: 272000 | #Constraints: 15629 172.35/172.84 c #Conflicts: 273000 | #Constraints: 16629 172.35/172.84 c #Conflicts: 274000 | #Constraints: 17629 172.35/172.84 c #Conflicts: 275000 | #Constraints: 18629 172.35/172.84 c #Conflicts: 276000 | #Constraints: 19629 172.35/172.84 c #Conflicts: 277000 | #Constraints: 20629 172.35/172.84 c INPROCESSING 172.35/172.84 c GARBAGE COLLECT 172.35/172.84 c rational objective 0 182.02/182.57 c #Conflicts: 278000 | #Constraints: 11229 182.02/182.57 c #Conflicts: 279000 | #Constraints: 12229 182.02/182.57 c #Conflicts: 280000 | #Constraints: 13229 182.02/182.57 c #Conflicts: 281000 | #Constraints: 14229 182.02/182.57 c #Conflicts: 282000 | #Constraints: 15229 182.02/182.57 c #Conflicts: 283000 | #Constraints: 16229 182.02/182.57 c #Conflicts: 284000 | #Constraints: 17229 182.02/182.57 c #Conflicts: 285000 | #Constraints: 18229 182.02/182.57 c #Conflicts: 286000 | #Constraints: 19229 182.02/182.57 c #Conflicts: 287000 | #Constraints: 20229 182.02/182.57 c #Conflicts: 288000 | #Constraints: 21229 182.02/182.57 c INPROCESSING 182.02/182.57 c GARBAGE COLLECT 182.02/182.57 c rational objective 0 192.29/192.83 c #Conflicts: 289000 | #Constraints: 11627 192.29/192.83 c #Conflicts: 290000 | #Constraints: 12627 192.29/192.83 c #Conflicts: 291000 | #Constraints: 13627 192.29/192.83 c #Conflicts: 292000 | #Constraints: 14627 192.29/192.83 c #Conflicts: 293000 | #Constraints: 15627 192.29/192.83 c #Conflicts: 294000 | #Constraints: 16627 192.29/192.83 c #Conflicts: 295000 | #Constraints: 17627 192.29/192.83 c #Conflicts: 296000 | #Constraints: 18627 192.29/192.83 c #Conflicts: 297000 | #Constraints: 19627 192.29/192.83 c #Conflicts: 298000 | #Constraints: 20627 192.29/192.83 c #Conflicts: 299000 | #Constraints: 21627 192.29/192.83 c INPROCESSING 192.29/192.83 c GARBAGE COLLECT 192.29/192.83 c rational objective 0 202.77/203.35 c #Conflicts: 300000 | #Constraints: 11824 202.77/203.35 c #Conflicts: 301000 | #Constraints: 12824 202.77/203.35 c #Conflicts: 302000 | #Constraints: 13824 202.77/203.35 c #Conflicts: 303000 | #Constraints: 14824 202.77/203.35 c #Conflicts: 304000 | #Constraints: 15824 202.77/203.35 c #Conflicts: 305000 | #Constraints: 16824 202.77/203.35 c #Conflicts: 306000 | #Constraints: 17824 202.77/203.35 c #Conflicts: 307000 | #Constraints: 18824 202.77/203.35 c #Conflicts: 308000 | #Constraints: 19824 202.77/203.35 c #Conflicts: 309000 | #Constraints: 20824 202.77/203.35 c #Conflicts: 310000 | #Constraints: 21824 202.77/203.35 c INPROCESSING 202.77/203.35 c GARBAGE COLLECT 202.77/203.35 c rational objective 0 214.04/214.62 c #Conflicts: 311000 | #Constraints: 11824 214.04/214.62 c #Conflicts: 312000 | #Constraints: 12824 214.04/214.62 c #Conflicts: 313000 | #Constraints: 13824 214.04/214.62 c #Conflicts: 314000 | #Constraints: 14824 214.04/214.62 c #Conflicts: 315000 | #Constraints: 15824 214.04/214.62 c #Conflicts: 316000 | #Constraints: 16824 214.04/214.62 c #Conflicts: 317000 | #Constraints: 17824 214.04/214.62 c #Conflicts: 318000 | #Constraints: 18824 214.04/214.62 c #Conflicts: 319000 | #Constraints: 19824 214.04/214.62 c #Conflicts: 320000 | #Constraints: 20824 214.04/214.62 c #Conflicts: 321000 | #Constraints: 21824 214.04/214.62 c INPROCESSING 214.04/214.62 c GARBAGE COLLECT 214.04/214.62 c rational objective 0 225.81/226.43 c #Conflicts: 322000 | #Constraints: 11626 225.81/226.43 c #Conflicts: 323000 | #Constraints: 12626 225.81/226.43 c #Conflicts: 324000 | #Constraints: 13626 225.81/226.43 c #Conflicts: 325000 | #Constraints: 14626 225.81/226.43 c #Conflicts: 326000 | #Constraints: 15626 225.81/226.43 c #Conflicts: 327000 | #Constraints: 16627 225.81/226.43 c #Conflicts: 328000 | #Constraints: 17627 225.81/226.43 c #Conflicts: 329000 | #Constraints: 18627 225.81/226.43 c #Conflicts: 330000 | #Constraints: 19627 225.81/226.43 c #Conflicts: 331000 | #Constraints: 20627 225.81/226.43 c #Conflicts: 332000 | #Constraints: 21627 225.81/226.43 c #Conflicts: 333000 | #Constraints: 22627 225.81/226.43 c INPROCESSING 225.81/226.43 c GARBAGE COLLECT 225.81/226.43 c rational objective 0 237.48/238.15 c #Conflicts: 334000 | #Constraints: 12224 237.48/238.15 c #Conflicts: 335000 | #Constraints: 13224 237.48/238.15 c #Conflicts: 336000 | #Constraints: 14224 237.48/238.15 c #Conflicts: 337000 | #Constraints: 15224 237.48/238.15 c #Conflicts: 338000 | #Constraints: 16224 237.48/238.15 c #Conflicts: 339000 | #Constraints: 17224 237.48/238.15 c #Conflicts: 340000 | #Constraints: 18224 237.48/238.15 c #Conflicts: 341000 | #Constraints: 19224 237.48/238.15 c #Conflicts: 342000 | #Constraints: 20224 237.48/238.15 c #Conflicts: 343000 | #Constraints: 21224 237.48/238.15 c #Conflicts: 344000 | #Constraints: 22224 237.48/238.15 c #Conflicts: 345000 | #Constraints: 23225 237.48/238.15 c INPROCESSING 237.48/238.15 c GARBAGE COLLECT 237.48/238.15 c rational objective 0 249.74/250.43 c #Conflicts: 346000 | #Constraints: 12623 249.74/250.43 c #Conflicts: 347000 | #Constraints: 13623 249.74/250.43 c #Conflicts: 348000 | #Constraints: 14623 249.74/250.43 c #Conflicts: 349000 | #Constraints: 15623 249.74/250.43 c #Conflicts: 350000 | #Constraints: 16623 249.74/250.43 c #Conflicts: 351000 | #Constraints: 17623 249.74/250.43 c #Conflicts: 352000 | #Constraints: 18623 249.74/250.43 c #Conflicts: 353000 | #Constraints: 19623 249.74/250.43 c #Conflicts: 354000 | #Constraints: 20623 249.74/250.43 c #Conflicts: 355000 | #Constraints: 21623 249.74/250.43 c #Conflicts: 356000 | #Constraints: 22623 249.74/250.43 c #Conflicts: 357000 | #Constraints: 23623 249.74/250.43 c INPROCESSING 249.74/250.43 c GARBAGE COLLECT 249.74/250.43 c rational objective 0 262.32/263.05 c #Conflicts: 358000 | #Constraints: 12825 262.32/263.05 c #Conflicts: 359000 | #Constraints: 13825 262.32/263.05 c #Conflicts: 360000 | #Constraints: 14825 262.32/263.05 c #Conflicts: 361000 | #Constraints: 15825 262.32/263.05 c #Conflicts: 362000 | #Constraints: 16825 262.32/263.05 c #Conflicts: 363000 | #Constraints: 17825 262.32/263.05 c #Conflicts: 364000 | #Constraints: 18825 262.32/263.05 c #Conflicts: 365000 | #Constraints: 19825 262.32/263.05 c #Conflicts: 366000 | #Constraints: 20825 262.32/263.05 c #Conflicts: 367000 | #Constraints: 21825 262.32/263.05 c #Conflicts: 368000 | #Constraints: 22825 262.32/263.05 c #Conflicts: 369000 | #Constraints: 23825 262.32/263.05 c INPROCESSING 262.32/263.05 c GARBAGE COLLECT 262.32/263.05 c rational objective 0 275.29/276.08 c #Conflicts: 370000 | #Constraints: 12827 275.29/276.08 c #Conflicts: 371000 | #Constraints: 13827 275.29/276.08 c #Conflicts: 372000 | #Constraints: 14827 275.29/276.08 c #Conflicts: 373000 | #Constraints: 15827 275.29/276.08 c #Conflicts: 374000 | #Constraints: 16827 275.29/276.08 c #Conflicts: 375000 | #Constraints: 17827 275.29/276.08 c #Conflicts: 376000 | #Constraints: 18829 275.29/276.08 c #Conflicts: 377000 | #Constraints: 19829 275.29/276.08 c #Conflicts: 378000 | #Constraints: 20829 275.29/276.08 c #Conflicts: 379000 | #Constraints: 21829 275.29/276.08 c #Conflicts: 380000 | #Constraints: 22829 275.29/276.08 c #Conflicts: 381000 | #Constraints: 23829 275.29/276.08 c INPROCESSING 275.29/276.08 c GARBAGE COLLECT 275.29/276.08 c rational objective 0 288.65/289.44 c #Conflicts: 382000 | #Constraints: 12628 288.65/289.44 c #Conflicts: 383000 | #Constraints: 13628 288.65/289.44 c #Conflicts: 384000 | #Constraints: 14628 288.65/289.44 c #Conflicts: 385000 | #Constraints: 15628 288.65/289.44 c #Conflicts: 386000 | #Constraints: 16628 288.65/289.44 c #Conflicts: 387000 | #Constraints: 17628 288.65/289.44 c #Conflicts: 388000 | #Constraints: 18628 288.65/289.44 c #Conflicts: 389000 | #Constraints: 19628 288.65/289.44 c #Conflicts: 390000 | #Constraints: 20628 288.65/289.44 c #Conflicts: 391000 | #Constraints: 21628 288.65/289.44 c #Conflicts: 392000 | #Constraints: 22628 288.65/289.44 c #Conflicts: 393000 | #Constraints: 23628 288.65/289.44 c #Conflicts: 394000 | #Constraints: 24628 288.65/289.44 c INPROCESSING 288.65/289.44 c GARBAGE COLLECT 288.65/289.44 c rational objective 0 302.41/303.24 c #Conflicts: 395000 | #Constraints: 13229 302.41/303.24 c #Conflicts: 396000 | #Constraints: 14229 302.41/303.24 c #Conflicts: 397000 | #Constraints: 15230 302.41/303.24 c #Conflicts: 398000 | #Constraints: 16230 302.41/303.24 c #Conflicts: 399000 | #Constraints: 17230 302.41/303.24 c #Conflicts: 400000 | #Constraints: 18230 302.41/303.24 c #Conflicts: 401000 | #Constraints: 19230 302.41/303.24 c #Conflicts: 402000 | #Constraints: 20230 302.41/303.24 c #Conflicts: 403000 | #Constraints: 21230 302.41/303.24 c #Conflicts: 404000 | #Constraints: 22230 302.41/303.24 c #Conflicts: 405000 | #Constraints: 23230 302.41/303.24 c #Conflicts: 406000 | #Constraints: 24230 302.41/303.24 c #Conflicts: 407000 | #Constraints: 25230 302.41/303.24 c INPROCESSING 302.41/303.24 c GARBAGE COLLECT 302.41/303.24 c rational objective 0 316.57/317.49 c #Conflicts: 408000 | #Constraints: 13629 316.57/317.49 c #Conflicts: 409000 | #Constraints: 14630 316.57/317.49 c #Conflicts: 410000 | #Constraints: 15630 316.57/317.49 c #Conflicts: 411000 | #Constraints: 16630 316.57/317.49 c #Conflicts: 412000 | #Constraints: 17630 316.57/317.49 c #Conflicts: 413000 | #Constraints: 18630 316.57/317.49 c #Conflicts: 414000 | #Constraints: 19630 316.57/317.49 c #Conflicts: 415000 | #Constraints: 20630 316.57/317.49 c #Conflicts: 416000 | #Constraints: 21630 316.57/317.49 c #Conflicts: 417000 | #Constraints: 22630 316.57/317.49 c #Conflicts: 418000 | #Constraints: 23631 316.57/317.49 c #Conflicts: 419000 | #Constraints: 24631 316.57/317.49 c #Conflicts: 420000 | #Constraints: 25631 316.57/317.49 c INPROCESSING 316.57/317.49 c GARBAGE COLLECT 316.57/317.49 c rational objective 0 331.63/332.55 c #Conflicts: 421000 | #Constraints: 13827 331.63/332.55 c #Conflicts: 422000 | #Constraints: 14827 331.63/332.55 c #Conflicts: 423000 | #Constraints: 15827 331.63/332.55 c #Conflicts: 424000 | #Constraints: 16827 331.63/332.55 c #Conflicts: 425000 | #Constraints: 17827 331.63/332.55 c #Conflicts: 426000 | #Constraints: 18827 331.63/332.55 c #Conflicts: 427000 | #Constraints: 19827 331.63/332.55 c #Conflicts: 428000 | #Constraints: 20827 331.63/332.55 c #Conflicts: 429000 | #Constraints: 21827 331.63/332.55 c #Conflicts: 430000 | #Constraints: 22828 331.63/332.55 c #Conflicts: 431000 | #Constraints: 23828 331.63/332.55 c #Conflicts: 432000 | #Constraints: 24828 331.63/332.55 c #Conflicts: 433000 | #Constraints: 25828 331.63/332.55 c INPROCESSING 331.63/332.55 c GARBAGE COLLECT 331.63/332.55 c rational objective 0 346.89/347.85 c #Conflicts: 434000 | #Constraints: 13827 346.89/347.85 c #Conflicts: 435000 | #Constraints: 14827 346.89/347.85 c #Conflicts: 436000 | #Constraints: 15828 346.89/347.85 c #Conflicts: 437000 | #Constraints: 16828 346.89/347.85 c #Conflicts: 438000 | #Constraints: 17828 346.89/347.85 c #Conflicts: 439000 | #Constraints: 18828 346.89/347.85 c #Conflicts: 440000 | #Constraints: 19828 346.89/347.85 c #Conflicts: 441000 | #Constraints: 20828 346.89/347.85 c #Conflicts: 442000 | #Constraints: 21828 346.89/347.85 c #Conflicts: 443000 | #Constraints: 22828 346.89/347.85 c #Conflicts: 444000 | #Constraints: 23828 346.89/347.85 c #Conflicts: 445000 | #Constraints: 24828 346.89/347.85 c #Conflicts: 446000 | #Constraints: 25828 346.89/347.85 c INPROCESSING 346.89/347.85 c GARBAGE COLLECT 346.89/347.85 c rational objective 0 362.55/363.55 c #Conflicts: 447000 | #Constraints: 13626 362.55/363.55 c #Conflicts: 448000 | #Constraints: 14626 362.55/363.55 c #Conflicts: 449000 | #Constraints: 15626 362.55/363.55 c #Conflicts: 450000 | #Constraints: 16626 362.55/363.55 c #Conflicts: 451000 | #Constraints: 17626 362.55/363.55 c #Conflicts: 452000 | #Constraints: 18626 362.55/363.55 c #Conflicts: 453000 | #Constraints: 19626 362.55/363.55 c #Conflicts: 454000 | #Constraints: 20626 362.55/363.55 c #Conflicts: 455000 | #Constraints: 21626 362.55/363.55 c #Conflicts: 456000 | #Constraints: 22626 362.55/363.55 c #Conflicts: 457000 | #Constraints: 23626 362.55/363.55 c #Conflicts: 458000 | #Constraints: 24626 362.55/363.55 c #Conflicts: 459000 | #Constraints: 25627 362.55/363.55 c #Conflicts: 460000 | #Constraints: 26627 362.55/363.55 c INPROCESSING 362.55/363.55 c GARBAGE COLLECT 362.55/363.55 c rational objective 0 379.11/380.17 c #Conflicts: 461000 | #Constraints: 14230 379.11/380.17 c #Conflicts: 462000 | #Constraints: 15230 379.11/380.17 c #Conflicts: 463000 | #Constraints: 16230 379.11/380.17 c #Conflicts: 464000 | #Constraints: 17230 379.11/380.17 c #Conflicts: 465000 | #Constraints: 18230 379.11/380.17 c #Conflicts: 466000 | #Constraints: 19230 379.11/380.17 c #Conflicts: 467000 | #Constraints: 20230 379.11/380.17 c #Conflicts: 468000 | #Constraints: 21230 379.11/380.17 c #Conflicts: 469000 | #Constraints: 22230 379.11/380.17 c #Conflicts: 470000 | #Constraints: 23230 379.11/380.17 c #Conflicts: 471000 | #Constraints: 24230 379.11/380.17 c #Conflicts: 472000 | #Constraints: 25230 379.11/380.17 c #Conflicts: 473000 | #Constraints: 26230 379.11/380.17 c #Conflicts: 474000 | #Constraints: 27230 379.11/380.17 c INPROCESSING 379.11/380.17 c GARBAGE COLLECT 379.11/380.17 c rational objective 0 396.46/397.57 c #Conflicts: 475000 | #Constraints: 14625 396.46/397.57 c #Conflicts: 476000 | #Constraints: 15625 396.46/397.57 c #Conflicts: 477000 | #Constraints: 16625 396.46/397.57 c #Conflicts: 478000 | #Constraints: 17625 396.46/397.57 c #Conflicts: 479000 | #Constraints: 18625 396.46/397.57 c #Conflicts: 480000 | #Constraints: 19625 396.46/397.57 c #Conflicts: 481000 | #Constraints: 20625 396.46/397.57 c #Conflicts: 482000 | #Constraints: 21625 396.46/397.57 c #Conflicts: 483000 | #Constraints: 22625 396.46/397.57 c #Conflicts: 484000 | #Constraints: 23625 396.46/397.57 c #Conflicts: 485000 | #Constraints: 24625 396.46/397.57 c #Conflicts: 486000 | #Constraints: 25625 396.46/397.57 c #Conflicts: 487000 | #Constraints: 26625 396.46/397.57 c #Conflicts: 488000 | #Constraints: 27625 396.46/397.57 c INPROCESSING 396.46/397.57 c GARBAGE COLLECT 396.46/397.57 c rational objective 0 413.92/415.04 c #Conflicts: 489000 | #Constraints: 14824 413.92/415.04 c #Conflicts: 490000 | #Constraints: 15824 413.92/415.04 c #Conflicts: 491000 | #Constraints: 16824 413.92/415.04 c #Conflicts: 492000 | #Constraints: 17824 413.92/415.04 c #Conflicts: 493000 | #Constraints: 18824 413.92/415.04 c #Conflicts: 494000 | #Constraints: 19824 413.92/415.04 c #Conflicts: 495000 | #Constraints: 20824 413.92/415.04 c #Conflicts: 496000 | #Constraints: 21824 413.92/415.04 c #Conflicts: 497000 | #Constraints: 22824 413.92/415.04 c #Conflicts: 498000 | #Constraints: 23824 413.92/415.04 c #Conflicts: 499000 | #Constraints: 24824 413.92/415.04 c #Conflicts: 500000 | #Constraints: 25824 413.92/415.04 c #Conflicts: 501000 | #Constraints: 26824 413.92/415.04 c #Conflicts: 502000 | #Constraints: 27824 413.92/415.04 c INPROCESSING 413.92/415.04 c GARBAGE COLLECT 413.92/415.04 c rational objective 0 431.37/432.56 c #Conflicts: 503000 | #Constraints: 14825 431.37/432.56 c #Conflicts: 504000 | #Constraints: 15825 431.37/432.56 c #Conflicts: 505000 | #Constraints: 16825 431.37/432.56 c #Conflicts: 506000 | #Constraints: 17825 431.37/432.56 c #Conflicts: 507000 | #Constraints: 18825 431.37/432.56 c #Conflicts: 508000 | #Constraints: 19825 431.37/432.56 c #Conflicts: 509000 | #Constraints: 20825 431.37/432.56 c #Conflicts: 510000 | #Constraints: 21825 431.37/432.56 c #Conflicts: 511000 | #Constraints: 22825 431.37/432.56 c #Conflicts: 512000 | #Constraints: 23825 431.37/432.56 c #Conflicts: 513000 | #Constraints: 24825 431.37/432.56 c #Conflicts: 514000 | #Constraints: 25825 431.37/432.56 c #Conflicts: 515000 | #Constraints: 26825 431.37/432.56 c #Conflicts: 516000 | #Constraints: 27825 431.37/432.56 c INPROCESSING 431.37/432.56 c GARBAGE COLLECT 431.37/432.56 c rational objective 0 448.83/450.00 c #Conflicts: 517000 | #Constraints: 14625 448.83/450.00 c #Conflicts: 518000 | #Constraints: 15625 448.83/450.00 c #Conflicts: 519000 | #Constraints: 16625 448.83/450.00 c #Conflicts: 520000 | #Constraints: 17625 448.83/450.00 c #Conflicts: 521000 | #Constraints: 18625 448.83/450.00 c #Conflicts: 522000 | #Constraints: 19625 448.83/450.00 c #Conflicts: 523000 | #Constraints: 20625 448.83/450.00 c #Conflicts: 524000 | #Constraints: 21625 448.83/450.00 c #Conflicts: 525000 | #Constraints: 22625 448.83/450.00 c #Conflicts: 526000 | #Constraints: 23626 448.83/450.00 c #Conflicts: 527000 | #Constraints: 24626 448.83/450.00 c #Conflicts: 528000 | #Constraints: 25626 448.83/450.00 c #Conflicts: 529000 | #Constraints: 26626 448.83/450.00 c #Conflicts: 530000 | #Constraints: 27626 448.83/450.00 c #Conflicts: 531000 | #Constraints: 28626 448.83/450.00 c INPROCESSING 448.83/450.00 c GARBAGE COLLECT 448.83/450.00 c rational objective 0 466.89/468.13 c #Conflicts: 532000 | #Constraints: 15225 466.89/468.13 c #Conflicts: 533000 | #Constraints: 16225 466.89/468.13 c #Conflicts: 534000 | #Constraints: 17225 466.89/468.13 c #Conflicts: 535000 | #Constraints: 18225 466.89/468.13 c #Conflicts: 536000 | #Constraints: 19225 466.89/468.13 c #Conflicts: 537000 | #Constraints: 20225 466.89/468.13 c #Conflicts: 538000 | #Constraints: 21225 466.89/468.13 c #Conflicts: 539000 | #Constraints: 22225 466.89/468.13 c #Conflicts: 540000 | #Constraints: 23225 466.89/468.13 c #Conflicts: 541000 | #Constraints: 24225 466.89/468.13 c #Conflicts: 542000 | #Constraints: 25225 466.89/468.13 c #Conflicts: 543000 | #Constraints: 26225 466.89/468.13 c #Conflicts: 544000 | #Constraints: 27226 466.89/468.13 c #Conflicts: 545000 | #Constraints: 28226 466.89/468.13 c #Conflicts: 546000 | #Constraints: 29226 466.89/468.13 c INPROCESSING 466.89/468.13 c GARBAGE COLLECT 466.89/468.13 c rational objective 0 485.43/486.77 c #Conflicts: 547000 | #Constraints: 15627 485.43/486.77 c #Conflicts: 548000 | #Constraints: 16627 485.43/486.77 c #Conflicts: 549000 | #Constraints: 17627 485.43/486.77 c #Conflicts: 550000 | #Constraints: 18628 485.43/486.77 c #Conflicts: 551000 | #Constraints: 19628 485.43/486.77 c #Conflicts: 552000 | #Constraints: 20628 485.43/486.77 c #Conflicts: 553000 | #Constraints: 21628 485.43/486.77 c #Conflicts: 554000 | #Constraints: 22628 485.43/486.77 c #Conflicts: 555000 | #Constraints: 23628 485.43/486.77 c #Conflicts: 556000 | #Constraints: 24628 485.43/486.77 c #Conflicts: 557000 | #Constraints: 25628 485.43/486.77 c #Conflicts: 558000 | #Constraints: 26628 485.43/486.77 c #Conflicts: 559000 | #Constraints: 27628 485.43/486.77 c #Conflicts: 560000 | #Constraints: 28628 485.43/486.77 c #Conflicts: 561000 | #Constraints: 29628 485.43/486.77 c INPROCESSING 485.43/486.77 c GARBAGE COLLECT 485.43/486.77 c rational objective 0 504.68/506.07 c #Conflicts: 562000 | #Constraints: 15826 504.68/506.07 c #Conflicts: 563000 | #Constraints: 16826 504.68/506.07 c #Conflicts: 564000 | #Constraints: 17826 504.68/506.07 c #Conflicts: 565000 | #Constraints: 18826 504.68/506.07 c #Conflicts: 566000 | #Constraints: 19826 504.68/506.07 c #Conflicts: 567000 | #Constraints: 20826 504.68/506.07 c #Conflicts: 568000 | #Constraints: 21826 504.68/506.07 c #Conflicts: 569000 | #Constraints: 22826 504.68/506.07 c #Conflicts: 570000 | #Constraints: 23826 504.68/506.07 c #Conflicts: 571000 | #Constraints: 24826 504.68/506.07 c #Conflicts: 572000 | #Constraints: 25826 504.68/506.07 c #Conflicts: 573000 | #Constraints: 26826 504.68/506.07 c #Conflicts: 574000 | #Constraints: 27826 504.68/506.07 c #Conflicts: 575000 | #Constraints: 28826 504.68/506.07 c #Conflicts: 576000 | #Constraints: 29826 504.68/506.07 c INPROCESSING 504.68/506.07 c GARBAGE COLLECT 504.68/506.07 c rational objective 0 524.22/525.68 c #Conflicts: 577000 | #Constraints: 15826 524.22/525.68 c #Conflicts: 578000 | #Constraints: 16826 524.22/525.68 c #Conflicts: 579000 | #Constraints: 17826 524.22/525.68 c #Conflicts: 580000 | #Constraints: 18826 524.22/525.68 c #Conflicts: 581000 | #Constraints: 19826 524.22/525.68 c #Conflicts: 582000 | #Constraints: 20827 524.22/525.68 c #Conflicts: 583000 | #Constraints: 21827 524.22/525.68 c #Conflicts: 584000 | #Constraints: 22827 524.22/525.68 c #Conflicts: 585000 | #Constraints: 23827 524.22/525.68 c #Conflicts: 586000 | #Constraints: 24827 524.22/525.68 c #Conflicts: 587000 | #Constraints: 25827 524.22/525.68 c #Conflicts: 588000 | #Constraints: 26827 524.22/525.68 c #Conflicts: 589000 | #Constraints: 27827 524.22/525.68 c #Conflicts: 590000 | #Constraints: 28827 524.22/525.68 c #Conflicts: 591000 | #Constraints: 29827 524.22/525.68 c INPROCESSING 524.22/525.68 c GARBAGE COLLECT 524.22/525.68 c rational objective 0 544.26/545.73 c #Conflicts: 592000 | #Constraints: 15625 544.26/545.73 c #Conflicts: 593000 | #Constraints: 16625 544.26/545.73 c #Conflicts: 594000 | #Constraints: 17625 544.26/545.73 c #Conflicts: 595000 | #Constraints: 18625 544.26/545.73 c #Conflicts: 596000 | #Constraints: 19625 544.26/545.73 c #Conflicts: 597000 | #Constraints: 20625 544.26/545.73 c #Conflicts: 598000 | #Constraints: 21625 544.26/545.73 c #Conflicts: 599000 | #Constraints: 22625 544.26/545.73 c #Conflicts: 600000 | #Constraints: 23625 544.26/545.73 c #Conflicts: 601000 | #Constraints: 24625 544.26/545.73 c #Conflicts: 602000 | #Constraints: 25625 544.26/545.73 c #Conflicts: 603000 | #Constraints: 26625 544.26/545.73 c #Conflicts: 604000 | #Constraints: 27625 544.26/545.73 c #Conflicts: 605000 | #Constraints: 28625 544.26/545.73 c #Conflicts: 606000 | #Constraints: 29625 544.26/545.73 c #Conflicts: 607000 | #Constraints: 30625 544.26/545.73 c INPROCESSING 544.26/545.73 c GARBAGE COLLECT 544.26/545.73 c rational objective 0 565.11/566.61 c #Conflicts: 608000 | #Constraints: 16227 565.11/566.61 c #Conflicts: 609000 | #Constraints: 17228 565.11/566.61 c #Conflicts: 610000 | #Constraints: 18228 565.11/566.61 c #Conflicts: 611000 | #Constraints: 19228 565.11/566.61 c #Conflicts: 612000 | #Constraints: 20228 565.11/566.61 c #Conflicts: 613000 | #Constraints: 21228 565.11/566.61 c #Conflicts: 614000 | #Constraints: 22228 565.11/566.61 c #Conflicts: 615000 | #Constraints: 23228 565.11/566.61 c #Conflicts: 616000 | #Constraints: 24228 565.11/566.61 c #Conflicts: 617000 | #Constraints: 25228 565.11/566.61 c #Conflicts: 618000 | #Constraints: 26228 565.11/566.61 c #Conflicts: 619000 | #Constraints: 27228 565.11/566.61 c #Conflicts: 620000 | #Constraints: 28228 565.11/566.61 c #Conflicts: 621000 | #Constraints: 29228 565.11/566.61 c #Conflicts: 622000 | #Constraints: 30228 565.11/566.61 c #Conflicts: 623000 | #Constraints: 31228 565.11/566.61 c INPROCESSING 565.11/566.61 c GARBAGE COLLECT 565.11/566.61 c rational objective 0 586.35/587.95 c #Conflicts: 624000 | #Constraints: 16626 586.35/587.95 c #Conflicts: 625000 | #Constraints: 17626 586.35/587.95 c #Conflicts: 626000 | #Constraints: 18626 586.35/587.95 c #Conflicts: 627000 | #Constraints: 19626 586.35/587.95 c #Conflicts: 628000 | #Constraints: 20626 586.35/587.95 c #Conflicts: 629000 | #Constraints: 21626 586.35/587.95 c #Conflicts: 630000 | #Constraints: 22626 586.35/587.95 c #Conflicts: 631000 | #Constraints: 23626 586.35/587.95 c #Conflicts: 632000 | #Constraints: 24626 586.35/587.95 c #Conflicts: 633000 | #Constraints: 25626 586.35/587.95 c #Conflicts: 634000 | #Constraints: 26626 586.35/587.95 c #Conflicts: 635000 | #Constraints: 27626 586.35/587.95 c #Conflicts: 636000 | #Constraints: 28626 586.35/587.95 c #Conflicts: 637000 | #Constraints: 29626 586.35/587.95 c #Conflicts: 638000 | #Constraints: 30626 586.35/587.95 c #Conflicts: 639000 | #Constraints: 31626 586.35/587.95 c INPROCESSING 586.35/587.95 c GARBAGE COLLECT 586.35/587.95 c rational objective 0 608.39/610.10 c #Conflicts: 640000 | #Constraints: 16826 608.39/610.10 c #Conflicts: 641000 | #Constraints: 17826 608.39/610.10 c #Conflicts: 642000 | #Constraints: 18826 608.39/610.10 c #Conflicts: 643000 | #Constraints: 19826 608.39/610.10 c #Conflicts: 644000 | #Constraints: 20826 608.39/610.10 c #Conflicts: 645000 | #Constraints: 21826 608.39/610.10 c #Conflicts: 646000 | #Constraints: 22826 608.39/610.10 c #Conflicts: 647000 | #Constraints: 23826 608.39/610.10 c #Conflicts: 648000 | #Constraints: 24826 608.39/610.10 c #Conflicts: 649000 | #Constraints: 25826 608.39/610.10 c #Conflicts: 650000 | #Constraints: 26826 608.39/610.10 c #Conflicts: 651000 | #Constraints: 27826 608.39/610.10 c #Conflicts: 652000 | #Constraints: 28826 608.39/610.10 c #Conflicts: 653000 | #Constraints: 29826 608.39/610.10 c #Conflicts: 654000 | #Constraints: 30826 608.39/610.10 c #Conflicts: 655000 | #Constraints: 31826 608.39/610.10 c INPROCESSING 608.39/610.10 c GARBAGE COLLECT 608.39/610.10 c rational objective 0 631.03/632.72 c #Conflicts: 656000 | #Constraints: 16827 631.03/632.72 c #Conflicts: 657000 | #Constraints: 17827 631.03/632.72 c #Conflicts: 658000 | #Constraints: 18827 631.03/632.72 c #Conflicts: 659000 | #Constraints: 19827 631.03/632.72 c #Conflicts: 660000 | #Constraints: 20827 631.03/632.72 c #Conflicts: 661000 | #Constraints: 21827 631.03/632.72 c #Conflicts: 662000 | #Constraints: 22827 631.03/632.72 c #Conflicts: 663000 | #Constraints: 23827 631.03/632.72 c #Conflicts: 664000 | #Constraints: 24827 631.03/632.72 c #Conflicts: 665000 | #Constraints: 25827 631.03/632.72 c #Conflicts: 666000 | #Constraints: 26827 631.03/632.72 c #Conflicts: 667000 | #Constraints: 27827 631.03/632.72 c #Conflicts: 668000 | #Constraints: 28827 631.03/632.72 c #Conflicts: 669000 | #Constraints: 29827 631.03/632.72 c #Conflicts: 670000 | #Constraints: 30827 631.03/632.72 c #Conflicts: 671000 | #Constraints: 31828 631.03/632.72 c INPROCESSING 631.03/632.72 c GARBAGE COLLECT 631.03/632.72 c rational objective 0 653.97/655.73 c #Conflicts: 672000 | #Constraints: 16627 653.97/655.73 c #Conflicts: 673000 | #Constraints: 17627 653.97/655.73 c #Conflicts: 674000 | #Constraints: 18627 653.97/655.73 c #Conflicts: 675000 | #Constraints: 19627 653.97/655.73 c #Conflicts: 676000 | #Constraints: 20627 653.97/655.73 c #Conflicts: 677000 | #Constraints: 21627 653.97/655.73 c #Conflicts: 678000 | #Constraints: 22627 653.97/655.73 c #Conflicts: 679000 | #Constraints: 23627 653.97/655.73 c #Conflicts: 680000 | #Constraints: 24627 653.97/655.73 c #Conflicts: 681000 | #Constraints: 25627 653.97/655.73 c #Conflicts: 682000 | #Constraints: 26627 653.97/655.73 c #Conflicts: 683000 | #Constraints: 27627 653.97/655.73 c #Conflicts: 684000 | #Constraints: 28627 653.97/655.73 c #Conflicts: 685000 | #Constraints: 29627 653.97/655.73 c #Conflicts: 686000 | #Constraints: 30627 653.97/655.73 c #Conflicts: 687000 | #Constraints: 31627 653.97/655.73 c #Conflicts: 688000 | #Constraints: 32627 653.97/655.73 c INPROCESSING 653.97/655.73 c GARBAGE COLLECT 653.97/655.73 c rational objective 0 678.00/679.82 c #Conflicts: 689000 | #Constraints: 17226 678.00/679.82 c #Conflicts: 690000 | #Constraints: 18226 678.00/679.82 c #Conflicts: 691000 | #Constraints: 19227 678.00/679.82 c #Conflicts: 692000 | #Constraints: 20227 678.00/679.82 c #Conflicts: 693000 | #Constraints: 21227 678.00/679.82 c #Conflicts: 694000 | #Constraints: 22228 678.00/679.82 c #Conflicts: 695000 | #Constraints: 23228 678.00/679.82 c #Conflicts: 696000 | #Constraints: 24228 678.00/679.82 c #Conflicts: 697000 | #Constraints: 25228 678.00/679.82 c #Conflicts: 698000 | #Constraints: 26228 678.00/679.82 c #Conflicts: 699000 | #Constraints: 27228 678.00/679.82 c #Conflicts: 700000 | #Constraints: 28228 678.00/679.82 c #Conflicts: 701000 | #Constraints: 29228 678.00/679.82 c #Conflicts: 702000 | #Constraints: 30228 678.00/679.82 c #Conflicts: 703000 | #Constraints: 31228 678.00/679.82 c #Conflicts: 704000 | #Constraints: 32228 678.00/679.82 c #Conflicts: 705000 | #Constraints: 33228 678.00/679.82 c INPROCESSING 678.00/679.82 c GARBAGE COLLECT 678.00/679.82 c rational objective 0 703.03/704.94 c #Conflicts: 706000 | #Constraints: 17627 703.03/704.94 c #Conflicts: 707000 | #Constraints: 18627 703.03/704.94 c #Conflicts: 708000 | #Constraints: 19627 703.03/704.94 c #Conflicts: 709000 | #Constraints: 20627 703.03/704.94 c #Conflicts: 710000 | #Constraints: 21627 703.03/704.94 c #Conflicts: 711000 | #Constraints: 22627 703.03/704.94 c #Conflicts: 712000 | #Constraints: 23627 703.03/704.94 c #Conflicts: 713000 | #Constraints: 24627 703.03/704.94 c #Conflicts: 714000 | #Constraints: 25627 703.03/704.94 c #Conflicts: 715000 | #Constraints: 26627 703.03/704.94 c #Conflicts: 716000 | #Constraints: 27627 703.03/704.94 c #Conflicts: 717000 | #Constraints: 28627 703.03/704.94 c #Conflicts: 718000 | #Constraints: 29627 703.03/704.94 c #Conflicts: 719000 | #Constraints: 30627 703.03/704.94 c #Conflicts: 720000 | #Constraints: 31627 703.03/704.94 c #Conflicts: 721000 | #Constraints: 32628 703.03/704.94 c #Conflicts: 722000 | #Constraints: 33628 703.03/704.94 c INPROCESSING 703.03/704.94 c GARBAGE COLLECT 703.03/704.94 c rational objective 0 728.76/730.74 c #Conflicts: 723000 | #Constraints: 17830 728.76/730.74 c #Conflicts: 724000 | #Constraints: 18830 728.76/730.74 c #Conflicts: 725000 | #Constraints: 19830 728.76/730.74 c #Conflicts: 726000 | #Constraints: 20830 728.76/730.74 c #Conflicts: 727000 | #Constraints: 21830 728.76/730.74 c #Conflicts: 728000 | #Constraints: 22830 728.76/730.74 c #Conflicts: 729000 | #Constraints: 23830 728.76/730.74 c #Conflicts: 730000 | #Constraints: 24830 728.76/730.74 c #Conflicts: 731000 | #Constraints: 25830 728.76/730.74 c #Conflicts: 732000 | #Constraints: 26830 728.76/730.74 c #Conflicts: 733000 | #Constraints: 27830 728.76/730.74 c #Conflicts: 734000 | #Constraints: 28830 728.76/730.74 c #Conflicts: 735000 | #Constraints: 29830 728.76/730.74 c #Conflicts: 736000 | #Constraints: 30830 728.76/730.74 c #Conflicts: 737000 | #Constraints: 31830 728.76/730.74 c #Conflicts: 738000 | #Constraints: 32830 728.76/730.74 c #Conflicts: 739000 | #Constraints: 33830 728.76/730.74 c INPROCESSING 728.76/730.74 c GARBAGE COLLECT 728.76/730.74 c rational objective 0 754.19/756.22 c #Conflicts: 740000 | #Constraints: 17830 754.19/756.22 c #Conflicts: 741000 | #Constraints: 18830 754.19/756.22 c #Conflicts: 742000 | #Constraints: 19830 754.19/756.22 c #Conflicts: 743000 | #Constraints: 20830 754.19/756.22 c #Conflicts: 744000 | #Constraints: 21830 754.19/756.22 c #Conflicts: 745000 | #Constraints: 22830 754.19/756.22 c #Conflicts: 746000 | #Constraints: 23830 754.19/756.22 c #Conflicts: 747000 | #Constraints: 24830 754.19/756.22 c #Conflicts: 748000 | #Constraints: 25830 754.19/756.22 c #Conflicts: 749000 | #Constraints: 26830 754.19/756.22 c #Conflicts: 750000 | #Constraints: 27830 754.19/756.22 c #Conflicts: 751000 | #Constraints: 28830 754.19/756.22 c #Conflicts: 752000 | #Constraints: 29830 754.19/756.22 c #Conflicts: 753000 | #Constraints: 30830 754.19/756.22 c #Conflicts: 754000 | #Constraints: 31830 754.19/756.22 c #Conflicts: 755000 | #Constraints: 32830 754.19/756.22 c #Conflicts: 756000 | #Constraints: 33830 754.19/756.22 c INPROCESSING 754.19/756.22 c GARBAGE COLLECT 754.19/756.22 c rational objective 0 780.62/782.72 c #Conflicts: 757000 | #Constraints: 17628 780.62/782.72 c #Conflicts: 758000 | #Constraints: 18628 780.62/782.72 c #Conflicts: 759000 | #Constraints: 19628 780.62/782.72 c #Conflicts: 760000 | #Constraints: 20628 780.62/782.72 c #Conflicts: 761000 | #Constraints: 21628 780.62/782.72 c #Conflicts: 762000 | #Constraints: 22628 780.62/782.72 c #Conflicts: 763000 | #Constraints: 23629 780.62/782.72 c #Conflicts: 764000 | #Constraints: 24629 780.62/782.72 c #Conflicts: 765000 | #Constraints: 25629 780.62/782.72 c #Conflicts: 766000 | #Constraints: 26629 780.62/782.72 c #Conflicts: 767000 | #Constraints: 27629 780.62/782.72 c #Conflicts: 768000 | #Constraints: 28629 780.62/782.72 c #Conflicts: 769000 | #Constraints: 29629 780.62/782.72 c #Conflicts: 770000 | #Constraints: 30629 780.62/782.72 c #Conflicts: 771000 | #Constraints: 31629 780.62/782.72 c #Conflicts: 772000 | #Constraints: 32629 780.62/782.72 c #Conflicts: 773000 | #Constraints: 33629 780.62/782.72 c #Conflicts: 774000 | #Constraints: 34629 780.62/782.72 c INPROCESSING 780.62/782.72 c GARBAGE COLLECT 780.62/782.72 c rational objective 0 808.05/810.29 c #Conflicts: 775000 | #Constraints: 18227 808.05/810.29 c #Conflicts: 776000 | #Constraints: 19227 808.05/810.29 c #Conflicts: 777000 | #Constraints: 20227 808.05/810.29 c #Conflicts: 778000 | #Constraints: 21227 808.05/810.29 c #Conflicts: 779000 | #Constraints: 22227 808.05/810.29 c #Conflicts: 780000 | #Constraints: 23227 808.05/810.29 c #Conflicts: 781000 | #Constraints: 24227 808.05/810.29 c #Conflicts: 782000 | #Constraints: 25227 808.05/810.29 c #Conflicts: 783000 | #Constraints: 26227 808.05/810.29 c #Conflicts: 784000 | #Constraints: 27227 808.05/810.29 c #Conflicts: 785000 | #Constraints: 28227 808.05/810.29 c #Conflicts: 786000 | #Constraints: 29227 808.05/810.29 c #Conflicts: 787000 | #Constraints: 30227 808.05/810.29 c #Conflicts: 788000 | #Constraints: 31227 808.05/810.29 c #Conflicts: 789000 | #Constraints: 32227 808.05/810.29 c #Conflicts: 790000 | #Constraints: 33227 808.05/810.29 c #Conflicts: 791000 | #Constraints: 34227 808.05/810.29 c #Conflicts: 792000 | #Constraints: 35227 808.05/810.29 c INPROCESSING 808.05/810.29 c GARBAGE COLLECT 808.05/810.29 c rational objective 0 835.66/837.90 c #Conflicts: 793000 | #Constraints: 18626 835.66/837.90 c #Conflicts: 794000 | #Constraints: 19626 835.66/837.90 c #Conflicts: 795000 | #Constraints: 20626 835.66/837.90 c #Conflicts: 796000 | #Constraints: 21626 835.66/837.90 c #Conflicts: 797000 | #Constraints: 22626 835.66/837.90 c #Conflicts: 798000 | #Constraints: 23626 835.66/837.90 c #Conflicts: 799000 | #Constraints: 24626 835.66/837.90 c #Conflicts: 800000 | #Constraints: 25626 835.66/837.90 c #Conflicts: 801000 | #Constraints: 26626 835.66/837.90 c #Conflicts: 802000 | #Constraints: 27626 835.66/837.90 c #Conflicts: 803000 | #Constraints: 28626 835.66/837.90 c #Conflicts: 804000 | #Constraints: 29626 835.66/837.90 c #Conflicts: 805000 | #Constraints: 30626 835.66/837.90 c #Conflicts: 806000 | #Constraints: 31626 835.66/837.90 c #Conflicts: 807000 | #Constraints: 32626 835.66/837.90 c #Conflicts: 808000 | #Constraints: 33626 835.66/837.90 c #Conflicts: 809000 | #Constraints: 34626 835.66/837.90 c #Conflicts: 810000 | #Constraints: 35626 835.66/837.90 c INPROCESSING 835.66/837.90 c GARBAGE COLLECT 835.66/837.90 c rational objective 0 863.70/866.06 c #Conflicts: 811000 | #Constraints: 18826 863.70/866.06 c #Conflicts: 812000 | #Constraints: 19826 863.70/866.06 c #Conflicts: 813000 | #Constraints: 20826 863.70/866.06 c #Conflicts: 814000 | #Constraints: 21826 863.70/866.06 c #Conflicts: 815000 | #Constraints: 22826 863.70/866.06 c #Conflicts: 816000 | #Constraints: 23826 863.70/866.06 c #Conflicts: 817000 | #Constraints: 24826 863.70/866.06 c #Conflicts: 818000 | #Constraints: 25826 863.70/866.06 c #Conflicts: 819000 | #Constraints: 26826 863.70/866.06 c #Conflicts: 820000 | #Constraints: 27826 863.70/866.06 c #Conflicts: 821000 | #Constraints: 28826 863.70/866.06 c #Conflicts: 822000 | #Constraints: 29827 863.70/866.06 c #Conflicts: 823000 | #Constraints: 30827 863.70/866.06 c #Conflicts: 824000 | #Constraints: 31827 863.70/866.06 c #Conflicts: 825000 | #Constraints: 32827 863.70/866.06 c #Conflicts: 826000 | #Constraints: 33827 863.70/866.06 c #Conflicts: 827000 | #Constraints: 34827 863.70/866.06 c #Conflicts: 828000 | #Constraints: 35827 863.70/866.06 c INPROCESSING 863.70/866.06 c GARBAGE COLLECT 863.70/866.06 c rational objective 0 893.91/896.35 c #Conflicts: 829000 | #Constraints: 18828 893.91/896.35 c #Conflicts: 830000 | #Constraints: 19828 893.91/896.35 c #Conflicts: 831000 | #Constraints: 20828 893.91/896.35 c #Conflicts: 832000 | #Constraints: 21828 893.91/896.35 c #Conflicts: 833000 | #Constraints: 22828 893.91/896.35 c #Conflicts: 834000 | #Constraints: 23828 893.91/896.35 c #Conflicts: 835000 | #Constraints: 24828 893.91/896.35 c #Conflicts: 836000 | #Constraints: 25828 893.91/896.35 c #Conflicts: 837000 | #Constraints: 26828 893.91/896.35 c #Conflicts: 838000 | #Constraints: 27828 893.91/896.35 c #Conflicts: 839000 | #Constraints: 28828 893.91/896.35 c #Conflicts: 840000 | #Constraints: 29828 893.91/896.35 c #Conflicts: 841000 | #Constraints: 30828 893.91/896.35 c #Conflicts: 842000 | #Constraints: 31828 893.91/896.35 c #Conflicts: 843000 | #Constraints: 32828 893.91/896.35 c #Conflicts: 844000 | #Constraints: 33828 893.91/896.35 c #Conflicts: 845000 | #Constraints: 34828 893.91/896.35 c #Conflicts: 846000 | #Constraints: 35828 893.91/896.35 c INPROCESSING 893.91/896.35 c GARBAGE COLLECT 893.91/896.35 c rational objective 0 923.03/925.58 c #Conflicts: 847000 | #Constraints: 18627 923.03/925.58 c #Conflicts: 848000 | #Constraints: 19627 923.03/925.58 c #Conflicts: 849000 | #Constraints: 20627 923.03/925.58 c #Conflicts: 850000 | #Constraints: 21627 923.03/925.58 c #Conflicts: 851000 | #Constraints: 22627 923.03/925.58 c #Conflicts: 852000 | #Constraints: 23627 923.03/925.58 c #Conflicts: 853000 | #Constraints: 24627 923.03/925.58 c #Conflicts: 854000 | #Constraints: 25627 923.03/925.58 c #Conflicts: 855000 | #Constraints: 26627 923.03/925.58 c #Conflicts: 856000 | #Constraints: 27627 923.03/925.58 c #Conflicts: 857000 | #Constraints: 28627 923.03/925.58 c #Conflicts: 858000 | #Constraints: 29627 923.03/925.58 c #Conflicts: 859000 | #Constraints: 30627 923.03/925.58 c #Conflicts: 860000 | #Constraints: 31627 923.03/925.58 c #Conflicts: 861000 | #Constraints: 32627 923.03/925.58 c #Conflicts: 862000 | #Constraints: 33627 923.03/925.58 c #Conflicts: 863000 | #Constraints: 34627 923.03/925.58 c #Conflicts: 864000 | #Constraints: 35627 923.03/925.58 c #Conflicts: 865000 | #Constraints: 36627 923.03/925.58 c INPROCESSING 923.03/925.58 c GARBAGE COLLECT 923.03/925.58 c rational objective 0 953.04/955.67 c #Conflicts: 866000 | #Constraints: 19229 953.04/955.67 c #Conflicts: 867000 | #Constraints: 20229 953.04/955.67 c #Conflicts: 868000 | #Constraints: 21229 953.04/955.67 c #Conflicts: 869000 | #Constraints: 22229 953.04/955.67 c #Conflicts: 870000 | #Constraints: 23229 953.04/955.67 c #Conflicts: 871000 | #Constraints: 24229 953.04/955.67 c #Conflicts: 872000 | #Constraints: 25229 953.04/955.67 c #Conflicts: 873000 | #Constraints: 26229 953.04/955.67 c #Conflicts: 874000 | #Constraints: 27229 953.04/955.67 c #Conflicts: 875000 | #Constraints: 28229 953.04/955.67 c #Conflicts: 876000 | #Constraints: 29229 953.04/955.67 c #Conflicts: 877000 | #Constraints: 30229 953.04/955.67 c #Conflicts: 878000 | #Constraints: 31229 953.04/955.67 c #Conflicts: 879000 | #Constraints: 32229 953.04/955.67 c #Conflicts: 880000 | #Constraints: 33229 953.04/955.67 c #Conflicts: 881000 | #Constraints: 34229 953.04/955.67 c #Conflicts: 882000 | #Constraints: 35229 953.04/955.67 c #Conflicts: 883000 | #Constraints: 36229 953.04/955.67 c #Conflicts: 884000 | #Constraints: 37229 953.04/955.67 c INPROCESSING 953.04/955.67 c GARBAGE COLLECT 953.04/955.67 c rational objective 0 984.26/986.97 c #Conflicts: 885000 | #Constraints: 19629 984.26/986.97 c #Conflicts: 886000 | #Constraints: 20629 984.26/986.97 c #Conflicts: 887000 | #Constraints: 21629 984.26/986.97 c #Conflicts: 888000 | #Constraints: 22629 984.26/986.97 c #Conflicts: 889000 | #Constraints: 23629 984.26/986.97 c #Conflicts: 890000 | #Constraints: 24629 984.26/986.97 c #Conflicts: 891000 | #Constraints: 25629 984.26/986.97 c #Conflicts: 892000 | #Constraints: 26629 984.26/986.97 c #Conflicts: 893000 | #Constraints: 27629 984.26/986.97 c #Conflicts: 894000 | #Constraints: 28629 984.26/986.97 c #Conflicts: 895000 | #Constraints: 29629 984.26/986.97 c #Conflicts: 896000 | #Constraints: 30629 984.26/986.97 c #Conflicts: 897000 | #Constraints: 31629 984.26/986.97 c #Conflicts: 898000 | #Constraints: 32629 984.26/986.97 c #Conflicts: 899000 | #Constraints: 33629 984.26/986.97 c #Conflicts: 900000 | #Constraints: 34629 984.26/986.97 c #Conflicts: 901000 | #Constraints: 35629 984.26/986.97 c #Conflicts: 902000 | #Constraints: 36629 984.26/986.97 c #Conflicts: 903000 | #Constraints: 37629 984.26/986.97 c INPROCESSING 984.26/986.97 c GARBAGE COLLECT 984.26/986.97 c rational objective 0 1015.77/1018.51 c #Conflicts: 904000 | #Constraints: 19825 1015.77/1018.51 c #Conflicts: 905000 | #Constraints: 20825 1015.77/1018.51 c #Conflicts: 906000 | #Constraints: 21825 1015.77/1018.51 c #Conflicts: 907000 | #Constraints: 22825 1015.77/1018.51 c #Conflicts: 908000 | #Constraints: 23825 1015.77/1018.51 c #Conflicts: 909000 | #Constraints: 24825 1015.77/1018.51 c #Conflicts: 910000 | #Constraints: 25825 1015.77/1018.51 c #Conflicts: 911000 | #Constraints: 26825 1015.77/1018.51 c #Conflicts: 912000 | #Constraints: 27825 1015.77/1018.51 c #Conflicts: 913000 | #Constraints: 28825 1015.77/1018.51 c #Conflicts: 914000 | #Constraints: 29825 1015.77/1018.51 c #Conflicts: 915000 | #Constraints: 30825 1015.77/1018.51 c #Conflicts: 916000 | #Constraints: 31825 1015.77/1018.51 c #Conflicts: 917000 | #Constraints: 32825 1015.77/1018.51 c #Conflicts: 918000 | #Constraints: 33825 1015.77/1018.51 c #Conflicts: 919000 | #Constraints: 34825 1015.77/1018.51 c #Conflicts: 920000 | #Constraints: 35826 1015.77/1018.51 c #Conflicts: 921000 | #Constraints: 36826 1015.77/1018.51 c #Conflicts: 922000 | #Constraints: 37826 1015.77/1018.51 c INPROCESSING 1015.77/1018.51 c GARBAGE COLLECT 1015.77/1018.51 c rational objective 0 1049.67/1052.55 c #Conflicts: 923000 | #Constraints: 19826 1049.67/1052.55 c #Conflicts: 924000 | #Constraints: 20826 1049.67/1052.55 c #Conflicts: 925000 | #Constraints: 21826 1049.67/1052.55 c #Conflicts: 926000 | #Constraints: 22826 1049.67/1052.55 c #Conflicts: 927000 | #Constraints: 23826 1049.67/1052.55 c #Conflicts: 928000 | #Constraints: 24826 1049.67/1052.55 c #Conflicts: 929000 | #Constraints: 25826 1049.67/1052.55 c #Conflicts: 930000 | #Constraints: 26826 1049.67/1052.55 c #Conflicts: 931000 | #Constraints: 27826 1049.67/1052.55 c #Conflicts: 932000 | #Constraints: 28826 1049.67/1052.55 c #Conflicts: 933000 | #Constraints: 29826 1049.67/1052.55 c #Conflicts: 934000 | #Constraints: 30826 1049.67/1052.55 c #Conflicts: 935000 | #Constraints: 31826 1049.67/1052.55 c #Conflicts: 936000 | #Constraints: 32826 1049.67/1052.55 c #Conflicts: 937000 | #Constraints: 33826 1049.67/1052.55 c #Conflicts: 938000 | #Constraints: 34826 1049.67/1052.55 c #Conflicts: 939000 | #Constraints: 35826 1049.67/1052.55 c #Conflicts: 940000 | #Constraints: 36826 1049.67/1052.55 c #Conflicts: 941000 | #Constraints: 37826 1049.67/1052.55 c INPROCESSING 1049.67/1052.55 c GARBAGE COLLECT 1049.67/1052.55 c rational objective 0 1083.67/1086.70 c #Conflicts: 942000 | #Constraints: 19627 1083.67/1086.70 c #Conflicts: 943000 | #Constraints: 20627 1083.67/1086.70 c #Conflicts: 944000 | #Constraints: 21627 1083.67/1086.70 c #Conflicts: 945000 | #Constraints: 22627 1083.67/1086.70 c #Conflicts: 946000 | #Constraints: 23627 1083.67/1086.70 c #Conflicts: 947000 | #Constraints: 24627 1083.67/1086.70 c #Conflicts: 948000 | #Constraints: 25627 1083.67/1086.70 c #Conflicts: 949000 | #Constraints: 26627 1083.67/1086.70 c #Conflicts: 950000 | #Constraints: 27627 1083.67/1086.70 c #Conflicts: 951000 | #Constraints: 28627 1083.67/1086.70 c #Conflicts: 952000 | #Constraints: 29627 1083.67/1086.70 c #Conflicts: 953000 | #Constraints: 30627 1083.67/1086.70 c #Conflicts: 954000 | #Constraints: 31627 1083.67/1086.70 c #Conflicts: 955000 | #Constraints: 32627 1083.67/1086.70 c #Conflicts: 956000 | #Constraints: 33627 1083.67/1086.70 c #Conflicts: 957000 | #Constraints: 34627 1083.67/1086.70 c #Conflicts: 958000 | #Constraints: 35627 1083.67/1086.70 c #Conflicts: 959000 | #Constraints: 36627 1083.67/1086.70 c #Conflicts: 960000 | #Constraints: 37627 1083.67/1086.70 c #Conflicts: 961000 | #Constraints: 38627 1083.67/1086.70 c INPROCESSING 1083.67/1086.70 c GARBAGE COLLECT 1083.67/1086.70 c rational objective 0 1117.58/1120.68 c #Conflicts: 962000 | #Constraints: 20229 1117.58/1120.68 c #Conflicts: 963000 | #Constraints: 21229 1117.58/1120.68 c #Conflicts: 964000 | #Constraints: 22229 1117.58/1120.68 c #Conflicts: 965000 | #Constraints: 23229 1117.58/1120.68 c #Conflicts: 966000 | #Constraints: 24229 1117.58/1120.68 c #Conflicts: 967000 | #Constraints: 25229 1117.58/1120.68 c #Conflicts: 968000 | #Constraints: 26229 1117.58/1120.68 c #Conflicts: 969000 | #Constraints: 27229 1117.58/1120.68 c #Conflicts: 970000 | #Constraints: 28229 1117.58/1120.68 c #Conflicts: 971000 | #Constraints: 29229 1117.58/1120.68 c #Conflicts: 972000 | #Constraints: 30229 1117.58/1120.68 c #Conflicts: 973000 | #Constraints: 31229 1117.58/1120.68 c #Conflicts: 974000 | #Constraints: 32229 1117.58/1120.68 c #Conflicts: 975000 | #Constraints: 33229 1117.58/1120.68 c #Conflicts: 976000 | #Constraints: 34229 1117.58/1120.68 c #Conflicts: 977000 | #Constraints: 35229 1117.58/1120.68 c #Conflicts: 978000 | #Constraints: 36229 1117.58/1120.68 c #Conflicts: 979000 | #Constraints: 37229 1117.58/1120.68 c #Conflicts: 980000 | #Constraints: 38229 1117.58/1120.68 c #Conflicts: 981000 | #Constraints: 39229 1117.58/1120.68 c INPROCESSING 1117.58/1120.68 c GARBAGE COLLECT 1117.58/1120.68 c rational objective 0 1152.49/1155.65 c #Conflicts: 982000 | #Constraints: 20628 1152.49/1155.65 c #Conflicts: 983000 | #Constraints: 21628 1152.49/1155.65 c #Conflicts: 984000 | #Constraints: 22628 1152.49/1155.65 c #Conflicts: 985000 | #Constraints: 23628 1152.49/1155.65 c #Conflicts: 986000 | #Constraints: 24628 1152.49/1155.65 c #Conflicts: 987000 | #Constraints: 25628 1152.49/1155.65 c #Conflicts: 988000 | #Constraints: 26628 1152.49/1155.65 c #Conflicts: 989000 | #Constraints: 27628 1152.49/1155.65 c #Conflicts: 990000 | #Constraints: 28628 1152.49/1155.65 c #Conflicts: 991000 | #Constraints: 29628 1152.49/1155.65 c #Conflicts: 992000 | #Constraints: 30628 1152.49/1155.65 c #Conflicts: 993000 | #Constraints: 31628 1152.49/1155.65 c #Conflicts: 994000 | #Constraints: 32628 1152.49/1155.65 c #Conflicts: 995000 | #Constraints: 33628 1152.49/1155.65 c #Conflicts: 996000 | #Constraints: 34628 1152.49/1155.65 c #Conflicts: 997000 | #Constraints: 35628 1152.49/1155.65 c #Conflicts: 998000 | #Constraints: 36628 1152.49/1155.65 c #Conflicts: 999000 | #Constraints: 37628 1152.49/1155.65 c #Conflicts: 1000000 | #Constraints: 38628 1152.49/1155.65 c #Conflicts: 1001000 | #Constraints: 39628 1152.49/1155.65 c INPROCESSING 1152.49/1155.65 c GARBAGE COLLECT 1152.49/1155.65 c rational objective 0 1188.88/1192.14 c #Conflicts: 1002000 | #Constraints: 20829 1188.88/1192.14 c #Conflicts: 1003000 | #Constraints: 21829 1188.88/1192.14 c #Conflicts: 1004000 | #Constraints: 22829 1188.88/1192.14 c #Conflicts: 1005000 | #Constraints: 23830 1188.88/1192.14 c #Conflicts: 1006000 | #Constraints: 24830 1188.88/1192.14 c #Conflicts: 1007000 | #Constraints: 25830 1188.88/1192.14 c #Conflicts: 1008000 | #Constraints: 26830 1188.88/1192.14 c #Conflicts: 1009000 | #Constraints: 27830 1188.88/1192.14 c #Conflicts: 1010000 | #Constraints: 28830 1188.88/1192.14 c #Conflicts: 1011000 | #Constraints: 29830 1188.88/1192.14 c #Conflicts: 1012000 | #Constraints: 30831 1188.88/1192.14 c #Conflicts: 1013000 | #Constraints: 31831 1188.88/1192.14 c #Conflicts: 1014000 | #Constraints: 32831 1188.88/1192.14 c #Conflicts: 1015000 | #Constraints: 33831 1188.88/1192.14 c #Conflicts: 1016000 | #Constraints: 34831 1188.88/1192.14 c #Conflicts: 1017000 | #Constraints: 35831 1188.88/1192.14 c #Conflicts: 1018000 | #Constraints: 36831 1188.88/1192.14 c #Conflicts: 1019000 | #Constraints: 37831 1188.88/1192.14 c #Conflicts: 1020000 | #Constraints: 38831 1188.88/1192.14 c #Conflicts: 1021000 | #Constraints: 39831 1188.88/1192.14 c INPROCESSING 1188.88/1192.14 c GARBAGE COLLECT 1188.88/1192.14 c rational objective 0 1225.79/1229.14 c #Conflicts: 1022000 | #Constraints: 20831 1225.79/1229.14 c #Conflicts: 1023000 | #Constraints: 21831 1225.79/1229.14 c #Conflicts: 1024000 | #Constraints: 22831 1225.79/1229.14 c #Conflicts: 1025000 | #Constraints: 23831 1225.79/1229.14 c #Conflicts: 1026000 | #Constraints: 24831 1225.79/1229.14 c #Conflicts: 1027000 | #Constraints: 25831 1225.79/1229.14 c #Conflicts: 1028000 | #Constraints: 26831 1225.79/1229.14 c #Conflicts: 1029000 | #Constraints: 27831 1225.79/1229.14 c #Conflicts: 1030000 | #Constraints: 28831 1225.79/1229.14 c #Conflicts: 1031000 | #Constraints: 29831 1225.79/1229.14 c #Conflicts: 1032000 | #Constraints: 30831 1225.79/1229.14 c #Conflicts: 1033000 | #Constraints: 31831 1225.79/1229.14 c #Conflicts: 1034000 | #Constraints: 32831 1225.79/1229.14 c #Conflicts: 1035000 | #Constraints: 33831 1225.79/1229.14 c #Conflicts: 1036000 | #Constraints: 34831 1225.79/1229.14 c #Conflicts: 1037000 | #Constraints: 35831 1225.79/1229.14 c #Conflicts: 1038000 | #Constraints: 36831 1225.79/1229.14 c #Conflicts: 1039000 | #Constraints: 37831 1225.79/1229.14 c #Conflicts: 1040000 | #Constraints: 38831 1225.79/1229.14 c #Conflicts: 1041000 | #Constraints: 39831 1225.79/1229.14 c INPROCESSING 1225.79/1229.14 c GARBAGE COLLECT 1225.79/1229.14 c rational objective 0 1263.87/1267.36 c #Conflicts: 1042000 | #Constraints: 20629 1263.87/1267.36 c #Conflicts: 1043000 | #Constraints: 21629 1263.87/1267.36 c #Conflicts: 1044000 | #Constraints: 22629 1263.87/1267.36 c #Conflicts: 1045000 | #Constraints: 23629 1263.87/1267.36 c #Conflicts: 1046000 | #Constraints: 24629 1263.87/1267.36 c #Conflicts: 1047000 | #Constraints: 25629 1263.87/1267.36 c #Conflicts: 1048000 | #Constraints: 26629 1263.87/1267.36 c #Conflicts: 1049000 | #Constraints: 27629 1263.87/1267.36 c #Conflicts: 1050000 | #Constraints: 28629 1263.87/1267.36 c #Conflicts: 1051000 | #Constraints: 29629 1263.87/1267.36 c #Conflicts: 1052000 | #Constraints: 30629 1263.87/1267.36 c #Conflicts: 1053000 | #Constraints: 31629 1263.87/1267.36 c #Conflicts: 1054000 | #Constraints: 32629 1263.87/1267.36 c #Conflicts: 1055000 | #Constraints: 33629 1263.87/1267.36 c #Conflicts: 1056000 | #Constraints: 34629 1263.87/1267.36 c #Conflicts: 1057000 | #Constraints: 35629 1263.87/1267.36 c #Conflicts: 1058000 | #Constraints: 36629 1263.87/1267.36 c #Conflicts: 1059000 | #Constraints: 37629 1263.87/1267.36 c #Conflicts: 1060000 | #Constraints: 38629 1263.87/1267.36 c #Conflicts: 1061000 | #Constraints: 39629 1263.87/1267.36 c #Conflicts: 1062000 | #Constraints: 40629 1263.87/1267.36 c INPROCESSING 1263.87/1267.36 c GARBAGE COLLECT 1263.87/1267.36 c rational objective 0 1302.27/1305.89 c #Conflicts: 1063000 | #Constraints: 21227 1302.27/1305.89 c #Conflicts: 1064000 | #Constraints: 22227 1302.27/1305.89 c #Conflicts: 1065000 | #Constraints: 23227 1302.27/1305.89 c #Conflicts: 1066000 | #Constraints: 24227 1302.27/1305.89 c #Conflicts: 1067000 | #Constraints: 25227 1302.27/1305.89 c #Conflicts: 1068000 | #Constraints: 26227 1302.27/1305.89 c #Conflicts: 1069000 | #Constraints: 27227 1302.27/1305.89 c #Conflicts: 1070000 | #Constraints: 28227 1302.27/1305.89 c #Conflicts: 1071000 | #Constraints: 29227 1302.27/1305.89 c #Conflicts: 1072000 | #Constraints: 30227 1302.27/1305.89 c #Conflicts: 1073000 | #Constraints: 31227 1302.27/1305.89 c #Conflicts: 1074000 | #Constraints: 32227 1302.27/1305.89 c #Conflicts: 1075000 | #Constraints: 33227 1302.27/1305.89 c #Conflicts: 1076000 | #Constraints: 34227 1302.27/1305.89 c #Conflicts: 1077000 | #Constraints: 35227 1302.27/1305.89 c #Conflicts: 1078000 | #Constraints: 36227 1302.27/1305.89 c #Conflicts: 1079000 | #Constraints: 37227 1302.27/1305.89 c #Conflicts: 1080000 | #Constraints: 38227 1302.27/1305.89 c #Conflicts: 1081000 | #Constraints: 39227 1302.27/1305.89 c #Conflicts: 1082000 | #Constraints: 40227 1302.27/1305.89 c #Conflicts: 1083000 | #Constraints: 41227 1302.27/1305.89 c INPROCESSING 1302.27/1305.89 c GARBAGE COLLECT 1302.27/1305.89 c rational objective 0 1341.86/1345.51 c #Conflicts: 1084000 | #Constraints: 21626 1341.86/1345.51 c #Conflicts: 1085000 | #Constraints: 22626 1341.86/1345.51 c #Conflicts: 1086000 | #Constraints: 23626 1341.86/1345.51 c #Conflicts: 1087000 | #Constraints: 24626 1341.86/1345.51 c #Conflicts: 1088000 | #Constraints: 25627 1341.86/1345.51 c #Conflicts: 1089000 | #Constraints: 26627 1341.86/1345.51 c #Conflicts: 1090000 | #Constraints: 27627 1341.86/1345.51 c #Conflicts: 1091000 | #Constraints: 28627 1341.86/1345.51 c #Conflicts: 1092000 | #Constraints: 29627 1341.86/1345.51 c #Conflicts: 1093000 | #Constraints: 30627 1341.86/1345.51 c #Conflicts: 1094000 | #Constraints: 31627 1341.86/1345.51 c #Conflicts: 1095000 | #Constraints: 32627 1341.86/1345.51 c #Conflicts: 1096000 | #Constraints: 33627 1341.86/1345.51 c #Conflicts: 1097000 | #Constraints: 34627 1341.86/1345.51 c #Conflicts: 1098000 | #Constraints: 35627 1341.86/1345.51 c #Conflicts: 1099000 | #Constraints: 36627 1341.86/1345.51 c #Conflicts: 1100000 | #Constraints: 37627 1341.86/1345.51 c #Conflicts: 1101000 | #Constraints: 38627 1341.86/1345.51 c #Conflicts: 1102000 | #Constraints: 39627 1341.86/1345.51 c #Conflicts: 1103000 | #Constraints: 40627 1341.86/1345.51 c #Conflicts: 1104000 | #Constraints: 41627 1341.86/1345.51 c INPROCESSING 1341.86/1345.51 c GARBAGE COLLECT 1341.86/1345.51 c rational objective 0 1381.75/1385.53 c #Conflicts: 1105000 | #Constraints: 21830 1381.75/1385.53 c #Conflicts: 1106000 | #Constraints: 22830 1381.75/1385.53 c #Conflicts: 1107000 | #Constraints: 23830 1381.75/1385.53 c #Conflicts: 1108000 | #Constraints: 24830 1381.75/1385.53 c #Conflicts: 1109000 | #Constraints: 25831 1381.75/1385.53 c #Conflicts: 1110000 | #Constraints: 26831 1381.75/1385.53 c #Conflicts: 1111000 | #Constraints: 27831 1381.75/1385.53 c #Conflicts: 1112000 | #Constraints: 28831 1381.75/1385.53 c #Conflicts: 1113000 | #Constraints: 29831 1381.75/1385.53 c #Conflicts: 1114000 | #Constraints: 30831 1381.75/1385.53 c #Conflicts: 1115000 | #Constraints: 31831 1381.75/1385.53 c #Conflicts: 1116000 | #Constraints: 32831 1381.75/1385.53 c #Conflicts: 1117000 | #Constraints: 33831 1381.75/1385.53 c #Conflicts: 1118000 | #Constraints: 34831 1381.75/1385.53 c #Conflicts: 1119000 | #Constraints: 35831 1381.75/1385.53 c #Conflicts: 1120000 | #Constraints: 36831 1381.75/1385.53 c #Conflicts: 1121000 | #Constraints: 37831 1381.75/1385.53 c #Conflicts: 1122000 | #Constraints: 38831 1381.75/1385.53 c #Conflicts: 1123000 | #Constraints: 39831 1381.75/1385.53 c #Conflicts: 1124000 | #Constraints: 40831 1381.75/1385.53 c #Conflicts: 1125000 | #Constraints: 41831 1381.75/1385.53 c INPROCESSING 1381.75/1385.53 c GARBAGE COLLECT 1381.75/1385.53 c rational objective 0 1420.35/1424.20 c #Conflicts: 1126000 | #Constraints: 21828 1420.35/1424.20 c #Conflicts: 1127000 | #Constraints: 22828 1420.35/1424.20 c #Conflicts: 1128000 | #Constraints: 23828 1420.35/1424.20 c #Conflicts: 1129000 | #Constraints: 24828 1420.35/1424.20 c #Conflicts: 1130000 | #Constraints: 25828 1420.35/1424.20 c #Conflicts: 1131000 | #Constraints: 26828 1420.35/1424.20 c #Conflicts: 1132000 | #Constraints: 27828 1420.35/1424.20 c #Conflicts: 1133000 | #Constraints: 28828 1420.35/1424.20 c #Conflicts: 1134000 | #Constraints: 29828 1420.35/1424.20 c #Conflicts: 1135000 | #Constraints: 30828 1420.35/1424.20 c #Conflicts: 1136000 | #Constraints: 31828 1420.35/1424.20 c #Conflicts: 1137000 | #Constraints: 32828 1420.35/1424.20 c #Conflicts: 1138000 | #Constraints: 33828 1420.35/1424.20 c #Conflicts: 1139000 | #Constraints: 34828 1420.35/1424.20 c #Conflicts: 1140000 | #Constraints: 35828 1420.35/1424.20 c #Conflicts: 1141000 | #Constraints: 36829 1420.35/1424.20 c #Conflicts: 1142000 | #Constraints: 37829 1420.35/1424.20 c #Conflicts: 1143000 | #Constraints: 38829 1420.35/1424.20 c #Conflicts: 1144000 | #Constraints: 39829 1420.35/1424.20 c #Conflicts: 1145000 | #Constraints: 40829 1420.35/1424.20 c #Conflicts: 1146000 | #Constraints: 41829 1420.35/1424.20 c INPROCESSING 1420.35/1424.20 c GARBAGE COLLECT 1420.35/1424.20 c rational objective 0 1459.33/1463.36 c #Conflicts: 1147000 | #Constraints: 21628 1459.33/1463.36 c #Conflicts: 1148000 | #Constraints: 22628 1459.33/1463.36 c #Conflicts: 1149000 | #Constraints: 23628 1459.33/1463.36 c #Conflicts: 1150000 | #Constraints: 24628 1459.33/1463.36 c #Conflicts: 1151000 | #Constraints: 25628 1459.33/1463.36 c #Conflicts: 1152000 | #Constraints: 26628 1459.33/1463.36 c #Conflicts: 1153000 | #Constraints: 27628 1459.33/1463.36 c #Conflicts: 1154000 | #Constraints: 28628 1459.33/1463.36 c #Conflicts: 1155000 | #Constraints: 29628 1459.33/1463.36 c #Conflicts: 1156000 | #Constraints: 30628 1459.33/1463.36 c #Conflicts: 1157000 | #Constraints: 31628 1459.33/1463.36 c #Conflicts: 1158000 | #Constraints: 32628 1459.33/1463.36 c #Conflicts: 1159000 | #Constraints: 33628 1459.33/1463.36 c #Conflicts: 1160000 | #Constraints: 34628 1459.33/1463.36 c #Conflicts: 1161000 | #Constraints: 35629 1459.33/1463.36 c #Conflicts: 1162000 | #Constraints: 36629 1459.33/1463.36 c #Conflicts: 1163000 | #Constraints: 37629 1459.33/1463.36 c #Conflicts: 1164000 | #Constraints: 38629 1459.33/1463.36 c #Conflicts: 1165000 | #Constraints: 39629 1459.33/1463.36 c #Conflicts: 1166000 | #Constraints: 40629 1459.33/1463.36 c #Conflicts: 1167000 | #Constraints: 41629 1459.33/1463.36 c #Conflicts: 1168000 | #Constraints: 42629 1459.33/1463.36 c INPROCESSING 1459.33/1463.36 c GARBAGE COLLECT 1459.33/1463.36 c rational objective 0 1499.73/1503.87 c #Conflicts: 1169000 | #Constraints: 22227 1499.73/1503.87 c #Conflicts: 1170000 | #Constraints: 23227 1499.73/1503.87 c #Conflicts: 1171000 | #Constraints: 24227 1499.73/1503.87 c #Conflicts: 1172000 | #Constraints: 25227 1499.73/1503.87 c #Conflicts: 1173000 | #Constraints: 26227 1499.73/1503.87 c #Conflicts: 1174000 | #Constraints: 27227 1499.73/1503.87 c #Conflicts: 1175000 | #Constraints: 28227 1499.73/1503.87 c #Conflicts: 1176000 | #Constraints: 29227 1499.73/1503.87 c #Conflicts: 1177000 | #Constraints: 30227 1499.73/1503.87 c #Conflicts: 1178000 | #Constraints: 31227 1499.73/1503.87 c #Conflicts: 1179000 | #Constraints: 32227 1499.73/1503.87 c #Conflicts: 1180000 | #Constraints: 33228 1499.73/1503.87 c #Conflicts: 1181000 | #Constraints: 34228 1499.73/1503.87 c #Conflicts: 1182000 | #Constraints: 35228 1499.73/1503.87 c #Conflicts: 1183000 | #Constraints: 36228 1499.73/1503.87 c #Conflicts: 1184000 | #Constraints: 37228 1499.73/1503.87 c #Conflicts: 1185000 | #Constraints: 38228 1499.73/1503.87 c #Conflicts: 1186000 | #Constraints: 39228 1499.73/1503.87 c #Conflicts: 1187000 | #Constraints: 40228 1499.73/1503.87 c #Conflicts: 1188000 | #Constraints: 41228 1499.73/1503.87 c #Conflicts: 1189000 | #Constraints: 42228 1499.73/1503.87 c #Conflicts: 1190000 | #Constraints: 43228 1499.73/1503.87 c INPROCESSING 1499.73/1503.87 c GARBAGE COLLECT 1499.73/1503.87 c rational objective 0 1540.62/1544.83 c #Conflicts: 1191000 | #Constraints: 22629 1540.62/1544.83 c #Conflicts: 1192000 | #Constraints: 23629 1540.62/1544.83 c #Conflicts: 1193000 | #Constraints: 24629 1540.62/1544.83 c #Conflicts: 1194000 | #Constraints: 25629 1540.62/1544.83 c #Conflicts: 1195000 | #Constraints: 26629 1540.62/1544.83 c #Conflicts: 1196000 | #Constraints: 27630 1540.62/1544.83 c #Conflicts: 1197000 | #Constraints: 28630 1540.62/1544.83 c #Conflicts: 1198000 | #Constraints: 29630 1540.62/1544.83 c #Conflicts: 1199000 | #Constraints: 30630 1540.62/1544.83 c #Conflicts: 1200000 | #Constraints: 31630 1540.62/1544.83 c #Conflicts: 1201000 | #Constraints: 32630 1540.62/1544.83 c #Conflicts: 1202000 | #Constraints: 33630 1540.62/1544.83 c #Conflicts: 1203000 | #Constraints: 34630 1540.62/1544.83 c #Conflicts: 1204000 | #Constraints: 35630 1540.62/1544.83 c #Conflicts: 1205000 | #Constraints: 36630 1540.62/1544.83 c #Conflicts: 1206000 | #Constraints: 37630 1540.62/1544.83 c #Conflicts: 1207000 | #Constraints: 38630 1540.62/1544.83 c #Conflicts: 1208000 | #Constraints: 39630 1540.62/1544.83 c #Conflicts: 1209000 | #Constraints: 40630 1540.62/1544.83 c #Conflicts: 1210000 | #Constraints: 41630 1540.62/1544.83 c #Conflicts: 1211000 | #Constraints: 42630 1540.62/1544.83 c #Conflicts: 1212000 | #Constraints: 43630 1540.62/1544.83 c INPROCESSING 1540.62/1544.83 c GARBAGE COLLECT 1540.62/1544.83 c rational objective 0 1583.99/1588.34 c #Conflicts: 1213000 | #Constraints: 22830 1583.99/1588.34 c #Conflicts: 1214000 | #Constraints: 23830 1583.99/1588.34 c #Conflicts: 1215000 | #Constraints: 24830 1583.99/1588.34 c #Conflicts: 1216000 | #Constraints: 25830 1583.99/1588.34 c #Conflicts: 1217000 | #Constraints: 26830 1583.99/1588.34 c #Conflicts: 1218000 | #Constraints: 27830 1583.99/1588.34 c #Conflicts: 1219000 | #Constraints: 28830 1583.99/1588.34 c #Conflicts: 1220000 | #Constraints: 29830 1583.99/1588.34 c #Conflicts: 1221000 | #Constraints: 30830 1583.99/1588.34 c #Conflicts: 1222000 | #Constraints: 31830 1583.99/1588.34 c #Conflicts: 1223000 | #Constraints: 32830 1583.99/1588.34 c #Conflicts: 1224000 | #Constraints: 33830 1583.99/1588.34 c #Conflicts: 1225000 | #Constraints: 34830 1583.99/1588.34 c #Conflicts: 1226000 | #Constraints: 35830 1583.99/1588.34 c #Conflicts: 1227000 | #Constraints: 36830 1583.99/1588.34 c #Conflicts: 1228000 | #Constraints: 37830 1583.99/1588.34 c #Conflicts: 1229000 | #Constraints: 38830 1583.99/1588.34 c #Conflicts: 1230000 | #Constraints: 39830 1583.99/1588.34 c #Conflicts: 1231000 | #Constraints: 40830 1583.99/1588.34 c #Conflicts: 1232000 | #Constraints: 41830 1583.99/1588.34 c #Conflicts: 1233000 | #Constraints: 42830 1583.99/1588.34 c #Conflicts: 1234000 | #Constraints: 43830 1583.99/1588.34 c INPROCESSING 1583.99/1588.34 c GARBAGE COLLECT 1583.99/1588.34 c rational objective 0 1625.70/1630.15 c #Conflicts: 1235000 | #Constraints: 22829 1625.70/1630.15 c #Conflicts: 1236000 | #Constraints: 23829 1625.70/1630.15 c #Conflicts: 1237000 | #Constraints: 24829 1625.70/1630.15 c #Conflicts: 1238000 | #Constraints: 25829 1625.70/1630.15 c #Conflicts: 1239000 | #Constraints: 26829 1625.70/1630.15 c #Conflicts: 1240000 | #Constraints: 27829 1625.70/1630.15 c #Conflicts: 1241000 | #Constraints: 28829 1625.70/1630.15 c #Conflicts: 1242000 | #Constraints: 29829 1625.70/1630.15 c #Conflicts: 1243000 | #Constraints: 30829 1625.70/1630.15 c #Conflicts: 1244000 | #Constraints: 31829 1625.70/1630.15 c #Conflicts: 1245000 | #Constraints: 32829 1625.70/1630.15 c #Conflicts: 1246000 | #Constraints: 33829 1625.70/1630.15 c #Conflicts: 1247000 | #Constraints: 34829 1625.70/1630.15 c #Conflicts: 1248000 | #Constraints: 35830 1625.70/1630.15 c #Conflicts: 1249000 | #Constraints: 36830 1625.70/1630.15 c #Conflicts: 1250000 | #Constraints: 37830 1625.70/1630.15 c #Conflicts: 1251000 | #Constraints: 38830 1625.70/1630.15 c #Conflicts: 1252000 | #Constraints: 39830 1625.70/1630.15 c #Conflicts: 1253000 | #Constraints: 40830 1625.70/1630.15 c #Conflicts: 1254000 | #Constraints: 41830 1625.70/1630.15 c #Conflicts: 1255000 | #Constraints: 42830 1625.70/1630.15 c #Conflicts: 1256000 | #Constraints: 43830 1625.70/1630.15 c INPROCESSING 1625.70/1630.15 c GARBAGE COLLECT 1625.70/1630.15 c rational objective 0 1667.68/1672.21 c #Conflicts: 1257000 | #Constraints: 22631 1667.68/1672.21 c #Conflicts: 1258000 | #Constraints: 23631 1667.68/1672.21 c #Conflicts: 1259000 | #Constraints: 24631 1667.68/1672.21 c #Conflicts: 1260000 | #Constraints: 25631 1667.68/1672.21 c #Conflicts: 1261000 | #Constraints: 26631 1667.68/1672.21 c #Conflicts: 1262000 | #Constraints: 27631 1667.68/1672.21 c #Conflicts: 1263000 | #Constraints: 28631 1667.68/1672.21 c #Conflicts: 1264000 | #Constraints: 29631 1667.68/1672.21 c #Conflicts: 1265000 | #Constraints: 30631 1667.68/1672.21 c #Conflicts: 1266000 | #Constraints: 31631 1667.68/1672.21 c #Conflicts: 1267000 | #Constraints: 32631 1667.68/1672.21 c #Conflicts: 1268000 | #Constraints: 33631 1667.68/1672.21 c #Conflicts: 1269000 | #Constraints: 34631 1667.68/1672.21 c #Conflicts: 1270000 | #Constraints: 35631 1667.68/1672.21 c #Conflicts: 1271000 | #Constraints: 36631 1667.68/1672.21 c #Conflicts: 1272000 | #Constraints: 37631 1667.68/1672.21 c #Conflicts: 1273000 | #Constraints: 38631 1667.68/1672.21 c #Conflicts: 1274000 | #Constraints: 39631 1667.68/1672.21 c #Conflicts: 1275000 | #Constraints: 40631 1667.68/1672.21 c #Conflicts: 1276000 | #Constraints: 41631 1667.68/1672.21 c #Conflicts: 1277000 | #Constraints: 42631 1667.68/1672.21 c #Conflicts: 1278000 | #Constraints: 43631 1667.68/1672.21 c #Conflicts: 1279000 | #Constraints: 44631 1667.68/1672.21 c INPROCESSING 1667.68/1672.21 c GARBAGE COLLECT 1667.68/1672.21 c rational objective 0 1710.88/1715.54 c #Conflicts: 1280000 | #Constraints: 23227 1710.88/1715.54 c #Conflicts: 1281000 | #Constraints: 24227 1710.88/1715.54 c #Conflicts: 1282000 | #Constraints: 25227 1710.88/1715.54 c #Conflicts: 1283000 | #Constraints: 26227 1710.88/1715.54 c #Conflicts: 1284000 | #Constraints: 27227 1710.88/1715.54 c #Conflicts: 1285000 | #Constraints: 28227 1710.88/1715.54 c #Conflicts: 1286000 | #Constraints: 29227 1710.88/1715.54 c #Conflicts: 1287000 | #Constraints: 30227 1710.88/1715.54 c #Conflicts: 1288000 | #Constraints: 31227 1710.88/1715.54 c #Conflicts: 1289000 | #Constraints: 32227 1710.88/1715.54 c #Conflicts: 1290000 | #Constraints: 33227 1710.88/1715.54 c #Conflicts: 1291000 | #Constraints: 34227 1710.88/1715.54 c #Conflicts: 1292000 | #Constraints: 35227 1710.88/1715.54 c #Conflicts: 1293000 | #Constraints: 36227 1710.88/1715.54 c #Conflicts: 1294000 | #Constraints: 37227 1710.88/1715.54 c #Conflicts: 1295000 | #Constraints: 38227 1710.88/1715.54 c #Conflicts: 1296000 | #Constraints: 39227 1710.88/1715.54 c #Conflicts: 1297000 | #Constraints: 40227 1710.88/1715.54 c #Conflicts: 1298000 | #Constraints: 41227 1710.88/1715.54 c #Conflicts: 1299000 | #Constraints: 42227 1710.88/1715.54 c #Conflicts: 1300000 | #Constraints: 43227 1710.88/1715.54 c #Conflicts: 1301000 | #Constraints: 44227 1710.88/1715.54 c #Conflicts: 1302000 | #Constraints: 45227 1710.88/1715.54 c INPROCESSING 1710.88/1715.54 c GARBAGE COLLECT 1710.88/1715.54 c rational objective 0 1755.07/1759.87 c #Conflicts: 1303000 | #Constraints: 23626 1755.07/1759.87 c #Conflicts: 1304000 | #Constraints: 24626 1755.07/1759.87 c #Conflicts: 1305000 | #Constraints: 25626 1755.07/1759.87 c #Conflicts: 1306000 | #Constraints: 26626 1755.07/1759.87 c #Conflicts: 1307000 | #Constraints: 27626 1755.07/1759.87 c #Conflicts: 1308000 | #Constraints: 28626 1755.07/1759.87 c #Conflicts: 1309000 | #Constraints: 29626 1755.07/1759.87 c #Conflicts: 1310000 | #Constraints: 30626 1755.07/1759.87 c #Conflicts: 1311000 | #Constraints: 31626 1755.07/1759.87 c #Conflicts: 1312000 | #Constraints: 32626 1755.07/1759.87 c #Conflicts: 1313000 | #Constraints: 33626 1755.07/1759.87 c #Conflicts: 1314000 | #Constraints: 34626 1755.07/1759.87 c #Conflicts: 1315000 | #Constraints: 35626 1755.07/1759.87 c #Conflicts: 1316000 | #Constraints: 36626 1755.07/1759.87 c #Conflicts: 1317000 | #Constraints: 37626 1755.07/1759.87 c #Conflicts: 1318000 | #Constraints: 38626 1755.07/1759.87 c #Conflicts: 1319000 | #Constraints: 39626 1755.07/1759.87 c #Conflicts: 1320000 | #Constraints: 40626 1755.07/1759.87 c #Conflicts: 1321000 | #Constraints: 41626 1755.07/1759.87 c #Conflicts: 1322000 | #Constraints: 42626 1755.07/1759.87 c #Conflicts: 1323000 | #Constraints: 43626 1755.07/1759.87 c #Conflicts: 1324000 | #Constraints: 44626 1755.07/1759.87 c #Conflicts: 1325000 | #Constraints: 45627 1755.07/1759.87 c INPROCESSING 1755.07/1759.87 c GARBAGE COLLECT 1755.07/1759.87 c rational objective 0 1800.35/1805.21 c #Conflicts: 1326000 | #Constraints: 23826 1800.35/1805.21 c #Conflicts: 1327000 | #Constraints: 24826 1800.35/1805.21 c #Conflicts: 1328000 | #Constraints: 25826 1800.35/1805.21 c #Conflicts: 1329000 | #Constraints: 26826 1800.35/1805.21 c #Conflicts: 1330000 | #Constraints: 27826 1800.35/1805.21 c #Conflicts: 1331000 | #Constraints: 28826 1800.35/1805.21 c #Conflicts: 1332000 | #Constraints: 29826 1800.35/1805.21 c #Conflicts: 1333000 | #Constraints: 30826 1800.35/1805.21 c #Conflicts: 1334000 | #Constraints: 31826 1800.35/1805.21 c #Conflicts: 1335000 | #Constraints: 32826 1800.35/1805.21 c #Conflicts: 1336000 | #Constraints: 33826 1800.35/1805.21 c #Conflicts: 1337000 | #Constraints: 34826 1800.35/1805.21 c #Conflicts: 1338000 | #Constraints: 35826 1800.35/1805.21 c #Conflicts: 1339000 | #Constraints: 36826 1800.35/1805.21 c #Conflicts: 1340000 | #Constraints: 37826 1800.35/1805.21 c #Conflicts: 1341000 | #Constraints: 38826 1800.35/1805.21 c #Conflicts: 1342000 | #Constraints: 39826 1800.35/1805.21 c #Conflicts: 1343000 | #Constraints: 40826 1800.35/1805.21 c #Conflicts: 1344000 | #Constraints: 41826 1800.35/1805.21 c #Conflicts: 1345000 | #Constraints: 42826 1800.35/1805.21 c #Conflicts: 1346000 | #Constraints: 43826 1800.35/1805.21 c #Conflicts: 1347000 | #Constraints: 44826 1800.35/1805.21 c #Conflicts: 1348000 | #Constraints: 45826 1800.35/1805.21 c INPROCESSING 1800.35/1805.21 c GARBAGE COLLECT 1800.35/1805.21 c rational objective 0 1846.45/1851.45 c #Conflicts: 1349000 | #Constraints: 23829 1846.45/1851.45 c #Conflicts: 1350000 | #Constraints: 24829 1846.45/1851.45 c #Conflicts: 1351000 | #Constraints: 25829 1846.45/1851.45 c #Conflicts: 1352000 | #Constraints: 26829 1846.45/1851.45 c #Conflicts: 1353000 | #Constraints: 27829 1846.45/1851.45 c #Conflicts: 1354000 | #Constraints: 28829 1846.45/1851.45 c #Conflicts: 1355000 | #Constraints: 29829 1846.45/1851.45 c #Conflicts: 1356000 | #Constraints: 30829 1846.45/1851.45 c #Conflicts: 1357000 | #Constraints: 31829 1846.45/1851.45 c #Conflicts: 1358000 | #Constraints: 32829 1846.45/1851.45 c #Conflicts: 1359000 | #Constraints: 33829 1846.45/1851.45 c #Conflicts: 1360000 | #Constraints: 34830 1846.45/1851.45 c #Conflicts: 1361000 | #Constraints: 35830 1846.45/1851.45 c #Conflicts: 1362000 | #Constraints: 36830 1846.45/1851.45 c #Conflicts: 1363000 | #Constraints: 37830 1846.45/1851.45 c #Conflicts: 1364000 | #Constraints: 38830 1846.45/1851.45 c #Conflicts: 1365000 | #Constraints: 39830 1846.45/1851.45 c #Conflicts: 1366000 | #Constraints: 40830 1846.45/1851.45 c #Conflicts: 1367000 | #Constraints: 41830 1846.45/1851.45 c #Conflicts: 1368000 | #Constraints: 42830 1846.45/1851.45 c #Conflicts: 1369000 | #Constraints: 43830 1846.45/1851.45 c #Conflicts: 1370000 | #Constraints: 44830 1846.45/1851.45 c #Conflicts: 1371000 | #Constraints: 45830 1846.45/1851.45 c INPROCESSING 1846.45/1851.45 c GARBAGE COLLECT 1846.45/1851.45 c rational objective 0 1893.03/1898.12 c #Conflicts: 1372000 | #Constraints: 23630 1893.03/1898.12 c #Conflicts: 1373000 | #Constraints: 24630 1893.03/1898.12 c #Conflicts: 1374000 | #Constraints: 25630 1893.03/1898.12 c #Conflicts: 1375000 | #Constraints: 26630 1893.03/1898.12 c #Conflicts: 1376000 | #Constraints: 27630 1893.03/1898.12 c #Conflicts: 1377000 | #Constraints: 28630 1893.03/1898.12 c #Conflicts: 1378000 | #Constraints: 29630 1893.03/1898.12 c #Conflicts: 1379000 | #Constraints: 30630 1893.03/1898.12 c #Conflicts: 1380000 | #Constraints: 31630 1893.03/1898.12 c #Conflicts: 1381000 | #Constraints: 32630 1893.03/1898.12 c #Conflicts: 1382000 | #Constraints: 33630 1893.03/1898.12 c #Conflicts: 1383000 | #Constraints: 34630 1893.03/1898.12 c #Conflicts: 1384000 | #Constraints: 35630 1893.03/1898.12 c #Conflicts: 1385000 | #Constraints: 36630 1893.03/1898.12 c #Conflicts: 1386000 | #Constraints: 37630 1893.03/1898.12 c #Conflicts: 1387000 | #Constraints: 38630 1893.03/1898.12 c #Conflicts: 1388000 | #Constraints: 39630 1893.03/1898.12 c #Conflicts: 1389000 | #Constraints: 40630 1893.03/1898.12 c #Conflicts: 1390000 | #Constraints: 41630 1893.03/1898.12 c #Conflicts: 1391000 | #Constraints: 42630 1893.03/1898.12 c #Conflicts: 1392000 | #Constraints: 43630 1893.03/1898.12 c #Conflicts: 1393000 | #Constraints: 44630 1893.03/1898.12 c #Conflicts: 1394000 | #Constraints: 45630 1893.03/1898.12 c #Conflicts: 1395000 | #Constraints: 46630 1893.03/1898.12 c INPROCESSING 1893.03/1898.12 c GARBAGE COLLECT 1893.03/1898.12 c rational objective 0 1940.81/1946.02 c #Conflicts: 1396000 | #Constraints: 24230 1940.81/1946.02 c #Conflicts: 1397000 | #Constraints: 25230 1940.81/1946.02 c #Conflicts: 1398000 | #Constraints: 26230 1940.81/1946.02 c #Conflicts: 1399000 | #Constraints: 27230 1940.81/1946.02 c #Conflicts: 1400000 | #Constraints: 28230 1940.81/1946.02 c #Conflicts: 1401000 | #Constraints: 29230 1940.81/1946.02 c #Conflicts: 1402000 | #Constraints: 30230 1940.81/1946.02 c #Conflicts: 1403000 | #Constraints: 31230 1940.81/1946.02 c #Conflicts: 1404000 | #Constraints: 32230 1940.81/1946.02 c #Conflicts: 1405000 | #Constraints: 33230 1940.81/1946.02 c #Conflicts: 1406000 | #Constraints: 34230 1940.81/1946.02 c #Conflicts: 1407000 | #Constraints: 35230 1940.81/1946.02 c #Conflicts: 1408000 | #Constraints: 36230 1940.81/1946.02 c #Conflicts: 1409000 | #Constraints: 37230 1940.81/1946.02 c #Conflicts: 1410000 | #Constraints: 38230 1940.81/1946.02 c #Conflicts: 1411000 | #Constraints: 39230 1940.81/1946.02 c #Conflicts: 1412000 | #Constraints: 40230 1940.81/1946.02 c #Conflicts: 1413000 | #Constraints: 41230 1940.81/1946.02 c #Conflicts: 1414000 | #Constraints: 42230 1940.81/1946.02 c #Conflicts: 1415000 | #Constraints: 43230 1940.81/1946.02 c #Conflicts: 1416000 | #Constraints: 44231 1940.81/1946.02 c #Conflicts: 1417000 | #Constraints: 45231 1940.81/1946.02 c #Conflicts: 1418000 | #Constraints: 46231 1940.81/1946.02 c #Conflicts: 1419000 | #Constraints: 47231 1940.81/1946.02 c INPROCESSING 1940.81/1946.02 c GARBAGE COLLECT 1940.81/1946.02 c rational objective 0 1988.38/1993.76 c #Conflicts: 1420000 | #Constraints: 24631 1988.38/1993.76 c #Conflicts: 1421000 | #Constraints: 25631 1988.38/1993.76 c #Conflicts: 1422000 | #Constraints: 26633 1988.38/1993.76 c #Conflicts: 1423000 | #Constraints: 27633 1988.38/1993.76 c #Conflicts: 1424000 | #Constraints: 28633 1988.38/1993.76 c #Conflicts: 1425000 | #Constraints: 29633 1988.38/1993.76 c #Conflicts: 1426000 | #Constraints: 30633 1988.38/1993.76 c #Conflicts: 1427000 | #Constraints: 31633 1988.38/1993.76 c #Conflicts: 1428000 | #Constraints: 32633 1988.38/1993.76 c #Conflicts: 1429000 | #Constraints: 33633 1988.38/1993.76 c #Conflicts: 1430000 | #Constraints: 34633 1988.38/1993.76 c #Conflicts: 1431000 | #Constraints: 35633 1988.38/1993.76 c #Conflicts: 1432000 | #Constraints: 36633 1988.38/1993.76 c #Conflicts: 1433000 | #Constraints: 37633 1988.38/1993.76 c #Conflicts: 1434000 | #Constraints: 38633 1988.38/1993.76 c #Conflicts: 1435000 | #Constraints: 39633 1988.38/1993.76 c #Conflicts: 1436000 | #Constraints: 40633 1988.38/1993.76 c #Conflicts: 1437000 | #Constraints: 41633 1988.38/1993.76 c #Conflicts: 1438000 | #Constraints: 42633 1988.38/1993.76 c #Conflicts: 1439000 | #Constraints: 43633 1988.38/1993.76 c #Conflicts: 1440000 | #Constraints: 44633 1988.38/1993.76 c #Conflicts: 1441000 | #Constraints: 45633 1988.38/1993.76 c #Conflicts: 1442000 | #Constraints: 46633 1988.38/1993.76 c #Conflicts: 1443000 | #Constraints: 47633 1988.38/1993.76 c INPROCESSING 1988.38/1993.76 c GARBAGE COLLECT 1988.38/1993.76 c rational objective 0 2037.96/2043.44 c #Conflicts: 1444000 | #Constraints: 24830 2037.96/2043.44 c #Conflicts: 1445000 | #Constraints: 25831 2037.96/2043.44 c #Conflicts: 1446000 | #Constraints: 26831 2037.96/2043.44 c #Conflicts: 1447000 | #Constraints: 27831 2037.96/2043.44 c #Conflicts: 1448000 | #Constraints: 28831 2037.96/2043.44 c #Conflicts: 1449000 | #Constraints: 29831 2037.96/2043.44 c #Conflicts: 1450000 | #Constraints: 30831 2037.96/2043.44 c #Conflicts: 1451000 | #Constraints: 31831 2037.96/2043.44 c #Conflicts: 1452000 | #Constraints: 32831 2037.96/2043.44 c #Conflicts: 1453000 | #Constraints: 33831 2037.96/2043.44 c #Conflicts: 1454000 | #Constraints: 34831 2037.96/2043.44 c #Conflicts: 1455000 | #Constraints: 35831 2037.96/2043.44 c #Conflicts: 1456000 | #Constraints: 36831 2037.96/2043.44 c #Conflicts: 1457000 | #Constraints: 37831 2037.96/2043.44 c #Conflicts: 1458000 | #Constraints: 38831 2037.96/2043.44 c #Conflicts: 1459000 | #Constraints: 39831 2037.96/2043.44 c #Conflicts: 1460000 | #Constraints: 40831 2037.96/2043.44 c #Conflicts: 1461000 | #Constraints: 41831 2037.96/2043.44 c #Conflicts: 1462000 | #Constraints: 42831 2037.96/2043.44 c #Conflicts: 1463000 | #Constraints: 43831 2037.96/2043.44 c #Conflicts: 1464000 | #Constraints: 44831 2037.96/2043.44 c #Conflicts: 1465000 | #Constraints: 45831 2037.96/2043.44 c #Conflicts: 1466000 | #Constraints: 46831 2037.96/2043.44 c #Conflicts: 1467000 | #Constraints: 47831 2037.96/2043.44 c INPROCESSING 2037.96/2043.44 c GARBAGE COLLECT 2037.96/2043.44 c rational objective 0 2087.73/2093.39 c #Conflicts: 1468000 | #Constraints: 24829 2087.73/2093.39 c #Conflicts: 1469000 | #Constraints: 25829 2087.73/2093.39 c #Conflicts: 1470000 | #Constraints: 26829 2087.73/2093.39 c #Conflicts: 1471000 | #Constraints: 27829 2087.73/2093.39 c #Conflicts: 1472000 | #Constraints: 28829 2087.73/2093.39 c #Conflicts: 1473000 | #Constraints: 29829 2087.73/2093.39 c #Conflicts: 1474000 | #Constraints: 30829 2087.73/2093.39 c #Conflicts: 1475000 | #Constraints: 31829 2087.73/2093.39 c #Conflicts: 1476000 | #Constraints: 32829 2087.73/2093.39 c #Conflicts: 1477000 | #Constraints: 33829 2087.73/2093.39 c #Conflicts: 1478000 | #Constraints: 34829 2087.73/2093.39 c #Conflicts: 1479000 | #Constraints: 35829 2087.73/2093.39 c #Conflicts: 1480000 | #Constraints: 36829 2087.73/2093.39 c #Conflicts: 1481000 | #Constraints: 37829 2087.73/2093.39 c #Conflicts: 1482000 | #Constraints: 38829 2087.73/2093.39 c #Conflicts: 1483000 | #Constraints: 39829 2087.73/2093.39 c #Conflicts: 1484000 | #Constraints: 40829 2087.73/2093.39 c #Conflicts: 1485000 | #Constraints: 41829 2087.73/2093.39 c #Conflicts: 1486000 | #Constraints: 42829 2087.73/2093.39 c #Conflicts: 1487000 | #Constraints: 43829 2087.73/2093.39 c #Conflicts: 1488000 | #Constraints: 44829 2087.73/2093.39 c #Conflicts: 1489000 | #Constraints: 45829 2087.73/2093.39 c #Conflicts: 1490000 | #Constraints: 46829 2087.73/2093.39 c #Conflicts: 1491000 | #Constraints: 47829 2087.73/2093.39 c INPROCESSING 2087.73/2093.39 c GARBAGE COLLECT 2087.73/2093.39 c rational objective 0 2139.90/2145.62 c #Conflicts: 1492000 | #Constraints: 24628 2139.90/2145.62 c #Conflicts: 1493000 | #Constraints: 25628 2139.90/2145.62 c #Conflicts: 1494000 | #Constraints: 26628 2139.90/2145.62 c #Conflicts: 1495000 | #Constraints: 27628 2139.90/2145.62 c #Conflicts: 1496000 | #Constraints: 28628 2139.90/2145.62 c #Conflicts: 1497000 | #Constraints: 29628 2139.90/2145.62 c #Conflicts: 1498000 | #Constraints: 30628 2139.90/2145.62 c #Conflicts: 1499000 | #Constraints: 31628 2139.90/2145.62 c #Conflicts: 1500000 | #Constraints: 32628 2139.90/2145.62 c #Conflicts: 1501000 | #Constraints: 33628 2139.90/2145.62 c #Conflicts: 1502000 | #Constraints: 34628 2139.90/2145.62 c #Conflicts: 1503000 | #Constraints: 35628 2139.90/2145.62 c #Conflicts: 1504000 | #Constraints: 36628 2139.90/2145.62 c #Conflicts: 1505000 | #Constraints: 37628 2139.90/2145.62 c #Conflicts: 1506000 | #Constraints: 38628 2139.90/2145.62 c #Conflicts: 1507000 | #Constraints: 39628 2139.90/2145.62 c #Conflicts: 1508000 | #Constraints: 40628 2139.90/2145.62 c #Conflicts: 1509000 | #Constraints: 41628 2139.90/2145.62 c #Conflicts: 1510000 | #Constraints: 42628 2139.90/2145.62 c #Conflicts: 1511000 | #Constraints: 43628 2139.90/2145.62 c #Conflicts: 1512000 | #Constraints: 44628 2139.90/2145.62 c #Conflicts: 1513000 | #Constraints: 45628 2139.90/2145.62 c #Conflicts: 1514000 | #Constraints: 46628 2139.90/2145.62 c #Conflicts: 1515000 | #Constraints: 47628 2139.90/2145.62 c #Conflicts: 1516000 | #Constraints: 48628 2139.90/2145.62 c INPROCESSING 2139.90/2145.62 c GARBAGE COLLECT 2139.90/2145.62 c rational objective 0 2191.87/2197.70 c #Conflicts: 1517000 | #Constraints: 25229 2191.87/2197.70 c #Conflicts: 1518000 | #Constraints: 26229 2191.87/2197.70 c #Conflicts: 1519000 | #Constraints: 27229 2191.87/2197.70 c #Conflicts: 1520000 | #Constraints: 28229 2191.87/2197.70 c #Conflicts: 1521000 | #Constraints: 29229 2191.87/2197.70 c #Conflicts: 1522000 | #Constraints: 30229 2191.87/2197.70 c #Conflicts: 1523000 | #Constraints: 31229 2191.87/2197.70 c #Conflicts: 1524000 | #Constraints: 32230 2191.87/2197.70 c #Conflicts: 1525000 | #Constraints: 33230 2191.87/2197.70 c #Conflicts: 1526000 | #Constraints: 34230 2191.87/2197.70 c #Conflicts: 1527000 | #Constraints: 35230 2191.87/2197.70 c #Conflicts: 1528000 | #Constraints: 36230 2191.87/2197.70 c #Conflicts: 1529000 | #Constraints: 37230 2191.87/2197.70 c #Conflicts: 1530000 | #Constraints: 38230 2191.87/2197.70 c #Conflicts: 1531000 | #Constraints: 39230 2191.87/2197.70 c #Conflicts: 1532000 | #Constraints: 40230 2191.87/2197.70 c #Conflicts: 1533000 | #Constraints: 41230 2191.87/2197.70 c #Conflicts: 1534000 | #Constraints: 42230 2191.87/2197.70 c #Conflicts: 1535000 | #Constraints: 43230 2191.87/2197.70 c #Conflicts: 1536000 | #Constraints: 44230 2191.87/2197.70 c #Conflicts: 1537000 | #Constraints: 45230 2191.87/2197.70 c #Conflicts: 1538000 | #Constraints: 46230 2191.87/2197.70 c #Conflicts: 1539000 | #Constraints: 47230 2191.87/2197.70 c #Conflicts: 1540000 | #Constraints: 48230 2191.87/2197.70 c #Conflicts: 1541000 | #Constraints: 49230 2191.87/2197.70 c INPROCESSING 2191.87/2197.70 c GARBAGE COLLECT 2191.87/2197.70 c rational objective 0 2245.94/2251.93 c #Conflicts: 1542000 | #Constraints: 25624 2245.94/2251.93 c #Conflicts: 1543000 | #Constraints: 26624 2245.94/2251.93 c #Conflicts: 1544000 | #Constraints: 27624 2245.94/2251.93 c #Conflicts: 1545000 | #Constraints: 28624 2245.94/2251.93 c #Conflicts: 1546000 | #Constraints: 29624 2245.94/2251.93 c #Conflicts: 1547000 | #Constraints: 30624 2245.94/2251.93 c #Conflicts: 1548000 | #Constraints: 31624 2245.94/2251.93 c #Conflicts: 1549000 | #Constraints: 32624 2245.94/2251.93 c #Conflicts: 1550000 | #Constraints: 33624 2245.94/2251.93 c #Conflicts: 1551000 | #Constraints: 34624 2245.94/2251.93 c #Conflicts: 1552000 | #Constraints: 35624 2245.94/2251.93 c #Conflicts: 1553000 | #Constraints: 36624 2245.94/2251.93 c #Conflicts: 1554000 | #Constraints: 37624 2245.94/2251.93 c #Conflicts: 1555000 | #Constraints: 38624 2245.94/2251.93 c #Conflicts: 1556000 | #Constraints: 39624 2245.94/2251.93 c #Conflicts: 1557000 | #Constraints: 40624 2245.94/2251.93 c #Conflicts: 1558000 | #Constraints: 41624 2245.94/2251.93 c #Conflicts: 1559000 | #Constraints: 42624 2245.94/2251.93 c #Conflicts: 1560000 | #Constraints: 43624 2245.94/2251.93 c #Conflicts: 1561000 | #Constraints: 44624 2245.94/2251.93 c #Conflicts: 1562000 | #Constraints: 45624 2245.94/2251.93 c #Conflicts: 1563000 | #Constraints: 46624 2245.94/2251.93 c #Conflicts: 1564000 | #Constraints: 47624 2245.94/2251.93 c #Conflicts: 1565000 | #Constraints: 48624 2245.94/2251.93 c #Conflicts: 1566000 | #Constraints: 49624 2245.94/2251.93 c INPROCESSING 2245.94/2251.93 c GARBAGE COLLECT 2245.94/2251.93 c rational objective 0 2302.19/2308.33 c #Conflicts: 1567000 | #Constraints: 25824 2302.19/2308.33 c #Conflicts: 1568000 | #Constraints: 26824 2302.19/2308.33 c #Conflicts: 1569000 | #Constraints: 27824 2302.19/2308.33 c #Conflicts: 1570000 | #Constraints: 28824 2302.19/2308.33 c #Conflicts: 1571000 | #Constraints: 29824 2302.19/2308.33 c #Conflicts: 1572000 | #Constraints: 30824 2302.19/2308.33 c #Conflicts: 1573000 | #Constraints: 31824 2302.19/2308.33 c #Conflicts: 1574000 | #Constraints: 32824 2302.19/2308.33 c #Conflicts: 1575000 | #Constraints: 33824 2302.19/2308.33 c #Conflicts: 1576000 | #Constraints: 34824 2302.19/2308.33 c #Conflicts: 1577000 | #Constraints: 35824 2302.19/2308.33 c #Conflicts: 1578000 | #Constraints: 36824 2302.19/2308.33 c #Conflicts: 1579000 | #Constraints: 37824 2302.19/2308.33 c #Conflicts: 1580000 | #Constraints: 38824 2302.19/2308.33 c #Conflicts: 1581000 | #Constraints: 39824 2302.19/2308.33 c #Conflicts: 1582000 | #Constraints: 40824 2302.19/2308.33 c #Conflicts: 1583000 | #Constraints: 41824 2302.19/2308.33 c #Conflicts: 1584000 | #Constraints: 42825 2302.19/2308.33 c #Conflicts: 1585000 | #Constraints: 43825 2302.19/2308.33 c #Conflicts: 1586000 | #Constraints: 44825 2302.19/2308.33 c #Conflicts: 1587000 | #Constraints: 45825 2302.19/2308.33 c #Conflicts: 1588000 | #Constraints: 46825 2302.19/2308.33 c #Conflicts: 1589000 | #Constraints: 47825 2302.19/2308.33 c #Conflicts: 1590000 | #Constraints: 48825 2302.19/2308.33 c #Conflicts: 1591000 | #Constraints: 49825 2302.19/2308.33 c INPROCESSING 2302.19/2308.33 c GARBAGE COLLECT 2302.19/2308.33 c rational objective 0 2359.36/2365.64 c #Conflicts: 1592000 | #Constraints: 25828 2359.36/2365.64 c #Conflicts: 1593000 | #Constraints: 26828 2359.36/2365.64 c #Conflicts: 1594000 | #Constraints: 27828 2359.36/2365.64 c #Conflicts: 1595000 | #Constraints: 28828 2359.36/2365.64 c #Conflicts: 1596000 | #Constraints: 29828 2359.36/2365.64 c #Conflicts: 1597000 | #Constraints: 30828 2359.36/2365.64 c #Conflicts: 1598000 | #Constraints: 31828 2359.36/2365.64 c #Conflicts: 1599000 | #Constraints: 32828 2359.36/2365.64 c #Conflicts: 1600000 | #Constraints: 33828 2359.36/2365.64 c #Conflicts: 1601000 | #Constraints: 34828 2359.36/2365.64 c #Conflicts: 1602000 | #Constraints: 35828 2359.36/2365.64 c #Conflicts: 1603000 | #Constraints: 36828 2359.36/2365.64 c #Conflicts: 1604000 | #Constraints: 37828 2359.36/2365.64 c #Conflicts: 1605000 | #Constraints: 38828 2359.36/2365.64 c #Conflicts: 1606000 | #Constraints: 39828 2359.36/2365.64 c #Conflicts: 1607000 | #Constraints: 40828 2359.36/2365.64 c #Conflicts: 1608000 | #Constraints: 41828 2359.36/2365.64 c #Conflicts: 1609000 | #Constraints: 42828 2359.36/2365.64 c #Conflicts: 1610000 | #Constraints: 43828 2359.36/2365.64 c #Conflicts: 1611000 | #Constraints: 44828 2359.36/2365.64 c #Conflicts: 1612000 | #Constraints: 45828 2359.36/2365.64 c #Conflicts: 1613000 | #Constraints: 46828 2359.36/2365.64 c #Conflicts: 1614000 | #Constraints: 47828 2359.36/2365.64 c #Conflicts: 1615000 | #Constraints: 48828 2359.36/2365.64 c #Conflicts: 1616000 | #Constraints: 49828 2359.36/2365.64 c INPROCESSING 2359.36/2365.64 c GARBAGE COLLECT 2359.36/2365.64 c rational objective 0 2417.80/2424.29 c #Conflicts: 1617000 | #Constraints: 25629 2417.80/2424.29 c #Conflicts: 1618000 | #Constraints: 26629 2417.80/2424.29 c #Conflicts: 1619000 | #Constraints: 27629 2417.80/2424.29 c #Conflicts: 1620000 | #Constraints: 28629 2417.80/2424.29 c #Conflicts: 1621000 | #Constraints: 29629 2417.80/2424.29 c #Conflicts: 1622000 | #Constraints: 30629 2417.80/2424.29 c #Conflicts: 1623000 | #Constraints: 31629 2417.80/2424.29 c #Conflicts: 1624000 | #Constraints: 32629 2417.80/2424.29 c #Conflicts: 1625000 | #Constraints: 33629 2417.80/2424.29 c #Conflicts: 1626000 | #Constraints: 34629 2417.80/2424.29 c #Conflicts: 1627000 | #Constraints: 35629 2417.80/2424.29 c #Conflicts: 1628000 | #Constraints: 36629 2417.80/2424.29 c #Conflicts: 1629000 | #Constraints: 37629 2417.80/2424.29 c #Conflicts: 1630000 | #Constraints: 38629 2417.80/2424.29 c #Conflicts: 1631000 | #Constraints: 39629 2417.80/2424.29 c #Conflicts: 1632000 | #Constraints: 40629 2417.80/2424.29 c #Conflicts: 1633000 | #Constraints: 41629 2417.80/2424.29 c #Conflicts: 1634000 | #Constraints: 42629 2417.80/2424.29 c #Conflicts: 1635000 | #Constraints: 43629 2417.80/2424.29 c #Conflicts: 1636000 | #Constraints: 44629 2417.80/2424.29 c #Conflicts: 1637000 | #Constraints: 45629 2417.80/2424.29 c #Conflicts: 1638000 | #Constraints: 46629 2417.80/2424.29 c #Conflicts: 1639000 | #Constraints: 47629 2417.80/2424.29 c #Conflicts: 1640000 | #Constraints: 48629 2417.80/2424.29 c #Conflicts: 1641000 | #Constraints: 49629 2417.80/2424.29 c #Conflicts: 1642000 | #Constraints: 50629 2417.80/2424.29 c INPROCESSING 2417.80/2424.29 c GARBAGE COLLECT 2417.80/2424.29 c rational objective 0 2473.86/2480.45 c #Conflicts: 1643000 | #Constraints: 26227 2473.86/2480.45 c #Conflicts: 1644000 | #Constraints: 27227 2473.86/2480.45 c #Conflicts: 1645000 | #Constraints: 28227 2473.86/2480.45 c #Conflicts: 1646000 | #Constraints: 29227 2473.86/2480.45 c #Conflicts: 1647000 | #Constraints: 30227 2473.86/2480.45 c #Conflicts: 1648000 | #Constraints: 31227 2473.86/2480.45 c #Conflicts: 1649000 | #Constraints: 32227 2473.86/2480.45 c #Conflicts: 1650000 | #Constraints: 33227 2473.86/2480.45 c #Conflicts: 1651000 | #Constraints: 34227 2473.86/2480.45 c #Conflicts: 1652000 | #Constraints: 35227 2473.86/2480.45 c #Conflicts: 1653000 | #Constraints: 36227 2473.86/2480.45 c #Conflicts: 1654000 | #Constraints: 37227 2473.86/2480.45 c #Conflicts: 1655000 | #Constraints: 38227 2473.86/2480.45 c #Conflicts: 1656000 | #Constraints: 39227 2473.86/2480.45 c #Conflicts: 1657000 | #Constraints: 40227 2473.86/2480.45 c #Conflicts: 1658000 | #Constraints: 41227 2473.86/2480.45 c #Conflicts: 1659000 | #Constraints: 42227 2473.86/2480.45 c #Conflicts: 1660000 | #Constraints: 43227 2473.86/2480.45 c #Conflicts: 1661000 | #Constraints: 44227 2473.86/2480.45 c #Conflicts: 1662000 | #Constraints: 45227 2473.86/2480.45 c #Conflicts: 1663000 | #Constraints: 46227 2473.86/2480.45 c #Conflicts: 1664000 | #Constraints: 47227 2473.86/2480.45 c #Conflicts: 1665000 | #Constraints: 48228 2473.86/2480.45 c #Conflicts: 1666000 | #Constraints: 49228 2473.86/2480.45 c #Conflicts: 1667000 | #Constraints: 50228 2473.86/2480.45 c #Conflicts: 1668000 | #Constraints: 51228 2473.86/2480.45 c INPROCESSING 2473.86/2480.45 c GARBAGE COLLECT 2473.86/2480.45 c rational objective 0 2531.32/2538.05 c #Conflicts: 1669000 | #Constraints: 26628 2531.32/2538.05 c #Conflicts: 1670000 | #Constraints: 27628 2531.32/2538.05 c #Conflicts: 1671000 | #Constraints: 28628 2531.32/2538.05 c #Conflicts: 1672000 | #Constraints: 29628 2531.32/2538.05 c #Conflicts: 1673000 | #Constraints: 30628 2531.32/2538.05 c #Conflicts: 1674000 | #Constraints: 31628 2531.32/2538.05 c #Conflicts: 1675000 | #Constraints: 32628 2531.32/2538.05 c #Conflicts: 1676000 | #Constraints: 33628 2531.32/2538.05 c #Conflicts: 1677000 | #Constraints: 34628 2531.32/2538.05 c #Conflicts: 1678000 | #Constraints: 35628 2531.32/2538.05 c #Conflicts: 1679000 | #Constraints: 36628 2531.32/2538.05 c #Conflicts: 1680000 | #Constraints: 37628 2531.32/2538.05 c #Conflicts: 1681000 | #Constraints: 38628 2531.32/2538.05 c #Conflicts: 1682000 | #Constraints: 39628 2531.32/2538.05 c #Conflicts: 1683000 | #Constraints: 40628 2531.32/2538.05 c #Conflicts: 1684000 | #Constraints: 41628 2531.32/2538.05 c #Conflicts: 1685000 | #Constraints: 42628 2531.32/2538.05 c #Conflicts: 1686000 | #Constraints: 43628 2531.32/2538.05 c #Conflicts: 1687000 | #Constraints: 44628 2531.32/2538.05 c #Conflicts: 1688000 | #Constraints: 45628 2531.32/2538.05 c #Conflicts: 1689000 | #Constraints: 46628 2531.32/2538.05 c #Conflicts: 1690000 | #Constraints: 47628 2531.32/2538.05 c #Conflicts: 1691000 | #Constraints: 48628 2531.32/2538.05 c #Conflicts: 1692000 | #Constraints: 49628 2531.32/2538.05 c #Conflicts: 1693000 | #Constraints: 50628 2531.32/2538.05 c #Conflicts: 1694000 | #Constraints: 51628 2531.32/2538.05 c INPROCESSING 2531.32/2538.05 c GARBAGE COLLECT 2531.32/2538.05 c rational objective 0 2589.27/2596.12 c #Conflicts: 1695000 | #Constraints: 26827 2589.27/2596.12 c #Conflicts: 1696000 | #Constraints: 27827 2589.27/2596.12 c #Conflicts: 1697000 | #Constraints: 28827 2589.27/2596.12 c #Conflicts: 1698000 | #Constraints: 29827 2589.27/2596.12 c #Conflicts: 1699000 | #Constraints: 30827 2589.27/2596.12 c #Conflicts: 1700000 | #Constraints: 31827 2589.27/2596.12 c #Conflicts: 1701000 | #Constraints: 32827 2589.27/2596.12 c #Conflicts: 1702000 | #Constraints: 33827 2589.27/2596.12 c #Conflicts: 1703000 | #Constraints: 34827 2589.27/2596.12 c #Conflicts: 1704000 | #Constraints: 35827 2589.27/2596.12 c #Conflicts: 1705000 | #Constraints: 36827 2589.27/2596.12 c #Conflicts: 1706000 | #Constraints: 37827 2589.27/2596.12 c #Conflicts: 1707000 | #Constraints: 38827 2589.27/2596.12 c #Conflicts: 1708000 | #Constraints: 39827 2589.27/2596.12 c #Conflicts: 1709000 | #Constraints: 40827 2589.27/2596.12 c #Conflicts: 1710000 | #Constraints: 41827 2589.27/2596.12 c #Conflicts: 1711000 | #Constraints: 42827 2589.27/2596.12 c #Conflicts: 1712000 | #Constraints: 43827 2589.27/2596.12 c #Conflicts: 1713000 | #Constraints: 44827 2589.27/2596.12 c #Conflicts: 1714000 | #Constraints: 45827 2589.27/2596.12 c #Conflicts: 1715000 | #Constraints: 46827 2589.27/2596.12 c #Conflicts: 1716000 | #Constraints: 47827 2589.27/2596.12 c #Conflicts: 1717000 | #Constraints: 48827 2589.27/2596.12 c #Conflicts: 1718000 | #Constraints: 49827 2589.27/2596.12 c #Conflicts: 1719000 | #Constraints: 50827 2589.27/2596.12 c #Conflicts: 1720000 | #Constraints: 51827 2589.27/2596.12 c INPROCESSING 2589.27/2596.12 c GARBAGE COLLECT 2589.27/2596.12 c rational objective 0 2648.31/2655.33 c #Conflicts: 1721000 | #Constraints: 26826 2648.31/2655.33 c #Conflicts: 1722000 | #Constraints: 27826 2648.31/2655.33 c #Conflicts: 1723000 | #Constraints: 28826 2648.31/2655.33 c #Conflicts: 1724000 | #Constraints: 29826 2648.31/2655.33 c #Conflicts: 1725000 | #Constraints: 30827 2648.31/2655.33 c #Conflicts: 1726000 | #Constraints: 31827 2648.31/2655.33 c #Conflicts: 1727000 | #Constraints: 32827 2648.31/2655.33 c #Conflicts: 1728000 | #Constraints: 33827 2648.31/2655.33 c #Conflicts: 1729000 | #Constraints: 34827 2648.31/2655.33 c #Conflicts: 1730000 | #Constraints: 35827 2648.31/2655.33 c #Conflicts: 1731000 | #Constraints: 36827 2648.31/2655.33 c #Conflicts: 1732000 | #Constraints: 37827 2648.31/2655.33 c #Conflicts: 1733000 | #Constraints: 38827 2648.31/2655.33 c #Conflicts: 1734000 | #Constraints: 39828 2648.31/2655.33 c #Conflicts: 1735000 | #Constraints: 40828 2648.31/2655.33 c #Conflicts: 1736000 | #Constraints: 41828 2648.31/2655.33 c #Conflicts: 1737000 | #Constraints: 42828 2648.31/2655.33 c #Conflicts: 1738000 | #Constraints: 43828 2648.31/2655.33 c #Conflicts: 1739000 | #Constraints: 44828 2648.31/2655.33 c #Conflicts: 1740000 | #Constraints: 45828 2648.31/2655.33 c #Conflicts: 1741000 | #Constraints: 46828 2648.31/2655.33 c #Conflicts: 1742000 | #Constraints: 47828 2648.31/2655.33 c #Conflicts: 1743000 | #Constraints: 48828 2648.31/2655.33 c #Conflicts: 1744000 | #Constraints: 49828 2648.31/2655.33 c #Conflicts: 1745000 | #Constraints: 50828 2648.31/2655.33 c #Conflicts: 1746000 | #Constraints: 51828 2648.31/2655.33 c INPROCESSING 2648.31/2655.33 c GARBAGE COLLECT 2648.31/2655.33 c rational objective 0 2709.14/2716.31 c #Conflicts: 1747000 | #Constraints: 26629 2709.14/2716.31 c #Conflicts: 1748000 | #Constraints: 27629 2709.14/2716.31 c #Conflicts: 1749000 | #Constraints: 28629 2709.14/2716.31 c #Conflicts: 1750000 | #Constraints: 29629 2709.14/2716.31 c #Conflicts: 1751000 | #Constraints: 30629 2709.14/2716.31 c #Conflicts: 1752000 | #Constraints: 31629 2709.14/2716.31 c #Conflicts: 1753000 | #Constraints: 32629 2709.14/2716.31 c #Conflicts: 1754000 | #Constraints: 33629 2709.14/2716.31 c #Conflicts: 1755000 | #Constraints: 34629 2709.14/2716.31 c #Conflicts: 1756000 | #Constraints: 35629 2709.14/2716.31 c #Conflicts: 1757000 | #Constraints: 36629 2709.14/2716.31 c #Conflicts: 1758000 | #Constraints: 37629 2709.14/2716.31 c #Conflicts: 1759000 | #Constraints: 38629 2709.14/2716.31 c #Conflicts: 1760000 | #Constraints: 39629 2709.14/2716.31 c #Conflicts: 1761000 | #Constraints: 40629 2709.14/2716.31 c #Conflicts: 1762000 | #Constraints: 41629 2709.14/2716.31 c #Conflicts: 1763000 | #Constraints: 42629 2709.14/2716.31 c #Conflicts: 1764000 | #Constraints: 43629 2709.14/2716.31 c #Conflicts: 1765000 | #Constraints: 44629 2709.14/2716.31 c #Conflicts: 1766000 | #Constraints: 45629 2709.14/2716.31 c #Conflicts: 1767000 | #Constraints: 46629 2709.14/2716.31 c #Conflicts: 1768000 | #Constraints: 47629 2709.14/2716.31 c #Conflicts: 1769000 | #Constraints: 48629 2709.14/2716.31 c #Conflicts: 1770000 | #Constraints: 49629 2709.14/2716.31 c #Conflicts: 1771000 | #Constraints: 50629 2709.14/2716.31 c #Conflicts: 1772000 | #Constraints: 51629 2709.14/2716.31 c #Conflicts: 1773000 | #Constraints: 52629 2709.14/2716.31 c INPROCESSING 2709.14/2716.31 c GARBAGE COLLECT 2709.14/2716.31 c rational objective 0 2770.76/2778.11 c #Conflicts: 1774000 | #Constraints: 27226 2770.76/2778.11 c #Conflicts: 1775000 | #Constraints: 28226 2770.76/2778.11 c #Conflicts: 1776000 | #Constraints: 29226 2770.76/2778.11 c #Conflicts: 1777000 | #Constraints: 30226 2770.76/2778.11 c #Conflicts: 1778000 | #Constraints: 31226 2770.76/2778.11 c #Conflicts: 1779000 | #Constraints: 32226 2770.76/2778.11 c #Conflicts: 1780000 | #Constraints: 33226 2770.76/2778.11 c #Conflicts: 1781000 | #Constraints: 34226 2770.76/2778.11 c #Conflicts: 1782000 | #Constraints: 35226 2770.76/2778.11 c #Conflicts: 1783000 | #Constraints: 36226 2770.76/2778.11 c #Conflicts: 1784000 | #Constraints: 37226 2770.76/2778.11 c #Conflicts: 1785000 | #Constraints: 38226 2770.76/2778.11 c #Conflicts: 1786000 | #Constraints: 39226 2770.76/2778.11 c #Conflicts: 1787000 | #Constraints: 40226 2770.76/2778.11 c #Conflicts: 1788000 | #Constraints: 41226 2770.76/2778.11 c #Conflicts: 1789000 | #Constraints: 42226 2770.76/2778.11 c #Conflicts: 1790000 | #Constraints: 43226 2770.76/2778.11 c #Conflicts: 1791000 | #Constraints: 44226 2770.76/2778.11 c #Conflicts: 1792000 | #Constraints: 45226 2770.76/2778.11 c #Conflicts: 1793000 | #Constraints: 46226 2770.76/2778.11 c #Conflicts: 1794000 | #Constraints: 47226 2770.76/2778.11 c #Conflicts: 1795000 | #Constraints: 48226 2770.76/2778.11 c #Conflicts: 1796000 | #Constraints: 49226 2770.76/2778.11 c #Conflicts: 1797000 | #Constraints: 50226 2770.76/2778.11 c #Conflicts: 1798000 | #Constraints: 51226 2770.76/2778.11 c #Conflicts: 1799000 | #Constraints: 52226 2770.76/2778.11 c #Conflicts: 1800000 | #Constraints: 53226 2770.76/2778.11 c INPROCESSING 2770.76/2778.11 c GARBAGE COLLECT 2770.76/2778.11 c rational objective 0 2832.97/2840.51 c #Conflicts: 1801000 | #Constraints: 27624 2832.97/2840.51 c #Conflicts: 1802000 | #Constraints: 28624 2832.97/2840.51 c #Conflicts: 1803000 | #Constraints: 29624 2832.97/2840.51 c #Conflicts: 1804000 | #Constraints: 30624 2832.97/2840.51 c #Conflicts: 1805000 | #Constraints: 31624 2832.97/2840.51 c #Conflicts: 1806000 | #Constraints: 32624 2832.97/2840.51 c #Conflicts: 1807000 | #Constraints: 33624 2832.97/2840.51 c #Conflicts: 1808000 | #Constraints: 34624 2832.97/2840.51 c #Conflicts: 1809000 | #Constraints: 35624 2832.97/2840.51 c #Conflicts: 1810000 | #Constraints: 36624 2832.97/2840.51 c #Conflicts: 1811000 | #Constraints: 37624 2832.97/2840.51 c #Conflicts: 1812000 | #Constraints: 38624 2832.97/2840.51 c #Conflicts: 1813000 | #Constraints: 39624 2832.97/2840.51 c #Conflicts: 1814000 | #Constraints: 40624 2832.97/2840.51 c #Conflicts: 1815000 | #Constraints: 41624 2832.97/2840.51 c #Conflicts: 1816000 | #Constraints: 42624 2832.97/2840.51 c #Conflicts: 1817000 | #Constraints: 43624 2832.97/2840.51 c #Conflicts: 1818000 | #Constraints: 44624 2832.97/2840.51 c #Conflicts: 1819000 | #Constraints: 45624 2832.97/2840.51 c #Conflicts: 1820000 | #Constraints: 46624 2832.97/2840.51 c #Conflicts: 1821000 | #Constraints: 47624 2832.97/2840.51 c #Conflicts: 1822000 | #Constraints: 48624 2832.97/2840.51 c #Conflicts: 1823000 | #Constraints: 49624 2832.97/2840.51 c #Conflicts: 1824000 | #Constraints: 50624 2832.97/2840.51 c #Conflicts: 1825000 | #Constraints: 51624 2832.97/2840.51 c #Conflicts: 1826000 | #Constraints: 52624 2832.97/2840.51 c #Conflicts: 1827000 | #Constraints: 53624 2832.97/2840.51 c INPROCESSING 2832.97/2840.51 c GARBAGE COLLECT 2832.97/2840.51 c rational objective 0 2896.99/2904.77 c #Conflicts: 1828000 | #Constraints: 27828 2896.99/2904.77 c #Conflicts: 1829000 | #Constraints: 28828 2896.99/2904.77 c #Conflicts: 1830000 | #Constraints: 29828 2896.99/2904.77 c #Conflicts: 1831000 | #Constraints: 30828 2896.99/2904.77 c #Conflicts: 1832000 | #Constraints: 31828 2896.99/2904.77 c #Conflicts: 1833000 | #Constraints: 32828 2896.99/2904.77 c #Conflicts: 1834000 | #Constraints: 33828 2896.99/2904.77 c #Conflicts: 1835000 | #Constraints: 34828 2896.99/2904.77 c #Conflicts: 1836000 | #Constraints: 35828 2896.99/2904.77 c #Conflicts: 1837000 | #Constraints: 36828 2896.99/2904.77 c #Conflicts: 1838000 | #Constraints: 37828 2896.99/2904.77 c #Conflicts: 1839000 | #Constraints: 38828 2896.99/2904.77 c #Conflicts: 1840000 | #Constraints: 39828 2896.99/2904.77 c #Conflicts: 1841000 | #Constraints: 40828 2896.99/2904.77 c #Conflicts: 1842000 | #Constraints: 41828 2896.99/2904.77 c #Conflicts: 1843000 | #Constraints: 42828 2896.99/2904.77 c #Conflicts: 1844000 | #Constraints: 43828 2896.99/2904.77 c #Conflicts: 1845000 | #Constraints: 44829 2896.99/2904.77 c #Conflicts: 1846000 | #Constraints: 45829 2896.99/2904.77 c #Conflicts: 1847000 | #Constraints: 46829 2896.99/2904.77 c #Conflicts: 1848000 | #Constraints: 47829 2896.99/2904.77 c #Conflicts: 1849000 | #Constraints: 48829 2896.99/2904.77 c #Conflicts: 1850000 | #Constraints: 49829 2896.99/2904.77 c #Conflicts: 1851000 | #Constraints: 50829 2896.99/2904.77 c #Conflicts: 1852000 | #Constraints: 51829 2896.99/2904.77 c #Conflicts: 1853000 | #Constraints: 52829 2896.99/2904.77 c #Conflicts: 1854000 | #Constraints: 53829 2896.99/2904.77 c INPROCESSING 2896.99/2904.77 c GARBAGE COLLECT 2896.99/2904.77 c rational objective 0 2961.90/2969.87 c #Conflicts: 1855000 | #Constraints: 27829 2961.90/2969.87 c #Conflicts: 1856000 | #Constraints: 28829 2961.90/2969.87 c #Conflicts: 1857000 | #Constraints: 29829 2961.90/2969.87 c #Conflicts: 1858000 | #Constraints: 30829 2961.90/2969.87 c #Conflicts: 1859000 | #Constraints: 31829 2961.90/2969.87 c #Conflicts: 1860000 | #Constraints: 32829 2961.90/2969.87 c #Conflicts: 1861000 | #Constraints: 33829 2961.90/2969.87 c #Conflicts: 1862000 | #Constraints: 34829 2961.90/2969.87 c #Conflicts: 1863000 | #Constraints: 35829 2961.90/2969.87 c #Conflicts: 1864000 | #Constraints: 36829 2961.90/2969.87 c #Conflicts: 1865000 | #Constraints: 37829 2961.90/2969.87 c #Conflicts: 1866000 | #Constraints: 38829 2961.90/2969.87 c #Conflicts: 1867000 | #Constraints: 39829 2961.90/2969.87 c #Conflicts: 1868000 | #Constraints: 40829 2961.90/2969.87 c #Conflicts: 1869000 | #Constraints: 41829 2961.90/2969.87 c #Conflicts: 1870000 | #Constraints: 42829 2961.90/2969.87 c #Conflicts: 1871000 | #Constraints: 43829 2961.90/2969.87 c #Conflicts: 1872000 | #Constraints: 44829 2961.90/2969.87 c #Conflicts: 1873000 | #Constraints: 45829 2961.90/2969.87 c #Conflicts: 1874000 | #Constraints: 46829 2961.90/2969.87 c #Conflicts: 1875000 | #Constraints: 47829 2961.90/2969.87 c #Conflicts: 1876000 | #Constraints: 48829 2961.90/2969.87 c #Conflicts: 1877000 | #Constraints: 49829 2961.90/2969.87 c #Conflicts: 1878000 | #Constraints: 50829 2961.90/2969.87 c #Conflicts: 1879000 | #Constraints: 51829 2961.90/2969.87 c #Conflicts: 1880000 | #Constraints: 52830 2961.90/2969.87 c #Conflicts: 1881000 | #Constraints: 53830 2961.90/2969.87 c INPROCESSING 2961.90/2969.87 c GARBAGE COLLECT 2961.90/2969.87 c rational objective 0 3026.21/3034.32 c #Conflicts: 1882000 | #Constraints: 27628 3026.21/3034.32 c #Conflicts: 1883000 | #Constraints: 28628 3026.21/3034.32 c #Conflicts: 1884000 | #Constraints: 29628 3026.21/3034.32 c #Conflicts: 1885000 | #Constraints: 30628 3026.21/3034.32 c #Conflicts: 1886000 | #Constraints: 31628 3026.21/3034.32 c #Conflicts: 1887000 | #Constraints: 32628 3026.21/3034.32 c #Conflicts: 1888000 | #Constraints: 33628 3026.21/3034.32 c #Conflicts: 1889000 | #Constraints: 34628 3026.21/3034.32 c #Conflicts: 1890000 | #Constraints: 35628 3026.21/3034.32 c #Conflicts: 1891000 | #Constraints: 36628 3026.21/3034.32 c #Conflicts: 1892000 | #Constraints: 37628 3026.21/3034.32 c #Conflicts: 1893000 | #Constraints: 38628 3026.21/3034.32 c #Conflicts: 1894000 | #Constraints: 39628 3026.21/3034.32 c #Conflicts: 1895000 | #Constraints: 40628 3026.21/3034.32 c #Conflicts: 1896000 | #Constraints: 41628 3026.21/3034.32 c #Conflicts: 1897000 | #Constraints: 42628 3026.21/3034.32 c #Conflicts: 1898000 | #Constraints: 43628 3026.21/3034.32 c #Conflicts: 1899000 | #Constraints: 44628 3026.21/3034.32 c #Conflicts: 1900000 | #Constraints: 45628 3026.21/3034.32 c #Conflicts: 1901000 | #Constraints: 46628 3026.21/3034.32 c #Conflicts: 1902000 | #Constraints: 47628 3026.21/3034.32 c #Conflicts: 1903000 | #Constraints: 48628 3026.21/3034.32 c #Conflicts: 1904000 | #Constraints: 49628 3026.21/3034.32 c #Conflicts: 1905000 | #Constraints: 50628 3026.21/3034.32 c #Conflicts: 1906000 | #Constraints: 51628 3026.21/3034.32 c #Conflicts: 1907000 | #Constraints: 52628 3026.21/3034.32 c #Conflicts: 1908000 | #Constraints: 53628 3026.21/3034.32 c #Conflicts: 1909000 | #Constraints: 54628 3026.21/3034.32 c INPROCESSING 3026.21/3034.32 c GARBAGE COLLECT 3026.21/3034.32 c rational objective 0 3092.02/3100.39 c #Conflicts: 1910000 | #Constraints: 28226 3092.02/3100.39 c #Conflicts: 1911000 | #Constraints: 29226 3092.02/3100.39 c #Conflicts: 1912000 | #Constraints: 30226 3092.02/3100.39 c #Conflicts: 1913000 | #Constraints: 31226 3092.02/3100.39 c #Conflicts: 1914000 | #Constraints: 32226 3092.02/3100.39 c #Conflicts: 1915000 | #Constraints: 33226 3092.02/3100.39 c #Conflicts: 1916000 | #Constraints: 34226 3092.02/3100.39 c #Conflicts: 1917000 | #Constraints: 35226 3092.02/3100.39 c #Conflicts: 1918000 | #Constraints: 36226 3092.02/3100.39 c #Conflicts: 1919000 | #Constraints: 37227 3092.02/3100.39 c #Conflicts: 1920000 | #Constraints: 38227 3092.02/3100.39 c #Conflicts: 1921000 | #Constraints: 39227 3092.02/3100.39 c #Conflicts: 1922000 | #Constraints: 40227 3092.02/3100.39 c #Conflicts: 1923000 | #Constraints: 41227 3092.02/3100.39 c #Conflicts: 1924000 | #Constraints: 42227 3092.02/3100.39 c #Conflicts: 1925000 | #Constraints: 43227 3092.02/3100.39 c #Conflicts: 1926000 | #Constraints: 44227 3092.02/3100.39 c #Conflicts: 1927000 | #Constraints: 45227 3092.02/3100.39 c #Conflicts: 1928000 | #Constraints: 46227 3092.02/3100.39 c #Conflicts: 1929000 | #Constraints: 47227 3092.02/3100.39 c #Conflicts: 1930000 | #Constraints: 48227 3092.02/3100.39 c #Conflicts: 1931000 | #Constraints: 49227 3092.02/3100.39 c #Conflicts: 1932000 | #Constraints: 50227 3092.02/3100.39 c #Conflicts: 1933000 | #Constraints: 51227 3092.02/3100.39 c #Conflicts: 1934000 | #Constraints: 52227 3092.02/3100.39 c #Conflicts: 1935000 | #Constraints: 53227 3092.02/3100.39 c #Conflicts: 1936000 | #Constraints: 54227 3092.02/3100.39 c #Conflicts: 1937000 | #Constraints: 55227 3092.02/3100.39 c INPROCESSING 3092.02/3100.39 c GARBAGE COLLECT 3092.02/3100.39 c rational objective 0 3158.73/3167.22 c #Conflicts: 1938000 | #Constraints: 28626 3158.73/3167.22 c #Conflicts: 1939000 | #Constraints: 29626 3158.73/3167.22 c #Conflicts: 1940000 | #Constraints: 30626 3158.73/3167.22 c #Conflicts: 1941000 | #Constraints: 31626 3158.73/3167.22 c #Conflicts: 1942000 | #Constraints: 32626 3158.73/3167.22 c #Conflicts: 1943000 | #Constraints: 33626 3158.73/3167.22 c #Conflicts: 1944000 | #Constraints: 34626 3158.73/3167.22 c #Conflicts: 1945000 | #Constraints: 35626 3158.73/3167.22 c #Conflicts: 1946000 | #Constraints: 36626 3158.73/3167.22 c #Conflicts: 1947000 | #Constraints: 37626 3158.73/3167.22 c #Conflicts: 1948000 | #Constraints: 38626 3158.73/3167.22 c #Conflicts: 1949000 | #Constraints: 39626 3158.73/3167.22 c #Conflicts: 1950000 | #Constraints: 40626 3158.73/3167.22 c #Conflicts: 1951000 | #Constraints: 41626 3158.73/3167.22 c #Conflicts: 1952000 | #Constraints: 42626 3158.73/3167.22 c #Conflicts: 1953000 | #Constraints: 43626 3158.73/3167.22 c #Conflicts: 1954000 | #Constraints: 44626 3158.73/3167.22 c #Conflicts: 1955000 | #Constraints: 45626 3158.73/3167.22 c #Conflicts: 1956000 | #Constraints: 46626 3158.73/3167.22 c #Conflicts: 1957000 | #Constraints: 47626 3158.73/3167.22 c #Conflicts: 1958000 | #Constraints: 48626 3158.73/3167.22 c #Conflicts: 1959000 | #Constraints: 49626 3158.73/3167.22 c #Conflicts: 1960000 | #Constraints: 50626 3158.73/3167.22 c #Conflicts: 1961000 | #Constraints: 51626 3158.73/3167.22 c #Conflicts: 1962000 | #Constraints: 52626 3158.73/3167.22 c #Conflicts: 1963000 | #Constraints: 53626 3158.73/3167.22 c #Conflicts: 1964000 | #Constraints: 54626 3158.73/3167.22 c #Conflicts: 1965000 | #Constraints: 55626 3158.73/3167.22 c INPROCESSING 3158.73/3167.22 c GARBAGE COLLECT 3158.73/3167.22 c rational objective 0 3226.14/3234.82 c #Conflicts: 1966000 | #Constraints: 28828 3226.14/3234.82 c #Conflicts: 1967000 | #Constraints: 29828 3226.14/3234.82 c #Conflicts: 1968000 | #Constraints: 30828 3226.14/3234.82 c #Conflicts: 1969000 | #Constraints: 31828 3226.14/3234.82 c #Conflicts: 1970000 | #Constraints: 32828 3226.14/3234.82 c #Conflicts: 1971000 | #Constraints: 33828 3226.14/3234.82 c #Conflicts: 1972000 | #Constraints: 34828 3226.14/3234.82 c #Conflicts: 1973000 | #Constraints: 35828 3226.14/3234.82 c #Conflicts: 1974000 | #Constraints: 36828 3226.14/3234.82 c #Conflicts: 1975000 | #Constraints: 37828 3226.14/3234.82 c #Conflicts: 1976000 | #Constraints: 38828 3226.14/3234.82 c #Conflicts: 1977000 | #Constraints: 39828 3226.14/3234.82 c #Conflicts: 1978000 | #Constraints: 40828 3226.14/3234.82 c #Conflicts: 1979000 | #Constraints: 41828 3226.14/3234.82 c #Conflicts: 1980000 | #Constraints: 42828 3226.14/3234.82 c #Conflicts: 1981000 | #Constraints: 43828 3226.14/3234.82 c #Conflicts: 1982000 | #Constraints: 44828 3226.14/3234.82 c #Conflicts: 1983000 | #Constraints: 45828 3226.14/3234.82 c #Conflicts: 1984000 | #Constraints: 46828 3226.14/3234.82 c #Conflicts: 1985000 | #Constraints: 47828 3226.14/3234.82 c #Conflicts: 1986000 | #Constraints: 48828 3226.14/3234.82 c #Conflicts: 1987000 | #Constraints: 49828 3226.14/3234.82 c #Conflicts: 1988000 | #Constraints: 50828 3226.14/3234.82 c #Conflicts: 1989000 | #Constraints: 51828 3226.14/3234.82 c #Conflicts: 1990000 | #Constraints: 52828 3226.14/3234.82 c #Conflicts: 1991000 | #Constraints: 53828 3226.14/3234.82 c #Conflicts: 1992000 | #Constraints: 54828 3226.14/3234.82 c #Conflicts: 1993000 | #Constraints: 55828 3226.14/3234.82 c INPROCESSING 3226.14/3234.82 c GARBAGE COLLECT 3226.14/3234.82 c rational objective 0 3293.44/3302.39 c #Conflicts: 1994000 | #Constraints: 28828 3293.44/3302.39 c #Conflicts: 1995000 | #Constraints: 29828 3293.44/3302.39 c #Conflicts: 1996000 | #Constraints: 30828 3293.44/3302.39 c #Conflicts: 1997000 | #Constraints: 31828 3293.44/3302.39 c #Conflicts: 1998000 | #Constraints: 32828 3293.44/3302.39 c #Conflicts: 1999000 | #Constraints: 33828 3293.44/3302.39 c #Conflicts: 2000000 | #Constraints: 34828 3293.44/3302.39 c #Conflicts: 2001000 | #Constraints: 35828 3293.44/3302.39 c #Conflicts: 2002000 | #Constraints: 36828 3293.44/3302.39 c #Conflicts: 2003000 | #Constraints: 37828 3293.44/3302.39 c #Conflicts: 2004000 | #Constraints: 38828 3293.44/3302.39 c #Conflicts: 2005000 | #Constraints: 39828 3293.44/3302.39 c #Conflicts: 2006000 | #Constraints: 40828 3293.44/3302.39 c #Conflicts: 2007000 | #Constraints: 41828 3293.44/3302.39 c #Conflicts: 2008000 | #Constraints: 42828 3293.44/3302.39 c #Conflicts: 2009000 | #Constraints: 43828 3293.44/3302.39 c #Conflicts: 2010000 | #Constraints: 44828 3293.44/3302.39 c #Conflicts: 2011000 | #Constraints: 45828 3293.44/3302.39 c #Conflicts: 2012000 | #Constraints: 46828 3293.44/3302.39 c #Conflicts: 2013000 | #Constraints: 47828 3293.44/3302.39 c #Conflicts: 2014000 | #Constraints: 48828 3293.44/3302.39 c #Conflicts: 2015000 | #Constraints: 49828 3293.44/3302.39 c #Conflicts: 2016000 | #Constraints: 50828 3293.44/3302.39 c #Conflicts: 2017000 | #Constraints: 51828 3293.44/3302.39 c #Conflicts: 2018000 | #Constraints: 52828 3293.44/3302.39 c #Conflicts: 2019000 | #Constraints: 53828 3293.44/3302.39 c #Conflicts: 2020000 | #Constraints: 54828 3293.44/3302.39 c #Conflicts: 2021000 | #Constraints: 55828 3293.44/3302.39 c INPROCESSING 3293.44/3302.39 c GARBAGE COLLECT 3293.44/3302.39 c rational objective 0 3362.04/3371.15 c #Conflicts: 2022000 | #Constraints: 28628 3362.04/3371.15 c #Conflicts: 2023000 | #Constraints: 29628 3362.04/3371.15 c #Conflicts: 2024000 | #Constraints: 30628 3362.04/3371.15 c #Conflicts: 2025000 | #Constraints: 31628 3362.04/3371.15 c #Conflicts: 2026000 | #Constraints: 32628 3362.04/3371.15 c #Conflicts: 2027000 | #Constraints: 33628 3362.04/3371.15 c #Conflicts: 2028000 | #Constraints: 34628 3362.04/3371.15 c #Conflicts: 2029000 | #Constraints: 35628 3362.04/3371.15 c #Conflicts: 2030000 | #Constraints: 36628 3362.04/3371.15 c #Conflicts: 2031000 | #Constraints: 37628 3362.04/3371.15 c #Conflicts: 2032000 | #Constraints: 38628 3362.04/3371.15 c #Conflicts: 2033000 | #Constraints: 39628 3362.04/3371.15 c #Conflicts: 2034000 | #Constraints: 40628 3362.04/3371.15 c #Conflicts: 2035000 | #Constraints: 41628 3362.04/3371.15 c #Conflicts: 2036000 | #Constraints: 42628 3362.04/3371.15 c #Conflicts: 2037000 | #Constraints: 43628 3362.04/3371.15 c #Conflicts: 2038000 | #Constraints: 44628 3362.04/3371.15 c #Conflicts: 2039000 | #Constraints: 45628 3362.04/3371.15 c #Conflicts: 2040000 | #Constraints: 46628 3362.04/3371.15 c #Conflicts: 2041000 | #Constraints: 47628 3362.04/3371.15 c #Conflicts: 2042000 | #Constraints: 48628 3362.04/3371.15 c #Conflicts: 2043000 | #Constraints: 49628 3362.04/3371.15 c #Conflicts: 2044000 | #Constraints: 50628 3362.04/3371.15 c #Conflicts: 2045000 | #Constraints: 51628 3362.04/3371.15 c #Conflicts: 2046000 | #Constraints: 52628 3362.04/3371.15 c #Conflicts: 2047000 | #Constraints: 53628 3362.04/3371.15 c #Conflicts: 2048000 | #Constraints: 54628 3362.04/3371.15 c #Conflicts: 2049000 | #Constraints: 55628 3362.04/3371.15 c #Conflicts: 2050000 | #Constraints: 56628 3362.04/3371.15 c INPROCESSING 3362.04/3371.15 c GARBAGE COLLECT 3362.04/3371.15 c rational objective 0 3434.43/3443.75 c #Conflicts: 2051000 | #Constraints: 29227 3434.43/3443.75 c #Conflicts: 2052000 | #Constraints: 30227 3434.43/3443.75 c #Conflicts: 2053000 | #Constraints: 31227 3434.43/3443.75 c #Conflicts: 2054000 | #Constraints: 32227 3434.43/3443.75 c #Conflicts: 2055000 | #Constraints: 33227 3434.43/3443.75 c #Conflicts: 2056000 | #Constraints: 34227 3434.43/3443.75 c #Conflicts: 2057000 | #Constraints: 35227 3434.43/3443.75 c #Conflicts: 2058000 | #Constraints: 36227 3434.43/3443.75 c #Conflicts: 2059000 | #Constraints: 37227 3434.43/3443.75 c #Conflicts: 2060000 | #Constraints: 38227 3434.43/3443.75 c #Conflicts: 2061000 | #Constraints: 39227 3434.43/3443.75 c #Conflicts: 2062000 | #Constraints: 40227 3434.43/3443.75 c #Conflicts: 2063000 | #Constraints: 41227 3434.43/3443.75 c #Conflicts: 2064000 | #Constraints: 42227 3434.43/3443.75 c #Conflicts: 2065000 | #Constraints: 43227 3434.43/3443.75 c #Conflicts: 2066000 | #Constraints: 44227 3434.43/3443.75 c #Conflicts: 2067000 | #Constraints: 45227 3434.43/3443.75 c #Conflicts: 2068000 | #Constraints: 46227 3434.43/3443.75 c #Conflicts: 2069000 | #Constraints: 47227 3434.43/3443.75 c #Conflicts: 2070000 | #Constraints: 48227 3434.43/3443.75 c #Conflicts: 2071000 | #Constraints: 49227 3434.43/3443.75 c #Conflicts: 2072000 | #Constraints: 50227 3434.43/3443.75 c #Conflicts: 2073000 | #Constraints: 51227 3434.43/3443.75 c #Conflicts: 2074000 | #Constraints: 52227 3434.43/3443.75 c #Conflicts: 2075000 | #Constraints: 53227 3434.43/3443.75 c #Conflicts: 2076000 | #Constraints: 54227 3434.43/3443.75 c #Conflicts: 2077000 | #Constraints: 55227 3434.43/3443.75 c #Conflicts: 2078000 | #Constraints: 56227 3434.43/3443.75 c #Conflicts: 2079000 | #Constraints: 57227 3434.43/3443.75 c INPROCESSING 3434.43/3443.75 c GARBAGE COLLECT 3434.43/3443.75 c rational objective 0 3506.81/3516.39 c #Conflicts: 2080000 | #Constraints: 29628 3506.81/3516.39 c #Conflicts: 2081000 | #Constraints: 30628 3506.81/3516.39 c #Conflicts: 2082000 | #Constraints: 31628 3506.81/3516.39 c #Conflicts: 2083000 | #Constraints: 32628 3506.81/3516.39 c #Conflicts: 2084000 | #Constraints: 33628 3506.81/3516.39 c #Conflicts: 2085000 | #Constraints: 34628 3506.81/3516.39 c #Conflicts: 2086000 | #Constraints: 35629 3506.81/3516.39 c #Conflicts: 2087000 | #Constraints: 36629 3506.81/3516.39 c #Conflicts: 2088000 | #Constraints: 37629 3506.81/3516.39 c #Conflicts: 2089000 | #Constraints: 38629 3506.81/3516.39 c #Conflicts: 2090000 | #Constraints: 39629 3506.81/3516.39 c #Conflicts: 2091000 | #Constraints: 40629 3506.81/3516.39 c #Conflicts: 2092000 | #Constraints: 41629 3506.81/3516.39 c #Conflicts: 2093000 | #Constraints: 42629 3506.81/3516.39 c #Conflicts: 2094000 | #Constraints: 43629 3506.81/3516.39 c #Conflicts: 2095000 | #Constraints: 44629 3506.81/3516.39 c #Conflicts: 2096000 | #Constraints: 45629 3506.81/3516.39 c #Conflicts: 2097000 | #Constraints: 46629 3506.81/3516.39 c #Conflicts: 2098000 | #Constraints: 47629 3506.81/3516.39 c #Conflicts: 2099000 | #Constraints: 48629 3506.81/3516.39 c #Conflicts: 2100000 | #Constraints: 49629 3506.81/3516.39 c #Conflicts: 2101000 | #Constraints: 50629 3506.81/3516.39 c #Conflicts: 2102000 | #Constraints: 51629 3506.81/3516.39 c #Conflicts: 2103000 | #Constraints: 52629 3506.81/3516.39 c #Conflicts: 2104000 | #Constraints: 53629 3506.81/3516.39 c #Conflicts: 2105000 | #Constraints: 54629 3506.81/3516.39 c #Conflicts: 2106000 | #Constraints: 55629 3506.81/3516.39 c #Conflicts: 2107000 | #Constraints: 56629 3506.81/3516.39 c #Conflicts: 2108000 | #Constraints: 57629 3506.81/3516.39 c INPROCESSING 3506.81/3516.39 c GARBAGE COLLECT 3506.81/3516.39 c rational objective 0 3581.41/3591.19 c #Conflicts: 2109000 | #Constraints: 29828 3581.41/3591.19 c #Conflicts: 2110000 | #Constraints: 30828 3581.41/3591.19 c #Conflicts: 2111000 | #Constraints: 31828 3581.41/3591.19 c #Conflicts: 2112000 | #Constraints: 32828 3581.41/3591.19 c #Conflicts: 2113000 | #Constraints: 33828 3581.41/3591.19 c #Conflicts: 2114000 | #Constraints: 34828 3581.41/3591.19 c #Conflicts: 2115000 | #Constraints: 35828 3581.41/3591.19 c #Conflicts: 2116000 | #Constraints: 36828 3581.41/3591.19 c #Conflicts: 2117000 | #Constraints: 37828 3581.41/3591.19 c #Conflicts: 2118000 | #Constraints: 38828 3581.41/3591.19 c #Conflicts: 2119000 | #Constraints: 39828 3581.41/3591.19 c #Conflicts: 2120000 | #Constraints: 40828 3581.41/3591.19 c #Conflicts: 2121000 | #Constraints: 41828 3581.41/3591.19 c #Conflicts: 2122000 | #Constraints: 42828 3581.41/3591.19 c #Conflicts: 2123000 | #Constraints: 43828 3581.41/3591.19 c #Conflicts: 2124000 | #Constraints: 44829 3581.41/3591.19 c #Conflicts: 2125000 | #Constraints: 45829 3581.41/3591.19 c #Conflicts: 2126000 | #Constraints: 46829 3581.41/3591.19 c #Conflicts: 2127000 | #Constraints: 47829 3581.41/3591.19 c #Conflicts: 2128000 | #Constraints: 48829 3581.41/3591.19 c #Conflicts: 2129000 | #Constraints: 49829 3581.41/3591.19 c #Conflicts: 2130000 | #Constraints: 50829 3581.41/3591.19 c #Conflicts: 2131000 | #Constraints: 51829 3581.41/3591.19 c #Conflicts: 2132000 | #Constraints: 52829 3581.41/3591.19 c #Conflicts: 2133000 | #Constraints: 53829 3581.41/3591.19 c #Conflicts: 2134000 | #Constraints: 54829 3581.41/3591.19 c #Conflicts: 2135000 | #Constraints: 55829 3581.41/3591.19 c #Conflicts: 2136000 | #Constraints: 56829 3581.41/3591.19 c #Conflicts: 2137000 | #Constraints: 57829 3581.41/3591.19 c INPROCESSING 3581.41/3591.19 c GARBAGE COLLECT 3581.41/3591.19 c rational objective 0 3600.05/3609.80 c #Conflicts: 2138000 | #Constraints: 29828 3600.05/3609.80 c #Conflicts: 2139000 | #Constraints: 30828 3600.05/3609.80 c #Conflicts: 2140000 | #Constraints: 31828 3600.05/3609.80 c #Conflicts: 2141000 | #Constraints: 32828 3600.05/3609.80 c #Conflicts: 2142000 | #Constraints: 33828 3600.05/3609.80 c #Conflicts: 2143000 | #Constraints: 34828 3600.05/3609.80 c #Conflicts: 2144000 | #Constraints: 35828 3600.05/3609.80 c #Conflicts: 2145000 | #Constraints: 36828 3600.05/3609.80 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60321 MiB free)
memory of node 1: 64510 MiB (60397 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460212-1722064839/watcher-4460212-1722064839 -o /tmp/evaluation-result-4460212-1722064839/solver-4460212-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317571 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460212-1722064839 --lp-cut-gomory=0 HOME/instance-4460212-1722064839.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=317708, runsolver pid=317705
[startup+0.100888 s]*
/proc/loadavg: 0.43 0.22 0.17 4/257 317714
/proc/meminfo: memFree=123621112/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=37892 memory=8480 CPUtime=0.09 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 460 0 0 0 8 1 0 0 20 0 1 0 43006772 38801408 2120 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 9473 2120 1895 992 0 1331 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 8480 KiB
[startup+0.20537 s]*
/proc/loadavg: 0.43 0.22 0.17 5/260 317723
/proc/meminfo: memFree=123601756/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=38020 memory=8988 CPUtime=0.2 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 544 0 0 0 18 2 0 0 20 0 1 0 43006772 38932480 2247 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 9505 2247 1895 992 0 1363 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38020 KiB
Current children cumulated memory: 8988 KiB
[startup+0.305587 s]*
/proc/loadavg: 0.43 0.22 0.17 5/263 317729
/proc/meminfo: memFree=123590200/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=38156 memory=8988 CPUtime=0.29 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 559 0 0 0 27 2 0 0 20 0 1 0 43006772 39071744 2247 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 9539 2247 1895 992 0 1397 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 8988 KiB
[startup+0.700155 s]
/proc/loadavg: 0.43 0.22 0.17 5/263 317729
/proc/meminfo: memFree=123568676/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=38436 memory=9516 CPUtime=0.68 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 709 0 0 0 63 5 0 0 20 0 1 0 43006772 39358464 2379 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 9609 2379 1895 992 0 1467 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 9516 KiB
[startup+1.50016 s]
/proc/loadavg: 0.43 0.22 0.17 5/263 317729
/proc/meminfo: memFree=123498700/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=38724 memory=11828 CPUtime=1.48 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 771 0 0 0 139 9 0 0 20 0 1 0 43006772 39653376 2957 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 9681 2957 1895 992 0 1539 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38724 KiB
Current children cumulated memory: 11828 KiB
[startup+3.1058 s]
/proc/loadavg: 0.43 0.22 0.17 5/263 317729
/proc/meminfo: memFree=123262104/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=38964 memory=12304 CPUtime=3.08 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 857 0 0 0 294 14 0 0 20 0 1 0 43006772 39899136 3076 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 9741 3076 1895 992 0 1599 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 38964 KiB
Current children cumulated memory: 12304 KiB
[startup+6.30015 s]
/proc/loadavg: 0.72 0.28 0.19 5/263 317731
/proc/meminfo: memFree=122972292/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=39204 memory=12556 CPUtime=6.27 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 925 0 0 0 603 24 0 0 20 0 1 0 43006772 40144896 3139 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 9801 3139 1895 992 0 1659 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39204 KiB
Current children cumulated memory: 12556 KiB
[startup+12.7002 s]
/proc/loadavg: 0.98 0.34 0.21 5/263 317731
/proc/meminfo: memFree=122483776/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=39748 memory=13032 CPUtime=12.65 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 1042 0 0 0 1227 38 0 0 20 0 1 0 43006772 40701952 3258 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 9937 3258 1895 992 0 1795 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 13032 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 0.60 0.30 5/260 317734
/proc/meminfo: memFree=121457268/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=40132 memory=13476 CPUtime=25.42 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 1215 0 0 0 2477 65 0 0 20 0 1 0 43006772 41095168 3369 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 10033 3369 1895 992 0 1891 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 40132 KiB
Current children cumulated memory: 13476 KiB
[startup+51.1055 s]
/proc/loadavg: 2.92 0.93 0.41 5/261 317738
/proc/meminfo: memFree=119915792/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=40740 memory=14032 CPUtime=50.96 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 1515 0 0 0 4984 112 0 0 20 0 1 0 43006772 41717760 3508 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 10185 3508 1895 992 0 2043 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 40740 KiB
Current children cumulated memory: 14032 KiB
[startup+102.3 s]
/proc/loadavg: 3.77 1.48 0.63 5/261 317748
/proc/meminfo: memFree=117134904/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=42152 memory=15936 CPUtime=102.02 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 2123 0 0 0 10018 184 0 0 20 0 1 0 43006772 43163648 3984 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 10538 3984 1895 992 0 2396 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 42152 KiB
Current children cumulated memory: 15936 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 1.95 0.85 7/262 317761
/proc/meminfo: memFree=114380112/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=42484 memory=16992 CPUtime=161.88 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 2571 0 0 0 15929 259 0 0 20 0 1 0 43006772 43503616 4248 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 10621 4248 1895 992 0 2479 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 42484 KiB
Current children cumulated memory: 16992 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.34 1.05 5/262 317772
/proc/meminfo: memFree=111535860/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=45252 memory=17608 CPUtime=221.72 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 2975 0 0 0 21846 326 0 0 20 0 1 0 43006772 46338048 4402 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 11313 4402 1895 992 0 3171 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 45252 KiB
Current children cumulated memory: 17608 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.68 1.25 7/262 317782
/proc/meminfo: memFree=109551448/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=45636 memory=18428 CPUtime=281.56 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 3575 0 0 0 27773 383 0 0 20 0 1 0 43006772 46731264 4607 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 11409 4607 1895 992 0 3267 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 45636 KiB
Current children cumulated memory: 18428 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 2.95 1.44 5/260 318175
/proc/meminfo: memFree=108545868/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=46148 memory=19112 CPUtime=341.41 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 4012 0 0 0 33701 440 0 0 20 0 1 0 43006772 47255552 4778 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 11537 4778 1895 992 0 3395 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 46148 KiB
Current children cumulated memory: 19112 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.16 1.60 7/261 318187
/proc/meminfo: memFree=104633092/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=47280 memory=20612 CPUtime=401.25 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 4673 0 0 0 39630 495 0 0 20 0 1 0 43006772 48414720 5153 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 11820 5153 1895 992 0 3678 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 47280 KiB
Current children cumulated memory: 20612 KiB
[startup+462.309 s]
/proc/loadavg: 4.08 3.33 1.76 5/262 318199
/proc/meminfo: memFree=101668308/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=47668 memory=21160 CPUtime=461.1 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 4933 0 0 0 45562 548 0 0 20 0 1 0 43006772 48812032 5290 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 11917 5290 1895 992 0 3775 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.20 4.15 4.02 5/264 319497
/proc/meminfo: memFree=30438464/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=57700 memory=31980 CPUtime=3094.01 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 12618 0 0 0 307084 2317 0 0 20 0 1 0 43006772 59084800 7995 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 14425 7995 1895 992 0 6283 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 57700 KiB
Current children cumulated memory: 31980 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.02 8/264 319507
/proc/meminfo: memFree=29127668/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=57700 memory=31980 CPUtime=3153.84 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 12626 0 0 0 313033 2351 0 0 20 0 1 0 43006772 59084800 7995 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 14425 7995 1895 992 0 6283 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 57700 KiB
Current children cumulated memory: 31980 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.16 4.04 5/261 319518
/proc/meminfo: memFree=27927300/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=57740 memory=32056 CPUtime=3213.67 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 12759 0 0 0 318985 2382 0 0 20 0 1 0 43006772 59125760 8014 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 14435 8014 1895 992 0 6293 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 57740 KiB
Current children cumulated memory: 32056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.16 4.04 8/260 319528
/proc/meminfo: memFree=26145272/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=64920 memory=32124 CPUtime=3273.49 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 12890 0 0 0 324937 2412 0 0 20 0 1 0 43006772 66478080 8031 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16230 8031 1895 992 0 8088 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 64920 KiB
Current children cumulated memory: 32124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.04 5/259 319538
/proc/meminfo: memFree=25184192/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=65140 memory=32488 CPUtime=3333.32 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 13095 0 0 0 330889 2443 0 0 20 0 1 0 43006772 66703360 8122 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16285 8122 1895 992 0 8143 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 65140 KiB
Current children cumulated memory: 32488 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.05 9/261 319552
/proc/meminfo: memFree=24514168/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=65144 memory=32596 CPUtime=3393.15 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 13236 0 0 0 336837 2478 0 0 20 0 1 0 43006772 66707456 8149 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16286 8149 1895 992 0 8144 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 65144 KiB
Current children cumulated memory: 32596 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.12 4.04 5/261 319564
/proc/meminfo: memFree=24095484/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=65400 memory=32936 CPUtime=3452.97 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 13436 0 0 0 342786 2511 0 0 20 0 1 0 43006772 66969600 8234 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16350 8234 1895 992 0 8208 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 65400 KiB
Current children cumulated memory: 32936 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.04 8/262 319575
/proc/meminfo: memFree=23668404/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=66172 memory=33848 CPUtime=3512.79 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 13779 0 0 0 348742 2537 0 0 20 0 1 0 43006772 67760128 8462 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16543 8462 1895 992 0 8401 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 66172 KiB
Current children cumulated memory: 33848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.05 5/262 319586
/proc/meminfo: memFree=23146656/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=66712 memory=33848 CPUtime=3572.62 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 13835 0 0 0 354693 2569 0 0 20 0 1 0 43006772 68313088 8462 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16678 8462 1895 992 0 8536 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 66712 KiB
Current children cumulated memory: 33848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.10 4.12 4.05 4/263 319595
/proc/meminfo: memFree=22669624/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=66940 memory=34408 CPUtime=3600.05 cores=1,3
/proc/317708/stat : 317708 (roundingsat) R 317705 317708 317555 0 -1 4194304 14043 0 0 0 357420 2585 0 0 20 0 1 0 43006772 68546560 8602 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16735 8602 1895 992 0 8593 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 66940 KiB
Current children cumulated memory: 34408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.10 4.12 4.05 1/261 319595
/proc/meminfo: memFree=22647104/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=66940 memory=34408 CPUtime=3600.05 cores=1,3
/proc/317708/stat : 317708 (roundingsat) D 317705 317708 317555 0 -1 4194304 14052 0 0 0 357420 2585 0 0 20 0 1 0 43006772 68546560 8602 134679101440 4194304 8254357 140731745119744 0 0 256 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16735 8602 1895 992 0 8593 0
??? kill 317708 sig 9
??? end of watcher thread
[startup+3623.47 s]
# the end of solver process 317708 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3574.2 s, system=25.8547 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.10 4.12 4.05 1/262 319595
/proc/meminfo: memFree=22647104/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=66940 memory=34408 CPUtime=3600.05 cores=1,3
/proc/317708/stat : 317708 (roundingsat) D 317705 317708 317555 0 -1 4194304 14052 0 0 0 357420 2585 0 0 20 0 1 0 43006772 68546560 8602 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16735 8602 1895 992 0 8593 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 66940 KiB
Current children cumulated memory: 34408 KiB
[startup+3611.6 s]
/proc/loadavg: 4.10 4.12 4.05 1/262 319595
/proc/meminfo: memFree=22647104/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=66940 memory=34408 CPUtime=3600.05 cores=1,3
/proc/317708/stat : 317708 (roundingsat) D 317705 317708 317555 0 -1 4194304 14052 0 0 0 357420 2585 0 0 20 0 1 0 43006772 68546560 8602 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16735 8602 1895 992 0 8593 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 66940 KiB
Current children cumulated memory: 34408 KiB
[startup+3611.8 s]
/proc/loadavg: 4.10 4.12 4.05 1/262 319595
/proc/meminfo: memFree=22647104/131524600 swapFree=131061428/131071996
[pid=317708] ppid=317705 vsize=66940 memory=34408 CPUtime=3600.05 cores=1,3
/proc/317708/stat : 317708 (roundingsat) D 317705 317708 317555 0 -1 4194304 14052 0 0 0 357420 2585 0 0 20 0 1 0 43006772 68546560 8602 134679101440 4194304 8254357 140731745119744 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40230912 140731745125211 140731745125473 140731745125473 140731745132489 0
/proc/317708/statm: 16735 8602 1895 992 0 8593 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 66940 KiB
Current children cumulated memory: 34408 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3623.47
CPU time (s): 3600.06
CPU user time (s): 3574.2
CPU system time (s): 25.8547
CPU usage (%): 99.3538
Max. virtual memory (cumulated for all children) (KiB): 66940
Max. memory (cumulated for all children) (KiB): 34408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.2
system time used= 25.8547
maximum resident set size= 34856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9051656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 228
involuntary context switches= 4803
# summary of solver processes directly reported to runsolver:
# pid: 317708
# total CPU time (s): 3600.06
# total CPU user time (s): 3574.2
# total CPU system time (s): 25.8547
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95676 second user time and 16.6818 second system time
The end
Begin job on nodeC022 at 2024-07-27 09:20:39 IDJOB=4460212 IDBENCH=147576 IDSOLVER=3086 FILE ID=nodeC022/4460212-1722064839 RUNJOBID= nodeC022-1722064836-317571 SLURM_JOB_ID= 8248091 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.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-4460212-1722064839/watcher-4460212-1722064839 -o /tmp/evaluation-result-4460212-1722064839/solver-4460212-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317571 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460212-1722064839 --lp-cut-gomory=0 HOME/instance-4460212-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 52024caa2fcec9d840e113a681eace59 RANDOM SEED=1859590444 nodeC022.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 : 3678.119 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.87 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 : 3665.510 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 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 : 3600.377 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.87 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 : 3654.984 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 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 : 3678.147 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.87 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 : 3599.940 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 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 : 3600.288 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.87 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 : 3684.218 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123619416 kB MemAvailable: 129467524 kB Buffers: 375016 kB Cached: 6222184 kB SwapCached: 1424 kB Active: 2698628 kB Inactive: 4429652 kB Active(anon): 1916 kB Inactive(anon): 582620 kB Active(file): 2696712 kB Inactive(file): 3847032 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061428 kB Dirty: 196044 kB Writeback: 140 kB AnonPages: 529188 kB Mapped: 123192 kB Shmem: 53732 kB KReclaimable: 292120 kB Slab: 422300 kB SReclaimable: 292120 kB SUnreclaim: 130180 kB KernelStack: 4224 kB PageTables: 10220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 881156 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 249856 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: 334548 kB DirectMap2M: 36139008 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890060 MiB End job on nodeC022 at 2024-07-27 10:21:02