| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.04 | 3609.92 |
| 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.03 c #variables 3220 #constraints 3359 0.00/0.05 c rational objective 2.84217e-14 1.10/1.17 c #Conflicts: 1000 | #Constraints: 4360 1.10/1.17 c #Conflicts: 2000 | #Constraints: 5362 1.10/1.17 c INPROCESSING 1.10/1.17 c GARBAGE COLLECT 1.10/1.17 c #Conflicts: 3000 | #Constraints: 5407 1.10/1.17 c #Conflicts: 4000 | #Constraints: 6409 1.10/1.17 c INPROCESSING 1.10/1.17 c GARBAGE COLLECT 1.10/1.17 c rational objective 2.84217e-14 1.58/1.67 c #Conflicts: 5000 | #Constraints: 5852 1.58/1.67 c #Conflicts: 6000 | #Constraints: 6854 1.58/1.67 c INPROCESSING 1.58/1.67 c GARBAGE COLLECT 1.58/1.67 c rational objective 2.84217e-14 2.10/2.12 c #Conflicts: 7000 | #Constraints: 5899 2.10/2.12 c #Conflicts: 8000 | #Constraints: 6900 2.10/2.12 c #Conflicts: 9000 | #Constraints: 7901 2.10/2.12 c INPROCESSING 2.10/2.12 c GARBAGE COLLECT 2.10/2.12 c rational objective 2.84217e-14 2.38/2.41 c #Conflicts: 10000 | #Constraints: 6640 2.38/2.41 c #Conflicts: 11000 | #Constraints: 7640 2.38/2.41 c #Conflicts: 12000 | #Constraints: 8641 2.38/2.41 c INPROCESSING 2.38/2.41 c GARBAGE COLLECT 2.38/2.41 c rational objective 2.84217e-14 3.38/3.44 c #Conflicts: 13000 | #Constraints: 7109 3.38/3.44 c #Conflicts: 14000 | #Constraints: 8109 3.38/3.44 c #Conflicts: 15000 | #Constraints: 9109 3.38/3.44 c INPROCESSING 3.38/3.44 c GARBAGE COLLECT 3.38/3.44 c rational objective 2.84217e-14 3.67/3.73 c #Conflicts: 16000 | #Constraints: 7357 3.67/3.73 c #Conflicts: 17000 | #Constraints: 8361 3.67/3.73 c #Conflicts: 18000 | #Constraints: 9361 3.67/3.73 c INPROCESSING 3.67/3.73 c GARBAGE COLLECT 3.67/3.73 c rational objective 2.84217e-14 4.28/4.31 c #Conflicts: 19000 | #Constraints: 7369 4.28/4.31 c #Conflicts: 20000 | #Constraints: 8372 4.28/4.31 c #Conflicts: 21000 | #Constraints: 9372 4.28/4.31 c INPROCESSING 4.28/4.31 c GARBAGE COLLECT 4.28/4.31 c rational objective 2.84217e-14 5.09/5.12 c #Conflicts: 22000 | #Constraints: 7191 5.09/5.12 c #Conflicts: 23000 | #Constraints: 8192 5.09/5.12 c #Conflicts: 24000 | #Constraints: 9192 5.09/5.12 c #Conflicts: 25000 | #Constraints: 10193 5.09/5.12 c INPROCESSING 5.09/5.12 c GARBAGE COLLECT 5.09/5.12 c rational objective 2.84217e-14 5.57/5.68 c #Conflicts: 26000 | #Constraints: 7805 5.57/5.68 c #Conflicts: 27000 | #Constraints: 8807 5.57/5.68 c #Conflicts: 28000 | #Constraints: 9807 5.57/5.68 c #Conflicts: 29000 | #Constraints: 10808 5.57/5.68 c INPROCESSING 5.57/5.68 c GARBAGE COLLECT 5.57/5.68 c rational objective 2.84217e-14 6.67/6.76 c #Conflicts: 30000 | #Constraints: 8214 6.67/6.76 c #Conflicts: 31000 | #Constraints: 9216 6.67/6.76 c #Conflicts: 32000 | #Constraints: 10218 6.67/6.76 c #Conflicts: 33000 | #Constraints: 11218 6.67/6.76 c INPROCESSING 6.67/6.76 c GARBAGE COLLECT 6.67/6.76 c rational objective 0.467543 7.27/7.31 c #Conflicts: 34000 | #Constraints: 8427 7.27/7.31 c #Conflicts: 35000 | #Constraints: 9427 7.27/7.31 c #Conflicts: 36000 | #Constraints: 10427 7.27/7.31 c #Conflicts: 37000 | #Constraints: 11429 7.27/7.31 c INPROCESSING 7.27/7.31 c GARBAGE COLLECT 7.27/7.31 c rational objective 0.487911 9.97/10.07 c #Conflicts: 38000 | #Constraints: 8443 9.97/10.07 c #Conflicts: 39000 | #Constraints: 9444 9.97/10.07 c #Conflicts: 40000 | #Constraints: 10444 9.97/10.07 c #Conflicts: 41000 | #Constraints: 11445 9.97/10.07 c INPROCESSING 9.97/10.07 c GARBAGE COLLECT 9.97/10.07 c #Conflicts: 42000 | #Constraints: 8241 9.97/10.07 c #Conflicts: 43000 | #Constraints: 9242 9.97/10.07 c #Conflicts: 44000 | #Constraints: 10243 9.97/10.07 c #Conflicts: 45000 | #Constraints: 11243 9.97/10.07 c #Conflicts: 46000 | #Constraints: 12244 9.97/10.07 c INPROCESSING 9.97/10.07 c GARBAGE COLLECT 9.97/10.07 c rational objective 0.487911 10.66/10.76 c #Conflicts: 47000 | #Constraints: 8842 10.66/10.76 c #Conflicts: 48000 | #Constraints: 9842 10.66/10.76 c #Conflicts: 49000 | #Constraints: 10842 10.66/10.76 c #Conflicts: 50000 | #Constraints: 11843 10.66/10.76 c #Conflicts: 51000 | #Constraints: 12845 10.66/10.76 c INPROCESSING 10.66/10.76 c GARBAGE COLLECT 10.66/10.76 c rational objective 0.512307 11.36/11.48 c #Conflicts: 52000 | #Constraints: 9259 11.36/11.48 c #Conflicts: 53000 | #Constraints: 10259 11.36/11.48 c #Conflicts: 54000 | #Constraints: 11260 11.36/11.48 c #Conflicts: 55000 | #Constraints: 12261 11.36/11.48 c #Conflicts: 56000 | #Constraints: 13263 11.36/11.48 c INPROCESSING 11.36/11.48 c GARBAGE COLLECT 11.36/11.48 c rational objective 0.513333 12.96/13.05 c #Conflicts: 57000 | #Constraints: 9450 12.96/13.05 c #Conflicts: 58000 | #Constraints: 10450 12.96/13.05 c #Conflicts: 59000 | #Constraints: 11452 12.96/13.05 c #Conflicts: 60000 | #Constraints: 12452 12.96/13.05 c #Conflicts: 61000 | #Constraints: 13452 12.96/13.05 c INPROCESSING 12.96/13.05 c GARBAGE COLLECT 12.96/13.05 c rational objective 0.513333 15.45/15.54 c #Conflicts: 62000 | #Constraints: 9488 15.45/15.54 c #Conflicts: 63000 | #Constraints: 10489 15.45/15.54 c #Conflicts: 64000 | #Constraints: 11489 15.45/15.54 c #Conflicts: 65000 | #Constraints: 12490 15.45/15.54 c #Conflicts: 66000 | #Constraints: 13490 15.45/15.54 c INPROCESSING 15.45/15.54 c GARBAGE COLLECT 15.45/15.54 c rational objective 0.513333 16.64/16.77 c #Conflicts: 67000 | #Constraints: 9305 16.64/16.77 c #Conflicts: 68000 | #Constraints: 10306 16.64/16.77 c #Conflicts: 69000 | #Constraints: 11306 16.64/16.77 c #Conflicts: 70000 | #Constraints: 12307 16.64/16.77 c #Conflicts: 71000 | #Constraints: 13308 16.64/16.77 c #Conflicts: 72000 | #Constraints: 14308 16.64/16.77 c INPROCESSING 16.64/16.77 c GARBAGE COLLECT 16.64/16.77 c rational objective 0.513333 17.84/17.93 c #Conflicts: 73000 | #Constraints: 9885 17.84/17.93 c #Conflicts: 74000 | #Constraints: 10885 17.84/17.93 c #Conflicts: 75000 | #Constraints: 11885 17.84/17.93 c #Conflicts: 76000 | #Constraints: 12886 17.84/17.93 c #Conflicts: 77000 | #Constraints: 13887 17.84/17.93 c #Conflicts: 78000 | #Constraints: 14888 17.84/17.93 c INPROCESSING 17.84/17.93 c GARBAGE COLLECT 17.84/17.93 c rational objective 0.513333 18.94/19.10 c #Conflicts: 79000 | #Constraints: 10299 18.94/19.10 c #Conflicts: 80000 | #Constraints: 11299 18.94/19.10 c #Conflicts: 81000 | #Constraints: 12299 18.94/19.10 c #Conflicts: 82000 | #Constraints: 13300 18.94/19.10 c #Conflicts: 83000 | #Constraints: 14302 18.94/19.10 c #Conflicts: 84000 | #Constraints: 15302 18.94/19.10 c INPROCESSING 18.94/19.10 c GARBAGE COLLECT 18.94/19.10 c rational objective 0.513333 20.63/20.73 c #Conflicts: 85000 | #Constraints: 10502 20.63/20.73 c #Conflicts: 86000 | #Constraints: 11503 20.63/20.73 c #Conflicts: 87000 | #Constraints: 12504 20.63/20.73 c #Conflicts: 88000 | #Constraints: 13505 20.63/20.73 c #Conflicts: 89000 | #Constraints: 14507 20.63/20.73 c #Conflicts: 90000 | #Constraints: 15508 20.63/20.73 c INPROCESSING 20.63/20.73 c GARBAGE COLLECT 20.63/20.73 c rational objective 0.519856 22.94/23.09 c #Conflicts: 91000 | #Constraints: 10530 22.94/23.09 c #Conflicts: 92000 | #Constraints: 11530 22.94/23.09 c #Conflicts: 93000 | #Constraints: 12531 22.94/23.09 c #Conflicts: 94000 | #Constraints: 13532 22.94/23.09 c #Conflicts: 95000 | #Constraints: 14533 22.94/23.09 c #Conflicts: 96000 | #Constraints: 15533 22.94/23.09 c INPROCESSING 22.94/23.09 c GARBAGE COLLECT 22.94/23.09 c rational objective 0.528554 24.82/24.92 c #Conflicts: 97000 | #Constraints: 10328 24.82/24.92 c #Conflicts: 98000 | #Constraints: 11329 24.82/24.92 c #Conflicts: 99000 | #Constraints: 12331 24.82/24.92 c #Conflicts: 100000 | #Constraints: 13333 24.82/24.92 c #Conflicts: 101000 | #Constraints: 14334 24.82/24.92 c #Conflicts: 102000 | #Constraints: 15336 24.82/24.92 c #Conflicts: 103000 | #Constraints: 16336 24.82/24.92 c INPROCESSING 24.82/24.92 c GARBAGE COLLECT 24.82/24.92 c rational objective 0.528554 26.04/26.12 c #Conflicts: 104000 | #Constraints: 10941 26.04/26.12 c #Conflicts: 105000 | #Constraints: 11941 26.04/26.12 c #Conflicts: 106000 | #Constraints: 12941 26.04/26.12 c #Conflicts: 107000 | #Constraints: 13941 26.04/26.12 c #Conflicts: 108000 | #Constraints: 14942 26.04/26.12 c #Conflicts: 109000 | #Constraints: 15942 26.04/26.12 c #Conflicts: 110000 | #Constraints: 16942 26.04/26.12 c INPROCESSING 26.04/26.12 c GARBAGE COLLECT 26.04/26.12 c rational objective 0.528554 28.21/28.38 c #Conflicts: 111000 | #Constraints: 11338 28.21/28.38 c #Conflicts: 112000 | #Constraints: 12341 28.21/28.38 c #Conflicts: 113000 | #Constraints: 13342 28.21/28.38 c #Conflicts: 114000 | #Constraints: 14343 28.21/28.38 c #Conflicts: 115000 | #Constraints: 15343 28.21/28.38 c #Conflicts: 116000 | #Constraints: 16344 28.21/28.38 c #Conflicts: 117000 | #Constraints: 17345 28.21/28.38 c INPROCESSING 28.21/28.38 c GARBAGE COLLECT 28.21/28.38 c rational objective 0.528554 29.51/29.66 c #Conflicts: 118000 | #Constraints: 11515 29.51/29.66 c #Conflicts: 119000 | #Constraints: 12515 29.51/29.66 c #Conflicts: 120000 | #Constraints: 13515 29.51/29.66 c #Conflicts: 121000 | #Constraints: 14515 29.51/29.66 c #Conflicts: 122000 | #Constraints: 15516 29.51/29.66 c #Conflicts: 123000 | #Constraints: 16516 29.51/29.66 c #Conflicts: 124000 | #Constraints: 17516 29.51/29.66 c INPROCESSING 29.51/29.66 c GARBAGE COLLECT 29.51/29.66 c rational objective 0.528554 31.92/32.02 c #Conflicts: 125000 | #Constraints: 11503 31.92/32.02 c #Conflicts: 126000 | #Constraints: 12503 31.92/32.02 c #Conflicts: 127000 | #Constraints: 13504 31.92/32.02 c #Conflicts: 128000 | #Constraints: 14504 31.92/32.02 c #Conflicts: 129000 | #Constraints: 15505 31.92/32.02 c #Conflicts: 130000 | #Constraints: 16506 31.92/32.02 c #Conflicts: 131000 | #Constraints: 17506 31.92/32.02 c INPROCESSING 31.92/32.02 c GARBAGE COLLECT 31.92/32.02 c rational objective 0.528554 33.10/33.23 c #Conflicts: 132000 | #Constraints: 11329 33.10/33.23 c #Conflicts: 133000 | #Constraints: 12329 33.10/33.23 c #Conflicts: 134000 | #Constraints: 13330 33.10/33.23 c #Conflicts: 135000 | #Constraints: 14331 33.10/33.23 c #Conflicts: 136000 | #Constraints: 15331 33.10/33.23 c #Conflicts: 137000 | #Constraints: 16332 33.10/33.23 c #Conflicts: 138000 | #Constraints: 17333 33.10/33.23 c #Conflicts: 139000 | #Constraints: 18334 33.10/33.23 c INPROCESSING 33.10/33.23 c GARBAGE COLLECT 33.10/33.23 c rational objective 0.528554 34.80/34.96 c #Conflicts: 140000 | #Constraints: 11928 34.80/34.96 c #Conflicts: 141000 | #Constraints: 12928 34.80/34.96 c #Conflicts: 142000 | #Constraints: 13928 34.80/34.96 c #Conflicts: 143000 | #Constraints: 14928 34.80/34.96 c #Conflicts: 144000 | #Constraints: 15928 34.80/34.96 c #Conflicts: 145000 | #Constraints: 16929 34.80/34.96 c #Conflicts: 146000 | #Constraints: 17930 34.80/34.96 c #Conflicts: 147000 | #Constraints: 18933 34.80/34.96 c INPROCESSING 34.80/34.96 c GARBAGE COLLECT 34.80/34.96 c rational objective 0.528554 36.19/36.37 c #Conflicts: 148000 | #Constraints: 12359 36.19/36.37 c #Conflicts: 149000 | #Constraints: 13359 36.19/36.37 c #Conflicts: 150000 | #Constraints: 14359 36.19/36.37 c #Conflicts: 151000 | #Constraints: 15360 36.19/36.37 c #Conflicts: 152000 | #Constraints: 16360 36.19/36.37 c #Conflicts: 153000 | #Constraints: 17360 36.19/36.37 c #Conflicts: 154000 | #Constraints: 18361 36.19/36.37 c #Conflicts: 155000 | #Constraints: 19362 36.19/36.37 c INPROCESSING 36.19/36.37 c GARBAGE COLLECT 36.19/36.37 c rational objective 0.528554 38.20/38.35 c #Conflicts: 156000 | #Constraints: 12570 38.20/38.35 c #Conflicts: 157000 | #Constraints: 13570 38.20/38.35 c #Conflicts: 158000 | #Constraints: 14570 38.20/38.35 c #Conflicts: 159000 | #Constraints: 15571 38.20/38.35 c #Conflicts: 160000 | #Constraints: 16571 38.20/38.35 c #Conflicts: 161000 | #Constraints: 17571 38.20/38.35 c #Conflicts: 162000 | #Constraints: 18573 38.20/38.35 c #Conflicts: 163000 | #Constraints: 19574 38.20/38.35 c INPROCESSING 38.20/38.35 c GARBAGE COLLECT 38.20/38.35 c rational objective 0.528554 39.91/40.03 c #Conflicts: 164000 | #Constraints: 12550 39.91/40.03 c #Conflicts: 165000 | #Constraints: 13550 39.91/40.03 c #Conflicts: 166000 | #Constraints: 14550 39.91/40.03 c #Conflicts: 167000 | #Constraints: 15551 39.91/40.03 c #Conflicts: 168000 | #Constraints: 16553 39.91/40.03 c #Conflicts: 169000 | #Constraints: 17554 39.91/40.03 c #Conflicts: 170000 | #Constraints: 18555 39.91/40.03 c #Conflicts: 171000 | #Constraints: 19555 39.91/40.03 c INPROCESSING 39.91/40.03 c GARBAGE COLLECT 39.91/40.03 c rational objective 0.528554 41.90/42.04 c #Conflicts: 172000 | #Constraints: 12316 41.90/42.04 c #Conflicts: 173000 | #Constraints: 13316 41.90/42.04 c #Conflicts: 174000 | #Constraints: 14316 41.90/42.04 c #Conflicts: 175000 | #Constraints: 15317 41.90/42.04 c #Conflicts: 176000 | #Constraints: 16317 41.90/42.04 c #Conflicts: 177000 | #Constraints: 17318 41.90/42.04 c #Conflicts: 178000 | #Constraints: 18318 41.90/42.04 c #Conflicts: 179000 | #Constraints: 19318 41.90/42.04 c #Conflicts: 180000 | #Constraints: 20319 41.90/42.04 c INPROCESSING 41.90/42.04 c GARBAGE COLLECT 41.90/42.04 c rational objective 0.528554 43.18/43.32 c #Conflicts: 181000 | #Constraints: 12928 43.18/43.32 c #Conflicts: 182000 | #Constraints: 13929 43.18/43.32 c #Conflicts: 183000 | #Constraints: 14930 43.18/43.32 c #Conflicts: 184000 | #Constraints: 15930 43.18/43.32 c #Conflicts: 185000 | #Constraints: 16931 43.18/43.32 c #Conflicts: 186000 | #Constraints: 17932 43.18/43.32 c #Conflicts: 187000 | #Constraints: 18932 43.18/43.32 c #Conflicts: 188000 | #Constraints: 19932 43.18/43.32 c #Conflicts: 189000 | #Constraints: 20932 43.18/43.32 c INPROCESSING 43.18/43.32 c GARBAGE COLLECT 43.18/43.32 c rational objective 0.528554 45.08/45.22 c #Conflicts: 190000 | #Constraints: 13346 45.08/45.22 c #Conflicts: 191000 | #Constraints: 14346 45.08/45.22 c #Conflicts: 192000 | #Constraints: 15346 45.08/45.22 c #Conflicts: 193000 | #Constraints: 16347 45.08/45.22 c #Conflicts: 194000 | #Constraints: 17348 45.08/45.22 c #Conflicts: 195000 | #Constraints: 18348 45.08/45.22 c #Conflicts: 196000 | #Constraints: 19348 45.08/45.22 c #Conflicts: 197000 | #Constraints: 20348 45.08/45.22 c #Conflicts: 198000 | #Constraints: 21351 45.08/45.22 c INPROCESSING 45.08/45.22 c GARBAGE COLLECT 45.08/45.22 c rational objective 0.528554 49.27/49.45 c #Conflicts: 199000 | #Constraints: 13548 49.27/49.45 c #Conflicts: 200000 | #Constraints: 14548 49.27/49.45 c #Conflicts: 201000 | #Constraints: 15548 49.27/49.45 c #Conflicts: 202000 | #Constraints: 16548 49.27/49.45 c #Conflicts: 203000 | #Constraints: 17549 49.27/49.45 c #Conflicts: 204000 | #Constraints: 18549 49.27/49.45 c #Conflicts: 205000 | #Constraints: 19549 49.27/49.45 c #Conflicts: 206000 | #Constraints: 20549 49.27/49.45 c #Conflicts: 207000 | #Constraints: 21553 49.27/49.45 c INPROCESSING 49.27/49.45 c GARBAGE COLLECT 49.27/49.45 c rational objective 0.528554 62.73/62.94 c #Conflicts: 208000 | #Constraints: 13593 62.73/62.94 c #Conflicts: 209000 | #Constraints: 14593 62.73/62.94 c #Conflicts: 210000 | #Constraints: 15594 62.73/62.94 c #Conflicts: 211000 | #Constraints: 16594 62.73/62.94 c #Conflicts: 212000 | #Constraints: 17594 62.73/62.94 c #Conflicts: 213000 | #Constraints: 18595 62.73/62.94 c #Conflicts: 214000 | #Constraints: 19596 62.73/62.94 c #Conflicts: 215000 | #Constraints: 20596 62.73/62.94 c #Conflicts: 216000 | #Constraints: 21596 62.73/62.94 c INPROCESSING 62.73/62.94 c GARBAGE COLLECT 62.73/62.94 c rational objective 0.528554 65.03/65.25 c #Conflicts: 217000 | #Constraints: 13395 65.03/65.25 c #Conflicts: 218000 | #Constraints: 14396 65.03/65.25 c #Conflicts: 219000 | #Constraints: 15397 65.03/65.25 c #Conflicts: 220000 | #Constraints: 16398 65.03/65.25 c #Conflicts: 221000 | #Constraints: 17399 65.03/65.25 c #Conflicts: 222000 | #Constraints: 18399 65.03/65.25 c #Conflicts: 223000 | #Constraints: 19399 65.03/65.25 c #Conflicts: 224000 | #Constraints: 20400 65.03/65.25 c #Conflicts: 225000 | #Constraints: 21400 65.03/65.25 c #Conflicts: 226000 | #Constraints: 22400 65.03/65.25 c INPROCESSING 65.03/65.25 c GARBAGE COLLECT 65.03/65.25 c rational objective 0.528554 66.73/66.96 c #Conflicts: 227000 | #Constraints: 13973 66.73/66.96 c #Conflicts: 228000 | #Constraints: 14973 66.73/66.96 c #Conflicts: 229000 | #Constraints: 15973 66.73/66.96 c #Conflicts: 230000 | #Constraints: 16973 66.73/66.96 c #Conflicts: 231000 | #Constraints: 17974 66.73/66.96 c #Conflicts: 232000 | #Constraints: 18975 66.73/66.96 c #Conflicts: 233000 | #Constraints: 19975 66.73/66.96 c #Conflicts: 234000 | #Constraints: 20975 66.73/66.96 c #Conflicts: 235000 | #Constraints: 21975 66.73/66.96 c #Conflicts: 236000 | #Constraints: 22975 66.73/66.96 c INPROCESSING 66.73/66.96 c GARBAGE COLLECT 66.73/66.96 c rational objective 0.528554 69.11/69.36 c #Conflicts: 237000 | #Constraints: 14366 69.11/69.36 c #Conflicts: 238000 | #Constraints: 15366 69.11/69.36 c #Conflicts: 239000 | #Constraints: 16367 69.11/69.36 c #Conflicts: 240000 | #Constraints: 17367 69.11/69.36 c #Conflicts: 241000 | #Constraints: 18367 69.11/69.36 c #Conflicts: 242000 | #Constraints: 19368 69.11/69.36 c #Conflicts: 243000 | #Constraints: 20370 69.11/69.36 c #Conflicts: 244000 | #Constraints: 21371 69.11/69.36 c #Conflicts: 245000 | #Constraints: 22371 69.11/69.36 c #Conflicts: 246000 | #Constraints: 23371 69.11/69.36 c INPROCESSING 69.11/69.36 c GARBAGE COLLECT 69.11/69.36 c rational objective 0.528554 71.51/71.74 c #Conflicts: 247000 | #Constraints: 14587 71.51/71.74 c #Conflicts: 248000 | #Constraints: 15587 71.51/71.74 c #Conflicts: 249000 | #Constraints: 16588 71.51/71.74 c #Conflicts: 250000 | #Constraints: 17589 71.51/71.74 c #Conflicts: 251000 | #Constraints: 18589 71.51/71.74 c #Conflicts: 252000 | #Constraints: 19589 71.51/71.74 c #Conflicts: 253000 | #Constraints: 20589 71.51/71.74 c #Conflicts: 254000 | #Constraints: 21590 71.51/71.74 c #Conflicts: 255000 | #Constraints: 22592 71.51/71.74 c #Conflicts: 256000 | #Constraints: 23592 71.51/71.74 c INPROCESSING 71.51/71.74 c GARBAGE COLLECT 71.51/71.74 c rational objective 0.528554 74.61/74.83 c #Conflicts: 257000 | #Constraints: 14565 74.61/74.83 c #Conflicts: 258000 | #Constraints: 15565 74.61/74.83 c #Conflicts: 259000 | #Constraints: 16566 74.61/74.83 c #Conflicts: 260000 | #Constraints: 17567 74.61/74.83 c #Conflicts: 261000 | #Constraints: 18568 74.61/74.83 c #Conflicts: 262000 | #Constraints: 19568 74.61/74.83 c #Conflicts: 263000 | #Constraints: 20568 74.61/74.83 c #Conflicts: 264000 | #Constraints: 21568 74.61/74.83 c #Conflicts: 265000 | #Constraints: 22568 74.61/74.83 c #Conflicts: 266000 | #Constraints: 23568 74.61/74.83 c INPROCESSING 74.61/74.83 c GARBAGE COLLECT 74.61/74.83 c rational objective 0.528554 78.39/78.60 c #Conflicts: 267000 | #Constraints: 14361 78.39/78.60 c #Conflicts: 268000 | #Constraints: 15361 78.39/78.60 c #Conflicts: 269000 | #Constraints: 16362 78.39/78.60 c #Conflicts: 270000 | #Constraints: 17362 78.39/78.60 c #Conflicts: 271000 | #Constraints: 18363 78.39/78.60 c #Conflicts: 272000 | #Constraints: 19363 78.39/78.60 c #Conflicts: 273000 | #Constraints: 20363 78.39/78.60 c #Conflicts: 274000 | #Constraints: 21363 78.39/78.60 c #Conflicts: 275000 | #Constraints: 22363 78.39/78.60 c #Conflicts: 276000 | #Constraints: 23364 78.39/78.60 c #Conflicts: 277000 | #Constraints: 24364 78.39/78.60 c INPROCESSING 78.39/78.60 c GARBAGE COLLECT 78.39/78.60 c rational objective 0.528554 80.59/80.87 c #Conflicts: 278000 | #Constraints: 14960 80.59/80.87 c #Conflicts: 279000 | #Constraints: 15960 80.59/80.87 c #Conflicts: 280000 | #Constraints: 16961 80.59/80.87 c #Conflicts: 281000 | #Constraints: 17962 80.59/80.87 c #Conflicts: 282000 | #Constraints: 18962 80.59/80.87 c #Conflicts: 283000 | #Constraints: 19962 80.59/80.87 c #Conflicts: 284000 | #Constraints: 20963 80.59/80.87 c #Conflicts: 285000 | #Constraints: 21966 80.59/80.87 c #Conflicts: 286000 | #Constraints: 22966 80.59/80.87 c #Conflicts: 287000 | #Constraints: 23966 80.59/80.87 c #Conflicts: 288000 | #Constraints: 24966 80.59/80.87 c INPROCESSING 80.59/80.87 c GARBAGE COLLECT 80.59/80.87 c rational objective 0.528854 82.99/83.29 c #Conflicts: 289000 | #Constraints: 15382 82.99/83.29 c #Conflicts: 290000 | #Constraints: 16383 82.99/83.29 c #Conflicts: 291000 | #Constraints: 17384 82.99/83.29 c #Conflicts: 292000 | #Constraints: 18384 82.99/83.29 c #Conflicts: 293000 | #Constraints: 19384 82.99/83.29 c #Conflicts: 294000 | #Constraints: 20385 82.99/83.29 c #Conflicts: 295000 | #Constraints: 21385 82.99/83.29 c #Conflicts: 296000 | #Constraints: 22385 82.99/83.29 c #Conflicts: 297000 | #Constraints: 23385 82.99/83.29 c #Conflicts: 298000 | #Constraints: 24385 82.99/83.29 c #Conflicts: 299000 | #Constraints: 25386 82.99/83.29 c INPROCESSING 82.99/83.29 c GARBAGE COLLECT 82.99/83.29 c rational objective 0.528854 85.18/85.46 c #Conflicts: 300000 | #Constraints: 15554 85.18/85.46 c #Conflicts: 301000 | #Constraints: 16555 85.18/85.46 c #Conflicts: 302000 | #Constraints: 17556 85.18/85.46 c #Conflicts: 303000 | #Constraints: 18556 85.18/85.46 c #Conflicts: 304000 | #Constraints: 19556 85.18/85.46 c #Conflicts: 305000 | #Constraints: 20556 85.18/85.46 c #Conflicts: 306000 | #Constraints: 21556 85.18/85.46 c #Conflicts: 307000 | #Constraints: 22557 85.18/85.46 c #Conflicts: 308000 | #Constraints: 23558 85.18/85.46 c #Conflicts: 309000 | #Constraints: 24558 85.18/85.46 c #Conflicts: 310000 | #Constraints: 25558 85.18/85.46 c INPROCESSING 85.18/85.46 c GARBAGE COLLECT 85.18/85.46 c rational objective 0.528854 91.88/92.13 c #Conflicts: 311000 | #Constraints: 15564 91.88/92.13 c #Conflicts: 312000 | #Constraints: 16564 91.88/92.13 c #Conflicts: 313000 | #Constraints: 17564 91.88/92.13 c #Conflicts: 314000 | #Constraints: 18564 91.88/92.13 c #Conflicts: 315000 | #Constraints: 19567 91.88/92.13 c #Conflicts: 316000 | #Constraints: 20567 91.88/92.13 c #Conflicts: 317000 | #Constraints: 21567 91.88/92.13 c #Conflicts: 318000 | #Constraints: 22567 91.88/92.13 c #Conflicts: 319000 | #Constraints: 23567 91.88/92.13 c #Conflicts: 320000 | #Constraints: 24567 91.88/92.13 c #Conflicts: 321000 | #Constraints: 25567 91.88/92.13 c INPROCESSING 91.88/92.13 c GARBAGE COLLECT 91.88/92.13 c rational objective 0.528854 95.46/95.77 c #Conflicts: 322000 | #Constraints: 15383 95.46/95.77 c #Conflicts: 323000 | #Constraints: 16383 95.46/95.77 c #Conflicts: 324000 | #Constraints: 17385 95.46/95.77 c #Conflicts: 325000 | #Constraints: 18386 95.46/95.77 c #Conflicts: 326000 | #Constraints: 19387 95.46/95.77 c #Conflicts: 327000 | #Constraints: 20387 95.46/95.77 c #Conflicts: 328000 | #Constraints: 21387 95.46/95.77 c #Conflicts: 329000 | #Constraints: 22388 95.46/95.77 c #Conflicts: 330000 | #Constraints: 23388 95.46/95.77 c #Conflicts: 331000 | #Constraints: 24388 95.46/95.77 c #Conflicts: 332000 | #Constraints: 25388 95.46/95.77 c #Conflicts: 333000 | #Constraints: 26388 95.46/95.77 c INPROCESSING 95.46/95.77 c GARBAGE COLLECT 95.46/95.77 c rational objective 0.528854 99.54/99.81 c #Conflicts: 334000 | #Constraints: 15990 99.54/99.81 c #Conflicts: 335000 | #Constraints: 16990 99.54/99.81 c #Conflicts: 336000 | #Constraints: 17990 99.54/99.81 c #Conflicts: 337000 | #Constraints: 18991 99.54/99.81 c #Conflicts: 338000 | #Constraints: 19991 99.54/99.81 c #Conflicts: 339000 | #Constraints: 20991 99.54/99.81 c #Conflicts: 340000 | #Constraints: 21991 99.54/99.81 c #Conflicts: 341000 | #Constraints: 22992 99.54/99.81 c #Conflicts: 342000 | #Constraints: 23992 99.54/99.81 c #Conflicts: 343000 | #Constraints: 24992 99.54/99.81 c #Conflicts: 344000 | #Constraints: 25993 99.54/99.81 c #Conflicts: 345000 | #Constraints: 26994 99.54/99.81 c INPROCESSING 99.54/99.81 c GARBAGE COLLECT 99.54/99.81 c rational objective 0.528889 102.14/102.45 c #Conflicts: 346000 | #Constraints: 16371 102.14/102.45 c #Conflicts: 347000 | #Constraints: 17371 102.14/102.45 c #Conflicts: 348000 | #Constraints: 18371 102.14/102.45 c #Conflicts: 349000 | #Constraints: 19371 102.14/102.45 c #Conflicts: 350000 | #Constraints: 20371 102.14/102.45 c #Conflicts: 351000 | #Constraints: 21371 102.14/102.45 c #Conflicts: 352000 | #Constraints: 22373 102.14/102.45 c #Conflicts: 353000 | #Constraints: 23375 102.14/102.45 c #Conflicts: 354000 | #Constraints: 24375 102.14/102.45 c #Conflicts: 355000 | #Constraints: 25375 102.14/102.45 c #Conflicts: 356000 | #Constraints: 26375 102.14/102.45 c #Conflicts: 357000 | #Constraints: 27375 102.14/102.45 c INPROCESSING 102.14/102.45 c GARBAGE COLLECT 102.14/102.45 c rational objective 0.528889 105.43/105.71 c #Conflicts: 358000 | #Constraints: 16596 105.43/105.71 c #Conflicts: 359000 | #Constraints: 17596 105.43/105.71 c #Conflicts: 360000 | #Constraints: 18596 105.43/105.71 c #Conflicts: 361000 | #Constraints: 19596 105.43/105.71 c #Conflicts: 362000 | #Constraints: 20597 105.43/105.71 c #Conflicts: 363000 | #Constraints: 21599 105.43/105.71 c #Conflicts: 364000 | #Constraints: 22600 105.43/105.71 c #Conflicts: 365000 | #Constraints: 23601 105.43/105.71 c #Conflicts: 366000 | #Constraints: 24602 105.43/105.71 c #Conflicts: 367000 | #Constraints: 25602 105.43/105.71 c #Conflicts: 368000 | #Constraints: 26603 105.43/105.71 c #Conflicts: 369000 | #Constraints: 27603 105.43/105.71 c INPROCESSING 105.43/105.71 c GARBAGE COLLECT 105.43/105.71 c rational objective 0.528889 109.52/109.86 c #Conflicts: 370000 | #Constraints: 16604 109.52/109.86 c #Conflicts: 371000 | #Constraints: 17604 109.52/109.86 c #Conflicts: 372000 | #Constraints: 18604 109.52/109.86 c #Conflicts: 373000 | #Constraints: 19606 109.52/109.86 c #Conflicts: 374000 | #Constraints: 20606 109.52/109.86 c #Conflicts: 375000 | #Constraints: 21607 109.52/109.86 c #Conflicts: 376000 | #Constraints: 22608 109.52/109.86 c #Conflicts: 377000 | #Constraints: 23609 109.52/109.86 c #Conflicts: 378000 | #Constraints: 24609 109.52/109.86 c #Conflicts: 379000 | #Constraints: 25609 109.52/109.86 c #Conflicts: 380000 | #Constraints: 26609 109.52/109.86 c #Conflicts: 381000 | #Constraints: 27611 109.52/109.86 c INPROCESSING 109.52/109.86 c GARBAGE COLLECT 109.52/109.86 c rational objective 0.528889 113.01/113.38 c #Conflicts: 382000 | #Constraints: 16375 113.01/113.38 c #Conflicts: 383000 | #Constraints: 17376 113.01/113.38 c #Conflicts: 384000 | #Constraints: 18376 113.01/113.38 c #Conflicts: 385000 | #Constraints: 19377 113.01/113.38 c #Conflicts: 386000 | #Constraints: 20377 113.01/113.38 c #Conflicts: 387000 | #Constraints: 21378 113.01/113.38 c #Conflicts: 388000 | #Constraints: 22378 113.01/113.38 c #Conflicts: 389000 | #Constraints: 23378 113.01/113.38 c #Conflicts: 390000 | #Constraints: 24380 113.01/113.38 c #Conflicts: 391000 | #Constraints: 25381 113.01/113.38 c #Conflicts: 392000 | #Constraints: 26381 113.01/113.38 c #Conflicts: 393000 | #Constraints: 27381 113.01/113.38 c #Conflicts: 394000 | #Constraints: 28381 113.01/113.38 c INPROCESSING 113.01/113.38 c GARBAGE COLLECT 113.01/113.38 c rational objective 0.528889 119.50/119.80 c #Conflicts: 395000 | #Constraints: 16968 119.50/119.80 c #Conflicts: 396000 | #Constraints: 17968 119.50/119.80 c #Conflicts: 397000 | #Constraints: 18968 119.50/119.80 c #Conflicts: 398000 | #Constraints: 19970 119.50/119.80 c #Conflicts: 399000 | #Constraints: 20970 119.50/119.80 c #Conflicts: 400000 | #Constraints: 21971 119.50/119.80 c #Conflicts: 401000 | #Constraints: 22971 119.50/119.80 c #Conflicts: 402000 | #Constraints: 23972 119.50/119.80 c #Conflicts: 403000 | #Constraints: 24972 119.50/119.80 c #Conflicts: 404000 | #Constraints: 25973 119.50/119.80 c #Conflicts: 405000 | #Constraints: 26973 119.50/119.80 c #Conflicts: 406000 | #Constraints: 27973 119.50/119.80 c #Conflicts: 407000 | #Constraints: 28974 119.50/119.80 c INPROCESSING 119.50/119.80 c GARBAGE COLLECT 119.50/119.80 c rational objective 0.528889 126.88/127.25 c #Conflicts: 408000 | #Constraints: 17376 126.88/127.25 c #Conflicts: 409000 | #Constraints: 18376 126.88/127.25 c #Conflicts: 410000 | #Constraints: 19376 126.88/127.25 c #Conflicts: 411000 | #Constraints: 20376 126.88/127.25 c #Conflicts: 412000 | #Constraints: 21377 126.88/127.25 c #Conflicts: 413000 | #Constraints: 22377 126.88/127.25 c #Conflicts: 414000 | #Constraints: 23377 126.88/127.25 c #Conflicts: 415000 | #Constraints: 24377 126.88/127.25 c #Conflicts: 416000 | #Constraints: 25377 126.88/127.25 c #Conflicts: 417000 | #Constraints: 26377 126.88/127.25 c #Conflicts: 418000 | #Constraints: 27377 126.88/127.25 c #Conflicts: 419000 | #Constraints: 28377 126.88/127.25 c #Conflicts: 420000 | #Constraints: 29377 126.88/127.25 c INPROCESSING 126.88/127.25 c GARBAGE COLLECT 126.88/127.25 c rational objective 0.528889 162.61/163.10 c #Conflicts: 421000 | #Constraints: 17633 162.61/163.10 c #Conflicts: 422000 | #Constraints: 18633 162.61/163.10 c #Conflicts: 423000 | #Constraints: 19633 162.61/163.10 c #Conflicts: 424000 | #Constraints: 20633 162.61/163.10 c #Conflicts: 425000 | #Constraints: 21633 162.61/163.10 c #Conflicts: 426000 | #Constraints: 22633 162.61/163.10 c #Conflicts: 427000 | #Constraints: 23633 162.61/163.10 c #Conflicts: 428000 | #Constraints: 24633 162.61/163.10 c #Conflicts: 429000 | #Constraints: 25633 162.61/163.10 c #Conflicts: 430000 | #Constraints: 26633 162.61/163.10 c #Conflicts: 431000 | #Constraints: 27633 162.61/163.10 c #Conflicts: 432000 | #Constraints: 28633 162.61/163.10 c #Conflicts: 433000 | #Constraints: 29633 162.61/163.10 c INPROCESSING 162.61/163.10 c GARBAGE COLLECT 162.61/163.10 c rational objective 0.528889 176.66/177.16 c #Conflicts: 434000 | #Constraints: 17638 176.66/177.16 c #Conflicts: 435000 | #Constraints: 18639 176.66/177.16 c #Conflicts: 436000 | #Constraints: 19641 176.66/177.16 c #Conflicts: 437000 | #Constraints: 20641 176.66/177.16 c #Conflicts: 438000 | #Constraints: 21641 176.66/177.16 c #Conflicts: 439000 | #Constraints: 22641 176.66/177.16 c #Conflicts: 440000 | #Constraints: 23642 176.66/177.16 c #Conflicts: 441000 | #Constraints: 24642 176.66/177.16 c #Conflicts: 442000 | #Constraints: 25642 176.66/177.16 c #Conflicts: 443000 | #Constraints: 26642 176.66/177.16 c #Conflicts: 444000 | #Constraints: 27642 176.66/177.16 c #Conflicts: 445000 | #Constraints: 28642 176.66/177.16 c #Conflicts: 446000 | #Constraints: 29642 176.66/177.16 c INPROCESSING 176.66/177.16 c GARBAGE COLLECT 176.66/177.16 c rational objective 0.528889 183.14/183.61 c #Conflicts: 447000 | #Constraints: 17435 183.14/183.61 c #Conflicts: 448000 | #Constraints: 18436 183.14/183.61 c #Conflicts: 449000 | #Constraints: 19437 183.14/183.61 c #Conflicts: 450000 | #Constraints: 20438 183.14/183.61 c #Conflicts: 451000 | #Constraints: 21438 183.14/183.61 c #Conflicts: 452000 | #Constraints: 22438 183.14/183.61 c #Conflicts: 453000 | #Constraints: 23438 183.14/183.61 c #Conflicts: 454000 | #Constraints: 24439 183.14/183.61 c #Conflicts: 455000 | #Constraints: 25439 183.14/183.61 c #Conflicts: 456000 | #Constraints: 26440 183.14/183.61 c #Conflicts: 457000 | #Constraints: 27440 183.14/183.61 c #Conflicts: 458000 | #Constraints: 28441 183.14/183.61 c #Conflicts: 459000 | #Constraints: 29441 183.14/183.61 c #Conflicts: 460000 | #Constraints: 30441 183.14/183.61 c INPROCESSING 183.14/183.61 c GARBAGE COLLECT 183.14/183.61 c rational objective 0.528889 185.83/186.36 c #Conflicts: 461000 | #Constraints: 18066 185.83/186.36 c #Conflicts: 462000 | #Constraints: 19066 185.83/186.36 c #Conflicts: 463000 | #Constraints: 20066 185.83/186.36 c #Conflicts: 464000 | #Constraints: 21067 185.83/186.36 c #Conflicts: 465000 | #Constraints: 22067 185.83/186.36 c #Conflicts: 466000 | #Constraints: 23067 185.83/186.36 c #Conflicts: 467000 | #Constraints: 24067 185.83/186.36 c #Conflicts: 468000 | #Constraints: 25068 185.83/186.36 c #Conflicts: 469000 | #Constraints: 26068 185.83/186.36 c #Conflicts: 470000 | #Constraints: 27068 185.83/186.36 c #Conflicts: 471000 | #Constraints: 28068 185.83/186.36 c #Conflicts: 472000 | #Constraints: 29068 185.83/186.36 c #Conflicts: 473000 | #Constraints: 30068 185.83/186.36 c #Conflicts: 474000 | #Constraints: 31068 185.83/186.36 c INPROCESSING 185.83/186.36 c GARBAGE COLLECT 185.83/186.36 c rational objective 0.528889 189.12/189.61 c #Conflicts: 475000 | #Constraints: 18476 189.12/189.61 c #Conflicts: 476000 | #Constraints: 19476 189.12/189.61 c #Conflicts: 477000 | #Constraints: 20476 189.12/189.61 c #Conflicts: 478000 | #Constraints: 21476 189.12/189.61 c #Conflicts: 479000 | #Constraints: 22476 189.12/189.61 c #Conflicts: 480000 | #Constraints: 23476 189.12/189.61 c #Conflicts: 481000 | #Constraints: 24476 189.12/189.61 c #Conflicts: 482000 | #Constraints: 25476 189.12/189.61 c #Conflicts: 483000 | #Constraints: 26476 189.12/189.61 c #Conflicts: 484000 | #Constraints: 27476 189.12/189.61 c #Conflicts: 485000 | #Constraints: 28476 189.12/189.61 c #Conflicts: 486000 | #Constraints: 29476 189.12/189.61 c #Conflicts: 487000 | #Constraints: 30476 189.12/189.61 c #Conflicts: 488000 | #Constraints: 31476 189.12/189.61 c INPROCESSING 189.12/189.61 c GARBAGE COLLECT 189.12/189.61 c rational objective 0.528889 243.28/243.91 c #Conflicts: 489000 | #Constraints: 18664 243.28/243.91 c #Conflicts: 490000 | #Constraints: 19664 243.28/243.91 c #Conflicts: 491000 | #Constraints: 20664 243.28/243.91 c #Conflicts: 492000 | #Constraints: 21664 243.28/243.91 c #Conflicts: 493000 | #Constraints: 22664 243.28/243.91 c #Conflicts: 494000 | #Constraints: 23664 243.28/243.91 c #Conflicts: 495000 | #Constraints: 24664 243.28/243.91 c #Conflicts: 496000 | #Constraints: 25664 243.28/243.91 c #Conflicts: 497000 | #Constraints: 26664 243.28/243.91 c #Conflicts: 498000 | #Constraints: 27664 243.28/243.91 c #Conflicts: 499000 | #Constraints: 28665 243.28/243.91 c #Conflicts: 500000 | #Constraints: 29665 243.28/243.91 c #Conflicts: 501000 | #Constraints: 30665 243.28/243.91 c #Conflicts: 502000 | #Constraints: 31665 243.28/243.91 c INPROCESSING 243.28/243.91 c GARBAGE COLLECT 243.28/243.91 c rational objective 0.528889 251.38/252.09 c #Conflicts: 503000 | #Constraints: 18683 251.38/252.09 c #Conflicts: 504000 | #Constraints: 19684 251.38/252.09 c #Conflicts: 505000 | #Constraints: 20685 251.38/252.09 c #Conflicts: 506000 | #Constraints: 21685 251.38/252.09 c #Conflicts: 507000 | #Constraints: 22687 251.38/252.09 c #Conflicts: 508000 | #Constraints: 23687 251.38/252.09 c #Conflicts: 509000 | #Constraints: 24687 251.38/252.09 c #Conflicts: 510000 | #Constraints: 25688 251.38/252.09 c #Conflicts: 511000 | #Constraints: 26688 251.38/252.09 c #Conflicts: 512000 | #Constraints: 27690 251.38/252.09 c #Conflicts: 513000 | #Constraints: 28690 251.38/252.09 c #Conflicts: 514000 | #Constraints: 29690 251.38/252.09 c #Conflicts: 515000 | #Constraints: 30690 251.38/252.09 c #Conflicts: 516000 | #Constraints: 31691 251.38/252.09 c INPROCESSING 251.38/252.09 c GARBAGE COLLECT 251.38/252.09 c rational objective 0.528889 259.15/259.81 c #Conflicts: 517000 | #Constraints: 18435 259.15/259.81 c #Conflicts: 518000 | #Constraints: 19435 259.15/259.81 c #Conflicts: 519000 | #Constraints: 20436 259.15/259.81 c #Conflicts: 520000 | #Constraints: 21437 259.15/259.81 c #Conflicts: 521000 | #Constraints: 22439 259.15/259.81 c #Conflicts: 522000 | #Constraints: 23439 259.15/259.81 c #Conflicts: 523000 | #Constraints: 24439 259.15/259.81 c #Conflicts: 524000 | #Constraints: 25439 259.15/259.81 c #Conflicts: 525000 | #Constraints: 26439 259.15/259.81 c #Conflicts: 526000 | #Constraints: 27439 259.15/259.81 c #Conflicts: 527000 | #Constraints: 28439 259.15/259.81 c #Conflicts: 528000 | #Constraints: 29441 259.15/259.81 c #Conflicts: 529000 | #Constraints: 30441 259.15/259.81 c #Conflicts: 530000 | #Constraints: 31442 259.15/259.81 c #Conflicts: 531000 | #Constraints: 32442 259.15/259.81 c INPROCESSING 259.15/259.81 c GARBAGE COLLECT 259.15/259.81 c rational objective 0.528889 264.03/264.74 c #Conflicts: 532000 | #Constraints: 19034 264.03/264.74 c #Conflicts: 533000 | #Constraints: 20034 264.03/264.74 c #Conflicts: 534000 | #Constraints: 21035 264.03/264.74 c #Conflicts: 535000 | #Constraints: 22035 264.03/264.74 c #Conflicts: 536000 | #Constraints: 23035 264.03/264.74 c #Conflicts: 537000 | #Constraints: 24036 264.03/264.74 c #Conflicts: 538000 | #Constraints: 25036 264.03/264.74 c #Conflicts: 539000 | #Constraints: 26038 264.03/264.74 c #Conflicts: 540000 | #Constraints: 27040 264.03/264.74 c #Conflicts: 541000 | #Constraints: 28040 264.03/264.74 c #Conflicts: 542000 | #Constraints: 29040 264.03/264.74 c #Conflicts: 543000 | #Constraints: 30040 264.03/264.74 c #Conflicts: 544000 | #Constraints: 31041 264.03/264.74 c #Conflicts: 545000 | #Constraints: 32042 264.03/264.74 c #Conflicts: 546000 | #Constraints: 33042 264.03/264.74 c INPROCESSING 264.03/264.74 c GARBAGE COLLECT 264.03/264.74 c rational objective 0.528889 272.11/272.84 c #Conflicts: 547000 | #Constraints: 19427 272.11/272.84 c #Conflicts: 548000 | #Constraints: 20428 272.11/272.84 c #Conflicts: 549000 | #Constraints: 21428 272.11/272.84 c #Conflicts: 550000 | #Constraints: 22428 272.11/272.84 c #Conflicts: 551000 | #Constraints: 23429 272.11/272.84 c #Conflicts: 552000 | #Constraints: 24429 272.11/272.84 c #Conflicts: 553000 | #Constraints: 25429 272.11/272.84 c #Conflicts: 554000 | #Constraints: 26429 272.11/272.84 c #Conflicts: 555000 | #Constraints: 27429 272.11/272.84 c #Conflicts: 556000 | #Constraints: 28431 272.11/272.84 c #Conflicts: 557000 | #Constraints: 29431 272.11/272.84 c #Conflicts: 558000 | #Constraints: 30432 272.11/272.84 c #Conflicts: 559000 | #Constraints: 31434 272.11/272.84 c #Conflicts: 560000 | #Constraints: 32434 272.11/272.84 c #Conflicts: 561000 | #Constraints: 33434 272.11/272.84 c INPROCESSING 272.11/272.84 c GARBAGE COLLECT 272.11/272.84 c rational objective 0.528889 279.50/280.27 c #Conflicts: 562000 | #Constraints: 19601 279.50/280.27 c #Conflicts: 563000 | #Constraints: 20601 279.50/280.27 c #Conflicts: 564000 | #Constraints: 21601 279.50/280.27 c #Conflicts: 565000 | #Constraints: 22603 279.50/280.27 c #Conflicts: 566000 | #Constraints: 23603 279.50/280.27 c #Conflicts: 567000 | #Constraints: 24603 279.50/280.27 c #Conflicts: 568000 | #Constraints: 25605 279.50/280.27 c #Conflicts: 569000 | #Constraints: 26605 279.50/280.27 c #Conflicts: 570000 | #Constraints: 27605 279.50/280.27 c #Conflicts: 571000 | #Constraints: 28606 279.50/280.27 c #Conflicts: 572000 | #Constraints: 29606 279.50/280.27 c #Conflicts: 573000 | #Constraints: 30606 279.50/280.27 c #Conflicts: 574000 | #Constraints: 31607 279.50/280.27 c #Conflicts: 575000 | #Constraints: 32608 279.50/280.27 c #Conflicts: 576000 | #Constraints: 33609 279.50/280.27 c INPROCESSING 279.50/280.27 c GARBAGE COLLECT 279.50/280.27 c rational objective 0.528889 286.98/287.70 c #Conflicts: 577000 | #Constraints: 19596 286.98/287.70 c #Conflicts: 578000 | #Constraints: 20597 286.98/287.70 c #Conflicts: 579000 | #Constraints: 21597 286.98/287.70 c #Conflicts: 580000 | #Constraints: 22597 286.98/287.70 c #Conflicts: 581000 | #Constraints: 23598 286.98/287.70 c #Conflicts: 582000 | #Constraints: 24598 286.98/287.70 c #Conflicts: 583000 | #Constraints: 25598 286.98/287.70 c #Conflicts: 584000 | #Constraints: 26598 286.98/287.70 c #Conflicts: 585000 | #Constraints: 27598 286.98/287.70 c #Conflicts: 586000 | #Constraints: 28598 286.98/287.70 c #Conflicts: 587000 | #Constraints: 29599 286.98/287.70 c #Conflicts: 588000 | #Constraints: 30600 286.98/287.70 c #Conflicts: 589000 | #Constraints: 31600 286.98/287.70 c #Conflicts: 590000 | #Constraints: 32600 286.98/287.70 c #Conflicts: 591000 | #Constraints: 33600 286.98/287.70 c INPROCESSING 286.98/287.70 c GARBAGE COLLECT 286.98/287.70 c rational objective 0.528889 300.55/301.36 c #Conflicts: 592000 | #Constraints: 19424 300.55/301.36 c #Conflicts: 593000 | #Constraints: 20424 300.55/301.36 c #Conflicts: 594000 | #Constraints: 21424 300.55/301.36 c #Conflicts: 595000 | #Constraints: 22424 300.55/301.36 c #Conflicts: 596000 | #Constraints: 23424 300.55/301.36 c #Conflicts: 597000 | #Constraints: 24424 300.55/301.36 c #Conflicts: 598000 | #Constraints: 25424 300.55/301.36 c #Conflicts: 599000 | #Constraints: 26424 300.55/301.36 c #Conflicts: 600000 | #Constraints: 27424 300.55/301.36 c #Conflicts: 601000 | #Constraints: 28424 300.55/301.36 c #Conflicts: 602000 | #Constraints: 29424 300.55/301.36 c #Conflicts: 603000 | #Constraints: 30425 300.55/301.36 c #Conflicts: 604000 | #Constraints: 31426 300.55/301.36 c #Conflicts: 605000 | #Constraints: 32427 300.55/301.36 c #Conflicts: 606000 | #Constraints: 33427 300.55/301.36 c #Conflicts: 607000 | #Constraints: 34427 300.55/301.36 c INPROCESSING 300.55/301.36 c GARBAGE COLLECT 300.55/301.36 c rational objective 0.528889 306.63/307.41 c #Conflicts: 608000 | #Constraints: 20014 306.63/307.41 c #Conflicts: 609000 | #Constraints: 21014 306.63/307.41 c #Conflicts: 610000 | #Constraints: 22014 306.63/307.41 c #Conflicts: 611000 | #Constraints: 23014 306.63/307.41 c #Conflicts: 612000 | #Constraints: 24014 306.63/307.41 c #Conflicts: 613000 | #Constraints: 25015 306.63/307.41 c #Conflicts: 614000 | #Constraints: 26015 306.63/307.41 c #Conflicts: 615000 | #Constraints: 27015 306.63/307.41 c #Conflicts: 616000 | #Constraints: 28016 306.63/307.41 c #Conflicts: 617000 | #Constraints: 29017 306.63/307.41 c #Conflicts: 618000 | #Constraints: 30019 306.63/307.41 c #Conflicts: 619000 | #Constraints: 31019 306.63/307.41 c #Conflicts: 620000 | #Constraints: 32019 306.63/307.41 c #Conflicts: 621000 | #Constraints: 33019 306.63/307.41 c #Conflicts: 622000 | #Constraints: 34019 306.63/307.41 c #Conflicts: 623000 | #Constraints: 35019 306.63/307.41 c INPROCESSING 306.63/307.41 c GARBAGE COLLECT 306.63/307.41 c rational objective 0.528889 311.02/311.86 c #Conflicts: 624000 | #Constraints: 20412 311.02/311.86 c #Conflicts: 625000 | #Constraints: 21412 311.02/311.86 c #Conflicts: 626000 | #Constraints: 22414 311.02/311.86 c #Conflicts: 627000 | #Constraints: 23414 311.02/311.86 c #Conflicts: 628000 | #Constraints: 24415 311.02/311.86 c #Conflicts: 629000 | #Constraints: 25416 311.02/311.86 c #Conflicts: 630000 | #Constraints: 26416 311.02/311.86 c #Conflicts: 631000 | #Constraints: 27416 311.02/311.86 c #Conflicts: 632000 | #Constraints: 28416 311.02/311.86 c #Conflicts: 633000 | #Constraints: 29416 311.02/311.86 c #Conflicts: 634000 | #Constraints: 30416 311.02/311.86 c #Conflicts: 635000 | #Constraints: 31417 311.02/311.86 c #Conflicts: 636000 | #Constraints: 32418 311.02/311.86 c #Conflicts: 637000 | #Constraints: 33418 311.02/311.86 c #Conflicts: 638000 | #Constraints: 34418 311.02/311.86 c #Conflicts: 639000 | #Constraints: 35418 311.02/311.86 c INPROCESSING 311.02/311.86 c GARBAGE COLLECT 311.02/311.86 c rational objective 0.528889 318.39/319.24 c #Conflicts: 640000 | #Constraints: 20617 318.39/319.24 c #Conflicts: 641000 | #Constraints: 21618 318.39/319.24 c #Conflicts: 642000 | #Constraints: 22618 318.39/319.24 c #Conflicts: 643000 | #Constraints: 23618 318.39/319.24 c #Conflicts: 644000 | #Constraints: 24618 318.39/319.24 c #Conflicts: 645000 | #Constraints: 25618 318.39/319.24 c #Conflicts: 646000 | #Constraints: 26619 318.39/319.24 c #Conflicts: 647000 | #Constraints: 27619 318.39/319.24 c #Conflicts: 648000 | #Constraints: 28620 318.39/319.24 c #Conflicts: 649000 | #Constraints: 29620 318.39/319.24 c #Conflicts: 650000 | #Constraints: 30620 318.39/319.24 c #Conflicts: 651000 | #Constraints: 31620 318.39/319.24 c #Conflicts: 652000 | #Constraints: 32620 318.39/319.24 c #Conflicts: 653000 | #Constraints: 33620 318.39/319.24 c #Conflicts: 654000 | #Constraints: 34621 318.39/319.24 c #Conflicts: 655000 | #Constraints: 35621 318.39/319.24 c INPROCESSING 318.39/319.24 c GARBAGE COLLECT 318.39/319.24 c rational objective 0.528889 324.68/325.55 c #Conflicts: 656000 | #Constraints: 20609 324.68/325.55 c #Conflicts: 657000 | #Constraints: 21609 324.68/325.55 c #Conflicts: 658000 | #Constraints: 22609 324.68/325.55 c #Conflicts: 659000 | #Constraints: 23609 324.68/325.55 c #Conflicts: 660000 | #Constraints: 24609 324.68/325.55 c #Conflicts: 661000 | #Constraints: 25610 324.68/325.55 c #Conflicts: 662000 | #Constraints: 26610 324.68/325.55 c #Conflicts: 663000 | #Constraints: 27611 324.68/325.55 c #Conflicts: 664000 | #Constraints: 28613 324.68/325.55 c #Conflicts: 665000 | #Constraints: 29613 324.68/325.55 c #Conflicts: 666000 | #Constraints: 30613 324.68/325.55 c #Conflicts: 667000 | #Constraints: 31613 324.68/325.55 c #Conflicts: 668000 | #Constraints: 32614 324.68/325.55 c #Conflicts: 669000 | #Constraints: 33614 324.68/325.55 c #Conflicts: 670000 | #Constraints: 34616 324.68/325.55 c #Conflicts: 671000 | #Constraints: 35616 324.68/325.55 c INPROCESSING 324.68/325.55 c GARBAGE COLLECT 324.68/325.55 c rational objective 0.528889 336.55/337.48 c #Conflicts: 672000 | #Constraints: 20411 336.55/337.48 c #Conflicts: 673000 | #Constraints: 21411 336.55/337.48 c #Conflicts: 674000 | #Constraints: 22411 336.55/337.48 c #Conflicts: 675000 | #Constraints: 23411 336.55/337.48 c #Conflicts: 676000 | #Constraints: 24411 336.55/337.48 c #Conflicts: 677000 | #Constraints: 25411 336.55/337.48 c #Conflicts: 678000 | #Constraints: 26411 336.55/337.48 c #Conflicts: 679000 | #Constraints: 27411 336.55/337.48 c #Conflicts: 680000 | #Constraints: 28412 336.55/337.48 c #Conflicts: 681000 | #Constraints: 29413 336.55/337.48 c #Conflicts: 682000 | #Constraints: 30413 336.55/337.48 c #Conflicts: 683000 | #Constraints: 31413 336.55/337.48 c #Conflicts: 684000 | #Constraints: 32413 336.55/337.48 c #Conflicts: 685000 | #Constraints: 33413 336.55/337.48 c #Conflicts: 686000 | #Constraints: 34413 336.55/337.48 c #Conflicts: 687000 | #Constraints: 35413 336.55/337.48 c #Conflicts: 688000 | #Constraints: 36413 336.55/337.48 c INPROCESSING 336.55/337.48 c GARBAGE COLLECT 336.55/337.48 c rational objective 0.528889 352.00/352.96 c #Conflicts: 689000 | #Constraints: 21010 352.00/352.96 c #Conflicts: 690000 | #Constraints: 22011 352.00/352.96 c #Conflicts: 691000 | #Constraints: 23011 352.00/352.96 c #Conflicts: 692000 | #Constraints: 24011 352.00/352.96 c #Conflicts: 693000 | #Constraints: 25011 352.00/352.96 c #Conflicts: 694000 | #Constraints: 26012 352.00/352.96 c #Conflicts: 695000 | #Constraints: 27012 352.00/352.96 c #Conflicts: 696000 | #Constraints: 28012 352.00/352.96 c #Conflicts: 697000 | #Constraints: 29012 352.00/352.96 c #Conflicts: 698000 | #Constraints: 30012 352.00/352.96 c #Conflicts: 699000 | #Constraints: 31012 352.00/352.96 c #Conflicts: 700000 | #Constraints: 32012 352.00/352.96 c #Conflicts: 701000 | #Constraints: 33012 352.00/352.96 c #Conflicts: 702000 | #Constraints: 34012 352.00/352.96 c #Conflicts: 703000 | #Constraints: 35012 352.00/352.96 c #Conflicts: 704000 | #Constraints: 36012 352.00/352.96 c #Conflicts: 705000 | #Constraints: 37012 352.00/352.96 c INPROCESSING 352.00/352.96 c GARBAGE COLLECT 352.00/352.96 c rational objective 0.528889 362.07/363.02 c #Conflicts: 706000 | #Constraints: 21427 362.07/363.02 c #Conflicts: 707000 | #Constraints: 22429 362.07/363.02 c #Conflicts: 708000 | #Constraints: 23429 362.07/363.02 c #Conflicts: 709000 | #Constraints: 24429 362.07/363.02 c #Conflicts: 710000 | #Constraints: 25429 362.07/363.02 c #Conflicts: 711000 | #Constraints: 26429 362.07/363.02 c #Conflicts: 712000 | #Constraints: 27430 362.07/363.02 c #Conflicts: 713000 | #Constraints: 28430 362.07/363.02 c #Conflicts: 714000 | #Constraints: 29430 362.07/363.02 c #Conflicts: 715000 | #Constraints: 30430 362.07/363.02 c #Conflicts: 716000 | #Constraints: 31430 362.07/363.02 c #Conflicts: 717000 | #Constraints: 32430 362.07/363.02 c #Conflicts: 718000 | #Constraints: 33430 362.07/363.02 c #Conflicts: 719000 | #Constraints: 34430 362.07/363.02 c #Conflicts: 720000 | #Constraints: 35430 362.07/363.02 c #Conflicts: 721000 | #Constraints: 36430 362.07/363.02 c #Conflicts: 722000 | #Constraints: 37430 362.07/363.02 c INPROCESSING 362.07/363.02 c GARBAGE COLLECT 362.07/363.02 c rational objective 0.528889 366.75/367.76 c #Conflicts: 723000 | #Constraints: 21676 366.75/367.76 c #Conflicts: 724000 | #Constraints: 22676 366.75/367.76 c #Conflicts: 725000 | #Constraints: 23676 366.75/367.76 c #Conflicts: 726000 | #Constraints: 24676 366.75/367.76 c #Conflicts: 727000 | #Constraints: 25676 366.75/367.76 c #Conflicts: 728000 | #Constraints: 26676 366.75/367.76 c #Conflicts: 729000 | #Constraints: 27677 366.75/367.76 c #Conflicts: 730000 | #Constraints: 28677 366.75/367.76 c #Conflicts: 731000 | #Constraints: 29677 366.75/367.76 c #Conflicts: 732000 | #Constraints: 30677 366.75/367.76 c #Conflicts: 733000 | #Constraints: 31679 366.75/367.76 c #Conflicts: 734000 | #Constraints: 32680 366.75/367.76 c #Conflicts: 735000 | #Constraints: 33681 366.75/367.76 c #Conflicts: 736000 | #Constraints: 34681 366.75/367.76 c #Conflicts: 737000 | #Constraints: 35681 366.75/367.76 c #Conflicts: 738000 | #Constraints: 36681 366.75/367.76 c #Conflicts: 739000 | #Constraints: 37681 366.75/367.76 c INPROCESSING 366.75/367.76 c GARBAGE COLLECT 366.75/367.76 c rational objective 0.528889 380.61/381.68 c #Conflicts: 740000 | #Constraints: 21687 380.61/381.68 c #Conflicts: 741000 | #Constraints: 22687 380.61/381.68 c #Conflicts: 742000 | #Constraints: 23687 380.61/381.68 c #Conflicts: 743000 | #Constraints: 24687 380.61/381.68 c #Conflicts: 744000 | #Constraints: 25687 380.61/381.68 c #Conflicts: 745000 | #Constraints: 26687 380.61/381.68 c #Conflicts: 746000 | #Constraints: 27687 380.61/381.68 c #Conflicts: 747000 | #Constraints: 28688 380.61/381.68 c #Conflicts: 748000 | #Constraints: 29688 380.61/381.68 c #Conflicts: 749000 | #Constraints: 30688 380.61/381.68 c #Conflicts: 750000 | #Constraints: 31688 380.61/381.68 c #Conflicts: 751000 | #Constraints: 32688 380.61/381.68 c #Conflicts: 752000 | #Constraints: 33688 380.61/381.68 c #Conflicts: 753000 | #Constraints: 34688 380.61/381.68 c #Conflicts: 754000 | #Constraints: 35688 380.61/381.68 c #Conflicts: 755000 | #Constraints: 36688 380.61/381.68 c #Conflicts: 756000 | #Constraints: 37688 380.61/381.68 c INPROCESSING 380.61/381.68 c GARBAGE COLLECT 380.61/381.68 c rational objective 0.528889 388.69/389.76 c #Conflicts: 757000 | #Constraints: 21460 388.69/389.76 c #Conflicts: 758000 | #Constraints: 22461 388.69/389.76 c #Conflicts: 759000 | #Constraints: 23461 388.69/389.76 c #Conflicts: 760000 | #Constraints: 24462 388.69/389.76 c #Conflicts: 761000 | #Constraints: 25462 388.69/389.76 c #Conflicts: 762000 | #Constraints: 26462 388.69/389.76 c #Conflicts: 763000 | #Constraints: 27462 388.69/389.76 c #Conflicts: 764000 | #Constraints: 28463 388.69/389.76 c #Conflicts: 765000 | #Constraints: 29463 388.69/389.76 c #Conflicts: 766000 | #Constraints: 30463 388.69/389.76 c #Conflicts: 767000 | #Constraints: 31464 388.69/389.76 c #Conflicts: 768000 | #Constraints: 32464 388.69/389.76 c #Conflicts: 769000 | #Constraints: 33464 388.69/389.76 c #Conflicts: 770000 | #Constraints: 34465 388.69/389.76 c #Conflicts: 771000 | #Constraints: 35466 388.69/389.76 c #Conflicts: 772000 | #Constraints: 36466 388.69/389.76 c #Conflicts: 773000 | #Constraints: 37466 388.69/389.76 c #Conflicts: 774000 | #Constraints: 38466 388.69/389.76 c INPROCESSING 388.69/389.76 c GARBAGE COLLECT 388.69/389.76 c rational objective 1.57391 406.75/407.85 c #Conflicts: 775000 | #Constraints: 22037 406.75/407.85 c #Conflicts: 776000 | #Constraints: 23037 406.75/407.85 c #Conflicts: 777000 | #Constraints: 24037 406.75/407.85 c #Conflicts: 778000 | #Constraints: 25037 406.75/407.85 c #Conflicts: 779000 | #Constraints: 26037 406.75/407.85 c #Conflicts: 780000 | #Constraints: 27037 406.75/407.85 c #Conflicts: 781000 | #Constraints: 28037 406.75/407.85 c #Conflicts: 782000 | #Constraints: 29037 406.75/407.85 c #Conflicts: 783000 | #Constraints: 30037 406.75/407.85 c #Conflicts: 784000 | #Constraints: 31038 406.75/407.85 c #Conflicts: 785000 | #Constraints: 32038 406.75/407.85 c #Conflicts: 786000 | #Constraints: 33038 406.75/407.85 c #Conflicts: 787000 | #Constraints: 34038 406.75/407.85 c #Conflicts: 788000 | #Constraints: 35039 406.75/407.85 c #Conflicts: 789000 | #Constraints: 36039 406.75/407.85 c #Conflicts: 790000 | #Constraints: 37039 406.75/407.85 c #Conflicts: 791000 | #Constraints: 38041 406.75/407.85 c #Conflicts: 792000 | #Constraints: 39041 406.75/407.85 c INPROCESSING 406.75/407.85 c GARBAGE COLLECT 406.75/407.85 c rational objective 1.58748 415.94/417.10 c #Conflicts: 793000 | #Constraints: 22439 415.94/417.10 c #Conflicts: 794000 | #Constraints: 23439 415.94/417.10 c #Conflicts: 795000 | #Constraints: 24439 415.94/417.10 c #Conflicts: 796000 | #Constraints: 25439 415.94/417.10 c #Conflicts: 797000 | #Constraints: 26439 415.94/417.10 c #Conflicts: 798000 | #Constraints: 27439 415.94/417.10 c #Conflicts: 799000 | #Constraints: 28441 415.94/417.10 c #Conflicts: 800000 | #Constraints: 29442 415.94/417.10 c #Conflicts: 801000 | #Constraints: 30442 415.94/417.10 c #Conflicts: 802000 | #Constraints: 31443 415.94/417.10 c #Conflicts: 803000 | #Constraints: 32443 415.94/417.10 c #Conflicts: 804000 | #Constraints: 33443 415.94/417.10 c #Conflicts: 805000 | #Constraints: 34443 415.94/417.10 c #Conflicts: 806000 | #Constraints: 35443 415.94/417.10 c #Conflicts: 807000 | #Constraints: 36445 415.94/417.10 c #Conflicts: 808000 | #Constraints: 37445 415.94/417.10 c #Conflicts: 809000 | #Constraints: 38445 415.94/417.10 c #Conflicts: 810000 | #Constraints: 39445 415.94/417.10 c INPROCESSING 415.94/417.10 c GARBAGE COLLECT 415.94/417.10 c rational objective 1.58772 431.00/432.18 c #Conflicts: 811000 | #Constraints: 22613 431.00/432.18 c #Conflicts: 812000 | #Constraints: 23614 431.00/432.18 c #Conflicts: 813000 | #Constraints: 24614 431.00/432.18 c #Conflicts: 814000 | #Constraints: 25614 431.00/432.18 c #Conflicts: 815000 | #Constraints: 26614 431.00/432.18 c #Conflicts: 816000 | #Constraints: 27614 431.00/432.18 c #Conflicts: 817000 | #Constraints: 28614 431.00/432.18 c #Conflicts: 818000 | #Constraints: 29614 431.00/432.18 c #Conflicts: 819000 | #Constraints: 30615 431.00/432.18 c #Conflicts: 820000 | #Constraints: 31615 431.00/432.18 c #Conflicts: 821000 | #Constraints: 32615 431.00/432.18 c #Conflicts: 822000 | #Constraints: 33615 431.00/432.18 c #Conflicts: 823000 | #Constraints: 34616 431.00/432.18 c #Conflicts: 824000 | #Constraints: 35616 431.00/432.18 c #Conflicts: 825000 | #Constraints: 36616 431.00/432.18 c #Conflicts: 826000 | #Constraints: 37616 431.00/432.18 c #Conflicts: 827000 | #Constraints: 38617 431.00/432.18 c #Conflicts: 828000 | #Constraints: 39617 431.00/432.18 c INPROCESSING 431.00/432.18 c GARBAGE COLLECT 431.00/432.18 c rational objective 1.58772 465.21/466.45 c #Conflicts: 829000 | #Constraints: 22635 465.21/466.45 c #Conflicts: 830000 | #Constraints: 23635 465.21/466.45 c #Conflicts: 831000 | #Constraints: 24635 465.21/466.45 c #Conflicts: 832000 | #Constraints: 25635 465.21/466.45 c #Conflicts: 833000 | #Constraints: 26635 465.21/466.45 c #Conflicts: 834000 | #Constraints: 27635 465.21/466.45 c #Conflicts: 835000 | #Constraints: 28635 465.21/466.45 c #Conflicts: 836000 | #Constraints: 29635 465.21/466.45 c #Conflicts: 837000 | #Constraints: 30635 465.21/466.45 c #Conflicts: 838000 | #Constraints: 31635 465.21/466.45 c #Conflicts: 839000 | #Constraints: 32635 465.21/466.45 c #Conflicts: 840000 | #Constraints: 33635 465.21/466.45 c #Conflicts: 841000 | #Constraints: 34635 465.21/466.45 c #Conflicts: 842000 | #Constraints: 35635 465.21/466.45 c #Conflicts: 843000 | #Constraints: 36635 465.21/466.45 c #Conflicts: 844000 | #Constraints: 37635 465.21/466.45 c #Conflicts: 845000 | #Constraints: 38635 465.21/466.45 c #Conflicts: 846000 | #Constraints: 39635 465.21/466.45 c INPROCESSING 465.21/466.45 c GARBAGE COLLECT 465.21/466.45 c rational objective 1.58772 476.38/477.61 c #Conflicts: 847000 | #Constraints: 22444 476.38/477.61 c #Conflicts: 848000 | #Constraints: 23444 476.38/477.61 c #Conflicts: 849000 | #Constraints: 24444 476.38/477.61 c #Conflicts: 850000 | #Constraints: 25444 476.38/477.61 c #Conflicts: 851000 | #Constraints: 26446 476.38/477.61 c #Conflicts: 852000 | #Constraints: 27446 476.38/477.61 c #Conflicts: 853000 | #Constraints: 28446 476.38/477.61 c #Conflicts: 854000 | #Constraints: 29446 476.38/477.61 c #Conflicts: 855000 | #Constraints: 30446 476.38/477.61 c #Conflicts: 856000 | #Constraints: 31446 476.38/477.61 c #Conflicts: 857000 | #Constraints: 32446 476.38/477.61 c #Conflicts: 858000 | #Constraints: 33446 476.38/477.61 c #Conflicts: 859000 | #Constraints: 34446 476.38/477.61 c #Conflicts: 860000 | #Constraints: 35446 476.38/477.61 c #Conflicts: 861000 | #Constraints: 36447 476.38/477.61 c #Conflicts: 862000 | #Constraints: 37448 476.38/477.61 c #Conflicts: 863000 | #Constraints: 38448 476.38/477.61 c #Conflicts: 864000 | #Constraints: 39448 476.38/477.61 c #Conflicts: 865000 | #Constraints: 40448 476.38/477.61 c INPROCESSING 476.38/477.61 c GARBAGE COLLECT 476.38/477.61 c rational objective 1.58772 484.46/485.79 c #Conflicts: 866000 | #Constraints: 23033 484.46/485.79 c #Conflicts: 867000 | #Constraints: 24034 484.46/485.79 c #Conflicts: 868000 | #Constraints: 25034 484.46/485.79 c #Conflicts: 869000 | #Constraints: 26034 484.46/485.79 c #Conflicts: 870000 | #Constraints: 27034 484.46/485.79 c #Conflicts: 871000 | #Constraints: 28034 484.46/485.79 c #Conflicts: 872000 | #Constraints: 29034 484.46/485.79 c #Conflicts: 873000 | #Constraints: 30035 484.46/485.79 c #Conflicts: 874000 | #Constraints: 31035 484.46/485.79 c #Conflicts: 875000 | #Constraints: 32035 484.46/485.79 c #Conflicts: 876000 | #Constraints: 33036 484.46/485.79 c #Conflicts: 877000 | #Constraints: 34036 484.46/485.79 c #Conflicts: 878000 | #Constraints: 35036 484.46/485.79 c #Conflicts: 879000 | #Constraints: 36036 484.46/485.79 c #Conflicts: 880000 | #Constraints: 37036 484.46/485.79 c #Conflicts: 881000 | #Constraints: 38037 484.46/485.79 c #Conflicts: 882000 | #Constraints: 39038 484.46/485.79 c #Conflicts: 883000 | #Constraints: 40038 484.46/485.79 c #Conflicts: 884000 | #Constraints: 41038 484.46/485.79 c INPROCESSING 484.46/485.79 c GARBAGE COLLECT 484.46/485.79 c rational objective 1.58772 494.04/495.30 c #Conflicts: 885000 | #Constraints: 23425 494.04/495.30 c #Conflicts: 886000 | #Constraints: 24426 494.04/495.30 c #Conflicts: 887000 | #Constraints: 25426 494.04/495.30 c #Conflicts: 888000 | #Constraints: 26426 494.04/495.30 c #Conflicts: 889000 | #Constraints: 27426 494.04/495.30 c #Conflicts: 890000 | #Constraints: 28427 494.04/495.30 c #Conflicts: 891000 | #Constraints: 29428 494.04/495.30 c #Conflicts: 892000 | #Constraints: 30430 494.04/495.30 c #Conflicts: 893000 | #Constraints: 31430 494.04/495.30 c #Conflicts: 894000 | #Constraints: 32430 494.04/495.30 c #Conflicts: 895000 | #Constraints: 33430 494.04/495.30 c #Conflicts: 896000 | #Constraints: 34430 494.04/495.30 c #Conflicts: 897000 | #Constraints: 35430 494.04/495.30 c #Conflicts: 898000 | #Constraints: 36430 494.04/495.30 c #Conflicts: 899000 | #Constraints: 37430 494.04/495.30 c #Conflicts: 900000 | #Constraints: 38430 494.04/495.30 c #Conflicts: 901000 | #Constraints: 39430 494.04/495.30 c #Conflicts: 902000 | #Constraints: 40431 494.04/495.30 c #Conflicts: 903000 | #Constraints: 41431 494.04/495.30 c INPROCESSING 494.04/495.30 c GARBAGE COLLECT 494.04/495.30 c rational objective 1.58772 508.31/509.67 c #Conflicts: 904000 | #Constraints: 23629 508.31/509.67 c #Conflicts: 905000 | #Constraints: 24629 508.31/509.67 c #Conflicts: 906000 | #Constraints: 25629 508.31/509.67 c #Conflicts: 907000 | #Constraints: 26629 508.31/509.67 c #Conflicts: 908000 | #Constraints: 27629 508.31/509.67 c #Conflicts: 909000 | #Constraints: 28630 508.31/509.67 c #Conflicts: 910000 | #Constraints: 29630 508.31/509.67 c #Conflicts: 911000 | #Constraints: 30631 508.31/509.67 c #Conflicts: 912000 | #Constraints: 31631 508.31/509.67 c #Conflicts: 913000 | #Constraints: 32632 508.31/509.67 c #Conflicts: 914000 | #Constraints: 33633 508.31/509.67 c #Conflicts: 915000 | #Constraints: 34633 508.31/509.67 c #Conflicts: 916000 | #Constraints: 35633 508.31/509.67 c #Conflicts: 917000 | #Constraints: 36633 508.31/509.67 c #Conflicts: 918000 | #Constraints: 37633 508.31/509.67 c #Conflicts: 919000 | #Constraints: 38635 508.31/509.67 c #Conflicts: 920000 | #Constraints: 39637 508.31/509.67 c #Conflicts: 921000 | #Constraints: 40638 508.31/509.67 c #Conflicts: 922000 | #Constraints: 41638 508.31/509.67 c INPROCESSING 508.31/509.67 c GARBAGE COLLECT 508.31/509.67 c rational objective 1.58772 526.46/527.87 c #Conflicts: 923000 | #Constraints: 23650 526.46/527.87 c #Conflicts: 924000 | #Constraints: 24650 526.46/527.87 c #Conflicts: 925000 | #Constraints: 25653 526.46/527.87 c #Conflicts: 926000 | #Constraints: 26653 526.46/527.87 c #Conflicts: 927000 | #Constraints: 27653 526.46/527.87 c #Conflicts: 928000 | #Constraints: 28654 526.46/527.87 c #Conflicts: 929000 | #Constraints: 29654 526.46/527.87 c #Conflicts: 930000 | #Constraints: 30654 526.46/527.87 c #Conflicts: 931000 | #Constraints: 31654 526.46/527.87 c #Conflicts: 932000 | #Constraints: 32654 526.46/527.87 c #Conflicts: 933000 | #Constraints: 33654 526.46/527.87 c #Conflicts: 934000 | #Constraints: 34654 526.46/527.87 c #Conflicts: 935000 | #Constraints: 35654 526.46/527.87 c #Conflicts: 936000 | #Constraints: 36654 526.46/527.87 c #Conflicts: 937000 | #Constraints: 37654 526.46/527.87 c #Conflicts: 938000 | #Constraints: 38654 526.46/527.87 c #Conflicts: 939000 | #Constraints: 39654 526.46/527.87 c #Conflicts: 940000 | #Constraints: 40654 526.46/527.87 c #Conflicts: 941000 | #Constraints: 41654 526.46/527.87 c INPROCESSING 526.46/527.87 c GARBAGE COLLECT 526.46/527.87 c rational objective 1.58772 533.04/534.46 c #Conflicts: 942000 | #Constraints: 23481 533.04/534.46 c #Conflicts: 943000 | #Constraints: 24481 533.04/534.46 c #Conflicts: 944000 | #Constraints: 25481 533.04/534.46 c #Conflicts: 945000 | #Constraints: 26482 533.04/534.46 c #Conflicts: 946000 | #Constraints: 27484 533.04/534.46 c #Conflicts: 947000 | #Constraints: 28484 533.04/534.46 c #Conflicts: 948000 | #Constraints: 29484 533.04/534.46 c #Conflicts: 949000 | #Constraints: 30484 533.04/534.46 c #Conflicts: 950000 | #Constraints: 31484 533.04/534.46 c #Conflicts: 951000 | #Constraints: 32484 533.04/534.46 c #Conflicts: 952000 | #Constraints: 33485 533.04/534.46 c #Conflicts: 953000 | #Constraints: 34485 533.04/534.46 c #Conflicts: 954000 | #Constraints: 35486 533.04/534.46 c #Conflicts: 955000 | #Constraints: 36486 533.04/534.46 c #Conflicts: 956000 | #Constraints: 37486 533.04/534.46 c #Conflicts: 957000 | #Constraints: 38486 533.04/534.46 c #Conflicts: 958000 | #Constraints: 39486 533.04/534.46 c #Conflicts: 959000 | #Constraints: 40486 533.04/534.46 c #Conflicts: 960000 | #Constraints: 41487 533.04/534.46 c #Conflicts: 961000 | #Constraints: 42488 533.04/534.46 c INPROCESSING 533.04/534.46 c GARBAGE COLLECT 533.04/534.46 c rational objective 1.58772 572.35/573.88 c #Conflicts: 962000 | #Constraints: 24094 572.35/573.88 c #Conflicts: 963000 | #Constraints: 25094 572.35/573.88 c #Conflicts: 964000 | #Constraints: 26094 572.35/573.88 c #Conflicts: 965000 | #Constraints: 27094 572.35/573.88 c #Conflicts: 966000 | #Constraints: 28094 572.35/573.88 c #Conflicts: 967000 | #Constraints: 29094 572.35/573.88 c #Conflicts: 968000 | #Constraints: 30094 572.35/573.88 c #Conflicts: 969000 | #Constraints: 31094 572.35/573.88 c #Conflicts: 970000 | #Constraints: 32094 572.35/573.88 c #Conflicts: 971000 | #Constraints: 33094 572.35/573.88 c #Conflicts: 972000 | #Constraints: 34094 572.35/573.88 c #Conflicts: 973000 | #Constraints: 35094 572.35/573.88 c #Conflicts: 974000 | #Constraints: 36095 572.35/573.88 c #Conflicts: 975000 | #Constraints: 37095 572.35/573.88 c #Conflicts: 976000 | #Constraints: 38096 572.35/573.88 c #Conflicts: 977000 | #Constraints: 39096 572.35/573.88 c #Conflicts: 978000 | #Constraints: 40096 572.35/573.88 c #Conflicts: 979000 | #Constraints: 41096 572.35/573.88 c #Conflicts: 980000 | #Constraints: 42096 572.35/573.88 c #Conflicts: 981000 | #Constraints: 43096 572.35/573.88 c INPROCESSING 572.35/573.88 c GARBAGE COLLECT 572.35/573.88 c rational objective 1.58772 580.43/581.96 c #Conflicts: 982000 | #Constraints: 24511 580.43/581.96 c #Conflicts: 983000 | #Constraints: 25511 580.43/581.96 c #Conflicts: 984000 | #Constraints: 26512 580.43/581.96 c #Conflicts: 985000 | #Constraints: 27513 580.43/581.96 c #Conflicts: 986000 | #Constraints: 28514 580.43/581.96 c #Conflicts: 987000 | #Constraints: 29514 580.43/581.96 c #Conflicts: 988000 | #Constraints: 30514 580.43/581.96 c #Conflicts: 989000 | #Constraints: 31514 580.43/581.96 c #Conflicts: 990000 | #Constraints: 32514 580.43/581.96 c #Conflicts: 991000 | #Constraints: 33514 580.43/581.96 c #Conflicts: 992000 | #Constraints: 34514 580.43/581.96 c #Conflicts: 993000 | #Constraints: 35514 580.43/581.96 c #Conflicts: 994000 | #Constraints: 36514 580.43/581.96 c #Conflicts: 995000 | #Constraints: 37514 580.43/581.96 c #Conflicts: 996000 | #Constraints: 38515 580.43/581.96 c #Conflicts: 997000 | #Constraints: 39515 580.43/581.96 c #Conflicts: 998000 | #Constraints: 40516 580.43/581.96 c #Conflicts: 999000 | #Constraints: 41517 580.43/581.96 c #Conflicts: 1000000 | #Constraints: 42517 580.43/581.96 c #Conflicts: 1001000 | #Constraints: 43517 580.43/581.96 c INPROCESSING 580.43/581.96 c GARBAGE COLLECT 580.43/581.96 c rational objective 1.58772 676.31/678.08 c #Conflicts: 1002000 | #Constraints: 24717 676.31/678.08 c #Conflicts: 1003000 | #Constraints: 25717 676.31/678.08 c #Conflicts: 1004000 | #Constraints: 26717 676.31/678.08 c #Conflicts: 1005000 | #Constraints: 27717 676.31/678.08 c #Conflicts: 1006000 | #Constraints: 28717 676.31/678.08 c #Conflicts: 1007000 | #Constraints: 29717 676.31/678.08 c #Conflicts: 1008000 | #Constraints: 30717 676.31/678.08 c #Conflicts: 1009000 | #Constraints: 31717 676.31/678.08 c #Conflicts: 1010000 | #Constraints: 32717 676.31/678.08 c #Conflicts: 1011000 | #Constraints: 33717 676.31/678.08 c #Conflicts: 1012000 | #Constraints: 34717 676.31/678.08 c #Conflicts: 1013000 | #Constraints: 35717 676.31/678.08 c #Conflicts: 1014000 | #Constraints: 36717 676.31/678.08 c #Conflicts: 1015000 | #Constraints: 37717 676.31/678.08 c #Conflicts: 1016000 | #Constraints: 38717 676.31/678.08 c #Conflicts: 1017000 | #Constraints: 39717 676.31/678.08 c #Conflicts: 1018000 | #Constraints: 40717 676.31/678.08 c #Conflicts: 1019000 | #Constraints: 41717 676.31/678.08 c #Conflicts: 1020000 | #Constraints: 42717 676.31/678.08 c #Conflicts: 1021000 | #Constraints: 43717 676.31/678.08 c INPROCESSING 676.31/678.08 c GARBAGE COLLECT 676.31/678.08 c rational objective 1.58772 682.29/684.07 c #Conflicts: 1022000 | #Constraints: 24720 682.29/684.07 c #Conflicts: 1023000 | #Constraints: 25720 682.29/684.07 c #Conflicts: 1024000 | #Constraints: 26720 682.29/684.07 c #Conflicts: 1025000 | #Constraints: 27720 682.29/684.07 c #Conflicts: 1026000 | #Constraints: 28720 682.29/684.07 c #Conflicts: 1027000 | #Constraints: 29720 682.29/684.07 c #Conflicts: 1028000 | #Constraints: 30720 682.29/684.07 c #Conflicts: 1029000 | #Constraints: 31721 682.29/684.07 c #Conflicts: 1030000 | #Constraints: 32721 682.29/684.07 c #Conflicts: 1031000 | #Constraints: 33721 682.29/684.07 c #Conflicts: 1032000 | #Constraints: 34721 682.29/684.07 c #Conflicts: 1033000 | #Constraints: 35721 682.29/684.07 c #Conflicts: 1034000 | #Constraints: 36721 682.29/684.07 c #Conflicts: 1035000 | #Constraints: 37722 682.29/684.07 c #Conflicts: 1036000 | #Constraints: 38722 682.29/684.07 c #Conflicts: 1037000 | #Constraints: 39723 682.29/684.07 c #Conflicts: 1038000 | #Constraints: 40723 682.29/684.07 c #Conflicts: 1039000 | #Constraints: 41724 682.29/684.07 c #Conflicts: 1040000 | #Constraints: 42725 682.29/684.07 c #Conflicts: 1041000 | #Constraints: 43725 682.29/684.07 c INPROCESSING 682.29/684.07 c GARBAGE COLLECT 682.29/684.07 c rational objective 1.81641 807.16/809.27 c #Conflicts: 1042000 | #Constraints: 24501 807.16/809.27 c #Conflicts: 1043000 | #Constraints: 25501 807.16/809.27 c #Conflicts: 1044000 | #Constraints: 26501 807.16/809.27 c #Conflicts: 1045000 | #Constraints: 27501 807.16/809.27 c #Conflicts: 1046000 | #Constraints: 28501 807.16/809.27 c #Conflicts: 1047000 | #Constraints: 29501 807.16/809.27 c #Conflicts: 1048000 | #Constraints: 30501 807.16/809.27 c #Conflicts: 1049000 | #Constraints: 31501 807.16/809.27 c #Conflicts: 1050000 | #Constraints: 32501 807.16/809.27 c #Conflicts: 1051000 | #Constraints: 33501 807.16/809.27 c #Conflicts: 1052000 | #Constraints: 34501 807.16/809.27 c #Conflicts: 1053000 | #Constraints: 35501 807.16/809.27 c #Conflicts: 1054000 | #Constraints: 36501 807.16/809.27 c #Conflicts: 1055000 | #Constraints: 37501 807.16/809.27 c #Conflicts: 1056000 | #Constraints: 38501 807.16/809.27 c #Conflicts: 1057000 | #Constraints: 39501 807.16/809.27 c #Conflicts: 1058000 | #Constraints: 40501 807.16/809.27 c #Conflicts: 1059000 | #Constraints: 41501 807.16/809.27 c #Conflicts: 1060000 | #Constraints: 42501 807.16/809.27 c #Conflicts: 1061000 | #Constraints: 43501 807.16/809.27 c #Conflicts: 1062000 | #Constraints: 44501 807.16/809.27 c INPROCESSING 807.16/809.27 c GARBAGE COLLECT 807.16/809.27 c rational objective 1.84708 828.40/830.58 c #Conflicts: 1063000 | #Constraints: 25076 828.40/830.58 c #Conflicts: 1064000 | #Constraints: 26076 828.40/830.58 c #Conflicts: 1065000 | #Constraints: 27078 828.40/830.58 c #Conflicts: 1066000 | #Constraints: 28078 828.40/830.58 c #Conflicts: 1067000 | #Constraints: 29079 828.40/830.58 c #Conflicts: 1068000 | #Constraints: 30079 828.40/830.58 c #Conflicts: 1069000 | #Constraints: 31079 828.40/830.58 c #Conflicts: 1070000 | #Constraints: 32079 828.40/830.58 c #Conflicts: 1071000 | #Constraints: 33079 828.40/830.58 c #Conflicts: 1072000 | #Constraints: 34080 828.40/830.58 c #Conflicts: 1073000 | #Constraints: 35080 828.40/830.58 c #Conflicts: 1074000 | #Constraints: 36080 828.40/830.58 c #Conflicts: 1075000 | #Constraints: 37081 828.40/830.58 c #Conflicts: 1076000 | #Constraints: 38081 828.40/830.58 c #Conflicts: 1077000 | #Constraints: 39081 828.40/830.58 c #Conflicts: 1078000 | #Constraints: 40081 828.40/830.58 c #Conflicts: 1079000 | #Constraints: 41081 828.40/830.58 c #Conflicts: 1080000 | #Constraints: 42081 828.40/830.58 c #Conflicts: 1081000 | #Constraints: 43081 828.40/830.58 c #Conflicts: 1082000 | #Constraints: 44082 828.40/830.58 c #Conflicts: 1083000 | #Constraints: 45082 828.40/830.58 c INPROCESSING 828.40/830.58 c GARBAGE COLLECT 828.40/830.58 c rational objective 1.87657 951.50/953.94 c #Conflicts: 1084000 | #Constraints: 25510 951.50/953.94 c #Conflicts: 1085000 | #Constraints: 26510 951.50/953.94 c #Conflicts: 1086000 | #Constraints: 27510 951.50/953.94 c #Conflicts: 1087000 | #Constraints: 28511 951.50/953.94 c #Conflicts: 1088000 | #Constraints: 29511 951.50/953.94 c #Conflicts: 1089000 | #Constraints: 30511 951.50/953.94 c #Conflicts: 1090000 | #Constraints: 31511 951.50/953.94 c #Conflicts: 1091000 | #Constraints: 32511 951.50/953.94 c #Conflicts: 1092000 | #Constraints: 33511 951.50/953.94 c #Conflicts: 1093000 | #Constraints: 34511 951.50/953.94 c #Conflicts: 1094000 | #Constraints: 35511 951.50/953.94 c #Conflicts: 1095000 | #Constraints: 36511 951.50/953.94 c #Conflicts: 1096000 | #Constraints: 37511 951.50/953.94 c #Conflicts: 1097000 | #Constraints: 38511 951.50/953.94 c #Conflicts: 1098000 | #Constraints: 39511 951.50/953.94 c #Conflicts: 1099000 | #Constraints: 40511 951.50/953.94 c #Conflicts: 1100000 | #Constraints: 41511 951.50/953.94 c #Conflicts: 1101000 | #Constraints: 42511 951.50/953.94 c #Conflicts: 1102000 | #Constraints: 43511 951.50/953.94 c #Conflicts: 1103000 | #Constraints: 44511 951.50/953.94 c #Conflicts: 1104000 | #Constraints: 45511 951.50/953.94 c INPROCESSING 951.50/953.94 c GARBAGE COLLECT 951.50/953.94 c rational objective 1.87713 958.09/960.55 c #Conflicts: 1105000 | #Constraints: 25716 958.09/960.55 c #Conflicts: 1106000 | #Constraints: 26716 958.09/960.55 c #Conflicts: 1107000 | #Constraints: 27717 958.09/960.55 c #Conflicts: 1108000 | #Constraints: 28720 958.09/960.55 c #Conflicts: 1109000 | #Constraints: 29722 958.09/960.55 c #Conflicts: 1110000 | #Constraints: 30724 958.09/960.55 c #Conflicts: 1111000 | #Constraints: 31725 958.09/960.55 c #Conflicts: 1112000 | #Constraints: 32725 958.09/960.55 c #Conflicts: 1113000 | #Constraints: 33725 958.09/960.55 c #Conflicts: 1114000 | #Constraints: 34725 958.09/960.55 c #Conflicts: 1115000 | #Constraints: 35725 958.09/960.55 c #Conflicts: 1116000 | #Constraints: 36725 958.09/960.55 c #Conflicts: 1117000 | #Constraints: 37725 958.09/960.55 c #Conflicts: 1118000 | #Constraints: 38726 958.09/960.55 c #Conflicts: 1119000 | #Constraints: 39727 958.09/960.55 c #Conflicts: 1120000 | #Constraints: 40730 958.09/960.55 c #Conflicts: 1121000 | #Constraints: 41731 958.09/960.55 c #Conflicts: 1122000 | #Constraints: 42731 958.09/960.55 c #Conflicts: 1123000 | #Constraints: 43732 958.09/960.55 c #Conflicts: 1124000 | #Constraints: 44732 958.09/960.55 c #Conflicts: 1125000 | #Constraints: 45732 958.09/960.55 c INPROCESSING 958.09/960.55 c GARBAGE COLLECT 958.09/960.55 c rational objective 1.87741 999.30/1001.85 c #Conflicts: 1126000 | #Constraints: 25714 999.30/1001.85 c #Conflicts: 1127000 | #Constraints: 26714 999.30/1001.85 c #Conflicts: 1128000 | #Constraints: 27715 999.30/1001.85 c #Conflicts: 1129000 | #Constraints: 28716 999.30/1001.85 c #Conflicts: 1130000 | #Constraints: 29716 999.30/1001.85 c #Conflicts: 1131000 | #Constraints: 30717 999.30/1001.85 c #Conflicts: 1132000 | #Constraints: 31717 999.30/1001.85 c #Conflicts: 1133000 | #Constraints: 32717 999.30/1001.85 c #Conflicts: 1134000 | #Constraints: 33717 999.30/1001.85 c #Conflicts: 1135000 | #Constraints: 34717 999.30/1001.85 c #Conflicts: 1136000 | #Constraints: 35717 999.30/1001.85 c #Conflicts: 1137000 | #Constraints: 36717 999.30/1001.85 c #Conflicts: 1138000 | #Constraints: 37717 999.30/1001.85 c #Conflicts: 1139000 | #Constraints: 38717 999.30/1001.85 c #Conflicts: 1140000 | #Constraints: 39717 999.30/1001.85 c #Conflicts: 1141000 | #Constraints: 40717 999.30/1001.85 c #Conflicts: 1142000 | #Constraints: 41717 999.30/1001.85 c #Conflicts: 1143000 | #Constraints: 42717 999.30/1001.85 c #Conflicts: 1144000 | #Constraints: 43717 999.30/1001.85 c #Conflicts: 1145000 | #Constraints: 44718 999.30/1001.85 c #Conflicts: 1146000 | #Constraints: 45718 999.30/1001.85 c INPROCESSING 999.30/1001.85 c GARBAGE COLLECT 999.30/1001.85 c #Conflicts: 1147000 | #Constraints: 25479 999.30/1001.85 c #Conflicts: 1148000 | #Constraints: 26479 999.30/1001.85 c #Conflicts: 1149000 | #Constraints: 27479 999.30/1001.85 c #Conflicts: 1150000 | #Constraints: 28479 999.30/1001.85 c #Conflicts: 1151000 | #Constraints: 29479 999.30/1001.85 c #Conflicts: 1152000 | #Constraints: 30479 999.30/1001.85 c #Conflicts: 1153000 | #Constraints: 31479 999.30/1001.85 c #Conflicts: 1154000 | #Constraints: 32479 999.30/1001.85 c #Conflicts: 1155000 | #Constraints: 33479 999.30/1001.85 c #Conflicts: 1156000 | #Constraints: 34479 999.30/1001.85 c #Conflicts: 1157000 | #Constraints: 35479 999.30/1001.85 c #Conflicts: 1158000 | #Constraints: 36480 999.30/1001.85 c #Conflicts: 1159000 | #Constraints: 37480 999.30/1001.85 c #Conflicts: 1160000 | #Constraints: 38480 999.30/1001.85 c #Conflicts: 1161000 | #Constraints: 39481 999.30/1001.85 c #Conflicts: 1162000 | #Constraints: 40481 999.30/1001.85 c #Conflicts: 1163000 | #Constraints: 41481 999.30/1001.85 c #Conflicts: 1164000 | #Constraints: 42481 999.30/1001.85 c #Conflicts: 1165000 | #Constraints: 43481 999.30/1001.85 c #Conflicts: 1166000 | #Constraints: 44481 999.30/1001.85 c #Conflicts: 1167000 | #Constraints: 45481 999.30/1001.85 c #Conflicts: 1168000 | #Constraints: 46482 999.30/1001.85 c INPROCESSING 999.30/1001.85 c GARBAGE COLLECT 999.30/1001.85 c rational objective 1.87771 1038.30/1040.99 c #Conflicts: 1169000 | #Constraints: 26053 1038.30/1040.99 c #Conflicts: 1170000 | #Constraints: 27053 1038.30/1040.99 c #Conflicts: 1171000 | #Constraints: 28053 1038.30/1040.99 c #Conflicts: 1172000 | #Constraints: 29053 1038.30/1040.99 c #Conflicts: 1173000 | #Constraints: 30053 1038.30/1040.99 c #Conflicts: 1174000 | #Constraints: 31053 1038.30/1040.99 c #Conflicts: 1175000 | #Constraints: 32053 1038.30/1040.99 c #Conflicts: 1176000 | #Constraints: 33053 1038.30/1040.99 c #Conflicts: 1177000 | #Constraints: 34053 1038.30/1040.99 c #Conflicts: 1178000 | #Constraints: 35053 1038.30/1040.99 c #Conflicts: 1179000 | #Constraints: 36053 1038.30/1040.99 c #Conflicts: 1180000 | #Constraints: 37053 1038.30/1040.99 c #Conflicts: 1181000 | #Constraints: 38053 1038.30/1040.99 c #Conflicts: 1182000 | #Constraints: 39054 1038.30/1040.99 c #Conflicts: 1183000 | #Constraints: 40055 1038.30/1040.99 c #Conflicts: 1184000 | #Constraints: 41056 1038.30/1040.99 c #Conflicts: 1185000 | #Constraints: 42056 1038.30/1040.99 c #Conflicts: 1186000 | #Constraints: 43056 1038.30/1040.99 c #Conflicts: 1187000 | #Constraints: 44056 1038.30/1040.99 c #Conflicts: 1188000 | #Constraints: 45056 1038.30/1040.99 c #Conflicts: 1189000 | #Constraints: 46056 1038.30/1040.99 c #Conflicts: 1190000 | #Constraints: 47056 1038.30/1040.99 c INPROCESSING 1038.30/1040.99 c GARBAGE COLLECT 1038.30/1040.99 c rational objective 1.87777 1056.37/1059.01 c #Conflicts: 1191000 | #Constraints: 26438 1056.37/1059.01 c #Conflicts: 1192000 | #Constraints: 27438 1056.37/1059.01 c #Conflicts: 1193000 | #Constraints: 28439 1056.37/1059.01 c #Conflicts: 1194000 | #Constraints: 29440 1056.37/1059.01 c #Conflicts: 1195000 | #Constraints: 30440 1056.37/1059.01 c #Conflicts: 1196000 | #Constraints: 31440 1056.37/1059.01 c #Conflicts: 1197000 | #Constraints: 32440 1056.37/1059.01 c #Conflicts: 1198000 | #Constraints: 33441 1056.37/1059.01 c #Conflicts: 1199000 | #Constraints: 34442 1056.37/1059.01 c #Conflicts: 1200000 | #Constraints: 35442 1056.37/1059.01 c #Conflicts: 1201000 | #Constraints: 36443 1056.37/1059.01 c #Conflicts: 1202000 | #Constraints: 37443 1056.37/1059.01 c #Conflicts: 1203000 | #Constraints: 38444 1056.37/1059.01 c #Conflicts: 1204000 | #Constraints: 39444 1056.37/1059.01 c #Conflicts: 1205000 | #Constraints: 40445 1056.37/1059.01 c #Conflicts: 1206000 | #Constraints: 41445 1056.37/1059.01 c #Conflicts: 1207000 | #Constraints: 42445 1056.37/1059.01 c #Conflicts: 1208000 | #Constraints: 43445 1056.37/1059.01 c #Conflicts: 1209000 | #Constraints: 44445 1056.37/1059.01 c #Conflicts: 1210000 | #Constraints: 45445 1056.37/1059.01 c #Conflicts: 1211000 | #Constraints: 46445 1056.37/1059.01 c #Conflicts: 1212000 | #Constraints: 47445 1056.37/1059.01 c INPROCESSING 1056.37/1059.01 c GARBAGE COLLECT 1056.37/1059.01 c rational objective 1.87777 1066.35/1069.04 c #Conflicts: 1213000 | #Constraints: 26670 1066.35/1069.04 c #Conflicts: 1214000 | #Constraints: 27670 1066.35/1069.04 c #Conflicts: 1215000 | #Constraints: 28670 1066.35/1069.04 c #Conflicts: 1216000 | #Constraints: 29670 1066.35/1069.04 c #Conflicts: 1217000 | #Constraints: 30670 1066.35/1069.04 c #Conflicts: 1218000 | #Constraints: 31670 1066.35/1069.04 c #Conflicts: 1219000 | #Constraints: 32670 1066.35/1069.04 c #Conflicts: 1220000 | #Constraints: 33670 1066.35/1069.04 c #Conflicts: 1221000 | #Constraints: 34670 1066.35/1069.04 c #Conflicts: 1222000 | #Constraints: 35671 1066.35/1069.04 c #Conflicts: 1223000 | #Constraints: 36671 1066.35/1069.04 c #Conflicts: 1224000 | #Constraints: 37671 1066.35/1069.04 c #Conflicts: 1225000 | #Constraints: 38671 1066.35/1069.04 c #Conflicts: 1226000 | #Constraints: 39671 1066.35/1069.04 c #Conflicts: 1227000 | #Constraints: 40671 1066.35/1069.04 c #Conflicts: 1228000 | #Constraints: 41671 1066.35/1069.04 c #Conflicts: 1229000 | #Constraints: 42671 1066.35/1069.04 c #Conflicts: 1230000 | #Constraints: 43672 1066.35/1069.04 c #Conflicts: 1231000 | #Constraints: 44672 1066.35/1069.04 c #Conflicts: 1232000 | #Constraints: 45672 1066.35/1069.04 c #Conflicts: 1233000 | #Constraints: 46672 1066.35/1069.04 c #Conflicts: 1234000 | #Constraints: 47672 1066.35/1069.04 c INPROCESSING 1066.35/1069.04 c GARBAGE COLLECT 1066.35/1069.04 c rational objective 1.87777 1086.69/1089.48 c #Conflicts: 1235000 | #Constraints: 26636 1086.69/1089.48 c #Conflicts: 1236000 | #Constraints: 27636 1086.69/1089.48 c #Conflicts: 1237000 | #Constraints: 28636 1086.69/1089.48 c #Conflicts: 1238000 | #Constraints: 29636 1086.69/1089.48 c #Conflicts: 1239000 | #Constraints: 30636 1086.69/1089.48 c #Conflicts: 1240000 | #Constraints: 31639 1086.69/1089.48 c #Conflicts: 1241000 | #Constraints: 32641 1086.69/1089.48 c #Conflicts: 1242000 | #Constraints: 33641 1086.69/1089.48 c #Conflicts: 1243000 | #Constraints: 34641 1086.69/1089.48 c #Conflicts: 1244000 | #Constraints: 35642 1086.69/1089.48 c #Conflicts: 1245000 | #Constraints: 36643 1086.69/1089.48 c #Conflicts: 1246000 | #Constraints: 37643 1086.69/1089.48 c #Conflicts: 1247000 | #Constraints: 38644 1086.69/1089.48 c #Conflicts: 1248000 | #Constraints: 39644 1086.69/1089.48 c #Conflicts: 1249000 | #Constraints: 40645 1086.69/1089.48 c #Conflicts: 1250000 | #Constraints: 41645 1086.69/1089.48 c #Conflicts: 1251000 | #Constraints: 42645 1086.69/1089.48 c #Conflicts: 1252000 | #Constraints: 43646 1086.69/1089.48 c #Conflicts: 1253000 | #Constraints: 44646 1086.69/1089.48 c #Conflicts: 1254000 | #Constraints: 45646 1086.69/1089.48 c #Conflicts: 1255000 | #Constraints: 46646 1086.69/1089.48 c #Conflicts: 1256000 | #Constraints: 47646 1086.69/1089.48 c INPROCESSING 1086.69/1089.48 c GARBAGE COLLECT 1086.69/1089.48 c rational objective 1.87125 1104.66/1107.48 c #Conflicts: 1257000 | #Constraints: 26453 1104.66/1107.48 c #Conflicts: 1258000 | #Constraints: 27453 1104.66/1107.48 c #Conflicts: 1259000 | #Constraints: 28454 1104.66/1107.48 c #Conflicts: 1260000 | #Constraints: 29455 1104.66/1107.48 c #Conflicts: 1261000 | #Constraints: 30455 1104.66/1107.48 c #Conflicts: 1262000 | #Constraints: 31455 1104.66/1107.48 c #Conflicts: 1263000 | #Constraints: 32455 1104.66/1107.48 c #Conflicts: 1264000 | #Constraints: 33455 1104.66/1107.48 c #Conflicts: 1265000 | #Constraints: 34455 1104.66/1107.48 c #Conflicts: 1266000 | #Constraints: 35456 1104.66/1107.48 c #Conflicts: 1267000 | #Constraints: 36457 1104.66/1107.48 c #Conflicts: 1268000 | #Constraints: 37457 1104.66/1107.48 c #Conflicts: 1269000 | #Constraints: 38457 1104.66/1107.48 c #Conflicts: 1270000 | #Constraints: 39457 1104.66/1107.48 c #Conflicts: 1271000 | #Constraints: 40458 1104.66/1107.48 c #Conflicts: 1272000 | #Constraints: 41458 1104.66/1107.48 c #Conflicts: 1273000 | #Constraints: 42458 1104.66/1107.48 c #Conflicts: 1274000 | #Constraints: 43458 1104.66/1107.48 c #Conflicts: 1275000 | #Constraints: 44458 1104.66/1107.48 c #Conflicts: 1276000 | #Constraints: 45458 1104.66/1107.48 c #Conflicts: 1277000 | #Constraints: 46459 1104.66/1107.48 c #Conflicts: 1278000 | #Constraints: 47459 1104.66/1107.48 c #Conflicts: 1279000 | #Constraints: 48459 1104.66/1107.48 c INPROCESSING 1104.66/1107.48 c GARBAGE COLLECT 1104.66/1107.48 c rational objective 1.87664 1117.43/1120.26 c #Conflicts: 1280000 | #Constraints: 27047 1117.43/1120.26 c #Conflicts: 1281000 | #Constraints: 28047 1117.43/1120.26 c #Conflicts: 1282000 | #Constraints: 29048 1117.43/1120.26 c #Conflicts: 1283000 | #Constraints: 30048 1117.43/1120.26 c #Conflicts: 1284000 | #Constraints: 31049 1117.43/1120.26 c #Conflicts: 1285000 | #Constraints: 32050 1117.43/1120.26 c #Conflicts: 1286000 | #Constraints: 33050 1117.43/1120.26 c #Conflicts: 1287000 | #Constraints: 34050 1117.43/1120.26 c #Conflicts: 1288000 | #Constraints: 35050 1117.43/1120.26 c #Conflicts: 1289000 | #Constraints: 36050 1117.43/1120.26 c #Conflicts: 1290000 | #Constraints: 37050 1117.43/1120.26 c #Conflicts: 1291000 | #Constraints: 38051 1117.43/1120.26 c #Conflicts: 1292000 | #Constraints: 39051 1117.43/1120.26 c #Conflicts: 1293000 | #Constraints: 40051 1117.43/1120.26 c #Conflicts: 1294000 | #Constraints: 41051 1117.43/1120.26 c #Conflicts: 1295000 | #Constraints: 42051 1117.43/1120.26 c #Conflicts: 1296000 | #Constraints: 43051 1117.43/1120.26 c #Conflicts: 1297000 | #Constraints: 44051 1117.43/1120.26 c #Conflicts: 1298000 | #Constraints: 45051 1117.43/1120.26 c #Conflicts: 1299000 | #Constraints: 46051 1117.43/1120.26 c #Conflicts: 1300000 | #Constraints: 47051 1117.43/1120.26 c #Conflicts: 1301000 | #Constraints: 48051 1117.43/1120.26 c #Conflicts: 1302000 | #Constraints: 49051 1117.43/1120.26 c INPROCESSING 1117.43/1120.26 c GARBAGE COLLECT 1117.43/1120.26 c rational objective 1.87669 1135.68/1138.52 c #Conflicts: 1303000 | #Constraints: 27441 1135.68/1138.52 c #Conflicts: 1304000 | #Constraints: 28441 1135.68/1138.52 c #Conflicts: 1305000 | #Constraints: 29441 1135.68/1138.52 c #Conflicts: 1306000 | #Constraints: 30441 1135.68/1138.52 c #Conflicts: 1307000 | #Constraints: 31441 1135.68/1138.52 c #Conflicts: 1308000 | #Constraints: 32441 1135.68/1138.52 c #Conflicts: 1309000 | #Constraints: 33441 1135.68/1138.52 c #Conflicts: 1310000 | #Constraints: 34441 1135.68/1138.52 c #Conflicts: 1311000 | #Constraints: 35441 1135.68/1138.52 c #Conflicts: 1312000 | #Constraints: 36441 1135.68/1138.52 c #Conflicts: 1313000 | #Constraints: 37441 1135.68/1138.52 c #Conflicts: 1314000 | #Constraints: 38441 1135.68/1138.52 c #Conflicts: 1315000 | #Constraints: 39441 1135.68/1138.52 c #Conflicts: 1316000 | #Constraints: 40441 1135.68/1138.52 c #Conflicts: 1317000 | #Constraints: 41441 1135.68/1138.52 c #Conflicts: 1318000 | #Constraints: 42441 1135.68/1138.52 c #Conflicts: 1319000 | #Constraints: 43441 1135.68/1138.52 c #Conflicts: 1320000 | #Constraints: 44442 1135.68/1138.52 c #Conflicts: 1321000 | #Constraints: 45442 1135.68/1138.52 c #Conflicts: 1322000 | #Constraints: 46442 1135.68/1138.52 c #Conflicts: 1323000 | #Constraints: 47442 1135.68/1138.52 c #Conflicts: 1324000 | #Constraints: 48442 1135.68/1138.52 c #Conflicts: 1325000 | #Constraints: 49442 1135.68/1138.52 c INPROCESSING 1135.68/1138.52 c GARBAGE COLLECT 1135.68/1138.52 c rational objective 1.87669 1185.08/1188.03 c #Conflicts: 1326000 | #Constraints: 27635 1185.08/1188.03 c #Conflicts: 1327000 | #Constraints: 28635 1185.08/1188.03 c #Conflicts: 1328000 | #Constraints: 29636 1185.08/1188.03 c #Conflicts: 1329000 | #Constraints: 30637 1185.08/1188.03 c #Conflicts: 1330000 | #Constraints: 31637 1185.08/1188.03 c #Conflicts: 1331000 | #Constraints: 32637 1185.08/1188.03 c #Conflicts: 1332000 | #Constraints: 33638 1185.08/1188.03 c #Conflicts: 1333000 | #Constraints: 34639 1185.08/1188.03 c #Conflicts: 1334000 | #Constraints: 35639 1185.08/1188.03 c #Conflicts: 1335000 | #Constraints: 36639 1185.08/1188.03 c #Conflicts: 1336000 | #Constraints: 37639 1185.08/1188.03 c #Conflicts: 1337000 | #Constraints: 38639 1185.08/1188.03 c #Conflicts: 1338000 | #Constraints: 39639 1185.08/1188.03 c #Conflicts: 1339000 | #Constraints: 40639 1185.08/1188.03 c #Conflicts: 1340000 | #Constraints: 41639 1185.08/1188.03 c #Conflicts: 1341000 | #Constraints: 42639 1185.08/1188.03 c #Conflicts: 1342000 | #Constraints: 43639 1185.08/1188.03 c #Conflicts: 1343000 | #Constraints: 44639 1185.08/1188.03 c #Conflicts: 1344000 | #Constraints: 45639 1185.08/1188.03 c #Conflicts: 1345000 | #Constraints: 46639 1185.08/1188.03 c #Conflicts: 1346000 | #Constraints: 47639 1185.08/1188.03 c #Conflicts: 1347000 | #Constraints: 48639 1185.08/1188.03 c #Conflicts: 1348000 | #Constraints: 49639 1185.08/1188.03 c INPROCESSING 1185.08/1188.03 c GARBAGE COLLECT 1185.08/1188.03 c rational objective 1.87669 1194.84/1197.84 c #Conflicts: 1349000 | #Constraints: 27666 1194.84/1197.84 c #Conflicts: 1350000 | #Constraints: 28667 1194.84/1197.84 c #Conflicts: 1351000 | #Constraints: 29668 1194.84/1197.84 c #Conflicts: 1352000 | #Constraints: 30669 1194.84/1197.84 c #Conflicts: 1353000 | #Constraints: 31669 1194.84/1197.84 c #Conflicts: 1354000 | #Constraints: 32669 1194.84/1197.84 c #Conflicts: 1355000 | #Constraints: 33670 1194.84/1197.84 c #Conflicts: 1356000 | #Constraints: 34670 1194.84/1197.84 c #Conflicts: 1357000 | #Constraints: 35671 1194.84/1197.84 c #Conflicts: 1358000 | #Constraints: 36673 1194.84/1197.84 c #Conflicts: 1359000 | #Constraints: 37673 1194.84/1197.84 c #Conflicts: 1360000 | #Constraints: 38674 1194.84/1197.84 c #Conflicts: 1361000 | #Constraints: 39674 1194.84/1197.84 c #Conflicts: 1362000 | #Constraints: 40674 1194.84/1197.84 c #Conflicts: 1363000 | #Constraints: 41674 1194.84/1197.84 c #Conflicts: 1364000 | #Constraints: 42674 1194.84/1197.84 c #Conflicts: 1365000 | #Constraints: 43674 1194.84/1197.84 c #Conflicts: 1366000 | #Constraints: 44674 1194.84/1197.84 c #Conflicts: 1367000 | #Constraints: 45674 1194.84/1197.84 c #Conflicts: 1368000 | #Constraints: 46674 1194.84/1197.84 c #Conflicts: 1369000 | #Constraints: 47674 1194.84/1197.84 c #Conflicts: 1370000 | #Constraints: 48674 1194.84/1197.84 c #Conflicts: 1371000 | #Constraints: 49674 1194.84/1197.84 c INPROCESSING 1194.84/1197.84 c GARBAGE COLLECT 1194.84/1197.84 c rational objective 1.87704 1209.91/1212.99 c #Conflicts: 1372000 | #Constraints: 27455 1209.91/1212.99 c #Conflicts: 1373000 | #Constraints: 28455 1209.91/1212.99 c #Conflicts: 1374000 | #Constraints: 29455 1209.91/1212.99 c #Conflicts: 1375000 | #Constraints: 30455 1209.91/1212.99 c #Conflicts: 1376000 | #Constraints: 31455 1209.91/1212.99 c #Conflicts: 1377000 | #Constraints: 32455 1209.91/1212.99 c #Conflicts: 1378000 | #Constraints: 33455 1209.91/1212.99 c #Conflicts: 1379000 | #Constraints: 34455 1209.91/1212.99 c #Conflicts: 1380000 | #Constraints: 35455 1209.91/1212.99 c #Conflicts: 1381000 | #Constraints: 36456 1209.91/1212.99 c #Conflicts: 1382000 | #Constraints: 37456 1209.91/1212.99 c #Conflicts: 1383000 | #Constraints: 38456 1209.91/1212.99 c #Conflicts: 1384000 | #Constraints: 39456 1209.91/1212.99 c #Conflicts: 1385000 | #Constraints: 40456 1209.91/1212.99 c #Conflicts: 1386000 | #Constraints: 41456 1209.91/1212.99 c #Conflicts: 1387000 | #Constraints: 42457 1209.91/1212.99 c #Conflicts: 1388000 | #Constraints: 43457 1209.91/1212.99 c #Conflicts: 1389000 | #Constraints: 44458 1209.91/1212.99 c #Conflicts: 1390000 | #Constraints: 45459 1209.91/1212.99 c #Conflicts: 1391000 | #Constraints: 46460 1209.91/1212.99 c #Conflicts: 1392000 | #Constraints: 47460 1209.91/1212.99 c #Conflicts: 1393000 | #Constraints: 48460 1209.91/1212.99 c #Conflicts: 1394000 | #Constraints: 49461 1209.91/1212.99 c #Conflicts: 1395000 | #Constraints: 50461 1209.91/1212.99 c INPROCESSING 1209.91/1212.99 c GARBAGE COLLECT 1209.91/1212.99 c rational objective 1.87704 1223.38/1226.43 c #Conflicts: 1396000 | #Constraints: 28043 1223.38/1226.43 c #Conflicts: 1397000 | #Constraints: 29043 1223.38/1226.43 c #Conflicts: 1398000 | #Constraints: 30043 1223.38/1226.43 c #Conflicts: 1399000 | #Constraints: 31044 1223.38/1226.43 c #Conflicts: 1400000 | #Constraints: 32044 1223.38/1226.43 c #Conflicts: 1401000 | #Constraints: 33044 1223.38/1226.43 c #Conflicts: 1402000 | #Constraints: 34044 1223.38/1226.43 c #Conflicts: 1403000 | #Constraints: 35044 1223.38/1226.43 c #Conflicts: 1404000 | #Constraints: 36044 1223.38/1226.43 c #Conflicts: 1405000 | #Constraints: 37044 1223.38/1226.43 c #Conflicts: 1406000 | #Constraints: 38045 1223.38/1226.43 c #Conflicts: 1407000 | #Constraints: 39046 1223.38/1226.43 c #Conflicts: 1408000 | #Constraints: 40046 1223.38/1226.43 c #Conflicts: 1409000 | #Constraints: 41046 1223.38/1226.43 c #Conflicts: 1410000 | #Constraints: 42046 1223.38/1226.43 c #Conflicts: 1411000 | #Constraints: 43046 1223.38/1226.43 c #Conflicts: 1412000 | #Constraints: 44046 1223.38/1226.43 c #Conflicts: 1413000 | #Constraints: 45047 1223.38/1226.43 c #Conflicts: 1414000 | #Constraints: 46047 1223.38/1226.43 c #Conflicts: 1415000 | #Constraints: 47047 1223.38/1226.43 c #Conflicts: 1416000 | #Constraints: 48047 1223.38/1226.43 c #Conflicts: 1417000 | #Constraints: 49047 1223.38/1226.43 c #Conflicts: 1418000 | #Constraints: 50047 1223.38/1226.43 c #Conflicts: 1419000 | #Constraints: 51047 1223.38/1226.43 c INPROCESSING 1223.38/1226.43 c GARBAGE COLLECT 1223.38/1226.43 c rational objective 1.87704 1252.93/1256.07 c #Conflicts: 1420000 | #Constraints: 28456 1252.93/1256.07 c #Conflicts: 1421000 | #Constraints: 29456 1252.93/1256.07 c #Conflicts: 1422000 | #Constraints: 30456 1252.93/1256.07 c #Conflicts: 1423000 | #Constraints: 31456 1252.93/1256.07 c #Conflicts: 1424000 | #Constraints: 32456 1252.93/1256.07 c #Conflicts: 1425000 | #Constraints: 33456 1252.93/1256.07 c #Conflicts: 1426000 | #Constraints: 34456 1252.93/1256.07 c #Conflicts: 1427000 | #Constraints: 35456 1252.93/1256.07 c #Conflicts: 1428000 | #Constraints: 36458 1252.93/1256.07 c #Conflicts: 1429000 | #Constraints: 37459 1252.93/1256.07 c #Conflicts: 1430000 | #Constraints: 38460 1252.93/1256.07 c #Conflicts: 1431000 | #Constraints: 39460 1252.93/1256.07 c #Conflicts: 1432000 | #Constraints: 40460 1252.93/1256.07 c #Conflicts: 1433000 | #Constraints: 41460 1252.93/1256.07 c #Conflicts: 1434000 | #Constraints: 42460 1252.93/1256.07 c #Conflicts: 1435000 | #Constraints: 43460 1252.93/1256.07 c #Conflicts: 1436000 | #Constraints: 44460 1252.93/1256.07 c #Conflicts: 1437000 | #Constraints: 45460 1252.93/1256.07 c #Conflicts: 1438000 | #Constraints: 46460 1252.93/1256.07 c #Conflicts: 1439000 | #Constraints: 47460 1252.93/1256.07 c #Conflicts: 1440000 | #Constraints: 48460 1252.93/1256.07 c #Conflicts: 1441000 | #Constraints: 49460 1252.93/1256.07 c #Conflicts: 1442000 | #Constraints: 50461 1252.93/1256.07 c #Conflicts: 1443000 | #Constraints: 51461 1252.93/1256.07 c INPROCESSING 1252.93/1256.07 c GARBAGE COLLECT 1252.93/1256.07 c rational objective 1.87704 1327.24/1330.59 c #Conflicts: 1444000 | #Constraints: 28676 1327.24/1330.59 c #Conflicts: 1445000 | #Constraints: 29676 1327.24/1330.59 c #Conflicts: 1446000 | #Constraints: 30676 1327.24/1330.59 c #Conflicts: 1447000 | #Constraints: 31676 1327.24/1330.59 c #Conflicts: 1448000 | #Constraints: 32677 1327.24/1330.59 c #Conflicts: 1449000 | #Constraints: 33677 1327.24/1330.59 c #Conflicts: 1450000 | #Constraints: 34677 1327.24/1330.59 c #Conflicts: 1451000 | #Constraints: 35677 1327.24/1330.59 c #Conflicts: 1452000 | #Constraints: 36677 1327.24/1330.59 c #Conflicts: 1453000 | #Constraints: 37677 1327.24/1330.59 c #Conflicts: 1454000 | #Constraints: 38677 1327.24/1330.59 c #Conflicts: 1455000 | #Constraints: 39677 1327.24/1330.59 c #Conflicts: 1456000 | #Constraints: 40677 1327.24/1330.59 c #Conflicts: 1457000 | #Constraints: 41677 1327.24/1330.59 c #Conflicts: 1458000 | #Constraints: 42677 1327.24/1330.59 c #Conflicts: 1459000 | #Constraints: 43677 1327.24/1330.59 c #Conflicts: 1460000 | #Constraints: 44677 1327.24/1330.59 c #Conflicts: 1461000 | #Constraints: 45678 1327.24/1330.59 c #Conflicts: 1462000 | #Constraints: 46679 1327.24/1330.59 c #Conflicts: 1463000 | #Constraints: 47679 1327.24/1330.59 c #Conflicts: 1464000 | #Constraints: 48679 1327.24/1330.59 c #Conflicts: 1465000 | #Constraints: 49679 1327.24/1330.59 c #Conflicts: 1466000 | #Constraints: 50679 1327.24/1330.59 c #Conflicts: 1467000 | #Constraints: 51679 1327.24/1330.59 c INPROCESSING 1327.24/1330.59 c GARBAGE COLLECT 1327.24/1330.59 c rational objective 1.8775 1340.31/1343.60 c #Conflicts: 1468000 | #Constraints: 28669 1340.31/1343.60 c #Conflicts: 1469000 | #Constraints: 29669 1340.31/1343.60 c #Conflicts: 1470000 | #Constraints: 30669 1340.31/1343.60 c #Conflicts: 1471000 | #Constraints: 31672 1340.31/1343.60 c #Conflicts: 1472000 | #Constraints: 32672 1340.31/1343.60 c #Conflicts: 1473000 | #Constraints: 33672 1340.31/1343.60 c #Conflicts: 1474000 | #Constraints: 34672 1340.31/1343.60 c #Conflicts: 1475000 | #Constraints: 35672 1340.31/1343.60 c #Conflicts: 1476000 | #Constraints: 36672 1340.31/1343.60 c #Conflicts: 1477000 | #Constraints: 37673 1340.31/1343.60 c #Conflicts: 1478000 | #Constraints: 38673 1340.31/1343.60 c #Conflicts: 1479000 | #Constraints: 39673 1340.31/1343.60 c #Conflicts: 1480000 | #Constraints: 40674 1340.31/1343.60 c #Conflicts: 1481000 | #Constraints: 41674 1340.31/1343.60 c #Conflicts: 1482000 | #Constraints: 42674 1340.31/1343.60 c #Conflicts: 1483000 | #Constraints: 43674 1340.31/1343.60 c #Conflicts: 1484000 | #Constraints: 44674 1340.31/1343.60 c #Conflicts: 1485000 | #Constraints: 45674 1340.31/1343.60 c #Conflicts: 1486000 | #Constraints: 46675 1340.31/1343.60 c #Conflicts: 1487000 | #Constraints: 47675 1340.31/1343.60 c #Conflicts: 1488000 | #Constraints: 48675 1340.31/1343.60 c #Conflicts: 1489000 | #Constraints: 49675 1340.31/1343.60 c #Conflicts: 1490000 | #Constraints: 50675 1340.31/1343.60 c #Conflicts: 1491000 | #Constraints: 51675 1340.31/1343.60 c INPROCESSING 1340.31/1343.60 c GARBAGE COLLECT 1340.31/1343.60 c rational objective 1.87751 1351.70/1355.06 c #Conflicts: 1492000 | #Constraints: 28471 1351.70/1355.06 c #Conflicts: 1493000 | #Constraints: 29472 1351.70/1355.06 c #Conflicts: 1494000 | #Constraints: 30472 1351.70/1355.06 c #Conflicts: 1495000 | #Constraints: 31472 1351.70/1355.06 c #Conflicts: 1496000 | #Constraints: 32472 1351.70/1355.06 c #Conflicts: 1497000 | #Constraints: 33472 1351.70/1355.06 c #Conflicts: 1498000 | #Constraints: 34472 1351.70/1355.06 c #Conflicts: 1499000 | #Constraints: 35472 1351.70/1355.06 c #Conflicts: 1500000 | #Constraints: 36472 1351.70/1355.06 c #Conflicts: 1501000 | #Constraints: 37472 1351.70/1355.06 c #Conflicts: 1502000 | #Constraints: 38472 1351.70/1355.06 c #Conflicts: 1503000 | #Constraints: 39472 1351.70/1355.06 c #Conflicts: 1504000 | #Constraints: 40472 1351.70/1355.06 c #Conflicts: 1505000 | #Constraints: 41472 1351.70/1355.06 c #Conflicts: 1506000 | #Constraints: 42472 1351.70/1355.06 c #Conflicts: 1507000 | #Constraints: 43472 1351.70/1355.06 c #Conflicts: 1508000 | #Constraints: 44472 1351.70/1355.06 c #Conflicts: 1509000 | #Constraints: 45472 1351.70/1355.06 c #Conflicts: 1510000 | #Constraints: 46472 1351.70/1355.06 c #Conflicts: 1511000 | #Constraints: 47472 1351.70/1355.06 c #Conflicts: 1512000 | #Constraints: 48472 1351.70/1355.06 c #Conflicts: 1513000 | #Constraints: 49472 1351.70/1355.06 c #Conflicts: 1514000 | #Constraints: 50472 1351.70/1355.06 c #Conflicts: 1515000 | #Constraints: 51473 1351.70/1355.06 c #Conflicts: 1516000 | #Constraints: 52475 1351.70/1355.06 c INPROCESSING 1351.70/1355.06 c GARBAGE COLLECT 1351.70/1355.06 c rational objective 1.87751 1364.56/1367.92 c #Conflicts: 1517000 | #Constraints: 29089 1364.56/1367.92 c #Conflicts: 1518000 | #Constraints: 30089 1364.56/1367.92 c #Conflicts: 1519000 | #Constraints: 31089 1364.56/1367.92 c #Conflicts: 1520000 | #Constraints: 32089 1364.56/1367.92 c #Conflicts: 1521000 | #Constraints: 33089 1364.56/1367.92 c #Conflicts: 1522000 | #Constraints: 34089 1364.56/1367.92 c #Conflicts: 1523000 | #Constraints: 35089 1364.56/1367.92 c #Conflicts: 1524000 | #Constraints: 36089 1364.56/1367.92 c #Conflicts: 1525000 | #Constraints: 37090 1364.56/1367.92 c #Conflicts: 1526000 | #Constraints: 38091 1364.56/1367.92 c #Conflicts: 1527000 | #Constraints: 39091 1364.56/1367.92 c #Conflicts: 1528000 | #Constraints: 40091 1364.56/1367.92 c #Conflicts: 1529000 | #Constraints: 41092 1364.56/1367.92 c #Conflicts: 1530000 | #Constraints: 42092 1364.56/1367.92 c #Conflicts: 1531000 | #Constraints: 43092 1364.56/1367.92 c #Conflicts: 1532000 | #Constraints: 44092 1364.56/1367.92 c #Conflicts: 1533000 | #Constraints: 45092 1364.56/1367.92 c #Conflicts: 1534000 | #Constraints: 46092 1364.56/1367.92 c #Conflicts: 1535000 | #Constraints: 47092 1364.56/1367.92 c #Conflicts: 1536000 | #Constraints: 48092 1364.56/1367.92 c #Conflicts: 1537000 | #Constraints: 49092 1364.56/1367.92 c #Conflicts: 1538000 | #Constraints: 50092 1364.56/1367.92 c #Conflicts: 1539000 | #Constraints: 51092 1364.56/1367.92 c #Conflicts: 1540000 | #Constraints: 52092 1364.56/1367.92 c #Conflicts: 1541000 | #Constraints: 53092 1364.56/1367.92 c INPROCESSING 1364.56/1367.92 c GARBAGE COLLECT 1364.56/1367.92 c rational objective 1.87751 1376.53/1379.94 c #Conflicts: 1542000 | #Constraints: 29476 1376.53/1379.94 c #Conflicts: 1543000 | #Constraints: 30476 1376.53/1379.94 c #Conflicts: 1544000 | #Constraints: 31476 1376.53/1379.94 c #Conflicts: 1545000 | #Constraints: 32476 1376.53/1379.94 c #Conflicts: 1546000 | #Constraints: 33476 1376.53/1379.94 c #Conflicts: 1547000 | #Constraints: 34476 1376.53/1379.94 c #Conflicts: 1548000 | #Constraints: 35476 1376.53/1379.94 c #Conflicts: 1549000 | #Constraints: 36476 1376.53/1379.94 c #Conflicts: 1550000 | #Constraints: 37477 1376.53/1379.94 c #Conflicts: 1551000 | #Constraints: 38478 1376.53/1379.94 c #Conflicts: 1552000 | #Constraints: 39478 1376.53/1379.94 c #Conflicts: 1553000 | #Constraints: 40478 1376.53/1379.94 c #Conflicts: 1554000 | #Constraints: 41478 1376.53/1379.94 c #Conflicts: 1555000 | #Constraints: 42479 1376.53/1379.94 c #Conflicts: 1556000 | #Constraints: 43479 1376.53/1379.94 c #Conflicts: 1557000 | #Constraints: 44479 1376.53/1379.94 c #Conflicts: 1558000 | #Constraints: 45479 1376.53/1379.94 c #Conflicts: 1559000 | #Constraints: 46479 1376.53/1379.94 c #Conflicts: 1560000 | #Constraints: 47479 1376.53/1379.94 c #Conflicts: 1561000 | #Constraints: 48479 1376.53/1379.94 c #Conflicts: 1562000 | #Constraints: 49479 1376.53/1379.94 c #Conflicts: 1563000 | #Constraints: 50479 1376.53/1379.94 c #Conflicts: 1564000 | #Constraints: 51479 1376.53/1379.94 c #Conflicts: 1565000 | #Constraints: 52482 1376.53/1379.94 c #Conflicts: 1566000 | #Constraints: 53482 1376.53/1379.94 c INPROCESSING 1376.53/1379.94 c GARBAGE COLLECT 1376.53/1379.94 c rational objective 1.87751 1468.23/1471.89 c #Conflicts: 1567000 | #Constraints: 29675 1468.23/1471.89 c #Conflicts: 1568000 | #Constraints: 30675 1468.23/1471.89 c #Conflicts: 1569000 | #Constraints: 31675 1468.23/1471.89 c #Conflicts: 1570000 | #Constraints: 32675 1468.23/1471.89 c #Conflicts: 1571000 | #Constraints: 33675 1468.23/1471.89 c #Conflicts: 1572000 | #Constraints: 34675 1468.23/1471.89 c #Conflicts: 1573000 | #Constraints: 35675 1468.23/1471.89 c #Conflicts: 1574000 | #Constraints: 36675 1468.23/1471.89 c #Conflicts: 1575000 | #Constraints: 37675 1468.23/1471.89 c #Conflicts: 1576000 | #Constraints: 38675 1468.23/1471.89 c #Conflicts: 1577000 | #Constraints: 39675 1468.23/1471.89 c #Conflicts: 1578000 | #Constraints: 40675 1468.23/1471.89 c #Conflicts: 1579000 | #Constraints: 41676 1468.23/1471.89 c #Conflicts: 1580000 | #Constraints: 42676 1468.23/1471.89 c #Conflicts: 1581000 | #Constraints: 43677 1468.23/1471.89 c #Conflicts: 1582000 | #Constraints: 44677 1468.23/1471.89 c #Conflicts: 1583000 | #Constraints: 45677 1468.23/1471.89 c #Conflicts: 1584000 | #Constraints: 46677 1468.23/1471.89 c #Conflicts: 1585000 | #Constraints: 47677 1468.23/1471.89 c #Conflicts: 1586000 | #Constraints: 48677 1468.23/1471.89 c #Conflicts: 1587000 | #Constraints: 49677 1468.23/1471.89 c #Conflicts: 1588000 | #Constraints: 50677 1468.23/1471.89 c #Conflicts: 1589000 | #Constraints: 51678 1468.23/1471.89 c #Conflicts: 1590000 | #Constraints: 52678 1468.23/1471.89 c #Conflicts: 1591000 | #Constraints: 53679 1468.23/1471.89 c INPROCESSING 1468.23/1471.89 c GARBAGE COLLECT 1468.23/1471.89 c rational objective 1.87751 1526.60/1530.37 c #Conflicts: 1592000 | #Constraints: 29740 1526.60/1530.37 c #Conflicts: 1593000 | #Constraints: 30741 1526.60/1530.37 c #Conflicts: 1594000 | #Constraints: 31741 1526.60/1530.37 c #Conflicts: 1595000 | #Constraints: 32741 1526.60/1530.37 c #Conflicts: 1596000 | #Constraints: 33741 1526.60/1530.37 c #Conflicts: 1597000 | #Constraints: 34741 1526.60/1530.37 c #Conflicts: 1598000 | #Constraints: 35742 1526.60/1530.37 c #Conflicts: 1599000 | #Constraints: 36742 1526.60/1530.37 c #Conflicts: 1600000 | #Constraints: 37742 1526.60/1530.37 c #Conflicts: 1601000 | #Constraints: 38742 1526.60/1530.37 c #Conflicts: 1602000 | #Constraints: 39742 1526.60/1530.37 c #Conflicts: 1603000 | #Constraints: 40743 1526.60/1530.37 c #Conflicts: 1604000 | #Constraints: 41743 1526.60/1530.37 c #Conflicts: 1605000 | #Constraints: 42743 1526.60/1530.37 c #Conflicts: 1606000 | #Constraints: 43744 1526.60/1530.37 c #Conflicts: 1607000 | #Constraints: 44744 1526.60/1530.37 c #Conflicts: 1608000 | #Constraints: 45745 1526.60/1530.37 c #Conflicts: 1609000 | #Constraints: 46745 1526.60/1530.37 c #Conflicts: 1610000 | #Constraints: 47745 1526.60/1530.37 c #Conflicts: 1611000 | #Constraints: 48745 1526.60/1530.37 c #Conflicts: 1612000 | #Constraints: 49745 1526.60/1530.37 c #Conflicts: 1613000 | #Constraints: 50745 1526.60/1530.37 c #Conflicts: 1614000 | #Constraints: 51745 1526.60/1530.37 c #Conflicts: 1615000 | #Constraints: 52745 1526.60/1530.37 c #Conflicts: 1616000 | #Constraints: 53745 1526.60/1530.37 c INPROCESSING 1526.60/1530.37 c GARBAGE COLLECT 1526.60/1530.37 c rational objective 1.87751 1535.88/1539.62 c #Conflicts: 1617000 | #Constraints: 29530 1535.88/1539.62 c #Conflicts: 1618000 | #Constraints: 30530 1535.88/1539.62 c #Conflicts: 1619000 | #Constraints: 31531 1535.88/1539.62 c #Conflicts: 1620000 | #Constraints: 32532 1535.88/1539.62 c #Conflicts: 1621000 | #Constraints: 33533 1535.88/1539.62 c #Conflicts: 1622000 | #Constraints: 34533 1535.88/1539.62 c #Conflicts: 1623000 | #Constraints: 35533 1535.88/1539.62 c #Conflicts: 1624000 | #Constraints: 36538 1535.88/1539.62 c #Conflicts: 1625000 | #Constraints: 37538 1535.88/1539.62 c #Conflicts: 1626000 | #Constraints: 38538 1535.88/1539.62 c #Conflicts: 1627000 | #Constraints: 39538 1535.88/1539.62 c #Conflicts: 1628000 | #Constraints: 40539 1535.88/1539.62 c #Conflicts: 1629000 | #Constraints: 41541 1535.88/1539.62 c #Conflicts: 1630000 | #Constraints: 42542 1535.88/1539.62 c #Conflicts: 1631000 | #Constraints: 43542 1535.88/1539.62 c #Conflicts: 1632000 | #Constraints: 44542 1535.88/1539.62 c #Conflicts: 1633000 | #Constraints: 45542 1535.88/1539.62 c #Conflicts: 1634000 | #Constraints: 46542 1535.88/1539.62 c #Conflicts: 1635000 | #Constraints: 47542 1535.88/1539.62 c #Conflicts: 1636000 | #Constraints: 48542 1535.88/1539.62 c #Conflicts: 1637000 | #Constraints: 49542 1535.88/1539.62 c #Conflicts: 1638000 | #Constraints: 50542 1535.88/1539.62 c #Conflicts: 1639000 | #Constraints: 51542 1535.88/1539.62 c #Conflicts: 1640000 | #Constraints: 52544 1535.88/1539.62 c #Conflicts: 1641000 | #Constraints: 53545 1535.88/1539.62 c #Conflicts: 1642000 | #Constraints: 54545 1535.88/1539.62 c INPROCESSING 1535.88/1539.62 c GARBAGE COLLECT 1535.88/1539.62 c rational objective 1.87756 1551.75/1555.50 c #Conflicts: 1643000 | #Constraints: 30115 1551.75/1555.50 c #Conflicts: 1644000 | #Constraints: 31116 1551.75/1555.50 c #Conflicts: 1645000 | #Constraints: 32117 1551.75/1555.50 c #Conflicts: 1646000 | #Constraints: 33118 1551.75/1555.50 c #Conflicts: 1647000 | #Constraints: 34118 1551.75/1555.50 c #Conflicts: 1648000 | #Constraints: 35118 1551.75/1555.50 c #Conflicts: 1649000 | #Constraints: 36118 1551.75/1555.50 c #Conflicts: 1650000 | #Constraints: 37118 1551.75/1555.50 c #Conflicts: 1651000 | #Constraints: 38118 1551.75/1555.50 c #Conflicts: 1652000 | #Constraints: 39118 1551.75/1555.50 c #Conflicts: 1653000 | #Constraints: 40118 1551.75/1555.50 c #Conflicts: 1654000 | #Constraints: 41118 1551.75/1555.50 c #Conflicts: 1655000 | #Constraints: 42118 1551.75/1555.50 c #Conflicts: 1656000 | #Constraints: 43118 1551.75/1555.50 c #Conflicts: 1657000 | #Constraints: 44118 1551.75/1555.50 c #Conflicts: 1658000 | #Constraints: 45118 1551.75/1555.50 c #Conflicts: 1659000 | #Constraints: 46118 1551.75/1555.50 c #Conflicts: 1660000 | #Constraints: 47118 1551.75/1555.50 c #Conflicts: 1661000 | #Constraints: 48118 1551.75/1555.50 c #Conflicts: 1662000 | #Constraints: 49118 1551.75/1555.50 c #Conflicts: 1663000 | #Constraints: 50118 1551.75/1555.50 c #Conflicts: 1664000 | #Constraints: 51118 1551.75/1555.50 c #Conflicts: 1665000 | #Constraints: 52118 1551.75/1555.50 c #Conflicts: 1666000 | #Constraints: 53119 1551.75/1555.50 c #Conflicts: 1667000 | #Constraints: 54121 1551.75/1555.50 c #Conflicts: 1668000 | #Constraints: 55121 1551.75/1555.50 c INPROCESSING 1551.75/1555.50 c GARBAGE COLLECT 1551.75/1555.50 c rational objective 1.87758 1573.60/1577.48 c #Conflicts: 1669000 | #Constraints: 30486 1573.60/1577.48 c #Conflicts: 1670000 | #Constraints: 31487 1573.60/1577.48 c #Conflicts: 1671000 | #Constraints: 32487 1573.60/1577.48 c #Conflicts: 1672000 | #Constraints: 33487 1573.60/1577.48 c #Conflicts: 1673000 | #Constraints: 34487 1573.60/1577.48 c #Conflicts: 1674000 | #Constraints: 35488 1573.60/1577.48 c #Conflicts: 1675000 | #Constraints: 36488 1573.60/1577.48 c #Conflicts: 1676000 | #Constraints: 37488 1573.60/1577.48 c #Conflicts: 1677000 | #Constraints: 38488 1573.60/1577.48 c #Conflicts: 1678000 | #Constraints: 39488 1573.60/1577.48 c #Conflicts: 1679000 | #Constraints: 40488 1573.60/1577.48 c #Conflicts: 1680000 | #Constraints: 41488 1573.60/1577.48 c #Conflicts: 1681000 | #Constraints: 42488 1573.60/1577.48 c #Conflicts: 1682000 | #Constraints: 43488 1573.60/1577.48 c #Conflicts: 1683000 | #Constraints: 44488 1573.60/1577.48 c #Conflicts: 1684000 | #Constraints: 45488 1573.60/1577.48 c #Conflicts: 1685000 | #Constraints: 46488 1573.60/1577.48 c #Conflicts: 1686000 | #Constraints: 47488 1573.60/1577.48 c #Conflicts: 1687000 | #Constraints: 48488 1573.60/1577.48 c #Conflicts: 1688000 | #Constraints: 49490 1573.60/1577.48 c #Conflicts: 1689000 | #Constraints: 50491 1573.60/1577.48 c #Conflicts: 1690000 | #Constraints: 51491 1573.60/1577.48 c #Conflicts: 1691000 | #Constraints: 52491 1573.60/1577.48 c #Conflicts: 1692000 | #Constraints: 53491 1573.60/1577.48 c #Conflicts: 1693000 | #Constraints: 54491 1573.60/1577.48 c #Conflicts: 1694000 | #Constraints: 55491 1573.60/1577.48 c INPROCESSING 1573.60/1577.48 c GARBAGE COLLECT 1573.60/1577.48 c rational objective 1.88021 1597.66/1601.55 c #Conflicts: 1695000 | #Constraints: 30676 1597.66/1601.55 c #Conflicts: 1696000 | #Constraints: 31676 1597.66/1601.55 c #Conflicts: 1697000 | #Constraints: 32676 1597.66/1601.55 c #Conflicts: 1698000 | #Constraints: 33676 1597.66/1601.55 c #Conflicts: 1699000 | #Constraints: 34676 1597.66/1601.55 c #Conflicts: 1700000 | #Constraints: 35676 1597.66/1601.55 c #Conflicts: 1701000 | #Constraints: 36676 1597.66/1601.55 c #Conflicts: 1702000 | #Constraints: 37676 1597.66/1601.55 c #Conflicts: 1703000 | #Constraints: 38676 1597.66/1601.55 c #Conflicts: 1704000 | #Constraints: 39676 1597.66/1601.55 c #Conflicts: 1705000 | #Constraints: 40676 1597.66/1601.55 c #Conflicts: 1706000 | #Constraints: 41676 1597.66/1601.55 c #Conflicts: 1707000 | #Constraints: 42676 1597.66/1601.55 c #Conflicts: 1708000 | #Constraints: 43677 1597.66/1601.55 c #Conflicts: 1709000 | #Constraints: 44677 1597.66/1601.55 c #Conflicts: 1710000 | #Constraints: 45677 1597.66/1601.55 c #Conflicts: 1711000 | #Constraints: 46678 1597.66/1601.55 c #Conflicts: 1712000 | #Constraints: 47678 1597.66/1601.55 c #Conflicts: 1713000 | #Constraints: 48679 1597.66/1601.55 c #Conflicts: 1714000 | #Constraints: 49679 1597.66/1601.55 c #Conflicts: 1715000 | #Constraints: 50679 1597.66/1601.55 c #Conflicts: 1716000 | #Constraints: 51681 1597.66/1601.55 c #Conflicts: 1717000 | #Constraints: 52681 1597.66/1601.55 c #Conflicts: 1718000 | #Constraints: 53681 1597.66/1601.55 c #Conflicts: 1719000 | #Constraints: 54681 1597.66/1601.55 c #Conflicts: 1720000 | #Constraints: 55681 1597.66/1601.55 c INPROCESSING 1597.66/1601.55 c GARBAGE COLLECT 1597.66/1601.55 c rational objective 1.88021 1620.70/1624.65 c #Conflicts: 1721000 | #Constraints: 30700 1620.70/1624.65 c #Conflicts: 1722000 | #Constraints: 31700 1620.70/1624.65 c #Conflicts: 1723000 | #Constraints: 32701 1620.70/1624.65 c #Conflicts: 1724000 | #Constraints: 33701 1620.70/1624.65 c #Conflicts: 1725000 | #Constraints: 34701 1620.70/1624.65 c #Conflicts: 1726000 | #Constraints: 35701 1620.70/1624.65 c #Conflicts: 1727000 | #Constraints: 36701 1620.70/1624.65 c #Conflicts: 1728000 | #Constraints: 37701 1620.70/1624.65 c #Conflicts: 1729000 | #Constraints: 38701 1620.70/1624.65 c #Conflicts: 1730000 | #Constraints: 39702 1620.70/1624.65 c #Conflicts: 1731000 | #Constraints: 40702 1620.70/1624.65 c #Conflicts: 1732000 | #Constraints: 41703 1620.70/1624.65 c #Conflicts: 1733000 | #Constraints: 42703 1620.70/1624.65 c #Conflicts: 1734000 | #Constraints: 43703 1620.70/1624.65 c #Conflicts: 1735000 | #Constraints: 44703 1620.70/1624.65 c #Conflicts: 1736000 | #Constraints: 45703 1620.70/1624.65 c #Conflicts: 1737000 | #Constraints: 46703 1620.70/1624.65 c #Conflicts: 1738000 | #Constraints: 47703 1620.70/1624.65 c #Conflicts: 1739000 | #Constraints: 48703 1620.70/1624.65 c #Conflicts: 1740000 | #Constraints: 49703 1620.70/1624.65 c #Conflicts: 1741000 | #Constraints: 50703 1620.70/1624.65 c #Conflicts: 1742000 | #Constraints: 51704 1620.70/1624.65 c #Conflicts: 1743000 | #Constraints: 52705 1620.70/1624.65 c #Conflicts: 1744000 | #Constraints: 53705 1620.70/1624.65 c #Conflicts: 1745000 | #Constraints: 54705 1620.70/1624.65 c #Conflicts: 1746000 | #Constraints: 55705 1620.70/1624.65 c INPROCESSING 1620.70/1624.65 c GARBAGE COLLECT 1620.70/1624.65 c rational objective 1.88021 1629.88/1633.88 c #Conflicts: 1747000 | #Constraints: 30472 1629.88/1633.88 c #Conflicts: 1748000 | #Constraints: 31472 1629.88/1633.88 c #Conflicts: 1749000 | #Constraints: 32472 1629.88/1633.88 c #Conflicts: 1750000 | #Constraints: 33473 1629.88/1633.88 c #Conflicts: 1751000 | #Constraints: 34473 1629.88/1633.88 c #Conflicts: 1752000 | #Constraints: 35474 1629.88/1633.88 c #Conflicts: 1753000 | #Constraints: 36476 1629.88/1633.88 c #Conflicts: 1754000 | #Constraints: 37477 1629.88/1633.88 c #Conflicts: 1755000 | #Constraints: 38479 1629.88/1633.88 c #Conflicts: 1756000 | #Constraints: 39480 1629.88/1633.88 c #Conflicts: 1757000 | #Constraints: 40480 1629.88/1633.88 c #Conflicts: 1758000 | #Constraints: 41481 1629.88/1633.88 c #Conflicts: 1759000 | #Constraints: 42481 1629.88/1633.88 c #Conflicts: 1760000 | #Constraints: 43481 1629.88/1633.88 c #Conflicts: 1761000 | #Constraints: 44481 1629.88/1633.88 c #Conflicts: 1762000 | #Constraints: 45483 1629.88/1633.88 c #Conflicts: 1763000 | #Constraints: 46483 1629.88/1633.88 c #Conflicts: 1764000 | #Constraints: 47483 1629.88/1633.88 c #Conflicts: 1765000 | #Constraints: 48483 1629.88/1633.88 c #Conflicts: 1766000 | #Constraints: 49483 1629.88/1633.88 c #Conflicts: 1767000 | #Constraints: 50483 1629.88/1633.88 c #Conflicts: 1768000 | #Constraints: 51483 1629.88/1633.88 c #Conflicts: 1769000 | #Constraints: 52483 1629.88/1633.88 c #Conflicts: 1770000 | #Constraints: 53483 1629.88/1633.88 c #Conflicts: 1771000 | #Constraints: 54484 1629.88/1633.88 c #Conflicts: 1772000 | #Constraints: 55484 1629.88/1633.88 c #Conflicts: 1773000 | #Constraints: 56484 1629.88/1633.88 c INPROCESSING 1629.88/1633.88 c GARBAGE COLLECT 1629.88/1633.88 c rational objective 1.88022 1733.65/1737.89 c #Conflicts: 1774000 | #Constraints: 31057 1733.65/1737.89 c #Conflicts: 1775000 | #Constraints: 32058 1733.65/1737.89 c #Conflicts: 1776000 | #Constraints: 33058 1733.65/1737.89 c #Conflicts: 1777000 | #Constraints: 34058 1733.65/1737.89 c #Conflicts: 1778000 | #Constraints: 35058 1733.65/1737.89 c #Conflicts: 1779000 | #Constraints: 36058 1733.65/1737.89 c #Conflicts: 1780000 | #Constraints: 37058 1733.65/1737.89 c #Conflicts: 1781000 | #Constraints: 38058 1733.65/1737.89 c #Conflicts: 1782000 | #Constraints: 39058 1733.65/1737.89 c #Conflicts: 1783000 | #Constraints: 40058 1733.65/1737.89 c #Conflicts: 1784000 | #Constraints: 41058 1733.65/1737.89 c #Conflicts: 1785000 | #Constraints: 42058 1733.65/1737.89 c #Conflicts: 1786000 | #Constraints: 43058 1733.65/1737.89 c #Conflicts: 1787000 | #Constraints: 44058 1733.65/1737.89 c #Conflicts: 1788000 | #Constraints: 45058 1733.65/1737.89 c #Conflicts: 1789000 | #Constraints: 46058 1733.65/1737.89 c #Conflicts: 1790000 | #Constraints: 47058 1733.65/1737.89 c #Conflicts: 1791000 | #Constraints: 48058 1733.65/1737.89 c #Conflicts: 1792000 | #Constraints: 49058 1733.65/1737.89 c #Conflicts: 1793000 | #Constraints: 50058 1733.65/1737.89 c #Conflicts: 1794000 | #Constraints: 51058 1733.65/1737.89 c #Conflicts: 1795000 | #Constraints: 52059 1733.65/1737.89 c #Conflicts: 1796000 | #Constraints: 53059 1733.65/1737.89 c #Conflicts: 1797000 | #Constraints: 54060 1733.65/1737.89 c #Conflicts: 1798000 | #Constraints: 55060 1733.65/1737.89 c #Conflicts: 1799000 | #Constraints: 56060 1733.65/1737.89 c #Conflicts: 1800000 | #Constraints: 57060 1733.65/1737.89 c #Conflicts: 1801000 | #Constraints: 58060 1733.65/1737.89 c #Conflicts: 1802000 | #Constraints: 59060 1733.65/1737.89 c #Conflicts: 1803000 | #Constraints: 60060 1733.65/1737.89 c #Conflicts: 1804000 | #Constraints: 61060 1733.65/1737.89 c #Conflicts: 1805000 | #Constraints: 62060 1733.65/1737.89 c #Conflicts: 1806000 | #Constraints: 63061 1733.65/1737.89 c #Conflicts: 1807000 | #Constraints: 64061 1733.65/1737.89 c #Conflicts: 1808000 | #Constraints: 65061 1733.65/1737.89 c #Conflicts: 1809000 | #Constraints: 66061 1733.65/1737.89 c #Conflicts: 1810000 | #Constraints: 67061 1733.65/1737.89 c #Conflicts: 1811000 | #Constraints: 68061 1733.65/1737.89 c #Conflicts: 1812000 | #Constraints: 69061 1733.65/1737.89 c #Conflicts: 1813000 | #Constraints: 70061 1733.65/1737.89 c #Conflicts: 1814000 | #Constraints: 71061 1733.65/1737.89 c #Conflicts: 1815000 | #Constraints: 72061 1733.65/1737.89 c #Conflicts: 1816000 | #Constraints: 73061 1733.65/1737.89 c #Conflicts: 1817000 | #Constraints: 74061 1733.65/1737.89 c #Conflicts: 1818000 | #Constraints: 75061 1733.65/1737.89 c #Conflicts: 1819000 | #Constraints: 76061 1733.65/1737.89 c #Conflicts: 1820000 | #Constraints: 77061 1733.65/1737.89 c #Conflicts: 1821000 | #Constraints: 78061 1733.65/1737.89 c #Conflicts: 1822000 | #Constraints: 79061 1733.65/1737.89 c #Conflicts: 1823000 | #Constraints: 80061 1733.65/1737.89 c #Conflicts: 1824000 | #Constraints: 81061 1733.65/1737.89 c #Conflicts: 1825000 | #Constraints: 82061 1733.65/1737.89 c #Conflicts: 1826000 | #Constraints: 83061 1733.65/1737.89 c #Conflicts: 1827000 | #Constraints: 84061 1733.65/1737.89 c #Conflicts: 1828000 | #Constraints: 85061 1733.65/1737.89 c #Conflicts: 1829000 | #Constraints: 86061 1733.65/1737.89 c #Conflicts: 1830000 | #Constraints: 87061 1733.65/1737.89 c #Conflicts: 1831000 | #Constraints: 88061 1733.65/1737.89 c #Conflicts: 1832000 | #Constraints: 89061 1733.65/1737.89 c #Conflicts: 1833000 | #Constraints: 90061 1733.65/1737.89 c #Conflicts: 1834000 | #Constraints: 91061 1733.65/1737.89 c #Conflicts: 1835000 | #Constraints: 92063 1733.65/1737.89 c #Conflicts: 1836000 | #Constraints: 93063 1733.65/1737.89 c #Conflicts: 1837000 | #Constraints: 94063 1733.65/1737.89 c #Conflicts: 1838000 | #Constraints: 95063 1733.65/1737.89 c #Conflicts: 1839000 | #Constraints: 96063 1733.65/1737.89 c #Conflicts: 1840000 | #Constraints: 97063 1733.65/1737.89 c #Conflicts: 1841000 | #Constraints: 98063 1733.65/1737.89 c #Conflicts: 1842000 | #Constraints: 99064 1733.65/1737.89 c #Conflicts: 1843000 | #Constraints: 100064 1733.65/1737.89 c #Conflicts: 1844000 | #Constraints: 101064 1733.65/1737.89 c #Conflicts: 1845000 | #Constraints: 102064 1733.65/1737.89 c #Conflicts: 1846000 | #Constraints: 103064 1733.65/1737.89 c #Conflicts: 1847000 | #Constraints: 104065 1733.65/1737.89 c #Conflicts: 1848000 | #Constraints: 105065 1733.65/1737.89 c #Conflicts: 1849000 | #Constraints: 106065 1733.65/1737.89 c #Conflicts: 1850000 | #Constraints: 107065 1733.65/1737.89 c #Conflicts: 1851000 | #Constraints: 108066 1733.65/1737.89 c #Conflicts: 1852000 | #Constraints: 109066 1923.52/1928.17 c #Conflicts: 1853000 | #Constraints: 110066 1923.52/1928.17 c #Conflicts: 1854000 | #Constraints: 111066 1923.52/1928.17 c #Conflicts: 1855000 | #Constraints: 112066 1923.52/1928.17 c #Conflicts: 1856000 | #Constraints: 113067 1923.52/1928.17 c #Conflicts: 1857000 | #Constraints: 114067 1923.52/1928.17 c #Conflicts: 1858000 | #Constraints: 115067 1923.52/1928.17 c #Conflicts: 1859000 | #Constraints: 116068 1923.52/1928.17 c #Conflicts: 1860000 | #Constraints: 117068 1923.52/1928.17 c #Conflicts: 1861000 | #Constraints: 118068 1923.52/1928.17 c #Conflicts: 1862000 | #Constraints: 119068 1923.52/1928.17 c #Conflicts: 1863000 | #Constraints: 120068 1923.52/1928.17 c #Conflicts: 1864000 | #Constraints: 121068 1923.52/1928.17 c #Conflicts: 1865000 | #Constraints: 122068 1923.52/1928.17 c #Conflicts: 1866000 | #Constraints: 123068 1923.52/1928.17 c #Conflicts: 1867000 | #Constraints: 124068 1923.52/1928.17 c #Conflicts: 1868000 | #Constraints: 125068 1923.52/1928.17 c #Conflicts: 1869000 | #Constraints: 126068 1923.52/1928.17 c #Conflicts: 1870000 | #Constraints: 127068 1923.52/1928.17 c #Conflicts: 1871000 | #Constraints: 128069 1923.52/1928.17 c #Conflicts: 1872000 | #Constraints: 129069 1923.52/1928.17 c #Conflicts: 1873000 | #Constraints: 130070 1923.52/1928.17 c #Conflicts: 1874000 | #Constraints: 131071 1923.52/1928.17 c #Conflicts: 1875000 | #Constraints: 132072 1923.52/1928.17 c #Conflicts: 1876000 | #Constraints: 133072 1923.52/1928.17 c #Conflicts: 1877000 | #Constraints: 134072 1923.52/1928.17 c #Conflicts: 1878000 | #Constraints: 135072 1923.52/1928.17 c #Conflicts: 1879000 | #Constraints: 136072 1923.52/1928.17 c #Conflicts: 1880000 | #Constraints: 137072 1923.52/1928.17 c #Conflicts: 1881000 | #Constraints: 138072 1923.52/1928.17 c #Conflicts: 1882000 | #Constraints: 139072 1923.52/1928.17 c #Conflicts: 1883000 | #Constraints: 140072 1923.52/1928.17 c #Conflicts: 1884000 | #Constraints: 141072 1923.52/1928.17 c #Conflicts: 1885000 | #Constraints: 142072 1923.52/1928.17 c #Conflicts: 1886000 | #Constraints: 143072 1923.52/1928.17 c #Conflicts: 1887000 | #Constraints: 144072 1923.52/1928.17 c #Conflicts: 1888000 | #Constraints: 145072 1923.52/1928.17 c #Conflicts: 1889000 | #Constraints: 146072 1923.52/1928.17 c #Conflicts: 1890000 | #Constraints: 147072 1923.52/1928.17 c #Conflicts: 1891000 | #Constraints: 148072 1923.52/1928.17 c #Conflicts: 1892000 | #Constraints: 149072 1923.52/1928.17 c #Conflicts: 1893000 | #Constraints: 150072 1923.52/1928.17 c #Conflicts: 1894000 | #Constraints: 151074 1923.52/1928.17 c #Conflicts: 1895000 | #Constraints: 152075 1923.52/1928.17 c #Conflicts: 1896000 | #Constraints: 153075 1923.52/1928.17 c #Conflicts: 1897000 | #Constraints: 154075 1923.52/1928.17 c #Conflicts: 1898000 | #Constraints: 155075 1923.52/1928.17 c #Conflicts: 1899000 | #Constraints: 156076 1923.52/1928.17 c #Conflicts: 1900000 | #Constraints: 157076 1923.52/1928.17 c #Conflicts: 1901000 | #Constraints: 158076 1923.52/1928.17 c #Conflicts: 1902000 | #Constraints: 159076 1923.52/1928.17 c #Conflicts: 1903000 | #Constraints: 160076 1923.52/1928.17 c #Conflicts: 1904000 | #Constraints: 161077 1923.52/1928.17 c #Conflicts: 1905000 | #Constraints: 162078 1923.52/1928.17 c #Conflicts: 1906000 | #Constraints: 163078 1923.52/1928.17 c #Conflicts: 1907000 | #Constraints: 164078 1923.52/1928.17 c #Conflicts: 1908000 | #Constraints: 165078 1923.52/1928.17 c #Conflicts: 1909000 | #Constraints: 166078 1923.52/1928.17 c #Conflicts: 1910000 | #Constraints: 167078 1923.52/1928.17 c #Conflicts: 1911000 | #Constraints: 168078 1923.52/1928.17 c #Conflicts: 1912000 | #Constraints: 169078 1923.52/1928.17 c INPROCESSING 1923.52/1928.17 c GARBAGE COLLECT 1923.52/1928.17 c rational objective 1.88022 1977.98/1982.70 c #Conflicts: 1913000 | #Constraints: 87239 1977.98/1982.70 c #Conflicts: 1914000 | #Constraints: 88239 1977.98/1982.70 c #Conflicts: 1915000 | #Constraints: 89239 1977.98/1982.70 c #Conflicts: 1916000 | #Constraints: 90240 1977.98/1982.70 c #Conflicts: 1917000 | #Constraints: 91240 1977.98/1982.70 c #Conflicts: 1918000 | #Constraints: 92240 1977.98/1982.70 c #Conflicts: 1919000 | #Constraints: 93240 1977.98/1982.70 c #Conflicts: 1920000 | #Constraints: 94240 1977.98/1982.70 c #Conflicts: 1921000 | #Constraints: 95240 1977.98/1982.70 c #Conflicts: 1922000 | #Constraints: 96240 1977.98/1982.70 c #Conflicts: 1923000 | #Constraints: 97240 1977.98/1982.70 c #Conflicts: 1924000 | #Constraints: 98240 1977.98/1982.70 c #Conflicts: 1925000 | #Constraints: 99240 1977.98/1982.70 c #Conflicts: 1926000 | #Constraints: 100240 1977.98/1982.70 c #Conflicts: 1927000 | #Constraints: 101240 1977.98/1982.70 c #Conflicts: 1928000 | #Constraints: 102240 1977.98/1982.70 c #Conflicts: 1929000 | #Constraints: 103240 1977.98/1982.70 c #Conflicts: 1930000 | #Constraints: 104240 1977.98/1982.70 c #Conflicts: 1931000 | #Constraints: 105240 1977.98/1982.70 c #Conflicts: 1932000 | #Constraints: 106240 1977.98/1982.70 c #Conflicts: 1933000 | #Constraints: 107240 1977.98/1982.70 c #Conflicts: 1934000 | #Constraints: 108240 1977.98/1982.70 c #Conflicts: 1935000 | #Constraints: 109240 1977.98/1982.70 c #Conflicts: 1936000 | #Constraints: 110240 1977.98/1982.70 c #Conflicts: 1937000 | #Constraints: 111240 1977.98/1982.70 c #Conflicts: 1938000 | #Constraints: 112240 1977.98/1982.70 c #Conflicts: 1939000 | #Constraints: 113240 1977.98/1982.70 c #Conflicts: 1940000 | #Constraints: 114240 1977.98/1982.70 c INPROCESSING 1977.98/1982.70 c GARBAGE COLLECT 1977.98/1982.70 c rational objective 1.88034 2052.32/2057.21 c #Conflicts: 1941000 | #Constraints: 59847 2052.32/2057.21 c #Conflicts: 1942000 | #Constraints: 60848 2052.32/2057.21 c #Conflicts: 1943000 | #Constraints: 61848 2052.32/2057.21 c #Conflicts: 1944000 | #Constraints: 62850 2052.32/2057.21 c #Conflicts: 1945000 | #Constraints: 63850 2052.32/2057.21 c #Conflicts: 1946000 | #Constraints: 64850 2052.32/2057.21 c #Conflicts: 1947000 | #Constraints: 65850 2052.32/2057.21 c #Conflicts: 1948000 | #Constraints: 66850 2052.32/2057.21 c #Conflicts: 1949000 | #Constraints: 67850 2052.32/2057.21 c #Conflicts: 1950000 | #Constraints: 68850 2052.32/2057.21 c #Conflicts: 1951000 | #Constraints: 69850 2052.32/2057.21 c #Conflicts: 1952000 | #Constraints: 70850 2052.32/2057.21 c #Conflicts: 1953000 | #Constraints: 71850 2052.32/2057.21 c #Conflicts: 1954000 | #Constraints: 72850 2052.32/2057.21 c #Conflicts: 1955000 | #Constraints: 73850 2052.32/2057.21 c #Conflicts: 1956000 | #Constraints: 74851 2052.32/2057.21 c #Conflicts: 1957000 | #Constraints: 75851 2052.32/2057.21 c #Conflicts: 1958000 | #Constraints: 76851 2052.32/2057.21 c #Conflicts: 1959000 | #Constraints: 77851 2052.32/2057.21 c #Conflicts: 1960000 | #Constraints: 78851 2052.32/2057.21 c #Conflicts: 1961000 | #Constraints: 79851 2052.32/2057.21 c #Conflicts: 1962000 | #Constraints: 80851 2052.32/2057.21 c #Conflicts: 1963000 | #Constraints: 81851 2052.32/2057.21 c #Conflicts: 1964000 | #Constraints: 82851 2052.32/2057.21 c #Conflicts: 1965000 | #Constraints: 83851 2052.32/2057.21 c #Conflicts: 1966000 | #Constraints: 84851 2052.32/2057.21 c #Conflicts: 1967000 | #Constraints: 85851 2052.32/2057.21 c #Conflicts: 1968000 | #Constraints: 86851 2052.32/2057.21 c INPROCESSING 2052.32/2057.21 c GARBAGE COLLECT 2052.32/2057.21 c #Conflicts: 1969000 | #Constraints: 46165 2052.32/2057.21 c #Conflicts: 1970000 | #Constraints: 47165 2052.32/2057.21 c #Conflicts: 1971000 | #Constraints: 48165 2052.32/2057.21 c #Conflicts: 1972000 | #Constraints: 49165 2052.32/2057.21 c #Conflicts: 1973000 | #Constraints: 50165 2052.32/2057.21 c #Conflicts: 1974000 | #Constraints: 51165 2052.32/2057.21 c #Conflicts: 1975000 | #Constraints: 52165 2052.32/2057.21 c #Conflicts: 1976000 | #Constraints: 53165 2052.32/2057.21 c #Conflicts: 1977000 | #Constraints: 54165 2052.32/2057.21 c #Conflicts: 1978000 | #Constraints: 55165 2052.32/2057.21 c #Conflicts: 1979000 | #Constraints: 56165 2052.32/2057.21 c #Conflicts: 1980000 | #Constraints: 57165 2052.32/2057.21 c #Conflicts: 1981000 | #Constraints: 58165 2052.32/2057.21 c #Conflicts: 1982000 | #Constraints: 59165 2052.32/2057.21 c #Conflicts: 1983000 | #Constraints: 60166 2052.32/2057.21 c #Conflicts: 1984000 | #Constraints: 61166 2052.32/2057.21 c #Conflicts: 1985000 | #Constraints: 62166 2052.32/2057.21 c #Conflicts: 1986000 | #Constraints: 63166 2052.32/2057.21 c #Conflicts: 1987000 | #Constraints: 64166 2052.32/2057.21 c #Conflicts: 1988000 | #Constraints: 65166 2052.32/2057.21 c #Conflicts: 1989000 | #Constraints: 66167 2052.32/2057.21 c #Conflicts: 1990000 | #Constraints: 67167 2052.32/2057.21 c #Conflicts: 1991000 | #Constraints: 68167 2052.32/2057.21 c #Conflicts: 1992000 | #Constraints: 69167 2052.32/2057.21 c #Conflicts: 1993000 | #Constraints: 70168 2052.32/2057.21 c #Conflicts: 1994000 | #Constraints: 71169 2052.32/2057.21 c #Conflicts: 1995000 | #Constraints: 72170 2052.32/2057.21 c #Conflicts: 1996000 | #Constraints: 73170 2052.32/2057.21 c INPROCESSING 2052.32/2057.21 c GARBAGE COLLECT 2052.32/2057.21 c rational objective 1.88184 2093.73/2098.71 c #Conflicts: 1997000 | #Constraints: 39115 2093.73/2098.71 c #Conflicts: 1998000 | #Constraints: 40115 2093.73/2098.71 c #Conflicts: 1999000 | #Constraints: 41115 2093.73/2098.71 c #Conflicts: 2000000 | #Constraints: 42116 2093.73/2098.71 c #Conflicts: 2001000 | #Constraints: 43116 2093.73/2098.71 c #Conflicts: 2002000 | #Constraints: 44117 2093.73/2098.71 c #Conflicts: 2003000 | #Constraints: 45117 2093.73/2098.71 c #Conflicts: 2004000 | #Constraints: 46118 2093.73/2098.71 c #Conflicts: 2005000 | #Constraints: 47119 2093.73/2098.71 c #Conflicts: 2006000 | #Constraints: 48119 2093.73/2098.71 c #Conflicts: 2007000 | #Constraints: 49119 2093.73/2098.71 c #Conflicts: 2008000 | #Constraints: 50119 2093.73/2098.71 c #Conflicts: 2009000 | #Constraints: 51119 2093.73/2098.71 c #Conflicts: 2010000 | #Constraints: 52119 2093.73/2098.71 c #Conflicts: 2011000 | #Constraints: 53120 2093.73/2098.71 c #Conflicts: 2012000 | #Constraints: 54120 2093.73/2098.71 c #Conflicts: 2013000 | #Constraints: 55120 2093.73/2098.71 c #Conflicts: 2014000 | #Constraints: 56120 2093.73/2098.71 c #Conflicts: 2015000 | #Constraints: 57120 2093.73/2098.71 c #Conflicts: 2016000 | #Constraints: 58120 2093.73/2098.71 c #Conflicts: 2017000 | #Constraints: 59120 2093.73/2098.71 c #Conflicts: 2018000 | #Constraints: 60125 2093.73/2098.71 c #Conflicts: 2019000 | #Constraints: 61125 2093.73/2098.71 c #Conflicts: 2020000 | #Constraints: 62125 2093.73/2098.71 c #Conflicts: 2021000 | #Constraints: 63126 2093.73/2098.71 c #Conflicts: 2022000 | #Constraints: 64127 2093.73/2098.71 c #Conflicts: 2023000 | #Constraints: 65127 2093.73/2098.71 c #Conflicts: 2024000 | #Constraints: 66127 2093.73/2098.71 c #Conflicts: 2025000 | #Constraints: 67127 2093.73/2098.71 c INPROCESSING 2093.73/2098.71 c GARBAGE COLLECT 2093.73/2098.71 c rational objective 1.8819 2115.78/2120.86 c #Conflicts: 2026000 | #Constraints: 36371 2115.78/2120.86 c #Conflicts: 2027000 | #Constraints: 37372 2115.78/2120.86 c #Conflicts: 2028000 | #Constraints: 38372 2115.78/2120.86 c #Conflicts: 2029000 | #Constraints: 39372 2115.78/2120.86 c #Conflicts: 2030000 | #Constraints: 40372 2115.78/2120.86 c #Conflicts: 2031000 | #Constraints: 41372 2115.78/2120.86 c #Conflicts: 2032000 | #Constraints: 42372 2115.78/2120.86 c #Conflicts: 2033000 | #Constraints: 43372 2115.78/2120.86 c #Conflicts: 2034000 | #Constraints: 44372 2115.78/2120.86 c #Conflicts: 2035000 | #Constraints: 45372 2115.78/2120.86 c #Conflicts: 2036000 | #Constraints: 46372 2115.78/2120.86 c #Conflicts: 2037000 | #Constraints: 47372 2115.78/2120.86 c #Conflicts: 2038000 | #Constraints: 48372 2115.78/2120.86 c #Conflicts: 2039000 | #Constraints: 49373 2115.78/2120.86 c #Conflicts: 2040000 | #Constraints: 50373 2115.78/2120.86 c #Conflicts: 2041000 | #Constraints: 51373 2115.78/2120.86 c #Conflicts: 2042000 | #Constraints: 52373 2115.78/2120.86 c #Conflicts: 2043000 | #Constraints: 53375 2115.78/2120.86 c #Conflicts: 2044000 | #Constraints: 54376 2115.78/2120.86 c #Conflicts: 2045000 | #Constraints: 55376 2115.78/2120.86 c #Conflicts: 2046000 | #Constraints: 56376 2115.78/2120.86 c #Conflicts: 2047000 | #Constraints: 57376 2115.78/2120.86 c #Conflicts: 2048000 | #Constraints: 58377 2115.78/2120.86 c #Conflicts: 2049000 | #Constraints: 59378 2115.78/2120.86 c #Conflicts: 2050000 | #Constraints: 60379 2115.78/2120.86 c #Conflicts: 2051000 | #Constraints: 61379 2115.78/2120.86 c #Conflicts: 2052000 | #Constraints: 62379 2115.78/2120.86 c #Conflicts: 2053000 | #Constraints: 63379 2115.78/2120.86 c #Conflicts: 2054000 | #Constraints: 64379 2115.78/2120.86 c INPROCESSING 2115.78/2120.86 c GARBAGE COLLECT 2115.78/2120.86 c rational objective 1.88194 2136.24/2141.37 c #Conflicts: 2055000 | #Constraints: 35134 2136.24/2141.37 c #Conflicts: 2056000 | #Constraints: 36134 2136.24/2141.37 c #Conflicts: 2057000 | #Constraints: 37134 2136.24/2141.37 c #Conflicts: 2058000 | #Constraints: 38135 2136.24/2141.37 c #Conflicts: 2059000 | #Constraints: 39136 2136.24/2141.37 c #Conflicts: 2060000 | #Constraints: 40137 2136.24/2141.37 c #Conflicts: 2061000 | #Constraints: 41137 2136.24/2141.37 c #Conflicts: 2062000 | #Constraints: 42137 2136.24/2141.37 c #Conflicts: 2063000 | #Constraints: 43138 2136.24/2141.37 c #Conflicts: 2064000 | #Constraints: 44138 2136.24/2141.37 c #Conflicts: 2065000 | #Constraints: 45140 2136.24/2141.37 c #Conflicts: 2066000 | #Constraints: 46140 2136.24/2141.37 c #Conflicts: 2067000 | #Constraints: 47140 2136.24/2141.37 c #Conflicts: 2068000 | #Constraints: 48142 2136.24/2141.37 c #Conflicts: 2069000 | #Constraints: 49142 2136.24/2141.37 c #Conflicts: 2070000 | #Constraints: 50143 2136.24/2141.37 c #Conflicts: 2071000 | #Constraints: 51144 2136.24/2141.37 c #Conflicts: 2072000 | #Constraints: 52145 2136.24/2141.37 c #Conflicts: 2073000 | #Constraints: 53145 2136.24/2141.37 c #Conflicts: 2074000 | #Constraints: 54146 2136.24/2141.37 c #Conflicts: 2075000 | #Constraints: 55147 2136.24/2141.37 c #Conflicts: 2076000 | #Constraints: 56147 2136.24/2141.37 c #Conflicts: 2077000 | #Constraints: 57147 2136.24/2141.37 c #Conflicts: 2078000 | #Constraints: 58147 2136.24/2141.37 c #Conflicts: 2079000 | #Constraints: 59147 2136.24/2141.37 c #Conflicts: 2080000 | #Constraints: 60147 2136.24/2141.37 c #Conflicts: 2081000 | #Constraints: 61147 2136.24/2141.37 c #Conflicts: 2082000 | #Constraints: 62147 2136.24/2141.37 c INPROCESSING 2136.24/2141.37 c GARBAGE COLLECT 2136.24/2141.37 c rational objective 1.89814 2163.89/2169.03 c #Conflicts: 2083000 | #Constraints: 33607 2163.89/2169.03 c #Conflicts: 2084000 | #Constraints: 34607 2163.89/2169.03 c #Conflicts: 2085000 | #Constraints: 35607 2163.89/2169.03 c #Conflicts: 2086000 | #Constraints: 36607 2163.89/2169.03 c #Conflicts: 2087000 | #Constraints: 37607 2163.89/2169.03 c #Conflicts: 2088000 | #Constraints: 38607 2163.89/2169.03 c #Conflicts: 2089000 | #Constraints: 39607 2163.89/2169.03 c #Conflicts: 2090000 | #Constraints: 40608 2163.89/2169.03 c #Conflicts: 2091000 | #Constraints: 41608 2163.89/2169.03 c #Conflicts: 2092000 | #Constraints: 42608 2163.89/2169.03 c #Conflicts: 2093000 | #Constraints: 43609 2163.89/2169.03 c #Conflicts: 2094000 | #Constraints: 44609 2163.89/2169.03 c #Conflicts: 2095000 | #Constraints: 45609 2163.89/2169.03 c #Conflicts: 2096000 | #Constraints: 46609 2163.89/2169.03 c #Conflicts: 2097000 | #Constraints: 47610 2163.89/2169.03 c #Conflicts: 2098000 | #Constraints: 48610 2163.89/2169.03 c #Conflicts: 2099000 | #Constraints: 49610 2163.89/2169.03 c #Conflicts: 2100000 | #Constraints: 50611 2163.89/2169.03 c #Conflicts: 2101000 | #Constraints: 51611 2163.89/2169.03 c #Conflicts: 2102000 | #Constraints: 52612 2163.89/2169.03 c #Conflicts: 2103000 | #Constraints: 53613 2163.89/2169.03 c #Conflicts: 2104000 | #Constraints: 54613 2163.89/2169.03 c #Conflicts: 2105000 | #Constraints: 55613 2163.89/2169.03 c #Conflicts: 2106000 | #Constraints: 56613 2163.89/2169.03 c #Conflicts: 2107000 | #Constraints: 57613 2163.89/2169.03 c #Conflicts: 2108000 | #Constraints: 58613 2163.89/2169.03 c #Conflicts: 2109000 | #Constraints: 59613 2163.89/2169.03 c #Conflicts: 2110000 | #Constraints: 60613 2163.89/2169.03 c #Conflicts: 2111000 | #Constraints: 61613 2163.89/2169.03 c #Conflicts: 2112000 | #Constraints: 62613 2163.89/2169.03 c INPROCESSING 2163.89/2169.03 c GARBAGE COLLECT 2163.89/2169.03 c rational objective 1.89895 2182.53/2187.76 c #Conflicts: 2113000 | #Constraints: 34269 2182.53/2187.76 c #Conflicts: 2114000 | #Constraints: 35270 2182.53/2187.76 c #Conflicts: 2115000 | #Constraints: 36270 2182.53/2187.76 c #Conflicts: 2116000 | #Constraints: 37270 2182.53/2187.76 c #Conflicts: 2117000 | #Constraints: 38270 2182.53/2187.76 c #Conflicts: 2118000 | #Constraints: 39271 2182.53/2187.76 c #Conflicts: 2119000 | #Constraints: 40272 2182.53/2187.76 c #Conflicts: 2120000 | #Constraints: 41272 2182.53/2187.76 c #Conflicts: 2121000 | #Constraints: 42274 2182.53/2187.76 c #Conflicts: 2122000 | #Constraints: 43274 2182.53/2187.76 c #Conflicts: 2123000 | #Constraints: 44274 2182.53/2187.76 c #Conflicts: 2124000 | #Constraints: 45274 2182.53/2187.76 c #Conflicts: 2125000 | #Constraints: 46275 2182.53/2187.76 c #Conflicts: 2126000 | #Constraints: 47276 2182.53/2187.76 c #Conflicts: 2127000 | #Constraints: 48277 2182.53/2187.76 c #Conflicts: 2128000 | #Constraints: 49277 2182.53/2187.76 c #Conflicts: 2129000 | #Constraints: 50277 2182.53/2187.76 c #Conflicts: 2130000 | #Constraints: 51277 2182.53/2187.76 c #Conflicts: 2131000 | #Constraints: 52277 2182.53/2187.76 c #Conflicts: 2132000 | #Constraints: 53277 2182.53/2187.76 c #Conflicts: 2133000 | #Constraints: 54277 2182.53/2187.76 c #Conflicts: 2134000 | #Constraints: 55278 2182.53/2187.76 c #Conflicts: 2135000 | #Constraints: 56279 2182.53/2187.76 c #Conflicts: 2136000 | #Constraints: 57279 2182.53/2187.76 c #Conflicts: 2137000 | #Constraints: 58279 2182.53/2187.76 c #Conflicts: 2138000 | #Constraints: 59279 2182.53/2187.76 c #Conflicts: 2139000 | #Constraints: 60279 2182.53/2187.76 c #Conflicts: 2140000 | #Constraints: 61281 2182.53/2187.76 c #Conflicts: 2141000 | #Constraints: 62281 2182.53/2187.76 c INPROCESSING 2182.53/2187.76 c GARBAGE COLLECT 2182.53/2187.76 c rational objective 1.91358 3600.01/3609.91 c #Conflicts: 2142000 | #Constraints: 33989 3600.01/3609.91 c #Conflicts: 2143000 | #Constraints: 34989 3600.01/3609.91 c #Conflicts: 2144000 | #Constraints: 35989 3600.01/3609.91 c #Conflicts: 2145000 | #Constraints: 36990 3600.01/3609.91 c #Conflicts: 2146000 | #Constraints: 37990 3600.01/3609.91 c #Conflicts: 2147000 | #Constraints: 38990 3600.01/3609.91 c #Conflicts: 2148000 | #Constraints: 39990 3600.01/3609.91 c #Conflicts: 2149000 | #Constraints: 40990 3600.01/3609.91 c #Conflicts: 2150000 | #Constraints: 41990 3600.01/3609.91 c #Conflicts: 2151000 | #Constraints: 42990 3600.01/3609.91 c #Conflicts: 2152000 | #Constraints: 43991 3600.01/3609.91 c #Conflicts: 2153000 | #Constraints: 44991 3600.01/3609.91 c #Conflicts: 2154000 | #Constraints: 45991 3600.01/3609.91 c #Conflicts: 2155000 | #Constraints: 46991 3600.01/3609.91 c #Conflicts: 2156000 | #Constraints: 47991 3600.01/3609.91 c #Conflicts: 2157000 | #Constraints: 48991 3600.01/3609.91 c #Conflicts: 2158000 | #Constraints: 49991 3600.01/3609.91 c #Conflicts: 2159000 | #Constraints: 50991 3600.01/3609.91 c #Conflicts: 2160000 | #Constraints: 51991 3600.01/3609.91 c #Conflicts: 2161000 | #Constraints: 52991 3600.01/3609.91 c #Conflicts: 2162000 | #Constraints: 53991 3600.01/3609.91 c #Conflicts: 2163000 | #Constraints: 54991 3600.01/3609.91 c #Conflicts: 2164000 | #Constraints: 55991 3600.01/3609.91 c #Conflicts: 2165000 | #Constraints: 56991 3600.01/3609.91 c #Conflicts: 2166000 | #Constraints: 57991 3600.01/3609.91 c #Conflicts: 2167000 | #Constraints: 58991 3600.01/3609.91 c #Conflicts: 2168000 | #Constraints: 59991 3600.01/3609.91 c #Conflicts: 2169000 | #Constraints: 60991 3600.01/3609.91 c #Conflicts: 2170000 | #Constraints: 61991 3600.01/3609.91 c #Conflicts: 2171000 | #Constraints: 62991 3600.01/3609.91 c #Conflicts: 2172000 | #Constraints: 63991 3600.01/3609.91 c #Conflicts: 2173000 | #Constraints: 64991 3600.01/3609.91 c #Conflicts: 2174000 | #Constraints: 65991 3600.01/3609.91 c #Conflicts: 2175000 | #Constraints: 66991 3600.01/3609.91 c #Conflicts: 2176000 | #Constraints: 67991 3600.01/3609.91 c #Conflicts: 2177000 | #Constraints: 68991 3600.01/3609.91 c #Conflicts: 2178000 | #Constraints: 69991 3600.01/3609.91 c #Conflicts: 2179000 | #Constraints: 70991 3600.01/3609.91 c #Conflicts: 2180000 | #Constraints: 71991 3600.01/3609.91 c #Conflicts: 2181000 | #Constraints: 72991 3600.01/3609.91 c #Conflicts: 2182000 | #Constraints: 73991 3600.01/3609.91 c #Conflicts: 2183000 | #Constraints: 74991 3600.01/3609.91 c #Conflicts: 2184000 | #Constraints: 75991 3600.01/3609.91 c #Conflicts: 2185000 | #Constraints: 76991 3600.01/3609.91 c #Conflicts: 2186000 | #Constraints: 77991 3600.01/3609.91 c #Conflicts: 2187000 | #Constraints: 78991 3600.01/3609.91 c #Conflicts: 2188000 | #Constraints: 79991 3600.01/3609.91 c #Conflicts: 2189000 | #Constraints: 80991 3600.01/3609.91 c #Conflicts: 2190000 | #Constraints: 81991 3600.01/3609.91 c #Conflicts: 2191000 | #Constraints: 82991 3600.01/3609.91 c #Conflicts: 2192000 | #Constraints: 83991 3600.01/3609.91 c #Conflicts: 2193000 | #Constraints: 84991 3600.01/3609.91 c #Conflicts: 2194000 | #Constraints: 85991 3600.01/3609.91 c #Conflicts: 2195000 | #Constraints: 86991 3600.01/3609.91 c #Conflicts: 2196000 | #Constraints: 87991 3600.01/3609.91 c #Conflicts: 2197000 | #Constraints: 88991 3600.01/3609.91 c #Conflicts: 2198000 | #Constraints: 89991 3600.01/3609.91 c #Conflicts: 2199000 | #Constraints: 90991 3600.01/3609.91 c #Conflicts: 2200000 | #Constraints: 91991 3600.01/3609.91 c #Conflicts: 2201000 | #Constraints: 92991 3600.01/3609.91 c #Conflicts: 2202000 | #Constraints: 93991 3600.01/3609.91 c #Conflicts: 2203000 | #Constraints: 94991 3600.01/3609.91 c #Conflicts: 2204000 | #Constraints: 95991 3600.01/3609.91 c #Conflicts: 2205000 | #Constraints: 96991 3600.01/3609.91 c #Conflicts: 2206000 | #Constraints: 97991 3600.01/3609.91 c #Conflicts: 2207000 | #Constraints: 98991 3600.01/3609.91 c Program interrupted by user. 3600.01/3609.91 c cpu time 3564.27 s 3600.01/3609.91 c deterministic time 501567373303 5.02e+11 3600.01/3609.91 c optimization time 1414.22 s 3600.01/3609.91 c total solve time 2150.02 s 3600.01/3609.91 c core-guided solve time 0 s 3600.01/3609.91 c propagation time 3359.41 s 3600.01/3609.91 c conflict analysis time 142.864 s 3600.01/3609.91 c propagations 106784054 3600.01/3609.91 c resolve steps 13292825 3600.01/3609.91 c decisions 15127990 3600.01/3609.91 c conflicts 2207476 3600.01/3609.91 c restarts 4093 3600.01/3609.91 c inprocessing phases 133 3600.01/3609.91 c input clauses 1334 3600.01/3609.91 c input cardinalities 0 3600.01/3609.91 c input general constraints 2025 3600.01/3609.91 c input average constraint length 3.81 3600.01/3609.91 c input average constraint degree 20949313541.24 3600.01/3609.91 c learned clauses 742405 3600.01/3609.91 c learned cardinalities 7926 3600.01/3609.91 c learned general constraints 1457846 3600.01/3609.91 c learned average constraint length 81.11 3600.01/3609.91 c learned average constraint degree 275942416.04 3600.01/3609.91 c watched constraints 1349906 3600.01/3609.91 c counting constraints 109965 3600.01/3609.91 c gcd simplifications 112366 3600.01/3609.91 c detected cardinalities 2383 3600.01/3609.91 c weakened non-implied lits 13019758 3600.01/3609.91 c weakened non-implying lits 875988 3600.01/3609.91 c original variables 3220 3600.01/3609.91 c clausal propagations 30312902 3600.01/3609.91 c cardinality propagations 184120 3600.01/3609.91 c watched propagations 18593312 3600.01/3609.91 c counting propagations 56315502 3600.01/3609.91 c watch lookups 71332822606 3600.01/3609.91 c watch backjump lookups 68675823026 3600.01/3609.91 c watch checks 148261394306 3600.01/3609.91 c propagation checks 212503189548 3600.01/3609.91 c constraint additions 545628369 3600.01/3609.91 c trail pops 124118703 3600.01/3609.91 c formula constraints 3359 3600.01/3609.91 c learned constraints 2206798 3600.01/3609.91 c bound constraints 0 3600.01/3609.91 c core-guided constraints 0 3600.01/3609.91 c encountered formula constraints 7273302 3600.01/3609.91 c encountered learned constraints 8148512 3600.01/3609.91 c encountered bound constraints 0 3600.01/3609.91 c encountered core-guided constraints 0 3600.01/3609.91 c LP total time 207.495 s 3600.01/3609.91 c LP solve time 195.7 s 3600.01/3609.91 c LP constraints added 3485 3600.01/3609.91 c LP constraints removed 89 3600.01/3609.91 c LP pivots internal 2155444 3600.01/3609.91 c LP pivots root 329256 3600.01/3609.91 c LP calls 88715 3600.01/3609.91 c LP optimalities 87949 3600.01/3609.91 c LP no pivot count 80378 3600.01/3609.91 c LP infeasibilities 711 3600.01/3609.91 c LP valid Farkas constraints 701 3600.01/3609.91 c LP learned Farkas constraints 678 3600.01/3609.91 c LP basis resets 60 3600.01/3609.91 c LP cycling count 49 3600.01/3609.91 c LP singular count 1 3600.01/3609.91 c LP no primal count 0 3600.01/3609.91 c LP no farkas count 10 3600.01/3609.91 c LP other issue count 0 3600.01/3609.91 c LP Gomory cuts 0 3600.01/3609.91 c LP learned cuts 126 3600.01/3609.91 c LP deleted cuts 89 3600.01/3609.91 c LP encountered Gomory constraints 0 3600.01/3609.91 c LP encountered Farkas constraints 49401 3600.01/3609.91 c LP encountered learned Farkas constraints 28408 3600.01/3609.91 c CG auxiliary variables introduced 0 3600.01/3609.91 c CG solutions found 0 3600.01/3609.91 c CG cores constructed 0 3600.01/3609.91 c CG core cardinality constraints returned 0 3600.01/3609.91 c CG unit cores 0 3600.01/3609.91 c CG single cores 0 3600.01/3609.91 c CG blocks removed during cardinality reduction 0 3600.01/3609.91 c CG first core best 0 3600.01/3609.91 c CG decision core best 0 3600.01/3609.91 c CG core reduction tie 0 3600.01/3609.91 c CG core degree average 0.00 3600.01/3609.91 c CG core slack average 0.00 3600.01/3609.91 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (58148 MiB free)
memory of node 1: 64473 MiB (60864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460885-1722072652/watcher-4460885-1722072652 -o /tmp/evaluation-result-4460885-1722072652/solver-4460885-1722072652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722064836-319220 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460885-1722072652 --lp-cut-gomory=0 HOME/instance-4460885-1722072652.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=324834, runsolver pid=324831
[startup+0.100092 s]*
/proc/loadavg: 4.13 4.18 4.16 5/243 324835
/proc/meminfo: memFree=121862376/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=42524 memory=12252 CPUtime=0.1 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 1736 0 0 0 9 1 0 0 20 0 1 0 43254014 43544576 3063 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 10631 3063 1778 992 0 2489 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42524 KiB
Current children cumulated memory: 12252 KiB
[startup+0.213062 s]*
/proc/loadavg: 4.13 4.18 4.16 5/242 324845
/proc/meminfo: memFree=121875360/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=43028 memory=13396 CPUtime=0.21 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 1911 0 0 0 18 3 0 0 20 0 1 0 43254014 44060672 3349 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 10757 3349 1874 992 0 2615 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43028 KiB
Current children cumulated memory: 13396 KiB
[startup+0.313545 s]*
/proc/loadavg: 4.13 4.18 4.16 5/248 324855
/proc/meminfo: memFree=121872044/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=43688 memory=13904 CPUtime=0.32 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 2057 0 0 0 27 5 0 0 20 0 1 0 43254014 44736512 3476 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 10922 3476 1874 992 0 2780 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 43688 KiB
Current children cumulated memory: 13904 KiB
[startup+0.700255 s]
/proc/loadavg: 4.13 4.18 4.16 5/245 324859
/proc/meminfo: memFree=121864532/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=44732 memory=15224 CPUtime=0.69 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 2346 0 0 0 59 10 0 0 20 0 1 0 43254014 45805568 3806 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 11183 3806 1874 992 0 3041 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 15224 KiB
[startup+1.50028 s]
/proc/loadavg: 4.13 4.18 4.16 5/248 324902
/proc/meminfo: memFree=121867204/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=45172 memory=15752 CPUtime=1.48 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 2519 0 0 0 131 17 0 0 20 0 1 0 43254014 46256128 3938 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 11293 3938 1874 992 0 3151 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45172 KiB
Current children cumulated memory: 15752 KiB
[startup+3.11306 s]
/proc/loadavg: 4.12 4.18 4.16 5/248 324902
/proc/meminfo: memFree=121840128/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=47024 memory=20168 CPUtime=3.09 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 3094 0 0 0 277 32 0 0 20 0 1 0 43254014 48152576 5042 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 11756 5042 1874 992 0 3614 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47024 KiB
Current children cumulated memory: 20168 KiB
[startup+6.30025 s]
/proc/loadavg: 4.12 4.18 4.16 5/248 324902
/proc/meminfo: memFree=121802476/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=52220 memory=25932 CPUtime=6.26 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 4384 0 0 0 569 57 0 0 20 0 1 0 43254014 53473280 6483 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 13055 6483 1874 992 0 4913 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52220 KiB
Current children cumulated memory: 25932 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.17 4.16 5/248 324997
/proc/meminfo: memFree=121676804/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=61988 memory=35740 CPUtime=12.65 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 6370 0 0 0 1160 105 0 0 20 0 1 0 43254014 63475712 8935 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 15497 8935 1874 992 0 7355 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61988 KiB
Current children cumulated memory: 35740 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.16 4.16 5/248 324999
/proc/meminfo: memFree=121577540/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=72956 memory=43288 CPUtime=25.42 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 8238 0 0 0 2356 186 0 0 20 0 1 0 43254014 74706944 10822 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 18239 10822 1941 992 0 10097 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 72956 KiB
Current children cumulated memory: 43288 KiB
[startup+51.1133 s]
/proc/loadavg: 4.12 4.17 4.16 5/248 325004
/proc/meminfo: memFree=121425632/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=78472 memory=52412 CPUtime=50.98 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 9976 0 0 0 4777 321 0 0 20 0 1 0 43254014 80355328 13103 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 19618 13103 1941 992 0 11476 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 78472 KiB
Current children cumulated memory: 52412 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.19 4.16 5/248 325014
/proc/meminfo: memFree=121181916/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=95880 memory=64424 CPUtime=102.04 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 12519 0 0 0 9694 510 0 0 20 0 1 0 43254014 98181120 16106 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 23970 16106 1941 992 0 15828 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 95880 KiB
Current children cumulated memory: 64424 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/248 325024
/proc/meminfo: memFree=120975568/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=101380 memory=74348 CPUtime=161.9 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 14160 0 0 0 15553 637 0 0 20 0 1 0 43254014 103813120 18587 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 25345 18587 1973 992 0 17203 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 101380 KiB
Current children cumulated memory: 74348 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/248 325081
/proc/meminfo: memFree=121625872/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=107376 memory=79856 CPUtime=221.74 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 15554 0 0 0 21451 723 0 0 20 0 1 0 43254014 109953024 19964 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 26844 19964 1973 992 0 18702 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 107376 KiB
Current children cumulated memory: 79856 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/246 325093
/proc/meminfo: memFree=121461344/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=123260 memory=88628 CPUtime=281.59 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 16749 0 0 0 27300 859 0 0 20 0 1 0 43254014 126218240 22157 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 30815 22157 1973 992 0 22673 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 123260 KiB
Current children cumulated memory: 88628 KiB
[startup+342.3 s]
/proc/loadavg: 4.88 4.35 4.22 6/246 325103
/proc/meminfo: memFree=121269728/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=126704 memory=91664 CPUtime=341.43 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 17644 0 0 0 33118 1025 0 0 20 0 1 0 43254014 129744896 22916 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 31676 22916 1973 992 0 23534 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 126704 KiB
Current children cumulated memory: 91664 KiB
[startup+402.3 s]
/proc/loadavg: 4.46 4.34 4.23 5/246 325113
/proc/meminfo: memFree=121105432/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=130180 memory=98392 CPUtime=401.26 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 19255 0 0 0 38976 1150 0 0 20 0 1 0 43254014 133304320 24598 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 32545 24598 1973 992 0 24403 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 130180 KiB
Current children cumulated memory: 98392 KiB
[startup+462.3 s]
/proc/loadavg: 4.29 4.31 4.22 5/246 325124
/proc/meminfo: memFree=120985312/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=133188 memory=100728 CPUtime=461.11 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 20362 0 0 0 44866 1245 0 0 20 0 1 0 43254014 136384512 25182 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 33297 25182 1973 992 0 25155 0
################
# More data... #
################
Current children cumulated memory: 238372 KiB
[startup+2922.3 s]
/proc/loadavg: 3.73 3.34 3.38 4/238 326174
/proc/meminfo: memFree=120210048/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=313404 memory=238540 CPUtime=2914.98 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 43807 0 0 0 288029 3469 0 0 20 0 1 0 43254014 320925696 59635 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78351 59635 1973 992 0 70209 0
Current children cumulated CPU time: 2914.98 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 238540 KiB
[startup+2982.3 s]
/proc/loadavg: 3.32 3.29 3.36 4/241 326189
/proc/meminfo: memFree=120196020/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=313404 memory=238540 CPUtime=2974.76 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 43848 0 0 0 293994 3482 0 0 20 0 1 0 43254014 320925696 59635 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78351 59635 1973 992 0 70209 0
Current children cumulated CPU time: 2974.76 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 238540 KiB
[startup+3042.3 s]
/proc/loadavg: 3.25 3.27 3.35 4/241 326200
/proc/meminfo: memFree=120173432/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=313404 memory=238832 CPUtime=3034.54 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 43979 0 0 0 299962 3492 0 0 20 0 1 0 43254014 320925696 59708 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78351 59708 1973 992 0 70209 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 238832 KiB
[startup+3102.3 s]
/proc/loadavg: 3.22 3.25 3.33 4/241 326211
/proc/meminfo: memFree=120155696/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=313404 memory=238960 CPUtime=3094.32 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44017 0 0 0 305929 3503 0 0 20 0 1 0 43254014 320925696 59740 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78351 59740 1973 992 0 70209 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 313404 KiB
Current children cumulated memory: 238960 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.22 3.32 4/240 326222
/proc/meminfo: memFree=120139788/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=313660 memory=239132 CPUtime=3154.09 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44176 0 0 0 311896 3513 0 0 20 0 1 0 43254014 321187840 59783 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78415 59783 1973 992 0 70273 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 313660 KiB
Current children cumulated memory: 239132 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.19 3.30 4/240 326232
/proc/meminfo: memFree=120123752/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=313660 memory=239380 CPUtime=3213.86 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44214 0 0 0 317865 3521 0 0 20 0 1 0 43254014 321187840 59845 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78415 59845 1973 992 0 70273 0
Current children cumulated CPU time: 3213.86 s
Current children cumulated vsize: 313660 KiB
Current children cumulated memory: 239380 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.17 3.28 4/238 326625
/proc/meminfo: memFree=120112180/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=313660 memory=239544 CPUtime=3273.65 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44343 0 0 0 323833 3532 0 0 20 0 1 0 43254014 321187840 59886 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78415 59886 1973 992 0 70273 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 313660 KiB
Current children cumulated memory: 239544 KiB
[startup+3342.3 s]
/proc/loadavg: 3.57 3.28 3.31 4/239 326636
/proc/meminfo: memFree=120091880/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=314172 memory=241244 CPUtime=3333.43 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44432 0 0 0 329802 3541 0 0 20 0 1 0 43254014 321712128 60311 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78543 60311 1973 992 0 70401 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 241244 KiB
[startup+3402.3 s]
/proc/loadavg: 3.56 3.35 3.34 4/239 326646
/proc/meminfo: memFree=120078188/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=314172 memory=241412 CPUtime=3393.2 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44536 0 0 0 335770 3550 0 0 20 0 1 0 43254014 321712128 60353 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78543 60353 1973 992 0 70401 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 241412 KiB
[startup+3462.3 s]
/proc/loadavg: 3.20 3.28 3.31 4/240 326828
/proc/meminfo: memFree=120052684/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=314172 memory=241412 CPUtime=3452.97 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44542 0 0 0 341739 3558 0 0 20 0 1 0 43254014 321712128 60353 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78543 60353 1973 992 0 70401 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 241412 KiB
[startup+3522.3 s]
/proc/loadavg: 3.19 3.26 3.30 4/240 326838
/proc/meminfo: memFree=120041564/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=314172 memory=241460 CPUtime=3512.74 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44648 0 0 0 347709 3565 0 0 20 0 1 0 43254014 321712128 60365 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78543 60365 1973 992 0 70401 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 241460 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.24 3.29 4/240 326905
/proc/meminfo: memFree=120028972/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=314172 memory=241460 CPUtime=3572.52 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44654 0 0 0 353680 3572 0 0 20 0 1 0 43254014 321712128 60365 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78543 60365 1973 992 0 70401 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 241460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.25 3.25 3.29 4/240 326910
/proc/meminfo: memFree=120023032/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=314172 memory=241460 CPUtime=3600.01 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44657 0 0 0 356425 3576 0 0 20 0 1 0 43254014 321712128 60365 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78543 60365 1973 992 0 70401 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 241460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.92 s]
# the end of solver process 324834 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.27 s, system=35.7715 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 3.25 3.25 3.29 4/240 326910
/proc/meminfo: memFree=120023032/131655788 swapFree=131070192/131071996
[pid=324834] ppid=324831 vsize=314172 memory=241460 CPUtime=3600.01 cores=1,3
/proc/324834/stat : 324834 (roundingsat) R 324831 324834 319208 0 -1 4194304 44657 0 0 0 356425 3576 0 0 20 0 1 0 43254014 321712128 60365 134679101440 4194304 8254357 140721929381008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39723008 140721929388891 140721929389153 140721929389153 140721929396169 0
/proc/324834/statm: 78543 60365 1973 992 0 70401 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 314172 KiB
Current children cumulated memory: 241460 KiB
Child status: 0
Real time (s): 3609.92
CPU time (s): 3600.04
CPU user time (s): 3564.27
CPU system time (s): 35.7715
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 314172
Max. memory (cumulated for all children) (KiB): 241460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.27
system time used= 35.7715
maximum resident set size= 241460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5004376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 4844
# summary of solver processes directly reported to runsolver:
# pid: 324834
# total CPU time (s): 3600.04
# total CPU user time (s): 3564.27
# total CPU system time (s): 35.7715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6693 second user time and 35.7017 second system time
The end
Begin job on nodeC002 at 2024-07-27 11:30:52 IDJOB=4460885 IDBENCH=176057 IDSOLVER=3086 FILE ID=nodeC002/4460885-1722072652 RUNJOBID= nodeC002-1722064836-319220 SLURM_JOB_ID= 8248104 Free space on /tmp= 723764 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-4460885-1722072652/watcher-4460885-1722072652 -o /tmp/evaluation-result-4460885-1722072652/solver-4460885-1722072652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722064836-319220 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460885-1722072652 --lp-cut-gomory=0 HOME/instance-4460885-1722072652.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ea45ea8fc9874a86ca315aec231afca1 RANDOM SEED=974399478 nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.362 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.168 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1895.502 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1795.746 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3676.368 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3666.449 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.356 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.341 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 121869060 kB MemAvailable: 129727016 kB Buffers: 382848 kB Cached: 8294024 kB SwapCached: 72 kB Active: 2450260 kB Inactive: 6738784 kB Active(anon): 1528 kB Inactive(anon): 572816 kB Active(file): 2448732 kB Inactive(file): 6165968 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070192 kB Dirty: 40476 kB Writeback: 0 kB AnonPages: 509208 kB Mapped: 111384 kB Shmem: 62036 kB KReclaimable: 166912 kB Slab: 281744 kB SReclaimable: 166912 kB SUnreclaim: 114832 kB KernelStack: 3920 kB PageTables: 10436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 931316 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14752 kB HardwareCorrupted: 0 kB AnonHugePages: 362496 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: 316232 kB DirectMap2M: 36288512 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 723756 MiB End job on nodeC002 at 2024-07-27 12:31:02