| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.02 | 3617.64 |
| 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.56 c #Conflicts: 3000 | #Constraints: 2024 0.50/0.56 c #Conflicts: 4000 | #Constraints: 3027 0.50/0.56 c INPROCESSING 0.50/0.56 c GARBAGE COLLECT 0.50/0.56 c rational objective 0 0.99/1.02 c #Conflicts: 5000 | #Constraints: 2431 0.99/1.02 c #Conflicts: 6000 | #Constraints: 3435 0.99/1.02 c INPROCESSING 0.99/1.02 c GARBAGE COLLECT 0.99/1.02 c rational objective 0 1.59/1.61 c #Conflicts: 7000 | #Constraints: 2430 1.59/1.61 c #Conflicts: 8000 | #Constraints: 3430 1.59/1.61 c #Conflicts: 9000 | #Constraints: 4433 1.59/1.61 c INPROCESSING 1.59/1.61 c GARBAGE COLLECT 1.59/1.61 c rational objective 0 2.28/2.33 c #Conflicts: 10000 | #Constraints: 3127 2.28/2.33 c #Conflicts: 11000 | #Constraints: 4128 2.28/2.33 c #Conflicts: 12000 | #Constraints: 5128 2.28/2.33 c INPROCESSING 2.28/2.33 c GARBAGE COLLECT 2.28/2.33 c rational objective 0 3.08/3.14 c #Conflicts: 13000 | #Constraints: 3581 3.08/3.14 c #Conflicts: 14000 | #Constraints: 4581 3.08/3.14 c #Conflicts: 15000 | #Constraints: 5583 3.08/3.14 c INPROCESSING 3.08/3.14 c GARBAGE COLLECT 3.08/3.14 c rational objective 0 4.09/4.14 c #Conflicts: 16000 | #Constraints: 3802 4.09/4.14 c #Conflicts: 17000 | #Constraints: 4803 4.09/4.14 c #Conflicts: 18000 | #Constraints: 5805 4.09/4.14 c INPROCESSING 4.09/4.14 c GARBAGE COLLECT 4.09/4.14 c rational objective 0 5.08/5.17 c #Conflicts: 19000 | #Constraints: 3818 5.08/5.17 c #Conflicts: 20000 | #Constraints: 4818 5.08/5.17 c #Conflicts: 21000 | #Constraints: 5818 5.08/5.17 c INPROCESSING 5.08/5.17 c GARBAGE COLLECT 5.08/5.17 c rational objective 0 6.27/6.32 c #Conflicts: 22000 | #Constraints: 3620 6.27/6.32 c #Conflicts: 23000 | #Constraints: 4620 6.27/6.32 c #Conflicts: 24000 | #Constraints: 5620 6.27/6.32 c #Conflicts: 25000 | #Constraints: 6620 6.27/6.32 c INPROCESSING 6.27/6.32 c GARBAGE COLLECT 6.27/6.32 c rational objective 0 7.57/7.62 c #Conflicts: 26000 | #Constraints: 4222 7.57/7.62 c #Conflicts: 27000 | #Constraints: 5223 7.57/7.62 c #Conflicts: 28000 | #Constraints: 6224 7.57/7.62 c #Conflicts: 29000 | #Constraints: 7224 7.57/7.62 c INPROCESSING 7.57/7.62 c GARBAGE COLLECT 7.57/7.62 c rational objective 0 8.98/9.05 c #Conflicts: 30000 | #Constraints: 4623 8.98/9.05 c #Conflicts: 31000 | #Constraints: 5623 8.98/9.05 c #Conflicts: 32000 | #Constraints: 6623 8.98/9.05 c #Conflicts: 33000 | #Constraints: 7623 8.98/9.05 c INPROCESSING 8.98/9.05 c GARBAGE COLLECT 8.98/9.05 c rational objective 0 10.66/10.74 c #Conflicts: 34000 | #Constraints: 4825 10.66/10.74 c #Conflicts: 35000 | #Constraints: 5825 10.66/10.74 c #Conflicts: 36000 | #Constraints: 6825 10.66/10.74 c #Conflicts: 37000 | #Constraints: 7825 10.66/10.74 c INPROCESSING 10.66/10.74 c GARBAGE COLLECT 10.66/10.74 c rational objective 0 12.46/12.51 c #Conflicts: 38000 | #Constraints: 4827 12.46/12.51 c #Conflicts: 39000 | #Constraints: 5827 12.46/12.51 c #Conflicts: 40000 | #Constraints: 6828 12.46/12.51 c #Conflicts: 41000 | #Constraints: 7828 12.46/12.51 c INPROCESSING 12.46/12.51 c GARBAGE COLLECT 12.46/12.51 c rational objective 0 14.25/14.38 c #Conflicts: 42000 | #Constraints: 4629 14.25/14.38 c #Conflicts: 43000 | #Constraints: 5630 14.25/14.38 c #Conflicts: 44000 | #Constraints: 6630 14.25/14.38 c #Conflicts: 45000 | #Constraints: 7630 14.25/14.38 c #Conflicts: 46000 | #Constraints: 8630 14.25/14.38 c INPROCESSING 14.25/14.38 c GARBAGE COLLECT 14.25/14.38 c rational objective 0 16.25/16.39 c #Conflicts: 47000 | #Constraints: 5225 16.25/16.39 c #Conflicts: 48000 | #Constraints: 6225 16.25/16.39 c #Conflicts: 49000 | #Constraints: 7225 16.25/16.39 c #Conflicts: 50000 | #Constraints: 8225 16.25/16.39 c #Conflicts: 51000 | #Constraints: 9225 16.25/16.39 c INPROCESSING 16.25/16.39 c GARBAGE COLLECT 16.25/16.39 c rational objective 0 18.44/18.51 c #Conflicts: 52000 | #Constraints: 5626 18.44/18.51 c #Conflicts: 53000 | #Constraints: 6627 18.44/18.51 c #Conflicts: 54000 | #Constraints: 7629 18.44/18.51 c #Conflicts: 55000 | #Constraints: 8629 18.44/18.51 c #Conflicts: 56000 | #Constraints: 9629 18.44/18.51 c INPROCESSING 18.44/18.51 c GARBAGE COLLECT 18.44/18.51 c rational objective 0 20.63/20.79 c #Conflicts: 57000 | #Constraints: 5825 20.63/20.79 c #Conflicts: 58000 | #Constraints: 6825 20.63/20.79 c #Conflicts: 59000 | #Constraints: 7825 20.63/20.79 c #Conflicts: 60000 | #Constraints: 8825 20.63/20.79 c #Conflicts: 61000 | #Constraints: 9825 20.63/20.79 c INPROCESSING 20.63/20.79 c GARBAGE COLLECT 20.63/20.79 c rational objective 0 23.13/23.29 c #Conflicts: 62000 | #Constraints: 5827 23.13/23.29 c #Conflicts: 63000 | #Constraints: 6827 23.13/23.29 c #Conflicts: 64000 | #Constraints: 7827 23.13/23.29 c #Conflicts: 65000 | #Constraints: 8828 23.13/23.29 c #Conflicts: 66000 | #Constraints: 9828 23.13/23.29 c INPROCESSING 23.13/23.29 c GARBAGE COLLECT 23.13/23.29 c rational objective 0 25.82/25.97 c #Conflicts: 67000 | #Constraints: 5624 25.82/25.97 c #Conflicts: 68000 | #Constraints: 6625 25.82/25.97 c #Conflicts: 69000 | #Constraints: 7625 25.82/25.97 c #Conflicts: 70000 | #Constraints: 8625 25.82/25.97 c #Conflicts: 71000 | #Constraints: 9626 25.82/25.97 c #Conflicts: 72000 | #Constraints: 10626 25.82/25.97 c INPROCESSING 25.82/25.97 c GARBAGE COLLECT 25.82/25.97 c rational objective 0 28.61/28.77 c #Conflicts: 73000 | #Constraints: 6227 28.61/28.77 c #Conflicts: 74000 | #Constraints: 7227 28.61/28.77 c #Conflicts: 75000 | #Constraints: 8227 28.61/28.77 c #Conflicts: 76000 | #Constraints: 9228 28.61/28.77 c #Conflicts: 77000 | #Constraints: 10229 28.61/28.77 c #Conflicts: 78000 | #Constraints: 11229 28.61/28.77 c INPROCESSING 28.61/28.77 c GARBAGE COLLECT 28.61/28.77 c rational objective 0 31.81/31.96 c #Conflicts: 79000 | #Constraints: 6629 31.81/31.96 c #Conflicts: 80000 | #Constraints: 7629 31.81/31.96 c #Conflicts: 81000 | #Constraints: 8630 31.81/31.96 c #Conflicts: 82000 | #Constraints: 9631 31.81/31.96 c #Conflicts: 83000 | #Constraints: 10631 31.81/31.96 c #Conflicts: 84000 | #Constraints: 11631 31.81/31.96 c INPROCESSING 31.81/31.96 c GARBAGE COLLECT 31.81/31.96 c rational objective 0 35.20/35.39 c #Conflicts: 85000 | #Constraints: 6827 35.20/35.39 c #Conflicts: 86000 | #Constraints: 7827 35.20/35.39 c #Conflicts: 87000 | #Constraints: 8827 35.20/35.39 c #Conflicts: 88000 | #Constraints: 9827 35.20/35.39 c #Conflicts: 89000 | #Constraints: 10827 35.20/35.39 c #Conflicts: 90000 | #Constraints: 11827 35.20/35.39 c INPROCESSING 35.20/35.39 c GARBAGE COLLECT 35.20/35.39 c rational objective 0 38.90/39.01 c #Conflicts: 91000 | #Constraints: 6825 38.90/39.01 c #Conflicts: 92000 | #Constraints: 7825 38.90/39.01 c #Conflicts: 93000 | #Constraints: 8825 38.90/39.01 c #Conflicts: 94000 | #Constraints: 9825 38.90/39.01 c #Conflicts: 95000 | #Constraints: 10825 38.90/39.01 c #Conflicts: 96000 | #Constraints: 11825 38.90/39.01 c INPROCESSING 38.90/39.01 c GARBAGE COLLECT 38.90/39.01 c rational objective 0 42.78/42.92 c #Conflicts: 97000 | #Constraints: 6628 42.78/42.92 c #Conflicts: 98000 | #Constraints: 7628 42.78/42.92 c #Conflicts: 99000 | #Constraints: 8628 42.78/42.92 c #Conflicts: 100000 | #Constraints: 9628 42.78/42.92 c #Conflicts: 101000 | #Constraints: 10628 42.78/42.92 c #Conflicts: 102000 | #Constraints: 11628 42.78/42.92 c #Conflicts: 103000 | #Constraints: 12628 42.78/42.92 c INPROCESSING 42.78/42.92 c GARBAGE COLLECT 42.78/42.92 c rational objective 0 46.57/46.77 c #Conflicts: 104000 | #Constraints: 7226 46.57/46.77 c #Conflicts: 105000 | #Constraints: 8226 46.57/46.77 c #Conflicts: 106000 | #Constraints: 9226 46.57/46.77 c #Conflicts: 107000 | #Constraints: 10226 46.57/46.77 c #Conflicts: 108000 | #Constraints: 11226 46.57/46.77 c #Conflicts: 109000 | #Constraints: 12226 46.57/46.77 c #Conflicts: 110000 | #Constraints: 13226 46.57/46.77 c INPROCESSING 46.57/46.77 c GARBAGE COLLECT 46.57/46.77 c rational objective 0 50.66/50.83 c #Conflicts: 111000 | #Constraints: 7626 50.66/50.83 c #Conflicts: 112000 | #Constraints: 8627 50.66/50.83 c #Conflicts: 113000 | #Constraints: 9628 50.66/50.83 c #Conflicts: 114000 | #Constraints: 10630 50.66/50.83 c #Conflicts: 115000 | #Constraints: 11631 50.66/50.83 c #Conflicts: 116000 | #Constraints: 12631 50.66/50.83 c #Conflicts: 117000 | #Constraints: 13631 50.66/50.83 c INPROCESSING 50.66/50.83 c GARBAGE COLLECT 50.66/50.83 c rational objective 0 54.94/55.17 c #Conflicts: 118000 | #Constraints: 7826 54.94/55.17 c #Conflicts: 119000 | #Constraints: 8826 54.94/55.17 c #Conflicts: 120000 | #Constraints: 9826 54.94/55.17 c #Conflicts: 121000 | #Constraints: 10826 54.94/55.17 c #Conflicts: 122000 | #Constraints: 11826 54.94/55.17 c #Conflicts: 123000 | #Constraints: 12827 54.94/55.17 c #Conflicts: 124000 | #Constraints: 13827 54.94/55.17 c INPROCESSING 54.94/55.17 c GARBAGE COLLECT 54.94/55.17 c rational objective 0 59.42/59.68 c #Conflicts: 125000 | #Constraints: 7824 59.42/59.68 c #Conflicts: 126000 | #Constraints: 8824 59.42/59.68 c #Conflicts: 127000 | #Constraints: 9824 59.42/59.68 c #Conflicts: 128000 | #Constraints: 10824 59.42/59.68 c #Conflicts: 129000 | #Constraints: 11824 59.42/59.68 c #Conflicts: 130000 | #Constraints: 12824 59.42/59.68 c #Conflicts: 131000 | #Constraints: 13825 59.42/59.68 c INPROCESSING 59.42/59.68 c GARBAGE COLLECT 59.42/59.68 c rational objective 0 64.32/64.54 c #Conflicts: 132000 | #Constraints: 7624 64.32/64.54 c #Conflicts: 133000 | #Constraints: 8624 64.32/64.54 c #Conflicts: 134000 | #Constraints: 9624 64.32/64.54 c #Conflicts: 135000 | #Constraints: 10625 64.32/64.54 c #Conflicts: 136000 | #Constraints: 11625 64.32/64.54 c #Conflicts: 137000 | #Constraints: 12626 64.32/64.54 c #Conflicts: 138000 | #Constraints: 13626 64.32/64.54 c #Conflicts: 139000 | #Constraints: 14627 64.32/64.54 c INPROCESSING 64.32/64.54 c GARBAGE COLLECT 64.32/64.54 c rational objective 0 69.59/69.81 c #Conflicts: 140000 | #Constraints: 8228 69.59/69.81 c #Conflicts: 141000 | #Constraints: 9228 69.59/69.81 c #Conflicts: 142000 | #Constraints: 10228 69.59/69.81 c #Conflicts: 143000 | #Constraints: 11228 69.59/69.81 c #Conflicts: 144000 | #Constraints: 12228 69.59/69.81 c #Conflicts: 145000 | #Constraints: 13228 69.59/69.81 c #Conflicts: 146000 | #Constraints: 14228 69.59/69.81 c #Conflicts: 147000 | #Constraints: 15228 69.59/69.81 c INPROCESSING 69.59/69.81 c GARBAGE COLLECT 69.59/69.81 c rational objective 0 74.98/75.24 c #Conflicts: 148000 | #Constraints: 8626 74.98/75.24 c #Conflicts: 149000 | #Constraints: 9627 74.98/75.24 c #Conflicts: 150000 | #Constraints: 10627 74.98/75.24 c #Conflicts: 151000 | #Constraints: 11627 74.98/75.24 c #Conflicts: 152000 | #Constraints: 12627 74.98/75.24 c #Conflicts: 153000 | #Constraints: 13627 74.98/75.24 c #Conflicts: 154000 | #Constraints: 14627 74.98/75.24 c #Conflicts: 155000 | #Constraints: 15628 74.98/75.24 c INPROCESSING 74.98/75.24 c GARBAGE COLLECT 74.98/75.24 c rational objective 0 80.66/80.99 c #Conflicts: 156000 | #Constraints: 8827 80.66/80.99 c #Conflicts: 157000 | #Constraints: 9827 80.66/80.99 c #Conflicts: 158000 | #Constraints: 10827 80.66/80.99 c #Conflicts: 159000 | #Constraints: 11827 80.66/80.99 c #Conflicts: 160000 | #Constraints: 12827 80.66/80.99 c #Conflicts: 161000 | #Constraints: 13827 80.66/80.99 c #Conflicts: 162000 | #Constraints: 14827 80.66/80.99 c #Conflicts: 163000 | #Constraints: 15827 80.66/80.99 c INPROCESSING 80.66/80.99 c GARBAGE COLLECT 80.66/80.99 c rational objective 0 86.75/87.04 c #Conflicts: 164000 | #Constraints: 8826 86.75/87.04 c #Conflicts: 165000 | #Constraints: 9826 86.75/87.04 c #Conflicts: 166000 | #Constraints: 10826 86.75/87.04 c #Conflicts: 167000 | #Constraints: 11826 86.75/87.04 c #Conflicts: 168000 | #Constraints: 12826 86.75/87.04 c #Conflicts: 169000 | #Constraints: 13826 86.75/87.04 c #Conflicts: 170000 | #Constraints: 14826 86.75/87.04 c #Conflicts: 171000 | #Constraints: 15826 86.75/87.04 c INPROCESSING 86.75/87.04 c GARBAGE COLLECT 86.75/87.04 c rational objective 0 92.93/93.21 c #Conflicts: 172000 | #Constraints: 8626 92.93/93.21 c #Conflicts: 173000 | #Constraints: 9626 92.93/93.21 c #Conflicts: 174000 | #Constraints: 10626 92.93/93.21 c #Conflicts: 175000 | #Constraints: 11626 92.93/93.21 c #Conflicts: 176000 | #Constraints: 12626 92.93/93.21 c #Conflicts: 177000 | #Constraints: 13626 92.93/93.21 c #Conflicts: 178000 | #Constraints: 14626 92.93/93.21 c #Conflicts: 179000 | #Constraints: 15626 92.93/93.21 c #Conflicts: 180000 | #Constraints: 16626 92.93/93.21 c INPROCESSING 92.93/93.21 c GARBAGE COLLECT 92.93/93.21 c rational objective 0 99.61/99.97 c #Conflicts: 181000 | #Constraints: 9226 99.61/99.97 c #Conflicts: 182000 | #Constraints: 10226 99.61/99.97 c #Conflicts: 183000 | #Constraints: 11226 99.61/99.97 c #Conflicts: 184000 | #Constraints: 12226 99.61/99.97 c #Conflicts: 185000 | #Constraints: 13226 99.61/99.97 c #Conflicts: 186000 | #Constraints: 14226 99.61/99.97 c #Conflicts: 187000 | #Constraints: 15226 99.61/99.97 c #Conflicts: 188000 | #Constraints: 16226 99.61/99.97 c #Conflicts: 189000 | #Constraints: 17226 99.61/99.97 c INPROCESSING 99.61/99.97 c GARBAGE COLLECT 99.61/99.97 c rational objective 0 106.59/106.92 c #Conflicts: 190000 | #Constraints: 9626 106.59/106.92 c #Conflicts: 191000 | #Constraints: 10626 106.59/106.92 c #Conflicts: 192000 | #Constraints: 11626 106.59/106.92 c #Conflicts: 193000 | #Constraints: 12626 106.59/106.92 c #Conflicts: 194000 | #Constraints: 13626 106.59/106.92 c #Conflicts: 195000 | #Constraints: 14626 106.59/106.92 c #Conflicts: 196000 | #Constraints: 15626 106.59/106.92 c #Conflicts: 197000 | #Constraints: 16626 106.59/106.92 c #Conflicts: 198000 | #Constraints: 17626 106.59/106.92 c INPROCESSING 106.59/106.92 c GARBAGE COLLECT 106.59/106.92 c rational objective 0 113.97/114.34 c #Conflicts: 199000 | #Constraints: 9827 113.97/114.34 c #Conflicts: 200000 | #Constraints: 10827 113.97/114.34 c #Conflicts: 201000 | #Constraints: 11827 113.97/114.34 c #Conflicts: 202000 | #Constraints: 12827 113.97/114.34 c #Conflicts: 203000 | #Constraints: 13827 113.97/114.34 c #Conflicts: 204000 | #Constraints: 14827 113.97/114.34 c #Conflicts: 205000 | #Constraints: 15827 113.97/114.34 c #Conflicts: 206000 | #Constraints: 16827 113.97/114.34 c #Conflicts: 207000 | #Constraints: 17827 113.97/114.34 c INPROCESSING 113.97/114.34 c GARBAGE COLLECT 113.97/114.34 c rational objective 0 121.55/121.92 c #Conflicts: 208000 | #Constraints: 9824 121.55/121.92 c #Conflicts: 209000 | #Constraints: 10824 121.55/121.92 c #Conflicts: 210000 | #Constraints: 11824 121.55/121.92 c #Conflicts: 211000 | #Constraints: 12824 121.55/121.92 c #Conflicts: 212000 | #Constraints: 13824 121.55/121.92 c #Conflicts: 213000 | #Constraints: 14824 121.55/121.92 c #Conflicts: 214000 | #Constraints: 15824 121.55/121.92 c #Conflicts: 215000 | #Constraints: 16825 121.55/121.92 c #Conflicts: 216000 | #Constraints: 17826 121.55/121.92 c INPROCESSING 121.55/121.92 c GARBAGE COLLECT 121.55/121.92 c rational objective 0 129.33/129.78 c #Conflicts: 217000 | #Constraints: 9626 129.33/129.78 c #Conflicts: 218000 | #Constraints: 10626 129.33/129.78 c #Conflicts: 219000 | #Constraints: 11626 129.33/129.78 c #Conflicts: 220000 | #Constraints: 12626 129.33/129.78 c #Conflicts: 221000 | #Constraints: 13626 129.33/129.78 c #Conflicts: 222000 | #Constraints: 14626 129.33/129.78 c #Conflicts: 223000 | #Constraints: 15627 129.33/129.78 c #Conflicts: 224000 | #Constraints: 16627 129.33/129.78 c #Conflicts: 225000 | #Constraints: 17627 129.33/129.78 c #Conflicts: 226000 | #Constraints: 18627 129.33/129.78 c INPROCESSING 129.33/129.78 c GARBAGE COLLECT 129.33/129.78 c rational objective 0 137.40/137.82 c #Conflicts: 227000 | #Constraints: 10230 137.40/137.82 c #Conflicts: 228000 | #Constraints: 11230 137.40/137.82 c #Conflicts: 229000 | #Constraints: 12230 137.40/137.82 c #Conflicts: 230000 | #Constraints: 13230 137.40/137.82 c #Conflicts: 231000 | #Constraints: 14230 137.40/137.82 c #Conflicts: 232000 | #Constraints: 15230 137.40/137.82 c #Conflicts: 233000 | #Constraints: 16230 137.40/137.82 c #Conflicts: 234000 | #Constraints: 17230 137.40/137.82 c #Conflicts: 235000 | #Constraints: 18230 137.40/137.82 c #Conflicts: 236000 | #Constraints: 19230 137.40/137.82 c INPROCESSING 137.40/137.82 c GARBAGE COLLECT 137.40/137.82 c rational objective 0 145.58/146.03 c #Conflicts: 237000 | #Constraints: 10628 145.58/146.03 c #Conflicts: 238000 | #Constraints: 11628 145.58/146.03 c #Conflicts: 239000 | #Constraints: 12628 145.58/146.03 c #Conflicts: 240000 | #Constraints: 13628 145.58/146.03 c #Conflicts: 241000 | #Constraints: 14628 145.58/146.03 c #Conflicts: 242000 | #Constraints: 15628 145.58/146.03 c #Conflicts: 243000 | #Constraints: 16628 145.58/146.03 c #Conflicts: 244000 | #Constraints: 17629 145.58/146.03 c #Conflicts: 245000 | #Constraints: 18630 145.58/146.03 c #Conflicts: 246000 | #Constraints: 19630 145.58/146.03 c INPROCESSING 145.58/146.03 c GARBAGE COLLECT 145.58/146.03 c rational objective 0 154.25/154.74 c #Conflicts: 247000 | #Constraints: 10828 154.25/154.74 c #Conflicts: 248000 | #Constraints: 11828 154.25/154.74 c #Conflicts: 249000 | #Constraints: 12828 154.25/154.74 c #Conflicts: 250000 | #Constraints: 13828 154.25/154.74 c #Conflicts: 251000 | #Constraints: 14828 154.25/154.74 c #Conflicts: 252000 | #Constraints: 15829 154.25/154.74 c #Conflicts: 253000 | #Constraints: 16829 154.25/154.74 c #Conflicts: 254000 | #Constraints: 17829 154.25/154.74 c #Conflicts: 255000 | #Constraints: 18829 154.25/154.74 c #Conflicts: 256000 | #Constraints: 19829 154.25/154.74 c INPROCESSING 154.25/154.74 c GARBAGE COLLECT 154.25/154.74 c rational objective 0 163.12/163.60 c #Conflicts: 257000 | #Constraints: 10826 163.12/163.60 c #Conflicts: 258000 | #Constraints: 11826 163.12/163.60 c #Conflicts: 259000 | #Constraints: 12826 163.12/163.60 c #Conflicts: 260000 | #Constraints: 13826 163.12/163.60 c #Conflicts: 261000 | #Constraints: 14826 163.12/163.60 c #Conflicts: 262000 | #Constraints: 15826 163.12/163.60 c #Conflicts: 263000 | #Constraints: 16827 163.12/163.60 c #Conflicts: 264000 | #Constraints: 17827 163.12/163.60 c #Conflicts: 265000 | #Constraints: 18829 163.12/163.60 c #Conflicts: 266000 | #Constraints: 19829 163.12/163.60 c INPROCESSING 163.12/163.60 c GARBAGE COLLECT 163.12/163.60 c rational objective 0 172.79/173.37 c #Conflicts: 267000 | #Constraints: 10629 172.79/173.37 c #Conflicts: 268000 | #Constraints: 11629 172.79/173.37 c #Conflicts: 269000 | #Constraints: 12629 172.79/173.37 c #Conflicts: 270000 | #Constraints: 13629 172.79/173.37 c #Conflicts: 271000 | #Constraints: 14629 172.79/173.37 c #Conflicts: 272000 | #Constraints: 15629 172.79/173.37 c #Conflicts: 273000 | #Constraints: 16629 172.79/173.37 c #Conflicts: 274000 | #Constraints: 17629 172.79/173.37 c #Conflicts: 275000 | #Constraints: 18629 172.79/173.37 c #Conflicts: 276000 | #Constraints: 19629 172.79/173.37 c #Conflicts: 277000 | #Constraints: 20629 172.79/173.37 c INPROCESSING 172.79/173.37 c GARBAGE COLLECT 172.79/173.37 c rational objective 0 182.56/183.18 c #Conflicts: 278000 | #Constraints: 11229 182.56/183.18 c #Conflicts: 279000 | #Constraints: 12229 182.56/183.18 c #Conflicts: 280000 | #Constraints: 13229 182.56/183.18 c #Conflicts: 281000 | #Constraints: 14229 182.56/183.18 c #Conflicts: 282000 | #Constraints: 15229 182.56/183.18 c #Conflicts: 283000 | #Constraints: 16229 182.56/183.18 c #Conflicts: 284000 | #Constraints: 17229 182.56/183.18 c #Conflicts: 285000 | #Constraints: 18229 182.56/183.18 c #Conflicts: 286000 | #Constraints: 19229 182.56/183.18 c #Conflicts: 287000 | #Constraints: 20229 182.56/183.18 c #Conflicts: 288000 | #Constraints: 21229 182.56/183.18 c INPROCESSING 182.56/183.18 c GARBAGE COLLECT 182.56/183.18 c rational objective 0 192.83/193.46 c #Conflicts: 289000 | #Constraints: 11627 192.83/193.46 c #Conflicts: 290000 | #Constraints: 12627 192.83/193.46 c #Conflicts: 291000 | #Constraints: 13627 192.83/193.46 c #Conflicts: 292000 | #Constraints: 14627 192.83/193.46 c #Conflicts: 293000 | #Constraints: 15627 192.83/193.46 c #Conflicts: 294000 | #Constraints: 16627 192.83/193.46 c #Conflicts: 295000 | #Constraints: 17627 192.83/193.46 c #Conflicts: 296000 | #Constraints: 18627 192.83/193.46 c #Conflicts: 297000 | #Constraints: 19627 192.83/193.46 c #Conflicts: 298000 | #Constraints: 20627 192.83/193.46 c #Conflicts: 299000 | #Constraints: 21627 192.83/193.46 c INPROCESSING 192.83/193.46 c GARBAGE COLLECT 192.83/193.46 c rational objective 0 203.40/204.02 c #Conflicts: 300000 | #Constraints: 11824 203.40/204.02 c #Conflicts: 301000 | #Constraints: 12824 203.40/204.02 c #Conflicts: 302000 | #Constraints: 13824 203.40/204.02 c #Conflicts: 303000 | #Constraints: 14824 203.40/204.02 c #Conflicts: 304000 | #Constraints: 15824 203.40/204.02 c #Conflicts: 305000 | #Constraints: 16824 203.40/204.02 c #Conflicts: 306000 | #Constraints: 17824 203.40/204.02 c #Conflicts: 307000 | #Constraints: 18824 203.40/204.02 c #Conflicts: 308000 | #Constraints: 19824 203.40/204.02 c #Conflicts: 309000 | #Constraints: 20824 203.40/204.02 c #Conflicts: 310000 | #Constraints: 21824 203.40/204.02 c INPROCESSING 203.40/204.02 c GARBAGE COLLECT 203.40/204.02 c rational objective 0 214.67/215.36 c #Conflicts: 311000 | #Constraints: 11824 214.67/215.36 c #Conflicts: 312000 | #Constraints: 12824 214.67/215.36 c #Conflicts: 313000 | #Constraints: 13824 214.67/215.36 c #Conflicts: 314000 | #Constraints: 14824 214.67/215.36 c #Conflicts: 315000 | #Constraints: 15824 214.67/215.36 c #Conflicts: 316000 | #Constraints: 16824 214.67/215.36 c #Conflicts: 317000 | #Constraints: 17824 214.67/215.36 c #Conflicts: 318000 | #Constraints: 18824 214.67/215.36 c #Conflicts: 319000 | #Constraints: 19824 214.67/215.36 c #Conflicts: 320000 | #Constraints: 20824 214.67/215.36 c #Conflicts: 321000 | #Constraints: 21824 214.67/215.36 c INPROCESSING 214.67/215.36 c GARBAGE COLLECT 214.67/215.36 c rational objective 0 226.53/227.21 c #Conflicts: 322000 | #Constraints: 11626 226.53/227.21 c #Conflicts: 323000 | #Constraints: 12626 226.53/227.21 c #Conflicts: 324000 | #Constraints: 13626 226.53/227.21 c #Conflicts: 325000 | #Constraints: 14626 226.53/227.21 c #Conflicts: 326000 | #Constraints: 15626 226.53/227.21 c #Conflicts: 327000 | #Constraints: 16627 226.53/227.21 c #Conflicts: 328000 | #Constraints: 17627 226.53/227.21 c #Conflicts: 329000 | #Constraints: 18627 226.53/227.21 c #Conflicts: 330000 | #Constraints: 19627 226.53/227.21 c #Conflicts: 331000 | #Constraints: 20627 226.53/227.21 c #Conflicts: 332000 | #Constraints: 21627 226.53/227.21 c #Conflicts: 333000 | #Constraints: 22627 226.53/227.21 c INPROCESSING 226.53/227.21 c GARBAGE COLLECT 226.53/227.21 c rational objective 0 238.09/238.88 c #Conflicts: 334000 | #Constraints: 12224 238.09/238.88 c #Conflicts: 335000 | #Constraints: 13224 238.09/238.88 c #Conflicts: 336000 | #Constraints: 14224 238.09/238.88 c #Conflicts: 337000 | #Constraints: 15224 238.09/238.88 c #Conflicts: 338000 | #Constraints: 16224 238.09/238.88 c #Conflicts: 339000 | #Constraints: 17224 238.09/238.88 c #Conflicts: 340000 | #Constraints: 18224 238.09/238.88 c #Conflicts: 341000 | #Constraints: 19224 238.09/238.88 c #Conflicts: 342000 | #Constraints: 20224 238.09/238.88 c #Conflicts: 343000 | #Constraints: 21224 238.09/238.88 c #Conflicts: 344000 | #Constraints: 22224 238.09/238.88 c #Conflicts: 345000 | #Constraints: 23225 238.09/238.88 c INPROCESSING 238.09/238.88 c GARBAGE COLLECT 238.09/238.88 c rational objective 0 250.36/251.19 c #Conflicts: 346000 | #Constraints: 12623 250.36/251.19 c #Conflicts: 347000 | #Constraints: 13623 250.36/251.19 c #Conflicts: 348000 | #Constraints: 14623 250.36/251.19 c #Conflicts: 349000 | #Constraints: 15623 250.36/251.19 c #Conflicts: 350000 | #Constraints: 16623 250.36/251.19 c #Conflicts: 351000 | #Constraints: 17623 250.36/251.19 c #Conflicts: 352000 | #Constraints: 18623 250.36/251.19 c #Conflicts: 353000 | #Constraints: 19623 250.36/251.19 c #Conflicts: 354000 | #Constraints: 20623 250.36/251.19 c #Conflicts: 355000 | #Constraints: 21623 250.36/251.19 c #Conflicts: 356000 | #Constraints: 22623 250.36/251.19 c #Conflicts: 357000 | #Constraints: 23623 250.36/251.19 c INPROCESSING 250.36/251.19 c GARBAGE COLLECT 250.36/251.19 c rational objective 0 263.01/263.88 c #Conflicts: 358000 | #Constraints: 12825 263.01/263.88 c #Conflicts: 359000 | #Constraints: 13825 263.01/263.88 c #Conflicts: 360000 | #Constraints: 14825 263.01/263.88 c #Conflicts: 361000 | #Constraints: 15825 263.01/263.88 c #Conflicts: 362000 | #Constraints: 16825 263.01/263.88 c #Conflicts: 363000 | #Constraints: 17825 263.01/263.88 c #Conflicts: 364000 | #Constraints: 18825 263.01/263.88 c #Conflicts: 365000 | #Constraints: 19825 263.01/263.88 c #Conflicts: 366000 | #Constraints: 20825 263.01/263.88 c #Conflicts: 367000 | #Constraints: 21825 263.01/263.88 c #Conflicts: 368000 | #Constraints: 22825 263.01/263.88 c #Conflicts: 369000 | #Constraints: 23825 263.01/263.88 c INPROCESSING 263.01/263.88 c GARBAGE COLLECT 263.01/263.88 c rational objective 0 276.37/277.22 c #Conflicts: 370000 | #Constraints: 12827 276.37/277.22 c #Conflicts: 371000 | #Constraints: 13827 276.37/277.22 c #Conflicts: 372000 | #Constraints: 14827 276.37/277.22 c #Conflicts: 373000 | #Constraints: 15827 276.37/277.22 c #Conflicts: 374000 | #Constraints: 16827 276.37/277.22 c #Conflicts: 375000 | #Constraints: 17827 276.37/277.22 c #Conflicts: 376000 | #Constraints: 18829 276.37/277.22 c #Conflicts: 377000 | #Constraints: 19829 276.37/277.22 c #Conflicts: 378000 | #Constraints: 20829 276.37/277.22 c #Conflicts: 379000 | #Constraints: 21829 276.37/277.22 c #Conflicts: 380000 | #Constraints: 22829 276.37/277.22 c #Conflicts: 381000 | #Constraints: 23829 276.37/277.22 c INPROCESSING 276.37/277.22 c GARBAGE COLLECT 276.37/277.22 c rational objective 0 290.03/290.97 c #Conflicts: 382000 | #Constraints: 12628 290.03/290.97 c #Conflicts: 383000 | #Constraints: 13628 290.03/290.97 c #Conflicts: 384000 | #Constraints: 14628 290.03/290.97 c #Conflicts: 385000 | #Constraints: 15628 290.03/290.97 c #Conflicts: 386000 | #Constraints: 16628 290.03/290.97 c #Conflicts: 387000 | #Constraints: 17628 290.03/290.97 c #Conflicts: 388000 | #Constraints: 18628 290.03/290.97 c #Conflicts: 389000 | #Constraints: 19628 290.03/290.97 c #Conflicts: 390000 | #Constraints: 20628 290.03/290.97 c #Conflicts: 391000 | #Constraints: 21628 290.03/290.97 c #Conflicts: 392000 | #Constraints: 22628 290.03/290.97 c #Conflicts: 393000 | #Constraints: 23628 290.03/290.97 c #Conflicts: 394000 | #Constraints: 24628 290.03/290.97 c INPROCESSING 290.03/290.97 c GARBAGE COLLECT 290.03/290.97 c rational objective 0 304.19/305.15 c #Conflicts: 395000 | #Constraints: 13229 304.19/305.15 c #Conflicts: 396000 | #Constraints: 14229 304.19/305.15 c #Conflicts: 397000 | #Constraints: 15230 304.19/305.15 c #Conflicts: 398000 | #Constraints: 16230 304.19/305.15 c #Conflicts: 399000 | #Constraints: 17230 304.19/305.15 c #Conflicts: 400000 | #Constraints: 18230 304.19/305.15 c #Conflicts: 401000 | #Constraints: 19230 304.19/305.15 c #Conflicts: 402000 | #Constraints: 20230 304.19/305.15 c #Conflicts: 403000 | #Constraints: 21230 304.19/305.15 c #Conflicts: 404000 | #Constraints: 22230 304.19/305.15 c #Conflicts: 405000 | #Constraints: 23230 304.19/305.15 c #Conflicts: 406000 | #Constraints: 24230 304.19/305.15 c #Conflicts: 407000 | #Constraints: 25230 304.19/305.15 c INPROCESSING 304.19/305.15 c GARBAGE COLLECT 304.19/305.15 c rational objective 0 318.83/319.84 c #Conflicts: 408000 | #Constraints: 13629 318.83/319.84 c #Conflicts: 409000 | #Constraints: 14630 318.83/319.84 c #Conflicts: 410000 | #Constraints: 15630 318.83/319.84 c #Conflicts: 411000 | #Constraints: 16630 318.83/319.84 c #Conflicts: 412000 | #Constraints: 17630 318.83/319.84 c #Conflicts: 413000 | #Constraints: 18630 318.83/319.84 c #Conflicts: 414000 | #Constraints: 19630 318.83/319.84 c #Conflicts: 415000 | #Constraints: 20630 318.83/319.84 c #Conflicts: 416000 | #Constraints: 21630 318.83/319.84 c #Conflicts: 417000 | #Constraints: 22630 318.83/319.84 c #Conflicts: 418000 | #Constraints: 23631 318.83/319.84 c #Conflicts: 419000 | #Constraints: 24631 318.83/319.84 c #Conflicts: 420000 | #Constraints: 25631 318.83/319.84 c INPROCESSING 318.83/319.84 c GARBAGE COLLECT 318.83/319.84 c rational objective 0 333.79/334.87 c #Conflicts: 421000 | #Constraints: 13827 333.79/334.87 c #Conflicts: 422000 | #Constraints: 14827 333.79/334.87 c #Conflicts: 423000 | #Constraints: 15827 333.79/334.87 c #Conflicts: 424000 | #Constraints: 16827 333.79/334.87 c #Conflicts: 425000 | #Constraints: 17827 333.79/334.87 c #Conflicts: 426000 | #Constraints: 18827 333.79/334.87 c #Conflicts: 427000 | #Constraints: 19827 333.79/334.87 c #Conflicts: 428000 | #Constraints: 20827 333.79/334.87 c #Conflicts: 429000 | #Constraints: 21827 333.79/334.87 c #Conflicts: 430000 | #Constraints: 22828 333.79/334.87 c #Conflicts: 431000 | #Constraints: 23828 333.79/334.87 c #Conflicts: 432000 | #Constraints: 24828 333.79/334.87 c #Conflicts: 433000 | #Constraints: 25828 333.79/334.87 c INPROCESSING 333.79/334.87 c GARBAGE COLLECT 333.79/334.87 c rational objective 0 349.04/350.12 c #Conflicts: 434000 | #Constraints: 13827 349.04/350.12 c #Conflicts: 435000 | #Constraints: 14827 349.04/350.12 c #Conflicts: 436000 | #Constraints: 15828 349.04/350.12 c #Conflicts: 437000 | #Constraints: 16828 349.04/350.12 c #Conflicts: 438000 | #Constraints: 17828 349.04/350.12 c #Conflicts: 439000 | #Constraints: 18828 349.04/350.12 c #Conflicts: 440000 | #Constraints: 19828 349.04/350.12 c #Conflicts: 441000 | #Constraints: 20828 349.04/350.12 c #Conflicts: 442000 | #Constraints: 21828 349.04/350.12 c #Conflicts: 443000 | #Constraints: 22828 349.04/350.12 c #Conflicts: 444000 | #Constraints: 23828 349.04/350.12 c #Conflicts: 445000 | #Constraints: 24828 349.04/350.12 c #Conflicts: 446000 | #Constraints: 25828 349.04/350.12 c INPROCESSING 349.04/350.12 c GARBAGE COLLECT 349.04/350.12 c rational objective 0 364.59/365.74 c #Conflicts: 447000 | #Constraints: 13626 364.59/365.74 c #Conflicts: 448000 | #Constraints: 14626 364.59/365.74 c #Conflicts: 449000 | #Constraints: 15626 364.59/365.74 c #Conflicts: 450000 | #Constraints: 16626 364.59/365.74 c #Conflicts: 451000 | #Constraints: 17626 364.59/365.74 c #Conflicts: 452000 | #Constraints: 18626 364.59/365.74 c #Conflicts: 453000 | #Constraints: 19626 364.59/365.74 c #Conflicts: 454000 | #Constraints: 20626 364.59/365.74 c #Conflicts: 455000 | #Constraints: 21626 364.59/365.74 c #Conflicts: 456000 | #Constraints: 22626 364.59/365.74 c #Conflicts: 457000 | #Constraints: 23626 364.59/365.74 c #Conflicts: 458000 | #Constraints: 24626 364.59/365.74 c #Conflicts: 459000 | #Constraints: 25627 364.59/365.74 c #Conflicts: 460000 | #Constraints: 26627 364.59/365.74 c INPROCESSING 364.59/365.74 c GARBAGE COLLECT 364.59/365.74 c rational objective 0 381.14/382.38 c #Conflicts: 461000 | #Constraints: 14230 381.14/382.38 c #Conflicts: 462000 | #Constraints: 15230 381.14/382.38 c #Conflicts: 463000 | #Constraints: 16230 381.14/382.38 c #Conflicts: 464000 | #Constraints: 17230 381.14/382.38 c #Conflicts: 465000 | #Constraints: 18230 381.14/382.38 c #Conflicts: 466000 | #Constraints: 19230 381.14/382.38 c #Conflicts: 467000 | #Constraints: 20230 381.14/382.38 c #Conflicts: 468000 | #Constraints: 21230 381.14/382.38 c #Conflicts: 469000 | #Constraints: 22230 381.14/382.38 c #Conflicts: 470000 | #Constraints: 23230 381.14/382.38 c #Conflicts: 471000 | #Constraints: 24230 381.14/382.38 c #Conflicts: 472000 | #Constraints: 25230 381.14/382.38 c #Conflicts: 473000 | #Constraints: 26230 381.14/382.38 c #Conflicts: 474000 | #Constraints: 27230 381.14/382.38 c INPROCESSING 381.14/382.38 c GARBAGE COLLECT 381.14/382.38 c rational objective 0 398.58/399.83 c #Conflicts: 475000 | #Constraints: 14625 398.58/399.83 c #Conflicts: 476000 | #Constraints: 15625 398.58/399.83 c #Conflicts: 477000 | #Constraints: 16625 398.58/399.83 c #Conflicts: 478000 | #Constraints: 17625 398.58/399.83 c #Conflicts: 479000 | #Constraints: 18625 398.58/399.83 c #Conflicts: 480000 | #Constraints: 19625 398.58/399.83 c #Conflicts: 481000 | #Constraints: 20625 398.58/399.83 c #Conflicts: 482000 | #Constraints: 21625 398.58/399.83 c #Conflicts: 483000 | #Constraints: 22625 398.58/399.83 c #Conflicts: 484000 | #Constraints: 23625 398.58/399.83 c #Conflicts: 485000 | #Constraints: 24625 398.58/399.83 c #Conflicts: 486000 | #Constraints: 25625 398.58/399.83 c #Conflicts: 487000 | #Constraints: 26625 398.58/399.83 c #Conflicts: 488000 | #Constraints: 27625 398.58/399.83 c INPROCESSING 398.58/399.83 c GARBAGE COLLECT 398.58/399.83 c rational objective 0 415.93/417.24 c #Conflicts: 489000 | #Constraints: 14824 415.93/417.24 c #Conflicts: 490000 | #Constraints: 15824 415.93/417.24 c #Conflicts: 491000 | #Constraints: 16824 415.93/417.24 c #Conflicts: 492000 | #Constraints: 17824 415.93/417.24 c #Conflicts: 493000 | #Constraints: 18824 415.93/417.24 c #Conflicts: 494000 | #Constraints: 19824 415.93/417.24 c #Conflicts: 495000 | #Constraints: 20824 415.93/417.24 c #Conflicts: 496000 | #Constraints: 21824 415.93/417.24 c #Conflicts: 497000 | #Constraints: 22824 415.93/417.24 c #Conflicts: 498000 | #Constraints: 23824 415.93/417.24 c #Conflicts: 499000 | #Constraints: 24824 415.93/417.24 c #Conflicts: 500000 | #Constraints: 25824 415.93/417.24 c #Conflicts: 501000 | #Constraints: 26824 415.93/417.24 c #Conflicts: 502000 | #Constraints: 27824 415.93/417.24 c INPROCESSING 415.93/417.24 c GARBAGE COLLECT 415.93/417.24 c rational objective 0 433.67/435.02 c #Conflicts: 503000 | #Constraints: 14825 433.67/435.02 c #Conflicts: 504000 | #Constraints: 15825 433.67/435.02 c #Conflicts: 505000 | #Constraints: 16825 433.67/435.02 c #Conflicts: 506000 | #Constraints: 17825 433.67/435.02 c #Conflicts: 507000 | #Constraints: 18825 433.67/435.02 c #Conflicts: 508000 | #Constraints: 19825 433.67/435.02 c #Conflicts: 509000 | #Constraints: 20825 433.67/435.02 c #Conflicts: 510000 | #Constraints: 21825 433.67/435.02 c #Conflicts: 511000 | #Constraints: 22825 433.67/435.02 c #Conflicts: 512000 | #Constraints: 23825 433.67/435.02 c #Conflicts: 513000 | #Constraints: 24825 433.67/435.02 c #Conflicts: 514000 | #Constraints: 25825 433.67/435.02 c #Conflicts: 515000 | #Constraints: 26825 433.67/435.02 c #Conflicts: 516000 | #Constraints: 27825 433.67/435.02 c INPROCESSING 433.67/435.02 c GARBAGE COLLECT 433.67/435.02 c rational objective 0 451.41/452.84 c #Conflicts: 517000 | #Constraints: 14625 451.41/452.84 c #Conflicts: 518000 | #Constraints: 15625 451.41/452.84 c #Conflicts: 519000 | #Constraints: 16625 451.41/452.84 c #Conflicts: 520000 | #Constraints: 17625 451.41/452.84 c #Conflicts: 521000 | #Constraints: 18625 451.41/452.84 c #Conflicts: 522000 | #Constraints: 19625 451.41/452.84 c #Conflicts: 523000 | #Constraints: 20625 451.41/452.84 c #Conflicts: 524000 | #Constraints: 21625 451.41/452.84 c #Conflicts: 525000 | #Constraints: 22625 451.41/452.84 c #Conflicts: 526000 | #Constraints: 23626 451.41/452.84 c #Conflicts: 527000 | #Constraints: 24626 451.41/452.84 c #Conflicts: 528000 | #Constraints: 25626 451.41/452.84 c #Conflicts: 529000 | #Constraints: 26626 451.41/452.84 c #Conflicts: 530000 | #Constraints: 27626 451.41/452.84 c #Conflicts: 531000 | #Constraints: 28626 451.41/452.84 c INPROCESSING 451.41/452.84 c GARBAGE COLLECT 451.41/452.84 c rational objective 0 469.75/471.22 c #Conflicts: 532000 | #Constraints: 15225 469.75/471.22 c #Conflicts: 533000 | #Constraints: 16225 469.75/471.22 c #Conflicts: 534000 | #Constraints: 17225 469.75/471.22 c #Conflicts: 535000 | #Constraints: 18225 469.75/471.22 c #Conflicts: 536000 | #Constraints: 19225 469.75/471.22 c #Conflicts: 537000 | #Constraints: 20225 469.75/471.22 c #Conflicts: 538000 | #Constraints: 21225 469.75/471.22 c #Conflicts: 539000 | #Constraints: 22225 469.75/471.22 c #Conflicts: 540000 | #Constraints: 23225 469.75/471.22 c #Conflicts: 541000 | #Constraints: 24225 469.75/471.22 c #Conflicts: 542000 | #Constraints: 25225 469.75/471.22 c #Conflicts: 543000 | #Constraints: 26225 469.75/471.22 c #Conflicts: 544000 | #Constraints: 27226 469.75/471.22 c #Conflicts: 545000 | #Constraints: 28226 469.75/471.22 c #Conflicts: 546000 | #Constraints: 29226 469.75/471.22 c INPROCESSING 469.75/471.22 c GARBAGE COLLECT 469.75/471.22 c rational objective 0 488.60/490.18 c #Conflicts: 547000 | #Constraints: 15627 488.60/490.18 c #Conflicts: 548000 | #Constraints: 16627 488.60/490.18 c #Conflicts: 549000 | #Constraints: 17627 488.60/490.18 c #Conflicts: 550000 | #Constraints: 18628 488.60/490.18 c #Conflicts: 551000 | #Constraints: 19628 488.60/490.18 c #Conflicts: 552000 | #Constraints: 20628 488.60/490.18 c #Conflicts: 553000 | #Constraints: 21628 488.60/490.18 c #Conflicts: 554000 | #Constraints: 22628 488.60/490.18 c #Conflicts: 555000 | #Constraints: 23628 488.60/490.18 c #Conflicts: 556000 | #Constraints: 24628 488.60/490.18 c #Conflicts: 557000 | #Constraints: 25628 488.60/490.18 c #Conflicts: 558000 | #Constraints: 26628 488.60/490.18 c #Conflicts: 559000 | #Constraints: 27628 488.60/490.18 c #Conflicts: 560000 | #Constraints: 28628 488.60/490.18 c #Conflicts: 561000 | #Constraints: 29628 488.60/490.18 c INPROCESSING 488.60/490.18 c GARBAGE COLLECT 488.60/490.18 c rational objective 0 508.22/509.84 c #Conflicts: 562000 | #Constraints: 15826 508.22/509.84 c #Conflicts: 563000 | #Constraints: 16826 508.22/509.84 c #Conflicts: 564000 | #Constraints: 17826 508.22/509.84 c #Conflicts: 565000 | #Constraints: 18826 508.22/509.84 c #Conflicts: 566000 | #Constraints: 19826 508.22/509.84 c #Conflicts: 567000 | #Constraints: 20826 508.22/509.84 c #Conflicts: 568000 | #Constraints: 21826 508.22/509.84 c #Conflicts: 569000 | #Constraints: 22826 508.22/509.84 c #Conflicts: 570000 | #Constraints: 23826 508.22/509.84 c #Conflicts: 571000 | #Constraints: 24826 508.22/509.84 c #Conflicts: 572000 | #Constraints: 25826 508.22/509.84 c #Conflicts: 573000 | #Constraints: 26826 508.22/509.84 c #Conflicts: 574000 | #Constraints: 27826 508.22/509.84 c #Conflicts: 575000 | #Constraints: 28826 508.22/509.84 c #Conflicts: 576000 | #Constraints: 29826 508.22/509.84 c INPROCESSING 508.22/509.84 c GARBAGE COLLECT 508.22/509.84 c rational objective 0 528.16/529.83 c #Conflicts: 577000 | #Constraints: 15826 528.16/529.83 c #Conflicts: 578000 | #Constraints: 16826 528.16/529.83 c #Conflicts: 579000 | #Constraints: 17826 528.16/529.83 c #Conflicts: 580000 | #Constraints: 18826 528.16/529.83 c #Conflicts: 581000 | #Constraints: 19826 528.16/529.83 c #Conflicts: 582000 | #Constraints: 20827 528.16/529.83 c #Conflicts: 583000 | #Constraints: 21827 528.16/529.83 c #Conflicts: 584000 | #Constraints: 22827 528.16/529.83 c #Conflicts: 585000 | #Constraints: 23827 528.16/529.83 c #Conflicts: 586000 | #Constraints: 24827 528.16/529.83 c #Conflicts: 587000 | #Constraints: 25827 528.16/529.83 c #Conflicts: 588000 | #Constraints: 26827 528.16/529.83 c #Conflicts: 589000 | #Constraints: 27827 528.16/529.83 c #Conflicts: 590000 | #Constraints: 28827 528.16/529.83 c #Conflicts: 591000 | #Constraints: 29827 528.16/529.83 c INPROCESSING 528.16/529.83 c GARBAGE COLLECT 528.16/529.83 c rational objective 0 548.40/550.13 c #Conflicts: 592000 | #Constraints: 15625 548.40/550.13 c #Conflicts: 593000 | #Constraints: 16625 548.40/550.13 c #Conflicts: 594000 | #Constraints: 17625 548.40/550.13 c #Conflicts: 595000 | #Constraints: 18625 548.40/550.13 c #Conflicts: 596000 | #Constraints: 19625 548.40/550.13 c #Conflicts: 597000 | #Constraints: 20625 548.40/550.13 c #Conflicts: 598000 | #Constraints: 21625 548.40/550.13 c #Conflicts: 599000 | #Constraints: 22625 548.40/550.13 c #Conflicts: 600000 | #Constraints: 23625 548.40/550.13 c #Conflicts: 601000 | #Constraints: 24625 548.40/550.13 c #Conflicts: 602000 | #Constraints: 25625 548.40/550.13 c #Conflicts: 603000 | #Constraints: 26625 548.40/550.13 c #Conflicts: 604000 | #Constraints: 27625 548.40/550.13 c #Conflicts: 605000 | #Constraints: 28625 548.40/550.13 c #Conflicts: 606000 | #Constraints: 29625 548.40/550.13 c #Conflicts: 607000 | #Constraints: 30625 548.40/550.13 c INPROCESSING 548.40/550.13 c GARBAGE COLLECT 548.40/550.13 c rational objective 0 569.62/571.41 c #Conflicts: 608000 | #Constraints: 16227 569.62/571.41 c #Conflicts: 609000 | #Constraints: 17228 569.62/571.41 c #Conflicts: 610000 | #Constraints: 18228 569.62/571.41 c #Conflicts: 611000 | #Constraints: 19228 569.62/571.41 c #Conflicts: 612000 | #Constraints: 20228 569.62/571.41 c #Conflicts: 613000 | #Constraints: 21228 569.62/571.41 c #Conflicts: 614000 | #Constraints: 22228 569.62/571.41 c #Conflicts: 615000 | #Constraints: 23228 569.62/571.41 c #Conflicts: 616000 | #Constraints: 24228 569.62/571.41 c #Conflicts: 617000 | #Constraints: 25228 569.62/571.41 c #Conflicts: 618000 | #Constraints: 26228 569.62/571.41 c #Conflicts: 619000 | #Constraints: 27228 569.62/571.41 c #Conflicts: 620000 | #Constraints: 28228 569.62/571.41 c #Conflicts: 621000 | #Constraints: 29228 569.62/571.41 c #Conflicts: 622000 | #Constraints: 30228 569.62/571.41 c #Conflicts: 623000 | #Constraints: 31228 569.62/571.41 c INPROCESSING 569.62/571.41 c GARBAGE COLLECT 569.62/571.41 c rational objective 0 591.66/593.51 c #Conflicts: 624000 | #Constraints: 16626 591.66/593.51 c #Conflicts: 625000 | #Constraints: 17626 591.66/593.51 c #Conflicts: 626000 | #Constraints: 18626 591.66/593.51 c #Conflicts: 627000 | #Constraints: 19626 591.66/593.51 c #Conflicts: 628000 | #Constraints: 20626 591.66/593.51 c #Conflicts: 629000 | #Constraints: 21626 591.66/593.51 c #Conflicts: 630000 | #Constraints: 22626 591.66/593.51 c #Conflicts: 631000 | #Constraints: 23626 591.66/593.51 c #Conflicts: 632000 | #Constraints: 24626 591.66/593.51 c #Conflicts: 633000 | #Constraints: 25626 591.66/593.51 c #Conflicts: 634000 | #Constraints: 26626 591.66/593.51 c #Conflicts: 635000 | #Constraints: 27626 591.66/593.51 c #Conflicts: 636000 | #Constraints: 28626 591.66/593.51 c #Conflicts: 637000 | #Constraints: 29626 591.66/593.51 c #Conflicts: 638000 | #Constraints: 30626 591.66/593.51 c #Conflicts: 639000 | #Constraints: 31626 591.66/593.51 c INPROCESSING 591.66/593.51 c GARBAGE COLLECT 591.66/593.51 c rational objective 0 614.57/616.58 c #Conflicts: 640000 | #Constraints: 16826 614.57/616.58 c #Conflicts: 641000 | #Constraints: 17826 614.57/616.58 c #Conflicts: 642000 | #Constraints: 18826 614.57/616.58 c #Conflicts: 643000 | #Constraints: 19826 614.57/616.58 c #Conflicts: 644000 | #Constraints: 20826 614.57/616.58 c #Conflicts: 645000 | #Constraints: 21826 614.57/616.58 c #Conflicts: 646000 | #Constraints: 22826 614.57/616.58 c #Conflicts: 647000 | #Constraints: 23826 614.57/616.58 c #Conflicts: 648000 | #Constraints: 24826 614.57/616.58 c #Conflicts: 649000 | #Constraints: 25826 614.57/616.58 c #Conflicts: 650000 | #Constraints: 26826 614.57/616.58 c #Conflicts: 651000 | #Constraints: 27826 614.57/616.58 c #Conflicts: 652000 | #Constraints: 28826 614.57/616.58 c #Conflicts: 653000 | #Constraints: 29826 614.57/616.58 c #Conflicts: 654000 | #Constraints: 30826 614.57/616.58 c #Conflicts: 655000 | #Constraints: 31826 614.57/616.58 c INPROCESSING 614.57/616.58 c GARBAGE COLLECT 614.57/616.58 c rational objective 0 637.11/639.12 c #Conflicts: 656000 | #Constraints: 16827 637.11/639.12 c #Conflicts: 657000 | #Constraints: 17827 637.11/639.12 c #Conflicts: 658000 | #Constraints: 18827 637.11/639.12 c #Conflicts: 659000 | #Constraints: 19827 637.11/639.12 c #Conflicts: 660000 | #Constraints: 20827 637.11/639.12 c #Conflicts: 661000 | #Constraints: 21827 637.11/639.12 c #Conflicts: 662000 | #Constraints: 22827 637.11/639.12 c #Conflicts: 663000 | #Constraints: 23827 637.11/639.12 c #Conflicts: 664000 | #Constraints: 24827 637.11/639.12 c #Conflicts: 665000 | #Constraints: 25827 637.11/639.12 c #Conflicts: 666000 | #Constraints: 26827 637.11/639.12 c #Conflicts: 667000 | #Constraints: 27827 637.11/639.12 c #Conflicts: 668000 | #Constraints: 28827 637.11/639.12 c #Conflicts: 669000 | #Constraints: 29827 637.11/639.12 c #Conflicts: 670000 | #Constraints: 30827 637.11/639.12 c #Conflicts: 671000 | #Constraints: 31828 637.11/639.12 c INPROCESSING 637.11/639.12 c GARBAGE COLLECT 637.11/639.12 c rational objective 0 659.93/662.05 c #Conflicts: 672000 | #Constraints: 16627 659.93/662.05 c #Conflicts: 673000 | #Constraints: 17627 659.93/662.05 c #Conflicts: 674000 | #Constraints: 18627 659.93/662.05 c #Conflicts: 675000 | #Constraints: 19627 659.93/662.05 c #Conflicts: 676000 | #Constraints: 20627 659.93/662.05 c #Conflicts: 677000 | #Constraints: 21627 659.93/662.05 c #Conflicts: 678000 | #Constraints: 22627 659.93/662.05 c #Conflicts: 679000 | #Constraints: 23627 659.93/662.05 c #Conflicts: 680000 | #Constraints: 24627 659.93/662.05 c #Conflicts: 681000 | #Constraints: 25627 659.93/662.05 c #Conflicts: 682000 | #Constraints: 26627 659.93/662.05 c #Conflicts: 683000 | #Constraints: 27627 659.93/662.05 c #Conflicts: 684000 | #Constraints: 28627 659.93/662.05 c #Conflicts: 685000 | #Constraints: 29627 659.93/662.05 c #Conflicts: 686000 | #Constraints: 30627 659.93/662.05 c #Conflicts: 687000 | #Constraints: 31627 659.93/662.05 c #Conflicts: 688000 | #Constraints: 32627 659.93/662.05 c INPROCESSING 659.93/662.05 c GARBAGE COLLECT 659.93/662.05 c rational objective 0 684.14/686.38 c #Conflicts: 689000 | #Constraints: 17226 684.14/686.38 c #Conflicts: 690000 | #Constraints: 18226 684.14/686.38 c #Conflicts: 691000 | #Constraints: 19227 684.14/686.38 c #Conflicts: 692000 | #Constraints: 20227 684.14/686.38 c #Conflicts: 693000 | #Constraints: 21227 684.14/686.38 c #Conflicts: 694000 | #Constraints: 22228 684.14/686.38 c #Conflicts: 695000 | #Constraints: 23228 684.14/686.38 c #Conflicts: 696000 | #Constraints: 24228 684.14/686.38 c #Conflicts: 697000 | #Constraints: 25228 684.14/686.38 c #Conflicts: 698000 | #Constraints: 26228 684.14/686.38 c #Conflicts: 699000 | #Constraints: 27228 684.14/686.38 c #Conflicts: 700000 | #Constraints: 28228 684.14/686.38 c #Conflicts: 701000 | #Constraints: 29228 684.14/686.38 c #Conflicts: 702000 | #Constraints: 30228 684.14/686.38 c #Conflicts: 703000 | #Constraints: 31228 684.14/686.38 c #Conflicts: 704000 | #Constraints: 32228 684.14/686.38 c #Conflicts: 705000 | #Constraints: 33228 684.14/686.38 c INPROCESSING 684.14/686.38 c GARBAGE COLLECT 684.14/686.38 c rational objective 0 708.67/710.90 c #Conflicts: 706000 | #Constraints: 17627 708.67/710.90 c #Conflicts: 707000 | #Constraints: 18627 708.67/710.90 c #Conflicts: 708000 | #Constraints: 19627 708.67/710.90 c #Conflicts: 709000 | #Constraints: 20627 708.67/710.90 c #Conflicts: 710000 | #Constraints: 21627 708.67/710.90 c #Conflicts: 711000 | #Constraints: 22627 708.67/710.90 c #Conflicts: 712000 | #Constraints: 23627 708.67/710.90 c #Conflicts: 713000 | #Constraints: 24627 708.67/710.90 c #Conflicts: 714000 | #Constraints: 25627 708.67/710.90 c #Conflicts: 715000 | #Constraints: 26627 708.67/710.90 c #Conflicts: 716000 | #Constraints: 27627 708.67/710.90 c #Conflicts: 717000 | #Constraints: 28627 708.67/710.90 c #Conflicts: 718000 | #Constraints: 29627 708.67/710.90 c #Conflicts: 719000 | #Constraints: 30627 708.67/710.90 c #Conflicts: 720000 | #Constraints: 31627 708.67/710.90 c #Conflicts: 721000 | #Constraints: 32628 708.67/710.90 c #Conflicts: 722000 | #Constraints: 33628 708.67/710.90 c INPROCESSING 708.67/710.90 c GARBAGE COLLECT 708.67/710.90 c rational objective 0 734.39/736.77 c #Conflicts: 723000 | #Constraints: 17830 734.39/736.77 c #Conflicts: 724000 | #Constraints: 18830 734.39/736.77 c #Conflicts: 725000 | #Constraints: 19830 734.39/736.77 c #Conflicts: 726000 | #Constraints: 20830 734.39/736.77 c #Conflicts: 727000 | #Constraints: 21830 734.39/736.77 c #Conflicts: 728000 | #Constraints: 22830 734.39/736.77 c #Conflicts: 729000 | #Constraints: 23830 734.39/736.77 c #Conflicts: 730000 | #Constraints: 24830 734.39/736.77 c #Conflicts: 731000 | #Constraints: 25830 734.39/736.77 c #Conflicts: 732000 | #Constraints: 26830 734.39/736.77 c #Conflicts: 733000 | #Constraints: 27830 734.39/736.77 c #Conflicts: 734000 | #Constraints: 28830 734.39/736.77 c #Conflicts: 735000 | #Constraints: 29830 734.39/736.77 c #Conflicts: 736000 | #Constraints: 30830 734.39/736.77 c #Conflicts: 737000 | #Constraints: 31830 734.39/736.77 c #Conflicts: 738000 | #Constraints: 32830 734.39/736.77 c #Conflicts: 739000 | #Constraints: 33830 734.39/736.77 c INPROCESSING 734.39/736.77 c GARBAGE COLLECT 734.39/736.77 c rational objective 0 760.01/762.42 c #Conflicts: 740000 | #Constraints: 17830 760.01/762.42 c #Conflicts: 741000 | #Constraints: 18830 760.01/762.42 c #Conflicts: 742000 | #Constraints: 19830 760.01/762.42 c #Conflicts: 743000 | #Constraints: 20830 760.01/762.42 c #Conflicts: 744000 | #Constraints: 21830 760.01/762.42 c #Conflicts: 745000 | #Constraints: 22830 760.01/762.42 c #Conflicts: 746000 | #Constraints: 23830 760.01/762.42 c #Conflicts: 747000 | #Constraints: 24830 760.01/762.42 c #Conflicts: 748000 | #Constraints: 25830 760.01/762.42 c #Conflicts: 749000 | #Constraints: 26830 760.01/762.42 c #Conflicts: 750000 | #Constraints: 27830 760.01/762.42 c #Conflicts: 751000 | #Constraints: 28830 760.01/762.42 c #Conflicts: 752000 | #Constraints: 29830 760.01/762.42 c #Conflicts: 753000 | #Constraints: 30830 760.01/762.42 c #Conflicts: 754000 | #Constraints: 31830 760.01/762.42 c #Conflicts: 755000 | #Constraints: 32830 760.01/762.42 c #Conflicts: 756000 | #Constraints: 33830 760.01/762.42 c INPROCESSING 760.01/762.42 c GARBAGE COLLECT 760.01/762.42 c rational objective 0 786.91/789.41 c #Conflicts: 757000 | #Constraints: 17628 786.91/789.41 c #Conflicts: 758000 | #Constraints: 18628 786.91/789.41 c #Conflicts: 759000 | #Constraints: 19628 786.91/789.41 c #Conflicts: 760000 | #Constraints: 20628 786.91/789.41 c #Conflicts: 761000 | #Constraints: 21628 786.91/789.41 c #Conflicts: 762000 | #Constraints: 22628 786.91/789.41 c #Conflicts: 763000 | #Constraints: 23629 786.91/789.41 c #Conflicts: 764000 | #Constraints: 24629 786.91/789.41 c #Conflicts: 765000 | #Constraints: 25629 786.91/789.41 c #Conflicts: 766000 | #Constraints: 26629 786.91/789.41 c #Conflicts: 767000 | #Constraints: 27629 786.91/789.41 c #Conflicts: 768000 | #Constraints: 28629 786.91/789.41 c #Conflicts: 769000 | #Constraints: 29629 786.91/789.41 c #Conflicts: 770000 | #Constraints: 30629 786.91/789.41 c #Conflicts: 771000 | #Constraints: 31629 786.91/789.41 c #Conflicts: 772000 | #Constraints: 32629 786.91/789.41 c #Conflicts: 773000 | #Constraints: 33629 786.91/789.41 c #Conflicts: 774000 | #Constraints: 34629 786.91/789.41 c INPROCESSING 786.91/789.41 c GARBAGE COLLECT 786.91/789.41 c rational objective 0 815.02/817.67 c #Conflicts: 775000 | #Constraints: 18227 815.02/817.67 c #Conflicts: 776000 | #Constraints: 19227 815.02/817.67 c #Conflicts: 777000 | #Constraints: 20227 815.02/817.67 c #Conflicts: 778000 | #Constraints: 21227 815.02/817.67 c #Conflicts: 779000 | #Constraints: 22227 815.02/817.67 c #Conflicts: 780000 | #Constraints: 23227 815.02/817.67 c #Conflicts: 781000 | #Constraints: 24227 815.02/817.67 c #Conflicts: 782000 | #Constraints: 25227 815.02/817.67 c #Conflicts: 783000 | #Constraints: 26227 815.02/817.67 c #Conflicts: 784000 | #Constraints: 27227 815.02/817.67 c #Conflicts: 785000 | #Constraints: 28227 815.02/817.67 c #Conflicts: 786000 | #Constraints: 29227 815.02/817.67 c #Conflicts: 787000 | #Constraints: 30227 815.02/817.67 c #Conflicts: 788000 | #Constraints: 31227 815.02/817.67 c #Conflicts: 789000 | #Constraints: 32227 815.02/817.67 c #Conflicts: 790000 | #Constraints: 33227 815.02/817.67 c #Conflicts: 791000 | #Constraints: 34227 815.02/817.67 c #Conflicts: 792000 | #Constraints: 35227 815.02/817.67 c INPROCESSING 815.02/817.67 c GARBAGE COLLECT 815.02/817.67 c rational objective 0 842.23/844.94 c #Conflicts: 793000 | #Constraints: 18626 842.23/844.94 c #Conflicts: 794000 | #Constraints: 19626 842.23/844.94 c #Conflicts: 795000 | #Constraints: 20626 842.23/844.94 c #Conflicts: 796000 | #Constraints: 21626 842.23/844.94 c #Conflicts: 797000 | #Constraints: 22626 842.23/844.94 c #Conflicts: 798000 | #Constraints: 23626 842.23/844.94 c #Conflicts: 799000 | #Constraints: 24626 842.23/844.94 c #Conflicts: 800000 | #Constraints: 25626 842.23/844.94 c #Conflicts: 801000 | #Constraints: 26626 842.23/844.94 c #Conflicts: 802000 | #Constraints: 27626 842.23/844.94 c #Conflicts: 803000 | #Constraints: 28626 842.23/844.94 c #Conflicts: 804000 | #Constraints: 29626 842.23/844.94 c #Conflicts: 805000 | #Constraints: 30626 842.23/844.94 c #Conflicts: 806000 | #Constraints: 31626 842.23/844.94 c #Conflicts: 807000 | #Constraints: 32626 842.23/844.94 c #Conflicts: 808000 | #Constraints: 33626 842.23/844.94 c #Conflicts: 809000 | #Constraints: 34626 842.23/844.94 c #Conflicts: 810000 | #Constraints: 35626 842.23/844.94 c INPROCESSING 842.23/844.94 c GARBAGE COLLECT 842.23/844.94 c rational objective 0 870.34/873.17 c #Conflicts: 811000 | #Constraints: 18826 870.34/873.17 c #Conflicts: 812000 | #Constraints: 19826 870.34/873.17 c #Conflicts: 813000 | #Constraints: 20826 870.34/873.17 c #Conflicts: 814000 | #Constraints: 21826 870.34/873.17 c #Conflicts: 815000 | #Constraints: 22826 870.34/873.17 c #Conflicts: 816000 | #Constraints: 23826 870.34/873.17 c #Conflicts: 817000 | #Constraints: 24826 870.34/873.17 c #Conflicts: 818000 | #Constraints: 25826 870.34/873.17 c #Conflicts: 819000 | #Constraints: 26826 870.34/873.17 c #Conflicts: 820000 | #Constraints: 27826 870.34/873.17 c #Conflicts: 821000 | #Constraints: 28826 870.34/873.17 c #Conflicts: 822000 | #Constraints: 29827 870.34/873.17 c #Conflicts: 823000 | #Constraints: 30827 870.34/873.17 c #Conflicts: 824000 | #Constraints: 31827 870.34/873.17 c #Conflicts: 825000 | #Constraints: 32827 870.34/873.17 c #Conflicts: 826000 | #Constraints: 33827 870.34/873.17 c #Conflicts: 827000 | #Constraints: 34827 870.34/873.17 c #Conflicts: 828000 | #Constraints: 35827 870.34/873.17 c INPROCESSING 870.34/873.17 c GARBAGE COLLECT 870.34/873.17 c rational objective 0 901.04/903.91 c #Conflicts: 829000 | #Constraints: 18828 901.04/903.91 c #Conflicts: 830000 | #Constraints: 19828 901.04/903.91 c #Conflicts: 831000 | #Constraints: 20828 901.04/903.91 c #Conflicts: 832000 | #Constraints: 21828 901.04/903.91 c #Conflicts: 833000 | #Constraints: 22828 901.04/903.91 c #Conflicts: 834000 | #Constraints: 23828 901.04/903.91 c #Conflicts: 835000 | #Constraints: 24828 901.04/903.91 c #Conflicts: 836000 | #Constraints: 25828 901.04/903.91 c #Conflicts: 837000 | #Constraints: 26828 901.04/903.91 c #Conflicts: 838000 | #Constraints: 27828 901.04/903.91 c #Conflicts: 839000 | #Constraints: 28828 901.04/903.91 c #Conflicts: 840000 | #Constraints: 29828 901.04/903.91 c #Conflicts: 841000 | #Constraints: 30828 901.04/903.91 c #Conflicts: 842000 | #Constraints: 31828 901.04/903.91 c #Conflicts: 843000 | #Constraints: 32828 901.04/903.91 c #Conflicts: 844000 | #Constraints: 33828 901.04/903.91 c #Conflicts: 845000 | #Constraints: 34828 901.04/903.91 c #Conflicts: 846000 | #Constraints: 35828 901.04/903.91 c INPROCESSING 901.04/903.91 c GARBAGE COLLECT 901.04/903.91 c rational objective 0 931.04/934.06 c #Conflicts: 847000 | #Constraints: 18627 931.04/934.06 c #Conflicts: 848000 | #Constraints: 19627 931.04/934.06 c #Conflicts: 849000 | #Constraints: 20627 931.04/934.06 c #Conflicts: 850000 | #Constraints: 21627 931.04/934.06 c #Conflicts: 851000 | #Constraints: 22627 931.04/934.06 c #Conflicts: 852000 | #Constraints: 23627 931.04/934.06 c #Conflicts: 853000 | #Constraints: 24627 931.04/934.06 c #Conflicts: 854000 | #Constraints: 25627 931.04/934.06 c #Conflicts: 855000 | #Constraints: 26627 931.04/934.06 c #Conflicts: 856000 | #Constraints: 27627 931.04/934.06 c #Conflicts: 857000 | #Constraints: 28627 931.04/934.06 c #Conflicts: 858000 | #Constraints: 29627 931.04/934.06 c #Conflicts: 859000 | #Constraints: 30627 931.04/934.06 c #Conflicts: 860000 | #Constraints: 31627 931.04/934.06 c #Conflicts: 861000 | #Constraints: 32627 931.04/934.06 c #Conflicts: 862000 | #Constraints: 33627 931.04/934.06 c #Conflicts: 863000 | #Constraints: 34627 931.04/934.06 c #Conflicts: 864000 | #Constraints: 35627 931.04/934.06 c #Conflicts: 865000 | #Constraints: 36627 931.04/934.06 c INPROCESSING 931.04/934.06 c GARBAGE COLLECT 931.04/934.06 c rational objective 0 962.04/965.15 c #Conflicts: 866000 | #Constraints: 19229 962.04/965.15 c #Conflicts: 867000 | #Constraints: 20229 962.04/965.15 c #Conflicts: 868000 | #Constraints: 21229 962.04/965.15 c #Conflicts: 869000 | #Constraints: 22229 962.04/965.15 c #Conflicts: 870000 | #Constraints: 23229 962.04/965.15 c #Conflicts: 871000 | #Constraints: 24229 962.04/965.15 c #Conflicts: 872000 | #Constraints: 25229 962.04/965.15 c #Conflicts: 873000 | #Constraints: 26229 962.04/965.15 c #Conflicts: 874000 | #Constraints: 27229 962.04/965.15 c #Conflicts: 875000 | #Constraints: 28229 962.04/965.15 c #Conflicts: 876000 | #Constraints: 29229 962.04/965.15 c #Conflicts: 877000 | #Constraints: 30229 962.04/965.15 c #Conflicts: 878000 | #Constraints: 31229 962.04/965.15 c #Conflicts: 879000 | #Constraints: 32229 962.04/965.15 c #Conflicts: 880000 | #Constraints: 33229 962.04/965.15 c #Conflicts: 881000 | #Constraints: 34229 962.04/965.15 c #Conflicts: 882000 | #Constraints: 35229 962.04/965.15 c #Conflicts: 883000 | #Constraints: 36229 962.04/965.15 c #Conflicts: 884000 | #Constraints: 37229 962.04/965.15 c INPROCESSING 962.04/965.15 c GARBAGE COLLECT 962.04/965.15 c rational objective 0 993.53/996.78 c #Conflicts: 885000 | #Constraints: 19629 993.53/996.78 c #Conflicts: 886000 | #Constraints: 20629 993.53/996.78 c #Conflicts: 887000 | #Constraints: 21629 993.53/996.78 c #Conflicts: 888000 | #Constraints: 22629 993.53/996.78 c #Conflicts: 889000 | #Constraints: 23629 993.53/996.78 c #Conflicts: 890000 | #Constraints: 24629 993.53/996.78 c #Conflicts: 891000 | #Constraints: 25629 993.53/996.78 c #Conflicts: 892000 | #Constraints: 26629 993.53/996.78 c #Conflicts: 893000 | #Constraints: 27629 993.53/996.78 c #Conflicts: 894000 | #Constraints: 28629 993.53/996.78 c #Conflicts: 895000 | #Constraints: 29629 993.53/996.78 c #Conflicts: 896000 | #Constraints: 30629 993.53/996.78 c #Conflicts: 897000 | #Constraints: 31629 993.53/996.78 c #Conflicts: 898000 | #Constraints: 32629 993.53/996.78 c #Conflicts: 899000 | #Constraints: 33629 993.53/996.78 c #Conflicts: 900000 | #Constraints: 34629 993.53/996.78 c #Conflicts: 901000 | #Constraints: 35629 993.53/996.78 c #Conflicts: 902000 | #Constraints: 36629 993.53/996.78 c #Conflicts: 903000 | #Constraints: 37629 993.53/996.78 c INPROCESSING 993.53/996.78 c GARBAGE COLLECT 993.53/996.78 c rational objective 0 1024.63/1027.93 c #Conflicts: 904000 | #Constraints: 19825 1024.63/1027.93 c #Conflicts: 905000 | #Constraints: 20825 1024.63/1027.93 c #Conflicts: 906000 | #Constraints: 21825 1024.63/1027.93 c #Conflicts: 907000 | #Constraints: 22825 1024.63/1027.93 c #Conflicts: 908000 | #Constraints: 23825 1024.63/1027.93 c #Conflicts: 909000 | #Constraints: 24825 1024.63/1027.93 c #Conflicts: 910000 | #Constraints: 25825 1024.63/1027.93 c #Conflicts: 911000 | #Constraints: 26825 1024.63/1027.93 c #Conflicts: 912000 | #Constraints: 27825 1024.63/1027.93 c #Conflicts: 913000 | #Constraints: 28825 1024.63/1027.93 c #Conflicts: 914000 | #Constraints: 29825 1024.63/1027.93 c #Conflicts: 915000 | #Constraints: 30825 1024.63/1027.93 c #Conflicts: 916000 | #Constraints: 31825 1024.63/1027.93 c #Conflicts: 917000 | #Constraints: 32825 1024.63/1027.93 c #Conflicts: 918000 | #Constraints: 33825 1024.63/1027.93 c #Conflicts: 919000 | #Constraints: 34825 1024.63/1027.93 c #Conflicts: 920000 | #Constraints: 35826 1024.63/1027.93 c #Conflicts: 921000 | #Constraints: 36826 1024.63/1027.93 c #Conflicts: 922000 | #Constraints: 37826 1024.63/1027.93 c INPROCESSING 1024.63/1027.93 c GARBAGE COLLECT 1024.63/1027.93 c rational objective 0 1058.31/1061.76 c #Conflicts: 923000 | #Constraints: 19826 1058.31/1061.76 c #Conflicts: 924000 | #Constraints: 20826 1058.31/1061.76 c #Conflicts: 925000 | #Constraints: 21826 1058.31/1061.76 c #Conflicts: 926000 | #Constraints: 22826 1058.31/1061.76 c #Conflicts: 927000 | #Constraints: 23826 1058.31/1061.76 c #Conflicts: 928000 | #Constraints: 24826 1058.31/1061.76 c #Conflicts: 929000 | #Constraints: 25826 1058.31/1061.76 c #Conflicts: 930000 | #Constraints: 26826 1058.31/1061.76 c #Conflicts: 931000 | #Constraints: 27826 1058.31/1061.76 c #Conflicts: 932000 | #Constraints: 28826 1058.31/1061.76 c #Conflicts: 933000 | #Constraints: 29826 1058.31/1061.76 c #Conflicts: 934000 | #Constraints: 30826 1058.31/1061.76 c #Conflicts: 935000 | #Constraints: 31826 1058.31/1061.76 c #Conflicts: 936000 | #Constraints: 32826 1058.31/1061.76 c #Conflicts: 937000 | #Constraints: 33826 1058.31/1061.76 c #Conflicts: 938000 | #Constraints: 34826 1058.31/1061.76 c #Conflicts: 939000 | #Constraints: 35826 1058.31/1061.76 c #Conflicts: 940000 | #Constraints: 36826 1058.31/1061.76 c #Conflicts: 941000 | #Constraints: 37826 1058.31/1061.76 c INPROCESSING 1058.31/1061.76 c GARBAGE COLLECT 1058.31/1061.76 c rational objective 0 1091.52/1095.01 c #Conflicts: 942000 | #Constraints: 19627 1091.52/1095.01 c #Conflicts: 943000 | #Constraints: 20627 1091.52/1095.01 c #Conflicts: 944000 | #Constraints: 21627 1091.52/1095.01 c #Conflicts: 945000 | #Constraints: 22627 1091.52/1095.01 c #Conflicts: 946000 | #Constraints: 23627 1091.52/1095.01 c #Conflicts: 947000 | #Constraints: 24627 1091.52/1095.01 c #Conflicts: 948000 | #Constraints: 25627 1091.52/1095.01 c #Conflicts: 949000 | #Constraints: 26627 1091.52/1095.01 c #Conflicts: 950000 | #Constraints: 27627 1091.52/1095.01 c #Conflicts: 951000 | #Constraints: 28627 1091.52/1095.01 c #Conflicts: 952000 | #Constraints: 29627 1091.52/1095.01 c #Conflicts: 953000 | #Constraints: 30627 1091.52/1095.01 c #Conflicts: 954000 | #Constraints: 31627 1091.52/1095.01 c #Conflicts: 955000 | #Constraints: 32627 1091.52/1095.01 c #Conflicts: 956000 | #Constraints: 33627 1091.52/1095.01 c #Conflicts: 957000 | #Constraints: 34627 1091.52/1095.01 c #Conflicts: 958000 | #Constraints: 35627 1091.52/1095.01 c #Conflicts: 959000 | #Constraints: 36627 1091.52/1095.01 c #Conflicts: 960000 | #Constraints: 37627 1091.52/1095.01 c #Conflicts: 961000 | #Constraints: 38627 1091.52/1095.01 c INPROCESSING 1091.52/1095.01 c GARBAGE COLLECT 1091.52/1095.01 c rational objective 0 1125.20/1128.84 c #Conflicts: 962000 | #Constraints: 20229 1125.20/1128.84 c #Conflicts: 963000 | #Constraints: 21229 1125.20/1128.84 c #Conflicts: 964000 | #Constraints: 22229 1125.20/1128.84 c #Conflicts: 965000 | #Constraints: 23229 1125.20/1128.84 c #Conflicts: 966000 | #Constraints: 24229 1125.20/1128.84 c #Conflicts: 967000 | #Constraints: 25229 1125.20/1128.84 c #Conflicts: 968000 | #Constraints: 26229 1125.20/1128.84 c #Conflicts: 969000 | #Constraints: 27229 1125.20/1128.84 c #Conflicts: 970000 | #Constraints: 28229 1125.20/1128.84 c #Conflicts: 971000 | #Constraints: 29229 1125.20/1128.84 c #Conflicts: 972000 | #Constraints: 30229 1125.20/1128.84 c #Conflicts: 973000 | #Constraints: 31229 1125.20/1128.84 c #Conflicts: 974000 | #Constraints: 32229 1125.20/1128.84 c #Conflicts: 975000 | #Constraints: 33229 1125.20/1128.84 c #Conflicts: 976000 | #Constraints: 34229 1125.20/1128.84 c #Conflicts: 977000 | #Constraints: 35229 1125.20/1128.84 c #Conflicts: 978000 | #Constraints: 36229 1125.20/1128.84 c #Conflicts: 979000 | #Constraints: 37229 1125.20/1128.84 c #Conflicts: 980000 | #Constraints: 38229 1125.20/1128.84 c #Conflicts: 981000 | #Constraints: 39229 1125.20/1128.84 c INPROCESSING 1125.20/1128.84 c GARBAGE COLLECT 1125.20/1128.84 c rational objective 0 1160.09/1163.86 c #Conflicts: 982000 | #Constraints: 20628 1160.09/1163.86 c #Conflicts: 983000 | #Constraints: 21628 1160.09/1163.86 c #Conflicts: 984000 | #Constraints: 22628 1160.09/1163.86 c #Conflicts: 985000 | #Constraints: 23628 1160.09/1163.86 c #Conflicts: 986000 | #Constraints: 24628 1160.09/1163.86 c #Conflicts: 987000 | #Constraints: 25628 1160.09/1163.86 c #Conflicts: 988000 | #Constraints: 26628 1160.09/1163.86 c #Conflicts: 989000 | #Constraints: 27628 1160.09/1163.86 c #Conflicts: 990000 | #Constraints: 28628 1160.09/1163.86 c #Conflicts: 991000 | #Constraints: 29628 1160.09/1163.86 c #Conflicts: 992000 | #Constraints: 30628 1160.09/1163.86 c #Conflicts: 993000 | #Constraints: 31628 1160.09/1163.86 c #Conflicts: 994000 | #Constraints: 32628 1160.09/1163.86 c #Conflicts: 995000 | #Constraints: 33628 1160.09/1163.86 c #Conflicts: 996000 | #Constraints: 34628 1160.09/1163.86 c #Conflicts: 997000 | #Constraints: 35628 1160.09/1163.86 c #Conflicts: 998000 | #Constraints: 36628 1160.09/1163.86 c #Conflicts: 999000 | #Constraints: 37628 1160.09/1163.86 c #Conflicts: 1000000 | #Constraints: 38628 1160.09/1163.86 c #Conflicts: 1001000 | #Constraints: 39628 1160.09/1163.86 c INPROCESSING 1160.09/1163.86 c GARBAGE COLLECT 1160.09/1163.86 c rational objective 0 1196.37/1200.26 c #Conflicts: 1002000 | #Constraints: 20829 1196.37/1200.26 c #Conflicts: 1003000 | #Constraints: 21829 1196.37/1200.26 c #Conflicts: 1004000 | #Constraints: 22829 1196.37/1200.26 c #Conflicts: 1005000 | #Constraints: 23830 1196.37/1200.26 c #Conflicts: 1006000 | #Constraints: 24830 1196.37/1200.26 c #Conflicts: 1007000 | #Constraints: 25830 1196.37/1200.26 c #Conflicts: 1008000 | #Constraints: 26830 1196.37/1200.26 c #Conflicts: 1009000 | #Constraints: 27830 1196.37/1200.26 c #Conflicts: 1010000 | #Constraints: 28830 1196.37/1200.26 c #Conflicts: 1011000 | #Constraints: 29830 1196.37/1200.26 c #Conflicts: 1012000 | #Constraints: 30831 1196.37/1200.26 c #Conflicts: 1013000 | #Constraints: 31831 1196.37/1200.26 c #Conflicts: 1014000 | #Constraints: 32831 1196.37/1200.26 c #Conflicts: 1015000 | #Constraints: 33831 1196.37/1200.26 c #Conflicts: 1016000 | #Constraints: 34831 1196.37/1200.26 c #Conflicts: 1017000 | #Constraints: 35831 1196.37/1200.26 c #Conflicts: 1018000 | #Constraints: 36831 1196.37/1200.26 c #Conflicts: 1019000 | #Constraints: 37831 1196.37/1200.26 c #Conflicts: 1020000 | #Constraints: 38831 1196.37/1200.26 c #Conflicts: 1021000 | #Constraints: 39831 1196.37/1200.26 c INPROCESSING 1196.37/1200.26 c GARBAGE COLLECT 1196.37/1200.26 c rational objective 0 1233.34/1237.39 c #Conflicts: 1022000 | #Constraints: 20831 1233.34/1237.39 c #Conflicts: 1023000 | #Constraints: 21831 1233.34/1237.39 c #Conflicts: 1024000 | #Constraints: 22831 1233.34/1237.39 c #Conflicts: 1025000 | #Constraints: 23831 1233.34/1237.39 c #Conflicts: 1026000 | #Constraints: 24831 1233.34/1237.39 c #Conflicts: 1027000 | #Constraints: 25831 1233.34/1237.39 c #Conflicts: 1028000 | #Constraints: 26831 1233.34/1237.39 c #Conflicts: 1029000 | #Constraints: 27831 1233.34/1237.39 c #Conflicts: 1030000 | #Constraints: 28831 1233.34/1237.39 c #Conflicts: 1031000 | #Constraints: 29831 1233.34/1237.39 c #Conflicts: 1032000 | #Constraints: 30831 1233.34/1237.39 c #Conflicts: 1033000 | #Constraints: 31831 1233.34/1237.39 c #Conflicts: 1034000 | #Constraints: 32831 1233.34/1237.39 c #Conflicts: 1035000 | #Constraints: 33831 1233.34/1237.39 c #Conflicts: 1036000 | #Constraints: 34831 1233.34/1237.39 c #Conflicts: 1037000 | #Constraints: 35831 1233.34/1237.39 c #Conflicts: 1038000 | #Constraints: 36831 1233.34/1237.39 c #Conflicts: 1039000 | #Constraints: 37831 1233.34/1237.39 c #Conflicts: 1040000 | #Constraints: 38831 1233.34/1237.39 c #Conflicts: 1041000 | #Constraints: 39831 1233.34/1237.39 c INPROCESSING 1233.34/1237.39 c GARBAGE COLLECT 1233.34/1237.39 c rational objective 0 1272.11/1276.28 c #Conflicts: 1042000 | #Constraints: 20629 1272.11/1276.28 c #Conflicts: 1043000 | #Constraints: 21629 1272.11/1276.28 c #Conflicts: 1044000 | #Constraints: 22629 1272.11/1276.28 c #Conflicts: 1045000 | #Constraints: 23629 1272.11/1276.28 c #Conflicts: 1046000 | #Constraints: 24629 1272.11/1276.28 c #Conflicts: 1047000 | #Constraints: 25629 1272.11/1276.28 c #Conflicts: 1048000 | #Constraints: 26629 1272.11/1276.28 c #Conflicts: 1049000 | #Constraints: 27629 1272.11/1276.28 c #Conflicts: 1050000 | #Constraints: 28629 1272.11/1276.28 c #Conflicts: 1051000 | #Constraints: 29629 1272.11/1276.28 c #Conflicts: 1052000 | #Constraints: 30629 1272.11/1276.28 c #Conflicts: 1053000 | #Constraints: 31629 1272.11/1276.28 c #Conflicts: 1054000 | #Constraints: 32629 1272.11/1276.28 c #Conflicts: 1055000 | #Constraints: 33629 1272.11/1276.28 c #Conflicts: 1056000 | #Constraints: 34629 1272.11/1276.28 c #Conflicts: 1057000 | #Constraints: 35629 1272.11/1276.28 c #Conflicts: 1058000 | #Constraints: 36629 1272.11/1276.28 c #Conflicts: 1059000 | #Constraints: 37629 1272.11/1276.28 c #Conflicts: 1060000 | #Constraints: 38629 1272.11/1276.28 c #Conflicts: 1061000 | #Constraints: 39629 1272.11/1276.28 c #Conflicts: 1062000 | #Constraints: 40629 1272.11/1276.28 c INPROCESSING 1272.11/1276.28 c GARBAGE COLLECT 1272.11/1276.28 c rational objective 0 1311.38/1315.65 c #Conflicts: 1063000 | #Constraints: 21227 1311.38/1315.65 c #Conflicts: 1064000 | #Constraints: 22227 1311.38/1315.65 c #Conflicts: 1065000 | #Constraints: 23227 1311.38/1315.65 c #Conflicts: 1066000 | #Constraints: 24227 1311.38/1315.65 c #Conflicts: 1067000 | #Constraints: 25227 1311.38/1315.65 c #Conflicts: 1068000 | #Constraints: 26227 1311.38/1315.65 c #Conflicts: 1069000 | #Constraints: 27227 1311.38/1315.65 c #Conflicts: 1070000 | #Constraints: 28227 1311.38/1315.65 c #Conflicts: 1071000 | #Constraints: 29227 1311.38/1315.65 c #Conflicts: 1072000 | #Constraints: 30227 1311.38/1315.65 c #Conflicts: 1073000 | #Constraints: 31227 1311.38/1315.65 c #Conflicts: 1074000 | #Constraints: 32227 1311.38/1315.65 c #Conflicts: 1075000 | #Constraints: 33227 1311.38/1315.65 c #Conflicts: 1076000 | #Constraints: 34227 1311.38/1315.65 c #Conflicts: 1077000 | #Constraints: 35227 1311.38/1315.65 c #Conflicts: 1078000 | #Constraints: 36227 1311.38/1315.65 c #Conflicts: 1079000 | #Constraints: 37227 1311.38/1315.65 c #Conflicts: 1080000 | #Constraints: 38227 1311.38/1315.65 c #Conflicts: 1081000 | #Constraints: 39227 1311.38/1315.65 c #Conflicts: 1082000 | #Constraints: 40227 1311.38/1315.65 c #Conflicts: 1083000 | #Constraints: 41227 1311.38/1315.65 c INPROCESSING 1311.38/1315.65 c GARBAGE COLLECT 1311.38/1315.65 c rational objective 0 1352.24/1356.65 c #Conflicts: 1084000 | #Constraints: 21626 1352.24/1356.65 c #Conflicts: 1085000 | #Constraints: 22626 1352.24/1356.65 c #Conflicts: 1086000 | #Constraints: 23626 1352.24/1356.65 c #Conflicts: 1087000 | #Constraints: 24626 1352.24/1356.65 c #Conflicts: 1088000 | #Constraints: 25627 1352.24/1356.65 c #Conflicts: 1089000 | #Constraints: 26627 1352.24/1356.65 c #Conflicts: 1090000 | #Constraints: 27627 1352.24/1356.65 c #Conflicts: 1091000 | #Constraints: 28627 1352.24/1356.65 c #Conflicts: 1092000 | #Constraints: 29627 1352.24/1356.65 c #Conflicts: 1093000 | #Constraints: 30627 1352.24/1356.65 c #Conflicts: 1094000 | #Constraints: 31627 1352.24/1356.65 c #Conflicts: 1095000 | #Constraints: 32627 1352.24/1356.65 c #Conflicts: 1096000 | #Constraints: 33627 1352.24/1356.65 c #Conflicts: 1097000 | #Constraints: 34627 1352.24/1356.65 c #Conflicts: 1098000 | #Constraints: 35627 1352.24/1356.65 c #Conflicts: 1099000 | #Constraints: 36627 1352.24/1356.65 c #Conflicts: 1100000 | #Constraints: 37627 1352.24/1356.65 c #Conflicts: 1101000 | #Constraints: 38627 1352.24/1356.65 c #Conflicts: 1102000 | #Constraints: 39627 1352.24/1356.65 c #Conflicts: 1103000 | #Constraints: 40627 1352.24/1356.65 c #Conflicts: 1104000 | #Constraints: 41627 1352.24/1356.65 c INPROCESSING 1352.24/1356.65 c GARBAGE COLLECT 1352.24/1356.65 c rational objective 0 1393.60/1398.18 c #Conflicts: 1105000 | #Constraints: 21830 1393.60/1398.18 c #Conflicts: 1106000 | #Constraints: 22830 1393.60/1398.18 c #Conflicts: 1107000 | #Constraints: 23830 1393.60/1398.18 c #Conflicts: 1108000 | #Constraints: 24830 1393.60/1398.18 c #Conflicts: 1109000 | #Constraints: 25831 1393.60/1398.18 c #Conflicts: 1110000 | #Constraints: 26831 1393.60/1398.18 c #Conflicts: 1111000 | #Constraints: 27831 1393.60/1398.18 c #Conflicts: 1112000 | #Constraints: 28831 1393.60/1398.18 c #Conflicts: 1113000 | #Constraints: 29831 1393.60/1398.18 c #Conflicts: 1114000 | #Constraints: 30831 1393.60/1398.18 c #Conflicts: 1115000 | #Constraints: 31831 1393.60/1398.18 c #Conflicts: 1116000 | #Constraints: 32831 1393.60/1398.18 c #Conflicts: 1117000 | #Constraints: 33831 1393.60/1398.18 c #Conflicts: 1118000 | #Constraints: 34831 1393.60/1398.18 c #Conflicts: 1119000 | #Constraints: 35831 1393.60/1398.18 c #Conflicts: 1120000 | #Constraints: 36831 1393.60/1398.18 c #Conflicts: 1121000 | #Constraints: 37831 1393.60/1398.18 c #Conflicts: 1122000 | #Constraints: 38831 1393.60/1398.18 c #Conflicts: 1123000 | #Constraints: 39831 1393.60/1398.18 c #Conflicts: 1124000 | #Constraints: 40831 1393.60/1398.18 c #Conflicts: 1125000 | #Constraints: 41831 1393.60/1398.18 c INPROCESSING 1393.60/1398.18 c GARBAGE COLLECT 1393.60/1398.18 c rational objective 0 1434.36/1439.00 c #Conflicts: 1126000 | #Constraints: 21828 1434.36/1439.00 c #Conflicts: 1127000 | #Constraints: 22828 1434.36/1439.00 c #Conflicts: 1128000 | #Constraints: 23828 1434.36/1439.00 c #Conflicts: 1129000 | #Constraints: 24828 1434.36/1439.00 c #Conflicts: 1130000 | #Constraints: 25828 1434.36/1439.00 c #Conflicts: 1131000 | #Constraints: 26828 1434.36/1439.00 c #Conflicts: 1132000 | #Constraints: 27828 1434.36/1439.00 c #Conflicts: 1133000 | #Constraints: 28828 1434.36/1439.00 c #Conflicts: 1134000 | #Constraints: 29828 1434.36/1439.00 c #Conflicts: 1135000 | #Constraints: 30828 1434.36/1439.00 c #Conflicts: 1136000 | #Constraints: 31828 1434.36/1439.00 c #Conflicts: 1137000 | #Constraints: 32828 1434.36/1439.00 c #Conflicts: 1138000 | #Constraints: 33828 1434.36/1439.00 c #Conflicts: 1139000 | #Constraints: 34828 1434.36/1439.00 c #Conflicts: 1140000 | #Constraints: 35828 1434.36/1439.00 c #Conflicts: 1141000 | #Constraints: 36829 1434.36/1439.00 c #Conflicts: 1142000 | #Constraints: 37829 1434.36/1439.00 c #Conflicts: 1143000 | #Constraints: 38829 1434.36/1439.00 c #Conflicts: 1144000 | #Constraints: 39829 1434.36/1439.00 c #Conflicts: 1145000 | #Constraints: 40829 1434.36/1439.00 c #Conflicts: 1146000 | #Constraints: 41829 1434.36/1439.00 c INPROCESSING 1434.36/1439.00 c GARBAGE COLLECT 1434.36/1439.00 c rational objective 0 1476.71/1481.55 c #Conflicts: 1147000 | #Constraints: 21628 1476.71/1481.55 c #Conflicts: 1148000 | #Constraints: 22628 1476.71/1481.55 c #Conflicts: 1149000 | #Constraints: 23628 1476.71/1481.55 c #Conflicts: 1150000 | #Constraints: 24628 1476.71/1481.55 c #Conflicts: 1151000 | #Constraints: 25628 1476.71/1481.55 c #Conflicts: 1152000 | #Constraints: 26628 1476.71/1481.55 c #Conflicts: 1153000 | #Constraints: 27628 1476.71/1481.55 c #Conflicts: 1154000 | #Constraints: 28628 1476.71/1481.55 c #Conflicts: 1155000 | #Constraints: 29628 1476.71/1481.55 c #Conflicts: 1156000 | #Constraints: 30628 1476.71/1481.55 c #Conflicts: 1157000 | #Constraints: 31628 1476.71/1481.55 c #Conflicts: 1158000 | #Constraints: 32628 1476.71/1481.55 c #Conflicts: 1159000 | #Constraints: 33628 1476.71/1481.55 c #Conflicts: 1160000 | #Constraints: 34628 1476.71/1481.55 c #Conflicts: 1161000 | #Constraints: 35629 1476.71/1481.55 c #Conflicts: 1162000 | #Constraints: 36629 1476.71/1481.55 c #Conflicts: 1163000 | #Constraints: 37629 1476.71/1481.55 c #Conflicts: 1164000 | #Constraints: 38629 1476.71/1481.55 c #Conflicts: 1165000 | #Constraints: 39629 1476.71/1481.55 c #Conflicts: 1166000 | #Constraints: 40629 1476.71/1481.55 c #Conflicts: 1167000 | #Constraints: 41629 1476.71/1481.55 c #Conflicts: 1168000 | #Constraints: 42629 1476.71/1481.55 c INPROCESSING 1476.71/1481.55 c GARBAGE COLLECT 1476.71/1481.55 c rational objective 0 1520.76/1525.72 c #Conflicts: 1169000 | #Constraints: 22227 1520.76/1525.72 c #Conflicts: 1170000 | #Constraints: 23227 1520.76/1525.72 c #Conflicts: 1171000 | #Constraints: 24227 1520.76/1525.72 c #Conflicts: 1172000 | #Constraints: 25227 1520.76/1525.72 c #Conflicts: 1173000 | #Constraints: 26227 1520.76/1525.72 c #Conflicts: 1174000 | #Constraints: 27227 1520.76/1525.72 c #Conflicts: 1175000 | #Constraints: 28227 1520.76/1525.72 c #Conflicts: 1176000 | #Constraints: 29227 1520.76/1525.72 c #Conflicts: 1177000 | #Constraints: 30227 1520.76/1525.72 c #Conflicts: 1178000 | #Constraints: 31227 1520.76/1525.72 c #Conflicts: 1179000 | #Constraints: 32227 1520.76/1525.72 c #Conflicts: 1180000 | #Constraints: 33228 1520.76/1525.72 c #Conflicts: 1181000 | #Constraints: 34228 1520.76/1525.72 c #Conflicts: 1182000 | #Constraints: 35228 1520.76/1525.72 c #Conflicts: 1183000 | #Constraints: 36228 1520.76/1525.72 c #Conflicts: 1184000 | #Constraints: 37228 1520.76/1525.72 c #Conflicts: 1185000 | #Constraints: 38228 1520.76/1525.72 c #Conflicts: 1186000 | #Constraints: 39228 1520.76/1525.72 c #Conflicts: 1187000 | #Constraints: 40228 1520.76/1525.72 c #Conflicts: 1188000 | #Constraints: 41228 1520.76/1525.72 c #Conflicts: 1189000 | #Constraints: 42228 1520.76/1525.72 c #Conflicts: 1190000 | #Constraints: 43228 1520.76/1525.72 c INPROCESSING 1520.76/1525.72 c GARBAGE COLLECT 1520.76/1525.72 c rational objective 0 1562.62/1567.75 c #Conflicts: 1191000 | #Constraints: 22629 1562.62/1567.75 c #Conflicts: 1192000 | #Constraints: 23629 1562.62/1567.75 c #Conflicts: 1193000 | #Constraints: 24629 1562.62/1567.75 c #Conflicts: 1194000 | #Constraints: 25629 1562.62/1567.75 c #Conflicts: 1195000 | #Constraints: 26629 1562.62/1567.75 c #Conflicts: 1196000 | #Constraints: 27630 1562.62/1567.75 c #Conflicts: 1197000 | #Constraints: 28630 1562.62/1567.75 c #Conflicts: 1198000 | #Constraints: 29630 1562.62/1567.75 c #Conflicts: 1199000 | #Constraints: 30630 1562.62/1567.75 c #Conflicts: 1200000 | #Constraints: 31630 1562.62/1567.75 c #Conflicts: 1201000 | #Constraints: 32630 1562.62/1567.75 c #Conflicts: 1202000 | #Constraints: 33630 1562.62/1567.75 c #Conflicts: 1203000 | #Constraints: 34630 1562.62/1567.75 c #Conflicts: 1204000 | #Constraints: 35630 1562.62/1567.75 c #Conflicts: 1205000 | #Constraints: 36630 1562.62/1567.75 c #Conflicts: 1206000 | #Constraints: 37630 1562.62/1567.75 c #Conflicts: 1207000 | #Constraints: 38630 1562.62/1567.75 c #Conflicts: 1208000 | #Constraints: 39630 1562.62/1567.75 c #Conflicts: 1209000 | #Constraints: 40630 1562.62/1567.75 c #Conflicts: 1210000 | #Constraints: 41630 1562.62/1567.75 c #Conflicts: 1211000 | #Constraints: 42630 1562.62/1567.75 c #Conflicts: 1212000 | #Constraints: 43630 1562.62/1567.75 c INPROCESSING 1562.62/1567.75 c GARBAGE COLLECT 1562.62/1567.75 c rational objective 0 1605.97/1611.29 c #Conflicts: 1213000 | #Constraints: 22830 1605.97/1611.29 c #Conflicts: 1214000 | #Constraints: 23830 1605.97/1611.29 c #Conflicts: 1215000 | #Constraints: 24830 1605.97/1611.29 c #Conflicts: 1216000 | #Constraints: 25830 1605.97/1611.29 c #Conflicts: 1217000 | #Constraints: 26830 1605.97/1611.29 c #Conflicts: 1218000 | #Constraints: 27830 1605.97/1611.29 c #Conflicts: 1219000 | #Constraints: 28830 1605.97/1611.29 c #Conflicts: 1220000 | #Constraints: 29830 1605.97/1611.29 c #Conflicts: 1221000 | #Constraints: 30830 1605.97/1611.29 c #Conflicts: 1222000 | #Constraints: 31830 1605.97/1611.29 c #Conflicts: 1223000 | #Constraints: 32830 1605.97/1611.29 c #Conflicts: 1224000 | #Constraints: 33830 1605.97/1611.29 c #Conflicts: 1225000 | #Constraints: 34830 1605.97/1611.29 c #Conflicts: 1226000 | #Constraints: 35830 1605.97/1611.29 c #Conflicts: 1227000 | #Constraints: 36830 1605.97/1611.29 c #Conflicts: 1228000 | #Constraints: 37830 1605.97/1611.29 c #Conflicts: 1229000 | #Constraints: 38830 1605.97/1611.29 c #Conflicts: 1230000 | #Constraints: 39830 1605.97/1611.29 c #Conflicts: 1231000 | #Constraints: 40830 1605.97/1611.29 c #Conflicts: 1232000 | #Constraints: 41830 1605.97/1611.29 c #Conflicts: 1233000 | #Constraints: 42830 1605.97/1611.29 c #Conflicts: 1234000 | #Constraints: 43830 1605.97/1611.29 c INPROCESSING 1605.97/1611.29 c GARBAGE COLLECT 1605.97/1611.29 c rational objective 0 1650.32/1655.70 c #Conflicts: 1235000 | #Constraints: 22829 1650.32/1655.70 c #Conflicts: 1236000 | #Constraints: 23829 1650.32/1655.70 c #Conflicts: 1237000 | #Constraints: 24829 1650.32/1655.70 c #Conflicts: 1238000 | #Constraints: 25829 1650.32/1655.70 c #Conflicts: 1239000 | #Constraints: 26829 1650.32/1655.70 c #Conflicts: 1240000 | #Constraints: 27829 1650.32/1655.70 c #Conflicts: 1241000 | #Constraints: 28829 1650.32/1655.70 c #Conflicts: 1242000 | #Constraints: 29829 1650.32/1655.70 c #Conflicts: 1243000 | #Constraints: 30829 1650.32/1655.70 c #Conflicts: 1244000 | #Constraints: 31829 1650.32/1655.70 c #Conflicts: 1245000 | #Constraints: 32829 1650.32/1655.70 c #Conflicts: 1246000 | #Constraints: 33829 1650.32/1655.70 c #Conflicts: 1247000 | #Constraints: 34829 1650.32/1655.70 c #Conflicts: 1248000 | #Constraints: 35830 1650.32/1655.70 c #Conflicts: 1249000 | #Constraints: 36830 1650.32/1655.70 c #Conflicts: 1250000 | #Constraints: 37830 1650.32/1655.70 c #Conflicts: 1251000 | #Constraints: 38830 1650.32/1655.70 c #Conflicts: 1252000 | #Constraints: 39830 1650.32/1655.70 c #Conflicts: 1253000 | #Constraints: 40830 1650.32/1655.70 c #Conflicts: 1254000 | #Constraints: 41830 1650.32/1655.70 c #Conflicts: 1255000 | #Constraints: 42830 1650.32/1655.70 c #Conflicts: 1256000 | #Constraints: 43830 1650.32/1655.70 c INPROCESSING 1650.32/1655.70 c GARBAGE COLLECT 1650.32/1655.70 c rational objective 0 1695.27/1700.84 c #Conflicts: 1257000 | #Constraints: 22631 1695.27/1700.84 c #Conflicts: 1258000 | #Constraints: 23631 1695.27/1700.84 c #Conflicts: 1259000 | #Constraints: 24631 1695.27/1700.84 c #Conflicts: 1260000 | #Constraints: 25631 1695.27/1700.84 c #Conflicts: 1261000 | #Constraints: 26631 1695.27/1700.84 c #Conflicts: 1262000 | #Constraints: 27631 1695.27/1700.84 c #Conflicts: 1263000 | #Constraints: 28631 1695.27/1700.84 c #Conflicts: 1264000 | #Constraints: 29631 1695.27/1700.84 c #Conflicts: 1265000 | #Constraints: 30631 1695.27/1700.84 c #Conflicts: 1266000 | #Constraints: 31631 1695.27/1700.84 c #Conflicts: 1267000 | #Constraints: 32631 1695.27/1700.84 c #Conflicts: 1268000 | #Constraints: 33631 1695.27/1700.84 c #Conflicts: 1269000 | #Constraints: 34631 1695.27/1700.84 c #Conflicts: 1270000 | #Constraints: 35631 1695.27/1700.84 c #Conflicts: 1271000 | #Constraints: 36631 1695.27/1700.84 c #Conflicts: 1272000 | #Constraints: 37631 1695.27/1700.84 c #Conflicts: 1273000 | #Constraints: 38631 1695.27/1700.84 c #Conflicts: 1274000 | #Constraints: 39631 1695.27/1700.84 c #Conflicts: 1275000 | #Constraints: 40631 1695.27/1700.84 c #Conflicts: 1276000 | #Constraints: 41631 1695.27/1700.84 c #Conflicts: 1277000 | #Constraints: 42631 1695.27/1700.84 c #Conflicts: 1278000 | #Constraints: 43631 1695.27/1700.84 c #Conflicts: 1279000 | #Constraints: 44631 1695.27/1700.84 c INPROCESSING 1695.27/1700.84 c GARBAGE COLLECT 1695.27/1700.84 c rational objective 0 1742.20/1747.99 c #Conflicts: 1280000 | #Constraints: 23227 1742.20/1747.99 c #Conflicts: 1281000 | #Constraints: 24227 1742.20/1747.99 c #Conflicts: 1282000 | #Constraints: 25227 1742.20/1747.99 c #Conflicts: 1283000 | #Constraints: 26227 1742.20/1747.99 c #Conflicts: 1284000 | #Constraints: 27227 1742.20/1747.99 c #Conflicts: 1285000 | #Constraints: 28227 1742.20/1747.99 c #Conflicts: 1286000 | #Constraints: 29227 1742.20/1747.99 c #Conflicts: 1287000 | #Constraints: 30227 1742.20/1747.99 c #Conflicts: 1288000 | #Constraints: 31227 1742.20/1747.99 c #Conflicts: 1289000 | #Constraints: 32227 1742.20/1747.99 c #Conflicts: 1290000 | #Constraints: 33227 1742.20/1747.99 c #Conflicts: 1291000 | #Constraints: 34227 1742.20/1747.99 c #Conflicts: 1292000 | #Constraints: 35227 1742.20/1747.99 c #Conflicts: 1293000 | #Constraints: 36227 1742.20/1747.99 c #Conflicts: 1294000 | #Constraints: 37227 1742.20/1747.99 c #Conflicts: 1295000 | #Constraints: 38227 1742.20/1747.99 c #Conflicts: 1296000 | #Constraints: 39227 1742.20/1747.99 c #Conflicts: 1297000 | #Constraints: 40227 1742.20/1747.99 c #Conflicts: 1298000 | #Constraints: 41227 1742.20/1747.99 c #Conflicts: 1299000 | #Constraints: 42227 1742.20/1747.99 c #Conflicts: 1300000 | #Constraints: 43227 1742.20/1747.99 c #Conflicts: 1301000 | #Constraints: 44227 1742.20/1747.99 c #Conflicts: 1302000 | #Constraints: 45227 1742.20/1747.99 c INPROCESSING 1742.20/1747.99 c GARBAGE COLLECT 1742.20/1747.99 c rational objective 0 1791.73/1797.66 c #Conflicts: 1303000 | #Constraints: 23626 1791.73/1797.66 c #Conflicts: 1304000 | #Constraints: 24626 1791.73/1797.66 c #Conflicts: 1305000 | #Constraints: 25626 1791.73/1797.66 c #Conflicts: 1306000 | #Constraints: 26626 1791.73/1797.66 c #Conflicts: 1307000 | #Constraints: 27626 1791.73/1797.66 c #Conflicts: 1308000 | #Constraints: 28626 1791.73/1797.66 c #Conflicts: 1309000 | #Constraints: 29626 1791.73/1797.66 c #Conflicts: 1310000 | #Constraints: 30626 1791.73/1797.66 c #Conflicts: 1311000 | #Constraints: 31626 1791.73/1797.66 c #Conflicts: 1312000 | #Constraints: 32626 1791.73/1797.66 c #Conflicts: 1313000 | #Constraints: 33626 1791.73/1797.66 c #Conflicts: 1314000 | #Constraints: 34626 1791.73/1797.66 c #Conflicts: 1315000 | #Constraints: 35626 1791.73/1797.66 c #Conflicts: 1316000 | #Constraints: 36626 1791.73/1797.66 c #Conflicts: 1317000 | #Constraints: 37626 1791.73/1797.66 c #Conflicts: 1318000 | #Constraints: 38626 1791.73/1797.66 c #Conflicts: 1319000 | #Constraints: 39626 1791.73/1797.66 c #Conflicts: 1320000 | #Constraints: 40626 1791.73/1797.66 c #Conflicts: 1321000 | #Constraints: 41626 1791.73/1797.66 c #Conflicts: 1322000 | #Constraints: 42626 1791.73/1797.66 c #Conflicts: 1323000 | #Constraints: 43626 1791.73/1797.66 c #Conflicts: 1324000 | #Constraints: 44626 1791.73/1797.66 c #Conflicts: 1325000 | #Constraints: 45627 1791.73/1797.66 c INPROCESSING 1791.73/1797.66 c GARBAGE COLLECT 1791.73/1797.66 c rational objective 0 1842.65/1848.79 c #Conflicts: 1326000 | #Constraints: 23826 1842.65/1848.79 c #Conflicts: 1327000 | #Constraints: 24826 1842.65/1848.79 c #Conflicts: 1328000 | #Constraints: 25826 1842.65/1848.79 c #Conflicts: 1329000 | #Constraints: 26826 1842.65/1848.79 c #Conflicts: 1330000 | #Constraints: 27826 1842.65/1848.79 c #Conflicts: 1331000 | #Constraints: 28826 1842.65/1848.79 c #Conflicts: 1332000 | #Constraints: 29826 1842.65/1848.79 c #Conflicts: 1333000 | #Constraints: 30826 1842.65/1848.79 c #Conflicts: 1334000 | #Constraints: 31826 1842.65/1848.79 c #Conflicts: 1335000 | #Constraints: 32826 1842.65/1848.79 c #Conflicts: 1336000 | #Constraints: 33826 1842.65/1848.79 c #Conflicts: 1337000 | #Constraints: 34826 1842.65/1848.79 c #Conflicts: 1338000 | #Constraints: 35826 1842.65/1848.79 c #Conflicts: 1339000 | #Constraints: 36826 1842.65/1848.79 c #Conflicts: 1340000 | #Constraints: 37826 1842.65/1848.79 c #Conflicts: 1341000 | #Constraints: 38826 1842.65/1848.79 c #Conflicts: 1342000 | #Constraints: 39826 1842.65/1848.79 c #Conflicts: 1343000 | #Constraints: 40826 1842.65/1848.79 c #Conflicts: 1344000 | #Constraints: 41826 1842.65/1848.79 c #Conflicts: 1345000 | #Constraints: 42826 1842.65/1848.79 c #Conflicts: 1346000 | #Constraints: 43826 1842.65/1848.79 c #Conflicts: 1347000 | #Constraints: 44826 1842.65/1848.79 c #Conflicts: 1348000 | #Constraints: 45826 1842.65/1848.79 c INPROCESSING 1842.65/1848.79 c GARBAGE COLLECT 1842.65/1848.79 c rational objective 0 1891.68/1897.94 c #Conflicts: 1349000 | #Constraints: 23829 1891.68/1897.94 c #Conflicts: 1350000 | #Constraints: 24829 1891.68/1897.94 c #Conflicts: 1351000 | #Constraints: 25829 1891.68/1897.94 c #Conflicts: 1352000 | #Constraints: 26829 1891.68/1897.94 c #Conflicts: 1353000 | #Constraints: 27829 1891.68/1897.94 c #Conflicts: 1354000 | #Constraints: 28829 1891.68/1897.94 c #Conflicts: 1355000 | #Constraints: 29829 1891.68/1897.94 c #Conflicts: 1356000 | #Constraints: 30829 1891.68/1897.94 c #Conflicts: 1357000 | #Constraints: 31829 1891.68/1897.94 c #Conflicts: 1358000 | #Constraints: 32829 1891.68/1897.94 c #Conflicts: 1359000 | #Constraints: 33829 1891.68/1897.94 c #Conflicts: 1360000 | #Constraints: 34830 1891.68/1897.94 c #Conflicts: 1361000 | #Constraints: 35830 1891.68/1897.94 c #Conflicts: 1362000 | #Constraints: 36830 1891.68/1897.94 c #Conflicts: 1363000 | #Constraints: 37830 1891.68/1897.94 c #Conflicts: 1364000 | #Constraints: 38830 1891.68/1897.94 c #Conflicts: 1365000 | #Constraints: 39830 1891.68/1897.94 c #Conflicts: 1366000 | #Constraints: 40830 1891.68/1897.94 c #Conflicts: 1367000 | #Constraints: 41830 1891.68/1897.94 c #Conflicts: 1368000 | #Constraints: 42830 1891.68/1897.94 c #Conflicts: 1369000 | #Constraints: 43830 1891.68/1897.94 c #Conflicts: 1370000 | #Constraints: 44830 1891.68/1897.94 c #Conflicts: 1371000 | #Constraints: 45830 1891.68/1897.94 c INPROCESSING 1891.68/1897.94 c GARBAGE COLLECT 1891.68/1897.94 c rational objective 0 1941.72/1948.15 c #Conflicts: 1372000 | #Constraints: 23630 1941.72/1948.15 c #Conflicts: 1373000 | #Constraints: 24630 1941.72/1948.15 c #Conflicts: 1374000 | #Constraints: 25630 1941.72/1948.15 c #Conflicts: 1375000 | #Constraints: 26630 1941.72/1948.15 c #Conflicts: 1376000 | #Constraints: 27630 1941.72/1948.15 c #Conflicts: 1377000 | #Constraints: 28630 1941.72/1948.15 c #Conflicts: 1378000 | #Constraints: 29630 1941.72/1948.15 c #Conflicts: 1379000 | #Constraints: 30630 1941.72/1948.15 c #Conflicts: 1380000 | #Constraints: 31630 1941.72/1948.15 c #Conflicts: 1381000 | #Constraints: 32630 1941.72/1948.15 c #Conflicts: 1382000 | #Constraints: 33630 1941.72/1948.15 c #Conflicts: 1383000 | #Constraints: 34630 1941.72/1948.15 c #Conflicts: 1384000 | #Constraints: 35630 1941.72/1948.15 c #Conflicts: 1385000 | #Constraints: 36630 1941.72/1948.15 c #Conflicts: 1386000 | #Constraints: 37630 1941.72/1948.15 c #Conflicts: 1387000 | #Constraints: 38630 1941.72/1948.15 c #Conflicts: 1388000 | #Constraints: 39630 1941.72/1948.15 c #Conflicts: 1389000 | #Constraints: 40630 1941.72/1948.15 c #Conflicts: 1390000 | #Constraints: 41630 1941.72/1948.15 c #Conflicts: 1391000 | #Constraints: 42630 1941.72/1948.15 c #Conflicts: 1392000 | #Constraints: 43630 1941.72/1948.15 c #Conflicts: 1393000 | #Constraints: 44630 1941.72/1948.15 c #Conflicts: 1394000 | #Constraints: 45630 1941.72/1948.15 c #Conflicts: 1395000 | #Constraints: 46630 1941.72/1948.15 c INPROCESSING 1941.72/1948.15 c GARBAGE COLLECT 1941.72/1948.15 c rational objective 0 1991.94/1998.53 c #Conflicts: 1396000 | #Constraints: 24230 1991.94/1998.53 c #Conflicts: 1397000 | #Constraints: 25230 1991.94/1998.53 c #Conflicts: 1398000 | #Constraints: 26230 1991.94/1998.53 c #Conflicts: 1399000 | #Constraints: 27230 1991.94/1998.53 c #Conflicts: 1400000 | #Constraints: 28230 1991.94/1998.53 c #Conflicts: 1401000 | #Constraints: 29230 1991.94/1998.53 c #Conflicts: 1402000 | #Constraints: 30230 1991.94/1998.53 c #Conflicts: 1403000 | #Constraints: 31230 1991.94/1998.53 c #Conflicts: 1404000 | #Constraints: 32230 1991.94/1998.53 c #Conflicts: 1405000 | #Constraints: 33230 1991.94/1998.53 c #Conflicts: 1406000 | #Constraints: 34230 1991.94/1998.53 c #Conflicts: 1407000 | #Constraints: 35230 1991.94/1998.53 c #Conflicts: 1408000 | #Constraints: 36230 1991.94/1998.53 c #Conflicts: 1409000 | #Constraints: 37230 1991.94/1998.53 c #Conflicts: 1410000 | #Constraints: 38230 1991.94/1998.53 c #Conflicts: 1411000 | #Constraints: 39230 1991.94/1998.53 c #Conflicts: 1412000 | #Constraints: 40230 1991.94/1998.53 c #Conflicts: 1413000 | #Constraints: 41230 1991.94/1998.53 c #Conflicts: 1414000 | #Constraints: 42230 1991.94/1998.53 c #Conflicts: 1415000 | #Constraints: 43230 1991.94/1998.53 c #Conflicts: 1416000 | #Constraints: 44231 1991.94/1998.53 c #Conflicts: 1417000 | #Constraints: 45231 1991.94/1998.53 c #Conflicts: 1418000 | #Constraints: 46231 1991.94/1998.53 c #Conflicts: 1419000 | #Constraints: 47231 1991.94/1998.53 c INPROCESSING 1991.94/1998.53 c GARBAGE COLLECT 1991.94/1998.53 c rational objective 0 2043.06/2049.85 c #Conflicts: 1420000 | #Constraints: 24631 2043.06/2049.85 c #Conflicts: 1421000 | #Constraints: 25631 2043.06/2049.85 c #Conflicts: 1422000 | #Constraints: 26633 2043.06/2049.85 c #Conflicts: 1423000 | #Constraints: 27633 2043.06/2049.85 c #Conflicts: 1424000 | #Constraints: 28633 2043.06/2049.85 c #Conflicts: 1425000 | #Constraints: 29633 2043.06/2049.85 c #Conflicts: 1426000 | #Constraints: 30633 2043.06/2049.85 c #Conflicts: 1427000 | #Constraints: 31633 2043.06/2049.85 c #Conflicts: 1428000 | #Constraints: 32633 2043.06/2049.85 c #Conflicts: 1429000 | #Constraints: 33633 2043.06/2049.85 c #Conflicts: 1430000 | #Constraints: 34633 2043.06/2049.85 c #Conflicts: 1431000 | #Constraints: 35633 2043.06/2049.85 c #Conflicts: 1432000 | #Constraints: 36633 2043.06/2049.85 c #Conflicts: 1433000 | #Constraints: 37633 2043.06/2049.85 c #Conflicts: 1434000 | #Constraints: 38633 2043.06/2049.85 c #Conflicts: 1435000 | #Constraints: 39633 2043.06/2049.85 c #Conflicts: 1436000 | #Constraints: 40633 2043.06/2049.85 c #Conflicts: 1437000 | #Constraints: 41633 2043.06/2049.85 c #Conflicts: 1438000 | #Constraints: 42633 2043.06/2049.85 c #Conflicts: 1439000 | #Constraints: 43633 2043.06/2049.85 c #Conflicts: 1440000 | #Constraints: 44633 2043.06/2049.85 c #Conflicts: 1441000 | #Constraints: 45633 2043.06/2049.85 c #Conflicts: 1442000 | #Constraints: 46633 2043.06/2049.85 c #Conflicts: 1443000 | #Constraints: 47633 2043.06/2049.85 c INPROCESSING 2043.06/2049.85 c GARBAGE COLLECT 2043.06/2049.85 c rational objective 0 2097.87/2104.82 c #Conflicts: 1444000 | #Constraints: 24830 2097.87/2104.82 c #Conflicts: 1445000 | #Constraints: 25831 2097.87/2104.82 c #Conflicts: 1446000 | #Constraints: 26831 2097.87/2104.82 c #Conflicts: 1447000 | #Constraints: 27831 2097.87/2104.82 c #Conflicts: 1448000 | #Constraints: 28831 2097.87/2104.82 c #Conflicts: 1449000 | #Constraints: 29831 2097.87/2104.82 c #Conflicts: 1450000 | #Constraints: 30831 2097.87/2104.82 c #Conflicts: 1451000 | #Constraints: 31831 2097.87/2104.82 c #Conflicts: 1452000 | #Constraints: 32831 2097.87/2104.82 c #Conflicts: 1453000 | #Constraints: 33831 2097.87/2104.82 c #Conflicts: 1454000 | #Constraints: 34831 2097.87/2104.82 c #Conflicts: 1455000 | #Constraints: 35831 2097.87/2104.82 c #Conflicts: 1456000 | #Constraints: 36831 2097.87/2104.82 c #Conflicts: 1457000 | #Constraints: 37831 2097.87/2104.82 c #Conflicts: 1458000 | #Constraints: 38831 2097.87/2104.82 c #Conflicts: 1459000 | #Constraints: 39831 2097.87/2104.82 c #Conflicts: 1460000 | #Constraints: 40831 2097.87/2104.82 c #Conflicts: 1461000 | #Constraints: 41831 2097.87/2104.82 c #Conflicts: 1462000 | #Constraints: 42831 2097.87/2104.82 c #Conflicts: 1463000 | #Constraints: 43831 2097.87/2104.82 c #Conflicts: 1464000 | #Constraints: 44831 2097.87/2104.82 c #Conflicts: 1465000 | #Constraints: 45831 2097.87/2104.82 c #Conflicts: 1466000 | #Constraints: 46831 2097.87/2104.82 c #Conflicts: 1467000 | #Constraints: 47831 2097.87/2104.82 c INPROCESSING 2097.87/2104.82 c GARBAGE COLLECT 2097.87/2104.82 c rational objective 0 2148.21/2155.38 c #Conflicts: 1468000 | #Constraints: 24829 2148.21/2155.38 c #Conflicts: 1469000 | #Constraints: 25829 2148.21/2155.38 c #Conflicts: 1470000 | #Constraints: 26829 2148.21/2155.38 c #Conflicts: 1471000 | #Constraints: 27829 2148.21/2155.38 c #Conflicts: 1472000 | #Constraints: 28829 2148.21/2155.38 c #Conflicts: 1473000 | #Constraints: 29829 2148.21/2155.38 c #Conflicts: 1474000 | #Constraints: 30829 2148.21/2155.38 c #Conflicts: 1475000 | #Constraints: 31829 2148.21/2155.38 c #Conflicts: 1476000 | #Constraints: 32829 2148.21/2155.38 c #Conflicts: 1477000 | #Constraints: 33829 2148.21/2155.38 c #Conflicts: 1478000 | #Constraints: 34829 2148.21/2155.38 c #Conflicts: 1479000 | #Constraints: 35829 2148.21/2155.38 c #Conflicts: 1480000 | #Constraints: 36829 2148.21/2155.38 c #Conflicts: 1481000 | #Constraints: 37829 2148.21/2155.38 c #Conflicts: 1482000 | #Constraints: 38829 2148.21/2155.38 c #Conflicts: 1483000 | #Constraints: 39829 2148.21/2155.38 c #Conflicts: 1484000 | #Constraints: 40829 2148.21/2155.38 c #Conflicts: 1485000 | #Constraints: 41829 2148.21/2155.38 c #Conflicts: 1486000 | #Constraints: 42829 2148.21/2155.38 c #Conflicts: 1487000 | #Constraints: 43829 2148.21/2155.38 c #Conflicts: 1488000 | #Constraints: 44829 2148.21/2155.38 c #Conflicts: 1489000 | #Constraints: 45829 2148.21/2155.38 c #Conflicts: 1490000 | #Constraints: 46829 2148.21/2155.38 c #Conflicts: 1491000 | #Constraints: 47829 2148.21/2155.38 c INPROCESSING 2148.21/2155.38 c GARBAGE COLLECT 2148.21/2155.38 c rational objective 0 2202.72/2210.05 c #Conflicts: 1492000 | #Constraints: 24628 2202.72/2210.05 c #Conflicts: 1493000 | #Constraints: 25628 2202.72/2210.05 c #Conflicts: 1494000 | #Constraints: 26628 2202.72/2210.05 c #Conflicts: 1495000 | #Constraints: 27628 2202.72/2210.05 c #Conflicts: 1496000 | #Constraints: 28628 2202.72/2210.05 c #Conflicts: 1497000 | #Constraints: 29628 2202.72/2210.05 c #Conflicts: 1498000 | #Constraints: 30628 2202.72/2210.05 c #Conflicts: 1499000 | #Constraints: 31628 2202.72/2210.05 c #Conflicts: 1500000 | #Constraints: 32628 2202.72/2210.05 c #Conflicts: 1501000 | #Constraints: 33628 2202.72/2210.05 c #Conflicts: 1502000 | #Constraints: 34628 2202.72/2210.05 c #Conflicts: 1503000 | #Constraints: 35628 2202.72/2210.05 c #Conflicts: 1504000 | #Constraints: 36628 2202.72/2210.05 c #Conflicts: 1505000 | #Constraints: 37628 2202.72/2210.05 c #Conflicts: 1506000 | #Constraints: 38628 2202.72/2210.05 c #Conflicts: 1507000 | #Constraints: 39628 2202.72/2210.05 c #Conflicts: 1508000 | #Constraints: 40628 2202.72/2210.05 c #Conflicts: 1509000 | #Constraints: 41628 2202.72/2210.05 c #Conflicts: 1510000 | #Constraints: 42628 2202.72/2210.05 c #Conflicts: 1511000 | #Constraints: 43628 2202.72/2210.05 c #Conflicts: 1512000 | #Constraints: 44628 2202.72/2210.05 c #Conflicts: 1513000 | #Constraints: 45628 2202.72/2210.05 c #Conflicts: 1514000 | #Constraints: 46628 2202.72/2210.05 c #Conflicts: 1515000 | #Constraints: 47628 2202.72/2210.05 c #Conflicts: 1516000 | #Constraints: 48628 2202.72/2210.05 c INPROCESSING 2202.72/2210.05 c GARBAGE COLLECT 2202.72/2210.05 c rational objective 0 2259.03/2266.57 c #Conflicts: 1517000 | #Constraints: 25229 2259.03/2266.57 c #Conflicts: 1518000 | #Constraints: 26229 2259.03/2266.57 c #Conflicts: 1519000 | #Constraints: 27229 2259.03/2266.57 c #Conflicts: 1520000 | #Constraints: 28229 2259.03/2266.57 c #Conflicts: 1521000 | #Constraints: 29229 2259.03/2266.57 c #Conflicts: 1522000 | #Constraints: 30229 2259.03/2266.57 c #Conflicts: 1523000 | #Constraints: 31229 2259.03/2266.57 c #Conflicts: 1524000 | #Constraints: 32230 2259.03/2266.57 c #Conflicts: 1525000 | #Constraints: 33230 2259.03/2266.57 c #Conflicts: 1526000 | #Constraints: 34230 2259.03/2266.57 c #Conflicts: 1527000 | #Constraints: 35230 2259.03/2266.57 c #Conflicts: 1528000 | #Constraints: 36230 2259.03/2266.57 c #Conflicts: 1529000 | #Constraints: 37230 2259.03/2266.57 c #Conflicts: 1530000 | #Constraints: 38230 2259.03/2266.57 c #Conflicts: 1531000 | #Constraints: 39230 2259.03/2266.57 c #Conflicts: 1532000 | #Constraints: 40230 2259.03/2266.57 c #Conflicts: 1533000 | #Constraints: 41230 2259.03/2266.57 c #Conflicts: 1534000 | #Constraints: 42230 2259.03/2266.57 c #Conflicts: 1535000 | #Constraints: 43230 2259.03/2266.57 c #Conflicts: 1536000 | #Constraints: 44230 2259.03/2266.57 c #Conflicts: 1537000 | #Constraints: 45230 2259.03/2266.57 c #Conflicts: 1538000 | #Constraints: 46230 2259.03/2266.57 c #Conflicts: 1539000 | #Constraints: 47230 2259.03/2266.57 c #Conflicts: 1540000 | #Constraints: 48230 2259.03/2266.57 c #Conflicts: 1541000 | #Constraints: 49230 2259.03/2266.57 c INPROCESSING 2259.03/2266.57 c GARBAGE COLLECT 2259.03/2266.57 c rational objective 0 2318.61/2326.33 c #Conflicts: 1542000 | #Constraints: 25624 2318.61/2326.33 c #Conflicts: 1543000 | #Constraints: 26624 2318.61/2326.33 c #Conflicts: 1544000 | #Constraints: 27624 2318.61/2326.33 c #Conflicts: 1545000 | #Constraints: 28624 2318.61/2326.33 c #Conflicts: 1546000 | #Constraints: 29624 2318.61/2326.33 c #Conflicts: 1547000 | #Constraints: 30624 2318.61/2326.33 c #Conflicts: 1548000 | #Constraints: 31624 2318.61/2326.33 c #Conflicts: 1549000 | #Constraints: 32624 2318.61/2326.33 c #Conflicts: 1550000 | #Constraints: 33624 2318.61/2326.33 c #Conflicts: 1551000 | #Constraints: 34624 2318.61/2326.33 c #Conflicts: 1552000 | #Constraints: 35624 2318.61/2326.33 c #Conflicts: 1553000 | #Constraints: 36624 2318.61/2326.33 c #Conflicts: 1554000 | #Constraints: 37624 2318.61/2326.33 c #Conflicts: 1555000 | #Constraints: 38624 2318.61/2326.33 c #Conflicts: 1556000 | #Constraints: 39624 2318.61/2326.33 c #Conflicts: 1557000 | #Constraints: 40624 2318.61/2326.33 c #Conflicts: 1558000 | #Constraints: 41624 2318.61/2326.33 c #Conflicts: 1559000 | #Constraints: 42624 2318.61/2326.33 c #Conflicts: 1560000 | #Constraints: 43624 2318.61/2326.33 c #Conflicts: 1561000 | #Constraints: 44624 2318.61/2326.33 c #Conflicts: 1562000 | #Constraints: 45624 2318.61/2326.33 c #Conflicts: 1563000 | #Constraints: 46624 2318.61/2326.33 c #Conflicts: 1564000 | #Constraints: 47624 2318.61/2326.33 c #Conflicts: 1565000 | #Constraints: 48624 2318.61/2326.33 c #Conflicts: 1566000 | #Constraints: 49624 2318.61/2326.33 c INPROCESSING 2318.61/2326.33 c GARBAGE COLLECT 2318.61/2326.33 c rational objective 0 2377.51/2385.49 c #Conflicts: 1567000 | #Constraints: 25824 2377.51/2385.49 c #Conflicts: 1568000 | #Constraints: 26824 2377.51/2385.49 c #Conflicts: 1569000 | #Constraints: 27824 2377.51/2385.49 c #Conflicts: 1570000 | #Constraints: 28824 2377.51/2385.49 c #Conflicts: 1571000 | #Constraints: 29824 2377.51/2385.49 c #Conflicts: 1572000 | #Constraints: 30824 2377.51/2385.49 c #Conflicts: 1573000 | #Constraints: 31824 2377.51/2385.49 c #Conflicts: 1574000 | #Constraints: 32824 2377.51/2385.49 c #Conflicts: 1575000 | #Constraints: 33824 2377.51/2385.49 c #Conflicts: 1576000 | #Constraints: 34824 2377.51/2385.49 c #Conflicts: 1577000 | #Constraints: 35824 2377.51/2385.49 c #Conflicts: 1578000 | #Constraints: 36824 2377.51/2385.49 c #Conflicts: 1579000 | #Constraints: 37824 2377.51/2385.49 c #Conflicts: 1580000 | #Constraints: 38824 2377.51/2385.49 c #Conflicts: 1581000 | #Constraints: 39824 2377.51/2385.49 c #Conflicts: 1582000 | #Constraints: 40824 2377.51/2385.49 c #Conflicts: 1583000 | #Constraints: 41824 2377.51/2385.49 c #Conflicts: 1584000 | #Constraints: 42825 2377.51/2385.49 c #Conflicts: 1585000 | #Constraints: 43825 2377.51/2385.49 c #Conflicts: 1586000 | #Constraints: 44825 2377.51/2385.49 c #Conflicts: 1587000 | #Constraints: 45825 2377.51/2385.49 c #Conflicts: 1588000 | #Constraints: 46825 2377.51/2385.49 c #Conflicts: 1589000 | #Constraints: 47825 2377.51/2385.49 c #Conflicts: 1590000 | #Constraints: 48825 2377.51/2385.49 c #Conflicts: 1591000 | #Constraints: 49825 2377.51/2385.49 c INPROCESSING 2377.51/2385.49 c GARBAGE COLLECT 2377.51/2385.49 c rational objective 0 2433.63/2441.71 c #Conflicts: 1592000 | #Constraints: 25828 2433.63/2441.71 c #Conflicts: 1593000 | #Constraints: 26828 2433.63/2441.71 c #Conflicts: 1594000 | #Constraints: 27828 2433.63/2441.71 c #Conflicts: 1595000 | #Constraints: 28828 2433.63/2441.71 c #Conflicts: 1596000 | #Constraints: 29828 2433.63/2441.71 c #Conflicts: 1597000 | #Constraints: 30828 2433.63/2441.71 c #Conflicts: 1598000 | #Constraints: 31828 2433.63/2441.71 c #Conflicts: 1599000 | #Constraints: 32828 2433.63/2441.71 c #Conflicts: 1600000 | #Constraints: 33828 2433.63/2441.71 c #Conflicts: 1601000 | #Constraints: 34828 2433.63/2441.71 c #Conflicts: 1602000 | #Constraints: 35828 2433.63/2441.71 c #Conflicts: 1603000 | #Constraints: 36828 2433.63/2441.71 c #Conflicts: 1604000 | #Constraints: 37828 2433.63/2441.71 c #Conflicts: 1605000 | #Constraints: 38828 2433.63/2441.71 c #Conflicts: 1606000 | #Constraints: 39828 2433.63/2441.71 c #Conflicts: 1607000 | #Constraints: 40828 2433.63/2441.71 c #Conflicts: 1608000 | #Constraints: 41828 2433.63/2441.71 c #Conflicts: 1609000 | #Constraints: 42828 2433.63/2441.71 c #Conflicts: 1610000 | #Constraints: 43828 2433.63/2441.71 c #Conflicts: 1611000 | #Constraints: 44828 2433.63/2441.71 c #Conflicts: 1612000 | #Constraints: 45828 2433.63/2441.71 c #Conflicts: 1613000 | #Constraints: 46828 2433.63/2441.71 c #Conflicts: 1614000 | #Constraints: 47828 2433.63/2441.71 c #Conflicts: 1615000 | #Constraints: 48828 2433.63/2441.71 c #Conflicts: 1616000 | #Constraints: 49828 2433.63/2441.71 c INPROCESSING 2433.63/2441.71 c GARBAGE COLLECT 2433.63/2441.71 c rational objective 0 2493.32/2501.69 c #Conflicts: 1617000 | #Constraints: 25629 2493.32/2501.69 c #Conflicts: 1618000 | #Constraints: 26629 2493.32/2501.69 c #Conflicts: 1619000 | #Constraints: 27629 2493.32/2501.69 c #Conflicts: 1620000 | #Constraints: 28629 2493.32/2501.69 c #Conflicts: 1621000 | #Constraints: 29629 2493.32/2501.69 c #Conflicts: 1622000 | #Constraints: 30629 2493.32/2501.69 c #Conflicts: 1623000 | #Constraints: 31629 2493.32/2501.69 c #Conflicts: 1624000 | #Constraints: 32629 2493.32/2501.69 c #Conflicts: 1625000 | #Constraints: 33629 2493.32/2501.69 c #Conflicts: 1626000 | #Constraints: 34629 2493.32/2501.69 c #Conflicts: 1627000 | #Constraints: 35629 2493.32/2501.69 c #Conflicts: 1628000 | #Constraints: 36629 2493.32/2501.69 c #Conflicts: 1629000 | #Constraints: 37629 2493.32/2501.69 c #Conflicts: 1630000 | #Constraints: 38629 2493.32/2501.69 c #Conflicts: 1631000 | #Constraints: 39629 2493.32/2501.69 c #Conflicts: 1632000 | #Constraints: 40629 2493.32/2501.69 c #Conflicts: 1633000 | #Constraints: 41629 2493.32/2501.69 c #Conflicts: 1634000 | #Constraints: 42629 2493.32/2501.69 c #Conflicts: 1635000 | #Constraints: 43629 2493.32/2501.69 c #Conflicts: 1636000 | #Constraints: 44629 2493.32/2501.69 c #Conflicts: 1637000 | #Constraints: 45629 2493.32/2501.69 c #Conflicts: 1638000 | #Constraints: 46629 2493.32/2501.69 c #Conflicts: 1639000 | #Constraints: 47629 2493.32/2501.69 c #Conflicts: 1640000 | #Constraints: 48629 2493.32/2501.69 c #Conflicts: 1641000 | #Constraints: 49629 2493.32/2501.69 c #Conflicts: 1642000 | #Constraints: 50629 2493.32/2501.69 c INPROCESSING 2493.32/2501.69 c GARBAGE COLLECT 2493.32/2501.69 c rational objective 0 2551.03/2559.51 c #Conflicts: 1643000 | #Constraints: 26227 2551.03/2559.51 c #Conflicts: 1644000 | #Constraints: 27227 2551.03/2559.51 c #Conflicts: 1645000 | #Constraints: 28227 2551.03/2559.51 c #Conflicts: 1646000 | #Constraints: 29227 2551.03/2559.51 c #Conflicts: 1647000 | #Constraints: 30227 2551.03/2559.51 c #Conflicts: 1648000 | #Constraints: 31227 2551.03/2559.51 c #Conflicts: 1649000 | #Constraints: 32227 2551.03/2559.51 c #Conflicts: 1650000 | #Constraints: 33227 2551.03/2559.51 c #Conflicts: 1651000 | #Constraints: 34227 2551.03/2559.51 c #Conflicts: 1652000 | #Constraints: 35227 2551.03/2559.51 c #Conflicts: 1653000 | #Constraints: 36227 2551.03/2559.51 c #Conflicts: 1654000 | #Constraints: 37227 2551.03/2559.51 c #Conflicts: 1655000 | #Constraints: 38227 2551.03/2559.51 c #Conflicts: 1656000 | #Constraints: 39227 2551.03/2559.51 c #Conflicts: 1657000 | #Constraints: 40227 2551.03/2559.51 c #Conflicts: 1658000 | #Constraints: 41227 2551.03/2559.51 c #Conflicts: 1659000 | #Constraints: 42227 2551.03/2559.51 c #Conflicts: 1660000 | #Constraints: 43227 2551.03/2559.51 c #Conflicts: 1661000 | #Constraints: 44227 2551.03/2559.51 c #Conflicts: 1662000 | #Constraints: 45227 2551.03/2559.51 c #Conflicts: 1663000 | #Constraints: 46227 2551.03/2559.51 c #Conflicts: 1664000 | #Constraints: 47227 2551.03/2559.51 c #Conflicts: 1665000 | #Constraints: 48228 2551.03/2559.51 c #Conflicts: 1666000 | #Constraints: 49228 2551.03/2559.51 c #Conflicts: 1667000 | #Constraints: 50228 2551.03/2559.51 c #Conflicts: 1668000 | #Constraints: 51228 2551.03/2559.51 c INPROCESSING 2551.03/2559.51 c GARBAGE COLLECT 2551.03/2559.51 c rational objective 0 2609.04/2617.71 c #Conflicts: 1669000 | #Constraints: 26628 2609.04/2617.71 c #Conflicts: 1670000 | #Constraints: 27628 2609.04/2617.71 c #Conflicts: 1671000 | #Constraints: 28628 2609.04/2617.71 c #Conflicts: 1672000 | #Constraints: 29628 2609.04/2617.71 c #Conflicts: 1673000 | #Constraints: 30628 2609.04/2617.71 c #Conflicts: 1674000 | #Constraints: 31628 2609.04/2617.71 c #Conflicts: 1675000 | #Constraints: 32628 2609.04/2617.71 c #Conflicts: 1676000 | #Constraints: 33628 2609.04/2617.71 c #Conflicts: 1677000 | #Constraints: 34628 2609.04/2617.71 c #Conflicts: 1678000 | #Constraints: 35628 2609.04/2617.71 c #Conflicts: 1679000 | #Constraints: 36628 2609.04/2617.71 c #Conflicts: 1680000 | #Constraints: 37628 2609.04/2617.71 c #Conflicts: 1681000 | #Constraints: 38628 2609.04/2617.71 c #Conflicts: 1682000 | #Constraints: 39628 2609.04/2617.71 c #Conflicts: 1683000 | #Constraints: 40628 2609.04/2617.71 c #Conflicts: 1684000 | #Constraints: 41628 2609.04/2617.71 c #Conflicts: 1685000 | #Constraints: 42628 2609.04/2617.71 c #Conflicts: 1686000 | #Constraints: 43628 2609.04/2617.71 c #Conflicts: 1687000 | #Constraints: 44628 2609.04/2617.71 c #Conflicts: 1688000 | #Constraints: 45628 2609.04/2617.71 c #Conflicts: 1689000 | #Constraints: 46628 2609.04/2617.71 c #Conflicts: 1690000 | #Constraints: 47628 2609.04/2617.71 c #Conflicts: 1691000 | #Constraints: 48628 2609.04/2617.71 c #Conflicts: 1692000 | #Constraints: 49628 2609.04/2617.71 c #Conflicts: 1693000 | #Constraints: 50628 2609.04/2617.71 c #Conflicts: 1694000 | #Constraints: 51628 2609.04/2617.71 c INPROCESSING 2609.04/2617.71 c GARBAGE COLLECT 2609.04/2617.71 c rational objective 0 2670.63/2679.56 c #Conflicts: 1695000 | #Constraints: 26827 2670.63/2679.56 c #Conflicts: 1696000 | #Constraints: 27827 2670.63/2679.56 c #Conflicts: 1697000 | #Constraints: 28827 2670.63/2679.56 c #Conflicts: 1698000 | #Constraints: 29827 2670.63/2679.56 c #Conflicts: 1699000 | #Constraints: 30827 2670.63/2679.56 c #Conflicts: 1700000 | #Constraints: 31827 2670.63/2679.56 c #Conflicts: 1701000 | #Constraints: 32827 2670.63/2679.56 c #Conflicts: 1702000 | #Constraints: 33827 2670.63/2679.56 c #Conflicts: 1703000 | #Constraints: 34827 2670.63/2679.56 c #Conflicts: 1704000 | #Constraints: 35827 2670.63/2679.56 c #Conflicts: 1705000 | #Constraints: 36827 2670.63/2679.56 c #Conflicts: 1706000 | #Constraints: 37827 2670.63/2679.56 c #Conflicts: 1707000 | #Constraints: 38827 2670.63/2679.56 c #Conflicts: 1708000 | #Constraints: 39827 2670.63/2679.56 c #Conflicts: 1709000 | #Constraints: 40827 2670.63/2679.56 c #Conflicts: 1710000 | #Constraints: 41827 2670.63/2679.56 c #Conflicts: 1711000 | #Constraints: 42827 2670.63/2679.56 c #Conflicts: 1712000 | #Constraints: 43827 2670.63/2679.56 c #Conflicts: 1713000 | #Constraints: 44827 2670.63/2679.56 c #Conflicts: 1714000 | #Constraints: 45827 2670.63/2679.56 c #Conflicts: 1715000 | #Constraints: 46827 2670.63/2679.56 c #Conflicts: 1716000 | #Constraints: 47827 2670.63/2679.56 c #Conflicts: 1717000 | #Constraints: 48827 2670.63/2679.56 c #Conflicts: 1718000 | #Constraints: 49827 2670.63/2679.56 c #Conflicts: 1719000 | #Constraints: 50827 2670.63/2679.56 c #Conflicts: 1720000 | #Constraints: 51827 2670.63/2679.56 c INPROCESSING 2670.63/2679.56 c GARBAGE COLLECT 2670.63/2679.56 c rational objective 0 2732.72/2741.81 c #Conflicts: 1721000 | #Constraints: 26826 2732.72/2741.81 c #Conflicts: 1722000 | #Constraints: 27826 2732.72/2741.81 c #Conflicts: 1723000 | #Constraints: 28826 2732.72/2741.81 c #Conflicts: 1724000 | #Constraints: 29826 2732.72/2741.81 c #Conflicts: 1725000 | #Constraints: 30827 2732.72/2741.81 c #Conflicts: 1726000 | #Constraints: 31827 2732.72/2741.81 c #Conflicts: 1727000 | #Constraints: 32827 2732.72/2741.81 c #Conflicts: 1728000 | #Constraints: 33827 2732.72/2741.81 c #Conflicts: 1729000 | #Constraints: 34827 2732.72/2741.81 c #Conflicts: 1730000 | #Constraints: 35827 2732.72/2741.81 c #Conflicts: 1731000 | #Constraints: 36827 2732.72/2741.81 c #Conflicts: 1732000 | #Constraints: 37827 2732.72/2741.81 c #Conflicts: 1733000 | #Constraints: 38827 2732.72/2741.81 c #Conflicts: 1734000 | #Constraints: 39828 2732.72/2741.81 c #Conflicts: 1735000 | #Constraints: 40828 2732.72/2741.81 c #Conflicts: 1736000 | #Constraints: 41828 2732.72/2741.81 c #Conflicts: 1737000 | #Constraints: 42828 2732.72/2741.81 c #Conflicts: 1738000 | #Constraints: 43828 2732.72/2741.81 c #Conflicts: 1739000 | #Constraints: 44828 2732.72/2741.81 c #Conflicts: 1740000 | #Constraints: 45828 2732.72/2741.81 c #Conflicts: 1741000 | #Constraints: 46828 2732.72/2741.81 c #Conflicts: 1742000 | #Constraints: 47828 2732.72/2741.81 c #Conflicts: 1743000 | #Constraints: 48828 2732.72/2741.81 c #Conflicts: 1744000 | #Constraints: 49828 2732.72/2741.81 c #Conflicts: 1745000 | #Constraints: 50828 2732.72/2741.81 c #Conflicts: 1746000 | #Constraints: 51828 2732.72/2741.81 c INPROCESSING 2732.72/2741.81 c GARBAGE COLLECT 2732.72/2741.81 c rational objective 0 2793.05/2802.38 c #Conflicts: 1747000 | #Constraints: 26629 2793.05/2802.38 c #Conflicts: 1748000 | #Constraints: 27629 2793.05/2802.38 c #Conflicts: 1749000 | #Constraints: 28629 2793.05/2802.38 c #Conflicts: 1750000 | #Constraints: 29629 2793.05/2802.38 c #Conflicts: 1751000 | #Constraints: 30629 2793.05/2802.38 c #Conflicts: 1752000 | #Constraints: 31629 2793.05/2802.38 c #Conflicts: 1753000 | #Constraints: 32629 2793.05/2802.38 c #Conflicts: 1754000 | #Constraints: 33629 2793.05/2802.38 c #Conflicts: 1755000 | #Constraints: 34629 2793.05/2802.38 c #Conflicts: 1756000 | #Constraints: 35629 2793.05/2802.38 c #Conflicts: 1757000 | #Constraints: 36629 2793.05/2802.38 c #Conflicts: 1758000 | #Constraints: 37629 2793.05/2802.38 c #Conflicts: 1759000 | #Constraints: 38629 2793.05/2802.38 c #Conflicts: 1760000 | #Constraints: 39629 2793.05/2802.38 c #Conflicts: 1761000 | #Constraints: 40629 2793.05/2802.38 c #Conflicts: 1762000 | #Constraints: 41629 2793.05/2802.38 c #Conflicts: 1763000 | #Constraints: 42629 2793.05/2802.38 c #Conflicts: 1764000 | #Constraints: 43629 2793.05/2802.38 c #Conflicts: 1765000 | #Constraints: 44629 2793.05/2802.38 c #Conflicts: 1766000 | #Constraints: 45629 2793.05/2802.38 c #Conflicts: 1767000 | #Constraints: 46629 2793.05/2802.38 c #Conflicts: 1768000 | #Constraints: 47629 2793.05/2802.38 c #Conflicts: 1769000 | #Constraints: 48629 2793.05/2802.38 c #Conflicts: 1770000 | #Constraints: 49629 2793.05/2802.38 c #Conflicts: 1771000 | #Constraints: 50629 2793.05/2802.38 c #Conflicts: 1772000 | #Constraints: 51629 2793.05/2802.38 c #Conflicts: 1773000 | #Constraints: 52629 2793.05/2802.38 c INPROCESSING 2793.05/2802.38 c GARBAGE COLLECT 2793.05/2802.38 c rational objective 0 2853.61/2863.02 c #Conflicts: 1774000 | #Constraints: 27226 2853.61/2863.02 c #Conflicts: 1775000 | #Constraints: 28226 2853.61/2863.02 c #Conflicts: 1776000 | #Constraints: 29226 2853.61/2863.02 c #Conflicts: 1777000 | #Constraints: 30226 2853.61/2863.02 c #Conflicts: 1778000 | #Constraints: 31226 2853.61/2863.02 c #Conflicts: 1779000 | #Constraints: 32226 2853.61/2863.02 c #Conflicts: 1780000 | #Constraints: 33226 2853.61/2863.02 c #Conflicts: 1781000 | #Constraints: 34226 2853.61/2863.02 c #Conflicts: 1782000 | #Constraints: 35226 2853.61/2863.02 c #Conflicts: 1783000 | #Constraints: 36226 2853.61/2863.02 c #Conflicts: 1784000 | #Constraints: 37226 2853.61/2863.02 c #Conflicts: 1785000 | #Constraints: 38226 2853.61/2863.02 c #Conflicts: 1786000 | #Constraints: 39226 2853.61/2863.02 c #Conflicts: 1787000 | #Constraints: 40226 2853.61/2863.02 c #Conflicts: 1788000 | #Constraints: 41226 2853.61/2863.02 c #Conflicts: 1789000 | #Constraints: 42226 2853.61/2863.02 c #Conflicts: 1790000 | #Constraints: 43226 2853.61/2863.02 c #Conflicts: 1791000 | #Constraints: 44226 2853.61/2863.02 c #Conflicts: 1792000 | #Constraints: 45226 2853.61/2863.02 c #Conflicts: 1793000 | #Constraints: 46226 2853.61/2863.02 c #Conflicts: 1794000 | #Constraints: 47226 2853.61/2863.02 c #Conflicts: 1795000 | #Constraints: 48226 2853.61/2863.02 c #Conflicts: 1796000 | #Constraints: 49226 2853.61/2863.02 c #Conflicts: 1797000 | #Constraints: 50226 2853.61/2863.02 c #Conflicts: 1798000 | #Constraints: 51226 2853.61/2863.02 c #Conflicts: 1799000 | #Constraints: 52226 2853.61/2863.02 c #Conflicts: 1800000 | #Constraints: 53226 2853.61/2863.02 c INPROCESSING 2853.61/2863.02 c GARBAGE COLLECT 2853.61/2863.02 c rational objective 0 2915.35/2924.96 c #Conflicts: 1801000 | #Constraints: 27624 2915.35/2924.96 c #Conflicts: 1802000 | #Constraints: 28624 2915.35/2924.96 c #Conflicts: 1803000 | #Constraints: 29624 2915.35/2924.96 c #Conflicts: 1804000 | #Constraints: 30624 2915.35/2924.96 c #Conflicts: 1805000 | #Constraints: 31624 2915.35/2924.96 c #Conflicts: 1806000 | #Constraints: 32624 2915.35/2924.96 c #Conflicts: 1807000 | #Constraints: 33624 2915.35/2924.96 c #Conflicts: 1808000 | #Constraints: 34624 2915.35/2924.96 c #Conflicts: 1809000 | #Constraints: 35624 2915.35/2924.96 c #Conflicts: 1810000 | #Constraints: 36624 2915.35/2924.96 c #Conflicts: 1811000 | #Constraints: 37624 2915.35/2924.96 c #Conflicts: 1812000 | #Constraints: 38624 2915.35/2924.96 c #Conflicts: 1813000 | #Constraints: 39624 2915.35/2924.96 c #Conflicts: 1814000 | #Constraints: 40624 2915.35/2924.96 c #Conflicts: 1815000 | #Constraints: 41624 2915.35/2924.96 c #Conflicts: 1816000 | #Constraints: 42624 2915.35/2924.96 c #Conflicts: 1817000 | #Constraints: 43624 2915.35/2924.96 c #Conflicts: 1818000 | #Constraints: 44624 2915.35/2924.96 c #Conflicts: 1819000 | #Constraints: 45624 2915.35/2924.96 c #Conflicts: 1820000 | #Constraints: 46624 2915.35/2924.96 c #Conflicts: 1821000 | #Constraints: 47624 2915.35/2924.96 c #Conflicts: 1822000 | #Constraints: 48624 2915.35/2924.96 c #Conflicts: 1823000 | #Constraints: 49624 2915.35/2924.96 c #Conflicts: 1824000 | #Constraints: 50624 2915.35/2924.96 c #Conflicts: 1825000 | #Constraints: 51624 2915.35/2924.96 c #Conflicts: 1826000 | #Constraints: 52624 2915.35/2924.96 c #Conflicts: 1827000 | #Constraints: 53624 2915.35/2924.96 c INPROCESSING 2915.35/2924.96 c GARBAGE COLLECT 2915.35/2924.96 c rational objective 0 2981.09/2990.83 c #Conflicts: 1828000 | #Constraints: 27828 2981.09/2990.83 c #Conflicts: 1829000 | #Constraints: 28828 2981.09/2990.83 c #Conflicts: 1830000 | #Constraints: 29828 2981.09/2990.83 c #Conflicts: 1831000 | #Constraints: 30828 2981.09/2990.83 c #Conflicts: 1832000 | #Constraints: 31828 2981.09/2990.83 c #Conflicts: 1833000 | #Constraints: 32828 2981.09/2990.83 c #Conflicts: 1834000 | #Constraints: 33828 2981.09/2990.83 c #Conflicts: 1835000 | #Constraints: 34828 2981.09/2990.83 c #Conflicts: 1836000 | #Constraints: 35828 2981.09/2990.83 c #Conflicts: 1837000 | #Constraints: 36828 2981.09/2990.83 c #Conflicts: 1838000 | #Constraints: 37828 2981.09/2990.83 c #Conflicts: 1839000 | #Constraints: 38828 2981.09/2990.83 c #Conflicts: 1840000 | #Constraints: 39828 2981.09/2990.83 c #Conflicts: 1841000 | #Constraints: 40828 2981.09/2990.83 c #Conflicts: 1842000 | #Constraints: 41828 2981.09/2990.83 c #Conflicts: 1843000 | #Constraints: 42828 2981.09/2990.83 c #Conflicts: 1844000 | #Constraints: 43828 2981.09/2990.83 c #Conflicts: 1845000 | #Constraints: 44829 2981.09/2990.83 c #Conflicts: 1846000 | #Constraints: 45829 2981.09/2990.83 c #Conflicts: 1847000 | #Constraints: 46829 2981.09/2990.83 c #Conflicts: 1848000 | #Constraints: 47829 2981.09/2990.83 c #Conflicts: 1849000 | #Constraints: 48829 2981.09/2990.83 c #Conflicts: 1850000 | #Constraints: 49829 2981.09/2990.83 c #Conflicts: 1851000 | #Constraints: 50829 2981.09/2990.83 c #Conflicts: 1852000 | #Constraints: 51829 2981.09/2990.83 c #Conflicts: 1853000 | #Constraints: 52829 2981.09/2990.83 c #Conflicts: 1854000 | #Constraints: 53829 2981.09/2990.83 c INPROCESSING 2981.09/2990.83 c GARBAGE COLLECT 2981.09/2990.83 c rational objective 0 3046.93/3056.89 c #Conflicts: 1855000 | #Constraints: 27829 3046.93/3056.89 c #Conflicts: 1856000 | #Constraints: 28829 3046.93/3056.89 c #Conflicts: 1857000 | #Constraints: 29829 3046.93/3056.89 c #Conflicts: 1858000 | #Constraints: 30829 3046.93/3056.89 c #Conflicts: 1859000 | #Constraints: 31829 3046.93/3056.89 c #Conflicts: 1860000 | #Constraints: 32829 3046.93/3056.89 c #Conflicts: 1861000 | #Constraints: 33829 3046.93/3056.89 c #Conflicts: 1862000 | #Constraints: 34829 3046.93/3056.89 c #Conflicts: 1863000 | #Constraints: 35829 3046.93/3056.89 c #Conflicts: 1864000 | #Constraints: 36829 3046.93/3056.89 c #Conflicts: 1865000 | #Constraints: 37829 3046.93/3056.89 c #Conflicts: 1866000 | #Constraints: 38829 3046.93/3056.89 c #Conflicts: 1867000 | #Constraints: 39829 3046.93/3056.89 c #Conflicts: 1868000 | #Constraints: 40829 3046.93/3056.89 c #Conflicts: 1869000 | #Constraints: 41829 3046.93/3056.89 c #Conflicts: 1870000 | #Constraints: 42829 3046.93/3056.89 c #Conflicts: 1871000 | #Constraints: 43829 3046.93/3056.89 c #Conflicts: 1872000 | #Constraints: 44829 3046.93/3056.89 c #Conflicts: 1873000 | #Constraints: 45829 3046.93/3056.89 c #Conflicts: 1874000 | #Constraints: 46829 3046.93/3056.89 c #Conflicts: 1875000 | #Constraints: 47829 3046.93/3056.89 c #Conflicts: 1876000 | #Constraints: 48829 3046.93/3056.89 c #Conflicts: 1877000 | #Constraints: 49829 3046.93/3056.89 c #Conflicts: 1878000 | #Constraints: 50829 3046.93/3056.89 c #Conflicts: 1879000 | #Constraints: 51829 3046.93/3056.89 c #Conflicts: 1880000 | #Constraints: 52830 3046.93/3056.89 c #Conflicts: 1881000 | #Constraints: 53830 3046.93/3056.89 c INPROCESSING 3046.93/3056.89 c GARBAGE COLLECT 3046.93/3056.89 c rational objective 0 3112.56/3122.68 c #Conflicts: 1882000 | #Constraints: 27628 3112.56/3122.68 c #Conflicts: 1883000 | #Constraints: 28628 3112.56/3122.68 c #Conflicts: 1884000 | #Constraints: 29628 3112.56/3122.68 c #Conflicts: 1885000 | #Constraints: 30628 3112.56/3122.68 c #Conflicts: 1886000 | #Constraints: 31628 3112.56/3122.68 c #Conflicts: 1887000 | #Constraints: 32628 3112.56/3122.68 c #Conflicts: 1888000 | #Constraints: 33628 3112.56/3122.68 c #Conflicts: 1889000 | #Constraints: 34628 3112.56/3122.68 c #Conflicts: 1890000 | #Constraints: 35628 3112.56/3122.68 c #Conflicts: 1891000 | #Constraints: 36628 3112.56/3122.68 c #Conflicts: 1892000 | #Constraints: 37628 3112.56/3122.68 c #Conflicts: 1893000 | #Constraints: 38628 3112.56/3122.68 c #Conflicts: 1894000 | #Constraints: 39628 3112.56/3122.68 c #Conflicts: 1895000 | #Constraints: 40628 3112.56/3122.68 c #Conflicts: 1896000 | #Constraints: 41628 3112.56/3122.68 c #Conflicts: 1897000 | #Constraints: 42628 3112.56/3122.68 c #Conflicts: 1898000 | #Constraints: 43628 3112.56/3122.68 c #Conflicts: 1899000 | #Constraints: 44628 3112.56/3122.68 c #Conflicts: 1900000 | #Constraints: 45628 3112.56/3122.68 c #Conflicts: 1901000 | #Constraints: 46628 3112.56/3122.68 c #Conflicts: 1902000 | #Constraints: 47628 3112.56/3122.68 c #Conflicts: 1903000 | #Constraints: 48628 3112.56/3122.68 c #Conflicts: 1904000 | #Constraints: 49628 3112.56/3122.68 c #Conflicts: 1905000 | #Constraints: 50628 3112.56/3122.68 c #Conflicts: 1906000 | #Constraints: 51628 3112.56/3122.68 c #Conflicts: 1907000 | #Constraints: 52628 3112.56/3122.68 c #Conflicts: 1908000 | #Constraints: 53628 3112.56/3122.68 c #Conflicts: 1909000 | #Constraints: 54628 3112.56/3122.68 c INPROCESSING 3112.56/3122.68 c GARBAGE COLLECT 3112.56/3122.68 c rational objective 0 3180.39/3190.61 c #Conflicts: 1910000 | #Constraints: 28226 3180.39/3190.61 c #Conflicts: 1911000 | #Constraints: 29226 3180.39/3190.61 c #Conflicts: 1912000 | #Constraints: 30226 3180.39/3190.61 c #Conflicts: 1913000 | #Constraints: 31226 3180.39/3190.61 c #Conflicts: 1914000 | #Constraints: 32226 3180.39/3190.61 c #Conflicts: 1915000 | #Constraints: 33226 3180.39/3190.61 c #Conflicts: 1916000 | #Constraints: 34226 3180.39/3190.61 c #Conflicts: 1917000 | #Constraints: 35226 3180.39/3190.61 c #Conflicts: 1918000 | #Constraints: 36226 3180.39/3190.61 c #Conflicts: 1919000 | #Constraints: 37227 3180.39/3190.61 c #Conflicts: 1920000 | #Constraints: 38227 3180.39/3190.61 c #Conflicts: 1921000 | #Constraints: 39227 3180.39/3190.61 c #Conflicts: 1922000 | #Constraints: 40227 3180.39/3190.61 c #Conflicts: 1923000 | #Constraints: 41227 3180.39/3190.61 c #Conflicts: 1924000 | #Constraints: 42227 3180.39/3190.61 c #Conflicts: 1925000 | #Constraints: 43227 3180.39/3190.61 c #Conflicts: 1926000 | #Constraints: 44227 3180.39/3190.61 c #Conflicts: 1927000 | #Constraints: 45227 3180.39/3190.61 c #Conflicts: 1928000 | #Constraints: 46227 3180.39/3190.61 c #Conflicts: 1929000 | #Constraints: 47227 3180.39/3190.61 c #Conflicts: 1930000 | #Constraints: 48227 3180.39/3190.61 c #Conflicts: 1931000 | #Constraints: 49227 3180.39/3190.61 c #Conflicts: 1932000 | #Constraints: 50227 3180.39/3190.61 c #Conflicts: 1933000 | #Constraints: 51227 3180.39/3190.61 c #Conflicts: 1934000 | #Constraints: 52227 3180.39/3190.61 c #Conflicts: 1935000 | #Constraints: 53227 3180.39/3190.61 c #Conflicts: 1936000 | #Constraints: 54227 3180.39/3190.61 c #Conflicts: 1937000 | #Constraints: 55227 3180.39/3190.61 c INPROCESSING 3180.39/3190.61 c GARBAGE COLLECT 3180.39/3190.61 c rational objective 0 3248.32/3258.80 c #Conflicts: 1938000 | #Constraints: 28626 3248.32/3258.80 c #Conflicts: 1939000 | #Constraints: 29626 3248.32/3258.80 c #Conflicts: 1940000 | #Constraints: 30626 3248.32/3258.80 c #Conflicts: 1941000 | #Constraints: 31626 3248.32/3258.80 c #Conflicts: 1942000 | #Constraints: 32626 3248.32/3258.80 c #Conflicts: 1943000 | #Constraints: 33626 3248.32/3258.80 c #Conflicts: 1944000 | #Constraints: 34626 3248.32/3258.80 c #Conflicts: 1945000 | #Constraints: 35626 3248.32/3258.80 c #Conflicts: 1946000 | #Constraints: 36626 3248.32/3258.80 c #Conflicts: 1947000 | #Constraints: 37626 3248.32/3258.80 c #Conflicts: 1948000 | #Constraints: 38626 3248.32/3258.80 c #Conflicts: 1949000 | #Constraints: 39626 3248.32/3258.80 c #Conflicts: 1950000 | #Constraints: 40626 3248.32/3258.80 c #Conflicts: 1951000 | #Constraints: 41626 3248.32/3258.80 c #Conflicts: 1952000 | #Constraints: 42626 3248.32/3258.80 c #Conflicts: 1953000 | #Constraints: 43626 3248.32/3258.80 c #Conflicts: 1954000 | #Constraints: 44626 3248.32/3258.80 c #Conflicts: 1955000 | #Constraints: 45626 3248.32/3258.80 c #Conflicts: 1956000 | #Constraints: 46626 3248.32/3258.80 c #Conflicts: 1957000 | #Constraints: 47626 3248.32/3258.80 c #Conflicts: 1958000 | #Constraints: 48626 3248.32/3258.80 c #Conflicts: 1959000 | #Constraints: 49626 3248.32/3258.80 c #Conflicts: 1960000 | #Constraints: 50626 3248.32/3258.80 c #Conflicts: 1961000 | #Constraints: 51626 3248.32/3258.80 c #Conflicts: 1962000 | #Constraints: 52626 3248.32/3258.80 c #Conflicts: 1963000 | #Constraints: 53626 3248.32/3258.80 c #Conflicts: 1964000 | #Constraints: 54626 3248.32/3258.80 c #Conflicts: 1965000 | #Constraints: 55626 3248.32/3258.80 c INPROCESSING 3248.32/3258.80 c GARBAGE COLLECT 3248.32/3258.80 c rational objective 0 3318.45/3329.05 c #Conflicts: 1966000 | #Constraints: 28828 3318.45/3329.05 c #Conflicts: 1967000 | #Constraints: 29828 3318.45/3329.05 c #Conflicts: 1968000 | #Constraints: 30828 3318.45/3329.05 c #Conflicts: 1969000 | #Constraints: 31828 3318.45/3329.05 c #Conflicts: 1970000 | #Constraints: 32828 3318.45/3329.05 c #Conflicts: 1971000 | #Constraints: 33828 3318.45/3329.05 c #Conflicts: 1972000 | #Constraints: 34828 3318.45/3329.05 c #Conflicts: 1973000 | #Constraints: 35828 3318.45/3329.05 c #Conflicts: 1974000 | #Constraints: 36828 3318.45/3329.05 c #Conflicts: 1975000 | #Constraints: 37828 3318.45/3329.05 c #Conflicts: 1976000 | #Constraints: 38828 3318.45/3329.05 c #Conflicts: 1977000 | #Constraints: 39828 3318.45/3329.05 c #Conflicts: 1978000 | #Constraints: 40828 3318.45/3329.05 c #Conflicts: 1979000 | #Constraints: 41828 3318.45/3329.05 c #Conflicts: 1980000 | #Constraints: 42828 3318.45/3329.05 c #Conflicts: 1981000 | #Constraints: 43828 3318.45/3329.05 c #Conflicts: 1982000 | #Constraints: 44828 3318.45/3329.05 c #Conflicts: 1983000 | #Constraints: 45828 3318.45/3329.05 c #Conflicts: 1984000 | #Constraints: 46828 3318.45/3329.05 c #Conflicts: 1985000 | #Constraints: 47828 3318.45/3329.05 c #Conflicts: 1986000 | #Constraints: 48828 3318.45/3329.05 c #Conflicts: 1987000 | #Constraints: 49828 3318.45/3329.05 c #Conflicts: 1988000 | #Constraints: 50828 3318.45/3329.05 c #Conflicts: 1989000 | #Constraints: 51828 3318.45/3329.05 c #Conflicts: 1990000 | #Constraints: 52828 3318.45/3329.05 c #Conflicts: 1991000 | #Constraints: 53828 3318.45/3329.05 c #Conflicts: 1992000 | #Constraints: 54828 3318.45/3329.05 c #Conflicts: 1993000 | #Constraints: 55828 3318.45/3329.05 c INPROCESSING 3318.45/3329.05 c GARBAGE COLLECT 3318.45/3329.05 c rational objective 0 3389.36/3400.10 c #Conflicts: 1994000 | #Constraints: 28828 3389.36/3400.10 c #Conflicts: 1995000 | #Constraints: 29828 3389.36/3400.10 c #Conflicts: 1996000 | #Constraints: 30828 3389.36/3400.10 c #Conflicts: 1997000 | #Constraints: 31828 3389.36/3400.10 c #Conflicts: 1998000 | #Constraints: 32828 3389.36/3400.10 c #Conflicts: 1999000 | #Constraints: 33828 3389.36/3400.10 c #Conflicts: 2000000 | #Constraints: 34828 3389.36/3400.10 c #Conflicts: 2001000 | #Constraints: 35828 3389.36/3400.10 c #Conflicts: 2002000 | #Constraints: 36828 3389.36/3400.10 c #Conflicts: 2003000 | #Constraints: 37828 3389.36/3400.10 c #Conflicts: 2004000 | #Constraints: 38828 3389.36/3400.10 c #Conflicts: 2005000 | #Constraints: 39828 3389.36/3400.10 c #Conflicts: 2006000 | #Constraints: 40828 3389.36/3400.10 c #Conflicts: 2007000 | #Constraints: 41828 3389.36/3400.10 c #Conflicts: 2008000 | #Constraints: 42828 3389.36/3400.10 c #Conflicts: 2009000 | #Constraints: 43828 3389.36/3400.10 c #Conflicts: 2010000 | #Constraints: 44828 3389.36/3400.10 c #Conflicts: 2011000 | #Constraints: 45828 3389.36/3400.10 c #Conflicts: 2012000 | #Constraints: 46828 3389.36/3400.10 c #Conflicts: 2013000 | #Constraints: 47828 3389.36/3400.10 c #Conflicts: 2014000 | #Constraints: 48828 3389.36/3400.10 c #Conflicts: 2015000 | #Constraints: 49828 3389.36/3400.10 c #Conflicts: 2016000 | #Constraints: 50828 3389.36/3400.10 c #Conflicts: 2017000 | #Constraints: 51828 3389.36/3400.10 c #Conflicts: 2018000 | #Constraints: 52828 3389.36/3400.10 c #Conflicts: 2019000 | #Constraints: 53828 3389.36/3400.10 c #Conflicts: 2020000 | #Constraints: 54828 3389.36/3400.10 c #Conflicts: 2021000 | #Constraints: 55828 3389.36/3400.10 c INPROCESSING 3389.36/3400.10 c GARBAGE COLLECT 3389.36/3400.10 c rational objective 0 3461.37/3472.37 c #Conflicts: 2022000 | #Constraints: 28628 3461.37/3472.37 c #Conflicts: 2023000 | #Constraints: 29628 3461.37/3472.37 c #Conflicts: 2024000 | #Constraints: 30628 3461.37/3472.37 c #Conflicts: 2025000 | #Constraints: 31628 3461.37/3472.37 c #Conflicts: 2026000 | #Constraints: 32628 3461.37/3472.37 c #Conflicts: 2027000 | #Constraints: 33628 3461.37/3472.37 c #Conflicts: 2028000 | #Constraints: 34628 3461.37/3472.37 c #Conflicts: 2029000 | #Constraints: 35628 3461.37/3472.37 c #Conflicts: 2030000 | #Constraints: 36628 3461.37/3472.37 c #Conflicts: 2031000 | #Constraints: 37628 3461.37/3472.37 c #Conflicts: 2032000 | #Constraints: 38628 3461.37/3472.37 c #Conflicts: 2033000 | #Constraints: 39628 3461.37/3472.37 c #Conflicts: 2034000 | #Constraints: 40628 3461.37/3472.37 c #Conflicts: 2035000 | #Constraints: 41628 3461.37/3472.37 c #Conflicts: 2036000 | #Constraints: 42628 3461.37/3472.37 c #Conflicts: 2037000 | #Constraints: 43628 3461.37/3472.37 c #Conflicts: 2038000 | #Constraints: 44628 3461.37/3472.37 c #Conflicts: 2039000 | #Constraints: 45628 3461.37/3472.37 c #Conflicts: 2040000 | #Constraints: 46628 3461.37/3472.37 c #Conflicts: 2041000 | #Constraints: 47628 3461.37/3472.37 c #Conflicts: 2042000 | #Constraints: 48628 3461.37/3472.37 c #Conflicts: 2043000 | #Constraints: 49628 3461.37/3472.37 c #Conflicts: 2044000 | #Constraints: 50628 3461.37/3472.37 c #Conflicts: 2045000 | #Constraints: 51628 3461.37/3472.37 c #Conflicts: 2046000 | #Constraints: 52628 3461.37/3472.37 c #Conflicts: 2047000 | #Constraints: 53628 3461.37/3472.37 c #Conflicts: 2048000 | #Constraints: 54628 3461.37/3472.37 c #Conflicts: 2049000 | #Constraints: 55628 3461.37/3472.37 c #Conflicts: 2050000 | #Constraints: 56628 3461.37/3472.37 c INPROCESSING 3461.37/3472.37 c GARBAGE COLLECT 3461.37/3472.37 c rational objective 0 3539.87/3551.09 c #Conflicts: 2051000 | #Constraints: 29227 3539.87/3551.09 c #Conflicts: 2052000 | #Constraints: 30227 3539.87/3551.09 c #Conflicts: 2053000 | #Constraints: 31227 3539.87/3551.09 c #Conflicts: 2054000 | #Constraints: 32227 3539.87/3551.09 c #Conflicts: 2055000 | #Constraints: 33227 3539.87/3551.09 c #Conflicts: 2056000 | #Constraints: 34227 3539.87/3551.09 c #Conflicts: 2057000 | #Constraints: 35227 3539.87/3551.09 c #Conflicts: 2058000 | #Constraints: 36227 3539.87/3551.09 c #Conflicts: 2059000 | #Constraints: 37227 3539.87/3551.09 c #Conflicts: 2060000 | #Constraints: 38227 3539.87/3551.09 c #Conflicts: 2061000 | #Constraints: 39227 3539.87/3551.09 c #Conflicts: 2062000 | #Constraints: 40227 3539.87/3551.09 c #Conflicts: 2063000 | #Constraints: 41227 3539.87/3551.09 c #Conflicts: 2064000 | #Constraints: 42227 3539.87/3551.09 c #Conflicts: 2065000 | #Constraints: 43227 3539.87/3551.09 c #Conflicts: 2066000 | #Constraints: 44227 3539.87/3551.09 c #Conflicts: 2067000 | #Constraints: 45227 3539.87/3551.09 c #Conflicts: 2068000 | #Constraints: 46227 3539.87/3551.09 c #Conflicts: 2069000 | #Constraints: 47227 3539.87/3551.09 c #Conflicts: 2070000 | #Constraints: 48227 3539.87/3551.09 c #Conflicts: 2071000 | #Constraints: 49227 3539.87/3551.09 c #Conflicts: 2072000 | #Constraints: 50227 3539.87/3551.09 c #Conflicts: 2073000 | #Constraints: 51227 3539.87/3551.09 c #Conflicts: 2074000 | #Constraints: 52227 3539.87/3551.09 c #Conflicts: 2075000 | #Constraints: 53227 3539.87/3551.09 c #Conflicts: 2076000 | #Constraints: 54227 3539.87/3551.09 c #Conflicts: 2077000 | #Constraints: 55227 3539.87/3551.09 c #Conflicts: 2078000 | #Constraints: 56227 3539.87/3551.09 c #Conflicts: 2079000 | #Constraints: 57227 3539.87/3551.09 c INPROCESSING 3539.87/3551.09 c GARBAGE COLLECT 3539.87/3551.09 c rational objective 0 3600.00/3611.30 c #Conflicts: 2080000 | #Constraints: 29628 3600.00/3611.30 c #Conflicts: 2081000 | #Constraints: 30628 3600.00/3611.30 c #Conflicts: 2082000 | #Constraints: 31628 3600.00/3611.30 c #Conflicts: 2083000 | #Constraints: 32628 3600.00/3611.30 c #Conflicts: 2084000 | #Constraints: 33628 3600.00/3611.30 c #Conflicts: 2085000 | #Constraints: 34628 3600.00/3611.30 c #Conflicts: 2086000 | #Constraints: 35629 3600.00/3611.30 c #Conflicts: 2087000 | #Constraints: 36629 3600.00/3611.30 c #Conflicts: 2088000 | #Constraints: 37629 3600.00/3611.30 c #Conflicts: 2089000 | #Constraints: 38629 3600.00/3611.30 c #Conflicts: 2090000 | #Constraints: 39629 3600.00/3611.30 c #Conflicts: 2091000 | #Constraints: 40629 3600.00/3611.30 c #Conflicts: 2092000 | #Constraints: 41629 3600.00/3611.30 c #Conflicts: 2093000 | #Constraints: 42629 3600.00/3611.30 c #Conflicts: 2094000 | #Constraints: 43629 3600.00/3611.30 c #Conflicts: 2095000 | #Constraints: 44629 3600.00/3611.30 c #Conflicts: 2096000 | #Constraints: 45629 3600.00/3611.30 c #Conflicts: 2097000 | #Constraints: 46629 3600.00/3611.30 c #Conflicts: 2098000 | #Constraints: 47629 3600.00/3611.30 c #Conflicts: 2099000 | #Constraints: 48629 3600.00/3611.30 c #Conflicts: 2100000 | #Constraints: 49629 3600.00/3611.30 c #Conflicts: 2101000 | #Constraints: 50629 3600.00/3611.30 c #Conflicts: 2102000 | #Constraints: 51629 3600.00/3611.30 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: 63968 MiB (63214 MiB free)
memory of node 1: 64473 MiB (63931 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462602-1722340767/watcher-4462602-1722340767 -o /tmp/evaluation-result-4462602-1722340767/solver-4462602-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6841 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462602-1722340767 --lp-cut-gomory=0 HOME/instance-4462602-1722340767.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
solver pid=6951, runsolver pid=6948
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 0.40 0.15 0.11 5/261 6952
/proc/meminfo: memFree=130194980/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=37892 memory=8512 CPUtime=0.09 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 469 0 0 0 9 0 0 0 20 0 1 0 675741 38801408 2128 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 9473 2128 1903 992 0 1331 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 8512 KiB
[startup+0.204869 s]*
/proc/loadavg: 0.40 0.15 0.11 5/261 6952
/proc/meminfo: memFree=130191116/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=38020 memory=9020 CPUtime=0.2 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 549 0 0 0 19 1 0 0 20 0 1 0 675741 38932480 2255 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 9505 2255 1903 992 0 1363 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38020 KiB
Current children cumulated memory: 9020 KiB
[startup+0.304981 s]*
/proc/loadavg: 0.40 0.15 0.11 5/261 6952
/proc/meminfo: memFree=130188316/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=38156 memory=9020 CPUtime=0.29 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 564 0 0 0 28 1 0 0 20 0 1 0 675741 39071744 2255 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 9539 2255 1903 992 0 1397 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 9020 KiB
[startup+0.700167 s]
/proc/loadavg: 0.40 0.15 0.11 5/261 6952
/proc/meminfo: memFree=130183056/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=38436 memory=11596 CPUtime=0.68 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 708 0 0 0 65 3 0 0 20 0 1 0 675741 39358464 2899 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 9609 2899 1903 992 0 1467 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 11596 KiB
[startup+1.5002 s]
/proc/loadavg: 0.40 0.15 0.11 5/261 6952
/proc/meminfo: memFree=130169340/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=38724 memory=11856 CPUtime=1.49 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 751 0 0 0 142 7 0 0 20 0 1 0 675741 39653376 2964 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 9681 2964 1903 992 0 1539 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38724 KiB
Current children cumulated memory: 11856 KiB
[startup+3.10553 s]
/proc/loadavg: 0.40 0.15 0.11 5/262 6953
/proc/meminfo: memFree=130053588/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=38964 memory=12244 CPUtime=3.08 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 837 0 0 0 298 10 0 0 20 0 1 0 675741 39899136 3061 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 9741 3061 1903 992 0 1599 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 38964 KiB
Current children cumulated memory: 12244 KiB
[startup+6.30017 s]
/proc/loadavg: 0.68 0.21 0.13 5/262 6953
/proc/meminfo: memFree=129983272/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=39204 memory=12496 CPUtime=6.27 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 905 0 0 0 608 19 0 0 20 0 1 0 675741 40144896 3124 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 9801 3124 1903 992 0 1659 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39204 KiB
Current children cumulated memory: 12496 KiB
[startup+12.7002 s]
/proc/loadavg: 0.95 0.27 0.15 5/262 6954
/proc/meminfo: memFree=129721636/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=39748 memory=12972 CPUtime=12.66 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 1022 0 0 0 1231 35 0 0 20 0 1 0 675741 40701952 3243 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 9937 3243 1903 992 0 1795 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 12972 KiB
[startup+25.5002 s]
/proc/loadavg: 1.70 0.47 0.22 5/262 6956
/proc/meminfo: memFree=129517828/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=40132 memory=13416 CPUtime=25.42 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 1195 0 0 0 2482 60 0 0 20 0 1 0 675741 41095168 3354 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 10033 3354 1903 992 0 1891 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 40132 KiB
Current children cumulated memory: 13416 KiB
[startup+51.1056 s]
/proc/loadavg: 2.49 0.76 0.32 5/263 7055
/proc/meminfo: memFree=129466596/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=40740 memory=14028 CPUtime=50.95 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 1509 0 0 0 4989 106 0 0 20 0 1 0 675741 41717760 3507 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 10185 3507 1903 992 0 2043 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 40740 KiB
Current children cumulated memory: 14028 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.29 0.53 5/265 7080
/proc/meminfo: memFree=128940836/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=42152 memory=15968 CPUtime=102 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 2126 0 0 0 10021 179 0 0 20 0 1 0 675741 43163648 3992 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 10538 3992 1903 992 0 2396 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 42152 KiB
Current children cumulated memory: 15968 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.82 0.76 5/265 7091
/proc/meminfo: memFree=128043084/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=42484 memory=17024 CPUtime=161.82 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 2574 0 0 0 15932 250 0 0 20 0 1 0 675741 43503616 4256 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 10621 4256 1903 992 0 2479 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 42484 KiB
Current children cumulated memory: 17024 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.26 0.98 5/265 7102
/proc/meminfo: memFree=127215156/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=45252 memory=17640 CPUtime=221.65 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 2978 0 0 0 21852 313 0 0 20 0 1 0 675741 46338048 4410 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 11313 4410 1903 992 0 3171 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 45252 KiB
Current children cumulated memory: 17640 KiB
[startup+282.3 s]
/proc/loadavg: 4.32 2.67 1.20 5/263 7113
/proc/meminfo: memFree=126410572/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=45636 memory=18460 CPUtime=281.46 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 3578 0 0 0 27773 373 0 0 20 0 1 0 675741 46731264 4615 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 11409 4615 1903 992 0 3267 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 45636 KiB
Current children cumulated memory: 18460 KiB
[startup+342.3 s]
/proc/loadavg: 4.47 3.01 1.41 5/263 7123
/proc/meminfo: memFree=125537768/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=46148 memory=19144 CPUtime=341.26 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 4015 0 0 0 33694 432 0 0 20 0 1 0 675741 47255552 4786 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 11537 4786 1903 992 0 3395 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 46148 KiB
Current children cumulated memory: 19144 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.19 1.58 5/259 7134
/proc/meminfo: memFree=125194412/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=47280 memory=20644 CPUtime=401.08 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 4676 0 0 0 39623 485 0 0 20 0 1 0 675741 48414720 5161 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 11820 5161 1903 992 0 3678 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 47280 KiB
Current children cumulated memory: 20644 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.37 1.74 5/259 7145
/proc/meminfo: memFree=124682280/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=47668 memory=21192 CPUtime=460.88 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 4936 0 0 0 45549 539 0 0 20 0 1 0 675741 48812032 5298 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 11917 5298 1903 992 0 3775 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.03 5/263 8314
/proc/meminfo: memFree=60064784/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=57444 memory=32252 CPUtime=3152.16 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 12872 0 0 0 312912 2304 0 0 20 0 1 0 675741 58822656 8063 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 14361 8063 1903 992 0 6219 0
Current children cumulated CPU time: 3152.16 s
Current children cumulated vsize: 57444 KiB
Current children cumulated memory: 32252 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.11 4.03 5/263 8324
/proc/meminfo: memFree=57544068/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=57700 memory=32508 CPUtime=3212.01 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 13051 0 0 0 318867 2334 0 0 20 0 1 0 675741 59084800 8127 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 14425 8127 1903 992 0 6283 0
Current children cumulated CPU time: 3212.01 s
Current children cumulated vsize: 57700 KiB
Current children cumulated memory: 32508 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/263 8335
/proc/meminfo: memFree=55483824/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=57740 memory=32584 CPUtime=3271.85 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 13187 0 0 0 324823 2362 0 0 20 0 1 0 675741 59125760 8146 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 14435 8146 1903 992 0 6293 0
Current children cumulated CPU time: 3271.85 s
Current children cumulated vsize: 57740 KiB
Current children cumulated memory: 32584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.50 4.22 4.08 5/263 8347
/proc/meminfo: memFree=52832404/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=64920 memory=32648 CPUtime=3331.71 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 13321 0 0 0 330775 2396 0 0 20 0 1 0 675741 66478080 8162 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16230 8162 1903 992 0 8088 0
Current children cumulated CPU time: 3331.71 s
Current children cumulated vsize: 64920 KiB
Current children cumulated memory: 32648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.19 4.08 5/261 8739
/proc/meminfo: memFree=50198848/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=65140 memory=33004 CPUtime=3391.55 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 13527 0 0 0 336727 2428 0 0 20 0 1 0 675741 66703360 8251 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16285 8251 1903 992 0 8143 0
Current children cumulated CPU time: 3391.55 s
Current children cumulated vsize: 65140 KiB
Current children cumulated memory: 33004 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.08 5/261 8751
/proc/meminfo: memFree=47813472/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=65140 memory=33004 CPUtime=3451.4 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 13538 0 0 0 342682 2458 0 0 20 0 1 0 675741 66703360 8251 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16285 8251 1903 992 0 8143 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 65140 KiB
Current children cumulated memory: 33004 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.08 5/262 8765
/proc/meminfo: memFree=45607892/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=65144 memory=33112 CPUtime=3511.24 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 13682 0 0 0 348633 2491 0 0 20 0 1 0 675741 66707456 8278 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16286 8278 1903 992 0 8144 0
Current children cumulated CPU time: 3511.24 s
Current children cumulated vsize: 65144 KiB
Current children cumulated memory: 33112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.08 5/262 8944
/proc/meminfo: memFree=43796472/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=65400 memory=33448 CPUtime=3571.08 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 13884 0 0 0 354588 2520 0 0 20 0 1 0 675741 66969600 8362 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16350 8362 1903 992 0 8208 0
Current children cumulated CPU time: 3571.08 s
Current children cumulated vsize: 65400 KiB
Current children cumulated memory: 33448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.12 4.14 4.08 3/256 8976
/proc/meminfo: memFree=49469156/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=65400 memory=33448 CPUtime=3600 cores=1,3
/proc/6951/stat : 6951 (roundingsat) R 6948 6951 6828 0 -1 4194304 13884 0 0 0 357467 2533 0 0 20 0 1 0 675741 66969600 8362 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16350 8362 1903 992 0 8208 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 65400 KiB
Current children cumulated memory: 33448 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.12 4.14 4.08 2/261 8996
/proc/meminfo: memFree=60275176/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=65400 memory=33448 CPUtime=3600 cores=1,3
/proc/6951/stat : 6951 (roundingsat) D 6948 6951 6828 0 -1 4194304 13891 0 0 0 357467 2533 0 0 20 0 1 0 675741 66969600 8362 134679101440 4194304 8255733 140728924349280 0 0 256 0 0 25182210 0 0 0 17 1 0 0 286 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16350 8362 1903 992 0 8208 0
??? kill 6951 sig 9
??? end of watcher thread
[startup+3617.64 s]
# the end of solver process 6951 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3574.68 s, system=25.339 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612 s]*
/proc/loadavg: 4.12 4.14 4.08 3/256 8976
/proc/meminfo: memFree=58437132/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=65400 memory=33448 CPUtime=3600 cores=1,3
/proc/6951/stat : 6951 (roundingsat) D 6948 6951 6828 0 -1 4194304 13891 0 0 0 357467 2533 0 0 20 0 1 0 675741 66969600 8362 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16350 8362 1903 992 0 8208 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 65400 KiB
Current children cumulated memory: 33448 KiB
[startup+3612.8 s]
/proc/loadavg: 4.12 4.14 4.08 3/256 8976
/proc/meminfo: memFree=58437132/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=65400 memory=33448 CPUtime=3600 cores=1,3
/proc/6951/stat : 6951 (roundingsat) D 6948 6951 6828 0 -1 4194304 13891 0 0 0 357467 2533 0 0 20 0 1 0 675741 66969600 8362 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 286 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16350 8362 1903 992 0 8208 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 65400 KiB
Current children cumulated memory: 33448 KiB
[startup+3613.2 s]
/proc/loadavg: 4.12 4.14 4.08 2/261 8996
/proc/meminfo: memFree=60284808/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=65400 memory=33448 CPUtime=3600 cores=1,3
/proc/6951/stat : 6951 (roundingsat) D 6948 6951 6828 0 -1 4194304 13891 0 0 0 357467 2533 0 0 20 0 1 0 675741 66969600 8362 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 286 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16350 8362 1903 992 0 8208 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 65400 KiB
Current children cumulated memory: 33448 KiB
[startup+3613.3 s]
/proc/loadavg: 4.12 4.14 4.08 2/261 8996
/proc/meminfo: memFree=60284808/131524600 swapFree=131071996/131071996
[pid=6951] ppid=6948 vsize=65400 memory=33448 CPUtime=3600 cores=1,3
/proc/6951/stat : 6951 (roundingsat) D 6948 6951 6828 0 -1 4194304 13891 0 0 0 357467 2533 0 0 20 0 1 0 675741 66969600 8362 134679101440 4194304 8255733 140728924349280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 286 0 0 9037040 9046032 22827008 140728924357470 140728924357732 140728924357732 140728924364745 0
/proc/6951/statm: 16350 8362 1903 992 0 8208 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 65400 KiB
Current children cumulated memory: 33448 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3617.64
CPU time (s): 3600.02
CPU user time (s): 3574.68
CPU system time (s): 25.339
CPU usage (%): 99.513
Max. virtual memory (cumulated for all children) (KiB): 65400
Max. memory (cumulated for all children) (KiB): 33448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.68
system time used= 25.339
maximum resident set size= 33856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13891
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8872656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115
involuntary context switches= 4952
# summary of solver processes directly reported to runsolver:
# pid: 6951
# total CPU time (s): 3600.02
# total CPU user time (s): 3574.68
# total CPU system time (s): 25.339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78587 second user time and 15.6325 second system time
The end
Begin job on nodeC024 at 2024-07-30 13:59:27 IDJOB=4462602 IDBENCH=147576 IDSOLVER=3089 FILE ID=nodeC024/4462602-1722340767 RUNJOBID= nodeC024-1722340763-6841 SLURM_JOB_ID= 8248997 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-4462602-1722340767/watcher-4462602-1722340767 -o /tmp/evaluation-result-4462602-1722340767/solver-4462602-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6841 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462602-1722340767 --lp-cut-gomory=0 HOME/instance-4462602-1722340767.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 52024caa2fcec9d840e113a681eace59 RANDOM SEED=52205761 nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.549 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.90 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 : 3653.083 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.73 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.079 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.90 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 : 3663.497 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.73 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 : 3669.544 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.90 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 : 3675.396 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.73 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.511 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.90 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 : 3610.965 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.73 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130198380 kB MemAvailable: 129777328 kB Buffers: 37580 kB Cached: 334620 kB SwapCached: 0 kB Active: 130808 kB Inactive: 735868 kB Active(anon): 1552 kB Inactive(anon): 514384 kB Active(file): 129256 kB Inactive(file): 221484 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 51128 kB Writeback: 4 kB AnonPages: 492760 kB Mapped: 97496 kB Shmem: 21336 kB KReclaimable: 43632 kB Slab: 120016 kB SReclaimable: 43632 kB SUnreclaim: 76384 kB KernelStack: 4192 kB PageTables: 10104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 803464 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 160468 kB DirectMap2M: 5904384 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890020 MiB End job on nodeC024 at 2024-07-30 14:59:45