| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.07 | 3610.21 |
| Name | PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb |
| MD5SUM | ea45ea8fc9874a86ca315aec231afca1 |
| 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.64065 |
| 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.02 c #variables 3220 #constraints 3359 0.00/0.03 c rational objective 2.84217e-14 1.10/1.18 c #Conflicts: 1000 | #Constraints: 4360 1.10/1.18 c #Conflicts: 2000 | #Constraints: 5362 1.10/1.18 c INPROCESSING 1.10/1.18 c GARBAGE COLLECT 1.10/1.18 c #Conflicts: 3000 | #Constraints: 5407 1.10/1.18 c #Conflicts: 4000 | #Constraints: 6409 1.10/1.18 c INPROCESSING 1.10/1.18 c GARBAGE COLLECT 1.10/1.18 c rational objective 2.84217e-14 1.68/1.72 c #Conflicts: 5000 | #Constraints: 5852 1.68/1.72 c #Conflicts: 6000 | #Constraints: 6854 1.68/1.72 c INPROCESSING 1.68/1.72 c GARBAGE COLLECT 1.68/1.72 c rational objective 2.84217e-14 2.09/2.19 c #Conflicts: 7000 | #Constraints: 5899 2.09/2.19 c #Conflicts: 8000 | #Constraints: 6900 2.09/2.19 c #Conflicts: 9000 | #Constraints: 7901 2.09/2.19 c INPROCESSING 2.09/2.19 c GARBAGE COLLECT 2.09/2.19 c rational objective 2.84217e-14 2.48/2.50 c #Conflicts: 10000 | #Constraints: 6640 2.48/2.50 c #Conflicts: 11000 | #Constraints: 7640 2.48/2.50 c #Conflicts: 12000 | #Constraints: 8641 2.48/2.50 c INPROCESSING 2.48/2.50 c GARBAGE COLLECT 2.48/2.50 c rational objective 2.84217e-14 3.47/3.52 c #Conflicts: 13000 | #Constraints: 7109 3.47/3.52 c #Conflicts: 14000 | #Constraints: 8109 3.47/3.52 c #Conflicts: 15000 | #Constraints: 9109 3.47/3.52 c INPROCESSING 3.47/3.52 c GARBAGE COLLECT 3.47/3.52 c rational objective 2.84217e-14 3.77/3.82 c #Conflicts: 16000 | #Constraints: 7357 3.77/3.82 c #Conflicts: 17000 | #Constraints: 8361 3.77/3.82 c #Conflicts: 18000 | #Constraints: 9361 3.77/3.82 c INPROCESSING 3.77/3.82 c GARBAGE COLLECT 3.77/3.82 c rational objective 2.84217e-14 4.37/4.41 c #Conflicts: 19000 | #Constraints: 7369 4.37/4.41 c #Conflicts: 20000 | #Constraints: 8372 4.37/4.41 c #Conflicts: 21000 | #Constraints: 9372 4.37/4.41 c INPROCESSING 4.37/4.41 c GARBAGE COLLECT 4.37/4.41 c rational objective 2.84217e-14 5.17/5.23 c #Conflicts: 22000 | #Constraints: 7191 5.17/5.23 c #Conflicts: 23000 | #Constraints: 8192 5.17/5.23 c #Conflicts: 24000 | #Constraints: 9192 5.17/5.23 c #Conflicts: 25000 | #Constraints: 10193 5.17/5.23 c INPROCESSING 5.17/5.23 c GARBAGE COLLECT 5.17/5.23 c rational objective 2.84217e-14 5.67/5.80 c #Conflicts: 26000 | #Constraints: 7805 5.67/5.80 c #Conflicts: 27000 | #Constraints: 8807 5.67/5.80 c #Conflicts: 28000 | #Constraints: 9807 5.67/5.80 c #Conflicts: 29000 | #Constraints: 10808 5.67/5.80 c INPROCESSING 5.67/5.80 c GARBAGE COLLECT 5.67/5.80 c rational objective 2.84217e-14 6.86/6.91 c #Conflicts: 30000 | #Constraints: 8214 6.86/6.91 c #Conflicts: 31000 | #Constraints: 9216 6.86/6.91 c #Conflicts: 32000 | #Constraints: 10218 6.86/6.91 c #Conflicts: 33000 | #Constraints: 11218 6.86/6.91 c INPROCESSING 6.86/6.91 c GARBAGE COLLECT 6.86/6.91 c rational objective 0.467543 7.37/7.47 c #Conflicts: 34000 | #Constraints: 8427 7.37/7.47 c #Conflicts: 35000 | #Constraints: 9427 7.37/7.47 c #Conflicts: 36000 | #Constraints: 10427 7.37/7.47 c #Conflicts: 37000 | #Constraints: 11429 7.37/7.47 c INPROCESSING 7.37/7.47 c GARBAGE COLLECT 7.37/7.47 c rational objective 0.487911 10.16/10.25 c #Conflicts: 38000 | #Constraints: 8443 10.16/10.25 c #Conflicts: 39000 | #Constraints: 9444 10.16/10.25 c #Conflicts: 40000 | #Constraints: 10444 10.16/10.25 c #Conflicts: 41000 | #Constraints: 11445 10.16/10.25 c INPROCESSING 10.16/10.25 c GARBAGE COLLECT 10.16/10.25 c #Conflicts: 42000 | #Constraints: 8241 10.16/10.25 c #Conflicts: 43000 | #Constraints: 9242 10.16/10.25 c #Conflicts: 44000 | #Constraints: 10243 10.16/10.25 c #Conflicts: 45000 | #Constraints: 11243 10.16/10.25 c #Conflicts: 46000 | #Constraints: 12244 10.16/10.25 c INPROCESSING 10.16/10.25 c GARBAGE COLLECT 10.16/10.25 c rational objective 0.487911 10.86/10.96 c #Conflicts: 47000 | #Constraints: 8842 10.86/10.96 c #Conflicts: 48000 | #Constraints: 9842 10.86/10.96 c #Conflicts: 49000 | #Constraints: 10842 10.86/10.96 c #Conflicts: 50000 | #Constraints: 11843 10.86/10.96 c #Conflicts: 51000 | #Constraints: 12845 10.86/10.96 c INPROCESSING 10.86/10.96 c GARBAGE COLLECT 10.86/10.96 c rational objective 0.512307 11.56/11.68 c #Conflicts: 52000 | #Constraints: 9259 11.56/11.68 c #Conflicts: 53000 | #Constraints: 10259 11.56/11.68 c #Conflicts: 54000 | #Constraints: 11260 11.56/11.68 c #Conflicts: 55000 | #Constraints: 12261 11.56/11.68 c #Conflicts: 56000 | #Constraints: 13263 11.56/11.68 c INPROCESSING 11.56/11.68 c GARBAGE COLLECT 11.56/11.68 c rational objective 0.513333 13.15/13.26 c #Conflicts: 57000 | #Constraints: 9450 13.15/13.26 c #Conflicts: 58000 | #Constraints: 10450 13.15/13.26 c #Conflicts: 59000 | #Constraints: 11452 13.15/13.26 c #Conflicts: 60000 | #Constraints: 12452 13.15/13.26 c #Conflicts: 61000 | #Constraints: 13452 13.15/13.26 c INPROCESSING 13.15/13.26 c GARBAGE COLLECT 13.15/13.26 c rational objective 0.513333 15.64/15.78 c #Conflicts: 62000 | #Constraints: 9488 15.64/15.78 c #Conflicts: 63000 | #Constraints: 10489 15.64/15.78 c #Conflicts: 64000 | #Constraints: 11489 15.64/15.78 c #Conflicts: 65000 | #Constraints: 12490 15.64/15.78 c #Conflicts: 66000 | #Constraints: 13490 15.64/15.78 c INPROCESSING 15.64/15.78 c GARBAGE COLLECT 15.64/15.78 c rational objective 0.513333 16.96/17.03 c #Conflicts: 67000 | #Constraints: 9305 16.96/17.03 c #Conflicts: 68000 | #Constraints: 10306 16.96/17.03 c #Conflicts: 69000 | #Constraints: 11306 16.96/17.03 c #Conflicts: 70000 | #Constraints: 12307 16.96/17.03 c #Conflicts: 71000 | #Constraints: 13308 16.96/17.03 c #Conflicts: 72000 | #Constraints: 14308 16.96/17.03 c INPROCESSING 16.96/17.03 c GARBAGE COLLECT 16.96/17.03 c rational objective 0.513333 18.14/18.22 c #Conflicts: 73000 | #Constraints: 9885 18.14/18.22 c #Conflicts: 74000 | #Constraints: 10885 18.14/18.22 c #Conflicts: 75000 | #Constraints: 11885 18.14/18.22 c #Conflicts: 76000 | #Constraints: 12886 18.14/18.22 c #Conflicts: 77000 | #Constraints: 13887 18.14/18.22 c #Conflicts: 78000 | #Constraints: 14888 18.14/18.22 c INPROCESSING 18.14/18.22 c GARBAGE COLLECT 18.14/18.22 c rational objective 0.513333 19.34/19.42 c #Conflicts: 79000 | #Constraints: 10299 19.34/19.42 c #Conflicts: 80000 | #Constraints: 11299 19.34/19.42 c #Conflicts: 81000 | #Constraints: 12299 19.34/19.42 c #Conflicts: 82000 | #Constraints: 13300 19.34/19.42 c #Conflicts: 83000 | #Constraints: 14302 19.34/19.42 c #Conflicts: 84000 | #Constraints: 15302 19.34/19.42 c INPROCESSING 19.34/19.42 c GARBAGE COLLECT 19.34/19.42 c rational objective 0.513333 20.95/21.06 c #Conflicts: 85000 | #Constraints: 10502 20.95/21.06 c #Conflicts: 86000 | #Constraints: 11503 20.95/21.06 c #Conflicts: 87000 | #Constraints: 12504 20.95/21.06 c #Conflicts: 88000 | #Constraints: 13505 20.95/21.06 c #Conflicts: 89000 | #Constraints: 14507 20.95/21.06 c #Conflicts: 90000 | #Constraints: 15508 20.95/21.06 c INPROCESSING 20.95/21.06 c GARBAGE COLLECT 20.95/21.06 c rational objective 0.519856 23.33/23.48 c #Conflicts: 91000 | #Constraints: 10530 23.33/23.48 c #Conflicts: 92000 | #Constraints: 11530 23.33/23.48 c #Conflicts: 93000 | #Constraints: 12531 23.33/23.48 c #Conflicts: 94000 | #Constraints: 13532 23.33/23.48 c #Conflicts: 95000 | #Constraints: 14533 23.33/23.48 c #Conflicts: 96000 | #Constraints: 15533 23.33/23.48 c INPROCESSING 23.33/23.48 c GARBAGE COLLECT 23.33/23.48 c rational objective 0.528554 25.22/25.34 c #Conflicts: 97000 | #Constraints: 10328 25.22/25.34 c #Conflicts: 98000 | #Constraints: 11329 25.22/25.34 c #Conflicts: 99000 | #Constraints: 12331 25.22/25.34 c #Conflicts: 100000 | #Constraints: 13333 25.22/25.34 c #Conflicts: 101000 | #Constraints: 14334 25.22/25.34 c #Conflicts: 102000 | #Constraints: 15336 25.22/25.34 c #Conflicts: 103000 | #Constraints: 16336 25.22/25.34 c INPROCESSING 25.22/25.34 c GARBAGE COLLECT 25.22/25.34 c rational objective 0.528554 26.42/26.57 c #Conflicts: 104000 | #Constraints: 10941 26.42/26.57 c #Conflicts: 105000 | #Constraints: 11941 26.42/26.57 c #Conflicts: 106000 | #Constraints: 12941 26.42/26.57 c #Conflicts: 107000 | #Constraints: 13941 26.42/26.57 c #Conflicts: 108000 | #Constraints: 14942 26.42/26.57 c #Conflicts: 109000 | #Constraints: 15942 26.42/26.57 c #Conflicts: 110000 | #Constraints: 16942 26.42/26.57 c INPROCESSING 26.42/26.57 c GARBAGE COLLECT 26.42/26.57 c rational objective 0.528554 28.72/28.86 c #Conflicts: 111000 | #Constraints: 11338 28.72/28.86 c #Conflicts: 112000 | #Constraints: 12341 28.72/28.86 c #Conflicts: 113000 | #Constraints: 13342 28.72/28.86 c #Conflicts: 114000 | #Constraints: 14343 28.72/28.86 c #Conflicts: 115000 | #Constraints: 15343 28.72/28.86 c #Conflicts: 116000 | #Constraints: 16344 28.72/28.86 c #Conflicts: 117000 | #Constraints: 17345 28.72/28.86 c INPROCESSING 28.72/28.86 c GARBAGE COLLECT 28.72/28.86 c rational objective 0.528554 30.02/30.16 c #Conflicts: 118000 | #Constraints: 11515 30.02/30.16 c #Conflicts: 119000 | #Constraints: 12515 30.02/30.16 c #Conflicts: 120000 | #Constraints: 13515 30.02/30.16 c #Conflicts: 121000 | #Constraints: 14515 30.02/30.16 c #Conflicts: 122000 | #Constraints: 15516 30.02/30.16 c #Conflicts: 123000 | #Constraints: 16516 30.02/30.16 c #Conflicts: 124000 | #Constraints: 17516 30.02/30.16 c INPROCESSING 30.02/30.16 c GARBAGE COLLECT 30.02/30.16 c rational objective 0.528554 32.40/32.52 c #Conflicts: 125000 | #Constraints: 11503 32.40/32.52 c #Conflicts: 126000 | #Constraints: 12503 32.40/32.52 c #Conflicts: 127000 | #Constraints: 13504 32.40/32.52 c #Conflicts: 128000 | #Constraints: 14504 32.40/32.52 c #Conflicts: 129000 | #Constraints: 15505 32.40/32.52 c #Conflicts: 130000 | #Constraints: 16506 32.40/32.52 c #Conflicts: 131000 | #Constraints: 17506 32.40/32.52 c INPROCESSING 32.40/32.52 c GARBAGE COLLECT 32.40/32.52 c rational objective 0.528554 33.60/33.75 c #Conflicts: 132000 | #Constraints: 11329 33.60/33.75 c #Conflicts: 133000 | #Constraints: 12329 33.60/33.75 c #Conflicts: 134000 | #Constraints: 13330 33.60/33.75 c #Conflicts: 135000 | #Constraints: 14331 33.60/33.75 c #Conflicts: 136000 | #Constraints: 15331 33.60/33.75 c #Conflicts: 137000 | #Constraints: 16332 33.60/33.75 c #Conflicts: 138000 | #Constraints: 17333 33.60/33.75 c #Conflicts: 139000 | #Constraints: 18334 33.60/33.75 c INPROCESSING 33.60/33.75 c GARBAGE COLLECT 33.60/33.75 c rational objective 0.528554 35.40/35.50 c #Conflicts: 140000 | #Constraints: 11928 35.40/35.50 c #Conflicts: 141000 | #Constraints: 12928 35.40/35.50 c #Conflicts: 142000 | #Constraints: 13928 35.40/35.50 c #Conflicts: 143000 | #Constraints: 14928 35.40/35.50 c #Conflicts: 144000 | #Constraints: 15928 35.40/35.50 c #Conflicts: 145000 | #Constraints: 16929 35.40/35.50 c #Conflicts: 146000 | #Constraints: 17930 35.40/35.50 c #Conflicts: 147000 | #Constraints: 18933 35.40/35.50 c INPROCESSING 35.40/35.50 c GARBAGE COLLECT 35.40/35.50 c rational objective 0.528554 36.80/36.93 c #Conflicts: 148000 | #Constraints: 12359 36.80/36.93 c #Conflicts: 149000 | #Constraints: 13359 36.80/36.93 c #Conflicts: 150000 | #Constraints: 14359 36.80/36.93 c #Conflicts: 151000 | #Constraints: 15360 36.80/36.93 c #Conflicts: 152000 | #Constraints: 16360 36.80/36.93 c #Conflicts: 153000 | #Constraints: 17360 36.80/36.93 c #Conflicts: 154000 | #Constraints: 18361 36.80/36.93 c #Conflicts: 155000 | #Constraints: 19362 36.80/36.93 c INPROCESSING 36.80/36.93 c GARBAGE COLLECT 36.80/36.93 c rational objective 0.528554 38.79/38.94 c #Conflicts: 156000 | #Constraints: 12570 38.79/38.94 c #Conflicts: 157000 | #Constraints: 13570 38.79/38.94 c #Conflicts: 158000 | #Constraints: 14570 38.79/38.94 c #Conflicts: 159000 | #Constraints: 15571 38.79/38.94 c #Conflicts: 160000 | #Constraints: 16571 38.79/38.94 c #Conflicts: 161000 | #Constraints: 17571 38.79/38.94 c #Conflicts: 162000 | #Constraints: 18573 38.79/38.94 c #Conflicts: 163000 | #Constraints: 19574 38.79/38.94 c INPROCESSING 38.79/38.94 c GARBAGE COLLECT 38.79/38.94 c rational objective 0.528554 40.48/40.64 c #Conflicts: 164000 | #Constraints: 12550 40.48/40.64 c #Conflicts: 165000 | #Constraints: 13550 40.48/40.64 c #Conflicts: 166000 | #Constraints: 14550 40.48/40.64 c #Conflicts: 167000 | #Constraints: 15551 40.48/40.64 c #Conflicts: 168000 | #Constraints: 16553 40.48/40.64 c #Conflicts: 169000 | #Constraints: 17554 40.48/40.64 c #Conflicts: 170000 | #Constraints: 18555 40.48/40.64 c #Conflicts: 171000 | #Constraints: 19555 40.48/40.64 c INPROCESSING 40.48/40.64 c GARBAGE COLLECT 40.48/40.64 c rational objective 0.528554 42.48/42.68 c #Conflicts: 172000 | #Constraints: 12316 42.48/42.68 c #Conflicts: 173000 | #Constraints: 13316 42.48/42.68 c #Conflicts: 174000 | #Constraints: 14316 42.48/42.68 c #Conflicts: 175000 | #Constraints: 15317 42.48/42.68 c #Conflicts: 176000 | #Constraints: 16317 42.48/42.68 c #Conflicts: 177000 | #Constraints: 17318 42.48/42.68 c #Conflicts: 178000 | #Constraints: 18318 42.48/42.68 c #Conflicts: 179000 | #Constraints: 19318 42.48/42.68 c #Conflicts: 180000 | #Constraints: 20319 42.48/42.68 c INPROCESSING 42.48/42.68 c GARBAGE COLLECT 42.48/42.68 c rational objective 0.528554 43.78/43.99 c #Conflicts: 181000 | #Constraints: 12928 43.78/43.99 c #Conflicts: 182000 | #Constraints: 13929 43.78/43.99 c #Conflicts: 183000 | #Constraints: 14930 43.78/43.99 c #Conflicts: 184000 | #Constraints: 15930 43.78/43.99 c #Conflicts: 185000 | #Constraints: 16931 43.78/43.99 c #Conflicts: 186000 | #Constraints: 17932 43.78/43.99 c #Conflicts: 187000 | #Constraints: 18932 43.78/43.99 c #Conflicts: 188000 | #Constraints: 19932 43.78/43.99 c #Conflicts: 189000 | #Constraints: 20932 43.78/43.99 c INPROCESSING 43.78/43.99 c GARBAGE COLLECT 43.78/43.99 c rational objective 0.528554 45.77/45.92 c #Conflicts: 190000 | #Constraints: 13346 45.77/45.92 c #Conflicts: 191000 | #Constraints: 14346 45.77/45.92 c #Conflicts: 192000 | #Constraints: 15346 45.77/45.92 c #Conflicts: 193000 | #Constraints: 16347 45.77/45.92 c #Conflicts: 194000 | #Constraints: 17348 45.77/45.92 c #Conflicts: 195000 | #Constraints: 18348 45.77/45.92 c #Conflicts: 196000 | #Constraints: 19348 45.77/45.92 c #Conflicts: 197000 | #Constraints: 20348 45.77/45.92 c #Conflicts: 198000 | #Constraints: 21351 45.77/45.92 c INPROCESSING 45.77/45.92 c GARBAGE COLLECT 45.77/45.92 c rational objective 0.528554 49.98/50.15 c #Conflicts: 199000 | #Constraints: 13548 49.98/50.15 c #Conflicts: 200000 | #Constraints: 14548 49.98/50.15 c #Conflicts: 201000 | #Constraints: 15548 49.98/50.15 c #Conflicts: 202000 | #Constraints: 16548 49.98/50.15 c #Conflicts: 203000 | #Constraints: 17549 49.98/50.15 c #Conflicts: 204000 | #Constraints: 18549 49.98/50.15 c #Conflicts: 205000 | #Constraints: 19549 49.98/50.15 c #Conflicts: 206000 | #Constraints: 20549 49.98/50.15 c #Conflicts: 207000 | #Constraints: 21553 49.98/50.15 c INPROCESSING 49.98/50.15 c GARBAGE COLLECT 49.98/50.15 c rational objective 0.528554 63.52/63.76 c #Conflicts: 208000 | #Constraints: 13593 63.52/63.76 c #Conflicts: 209000 | #Constraints: 14593 63.52/63.76 c #Conflicts: 210000 | #Constraints: 15594 63.52/63.76 c #Conflicts: 211000 | #Constraints: 16594 63.52/63.76 c #Conflicts: 212000 | #Constraints: 17594 63.52/63.76 c #Conflicts: 213000 | #Constraints: 18595 63.52/63.76 c #Conflicts: 214000 | #Constraints: 19596 63.52/63.76 c #Conflicts: 215000 | #Constraints: 20596 63.52/63.76 c #Conflicts: 216000 | #Constraints: 21596 63.52/63.76 c INPROCESSING 63.52/63.76 c GARBAGE COLLECT 63.52/63.76 c rational objective 0.528554 65.84/66.08 c #Conflicts: 217000 | #Constraints: 13395 65.84/66.08 c #Conflicts: 218000 | #Constraints: 14396 65.84/66.08 c #Conflicts: 219000 | #Constraints: 15397 65.84/66.08 c #Conflicts: 220000 | #Constraints: 16398 65.84/66.08 c #Conflicts: 221000 | #Constraints: 17399 65.84/66.08 c #Conflicts: 222000 | #Constraints: 18399 65.84/66.08 c #Conflicts: 223000 | #Constraints: 19399 65.84/66.08 c #Conflicts: 224000 | #Constraints: 20400 65.84/66.08 c #Conflicts: 225000 | #Constraints: 21400 65.84/66.08 c #Conflicts: 226000 | #Constraints: 22400 65.84/66.08 c INPROCESSING 65.84/66.08 c GARBAGE COLLECT 65.84/66.08 c rational objective 0.528554 67.51/67.79 c #Conflicts: 227000 | #Constraints: 13973 67.51/67.79 c #Conflicts: 228000 | #Constraints: 14973 67.51/67.79 c #Conflicts: 229000 | #Constraints: 15973 67.51/67.79 c #Conflicts: 230000 | #Constraints: 16973 67.51/67.79 c #Conflicts: 231000 | #Constraints: 17974 67.51/67.79 c #Conflicts: 232000 | #Constraints: 18975 67.51/67.79 c #Conflicts: 233000 | #Constraints: 19975 67.51/67.79 c #Conflicts: 234000 | #Constraints: 20975 67.51/67.79 c #Conflicts: 235000 | #Constraints: 21975 67.51/67.79 c #Conflicts: 236000 | #Constraints: 22975 67.51/67.79 c INPROCESSING 67.51/67.79 c GARBAGE COLLECT 67.51/67.79 c rational objective 0.528554 70.01/70.21 c #Conflicts: 237000 | #Constraints: 14366 70.01/70.21 c #Conflicts: 238000 | #Constraints: 15366 70.01/70.21 c #Conflicts: 239000 | #Constraints: 16367 70.01/70.21 c #Conflicts: 240000 | #Constraints: 17367 70.01/70.21 c #Conflicts: 241000 | #Constraints: 18367 70.01/70.21 c #Conflicts: 242000 | #Constraints: 19368 70.01/70.21 c #Conflicts: 243000 | #Constraints: 20370 70.01/70.21 c #Conflicts: 244000 | #Constraints: 21371 70.01/70.21 c #Conflicts: 245000 | #Constraints: 22371 70.01/70.21 c #Conflicts: 246000 | #Constraints: 23371 70.01/70.21 c INPROCESSING 70.01/70.21 c GARBAGE COLLECT 70.01/70.21 c rational objective 0.528554 72.41/72.65 c #Conflicts: 247000 | #Constraints: 14587 72.41/72.65 c #Conflicts: 248000 | #Constraints: 15587 72.41/72.65 c #Conflicts: 249000 | #Constraints: 16588 72.41/72.65 c #Conflicts: 250000 | #Constraints: 17589 72.41/72.65 c #Conflicts: 251000 | #Constraints: 18589 72.41/72.65 c #Conflicts: 252000 | #Constraints: 19589 72.41/72.65 c #Conflicts: 253000 | #Constraints: 20589 72.41/72.65 c #Conflicts: 254000 | #Constraints: 21590 72.41/72.65 c #Conflicts: 255000 | #Constraints: 22592 72.41/72.65 c #Conflicts: 256000 | #Constraints: 23592 72.41/72.65 c INPROCESSING 72.41/72.65 c GARBAGE COLLECT 72.41/72.65 c rational objective 0.528554 75.50/75.76 c #Conflicts: 257000 | #Constraints: 14565 75.50/75.76 c #Conflicts: 258000 | #Constraints: 15565 75.50/75.76 c #Conflicts: 259000 | #Constraints: 16566 75.50/75.76 c #Conflicts: 260000 | #Constraints: 17567 75.50/75.76 c #Conflicts: 261000 | #Constraints: 18568 75.50/75.76 c #Conflicts: 262000 | #Constraints: 19568 75.50/75.76 c #Conflicts: 263000 | #Constraints: 20568 75.50/75.76 c #Conflicts: 264000 | #Constraints: 21568 75.50/75.76 c #Conflicts: 265000 | #Constraints: 22568 75.50/75.76 c #Conflicts: 266000 | #Constraints: 23568 75.50/75.76 c INPROCESSING 75.50/75.76 c GARBAGE COLLECT 75.50/75.76 c rational objective 0.528554 79.29/79.58 c #Conflicts: 267000 | #Constraints: 14361 79.29/79.58 c #Conflicts: 268000 | #Constraints: 15361 79.29/79.58 c #Conflicts: 269000 | #Constraints: 16362 79.29/79.58 c #Conflicts: 270000 | #Constraints: 17362 79.29/79.58 c #Conflicts: 271000 | #Constraints: 18363 79.29/79.58 c #Conflicts: 272000 | #Constraints: 19363 79.29/79.58 c #Conflicts: 273000 | #Constraints: 20363 79.29/79.58 c #Conflicts: 274000 | #Constraints: 21363 79.29/79.58 c #Conflicts: 275000 | #Constraints: 22363 79.29/79.58 c #Conflicts: 276000 | #Constraints: 23364 79.29/79.58 c #Conflicts: 277000 | #Constraints: 24364 79.29/79.58 c INPROCESSING 79.29/79.58 c GARBAGE COLLECT 79.29/79.58 c rational objective 0.528554 81.68/81.91 c #Conflicts: 278000 | #Constraints: 14960 81.68/81.91 c #Conflicts: 279000 | #Constraints: 15960 81.68/81.91 c #Conflicts: 280000 | #Constraints: 16961 81.68/81.91 c #Conflicts: 281000 | #Constraints: 17962 81.68/81.91 c #Conflicts: 282000 | #Constraints: 18962 81.68/81.91 c #Conflicts: 283000 | #Constraints: 19962 81.68/81.91 c #Conflicts: 284000 | #Constraints: 20963 81.68/81.91 c #Conflicts: 285000 | #Constraints: 21966 81.68/81.91 c #Conflicts: 286000 | #Constraints: 22966 81.68/81.91 c #Conflicts: 287000 | #Constraints: 23966 81.68/81.91 c #Conflicts: 288000 | #Constraints: 24966 81.68/81.91 c INPROCESSING 81.68/81.91 c GARBAGE COLLECT 81.68/81.91 c rational objective 0.528854 84.07/84.38 c #Conflicts: 289000 | #Constraints: 15382 84.07/84.38 c #Conflicts: 290000 | #Constraints: 16383 84.07/84.38 c #Conflicts: 291000 | #Constraints: 17384 84.07/84.38 c #Conflicts: 292000 | #Constraints: 18384 84.07/84.38 c #Conflicts: 293000 | #Constraints: 19384 84.07/84.38 c #Conflicts: 294000 | #Constraints: 20385 84.07/84.38 c #Conflicts: 295000 | #Constraints: 21385 84.07/84.38 c #Conflicts: 296000 | #Constraints: 22385 84.07/84.38 c #Conflicts: 297000 | #Constraints: 23385 84.07/84.38 c #Conflicts: 298000 | #Constraints: 24385 84.07/84.38 c #Conflicts: 299000 | #Constraints: 25386 84.07/84.38 c INPROCESSING 84.07/84.38 c GARBAGE COLLECT 84.07/84.38 c rational objective 0.528854 86.37/86.60 c #Conflicts: 300000 | #Constraints: 15554 86.37/86.60 c #Conflicts: 301000 | #Constraints: 16555 86.37/86.60 c #Conflicts: 302000 | #Constraints: 17556 86.37/86.60 c #Conflicts: 303000 | #Constraints: 18556 86.37/86.60 c #Conflicts: 304000 | #Constraints: 19556 86.37/86.60 c #Conflicts: 305000 | #Constraints: 20556 86.37/86.60 c #Conflicts: 306000 | #Constraints: 21556 86.37/86.60 c #Conflicts: 307000 | #Constraints: 22557 86.37/86.60 c #Conflicts: 308000 | #Constraints: 23558 86.37/86.60 c #Conflicts: 309000 | #Constraints: 24558 86.37/86.60 c #Conflicts: 310000 | #Constraints: 25558 86.37/86.60 c INPROCESSING 86.37/86.60 c GARBAGE COLLECT 86.37/86.60 c rational objective 0.528854 93.05/93.39 c #Conflicts: 311000 | #Constraints: 15564 93.05/93.39 c #Conflicts: 312000 | #Constraints: 16564 93.05/93.39 c #Conflicts: 313000 | #Constraints: 17564 93.05/93.39 c #Conflicts: 314000 | #Constraints: 18564 93.05/93.39 c #Conflicts: 315000 | #Constraints: 19567 93.05/93.39 c #Conflicts: 316000 | #Constraints: 20567 93.05/93.39 c #Conflicts: 317000 | #Constraints: 21567 93.05/93.39 c #Conflicts: 318000 | #Constraints: 22567 93.05/93.39 c #Conflicts: 319000 | #Constraints: 23567 93.05/93.39 c #Conflicts: 320000 | #Constraints: 24567 93.05/93.39 c #Conflicts: 321000 | #Constraints: 25567 93.05/93.39 c INPROCESSING 93.05/93.39 c GARBAGE COLLECT 93.05/93.39 c rational objective 0.528854 96.86/97.11 c #Conflicts: 322000 | #Constraints: 15383 96.86/97.11 c #Conflicts: 323000 | #Constraints: 16383 96.86/97.11 c #Conflicts: 324000 | #Constraints: 17385 96.86/97.11 c #Conflicts: 325000 | #Constraints: 18386 96.86/97.11 c #Conflicts: 326000 | #Constraints: 19387 96.86/97.11 c #Conflicts: 327000 | #Constraints: 20387 96.86/97.11 c #Conflicts: 328000 | #Constraints: 21387 96.86/97.11 c #Conflicts: 329000 | #Constraints: 22388 96.86/97.11 c #Conflicts: 330000 | #Constraints: 23388 96.86/97.11 c #Conflicts: 331000 | #Constraints: 24388 96.86/97.11 c #Conflicts: 332000 | #Constraints: 25388 96.86/97.11 c #Conflicts: 333000 | #Constraints: 26388 96.86/97.11 c INPROCESSING 96.86/97.11 c GARBAGE COLLECT 96.86/97.11 c rational objective 0.528854 100.93/101.20 c #Conflicts: 334000 | #Constraints: 15990 100.93/101.20 c #Conflicts: 335000 | #Constraints: 16990 100.93/101.20 c #Conflicts: 336000 | #Constraints: 17990 100.93/101.20 c #Conflicts: 337000 | #Constraints: 18991 100.93/101.20 c #Conflicts: 338000 | #Constraints: 19991 100.93/101.20 c #Conflicts: 339000 | #Constraints: 20991 100.93/101.20 c #Conflicts: 340000 | #Constraints: 21991 100.93/101.20 c #Conflicts: 341000 | #Constraints: 22992 100.93/101.20 c #Conflicts: 342000 | #Constraints: 23992 100.93/101.20 c #Conflicts: 343000 | #Constraints: 24992 100.93/101.20 c #Conflicts: 344000 | #Constraints: 25993 100.93/101.20 c #Conflicts: 345000 | #Constraints: 26994 100.93/101.20 c INPROCESSING 100.93/101.20 c GARBAGE COLLECT 100.93/101.20 c rational objective 0.528889 103.52/103.87 c #Conflicts: 346000 | #Constraints: 16371 103.52/103.87 c #Conflicts: 347000 | #Constraints: 17371 103.52/103.87 c #Conflicts: 348000 | #Constraints: 18371 103.52/103.87 c #Conflicts: 349000 | #Constraints: 19371 103.52/103.87 c #Conflicts: 350000 | #Constraints: 20371 103.52/103.87 c #Conflicts: 351000 | #Constraints: 21371 103.52/103.87 c #Conflicts: 352000 | #Constraints: 22373 103.52/103.87 c #Conflicts: 353000 | #Constraints: 23375 103.52/103.87 c #Conflicts: 354000 | #Constraints: 24375 103.52/103.87 c #Conflicts: 355000 | #Constraints: 25375 103.52/103.87 c #Conflicts: 356000 | #Constraints: 26375 103.52/103.87 c #Conflicts: 357000 | #Constraints: 27375 103.52/103.87 c INPROCESSING 103.52/103.87 c GARBAGE COLLECT 103.52/103.87 c rational objective 0.528889 106.82/107.16 c #Conflicts: 358000 | #Constraints: 16596 106.82/107.16 c #Conflicts: 359000 | #Constraints: 17596 106.82/107.16 c #Conflicts: 360000 | #Constraints: 18596 106.82/107.16 c #Conflicts: 361000 | #Constraints: 19596 106.82/107.16 c #Conflicts: 362000 | #Constraints: 20597 106.82/107.16 c #Conflicts: 363000 | #Constraints: 21599 106.82/107.16 c #Conflicts: 364000 | #Constraints: 22600 106.82/107.16 c #Conflicts: 365000 | #Constraints: 23601 106.82/107.16 c #Conflicts: 366000 | #Constraints: 24602 106.82/107.16 c #Conflicts: 367000 | #Constraints: 25602 106.82/107.16 c #Conflicts: 368000 | #Constraints: 26603 106.82/107.16 c #Conflicts: 369000 | #Constraints: 27603 106.82/107.16 c INPROCESSING 106.82/107.16 c GARBAGE COLLECT 106.82/107.16 c rational objective 0.528889 111.00/111.35 c #Conflicts: 370000 | #Constraints: 16604 111.00/111.35 c #Conflicts: 371000 | #Constraints: 17604 111.00/111.35 c #Conflicts: 372000 | #Constraints: 18604 111.00/111.35 c #Conflicts: 373000 | #Constraints: 19606 111.00/111.35 c #Conflicts: 374000 | #Constraints: 20606 111.00/111.35 c #Conflicts: 375000 | #Constraints: 21607 111.00/111.35 c #Conflicts: 376000 | #Constraints: 22608 111.00/111.35 c #Conflicts: 377000 | #Constraints: 23609 111.00/111.35 c #Conflicts: 378000 | #Constraints: 24609 111.00/111.35 c #Conflicts: 379000 | #Constraints: 25609 111.00/111.35 c #Conflicts: 380000 | #Constraints: 26609 111.00/111.35 c #Conflicts: 381000 | #Constraints: 27611 111.00/111.35 c INPROCESSING 111.00/111.35 c GARBAGE COLLECT 111.00/111.35 c rational objective 0.528889 114.49/114.88 c #Conflicts: 382000 | #Constraints: 16375 114.49/114.88 c #Conflicts: 383000 | #Constraints: 17376 114.49/114.88 c #Conflicts: 384000 | #Constraints: 18376 114.49/114.88 c #Conflicts: 385000 | #Constraints: 19377 114.49/114.88 c #Conflicts: 386000 | #Constraints: 20377 114.49/114.88 c #Conflicts: 387000 | #Constraints: 21378 114.49/114.88 c #Conflicts: 388000 | #Constraints: 22378 114.49/114.88 c #Conflicts: 389000 | #Constraints: 23378 114.49/114.88 c #Conflicts: 390000 | #Constraints: 24380 114.49/114.88 c #Conflicts: 391000 | #Constraints: 25381 114.49/114.88 c #Conflicts: 392000 | #Constraints: 26381 114.49/114.88 c #Conflicts: 393000 | #Constraints: 27381 114.49/114.88 c #Conflicts: 394000 | #Constraints: 28381 114.49/114.88 c INPROCESSING 114.49/114.88 c GARBAGE COLLECT 114.49/114.88 c rational objective 0.528889 120.97/121.35 c #Conflicts: 395000 | #Constraints: 16968 120.97/121.35 c #Conflicts: 396000 | #Constraints: 17968 120.97/121.35 c #Conflicts: 397000 | #Constraints: 18968 120.97/121.35 c #Conflicts: 398000 | #Constraints: 19970 120.97/121.35 c #Conflicts: 399000 | #Constraints: 20970 120.97/121.35 c #Conflicts: 400000 | #Constraints: 21971 120.97/121.35 c #Conflicts: 401000 | #Constraints: 22971 120.97/121.35 c #Conflicts: 402000 | #Constraints: 23972 120.97/121.35 c #Conflicts: 403000 | #Constraints: 24972 120.97/121.35 c #Conflicts: 404000 | #Constraints: 25973 120.97/121.35 c #Conflicts: 405000 | #Constraints: 26973 120.97/121.35 c #Conflicts: 406000 | #Constraints: 27973 120.97/121.35 c #Conflicts: 407000 | #Constraints: 28974 120.97/121.35 c INPROCESSING 120.97/121.35 c GARBAGE COLLECT 120.97/121.35 c rational objective 0.528889 128.45/128.89 c #Conflicts: 408000 | #Constraints: 17376 128.45/128.89 c #Conflicts: 409000 | #Constraints: 18376 128.45/128.89 c #Conflicts: 410000 | #Constraints: 19376 128.45/128.89 c #Conflicts: 411000 | #Constraints: 20376 128.45/128.89 c #Conflicts: 412000 | #Constraints: 21377 128.45/128.89 c #Conflicts: 413000 | #Constraints: 22377 128.45/128.89 c #Conflicts: 414000 | #Constraints: 23377 128.45/128.89 c #Conflicts: 415000 | #Constraints: 24377 128.45/128.89 c #Conflicts: 416000 | #Constraints: 25377 128.45/128.89 c #Conflicts: 417000 | #Constraints: 26377 128.45/128.89 c #Conflicts: 418000 | #Constraints: 27377 128.45/128.89 c #Conflicts: 419000 | #Constraints: 28377 128.45/128.89 c #Conflicts: 420000 | #Constraints: 29377 128.45/128.89 c INPROCESSING 128.45/128.89 c GARBAGE COLLECT 128.45/128.89 c rational objective 0.528889 165.33/165.87 c #Conflicts: 421000 | #Constraints: 17633 165.33/165.87 c #Conflicts: 422000 | #Constraints: 18633 165.33/165.87 c #Conflicts: 423000 | #Constraints: 19633 165.33/165.87 c #Conflicts: 424000 | #Constraints: 20633 165.33/165.87 c #Conflicts: 425000 | #Constraints: 21633 165.33/165.87 c #Conflicts: 426000 | #Constraints: 22633 165.33/165.87 c #Conflicts: 427000 | #Constraints: 23633 165.33/165.87 c #Conflicts: 428000 | #Constraints: 24633 165.33/165.87 c #Conflicts: 429000 | #Constraints: 25633 165.33/165.87 c #Conflicts: 430000 | #Constraints: 26633 165.33/165.87 c #Conflicts: 431000 | #Constraints: 27633 165.33/165.87 c #Conflicts: 432000 | #Constraints: 28633 165.33/165.87 c #Conflicts: 433000 | #Constraints: 29633 165.33/165.87 c INPROCESSING 165.33/165.87 c GARBAGE COLLECT 165.33/165.87 c rational objective 0.528889 179.29/179.83 c #Conflicts: 434000 | #Constraints: 17638 179.29/179.83 c #Conflicts: 435000 | #Constraints: 18639 179.29/179.83 c #Conflicts: 436000 | #Constraints: 19641 179.29/179.83 c #Conflicts: 437000 | #Constraints: 20641 179.29/179.83 c #Conflicts: 438000 | #Constraints: 21641 179.29/179.83 c #Conflicts: 439000 | #Constraints: 22641 179.29/179.83 c #Conflicts: 440000 | #Constraints: 23642 179.29/179.83 c #Conflicts: 441000 | #Constraints: 24642 179.29/179.83 c #Conflicts: 442000 | #Constraints: 25642 179.29/179.83 c #Conflicts: 443000 | #Constraints: 26642 179.29/179.83 c #Conflicts: 444000 | #Constraints: 27642 179.29/179.83 c #Conflicts: 445000 | #Constraints: 28642 179.29/179.83 c #Conflicts: 446000 | #Constraints: 29642 179.29/179.83 c INPROCESSING 179.29/179.83 c GARBAGE COLLECT 179.29/179.83 c rational objective 0.528889 185.76/186.33 c #Conflicts: 447000 | #Constraints: 17435 185.76/186.33 c #Conflicts: 448000 | #Constraints: 18436 185.76/186.33 c #Conflicts: 449000 | #Constraints: 19437 185.76/186.33 c #Conflicts: 450000 | #Constraints: 20438 185.76/186.33 c #Conflicts: 451000 | #Constraints: 21438 185.76/186.33 c #Conflicts: 452000 | #Constraints: 22438 185.76/186.33 c #Conflicts: 453000 | #Constraints: 23438 185.76/186.33 c #Conflicts: 454000 | #Constraints: 24439 185.76/186.33 c #Conflicts: 455000 | #Constraints: 25439 185.76/186.33 c #Conflicts: 456000 | #Constraints: 26440 185.76/186.33 c #Conflicts: 457000 | #Constraints: 27440 185.76/186.33 c #Conflicts: 458000 | #Constraints: 28441 185.76/186.33 c #Conflicts: 459000 | #Constraints: 29441 185.76/186.33 c #Conflicts: 460000 | #Constraints: 30441 185.76/186.33 c INPROCESSING 185.76/186.33 c GARBAGE COLLECT 185.76/186.33 c rational objective 0.528889 188.46/189.09 c #Conflicts: 461000 | #Constraints: 18066 188.46/189.09 c #Conflicts: 462000 | #Constraints: 19066 188.46/189.09 c #Conflicts: 463000 | #Constraints: 20066 188.46/189.09 c #Conflicts: 464000 | #Constraints: 21067 188.46/189.09 c #Conflicts: 465000 | #Constraints: 22067 188.46/189.09 c #Conflicts: 466000 | #Constraints: 23067 188.46/189.09 c #Conflicts: 467000 | #Constraints: 24067 188.46/189.09 c #Conflicts: 468000 | #Constraints: 25068 188.46/189.09 c #Conflicts: 469000 | #Constraints: 26068 188.46/189.09 c #Conflicts: 470000 | #Constraints: 27068 188.46/189.09 c #Conflicts: 471000 | #Constraints: 28068 188.46/189.09 c #Conflicts: 472000 | #Constraints: 29068 188.46/189.09 c #Conflicts: 473000 | #Constraints: 30068 188.46/189.09 c #Conflicts: 474000 | #Constraints: 31068 188.46/189.09 c INPROCESSING 188.46/189.09 c GARBAGE COLLECT 188.46/189.09 c rational objective 0.528889 191.75/192.34 c #Conflicts: 475000 | #Constraints: 18476 191.75/192.34 c #Conflicts: 476000 | #Constraints: 19476 191.75/192.34 c #Conflicts: 477000 | #Constraints: 20476 191.75/192.34 c #Conflicts: 478000 | #Constraints: 21476 191.75/192.34 c #Conflicts: 479000 | #Constraints: 22476 191.75/192.34 c #Conflicts: 480000 | #Constraints: 23476 191.75/192.34 c #Conflicts: 481000 | #Constraints: 24476 191.75/192.34 c #Conflicts: 482000 | #Constraints: 25476 191.75/192.34 c #Conflicts: 483000 | #Constraints: 26476 191.75/192.34 c #Conflicts: 484000 | #Constraints: 27476 191.75/192.34 c #Conflicts: 485000 | #Constraints: 28476 191.75/192.34 c #Conflicts: 486000 | #Constraints: 29476 191.75/192.34 c #Conflicts: 487000 | #Constraints: 30476 191.75/192.34 c #Conflicts: 488000 | #Constraints: 31476 191.75/192.34 c INPROCESSING 191.75/192.34 c GARBAGE COLLECT 191.75/192.34 c rational objective 0.528889 244.32/245.06 c #Conflicts: 489000 | #Constraints: 18664 244.32/245.06 c #Conflicts: 490000 | #Constraints: 19664 244.32/245.06 c #Conflicts: 491000 | #Constraints: 20664 244.32/245.06 c #Conflicts: 492000 | #Constraints: 21664 244.32/245.06 c #Conflicts: 493000 | #Constraints: 22664 244.32/245.06 c #Conflicts: 494000 | #Constraints: 23664 244.32/245.06 c #Conflicts: 495000 | #Constraints: 24664 244.32/245.06 c #Conflicts: 496000 | #Constraints: 25664 244.32/245.06 c #Conflicts: 497000 | #Constraints: 26664 244.32/245.06 c #Conflicts: 498000 | #Constraints: 27664 244.32/245.06 c #Conflicts: 499000 | #Constraints: 28665 244.32/245.06 c #Conflicts: 500000 | #Constraints: 29665 244.32/245.06 c #Conflicts: 501000 | #Constraints: 30665 244.32/245.06 c #Conflicts: 502000 | #Constraints: 31665 244.32/245.06 c INPROCESSING 244.32/245.06 c GARBAGE COLLECT 244.32/245.06 c rational objective 0.528889 252.58/253.36 c #Conflicts: 503000 | #Constraints: 18683 252.58/253.36 c #Conflicts: 504000 | #Constraints: 19684 252.58/253.36 c #Conflicts: 505000 | #Constraints: 20685 252.58/253.36 c #Conflicts: 506000 | #Constraints: 21685 252.58/253.36 c #Conflicts: 507000 | #Constraints: 22687 252.58/253.36 c #Conflicts: 508000 | #Constraints: 23687 252.58/253.36 c #Conflicts: 509000 | #Constraints: 24687 252.58/253.36 c #Conflicts: 510000 | #Constraints: 25688 252.58/253.36 c #Conflicts: 511000 | #Constraints: 26688 252.58/253.36 c #Conflicts: 512000 | #Constraints: 27690 252.58/253.36 c #Conflicts: 513000 | #Constraints: 28690 252.58/253.36 c #Conflicts: 514000 | #Constraints: 29690 252.58/253.36 c #Conflicts: 515000 | #Constraints: 30690 252.58/253.36 c #Conflicts: 516000 | #Constraints: 31691 252.58/253.36 c INPROCESSING 252.58/253.36 c GARBAGE COLLECT 252.58/253.36 c rational objective 0.528889 260.28/261.09 c #Conflicts: 517000 | #Constraints: 18435 260.28/261.09 c #Conflicts: 518000 | #Constraints: 19435 260.28/261.09 c #Conflicts: 519000 | #Constraints: 20436 260.28/261.09 c #Conflicts: 520000 | #Constraints: 21437 260.28/261.09 c #Conflicts: 521000 | #Constraints: 22439 260.28/261.09 c #Conflicts: 522000 | #Constraints: 23439 260.28/261.09 c #Conflicts: 523000 | #Constraints: 24439 260.28/261.09 c #Conflicts: 524000 | #Constraints: 25439 260.28/261.09 c #Conflicts: 525000 | #Constraints: 26439 260.28/261.09 c #Conflicts: 526000 | #Constraints: 27439 260.28/261.09 c #Conflicts: 527000 | #Constraints: 28439 260.28/261.09 c #Conflicts: 528000 | #Constraints: 29441 260.28/261.09 c #Conflicts: 529000 | #Constraints: 30441 260.28/261.09 c #Conflicts: 530000 | #Constraints: 31442 260.28/261.09 c #Conflicts: 531000 | #Constraints: 32442 260.28/261.09 c INPROCESSING 260.28/261.09 c GARBAGE COLLECT 260.28/261.09 c rational objective 0.528889 265.27/266.08 c #Conflicts: 532000 | #Constraints: 19034 265.27/266.08 c #Conflicts: 533000 | #Constraints: 20034 265.27/266.08 c #Conflicts: 534000 | #Constraints: 21035 265.27/266.08 c #Conflicts: 535000 | #Constraints: 22035 265.27/266.08 c #Conflicts: 536000 | #Constraints: 23035 265.27/266.08 c #Conflicts: 537000 | #Constraints: 24036 265.27/266.08 c #Conflicts: 538000 | #Constraints: 25036 265.27/266.08 c #Conflicts: 539000 | #Constraints: 26038 265.27/266.08 c #Conflicts: 540000 | #Constraints: 27040 265.27/266.08 c #Conflicts: 541000 | #Constraints: 28040 265.27/266.08 c #Conflicts: 542000 | #Constraints: 29040 265.27/266.08 c #Conflicts: 543000 | #Constraints: 30040 265.27/266.08 c #Conflicts: 544000 | #Constraints: 31041 265.27/266.08 c #Conflicts: 545000 | #Constraints: 32042 265.27/266.08 c #Conflicts: 546000 | #Constraints: 33042 265.27/266.08 c INPROCESSING 265.27/266.08 c GARBAGE COLLECT 265.27/266.08 c rational objective 0.528889 273.44/274.28 c #Conflicts: 547000 | #Constraints: 19427 273.44/274.28 c #Conflicts: 548000 | #Constraints: 20428 273.44/274.28 c #Conflicts: 549000 | #Constraints: 21428 273.44/274.28 c #Conflicts: 550000 | #Constraints: 22428 273.44/274.28 c #Conflicts: 551000 | #Constraints: 23429 273.44/274.28 c #Conflicts: 552000 | #Constraints: 24429 273.44/274.28 c #Conflicts: 553000 | #Constraints: 25429 273.44/274.28 c #Conflicts: 554000 | #Constraints: 26429 273.44/274.28 c #Conflicts: 555000 | #Constraints: 27429 273.44/274.28 c #Conflicts: 556000 | #Constraints: 28431 273.44/274.28 c #Conflicts: 557000 | #Constraints: 29431 273.44/274.28 c #Conflicts: 558000 | #Constraints: 30432 273.44/274.28 c #Conflicts: 559000 | #Constraints: 31434 273.44/274.28 c #Conflicts: 560000 | #Constraints: 32434 273.44/274.28 c #Conflicts: 561000 | #Constraints: 33434 273.44/274.28 c INPROCESSING 273.44/274.28 c GARBAGE COLLECT 273.44/274.28 c rational objective 0.528889 280.81/281.63 c #Conflicts: 562000 | #Constraints: 19601 280.81/281.63 c #Conflicts: 563000 | #Constraints: 20601 280.81/281.63 c #Conflicts: 564000 | #Constraints: 21601 280.81/281.63 c #Conflicts: 565000 | #Constraints: 22603 280.81/281.63 c #Conflicts: 566000 | #Constraints: 23603 280.81/281.63 c #Conflicts: 567000 | #Constraints: 24603 280.81/281.63 c #Conflicts: 568000 | #Constraints: 25605 280.81/281.63 c #Conflicts: 569000 | #Constraints: 26605 280.81/281.63 c #Conflicts: 570000 | #Constraints: 27605 280.81/281.63 c #Conflicts: 571000 | #Constraints: 28606 280.81/281.63 c #Conflicts: 572000 | #Constraints: 29606 280.81/281.63 c #Conflicts: 573000 | #Constraints: 30606 280.81/281.63 c #Conflicts: 574000 | #Constraints: 31607 280.81/281.63 c #Conflicts: 575000 | #Constraints: 32608 280.81/281.63 c #Conflicts: 576000 | #Constraints: 33609 280.81/281.63 c INPROCESSING 280.81/281.63 c GARBAGE COLLECT 280.81/281.63 c rational objective 0.528889 288.10/288.98 c #Conflicts: 577000 | #Constraints: 19596 288.10/288.98 c #Conflicts: 578000 | #Constraints: 20597 288.10/288.98 c #Conflicts: 579000 | #Constraints: 21597 288.10/288.98 c #Conflicts: 580000 | #Constraints: 22597 288.10/288.98 c #Conflicts: 581000 | #Constraints: 23598 288.10/288.98 c #Conflicts: 582000 | #Constraints: 24598 288.10/288.98 c #Conflicts: 583000 | #Constraints: 25598 288.10/288.98 c #Conflicts: 584000 | #Constraints: 26598 288.10/288.98 c #Conflicts: 585000 | #Constraints: 27598 288.10/288.98 c #Conflicts: 586000 | #Constraints: 28598 288.10/288.98 c #Conflicts: 587000 | #Constraints: 29599 288.10/288.98 c #Conflicts: 588000 | #Constraints: 30600 288.10/288.98 c #Conflicts: 589000 | #Constraints: 31600 288.10/288.98 c #Conflicts: 590000 | #Constraints: 32600 288.10/288.98 c #Conflicts: 591000 | #Constraints: 33600 288.10/288.98 c INPROCESSING 288.10/288.98 c GARBAGE COLLECT 288.10/288.98 c rational objective 0.528889 301.76/302.64 c #Conflicts: 592000 | #Constraints: 19424 301.76/302.64 c #Conflicts: 593000 | #Constraints: 20424 301.76/302.64 c #Conflicts: 594000 | #Constraints: 21424 301.76/302.64 c #Conflicts: 595000 | #Constraints: 22424 301.76/302.64 c #Conflicts: 596000 | #Constraints: 23424 301.76/302.64 c #Conflicts: 597000 | #Constraints: 24424 301.76/302.64 c #Conflicts: 598000 | #Constraints: 25424 301.76/302.64 c #Conflicts: 599000 | #Constraints: 26424 301.76/302.64 c #Conflicts: 600000 | #Constraints: 27424 301.76/302.64 c #Conflicts: 601000 | #Constraints: 28424 301.76/302.64 c #Conflicts: 602000 | #Constraints: 29424 301.76/302.64 c #Conflicts: 603000 | #Constraints: 30425 301.76/302.64 c #Conflicts: 604000 | #Constraints: 31426 301.76/302.64 c #Conflicts: 605000 | #Constraints: 32427 301.76/302.64 c #Conflicts: 606000 | #Constraints: 33427 301.76/302.64 c #Conflicts: 607000 | #Constraints: 34427 301.76/302.64 c INPROCESSING 301.76/302.64 c GARBAGE COLLECT 301.76/302.64 c rational objective 0.528889 307.85/308.70 c #Conflicts: 608000 | #Constraints: 20014 307.85/308.70 c #Conflicts: 609000 | #Constraints: 21014 307.85/308.70 c #Conflicts: 610000 | #Constraints: 22014 307.85/308.70 c #Conflicts: 611000 | #Constraints: 23014 307.85/308.70 c #Conflicts: 612000 | #Constraints: 24014 307.85/308.70 c #Conflicts: 613000 | #Constraints: 25015 307.85/308.70 c #Conflicts: 614000 | #Constraints: 26015 307.85/308.70 c #Conflicts: 615000 | #Constraints: 27015 307.85/308.70 c #Conflicts: 616000 | #Constraints: 28016 307.85/308.70 c #Conflicts: 617000 | #Constraints: 29017 307.85/308.70 c #Conflicts: 618000 | #Constraints: 30019 307.85/308.70 c #Conflicts: 619000 | #Constraints: 31019 307.85/308.70 c #Conflicts: 620000 | #Constraints: 32019 307.85/308.70 c #Conflicts: 621000 | #Constraints: 33019 307.85/308.70 c #Conflicts: 622000 | #Constraints: 34019 307.85/308.70 c #Conflicts: 623000 | #Constraints: 35019 307.85/308.70 c INPROCESSING 307.85/308.70 c GARBAGE COLLECT 307.85/308.70 c rational objective 0.528889 312.15/313.09 c #Conflicts: 624000 | #Constraints: 20412 312.15/313.09 c #Conflicts: 625000 | #Constraints: 21412 312.15/313.09 c #Conflicts: 626000 | #Constraints: 22414 312.15/313.09 c #Conflicts: 627000 | #Constraints: 23414 312.15/313.09 c #Conflicts: 628000 | #Constraints: 24415 312.15/313.09 c #Conflicts: 629000 | #Constraints: 25416 312.15/313.09 c #Conflicts: 630000 | #Constraints: 26416 312.15/313.09 c #Conflicts: 631000 | #Constraints: 27416 312.15/313.09 c #Conflicts: 632000 | #Constraints: 28416 312.15/313.09 c #Conflicts: 633000 | #Constraints: 29416 312.15/313.09 c #Conflicts: 634000 | #Constraints: 30416 312.15/313.09 c #Conflicts: 635000 | #Constraints: 31417 312.15/313.09 c #Conflicts: 636000 | #Constraints: 32418 312.15/313.09 c #Conflicts: 637000 | #Constraints: 33418 312.15/313.09 c #Conflicts: 638000 | #Constraints: 34418 312.15/313.09 c #Conflicts: 639000 | #Constraints: 35418 312.15/313.09 c INPROCESSING 312.15/313.09 c GARBAGE COLLECT 312.15/313.09 c rational objective 0.528889 319.52/320.47 c #Conflicts: 640000 | #Constraints: 20617 319.52/320.47 c #Conflicts: 641000 | #Constraints: 21618 319.52/320.47 c #Conflicts: 642000 | #Constraints: 22618 319.52/320.47 c #Conflicts: 643000 | #Constraints: 23618 319.52/320.47 c #Conflicts: 644000 | #Constraints: 24618 319.52/320.47 c #Conflicts: 645000 | #Constraints: 25618 319.52/320.47 c #Conflicts: 646000 | #Constraints: 26619 319.52/320.47 c #Conflicts: 647000 | #Constraints: 27619 319.52/320.47 c #Conflicts: 648000 | #Constraints: 28620 319.52/320.47 c #Conflicts: 649000 | #Constraints: 29620 319.52/320.47 c #Conflicts: 650000 | #Constraints: 30620 319.52/320.47 c #Conflicts: 651000 | #Constraints: 31620 319.52/320.47 c #Conflicts: 652000 | #Constraints: 32620 319.52/320.47 c #Conflicts: 653000 | #Constraints: 33620 319.52/320.47 c #Conflicts: 654000 | #Constraints: 34621 319.52/320.47 c #Conflicts: 655000 | #Constraints: 35621 319.52/320.47 c INPROCESSING 319.52/320.47 c GARBAGE COLLECT 319.52/320.47 c rational objective 0.528889 325.90/326.89 c #Conflicts: 656000 | #Constraints: 20609 325.90/326.89 c #Conflicts: 657000 | #Constraints: 21609 325.90/326.89 c #Conflicts: 658000 | #Constraints: 22609 325.90/326.89 c #Conflicts: 659000 | #Constraints: 23609 325.90/326.89 c #Conflicts: 660000 | #Constraints: 24609 325.90/326.89 c #Conflicts: 661000 | #Constraints: 25610 325.90/326.89 c #Conflicts: 662000 | #Constraints: 26610 325.90/326.89 c #Conflicts: 663000 | #Constraints: 27611 325.90/326.89 c #Conflicts: 664000 | #Constraints: 28613 325.90/326.89 c #Conflicts: 665000 | #Constraints: 29613 325.90/326.89 c #Conflicts: 666000 | #Constraints: 30613 325.90/326.89 c #Conflicts: 667000 | #Constraints: 31613 325.90/326.89 c #Conflicts: 668000 | #Constraints: 32614 325.90/326.89 c #Conflicts: 669000 | #Constraints: 33614 325.90/326.89 c #Conflicts: 670000 | #Constraints: 34616 325.90/326.89 c #Conflicts: 671000 | #Constraints: 35616 325.90/326.89 c INPROCESSING 325.90/326.89 c GARBAGE COLLECT 325.90/326.89 c rational objective 0.528889 337.87/338.84 c #Conflicts: 672000 | #Constraints: 20411 337.87/338.84 c #Conflicts: 673000 | #Constraints: 21411 337.87/338.84 c #Conflicts: 674000 | #Constraints: 22411 337.87/338.84 c #Conflicts: 675000 | #Constraints: 23411 337.87/338.84 c #Conflicts: 676000 | #Constraints: 24411 337.87/338.84 c #Conflicts: 677000 | #Constraints: 25411 337.87/338.84 c #Conflicts: 678000 | #Constraints: 26411 337.87/338.84 c #Conflicts: 679000 | #Constraints: 27411 337.87/338.84 c #Conflicts: 680000 | #Constraints: 28412 337.87/338.84 c #Conflicts: 681000 | #Constraints: 29413 337.87/338.84 c #Conflicts: 682000 | #Constraints: 30413 337.87/338.84 c #Conflicts: 683000 | #Constraints: 31413 337.87/338.84 c #Conflicts: 684000 | #Constraints: 32413 337.87/338.84 c #Conflicts: 685000 | #Constraints: 33413 337.87/338.84 c #Conflicts: 686000 | #Constraints: 34413 337.87/338.84 c #Conflicts: 687000 | #Constraints: 35413 337.87/338.84 c #Conflicts: 688000 | #Constraints: 36413 337.87/338.84 c INPROCESSING 337.87/338.84 c GARBAGE COLLECT 337.87/338.84 c rational objective 0.528889 353.43/354.41 c #Conflicts: 689000 | #Constraints: 21010 353.43/354.41 c #Conflicts: 690000 | #Constraints: 22011 353.43/354.41 c #Conflicts: 691000 | #Constraints: 23011 353.43/354.41 c #Conflicts: 692000 | #Constraints: 24011 353.43/354.41 c #Conflicts: 693000 | #Constraints: 25011 353.43/354.41 c #Conflicts: 694000 | #Constraints: 26012 353.43/354.41 c #Conflicts: 695000 | #Constraints: 27012 353.43/354.41 c #Conflicts: 696000 | #Constraints: 28012 353.43/354.41 c #Conflicts: 697000 | #Constraints: 29012 353.43/354.41 c #Conflicts: 698000 | #Constraints: 30012 353.43/354.41 c #Conflicts: 699000 | #Constraints: 31012 353.43/354.41 c #Conflicts: 700000 | #Constraints: 32012 353.43/354.41 c #Conflicts: 701000 | #Constraints: 33012 353.43/354.41 c #Conflicts: 702000 | #Constraints: 34012 353.43/354.41 c #Conflicts: 703000 | #Constraints: 35012 353.43/354.41 c #Conflicts: 704000 | #Constraints: 36012 353.43/354.41 c #Conflicts: 705000 | #Constraints: 37012 353.43/354.41 c INPROCESSING 353.43/354.41 c GARBAGE COLLECT 353.43/354.41 c rational objective 0.528889 363.51/364.52 c #Conflicts: 706000 | #Constraints: 21427 363.51/364.52 c #Conflicts: 707000 | #Constraints: 22429 363.51/364.52 c #Conflicts: 708000 | #Constraints: 23429 363.51/364.52 c #Conflicts: 709000 | #Constraints: 24429 363.51/364.52 c #Conflicts: 710000 | #Constraints: 25429 363.51/364.52 c #Conflicts: 711000 | #Constraints: 26429 363.51/364.52 c #Conflicts: 712000 | #Constraints: 27430 363.51/364.52 c #Conflicts: 713000 | #Constraints: 28430 363.51/364.52 c #Conflicts: 714000 | #Constraints: 29430 363.51/364.52 c #Conflicts: 715000 | #Constraints: 30430 363.51/364.52 c #Conflicts: 716000 | #Constraints: 31430 363.51/364.52 c #Conflicts: 717000 | #Constraints: 32430 363.51/364.52 c #Conflicts: 718000 | #Constraints: 33430 363.51/364.52 c #Conflicts: 719000 | #Constraints: 34430 363.51/364.52 c #Conflicts: 720000 | #Constraints: 35430 363.51/364.52 c #Conflicts: 721000 | #Constraints: 36430 363.51/364.52 c #Conflicts: 722000 | #Constraints: 37430 363.51/364.52 c INPROCESSING 363.51/364.52 c GARBAGE COLLECT 363.51/364.52 c rational objective 0.528889 368.20/369.29 c #Conflicts: 723000 | #Constraints: 21676 368.20/369.29 c #Conflicts: 724000 | #Constraints: 22676 368.20/369.29 c #Conflicts: 725000 | #Constraints: 23676 368.20/369.29 c #Conflicts: 726000 | #Constraints: 24676 368.20/369.29 c #Conflicts: 727000 | #Constraints: 25676 368.20/369.29 c #Conflicts: 728000 | #Constraints: 26676 368.20/369.29 c #Conflicts: 729000 | #Constraints: 27677 368.20/369.29 c #Conflicts: 730000 | #Constraints: 28677 368.20/369.29 c #Conflicts: 731000 | #Constraints: 29677 368.20/369.29 c #Conflicts: 732000 | #Constraints: 30677 368.20/369.29 c #Conflicts: 733000 | #Constraints: 31679 368.20/369.29 c #Conflicts: 734000 | #Constraints: 32680 368.20/369.29 c #Conflicts: 735000 | #Constraints: 33681 368.20/369.29 c #Conflicts: 736000 | #Constraints: 34681 368.20/369.29 c #Conflicts: 737000 | #Constraints: 35681 368.20/369.29 c #Conflicts: 738000 | #Constraints: 36681 368.20/369.29 c #Conflicts: 739000 | #Constraints: 37681 368.20/369.29 c INPROCESSING 368.20/369.29 c GARBAGE COLLECT 368.20/369.29 c rational objective 0.528889 382.86/383.90 c #Conflicts: 740000 | #Constraints: 21687 382.86/383.90 c #Conflicts: 741000 | #Constraints: 22687 382.86/383.90 c #Conflicts: 742000 | #Constraints: 23687 382.86/383.90 c #Conflicts: 743000 | #Constraints: 24687 382.86/383.90 c #Conflicts: 744000 | #Constraints: 25687 382.86/383.90 c #Conflicts: 745000 | #Constraints: 26687 382.86/383.90 c #Conflicts: 746000 | #Constraints: 27687 382.86/383.90 c #Conflicts: 747000 | #Constraints: 28688 382.86/383.90 c #Conflicts: 748000 | #Constraints: 29688 382.86/383.90 c #Conflicts: 749000 | #Constraints: 30688 382.86/383.90 c #Conflicts: 750000 | #Constraints: 31688 382.86/383.90 c #Conflicts: 751000 | #Constraints: 32688 382.86/383.90 c #Conflicts: 752000 | #Constraints: 33688 382.86/383.90 c #Conflicts: 753000 | #Constraints: 34688 382.86/383.90 c #Conflicts: 754000 | #Constraints: 35688 382.86/383.90 c #Conflicts: 755000 | #Constraints: 36688 382.86/383.90 c #Conflicts: 756000 | #Constraints: 37688 382.86/383.90 c INPROCESSING 382.86/383.90 c GARBAGE COLLECT 382.86/383.90 c rational objective 0.528889 391.13/392.28 c #Conflicts: 757000 | #Constraints: 21460 391.13/392.28 c #Conflicts: 758000 | #Constraints: 22461 391.13/392.28 c #Conflicts: 759000 | #Constraints: 23461 391.13/392.28 c #Conflicts: 760000 | #Constraints: 24462 391.13/392.28 c #Conflicts: 761000 | #Constraints: 25462 391.13/392.28 c #Conflicts: 762000 | #Constraints: 26462 391.13/392.28 c #Conflicts: 763000 | #Constraints: 27462 391.13/392.28 c #Conflicts: 764000 | #Constraints: 28463 391.13/392.28 c #Conflicts: 765000 | #Constraints: 29463 391.13/392.28 c #Conflicts: 766000 | #Constraints: 30463 391.13/392.28 c #Conflicts: 767000 | #Constraints: 31464 391.13/392.28 c #Conflicts: 768000 | #Constraints: 32464 391.13/392.28 c #Conflicts: 769000 | #Constraints: 33464 391.13/392.28 c #Conflicts: 770000 | #Constraints: 34465 391.13/392.28 c #Conflicts: 771000 | #Constraints: 35466 391.13/392.28 c #Conflicts: 772000 | #Constraints: 36466 391.13/392.28 c #Conflicts: 773000 | #Constraints: 37466 391.13/392.28 c #Conflicts: 774000 | #Constraints: 38466 391.13/392.28 c INPROCESSING 391.13/392.28 c GARBAGE COLLECT 391.13/392.28 c rational objective 1.57391 410.49/411.69 c #Conflicts: 775000 | #Constraints: 22037 410.49/411.69 c #Conflicts: 776000 | #Constraints: 23037 410.49/411.69 c #Conflicts: 777000 | #Constraints: 24037 410.49/411.69 c #Conflicts: 778000 | #Constraints: 25037 410.49/411.69 c #Conflicts: 779000 | #Constraints: 26037 410.49/411.69 c #Conflicts: 780000 | #Constraints: 27037 410.49/411.69 c #Conflicts: 781000 | #Constraints: 28037 410.49/411.69 c #Conflicts: 782000 | #Constraints: 29037 410.49/411.69 c #Conflicts: 783000 | #Constraints: 30037 410.49/411.69 c #Conflicts: 784000 | #Constraints: 31038 410.49/411.69 c #Conflicts: 785000 | #Constraints: 32038 410.49/411.69 c #Conflicts: 786000 | #Constraints: 33038 410.49/411.69 c #Conflicts: 787000 | #Constraints: 34038 410.49/411.69 c #Conflicts: 788000 | #Constraints: 35039 410.49/411.69 c #Conflicts: 789000 | #Constraints: 36039 410.49/411.69 c #Conflicts: 790000 | #Constraints: 37039 410.49/411.69 c #Conflicts: 791000 | #Constraints: 38041 410.49/411.69 c #Conflicts: 792000 | #Constraints: 39041 410.49/411.69 c INPROCESSING 410.49/411.69 c GARBAGE COLLECT 410.49/411.69 c rational objective 1.58748 420.06/421.22 c #Conflicts: 793000 | #Constraints: 22439 420.06/421.22 c #Conflicts: 794000 | #Constraints: 23439 420.06/421.22 c #Conflicts: 795000 | #Constraints: 24439 420.06/421.22 c #Conflicts: 796000 | #Constraints: 25439 420.06/421.22 c #Conflicts: 797000 | #Constraints: 26439 420.06/421.22 c #Conflicts: 798000 | #Constraints: 27439 420.06/421.22 c #Conflicts: 799000 | #Constraints: 28441 420.06/421.22 c #Conflicts: 800000 | #Constraints: 29442 420.06/421.22 c #Conflicts: 801000 | #Constraints: 30442 420.06/421.22 c #Conflicts: 802000 | #Constraints: 31443 420.06/421.22 c #Conflicts: 803000 | #Constraints: 32443 420.06/421.22 c #Conflicts: 804000 | #Constraints: 33443 420.06/421.22 c #Conflicts: 805000 | #Constraints: 34443 420.06/421.22 c #Conflicts: 806000 | #Constraints: 35443 420.06/421.22 c #Conflicts: 807000 | #Constraints: 36445 420.06/421.22 c #Conflicts: 808000 | #Constraints: 37445 420.06/421.22 c #Conflicts: 809000 | #Constraints: 38445 420.06/421.22 c #Conflicts: 810000 | #Constraints: 39445 420.06/421.22 c INPROCESSING 420.06/421.22 c GARBAGE COLLECT 420.06/421.22 c rational objective 1.58772 436.12/437.32 c #Conflicts: 811000 | #Constraints: 22613 436.12/437.32 c #Conflicts: 812000 | #Constraints: 23614 436.12/437.32 c #Conflicts: 813000 | #Constraints: 24614 436.12/437.32 c #Conflicts: 814000 | #Constraints: 25614 436.12/437.32 c #Conflicts: 815000 | #Constraints: 26614 436.12/437.32 c #Conflicts: 816000 | #Constraints: 27614 436.12/437.32 c #Conflicts: 817000 | #Constraints: 28614 436.12/437.32 c #Conflicts: 818000 | #Constraints: 29614 436.12/437.32 c #Conflicts: 819000 | #Constraints: 30615 436.12/437.32 c #Conflicts: 820000 | #Constraints: 31615 436.12/437.32 c #Conflicts: 821000 | #Constraints: 32615 436.12/437.32 c #Conflicts: 822000 | #Constraints: 33615 436.12/437.32 c #Conflicts: 823000 | #Constraints: 34616 436.12/437.32 c #Conflicts: 824000 | #Constraints: 35616 436.12/437.32 c #Conflicts: 825000 | #Constraints: 36616 436.12/437.32 c #Conflicts: 826000 | #Constraints: 37616 436.12/437.32 c #Conflicts: 827000 | #Constraints: 38617 436.12/437.32 c #Conflicts: 828000 | #Constraints: 39617 436.12/437.32 c INPROCESSING 436.12/437.32 c GARBAGE COLLECT 436.12/437.32 c rational objective 1.58772 472.12/473.49 c #Conflicts: 829000 | #Constraints: 22635 472.12/473.49 c #Conflicts: 830000 | #Constraints: 23635 472.12/473.49 c #Conflicts: 831000 | #Constraints: 24635 472.12/473.49 c #Conflicts: 832000 | #Constraints: 25635 472.12/473.49 c #Conflicts: 833000 | #Constraints: 26635 472.12/473.49 c #Conflicts: 834000 | #Constraints: 27635 472.12/473.49 c #Conflicts: 835000 | #Constraints: 28635 472.12/473.49 c #Conflicts: 836000 | #Constraints: 29635 472.12/473.49 c #Conflicts: 837000 | #Constraints: 30635 472.12/473.49 c #Conflicts: 838000 | #Constraints: 31635 472.12/473.49 c #Conflicts: 839000 | #Constraints: 32635 472.12/473.49 c #Conflicts: 840000 | #Constraints: 33635 472.12/473.49 c #Conflicts: 841000 | #Constraints: 34635 472.12/473.49 c #Conflicts: 842000 | #Constraints: 35635 472.12/473.49 c #Conflicts: 843000 | #Constraints: 36635 472.12/473.49 c #Conflicts: 844000 | #Constraints: 37635 472.12/473.49 c #Conflicts: 845000 | #Constraints: 38635 472.12/473.49 c #Conflicts: 846000 | #Constraints: 39635 472.12/473.49 c INPROCESSING 472.12/473.49 c GARBAGE COLLECT 472.12/473.49 c rational objective 1.58772 483.81/485.18 c #Conflicts: 847000 | #Constraints: 22444 483.81/485.18 c #Conflicts: 848000 | #Constraints: 23444 483.81/485.18 c #Conflicts: 849000 | #Constraints: 24444 483.81/485.18 c #Conflicts: 850000 | #Constraints: 25444 483.81/485.18 c #Conflicts: 851000 | #Constraints: 26446 483.81/485.18 c #Conflicts: 852000 | #Constraints: 27446 483.81/485.18 c #Conflicts: 853000 | #Constraints: 28446 483.81/485.18 c #Conflicts: 854000 | #Constraints: 29446 483.81/485.18 c #Conflicts: 855000 | #Constraints: 30446 483.81/485.18 c #Conflicts: 856000 | #Constraints: 31446 483.81/485.18 c #Conflicts: 857000 | #Constraints: 32446 483.81/485.18 c #Conflicts: 858000 | #Constraints: 33446 483.81/485.18 c #Conflicts: 859000 | #Constraints: 34446 483.81/485.18 c #Conflicts: 860000 | #Constraints: 35446 483.81/485.18 c #Conflicts: 861000 | #Constraints: 36447 483.81/485.18 c #Conflicts: 862000 | #Constraints: 37448 483.81/485.18 c #Conflicts: 863000 | #Constraints: 38448 483.81/485.18 c #Conflicts: 864000 | #Constraints: 39448 483.81/485.18 c #Conflicts: 865000 | #Constraints: 40448 483.81/485.18 c INPROCESSING 483.81/485.18 c GARBAGE COLLECT 483.81/485.18 c rational objective 1.58772 492.28/493.68 c #Conflicts: 866000 | #Constraints: 23033 492.28/493.68 c #Conflicts: 867000 | #Constraints: 24034 492.28/493.68 c #Conflicts: 868000 | #Constraints: 25034 492.28/493.68 c #Conflicts: 869000 | #Constraints: 26034 492.28/493.68 c #Conflicts: 870000 | #Constraints: 27034 492.28/493.68 c #Conflicts: 871000 | #Constraints: 28034 492.28/493.68 c #Conflicts: 872000 | #Constraints: 29034 492.28/493.68 c #Conflicts: 873000 | #Constraints: 30035 492.28/493.68 c #Conflicts: 874000 | #Constraints: 31035 492.28/493.68 c #Conflicts: 875000 | #Constraints: 32035 492.28/493.68 c #Conflicts: 876000 | #Constraints: 33036 492.28/493.68 c #Conflicts: 877000 | #Constraints: 34036 492.28/493.68 c #Conflicts: 878000 | #Constraints: 35036 492.28/493.68 c #Conflicts: 879000 | #Constraints: 36036 492.28/493.68 c #Conflicts: 880000 | #Constraints: 37036 492.28/493.68 c #Conflicts: 881000 | #Constraints: 38037 492.28/493.68 c #Conflicts: 882000 | #Constraints: 39038 492.28/493.68 c #Conflicts: 883000 | #Constraints: 40038 492.28/493.68 c #Conflicts: 884000 | #Constraints: 41038 492.28/493.68 c INPROCESSING 492.28/493.68 c GARBAGE COLLECT 492.28/493.68 c rational objective 1.58772 502.15/503.59 c #Conflicts: 885000 | #Constraints: 23425 502.15/503.59 c #Conflicts: 886000 | #Constraints: 24426 502.15/503.59 c #Conflicts: 887000 | #Constraints: 25426 502.15/503.59 c #Conflicts: 888000 | #Constraints: 26426 502.15/503.59 c #Conflicts: 889000 | #Constraints: 27426 502.15/503.59 c #Conflicts: 890000 | #Constraints: 28427 502.15/503.59 c #Conflicts: 891000 | #Constraints: 29428 502.15/503.59 c #Conflicts: 892000 | #Constraints: 30430 502.15/503.59 c #Conflicts: 893000 | #Constraints: 31430 502.15/503.59 c #Conflicts: 894000 | #Constraints: 32430 502.15/503.59 c #Conflicts: 895000 | #Constraints: 33430 502.15/503.59 c #Conflicts: 896000 | #Constraints: 34430 502.15/503.59 c #Conflicts: 897000 | #Constraints: 35430 502.15/503.59 c #Conflicts: 898000 | #Constraints: 36430 502.15/503.59 c #Conflicts: 899000 | #Constraints: 37430 502.15/503.59 c #Conflicts: 900000 | #Constraints: 38430 502.15/503.59 c #Conflicts: 901000 | #Constraints: 39430 502.15/503.59 c #Conflicts: 902000 | #Constraints: 40431 502.15/503.59 c #Conflicts: 903000 | #Constraints: 41431 502.15/503.59 c INPROCESSING 502.15/503.59 c GARBAGE COLLECT 502.15/503.59 c rational objective 1.58772 516.92/518.37 c #Conflicts: 904000 | #Constraints: 23629 516.92/518.37 c #Conflicts: 905000 | #Constraints: 24629 516.92/518.37 c #Conflicts: 906000 | #Constraints: 25629 516.92/518.37 c #Conflicts: 907000 | #Constraints: 26629 516.92/518.37 c #Conflicts: 908000 | #Constraints: 27629 516.92/518.37 c #Conflicts: 909000 | #Constraints: 28630 516.92/518.37 c #Conflicts: 910000 | #Constraints: 29630 516.92/518.37 c #Conflicts: 911000 | #Constraints: 30631 516.92/518.37 c #Conflicts: 912000 | #Constraints: 31631 516.92/518.37 c #Conflicts: 913000 | #Constraints: 32632 516.92/518.37 c #Conflicts: 914000 | #Constraints: 33633 516.92/518.37 c #Conflicts: 915000 | #Constraints: 34633 516.92/518.37 c #Conflicts: 916000 | #Constraints: 35633 516.92/518.37 c #Conflicts: 917000 | #Constraints: 36633 516.92/518.37 c #Conflicts: 918000 | #Constraints: 37633 516.92/518.37 c #Conflicts: 919000 | #Constraints: 38635 516.92/518.37 c #Conflicts: 920000 | #Constraints: 39637 516.92/518.37 c #Conflicts: 921000 | #Constraints: 40638 516.92/518.37 c #Conflicts: 922000 | #Constraints: 41638 516.92/518.37 c INPROCESSING 516.92/518.37 c GARBAGE COLLECT 516.92/518.37 c rational objective 1.58772 536.06/537.51 c #Conflicts: 923000 | #Constraints: 23650 536.06/537.51 c #Conflicts: 924000 | #Constraints: 24650 536.06/537.51 c #Conflicts: 925000 | #Constraints: 25653 536.06/537.51 c #Conflicts: 926000 | #Constraints: 26653 536.06/537.51 c #Conflicts: 927000 | #Constraints: 27653 536.06/537.51 c #Conflicts: 928000 | #Constraints: 28654 536.06/537.51 c #Conflicts: 929000 | #Constraints: 29654 536.06/537.51 c #Conflicts: 930000 | #Constraints: 30654 536.06/537.51 c #Conflicts: 931000 | #Constraints: 31654 536.06/537.51 c #Conflicts: 932000 | #Constraints: 32654 536.06/537.51 c #Conflicts: 933000 | #Constraints: 33654 536.06/537.51 c #Conflicts: 934000 | #Constraints: 34654 536.06/537.51 c #Conflicts: 935000 | #Constraints: 35654 536.06/537.51 c #Conflicts: 936000 | #Constraints: 36654 536.06/537.51 c #Conflicts: 937000 | #Constraints: 37654 536.06/537.51 c #Conflicts: 938000 | #Constraints: 38654 536.06/537.51 c #Conflicts: 939000 | #Constraints: 39654 536.06/537.51 c #Conflicts: 940000 | #Constraints: 40654 536.06/537.51 c #Conflicts: 941000 | #Constraints: 41654 536.06/537.51 c INPROCESSING 536.06/537.51 c GARBAGE COLLECT 536.06/537.51 c rational objective 1.58772 542.85/544.36 c #Conflicts: 942000 | #Constraints: 23481 542.85/544.36 c #Conflicts: 943000 | #Constraints: 24481 542.85/544.36 c #Conflicts: 944000 | #Constraints: 25481 542.85/544.36 c #Conflicts: 945000 | #Constraints: 26482 542.85/544.36 c #Conflicts: 946000 | #Constraints: 27484 542.85/544.36 c #Conflicts: 947000 | #Constraints: 28484 542.85/544.36 c #Conflicts: 948000 | #Constraints: 29484 542.85/544.36 c #Conflicts: 949000 | #Constraints: 30484 542.85/544.36 c #Conflicts: 950000 | #Constraints: 31484 542.85/544.36 c #Conflicts: 951000 | #Constraints: 32484 542.85/544.36 c #Conflicts: 952000 | #Constraints: 33485 542.85/544.36 c #Conflicts: 953000 | #Constraints: 34485 542.85/544.36 c #Conflicts: 954000 | #Constraints: 35486 542.85/544.36 c #Conflicts: 955000 | #Constraints: 36486 542.85/544.36 c #Conflicts: 956000 | #Constraints: 37486 542.85/544.36 c #Conflicts: 957000 | #Constraints: 38486 542.85/544.36 c #Conflicts: 958000 | #Constraints: 39486 542.85/544.36 c #Conflicts: 959000 | #Constraints: 40486 542.85/544.36 c #Conflicts: 960000 | #Constraints: 41487 542.85/544.36 c #Conflicts: 961000 | #Constraints: 42488 542.85/544.36 c INPROCESSING 542.85/544.36 c GARBAGE COLLECT 542.85/544.36 c rational objective 1.58772 585.64/587.28 c #Conflicts: 962000 | #Constraints: 24094 585.64/587.28 c #Conflicts: 963000 | #Constraints: 25094 585.64/587.28 c #Conflicts: 964000 | #Constraints: 26094 585.64/587.28 c #Conflicts: 965000 | #Constraints: 27094 585.64/587.28 c #Conflicts: 966000 | #Constraints: 28094 585.64/587.28 c #Conflicts: 967000 | #Constraints: 29094 585.64/587.28 c #Conflicts: 968000 | #Constraints: 30094 585.64/587.28 c #Conflicts: 969000 | #Constraints: 31094 585.64/587.28 c #Conflicts: 970000 | #Constraints: 32094 585.64/587.28 c #Conflicts: 971000 | #Constraints: 33094 585.64/587.28 c #Conflicts: 972000 | #Constraints: 34094 585.64/587.28 c #Conflicts: 973000 | #Constraints: 35094 585.64/587.28 c #Conflicts: 974000 | #Constraints: 36095 585.64/587.28 c #Conflicts: 975000 | #Constraints: 37095 585.64/587.28 c #Conflicts: 976000 | #Constraints: 38096 585.64/587.28 c #Conflicts: 977000 | #Constraints: 39096 585.64/587.28 c #Conflicts: 978000 | #Constraints: 40096 585.64/587.28 c #Conflicts: 979000 | #Constraints: 41096 585.64/587.28 c #Conflicts: 980000 | #Constraints: 42096 585.64/587.28 c #Conflicts: 981000 | #Constraints: 43096 585.64/587.28 c INPROCESSING 585.64/587.28 c GARBAGE COLLECT 585.64/587.28 c rational objective 1.58772 594.53/596.13 c #Conflicts: 982000 | #Constraints: 24511 594.53/596.13 c #Conflicts: 983000 | #Constraints: 25511 594.53/596.13 c #Conflicts: 984000 | #Constraints: 26512 594.53/596.13 c #Conflicts: 985000 | #Constraints: 27513 594.53/596.13 c #Conflicts: 986000 | #Constraints: 28514 594.53/596.13 c #Conflicts: 987000 | #Constraints: 29514 594.53/596.13 c #Conflicts: 988000 | #Constraints: 30514 594.53/596.13 c #Conflicts: 989000 | #Constraints: 31514 594.53/596.13 c #Conflicts: 990000 | #Constraints: 32514 594.53/596.13 c #Conflicts: 991000 | #Constraints: 33514 594.53/596.13 c #Conflicts: 992000 | #Constraints: 34514 594.53/596.13 c #Conflicts: 993000 | #Constraints: 35514 594.53/596.13 c #Conflicts: 994000 | #Constraints: 36514 594.53/596.13 c #Conflicts: 995000 | #Constraints: 37514 594.53/596.13 c #Conflicts: 996000 | #Constraints: 38515 594.53/596.13 c #Conflicts: 997000 | #Constraints: 39515 594.53/596.13 c #Conflicts: 998000 | #Constraints: 40516 594.53/596.13 c #Conflicts: 999000 | #Constraints: 41517 594.53/596.13 c #Conflicts: 1000000 | #Constraints: 42517 594.53/596.13 c #Conflicts: 1001000 | #Constraints: 43517 594.53/596.13 c INPROCESSING 594.53/596.13 c GARBAGE COLLECT 594.53/596.13 c rational objective 1.58772 696.85/698.77 c #Conflicts: 1002000 | #Constraints: 24717 696.85/698.77 c #Conflicts: 1003000 | #Constraints: 25717 696.85/698.77 c #Conflicts: 1004000 | #Constraints: 26717 696.85/698.77 c #Conflicts: 1005000 | #Constraints: 27717 696.85/698.77 c #Conflicts: 1006000 | #Constraints: 28717 696.85/698.77 c #Conflicts: 1007000 | #Constraints: 29717 696.85/698.77 c #Conflicts: 1008000 | #Constraints: 30717 696.85/698.77 c #Conflicts: 1009000 | #Constraints: 31717 696.85/698.77 c #Conflicts: 1010000 | #Constraints: 32717 696.85/698.77 c #Conflicts: 1011000 | #Constraints: 33717 696.85/698.77 c #Conflicts: 1012000 | #Constraints: 34717 696.85/698.77 c #Conflicts: 1013000 | #Constraints: 35717 696.85/698.77 c #Conflicts: 1014000 | #Constraints: 36717 696.85/698.77 c #Conflicts: 1015000 | #Constraints: 37717 696.85/698.77 c #Conflicts: 1016000 | #Constraints: 38717 696.85/698.77 c #Conflicts: 1017000 | #Constraints: 39717 696.85/698.77 c #Conflicts: 1018000 | #Constraints: 40717 696.85/698.77 c #Conflicts: 1019000 | #Constraints: 41717 696.85/698.77 c #Conflicts: 1020000 | #Constraints: 42717 696.85/698.77 c #Conflicts: 1021000 | #Constraints: 43717 696.85/698.77 c INPROCESSING 696.85/698.77 c GARBAGE COLLECT 696.85/698.77 c rational objective 1.58772 702.84/704.74 c #Conflicts: 1022000 | #Constraints: 24720 702.84/704.74 c #Conflicts: 1023000 | #Constraints: 25720 702.84/704.74 c #Conflicts: 1024000 | #Constraints: 26720 702.84/704.74 c #Conflicts: 1025000 | #Constraints: 27720 702.84/704.74 c #Conflicts: 1026000 | #Constraints: 28720 702.84/704.74 c #Conflicts: 1027000 | #Constraints: 29720 702.84/704.74 c #Conflicts: 1028000 | #Constraints: 30720 702.84/704.74 c #Conflicts: 1029000 | #Constraints: 31721 702.84/704.74 c #Conflicts: 1030000 | #Constraints: 32721 702.84/704.74 c #Conflicts: 1031000 | #Constraints: 33721 702.84/704.74 c #Conflicts: 1032000 | #Constraints: 34721 702.84/704.74 c #Conflicts: 1033000 | #Constraints: 35721 702.84/704.74 c #Conflicts: 1034000 | #Constraints: 36721 702.84/704.74 c #Conflicts: 1035000 | #Constraints: 37722 702.84/704.74 c #Conflicts: 1036000 | #Constraints: 38722 702.84/704.74 c #Conflicts: 1037000 | #Constraints: 39723 702.84/704.74 c #Conflicts: 1038000 | #Constraints: 40723 702.84/704.74 c #Conflicts: 1039000 | #Constraints: 41724 702.84/704.74 c #Conflicts: 1040000 | #Constraints: 42725 702.84/704.74 c #Conflicts: 1041000 | #Constraints: 43725 702.84/704.74 c INPROCESSING 702.84/704.74 c GARBAGE COLLECT 702.84/704.74 c rational objective 1.81641 829.51/831.73 c #Conflicts: 1042000 | #Constraints: 24501 829.51/831.73 c #Conflicts: 1043000 | #Constraints: 25501 829.51/831.73 c #Conflicts: 1044000 | #Constraints: 26501 829.51/831.73 c #Conflicts: 1045000 | #Constraints: 27501 829.51/831.73 c #Conflicts: 1046000 | #Constraints: 28501 829.51/831.73 c #Conflicts: 1047000 | #Constraints: 29501 829.51/831.73 c #Conflicts: 1048000 | #Constraints: 30501 829.51/831.73 c #Conflicts: 1049000 | #Constraints: 31501 829.51/831.73 c #Conflicts: 1050000 | #Constraints: 32501 829.51/831.73 c #Conflicts: 1051000 | #Constraints: 33501 829.51/831.73 c #Conflicts: 1052000 | #Constraints: 34501 829.51/831.73 c #Conflicts: 1053000 | #Constraints: 35501 829.51/831.73 c #Conflicts: 1054000 | #Constraints: 36501 829.51/831.73 c #Conflicts: 1055000 | #Constraints: 37501 829.51/831.73 c #Conflicts: 1056000 | #Constraints: 38501 829.51/831.73 c #Conflicts: 1057000 | #Constraints: 39501 829.51/831.73 c #Conflicts: 1058000 | #Constraints: 40501 829.51/831.73 c #Conflicts: 1059000 | #Constraints: 41501 829.51/831.73 c #Conflicts: 1060000 | #Constraints: 42501 829.51/831.73 c #Conflicts: 1061000 | #Constraints: 43501 829.51/831.73 c #Conflicts: 1062000 | #Constraints: 44501 829.51/831.73 c INPROCESSING 829.51/831.73 c GARBAGE COLLECT 829.51/831.73 c rational objective 1.84708 850.65/853.00 c #Conflicts: 1063000 | #Constraints: 25076 850.65/853.00 c #Conflicts: 1064000 | #Constraints: 26076 850.65/853.00 c #Conflicts: 1065000 | #Constraints: 27078 850.65/853.00 c #Conflicts: 1066000 | #Constraints: 28078 850.65/853.00 c #Conflicts: 1067000 | #Constraints: 29079 850.65/853.00 c #Conflicts: 1068000 | #Constraints: 30079 850.65/853.00 c #Conflicts: 1069000 | #Constraints: 31079 850.65/853.00 c #Conflicts: 1070000 | #Constraints: 32079 850.65/853.00 c #Conflicts: 1071000 | #Constraints: 33079 850.65/853.00 c #Conflicts: 1072000 | #Constraints: 34080 850.65/853.00 c #Conflicts: 1073000 | #Constraints: 35080 850.65/853.00 c #Conflicts: 1074000 | #Constraints: 36080 850.65/853.00 c #Conflicts: 1075000 | #Constraints: 37081 850.65/853.00 c #Conflicts: 1076000 | #Constraints: 38081 850.65/853.00 c #Conflicts: 1077000 | #Constraints: 39081 850.65/853.00 c #Conflicts: 1078000 | #Constraints: 40081 850.65/853.00 c #Conflicts: 1079000 | #Constraints: 41081 850.65/853.00 c #Conflicts: 1080000 | #Constraints: 42081 850.65/853.00 c #Conflicts: 1081000 | #Constraints: 43081 850.65/853.00 c #Conflicts: 1082000 | #Constraints: 44082 850.65/853.00 c #Conflicts: 1083000 | #Constraints: 45082 850.65/853.00 c INPROCESSING 850.65/853.00 c GARBAGE COLLECT 850.65/853.00 c rational objective 1.87657 989.99/992.66 c #Conflicts: 1084000 | #Constraints: 25510 989.99/992.66 c #Conflicts: 1085000 | #Constraints: 26510 989.99/992.66 c #Conflicts: 1086000 | #Constraints: 27510 989.99/992.66 c #Conflicts: 1087000 | #Constraints: 28511 989.99/992.66 c #Conflicts: 1088000 | #Constraints: 29511 989.99/992.66 c #Conflicts: 1089000 | #Constraints: 30511 989.99/992.66 c #Conflicts: 1090000 | #Constraints: 31511 989.99/992.66 c #Conflicts: 1091000 | #Constraints: 32511 989.99/992.66 c #Conflicts: 1092000 | #Constraints: 33511 989.99/992.66 c #Conflicts: 1093000 | #Constraints: 34511 989.99/992.66 c #Conflicts: 1094000 | #Constraints: 35511 989.99/992.66 c #Conflicts: 1095000 | #Constraints: 36511 989.99/992.66 c #Conflicts: 1096000 | #Constraints: 37511 989.99/992.66 c #Conflicts: 1097000 | #Constraints: 38511 989.99/992.66 c #Conflicts: 1098000 | #Constraints: 39511 989.99/992.66 c #Conflicts: 1099000 | #Constraints: 40511 989.99/992.66 c #Conflicts: 1100000 | #Constraints: 41511 989.99/992.66 c #Conflicts: 1101000 | #Constraints: 42511 989.99/992.66 c #Conflicts: 1102000 | #Constraints: 43511 989.99/992.66 c #Conflicts: 1103000 | #Constraints: 44511 989.99/992.66 c #Conflicts: 1104000 | #Constraints: 45511 989.99/992.66 c INPROCESSING 989.99/992.66 c GARBAGE COLLECT 989.99/992.66 c rational objective 1.87713 996.78/999.49 c #Conflicts: 1105000 | #Constraints: 25716 996.78/999.49 c #Conflicts: 1106000 | #Constraints: 26716 996.78/999.49 c #Conflicts: 1107000 | #Constraints: 27717 996.78/999.49 c #Conflicts: 1108000 | #Constraints: 28720 996.78/999.49 c #Conflicts: 1109000 | #Constraints: 29722 996.78/999.49 c #Conflicts: 1110000 | #Constraints: 30724 996.78/999.49 c #Conflicts: 1111000 | #Constraints: 31725 996.78/999.49 c #Conflicts: 1112000 | #Constraints: 32725 996.78/999.49 c #Conflicts: 1113000 | #Constraints: 33725 996.78/999.49 c #Conflicts: 1114000 | #Constraints: 34725 996.78/999.49 c #Conflicts: 1115000 | #Constraints: 35725 996.78/999.49 c #Conflicts: 1116000 | #Constraints: 36725 996.78/999.49 c #Conflicts: 1117000 | #Constraints: 37725 996.78/999.49 c #Conflicts: 1118000 | #Constraints: 38726 996.78/999.49 c #Conflicts: 1119000 | #Constraints: 39727 996.78/999.49 c #Conflicts: 1120000 | #Constraints: 40730 996.78/999.49 c #Conflicts: 1121000 | #Constraints: 41731 996.78/999.49 c #Conflicts: 1122000 | #Constraints: 42731 996.78/999.49 c #Conflicts: 1123000 | #Constraints: 43732 996.78/999.49 c #Conflicts: 1124000 | #Constraints: 44732 996.78/999.49 c #Conflicts: 1125000 | #Constraints: 45732 996.78/999.49 c INPROCESSING 996.78/999.49 c GARBAGE COLLECT 996.78/999.49 c rational objective 1.87741 1040.86/1043.68 c #Conflicts: 1126000 | #Constraints: 25714 1040.86/1043.68 c #Conflicts: 1127000 | #Constraints: 26714 1040.86/1043.68 c #Conflicts: 1128000 | #Constraints: 27715 1040.86/1043.68 c #Conflicts: 1129000 | #Constraints: 28716 1040.86/1043.68 c #Conflicts: 1130000 | #Constraints: 29716 1040.86/1043.68 c #Conflicts: 1131000 | #Constraints: 30717 1040.86/1043.68 c #Conflicts: 1132000 | #Constraints: 31717 1040.86/1043.68 c #Conflicts: 1133000 | #Constraints: 32717 1040.86/1043.68 c #Conflicts: 1134000 | #Constraints: 33717 1040.86/1043.68 c #Conflicts: 1135000 | #Constraints: 34717 1040.86/1043.68 c #Conflicts: 1136000 | #Constraints: 35717 1040.86/1043.68 c #Conflicts: 1137000 | #Constraints: 36717 1040.86/1043.68 c #Conflicts: 1138000 | #Constraints: 37717 1040.86/1043.68 c #Conflicts: 1139000 | #Constraints: 38717 1040.86/1043.68 c #Conflicts: 1140000 | #Constraints: 39717 1040.86/1043.68 c #Conflicts: 1141000 | #Constraints: 40717 1040.86/1043.68 c #Conflicts: 1142000 | #Constraints: 41717 1040.86/1043.68 c #Conflicts: 1143000 | #Constraints: 42717 1040.86/1043.68 c #Conflicts: 1144000 | #Constraints: 43717 1040.86/1043.68 c #Conflicts: 1145000 | #Constraints: 44718 1040.86/1043.68 c #Conflicts: 1146000 | #Constraints: 45718 1040.86/1043.68 c INPROCESSING 1040.86/1043.68 c GARBAGE COLLECT 1040.86/1043.68 c #Conflicts: 1147000 | #Constraints: 25479 1040.86/1043.68 c #Conflicts: 1148000 | #Constraints: 26479 1040.86/1043.68 c #Conflicts: 1149000 | #Constraints: 27479 1040.86/1043.68 c #Conflicts: 1150000 | #Constraints: 28479 1040.86/1043.68 c #Conflicts: 1151000 | #Constraints: 29479 1040.86/1043.68 c #Conflicts: 1152000 | #Constraints: 30479 1040.86/1043.68 c #Conflicts: 1153000 | #Constraints: 31479 1040.86/1043.68 c #Conflicts: 1154000 | #Constraints: 32479 1040.86/1043.68 c #Conflicts: 1155000 | #Constraints: 33479 1040.86/1043.68 c #Conflicts: 1156000 | #Constraints: 34479 1040.86/1043.68 c #Conflicts: 1157000 | #Constraints: 35479 1040.86/1043.68 c #Conflicts: 1158000 | #Constraints: 36480 1040.86/1043.68 c #Conflicts: 1159000 | #Constraints: 37480 1040.86/1043.68 c #Conflicts: 1160000 | #Constraints: 38480 1040.86/1043.68 c #Conflicts: 1161000 | #Constraints: 39481 1040.86/1043.68 c #Conflicts: 1162000 | #Constraints: 40481 1040.86/1043.68 c #Conflicts: 1163000 | #Constraints: 41481 1040.86/1043.68 c #Conflicts: 1164000 | #Constraints: 42481 1040.86/1043.68 c #Conflicts: 1165000 | #Constraints: 43481 1040.86/1043.68 c #Conflicts: 1166000 | #Constraints: 44481 1040.86/1043.68 c #Conflicts: 1167000 | #Constraints: 45481 1040.86/1043.68 c #Conflicts: 1168000 | #Constraints: 46482 1040.86/1043.68 c INPROCESSING 1040.86/1043.68 c GARBAGE COLLECT 1040.86/1043.68 c rational objective 1.87771 1083.85/1086.78 c #Conflicts: 1169000 | #Constraints: 26053 1083.85/1086.78 c #Conflicts: 1170000 | #Constraints: 27053 1083.85/1086.78 c #Conflicts: 1171000 | #Constraints: 28053 1083.85/1086.78 c #Conflicts: 1172000 | #Constraints: 29053 1083.85/1086.78 c #Conflicts: 1173000 | #Constraints: 30053 1083.85/1086.78 c #Conflicts: 1174000 | #Constraints: 31053 1083.85/1086.78 c #Conflicts: 1175000 | #Constraints: 32053 1083.85/1086.78 c #Conflicts: 1176000 | #Constraints: 33053 1083.85/1086.78 c #Conflicts: 1177000 | #Constraints: 34053 1083.85/1086.78 c #Conflicts: 1178000 | #Constraints: 35053 1083.85/1086.78 c #Conflicts: 1179000 | #Constraints: 36053 1083.85/1086.78 c #Conflicts: 1180000 | #Constraints: 37053 1083.85/1086.78 c #Conflicts: 1181000 | #Constraints: 38053 1083.85/1086.78 c #Conflicts: 1182000 | #Constraints: 39054 1083.85/1086.78 c #Conflicts: 1183000 | #Constraints: 40055 1083.85/1086.78 c #Conflicts: 1184000 | #Constraints: 41056 1083.85/1086.78 c #Conflicts: 1185000 | #Constraints: 42056 1083.85/1086.78 c #Conflicts: 1186000 | #Constraints: 43056 1083.85/1086.78 c #Conflicts: 1187000 | #Constraints: 44056 1083.85/1086.78 c #Conflicts: 1188000 | #Constraints: 45056 1083.85/1086.78 c #Conflicts: 1189000 | #Constraints: 46056 1083.85/1086.78 c #Conflicts: 1190000 | #Constraints: 47056 1083.85/1086.78 c INPROCESSING 1083.85/1086.78 c GARBAGE COLLECT 1083.85/1086.78 c rational objective 1.87777 1102.99/1105.90 c #Conflicts: 1191000 | #Constraints: 26438 1102.99/1105.90 c #Conflicts: 1192000 | #Constraints: 27438 1102.99/1105.90 c #Conflicts: 1193000 | #Constraints: 28439 1102.99/1105.90 c #Conflicts: 1194000 | #Constraints: 29440 1102.99/1105.90 c #Conflicts: 1195000 | #Constraints: 30440 1102.99/1105.90 c #Conflicts: 1196000 | #Constraints: 31440 1102.99/1105.90 c #Conflicts: 1197000 | #Constraints: 32440 1102.99/1105.90 c #Conflicts: 1198000 | #Constraints: 33441 1102.99/1105.90 c #Conflicts: 1199000 | #Constraints: 34442 1102.99/1105.90 c #Conflicts: 1200000 | #Constraints: 35442 1102.99/1105.90 c #Conflicts: 1201000 | #Constraints: 36443 1102.99/1105.90 c #Conflicts: 1202000 | #Constraints: 37443 1102.99/1105.90 c #Conflicts: 1203000 | #Constraints: 38444 1102.99/1105.90 c #Conflicts: 1204000 | #Constraints: 39444 1102.99/1105.90 c #Conflicts: 1205000 | #Constraints: 40445 1102.99/1105.90 c #Conflicts: 1206000 | #Constraints: 41445 1102.99/1105.90 c #Conflicts: 1207000 | #Constraints: 42445 1102.99/1105.90 c #Conflicts: 1208000 | #Constraints: 43445 1102.99/1105.90 c #Conflicts: 1209000 | #Constraints: 44445 1102.99/1105.90 c #Conflicts: 1210000 | #Constraints: 45445 1102.99/1105.90 c #Conflicts: 1211000 | #Constraints: 46445 1102.99/1105.90 c #Conflicts: 1212000 | #Constraints: 47445 1102.99/1105.90 c INPROCESSING 1102.99/1105.90 c GARBAGE COLLECT 1102.99/1105.90 c rational objective 1.87777 1113.46/1116.46 c #Conflicts: 1213000 | #Constraints: 26670 1113.46/1116.46 c #Conflicts: 1214000 | #Constraints: 27670 1113.46/1116.46 c #Conflicts: 1215000 | #Constraints: 28670 1113.46/1116.46 c #Conflicts: 1216000 | #Constraints: 29670 1113.46/1116.46 c #Conflicts: 1217000 | #Constraints: 30670 1113.46/1116.46 c #Conflicts: 1218000 | #Constraints: 31670 1113.46/1116.46 c #Conflicts: 1219000 | #Constraints: 32670 1113.46/1116.46 c #Conflicts: 1220000 | #Constraints: 33670 1113.46/1116.46 c #Conflicts: 1221000 | #Constraints: 34670 1113.46/1116.46 c #Conflicts: 1222000 | #Constraints: 35671 1113.46/1116.46 c #Conflicts: 1223000 | #Constraints: 36671 1113.46/1116.46 c #Conflicts: 1224000 | #Constraints: 37671 1113.46/1116.46 c #Conflicts: 1225000 | #Constraints: 38671 1113.46/1116.46 c #Conflicts: 1226000 | #Constraints: 39671 1113.46/1116.46 c #Conflicts: 1227000 | #Constraints: 40671 1113.46/1116.46 c #Conflicts: 1228000 | #Constraints: 41671 1113.46/1116.46 c #Conflicts: 1229000 | #Constraints: 42671 1113.46/1116.46 c #Conflicts: 1230000 | #Constraints: 43672 1113.46/1116.46 c #Conflicts: 1231000 | #Constraints: 44672 1113.46/1116.46 c #Conflicts: 1232000 | #Constraints: 45672 1113.46/1116.46 c #Conflicts: 1233000 | #Constraints: 46672 1113.46/1116.46 c #Conflicts: 1234000 | #Constraints: 47672 1113.46/1116.46 c INPROCESSING 1113.46/1116.46 c GARBAGE COLLECT 1113.46/1116.46 c rational objective 1.87777 1134.60/1137.68 c #Conflicts: 1235000 | #Constraints: 26636 1134.60/1137.68 c #Conflicts: 1236000 | #Constraints: 27636 1134.60/1137.68 c #Conflicts: 1237000 | #Constraints: 28636 1134.60/1137.68 c #Conflicts: 1238000 | #Constraints: 29636 1134.60/1137.68 c #Conflicts: 1239000 | #Constraints: 30636 1134.60/1137.68 c #Conflicts: 1240000 | #Constraints: 31639 1134.60/1137.68 c #Conflicts: 1241000 | #Constraints: 32641 1134.60/1137.68 c #Conflicts: 1242000 | #Constraints: 33641 1134.60/1137.68 c #Conflicts: 1243000 | #Constraints: 34641 1134.60/1137.68 c #Conflicts: 1244000 | #Constraints: 35642 1134.60/1137.68 c #Conflicts: 1245000 | #Constraints: 36643 1134.60/1137.68 c #Conflicts: 1246000 | #Constraints: 37643 1134.60/1137.68 c #Conflicts: 1247000 | #Constraints: 38644 1134.60/1137.68 c #Conflicts: 1248000 | #Constraints: 39644 1134.60/1137.68 c #Conflicts: 1249000 | #Constraints: 40645 1134.60/1137.68 c #Conflicts: 1250000 | #Constraints: 41645 1134.60/1137.68 c #Conflicts: 1251000 | #Constraints: 42645 1134.60/1137.68 c #Conflicts: 1252000 | #Constraints: 43646 1134.60/1137.68 c #Conflicts: 1253000 | #Constraints: 44646 1134.60/1137.68 c #Conflicts: 1254000 | #Constraints: 45646 1134.60/1137.68 c #Conflicts: 1255000 | #Constraints: 46646 1134.60/1137.68 c #Conflicts: 1256000 | #Constraints: 47646 1134.60/1137.68 c INPROCESSING 1134.60/1137.68 c GARBAGE COLLECT 1134.60/1137.68 c rational objective 1.87125 1152.97/1156.05 c #Conflicts: 1257000 | #Constraints: 26453 1152.97/1156.05 c #Conflicts: 1258000 | #Constraints: 27453 1152.97/1156.05 c #Conflicts: 1259000 | #Constraints: 28454 1152.97/1156.05 c #Conflicts: 1260000 | #Constraints: 29455 1152.97/1156.05 c #Conflicts: 1261000 | #Constraints: 30455 1152.97/1156.05 c #Conflicts: 1262000 | #Constraints: 31455 1152.97/1156.05 c #Conflicts: 1263000 | #Constraints: 32455 1152.97/1156.05 c #Conflicts: 1264000 | #Constraints: 33455 1152.97/1156.05 c #Conflicts: 1265000 | #Constraints: 34455 1152.97/1156.05 c #Conflicts: 1266000 | #Constraints: 35456 1152.97/1156.05 c #Conflicts: 1267000 | #Constraints: 36457 1152.97/1156.05 c #Conflicts: 1268000 | #Constraints: 37457 1152.97/1156.05 c #Conflicts: 1269000 | #Constraints: 38457 1152.97/1156.05 c #Conflicts: 1270000 | #Constraints: 39457 1152.97/1156.05 c #Conflicts: 1271000 | #Constraints: 40458 1152.97/1156.05 c #Conflicts: 1272000 | #Constraints: 41458 1152.97/1156.05 c #Conflicts: 1273000 | #Constraints: 42458 1152.97/1156.05 c #Conflicts: 1274000 | #Constraints: 43458 1152.97/1156.05 c #Conflicts: 1275000 | #Constraints: 44458 1152.97/1156.05 c #Conflicts: 1276000 | #Constraints: 45458 1152.97/1156.05 c #Conflicts: 1277000 | #Constraints: 46459 1152.97/1156.05 c #Conflicts: 1278000 | #Constraints: 47459 1152.97/1156.05 c #Conflicts: 1279000 | #Constraints: 48459 1152.97/1156.05 c INPROCESSING 1152.97/1156.05 c GARBAGE COLLECT 1152.97/1156.05 c rational objective 1.87664 1165.73/1168.83 c #Conflicts: 1280000 | #Constraints: 27047 1165.73/1168.83 c #Conflicts: 1281000 | #Constraints: 28047 1165.73/1168.83 c #Conflicts: 1282000 | #Constraints: 29048 1165.73/1168.83 c #Conflicts: 1283000 | #Constraints: 30048 1165.73/1168.83 c #Conflicts: 1284000 | #Constraints: 31049 1165.73/1168.83 c #Conflicts: 1285000 | #Constraints: 32050 1165.73/1168.83 c #Conflicts: 1286000 | #Constraints: 33050 1165.73/1168.83 c #Conflicts: 1287000 | #Constraints: 34050 1165.73/1168.83 c #Conflicts: 1288000 | #Constraints: 35050 1165.73/1168.83 c #Conflicts: 1289000 | #Constraints: 36050 1165.73/1168.83 c #Conflicts: 1290000 | #Constraints: 37050 1165.73/1168.83 c #Conflicts: 1291000 | #Constraints: 38051 1165.73/1168.83 c #Conflicts: 1292000 | #Constraints: 39051 1165.73/1168.83 c #Conflicts: 1293000 | #Constraints: 40051 1165.73/1168.83 c #Conflicts: 1294000 | #Constraints: 41051 1165.73/1168.83 c #Conflicts: 1295000 | #Constraints: 42051 1165.73/1168.83 c #Conflicts: 1296000 | #Constraints: 43051 1165.73/1168.83 c #Conflicts: 1297000 | #Constraints: 44051 1165.73/1168.83 c #Conflicts: 1298000 | #Constraints: 45051 1165.73/1168.83 c #Conflicts: 1299000 | #Constraints: 46051 1165.73/1168.83 c #Conflicts: 1300000 | #Constraints: 47051 1165.73/1168.83 c #Conflicts: 1301000 | #Constraints: 48051 1165.73/1168.83 c #Conflicts: 1302000 | #Constraints: 49051 1165.73/1168.83 c INPROCESSING 1165.73/1168.83 c GARBAGE COLLECT 1165.73/1168.83 c rational objective 1.87669 1184.08/1187.21 c #Conflicts: 1303000 | #Constraints: 27441 1184.08/1187.21 c #Conflicts: 1304000 | #Constraints: 28441 1184.08/1187.21 c #Conflicts: 1305000 | #Constraints: 29441 1184.08/1187.21 c #Conflicts: 1306000 | #Constraints: 30441 1184.08/1187.21 c #Conflicts: 1307000 | #Constraints: 31441 1184.08/1187.21 c #Conflicts: 1308000 | #Constraints: 32441 1184.08/1187.21 c #Conflicts: 1309000 | #Constraints: 33441 1184.08/1187.21 c #Conflicts: 1310000 | #Constraints: 34441 1184.08/1187.21 c #Conflicts: 1311000 | #Constraints: 35441 1184.08/1187.21 c #Conflicts: 1312000 | #Constraints: 36441 1184.08/1187.21 c #Conflicts: 1313000 | #Constraints: 37441 1184.08/1187.21 c #Conflicts: 1314000 | #Constraints: 38441 1184.08/1187.21 c #Conflicts: 1315000 | #Constraints: 39441 1184.08/1187.21 c #Conflicts: 1316000 | #Constraints: 40441 1184.08/1187.21 c #Conflicts: 1317000 | #Constraints: 41441 1184.08/1187.21 c #Conflicts: 1318000 | #Constraints: 42441 1184.08/1187.21 c #Conflicts: 1319000 | #Constraints: 43441 1184.08/1187.21 c #Conflicts: 1320000 | #Constraints: 44442 1184.08/1187.21 c #Conflicts: 1321000 | #Constraints: 45442 1184.08/1187.21 c #Conflicts: 1322000 | #Constraints: 46442 1184.08/1187.21 c #Conflicts: 1323000 | #Constraints: 47442 1184.08/1187.21 c #Conflicts: 1324000 | #Constraints: 48442 1184.08/1187.21 c #Conflicts: 1325000 | #Constraints: 49442 1184.08/1187.21 c INPROCESSING 1184.08/1187.21 c GARBAGE COLLECT 1184.08/1187.21 c rational objective 1.87669 1234.16/1237.42 c #Conflicts: 1326000 | #Constraints: 27635 1234.16/1237.42 c #Conflicts: 1327000 | #Constraints: 28635 1234.16/1237.42 c #Conflicts: 1328000 | #Constraints: 29636 1234.16/1237.42 c #Conflicts: 1329000 | #Constraints: 30637 1234.16/1237.42 c #Conflicts: 1330000 | #Constraints: 31637 1234.16/1237.42 c #Conflicts: 1331000 | #Constraints: 32637 1234.16/1237.42 c #Conflicts: 1332000 | #Constraints: 33638 1234.16/1237.42 c #Conflicts: 1333000 | #Constraints: 34639 1234.16/1237.42 c #Conflicts: 1334000 | #Constraints: 35639 1234.16/1237.42 c #Conflicts: 1335000 | #Constraints: 36639 1234.16/1237.42 c #Conflicts: 1336000 | #Constraints: 37639 1234.16/1237.42 c #Conflicts: 1337000 | #Constraints: 38639 1234.16/1237.42 c #Conflicts: 1338000 | #Constraints: 39639 1234.16/1237.42 c #Conflicts: 1339000 | #Constraints: 40639 1234.16/1237.42 c #Conflicts: 1340000 | #Constraints: 41639 1234.16/1237.42 c #Conflicts: 1341000 | #Constraints: 42639 1234.16/1237.42 c #Conflicts: 1342000 | #Constraints: 43639 1234.16/1237.42 c #Conflicts: 1343000 | #Constraints: 44639 1234.16/1237.42 c #Conflicts: 1344000 | #Constraints: 45639 1234.16/1237.42 c #Conflicts: 1345000 | #Constraints: 46639 1234.16/1237.42 c #Conflicts: 1346000 | #Constraints: 47639 1234.16/1237.42 c #Conflicts: 1347000 | #Constraints: 48639 1234.16/1237.42 c #Conflicts: 1348000 | #Constraints: 49639 1234.16/1237.42 c INPROCESSING 1234.16/1237.42 c GARBAGE COLLECT 1234.16/1237.42 c rational objective 1.87669 1244.04/1247.31 c #Conflicts: 1349000 | #Constraints: 27666 1244.04/1247.31 c #Conflicts: 1350000 | #Constraints: 28667 1244.04/1247.31 c #Conflicts: 1351000 | #Constraints: 29668 1244.04/1247.31 c #Conflicts: 1352000 | #Constraints: 30669 1244.04/1247.31 c #Conflicts: 1353000 | #Constraints: 31669 1244.04/1247.31 c #Conflicts: 1354000 | #Constraints: 32669 1244.04/1247.31 c #Conflicts: 1355000 | #Constraints: 33670 1244.04/1247.31 c #Conflicts: 1356000 | #Constraints: 34670 1244.04/1247.31 c #Conflicts: 1357000 | #Constraints: 35671 1244.04/1247.31 c #Conflicts: 1358000 | #Constraints: 36673 1244.04/1247.31 c #Conflicts: 1359000 | #Constraints: 37673 1244.04/1247.31 c #Conflicts: 1360000 | #Constraints: 38674 1244.04/1247.31 c #Conflicts: 1361000 | #Constraints: 39674 1244.04/1247.31 c #Conflicts: 1362000 | #Constraints: 40674 1244.04/1247.31 c #Conflicts: 1363000 | #Constraints: 41674 1244.04/1247.31 c #Conflicts: 1364000 | #Constraints: 42674 1244.04/1247.31 c #Conflicts: 1365000 | #Constraints: 43674 1244.04/1247.31 c #Conflicts: 1366000 | #Constraints: 44674 1244.04/1247.31 c #Conflicts: 1367000 | #Constraints: 45674 1244.04/1247.31 c #Conflicts: 1368000 | #Constraints: 46674 1244.04/1247.31 c #Conflicts: 1369000 | #Constraints: 47674 1244.04/1247.31 c #Conflicts: 1370000 | #Constraints: 48674 1244.04/1247.31 c #Conflicts: 1371000 | #Constraints: 49674 1244.04/1247.31 c INPROCESSING 1244.04/1247.31 c GARBAGE COLLECT 1244.04/1247.31 c rational objective 1.87704 1259.21/1262.55 c #Conflicts: 1372000 | #Constraints: 27455 1259.21/1262.55 c #Conflicts: 1373000 | #Constraints: 28455 1259.21/1262.55 c #Conflicts: 1374000 | #Constraints: 29455 1259.21/1262.55 c #Conflicts: 1375000 | #Constraints: 30455 1259.21/1262.55 c #Conflicts: 1376000 | #Constraints: 31455 1259.21/1262.55 c #Conflicts: 1377000 | #Constraints: 32455 1259.21/1262.55 c #Conflicts: 1378000 | #Constraints: 33455 1259.21/1262.55 c #Conflicts: 1379000 | #Constraints: 34455 1259.21/1262.55 c #Conflicts: 1380000 | #Constraints: 35455 1259.21/1262.55 c #Conflicts: 1381000 | #Constraints: 36456 1259.21/1262.55 c #Conflicts: 1382000 | #Constraints: 37456 1259.21/1262.55 c #Conflicts: 1383000 | #Constraints: 38456 1259.21/1262.55 c #Conflicts: 1384000 | #Constraints: 39456 1259.21/1262.55 c #Conflicts: 1385000 | #Constraints: 40456 1259.21/1262.55 c #Conflicts: 1386000 | #Constraints: 41456 1259.21/1262.55 c #Conflicts: 1387000 | #Constraints: 42457 1259.21/1262.55 c #Conflicts: 1388000 | #Constraints: 43457 1259.21/1262.55 c #Conflicts: 1389000 | #Constraints: 44458 1259.21/1262.55 c #Conflicts: 1390000 | #Constraints: 45459 1259.21/1262.55 c #Conflicts: 1391000 | #Constraints: 46460 1259.21/1262.55 c #Conflicts: 1392000 | #Constraints: 47460 1259.21/1262.55 c #Conflicts: 1393000 | #Constraints: 48460 1259.21/1262.55 c #Conflicts: 1394000 | #Constraints: 49461 1259.21/1262.55 c #Conflicts: 1395000 | #Constraints: 50461 1259.21/1262.55 c INPROCESSING 1259.21/1262.55 c GARBAGE COLLECT 1259.21/1262.55 c rational objective 1.87704 1272.69/1276.08 c #Conflicts: 1396000 | #Constraints: 28043 1272.69/1276.08 c #Conflicts: 1397000 | #Constraints: 29043 1272.69/1276.08 c #Conflicts: 1398000 | #Constraints: 30043 1272.69/1276.08 c #Conflicts: 1399000 | #Constraints: 31044 1272.69/1276.08 c #Conflicts: 1400000 | #Constraints: 32044 1272.69/1276.08 c #Conflicts: 1401000 | #Constraints: 33044 1272.69/1276.08 c #Conflicts: 1402000 | #Constraints: 34044 1272.69/1276.08 c #Conflicts: 1403000 | #Constraints: 35044 1272.69/1276.08 c #Conflicts: 1404000 | #Constraints: 36044 1272.69/1276.08 c #Conflicts: 1405000 | #Constraints: 37044 1272.69/1276.08 c #Conflicts: 1406000 | #Constraints: 38045 1272.69/1276.08 c #Conflicts: 1407000 | #Constraints: 39046 1272.69/1276.08 c #Conflicts: 1408000 | #Constraints: 40046 1272.69/1276.08 c #Conflicts: 1409000 | #Constraints: 41046 1272.69/1276.08 c #Conflicts: 1410000 | #Constraints: 42046 1272.69/1276.08 c #Conflicts: 1411000 | #Constraints: 43046 1272.69/1276.08 c #Conflicts: 1412000 | #Constraints: 44046 1272.69/1276.08 c #Conflicts: 1413000 | #Constraints: 45047 1272.69/1276.08 c #Conflicts: 1414000 | #Constraints: 46047 1272.69/1276.08 c #Conflicts: 1415000 | #Constraints: 47047 1272.69/1276.08 c #Conflicts: 1416000 | #Constraints: 48047 1272.69/1276.08 c #Conflicts: 1417000 | #Constraints: 49047 1272.69/1276.08 c #Conflicts: 1418000 | #Constraints: 50047 1272.69/1276.08 c #Conflicts: 1419000 | #Constraints: 51047 1272.69/1276.08 c INPROCESSING 1272.69/1276.08 c GARBAGE COLLECT 1272.69/1276.08 c rational objective 1.87704 1303.10/1306.56 c #Conflicts: 1420000 | #Constraints: 28456 1303.10/1306.56 c #Conflicts: 1421000 | #Constraints: 29456 1303.10/1306.56 c #Conflicts: 1422000 | #Constraints: 30456 1303.10/1306.56 c #Conflicts: 1423000 | #Constraints: 31456 1303.10/1306.56 c #Conflicts: 1424000 | #Constraints: 32456 1303.10/1306.56 c #Conflicts: 1425000 | #Constraints: 33456 1303.10/1306.56 c #Conflicts: 1426000 | #Constraints: 34456 1303.10/1306.56 c #Conflicts: 1427000 | #Constraints: 35456 1303.10/1306.56 c #Conflicts: 1428000 | #Constraints: 36458 1303.10/1306.56 c #Conflicts: 1429000 | #Constraints: 37459 1303.10/1306.56 c #Conflicts: 1430000 | #Constraints: 38460 1303.10/1306.56 c #Conflicts: 1431000 | #Constraints: 39460 1303.10/1306.56 c #Conflicts: 1432000 | #Constraints: 40460 1303.10/1306.56 c #Conflicts: 1433000 | #Constraints: 41460 1303.10/1306.56 c #Conflicts: 1434000 | #Constraints: 42460 1303.10/1306.56 c #Conflicts: 1435000 | #Constraints: 43460 1303.10/1306.56 c #Conflicts: 1436000 | #Constraints: 44460 1303.10/1306.56 c #Conflicts: 1437000 | #Constraints: 45460 1303.10/1306.56 c #Conflicts: 1438000 | #Constraints: 46460 1303.10/1306.56 c #Conflicts: 1439000 | #Constraints: 47460 1303.10/1306.56 c #Conflicts: 1440000 | #Constraints: 48460 1303.10/1306.56 c #Conflicts: 1441000 | #Constraints: 49460 1303.10/1306.56 c #Conflicts: 1442000 | #Constraints: 50461 1303.10/1306.56 c #Conflicts: 1443000 | #Constraints: 51461 1303.10/1306.56 c INPROCESSING 1303.10/1306.56 c GARBAGE COLLECT 1303.10/1306.56 c rational objective 1.87704 1385.10/1388.77 c #Conflicts: 1444000 | #Constraints: 28676 1385.10/1388.77 c #Conflicts: 1445000 | #Constraints: 29676 1385.10/1388.77 c #Conflicts: 1446000 | #Constraints: 30676 1385.10/1388.77 c #Conflicts: 1447000 | #Constraints: 31676 1385.10/1388.77 c #Conflicts: 1448000 | #Constraints: 32677 1385.10/1388.77 c #Conflicts: 1449000 | #Constraints: 33677 1385.10/1388.77 c #Conflicts: 1450000 | #Constraints: 34677 1385.10/1388.77 c #Conflicts: 1451000 | #Constraints: 35677 1385.10/1388.77 c #Conflicts: 1452000 | #Constraints: 36677 1385.10/1388.77 c #Conflicts: 1453000 | #Constraints: 37677 1385.10/1388.77 c #Conflicts: 1454000 | #Constraints: 38677 1385.10/1388.77 c #Conflicts: 1455000 | #Constraints: 39677 1385.10/1388.77 c #Conflicts: 1456000 | #Constraints: 40677 1385.10/1388.77 c #Conflicts: 1457000 | #Constraints: 41677 1385.10/1388.77 c #Conflicts: 1458000 | #Constraints: 42677 1385.10/1388.77 c #Conflicts: 1459000 | #Constraints: 43677 1385.10/1388.77 c #Conflicts: 1460000 | #Constraints: 44677 1385.10/1388.77 c #Conflicts: 1461000 | #Constraints: 45678 1385.10/1388.77 c #Conflicts: 1462000 | #Constraints: 46679 1385.10/1388.77 c #Conflicts: 1463000 | #Constraints: 47679 1385.10/1388.77 c #Conflicts: 1464000 | #Constraints: 48679 1385.10/1388.77 c #Conflicts: 1465000 | #Constraints: 49679 1385.10/1388.77 c #Conflicts: 1466000 | #Constraints: 50679 1385.10/1388.77 c #Conflicts: 1467000 | #Constraints: 51679 1385.10/1388.77 c INPROCESSING 1385.10/1388.77 c GARBAGE COLLECT 1385.10/1388.77 c rational objective 1.8775 1398.67/1402.36 c #Conflicts: 1468000 | #Constraints: 28669 1398.67/1402.36 c #Conflicts: 1469000 | #Constraints: 29669 1398.67/1402.36 c #Conflicts: 1470000 | #Constraints: 30669 1398.67/1402.36 c #Conflicts: 1471000 | #Constraints: 31672 1398.67/1402.36 c #Conflicts: 1472000 | #Constraints: 32672 1398.67/1402.36 c #Conflicts: 1473000 | #Constraints: 33672 1398.67/1402.36 c #Conflicts: 1474000 | #Constraints: 34672 1398.67/1402.36 c #Conflicts: 1475000 | #Constraints: 35672 1398.67/1402.36 c #Conflicts: 1476000 | #Constraints: 36672 1398.67/1402.36 c #Conflicts: 1477000 | #Constraints: 37673 1398.67/1402.36 c #Conflicts: 1478000 | #Constraints: 38673 1398.67/1402.36 c #Conflicts: 1479000 | #Constraints: 39673 1398.67/1402.36 c #Conflicts: 1480000 | #Constraints: 40674 1398.67/1402.36 c #Conflicts: 1481000 | #Constraints: 41674 1398.67/1402.36 c #Conflicts: 1482000 | #Constraints: 42674 1398.67/1402.36 c #Conflicts: 1483000 | #Constraints: 43674 1398.67/1402.36 c #Conflicts: 1484000 | #Constraints: 44674 1398.67/1402.36 c #Conflicts: 1485000 | #Constraints: 45674 1398.67/1402.36 c #Conflicts: 1486000 | #Constraints: 46675 1398.67/1402.36 c #Conflicts: 1487000 | #Constraints: 47675 1398.67/1402.36 c #Conflicts: 1488000 | #Constraints: 48675 1398.67/1402.36 c #Conflicts: 1489000 | #Constraints: 49675 1398.67/1402.36 c #Conflicts: 1490000 | #Constraints: 50675 1398.67/1402.36 c #Conflicts: 1491000 | #Constraints: 51675 1398.67/1402.36 c INPROCESSING 1398.67/1402.36 c GARBAGE COLLECT 1398.67/1402.36 c rational objective 1.87751 1410.54/1414.25 c #Conflicts: 1492000 | #Constraints: 28471 1410.54/1414.25 c #Conflicts: 1493000 | #Constraints: 29472 1410.54/1414.25 c #Conflicts: 1494000 | #Constraints: 30472 1410.54/1414.25 c #Conflicts: 1495000 | #Constraints: 31472 1410.54/1414.25 c #Conflicts: 1496000 | #Constraints: 32472 1410.54/1414.25 c #Conflicts: 1497000 | #Constraints: 33472 1410.54/1414.25 c #Conflicts: 1498000 | #Constraints: 34472 1410.54/1414.25 c #Conflicts: 1499000 | #Constraints: 35472 1410.54/1414.25 c #Conflicts: 1500000 | #Constraints: 36472 1410.54/1414.25 c #Conflicts: 1501000 | #Constraints: 37472 1410.54/1414.25 c #Conflicts: 1502000 | #Constraints: 38472 1410.54/1414.25 c #Conflicts: 1503000 | #Constraints: 39472 1410.54/1414.25 c #Conflicts: 1504000 | #Constraints: 40472 1410.54/1414.25 c #Conflicts: 1505000 | #Constraints: 41472 1410.54/1414.25 c #Conflicts: 1506000 | #Constraints: 42472 1410.54/1414.25 c #Conflicts: 1507000 | #Constraints: 43472 1410.54/1414.25 c #Conflicts: 1508000 | #Constraints: 44472 1410.54/1414.25 c #Conflicts: 1509000 | #Constraints: 45472 1410.54/1414.25 c #Conflicts: 1510000 | #Constraints: 46472 1410.54/1414.25 c #Conflicts: 1511000 | #Constraints: 47472 1410.54/1414.25 c #Conflicts: 1512000 | #Constraints: 48472 1410.54/1414.25 c #Conflicts: 1513000 | #Constraints: 49472 1410.54/1414.25 c #Conflicts: 1514000 | #Constraints: 50472 1410.54/1414.25 c #Conflicts: 1515000 | #Constraints: 51473 1410.54/1414.25 c #Conflicts: 1516000 | #Constraints: 52475 1410.54/1414.25 c INPROCESSING 1410.54/1414.25 c GARBAGE COLLECT 1410.54/1414.25 c rational objective 1.87751 1424.01/1427.70 c #Conflicts: 1517000 | #Constraints: 29089 1424.01/1427.70 c #Conflicts: 1518000 | #Constraints: 30089 1424.01/1427.70 c #Conflicts: 1519000 | #Constraints: 31089 1424.01/1427.70 c #Conflicts: 1520000 | #Constraints: 32089 1424.01/1427.70 c #Conflicts: 1521000 | #Constraints: 33089 1424.01/1427.70 c #Conflicts: 1522000 | #Constraints: 34089 1424.01/1427.70 c #Conflicts: 1523000 | #Constraints: 35089 1424.01/1427.70 c #Conflicts: 1524000 | #Constraints: 36089 1424.01/1427.70 c #Conflicts: 1525000 | #Constraints: 37090 1424.01/1427.70 c #Conflicts: 1526000 | #Constraints: 38091 1424.01/1427.70 c #Conflicts: 1527000 | #Constraints: 39091 1424.01/1427.70 c #Conflicts: 1528000 | #Constraints: 40091 1424.01/1427.70 c #Conflicts: 1529000 | #Constraints: 41092 1424.01/1427.70 c #Conflicts: 1530000 | #Constraints: 42092 1424.01/1427.70 c #Conflicts: 1531000 | #Constraints: 43092 1424.01/1427.70 c #Conflicts: 1532000 | #Constraints: 44092 1424.01/1427.70 c #Conflicts: 1533000 | #Constraints: 45092 1424.01/1427.70 c #Conflicts: 1534000 | #Constraints: 46092 1424.01/1427.70 c #Conflicts: 1535000 | #Constraints: 47092 1424.01/1427.70 c #Conflicts: 1536000 | #Constraints: 48092 1424.01/1427.70 c #Conflicts: 1537000 | #Constraints: 49092 1424.01/1427.70 c #Conflicts: 1538000 | #Constraints: 50092 1424.01/1427.70 c #Conflicts: 1539000 | #Constraints: 51092 1424.01/1427.70 c #Conflicts: 1540000 | #Constraints: 52092 1424.01/1427.70 c #Conflicts: 1541000 | #Constraints: 53092 1424.01/1427.70 c INPROCESSING 1424.01/1427.70 c GARBAGE COLLECT 1424.01/1427.70 c rational objective 1.87751 1436.39/1440.13 c #Conflicts: 1542000 | #Constraints: 29476 1436.39/1440.13 c #Conflicts: 1543000 | #Constraints: 30476 1436.39/1440.13 c #Conflicts: 1544000 | #Constraints: 31476 1436.39/1440.13 c #Conflicts: 1545000 | #Constraints: 32476 1436.39/1440.13 c #Conflicts: 1546000 | #Constraints: 33476 1436.39/1440.13 c #Conflicts: 1547000 | #Constraints: 34476 1436.39/1440.13 c #Conflicts: 1548000 | #Constraints: 35476 1436.39/1440.13 c #Conflicts: 1549000 | #Constraints: 36476 1436.39/1440.13 c #Conflicts: 1550000 | #Constraints: 37477 1436.39/1440.13 c #Conflicts: 1551000 | #Constraints: 38478 1436.39/1440.13 c #Conflicts: 1552000 | #Constraints: 39478 1436.39/1440.13 c #Conflicts: 1553000 | #Constraints: 40478 1436.39/1440.13 c #Conflicts: 1554000 | #Constraints: 41478 1436.39/1440.13 c #Conflicts: 1555000 | #Constraints: 42479 1436.39/1440.13 c #Conflicts: 1556000 | #Constraints: 43479 1436.39/1440.13 c #Conflicts: 1557000 | #Constraints: 44479 1436.39/1440.13 c #Conflicts: 1558000 | #Constraints: 45479 1436.39/1440.13 c #Conflicts: 1559000 | #Constraints: 46479 1436.39/1440.13 c #Conflicts: 1560000 | #Constraints: 47479 1436.39/1440.13 c #Conflicts: 1561000 | #Constraints: 48479 1436.39/1440.13 c #Conflicts: 1562000 | #Constraints: 49479 1436.39/1440.13 c #Conflicts: 1563000 | #Constraints: 50479 1436.39/1440.13 c #Conflicts: 1564000 | #Constraints: 51479 1436.39/1440.13 c #Conflicts: 1565000 | #Constraints: 52482 1436.39/1440.13 c #Conflicts: 1566000 | #Constraints: 53482 1436.39/1440.13 c INPROCESSING 1436.39/1440.13 c GARBAGE COLLECT 1436.39/1440.13 c rational objective 1.87751 1541.40/1545.48 c #Conflicts: 1567000 | #Constraints: 29675 1541.40/1545.48 c #Conflicts: 1568000 | #Constraints: 30675 1541.40/1545.48 c #Conflicts: 1569000 | #Constraints: 31675 1541.40/1545.48 c #Conflicts: 1570000 | #Constraints: 32675 1541.40/1545.48 c #Conflicts: 1571000 | #Constraints: 33675 1541.40/1545.48 c #Conflicts: 1572000 | #Constraints: 34675 1541.40/1545.48 c #Conflicts: 1573000 | #Constraints: 35675 1541.40/1545.48 c #Conflicts: 1574000 | #Constraints: 36675 1541.40/1545.48 c #Conflicts: 1575000 | #Constraints: 37675 1541.40/1545.48 c #Conflicts: 1576000 | #Constraints: 38675 1541.40/1545.48 c #Conflicts: 1577000 | #Constraints: 39675 1541.40/1545.48 c #Conflicts: 1578000 | #Constraints: 40675 1541.40/1545.48 c #Conflicts: 1579000 | #Constraints: 41676 1541.40/1545.48 c #Conflicts: 1580000 | #Constraints: 42676 1541.40/1545.48 c #Conflicts: 1581000 | #Constraints: 43677 1541.40/1545.48 c #Conflicts: 1582000 | #Constraints: 44677 1541.40/1545.48 c #Conflicts: 1583000 | #Constraints: 45677 1541.40/1545.48 c #Conflicts: 1584000 | #Constraints: 46677 1541.40/1545.48 c #Conflicts: 1585000 | #Constraints: 47677 1541.40/1545.48 c #Conflicts: 1586000 | #Constraints: 48677 1541.40/1545.48 c #Conflicts: 1587000 | #Constraints: 49677 1541.40/1545.48 c #Conflicts: 1588000 | #Constraints: 50677 1541.40/1545.48 c #Conflicts: 1589000 | #Constraints: 51678 1541.40/1545.48 c #Conflicts: 1590000 | #Constraints: 52678 1541.40/1545.48 c #Conflicts: 1591000 | #Constraints: 53679 1541.40/1545.48 c INPROCESSING 1541.40/1545.48 c GARBAGE COLLECT 1541.40/1545.48 c rational objective 1.87751 1607.53/1611.78 c #Conflicts: 1592000 | #Constraints: 29740 1607.53/1611.78 c #Conflicts: 1593000 | #Constraints: 30741 1607.53/1611.78 c #Conflicts: 1594000 | #Constraints: 31741 1607.53/1611.78 c #Conflicts: 1595000 | #Constraints: 32741 1607.53/1611.78 c #Conflicts: 1596000 | #Constraints: 33741 1607.53/1611.78 c #Conflicts: 1597000 | #Constraints: 34741 1607.53/1611.78 c #Conflicts: 1598000 | #Constraints: 35742 1607.53/1611.78 c #Conflicts: 1599000 | #Constraints: 36742 1607.53/1611.78 c #Conflicts: 1600000 | #Constraints: 37742 1607.53/1611.78 c #Conflicts: 1601000 | #Constraints: 38742 1607.53/1611.78 c #Conflicts: 1602000 | #Constraints: 39742 1607.53/1611.78 c #Conflicts: 1603000 | #Constraints: 40743 1607.53/1611.78 c #Conflicts: 1604000 | #Constraints: 41743 1607.53/1611.78 c #Conflicts: 1605000 | #Constraints: 42743 1607.53/1611.78 c #Conflicts: 1606000 | #Constraints: 43744 1607.53/1611.78 c #Conflicts: 1607000 | #Constraints: 44744 1607.53/1611.78 c #Conflicts: 1608000 | #Constraints: 45745 1607.53/1611.78 c #Conflicts: 1609000 | #Constraints: 46745 1607.53/1611.78 c #Conflicts: 1610000 | #Constraints: 47745 1607.53/1611.78 c #Conflicts: 1611000 | #Constraints: 48745 1607.53/1611.78 c #Conflicts: 1612000 | #Constraints: 49745 1607.53/1611.78 c #Conflicts: 1613000 | #Constraints: 50745 1607.53/1611.78 c #Conflicts: 1614000 | #Constraints: 51745 1607.53/1611.78 c #Conflicts: 1615000 | #Constraints: 52745 1607.53/1611.78 c #Conflicts: 1616000 | #Constraints: 53745 1607.53/1611.78 c INPROCESSING 1607.53/1611.78 c GARBAGE COLLECT 1607.53/1611.78 c rational objective 1.87751 1617.21/1621.45 c #Conflicts: 1617000 | #Constraints: 29530 1617.21/1621.45 c #Conflicts: 1618000 | #Constraints: 30530 1617.21/1621.45 c #Conflicts: 1619000 | #Constraints: 31531 1617.21/1621.45 c #Conflicts: 1620000 | #Constraints: 32532 1617.21/1621.45 c #Conflicts: 1621000 | #Constraints: 33533 1617.21/1621.45 c #Conflicts: 1622000 | #Constraints: 34533 1617.21/1621.45 c #Conflicts: 1623000 | #Constraints: 35533 1617.21/1621.45 c #Conflicts: 1624000 | #Constraints: 36538 1617.21/1621.45 c #Conflicts: 1625000 | #Constraints: 37538 1617.21/1621.45 c #Conflicts: 1626000 | #Constraints: 38538 1617.21/1621.45 c #Conflicts: 1627000 | #Constraints: 39538 1617.21/1621.45 c #Conflicts: 1628000 | #Constraints: 40539 1617.21/1621.45 c #Conflicts: 1629000 | #Constraints: 41541 1617.21/1621.45 c #Conflicts: 1630000 | #Constraints: 42542 1617.21/1621.45 c #Conflicts: 1631000 | #Constraints: 43542 1617.21/1621.45 c #Conflicts: 1632000 | #Constraints: 44542 1617.21/1621.45 c #Conflicts: 1633000 | #Constraints: 45542 1617.21/1621.45 c #Conflicts: 1634000 | #Constraints: 46542 1617.21/1621.45 c #Conflicts: 1635000 | #Constraints: 47542 1617.21/1621.45 c #Conflicts: 1636000 | #Constraints: 48542 1617.21/1621.45 c #Conflicts: 1637000 | #Constraints: 49542 1617.21/1621.45 c #Conflicts: 1638000 | #Constraints: 50542 1617.21/1621.45 c #Conflicts: 1639000 | #Constraints: 51542 1617.21/1621.45 c #Conflicts: 1640000 | #Constraints: 52544 1617.21/1621.45 c #Conflicts: 1641000 | #Constraints: 53545 1617.21/1621.45 c #Conflicts: 1642000 | #Constraints: 54545 1617.21/1621.45 c INPROCESSING 1617.21/1621.45 c GARBAGE COLLECT 1617.21/1621.45 c rational objective 1.87756 1633.89/1638.17 c #Conflicts: 1643000 | #Constraints: 30115 1633.89/1638.17 c #Conflicts: 1644000 | #Constraints: 31116 1633.89/1638.17 c #Conflicts: 1645000 | #Constraints: 32117 1633.89/1638.17 c #Conflicts: 1646000 | #Constraints: 33118 1633.89/1638.17 c #Conflicts: 1647000 | #Constraints: 34118 1633.89/1638.17 c #Conflicts: 1648000 | #Constraints: 35118 1633.89/1638.17 c #Conflicts: 1649000 | #Constraints: 36118 1633.89/1638.17 c #Conflicts: 1650000 | #Constraints: 37118 1633.89/1638.17 c #Conflicts: 1651000 | #Constraints: 38118 1633.89/1638.17 c #Conflicts: 1652000 | #Constraints: 39118 1633.89/1638.17 c #Conflicts: 1653000 | #Constraints: 40118 1633.89/1638.17 c #Conflicts: 1654000 | #Constraints: 41118 1633.89/1638.17 c #Conflicts: 1655000 | #Constraints: 42118 1633.89/1638.17 c #Conflicts: 1656000 | #Constraints: 43118 1633.89/1638.17 c #Conflicts: 1657000 | #Constraints: 44118 1633.89/1638.17 c #Conflicts: 1658000 | #Constraints: 45118 1633.89/1638.17 c #Conflicts: 1659000 | #Constraints: 46118 1633.89/1638.17 c #Conflicts: 1660000 | #Constraints: 47118 1633.89/1638.17 c #Conflicts: 1661000 | #Constraints: 48118 1633.89/1638.17 c #Conflicts: 1662000 | #Constraints: 49118 1633.89/1638.17 c #Conflicts: 1663000 | #Constraints: 50118 1633.89/1638.17 c #Conflicts: 1664000 | #Constraints: 51118 1633.89/1638.17 c #Conflicts: 1665000 | #Constraints: 52118 1633.89/1638.17 c #Conflicts: 1666000 | #Constraints: 53119 1633.89/1638.17 c #Conflicts: 1667000 | #Constraints: 54121 1633.89/1638.17 c #Conflicts: 1668000 | #Constraints: 55121 1633.89/1638.17 c INPROCESSING 1633.89/1638.17 c GARBAGE COLLECT 1633.89/1638.17 c rational objective 1.87758 1656.91/1661.23 c #Conflicts: 1669000 | #Constraints: 30486 1656.91/1661.23 c #Conflicts: 1670000 | #Constraints: 31487 1656.91/1661.23 c #Conflicts: 1671000 | #Constraints: 32487 1656.91/1661.23 c #Conflicts: 1672000 | #Constraints: 33487 1656.91/1661.23 c #Conflicts: 1673000 | #Constraints: 34487 1656.91/1661.23 c #Conflicts: 1674000 | #Constraints: 35488 1656.91/1661.23 c #Conflicts: 1675000 | #Constraints: 36488 1656.91/1661.23 c #Conflicts: 1676000 | #Constraints: 37488 1656.91/1661.23 c #Conflicts: 1677000 | #Constraints: 38488 1656.91/1661.23 c #Conflicts: 1678000 | #Constraints: 39488 1656.91/1661.23 c #Conflicts: 1679000 | #Constraints: 40488 1656.91/1661.23 c #Conflicts: 1680000 | #Constraints: 41488 1656.91/1661.23 c #Conflicts: 1681000 | #Constraints: 42488 1656.91/1661.23 c #Conflicts: 1682000 | #Constraints: 43488 1656.91/1661.23 c #Conflicts: 1683000 | #Constraints: 44488 1656.91/1661.23 c #Conflicts: 1684000 | #Constraints: 45488 1656.91/1661.23 c #Conflicts: 1685000 | #Constraints: 46488 1656.91/1661.23 c #Conflicts: 1686000 | #Constraints: 47488 1656.91/1661.23 c #Conflicts: 1687000 | #Constraints: 48488 1656.91/1661.23 c #Conflicts: 1688000 | #Constraints: 49490 1656.91/1661.23 c #Conflicts: 1689000 | #Constraints: 50491 1656.91/1661.23 c #Conflicts: 1690000 | #Constraints: 51491 1656.91/1661.23 c #Conflicts: 1691000 | #Constraints: 52491 1656.91/1661.23 c #Conflicts: 1692000 | #Constraints: 53491 1656.91/1661.23 c #Conflicts: 1693000 | #Constraints: 54491 1656.91/1661.23 c #Conflicts: 1694000 | #Constraints: 55491 1656.91/1661.23 c INPROCESSING 1656.91/1661.23 c GARBAGE COLLECT 1656.91/1661.23 c rational objective 1.88021 1682.26/1686.65 c #Conflicts: 1695000 | #Constraints: 30676 1682.26/1686.65 c #Conflicts: 1696000 | #Constraints: 31676 1682.26/1686.65 c #Conflicts: 1697000 | #Constraints: 32676 1682.26/1686.65 c #Conflicts: 1698000 | #Constraints: 33676 1682.26/1686.65 c #Conflicts: 1699000 | #Constraints: 34676 1682.26/1686.65 c #Conflicts: 1700000 | #Constraints: 35676 1682.26/1686.65 c #Conflicts: 1701000 | #Constraints: 36676 1682.26/1686.65 c #Conflicts: 1702000 | #Constraints: 37676 1682.26/1686.65 c #Conflicts: 1703000 | #Constraints: 38676 1682.26/1686.65 c #Conflicts: 1704000 | #Constraints: 39676 1682.26/1686.65 c #Conflicts: 1705000 | #Constraints: 40676 1682.26/1686.65 c #Conflicts: 1706000 | #Constraints: 41676 1682.26/1686.65 c #Conflicts: 1707000 | #Constraints: 42676 1682.26/1686.65 c #Conflicts: 1708000 | #Constraints: 43677 1682.26/1686.65 c #Conflicts: 1709000 | #Constraints: 44677 1682.26/1686.65 c #Conflicts: 1710000 | #Constraints: 45677 1682.26/1686.65 c #Conflicts: 1711000 | #Constraints: 46678 1682.26/1686.65 c #Conflicts: 1712000 | #Constraints: 47678 1682.26/1686.65 c #Conflicts: 1713000 | #Constraints: 48679 1682.26/1686.65 c #Conflicts: 1714000 | #Constraints: 49679 1682.26/1686.65 c #Conflicts: 1715000 | #Constraints: 50679 1682.26/1686.65 c #Conflicts: 1716000 | #Constraints: 51681 1682.26/1686.65 c #Conflicts: 1717000 | #Constraints: 52681 1682.26/1686.65 c #Conflicts: 1718000 | #Constraints: 53681 1682.26/1686.65 c #Conflicts: 1719000 | #Constraints: 54681 1682.26/1686.65 c #Conflicts: 1720000 | #Constraints: 55681 1682.26/1686.65 c INPROCESSING 1682.26/1686.65 c GARBAGE COLLECT 1682.26/1686.65 c rational objective 1.88021 1706.50/1710.94 c #Conflicts: 1721000 | #Constraints: 30700 1706.50/1710.94 c #Conflicts: 1722000 | #Constraints: 31700 1706.50/1710.94 c #Conflicts: 1723000 | #Constraints: 32701 1706.50/1710.94 c #Conflicts: 1724000 | #Constraints: 33701 1706.50/1710.94 c #Conflicts: 1725000 | #Constraints: 34701 1706.50/1710.94 c #Conflicts: 1726000 | #Constraints: 35701 1706.50/1710.94 c #Conflicts: 1727000 | #Constraints: 36701 1706.50/1710.94 c #Conflicts: 1728000 | #Constraints: 37701 1706.50/1710.94 c #Conflicts: 1729000 | #Constraints: 38701 1706.50/1710.94 c #Conflicts: 1730000 | #Constraints: 39702 1706.50/1710.94 c #Conflicts: 1731000 | #Constraints: 40702 1706.50/1710.94 c #Conflicts: 1732000 | #Constraints: 41703 1706.50/1710.94 c #Conflicts: 1733000 | #Constraints: 42703 1706.50/1710.94 c #Conflicts: 1734000 | #Constraints: 43703 1706.50/1710.94 c #Conflicts: 1735000 | #Constraints: 44703 1706.50/1710.94 c #Conflicts: 1736000 | #Constraints: 45703 1706.50/1710.94 c #Conflicts: 1737000 | #Constraints: 46703 1706.50/1710.94 c #Conflicts: 1738000 | #Constraints: 47703 1706.50/1710.94 c #Conflicts: 1739000 | #Constraints: 48703 1706.50/1710.94 c #Conflicts: 1740000 | #Constraints: 49703 1706.50/1710.94 c #Conflicts: 1741000 | #Constraints: 50703 1706.50/1710.94 c #Conflicts: 1742000 | #Constraints: 51704 1706.50/1710.94 c #Conflicts: 1743000 | #Constraints: 52705 1706.50/1710.94 c #Conflicts: 1744000 | #Constraints: 53705 1706.50/1710.94 c #Conflicts: 1745000 | #Constraints: 54705 1706.50/1710.94 c #Conflicts: 1746000 | #Constraints: 55705 1706.50/1710.94 c INPROCESSING 1706.50/1710.94 c GARBAGE COLLECT 1706.50/1710.94 c rational objective 1.88021 1715.98/1720.40 c #Conflicts: 1747000 | #Constraints: 30472 1715.98/1720.40 c #Conflicts: 1748000 | #Constraints: 31472 1715.98/1720.40 c #Conflicts: 1749000 | #Constraints: 32472 1715.98/1720.40 c #Conflicts: 1750000 | #Constraints: 33473 1715.98/1720.40 c #Conflicts: 1751000 | #Constraints: 34473 1715.98/1720.40 c #Conflicts: 1752000 | #Constraints: 35474 1715.98/1720.40 c #Conflicts: 1753000 | #Constraints: 36476 1715.98/1720.40 c #Conflicts: 1754000 | #Constraints: 37477 1715.98/1720.40 c #Conflicts: 1755000 | #Constraints: 38479 1715.98/1720.40 c #Conflicts: 1756000 | #Constraints: 39480 1715.98/1720.40 c #Conflicts: 1757000 | #Constraints: 40480 1715.98/1720.40 c #Conflicts: 1758000 | #Constraints: 41481 1715.98/1720.40 c #Conflicts: 1759000 | #Constraints: 42481 1715.98/1720.40 c #Conflicts: 1760000 | #Constraints: 43481 1715.98/1720.40 c #Conflicts: 1761000 | #Constraints: 44481 1715.98/1720.40 c #Conflicts: 1762000 | #Constraints: 45483 1715.98/1720.40 c #Conflicts: 1763000 | #Constraints: 46483 1715.98/1720.40 c #Conflicts: 1764000 | #Constraints: 47483 1715.98/1720.40 c #Conflicts: 1765000 | #Constraints: 48483 1715.98/1720.40 c #Conflicts: 1766000 | #Constraints: 49483 1715.98/1720.40 c #Conflicts: 1767000 | #Constraints: 50483 1715.98/1720.40 c #Conflicts: 1768000 | #Constraints: 51483 1715.98/1720.40 c #Conflicts: 1769000 | #Constraints: 52483 1715.98/1720.40 c #Conflicts: 1770000 | #Constraints: 53483 1715.98/1720.40 c #Conflicts: 1771000 | #Constraints: 54484 1715.98/1720.40 c #Conflicts: 1772000 | #Constraints: 55484 1715.98/1720.40 c #Conflicts: 1773000 | #Constraints: 56484 1715.98/1720.40 c INPROCESSING 1715.98/1720.40 c GARBAGE COLLECT 1715.98/1720.40 c rational objective 1.88022 1834.89/1839.65 c #Conflicts: 1774000 | #Constraints: 31057 1834.89/1839.65 c #Conflicts: 1775000 | #Constraints: 32058 1834.89/1839.65 c #Conflicts: 1776000 | #Constraints: 33058 1834.89/1839.65 c #Conflicts: 1777000 | #Constraints: 34058 1834.89/1839.65 c #Conflicts: 1778000 | #Constraints: 35058 1834.89/1839.65 c #Conflicts: 1779000 | #Constraints: 36058 1834.89/1839.65 c #Conflicts: 1780000 | #Constraints: 37058 1834.89/1839.65 c #Conflicts: 1781000 | #Constraints: 38058 1834.89/1839.65 c #Conflicts: 1782000 | #Constraints: 39058 1834.89/1839.65 c #Conflicts: 1783000 | #Constraints: 40058 1834.89/1839.65 c #Conflicts: 1784000 | #Constraints: 41058 1834.89/1839.65 c #Conflicts: 1785000 | #Constraints: 42058 1834.89/1839.65 c #Conflicts: 1786000 | #Constraints: 43058 1834.89/1839.65 c #Conflicts: 1787000 | #Constraints: 44058 1834.89/1839.65 c #Conflicts: 1788000 | #Constraints: 45058 1834.89/1839.65 c #Conflicts: 1789000 | #Constraints: 46058 1834.89/1839.65 c #Conflicts: 1790000 | #Constraints: 47058 1834.89/1839.65 c #Conflicts: 1791000 | #Constraints: 48058 1834.89/1839.65 c #Conflicts: 1792000 | #Constraints: 49058 1834.89/1839.65 c #Conflicts: 1793000 | #Constraints: 50058 1834.89/1839.65 c #Conflicts: 1794000 | #Constraints: 51058 1834.89/1839.65 c #Conflicts: 1795000 | #Constraints: 52059 1834.89/1839.65 c #Conflicts: 1796000 | #Constraints: 53059 1834.89/1839.65 c #Conflicts: 1797000 | #Constraints: 54060 1834.89/1839.65 c #Conflicts: 1798000 | #Constraints: 55060 1834.89/1839.65 c #Conflicts: 1799000 | #Constraints: 56060 1834.89/1839.65 c #Conflicts: 1800000 | #Constraints: 57060 1834.89/1839.65 c #Conflicts: 1801000 | #Constraints: 58060 1834.89/1839.65 c #Conflicts: 1802000 | #Constraints: 59060 1834.89/1839.65 c #Conflicts: 1803000 | #Constraints: 60060 1834.89/1839.65 c #Conflicts: 1804000 | #Constraints: 61060 1834.89/1839.65 c #Conflicts: 1805000 | #Constraints: 62060 1834.89/1839.65 c #Conflicts: 1806000 | #Constraints: 63061 1834.89/1839.65 c #Conflicts: 1807000 | #Constraints: 64061 1834.89/1839.65 c #Conflicts: 1808000 | #Constraints: 65061 1834.89/1839.65 c #Conflicts: 1809000 | #Constraints: 66061 1834.89/1839.65 c #Conflicts: 1810000 | #Constraints: 67061 1834.89/1839.65 c #Conflicts: 1811000 | #Constraints: 68061 1834.89/1839.65 c #Conflicts: 1812000 | #Constraints: 69061 1834.89/1839.65 c #Conflicts: 1813000 | #Constraints: 70061 1834.89/1839.65 c #Conflicts: 1814000 | #Constraints: 71061 1834.89/1839.65 c #Conflicts: 1815000 | #Constraints: 72061 1834.89/1839.65 c #Conflicts: 1816000 | #Constraints: 73061 1834.89/1839.65 c #Conflicts: 1817000 | #Constraints: 74061 1834.89/1839.65 c #Conflicts: 1818000 | #Constraints: 75061 1834.89/1839.65 c #Conflicts: 1819000 | #Constraints: 76061 1834.89/1839.65 c #Conflicts: 1820000 | #Constraints: 77061 1834.89/1839.65 c #Conflicts: 1821000 | #Constraints: 78061 1834.89/1839.65 c #Conflicts: 1822000 | #Constraints: 79061 1834.89/1839.65 c #Conflicts: 1823000 | #Constraints: 80061 1834.89/1839.65 c #Conflicts: 1824000 | #Constraints: 81061 1834.89/1839.65 c #Conflicts: 1825000 | #Constraints: 82061 1834.89/1839.65 c #Conflicts: 1826000 | #Constraints: 83061 1834.89/1839.65 c #Conflicts: 1827000 | #Constraints: 84061 1834.89/1839.65 c #Conflicts: 1828000 | #Constraints: 85061 1834.89/1839.65 c #Conflicts: 1829000 | #Constraints: 86061 1834.89/1839.65 c #Conflicts: 1830000 | #Constraints: 87061 1834.89/1839.65 c #Conflicts: 1831000 | #Constraints: 88061 1834.89/1839.65 c #Conflicts: 1832000 | #Constraints: 89061 1834.89/1839.65 c #Conflicts: 1833000 | #Constraints: 90061 1834.89/1839.65 c #Conflicts: 1834000 | #Constraints: 91061 1834.89/1839.65 c #Conflicts: 1835000 | #Constraints: 92063 1834.89/1839.65 c #Conflicts: 1836000 | #Constraints: 93063 1834.89/1839.65 c #Conflicts: 1837000 | #Constraints: 94063 1834.89/1839.65 c #Conflicts: 1838000 | #Constraints: 95063 1834.89/1839.65 c #Conflicts: 1839000 | #Constraints: 96063 1834.89/1839.65 c #Conflicts: 1840000 | #Constraints: 97063 1834.89/1839.65 c #Conflicts: 1841000 | #Constraints: 98063 1834.89/1839.65 c #Conflicts: 1842000 | #Constraints: 99064 1834.89/1839.65 c #Conflicts: 1843000 | #Constraints: 100064 1834.89/1839.65 c #Conflicts: 1844000 | #Constraints: 101064 1834.89/1839.65 c #Conflicts: 1845000 | #Constraints: 102064 1834.89/1839.65 c #Conflicts: 1846000 | #Constraints: 103064 1834.89/1839.65 c #Conflicts: 1847000 | #Constraints: 104065 1834.89/1839.65 c #Conflicts: 1848000 | #Constraints: 105065 1834.89/1839.65 c #Conflicts: 1849000 | #Constraints: 106065 1834.89/1839.65 c #Conflicts: 1850000 | #Constraints: 107065 1834.89/1839.65 c #Conflicts: 1851000 | #Constraints: 108066 1834.89/1839.65 c #Conflicts: 1852000 | #Constraints: 109066 2071.89/2077.39 c #Conflicts: 1853000 | #Constraints: 110066 2071.89/2077.39 c #Conflicts: 1854000 | #Constraints: 111066 2071.89/2077.39 c #Conflicts: 1855000 | #Constraints: 112066 2071.89/2077.39 c #Conflicts: 1856000 | #Constraints: 113067 2071.89/2077.39 c #Conflicts: 1857000 | #Constraints: 114067 2071.89/2077.39 c #Conflicts: 1858000 | #Constraints: 115067 2071.89/2077.39 c #Conflicts: 1859000 | #Constraints: 116068 2071.89/2077.39 c #Conflicts: 1860000 | #Constraints: 117068 2071.89/2077.39 c #Conflicts: 1861000 | #Constraints: 118068 2071.89/2077.39 c #Conflicts: 1862000 | #Constraints: 119068 2071.89/2077.39 c #Conflicts: 1863000 | #Constraints: 120068 2071.89/2077.39 c #Conflicts: 1864000 | #Constraints: 121068 2071.89/2077.39 c #Conflicts: 1865000 | #Constraints: 122068 2071.89/2077.39 c #Conflicts: 1866000 | #Constraints: 123068 2071.89/2077.39 c #Conflicts: 1867000 | #Constraints: 124068 2071.89/2077.39 c #Conflicts: 1868000 | #Constraints: 125068 2071.89/2077.39 c #Conflicts: 1869000 | #Constraints: 126068 2071.89/2077.39 c #Conflicts: 1870000 | #Constraints: 127068 2071.89/2077.39 c #Conflicts: 1871000 | #Constraints: 128069 2071.89/2077.39 c #Conflicts: 1872000 | #Constraints: 129069 2071.89/2077.39 c #Conflicts: 1873000 | #Constraints: 130070 2071.89/2077.39 c #Conflicts: 1874000 | #Constraints: 131071 2071.89/2077.39 c #Conflicts: 1875000 | #Constraints: 132072 2071.89/2077.39 c #Conflicts: 1876000 | #Constraints: 133072 2071.89/2077.39 c #Conflicts: 1877000 | #Constraints: 134072 2071.89/2077.39 c #Conflicts: 1878000 | #Constraints: 135072 2071.89/2077.39 c #Conflicts: 1879000 | #Constraints: 136072 2071.89/2077.39 c #Conflicts: 1880000 | #Constraints: 137072 2071.89/2077.39 c #Conflicts: 1881000 | #Constraints: 138072 2071.89/2077.39 c #Conflicts: 1882000 | #Constraints: 139072 2071.89/2077.39 c #Conflicts: 1883000 | #Constraints: 140072 2071.89/2077.39 c #Conflicts: 1884000 | #Constraints: 141072 2071.89/2077.39 c #Conflicts: 1885000 | #Constraints: 142072 2071.89/2077.39 c #Conflicts: 1886000 | #Constraints: 143072 2071.89/2077.39 c #Conflicts: 1887000 | #Constraints: 144072 2071.89/2077.39 c #Conflicts: 1888000 | #Constraints: 145072 2071.89/2077.39 c #Conflicts: 1889000 | #Constraints: 146072 2071.89/2077.39 c #Conflicts: 1890000 | #Constraints: 147072 2071.89/2077.39 c #Conflicts: 1891000 | #Constraints: 148072 2071.89/2077.39 c #Conflicts: 1892000 | #Constraints: 149072 2071.89/2077.39 c #Conflicts: 1893000 | #Constraints: 150072 2071.89/2077.39 c #Conflicts: 1894000 | #Constraints: 151074 2071.89/2077.39 c #Conflicts: 1895000 | #Constraints: 152075 2071.89/2077.39 c #Conflicts: 1896000 | #Constraints: 153075 2071.89/2077.39 c #Conflicts: 1897000 | #Constraints: 154075 2071.89/2077.39 c #Conflicts: 1898000 | #Constraints: 155075 2071.89/2077.39 c #Conflicts: 1899000 | #Constraints: 156076 2071.89/2077.39 c #Conflicts: 1900000 | #Constraints: 157076 2071.89/2077.39 c #Conflicts: 1901000 | #Constraints: 158076 2071.89/2077.39 c #Conflicts: 1902000 | #Constraints: 159076 2071.89/2077.39 c #Conflicts: 1903000 | #Constraints: 160076 2071.89/2077.39 c #Conflicts: 1904000 | #Constraints: 161077 2071.89/2077.39 c #Conflicts: 1905000 | #Constraints: 162078 2071.89/2077.39 c #Conflicts: 1906000 | #Constraints: 163078 2071.89/2077.39 c #Conflicts: 1907000 | #Constraints: 164078 2071.89/2077.39 c #Conflicts: 1908000 | #Constraints: 165078 2071.89/2077.39 c #Conflicts: 1909000 | #Constraints: 166078 2071.89/2077.39 c #Conflicts: 1910000 | #Constraints: 167078 2071.89/2077.39 c #Conflicts: 1911000 | #Constraints: 168078 2071.89/2077.39 c #Conflicts: 1912000 | #Constraints: 169078 2071.89/2077.39 c INPROCESSING 2071.89/2077.39 c GARBAGE COLLECT 2071.89/2077.39 c rational objective 1.88022 2134.09/2139.71 c #Conflicts: 1913000 | #Constraints: 87239 2134.09/2139.71 c #Conflicts: 1914000 | #Constraints: 88239 2134.09/2139.71 c #Conflicts: 1915000 | #Constraints: 89239 2134.09/2139.71 c #Conflicts: 1916000 | #Constraints: 90240 2134.09/2139.71 c #Conflicts: 1917000 | #Constraints: 91240 2134.09/2139.71 c #Conflicts: 1918000 | #Constraints: 92240 2134.09/2139.71 c #Conflicts: 1919000 | #Constraints: 93240 2134.09/2139.71 c #Conflicts: 1920000 | #Constraints: 94240 2134.09/2139.71 c #Conflicts: 1921000 | #Constraints: 95240 2134.09/2139.71 c #Conflicts: 1922000 | #Constraints: 96240 2134.09/2139.71 c #Conflicts: 1923000 | #Constraints: 97240 2134.09/2139.71 c #Conflicts: 1924000 | #Constraints: 98240 2134.09/2139.71 c #Conflicts: 1925000 | #Constraints: 99240 2134.09/2139.71 c #Conflicts: 1926000 | #Constraints: 100240 2134.09/2139.71 c #Conflicts: 1927000 | #Constraints: 101240 2134.09/2139.71 c #Conflicts: 1928000 | #Constraints: 102240 2134.09/2139.71 c #Conflicts: 1929000 | #Constraints: 103240 2134.09/2139.71 c #Conflicts: 1930000 | #Constraints: 104240 2134.09/2139.71 c #Conflicts: 1931000 | #Constraints: 105240 2134.09/2139.71 c #Conflicts: 1932000 | #Constraints: 106240 2134.09/2139.71 c #Conflicts: 1933000 | #Constraints: 107240 2134.09/2139.71 c #Conflicts: 1934000 | #Constraints: 108240 2134.09/2139.71 c #Conflicts: 1935000 | #Constraints: 109240 2134.09/2139.71 c #Conflicts: 1936000 | #Constraints: 110240 2134.09/2139.71 c #Conflicts: 1937000 | #Constraints: 111240 2134.09/2139.71 c #Conflicts: 1938000 | #Constraints: 112240 2134.09/2139.71 c #Conflicts: 1939000 | #Constraints: 113240 2134.09/2139.71 c #Conflicts: 1940000 | #Constraints: 114240 2134.09/2139.71 c INPROCESSING 2134.09/2139.71 c GARBAGE COLLECT 2134.09/2139.71 c rational objective 1.88034 2216.35/2222.29 c #Conflicts: 1941000 | #Constraints: 59847 2216.35/2222.29 c #Conflicts: 1942000 | #Constraints: 60848 2216.35/2222.29 c #Conflicts: 1943000 | #Constraints: 61848 2216.35/2222.29 c #Conflicts: 1944000 | #Constraints: 62850 2216.35/2222.29 c #Conflicts: 1945000 | #Constraints: 63850 2216.35/2222.29 c #Conflicts: 1946000 | #Constraints: 64850 2216.35/2222.29 c #Conflicts: 1947000 | #Constraints: 65850 2216.35/2222.29 c #Conflicts: 1948000 | #Constraints: 66850 2216.35/2222.29 c #Conflicts: 1949000 | #Constraints: 67850 2216.35/2222.29 c #Conflicts: 1950000 | #Constraints: 68850 2216.35/2222.29 c #Conflicts: 1951000 | #Constraints: 69850 2216.35/2222.29 c #Conflicts: 1952000 | #Constraints: 70850 2216.35/2222.29 c #Conflicts: 1953000 | #Constraints: 71850 2216.35/2222.29 c #Conflicts: 1954000 | #Constraints: 72850 2216.35/2222.29 c #Conflicts: 1955000 | #Constraints: 73850 2216.35/2222.29 c #Conflicts: 1956000 | #Constraints: 74851 2216.35/2222.29 c #Conflicts: 1957000 | #Constraints: 75851 2216.35/2222.29 c #Conflicts: 1958000 | #Constraints: 76851 2216.35/2222.29 c #Conflicts: 1959000 | #Constraints: 77851 2216.35/2222.29 c #Conflicts: 1960000 | #Constraints: 78851 2216.35/2222.29 c #Conflicts: 1961000 | #Constraints: 79851 2216.35/2222.29 c #Conflicts: 1962000 | #Constraints: 80851 2216.35/2222.29 c #Conflicts: 1963000 | #Constraints: 81851 2216.35/2222.29 c #Conflicts: 1964000 | #Constraints: 82851 2216.35/2222.29 c #Conflicts: 1965000 | #Constraints: 83851 2216.35/2222.29 c #Conflicts: 1966000 | #Constraints: 84851 2216.35/2222.29 c #Conflicts: 1967000 | #Constraints: 85851 2216.35/2222.29 c #Conflicts: 1968000 | #Constraints: 86851 2216.35/2222.29 c INPROCESSING 2216.35/2222.29 c GARBAGE COLLECT 2216.35/2222.29 c #Conflicts: 1969000 | #Constraints: 46165 2216.35/2222.29 c #Conflicts: 1970000 | #Constraints: 47165 2216.35/2222.29 c #Conflicts: 1971000 | #Constraints: 48165 2216.35/2222.29 c #Conflicts: 1972000 | #Constraints: 49165 2216.35/2222.29 c #Conflicts: 1973000 | #Constraints: 50165 2216.35/2222.29 c #Conflicts: 1974000 | #Constraints: 51165 2216.35/2222.29 c #Conflicts: 1975000 | #Constraints: 52165 2216.35/2222.29 c #Conflicts: 1976000 | #Constraints: 53165 2216.35/2222.29 c #Conflicts: 1977000 | #Constraints: 54165 2216.35/2222.29 c #Conflicts: 1978000 | #Constraints: 55165 2216.35/2222.29 c #Conflicts: 1979000 | #Constraints: 56165 2216.35/2222.29 c #Conflicts: 1980000 | #Constraints: 57165 2216.35/2222.29 c #Conflicts: 1981000 | #Constraints: 58165 2216.35/2222.29 c #Conflicts: 1982000 | #Constraints: 59165 2216.35/2222.29 c #Conflicts: 1983000 | #Constraints: 60166 2216.35/2222.29 c #Conflicts: 1984000 | #Constraints: 61166 2216.35/2222.29 c #Conflicts: 1985000 | #Constraints: 62166 2216.35/2222.29 c #Conflicts: 1986000 | #Constraints: 63166 2216.35/2222.29 c #Conflicts: 1987000 | #Constraints: 64166 2216.35/2222.29 c #Conflicts: 1988000 | #Constraints: 65166 2216.35/2222.29 c #Conflicts: 1989000 | #Constraints: 66167 2216.35/2222.29 c #Conflicts: 1990000 | #Constraints: 67167 2216.35/2222.29 c #Conflicts: 1991000 | #Constraints: 68167 2216.35/2222.29 c #Conflicts: 1992000 | #Constraints: 69167 2216.35/2222.29 c #Conflicts: 1993000 | #Constraints: 70168 2216.35/2222.29 c #Conflicts: 1994000 | #Constraints: 71169 2216.35/2222.29 c #Conflicts: 1995000 | #Constraints: 72170 2216.35/2222.29 c #Conflicts: 1996000 | #Constraints: 73170 2216.35/2222.29 c INPROCESSING 2216.35/2222.29 c GARBAGE COLLECT 2216.35/2222.29 c rational objective 1.88184 2261.82/2267.85 c #Conflicts: 1997000 | #Constraints: 39115 2261.82/2267.85 c #Conflicts: 1998000 | #Constraints: 40115 2261.82/2267.85 c #Conflicts: 1999000 | #Constraints: 41115 2261.82/2267.85 c #Conflicts: 2000000 | #Constraints: 42116 2261.82/2267.85 c #Conflicts: 2001000 | #Constraints: 43116 2261.82/2267.85 c #Conflicts: 2002000 | #Constraints: 44117 2261.82/2267.85 c #Conflicts: 2003000 | #Constraints: 45117 2261.82/2267.85 c #Conflicts: 2004000 | #Constraints: 46118 2261.82/2267.85 c #Conflicts: 2005000 | #Constraints: 47119 2261.82/2267.85 c #Conflicts: 2006000 | #Constraints: 48119 2261.82/2267.85 c #Conflicts: 2007000 | #Constraints: 49119 2261.82/2267.85 c #Conflicts: 2008000 | #Constraints: 50119 2261.82/2267.85 c #Conflicts: 2009000 | #Constraints: 51119 2261.82/2267.85 c #Conflicts: 2010000 | #Constraints: 52119 2261.82/2267.85 c #Conflicts: 2011000 | #Constraints: 53120 2261.82/2267.85 c #Conflicts: 2012000 | #Constraints: 54120 2261.82/2267.85 c #Conflicts: 2013000 | #Constraints: 55120 2261.82/2267.85 c #Conflicts: 2014000 | #Constraints: 56120 2261.82/2267.85 c #Conflicts: 2015000 | #Constraints: 57120 2261.82/2267.85 c #Conflicts: 2016000 | #Constraints: 58120 2261.82/2267.85 c #Conflicts: 2017000 | #Constraints: 59120 2261.82/2267.85 c #Conflicts: 2018000 | #Constraints: 60125 2261.82/2267.85 c #Conflicts: 2019000 | #Constraints: 61125 2261.82/2267.85 c #Conflicts: 2020000 | #Constraints: 62125 2261.82/2267.85 c #Conflicts: 2021000 | #Constraints: 63126 2261.82/2267.85 c #Conflicts: 2022000 | #Constraints: 64127 2261.82/2267.85 c #Conflicts: 2023000 | #Constraints: 65127 2261.82/2267.85 c #Conflicts: 2024000 | #Constraints: 66127 2261.82/2267.85 c #Conflicts: 2025000 | #Constraints: 67127 2261.82/2267.85 c INPROCESSING 2261.82/2267.85 c GARBAGE COLLECT 2261.82/2267.85 c rational objective 1.8819 2285.64/2291.71 c #Conflicts: 2026000 | #Constraints: 36371 2285.64/2291.71 c #Conflicts: 2027000 | #Constraints: 37372 2285.64/2291.71 c #Conflicts: 2028000 | #Constraints: 38372 2285.64/2291.71 c #Conflicts: 2029000 | #Constraints: 39372 2285.64/2291.71 c #Conflicts: 2030000 | #Constraints: 40372 2285.64/2291.71 c #Conflicts: 2031000 | #Constraints: 41372 2285.64/2291.71 c #Conflicts: 2032000 | #Constraints: 42372 2285.64/2291.71 c #Conflicts: 2033000 | #Constraints: 43372 2285.64/2291.71 c #Conflicts: 2034000 | #Constraints: 44372 2285.64/2291.71 c #Conflicts: 2035000 | #Constraints: 45372 2285.64/2291.71 c #Conflicts: 2036000 | #Constraints: 46372 2285.64/2291.71 c #Conflicts: 2037000 | #Constraints: 47372 2285.64/2291.71 c #Conflicts: 2038000 | #Constraints: 48372 2285.64/2291.71 c #Conflicts: 2039000 | #Constraints: 49373 2285.64/2291.71 c #Conflicts: 2040000 | #Constraints: 50373 2285.64/2291.71 c #Conflicts: 2041000 | #Constraints: 51373 2285.64/2291.71 c #Conflicts: 2042000 | #Constraints: 52373 2285.64/2291.71 c #Conflicts: 2043000 | #Constraints: 53375 2285.64/2291.71 c #Conflicts: 2044000 | #Constraints: 54376 2285.64/2291.71 c #Conflicts: 2045000 | #Constraints: 55376 2285.64/2291.71 c #Conflicts: 2046000 | #Constraints: 56376 2285.64/2291.71 c #Conflicts: 2047000 | #Constraints: 57376 2285.64/2291.71 c #Conflicts: 2048000 | #Constraints: 58377 2285.64/2291.71 c #Conflicts: 2049000 | #Constraints: 59378 2285.64/2291.71 c #Conflicts: 2050000 | #Constraints: 60379 2285.64/2291.71 c #Conflicts: 2051000 | #Constraints: 61379 2285.64/2291.71 c #Conflicts: 2052000 | #Constraints: 62379 2285.64/2291.71 c #Conflicts: 2053000 | #Constraints: 63379 2285.64/2291.71 c #Conflicts: 2054000 | #Constraints: 64379 2285.64/2291.71 c INPROCESSING 2285.64/2291.71 c GARBAGE COLLECT 2285.64/2291.71 c rational objective 1.88194 2307.18/2313.32 c #Conflicts: 2055000 | #Constraints: 35134 2307.18/2313.32 c #Conflicts: 2056000 | #Constraints: 36134 2307.18/2313.32 c #Conflicts: 2057000 | #Constraints: 37134 2307.18/2313.32 c #Conflicts: 2058000 | #Constraints: 38135 2307.18/2313.32 c #Conflicts: 2059000 | #Constraints: 39136 2307.18/2313.32 c #Conflicts: 2060000 | #Constraints: 40137 2307.18/2313.32 c #Conflicts: 2061000 | #Constraints: 41137 2307.18/2313.32 c #Conflicts: 2062000 | #Constraints: 42137 2307.18/2313.32 c #Conflicts: 2063000 | #Constraints: 43138 2307.18/2313.32 c #Conflicts: 2064000 | #Constraints: 44138 2307.18/2313.32 c #Conflicts: 2065000 | #Constraints: 45140 2307.18/2313.32 c #Conflicts: 2066000 | #Constraints: 46140 2307.18/2313.32 c #Conflicts: 2067000 | #Constraints: 47140 2307.18/2313.32 c #Conflicts: 2068000 | #Constraints: 48142 2307.18/2313.32 c #Conflicts: 2069000 | #Constraints: 49142 2307.18/2313.32 c #Conflicts: 2070000 | #Constraints: 50143 2307.18/2313.32 c #Conflicts: 2071000 | #Constraints: 51144 2307.18/2313.32 c #Conflicts: 2072000 | #Constraints: 52145 2307.18/2313.32 c #Conflicts: 2073000 | #Constraints: 53145 2307.18/2313.32 c #Conflicts: 2074000 | #Constraints: 54146 2307.18/2313.32 c #Conflicts: 2075000 | #Constraints: 55147 2307.18/2313.32 c #Conflicts: 2076000 | #Constraints: 56147 2307.18/2313.32 c #Conflicts: 2077000 | #Constraints: 57147 2307.18/2313.32 c #Conflicts: 2078000 | #Constraints: 58147 2307.18/2313.32 c #Conflicts: 2079000 | #Constraints: 59147 2307.18/2313.32 c #Conflicts: 2080000 | #Constraints: 60147 2307.18/2313.32 c #Conflicts: 2081000 | #Constraints: 61147 2307.18/2313.32 c #Conflicts: 2082000 | #Constraints: 62147 2307.18/2313.32 c INPROCESSING 2307.18/2313.32 c GARBAGE COLLECT 2307.18/2313.32 c rational objective 1.89814 2336.81/2343.01 c #Conflicts: 2083000 | #Constraints: 33607 2336.81/2343.01 c #Conflicts: 2084000 | #Constraints: 34607 2336.81/2343.01 c #Conflicts: 2085000 | #Constraints: 35607 2336.81/2343.01 c #Conflicts: 2086000 | #Constraints: 36607 2336.81/2343.01 c #Conflicts: 2087000 | #Constraints: 37607 2336.81/2343.01 c #Conflicts: 2088000 | #Constraints: 38607 2336.81/2343.01 c #Conflicts: 2089000 | #Constraints: 39607 2336.81/2343.01 c #Conflicts: 2090000 | #Constraints: 40608 2336.81/2343.01 c #Conflicts: 2091000 | #Constraints: 41608 2336.81/2343.01 c #Conflicts: 2092000 | #Constraints: 42608 2336.81/2343.01 c #Conflicts: 2093000 | #Constraints: 43609 2336.81/2343.01 c #Conflicts: 2094000 | #Constraints: 44609 2336.81/2343.01 c #Conflicts: 2095000 | #Constraints: 45609 2336.81/2343.01 c #Conflicts: 2096000 | #Constraints: 46609 2336.81/2343.01 c #Conflicts: 2097000 | #Constraints: 47610 2336.81/2343.01 c #Conflicts: 2098000 | #Constraints: 48610 2336.81/2343.01 c #Conflicts: 2099000 | #Constraints: 49610 2336.81/2343.01 c #Conflicts: 2100000 | #Constraints: 50611 2336.81/2343.01 c #Conflicts: 2101000 | #Constraints: 51611 2336.81/2343.01 c #Conflicts: 2102000 | #Constraints: 52612 2336.81/2343.01 c #Conflicts: 2103000 | #Constraints: 53613 2336.81/2343.01 c #Conflicts: 2104000 | #Constraints: 54613 2336.81/2343.01 c #Conflicts: 2105000 | #Constraints: 55613 2336.81/2343.01 c #Conflicts: 2106000 | #Constraints: 56613 2336.81/2343.01 c #Conflicts: 2107000 | #Constraints: 57613 2336.81/2343.01 c #Conflicts: 2108000 | #Constraints: 58613 2336.81/2343.01 c #Conflicts: 2109000 | #Constraints: 59613 2336.81/2343.01 c #Conflicts: 2110000 | #Constraints: 60613 2336.81/2343.01 c #Conflicts: 2111000 | #Constraints: 61613 2336.81/2343.01 c #Conflicts: 2112000 | #Constraints: 62613 2336.81/2343.01 c INPROCESSING 2336.81/2343.01 c GARBAGE COLLECT 2336.81/2343.01 c rational objective 1.89895 2357.14/2363.40 c #Conflicts: 2113000 | #Constraints: 34269 2357.14/2363.40 c #Conflicts: 2114000 | #Constraints: 35270 2357.14/2363.40 c #Conflicts: 2115000 | #Constraints: 36270 2357.14/2363.40 c #Conflicts: 2116000 | #Constraints: 37270 2357.14/2363.40 c #Conflicts: 2117000 | #Constraints: 38270 2357.14/2363.40 c #Conflicts: 2118000 | #Constraints: 39271 2357.14/2363.40 c #Conflicts: 2119000 | #Constraints: 40272 2357.14/2363.40 c #Conflicts: 2120000 | #Constraints: 41272 2357.14/2363.40 c #Conflicts: 2121000 | #Constraints: 42274 2357.14/2363.40 c #Conflicts: 2122000 | #Constraints: 43274 2357.14/2363.40 c #Conflicts: 2123000 | #Constraints: 44274 2357.14/2363.40 c #Conflicts: 2124000 | #Constraints: 45274 2357.14/2363.40 c #Conflicts: 2125000 | #Constraints: 46275 2357.14/2363.40 c #Conflicts: 2126000 | #Constraints: 47276 2357.14/2363.40 c #Conflicts: 2127000 | #Constraints: 48277 2357.14/2363.40 c #Conflicts: 2128000 | #Constraints: 49277 2357.14/2363.40 c #Conflicts: 2129000 | #Constraints: 50277 2357.14/2363.40 c #Conflicts: 2130000 | #Constraints: 51277 2357.14/2363.40 c #Conflicts: 2131000 | #Constraints: 52277 2357.14/2363.40 c #Conflicts: 2132000 | #Constraints: 53277 2357.14/2363.40 c #Conflicts: 2133000 | #Constraints: 54277 2357.14/2363.40 c #Conflicts: 2134000 | #Constraints: 55278 2357.14/2363.40 c #Conflicts: 2135000 | #Constraints: 56279 2357.14/2363.40 c #Conflicts: 2136000 | #Constraints: 57279 2357.14/2363.40 c #Conflicts: 2137000 | #Constraints: 58279 2357.14/2363.40 c #Conflicts: 2138000 | #Constraints: 59279 2357.14/2363.40 c #Conflicts: 2139000 | #Constraints: 60279 2357.14/2363.40 c #Conflicts: 2140000 | #Constraints: 61281 2357.14/2363.40 c #Conflicts: 2141000 | #Constraints: 62281 2357.14/2363.40 c INPROCESSING 2357.14/2363.40 c GARBAGE COLLECT 2357.14/2363.40 c rational objective 1.91358 3600.06/3610.20 c #Conflicts: 2142000 | #Constraints: 33989 3600.06/3610.20 c #Conflicts: 2143000 | #Constraints: 34989 3600.06/3610.20 c #Conflicts: 2144000 | #Constraints: 35989 3600.06/3610.20 c #Conflicts: 2145000 | #Constraints: 36990 3600.06/3610.20 c #Conflicts: 2146000 | #Constraints: 37990 3600.06/3610.20 c #Conflicts: 2147000 | #Constraints: 38990 3600.06/3610.20 c #Conflicts: 2148000 | #Constraints: 39990 3600.06/3610.20 c #Conflicts: 2149000 | #Constraints: 40990 3600.06/3610.20 c #Conflicts: 2150000 | #Constraints: 41990 3600.06/3610.20 c #Conflicts: 2151000 | #Constraints: 42990 3600.06/3610.20 c #Conflicts: 2152000 | #Constraints: 43991 3600.06/3610.20 c #Conflicts: 2153000 | #Constraints: 44991 3600.06/3610.20 c #Conflicts: 2154000 | #Constraints: 45991 3600.06/3610.20 c #Conflicts: 2155000 | #Constraints: 46991 3600.06/3610.20 c #Conflicts: 2156000 | #Constraints: 47991 3600.06/3610.20 c #Conflicts: 2157000 | #Constraints: 48991 3600.06/3610.20 c #Conflicts: 2158000 | #Constraints: 49991 3600.06/3610.20 c #Conflicts: 2159000 | #Constraints: 50991 3600.06/3610.20 c #Conflicts: 2160000 | #Constraints: 51991 3600.06/3610.20 c #Conflicts: 2161000 | #Constraints: 52991 3600.06/3610.20 c #Conflicts: 2162000 | #Constraints: 53991 3600.06/3610.20 c #Conflicts: 2163000 | #Constraints: 54991 3600.06/3610.20 c #Conflicts: 2164000 | #Constraints: 55991 3600.06/3610.20 c #Conflicts: 2165000 | #Constraints: 56991 3600.06/3610.20 c #Conflicts: 2166000 | #Constraints: 57991 3600.06/3610.20 c #Conflicts: 2167000 | #Constraints: 58991 3600.06/3610.20 c #Conflicts: 2168000 | #Constraints: 59991 3600.06/3610.20 c #Conflicts: 2169000 | #Constraints: 60991 3600.06/3610.20 c #Conflicts: 2170000 | #Constraints: 61991 3600.06/3610.20 c #Conflicts: 2171000 | #Constraints: 62991 3600.06/3610.20 c #Conflicts: 2172000 | #Constraints: 63991 3600.06/3610.20 c #Conflicts: 2173000 | #Constraints: 64991 3600.06/3610.20 c #Conflicts: 2174000 | #Constraints: 65991 3600.06/3610.20 c #Conflicts: 2175000 | #Constraints: 66991 3600.06/3610.20 c #Conflicts: 2176000 | #Constraints: 67991 3600.06/3610.20 c #Conflicts: 2177000 | #Constraints: 68991 3600.06/3610.20 c #Conflicts: 2178000 | #Constraints: 69991 3600.06/3610.20 c #Conflicts: 2179000 | #Constraints: 70991 3600.06/3610.20 c #Conflicts: 2180000 | #Constraints: 71991 3600.06/3610.20 c #Conflicts: 2181000 | #Constraints: 72991 3600.06/3610.20 c #Conflicts: 2182000 | #Constraints: 73991 3600.06/3610.20 c #Conflicts: 2183000 | #Constraints: 74991 3600.06/3610.20 c #Conflicts: 2184000 | #Constraints: 75991 3600.06/3610.20 c #Conflicts: 2185000 | #Constraints: 76991 3600.06/3610.20 c #Conflicts: 2186000 | #Constraints: 77991 3600.06/3610.20 c #Conflicts: 2187000 | #Constraints: 78991 3600.06/3610.20 c #Conflicts: 2188000 | #Constraints: 79991 3600.06/3610.20 c #Conflicts: 2189000 | #Constraints: 80991 3600.06/3610.20 c #Conflicts: 2190000 | #Constraints: 81991 3600.06/3610.20 c #Conflicts: 2191000 | #Constraints: 82991 3600.06/3610.20 c #Conflicts: 2192000 | #Constraints: 83991 3600.06/3610.20 c #Conflicts: 2193000 | #Constraints: 84991 3600.06/3610.20 c #Conflicts: 2194000 | #Constraints: 85991 3600.06/3610.20 c #Conflicts: 2195000 | #Constraints: 86991 3600.06/3610.20 c #Conflicts: 2196000 | #Constraints: 87991 3600.06/3610.20 c #Conflicts: 2197000 | #Constraints: 88991 3600.06/3610.20 c #Conflicts: 2198000 | #Constraints: 89991 3600.06/3610.20 c #Conflicts: 2199000 | #Constraints: 90991 3600.06/3610.20 c #Conflicts: 2200000 | #Constraints: 91991 3600.06/3610.20 c #Conflicts: 2201000 | #Constraints: 92991 3600.06/3610.20 c Program interrupted by user. 3600.06/3610.20 c cpu time 3562.19 s 3600.06/3610.20 c deterministic time 474881406203 4.75e+11 3600.06/3610.20 c optimization time 1239.78 s 3600.06/3610.20 c total solve time 2322.39 s 3600.06/3610.20 c core-guided solve time 0 s 3600.06/3610.20 c propagation time 3348.55 s 3600.06/3610.20 c conflict analysis time 149.071 s 3600.06/3610.20 c propagations 106377590 3600.06/3610.20 c resolve steps 13270105 3600.06/3610.20 c decisions 15027406 3600.06/3610.20 c conflicts 2201470 3600.06/3610.20 c restarts 4093 3600.06/3610.20 c inprocessing phases 133 3600.06/3610.20 c input clauses 1334 3600.06/3610.20 c input cardinalities 0 3600.06/3610.20 c input general constraints 2025 3600.06/3610.20 c input average constraint length 3.81 3600.06/3610.20 c input average constraint degree 20949313541.24 3600.06/3610.20 c learned clauses 742405 3600.06/3610.20 c learned cardinalities 7926 3600.06/3610.20 c learned general constraints 1451840 3600.06/3610.20 c learned average constraint length 81.11 3600.06/3610.20 c learned average constraint degree 274037540.60 3600.06/3610.20 c watched constraints 1343900 3600.06/3610.20 c counting constraints 109965 3600.06/3610.20 c gcd simplifications 112359 3600.06/3610.20 c detected cardinalities 2383 3600.06/3610.20 c weakened non-implied lits 13019758 3600.06/3610.20 c weakened non-implying lits 875988 3600.06/3610.20 c original variables 3220 3600.06/3610.20 c clausal propagations 30094134 3600.06/3610.20 c cardinality propagations 184119 3600.06/3610.20 c watched propagations 18503464 3600.06/3610.20 c counting propagations 56217655 3600.06/3610.20 c watch lookups 67367101332 3600.06/3610.20 c watch backjump lookups 64710614656 3600.06/3610.20 c watch checks 148246417678 3600.06/3610.20 c propagation checks 193765092577 3600.06/3610.20 c constraint additions 544684614 3600.06/3610.20 c trail pops 123605649 3600.06/3610.20 c formula constraints 3359 3600.06/3610.20 c learned constraints 2200792 3600.06/3610.20 c bound constraints 0 3600.06/3610.20 c core-guided constraints 0 3600.06/3610.20 c encountered formula constraints 7253587 3600.06/3610.20 c encountered learned constraints 8139658 3600.06/3610.20 c encountered bound constraints 0 3600.06/3610.20 c encountered core-guided constraints 0 3600.06/3610.20 c LP total time 205.501 s 3600.06/3610.20 c LP solve time 192.91 s 3600.06/3610.20 c LP constraints added 3485 3600.06/3610.20 c LP constraints removed 89 3600.06/3610.20 c LP pivots internal 2155444 3600.06/3610.20 c LP pivots root 329256 3600.06/3610.20 c LP calls 82709 3600.06/3610.20 c LP optimalities 81943 3600.06/3610.20 c LP no pivot count 74372 3600.06/3610.20 c LP infeasibilities 711 3600.06/3610.20 c LP valid Farkas constraints 701 3600.06/3610.20 c LP learned Farkas constraints 678 3600.06/3610.20 c LP basis resets 60 3600.06/3610.20 c LP cycling count 49 3600.06/3610.20 c LP singular count 1 3600.06/3610.20 c LP no primal count 0 3600.06/3610.20 c LP no farkas count 10 3600.06/3610.20 c LP other issue count 0 3600.06/3610.20 c LP Gomory cuts 0 3600.06/3610.20 c LP learned cuts 126 3600.06/3610.20 c LP deleted cuts 89 3600.06/3610.20 c LP encountered Gomory constraints 0 3600.06/3610.20 c LP encountered Farkas constraints 49244 3600.06/3610.20 c LP encountered learned Farkas constraints 28408 3600.06/3610.20 c CG auxiliary variables introduced 0 3600.06/3610.20 c CG solutions found 0 3600.06/3610.20 c CG cores constructed 0 3600.06/3610.20 c CG core cardinality constraints returned 0 3600.06/3610.20 c CG unit cores 0 3600.06/3610.20 c CG single cores 0 3600.06/3610.20 c CG blocks removed during cardinality reduction 0 3600.06/3610.20 c CG first core best 0 3600.06/3610.20 c CG decision core best 0 3600.06/3610.20 c CG core reduction tie 0 3600.06/3610.20 c CG core degree average 0.00 3600.06/3610.20 c CG core slack average 0.00 3600.06/3610.20 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: 64059 MiB (57236 MiB free)
memory of node 1: 64510 MiB (57965 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457453-1721840861/watcher-4457453-1721840861 -o /tmp/evaluation-result-4457453-1721840861/solver-4457453-1721840861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721833630-188595 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457453-1721840861 --lp-cut-gomory=0 HOME/instance-4457453-1721840861.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=192843, runsolver pid=192840
Current StackSize limit: 8192 KiB
[startup+0.100419 s]*
/proc/loadavg: 4.07 4.11 4.13 5/249 192844
/proc/meminfo: memFree=117954548/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=42792 memory=14756 CPUtime=0.09 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 1823 0 0 0 8 1 0 0 20 0 1 0 20075812 43819008 3689 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 10698 3689 1763 992 0 2556 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 14756 KiB
[startup+0.207819 s]*
/proc/loadavg: 4.07 4.11 4.13 5/249 192844
/proc/meminfo: memFree=117949340/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=43452 memory=15620 CPUtime=0.2 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 1981 0 0 0 18 2 0 0 20 0 1 0 20075812 44494848 3905 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 10863 3905 1858 992 0 2721 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43452 KiB
Current children cumulated memory: 15620 KiB
[startup+0.307727 s]*
/proc/loadavg: 4.07 4.11 4.13 5/249 192844
/proc/meminfo: memFree=117944496/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=44520 memory=16412 CPUtime=0.3 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 2185 0 0 0 27 3 0 0 20 0 1 0 20075812 45588480 4103 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 11130 4103 1858 992 0 2988 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44520 KiB
Current children cumulated memory: 16412 KiB
[startup+0.7003 s]
/proc/loadavg: 4.07 4.11 4.13 5/249 192844
/proc/meminfo: memFree=117937308/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=44732 memory=16676 CPUtime=0.68 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 2219 0 0 0 60 8 0 0 20 0 1 0 20075812 45805568 4169 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 11183 4169 1858 992 0 3041 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 16676 KiB
[startup+1.50034 s]
/proc/loadavg: 4.07 4.11 4.13 5/249 192844
/proc/meminfo: memFree=117929548/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=45172 memory=17204 CPUtime=1.48 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 2356 0 0 0 131 17 0 0 20 0 1 0 20075812 46256128 4301 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 11293 4301 1858 992 0 3151 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45172 KiB
Current children cumulated memory: 17204 KiB
[startup+3.11468 s]
/proc/loadavg: 4.15 4.12 4.14 4/243 192876
/proc/meminfo: memFree=122070364/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=46892 memory=18784 CPUtime=3.09 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 2764 0 0 0 277 32 0 0 20 0 1 0 20075812 48017408 4696 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 11723 4696 1858 992 0 3581 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46892 KiB
Current children cumulated memory: 18784 KiB
[startup+6.30032 s]
/proc/loadavg: 4.15 4.12 4.14 5/249 192939
/proc/meminfo: memFree=121896184/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=52220 memory=25064 CPUtime=6.27 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 4327 0 0 0 570 57 0 0 20 0 1 0 20075812 53473280 6266 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 13055 6266 1858 992 0 4913 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52220 KiB
Current children cumulated memory: 25064 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.12 4.14 5/249 192939
/proc/meminfo: memFree=121753348/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=61988 memory=34184 CPUtime=12.65 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 6646 0 0 0 1165 100 0 0 20 0 1 0 20075812 63475712 8546 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 15497 8546 1858 992 0 7355 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61988 KiB
Current children cumulated memory: 34184 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.11 4.13 5/249 192940
/proc/meminfo: memFree=121514568/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=72956 memory=42728 CPUtime=25.42 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 8736 0 0 0 2362 180 0 0 20 0 1 0 20075812 74706944 10682 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 18239 10682 1922 992 0 10097 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 72956 KiB
Current children cumulated memory: 42728 KiB
[startup+51.114 s]
/proc/loadavg: 4.15 4.12 4.13 5/249 192945
/proc/meminfo: memFree=121272624/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=78472 memory=51636 CPUtime=50.97 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 10460 0 0 0 4782 315 0 0 20 0 1 0 20075812 80355328 12909 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 19618 12909 1922 992 0 11476 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 78472 KiB
Current children cumulated memory: 51636 KiB
[startup+102.3 s]
/proc/loadavg: 4.45 4.20 4.16 5/249 192953
/proc/meminfo: memFree=120554840/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=95880 memory=62436 CPUtime=102.03 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 13117 0 0 0 9699 504 0 0 20 0 1 0 20075812 98181120 15609 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 23970 15609 1922 992 0 15828 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 95880 KiB
Current children cumulated memory: 62436 KiB
[startup+162.3 s]
/proc/loadavg: 4.69 4.33 4.21 5/252 192968
/proc/meminfo: memFree=120010256/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=101164 memory=73088 CPUtime=161.84 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 14931 0 0 0 15542 642 0 0 20 0 1 0 20075812 103591936 18272 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 25291 18272 1954 992 0 17149 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 101164 KiB
Current children cumulated memory: 73088 KiB
[startup+222.3 s]
/proc/loadavg: 4.37 4.30 4.20 5/250 192981
/proc/meminfo: memFree=119358320/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=106540 memory=80504 CPUtime=221.67 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 16408 0 0 0 21437 730 0 0 20 0 1 0 20075812 109096960 20126 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 26635 20126 1954 992 0 18493 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 106540 KiB
Current children cumulated memory: 80504 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.26 4.19 5/250 192991
/proc/meminfo: memFree=118702556/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=123260 memory=90488 CPUtime=281.52 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 17948 0 0 0 27294 858 0 0 20 0 1 0 20075812 126218240 22622 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 30815 22622 1954 992 0 22673 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 123260 KiB
Current children cumulated memory: 90488 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/250 193001
/proc/meminfo: memFree=118266072/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=126704 memory=93532 CPUtime=341.36 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 18851 0 0 0 33114 1022 0 0 20 0 1 0 20075812 129744896 23383 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 31676 23383 1954 992 0 23534 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 126704 KiB
Current children cumulated memory: 93532 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/250 193011
/proc/meminfo: memFree=117792288/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=130180 memory=96784 CPUtime=401.21 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 20456 0 0 0 38969 1152 0 0 20 0 1 0 20075812 133304320 24196 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 32545 24196 1954 992 0 24403 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 130180 KiB
Current children cumulated memory: 96784 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.20 4.18 6/250 193022
/proc/meminfo: memFree=117252324/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=131956 memory=98240 CPUtime=461.06 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 21335 0 0 0 44846 1260 0 0 20 0 1 0 20075812 135122944 24560 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 32989 24560 1954 992 0 24847 0
################
# More data... #
################
Current children cumulated memory: 228868 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/256 194485
/proc/meminfo: memFree=99158424/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=305724 memory=229388 CPUtime=2854.57 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 43245 0 0 0 281803 3654 0 0 20 0 1 0 20075812 313061376 57347 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 76431 57347 1954 992 0 68289 0
Current children cumulated CPU time: 2854.57 s
Current children cumulated vsize: 305724 KiB
Current children cumulated memory: 229388 KiB
[startup+2922.3 s]
/proc/loadavg: 4.34 4.18 4.16 5/254 194495
/proc/meminfo: memFree=98808664/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=311356 memory=232484 CPUtime=2914.4 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 44110 0 0 0 287775 3665 0 0 20 0 1 0 20075812 318828544 58121 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 77839 58121 1954 992 0 69697 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 311356 KiB
Current children cumulated memory: 232484 KiB
[startup+2982.3 s]
/proc/loadavg: 4.33 4.22 4.18 5/254 194505
/proc/meminfo: memFree=98549204/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=312380 memory=233276 CPUtime=2974.24 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 44331 0 0 0 293748 3676 0 0 20 0 1 0 20075812 319877120 58319 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78095 58319 1954 992 0 69953 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 312380 KiB
Current children cumulated memory: 233276 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.19 4.17 5/253 194686
/proc/meminfo: memFree=98187336/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=312892 memory=233996 CPUtime=3034.09 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 44562 0 0 0 299725 3684 0 0 20 0 1 0 20075812 320401408 58499 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78223 58499 1954 992 0 70081 0
Current children cumulated CPU time: 3034.09 s
Current children cumulated vsize: 312892 KiB
Current children cumulated memory: 233996 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/251 194696
/proc/meminfo: memFree=97944136/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=313404 memory=234516 CPUtime=3093.91 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 44718 0 0 0 305697 3694 0 0 20 0 1 0 20075812 320925696 58629 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78351 58629 1954 992 0 70209 0
Current children cumulated CPU time: 3093.91 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 234516 KiB
[startup+3162.3 s]
/proc/loadavg: 3.98 4.13 4.15 4/244 194740
/proc/meminfo: memFree=119999788/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=313404 memory=234968 CPUtime=3153.72 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 44889 0 0 0 311665 3707 0 0 20 0 1 0 20075812 320925696 58742 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78351 58742 1954 992 0 70209 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 234968 KiB
[startup+3222.3 s]
/proc/loadavg: 3.40 3.94 4.08 4/242 194764
/proc/meminfo: memFree=119977448/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=313404 memory=235228 CPUtime=3213.52 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 44975 0 0 0 317634 3718 0 0 20 0 1 0 20075812 320925696 58807 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78351 58807 1954 992 0 70209 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 235228 KiB
[startup+3282.3 s]
/proc/loadavg: 3.25 3.80 4.02 4/242 194774
/proc/meminfo: memFree=119965724/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=313404 memory=235680 CPUtime=3273.31 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 45150 0 0 0 323601 3730 0 0 20 0 1 0 20075812 320925696 58920 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78351 58920 1954 992 0 70209 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 235680 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.66 3.96 4/241 194784
/proc/meminfo: memFree=119949240/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=313404 memory=235940 CPUtime=3333.1 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 45229 0 0 0 329570 3740 0 0 20 0 1 0 20075812 320925696 58985 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78351 58985 1954 992 0 70209 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 235940 KiB
[startup+3402.3 s]
/proc/loadavg: 3.16 3.57 3.91 4/241 194794
/proc/meminfo: memFree=119934148/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=313404 memory=240120 CPUtime=3392.9 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 45339 0 0 0 335539 3751 0 0 20 0 1 0 20075812 320925696 60030 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78351 60030 1954 992 0 70209 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 240120 KiB
[startup+3462.3 s]
/proc/loadavg: 3.16 3.50 3.86 4/237 194805
/proc/meminfo: memFree=119922812/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=313660 memory=240120 CPUtime=3452.68 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 45362 0 0 0 341506 3762 0 0 20 0 1 0 20075812 321187840 60030 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78415 60030 1954 992 0 70273 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 313660 KiB
Current children cumulated memory: 240120 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.42 3.81 4/238 194816
/proc/meminfo: memFree=119912660/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=313660 memory=240208 CPUtime=3512.47 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 45459 0 0 0 347475 3772 0 0 20 0 1 0 20075812 321187840 60052 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78415 60052 1954 992 0 70273 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 313660 KiB
Current children cumulated memory: 240208 KiB
[startup+3582.3 s]
/proc/loadavg: 3.31 3.42 3.79 4/238 194826
/proc/meminfo: memFree=119901328/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=313660 memory=240208 CPUtime=3572.26 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 45460 0 0 0 353442 3784 0 0 20 0 1 0 20075812 321187840 60052 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78415 60052 1954 992 0 70273 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 313660 KiB
Current children cumulated memory: 240208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 3.11 3.36 3.75 3/231 194862
/proc/meminfo: memFree=121453836/131655788 swapFree=131057052/131071996
[pid=192843] ppid=192840 vsize=313916 memory=240248 CPUtime=3600.06 cores=1,3
/proc/192843/stat : 192843 (roundingsat) R 192840 192843 188583 0 -1 4194304 45494 0 0 0 356218 3788 0 0 20 0 1 0 20075812 321449984 60062 134679101440 4194304 8254037 140734081226560 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26365952 140734081233756 140734081234018 140734081234018 140734081241033 0
/proc/192843/statm: 78479 60062 1954 992 0 70337 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 313916 KiB
Current children cumulated memory: 240248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 192843 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.19 s, system=37.8844 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.21
CPU time (s): 3600.07
CPU user time (s): 3562.19
CPU system time (s): 37.8844
CPU usage (%): 99.7193
Max. virtual memory (cumulated for all children) (KiB): 313916
Max. memory (cumulated for all children) (KiB): 240248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.19
system time used= 37.8844
maximum resident set size= 240248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4993936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68
involuntary context switches= 4878
# summary of solver processes directly reported to runsolver:
# pid: 192843
# total CPU time (s): 3600.07
# total CPU user time (s): 3562.19
# total CPU system time (s): 37.8844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1151 second user time and 33.8883 second system time
The end
Begin job on nodeC012 at 2024-07-24 19:07:41 IDJOB=4457453 IDBENCH=176057 IDSOLVER=3085 FILE ID=nodeC012/4457453-1721840861 RUNJOBID= nodeC012-1721833630-188595 SLURM_JOB_ID= 7891540 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_greater.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-4457453-1721840861/watcher-4457453-1721840861 -o /tmp/evaluation-result-4457453-1721840861/solver-4457453-1721840861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721833630-188595 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457453-1721840861 --lp-cut-gomory=0 HOME/instance-4457453-1721840861.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ea45ea8fc9874a86ca315aec231afca1 RANDOM SEED=879536529 nodeC012.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 : 3674.398 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 : 6983.47 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 : 1197.176 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.32 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.316 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 : 6983.47 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 : 2394.345 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.32 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 : 3674.492 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 : 6983.47 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 : 3668.625 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.32 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.415 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 : 6983.47 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.298 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.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 117969100 kB MemAvailable: 129408336 kB Buffers: 276576 kB Cached: 11948140 kB SwapCached: 84 kB Active: 2524676 kB Inactive: 10512716 kB Active(anon): 4124 kB Inactive(anon): 861656 kB Active(file): 2520552 kB Inactive(file): 9651060 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057052 kB Dirty: 174208 kB Writeback: 0 kB AnonPages: 807348 kB Mapped: 125096 kB Shmem: 53076 kB KReclaimable: 215312 kB Slab: 331872 kB SReclaimable: 215312 kB SUnreclaim: 116560 kB KernelStack: 4016 kB PageTables: 11200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1172676 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15136 kB HardwareCorrupted: 0 kB AnonHugePages: 536576 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: 402248 kB DirectMap2M: 55076864 kB DirectMap1G: 80740352 kB Free space on /tmp at the end= 723760 MiB End job on nodeC012 at 2024-07-24 20:07:51