| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.04 | 3608.51 |
| 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.49/0.55 c #Conflicts: 1000 | #Constraints: 4358 0.49/0.55 c #Conflicts: 2000 | #Constraints: 5362 0.49/0.55 c INPROCESSING 0.49/0.55 c GARBAGE COLLECT 0.49/0.55 c #Conflicts: 3000 | #Constraints: 5408 0.49/0.55 c #Conflicts: 4000 | #Constraints: 6410 0.49/0.55 c INPROCESSING 0.49/0.55 c GARBAGE COLLECT 0.49/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.17 c #Conflicts: 7000 | #Constraints: 5884 1.09/1.17 c #Conflicts: 8000 | #Constraints: 6884 1.09/1.17 c #Conflicts: 9000 | #Constraints: 7885 1.09/1.17 c INPROCESSING 1.09/1.17 c GARBAGE COLLECT 1.09/1.17 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.67 c #Conflicts: 16000 | #Constraints: 7346 2.58/2.67 c #Conflicts: 17000 | #Constraints: 8346 2.58/2.67 c #Conflicts: 18000 | #Constraints: 9346 2.58/2.67 c INPROCESSING 2.58/2.67 c GARBAGE COLLECT 2.58/2.67 c rational objective 2.84217e-14 3.18/3.22 c #Conflicts: 19000 | #Constraints: 7384 3.18/3.22 c #Conflicts: 20000 | #Constraints: 8384 3.18/3.22 c #Conflicts: 21000 | #Constraints: 9384 3.18/3.22 c INPROCESSING 3.18/3.22 c GARBAGE COLLECT 3.18/3.22 c rational objective 2.84217e-14 3.68/3.75 c #Conflicts: 22000 | #Constraints: 7189 3.68/3.75 c #Conflicts: 23000 | #Constraints: 8193 3.68/3.75 c #Conflicts: 24000 | #Constraints: 9194 3.68/3.75 c #Conflicts: 25000 | #Constraints: 10195 3.68/3.75 c INPROCESSING 3.68/3.75 c GARBAGE COLLECT 3.68/3.75 c rational objective 2.84217e-14 4.18/4.24 c #Conflicts: 26000 | #Constraints: 7790 4.18/4.24 c #Conflicts: 27000 | #Constraints: 8794 4.18/4.24 c #Conflicts: 28000 | #Constraints: 9794 4.18/4.24 c #Conflicts: 29000 | #Constraints: 10795 4.18/4.24 c INPROCESSING 4.18/4.24 c GARBAGE COLLECT 4.18/4.24 c rational objective 2.84217e-14 4.78/4.84 c #Conflicts: 30000 | #Constraints: 8188 4.78/4.84 c #Conflicts: 31000 | #Constraints: 9189 4.78/4.84 c #Conflicts: 32000 | #Constraints: 10190 4.78/4.84 c #Conflicts: 33000 | #Constraints: 11192 4.78/4.84 c INPROCESSING 4.78/4.84 c GARBAGE COLLECT 4.78/4.84 c rational objective 2.84217e-14 5.88/5.96 c #Conflicts: 34000 | #Constraints: 8401 5.88/5.96 c #Conflicts: 35000 | #Constraints: 9402 5.88/5.96 c #Conflicts: 36000 | #Constraints: 10404 5.88/5.96 c #Conflicts: 37000 | #Constraints: 11407 5.88/5.96 c INPROCESSING 5.88/5.96 c GARBAGE COLLECT 5.88/5.96 c rational objective 2.84217e-14 6.47/6.52 c #Conflicts: 38000 | #Constraints: 8425 6.47/6.52 c #Conflicts: 39000 | #Constraints: 9426 6.47/6.52 c #Conflicts: 40000 | #Constraints: 10427 6.47/6.52 c #Conflicts: 41000 | #Constraints: 11427 6.47/6.52 c INPROCESSING 6.47/6.52 c GARBAGE COLLECT 6.47/6.52 c rational objective 2.84217e-14 7.28/7.36 c #Conflicts: 42000 | #Constraints: 8245 7.28/7.36 c #Conflicts: 43000 | #Constraints: 9247 7.28/7.36 c #Conflicts: 44000 | #Constraints: 10249 7.28/7.36 c #Conflicts: 45000 | #Constraints: 11251 7.28/7.36 c #Conflicts: 46000 | #Constraints: 12253 7.28/7.36 c INPROCESSING 7.28/7.36 c GARBAGE COLLECT 7.28/7.36 c rational objective 2.84217e-14 8.27/8.31 c #Conflicts: 47000 | #Constraints: 8868 8.27/8.31 c #Conflicts: 48000 | #Constraints: 9868 8.27/8.31 c #Conflicts: 49000 | #Constraints: 10870 8.27/8.31 c #Conflicts: 50000 | #Constraints: 11870 8.27/8.31 c #Conflicts: 51000 | #Constraints: 12870 8.27/8.31 c INPROCESSING 8.27/8.31 c GARBAGE COLLECT 8.27/8.31 c rational objective 2.84217e-14 9.07/9.15 c #Conflicts: 52000 | #Constraints: 9242 9.07/9.15 c #Conflicts: 53000 | #Constraints: 10243 9.07/9.15 c #Conflicts: 54000 | #Constraints: 11243 9.07/9.15 c #Conflicts: 55000 | #Constraints: 12245 9.07/9.15 c #Conflicts: 56000 | #Constraints: 13245 9.07/9.15 c INPROCESSING 9.07/9.15 c GARBAGE COLLECT 9.07/9.15 c rational objective 2.84217e-14 10.27/10.32 c #Conflicts: 57000 | #Constraints: 9430 10.27/10.32 c #Conflicts: 58000 | #Constraints: 10431 10.27/10.32 c #Conflicts: 59000 | #Constraints: 11431 10.27/10.32 c #Conflicts: 60000 | #Constraints: 12431 10.27/10.32 c #Conflicts: 61000 | #Constraints: 13432 10.27/10.32 c INPROCESSING 10.27/10.32 c GARBAGE COLLECT 10.27/10.32 c rational objective 2.84217e-14 13.55/13.64 c #Conflicts: 62000 | #Constraints: 9456 13.55/13.64 c #Conflicts: 63000 | #Constraints: 10456 13.55/13.64 c #Conflicts: 64000 | #Constraints: 11456 13.55/13.64 c #Conflicts: 65000 | #Constraints: 12458 13.55/13.64 c #Conflicts: 66000 | #Constraints: 13458 13.55/13.64 c INPROCESSING 13.55/13.64 c GARBAGE COLLECT 13.55/13.64 c rational objective 2.84217e-14 14.75/14.85 c #Conflicts: 67000 | #Constraints: 9244 14.75/14.85 c #Conflicts: 68000 | #Constraints: 10245 14.75/14.85 c #Conflicts: 69000 | #Constraints: 11246 14.75/14.85 c #Conflicts: 70000 | #Constraints: 12248 14.75/14.85 c #Conflicts: 71000 | #Constraints: 13248 14.75/14.85 c #Conflicts: 72000 | #Constraints: 14249 14.75/14.85 c INPROCESSING 14.75/14.85 c GARBAGE COLLECT 14.75/14.85 c rational objective 2.84217e-14 15.76/15.89 c #Conflicts: 73000 | #Constraints: 9851 15.76/15.89 c #Conflicts: 74000 | #Constraints: 10853 15.76/15.89 c #Conflicts: 75000 | #Constraints: 11855 15.76/15.89 c #Conflicts: 76000 | #Constraints: 12857 15.76/15.89 c #Conflicts: 77000 | #Constraints: 13858 15.76/15.89 c #Conflicts: 78000 | #Constraints: 14858 15.76/15.89 c INPROCESSING 15.76/15.89 c GARBAGE COLLECT 15.76/15.89 c rational objective 2.84217e-14 20.04/20.13 c #Conflicts: 79000 | #Constraints: 10273 20.04/20.13 c #Conflicts: 80000 | #Constraints: 11274 20.04/20.13 c #Conflicts: 81000 | #Constraints: 12275 20.04/20.13 c #Conflicts: 82000 | #Constraints: 13275 20.04/20.13 c #Conflicts: 83000 | #Constraints: 14275 20.04/20.13 c #Conflicts: 84000 | #Constraints: 15275 20.04/20.13 c INPROCESSING 20.04/20.13 c GARBAGE COLLECT 20.04/20.13 c rational objective 2.84217e-14 20.94/21.08 c #Conflicts: 85000 | #Constraints: 10473 20.94/21.08 c #Conflicts: 86000 | #Constraints: 11474 20.94/21.08 c #Conflicts: 87000 | #Constraints: 12475 20.94/21.08 c #Conflicts: 88000 | #Constraints: 13476 20.94/21.08 c #Conflicts: 89000 | #Constraints: 14476 20.94/21.08 c #Conflicts: 90000 | #Constraints: 15476 20.94/21.08 c INPROCESSING 20.94/21.08 c GARBAGE COLLECT 20.94/21.08 c rational objective 2.84217e-14 21.64/21.75 c #Conflicts: 91000 | #Constraints: 10478 21.64/21.75 c #Conflicts: 92000 | #Constraints: 11480 21.64/21.75 c #Conflicts: 93000 | #Constraints: 12482 21.64/21.75 c #Conflicts: 94000 | #Constraints: 13482 21.64/21.75 c #Conflicts: 95000 | #Constraints: 14482 21.64/21.75 c #Conflicts: 96000 | #Constraints: 15483 21.64/21.75 c INPROCESSING 21.64/21.75 c GARBAGE COLLECT 21.64/21.75 c rational objective 2.84217e-14 29.82/29.93 c #Conflicts: 97000 | #Constraints: 10300 29.82/29.93 c #Conflicts: 98000 | #Constraints: 11300 29.82/29.93 c #Conflicts: 99000 | #Constraints: 12300 29.82/29.93 c #Conflicts: 100000 | #Constraints: 13300 29.82/29.93 c #Conflicts: 101000 | #Constraints: 14300 29.82/29.93 c #Conflicts: 102000 | #Constraints: 15300 29.82/29.93 c #Conflicts: 103000 | #Constraints: 16301 29.82/29.93 c INPROCESSING 29.82/29.93 c GARBAGE COLLECT 29.82/29.93 c rational objective 2.84217e-14 30.72/30.89 c #Conflicts: 104000 | #Constraints: 10901 30.72/30.89 c #Conflicts: 105000 | #Constraints: 11902 30.72/30.89 c #Conflicts: 106000 | #Constraints: 12902 30.72/30.89 c #Conflicts: 107000 | #Constraints: 13904 30.72/30.89 c #Conflicts: 108000 | #Constraints: 14904 30.72/30.89 c #Conflicts: 109000 | #Constraints: 15905 30.72/30.89 c #Conflicts: 110000 | #Constraints: 16905 30.72/30.89 c INPROCESSING 30.72/30.89 c GARBAGE COLLECT 30.72/30.89 c rational objective 2.84217e-14 31.92/32.04 c #Conflicts: 111000 | #Constraints: 11311 31.92/32.04 c #Conflicts: 112000 | #Constraints: 12312 31.92/32.04 c #Conflicts: 113000 | #Constraints: 13313 31.92/32.04 c #Conflicts: 114000 | #Constraints: 14313 31.92/32.04 c #Conflicts: 115000 | #Constraints: 15316 31.92/32.04 c #Conflicts: 116000 | #Constraints: 16318 31.92/32.04 c #Conflicts: 117000 | #Constraints: 17318 31.92/32.04 c INPROCESSING 31.92/32.04 c GARBAGE COLLECT 31.92/32.04 c rational objective 2.84217e-14 33.92/34.07 c #Conflicts: 118000 | #Constraints: 11515 33.92/34.07 c #Conflicts: 119000 | #Constraints: 12516 33.92/34.07 c #Conflicts: 120000 | #Constraints: 13518 33.92/34.07 c #Conflicts: 121000 | #Constraints: 14520 33.92/34.07 c #Conflicts: 122000 | #Constraints: 15520 33.92/34.07 c #Conflicts: 123000 | #Constraints: 16520 33.92/34.07 c #Conflicts: 124000 | #Constraints: 17521 33.92/34.07 c INPROCESSING 33.92/34.07 c GARBAGE COLLECT 33.92/34.07 c rational objective 2.84217e-14 35.21/35.38 c #Conflicts: 125000 | #Constraints: 11498 35.21/35.38 c #Conflicts: 126000 | #Constraints: 12499 35.21/35.38 c #Conflicts: 127000 | #Constraints: 13500 35.21/35.38 c #Conflicts: 128000 | #Constraints: 14500 35.21/35.38 c #Conflicts: 129000 | #Constraints: 15501 35.21/35.38 c #Conflicts: 130000 | #Constraints: 16501 35.21/35.38 c #Conflicts: 131000 | #Constraints: 17502 35.21/35.38 c INPROCESSING 35.21/35.38 c GARBAGE COLLECT 35.21/35.38 c rational objective 4.73927 38.60/38.76 c #Conflicts: 132000 | #Constraints: 11305 38.60/38.76 c #Conflicts: 133000 | #Constraints: 12306 38.60/38.76 c #Conflicts: 134000 | #Constraints: 13306 38.60/38.76 c #Conflicts: 135000 | #Constraints: 14307 38.60/38.76 c #Conflicts: 136000 | #Constraints: 15307 38.60/38.76 c #Conflicts: 137000 | #Constraints: 16308 38.60/38.76 c #Conflicts: 138000 | #Constraints: 17308 38.60/38.76 c #Conflicts: 139000 | #Constraints: 18309 38.60/38.76 c INPROCESSING 38.60/38.76 c GARBAGE COLLECT 38.60/38.76 c rational objective 4.74001 42.79/42.96 c #Conflicts: 140000 | #Constraints: 11910 42.79/42.96 c #Conflicts: 141000 | #Constraints: 12911 42.79/42.96 c #Conflicts: 142000 | #Constraints: 13912 42.79/42.96 c #Conflicts: 143000 | #Constraints: 14913 42.79/42.96 c #Conflicts: 144000 | #Constraints: 15913 42.79/42.96 c #Conflicts: 145000 | #Constraints: 16914 42.79/42.96 c #Conflicts: 146000 | #Constraints: 17914 42.79/42.96 c #Conflicts: 147000 | #Constraints: 18915 42.79/42.96 c INPROCESSING 42.79/42.96 c GARBAGE COLLECT 42.79/42.96 c rational objective 4.74001 44.78/44.99 c #Conflicts: 148000 | #Constraints: 12338 44.78/44.99 c #Conflicts: 149000 | #Constraints: 13338 44.78/44.99 c #Conflicts: 150000 | #Constraints: 14338 44.78/44.99 c #Conflicts: 151000 | #Constraints: 15338 44.78/44.99 c #Conflicts: 152000 | #Constraints: 16338 44.78/44.99 c #Conflicts: 153000 | #Constraints: 17338 44.78/44.99 c #Conflicts: 154000 | #Constraints: 18338 44.78/44.99 c #Conflicts: 155000 | #Constraints: 19339 44.78/44.99 c INPROCESSING 44.78/44.99 c GARBAGE COLLECT 44.78/44.99 c rational objective 4.74001 47.49/47.63 c #Conflicts: 156000 | #Constraints: 12534 47.49/47.63 c #Conflicts: 157000 | #Constraints: 13534 47.49/47.63 c #Conflicts: 158000 | #Constraints: 14535 47.49/47.63 c #Conflicts: 159000 | #Constraints: 15535 47.49/47.63 c #Conflicts: 160000 | #Constraints: 16537 47.49/47.63 c #Conflicts: 161000 | #Constraints: 17537 47.49/47.63 c #Conflicts: 162000 | #Constraints: 18538 47.49/47.63 c #Conflicts: 163000 | #Constraints: 19538 47.49/47.63 c INPROCESSING 47.49/47.63 c GARBAGE COLLECT 47.49/47.63 c rational objective 4.74001 50.88/51.01 c #Conflicts: 164000 | #Constraints: 12532 50.88/51.01 c #Conflicts: 165000 | #Constraints: 13533 50.88/51.01 c #Conflicts: 166000 | #Constraints: 14535 50.88/51.01 c #Conflicts: 167000 | #Constraints: 15537 50.88/51.01 c #Conflicts: 168000 | #Constraints: 16538 50.88/51.01 c #Conflicts: 169000 | #Constraints: 17539 50.88/51.01 c #Conflicts: 170000 | #Constraints: 18540 50.88/51.01 c #Conflicts: 171000 | #Constraints: 19540 50.88/51.01 c INPROCESSING 50.88/51.01 c GARBAGE COLLECT 50.88/51.01 c rational objective 4.74001 55.36/55.57 c #Conflicts: 172000 | #Constraints: 12333 55.36/55.57 c #Conflicts: 173000 | #Constraints: 13334 55.36/55.57 c #Conflicts: 174000 | #Constraints: 14335 55.36/55.57 c #Conflicts: 175000 | #Constraints: 15335 55.36/55.57 c #Conflicts: 176000 | #Constraints: 16337 55.36/55.57 c #Conflicts: 177000 | #Constraints: 17339 55.36/55.57 c #Conflicts: 178000 | #Constraints: 18339 55.36/55.57 c #Conflicts: 179000 | #Constraints: 19339 55.36/55.57 c #Conflicts: 180000 | #Constraints: 20339 55.36/55.57 c INPROCESSING 55.36/55.57 c GARBAGE COLLECT 55.36/55.57 c rational objective 4.74001 59.96/60.14 c #Conflicts: 181000 | #Constraints: 12948 59.96/60.14 c #Conflicts: 182000 | #Constraints: 13949 59.96/60.14 c #Conflicts: 183000 | #Constraints: 14950 59.96/60.14 c #Conflicts: 184000 | #Constraints: 15951 59.96/60.14 c #Conflicts: 185000 | #Constraints: 16951 59.96/60.14 c #Conflicts: 186000 | #Constraints: 17952 59.96/60.14 c #Conflicts: 187000 | #Constraints: 18952 59.96/60.14 c #Conflicts: 188000 | #Constraints: 19952 59.96/60.14 c #Conflicts: 189000 | #Constraints: 20953 59.96/60.14 c INPROCESSING 59.96/60.14 c GARBAGE COLLECT 59.96/60.14 c rational objective 4.74003 66.23/66.46 c #Conflicts: 190000 | #Constraints: 13361 66.23/66.46 c #Conflicts: 191000 | #Constraints: 14362 66.23/66.46 c #Conflicts: 192000 | #Constraints: 15363 66.23/66.46 c #Conflicts: 193000 | #Constraints: 16364 66.23/66.46 c #Conflicts: 194000 | #Constraints: 17364 66.23/66.46 c #Conflicts: 195000 | #Constraints: 18364 66.23/66.46 c #Conflicts: 196000 | #Constraints: 19364 66.23/66.46 c #Conflicts: 197000 | #Constraints: 20364 66.23/66.46 c #Conflicts: 198000 | #Constraints: 21364 66.23/66.46 c INPROCESSING 66.23/66.46 c GARBAGE COLLECT 66.23/66.46 c rational objective 4.74003 69.23/69.40 c #Conflicts: 199000 | #Constraints: 13591 69.23/69.40 c #Conflicts: 200000 | #Constraints: 14592 69.23/69.40 c #Conflicts: 201000 | #Constraints: 15592 69.23/69.40 c #Conflicts: 202000 | #Constraints: 16592 69.23/69.40 c #Conflicts: 203000 | #Constraints: 17592 69.23/69.40 c #Conflicts: 204000 | #Constraints: 18593 69.23/69.40 c #Conflicts: 205000 | #Constraints: 19594 69.23/69.40 c #Conflicts: 206000 | #Constraints: 20594 69.23/69.40 c #Conflicts: 207000 | #Constraints: 21594 69.23/69.40 c INPROCESSING 69.23/69.40 c GARBAGE COLLECT 69.23/69.40 c rational objective 4.74003 71.03/71.20 c #Conflicts: 208000 | #Constraints: 13588 71.03/71.20 c #Conflicts: 209000 | #Constraints: 14589 71.03/71.20 c #Conflicts: 210000 | #Constraints: 15589 71.03/71.20 c #Conflicts: 211000 | #Constraints: 16590 71.03/71.20 c #Conflicts: 212000 | #Constraints: 17592 71.03/71.20 c #Conflicts: 213000 | #Constraints: 18592 71.03/71.20 c #Conflicts: 214000 | #Constraints: 19594 71.03/71.20 c #Conflicts: 215000 | #Constraints: 20595 71.03/71.20 c #Conflicts: 216000 | #Constraints: 21596 71.03/71.20 c INPROCESSING 71.03/71.20 c GARBAGE COLLECT 71.03/71.20 c rational objective 4.74003 98.86/99.19 c #Conflicts: 217000 | #Constraints: 13355 98.86/99.19 c #Conflicts: 218000 | #Constraints: 14355 98.86/99.19 c #Conflicts: 219000 | #Constraints: 15355 98.86/99.19 c #Conflicts: 220000 | #Constraints: 16355 98.86/99.19 c #Conflicts: 221000 | #Constraints: 17355 98.86/99.19 c #Conflicts: 222000 | #Constraints: 18355 98.86/99.19 c #Conflicts: 223000 | #Constraints: 19357 98.86/99.19 c #Conflicts: 224000 | #Constraints: 20357 98.86/99.19 c #Conflicts: 225000 | #Constraints: 21357 98.86/99.19 c #Conflicts: 226000 | #Constraints: 22357 98.86/99.19 c INPROCESSING 98.86/99.19 c GARBAGE COLLECT 98.86/99.19 c rational objective 4.74003 102.55/102.86 c #Conflicts: 227000 | #Constraints: 13968 102.55/102.86 c #Conflicts: 228000 | #Constraints: 14970 102.55/102.86 c #Conflicts: 229000 | #Constraints: 15971 102.55/102.86 c #Conflicts: 230000 | #Constraints: 16971 102.55/102.86 c #Conflicts: 231000 | #Constraints: 17971 102.55/102.86 c #Conflicts: 232000 | #Constraints: 18971 102.55/102.86 c #Conflicts: 233000 | #Constraints: 19971 102.55/102.86 c #Conflicts: 234000 | #Constraints: 20971 102.55/102.86 c #Conflicts: 235000 | #Constraints: 21971 102.55/102.86 c #Conflicts: 236000 | #Constraints: 22971 102.55/102.86 c INPROCESSING 102.55/102.86 c GARBAGE COLLECT 102.55/102.86 c rational objective 4.74003 113.22/113.59 c #Conflicts: 237000 | #Constraints: 14357 113.22/113.59 c #Conflicts: 238000 | #Constraints: 15357 113.22/113.59 c #Conflicts: 239000 | #Constraints: 16358 113.22/113.59 c #Conflicts: 240000 | #Constraints: 17359 113.22/113.59 c #Conflicts: 241000 | #Constraints: 18359 113.22/113.59 c #Conflicts: 242000 | #Constraints: 19360 113.22/113.59 c #Conflicts: 243000 | #Constraints: 20361 113.22/113.59 c #Conflicts: 244000 | #Constraints: 21361 113.22/113.59 c #Conflicts: 245000 | #Constraints: 22361 113.22/113.59 c #Conflicts: 246000 | #Constraints: 23362 113.22/113.59 c INPROCESSING 113.22/113.59 c GARBAGE COLLECT 113.22/113.59 c rational objective 4.74003 117.82/118.13 c #Conflicts: 247000 | #Constraints: 14568 117.82/118.13 c #Conflicts: 248000 | #Constraints: 15568 117.82/118.13 c #Conflicts: 249000 | #Constraints: 16568 117.82/118.13 c #Conflicts: 250000 | #Constraints: 17568 117.82/118.13 c #Conflicts: 251000 | #Constraints: 18569 117.82/118.13 c #Conflicts: 252000 | #Constraints: 19570 117.82/118.13 c #Conflicts: 253000 | #Constraints: 20570 117.82/118.13 c #Conflicts: 254000 | #Constraints: 21570 117.82/118.13 c #Conflicts: 255000 | #Constraints: 22571 117.82/118.13 c #Conflicts: 256000 | #Constraints: 23571 117.82/118.13 c INPROCESSING 117.82/118.13 c GARBAGE COLLECT 117.82/118.13 c rational objective 4.74003 125.60/125.97 c #Conflicts: 257000 | #Constraints: 14552 125.60/125.97 c #Conflicts: 258000 | #Constraints: 15554 125.60/125.97 c #Conflicts: 259000 | #Constraints: 16555 125.60/125.97 c #Conflicts: 260000 | #Constraints: 17555 125.60/125.97 c #Conflicts: 261000 | #Constraints: 18555 125.60/125.97 c #Conflicts: 262000 | #Constraints: 19555 125.60/125.97 c #Conflicts: 263000 | #Constraints: 20555 125.60/125.97 c #Conflicts: 264000 | #Constraints: 21555 125.60/125.97 c #Conflicts: 265000 | #Constraints: 22555 125.60/125.97 c #Conflicts: 266000 | #Constraints: 23555 125.60/125.97 c INPROCESSING 125.60/125.97 c GARBAGE COLLECT 125.60/125.97 c rational objective 4.74003 133.28/133.65 c #Conflicts: 267000 | #Constraints: 14354 133.28/133.65 c #Conflicts: 268000 | #Constraints: 15355 133.28/133.65 c #Conflicts: 269000 | #Constraints: 16356 133.28/133.65 c #Conflicts: 270000 | #Constraints: 17357 133.28/133.65 c #Conflicts: 271000 | #Constraints: 18359 133.28/133.65 c #Conflicts: 272000 | #Constraints: 19360 133.28/133.65 c #Conflicts: 273000 | #Constraints: 20360 133.28/133.65 c #Conflicts: 274000 | #Constraints: 21360 133.28/133.65 c #Conflicts: 275000 | #Constraints: 22360 133.28/133.65 c #Conflicts: 276000 | #Constraints: 23360 133.28/133.65 c #Conflicts: 277000 | #Constraints: 24360 133.28/133.65 c INPROCESSING 133.28/133.65 c GARBAGE COLLECT 133.28/133.65 c rational objective 4.74003 138.37/138.73 c #Conflicts: 278000 | #Constraints: 14967 138.37/138.73 c #Conflicts: 279000 | #Constraints: 15967 138.37/138.73 c #Conflicts: 280000 | #Constraints: 16967 138.37/138.73 c #Conflicts: 281000 | #Constraints: 17967 138.37/138.73 c #Conflicts: 282000 | #Constraints: 18969 138.37/138.73 c #Conflicts: 283000 | #Constraints: 19971 138.37/138.73 c #Conflicts: 284000 | #Constraints: 20972 138.37/138.73 c #Conflicts: 285000 | #Constraints: 21973 138.37/138.73 c #Conflicts: 286000 | #Constraints: 22974 138.37/138.73 c #Conflicts: 287000 | #Constraints: 23974 138.37/138.73 c #Conflicts: 288000 | #Constraints: 24974 138.37/138.73 c INPROCESSING 138.37/138.73 c GARBAGE COLLECT 138.37/138.73 c rational objective 4.74003 146.95/147.35 c #Conflicts: 289000 | #Constraints: 15361 146.95/147.35 c #Conflicts: 290000 | #Constraints: 16361 146.95/147.35 c #Conflicts: 291000 | #Constraints: 17361 146.95/147.35 c #Conflicts: 292000 | #Constraints: 18361 146.95/147.35 c #Conflicts: 293000 | #Constraints: 19361 146.95/147.35 c #Conflicts: 294000 | #Constraints: 20362 146.95/147.35 c #Conflicts: 295000 | #Constraints: 21362 146.95/147.35 c #Conflicts: 296000 | #Constraints: 22362 146.95/147.35 c #Conflicts: 297000 | #Constraints: 23362 146.95/147.35 c #Conflicts: 298000 | #Constraints: 24362 146.95/147.35 c #Conflicts: 299000 | #Constraints: 25362 146.95/147.35 c INPROCESSING 146.95/147.35 c GARBAGE COLLECT 146.95/147.35 c rational objective 4.74003 152.33/152.77 c #Conflicts: 300000 | #Constraints: 15555 152.33/152.77 c #Conflicts: 301000 | #Constraints: 16555 152.33/152.77 c #Conflicts: 302000 | #Constraints: 17558 152.33/152.77 c #Conflicts: 303000 | #Constraints: 18559 152.33/152.77 c #Conflicts: 304000 | #Constraints: 19560 152.33/152.77 c #Conflicts: 305000 | #Constraints: 20560 152.33/152.77 c #Conflicts: 306000 | #Constraints: 21561 152.33/152.77 c #Conflicts: 307000 | #Constraints: 22562 152.33/152.77 c #Conflicts: 308000 | #Constraints: 23564 152.33/152.77 c #Conflicts: 309000 | #Constraints: 24566 152.33/152.77 c #Conflicts: 310000 | #Constraints: 25566 152.33/152.77 c INPROCESSING 152.33/152.77 c GARBAGE COLLECT 152.33/152.77 c rational objective 4.74003 157.63/158.02 c #Conflicts: 311000 | #Constraints: 15570 157.63/158.02 c #Conflicts: 312000 | #Constraints: 16570 157.63/158.02 c #Conflicts: 313000 | #Constraints: 17573 157.63/158.02 c #Conflicts: 314000 | #Constraints: 18573 157.63/158.02 c #Conflicts: 315000 | #Constraints: 19573 157.63/158.02 c #Conflicts: 316000 | #Constraints: 20574 157.63/158.02 c #Conflicts: 317000 | #Constraints: 21574 157.63/158.02 c #Conflicts: 318000 | #Constraints: 22574 157.63/158.02 c #Conflicts: 319000 | #Constraints: 23574 157.63/158.02 c #Conflicts: 320000 | #Constraints: 24574 157.63/158.02 c #Conflicts: 321000 | #Constraints: 25574 157.63/158.02 c INPROCESSING 157.63/158.02 c GARBAGE COLLECT 157.63/158.02 c rational objective 4.74003 192.25/192.76 c #Conflicts: 322000 | #Constraints: 15370 192.25/192.76 c #Conflicts: 323000 | #Constraints: 16371 192.25/192.76 c #Conflicts: 324000 | #Constraints: 17372 192.25/192.76 c #Conflicts: 325000 | #Constraints: 18373 192.25/192.76 c #Conflicts: 326000 | #Constraints: 19374 192.25/192.76 c #Conflicts: 327000 | #Constraints: 20374 192.25/192.76 c #Conflicts: 328000 | #Constraints: 21375 192.25/192.76 c #Conflicts: 329000 | #Constraints: 22376 192.25/192.76 c #Conflicts: 330000 | #Constraints: 23376 192.25/192.76 c #Conflicts: 331000 | #Constraints: 24376 192.25/192.76 c #Conflicts: 332000 | #Constraints: 25376 192.25/192.76 c #Conflicts: 333000 | #Constraints: 26377 192.25/192.76 c INPROCESSING 192.25/192.76 c GARBAGE COLLECT 192.25/192.76 c rational objective 4.74003 200.12/200.67 c #Conflicts: 334000 | #Constraints: 15983 200.12/200.67 c #Conflicts: 335000 | #Constraints: 16983 200.12/200.67 c #Conflicts: 336000 | #Constraints: 17983 200.12/200.67 c #Conflicts: 337000 | #Constraints: 18984 200.12/200.67 c #Conflicts: 338000 | #Constraints: 19984 200.12/200.67 c #Conflicts: 339000 | #Constraints: 20984 200.12/200.67 c #Conflicts: 340000 | #Constraints: 21985 200.12/200.67 c #Conflicts: 341000 | #Constraints: 22985 200.12/200.67 c #Conflicts: 342000 | #Constraints: 23985 200.12/200.67 c #Conflicts: 343000 | #Constraints: 24985 200.12/200.67 c #Conflicts: 344000 | #Constraints: 25985 200.12/200.67 c #Conflicts: 345000 | #Constraints: 26986 200.12/200.67 c INPROCESSING 200.12/200.67 c GARBAGE COLLECT 200.12/200.67 c rational objective 4.74003 214.20/214.76 c #Conflicts: 346000 | #Constraints: 16369 214.20/214.76 c #Conflicts: 347000 | #Constraints: 17370 214.20/214.76 c #Conflicts: 348000 | #Constraints: 18372 214.20/214.76 c #Conflicts: 349000 | #Constraints: 19373 214.20/214.76 c #Conflicts: 350000 | #Constraints: 20374 214.20/214.76 c #Conflicts: 351000 | #Constraints: 21374 214.20/214.76 c #Conflicts: 352000 | #Constraints: 22375 214.20/214.76 c #Conflicts: 353000 | #Constraints: 23375 214.20/214.76 c #Conflicts: 354000 | #Constraints: 24375 214.20/214.76 c #Conflicts: 355000 | #Constraints: 25376 214.20/214.76 c #Conflicts: 356000 | #Constraints: 26376 214.20/214.76 c #Conflicts: 357000 | #Constraints: 27378 214.20/214.76 c INPROCESSING 214.20/214.76 c GARBAGE COLLECT 214.20/214.76 c rational objective 4.74003 219.08/219.63 c #Conflicts: 358000 | #Constraints: 16579 219.08/219.63 c #Conflicts: 359000 | #Constraints: 17580 219.08/219.63 c #Conflicts: 360000 | #Constraints: 18582 219.08/219.63 c #Conflicts: 361000 | #Constraints: 19583 219.08/219.63 c #Conflicts: 362000 | #Constraints: 20583 219.08/219.63 c #Conflicts: 363000 | #Constraints: 21584 219.08/219.63 c #Conflicts: 364000 | #Constraints: 22584 219.08/219.63 c #Conflicts: 365000 | #Constraints: 23584 219.08/219.63 c #Conflicts: 366000 | #Constraints: 24585 219.08/219.63 c #Conflicts: 367000 | #Constraints: 25586 219.08/219.63 c #Conflicts: 368000 | #Constraints: 26586 219.08/219.63 c #Conflicts: 369000 | #Constraints: 27586 219.08/219.63 c INPROCESSING 219.08/219.63 c GARBAGE COLLECT 219.08/219.63 c rational objective 4.74041 229.66/230.22 c #Conflicts: 370000 | #Constraints: 16593 229.66/230.22 c #Conflicts: 371000 | #Constraints: 17594 229.66/230.22 c #Conflicts: 372000 | #Constraints: 18594 229.66/230.22 c #Conflicts: 373000 | #Constraints: 19595 229.66/230.22 c #Conflicts: 374000 | #Constraints: 20595 229.66/230.22 c #Conflicts: 375000 | #Constraints: 21596 229.66/230.22 c #Conflicts: 376000 | #Constraints: 22596 229.66/230.22 c #Conflicts: 377000 | #Constraints: 23596 229.66/230.22 c #Conflicts: 378000 | #Constraints: 24596 229.66/230.22 c #Conflicts: 379000 | #Constraints: 25596 229.66/230.22 c #Conflicts: 380000 | #Constraints: 26597 229.66/230.22 c #Conflicts: 381000 | #Constraints: 27597 229.66/230.22 c INPROCESSING 229.66/230.22 c GARBAGE COLLECT 229.66/230.22 c rational objective 4.74041 237.34/237.90 c #Conflicts: 382000 | #Constraints: 16388 237.34/237.90 c #Conflicts: 383000 | #Constraints: 17389 237.34/237.90 c #Conflicts: 384000 | #Constraints: 18389 237.34/237.90 c #Conflicts: 385000 | #Constraints: 19389 237.34/237.90 c #Conflicts: 386000 | #Constraints: 20390 237.34/237.90 c #Conflicts: 387000 | #Constraints: 21390 237.34/237.90 c #Conflicts: 388000 | #Constraints: 22390 237.34/237.90 c #Conflicts: 389000 | #Constraints: 23390 237.34/237.90 c #Conflicts: 390000 | #Constraints: 24392 237.34/237.90 c #Conflicts: 391000 | #Constraints: 25392 237.34/237.90 c #Conflicts: 392000 | #Constraints: 26392 237.34/237.90 c #Conflicts: 393000 | #Constraints: 27393 237.34/237.90 c #Conflicts: 394000 | #Constraints: 28394 237.34/237.90 c INPROCESSING 237.34/237.90 c GARBAGE COLLECT 237.34/237.90 c rational objective 4.74041 249.11/249.71 c #Conflicts: 395000 | #Constraints: 17002 249.11/249.71 c #Conflicts: 396000 | #Constraints: 18002 249.11/249.71 c #Conflicts: 397000 | #Constraints: 19002 249.11/249.71 c #Conflicts: 398000 | #Constraints: 20003 249.11/249.71 c #Conflicts: 399000 | #Constraints: 21004 249.11/249.71 c #Conflicts: 400000 | #Constraints: 22005 249.11/249.71 c #Conflicts: 401000 | #Constraints: 23005 249.11/249.71 c #Conflicts: 402000 | #Constraints: 24005 249.11/249.71 c #Conflicts: 403000 | #Constraints: 25006 249.11/249.71 c #Conflicts: 404000 | #Constraints: 26007 249.11/249.71 c #Conflicts: 405000 | #Constraints: 27007 249.11/249.71 c #Conflicts: 406000 | #Constraints: 28007 249.11/249.71 c #Conflicts: 407000 | #Constraints: 29007 249.11/249.71 c INPROCESSING 249.11/249.71 c GARBAGE COLLECT 249.11/249.71 c rational objective 4.74041 256.69/257.38 c #Conflicts: 408000 | #Constraints: 17383 256.69/257.38 c #Conflicts: 409000 | #Constraints: 18383 256.69/257.38 c #Conflicts: 410000 | #Constraints: 19383 256.69/257.38 c #Conflicts: 411000 | #Constraints: 20383 256.69/257.38 c #Conflicts: 412000 | #Constraints: 21384 256.69/257.38 c #Conflicts: 413000 | #Constraints: 22384 256.69/257.38 c #Conflicts: 414000 | #Constraints: 23385 256.69/257.38 c #Conflicts: 415000 | #Constraints: 24385 256.69/257.38 c #Conflicts: 416000 | #Constraints: 25385 256.69/257.38 c #Conflicts: 417000 | #Constraints: 26386 256.69/257.38 c #Conflicts: 418000 | #Constraints: 27387 256.69/257.38 c #Conflicts: 419000 | #Constraints: 28387 256.69/257.38 c #Conflicts: 420000 | #Constraints: 29387 256.69/257.38 c INPROCESSING 256.69/257.38 c GARBAGE COLLECT 256.69/257.38 c rational objective 4.74041 295.19/295.91 c #Conflicts: 421000 | #Constraints: 17615 295.19/295.91 c #Conflicts: 422000 | #Constraints: 18616 295.19/295.91 c #Conflicts: 423000 | #Constraints: 19617 295.19/295.91 c #Conflicts: 424000 | #Constraints: 20617 295.19/295.91 c #Conflicts: 425000 | #Constraints: 21617 295.19/295.91 c #Conflicts: 426000 | #Constraints: 22617 295.19/295.91 c #Conflicts: 427000 | #Constraints: 23617 295.19/295.91 c #Conflicts: 428000 | #Constraints: 24617 295.19/295.91 c #Conflicts: 429000 | #Constraints: 25617 295.19/295.91 c #Conflicts: 430000 | #Constraints: 26617 295.19/295.91 c #Conflicts: 431000 | #Constraints: 27617 295.19/295.91 c #Conflicts: 432000 | #Constraints: 28617 295.19/295.91 c #Conflicts: 433000 | #Constraints: 29617 295.19/295.91 c INPROCESSING 295.19/295.91 c GARBAGE COLLECT 295.19/295.91 c rational objective 4.74041 298.88/299.68 c #Conflicts: 434000 | #Constraints: 17641 298.88/299.68 c #Conflicts: 435000 | #Constraints: 18643 298.88/299.68 c #Conflicts: 436000 | #Constraints: 19643 298.88/299.68 c #Conflicts: 437000 | #Constraints: 20643 298.88/299.68 c #Conflicts: 438000 | #Constraints: 21643 298.88/299.68 c #Conflicts: 439000 | #Constraints: 22644 298.88/299.68 c #Conflicts: 440000 | #Constraints: 23644 298.88/299.68 c #Conflicts: 441000 | #Constraints: 24644 298.88/299.68 c #Conflicts: 442000 | #Constraints: 25644 298.88/299.68 c #Conflicts: 443000 | #Constraints: 26644 298.88/299.68 c #Conflicts: 444000 | #Constraints: 27644 298.88/299.68 c #Conflicts: 445000 | #Constraints: 28644 298.88/299.68 c #Conflicts: 446000 | #Constraints: 29644 298.88/299.68 c INPROCESSING 298.88/299.68 c GARBAGE COLLECT 298.88/299.68 c rational objective 4.74041 307.86/308.67 c #Conflicts: 447000 | #Constraints: 17451 307.86/308.67 c #Conflicts: 448000 | #Constraints: 18453 307.86/308.67 c #Conflicts: 449000 | #Constraints: 19453 307.86/308.67 c #Conflicts: 450000 | #Constraints: 20453 307.86/308.67 c #Conflicts: 451000 | #Constraints: 21455 307.86/308.67 c #Conflicts: 452000 | #Constraints: 22455 307.86/308.67 c #Conflicts: 453000 | #Constraints: 23455 307.86/308.67 c #Conflicts: 454000 | #Constraints: 24455 307.86/308.67 c #Conflicts: 455000 | #Constraints: 25455 307.86/308.67 c #Conflicts: 456000 | #Constraints: 26455 307.86/308.67 c #Conflicts: 457000 | #Constraints: 27456 307.86/308.67 c #Conflicts: 458000 | #Constraints: 28456 307.86/308.67 c #Conflicts: 459000 | #Constraints: 29457 307.86/308.67 c #Conflicts: 460000 | #Constraints: 30457 307.86/308.67 c INPROCESSING 307.86/308.67 c GARBAGE COLLECT 307.86/308.67 c rational objective 4.74041 321.13/321.99 c #Conflicts: 461000 | #Constraints: 18041 321.13/321.99 c #Conflicts: 462000 | #Constraints: 19042 321.13/321.99 c #Conflicts: 463000 | #Constraints: 20042 321.13/321.99 c #Conflicts: 464000 | #Constraints: 21042 321.13/321.99 c #Conflicts: 465000 | #Constraints: 22042 321.13/321.99 c #Conflicts: 466000 | #Constraints: 23044 321.13/321.99 c #Conflicts: 467000 | #Constraints: 24044 321.13/321.99 c #Conflicts: 468000 | #Constraints: 25044 321.13/321.99 c #Conflicts: 469000 | #Constraints: 26044 321.13/321.99 c #Conflicts: 470000 | #Constraints: 27044 321.13/321.99 c #Conflicts: 471000 | #Constraints: 28044 321.13/321.99 c #Conflicts: 472000 | #Constraints: 29044 321.13/321.99 c #Conflicts: 473000 | #Constraints: 30044 321.13/321.99 c #Conflicts: 474000 | #Constraints: 31045 321.13/321.99 c INPROCESSING 321.13/321.99 c GARBAGE COLLECT 321.13/321.99 c rational objective 4.74041 335.00/335.80 c #Conflicts: 475000 | #Constraints: 18434 335.00/335.80 c #Conflicts: 476000 | #Constraints: 19434 335.00/335.80 c #Conflicts: 477000 | #Constraints: 20438 335.00/335.80 c #Conflicts: 478000 | #Constraints: 21438 335.00/335.80 c #Conflicts: 479000 | #Constraints: 22439 335.00/335.80 c #Conflicts: 480000 | #Constraints: 23439 335.00/335.80 c #Conflicts: 481000 | #Constraints: 24439 335.00/335.80 c #Conflicts: 482000 | #Constraints: 26153 335.00/335.80 c #Conflicts: 483000 | #Constraints: 28055 335.00/335.80 c #Conflicts: 484000 | #Constraints: 29673 335.00/335.80 c #Conflicts: 485000 | #Constraints: 30674 335.00/335.80 c #Conflicts: 486000 | #Constraints: 31706 335.00/335.80 c #Conflicts: 487000 | #Constraints: 32795 335.00/335.80 c #Conflicts: 488000 | #Constraints: 33887 335.00/335.80 c INPROCESSING 335.00/335.80 c GARBAGE COLLECT 335.00/335.80 c rational objective 4.74041 346.97/347.88 c #Conflicts: 489000 | #Constraints: 19859 346.97/347.88 c #Conflicts: 490000 | #Constraints: 20860 346.97/347.88 c #Conflicts: 491000 | #Constraints: 21861 346.97/347.88 c #Conflicts: 492000 | #Constraints: 22862 346.97/347.88 c #Conflicts: 493000 | #Constraints: 23862 346.97/347.88 c #Conflicts: 494000 | #Constraints: 24862 346.97/347.88 c #Conflicts: 495000 | #Constraints: 25862 346.97/347.88 c #Conflicts: 496000 | #Constraints: 26862 346.97/347.88 c #Conflicts: 497000 | #Constraints: 27862 346.97/347.88 c #Conflicts: 498000 | #Constraints: 28863 346.97/347.88 c #Conflicts: 499000 | #Constraints: 29864 346.97/347.88 c #Conflicts: 500000 | #Constraints: 30864 346.97/347.88 c #Conflicts: 501000 | #Constraints: 31865 346.97/347.88 c #Conflicts: 502000 | #Constraints: 32866 346.97/347.88 c INPROCESSING 346.97/347.88 c GARBAGE COLLECT 346.97/347.88 c rational objective 4.7406 357.35/358.20 c #Conflicts: 503000 | #Constraints: 19235 357.35/358.20 c #Conflicts: 504000 | #Constraints: 20235 357.35/358.20 c #Conflicts: 505000 | #Constraints: 21236 357.35/358.20 c #Conflicts: 506000 | #Constraints: 22236 357.35/358.20 c #Conflicts: 507000 | #Constraints: 23238 357.35/358.20 c #Conflicts: 508000 | #Constraints: 24239 357.35/358.20 c #Conflicts: 509000 | #Constraints: 25239 357.35/358.20 c #Conflicts: 510000 | #Constraints: 26239 357.35/358.20 c #Conflicts: 511000 | #Constraints: 27239 357.35/358.20 c #Conflicts: 512000 | #Constraints: 28239 357.35/358.20 c #Conflicts: 513000 | #Constraints: 29239 357.35/358.20 c #Conflicts: 514000 | #Constraints: 30240 357.35/358.20 c #Conflicts: 515000 | #Constraints: 31240 357.35/358.20 c #Conflicts: 516000 | #Constraints: 32240 357.35/358.20 c INPROCESSING 357.35/358.20 c GARBAGE COLLECT 357.35/358.20 c rational objective 4.7408 368.62/369.52 c #Conflicts: 517000 | #Constraints: 18745 368.62/369.52 c #Conflicts: 518000 | #Constraints: 19745 368.62/369.52 c #Conflicts: 519000 | #Constraints: 20745 368.62/369.52 c #Conflicts: 520000 | #Constraints: 21745 368.62/369.52 c #Conflicts: 521000 | #Constraints: 22745 368.62/369.52 c #Conflicts: 522000 | #Constraints: 23745 368.62/369.52 c #Conflicts: 523000 | #Constraints: 24745 368.62/369.52 c #Conflicts: 524000 | #Constraints: 25745 368.62/369.52 c #Conflicts: 525000 | #Constraints: 26745 368.62/369.52 c #Conflicts: 526000 | #Constraints: 27745 368.62/369.52 c #Conflicts: 527000 | #Constraints: 28745 368.62/369.52 c #Conflicts: 528000 | #Constraints: 29745 368.62/369.52 c #Conflicts: 529000 | #Constraints: 30745 368.62/369.52 c #Conflicts: 530000 | #Constraints: 31745 368.62/369.52 c #Conflicts: 531000 | #Constraints: 32745 368.62/369.52 c INPROCESSING 368.62/369.52 c GARBAGE COLLECT 368.62/369.52 c rational objective 4.74081 375.61/376.51 c #Conflicts: 532000 | #Constraints: 19185 375.61/376.51 c #Conflicts: 533000 | #Constraints: 20185 375.61/376.51 c #Conflicts: 534000 | #Constraints: 21187 375.61/376.51 c #Conflicts: 535000 | #Constraints: 22187 375.61/376.51 c #Conflicts: 536000 | #Constraints: 23187 375.61/376.51 c #Conflicts: 537000 | #Constraints: 24187 375.61/376.51 c #Conflicts: 538000 | #Constraints: 25187 375.61/376.51 c #Conflicts: 539000 | #Constraints: 26187 375.61/376.51 c #Conflicts: 540000 | #Constraints: 27187 375.61/376.51 c #Conflicts: 541000 | #Constraints: 28187 375.61/376.51 c #Conflicts: 542000 | #Constraints: 29187 375.61/376.51 c #Conflicts: 543000 | #Constraints: 30187 375.61/376.51 c #Conflicts: 544000 | #Constraints: 31187 375.61/376.51 c #Conflicts: 545000 | #Constraints: 32187 375.61/376.51 c #Conflicts: 546000 | #Constraints: 33188 375.61/376.51 c INPROCESSING 375.61/376.51 c GARBAGE COLLECT 375.61/376.51 c rational objective 4.74081 381.20/382.18 c #Conflicts: 547000 | #Constraints: 19509 381.20/382.18 c #Conflicts: 548000 | #Constraints: 20509 381.20/382.18 c #Conflicts: 549000 | #Constraints: 21509 381.20/382.18 c #Conflicts: 550000 | #Constraints: 22511 381.20/382.18 c #Conflicts: 551000 | #Constraints: 23511 381.20/382.18 c #Conflicts: 552000 | #Constraints: 24512 381.20/382.18 c #Conflicts: 553000 | #Constraints: 25512 381.20/382.18 c #Conflicts: 554000 | #Constraints: 26512 381.20/382.18 c #Conflicts: 555000 | #Constraints: 27512 381.20/382.18 c #Conflicts: 556000 | #Constraints: 28514 381.20/382.18 c #Conflicts: 557000 | #Constraints: 29514 381.20/382.18 c #Conflicts: 558000 | #Constraints: 30515 381.20/382.18 c #Conflicts: 559000 | #Constraints: 31515 381.20/382.18 c #Conflicts: 560000 | #Constraints: 32516 381.20/382.18 c #Conflicts: 561000 | #Constraints: 33516 381.20/382.18 c INPROCESSING 381.20/382.18 c GARBAGE COLLECT 381.20/382.18 c rational objective 4.74081 387.78/388.74 c #Conflicts: 562000 | #Constraints: 19643 387.78/388.74 c #Conflicts: 563000 | #Constraints: 20643 387.78/388.74 c #Conflicts: 564000 | #Constraints: 21643 387.78/388.74 c #Conflicts: 565000 | #Constraints: 22643 387.78/388.74 c #Conflicts: 566000 | #Constraints: 23643 387.78/388.74 c #Conflicts: 567000 | #Constraints: 24643 387.78/388.74 c #Conflicts: 568000 | #Constraints: 25643 387.78/388.74 c #Conflicts: 569000 | #Constraints: 26643 387.78/388.74 c #Conflicts: 570000 | #Constraints: 27643 387.78/388.74 c #Conflicts: 571000 | #Constraints: 28643 387.78/388.74 c #Conflicts: 572000 | #Constraints: 29644 387.78/388.74 c #Conflicts: 573000 | #Constraints: 30644 387.78/388.74 c #Conflicts: 574000 | #Constraints: 31644 387.78/388.74 c #Conflicts: 575000 | #Constraints: 32644 387.78/388.74 c #Conflicts: 576000 | #Constraints: 33644 387.78/388.74 c INPROCESSING 387.78/388.74 c GARBAGE COLLECT 387.78/388.74 c rational objective 4.74081 399.56/400.57 c #Conflicts: 577000 | #Constraints: 19656 399.56/400.57 c #Conflicts: 578000 | #Constraints: 20656 399.56/400.57 c #Conflicts: 579000 | #Constraints: 21657 399.56/400.57 c #Conflicts: 580000 | #Constraints: 22658 399.56/400.57 c #Conflicts: 581000 | #Constraints: 23659 399.56/400.57 c #Conflicts: 582000 | #Constraints: 24659 399.56/400.57 c #Conflicts: 583000 | #Constraints: 25659 399.56/400.57 c #Conflicts: 584000 | #Constraints: 26659 399.56/400.57 c #Conflicts: 585000 | #Constraints: 27659 399.56/400.57 c #Conflicts: 586000 | #Constraints: 28660 399.56/400.57 c #Conflicts: 587000 | #Constraints: 29661 399.56/400.57 c #Conflicts: 588000 | #Constraints: 30661 399.56/400.57 c #Conflicts: 589000 | #Constraints: 31661 399.56/400.57 c #Conflicts: 590000 | #Constraints: 32661 399.56/400.57 c #Conflicts: 591000 | #Constraints: 33661 399.56/400.57 c INPROCESSING 399.56/400.57 c GARBAGE COLLECT 399.56/400.57 c rational objective 4.74081 411.92/412.91 c #Conflicts: 592000 | #Constraints: 19455 411.92/412.91 c #Conflicts: 593000 | #Constraints: 20456 411.92/412.91 c #Conflicts: 594000 | #Constraints: 21456 411.92/412.91 c #Conflicts: 595000 | #Constraints: 22456 411.92/412.91 c #Conflicts: 596000 | #Constraints: 23457 411.92/412.91 c #Conflicts: 597000 | #Constraints: 24457 411.92/412.91 c #Conflicts: 598000 | #Constraints: 25457 411.92/412.91 c #Conflicts: 599000 | #Constraints: 26457 411.92/412.91 c #Conflicts: 600000 | #Constraints: 27457 411.92/412.91 c #Conflicts: 601000 | #Constraints: 28457 411.92/412.91 c #Conflicts: 602000 | #Constraints: 29458 411.92/412.91 c #Conflicts: 603000 | #Constraints: 30458 411.92/412.91 c #Conflicts: 604000 | #Constraints: 31458 411.92/412.91 c #Conflicts: 605000 | #Constraints: 32458 411.92/412.91 c #Conflicts: 606000 | #Constraints: 33458 411.92/412.91 c #Conflicts: 607000 | #Constraints: 34458 411.92/412.91 c INPROCESSING 411.92/412.91 c GARBAGE COLLECT 411.92/412.91 c rational objective 4.74081 417.31/418.39 c #Conflicts: 608000 | #Constraints: 20046 417.31/418.39 c #Conflicts: 609000 | #Constraints: 21046 417.31/418.39 c #Conflicts: 610000 | #Constraints: 22047 417.31/418.39 c #Conflicts: 611000 | #Constraints: 23048 417.31/418.39 c #Conflicts: 612000 | #Constraints: 24048 417.31/418.39 c #Conflicts: 613000 | #Constraints: 25048 417.31/418.39 c #Conflicts: 614000 | #Constraints: 26049 417.31/418.39 c #Conflicts: 615000 | #Constraints: 27053 417.31/418.39 c #Conflicts: 616000 | #Constraints: 28053 417.31/418.39 c #Conflicts: 617000 | #Constraints: 29053 417.31/418.39 c #Conflicts: 618000 | #Constraints: 30054 417.31/418.39 c #Conflicts: 619000 | #Constraints: 31054 417.31/418.39 c #Conflicts: 620000 | #Constraints: 32054 417.31/418.39 c #Conflicts: 621000 | #Constraints: 33055 417.31/418.39 c #Conflicts: 622000 | #Constraints: 34056 417.31/418.39 c #Conflicts: 623000 | #Constraints: 35057 417.31/418.39 c INPROCESSING 417.31/418.39 c GARBAGE COLLECT 417.31/418.39 c rational objective 4.74081 436.87/437.91 c #Conflicts: 624000 | #Constraints: 20444 436.87/437.91 c #Conflicts: 625000 | #Constraints: 21444 436.87/437.91 c #Conflicts: 626000 | #Constraints: 22444 436.87/437.91 c #Conflicts: 627000 | #Constraints: 23444 436.87/437.91 c #Conflicts: 628000 | #Constraints: 24445 436.87/437.91 c #Conflicts: 629000 | #Constraints: 25446 436.87/437.91 c #Conflicts: 630000 | #Constraints: 26447 436.87/437.91 c #Conflicts: 631000 | #Constraints: 27448 436.87/437.91 c #Conflicts: 632000 | #Constraints: 28448 436.87/437.91 c #Conflicts: 633000 | #Constraints: 29448 436.87/437.91 c #Conflicts: 634000 | #Constraints: 30448 436.87/437.91 c #Conflicts: 635000 | #Constraints: 31449 436.87/437.91 c #Conflicts: 636000 | #Constraints: 32449 436.87/437.91 c #Conflicts: 637000 | #Constraints: 33449 436.87/437.91 c #Conflicts: 638000 | #Constraints: 34449 436.87/437.91 c #Conflicts: 639000 | #Constraints: 35449 436.87/437.91 c INPROCESSING 436.87/437.91 c GARBAGE COLLECT 436.87/437.91 c rational objective 4.74081 447.15/448.22 c #Conflicts: 640000 | #Constraints: 20649 447.15/448.22 c #Conflicts: 641000 | #Constraints: 21652 447.15/448.22 c #Conflicts: 642000 | #Constraints: 22652 447.15/448.22 c #Conflicts: 643000 | #Constraints: 23652 447.15/448.22 c #Conflicts: 644000 | #Constraints: 24653 447.15/448.22 c #Conflicts: 645000 | #Constraints: 25654 447.15/448.22 c #Conflicts: 646000 | #Constraints: 26655 447.15/448.22 c #Conflicts: 647000 | #Constraints: 27655 447.15/448.22 c #Conflicts: 648000 | #Constraints: 28656 447.15/448.22 c #Conflicts: 649000 | #Constraints: 29657 447.15/448.22 c #Conflicts: 650000 | #Constraints: 30657 447.15/448.22 c #Conflicts: 651000 | #Constraints: 31657 447.15/448.22 c #Conflicts: 652000 | #Constraints: 32657 447.15/448.22 c #Conflicts: 653000 | #Constraints: 33657 447.15/448.22 c #Conflicts: 654000 | #Constraints: 34658 447.15/448.22 c #Conflicts: 655000 | #Constraints: 35658 447.15/448.22 c INPROCESSING 447.15/448.22 c GARBAGE COLLECT 447.15/448.22 c rational objective 4.74081 458.43/459.50 c #Conflicts: 656000 | #Constraints: 20640 458.43/459.50 c #Conflicts: 657000 | #Constraints: 21640 458.43/459.50 c #Conflicts: 658000 | #Constraints: 22640 458.43/459.50 c #Conflicts: 659000 | #Constraints: 23641 458.43/459.50 c #Conflicts: 660000 | #Constraints: 24642 458.43/459.50 c #Conflicts: 661000 | #Constraints: 25644 458.43/459.50 c #Conflicts: 662000 | #Constraints: 26644 458.43/459.50 c #Conflicts: 663000 | #Constraints: 27644 458.43/459.50 c #Conflicts: 664000 | #Constraints: 28644 458.43/459.50 c #Conflicts: 665000 | #Constraints: 29644 458.43/459.50 c #Conflicts: 666000 | #Constraints: 30645 458.43/459.50 c #Conflicts: 667000 | #Constraints: 31646 458.43/459.50 c #Conflicts: 668000 | #Constraints: 32646 458.43/459.50 c #Conflicts: 669000 | #Constraints: 33647 458.43/459.50 c #Conflicts: 670000 | #Constraints: 34648 458.43/459.50 c #Conflicts: 671000 | #Constraints: 35649 458.43/459.50 c INPROCESSING 458.43/459.50 c GARBAGE COLLECT 458.43/459.50 c rational objective 4.74081 470.30/471.44 c #Conflicts: 672000 | #Constraints: 20442 470.30/471.44 c #Conflicts: 673000 | #Constraints: 21442 470.30/471.44 c #Conflicts: 674000 | #Constraints: 22443 470.30/471.44 c #Conflicts: 675000 | #Constraints: 23443 470.30/471.44 c #Conflicts: 676000 | #Constraints: 24445 470.30/471.44 c #Conflicts: 677000 | #Constraints: 25445 470.30/471.44 c #Conflicts: 678000 | #Constraints: 26446 470.30/471.44 c #Conflicts: 679000 | #Constraints: 27448 470.30/471.44 c #Conflicts: 680000 | #Constraints: 28449 470.30/471.44 c #Conflicts: 681000 | #Constraints: 29449 470.30/471.44 c #Conflicts: 682000 | #Constraints: 30449 470.30/471.44 c #Conflicts: 683000 | #Constraints: 31449 470.30/471.44 c #Conflicts: 684000 | #Constraints: 32449 470.30/471.44 c #Conflicts: 685000 | #Constraints: 33449 470.30/471.44 c #Conflicts: 686000 | #Constraints: 34451 470.30/471.44 c #Conflicts: 687000 | #Constraints: 35451 470.30/471.44 c #Conflicts: 688000 | #Constraints: 36453 470.30/471.44 c INPROCESSING 470.30/471.44 c GARBAGE COLLECT 470.30/471.44 c rational objective 4.74094 478.78/479.94 c #Conflicts: 689000 | #Constraints: 21054 478.78/479.94 c #Conflicts: 690000 | #Constraints: 22055 478.78/479.94 c #Conflicts: 691000 | #Constraints: 23055 478.78/479.94 c #Conflicts: 692000 | #Constraints: 24055 478.78/479.94 c #Conflicts: 693000 | #Constraints: 25056 478.78/479.94 c #Conflicts: 694000 | #Constraints: 26057 478.78/479.94 c #Conflicts: 695000 | #Constraints: 27057 478.78/479.94 c #Conflicts: 696000 | #Constraints: 28057 478.78/479.94 c #Conflicts: 697000 | #Constraints: 29058 478.78/479.94 c #Conflicts: 698000 | #Constraints: 30058 478.78/479.94 c #Conflicts: 699000 | #Constraints: 31058 478.78/479.94 c #Conflicts: 700000 | #Constraints: 32058 478.78/479.94 c #Conflicts: 701000 | #Constraints: 33058 478.78/479.94 c #Conflicts: 702000 | #Constraints: 34058 478.78/479.94 c #Conflicts: 703000 | #Constraints: 35059 478.78/479.94 c #Conflicts: 704000 | #Constraints: 36059 478.78/479.94 c #Conflicts: 705000 | #Constraints: 37060 478.78/479.94 c INPROCESSING 478.78/479.94 c GARBAGE COLLECT 478.78/479.94 c rational objective 4.74094 484.77/485.99 c #Conflicts: 706000 | #Constraints: 21448 484.77/485.99 c #Conflicts: 707000 | #Constraints: 22449 484.77/485.99 c #Conflicts: 708000 | #Constraints: 23450 484.77/485.99 c #Conflicts: 709000 | #Constraints: 24451 484.77/485.99 c #Conflicts: 710000 | #Constraints: 25452 484.77/485.99 c #Conflicts: 711000 | #Constraints: 26453 484.77/485.99 c #Conflicts: 712000 | #Constraints: 27453 484.77/485.99 c #Conflicts: 713000 | #Constraints: 28454 484.77/485.99 c #Conflicts: 714000 | #Constraints: 29454 484.77/485.99 c #Conflicts: 715000 | #Constraints: 30454 484.77/485.99 c #Conflicts: 716000 | #Constraints: 31456 484.77/485.99 c #Conflicts: 717000 | #Constraints: 32457 484.77/485.99 c #Conflicts: 718000 | #Constraints: 33457 484.77/485.99 c #Conflicts: 719000 | #Constraints: 34460 484.77/485.99 c #Conflicts: 720000 | #Constraints: 35460 484.77/485.99 c #Conflicts: 721000 | #Constraints: 36461 484.77/485.99 c #Conflicts: 722000 | #Constraints: 37461 484.77/485.99 c INPROCESSING 484.77/485.99 c GARBAGE COLLECT 484.77/485.99 c rational objective 4.74094 489.26/490.48 c #Conflicts: 723000 | #Constraints: 21669 489.26/490.48 c #Conflicts: 724000 | #Constraints: 22669 489.26/490.48 c #Conflicts: 725000 | #Constraints: 23670 489.26/490.48 c #Conflicts: 726000 | #Constraints: 24672 489.26/490.48 c #Conflicts: 727000 | #Constraints: 25673 489.26/490.48 c #Conflicts: 728000 | #Constraints: 26673 489.26/490.48 c #Conflicts: 729000 | #Constraints: 27673 489.26/490.48 c #Conflicts: 730000 | #Constraints: 28673 489.26/490.48 c #Conflicts: 731000 | #Constraints: 29674 489.26/490.48 c #Conflicts: 732000 | #Constraints: 30674 489.26/490.48 c #Conflicts: 733000 | #Constraints: 31675 489.26/490.48 c #Conflicts: 734000 | #Constraints: 32675 489.26/490.48 c #Conflicts: 735000 | #Constraints: 33675 489.26/490.48 c #Conflicts: 736000 | #Constraints: 34675 489.26/490.48 c #Conflicts: 737000 | #Constraints: 35675 489.26/490.48 c #Conflicts: 738000 | #Constraints: 36675 489.26/490.48 c #Conflicts: 739000 | #Constraints: 37676 489.26/490.48 c INPROCESSING 489.26/490.48 c GARBAGE COLLECT 489.26/490.48 c rational objective 4.74094 503.72/504.94 c #Conflicts: 740000 | #Constraints: 21677 503.72/504.94 c #Conflicts: 741000 | #Constraints: 22677 503.72/504.94 c #Conflicts: 742000 | #Constraints: 23677 503.72/504.94 c #Conflicts: 743000 | #Constraints: 24678 503.72/504.94 c #Conflicts: 744000 | #Constraints: 25678 503.72/504.94 c #Conflicts: 745000 | #Constraints: 26678 503.72/504.94 c #Conflicts: 746000 | #Constraints: 27678 503.72/504.94 c #Conflicts: 747000 | #Constraints: 28679 503.72/504.94 c #Conflicts: 748000 | #Constraints: 29680 503.72/504.94 c #Conflicts: 749000 | #Constraints: 30680 503.72/504.94 c #Conflicts: 750000 | #Constraints: 31681 503.72/504.94 c #Conflicts: 751000 | #Constraints: 32683 503.72/504.94 c #Conflicts: 752000 | #Constraints: 33683 503.72/504.94 c #Conflicts: 753000 | #Constraints: 34683 503.72/504.94 c #Conflicts: 754000 | #Constraints: 35683 503.72/504.94 c #Conflicts: 755000 | #Constraints: 36683 503.72/504.94 c #Conflicts: 756000 | #Constraints: 37683 503.72/504.94 c INPROCESSING 503.72/504.94 c GARBAGE COLLECT 503.72/504.94 c rational objective 4.74157 513.81/515.01 c #Conflicts: 757000 | #Constraints: 21468 513.81/515.01 c #Conflicts: 758000 | #Constraints: 22469 513.81/515.01 c #Conflicts: 759000 | #Constraints: 23469 513.81/515.01 c #Conflicts: 760000 | #Constraints: 24469 513.81/515.01 c #Conflicts: 761000 | #Constraints: 25469 513.81/515.01 c #Conflicts: 762000 | #Constraints: 26470 513.81/515.01 c #Conflicts: 763000 | #Constraints: 27472 513.81/515.01 c #Conflicts: 764000 | #Constraints: 28473 513.81/515.01 c #Conflicts: 765000 | #Constraints: 29473 513.81/515.01 c #Conflicts: 766000 | #Constraints: 30473 513.81/515.01 c #Conflicts: 767000 | #Constraints: 31473 513.81/515.01 c #Conflicts: 768000 | #Constraints: 32474 513.81/515.01 c #Conflicts: 769000 | #Constraints: 33474 513.81/515.01 c #Conflicts: 770000 | #Constraints: 34475 513.81/515.01 c #Conflicts: 771000 | #Constraints: 35476 513.81/515.01 c #Conflicts: 772000 | #Constraints: 36476 513.81/515.01 c #Conflicts: 773000 | #Constraints: 37477 513.81/515.01 c #Conflicts: 774000 | #Constraints: 38479 513.81/515.01 c INPROCESSING 513.81/515.01 c GARBAGE COLLECT 513.81/515.01 c rational objective 4.74157 532.25/533.57 c #Conflicts: 775000 | #Constraints: 22065 532.25/533.57 c #Conflicts: 776000 | #Constraints: 23066 532.25/533.57 c #Conflicts: 777000 | #Constraints: 24066 532.25/533.57 c #Conflicts: 778000 | #Constraints: 25066 532.25/533.57 c #Conflicts: 779000 | #Constraints: 26066 532.25/533.57 c #Conflicts: 780000 | #Constraints: 27066 532.25/533.57 c #Conflicts: 781000 | #Constraints: 28066 532.25/533.57 c #Conflicts: 782000 | #Constraints: 29067 532.25/533.57 c #Conflicts: 783000 | #Constraints: 30068 532.25/533.57 c #Conflicts: 784000 | #Constraints: 31068 532.25/533.57 c #Conflicts: 785000 | #Constraints: 32068 532.25/533.57 c #Conflicts: 786000 | #Constraints: 33068 532.25/533.57 c #Conflicts: 787000 | #Constraints: 34068 532.25/533.57 c #Conflicts: 788000 | #Constraints: 35068 532.25/533.57 c #Conflicts: 789000 | #Constraints: 36068 532.25/533.57 c #Conflicts: 790000 | #Constraints: 37070 532.25/533.57 c #Conflicts: 791000 | #Constraints: 38070 532.25/533.57 c #Conflicts: 792000 | #Constraints: 39071 532.25/533.57 c INPROCESSING 532.25/533.57 c GARBAGE COLLECT 532.25/533.57 c rational objective 4.74157 544.33/545.64 c #Conflicts: 793000 | #Constraints: 22435 544.33/545.64 c #Conflicts: 794000 | #Constraints: 23437 544.33/545.64 c #Conflicts: 795000 | #Constraints: 24437 544.33/545.64 c #Conflicts: 796000 | #Constraints: 25438 544.33/545.64 c #Conflicts: 797000 | #Constraints: 26439 544.33/545.64 c #Conflicts: 798000 | #Constraints: 27439 544.33/545.64 c #Conflicts: 799000 | #Constraints: 28439 544.33/545.64 c #Conflicts: 800000 | #Constraints: 29440 544.33/545.64 c #Conflicts: 801000 | #Constraints: 30440 544.33/545.64 c #Conflicts: 802000 | #Constraints: 31441 544.33/545.64 c #Conflicts: 803000 | #Constraints: 32441 544.33/545.64 c #Conflicts: 804000 | #Constraints: 33441 544.33/545.64 c #Conflicts: 805000 | #Constraints: 34441 544.33/545.64 c #Conflicts: 806000 | #Constraints: 35441 544.33/545.64 c #Conflicts: 807000 | #Constraints: 36441 544.33/545.64 c #Conflicts: 808000 | #Constraints: 37442 544.33/545.64 c #Conflicts: 809000 | #Constraints: 38443 544.33/545.64 c #Conflicts: 810000 | #Constraints: 39443 544.33/545.64 c INPROCESSING 544.33/545.64 c GARBAGE COLLECT 544.33/545.64 c rational objective 4.74157 557.90/559.25 c #Conflicts: 811000 | #Constraints: 22642 557.90/559.25 c #Conflicts: 812000 | #Constraints: 23642 557.90/559.25 c #Conflicts: 813000 | #Constraints: 24642 557.90/559.25 c #Conflicts: 814000 | #Constraints: 25642 557.90/559.25 c #Conflicts: 815000 | #Constraints: 26642 557.90/559.25 c #Conflicts: 816000 | #Constraints: 27642 557.90/559.25 c #Conflicts: 817000 | #Constraints: 28642 557.90/559.25 c #Conflicts: 818000 | #Constraints: 29642 557.90/559.25 c #Conflicts: 819000 | #Constraints: 30642 557.90/559.25 c #Conflicts: 820000 | #Constraints: 31642 557.90/559.25 c #Conflicts: 821000 | #Constraints: 32642 557.90/559.25 c #Conflicts: 822000 | #Constraints: 33642 557.90/559.25 c #Conflicts: 823000 | #Constraints: 34642 557.90/559.25 c #Conflicts: 824000 | #Constraints: 35642 557.90/559.25 c #Conflicts: 825000 | #Constraints: 36642 557.90/559.25 c #Conflicts: 826000 | #Constraints: 37643 557.90/559.25 c #Conflicts: 827000 | #Constraints: 38643 557.90/559.25 c #Conflicts: 828000 | #Constraints: 39643 557.90/559.25 c INPROCESSING 557.90/559.25 c GARBAGE COLLECT 557.90/559.25 c rational objective 4.74157 574.56/575.98 c #Conflicts: 829000 | #Constraints: 22642 574.56/575.98 c #Conflicts: 830000 | #Constraints: 23643 574.56/575.98 c #Conflicts: 831000 | #Constraints: 24645 574.56/575.98 c #Conflicts: 832000 | #Constraints: 25646 574.56/575.98 c #Conflicts: 833000 | #Constraints: 26648 574.56/575.98 c #Conflicts: 834000 | #Constraints: 27648 574.56/575.98 c #Conflicts: 835000 | #Constraints: 28648 574.56/575.98 c #Conflicts: 836000 | #Constraints: 29649 574.56/575.98 c #Conflicts: 837000 | #Constraints: 30649 574.56/575.98 c #Conflicts: 838000 | #Constraints: 31649 574.56/575.98 c #Conflicts: 839000 | #Constraints: 32649 574.56/575.98 c #Conflicts: 840000 | #Constraints: 33650 574.56/575.98 c #Conflicts: 841000 | #Constraints: 34651 574.56/575.98 c #Conflicts: 842000 | #Constraints: 35652 574.56/575.98 c #Conflicts: 843000 | #Constraints: 36653 574.56/575.98 c #Conflicts: 844000 | #Constraints: 37656 574.56/575.98 c #Conflicts: 845000 | #Constraints: 38656 574.56/575.98 c #Conflicts: 846000 | #Constraints: 39656 574.56/575.98 c INPROCESSING 574.56/575.98 c GARBAGE COLLECT 574.56/575.98 c rational objective 4.74157 586.83/588.29 c #Conflicts: 847000 | #Constraints: 22429 586.83/588.29 c #Conflicts: 848000 | #Constraints: 23430 586.83/588.29 c #Conflicts: 849000 | #Constraints: 24430 586.83/588.29 c #Conflicts: 850000 | #Constraints: 25430 586.83/588.29 c #Conflicts: 851000 | #Constraints: 26431 586.83/588.29 c #Conflicts: 852000 | #Constraints: 27431 586.83/588.29 c #Conflicts: 853000 | #Constraints: 28431 586.83/588.29 c #Conflicts: 854000 | #Constraints: 29431 586.83/588.29 c #Conflicts: 855000 | #Constraints: 30432 586.83/588.29 c #Conflicts: 856000 | #Constraints: 31433 586.83/588.29 c #Conflicts: 857000 | #Constraints: 32433 586.83/588.29 c #Conflicts: 858000 | #Constraints: 33433 586.83/588.29 c #Conflicts: 859000 | #Constraints: 34433 586.83/588.29 c #Conflicts: 860000 | #Constraints: 35434 586.83/588.29 c #Conflicts: 861000 | #Constraints: 36434 586.83/588.29 c #Conflicts: 862000 | #Constraints: 37434 586.83/588.29 c #Conflicts: 863000 | #Constraints: 38434 586.83/588.29 c #Conflicts: 864000 | #Constraints: 39434 586.83/588.29 c #Conflicts: 865000 | #Constraints: 40435 586.83/588.29 c INPROCESSING 586.83/588.29 c GARBAGE COLLECT 586.83/588.29 c rational objective 4.74157 600.30/601.76 c #Conflicts: 866000 | #Constraints: 23020 600.30/601.76 c #Conflicts: 867000 | #Constraints: 24020 600.30/601.76 c #Conflicts: 868000 | #Constraints: 25020 600.30/601.76 c #Conflicts: 869000 | #Constraints: 26022 600.30/601.76 c #Conflicts: 870000 | #Constraints: 27022 600.30/601.76 c #Conflicts: 871000 | #Constraints: 28023 600.30/601.76 c #Conflicts: 872000 | #Constraints: 29023 600.30/601.76 c #Conflicts: 873000 | #Constraints: 30024 600.30/601.76 c #Conflicts: 874000 | #Constraints: 31025 600.30/601.76 c #Conflicts: 875000 | #Constraints: 32025 600.30/601.76 c #Conflicts: 876000 | #Constraints: 33026 600.30/601.76 c #Conflicts: 877000 | #Constraints: 34026 600.30/601.76 c #Conflicts: 878000 | #Constraints: 35027 600.30/601.76 c #Conflicts: 879000 | #Constraints: 36028 600.30/601.76 c #Conflicts: 880000 | #Constraints: 37028 600.30/601.76 c #Conflicts: 881000 | #Constraints: 38028 600.30/601.76 c #Conflicts: 882000 | #Constraints: 39028 600.30/601.76 c #Conflicts: 883000 | #Constraints: 40029 600.30/601.76 c #Conflicts: 884000 | #Constraints: 41030 600.30/601.76 c INPROCESSING 600.30/601.76 c GARBAGE COLLECT 600.30/601.76 c rational objective 4.74157 622.45/623.90 c #Conflicts: 885000 | #Constraints: 23437 622.45/623.90 c #Conflicts: 886000 | #Constraints: 24437 622.45/623.90 c #Conflicts: 887000 | #Constraints: 25437 622.45/623.90 c #Conflicts: 888000 | #Constraints: 26437 622.45/623.90 c #Conflicts: 889000 | #Constraints: 27437 622.45/623.90 c #Conflicts: 890000 | #Constraints: 28437 622.45/623.90 c #Conflicts: 891000 | #Constraints: 29437 622.45/623.90 c #Conflicts: 892000 | #Constraints: 30437 622.45/623.90 c #Conflicts: 893000 | #Constraints: 31438 622.45/623.90 c #Conflicts: 894000 | #Constraints: 32438 622.45/623.90 c #Conflicts: 895000 | #Constraints: 33439 622.45/623.90 c #Conflicts: 896000 | #Constraints: 34439 622.45/623.90 c #Conflicts: 897000 | #Constraints: 35439 622.45/623.90 c #Conflicts: 898000 | #Constraints: 36439 622.45/623.90 c #Conflicts: 899000 | #Constraints: 37439 622.45/623.90 c #Conflicts: 900000 | #Constraints: 38439 622.45/623.90 c #Conflicts: 901000 | #Constraints: 39439 622.45/623.90 c #Conflicts: 902000 | #Constraints: 40439 622.45/623.90 c #Conflicts: 903000 | #Constraints: 41439 622.45/623.90 c INPROCESSING 622.45/623.90 c GARBAGE COLLECT 622.45/623.90 c rational objective 4.74157 643.81/645.30 c #Conflicts: 904000 | #Constraints: 23654 643.81/645.30 c #Conflicts: 905000 | #Constraints: 24654 643.81/645.30 c #Conflicts: 906000 | #Constraints: 25654 643.81/645.30 c #Conflicts: 907000 | #Constraints: 26654 643.81/645.30 c #Conflicts: 908000 | #Constraints: 27654 643.81/645.30 c #Conflicts: 909000 | #Constraints: 28654 643.81/645.30 c #Conflicts: 910000 | #Constraints: 29654 643.81/645.30 c #Conflicts: 911000 | #Constraints: 30654 643.81/645.30 c #Conflicts: 912000 | #Constraints: 31654 643.81/645.30 c #Conflicts: 913000 | #Constraints: 32655 643.81/645.30 c #Conflicts: 914000 | #Constraints: 33656 643.81/645.30 c #Conflicts: 915000 | #Constraints: 34656 643.81/645.30 c #Conflicts: 916000 | #Constraints: 35656 643.81/645.30 c #Conflicts: 917000 | #Constraints: 36656 643.81/645.30 c #Conflicts: 918000 | #Constraints: 37656 643.81/645.30 c #Conflicts: 919000 | #Constraints: 38656 643.81/645.30 c #Conflicts: 920000 | #Constraints: 39656 643.81/645.30 c #Conflicts: 921000 | #Constraints: 40656 643.81/645.30 c #Conflicts: 922000 | #Constraints: 41656 643.81/645.30 c INPROCESSING 643.81/645.30 c GARBAGE COLLECT 643.81/645.30 c rational objective 4.74157 655.18/656.78 c #Conflicts: 923000 | #Constraints: 23653 655.18/656.78 c #Conflicts: 924000 | #Constraints: 24654 655.18/656.78 c #Conflicts: 925000 | #Constraints: 25654 655.18/656.78 c #Conflicts: 926000 | #Constraints: 26654 655.18/656.78 c #Conflicts: 927000 | #Constraints: 27655 655.18/656.78 c #Conflicts: 928000 | #Constraints: 28655 655.18/656.78 c #Conflicts: 929000 | #Constraints: 29655 655.18/656.78 c #Conflicts: 930000 | #Constraints: 30655 655.18/656.78 c #Conflicts: 931000 | #Constraints: 31656 655.18/656.78 c #Conflicts: 932000 | #Constraints: 32656 655.18/656.78 c #Conflicts: 933000 | #Constraints: 33656 655.18/656.78 c #Conflicts: 934000 | #Constraints: 34656 655.18/656.78 c #Conflicts: 935000 | #Constraints: 35657 655.18/656.78 c #Conflicts: 936000 | #Constraints: 36657 655.18/656.78 c #Conflicts: 937000 | #Constraints: 37657 655.18/656.78 c #Conflicts: 938000 | #Constraints: 38657 655.18/656.78 c #Conflicts: 939000 | #Constraints: 39658 655.18/656.78 c #Conflicts: 940000 | #Constraints: 40658 655.18/656.78 c #Conflicts: 941000 | #Constraints: 41659 655.18/656.78 c INPROCESSING 655.18/656.78 c GARBAGE COLLECT 655.18/656.78 c rational objective 4.74157 711.24/712.93 c #Conflicts: 942000 | #Constraints: 23479 711.24/712.93 c #Conflicts: 943000 | #Constraints: 24479 711.24/712.93 c #Conflicts: 944000 | #Constraints: 25480 711.24/712.93 c #Conflicts: 945000 | #Constraints: 26480 711.24/712.93 c #Conflicts: 946000 | #Constraints: 27688 711.24/712.93 c #Conflicts: 947000 | #Constraints: 29315 711.24/712.93 c #Conflicts: 948000 | #Constraints: 30770 711.24/712.93 c #Conflicts: 949000 | #Constraints: 31770 711.24/712.93 c #Conflicts: 950000 | #Constraints: 32770 711.24/712.93 c #Conflicts: 951000 | #Constraints: 33770 711.24/712.93 c #Conflicts: 952000 | #Constraints: 34770 711.24/712.93 c #Conflicts: 953000 | #Constraints: 35770 711.24/712.93 c #Conflicts: 954000 | #Constraints: 36770 711.24/712.93 c #Conflicts: 955000 | #Constraints: 37770 711.24/712.93 c #Conflicts: 956000 | #Constraints: 38770 711.24/712.93 c #Conflicts: 957000 | #Constraints: 39770 711.24/712.93 c #Conflicts: 958000 | #Constraints: 40770 711.24/712.93 c #Conflicts: 959000 | #Constraints: 41770 711.24/712.93 c #Conflicts: 960000 | #Constraints: 42770 711.24/712.93 c #Conflicts: 961000 | #Constraints: 43770 711.24/712.93 c INPROCESSING 711.24/712.93 c GARBAGE COLLECT 711.24/712.93 c rational objective 4.74157 722.33/724.04 c #Conflicts: 962000 | #Constraints: 24731 722.33/724.04 c #Conflicts: 963000 | #Constraints: 25733 722.33/724.04 c #Conflicts: 964000 | #Constraints: 26735 722.33/724.04 c #Conflicts: 965000 | #Constraints: 27736 722.33/724.04 c #Conflicts: 966000 | #Constraints: 28738 722.33/724.04 c #Conflicts: 967000 | #Constraints: 29740 722.33/724.04 c #Conflicts: 968000 | #Constraints: 30740 722.33/724.04 c #Conflicts: 969000 | #Constraints: 31741 722.33/724.04 c #Conflicts: 970000 | #Constraints: 32741 722.33/724.04 c #Conflicts: 971000 | #Constraints: 33744 722.33/724.04 c #Conflicts: 972000 | #Constraints: 34744 722.33/724.04 c #Conflicts: 973000 | #Constraints: 35744 722.33/724.04 c #Conflicts: 974000 | #Constraints: 36745 722.33/724.04 c #Conflicts: 975000 | #Constraints: 37746 722.33/724.04 c #Conflicts: 976000 | #Constraints: 38748 722.33/724.04 c #Conflicts: 977000 | #Constraints: 39748 722.33/724.04 c #Conflicts: 978000 | #Constraints: 40748 722.33/724.04 c #Conflicts: 979000 | #Constraints: 41748 722.33/724.04 c #Conflicts: 980000 | #Constraints: 42748 722.33/724.04 c #Conflicts: 981000 | #Constraints: 43748 722.33/724.04 c INPROCESSING 722.33/724.04 c GARBAGE COLLECT 722.33/724.04 c rational objective 4.74157 726.61/728.38 c #Conflicts: 982000 | #Constraints: 24792 726.61/728.38 c #Conflicts: 983000 | #Constraints: 25792 726.61/728.38 c #Conflicts: 984000 | #Constraints: 26792 726.61/728.38 c #Conflicts: 985000 | #Constraints: 27792 726.61/728.38 c #Conflicts: 986000 | #Constraints: 28792 726.61/728.38 c #Conflicts: 987000 | #Constraints: 29792 726.61/728.38 c #Conflicts: 988000 | #Constraints: 30792 726.61/728.38 c #Conflicts: 989000 | #Constraints: 31794 726.61/728.38 c #Conflicts: 990000 | #Constraints: 32794 726.61/728.38 c #Conflicts: 991000 | #Constraints: 33794 726.61/728.38 c #Conflicts: 992000 | #Constraints: 34794 726.61/728.38 c #Conflicts: 993000 | #Constraints: 35794 726.61/728.38 c #Conflicts: 994000 | #Constraints: 36794 726.61/728.38 c #Conflicts: 995000 | #Constraints: 37794 726.61/728.38 c #Conflicts: 996000 | #Constraints: 38794 726.61/728.38 c #Conflicts: 997000 | #Constraints: 39794 726.61/728.38 c #Conflicts: 998000 | #Constraints: 40794 726.61/728.38 c #Conflicts: 999000 | #Constraints: 41794 726.61/728.38 c #Conflicts: 1000000 | #Constraints: 42794 726.61/728.38 c #Conflicts: 1001000 | #Constraints: 43794 726.61/728.38 c INPROCESSING 726.61/728.38 c GARBAGE COLLECT 726.61/728.38 c rational objective 4.74157 739.58/741.39 c #Conflicts: 1002000 | #Constraints: 24866 739.58/741.39 c #Conflicts: 1003000 | #Constraints: 25868 739.58/741.39 c #Conflicts: 1004000 | #Constraints: 26868 739.58/741.39 c #Conflicts: 1005000 | #Constraints: 27869 739.58/741.39 c #Conflicts: 1006000 | #Constraints: 28871 739.58/741.39 c #Conflicts: 1007000 | #Constraints: 29871 739.58/741.39 c #Conflicts: 1008000 | #Constraints: 30872 739.58/741.39 c #Conflicts: 1009000 | #Constraints: 31873 739.58/741.39 c #Conflicts: 1010000 | #Constraints: 32875 739.58/741.39 c #Conflicts: 1011000 | #Constraints: 33877 739.58/741.39 c #Conflicts: 1012000 | #Constraints: 34877 739.58/741.39 c #Conflicts: 1013000 | #Constraints: 35878 739.58/741.39 c #Conflicts: 1014000 | #Constraints: 36878 739.58/741.39 c #Conflicts: 1015000 | #Constraints: 37879 739.58/741.39 c #Conflicts: 1016000 | #Constraints: 38879 739.58/741.39 c #Conflicts: 1017000 | #Constraints: 39880 739.58/741.39 c #Conflicts: 1018000 | #Constraints: 40880 739.58/741.39 c #Conflicts: 1019000 | #Constraints: 41880 739.58/741.39 c #Conflicts: 1020000 | #Constraints: 42881 739.58/741.39 c #Conflicts: 1021000 | #Constraints: 43881 739.58/741.39 c INPROCESSING 739.58/741.39 c GARBAGE COLLECT 739.58/741.39 c rational objective 4.74157 772.69/774.59 c #Conflicts: 1022000 | #Constraints: 24784 772.69/774.59 c #Conflicts: 1023000 | #Constraints: 25784 772.69/774.59 c #Conflicts: 1024000 | #Constraints: 26784 772.69/774.59 c #Conflicts: 1025000 | #Constraints: 27784 772.69/774.59 c #Conflicts: 1026000 | #Constraints: 28785 772.69/774.59 c #Conflicts: 1027000 | #Constraints: 29785 772.69/774.59 c #Conflicts: 1028000 | #Constraints: 30786 772.69/774.59 c #Conflicts: 1029000 | #Constraints: 31786 772.69/774.59 c #Conflicts: 1030000 | #Constraints: 32788 772.69/774.59 c #Conflicts: 1031000 | #Constraints: 33788 772.69/774.59 c #Conflicts: 1032000 | #Constraints: 34788 772.69/774.59 c #Conflicts: 1033000 | #Constraints: 35789 772.69/774.59 c #Conflicts: 1034000 | #Constraints: 36789 772.69/774.59 c #Conflicts: 1035000 | #Constraints: 37789 772.69/774.59 c #Conflicts: 1036000 | #Constraints: 38789 772.69/774.59 c #Conflicts: 1037000 | #Constraints: 39789 772.69/774.59 c #Conflicts: 1038000 | #Constraints: 40789 772.69/774.59 c #Conflicts: 1039000 | #Constraints: 41790 772.69/774.59 c #Conflicts: 1040000 | #Constraints: 42790 772.69/774.59 c #Conflicts: 1041000 | #Constraints: 43790 772.69/774.59 c INPROCESSING 772.69/774.59 c GARBAGE COLLECT 772.69/774.59 c rational objective 4.7427 894.98/897.19 c #Conflicts: 1042000 | #Constraints: 24537 894.98/897.19 c #Conflicts: 1043000 | #Constraints: 25537 894.98/897.19 c #Conflicts: 1044000 | #Constraints: 26537 894.98/897.19 c #Conflicts: 1045000 | #Constraints: 27537 894.98/897.19 c #Conflicts: 1046000 | #Constraints: 28537 894.98/897.19 c #Conflicts: 1047000 | #Constraints: 29537 894.98/897.19 c #Conflicts: 1048000 | #Constraints: 30537 894.98/897.19 c #Conflicts: 1049000 | #Constraints: 31537 894.98/897.19 c #Conflicts: 1050000 | #Constraints: 32537 894.98/897.19 c #Conflicts: 1051000 | #Constraints: 33537 894.98/897.19 c #Conflicts: 1052000 | #Constraints: 34537 894.98/897.19 c #Conflicts: 1053000 | #Constraints: 35537 894.98/897.19 c #Conflicts: 1054000 | #Constraints: 36537 894.98/897.19 c #Conflicts: 1055000 | #Constraints: 37537 894.98/897.19 c #Conflicts: 1056000 | #Constraints: 38537 894.98/897.19 c #Conflicts: 1057000 | #Constraints: 39537 894.98/897.19 c #Conflicts: 1058000 | #Constraints: 40537 894.98/897.19 c #Conflicts: 1059000 | #Constraints: 41537 894.98/897.19 c #Conflicts: 1060000 | #Constraints: 42537 894.98/897.19 c #Conflicts: 1061000 | #Constraints: 43537 894.98/897.19 c #Conflicts: 1062000 | #Constraints: 44537 894.98/897.19 c INPROCESSING 894.98/897.19 c GARBAGE COLLECT 894.98/897.19 c rational objective 4.74272 901.86/904.03 c #Conflicts: 1063000 | #Constraints: 25123 901.86/904.03 c #Conflicts: 1064000 | #Constraints: 26123 901.86/904.03 c #Conflicts: 1065000 | #Constraints: 27124 901.86/904.03 c #Conflicts: 1066000 | #Constraints: 28125 901.86/904.03 c #Conflicts: 1067000 | #Constraints: 29126 901.86/904.03 c #Conflicts: 1068000 | #Constraints: 30126 901.86/904.03 c #Conflicts: 1069000 | #Constraints: 31126 901.86/904.03 c #Conflicts: 1070000 | #Constraints: 32128 901.86/904.03 c #Conflicts: 1071000 | #Constraints: 33128 901.86/904.03 c #Conflicts: 1072000 | #Constraints: 34128 901.86/904.03 c #Conflicts: 1073000 | #Constraints: 35128 901.86/904.03 c #Conflicts: 1074000 | #Constraints: 36128 901.86/904.03 c #Conflicts: 1075000 | #Constraints: 37128 901.86/904.03 c #Conflicts: 1076000 | #Constraints: 38129 901.86/904.03 c #Conflicts: 1077000 | #Constraints: 39129 901.86/904.03 c #Conflicts: 1078000 | #Constraints: 40129 901.86/904.03 c #Conflicts: 1079000 | #Constraints: 41129 901.86/904.03 c #Conflicts: 1080000 | #Constraints: 42129 901.86/904.03 c #Conflicts: 1081000 | #Constraints: 43129 901.86/904.03 c #Conflicts: 1082000 | #Constraints: 44130 901.86/904.03 c #Conflicts: 1083000 | #Constraints: 45131 901.86/904.03 c INPROCESSING 901.86/904.03 c GARBAGE COLLECT 901.86/904.03 c rational objective 4.74273 907.24/909.46 c #Conflicts: 1084000 | #Constraints: 25514 907.24/909.46 c #Conflicts: 1085000 | #Constraints: 26515 907.24/909.46 c #Conflicts: 1086000 | #Constraints: 27515 907.24/909.46 c #Conflicts: 1087000 | #Constraints: 28516 907.24/909.46 c #Conflicts: 1088000 | #Constraints: 29518 907.24/909.46 c #Conflicts: 1089000 | #Constraints: 30518 907.24/909.46 c #Conflicts: 1090000 | #Constraints: 31518 907.24/909.46 c #Conflicts: 1091000 | #Constraints: 32518 907.24/909.46 c #Conflicts: 1092000 | #Constraints: 33518 907.24/909.46 c #Conflicts: 1093000 | #Constraints: 34518 907.24/909.46 c #Conflicts: 1094000 | #Constraints: 35518 907.24/909.46 c #Conflicts: 1095000 | #Constraints: 36518 907.24/909.46 c #Conflicts: 1096000 | #Constraints: 37519 907.24/909.46 c #Conflicts: 1097000 | #Constraints: 38519 907.24/909.46 c #Conflicts: 1098000 | #Constraints: 39519 907.24/909.46 c #Conflicts: 1099000 | #Constraints: 40519 907.24/909.46 c #Conflicts: 1100000 | #Constraints: 41519 907.24/909.46 c #Conflicts: 1101000 | #Constraints: 42519 907.24/909.46 c #Conflicts: 1102000 | #Constraints: 43519 907.24/909.46 c #Conflicts: 1103000 | #Constraints: 44520 907.24/909.46 c #Conflicts: 1104000 | #Constraints: 45520 907.24/909.46 c INPROCESSING 907.24/909.46 c GARBAGE COLLECT 907.24/909.46 c rational objective 4.74274 958.69/961.08 c #Conflicts: 1105000 | #Constraints: 25701 958.69/961.08 c #Conflicts: 1106000 | #Constraints: 26701 958.69/961.08 c #Conflicts: 1107000 | #Constraints: 27701 958.69/961.08 c #Conflicts: 1108000 | #Constraints: 28701 958.69/961.08 c #Conflicts: 1109000 | #Constraints: 29701 958.69/961.08 c #Conflicts: 1110000 | #Constraints: 30701 958.69/961.08 c #Conflicts: 1111000 | #Constraints: 31701 958.69/961.08 c #Conflicts: 1112000 | #Constraints: 32701 958.69/961.08 c #Conflicts: 1113000 | #Constraints: 33703 958.69/961.08 c #Conflicts: 1114000 | #Constraints: 34703 958.69/961.08 c #Conflicts: 1115000 | #Constraints: 35703 958.69/961.08 c #Conflicts: 1116000 | #Constraints: 36703 958.69/961.08 c #Conflicts: 1117000 | #Constraints: 37703 958.69/961.08 c #Conflicts: 1118000 | #Constraints: 38704 958.69/961.08 c #Conflicts: 1119000 | #Constraints: 39704 958.69/961.08 c #Conflicts: 1120000 | #Constraints: 40704 958.69/961.08 c #Conflicts: 1121000 | #Constraints: 41704 958.69/961.08 c #Conflicts: 1122000 | #Constraints: 42704 958.69/961.08 c #Conflicts: 1123000 | #Constraints: 43704 958.69/961.08 c #Conflicts: 1124000 | #Constraints: 44704 958.69/961.09 c #Conflicts: 1125000 | #Constraints: 45704 958.69/961.09 c INPROCESSING 958.69/961.09 c GARBAGE COLLECT 958.69/961.09 c rational objective 4.74337 969.35/971.74 c #Conflicts: 1126000 | #Constraints: 25688 969.35/971.74 c #Conflicts: 1127000 | #Constraints: 26691 969.35/971.74 c #Conflicts: 1128000 | #Constraints: 27692 969.35/971.74 c #Conflicts: 1129000 | #Constraints: 28692 969.35/971.74 c #Conflicts: 1130000 | #Constraints: 29692 969.35/971.74 c #Conflicts: 1131000 | #Constraints: 30693 969.35/971.74 c #Conflicts: 1132000 | #Constraints: 31694 969.35/971.74 c #Conflicts: 1133000 | #Constraints: 32694 969.35/971.74 c #Conflicts: 1134000 | #Constraints: 33696 969.35/971.74 c #Conflicts: 1135000 | #Constraints: 34697 969.35/971.74 c #Conflicts: 1136000 | #Constraints: 35697 969.35/971.74 c #Conflicts: 1137000 | #Constraints: 36697 969.35/971.74 c #Conflicts: 1138000 | #Constraints: 37697 969.35/971.74 c #Conflicts: 1139000 | #Constraints: 38697 969.35/971.74 c #Conflicts: 1140000 | #Constraints: 39698 969.35/971.74 c #Conflicts: 1141000 | #Constraints: 40698 969.35/971.74 c #Conflicts: 1142000 | #Constraints: 41699 969.35/971.74 c #Conflicts: 1143000 | #Constraints: 42699 969.35/971.74 c #Conflicts: 1144000 | #Constraints: 43699 969.35/971.74 c #Conflicts: 1145000 | #Constraints: 44699 969.35/971.74 c #Conflicts: 1146000 | #Constraints: 45699 969.35/971.74 c INPROCESSING 969.35/971.74 c GARBAGE COLLECT 969.35/971.74 c rational objective 4.74337 985.90/988.34 c #Conflicts: 1147000 | #Constraints: 25475 985.90/988.34 c #Conflicts: 1148000 | #Constraints: 26476 985.90/988.34 c #Conflicts: 1149000 | #Constraints: 27477 985.90/988.34 c #Conflicts: 1150000 | #Constraints: 28477 985.90/988.34 c #Conflicts: 1151000 | #Constraints: 29478 985.90/988.34 c #Conflicts: 1152000 | #Constraints: 30479 985.90/988.34 c #Conflicts: 1153000 | #Constraints: 31479 985.90/988.34 c #Conflicts: 1154000 | #Constraints: 32479 985.90/988.34 c #Conflicts: 1155000 | #Constraints: 33480 985.90/988.34 c #Conflicts: 1156000 | #Constraints: 34481 985.90/988.34 c #Conflicts: 1157000 | #Constraints: 35481 985.90/988.34 c #Conflicts: 1158000 | #Constraints: 36481 985.90/988.34 c #Conflicts: 1159000 | #Constraints: 37481 985.90/988.34 c #Conflicts: 1160000 | #Constraints: 38482 985.90/988.34 c #Conflicts: 1161000 | #Constraints: 39482 985.90/988.34 c #Conflicts: 1162000 | #Constraints: 40482 985.90/988.34 c #Conflicts: 1163000 | #Constraints: 41482 985.90/988.34 c #Conflicts: 1164000 | #Constraints: 42482 985.90/988.34 c #Conflicts: 1165000 | #Constraints: 43482 985.90/988.34 c #Conflicts: 1166000 | #Constraints: 44483 985.90/988.34 c #Conflicts: 1167000 | #Constraints: 45483 985.90/988.34 c #Conflicts: 1168000 | #Constraints: 46483 985.90/988.34 c INPROCESSING 985.90/988.34 c GARBAGE COLLECT 985.90/988.34 c rational objective 4.74337 1000.36/1002.89 c #Conflicts: 1169000 | #Constraints: 26057 1000.36/1002.89 c #Conflicts: 1170000 | #Constraints: 27057 1000.36/1002.89 c #Conflicts: 1171000 | #Constraints: 28058 1000.36/1002.89 c #Conflicts: 1172000 | #Constraints: 29058 1000.36/1002.89 c #Conflicts: 1173000 | #Constraints: 30058 1000.36/1002.89 c #Conflicts: 1174000 | #Constraints: 31059 1000.36/1002.89 c #Conflicts: 1175000 | #Constraints: 32059 1000.36/1002.89 c #Conflicts: 1176000 | #Constraints: 33059 1000.36/1002.89 c #Conflicts: 1177000 | #Constraints: 34061 1000.36/1002.89 c #Conflicts: 1178000 | #Constraints: 35061 1000.36/1002.89 c #Conflicts: 1179000 | #Constraints: 36061 1000.36/1002.89 c #Conflicts: 1180000 | #Constraints: 37061 1000.36/1002.89 c #Conflicts: 1181000 | #Constraints: 38061 1000.36/1002.89 c #Conflicts: 1182000 | #Constraints: 39061 1000.36/1002.89 c #Conflicts: 1183000 | #Constraints: 40062 1000.36/1002.89 c #Conflicts: 1184000 | #Constraints: 41062 1000.36/1002.89 c #Conflicts: 1185000 | #Constraints: 42062 1000.36/1002.89 c #Conflicts: 1186000 | #Constraints: 43062 1000.36/1002.89 c #Conflicts: 1187000 | #Constraints: 44063 1000.36/1002.89 c #Conflicts: 1188000 | #Constraints: 45063 1000.36/1002.89 c #Conflicts: 1189000 | #Constraints: 46063 1000.36/1002.89 c #Conflicts: 1190000 | #Constraints: 47063 1000.36/1002.89 c INPROCESSING 1000.36/1002.89 c GARBAGE COLLECT 1000.36/1002.89 c rational objective 4.74337 1017.91/1020.48 c #Conflicts: 1191000 | #Constraints: 26477 1017.91/1020.48 c #Conflicts: 1192000 | #Constraints: 27478 1017.91/1020.48 c #Conflicts: 1193000 | #Constraints: 28479 1017.91/1020.48 c #Conflicts: 1194000 | #Constraints: 29479 1017.91/1020.48 c #Conflicts: 1195000 | #Constraints: 30480 1017.91/1020.48 c #Conflicts: 1196000 | #Constraints: 31481 1017.91/1020.48 c #Conflicts: 1197000 | #Constraints: 32482 1017.91/1020.48 c #Conflicts: 1198000 | #Constraints: 33483 1017.91/1020.48 c #Conflicts: 1199000 | #Constraints: 34483 1017.91/1020.48 c #Conflicts: 1200000 | #Constraints: 35484 1017.91/1020.48 c #Conflicts: 1201000 | #Constraints: 36484 1017.91/1020.48 c #Conflicts: 1202000 | #Constraints: 37484 1017.91/1020.48 c #Conflicts: 1203000 | #Constraints: 38484 1017.91/1020.48 c #Conflicts: 1204000 | #Constraints: 39485 1017.91/1020.48 c #Conflicts: 1205000 | #Constraints: 40485 1017.91/1020.48 c #Conflicts: 1206000 | #Constraints: 41485 1017.91/1020.48 c #Conflicts: 1207000 | #Constraints: 42485 1017.91/1020.48 c #Conflicts: 1208000 | #Constraints: 43485 1017.91/1020.48 c #Conflicts: 1209000 | #Constraints: 44485 1017.91/1020.48 c #Conflicts: 1210000 | #Constraints: 45486 1017.91/1020.48 c #Conflicts: 1211000 | #Constraints: 46487 1017.91/1020.48 c #Conflicts: 1212000 | #Constraints: 47487 1017.91/1020.48 c INPROCESSING 1017.91/1020.48 c GARBAGE COLLECT 1017.91/1020.48 c rational objective 4.74337 1038.45/1041.02 c #Conflicts: 1213000 | #Constraints: 26675 1038.45/1041.02 c #Conflicts: 1214000 | #Constraints: 27675 1038.45/1041.02 c #Conflicts: 1215000 | #Constraints: 28675 1038.45/1041.02 c #Conflicts: 1216000 | #Constraints: 29675 1038.45/1041.02 c #Conflicts: 1217000 | #Constraints: 30676 1038.45/1041.02 c #Conflicts: 1218000 | #Constraints: 31676 1038.45/1041.02 c #Conflicts: 1219000 | #Constraints: 32676 1038.45/1041.02 c #Conflicts: 1220000 | #Constraints: 33676 1038.45/1041.02 c #Conflicts: 1221000 | #Constraints: 34677 1038.45/1041.02 c #Conflicts: 1222000 | #Constraints: 35677 1038.45/1041.02 c #Conflicts: 1223000 | #Constraints: 36677 1038.45/1041.02 c #Conflicts: 1224000 | #Constraints: 37677 1038.45/1041.02 c #Conflicts: 1225000 | #Constraints: 38678 1038.45/1041.02 c #Conflicts: 1226000 | #Constraints: 39678 1038.45/1041.02 c #Conflicts: 1227000 | #Constraints: 40678 1038.45/1041.02 c #Conflicts: 1228000 | #Constraints: 41678 1038.45/1041.02 c #Conflicts: 1229000 | #Constraints: 42678 1038.45/1041.02 c #Conflicts: 1230000 | #Constraints: 43679 1038.45/1041.02 c #Conflicts: 1231000 | #Constraints: 44680 1038.45/1041.02 c #Conflicts: 1232000 | #Constraints: 45680 1038.45/1041.02 c #Conflicts: 1233000 | #Constraints: 46680 1038.45/1041.02 c #Conflicts: 1234000 | #Constraints: 47680 1038.45/1041.02 c INPROCESSING 1038.45/1041.02 c GARBAGE COLLECT 1038.45/1041.02 c rational objective 4.74337 1061.38/1064.08 c #Conflicts: 1235000 | #Constraints: 26670 1061.38/1064.08 c #Conflicts: 1236000 | #Constraints: 27670 1061.38/1064.08 c #Conflicts: 1237000 | #Constraints: 28671 1061.38/1064.08 c #Conflicts: 1238000 | #Constraints: 29673 1061.38/1064.08 c #Conflicts: 1239000 | #Constraints: 30673 1061.38/1064.08 c #Conflicts: 1240000 | #Constraints: 31673 1061.38/1064.08 c #Conflicts: 1241000 | #Constraints: 32673 1061.38/1064.08 c #Conflicts: 1242000 | #Constraints: 33673 1061.38/1064.08 c #Conflicts: 1243000 | #Constraints: 34674 1061.38/1064.08 c #Conflicts: 1244000 | #Constraints: 35674 1061.38/1064.08 c #Conflicts: 1245000 | #Constraints: 36674 1061.38/1064.08 c #Conflicts: 1246000 | #Constraints: 37674 1061.38/1064.08 c #Conflicts: 1247000 | #Constraints: 38674 1061.38/1064.08 c #Conflicts: 1248000 | #Constraints: 39674 1061.38/1064.08 c #Conflicts: 1249000 | #Constraints: 40674 1061.38/1064.08 c #Conflicts: 1250000 | #Constraints: 41674 1061.38/1064.08 c #Conflicts: 1251000 | #Constraints: 42674 1061.38/1064.08 c #Conflicts: 1252000 | #Constraints: 43674 1061.38/1064.08 c #Conflicts: 1253000 | #Constraints: 44675 1061.38/1064.08 c #Conflicts: 1254000 | #Constraints: 45675 1061.38/1064.08 c #Conflicts: 1255000 | #Constraints: 46676 1061.38/1064.08 c #Conflicts: 1256000 | #Constraints: 47677 1061.38/1064.08 c INPROCESSING 1061.38/1064.08 c GARBAGE COLLECT 1061.38/1064.08 c rational objective 4.74348 1081.74/1084.44 c #Conflicts: 1257000 | #Constraints: 26470 1081.74/1084.44 c #Conflicts: 1258000 | #Constraints: 27471 1081.74/1084.44 c #Conflicts: 1259000 | #Constraints: 28471 1081.74/1084.44 c #Conflicts: 1260000 | #Constraints: 29471 1081.74/1084.44 c #Conflicts: 1261000 | #Constraints: 30471 1081.74/1084.44 c #Conflicts: 1262000 | #Constraints: 31471 1081.74/1084.44 c #Conflicts: 1263000 | #Constraints: 32471 1081.74/1084.44 c #Conflicts: 1264000 | #Constraints: 33471 1081.74/1084.44 c #Conflicts: 1265000 | #Constraints: 34471 1081.74/1084.44 c #Conflicts: 1266000 | #Constraints: 35471 1081.74/1084.44 c #Conflicts: 1267000 | #Constraints: 36471 1081.74/1084.44 c #Conflicts: 1268000 | #Constraints: 37471 1081.74/1084.44 c #Conflicts: 1269000 | #Constraints: 38471 1081.74/1084.44 c #Conflicts: 1270000 | #Constraints: 39472 1081.74/1084.44 c #Conflicts: 1271000 | #Constraints: 40472 1081.74/1084.44 c #Conflicts: 1272000 | #Constraints: 41472 1081.74/1084.44 c #Conflicts: 1273000 | #Constraints: 42473 1081.74/1084.44 c #Conflicts: 1274000 | #Constraints: 43473 1081.74/1084.44 c #Conflicts: 1275000 | #Constraints: 44473 1081.74/1084.44 c #Conflicts: 1276000 | #Constraints: 45473 1081.74/1084.44 c #Conflicts: 1277000 | #Constraints: 46474 1081.74/1084.44 c #Conflicts: 1278000 | #Constraints: 47475 1081.74/1084.44 c #Conflicts: 1279000 | #Constraints: 48475 1081.74/1084.44 c INPROCESSING 1081.74/1084.44 c GARBAGE COLLECT 1081.74/1084.44 c rational objective 4.74348 1093.90/1096.63 c #Conflicts: 1280000 | #Constraints: 27085 1093.90/1096.63 c #Conflicts: 1281000 | #Constraints: 28086 1093.90/1096.63 c #Conflicts: 1282000 | #Constraints: 29087 1093.90/1096.63 c #Conflicts: 1283000 | #Constraints: 30089 1093.90/1096.63 c #Conflicts: 1284000 | #Constraints: 31091 1093.90/1096.63 c #Conflicts: 1285000 | #Constraints: 32093 1093.90/1096.63 c #Conflicts: 1286000 | #Constraints: 33093 1093.90/1096.63 c #Conflicts: 1287000 | #Constraints: 34095 1093.90/1096.63 c #Conflicts: 1288000 | #Constraints: 35095 1093.90/1096.63 c #Conflicts: 1289000 | #Constraints: 36096 1093.90/1096.63 c #Conflicts: 1290000 | #Constraints: 37097 1093.90/1096.63 c #Conflicts: 1291000 | #Constraints: 38097 1093.90/1096.63 c #Conflicts: 1292000 | #Constraints: 39097 1093.90/1096.63 c #Conflicts: 1293000 | #Constraints: 40097 1093.90/1096.63 c #Conflicts: 1294000 | #Constraints: 41097 1093.90/1096.63 c #Conflicts: 1295000 | #Constraints: 42097 1093.90/1096.63 c #Conflicts: 1296000 | #Constraints: 43098 1093.90/1096.63 c #Conflicts: 1297000 | #Constraints: 44098 1093.90/1096.63 c #Conflicts: 1298000 | #Constraints: 45099 1093.90/1096.63 c #Conflicts: 1299000 | #Constraints: 46100 1093.90/1096.63 c #Conflicts: 1300000 | #Constraints: 47100 1093.90/1096.63 c #Conflicts: 1301000 | #Constraints: 48101 1093.90/1096.63 c #Conflicts: 1302000 | #Constraints: 49101 1093.90/1096.63 c INPROCESSING 1093.90/1096.63 c GARBAGE COLLECT 1093.90/1096.63 c rational objective 4.74348 1114.07/1116.89 c #Conflicts: 1303000 | #Constraints: 27470 1114.07/1116.89 c #Conflicts: 1304000 | #Constraints: 28470 1114.07/1116.89 c #Conflicts: 1305000 | #Constraints: 29471 1114.07/1116.89 c #Conflicts: 1306000 | #Constraints: 30472 1114.07/1116.89 c #Conflicts: 1307000 | #Constraints: 31472 1114.07/1116.89 c #Conflicts: 1308000 | #Constraints: 32473 1114.07/1116.89 c #Conflicts: 1309000 | #Constraints: 33475 1114.07/1116.89 c #Conflicts: 1310000 | #Constraints: 34475 1114.07/1116.89 c #Conflicts: 1311000 | #Constraints: 35475 1114.07/1116.89 c #Conflicts: 1312000 | #Constraints: 36475 1114.07/1116.89 c #Conflicts: 1313000 | #Constraints: 37477 1114.07/1116.89 c #Conflicts: 1314000 | #Constraints: 38477 1114.07/1116.89 c #Conflicts: 1315000 | #Constraints: 39477 1114.07/1116.89 c #Conflicts: 1316000 | #Constraints: 40477 1114.07/1116.89 c #Conflicts: 1317000 | #Constraints: 41477 1114.07/1116.89 c #Conflicts: 1318000 | #Constraints: 42477 1114.07/1116.89 c #Conflicts: 1319000 | #Constraints: 43477 1114.07/1116.89 c #Conflicts: 1320000 | #Constraints: 44478 1114.07/1116.89 c #Conflicts: 1321000 | #Constraints: 45479 1114.07/1116.89 c #Conflicts: 1322000 | #Constraints: 46479 1114.07/1116.89 c #Conflicts: 1323000 | #Constraints: 47479 1114.07/1116.89 c #Conflicts: 1324000 | #Constraints: 48479 1114.07/1116.89 c #Conflicts: 1325000 | #Constraints: 49479 1114.07/1116.89 c INPROCESSING 1114.07/1116.89 c GARBAGE COLLECT 1114.07/1116.89 c rational objective 4.74348 1118.26/1121.07 c #Conflicts: 1326000 | #Constraints: 27701 1118.26/1121.07 c #Conflicts: 1327000 | #Constraints: 28701 1118.26/1121.07 c #Conflicts: 1328000 | #Constraints: 29704 1118.26/1121.07 c #Conflicts: 1329000 | #Constraints: 30705 1118.26/1121.07 c #Conflicts: 1330000 | #Constraints: 31705 1118.26/1121.07 c #Conflicts: 1331000 | #Constraints: 32705 1118.26/1121.07 c #Conflicts: 1332000 | #Constraints: 33708 1118.26/1121.07 c #Conflicts: 1333000 | #Constraints: 34709 1118.26/1121.07 c #Conflicts: 1334000 | #Constraints: 35710 1118.26/1121.07 c #Conflicts: 1335000 | #Constraints: 36710 1118.26/1121.07 c #Conflicts: 1336000 | #Constraints: 37710 1118.26/1121.07 c #Conflicts: 1337000 | #Constraints: 38710 1118.26/1121.07 c #Conflicts: 1338000 | #Constraints: 39710 1118.26/1121.07 c #Conflicts: 1339000 | #Constraints: 40710 1118.26/1121.07 c #Conflicts: 1340000 | #Constraints: 41710 1118.26/1121.07 c #Conflicts: 1341000 | #Constraints: 42710 1118.26/1121.07 c #Conflicts: 1342000 | #Constraints: 43710 1118.26/1121.07 c #Conflicts: 1343000 | #Constraints: 44710 1118.26/1121.07 c #Conflicts: 1344000 | #Constraints: 45710 1118.26/1121.07 c #Conflicts: 1345000 | #Constraints: 46710 1118.26/1121.07 c #Conflicts: 1346000 | #Constraints: 47710 1118.26/1121.07 c #Conflicts: 1347000 | #Constraints: 48710 1118.26/1121.07 c #Conflicts: 1348000 | #Constraints: 49710 1118.26/1121.07 c INPROCESSING 1118.26/1121.07 c GARBAGE COLLECT 1118.26/1121.07 c rational objective 4.74348 1167.24/1170.15 c #Conflicts: 1349000 | #Constraints: 27710 1167.24/1170.15 c #Conflicts: 1350000 | #Constraints: 28710 1167.24/1170.15 c #Conflicts: 1351000 | #Constraints: 29710 1167.24/1170.15 c #Conflicts: 1352000 | #Constraints: 30710 1167.24/1170.15 c #Conflicts: 1353000 | #Constraints: 31710 1167.24/1170.15 c #Conflicts: 1354000 | #Constraints: 32710 1167.24/1170.15 c #Conflicts: 1355000 | #Constraints: 33710 1167.24/1170.15 c #Conflicts: 1356000 | #Constraints: 34710 1167.24/1170.15 c #Conflicts: 1357000 | #Constraints: 35710 1167.24/1170.15 c #Conflicts: 1358000 | #Constraints: 36711 1167.24/1170.15 c #Conflicts: 1359000 | #Constraints: 37711 1167.24/1170.15 c #Conflicts: 1360000 | #Constraints: 38711 1167.24/1170.15 c #Conflicts: 1361000 | #Constraints: 39712 1167.24/1170.15 c #Conflicts: 1362000 | #Constraints: 40712 1167.24/1170.15 c #Conflicts: 1363000 | #Constraints: 41712 1167.24/1170.15 c #Conflicts: 1364000 | #Constraints: 42712 1167.24/1170.15 c #Conflicts: 1365000 | #Constraints: 43713 1167.24/1170.15 c #Conflicts: 1366000 | #Constraints: 44714 1167.24/1170.15 c #Conflicts: 1367000 | #Constraints: 45714 1167.24/1170.15 c #Conflicts: 1368000 | #Constraints: 46714 1167.24/1170.15 c #Conflicts: 1369000 | #Constraints: 47714 1167.24/1170.15 c #Conflicts: 1370000 | #Constraints: 48714 1167.24/1170.15 c #Conflicts: 1371000 | #Constraints: 49714 1167.24/1170.15 c INPROCESSING 1167.24/1170.15 c GARBAGE COLLECT 1167.24/1170.15 c rational objective 4.74348 1184.60/1187.51 c #Conflicts: 1372000 | #Constraints: 27490 1184.60/1187.51 c #Conflicts: 1373000 | #Constraints: 28490 1184.60/1187.51 c #Conflicts: 1374000 | #Constraints: 29490 1184.60/1187.51 c #Conflicts: 1375000 | #Constraints: 30491 1184.60/1187.51 c #Conflicts: 1376000 | #Constraints: 31493 1184.60/1187.51 c #Conflicts: 1377000 | #Constraints: 32493 1184.60/1187.51 c #Conflicts: 1378000 | #Constraints: 33493 1184.60/1187.51 c #Conflicts: 1379000 | #Constraints: 34493 1184.60/1187.51 c #Conflicts: 1380000 | #Constraints: 35493 1184.60/1187.51 c #Conflicts: 1381000 | #Constraints: 36493 1184.60/1187.51 c #Conflicts: 1382000 | #Constraints: 37493 1184.60/1187.51 c #Conflicts: 1383000 | #Constraints: 38494 1184.60/1187.51 c #Conflicts: 1384000 | #Constraints: 39495 1184.60/1187.51 c #Conflicts: 1385000 | #Constraints: 40495 1184.60/1187.51 c #Conflicts: 1386000 | #Constraints: 41495 1184.60/1187.51 c #Conflicts: 1387000 | #Constraints: 42495 1184.60/1187.51 c #Conflicts: 1388000 | #Constraints: 43495 1184.60/1187.51 c #Conflicts: 1389000 | #Constraints: 44496 1184.60/1187.51 c #Conflicts: 1390000 | #Constraints: 45496 1184.60/1187.51 c #Conflicts: 1391000 | #Constraints: 46496 1184.60/1187.51 c #Conflicts: 1392000 | #Constraints: 47496 1184.60/1187.51 c #Conflicts: 1393000 | #Constraints: 48496 1184.60/1187.51 c #Conflicts: 1394000 | #Constraints: 49496 1184.60/1187.51 c #Conflicts: 1395000 | #Constraints: 50496 1184.60/1187.51 c INPROCESSING 1184.60/1187.51 c GARBAGE COLLECT 1184.60/1187.51 c rational objective 4.74348 1200.26/1203.22 c #Conflicts: 1396000 | #Constraints: 28090 1200.26/1203.22 c #Conflicts: 1397000 | #Constraints: 29090 1200.26/1203.22 c #Conflicts: 1398000 | #Constraints: 30090 1200.26/1203.22 c #Conflicts: 1399000 | #Constraints: 31090 1200.26/1203.22 c #Conflicts: 1400000 | #Constraints: 32090 1200.26/1203.22 c #Conflicts: 1401000 | #Constraints: 33090 1200.26/1203.22 c #Conflicts: 1402000 | #Constraints: 34090 1200.26/1203.22 c #Conflicts: 1403000 | #Constraints: 35090 1200.26/1203.22 c #Conflicts: 1404000 | #Constraints: 36090 1200.26/1203.22 c #Conflicts: 1405000 | #Constraints: 37090 1200.26/1203.22 c #Conflicts: 1406000 | #Constraints: 38090 1200.26/1203.22 c #Conflicts: 1407000 | #Constraints: 39090 1200.26/1203.22 c #Conflicts: 1408000 | #Constraints: 40091 1200.26/1203.22 c #Conflicts: 1409000 | #Constraints: 41091 1200.26/1203.22 c #Conflicts: 1410000 | #Constraints: 42091 1200.26/1203.22 c #Conflicts: 1411000 | #Constraints: 43091 1200.26/1203.22 c #Conflicts: 1412000 | #Constraints: 44091 1200.26/1203.22 c #Conflicts: 1413000 | #Constraints: 45091 1200.26/1203.22 c #Conflicts: 1414000 | #Constraints: 46092 1200.26/1203.22 c #Conflicts: 1415000 | #Constraints: 47092 1200.26/1203.22 c #Conflicts: 1416000 | #Constraints: 48092 1200.26/1203.22 c #Conflicts: 1417000 | #Constraints: 49093 1200.26/1203.22 c #Conflicts: 1418000 | #Constraints: 50094 1200.26/1203.22 c #Conflicts: 1419000 | #Constraints: 51094 1200.26/1203.22 c INPROCESSING 1200.26/1203.22 c GARBAGE COLLECT 1200.26/1203.22 c rational objective 4.74348 1223.61/1226.62 c #Conflicts: 1420000 | #Constraints: 28515 1223.61/1226.62 c #Conflicts: 1421000 | #Constraints: 29515 1223.61/1226.62 c #Conflicts: 1422000 | #Constraints: 30515 1223.61/1226.62 c #Conflicts: 1423000 | #Constraints: 31515 1223.61/1226.62 c #Conflicts: 1424000 | #Constraints: 32515 1223.61/1226.62 c #Conflicts: 1425000 | #Constraints: 33515 1223.61/1226.62 c #Conflicts: 1426000 | #Constraints: 34515 1223.61/1226.62 c #Conflicts: 1427000 | #Constraints: 35516 1223.61/1226.62 c #Conflicts: 1428000 | #Constraints: 36516 1223.61/1226.62 c #Conflicts: 1429000 | #Constraints: 37516 1223.61/1226.62 c #Conflicts: 1430000 | #Constraints: 38516 1223.61/1226.62 c #Conflicts: 1431000 | #Constraints: 39516 1223.61/1226.62 c #Conflicts: 1432000 | #Constraints: 40516 1223.61/1226.62 c #Conflicts: 1433000 | #Constraints: 41516 1223.61/1226.62 c #Conflicts: 1434000 | #Constraints: 42517 1223.61/1226.62 c #Conflicts: 1435000 | #Constraints: 43518 1223.61/1226.62 c #Conflicts: 1436000 | #Constraints: 44518 1223.61/1226.62 c #Conflicts: 1437000 | #Constraints: 45518 1223.61/1226.62 c #Conflicts: 1438000 | #Constraints: 46519 1223.61/1226.62 c #Conflicts: 1439000 | #Constraints: 47519 1223.61/1226.62 c #Conflicts: 1440000 | #Constraints: 48519 1223.61/1226.62 c #Conflicts: 1441000 | #Constraints: 49519 1223.61/1226.62 c #Conflicts: 1442000 | #Constraints: 50520 1223.61/1226.62 c #Conflicts: 1443000 | #Constraints: 51520 1223.61/1226.62 c INPROCESSING 1223.61/1226.62 c GARBAGE COLLECT 1223.61/1226.62 c rational objective 4.74348 1230.80/1233.84 c #Conflicts: 1444000 | #Constraints: 28712 1230.80/1233.84 c #Conflicts: 1445000 | #Constraints: 29712 1230.80/1233.84 c #Conflicts: 1446000 | #Constraints: 30712 1230.80/1233.84 c #Conflicts: 1447000 | #Constraints: 31713 1230.80/1233.84 c #Conflicts: 1448000 | #Constraints: 32714 1230.80/1233.84 c #Conflicts: 1449000 | #Constraints: 33715 1230.80/1233.84 c #Conflicts: 1450000 | #Constraints: 34715 1230.80/1233.84 c #Conflicts: 1451000 | #Constraints: 35715 1230.80/1233.84 c #Conflicts: 1452000 | #Constraints: 36715 1230.80/1233.84 c #Conflicts: 1453000 | #Constraints: 37715 1230.80/1233.84 c #Conflicts: 1454000 | #Constraints: 38715 1230.80/1233.84 c #Conflicts: 1455000 | #Constraints: 39715 1230.80/1233.84 c #Conflicts: 1456000 | #Constraints: 40715 1230.80/1233.84 c #Conflicts: 1457000 | #Constraints: 41715 1230.80/1233.84 c #Conflicts: 1458000 | #Constraints: 42715 1230.80/1233.84 c #Conflicts: 1459000 | #Constraints: 43715 1230.80/1233.84 c #Conflicts: 1460000 | #Constraints: 44715 1230.80/1233.84 c #Conflicts: 1461000 | #Constraints: 45716 1230.80/1233.84 c #Conflicts: 1462000 | #Constraints: 46716 1230.80/1233.84 c #Conflicts: 1463000 | #Constraints: 47717 1230.80/1233.84 c #Conflicts: 1464000 | #Constraints: 48717 1230.80/1233.84 c #Conflicts: 1465000 | #Constraints: 49719 1230.80/1233.84 c #Conflicts: 1466000 | #Constraints: 50720 1230.80/1233.84 c #Conflicts: 1467000 | #Constraints: 51721 1230.80/1233.84 c INPROCESSING 1230.80/1233.84 c GARBAGE COLLECT 1230.80/1233.84 c rational objective 4.74348 1249.46/1252.53 c #Conflicts: 1468000 | #Constraints: 28693 1249.46/1252.53 c #Conflicts: 1469000 | #Constraints: 29694 1249.46/1252.53 c #Conflicts: 1470000 | #Constraints: 30695 1249.46/1252.53 c #Conflicts: 1471000 | #Constraints: 31696 1249.46/1252.53 c #Conflicts: 1472000 | #Constraints: 32696 1249.46/1252.53 c #Conflicts: 1473000 | #Constraints: 33696 1249.46/1252.53 c #Conflicts: 1474000 | #Constraints: 34697 1249.46/1252.53 c #Conflicts: 1475000 | #Constraints: 35697 1249.46/1252.53 c #Conflicts: 1476000 | #Constraints: 36697 1249.46/1252.53 c #Conflicts: 1477000 | #Constraints: 37697 1249.46/1252.53 c #Conflicts: 1478000 | #Constraints: 38697 1249.46/1252.53 c #Conflicts: 1479000 | #Constraints: 39697 1249.46/1252.53 c #Conflicts: 1480000 | #Constraints: 40697 1249.46/1252.53 c #Conflicts: 1481000 | #Constraints: 41697 1249.46/1252.53 c #Conflicts: 1482000 | #Constraints: 42697 1249.46/1252.53 c #Conflicts: 1483000 | #Constraints: 43697 1249.46/1252.53 c #Conflicts: 1484000 | #Constraints: 44697 1249.46/1252.53 c #Conflicts: 1485000 | #Constraints: 45697 1249.46/1252.53 c #Conflicts: 1486000 | #Constraints: 46697 1249.46/1252.53 c #Conflicts: 1487000 | #Constraints: 47697 1249.46/1252.53 c #Conflicts: 1488000 | #Constraints: 48697 1249.46/1252.53 c #Conflicts: 1489000 | #Constraints: 49697 1249.46/1252.53 c #Conflicts: 1490000 | #Constraints: 50697 1249.46/1252.53 c #Conflicts: 1491000 | #Constraints: 51697 1249.46/1252.53 c INPROCESSING 1249.46/1252.53 c GARBAGE COLLECT 1249.46/1252.53 c rational objective 4.74348 1288.06/1291.24 c #Conflicts: 1492000 | #Constraints: 28485 1288.06/1291.24 c #Conflicts: 1493000 | #Constraints: 29485 1288.06/1291.24 c #Conflicts: 1494000 | #Constraints: 30485 1288.06/1291.24 c #Conflicts: 1495000 | #Constraints: 31485 1288.06/1291.24 c #Conflicts: 1496000 | #Constraints: 32486 1288.06/1291.24 c #Conflicts: 1497000 | #Constraints: 33486 1288.06/1291.24 c #Conflicts: 1498000 | #Constraints: 34486 1288.06/1291.24 c #Conflicts: 1499000 | #Constraints: 35486 1288.06/1291.24 c #Conflicts: 1500000 | #Constraints: 36486 1288.06/1291.24 c #Conflicts: 1501000 | #Constraints: 37486 1288.06/1291.24 c #Conflicts: 1502000 | #Constraints: 38486 1288.06/1291.24 c #Conflicts: 1503000 | #Constraints: 39486 1288.06/1291.24 c #Conflicts: 1504000 | #Constraints: 40486 1288.06/1291.24 c #Conflicts: 1505000 | #Constraints: 41486 1288.06/1291.24 c #Conflicts: 1506000 | #Constraints: 42486 1288.06/1291.24 c #Conflicts: 1507000 | #Constraints: 43486 1288.06/1291.24 c #Conflicts: 1508000 | #Constraints: 44486 1288.06/1291.24 c #Conflicts: 1509000 | #Constraints: 45486 1288.06/1291.24 c #Conflicts: 1510000 | #Constraints: 46486 1288.06/1291.24 c #Conflicts: 1511000 | #Constraints: 47486 1288.06/1291.24 c #Conflicts: 1512000 | #Constraints: 48486 1288.06/1291.24 c #Conflicts: 1513000 | #Constraints: 49487 1288.06/1291.24 c #Conflicts: 1514000 | #Constraints: 50487 1288.06/1291.24 c #Conflicts: 1515000 | #Constraints: 51487 1288.06/1291.24 c #Conflicts: 1516000 | #Constraints: 52488 1288.06/1291.24 c INPROCESSING 1288.06/1291.24 c GARBAGE COLLECT 1288.06/1291.24 c rational objective 4.74348 1316.30/1319.56 c #Conflicts: 1517000 | #Constraints: 29049 1316.30/1319.56 c #Conflicts: 1518000 | #Constraints: 30050 1316.30/1319.56 c #Conflicts: 1519000 | #Constraints: 31050 1316.30/1319.56 c #Conflicts: 1520000 | #Constraints: 32050 1316.30/1319.56 c #Conflicts: 1521000 | #Constraints: 33050 1316.30/1319.56 c #Conflicts: 1522000 | #Constraints: 34052 1316.30/1319.56 c #Conflicts: 1523000 | #Constraints: 35053 1316.30/1319.56 c #Conflicts: 1524000 | #Constraints: 36054 1316.30/1319.56 c #Conflicts: 1525000 | #Constraints: 37054 1316.30/1319.56 c #Conflicts: 1526000 | #Constraints: 38054 1316.30/1319.56 c #Conflicts: 1527000 | #Constraints: 39054 1316.30/1319.56 c #Conflicts: 1528000 | #Constraints: 40054 1316.30/1319.56 c #Conflicts: 1529000 | #Constraints: 41054 1316.30/1319.56 c #Conflicts: 1530000 | #Constraints: 42054 1316.30/1319.56 c #Conflicts: 1531000 | #Constraints: 43054 1316.30/1319.56 c #Conflicts: 1532000 | #Constraints: 44054 1316.30/1319.56 c #Conflicts: 1533000 | #Constraints: 45054 1316.30/1319.56 c #Conflicts: 1534000 | #Constraints: 46054 1316.30/1319.56 c #Conflicts: 1535000 | #Constraints: 47054 1316.30/1319.56 c #Conflicts: 1536000 | #Constraints: 48054 1316.30/1319.56 c #Conflicts: 1537000 | #Constraints: 49054 1316.30/1319.56 c #Conflicts: 1538000 | #Constraints: 50055 1316.30/1319.56 c #Conflicts: 1539000 | #Constraints: 51055 1316.30/1319.56 c #Conflicts: 1540000 | #Constraints: 52055 1316.30/1319.56 c #Conflicts: 1541000 | #Constraints: 53055 1316.30/1319.56 c INPROCESSING 1316.30/1319.56 c GARBAGE COLLECT 1316.30/1319.56 c rational objective 4.74348 1356.82/1360.19 c #Conflicts: 1542000 | #Constraints: 29495 1356.82/1360.19 c #Conflicts: 1543000 | #Constraints: 30496 1356.82/1360.19 c #Conflicts: 1544000 | #Constraints: 31496 1356.82/1360.19 c #Conflicts: 1545000 | #Constraints: 32497 1356.82/1360.19 c #Conflicts: 1546000 | #Constraints: 33497 1356.82/1360.19 c #Conflicts: 1547000 | #Constraints: 34497 1356.82/1360.19 c #Conflicts: 1548000 | #Constraints: 35497 1356.82/1360.19 c #Conflicts: 1549000 | #Constraints: 36497 1356.82/1360.19 c #Conflicts: 1550000 | #Constraints: 37498 1356.82/1360.19 c #Conflicts: 1551000 | #Constraints: 38498 1356.82/1360.19 c #Conflicts: 1552000 | #Constraints: 39498 1356.82/1360.19 c #Conflicts: 1553000 | #Constraints: 40498 1356.82/1360.19 c #Conflicts: 1554000 | #Constraints: 41498 1356.82/1360.19 c #Conflicts: 1555000 | #Constraints: 42498 1356.82/1360.19 c #Conflicts: 1556000 | #Constraints: 43498 1356.82/1360.19 c #Conflicts: 1557000 | #Constraints: 44498 1356.82/1360.19 c #Conflicts: 1558000 | #Constraints: 45499 1356.82/1360.19 c #Conflicts: 1559000 | #Constraints: 46499 1356.82/1360.19 c #Conflicts: 1560000 | #Constraints: 47499 1356.82/1360.19 c #Conflicts: 1561000 | #Constraints: 48499 1356.82/1360.19 c #Conflicts: 1562000 | #Constraints: 49499 1356.82/1360.19 c #Conflicts: 1563000 | #Constraints: 50500 1356.82/1360.19 c #Conflicts: 1564000 | #Constraints: 51500 1356.82/1360.19 c #Conflicts: 1565000 | #Constraints: 52500 1356.82/1360.19 c #Conflicts: 1566000 | #Constraints: 53500 1356.82/1360.19 c INPROCESSING 1356.82/1360.19 c GARBAGE COLLECT 1356.82/1360.19 c rational objective 4.74348 1461.07/1464.69 c #Conflicts: 1567000 | #Constraints: 29715 1461.07/1464.69 c #Conflicts: 1568000 | #Constraints: 30716 1461.07/1464.69 c #Conflicts: 1569000 | #Constraints: 31716 1461.07/1464.69 c #Conflicts: 1570000 | #Constraints: 32716 1461.07/1464.69 c #Conflicts: 1571000 | #Constraints: 33716 1461.07/1464.69 c #Conflicts: 1572000 | #Constraints: 34716 1461.07/1464.69 c #Conflicts: 1573000 | #Constraints: 35716 1461.07/1464.69 c #Conflicts: 1574000 | #Constraints: 36716 1461.07/1464.69 c #Conflicts: 1575000 | #Constraints: 37716 1461.07/1464.69 c #Conflicts: 1576000 | #Constraints: 38716 1461.07/1464.69 c #Conflicts: 1577000 | #Constraints: 39716 1461.07/1464.69 c #Conflicts: 1578000 | #Constraints: 40716 1461.07/1464.69 c #Conflicts: 1579000 | #Constraints: 41716 1461.07/1464.69 c #Conflicts: 1580000 | #Constraints: 42716 1461.07/1464.69 c #Conflicts: 1581000 | #Constraints: 43716 1461.07/1464.69 c #Conflicts: 1582000 | #Constraints: 44716 1461.07/1464.69 c #Conflicts: 1583000 | #Constraints: 45716 1461.07/1464.69 c #Conflicts: 1584000 | #Constraints: 46716 1461.07/1464.69 c #Conflicts: 1585000 | #Constraints: 47716 1461.07/1464.69 c #Conflicts: 1586000 | #Constraints: 48716 1461.07/1464.69 c #Conflicts: 1587000 | #Constraints: 49716 1461.07/1464.69 c #Conflicts: 1588000 | #Constraints: 50716 1461.07/1464.69 c #Conflicts: 1589000 | #Constraints: 51717 1461.07/1464.69 c #Conflicts: 1590000 | #Constraints: 52717 1461.07/1464.69 c #Conflicts: 1591000 | #Constraints: 53717 1461.07/1464.69 c INPROCESSING 1461.07/1464.69 c GARBAGE COLLECT 1461.07/1464.69 c rational objective 4.74348 1571.60/1575.40 c #Conflicts: 1592000 | #Constraints: 29707 1571.60/1575.40 c #Conflicts: 1593000 | #Constraints: 30707 1571.60/1575.40 c #Conflicts: 1594000 | #Constraints: 31707 1571.60/1575.40 c #Conflicts: 1595000 | #Constraints: 32708 1571.60/1575.40 c #Conflicts: 1596000 | #Constraints: 33708 1571.60/1575.40 c #Conflicts: 1597000 | #Constraints: 34708 1571.60/1575.40 c #Conflicts: 1598000 | #Constraints: 35708 1571.60/1575.40 c #Conflicts: 1599000 | #Constraints: 36708 1571.60/1575.40 c #Conflicts: 1600000 | #Constraints: 37708 1571.60/1575.40 c #Conflicts: 1601000 | #Constraints: 38708 1571.60/1575.40 c #Conflicts: 1602000 | #Constraints: 39708 1571.60/1575.40 c #Conflicts: 1603000 | #Constraints: 40708 1571.60/1575.40 c #Conflicts: 1604000 | #Constraints: 41708 1571.60/1575.40 c #Conflicts: 1605000 | #Constraints: 42708 1571.60/1575.40 c #Conflicts: 1606000 | #Constraints: 43708 1571.60/1575.40 c #Conflicts: 1607000 | #Constraints: 44708 1571.60/1575.40 c #Conflicts: 1608000 | #Constraints: 45708 1571.60/1575.40 c #Conflicts: 1609000 | #Constraints: 46708 1571.60/1575.40 c #Conflicts: 1610000 | #Constraints: 47708 1571.60/1575.40 c #Conflicts: 1611000 | #Constraints: 48708 1571.60/1575.40 c #Conflicts: 1612000 | #Constraints: 49708 1571.60/1575.40 c #Conflicts: 1613000 | #Constraints: 50708 1571.60/1575.40 c #Conflicts: 1614000 | #Constraints: 51708 1571.60/1575.40 c #Conflicts: 1615000 | #Constraints: 52708 1571.60/1575.40 c #Conflicts: 1616000 | #Constraints: 53709 1571.60/1575.40 c INPROCESSING 1571.60/1575.40 c GARBAGE COLLECT 1571.60/1575.40 c rational objective 4.74348 1581.38/1585.20 c #Conflicts: 1617000 | #Constraints: 29521 1581.38/1585.20 c #Conflicts: 1618000 | #Constraints: 30523 1581.38/1585.20 c #Conflicts: 1619000 | #Constraints: 31523 1581.38/1585.20 c #Conflicts: 1620000 | #Constraints: 32523 1581.38/1585.20 c #Conflicts: 1621000 | #Constraints: 33523 1581.38/1585.20 c #Conflicts: 1622000 | #Constraints: 34523 1581.38/1585.20 c #Conflicts: 1623000 | #Constraints: 35524 1581.38/1585.20 c #Conflicts: 1624000 | #Constraints: 36524 1581.38/1585.20 c #Conflicts: 1625000 | #Constraints: 37524 1581.38/1585.20 c #Conflicts: 1626000 | #Constraints: 38525 1581.38/1585.20 c #Conflicts: 1627000 | #Constraints: 39527 1581.38/1585.20 c #Conflicts: 1628000 | #Constraints: 40530 1581.38/1585.20 c #Conflicts: 1629000 | #Constraints: 41530 1581.38/1585.20 c #Conflicts: 1630000 | #Constraints: 42531 1581.38/1585.20 c #Conflicts: 1631000 | #Constraints: 43532 1581.38/1585.20 c #Conflicts: 1632000 | #Constraints: 44532 1581.38/1585.20 c #Conflicts: 1633000 | #Constraints: 45532 1581.38/1585.20 c #Conflicts: 1634000 | #Constraints: 46533 1581.38/1585.20 c #Conflicts: 1635000 | #Constraints: 47534 1581.38/1585.20 c #Conflicts: 1636000 | #Constraints: 48535 1581.38/1585.20 c #Conflicts: 1637000 | #Constraints: 49535 1581.38/1585.20 c #Conflicts: 1638000 | #Constraints: 50535 1581.38/1585.20 c #Conflicts: 1639000 | #Constraints: 51535 1581.38/1585.20 c #Conflicts: 1640000 | #Constraints: 52536 1581.38/1585.20 c #Conflicts: 1641000 | #Constraints: 53537 1581.38/1585.20 c #Conflicts: 1642000 | #Constraints: 54538 1581.38/1585.20 c INPROCESSING 1581.38/1585.20 c GARBAGE COLLECT 1581.38/1585.20 c rational objective 4.74348 1621.40/1625.35 c #Conflicts: 1643000 | #Constraints: 30131 1621.40/1625.35 c #Conflicts: 1644000 | #Constraints: 31131 1621.40/1625.35 c #Conflicts: 1645000 | #Constraints: 32131 1621.40/1625.35 c #Conflicts: 1646000 | #Constraints: 33131 1621.40/1625.35 c #Conflicts: 1647000 | #Constraints: 34131 1621.40/1625.35 c #Conflicts: 1648000 | #Constraints: 35131 1621.40/1625.35 c #Conflicts: 1649000 | #Constraints: 36131 1621.40/1625.35 c #Conflicts: 1650000 | #Constraints: 37131 1621.40/1625.35 c #Conflicts: 1651000 | #Constraints: 38131 1621.40/1625.35 c #Conflicts: 1652000 | #Constraints: 39131 1621.40/1625.35 c #Conflicts: 1653000 | #Constraints: 40132 1621.40/1625.35 c #Conflicts: 1654000 | #Constraints: 41132 1621.40/1625.35 c #Conflicts: 1655000 | #Constraints: 42132 1621.40/1625.35 c #Conflicts: 1656000 | #Constraints: 43132 1621.40/1625.35 c #Conflicts: 1657000 | #Constraints: 44132 1621.40/1625.35 c #Conflicts: 1658000 | #Constraints: 45132 1621.40/1625.35 c #Conflicts: 1659000 | #Constraints: 46132 1621.40/1625.35 c #Conflicts: 1660000 | #Constraints: 47132 1621.40/1625.35 c #Conflicts: 1661000 | #Constraints: 48133 1621.40/1625.35 c #Conflicts: 1662000 | #Constraints: 49133 1621.40/1625.35 c #Conflicts: 1663000 | #Constraints: 50133 1621.40/1625.35 c #Conflicts: 1664000 | #Constraints: 51133 1621.40/1625.35 c #Conflicts: 1665000 | #Constraints: 52133 1621.40/1625.35 c #Conflicts: 1666000 | #Constraints: 53133 1621.40/1625.35 c #Conflicts: 1667000 | #Constraints: 54133 1621.40/1625.35 c #Conflicts: 1668000 | #Constraints: 55133 1621.40/1625.35 c INPROCESSING 1621.40/1625.35 c GARBAGE COLLECT 1621.40/1625.35 c rational objective 4.74348 1645.04/1649.08 c #Conflicts: 1669000 | #Constraints: 30518 1645.04/1649.08 c #Conflicts: 1670000 | #Constraints: 31519 1645.04/1649.08 c #Conflicts: 1671000 | #Constraints: 32521 1645.04/1649.08 c #Conflicts: 1672000 | #Constraints: 33521 1645.04/1649.08 c #Conflicts: 1673000 | #Constraints: 34521 1645.04/1649.08 c #Conflicts: 1674000 | #Constraints: 35522 1645.04/1649.08 c #Conflicts: 1675000 | #Constraints: 36522 1645.04/1649.08 c #Conflicts: 1676000 | #Constraints: 37523 1645.04/1649.08 c #Conflicts: 1677000 | #Constraints: 38523 1645.04/1649.08 c #Conflicts: 1678000 | #Constraints: 39523 1645.04/1649.08 c #Conflicts: 1679000 | #Constraints: 40523 1645.04/1649.08 c #Conflicts: 1680000 | #Constraints: 41524 1645.04/1649.08 c #Conflicts: 1681000 | #Constraints: 42524 1645.04/1649.08 c #Conflicts: 1682000 | #Constraints: 43525 1645.04/1649.08 c #Conflicts: 1683000 | #Constraints: 44525 1645.04/1649.08 c #Conflicts: 1684000 | #Constraints: 45525 1645.04/1649.08 c #Conflicts: 1685000 | #Constraints: 46525 1645.04/1649.08 c #Conflicts: 1686000 | #Constraints: 47525 1645.04/1649.08 c #Conflicts: 1687000 | #Constraints: 48525 1645.04/1649.08 c #Conflicts: 1688000 | #Constraints: 49525 1645.04/1649.08 c #Conflicts: 1689000 | #Constraints: 50525 1645.04/1649.08 c #Conflicts: 1690000 | #Constraints: 51525 1645.04/1649.08 c #Conflicts: 1691000 | #Constraints: 52525 1645.04/1649.08 c #Conflicts: 1692000 | #Constraints: 53525 1645.04/1649.08 c #Conflicts: 1693000 | #Constraints: 54525 1645.04/1649.08 c #Conflicts: 1694000 | #Constraints: 55525 1645.04/1649.08 c INPROCESSING 1645.04/1649.08 c GARBAGE COLLECT 1645.04/1649.08 c rational objective 4.74351 1859.15/1863.62 c #Conflicts: 1695000 | #Constraints: 30717 1859.15/1863.62 c #Conflicts: 1696000 | #Constraints: 31717 1859.15/1863.62 c #Conflicts: 1697000 | #Constraints: 32717 1859.15/1863.62 c #Conflicts: 1698000 | #Constraints: 33717 1859.15/1863.62 c #Conflicts: 1699000 | #Constraints: 34717 1859.15/1863.62 c #Conflicts: 1700000 | #Constraints: 35717 1859.15/1863.62 c #Conflicts: 1701000 | #Constraints: 36717 1859.15/1863.62 c #Conflicts: 1702000 | #Constraints: 37717 1859.15/1863.62 c #Conflicts: 1703000 | #Constraints: 38717 1859.15/1863.62 c #Conflicts: 1704000 | #Constraints: 39717 1859.15/1863.62 c #Conflicts: 1705000 | #Constraints: 40717 1859.15/1863.62 c #Conflicts: 1706000 | #Constraints: 41719 1859.15/1863.62 c #Conflicts: 1707000 | #Constraints: 42721 1859.15/1863.62 c #Conflicts: 1708000 | #Constraints: 43721 1859.15/1863.62 c #Conflicts: 1709000 | #Constraints: 44721 1859.15/1863.62 c #Conflicts: 1710000 | #Constraints: 45721 1859.15/1863.62 c #Conflicts: 1711000 | #Constraints: 46721 1859.15/1863.62 c #Conflicts: 1712000 | #Constraints: 47721 1859.15/1863.62 c #Conflicts: 1713000 | #Constraints: 48721 1859.15/1863.62 c #Conflicts: 1714000 | #Constraints: 49722 1859.15/1863.62 c #Conflicts: 1715000 | #Constraints: 50723 1859.15/1863.62 c #Conflicts: 1716000 | #Constraints: 51724 1859.15/1863.62 c #Conflicts: 1717000 | #Constraints: 52724 1859.15/1863.62 c #Conflicts: 1718000 | #Constraints: 53724 1859.15/1863.62 c #Conflicts: 1719000 | #Constraints: 54725 1859.15/1863.62 c #Conflicts: 1720000 | #Constraints: 55725 1859.15/1863.62 c #Conflicts: 1721000 | #Constraints: 56725 1859.15/1863.62 c #Conflicts: 1722000 | #Constraints: 57725 1859.15/1863.62 c #Conflicts: 1723000 | #Constraints: 58726 1859.15/1863.62 c #Conflicts: 1724000 | #Constraints: 59727 1859.15/1863.62 c #Conflicts: 1725000 | #Constraints: 60729 1859.15/1863.62 c #Conflicts: 1726000 | #Constraints: 61729 1859.15/1863.62 c #Conflicts: 1727000 | #Constraints: 62729 1859.15/1863.62 c #Conflicts: 1728000 | #Constraints: 63729 1859.15/1863.62 c #Conflicts: 1729000 | #Constraints: 64729 1859.15/1863.62 c #Conflicts: 1730000 | #Constraints: 65729 1859.15/1863.62 c #Conflicts: 1731000 | #Constraints: 66729 1859.15/1863.62 c #Conflicts: 1732000 | #Constraints: 67729 1859.15/1863.62 c #Conflicts: 1733000 | #Constraints: 68729 1859.15/1863.62 c #Conflicts: 1734000 | #Constraints: 69729 1859.15/1863.62 c #Conflicts: 1735000 | #Constraints: 70729 1859.15/1863.62 c #Conflicts: 1736000 | #Constraints: 71729 1859.15/1863.62 c #Conflicts: 1737000 | #Constraints: 72729 1859.15/1863.62 c #Conflicts: 1738000 | #Constraints: 73729 1859.15/1863.62 c #Conflicts: 1739000 | #Constraints: 74729 1859.15/1863.62 c #Conflicts: 1740000 | #Constraints: 75729 1859.15/1863.62 c #Conflicts: 1741000 | #Constraints: 76729 1859.15/1863.62 c #Conflicts: 1742000 | #Constraints: 77729 1859.15/1863.62 c #Conflicts: 1743000 | #Constraints: 78729 1859.15/1863.62 c #Conflicts: 1744000 | #Constraints: 79729 1859.15/1863.62 c #Conflicts: 1745000 | #Constraints: 80729 1859.15/1863.62 c #Conflicts: 1746000 | #Constraints: 81729 1859.15/1863.62 c #Conflicts: 1747000 | #Constraints: 82729 1859.15/1863.62 c #Conflicts: 1748000 | #Constraints: 83729 1859.15/1863.62 c #Conflicts: 1749000 | #Constraints: 84729 1859.15/1863.62 c #Conflicts: 1750000 | #Constraints: 85729 1859.15/1863.62 c #Conflicts: 1751000 | #Constraints: 86729 1859.15/1863.62 c #Conflicts: 1752000 | #Constraints: 87729 1859.15/1863.62 c #Conflicts: 1753000 | #Constraints: 88729 1859.15/1863.62 c #Conflicts: 1754000 | #Constraints: 89729 1859.15/1863.62 c #Conflicts: 1755000 | #Constraints: 90729 1859.15/1863.62 c #Conflicts: 1756000 | #Constraints: 91730 1859.15/1863.62 c #Conflicts: 1757000 | #Constraints: 92730 1859.15/1863.62 c #Conflicts: 1758000 | #Constraints: 93730 1859.15/1863.62 c #Conflicts: 1759000 | #Constraints: 94730 1859.15/1863.62 c #Conflicts: 1760000 | #Constraints: 95730 1859.15/1863.62 c #Conflicts: 1761000 | #Constraints: 96730 1859.15/1863.62 c #Conflicts: 1762000 | #Constraints: 97730 1859.15/1863.62 c #Conflicts: 1763000 | #Constraints: 98730 1859.15/1863.62 c #Conflicts: 1764000 | #Constraints: 99730 1859.15/1863.62 c #Conflicts: 1765000 | #Constraints: 100730 1859.15/1863.62 c #Conflicts: 1766000 | #Constraints: 101730 1859.15/1863.62 c #Conflicts: 1767000 | #Constraints: 102730 1859.15/1863.62 c #Conflicts: 1768000 | #Constraints: 103730 1859.15/1863.62 c #Conflicts: 1769000 | #Constraints: 104730 1859.15/1863.62 c #Conflicts: 1770000 | #Constraints: 105730 1859.15/1863.62 c #Conflicts: 1771000 | #Constraints: 106730 1859.15/1863.62 c #Conflicts: 1772000 | #Constraints: 107730 1859.15/1863.62 c #Conflicts: 1773000 | #Constraints: 108730 2281.76/2287.20 c #Conflicts: 1774000 | #Constraints: 109730 2281.76/2287.20 c #Conflicts: 1775000 | #Constraints: 110730 2281.76/2287.20 c #Conflicts: 1776000 | #Constraints: 111731 2281.76/2287.20 c #Conflicts: 1777000 | #Constraints: 112731 2281.76/2287.20 c #Conflicts: 1778000 | #Constraints: 113731 2281.76/2287.20 c #Conflicts: 1779000 | #Constraints: 114731 2281.76/2287.20 c #Conflicts: 1780000 | #Constraints: 115731 2281.76/2287.20 c #Conflicts: 1781000 | #Constraints: 116732 2281.76/2287.20 c #Conflicts: 1782000 | #Constraints: 117732 2281.76/2287.20 c #Conflicts: 1783000 | #Constraints: 118732 2281.76/2287.20 c #Conflicts: 1784000 | #Constraints: 119732 2281.76/2287.20 c #Conflicts: 1785000 | #Constraints: 120732 2281.76/2287.20 c #Conflicts: 1786000 | #Constraints: 121732 2281.76/2287.20 c #Conflicts: 1787000 | #Constraints: 122733 2281.76/2287.20 c #Conflicts: 1788000 | #Constraints: 123733 2281.76/2287.20 c #Conflicts: 1789000 | #Constraints: 124733 2281.76/2287.20 c #Conflicts: 1790000 | #Constraints: 125733 2281.76/2287.20 c #Conflicts: 1791000 | #Constraints: 126734 2281.76/2287.20 c #Conflicts: 1792000 | #Constraints: 127734 2281.76/2287.20 c #Conflicts: 1793000 | #Constraints: 128734 2281.76/2287.20 c #Conflicts: 1794000 | #Constraints: 129734 2281.76/2287.20 c #Conflicts: 1795000 | #Constraints: 130734 2281.76/2287.20 c #Conflicts: 1796000 | #Constraints: 131734 2281.76/2287.20 c #Conflicts: 1797000 | #Constraints: 132734 2281.76/2287.20 c #Conflicts: 1798000 | #Constraints: 133734 2281.76/2287.20 c #Conflicts: 1799000 | #Constraints: 134735 2281.76/2287.20 c #Conflicts: 1800000 | #Constraints: 135735 2281.76/2287.20 c #Conflicts: 1801000 | #Constraints: 136735 2281.76/2287.20 c #Conflicts: 1802000 | #Constraints: 137735 2281.76/2287.20 c #Conflicts: 1803000 | #Constraints: 138735 2281.76/2287.20 c #Conflicts: 1804000 | #Constraints: 139735 2281.76/2287.20 c #Conflicts: 1805000 | #Constraints: 140735 2281.76/2287.20 c #Conflicts: 1806000 | #Constraints: 141735 2281.76/2287.20 c #Conflicts: 1807000 | #Constraints: 142735 2281.76/2287.20 c #Conflicts: 1808000 | #Constraints: 143735 2281.76/2287.20 c #Conflicts: 1809000 | #Constraints: 144736 2281.76/2287.20 c #Conflicts: 1810000 | #Constraints: 145736 2281.76/2287.20 c #Conflicts: 1811000 | #Constraints: 146736 2281.76/2287.20 c #Conflicts: 1812000 | #Constraints: 147736 2281.76/2287.20 c #Conflicts: 1813000 | #Constraints: 148736 2281.76/2287.20 c #Conflicts: 1814000 | #Constraints: 149736 2281.76/2287.20 c #Conflicts: 1815000 | #Constraints: 150737 2281.76/2287.20 c #Conflicts: 1816000 | #Constraints: 151737 2281.76/2287.20 c #Conflicts: 1817000 | #Constraints: 152738 2281.76/2287.20 c #Conflicts: 1818000 | #Constraints: 153738 2281.76/2287.20 c #Conflicts: 1819000 | #Constraints: 154738 2281.76/2287.20 c #Conflicts: 1820000 | #Constraints: 155739 2281.76/2287.20 c #Conflicts: 1821000 | #Constraints: 156739 2281.76/2287.20 c #Conflicts: 1822000 | #Constraints: 157739 2281.76/2287.20 c #Conflicts: 1823000 | #Constraints: 158739 2281.76/2287.20 c #Conflicts: 1824000 | #Constraints: 159739 2281.76/2287.20 c #Conflicts: 1825000 | #Constraints: 160739 2281.76/2287.20 c #Conflicts: 1826000 | #Constraints: 161739 2281.76/2287.20 c #Conflicts: 1827000 | #Constraints: 162740 2281.76/2287.20 c #Conflicts: 1828000 | #Constraints: 163740 2281.76/2287.20 c #Conflicts: 1829000 | #Constraints: 164740 2281.76/2287.20 c #Conflicts: 1830000 | #Constraints: 165740 2281.76/2287.20 c INPROCESSING 2281.76/2287.20 c GARBAGE COLLECT 2281.76/2287.20 c rational objective 4.74351 2396.50/2402.22 c #Conflicts: 1831000 | #Constraints: 85855 2396.50/2402.22 c #Conflicts: 1832000 | #Constraints: 86855 2396.50/2402.22 c #Conflicts: 1833000 | #Constraints: 87855 2396.50/2402.22 c #Conflicts: 1834000 | #Constraints: 88855 2396.50/2402.22 c #Conflicts: 1835000 | #Constraints: 89855 2396.50/2402.22 c #Conflicts: 1836000 | #Constraints: 90855 2396.50/2402.22 c #Conflicts: 1837000 | #Constraints: 91855 2396.50/2402.22 c #Conflicts: 1838000 | #Constraints: 92855 2396.50/2402.22 c #Conflicts: 1839000 | #Constraints: 93855 2396.50/2402.22 c #Conflicts: 1840000 | #Constraints: 94855 2396.50/2402.22 c #Conflicts: 1841000 | #Constraints: 95855 2396.50/2402.22 c #Conflicts: 1842000 | #Constraints: 96855 2396.50/2402.22 c #Conflicts: 1843000 | #Constraints: 97855 2396.50/2402.22 c #Conflicts: 1844000 | #Constraints: 98855 2396.50/2402.22 c #Conflicts: 1845000 | #Constraints: 99855 2396.50/2402.22 c #Conflicts: 1846000 | #Constraints: 100855 2396.50/2402.22 c #Conflicts: 1847000 | #Constraints: 101855 2396.50/2402.22 c #Conflicts: 1848000 | #Constraints: 102855 2396.50/2402.22 c #Conflicts: 1849000 | #Constraints: 103855 2396.50/2402.22 c #Conflicts: 1850000 | #Constraints: 104855 2396.50/2402.22 c #Conflicts: 1851000 | #Constraints: 105855 2396.50/2402.22 c #Conflicts: 1852000 | #Constraints: 106855 2396.50/2402.22 c #Conflicts: 1853000 | #Constraints: 107855 2396.50/2402.22 c #Conflicts: 1854000 | #Constraints: 108855 2396.50/2402.22 c #Conflicts: 1855000 | #Constraints: 109855 2396.50/2402.22 c #Conflicts: 1856000 | #Constraints: 110856 2396.50/2402.22 c #Conflicts: 1857000 | #Constraints: 111856 2396.50/2402.22 c INPROCESSING 2396.50/2402.22 c GARBAGE COLLECT 2396.50/2402.22 c rational objective 4.74358 2452.67/2458.54 c #Conflicts: 1858000 | #Constraints: 58763 2452.67/2458.54 c #Conflicts: 1859000 | #Constraints: 59763 2452.67/2458.54 c #Conflicts: 1860000 | #Constraints: 60764 2452.67/2458.54 c #Conflicts: 1861000 | #Constraints: 61766 2452.67/2458.54 c #Conflicts: 1862000 | #Constraints: 62767 2452.67/2458.54 c #Conflicts: 1863000 | #Constraints: 63767 2452.67/2458.54 c #Conflicts: 1864000 | #Constraints: 64767 2452.67/2458.54 c #Conflicts: 1865000 | #Constraints: 65767 2452.67/2458.54 c #Conflicts: 1866000 | #Constraints: 66767 2452.67/2458.54 c #Conflicts: 1867000 | #Constraints: 67767 2452.67/2458.54 c #Conflicts: 1868000 | #Constraints: 68768 2452.67/2458.54 c #Conflicts: 1869000 | #Constraints: 69768 2452.67/2458.54 c #Conflicts: 1870000 | #Constraints: 70768 2452.67/2458.54 c #Conflicts: 1871000 | #Constraints: 71768 2452.67/2458.54 c #Conflicts: 1872000 | #Constraints: 72768 2452.67/2458.54 c #Conflicts: 1873000 | #Constraints: 73768 2452.67/2458.54 c #Conflicts: 1874000 | #Constraints: 74768 2452.67/2458.54 c #Conflicts: 1875000 | #Constraints: 75768 2452.67/2458.54 c #Conflicts: 1876000 | #Constraints: 76768 2452.67/2458.54 c #Conflicts: 1877000 | #Constraints: 77768 2452.67/2458.54 c #Conflicts: 1878000 | #Constraints: 78768 2452.67/2458.54 c #Conflicts: 1879000 | #Constraints: 79768 2452.67/2458.54 c #Conflicts: 1880000 | #Constraints: 80768 2452.67/2458.54 c #Conflicts: 1881000 | #Constraints: 81768 2452.67/2458.54 c #Conflicts: 1882000 | #Constraints: 82768 2452.67/2458.54 c #Conflicts: 1883000 | #Constraints: 83768 2452.67/2458.54 c #Conflicts: 1884000 | #Constraints: 84768 2452.67/2458.54 c INPROCESSING 2452.67/2458.54 c GARBAGE COLLECT 2452.67/2458.54 c rational objective 4.74358 2500.27/2506.26 c #Conflicts: 1885000 | #Constraints: 44946 2500.27/2506.26 c #Conflicts: 1886000 | #Constraints: 45947 2500.27/2506.26 c #Conflicts: 1887000 | #Constraints: 46947 2500.27/2506.26 c #Conflicts: 1888000 | #Constraints: 47947 2500.27/2506.26 c #Conflicts: 1889000 | #Constraints: 48947 2500.27/2506.26 c #Conflicts: 1890000 | #Constraints: 49947 2500.27/2506.26 c #Conflicts: 1891000 | #Constraints: 50948 2500.27/2506.26 c #Conflicts: 1892000 | #Constraints: 51948 2500.27/2506.26 c #Conflicts: 1893000 | #Constraints: 52948 2500.27/2506.26 c #Conflicts: 1894000 | #Constraints: 53948 2500.27/2506.26 c #Conflicts: 1895000 | #Constraints: 54948 2500.27/2506.26 c #Conflicts: 1896000 | #Constraints: 55949 2500.27/2506.26 c #Conflicts: 1897000 | #Constraints: 56950 2500.27/2506.26 c #Conflicts: 1898000 | #Constraints: 57950 2500.27/2506.26 c #Conflicts: 1899000 | #Constraints: 58950 2500.27/2506.26 c #Conflicts: 1900000 | #Constraints: 59950 2500.27/2506.26 c #Conflicts: 1901000 | #Constraints: 60950 2500.27/2506.26 c #Conflicts: 1902000 | #Constraints: 61950 2500.27/2506.26 c #Conflicts: 1903000 | #Constraints: 62951 2500.27/2506.26 c #Conflicts: 1904000 | #Constraints: 63951 2500.27/2506.26 c #Conflicts: 1905000 | #Constraints: 64951 2500.27/2506.26 c #Conflicts: 1906000 | #Constraints: 65951 2500.27/2506.26 c #Conflicts: 1907000 | #Constraints: 66951 2500.27/2506.26 c #Conflicts: 1908000 | #Constraints: 67951 2500.27/2506.26 c #Conflicts: 1909000 | #Constraints: 68951 2500.27/2506.26 c #Conflicts: 1910000 | #Constraints: 69951 2500.27/2506.26 c #Conflicts: 1911000 | #Constraints: 70951 2500.27/2506.26 c #Conflicts: 1912000 | #Constraints: 71951 2500.27/2506.26 c INPROCESSING 2500.27/2506.26 c GARBAGE COLLECT 2500.27/2506.26 c rational objective 4.74358 2528.50/2534.58 c #Conflicts: 1913000 | #Constraints: 38713 2528.50/2534.58 c #Conflicts: 1914000 | #Constraints: 39715 2528.50/2534.58 c #Conflicts: 1915000 | #Constraints: 40716 2528.50/2534.58 c #Conflicts: 1916000 | #Constraints: 41716 2528.50/2534.58 c #Conflicts: 1917000 | #Constraints: 42716 2528.50/2534.58 c #Conflicts: 1918000 | #Constraints: 43716 2528.50/2534.58 c #Conflicts: 1919000 | #Constraints: 44716 2528.50/2534.58 c #Conflicts: 1920000 | #Constraints: 45716 2528.50/2534.58 c #Conflicts: 1921000 | #Constraints: 46716 2528.50/2534.58 c #Conflicts: 1922000 | #Constraints: 47717 2528.50/2534.58 c #Conflicts: 1923000 | #Constraints: 48718 2528.50/2534.58 c #Conflicts: 1924000 | #Constraints: 49718 2528.50/2534.58 c #Conflicts: 1925000 | #Constraints: 50718 2528.50/2534.58 c #Conflicts: 1926000 | #Constraints: 51718 2528.50/2534.58 c #Conflicts: 1927000 | #Constraints: 52718 2528.50/2534.58 c #Conflicts: 1928000 | #Constraints: 53718 2528.50/2534.58 c #Conflicts: 1929000 | #Constraints: 54718 2528.50/2534.58 c #Conflicts: 1930000 | #Constraints: 55718 2528.50/2534.58 c #Conflicts: 1931000 | #Constraints: 56718 2528.50/2534.58 c #Conflicts: 1932000 | #Constraints: 57718 2528.50/2534.58 c #Conflicts: 1933000 | #Constraints: 58718 2528.50/2534.58 c #Conflicts: 1934000 | #Constraints: 59718 2528.50/2534.58 c #Conflicts: 1935000 | #Constraints: 60718 2528.50/2534.58 c #Conflicts: 1936000 | #Constraints: 61718 2528.50/2534.58 c #Conflicts: 1937000 | #Constraints: 62718 2528.50/2534.58 c #Conflicts: 1938000 | #Constraints: 63718 2528.50/2534.58 c #Conflicts: 1939000 | #Constraints: 64719 2528.50/2534.58 c #Conflicts: 1940000 | #Constraints: 65719 2528.50/2534.58 c INPROCESSING 2528.50/2534.58 c GARBAGE COLLECT 2528.50/2534.58 c rational objective 4.74358 2543.47/2549.52 c #Conflicts: 1941000 | #Constraints: 35619 2543.47/2549.52 c #Conflicts: 1942000 | #Constraints: 36619 2543.47/2549.52 c #Conflicts: 1943000 | #Constraints: 37620 2543.47/2549.52 c #Conflicts: 1944000 | #Constraints: 38620 2543.47/2549.52 c #Conflicts: 1945000 | #Constraints: 39620 2543.47/2549.52 c #Conflicts: 1946000 | #Constraints: 40621 2543.47/2549.52 c #Conflicts: 1947000 | #Constraints: 41621 2543.47/2549.52 c #Conflicts: 1948000 | #Constraints: 42621 2543.47/2549.52 c #Conflicts: 1949000 | #Constraints: 43621 2543.47/2549.52 c #Conflicts: 1950000 | #Constraints: 44621 2543.47/2549.52 c #Conflicts: 1951000 | #Constraints: 45621 2543.47/2549.52 c #Conflicts: 1952000 | #Constraints: 46621 2543.47/2549.52 c #Conflicts: 1953000 | #Constraints: 47621 2543.47/2549.52 c #Conflicts: 1954000 | #Constraints: 48622 2543.47/2549.52 c #Conflicts: 1955000 | #Constraints: 49622 2543.47/2549.52 c #Conflicts: 1956000 | #Constraints: 50622 2543.47/2549.52 c #Conflicts: 1957000 | #Constraints: 51622 2543.47/2549.52 c #Conflicts: 1958000 | #Constraints: 52622 2543.47/2549.52 c #Conflicts: 1959000 | #Constraints: 53623 2543.47/2549.52 c #Conflicts: 1960000 | #Constraints: 54623 2543.47/2549.52 c #Conflicts: 1961000 | #Constraints: 55623 2543.47/2549.52 c #Conflicts: 1962000 | #Constraints: 56623 2543.47/2549.52 c #Conflicts: 1963000 | #Constraints: 57623 2543.47/2549.52 c #Conflicts: 1964000 | #Constraints: 58623 2543.47/2549.52 c #Conflicts: 1965000 | #Constraints: 59623 2543.47/2549.52 c #Conflicts: 1966000 | #Constraints: 60623 2543.47/2549.52 c #Conflicts: 1967000 | #Constraints: 61623 2543.47/2549.52 c #Conflicts: 1968000 | #Constraints: 62623 2543.47/2549.52 c INPROCESSING 2543.47/2549.52 c GARBAGE COLLECT 2543.47/2549.52 c rational objective 4.74608 2574.70/2580.87 c #Conflicts: 1969000 | #Constraints: 34030 2574.70/2580.87 c #Conflicts: 1970000 | #Constraints: 35030 2574.70/2580.87 c #Conflicts: 1971000 | #Constraints: 36030 2574.70/2580.87 c #Conflicts: 1972000 | #Constraints: 37030 2574.70/2580.87 c #Conflicts: 1973000 | #Constraints: 38030 2574.70/2580.87 c #Conflicts: 1974000 | #Constraints: 39030 2574.70/2580.87 c #Conflicts: 1975000 | #Constraints: 40030 2574.70/2580.87 c #Conflicts: 1976000 | #Constraints: 41031 2574.70/2580.87 c #Conflicts: 1977000 | #Constraints: 42032 2574.70/2580.87 c #Conflicts: 1978000 | #Constraints: 43032 2574.70/2580.87 c #Conflicts: 1979000 | #Constraints: 44032 2574.70/2580.87 c #Conflicts: 1980000 | #Constraints: 45032 2574.70/2580.87 c #Conflicts: 1981000 | #Constraints: 46032 2574.70/2580.87 c #Conflicts: 1982000 | #Constraints: 47032 2574.70/2580.87 c #Conflicts: 1983000 | #Constraints: 48033 2574.70/2580.87 c #Conflicts: 1984000 | #Constraints: 49033 2574.70/2580.87 c #Conflicts: 1985000 | #Constraints: 50034 2574.70/2580.87 c #Conflicts: 1986000 | #Constraints: 51034 2574.70/2580.87 c #Conflicts: 1987000 | #Constraints: 52034 2574.70/2580.87 c #Conflicts: 1988000 | #Constraints: 53035 2574.70/2580.87 c #Conflicts: 1989000 | #Constraints: 54035 2574.70/2580.87 c #Conflicts: 1990000 | #Constraints: 55035 2574.70/2580.87 c #Conflicts: 1991000 | #Constraints: 56035 2574.70/2580.87 c #Conflicts: 1992000 | #Constraints: 57036 2574.70/2580.87 c #Conflicts: 1993000 | #Constraints: 58036 2574.70/2580.87 c #Conflicts: 1994000 | #Constraints: 59036 2574.70/2580.87 c #Conflicts: 1995000 | #Constraints: 60037 2574.70/2580.87 c #Conflicts: 1996000 | #Constraints: 61038 2574.70/2580.87 c INPROCESSING 2574.70/2580.87 c GARBAGE COLLECT 2574.70/2580.87 c rational objective 4.74889 2821.12/2827.81 c #Conflicts: 1997000 | #Constraints: 33050 2821.12/2827.81 c #Conflicts: 1998000 | #Constraints: 34050 2821.12/2827.81 c #Conflicts: 1999000 | #Constraints: 35050 2821.12/2827.81 c #Conflicts: 2000000 | #Constraints: 36050 2821.12/2827.81 c #Conflicts: 2001000 | #Constraints: 37050 2821.12/2827.81 c #Conflicts: 2002000 | #Constraints: 38050 2821.12/2827.81 c #Conflicts: 2003000 | #Constraints: 39050 2821.12/2827.81 c #Conflicts: 2004000 | #Constraints: 40050 2821.12/2827.81 c #Conflicts: 2005000 | #Constraints: 41050 2821.12/2827.81 c #Conflicts: 2006000 | #Constraints: 42050 2821.12/2827.81 c #Conflicts: 2007000 | #Constraints: 43051 2821.12/2827.81 c #Conflicts: 2008000 | #Constraints: 44051 2821.12/2827.81 c #Conflicts: 2009000 | #Constraints: 45051 2821.12/2827.81 c #Conflicts: 2010000 | #Constraints: 46052 2821.12/2827.81 c #Conflicts: 2011000 | #Constraints: 47053 2821.12/2827.81 c #Conflicts: 2012000 | #Constraints: 48053 2821.12/2827.81 c #Conflicts: 2013000 | #Constraints: 49053 2821.12/2827.81 c #Conflicts: 2014000 | #Constraints: 50053 2821.12/2827.81 c #Conflicts: 2015000 | #Constraints: 51053 2821.12/2827.81 c #Conflicts: 2016000 | #Constraints: 52053 2821.12/2827.81 c #Conflicts: 2017000 | #Constraints: 53053 2821.12/2827.81 c #Conflicts: 2018000 | #Constraints: 54054 2821.12/2827.81 c #Conflicts: 2019000 | #Constraints: 55054 2821.12/2827.81 c #Conflicts: 2020000 | #Constraints: 56054 2821.12/2827.81 c #Conflicts: 2021000 | #Constraints: 57054 2821.12/2827.81 c #Conflicts: 2022000 | #Constraints: 58054 2821.12/2827.81 c #Conflicts: 2023000 | #Constraints: 59054 2821.12/2827.81 c #Conflicts: 2024000 | #Constraints: 60054 2821.12/2827.81 c #Conflicts: 2025000 | #Constraints: 61054 2821.12/2827.81 c #Conflicts: 2026000 | #Constraints: 62054 2821.12/2827.81 c #Conflicts: 2027000 | #Constraints: 63054 2821.12/2827.81 c #Conflicts: 2028000 | #Constraints: 64054 2821.12/2827.81 c #Conflicts: 2029000 | #Constraints: 65054 2821.12/2827.81 c #Conflicts: 2030000 | #Constraints: 66054 2821.12/2827.81 c #Conflicts: 2031000 | #Constraints: 67054 2821.12/2827.81 c #Conflicts: 2032000 | #Constraints: 68054 2821.12/2827.81 c #Conflicts: 2033000 | #Constraints: 69054 2821.12/2827.81 c #Conflicts: 2034000 | #Constraints: 70054 2821.12/2827.81 c #Conflicts: 2035000 | #Constraints: 71054 2821.12/2827.81 c #Conflicts: 2036000 | #Constraints: 72054 2821.12/2827.81 c #Conflicts: 2037000 | #Constraints: 73054 2821.12/2827.81 c #Conflicts: 2038000 | #Constraints: 74054 2821.12/2827.81 c #Conflicts: 2039000 | #Constraints: 75054 2821.12/2827.81 c #Conflicts: 2040000 | #Constraints: 76054 2821.12/2827.81 c #Conflicts: 2041000 | #Constraints: 77054 2821.12/2827.81 c #Conflicts: 2042000 | #Constraints: 78054 2821.12/2827.81 c #Conflicts: 2043000 | #Constraints: 79054 2821.12/2827.81 c #Conflicts: 2044000 | #Constraints: 80054 2821.12/2827.81 c #Conflicts: 2045000 | #Constraints: 81054 2821.12/2827.81 c #Conflicts: 2046000 | #Constraints: 82054 2821.12/2827.81 c #Conflicts: 2047000 | #Constraints: 83054 2821.12/2827.81 c #Conflicts: 2048000 | #Constraints: 84054 2821.12/2827.81 c #Conflicts: 2049000 | #Constraints: 85054 2821.12/2827.81 c #Conflicts: 2050000 | #Constraints: 86054 2821.12/2827.81 c #Conflicts: 2051000 | #Constraints: 87054 2821.12/2827.81 c #Conflicts: 2052000 | #Constraints: 88054 2821.12/2827.81 c #Conflicts: 2053000 | #Constraints: 89054 2821.12/2827.81 c #Conflicts: 2054000 | #Constraints: 90054 2821.12/2827.81 c #Conflicts: 2055000 | #Constraints: 91054 2821.12/2827.81 c #Conflicts: 2056000 | #Constraints: 92054 2821.12/2827.81 c #Conflicts: 2057000 | #Constraints: 93054 2821.12/2827.81 c #Conflicts: 2058000 | #Constraints: 94054 2821.12/2827.81 c #Conflicts: 2059000 | #Constraints: 95054 2821.12/2827.81 c #Conflicts: 2060000 | #Constraints: 96054 2821.12/2827.81 c #Conflicts: 2061000 | #Constraints: 97054 2821.12/2827.81 c #Conflicts: 2062000 | #Constraints: 98055 2821.12/2827.81 c #Conflicts: 2063000 | #Constraints: 99055 2821.12/2827.81 c #Conflicts: 2064000 | #Constraints: 100055 2821.12/2827.81 c #Conflicts: 2065000 | #Constraints: 101056 2821.12/2827.81 c #Conflicts: 2066000 | #Constraints: 102057 2821.12/2827.81 c #Conflicts: 2067000 | #Constraints: 103057 2821.12/2827.81 c #Conflicts: 2068000 | #Constraints: 104057 2821.12/2827.81 c #Conflicts: 2069000 | #Constraints: 105057 2821.12/2827.81 c #Conflicts: 2070000 | #Constraints: 106057 2821.12/2827.81 c #Conflicts: 2071000 | #Constraints: 107057 2821.12/2827.81 c #Conflicts: 2072000 | #Constraints: 108057 2821.12/2827.81 c #Conflicts: 2073000 | #Constraints: 109057 2821.12/2827.81 c #Conflicts: 2074000 | #Constraints: 110057 2821.12/2827.81 c #Conflicts: 2075000 | #Constraints: 111061 3298.05/3305.91 c #Conflicts: 2076000 | #Constraints: 112061 3298.05/3305.91 c #Conflicts: 2077000 | #Constraints: 113061 3298.05/3305.91 c #Conflicts: 2078000 | #Constraints: 114061 3298.05/3305.91 c #Conflicts: 2079000 | #Constraints: 115062 3298.05/3305.91 c #Conflicts: 2080000 | #Constraints: 116062 3298.05/3305.91 c #Conflicts: 2081000 | #Constraints: 117062 3298.05/3305.91 c #Conflicts: 2082000 | #Constraints: 118062 3298.05/3305.91 c #Conflicts: 2083000 | #Constraints: 119062 3298.05/3305.91 c #Conflicts: 2084000 | #Constraints: 120062 3298.05/3305.91 c #Conflicts: 2085000 | #Constraints: 121062 3298.05/3305.91 c #Conflicts: 2086000 | #Constraints: 122062 3298.05/3305.91 c #Conflicts: 2087000 | #Constraints: 123062 3298.05/3305.91 c #Conflicts: 2088000 | #Constraints: 124062 3298.05/3305.91 c #Conflicts: 2089000 | #Constraints: 125062 3298.05/3305.91 c #Conflicts: 2090000 | #Constraints: 126062 3298.05/3305.91 c #Conflicts: 2091000 | #Constraints: 127062 3298.05/3305.91 c #Conflicts: 2092000 | #Constraints: 128063 3298.05/3305.91 c #Conflicts: 2093000 | #Constraints: 129063 3298.05/3305.91 c #Conflicts: 2094000 | #Constraints: 130063 3298.05/3305.91 c #Conflicts: 2095000 | #Constraints: 131063 3298.05/3305.91 c #Conflicts: 2096000 | #Constraints: 132063 3298.05/3305.91 c #Conflicts: 2097000 | #Constraints: 133063 3298.05/3305.91 c #Conflicts: 2098000 | #Constraints: 134063 3298.05/3305.91 c #Conflicts: 2099000 | #Constraints: 135063 3298.05/3305.91 c #Conflicts: 2100000 | #Constraints: 136063 3298.05/3305.91 c #Conflicts: 2101000 | #Constraints: 137063 3298.05/3305.91 c #Conflicts: 2102000 | #Constraints: 138063 3298.05/3305.91 c #Conflicts: 2103000 | #Constraints: 139063 3298.05/3305.91 c #Conflicts: 2104000 | #Constraints: 140063 3298.05/3305.91 c #Conflicts: 2105000 | #Constraints: 141063 3298.05/3305.91 c #Conflicts: 2106000 | #Constraints: 142063 3298.05/3305.91 c #Conflicts: 2107000 | #Constraints: 143063 3298.05/3305.91 c #Conflicts: 2108000 | #Constraints: 144063 3298.05/3305.91 c #Conflicts: 2109000 | #Constraints: 145063 3298.05/3305.91 c #Conflicts: 2110000 | #Constraints: 146063 3298.05/3305.91 c #Conflicts: 2111000 | #Constraints: 147064 3298.05/3305.91 c #Conflicts: 2112000 | #Constraints: 148064 3298.05/3305.91 c #Conflicts: 2113000 | #Constraints: 149064 3298.05/3305.91 c #Conflicts: 2114000 | #Constraints: 150064 3298.05/3305.91 c #Conflicts: 2115000 | #Constraints: 151064 3298.05/3305.91 c #Conflicts: 2116000 | #Constraints: 152064 3298.05/3305.91 c #Conflicts: 2117000 | #Constraints: 153064 3298.05/3305.91 c #Conflicts: 2118000 | #Constraints: 154064 3298.05/3305.91 c #Conflicts: 2119000 | #Constraints: 155064 3298.05/3305.91 c #Conflicts: 2120000 | #Constraints: 156064 3298.05/3305.91 c #Conflicts: 2121000 | #Constraints: 157064 3298.05/3305.91 c #Conflicts: 2122000 | #Constraints: 158064 3298.05/3305.91 c #Conflicts: 2123000 | #Constraints: 159064 3298.05/3305.91 c #Conflicts: 2124000 | #Constraints: 160064 3298.05/3305.91 c #Conflicts: 2125000 | #Constraints: 161065 3298.05/3305.91 c #Conflicts: 2126000 | #Constraints: 162065 3298.05/3305.91 c #Conflicts: 2127000 | #Constraints: 163065 3298.05/3305.91 c #Conflicts: 2128000 | #Constraints: 164065 3298.05/3305.91 c #Conflicts: 2129000 | #Constraints: 165065 3298.05/3305.91 c #Conflicts: 2130000 | #Constraints: 166065 3298.05/3305.91 c #Conflicts: 2131000 | #Constraints: 167065 3298.05/3305.91 c #Conflicts: 2132000 | #Constraints: 168065 3298.05/3305.91 c #Conflicts: 2133000 | #Constraints: 169065 3298.05/3305.91 c #Conflicts: 2134000 | #Constraints: 170065 3298.05/3305.91 c #Conflicts: 2135000 | #Constraints: 171065 3298.05/3305.91 c #Conflicts: 2136000 | #Constraints: 172065 3298.05/3305.91 c #Conflicts: 2137000 | #Constraints: 173065 3298.05/3305.91 c #Conflicts: 2138000 | #Constraints: 174065 3298.05/3305.91 c #Conflicts: 2139000 | #Constraints: 175065 3298.05/3305.91 c #Conflicts: 2140000 | #Constraints: 176065 3298.05/3305.91 c #Conflicts: 2141000 | #Constraints: 177065 3298.05/3305.91 c INPROCESSING 3298.05/3305.91 c GARBAGE COLLECT 3298.05/3305.91 c rational objective 4.7489 3314.52/3322.47 c #Conflicts: 2142000 | #Constraints: 91324 3314.52/3322.47 c #Conflicts: 2143000 | #Constraints: 92324 3314.52/3322.47 c #Conflicts: 2144000 | #Constraints: 93324 3314.52/3322.47 c #Conflicts: 2145000 | #Constraints: 94324 3314.52/3322.47 c #Conflicts: 2146000 | #Constraints: 95324 3314.52/3322.47 c #Conflicts: 2147000 | #Constraints: 96324 3314.52/3322.47 c #Conflicts: 2148000 | #Constraints: 97324 3314.52/3322.47 c #Conflicts: 2149000 | #Constraints: 98324 3314.52/3322.47 c #Conflicts: 2150000 | #Constraints: 99324 3314.52/3322.47 c #Conflicts: 2151000 | #Constraints: 100324 3314.52/3322.47 c #Conflicts: 2152000 | #Constraints: 101324 3314.52/3322.47 c #Conflicts: 2153000 | #Constraints: 102324 3314.52/3322.47 c #Conflicts: 2154000 | #Constraints: 103325 3314.52/3322.47 c #Conflicts: 2155000 | #Constraints: 104326 3314.52/3322.47 c #Conflicts: 2156000 | #Constraints: 105326 3314.52/3322.47 c #Conflicts: 2157000 | #Constraints: 106326 3314.52/3322.47 c #Conflicts: 2158000 | #Constraints: 107326 3314.52/3322.47 c #Conflicts: 2159000 | #Constraints: 108326 3314.52/3322.47 c #Conflicts: 2160000 | #Constraints: 109326 3314.52/3322.47 c #Conflicts: 2161000 | #Constraints: 110326 3314.52/3322.47 c #Conflicts: 2162000 | #Constraints: 111326 3314.52/3322.47 c #Conflicts: 2163000 | #Constraints: 112326 3314.52/3322.47 c #Conflicts: 2164000 | #Constraints: 113326 3314.52/3322.47 c #Conflicts: 2165000 | #Constraints: 114326 3314.52/3322.47 c #Conflicts: 2166000 | #Constraints: 115326 3314.52/3322.47 c #Conflicts: 2167000 | #Constraints: 116326 3314.52/3322.47 c #Conflicts: 2168000 | #Constraints: 117326 3314.52/3322.47 c #Conflicts: 2169000 | #Constraints: 118326 3314.52/3322.47 c #Conflicts: 2170000 | #Constraints: 119326 3314.52/3322.47 c #Conflicts: 2171000 | #Constraints: 120326 3314.52/3322.47 c INPROCESSING 3314.52/3322.47 c GARBAGE COLLECT 3314.52/3322.47 c rational objective 4.7489 3558.91/3567.34 c #Conflicts: 2172000 | #Constraints: 63119 3558.91/3567.34 c #Conflicts: 2173000 | #Constraints: 64119 3558.91/3567.34 c #Conflicts: 2174000 | #Constraints: 65119 3558.91/3567.34 c #Conflicts: 2175000 | #Constraints: 66120 3558.91/3567.34 c #Conflicts: 2176000 | #Constraints: 67120 3558.91/3567.34 c #Conflicts: 2177000 | #Constraints: 68120 3558.91/3567.34 c #Conflicts: 2178000 | #Constraints: 69121 3558.91/3567.34 c #Conflicts: 2179000 | #Constraints: 70121 3558.91/3567.34 c #Conflicts: 2180000 | #Constraints: 71121 3558.91/3567.34 c #Conflicts: 2181000 | #Constraints: 72121 3558.91/3567.34 c #Conflicts: 2182000 | #Constraints: 73121 3558.91/3567.34 c #Conflicts: 2183000 | #Constraints: 74122 3558.91/3567.34 c #Conflicts: 2184000 | #Constraints: 75122 3558.91/3567.34 c #Conflicts: 2185000 | #Constraints: 76122 3558.91/3567.34 c #Conflicts: 2186000 | #Constraints: 77122 3558.91/3567.34 c #Conflicts: 2187000 | #Constraints: 78122 3558.91/3567.34 c #Conflicts: 2188000 | #Constraints: 79123 3558.91/3567.34 c #Conflicts: 2189000 | #Constraints: 80123 3558.91/3567.34 c #Conflicts: 2190000 | #Constraints: 81123 3558.91/3567.34 c #Conflicts: 2191000 | #Constraints: 82123 3558.91/3567.34 c #Conflicts: 2192000 | #Constraints: 83123 3558.91/3567.34 c #Conflicts: 2193000 | #Constraints: 84123 3558.91/3567.34 c #Conflicts: 2194000 | #Constraints: 85123 3558.91/3567.34 c #Conflicts: 2195000 | #Constraints: 86123 3558.91/3567.34 c #Conflicts: 2196000 | #Constraints: 87123 3558.91/3567.34 c #Conflicts: 2197000 | #Constraints: 88123 3558.91/3567.34 c #Conflicts: 2198000 | #Constraints: 89123 3558.91/3567.34 c #Conflicts: 2199000 | #Constraints: 90123 3558.91/3567.34 c #Conflicts: 2200000 | #Constraints: 91124 3558.91/3567.34 c INPROCESSING 3558.91/3567.34 c GARBAGE COLLECT 3558.91/3567.34 c rational objective 4.7489 3600.02/3608.50 c #Conflicts: 2201000 | #Constraints: 48137 3600.02/3608.50 c #Conflicts: 2202000 | #Constraints: 49137 3600.02/3608.50 c #Conflicts: 2203000 | #Constraints: 50137 3600.02/3608.50 c #Conflicts: 2204000 | #Constraints: 51137 3600.02/3608.50 c #Conflicts: 2205000 | #Constraints: 52137 3600.02/3608.50 c #Conflicts: 2206000 | #Constraints: 53137 3600.02/3608.50 c #Conflicts: 2207000 | #Constraints: 54137 3600.02/3608.50 c #Conflicts: 2208000 | #Constraints: 55138 3600.02/3608.50 c #Conflicts: 2209000 | #Constraints: 56138 3600.02/3608.50 c #Conflicts: 2210000 | #Constraints: 57138 3600.02/3608.50 c #Conflicts: 2211000 | #Constraints: 58138 3600.02/3608.50 c #Conflicts: 2212000 | #Constraints: 59138 3600.02/3608.50 c #Conflicts: 2213000 | #Constraints: 60138 3600.02/3608.50 c #Conflicts: 2214000 | #Constraints: 61138 3600.02/3608.50 c #Conflicts: 2215000 | #Constraints: 62138 3600.02/3608.50 c Program interrupted by user. 3600.02/3608.51 c cpu time 3560.39 s 3600.02/3608.51 c deterministic time 521738541314 5.22e+11 3600.02/3608.51 c optimization time 40.8121 s 3600.02/3608.51 c total solve time 3519.57 s 3600.02/3608.51 c core-guided solve time 0 s 3600.02/3608.51 c propagation time 3302.55 s 3600.02/3608.51 c conflict analysis time 198.161 s 3600.02/3608.51 c propagations 128232768 3600.02/3608.51 c resolve steps 13613221 3600.02/3608.51 c decisions 18378101 3600.02/3608.51 c conflicts 2215957 3600.02/3608.51 c restarts 4093 3600.02/3608.51 c inprocessing phases 131 3600.02/3608.51 c input clauses 1334 3600.02/3608.51 c input cardinalities 0 3600.02/3608.51 c input general constraints 2025 3600.02/3608.51 c input average constraint length 3.81 3600.02/3608.51 c input average constraint degree 20949313541.24 3600.02/3608.51 c learned clauses 807834 3600.02/3608.51 c learned cardinalities 8862 3600.02/3608.51 c learned general constraints 1403822 3600.02/3608.51 c learned average constraint length 91.60 3600.02/3608.51 c learned average constraint degree 264737136.18 3600.02/3608.51 c watched constraints 1313507 3600.02/3608.51 c counting constraints 92340 3600.02/3608.51 c gcd simplifications 139850 3600.02/3608.51 c detected cardinalities 3286 3600.02/3608.51 c weakened non-implied lits 12872548 3600.02/3608.51 c weakened non-implying lits 1326017 3600.02/3608.51 c original variables 3220 3600.02/3608.51 c clausal propagations 30695468 3600.02/3608.51 c cardinality propagations 181999 3600.02/3608.51 c watched propagations 23002496 3600.02/3608.51 c counting propagations 72988762 3600.02/3608.51 c watch lookups 71372281289 3600.02/3608.51 c watch backjump lookups 67577533439 3600.02/3608.51 c watch checks 194575357618 3600.02/3608.51 c propagation checks 187266596292 3600.02/3608.51 c constraint additions 648922016 3600.02/3608.51 c trail pops 148824559 3600.02/3608.51 c formula constraints 3359 3600.02/3608.51 c learned constraints 2215183 3600.02/3608.51 c bound constraints 0 3600.02/3608.51 c core-guided constraints 0 3600.02/3608.51 c encountered formula constraints 7168372 3600.02/3608.51 c encountered learned constraints 8530199 3600.02/3608.51 c encountered bound constraints 0 3600.02/3608.51 c encountered core-guided constraints 0 3600.02/3608.51 c LP total time 162.179 s 3600.02/3608.51 c LP solve time 146.92 s 3600.02/3608.51 c LP constraints added 3418 3600.02/3608.51 c LP constraints removed 39 3600.02/3608.51 c LP pivots internal 2216138 3600.02/3608.51 c LP pivots root 199093 3600.02/3608.51 c LP calls 79650 3600.02/3608.51 c LP optimalities 75075 3600.02/3608.51 c LP no pivot count 64037 3600.02/3608.51 c LP infeasibilities 4564 3600.02/3608.51 c LP valid Farkas constraints 4562 3600.02/3608.51 c LP learned Farkas constraints 773 3600.02/3608.51 c LP basis resets 10 3600.02/3608.51 c LP cycling count 8 3600.02/3608.51 c LP singular count 0 3600.02/3608.51 c LP no primal count 0 3600.02/3608.51 c LP no farkas count 2 3600.02/3608.51 c LP other issue count 0 3600.02/3608.51 c LP Gomory cuts 0 3600.02/3608.51 c LP learned cuts 59 3600.02/3608.51 c LP deleted cuts 39 3600.02/3608.51 c LP encountered Gomory constraints 0 3600.02/3608.51 c LP encountered Farkas constraints 109682 3600.02/3608.51 c LP encountered learned Farkas constraints 20152 3600.02/3608.51 c CG auxiliary variables introduced 0 3600.02/3608.51 c CG solutions found 0 3600.02/3608.51 c CG cores constructed 0 3600.02/3608.51 c CG core cardinality constraints returned 0 3600.02/3608.51 c CG unit cores 0 3600.02/3608.51 c CG single cores 0 3600.02/3608.51 c CG blocks removed during cardinality reduction 0 3600.02/3608.51 c CG first core best 0 3600.02/3608.51 c CG decision core best 0 3600.02/3608.51 c CG core reduction tie 0 3600.02/3608.51 c CG core degree average 0.00 3600.02/3608.51 c CG core slack average 0.00 3600.02/3608.51 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 (60002 MiB free)
memory of node 1: 64473 MiB (62434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460886-1722072564/watcher-4460886-1722072564 -o /tmp/evaluation-result-4460886-1722072564/solver-4460886-1722072564 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722064836-364083 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460886-1722072564 --lp-cut-gomory=0 HOME/instance-4460886-1722072564.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=369237, runsolver pid=369234
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.11 4.11 4.13 5/256 369238
/proc/meminfo: memFree=125368600/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=44012 memory=13304 CPUtime=0.09 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 2039 0 0 0 8 1 0 0 20 0 1 0 43784679 45068288 3326 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 11003 3326 1712 992 0 2861 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44012 KiB
Current children cumulated memory: 13304 KiB
[startup+0.205685 s]*
/proc/loadavg: 4.11 4.11 4.13 5/256 369238
/proc/meminfo: memFree=125364956/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=44288 memory=15616 CPUtime=0.19 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 2133 0 0 0 17 2 0 0 20 0 1 0 43784679 45350912 3904 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 11072 3904 1712 992 0 2930 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44288 KiB
Current children cumulated memory: 15616 KiB
[startup+0.305601 s]*
/proc/loadavg: 4.11 4.11 4.13 5/256 369238
/proc/meminfo: memFree=125364144/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=44604 memory=16496 CPUtime=0.3 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 2246 0 0 0 27 3 0 0 20 0 1 0 43784679 45674496 4124 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 11151 4124 1807 992 0 3009 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44604 KiB
Current children cumulated memory: 16496 KiB
[startup+0.700173 s]
/proc/loadavg: 4.11 4.11 4.13 5/256 369238
/proc/meminfo: memFree=125361680/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=45104 memory=17024 CPUtime=0.68 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 2379 0 0 0 61 7 0 0 20 0 1 0 43784679 46186496 4256 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 11276 4256 1807 992 0 3134 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45104 KiB
Current children cumulated memory: 17024 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.11 4.13 5/256 369238
/proc/meminfo: memFree=125355996/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=46232 memory=18080 CPUtime=1.49 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 2644 0 0 0 132 17 0 0 20 0 1 0 43784679 47341568 4520 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 11558 4520 1807 992 0 3416 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46232 KiB
Current children cumulated memory: 18080 KiB
[startup+3.10545 s]
/proc/loadavg: 4.10 4.11 4.13 5/256 369240
/proc/meminfo: memFree=125332896/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=48232 memory=20980 CPUtime=3.09 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 3379 0 0 0 280 29 0 0 20 0 1 0 43784679 49389568 5245 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 12058 5245 1807 992 0 3916 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48232 KiB
Current children cumulated memory: 20980 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.11 4.13 5/256 369240
/proc/meminfo: memFree=125296160/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=52504 memory=25728 CPUtime=6.27 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 4563 0 0 0 571 56 0 0 20 0 1 0 43784679 53764096 6432 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 13126 6432 1807 992 0 4984 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52504 KiB
Current children cumulated memory: 25728 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.13 5/256 369241
/proc/meminfo: memFree=125245720/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=62036 memory=33904 CPUtime=12.66 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 6614 0 0 0 1161 105 0 0 20 0 1 0 43784679 63524864 8476 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 15509 8476 1807 992 0 7367 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 62036 KiB
Current children cumulated memory: 33904 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.13 5/256 369243
/proc/meminfo: memFree=125135704/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=73624 memory=45568 CPUtime=25.43 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 9008 0 0 0 2387 156 0 0 20 0 1 0 43784679 75390976 11392 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 18406 11392 1807 992 0 10264 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 73624 KiB
Current children cumulated memory: 45568 KiB
[startup+51.1059 s]
/proc/loadavg: 4.10 4.11 4.13 5/258 369305
/proc/meminfo: memFree=124932756/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=93380 memory=63100 CPUtime=50.98 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 12356 0 0 0 4815 283 0 0 20 0 1 0 43784679 95621120 15775 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 23345 15775 1807 992 0 15203 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 93380 KiB
Current children cumulated memory: 63100 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/257 369315
/proc/meminfo: memFree=124624560/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=101540 memory=70524 CPUtime=102.05 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 14172 0 0 0 9814 391 0 0 20 0 1 0 43784679 103976960 17631 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 25385 17631 1892 992 0 17243 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 101540 KiB
Current children cumulated memory: 70524 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/257 369326
/proc/meminfo: memFree=124274816/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=106284 memory=75268 CPUtime=161.92 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 15336 0 0 0 15606 586 0 0 20 0 1 0 43784679 108834816 18817 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 26571 18817 1892 992 0 18429 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 106284 KiB
Current children cumulated memory: 75268 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.11 4.12 5/257 369336
/proc/meminfo: memFree=123978048/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=116348 memory=83176 CPUtime=221.77 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 17290 0 0 0 21459 718 0 0 20 0 1 0 43784679 119140352 20794 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 29087 20794 1892 992 0 20945 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 116348 KiB
Current children cumulated memory: 83176 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/257 369347
/proc/meminfo: memFree=123681568/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=128024 memory=89408 CPUtime=281.63 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 17783 0 0 0 27311 852 0 0 20 0 1 0 43784679 131096576 22352 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 32006 22352 1892 992 0 23864 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 128024 KiB
Current children cumulated memory: 89408 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/257 369358
/proc/meminfo: memFree=123332988/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=133744 memory=101616 CPUtime=341.48 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 18855 0 0 0 33178 970 0 0 20 0 1 0 43784679 136953856 25404 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 33436 25404 1892 992 0 25294 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 133744 KiB
Current children cumulated memory: 101616 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/254 369368
/proc/meminfo: memFree=123024908/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=137736 memory=105420 CPUtime=401.35 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 19804 0 0 0 38996 1139 0 0 20 0 1 0 43784679 141041664 26355 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 34434 26355 1892 992 0 26292 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 137736 KiB
Current children cumulated memory: 105420 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.13 4.11 5/254 369379
/proc/meminfo: memFree=122732512/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=139128 memory=106376 CPUtime=461.22 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 20277 0 0 0 44833 1289 0 0 20 0 1 0 43784679 142467072 26594 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 34782 26594 1892 992 0 26640 0
################
# More data... #
################
Current children cumulated memory: 271792 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/253 370390
/proc/meminfo: memFree=114079176/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=336120 memory=272324 CPUtime=2915.4 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 51321 0 0 0 287859 3681 0 0 20 0 1 0 43784679 344186880 68081 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 84030 68081 1892 992 0 75888 0
Current children cumulated CPU time: 2915.4 s
Current children cumulated vsize: 336120 KiB
Current children cumulated memory: 272324 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/253 370400
/proc/meminfo: memFree=113914752/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=339384 memory=275004 CPUtime=2975.26 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 52095 0 0 0 293826 3700 0 0 20 0 1 0 43784679 347529216 68751 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 84846 68751 1892 992 0 76704 0
Current children cumulated CPU time: 2975.26 s
Current children cumulated vsize: 339384 KiB
Current children cumulated memory: 275004 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/255 370414
/proc/meminfo: memFree=113779812/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=339792 memory=275328 CPUtime=3035.11 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 52286 0 0 0 299792 3719 0 0 20 0 1 0 43784679 347947008 68832 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 84948 68832 1892 992 0 76806 0
Current children cumulated CPU time: 3035.11 s
Current children cumulated vsize: 339792 KiB
Current children cumulated memory: 275328 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/255 370425
/proc/meminfo: memFree=113627028/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=340408 memory=275896 CPUtime=3094.94 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 52568 0 0 0 305761 3733 0 0 20 0 1 0 43784679 348577792 68974 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 85102 68974 1892 992 0 76960 0
Current children cumulated CPU time: 3094.94 s
Current children cumulated vsize: 340408 KiB
Current children cumulated memory: 275896 KiB
[startup+3162.3 s]
/proc/loadavg: 3.16 3.86 4.03 3/242 370499
/proc/meminfo: memFree=123151176/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=343188 memory=279720 CPUtime=3154.77 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 53068 0 0 0 311734 3743 0 0 20 0 1 0 43784679 351424512 69930 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 85797 69930 1892 992 0 77655 0
Current children cumulated CPU time: 3154.77 s
Current children cumulated vsize: 343188 KiB
Current children cumulated memory: 279720 KiB
[startup+3222.3 s]
/proc/loadavg: 2.49 3.54 3.90 3/242 370509
/proc/meminfo: memFree=123129836/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=343700 memory=279736 CPUtime=3214.63 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 53264 0 0 0 317710 3753 0 0 20 0 1 0 43784679 351948800 69934 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 85925 69934 1892 992 0 77783 0
Current children cumulated CPU time: 3214.63 s
Current children cumulated vsize: 343700 KiB
Current children cumulated memory: 279736 KiB
[startup+3282.3 s]
/proc/loadavg: 1.84 3.17 3.76 2/236 370552
/proc/meminfo: memFree=124128276/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=344468 memory=280272 CPUtime=3274.5 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 53500 0 0 0 323684 3766 0 0 20 0 1 0 43784679 352735232 70068 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 86117 70068 1892 992 0 77975 0
Current children cumulated CPU time: 3274.5 s
Current children cumulated vsize: 344468 KiB
Current children cumulated memory: 280272 KiB
[startup+3342.3 s]
/proc/loadavg: 1.35 2.79 3.59 2/237 370946
/proc/meminfo: memFree=124082124/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=347104 memory=282684 CPUtime=3334.38 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 55240 0 0 0 329606 3832 0 0 20 0 1 0 43784679 355434496 70671 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 86776 70671 1892 992 0 78634 0
Current children cumulated CPU time: 3334.38 s
Current children cumulated vsize: 347104 KiB
Current children cumulated memory: 282684 KiB
[startup+3402.3 s]
/proc/loadavg: 1.16 2.48 3.43 2/235 370957
/proc/meminfo: memFree=124064460/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=347104 memory=282912 CPUtime=3394.26 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 55339 0 0 0 335546 3880 0 0 20 0 1 0 43784679 355434496 70728 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 86776 70728 1892 992 0 78634 0
Current children cumulated CPU time: 3394.26 s
Current children cumulated vsize: 347104 KiB
Current children cumulated memory: 282912 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 2.22 3.28 2/235 370969
/proc/meminfo: memFree=124054716/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=347104 memory=282912 CPUtime=3454.14 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 55443 0 0 0 341506 3908 0 0 20 0 1 0 43784679 355434496 70728 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 86776 70728 1892 992 0 78634 0
Current children cumulated CPU time: 3454.14 s
Current children cumulated vsize: 347104 KiB
Current children cumulated memory: 282912 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 2.03 3.14 2/238 371151
/proc/meminfo: memFree=124045772/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=347264 memory=282916 CPUtime=3514 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 55567 0 0 0 347471 3929 0 0 20 0 1 0 43784679 355598336 70729 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 86816 70729 1892 992 0 78674 0
Current children cumulated CPU time: 3514 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 282916 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.85 3.01 2/238 371161
/proc/meminfo: memFree=124022296/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=350332 memory=286260 CPUtime=3573.87 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 56297 0 0 0 353435 3952 0 0 20 0 1 0 43784679 358739968 71565 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 87583 71565 1892 992 0 79441 0
Current children cumulated CPU time: 3573.87 s
Current children cumulated vsize: 350332 KiB
Current children cumulated memory: 286260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 1.07 1.78 2.96 2/238 371164
/proc/meminfo: memFree=124009460/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=350332 memory=286260 CPUtime=3600.02 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 56297 0 0 0 356038 3964 0 0 20 0 1 0 43784679 358739968 71565 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 87583 71565 1892 992 0 79441 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 350332 KiB
Current children cumulated memory: 286260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.51 s]
# the end of solver process 369237 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.39 s, system=39.6502 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.5 s]
/proc/loadavg: 1.07 1.78 2.96 2/238 371164
/proc/meminfo: memFree=124009460/131524600 swapFree=131062976/131071996
[pid=369237] ppid=369234 vsize=350332 memory=286260 CPUtime=3600.02 cores=1,3
/proc/369237/stat : 369237 (roundingsat) R 369234 369237 364071 0 -1 4194304 56297 0 0 0 356038 3964 0 0 20 0 1 0 43784679 358739968 71565 134679101440 4194304 8254357 140733482781296 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23773184 140733482787679 140733482787941 140733482787941 140733482794953 0
/proc/369237/statm: 87583 71565 1892 992 0 79441 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 350332 KiB
Current children cumulated memory: 286260 KiB
Child status: 0
Real time (s): 3608.51
CPU time (s): 3600.04
CPU user time (s): 3560.39
CPU system time (s): 39.6502
CPU usage (%): 99.7651
Max. virtual memory (cumulated for all children) (KiB): 350332
Max. memory (cumulated for all children) (KiB): 286260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.39
system time used= 39.6502
maximum resident set size= 286260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6327016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135
involuntary context switches= 4849
# summary of solver processes directly reported to runsolver:
# pid: 369237
# total CPU time (s): 3600.04
# total CPU user time (s): 3560.39
# total CPU system time (s): 39.6502
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.263 second user time and 16.0077 second system time
The end
Begin job on nodeC027 at 2024-07-27 11:29:24 IDJOB=4460886 IDBENCH=176033 IDSOLVER=3086 FILE ID=nodeC027/4460886-1722072564 RUNJOBID= nodeC027-1722064836-364083 SLURM_JOB_ID= 8248095 Free space on /tmp= 890064 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-4460886-1722072564/watcher-4460886-1722072564 -o /tmp/evaluation-result-4460886-1722072564/solver-4460886-1722072564 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722064836-364083 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460886-1722072564 --lp-cut-gomory=0 HOME/instance-4460886-1722072564.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7d417cf1b74ab4db87153ce12cf8f72e RANDOM SEED=1758337591 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3655.479 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3655.676 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.389 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.950 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3655.521 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.063 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.051 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.244 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125375808 kB MemAvailable: 129555612 kB Buffers: 358380 kB Cached: 4531468 kB SwapCached: 28 kB Active: 2640684 kB Inactive: 2667384 kB Active(anon): 2288 kB Inactive(anon): 469332 kB Active(file): 2638396 kB Inactive(file): 2198052 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131062976 kB Dirty: 81472 kB Writeback: 0 kB AnonPages: 415736 kB Mapped: 120600 kB Shmem: 53348 kB KReclaimable: 366360 kB Slab: 490608 kB SReclaimable: 366360 kB SUnreclaim: 124248 kB KernelStack: 4144 kB PageTables: 10448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 899424 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 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: 359124 kB DirectMap2M: 40308736 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890076 MiB End job on nodeC027 at 2024-07-27 12:29:33