| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.05 | 3613.92 |
| Name | PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-23arraycomm_teq_tvars_less.opb |
| MD5SUM | 7d417cf1b74ab4db87153ce12cf8f72e |
| Bench Category | DEC-LIN (decision problem, linear constraints, no 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 | 0.72208 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3220 |
| Total number of constraints | 1680 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 92 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 35184372088832 |
| Number of bits of the biggest number in a constraint | 46 |
| Biggest sum of numbers in a constraint | 140737488355327 |
| Number of bits of the biggest sum of numbers | 47 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 3220 #constraints 3359 0.00/0.01 c rational objective 2.84217e-14 0.50/0.55 c #Conflicts: 1000 | #Constraints: 4358 0.50/0.55 c #Conflicts: 2000 | #Constraints: 5362 0.50/0.55 c INPROCESSING 0.50/0.55 c GARBAGE COLLECT 0.50/0.55 c #Conflicts: 3000 | #Constraints: 5408 0.50/0.55 c #Conflicts: 4000 | #Constraints: 6410 0.50/0.55 c INPROCESSING 0.50/0.55 c GARBAGE COLLECT 0.50/0.55 c rational objective 2.84217e-14 0.79/0.87 c #Conflicts: 5000 | #Constraints: 5854 0.79/0.87 c #Conflicts: 6000 | #Constraints: 6855 0.79/0.87 c INPROCESSING 0.79/0.87 c GARBAGE COLLECT 0.79/0.87 c rational objective 5.68434e-14 1.09/1.18 c #Conflicts: 7000 | #Constraints: 5884 1.09/1.18 c #Conflicts: 8000 | #Constraints: 6884 1.09/1.18 c #Conflicts: 9000 | #Constraints: 7885 1.09/1.18 c INPROCESSING 1.09/1.18 c GARBAGE COLLECT 1.09/1.18 c rational objective 2.84217e-14 1.49/1.56 c #Conflicts: 10000 | #Constraints: 6619 1.49/1.56 c #Conflicts: 11000 | #Constraints: 7620 1.49/1.56 c #Conflicts: 12000 | #Constraints: 8620 1.49/1.56 c INPROCESSING 1.49/1.56 c GARBAGE COLLECT 1.49/1.56 c rational objective 2.84217e-14 1.78/1.87 c #Conflicts: 13000 | #Constraints: 7078 1.78/1.87 c #Conflicts: 14000 | #Constraints: 8079 1.78/1.87 c #Conflicts: 15000 | #Constraints: 9080 1.78/1.87 c INPROCESSING 1.78/1.87 c GARBAGE COLLECT 1.78/1.87 c rational objective 2.84217e-14 2.58/2.68 c #Conflicts: 16000 | #Constraints: 7346 2.58/2.68 c #Conflicts: 17000 | #Constraints: 8346 2.58/2.68 c #Conflicts: 18000 | #Constraints: 9346 2.58/2.68 c INPROCESSING 2.58/2.68 c GARBAGE COLLECT 2.58/2.68 c rational objective 2.84217e-14 3.18/3.24 c #Conflicts: 19000 | #Constraints: 7384 3.18/3.24 c #Conflicts: 20000 | #Constraints: 8384 3.18/3.24 c #Conflicts: 21000 | #Constraints: 9384 3.18/3.24 c INPROCESSING 3.18/3.24 c GARBAGE COLLECT 3.18/3.24 c rational objective 2.84217e-14 3.67/3.77 c #Conflicts: 22000 | #Constraints: 7189 3.67/3.77 c #Conflicts: 23000 | #Constraints: 8193 3.67/3.77 c #Conflicts: 24000 | #Constraints: 9194 3.67/3.77 c #Conflicts: 25000 | #Constraints: 10195 3.67/3.77 c INPROCESSING 3.67/3.77 c GARBAGE COLLECT 3.67/3.77 c rational objective 2.84217e-14 4.17/4.28 c #Conflicts: 26000 | #Constraints: 7790 4.17/4.28 c #Conflicts: 27000 | #Constraints: 8794 4.17/4.28 c #Conflicts: 28000 | #Constraints: 9794 4.17/4.28 c #Conflicts: 29000 | #Constraints: 10795 4.17/4.28 c INPROCESSING 4.17/4.28 c GARBAGE COLLECT 4.17/4.28 c rational objective 2.84217e-14 4.78/4.89 c #Conflicts: 30000 | #Constraints: 8188 4.78/4.89 c #Conflicts: 31000 | #Constraints: 9189 4.78/4.89 c #Conflicts: 32000 | #Constraints: 10190 4.78/4.89 c #Conflicts: 33000 | #Constraints: 11192 4.78/4.89 c INPROCESSING 4.78/4.89 c GARBAGE COLLECT 4.78/4.89 c rational objective 2.84217e-14 5.97/6.01 c #Conflicts: 34000 | #Constraints: 8401 5.97/6.01 c #Conflicts: 35000 | #Constraints: 9402 5.97/6.01 c #Conflicts: 36000 | #Constraints: 10404 5.97/6.01 c #Conflicts: 37000 | #Constraints: 11407 5.97/6.01 c INPROCESSING 5.97/6.01 c GARBAGE COLLECT 5.97/6.01 c rational objective 2.84217e-14 6.47/6.58 c #Conflicts: 38000 | #Constraints: 8425 6.47/6.58 c #Conflicts: 39000 | #Constraints: 9426 6.47/6.58 c #Conflicts: 40000 | #Constraints: 10427 6.47/6.58 c #Conflicts: 41000 | #Constraints: 11427 6.47/6.58 c INPROCESSING 6.47/6.58 c GARBAGE COLLECT 6.47/6.58 c rational objective 2.84217e-14 7.37/7.42 c #Conflicts: 42000 | #Constraints: 8245 7.37/7.42 c #Conflicts: 43000 | #Constraints: 9247 7.37/7.42 c #Conflicts: 44000 | #Constraints: 10249 7.37/7.42 c #Conflicts: 45000 | #Constraints: 11251 7.37/7.42 c #Conflicts: 46000 | #Constraints: 12253 7.37/7.42 c INPROCESSING 7.37/7.42 c GARBAGE COLLECT 7.37/7.42 c rational objective 2.84217e-14 8.26/8.39 c #Conflicts: 47000 | #Constraints: 8868 8.26/8.39 c #Conflicts: 48000 | #Constraints: 9868 8.26/8.39 c #Conflicts: 49000 | #Constraints: 10870 8.26/8.39 c #Conflicts: 50000 | #Constraints: 11870 8.26/8.39 c #Conflicts: 51000 | #Constraints: 12870 8.26/8.39 c INPROCESSING 8.26/8.39 c GARBAGE COLLECT 8.26/8.39 c rational objective 2.84217e-14 9.16/9.24 c #Conflicts: 52000 | #Constraints: 9242 9.16/9.24 c #Conflicts: 53000 | #Constraints: 10243 9.16/9.24 c #Conflicts: 54000 | #Constraints: 11243 9.16/9.24 c #Conflicts: 55000 | #Constraints: 12245 9.16/9.24 c #Conflicts: 56000 | #Constraints: 13245 9.16/9.24 c INPROCESSING 9.16/9.24 c GARBAGE COLLECT 9.16/9.24 c rational objective 2.84217e-14 10.36/10.42 c #Conflicts: 57000 | #Constraints: 9430 10.36/10.42 c #Conflicts: 58000 | #Constraints: 10431 10.36/10.42 c #Conflicts: 59000 | #Constraints: 11431 10.36/10.42 c #Conflicts: 60000 | #Constraints: 12431 10.36/10.42 c #Conflicts: 61000 | #Constraints: 13432 10.36/10.42 c INPROCESSING 10.36/10.42 c GARBAGE COLLECT 10.36/10.42 c rational objective 2.84217e-14 13.65/13.79 c #Conflicts: 62000 | #Constraints: 9456 13.65/13.79 c #Conflicts: 63000 | #Constraints: 10456 13.65/13.79 c #Conflicts: 64000 | #Constraints: 11456 13.65/13.79 c #Conflicts: 65000 | #Constraints: 12458 13.65/13.79 c #Conflicts: 66000 | #Constraints: 13458 13.65/13.79 c INPROCESSING 13.65/13.79 c GARBAGE COLLECT 13.65/13.79 c rational objective 2.84217e-14 14.94/15.01 c #Conflicts: 67000 | #Constraints: 9244 14.94/15.01 c #Conflicts: 68000 | #Constraints: 10245 14.94/15.01 c #Conflicts: 69000 | #Constraints: 11246 14.94/15.01 c #Conflicts: 70000 | #Constraints: 12248 14.94/15.01 c #Conflicts: 71000 | #Constraints: 13248 14.94/15.01 c #Conflicts: 72000 | #Constraints: 14249 14.94/15.01 c INPROCESSING 14.94/15.01 c GARBAGE COLLECT 14.94/15.01 c rational objective 2.84217e-14 15.94/16.07 c #Conflicts: 73000 | #Constraints: 9851 15.94/16.07 c #Conflicts: 74000 | #Constraints: 10853 15.94/16.07 c #Conflicts: 75000 | #Constraints: 11855 15.94/16.07 c #Conflicts: 76000 | #Constraints: 12857 15.94/16.07 c #Conflicts: 77000 | #Constraints: 13858 15.94/16.07 c #Conflicts: 78000 | #Constraints: 14858 15.94/16.07 c INPROCESSING 15.94/16.07 c GARBAGE COLLECT 15.94/16.07 c rational objective 2.84217e-14 20.32/20.40 c #Conflicts: 79000 | #Constraints: 10273 20.32/20.40 c #Conflicts: 80000 | #Constraints: 11274 20.32/20.40 c #Conflicts: 81000 | #Constraints: 12275 20.32/20.40 c #Conflicts: 82000 | #Constraints: 13275 20.32/20.40 c #Conflicts: 83000 | #Constraints: 14275 20.32/20.40 c #Conflicts: 84000 | #Constraints: 15275 20.32/20.40 c INPROCESSING 20.32/20.40 c GARBAGE COLLECT 20.32/20.40 c rational objective 2.84217e-14 21.21/21.37 c #Conflicts: 85000 | #Constraints: 10473 21.21/21.37 c #Conflicts: 86000 | #Constraints: 11474 21.21/21.37 c #Conflicts: 87000 | #Constraints: 12475 21.21/21.37 c #Conflicts: 88000 | #Constraints: 13476 21.21/21.37 c #Conflicts: 89000 | #Constraints: 14476 21.21/21.37 c #Conflicts: 90000 | #Constraints: 15476 21.21/21.37 c INPROCESSING 21.21/21.37 c GARBAGE COLLECT 21.21/21.37 c rational objective 2.84217e-14 21.92/22.06 c #Conflicts: 91000 | #Constraints: 10478 21.92/22.06 c #Conflicts: 92000 | #Constraints: 11480 21.92/22.06 c #Conflicts: 93000 | #Constraints: 12482 21.92/22.06 c #Conflicts: 94000 | #Constraints: 13482 21.92/22.06 c #Conflicts: 95000 | #Constraints: 14482 21.92/22.06 c #Conflicts: 96000 | #Constraints: 15483 21.92/22.06 c INPROCESSING 21.92/22.06 c GARBAGE COLLECT 21.92/22.06 c rational objective 2.84217e-14 30.28/30.45 c #Conflicts: 97000 | #Constraints: 10300 30.28/30.45 c #Conflicts: 98000 | #Constraints: 11300 30.28/30.45 c #Conflicts: 99000 | #Constraints: 12300 30.28/30.45 c #Conflicts: 100000 | #Constraints: 13300 30.28/30.45 c #Conflicts: 101000 | #Constraints: 14300 30.28/30.45 c #Conflicts: 102000 | #Constraints: 15300 30.28/30.45 c #Conflicts: 103000 | #Constraints: 16301 30.28/30.45 c INPROCESSING 30.28/30.45 c GARBAGE COLLECT 30.28/30.45 c rational objective 2.84217e-14 31.28/31.45 c #Conflicts: 104000 | #Constraints: 10901 31.28/31.45 c #Conflicts: 105000 | #Constraints: 11902 31.28/31.45 c #Conflicts: 106000 | #Constraints: 12902 31.28/31.45 c #Conflicts: 107000 | #Constraints: 13904 31.28/31.45 c #Conflicts: 108000 | #Constraints: 14904 31.28/31.45 c #Conflicts: 109000 | #Constraints: 15905 31.28/31.45 c #Conflicts: 110000 | #Constraints: 16905 31.28/31.45 c INPROCESSING 31.28/31.45 c GARBAGE COLLECT 31.28/31.45 c rational objective 2.84217e-14 32.48/32.62 c #Conflicts: 111000 | #Constraints: 11311 32.48/32.62 c #Conflicts: 112000 | #Constraints: 12312 32.48/32.62 c #Conflicts: 113000 | #Constraints: 13313 32.48/32.62 c #Conflicts: 114000 | #Constraints: 14313 32.48/32.62 c #Conflicts: 115000 | #Constraints: 15316 32.48/32.62 c #Conflicts: 116000 | #Constraints: 16318 32.48/32.62 c #Conflicts: 117000 | #Constraints: 17318 32.48/32.62 c INPROCESSING 32.48/32.62 c GARBAGE COLLECT 32.48/32.62 c rational objective 2.84217e-14 34.46/34.67 c #Conflicts: 118000 | #Constraints: 11515 34.46/34.67 c #Conflicts: 119000 | #Constraints: 12516 34.46/34.67 c #Conflicts: 120000 | #Constraints: 13518 34.46/34.67 c #Conflicts: 121000 | #Constraints: 14520 34.46/34.67 c #Conflicts: 122000 | #Constraints: 15520 34.46/34.67 c #Conflicts: 123000 | #Constraints: 16520 34.46/34.67 c #Conflicts: 124000 | #Constraints: 17521 34.46/34.67 c INPROCESSING 34.46/34.67 c GARBAGE COLLECT 34.46/34.67 c rational objective 2.84217e-14 35.77/35.96 c #Conflicts: 125000 | #Constraints: 11498 35.77/35.96 c #Conflicts: 126000 | #Constraints: 12499 35.77/35.96 c #Conflicts: 127000 | #Constraints: 13500 35.77/35.96 c #Conflicts: 128000 | #Constraints: 14500 35.77/35.96 c #Conflicts: 129000 | #Constraints: 15501 35.77/35.96 c #Conflicts: 130000 | #Constraints: 16501 35.77/35.96 c #Conflicts: 131000 | #Constraints: 17502 35.77/35.96 c INPROCESSING 35.77/35.96 c GARBAGE COLLECT 35.77/35.96 c rational objective 4.73927 39.16/39.37 c #Conflicts: 132000 | #Constraints: 11305 39.16/39.37 c #Conflicts: 133000 | #Constraints: 12306 39.16/39.37 c #Conflicts: 134000 | #Constraints: 13306 39.16/39.37 c #Conflicts: 135000 | #Constraints: 14307 39.16/39.37 c #Conflicts: 136000 | #Constraints: 15307 39.16/39.37 c #Conflicts: 137000 | #Constraints: 16308 39.16/39.37 c #Conflicts: 138000 | #Constraints: 17308 39.16/39.37 c #Conflicts: 139000 | #Constraints: 18309 39.16/39.37 c INPROCESSING 39.16/39.37 c GARBAGE COLLECT 39.16/39.37 c rational objective 4.74001 43.43/43.66 c #Conflicts: 140000 | #Constraints: 11910 43.43/43.66 c #Conflicts: 141000 | #Constraints: 12911 43.43/43.66 c #Conflicts: 142000 | #Constraints: 13912 43.43/43.66 c #Conflicts: 143000 | #Constraints: 14913 43.43/43.66 c #Conflicts: 144000 | #Constraints: 15913 43.43/43.66 c #Conflicts: 145000 | #Constraints: 16914 43.43/43.66 c #Conflicts: 146000 | #Constraints: 17914 43.43/43.66 c #Conflicts: 147000 | #Constraints: 18915 43.43/43.66 c INPROCESSING 43.43/43.66 c GARBAGE COLLECT 43.43/43.66 c rational objective 4.74001 45.44/45.69 c #Conflicts: 148000 | #Constraints: 12338 45.44/45.69 c #Conflicts: 149000 | #Constraints: 13338 45.44/45.69 c #Conflicts: 150000 | #Constraints: 14338 45.44/45.69 c #Conflicts: 151000 | #Constraints: 15338 45.44/45.69 c #Conflicts: 152000 | #Constraints: 16338 45.44/45.69 c #Conflicts: 153000 | #Constraints: 17338 45.44/45.69 c #Conflicts: 154000 | #Constraints: 18338 45.44/45.69 c #Conflicts: 155000 | #Constraints: 19339 45.44/45.69 c INPROCESSING 45.44/45.69 c GARBAGE COLLECT 45.44/45.69 c rational objective 4.74001 48.12/48.39 c #Conflicts: 156000 | #Constraints: 12534 48.12/48.39 c #Conflicts: 157000 | #Constraints: 13534 48.12/48.39 c #Conflicts: 158000 | #Constraints: 14535 48.12/48.39 c #Conflicts: 159000 | #Constraints: 15535 48.12/48.39 c #Conflicts: 160000 | #Constraints: 16537 48.12/48.39 c #Conflicts: 161000 | #Constraints: 17537 48.12/48.39 c #Conflicts: 162000 | #Constraints: 18538 48.12/48.39 c #Conflicts: 163000 | #Constraints: 19538 48.12/48.39 c INPROCESSING 48.12/48.39 c GARBAGE COLLECT 48.12/48.39 c rational objective 4.74001 51.61/51.87 c #Conflicts: 164000 | #Constraints: 12532 51.61/51.87 c #Conflicts: 165000 | #Constraints: 13533 51.61/51.87 c #Conflicts: 166000 | #Constraints: 14535 51.61/51.87 c #Conflicts: 167000 | #Constraints: 15537 51.61/51.87 c #Conflicts: 168000 | #Constraints: 16538 51.61/51.87 c #Conflicts: 169000 | #Constraints: 17539 51.61/51.87 c #Conflicts: 170000 | #Constraints: 18540 51.61/51.87 c #Conflicts: 171000 | #Constraints: 19540 51.61/51.87 c INPROCESSING 51.61/51.87 c GARBAGE COLLECT 51.61/51.87 c rational objective 4.74001 56.39/56.62 c #Conflicts: 172000 | #Constraints: 12333 56.39/56.62 c #Conflicts: 173000 | #Constraints: 13334 56.39/56.62 c #Conflicts: 174000 | #Constraints: 14335 56.39/56.62 c #Conflicts: 175000 | #Constraints: 15335 56.39/56.62 c #Conflicts: 176000 | #Constraints: 16337 56.39/56.62 c #Conflicts: 177000 | #Constraints: 17339 56.39/56.62 c #Conflicts: 178000 | #Constraints: 18339 56.39/56.62 c #Conflicts: 179000 | #Constraints: 19339 56.39/56.62 c #Conflicts: 180000 | #Constraints: 20339 56.39/56.62 c INPROCESSING 56.39/56.62 c GARBAGE COLLECT 56.39/56.62 c rational objective 4.74001 61.07/61.30 c #Conflicts: 181000 | #Constraints: 12948 61.07/61.30 c #Conflicts: 182000 | #Constraints: 13949 61.07/61.30 c #Conflicts: 183000 | #Constraints: 14950 61.07/61.30 c #Conflicts: 184000 | #Constraints: 15951 61.07/61.30 c #Conflicts: 185000 | #Constraints: 16951 61.07/61.30 c #Conflicts: 186000 | #Constraints: 17952 61.07/61.30 c #Conflicts: 187000 | #Constraints: 18952 61.07/61.30 c #Conflicts: 188000 | #Constraints: 19952 61.07/61.30 c #Conflicts: 189000 | #Constraints: 20953 61.07/61.30 c INPROCESSING 61.07/61.30 c GARBAGE COLLECT 61.07/61.30 c rational objective 4.74003 67.55/67.87 c #Conflicts: 190000 | #Constraints: 13361 67.55/67.87 c #Conflicts: 191000 | #Constraints: 14362 67.55/67.87 c #Conflicts: 192000 | #Constraints: 15363 67.55/67.87 c #Conflicts: 193000 | #Constraints: 16364 67.55/67.87 c #Conflicts: 194000 | #Constraints: 17364 67.55/67.87 c #Conflicts: 195000 | #Constraints: 18364 67.55/67.87 c #Conflicts: 196000 | #Constraints: 19364 67.55/67.87 c #Conflicts: 197000 | #Constraints: 20364 67.55/67.87 c #Conflicts: 198000 | #Constraints: 21364 67.55/67.87 c INPROCESSING 67.55/67.87 c GARBAGE COLLECT 67.55/67.87 c rational objective 4.74003 70.54/70.85 c #Conflicts: 199000 | #Constraints: 13591 70.54/70.85 c #Conflicts: 200000 | #Constraints: 14592 70.54/70.85 c #Conflicts: 201000 | #Constraints: 15592 70.54/70.85 c #Conflicts: 202000 | #Constraints: 16592 70.54/70.85 c #Conflicts: 203000 | #Constraints: 17592 70.54/70.85 c #Conflicts: 204000 | #Constraints: 18593 70.54/70.85 c #Conflicts: 205000 | #Constraints: 19594 70.54/70.85 c #Conflicts: 206000 | #Constraints: 20594 70.54/70.85 c #Conflicts: 207000 | #Constraints: 21594 70.54/70.85 c INPROCESSING 70.54/70.85 c GARBAGE COLLECT 70.54/70.85 c rational objective 4.74003 72.34/72.68 c #Conflicts: 208000 | #Constraints: 13588 72.34/72.68 c #Conflicts: 209000 | #Constraints: 14589 72.34/72.68 c #Conflicts: 210000 | #Constraints: 15589 72.34/72.68 c #Conflicts: 211000 | #Constraints: 16590 72.34/72.68 c #Conflicts: 212000 | #Constraints: 17592 72.34/72.68 c #Conflicts: 213000 | #Constraints: 18592 72.34/72.68 c #Conflicts: 214000 | #Constraints: 19594 72.34/72.68 c #Conflicts: 215000 | #Constraints: 20595 72.34/72.68 c #Conflicts: 216000 | #Constraints: 21596 72.34/72.68 c INPROCESSING 72.34/72.68 c GARBAGE COLLECT 72.34/72.68 c rational objective 4.74003 105.11/105.56 c #Conflicts: 217000 | #Constraints: 13355 105.11/105.56 c #Conflicts: 218000 | #Constraints: 14355 105.11/105.56 c #Conflicts: 219000 | #Constraints: 15355 105.11/105.56 c #Conflicts: 220000 | #Constraints: 16355 105.11/105.56 c #Conflicts: 221000 | #Constraints: 17355 105.11/105.56 c #Conflicts: 222000 | #Constraints: 18355 105.11/105.56 c #Conflicts: 223000 | #Constraints: 19357 105.11/105.56 c #Conflicts: 224000 | #Constraints: 20357 105.11/105.56 c #Conflicts: 225000 | #Constraints: 21357 105.11/105.56 c #Conflicts: 226000 | #Constraints: 22357 105.11/105.56 c INPROCESSING 105.11/105.56 c GARBAGE COLLECT 105.11/105.56 c rational objective 4.74003 108.90/109.32 c #Conflicts: 227000 | #Constraints: 13968 108.90/109.32 c #Conflicts: 228000 | #Constraints: 14970 108.90/109.32 c #Conflicts: 229000 | #Constraints: 15971 108.90/109.32 c #Conflicts: 230000 | #Constraints: 16971 108.90/109.32 c #Conflicts: 231000 | #Constraints: 17971 108.90/109.32 c #Conflicts: 232000 | #Constraints: 18971 108.90/109.32 c #Conflicts: 233000 | #Constraints: 19971 108.90/109.32 c #Conflicts: 234000 | #Constraints: 20971 108.90/109.32 c #Conflicts: 235000 | #Constraints: 21971 108.90/109.32 c #Conflicts: 236000 | #Constraints: 22971 108.90/109.32 c INPROCESSING 108.90/109.32 c GARBAGE COLLECT 108.90/109.32 c rational objective 4.74003 120.47/120.95 c #Conflicts: 237000 | #Constraints: 14357 120.47/120.95 c #Conflicts: 238000 | #Constraints: 15357 120.47/120.95 c #Conflicts: 239000 | #Constraints: 16358 120.47/120.95 c #Conflicts: 240000 | #Constraints: 17359 120.47/120.95 c #Conflicts: 241000 | #Constraints: 18359 120.47/120.95 c #Conflicts: 242000 | #Constraints: 19360 120.47/120.95 c #Conflicts: 243000 | #Constraints: 20361 120.47/120.95 c #Conflicts: 244000 | #Constraints: 21361 120.47/120.95 c #Conflicts: 245000 | #Constraints: 22361 120.47/120.95 c #Conflicts: 246000 | #Constraints: 23362 120.47/120.95 c INPROCESSING 120.47/120.95 c GARBAGE COLLECT 120.47/120.95 c rational objective 4.74003 125.14/125.66 c #Conflicts: 247000 | #Constraints: 14568 125.14/125.66 c #Conflicts: 248000 | #Constraints: 15568 125.14/125.66 c #Conflicts: 249000 | #Constraints: 16568 125.14/125.66 c #Conflicts: 250000 | #Constraints: 17568 125.14/125.66 c #Conflicts: 251000 | #Constraints: 18569 125.14/125.66 c #Conflicts: 252000 | #Constraints: 19570 125.14/125.66 c #Conflicts: 253000 | #Constraints: 20570 125.14/125.66 c #Conflicts: 254000 | #Constraints: 21570 125.14/125.66 c #Conflicts: 255000 | #Constraints: 22571 125.14/125.66 c #Conflicts: 256000 | #Constraints: 23571 125.14/125.66 c INPROCESSING 125.14/125.66 c GARBAGE COLLECT 125.14/125.66 c rational objective 4.74003 133.52/134.07 c #Conflicts: 257000 | #Constraints: 14552 133.52/134.07 c #Conflicts: 258000 | #Constraints: 15554 133.52/134.07 c #Conflicts: 259000 | #Constraints: 16555 133.52/134.07 c #Conflicts: 260000 | #Constraints: 17555 133.52/134.07 c #Conflicts: 261000 | #Constraints: 18555 133.52/134.07 c #Conflicts: 262000 | #Constraints: 19555 133.52/134.07 c #Conflicts: 263000 | #Constraints: 20555 133.52/134.07 c #Conflicts: 264000 | #Constraints: 21555 133.52/134.07 c #Conflicts: 265000 | #Constraints: 22555 133.52/134.07 c #Conflicts: 266000 | #Constraints: 23555 133.52/134.07 c INPROCESSING 133.52/134.07 c GARBAGE COLLECT 133.52/134.07 c rational objective 4.74003 141.60/142.12 c #Conflicts: 267000 | #Constraints: 14354 141.60/142.12 c #Conflicts: 268000 | #Constraints: 15355 141.60/142.12 c #Conflicts: 269000 | #Constraints: 16356 141.60/142.12 c #Conflicts: 270000 | #Constraints: 17357 141.60/142.12 c #Conflicts: 271000 | #Constraints: 18359 141.60/142.12 c #Conflicts: 272000 | #Constraints: 19360 141.60/142.12 c #Conflicts: 273000 | #Constraints: 20360 141.60/142.12 c #Conflicts: 274000 | #Constraints: 21360 141.60/142.12 c #Conflicts: 275000 | #Constraints: 22360 141.60/142.12 c #Conflicts: 276000 | #Constraints: 23360 141.60/142.12 c #Conflicts: 277000 | #Constraints: 24360 141.60/142.12 c INPROCESSING 141.60/142.12 c GARBAGE COLLECT 141.60/142.12 c rational objective 4.74003 146.68/147.20 c #Conflicts: 278000 | #Constraints: 14967 146.68/147.20 c #Conflicts: 279000 | #Constraints: 15967 146.68/147.20 c #Conflicts: 280000 | #Constraints: 16967 146.68/147.20 c #Conflicts: 281000 | #Constraints: 17967 146.68/147.20 c #Conflicts: 282000 | #Constraints: 18969 146.68/147.20 c #Conflicts: 283000 | #Constraints: 19971 146.68/147.20 c #Conflicts: 284000 | #Constraints: 20972 146.68/147.20 c #Conflicts: 285000 | #Constraints: 21973 146.68/147.20 c #Conflicts: 286000 | #Constraints: 22974 146.68/147.20 c #Conflicts: 287000 | #Constraints: 23974 146.68/147.20 c #Conflicts: 288000 | #Constraints: 24974 146.68/147.20 c INPROCESSING 146.68/147.20 c GARBAGE COLLECT 146.68/147.20 c rational objective 4.74003 155.35/155.90 c #Conflicts: 289000 | #Constraints: 15361 155.35/155.90 c #Conflicts: 290000 | #Constraints: 16361 155.35/155.90 c #Conflicts: 291000 | #Constraints: 17361 155.35/155.90 c #Conflicts: 292000 | #Constraints: 18361 155.35/155.90 c #Conflicts: 293000 | #Constraints: 19361 155.35/155.90 c #Conflicts: 294000 | #Constraints: 20362 155.35/155.90 c #Conflicts: 295000 | #Constraints: 21362 155.35/155.90 c #Conflicts: 296000 | #Constraints: 22362 155.35/155.90 c #Conflicts: 297000 | #Constraints: 23362 155.35/155.90 c #Conflicts: 298000 | #Constraints: 24362 155.35/155.90 c #Conflicts: 299000 | #Constraints: 25362 155.35/155.90 c INPROCESSING 155.35/155.90 c GARBAGE COLLECT 155.35/155.90 c rational objective 4.74003 160.73/161.37 c #Conflicts: 300000 | #Constraints: 15555 160.73/161.37 c #Conflicts: 301000 | #Constraints: 16555 160.73/161.37 c #Conflicts: 302000 | #Constraints: 17558 160.73/161.37 c #Conflicts: 303000 | #Constraints: 18559 160.73/161.37 c #Conflicts: 304000 | #Constraints: 19560 160.73/161.37 c #Conflicts: 305000 | #Constraints: 20560 160.73/161.37 c #Conflicts: 306000 | #Constraints: 21561 160.73/161.37 c #Conflicts: 307000 | #Constraints: 22562 160.73/161.37 c #Conflicts: 308000 | #Constraints: 23564 160.73/161.37 c #Conflicts: 309000 | #Constraints: 24566 160.73/161.37 c #Conflicts: 310000 | #Constraints: 25566 160.73/161.37 c INPROCESSING 160.73/161.37 c GARBAGE COLLECT 160.73/161.37 c rational objective 4.74003 166.01/166.68 c #Conflicts: 311000 | #Constraints: 15570 166.01/166.68 c #Conflicts: 312000 | #Constraints: 16570 166.01/166.68 c #Conflicts: 313000 | #Constraints: 17573 166.01/166.68 c #Conflicts: 314000 | #Constraints: 18573 166.01/166.68 c #Conflicts: 315000 | #Constraints: 19573 166.01/166.68 c #Conflicts: 316000 | #Constraints: 20574 166.01/166.68 c #Conflicts: 317000 | #Constraints: 21574 166.01/166.68 c #Conflicts: 318000 | #Constraints: 22574 166.01/166.68 c #Conflicts: 319000 | #Constraints: 23574 166.01/166.68 c #Conflicts: 320000 | #Constraints: 24574 166.01/166.68 c #Conflicts: 321000 | #Constraints: 25574 166.01/166.68 c INPROCESSING 166.01/166.68 c GARBAGE COLLECT 166.01/166.68 c rational objective 4.74003 201.98/202.72 c #Conflicts: 322000 | #Constraints: 15370 201.98/202.72 c #Conflicts: 323000 | #Constraints: 16371 201.98/202.72 c #Conflicts: 324000 | #Constraints: 17372 201.98/202.72 c #Conflicts: 325000 | #Constraints: 18373 201.98/202.72 c #Conflicts: 326000 | #Constraints: 19374 201.98/202.72 c #Conflicts: 327000 | #Constraints: 20374 201.98/202.72 c #Conflicts: 328000 | #Constraints: 21375 201.98/202.72 c #Conflicts: 329000 | #Constraints: 22376 201.98/202.72 c #Conflicts: 330000 | #Constraints: 23376 201.98/202.72 c #Conflicts: 331000 | #Constraints: 24376 201.98/202.72 c #Conflicts: 332000 | #Constraints: 25376 201.98/202.72 c #Conflicts: 333000 | #Constraints: 26377 201.98/202.72 c INPROCESSING 201.98/202.72 c GARBAGE COLLECT 201.98/202.72 c rational objective 4.74003 209.96/210.76 c #Conflicts: 334000 | #Constraints: 15983 209.96/210.76 c #Conflicts: 335000 | #Constraints: 16983 209.96/210.76 c #Conflicts: 336000 | #Constraints: 17983 209.96/210.76 c #Conflicts: 337000 | #Constraints: 18984 209.96/210.76 c #Conflicts: 338000 | #Constraints: 19984 209.96/210.76 c #Conflicts: 339000 | #Constraints: 20984 209.96/210.76 c #Conflicts: 340000 | #Constraints: 21985 209.96/210.76 c #Conflicts: 341000 | #Constraints: 22985 209.96/210.76 c #Conflicts: 342000 | #Constraints: 23985 209.96/210.76 c #Conflicts: 343000 | #Constraints: 24985 209.96/210.76 c #Conflicts: 344000 | #Constraints: 25985 209.96/210.76 c #Conflicts: 345000 | #Constraints: 26986 209.96/210.76 c INPROCESSING 209.96/210.76 c GARBAGE COLLECT 209.96/210.76 c rational objective 4.74003 224.70/225.55 c #Conflicts: 346000 | #Constraints: 16369 224.70/225.55 c #Conflicts: 347000 | #Constraints: 17370 224.70/225.55 c #Conflicts: 348000 | #Constraints: 18372 224.70/225.55 c #Conflicts: 349000 | #Constraints: 19373 224.70/225.55 c #Conflicts: 350000 | #Constraints: 20374 224.70/225.55 c #Conflicts: 351000 | #Constraints: 21374 224.70/225.55 c #Conflicts: 352000 | #Constraints: 22375 224.70/225.55 c #Conflicts: 353000 | #Constraints: 23375 224.70/225.55 c #Conflicts: 354000 | #Constraints: 24375 224.70/225.55 c #Conflicts: 355000 | #Constraints: 25376 224.70/225.55 c #Conflicts: 356000 | #Constraints: 26376 224.70/225.55 c #Conflicts: 357000 | #Constraints: 27378 224.70/225.55 c INPROCESSING 224.70/225.55 c GARBAGE COLLECT 224.70/225.55 c rational objective 4.74003 229.59/230.47 c #Conflicts: 358000 | #Constraints: 16579 229.59/230.47 c #Conflicts: 359000 | #Constraints: 17580 229.59/230.47 c #Conflicts: 360000 | #Constraints: 18582 229.59/230.47 c #Conflicts: 361000 | #Constraints: 19583 229.59/230.47 c #Conflicts: 362000 | #Constraints: 20583 229.59/230.47 c #Conflicts: 363000 | #Constraints: 21584 229.59/230.47 c #Conflicts: 364000 | #Constraints: 22584 229.59/230.47 c #Conflicts: 365000 | #Constraints: 23584 229.59/230.47 c #Conflicts: 366000 | #Constraints: 24585 229.59/230.47 c #Conflicts: 367000 | #Constraints: 25586 229.59/230.47 c #Conflicts: 368000 | #Constraints: 26586 229.59/230.47 c #Conflicts: 369000 | #Constraints: 27586 229.59/230.47 c INPROCESSING 229.59/230.47 c GARBAGE COLLECT 229.59/230.47 c rational objective 4.74041 240.25/241.12 c #Conflicts: 370000 | #Constraints: 16593 240.25/241.12 c #Conflicts: 371000 | #Constraints: 17594 240.25/241.12 c #Conflicts: 372000 | #Constraints: 18594 240.25/241.12 c #Conflicts: 373000 | #Constraints: 19595 240.25/241.12 c #Conflicts: 374000 | #Constraints: 20595 240.25/241.12 c #Conflicts: 375000 | #Constraints: 21596 240.25/241.12 c #Conflicts: 376000 | #Constraints: 22596 240.25/241.12 c #Conflicts: 377000 | #Constraints: 23596 240.25/241.12 c #Conflicts: 378000 | #Constraints: 24596 240.25/241.12 c #Conflicts: 379000 | #Constraints: 25596 240.25/241.12 c #Conflicts: 380000 | #Constraints: 26597 240.25/241.12 c #Conflicts: 381000 | #Constraints: 27597 240.25/241.12 c INPROCESSING 240.25/241.12 c GARBAGE COLLECT 240.25/241.12 c rational objective 4.74041 248.02/248.96 c #Conflicts: 382000 | #Constraints: 16388 248.02/248.96 c #Conflicts: 383000 | #Constraints: 17389 248.02/248.96 c #Conflicts: 384000 | #Constraints: 18389 248.02/248.96 c #Conflicts: 385000 | #Constraints: 19389 248.02/248.96 c #Conflicts: 386000 | #Constraints: 20390 248.02/248.96 c #Conflicts: 387000 | #Constraints: 21390 248.02/248.96 c #Conflicts: 388000 | #Constraints: 22390 248.02/248.96 c #Conflicts: 389000 | #Constraints: 23390 248.02/248.96 c #Conflicts: 390000 | #Constraints: 24392 248.02/248.96 c #Conflicts: 391000 | #Constraints: 25392 248.02/248.96 c #Conflicts: 392000 | #Constraints: 26392 248.02/248.96 c #Conflicts: 393000 | #Constraints: 27393 248.02/248.96 c #Conflicts: 394000 | #Constraints: 28394 248.02/248.96 c INPROCESSING 248.02/248.96 c GARBAGE COLLECT 248.02/248.96 c rational objective 4.74041 259.98/260.90 c #Conflicts: 395000 | #Constraints: 17002 259.98/260.90 c #Conflicts: 396000 | #Constraints: 18002 259.98/260.90 c #Conflicts: 397000 | #Constraints: 19002 259.98/260.90 c #Conflicts: 398000 | #Constraints: 20003 259.98/260.90 c #Conflicts: 399000 | #Constraints: 21004 259.98/260.90 c #Conflicts: 400000 | #Constraints: 22005 259.98/260.90 c #Conflicts: 401000 | #Constraints: 23005 259.98/260.90 c #Conflicts: 402000 | #Constraints: 24005 259.98/260.90 c #Conflicts: 403000 | #Constraints: 25006 259.98/260.90 c #Conflicts: 404000 | #Constraints: 26007 259.98/260.90 c #Conflicts: 405000 | #Constraints: 27007 259.98/260.90 c #Conflicts: 406000 | #Constraints: 28007 259.98/260.90 c #Conflicts: 407000 | #Constraints: 29007 259.98/260.90 c INPROCESSING 259.98/260.90 c GARBAGE COLLECT 259.98/260.90 c rational objective 4.74041 267.65/268.69 c #Conflicts: 408000 | #Constraints: 17383 267.65/268.69 c #Conflicts: 409000 | #Constraints: 18383 267.65/268.69 c #Conflicts: 410000 | #Constraints: 19383 267.65/268.69 c #Conflicts: 411000 | #Constraints: 20383 267.65/268.69 c #Conflicts: 412000 | #Constraints: 21384 267.65/268.69 c #Conflicts: 413000 | #Constraints: 22384 267.65/268.69 c #Conflicts: 414000 | #Constraints: 23385 267.65/268.69 c #Conflicts: 415000 | #Constraints: 24385 267.65/268.69 c #Conflicts: 416000 | #Constraints: 25385 267.65/268.69 c #Conflicts: 417000 | #Constraints: 26386 267.65/268.69 c #Conflicts: 418000 | #Constraints: 27387 267.65/268.69 c #Conflicts: 419000 | #Constraints: 28387 267.65/268.69 c #Conflicts: 420000 | #Constraints: 29387 267.65/268.69 c INPROCESSING 267.65/268.69 c GARBAGE COLLECT 267.65/268.69 c rational objective 4.74041 308.40/309.55 c #Conflicts: 421000 | #Constraints: 17615 308.40/309.55 c #Conflicts: 422000 | #Constraints: 18616 308.40/309.55 c #Conflicts: 423000 | #Constraints: 19617 308.40/309.55 c #Conflicts: 424000 | #Constraints: 20617 308.40/309.55 c #Conflicts: 425000 | #Constraints: 21617 308.40/309.55 c #Conflicts: 426000 | #Constraints: 22617 308.40/309.55 c #Conflicts: 427000 | #Constraints: 23617 308.40/309.55 c #Conflicts: 428000 | #Constraints: 24617 308.40/309.55 c #Conflicts: 429000 | #Constraints: 25617 308.40/309.55 c #Conflicts: 430000 | #Constraints: 26617 308.40/309.55 c #Conflicts: 431000 | #Constraints: 27617 308.40/309.55 c #Conflicts: 432000 | #Constraints: 28617 308.40/309.55 c #Conflicts: 433000 | #Constraints: 29617 308.40/309.55 c INPROCESSING 308.40/309.55 c GARBAGE COLLECT 308.40/309.55 c rational objective 4.74041 312.39/313.54 c #Conflicts: 434000 | #Constraints: 17641 312.39/313.54 c #Conflicts: 435000 | #Constraints: 18643 312.39/313.54 c #Conflicts: 436000 | #Constraints: 19643 312.39/313.54 c #Conflicts: 437000 | #Constraints: 20643 312.39/313.54 c #Conflicts: 438000 | #Constraints: 21643 312.39/313.54 c #Conflicts: 439000 | #Constraints: 22644 312.39/313.54 c #Conflicts: 440000 | #Constraints: 23644 312.39/313.54 c #Conflicts: 441000 | #Constraints: 24644 312.39/313.54 c #Conflicts: 442000 | #Constraints: 25644 312.39/313.54 c #Conflicts: 443000 | #Constraints: 26644 312.39/313.54 c #Conflicts: 444000 | #Constraints: 27644 312.39/313.54 c #Conflicts: 445000 | #Constraints: 28644 312.39/313.54 c #Conflicts: 446000 | #Constraints: 29644 312.39/313.54 c INPROCESSING 312.39/313.54 c GARBAGE COLLECT 312.39/313.54 c rational objective 4.74041 321.86/323.05 c #Conflicts: 447000 | #Constraints: 17451 321.86/323.05 c #Conflicts: 448000 | #Constraints: 18453 321.86/323.05 c #Conflicts: 449000 | #Constraints: 19453 321.86/323.05 c #Conflicts: 450000 | #Constraints: 20453 321.86/323.05 c #Conflicts: 451000 | #Constraints: 21455 321.86/323.05 c #Conflicts: 452000 | #Constraints: 22455 321.86/323.05 c #Conflicts: 453000 | #Constraints: 23455 321.86/323.05 c #Conflicts: 454000 | #Constraints: 24455 321.86/323.05 c #Conflicts: 455000 | #Constraints: 25455 321.86/323.05 c #Conflicts: 456000 | #Constraints: 26455 321.86/323.05 c #Conflicts: 457000 | #Constraints: 27456 321.86/323.05 c #Conflicts: 458000 | #Constraints: 28456 321.86/323.05 c #Conflicts: 459000 | #Constraints: 29457 321.86/323.05 c #Conflicts: 460000 | #Constraints: 30457 321.86/323.05 c INPROCESSING 321.86/323.05 c GARBAGE COLLECT 321.86/323.05 c rational objective 4.74041 336.20/337.49 c #Conflicts: 461000 | #Constraints: 18041 336.20/337.49 c #Conflicts: 462000 | #Constraints: 19042 336.20/337.49 c #Conflicts: 463000 | #Constraints: 20042 336.20/337.49 c #Conflicts: 464000 | #Constraints: 21042 336.20/337.49 c #Conflicts: 465000 | #Constraints: 22042 336.20/337.49 c #Conflicts: 466000 | #Constraints: 23044 336.20/337.49 c #Conflicts: 467000 | #Constraints: 24044 336.20/337.49 c #Conflicts: 468000 | #Constraints: 25044 336.20/337.49 c #Conflicts: 469000 | #Constraints: 26044 336.20/337.49 c #Conflicts: 470000 | #Constraints: 27044 336.20/337.49 c #Conflicts: 471000 | #Constraints: 28044 336.20/337.49 c #Conflicts: 472000 | #Constraints: 29044 336.20/337.49 c #Conflicts: 473000 | #Constraints: 30044 336.20/337.49 c #Conflicts: 474000 | #Constraints: 31045 336.20/337.49 c INPROCESSING 336.20/337.49 c GARBAGE COLLECT 336.20/337.49 c rational objective 4.74041 351.15/352.48 c #Conflicts: 475000 | #Constraints: 18434 351.15/352.48 c #Conflicts: 476000 | #Constraints: 19434 351.15/352.48 c #Conflicts: 477000 | #Constraints: 20438 351.15/352.48 c #Conflicts: 478000 | #Constraints: 21438 351.15/352.48 c #Conflicts: 479000 | #Constraints: 22439 351.15/352.48 c #Conflicts: 480000 | #Constraints: 23439 351.15/352.48 c #Conflicts: 481000 | #Constraints: 24439 351.15/352.48 c #Conflicts: 482000 | #Constraints: 26153 351.15/352.48 c #Conflicts: 483000 | #Constraints: 28055 351.15/352.48 c #Conflicts: 484000 | #Constraints: 29673 351.15/352.48 c #Conflicts: 485000 | #Constraints: 30674 351.15/352.48 c #Conflicts: 486000 | #Constraints: 31706 351.15/352.48 c #Conflicts: 487000 | #Constraints: 32795 351.15/352.48 c #Conflicts: 488000 | #Constraints: 33887 351.15/352.48 c INPROCESSING 351.15/352.48 c GARBAGE COLLECT 351.15/352.48 c rational objective 4.74041 364.60/365.97 c #Conflicts: 489000 | #Constraints: 19859 364.60/365.97 c #Conflicts: 490000 | #Constraints: 20860 364.60/365.97 c #Conflicts: 491000 | #Constraints: 21861 364.60/365.97 c #Conflicts: 492000 | #Constraints: 22862 364.60/365.97 c #Conflicts: 493000 | #Constraints: 23862 364.60/365.97 c #Conflicts: 494000 | #Constraints: 24862 364.60/365.97 c #Conflicts: 495000 | #Constraints: 25862 364.60/365.97 c #Conflicts: 496000 | #Constraints: 26862 364.60/365.97 c #Conflicts: 497000 | #Constraints: 27862 364.60/365.97 c #Conflicts: 498000 | #Constraints: 28863 364.60/365.97 c #Conflicts: 499000 | #Constraints: 29864 364.60/365.97 c #Conflicts: 500000 | #Constraints: 30864 364.60/365.97 c #Conflicts: 501000 | #Constraints: 31865 364.60/365.97 c #Conflicts: 502000 | #Constraints: 32866 364.60/365.97 c INPROCESSING 364.60/365.97 c GARBAGE COLLECT 364.60/365.97 c rational objective 4.7406 376.26/377.61 c #Conflicts: 503000 | #Constraints: 19235 376.26/377.61 c #Conflicts: 504000 | #Constraints: 20235 376.26/377.61 c #Conflicts: 505000 | #Constraints: 21236 376.26/377.61 c #Conflicts: 506000 | #Constraints: 22236 376.26/377.61 c #Conflicts: 507000 | #Constraints: 23238 376.26/377.61 c #Conflicts: 508000 | #Constraints: 24239 376.26/377.61 c #Conflicts: 509000 | #Constraints: 25239 376.26/377.61 c #Conflicts: 510000 | #Constraints: 26239 376.26/377.61 c #Conflicts: 511000 | #Constraints: 27239 376.26/377.61 c #Conflicts: 512000 | #Constraints: 28239 376.26/377.61 c #Conflicts: 513000 | #Constraints: 29239 376.26/377.61 c #Conflicts: 514000 | #Constraints: 30240 376.26/377.61 c #Conflicts: 515000 | #Constraints: 31240 376.26/377.61 c #Conflicts: 516000 | #Constraints: 32240 376.26/377.61 c INPROCESSING 376.26/377.61 c GARBAGE COLLECT 376.26/377.61 c rational objective 4.7408 389.10/390.54 c #Conflicts: 517000 | #Constraints: 18745 389.10/390.54 c #Conflicts: 518000 | #Constraints: 19745 389.10/390.54 c #Conflicts: 519000 | #Constraints: 20745 389.10/390.54 c #Conflicts: 520000 | #Constraints: 21745 389.10/390.54 c #Conflicts: 521000 | #Constraints: 22745 389.10/390.54 c #Conflicts: 522000 | #Constraints: 23745 389.10/390.54 c #Conflicts: 523000 | #Constraints: 24745 389.10/390.54 c #Conflicts: 524000 | #Constraints: 25745 389.10/390.54 c #Conflicts: 525000 | #Constraints: 26745 389.10/390.54 c #Conflicts: 526000 | #Constraints: 27745 389.10/390.54 c #Conflicts: 527000 | #Constraints: 28745 389.10/390.54 c #Conflicts: 528000 | #Constraints: 29745 389.10/390.54 c #Conflicts: 529000 | #Constraints: 30745 389.10/390.54 c #Conflicts: 530000 | #Constraints: 31745 389.10/390.54 c #Conflicts: 531000 | #Constraints: 32745 389.10/390.54 c INPROCESSING 389.10/390.54 c GARBAGE COLLECT 389.10/390.54 c rational objective 4.74081 396.69/398.15 c #Conflicts: 532000 | #Constraints: 19185 396.69/398.15 c #Conflicts: 533000 | #Constraints: 20185 396.69/398.15 c #Conflicts: 534000 | #Constraints: 21187 396.69/398.15 c #Conflicts: 535000 | #Constraints: 22187 396.69/398.15 c #Conflicts: 536000 | #Constraints: 23187 396.69/398.15 c #Conflicts: 537000 | #Constraints: 24187 396.69/398.15 c #Conflicts: 538000 | #Constraints: 25187 396.69/398.15 c #Conflicts: 539000 | #Constraints: 26187 396.69/398.15 c #Conflicts: 540000 | #Constraints: 27187 396.69/398.15 c #Conflicts: 541000 | #Constraints: 28187 396.69/398.15 c #Conflicts: 542000 | #Constraints: 29187 396.69/398.15 c #Conflicts: 543000 | #Constraints: 30187 396.69/398.15 c #Conflicts: 544000 | #Constraints: 31187 396.69/398.15 c #Conflicts: 545000 | #Constraints: 32187 396.69/398.15 c #Conflicts: 546000 | #Constraints: 33188 396.69/398.15 c INPROCESSING 396.69/398.15 c GARBAGE COLLECT 396.69/398.15 c rational objective 4.74081 402.66/404.14 c #Conflicts: 547000 | #Constraints: 19509 402.66/404.14 c #Conflicts: 548000 | #Constraints: 20509 402.66/404.14 c #Conflicts: 549000 | #Constraints: 21509 402.66/404.14 c #Conflicts: 550000 | #Constraints: 22511 402.66/404.14 c #Conflicts: 551000 | #Constraints: 23511 402.66/404.14 c #Conflicts: 552000 | #Constraints: 24512 402.66/404.14 c #Conflicts: 553000 | #Constraints: 25512 402.66/404.14 c #Conflicts: 554000 | #Constraints: 26512 402.66/404.14 c #Conflicts: 555000 | #Constraints: 27512 402.66/404.14 c #Conflicts: 556000 | #Constraints: 28514 402.66/404.14 c #Conflicts: 557000 | #Constraints: 29514 402.66/404.14 c #Conflicts: 558000 | #Constraints: 30515 402.66/404.14 c #Conflicts: 559000 | #Constraints: 31515 402.66/404.14 c #Conflicts: 560000 | #Constraints: 32516 402.66/404.14 c #Conflicts: 561000 | #Constraints: 33516 402.66/404.14 c INPROCESSING 402.66/404.14 c GARBAGE COLLECT 402.66/404.14 c rational objective 4.74081 409.83/411.30 c #Conflicts: 562000 | #Constraints: 19643 409.83/411.30 c #Conflicts: 563000 | #Constraints: 20643 409.83/411.30 c #Conflicts: 564000 | #Constraints: 21643 409.83/411.30 c #Conflicts: 565000 | #Constraints: 22643 409.83/411.30 c #Conflicts: 566000 | #Constraints: 23643 409.83/411.30 c #Conflicts: 567000 | #Constraints: 24643 409.83/411.30 c #Conflicts: 568000 | #Constraints: 25643 409.83/411.30 c #Conflicts: 569000 | #Constraints: 26643 409.83/411.30 c #Conflicts: 570000 | #Constraints: 27643 409.83/411.30 c #Conflicts: 571000 | #Constraints: 28643 409.83/411.30 c #Conflicts: 572000 | #Constraints: 29644 409.83/411.30 c #Conflicts: 573000 | #Constraints: 30644 409.83/411.30 c #Conflicts: 574000 | #Constraints: 31644 409.83/411.30 c #Conflicts: 575000 | #Constraints: 32644 409.83/411.30 c #Conflicts: 576000 | #Constraints: 33644 409.83/411.30 c INPROCESSING 409.83/411.30 c GARBAGE COLLECT 409.83/411.30 c rational objective 4.74081 423.08/424.62 c #Conflicts: 577000 | #Constraints: 19656 423.08/424.62 c #Conflicts: 578000 | #Constraints: 20656 423.08/424.62 c #Conflicts: 579000 | #Constraints: 21657 423.08/424.62 c #Conflicts: 580000 | #Constraints: 22658 423.08/424.62 c #Conflicts: 581000 | #Constraints: 23659 423.08/424.62 c #Conflicts: 582000 | #Constraints: 24659 423.08/424.62 c #Conflicts: 583000 | #Constraints: 25659 423.08/424.62 c #Conflicts: 584000 | #Constraints: 26659 423.08/424.62 c #Conflicts: 585000 | #Constraints: 27659 423.08/424.62 c #Conflicts: 586000 | #Constraints: 28660 423.08/424.62 c #Conflicts: 587000 | #Constraints: 29661 423.08/424.62 c #Conflicts: 588000 | #Constraints: 30661 423.08/424.62 c #Conflicts: 589000 | #Constraints: 31661 423.08/424.62 c #Conflicts: 590000 | #Constraints: 32661 423.08/424.62 c #Conflicts: 591000 | #Constraints: 33661 423.08/424.62 c INPROCESSING 423.08/424.62 c GARBAGE COLLECT 423.08/424.62 c rational objective 4.74081 436.93/438.53 c #Conflicts: 592000 | #Constraints: 19455 436.93/438.53 c #Conflicts: 593000 | #Constraints: 20456 436.93/438.53 c #Conflicts: 594000 | #Constraints: 21456 436.93/438.53 c #Conflicts: 595000 | #Constraints: 22456 436.93/438.53 c #Conflicts: 596000 | #Constraints: 23457 436.93/438.53 c #Conflicts: 597000 | #Constraints: 24457 436.93/438.53 c #Conflicts: 598000 | #Constraints: 25457 436.93/438.53 c #Conflicts: 599000 | #Constraints: 26457 436.93/438.53 c #Conflicts: 600000 | #Constraints: 27457 436.93/438.53 c #Conflicts: 601000 | #Constraints: 28457 436.93/438.53 c #Conflicts: 602000 | #Constraints: 29458 436.93/438.53 c #Conflicts: 603000 | #Constraints: 30458 436.93/438.53 c #Conflicts: 604000 | #Constraints: 31458 436.93/438.53 c #Conflicts: 605000 | #Constraints: 32458 436.93/438.53 c #Conflicts: 606000 | #Constraints: 33458 436.93/438.53 c #Conflicts: 607000 | #Constraints: 34458 436.93/438.53 c INPROCESSING 436.93/438.53 c GARBAGE COLLECT 436.93/438.53 c rational objective 4.74081 442.71/444.39 c #Conflicts: 608000 | #Constraints: 20046 442.71/444.39 c #Conflicts: 609000 | #Constraints: 21046 442.71/444.39 c #Conflicts: 610000 | #Constraints: 22047 442.71/444.39 c #Conflicts: 611000 | #Constraints: 23048 442.71/444.39 c #Conflicts: 612000 | #Constraints: 24048 442.71/444.39 c #Conflicts: 613000 | #Constraints: 25048 442.71/444.39 c #Conflicts: 614000 | #Constraints: 26049 442.71/444.39 c #Conflicts: 615000 | #Constraints: 27053 442.71/444.39 c #Conflicts: 616000 | #Constraints: 28053 442.71/444.39 c #Conflicts: 617000 | #Constraints: 29053 442.71/444.39 c #Conflicts: 618000 | #Constraints: 30054 442.71/444.39 c #Conflicts: 619000 | #Constraints: 31054 442.71/444.39 c #Conflicts: 620000 | #Constraints: 32054 442.71/444.39 c #Conflicts: 621000 | #Constraints: 33055 442.71/444.39 c #Conflicts: 622000 | #Constraints: 34056 442.71/444.39 c #Conflicts: 623000 | #Constraints: 35057 442.71/444.39 c INPROCESSING 442.71/444.39 c GARBAGE COLLECT 442.71/444.39 c rational objective 4.74081 465.92/467.61 c #Conflicts: 624000 | #Constraints: 20444 465.92/467.61 c #Conflicts: 625000 | #Constraints: 21444 465.92/467.61 c #Conflicts: 626000 | #Constraints: 22444 465.92/467.61 c #Conflicts: 627000 | #Constraints: 23444 465.92/467.61 c #Conflicts: 628000 | #Constraints: 24445 465.92/467.61 c #Conflicts: 629000 | #Constraints: 25446 465.92/467.61 c #Conflicts: 630000 | #Constraints: 26447 465.92/467.61 c #Conflicts: 631000 | #Constraints: 27448 465.92/467.61 c #Conflicts: 632000 | #Constraints: 28448 465.92/467.61 c #Conflicts: 633000 | #Constraints: 29448 465.92/467.61 c #Conflicts: 634000 | #Constraints: 30448 465.92/467.61 c #Conflicts: 635000 | #Constraints: 31449 465.92/467.61 c #Conflicts: 636000 | #Constraints: 32449 465.92/467.61 c #Conflicts: 637000 | #Constraints: 33449 465.92/467.61 c #Conflicts: 638000 | #Constraints: 34449 465.92/467.61 c #Conflicts: 639000 | #Constraints: 35449 465.92/467.61 c INPROCESSING 465.92/467.61 c GARBAGE COLLECT 465.92/467.61 c rational objective 4.74081 476.68/478.41 c #Conflicts: 640000 | #Constraints: 20649 476.68/478.41 c #Conflicts: 641000 | #Constraints: 21652 476.68/478.41 c #Conflicts: 642000 | #Constraints: 22652 476.68/478.41 c #Conflicts: 643000 | #Constraints: 23652 476.68/478.41 c #Conflicts: 644000 | #Constraints: 24653 476.68/478.41 c #Conflicts: 645000 | #Constraints: 25654 476.68/478.41 c #Conflicts: 646000 | #Constraints: 26655 476.68/478.41 c #Conflicts: 647000 | #Constraints: 27655 476.68/478.41 c #Conflicts: 648000 | #Constraints: 28656 476.68/478.41 c #Conflicts: 649000 | #Constraints: 29657 476.68/478.41 c #Conflicts: 650000 | #Constraints: 30657 476.68/478.41 c #Conflicts: 651000 | #Constraints: 31657 476.68/478.41 c #Conflicts: 652000 | #Constraints: 32657 476.68/478.41 c #Conflicts: 653000 | #Constraints: 33657 476.68/478.41 c #Conflicts: 654000 | #Constraints: 34658 476.68/478.41 c #Conflicts: 655000 | #Constraints: 35658 476.68/478.41 c INPROCESSING 476.68/478.41 c GARBAGE COLLECT 476.68/478.41 c rational objective 4.74081 488.44/490.26 c #Conflicts: 656000 | #Constraints: 20640 488.44/490.26 c #Conflicts: 657000 | #Constraints: 21640 488.44/490.26 c #Conflicts: 658000 | #Constraints: 22640 488.44/490.26 c #Conflicts: 659000 | #Constraints: 23641 488.44/490.26 c #Conflicts: 660000 | #Constraints: 24642 488.44/490.26 c #Conflicts: 661000 | #Constraints: 25644 488.44/490.26 c #Conflicts: 662000 | #Constraints: 26644 488.44/490.26 c #Conflicts: 663000 | #Constraints: 27644 488.44/490.26 c #Conflicts: 664000 | #Constraints: 28644 488.44/490.26 c #Conflicts: 665000 | #Constraints: 29644 488.44/490.26 c #Conflicts: 666000 | #Constraints: 30645 488.44/490.26 c #Conflicts: 667000 | #Constraints: 31646 488.44/490.26 c #Conflicts: 668000 | #Constraints: 32646 488.44/490.26 c #Conflicts: 669000 | #Constraints: 33647 488.44/490.26 c #Conflicts: 670000 | #Constraints: 34648 488.44/490.26 c #Conflicts: 671000 | #Constraints: 35649 488.44/490.26 c INPROCESSING 488.44/490.26 c GARBAGE COLLECT 488.44/490.26 c rational objective 4.74081 500.90/502.75 c #Conflicts: 672000 | #Constraints: 20442 500.90/502.75 c #Conflicts: 673000 | #Constraints: 21442 500.90/502.75 c #Conflicts: 674000 | #Constraints: 22443 500.90/502.75 c #Conflicts: 675000 | #Constraints: 23443 500.90/502.75 c #Conflicts: 676000 | #Constraints: 24445 500.90/502.75 c #Conflicts: 677000 | #Constraints: 25445 500.90/502.75 c #Conflicts: 678000 | #Constraints: 26446 500.90/502.75 c #Conflicts: 679000 | #Constraints: 27448 500.90/502.75 c #Conflicts: 680000 | #Constraints: 28449 500.90/502.75 c #Conflicts: 681000 | #Constraints: 29449 500.90/502.75 c #Conflicts: 682000 | #Constraints: 30449 500.90/502.75 c #Conflicts: 683000 | #Constraints: 31449 500.90/502.75 c #Conflicts: 684000 | #Constraints: 32449 500.90/502.75 c #Conflicts: 685000 | #Constraints: 33449 500.90/502.75 c #Conflicts: 686000 | #Constraints: 34451 500.90/502.75 c #Conflicts: 687000 | #Constraints: 35451 500.90/502.75 c #Conflicts: 688000 | #Constraints: 36453 500.90/502.75 c INPROCESSING 500.90/502.75 c GARBAGE COLLECT 500.90/502.75 c rational objective 4.74094 509.87/511.79 c #Conflicts: 689000 | #Constraints: 21054 509.87/511.79 c #Conflicts: 690000 | #Constraints: 22055 509.87/511.79 c #Conflicts: 691000 | #Constraints: 23055 509.87/511.79 c #Conflicts: 692000 | #Constraints: 24055 509.87/511.79 c #Conflicts: 693000 | #Constraints: 25056 509.87/511.79 c #Conflicts: 694000 | #Constraints: 26057 509.87/511.79 c #Conflicts: 695000 | #Constraints: 27057 509.87/511.79 c #Conflicts: 696000 | #Constraints: 28057 509.87/511.79 c #Conflicts: 697000 | #Constraints: 29058 509.87/511.79 c #Conflicts: 698000 | #Constraints: 30058 509.87/511.79 c #Conflicts: 699000 | #Constraints: 31058 509.87/511.79 c #Conflicts: 700000 | #Constraints: 32058 509.87/511.79 c #Conflicts: 701000 | #Constraints: 33058 509.87/511.79 c #Conflicts: 702000 | #Constraints: 34058 509.87/511.79 c #Conflicts: 703000 | #Constraints: 35059 509.87/511.79 c #Conflicts: 704000 | #Constraints: 36059 509.87/511.79 c #Conflicts: 705000 | #Constraints: 37060 509.87/511.79 c INPROCESSING 509.87/511.79 c GARBAGE COLLECT 509.87/511.79 c rational objective 4.74094 516.15/518.03 c #Conflicts: 706000 | #Constraints: 21448 516.15/518.03 c #Conflicts: 707000 | #Constraints: 22449 516.15/518.03 c #Conflicts: 708000 | #Constraints: 23450 516.15/518.03 c #Conflicts: 709000 | #Constraints: 24451 516.15/518.03 c #Conflicts: 710000 | #Constraints: 25452 516.15/518.03 c #Conflicts: 711000 | #Constraints: 26453 516.15/518.03 c #Conflicts: 712000 | #Constraints: 27453 516.15/518.03 c #Conflicts: 713000 | #Constraints: 28454 516.15/518.03 c #Conflicts: 714000 | #Constraints: 29454 516.15/518.03 c #Conflicts: 715000 | #Constraints: 30454 516.15/518.03 c #Conflicts: 716000 | #Constraints: 31456 516.15/518.03 c #Conflicts: 717000 | #Constraints: 32457 516.15/518.03 c #Conflicts: 718000 | #Constraints: 33457 516.15/518.03 c #Conflicts: 719000 | #Constraints: 34460 516.15/518.03 c #Conflicts: 720000 | #Constraints: 35460 516.15/518.03 c #Conflicts: 721000 | #Constraints: 36461 516.15/518.03 c #Conflicts: 722000 | #Constraints: 37461 516.15/518.03 c INPROCESSING 516.15/518.03 c GARBAGE COLLECT 516.15/518.03 c rational objective 4.74094 520.73/522.67 c #Conflicts: 723000 | #Constraints: 21669 520.73/522.67 c #Conflicts: 724000 | #Constraints: 22669 520.73/522.67 c #Conflicts: 725000 | #Constraints: 23670 520.73/522.67 c #Conflicts: 726000 | #Constraints: 24672 520.73/522.67 c #Conflicts: 727000 | #Constraints: 25673 520.73/522.67 c #Conflicts: 728000 | #Constraints: 26673 520.73/522.67 c #Conflicts: 729000 | #Constraints: 27673 520.73/522.67 c #Conflicts: 730000 | #Constraints: 28673 520.73/522.67 c #Conflicts: 731000 | #Constraints: 29674 520.73/522.67 c #Conflicts: 732000 | #Constraints: 30674 520.73/522.67 c #Conflicts: 733000 | #Constraints: 31675 520.73/522.67 c #Conflicts: 734000 | #Constraints: 32675 520.73/522.67 c #Conflicts: 735000 | #Constraints: 33675 520.73/522.67 c #Conflicts: 736000 | #Constraints: 34675 520.73/522.67 c #Conflicts: 737000 | #Constraints: 35675 520.73/522.67 c #Conflicts: 738000 | #Constraints: 36675 520.73/522.67 c #Conflicts: 739000 | #Constraints: 37676 520.73/522.67 c INPROCESSING 520.73/522.67 c GARBAGE COLLECT 520.73/522.67 c rational objective 4.74094 536.08/538.02 c #Conflicts: 740000 | #Constraints: 21677 536.08/538.02 c #Conflicts: 741000 | #Constraints: 22677 536.08/538.02 c #Conflicts: 742000 | #Constraints: 23677 536.08/538.02 c #Conflicts: 743000 | #Constraints: 24678 536.08/538.02 c #Conflicts: 744000 | #Constraints: 25678 536.08/538.02 c #Conflicts: 745000 | #Constraints: 26678 536.08/538.02 c #Conflicts: 746000 | #Constraints: 27678 536.08/538.02 c #Conflicts: 747000 | #Constraints: 28679 536.08/538.02 c #Conflicts: 748000 | #Constraints: 29680 536.08/538.02 c #Conflicts: 749000 | #Constraints: 30680 536.08/538.02 c #Conflicts: 750000 | #Constraints: 31681 536.08/538.02 c #Conflicts: 751000 | #Constraints: 32683 536.08/538.02 c #Conflicts: 752000 | #Constraints: 33683 536.08/538.02 c #Conflicts: 753000 | #Constraints: 34683 536.08/538.02 c #Conflicts: 754000 | #Constraints: 35683 536.08/538.02 c #Conflicts: 755000 | #Constraints: 36683 536.08/538.02 c #Conflicts: 756000 | #Constraints: 37683 536.08/538.02 c INPROCESSING 536.08/538.02 c GARBAGE COLLECT 536.08/538.02 c rational objective 4.74157 546.74/548.71 c #Conflicts: 757000 | #Constraints: 21468 546.74/548.71 c #Conflicts: 758000 | #Constraints: 22469 546.74/548.71 c #Conflicts: 759000 | #Constraints: 23469 546.74/548.71 c #Conflicts: 760000 | #Constraints: 24469 546.74/548.71 c #Conflicts: 761000 | #Constraints: 25469 546.74/548.71 c #Conflicts: 762000 | #Constraints: 26470 546.74/548.71 c #Conflicts: 763000 | #Constraints: 27472 546.74/548.71 c #Conflicts: 764000 | #Constraints: 28473 546.74/548.71 c #Conflicts: 765000 | #Constraints: 29473 546.74/548.71 c #Conflicts: 766000 | #Constraints: 30473 546.74/548.71 c #Conflicts: 767000 | #Constraints: 31473 546.74/548.71 c #Conflicts: 768000 | #Constraints: 32474 546.74/548.71 c #Conflicts: 769000 | #Constraints: 33474 546.74/548.71 c #Conflicts: 770000 | #Constraints: 34475 546.74/548.71 c #Conflicts: 771000 | #Constraints: 35476 546.74/548.71 c #Conflicts: 772000 | #Constraints: 36476 546.74/548.71 c #Conflicts: 773000 | #Constraints: 37477 546.74/548.71 c #Conflicts: 774000 | #Constraints: 38479 546.74/548.71 c INPROCESSING 546.74/548.71 c GARBAGE COLLECT 546.74/548.71 c rational objective 4.74157 566.37/568.45 c #Conflicts: 775000 | #Constraints: 22065 566.37/568.45 c #Conflicts: 776000 | #Constraints: 23066 566.37/568.45 c #Conflicts: 777000 | #Constraints: 24066 566.37/568.45 c #Conflicts: 778000 | #Constraints: 25066 566.37/568.45 c #Conflicts: 779000 | #Constraints: 26066 566.37/568.45 c #Conflicts: 780000 | #Constraints: 27066 566.37/568.45 c #Conflicts: 781000 | #Constraints: 28066 566.37/568.45 c #Conflicts: 782000 | #Constraints: 29067 566.37/568.45 c #Conflicts: 783000 | #Constraints: 30068 566.37/568.45 c #Conflicts: 784000 | #Constraints: 31068 566.37/568.45 c #Conflicts: 785000 | #Constraints: 32068 566.37/568.45 c #Conflicts: 786000 | #Constraints: 33068 566.37/568.45 c #Conflicts: 787000 | #Constraints: 34068 566.37/568.45 c #Conflicts: 788000 | #Constraints: 35068 566.37/568.45 c #Conflicts: 789000 | #Constraints: 36068 566.37/568.45 c #Conflicts: 790000 | #Constraints: 37070 566.37/568.45 c #Conflicts: 791000 | #Constraints: 38070 566.37/568.45 c #Conflicts: 792000 | #Constraints: 39071 566.37/568.45 c INPROCESSING 566.37/568.45 c GARBAGE COLLECT 566.37/568.45 c rational objective 4.74157 579.33/581.42 c #Conflicts: 793000 | #Constraints: 22435 579.33/581.42 c #Conflicts: 794000 | #Constraints: 23437 579.33/581.42 c #Conflicts: 795000 | #Constraints: 24437 579.33/581.42 c #Conflicts: 796000 | #Constraints: 25438 579.33/581.42 c #Conflicts: 797000 | #Constraints: 26439 579.33/581.42 c #Conflicts: 798000 | #Constraints: 27439 579.33/581.42 c #Conflicts: 799000 | #Constraints: 28439 579.33/581.42 c #Conflicts: 800000 | #Constraints: 29440 579.33/581.42 c #Conflicts: 801000 | #Constraints: 30440 579.33/581.42 c #Conflicts: 802000 | #Constraints: 31441 579.33/581.42 c #Conflicts: 803000 | #Constraints: 32441 579.33/581.42 c #Conflicts: 804000 | #Constraints: 33441 579.33/581.42 c #Conflicts: 805000 | #Constraints: 34441 579.33/581.42 c #Conflicts: 806000 | #Constraints: 35441 579.33/581.42 c #Conflicts: 807000 | #Constraints: 36441 579.33/581.42 c #Conflicts: 808000 | #Constraints: 37442 579.33/581.42 c #Conflicts: 809000 | #Constraints: 38443 579.33/581.42 c #Conflicts: 810000 | #Constraints: 39443 579.33/581.42 c INPROCESSING 579.33/581.42 c GARBAGE COLLECT 579.33/581.42 c rational objective 4.74157 594.02/596.27 c #Conflicts: 811000 | #Constraints: 22642 594.02/596.27 c #Conflicts: 812000 | #Constraints: 23642 594.02/596.27 c #Conflicts: 813000 | #Constraints: 24642 594.02/596.27 c #Conflicts: 814000 | #Constraints: 25642 594.02/596.27 c #Conflicts: 815000 | #Constraints: 26642 594.02/596.27 c #Conflicts: 816000 | #Constraints: 27642 594.02/596.27 c #Conflicts: 817000 | #Constraints: 28642 594.02/596.27 c #Conflicts: 818000 | #Constraints: 29642 594.02/596.27 c #Conflicts: 819000 | #Constraints: 30642 594.02/596.27 c #Conflicts: 820000 | #Constraints: 31642 594.02/596.27 c #Conflicts: 821000 | #Constraints: 32642 594.02/596.27 c #Conflicts: 822000 | #Constraints: 33642 594.02/596.27 c #Conflicts: 823000 | #Constraints: 34642 594.02/596.27 c #Conflicts: 824000 | #Constraints: 35642 594.02/596.27 c #Conflicts: 825000 | #Constraints: 36642 594.02/596.27 c #Conflicts: 826000 | #Constraints: 37643 594.02/596.27 c #Conflicts: 827000 | #Constraints: 38643 594.02/596.27 c #Conflicts: 828000 | #Constraints: 39643 594.02/596.27 c INPROCESSING 594.02/596.27 c GARBAGE COLLECT 594.02/596.27 c rational objective 4.74157 612.82/615.21 c #Conflicts: 829000 | #Constraints: 22642 612.82/615.21 c #Conflicts: 830000 | #Constraints: 23643 612.82/615.21 c #Conflicts: 831000 | #Constraints: 24645 612.82/615.21 c #Conflicts: 832000 | #Constraints: 25646 612.82/615.21 c #Conflicts: 833000 | #Constraints: 26648 612.82/615.21 c #Conflicts: 834000 | #Constraints: 27648 612.82/615.21 c #Conflicts: 835000 | #Constraints: 28648 612.82/615.21 c #Conflicts: 836000 | #Constraints: 29649 612.82/615.21 c #Conflicts: 837000 | #Constraints: 30649 612.82/615.21 c #Conflicts: 838000 | #Constraints: 31649 612.82/615.21 c #Conflicts: 839000 | #Constraints: 32649 612.82/615.21 c #Conflicts: 840000 | #Constraints: 33650 612.82/615.21 c #Conflicts: 841000 | #Constraints: 34651 612.82/615.21 c #Conflicts: 842000 | #Constraints: 35652 612.82/615.21 c #Conflicts: 843000 | #Constraints: 36653 612.82/615.21 c #Conflicts: 844000 | #Constraints: 37656 612.82/615.21 c #Conflicts: 845000 | #Constraints: 38656 612.82/615.21 c #Conflicts: 846000 | #Constraints: 39656 612.82/615.21 c INPROCESSING 612.82/615.21 c GARBAGE COLLECT 612.82/615.21 c rational objective 4.74157 625.79/628.22 c #Conflicts: 847000 | #Constraints: 22429 625.79/628.22 c #Conflicts: 848000 | #Constraints: 23430 625.79/628.22 c #Conflicts: 849000 | #Constraints: 24430 625.79/628.22 c #Conflicts: 850000 | #Constraints: 25430 625.79/628.22 c #Conflicts: 851000 | #Constraints: 26431 625.79/628.22 c #Conflicts: 852000 | #Constraints: 27431 625.79/628.22 c #Conflicts: 853000 | #Constraints: 28431 625.79/628.22 c #Conflicts: 854000 | #Constraints: 29431 625.79/628.22 c #Conflicts: 855000 | #Constraints: 30432 625.79/628.22 c #Conflicts: 856000 | #Constraints: 31433 625.79/628.22 c #Conflicts: 857000 | #Constraints: 32433 625.79/628.22 c #Conflicts: 858000 | #Constraints: 33433 625.79/628.22 c #Conflicts: 859000 | #Constraints: 34433 625.79/628.22 c #Conflicts: 860000 | #Constraints: 35434 625.79/628.22 c #Conflicts: 861000 | #Constraints: 36434 625.79/628.22 c #Conflicts: 862000 | #Constraints: 37434 625.79/628.22 c #Conflicts: 863000 | #Constraints: 38434 625.79/628.22 c #Conflicts: 864000 | #Constraints: 39434 625.79/628.22 c #Conflicts: 865000 | #Constraints: 40435 625.79/628.22 c INPROCESSING 625.79/628.22 c GARBAGE COLLECT 625.79/628.22 c rational objective 4.74157 639.64/642.12 c #Conflicts: 866000 | #Constraints: 23020 639.64/642.12 c #Conflicts: 867000 | #Constraints: 24020 639.64/642.12 c #Conflicts: 868000 | #Constraints: 25020 639.64/642.12 c #Conflicts: 869000 | #Constraints: 26022 639.64/642.12 c #Conflicts: 870000 | #Constraints: 27022 639.64/642.12 c #Conflicts: 871000 | #Constraints: 28023 639.64/642.12 c #Conflicts: 872000 | #Constraints: 29023 639.64/642.12 c #Conflicts: 873000 | #Constraints: 30024 639.64/642.12 c #Conflicts: 874000 | #Constraints: 31025 639.64/642.12 c #Conflicts: 875000 | #Constraints: 32025 639.64/642.12 c #Conflicts: 876000 | #Constraints: 33026 639.64/642.12 c #Conflicts: 877000 | #Constraints: 34026 639.64/642.12 c #Conflicts: 878000 | #Constraints: 35027 639.64/642.12 c #Conflicts: 879000 | #Constraints: 36028 639.64/642.12 c #Conflicts: 880000 | #Constraints: 37028 639.64/642.12 c #Conflicts: 881000 | #Constraints: 38028 639.64/642.12 c #Conflicts: 882000 | #Constraints: 39028 639.64/642.12 c #Conflicts: 883000 | #Constraints: 40029 639.64/642.12 c #Conflicts: 884000 | #Constraints: 41030 639.64/642.12 c INPROCESSING 639.64/642.12 c GARBAGE COLLECT 639.64/642.12 c rational objective 4.74157 663.03/665.64 c #Conflicts: 885000 | #Constraints: 23437 663.03/665.64 c #Conflicts: 886000 | #Constraints: 24437 663.03/665.64 c #Conflicts: 887000 | #Constraints: 25437 663.03/665.64 c #Conflicts: 888000 | #Constraints: 26437 663.03/665.64 c #Conflicts: 889000 | #Constraints: 27437 663.03/665.64 c #Conflicts: 890000 | #Constraints: 28437 663.03/665.64 c #Conflicts: 891000 | #Constraints: 29437 663.03/665.64 c #Conflicts: 892000 | #Constraints: 30437 663.03/665.64 c #Conflicts: 893000 | #Constraints: 31438 663.03/665.64 c #Conflicts: 894000 | #Constraints: 32438 663.03/665.64 c #Conflicts: 895000 | #Constraints: 33439 663.03/665.64 c #Conflicts: 896000 | #Constraints: 34439 663.03/665.64 c #Conflicts: 897000 | #Constraints: 35439 663.03/665.64 c #Conflicts: 898000 | #Constraints: 36439 663.03/665.64 c #Conflicts: 899000 | #Constraints: 37439 663.03/665.64 c #Conflicts: 900000 | #Constraints: 38439 663.03/665.64 c #Conflicts: 901000 | #Constraints: 39439 663.03/665.64 c #Conflicts: 902000 | #Constraints: 40439 663.03/665.64 c #Conflicts: 903000 | #Constraints: 41439 663.03/665.64 c INPROCESSING 663.03/665.64 c GARBAGE COLLECT 663.03/665.64 c rational objective 4.74157 686.94/689.67 c #Conflicts: 904000 | #Constraints: 23654 686.94/689.67 c #Conflicts: 905000 | #Constraints: 24654 686.94/689.67 c #Conflicts: 906000 | #Constraints: 25654 686.94/689.67 c #Conflicts: 907000 | #Constraints: 26654 686.94/689.67 c #Conflicts: 908000 | #Constraints: 27654 686.94/689.67 c #Conflicts: 909000 | #Constraints: 28654 686.94/689.67 c #Conflicts: 910000 | #Constraints: 29654 686.94/689.67 c #Conflicts: 911000 | #Constraints: 30654 686.94/689.67 c #Conflicts: 912000 | #Constraints: 31654 686.94/689.67 c #Conflicts: 913000 | #Constraints: 32655 686.94/689.67 c #Conflicts: 914000 | #Constraints: 33656 686.94/689.67 c #Conflicts: 915000 | #Constraints: 34656 686.94/689.67 c #Conflicts: 916000 | #Constraints: 35656 686.94/689.67 c #Conflicts: 917000 | #Constraints: 36656 686.94/689.67 c #Conflicts: 918000 | #Constraints: 37656 686.94/689.67 c #Conflicts: 919000 | #Constraints: 38656 686.94/689.67 c #Conflicts: 920000 | #Constraints: 39656 686.94/689.67 c #Conflicts: 921000 | #Constraints: 40656 686.94/689.67 c #Conflicts: 922000 | #Constraints: 41656 686.94/689.67 c INPROCESSING 686.94/689.67 c GARBAGE COLLECT 686.94/689.67 c rational objective 4.74157 699.09/701.85 c #Conflicts: 923000 | #Constraints: 23653 699.09/701.85 c #Conflicts: 924000 | #Constraints: 24654 699.09/701.85 c #Conflicts: 925000 | #Constraints: 25654 699.09/701.85 c #Conflicts: 926000 | #Constraints: 26654 699.09/701.85 c #Conflicts: 927000 | #Constraints: 27655 699.09/701.85 c #Conflicts: 928000 | #Constraints: 28655 699.09/701.85 c #Conflicts: 929000 | #Constraints: 29655 699.09/701.85 c #Conflicts: 930000 | #Constraints: 30655 699.09/701.85 c #Conflicts: 931000 | #Constraints: 31656 699.09/701.85 c #Conflicts: 932000 | #Constraints: 32656 699.09/701.85 c #Conflicts: 933000 | #Constraints: 33656 699.09/701.85 c #Conflicts: 934000 | #Constraints: 34656 699.09/701.85 c #Conflicts: 935000 | #Constraints: 35657 699.09/701.85 c #Conflicts: 936000 | #Constraints: 36657 699.09/701.85 c #Conflicts: 937000 | #Constraints: 37657 699.09/701.85 c #Conflicts: 938000 | #Constraints: 38657 699.09/701.85 c #Conflicts: 939000 | #Constraints: 39658 699.09/701.85 c #Conflicts: 940000 | #Constraints: 40658 699.09/701.85 c #Conflicts: 941000 | #Constraints: 41659 699.09/701.85 c INPROCESSING 699.09/701.85 c GARBAGE COLLECT 699.09/701.85 c rational objective 4.74157 758.05/761.07 c #Conflicts: 942000 | #Constraints: 23479 758.05/761.07 c #Conflicts: 943000 | #Constraints: 24479 758.05/761.07 c #Conflicts: 944000 | #Constraints: 25480 758.05/761.07 c #Conflicts: 945000 | #Constraints: 26480 758.05/761.07 c #Conflicts: 946000 | #Constraints: 27688 758.05/761.07 c #Conflicts: 947000 | #Constraints: 29315 758.05/761.07 c #Conflicts: 948000 | #Constraints: 30770 758.05/761.07 c #Conflicts: 949000 | #Constraints: 31770 758.05/761.07 c #Conflicts: 950000 | #Constraints: 32770 758.05/761.07 c #Conflicts: 951000 | #Constraints: 33770 758.05/761.07 c #Conflicts: 952000 | #Constraints: 34770 758.05/761.07 c #Conflicts: 953000 | #Constraints: 35770 758.05/761.07 c #Conflicts: 954000 | #Constraints: 36770 758.05/761.07 c #Conflicts: 955000 | #Constraints: 37770 758.05/761.07 c #Conflicts: 956000 | #Constraints: 38770 758.05/761.07 c #Conflicts: 957000 | #Constraints: 39770 758.05/761.07 c #Conflicts: 958000 | #Constraints: 40770 758.05/761.07 c #Conflicts: 959000 | #Constraints: 41770 758.05/761.07 c #Conflicts: 960000 | #Constraints: 42770 758.05/761.07 c #Conflicts: 961000 | #Constraints: 43770 758.05/761.07 c INPROCESSING 758.05/761.07 c GARBAGE COLLECT 758.05/761.07 c rational objective 4.74157 769.61/772.62 c #Conflicts: 962000 | #Constraints: 24731 769.61/772.62 c #Conflicts: 963000 | #Constraints: 25733 769.61/772.62 c #Conflicts: 964000 | #Constraints: 26735 769.61/772.62 c #Conflicts: 965000 | #Constraints: 27736 769.61/772.62 c #Conflicts: 966000 | #Constraints: 28738 769.61/772.62 c #Conflicts: 967000 | #Constraints: 29740 769.61/772.62 c #Conflicts: 968000 | #Constraints: 30740 769.61/772.62 c #Conflicts: 969000 | #Constraints: 31741 769.61/772.62 c #Conflicts: 970000 | #Constraints: 32741 769.61/772.62 c #Conflicts: 971000 | #Constraints: 33744 769.61/772.62 c #Conflicts: 972000 | #Constraints: 34744 769.61/772.62 c #Conflicts: 973000 | #Constraints: 35744 769.61/772.62 c #Conflicts: 974000 | #Constraints: 36745 769.61/772.62 c #Conflicts: 975000 | #Constraints: 37746 769.61/772.62 c #Conflicts: 976000 | #Constraints: 38748 769.61/772.62 c #Conflicts: 977000 | #Constraints: 39748 769.61/772.62 c #Conflicts: 978000 | #Constraints: 40748 769.61/772.62 c #Conflicts: 979000 | #Constraints: 41748 769.61/772.62 c #Conflicts: 980000 | #Constraints: 42748 769.61/772.62 c #Conflicts: 981000 | #Constraints: 43748 769.61/772.62 c INPROCESSING 769.61/772.62 c GARBAGE COLLECT 769.61/772.62 c rational objective 4.74157 774.28/777.32 c #Conflicts: 982000 | #Constraints: 24792 774.28/777.32 c #Conflicts: 983000 | #Constraints: 25792 774.28/777.32 c #Conflicts: 984000 | #Constraints: 26792 774.28/777.32 c #Conflicts: 985000 | #Constraints: 27792 774.28/777.32 c #Conflicts: 986000 | #Constraints: 28792 774.28/777.32 c #Conflicts: 987000 | #Constraints: 29792 774.28/777.32 c #Conflicts: 988000 | #Constraints: 30792 774.28/777.32 c #Conflicts: 989000 | #Constraints: 31794 774.28/777.32 c #Conflicts: 990000 | #Constraints: 32794 774.28/777.32 c #Conflicts: 991000 | #Constraints: 33794 774.28/777.32 c #Conflicts: 992000 | #Constraints: 34794 774.28/777.32 c #Conflicts: 993000 | #Constraints: 35794 774.28/777.32 c #Conflicts: 994000 | #Constraints: 36794 774.28/777.32 c #Conflicts: 995000 | #Constraints: 37794 774.28/777.32 c #Conflicts: 996000 | #Constraints: 38794 774.28/777.32 c #Conflicts: 997000 | #Constraints: 39794 774.28/777.32 c #Conflicts: 998000 | #Constraints: 40794 774.28/777.32 c #Conflicts: 999000 | #Constraints: 41794 774.28/777.32 c #Conflicts: 1000000 | #Constraints: 42794 774.28/777.32 c #Conflicts: 1001000 | #Constraints: 43794 774.28/777.32 c INPROCESSING 774.28/777.32 c GARBAGE COLLECT 774.28/777.32 c rational objective 4.74157 787.83/790.92 c #Conflicts: 1002000 | #Constraints: 24866 787.83/790.92 c #Conflicts: 1003000 | #Constraints: 25868 787.83/790.92 c #Conflicts: 1004000 | #Constraints: 26868 787.83/790.92 c #Conflicts: 1005000 | #Constraints: 27869 787.83/790.92 c #Conflicts: 1006000 | #Constraints: 28871 787.83/790.92 c #Conflicts: 1007000 | #Constraints: 29871 787.83/790.92 c #Conflicts: 1008000 | #Constraints: 30872 787.83/790.92 c #Conflicts: 1009000 | #Constraints: 31873 787.83/790.92 c #Conflicts: 1010000 | #Constraints: 32875 787.83/790.92 c #Conflicts: 1011000 | #Constraints: 33877 787.83/790.92 c #Conflicts: 1012000 | #Constraints: 34877 787.83/790.92 c #Conflicts: 1013000 | #Constraints: 35878 787.83/790.92 c #Conflicts: 1014000 | #Constraints: 36878 787.83/790.92 c #Conflicts: 1015000 | #Constraints: 37879 787.83/790.92 c #Conflicts: 1016000 | #Constraints: 38879 787.83/790.92 c #Conflicts: 1017000 | #Constraints: 39880 787.83/790.92 c #Conflicts: 1018000 | #Constraints: 40880 787.83/790.92 c #Conflicts: 1019000 | #Constraints: 41880 787.83/790.92 c #Conflicts: 1020000 | #Constraints: 42881 787.83/790.92 c #Conflicts: 1021000 | #Constraints: 43881 787.83/790.92 c INPROCESSING 787.83/790.92 c GARBAGE COLLECT 787.83/790.92 c rational objective 4.74157 822.47/825.71 c #Conflicts: 1022000 | #Constraints: 24784 822.47/825.71 c #Conflicts: 1023000 | #Constraints: 25784 822.47/825.71 c #Conflicts: 1024000 | #Constraints: 26784 822.47/825.71 c #Conflicts: 1025000 | #Constraints: 27784 822.47/825.71 c #Conflicts: 1026000 | #Constraints: 28785 822.47/825.71 c #Conflicts: 1027000 | #Constraints: 29785 822.47/825.71 c #Conflicts: 1028000 | #Constraints: 30786 822.47/825.71 c #Conflicts: 1029000 | #Constraints: 31786 822.47/825.71 c #Conflicts: 1030000 | #Constraints: 32788 822.47/825.71 c #Conflicts: 1031000 | #Constraints: 33788 822.47/825.71 c #Conflicts: 1032000 | #Constraints: 34788 822.47/825.71 c #Conflicts: 1033000 | #Constraints: 35789 822.47/825.71 c #Conflicts: 1034000 | #Constraints: 36789 822.47/825.71 c #Conflicts: 1035000 | #Constraints: 37789 822.47/825.71 c #Conflicts: 1036000 | #Constraints: 38789 822.47/825.71 c #Conflicts: 1037000 | #Constraints: 39789 822.47/825.71 c #Conflicts: 1038000 | #Constraints: 40789 822.47/825.71 c #Conflicts: 1039000 | #Constraints: 41790 822.47/825.71 c #Conflicts: 1040000 | #Constraints: 42790 822.47/825.71 c #Conflicts: 1041000 | #Constraints: 43790 822.47/825.71 c INPROCESSING 822.47/825.71 c GARBAGE COLLECT 822.47/825.71 c rational objective 4.7427 941.98/945.71 c #Conflicts: 1042000 | #Constraints: 24537 941.98/945.71 c #Conflicts: 1043000 | #Constraints: 25537 941.98/945.71 c #Conflicts: 1044000 | #Constraints: 26537 941.98/945.71 c #Conflicts: 1045000 | #Constraints: 27537 941.98/945.71 c #Conflicts: 1046000 | #Constraints: 28537 941.98/945.71 c #Conflicts: 1047000 | #Constraints: 29537 941.98/945.71 c #Conflicts: 1048000 | #Constraints: 30537 941.98/945.71 c #Conflicts: 1049000 | #Constraints: 31537 941.98/945.71 c #Conflicts: 1050000 | #Constraints: 32537 941.98/945.71 c #Conflicts: 1051000 | #Constraints: 33537 941.98/945.71 c #Conflicts: 1052000 | #Constraints: 34537 941.98/945.71 c #Conflicts: 1053000 | #Constraints: 35537 941.98/945.71 c #Conflicts: 1054000 | #Constraints: 36537 941.98/945.71 c #Conflicts: 1055000 | #Constraints: 37537 941.98/945.71 c #Conflicts: 1056000 | #Constraints: 38537 941.98/945.71 c #Conflicts: 1057000 | #Constraints: 39537 941.98/945.71 c #Conflicts: 1058000 | #Constraints: 40537 941.98/945.71 c #Conflicts: 1059000 | #Constraints: 41537 941.98/945.71 c #Conflicts: 1060000 | #Constraints: 42537 941.98/945.71 c #Conflicts: 1061000 | #Constraints: 43537 941.98/945.71 c #Conflicts: 1062000 | #Constraints: 44537 941.98/945.71 c INPROCESSING 941.98/945.71 c GARBAGE COLLECT 941.98/945.71 c rational objective 4.74272 949.16/952.91 c #Conflicts: 1063000 | #Constraints: 25123 949.16/952.91 c #Conflicts: 1064000 | #Constraints: 26123 949.16/952.91 c #Conflicts: 1065000 | #Constraints: 27124 949.16/952.91 c #Conflicts: 1066000 | #Constraints: 28125 949.16/952.91 c #Conflicts: 1067000 | #Constraints: 29126 949.16/952.91 c #Conflicts: 1068000 | #Constraints: 30126 949.16/952.91 c #Conflicts: 1069000 | #Constraints: 31126 949.16/952.91 c #Conflicts: 1070000 | #Constraints: 32128 949.16/952.91 c #Conflicts: 1071000 | #Constraints: 33128 949.16/952.91 c #Conflicts: 1072000 | #Constraints: 34128 949.16/952.91 c #Conflicts: 1073000 | #Constraints: 35128 949.16/952.91 c #Conflicts: 1074000 | #Constraints: 36128 949.16/952.91 c #Conflicts: 1075000 | #Constraints: 37128 949.16/952.91 c #Conflicts: 1076000 | #Constraints: 38129 949.16/952.91 c #Conflicts: 1077000 | #Constraints: 39129 949.16/952.91 c #Conflicts: 1078000 | #Constraints: 40129 949.16/952.91 c #Conflicts: 1079000 | #Constraints: 41129 949.16/952.91 c #Conflicts: 1080000 | #Constraints: 42129 949.16/952.91 c #Conflicts: 1081000 | #Constraints: 43129 949.16/952.91 c #Conflicts: 1082000 | #Constraints: 44130 949.16/952.91 c #Conflicts: 1083000 | #Constraints: 45131 949.16/952.91 c INPROCESSING 949.16/952.91 c GARBAGE COLLECT 949.16/952.91 c rational objective 4.74273 954.84/958.62 c #Conflicts: 1084000 | #Constraints: 25514 954.84/958.62 c #Conflicts: 1085000 | #Constraints: 26515 954.84/958.62 c #Conflicts: 1086000 | #Constraints: 27515 954.84/958.62 c #Conflicts: 1087000 | #Constraints: 28516 954.84/958.62 c #Conflicts: 1088000 | #Constraints: 29518 954.84/958.62 c #Conflicts: 1089000 | #Constraints: 30518 954.84/958.62 c #Conflicts: 1090000 | #Constraints: 31518 954.84/958.62 c #Conflicts: 1091000 | #Constraints: 32518 954.84/958.62 c #Conflicts: 1092000 | #Constraints: 33518 954.84/958.62 c #Conflicts: 1093000 | #Constraints: 34518 954.84/958.62 c #Conflicts: 1094000 | #Constraints: 35518 954.84/958.62 c #Conflicts: 1095000 | #Constraints: 36518 954.84/958.62 c #Conflicts: 1096000 | #Constraints: 37519 954.84/958.62 c #Conflicts: 1097000 | #Constraints: 38519 954.84/958.62 c #Conflicts: 1098000 | #Constraints: 39519 954.84/958.62 c #Conflicts: 1099000 | #Constraints: 40519 954.84/958.62 c #Conflicts: 1100000 | #Constraints: 41519 954.84/958.62 c #Conflicts: 1101000 | #Constraints: 42519 954.84/958.62 c #Conflicts: 1102000 | #Constraints: 43519 954.84/958.62 c #Conflicts: 1103000 | #Constraints: 44520 954.84/958.62 c #Conflicts: 1104000 | #Constraints: 45520 954.84/958.62 c INPROCESSING 954.84/958.62 c GARBAGE COLLECT 954.84/958.62 c rational objective 4.74274 1005.62/1009.60 c #Conflicts: 1105000 | #Constraints: 25701 1005.62/1009.60 c #Conflicts: 1106000 | #Constraints: 26701 1005.62/1009.60 c #Conflicts: 1107000 | #Constraints: 27701 1005.62/1009.60 c #Conflicts: 1108000 | #Constraints: 28701 1005.62/1009.60 c #Conflicts: 1109000 | #Constraints: 29701 1005.62/1009.60 c #Conflicts: 1110000 | #Constraints: 30701 1005.62/1009.60 c #Conflicts: 1111000 | #Constraints: 31701 1005.62/1009.60 c #Conflicts: 1112000 | #Constraints: 32701 1005.62/1009.60 c #Conflicts: 1113000 | #Constraints: 33703 1005.62/1009.60 c #Conflicts: 1114000 | #Constraints: 34703 1005.62/1009.60 c #Conflicts: 1115000 | #Constraints: 35703 1005.62/1009.60 c #Conflicts: 1116000 | #Constraints: 36703 1005.62/1009.60 c #Conflicts: 1117000 | #Constraints: 37703 1005.62/1009.60 c #Conflicts: 1118000 | #Constraints: 38704 1005.62/1009.60 c #Conflicts: 1119000 | #Constraints: 39704 1005.62/1009.60 c #Conflicts: 1120000 | #Constraints: 40704 1005.62/1009.60 c #Conflicts: 1121000 | #Constraints: 41704 1005.62/1009.60 c #Conflicts: 1122000 | #Constraints: 42704 1005.62/1009.60 c #Conflicts: 1123000 | #Constraints: 43704 1005.62/1009.60 c #Conflicts: 1124000 | #Constraints: 44704 1005.62/1009.60 c #Conflicts: 1125000 | #Constraints: 45704 1005.62/1009.60 c INPROCESSING 1005.62/1009.60 c GARBAGE COLLECT 1005.62/1009.60 c rational objective 4.74337 1016.09/1020.11 c #Conflicts: 1126000 | #Constraints: 25688 1016.09/1020.11 c #Conflicts: 1127000 | #Constraints: 26691 1016.09/1020.11 c #Conflicts: 1128000 | #Constraints: 27692 1016.09/1020.11 c #Conflicts: 1129000 | #Constraints: 28692 1016.09/1020.11 c #Conflicts: 1130000 | #Constraints: 29692 1016.09/1020.11 c #Conflicts: 1131000 | #Constraints: 30693 1016.09/1020.11 c #Conflicts: 1132000 | #Constraints: 31694 1016.09/1020.11 c #Conflicts: 1133000 | #Constraints: 32694 1016.09/1020.11 c #Conflicts: 1134000 | #Constraints: 33696 1016.09/1020.11 c #Conflicts: 1135000 | #Constraints: 34697 1016.09/1020.11 c #Conflicts: 1136000 | #Constraints: 35697 1016.09/1020.11 c #Conflicts: 1137000 | #Constraints: 36697 1016.09/1020.11 c #Conflicts: 1138000 | #Constraints: 37697 1016.09/1020.11 c #Conflicts: 1139000 | #Constraints: 38697 1016.09/1020.11 c #Conflicts: 1140000 | #Constraints: 39698 1016.09/1020.11 c #Conflicts: 1141000 | #Constraints: 40698 1016.09/1020.11 c #Conflicts: 1142000 | #Constraints: 41699 1016.09/1020.11 c #Conflicts: 1143000 | #Constraints: 42699 1016.09/1020.11 c #Conflicts: 1144000 | #Constraints: 43699 1016.09/1020.11 c #Conflicts: 1145000 | #Constraints: 44699 1016.09/1020.11 c #Conflicts: 1146000 | #Constraints: 45699 1016.09/1020.11 c INPROCESSING 1016.09/1020.11 c GARBAGE COLLECT 1016.09/1020.11 c rational objective 4.74337 1032.21/1036.38 c #Conflicts: 1147000 | #Constraints: 25475 1032.21/1036.38 c #Conflicts: 1148000 | #Constraints: 26476 1032.21/1036.38 c #Conflicts: 1149000 | #Constraints: 27477 1032.21/1036.38 c #Conflicts: 1150000 | #Constraints: 28477 1032.21/1036.38 c #Conflicts: 1151000 | #Constraints: 29478 1032.21/1036.38 c #Conflicts: 1152000 | #Constraints: 30479 1032.21/1036.38 c #Conflicts: 1153000 | #Constraints: 31479 1032.21/1036.38 c #Conflicts: 1154000 | #Constraints: 32479 1032.21/1036.38 c #Conflicts: 1155000 | #Constraints: 33480 1032.21/1036.38 c #Conflicts: 1156000 | #Constraints: 34481 1032.21/1036.38 c #Conflicts: 1157000 | #Constraints: 35481 1032.21/1036.38 c #Conflicts: 1158000 | #Constraints: 36481 1032.21/1036.38 c #Conflicts: 1159000 | #Constraints: 37481 1032.21/1036.38 c #Conflicts: 1160000 | #Constraints: 38482 1032.21/1036.38 c #Conflicts: 1161000 | #Constraints: 39482 1032.21/1036.38 c #Conflicts: 1162000 | #Constraints: 40482 1032.21/1036.38 c #Conflicts: 1163000 | #Constraints: 41482 1032.21/1036.38 c #Conflicts: 1164000 | #Constraints: 42482 1032.21/1036.38 c #Conflicts: 1165000 | #Constraints: 43482 1032.21/1036.38 c #Conflicts: 1166000 | #Constraints: 44483 1032.21/1036.38 c #Conflicts: 1167000 | #Constraints: 45483 1032.21/1036.38 c #Conflicts: 1168000 | #Constraints: 46483 1032.21/1036.38 c INPROCESSING 1032.21/1036.38 c GARBAGE COLLECT 1032.21/1036.38 c rational objective 4.74337 1046.37/1050.52 c #Conflicts: 1169000 | #Constraints: 26057 1046.37/1050.52 c #Conflicts: 1170000 | #Constraints: 27057 1046.37/1050.52 c #Conflicts: 1171000 | #Constraints: 28058 1046.37/1050.52 c #Conflicts: 1172000 | #Constraints: 29058 1046.37/1050.52 c #Conflicts: 1173000 | #Constraints: 30058 1046.37/1050.52 c #Conflicts: 1174000 | #Constraints: 31059 1046.37/1050.52 c #Conflicts: 1175000 | #Constraints: 32059 1046.37/1050.52 c #Conflicts: 1176000 | #Constraints: 33059 1046.37/1050.52 c #Conflicts: 1177000 | #Constraints: 34061 1046.37/1050.52 c #Conflicts: 1178000 | #Constraints: 35061 1046.37/1050.52 c #Conflicts: 1179000 | #Constraints: 36061 1046.37/1050.52 c #Conflicts: 1180000 | #Constraints: 37061 1046.37/1050.52 c #Conflicts: 1181000 | #Constraints: 38061 1046.37/1050.52 c #Conflicts: 1182000 | #Constraints: 39061 1046.37/1050.52 c #Conflicts: 1183000 | #Constraints: 40062 1046.37/1050.52 c #Conflicts: 1184000 | #Constraints: 41062 1046.37/1050.52 c #Conflicts: 1185000 | #Constraints: 42062 1046.37/1050.52 c #Conflicts: 1186000 | #Constraints: 43062 1046.37/1050.52 c #Conflicts: 1187000 | #Constraints: 44063 1046.37/1050.52 c #Conflicts: 1188000 | #Constraints: 45063 1046.37/1050.52 c #Conflicts: 1189000 | #Constraints: 46063 1046.37/1050.52 c #Conflicts: 1190000 | #Constraints: 47063 1046.37/1050.52 c INPROCESSING 1046.37/1050.52 c GARBAGE COLLECT 1046.37/1050.52 c rational objective 4.74337 1063.59/1067.82 c #Conflicts: 1191000 | #Constraints: 26477 1063.59/1067.82 c #Conflicts: 1192000 | #Constraints: 27478 1063.59/1067.82 c #Conflicts: 1193000 | #Constraints: 28479 1063.59/1067.82 c #Conflicts: 1194000 | #Constraints: 29479 1063.59/1067.82 c #Conflicts: 1195000 | #Constraints: 30480 1063.59/1067.82 c #Conflicts: 1196000 | #Constraints: 31481 1063.59/1067.82 c #Conflicts: 1197000 | #Constraints: 32482 1063.59/1067.82 c #Conflicts: 1198000 | #Constraints: 33483 1063.59/1067.82 c #Conflicts: 1199000 | #Constraints: 34483 1063.59/1067.82 c #Conflicts: 1200000 | #Constraints: 35484 1063.59/1067.82 c #Conflicts: 1201000 | #Constraints: 36484 1063.59/1067.82 c #Conflicts: 1202000 | #Constraints: 37484 1063.59/1067.82 c #Conflicts: 1203000 | #Constraints: 38484 1063.59/1067.82 c #Conflicts: 1204000 | #Constraints: 39485 1063.59/1067.82 c #Conflicts: 1205000 | #Constraints: 40485 1063.59/1067.82 c #Conflicts: 1206000 | #Constraints: 41485 1063.59/1067.82 c #Conflicts: 1207000 | #Constraints: 42485 1063.59/1067.82 c #Conflicts: 1208000 | #Constraints: 43485 1063.59/1067.82 c #Conflicts: 1209000 | #Constraints: 44485 1063.59/1067.82 c #Conflicts: 1210000 | #Constraints: 45486 1063.59/1067.82 c #Conflicts: 1211000 | #Constraints: 46487 1063.59/1067.82 c #Conflicts: 1212000 | #Constraints: 47487 1063.59/1067.82 c INPROCESSING 1063.59/1067.82 c GARBAGE COLLECT 1063.59/1067.82 c rational objective 4.74337 1082.83/1087.13 c #Conflicts: 1213000 | #Constraints: 26675 1082.83/1087.13 c #Conflicts: 1214000 | #Constraints: 27675 1082.83/1087.13 c #Conflicts: 1215000 | #Constraints: 28675 1082.83/1087.13 c #Conflicts: 1216000 | #Constraints: 29675 1082.83/1087.13 c #Conflicts: 1217000 | #Constraints: 30676 1082.83/1087.13 c #Conflicts: 1218000 | #Constraints: 31676 1082.83/1087.13 c #Conflicts: 1219000 | #Constraints: 32676 1082.83/1087.13 c #Conflicts: 1220000 | #Constraints: 33676 1082.83/1087.13 c #Conflicts: 1221000 | #Constraints: 34677 1082.83/1087.13 c #Conflicts: 1222000 | #Constraints: 35677 1082.83/1087.13 c #Conflicts: 1223000 | #Constraints: 36677 1082.83/1087.13 c #Conflicts: 1224000 | #Constraints: 37677 1082.83/1087.13 c #Conflicts: 1225000 | #Constraints: 38678 1082.83/1087.13 c #Conflicts: 1226000 | #Constraints: 39678 1082.83/1087.13 c #Conflicts: 1227000 | #Constraints: 40678 1082.83/1087.13 c #Conflicts: 1228000 | #Constraints: 41678 1082.83/1087.13 c #Conflicts: 1229000 | #Constraints: 42678 1082.83/1087.13 c #Conflicts: 1230000 | #Constraints: 43679 1082.83/1087.13 c #Conflicts: 1231000 | #Constraints: 44680 1082.83/1087.13 c #Conflicts: 1232000 | #Constraints: 45680 1082.83/1087.13 c #Conflicts: 1233000 | #Constraints: 46680 1082.83/1087.13 c #Conflicts: 1234000 | #Constraints: 47680 1082.83/1087.13 c INPROCESSING 1082.83/1087.13 c GARBAGE COLLECT 1082.83/1087.13 c rational objective 4.74337 1104.93/1109.35 c #Conflicts: 1235000 | #Constraints: 26670 1104.93/1109.35 c #Conflicts: 1236000 | #Constraints: 27670 1104.93/1109.35 c #Conflicts: 1237000 | #Constraints: 28671 1104.93/1109.35 c #Conflicts: 1238000 | #Constraints: 29673 1104.93/1109.35 c #Conflicts: 1239000 | #Constraints: 30673 1104.93/1109.35 c #Conflicts: 1240000 | #Constraints: 31673 1104.93/1109.35 c #Conflicts: 1241000 | #Constraints: 32673 1104.93/1109.35 c #Conflicts: 1242000 | #Constraints: 33673 1104.93/1109.35 c #Conflicts: 1243000 | #Constraints: 34674 1104.93/1109.35 c #Conflicts: 1244000 | #Constraints: 35674 1104.93/1109.35 c #Conflicts: 1245000 | #Constraints: 36674 1104.93/1109.35 c #Conflicts: 1246000 | #Constraints: 37674 1104.93/1109.35 c #Conflicts: 1247000 | #Constraints: 38674 1104.93/1109.35 c #Conflicts: 1248000 | #Constraints: 39674 1104.93/1109.35 c #Conflicts: 1249000 | #Constraints: 40674 1104.93/1109.35 c #Conflicts: 1250000 | #Constraints: 41674 1104.93/1109.35 c #Conflicts: 1251000 | #Constraints: 42674 1104.93/1109.35 c #Conflicts: 1252000 | #Constraints: 43674 1104.93/1109.35 c #Conflicts: 1253000 | #Constraints: 44675 1104.93/1109.35 c #Conflicts: 1254000 | #Constraints: 45675 1104.93/1109.35 c #Conflicts: 1255000 | #Constraints: 46676 1104.93/1109.35 c #Conflicts: 1256000 | #Constraints: 47677 1104.93/1109.35 c INPROCESSING 1104.93/1109.35 c GARBAGE COLLECT 1104.93/1109.35 c rational objective 4.74348 1126.15/1130.69 c #Conflicts: 1257000 | #Constraints: 26470 1126.15/1130.69 c #Conflicts: 1258000 | #Constraints: 27471 1126.15/1130.69 c #Conflicts: 1259000 | #Constraints: 28471 1126.15/1130.69 c #Conflicts: 1260000 | #Constraints: 29471 1126.15/1130.69 c #Conflicts: 1261000 | #Constraints: 30471 1126.15/1130.69 c #Conflicts: 1262000 | #Constraints: 31471 1126.15/1130.69 c #Conflicts: 1263000 | #Constraints: 32471 1126.15/1130.69 c #Conflicts: 1264000 | #Constraints: 33471 1126.15/1130.69 c #Conflicts: 1265000 | #Constraints: 34471 1126.15/1130.69 c #Conflicts: 1266000 | #Constraints: 35471 1126.15/1130.69 c #Conflicts: 1267000 | #Constraints: 36471 1126.15/1130.69 c #Conflicts: 1268000 | #Constraints: 37471 1126.15/1130.69 c #Conflicts: 1269000 | #Constraints: 38471 1126.15/1130.69 c #Conflicts: 1270000 | #Constraints: 39472 1126.15/1130.69 c #Conflicts: 1271000 | #Constraints: 40472 1126.15/1130.69 c #Conflicts: 1272000 | #Constraints: 41472 1126.15/1130.69 c #Conflicts: 1273000 | #Constraints: 42473 1126.15/1130.69 c #Conflicts: 1274000 | #Constraints: 43473 1126.15/1130.69 c #Conflicts: 1275000 | #Constraints: 44473 1126.15/1130.69 c #Conflicts: 1276000 | #Constraints: 45473 1126.15/1130.69 c #Conflicts: 1277000 | #Constraints: 46474 1126.15/1130.69 c #Conflicts: 1278000 | #Constraints: 47475 1126.15/1130.69 c #Conflicts: 1279000 | #Constraints: 48475 1126.15/1130.69 c INPROCESSING 1126.15/1130.69 c GARBAGE COLLECT 1126.15/1130.69 c rational objective 4.74348 1138.91/1143.49 c #Conflicts: 1280000 | #Constraints: 27085 1138.91/1143.49 c #Conflicts: 1281000 | #Constraints: 28086 1138.91/1143.49 c #Conflicts: 1282000 | #Constraints: 29087 1138.91/1143.49 c #Conflicts: 1283000 | #Constraints: 30089 1138.91/1143.49 c #Conflicts: 1284000 | #Constraints: 31091 1138.91/1143.49 c #Conflicts: 1285000 | #Constraints: 32093 1138.91/1143.49 c #Conflicts: 1286000 | #Constraints: 33093 1138.91/1143.49 c #Conflicts: 1287000 | #Constraints: 34095 1138.91/1143.49 c #Conflicts: 1288000 | #Constraints: 35095 1138.91/1143.49 c #Conflicts: 1289000 | #Constraints: 36096 1138.91/1143.49 c #Conflicts: 1290000 | #Constraints: 37097 1138.91/1143.49 c #Conflicts: 1291000 | #Constraints: 38097 1138.91/1143.49 c #Conflicts: 1292000 | #Constraints: 39097 1138.91/1143.49 c #Conflicts: 1293000 | #Constraints: 40097 1138.91/1143.49 c #Conflicts: 1294000 | #Constraints: 41097 1138.91/1143.49 c #Conflicts: 1295000 | #Constraints: 42097 1138.91/1143.49 c #Conflicts: 1296000 | #Constraints: 43098 1138.91/1143.49 c #Conflicts: 1297000 | #Constraints: 44098 1138.91/1143.49 c #Conflicts: 1298000 | #Constraints: 45099 1138.91/1143.49 c #Conflicts: 1299000 | #Constraints: 46100 1138.91/1143.49 c #Conflicts: 1300000 | #Constraints: 47100 1138.91/1143.49 c #Conflicts: 1301000 | #Constraints: 48101 1138.91/1143.49 c #Conflicts: 1302000 | #Constraints: 49101 1138.91/1143.49 c INPROCESSING 1138.91/1143.49 c GARBAGE COLLECT 1138.91/1143.49 c rational objective 4.74348 1159.81/1164.41 c #Conflicts: 1303000 | #Constraints: 27470 1159.81/1164.41 c #Conflicts: 1304000 | #Constraints: 28470 1159.81/1164.41 c #Conflicts: 1305000 | #Constraints: 29471 1159.81/1164.41 c #Conflicts: 1306000 | #Constraints: 30472 1159.81/1164.41 c #Conflicts: 1307000 | #Constraints: 31472 1159.81/1164.41 c #Conflicts: 1308000 | #Constraints: 32473 1159.81/1164.41 c #Conflicts: 1309000 | #Constraints: 33475 1159.81/1164.41 c #Conflicts: 1310000 | #Constraints: 34475 1159.81/1164.41 c #Conflicts: 1311000 | #Constraints: 35475 1159.81/1164.41 c #Conflicts: 1312000 | #Constraints: 36475 1159.81/1164.41 c #Conflicts: 1313000 | #Constraints: 37477 1159.81/1164.41 c #Conflicts: 1314000 | #Constraints: 38477 1159.81/1164.41 c #Conflicts: 1315000 | #Constraints: 39477 1159.81/1164.41 c #Conflicts: 1316000 | #Constraints: 40477 1159.81/1164.41 c #Conflicts: 1317000 | #Constraints: 41477 1159.81/1164.41 c #Conflicts: 1318000 | #Constraints: 42477 1159.81/1164.41 c #Conflicts: 1319000 | #Constraints: 43477 1159.81/1164.41 c #Conflicts: 1320000 | #Constraints: 44478 1159.81/1164.41 c #Conflicts: 1321000 | #Constraints: 45479 1159.81/1164.41 c #Conflicts: 1322000 | #Constraints: 46479 1159.81/1164.41 c #Conflicts: 1323000 | #Constraints: 47479 1159.81/1164.41 c #Conflicts: 1324000 | #Constraints: 48479 1159.81/1164.41 c #Conflicts: 1325000 | #Constraints: 49479 1159.81/1164.41 c INPROCESSING 1159.81/1164.41 c GARBAGE COLLECT 1159.81/1164.41 c rational objective 4.74348 1164.09/1168.70 c #Conflicts: 1326000 | #Constraints: 27701 1164.09/1168.70 c #Conflicts: 1327000 | #Constraints: 28701 1164.09/1168.70 c #Conflicts: 1328000 | #Constraints: 29704 1164.09/1168.70 c #Conflicts: 1329000 | #Constraints: 30705 1164.09/1168.70 c #Conflicts: 1330000 | #Constraints: 31705 1164.09/1168.70 c #Conflicts: 1331000 | #Constraints: 32705 1164.09/1168.70 c #Conflicts: 1332000 | #Constraints: 33708 1164.09/1168.70 c #Conflicts: 1333000 | #Constraints: 34709 1164.09/1168.70 c #Conflicts: 1334000 | #Constraints: 35710 1164.09/1168.70 c #Conflicts: 1335000 | #Constraints: 36710 1164.09/1168.70 c #Conflicts: 1336000 | #Constraints: 37710 1164.09/1168.70 c #Conflicts: 1337000 | #Constraints: 38710 1164.09/1168.70 c #Conflicts: 1338000 | #Constraints: 39710 1164.09/1168.70 c #Conflicts: 1339000 | #Constraints: 40710 1164.09/1168.70 c #Conflicts: 1340000 | #Constraints: 41710 1164.09/1168.70 c #Conflicts: 1341000 | #Constraints: 42710 1164.09/1168.70 c #Conflicts: 1342000 | #Constraints: 43710 1164.09/1168.70 c #Conflicts: 1343000 | #Constraints: 44710 1164.09/1168.70 c #Conflicts: 1344000 | #Constraints: 45710 1164.09/1168.70 c #Conflicts: 1345000 | #Constraints: 46710 1164.09/1168.70 c #Conflicts: 1346000 | #Constraints: 47710 1164.09/1168.70 c #Conflicts: 1347000 | #Constraints: 48710 1164.09/1168.70 c #Conflicts: 1348000 | #Constraints: 49710 1164.09/1168.70 c INPROCESSING 1164.09/1168.70 c GARBAGE COLLECT 1164.09/1168.70 c rational objective 4.74348 1212.00/1216.86 c #Conflicts: 1349000 | #Constraints: 27710 1212.00/1216.86 c #Conflicts: 1350000 | #Constraints: 28710 1212.00/1216.86 c #Conflicts: 1351000 | #Constraints: 29710 1212.00/1216.86 c #Conflicts: 1352000 | #Constraints: 30710 1212.00/1216.86 c #Conflicts: 1353000 | #Constraints: 31710 1212.00/1216.86 c #Conflicts: 1354000 | #Constraints: 32710 1212.00/1216.86 c #Conflicts: 1355000 | #Constraints: 33710 1212.00/1216.86 c #Conflicts: 1356000 | #Constraints: 34710 1212.00/1216.86 c #Conflicts: 1357000 | #Constraints: 35710 1212.00/1216.86 c #Conflicts: 1358000 | #Constraints: 36711 1212.00/1216.86 c #Conflicts: 1359000 | #Constraints: 37711 1212.00/1216.86 c #Conflicts: 1360000 | #Constraints: 38711 1212.00/1216.86 c #Conflicts: 1361000 | #Constraints: 39712 1212.00/1216.86 c #Conflicts: 1362000 | #Constraints: 40712 1212.00/1216.86 c #Conflicts: 1363000 | #Constraints: 41712 1212.00/1216.86 c #Conflicts: 1364000 | #Constraints: 42712 1212.00/1216.86 c #Conflicts: 1365000 | #Constraints: 43713 1212.00/1216.86 c #Conflicts: 1366000 | #Constraints: 44714 1212.00/1216.86 c #Conflicts: 1367000 | #Constraints: 45714 1212.00/1216.86 c #Conflicts: 1368000 | #Constraints: 46714 1212.00/1216.86 c #Conflicts: 1369000 | #Constraints: 47714 1212.00/1216.86 c #Conflicts: 1370000 | #Constraints: 48714 1212.00/1216.86 c #Conflicts: 1371000 | #Constraints: 49714 1212.00/1216.86 c INPROCESSING 1212.00/1216.86 c GARBAGE COLLECT 1212.00/1216.86 c rational objective 4.74348 1229.54/1234.43 c #Conflicts: 1372000 | #Constraints: 27490 1229.54/1234.43 c #Conflicts: 1373000 | #Constraints: 28490 1229.54/1234.43 c #Conflicts: 1374000 | #Constraints: 29490 1229.54/1234.43 c #Conflicts: 1375000 | #Constraints: 30491 1229.54/1234.43 c #Conflicts: 1376000 | #Constraints: 31493 1229.54/1234.43 c #Conflicts: 1377000 | #Constraints: 32493 1229.54/1234.43 c #Conflicts: 1378000 | #Constraints: 33493 1229.54/1234.43 c #Conflicts: 1379000 | #Constraints: 34493 1229.54/1234.43 c #Conflicts: 1380000 | #Constraints: 35493 1229.54/1234.43 c #Conflicts: 1381000 | #Constraints: 36493 1229.54/1234.43 c #Conflicts: 1382000 | #Constraints: 37493 1229.54/1234.43 c #Conflicts: 1383000 | #Constraints: 38494 1229.54/1234.43 c #Conflicts: 1384000 | #Constraints: 39495 1229.54/1234.43 c #Conflicts: 1385000 | #Constraints: 40495 1229.54/1234.43 c #Conflicts: 1386000 | #Constraints: 41495 1229.54/1234.43 c #Conflicts: 1387000 | #Constraints: 42495 1229.54/1234.43 c #Conflicts: 1388000 | #Constraints: 43495 1229.54/1234.43 c #Conflicts: 1389000 | #Constraints: 44496 1229.54/1234.43 c #Conflicts: 1390000 | #Constraints: 45496 1229.54/1234.43 c #Conflicts: 1391000 | #Constraints: 46496 1229.54/1234.43 c #Conflicts: 1392000 | #Constraints: 47496 1229.54/1234.43 c #Conflicts: 1393000 | #Constraints: 48496 1229.54/1234.43 c #Conflicts: 1394000 | #Constraints: 49496 1229.54/1234.43 c #Conflicts: 1395000 | #Constraints: 50496 1229.54/1234.43 c INPROCESSING 1229.54/1234.43 c GARBAGE COLLECT 1229.54/1234.43 c rational objective 4.74348 1245.67/1250.65 c #Conflicts: 1396000 | #Constraints: 28090 1245.67/1250.65 c #Conflicts: 1397000 | #Constraints: 29090 1245.67/1250.65 c #Conflicts: 1398000 | #Constraints: 30090 1245.67/1250.65 c #Conflicts: 1399000 | #Constraints: 31090 1245.67/1250.65 c #Conflicts: 1400000 | #Constraints: 32090 1245.67/1250.65 c #Conflicts: 1401000 | #Constraints: 33090 1245.67/1250.65 c #Conflicts: 1402000 | #Constraints: 34090 1245.67/1250.65 c #Conflicts: 1403000 | #Constraints: 35090 1245.67/1250.65 c #Conflicts: 1404000 | #Constraints: 36090 1245.67/1250.65 c #Conflicts: 1405000 | #Constraints: 37090 1245.67/1250.65 c #Conflicts: 1406000 | #Constraints: 38090 1245.67/1250.65 c #Conflicts: 1407000 | #Constraints: 39090 1245.67/1250.65 c #Conflicts: 1408000 | #Constraints: 40091 1245.67/1250.65 c #Conflicts: 1409000 | #Constraints: 41091 1245.67/1250.65 c #Conflicts: 1410000 | #Constraints: 42091 1245.67/1250.65 c #Conflicts: 1411000 | #Constraints: 43091 1245.67/1250.65 c #Conflicts: 1412000 | #Constraints: 44091 1245.67/1250.65 c #Conflicts: 1413000 | #Constraints: 45091 1245.67/1250.65 c #Conflicts: 1414000 | #Constraints: 46092 1245.67/1250.65 c #Conflicts: 1415000 | #Constraints: 47092 1245.67/1250.65 c #Conflicts: 1416000 | #Constraints: 48092 1245.67/1250.65 c #Conflicts: 1417000 | #Constraints: 49093 1245.67/1250.65 c #Conflicts: 1418000 | #Constraints: 50094 1245.67/1250.65 c #Conflicts: 1419000 | #Constraints: 51094 1245.67/1250.65 c INPROCESSING 1245.67/1250.65 c GARBAGE COLLECT 1245.67/1250.65 c rational objective 4.74348 1269.68/1274.72 c #Conflicts: 1420000 | #Constraints: 28515 1269.68/1274.72 c #Conflicts: 1421000 | #Constraints: 29515 1269.68/1274.72 c #Conflicts: 1422000 | #Constraints: 30515 1269.68/1274.72 c #Conflicts: 1423000 | #Constraints: 31515 1269.68/1274.72 c #Conflicts: 1424000 | #Constraints: 32515 1269.68/1274.72 c #Conflicts: 1425000 | #Constraints: 33515 1269.68/1274.72 c #Conflicts: 1426000 | #Constraints: 34515 1269.68/1274.72 c #Conflicts: 1427000 | #Constraints: 35516 1269.68/1274.72 c #Conflicts: 1428000 | #Constraints: 36516 1269.68/1274.72 c #Conflicts: 1429000 | #Constraints: 37516 1269.68/1274.72 c #Conflicts: 1430000 | #Constraints: 38516 1269.68/1274.72 c #Conflicts: 1431000 | #Constraints: 39516 1269.68/1274.72 c #Conflicts: 1432000 | #Constraints: 40516 1269.68/1274.72 c #Conflicts: 1433000 | #Constraints: 41516 1269.68/1274.72 c #Conflicts: 1434000 | #Constraints: 42517 1269.68/1274.72 c #Conflicts: 1435000 | #Constraints: 43518 1269.68/1274.72 c #Conflicts: 1436000 | #Constraints: 44518 1269.68/1274.72 c #Conflicts: 1437000 | #Constraints: 45518 1269.68/1274.72 c #Conflicts: 1438000 | #Constraints: 46519 1269.68/1274.72 c #Conflicts: 1439000 | #Constraints: 47519 1269.68/1274.72 c #Conflicts: 1440000 | #Constraints: 48519 1269.68/1274.72 c #Conflicts: 1441000 | #Constraints: 49519 1269.68/1274.72 c #Conflicts: 1442000 | #Constraints: 50520 1269.68/1274.72 c #Conflicts: 1443000 | #Constraints: 51520 1269.68/1274.72 c INPROCESSING 1269.68/1274.72 c GARBAGE COLLECT 1269.68/1274.72 c rational objective 4.74348 1276.95/1282.07 c #Conflicts: 1444000 | #Constraints: 28712 1276.95/1282.07 c #Conflicts: 1445000 | #Constraints: 29712 1276.95/1282.07 c #Conflicts: 1446000 | #Constraints: 30712 1276.95/1282.07 c #Conflicts: 1447000 | #Constraints: 31713 1276.95/1282.07 c #Conflicts: 1448000 | #Constraints: 32714 1276.95/1282.07 c #Conflicts: 1449000 | #Constraints: 33715 1276.95/1282.07 c #Conflicts: 1450000 | #Constraints: 34715 1276.95/1282.07 c #Conflicts: 1451000 | #Constraints: 35715 1276.95/1282.07 c #Conflicts: 1452000 | #Constraints: 36715 1276.95/1282.07 c #Conflicts: 1453000 | #Constraints: 37715 1276.95/1282.07 c #Conflicts: 1454000 | #Constraints: 38715 1276.95/1282.07 c #Conflicts: 1455000 | #Constraints: 39715 1276.95/1282.07 c #Conflicts: 1456000 | #Constraints: 40715 1276.95/1282.07 c #Conflicts: 1457000 | #Constraints: 41715 1276.95/1282.07 c #Conflicts: 1458000 | #Constraints: 42715 1276.95/1282.07 c #Conflicts: 1459000 | #Constraints: 43715 1276.95/1282.07 c #Conflicts: 1460000 | #Constraints: 44715 1276.95/1282.07 c #Conflicts: 1461000 | #Constraints: 45716 1276.95/1282.07 c #Conflicts: 1462000 | #Constraints: 46716 1276.95/1282.07 c #Conflicts: 1463000 | #Constraints: 47717 1276.95/1282.07 c #Conflicts: 1464000 | #Constraints: 48717 1276.95/1282.07 c #Conflicts: 1465000 | #Constraints: 49719 1276.95/1282.07 c #Conflicts: 1466000 | #Constraints: 50720 1276.95/1282.07 c #Conflicts: 1467000 | #Constraints: 51721 1276.95/1282.07 c INPROCESSING 1276.95/1282.07 c GARBAGE COLLECT 1276.95/1282.07 c rational objective 4.74348 1296.58/1301.70 c #Conflicts: 1468000 | #Constraints: 28693 1296.58/1301.70 c #Conflicts: 1469000 | #Constraints: 29694 1296.58/1301.70 c #Conflicts: 1470000 | #Constraints: 30695 1296.58/1301.70 c #Conflicts: 1471000 | #Constraints: 31696 1296.58/1301.70 c #Conflicts: 1472000 | #Constraints: 32696 1296.58/1301.70 c #Conflicts: 1473000 | #Constraints: 33696 1296.58/1301.70 c #Conflicts: 1474000 | #Constraints: 34697 1296.58/1301.70 c #Conflicts: 1475000 | #Constraints: 35697 1296.58/1301.70 c #Conflicts: 1476000 | #Constraints: 36697 1296.58/1301.70 c #Conflicts: 1477000 | #Constraints: 37697 1296.58/1301.70 c #Conflicts: 1478000 | #Constraints: 38697 1296.58/1301.70 c #Conflicts: 1479000 | #Constraints: 39697 1296.58/1301.70 c #Conflicts: 1480000 | #Constraints: 40697 1296.58/1301.70 c #Conflicts: 1481000 | #Constraints: 41697 1296.58/1301.70 c #Conflicts: 1482000 | #Constraints: 42697 1296.58/1301.70 c #Conflicts: 1483000 | #Constraints: 43697 1296.58/1301.70 c #Conflicts: 1484000 | #Constraints: 44697 1296.58/1301.70 c #Conflicts: 1485000 | #Constraints: 45697 1296.58/1301.70 c #Conflicts: 1486000 | #Constraints: 46697 1296.58/1301.70 c #Conflicts: 1487000 | #Constraints: 47697 1296.58/1301.70 c #Conflicts: 1488000 | #Constraints: 48697 1296.58/1301.70 c #Conflicts: 1489000 | #Constraints: 49697 1296.58/1301.70 c #Conflicts: 1490000 | #Constraints: 50697 1296.58/1301.70 c #Conflicts: 1491000 | #Constraints: 51697 1296.58/1301.70 c INPROCESSING 1296.58/1301.70 c GARBAGE COLLECT 1296.58/1301.70 c rational objective 4.74348 1335.42/1340.76 c #Conflicts: 1492000 | #Constraints: 28485 1335.42/1340.76 c #Conflicts: 1493000 | #Constraints: 29485 1335.42/1340.76 c #Conflicts: 1494000 | #Constraints: 30485 1335.42/1340.76 c #Conflicts: 1495000 | #Constraints: 31485 1335.42/1340.76 c #Conflicts: 1496000 | #Constraints: 32486 1335.42/1340.76 c #Conflicts: 1497000 | #Constraints: 33486 1335.42/1340.76 c #Conflicts: 1498000 | #Constraints: 34486 1335.42/1340.76 c #Conflicts: 1499000 | #Constraints: 35486 1335.42/1340.76 c #Conflicts: 1500000 | #Constraints: 36486 1335.42/1340.76 c #Conflicts: 1501000 | #Constraints: 37486 1335.42/1340.76 c #Conflicts: 1502000 | #Constraints: 38486 1335.42/1340.76 c #Conflicts: 1503000 | #Constraints: 39486 1335.42/1340.76 c #Conflicts: 1504000 | #Constraints: 40486 1335.42/1340.76 c #Conflicts: 1505000 | #Constraints: 41486 1335.42/1340.76 c #Conflicts: 1506000 | #Constraints: 42486 1335.42/1340.76 c #Conflicts: 1507000 | #Constraints: 43486 1335.42/1340.76 c #Conflicts: 1508000 | #Constraints: 44486 1335.42/1340.76 c #Conflicts: 1509000 | #Constraints: 45486 1335.42/1340.76 c #Conflicts: 1510000 | #Constraints: 46486 1335.42/1340.76 c #Conflicts: 1511000 | #Constraints: 47486 1335.42/1340.76 c #Conflicts: 1512000 | #Constraints: 48486 1335.42/1340.76 c #Conflicts: 1513000 | #Constraints: 49487 1335.42/1340.76 c #Conflicts: 1514000 | #Constraints: 50487 1335.42/1340.76 c #Conflicts: 1515000 | #Constraints: 51487 1335.42/1340.76 c #Conflicts: 1516000 | #Constraints: 52488 1335.42/1340.76 c INPROCESSING 1335.42/1340.76 c GARBAGE COLLECT 1335.42/1340.76 c rational objective 4.74348 1363.91/1369.34 c #Conflicts: 1517000 | #Constraints: 29049 1363.91/1369.34 c #Conflicts: 1518000 | #Constraints: 30050 1363.91/1369.34 c #Conflicts: 1519000 | #Constraints: 31050 1363.91/1369.34 c #Conflicts: 1520000 | #Constraints: 32050 1363.91/1369.34 c #Conflicts: 1521000 | #Constraints: 33050 1363.91/1369.34 c #Conflicts: 1522000 | #Constraints: 34052 1363.91/1369.34 c #Conflicts: 1523000 | #Constraints: 35053 1363.91/1369.34 c #Conflicts: 1524000 | #Constraints: 36054 1363.91/1369.34 c #Conflicts: 1525000 | #Constraints: 37054 1363.91/1369.34 c #Conflicts: 1526000 | #Constraints: 38054 1363.91/1369.34 c #Conflicts: 1527000 | #Constraints: 39054 1363.91/1369.34 c #Conflicts: 1528000 | #Constraints: 40054 1363.91/1369.34 c #Conflicts: 1529000 | #Constraints: 41054 1363.91/1369.34 c #Conflicts: 1530000 | #Constraints: 42054 1363.91/1369.34 c #Conflicts: 1531000 | #Constraints: 43054 1363.91/1369.34 c #Conflicts: 1532000 | #Constraints: 44054 1363.91/1369.34 c #Conflicts: 1533000 | #Constraints: 45054 1363.91/1369.34 c #Conflicts: 1534000 | #Constraints: 46054 1363.91/1369.34 c #Conflicts: 1535000 | #Constraints: 47054 1363.91/1369.34 c #Conflicts: 1536000 | #Constraints: 48054 1363.91/1369.35 c #Conflicts: 1537000 | #Constraints: 49054 1363.91/1369.35 c #Conflicts: 1538000 | #Constraints: 50055 1363.91/1369.35 c #Conflicts: 1539000 | #Constraints: 51055 1363.91/1369.35 c #Conflicts: 1540000 | #Constraints: 52055 1363.91/1369.35 c #Conflicts: 1541000 | #Constraints: 53055 1363.91/1369.35 c INPROCESSING 1363.91/1369.35 c GARBAGE COLLECT 1363.91/1369.35 c rational objective 4.74348 1404.75/1410.32 c #Conflicts: 1542000 | #Constraints: 29495 1404.75/1410.32 c #Conflicts: 1543000 | #Constraints: 30496 1404.75/1410.32 c #Conflicts: 1544000 | #Constraints: 31496 1404.75/1410.32 c #Conflicts: 1545000 | #Constraints: 32497 1404.75/1410.32 c #Conflicts: 1546000 | #Constraints: 33497 1404.75/1410.32 c #Conflicts: 1547000 | #Constraints: 34497 1404.75/1410.32 c #Conflicts: 1548000 | #Constraints: 35497 1404.75/1410.32 c #Conflicts: 1549000 | #Constraints: 36497 1404.75/1410.32 c #Conflicts: 1550000 | #Constraints: 37498 1404.75/1410.32 c #Conflicts: 1551000 | #Constraints: 38498 1404.75/1410.32 c #Conflicts: 1552000 | #Constraints: 39498 1404.75/1410.32 c #Conflicts: 1553000 | #Constraints: 40498 1404.75/1410.32 c #Conflicts: 1554000 | #Constraints: 41498 1404.75/1410.32 c #Conflicts: 1555000 | #Constraints: 42498 1404.75/1410.32 c #Conflicts: 1556000 | #Constraints: 43498 1404.75/1410.32 c #Conflicts: 1557000 | #Constraints: 44498 1404.75/1410.32 c #Conflicts: 1558000 | #Constraints: 45499 1404.75/1410.32 c #Conflicts: 1559000 | #Constraints: 46499 1404.75/1410.32 c #Conflicts: 1560000 | #Constraints: 47499 1404.75/1410.32 c #Conflicts: 1561000 | #Constraints: 48499 1404.75/1410.32 c #Conflicts: 1562000 | #Constraints: 49499 1404.75/1410.32 c #Conflicts: 1563000 | #Constraints: 50500 1404.75/1410.32 c #Conflicts: 1564000 | #Constraints: 51500 1404.75/1410.32 c #Conflicts: 1565000 | #Constraints: 52500 1404.75/1410.32 c #Conflicts: 1566000 | #Constraints: 53500 1404.75/1410.32 c INPROCESSING 1404.75/1410.32 c GARBAGE COLLECT 1404.75/1410.32 c rational objective 4.74348 1521.68/1527.70 c #Conflicts: 1567000 | #Constraints: 29715 1521.68/1527.70 c #Conflicts: 1568000 | #Constraints: 30716 1521.68/1527.70 c #Conflicts: 1569000 | #Constraints: 31716 1521.68/1527.70 c #Conflicts: 1570000 | #Constraints: 32716 1521.68/1527.70 c #Conflicts: 1571000 | #Constraints: 33716 1521.68/1527.70 c #Conflicts: 1572000 | #Constraints: 34716 1521.68/1527.70 c #Conflicts: 1573000 | #Constraints: 35716 1521.68/1527.70 c #Conflicts: 1574000 | #Constraints: 36716 1521.68/1527.70 c #Conflicts: 1575000 | #Constraints: 37716 1521.68/1527.70 c #Conflicts: 1576000 | #Constraints: 38716 1521.68/1527.70 c #Conflicts: 1577000 | #Constraints: 39716 1521.68/1527.70 c #Conflicts: 1578000 | #Constraints: 40716 1521.68/1527.70 c #Conflicts: 1579000 | #Constraints: 41716 1521.68/1527.70 c #Conflicts: 1580000 | #Constraints: 42716 1521.68/1527.70 c #Conflicts: 1581000 | #Constraints: 43716 1521.68/1527.70 c #Conflicts: 1582000 | #Constraints: 44716 1521.68/1527.70 c #Conflicts: 1583000 | #Constraints: 45716 1521.68/1527.70 c #Conflicts: 1584000 | #Constraints: 46716 1521.68/1527.70 c #Conflicts: 1585000 | #Constraints: 47716 1521.68/1527.70 c #Conflicts: 1586000 | #Constraints: 48716 1521.68/1527.70 c #Conflicts: 1587000 | #Constraints: 49716 1521.68/1527.70 c #Conflicts: 1588000 | #Constraints: 50716 1521.68/1527.70 c #Conflicts: 1589000 | #Constraints: 51717 1521.68/1527.70 c #Conflicts: 1590000 | #Constraints: 52717 1521.68/1527.70 c #Conflicts: 1591000 | #Constraints: 53717 1521.68/1527.70 c INPROCESSING 1521.68/1527.70 c GARBAGE COLLECT 1521.68/1527.70 c rational objective 4.74348 1622.19/1628.63 c #Conflicts: 1592000 | #Constraints: 29707 1622.19/1628.63 c #Conflicts: 1593000 | #Constraints: 30707 1622.19/1628.63 c #Conflicts: 1594000 | #Constraints: 31707 1622.19/1628.63 c #Conflicts: 1595000 | #Constraints: 32708 1622.19/1628.63 c #Conflicts: 1596000 | #Constraints: 33708 1622.19/1628.63 c #Conflicts: 1597000 | #Constraints: 34708 1622.19/1628.63 c #Conflicts: 1598000 | #Constraints: 35708 1622.19/1628.63 c #Conflicts: 1599000 | #Constraints: 36708 1622.19/1628.63 c #Conflicts: 1600000 | #Constraints: 37708 1622.19/1628.63 c #Conflicts: 1601000 | #Constraints: 38708 1622.19/1628.63 c #Conflicts: 1602000 | #Constraints: 39708 1622.19/1628.63 c #Conflicts: 1603000 | #Constraints: 40708 1622.19/1628.63 c #Conflicts: 1604000 | #Constraints: 41708 1622.19/1628.63 c #Conflicts: 1605000 | #Constraints: 42708 1622.19/1628.63 c #Conflicts: 1606000 | #Constraints: 43708 1622.19/1628.63 c #Conflicts: 1607000 | #Constraints: 44708 1622.19/1628.63 c #Conflicts: 1608000 | #Constraints: 45708 1622.19/1628.63 c #Conflicts: 1609000 | #Constraints: 46708 1622.19/1628.63 c #Conflicts: 1610000 | #Constraints: 47708 1622.19/1628.63 c #Conflicts: 1611000 | #Constraints: 48708 1622.19/1628.63 c #Conflicts: 1612000 | #Constraints: 49708 1622.19/1628.63 c #Conflicts: 1613000 | #Constraints: 50708 1622.19/1628.63 c #Conflicts: 1614000 | #Constraints: 51708 1622.19/1628.63 c #Conflicts: 1615000 | #Constraints: 52708 1622.19/1628.63 c #Conflicts: 1616000 | #Constraints: 53709 1622.19/1628.63 c INPROCESSING 1622.19/1628.63 c GARBAGE COLLECT 1622.19/1628.63 c rational objective 4.74348 1631.95/1638.45 c #Conflicts: 1617000 | #Constraints: 29521 1631.95/1638.45 c #Conflicts: 1618000 | #Constraints: 30523 1631.95/1638.45 c #Conflicts: 1619000 | #Constraints: 31523 1631.95/1638.45 c #Conflicts: 1620000 | #Constraints: 32523 1631.95/1638.45 c #Conflicts: 1621000 | #Constraints: 33523 1631.95/1638.45 c #Conflicts: 1622000 | #Constraints: 34523 1631.95/1638.45 c #Conflicts: 1623000 | #Constraints: 35524 1631.95/1638.45 c #Conflicts: 1624000 | #Constraints: 36524 1631.95/1638.45 c #Conflicts: 1625000 | #Constraints: 37524 1631.95/1638.45 c #Conflicts: 1626000 | #Constraints: 38525 1631.95/1638.45 c #Conflicts: 1627000 | #Constraints: 39527 1631.95/1638.45 c #Conflicts: 1628000 | #Constraints: 40530 1631.95/1638.45 c #Conflicts: 1629000 | #Constraints: 41530 1631.95/1638.45 c #Conflicts: 1630000 | #Constraints: 42531 1631.95/1638.45 c #Conflicts: 1631000 | #Constraints: 43532 1631.95/1638.45 c #Conflicts: 1632000 | #Constraints: 44532 1631.95/1638.45 c #Conflicts: 1633000 | #Constraints: 45532 1631.95/1638.45 c #Conflicts: 1634000 | #Constraints: 46533 1631.95/1638.45 c #Conflicts: 1635000 | #Constraints: 47534 1631.95/1638.45 c #Conflicts: 1636000 | #Constraints: 48535 1631.95/1638.45 c #Conflicts: 1637000 | #Constraints: 49535 1631.95/1638.45 c #Conflicts: 1638000 | #Constraints: 50535 1631.95/1638.45 c #Conflicts: 1639000 | #Constraints: 51535 1631.95/1638.45 c #Conflicts: 1640000 | #Constraints: 52536 1631.95/1638.45 c #Conflicts: 1641000 | #Constraints: 53537 1631.95/1638.45 c #Conflicts: 1642000 | #Constraints: 54538 1631.95/1638.45 c INPROCESSING 1631.95/1638.45 c GARBAGE COLLECT 1631.95/1638.45 c rational objective 4.74348 1671.69/1678.37 c #Conflicts: 1643000 | #Constraints: 30131 1671.69/1678.37 c #Conflicts: 1644000 | #Constraints: 31131 1671.69/1678.37 c #Conflicts: 1645000 | #Constraints: 32131 1671.69/1678.37 c #Conflicts: 1646000 | #Constraints: 33131 1671.69/1678.37 c #Conflicts: 1647000 | #Constraints: 34131 1671.69/1678.37 c #Conflicts: 1648000 | #Constraints: 35131 1671.69/1678.37 c #Conflicts: 1649000 | #Constraints: 36131 1671.69/1678.37 c #Conflicts: 1650000 | #Constraints: 37131 1671.69/1678.37 c #Conflicts: 1651000 | #Constraints: 38131 1671.69/1678.37 c #Conflicts: 1652000 | #Constraints: 39131 1671.69/1678.37 c #Conflicts: 1653000 | #Constraints: 40132 1671.69/1678.37 c #Conflicts: 1654000 | #Constraints: 41132 1671.69/1678.37 c #Conflicts: 1655000 | #Constraints: 42132 1671.69/1678.37 c #Conflicts: 1656000 | #Constraints: 43132 1671.69/1678.37 c #Conflicts: 1657000 | #Constraints: 44132 1671.69/1678.37 c #Conflicts: 1658000 | #Constraints: 45132 1671.69/1678.37 c #Conflicts: 1659000 | #Constraints: 46132 1671.69/1678.37 c #Conflicts: 1660000 | #Constraints: 47132 1671.69/1678.37 c #Conflicts: 1661000 | #Constraints: 48133 1671.69/1678.37 c #Conflicts: 1662000 | #Constraints: 49133 1671.69/1678.37 c #Conflicts: 1663000 | #Constraints: 50133 1671.69/1678.37 c #Conflicts: 1664000 | #Constraints: 51133 1671.69/1678.37 c #Conflicts: 1665000 | #Constraints: 52133 1671.69/1678.37 c #Conflicts: 1666000 | #Constraints: 53133 1671.69/1678.37 c #Conflicts: 1667000 | #Constraints: 54133 1671.69/1678.37 c #Conflicts: 1668000 | #Constraints: 55133 1671.69/1678.37 c INPROCESSING 1671.69/1678.37 c GARBAGE COLLECT 1671.69/1678.37 c rational objective 4.74348 1695.79/1702.50 c #Conflicts: 1669000 | #Constraints: 30518 1695.79/1702.50 c #Conflicts: 1670000 | #Constraints: 31519 1695.79/1702.50 c #Conflicts: 1671000 | #Constraints: 32521 1695.79/1702.50 c #Conflicts: 1672000 | #Constraints: 33521 1695.79/1702.50 c #Conflicts: 1673000 | #Constraints: 34521 1695.79/1702.50 c #Conflicts: 1674000 | #Constraints: 35522 1695.79/1702.50 c #Conflicts: 1675000 | #Constraints: 36522 1695.79/1702.50 c #Conflicts: 1676000 | #Constraints: 37523 1695.79/1702.50 c #Conflicts: 1677000 | #Constraints: 38523 1695.79/1702.50 c #Conflicts: 1678000 | #Constraints: 39523 1695.79/1702.50 c #Conflicts: 1679000 | #Constraints: 40523 1695.79/1702.50 c #Conflicts: 1680000 | #Constraints: 41524 1695.79/1702.50 c #Conflicts: 1681000 | #Constraints: 42524 1695.79/1702.50 c #Conflicts: 1682000 | #Constraints: 43525 1695.79/1702.50 c #Conflicts: 1683000 | #Constraints: 44525 1695.79/1702.50 c #Conflicts: 1684000 | #Constraints: 45525 1695.79/1702.50 c #Conflicts: 1685000 | #Constraints: 46525 1695.79/1702.50 c #Conflicts: 1686000 | #Constraints: 47525 1695.79/1702.50 c #Conflicts: 1687000 | #Constraints: 48525 1695.79/1702.50 c #Conflicts: 1688000 | #Constraints: 49525 1695.79/1702.50 c #Conflicts: 1689000 | #Constraints: 50525 1695.79/1702.50 c #Conflicts: 1690000 | #Constraints: 51525 1695.79/1702.50 c #Conflicts: 1691000 | #Constraints: 52525 1695.79/1702.50 c #Conflicts: 1692000 | #Constraints: 53525 1695.79/1702.50 c #Conflicts: 1693000 | #Constraints: 54525 1695.79/1702.50 c #Conflicts: 1694000 | #Constraints: 55525 1695.79/1702.50 c INPROCESSING 1695.79/1702.50 c GARBAGE COLLECT 1695.79/1702.50 c rational objective 4.74351 1897.02/1904.59 c #Conflicts: 1695000 | #Constraints: 30717 1897.02/1904.59 c #Conflicts: 1696000 | #Constraints: 31717 1897.02/1904.59 c #Conflicts: 1697000 | #Constraints: 32717 1897.02/1904.59 c #Conflicts: 1698000 | #Constraints: 33717 1897.02/1904.59 c #Conflicts: 1699000 | #Constraints: 34717 1897.02/1904.59 c #Conflicts: 1700000 | #Constraints: 35717 1897.02/1904.59 c #Conflicts: 1701000 | #Constraints: 36717 1897.02/1904.59 c #Conflicts: 1702000 | #Constraints: 37717 1897.02/1904.59 c #Conflicts: 1703000 | #Constraints: 38717 1897.02/1904.59 c #Conflicts: 1704000 | #Constraints: 39717 1897.02/1904.59 c #Conflicts: 1705000 | #Constraints: 40717 1897.02/1904.59 c #Conflicts: 1706000 | #Constraints: 41719 1897.02/1904.59 c #Conflicts: 1707000 | #Constraints: 42721 1897.02/1904.59 c #Conflicts: 1708000 | #Constraints: 43721 1897.02/1904.59 c #Conflicts: 1709000 | #Constraints: 44721 1897.02/1904.59 c #Conflicts: 1710000 | #Constraints: 45721 1897.02/1904.59 c #Conflicts: 1711000 | #Constraints: 46721 1897.02/1904.59 c #Conflicts: 1712000 | #Constraints: 47721 1897.02/1904.59 c #Conflicts: 1713000 | #Constraints: 48721 1897.02/1904.59 c #Conflicts: 1714000 | #Constraints: 49722 1897.02/1904.59 c #Conflicts: 1715000 | #Constraints: 50723 1897.02/1904.59 c #Conflicts: 1716000 | #Constraints: 51724 1897.02/1904.59 c #Conflicts: 1717000 | #Constraints: 52724 1897.02/1904.59 c #Conflicts: 1718000 | #Constraints: 53724 1897.02/1904.59 c #Conflicts: 1719000 | #Constraints: 54725 1897.02/1904.59 c #Conflicts: 1720000 | #Constraints: 55725 1897.02/1904.59 c #Conflicts: 1721000 | #Constraints: 56725 1897.02/1904.59 c #Conflicts: 1722000 | #Constraints: 57725 1897.02/1904.59 c #Conflicts: 1723000 | #Constraints: 58726 1897.02/1904.59 c #Conflicts: 1724000 | #Constraints: 59727 1897.02/1904.59 c #Conflicts: 1725000 | #Constraints: 60729 1897.02/1904.59 c #Conflicts: 1726000 | #Constraints: 61729 1897.02/1904.59 c #Conflicts: 1727000 | #Constraints: 62729 1897.02/1904.59 c #Conflicts: 1728000 | #Constraints: 63729 1897.02/1904.59 c #Conflicts: 1729000 | #Constraints: 64729 1897.02/1904.59 c #Conflicts: 1730000 | #Constraints: 65729 1897.02/1904.59 c #Conflicts: 1731000 | #Constraints: 66729 1897.02/1904.59 c #Conflicts: 1732000 | #Constraints: 67729 1897.02/1904.59 c #Conflicts: 1733000 | #Constraints: 68729 1897.02/1904.59 c #Conflicts: 1734000 | #Constraints: 69729 1897.02/1904.59 c #Conflicts: 1735000 | #Constraints: 70729 1897.02/1904.59 c #Conflicts: 1736000 | #Constraints: 71729 1897.02/1904.59 c #Conflicts: 1737000 | #Constraints: 72729 1897.02/1904.59 c #Conflicts: 1738000 | #Constraints: 73729 1897.02/1904.59 c #Conflicts: 1739000 | #Constraints: 74729 1897.02/1904.59 c #Conflicts: 1740000 | #Constraints: 75729 1897.02/1904.59 c #Conflicts: 1741000 | #Constraints: 76729 1897.02/1904.59 c #Conflicts: 1742000 | #Constraints: 77729 1897.02/1904.59 c #Conflicts: 1743000 | #Constraints: 78729 1897.02/1904.59 c #Conflicts: 1744000 | #Constraints: 79729 1897.02/1904.59 c #Conflicts: 1745000 | #Constraints: 80729 1897.02/1904.59 c #Conflicts: 1746000 | #Constraints: 81729 1897.02/1904.59 c #Conflicts: 1747000 | #Constraints: 82729 1897.02/1904.59 c #Conflicts: 1748000 | #Constraints: 83729 1897.02/1904.59 c #Conflicts: 1749000 | #Constraints: 84729 1897.02/1904.59 c #Conflicts: 1750000 | #Constraints: 85729 1897.02/1904.59 c #Conflicts: 1751000 | #Constraints: 86729 1897.02/1904.59 c #Conflicts: 1752000 | #Constraints: 87729 1897.02/1904.59 c #Conflicts: 1753000 | #Constraints: 88729 1897.02/1904.59 c #Conflicts: 1754000 | #Constraints: 89729 1897.02/1904.59 c #Conflicts: 1755000 | #Constraints: 90729 1897.02/1904.59 c #Conflicts: 1756000 | #Constraints: 91730 1897.02/1904.59 c #Conflicts: 1757000 | #Constraints: 92730 1897.02/1904.59 c #Conflicts: 1758000 | #Constraints: 93730 1897.02/1904.59 c #Conflicts: 1759000 | #Constraints: 94730 1897.02/1904.59 c #Conflicts: 1760000 | #Constraints: 95730 1897.02/1904.59 c #Conflicts: 1761000 | #Constraints: 96730 1897.02/1904.59 c #Conflicts: 1762000 | #Constraints: 97730 1897.02/1904.59 c #Conflicts: 1763000 | #Constraints: 98730 1897.02/1904.59 c #Conflicts: 1764000 | #Constraints: 99730 1897.02/1904.59 c #Conflicts: 1765000 | #Constraints: 100730 1897.02/1904.59 c #Conflicts: 1766000 | #Constraints: 101730 1897.02/1904.59 c #Conflicts: 1767000 | #Constraints: 102730 1897.02/1904.59 c #Conflicts: 1768000 | #Constraints: 103730 1897.02/1904.59 c #Conflicts: 1769000 | #Constraints: 104730 1897.02/1904.59 c #Conflicts: 1770000 | #Constraints: 105730 1897.02/1904.59 c #Conflicts: 1771000 | #Constraints: 106730 1897.02/1904.59 c #Conflicts: 1772000 | #Constraints: 107730 1897.02/1904.59 c #Conflicts: 1773000 | #Constraints: 108730 2267.01/2276.00 c #Conflicts: 1774000 | #Constraints: 109730 2267.01/2276.00 c #Conflicts: 1775000 | #Constraints: 110730 2267.01/2276.00 c #Conflicts: 1776000 | #Constraints: 111731 2267.01/2276.00 c #Conflicts: 1777000 | #Constraints: 112731 2267.01/2276.00 c #Conflicts: 1778000 | #Constraints: 113731 2267.01/2276.00 c #Conflicts: 1779000 | #Constraints: 114731 2267.01/2276.00 c #Conflicts: 1780000 | #Constraints: 115731 2267.01/2276.00 c #Conflicts: 1781000 | #Constraints: 116732 2267.01/2276.00 c #Conflicts: 1782000 | #Constraints: 117732 2267.01/2276.00 c #Conflicts: 1783000 | #Constraints: 118732 2267.01/2276.00 c #Conflicts: 1784000 | #Constraints: 119732 2267.01/2276.00 c #Conflicts: 1785000 | #Constraints: 120732 2267.01/2276.00 c #Conflicts: 1786000 | #Constraints: 121732 2267.01/2276.00 c #Conflicts: 1787000 | #Constraints: 122733 2267.01/2276.00 c #Conflicts: 1788000 | #Constraints: 123733 2267.01/2276.00 c #Conflicts: 1789000 | #Constraints: 124733 2267.01/2276.00 c #Conflicts: 1790000 | #Constraints: 125733 2267.01/2276.00 c #Conflicts: 1791000 | #Constraints: 126734 2267.01/2276.00 c #Conflicts: 1792000 | #Constraints: 127734 2267.01/2276.00 c #Conflicts: 1793000 | #Constraints: 128734 2267.01/2276.00 c #Conflicts: 1794000 | #Constraints: 129734 2267.01/2276.00 c #Conflicts: 1795000 | #Constraints: 130734 2267.01/2276.00 c #Conflicts: 1796000 | #Constraints: 131734 2267.01/2276.00 c #Conflicts: 1797000 | #Constraints: 132734 2267.01/2276.00 c #Conflicts: 1798000 | #Constraints: 133734 2267.01/2276.00 c #Conflicts: 1799000 | #Constraints: 134735 2267.01/2276.00 c #Conflicts: 1800000 | #Constraints: 135735 2267.01/2276.00 c #Conflicts: 1801000 | #Constraints: 136735 2267.01/2276.00 c #Conflicts: 1802000 | #Constraints: 137735 2267.01/2276.00 c #Conflicts: 1803000 | #Constraints: 138735 2267.01/2276.00 c #Conflicts: 1804000 | #Constraints: 139735 2267.01/2276.00 c #Conflicts: 1805000 | #Constraints: 140735 2267.01/2276.00 c #Conflicts: 1806000 | #Constraints: 141735 2267.01/2276.00 c #Conflicts: 1807000 | #Constraints: 142735 2267.01/2276.00 c #Conflicts: 1808000 | #Constraints: 143735 2267.01/2276.00 c #Conflicts: 1809000 | #Constraints: 144736 2267.01/2276.00 c #Conflicts: 1810000 | #Constraints: 145736 2267.01/2276.00 c #Conflicts: 1811000 | #Constraints: 146736 2267.01/2276.00 c #Conflicts: 1812000 | #Constraints: 147736 2267.01/2276.00 c #Conflicts: 1813000 | #Constraints: 148736 2267.01/2276.00 c #Conflicts: 1814000 | #Constraints: 149736 2267.01/2276.00 c #Conflicts: 1815000 | #Constraints: 150737 2267.01/2276.00 c #Conflicts: 1816000 | #Constraints: 151737 2267.01/2276.00 c #Conflicts: 1817000 | #Constraints: 152738 2267.01/2276.00 c #Conflicts: 1818000 | #Constraints: 153738 2267.01/2276.00 c #Conflicts: 1819000 | #Constraints: 154738 2267.01/2276.00 c #Conflicts: 1820000 | #Constraints: 155739 2267.01/2276.00 c #Conflicts: 1821000 | #Constraints: 156739 2267.01/2276.00 c #Conflicts: 1822000 | #Constraints: 157739 2267.01/2276.00 c #Conflicts: 1823000 | #Constraints: 158739 2267.01/2276.00 c #Conflicts: 1824000 | #Constraints: 159739 2267.01/2276.00 c #Conflicts: 1825000 | #Constraints: 160739 2267.01/2276.00 c #Conflicts: 1826000 | #Constraints: 161739 2267.01/2276.00 c #Conflicts: 1827000 | #Constraints: 162740 2267.01/2276.00 c #Conflicts: 1828000 | #Constraints: 163740 2267.01/2276.00 c #Conflicts: 1829000 | #Constraints: 164740 2267.01/2276.00 c #Conflicts: 1830000 | #Constraints: 165740 2267.01/2276.00 c INPROCESSING 2267.01/2276.00 c GARBAGE COLLECT 2267.01/2276.00 c rational objective 4.74351 2373.01/2382.42 c #Conflicts: 1831000 | #Constraints: 85855 2373.01/2382.42 c #Conflicts: 1832000 | #Constraints: 86855 2373.01/2382.42 c #Conflicts: 1833000 | #Constraints: 87855 2373.01/2382.42 c #Conflicts: 1834000 | #Constraints: 88855 2373.01/2382.42 c #Conflicts: 1835000 | #Constraints: 89855 2373.01/2382.42 c #Conflicts: 1836000 | #Constraints: 90855 2373.01/2382.42 c #Conflicts: 1837000 | #Constraints: 91855 2373.01/2382.42 c #Conflicts: 1838000 | #Constraints: 92855 2373.01/2382.42 c #Conflicts: 1839000 | #Constraints: 93855 2373.01/2382.42 c #Conflicts: 1840000 | #Constraints: 94855 2373.01/2382.42 c #Conflicts: 1841000 | #Constraints: 95855 2373.01/2382.42 c #Conflicts: 1842000 | #Constraints: 96855 2373.01/2382.42 c #Conflicts: 1843000 | #Constraints: 97855 2373.01/2382.42 c #Conflicts: 1844000 | #Constraints: 98855 2373.01/2382.42 c #Conflicts: 1845000 | #Constraints: 99855 2373.01/2382.42 c #Conflicts: 1846000 | #Constraints: 100855 2373.01/2382.42 c #Conflicts: 1847000 | #Constraints: 101855 2373.01/2382.42 c #Conflicts: 1848000 | #Constraints: 102855 2373.01/2382.42 c #Conflicts: 1849000 | #Constraints: 103855 2373.01/2382.42 c #Conflicts: 1850000 | #Constraints: 104855 2373.01/2382.42 c #Conflicts: 1851000 | #Constraints: 105855 2373.01/2382.42 c #Conflicts: 1852000 | #Constraints: 106855 2373.01/2382.42 c #Conflicts: 1853000 | #Constraints: 107855 2373.01/2382.42 c #Conflicts: 1854000 | #Constraints: 108855 2373.01/2382.42 c #Conflicts: 1855000 | #Constraints: 109855 2373.01/2382.42 c #Conflicts: 1856000 | #Constraints: 110856 2373.01/2382.42 c #Conflicts: 1857000 | #Constraints: 111856 2373.01/2382.42 c INPROCESSING 2373.01/2382.42 c GARBAGE COLLECT 2373.01/2382.42 c rational objective 4.74358 2425.71/2435.38 c #Conflicts: 1858000 | #Constraints: 58763 2425.71/2435.38 c #Conflicts: 1859000 | #Constraints: 59763 2425.71/2435.38 c #Conflicts: 1860000 | #Constraints: 60764 2425.71/2435.38 c #Conflicts: 1861000 | #Constraints: 61766 2425.71/2435.38 c #Conflicts: 1862000 | #Constraints: 62767 2425.71/2435.38 c #Conflicts: 1863000 | #Constraints: 63767 2425.71/2435.38 c #Conflicts: 1864000 | #Constraints: 64767 2425.71/2435.38 c #Conflicts: 1865000 | #Constraints: 65767 2425.71/2435.38 c #Conflicts: 1866000 | #Constraints: 66767 2425.71/2435.38 c #Conflicts: 1867000 | #Constraints: 67767 2425.71/2435.38 c #Conflicts: 1868000 | #Constraints: 68768 2425.71/2435.38 c #Conflicts: 1869000 | #Constraints: 69768 2425.71/2435.38 c #Conflicts: 1870000 | #Constraints: 70768 2425.71/2435.38 c #Conflicts: 1871000 | #Constraints: 71768 2425.71/2435.38 c #Conflicts: 1872000 | #Constraints: 72768 2425.71/2435.38 c #Conflicts: 1873000 | #Constraints: 73768 2425.71/2435.38 c #Conflicts: 1874000 | #Constraints: 74768 2425.71/2435.38 c #Conflicts: 1875000 | #Constraints: 75768 2425.71/2435.38 c #Conflicts: 1876000 | #Constraints: 76768 2425.71/2435.38 c #Conflicts: 1877000 | #Constraints: 77768 2425.71/2435.38 c #Conflicts: 1878000 | #Constraints: 78768 2425.71/2435.38 c #Conflicts: 1879000 | #Constraints: 79768 2425.71/2435.38 c #Conflicts: 1880000 | #Constraints: 80768 2425.71/2435.38 c #Conflicts: 1881000 | #Constraints: 81768 2425.71/2435.38 c #Conflicts: 1882000 | #Constraints: 82768 2425.71/2435.38 c #Conflicts: 1883000 | #Constraints: 83768 2425.71/2435.38 c #Conflicts: 1884000 | #Constraints: 84768 2425.71/2435.38 c INPROCESSING 2425.71/2435.38 c GARBAGE COLLECT 2425.71/2435.38 c rational objective 4.74358 2471.44/2481.21 c #Conflicts: 1885000 | #Constraints: 44946 2471.44/2481.21 c #Conflicts: 1886000 | #Constraints: 45947 2471.44/2481.21 c #Conflicts: 1887000 | #Constraints: 46947 2471.44/2481.21 c #Conflicts: 1888000 | #Constraints: 47947 2471.44/2481.21 c #Conflicts: 1889000 | #Constraints: 48947 2471.44/2481.21 c #Conflicts: 1890000 | #Constraints: 49947 2471.44/2481.21 c #Conflicts: 1891000 | #Constraints: 50948 2471.44/2481.21 c #Conflicts: 1892000 | #Constraints: 51948 2471.44/2481.21 c #Conflicts: 1893000 | #Constraints: 52948 2471.44/2481.21 c #Conflicts: 1894000 | #Constraints: 53948 2471.44/2481.21 c #Conflicts: 1895000 | #Constraints: 54948 2471.44/2481.21 c #Conflicts: 1896000 | #Constraints: 55949 2471.44/2481.21 c #Conflicts: 1897000 | #Constraints: 56950 2471.44/2481.21 c #Conflicts: 1898000 | #Constraints: 57950 2471.44/2481.21 c #Conflicts: 1899000 | #Constraints: 58950 2471.44/2481.21 c #Conflicts: 1900000 | #Constraints: 59950 2471.44/2481.21 c #Conflicts: 1901000 | #Constraints: 60950 2471.44/2481.21 c #Conflicts: 1902000 | #Constraints: 61950 2471.44/2481.21 c #Conflicts: 1903000 | #Constraints: 62951 2471.44/2481.21 c #Conflicts: 1904000 | #Constraints: 63951 2471.44/2481.21 c #Conflicts: 1905000 | #Constraints: 64951 2471.44/2481.21 c #Conflicts: 1906000 | #Constraints: 65951 2471.44/2481.21 c #Conflicts: 1907000 | #Constraints: 66951 2471.44/2481.21 c #Conflicts: 1908000 | #Constraints: 67951 2471.44/2481.21 c #Conflicts: 1909000 | #Constraints: 68951 2471.44/2481.21 c #Conflicts: 1910000 | #Constraints: 69951 2471.44/2481.21 c #Conflicts: 1911000 | #Constraints: 70951 2471.44/2481.21 c #Conflicts: 1912000 | #Constraints: 71951 2471.44/2481.21 c INPROCESSING 2471.44/2481.21 c GARBAGE COLLECT 2471.44/2481.21 c rational objective 4.74358 2500.53/2510.41 c #Conflicts: 1913000 | #Constraints: 38713 2500.53/2510.41 c #Conflicts: 1914000 | #Constraints: 39715 2500.53/2510.41 c #Conflicts: 1915000 | #Constraints: 40716 2500.53/2510.41 c #Conflicts: 1916000 | #Constraints: 41716 2500.53/2510.41 c #Conflicts: 1917000 | #Constraints: 42716 2500.53/2510.41 c #Conflicts: 1918000 | #Constraints: 43716 2500.53/2510.41 c #Conflicts: 1919000 | #Constraints: 44716 2500.53/2510.41 c #Conflicts: 1920000 | #Constraints: 45716 2500.53/2510.41 c #Conflicts: 1921000 | #Constraints: 46716 2500.53/2510.41 c #Conflicts: 1922000 | #Constraints: 47717 2500.53/2510.41 c #Conflicts: 1923000 | #Constraints: 48718 2500.53/2510.41 c #Conflicts: 1924000 | #Constraints: 49718 2500.53/2510.41 c #Conflicts: 1925000 | #Constraints: 50718 2500.53/2510.41 c #Conflicts: 1926000 | #Constraints: 51718 2500.53/2510.41 c #Conflicts: 1927000 | #Constraints: 52718 2500.53/2510.41 c #Conflicts: 1928000 | #Constraints: 53718 2500.53/2510.41 c #Conflicts: 1929000 | #Constraints: 54718 2500.53/2510.41 c #Conflicts: 1930000 | #Constraints: 55718 2500.53/2510.41 c #Conflicts: 1931000 | #Constraints: 56718 2500.53/2510.41 c #Conflicts: 1932000 | #Constraints: 57718 2500.53/2510.41 c #Conflicts: 1933000 | #Constraints: 58718 2500.53/2510.41 c #Conflicts: 1934000 | #Constraints: 59718 2500.53/2510.41 c #Conflicts: 1935000 | #Constraints: 60718 2500.53/2510.41 c #Conflicts: 1936000 | #Constraints: 61718 2500.53/2510.41 c #Conflicts: 1937000 | #Constraints: 62718 2500.53/2510.41 c #Conflicts: 1938000 | #Constraints: 63718 2500.53/2510.41 c #Conflicts: 1939000 | #Constraints: 64719 2500.53/2510.41 c #Conflicts: 1940000 | #Constraints: 65719 2500.53/2510.41 c INPROCESSING 2500.53/2510.41 c GARBAGE COLLECT 2500.53/2510.41 c rational objective 4.74358 2515.88/2525.80 c #Conflicts: 1941000 | #Constraints: 35619 2515.88/2525.80 c #Conflicts: 1942000 | #Constraints: 36619 2515.88/2525.80 c #Conflicts: 1943000 | #Constraints: 37620 2515.88/2525.80 c #Conflicts: 1944000 | #Constraints: 38620 2515.88/2525.80 c #Conflicts: 1945000 | #Constraints: 39620 2515.88/2525.80 c #Conflicts: 1946000 | #Constraints: 40621 2515.88/2525.80 c #Conflicts: 1947000 | #Constraints: 41621 2515.88/2525.80 c #Conflicts: 1948000 | #Constraints: 42621 2515.88/2525.80 c #Conflicts: 1949000 | #Constraints: 43621 2515.88/2525.80 c #Conflicts: 1950000 | #Constraints: 44621 2515.88/2525.80 c #Conflicts: 1951000 | #Constraints: 45621 2515.88/2525.80 c #Conflicts: 1952000 | #Constraints: 46621 2515.88/2525.80 c #Conflicts: 1953000 | #Constraints: 47621 2515.88/2525.80 c #Conflicts: 1954000 | #Constraints: 48622 2515.88/2525.80 c #Conflicts: 1955000 | #Constraints: 49622 2515.88/2525.80 c #Conflicts: 1956000 | #Constraints: 50622 2515.88/2525.80 c #Conflicts: 1957000 | #Constraints: 51622 2515.88/2525.80 c #Conflicts: 1958000 | #Constraints: 52622 2515.88/2525.80 c #Conflicts: 1959000 | #Constraints: 53623 2515.88/2525.80 c #Conflicts: 1960000 | #Constraints: 54623 2515.88/2525.80 c #Conflicts: 1961000 | #Constraints: 55623 2515.88/2525.80 c #Conflicts: 1962000 | #Constraints: 56623 2515.88/2525.80 c #Conflicts: 1963000 | #Constraints: 57623 2515.88/2525.80 c #Conflicts: 1964000 | #Constraints: 58623 2515.88/2525.80 c #Conflicts: 1965000 | #Constraints: 59623 2515.88/2525.80 c #Conflicts: 1966000 | #Constraints: 60623 2515.88/2525.80 c #Conflicts: 1967000 | #Constraints: 61623 2515.88/2525.80 c #Conflicts: 1968000 | #Constraints: 62623 2515.88/2525.80 c INPROCESSING 2515.88/2525.80 c GARBAGE COLLECT 2515.88/2525.80 c rational objective 4.74608 2545.87/2555.93 c #Conflicts: 1969000 | #Constraints: 34030 2545.87/2555.93 c #Conflicts: 1970000 | #Constraints: 35030 2545.87/2555.93 c #Conflicts: 1971000 | #Constraints: 36030 2545.87/2555.93 c #Conflicts: 1972000 | #Constraints: 37030 2545.87/2555.93 c #Conflicts: 1973000 | #Constraints: 38030 2545.87/2555.93 c #Conflicts: 1974000 | #Constraints: 39030 2545.87/2555.93 c #Conflicts: 1975000 | #Constraints: 40030 2545.87/2555.93 c #Conflicts: 1976000 | #Constraints: 41031 2545.87/2555.93 c #Conflicts: 1977000 | #Constraints: 42032 2545.87/2555.93 c #Conflicts: 1978000 | #Constraints: 43032 2545.87/2555.93 c #Conflicts: 1979000 | #Constraints: 44032 2545.87/2555.93 c #Conflicts: 1980000 | #Constraints: 45032 2545.87/2555.93 c #Conflicts: 1981000 | #Constraints: 46032 2545.87/2555.93 c #Conflicts: 1982000 | #Constraints: 47032 2545.87/2555.93 c #Conflicts: 1983000 | #Constraints: 48033 2545.87/2555.93 c #Conflicts: 1984000 | #Constraints: 49033 2545.87/2555.93 c #Conflicts: 1985000 | #Constraints: 50034 2545.87/2555.93 c #Conflicts: 1986000 | #Constraints: 51034 2545.87/2555.93 c #Conflicts: 1987000 | #Constraints: 52034 2545.87/2555.93 c #Conflicts: 1988000 | #Constraints: 53035 2545.87/2555.93 c #Conflicts: 1989000 | #Constraints: 54035 2545.87/2555.93 c #Conflicts: 1990000 | #Constraints: 55035 2545.87/2555.93 c #Conflicts: 1991000 | #Constraints: 56035 2545.87/2555.93 c #Conflicts: 1992000 | #Constraints: 57036 2545.87/2555.93 c #Conflicts: 1993000 | #Constraints: 58036 2545.87/2555.93 c #Conflicts: 1994000 | #Constraints: 59036 2545.87/2555.93 c #Conflicts: 1995000 | #Constraints: 60037 2545.87/2555.93 c #Conflicts: 1996000 | #Constraints: 61038 2545.87/2555.93 c INPROCESSING 2545.87/2555.93 c GARBAGE COLLECT 2545.87/2555.93 c rational objective 4.74889 2761.32/2772.21 c #Conflicts: 1997000 | #Constraints: 33050 2761.32/2772.21 c #Conflicts: 1998000 | #Constraints: 34050 2761.32/2772.21 c #Conflicts: 1999000 | #Constraints: 35050 2761.32/2772.21 c #Conflicts: 2000000 | #Constraints: 36050 2761.32/2772.21 c #Conflicts: 2001000 | #Constraints: 37050 2761.32/2772.21 c #Conflicts: 2002000 | #Constraints: 38050 2761.32/2772.21 c #Conflicts: 2003000 | #Constraints: 39050 2761.32/2772.21 c #Conflicts: 2004000 | #Constraints: 40050 2761.32/2772.21 c #Conflicts: 2005000 | #Constraints: 41050 2761.32/2772.21 c #Conflicts: 2006000 | #Constraints: 42050 2761.32/2772.21 c #Conflicts: 2007000 | #Constraints: 43051 2761.32/2772.21 c #Conflicts: 2008000 | #Constraints: 44051 2761.32/2772.21 c #Conflicts: 2009000 | #Constraints: 45051 2761.32/2772.21 c #Conflicts: 2010000 | #Constraints: 46052 2761.32/2772.21 c #Conflicts: 2011000 | #Constraints: 47053 2761.32/2772.21 c #Conflicts: 2012000 | #Constraints: 48053 2761.32/2772.21 c #Conflicts: 2013000 | #Constraints: 49053 2761.32/2772.21 c #Conflicts: 2014000 | #Constraints: 50053 2761.32/2772.21 c #Conflicts: 2015000 | #Constraints: 51053 2761.32/2772.21 c #Conflicts: 2016000 | #Constraints: 52053 2761.32/2772.21 c #Conflicts: 2017000 | #Constraints: 53053 2761.32/2772.21 c #Conflicts: 2018000 | #Constraints: 54054 2761.32/2772.21 c #Conflicts: 2019000 | #Constraints: 55054 2761.32/2772.21 c #Conflicts: 2020000 | #Constraints: 56054 2761.32/2772.21 c #Conflicts: 2021000 | #Constraints: 57054 2761.32/2772.21 c #Conflicts: 2022000 | #Constraints: 58054 2761.32/2772.21 c #Conflicts: 2023000 | #Constraints: 59054 2761.32/2772.21 c #Conflicts: 2024000 | #Constraints: 60054 2761.32/2772.21 c #Conflicts: 2025000 | #Constraints: 61054 2761.32/2772.21 c #Conflicts: 2026000 | #Constraints: 62054 2761.32/2772.21 c #Conflicts: 2027000 | #Constraints: 63054 2761.32/2772.21 c #Conflicts: 2028000 | #Constraints: 64054 2761.32/2772.21 c #Conflicts: 2029000 | #Constraints: 65054 2761.32/2772.21 c #Conflicts: 2030000 | #Constraints: 66054 2761.32/2772.21 c #Conflicts: 2031000 | #Constraints: 67054 2761.32/2772.21 c #Conflicts: 2032000 | #Constraints: 68054 2761.32/2772.21 c #Conflicts: 2033000 | #Constraints: 69054 2761.32/2772.21 c #Conflicts: 2034000 | #Constraints: 70054 2761.32/2772.21 c #Conflicts: 2035000 | #Constraints: 71054 2761.32/2772.21 c #Conflicts: 2036000 | #Constraints: 72054 2761.32/2772.21 c #Conflicts: 2037000 | #Constraints: 73054 2761.32/2772.21 c #Conflicts: 2038000 | #Constraints: 74054 2761.32/2772.21 c #Conflicts: 2039000 | #Constraints: 75054 2761.32/2772.21 c #Conflicts: 2040000 | #Constraints: 76054 2761.32/2772.21 c #Conflicts: 2041000 | #Constraints: 77054 2761.32/2772.21 c #Conflicts: 2042000 | #Constraints: 78054 2761.32/2772.21 c #Conflicts: 2043000 | #Constraints: 79054 2761.32/2772.21 c #Conflicts: 2044000 | #Constraints: 80054 2761.32/2772.21 c #Conflicts: 2045000 | #Constraints: 81054 2761.32/2772.21 c #Conflicts: 2046000 | #Constraints: 82054 2761.32/2772.21 c #Conflicts: 2047000 | #Constraints: 83054 2761.32/2772.21 c #Conflicts: 2048000 | #Constraints: 84054 2761.32/2772.21 c #Conflicts: 2049000 | #Constraints: 85054 2761.32/2772.21 c #Conflicts: 2050000 | #Constraints: 86054 2761.32/2772.21 c #Conflicts: 2051000 | #Constraints: 87054 2761.32/2772.21 c #Conflicts: 2052000 | #Constraints: 88054 2761.32/2772.21 c #Conflicts: 2053000 | #Constraints: 89054 2761.32/2772.21 c #Conflicts: 2054000 | #Constraints: 90054 2761.32/2772.21 c #Conflicts: 2055000 | #Constraints: 91054 2761.32/2772.21 c #Conflicts: 2056000 | #Constraints: 92054 2761.32/2772.21 c #Conflicts: 2057000 | #Constraints: 93054 2761.32/2772.21 c #Conflicts: 2058000 | #Constraints: 94054 2761.32/2772.21 c #Conflicts: 2059000 | #Constraints: 95054 2761.32/2772.21 c #Conflicts: 2060000 | #Constraints: 96054 2761.32/2772.21 c #Conflicts: 2061000 | #Constraints: 97054 2761.32/2772.21 c #Conflicts: 2062000 | #Constraints: 98055 2761.32/2772.21 c #Conflicts: 2063000 | #Constraints: 99055 2761.32/2772.21 c #Conflicts: 2064000 | #Constraints: 100055 2761.32/2772.21 c #Conflicts: 2065000 | #Constraints: 101056 2761.32/2772.21 c #Conflicts: 2066000 | #Constraints: 102057 2761.32/2772.21 c #Conflicts: 2067000 | #Constraints: 103057 2761.32/2772.21 c #Conflicts: 2068000 | #Constraints: 104057 2761.32/2772.21 c #Conflicts: 2069000 | #Constraints: 105057 2761.32/2772.21 c #Conflicts: 2070000 | #Constraints: 106057 2761.32/2772.21 c #Conflicts: 2071000 | #Constraints: 107057 2761.32/2772.21 c #Conflicts: 2072000 | #Constraints: 108057 2761.32/2772.21 c #Conflicts: 2073000 | #Constraints: 109057 2761.32/2772.21 c #Conflicts: 2074000 | #Constraints: 110057 2761.32/2772.21 c #Conflicts: 2075000 | #Constraints: 111061 3199.04/3211.73 c #Conflicts: 2076000 | #Constraints: 112061 3199.04/3211.73 c #Conflicts: 2077000 | #Constraints: 113061 3199.04/3211.73 c #Conflicts: 2078000 | #Constraints: 114061 3199.04/3211.73 c #Conflicts: 2079000 | #Constraints: 115062 3199.04/3211.73 c #Conflicts: 2080000 | #Constraints: 116062 3199.04/3211.73 c #Conflicts: 2081000 | #Constraints: 117062 3199.04/3211.73 c #Conflicts: 2082000 | #Constraints: 118062 3199.04/3211.73 c #Conflicts: 2083000 | #Constraints: 119062 3199.04/3211.73 c #Conflicts: 2084000 | #Constraints: 120062 3199.04/3211.73 c #Conflicts: 2085000 | #Constraints: 121062 3199.04/3211.73 c #Conflicts: 2086000 | #Constraints: 122062 3199.04/3211.73 c #Conflicts: 2087000 | #Constraints: 123062 3199.04/3211.73 c #Conflicts: 2088000 | #Constraints: 124062 3199.04/3211.73 c #Conflicts: 2089000 | #Constraints: 125062 3199.04/3211.73 c #Conflicts: 2090000 | #Constraints: 126062 3199.04/3211.73 c #Conflicts: 2091000 | #Constraints: 127062 3199.04/3211.73 c #Conflicts: 2092000 | #Constraints: 128063 3199.04/3211.73 c #Conflicts: 2093000 | #Constraints: 129063 3199.04/3211.73 c #Conflicts: 2094000 | #Constraints: 130063 3199.04/3211.73 c #Conflicts: 2095000 | #Constraints: 131063 3199.04/3211.73 c #Conflicts: 2096000 | #Constraints: 132063 3199.04/3211.73 c #Conflicts: 2097000 | #Constraints: 133063 3199.04/3211.73 c #Conflicts: 2098000 | #Constraints: 134063 3199.04/3211.73 c #Conflicts: 2099000 | #Constraints: 135063 3199.04/3211.73 c #Conflicts: 2100000 | #Constraints: 136063 3199.04/3211.73 c #Conflicts: 2101000 | #Constraints: 137063 3199.04/3211.73 c #Conflicts: 2102000 | #Constraints: 138063 3199.04/3211.73 c #Conflicts: 2103000 | #Constraints: 139063 3199.04/3211.73 c #Conflicts: 2104000 | #Constraints: 140063 3199.04/3211.73 c #Conflicts: 2105000 | #Constraints: 141063 3199.04/3211.73 c #Conflicts: 2106000 | #Constraints: 142063 3199.04/3211.73 c #Conflicts: 2107000 | #Constraints: 143063 3199.04/3211.73 c #Conflicts: 2108000 | #Constraints: 144063 3199.04/3211.73 c #Conflicts: 2109000 | #Constraints: 145063 3199.04/3211.73 c #Conflicts: 2110000 | #Constraints: 146063 3199.04/3211.73 c #Conflicts: 2111000 | #Constraints: 147064 3199.04/3211.73 c #Conflicts: 2112000 | #Constraints: 148064 3199.04/3211.73 c #Conflicts: 2113000 | #Constraints: 149064 3199.04/3211.73 c #Conflicts: 2114000 | #Constraints: 150064 3199.04/3211.73 c #Conflicts: 2115000 | #Constraints: 151064 3199.04/3211.73 c #Conflicts: 2116000 | #Constraints: 152064 3199.04/3211.73 c #Conflicts: 2117000 | #Constraints: 153064 3199.04/3211.73 c #Conflicts: 2118000 | #Constraints: 154064 3199.04/3211.73 c #Conflicts: 2119000 | #Constraints: 155064 3199.04/3211.73 c #Conflicts: 2120000 | #Constraints: 156064 3199.04/3211.73 c #Conflicts: 2121000 | #Constraints: 157064 3199.04/3211.73 c #Conflicts: 2122000 | #Constraints: 158064 3199.04/3211.73 c #Conflicts: 2123000 | #Constraints: 159064 3199.04/3211.73 c #Conflicts: 2124000 | #Constraints: 160064 3199.04/3211.73 c #Conflicts: 2125000 | #Constraints: 161065 3199.04/3211.73 c #Conflicts: 2126000 | #Constraints: 162065 3199.04/3211.73 c #Conflicts: 2127000 | #Constraints: 163065 3199.04/3211.73 c #Conflicts: 2128000 | #Constraints: 164065 3199.04/3211.73 c #Conflicts: 2129000 | #Constraints: 165065 3199.04/3211.73 c #Conflicts: 2130000 | #Constraints: 166065 3199.04/3211.73 c #Conflicts: 2131000 | #Constraints: 167065 3199.04/3211.73 c #Conflicts: 2132000 | #Constraints: 168065 3199.04/3211.73 c #Conflicts: 2133000 | #Constraints: 169065 3199.04/3211.73 c #Conflicts: 2134000 | #Constraints: 170065 3199.04/3211.73 c #Conflicts: 2135000 | #Constraints: 171065 3199.04/3211.73 c #Conflicts: 2136000 | #Constraints: 172065 3199.04/3211.73 c #Conflicts: 2137000 | #Constraints: 173065 3199.04/3211.73 c #Conflicts: 2138000 | #Constraints: 174065 3199.04/3211.73 c #Conflicts: 2139000 | #Constraints: 175065 3199.04/3211.73 c #Conflicts: 2140000 | #Constraints: 176065 3199.04/3211.73 c #Conflicts: 2141000 | #Constraints: 177065 3199.04/3211.73 c INPROCESSING 3199.04/3211.73 c GARBAGE COLLECT 3199.04/3211.73 c rational objective 4.7489 3216.98/3229.79 c #Conflicts: 2142000 | #Constraints: 91324 3216.98/3229.79 c #Conflicts: 2143000 | #Constraints: 92324 3216.98/3229.79 c #Conflicts: 2144000 | #Constraints: 93324 3216.98/3229.79 c #Conflicts: 2145000 | #Constraints: 94324 3216.98/3229.79 c #Conflicts: 2146000 | #Constraints: 95324 3216.98/3229.79 c #Conflicts: 2147000 | #Constraints: 96324 3216.98/3229.79 c #Conflicts: 2148000 | #Constraints: 97324 3216.98/3229.79 c #Conflicts: 2149000 | #Constraints: 98324 3216.98/3229.79 c #Conflicts: 2150000 | #Constraints: 99324 3216.98/3229.79 c #Conflicts: 2151000 | #Constraints: 100324 3216.98/3229.79 c #Conflicts: 2152000 | #Constraints: 101324 3216.98/3229.79 c #Conflicts: 2153000 | #Constraints: 102324 3216.98/3229.79 c #Conflicts: 2154000 | #Constraints: 103325 3216.98/3229.79 c #Conflicts: 2155000 | #Constraints: 104326 3216.98/3229.79 c #Conflicts: 2156000 | #Constraints: 105326 3216.98/3229.79 c #Conflicts: 2157000 | #Constraints: 106326 3216.98/3229.79 c #Conflicts: 2158000 | #Constraints: 107326 3216.98/3229.79 c #Conflicts: 2159000 | #Constraints: 108326 3216.98/3229.79 c #Conflicts: 2160000 | #Constraints: 109326 3216.98/3229.79 c #Conflicts: 2161000 | #Constraints: 110326 3216.98/3229.79 c #Conflicts: 2162000 | #Constraints: 111326 3216.98/3229.79 c #Conflicts: 2163000 | #Constraints: 112326 3216.98/3229.79 c #Conflicts: 2164000 | #Constraints: 113326 3216.98/3229.79 c #Conflicts: 2165000 | #Constraints: 114326 3216.98/3229.79 c #Conflicts: 2166000 | #Constraints: 115326 3216.98/3229.79 c #Conflicts: 2167000 | #Constraints: 116326 3216.98/3229.79 c #Conflicts: 2168000 | #Constraints: 117326 3216.98/3229.79 c #Conflicts: 2169000 | #Constraints: 118326 3216.98/3229.79 c #Conflicts: 2170000 | #Constraints: 119326 3216.98/3229.79 c #Conflicts: 2171000 | #Constraints: 120326 3216.98/3229.79 c INPROCESSING 3216.98/3229.79 c GARBAGE COLLECT 3216.98/3229.79 c rational objective 4.7489 3471.99/3485.53 c #Conflicts: 2172000 | #Constraints: 63119 3471.99/3485.53 c #Conflicts: 2173000 | #Constraints: 64119 3471.99/3485.53 c #Conflicts: 2174000 | #Constraints: 65119 3471.99/3485.53 c #Conflicts: 2175000 | #Constraints: 66120 3471.99/3485.53 c #Conflicts: 2176000 | #Constraints: 67120 3471.99/3485.53 c #Conflicts: 2177000 | #Constraints: 68120 3471.99/3485.53 c #Conflicts: 2178000 | #Constraints: 69121 3471.99/3485.53 c #Conflicts: 2179000 | #Constraints: 70121 3471.99/3485.53 c #Conflicts: 2180000 | #Constraints: 71121 3471.99/3485.53 c #Conflicts: 2181000 | #Constraints: 72121 3471.99/3485.53 c #Conflicts: 2182000 | #Constraints: 73121 3471.99/3485.53 c #Conflicts: 2183000 | #Constraints: 74122 3471.99/3485.53 c #Conflicts: 2184000 | #Constraints: 75122 3471.99/3485.53 c #Conflicts: 2185000 | #Constraints: 76122 3471.99/3485.53 c #Conflicts: 2186000 | #Constraints: 77122 3471.99/3485.53 c #Conflicts: 2187000 | #Constraints: 78122 3471.99/3485.53 c #Conflicts: 2188000 | #Constraints: 79123 3471.99/3485.53 c #Conflicts: 2189000 | #Constraints: 80123 3471.99/3485.53 c #Conflicts: 2190000 | #Constraints: 81123 3471.99/3485.53 c #Conflicts: 2191000 | #Constraints: 82123 3471.99/3485.53 c #Conflicts: 2192000 | #Constraints: 83123 3471.99/3485.53 c #Conflicts: 2193000 | #Constraints: 84123 3471.99/3485.53 c #Conflicts: 2194000 | #Constraints: 85123 3471.99/3485.53 c #Conflicts: 2195000 | #Constraints: 86123 3471.99/3485.53 c #Conflicts: 2196000 | #Constraints: 87123 3471.99/3485.53 c #Conflicts: 2197000 | #Constraints: 88123 3471.99/3485.53 c #Conflicts: 2198000 | #Constraints: 89123 3471.99/3485.53 c #Conflicts: 2199000 | #Constraints: 90123 3471.99/3485.53 c #Conflicts: 2200000 | #Constraints: 91124 3471.99/3485.53 c INPROCESSING 3471.99/3485.53 c GARBAGE COLLECT 3471.99/3485.53 c rational objective 4.7489 3588.77/3602.62 c #Conflicts: 2201000 | #Constraints: 48137 3588.77/3602.62 c #Conflicts: 2202000 | #Constraints: 49137 3588.77/3602.62 c #Conflicts: 2203000 | #Constraints: 50137 3588.77/3602.62 c #Conflicts: 2204000 | #Constraints: 51137 3588.77/3602.62 c #Conflicts: 2205000 | #Constraints: 52137 3588.77/3602.62 c #Conflicts: 2206000 | #Constraints: 53137 3588.77/3602.62 c #Conflicts: 2207000 | #Constraints: 54137 3588.77/3602.62 c #Conflicts: 2208000 | #Constraints: 55138 3588.77/3602.62 c #Conflicts: 2209000 | #Constraints: 56138 3588.77/3602.62 c #Conflicts: 2210000 | #Constraints: 57138 3588.77/3602.62 c #Conflicts: 2211000 | #Constraints: 58138 3588.77/3602.62 c #Conflicts: 2212000 | #Constraints: 59138 3588.77/3602.62 c #Conflicts: 2213000 | #Constraints: 60138 3588.77/3602.62 c #Conflicts: 2214000 | #Constraints: 61138 3588.77/3602.62 c #Conflicts: 2215000 | #Constraints: 62138 3588.77/3602.62 c #Conflicts: 2216000 | #Constraints: 63138 3588.77/3602.62 c #Conflicts: 2217000 | #Constraints: 64138 3588.77/3602.62 c #Conflicts: 2218000 | #Constraints: 65138 3588.77/3602.62 c #Conflicts: 2219000 | #Constraints: 66138 3588.77/3602.62 c #Conflicts: 2220000 | #Constraints: 67138 3588.77/3602.62 c #Conflicts: 2221000 | #Constraints: 68138 3588.77/3602.62 c #Conflicts: 2222000 | #Constraints: 69138 3588.77/3602.62 c #Conflicts: 2223000 | #Constraints: 70138 3588.77/3602.62 c #Conflicts: 2224000 | #Constraints: 71138 3588.77/3602.62 c #Conflicts: 2225000 | #Constraints: 72138 3588.77/3602.62 c #Conflicts: 2226000 | #Constraints: 73138 3588.77/3602.62 c #Conflicts: 2227000 | #Constraints: 74138 3588.77/3602.62 c #Conflicts: 2228000 | #Constraints: 75138 3588.77/3602.62 c #Conflicts: 2229000 | #Constraints: 76138 3588.77/3602.62 c #Conflicts: 2230000 | #Constraints: 77138 3588.77/3602.62 c INPROCESSING 3588.77/3602.62 c GARBAGE COLLECT 3588.77/3602.62 c rational objective 4.7489 3595.25/3609.13 c #Conflicts: 2231000 | #Constraints: 41140 3595.25/3609.13 c #Conflicts: 2232000 | #Constraints: 42140 3595.25/3609.13 c #Conflicts: 2233000 | #Constraints: 43140 3595.25/3609.13 c #Conflicts: 2234000 | #Constraints: 44140 3595.25/3609.13 c #Conflicts: 2235000 | #Constraints: 45140 3595.25/3609.13 c #Conflicts: 2236000 | #Constraints: 46140 3595.25/3609.13 c #Conflicts: 2237000 | #Constraints: 47140 3595.25/3609.13 c #Conflicts: 2238000 | #Constraints: 48140 3595.25/3609.13 c #Conflicts: 2239000 | #Constraints: 49140 3595.25/3609.13 c #Conflicts: 2240000 | #Constraints: 50140 3595.25/3609.13 c #Conflicts: 2241000 | #Constraints: 51140 3595.25/3609.13 c #Conflicts: 2242000 | #Constraints: 52140 3595.25/3609.13 c #Conflicts: 2243000 | #Constraints: 53140 3595.25/3609.13 c #Conflicts: 2244000 | #Constraints: 54140 3595.25/3609.13 c #Conflicts: 2245000 | #Constraints: 55140 3595.25/3609.13 c #Conflicts: 2246000 | #Constraints: 56140 3595.25/3609.13 c #Conflicts: 2247000 | #Constraints: 57140 3595.25/3609.13 c #Conflicts: 2248000 | #Constraints: 58140 3595.25/3609.13 c #Conflicts: 2249000 | #Constraints: 59140 3595.25/3609.13 c #Conflicts: 2250000 | #Constraints: 60140 3595.25/3609.13 c #Conflicts: 2251000 | #Constraints: 61140 3595.25/3609.13 c #Conflicts: 2252000 | #Constraints: 62141 3595.25/3609.13 c #Conflicts: 2253000 | #Constraints: 63141 3595.25/3609.13 c #Conflicts: 2254000 | #Constraints: 64141 3595.25/3609.13 c #Conflicts: 2255000 | #Constraints: 65142 3595.25/3609.13 c #Conflicts: 2256000 | #Constraints: 66144 3595.25/3609.13 c #Conflicts: 2257000 | #Constraints: 67144 3595.25/3609.13 c #Conflicts: 2258000 | #Constraints: 68144 3595.25/3609.13 c #Conflicts: 2259000 | #Constraints: 69144 3595.25/3609.13 c #Conflicts: 2260000 | #Constraints: 70145 3595.25/3609.13 c #Conflicts: 2261000 | #Constraints: 71145 3595.25/3609.13 c INPROCESSING 3595.25/3609.13 c GARBAGE COLLECT 3595.25/3609.13 c rational objective 4.7489 3600.04/3613.90 c #Conflicts: 2262000 | #Constraints: 38528 3600.04/3613.90 c #Conflicts: 2263000 | #Constraints: 39528 3600.04/3613.90 c #Conflicts: 2264000 | #Constraints: 40528 3600.04/3613.90 c #Conflicts: 2265000 | #Constraints: 41528 3600.04/3613.90 c Program interrupted by user. 3600.04/3613.92 c cpu time 3556.29 s 3600.04/3613.92 c deterministic time 539939574719 5.40e+11 3600.04/3613.92 c optimization time 4.6659 s 3600.04/3613.92 c total solve time 3551.62 s 3600.04/3613.92 c core-guided solve time 0 s 3600.04/3613.92 c propagation time 3291.97 s 3600.04/3613.92 c conflict analysis time 201.475 s 3600.04/3613.92 c propagations 129814057 3600.04/3613.92 c resolve steps 13932584 3600.04/3613.92 c decisions 18530895 3600.04/3613.92 c conflicts 2265154 3600.04/3613.92 c restarts 4094 3600.04/3613.92 c inprocessing phases 133 3600.04/3613.92 c input clauses 1334 3600.04/3613.92 c input cardinalities 0 3600.04/3613.92 c input general constraints 2025 3600.04/3613.92 c input average constraint length 3.81 3600.04/3613.92 c input average constraint degree 20949313541.24 3600.04/3613.92 c learned clauses 833717 3600.04/3613.92 c learned cardinalities 8945 3600.04/3613.92 c learned general constraints 1427059 3600.04/3613.92 c learned average constraint length 91.36 3600.04/3613.92 c learned average constraint degree 263924562.24 3600.04/3613.92 c watched constraints 1336058 3600.04/3613.92 c counting constraints 93026 3600.04/3613.92 c gcd simplifications 142091 3600.04/3613.92 c detected cardinalities 3314 3600.04/3613.92 c weakened non-implied lits 13075797 3600.04/3613.92 c weakened non-implying lits 1342021 3600.04/3613.92 c original variables 3220 3600.04/3613.92 c clausal propagations 31187731 3600.04/3613.92 c cardinality propagations 185168 3600.04/3613.92 c watched propagations 23347533 3600.04/3613.92 c counting propagations 73695583 3600.04/3613.92 c watch lookups 73011588182 3600.04/3613.92 c watch backjump lookups 69088448245 3600.04/3613.92 c watch checks 203165734431 3600.04/3613.92 c propagation checks 193711400833 3600.04/3613.92 c constraint additions 660983098 3600.04/3613.92 c trail pops 150606765 3600.04/3613.92 c formula constraints 3359 3600.04/3613.92 c learned constraints 2264374 3600.04/3613.92 c bound constraints 0 3600.04/3613.92 c core-guided constraints 0 3600.04/3613.92 c encountered formula constraints 7317808 3600.04/3613.92 c encountered learned constraints 8747015 3600.04/3613.92 c encountered bound constraints 0 3600.04/3613.92 c encountered core-guided constraints 0 3600.04/3613.92 c LP total time 164.531 s 3600.04/3613.92 c LP solve time 148.17 s 3600.04/3613.92 c LP constraints added 3421 3600.04/3613.92 c LP constraints removed 41 3600.04/3613.92 c LP pivots internal 2265297 3600.04/3613.92 c LP pivots root 202915 3600.04/3613.92 c LP calls 81087 3600.04/3613.92 c LP optimalities 76502 3600.04/3613.92 c LP no pivot count 64765 3600.04/3613.92 c LP infeasibilities 4570 3600.04/3613.92 c LP valid Farkas constraints 4568 3600.04/3613.92 c LP learned Farkas constraints 779 3600.04/3613.92 c LP basis resets 14 3600.04/3613.92 c LP cycling count 11 3600.04/3613.92 c LP singular count 0 3600.04/3613.92 c LP no primal count 0 3600.04/3613.92 c LP no farkas count 2 3600.04/3613.92 c LP other issue count 1 3600.04/3613.92 c LP Gomory cuts 0 3600.04/3613.92 c LP learned cuts 62 3600.04/3613.92 c LP deleted cuts 41 3600.04/3613.92 c LP encountered Gomory constraints 0 3600.04/3613.92 c LP encountered Farkas constraints 111672 3600.04/3613.92 c LP encountered learned Farkas constraints 20464 3600.04/3613.92 c CG auxiliary variables introduced 0 3600.04/3613.92 c CG solutions found 0 3600.04/3613.92 c CG cores constructed 0 3600.04/3613.92 c CG core cardinality constraints returned 0 3600.04/3613.92 c CG unit cores 0 3600.04/3613.92 c CG single cores 0 3600.04/3613.92 c CG blocks removed during cardinality reduction 0 3600.04/3613.92 c CG first core best 0 3600.04/3613.92 c CG decision core best 0 3600.04/3613.92 c CG core reduction tie 0 3600.04/3613.92 c CG core degree average 0.00 3600.04/3613.92 c CG core slack average 0.00 3600.04/3613.92 s UNKNOWN
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 (56372 MiB free)
memory of node 1: 64473 MiB (61235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463259-1722348265/watcher-4463259-1722348265 -o /tmp/evaluation-result-4463259-1722348265/solver-4463259-1722348265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722340763-6896 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463259-1722348265 --lp-cut-gomory=0 HOME/instance-4463259-1722348265.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=12393, runsolver pid=12390
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.33 4.30 4.21 5/260 12394
/proc/meminfo: memFree=120421744/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=44012 memory=15164 CPUtime=0.09 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 1952 0 0 0 8 1 0 0 20 0 1 0 1430852 45068288 3791 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 11003 3791 1776 992 0 2861 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44012 KiB
Current children cumulated memory: 15164 KiB
[startup+0.205614 s]*
/proc/loadavg: 4.33 4.30 4.21 5/260 12394
/proc/meminfo: memFree=120420260/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=44288 memory=15748 CPUtime=0.2 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 2003 0 0 0 18 2 0 0 20 0 1 0 1430852 45350912 3937 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 11072 3937 1862 992 0 2930 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44288 KiB
Current children cumulated memory: 15748 KiB
[startup+0.305524 s]*
/proc/loadavg: 4.33 4.30 4.21 5/260 12394
/proc/meminfo: memFree=120419516/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=44604 memory=16276 CPUtime=0.3 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 2116 0 0 0 27 3 0 0 20 0 1 0 1430852 45674496 4069 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 11151 4069 1862 992 0 3009 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44604 KiB
Current children cumulated memory: 16276 KiB
[startup+0.700233 s]
/proc/loadavg: 4.33 4.30 4.21 5/260 12394
/proc/meminfo: memFree=120417696/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=45104 memory=16804 CPUtime=0.69 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 2243 0 0 0 60 9 0 0 20 0 1 0 1430852 46186496 4201 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 11276 4201 1862 992 0 3134 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45104 KiB
Current children cumulated memory: 16804 KiB
[startup+1.50022 s]
/proc/loadavg: 4.33 4.30 4.21 5/260 12394
/proc/meminfo: memFree=120411984/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=46232 memory=17860 CPUtime=1.49 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 2513 0 0 0 133 16 0 0 20 0 1 0 1430852 47341568 4465 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 11558 4465 1862 992 0 3416 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46232 KiB
Current children cumulated memory: 17860 KiB
[startup+3.10542 s]
/proc/loadavg: 4.33 4.30 4.21 5/260 12394
/proc/meminfo: memFree=120387136/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=48232 memory=21748 CPUtime=3.09 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 2992 0 0 0 281 28 0 0 20 0 1 0 1430852 49389568 5437 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 12058 5437 1862 992 0 3916 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48232 KiB
Current children cumulated memory: 21748 KiB
[startup+6.3002 s]
/proc/loadavg: 4.30 4.29 4.21 5/260 12395
/proc/meminfo: memFree=120352060/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=52504 memory=25964 CPUtime=6.27 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 4057 0 0 0 577 50 0 0 20 0 1 0 1430852 53764096 6491 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 13126 6491 1862 992 0 4984 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52504 KiB
Current children cumulated memory: 25964 KiB
[startup+12.7002 s]
/proc/loadavg: 4.28 4.29 4.21 5/260 12395
/proc/meminfo: memFree=120302156/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=58732 memory=31220 CPUtime=12.64 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 5331 0 0 0 1171 93 0 0 20 0 1 0 1430852 60141568 7805 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 14683 7805 1862 992 0 6541 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 58732 KiB
Current children cumulated memory: 31220 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.27 4.21 5/260 12398
/proc/meminfo: memFree=120207388/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=73624 memory=45260 CPUtime=25.4 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 8368 0 0 0 2390 150 0 0 20 0 1 0 1430852 75390976 11315 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 18406 11315 1862 992 0 10264 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 73624 KiB
Current children cumulated memory: 45260 KiB
[startup+51.1055 s]
/proc/loadavg: 4.21 4.27 4.20 5/259 12402
/proc/meminfo: memFree=120049200/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=92560 memory=62000 CPUtime=50.92 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 11514 0 0 0 4816 276 0 0 20 0 1 0 1430852 94781440 15500 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 23140 15500 1862 992 0 14998 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 92560 KiB
Current children cumulated memory: 62000 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.26 4.20 5/259 12411
/proc/meminfo: memFree=119846260/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=100828 memory=69624 CPUtime=101.92 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 13371 0 0 0 9804 388 0 0 20 0 1 0 1430852 103247872 17406 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 25207 17406 1931 992 0 17065 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 100828 KiB
Current children cumulated memory: 69624 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.22 4.19 5/258 12422
/proc/meminfo: memFree=119581248/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=105452 memory=74104 CPUtime=161.72 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 14517 0 0 0 15583 589 0 0 20 0 1 0 1430852 107982848 18526 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 26363 18526 1931 992 0 18221 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 105452 KiB
Current children cumulated memory: 74104 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/257 12433
/proc/meminfo: memFree=119308492/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=116180 memory=84584 CPUtime=221.52 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 16616 0 0 0 21443 709 0 0 20 0 1 0 1430852 118968320 21146 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 29045 21146 1931 992 0 20903 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 116180 KiB
Current children cumulated memory: 84584 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.18 4.18 5/257 12444
/proc/meminfo: memFree=118608236/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=116348 memory=84840 CPUtime=281.3 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 16683 0 0 0 27256 874 0 0 20 0 1 0 1430852 119140352 21210 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 29087 21210 1931 992 0 20945 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 116348 KiB
Current children cumulated memory: 84840 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/261 12460
/proc/meminfo: memFree=117898532/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=132448 memory=93988 CPUtime=341.08 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 17961 0 0 0 33122 986 0 0 20 0 1 0 1430852 135626752 23497 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 33112 23497 1931 992 0 24970 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 132448 KiB
Current children cumulated memory: 93988 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 4.19 4.18 5/262 12474
/proc/meminfo: memFree=116617656/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=137256 memory=98476 CPUtime=400.86 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 19044 0 0 0 38959 1127 0 0 20 0 1 0 1430852 140550144 24619 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 34314 24619 1931 992 0 26172 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 137256 KiB
Current children cumulated memory: 98476 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/263 12485
/proc/meminfo: memFree=115342812/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=138468 memory=99268 CPUtime=460.64 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 19246 0 0 0 44792 1272 0 0 20 0 1 0 1430852 141791232 24817 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 34617 24817 1931 992 0 26475 0
################
# More data... #
################
Current children cumulated memory: 256416 KiB
[startup+2922.3 s]
/proc/loadavg: 2.13 2.15 2.64 3/247 13818
/proc/meminfo: memFree=97707656/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=339556 memory=257700 CPUtime=2910.79 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 51293 0 0 0 287065 4014 0 0 20 0 1 0 1430852 347705344 64425 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 84889 64425 1931 992 0 76747 0
Current children cumulated CPU time: 2910.79 s
Current children cumulated vsize: 339556 KiB
Current children cumulated memory: 257700 KiB
[startup+2982.3 s]
/proc/loadavg: 2.13 2.15 2.61 3/247 13829
/proc/meminfo: memFree=97063684/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=339792 memory=257960 CPUtime=2970.57 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 51374 0 0 0 293019 4038 0 0 20 0 1 0 1430852 347947008 64490 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 84948 64490 1931 992 0 76806 0
Current children cumulated CPU time: 2970.57 s
Current children cumulated vsize: 339792 KiB
Current children cumulated memory: 257960 KiB
[startup+3042.3 s]
/proc/loadavg: 2.09 2.13 2.58 3/250 14226
/proc/meminfo: memFree=96295408/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=341500 memory=259448 CPUtime=3030.34 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 51763 0 0 0 298977 4057 0 0 20 0 1 0 1430852 349696000 64862 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 85375 64862 1931 992 0 77233 0
Current children cumulated CPU time: 3030.34 s
Current children cumulated vsize: 341500 KiB
Current children cumulated memory: 259448 KiB
[startup+3102.3 s]
/proc/loadavg: 2.14 2.14 2.55 3/248 14238
/proc/meminfo: memFree=95684896/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=343188 memory=260712 CPUtime=3090.08 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 52085 0 0 0 304932 4076 0 0 20 0 1 0 1430852 351424512 65178 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 85797 65178 1931 992 0 77655 0
Current children cumulated CPU time: 3090.08 s
Current children cumulated vsize: 343188 KiB
Current children cumulated memory: 260712 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.13 2.52 3/248 14249
/proc/meminfo: memFree=95320240/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=343700 memory=261184 CPUtime=3149.83 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 52233 0 0 0 310890 4093 0 0 20 0 1 0 1430852 351948800 65296 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 85925 65296 1931 992 0 77783 0
Current children cumulated CPU time: 3149.83 s
Current children cumulated vsize: 343700 KiB
Current children cumulated memory: 261184 KiB
[startup+3222.3 s]
/proc/loadavg: 2.00 2.10 2.48 2/245 14462
/proc/meminfo: memFree=126511144/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=345600 memory=263544 CPUtime=3209.6 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 53728 0 0 0 316835 4125 0 0 20 0 1 0 1430852 353894400 65886 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 86400 65886 1931 992 0 78258 0
Current children cumulated CPU time: 3209.6 s
Current children cumulated vsize: 345600 KiB
Current children cumulated memory: 263544 KiB
[startup+3282.3 s]
/proc/loadavg: 1.43 1.91 2.39 2/245 14473
/proc/meminfo: memFree=126473116/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=347104 memory=271044 CPUtime=3269.41 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 54139 0 0 0 322741 4200 0 0 20 0 1 0 1430852 355434496 67761 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 86776 67761 1931 992 0 78634 0
Current children cumulated CPU time: 3269.41 s
Current children cumulated vsize: 347104 KiB
Current children cumulated memory: 271044 KiB
[startup+3342.3 s]
/proc/loadavg: 1.55 1.84 2.33 2/246 14486
/proc/meminfo: memFree=126445964/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=347104 memory=283564 CPUtime=3329.22 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 54164 0 0 0 328675 4247 0 0 20 0 1 0 1430852 355434496 70891 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 86776 70891 1931 992 0 78634 0
Current children cumulated CPU time: 3329.22 s
Current children cumulated vsize: 347104 KiB
Current children cumulated memory: 283564 KiB
[startup+3402.3 s]
/proc/loadavg: 1.30 1.72 2.26 2/244 14508
/proc/meminfo: memFree=126437420/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=347104 memory=283564 CPUtime=3389.05 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 54269 0 0 0 334632 4273 0 0 20 0 1 0 1430852 355434496 70891 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 86776 70891 1931 992 0 78634 0
Current children cumulated CPU time: 3389.05 s
Current children cumulated vsize: 347104 KiB
Current children cumulated memory: 283564 KiB
[startup+3462.3 s]
/proc/loadavg: 1.16 1.60 2.18 2/244 14518
/proc/meminfo: memFree=126428900/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=347520 memory=283772 CPUtime=3448.86 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 54428 0 0 0 340593 4293 0 0 20 0 1 0 1430852 355860480 70943 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 86880 70943 1931 992 0 78738 0
Current children cumulated CPU time: 3448.86 s
Current children cumulated vsize: 347520 KiB
Current children cumulated memory: 283772 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.50 2.11 2/242 14531
/proc/meminfo: memFree=126397684/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=350332 memory=286112 CPUtime=3508.7 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 55117 0 0 0 346550 4320 0 0 20 0 1 0 1430852 358739968 71528 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 87583 71528 1931 992 0 79441 0
Current children cumulated CPU time: 3508.7 s
Current children cumulated vsize: 350332 KiB
Current children cumulated memory: 286112 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 1.44 2.05 2/239 14542
/proc/meminfo: memFree=126375664/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=350332 memory=286192 CPUtime=3568.53 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 55251 0 0 0 352514 4339 0 0 20 0 1 0 1430852 358739968 71548 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 87583 71548 1931 992 0 79441 0
Current children cumulated CPU time: 3568.53 s
Current children cumulated vsize: 350332 KiB
Current children cumulated memory: 286192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.9 s]
/proc/loadavg: 1.15 1.41 2.02 2/239 14548
/proc/meminfo: memFree=126349828/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=350332 memory=286192 CPUtime=3600.04 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 55268 0 0 0 355629 4375 0 0 20 0 1 0 1430852 358739968 71548 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 87583 71548 1931 992 0 79441 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 350332 KiB
Current children cumulated memory: 286192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.92 s]
# the end of solver process 12393 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.3 s, system=43.7531 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.9 s]
/proc/loadavg: 1.15 1.41 2.02 2/239 14548
/proc/meminfo: memFree=126349828/131524600 swapFree=131071996/131071996
[pid=12393] ppid=12390 vsize=350332 memory=286192 CPUtime=3600.04 cores=0,2
/proc/12393/stat : 12393 (roundingsat) R 12390 12393 6885 0 -1 4194304 55268 0 0 0 355629 4375 0 0 20 0 1 0 1430852 358739968 71548 134679101440 4194304 8255733 140720801399408 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21741568 140720801403742 140720801404004 140720801404004 140720801411017 0
/proc/12393/statm: 87583 71548 1931 992 0 79441 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 350332 KiB
Current children cumulated memory: 286192 KiB
Child status: 0
Real time (s): 3613.92
CPU time (s): 3600.05
CPU user time (s): 3556.3
CPU system time (s): 43.7531
CPU usage (%): 99.6161
Max. virtual memory (cumulated for all children) (KiB): 350332
Max. memory (cumulated for all children) (KiB): 286192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.3
system time used= 43.7531
maximum resident set size= 286192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6417696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 494
involuntary context switches= 25216
# summary of solver processes directly reported to runsolver:
# pid: 12393
# total CPU time (s): 3600.05
# total CPU user time (s): 3556.3
# total CPU system time (s): 43.7531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57718 second user time and 17.048 second system time
The end
Begin job on nodeC034 at 2024-07-30 16:04:26 IDJOB=4463259 IDBENCH=176033 IDSOLVER=3089 FILE ID=nodeC034/4463259-1722348265 RUNJOBID= nodeC034-1722340763-6896 SLURM_JOB_ID= 8249007 Free space on /tmp= 890036 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-23arraycomm_teq_tvars_less.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-4463259-1722348265/watcher-4463259-1722348265 -o /tmp/evaluation-result-4463259-1722348265/solver-4463259-1722348265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722340763-6896 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463259-1722348265 --lp-cut-gomory=0 HOME/instance-4463259-1722348265.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7d417cf1b74ab4db87153ce12cf8f72e RANDOM SEED=1360913588 nodeC034.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 : 3656.297 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.51 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 : 3689.492 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.49 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 : 3656.475 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.026 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.49 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 : 3664.157 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.51 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 : 3689.586 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.49 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 : 3628.182 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.51 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 : 3599.733 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.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 120430872 kB MemAvailable: 126340224 kB Buffers: 54308 kB Cached: 6686296 kB SwapCached: 0 kB Active: 194844 kB Inactive: 10413840 kB Active(anon): 1548 kB Inactive(anon): 3887964 kB Active(file): 193296 kB Inactive(file): 6525876 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 57340 kB Writeback: 0 kB AnonPages: 3866256 kB Mapped: 97804 kB Shmem: 21336 kB KReclaimable: 60004 kB Slab: 140924 kB SReclaimable: 60004 kB SUnreclaim: 80920 kB KernelStack: 4192 kB PageTables: 16616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4742212 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8992 kB HardwareCorrupted: 0 kB AnonHugePages: 1458176 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: 185044 kB DirectMap2M: 5879808 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890076 MiB End job on nodeC034 at 2024-07-30 17:04:40