| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.01 | 3612.4 |
| 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.01 c #variables 3220 #constraints 3359 0.00/0.02 c rational objective 2.84217e-14 0.50/0.52 c #Conflicts: 1000 | #Constraints: 4360 0.50/0.52 c #Conflicts: 2000 | #Constraints: 5362 0.50/0.52 c INPROCESSING 0.50/0.52 c GARBAGE COLLECT 0.50/0.52 c #Conflicts: 3000 | #Constraints: 5407 0.50/0.52 c #Conflicts: 4000 | #Constraints: 6409 0.50/0.52 c INPROCESSING 0.50/0.52 c GARBAGE COLLECT 0.50/0.52 c rational objective 2.84217e-14 0.79/0.87 c #Conflicts: 5000 | #Constraints: 5852 0.79/0.87 c #Conflicts: 6000 | #Constraints: 6854 0.79/0.87 c INPROCESSING 0.79/0.87 c GARBAGE COLLECT 0.79/0.87 c rational objective 2.84217e-14 1.18/1.26 c #Conflicts: 7000 | #Constraints: 5899 1.18/1.26 c #Conflicts: 8000 | #Constraints: 6900 1.18/1.26 c #Conflicts: 9000 | #Constraints: 7901 1.18/1.26 c INPROCESSING 1.18/1.26 c GARBAGE COLLECT 1.18/1.26 c rational objective 2.84217e-14 1.48/1.54 c #Conflicts: 10000 | #Constraints: 6640 1.48/1.54 c #Conflicts: 11000 | #Constraints: 7640 1.48/1.54 c #Conflicts: 12000 | #Constraints: 8641 1.48/1.54 c INPROCESSING 1.48/1.54 c GARBAGE COLLECT 1.48/1.54 c rational objective 2.84217e-14 2.48/2.53 c #Conflicts: 13000 | #Constraints: 7109 2.48/2.53 c #Conflicts: 14000 | #Constraints: 8109 2.48/2.53 c #Conflicts: 15000 | #Constraints: 9109 2.48/2.53 c INPROCESSING 2.48/2.53 c GARBAGE COLLECT 2.48/2.53 c rational objective 2.84217e-14 2.77/2.82 c #Conflicts: 16000 | #Constraints: 7357 2.77/2.82 c #Conflicts: 17000 | #Constraints: 8361 2.77/2.82 c #Conflicts: 18000 | #Constraints: 9361 2.77/2.82 c INPROCESSING 2.77/2.82 c GARBAGE COLLECT 2.77/2.82 c rational objective 2.84217e-14 3.38/3.41 c #Conflicts: 19000 | #Constraints: 7369 3.38/3.41 c #Conflicts: 20000 | #Constraints: 8372 3.38/3.41 c #Conflicts: 21000 | #Constraints: 9372 3.38/3.41 c INPROCESSING 3.38/3.41 c GARBAGE COLLECT 3.38/3.41 c rational objective 2.84217e-14 4.17/4.22 c #Conflicts: 22000 | #Constraints: 7191 4.17/4.22 c #Conflicts: 23000 | #Constraints: 8192 4.17/4.22 c #Conflicts: 24000 | #Constraints: 9192 4.17/4.22 c #Conflicts: 25000 | #Constraints: 10193 4.17/4.22 c INPROCESSING 4.17/4.22 c GARBAGE COLLECT 4.17/4.22 c rational objective 2.84217e-14 4.67/4.79 c #Conflicts: 26000 | #Constraints: 7805 4.67/4.79 c #Conflicts: 27000 | #Constraints: 8807 4.67/4.79 c #Conflicts: 28000 | #Constraints: 9807 4.67/4.79 c #Conflicts: 29000 | #Constraints: 10808 4.67/4.79 c INPROCESSING 4.67/4.79 c GARBAGE COLLECT 4.67/4.79 c rational objective 2.84217e-14 5.77/5.89 c #Conflicts: 30000 | #Constraints: 8214 5.77/5.89 c #Conflicts: 31000 | #Constraints: 9216 5.77/5.89 c #Conflicts: 32000 | #Constraints: 10218 5.77/5.89 c #Conflicts: 33000 | #Constraints: 11218 5.77/5.89 c INPROCESSING 5.77/5.89 c GARBAGE COLLECT 5.77/5.89 c rational objective 0.467543 6.37/6.45 c #Conflicts: 34000 | #Constraints: 8427 6.37/6.45 c #Conflicts: 35000 | #Constraints: 9427 6.37/6.45 c #Conflicts: 36000 | #Constraints: 10427 6.37/6.45 c #Conflicts: 37000 | #Constraints: 11429 6.37/6.45 c INPROCESSING 6.37/6.45 c GARBAGE COLLECT 6.37/6.45 c rational objective 0.487911 9.15/9.23 c #Conflicts: 38000 | #Constraints: 8443 9.15/9.23 c #Conflicts: 39000 | #Constraints: 9444 9.15/9.23 c #Conflicts: 40000 | #Constraints: 10444 9.15/9.23 c #Conflicts: 41000 | #Constraints: 11445 9.15/9.23 c INPROCESSING 9.15/9.23 c GARBAGE COLLECT 9.15/9.23 c #Conflicts: 42000 | #Constraints: 8241 9.15/9.23 c #Conflicts: 43000 | #Constraints: 9242 9.15/9.23 c #Conflicts: 44000 | #Constraints: 10243 9.15/9.23 c #Conflicts: 45000 | #Constraints: 11243 9.15/9.23 c #Conflicts: 46000 | #Constraints: 12244 9.15/9.23 c INPROCESSING 9.15/9.23 c GARBAGE COLLECT 9.15/9.23 c rational objective 0.487911 9.86/9.93 c #Conflicts: 47000 | #Constraints: 8842 9.86/9.93 c #Conflicts: 48000 | #Constraints: 9842 9.86/9.93 c #Conflicts: 49000 | #Constraints: 10842 9.86/9.93 c #Conflicts: 50000 | #Constraints: 11843 9.86/9.93 c #Conflicts: 51000 | #Constraints: 12845 9.86/9.93 c INPROCESSING 9.86/9.93 c GARBAGE COLLECT 9.86/9.93 c rational objective 0.512307 10.55/10.65 c #Conflicts: 52000 | #Constraints: 9259 10.55/10.65 c #Conflicts: 53000 | #Constraints: 10259 10.55/10.65 c #Conflicts: 54000 | #Constraints: 11260 10.55/10.65 c #Conflicts: 55000 | #Constraints: 12261 10.55/10.65 c #Conflicts: 56000 | #Constraints: 13263 10.55/10.65 c INPROCESSING 10.55/10.65 c GARBAGE COLLECT 10.55/10.65 c rational objective 0.513333 12.15/12.24 c #Conflicts: 57000 | #Constraints: 9450 12.15/12.24 c #Conflicts: 58000 | #Constraints: 10450 12.15/12.24 c #Conflicts: 59000 | #Constraints: 11452 12.15/12.24 c #Conflicts: 60000 | #Constraints: 12452 12.15/12.24 c #Conflicts: 61000 | #Constraints: 13452 12.15/12.24 c INPROCESSING 12.15/12.24 c GARBAGE COLLECT 12.15/12.24 c rational objective 0.513333 14.64/14.77 c #Conflicts: 62000 | #Constraints: 9488 14.64/14.77 c #Conflicts: 63000 | #Constraints: 10489 14.64/14.77 c #Conflicts: 64000 | #Constraints: 11489 14.64/14.77 c #Conflicts: 65000 | #Constraints: 12490 14.64/14.77 c #Conflicts: 66000 | #Constraints: 13490 14.64/14.77 c INPROCESSING 14.64/14.77 c GARBAGE COLLECT 14.64/14.77 c rational objective 0.513333 15.94/16.02 c #Conflicts: 67000 | #Constraints: 9305 15.94/16.02 c #Conflicts: 68000 | #Constraints: 10306 15.94/16.02 c #Conflicts: 69000 | #Constraints: 11306 15.94/16.02 c #Conflicts: 70000 | #Constraints: 12307 15.94/16.02 c #Conflicts: 71000 | #Constraints: 13308 15.94/16.02 c #Conflicts: 72000 | #Constraints: 14308 15.94/16.02 c INPROCESSING 15.94/16.02 c GARBAGE COLLECT 15.94/16.02 c rational objective 0.513333 17.13/17.21 c #Conflicts: 73000 | #Constraints: 9885 17.13/17.21 c #Conflicts: 74000 | #Constraints: 10885 17.13/17.21 c #Conflicts: 75000 | #Constraints: 11885 17.13/17.21 c #Conflicts: 76000 | #Constraints: 12886 17.13/17.21 c #Conflicts: 77000 | #Constraints: 13887 17.13/17.21 c #Conflicts: 78000 | #Constraints: 14888 17.13/17.21 c INPROCESSING 17.13/17.21 c GARBAGE COLLECT 17.13/17.21 c rational objective 0.513333 18.23/18.39 c #Conflicts: 79000 | #Constraints: 10299 18.23/18.39 c #Conflicts: 80000 | #Constraints: 11299 18.23/18.39 c #Conflicts: 81000 | #Constraints: 12299 18.23/18.39 c #Conflicts: 82000 | #Constraints: 13300 18.23/18.39 c #Conflicts: 83000 | #Constraints: 14302 18.23/18.39 c #Conflicts: 84000 | #Constraints: 15302 18.23/18.39 c INPROCESSING 18.23/18.39 c GARBAGE COLLECT 18.23/18.39 c rational objective 0.513333 19.93/20.03 c #Conflicts: 85000 | #Constraints: 10502 19.93/20.03 c #Conflicts: 86000 | #Constraints: 11503 19.93/20.03 c #Conflicts: 87000 | #Constraints: 12504 19.93/20.03 c #Conflicts: 88000 | #Constraints: 13505 19.93/20.03 c #Conflicts: 89000 | #Constraints: 14507 19.93/20.03 c #Conflicts: 90000 | #Constraints: 15508 19.93/20.03 c INPROCESSING 19.93/20.03 c GARBAGE COLLECT 19.93/20.03 c rational objective 0.519856 22.32/22.44 c #Conflicts: 91000 | #Constraints: 10530 22.32/22.44 c #Conflicts: 92000 | #Constraints: 11530 22.32/22.44 c #Conflicts: 93000 | #Constraints: 12531 22.32/22.44 c #Conflicts: 94000 | #Constraints: 13532 22.32/22.44 c #Conflicts: 95000 | #Constraints: 14533 22.32/22.44 c #Conflicts: 96000 | #Constraints: 15533 22.32/22.44 c INPROCESSING 22.32/22.44 c GARBAGE COLLECT 22.32/22.44 c rational objective 0.528554 24.11/24.28 c #Conflicts: 97000 | #Constraints: 10328 24.11/24.28 c #Conflicts: 98000 | #Constraints: 11329 24.11/24.28 c #Conflicts: 99000 | #Constraints: 12331 24.11/24.28 c #Conflicts: 100000 | #Constraints: 13333 24.11/24.28 c #Conflicts: 101000 | #Constraints: 14334 24.11/24.28 c #Conflicts: 102000 | #Constraints: 15336 24.11/24.28 c #Conflicts: 103000 | #Constraints: 16336 24.11/24.28 c INPROCESSING 24.11/24.28 c GARBAGE COLLECT 24.11/24.28 c rational objective 0.528554 25.31/25.49 c #Conflicts: 104000 | #Constraints: 10941 25.31/25.49 c #Conflicts: 105000 | #Constraints: 11941 25.31/25.49 c #Conflicts: 106000 | #Constraints: 12941 25.31/25.49 c #Conflicts: 107000 | #Constraints: 13941 25.31/25.49 c #Conflicts: 108000 | #Constraints: 14942 25.31/25.49 c #Conflicts: 109000 | #Constraints: 15942 25.31/25.49 c #Conflicts: 110000 | #Constraints: 16942 25.31/25.49 c INPROCESSING 25.31/25.49 c GARBAGE COLLECT 25.31/25.49 c rational objective 0.528554 27.59/27.77 c #Conflicts: 111000 | #Constraints: 11338 27.59/27.77 c #Conflicts: 112000 | #Constraints: 12341 27.59/27.77 c #Conflicts: 113000 | #Constraints: 13342 27.59/27.77 c #Conflicts: 114000 | #Constraints: 14343 27.59/27.77 c #Conflicts: 115000 | #Constraints: 15343 27.59/27.77 c #Conflicts: 116000 | #Constraints: 16344 27.59/27.77 c #Conflicts: 117000 | #Constraints: 17345 27.59/27.77 c INPROCESSING 27.59/27.77 c GARBAGE COLLECT 27.59/27.77 c rational objective 0.528554 28.90/29.07 c #Conflicts: 118000 | #Constraints: 11515 28.90/29.07 c #Conflicts: 119000 | #Constraints: 12515 28.90/29.07 c #Conflicts: 120000 | #Constraints: 13515 28.90/29.07 c #Conflicts: 121000 | #Constraints: 14515 28.90/29.07 c #Conflicts: 122000 | #Constraints: 15516 28.90/29.07 c #Conflicts: 123000 | #Constraints: 16516 28.90/29.07 c #Conflicts: 124000 | #Constraints: 17516 28.90/29.07 c INPROCESSING 28.90/29.07 c GARBAGE COLLECT 28.90/29.07 c rational objective 0.528554 31.29/31.43 c #Conflicts: 125000 | #Constraints: 11503 31.29/31.43 c #Conflicts: 126000 | #Constraints: 12503 31.29/31.43 c #Conflicts: 127000 | #Constraints: 13504 31.29/31.43 c #Conflicts: 128000 | #Constraints: 14504 31.29/31.43 c #Conflicts: 129000 | #Constraints: 15505 31.29/31.43 c #Conflicts: 130000 | #Constraints: 16506 31.29/31.43 c #Conflicts: 131000 | #Constraints: 17506 31.29/31.43 c INPROCESSING 31.29/31.43 c GARBAGE COLLECT 31.29/31.43 c rational objective 0.528554 32.49/32.66 c #Conflicts: 132000 | #Constraints: 11329 32.49/32.66 c #Conflicts: 133000 | #Constraints: 12329 32.49/32.66 c #Conflicts: 134000 | #Constraints: 13330 32.49/32.66 c #Conflicts: 135000 | #Constraints: 14331 32.49/32.66 c #Conflicts: 136000 | #Constraints: 15331 32.49/32.66 c #Conflicts: 137000 | #Constraints: 16332 32.49/32.66 c #Conflicts: 138000 | #Constraints: 17333 32.49/32.66 c #Conflicts: 139000 | #Constraints: 18334 32.49/32.66 c INPROCESSING 32.49/32.66 c GARBAGE COLLECT 32.49/32.66 c rational objective 0.528554 34.28/34.41 c #Conflicts: 140000 | #Constraints: 11928 34.28/34.41 c #Conflicts: 141000 | #Constraints: 12928 34.28/34.41 c #Conflicts: 142000 | #Constraints: 13928 34.28/34.41 c #Conflicts: 143000 | #Constraints: 14928 34.28/34.41 c #Conflicts: 144000 | #Constraints: 15928 34.28/34.41 c #Conflicts: 145000 | #Constraints: 16929 34.28/34.41 c #Conflicts: 146000 | #Constraints: 17930 34.28/34.41 c #Conflicts: 147000 | #Constraints: 18933 34.28/34.41 c INPROCESSING 34.28/34.41 c GARBAGE COLLECT 34.28/34.41 c rational objective 0.528554 35.67/35.82 c #Conflicts: 148000 | #Constraints: 12359 35.67/35.82 c #Conflicts: 149000 | #Constraints: 13359 35.67/35.82 c #Conflicts: 150000 | #Constraints: 14359 35.67/35.82 c #Conflicts: 151000 | #Constraints: 15360 35.67/35.82 c #Conflicts: 152000 | #Constraints: 16360 35.67/35.82 c #Conflicts: 153000 | #Constraints: 17360 35.67/35.82 c #Conflicts: 154000 | #Constraints: 18361 35.67/35.82 c #Conflicts: 155000 | #Constraints: 19362 35.67/35.82 c INPROCESSING 35.67/35.82 c GARBAGE COLLECT 35.67/35.82 c rational objective 0.528554 37.67/37.83 c #Conflicts: 156000 | #Constraints: 12570 37.67/37.83 c #Conflicts: 157000 | #Constraints: 13570 37.67/37.83 c #Conflicts: 158000 | #Constraints: 14570 37.67/37.83 c #Conflicts: 159000 | #Constraints: 15571 37.67/37.83 c #Conflicts: 160000 | #Constraints: 16571 37.67/37.83 c #Conflicts: 161000 | #Constraints: 17571 37.67/37.83 c #Conflicts: 162000 | #Constraints: 18573 37.67/37.83 c #Conflicts: 163000 | #Constraints: 19574 37.67/37.83 c INPROCESSING 37.67/37.83 c GARBAGE COLLECT 37.67/37.83 c rational objective 0.528554 39.36/39.52 c #Conflicts: 164000 | #Constraints: 12550 39.36/39.52 c #Conflicts: 165000 | #Constraints: 13550 39.36/39.52 c #Conflicts: 166000 | #Constraints: 14550 39.36/39.52 c #Conflicts: 167000 | #Constraints: 15551 39.36/39.52 c #Conflicts: 168000 | #Constraints: 16553 39.36/39.52 c #Conflicts: 169000 | #Constraints: 17554 39.36/39.52 c #Conflicts: 170000 | #Constraints: 18555 39.36/39.52 c #Conflicts: 171000 | #Constraints: 19555 39.36/39.52 c INPROCESSING 39.36/39.52 c GARBAGE COLLECT 39.36/39.52 c rational objective 0.528554 41.35/41.55 c #Conflicts: 172000 | #Constraints: 12316 41.35/41.55 c #Conflicts: 173000 | #Constraints: 13316 41.35/41.55 c #Conflicts: 174000 | #Constraints: 14316 41.35/41.55 c #Conflicts: 175000 | #Constraints: 15317 41.35/41.55 c #Conflicts: 176000 | #Constraints: 16317 41.35/41.55 c #Conflicts: 177000 | #Constraints: 17318 41.35/41.55 c #Conflicts: 178000 | #Constraints: 18318 41.35/41.55 c #Conflicts: 179000 | #Constraints: 19318 41.35/41.55 c #Conflicts: 180000 | #Constraints: 20319 41.35/41.55 c INPROCESSING 41.35/41.55 c GARBAGE COLLECT 41.35/41.55 c rational objective 0.528554 42.65/42.86 c #Conflicts: 181000 | #Constraints: 12928 42.65/42.86 c #Conflicts: 182000 | #Constraints: 13929 42.65/42.86 c #Conflicts: 183000 | #Constraints: 14930 42.65/42.86 c #Conflicts: 184000 | #Constraints: 15930 42.65/42.86 c #Conflicts: 185000 | #Constraints: 16931 42.65/42.86 c #Conflicts: 186000 | #Constraints: 17932 42.65/42.86 c #Conflicts: 187000 | #Constraints: 18932 42.65/42.86 c #Conflicts: 188000 | #Constraints: 19932 42.65/42.86 c #Conflicts: 189000 | #Constraints: 20932 42.65/42.86 c INPROCESSING 42.65/42.86 c GARBAGE COLLECT 42.65/42.86 c rational objective 0.528554 44.54/44.78 c #Conflicts: 190000 | #Constraints: 13346 44.54/44.78 c #Conflicts: 191000 | #Constraints: 14346 44.54/44.78 c #Conflicts: 192000 | #Constraints: 15346 44.54/44.78 c #Conflicts: 193000 | #Constraints: 16347 44.54/44.78 c #Conflicts: 194000 | #Constraints: 17348 44.54/44.78 c #Conflicts: 195000 | #Constraints: 18348 44.54/44.78 c #Conflicts: 196000 | #Constraints: 19348 44.54/44.78 c #Conflicts: 197000 | #Constraints: 20348 44.54/44.78 c #Conflicts: 198000 | #Constraints: 21351 44.54/44.78 c INPROCESSING 44.54/44.78 c GARBAGE COLLECT 44.54/44.78 c rational objective 0.528554 48.84/49.06 c #Conflicts: 199000 | #Constraints: 13548 48.84/49.06 c #Conflicts: 200000 | #Constraints: 14548 48.84/49.06 c #Conflicts: 201000 | #Constraints: 15548 48.84/49.06 c #Conflicts: 202000 | #Constraints: 16548 48.84/49.06 c #Conflicts: 203000 | #Constraints: 17549 48.84/49.06 c #Conflicts: 204000 | #Constraints: 18549 48.84/49.06 c #Conflicts: 205000 | #Constraints: 19549 48.84/49.06 c #Conflicts: 206000 | #Constraints: 20549 48.84/49.06 c #Conflicts: 207000 | #Constraints: 21553 48.84/49.06 c INPROCESSING 48.84/49.06 c GARBAGE COLLECT 48.84/49.06 c rational objective 0.528554 62.39/62.61 c #Conflicts: 208000 | #Constraints: 13593 62.39/62.61 c #Conflicts: 209000 | #Constraints: 14593 62.39/62.61 c #Conflicts: 210000 | #Constraints: 15594 62.39/62.61 c #Conflicts: 211000 | #Constraints: 16594 62.39/62.61 c #Conflicts: 212000 | #Constraints: 17594 62.39/62.61 c #Conflicts: 213000 | #Constraints: 18595 62.39/62.61 c #Conflicts: 214000 | #Constraints: 19596 62.39/62.61 c #Conflicts: 215000 | #Constraints: 20596 62.39/62.61 c #Conflicts: 216000 | #Constraints: 21596 62.39/62.61 c INPROCESSING 62.39/62.61 c GARBAGE COLLECT 62.39/62.61 c rational objective 0.528554 64.68/64.95 c #Conflicts: 217000 | #Constraints: 13395 64.68/64.95 c #Conflicts: 218000 | #Constraints: 14396 64.68/64.95 c #Conflicts: 219000 | #Constraints: 15397 64.68/64.95 c #Conflicts: 220000 | #Constraints: 16398 64.68/64.95 c #Conflicts: 221000 | #Constraints: 17399 64.68/64.95 c #Conflicts: 222000 | #Constraints: 18399 64.68/64.95 c #Conflicts: 223000 | #Constraints: 19399 64.68/64.95 c #Conflicts: 224000 | #Constraints: 20400 64.68/64.95 c #Conflicts: 225000 | #Constraints: 21400 64.68/64.95 c #Conflicts: 226000 | #Constraints: 22400 64.68/64.95 c INPROCESSING 64.68/64.95 c GARBAGE COLLECT 64.68/64.95 c rational objective 0.528554 66.38/66.67 c #Conflicts: 227000 | #Constraints: 13973 66.38/66.67 c #Conflicts: 228000 | #Constraints: 14973 66.38/66.67 c #Conflicts: 229000 | #Constraints: 15973 66.38/66.67 c #Conflicts: 230000 | #Constraints: 16973 66.38/66.67 c #Conflicts: 231000 | #Constraints: 17974 66.38/66.67 c #Conflicts: 232000 | #Constraints: 18975 66.38/66.67 c #Conflicts: 233000 | #Constraints: 19975 66.38/66.67 c #Conflicts: 234000 | #Constraints: 20975 66.38/66.67 c #Conflicts: 235000 | #Constraints: 21975 66.38/66.67 c #Conflicts: 236000 | #Constraints: 22975 66.38/66.67 c INPROCESSING 66.38/66.67 c GARBAGE COLLECT 66.38/66.67 c rational objective 0.528554 68.77/69.09 c #Conflicts: 237000 | #Constraints: 14366 68.77/69.09 c #Conflicts: 238000 | #Constraints: 15366 68.77/69.09 c #Conflicts: 239000 | #Constraints: 16367 68.77/69.09 c #Conflicts: 240000 | #Constraints: 17367 68.77/69.09 c #Conflicts: 241000 | #Constraints: 18367 68.77/69.09 c #Conflicts: 242000 | #Constraints: 19368 68.77/69.09 c #Conflicts: 243000 | #Constraints: 20370 68.77/69.09 c #Conflicts: 244000 | #Constraints: 21371 68.77/69.09 c #Conflicts: 245000 | #Constraints: 22371 68.77/69.09 c #Conflicts: 246000 | #Constraints: 23371 68.77/69.09 c INPROCESSING 68.77/69.09 c GARBAGE COLLECT 68.77/69.09 c rational objective 0.528554 71.26/71.51 c #Conflicts: 247000 | #Constraints: 14587 71.26/71.51 c #Conflicts: 248000 | #Constraints: 15587 71.26/71.51 c #Conflicts: 249000 | #Constraints: 16588 71.26/71.51 c #Conflicts: 250000 | #Constraints: 17589 71.26/71.51 c #Conflicts: 251000 | #Constraints: 18589 71.26/71.51 c #Conflicts: 252000 | #Constraints: 19589 71.26/71.51 c #Conflicts: 253000 | #Constraints: 20589 71.26/71.51 c #Conflicts: 254000 | #Constraints: 21590 71.26/71.51 c #Conflicts: 255000 | #Constraints: 22592 71.26/71.51 c #Conflicts: 256000 | #Constraints: 23592 71.26/71.51 c INPROCESSING 71.26/71.51 c GARBAGE COLLECT 71.26/71.51 c rational objective 0.528554 74.35/74.63 c #Conflicts: 257000 | #Constraints: 14565 74.35/74.63 c #Conflicts: 258000 | #Constraints: 15565 74.35/74.63 c #Conflicts: 259000 | #Constraints: 16566 74.35/74.63 c #Conflicts: 260000 | #Constraints: 17567 74.35/74.63 c #Conflicts: 261000 | #Constraints: 18568 74.35/74.63 c #Conflicts: 262000 | #Constraints: 19568 74.35/74.63 c #Conflicts: 263000 | #Constraints: 20568 74.35/74.63 c #Conflicts: 264000 | #Constraints: 21568 74.35/74.63 c #Conflicts: 265000 | #Constraints: 22568 74.35/74.63 c #Conflicts: 266000 | #Constraints: 23568 74.35/74.63 c INPROCESSING 74.35/74.63 c GARBAGE COLLECT 74.35/74.63 c rational objective 0.528554 78.14/78.43 c #Conflicts: 267000 | #Constraints: 14361 78.14/78.43 c #Conflicts: 268000 | #Constraints: 15361 78.14/78.43 c #Conflicts: 269000 | #Constraints: 16362 78.14/78.43 c #Conflicts: 270000 | #Constraints: 17362 78.14/78.43 c #Conflicts: 271000 | #Constraints: 18363 78.14/78.43 c #Conflicts: 272000 | #Constraints: 19363 78.14/78.43 c #Conflicts: 273000 | #Constraints: 20363 78.14/78.43 c #Conflicts: 274000 | #Constraints: 21363 78.14/78.43 c #Conflicts: 275000 | #Constraints: 22363 78.14/78.43 c #Conflicts: 276000 | #Constraints: 23364 78.14/78.43 c #Conflicts: 277000 | #Constraints: 24364 78.14/78.43 c INPROCESSING 78.14/78.43 c GARBAGE COLLECT 78.14/78.43 c rational objective 0.528554 80.43/80.72 c #Conflicts: 278000 | #Constraints: 14960 80.43/80.72 c #Conflicts: 279000 | #Constraints: 15960 80.43/80.72 c #Conflicts: 280000 | #Constraints: 16961 80.43/80.72 c #Conflicts: 281000 | #Constraints: 17962 80.43/80.72 c #Conflicts: 282000 | #Constraints: 18962 80.43/80.72 c #Conflicts: 283000 | #Constraints: 19962 80.43/80.72 c #Conflicts: 284000 | #Constraints: 20963 80.43/80.72 c #Conflicts: 285000 | #Constraints: 21966 80.43/80.72 c #Conflicts: 286000 | #Constraints: 22966 80.43/80.72 c #Conflicts: 287000 | #Constraints: 23966 80.43/80.72 c #Conflicts: 288000 | #Constraints: 24966 80.43/80.72 c INPROCESSING 80.43/80.72 c GARBAGE COLLECT 80.43/80.72 c rational objective 0.528854 82.83/83.15 c #Conflicts: 289000 | #Constraints: 15382 82.83/83.15 c #Conflicts: 290000 | #Constraints: 16383 82.83/83.15 c #Conflicts: 291000 | #Constraints: 17384 82.83/83.15 c #Conflicts: 292000 | #Constraints: 18384 82.83/83.15 c #Conflicts: 293000 | #Constraints: 19384 82.83/83.15 c #Conflicts: 294000 | #Constraints: 20385 82.83/83.15 c #Conflicts: 295000 | #Constraints: 21385 82.83/83.15 c #Conflicts: 296000 | #Constraints: 22385 82.83/83.15 c #Conflicts: 297000 | #Constraints: 23385 82.83/83.15 c #Conflicts: 298000 | #Constraints: 24385 82.83/83.15 c #Conflicts: 299000 | #Constraints: 25386 82.83/83.15 c INPROCESSING 82.83/83.15 c GARBAGE COLLECT 82.83/83.15 c rational objective 0.528854 85.01/85.34 c #Conflicts: 300000 | #Constraints: 15554 85.01/85.34 c #Conflicts: 301000 | #Constraints: 16555 85.01/85.34 c #Conflicts: 302000 | #Constraints: 17556 85.01/85.34 c #Conflicts: 303000 | #Constraints: 18556 85.01/85.34 c #Conflicts: 304000 | #Constraints: 19556 85.01/85.34 c #Conflicts: 305000 | #Constraints: 20556 85.01/85.34 c #Conflicts: 306000 | #Constraints: 21556 85.01/85.34 c #Conflicts: 307000 | #Constraints: 22557 85.01/85.34 c #Conflicts: 308000 | #Constraints: 23558 85.01/85.34 c #Conflicts: 309000 | #Constraints: 24558 85.01/85.34 c #Conflicts: 310000 | #Constraints: 25558 85.01/85.34 c INPROCESSING 85.01/85.34 c GARBAGE COLLECT 85.01/85.34 c rational objective 0.528854 91.70/92.08 c #Conflicts: 311000 | #Constraints: 15564 91.70/92.08 c #Conflicts: 312000 | #Constraints: 16564 91.70/92.08 c #Conflicts: 313000 | #Constraints: 17564 91.70/92.08 c #Conflicts: 314000 | #Constraints: 18564 91.70/92.08 c #Conflicts: 315000 | #Constraints: 19567 91.70/92.08 c #Conflicts: 316000 | #Constraints: 20567 91.70/92.08 c #Conflicts: 317000 | #Constraints: 21567 91.70/92.08 c #Conflicts: 318000 | #Constraints: 22567 91.70/92.08 c #Conflicts: 319000 | #Constraints: 23567 91.70/92.08 c #Conflicts: 320000 | #Constraints: 24567 91.70/92.08 c #Conflicts: 321000 | #Constraints: 25567 91.70/92.08 c INPROCESSING 91.70/92.08 c GARBAGE COLLECT 91.70/92.08 c rational objective 0.528854 95.39/95.79 c #Conflicts: 322000 | #Constraints: 15383 95.39/95.79 c #Conflicts: 323000 | #Constraints: 16383 95.39/95.79 c #Conflicts: 324000 | #Constraints: 17385 95.39/95.79 c #Conflicts: 325000 | #Constraints: 18386 95.39/95.79 c #Conflicts: 326000 | #Constraints: 19387 95.39/95.79 c #Conflicts: 327000 | #Constraints: 20387 95.39/95.79 c #Conflicts: 328000 | #Constraints: 21387 95.39/95.79 c #Conflicts: 329000 | #Constraints: 22388 95.39/95.79 c #Conflicts: 330000 | #Constraints: 23388 95.39/95.79 c #Conflicts: 331000 | #Constraints: 24388 95.39/95.79 c #Conflicts: 332000 | #Constraints: 25388 95.39/95.79 c #Conflicts: 333000 | #Constraints: 26388 95.39/95.79 c INPROCESSING 95.39/95.79 c GARBAGE COLLECT 95.39/95.79 c rational objective 0.528854 99.47/99.86 c #Conflicts: 334000 | #Constraints: 15990 99.47/99.86 c #Conflicts: 335000 | #Constraints: 16990 99.47/99.86 c #Conflicts: 336000 | #Constraints: 17990 99.47/99.86 c #Conflicts: 337000 | #Constraints: 18991 99.47/99.86 c #Conflicts: 338000 | #Constraints: 19991 99.47/99.86 c #Conflicts: 339000 | #Constraints: 20991 99.47/99.86 c #Conflicts: 340000 | #Constraints: 21991 99.47/99.86 c #Conflicts: 341000 | #Constraints: 22992 99.47/99.86 c #Conflicts: 342000 | #Constraints: 23992 99.47/99.86 c #Conflicts: 343000 | #Constraints: 24992 99.47/99.86 c #Conflicts: 344000 | #Constraints: 25993 99.47/99.86 c #Conflicts: 345000 | #Constraints: 26994 99.47/99.86 c INPROCESSING 99.47/99.86 c GARBAGE COLLECT 99.47/99.86 c rational objective 0.528889 102.17/102.54 c #Conflicts: 346000 | #Constraints: 16371 102.17/102.54 c #Conflicts: 347000 | #Constraints: 17371 102.17/102.54 c #Conflicts: 348000 | #Constraints: 18371 102.17/102.54 c #Conflicts: 349000 | #Constraints: 19371 102.17/102.54 c #Conflicts: 350000 | #Constraints: 20371 102.17/102.54 c #Conflicts: 351000 | #Constraints: 21371 102.17/102.54 c #Conflicts: 352000 | #Constraints: 22373 102.17/102.54 c #Conflicts: 353000 | #Constraints: 23375 102.17/102.54 c #Conflicts: 354000 | #Constraints: 24375 102.17/102.54 c #Conflicts: 355000 | #Constraints: 25375 102.17/102.54 c #Conflicts: 356000 | #Constraints: 26375 102.17/102.54 c #Conflicts: 357000 | #Constraints: 27375 102.17/102.54 c INPROCESSING 102.17/102.54 c GARBAGE COLLECT 102.17/102.54 c rational objective 0.528889 105.45/105.85 c #Conflicts: 358000 | #Constraints: 16596 105.45/105.85 c #Conflicts: 359000 | #Constraints: 17596 105.45/105.85 c #Conflicts: 360000 | #Constraints: 18596 105.45/105.85 c #Conflicts: 361000 | #Constraints: 19596 105.45/105.85 c #Conflicts: 362000 | #Constraints: 20597 105.45/105.85 c #Conflicts: 363000 | #Constraints: 21599 105.45/105.85 c #Conflicts: 364000 | #Constraints: 22600 105.45/105.85 c #Conflicts: 365000 | #Constraints: 23601 105.45/105.85 c #Conflicts: 366000 | #Constraints: 24602 105.45/105.85 c #Conflicts: 367000 | #Constraints: 25602 105.45/105.85 c #Conflicts: 368000 | #Constraints: 26603 105.45/105.85 c #Conflicts: 369000 | #Constraints: 27603 105.45/105.85 c INPROCESSING 105.45/105.85 c GARBAGE COLLECT 105.45/105.85 c rational objective 0.528889 109.64/110.07 c #Conflicts: 370000 | #Constraints: 16604 109.64/110.07 c #Conflicts: 371000 | #Constraints: 17604 109.64/110.07 c #Conflicts: 372000 | #Constraints: 18604 109.64/110.07 c #Conflicts: 373000 | #Constraints: 19606 109.64/110.07 c #Conflicts: 374000 | #Constraints: 20606 109.64/110.07 c #Conflicts: 375000 | #Constraints: 21607 109.64/110.07 c #Conflicts: 376000 | #Constraints: 22608 109.64/110.07 c #Conflicts: 377000 | #Constraints: 23609 109.64/110.07 c #Conflicts: 378000 | #Constraints: 24609 109.64/110.07 c #Conflicts: 379000 | #Constraints: 25609 109.64/110.07 c #Conflicts: 380000 | #Constraints: 26609 109.64/110.07 c #Conflicts: 381000 | #Constraints: 27611 109.64/110.07 c INPROCESSING 109.64/110.07 c GARBAGE COLLECT 109.64/110.07 c rational objective 0.528889 113.22/113.63 c #Conflicts: 382000 | #Constraints: 16375 113.22/113.63 c #Conflicts: 383000 | #Constraints: 17376 113.22/113.63 c #Conflicts: 384000 | #Constraints: 18376 113.22/113.63 c #Conflicts: 385000 | #Constraints: 19377 113.22/113.63 c #Conflicts: 386000 | #Constraints: 20377 113.22/113.63 c #Conflicts: 387000 | #Constraints: 21378 113.22/113.63 c #Conflicts: 388000 | #Constraints: 22378 113.22/113.63 c #Conflicts: 389000 | #Constraints: 23378 113.22/113.63 c #Conflicts: 390000 | #Constraints: 24380 113.22/113.63 c #Conflicts: 391000 | #Constraints: 25381 113.22/113.63 c #Conflicts: 392000 | #Constraints: 26381 113.22/113.63 c #Conflicts: 393000 | #Constraints: 27381 113.22/113.63 c #Conflicts: 394000 | #Constraints: 28381 113.22/113.63 c INPROCESSING 113.22/113.63 c GARBAGE COLLECT 113.22/113.63 c rational objective 0.528889 119.61/120.09 c #Conflicts: 395000 | #Constraints: 16968 119.61/120.09 c #Conflicts: 396000 | #Constraints: 17968 119.61/120.09 c #Conflicts: 397000 | #Constraints: 18968 119.61/120.09 c #Conflicts: 398000 | #Constraints: 19970 119.61/120.09 c #Conflicts: 399000 | #Constraints: 20970 119.61/120.09 c #Conflicts: 400000 | #Constraints: 21971 119.61/120.09 c #Conflicts: 401000 | #Constraints: 22971 119.61/120.09 c #Conflicts: 402000 | #Constraints: 23972 119.61/120.09 c #Conflicts: 403000 | #Constraints: 24972 119.61/120.09 c #Conflicts: 404000 | #Constraints: 25973 119.61/120.09 c #Conflicts: 405000 | #Constraints: 26973 119.61/120.09 c #Conflicts: 406000 | #Constraints: 27973 119.61/120.09 c #Conflicts: 407000 | #Constraints: 28974 119.61/120.09 c INPROCESSING 119.61/120.09 c GARBAGE COLLECT 119.61/120.09 c rational objective 0.528889 127.08/127.58 c #Conflicts: 408000 | #Constraints: 17376 127.08/127.58 c #Conflicts: 409000 | #Constraints: 18376 127.08/127.58 c #Conflicts: 410000 | #Constraints: 19376 127.08/127.58 c #Conflicts: 411000 | #Constraints: 20376 127.08/127.58 c #Conflicts: 412000 | #Constraints: 21377 127.08/127.58 c #Conflicts: 413000 | #Constraints: 22377 127.08/127.58 c #Conflicts: 414000 | #Constraints: 23377 127.08/127.58 c #Conflicts: 415000 | #Constraints: 24377 127.08/127.58 c #Conflicts: 416000 | #Constraints: 25377 127.08/127.58 c #Conflicts: 417000 | #Constraints: 26377 127.08/127.58 c #Conflicts: 418000 | #Constraints: 27377 127.08/127.58 c #Conflicts: 419000 | #Constraints: 28377 127.08/127.58 c #Conflicts: 420000 | #Constraints: 29377 127.08/127.58 c INPROCESSING 127.08/127.58 c GARBAGE COLLECT 127.08/127.58 c rational objective 0.528889 161.96/162.57 c #Conflicts: 421000 | #Constraints: 17633 161.96/162.57 c #Conflicts: 422000 | #Constraints: 18633 161.96/162.57 c #Conflicts: 423000 | #Constraints: 19633 161.96/162.57 c #Conflicts: 424000 | #Constraints: 20633 161.96/162.57 c #Conflicts: 425000 | #Constraints: 21633 161.96/162.57 c #Conflicts: 426000 | #Constraints: 22633 161.96/162.57 c #Conflicts: 427000 | #Constraints: 23633 161.96/162.57 c #Conflicts: 428000 | #Constraints: 24633 161.96/162.57 c #Conflicts: 429000 | #Constraints: 25633 161.96/162.57 c #Conflicts: 430000 | #Constraints: 26633 161.96/162.57 c #Conflicts: 431000 | #Constraints: 27633 161.96/162.57 c #Conflicts: 432000 | #Constraints: 28633 161.96/162.57 c #Conflicts: 433000 | #Constraints: 29633 161.96/162.57 c INPROCESSING 161.96/162.57 c GARBAGE COLLECT 161.96/162.57 c rational objective 0.528889 175.53/176.18 c #Conflicts: 434000 | #Constraints: 17638 175.53/176.18 c #Conflicts: 435000 | #Constraints: 18639 175.53/176.18 c #Conflicts: 436000 | #Constraints: 19641 175.53/176.18 c #Conflicts: 437000 | #Constraints: 20641 175.53/176.18 c #Conflicts: 438000 | #Constraints: 21641 175.53/176.18 c #Conflicts: 439000 | #Constraints: 22641 175.53/176.18 c #Conflicts: 440000 | #Constraints: 23642 175.53/176.18 c #Conflicts: 441000 | #Constraints: 24642 175.53/176.18 c #Conflicts: 442000 | #Constraints: 25642 175.53/176.18 c #Conflicts: 443000 | #Constraints: 26642 175.53/176.18 c #Conflicts: 444000 | #Constraints: 27642 175.53/176.18 c #Conflicts: 445000 | #Constraints: 28642 175.53/176.18 c #Conflicts: 446000 | #Constraints: 29642 175.53/176.18 c INPROCESSING 175.53/176.18 c GARBAGE COLLECT 175.53/176.18 c rational objective 0.528889 181.90/182.50 c #Conflicts: 447000 | #Constraints: 17435 181.90/182.50 c #Conflicts: 448000 | #Constraints: 18436 181.90/182.50 c #Conflicts: 449000 | #Constraints: 19437 181.90/182.50 c #Conflicts: 450000 | #Constraints: 20438 181.90/182.50 c #Conflicts: 451000 | #Constraints: 21438 181.90/182.50 c #Conflicts: 452000 | #Constraints: 22438 181.90/182.50 c #Conflicts: 453000 | #Constraints: 23438 181.90/182.50 c #Conflicts: 454000 | #Constraints: 24439 181.90/182.50 c #Conflicts: 455000 | #Constraints: 25439 181.90/182.50 c #Conflicts: 456000 | #Constraints: 26440 181.90/182.50 c #Conflicts: 457000 | #Constraints: 27440 181.90/182.50 c #Conflicts: 458000 | #Constraints: 28441 181.90/182.50 c #Conflicts: 459000 | #Constraints: 29441 181.90/182.50 c #Conflicts: 460000 | #Constraints: 30441 181.90/182.50 c INPROCESSING 181.90/182.50 c GARBAGE COLLECT 181.90/182.50 c rational objective 0.528889 184.50/185.17 c #Conflicts: 461000 | #Constraints: 18066 184.50/185.17 c #Conflicts: 462000 | #Constraints: 19066 184.50/185.17 c #Conflicts: 463000 | #Constraints: 20066 184.50/185.17 c #Conflicts: 464000 | #Constraints: 21067 184.50/185.17 c #Conflicts: 465000 | #Constraints: 22067 184.50/185.17 c #Conflicts: 466000 | #Constraints: 23067 184.50/185.17 c #Conflicts: 467000 | #Constraints: 24067 184.50/185.17 c #Conflicts: 468000 | #Constraints: 25068 184.50/185.17 c #Conflicts: 469000 | #Constraints: 26068 184.50/185.17 c #Conflicts: 470000 | #Constraints: 27068 184.50/185.17 c #Conflicts: 471000 | #Constraints: 28068 184.50/185.17 c #Conflicts: 472000 | #Constraints: 29068 184.50/185.17 c #Conflicts: 473000 | #Constraints: 30068 184.50/185.17 c #Conflicts: 474000 | #Constraints: 31068 184.50/185.17 c INPROCESSING 184.50/185.17 c GARBAGE COLLECT 184.50/185.17 c rational objective 0.528889 187.68/188.38 c #Conflicts: 475000 | #Constraints: 18476 187.68/188.38 c #Conflicts: 476000 | #Constraints: 19476 187.68/188.38 c #Conflicts: 477000 | #Constraints: 20476 187.68/188.38 c #Conflicts: 478000 | #Constraints: 21476 187.68/188.38 c #Conflicts: 479000 | #Constraints: 22476 187.68/188.38 c #Conflicts: 480000 | #Constraints: 23476 187.68/188.38 c #Conflicts: 481000 | #Constraints: 24476 187.68/188.38 c #Conflicts: 482000 | #Constraints: 25476 187.68/188.38 c #Conflicts: 483000 | #Constraints: 26476 187.68/188.38 c #Conflicts: 484000 | #Constraints: 27476 187.68/188.38 c #Conflicts: 485000 | #Constraints: 28476 187.68/188.38 c #Conflicts: 486000 | #Constraints: 29476 187.68/188.38 c #Conflicts: 487000 | #Constraints: 30476 187.68/188.38 c #Conflicts: 488000 | #Constraints: 31476 187.68/188.38 c INPROCESSING 187.68/188.38 c GARBAGE COLLECT 187.68/188.38 c rational objective 0.528889 239.91/240.71 c #Conflicts: 489000 | #Constraints: 18664 239.91/240.71 c #Conflicts: 490000 | #Constraints: 19664 239.91/240.71 c #Conflicts: 491000 | #Constraints: 20664 239.91/240.71 c #Conflicts: 492000 | #Constraints: 21664 239.91/240.71 c #Conflicts: 493000 | #Constraints: 22664 239.91/240.71 c #Conflicts: 494000 | #Constraints: 23664 239.91/240.71 c #Conflicts: 495000 | #Constraints: 24664 239.91/240.71 c #Conflicts: 496000 | #Constraints: 25664 239.91/240.71 c #Conflicts: 497000 | #Constraints: 26664 239.91/240.71 c #Conflicts: 498000 | #Constraints: 27664 239.91/240.71 c #Conflicts: 499000 | #Constraints: 28665 239.91/240.71 c #Conflicts: 500000 | #Constraints: 29665 239.91/240.71 c #Conflicts: 501000 | #Constraints: 30665 239.91/240.71 c #Conflicts: 502000 | #Constraints: 31665 239.91/240.71 c INPROCESSING 239.91/240.71 c GARBAGE COLLECT 239.91/240.71 c rational objective 0.528889 248.08/248.93 c #Conflicts: 503000 | #Constraints: 18683 248.08/248.93 c #Conflicts: 504000 | #Constraints: 19684 248.08/248.93 c #Conflicts: 505000 | #Constraints: 20685 248.08/248.93 c #Conflicts: 506000 | #Constraints: 21685 248.08/248.93 c #Conflicts: 507000 | #Constraints: 22687 248.08/248.93 c #Conflicts: 508000 | #Constraints: 23687 248.08/248.93 c #Conflicts: 509000 | #Constraints: 24687 248.08/248.93 c #Conflicts: 510000 | #Constraints: 25688 248.08/248.93 c #Conflicts: 511000 | #Constraints: 26688 248.08/248.93 c #Conflicts: 512000 | #Constraints: 27690 248.08/248.93 c #Conflicts: 513000 | #Constraints: 28690 248.08/248.93 c #Conflicts: 514000 | #Constraints: 29690 248.08/248.93 c #Conflicts: 515000 | #Constraints: 30690 248.08/248.93 c #Conflicts: 516000 | #Constraints: 31691 248.08/248.93 c INPROCESSING 248.08/248.93 c GARBAGE COLLECT 248.08/248.93 c rational objective 0.528889 255.76/256.65 c #Conflicts: 517000 | #Constraints: 18435 255.76/256.65 c #Conflicts: 518000 | #Constraints: 19435 255.76/256.65 c #Conflicts: 519000 | #Constraints: 20436 255.76/256.65 c #Conflicts: 520000 | #Constraints: 21437 255.76/256.65 c #Conflicts: 521000 | #Constraints: 22439 255.76/256.65 c #Conflicts: 522000 | #Constraints: 23439 255.76/256.65 c #Conflicts: 523000 | #Constraints: 24439 255.76/256.65 c #Conflicts: 524000 | #Constraints: 25439 255.76/256.65 c #Conflicts: 525000 | #Constraints: 26439 255.76/256.65 c #Conflicts: 526000 | #Constraints: 27439 255.76/256.65 c #Conflicts: 527000 | #Constraints: 28439 255.76/256.65 c #Conflicts: 528000 | #Constraints: 29441 255.76/256.65 c #Conflicts: 529000 | #Constraints: 30441 255.76/256.65 c #Conflicts: 530000 | #Constraints: 31442 255.76/256.65 c #Conflicts: 531000 | #Constraints: 32442 255.76/256.65 c INPROCESSING 255.76/256.65 c GARBAGE COLLECT 255.76/256.65 c rational objective 0.528889 260.65/261.57 c #Conflicts: 532000 | #Constraints: 19034 260.65/261.57 c #Conflicts: 533000 | #Constraints: 20034 260.65/261.57 c #Conflicts: 534000 | #Constraints: 21035 260.65/261.57 c #Conflicts: 535000 | #Constraints: 22035 260.65/261.57 c #Conflicts: 536000 | #Constraints: 23035 260.65/261.57 c #Conflicts: 537000 | #Constraints: 24036 260.65/261.57 c #Conflicts: 538000 | #Constraints: 25036 260.65/261.57 c #Conflicts: 539000 | #Constraints: 26038 260.65/261.57 c #Conflicts: 540000 | #Constraints: 27040 260.65/261.57 c #Conflicts: 541000 | #Constraints: 28040 260.65/261.57 c #Conflicts: 542000 | #Constraints: 29040 260.65/261.57 c #Conflicts: 543000 | #Constraints: 30040 260.65/261.57 c #Conflicts: 544000 | #Constraints: 31041 260.65/261.57 c #Conflicts: 545000 | #Constraints: 32042 260.65/261.57 c #Conflicts: 546000 | #Constraints: 33042 260.65/261.57 c INPROCESSING 260.65/261.57 c GARBAGE COLLECT 260.65/261.57 c rational objective 0.528889 268.61/269.58 c #Conflicts: 547000 | #Constraints: 19427 268.61/269.58 c #Conflicts: 548000 | #Constraints: 20428 268.61/269.58 c #Conflicts: 549000 | #Constraints: 21428 268.61/269.58 c #Conflicts: 550000 | #Constraints: 22428 268.61/269.58 c #Conflicts: 551000 | #Constraints: 23429 268.61/269.58 c #Conflicts: 552000 | #Constraints: 24429 268.61/269.58 c #Conflicts: 553000 | #Constraints: 25429 268.61/269.58 c #Conflicts: 554000 | #Constraints: 26429 268.61/269.58 c #Conflicts: 555000 | #Constraints: 27429 268.61/269.58 c #Conflicts: 556000 | #Constraints: 28431 268.61/269.58 c #Conflicts: 557000 | #Constraints: 29431 268.61/269.58 c #Conflicts: 558000 | #Constraints: 30432 268.61/269.58 c #Conflicts: 559000 | #Constraints: 31434 268.61/269.58 c #Conflicts: 560000 | #Constraints: 32434 268.61/269.58 c #Conflicts: 561000 | #Constraints: 33434 268.61/269.58 c INPROCESSING 268.61/269.58 c GARBAGE COLLECT 268.61/269.58 c rational objective 0.528889 276.00/276.92 c #Conflicts: 562000 | #Constraints: 19601 276.00/276.92 c #Conflicts: 563000 | #Constraints: 20601 276.00/276.92 c #Conflicts: 564000 | #Constraints: 21601 276.00/276.92 c #Conflicts: 565000 | #Constraints: 22603 276.00/276.92 c #Conflicts: 566000 | #Constraints: 23603 276.00/276.92 c #Conflicts: 567000 | #Constraints: 24603 276.00/276.92 c #Conflicts: 568000 | #Constraints: 25605 276.00/276.92 c #Conflicts: 569000 | #Constraints: 26605 276.00/276.92 c #Conflicts: 570000 | #Constraints: 27605 276.00/276.92 c #Conflicts: 571000 | #Constraints: 28606 276.00/276.92 c #Conflicts: 572000 | #Constraints: 29606 276.00/276.92 c #Conflicts: 573000 | #Constraints: 30606 276.00/276.92 c #Conflicts: 574000 | #Constraints: 31607 276.00/276.92 c #Conflicts: 575000 | #Constraints: 32608 276.00/276.92 c #Conflicts: 576000 | #Constraints: 33609 276.00/276.92 c INPROCESSING 276.00/276.92 c GARBAGE COLLECT 276.00/276.92 c rational objective 0.528889 283.27/284.28 c #Conflicts: 577000 | #Constraints: 19596 283.27/284.28 c #Conflicts: 578000 | #Constraints: 20597 283.27/284.28 c #Conflicts: 579000 | #Constraints: 21597 283.27/284.28 c #Conflicts: 580000 | #Constraints: 22597 283.27/284.28 c #Conflicts: 581000 | #Constraints: 23598 283.27/284.28 c #Conflicts: 582000 | #Constraints: 24598 283.27/284.28 c #Conflicts: 583000 | #Constraints: 25598 283.27/284.28 c #Conflicts: 584000 | #Constraints: 26598 283.27/284.28 c #Conflicts: 585000 | #Constraints: 27598 283.27/284.28 c #Conflicts: 586000 | #Constraints: 28598 283.27/284.28 c #Conflicts: 587000 | #Constraints: 29599 283.27/284.28 c #Conflicts: 588000 | #Constraints: 30600 283.27/284.28 c #Conflicts: 589000 | #Constraints: 31600 283.27/284.28 c #Conflicts: 590000 | #Constraints: 32600 283.27/284.28 c #Conflicts: 591000 | #Constraints: 33600 283.27/284.28 c INPROCESSING 283.27/284.28 c GARBAGE COLLECT 283.27/284.28 c rational objective 0.528889 296.93/297.92 c #Conflicts: 592000 | #Constraints: 19424 296.93/297.92 c #Conflicts: 593000 | #Constraints: 20424 296.93/297.92 c #Conflicts: 594000 | #Constraints: 21424 296.93/297.92 c #Conflicts: 595000 | #Constraints: 22424 296.93/297.92 c #Conflicts: 596000 | #Constraints: 23424 296.93/297.92 c #Conflicts: 597000 | #Constraints: 24424 296.93/297.92 c #Conflicts: 598000 | #Constraints: 25424 296.93/297.92 c #Conflicts: 599000 | #Constraints: 26424 296.93/297.92 c #Conflicts: 600000 | #Constraints: 27424 296.93/297.92 c #Conflicts: 601000 | #Constraints: 28424 296.93/297.92 c #Conflicts: 602000 | #Constraints: 29424 296.93/297.92 c #Conflicts: 603000 | #Constraints: 30425 296.93/297.92 c #Conflicts: 604000 | #Constraints: 31426 296.93/297.92 c #Conflicts: 605000 | #Constraints: 32427 296.93/297.92 c #Conflicts: 606000 | #Constraints: 33427 296.93/297.92 c #Conflicts: 607000 | #Constraints: 34427 296.93/297.92 c INPROCESSING 296.93/297.92 c GARBAGE COLLECT 296.93/297.92 c rational objective 0.528889 302.91/303.98 c #Conflicts: 608000 | #Constraints: 20014 302.91/303.98 c #Conflicts: 609000 | #Constraints: 21014 302.91/303.98 c #Conflicts: 610000 | #Constraints: 22014 302.91/303.98 c #Conflicts: 611000 | #Constraints: 23014 302.91/303.98 c #Conflicts: 612000 | #Constraints: 24014 302.91/303.98 c #Conflicts: 613000 | #Constraints: 25015 302.91/303.98 c #Conflicts: 614000 | #Constraints: 26015 302.91/303.98 c #Conflicts: 615000 | #Constraints: 27015 302.91/303.98 c #Conflicts: 616000 | #Constraints: 28016 302.91/303.98 c #Conflicts: 617000 | #Constraints: 29017 302.91/303.98 c #Conflicts: 618000 | #Constraints: 30019 302.91/303.98 c #Conflicts: 619000 | #Constraints: 31019 302.91/303.98 c #Conflicts: 620000 | #Constraints: 32019 302.91/303.98 c #Conflicts: 621000 | #Constraints: 33019 302.91/303.98 c #Conflicts: 622000 | #Constraints: 34019 302.91/303.98 c #Conflicts: 623000 | #Constraints: 35019 302.91/303.98 c INPROCESSING 302.91/303.98 c GARBAGE COLLECT 302.91/303.98 c rational objective 0.528889 307.29/308.39 c #Conflicts: 624000 | #Constraints: 20412 307.29/308.39 c #Conflicts: 625000 | #Constraints: 21412 307.29/308.39 c #Conflicts: 626000 | #Constraints: 22414 307.29/308.39 c #Conflicts: 627000 | #Constraints: 23414 307.29/308.39 c #Conflicts: 628000 | #Constraints: 24415 307.29/308.39 c #Conflicts: 629000 | #Constraints: 25416 307.29/308.39 c #Conflicts: 630000 | #Constraints: 26416 307.29/308.39 c #Conflicts: 631000 | #Constraints: 27416 307.29/308.39 c #Conflicts: 632000 | #Constraints: 28416 307.29/308.39 c #Conflicts: 633000 | #Constraints: 29416 307.29/308.39 c #Conflicts: 634000 | #Constraints: 30416 307.29/308.39 c #Conflicts: 635000 | #Constraints: 31417 307.29/308.39 c #Conflicts: 636000 | #Constraints: 32418 307.29/308.39 c #Conflicts: 637000 | #Constraints: 33418 307.29/308.39 c #Conflicts: 638000 | #Constraints: 34418 307.29/308.39 c #Conflicts: 639000 | #Constraints: 35418 307.29/308.39 c INPROCESSING 307.29/308.39 c GARBAGE COLLECT 307.29/308.39 c rational objective 0.528889 314.67/315.74 c #Conflicts: 640000 | #Constraints: 20617 314.67/315.74 c #Conflicts: 641000 | #Constraints: 21618 314.67/315.74 c #Conflicts: 642000 | #Constraints: 22618 314.67/315.74 c #Conflicts: 643000 | #Constraints: 23618 314.67/315.74 c #Conflicts: 644000 | #Constraints: 24618 314.67/315.74 c #Conflicts: 645000 | #Constraints: 25618 314.67/315.74 c #Conflicts: 646000 | #Constraints: 26619 314.67/315.74 c #Conflicts: 647000 | #Constraints: 27619 314.67/315.74 c #Conflicts: 648000 | #Constraints: 28620 314.67/315.74 c #Conflicts: 649000 | #Constraints: 29620 314.67/315.74 c #Conflicts: 650000 | #Constraints: 30620 314.67/315.74 c #Conflicts: 651000 | #Constraints: 31620 314.67/315.74 c #Conflicts: 652000 | #Constraints: 32620 314.67/315.74 c #Conflicts: 653000 | #Constraints: 33620 314.67/315.74 c #Conflicts: 654000 | #Constraints: 34621 314.67/315.74 c #Conflicts: 655000 | #Constraints: 35621 314.67/315.74 c INPROCESSING 314.67/315.74 c GARBAGE COLLECT 314.67/315.74 c rational objective 0.528889 320.95/322.08 c #Conflicts: 656000 | #Constraints: 20609 320.95/322.08 c #Conflicts: 657000 | #Constraints: 21609 320.95/322.08 c #Conflicts: 658000 | #Constraints: 22609 320.95/322.08 c #Conflicts: 659000 | #Constraints: 23609 320.95/322.08 c #Conflicts: 660000 | #Constraints: 24609 320.95/322.08 c #Conflicts: 661000 | #Constraints: 25610 320.95/322.08 c #Conflicts: 662000 | #Constraints: 26610 320.95/322.08 c #Conflicts: 663000 | #Constraints: 27611 320.95/322.08 c #Conflicts: 664000 | #Constraints: 28613 320.95/322.08 c #Conflicts: 665000 | #Constraints: 29613 320.95/322.08 c #Conflicts: 666000 | #Constraints: 30613 320.95/322.08 c #Conflicts: 667000 | #Constraints: 31613 320.95/322.08 c #Conflicts: 668000 | #Constraints: 32614 320.95/322.08 c #Conflicts: 669000 | #Constraints: 33614 320.95/322.08 c #Conflicts: 670000 | #Constraints: 34616 320.95/322.08 c #Conflicts: 671000 | #Constraints: 35616 320.95/322.08 c INPROCESSING 320.95/322.08 c GARBAGE COLLECT 320.95/322.08 c rational objective 0.528889 332.91/334.08 c #Conflicts: 672000 | #Constraints: 20411 332.91/334.08 c #Conflicts: 673000 | #Constraints: 21411 332.91/334.08 c #Conflicts: 674000 | #Constraints: 22411 332.91/334.08 c #Conflicts: 675000 | #Constraints: 23411 332.91/334.08 c #Conflicts: 676000 | #Constraints: 24411 332.91/334.08 c #Conflicts: 677000 | #Constraints: 25411 332.91/334.08 c #Conflicts: 678000 | #Constraints: 26411 332.91/334.08 c #Conflicts: 679000 | #Constraints: 27411 332.91/334.08 c #Conflicts: 680000 | #Constraints: 28412 332.91/334.08 c #Conflicts: 681000 | #Constraints: 29413 332.91/334.08 c #Conflicts: 682000 | #Constraints: 30413 332.91/334.08 c #Conflicts: 683000 | #Constraints: 31413 332.91/334.08 c #Conflicts: 684000 | #Constraints: 32413 332.91/334.08 c #Conflicts: 685000 | #Constraints: 33413 332.91/334.08 c #Conflicts: 686000 | #Constraints: 34413 332.91/334.08 c #Conflicts: 687000 | #Constraints: 35413 332.91/334.08 c #Conflicts: 688000 | #Constraints: 36413 332.91/334.08 c INPROCESSING 332.91/334.08 c GARBAGE COLLECT 332.91/334.08 c rational objective 0.528889 348.46/349.63 c #Conflicts: 689000 | #Constraints: 21010 348.46/349.63 c #Conflicts: 690000 | #Constraints: 22011 348.46/349.63 c #Conflicts: 691000 | #Constraints: 23011 348.46/349.63 c #Conflicts: 692000 | #Constraints: 24011 348.46/349.63 c #Conflicts: 693000 | #Constraints: 25011 348.46/349.63 c #Conflicts: 694000 | #Constraints: 26012 348.46/349.63 c #Conflicts: 695000 | #Constraints: 27012 348.46/349.63 c #Conflicts: 696000 | #Constraints: 28012 348.46/349.63 c #Conflicts: 697000 | #Constraints: 29012 348.46/349.63 c #Conflicts: 698000 | #Constraints: 30012 348.46/349.63 c #Conflicts: 699000 | #Constraints: 31012 348.46/349.63 c #Conflicts: 700000 | #Constraints: 32012 348.46/349.63 c #Conflicts: 701000 | #Constraints: 33012 348.46/349.63 c #Conflicts: 702000 | #Constraints: 34012 348.46/349.63 c #Conflicts: 703000 | #Constraints: 35012 348.46/349.63 c #Conflicts: 704000 | #Constraints: 36012 348.46/349.63 c #Conflicts: 705000 | #Constraints: 37012 348.46/349.63 c INPROCESSING 348.46/349.63 c GARBAGE COLLECT 348.46/349.63 c rational objective 0.528889 358.53/359.77 c #Conflicts: 706000 | #Constraints: 21427 358.53/359.77 c #Conflicts: 707000 | #Constraints: 22429 358.53/359.77 c #Conflicts: 708000 | #Constraints: 23429 358.53/359.77 c #Conflicts: 709000 | #Constraints: 24429 358.53/359.77 c #Conflicts: 710000 | #Constraints: 25429 358.53/359.77 c #Conflicts: 711000 | #Constraints: 26429 358.53/359.77 c #Conflicts: 712000 | #Constraints: 27430 358.53/359.77 c #Conflicts: 713000 | #Constraints: 28430 358.53/359.77 c #Conflicts: 714000 | #Constraints: 29430 358.53/359.77 c #Conflicts: 715000 | #Constraints: 30430 358.53/359.77 c #Conflicts: 716000 | #Constraints: 31430 358.53/359.77 c #Conflicts: 717000 | #Constraints: 32430 358.53/359.77 c #Conflicts: 718000 | #Constraints: 33430 358.53/359.77 c #Conflicts: 719000 | #Constraints: 34430 358.53/359.77 c #Conflicts: 720000 | #Constraints: 35430 358.53/359.77 c #Conflicts: 721000 | #Constraints: 36430 358.53/359.77 c #Conflicts: 722000 | #Constraints: 37430 358.53/359.77 c INPROCESSING 358.53/359.77 c GARBAGE COLLECT 358.53/359.77 c rational objective 0.528889 363.31/364.53 c #Conflicts: 723000 | #Constraints: 21676 363.31/364.53 c #Conflicts: 724000 | #Constraints: 22676 363.31/364.53 c #Conflicts: 725000 | #Constraints: 23676 363.31/364.53 c #Conflicts: 726000 | #Constraints: 24676 363.31/364.53 c #Conflicts: 727000 | #Constraints: 25676 363.31/364.53 c #Conflicts: 728000 | #Constraints: 26676 363.31/364.53 c #Conflicts: 729000 | #Constraints: 27677 363.31/364.53 c #Conflicts: 730000 | #Constraints: 28677 363.31/364.53 c #Conflicts: 731000 | #Constraints: 29677 363.31/364.53 c #Conflicts: 732000 | #Constraints: 30677 363.31/364.53 c #Conflicts: 733000 | #Constraints: 31679 363.31/364.53 c #Conflicts: 734000 | #Constraints: 32680 363.31/364.53 c #Conflicts: 735000 | #Constraints: 33681 363.31/364.53 c #Conflicts: 736000 | #Constraints: 34681 363.31/364.53 c #Conflicts: 737000 | #Constraints: 35681 363.31/364.53 c #Conflicts: 738000 | #Constraints: 36681 363.31/364.53 c #Conflicts: 739000 | #Constraints: 37681 363.31/364.53 c INPROCESSING 363.31/364.53 c GARBAGE COLLECT 363.31/364.53 c rational objective 0.528889 377.67/378.99 c #Conflicts: 740000 | #Constraints: 21687 377.67/378.99 c #Conflicts: 741000 | #Constraints: 22687 377.67/378.99 c #Conflicts: 742000 | #Constraints: 23687 377.67/378.99 c #Conflicts: 743000 | #Constraints: 24687 377.67/378.99 c #Conflicts: 744000 | #Constraints: 25687 377.67/378.99 c #Conflicts: 745000 | #Constraints: 26687 377.67/378.99 c #Conflicts: 746000 | #Constraints: 27687 377.67/378.99 c #Conflicts: 747000 | #Constraints: 28688 377.67/378.99 c #Conflicts: 748000 | #Constraints: 29688 377.67/378.99 c #Conflicts: 749000 | #Constraints: 30688 377.67/378.99 c #Conflicts: 750000 | #Constraints: 31688 377.67/378.99 c #Conflicts: 751000 | #Constraints: 32688 377.67/378.99 c #Conflicts: 752000 | #Constraints: 33688 377.67/378.99 c #Conflicts: 753000 | #Constraints: 34688 377.67/378.99 c #Conflicts: 754000 | #Constraints: 35688 377.67/378.99 c #Conflicts: 755000 | #Constraints: 36688 377.67/378.99 c #Conflicts: 756000 | #Constraints: 37688 377.67/378.99 c INPROCESSING 377.67/378.99 c GARBAGE COLLECT 377.67/378.99 c rational objective 0.528889 386.04/387.31 c #Conflicts: 757000 | #Constraints: 21460 386.04/387.31 c #Conflicts: 758000 | #Constraints: 22461 386.04/387.31 c #Conflicts: 759000 | #Constraints: 23461 386.04/387.31 c #Conflicts: 760000 | #Constraints: 24462 386.04/387.31 c #Conflicts: 761000 | #Constraints: 25462 386.04/387.31 c #Conflicts: 762000 | #Constraints: 26462 386.04/387.31 c #Conflicts: 763000 | #Constraints: 27462 386.04/387.31 c #Conflicts: 764000 | #Constraints: 28463 386.04/387.31 c #Conflicts: 765000 | #Constraints: 29463 386.04/387.31 c #Conflicts: 766000 | #Constraints: 30463 386.04/387.31 c #Conflicts: 767000 | #Constraints: 31464 386.04/387.31 c #Conflicts: 768000 | #Constraints: 32464 386.04/387.31 c #Conflicts: 769000 | #Constraints: 33464 386.04/387.31 c #Conflicts: 770000 | #Constraints: 34465 386.04/387.31 c #Conflicts: 771000 | #Constraints: 35466 386.04/387.31 c #Conflicts: 772000 | #Constraints: 36466 386.04/387.31 c #Conflicts: 773000 | #Constraints: 37466 386.04/387.31 c #Conflicts: 774000 | #Constraints: 38466 386.04/387.31 c INPROCESSING 386.04/387.31 c GARBAGE COLLECT 386.04/387.31 c rational objective 1.57391 405.07/406.42 c #Conflicts: 775000 | #Constraints: 22037 405.07/406.42 c #Conflicts: 776000 | #Constraints: 23037 405.07/406.42 c #Conflicts: 777000 | #Constraints: 24037 405.07/406.42 c #Conflicts: 778000 | #Constraints: 25037 405.07/406.42 c #Conflicts: 779000 | #Constraints: 26037 405.07/406.42 c #Conflicts: 780000 | #Constraints: 27037 405.07/406.42 c #Conflicts: 781000 | #Constraints: 28037 405.07/406.42 c #Conflicts: 782000 | #Constraints: 29037 405.07/406.42 c #Conflicts: 783000 | #Constraints: 30037 405.07/406.42 c #Conflicts: 784000 | #Constraints: 31038 405.07/406.42 c #Conflicts: 785000 | #Constraints: 32038 405.07/406.42 c #Conflicts: 786000 | #Constraints: 33038 405.07/406.42 c #Conflicts: 787000 | #Constraints: 34038 405.07/406.42 c #Conflicts: 788000 | #Constraints: 35039 405.07/406.42 c #Conflicts: 789000 | #Constraints: 36039 405.07/406.42 c #Conflicts: 790000 | #Constraints: 37039 405.07/406.42 c #Conflicts: 791000 | #Constraints: 38041 405.07/406.42 c #Conflicts: 792000 | #Constraints: 39041 405.07/406.42 c INPROCESSING 405.07/406.42 c GARBAGE COLLECT 405.07/406.42 c rational objective 1.58748 414.54/415.99 c #Conflicts: 793000 | #Constraints: 22439 414.54/415.99 c #Conflicts: 794000 | #Constraints: 23439 414.54/415.99 c #Conflicts: 795000 | #Constraints: 24439 414.54/415.99 c #Conflicts: 796000 | #Constraints: 25439 414.54/415.99 c #Conflicts: 797000 | #Constraints: 26439 414.54/415.99 c #Conflicts: 798000 | #Constraints: 27439 414.54/415.99 c #Conflicts: 799000 | #Constraints: 28441 414.54/415.99 c #Conflicts: 800000 | #Constraints: 29442 414.54/415.99 c #Conflicts: 801000 | #Constraints: 30442 414.54/415.99 c #Conflicts: 802000 | #Constraints: 31443 414.54/415.99 c #Conflicts: 803000 | #Constraints: 32443 414.54/415.99 c #Conflicts: 804000 | #Constraints: 33443 414.54/415.99 c #Conflicts: 805000 | #Constraints: 34443 414.54/415.99 c #Conflicts: 806000 | #Constraints: 35443 414.54/415.99 c #Conflicts: 807000 | #Constraints: 36445 414.54/415.99 c #Conflicts: 808000 | #Constraints: 37445 414.54/415.99 c #Conflicts: 809000 | #Constraints: 38445 414.54/415.99 c #Conflicts: 810000 | #Constraints: 39445 414.54/415.99 c INPROCESSING 414.54/415.99 c GARBAGE COLLECT 414.54/415.99 c rational objective 1.58772 430.19/431.66 c #Conflicts: 811000 | #Constraints: 22613 430.19/431.66 c #Conflicts: 812000 | #Constraints: 23614 430.19/431.66 c #Conflicts: 813000 | #Constraints: 24614 430.19/431.66 c #Conflicts: 814000 | #Constraints: 25614 430.19/431.66 c #Conflicts: 815000 | #Constraints: 26614 430.19/431.66 c #Conflicts: 816000 | #Constraints: 27614 430.19/431.66 c #Conflicts: 817000 | #Constraints: 28614 430.19/431.66 c #Conflicts: 818000 | #Constraints: 29614 430.19/431.66 c #Conflicts: 819000 | #Constraints: 30615 430.19/431.66 c #Conflicts: 820000 | #Constraints: 31615 430.19/431.66 c #Conflicts: 821000 | #Constraints: 32615 430.19/431.66 c #Conflicts: 822000 | #Constraints: 33615 430.19/431.66 c #Conflicts: 823000 | #Constraints: 34616 430.19/431.66 c #Conflicts: 824000 | #Constraints: 35616 430.19/431.66 c #Conflicts: 825000 | #Constraints: 36616 430.19/431.66 c #Conflicts: 826000 | #Constraints: 37616 430.19/431.66 c #Conflicts: 827000 | #Constraints: 38617 430.19/431.66 c #Conflicts: 828000 | #Constraints: 39617 430.19/431.66 c INPROCESSING 430.19/431.66 c GARBAGE COLLECT 430.19/431.66 c rational objective 1.58772 465.67/467.25 c #Conflicts: 829000 | #Constraints: 22635 465.67/467.25 c #Conflicts: 830000 | #Constraints: 23635 465.67/467.25 c #Conflicts: 831000 | #Constraints: 24635 465.67/467.25 c #Conflicts: 832000 | #Constraints: 25635 465.67/467.25 c #Conflicts: 833000 | #Constraints: 26635 465.67/467.25 c #Conflicts: 834000 | #Constraints: 27635 465.67/467.25 c #Conflicts: 835000 | #Constraints: 28635 465.67/467.25 c #Conflicts: 836000 | #Constraints: 29635 465.67/467.25 c #Conflicts: 837000 | #Constraints: 30635 465.67/467.25 c #Conflicts: 838000 | #Constraints: 31635 465.67/467.25 c #Conflicts: 839000 | #Constraints: 32635 465.67/467.25 c #Conflicts: 840000 | #Constraints: 33635 465.67/467.25 c #Conflicts: 841000 | #Constraints: 34635 465.67/467.25 c #Conflicts: 842000 | #Constraints: 35635 465.67/467.25 c #Conflicts: 843000 | #Constraints: 36635 465.67/467.25 c #Conflicts: 844000 | #Constraints: 37635 465.67/467.25 c #Conflicts: 845000 | #Constraints: 38635 465.67/467.25 c #Conflicts: 846000 | #Constraints: 39635 465.67/467.25 c INPROCESSING 465.67/467.25 c GARBAGE COLLECT 465.67/467.25 c rational objective 1.58772 477.23/478.82 c #Conflicts: 847000 | #Constraints: 22444 477.23/478.82 c #Conflicts: 848000 | #Constraints: 23444 477.23/478.82 c #Conflicts: 849000 | #Constraints: 24444 477.23/478.82 c #Conflicts: 850000 | #Constraints: 25444 477.23/478.82 c #Conflicts: 851000 | #Constraints: 26446 477.23/478.82 c #Conflicts: 852000 | #Constraints: 27446 477.23/478.82 c #Conflicts: 853000 | #Constraints: 28446 477.23/478.82 c #Conflicts: 854000 | #Constraints: 29446 477.23/478.82 c #Conflicts: 855000 | #Constraints: 30446 477.23/478.82 c #Conflicts: 856000 | #Constraints: 31446 477.23/478.82 c #Conflicts: 857000 | #Constraints: 32446 477.23/478.82 c #Conflicts: 858000 | #Constraints: 33446 477.23/478.82 c #Conflicts: 859000 | #Constraints: 34446 477.23/478.82 c #Conflicts: 860000 | #Constraints: 35446 477.23/478.82 c #Conflicts: 861000 | #Constraints: 36447 477.23/478.82 c #Conflicts: 862000 | #Constraints: 37448 477.23/478.82 c #Conflicts: 863000 | #Constraints: 38448 477.23/478.82 c #Conflicts: 864000 | #Constraints: 39448 477.23/478.82 c #Conflicts: 865000 | #Constraints: 40448 477.23/478.82 c INPROCESSING 477.23/478.82 c GARBAGE COLLECT 477.23/478.82 c rational objective 1.58772 485.61/487.27 c #Conflicts: 866000 | #Constraints: 23033 485.61/487.27 c #Conflicts: 867000 | #Constraints: 24034 485.61/487.27 c #Conflicts: 868000 | #Constraints: 25034 485.61/487.27 c #Conflicts: 869000 | #Constraints: 26034 485.61/487.27 c #Conflicts: 870000 | #Constraints: 27034 485.61/487.27 c #Conflicts: 871000 | #Constraints: 28034 485.61/487.27 c #Conflicts: 872000 | #Constraints: 29034 485.61/487.27 c #Conflicts: 873000 | #Constraints: 30035 485.61/487.27 c #Conflicts: 874000 | #Constraints: 31035 485.61/487.27 c #Conflicts: 875000 | #Constraints: 32035 485.61/487.27 c #Conflicts: 876000 | #Constraints: 33036 485.61/487.27 c #Conflicts: 877000 | #Constraints: 34036 485.61/487.27 c #Conflicts: 878000 | #Constraints: 35036 485.61/487.27 c #Conflicts: 879000 | #Constraints: 36036 485.61/487.27 c #Conflicts: 880000 | #Constraints: 37036 485.61/487.27 c #Conflicts: 881000 | #Constraints: 38037 485.61/487.27 c #Conflicts: 882000 | #Constraints: 39038 485.61/487.27 c #Conflicts: 883000 | #Constraints: 40038 485.61/487.27 c #Conflicts: 884000 | #Constraints: 41038 485.61/487.27 c INPROCESSING 485.61/487.27 c GARBAGE COLLECT 485.61/487.27 c rational objective 1.58772 495.48/497.14 c #Conflicts: 885000 | #Constraints: 23425 495.48/497.14 c #Conflicts: 886000 | #Constraints: 24426 495.48/497.14 c #Conflicts: 887000 | #Constraints: 25426 495.48/497.14 c #Conflicts: 888000 | #Constraints: 26426 495.48/497.14 c #Conflicts: 889000 | #Constraints: 27426 495.48/497.14 c #Conflicts: 890000 | #Constraints: 28427 495.48/497.14 c #Conflicts: 891000 | #Constraints: 29428 495.48/497.14 c #Conflicts: 892000 | #Constraints: 30430 495.48/497.14 c #Conflicts: 893000 | #Constraints: 31430 495.48/497.14 c #Conflicts: 894000 | #Constraints: 32430 495.48/497.14 c #Conflicts: 895000 | #Constraints: 33430 495.48/497.14 c #Conflicts: 896000 | #Constraints: 34430 495.48/497.14 c #Conflicts: 897000 | #Constraints: 35430 495.48/497.14 c #Conflicts: 898000 | #Constraints: 36430 495.48/497.14 c #Conflicts: 899000 | #Constraints: 37430 495.48/497.14 c #Conflicts: 900000 | #Constraints: 38430 495.48/497.14 c #Conflicts: 901000 | #Constraints: 39430 495.48/497.14 c #Conflicts: 902000 | #Constraints: 40431 495.48/497.14 c #Conflicts: 903000 | #Constraints: 41431 495.48/497.14 c INPROCESSING 495.48/497.14 c GARBAGE COLLECT 495.48/497.14 c rational objective 1.58772 510.23/511.97 c #Conflicts: 904000 | #Constraints: 23629 510.23/511.97 c #Conflicts: 905000 | #Constraints: 24629 510.23/511.97 c #Conflicts: 906000 | #Constraints: 25629 510.23/511.97 c #Conflicts: 907000 | #Constraints: 26629 510.23/511.97 c #Conflicts: 908000 | #Constraints: 27629 510.23/511.97 c #Conflicts: 909000 | #Constraints: 28630 510.23/511.97 c #Conflicts: 910000 | #Constraints: 29630 510.23/511.97 c #Conflicts: 911000 | #Constraints: 30631 510.23/511.97 c #Conflicts: 912000 | #Constraints: 31631 510.23/511.97 c #Conflicts: 913000 | #Constraints: 32632 510.23/511.97 c #Conflicts: 914000 | #Constraints: 33633 510.23/511.97 c #Conflicts: 915000 | #Constraints: 34633 510.23/511.97 c #Conflicts: 916000 | #Constraints: 35633 510.23/511.97 c #Conflicts: 917000 | #Constraints: 36633 510.23/511.97 c #Conflicts: 918000 | #Constraints: 37633 510.23/511.97 c #Conflicts: 919000 | #Constraints: 38635 510.23/511.97 c #Conflicts: 920000 | #Constraints: 39637 510.23/511.97 c #Conflicts: 921000 | #Constraints: 40638 510.23/511.97 c #Conflicts: 922000 | #Constraints: 41638 510.23/511.97 c INPROCESSING 510.23/511.97 c GARBAGE COLLECT 510.23/511.97 c rational objective 1.58772 529.07/530.88 c #Conflicts: 923000 | #Constraints: 23650 529.07/530.88 c #Conflicts: 924000 | #Constraints: 24650 529.07/530.88 c #Conflicts: 925000 | #Constraints: 25653 529.07/530.88 c #Conflicts: 926000 | #Constraints: 26653 529.07/530.88 c #Conflicts: 927000 | #Constraints: 27653 529.07/530.88 c #Conflicts: 928000 | #Constraints: 28654 529.07/530.88 c #Conflicts: 929000 | #Constraints: 29654 529.07/530.88 c #Conflicts: 930000 | #Constraints: 30654 529.07/530.88 c #Conflicts: 931000 | #Constraints: 31654 529.07/530.88 c #Conflicts: 932000 | #Constraints: 32654 529.07/530.88 c #Conflicts: 933000 | #Constraints: 33654 529.07/530.88 c #Conflicts: 934000 | #Constraints: 34654 529.07/530.88 c #Conflicts: 935000 | #Constraints: 35654 529.07/530.88 c #Conflicts: 936000 | #Constraints: 36654 529.07/530.88 c #Conflicts: 937000 | #Constraints: 37654 529.07/530.88 c #Conflicts: 938000 | #Constraints: 38654 529.07/530.88 c #Conflicts: 939000 | #Constraints: 39654 529.07/530.88 c #Conflicts: 940000 | #Constraints: 40654 529.07/530.88 c #Conflicts: 941000 | #Constraints: 41654 529.07/530.88 c INPROCESSING 529.07/530.88 c GARBAGE COLLECT 529.07/530.88 c rational objective 1.58772 535.65/537.49 c #Conflicts: 942000 | #Constraints: 23481 535.65/537.49 c #Conflicts: 943000 | #Constraints: 24481 535.65/537.49 c #Conflicts: 944000 | #Constraints: 25481 535.65/537.49 c #Conflicts: 945000 | #Constraints: 26482 535.65/537.49 c #Conflicts: 946000 | #Constraints: 27484 535.65/537.49 c #Conflicts: 947000 | #Constraints: 28484 535.65/537.49 c #Conflicts: 948000 | #Constraints: 29484 535.65/537.49 c #Conflicts: 949000 | #Constraints: 30484 535.65/537.49 c #Conflicts: 950000 | #Constraints: 31484 535.65/537.49 c #Conflicts: 951000 | #Constraints: 32484 535.65/537.49 c #Conflicts: 952000 | #Constraints: 33485 535.65/537.49 c #Conflicts: 953000 | #Constraints: 34485 535.65/537.49 c #Conflicts: 954000 | #Constraints: 35486 535.65/537.49 c #Conflicts: 955000 | #Constraints: 36486 535.65/537.49 c #Conflicts: 956000 | #Constraints: 37486 535.65/537.49 c #Conflicts: 957000 | #Constraints: 38486 535.65/537.49 c #Conflicts: 958000 | #Constraints: 39486 535.65/537.49 c #Conflicts: 959000 | #Constraints: 40486 535.65/537.49 c #Conflicts: 960000 | #Constraints: 41487 535.65/537.49 c #Conflicts: 961000 | #Constraints: 42488 535.65/537.49 c INPROCESSING 535.65/537.49 c GARBAGE COLLECT 535.65/537.49 c rational objective 1.58772 578.30/580.25 c #Conflicts: 962000 | #Constraints: 24094 578.30/580.25 c #Conflicts: 963000 | #Constraints: 25094 578.30/580.25 c #Conflicts: 964000 | #Constraints: 26094 578.30/580.25 c #Conflicts: 965000 | #Constraints: 27094 578.30/580.25 c #Conflicts: 966000 | #Constraints: 28094 578.30/580.25 c #Conflicts: 967000 | #Constraints: 29094 578.30/580.25 c #Conflicts: 968000 | #Constraints: 30094 578.30/580.25 c #Conflicts: 969000 | #Constraints: 31094 578.30/580.25 c #Conflicts: 970000 | #Constraints: 32094 578.30/580.25 c #Conflicts: 971000 | #Constraints: 33094 578.30/580.25 c #Conflicts: 972000 | #Constraints: 34094 578.30/580.25 c #Conflicts: 973000 | #Constraints: 35094 578.30/580.25 c #Conflicts: 974000 | #Constraints: 36095 578.30/580.25 c #Conflicts: 975000 | #Constraints: 37095 578.30/580.25 c #Conflicts: 976000 | #Constraints: 38096 578.30/580.25 c #Conflicts: 977000 | #Constraints: 39096 578.30/580.25 c #Conflicts: 978000 | #Constraints: 40096 578.30/580.25 c #Conflicts: 979000 | #Constraints: 41096 578.30/580.25 c #Conflicts: 980000 | #Constraints: 42096 578.30/580.25 c #Conflicts: 981000 | #Constraints: 43096 578.30/580.25 c INPROCESSING 578.30/580.25 c GARBAGE COLLECT 578.30/580.25 c rational objective 1.58772 586.77/588.76 c #Conflicts: 982000 | #Constraints: 24511 586.77/588.76 c #Conflicts: 983000 | #Constraints: 25511 586.77/588.76 c #Conflicts: 984000 | #Constraints: 26512 586.77/588.76 c #Conflicts: 985000 | #Constraints: 27513 586.77/588.76 c #Conflicts: 986000 | #Constraints: 28514 586.77/588.76 c #Conflicts: 987000 | #Constraints: 29514 586.77/588.76 c #Conflicts: 988000 | #Constraints: 30514 586.77/588.76 c #Conflicts: 989000 | #Constraints: 31514 586.77/588.76 c #Conflicts: 990000 | #Constraints: 32514 586.77/588.76 c #Conflicts: 991000 | #Constraints: 33514 586.77/588.76 c #Conflicts: 992000 | #Constraints: 34514 586.77/588.76 c #Conflicts: 993000 | #Constraints: 35514 586.77/588.76 c #Conflicts: 994000 | #Constraints: 36514 586.77/588.76 c #Conflicts: 995000 | #Constraints: 37514 586.77/588.76 c #Conflicts: 996000 | #Constraints: 38515 586.77/588.76 c #Conflicts: 997000 | #Constraints: 39515 586.77/588.76 c #Conflicts: 998000 | #Constraints: 40516 586.77/588.76 c #Conflicts: 999000 | #Constraints: 41517 586.77/588.76 c #Conflicts: 1000000 | #Constraints: 42517 586.77/588.76 c #Conflicts: 1001000 | #Constraints: 43517 586.77/588.76 c INPROCESSING 586.77/588.76 c GARBAGE COLLECT 586.77/588.76 c rational objective 1.58772 683.73/686.08 c #Conflicts: 1002000 | #Constraints: 24717 683.73/686.08 c #Conflicts: 1003000 | #Constraints: 25717 683.73/686.08 c #Conflicts: 1004000 | #Constraints: 26717 683.73/686.08 c #Conflicts: 1005000 | #Constraints: 27717 683.73/686.08 c #Conflicts: 1006000 | #Constraints: 28717 683.73/686.08 c #Conflicts: 1007000 | #Constraints: 29717 683.73/686.08 c #Conflicts: 1008000 | #Constraints: 30717 683.73/686.08 c #Conflicts: 1009000 | #Constraints: 31717 683.73/686.08 c #Conflicts: 1010000 | #Constraints: 32717 683.73/686.08 c #Conflicts: 1011000 | #Constraints: 33717 683.73/686.08 c #Conflicts: 1012000 | #Constraints: 34717 683.73/686.08 c #Conflicts: 1013000 | #Constraints: 35717 683.73/686.08 c #Conflicts: 1014000 | #Constraints: 36717 683.73/686.08 c #Conflicts: 1015000 | #Constraints: 37717 683.73/686.08 c #Conflicts: 1016000 | #Constraints: 38717 683.73/686.08 c #Conflicts: 1017000 | #Constraints: 39717 683.73/686.08 c #Conflicts: 1018000 | #Constraints: 40717 683.73/686.08 c #Conflicts: 1019000 | #Constraints: 41717 683.73/686.08 c #Conflicts: 1020000 | #Constraints: 42717 683.73/686.08 c #Conflicts: 1021000 | #Constraints: 43717 683.73/686.08 c INPROCESSING 683.73/686.08 c GARBAGE COLLECT 683.73/686.08 c rational objective 1.58772 689.72/692.05 c #Conflicts: 1022000 | #Constraints: 24720 689.72/692.05 c #Conflicts: 1023000 | #Constraints: 25720 689.72/692.05 c #Conflicts: 1024000 | #Constraints: 26720 689.72/692.05 c #Conflicts: 1025000 | #Constraints: 27720 689.72/692.05 c #Conflicts: 1026000 | #Constraints: 28720 689.72/692.05 c #Conflicts: 1027000 | #Constraints: 29720 689.72/692.05 c #Conflicts: 1028000 | #Constraints: 30720 689.72/692.05 c #Conflicts: 1029000 | #Constraints: 31721 689.72/692.05 c #Conflicts: 1030000 | #Constraints: 32721 689.72/692.05 c #Conflicts: 1031000 | #Constraints: 33721 689.72/692.05 c #Conflicts: 1032000 | #Constraints: 34721 689.72/692.05 c #Conflicts: 1033000 | #Constraints: 35721 689.72/692.05 c #Conflicts: 1034000 | #Constraints: 36721 689.72/692.05 c #Conflicts: 1035000 | #Constraints: 37722 689.72/692.05 c #Conflicts: 1036000 | #Constraints: 38722 689.72/692.05 c #Conflicts: 1037000 | #Constraints: 39723 689.72/692.05 c #Conflicts: 1038000 | #Constraints: 40723 689.72/692.05 c #Conflicts: 1039000 | #Constraints: 41724 689.72/692.05 c #Conflicts: 1040000 | #Constraints: 42725 689.72/692.05 c #Conflicts: 1041000 | #Constraints: 43725 689.72/692.05 c INPROCESSING 689.72/692.05 c GARBAGE COLLECT 689.72/692.05 c rational objective 1.81641 812.18/814.94 c #Conflicts: 1042000 | #Constraints: 24501 812.18/814.94 c #Conflicts: 1043000 | #Constraints: 25501 812.18/814.94 c #Conflicts: 1044000 | #Constraints: 26501 812.18/814.94 c #Conflicts: 1045000 | #Constraints: 27501 812.18/814.94 c #Conflicts: 1046000 | #Constraints: 28501 812.18/814.94 c #Conflicts: 1047000 | #Constraints: 29501 812.18/814.94 c #Conflicts: 1048000 | #Constraints: 30501 812.18/814.94 c #Conflicts: 1049000 | #Constraints: 31501 812.18/814.94 c #Conflicts: 1050000 | #Constraints: 32501 812.18/814.94 c #Conflicts: 1051000 | #Constraints: 33501 812.18/814.94 c #Conflicts: 1052000 | #Constraints: 34501 812.18/814.94 c #Conflicts: 1053000 | #Constraints: 35501 812.18/814.94 c #Conflicts: 1054000 | #Constraints: 36501 812.18/814.94 c #Conflicts: 1055000 | #Constraints: 37501 812.18/814.94 c #Conflicts: 1056000 | #Constraints: 38501 812.18/814.94 c #Conflicts: 1057000 | #Constraints: 39501 812.18/814.94 c #Conflicts: 1058000 | #Constraints: 40501 812.18/814.94 c #Conflicts: 1059000 | #Constraints: 41501 812.18/814.94 c #Conflicts: 1060000 | #Constraints: 42501 812.18/814.94 c #Conflicts: 1061000 | #Constraints: 43501 812.18/814.94 c #Conflicts: 1062000 | #Constraints: 44501 812.18/814.94 c INPROCESSING 812.18/814.94 c GARBAGE COLLECT 812.18/814.94 c rational objective 1.84708 833.21/836.02 c #Conflicts: 1063000 | #Constraints: 25076 833.21/836.02 c #Conflicts: 1064000 | #Constraints: 26076 833.21/836.02 c #Conflicts: 1065000 | #Constraints: 27078 833.21/836.02 c #Conflicts: 1066000 | #Constraints: 28078 833.21/836.02 c #Conflicts: 1067000 | #Constraints: 29079 833.21/836.02 c #Conflicts: 1068000 | #Constraints: 30079 833.21/836.02 c #Conflicts: 1069000 | #Constraints: 31079 833.21/836.02 c #Conflicts: 1070000 | #Constraints: 32079 833.21/836.02 c #Conflicts: 1071000 | #Constraints: 33079 833.21/836.02 c #Conflicts: 1072000 | #Constraints: 34080 833.21/836.02 c #Conflicts: 1073000 | #Constraints: 35080 833.21/836.02 c #Conflicts: 1074000 | #Constraints: 36080 833.21/836.02 c #Conflicts: 1075000 | #Constraints: 37081 833.21/836.02 c #Conflicts: 1076000 | #Constraints: 38081 833.21/836.02 c #Conflicts: 1077000 | #Constraints: 39081 833.21/836.02 c #Conflicts: 1078000 | #Constraints: 40081 833.21/836.02 c #Conflicts: 1079000 | #Constraints: 41081 833.21/836.02 c #Conflicts: 1080000 | #Constraints: 42081 833.21/836.02 c #Conflicts: 1081000 | #Constraints: 43081 833.21/836.02 c #Conflicts: 1082000 | #Constraints: 44082 833.21/836.02 c #Conflicts: 1083000 | #Constraints: 45082 833.21/836.02 c INPROCESSING 833.21/836.02 c GARBAGE COLLECT 833.21/836.02 c rational objective 1.87657 966.45/969.78 c #Conflicts: 1084000 | #Constraints: 25510 966.45/969.78 c #Conflicts: 1085000 | #Constraints: 26510 966.45/969.78 c #Conflicts: 1086000 | #Constraints: 27510 966.45/969.78 c #Conflicts: 1087000 | #Constraints: 28511 966.45/969.78 c #Conflicts: 1088000 | #Constraints: 29511 966.45/969.78 c #Conflicts: 1089000 | #Constraints: 30511 966.45/969.78 c #Conflicts: 1090000 | #Constraints: 31511 966.45/969.78 c #Conflicts: 1091000 | #Constraints: 32511 966.45/969.78 c #Conflicts: 1092000 | #Constraints: 33511 966.45/969.78 c #Conflicts: 1093000 | #Constraints: 34511 966.45/969.78 c #Conflicts: 1094000 | #Constraints: 35511 966.45/969.78 c #Conflicts: 1095000 | #Constraints: 36511 966.45/969.78 c #Conflicts: 1096000 | #Constraints: 37511 966.45/969.78 c #Conflicts: 1097000 | #Constraints: 38511 966.45/969.78 c #Conflicts: 1098000 | #Constraints: 39511 966.45/969.78 c #Conflicts: 1099000 | #Constraints: 40511 966.45/969.78 c #Conflicts: 1100000 | #Constraints: 41511 966.45/969.78 c #Conflicts: 1101000 | #Constraints: 42511 966.45/969.78 c #Conflicts: 1102000 | #Constraints: 43511 966.45/969.78 c #Conflicts: 1103000 | #Constraints: 44511 966.45/969.78 c #Conflicts: 1104000 | #Constraints: 45511 966.45/969.78 c INPROCESSING 966.45/969.78 c GARBAGE COLLECT 966.45/969.78 c rational objective 1.87713 973.22/976.56 c #Conflicts: 1105000 | #Constraints: 25716 973.22/976.56 c #Conflicts: 1106000 | #Constraints: 26716 973.22/976.56 c #Conflicts: 1107000 | #Constraints: 27717 973.22/976.56 c #Conflicts: 1108000 | #Constraints: 28720 973.22/976.56 c #Conflicts: 1109000 | #Constraints: 29722 973.22/976.56 c #Conflicts: 1110000 | #Constraints: 30724 973.22/976.56 c #Conflicts: 1111000 | #Constraints: 31725 973.22/976.56 c #Conflicts: 1112000 | #Constraints: 32725 973.22/976.56 c #Conflicts: 1113000 | #Constraints: 33725 973.22/976.56 c #Conflicts: 1114000 | #Constraints: 34725 973.22/976.56 c #Conflicts: 1115000 | #Constraints: 35725 973.22/976.56 c #Conflicts: 1116000 | #Constraints: 36725 973.22/976.56 c #Conflicts: 1117000 | #Constraints: 37725 973.22/976.56 c #Conflicts: 1118000 | #Constraints: 38726 973.22/976.56 c #Conflicts: 1119000 | #Constraints: 39727 973.22/976.56 c #Conflicts: 1120000 | #Constraints: 40730 973.22/976.56 c #Conflicts: 1121000 | #Constraints: 41731 973.22/976.56 c #Conflicts: 1122000 | #Constraints: 42731 973.22/976.56 c #Conflicts: 1123000 | #Constraints: 43732 973.22/976.56 c #Conflicts: 1124000 | #Constraints: 44732 973.22/976.56 c #Conflicts: 1125000 | #Constraints: 45732 973.22/976.56 c INPROCESSING 973.22/976.56 c GARBAGE COLLECT 973.22/976.56 c rational objective 1.87741 1016.49/1019.97 c #Conflicts: 1126000 | #Constraints: 25714 1016.49/1019.97 c #Conflicts: 1127000 | #Constraints: 26714 1016.49/1019.97 c #Conflicts: 1128000 | #Constraints: 27715 1016.49/1019.97 c #Conflicts: 1129000 | #Constraints: 28716 1016.49/1019.97 c #Conflicts: 1130000 | #Constraints: 29716 1016.49/1019.97 c #Conflicts: 1131000 | #Constraints: 30717 1016.49/1019.97 c #Conflicts: 1132000 | #Constraints: 31717 1016.49/1019.97 c #Conflicts: 1133000 | #Constraints: 32717 1016.49/1019.97 c #Conflicts: 1134000 | #Constraints: 33717 1016.49/1019.97 c #Conflicts: 1135000 | #Constraints: 34717 1016.49/1019.97 c #Conflicts: 1136000 | #Constraints: 35717 1016.49/1019.97 c #Conflicts: 1137000 | #Constraints: 36717 1016.49/1019.97 c #Conflicts: 1138000 | #Constraints: 37717 1016.49/1019.97 c #Conflicts: 1139000 | #Constraints: 38717 1016.49/1019.97 c #Conflicts: 1140000 | #Constraints: 39717 1016.49/1019.97 c #Conflicts: 1141000 | #Constraints: 40717 1016.49/1019.97 c #Conflicts: 1142000 | #Constraints: 41717 1016.49/1019.97 c #Conflicts: 1143000 | #Constraints: 42717 1016.49/1019.97 c #Conflicts: 1144000 | #Constraints: 43717 1016.49/1019.97 c #Conflicts: 1145000 | #Constraints: 44718 1016.49/1019.97 c #Conflicts: 1146000 | #Constraints: 45718 1016.49/1019.97 c INPROCESSING 1016.49/1019.97 c GARBAGE COLLECT 1016.49/1019.97 c #Conflicts: 1147000 | #Constraints: 25479 1016.49/1019.97 c #Conflicts: 1148000 | #Constraints: 26479 1016.49/1019.97 c #Conflicts: 1149000 | #Constraints: 27479 1016.49/1019.97 c #Conflicts: 1150000 | #Constraints: 28479 1016.49/1019.97 c #Conflicts: 1151000 | #Constraints: 29479 1016.49/1019.97 c #Conflicts: 1152000 | #Constraints: 30479 1016.49/1019.97 c #Conflicts: 1153000 | #Constraints: 31479 1016.49/1019.97 c #Conflicts: 1154000 | #Constraints: 32479 1016.49/1019.97 c #Conflicts: 1155000 | #Constraints: 33479 1016.49/1019.97 c #Conflicts: 1156000 | #Constraints: 34479 1016.49/1019.97 c #Conflicts: 1157000 | #Constraints: 35479 1016.49/1019.97 c #Conflicts: 1158000 | #Constraints: 36480 1016.49/1019.97 c #Conflicts: 1159000 | #Constraints: 37480 1016.49/1019.97 c #Conflicts: 1160000 | #Constraints: 38480 1016.49/1019.97 c #Conflicts: 1161000 | #Constraints: 39481 1016.49/1019.97 c #Conflicts: 1162000 | #Constraints: 40481 1016.49/1019.97 c #Conflicts: 1163000 | #Constraints: 41481 1016.49/1019.97 c #Conflicts: 1164000 | #Constraints: 42481 1016.49/1019.98 c #Conflicts: 1165000 | #Constraints: 43481 1016.49/1019.98 c #Conflicts: 1166000 | #Constraints: 44481 1016.49/1019.98 c #Conflicts: 1167000 | #Constraints: 45481 1016.49/1019.98 c #Conflicts: 1168000 | #Constraints: 46482 1016.49/1019.98 c INPROCESSING 1016.49/1019.98 c GARBAGE COLLECT 1016.49/1019.98 c rational objective 1.87771 1058.65/1062.23 c #Conflicts: 1169000 | #Constraints: 26053 1058.65/1062.23 c #Conflicts: 1170000 | #Constraints: 27053 1058.65/1062.23 c #Conflicts: 1171000 | #Constraints: 28053 1058.65/1062.23 c #Conflicts: 1172000 | #Constraints: 29053 1058.65/1062.23 c #Conflicts: 1173000 | #Constraints: 30053 1058.65/1062.23 c #Conflicts: 1174000 | #Constraints: 31053 1058.65/1062.23 c #Conflicts: 1175000 | #Constraints: 32053 1058.65/1062.23 c #Conflicts: 1176000 | #Constraints: 33053 1058.65/1062.23 c #Conflicts: 1177000 | #Constraints: 34053 1058.65/1062.23 c #Conflicts: 1178000 | #Constraints: 35053 1058.65/1062.23 c #Conflicts: 1179000 | #Constraints: 36053 1058.65/1062.23 c #Conflicts: 1180000 | #Constraints: 37053 1058.65/1062.23 c #Conflicts: 1181000 | #Constraints: 38053 1058.65/1062.23 c #Conflicts: 1182000 | #Constraints: 39054 1058.65/1062.23 c #Conflicts: 1183000 | #Constraints: 40055 1058.65/1062.23 c #Conflicts: 1184000 | #Constraints: 41056 1058.65/1062.23 c #Conflicts: 1185000 | #Constraints: 42056 1058.65/1062.23 c #Conflicts: 1186000 | #Constraints: 43056 1058.65/1062.23 c #Conflicts: 1187000 | #Constraints: 44056 1058.65/1062.23 c #Conflicts: 1188000 | #Constraints: 45056 1058.65/1062.23 c #Conflicts: 1189000 | #Constraints: 46056 1058.65/1062.23 c #Conflicts: 1190000 | #Constraints: 47056 1058.65/1062.23 c INPROCESSING 1058.65/1062.23 c GARBAGE COLLECT 1058.65/1062.23 c rational objective 1.87777 1077.59/1081.26 c #Conflicts: 1191000 | #Constraints: 26438 1077.59/1081.26 c #Conflicts: 1192000 | #Constraints: 27438 1077.59/1081.26 c #Conflicts: 1193000 | #Constraints: 28439 1077.59/1081.26 c #Conflicts: 1194000 | #Constraints: 29440 1077.59/1081.26 c #Conflicts: 1195000 | #Constraints: 30440 1077.59/1081.26 c #Conflicts: 1196000 | #Constraints: 31440 1077.59/1081.26 c #Conflicts: 1197000 | #Constraints: 32440 1077.59/1081.26 c #Conflicts: 1198000 | #Constraints: 33441 1077.59/1081.26 c #Conflicts: 1199000 | #Constraints: 34442 1077.59/1081.26 c #Conflicts: 1200000 | #Constraints: 35442 1077.59/1081.26 c #Conflicts: 1201000 | #Constraints: 36443 1077.59/1081.26 c #Conflicts: 1202000 | #Constraints: 37443 1077.59/1081.26 c #Conflicts: 1203000 | #Constraints: 38444 1077.59/1081.26 c #Conflicts: 1204000 | #Constraints: 39444 1077.59/1081.26 c #Conflicts: 1205000 | #Constraints: 40445 1077.59/1081.26 c #Conflicts: 1206000 | #Constraints: 41445 1077.59/1081.26 c #Conflicts: 1207000 | #Constraints: 42445 1077.59/1081.26 c #Conflicts: 1208000 | #Constraints: 43445 1077.59/1081.26 c #Conflicts: 1209000 | #Constraints: 44445 1077.59/1081.26 c #Conflicts: 1210000 | #Constraints: 45445 1077.59/1081.26 c #Conflicts: 1211000 | #Constraints: 46445 1077.59/1081.26 c #Conflicts: 1212000 | #Constraints: 47445 1077.59/1081.26 c INPROCESSING 1077.59/1081.26 c GARBAGE COLLECT 1077.59/1081.26 c rational objective 1.87777 1087.96/1091.60 c #Conflicts: 1213000 | #Constraints: 26670 1087.96/1091.60 c #Conflicts: 1214000 | #Constraints: 27670 1087.96/1091.60 c #Conflicts: 1215000 | #Constraints: 28670 1087.96/1091.60 c #Conflicts: 1216000 | #Constraints: 29670 1087.96/1091.60 c #Conflicts: 1217000 | #Constraints: 30670 1087.96/1091.60 c #Conflicts: 1218000 | #Constraints: 31670 1087.96/1091.60 c #Conflicts: 1219000 | #Constraints: 32670 1087.96/1091.60 c #Conflicts: 1220000 | #Constraints: 33670 1087.96/1091.60 c #Conflicts: 1221000 | #Constraints: 34670 1087.96/1091.60 c #Conflicts: 1222000 | #Constraints: 35671 1087.96/1091.60 c #Conflicts: 1223000 | #Constraints: 36671 1087.96/1091.60 c #Conflicts: 1224000 | #Constraints: 37671 1087.96/1091.60 c #Conflicts: 1225000 | #Constraints: 38671 1087.96/1091.60 c #Conflicts: 1226000 | #Constraints: 39671 1087.96/1091.60 c #Conflicts: 1227000 | #Constraints: 40671 1087.96/1091.60 c #Conflicts: 1228000 | #Constraints: 41671 1087.96/1091.60 c #Conflicts: 1229000 | #Constraints: 42671 1087.96/1091.60 c #Conflicts: 1230000 | #Constraints: 43672 1087.96/1091.60 c #Conflicts: 1231000 | #Constraints: 44672 1087.96/1091.60 c #Conflicts: 1232000 | #Constraints: 45672 1087.96/1091.60 c #Conflicts: 1233000 | #Constraints: 46672 1087.96/1091.60 c #Conflicts: 1234000 | #Constraints: 47672 1087.96/1091.60 c INPROCESSING 1087.96/1091.60 c GARBAGE COLLECT 1087.96/1091.60 c rational objective 1.87777 1109.59/1113.33 c #Conflicts: 1235000 | #Constraints: 26636 1109.59/1113.33 c #Conflicts: 1236000 | #Constraints: 27636 1109.59/1113.33 c #Conflicts: 1237000 | #Constraints: 28636 1109.59/1113.33 c #Conflicts: 1238000 | #Constraints: 29636 1109.59/1113.33 c #Conflicts: 1239000 | #Constraints: 30636 1109.59/1113.33 c #Conflicts: 1240000 | #Constraints: 31639 1109.59/1113.33 c #Conflicts: 1241000 | #Constraints: 32641 1109.59/1113.33 c #Conflicts: 1242000 | #Constraints: 33641 1109.59/1113.33 c #Conflicts: 1243000 | #Constraints: 34641 1109.59/1113.33 c #Conflicts: 1244000 | #Constraints: 35642 1109.59/1113.33 c #Conflicts: 1245000 | #Constraints: 36643 1109.59/1113.33 c #Conflicts: 1246000 | #Constraints: 37643 1109.59/1113.33 c #Conflicts: 1247000 | #Constraints: 38644 1109.59/1113.33 c #Conflicts: 1248000 | #Constraints: 39644 1109.59/1113.33 c #Conflicts: 1249000 | #Constraints: 40645 1109.59/1113.33 c #Conflicts: 1250000 | #Constraints: 41645 1109.59/1113.33 c #Conflicts: 1251000 | #Constraints: 42645 1109.59/1113.33 c #Conflicts: 1252000 | #Constraints: 43646 1109.59/1113.33 c #Conflicts: 1253000 | #Constraints: 44646 1109.59/1113.33 c #Conflicts: 1254000 | #Constraints: 45646 1109.59/1113.33 c #Conflicts: 1255000 | #Constraints: 46646 1109.59/1113.33 c #Conflicts: 1256000 | #Constraints: 47646 1109.59/1113.33 c INPROCESSING 1109.59/1113.33 c GARBAGE COLLECT 1109.59/1113.33 c rational objective 1.87125 1128.43/1132.28 c #Conflicts: 1257000 | #Constraints: 26453 1128.43/1132.28 c #Conflicts: 1258000 | #Constraints: 27453 1128.43/1132.28 c #Conflicts: 1259000 | #Constraints: 28454 1128.43/1132.28 c #Conflicts: 1260000 | #Constraints: 29455 1128.43/1132.28 c #Conflicts: 1261000 | #Constraints: 30455 1128.43/1132.28 c #Conflicts: 1262000 | #Constraints: 31455 1128.43/1132.28 c #Conflicts: 1263000 | #Constraints: 32455 1128.43/1132.28 c #Conflicts: 1264000 | #Constraints: 33455 1128.43/1132.28 c #Conflicts: 1265000 | #Constraints: 34455 1128.43/1132.28 c #Conflicts: 1266000 | #Constraints: 35456 1128.43/1132.28 c #Conflicts: 1267000 | #Constraints: 36457 1128.43/1132.28 c #Conflicts: 1268000 | #Constraints: 37457 1128.43/1132.28 c #Conflicts: 1269000 | #Constraints: 38457 1128.43/1132.28 c #Conflicts: 1270000 | #Constraints: 39457 1128.43/1132.28 c #Conflicts: 1271000 | #Constraints: 40458 1128.43/1132.28 c #Conflicts: 1272000 | #Constraints: 41458 1128.43/1132.28 c #Conflicts: 1273000 | #Constraints: 42458 1128.43/1132.28 c #Conflicts: 1274000 | #Constraints: 43458 1128.43/1132.28 c #Conflicts: 1275000 | #Constraints: 44458 1128.43/1132.28 c #Conflicts: 1276000 | #Constraints: 45458 1128.43/1132.28 c #Conflicts: 1277000 | #Constraints: 46459 1128.43/1132.28 c #Conflicts: 1278000 | #Constraints: 47459 1128.43/1132.28 c #Conflicts: 1279000 | #Constraints: 48459 1128.43/1132.28 c INPROCESSING 1128.43/1132.28 c GARBAGE COLLECT 1128.43/1132.28 c rational objective 1.87664 1141.59/1145.46 c #Conflicts: 1280000 | #Constraints: 27047 1141.59/1145.46 c #Conflicts: 1281000 | #Constraints: 28047 1141.59/1145.46 c #Conflicts: 1282000 | #Constraints: 29048 1141.59/1145.46 c #Conflicts: 1283000 | #Constraints: 30048 1141.59/1145.46 c #Conflicts: 1284000 | #Constraints: 31049 1141.59/1145.46 c #Conflicts: 1285000 | #Constraints: 32050 1141.59/1145.46 c #Conflicts: 1286000 | #Constraints: 33050 1141.59/1145.46 c #Conflicts: 1287000 | #Constraints: 34050 1141.59/1145.46 c #Conflicts: 1288000 | #Constraints: 35050 1141.59/1145.46 c #Conflicts: 1289000 | #Constraints: 36050 1141.59/1145.46 c #Conflicts: 1290000 | #Constraints: 37050 1141.59/1145.46 c #Conflicts: 1291000 | #Constraints: 38051 1141.59/1145.46 c #Conflicts: 1292000 | #Constraints: 39051 1141.59/1145.46 c #Conflicts: 1293000 | #Constraints: 40051 1141.59/1145.46 c #Conflicts: 1294000 | #Constraints: 41051 1141.59/1145.46 c #Conflicts: 1295000 | #Constraints: 42051 1141.59/1145.46 c #Conflicts: 1296000 | #Constraints: 43051 1141.59/1145.46 c #Conflicts: 1297000 | #Constraints: 44051 1141.59/1145.46 c #Conflicts: 1298000 | #Constraints: 45051 1141.59/1145.46 c #Conflicts: 1299000 | #Constraints: 46051 1141.59/1145.46 c #Conflicts: 1300000 | #Constraints: 47051 1141.59/1145.46 c #Conflicts: 1301000 | #Constraints: 48051 1141.59/1145.46 c #Conflicts: 1302000 | #Constraints: 49051 1141.59/1145.46 c INPROCESSING 1141.59/1145.46 c GARBAGE COLLECT 1141.59/1145.46 c rational objective 1.87669 1160.53/1164.40 c #Conflicts: 1303000 | #Constraints: 27441 1160.53/1164.40 c #Conflicts: 1304000 | #Constraints: 28441 1160.53/1164.40 c #Conflicts: 1305000 | #Constraints: 29441 1160.53/1164.40 c #Conflicts: 1306000 | #Constraints: 30441 1160.53/1164.40 c #Conflicts: 1307000 | #Constraints: 31441 1160.53/1164.40 c #Conflicts: 1308000 | #Constraints: 32441 1160.53/1164.40 c #Conflicts: 1309000 | #Constraints: 33441 1160.53/1164.40 c #Conflicts: 1310000 | #Constraints: 34441 1160.53/1164.40 c #Conflicts: 1311000 | #Constraints: 35441 1160.53/1164.40 c #Conflicts: 1312000 | #Constraints: 36441 1160.53/1164.40 c #Conflicts: 1313000 | #Constraints: 37441 1160.53/1164.40 c #Conflicts: 1314000 | #Constraints: 38441 1160.53/1164.40 c #Conflicts: 1315000 | #Constraints: 39441 1160.53/1164.40 c #Conflicts: 1316000 | #Constraints: 40441 1160.53/1164.40 c #Conflicts: 1317000 | #Constraints: 41441 1160.53/1164.40 c #Conflicts: 1318000 | #Constraints: 42441 1160.53/1164.40 c #Conflicts: 1319000 | #Constraints: 43441 1160.53/1164.40 c #Conflicts: 1320000 | #Constraints: 44442 1160.53/1164.40 c #Conflicts: 1321000 | #Constraints: 45442 1160.53/1164.40 c #Conflicts: 1322000 | #Constraints: 46442 1160.53/1164.40 c #Conflicts: 1323000 | #Constraints: 47442 1160.53/1164.40 c #Conflicts: 1324000 | #Constraints: 48442 1160.53/1164.40 c #Conflicts: 1325000 | #Constraints: 49442 1160.53/1164.40 c INPROCESSING 1160.53/1164.40 c GARBAGE COLLECT 1160.53/1164.40 c rational objective 1.87669 1213.55/1217.68 c #Conflicts: 1326000 | #Constraints: 27635 1213.55/1217.68 c #Conflicts: 1327000 | #Constraints: 28635 1213.55/1217.68 c #Conflicts: 1328000 | #Constraints: 29636 1213.55/1217.68 c #Conflicts: 1329000 | #Constraints: 30637 1213.55/1217.68 c #Conflicts: 1330000 | #Constraints: 31637 1213.55/1217.68 c #Conflicts: 1331000 | #Constraints: 32637 1213.55/1217.68 c #Conflicts: 1332000 | #Constraints: 33638 1213.55/1217.68 c #Conflicts: 1333000 | #Constraints: 34639 1213.55/1217.68 c #Conflicts: 1334000 | #Constraints: 35639 1213.55/1217.68 c #Conflicts: 1335000 | #Constraints: 36639 1213.55/1217.68 c #Conflicts: 1336000 | #Constraints: 37639 1213.55/1217.68 c #Conflicts: 1337000 | #Constraints: 38639 1213.55/1217.68 c #Conflicts: 1338000 | #Constraints: 39639 1213.55/1217.68 c #Conflicts: 1339000 | #Constraints: 40639 1213.55/1217.68 c #Conflicts: 1340000 | #Constraints: 41639 1213.55/1217.68 c #Conflicts: 1341000 | #Constraints: 42639 1213.55/1217.68 c #Conflicts: 1342000 | #Constraints: 43639 1213.55/1217.68 c #Conflicts: 1343000 | #Constraints: 44639 1213.55/1217.68 c #Conflicts: 1344000 | #Constraints: 45639 1213.55/1217.68 c #Conflicts: 1345000 | #Constraints: 46639 1213.55/1217.68 c #Conflicts: 1346000 | #Constraints: 47639 1213.55/1217.68 c #Conflicts: 1347000 | #Constraints: 48639 1213.55/1217.68 c #Conflicts: 1348000 | #Constraints: 49639 1213.55/1217.68 c INPROCESSING 1213.55/1217.68 c GARBAGE COLLECT 1213.55/1217.68 c rational objective 1.87669 1223.42/1227.56 c #Conflicts: 1349000 | #Constraints: 27666 1223.42/1227.56 c #Conflicts: 1350000 | #Constraints: 28667 1223.42/1227.56 c #Conflicts: 1351000 | #Constraints: 29668 1223.42/1227.56 c #Conflicts: 1352000 | #Constraints: 30669 1223.42/1227.56 c #Conflicts: 1353000 | #Constraints: 31669 1223.42/1227.56 c #Conflicts: 1354000 | #Constraints: 32669 1223.42/1227.56 c #Conflicts: 1355000 | #Constraints: 33670 1223.42/1227.56 c #Conflicts: 1356000 | #Constraints: 34670 1223.42/1227.56 c #Conflicts: 1357000 | #Constraints: 35671 1223.42/1227.56 c #Conflicts: 1358000 | #Constraints: 36673 1223.42/1227.56 c #Conflicts: 1359000 | #Constraints: 37673 1223.42/1227.56 c #Conflicts: 1360000 | #Constraints: 38674 1223.42/1227.56 c #Conflicts: 1361000 | #Constraints: 39674 1223.42/1227.56 c #Conflicts: 1362000 | #Constraints: 40674 1223.42/1227.56 c #Conflicts: 1363000 | #Constraints: 41674 1223.42/1227.56 c #Conflicts: 1364000 | #Constraints: 42674 1223.42/1227.56 c #Conflicts: 1365000 | #Constraints: 43674 1223.42/1227.56 c #Conflicts: 1366000 | #Constraints: 44674 1223.42/1227.56 c #Conflicts: 1367000 | #Constraints: 45674 1223.42/1227.56 c #Conflicts: 1368000 | #Constraints: 46674 1223.42/1227.56 c #Conflicts: 1369000 | #Constraints: 47674 1223.42/1227.56 c #Conflicts: 1370000 | #Constraints: 48674 1223.42/1227.56 c #Conflicts: 1371000 | #Constraints: 49674 1223.42/1227.56 c INPROCESSING 1223.42/1227.56 c GARBAGE COLLECT 1223.42/1227.56 c rational objective 1.87704 1238.58/1242.79 c #Conflicts: 1372000 | #Constraints: 27455 1238.58/1242.79 c #Conflicts: 1373000 | #Constraints: 28455 1238.58/1242.79 c #Conflicts: 1374000 | #Constraints: 29455 1238.58/1242.79 c #Conflicts: 1375000 | #Constraints: 30455 1238.58/1242.79 c #Conflicts: 1376000 | #Constraints: 31455 1238.58/1242.79 c #Conflicts: 1377000 | #Constraints: 32455 1238.58/1242.79 c #Conflicts: 1378000 | #Constraints: 33455 1238.58/1242.79 c #Conflicts: 1379000 | #Constraints: 34455 1238.58/1242.79 c #Conflicts: 1380000 | #Constraints: 35455 1238.58/1242.79 c #Conflicts: 1381000 | #Constraints: 36456 1238.58/1242.79 c #Conflicts: 1382000 | #Constraints: 37456 1238.58/1242.79 c #Conflicts: 1383000 | #Constraints: 38456 1238.58/1242.79 c #Conflicts: 1384000 | #Constraints: 39456 1238.58/1242.79 c #Conflicts: 1385000 | #Constraints: 40456 1238.58/1242.79 c #Conflicts: 1386000 | #Constraints: 41456 1238.58/1242.79 c #Conflicts: 1387000 | #Constraints: 42457 1238.58/1242.79 c #Conflicts: 1388000 | #Constraints: 43457 1238.58/1242.79 c #Conflicts: 1389000 | #Constraints: 44458 1238.58/1242.79 c #Conflicts: 1390000 | #Constraints: 45459 1238.58/1242.79 c #Conflicts: 1391000 | #Constraints: 46460 1238.58/1242.79 c #Conflicts: 1392000 | #Constraints: 47460 1238.58/1242.79 c #Conflicts: 1393000 | #Constraints: 48460 1238.58/1242.79 c #Conflicts: 1394000 | #Constraints: 49461 1238.58/1242.79 c #Conflicts: 1395000 | #Constraints: 50461 1238.58/1242.79 c INPROCESSING 1238.58/1242.79 c GARBAGE COLLECT 1238.58/1242.79 c rational objective 1.87704 1252.04/1256.20 c #Conflicts: 1396000 | #Constraints: 28043 1252.04/1256.20 c #Conflicts: 1397000 | #Constraints: 29043 1252.04/1256.20 c #Conflicts: 1398000 | #Constraints: 30043 1252.04/1256.20 c #Conflicts: 1399000 | #Constraints: 31044 1252.04/1256.20 c #Conflicts: 1400000 | #Constraints: 32044 1252.04/1256.20 c #Conflicts: 1401000 | #Constraints: 33044 1252.04/1256.20 c #Conflicts: 1402000 | #Constraints: 34044 1252.04/1256.20 c #Conflicts: 1403000 | #Constraints: 35044 1252.04/1256.20 c #Conflicts: 1404000 | #Constraints: 36044 1252.04/1256.20 c #Conflicts: 1405000 | #Constraints: 37044 1252.04/1256.20 c #Conflicts: 1406000 | #Constraints: 38045 1252.04/1256.20 c #Conflicts: 1407000 | #Constraints: 39046 1252.04/1256.20 c #Conflicts: 1408000 | #Constraints: 40046 1252.04/1256.20 c #Conflicts: 1409000 | #Constraints: 41046 1252.04/1256.20 c #Conflicts: 1410000 | #Constraints: 42046 1252.04/1256.20 c #Conflicts: 1411000 | #Constraints: 43046 1252.04/1256.20 c #Conflicts: 1412000 | #Constraints: 44046 1252.04/1256.20 c #Conflicts: 1413000 | #Constraints: 45047 1252.04/1256.20 c #Conflicts: 1414000 | #Constraints: 46047 1252.04/1256.20 c #Conflicts: 1415000 | #Constraints: 47047 1252.04/1256.20 c #Conflicts: 1416000 | #Constraints: 48047 1252.04/1256.20 c #Conflicts: 1417000 | #Constraints: 49047 1252.04/1256.20 c #Conflicts: 1418000 | #Constraints: 50047 1252.04/1256.20 c #Conflicts: 1419000 | #Constraints: 51047 1252.04/1256.20 c INPROCESSING 1252.04/1256.20 c GARBAGE COLLECT 1252.04/1256.20 c rational objective 1.87704 1281.24/1285.57 c #Conflicts: 1420000 | #Constraints: 28456 1281.24/1285.57 c #Conflicts: 1421000 | #Constraints: 29456 1281.24/1285.57 c #Conflicts: 1422000 | #Constraints: 30456 1281.24/1285.57 c #Conflicts: 1423000 | #Constraints: 31456 1281.24/1285.57 c #Conflicts: 1424000 | #Constraints: 32456 1281.24/1285.57 c #Conflicts: 1425000 | #Constraints: 33456 1281.24/1285.57 c #Conflicts: 1426000 | #Constraints: 34456 1281.24/1285.57 c #Conflicts: 1427000 | #Constraints: 35456 1281.24/1285.57 c #Conflicts: 1428000 | #Constraints: 36458 1281.24/1285.57 c #Conflicts: 1429000 | #Constraints: 37459 1281.24/1285.57 c #Conflicts: 1430000 | #Constraints: 38460 1281.24/1285.57 c #Conflicts: 1431000 | #Constraints: 39460 1281.24/1285.57 c #Conflicts: 1432000 | #Constraints: 40460 1281.24/1285.57 c #Conflicts: 1433000 | #Constraints: 41460 1281.24/1285.57 c #Conflicts: 1434000 | #Constraints: 42460 1281.24/1285.57 c #Conflicts: 1435000 | #Constraints: 43460 1281.24/1285.57 c #Conflicts: 1436000 | #Constraints: 44460 1281.24/1285.57 c #Conflicts: 1437000 | #Constraints: 45460 1281.24/1285.57 c #Conflicts: 1438000 | #Constraints: 46460 1281.24/1285.57 c #Conflicts: 1439000 | #Constraints: 47460 1281.24/1285.57 c #Conflicts: 1440000 | #Constraints: 48460 1281.24/1285.57 c #Conflicts: 1441000 | #Constraints: 49460 1281.24/1285.57 c #Conflicts: 1442000 | #Constraints: 50461 1281.24/1285.57 c #Conflicts: 1443000 | #Constraints: 51461 1281.24/1285.57 c INPROCESSING 1281.24/1285.57 c GARBAGE COLLECT 1281.24/1285.57 c rational objective 1.87704 1363.09/1367.64 c #Conflicts: 1444000 | #Constraints: 28676 1363.09/1367.64 c #Conflicts: 1445000 | #Constraints: 29676 1363.09/1367.64 c #Conflicts: 1446000 | #Constraints: 30676 1363.09/1367.64 c #Conflicts: 1447000 | #Constraints: 31676 1363.09/1367.64 c #Conflicts: 1448000 | #Constraints: 32677 1363.09/1367.64 c #Conflicts: 1449000 | #Constraints: 33677 1363.09/1367.64 c #Conflicts: 1450000 | #Constraints: 34677 1363.09/1367.64 c #Conflicts: 1451000 | #Constraints: 35677 1363.09/1367.64 c #Conflicts: 1452000 | #Constraints: 36677 1363.09/1367.64 c #Conflicts: 1453000 | #Constraints: 37677 1363.09/1367.64 c #Conflicts: 1454000 | #Constraints: 38677 1363.09/1367.64 c #Conflicts: 1455000 | #Constraints: 39677 1363.09/1367.64 c #Conflicts: 1456000 | #Constraints: 40677 1363.09/1367.64 c #Conflicts: 1457000 | #Constraints: 41677 1363.09/1367.64 c #Conflicts: 1458000 | #Constraints: 42677 1363.09/1367.64 c #Conflicts: 1459000 | #Constraints: 43677 1363.09/1367.64 c #Conflicts: 1460000 | #Constraints: 44677 1363.09/1367.64 c #Conflicts: 1461000 | #Constraints: 45678 1363.09/1367.64 c #Conflicts: 1462000 | #Constraints: 46679 1363.09/1367.64 c #Conflicts: 1463000 | #Constraints: 47679 1363.09/1367.64 c #Conflicts: 1464000 | #Constraints: 48679 1363.09/1367.64 c #Conflicts: 1465000 | #Constraints: 49679 1363.09/1367.64 c #Conflicts: 1466000 | #Constraints: 50679 1363.09/1367.64 c #Conflicts: 1467000 | #Constraints: 51679 1363.09/1367.64 c INPROCESSING 1363.09/1367.64 c GARBAGE COLLECT 1363.09/1367.64 c rational objective 1.8775 1376.55/1381.13 c #Conflicts: 1468000 | #Constraints: 28669 1376.55/1381.13 c #Conflicts: 1469000 | #Constraints: 29669 1376.55/1381.13 c #Conflicts: 1470000 | #Constraints: 30669 1376.55/1381.13 c #Conflicts: 1471000 | #Constraints: 31672 1376.55/1381.13 c #Conflicts: 1472000 | #Constraints: 32672 1376.55/1381.13 c #Conflicts: 1473000 | #Constraints: 33672 1376.55/1381.13 c #Conflicts: 1474000 | #Constraints: 34672 1376.55/1381.13 c #Conflicts: 1475000 | #Constraints: 35672 1376.55/1381.13 c #Conflicts: 1476000 | #Constraints: 36672 1376.55/1381.13 c #Conflicts: 1477000 | #Constraints: 37673 1376.55/1381.13 c #Conflicts: 1478000 | #Constraints: 38673 1376.55/1381.13 c #Conflicts: 1479000 | #Constraints: 39673 1376.55/1381.13 c #Conflicts: 1480000 | #Constraints: 40674 1376.55/1381.13 c #Conflicts: 1481000 | #Constraints: 41674 1376.55/1381.13 c #Conflicts: 1482000 | #Constraints: 42674 1376.55/1381.13 c #Conflicts: 1483000 | #Constraints: 43674 1376.55/1381.13 c #Conflicts: 1484000 | #Constraints: 44674 1376.55/1381.13 c #Conflicts: 1485000 | #Constraints: 45674 1376.55/1381.13 c #Conflicts: 1486000 | #Constraints: 46675 1376.55/1381.13 c #Conflicts: 1487000 | #Constraints: 47675 1376.55/1381.13 c #Conflicts: 1488000 | #Constraints: 48675 1376.55/1381.13 c #Conflicts: 1489000 | #Constraints: 49675 1376.55/1381.13 c #Conflicts: 1490000 | #Constraints: 50675 1376.55/1381.13 c #Conflicts: 1491000 | #Constraints: 51675 1376.55/1381.13 c INPROCESSING 1376.55/1381.13 c GARBAGE COLLECT 1376.55/1381.13 c rational objective 1.87751 1388.21/1392.87 c #Conflicts: 1492000 | #Constraints: 28471 1388.21/1392.87 c #Conflicts: 1493000 | #Constraints: 29472 1388.21/1392.87 c #Conflicts: 1494000 | #Constraints: 30472 1388.21/1392.87 c #Conflicts: 1495000 | #Constraints: 31472 1388.21/1392.87 c #Conflicts: 1496000 | #Constraints: 32472 1388.21/1392.87 c #Conflicts: 1497000 | #Constraints: 33472 1388.21/1392.87 c #Conflicts: 1498000 | #Constraints: 34472 1388.21/1392.87 c #Conflicts: 1499000 | #Constraints: 35472 1388.21/1392.87 c #Conflicts: 1500000 | #Constraints: 36472 1388.21/1392.87 c #Conflicts: 1501000 | #Constraints: 37472 1388.21/1392.87 c #Conflicts: 1502000 | #Constraints: 38472 1388.21/1392.87 c #Conflicts: 1503000 | #Constraints: 39472 1388.21/1392.87 c #Conflicts: 1504000 | #Constraints: 40472 1388.21/1392.87 c #Conflicts: 1505000 | #Constraints: 41472 1388.21/1392.87 c #Conflicts: 1506000 | #Constraints: 42472 1388.21/1392.87 c #Conflicts: 1507000 | #Constraints: 43472 1388.21/1392.87 c #Conflicts: 1508000 | #Constraints: 44472 1388.21/1392.87 c #Conflicts: 1509000 | #Constraints: 45472 1388.21/1392.87 c #Conflicts: 1510000 | #Constraints: 46472 1388.21/1392.87 c #Conflicts: 1511000 | #Constraints: 47472 1388.21/1392.87 c #Conflicts: 1512000 | #Constraints: 48472 1388.21/1392.87 c #Conflicts: 1513000 | #Constraints: 49472 1388.21/1392.87 c #Conflicts: 1514000 | #Constraints: 50472 1388.21/1392.87 c #Conflicts: 1515000 | #Constraints: 51473 1388.21/1392.87 c #Conflicts: 1516000 | #Constraints: 52475 1388.21/1392.87 c INPROCESSING 1388.21/1392.87 c GARBAGE COLLECT 1388.21/1392.87 c rational objective 1.87751 1401.48/1406.14 c #Conflicts: 1517000 | #Constraints: 29089 1401.48/1406.14 c #Conflicts: 1518000 | #Constraints: 30089 1401.48/1406.14 c #Conflicts: 1519000 | #Constraints: 31089 1401.48/1406.14 c #Conflicts: 1520000 | #Constraints: 32089 1401.48/1406.14 c #Conflicts: 1521000 | #Constraints: 33089 1401.48/1406.14 c #Conflicts: 1522000 | #Constraints: 34089 1401.48/1406.14 c #Conflicts: 1523000 | #Constraints: 35089 1401.48/1406.14 c #Conflicts: 1524000 | #Constraints: 36089 1401.48/1406.14 c #Conflicts: 1525000 | #Constraints: 37090 1401.48/1406.14 c #Conflicts: 1526000 | #Constraints: 38091 1401.48/1406.14 c #Conflicts: 1527000 | #Constraints: 39091 1401.48/1406.14 c #Conflicts: 1528000 | #Constraints: 40091 1401.48/1406.14 c #Conflicts: 1529000 | #Constraints: 41092 1401.48/1406.14 c #Conflicts: 1530000 | #Constraints: 42092 1401.48/1406.14 c #Conflicts: 1531000 | #Constraints: 43092 1401.48/1406.14 c #Conflicts: 1532000 | #Constraints: 44092 1401.48/1406.14 c #Conflicts: 1533000 | #Constraints: 45092 1401.48/1406.14 c #Conflicts: 1534000 | #Constraints: 46092 1401.48/1406.14 c #Conflicts: 1535000 | #Constraints: 47092 1401.48/1406.14 c #Conflicts: 1536000 | #Constraints: 48092 1401.48/1406.14 c #Conflicts: 1537000 | #Constraints: 49092 1401.48/1406.14 c #Conflicts: 1538000 | #Constraints: 50092 1401.48/1406.14 c #Conflicts: 1539000 | #Constraints: 51092 1401.48/1406.14 c #Conflicts: 1540000 | #Constraints: 52092 1401.48/1406.14 c #Conflicts: 1541000 | #Constraints: 53092 1401.48/1406.14 c INPROCESSING 1401.48/1406.14 c GARBAGE COLLECT 1401.48/1406.14 c rational objective 1.87751 1413.73/1418.42 c #Conflicts: 1542000 | #Constraints: 29476 1413.73/1418.42 c #Conflicts: 1543000 | #Constraints: 30476 1413.73/1418.42 c #Conflicts: 1544000 | #Constraints: 31476 1413.73/1418.42 c #Conflicts: 1545000 | #Constraints: 32476 1413.73/1418.42 c #Conflicts: 1546000 | #Constraints: 33476 1413.73/1418.42 c #Conflicts: 1547000 | #Constraints: 34476 1413.73/1418.42 c #Conflicts: 1548000 | #Constraints: 35476 1413.73/1418.42 c #Conflicts: 1549000 | #Constraints: 36476 1413.73/1418.42 c #Conflicts: 1550000 | #Constraints: 37477 1413.73/1418.42 c #Conflicts: 1551000 | #Constraints: 38478 1413.73/1418.42 c #Conflicts: 1552000 | #Constraints: 39478 1413.73/1418.42 c #Conflicts: 1553000 | #Constraints: 40478 1413.73/1418.42 c #Conflicts: 1554000 | #Constraints: 41478 1413.73/1418.42 c #Conflicts: 1555000 | #Constraints: 42479 1413.73/1418.42 c #Conflicts: 1556000 | #Constraints: 43479 1413.73/1418.42 c #Conflicts: 1557000 | #Constraints: 44479 1413.73/1418.42 c #Conflicts: 1558000 | #Constraints: 45479 1413.73/1418.42 c #Conflicts: 1559000 | #Constraints: 46479 1413.73/1418.42 c #Conflicts: 1560000 | #Constraints: 47479 1413.73/1418.42 c #Conflicts: 1561000 | #Constraints: 48479 1413.73/1418.42 c #Conflicts: 1562000 | #Constraints: 49479 1413.73/1418.42 c #Conflicts: 1563000 | #Constraints: 50479 1413.73/1418.42 c #Conflicts: 1564000 | #Constraints: 51479 1413.73/1418.42 c #Conflicts: 1565000 | #Constraints: 52482 1413.73/1418.42 c #Conflicts: 1566000 | #Constraints: 53482 1413.73/1418.42 c INPROCESSING 1413.73/1418.42 c GARBAGE COLLECT 1413.73/1418.42 c rational objective 1.87751 1514.91/1519.91 c #Conflicts: 1567000 | #Constraints: 29675 1514.91/1519.91 c #Conflicts: 1568000 | #Constraints: 30675 1514.91/1519.91 c #Conflicts: 1569000 | #Constraints: 31675 1514.91/1519.91 c #Conflicts: 1570000 | #Constraints: 32675 1514.91/1519.91 c #Conflicts: 1571000 | #Constraints: 33675 1514.91/1519.91 c #Conflicts: 1572000 | #Constraints: 34675 1514.91/1519.91 c #Conflicts: 1573000 | #Constraints: 35675 1514.91/1519.91 c #Conflicts: 1574000 | #Constraints: 36675 1514.91/1519.91 c #Conflicts: 1575000 | #Constraints: 37675 1514.91/1519.91 c #Conflicts: 1576000 | #Constraints: 38675 1514.91/1519.91 c #Conflicts: 1577000 | #Constraints: 39675 1514.91/1519.91 c #Conflicts: 1578000 | #Constraints: 40675 1514.91/1519.91 c #Conflicts: 1579000 | #Constraints: 41676 1514.91/1519.91 c #Conflicts: 1580000 | #Constraints: 42676 1514.91/1519.91 c #Conflicts: 1581000 | #Constraints: 43677 1514.91/1519.91 c #Conflicts: 1582000 | #Constraints: 44677 1514.91/1519.91 c #Conflicts: 1583000 | #Constraints: 45677 1514.91/1519.91 c #Conflicts: 1584000 | #Constraints: 46677 1514.91/1519.91 c #Conflicts: 1585000 | #Constraints: 47677 1514.91/1519.91 c #Conflicts: 1586000 | #Constraints: 48677 1514.91/1519.91 c #Conflicts: 1587000 | #Constraints: 49677 1514.91/1519.91 c #Conflicts: 1588000 | #Constraints: 50677 1514.91/1519.91 c #Conflicts: 1589000 | #Constraints: 51678 1514.91/1519.91 c #Conflicts: 1590000 | #Constraints: 52678 1514.91/1519.91 c #Conflicts: 1591000 | #Constraints: 53679 1514.91/1519.91 c INPROCESSING 1514.91/1519.91 c GARBAGE COLLECT 1514.91/1519.91 c rational objective 1.87751 1572.60/1577.84 c #Conflicts: 1592000 | #Constraints: 29740 1572.60/1577.84 c #Conflicts: 1593000 | #Constraints: 30741 1572.60/1577.84 c #Conflicts: 1594000 | #Constraints: 31741 1572.60/1577.84 c #Conflicts: 1595000 | #Constraints: 32741 1572.60/1577.84 c #Conflicts: 1596000 | #Constraints: 33741 1572.60/1577.84 c #Conflicts: 1597000 | #Constraints: 34741 1572.60/1577.84 c #Conflicts: 1598000 | #Constraints: 35742 1572.60/1577.84 c #Conflicts: 1599000 | #Constraints: 36742 1572.60/1577.84 c #Conflicts: 1600000 | #Constraints: 37742 1572.60/1577.84 c #Conflicts: 1601000 | #Constraints: 38742 1572.60/1577.84 c #Conflicts: 1602000 | #Constraints: 39742 1572.60/1577.84 c #Conflicts: 1603000 | #Constraints: 40743 1572.60/1577.84 c #Conflicts: 1604000 | #Constraints: 41743 1572.60/1577.84 c #Conflicts: 1605000 | #Constraints: 42743 1572.60/1577.84 c #Conflicts: 1606000 | #Constraints: 43744 1572.60/1577.84 c #Conflicts: 1607000 | #Constraints: 44744 1572.60/1577.84 c #Conflicts: 1608000 | #Constraints: 45745 1572.60/1577.84 c #Conflicts: 1609000 | #Constraints: 46745 1572.60/1577.84 c #Conflicts: 1610000 | #Constraints: 47745 1572.60/1577.84 c #Conflicts: 1611000 | #Constraints: 48745 1572.60/1577.84 c #Conflicts: 1612000 | #Constraints: 49745 1572.60/1577.84 c #Conflicts: 1613000 | #Constraints: 50745 1572.60/1577.84 c #Conflicts: 1614000 | #Constraints: 51745 1572.60/1577.84 c #Conflicts: 1615000 | #Constraints: 52745 1572.60/1577.84 c #Conflicts: 1616000 | #Constraints: 53745 1572.60/1577.84 c INPROCESSING 1572.60/1577.84 c GARBAGE COLLECT 1572.60/1577.84 c rational objective 1.87751 1581.79/1587.04 c #Conflicts: 1617000 | #Constraints: 29530 1581.79/1587.04 c #Conflicts: 1618000 | #Constraints: 30530 1581.79/1587.04 c #Conflicts: 1619000 | #Constraints: 31531 1581.79/1587.04 c #Conflicts: 1620000 | #Constraints: 32532 1581.79/1587.04 c #Conflicts: 1621000 | #Constraints: 33533 1581.79/1587.04 c #Conflicts: 1622000 | #Constraints: 34533 1581.79/1587.04 c #Conflicts: 1623000 | #Constraints: 35533 1581.79/1587.04 c #Conflicts: 1624000 | #Constraints: 36538 1581.79/1587.04 c #Conflicts: 1625000 | #Constraints: 37538 1581.79/1587.04 c #Conflicts: 1626000 | #Constraints: 38538 1581.79/1587.04 c #Conflicts: 1627000 | #Constraints: 39538 1581.79/1587.04 c #Conflicts: 1628000 | #Constraints: 40539 1581.79/1587.04 c #Conflicts: 1629000 | #Constraints: 41541 1581.79/1587.04 c #Conflicts: 1630000 | #Constraints: 42542 1581.79/1587.04 c #Conflicts: 1631000 | #Constraints: 43542 1581.79/1587.04 c #Conflicts: 1632000 | #Constraints: 44542 1581.79/1587.04 c #Conflicts: 1633000 | #Constraints: 45542 1581.79/1587.04 c #Conflicts: 1634000 | #Constraints: 46542 1581.79/1587.04 c #Conflicts: 1635000 | #Constraints: 47542 1581.79/1587.04 c #Conflicts: 1636000 | #Constraints: 48542 1581.79/1587.04 c #Conflicts: 1637000 | #Constraints: 49542 1581.79/1587.04 c #Conflicts: 1638000 | #Constraints: 50542 1581.79/1587.04 c #Conflicts: 1639000 | #Constraints: 51542 1581.79/1587.04 c #Conflicts: 1640000 | #Constraints: 52544 1581.79/1587.04 c #Conflicts: 1641000 | #Constraints: 53545 1581.79/1587.04 c #Conflicts: 1642000 | #Constraints: 54545 1581.79/1587.04 c INPROCESSING 1581.79/1587.04 c GARBAGE COLLECT 1581.79/1587.04 c rational objective 1.87756 1597.52/1602.84 c #Conflicts: 1643000 | #Constraints: 30115 1597.52/1602.84 c #Conflicts: 1644000 | #Constraints: 31116 1597.52/1602.84 c #Conflicts: 1645000 | #Constraints: 32117 1597.52/1602.84 c #Conflicts: 1646000 | #Constraints: 33118 1597.52/1602.84 c #Conflicts: 1647000 | #Constraints: 34118 1597.52/1602.84 c #Conflicts: 1648000 | #Constraints: 35118 1597.52/1602.84 c #Conflicts: 1649000 | #Constraints: 36118 1597.52/1602.84 c #Conflicts: 1650000 | #Constraints: 37118 1597.52/1602.84 c #Conflicts: 1651000 | #Constraints: 38118 1597.52/1602.84 c #Conflicts: 1652000 | #Constraints: 39118 1597.52/1602.84 c #Conflicts: 1653000 | #Constraints: 40118 1597.52/1602.84 c #Conflicts: 1654000 | #Constraints: 41118 1597.52/1602.84 c #Conflicts: 1655000 | #Constraints: 42118 1597.52/1602.84 c #Conflicts: 1656000 | #Constraints: 43118 1597.52/1602.84 c #Conflicts: 1657000 | #Constraints: 44118 1597.52/1602.84 c #Conflicts: 1658000 | #Constraints: 45118 1597.52/1602.84 c #Conflicts: 1659000 | #Constraints: 46118 1597.52/1602.84 c #Conflicts: 1660000 | #Constraints: 47118 1597.52/1602.84 c #Conflicts: 1661000 | #Constraints: 48118 1597.52/1602.84 c #Conflicts: 1662000 | #Constraints: 49118 1597.52/1602.84 c #Conflicts: 1663000 | #Constraints: 50118 1597.52/1602.84 c #Conflicts: 1664000 | #Constraints: 51118 1597.52/1602.84 c #Conflicts: 1665000 | #Constraints: 52118 1597.52/1602.84 c #Conflicts: 1666000 | #Constraints: 53119 1597.52/1602.84 c #Conflicts: 1667000 | #Constraints: 54121 1597.52/1602.84 c #Conflicts: 1668000 | #Constraints: 55121 1597.52/1602.84 c INPROCESSING 1597.52/1602.84 c GARBAGE COLLECT 1597.52/1602.84 c rational objective 1.87758 1619.36/1624.72 c #Conflicts: 1669000 | #Constraints: 30486 1619.36/1624.72 c #Conflicts: 1670000 | #Constraints: 31487 1619.36/1624.72 c #Conflicts: 1671000 | #Constraints: 32487 1619.36/1624.72 c #Conflicts: 1672000 | #Constraints: 33487 1619.36/1624.72 c #Conflicts: 1673000 | #Constraints: 34487 1619.36/1624.72 c #Conflicts: 1674000 | #Constraints: 35488 1619.36/1624.72 c #Conflicts: 1675000 | #Constraints: 36488 1619.36/1624.72 c #Conflicts: 1676000 | #Constraints: 37488 1619.36/1624.72 c #Conflicts: 1677000 | #Constraints: 38488 1619.36/1624.72 c #Conflicts: 1678000 | #Constraints: 39488 1619.36/1624.72 c #Conflicts: 1679000 | #Constraints: 40488 1619.36/1624.72 c #Conflicts: 1680000 | #Constraints: 41488 1619.36/1624.72 c #Conflicts: 1681000 | #Constraints: 42488 1619.36/1624.72 c #Conflicts: 1682000 | #Constraints: 43488 1619.36/1624.72 c #Conflicts: 1683000 | #Constraints: 44488 1619.36/1624.72 c #Conflicts: 1684000 | #Constraints: 45488 1619.36/1624.72 c #Conflicts: 1685000 | #Constraints: 46488 1619.36/1624.72 c #Conflicts: 1686000 | #Constraints: 47488 1619.36/1624.72 c #Conflicts: 1687000 | #Constraints: 48488 1619.36/1624.72 c #Conflicts: 1688000 | #Constraints: 49490 1619.36/1624.72 c #Conflicts: 1689000 | #Constraints: 50491 1619.36/1624.72 c #Conflicts: 1690000 | #Constraints: 51491 1619.36/1624.72 c #Conflicts: 1691000 | #Constraints: 52491 1619.36/1624.72 c #Conflicts: 1692000 | #Constraints: 53491 1619.36/1624.72 c #Conflicts: 1693000 | #Constraints: 54491 1619.36/1624.72 c #Conflicts: 1694000 | #Constraints: 55491 1619.36/1624.72 c INPROCESSING 1619.36/1624.72 c GARBAGE COLLECT 1619.36/1624.72 c rational objective 1.88021 1643.29/1648.72 c #Conflicts: 1695000 | #Constraints: 30676 1643.29/1648.72 c #Conflicts: 1696000 | #Constraints: 31676 1643.29/1648.72 c #Conflicts: 1697000 | #Constraints: 32676 1643.29/1648.72 c #Conflicts: 1698000 | #Constraints: 33676 1643.29/1648.72 c #Conflicts: 1699000 | #Constraints: 34676 1643.29/1648.72 c #Conflicts: 1700000 | #Constraints: 35676 1643.29/1648.72 c #Conflicts: 1701000 | #Constraints: 36676 1643.29/1648.72 c #Conflicts: 1702000 | #Constraints: 37676 1643.29/1648.72 c #Conflicts: 1703000 | #Constraints: 38676 1643.29/1648.72 c #Conflicts: 1704000 | #Constraints: 39676 1643.29/1648.72 c #Conflicts: 1705000 | #Constraints: 40676 1643.29/1648.72 c #Conflicts: 1706000 | #Constraints: 41676 1643.29/1648.72 c #Conflicts: 1707000 | #Constraints: 42676 1643.29/1648.72 c #Conflicts: 1708000 | #Constraints: 43677 1643.29/1648.72 c #Conflicts: 1709000 | #Constraints: 44677 1643.29/1648.72 c #Conflicts: 1710000 | #Constraints: 45677 1643.29/1648.72 c #Conflicts: 1711000 | #Constraints: 46678 1643.29/1648.72 c #Conflicts: 1712000 | #Constraints: 47678 1643.29/1648.72 c #Conflicts: 1713000 | #Constraints: 48679 1643.29/1648.72 c #Conflicts: 1714000 | #Constraints: 49679 1643.29/1648.72 c #Conflicts: 1715000 | #Constraints: 50679 1643.29/1648.72 c #Conflicts: 1716000 | #Constraints: 51681 1643.29/1648.72 c #Conflicts: 1717000 | #Constraints: 52681 1643.29/1648.72 c #Conflicts: 1718000 | #Constraints: 53681 1643.29/1648.72 c #Conflicts: 1719000 | #Constraints: 54681 1643.29/1648.72 c #Conflicts: 1720000 | #Constraints: 55681 1643.29/1648.72 c INPROCESSING 1643.29/1648.72 c GARBAGE COLLECT 1643.29/1648.72 c rational objective 1.88021 1666.21/1671.72 c #Conflicts: 1721000 | #Constraints: 30700 1666.21/1671.72 c #Conflicts: 1722000 | #Constraints: 31700 1666.21/1671.72 c #Conflicts: 1723000 | #Constraints: 32701 1666.21/1671.72 c #Conflicts: 1724000 | #Constraints: 33701 1666.21/1671.72 c #Conflicts: 1725000 | #Constraints: 34701 1666.21/1671.72 c #Conflicts: 1726000 | #Constraints: 35701 1666.21/1671.72 c #Conflicts: 1727000 | #Constraints: 36701 1666.21/1671.72 c #Conflicts: 1728000 | #Constraints: 37701 1666.21/1671.72 c #Conflicts: 1729000 | #Constraints: 38701 1666.21/1671.72 c #Conflicts: 1730000 | #Constraints: 39702 1666.21/1671.72 c #Conflicts: 1731000 | #Constraints: 40702 1666.21/1671.72 c #Conflicts: 1732000 | #Constraints: 41703 1666.21/1671.72 c #Conflicts: 1733000 | #Constraints: 42703 1666.21/1671.72 c #Conflicts: 1734000 | #Constraints: 43703 1666.21/1671.72 c #Conflicts: 1735000 | #Constraints: 44703 1666.21/1671.72 c #Conflicts: 1736000 | #Constraints: 45703 1666.21/1671.72 c #Conflicts: 1737000 | #Constraints: 46703 1666.21/1671.72 c #Conflicts: 1738000 | #Constraints: 47703 1666.21/1671.72 c #Conflicts: 1739000 | #Constraints: 48703 1666.21/1671.72 c #Conflicts: 1740000 | #Constraints: 49703 1666.21/1671.72 c #Conflicts: 1741000 | #Constraints: 50703 1666.21/1671.72 c #Conflicts: 1742000 | #Constraints: 51704 1666.21/1671.72 c #Conflicts: 1743000 | #Constraints: 52705 1666.21/1671.72 c #Conflicts: 1744000 | #Constraints: 53705 1666.21/1671.72 c #Conflicts: 1745000 | #Constraints: 54705 1666.21/1671.72 c #Conflicts: 1746000 | #Constraints: 55705 1666.21/1671.72 c INPROCESSING 1666.21/1671.72 c GARBAGE COLLECT 1666.21/1671.72 c rational objective 1.88021 1675.39/1680.90 c #Conflicts: 1747000 | #Constraints: 30472 1675.39/1680.90 c #Conflicts: 1748000 | #Constraints: 31472 1675.39/1680.90 c #Conflicts: 1749000 | #Constraints: 32472 1675.39/1680.90 c #Conflicts: 1750000 | #Constraints: 33473 1675.39/1680.90 c #Conflicts: 1751000 | #Constraints: 34473 1675.39/1680.90 c #Conflicts: 1752000 | #Constraints: 35474 1675.39/1680.90 c #Conflicts: 1753000 | #Constraints: 36476 1675.39/1680.90 c #Conflicts: 1754000 | #Constraints: 37477 1675.39/1680.90 c #Conflicts: 1755000 | #Constraints: 38479 1675.39/1680.90 c #Conflicts: 1756000 | #Constraints: 39480 1675.39/1680.90 c #Conflicts: 1757000 | #Constraints: 40480 1675.39/1680.90 c #Conflicts: 1758000 | #Constraints: 41481 1675.39/1680.90 c #Conflicts: 1759000 | #Constraints: 42481 1675.39/1680.90 c #Conflicts: 1760000 | #Constraints: 43481 1675.39/1680.90 c #Conflicts: 1761000 | #Constraints: 44481 1675.39/1680.90 c #Conflicts: 1762000 | #Constraints: 45483 1675.39/1680.90 c #Conflicts: 1763000 | #Constraints: 46483 1675.39/1680.90 c #Conflicts: 1764000 | #Constraints: 47483 1675.39/1680.90 c #Conflicts: 1765000 | #Constraints: 48483 1675.39/1680.90 c #Conflicts: 1766000 | #Constraints: 49483 1675.39/1680.90 c #Conflicts: 1767000 | #Constraints: 50483 1675.39/1680.90 c #Conflicts: 1768000 | #Constraints: 51483 1675.39/1680.90 c #Conflicts: 1769000 | #Constraints: 52483 1675.39/1680.90 c #Conflicts: 1770000 | #Constraints: 53483 1675.39/1680.90 c #Conflicts: 1771000 | #Constraints: 54484 1675.39/1680.90 c #Conflicts: 1772000 | #Constraints: 55484 1675.39/1680.90 c #Conflicts: 1773000 | #Constraints: 56484 1675.39/1680.90 c INPROCESSING 1675.39/1680.90 c GARBAGE COLLECT 1675.39/1680.90 c rational objective 1.88022 1778.45/1784.34 c #Conflicts: 1774000 | #Constraints: 31057 1778.45/1784.34 c #Conflicts: 1775000 | #Constraints: 32058 1778.45/1784.34 c #Conflicts: 1776000 | #Constraints: 33058 1778.45/1784.34 c #Conflicts: 1777000 | #Constraints: 34058 1778.45/1784.34 c #Conflicts: 1778000 | #Constraints: 35058 1778.45/1784.34 c #Conflicts: 1779000 | #Constraints: 36058 1778.45/1784.34 c #Conflicts: 1780000 | #Constraints: 37058 1778.45/1784.34 c #Conflicts: 1781000 | #Constraints: 38058 1778.45/1784.34 c #Conflicts: 1782000 | #Constraints: 39058 1778.45/1784.34 c #Conflicts: 1783000 | #Constraints: 40058 1778.45/1784.34 c #Conflicts: 1784000 | #Constraints: 41058 1778.45/1784.34 c #Conflicts: 1785000 | #Constraints: 42058 1778.45/1784.34 c #Conflicts: 1786000 | #Constraints: 43058 1778.45/1784.34 c #Conflicts: 1787000 | #Constraints: 44058 1778.45/1784.34 c #Conflicts: 1788000 | #Constraints: 45058 1778.45/1784.34 c #Conflicts: 1789000 | #Constraints: 46058 1778.45/1784.34 c #Conflicts: 1790000 | #Constraints: 47058 1778.45/1784.34 c #Conflicts: 1791000 | #Constraints: 48058 1778.45/1784.34 c #Conflicts: 1792000 | #Constraints: 49058 1778.45/1784.34 c #Conflicts: 1793000 | #Constraints: 50058 1778.45/1784.34 c #Conflicts: 1794000 | #Constraints: 51058 1778.45/1784.34 c #Conflicts: 1795000 | #Constraints: 52059 1778.45/1784.34 c #Conflicts: 1796000 | #Constraints: 53059 1778.45/1784.34 c #Conflicts: 1797000 | #Constraints: 54060 1778.45/1784.34 c #Conflicts: 1798000 | #Constraints: 55060 1778.45/1784.34 c #Conflicts: 1799000 | #Constraints: 56060 1778.45/1784.34 c #Conflicts: 1800000 | #Constraints: 57060 1778.45/1784.34 c #Conflicts: 1801000 | #Constraints: 58060 1778.45/1784.34 c #Conflicts: 1802000 | #Constraints: 59060 1778.45/1784.34 c #Conflicts: 1803000 | #Constraints: 60060 1778.45/1784.34 c #Conflicts: 1804000 | #Constraints: 61060 1778.45/1784.34 c #Conflicts: 1805000 | #Constraints: 62060 1778.45/1784.34 c #Conflicts: 1806000 | #Constraints: 63061 1778.45/1784.34 c #Conflicts: 1807000 | #Constraints: 64061 1778.45/1784.34 c #Conflicts: 1808000 | #Constraints: 65061 1778.45/1784.34 c #Conflicts: 1809000 | #Constraints: 66061 1778.45/1784.34 c #Conflicts: 1810000 | #Constraints: 67061 1778.45/1784.34 c #Conflicts: 1811000 | #Constraints: 68061 1778.45/1784.34 c #Conflicts: 1812000 | #Constraints: 69061 1778.45/1784.34 c #Conflicts: 1813000 | #Constraints: 70061 1778.45/1784.34 c #Conflicts: 1814000 | #Constraints: 71061 1778.45/1784.34 c #Conflicts: 1815000 | #Constraints: 72061 1778.45/1784.34 c #Conflicts: 1816000 | #Constraints: 73061 1778.45/1784.34 c #Conflicts: 1817000 | #Constraints: 74061 1778.45/1784.34 c #Conflicts: 1818000 | #Constraints: 75061 1778.45/1784.34 c #Conflicts: 1819000 | #Constraints: 76061 1778.45/1784.34 c #Conflicts: 1820000 | #Constraints: 77061 1778.45/1784.34 c #Conflicts: 1821000 | #Constraints: 78061 1778.45/1784.34 c #Conflicts: 1822000 | #Constraints: 79061 1778.45/1784.34 c #Conflicts: 1823000 | #Constraints: 80061 1778.45/1784.34 c #Conflicts: 1824000 | #Constraints: 81061 1778.45/1784.34 c #Conflicts: 1825000 | #Constraints: 82061 1778.45/1784.34 c #Conflicts: 1826000 | #Constraints: 83061 1778.45/1784.34 c #Conflicts: 1827000 | #Constraints: 84061 1778.45/1784.34 c #Conflicts: 1828000 | #Constraints: 85061 1778.45/1784.34 c #Conflicts: 1829000 | #Constraints: 86061 1778.45/1784.34 c #Conflicts: 1830000 | #Constraints: 87061 1778.45/1784.34 c #Conflicts: 1831000 | #Constraints: 88061 1778.45/1784.34 c #Conflicts: 1832000 | #Constraints: 89061 1778.45/1784.34 c #Conflicts: 1833000 | #Constraints: 90061 1778.45/1784.34 c #Conflicts: 1834000 | #Constraints: 91061 1778.45/1784.34 c #Conflicts: 1835000 | #Constraints: 92063 1778.45/1784.34 c #Conflicts: 1836000 | #Constraints: 93063 1778.45/1784.34 c #Conflicts: 1837000 | #Constraints: 94063 1778.45/1784.34 c #Conflicts: 1838000 | #Constraints: 95063 1778.45/1784.34 c #Conflicts: 1839000 | #Constraints: 96063 1778.45/1784.34 c #Conflicts: 1840000 | #Constraints: 97063 1778.45/1784.34 c #Conflicts: 1841000 | #Constraints: 98063 1778.45/1784.34 c #Conflicts: 1842000 | #Constraints: 99064 1778.45/1784.34 c #Conflicts: 1843000 | #Constraints: 100064 1778.45/1784.34 c #Conflicts: 1844000 | #Constraints: 101064 1778.45/1784.34 c #Conflicts: 1845000 | #Constraints: 102064 1778.45/1784.34 c #Conflicts: 1846000 | #Constraints: 103064 1778.45/1784.34 c #Conflicts: 1847000 | #Constraints: 104065 1778.45/1784.34 c #Conflicts: 1848000 | #Constraints: 105065 1778.45/1784.34 c #Conflicts: 1849000 | #Constraints: 106065 1778.45/1784.34 c #Conflicts: 1850000 | #Constraints: 107065 1778.45/1784.34 c #Conflicts: 1851000 | #Constraints: 108066 1778.45/1784.34 c #Conflicts: 1852000 | #Constraints: 109066 1963.56/1970.06 c #Conflicts: 1853000 | #Constraints: 110066 1963.56/1970.06 c #Conflicts: 1854000 | #Constraints: 111066 1963.56/1970.06 c #Conflicts: 1855000 | #Constraints: 112066 1963.56/1970.06 c #Conflicts: 1856000 | #Constraints: 113067 1963.56/1970.06 c #Conflicts: 1857000 | #Constraints: 114067 1963.56/1970.06 c #Conflicts: 1858000 | #Constraints: 115067 1963.56/1970.06 c #Conflicts: 1859000 | #Constraints: 116068 1963.56/1970.06 c #Conflicts: 1860000 | #Constraints: 117068 1963.56/1970.06 c #Conflicts: 1861000 | #Constraints: 118068 1963.56/1970.06 c #Conflicts: 1862000 | #Constraints: 119068 1963.56/1970.06 c #Conflicts: 1863000 | #Constraints: 120068 1963.56/1970.06 c #Conflicts: 1864000 | #Constraints: 121068 1963.56/1970.06 c #Conflicts: 1865000 | #Constraints: 122068 1963.56/1970.06 c #Conflicts: 1866000 | #Constraints: 123068 1963.56/1970.06 c #Conflicts: 1867000 | #Constraints: 124068 1963.56/1970.06 c #Conflicts: 1868000 | #Constraints: 125068 1963.56/1970.06 c #Conflicts: 1869000 | #Constraints: 126068 1963.56/1970.06 c #Conflicts: 1870000 | #Constraints: 127068 1963.56/1970.06 c #Conflicts: 1871000 | #Constraints: 128069 1963.56/1970.06 c #Conflicts: 1872000 | #Constraints: 129069 1963.56/1970.06 c #Conflicts: 1873000 | #Constraints: 130070 1963.56/1970.06 c #Conflicts: 1874000 | #Constraints: 131071 1963.56/1970.06 c #Conflicts: 1875000 | #Constraints: 132072 1963.56/1970.06 c #Conflicts: 1876000 | #Constraints: 133072 1963.56/1970.06 c #Conflicts: 1877000 | #Constraints: 134072 1963.56/1970.06 c #Conflicts: 1878000 | #Constraints: 135072 1963.56/1970.06 c #Conflicts: 1879000 | #Constraints: 136072 1963.56/1970.06 c #Conflicts: 1880000 | #Constraints: 137072 1963.56/1970.06 c #Conflicts: 1881000 | #Constraints: 138072 1963.56/1970.06 c #Conflicts: 1882000 | #Constraints: 139072 1963.56/1970.06 c #Conflicts: 1883000 | #Constraints: 140072 1963.56/1970.06 c #Conflicts: 1884000 | #Constraints: 141072 1963.56/1970.06 c #Conflicts: 1885000 | #Constraints: 142072 1963.56/1970.06 c #Conflicts: 1886000 | #Constraints: 143072 1963.56/1970.06 c #Conflicts: 1887000 | #Constraints: 144072 1963.56/1970.06 c #Conflicts: 1888000 | #Constraints: 145072 1963.56/1970.06 c #Conflicts: 1889000 | #Constraints: 146072 1963.56/1970.06 c #Conflicts: 1890000 | #Constraints: 147072 1963.56/1970.06 c #Conflicts: 1891000 | #Constraints: 148072 1963.56/1970.06 c #Conflicts: 1892000 | #Constraints: 149072 1963.56/1970.06 c #Conflicts: 1893000 | #Constraints: 150072 1963.56/1970.06 c #Conflicts: 1894000 | #Constraints: 151074 1963.56/1970.06 c #Conflicts: 1895000 | #Constraints: 152075 1963.56/1970.06 c #Conflicts: 1896000 | #Constraints: 153075 1963.56/1970.06 c #Conflicts: 1897000 | #Constraints: 154075 1963.56/1970.06 c #Conflicts: 1898000 | #Constraints: 155075 1963.56/1970.06 c #Conflicts: 1899000 | #Constraints: 156076 1963.56/1970.06 c #Conflicts: 1900000 | #Constraints: 157076 1963.56/1970.06 c #Conflicts: 1901000 | #Constraints: 158076 1963.56/1970.06 c #Conflicts: 1902000 | #Constraints: 159076 1963.56/1970.06 c #Conflicts: 1903000 | #Constraints: 160076 1963.56/1970.06 c #Conflicts: 1904000 | #Constraints: 161077 1963.56/1970.06 c #Conflicts: 1905000 | #Constraints: 162078 1963.56/1970.06 c #Conflicts: 1906000 | #Constraints: 163078 1963.56/1970.06 c #Conflicts: 1907000 | #Constraints: 164078 1963.56/1970.06 c #Conflicts: 1908000 | #Constraints: 165078 1963.56/1970.06 c #Conflicts: 1909000 | #Constraints: 166078 1963.56/1970.06 c #Conflicts: 1910000 | #Constraints: 167078 1963.56/1970.06 c #Conflicts: 1911000 | #Constraints: 168078 1963.56/1970.06 c #Conflicts: 1912000 | #Constraints: 169078 1963.56/1970.06 c INPROCESSING 1963.56/1970.06 c GARBAGE COLLECT 1963.56/1970.06 c rational objective 1.88022 2017.70/2024.30 c #Conflicts: 1913000 | #Constraints: 87239 2017.70/2024.30 c #Conflicts: 1914000 | #Constraints: 88239 2017.70/2024.30 c #Conflicts: 1915000 | #Constraints: 89239 2017.70/2024.30 c #Conflicts: 1916000 | #Constraints: 90240 2017.70/2024.30 c #Conflicts: 1917000 | #Constraints: 91240 2017.70/2024.30 c #Conflicts: 1918000 | #Constraints: 92240 2017.70/2024.30 c #Conflicts: 1919000 | #Constraints: 93240 2017.70/2024.30 c #Conflicts: 1920000 | #Constraints: 94240 2017.70/2024.30 c #Conflicts: 1921000 | #Constraints: 95240 2017.70/2024.30 c #Conflicts: 1922000 | #Constraints: 96240 2017.70/2024.30 c #Conflicts: 1923000 | #Constraints: 97240 2017.70/2024.30 c #Conflicts: 1924000 | #Constraints: 98240 2017.70/2024.30 c #Conflicts: 1925000 | #Constraints: 99240 2017.70/2024.30 c #Conflicts: 1926000 | #Constraints: 100240 2017.70/2024.30 c #Conflicts: 1927000 | #Constraints: 101240 2017.70/2024.30 c #Conflicts: 1928000 | #Constraints: 102240 2017.70/2024.30 c #Conflicts: 1929000 | #Constraints: 103240 2017.70/2024.30 c #Conflicts: 1930000 | #Constraints: 104240 2017.70/2024.30 c #Conflicts: 1931000 | #Constraints: 105240 2017.70/2024.30 c #Conflicts: 1932000 | #Constraints: 106240 2017.70/2024.30 c #Conflicts: 1933000 | #Constraints: 107240 2017.70/2024.30 c #Conflicts: 1934000 | #Constraints: 108240 2017.70/2024.30 c #Conflicts: 1935000 | #Constraints: 109240 2017.70/2024.30 c #Conflicts: 1936000 | #Constraints: 110240 2017.70/2024.30 c #Conflicts: 1937000 | #Constraints: 111240 2017.70/2024.30 c #Conflicts: 1938000 | #Constraints: 112240 2017.70/2024.30 c #Conflicts: 1939000 | #Constraints: 113240 2017.70/2024.30 c #Conflicts: 1940000 | #Constraints: 114240 2017.70/2024.30 c INPROCESSING 2017.70/2024.30 c GARBAGE COLLECT 2017.70/2024.30 c rational objective 1.88034 2091.50/2098.30 c #Conflicts: 1941000 | #Constraints: 59847 2091.50/2098.30 c #Conflicts: 1942000 | #Constraints: 60848 2091.50/2098.30 c #Conflicts: 1943000 | #Constraints: 61848 2091.50/2098.30 c #Conflicts: 1944000 | #Constraints: 62850 2091.50/2098.30 c #Conflicts: 1945000 | #Constraints: 63850 2091.50/2098.30 c #Conflicts: 1946000 | #Constraints: 64850 2091.50/2098.30 c #Conflicts: 1947000 | #Constraints: 65850 2091.50/2098.30 c #Conflicts: 1948000 | #Constraints: 66850 2091.50/2098.30 c #Conflicts: 1949000 | #Constraints: 67850 2091.50/2098.30 c #Conflicts: 1950000 | #Constraints: 68850 2091.50/2098.30 c #Conflicts: 1951000 | #Constraints: 69850 2091.50/2098.30 c #Conflicts: 1952000 | #Constraints: 70850 2091.50/2098.30 c #Conflicts: 1953000 | #Constraints: 71850 2091.50/2098.30 c #Conflicts: 1954000 | #Constraints: 72850 2091.50/2098.30 c #Conflicts: 1955000 | #Constraints: 73850 2091.50/2098.30 c #Conflicts: 1956000 | #Constraints: 74851 2091.50/2098.30 c #Conflicts: 1957000 | #Constraints: 75851 2091.50/2098.30 c #Conflicts: 1958000 | #Constraints: 76851 2091.50/2098.30 c #Conflicts: 1959000 | #Constraints: 77851 2091.50/2098.30 c #Conflicts: 1960000 | #Constraints: 78851 2091.50/2098.30 c #Conflicts: 1961000 | #Constraints: 79851 2091.50/2098.30 c #Conflicts: 1962000 | #Constraints: 80851 2091.50/2098.30 c #Conflicts: 1963000 | #Constraints: 81851 2091.50/2098.30 c #Conflicts: 1964000 | #Constraints: 82851 2091.50/2098.30 c #Conflicts: 1965000 | #Constraints: 83851 2091.50/2098.30 c #Conflicts: 1966000 | #Constraints: 84851 2091.50/2098.30 c #Conflicts: 1967000 | #Constraints: 85851 2091.50/2098.30 c #Conflicts: 1968000 | #Constraints: 86851 2091.50/2098.30 c INPROCESSING 2091.50/2098.30 c GARBAGE COLLECT 2091.50/2098.30 c #Conflicts: 1969000 | #Constraints: 46165 2091.50/2098.30 c #Conflicts: 1970000 | #Constraints: 47165 2091.50/2098.30 c #Conflicts: 1971000 | #Constraints: 48165 2091.50/2098.30 c #Conflicts: 1972000 | #Constraints: 49165 2091.50/2098.30 c #Conflicts: 1973000 | #Constraints: 50165 2091.50/2098.30 c #Conflicts: 1974000 | #Constraints: 51165 2091.50/2098.30 c #Conflicts: 1975000 | #Constraints: 52165 2091.50/2098.30 c #Conflicts: 1976000 | #Constraints: 53165 2091.50/2098.30 c #Conflicts: 1977000 | #Constraints: 54165 2091.50/2098.30 c #Conflicts: 1978000 | #Constraints: 55165 2091.50/2098.30 c #Conflicts: 1979000 | #Constraints: 56165 2091.50/2098.30 c #Conflicts: 1980000 | #Constraints: 57165 2091.50/2098.30 c #Conflicts: 1981000 | #Constraints: 58165 2091.50/2098.30 c #Conflicts: 1982000 | #Constraints: 59165 2091.50/2098.30 c #Conflicts: 1983000 | #Constraints: 60166 2091.50/2098.30 c #Conflicts: 1984000 | #Constraints: 61166 2091.50/2098.30 c #Conflicts: 1985000 | #Constraints: 62166 2091.50/2098.30 c #Conflicts: 1986000 | #Constraints: 63166 2091.50/2098.30 c #Conflicts: 1987000 | #Constraints: 64166 2091.50/2098.30 c #Conflicts: 1988000 | #Constraints: 65166 2091.50/2098.30 c #Conflicts: 1989000 | #Constraints: 66167 2091.50/2098.30 c #Conflicts: 1990000 | #Constraints: 67167 2091.50/2098.30 c #Conflicts: 1991000 | #Constraints: 68167 2091.50/2098.30 c #Conflicts: 1992000 | #Constraints: 69167 2091.50/2098.30 c #Conflicts: 1993000 | #Constraints: 70168 2091.50/2098.30 c #Conflicts: 1994000 | #Constraints: 71169 2091.50/2098.30 c #Conflicts: 1995000 | #Constraints: 72170 2091.50/2098.30 c #Conflicts: 1996000 | #Constraints: 73170 2091.50/2098.30 c INPROCESSING 2091.50/2098.30 c GARBAGE COLLECT 2091.50/2098.30 c rational objective 1.88184 2132.58/2139.50 c #Conflicts: 1997000 | #Constraints: 39115 2132.58/2139.50 c #Conflicts: 1998000 | #Constraints: 40115 2132.58/2139.50 c #Conflicts: 1999000 | #Constraints: 41115 2132.58/2139.50 c #Conflicts: 2000000 | #Constraints: 42116 2132.58/2139.50 c #Conflicts: 2001000 | #Constraints: 43116 2132.58/2139.50 c #Conflicts: 2002000 | #Constraints: 44117 2132.58/2139.50 c #Conflicts: 2003000 | #Constraints: 45117 2132.58/2139.50 c #Conflicts: 2004000 | #Constraints: 46118 2132.58/2139.50 c #Conflicts: 2005000 | #Constraints: 47119 2132.58/2139.50 c #Conflicts: 2006000 | #Constraints: 48119 2132.58/2139.50 c #Conflicts: 2007000 | #Constraints: 49119 2132.58/2139.50 c #Conflicts: 2008000 | #Constraints: 50119 2132.58/2139.50 c #Conflicts: 2009000 | #Constraints: 51119 2132.58/2139.50 c #Conflicts: 2010000 | #Constraints: 52119 2132.58/2139.50 c #Conflicts: 2011000 | #Constraints: 53120 2132.58/2139.50 c #Conflicts: 2012000 | #Constraints: 54120 2132.58/2139.50 c #Conflicts: 2013000 | #Constraints: 55120 2132.58/2139.50 c #Conflicts: 2014000 | #Constraints: 56120 2132.58/2139.50 c #Conflicts: 2015000 | #Constraints: 57120 2132.58/2139.50 c #Conflicts: 2016000 | #Constraints: 58120 2132.58/2139.50 c #Conflicts: 2017000 | #Constraints: 59120 2132.58/2139.50 c #Conflicts: 2018000 | #Constraints: 60125 2132.58/2139.50 c #Conflicts: 2019000 | #Constraints: 61125 2132.58/2139.50 c #Conflicts: 2020000 | #Constraints: 62125 2132.58/2139.50 c #Conflicts: 2021000 | #Constraints: 63126 2132.58/2139.50 c #Conflicts: 2022000 | #Constraints: 64127 2132.58/2139.50 c #Conflicts: 2023000 | #Constraints: 65127 2132.58/2139.50 c #Conflicts: 2024000 | #Constraints: 66127 2132.58/2139.50 c #Conflicts: 2025000 | #Constraints: 67127 2132.58/2139.50 c INPROCESSING 2132.58/2139.50 c GARBAGE COLLECT 2132.58/2139.50 c rational objective 1.8819 2154.52/2161.50 c #Conflicts: 2026000 | #Constraints: 36371 2154.52/2161.50 c #Conflicts: 2027000 | #Constraints: 37372 2154.52/2161.50 c #Conflicts: 2028000 | #Constraints: 38372 2154.52/2161.50 c #Conflicts: 2029000 | #Constraints: 39372 2154.52/2161.50 c #Conflicts: 2030000 | #Constraints: 40372 2154.52/2161.50 c #Conflicts: 2031000 | #Constraints: 41372 2154.52/2161.50 c #Conflicts: 2032000 | #Constraints: 42372 2154.52/2161.50 c #Conflicts: 2033000 | #Constraints: 43372 2154.52/2161.50 c #Conflicts: 2034000 | #Constraints: 44372 2154.52/2161.50 c #Conflicts: 2035000 | #Constraints: 45372 2154.52/2161.50 c #Conflicts: 2036000 | #Constraints: 46372 2154.52/2161.50 c #Conflicts: 2037000 | #Constraints: 47372 2154.52/2161.50 c #Conflicts: 2038000 | #Constraints: 48372 2154.52/2161.50 c #Conflicts: 2039000 | #Constraints: 49373 2154.52/2161.50 c #Conflicts: 2040000 | #Constraints: 50373 2154.52/2161.50 c #Conflicts: 2041000 | #Constraints: 51373 2154.52/2161.50 c #Conflicts: 2042000 | #Constraints: 52373 2154.52/2161.50 c #Conflicts: 2043000 | #Constraints: 53375 2154.52/2161.50 c #Conflicts: 2044000 | #Constraints: 54376 2154.52/2161.50 c #Conflicts: 2045000 | #Constraints: 55376 2154.52/2161.50 c #Conflicts: 2046000 | #Constraints: 56376 2154.52/2161.50 c #Conflicts: 2047000 | #Constraints: 57376 2154.52/2161.50 c #Conflicts: 2048000 | #Constraints: 58377 2154.52/2161.50 c #Conflicts: 2049000 | #Constraints: 59378 2154.52/2161.50 c #Conflicts: 2050000 | #Constraints: 60379 2154.52/2161.50 c #Conflicts: 2051000 | #Constraints: 61379 2154.52/2161.50 c #Conflicts: 2052000 | #Constraints: 62379 2154.52/2161.50 c #Conflicts: 2053000 | #Constraints: 63379 2154.52/2161.50 c #Conflicts: 2054000 | #Constraints: 64379 2154.52/2161.50 c INPROCESSING 2154.52/2161.50 c GARBAGE COLLECT 2154.52/2161.50 c rational objective 1.88194 2174.87/2181.91 c #Conflicts: 2055000 | #Constraints: 35134 2174.87/2181.91 c #Conflicts: 2056000 | #Constraints: 36134 2174.87/2181.91 c #Conflicts: 2057000 | #Constraints: 37134 2174.87/2181.91 c #Conflicts: 2058000 | #Constraints: 38135 2174.87/2181.91 c #Conflicts: 2059000 | #Constraints: 39136 2174.87/2181.91 c #Conflicts: 2060000 | #Constraints: 40137 2174.87/2181.91 c #Conflicts: 2061000 | #Constraints: 41137 2174.87/2181.91 c #Conflicts: 2062000 | #Constraints: 42137 2174.87/2181.91 c #Conflicts: 2063000 | #Constraints: 43138 2174.87/2181.91 c #Conflicts: 2064000 | #Constraints: 44138 2174.87/2181.91 c #Conflicts: 2065000 | #Constraints: 45140 2174.87/2181.91 c #Conflicts: 2066000 | #Constraints: 46140 2174.87/2181.91 c #Conflicts: 2067000 | #Constraints: 47140 2174.87/2181.91 c #Conflicts: 2068000 | #Constraints: 48142 2174.87/2181.91 c #Conflicts: 2069000 | #Constraints: 49142 2174.87/2181.91 c #Conflicts: 2070000 | #Constraints: 50143 2174.87/2181.91 c #Conflicts: 2071000 | #Constraints: 51144 2174.87/2181.91 c #Conflicts: 2072000 | #Constraints: 52145 2174.87/2181.91 c #Conflicts: 2073000 | #Constraints: 53145 2174.87/2181.91 c #Conflicts: 2074000 | #Constraints: 54146 2174.87/2181.91 c #Conflicts: 2075000 | #Constraints: 55147 2174.87/2181.91 c #Conflicts: 2076000 | #Constraints: 56147 2174.87/2181.91 c #Conflicts: 2077000 | #Constraints: 57147 2174.87/2181.91 c #Conflicts: 2078000 | #Constraints: 58147 2174.87/2181.91 c #Conflicts: 2079000 | #Constraints: 59147 2174.87/2181.91 c #Conflicts: 2080000 | #Constraints: 60147 2174.87/2181.91 c #Conflicts: 2081000 | #Constraints: 61147 2174.87/2181.91 c #Conflicts: 2082000 | #Constraints: 62147 2174.87/2181.91 c INPROCESSING 2174.87/2181.91 c GARBAGE COLLECT 2174.87/2181.91 c rational objective 1.89814 2202.19/2209.38 c #Conflicts: 2083000 | #Constraints: 33607 2202.19/2209.38 c #Conflicts: 2084000 | #Constraints: 34607 2202.19/2209.38 c #Conflicts: 2085000 | #Constraints: 35607 2202.19/2209.38 c #Conflicts: 2086000 | #Constraints: 36607 2202.19/2209.38 c #Conflicts: 2087000 | #Constraints: 37607 2202.19/2209.38 c #Conflicts: 2088000 | #Constraints: 38607 2202.19/2209.38 c #Conflicts: 2089000 | #Constraints: 39607 2202.19/2209.38 c #Conflicts: 2090000 | #Constraints: 40608 2202.19/2209.38 c #Conflicts: 2091000 | #Constraints: 41608 2202.19/2209.38 c #Conflicts: 2092000 | #Constraints: 42608 2202.19/2209.38 c #Conflicts: 2093000 | #Constraints: 43609 2202.19/2209.38 c #Conflicts: 2094000 | #Constraints: 44609 2202.19/2209.38 c #Conflicts: 2095000 | #Constraints: 45609 2202.19/2209.38 c #Conflicts: 2096000 | #Constraints: 46609 2202.19/2209.38 c #Conflicts: 2097000 | #Constraints: 47610 2202.19/2209.38 c #Conflicts: 2098000 | #Constraints: 48610 2202.19/2209.38 c #Conflicts: 2099000 | #Constraints: 49610 2202.19/2209.38 c #Conflicts: 2100000 | #Constraints: 50611 2202.19/2209.38 c #Conflicts: 2101000 | #Constraints: 51611 2202.19/2209.38 c #Conflicts: 2102000 | #Constraints: 52612 2202.19/2209.38 c #Conflicts: 2103000 | #Constraints: 53613 2202.19/2209.38 c #Conflicts: 2104000 | #Constraints: 54613 2202.19/2209.38 c #Conflicts: 2105000 | #Constraints: 55613 2202.19/2209.38 c #Conflicts: 2106000 | #Constraints: 56613 2202.19/2209.38 c #Conflicts: 2107000 | #Constraints: 57613 2202.19/2209.38 c #Conflicts: 2108000 | #Constraints: 58613 2202.19/2209.38 c #Conflicts: 2109000 | #Constraints: 59613 2202.19/2209.38 c #Conflicts: 2110000 | #Constraints: 60613 2202.19/2209.38 c #Conflicts: 2111000 | #Constraints: 61613 2202.19/2209.38 c #Conflicts: 2112000 | #Constraints: 62613 2202.19/2209.38 c INPROCESSING 2202.19/2209.38 c GARBAGE COLLECT 2202.19/2209.38 c rational objective 1.89895 2220.85/2228.04 c #Conflicts: 2113000 | #Constraints: 34269 2220.85/2228.04 c #Conflicts: 2114000 | #Constraints: 35270 2220.85/2228.04 c #Conflicts: 2115000 | #Constraints: 36270 2220.85/2228.04 c #Conflicts: 2116000 | #Constraints: 37270 2220.85/2228.04 c #Conflicts: 2117000 | #Constraints: 38270 2220.85/2228.04 c #Conflicts: 2118000 | #Constraints: 39271 2220.85/2228.04 c #Conflicts: 2119000 | #Constraints: 40272 2220.85/2228.04 c #Conflicts: 2120000 | #Constraints: 41272 2220.85/2228.04 c #Conflicts: 2121000 | #Constraints: 42274 2220.85/2228.04 c #Conflicts: 2122000 | #Constraints: 43274 2220.85/2228.04 c #Conflicts: 2123000 | #Constraints: 44274 2220.85/2228.04 c #Conflicts: 2124000 | #Constraints: 45274 2220.85/2228.04 c #Conflicts: 2125000 | #Constraints: 46275 2220.85/2228.04 c #Conflicts: 2126000 | #Constraints: 47276 2220.85/2228.04 c #Conflicts: 2127000 | #Constraints: 48277 2220.85/2228.04 c #Conflicts: 2128000 | #Constraints: 49277 2220.85/2228.04 c #Conflicts: 2129000 | #Constraints: 50277 2220.85/2228.04 c #Conflicts: 2130000 | #Constraints: 51277 2220.85/2228.04 c #Conflicts: 2131000 | #Constraints: 52277 2220.85/2228.04 c #Conflicts: 2132000 | #Constraints: 53277 2220.85/2228.04 c #Conflicts: 2133000 | #Constraints: 54277 2220.85/2228.04 c #Conflicts: 2134000 | #Constraints: 55278 2220.85/2228.04 c #Conflicts: 2135000 | #Constraints: 56279 2220.85/2228.04 c #Conflicts: 2136000 | #Constraints: 57279 2220.85/2228.04 c #Conflicts: 2137000 | #Constraints: 58279 2220.85/2228.04 c #Conflicts: 2138000 | #Constraints: 59279 2220.85/2228.04 c #Conflicts: 2139000 | #Constraints: 60279 2220.85/2228.04 c #Conflicts: 2140000 | #Constraints: 61281 2220.85/2228.04 c #Conflicts: 2141000 | #Constraints: 62281 2220.85/2228.04 c INPROCESSING 2220.85/2228.04 c GARBAGE COLLECT 2220.85/2228.04 c rational objective 1.91358 3600.00/3612.40 c #Conflicts: 2142000 | #Constraints: 33989 3600.00/3612.40 c #Conflicts: 2143000 | #Constraints: 34989 3600.00/3612.40 c #Conflicts: 2144000 | #Constraints: 35989 3600.00/3612.40 c #Conflicts: 2145000 | #Constraints: 36990 3600.00/3612.40 c #Conflicts: 2146000 | #Constraints: 37990 3600.00/3612.40 c #Conflicts: 2147000 | #Constraints: 38990 3600.00/3612.40 c #Conflicts: 2148000 | #Constraints: 39990 3600.00/3612.40 c #Conflicts: 2149000 | #Constraints: 40990 3600.00/3612.40 c #Conflicts: 2150000 | #Constraints: 41990 3600.00/3612.40 c #Conflicts: 2151000 | #Constraints: 42990 3600.00/3612.40 c #Conflicts: 2152000 | #Constraints: 43991 3600.00/3612.40 c #Conflicts: 2153000 | #Constraints: 44991 3600.00/3612.40 c #Conflicts: 2154000 | #Constraints: 45991 3600.00/3612.40 c #Conflicts: 2155000 | #Constraints: 46991 3600.00/3612.40 c #Conflicts: 2156000 | #Constraints: 47991 3600.00/3612.40 c #Conflicts: 2157000 | #Constraints: 48991 3600.00/3612.40 c #Conflicts: 2158000 | #Constraints: 49991 3600.00/3612.40 c #Conflicts: 2159000 | #Constraints: 50991 3600.00/3612.40 c #Conflicts: 2160000 | #Constraints: 51991 3600.00/3612.40 c #Conflicts: 2161000 | #Constraints: 52991 3600.00/3612.40 c #Conflicts: 2162000 | #Constraints: 53991 3600.00/3612.40 c #Conflicts: 2163000 | #Constraints: 54991 3600.00/3612.40 c #Conflicts: 2164000 | #Constraints: 55991 3600.00/3612.40 c #Conflicts: 2165000 | #Constraints: 56991 3600.00/3612.40 c #Conflicts: 2166000 | #Constraints: 57991 3600.00/3612.40 c #Conflicts: 2167000 | #Constraints: 58991 3600.00/3612.40 c #Conflicts: 2168000 | #Constraints: 59991 3600.00/3612.40 c #Conflicts: 2169000 | #Constraints: 60991 3600.00/3612.40 c #Conflicts: 2170000 | #Constraints: 61991 3600.00/3612.40 c #Conflicts: 2171000 | #Constraints: 62991 3600.00/3612.40 c #Conflicts: 2172000 | #Constraints: 63991 3600.00/3612.40 c #Conflicts: 2173000 | #Constraints: 64991 3600.00/3612.40 c #Conflicts: 2174000 | #Constraints: 65991 3600.00/3612.40 c #Conflicts: 2175000 | #Constraints: 66991 3600.00/3612.40 c #Conflicts: 2176000 | #Constraints: 67991 3600.00/3612.40 c #Conflicts: 2177000 | #Constraints: 68991 3600.00/3612.40 c #Conflicts: 2178000 | #Constraints: 69991 3600.00/3612.40 c #Conflicts: 2179000 | #Constraints: 70991 3600.00/3612.40 c #Conflicts: 2180000 | #Constraints: 71991 3600.00/3612.40 c #Conflicts: 2181000 | #Constraints: 72991 3600.00/3612.40 c #Conflicts: 2182000 | #Constraints: 73991 3600.00/3612.40 c #Conflicts: 2183000 | #Constraints: 74991 3600.00/3612.40 c #Conflicts: 2184000 | #Constraints: 75991 3600.00/3612.40 c #Conflicts: 2185000 | #Constraints: 76991 3600.00/3612.40 c #Conflicts: 2186000 | #Constraints: 77991 3600.00/3612.40 c #Conflicts: 2187000 | #Constraints: 78991 3600.00/3612.40 c #Conflicts: 2188000 | #Constraints: 79991 3600.00/3612.40 c #Conflicts: 2189000 | #Constraints: 80991 3600.00/3612.40 c #Conflicts: 2190000 | #Constraints: 81991 3600.00/3612.40 c #Conflicts: 2191000 | #Constraints: 82991 3600.00/3612.40 c #Conflicts: 2192000 | #Constraints: 83991 3600.00/3612.40 c #Conflicts: 2193000 | #Constraints: 84991 3600.00/3612.40 c #Conflicts: 2194000 | #Constraints: 85991 3600.00/3612.40 c #Conflicts: 2195000 | #Constraints: 86991 3600.00/3612.40 c #Conflicts: 2196000 | #Constraints: 87991 3600.00/3612.40 c #Conflicts: 2197000 | #Constraints: 88991 3600.00/3612.40 c #Conflicts: 2198000 | #Constraints: 89991 3600.00/3612.40 c #Conflicts: 2199000 | #Constraints: 90991 3600.00/3612.40 c #Conflicts: 2200000 | #Constraints: 91991 3600.00/3612.40 c #Conflicts: 2201000 | #Constraints: 92991 3600.00/3612.40 c #Conflicts: 2202000 | #Constraints: 93991 3600.00/3612.40 c #Conflicts: 2203000 | #Constraints: 94991 3600.00/3612.40 c #Conflicts: 2204000 | #Constraints: 95991 3600.00/3612.40 c #Conflicts: 2205000 | #Constraints: 96991 3600.00/3612.40 c #Conflicts: 2206000 | #Constraints: 97991 3600.00/3612.40 c #Conflicts: 2207000 | #Constraints: 98991 3600.00/3612.40 c Program interrupted by user. 3600.00/3612.40 c cpu time 3563.74 s 3600.00/3612.40 c deterministic time 503392489236 5.03e+11 3600.00/3612.40 c optimization time 1375.92 s 3600.00/3612.40 c total solve time 2187.81 s 3600.00/3612.40 c core-guided solve time 0 s 3600.00/3612.40 c propagation time 3357.64 s 3600.00/3612.40 c conflict analysis time 144.383 s 3600.00/3612.40 c propagations 106810417 3600.00/3612.40 c resolve steps 13294285 3600.00/3612.40 c decisions 15134610 3600.00/3612.40 c conflicts 2207870 3600.00/3612.40 c restarts 4093 3600.00/3612.40 c inprocessing phases 133 3600.00/3612.40 c input clauses 1334 3600.00/3612.40 c input cardinalities 0 3600.00/3612.40 c input general constraints 2025 3600.00/3612.40 c input average constraint length 3.81 3600.00/3612.40 c input average constraint degree 20949313541.24 3600.00/3612.40 c learned clauses 742405 3600.00/3612.40 c learned cardinalities 7926 3600.00/3612.40 c learned general constraints 1458240 3600.00/3612.40 c learned average constraint length 81.11 3600.00/3612.40 c learned average constraint degree 276063773.00 3600.00/3612.40 c watched constraints 1350300 3600.00/3612.40 c counting constraints 109965 3600.00/3612.40 c gcd simplifications 112366 3600.00/3612.40 c detected cardinalities 2383 3600.00/3612.40 c weakened non-implied lits 13019758 3600.00/3612.40 c weakened non-implying lits 875988 3600.00/3612.40 c original variables 3220 3600.00/3612.40 c clausal propagations 30327052 3600.00/3612.40 c cardinality propagations 184120 3600.00/3612.40 c watched propagations 18599082 3600.00/3612.40 c counting propagations 56321945 3600.00/3612.40 c watch lookups 71603979650 3600.00/3612.40 c watch backjump lookups 68946513253 3600.00/3612.40 c watch checks 148262292420 3600.00/3612.40 c propagation checks 213785431449 3600.00/3612.40 c constraint additions 545690704 3600.00/3612.40 c trail pops 124152032 3600.00/3612.40 c formula constraints 3359 3600.00/3612.40 c learned constraints 2207192 3600.00/3612.40 c bound constraints 0 3600.00/3612.40 c core-guided constraints 0 3600.00/3612.40 c encountered formula constraints 7274569 3600.00/3612.40 c encountered learned constraints 8149089 3600.00/3612.40 c encountered bound constraints 0 3600.00/3612.40 c encountered core-guided constraints 0 3600.00/3612.40 c LP total time 203.847 s 3600.00/3612.40 c LP solve time 191.13 s 3600.00/3612.40 c LP constraints added 3485 3600.00/3612.40 c LP constraints removed 89 3600.00/3612.40 c LP pivots internal 2155444 3600.00/3612.40 c LP pivots root 329256 3600.00/3612.40 c LP calls 89109 3600.00/3612.40 c LP optimalities 88343 3600.00/3612.40 c LP no pivot count 80772 3600.00/3612.40 c LP infeasibilities 711 3600.00/3612.40 c LP valid Farkas constraints 701 3600.00/3612.40 c LP learned Farkas constraints 678 3600.00/3612.40 c LP basis resets 60 3600.00/3612.40 c LP cycling count 49 3600.00/3612.40 c LP singular count 1 3600.00/3612.40 c LP no primal count 0 3600.00/3612.40 c LP no farkas count 10 3600.00/3612.40 c LP other issue count 0 3600.00/3612.40 c LP Gomory cuts 0 3600.00/3612.40 c LP learned cuts 126 3600.00/3612.40 c LP deleted cuts 89 3600.00/3612.40 c LP encountered Gomory constraints 0 3600.00/3612.40 c LP encountered Farkas constraints 49411 3600.00/3612.40 c LP encountered learned Farkas constraints 28408 3600.00/3612.40 c CG auxiliary variables introduced 0 3600.00/3612.40 c CG solutions found 0 3600.00/3612.40 c CG cores constructed 0 3600.00/3612.40 c CG core cardinality constraints returned 0 3600.00/3612.40 c CG unit cores 0 3600.00/3612.40 c CG single cores 0 3600.00/3612.40 c CG blocks removed during cardinality reduction 0 3600.00/3612.40 c CG first core best 0 3600.00/3612.40 c CG decision core best 0 3600.00/3612.40 c CG core reduction tie 0 3600.00/3612.40 c CG core degree average 0.00 3600.00/3612.40 c CG core slack average 0.00 3600.00/3612.40 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: 63931 MiB (58367 MiB free)
memory of node 1: 64510 MiB (62951 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463258-1722348301/watcher-4463258-1722348301 -o /tmp/evaluation-result-4463258-1722348301/solver-4463258-1722348301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722340763-6570 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463258-1722348301 --lp-cut-gomory=0 HOME/instance-4463258-1722348301.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=11904, runsolver pid=11901
Current StackSize limit: 8192 KiB
[startup+0.100333 s]*
/proc/loadavg: 4.10 4.19 4.17 5/260 11905
/proc/meminfo: memFree=124222876/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=43452 memory=13604 CPUtime=0.09 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 2008 0 0 0 8 1 0 0 20 0 1 0 1428385 44494848 3401 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 10863 3401 1798 992 0 2721 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43452 KiB
Current children cumulated memory: 13604 KiB
[startup+0.205783 s]*
/proc/loadavg: 4.10 4.19 4.17 5/260 11905
/proc/meminfo: memFree=124220412/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=44520 memory=14660 CPUtime=0.19 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 2300 0 0 0 17 2 0 0 20 0 1 0 1428385 45588480 3665 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 11130 3665 1798 992 0 2988 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44520 KiB
Current children cumulated memory: 14660 KiB
[startup+0.305522 s]*
/proc/loadavg: 4.10 4.19 4.17 5/260 11905
/proc/meminfo: memFree=124219600/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=44732 memory=14924 CPUtime=0.29 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 2342 0 0 0 26 3 0 0 20 0 1 0 1428385 45805568 3731 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 11183 3731 1798 992 0 3041 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 14924 KiB
[startup+0.700178 s]
/proc/loadavg: 4.10 4.19 4.17 5/260 11905
/proc/meminfo: memFree=124217444/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=45028 memory=15452 CPUtime=0.68 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 2468 0 0 0 60 8 0 0 20 0 1 0 1428385 46108672 3863 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 11257 3863 1798 992 0 3115 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45028 KiB
Current children cumulated memory: 15452 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.19 4.17 5/260 11905
/proc/meminfo: memFree=124209736/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=46472 memory=19080 CPUtime=1.48 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 2869 0 0 0 131 17 0 0 20 0 1 0 1428385 47587328 4770 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 11618 4770 1798 992 0 3476 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46472 KiB
Current children cumulated memory: 19080 KiB
[startup+3.10519 s]
/proc/loadavg: 4.10 4.19 4.17 5/260 11905
/proc/meminfo: memFree=124187120/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=48672 memory=21188 CPUtime=3.08 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 3411 0 0 0 280 28 0 0 20 0 1 0 1428385 49840128 5297 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 12168 5297 1798 992 0 4026 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 48672 KiB
Current children cumulated memory: 21188 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 4.19 4.17 5/260 11905
/proc/meminfo: memFree=124156624/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=57116 memory=27872 CPUtime=6.27 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 5132 0 0 0 570 57 0 0 20 0 1 0 1428385 58486784 6968 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 14279 6968 1798 992 0 6137 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57116 KiB
Current children cumulated memory: 27872 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.20 4.18 5/259 11906
/proc/meminfo: memFree=124080600/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=62828 memory=34736 CPUtime=12.65 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 6869 0 0 0 1164 101 0 0 20 0 1 0 1428385 64335872 8684 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 15707 8684 1798 992 0 7565 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 62828 KiB
Current children cumulated memory: 34736 KiB
[startup+25.5002 s]
/proc/loadavg: 4.50 4.28 4.20 5/259 11908
/proc/meminfo: memFree=123978240/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=72956 memory=42564 CPUtime=25.41 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 8737 0 0 0 2357 184 0 0 20 0 1 0 1428385 74706944 10641 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 18239 10641 1882 992 0 10097 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 72956 KiB
Current children cumulated memory: 42564 KiB
[startup+51.1049 s]
/proc/loadavg: 4.38 4.27 4.20 5/259 11912
/proc/meminfo: memFree=123769672/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=78472 memory=51468 CPUtime=50.93 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 10459 0 0 0 4774 319 0 0 20 0 1 0 1428385 80355328 12867 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 19618 12867 1882 992 0 11476 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 78472 KiB
Current children cumulated memory: 51468 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.24 4.19 5/259 11921
/proc/meminfo: memFree=123393136/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=95880 memory=63512 CPUtime=101.97 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 12939 0 0 0 9687 510 0 0 20 0 1 0 1428385 98181120 15878 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 23970 15878 1882 992 0 15828 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 95880 KiB
Current children cumulated memory: 63512 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.22 4.19 5/259 11933
/proc/meminfo: memFree=123011900/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=101380 memory=75072 CPUtime=161.76 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 14579 0 0 0 15539 637 0 0 20 0 1 0 1428385 103813120 18768 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 25345 18768 1914 992 0 17203 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 101380 KiB
Current children cumulated memory: 75072 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.18 4.17 5/258 11943
/proc/meminfo: memFree=122690724/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=119564 memory=81036 CPUtime=221.57 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 16105 0 0 0 21437 720 0 0 20 0 1 0 1428385 122433536 20259 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 29891 20259 1914 992 0 21749 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 119564 KiB
Current children cumulated memory: 81036 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/258 11953
/proc/meminfo: memFree=122379848/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=123260 memory=88724 CPUtime=281.38 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 17062 0 0 0 27278 860 0 0 20 0 1 0 1428385 126218240 22181 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 30815 22181 1914 992 0 22673 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 123260 KiB
Current children cumulated memory: 88724 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/259 11967
/proc/meminfo: memFree=122038884/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=126704 memory=91736 CPUtime=341.19 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 17963 0 0 0 33095 1024 0 0 20 0 1 0 1428385 129744896 22934 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 31676 22934 1914 992 0 23534 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 126704 KiB
Current children cumulated memory: 91736 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/260 11980
/proc/meminfo: memFree=121709504/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=130180 memory=94988 CPUtime=400.99 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 19570 0 0 0 38949 1150 0 0 20 0 1 0 1428385 133304320 23747 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 32545 23747 1914 992 0 24403 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 130180 KiB
Current children cumulated memory: 94988 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/260 11990
/proc/meminfo: memFree=121479428/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=132960 memory=97500 CPUtime=460.78 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 20685 0 0 0 44830 1248 0 0 20 0 1 0 1428385 136151040 24375 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 33240 24375 1914 992 0 25098 0
################
# More data... #
################
Current children cumulated memory: 235068 KiB
[startup+2862.3 s]
/proc/loadavg: 3.18 3.14 3.33 4/253 13070
/proc/meminfo: memFree=115645244/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=313404 memory=235516 CPUtime=2852.93 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 44049 0 0 0 281786 3507 0 0 20 0 1 0 1428385 320925696 58879 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78351 58879 1914 992 0 70209 0
Current children cumulated CPU time: 2852.93 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 235516 KiB
[startup+2922.3 s]
/proc/loadavg: 3.12 3.13 3.31 4/253 13080
/proc/meminfo: memFree=115527296/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=313404 memory=235780 CPUtime=2912.71 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 44144 0 0 0 287755 3516 0 0 20 0 1 0 1428385 320925696 58945 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78351 58945 1914 992 0 70209 0
Current children cumulated CPU time: 2912.71 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 235780 KiB
[startup+2982.3 s]
/proc/loadavg: 3.09 3.12 3.29 4/253 13091
/proc/meminfo: memFree=115446444/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=313404 memory=236220 CPUtime=2972.5 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 44322 0 0 0 293724 3526 0 0 20 0 1 0 1428385 320925696 59055 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78351 59055 1914 992 0 70209 0
Current children cumulated CPU time: 2972.5 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 236220 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.12 3.28 4/252 13487
/proc/meminfo: memFree=115432008/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=313404 memory=236484 CPUtime=3032.27 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 44409 0 0 0 299690 3537 0 0 20 0 1 0 1428385 320925696 59121 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78351 59121 1914 992 0 70209 0
Current children cumulated CPU time: 3032.27 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 236484 KiB
[startup+3102.3 s]
/proc/loadavg: 3.09 3.11 3.27 4/252 13497
/proc/meminfo: memFree=115343536/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=313404 memory=236920 CPUtime=3092.04 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 44578 0 0 0 305655 3549 0 0 20 0 1 0 1428385 320925696 59230 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78351 59230 1914 992 0 70209 0
Current children cumulated CPU time: 3092.04 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 236920 KiB
[startup+3162.3 s]
/proc/loadavg: 3.15 3.12 3.26 4/252 13510
/proc/meminfo: memFree=115243944/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=313660 memory=237444 CPUtime=3151.82 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 44690 0 0 0 311623 3559 0 0 20 0 1 0 1428385 321187840 59361 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78415 59361 1914 992 0 70273 0
Current children cumulated CPU time: 3151.82 s
Current children cumulated vsize: 313660 KiB
Current children cumulated memory: 237444 KiB
[startup+3222.3 s]
/proc/loadavg: 2.52 2.95 3.19 3/247 13720
/proc/meminfo: memFree=120843248/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=313660 memory=237620 CPUtime=3211.58 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 44857 0 0 0 317591 3567 0 0 20 0 1 0 1428385 321187840 59405 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78415 59405 1914 992 0 70273 0
Current children cumulated CPU time: 3211.58 s
Current children cumulated vsize: 313660 KiB
Current children cumulated memory: 237620 KiB
[startup+3282.3 s]
/proc/loadavg: 2.23 2.79 3.12 3/247 13730
/proc/meminfo: memFree=120789816/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=313660 memory=240748 CPUtime=3271.32 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 44894 0 0 0 323555 3577 0 0 20 0 1 0 1428385 321187840 60187 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78415 60187 1914 992 0 70273 0
Current children cumulated CPU time: 3271.32 s
Current children cumulated vsize: 313660 KiB
Current children cumulated memory: 240748 KiB
[startup+3342.3 s]
/proc/loadavg: 2.18 2.67 3.06 3/249 13745
/proc/meminfo: memFree=120743788/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=314172 memory=240884 CPUtime=3331.06 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 45060 0 0 0 329519 3587 0 0 20 0 1 0 1428385 321712128 60221 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78543 60221 1914 992 0 70401 0
Current children cumulated CPU time: 3331.06 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 240884 KiB
[startup+3402.3 s]
/proc/loadavg: 2.12 2.56 2.99 3/248 13767
/proc/meminfo: memFree=120703288/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=314172 memory=240884 CPUtime=3390.79 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 45066 0 0 0 335484 3595 0 0 20 0 1 0 1428385 321712128 60221 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78543 60221 1914 992 0 70401 0
Current children cumulated CPU time: 3390.79 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 240884 KiB
[startup+3462.3 s]
/proc/loadavg: 2.08 2.47 2.93 3/248 13777
/proc/meminfo: memFree=120656044/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=314172 memory=241092 CPUtime=3450.53 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 45170 0 0 0 341448 3605 0 0 20 0 1 0 1428385 321712128 60273 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78543 60273 1914 992 0 70401 0
Current children cumulated CPU time: 3450.53 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 241092 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 2.40 2.88 3/246 13787
/proc/meminfo: memFree=120621532/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=314172 memory=241092 CPUtime=3510.27 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 45173 0 0 0 347413 3614 0 0 20 0 1 0 1428385 321712128 60273 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78543 60273 1914 992 0 70401 0
Current children cumulated CPU time: 3510.27 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 241092 KiB
[startup+3582.3 s]
/proc/loadavg: 1.85 2.29 2.81 2/240 13830
/proc/meminfo: memFree=123197584/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=314172 memory=241132 CPUtime=3570.01 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 45278 0 0 0 353379 3622 0 0 20 0 1 0 1428385 321712128 60283 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78543 60283 1914 992 0 70401 0
Current children cumulated CPU time: 3570.01 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 241132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 1.57 2.18 2.76 2/240 13835
/proc/meminfo: memFree=123196676/131524600 swapFree=131071216/131071996
[pid=11904] ppid=11901 vsize=315196 memory=241408 CPUtime=3600 cores=0,2
/proc/11904/stat : 11904 (roundingsat) R 11901 11904 6560 0 -1 4194304 45408 0 0 0 356373 3627 0 0 20 0 1 0 1428385 322760704 60352 134679101440 4194304 8255733 140721014864704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12263424 140721014866782 140721014867044 140721014867044 140721014874057 0
/proc/11904/statm: 78799 60352 1914 992 0 70657 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 315196 KiB
Current children cumulated memory: 241408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.4 s]
# the end of solver process 11904 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.74 s, system=36.2732 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.4
CPU time (s): 3600.01
CPU user time (s): 3563.74
CPU system time (s): 36.2732
CPU usage (%): 99.657
Max. virtual memory (cumulated for all children) (KiB): 315196
Max. memory (cumulated for all children) (KiB): 241408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.74
system time used= 36.2732
maximum resident set size= 241408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5005048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 24924
# summary of solver processes directly reported to runsolver:
# pid: 11904
# total CPU time (s): 3600.01
# total CPU user time (s): 3563.74
# total CPU system time (s): 36.2732
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76206 second user time and 16.7531 second system time
The end
Begin job on nodeC021 at 2024-07-30 16:05:01 IDJOB=4463258 IDBENCH=176057 IDSOLVER=3089 FILE ID=nodeC021/4463258-1722348301 RUNJOBID= nodeC021-1722340763-6570 SLURM_JOB_ID= 8248994 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-23arraycomm_teq_tvars_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-4463258-1722348301/watcher-4463258-1722348301 -o /tmp/evaluation-result-4463258-1722348301/solver-4463258-1722348301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722340763-6570 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463258-1722348301 --lp-cut-gomory=0 HOME/instance-4463258-1722348301.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ea45ea8fc9874a86ca315aec231afca1 RANDOM SEED=1131521960 nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3649.984 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.80 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3685.394 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3628.415 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.80 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.293 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.951 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.80 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3685.507 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.268 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.80 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.952 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124230376 kB MemAvailable: 129669560 kB Buffers: 55688 kB Cached: 6217384 kB SwapCached: 56 kB Active: 165808 kB Inactive: 6652520 kB Active(anon): 1528 kB Inactive(anon): 564760 kB Active(file): 164280 kB Inactive(file): 6087760 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 57800 kB Writeback: 0 kB AnonPages: 541792 kB Mapped: 96360 kB Shmem: 21208 kB KReclaimable: 53580 kB Slab: 135516 kB SReclaimable: 53580 kB SUnreclaim: 81936 kB KernelStack: 4240 kB PageTables: 10252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 908076 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8352 kB HardwareCorrupted: 0 kB AnonHugePages: 339968 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: 168660 kB DirectMap2M: 9041920 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890076 MiB End job on nodeC021 at 2024-07-30 17:05:13