| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.03 | 3609.41 |
| 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.02 c rational objective 2.84217e-14 0.60/0.65 c #Conflicts: 1000 | #Constraints: 4358 0.60/0.65 c #Conflicts: 2000 | #Constraints: 5362 0.60/0.65 c INPROCESSING 0.60/0.65 c GARBAGE COLLECT 0.60/0.65 c #Conflicts: 3000 | #Constraints: 5408 0.60/0.65 c #Conflicts: 4000 | #Constraints: 6410 0.60/0.65 c INPROCESSING 0.60/0.65 c GARBAGE COLLECT 0.60/0.65 c rational objective 2.84217e-14 1.00/1.01 c #Conflicts: 5000 | #Constraints: 5854 1.00/1.01 c #Conflicts: 6000 | #Constraints: 6855 1.00/1.01 c INPROCESSING 1.00/1.01 c GARBAGE COLLECT 1.00/1.01 c rational objective 5.68434e-14 1.28/1.33 c #Conflicts: 7000 | #Constraints: 5884 1.28/1.33 c #Conflicts: 8000 | #Constraints: 6884 1.28/1.33 c #Conflicts: 9000 | #Constraints: 7885 1.28/1.33 c INPROCESSING 1.28/1.33 c GARBAGE COLLECT 1.28/1.33 c rational objective 2.84217e-14 1.69/1.75 c #Conflicts: 10000 | #Constraints: 6619 1.69/1.75 c #Conflicts: 11000 | #Constraints: 7620 1.69/1.75 c #Conflicts: 12000 | #Constraints: 8620 1.69/1.75 c INPROCESSING 1.69/1.75 c GARBAGE COLLECT 1.69/1.75 c rational objective 2.84217e-14 1.99/2.07 c #Conflicts: 13000 | #Constraints: 7078 1.99/2.07 c #Conflicts: 14000 | #Constraints: 8079 1.99/2.07 c #Conflicts: 15000 | #Constraints: 9080 1.99/2.07 c INPROCESSING 1.99/2.07 c GARBAGE COLLECT 1.99/2.07 c rational objective 2.84217e-14 2.78/2.89 c #Conflicts: 16000 | #Constraints: 7346 2.78/2.89 c #Conflicts: 17000 | #Constraints: 8346 2.78/2.89 c #Conflicts: 18000 | #Constraints: 9346 2.78/2.89 c INPROCESSING 2.78/2.89 c GARBAGE COLLECT 2.78/2.89 c rational objective 2.84217e-14 3.38/3.46 c #Conflicts: 19000 | #Constraints: 7384 3.38/3.46 c #Conflicts: 20000 | #Constraints: 8384 3.38/3.46 c #Conflicts: 21000 | #Constraints: 9384 3.38/3.46 c INPROCESSING 3.38/3.46 c GARBAGE COLLECT 3.38/3.46 c rational objective 2.84217e-14 3.88/3.99 c #Conflicts: 22000 | #Constraints: 7189 3.88/3.99 c #Conflicts: 23000 | #Constraints: 8193 3.88/3.99 c #Conflicts: 24000 | #Constraints: 9194 3.88/3.99 c #Conflicts: 25000 | #Constraints: 10195 3.88/3.99 c INPROCESSING 3.88/3.99 c GARBAGE COLLECT 3.88/3.99 c rational objective 2.84217e-14 4.48/4.50 c #Conflicts: 26000 | #Constraints: 7790 4.48/4.50 c #Conflicts: 27000 | #Constraints: 8794 4.48/4.50 c #Conflicts: 28000 | #Constraints: 9794 4.48/4.50 c #Conflicts: 29000 | #Constraints: 10795 4.48/4.50 c INPROCESSING 4.48/4.50 c GARBAGE COLLECT 4.48/4.50 c rational objective 2.84217e-14 4.99/5.11 c #Conflicts: 30000 | #Constraints: 8188 4.99/5.11 c #Conflicts: 31000 | #Constraints: 9189 4.99/5.11 c #Conflicts: 32000 | #Constraints: 10190 4.99/5.11 c #Conflicts: 33000 | #Constraints: 11192 4.99/5.11 c INPROCESSING 4.99/5.11 c GARBAGE COLLECT 4.99/5.11 c rational objective 2.84217e-14 6.18/6.24 c #Conflicts: 34000 | #Constraints: 8401 6.18/6.24 c #Conflicts: 35000 | #Constraints: 9402 6.18/6.24 c #Conflicts: 36000 | #Constraints: 10404 6.18/6.24 c #Conflicts: 37000 | #Constraints: 11407 6.18/6.24 c INPROCESSING 6.18/6.24 c GARBAGE COLLECT 6.18/6.24 c rational objective 2.84217e-14 6.78/6.81 c #Conflicts: 38000 | #Constraints: 8425 6.78/6.81 c #Conflicts: 39000 | #Constraints: 9426 6.78/6.81 c #Conflicts: 40000 | #Constraints: 10427 6.78/6.81 c #Conflicts: 41000 | #Constraints: 11427 6.78/6.81 c INPROCESSING 6.78/6.81 c GARBAGE COLLECT 6.78/6.81 c rational objective 2.84217e-14 7.57/7.68 c #Conflicts: 42000 | #Constraints: 8245 7.57/7.68 c #Conflicts: 43000 | #Constraints: 9247 7.57/7.68 c #Conflicts: 44000 | #Constraints: 10249 7.57/7.68 c #Conflicts: 45000 | #Constraints: 11251 7.57/7.68 c #Conflicts: 46000 | #Constraints: 12253 7.57/7.68 c INPROCESSING 7.57/7.68 c GARBAGE COLLECT 7.57/7.68 c rational objective 2.84217e-14 8.57/8.66 c #Conflicts: 47000 | #Constraints: 8868 8.57/8.66 c #Conflicts: 48000 | #Constraints: 9868 8.57/8.66 c #Conflicts: 49000 | #Constraints: 10870 8.57/8.66 c #Conflicts: 50000 | #Constraints: 11870 8.57/8.66 c #Conflicts: 51000 | #Constraints: 12870 8.57/8.66 c INPROCESSING 8.57/8.66 c GARBAGE COLLECT 8.57/8.66 c rational objective 2.84217e-14 9.47/9.53 c #Conflicts: 52000 | #Constraints: 9242 9.47/9.53 c #Conflicts: 53000 | #Constraints: 10243 9.47/9.53 c #Conflicts: 54000 | #Constraints: 11243 9.47/9.53 c #Conflicts: 55000 | #Constraints: 12245 9.47/9.53 c #Conflicts: 56000 | #Constraints: 13245 9.47/9.53 c INPROCESSING 9.47/9.53 c GARBAGE COLLECT 9.47/9.53 c rational objective 2.84217e-14 10.66/10.74 c #Conflicts: 57000 | #Constraints: 9430 10.66/10.74 c #Conflicts: 58000 | #Constraints: 10431 10.66/10.74 c #Conflicts: 59000 | #Constraints: 11431 10.66/10.74 c #Conflicts: 60000 | #Constraints: 12431 10.66/10.74 c #Conflicts: 61000 | #Constraints: 13432 10.66/10.74 c INPROCESSING 10.66/10.74 c GARBAGE COLLECT 10.66/10.74 c rational objective 2.84217e-14 14.07/14.16 c #Conflicts: 62000 | #Constraints: 9456 14.07/14.16 c #Conflicts: 63000 | #Constraints: 10456 14.07/14.16 c #Conflicts: 64000 | #Constraints: 11456 14.07/14.16 c #Conflicts: 65000 | #Constraints: 12458 14.07/14.16 c #Conflicts: 66000 | #Constraints: 13458 14.07/14.16 c INPROCESSING 14.07/14.16 c GARBAGE COLLECT 14.07/14.16 c rational objective 2.84217e-14 15.36/15.40 c #Conflicts: 67000 | #Constraints: 9244 15.36/15.40 c #Conflicts: 68000 | #Constraints: 10245 15.36/15.40 c #Conflicts: 69000 | #Constraints: 11246 15.36/15.40 c #Conflicts: 70000 | #Constraints: 12248 15.36/15.40 c #Conflicts: 71000 | #Constraints: 13248 15.36/15.40 c #Conflicts: 72000 | #Constraints: 14249 15.36/15.40 c INPROCESSING 15.36/15.40 c GARBAGE COLLECT 15.36/15.40 c rational objective 2.84217e-14 16.35/16.47 c #Conflicts: 73000 | #Constraints: 9851 16.35/16.47 c #Conflicts: 74000 | #Constraints: 10853 16.35/16.47 c #Conflicts: 75000 | #Constraints: 11855 16.35/16.47 c #Conflicts: 76000 | #Constraints: 12857 16.35/16.47 c #Conflicts: 77000 | #Constraints: 13858 16.35/16.47 c #Conflicts: 78000 | #Constraints: 14858 16.35/16.47 c INPROCESSING 16.35/16.47 c GARBAGE COLLECT 16.35/16.47 c rational objective 2.84217e-14 20.73/20.85 c #Conflicts: 79000 | #Constraints: 10273 20.73/20.85 c #Conflicts: 80000 | #Constraints: 11274 20.73/20.85 c #Conflicts: 81000 | #Constraints: 12275 20.73/20.85 c #Conflicts: 82000 | #Constraints: 13275 20.73/20.85 c #Conflicts: 83000 | #Constraints: 14275 20.73/20.85 c #Conflicts: 84000 | #Constraints: 15275 20.73/20.85 c INPROCESSING 20.73/20.85 c GARBAGE COLLECT 20.73/20.85 c rational objective 2.84217e-14 21.73/21.84 c #Conflicts: 85000 | #Constraints: 10473 21.73/21.84 c #Conflicts: 86000 | #Constraints: 11474 21.73/21.84 c #Conflicts: 87000 | #Constraints: 12475 21.73/21.84 c #Conflicts: 88000 | #Constraints: 13476 21.73/21.84 c #Conflicts: 89000 | #Constraints: 14476 21.73/21.84 c #Conflicts: 90000 | #Constraints: 15476 21.73/21.84 c INPROCESSING 21.73/21.84 c GARBAGE COLLECT 21.73/21.84 c rational objective 2.84217e-14 22.43/22.54 c #Conflicts: 91000 | #Constraints: 10478 22.43/22.54 c #Conflicts: 92000 | #Constraints: 11480 22.43/22.54 c #Conflicts: 93000 | #Constraints: 12482 22.43/22.54 c #Conflicts: 94000 | #Constraints: 13482 22.43/22.54 c #Conflicts: 95000 | #Constraints: 14482 22.43/22.54 c #Conflicts: 96000 | #Constraints: 15483 22.43/22.54 c INPROCESSING 22.43/22.54 c GARBAGE COLLECT 22.43/22.54 c rational objective 2.84217e-14 30.81/30.99 c #Conflicts: 97000 | #Constraints: 10300 30.81/30.99 c #Conflicts: 98000 | #Constraints: 11300 30.81/30.99 c #Conflicts: 99000 | #Constraints: 12300 30.81/30.99 c #Conflicts: 100000 | #Constraints: 13300 30.81/30.99 c #Conflicts: 101000 | #Constraints: 14300 30.81/30.99 c #Conflicts: 102000 | #Constraints: 15300 30.81/30.99 c #Conflicts: 103000 | #Constraints: 16301 30.81/30.99 c INPROCESSING 30.81/30.99 c GARBAGE COLLECT 30.81/30.99 c rational objective 2.84217e-14 31.81/31.99 c #Conflicts: 104000 | #Constraints: 10901 31.81/31.99 c #Conflicts: 105000 | #Constraints: 11902 31.81/31.99 c #Conflicts: 106000 | #Constraints: 12902 31.81/31.99 c #Conflicts: 107000 | #Constraints: 13904 31.81/31.99 c #Conflicts: 108000 | #Constraints: 14904 31.81/31.99 c #Conflicts: 109000 | #Constraints: 15905 31.81/31.99 c #Conflicts: 110000 | #Constraints: 16905 31.81/31.99 c INPROCESSING 31.81/31.99 c GARBAGE COLLECT 31.81/31.99 c rational objective 2.84217e-14 33.02/33.18 c #Conflicts: 111000 | #Constraints: 11311 33.02/33.18 c #Conflicts: 112000 | #Constraints: 12312 33.02/33.18 c #Conflicts: 113000 | #Constraints: 13313 33.02/33.18 c #Conflicts: 114000 | #Constraints: 14313 33.02/33.18 c #Conflicts: 115000 | #Constraints: 15316 33.02/33.18 c #Conflicts: 116000 | #Constraints: 16318 33.02/33.18 c #Conflicts: 117000 | #Constraints: 17318 33.02/33.18 c INPROCESSING 33.02/33.18 c GARBAGE COLLECT 33.02/33.18 c rational objective 2.84217e-14 35.10/35.27 c #Conflicts: 118000 | #Constraints: 11515 35.10/35.27 c #Conflicts: 119000 | #Constraints: 12516 35.10/35.27 c #Conflicts: 120000 | #Constraints: 13518 35.10/35.27 c #Conflicts: 121000 | #Constraints: 14520 35.10/35.27 c #Conflicts: 122000 | #Constraints: 15520 35.10/35.27 c #Conflicts: 123000 | #Constraints: 16520 35.10/35.27 c #Conflicts: 124000 | #Constraints: 17521 35.10/35.27 c INPROCESSING 35.10/35.27 c GARBAGE COLLECT 35.10/35.27 c rational objective 2.84217e-14 36.50/36.63 c #Conflicts: 125000 | #Constraints: 11498 36.50/36.63 c #Conflicts: 126000 | #Constraints: 12499 36.50/36.63 c #Conflicts: 127000 | #Constraints: 13500 36.50/36.63 c #Conflicts: 128000 | #Constraints: 14500 36.50/36.63 c #Conflicts: 129000 | #Constraints: 15501 36.50/36.63 c #Conflicts: 130000 | #Constraints: 16501 36.50/36.63 c #Conflicts: 131000 | #Constraints: 17502 36.50/36.63 c INPROCESSING 36.50/36.63 c GARBAGE COLLECT 36.50/36.63 c rational objective 4.73927 39.90/40.09 c #Conflicts: 132000 | #Constraints: 11305 39.90/40.09 c #Conflicts: 133000 | #Constraints: 12306 39.90/40.09 c #Conflicts: 134000 | #Constraints: 13306 39.90/40.09 c #Conflicts: 135000 | #Constraints: 14307 39.90/40.09 c #Conflicts: 136000 | #Constraints: 15307 39.90/40.09 c #Conflicts: 137000 | #Constraints: 16308 39.90/40.09 c #Conflicts: 138000 | #Constraints: 17308 39.90/40.09 c #Conflicts: 139000 | #Constraints: 18309 39.90/40.09 c INPROCESSING 39.90/40.09 c GARBAGE COLLECT 39.90/40.09 c rational objective 4.74001 44.28/44.41 c #Conflicts: 140000 | #Constraints: 11910 44.28/44.41 c #Conflicts: 141000 | #Constraints: 12911 44.28/44.41 c #Conflicts: 142000 | #Constraints: 13912 44.28/44.41 c #Conflicts: 143000 | #Constraints: 14913 44.28/44.41 c #Conflicts: 144000 | #Constraints: 15913 44.28/44.41 c #Conflicts: 145000 | #Constraints: 16914 44.28/44.41 c #Conflicts: 146000 | #Constraints: 17914 44.28/44.41 c #Conflicts: 147000 | #Constraints: 18915 44.28/44.41 c INPROCESSING 44.28/44.41 c GARBAGE COLLECT 44.28/44.41 c rational objective 4.74001 46.37/46.52 c #Conflicts: 148000 | #Constraints: 12338 46.37/46.52 c #Conflicts: 149000 | #Constraints: 13338 46.37/46.52 c #Conflicts: 150000 | #Constraints: 14338 46.37/46.52 c #Conflicts: 151000 | #Constraints: 15338 46.37/46.52 c #Conflicts: 152000 | #Constraints: 16338 46.37/46.52 c #Conflicts: 153000 | #Constraints: 17338 46.37/46.52 c #Conflicts: 154000 | #Constraints: 18338 46.37/46.52 c #Conflicts: 155000 | #Constraints: 19339 46.37/46.52 c INPROCESSING 46.37/46.52 c GARBAGE COLLECT 46.37/46.52 c rational objective 4.74001 49.07/49.22 c #Conflicts: 156000 | #Constraints: 12534 49.07/49.22 c #Conflicts: 157000 | #Constraints: 13534 49.07/49.22 c #Conflicts: 158000 | #Constraints: 14535 49.07/49.22 c #Conflicts: 159000 | #Constraints: 15535 49.07/49.22 c #Conflicts: 160000 | #Constraints: 16537 49.07/49.22 c #Conflicts: 161000 | #Constraints: 17537 49.07/49.22 c #Conflicts: 162000 | #Constraints: 18538 49.07/49.22 c #Conflicts: 163000 | #Constraints: 19538 49.07/49.22 c INPROCESSING 49.07/49.22 c GARBAGE COLLECT 49.07/49.22 c rational objective 4.74001 52.56/52.72 c #Conflicts: 164000 | #Constraints: 12532 52.56/52.72 c #Conflicts: 165000 | #Constraints: 13533 52.56/52.72 c #Conflicts: 166000 | #Constraints: 14535 52.56/52.72 c #Conflicts: 167000 | #Constraints: 15537 52.56/52.72 c #Conflicts: 168000 | #Constraints: 16538 52.56/52.72 c #Conflicts: 169000 | #Constraints: 17539 52.56/52.72 c #Conflicts: 170000 | #Constraints: 18540 52.56/52.72 c #Conflicts: 171000 | #Constraints: 19540 52.56/52.72 c INPROCESSING 52.56/52.72 c GARBAGE COLLECT 52.56/52.72 c rational objective 4.74001 57.24/57.41 c #Conflicts: 172000 | #Constraints: 12333 57.24/57.41 c #Conflicts: 173000 | #Constraints: 13334 57.24/57.41 c #Conflicts: 174000 | #Constraints: 14335 57.24/57.41 c #Conflicts: 175000 | #Constraints: 15335 57.24/57.41 c #Conflicts: 176000 | #Constraints: 16337 57.24/57.41 c #Conflicts: 177000 | #Constraints: 17339 57.24/57.41 c #Conflicts: 178000 | #Constraints: 18339 57.24/57.41 c #Conflicts: 179000 | #Constraints: 19339 57.24/57.41 c #Conflicts: 180000 | #Constraints: 20339 57.24/57.41 c INPROCESSING 57.24/57.41 c GARBAGE COLLECT 57.24/57.41 c rational objective 4.74001 61.85/62.08 c #Conflicts: 181000 | #Constraints: 12948 61.85/62.08 c #Conflicts: 182000 | #Constraints: 13949 61.85/62.08 c #Conflicts: 183000 | #Constraints: 14950 61.85/62.08 c #Conflicts: 184000 | #Constraints: 15951 61.85/62.08 c #Conflicts: 185000 | #Constraints: 16951 61.85/62.08 c #Conflicts: 186000 | #Constraints: 17952 61.85/62.08 c #Conflicts: 187000 | #Constraints: 18952 61.85/62.08 c #Conflicts: 188000 | #Constraints: 19952 61.85/62.08 c #Conflicts: 189000 | #Constraints: 20953 61.85/62.08 c INPROCESSING 61.85/62.08 c GARBAGE COLLECT 61.85/62.08 c rational objective 4.74003 68.31/68.50 c #Conflicts: 190000 | #Constraints: 13361 68.31/68.50 c #Conflicts: 191000 | #Constraints: 14362 68.31/68.50 c #Conflicts: 192000 | #Constraints: 15363 68.31/68.50 c #Conflicts: 193000 | #Constraints: 16364 68.31/68.50 c #Conflicts: 194000 | #Constraints: 17364 68.31/68.50 c #Conflicts: 195000 | #Constraints: 18364 68.31/68.50 c #Conflicts: 196000 | #Constraints: 19364 68.31/68.50 c #Conflicts: 197000 | #Constraints: 20364 68.31/68.50 c #Conflicts: 198000 | #Constraints: 21364 68.31/68.50 c INPROCESSING 68.31/68.50 c GARBAGE COLLECT 68.31/68.50 c rational objective 4.74003 71.31/71.50 c #Conflicts: 199000 | #Constraints: 13591 71.31/71.50 c #Conflicts: 200000 | #Constraints: 14592 71.31/71.50 c #Conflicts: 201000 | #Constraints: 15592 71.31/71.50 c #Conflicts: 202000 | #Constraints: 16592 71.31/71.50 c #Conflicts: 203000 | #Constraints: 17592 71.31/71.50 c #Conflicts: 204000 | #Constraints: 18593 71.31/71.50 c #Conflicts: 205000 | #Constraints: 19594 71.31/71.50 c #Conflicts: 206000 | #Constraints: 20594 71.31/71.50 c #Conflicts: 207000 | #Constraints: 21594 71.31/71.50 c INPROCESSING 71.31/71.50 c GARBAGE COLLECT 71.31/71.50 c rational objective 4.74003 73.10/73.34 c #Conflicts: 208000 | #Constraints: 13588 73.10/73.34 c #Conflicts: 209000 | #Constraints: 14589 73.10/73.34 c #Conflicts: 210000 | #Constraints: 15589 73.10/73.34 c #Conflicts: 211000 | #Constraints: 16590 73.10/73.34 c #Conflicts: 212000 | #Constraints: 17592 73.10/73.34 c #Conflicts: 213000 | #Constraints: 18592 73.10/73.34 c #Conflicts: 214000 | #Constraints: 19594 73.10/73.34 c #Conflicts: 215000 | #Constraints: 20595 73.10/73.34 c #Conflicts: 216000 | #Constraints: 21596 73.10/73.34 c INPROCESSING 73.10/73.34 c GARBAGE COLLECT 73.10/73.34 c rational objective 4.74003 101.63/102.00 c #Conflicts: 217000 | #Constraints: 13355 101.63/102.00 c #Conflicts: 218000 | #Constraints: 14355 101.63/102.00 c #Conflicts: 219000 | #Constraints: 15355 101.63/102.00 c #Conflicts: 220000 | #Constraints: 16355 101.63/102.00 c #Conflicts: 221000 | #Constraints: 17355 101.63/102.00 c #Conflicts: 222000 | #Constraints: 18355 101.63/102.00 c #Conflicts: 223000 | #Constraints: 19357 101.63/102.00 c #Conflicts: 224000 | #Constraints: 20357 101.63/102.00 c #Conflicts: 225000 | #Constraints: 21357 101.63/102.00 c #Conflicts: 226000 | #Constraints: 22357 101.63/102.00 c INPROCESSING 101.63/102.00 c GARBAGE COLLECT 101.63/102.00 c rational objective 4.74003 105.42/105.75 c #Conflicts: 227000 | #Constraints: 13968 105.42/105.75 c #Conflicts: 228000 | #Constraints: 14970 105.42/105.75 c #Conflicts: 229000 | #Constraints: 15971 105.42/105.75 c #Conflicts: 230000 | #Constraints: 16971 105.42/105.75 c #Conflicts: 231000 | #Constraints: 17971 105.42/105.75 c #Conflicts: 232000 | #Constraints: 18971 105.42/105.75 c #Conflicts: 233000 | #Constraints: 19971 105.42/105.75 c #Conflicts: 234000 | #Constraints: 20971 105.42/105.75 c #Conflicts: 235000 | #Constraints: 21971 105.42/105.75 c #Conflicts: 236000 | #Constraints: 22971 105.42/105.75 c INPROCESSING 105.42/105.75 c GARBAGE COLLECT 105.42/105.75 c rational objective 4.74003 116.29/116.63 c #Conflicts: 237000 | #Constraints: 14357 116.29/116.63 c #Conflicts: 238000 | #Constraints: 15357 116.29/116.63 c #Conflicts: 239000 | #Constraints: 16358 116.29/116.63 c #Conflicts: 240000 | #Constraints: 17359 116.29/116.63 c #Conflicts: 241000 | #Constraints: 18359 116.29/116.63 c #Conflicts: 242000 | #Constraints: 19360 116.29/116.63 c #Conflicts: 243000 | #Constraints: 20361 116.29/116.63 c #Conflicts: 244000 | #Constraints: 21361 116.29/116.63 c #Conflicts: 245000 | #Constraints: 22361 116.29/116.63 c #Conflicts: 246000 | #Constraints: 23362 116.29/116.63 c INPROCESSING 116.29/116.63 c GARBAGE COLLECT 116.29/116.63 c rational objective 4.74003 120.88/121.24 c #Conflicts: 247000 | #Constraints: 14568 120.88/121.24 c #Conflicts: 248000 | #Constraints: 15568 120.88/121.24 c #Conflicts: 249000 | #Constraints: 16568 120.88/121.24 c #Conflicts: 250000 | #Constraints: 17568 120.88/121.24 c #Conflicts: 251000 | #Constraints: 18569 120.88/121.24 c #Conflicts: 252000 | #Constraints: 19570 120.88/121.24 c #Conflicts: 253000 | #Constraints: 20570 120.88/121.24 c #Conflicts: 254000 | #Constraints: 21570 120.88/121.24 c #Conflicts: 255000 | #Constraints: 22571 120.88/121.24 c #Conflicts: 256000 | #Constraints: 23571 120.88/121.24 c INPROCESSING 120.88/121.24 c GARBAGE COLLECT 120.88/121.24 c rational objective 4.74003 128.86/129.24 c #Conflicts: 257000 | #Constraints: 14552 128.86/129.24 c #Conflicts: 258000 | #Constraints: 15554 128.86/129.24 c #Conflicts: 259000 | #Constraints: 16555 128.86/129.24 c #Conflicts: 260000 | #Constraints: 17555 128.86/129.24 c #Conflicts: 261000 | #Constraints: 18555 128.86/129.24 c #Conflicts: 262000 | #Constraints: 19555 128.86/129.24 c #Conflicts: 263000 | #Constraints: 20555 128.86/129.24 c #Conflicts: 264000 | #Constraints: 21555 128.86/129.24 c #Conflicts: 265000 | #Constraints: 22555 128.86/129.24 c #Conflicts: 266000 | #Constraints: 23555 128.86/129.24 c INPROCESSING 128.86/129.24 c GARBAGE COLLECT 128.86/129.24 c rational objective 4.74003 136.65/137.10 c #Conflicts: 267000 | #Constraints: 14354 136.65/137.10 c #Conflicts: 268000 | #Constraints: 15355 136.65/137.10 c #Conflicts: 269000 | #Constraints: 16356 136.65/137.10 c #Conflicts: 270000 | #Constraints: 17357 136.65/137.10 c #Conflicts: 271000 | #Constraints: 18359 136.65/137.10 c #Conflicts: 272000 | #Constraints: 19360 136.65/137.10 c #Conflicts: 273000 | #Constraints: 20360 136.65/137.10 c #Conflicts: 274000 | #Constraints: 21360 136.65/137.10 c #Conflicts: 275000 | #Constraints: 22360 136.65/137.10 c #Conflicts: 276000 | #Constraints: 23360 136.65/137.10 c #Conflicts: 277000 | #Constraints: 24360 136.65/137.10 c INPROCESSING 136.65/137.10 c GARBAGE COLLECT 136.65/137.10 c rational objective 4.74003 141.83/142.27 c #Conflicts: 278000 | #Constraints: 14967 141.83/142.27 c #Conflicts: 279000 | #Constraints: 15967 141.83/142.27 c #Conflicts: 280000 | #Constraints: 16967 141.83/142.27 c #Conflicts: 281000 | #Constraints: 17967 141.83/142.27 c #Conflicts: 282000 | #Constraints: 18969 141.83/142.27 c #Conflicts: 283000 | #Constraints: 19971 141.83/142.27 c #Conflicts: 284000 | #Constraints: 20972 141.83/142.27 c #Conflicts: 285000 | #Constraints: 21973 141.83/142.27 c #Conflicts: 286000 | #Constraints: 22974 141.83/142.27 c #Conflicts: 287000 | #Constraints: 23974 141.83/142.27 c #Conflicts: 288000 | #Constraints: 24974 141.83/142.27 c INPROCESSING 141.83/142.27 c GARBAGE COLLECT 141.83/142.27 c rational objective 4.74003 150.61/151.03 c #Conflicts: 289000 | #Constraints: 15361 150.61/151.03 c #Conflicts: 290000 | #Constraints: 16361 150.61/151.03 c #Conflicts: 291000 | #Constraints: 17361 150.61/151.03 c #Conflicts: 292000 | #Constraints: 18361 150.61/151.03 c #Conflicts: 293000 | #Constraints: 19361 150.61/151.03 c #Conflicts: 294000 | #Constraints: 20362 150.61/151.03 c #Conflicts: 295000 | #Constraints: 21362 150.61/151.03 c #Conflicts: 296000 | #Constraints: 22362 150.61/151.03 c #Conflicts: 297000 | #Constraints: 23362 150.61/151.03 c #Conflicts: 298000 | #Constraints: 24362 150.61/151.03 c #Conflicts: 299000 | #Constraints: 25362 150.61/151.03 c INPROCESSING 150.61/151.03 c GARBAGE COLLECT 150.61/151.03 c rational objective 4.74003 156.09/156.57 c #Conflicts: 300000 | #Constraints: 15555 156.09/156.57 c #Conflicts: 301000 | #Constraints: 16555 156.09/156.57 c #Conflicts: 302000 | #Constraints: 17558 156.09/156.57 c #Conflicts: 303000 | #Constraints: 18559 156.09/156.57 c #Conflicts: 304000 | #Constraints: 19560 156.09/156.57 c #Conflicts: 305000 | #Constraints: 20560 156.09/156.57 c #Conflicts: 306000 | #Constraints: 21561 156.09/156.57 c #Conflicts: 307000 | #Constraints: 22562 156.09/156.57 c #Conflicts: 308000 | #Constraints: 23564 156.09/156.57 c #Conflicts: 309000 | #Constraints: 24566 156.09/156.57 c #Conflicts: 310000 | #Constraints: 25566 156.09/156.57 c INPROCESSING 156.09/156.57 c GARBAGE COLLECT 156.09/156.57 c rational objective 4.74003 161.47/161.92 c #Conflicts: 311000 | #Constraints: 15570 161.47/161.92 c #Conflicts: 312000 | #Constraints: 16570 161.47/161.92 c #Conflicts: 313000 | #Constraints: 17573 161.47/161.92 c #Conflicts: 314000 | #Constraints: 18573 161.47/161.92 c #Conflicts: 315000 | #Constraints: 19573 161.47/161.92 c #Conflicts: 316000 | #Constraints: 20574 161.47/161.92 c #Conflicts: 317000 | #Constraints: 21574 161.47/161.92 c #Conflicts: 318000 | #Constraints: 22574 161.47/161.92 c #Conflicts: 319000 | #Constraints: 23574 161.47/161.92 c #Conflicts: 320000 | #Constraints: 24574 161.47/161.92 c #Conflicts: 321000 | #Constraints: 25574 161.47/161.92 c INPROCESSING 161.47/161.92 c GARBAGE COLLECT 161.47/161.92 c rational objective 4.74003 197.68/198.21 c #Conflicts: 322000 | #Constraints: 15370 197.68/198.21 c #Conflicts: 323000 | #Constraints: 16371 197.68/198.21 c #Conflicts: 324000 | #Constraints: 17372 197.68/198.21 c #Conflicts: 325000 | #Constraints: 18373 197.68/198.21 c #Conflicts: 326000 | #Constraints: 19374 197.68/198.21 c #Conflicts: 327000 | #Constraints: 20374 197.68/198.21 c #Conflicts: 328000 | #Constraints: 21375 197.68/198.21 c #Conflicts: 329000 | #Constraints: 22376 197.68/198.21 c #Conflicts: 330000 | #Constraints: 23376 197.68/198.21 c #Conflicts: 331000 | #Constraints: 24376 197.68/198.21 c #Conflicts: 332000 | #Constraints: 25376 197.68/198.21 c #Conflicts: 333000 | #Constraints: 26377 197.68/198.21 c INPROCESSING 197.68/198.21 c GARBAGE COLLECT 197.68/198.21 c rational objective 4.74003 205.76/206.32 c #Conflicts: 334000 | #Constraints: 15983 205.76/206.32 c #Conflicts: 335000 | #Constraints: 16983 205.76/206.32 c #Conflicts: 336000 | #Constraints: 17983 205.76/206.32 c #Conflicts: 337000 | #Constraints: 18984 205.76/206.32 c #Conflicts: 338000 | #Constraints: 19984 205.76/206.32 c #Conflicts: 339000 | #Constraints: 20984 205.76/206.32 c #Conflicts: 340000 | #Constraints: 21985 205.76/206.32 c #Conflicts: 341000 | #Constraints: 22985 205.76/206.32 c #Conflicts: 342000 | #Constraints: 23985 205.76/206.32 c #Conflicts: 343000 | #Constraints: 24985 205.76/206.32 c #Conflicts: 344000 | #Constraints: 25985 205.76/206.32 c #Conflicts: 345000 | #Constraints: 26986 205.76/206.32 c INPROCESSING 205.76/206.32 c GARBAGE COLLECT 205.76/206.32 c rational objective 4.74003 220.23/220.87 c #Conflicts: 346000 | #Constraints: 16369 220.23/220.87 c #Conflicts: 347000 | #Constraints: 17370 220.23/220.87 c #Conflicts: 348000 | #Constraints: 18372 220.23/220.87 c #Conflicts: 349000 | #Constraints: 19373 220.23/220.87 c #Conflicts: 350000 | #Constraints: 20374 220.23/220.87 c #Conflicts: 351000 | #Constraints: 21374 220.23/220.87 c #Conflicts: 352000 | #Constraints: 22375 220.23/220.87 c #Conflicts: 353000 | #Constraints: 23375 220.23/220.87 c #Conflicts: 354000 | #Constraints: 24375 220.23/220.87 c #Conflicts: 355000 | #Constraints: 25376 220.23/220.87 c #Conflicts: 356000 | #Constraints: 26376 220.23/220.87 c #Conflicts: 357000 | #Constraints: 27378 220.23/220.87 c INPROCESSING 220.23/220.87 c GARBAGE COLLECT 220.23/220.87 c rational objective 4.74003 225.22/225.87 c #Conflicts: 358000 | #Constraints: 16579 225.22/225.87 c #Conflicts: 359000 | #Constraints: 17580 225.22/225.87 c #Conflicts: 360000 | #Constraints: 18582 225.22/225.87 c #Conflicts: 361000 | #Constraints: 19583 225.22/225.87 c #Conflicts: 362000 | #Constraints: 20583 225.22/225.87 c #Conflicts: 363000 | #Constraints: 21584 225.22/225.87 c #Conflicts: 364000 | #Constraints: 22584 225.22/225.87 c #Conflicts: 365000 | #Constraints: 23584 225.22/225.87 c #Conflicts: 366000 | #Constraints: 24585 225.22/225.87 c #Conflicts: 367000 | #Constraints: 25586 225.22/225.87 c #Conflicts: 368000 | #Constraints: 26586 225.22/225.87 c #Conflicts: 369000 | #Constraints: 27586 225.22/225.87 c INPROCESSING 225.22/225.87 c GARBAGE COLLECT 225.22/225.87 c rational objective 4.74041 236.09/236.75 c #Conflicts: 370000 | #Constraints: 16593 236.09/236.75 c #Conflicts: 371000 | #Constraints: 17594 236.09/236.75 c #Conflicts: 372000 | #Constraints: 18594 236.09/236.75 c #Conflicts: 373000 | #Constraints: 19595 236.09/236.75 c #Conflicts: 374000 | #Constraints: 20595 236.09/236.75 c #Conflicts: 375000 | #Constraints: 21596 236.09/236.75 c #Conflicts: 376000 | #Constraints: 22596 236.09/236.75 c #Conflicts: 377000 | #Constraints: 23596 236.09/236.75 c #Conflicts: 378000 | #Constraints: 24596 236.09/236.75 c #Conflicts: 379000 | #Constraints: 25596 236.09/236.75 c #Conflicts: 380000 | #Constraints: 26597 236.09/236.75 c #Conflicts: 381000 | #Constraints: 27597 236.09/236.75 c INPROCESSING 236.09/236.75 c GARBAGE COLLECT 236.09/236.75 c rational objective 4.74041 243.97/244.65 c #Conflicts: 382000 | #Constraints: 16388 243.97/244.65 c #Conflicts: 383000 | #Constraints: 17389 243.97/244.65 c #Conflicts: 384000 | #Constraints: 18389 243.97/244.65 c #Conflicts: 385000 | #Constraints: 19389 243.97/244.65 c #Conflicts: 386000 | #Constraints: 20390 243.97/244.65 c #Conflicts: 387000 | #Constraints: 21390 243.97/244.65 c #Conflicts: 388000 | #Constraints: 22390 243.97/244.65 c #Conflicts: 389000 | #Constraints: 23390 243.97/244.65 c #Conflicts: 390000 | #Constraints: 24392 243.97/244.65 c #Conflicts: 391000 | #Constraints: 25392 243.97/244.65 c #Conflicts: 392000 | #Constraints: 26392 243.97/244.65 c #Conflicts: 393000 | #Constraints: 27393 243.97/244.65 c #Conflicts: 394000 | #Constraints: 28394 243.97/244.65 c INPROCESSING 243.97/244.65 c GARBAGE COLLECT 243.97/244.65 c rational objective 4.74041 256.73/257.45 c #Conflicts: 395000 | #Constraints: 17002 256.73/257.45 c #Conflicts: 396000 | #Constraints: 18002 256.73/257.45 c #Conflicts: 397000 | #Constraints: 19002 256.73/257.45 c #Conflicts: 398000 | #Constraints: 20003 256.73/257.45 c #Conflicts: 399000 | #Constraints: 21004 256.73/257.45 c #Conflicts: 400000 | #Constraints: 22005 256.73/257.45 c #Conflicts: 401000 | #Constraints: 23005 256.73/257.45 c #Conflicts: 402000 | #Constraints: 24005 256.73/257.45 c #Conflicts: 403000 | #Constraints: 25006 256.73/257.45 c #Conflicts: 404000 | #Constraints: 26007 256.73/257.45 c #Conflicts: 405000 | #Constraints: 27007 256.73/257.45 c #Conflicts: 406000 | #Constraints: 28007 256.73/257.45 c #Conflicts: 407000 | #Constraints: 29007 256.73/257.45 c INPROCESSING 256.73/257.45 c GARBAGE COLLECT 256.73/257.45 c rational objective 4.74041 264.51/265.20 c #Conflicts: 408000 | #Constraints: 17383 264.51/265.20 c #Conflicts: 409000 | #Constraints: 18383 264.51/265.20 c #Conflicts: 410000 | #Constraints: 19383 264.51/265.20 c #Conflicts: 411000 | #Constraints: 20383 264.51/265.20 c #Conflicts: 412000 | #Constraints: 21384 264.51/265.20 c #Conflicts: 413000 | #Constraints: 22384 264.51/265.20 c #Conflicts: 414000 | #Constraints: 23385 264.51/265.20 c #Conflicts: 415000 | #Constraints: 24385 264.51/265.20 c #Conflicts: 416000 | #Constraints: 25385 264.51/265.20 c #Conflicts: 417000 | #Constraints: 26386 264.51/265.20 c #Conflicts: 418000 | #Constraints: 27387 264.51/265.20 c #Conflicts: 419000 | #Constraints: 28387 264.51/265.20 c #Conflicts: 420000 | #Constraints: 29387 264.51/265.20 c INPROCESSING 264.51/265.20 c GARBAGE COLLECT 264.51/265.20 c rational objective 4.74041 304.71/305.56 c #Conflicts: 421000 | #Constraints: 17615 304.71/305.56 c #Conflicts: 422000 | #Constraints: 18616 304.71/305.56 c #Conflicts: 423000 | #Constraints: 19617 304.71/305.56 c #Conflicts: 424000 | #Constraints: 20617 304.71/305.56 c #Conflicts: 425000 | #Constraints: 21617 304.71/305.56 c #Conflicts: 426000 | #Constraints: 22617 304.71/305.56 c #Conflicts: 427000 | #Constraints: 23617 304.71/305.56 c #Conflicts: 428000 | #Constraints: 24617 304.71/305.56 c #Conflicts: 429000 | #Constraints: 25617 304.71/305.56 c #Conflicts: 430000 | #Constraints: 26617 304.71/305.56 c #Conflicts: 431000 | #Constraints: 27617 304.71/305.56 c #Conflicts: 432000 | #Constraints: 28617 304.71/305.56 c #Conflicts: 433000 | #Constraints: 29617 304.71/305.56 c INPROCESSING 304.71/305.56 c GARBAGE COLLECT 304.71/305.56 c rational objective 4.74041 308.70/309.56 c #Conflicts: 434000 | #Constraints: 17641 308.70/309.56 c #Conflicts: 435000 | #Constraints: 18643 308.70/309.56 c #Conflicts: 436000 | #Constraints: 19643 308.70/309.56 c #Conflicts: 437000 | #Constraints: 20643 308.70/309.56 c #Conflicts: 438000 | #Constraints: 21643 308.70/309.56 c #Conflicts: 439000 | #Constraints: 22644 308.70/309.56 c #Conflicts: 440000 | #Constraints: 23644 308.70/309.56 c #Conflicts: 441000 | #Constraints: 24644 308.70/309.56 c #Conflicts: 442000 | #Constraints: 25644 308.70/309.56 c #Conflicts: 443000 | #Constraints: 26644 308.70/309.56 c #Conflicts: 444000 | #Constraints: 27644 308.70/309.56 c #Conflicts: 445000 | #Constraints: 28644 308.70/309.56 c #Conflicts: 446000 | #Constraints: 29644 308.70/309.56 c INPROCESSING 308.70/309.56 c GARBAGE COLLECT 308.70/309.56 c rational objective 4.74041 318.18/319.09 c #Conflicts: 447000 | #Constraints: 17451 318.18/319.09 c #Conflicts: 448000 | #Constraints: 18453 318.18/319.09 c #Conflicts: 449000 | #Constraints: 19453 318.18/319.09 c #Conflicts: 450000 | #Constraints: 20453 318.18/319.09 c #Conflicts: 451000 | #Constraints: 21455 318.18/319.09 c #Conflicts: 452000 | #Constraints: 22455 318.18/319.09 c #Conflicts: 453000 | #Constraints: 23455 318.18/319.09 c #Conflicts: 454000 | #Constraints: 24455 318.18/319.09 c #Conflicts: 455000 | #Constraints: 25455 318.18/319.09 c #Conflicts: 456000 | #Constraints: 26455 318.18/319.09 c #Conflicts: 457000 | #Constraints: 27456 318.18/319.09 c #Conflicts: 458000 | #Constraints: 28456 318.18/319.09 c #Conflicts: 459000 | #Constraints: 29457 318.18/319.09 c #Conflicts: 460000 | #Constraints: 30457 318.18/319.09 c INPROCESSING 318.18/319.09 c GARBAGE COLLECT 318.18/319.09 c rational objective 4.74041 332.63/333.52 c #Conflicts: 461000 | #Constraints: 18041 332.63/333.52 c #Conflicts: 462000 | #Constraints: 19042 332.63/333.52 c #Conflicts: 463000 | #Constraints: 20042 332.63/333.52 c #Conflicts: 464000 | #Constraints: 21042 332.63/333.52 c #Conflicts: 465000 | #Constraints: 22042 332.63/333.52 c #Conflicts: 466000 | #Constraints: 23044 332.63/333.52 c #Conflicts: 467000 | #Constraints: 24044 332.63/333.52 c #Conflicts: 468000 | #Constraints: 25044 332.63/333.52 c #Conflicts: 469000 | #Constraints: 26044 332.63/333.52 c #Conflicts: 470000 | #Constraints: 27044 332.63/333.52 c #Conflicts: 471000 | #Constraints: 28044 332.63/333.52 c #Conflicts: 472000 | #Constraints: 29044 332.63/333.52 c #Conflicts: 473000 | #Constraints: 30044 332.63/333.52 c #Conflicts: 474000 | #Constraints: 31045 332.63/333.52 c INPROCESSING 332.63/333.52 c GARBAGE COLLECT 332.63/333.52 c rational objective 4.74041 347.60/348.53 c #Conflicts: 475000 | #Constraints: 18434 347.60/348.53 c #Conflicts: 476000 | #Constraints: 19434 347.60/348.53 c #Conflicts: 477000 | #Constraints: 20438 347.60/348.53 c #Conflicts: 478000 | #Constraints: 21438 347.60/348.53 c #Conflicts: 479000 | #Constraints: 22439 347.60/348.53 c #Conflicts: 480000 | #Constraints: 23439 347.60/348.53 c #Conflicts: 481000 | #Constraints: 24439 347.60/348.53 c #Conflicts: 482000 | #Constraints: 26153 347.60/348.53 c #Conflicts: 483000 | #Constraints: 28055 347.60/348.53 c #Conflicts: 484000 | #Constraints: 29673 347.60/348.53 c #Conflicts: 485000 | #Constraints: 30674 347.60/348.53 c #Conflicts: 486000 | #Constraints: 31706 347.60/348.53 c #Conflicts: 487000 | #Constraints: 32795 347.60/348.53 c #Conflicts: 488000 | #Constraints: 33887 347.60/348.53 c INPROCESSING 347.60/348.53 c GARBAGE COLLECT 347.60/348.53 c rational objective 4.74041 360.96/361.99 c #Conflicts: 489000 | #Constraints: 19859 360.96/361.99 c #Conflicts: 490000 | #Constraints: 20860 360.96/361.99 c #Conflicts: 491000 | #Constraints: 21861 360.96/361.99 c #Conflicts: 492000 | #Constraints: 22862 360.96/361.99 c #Conflicts: 493000 | #Constraints: 23862 360.96/361.99 c #Conflicts: 494000 | #Constraints: 24862 360.96/361.99 c #Conflicts: 495000 | #Constraints: 25862 360.96/361.99 c #Conflicts: 496000 | #Constraints: 26862 360.96/361.99 c #Conflicts: 497000 | #Constraints: 27862 360.96/361.99 c #Conflicts: 498000 | #Constraints: 28863 360.96/361.99 c #Conflicts: 499000 | #Constraints: 29864 360.96/361.99 c #Conflicts: 500000 | #Constraints: 30864 360.96/361.99 c #Conflicts: 501000 | #Constraints: 31865 360.96/361.99 c #Conflicts: 502000 | #Constraints: 32866 360.96/361.99 c INPROCESSING 360.96/361.99 c GARBAGE COLLECT 360.96/361.99 c rational objective 4.7406 372.23/373.29 c #Conflicts: 503000 | #Constraints: 19235 372.23/373.29 c #Conflicts: 504000 | #Constraints: 20235 372.23/373.29 c #Conflicts: 505000 | #Constraints: 21236 372.23/373.29 c #Conflicts: 506000 | #Constraints: 22236 372.23/373.29 c #Conflicts: 507000 | #Constraints: 23238 372.23/373.29 c #Conflicts: 508000 | #Constraints: 24239 372.23/373.29 c #Conflicts: 509000 | #Constraints: 25239 372.23/373.29 c #Conflicts: 510000 | #Constraints: 26239 372.23/373.29 c #Conflicts: 511000 | #Constraints: 27239 372.23/373.29 c #Conflicts: 512000 | #Constraints: 28239 372.23/373.29 c #Conflicts: 513000 | #Constraints: 29239 372.23/373.29 c #Conflicts: 514000 | #Constraints: 30240 372.23/373.29 c #Conflicts: 515000 | #Constraints: 31240 372.23/373.29 c #Conflicts: 516000 | #Constraints: 32240 372.23/373.29 c INPROCESSING 372.23/373.29 c GARBAGE COLLECT 372.23/373.29 c rational objective 4.7408 384.70/385.77 c #Conflicts: 517000 | #Constraints: 18745 384.70/385.77 c #Conflicts: 518000 | #Constraints: 19745 384.70/385.77 c #Conflicts: 519000 | #Constraints: 20745 384.70/385.77 c #Conflicts: 520000 | #Constraints: 21745 384.70/385.77 c #Conflicts: 521000 | #Constraints: 22745 384.70/385.77 c #Conflicts: 522000 | #Constraints: 23745 384.70/385.77 c #Conflicts: 523000 | #Constraints: 24745 384.70/385.77 c #Conflicts: 524000 | #Constraints: 25745 384.70/385.77 c #Conflicts: 525000 | #Constraints: 26745 384.70/385.77 c #Conflicts: 526000 | #Constraints: 27745 384.70/385.77 c #Conflicts: 527000 | #Constraints: 28745 384.70/385.77 c #Conflicts: 528000 | #Constraints: 29745 384.70/385.77 c #Conflicts: 529000 | #Constraints: 30745 384.70/385.77 c #Conflicts: 530000 | #Constraints: 31745 384.70/385.77 c #Conflicts: 531000 | #Constraints: 32745 384.70/385.77 c INPROCESSING 384.70/385.77 c GARBAGE COLLECT 384.70/385.77 c rational objective 4.74081 392.28/393.33 c #Conflicts: 532000 | #Constraints: 19185 392.28/393.33 c #Conflicts: 533000 | #Constraints: 20185 392.28/393.33 c #Conflicts: 534000 | #Constraints: 21187 392.28/393.33 c #Conflicts: 535000 | #Constraints: 22187 392.28/393.33 c #Conflicts: 536000 | #Constraints: 23187 392.28/393.33 c #Conflicts: 537000 | #Constraints: 24187 392.28/393.33 c #Conflicts: 538000 | #Constraints: 25187 392.28/393.33 c #Conflicts: 539000 | #Constraints: 26187 392.28/393.33 c #Conflicts: 540000 | #Constraints: 27187 392.28/393.33 c #Conflicts: 541000 | #Constraints: 28187 392.28/393.33 c #Conflicts: 542000 | #Constraints: 29187 392.28/393.33 c #Conflicts: 543000 | #Constraints: 30187 392.28/393.33 c #Conflicts: 544000 | #Constraints: 31187 392.28/393.33 c #Conflicts: 545000 | #Constraints: 32187 392.28/393.33 c #Conflicts: 546000 | #Constraints: 33188 392.28/393.33 c INPROCESSING 392.28/393.33 c GARBAGE COLLECT 392.28/393.33 c rational objective 4.74081 398.27/399.34 c #Conflicts: 547000 | #Constraints: 19509 398.27/399.34 c #Conflicts: 548000 | #Constraints: 20509 398.27/399.34 c #Conflicts: 549000 | #Constraints: 21509 398.27/399.34 c #Conflicts: 550000 | #Constraints: 22511 398.27/399.34 c #Conflicts: 551000 | #Constraints: 23511 398.27/399.34 c #Conflicts: 552000 | #Constraints: 24512 398.27/399.34 c #Conflicts: 553000 | #Constraints: 25512 398.27/399.34 c #Conflicts: 554000 | #Constraints: 26512 398.27/399.34 c #Conflicts: 555000 | #Constraints: 27512 398.27/399.34 c #Conflicts: 556000 | #Constraints: 28514 398.27/399.34 c #Conflicts: 557000 | #Constraints: 29514 398.27/399.34 c #Conflicts: 558000 | #Constraints: 30515 398.27/399.34 c #Conflicts: 559000 | #Constraints: 31515 398.27/399.34 c #Conflicts: 560000 | #Constraints: 32516 398.27/399.34 c #Conflicts: 561000 | #Constraints: 33516 398.27/399.34 c INPROCESSING 398.27/399.34 c GARBAGE COLLECT 398.27/399.34 c rational objective 4.74081 405.35/406.43 c #Conflicts: 562000 | #Constraints: 19643 405.35/406.43 c #Conflicts: 563000 | #Constraints: 20643 405.35/406.43 c #Conflicts: 564000 | #Constraints: 21643 405.35/406.43 c #Conflicts: 565000 | #Constraints: 22643 405.35/406.43 c #Conflicts: 566000 | #Constraints: 23643 405.35/406.43 c #Conflicts: 567000 | #Constraints: 24643 405.35/406.43 c #Conflicts: 568000 | #Constraints: 25643 405.35/406.43 c #Conflicts: 569000 | #Constraints: 26643 405.35/406.43 c #Conflicts: 570000 | #Constraints: 27643 405.35/406.43 c #Conflicts: 571000 | #Constraints: 28643 405.35/406.43 c #Conflicts: 572000 | #Constraints: 29644 405.35/406.43 c #Conflicts: 573000 | #Constraints: 30644 405.35/406.43 c #Conflicts: 574000 | #Constraints: 31644 405.35/406.43 c #Conflicts: 575000 | #Constraints: 32644 405.35/406.43 c #Conflicts: 576000 | #Constraints: 33644 405.35/406.43 c INPROCESSING 405.35/406.43 c GARBAGE COLLECT 405.35/406.43 c rational objective 4.74081 418.21/419.32 c #Conflicts: 577000 | #Constraints: 19656 418.21/419.32 c #Conflicts: 578000 | #Constraints: 20656 418.21/419.32 c #Conflicts: 579000 | #Constraints: 21657 418.21/419.32 c #Conflicts: 580000 | #Constraints: 22658 418.21/419.32 c #Conflicts: 581000 | #Constraints: 23659 418.21/419.32 c #Conflicts: 582000 | #Constraints: 24659 418.21/419.32 c #Conflicts: 583000 | #Constraints: 25659 418.21/419.32 c #Conflicts: 584000 | #Constraints: 26659 418.21/419.32 c #Conflicts: 585000 | #Constraints: 27659 418.21/419.32 c #Conflicts: 586000 | #Constraints: 28660 418.21/419.32 c #Conflicts: 587000 | #Constraints: 29661 418.21/419.32 c #Conflicts: 588000 | #Constraints: 30661 418.21/419.32 c #Conflicts: 589000 | #Constraints: 31661 418.21/419.32 c #Conflicts: 590000 | #Constraints: 32661 418.21/419.32 c #Conflicts: 591000 | #Constraints: 33661 418.21/419.32 c INPROCESSING 418.21/419.32 c GARBAGE COLLECT 418.21/419.32 c rational objective 4.74081 431.89/433.08 c #Conflicts: 592000 | #Constraints: 19455 431.89/433.08 c #Conflicts: 593000 | #Constraints: 20456 431.89/433.08 c #Conflicts: 594000 | #Constraints: 21456 431.89/433.08 c #Conflicts: 595000 | #Constraints: 22456 431.89/433.08 c #Conflicts: 596000 | #Constraints: 23457 431.89/433.08 c #Conflicts: 597000 | #Constraints: 24457 431.89/433.08 c #Conflicts: 598000 | #Constraints: 25457 431.89/433.08 c #Conflicts: 599000 | #Constraints: 26457 431.89/433.08 c #Conflicts: 600000 | #Constraints: 27457 431.89/433.08 c #Conflicts: 601000 | #Constraints: 28457 431.89/433.08 c #Conflicts: 602000 | #Constraints: 29458 431.89/433.08 c #Conflicts: 603000 | #Constraints: 30458 431.89/433.08 c #Conflicts: 604000 | #Constraints: 31458 431.89/433.08 c #Conflicts: 605000 | #Constraints: 32458 431.89/433.08 c #Conflicts: 606000 | #Constraints: 33458 431.89/433.08 c #Conflicts: 607000 | #Constraints: 34458 431.89/433.08 c INPROCESSING 431.89/433.08 c GARBAGE COLLECT 431.89/433.08 c rational objective 4.74081 437.77/438.97 c #Conflicts: 608000 | #Constraints: 20046 437.77/438.97 c #Conflicts: 609000 | #Constraints: 21046 437.77/438.97 c #Conflicts: 610000 | #Constraints: 22047 437.77/438.97 c #Conflicts: 611000 | #Constraints: 23048 437.77/438.97 c #Conflicts: 612000 | #Constraints: 24048 437.77/438.97 c #Conflicts: 613000 | #Constraints: 25048 437.77/438.97 c #Conflicts: 614000 | #Constraints: 26049 437.77/438.97 c #Conflicts: 615000 | #Constraints: 27053 437.77/438.97 c #Conflicts: 616000 | #Constraints: 28053 437.77/438.97 c #Conflicts: 617000 | #Constraints: 29053 437.77/438.97 c #Conflicts: 618000 | #Constraints: 30054 437.77/438.97 c #Conflicts: 619000 | #Constraints: 31054 437.77/438.97 c #Conflicts: 620000 | #Constraints: 32054 437.77/438.97 c #Conflicts: 621000 | #Constraints: 33055 437.77/438.97 c #Conflicts: 622000 | #Constraints: 34056 437.77/438.97 c #Conflicts: 623000 | #Constraints: 35057 437.77/438.97 c INPROCESSING 437.77/438.97 c GARBAGE COLLECT 437.77/438.97 c rational objective 4.74081 460.31/461.50 c #Conflicts: 624000 | #Constraints: 20444 460.31/461.50 c #Conflicts: 625000 | #Constraints: 21444 460.31/461.50 c #Conflicts: 626000 | #Constraints: 22444 460.31/461.50 c #Conflicts: 627000 | #Constraints: 23444 460.31/461.50 c #Conflicts: 628000 | #Constraints: 24445 460.31/461.50 c #Conflicts: 629000 | #Constraints: 25446 460.31/461.50 c #Conflicts: 630000 | #Constraints: 26447 460.31/461.50 c #Conflicts: 631000 | #Constraints: 27448 460.31/461.50 c #Conflicts: 632000 | #Constraints: 28448 460.31/461.50 c #Conflicts: 633000 | #Constraints: 29448 460.31/461.50 c #Conflicts: 634000 | #Constraints: 30448 460.31/461.50 c #Conflicts: 635000 | #Constraints: 31449 460.31/461.50 c #Conflicts: 636000 | #Constraints: 32449 460.31/461.50 c #Conflicts: 637000 | #Constraints: 33449 460.31/461.50 c #Conflicts: 638000 | #Constraints: 34449 460.31/461.50 c #Conflicts: 639000 | #Constraints: 35449 460.31/461.50 c INPROCESSING 460.31/461.50 c GARBAGE COLLECT 460.31/461.50 c rational objective 4.74081 471.48/472.71 c #Conflicts: 640000 | #Constraints: 20649 471.48/472.71 c #Conflicts: 641000 | #Constraints: 21652 471.48/472.71 c #Conflicts: 642000 | #Constraints: 22652 471.48/472.71 c #Conflicts: 643000 | #Constraints: 23652 471.48/472.71 c #Conflicts: 644000 | #Constraints: 24653 471.48/472.71 c #Conflicts: 645000 | #Constraints: 25654 471.48/472.71 c #Conflicts: 646000 | #Constraints: 26655 471.48/472.71 c #Conflicts: 647000 | #Constraints: 27655 471.48/472.71 c #Conflicts: 648000 | #Constraints: 28656 471.48/472.71 c #Conflicts: 649000 | #Constraints: 29657 471.48/472.71 c #Conflicts: 650000 | #Constraints: 30657 471.48/472.71 c #Conflicts: 651000 | #Constraints: 31657 471.48/472.71 c #Conflicts: 652000 | #Constraints: 32657 471.48/472.71 c #Conflicts: 653000 | #Constraints: 33657 471.48/472.71 c #Conflicts: 654000 | #Constraints: 34658 471.48/472.71 c #Conflicts: 655000 | #Constraints: 35658 471.48/472.71 c INPROCESSING 471.48/472.71 c GARBAGE COLLECT 471.48/472.71 c rational objective 4.74081 483.94/485.24 c #Conflicts: 656000 | #Constraints: 20640 483.94/485.24 c #Conflicts: 657000 | #Constraints: 21640 483.94/485.24 c #Conflicts: 658000 | #Constraints: 22640 483.94/485.24 c #Conflicts: 659000 | #Constraints: 23641 483.94/485.24 c #Conflicts: 660000 | #Constraints: 24642 483.94/485.24 c #Conflicts: 661000 | #Constraints: 25644 483.94/485.24 c #Conflicts: 662000 | #Constraints: 26644 483.94/485.24 c #Conflicts: 663000 | #Constraints: 27644 483.94/485.24 c #Conflicts: 664000 | #Constraints: 28644 483.94/485.24 c #Conflicts: 665000 | #Constraints: 29644 483.94/485.24 c #Conflicts: 666000 | #Constraints: 30645 483.94/485.24 c #Conflicts: 667000 | #Constraints: 31646 483.94/485.24 c #Conflicts: 668000 | #Constraints: 32646 483.94/485.24 c #Conflicts: 669000 | #Constraints: 33647 483.94/485.24 c #Conflicts: 670000 | #Constraints: 34648 483.94/485.24 c #Conflicts: 671000 | #Constraints: 35649 483.94/485.24 c INPROCESSING 483.94/485.24 c GARBAGE COLLECT 483.94/485.24 c rational objective 4.74081 497.11/498.41 c #Conflicts: 672000 | #Constraints: 20442 497.11/498.41 c #Conflicts: 673000 | #Constraints: 21442 497.11/498.41 c #Conflicts: 674000 | #Constraints: 22443 497.11/498.41 c #Conflicts: 675000 | #Constraints: 23443 497.11/498.41 c #Conflicts: 676000 | #Constraints: 24445 497.11/498.41 c #Conflicts: 677000 | #Constraints: 25445 497.11/498.41 c #Conflicts: 678000 | #Constraints: 26446 497.11/498.41 c #Conflicts: 679000 | #Constraints: 27448 497.11/498.41 c #Conflicts: 680000 | #Constraints: 28449 497.11/498.41 c #Conflicts: 681000 | #Constraints: 29449 497.11/498.41 c #Conflicts: 682000 | #Constraints: 30449 497.11/498.41 c #Conflicts: 683000 | #Constraints: 31449 497.11/498.41 c #Conflicts: 684000 | #Constraints: 32449 497.11/498.41 c #Conflicts: 685000 | #Constraints: 33449 497.11/498.41 c #Conflicts: 686000 | #Constraints: 34451 497.11/498.41 c #Conflicts: 687000 | #Constraints: 35451 497.11/498.41 c #Conflicts: 688000 | #Constraints: 36453 497.11/498.41 c INPROCESSING 497.11/498.41 c GARBAGE COLLECT 497.11/498.41 c rational objective 4.74094 506.28/507.68 c #Conflicts: 689000 | #Constraints: 21054 506.28/507.68 c #Conflicts: 690000 | #Constraints: 22055 506.28/507.68 c #Conflicts: 691000 | #Constraints: 23055 506.28/507.68 c #Conflicts: 692000 | #Constraints: 24055 506.28/507.68 c #Conflicts: 693000 | #Constraints: 25056 506.28/507.68 c #Conflicts: 694000 | #Constraints: 26057 506.28/507.68 c #Conflicts: 695000 | #Constraints: 27057 506.28/507.68 c #Conflicts: 696000 | #Constraints: 28057 506.28/507.68 c #Conflicts: 697000 | #Constraints: 29058 506.28/507.68 c #Conflicts: 698000 | #Constraints: 30058 506.28/507.68 c #Conflicts: 699000 | #Constraints: 31058 506.28/507.68 c #Conflicts: 700000 | #Constraints: 32058 506.28/507.68 c #Conflicts: 701000 | #Constraints: 33058 506.28/507.68 c #Conflicts: 702000 | #Constraints: 34058 506.28/507.68 c #Conflicts: 703000 | #Constraints: 35059 506.28/507.68 c #Conflicts: 704000 | #Constraints: 36059 506.28/507.68 c #Conflicts: 705000 | #Constraints: 37060 506.28/507.68 c INPROCESSING 506.28/507.68 c GARBAGE COLLECT 506.28/507.68 c rational objective 4.74094 512.68/514.08 c #Conflicts: 706000 | #Constraints: 21448 512.68/514.08 c #Conflicts: 707000 | #Constraints: 22449 512.68/514.08 c #Conflicts: 708000 | #Constraints: 23450 512.68/514.08 c #Conflicts: 709000 | #Constraints: 24451 512.68/514.08 c #Conflicts: 710000 | #Constraints: 25452 512.68/514.08 c #Conflicts: 711000 | #Constraints: 26453 512.68/514.08 c #Conflicts: 712000 | #Constraints: 27453 512.68/514.08 c #Conflicts: 713000 | #Constraints: 28454 512.68/514.08 c #Conflicts: 714000 | #Constraints: 29454 512.68/514.08 c #Conflicts: 715000 | #Constraints: 30454 512.68/514.08 c #Conflicts: 716000 | #Constraints: 31456 512.68/514.08 c #Conflicts: 717000 | #Constraints: 32457 512.68/514.08 c #Conflicts: 718000 | #Constraints: 33457 512.68/514.08 c #Conflicts: 719000 | #Constraints: 34460 512.68/514.08 c #Conflicts: 720000 | #Constraints: 35460 512.68/514.08 c #Conflicts: 721000 | #Constraints: 36461 512.68/514.08 c #Conflicts: 722000 | #Constraints: 37461 512.68/514.08 c INPROCESSING 512.68/514.08 c GARBAGE COLLECT 512.68/514.08 c rational objective 4.74094 517.46/518.86 c #Conflicts: 723000 | #Constraints: 21669 517.46/518.86 c #Conflicts: 724000 | #Constraints: 22669 517.46/518.86 c #Conflicts: 725000 | #Constraints: 23670 517.46/518.86 c #Conflicts: 726000 | #Constraints: 24672 517.46/518.86 c #Conflicts: 727000 | #Constraints: 25673 517.46/518.86 c #Conflicts: 728000 | #Constraints: 26673 517.46/518.86 c #Conflicts: 729000 | #Constraints: 27673 517.46/518.86 c #Conflicts: 730000 | #Constraints: 28673 517.46/518.86 c #Conflicts: 731000 | #Constraints: 29674 517.46/518.86 c #Conflicts: 732000 | #Constraints: 30674 517.46/518.86 c #Conflicts: 733000 | #Constraints: 31675 517.46/518.86 c #Conflicts: 734000 | #Constraints: 32675 517.46/518.86 c #Conflicts: 735000 | #Constraints: 33675 517.46/518.86 c #Conflicts: 736000 | #Constraints: 34675 517.46/518.86 c #Conflicts: 737000 | #Constraints: 35675 517.46/518.86 c #Conflicts: 738000 | #Constraints: 36675 517.46/518.86 c #Conflicts: 739000 | #Constraints: 37676 517.46/518.86 c INPROCESSING 517.46/518.86 c GARBAGE COLLECT 517.46/518.86 c rational objective 4.74094 533.52/534.92 c #Conflicts: 740000 | #Constraints: 21677 533.52/534.92 c #Conflicts: 741000 | #Constraints: 22677 533.52/534.92 c #Conflicts: 742000 | #Constraints: 23677 533.52/534.92 c #Conflicts: 743000 | #Constraints: 24678 533.52/534.92 c #Conflicts: 744000 | #Constraints: 25678 533.52/534.92 c #Conflicts: 745000 | #Constraints: 26678 533.52/534.92 c #Conflicts: 746000 | #Constraints: 27678 533.52/534.92 c #Conflicts: 747000 | #Constraints: 28679 533.52/534.92 c #Conflicts: 748000 | #Constraints: 29680 533.52/534.92 c #Conflicts: 749000 | #Constraints: 30680 533.52/534.92 c #Conflicts: 750000 | #Constraints: 31681 533.52/534.92 c #Conflicts: 751000 | #Constraints: 32683 533.52/534.92 c #Conflicts: 752000 | #Constraints: 33683 533.52/534.92 c #Conflicts: 753000 | #Constraints: 34683 533.52/534.92 c #Conflicts: 754000 | #Constraints: 35683 533.52/534.92 c #Conflicts: 755000 | #Constraints: 36683 533.52/534.92 c #Conflicts: 756000 | #Constraints: 37683 533.52/534.92 c INPROCESSING 533.52/534.92 c GARBAGE COLLECT 533.52/534.92 c rational objective 4.74157 544.49/545.98 c #Conflicts: 757000 | #Constraints: 21468 544.49/545.98 c #Conflicts: 758000 | #Constraints: 22469 544.49/545.98 c #Conflicts: 759000 | #Constraints: 23469 544.49/545.98 c #Conflicts: 760000 | #Constraints: 24469 544.49/545.98 c #Conflicts: 761000 | #Constraints: 25469 544.49/545.98 c #Conflicts: 762000 | #Constraints: 26470 544.49/545.98 c #Conflicts: 763000 | #Constraints: 27472 544.49/545.98 c #Conflicts: 764000 | #Constraints: 28473 544.49/545.98 c #Conflicts: 765000 | #Constraints: 29473 544.49/545.98 c #Conflicts: 766000 | #Constraints: 30473 544.49/545.98 c #Conflicts: 767000 | #Constraints: 31473 544.49/545.98 c #Conflicts: 768000 | #Constraints: 32474 544.49/545.98 c #Conflicts: 769000 | #Constraints: 33474 544.49/545.98 c #Conflicts: 770000 | #Constraints: 34475 544.49/545.98 c #Conflicts: 771000 | #Constraints: 35476 544.49/545.98 c #Conflicts: 772000 | #Constraints: 36476 544.49/545.98 c #Conflicts: 773000 | #Constraints: 37477 544.49/545.98 c #Conflicts: 774000 | #Constraints: 38479 544.49/545.98 c INPROCESSING 544.49/545.98 c GARBAGE COLLECT 544.49/545.98 c rational objective 4.74157 565.04/566.51 c #Conflicts: 775000 | #Constraints: 22065 565.04/566.51 c #Conflicts: 776000 | #Constraints: 23066 565.04/566.51 c #Conflicts: 777000 | #Constraints: 24066 565.04/566.51 c #Conflicts: 778000 | #Constraints: 25066 565.04/566.51 c #Conflicts: 779000 | #Constraints: 26066 565.04/566.51 c #Conflicts: 780000 | #Constraints: 27066 565.04/566.51 c #Conflicts: 781000 | #Constraints: 28066 565.04/566.51 c #Conflicts: 782000 | #Constraints: 29067 565.04/566.51 c #Conflicts: 783000 | #Constraints: 30068 565.04/566.51 c #Conflicts: 784000 | #Constraints: 31068 565.04/566.51 c #Conflicts: 785000 | #Constraints: 32068 565.04/566.51 c #Conflicts: 786000 | #Constraints: 33068 565.04/566.51 c #Conflicts: 787000 | #Constraints: 34068 565.04/566.51 c #Conflicts: 788000 | #Constraints: 35068 565.04/566.51 c #Conflicts: 789000 | #Constraints: 36068 565.04/566.51 c #Conflicts: 790000 | #Constraints: 37070 565.04/566.51 c #Conflicts: 791000 | #Constraints: 38070 565.04/566.51 c #Conflicts: 792000 | #Constraints: 39071 565.04/566.51 c INPROCESSING 565.04/566.51 c GARBAGE COLLECT 565.04/566.51 c rational objective 4.74157 578.41/579.90 c #Conflicts: 793000 | #Constraints: 22435 578.41/579.90 c #Conflicts: 794000 | #Constraints: 23437 578.41/579.90 c #Conflicts: 795000 | #Constraints: 24437 578.41/579.90 c #Conflicts: 796000 | #Constraints: 25438 578.41/579.90 c #Conflicts: 797000 | #Constraints: 26439 578.41/579.90 c #Conflicts: 798000 | #Constraints: 27439 578.41/579.90 c #Conflicts: 799000 | #Constraints: 28439 578.41/579.90 c #Conflicts: 800000 | #Constraints: 29440 578.41/579.90 c #Conflicts: 801000 | #Constraints: 30440 578.41/579.90 c #Conflicts: 802000 | #Constraints: 31441 578.41/579.90 c #Conflicts: 803000 | #Constraints: 32441 578.41/579.90 c #Conflicts: 804000 | #Constraints: 33441 578.41/579.90 c #Conflicts: 805000 | #Constraints: 34441 578.41/579.90 c #Conflicts: 806000 | #Constraints: 35441 578.41/579.90 c #Conflicts: 807000 | #Constraints: 36441 578.41/579.90 c #Conflicts: 808000 | #Constraints: 37442 578.41/579.90 c #Conflicts: 809000 | #Constraints: 38443 578.41/579.90 c #Conflicts: 810000 | #Constraints: 39443 578.41/579.90 c INPROCESSING 578.41/579.90 c GARBAGE COLLECT 578.41/579.90 c rational objective 4.74157 593.17/594.74 c #Conflicts: 811000 | #Constraints: 22642 593.17/594.74 c #Conflicts: 812000 | #Constraints: 23642 593.17/594.74 c #Conflicts: 813000 | #Constraints: 24642 593.17/594.74 c #Conflicts: 814000 | #Constraints: 25642 593.17/594.74 c #Conflicts: 815000 | #Constraints: 26642 593.17/594.74 c #Conflicts: 816000 | #Constraints: 27642 593.17/594.74 c #Conflicts: 817000 | #Constraints: 28642 593.17/594.74 c #Conflicts: 818000 | #Constraints: 29642 593.17/594.74 c #Conflicts: 819000 | #Constraints: 30642 593.17/594.74 c #Conflicts: 820000 | #Constraints: 31642 593.17/594.74 c #Conflicts: 821000 | #Constraints: 32642 593.17/594.74 c #Conflicts: 822000 | #Constraints: 33642 593.17/594.74 c #Conflicts: 823000 | #Constraints: 34642 593.17/594.74 c #Conflicts: 824000 | #Constraints: 35642 593.17/594.74 c #Conflicts: 825000 | #Constraints: 36642 593.17/594.74 c #Conflicts: 826000 | #Constraints: 37643 593.17/594.74 c #Conflicts: 827000 | #Constraints: 38643 593.17/594.74 c #Conflicts: 828000 | #Constraints: 39643 593.17/594.74 c INPROCESSING 593.17/594.74 c GARBAGE COLLECT 593.17/594.74 c rational objective 4.74157 611.43/613.08 c #Conflicts: 829000 | #Constraints: 22642 611.43/613.08 c #Conflicts: 830000 | #Constraints: 23643 611.43/613.08 c #Conflicts: 831000 | #Constraints: 24645 611.43/613.08 c #Conflicts: 832000 | #Constraints: 25646 611.43/613.08 c #Conflicts: 833000 | #Constraints: 26648 611.43/613.08 c #Conflicts: 834000 | #Constraints: 27648 611.43/613.08 c #Conflicts: 835000 | #Constraints: 28648 611.43/613.08 c #Conflicts: 836000 | #Constraints: 29649 611.43/613.08 c #Conflicts: 837000 | #Constraints: 30649 611.43/613.08 c #Conflicts: 838000 | #Constraints: 31649 611.43/613.08 c #Conflicts: 839000 | #Constraints: 32649 611.43/613.08 c #Conflicts: 840000 | #Constraints: 33650 611.43/613.08 c #Conflicts: 841000 | #Constraints: 34651 611.43/613.08 c #Conflicts: 842000 | #Constraints: 35652 611.43/613.08 c #Conflicts: 843000 | #Constraints: 36653 611.43/613.08 c #Conflicts: 844000 | #Constraints: 37656 611.43/613.08 c #Conflicts: 845000 | #Constraints: 38656 611.43/613.08 c #Conflicts: 846000 | #Constraints: 39656 611.43/613.08 c INPROCESSING 611.43/613.08 c GARBAGE COLLECT 611.43/613.08 c rational objective 4.74157 624.69/626.38 c #Conflicts: 847000 | #Constraints: 22429 624.69/626.38 c #Conflicts: 848000 | #Constraints: 23430 624.69/626.38 c #Conflicts: 849000 | #Constraints: 24430 624.69/626.38 c #Conflicts: 850000 | #Constraints: 25430 624.69/626.38 c #Conflicts: 851000 | #Constraints: 26431 624.69/626.38 c #Conflicts: 852000 | #Constraints: 27431 624.69/626.38 c #Conflicts: 853000 | #Constraints: 28431 624.69/626.38 c #Conflicts: 854000 | #Constraints: 29431 624.69/626.38 c #Conflicts: 855000 | #Constraints: 30432 624.69/626.38 c #Conflicts: 856000 | #Constraints: 31433 624.69/626.38 c #Conflicts: 857000 | #Constraints: 32433 624.69/626.38 c #Conflicts: 858000 | #Constraints: 33433 624.69/626.38 c #Conflicts: 859000 | #Constraints: 34433 624.69/626.38 c #Conflicts: 860000 | #Constraints: 35434 624.69/626.38 c #Conflicts: 861000 | #Constraints: 36434 624.69/626.38 c #Conflicts: 862000 | #Constraints: 37434 624.69/626.38 c #Conflicts: 863000 | #Constraints: 38434 624.69/626.38 c #Conflicts: 864000 | #Constraints: 39434 624.69/626.38 c #Conflicts: 865000 | #Constraints: 40435 624.69/626.38 c INPROCESSING 624.69/626.38 c GARBAGE COLLECT 624.69/626.38 c rational objective 4.74157 638.95/640.67 c #Conflicts: 866000 | #Constraints: 23020 638.95/640.67 c #Conflicts: 867000 | #Constraints: 24020 638.95/640.67 c #Conflicts: 868000 | #Constraints: 25020 638.95/640.67 c #Conflicts: 869000 | #Constraints: 26022 638.95/640.67 c #Conflicts: 870000 | #Constraints: 27022 638.95/640.67 c #Conflicts: 871000 | #Constraints: 28023 638.95/640.67 c #Conflicts: 872000 | #Constraints: 29023 638.95/640.67 c #Conflicts: 873000 | #Constraints: 30024 638.95/640.67 c #Conflicts: 874000 | #Constraints: 31025 638.95/640.67 c #Conflicts: 875000 | #Constraints: 32025 638.95/640.67 c #Conflicts: 876000 | #Constraints: 33026 638.95/640.67 c #Conflicts: 877000 | #Constraints: 34026 638.95/640.67 c #Conflicts: 878000 | #Constraints: 35027 638.95/640.67 c #Conflicts: 879000 | #Constraints: 36028 638.95/640.67 c #Conflicts: 880000 | #Constraints: 37028 638.95/640.67 c #Conflicts: 881000 | #Constraints: 38028 638.95/640.67 c #Conflicts: 882000 | #Constraints: 39028 638.95/640.67 c #Conflicts: 883000 | #Constraints: 40029 638.95/640.67 c #Conflicts: 884000 | #Constraints: 41030 638.95/640.67 c INPROCESSING 638.95/640.67 c GARBAGE COLLECT 638.95/640.67 c rational objective 4.74157 663.09/664.82 c #Conflicts: 885000 | #Constraints: 23437 663.09/664.82 c #Conflicts: 886000 | #Constraints: 24437 663.09/664.82 c #Conflicts: 887000 | #Constraints: 25437 663.09/664.82 c #Conflicts: 888000 | #Constraints: 26437 663.09/664.82 c #Conflicts: 889000 | #Constraints: 27437 663.09/664.82 c #Conflicts: 890000 | #Constraints: 28437 663.09/664.82 c #Conflicts: 891000 | #Constraints: 29437 663.09/664.82 c #Conflicts: 892000 | #Constraints: 30437 663.09/664.82 c #Conflicts: 893000 | #Constraints: 31438 663.09/664.82 c #Conflicts: 894000 | #Constraints: 32438 663.09/664.82 c #Conflicts: 895000 | #Constraints: 33439 663.09/664.82 c #Conflicts: 896000 | #Constraints: 34439 663.09/664.82 c #Conflicts: 897000 | #Constraints: 35439 663.09/664.82 c #Conflicts: 898000 | #Constraints: 36439 663.09/664.82 c #Conflicts: 899000 | #Constraints: 37439 663.09/664.82 c #Conflicts: 900000 | #Constraints: 38439 663.09/664.82 c #Conflicts: 901000 | #Constraints: 39439 663.09/664.82 c #Conflicts: 902000 | #Constraints: 40439 663.09/664.82 c #Conflicts: 903000 | #Constraints: 41439 663.09/664.82 c INPROCESSING 663.09/664.82 c GARBAGE COLLECT 663.09/664.82 c rational objective 4.74157 687.34/689.14 c #Conflicts: 904000 | #Constraints: 23654 687.34/689.14 c #Conflicts: 905000 | #Constraints: 24654 687.34/689.14 c #Conflicts: 906000 | #Constraints: 25654 687.34/689.14 c #Conflicts: 907000 | #Constraints: 26654 687.34/689.14 c #Conflicts: 908000 | #Constraints: 27654 687.34/689.14 c #Conflicts: 909000 | #Constraints: 28654 687.34/689.14 c #Conflicts: 910000 | #Constraints: 29654 687.34/689.14 c #Conflicts: 911000 | #Constraints: 30654 687.34/689.14 c #Conflicts: 912000 | #Constraints: 31654 687.34/689.14 c #Conflicts: 913000 | #Constraints: 32655 687.34/689.14 c #Conflicts: 914000 | #Constraints: 33656 687.34/689.14 c #Conflicts: 915000 | #Constraints: 34656 687.34/689.14 c #Conflicts: 916000 | #Constraints: 35656 687.34/689.14 c #Conflicts: 917000 | #Constraints: 36656 687.34/689.14 c #Conflicts: 918000 | #Constraints: 37656 687.34/689.14 c #Conflicts: 919000 | #Constraints: 38656 687.34/689.14 c #Conflicts: 920000 | #Constraints: 39656 687.34/689.14 c #Conflicts: 921000 | #Constraints: 40656 687.34/689.14 c #Conflicts: 922000 | #Constraints: 41656 687.34/689.14 c INPROCESSING 687.34/689.14 c GARBAGE COLLECT 687.34/689.14 c rational objective 4.74157 699.89/701.72 c #Conflicts: 923000 | #Constraints: 23653 699.89/701.72 c #Conflicts: 924000 | #Constraints: 24654 699.89/701.72 c #Conflicts: 925000 | #Constraints: 25654 699.89/701.72 c #Conflicts: 926000 | #Constraints: 26654 699.89/701.72 c #Conflicts: 927000 | #Constraints: 27655 699.89/701.72 c #Conflicts: 928000 | #Constraints: 28655 699.89/701.72 c #Conflicts: 929000 | #Constraints: 29655 699.89/701.72 c #Conflicts: 930000 | #Constraints: 30655 699.89/701.72 c #Conflicts: 931000 | #Constraints: 31656 699.89/701.72 c #Conflicts: 932000 | #Constraints: 32656 699.89/701.72 c #Conflicts: 933000 | #Constraints: 33656 699.89/701.72 c #Conflicts: 934000 | #Constraints: 34656 699.89/701.72 c #Conflicts: 935000 | #Constraints: 35657 699.89/701.72 c #Conflicts: 936000 | #Constraints: 36657 699.89/701.72 c #Conflicts: 937000 | #Constraints: 37657 699.89/701.72 c #Conflicts: 938000 | #Constraints: 38657 699.89/701.72 c #Conflicts: 939000 | #Constraints: 39658 699.89/701.72 c #Conflicts: 940000 | #Constraints: 40658 699.89/701.72 c #Conflicts: 941000 | #Constraints: 41659 699.89/701.72 c INPROCESSING 699.89/701.72 c GARBAGE COLLECT 699.89/701.72 c rational objective 4.74157 762.22/764.28 c #Conflicts: 942000 | #Constraints: 23479 762.22/764.28 c #Conflicts: 943000 | #Constraints: 24479 762.22/764.28 c #Conflicts: 944000 | #Constraints: 25480 762.22/764.28 c #Conflicts: 945000 | #Constraints: 26480 762.22/764.28 c #Conflicts: 946000 | #Constraints: 27688 762.22/764.28 c #Conflicts: 947000 | #Constraints: 29315 762.22/764.28 c #Conflicts: 948000 | #Constraints: 30770 762.22/764.28 c #Conflicts: 949000 | #Constraints: 31770 762.22/764.28 c #Conflicts: 950000 | #Constraints: 32770 762.22/764.28 c #Conflicts: 951000 | #Constraints: 33770 762.22/764.28 c #Conflicts: 952000 | #Constraints: 34770 762.22/764.28 c #Conflicts: 953000 | #Constraints: 35770 762.22/764.28 c #Conflicts: 954000 | #Constraints: 36770 762.22/764.28 c #Conflicts: 955000 | #Constraints: 37770 762.22/764.28 c #Conflicts: 956000 | #Constraints: 38770 762.22/764.28 c #Conflicts: 957000 | #Constraints: 39770 762.22/764.28 c #Conflicts: 958000 | #Constraints: 40770 762.22/764.28 c #Conflicts: 959000 | #Constraints: 41770 762.22/764.28 c #Conflicts: 960000 | #Constraints: 42770 762.22/764.28 c #Conflicts: 961000 | #Constraints: 43770 762.22/764.28 c INPROCESSING 762.22/764.28 c GARBAGE COLLECT 762.22/764.28 c rational objective 4.74157 774.10/776.11 c #Conflicts: 962000 | #Constraints: 24731 774.10/776.11 c #Conflicts: 963000 | #Constraints: 25733 774.10/776.11 c #Conflicts: 964000 | #Constraints: 26735 774.10/776.11 c #Conflicts: 965000 | #Constraints: 27736 774.10/776.11 c #Conflicts: 966000 | #Constraints: 28738 774.10/776.11 c #Conflicts: 967000 | #Constraints: 29740 774.10/776.11 c #Conflicts: 968000 | #Constraints: 30740 774.10/776.11 c #Conflicts: 969000 | #Constraints: 31741 774.10/776.11 c #Conflicts: 970000 | #Constraints: 32741 774.10/776.11 c #Conflicts: 971000 | #Constraints: 33744 774.10/776.11 c #Conflicts: 972000 | #Constraints: 34744 774.10/776.11 c #Conflicts: 973000 | #Constraints: 35744 774.10/776.11 c #Conflicts: 974000 | #Constraints: 36745 774.10/776.11 c #Conflicts: 975000 | #Constraints: 37746 774.10/776.11 c #Conflicts: 976000 | #Constraints: 38748 774.10/776.11 c #Conflicts: 977000 | #Constraints: 39748 774.10/776.11 c #Conflicts: 978000 | #Constraints: 40748 774.10/776.11 c #Conflicts: 979000 | #Constraints: 41748 774.10/776.11 c #Conflicts: 980000 | #Constraints: 42748 774.10/776.11 c #Conflicts: 981000 | #Constraints: 43748 774.10/776.11 c INPROCESSING 774.10/776.11 c GARBAGE COLLECT 774.10/776.11 c rational objective 4.74157 778.77/780.81 c #Conflicts: 982000 | #Constraints: 24792 778.77/780.81 c #Conflicts: 983000 | #Constraints: 25792 778.77/780.81 c #Conflicts: 984000 | #Constraints: 26792 778.77/780.81 c #Conflicts: 985000 | #Constraints: 27792 778.77/780.81 c #Conflicts: 986000 | #Constraints: 28792 778.77/780.81 c #Conflicts: 987000 | #Constraints: 29792 778.77/780.81 c #Conflicts: 988000 | #Constraints: 30792 778.77/780.81 c #Conflicts: 989000 | #Constraints: 31794 778.77/780.81 c #Conflicts: 990000 | #Constraints: 32794 778.77/780.81 c #Conflicts: 991000 | #Constraints: 33794 778.77/780.81 c #Conflicts: 992000 | #Constraints: 34794 778.77/780.81 c #Conflicts: 993000 | #Constraints: 35794 778.77/780.81 c #Conflicts: 994000 | #Constraints: 36794 778.77/780.81 c #Conflicts: 995000 | #Constraints: 37794 778.77/780.81 c #Conflicts: 996000 | #Constraints: 38794 778.77/780.81 c #Conflicts: 997000 | #Constraints: 39794 778.77/780.81 c #Conflicts: 998000 | #Constraints: 40794 778.77/780.81 c #Conflicts: 999000 | #Constraints: 41794 778.77/780.81 c #Conflicts: 1000000 | #Constraints: 42794 778.77/780.81 c #Conflicts: 1001000 | #Constraints: 43794 778.77/780.81 c INPROCESSING 778.77/780.81 c GARBAGE COLLECT 778.77/780.81 c rational objective 4.74157 792.24/794.32 c #Conflicts: 1002000 | #Constraints: 24866 792.24/794.32 c #Conflicts: 1003000 | #Constraints: 25868 792.24/794.32 c #Conflicts: 1004000 | #Constraints: 26868 792.24/794.32 c #Conflicts: 1005000 | #Constraints: 27869 792.24/794.32 c #Conflicts: 1006000 | #Constraints: 28871 792.24/794.32 c #Conflicts: 1007000 | #Constraints: 29871 792.24/794.32 c #Conflicts: 1008000 | #Constraints: 30872 792.24/794.32 c #Conflicts: 1009000 | #Constraints: 31873 792.24/794.32 c #Conflicts: 1010000 | #Constraints: 32875 792.24/794.32 c #Conflicts: 1011000 | #Constraints: 33877 792.24/794.32 c #Conflicts: 1012000 | #Constraints: 34877 792.24/794.32 c #Conflicts: 1013000 | #Constraints: 35878 792.24/794.32 c #Conflicts: 1014000 | #Constraints: 36878 792.24/794.32 c #Conflicts: 1015000 | #Constraints: 37879 792.24/794.32 c #Conflicts: 1016000 | #Constraints: 38879 792.24/794.32 c #Conflicts: 1017000 | #Constraints: 39880 792.24/794.32 c #Conflicts: 1018000 | #Constraints: 40880 792.24/794.32 c #Conflicts: 1019000 | #Constraints: 41880 792.24/794.32 c #Conflicts: 1020000 | #Constraints: 42881 792.24/794.32 c #Conflicts: 1021000 | #Constraints: 43881 792.24/794.32 c INPROCESSING 792.24/794.32 c GARBAGE COLLECT 792.24/794.32 c rational objective 4.74157 826.45/828.66 c #Conflicts: 1022000 | #Constraints: 24784 826.45/828.66 c #Conflicts: 1023000 | #Constraints: 25784 826.45/828.66 c #Conflicts: 1024000 | #Constraints: 26784 826.45/828.66 c #Conflicts: 1025000 | #Constraints: 27784 826.45/828.66 c #Conflicts: 1026000 | #Constraints: 28785 826.45/828.66 c #Conflicts: 1027000 | #Constraints: 29785 826.45/828.66 c #Conflicts: 1028000 | #Constraints: 30786 826.45/828.66 c #Conflicts: 1029000 | #Constraints: 31786 826.45/828.66 c #Conflicts: 1030000 | #Constraints: 32788 826.45/828.66 c #Conflicts: 1031000 | #Constraints: 33788 826.45/828.66 c #Conflicts: 1032000 | #Constraints: 34788 826.45/828.66 c #Conflicts: 1033000 | #Constraints: 35789 826.45/828.66 c #Conflicts: 1034000 | #Constraints: 36789 826.45/828.66 c #Conflicts: 1035000 | #Constraints: 37789 826.45/828.66 c #Conflicts: 1036000 | #Constraints: 38789 826.45/828.66 c #Conflicts: 1037000 | #Constraints: 39789 826.45/828.66 c #Conflicts: 1038000 | #Constraints: 40789 826.45/828.66 c #Conflicts: 1039000 | #Constraints: 41790 826.45/828.66 c #Conflicts: 1040000 | #Constraints: 42790 826.45/828.66 c #Conflicts: 1041000 | #Constraints: 43790 826.45/828.66 c INPROCESSING 826.45/828.66 c GARBAGE COLLECT 826.45/828.66 c rational objective 4.7427 953.60/956.13 c #Conflicts: 1042000 | #Constraints: 24537 953.60/956.13 c #Conflicts: 1043000 | #Constraints: 25537 953.60/956.13 c #Conflicts: 1044000 | #Constraints: 26537 953.60/956.13 c #Conflicts: 1045000 | #Constraints: 27537 953.60/956.13 c #Conflicts: 1046000 | #Constraints: 28537 953.60/956.13 c #Conflicts: 1047000 | #Constraints: 29537 953.60/956.13 c #Conflicts: 1048000 | #Constraints: 30537 953.60/956.13 c #Conflicts: 1049000 | #Constraints: 31537 953.60/956.13 c #Conflicts: 1050000 | #Constraints: 32537 953.60/956.13 c #Conflicts: 1051000 | #Constraints: 33537 953.60/956.13 c #Conflicts: 1052000 | #Constraints: 34537 953.60/956.13 c #Conflicts: 1053000 | #Constraints: 35537 953.60/956.13 c #Conflicts: 1054000 | #Constraints: 36537 953.60/956.13 c #Conflicts: 1055000 | #Constraints: 37537 953.60/956.13 c #Conflicts: 1056000 | #Constraints: 38537 953.60/956.13 c #Conflicts: 1057000 | #Constraints: 39537 953.60/956.13 c #Conflicts: 1058000 | #Constraints: 40537 953.60/956.13 c #Conflicts: 1059000 | #Constraints: 41537 953.60/956.13 c #Conflicts: 1060000 | #Constraints: 42537 953.60/956.13 c #Conflicts: 1061000 | #Constraints: 43537 953.60/956.13 c #Conflicts: 1062000 | #Constraints: 44537 953.60/956.13 c INPROCESSING 953.60/956.13 c GARBAGE COLLECT 953.60/956.13 c rational objective 4.74272 960.67/963.25 c #Conflicts: 1063000 | #Constraints: 25123 960.67/963.25 c #Conflicts: 1064000 | #Constraints: 26123 960.67/963.25 c #Conflicts: 1065000 | #Constraints: 27124 960.67/963.25 c #Conflicts: 1066000 | #Constraints: 28125 960.67/963.25 c #Conflicts: 1067000 | #Constraints: 29126 960.67/963.25 c #Conflicts: 1068000 | #Constraints: 30126 960.67/963.25 c #Conflicts: 1069000 | #Constraints: 31126 960.67/963.25 c #Conflicts: 1070000 | #Constraints: 32128 960.67/963.25 c #Conflicts: 1071000 | #Constraints: 33128 960.67/963.25 c #Conflicts: 1072000 | #Constraints: 34128 960.67/963.25 c #Conflicts: 1073000 | #Constraints: 35128 960.67/963.25 c #Conflicts: 1074000 | #Constraints: 36128 960.67/963.25 c #Conflicts: 1075000 | #Constraints: 37128 960.67/963.25 c #Conflicts: 1076000 | #Constraints: 38129 960.67/963.25 c #Conflicts: 1077000 | #Constraints: 39129 960.67/963.25 c #Conflicts: 1078000 | #Constraints: 40129 960.67/963.25 c #Conflicts: 1079000 | #Constraints: 41129 960.67/963.25 c #Conflicts: 1080000 | #Constraints: 42129 960.67/963.25 c #Conflicts: 1081000 | #Constraints: 43129 960.67/963.25 c #Conflicts: 1082000 | #Constraints: 44130 960.67/963.25 c #Conflicts: 1083000 | #Constraints: 45131 960.67/963.25 c INPROCESSING 960.67/963.25 c GARBAGE COLLECT 960.67/963.25 c rational objective 4.74273 966.36/968.90 c #Conflicts: 1084000 | #Constraints: 25514 966.36/968.90 c #Conflicts: 1085000 | #Constraints: 26515 966.36/968.90 c #Conflicts: 1086000 | #Constraints: 27515 966.36/968.90 c #Conflicts: 1087000 | #Constraints: 28516 966.36/968.90 c #Conflicts: 1088000 | #Constraints: 29518 966.36/968.90 c #Conflicts: 1089000 | #Constraints: 30518 966.36/968.90 c #Conflicts: 1090000 | #Constraints: 31518 966.36/968.90 c #Conflicts: 1091000 | #Constraints: 32518 966.36/968.90 c #Conflicts: 1092000 | #Constraints: 33518 966.36/968.90 c #Conflicts: 1093000 | #Constraints: 34518 966.36/968.90 c #Conflicts: 1094000 | #Constraints: 35518 966.36/968.90 c #Conflicts: 1095000 | #Constraints: 36518 966.36/968.90 c #Conflicts: 1096000 | #Constraints: 37519 966.36/968.90 c #Conflicts: 1097000 | #Constraints: 38519 966.36/968.90 c #Conflicts: 1098000 | #Constraints: 39519 966.36/968.90 c #Conflicts: 1099000 | #Constraints: 40519 966.36/968.90 c #Conflicts: 1100000 | #Constraints: 41519 966.36/968.90 c #Conflicts: 1101000 | #Constraints: 42519 966.36/968.90 c #Conflicts: 1102000 | #Constraints: 43519 966.36/968.90 c #Conflicts: 1103000 | #Constraints: 44520 966.36/968.90 c #Conflicts: 1104000 | #Constraints: 45520 966.36/968.90 c INPROCESSING 966.36/968.90 c GARBAGE COLLECT 966.36/968.90 c rational objective 4.74274 1019.33/1022.10 c #Conflicts: 1105000 | #Constraints: 25701 1019.33/1022.10 c #Conflicts: 1106000 | #Constraints: 26701 1019.33/1022.10 c #Conflicts: 1107000 | #Constraints: 27701 1019.33/1022.10 c #Conflicts: 1108000 | #Constraints: 28701 1019.33/1022.10 c #Conflicts: 1109000 | #Constraints: 29701 1019.33/1022.10 c #Conflicts: 1110000 | #Constraints: 30701 1019.33/1022.10 c #Conflicts: 1111000 | #Constraints: 31701 1019.33/1022.10 c #Conflicts: 1112000 | #Constraints: 32701 1019.33/1022.10 c #Conflicts: 1113000 | #Constraints: 33703 1019.33/1022.10 c #Conflicts: 1114000 | #Constraints: 34703 1019.33/1022.10 c #Conflicts: 1115000 | #Constraints: 35703 1019.33/1022.10 c #Conflicts: 1116000 | #Constraints: 36703 1019.33/1022.10 c #Conflicts: 1117000 | #Constraints: 37703 1019.33/1022.10 c #Conflicts: 1118000 | #Constraints: 38704 1019.33/1022.10 c #Conflicts: 1119000 | #Constraints: 39704 1019.33/1022.10 c #Conflicts: 1120000 | #Constraints: 40704 1019.33/1022.10 c #Conflicts: 1121000 | #Constraints: 41704 1019.33/1022.10 c #Conflicts: 1122000 | #Constraints: 42704 1019.33/1022.10 c #Conflicts: 1123000 | #Constraints: 43704 1019.33/1022.10 c #Conflicts: 1124000 | #Constraints: 44704 1019.33/1022.10 c #Conflicts: 1125000 | #Constraints: 45704 1019.33/1022.10 c INPROCESSING 1019.33/1022.10 c GARBAGE COLLECT 1019.33/1022.10 c rational objective 4.74337 1030.19/1032.97 c #Conflicts: 1126000 | #Constraints: 25688 1030.19/1032.97 c #Conflicts: 1127000 | #Constraints: 26691 1030.19/1032.97 c #Conflicts: 1128000 | #Constraints: 27692 1030.19/1032.97 c #Conflicts: 1129000 | #Constraints: 28692 1030.19/1032.97 c #Conflicts: 1130000 | #Constraints: 29692 1030.19/1032.97 c #Conflicts: 1131000 | #Constraints: 30693 1030.19/1032.97 c #Conflicts: 1132000 | #Constraints: 31694 1030.19/1032.97 c #Conflicts: 1133000 | #Constraints: 32694 1030.19/1032.97 c #Conflicts: 1134000 | #Constraints: 33696 1030.19/1032.97 c #Conflicts: 1135000 | #Constraints: 34697 1030.19/1032.97 c #Conflicts: 1136000 | #Constraints: 35697 1030.19/1032.97 c #Conflicts: 1137000 | #Constraints: 36697 1030.19/1032.97 c #Conflicts: 1138000 | #Constraints: 37697 1030.19/1032.97 c #Conflicts: 1139000 | #Constraints: 38697 1030.19/1032.97 c #Conflicts: 1140000 | #Constraints: 39698 1030.19/1032.97 c #Conflicts: 1141000 | #Constraints: 40698 1030.19/1032.97 c #Conflicts: 1142000 | #Constraints: 41699 1030.19/1032.97 c #Conflicts: 1143000 | #Constraints: 42699 1030.19/1032.97 c #Conflicts: 1144000 | #Constraints: 43699 1030.19/1032.97 c #Conflicts: 1145000 | #Constraints: 44699 1030.19/1032.97 c #Conflicts: 1146000 | #Constraints: 45699 1030.19/1032.97 c INPROCESSING 1030.19/1032.97 c GARBAGE COLLECT 1030.19/1032.97 c rational objective 4.74337 1047.14/1049.90 c #Conflicts: 1147000 | #Constraints: 25475 1047.14/1049.90 c #Conflicts: 1148000 | #Constraints: 26476 1047.14/1049.90 c #Conflicts: 1149000 | #Constraints: 27477 1047.14/1049.90 c #Conflicts: 1150000 | #Constraints: 28477 1047.14/1049.90 c #Conflicts: 1151000 | #Constraints: 29478 1047.14/1049.90 c #Conflicts: 1152000 | #Constraints: 30479 1047.14/1049.90 c #Conflicts: 1153000 | #Constraints: 31479 1047.14/1049.90 c #Conflicts: 1154000 | #Constraints: 32479 1047.14/1049.90 c #Conflicts: 1155000 | #Constraints: 33480 1047.14/1049.90 c #Conflicts: 1156000 | #Constraints: 34481 1047.14/1049.90 c #Conflicts: 1157000 | #Constraints: 35481 1047.14/1049.90 c #Conflicts: 1158000 | #Constraints: 36481 1047.14/1049.90 c #Conflicts: 1159000 | #Constraints: 37481 1047.14/1049.90 c #Conflicts: 1160000 | #Constraints: 38482 1047.14/1049.90 c #Conflicts: 1161000 | #Constraints: 39482 1047.14/1049.90 c #Conflicts: 1162000 | #Constraints: 40482 1047.14/1049.90 c #Conflicts: 1163000 | #Constraints: 41482 1047.14/1049.90 c #Conflicts: 1164000 | #Constraints: 42482 1047.14/1049.90 c #Conflicts: 1165000 | #Constraints: 43482 1047.14/1049.90 c #Conflicts: 1166000 | #Constraints: 44483 1047.14/1049.90 c #Conflicts: 1167000 | #Constraints: 45483 1047.14/1049.90 c #Conflicts: 1168000 | #Constraints: 46483 1047.14/1049.90 c INPROCESSING 1047.14/1049.90 c GARBAGE COLLECT 1047.14/1049.90 c rational objective 4.74337 1061.72/1064.57 c #Conflicts: 1169000 | #Constraints: 26057 1061.72/1064.57 c #Conflicts: 1170000 | #Constraints: 27057 1061.72/1064.57 c #Conflicts: 1171000 | #Constraints: 28058 1061.72/1064.57 c #Conflicts: 1172000 | #Constraints: 29058 1061.72/1064.57 c #Conflicts: 1173000 | #Constraints: 30058 1061.72/1064.57 c #Conflicts: 1174000 | #Constraints: 31059 1061.72/1064.57 c #Conflicts: 1175000 | #Constraints: 32059 1061.72/1064.57 c #Conflicts: 1176000 | #Constraints: 33059 1061.72/1064.57 c #Conflicts: 1177000 | #Constraints: 34061 1061.72/1064.57 c #Conflicts: 1178000 | #Constraints: 35061 1061.72/1064.57 c #Conflicts: 1179000 | #Constraints: 36061 1061.72/1064.57 c #Conflicts: 1180000 | #Constraints: 37061 1061.72/1064.57 c #Conflicts: 1181000 | #Constraints: 38061 1061.72/1064.57 c #Conflicts: 1182000 | #Constraints: 39061 1061.72/1064.57 c #Conflicts: 1183000 | #Constraints: 40062 1061.72/1064.57 c #Conflicts: 1184000 | #Constraints: 41062 1061.72/1064.57 c #Conflicts: 1185000 | #Constraints: 42062 1061.72/1064.57 c #Conflicts: 1186000 | #Constraints: 43062 1061.72/1064.57 c #Conflicts: 1187000 | #Constraints: 44063 1061.72/1064.57 c #Conflicts: 1188000 | #Constraints: 45063 1061.72/1064.57 c #Conflicts: 1189000 | #Constraints: 46063 1061.72/1064.57 c #Conflicts: 1190000 | #Constraints: 47063 1061.72/1064.57 c INPROCESSING 1061.72/1064.57 c GARBAGE COLLECT 1061.72/1064.57 c rational objective 4.74337 1079.67/1082.51 c #Conflicts: 1191000 | #Constraints: 26477 1079.67/1082.51 c #Conflicts: 1192000 | #Constraints: 27478 1079.67/1082.51 c #Conflicts: 1193000 | #Constraints: 28479 1079.67/1082.51 c #Conflicts: 1194000 | #Constraints: 29479 1079.67/1082.51 c #Conflicts: 1195000 | #Constraints: 30480 1079.67/1082.51 c #Conflicts: 1196000 | #Constraints: 31481 1079.67/1082.51 c #Conflicts: 1197000 | #Constraints: 32482 1079.67/1082.51 c #Conflicts: 1198000 | #Constraints: 33483 1079.67/1082.51 c #Conflicts: 1199000 | #Constraints: 34483 1079.67/1082.51 c #Conflicts: 1200000 | #Constraints: 35484 1079.67/1082.51 c #Conflicts: 1201000 | #Constraints: 36484 1079.67/1082.51 c #Conflicts: 1202000 | #Constraints: 37484 1079.67/1082.51 c #Conflicts: 1203000 | #Constraints: 38484 1079.67/1082.51 c #Conflicts: 1204000 | #Constraints: 39485 1079.67/1082.51 c #Conflicts: 1205000 | #Constraints: 40485 1079.67/1082.51 c #Conflicts: 1206000 | #Constraints: 41485 1079.67/1082.51 c #Conflicts: 1207000 | #Constraints: 42485 1079.67/1082.51 c #Conflicts: 1208000 | #Constraints: 43485 1079.67/1082.51 c #Conflicts: 1209000 | #Constraints: 44485 1079.67/1082.51 c #Conflicts: 1210000 | #Constraints: 45486 1079.67/1082.51 c #Conflicts: 1211000 | #Constraints: 46487 1079.67/1082.51 c #Conflicts: 1212000 | #Constraints: 47487 1079.67/1082.51 c INPROCESSING 1079.67/1082.51 c GARBAGE COLLECT 1079.67/1082.51 c rational objective 4.74337 1100.23/1103.14 c #Conflicts: 1213000 | #Constraints: 26675 1100.23/1103.14 c #Conflicts: 1214000 | #Constraints: 27675 1100.23/1103.14 c #Conflicts: 1215000 | #Constraints: 28675 1100.23/1103.14 c #Conflicts: 1216000 | #Constraints: 29675 1100.23/1103.14 c #Conflicts: 1217000 | #Constraints: 30676 1100.23/1103.14 c #Conflicts: 1218000 | #Constraints: 31676 1100.23/1103.14 c #Conflicts: 1219000 | #Constraints: 32676 1100.23/1103.14 c #Conflicts: 1220000 | #Constraints: 33676 1100.23/1103.14 c #Conflicts: 1221000 | #Constraints: 34677 1100.23/1103.14 c #Conflicts: 1222000 | #Constraints: 35677 1100.23/1103.14 c #Conflicts: 1223000 | #Constraints: 36677 1100.23/1103.14 c #Conflicts: 1224000 | #Constraints: 37677 1100.23/1103.14 c #Conflicts: 1225000 | #Constraints: 38678 1100.23/1103.14 c #Conflicts: 1226000 | #Constraints: 39678 1100.23/1103.14 c #Conflicts: 1227000 | #Constraints: 40678 1100.23/1103.14 c #Conflicts: 1228000 | #Constraints: 41678 1100.23/1103.14 c #Conflicts: 1229000 | #Constraints: 42678 1100.23/1103.14 c #Conflicts: 1230000 | #Constraints: 43679 1100.23/1103.14 c #Conflicts: 1231000 | #Constraints: 44680 1100.23/1103.14 c #Conflicts: 1232000 | #Constraints: 45680 1100.23/1103.14 c #Conflicts: 1233000 | #Constraints: 46680 1100.23/1103.14 c #Conflicts: 1234000 | #Constraints: 47680 1100.23/1103.14 c INPROCESSING 1100.23/1103.14 c GARBAGE COLLECT 1100.23/1103.14 c rational objective 4.74337 1124.17/1127.16 c #Conflicts: 1235000 | #Constraints: 26670 1124.17/1127.16 c #Conflicts: 1236000 | #Constraints: 27670 1124.17/1127.16 c #Conflicts: 1237000 | #Constraints: 28671 1124.17/1127.16 c #Conflicts: 1238000 | #Constraints: 29673 1124.17/1127.16 c #Conflicts: 1239000 | #Constraints: 30673 1124.17/1127.16 c #Conflicts: 1240000 | #Constraints: 31673 1124.17/1127.16 c #Conflicts: 1241000 | #Constraints: 32673 1124.17/1127.16 c #Conflicts: 1242000 | #Constraints: 33673 1124.17/1127.16 c #Conflicts: 1243000 | #Constraints: 34674 1124.17/1127.16 c #Conflicts: 1244000 | #Constraints: 35674 1124.17/1127.16 c #Conflicts: 1245000 | #Constraints: 36674 1124.17/1127.16 c #Conflicts: 1246000 | #Constraints: 37674 1124.17/1127.16 c #Conflicts: 1247000 | #Constraints: 38674 1124.17/1127.16 c #Conflicts: 1248000 | #Constraints: 39674 1124.17/1127.16 c #Conflicts: 1249000 | #Constraints: 40674 1124.17/1127.16 c #Conflicts: 1250000 | #Constraints: 41674 1124.17/1127.16 c #Conflicts: 1251000 | #Constraints: 42674 1124.17/1127.16 c #Conflicts: 1252000 | #Constraints: 43674 1124.17/1127.16 c #Conflicts: 1253000 | #Constraints: 44675 1124.17/1127.16 c #Conflicts: 1254000 | #Constraints: 45675 1124.17/1127.16 c #Conflicts: 1255000 | #Constraints: 46676 1124.17/1127.16 c #Conflicts: 1256000 | #Constraints: 47677 1124.17/1127.16 c INPROCESSING 1124.17/1127.16 c GARBAGE COLLECT 1124.17/1127.16 c rational objective 4.74348 1146.79/1149.84 c #Conflicts: 1257000 | #Constraints: 26470 1146.79/1149.84 c #Conflicts: 1258000 | #Constraints: 27471 1146.79/1149.84 c #Conflicts: 1259000 | #Constraints: 28471 1146.79/1149.84 c #Conflicts: 1260000 | #Constraints: 29471 1146.79/1149.84 c #Conflicts: 1261000 | #Constraints: 30471 1146.79/1149.84 c #Conflicts: 1262000 | #Constraints: 31471 1146.79/1149.84 c #Conflicts: 1263000 | #Constraints: 32471 1146.79/1149.84 c #Conflicts: 1264000 | #Constraints: 33471 1146.79/1149.84 c #Conflicts: 1265000 | #Constraints: 34471 1146.79/1149.84 c #Conflicts: 1266000 | #Constraints: 35471 1146.79/1149.84 c #Conflicts: 1267000 | #Constraints: 36471 1146.79/1149.84 c #Conflicts: 1268000 | #Constraints: 37471 1146.79/1149.84 c #Conflicts: 1269000 | #Constraints: 38471 1146.79/1149.84 c #Conflicts: 1270000 | #Constraints: 39472 1146.79/1149.84 c #Conflicts: 1271000 | #Constraints: 40472 1146.79/1149.84 c #Conflicts: 1272000 | #Constraints: 41472 1146.79/1149.84 c #Conflicts: 1273000 | #Constraints: 42473 1146.79/1149.84 c #Conflicts: 1274000 | #Constraints: 43473 1146.79/1149.84 c #Conflicts: 1275000 | #Constraints: 44473 1146.79/1149.84 c #Conflicts: 1276000 | #Constraints: 45473 1146.79/1149.84 c #Conflicts: 1277000 | #Constraints: 46474 1146.79/1149.84 c #Conflicts: 1278000 | #Constraints: 47475 1146.79/1149.84 c #Conflicts: 1279000 | #Constraints: 48475 1146.79/1149.84 c INPROCESSING 1146.79/1149.84 c GARBAGE COLLECT 1146.79/1149.84 c rational objective 4.74348 1160.07/1163.17 c #Conflicts: 1280000 | #Constraints: 27085 1160.07/1163.17 c #Conflicts: 1281000 | #Constraints: 28086 1160.07/1163.17 c #Conflicts: 1282000 | #Constraints: 29087 1160.07/1163.17 c #Conflicts: 1283000 | #Constraints: 30089 1160.07/1163.17 c #Conflicts: 1284000 | #Constraints: 31091 1160.07/1163.17 c #Conflicts: 1285000 | #Constraints: 32093 1160.07/1163.17 c #Conflicts: 1286000 | #Constraints: 33093 1160.07/1163.17 c #Conflicts: 1287000 | #Constraints: 34095 1160.07/1163.17 c #Conflicts: 1288000 | #Constraints: 35095 1160.07/1163.17 c #Conflicts: 1289000 | #Constraints: 36096 1160.07/1163.17 c #Conflicts: 1290000 | #Constraints: 37097 1160.07/1163.17 c #Conflicts: 1291000 | #Constraints: 38097 1160.07/1163.17 c #Conflicts: 1292000 | #Constraints: 39097 1160.07/1163.17 c #Conflicts: 1293000 | #Constraints: 40097 1160.07/1163.17 c #Conflicts: 1294000 | #Constraints: 41097 1160.07/1163.17 c #Conflicts: 1295000 | #Constraints: 42097 1160.07/1163.17 c #Conflicts: 1296000 | #Constraints: 43098 1160.07/1163.17 c #Conflicts: 1297000 | #Constraints: 44098 1160.07/1163.17 c #Conflicts: 1298000 | #Constraints: 45099 1160.07/1163.17 c #Conflicts: 1299000 | #Constraints: 46100 1160.07/1163.17 c #Conflicts: 1300000 | #Constraints: 47100 1160.07/1163.17 c #Conflicts: 1301000 | #Constraints: 48101 1160.07/1163.17 c #Conflicts: 1302000 | #Constraints: 49101 1160.07/1163.17 c INPROCESSING 1160.07/1163.17 c GARBAGE COLLECT 1160.07/1163.17 c rational objective 4.74348 1182.30/1185.47 c #Conflicts: 1303000 | #Constraints: 27470 1182.30/1185.47 c #Conflicts: 1304000 | #Constraints: 28470 1182.30/1185.47 c #Conflicts: 1305000 | #Constraints: 29471 1182.30/1185.47 c #Conflicts: 1306000 | #Constraints: 30472 1182.30/1185.47 c #Conflicts: 1307000 | #Constraints: 31472 1182.30/1185.47 c #Conflicts: 1308000 | #Constraints: 32473 1182.30/1185.47 c #Conflicts: 1309000 | #Constraints: 33475 1182.30/1185.47 c #Conflicts: 1310000 | #Constraints: 34475 1182.30/1185.47 c #Conflicts: 1311000 | #Constraints: 35475 1182.30/1185.47 c #Conflicts: 1312000 | #Constraints: 36475 1182.30/1185.47 c #Conflicts: 1313000 | #Constraints: 37477 1182.30/1185.47 c #Conflicts: 1314000 | #Constraints: 38477 1182.30/1185.47 c #Conflicts: 1315000 | #Constraints: 39477 1182.30/1185.47 c #Conflicts: 1316000 | #Constraints: 40477 1182.30/1185.47 c #Conflicts: 1317000 | #Constraints: 41477 1182.30/1185.47 c #Conflicts: 1318000 | #Constraints: 42477 1182.30/1185.47 c #Conflicts: 1319000 | #Constraints: 43477 1182.30/1185.47 c #Conflicts: 1320000 | #Constraints: 44478 1182.30/1185.47 c #Conflicts: 1321000 | #Constraints: 45479 1182.30/1185.47 c #Conflicts: 1322000 | #Constraints: 46479 1182.30/1185.47 c #Conflicts: 1323000 | #Constraints: 47479 1182.30/1185.47 c #Conflicts: 1324000 | #Constraints: 48479 1182.30/1185.47 c #Conflicts: 1325000 | #Constraints: 49479 1182.30/1185.47 c INPROCESSING 1182.30/1185.47 c GARBAGE COLLECT 1182.30/1185.47 c rational objective 4.74348 1186.79/1189.99 c #Conflicts: 1326000 | #Constraints: 27701 1186.79/1189.99 c #Conflicts: 1327000 | #Constraints: 28701 1186.79/1189.99 c #Conflicts: 1328000 | #Constraints: 29704 1186.79/1189.99 c #Conflicts: 1329000 | #Constraints: 30705 1186.79/1189.99 c #Conflicts: 1330000 | #Constraints: 31705 1186.79/1189.99 c #Conflicts: 1331000 | #Constraints: 32705 1186.79/1189.99 c #Conflicts: 1332000 | #Constraints: 33708 1186.79/1189.99 c #Conflicts: 1333000 | #Constraints: 34709 1186.79/1189.99 c #Conflicts: 1334000 | #Constraints: 35710 1186.79/1189.99 c #Conflicts: 1335000 | #Constraints: 36710 1186.79/1189.99 c #Conflicts: 1336000 | #Constraints: 37710 1186.79/1189.99 c #Conflicts: 1337000 | #Constraints: 38710 1186.79/1189.99 c #Conflicts: 1338000 | #Constraints: 39710 1186.79/1189.99 c #Conflicts: 1339000 | #Constraints: 40710 1186.79/1189.99 c #Conflicts: 1340000 | #Constraints: 41710 1186.79/1189.99 c #Conflicts: 1341000 | #Constraints: 42710 1186.79/1189.99 c #Conflicts: 1342000 | #Constraints: 43710 1186.79/1189.99 c #Conflicts: 1343000 | #Constraints: 44710 1186.79/1189.99 c #Conflicts: 1344000 | #Constraints: 45710 1186.79/1189.99 c #Conflicts: 1345000 | #Constraints: 46710 1186.79/1189.99 c #Conflicts: 1346000 | #Constraints: 47710 1186.79/1189.99 c #Conflicts: 1347000 | #Constraints: 48710 1186.79/1189.99 c #Conflicts: 1348000 | #Constraints: 49710 1186.79/1189.99 c INPROCESSING 1186.79/1189.99 c GARBAGE COLLECT 1186.79/1189.99 c rational objective 4.74348 1240.76/1244.10 c #Conflicts: 1349000 | #Constraints: 27710 1240.76/1244.10 c #Conflicts: 1350000 | #Constraints: 28710 1240.76/1244.10 c #Conflicts: 1351000 | #Constraints: 29710 1240.76/1244.10 c #Conflicts: 1352000 | #Constraints: 30710 1240.76/1244.10 c #Conflicts: 1353000 | #Constraints: 31710 1240.76/1244.10 c #Conflicts: 1354000 | #Constraints: 32710 1240.76/1244.10 c #Conflicts: 1355000 | #Constraints: 33710 1240.76/1244.10 c #Conflicts: 1356000 | #Constraints: 34710 1240.76/1244.10 c #Conflicts: 1357000 | #Constraints: 35710 1240.76/1244.10 c #Conflicts: 1358000 | #Constraints: 36711 1240.76/1244.10 c #Conflicts: 1359000 | #Constraints: 37711 1240.76/1244.10 c #Conflicts: 1360000 | #Constraints: 38711 1240.76/1244.10 c #Conflicts: 1361000 | #Constraints: 39712 1240.76/1244.10 c #Conflicts: 1362000 | #Constraints: 40712 1240.76/1244.10 c #Conflicts: 1363000 | #Constraints: 41712 1240.76/1244.10 c #Conflicts: 1364000 | #Constraints: 42712 1240.76/1244.10 c #Conflicts: 1365000 | #Constraints: 43713 1240.76/1244.10 c #Conflicts: 1366000 | #Constraints: 44714 1240.76/1244.10 c #Conflicts: 1367000 | #Constraints: 45714 1240.76/1244.10 c #Conflicts: 1368000 | #Constraints: 46714 1240.76/1244.10 c #Conflicts: 1369000 | #Constraints: 47714 1240.76/1244.10 c #Conflicts: 1370000 | #Constraints: 48714 1240.76/1244.10 c #Conflicts: 1371000 | #Constraints: 49714 1240.76/1244.10 c INPROCESSING 1240.76/1244.10 c GARBAGE COLLECT 1240.76/1244.10 c rational objective 4.74348 1259.00/1262.38 c #Conflicts: 1372000 | #Constraints: 27490 1259.00/1262.38 c #Conflicts: 1373000 | #Constraints: 28490 1259.00/1262.38 c #Conflicts: 1374000 | #Constraints: 29490 1259.00/1262.38 c #Conflicts: 1375000 | #Constraints: 30491 1259.00/1262.38 c #Conflicts: 1376000 | #Constraints: 31493 1259.00/1262.38 c #Conflicts: 1377000 | #Constraints: 32493 1259.00/1262.38 c #Conflicts: 1378000 | #Constraints: 33493 1259.00/1262.38 c #Conflicts: 1379000 | #Constraints: 34493 1259.00/1262.38 c #Conflicts: 1380000 | #Constraints: 35493 1259.00/1262.38 c #Conflicts: 1381000 | #Constraints: 36493 1259.00/1262.38 c #Conflicts: 1382000 | #Constraints: 37493 1259.00/1262.38 c #Conflicts: 1383000 | #Constraints: 38494 1259.00/1262.38 c #Conflicts: 1384000 | #Constraints: 39495 1259.00/1262.38 c #Conflicts: 1385000 | #Constraints: 40495 1259.00/1262.38 c #Conflicts: 1386000 | #Constraints: 41495 1259.00/1262.38 c #Conflicts: 1387000 | #Constraints: 42495 1259.00/1262.38 c #Conflicts: 1388000 | #Constraints: 43495 1259.00/1262.38 c #Conflicts: 1389000 | #Constraints: 44496 1259.00/1262.38 c #Conflicts: 1390000 | #Constraints: 45496 1259.00/1262.38 c #Conflicts: 1391000 | #Constraints: 46496 1259.00/1262.38 c #Conflicts: 1392000 | #Constraints: 47496 1259.00/1262.38 c #Conflicts: 1393000 | #Constraints: 48496 1259.00/1262.38 c #Conflicts: 1394000 | #Constraints: 49496 1259.00/1262.38 c #Conflicts: 1395000 | #Constraints: 50496 1259.00/1262.38 c INPROCESSING 1259.00/1262.38 c GARBAGE COLLECT 1259.00/1262.38 c rational objective 4.74348 1275.86/1279.22 c #Conflicts: 1396000 | #Constraints: 28090 1275.86/1279.22 c #Conflicts: 1397000 | #Constraints: 29090 1275.86/1279.22 c #Conflicts: 1398000 | #Constraints: 30090 1275.86/1279.22 c #Conflicts: 1399000 | #Constraints: 31090 1275.86/1279.22 c #Conflicts: 1400000 | #Constraints: 32090 1275.86/1279.22 c #Conflicts: 1401000 | #Constraints: 33090 1275.86/1279.22 c #Conflicts: 1402000 | #Constraints: 34090 1275.86/1279.22 c #Conflicts: 1403000 | #Constraints: 35090 1275.86/1279.22 c #Conflicts: 1404000 | #Constraints: 36090 1275.86/1279.22 c #Conflicts: 1405000 | #Constraints: 37090 1275.86/1279.22 c #Conflicts: 1406000 | #Constraints: 38090 1275.86/1279.22 c #Conflicts: 1407000 | #Constraints: 39090 1275.86/1279.22 c #Conflicts: 1408000 | #Constraints: 40091 1275.86/1279.22 c #Conflicts: 1409000 | #Constraints: 41091 1275.86/1279.22 c #Conflicts: 1410000 | #Constraints: 42091 1275.86/1279.22 c #Conflicts: 1411000 | #Constraints: 43091 1275.86/1279.22 c #Conflicts: 1412000 | #Constraints: 44091 1275.86/1279.22 c #Conflicts: 1413000 | #Constraints: 45091 1275.86/1279.22 c #Conflicts: 1414000 | #Constraints: 46092 1275.86/1279.22 c #Conflicts: 1415000 | #Constraints: 47092 1275.86/1279.23 c #Conflicts: 1416000 | #Constraints: 48092 1275.86/1279.23 c #Conflicts: 1417000 | #Constraints: 49093 1275.86/1279.23 c #Conflicts: 1418000 | #Constraints: 50094 1275.86/1279.23 c #Conflicts: 1419000 | #Constraints: 51094 1275.86/1279.23 c INPROCESSING 1275.86/1279.23 c GARBAGE COLLECT 1275.86/1279.23 c rational objective 4.74348 1300.99/1304.46 c #Conflicts: 1420000 | #Constraints: 28515 1300.99/1304.46 c #Conflicts: 1421000 | #Constraints: 29515 1300.99/1304.46 c #Conflicts: 1422000 | #Constraints: 30515 1300.99/1304.46 c #Conflicts: 1423000 | #Constraints: 31515 1300.99/1304.46 c #Conflicts: 1424000 | #Constraints: 32515 1300.99/1304.46 c #Conflicts: 1425000 | #Constraints: 33515 1300.99/1304.46 c #Conflicts: 1426000 | #Constraints: 34515 1300.99/1304.46 c #Conflicts: 1427000 | #Constraints: 35516 1300.99/1304.46 c #Conflicts: 1428000 | #Constraints: 36516 1300.99/1304.46 c #Conflicts: 1429000 | #Constraints: 37516 1300.99/1304.46 c #Conflicts: 1430000 | #Constraints: 38516 1300.99/1304.46 c #Conflicts: 1431000 | #Constraints: 39516 1300.99/1304.46 c #Conflicts: 1432000 | #Constraints: 40516 1300.99/1304.46 c #Conflicts: 1433000 | #Constraints: 41516 1300.99/1304.46 c #Conflicts: 1434000 | #Constraints: 42517 1300.99/1304.46 c #Conflicts: 1435000 | #Constraints: 43518 1300.99/1304.46 c #Conflicts: 1436000 | #Constraints: 44518 1300.99/1304.46 c #Conflicts: 1437000 | #Constraints: 45518 1300.99/1304.46 c #Conflicts: 1438000 | #Constraints: 46519 1300.99/1304.46 c #Conflicts: 1439000 | #Constraints: 47519 1300.99/1304.46 c #Conflicts: 1440000 | #Constraints: 48519 1300.99/1304.46 c #Conflicts: 1441000 | #Constraints: 49519 1300.99/1304.46 c #Conflicts: 1442000 | #Constraints: 50520 1300.99/1304.46 c #Conflicts: 1443000 | #Constraints: 51520 1300.99/1304.46 c INPROCESSING 1300.99/1304.46 c GARBAGE COLLECT 1300.99/1304.46 c rational objective 4.74348 1308.59/1312.02 c #Conflicts: 1444000 | #Constraints: 28712 1308.59/1312.02 c #Conflicts: 1445000 | #Constraints: 29712 1308.59/1312.02 c #Conflicts: 1446000 | #Constraints: 30712 1308.59/1312.02 c #Conflicts: 1447000 | #Constraints: 31713 1308.59/1312.02 c #Conflicts: 1448000 | #Constraints: 32714 1308.59/1312.02 c #Conflicts: 1449000 | #Constraints: 33715 1308.59/1312.02 c #Conflicts: 1450000 | #Constraints: 34715 1308.59/1312.02 c #Conflicts: 1451000 | #Constraints: 35715 1308.59/1312.02 c #Conflicts: 1452000 | #Constraints: 36715 1308.59/1312.02 c #Conflicts: 1453000 | #Constraints: 37715 1308.59/1312.02 c #Conflicts: 1454000 | #Constraints: 38715 1308.59/1312.02 c #Conflicts: 1455000 | #Constraints: 39715 1308.59/1312.02 c #Conflicts: 1456000 | #Constraints: 40715 1308.59/1312.02 c #Conflicts: 1457000 | #Constraints: 41715 1308.59/1312.02 c #Conflicts: 1458000 | #Constraints: 42715 1308.59/1312.02 c #Conflicts: 1459000 | #Constraints: 43715 1308.59/1312.02 c #Conflicts: 1460000 | #Constraints: 44715 1308.59/1312.02 c #Conflicts: 1461000 | #Constraints: 45716 1308.59/1312.02 c #Conflicts: 1462000 | #Constraints: 46716 1308.59/1312.02 c #Conflicts: 1463000 | #Constraints: 47717 1308.59/1312.03 c #Conflicts: 1464000 | #Constraints: 48717 1308.59/1312.03 c #Conflicts: 1465000 | #Constraints: 49719 1308.59/1312.03 c #Conflicts: 1466000 | #Constraints: 50720 1308.59/1312.03 c #Conflicts: 1467000 | #Constraints: 51721 1308.59/1312.03 c INPROCESSING 1308.59/1312.03 c GARBAGE COLLECT 1308.59/1312.03 c rational objective 4.74348 1329.33/1332.81 c #Conflicts: 1468000 | #Constraints: 28693 1329.33/1332.81 c #Conflicts: 1469000 | #Constraints: 29694 1329.33/1332.81 c #Conflicts: 1470000 | #Constraints: 30695 1329.33/1332.81 c #Conflicts: 1471000 | #Constraints: 31696 1329.33/1332.81 c #Conflicts: 1472000 | #Constraints: 32696 1329.33/1332.81 c #Conflicts: 1473000 | #Constraints: 33696 1329.33/1332.81 c #Conflicts: 1474000 | #Constraints: 34697 1329.33/1332.81 c #Conflicts: 1475000 | #Constraints: 35697 1329.33/1332.81 c #Conflicts: 1476000 | #Constraints: 36697 1329.33/1332.81 c #Conflicts: 1477000 | #Constraints: 37697 1329.33/1332.81 c #Conflicts: 1478000 | #Constraints: 38697 1329.33/1332.81 c #Conflicts: 1479000 | #Constraints: 39697 1329.33/1332.81 c #Conflicts: 1480000 | #Constraints: 40697 1329.33/1332.81 c #Conflicts: 1481000 | #Constraints: 41697 1329.33/1332.81 c #Conflicts: 1482000 | #Constraints: 42697 1329.33/1332.81 c #Conflicts: 1483000 | #Constraints: 43697 1329.33/1332.81 c #Conflicts: 1484000 | #Constraints: 44697 1329.33/1332.81 c #Conflicts: 1485000 | #Constraints: 45697 1329.33/1332.81 c #Conflicts: 1486000 | #Constraints: 46697 1329.33/1332.81 c #Conflicts: 1487000 | #Constraints: 47697 1329.33/1332.81 c #Conflicts: 1488000 | #Constraints: 48697 1329.33/1332.81 c #Conflicts: 1489000 | #Constraints: 49697 1329.33/1332.81 c #Conflicts: 1490000 | #Constraints: 50697 1329.33/1332.81 c #Conflicts: 1491000 | #Constraints: 51697 1329.33/1332.81 c INPROCESSING 1329.33/1332.81 c GARBAGE COLLECT 1329.33/1332.81 c rational objective 4.74348 1371.71/1375.37 c #Conflicts: 1492000 | #Constraints: 28485 1371.71/1375.37 c #Conflicts: 1493000 | #Constraints: 29485 1371.71/1375.37 c #Conflicts: 1494000 | #Constraints: 30485 1371.71/1375.37 c #Conflicts: 1495000 | #Constraints: 31485 1371.71/1375.37 c #Conflicts: 1496000 | #Constraints: 32486 1371.71/1375.37 c #Conflicts: 1497000 | #Constraints: 33486 1371.71/1375.37 c #Conflicts: 1498000 | #Constraints: 34486 1371.71/1375.37 c #Conflicts: 1499000 | #Constraints: 35486 1371.71/1375.37 c #Conflicts: 1500000 | #Constraints: 36486 1371.71/1375.37 c #Conflicts: 1501000 | #Constraints: 37486 1371.71/1375.37 c #Conflicts: 1502000 | #Constraints: 38486 1371.71/1375.37 c #Conflicts: 1503000 | #Constraints: 39486 1371.71/1375.37 c #Conflicts: 1504000 | #Constraints: 40486 1371.71/1375.37 c #Conflicts: 1505000 | #Constraints: 41486 1371.71/1375.37 c #Conflicts: 1506000 | #Constraints: 42486 1371.71/1375.37 c #Conflicts: 1507000 | #Constraints: 43486 1371.71/1375.37 c #Conflicts: 1508000 | #Constraints: 44486 1371.71/1375.37 c #Conflicts: 1509000 | #Constraints: 45486 1371.71/1375.37 c #Conflicts: 1510000 | #Constraints: 46486 1371.71/1375.37 c #Conflicts: 1511000 | #Constraints: 47486 1371.71/1375.37 c #Conflicts: 1512000 | #Constraints: 48486 1371.71/1375.37 c #Conflicts: 1513000 | #Constraints: 49487 1371.71/1375.37 c #Conflicts: 1514000 | #Constraints: 50487 1371.71/1375.37 c #Conflicts: 1515000 | #Constraints: 51487 1371.71/1375.37 c #Conflicts: 1516000 | #Constraints: 52488 1371.71/1375.37 c INPROCESSING 1371.71/1375.37 c GARBAGE COLLECT 1371.71/1375.37 c rational objective 4.74348 1402.24/1405.98 c #Conflicts: 1517000 | #Constraints: 29049 1402.24/1405.98 c #Conflicts: 1518000 | #Constraints: 30050 1402.24/1405.98 c #Conflicts: 1519000 | #Constraints: 31050 1402.24/1405.98 c #Conflicts: 1520000 | #Constraints: 32050 1402.24/1405.98 c #Conflicts: 1521000 | #Constraints: 33050 1402.24/1405.98 c #Conflicts: 1522000 | #Constraints: 34052 1402.24/1405.98 c #Conflicts: 1523000 | #Constraints: 35053 1402.24/1405.98 c #Conflicts: 1524000 | #Constraints: 36054 1402.24/1405.98 c #Conflicts: 1525000 | #Constraints: 37054 1402.24/1405.98 c #Conflicts: 1526000 | #Constraints: 38054 1402.24/1405.98 c #Conflicts: 1527000 | #Constraints: 39054 1402.24/1405.98 c #Conflicts: 1528000 | #Constraints: 40054 1402.24/1405.98 c #Conflicts: 1529000 | #Constraints: 41054 1402.24/1405.98 c #Conflicts: 1530000 | #Constraints: 42054 1402.24/1405.98 c #Conflicts: 1531000 | #Constraints: 43054 1402.24/1405.98 c #Conflicts: 1532000 | #Constraints: 44054 1402.24/1405.98 c #Conflicts: 1533000 | #Constraints: 45054 1402.24/1405.98 c #Conflicts: 1534000 | #Constraints: 46054 1402.24/1405.98 c #Conflicts: 1535000 | #Constraints: 47054 1402.24/1405.98 c #Conflicts: 1536000 | #Constraints: 48054 1402.24/1405.98 c #Conflicts: 1537000 | #Constraints: 49054 1402.24/1405.98 c #Conflicts: 1538000 | #Constraints: 50055 1402.24/1405.98 c #Conflicts: 1539000 | #Constraints: 51055 1402.24/1405.98 c #Conflicts: 1540000 | #Constraints: 52055 1402.24/1405.98 c #Conflicts: 1541000 | #Constraints: 53055 1402.24/1405.98 c INPROCESSING 1402.24/1405.98 c GARBAGE COLLECT 1402.24/1405.98 c rational objective 4.74348 1448.31/1452.17 c #Conflicts: 1542000 | #Constraints: 29495 1448.31/1452.17 c #Conflicts: 1543000 | #Constraints: 30496 1448.31/1452.17 c #Conflicts: 1544000 | #Constraints: 31496 1448.31/1452.17 c #Conflicts: 1545000 | #Constraints: 32497 1448.31/1452.17 c #Conflicts: 1546000 | #Constraints: 33497 1448.31/1452.17 c #Conflicts: 1547000 | #Constraints: 34497 1448.31/1452.17 c #Conflicts: 1548000 | #Constraints: 35497 1448.31/1452.17 c #Conflicts: 1549000 | #Constraints: 36497 1448.31/1452.17 c #Conflicts: 1550000 | #Constraints: 37498 1448.31/1452.17 c #Conflicts: 1551000 | #Constraints: 38498 1448.31/1452.17 c #Conflicts: 1552000 | #Constraints: 39498 1448.31/1452.17 c #Conflicts: 1553000 | #Constraints: 40498 1448.31/1452.17 c #Conflicts: 1554000 | #Constraints: 41498 1448.31/1452.17 c #Conflicts: 1555000 | #Constraints: 42498 1448.31/1452.17 c #Conflicts: 1556000 | #Constraints: 43498 1448.31/1452.17 c #Conflicts: 1557000 | #Constraints: 44498 1448.31/1452.17 c #Conflicts: 1558000 | #Constraints: 45499 1448.31/1452.17 c #Conflicts: 1559000 | #Constraints: 46499 1448.31/1452.17 c #Conflicts: 1560000 | #Constraints: 47499 1448.31/1452.17 c #Conflicts: 1561000 | #Constraints: 48499 1448.31/1452.17 c #Conflicts: 1562000 | #Constraints: 49499 1448.31/1452.17 c #Conflicts: 1563000 | #Constraints: 50500 1448.31/1452.17 c #Conflicts: 1564000 | #Constraints: 51500 1448.31/1452.17 c #Conflicts: 1565000 | #Constraints: 52500 1448.31/1452.17 c #Conflicts: 1566000 | #Constraints: 53500 1448.31/1452.17 c INPROCESSING 1448.31/1452.17 c GARBAGE COLLECT 1448.31/1452.17 c rational objective 4.74348 1565.69/1569.86 c #Conflicts: 1567000 | #Constraints: 29715 1565.69/1569.86 c #Conflicts: 1568000 | #Constraints: 30716 1565.69/1569.86 c #Conflicts: 1569000 | #Constraints: 31716 1565.69/1569.86 c #Conflicts: 1570000 | #Constraints: 32716 1565.69/1569.86 c #Conflicts: 1571000 | #Constraints: 33716 1565.69/1569.86 c #Conflicts: 1572000 | #Constraints: 34716 1565.69/1569.86 c #Conflicts: 1573000 | #Constraints: 35716 1565.69/1569.86 c #Conflicts: 1574000 | #Constraints: 36716 1565.69/1569.86 c #Conflicts: 1575000 | #Constraints: 37716 1565.69/1569.86 c #Conflicts: 1576000 | #Constraints: 38716 1565.69/1569.86 c #Conflicts: 1577000 | #Constraints: 39716 1565.69/1569.86 c #Conflicts: 1578000 | #Constraints: 40716 1565.69/1569.86 c #Conflicts: 1579000 | #Constraints: 41716 1565.69/1569.86 c #Conflicts: 1580000 | #Constraints: 42716 1565.69/1569.86 c #Conflicts: 1581000 | #Constraints: 43716 1565.69/1569.86 c #Conflicts: 1582000 | #Constraints: 44716 1565.69/1569.86 c #Conflicts: 1583000 | #Constraints: 45716 1565.69/1569.86 c #Conflicts: 1584000 | #Constraints: 46716 1565.69/1569.86 c #Conflicts: 1585000 | #Constraints: 47716 1565.69/1569.86 c #Conflicts: 1586000 | #Constraints: 48716 1565.69/1569.86 c #Conflicts: 1587000 | #Constraints: 49716 1565.69/1569.86 c #Conflicts: 1588000 | #Constraints: 50716 1565.69/1569.86 c #Conflicts: 1589000 | #Constraints: 51717 1565.69/1569.86 c #Conflicts: 1590000 | #Constraints: 52717 1565.69/1569.86 c #Conflicts: 1591000 | #Constraints: 53717 1565.69/1569.86 c INPROCESSING 1565.69/1569.86 c GARBAGE COLLECT 1565.69/1569.86 c rational objective 4.74348 1680.88/1685.34 c #Conflicts: 1592000 | #Constraints: 29707 1680.88/1685.34 c #Conflicts: 1593000 | #Constraints: 30707 1680.88/1685.34 c #Conflicts: 1594000 | #Constraints: 31707 1680.88/1685.34 c #Conflicts: 1595000 | #Constraints: 32708 1680.88/1685.34 c #Conflicts: 1596000 | #Constraints: 33708 1680.88/1685.34 c #Conflicts: 1597000 | #Constraints: 34708 1680.88/1685.34 c #Conflicts: 1598000 | #Constraints: 35708 1680.88/1685.34 c #Conflicts: 1599000 | #Constraints: 36708 1680.88/1685.34 c #Conflicts: 1600000 | #Constraints: 37708 1680.88/1685.34 c #Conflicts: 1601000 | #Constraints: 38708 1680.88/1685.34 c #Conflicts: 1602000 | #Constraints: 39708 1680.88/1685.34 c #Conflicts: 1603000 | #Constraints: 40708 1680.88/1685.34 c #Conflicts: 1604000 | #Constraints: 41708 1680.88/1685.34 c #Conflicts: 1605000 | #Constraints: 42708 1680.88/1685.34 c #Conflicts: 1606000 | #Constraints: 43708 1680.88/1685.34 c #Conflicts: 1607000 | #Constraints: 44708 1680.88/1685.34 c #Conflicts: 1608000 | #Constraints: 45708 1680.88/1685.34 c #Conflicts: 1609000 | #Constraints: 46708 1680.88/1685.34 c #Conflicts: 1610000 | #Constraints: 47708 1680.88/1685.34 c #Conflicts: 1611000 | #Constraints: 48708 1680.88/1685.34 c #Conflicts: 1612000 | #Constraints: 49708 1680.88/1685.34 c #Conflicts: 1613000 | #Constraints: 50708 1680.88/1685.34 c #Conflicts: 1614000 | #Constraints: 51708 1680.88/1685.34 c #Conflicts: 1615000 | #Constraints: 52708 1680.88/1685.34 c #Conflicts: 1616000 | #Constraints: 53709 1680.88/1685.34 c INPROCESSING 1680.88/1685.34 c GARBAGE COLLECT 1680.88/1685.34 c rational objective 4.74348 1691.25/1695.70 c #Conflicts: 1617000 | #Constraints: 29521 1691.25/1695.70 c #Conflicts: 1618000 | #Constraints: 30523 1691.25/1695.70 c #Conflicts: 1619000 | #Constraints: 31523 1691.25/1695.70 c #Conflicts: 1620000 | #Constraints: 32523 1691.25/1695.70 c #Conflicts: 1621000 | #Constraints: 33523 1691.25/1695.70 c #Conflicts: 1622000 | #Constraints: 34523 1691.25/1695.70 c #Conflicts: 1623000 | #Constraints: 35524 1691.25/1695.70 c #Conflicts: 1624000 | #Constraints: 36524 1691.25/1695.70 c #Conflicts: 1625000 | #Constraints: 37524 1691.25/1695.70 c #Conflicts: 1626000 | #Constraints: 38525 1691.25/1695.70 c #Conflicts: 1627000 | #Constraints: 39527 1691.25/1695.70 c #Conflicts: 1628000 | #Constraints: 40530 1691.25/1695.70 c #Conflicts: 1629000 | #Constraints: 41530 1691.25/1695.70 c #Conflicts: 1630000 | #Constraints: 42531 1691.25/1695.70 c #Conflicts: 1631000 | #Constraints: 43532 1691.25/1695.70 c #Conflicts: 1632000 | #Constraints: 44532 1691.25/1695.70 c #Conflicts: 1633000 | #Constraints: 45532 1691.25/1695.70 c #Conflicts: 1634000 | #Constraints: 46533 1691.25/1695.70 c #Conflicts: 1635000 | #Constraints: 47534 1691.25/1695.70 c #Conflicts: 1636000 | #Constraints: 48535 1691.25/1695.70 c #Conflicts: 1637000 | #Constraints: 49535 1691.25/1695.70 c #Conflicts: 1638000 | #Constraints: 50535 1691.25/1695.70 c #Conflicts: 1639000 | #Constraints: 51535 1691.25/1695.70 c #Conflicts: 1640000 | #Constraints: 52536 1691.25/1695.70 c #Conflicts: 1641000 | #Constraints: 53537 1691.25/1695.70 c #Conflicts: 1642000 | #Constraints: 54538 1691.25/1695.70 c INPROCESSING 1691.25/1695.70 c GARBAGE COLLECT 1691.25/1695.70 c rational objective 4.74348 1734.64/1739.21 c #Conflicts: 1643000 | #Constraints: 30131 1734.64/1739.21 c #Conflicts: 1644000 | #Constraints: 31131 1734.64/1739.21 c #Conflicts: 1645000 | #Constraints: 32131 1734.64/1739.21 c #Conflicts: 1646000 | #Constraints: 33131 1734.64/1739.21 c #Conflicts: 1647000 | #Constraints: 34131 1734.64/1739.21 c #Conflicts: 1648000 | #Constraints: 35131 1734.64/1739.21 c #Conflicts: 1649000 | #Constraints: 36131 1734.64/1739.21 c #Conflicts: 1650000 | #Constraints: 37131 1734.64/1739.21 c #Conflicts: 1651000 | #Constraints: 38131 1734.64/1739.21 c #Conflicts: 1652000 | #Constraints: 39131 1734.64/1739.21 c #Conflicts: 1653000 | #Constraints: 40132 1734.64/1739.21 c #Conflicts: 1654000 | #Constraints: 41132 1734.64/1739.21 c #Conflicts: 1655000 | #Constraints: 42132 1734.64/1739.21 c #Conflicts: 1656000 | #Constraints: 43132 1734.64/1739.21 c #Conflicts: 1657000 | #Constraints: 44132 1734.64/1739.21 c #Conflicts: 1658000 | #Constraints: 45132 1734.64/1739.21 c #Conflicts: 1659000 | #Constraints: 46132 1734.64/1739.21 c #Conflicts: 1660000 | #Constraints: 47132 1734.64/1739.21 c #Conflicts: 1661000 | #Constraints: 48133 1734.64/1739.21 c #Conflicts: 1662000 | #Constraints: 49133 1734.64/1739.21 c #Conflicts: 1663000 | #Constraints: 50133 1734.64/1739.21 c #Conflicts: 1664000 | #Constraints: 51133 1734.64/1739.21 c #Conflicts: 1665000 | #Constraints: 52133 1734.64/1739.21 c #Conflicts: 1666000 | #Constraints: 53133 1734.64/1739.21 c #Conflicts: 1667000 | #Constraints: 54133 1734.64/1739.21 c #Conflicts: 1668000 | #Constraints: 55133 1734.64/1739.21 c INPROCESSING 1734.64/1739.21 c GARBAGE COLLECT 1734.64/1739.21 c rational objective 4.74348 1760.49/1765.12 c #Conflicts: 1669000 | #Constraints: 30518 1760.49/1765.12 c #Conflicts: 1670000 | #Constraints: 31519 1760.49/1765.12 c #Conflicts: 1671000 | #Constraints: 32521 1760.49/1765.12 c #Conflicts: 1672000 | #Constraints: 33521 1760.49/1765.12 c #Conflicts: 1673000 | #Constraints: 34521 1760.49/1765.12 c #Conflicts: 1674000 | #Constraints: 35522 1760.49/1765.12 c #Conflicts: 1675000 | #Constraints: 36522 1760.49/1765.12 c #Conflicts: 1676000 | #Constraints: 37523 1760.49/1765.12 c #Conflicts: 1677000 | #Constraints: 38523 1760.49/1765.12 c #Conflicts: 1678000 | #Constraints: 39523 1760.49/1765.12 c #Conflicts: 1679000 | #Constraints: 40523 1760.49/1765.12 c #Conflicts: 1680000 | #Constraints: 41524 1760.49/1765.12 c #Conflicts: 1681000 | #Constraints: 42524 1760.49/1765.12 c #Conflicts: 1682000 | #Constraints: 43525 1760.49/1765.12 c #Conflicts: 1683000 | #Constraints: 44525 1760.49/1765.12 c #Conflicts: 1684000 | #Constraints: 45525 1760.49/1765.12 c #Conflicts: 1685000 | #Constraints: 46525 1760.49/1765.12 c #Conflicts: 1686000 | #Constraints: 47525 1760.49/1765.12 c #Conflicts: 1687000 | #Constraints: 48525 1760.49/1765.12 c #Conflicts: 1688000 | #Constraints: 49525 1760.49/1765.12 c #Conflicts: 1689000 | #Constraints: 50525 1760.49/1765.12 c #Conflicts: 1690000 | #Constraints: 51525 1760.49/1765.12 c #Conflicts: 1691000 | #Constraints: 52525 1760.49/1765.12 c #Conflicts: 1692000 | #Constraints: 53525 1760.49/1765.12 c #Conflicts: 1693000 | #Constraints: 54525 1760.49/1765.12 c #Conflicts: 1694000 | #Constraints: 55525 1760.49/1765.12 c INPROCESSING 1760.49/1765.12 c GARBAGE COLLECT 1760.49/1765.12 c rational objective 4.74351 1999.75/2005.08 c #Conflicts: 1695000 | #Constraints: 30717 1999.75/2005.08 c #Conflicts: 1696000 | #Constraints: 31717 1999.75/2005.08 c #Conflicts: 1697000 | #Constraints: 32717 1999.75/2005.08 c #Conflicts: 1698000 | #Constraints: 33717 1999.75/2005.08 c #Conflicts: 1699000 | #Constraints: 34717 1999.75/2005.08 c #Conflicts: 1700000 | #Constraints: 35717 1999.75/2005.08 c #Conflicts: 1701000 | #Constraints: 36717 1999.75/2005.08 c #Conflicts: 1702000 | #Constraints: 37717 1999.75/2005.08 c #Conflicts: 1703000 | #Constraints: 38717 1999.75/2005.08 c #Conflicts: 1704000 | #Constraints: 39717 1999.75/2005.08 c #Conflicts: 1705000 | #Constraints: 40717 1999.75/2005.08 c #Conflicts: 1706000 | #Constraints: 41719 1999.75/2005.08 c #Conflicts: 1707000 | #Constraints: 42721 1999.75/2005.08 c #Conflicts: 1708000 | #Constraints: 43721 1999.75/2005.08 c #Conflicts: 1709000 | #Constraints: 44721 1999.75/2005.08 c #Conflicts: 1710000 | #Constraints: 45721 1999.75/2005.08 c #Conflicts: 1711000 | #Constraints: 46721 1999.75/2005.08 c #Conflicts: 1712000 | #Constraints: 47721 1999.75/2005.08 c #Conflicts: 1713000 | #Constraints: 48721 1999.75/2005.08 c #Conflicts: 1714000 | #Constraints: 49722 1999.75/2005.08 c #Conflicts: 1715000 | #Constraints: 50723 1999.75/2005.08 c #Conflicts: 1716000 | #Constraints: 51724 1999.75/2005.08 c #Conflicts: 1717000 | #Constraints: 52724 1999.75/2005.08 c #Conflicts: 1718000 | #Constraints: 53724 1999.75/2005.08 c #Conflicts: 1719000 | #Constraints: 54725 1999.75/2005.08 c #Conflicts: 1720000 | #Constraints: 55725 1999.75/2005.08 c #Conflicts: 1721000 | #Constraints: 56725 1999.75/2005.08 c #Conflicts: 1722000 | #Constraints: 57725 1999.75/2005.08 c #Conflicts: 1723000 | #Constraints: 58726 1999.75/2005.08 c #Conflicts: 1724000 | #Constraints: 59727 1999.75/2005.08 c #Conflicts: 1725000 | #Constraints: 60729 1999.75/2005.08 c #Conflicts: 1726000 | #Constraints: 61729 1999.75/2005.08 c #Conflicts: 1727000 | #Constraints: 62729 1999.75/2005.08 c #Conflicts: 1728000 | #Constraints: 63729 1999.75/2005.08 c #Conflicts: 1729000 | #Constraints: 64729 1999.75/2005.08 c #Conflicts: 1730000 | #Constraints: 65729 1999.75/2005.08 c #Conflicts: 1731000 | #Constraints: 66729 1999.75/2005.08 c #Conflicts: 1732000 | #Constraints: 67729 1999.75/2005.08 c #Conflicts: 1733000 | #Constraints: 68729 1999.75/2005.08 c #Conflicts: 1734000 | #Constraints: 69729 1999.75/2005.08 c #Conflicts: 1735000 | #Constraints: 70729 1999.75/2005.08 c #Conflicts: 1736000 | #Constraints: 71729 1999.75/2005.08 c #Conflicts: 1737000 | #Constraints: 72729 1999.75/2005.08 c #Conflicts: 1738000 | #Constraints: 73729 1999.75/2005.08 c #Conflicts: 1739000 | #Constraints: 74729 1999.75/2005.08 c #Conflicts: 1740000 | #Constraints: 75729 1999.75/2005.08 c #Conflicts: 1741000 | #Constraints: 76729 1999.75/2005.08 c #Conflicts: 1742000 | #Constraints: 77729 1999.75/2005.08 c #Conflicts: 1743000 | #Constraints: 78729 1999.75/2005.08 c #Conflicts: 1744000 | #Constraints: 79729 1999.75/2005.08 c #Conflicts: 1745000 | #Constraints: 80729 1999.75/2005.08 c #Conflicts: 1746000 | #Constraints: 81729 1999.75/2005.08 c #Conflicts: 1747000 | #Constraints: 82729 1999.75/2005.08 c #Conflicts: 1748000 | #Constraints: 83729 1999.75/2005.08 c #Conflicts: 1749000 | #Constraints: 84729 1999.75/2005.08 c #Conflicts: 1750000 | #Constraints: 85729 1999.75/2005.08 c #Conflicts: 1751000 | #Constraints: 86729 1999.75/2005.08 c #Conflicts: 1752000 | #Constraints: 87729 1999.75/2005.08 c #Conflicts: 1753000 | #Constraints: 88729 1999.75/2005.08 c #Conflicts: 1754000 | #Constraints: 89729 1999.75/2005.08 c #Conflicts: 1755000 | #Constraints: 90729 1999.75/2005.08 c #Conflicts: 1756000 | #Constraints: 91730 1999.75/2005.08 c #Conflicts: 1757000 | #Constraints: 92730 1999.75/2005.08 c #Conflicts: 1758000 | #Constraints: 93730 1999.75/2005.08 c #Conflicts: 1759000 | #Constraints: 94730 1999.75/2005.08 c #Conflicts: 1760000 | #Constraints: 95730 1999.75/2005.08 c #Conflicts: 1761000 | #Constraints: 96730 1999.75/2005.08 c #Conflicts: 1762000 | #Constraints: 97730 1999.75/2005.08 c #Conflicts: 1763000 | #Constraints: 98730 1999.75/2005.08 c #Conflicts: 1764000 | #Constraints: 99730 1999.75/2005.08 c #Conflicts: 1765000 | #Constraints: 100730 1999.75/2005.08 c #Conflicts: 1766000 | #Constraints: 101730 1999.75/2005.08 c #Conflicts: 1767000 | #Constraints: 102730 1999.75/2005.08 c #Conflicts: 1768000 | #Constraints: 103730 1999.75/2005.08 c #Conflicts: 1769000 | #Constraints: 104730 1999.75/2005.08 c #Conflicts: 1770000 | #Constraints: 105730 1999.75/2005.08 c #Conflicts: 1771000 | #Constraints: 106730 1999.75/2005.08 c #Conflicts: 1772000 | #Constraints: 107730 1999.75/2005.08 c #Conflicts: 1773000 | #Constraints: 108730 2459.67/2466.20 c #Conflicts: 1774000 | #Constraints: 109730 2459.67/2466.20 c #Conflicts: 1775000 | #Constraints: 110730 2459.67/2466.20 c #Conflicts: 1776000 | #Constraints: 111731 2459.67/2466.20 c #Conflicts: 1777000 | #Constraints: 112731 2459.67/2466.20 c #Conflicts: 1778000 | #Constraints: 113731 2459.67/2466.20 c #Conflicts: 1779000 | #Constraints: 114731 2459.67/2466.20 c #Conflicts: 1780000 | #Constraints: 115731 2459.67/2466.20 c #Conflicts: 1781000 | #Constraints: 116732 2459.67/2466.20 c #Conflicts: 1782000 | #Constraints: 117732 2459.67/2466.20 c #Conflicts: 1783000 | #Constraints: 118732 2459.67/2466.20 c #Conflicts: 1784000 | #Constraints: 119732 2459.67/2466.20 c #Conflicts: 1785000 | #Constraints: 120732 2459.67/2466.20 c #Conflicts: 1786000 | #Constraints: 121732 2459.67/2466.20 c #Conflicts: 1787000 | #Constraints: 122733 2459.67/2466.20 c #Conflicts: 1788000 | #Constraints: 123733 2459.67/2466.20 c #Conflicts: 1789000 | #Constraints: 124733 2459.67/2466.20 c #Conflicts: 1790000 | #Constraints: 125733 2459.67/2466.20 c #Conflicts: 1791000 | #Constraints: 126734 2459.67/2466.20 c #Conflicts: 1792000 | #Constraints: 127734 2459.67/2466.20 c #Conflicts: 1793000 | #Constraints: 128734 2459.67/2466.20 c #Conflicts: 1794000 | #Constraints: 129734 2459.67/2466.20 c #Conflicts: 1795000 | #Constraints: 130734 2459.67/2466.20 c #Conflicts: 1796000 | #Constraints: 131734 2459.67/2466.20 c #Conflicts: 1797000 | #Constraints: 132734 2459.67/2466.20 c #Conflicts: 1798000 | #Constraints: 133734 2459.67/2466.20 c #Conflicts: 1799000 | #Constraints: 134735 2459.67/2466.20 c #Conflicts: 1800000 | #Constraints: 135735 2459.67/2466.20 c #Conflicts: 1801000 | #Constraints: 136735 2459.67/2466.20 c #Conflicts: 1802000 | #Constraints: 137735 2459.67/2466.20 c #Conflicts: 1803000 | #Constraints: 138735 2459.67/2466.20 c #Conflicts: 1804000 | #Constraints: 139735 2459.67/2466.20 c #Conflicts: 1805000 | #Constraints: 140735 2459.67/2466.20 c #Conflicts: 1806000 | #Constraints: 141735 2459.67/2466.20 c #Conflicts: 1807000 | #Constraints: 142735 2459.67/2466.20 c #Conflicts: 1808000 | #Constraints: 143735 2459.67/2466.20 c #Conflicts: 1809000 | #Constraints: 144736 2459.67/2466.20 c #Conflicts: 1810000 | #Constraints: 145736 2459.67/2466.20 c #Conflicts: 1811000 | #Constraints: 146736 2459.67/2466.20 c #Conflicts: 1812000 | #Constraints: 147736 2459.67/2466.20 c #Conflicts: 1813000 | #Constraints: 148736 2459.67/2466.20 c #Conflicts: 1814000 | #Constraints: 149736 2459.67/2466.20 c #Conflicts: 1815000 | #Constraints: 150737 2459.67/2466.20 c #Conflicts: 1816000 | #Constraints: 151737 2459.67/2466.20 c #Conflicts: 1817000 | #Constraints: 152738 2459.67/2466.20 c #Conflicts: 1818000 | #Constraints: 153738 2459.67/2466.20 c #Conflicts: 1819000 | #Constraints: 154738 2459.67/2466.20 c #Conflicts: 1820000 | #Constraints: 155739 2459.67/2466.20 c #Conflicts: 1821000 | #Constraints: 156739 2459.67/2466.20 c #Conflicts: 1822000 | #Constraints: 157739 2459.67/2466.20 c #Conflicts: 1823000 | #Constraints: 158739 2459.67/2466.20 c #Conflicts: 1824000 | #Constraints: 159739 2459.67/2466.20 c #Conflicts: 1825000 | #Constraints: 160739 2459.67/2466.20 c #Conflicts: 1826000 | #Constraints: 161739 2459.67/2466.20 c #Conflicts: 1827000 | #Constraints: 162740 2459.67/2466.20 c #Conflicts: 1828000 | #Constraints: 163740 2459.67/2466.20 c #Conflicts: 1829000 | #Constraints: 164740 2459.67/2466.20 c #Conflicts: 1830000 | #Constraints: 165740 2459.67/2466.20 c INPROCESSING 2459.67/2466.20 c GARBAGE COLLECT 2459.67/2466.20 c rational objective 4.74351 2590.11/2597.02 c #Conflicts: 1831000 | #Constraints: 85855 2590.11/2597.02 c #Conflicts: 1832000 | #Constraints: 86855 2590.11/2597.02 c #Conflicts: 1833000 | #Constraints: 87855 2590.11/2597.02 c #Conflicts: 1834000 | #Constraints: 88855 2590.11/2597.02 c #Conflicts: 1835000 | #Constraints: 89855 2590.11/2597.02 c #Conflicts: 1836000 | #Constraints: 90855 2590.11/2597.02 c #Conflicts: 1837000 | #Constraints: 91855 2590.11/2597.02 c #Conflicts: 1838000 | #Constraints: 92855 2590.11/2597.02 c #Conflicts: 1839000 | #Constraints: 93855 2590.11/2597.02 c #Conflicts: 1840000 | #Constraints: 94855 2590.11/2597.02 c #Conflicts: 1841000 | #Constraints: 95855 2590.11/2597.02 c #Conflicts: 1842000 | #Constraints: 96855 2590.11/2597.02 c #Conflicts: 1843000 | #Constraints: 97855 2590.11/2597.02 c #Conflicts: 1844000 | #Constraints: 98855 2590.11/2597.02 c #Conflicts: 1845000 | #Constraints: 99855 2590.11/2597.02 c #Conflicts: 1846000 | #Constraints: 100855 2590.11/2597.02 c #Conflicts: 1847000 | #Constraints: 101855 2590.11/2597.02 c #Conflicts: 1848000 | #Constraints: 102855 2590.11/2597.02 c #Conflicts: 1849000 | #Constraints: 103855 2590.11/2597.02 c #Conflicts: 1850000 | #Constraints: 104855 2590.11/2597.02 c #Conflicts: 1851000 | #Constraints: 105855 2590.11/2597.02 c #Conflicts: 1852000 | #Constraints: 106855 2590.11/2597.02 c #Conflicts: 1853000 | #Constraints: 107855 2590.11/2597.02 c #Conflicts: 1854000 | #Constraints: 108855 2590.11/2597.02 c #Conflicts: 1855000 | #Constraints: 109855 2590.11/2597.02 c #Conflicts: 1856000 | #Constraints: 110856 2590.11/2597.02 c #Conflicts: 1857000 | #Constraints: 111856 2590.11/2597.02 c INPROCESSING 2590.11/2597.02 c GARBAGE COLLECT 2590.11/2597.02 c rational objective 4.74358 2651.71/2658.80 c #Conflicts: 1858000 | #Constraints: 58763 2651.71/2658.80 c #Conflicts: 1859000 | #Constraints: 59763 2651.71/2658.80 c #Conflicts: 1860000 | #Constraints: 60764 2651.71/2658.80 c #Conflicts: 1861000 | #Constraints: 61766 2651.71/2658.80 c #Conflicts: 1862000 | #Constraints: 62767 2651.71/2658.80 c #Conflicts: 1863000 | #Constraints: 63767 2651.71/2658.80 c #Conflicts: 1864000 | #Constraints: 64767 2651.71/2658.80 c #Conflicts: 1865000 | #Constraints: 65767 2651.71/2658.80 c #Conflicts: 1866000 | #Constraints: 66767 2651.71/2658.80 c #Conflicts: 1867000 | #Constraints: 67767 2651.71/2658.80 c #Conflicts: 1868000 | #Constraints: 68768 2651.71/2658.80 c #Conflicts: 1869000 | #Constraints: 69768 2651.71/2658.80 c #Conflicts: 1870000 | #Constraints: 70768 2651.71/2658.80 c #Conflicts: 1871000 | #Constraints: 71768 2651.71/2658.80 c #Conflicts: 1872000 | #Constraints: 72768 2651.71/2658.80 c #Conflicts: 1873000 | #Constraints: 73768 2651.71/2658.80 c #Conflicts: 1874000 | #Constraints: 74768 2651.71/2658.80 c #Conflicts: 1875000 | #Constraints: 75768 2651.71/2658.80 c #Conflicts: 1876000 | #Constraints: 76768 2651.71/2658.80 c #Conflicts: 1877000 | #Constraints: 77768 2651.71/2658.80 c #Conflicts: 1878000 | #Constraints: 78768 2651.71/2658.80 c #Conflicts: 1879000 | #Constraints: 79768 2651.71/2658.80 c #Conflicts: 1880000 | #Constraints: 80768 2651.71/2658.80 c #Conflicts: 1881000 | #Constraints: 81768 2651.71/2658.80 c #Conflicts: 1882000 | #Constraints: 82768 2651.71/2658.80 c #Conflicts: 1883000 | #Constraints: 83768 2651.71/2658.80 c #Conflicts: 1884000 | #Constraints: 84768 2651.71/2658.80 c INPROCESSING 2651.71/2658.80 c GARBAGE COLLECT 2651.71/2658.80 c rational objective 4.74358 2704.74/2712.08 c #Conflicts: 1885000 | #Constraints: 44946 2704.74/2712.08 c #Conflicts: 1886000 | #Constraints: 45947 2704.74/2712.08 c #Conflicts: 1887000 | #Constraints: 46947 2704.74/2712.08 c #Conflicts: 1888000 | #Constraints: 47947 2704.74/2712.08 c #Conflicts: 1889000 | #Constraints: 48947 2704.74/2712.08 c #Conflicts: 1890000 | #Constraints: 49947 2704.74/2712.08 c #Conflicts: 1891000 | #Constraints: 50948 2704.74/2712.08 c #Conflicts: 1892000 | #Constraints: 51948 2704.74/2712.08 c #Conflicts: 1893000 | #Constraints: 52948 2704.74/2712.08 c #Conflicts: 1894000 | #Constraints: 53948 2704.74/2712.08 c #Conflicts: 1895000 | #Constraints: 54948 2704.74/2712.08 c #Conflicts: 1896000 | #Constraints: 55949 2704.74/2712.08 c #Conflicts: 1897000 | #Constraints: 56950 2704.74/2712.08 c #Conflicts: 1898000 | #Constraints: 57950 2704.74/2712.08 c #Conflicts: 1899000 | #Constraints: 58950 2704.74/2712.08 c #Conflicts: 1900000 | #Constraints: 59950 2704.74/2712.08 c #Conflicts: 1901000 | #Constraints: 60950 2704.74/2712.08 c #Conflicts: 1902000 | #Constraints: 61950 2704.74/2712.08 c #Conflicts: 1903000 | #Constraints: 62951 2704.74/2712.08 c #Conflicts: 1904000 | #Constraints: 63951 2704.74/2712.08 c #Conflicts: 1905000 | #Constraints: 64951 2704.74/2712.08 c #Conflicts: 1906000 | #Constraints: 65951 2704.74/2712.08 c #Conflicts: 1907000 | #Constraints: 66951 2704.74/2712.08 c #Conflicts: 1908000 | #Constraints: 67951 2704.74/2712.08 c #Conflicts: 1909000 | #Constraints: 68951 2704.74/2712.08 c #Conflicts: 1910000 | #Constraints: 69951 2704.74/2712.08 c #Conflicts: 1911000 | #Constraints: 70951 2704.74/2712.08 c #Conflicts: 1912000 | #Constraints: 71951 2704.74/2712.08 c INPROCESSING 2704.74/2712.08 c GARBAGE COLLECT 2704.74/2712.08 c rational objective 4.74358 2736.84/2744.23 c #Conflicts: 1913000 | #Constraints: 38713 2736.84/2744.23 c #Conflicts: 1914000 | #Constraints: 39715 2736.84/2744.23 c #Conflicts: 1915000 | #Constraints: 40716 2736.84/2744.23 c #Conflicts: 1916000 | #Constraints: 41716 2736.84/2744.23 c #Conflicts: 1917000 | #Constraints: 42716 2736.84/2744.23 c #Conflicts: 1918000 | #Constraints: 43716 2736.84/2744.23 c #Conflicts: 1919000 | #Constraints: 44716 2736.84/2744.23 c #Conflicts: 1920000 | #Constraints: 45716 2736.84/2744.23 c #Conflicts: 1921000 | #Constraints: 46716 2736.84/2744.23 c #Conflicts: 1922000 | #Constraints: 47717 2736.84/2744.23 c #Conflicts: 1923000 | #Constraints: 48718 2736.84/2744.23 c #Conflicts: 1924000 | #Constraints: 49718 2736.84/2744.23 c #Conflicts: 1925000 | #Constraints: 50718 2736.84/2744.23 c #Conflicts: 1926000 | #Constraints: 51718 2736.84/2744.23 c #Conflicts: 1927000 | #Constraints: 52718 2736.84/2744.23 c #Conflicts: 1928000 | #Constraints: 53718 2736.84/2744.23 c #Conflicts: 1929000 | #Constraints: 54718 2736.84/2744.23 c #Conflicts: 1930000 | #Constraints: 55718 2736.84/2744.23 c #Conflicts: 1931000 | #Constraints: 56718 2736.84/2744.23 c #Conflicts: 1932000 | #Constraints: 57718 2736.84/2744.23 c #Conflicts: 1933000 | #Constraints: 58718 2736.84/2744.23 c #Conflicts: 1934000 | #Constraints: 59718 2736.84/2744.23 c #Conflicts: 1935000 | #Constraints: 60718 2736.84/2744.23 c #Conflicts: 1936000 | #Constraints: 61718 2736.84/2744.23 c #Conflicts: 1937000 | #Constraints: 62718 2736.84/2744.23 c #Conflicts: 1938000 | #Constraints: 63718 2736.84/2744.23 c #Conflicts: 1939000 | #Constraints: 64719 2736.84/2744.23 c #Conflicts: 1940000 | #Constraints: 65719 2736.84/2744.23 c INPROCESSING 2736.84/2744.23 c GARBAGE COLLECT 2736.84/2744.23 c rational objective 4.74358 2752.29/2759.76 c #Conflicts: 1941000 | #Constraints: 35619 2752.29/2759.76 c #Conflicts: 1942000 | #Constraints: 36619 2752.29/2759.76 c #Conflicts: 1943000 | #Constraints: 37620 2752.29/2759.76 c #Conflicts: 1944000 | #Constraints: 38620 2752.29/2759.76 c #Conflicts: 1945000 | #Constraints: 39620 2752.29/2759.76 c #Conflicts: 1946000 | #Constraints: 40621 2752.29/2759.76 c #Conflicts: 1947000 | #Constraints: 41621 2752.29/2759.76 c #Conflicts: 1948000 | #Constraints: 42621 2752.29/2759.76 c #Conflicts: 1949000 | #Constraints: 43621 2752.29/2759.76 c #Conflicts: 1950000 | #Constraints: 44621 2752.29/2759.76 c #Conflicts: 1951000 | #Constraints: 45621 2752.29/2759.76 c #Conflicts: 1952000 | #Constraints: 46621 2752.29/2759.76 c #Conflicts: 1953000 | #Constraints: 47621 2752.29/2759.76 c #Conflicts: 1954000 | #Constraints: 48622 2752.29/2759.76 c #Conflicts: 1955000 | #Constraints: 49622 2752.29/2759.76 c #Conflicts: 1956000 | #Constraints: 50622 2752.29/2759.76 c #Conflicts: 1957000 | #Constraints: 51622 2752.29/2759.76 c #Conflicts: 1958000 | #Constraints: 52622 2752.29/2759.76 c #Conflicts: 1959000 | #Constraints: 53623 2752.29/2759.76 c #Conflicts: 1960000 | #Constraints: 54623 2752.29/2759.76 c #Conflicts: 1961000 | #Constraints: 55623 2752.29/2759.76 c #Conflicts: 1962000 | #Constraints: 56623 2752.29/2759.76 c #Conflicts: 1963000 | #Constraints: 57623 2752.29/2759.76 c #Conflicts: 1964000 | #Constraints: 58623 2752.29/2759.76 c #Conflicts: 1965000 | #Constraints: 59623 2752.29/2759.76 c #Conflicts: 1966000 | #Constraints: 60623 2752.29/2759.76 c #Conflicts: 1967000 | #Constraints: 61623 2752.29/2759.76 c #Conflicts: 1968000 | #Constraints: 62623 2752.29/2759.76 c INPROCESSING 2752.29/2759.76 c GARBAGE COLLECT 2752.29/2759.76 c rational objective 4.74608 2783.01/2790.56 c #Conflicts: 1969000 | #Constraints: 34030 2783.01/2790.56 c #Conflicts: 1970000 | #Constraints: 35030 2783.01/2790.56 c #Conflicts: 1971000 | #Constraints: 36030 2783.01/2790.56 c #Conflicts: 1972000 | #Constraints: 37030 2783.01/2790.56 c #Conflicts: 1973000 | #Constraints: 38030 2783.01/2790.56 c #Conflicts: 1974000 | #Constraints: 39030 2783.01/2790.56 c #Conflicts: 1975000 | #Constraints: 40030 2783.01/2790.56 c #Conflicts: 1976000 | #Constraints: 41031 2783.01/2790.56 c #Conflicts: 1977000 | #Constraints: 42032 2783.01/2790.56 c #Conflicts: 1978000 | #Constraints: 43032 2783.01/2790.56 c #Conflicts: 1979000 | #Constraints: 44032 2783.01/2790.56 c #Conflicts: 1980000 | #Constraints: 45032 2783.01/2790.56 c #Conflicts: 1981000 | #Constraints: 46032 2783.01/2790.56 c #Conflicts: 1982000 | #Constraints: 47032 2783.01/2790.56 c #Conflicts: 1983000 | #Constraints: 48033 2783.01/2790.56 c #Conflicts: 1984000 | #Constraints: 49033 2783.01/2790.56 c #Conflicts: 1985000 | #Constraints: 50034 2783.01/2790.56 c #Conflicts: 1986000 | #Constraints: 51034 2783.01/2790.56 c #Conflicts: 1987000 | #Constraints: 52034 2783.01/2790.56 c #Conflicts: 1988000 | #Constraints: 53035 2783.01/2790.56 c #Conflicts: 1989000 | #Constraints: 54035 2783.01/2790.56 c #Conflicts: 1990000 | #Constraints: 55035 2783.01/2790.56 c #Conflicts: 1991000 | #Constraints: 56035 2783.01/2790.56 c #Conflicts: 1992000 | #Constraints: 57036 2783.01/2790.56 c #Conflicts: 1993000 | #Constraints: 58036 2783.01/2790.56 c #Conflicts: 1994000 | #Constraints: 59036 2783.01/2790.56 c #Conflicts: 1995000 | #Constraints: 60037 2783.01/2790.56 c #Conflicts: 1996000 | #Constraints: 61038 2783.01/2790.56 c INPROCESSING 2783.01/2790.56 c GARBAGE COLLECT 2783.01/2790.56 c rational objective 4.74889 3005.39/3013.44 c #Conflicts: 1997000 | #Constraints: 33050 3005.39/3013.44 c #Conflicts: 1998000 | #Constraints: 34050 3005.39/3013.44 c #Conflicts: 1999000 | #Constraints: 35050 3005.39/3013.44 c #Conflicts: 2000000 | #Constraints: 36050 3005.39/3013.44 c #Conflicts: 2001000 | #Constraints: 37050 3005.39/3013.44 c #Conflicts: 2002000 | #Constraints: 38050 3005.39/3013.44 c #Conflicts: 2003000 | #Constraints: 39050 3005.39/3013.44 c #Conflicts: 2004000 | #Constraints: 40050 3005.39/3013.44 c #Conflicts: 2005000 | #Constraints: 41050 3005.39/3013.44 c #Conflicts: 2006000 | #Constraints: 42050 3005.39/3013.44 c #Conflicts: 2007000 | #Constraints: 43051 3005.39/3013.44 c #Conflicts: 2008000 | #Constraints: 44051 3005.39/3013.44 c #Conflicts: 2009000 | #Constraints: 45051 3005.39/3013.44 c #Conflicts: 2010000 | #Constraints: 46052 3005.39/3013.44 c #Conflicts: 2011000 | #Constraints: 47053 3005.39/3013.44 c #Conflicts: 2012000 | #Constraints: 48053 3005.39/3013.44 c #Conflicts: 2013000 | #Constraints: 49053 3005.39/3013.44 c #Conflicts: 2014000 | #Constraints: 50053 3005.39/3013.44 c #Conflicts: 2015000 | #Constraints: 51053 3005.39/3013.44 c #Conflicts: 2016000 | #Constraints: 52053 3005.39/3013.44 c #Conflicts: 2017000 | #Constraints: 53053 3005.39/3013.44 c #Conflicts: 2018000 | #Constraints: 54054 3005.39/3013.44 c #Conflicts: 2019000 | #Constraints: 55054 3005.39/3013.44 c #Conflicts: 2020000 | #Constraints: 56054 3005.39/3013.44 c #Conflicts: 2021000 | #Constraints: 57054 3005.39/3013.44 c #Conflicts: 2022000 | #Constraints: 58054 3005.39/3013.44 c #Conflicts: 2023000 | #Constraints: 59054 3005.39/3013.44 c #Conflicts: 2024000 | #Constraints: 60054 3005.39/3013.44 c #Conflicts: 2025000 | #Constraints: 61054 3005.39/3013.44 c #Conflicts: 2026000 | #Constraints: 62054 3005.39/3013.44 c #Conflicts: 2027000 | #Constraints: 63054 3005.39/3013.44 c #Conflicts: 2028000 | #Constraints: 64054 3005.39/3013.44 c #Conflicts: 2029000 | #Constraints: 65054 3005.39/3013.44 c #Conflicts: 2030000 | #Constraints: 66054 3005.39/3013.44 c #Conflicts: 2031000 | #Constraints: 67054 3005.39/3013.44 c #Conflicts: 2032000 | #Constraints: 68054 3005.39/3013.44 c #Conflicts: 2033000 | #Constraints: 69054 3005.39/3013.44 c #Conflicts: 2034000 | #Constraints: 70054 3005.39/3013.44 c #Conflicts: 2035000 | #Constraints: 71054 3005.39/3013.44 c #Conflicts: 2036000 | #Constraints: 72054 3005.39/3013.44 c #Conflicts: 2037000 | #Constraints: 73054 3005.39/3013.44 c #Conflicts: 2038000 | #Constraints: 74054 3005.39/3013.44 c #Conflicts: 2039000 | #Constraints: 75054 3005.39/3013.44 c #Conflicts: 2040000 | #Constraints: 76054 3005.39/3013.44 c #Conflicts: 2041000 | #Constraints: 77054 3005.39/3013.44 c #Conflicts: 2042000 | #Constraints: 78054 3005.39/3013.44 c #Conflicts: 2043000 | #Constraints: 79054 3005.39/3013.44 c #Conflicts: 2044000 | #Constraints: 80054 3005.39/3013.44 c #Conflicts: 2045000 | #Constraints: 81054 3005.39/3013.44 c #Conflicts: 2046000 | #Constraints: 82054 3005.39/3013.44 c #Conflicts: 2047000 | #Constraints: 83054 3005.39/3013.44 c #Conflicts: 2048000 | #Constraints: 84054 3005.39/3013.44 c #Conflicts: 2049000 | #Constraints: 85054 3005.39/3013.44 c #Conflicts: 2050000 | #Constraints: 86054 3005.39/3013.44 c #Conflicts: 2051000 | #Constraints: 87054 3005.39/3013.44 c #Conflicts: 2052000 | #Constraints: 88054 3005.39/3013.44 c #Conflicts: 2053000 | #Constraints: 89054 3005.39/3013.44 c #Conflicts: 2054000 | #Constraints: 90054 3005.39/3013.44 c #Conflicts: 2055000 | #Constraints: 91054 3005.39/3013.44 c #Conflicts: 2056000 | #Constraints: 92054 3005.39/3013.44 c #Conflicts: 2057000 | #Constraints: 93054 3005.39/3013.44 c #Conflicts: 2058000 | #Constraints: 94054 3005.39/3013.44 c #Conflicts: 2059000 | #Constraints: 95054 3005.39/3013.44 c #Conflicts: 2060000 | #Constraints: 96054 3005.39/3013.44 c #Conflicts: 2061000 | #Constraints: 97054 3005.39/3013.44 c #Conflicts: 2062000 | #Constraints: 98055 3005.39/3013.44 c #Conflicts: 2063000 | #Constraints: 99055 3005.39/3013.44 c #Conflicts: 2064000 | #Constraints: 100055 3005.39/3013.44 c #Conflicts: 2065000 | #Constraints: 101056 3005.39/3013.44 c #Conflicts: 2066000 | #Constraints: 102057 3005.39/3013.44 c #Conflicts: 2067000 | #Constraints: 103057 3005.39/3013.44 c #Conflicts: 2068000 | #Constraints: 104057 3005.39/3013.44 c #Conflicts: 2069000 | #Constraints: 105057 3005.39/3013.44 c #Conflicts: 2070000 | #Constraints: 106057 3005.39/3013.44 c #Conflicts: 2071000 | #Constraints: 107057 3005.39/3013.44 c #Conflicts: 2072000 | #Constraints: 108057 3005.39/3013.44 c #Conflicts: 2073000 | #Constraints: 109057 3005.39/3013.44 c #Conflicts: 2074000 | #Constraints: 110057 3005.39/3013.44 c #Conflicts: 2075000 | #Constraints: 111061 3432.07/3441.11 c #Conflicts: 2076000 | #Constraints: 112061 3432.07/3441.11 c #Conflicts: 2077000 | #Constraints: 113061 3432.07/3441.11 c #Conflicts: 2078000 | #Constraints: 114061 3432.07/3441.11 c #Conflicts: 2079000 | #Constraints: 115062 3432.07/3441.11 c #Conflicts: 2080000 | #Constraints: 116062 3432.07/3441.11 c #Conflicts: 2081000 | #Constraints: 117062 3432.07/3441.11 c #Conflicts: 2082000 | #Constraints: 118062 3432.07/3441.11 c #Conflicts: 2083000 | #Constraints: 119062 3432.07/3441.11 c #Conflicts: 2084000 | #Constraints: 120062 3432.07/3441.11 c #Conflicts: 2085000 | #Constraints: 121062 3432.07/3441.11 c #Conflicts: 2086000 | #Constraints: 122062 3432.07/3441.11 c #Conflicts: 2087000 | #Constraints: 123062 3432.07/3441.11 c #Conflicts: 2088000 | #Constraints: 124062 3432.07/3441.11 c #Conflicts: 2089000 | #Constraints: 125062 3432.07/3441.11 c #Conflicts: 2090000 | #Constraints: 126062 3432.07/3441.11 c #Conflicts: 2091000 | #Constraints: 127062 3432.07/3441.11 c #Conflicts: 2092000 | #Constraints: 128063 3432.07/3441.11 c #Conflicts: 2093000 | #Constraints: 129063 3432.07/3441.11 c #Conflicts: 2094000 | #Constraints: 130063 3432.07/3441.11 c #Conflicts: 2095000 | #Constraints: 131063 3432.07/3441.11 c #Conflicts: 2096000 | #Constraints: 132063 3432.07/3441.11 c #Conflicts: 2097000 | #Constraints: 133063 3432.07/3441.11 c #Conflicts: 2098000 | #Constraints: 134063 3432.07/3441.11 c #Conflicts: 2099000 | #Constraints: 135063 3432.07/3441.11 c #Conflicts: 2100000 | #Constraints: 136063 3432.07/3441.11 c #Conflicts: 2101000 | #Constraints: 137063 3432.07/3441.11 c #Conflicts: 2102000 | #Constraints: 138063 3432.07/3441.11 c #Conflicts: 2103000 | #Constraints: 139063 3432.07/3441.11 c #Conflicts: 2104000 | #Constraints: 140063 3432.07/3441.11 c #Conflicts: 2105000 | #Constraints: 141063 3432.07/3441.11 c #Conflicts: 2106000 | #Constraints: 142063 3432.07/3441.11 c #Conflicts: 2107000 | #Constraints: 143063 3432.07/3441.11 c #Conflicts: 2108000 | #Constraints: 144063 3432.07/3441.11 c #Conflicts: 2109000 | #Constraints: 145063 3432.07/3441.11 c #Conflicts: 2110000 | #Constraints: 146063 3432.07/3441.11 c #Conflicts: 2111000 | #Constraints: 147064 3432.07/3441.11 c #Conflicts: 2112000 | #Constraints: 148064 3432.07/3441.11 c #Conflicts: 2113000 | #Constraints: 149064 3432.07/3441.11 c #Conflicts: 2114000 | #Constraints: 150064 3432.07/3441.11 c #Conflicts: 2115000 | #Constraints: 151064 3432.07/3441.11 c #Conflicts: 2116000 | #Constraints: 152064 3432.07/3441.11 c #Conflicts: 2117000 | #Constraints: 153064 3432.07/3441.11 c #Conflicts: 2118000 | #Constraints: 154064 3432.07/3441.11 c #Conflicts: 2119000 | #Constraints: 155064 3432.07/3441.11 c #Conflicts: 2120000 | #Constraints: 156064 3432.07/3441.11 c #Conflicts: 2121000 | #Constraints: 157064 3432.07/3441.11 c #Conflicts: 2122000 | #Constraints: 158064 3432.07/3441.11 c #Conflicts: 2123000 | #Constraints: 159064 3432.07/3441.11 c #Conflicts: 2124000 | #Constraints: 160064 3432.07/3441.11 c #Conflicts: 2125000 | #Constraints: 161065 3432.07/3441.11 c #Conflicts: 2126000 | #Constraints: 162065 3432.07/3441.11 c #Conflicts: 2127000 | #Constraints: 163065 3432.07/3441.11 c #Conflicts: 2128000 | #Constraints: 164065 3432.07/3441.11 c #Conflicts: 2129000 | #Constraints: 165065 3432.07/3441.11 c #Conflicts: 2130000 | #Constraints: 166065 3432.07/3441.11 c #Conflicts: 2131000 | #Constraints: 167065 3432.07/3441.11 c #Conflicts: 2132000 | #Constraints: 168065 3432.07/3441.11 c #Conflicts: 2133000 | #Constraints: 169065 3432.07/3441.11 c #Conflicts: 2134000 | #Constraints: 170065 3432.07/3441.11 c #Conflicts: 2135000 | #Constraints: 171065 3432.07/3441.11 c #Conflicts: 2136000 | #Constraints: 172065 3432.07/3441.11 c #Conflicts: 2137000 | #Constraints: 173065 3432.07/3441.11 c #Conflicts: 2138000 | #Constraints: 174065 3432.07/3441.11 c #Conflicts: 2139000 | #Constraints: 175065 3432.07/3441.11 c #Conflicts: 2140000 | #Constraints: 176065 3432.07/3441.11 c #Conflicts: 2141000 | #Constraints: 177065 3432.07/3441.11 c INPROCESSING 3432.07/3441.11 c GARBAGE COLLECT 3432.07/3441.11 c rational objective 4.7489 3448.62/3457.76 c #Conflicts: 2142000 | #Constraints: 91324 3448.62/3457.76 c #Conflicts: 2143000 | #Constraints: 92324 3448.62/3457.76 c #Conflicts: 2144000 | #Constraints: 93324 3448.62/3457.76 c #Conflicts: 2145000 | #Constraints: 94324 3448.62/3457.76 c #Conflicts: 2146000 | #Constraints: 95324 3448.62/3457.76 c #Conflicts: 2147000 | #Constraints: 96324 3448.62/3457.76 c #Conflicts: 2148000 | #Constraints: 97324 3448.62/3457.76 c #Conflicts: 2149000 | #Constraints: 98324 3448.62/3457.76 c #Conflicts: 2150000 | #Constraints: 99324 3448.62/3457.76 c #Conflicts: 2151000 | #Constraints: 100324 3448.62/3457.76 c #Conflicts: 2152000 | #Constraints: 101324 3448.62/3457.76 c #Conflicts: 2153000 | #Constraints: 102324 3448.62/3457.76 c #Conflicts: 2154000 | #Constraints: 103325 3448.62/3457.76 c #Conflicts: 2155000 | #Constraints: 104326 3448.62/3457.76 c #Conflicts: 2156000 | #Constraints: 105326 3448.62/3457.76 c #Conflicts: 2157000 | #Constraints: 106326 3448.62/3457.76 c #Conflicts: 2158000 | #Constraints: 107326 3448.62/3457.76 c #Conflicts: 2159000 | #Constraints: 108326 3448.62/3457.76 c #Conflicts: 2160000 | #Constraints: 109326 3448.62/3457.76 c #Conflicts: 2161000 | #Constraints: 110326 3448.62/3457.76 c #Conflicts: 2162000 | #Constraints: 111326 3448.62/3457.76 c #Conflicts: 2163000 | #Constraints: 112326 3448.62/3457.76 c #Conflicts: 2164000 | #Constraints: 113326 3448.62/3457.76 c #Conflicts: 2165000 | #Constraints: 114326 3448.62/3457.76 c #Conflicts: 2166000 | #Constraints: 115326 3448.62/3457.76 c #Conflicts: 2167000 | #Constraints: 116326 3448.62/3457.76 c #Conflicts: 2168000 | #Constraints: 117326 3448.62/3457.76 c #Conflicts: 2169000 | #Constraints: 118326 3448.62/3457.76 c #Conflicts: 2170000 | #Constraints: 119326 3448.62/3457.76 c #Conflicts: 2171000 | #Constraints: 120326 3448.62/3457.76 c INPROCESSING 3448.62/3457.76 c GARBAGE COLLECT 3448.62/3457.76 c rational objective 4.7489 3600.02/3609.40 c #Conflicts: 2172000 | #Constraints: 63119 3600.02/3609.40 c #Conflicts: 2173000 | #Constraints: 64119 3600.02/3609.40 c #Conflicts: 2174000 | #Constraints: 65119 3600.02/3609.40 c #Conflicts: 2175000 | #Constraints: 66120 3600.02/3609.40 c #Conflicts: 2176000 | #Constraints: 67120 3600.02/3609.40 c #Conflicts: 2177000 | #Constraints: 68120 3600.02/3609.40 c #Conflicts: 2178000 | #Constraints: 69121 3600.02/3609.40 c #Conflicts: 2179000 | #Constraints: 70121 3600.02/3609.40 c #Conflicts: 2180000 | #Constraints: 71121 3600.02/3609.40 c #Conflicts: 2181000 | #Constraints: 72121 3600.02/3609.40 c #Conflicts: 2182000 | #Constraints: 73121 3600.02/3609.40 c #Conflicts: 2183000 | #Constraints: 74122 3600.02/3609.40 c #Conflicts: 2184000 | #Constraints: 75122 3600.02/3609.40 c #Conflicts: 2185000 | #Constraints: 76122 3600.02/3609.40 c #Conflicts: 2186000 | #Constraints: 77122 3600.02/3609.40 c #Conflicts: 2187000 | #Constraints: 78122 3600.02/3609.40 c #Conflicts: 2188000 | #Constraints: 79123 3600.02/3609.40 c #Conflicts: 2189000 | #Constraints: 80123 3600.02/3609.40 c #Conflicts: 2190000 | #Constraints: 81123 3600.02/3609.40 c #Conflicts: 2191000 | #Constraints: 82123 3600.02/3609.40 c #Conflicts: 2192000 | #Constraints: 83123 3600.02/3609.40 c #Conflicts: 2193000 | #Constraints: 84123 3600.02/3609.40 c #Conflicts: 2194000 | #Constraints: 85123 3600.02/3609.40 c #Conflicts: 2195000 | #Constraints: 86123 3600.02/3609.40 c Program interrupted by user. 3600.02/3609.41 c cpu time 3555.9 s 3600.02/3609.41 c deterministic time 501453104919 5.01e+11 3600.02/3609.41 c optimization time 150.139 s 3600.02/3609.41 c total solve time 3405.76 s 3600.02/3609.41 c core-guided solve time 0 s 3600.02/3609.41 c propagation time 3291.47 s 3600.02/3609.41 c conflict analysis time 199.84 s 3600.02/3609.41 c propagations 126863269 3600.02/3609.41 c resolve steps 13443342 3600.02/3609.41 c decisions 18133923 3600.02/3609.41 c conflicts 2195656 3600.02/3609.41 c restarts 4093 3600.02/3609.41 c inprocessing phases 130 3600.02/3609.41 c input clauses 1334 3600.02/3609.41 c input cardinalities 0 3600.02/3609.41 c input general constraints 2025 3600.02/3609.41 c input average constraint length 3.81 3600.02/3609.41 c input average constraint degree 20949313541.24 3600.02/3609.41 c learned clauses 804962 3600.02/3609.41 c learned cardinalities 8845 3600.02/3609.41 c learned general constraints 1386409 3600.02/3609.41 c learned average constraint length 91.12 3600.02/3609.41 c learned average constraint degree 261671099.07 3600.02/3609.41 c watched constraints 1296140 3600.02/3609.41 c counting constraints 92294 3600.02/3609.41 c gcd simplifications 139366 3600.02/3609.41 c detected cardinalities 3283 3600.02/3609.41 c weakened non-implied lits 12808727 3600.02/3609.41 c weakened non-implying lits 1318908 3600.02/3609.41 c original variables 3220 3600.02/3609.41 c clausal propagations 30269906 3600.02/3609.41 c cardinality propagations 180438 3600.02/3609.41 c watched propagations 22593686 3600.02/3609.41 c counting propagations 72460609 3600.02/3609.41 c watch lookups 68285317800 3600.02/3609.41 c watch backjump lookups 64580083418 3600.02/3609.41 c watch checks 187734838881 3600.02/3609.41 c propagation checks 179917984615 3600.02/3609.41 c constraint additions 640297014 3600.02/3609.41 c trail pops 147191512 3600.02/3609.41 c formula constraints 3359 3600.02/3609.41 c learned constraints 2194884 3600.02/3609.41 c bound constraints 0 3600.02/3609.41 c core-guided constraints 0 3600.02/3609.41 c encountered formula constraints 7053703 3600.02/3609.41 c encountered learned constraints 8455230 3600.02/3609.41 c encountered bound constraints 0 3600.02/3609.41 c encountered core-guided constraints 0 3600.02/3609.41 c LP total time 166.795 s 3600.02/3609.41 c LP solve time 150.96 s 3600.02/3609.41 c LP constraints added 3416 3600.02/3609.41 c LP constraints removed 39 3600.02/3609.41 c LP pivots internal 2196000 3600.02/3609.41 c LP pivots root 198486 3600.02/3609.41 c LP calls 78445 3600.02/3609.41 c LP optimalities 73872 3600.02/3609.41 c LP no pivot count 63132 3600.02/3609.41 c LP infeasibilities 4562 3600.02/3609.41 c LP valid Farkas constraints 4560 3600.02/3609.41 c LP learned Farkas constraints 772 3600.02/3609.41 c LP basis resets 10 3600.02/3609.41 c LP cycling count 8 3600.02/3609.41 c LP singular count 0 3600.02/3609.41 c LP no primal count 0 3600.02/3609.41 c LP no farkas count 2 3600.02/3609.41 c LP other issue count 0 3600.02/3609.41 c LP Gomory cuts 0 3600.02/3609.41 c LP learned cuts 57 3600.02/3609.41 c LP deleted cuts 39 3600.02/3609.41 c LP encountered Gomory constraints 0 3600.02/3609.41 c LP encountered Farkas constraints 109209 3600.02/3609.41 c LP encountered learned Farkas constraints 20084 3600.02/3609.41 c CG auxiliary variables introduced 0 3600.02/3609.41 c CG solutions found 0 3600.02/3609.41 c CG cores constructed 0 3600.02/3609.41 c CG core cardinality constraints returned 0 3600.02/3609.41 c CG unit cores 0 3600.02/3609.41 c CG single cores 0 3600.02/3609.41 c CG blocks removed during cardinality reduction 0 3600.02/3609.41 c CG first core best 0 3600.02/3609.41 c CG decision core best 0 3600.02/3609.41 c CG core reduction tie 0 3600.02/3609.41 c CG core degree average 0.00 3600.02/3609.41 c CG core slack average 0.00 3600.02/3609.41 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: 64096 MiB (60085 MiB free)
memory of node 1: 64473 MiB (54264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457450-1721840731/watcher-4457450-1721840731 -o /tmp/evaluation-result-4457450-1721840731/solver-4457450-1721840731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186542 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457450-1721840731 --lp-cut-gomory=0 HOME/instance-4457450-1721840731.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=194395, runsolver pid=194392
[startup+0.100106 s]*
/proc/loadavg: 4.21 4.19 4.18 5/252 194396
/proc/meminfo: memFree=117086272/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=44012 memory=13308 CPUtime=0.1 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 2037 0 0 0 9 1 0 0 20 0 1 0 20062046 45068288 3327 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 11003 3327 1712 992 0 2861 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44012 KiB
Current children cumulated memory: 13308 KiB
[startup+0.214241 s]*
/proc/loadavg: 4.21 4.19 4.18 5/252 194396
/proc/meminfo: memFree=117082488/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=44288 memory=15964 CPUtime=0.21 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 2099 0 0 0 19 2 0 0 20 0 1 0 20062046 45350912 3991 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 11072 3991 1805 992 0 2930 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44288 KiB
Current children cumulated memory: 15964 KiB
[startup+0.314587 s]*
/proc/loadavg: 4.21 4.19 4.18 5/252 194396
/proc/meminfo: memFree=117080676/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=44604 memory=16492 CPUtime=0.31 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 2212 0 0 0 28 3 0 0 20 0 1 0 20062046 45674496 4123 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 11151 4123 1805 992 0 3009 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44604 KiB
Current children cumulated memory: 16492 KiB
[startup+0.700335 s]
/proc/loadavg: 4.21 4.19 4.18 5/252 194396
/proc/meminfo: memFree=117077848/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=45104 memory=16756 CPUtime=0.68 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 2331 0 0 0 61 7 0 0 20 0 1 0 20062046 46186496 4189 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 11276 4189 1805 992 0 3134 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45104 KiB
Current children cumulated memory: 16756 KiB
[startup+1.5003 s]
/proc/loadavg: 4.21 4.19 4.18 6/252 194396
/proc/meminfo: memFree=117067404/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=46232 memory=17812 CPUtime=1.48 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 2592 0 0 0 133 15 0 0 20 0 1 0 20062046 47341568 4453 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 11558 4453 1805 992 0 3416 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46232 KiB
Current children cumulated memory: 17812 KiB
[startup+3.11337 s]
/proc/loadavg: 4.21 4.19 4.18 6/252 194396
/proc/meminfo: memFree=117038636/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=48232 memory=20976 CPUtime=3.09 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 3376 0 0 0 283 26 0 0 20 0 1 0 20062046 49389568 5244 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 12058 5244 1805 992 0 3916 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48232 KiB
Current children cumulated memory: 20976 KiB
[startup+6.30027 s]
/proc/loadavg: 4.19 4.19 4.18 6/252 194396
/proc/meminfo: memFree=116999112/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=52504 memory=25724 CPUtime=6.28 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 4557 0 0 0 576 52 0 0 20 0 1 0 20062046 53764096 6431 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 13126 6431 1805 992 0 4984 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 52504 KiB
Current children cumulated memory: 25724 KiB
[startup+12.7003 s]
/proc/loadavg: 4.26 4.20 4.19 6/252 194397
/proc/meminfo: memFree=116916972/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=58576 memory=30204 CPUtime=12.66 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 5666 0 0 0 1171 95 0 0 20 0 1 0 20062046 59981824 7551 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 14644 7551 1805 992 0 6502 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 58576 KiB
Current children cumulated memory: 30204 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.19 4.18 6/252 194399
/proc/meminfo: memFree=116768116/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=73624 memory=43252 CPUtime=25.42 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 8960 0 0 0 2389 153 0 0 20 0 1 0 20062046 75390976 10813 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 18406 10813 1805 992 0 10264 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 73624 KiB
Current children cumulated memory: 43252 KiB
[startup+51.1138 s]
/proc/loadavg: 4.13 4.18 4.18 6/253 194405
/proc/meminfo: memFree=116463968/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=92560 memory=62040 CPUtime=50.97 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 12118 0 0 0 4825 272 0 0 20 0 1 0 20062046 94781440 15510 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 23140 15510 1805 992 0 14998 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 92560 KiB
Current children cumulated memory: 62040 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.18 4.18 6/253 194414
/proc/meminfo: memFree=116232848/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=101540 memory=70512 CPUtime=102.02 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 14139 0 0 0 9810 392 0 0 20 0 1 0 20062046 103976960 17628 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 25385 17628 1889 992 0 17243 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 101540 KiB
Current children cumulated memory: 70512 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.14 4.17 6/250 194425
/proc/meminfo: memFree=115947744/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=106284 memory=75256 CPUtime=161.88 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 15301 0 0 0 15570 618 0 0 20 0 1 0 20062046 108834816 18814 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 26571 18814 1889 992 0 18429 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 106284 KiB
Current children cumulated memory: 75256 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.13 4.16 6/248 194435
/proc/meminfo: memFree=115735204/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=116180 memory=82896 CPUtime=221.73 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 17235 0 0 0 21430 743 0 0 20 0 1 0 20062046 118968320 20724 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 29045 20724 1889 992 0 20903 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 116180 KiB
Current children cumulated memory: 82896 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.16 6/246 194445
/proc/meminfo: memFree=115430936/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=116348 memory=83152 CPUtime=281.57 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 17295 0 0 0 27263 894 0 0 20 0 1 0 20062046 119140352 20788 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 29087 20788 1889 992 0 20945 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 116348 KiB
Current children cumulated memory: 83152 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.15 4.17 6/247 194459
/proc/meminfo: memFree=115243200/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=132448 memory=94280 CPUtime=341.42 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 18564 0 0 0 33125 1017 0 0 20 0 1 0 20062046 135626752 23570 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 33112 23570 1889 992 0 24970 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 132448 KiB
Current children cumulated memory: 94280 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.16 6/246 194470
/proc/meminfo: memFree=115053700/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=137256 memory=98504 CPUtime=401.26 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 19647 0 0 0 38952 1174 0 0 20 0 1 0 20062046 140550144 24626 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 34314 24626 1889 992 0 26172 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 137256 KiB
Current children cumulated memory: 98504 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.16 6/246 194480
/proc/meminfo: memFree=114903104/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=139048 memory=100088 CPUtime=461.1 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 20023 0 0 0 44801 1309 0 0 20 0 1 0 20062046 142385152 25022 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 34762 25022 1889 992 0 26620 0
################
# More data... #
################
Current children cumulated memory: 271656 KiB
[startup+2862.3 s]
/proc/loadavg: 3.22 3.40 3.83 5/241 195558
/proc/meminfo: memFree=106556040/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=335000 memory=271656 CPUtime=2854.64 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 51176 0 0 0 281406 4058 0 0 20 0 1 0 20062046 343040000 67914 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 83750 67914 1889 992 0 75608 0
Current children cumulated CPU time: 2854.64 s
Current children cumulated vsize: 335000 KiB
Current children cumulated memory: 271656 KiB
[startup+2922.3 s]
/proc/loadavg: 3.13 3.34 3.78 5/241 195568
/proc/meminfo: memFree=106509724/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=335000 memory=271656 CPUtime=2914.49 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 51283 0 0 0 287350 4099 0 0 20 0 1 0 20062046 343040000 67914 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 83750 67914 1889 992 0 75608 0
Current children cumulated CPU time: 2914.49 s
Current children cumulated vsize: 335000 KiB
Current children cumulated memory: 271656 KiB
[startup+2982.3 s]
/proc/loadavg: 2.60 3.16 3.69 3/234 195610
/proc/meminfo: memFree=118655584/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=335000 memory=271656 CPUtime=2974.36 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 51388 0 0 0 293312 4124 0 0 20 0 1 0 20062046 343040000 67914 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 83750 67914 1889 992 0 75608 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 335000 KiB
Current children cumulated memory: 271656 KiB
[startup+3042.3 s]
/proc/loadavg: 2.28 2.96 3.59 3/235 196006
/proc/meminfo: memFree=118625632/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=335224 memory=271660 CPUtime=3034.21 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 51508 0 0 0 299264 4157 0 0 20 0 1 0 20062046 343269376 67915 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 83806 67915 1889 992 0 75664 0
Current children cumulated CPU time: 3034.21 s
Current children cumulated vsize: 335224 KiB
Current children cumulated memory: 271660 KiB
[startup+3102.3 s]
/proc/loadavg: 2.23 2.83 3.50 3/235 196018
/proc/meminfo: memFree=118600000/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=338724 memory=274204 CPUtime=3094.08 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 52285 0 0 0 305226 4182 0 0 20 0 1 0 20062046 346853376 68551 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 84681 68551 1889 992 0 76539 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 338724 KiB
Current children cumulated memory: 274204 KiB
[startup+3162.3 s]
/proc/loadavg: 2.19 2.71 3.42 3/235 196028
/proc/meminfo: memFree=118573464/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=339556 memory=275056 CPUtime=3153.93 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 52588 0 0 0 311192 4201 0 0 20 0 1 0 20062046 347705344 68764 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 84889 68764 1889 992 0 76747 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 339556 KiB
Current children cumulated memory: 275056 KiB
[startup+3222.3 s]
/proc/loadavg: 2.07 2.58 3.33 3/235 196206
/proc/meminfo: memFree=118549876/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=339792 memory=275300 CPUtime=3213.79 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 52766 0 0 0 317160 4219 0 0 20 0 1 0 20062046 347947008 68825 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 84948 68825 1889 992 0 76806 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 339792 KiB
Current children cumulated memory: 275300 KiB
[startup+3282.3 s]
/proc/loadavg: 2.14 2.50 3.25 3/235 196217
/proc/meminfo: memFree=118519272/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=341652 memory=276496 CPUtime=3273.64 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 53208 0 0 0 323131 4233 0 0 20 0 1 0 20062046 349851648 69124 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 85413 69124 1889 992 0 77271 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 341652 KiB
Current children cumulated memory: 276496 KiB
[startup+3342.3 s]
/proc/loadavg: 2.17 2.44 3.18 3/232 196241
/proc/meminfo: memFree=118491816/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=343188 memory=278692 CPUtime=3333.49 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 53538 0 0 0 329102 4247 0 0 20 0 1 0 20062046 351424512 69673 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 85797 69673 1889 992 0 77655 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 343188 KiB
Current children cumulated memory: 278692 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.37 3.11 3/232 196252
/proc/meminfo: memFree=118460120/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=343956 memory=279128 CPUtime=3393.35 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 53776 0 0 0 335072 4263 0 0 20 0 1 0 20062046 352210944 69782 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 85989 69782 1889 992 0 77847 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 343956 KiB
Current children cumulated memory: 279128 KiB
[startup+3462.3 s]
/proc/loadavg: 1.54 2.16 2.99 2/227 196295
/proc/meminfo: memFree=120013900/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=347104 memory=281708 CPUtime=3453.22 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 55592 0 0 0 341016 4306 0 0 20 0 1 0 20062046 355434496 70427 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 86776 70427 1889 992 0 78634 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 347104 KiB
Current children cumulated memory: 281708 KiB
[startup+3522.3 s]
/proc/loadavg: 1.25 1.96 2.87 2/227 196305
/proc/meminfo: memFree=119987368/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=347104 memory=281932 CPUtime=3513.09 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 55689 0 0 0 346940 4369 0 0 20 0 1 0 20062046 355434496 70483 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 86776 70483 1889 992 0 78634 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 347104 KiB
Current children cumulated memory: 281932 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 1.80 2.75 2/227 196316
/proc/meminfo: memFree=119976256/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=347104 memory=281932 CPUtime=3572.97 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 55792 0 0 0 352896 4401 0 0 20 0 1 0 20062046 355434496 70483 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 86776 70483 1889 992 0 78634 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 347104 KiB
Current children cumulated memory: 281932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 1.14 1.75 2.71 2/226 196322
/proc/meminfo: memFree=119972704/131655788 swapFree=131071472/131071996
[pid=194395] ppid=194392 vsize=347104 memory=281932 CPUtime=3600.02 cores=1,3
/proc/194395/stat : 194395 (roundingsat) R 194392 194395 186530 0 -1 4194304 55793 0 0 0 355590 4412 0 0 20 0 1 0 20062046 355434496 70483 134679101440 4194304 8254037 140728074576032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23617536 140728074580828 140728074581090 140728074581090 140728074588105 0
/proc/194395/statm: 86776 70483 1889 992 0 78634 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 347104 KiB
Current children cumulated memory: 281932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 194395 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3555.91 s, system=44.1238 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.03
CPU user time (s): 3555.91
CPU system time (s): 44.1238
CPU usage (%): 99.74
Max. virtual memory (cumulated for all children) (KiB): 347104
Max. memory (cumulated for all children) (KiB): 281932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3555.91
system time used= 44.1238
maximum resident set size= 283592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55805
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6247416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 190
involuntary context switches= 4828
# summary of solver processes directly reported to runsolver:
# pid: 194395
# total CPU time (s): 3600.03
# total CPU user time (s): 3555.91
# total CPU system time (s): 44.1238
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2479 second user time and 35.884 second system time
The end
Begin job on nodeC004 at 2024-07-24 19:05:31 IDJOB=4457450 IDBENCH=176033 IDSOLVER=3085 FILE ID=nodeC004/4457450-1721840731 RUNJOBID= nodeC004-1721832165-186542 SLURM_JOB_ID= 7891533 Free space on /tmp= 723756 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-4457450-1721840731/watcher-4457450-1721840731 -o /tmp/evaluation-result-4457450-1721840731/solver-4457450-1721840731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186542 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457450-1721840731 --lp-cut-gomory=0 HOME/instance-4457450-1721840731.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7d417cf1b74ab4db87153ce12cf8f72e RANDOM SEED=1878132410 nodeC004.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 : 0xb00001f cpu MHz : 3500.766 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 3492.089 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.290 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 1197.280 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 3657.965 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 3615.652 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.524 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 1197.371 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 117095020 kB MemAvailable: 127236680 kB Buffers: 272104 kB Cached: 10662972 kB SwapCached: 60 kB Active: 2584864 kB Inactive: 11333852 kB Active(anon): 1444 kB Inactive(anon): 3035884 kB Active(file): 2583420 kB Inactive(file): 8297968 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 85484 kB Writeback: 24 kB AnonPages: 2981076 kB Mapped: 124748 kB Shmem: 53860 kB KReclaimable: 200940 kB Slab: 316200 kB SReclaimable: 200940 kB SUnreclaim: 115260 kB KernelStack: 4064 kB PageTables: 15016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3416048 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 901120 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: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723776 MiB End job on nodeC004 at 2024-07-24 20:05:41