| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.09 | 3610.63 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K85.opb |
| MD5SUM | 29274947006e0854b43dfb210bf5d295 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1332.8 |
| 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 | 5780 |
| Total number of constraints | 5952 |
| Number of constraints which are clauses | 5867 |
| Number of constraints which are cardinality constraints (but not clauses) | 85 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 85 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 86 |
| Number of bits of the biggest sum of numbers | 7 |
| 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 5780 #constraints 5952 10.33/10.46 c #Conflicts: 1000 | #Constraints: 6951 10.33/10.46 c #Conflicts: 2000 | #Constraints: 7951 10.33/10.46 c INPROCESSING 10.33/10.46 c GARBAGE COLLECT 10.33/10.46 c #Conflicts: 3000 | #Constraints: 7649 10.33/10.46 c #Conflicts: 4000 | #Constraints: 8649 10.33/10.46 c INPROCESSING 10.33/10.46 c GARBAGE COLLECT 10.33/10.46 c #Conflicts: 5000 | #Constraints: 8098 10.33/10.46 c #Conflicts: 6000 | #Constraints: 9098 10.33/10.46 c INPROCESSING 10.33/10.46 c GARBAGE COLLECT 10.33/10.46 c rational objective 85 23.29/23.49 c #Conflicts: 7000 | #Constraints: 8144 23.29/23.49 c #Conflicts: 8000 | #Constraints: 9144 23.29/23.49 c #Conflicts: 9000 | #Constraints: 10144 23.29/23.49 c INPROCESSING 23.29/23.49 c GARBAGE COLLECT 23.29/23.49 c #Conflicts: 10000 | #Constraints: 8875 23.29/23.49 c #Conflicts: 11000 | #Constraints: 9875 23.29/23.49 c #Conflicts: 12000 | #Constraints: 10875 23.29/23.49 c INPROCESSING 23.29/23.49 c GARBAGE COLLECT 23.29/23.49 c #Conflicts: 13000 | #Constraints: 9336 23.29/23.49 c #Conflicts: 14000 | #Constraints: 10337 23.29/23.49 c #Conflicts: 15000 | #Constraints: 11337 23.29/23.49 c INPROCESSING 23.29/23.49 c GARBAGE COLLECT 23.29/23.49 c #Conflicts: 16000 | #Constraints: 9609 23.29/23.49 c #Conflicts: 17000 | #Constraints: 10609 23.29/23.49 c #Conflicts: 18000 | #Constraints: 11609 23.29/23.49 c INPROCESSING 23.29/23.49 c GARBAGE COLLECT 23.29/23.49 c rational objective 85 37.65/37.81 c #Conflicts: 19000 | #Constraints: 9675 37.65/37.81 c #Conflicts: 20000 | #Constraints: 10675 37.65/37.81 c #Conflicts: 21000 | #Constraints: 11675 37.65/37.81 c INPROCESSING 37.65/37.81 c GARBAGE COLLECT 37.65/37.81 c #Conflicts: 22000 | #Constraints: 9504 37.65/37.81 c #Conflicts: 23000 | #Constraints: 10505 37.65/37.81 c #Conflicts: 24000 | #Constraints: 11505 37.65/37.81 c #Conflicts: 25000 | #Constraints: 12505 37.65/37.81 c INPROCESSING 37.65/37.81 c GARBAGE COLLECT 37.65/37.81 c #Conflicts: 26000 | #Constraints: 10126 37.65/37.81 c #Conflicts: 27000 | #Constraints: 11126 37.65/37.81 c #Conflicts: 28000 | #Constraints: 12126 37.65/37.81 c #Conflicts: 29000 | #Constraints: 13126 37.65/37.81 c INPROCESSING 37.65/37.81 c GARBAGE COLLECT 37.65/37.81 c #Conflicts: 30000 | #Constraints: 10539 37.65/37.81 c #Conflicts: 31000 | #Constraints: 11539 37.65/37.81 c #Conflicts: 32000 | #Constraints: 12540 37.65/37.81 c #Conflicts: 33000 | #Constraints: 13540 37.65/37.81 c INPROCESSING 37.65/37.81 c GARBAGE COLLECT 37.65/37.81 c rational objective 85 55.11/55.32 c #Conflicts: 34000 | #Constraints: 10760 55.11/55.32 c #Conflicts: 35000 | #Constraints: 11761 55.11/55.32 c #Conflicts: 36000 | #Constraints: 12761 55.11/55.32 c #Conflicts: 37000 | #Constraints: 13761 55.11/55.32 c INPROCESSING 55.11/55.32 c GARBAGE COLLECT 55.11/55.32 c #Conflicts: 38000 | #Constraints: 10786 55.11/55.32 c #Conflicts: 39000 | #Constraints: 11786 55.11/55.32 c #Conflicts: 40000 | #Constraints: 12786 55.11/55.32 c #Conflicts: 41000 | #Constraints: 13786 55.11/55.32 c INPROCESSING 55.11/55.32 c GARBAGE COLLECT 55.11/55.32 c #Conflicts: 42000 | #Constraints: 10560 55.11/55.32 c #Conflicts: 43000 | #Constraints: 11561 55.11/55.32 c #Conflicts: 44000 | #Constraints: 12561 55.11/55.32 c #Conflicts: 45000 | #Constraints: 13561 55.11/55.32 c #Conflicts: 46000 | #Constraints: 14561 55.11/55.32 c INPROCESSING 55.11/55.32 c GARBAGE COLLECT 55.11/55.32 c rational objective 85 74.66/75.00 c #Conflicts: 47000 | #Constraints: 11188 74.66/75.00 c #Conflicts: 48000 | #Constraints: 12189 74.66/75.00 c #Conflicts: 49000 | #Constraints: 13189 74.66/75.00 c #Conflicts: 50000 | #Constraints: 14189 74.66/75.00 c #Conflicts: 51000 | #Constraints: 15189 74.66/75.00 c INPROCESSING 74.66/75.00 c GARBAGE COLLECT 74.66/75.00 c #Conflicts: 52000 | #Constraints: 11609 74.66/75.00 c #Conflicts: 53000 | #Constraints: 12609 74.66/75.00 c #Conflicts: 54000 | #Constraints: 13609 74.66/75.00 c #Conflicts: 55000 | #Constraints: 14609 74.66/75.00 c #Conflicts: 56000 | #Constraints: 15609 74.66/75.00 c INPROCESSING 74.66/75.00 c GARBAGE COLLECT 74.66/75.00 c #Conflicts: 57000 | #Constraints: 11824 74.66/75.00 c #Conflicts: 58000 | #Constraints: 12824 74.66/75.00 c #Conflicts: 59000 | #Constraints: 13825 74.66/75.00 c #Conflicts: 60000 | #Constraints: 14825 74.66/75.00 c #Conflicts: 61000 | #Constraints: 15825 74.66/75.00 c INPROCESSING 74.66/75.00 c GARBAGE COLLECT 74.66/75.00 c rational objective 85 112.55/112.91 c #Conflicts: 62000 | #Constraints: 11847 112.55/112.91 c #Conflicts: 63000 | #Constraints: 12847 112.55/112.91 c #Conflicts: 64000 | #Constraints: 13847 112.55/112.91 c #Conflicts: 65000 | #Constraints: 14847 112.55/112.91 c #Conflicts: 66000 | #Constraints: 15847 112.55/112.91 c INPROCESSING 112.55/112.91 c GARBAGE COLLECT 112.55/112.91 c #Conflicts: 67000 | #Constraints: 11684 112.55/112.91 c #Conflicts: 68000 | #Constraints: 12684 112.55/112.91 c #Conflicts: 69000 | #Constraints: 13684 112.55/112.91 c #Conflicts: 70000 | #Constraints: 14684 112.55/112.91 c #Conflicts: 71000 | #Constraints: 15684 112.55/112.91 c #Conflicts: 72000 | #Constraints: 16684 112.55/112.91 c INPROCESSING 112.55/112.91 c GARBAGE COLLECT 112.55/112.91 c #Conflicts: 73000 | #Constraints: 12282 112.55/112.91 c #Conflicts: 74000 | #Constraints: 13282 112.55/112.91 c #Conflicts: 75000 | #Constraints: 14283 112.55/112.91 c #Conflicts: 76000 | #Constraints: 15283 112.55/112.91 c #Conflicts: 77000 | #Constraints: 16283 112.55/112.91 c #Conflicts: 78000 | #Constraints: 17283 112.55/112.91 c INPROCESSING 112.55/112.91 c GARBAGE COLLECT 112.55/112.91 c #Conflicts: 79000 | #Constraints: 12699 112.55/112.91 c #Conflicts: 80000 | #Constraints: 13699 112.55/112.91 c #Conflicts: 81000 | #Constraints: 14699 112.55/112.91 c #Conflicts: 82000 | #Constraints: 15699 112.55/112.91 c #Conflicts: 83000 | #Constraints: 16699 112.55/112.91 c #Conflicts: 84000 | #Constraints: 17699 112.55/112.91 c INPROCESSING 112.55/112.91 c GARBAGE COLLECT 112.55/112.91 c #Conflicts: 85000 | #Constraints: 12906 112.55/112.91 c #Conflicts: 86000 | #Constraints: 13907 112.55/112.91 c #Conflicts: 87000 | #Constraints: 14907 112.55/112.91 c #Conflicts: 88000 | #Constraints: 15907 112.55/112.91 c #Conflicts: 89000 | #Constraints: 16907 112.55/112.91 c #Conflicts: 90000 | #Constraints: 17907 112.55/112.91 c INPROCESSING 112.55/112.91 c GARBAGE COLLECT 112.55/112.91 c rational objective 85 156.62/157.11 c #Conflicts: 91000 | #Constraints: 12895 156.62/157.11 c #Conflicts: 92000 | #Constraints: 13895 156.62/157.11 c #Conflicts: 93000 | #Constraints: 14895 156.62/157.11 c #Conflicts: 94000 | #Constraints: 15895 156.62/157.11 c #Conflicts: 95000 | #Constraints: 16895 156.62/157.11 c #Conflicts: 96000 | #Constraints: 17895 156.62/157.11 c INPROCESSING 156.62/157.11 c GARBAGE COLLECT 156.62/157.11 c #Conflicts: 97000 | #Constraints: 12700 156.62/157.11 c #Conflicts: 98000 | #Constraints: 13700 156.62/157.11 c #Conflicts: 99000 | #Constraints: 14701 156.62/157.11 c #Conflicts: 100000 | #Constraints: 15701 156.62/157.11 c #Conflicts: 101000 | #Constraints: 16701 156.62/157.11 c #Conflicts: 102000 | #Constraints: 17701 156.62/157.11 c #Conflicts: 103000 | #Constraints: 18701 156.62/157.11 c #Conflicts: 104000 | #Constraints: 19701 156.62/157.11 c #Conflicts: 105000 | #Constraints: 20701 156.62/157.11 c #Conflicts: 106000 | #Constraints: 21701 156.62/157.11 c #Conflicts: 107000 | #Constraints: 22701 156.62/157.11 c #Conflicts: 108000 | #Constraints: 23701 156.62/157.11 c #Conflicts: 109000 | #Constraints: 24701 156.62/157.11 c #Conflicts: 110000 | #Constraints: 25701 156.62/157.11 c #Conflicts: 111000 | #Constraints: 26701 156.62/157.11 c #Conflicts: 112000 | #Constraints: 27701 156.62/157.11 c #Conflicts: 113000 | #Constraints: 28701 156.62/157.11 c #Conflicts: 114000 | #Constraints: 29701 156.62/157.11 c #Conflicts: 115000 | #Constraints: 30701 156.62/157.11 c #Conflicts: 116000 | #Constraints: 31701 156.62/157.11 c #Conflicts: 117000 | #Constraints: 32702 156.62/157.11 c #Conflicts: 118000 | #Constraints: 33702 156.62/157.11 c #Conflicts: 119000 | #Constraints: 34702 156.62/157.11 c #Conflicts: 120000 | #Constraints: 35702 156.62/157.11 c #Conflicts: 121000 | #Constraints: 36702 156.62/157.11 c #Conflicts: 122000 | #Constraints: 37702 156.62/157.11 c #Conflicts: 123000 | #Constraints: 38702 156.62/157.11 c #Conflicts: 124000 | #Constraints: 39702 156.62/157.11 c INPROCESSING 156.62/157.11 c GARBAGE COLLECT 156.62/157.11 c rational objective 85 164.09/164.69 c #Conflicts: 125000 | #Constraints: 23557 164.09/164.69 c #Conflicts: 126000 | #Constraints: 24557 164.09/164.69 c #Conflicts: 127000 | #Constraints: 25557 164.09/164.69 c #Conflicts: 128000 | #Constraints: 26557 164.09/164.69 c #Conflicts: 129000 | #Constraints: 27557 164.09/164.69 c #Conflicts: 130000 | #Constraints: 28557 164.09/164.69 c #Conflicts: 131000 | #Constraints: 29557 164.09/164.69 c #Conflicts: 132000 | #Constraints: 30557 164.09/164.69 c INPROCESSING 164.09/164.69 c GARBAGE COLLECT 164.09/164.69 c rational objective 85 177.06/177.66 c #Conflicts: 133000 | #Constraints: 19147 177.06/177.66 c #Conflicts: 134000 | #Constraints: 20147 177.06/177.66 c #Conflicts: 135000 | #Constraints: 21147 177.06/177.66 c #Conflicts: 136000 | #Constraints: 22147 177.06/177.66 c #Conflicts: 137000 | #Constraints: 23147 177.06/177.66 c #Conflicts: 138000 | #Constraints: 24147 177.06/177.66 c #Conflicts: 139000 | #Constraints: 25147 177.06/177.66 c #Conflicts: 140000 | #Constraints: 26147 177.06/177.66 c INPROCESSING 177.06/177.66 c GARBAGE COLLECT 177.06/177.66 c rational objective 85 196.50/197.11 c #Conflicts: 141000 | #Constraints: 17025 196.50/197.11 c #Conflicts: 142000 | #Constraints: 18025 196.50/197.11 c #Conflicts: 143000 | #Constraints: 19025 196.50/197.11 c #Conflicts: 144000 | #Constraints: 20026 196.50/197.11 c #Conflicts: 145000 | #Constraints: 21026 196.50/197.11 c #Conflicts: 146000 | #Constraints: 22026 196.50/197.11 c #Conflicts: 147000 | #Constraints: 23026 196.50/197.11 c #Conflicts: 148000 | #Constraints: 24026 196.50/197.11 c INPROCESSING 196.50/197.11 c GARBAGE COLLECT 196.50/197.11 c rational objective 85 204.48/205.12 c #Conflicts: 149000 | #Constraints: 15970 204.48/205.12 c #Conflicts: 150000 | #Constraints: 16970 204.48/205.12 c #Conflicts: 151000 | #Constraints: 17971 204.48/205.12 c #Conflicts: 152000 | #Constraints: 18972 204.48/205.12 c #Conflicts: 153000 | #Constraints: 19972 204.48/205.12 c #Conflicts: 154000 | #Constraints: 20972 204.48/205.12 c #Conflicts: 155000 | #Constraints: 21972 204.48/205.12 c #Conflicts: 156000 | #Constraints: 22972 204.48/205.12 c INPROCESSING 204.48/205.12 c GARBAGE COLLECT 204.48/205.12 c rational objective 85 213.05/213.72 c #Conflicts: 157000 | #Constraints: 15264 213.05/213.72 c #Conflicts: 158000 | #Constraints: 16264 213.05/213.72 c #Conflicts: 159000 | #Constraints: 17264 213.05/213.72 c #Conflicts: 160000 | #Constraints: 18264 213.05/213.72 c #Conflicts: 161000 | #Constraints: 19264 213.05/213.72 c #Conflicts: 162000 | #Constraints: 20264 213.05/213.72 c #Conflicts: 163000 | #Constraints: 21264 213.05/213.72 c #Conflicts: 164000 | #Constraints: 22264 213.05/213.72 c #Conflicts: 165000 | #Constraints: 23266 213.05/213.72 c INPROCESSING 213.05/213.72 c GARBAGE COLLECT 213.05/213.72 c rational objective 85 268.28/269.18 c #Conflicts: 166000 | #Constraints: 15645 268.28/269.18 c #Conflicts: 167000 | #Constraints: 16645 268.28/269.18 c #Conflicts: 168000 | #Constraints: 17645 268.28/269.18 c #Conflicts: 169000 | #Constraints: 18645 268.28/269.18 c #Conflicts: 170000 | #Constraints: 19645 268.28/269.18 c #Conflicts: 171000 | #Constraints: 20645 268.28/269.18 c #Conflicts: 172000 | #Constraints: 21645 268.28/269.18 c #Conflicts: 173000 | #Constraints: 22645 268.28/269.18 c #Conflicts: 174000 | #Constraints: 23645 268.28/269.18 c #Conflicts: 175000 | #Constraints: 24645 268.28/269.18 c #Conflicts: 176000 | #Constraints: 25645 268.28/269.18 c #Conflicts: 177000 | #Constraints: 26645 268.28/269.18 c #Conflicts: 178000 | #Constraints: 27645 268.28/269.18 c #Conflicts: 179000 | #Constraints: 28645 268.28/269.18 c #Conflicts: 180000 | #Constraints: 29645 268.28/269.18 c #Conflicts: 181000 | #Constraints: 30645 268.28/269.18 c #Conflicts: 182000 | #Constraints: 31645 268.28/269.18 c #Conflicts: 183000 | #Constraints: 32645 268.28/269.18 c #Conflicts: 184000 | #Constraints: 33645 268.28/269.18 c #Conflicts: 185000 | #Constraints: 34645 268.28/269.18 c #Conflicts: 186000 | #Constraints: 35645 268.28/269.18 c #Conflicts: 187000 | #Constraints: 36646 268.28/269.18 c #Conflicts: 188000 | #Constraints: 37646 268.28/269.18 c #Conflicts: 189000 | #Constraints: 38646 268.28/269.18 c #Conflicts: 190000 | #Constraints: 39646 268.28/269.18 c #Conflicts: 191000 | #Constraints: 40646 268.28/269.18 c #Conflicts: 192000 | #Constraints: 41646 268.28/269.18 c #Conflicts: 193000 | #Constraints: 42646 268.28/269.18 c #Conflicts: 194000 | #Constraints: 43646 268.28/269.18 c #Conflicts: 195000 | #Constraints: 44647 268.28/269.18 c #Conflicts: 196000 | #Constraints: 45647 268.28/269.18 c #Conflicts: 197000 | #Constraints: 46647 268.28/269.18 c #Conflicts: 198000 | #Constraints: 47647 268.28/269.18 c #Conflicts: 199000 | #Constraints: 48647 268.28/269.18 c #Conflicts: 200000 | #Constraints: 49647 268.28/269.18 c #Conflicts: 201000 | #Constraints: 50647 268.28/269.18 c INPROCESSING 268.28/269.18 c GARBAGE COLLECT 268.28/269.18 c rational objective 85 287.02/287.95 c #Conflicts: 202000 | #Constraints: 29496 287.02/287.95 c #Conflicts: 203000 | #Constraints: 30496 287.02/287.95 c #Conflicts: 204000 | #Constraints: 31496 287.02/287.95 c #Conflicts: 205000 | #Constraints: 32496 287.02/287.95 c #Conflicts: 206000 | #Constraints: 33496 287.02/287.95 c #Conflicts: 207000 | #Constraints: 34497 287.02/287.95 c #Conflicts: 208000 | #Constraints: 35497 287.02/287.95 c #Conflicts: 209000 | #Constraints: 36497 287.02/287.95 c #Conflicts: 210000 | #Constraints: 37497 287.02/287.95 c INPROCESSING 287.02/287.95 c GARBAGE COLLECT 287.02/287.95 c rational objective 85 303.57/304.50 c #Conflicts: 211000 | #Constraints: 22481 303.57/304.50 c #Conflicts: 212000 | #Constraints: 23481 303.57/304.50 c #Conflicts: 213000 | #Constraints: 24481 303.57/304.50 c #Conflicts: 214000 | #Constraints: 25481 303.57/304.50 c #Conflicts: 215000 | #Constraints: 26481 303.57/304.50 c #Conflicts: 216000 | #Constraints: 27481 303.57/304.50 c #Conflicts: 217000 | #Constraints: 28481 303.57/304.50 c #Conflicts: 218000 | #Constraints: 29481 303.57/304.50 c #Conflicts: 219000 | #Constraints: 30481 303.57/304.50 c #Conflicts: 220000 | #Constraints: 31481 303.57/304.50 c INPROCESSING 303.57/304.50 c GARBAGE COLLECT 303.57/304.50 c rational objective 85 317.23/318.24 c #Conflicts: 221000 | #Constraints: 19539 317.23/318.24 c #Conflicts: 222000 | #Constraints: 20539 317.23/318.24 c #Conflicts: 223000 | #Constraints: 21539 317.23/318.24 c #Conflicts: 224000 | #Constraints: 22540 317.23/318.24 c #Conflicts: 225000 | #Constraints: 23540 317.23/318.24 c #Conflicts: 226000 | #Constraints: 24540 317.23/318.24 c #Conflicts: 227000 | #Constraints: 25541 317.23/318.24 c #Conflicts: 228000 | #Constraints: 26541 317.23/318.24 c #Conflicts: 229000 | #Constraints: 27541 317.23/318.24 c #Conflicts: 230000 | #Constraints: 28541 317.23/318.24 c #Conflicts: 231000 | #Constraints: 29541 317.23/318.24 c INPROCESSING 317.23/318.24 c GARBAGE COLLECT 317.23/318.24 c rational objective 85 328.20/329.26 c #Conflicts: 232000 | #Constraints: 18991 328.20/329.26 c #Conflicts: 233000 | #Constraints: 19991 328.20/329.26 c #Conflicts: 234000 | #Constraints: 20991 328.20/329.26 c #Conflicts: 235000 | #Constraints: 21991 328.20/329.26 c #Conflicts: 236000 | #Constraints: 22991 328.20/329.26 c #Conflicts: 237000 | #Constraints: 23991 328.20/329.26 c #Conflicts: 238000 | #Constraints: 24991 328.20/329.26 c #Conflicts: 239000 | #Constraints: 25991 328.20/329.26 c #Conflicts: 240000 | #Constraints: 26992 328.20/329.26 c #Conflicts: 241000 | #Constraints: 27992 328.20/329.26 c INPROCESSING 328.20/329.26 c GARBAGE COLLECT 328.20/329.26 c rational objective 85 348.74/349.89 c #Conflicts: 242000 | #Constraints: 17985 348.74/349.89 c #Conflicts: 243000 | #Constraints: 18986 348.74/349.89 c #Conflicts: 244000 | #Constraints: 19986 348.74/349.89 c #Conflicts: 245000 | #Constraints: 20986 348.74/349.89 c #Conflicts: 246000 | #Constraints: 21986 348.74/349.89 c #Conflicts: 247000 | #Constraints: 22986 348.74/349.89 c #Conflicts: 248000 | #Constraints: 23986 348.74/349.89 c #Conflicts: 249000 | #Constraints: 24986 348.74/349.89 c #Conflicts: 250000 | #Constraints: 25986 348.74/349.89 c #Conflicts: 251000 | #Constraints: 26986 348.74/349.89 c #Conflicts: 252000 | #Constraints: 27987 348.74/349.89 c INPROCESSING 348.74/349.89 c GARBAGE COLLECT 348.74/349.89 c rational objective 85 414.74/416.00 c #Conflicts: 253000 | #Constraints: 18186 414.74/416.00 c #Conflicts: 254000 | #Constraints: 19186 414.74/416.00 c #Conflicts: 255000 | #Constraints: 20186 414.74/416.00 c #Conflicts: 256000 | #Constraints: 21186 414.74/416.00 c #Conflicts: 257000 | #Constraints: 22186 414.74/416.00 c #Conflicts: 258000 | #Constraints: 23186 414.74/416.00 c #Conflicts: 259000 | #Constraints: 24186 414.74/416.00 c #Conflicts: 260000 | #Constraints: 25186 414.74/416.00 c #Conflicts: 261000 | #Constraints: 26186 414.74/416.00 c #Conflicts: 262000 | #Constraints: 27186 414.74/416.00 c #Conflicts: 263000 | #Constraints: 28186 414.74/416.00 c #Conflicts: 264000 | #Constraints: 29186 414.74/416.00 c #Conflicts: 265000 | #Constraints: 30186 414.74/416.00 c #Conflicts: 266000 | #Constraints: 31186 414.74/416.00 c #Conflicts: 267000 | #Constraints: 32186 414.74/416.00 c #Conflicts: 268000 | #Constraints: 33186 414.74/416.00 c #Conflicts: 269000 | #Constraints: 34186 414.74/416.00 c #Conflicts: 270000 | #Constraints: 35186 414.74/416.00 c #Conflicts: 271000 | #Constraints: 36186 414.74/416.00 c #Conflicts: 272000 | #Constraints: 37186 414.74/416.00 c #Conflicts: 273000 | #Constraints: 38186 414.74/416.00 c #Conflicts: 274000 | #Constraints: 39186 414.74/416.00 c #Conflicts: 275000 | #Constraints: 40186 414.74/416.00 c #Conflicts: 276000 | #Constraints: 41186 414.74/416.00 c #Conflicts: 277000 | #Constraints: 42187 414.74/416.00 c #Conflicts: 278000 | #Constraints: 43187 414.74/416.00 c #Conflicts: 279000 | #Constraints: 44187 414.74/416.00 c #Conflicts: 280000 | #Constraints: 45188 414.74/416.00 c #Conflicts: 281000 | #Constraints: 46188 414.74/416.00 c #Conflicts: 282000 | #Constraints: 47188 414.74/416.00 c #Conflicts: 283000 | #Constraints: 48188 414.74/416.00 c #Conflicts: 284000 | #Constraints: 49188 414.74/416.00 c #Conflicts: 285000 | #Constraints: 50188 414.74/416.00 c #Conflicts: 286000 | #Constraints: 51188 414.74/416.00 c #Conflicts: 287000 | #Constraints: 52188 414.74/416.00 c #Conflicts: 288000 | #Constraints: 53189 414.74/416.00 c #Conflicts: 289000 | #Constraints: 54189 414.74/416.00 c #Conflicts: 290000 | #Constraints: 55189 414.74/416.00 c #Conflicts: 291000 | #Constraints: 56189 414.74/416.00 c #Conflicts: 292000 | #Constraints: 57190 414.74/416.00 c #Conflicts: 293000 | #Constraints: 58190 414.74/416.00 c #Conflicts: 294000 | #Constraints: 59190 414.74/416.00 c #Conflicts: 295000 | #Constraints: 60191 414.74/416.00 c INPROCESSING 414.74/416.00 c GARBAGE COLLECT 414.74/416.00 c rational objective 85 432.38/433.77 c #Conflicts: 296000 | #Constraints: 34247 432.38/433.77 c #Conflicts: 297000 | #Constraints: 35247 432.38/433.77 c #Conflicts: 298000 | #Constraints: 36247 432.38/433.77 c #Conflicts: 299000 | #Constraints: 37247 432.38/433.77 c #Conflicts: 300000 | #Constraints: 38247 432.38/433.77 c #Conflicts: 301000 | #Constraints: 39247 432.38/433.77 c #Conflicts: 302000 | #Constraints: 40247 432.38/433.77 c #Conflicts: 303000 | #Constraints: 41247 432.38/433.77 c #Conflicts: 304000 | #Constraints: 42247 432.38/433.77 c #Conflicts: 305000 | #Constraints: 43247 432.38/433.77 c #Conflicts: 306000 | #Constraints: 44247 432.38/433.77 c #Conflicts: 307000 | #Constraints: 45247 432.38/433.77 c INPROCESSING 432.38/433.77 c GARBAGE COLLECT 432.38/433.77 c rational objective 85 456.21/457.62 c #Conflicts: 308000 | #Constraints: 26749 456.21/457.62 c #Conflicts: 309000 | #Constraints: 27749 456.21/457.62 c #Conflicts: 310000 | #Constraints: 28750 456.21/457.62 c #Conflicts: 311000 | #Constraints: 29750 456.21/457.62 c #Conflicts: 312000 | #Constraints: 30750 456.21/457.62 c #Conflicts: 313000 | #Constraints: 31750 456.21/457.62 c #Conflicts: 314000 | #Constraints: 32750 456.21/457.62 c #Conflicts: 315000 | #Constraints: 33750 456.21/457.62 c #Conflicts: 316000 | #Constraints: 34750 456.21/457.62 c #Conflicts: 317000 | #Constraints: 35750 456.21/457.62 c #Conflicts: 318000 | #Constraints: 36750 456.21/457.62 c #Conflicts: 319000 | #Constraints: 37751 456.21/457.62 c INPROCESSING 456.21/457.62 c GARBAGE COLLECT 456.21/457.62 c rational objective 85 468.68/470.13 c #Conflicts: 320000 | #Constraints: 23073 468.68/470.13 c #Conflicts: 321000 | #Constraints: 24073 468.68/470.13 c #Conflicts: 322000 | #Constraints: 25073 468.68/470.13 c #Conflicts: 323000 | #Constraints: 26073 468.68/470.13 c #Conflicts: 324000 | #Constraints: 27073 468.68/470.13 c #Conflicts: 325000 | #Constraints: 28073 468.68/470.13 c #Conflicts: 326000 | #Constraints: 29073 468.68/470.13 c #Conflicts: 327000 | #Constraints: 30073 468.68/470.13 c #Conflicts: 328000 | #Constraints: 31073 468.68/470.13 c #Conflicts: 329000 | #Constraints: 32073 468.68/470.13 c #Conflicts: 330000 | #Constraints: 33073 468.68/470.13 c #Conflicts: 331000 | #Constraints: 34074 468.68/470.13 c INPROCESSING 468.68/470.13 c GARBAGE COLLECT 468.68/470.13 c rational objective 85 486.82/488.39 c #Conflicts: 332000 | #Constraints: 21008 486.82/488.39 c #Conflicts: 333000 | #Constraints: 22008 486.82/488.39 c #Conflicts: 334000 | #Constraints: 23008 486.82/488.39 c #Conflicts: 335000 | #Constraints: 24008 486.82/488.39 c #Conflicts: 336000 | #Constraints: 25008 486.82/488.39 c #Conflicts: 337000 | #Constraints: 26008 486.82/488.39 c #Conflicts: 338000 | #Constraints: 27009 486.82/488.39 c #Conflicts: 339000 | #Constraints: 28009 486.82/488.39 c #Conflicts: 340000 | #Constraints: 29009 486.82/488.39 c #Conflicts: 341000 | #Constraints: 30009 486.82/488.39 c #Conflicts: 342000 | #Constraints: 31009 486.82/488.39 c #Conflicts: 343000 | #Constraints: 32009 486.82/488.39 c #Conflicts: 344000 | #Constraints: 33009 486.82/488.39 c INPROCESSING 486.82/488.39 c GARBAGE COLLECT 486.82/488.39 c rational objective 85 572.67/574.49 c #Conflicts: 345000 | #Constraints: 20707 572.67/574.49 c #Conflicts: 346000 | #Constraints: 21707 572.67/574.49 c #Conflicts: 347000 | #Constraints: 22707 572.67/574.49 c #Conflicts: 348000 | #Constraints: 23707 572.67/574.49 c #Conflicts: 349000 | #Constraints: 24707 572.67/574.49 c #Conflicts: 350000 | #Constraints: 25707 572.67/574.49 c #Conflicts: 351000 | #Constraints: 26707 572.67/574.49 c #Conflicts: 352000 | #Constraints: 27707 572.67/574.49 c #Conflicts: 353000 | #Constraints: 28707 572.67/574.49 c #Conflicts: 354000 | #Constraints: 29707 572.67/574.49 c #Conflicts: 355000 | #Constraints: 30707 572.67/574.49 c #Conflicts: 356000 | #Constraints: 31707 572.67/574.49 c #Conflicts: 357000 | #Constraints: 32707 572.67/574.49 c #Conflicts: 358000 | #Constraints: 33708 572.67/574.49 c #Conflicts: 359000 | #Constraints: 34708 572.67/574.49 c #Conflicts: 360000 | #Constraints: 35708 572.67/574.49 c #Conflicts: 361000 | #Constraints: 36708 572.67/574.49 c #Conflicts: 362000 | #Constraints: 37708 572.67/574.49 c #Conflicts: 363000 | #Constraints: 38708 572.67/574.49 c #Conflicts: 364000 | #Constraints: 39708 572.67/574.49 c #Conflicts: 365000 | #Constraints: 40708 572.67/574.49 c #Conflicts: 366000 | #Constraints: 41708 572.67/574.49 c #Conflicts: 367000 | #Constraints: 42708 572.67/574.49 c #Conflicts: 368000 | #Constraints: 43708 572.67/574.49 c #Conflicts: 369000 | #Constraints: 44708 572.67/574.49 c #Conflicts: 370000 | #Constraints: 45708 572.67/574.49 c #Conflicts: 371000 | #Constraints: 46708 572.67/574.49 c #Conflicts: 372000 | #Constraints: 47708 572.67/574.49 c #Conflicts: 373000 | #Constraints: 48708 572.67/574.49 c #Conflicts: 374000 | #Constraints: 49708 572.67/574.49 c #Conflicts: 375000 | #Constraints: 50709 572.67/574.49 c #Conflicts: 376000 | #Constraints: 51709 572.67/574.49 c #Conflicts: 377000 | #Constraints: 52709 572.67/574.49 c #Conflicts: 378000 | #Constraints: 53709 572.67/574.49 c #Conflicts: 379000 | #Constraints: 54709 572.67/574.49 c #Conflicts: 380000 | #Constraints: 55709 572.67/574.49 c #Conflicts: 381000 | #Constraints: 56709 572.67/574.49 c #Conflicts: 382000 | #Constraints: 57709 572.67/574.49 c #Conflicts: 383000 | #Constraints: 58709 572.67/574.49 c #Conflicts: 384000 | #Constraints: 59709 572.67/574.49 c #Conflicts: 385000 | #Constraints: 60709 572.67/574.49 c #Conflicts: 386000 | #Constraints: 61709 572.67/574.49 c #Conflicts: 387000 | #Constraints: 62709 572.67/574.49 c #Conflicts: 388000 | #Constraints: 63709 572.67/574.49 c #Conflicts: 389000 | #Constraints: 64709 572.67/574.49 c #Conflicts: 390000 | #Constraints: 65709 572.67/574.49 c #Conflicts: 391000 | #Constraints: 66709 572.67/574.49 c #Conflicts: 392000 | #Constraints: 67709 572.67/574.49 c #Conflicts: 393000 | #Constraints: 68709 572.67/574.49 c INPROCESSING 572.67/574.49 c GARBAGE COLLECT 572.67/574.49 c rational objective 85 598.78/600.67 c #Conflicts: 394000 | #Constraints: 38301 598.78/600.67 c #Conflicts: 395000 | #Constraints: 39302 598.78/600.67 c #Conflicts: 396000 | #Constraints: 40302 598.78/600.67 c #Conflicts: 397000 | #Constraints: 41302 598.78/600.67 c #Conflicts: 398000 | #Constraints: 42302 598.78/600.67 c #Conflicts: 399000 | #Constraints: 43302 598.78/600.67 c #Conflicts: 400000 | #Constraints: 44302 598.78/600.67 c #Conflicts: 401000 | #Constraints: 45302 598.78/600.67 c #Conflicts: 402000 | #Constraints: 46302 598.78/600.67 c #Conflicts: 403000 | #Constraints: 47302 598.78/600.67 c #Conflicts: 404000 | #Constraints: 48302 598.78/600.67 c #Conflicts: 405000 | #Constraints: 49302 598.78/600.67 c #Conflicts: 406000 | #Constraints: 50302 598.78/600.67 c #Conflicts: 407000 | #Constraints: 51302 598.78/600.67 c INPROCESSING 598.78/600.67 c GARBAGE COLLECT 598.78/600.67 c rational objective 85 618.92/620.83 c #Conflicts: 408000 | #Constraints: 29743 618.92/620.83 c #Conflicts: 409000 | #Constraints: 30743 618.92/620.83 c #Conflicts: 410000 | #Constraints: 31743 618.92/620.83 c #Conflicts: 411000 | #Constraints: 32743 618.92/620.83 c #Conflicts: 412000 | #Constraints: 33743 618.92/620.83 c #Conflicts: 413000 | #Constraints: 34743 618.92/620.83 c #Conflicts: 414000 | #Constraints: 35743 618.92/620.83 c #Conflicts: 415000 | #Constraints: 36744 618.92/620.83 c #Conflicts: 416000 | #Constraints: 37744 618.92/620.83 c #Conflicts: 417000 | #Constraints: 38746 618.92/620.83 c #Conflicts: 418000 | #Constraints: 39746 618.92/620.83 c #Conflicts: 419000 | #Constraints: 40746 618.92/620.83 c #Conflicts: 420000 | #Constraints: 41746 618.92/620.83 c #Conflicts: 421000 | #Constraints: 42746 618.92/620.83 c INPROCESSING 618.92/620.83 c GARBAGE COLLECT 618.92/620.83 c rational objective 85 646.35/648.36 c #Conflicts: 422000 | #Constraints: 25451 646.35/648.36 c #Conflicts: 423000 | #Constraints: 26451 646.35/648.36 c #Conflicts: 424000 | #Constraints: 27451 646.35/648.36 c #Conflicts: 425000 | #Constraints: 28451 646.35/648.36 c #Conflicts: 426000 | #Constraints: 29451 646.35/648.36 c #Conflicts: 427000 | #Constraints: 30451 646.35/648.36 c #Conflicts: 428000 | #Constraints: 31451 646.35/648.36 c #Conflicts: 429000 | #Constraints: 32451 646.35/648.36 c #Conflicts: 430000 | #Constraints: 33451 646.35/648.36 c #Conflicts: 431000 | #Constraints: 34452 646.35/648.36 c #Conflicts: 432000 | #Constraints: 35454 646.35/648.36 c #Conflicts: 433000 | #Constraints: 36454 646.35/648.36 c #Conflicts: 434000 | #Constraints: 37455 646.35/648.36 c #Conflicts: 435000 | #Constraints: 38456 646.35/648.36 c INPROCESSING 646.35/648.36 c GARBAGE COLLECT 646.35/648.36 c rational objective 85 668.18/670.21 c #Conflicts: 436000 | #Constraints: 23210 668.18/670.21 c #Conflicts: 437000 | #Constraints: 24210 668.18/670.21 c #Conflicts: 438000 | #Constraints: 25210 668.18/670.21 c #Conflicts: 439000 | #Constraints: 26210 668.18/670.21 c #Conflicts: 440000 | #Constraints: 27210 668.18/670.21 c #Conflicts: 441000 | #Constraints: 28211 668.18/670.21 c #Conflicts: 442000 | #Constraints: 29211 668.18/670.21 c #Conflicts: 443000 | #Constraints: 30211 668.18/670.21 c #Conflicts: 444000 | #Constraints: 31211 668.18/670.21 c #Conflicts: 445000 | #Constraints: 32211 668.18/670.21 c #Conflicts: 446000 | #Constraints: 33211 668.18/670.21 c #Conflicts: 447000 | #Constraints: 34211 668.18/670.21 c #Conflicts: 448000 | #Constraints: 35211 668.18/670.21 c #Conflicts: 449000 | #Constraints: 36211 668.18/670.21 c #Conflicts: 450000 | #Constraints: 37212 668.18/670.21 c INPROCESSING 668.18/670.21 c GARBAGE COLLECT 668.18/670.21 c rational objective 85 766.07/768.40 c #Conflicts: 451000 | #Constraints: 22881 766.07/768.40 c #Conflicts: 452000 | #Constraints: 23881 766.07/768.40 c #Conflicts: 453000 | #Constraints: 24881 766.07/768.40 c #Conflicts: 454000 | #Constraints: 25881 766.07/768.40 c #Conflicts: 455000 | #Constraints: 26881 766.07/768.40 c #Conflicts: 456000 | #Constraints: 27881 766.07/768.40 c #Conflicts: 457000 | #Constraints: 28881 766.07/768.40 c #Conflicts: 458000 | #Constraints: 29881 766.07/768.40 c #Conflicts: 459000 | #Constraints: 30881 766.07/768.40 c #Conflicts: 460000 | #Constraints: 31881 766.07/768.40 c #Conflicts: 461000 | #Constraints: 32881 766.07/768.40 c #Conflicts: 462000 | #Constraints: 33881 766.07/768.40 c #Conflicts: 463000 | #Constraints: 34881 766.07/768.40 c #Conflicts: 464000 | #Constraints: 35881 766.07/768.40 c #Conflicts: 465000 | #Constraints: 36881 766.07/768.40 c #Conflicts: 466000 | #Constraints: 37881 766.07/768.40 c #Conflicts: 467000 | #Constraints: 38881 766.07/768.40 c #Conflicts: 468000 | #Constraints: 39881 766.07/768.40 c #Conflicts: 469000 | #Constraints: 40881 766.07/768.40 c #Conflicts: 470000 | #Constraints: 41881 766.07/768.40 c #Conflicts: 471000 | #Constraints: 42881 766.07/768.40 c #Conflicts: 472000 | #Constraints: 43881 766.07/768.40 c #Conflicts: 473000 | #Constraints: 44881 766.07/768.40 c #Conflicts: 474000 | #Constraints: 45881 766.07/768.40 c #Conflicts: 475000 | #Constraints: 46881 766.07/768.40 c #Conflicts: 476000 | #Constraints: 47881 766.07/768.40 c #Conflicts: 477000 | #Constraints: 48881 766.07/768.40 c #Conflicts: 478000 | #Constraints: 49881 766.07/768.40 c #Conflicts: 479000 | #Constraints: 50881 766.07/768.40 c #Conflicts: 480000 | #Constraints: 51881 766.07/768.40 c #Conflicts: 481000 | #Constraints: 52881 766.07/768.40 c #Conflicts: 482000 | #Constraints: 53881 766.07/768.40 c #Conflicts: 483000 | #Constraints: 54881 766.07/768.40 c #Conflicts: 484000 | #Constraints: 55881 766.07/768.40 c #Conflicts: 485000 | #Constraints: 56881 766.07/768.40 c #Conflicts: 486000 | #Constraints: 57881 766.07/768.40 c #Conflicts: 487000 | #Constraints: 58881 766.07/768.40 c #Conflicts: 488000 | #Constraints: 59882 766.07/768.40 c #Conflicts: 489000 | #Constraints: 60882 766.07/768.40 c #Conflicts: 490000 | #Constraints: 61883 766.07/768.40 c #Conflicts: 491000 | #Constraints: 62885 766.07/768.40 c #Conflicts: 492000 | #Constraints: 63886 766.07/768.40 c #Conflicts: 493000 | #Constraints: 64887 766.07/768.40 c #Conflicts: 494000 | #Constraints: 65891 766.07/768.40 c #Conflicts: 495000 | #Constraints: 66891 766.07/768.40 c #Conflicts: 496000 | #Constraints: 67891 766.07/768.40 c #Conflicts: 497000 | #Constraints: 68891 766.07/768.40 c #Conflicts: 498000 | #Constraints: 69891 766.07/768.40 c #Conflicts: 499000 | #Constraints: 70891 766.07/768.40 c #Conflicts: 500000 | #Constraints: 71891 766.07/768.40 c #Conflicts: 501000 | #Constraints: 72891 766.07/768.40 c #Conflicts: 502000 | #Constraints: 73891 766.07/768.40 c #Conflicts: 503000 | #Constraints: 74891 766.07/768.40 c #Conflicts: 504000 | #Constraints: 75891 766.07/768.40 c #Conflicts: 505000 | #Constraints: 76891 766.07/768.40 c #Conflicts: 506000 | #Constraints: 77891 766.07/768.40 c INPROCESSING 766.07/768.40 c GARBAGE COLLECT 766.07/768.40 c rational objective 85 800.07/802.55 c #Conflicts: 507000 | #Constraints: 43223 800.07/802.55 c #Conflicts: 508000 | #Constraints: 44224 800.07/802.55 c #Conflicts: 509000 | #Constraints: 45224 800.07/802.55 c #Conflicts: 510000 | #Constraints: 46225 800.07/802.55 c #Conflicts: 511000 | #Constraints: 47225 800.07/802.55 c #Conflicts: 512000 | #Constraints: 48225 800.07/802.55 c #Conflicts: 513000 | #Constraints: 49225 800.07/802.55 c #Conflicts: 514000 | #Constraints: 50225 800.07/802.55 c #Conflicts: 515000 | #Constraints: 51225 800.07/802.55 c #Conflicts: 516000 | #Constraints: 52225 800.07/802.55 c #Conflicts: 517000 | #Constraints: 53225 800.07/802.55 c #Conflicts: 518000 | #Constraints: 54225 800.07/802.55 c #Conflicts: 519000 | #Constraints: 55225 800.07/802.55 c #Conflicts: 520000 | #Constraints: 56225 800.07/802.55 c #Conflicts: 521000 | #Constraints: 57225 800.07/802.55 c INPROCESSING 800.07/802.55 c GARBAGE COLLECT 800.07/802.55 c rational objective 85 827.99/830.58 c #Conflicts: 522000 | #Constraints: 32522 827.99/830.58 c #Conflicts: 523000 | #Constraints: 33523 827.99/830.58 c #Conflicts: 524000 | #Constraints: 34523 827.99/830.58 c #Conflicts: 525000 | #Constraints: 35523 827.99/830.58 c #Conflicts: 526000 | #Constraints: 36523 827.99/830.58 c #Conflicts: 527000 | #Constraints: 37523 827.99/830.58 c #Conflicts: 528000 | #Constraints: 38523 827.99/830.58 c #Conflicts: 529000 | #Constraints: 39523 827.99/830.58 c #Conflicts: 530000 | #Constraints: 40523 827.99/830.58 c #Conflicts: 531000 | #Constraints: 41523 827.99/830.58 c #Conflicts: 532000 | #Constraints: 42523 827.99/830.58 c #Conflicts: 533000 | #Constraints: 43523 827.99/830.58 c #Conflicts: 534000 | #Constraints: 44523 827.99/830.58 c #Conflicts: 535000 | #Constraints: 45523 827.99/830.58 c #Conflicts: 536000 | #Constraints: 46523 827.99/830.58 c #Conflicts: 537000 | #Constraints: 47524 827.99/830.58 c INPROCESSING 827.99/830.58 c GARBAGE COLLECT 827.99/830.58 c rational objective 85 848.93/851.53 c #Conflicts: 538000 | #Constraints: 27792 848.93/851.53 c #Conflicts: 539000 | #Constraints: 28792 848.93/851.53 c #Conflicts: 540000 | #Constraints: 29792 848.93/851.53 c #Conflicts: 541000 | #Constraints: 30792 848.93/851.53 c #Conflicts: 542000 | #Constraints: 31792 848.93/851.53 c #Conflicts: 543000 | #Constraints: 32792 848.93/851.53 c #Conflicts: 544000 | #Constraints: 33792 848.93/851.53 c #Conflicts: 545000 | #Constraints: 34792 848.93/851.53 c #Conflicts: 546000 | #Constraints: 35792 848.93/851.53 c #Conflicts: 547000 | #Constraints: 36792 848.93/851.53 c #Conflicts: 548000 | #Constraints: 37792 848.93/851.53 c #Conflicts: 549000 | #Constraints: 38792 848.93/851.53 c #Conflicts: 550000 | #Constraints: 39792 848.93/851.53 c #Conflicts: 551000 | #Constraints: 40792 848.93/851.53 c #Conflicts: 552000 | #Constraints: 41792 848.93/851.53 c #Conflicts: 553000 | #Constraints: 42792 848.93/851.53 c INPROCESSING 848.93/851.53 c GARBAGE COLLECT 848.93/851.53 c rational objective 85 873.06/875.70 c #Conflicts: 554000 | #Constraints: 25407 873.06/875.70 c #Conflicts: 555000 | #Constraints: 26407 873.06/875.70 c #Conflicts: 556000 | #Constraints: 27407 873.06/875.70 c #Conflicts: 557000 | #Constraints: 28407 873.06/875.70 c #Conflicts: 558000 | #Constraints: 29407 873.06/875.70 c #Conflicts: 559000 | #Constraints: 30407 873.06/875.70 c #Conflicts: 560000 | #Constraints: 31407 873.06/875.70 c #Conflicts: 561000 | #Constraints: 32407 873.06/875.70 c #Conflicts: 562000 | #Constraints: 33407 873.06/875.70 c #Conflicts: 563000 | #Constraints: 34407 873.06/875.70 c #Conflicts: 564000 | #Constraints: 35407 873.06/875.70 c #Conflicts: 565000 | #Constraints: 36407 873.06/875.70 c #Conflicts: 566000 | #Constraints: 37407 873.06/875.70 c #Conflicts: 567000 | #Constraints: 38408 873.06/875.70 c #Conflicts: 568000 | #Constraints: 39408 873.06/875.70 c #Conflicts: 569000 | #Constraints: 40408 873.06/875.70 c #Conflicts: 570000 | #Constraints: 41408 873.06/875.70 c INPROCESSING 873.06/875.70 c GARBAGE COLLECT 873.06/875.70 c rational objective 85 1002.15/1005.21 c #Conflicts: 571000 | #Constraints: 24948 1002.15/1005.21 c #Conflicts: 572000 | #Constraints: 25948 1002.15/1005.21 c #Conflicts: 573000 | #Constraints: 26948 1002.15/1005.21 c #Conflicts: 574000 | #Constraints: 27948 1002.15/1005.21 c #Conflicts: 575000 | #Constraints: 28948 1002.15/1005.21 c #Conflicts: 576000 | #Constraints: 29948 1002.15/1005.21 c #Conflicts: 577000 | #Constraints: 30948 1002.15/1005.21 c #Conflicts: 578000 | #Constraints: 31948 1002.15/1005.21 c #Conflicts: 579000 | #Constraints: 32948 1002.15/1005.21 c #Conflicts: 580000 | #Constraints: 33948 1002.15/1005.21 c #Conflicts: 581000 | #Constraints: 34948 1002.15/1005.21 c #Conflicts: 582000 | #Constraints: 35950 1002.15/1005.21 c #Conflicts: 583000 | #Constraints: 36950 1002.15/1005.21 c #Conflicts: 584000 | #Constraints: 37950 1002.15/1005.21 c #Conflicts: 585000 | #Constraints: 38950 1002.15/1005.21 c #Conflicts: 586000 | #Constraints: 39950 1002.15/1005.21 c #Conflicts: 587000 | #Constraints: 40950 1002.15/1005.21 c #Conflicts: 588000 | #Constraints: 41951 1002.15/1005.21 c #Conflicts: 589000 | #Constraints: 42951 1002.15/1005.21 c #Conflicts: 590000 | #Constraints: 43951 1002.15/1005.21 c #Conflicts: 591000 | #Constraints: 44952 1002.15/1005.21 c #Conflicts: 592000 | #Constraints: 45953 1002.15/1005.21 c #Conflicts: 593000 | #Constraints: 46953 1002.15/1005.21 c #Conflicts: 594000 | #Constraints: 47953 1002.15/1005.21 c #Conflicts: 595000 | #Constraints: 48953 1002.15/1005.21 c #Conflicts: 596000 | #Constraints: 49953 1002.15/1005.21 c #Conflicts: 597000 | #Constraints: 50953 1002.15/1005.21 c #Conflicts: 598000 | #Constraints: 51954 1002.15/1005.21 c #Conflicts: 599000 | #Constraints: 52954 1002.15/1005.21 c #Conflicts: 600000 | #Constraints: 53955 1002.15/1005.21 c #Conflicts: 601000 | #Constraints: 54955 1002.15/1005.21 c #Conflicts: 602000 | #Constraints: 55956 1002.15/1005.21 c #Conflicts: 603000 | #Constraints: 56957 1002.15/1005.21 c #Conflicts: 604000 | #Constraints: 57957 1002.15/1005.21 c #Conflicts: 605000 | #Constraints: 58957 1002.15/1005.21 c #Conflicts: 606000 | #Constraints: 59957 1002.15/1005.21 c #Conflicts: 607000 | #Constraints: 60957 1002.15/1005.21 c #Conflicts: 608000 | #Constraints: 61957 1002.15/1005.21 c #Conflicts: 609000 | #Constraints: 62957 1002.15/1005.21 c #Conflicts: 610000 | #Constraints: 63957 1002.15/1005.21 c #Conflicts: 611000 | #Constraints: 64957 1002.15/1005.21 c #Conflicts: 612000 | #Constraints: 65957 1002.15/1005.21 c #Conflicts: 613000 | #Constraints: 66957 1002.15/1005.21 c #Conflicts: 614000 | #Constraints: 67957 1002.15/1005.21 c #Conflicts: 615000 | #Constraints: 68957 1002.15/1005.21 c #Conflicts: 616000 | #Constraints: 69957 1002.15/1005.21 c #Conflicts: 617000 | #Constraints: 70957 1002.15/1005.21 c #Conflicts: 618000 | #Constraints: 71957 1002.15/1005.21 c #Conflicts: 619000 | #Constraints: 72957 1002.15/1005.21 c #Conflicts: 620000 | #Constraints: 73957 1002.15/1005.21 c #Conflicts: 621000 | #Constraints: 74957 1002.15/1005.21 c #Conflicts: 622000 | #Constraints: 75957 1002.15/1005.21 c #Conflicts: 623000 | #Constraints: 76957 1002.15/1005.21 c #Conflicts: 624000 | #Constraints: 77957 1002.15/1005.21 c #Conflicts: 625000 | #Constraints: 78957 1002.15/1005.21 c #Conflicts: 626000 | #Constraints: 79957 1002.15/1005.21 c #Conflicts: 627000 | #Constraints: 80957 1002.15/1005.21 c #Conflicts: 628000 | #Constraints: 81957 1002.15/1005.21 c #Conflicts: 629000 | #Constraints: 82957 1002.15/1005.21 c #Conflicts: 630000 | #Constraints: 83957 1002.15/1005.21 c #Conflicts: 631000 | #Constraints: 84957 1002.15/1005.21 c #Conflicts: 632000 | #Constraints: 85957 1002.15/1005.21 c INPROCESSING 1002.15/1005.21 c GARBAGE COLLECT 1002.15/1005.21 c rational objective 85 1037.04/1040.20 c #Conflicts: 633000 | #Constraints: 47063 1037.04/1040.20 c #Conflicts: 634000 | #Constraints: 48063 1037.04/1040.20 c #Conflicts: 635000 | #Constraints: 49063 1037.04/1040.20 c #Conflicts: 636000 | #Constraints: 50063 1037.04/1040.20 c #Conflicts: 637000 | #Constraints: 51063 1037.04/1040.20 c #Conflicts: 638000 | #Constraints: 52063 1037.04/1040.20 c #Conflicts: 639000 | #Constraints: 53063 1037.04/1040.20 c #Conflicts: 640000 | #Constraints: 54063 1037.04/1040.20 c #Conflicts: 641000 | #Constraints: 55063 1037.04/1040.20 c #Conflicts: 642000 | #Constraints: 56063 1037.04/1040.20 c #Conflicts: 643000 | #Constraints: 57063 1037.04/1040.20 c #Conflicts: 644000 | #Constraints: 58063 1037.04/1040.20 c #Conflicts: 645000 | #Constraints: 59063 1037.04/1040.20 c #Conflicts: 646000 | #Constraints: 60063 1037.04/1040.20 c #Conflicts: 647000 | #Constraints: 61063 1037.04/1040.20 c #Conflicts: 648000 | #Constraints: 62063 1037.04/1040.20 c #Conflicts: 649000 | #Constraints: 63063 1037.04/1040.20 c #Conflicts: 650000 | #Constraints: 64063 1037.04/1040.20 c INPROCESSING 1037.04/1040.20 c GARBAGE COLLECT 1037.04/1040.20 c rational objective 85 1070.84/1074.14 c #Conflicts: 651000 | #Constraints: 36366 1070.84/1074.14 c #Conflicts: 652000 | #Constraints: 37367 1070.84/1074.14 c #Conflicts: 653000 | #Constraints: 38367 1070.84/1074.14 c #Conflicts: 654000 | #Constraints: 39368 1070.84/1074.14 c #Conflicts: 655000 | #Constraints: 40369 1070.84/1074.14 c #Conflicts: 656000 | #Constraints: 41369 1070.84/1074.14 c #Conflicts: 657000 | #Constraints: 42369 1070.84/1074.14 c #Conflicts: 658000 | #Constraints: 43369 1070.84/1074.14 c #Conflicts: 659000 | #Constraints: 44369 1070.84/1074.14 c #Conflicts: 660000 | #Constraints: 45369 1070.84/1074.14 c #Conflicts: 661000 | #Constraints: 46369 1070.84/1074.14 c #Conflicts: 662000 | #Constraints: 47369 1070.84/1074.14 c #Conflicts: 663000 | #Constraints: 48370 1070.84/1074.14 c #Conflicts: 664000 | #Constraints: 49370 1070.84/1074.14 c #Conflicts: 665000 | #Constraints: 50371 1070.84/1074.14 c #Conflicts: 666000 | #Constraints: 51371 1070.84/1074.14 c #Conflicts: 667000 | #Constraints: 52371 1070.84/1074.14 c INPROCESSING 1070.84/1074.14 c GARBAGE COLLECT 1070.84/1074.14 c rational objective 85 1099.94/1103.37 c #Conflicts: 668000 | #Constraints: 30118 1099.94/1103.37 c #Conflicts: 669000 | #Constraints: 31118 1099.94/1103.37 c #Conflicts: 670000 | #Constraints: 32118 1099.94/1103.37 c #Conflicts: 671000 | #Constraints: 33118 1099.94/1103.37 c #Conflicts: 672000 | #Constraints: 34118 1099.94/1103.37 c #Conflicts: 673000 | #Constraints: 35118 1099.94/1103.37 c #Conflicts: 674000 | #Constraints: 36118 1099.94/1103.37 c #Conflicts: 675000 | #Constraints: 37119 1099.94/1103.37 c #Conflicts: 676000 | #Constraints: 38120 1099.94/1103.37 c #Conflicts: 677000 | #Constraints: 39120 1099.94/1103.37 c #Conflicts: 678000 | #Constraints: 40120 1099.94/1103.37 c #Conflicts: 679000 | #Constraints: 41120 1099.94/1103.37 c #Conflicts: 680000 | #Constraints: 42120 1099.94/1103.37 c #Conflicts: 681000 | #Constraints: 43120 1099.94/1103.37 c #Conflicts: 682000 | #Constraints: 44121 1099.94/1103.37 c #Conflicts: 683000 | #Constraints: 45121 1099.94/1103.37 c #Conflicts: 684000 | #Constraints: 46121 1099.94/1103.37 c #Conflicts: 685000 | #Constraints: 47121 1099.94/1103.37 c INPROCESSING 1099.94/1103.37 c GARBAGE COLLECT 1099.94/1103.37 c rational objective 85 1121.98/1125.46 c #Conflicts: 686000 | #Constraints: 27470 1121.98/1125.46 c #Conflicts: 687000 | #Constraints: 28470 1121.98/1125.46 c #Conflicts: 688000 | #Constraints: 29470 1121.98/1125.46 c #Conflicts: 689000 | #Constraints: 30470 1121.98/1125.46 c #Conflicts: 690000 | #Constraints: 31470 1121.98/1125.46 c #Conflicts: 691000 | #Constraints: 32470 1121.98/1125.46 c #Conflicts: 692000 | #Constraints: 33470 1121.98/1125.46 c #Conflicts: 693000 | #Constraints: 34470 1121.98/1125.46 c #Conflicts: 694000 | #Constraints: 35471 1121.98/1125.46 c #Conflicts: 695000 | #Constraints: 36471 1121.98/1125.46 c #Conflicts: 696000 | #Constraints: 37471 1121.98/1125.46 c #Conflicts: 697000 | #Constraints: 38472 1121.98/1125.46 c #Conflicts: 698000 | #Constraints: 39472 1121.98/1125.46 c #Conflicts: 699000 | #Constraints: 40472 1121.98/1125.46 c #Conflicts: 700000 | #Constraints: 41472 1121.98/1125.46 c #Conflicts: 701000 | #Constraints: 42472 1121.98/1125.46 c #Conflicts: 702000 | #Constraints: 43472 1121.98/1125.46 c #Conflicts: 703000 | #Constraints: 44472 1121.98/1125.46 c #Conflicts: 704000 | #Constraints: 45472 1121.98/1125.46 c INPROCESSING 1121.98/1125.46 c GARBAGE COLLECT 1121.98/1125.46 c rational objective 85 1281.39/1285.38 c #Conflicts: 705000 | #Constraints: 27066 1281.39/1285.38 c #Conflicts: 706000 | #Constraints: 28066 1281.39/1285.38 c #Conflicts: 707000 | #Constraints: 29066 1281.39/1285.38 c #Conflicts: 708000 | #Constraints: 30066 1281.39/1285.38 c #Conflicts: 709000 | #Constraints: 31066 1281.39/1285.38 c #Conflicts: 710000 | #Constraints: 32066 1281.39/1285.38 c #Conflicts: 711000 | #Constraints: 33066 1281.39/1285.38 c #Conflicts: 712000 | #Constraints: 34066 1281.39/1285.38 c #Conflicts: 713000 | #Constraints: 35066 1281.39/1285.38 c #Conflicts: 714000 | #Constraints: 36066 1281.39/1285.38 c #Conflicts: 715000 | #Constraints: 37066 1281.39/1285.38 c #Conflicts: 716000 | #Constraints: 38066 1281.39/1285.38 c #Conflicts: 717000 | #Constraints: 39066 1281.39/1285.38 c #Conflicts: 718000 | #Constraints: 40066 1281.39/1285.38 c #Conflicts: 719000 | #Constraints: 41066 1281.39/1285.38 c #Conflicts: 720000 | #Constraints: 42066 1281.39/1285.38 c #Conflicts: 721000 | #Constraints: 43066 1281.39/1285.38 c #Conflicts: 722000 | #Constraints: 44066 1281.39/1285.38 c #Conflicts: 723000 | #Constraints: 45066 1281.39/1285.38 c #Conflicts: 724000 | #Constraints: 46067 1281.39/1285.38 c #Conflicts: 725000 | #Constraints: 47067 1281.39/1285.38 c #Conflicts: 726000 | #Constraints: 48067 1281.39/1285.38 c #Conflicts: 727000 | #Constraints: 49067 1281.39/1285.38 c #Conflicts: 728000 | #Constraints: 50067 1281.39/1285.38 c #Conflicts: 729000 | #Constraints: 51067 1281.39/1285.38 c #Conflicts: 730000 | #Constraints: 52067 1281.39/1285.38 c #Conflicts: 731000 | #Constraints: 53067 1281.39/1285.38 c #Conflicts: 732000 | #Constraints: 54067 1281.39/1285.38 c #Conflicts: 733000 | #Constraints: 55067 1281.39/1285.38 c #Conflicts: 734000 | #Constraints: 56067 1281.39/1285.38 c #Conflicts: 735000 | #Constraints: 57067 1281.39/1285.38 c #Conflicts: 736000 | #Constraints: 58067 1281.39/1285.38 c #Conflicts: 737000 | #Constraints: 59067 1281.39/1285.38 c #Conflicts: 738000 | #Constraints: 60067 1281.39/1285.38 c #Conflicts: 739000 | #Constraints: 61067 1281.39/1285.38 c #Conflicts: 740000 | #Constraints: 62067 1281.39/1285.38 c #Conflicts: 741000 | #Constraints: 63067 1281.39/1285.38 c #Conflicts: 742000 | #Constraints: 64067 1281.39/1285.38 c #Conflicts: 743000 | #Constraints: 65067 1281.39/1285.38 c #Conflicts: 744000 | #Constraints: 66067 1281.39/1285.38 c #Conflicts: 745000 | #Constraints: 67067 1281.39/1285.38 c #Conflicts: 746000 | #Constraints: 68067 1281.39/1285.38 c #Conflicts: 747000 | #Constraints: 69067 1281.39/1285.38 c #Conflicts: 748000 | #Constraints: 70068 1281.39/1285.38 c #Conflicts: 749000 | #Constraints: 71068 1281.39/1285.38 c #Conflicts: 750000 | #Constraints: 72068 1281.39/1285.38 c #Conflicts: 751000 | #Constraints: 73069 1281.39/1285.38 c #Conflicts: 752000 | #Constraints: 74069 1281.39/1285.38 c #Conflicts: 753000 | #Constraints: 75069 1281.39/1285.38 c #Conflicts: 754000 | #Constraints: 76069 1281.39/1285.38 c #Conflicts: 755000 | #Constraints: 77069 1281.39/1285.38 c #Conflicts: 756000 | #Constraints: 78069 1281.39/1285.38 c #Conflicts: 757000 | #Constraints: 79069 1281.39/1285.38 c #Conflicts: 758000 | #Constraints: 80069 1281.39/1285.38 c #Conflicts: 759000 | #Constraints: 81069 1281.39/1285.38 c #Conflicts: 760000 | #Constraints: 82069 1281.39/1285.38 c #Conflicts: 761000 | #Constraints: 83069 1281.39/1285.38 c #Conflicts: 762000 | #Constraints: 84069 1281.39/1285.38 c #Conflicts: 763000 | #Constraints: 85070 1281.39/1285.38 c #Conflicts: 764000 | #Constraints: 86070 1281.39/1285.38 c #Conflicts: 765000 | #Constraints: 87070 1281.39/1285.38 c #Conflicts: 766000 | #Constraints: 88070 1281.39/1285.38 c #Conflicts: 767000 | #Constraints: 89070 1281.39/1285.38 c #Conflicts: 768000 | #Constraints: 90070 1281.39/1285.38 c #Conflicts: 769000 | #Constraints: 91070 1281.39/1285.38 c #Conflicts: 770000 | #Constraints: 92071 1281.39/1285.38 c #Conflicts: 771000 | #Constraints: 93072 1281.39/1285.38 c #Conflicts: 772000 | #Constraints: 94073 1281.39/1285.38 c INPROCESSING 1281.39/1285.38 c GARBAGE COLLECT 1281.39/1285.38 c rational objective 85 1326.35/1330.45 c #Conflicts: 773000 | #Constraints: 51032 1326.35/1330.45 c #Conflicts: 774000 | #Constraints: 52032 1326.35/1330.45 c #Conflicts: 775000 | #Constraints: 53032 1326.35/1330.45 c #Conflicts: 776000 | #Constraints: 54032 1326.35/1330.45 c #Conflicts: 777000 | #Constraints: 55033 1326.35/1330.45 c #Conflicts: 778000 | #Constraints: 56033 1326.35/1330.45 c #Conflicts: 779000 | #Constraints: 57033 1326.35/1330.45 c #Conflicts: 780000 | #Constraints: 58033 1326.35/1330.45 c #Conflicts: 781000 | #Constraints: 59033 1326.35/1330.45 c #Conflicts: 782000 | #Constraints: 60033 1326.35/1330.45 c #Conflicts: 783000 | #Constraints: 61033 1326.35/1330.45 c #Conflicts: 784000 | #Constraints: 62033 1326.35/1330.45 c #Conflicts: 785000 | #Constraints: 63034 1326.35/1330.45 c #Conflicts: 786000 | #Constraints: 64034 1326.35/1330.45 c #Conflicts: 787000 | #Constraints: 65034 1326.35/1330.45 c #Conflicts: 788000 | #Constraints: 66034 1326.35/1330.45 c #Conflicts: 789000 | #Constraints: 67034 1326.35/1330.45 c #Conflicts: 790000 | #Constraints: 68034 1326.35/1330.45 c #Conflicts: 791000 | #Constraints: 69034 1326.35/1330.45 c #Conflicts: 792000 | #Constraints: 70034 1326.35/1330.45 c INPROCESSING 1326.35/1330.45 c GARBAGE COLLECT 1326.35/1330.45 c rational objective 85 1360.14/1364.34 c #Conflicts: 793000 | #Constraints: 39213 1360.14/1364.34 c #Conflicts: 794000 | #Constraints: 40213 1360.14/1364.34 c #Conflicts: 795000 | #Constraints: 41213 1360.14/1364.34 c #Conflicts: 796000 | #Constraints: 42213 1360.14/1364.34 c #Conflicts: 797000 | #Constraints: 43213 1360.14/1364.34 c #Conflicts: 798000 | #Constraints: 44213 1360.14/1364.34 c #Conflicts: 799000 | #Constraints: 45213 1360.14/1364.34 c #Conflicts: 800000 | #Constraints: 46213 1360.14/1364.34 c #Conflicts: 801000 | #Constraints: 47213 1360.14/1364.34 c #Conflicts: 802000 | #Constraints: 48213 1360.14/1364.34 c #Conflicts: 803000 | #Constraints: 49214 1360.14/1364.34 c #Conflicts: 804000 | #Constraints: 50214 1360.14/1364.34 c #Conflicts: 805000 | #Constraints: 51214 1360.14/1364.34 c #Conflicts: 806000 | #Constraints: 52214 1360.14/1364.34 c #Conflicts: 807000 | #Constraints: 53214 1360.14/1364.34 c #Conflicts: 808000 | #Constraints: 54214 1360.14/1364.34 c #Conflicts: 809000 | #Constraints: 55215 1360.14/1364.34 c #Conflicts: 810000 | #Constraints: 56215 1360.14/1364.34 c #Conflicts: 811000 | #Constraints: 57215 1360.14/1364.34 c #Conflicts: 812000 | #Constraints: 58215 1360.14/1364.34 c INPROCESSING 1360.14/1364.34 c GARBAGE COLLECT 1360.14/1364.34 c rational objective 85 1387.17/1391.43 c #Conflicts: 813000 | #Constraints: 33501 1387.17/1391.43 c #Conflicts: 814000 | #Constraints: 34501 1387.17/1391.43 c #Conflicts: 815000 | #Constraints: 35502 1387.17/1391.43 c #Conflicts: 816000 | #Constraints: 36503 1387.17/1391.43 c #Conflicts: 817000 | #Constraints: 37503 1387.17/1391.43 c #Conflicts: 818000 | #Constraints: 38503 1387.17/1391.43 c #Conflicts: 819000 | #Constraints: 39503 1387.17/1391.43 c #Conflicts: 820000 | #Constraints: 40503 1387.17/1391.43 c #Conflicts: 821000 | #Constraints: 41504 1387.17/1391.43 c #Conflicts: 822000 | #Constraints: 42504 1387.17/1391.43 c #Conflicts: 823000 | #Constraints: 43504 1387.17/1391.43 c #Conflicts: 824000 | #Constraints: 44504 1387.17/1391.43 c #Conflicts: 825000 | #Constraints: 45504 1387.17/1391.43 c #Conflicts: 826000 | #Constraints: 46504 1387.17/1391.43 c #Conflicts: 827000 | #Constraints: 47504 1387.17/1391.43 c #Conflicts: 828000 | #Constraints: 48504 1387.17/1391.43 c #Conflicts: 829000 | #Constraints: 49504 1387.17/1391.43 c #Conflicts: 830000 | #Constraints: 50504 1387.17/1391.43 c #Conflicts: 831000 | #Constraints: 51504 1387.17/1391.43 c INPROCESSING 1387.17/1391.43 c GARBAGE COLLECT 1387.17/1391.43 c rational objective 85 1425.55/1430.00 c #Conflicts: 832000 | #Constraints: 29680 1425.55/1430.00 c #Conflicts: 833000 | #Constraints: 30681 1425.55/1430.00 c #Conflicts: 834000 | #Constraints: 31681 1425.55/1430.00 c #Conflicts: 835000 | #Constraints: 32681 1425.55/1430.00 c #Conflicts: 836000 | #Constraints: 33682 1425.55/1430.00 c #Conflicts: 837000 | #Constraints: 34682 1425.55/1430.00 c #Conflicts: 838000 | #Constraints: 35682 1425.55/1430.00 c #Conflicts: 839000 | #Constraints: 36682 1425.55/1430.00 c #Conflicts: 840000 | #Constraints: 37682 1425.55/1430.00 c #Conflicts: 841000 | #Constraints: 38682 1425.55/1430.00 c #Conflicts: 842000 | #Constraints: 39682 1425.55/1430.00 c #Conflicts: 843000 | #Constraints: 40682 1425.55/1430.00 c #Conflicts: 844000 | #Constraints: 41682 1425.55/1430.00 c #Conflicts: 845000 | #Constraints: 42682 1425.55/1430.00 c #Conflicts: 846000 | #Constraints: 43682 1425.55/1430.00 c #Conflicts: 847000 | #Constraints: 44682 1425.55/1430.00 c #Conflicts: 848000 | #Constraints: 45683 1425.55/1430.00 c #Conflicts: 849000 | #Constraints: 46683 1425.55/1430.00 c #Conflicts: 850000 | #Constraints: 47683 1425.55/1430.00 c #Conflicts: 851000 | #Constraints: 48683 1425.55/1430.00 c #Conflicts: 852000 | #Constraints: 49683 1425.55/1430.00 c INPROCESSING 1425.55/1430.00 c GARBAGE COLLECT 1425.55/1430.00 c rational objective 85 1613.53/1618.59 c #Conflicts: 853000 | #Constraints: 29231 1613.53/1618.59 c #Conflicts: 854000 | #Constraints: 30231 1613.53/1618.59 c #Conflicts: 855000 | #Constraints: 31231 1613.53/1618.59 c #Conflicts: 856000 | #Constraints: 32231 1613.53/1618.59 c #Conflicts: 857000 | #Constraints: 33231 1613.53/1618.59 c #Conflicts: 858000 | #Constraints: 34231 1613.53/1618.59 c #Conflicts: 859000 | #Constraints: 35231 1613.53/1618.59 c #Conflicts: 860000 | #Constraints: 36231 1613.53/1618.59 c #Conflicts: 861000 | #Constraints: 37231 1613.53/1618.59 c #Conflicts: 862000 | #Constraints: 38231 1613.53/1618.59 c #Conflicts: 863000 | #Constraints: 39231 1613.53/1618.59 c #Conflicts: 864000 | #Constraints: 40231 1613.53/1618.59 c #Conflicts: 865000 | #Constraints: 41231 1613.53/1618.59 c #Conflicts: 866000 | #Constraints: 42231 1613.53/1618.59 c #Conflicts: 867000 | #Constraints: 43232 1613.53/1618.59 c #Conflicts: 868000 | #Constraints: 44232 1613.53/1618.59 c #Conflicts: 869000 | #Constraints: 45232 1613.53/1618.59 c #Conflicts: 870000 | #Constraints: 46232 1613.53/1618.59 c #Conflicts: 871000 | #Constraints: 47232 1613.53/1618.59 c #Conflicts: 872000 | #Constraints: 48232 1613.53/1618.59 c #Conflicts: 873000 | #Constraints: 49232 1613.53/1618.59 c #Conflicts: 874000 | #Constraints: 50232 1613.53/1618.59 c #Conflicts: 875000 | #Constraints: 51232 1613.53/1618.59 c #Conflicts: 876000 | #Constraints: 52232 1613.53/1618.59 c #Conflicts: 877000 | #Constraints: 53232 1613.53/1618.59 c #Conflicts: 878000 | #Constraints: 54232 1613.53/1618.59 c #Conflicts: 879000 | #Constraints: 55232 1613.53/1618.59 c #Conflicts: 880000 | #Constraints: 56232 1613.53/1618.59 c #Conflicts: 881000 | #Constraints: 57233 1613.53/1618.59 c #Conflicts: 882000 | #Constraints: 58233 1613.53/1618.59 c #Conflicts: 883000 | #Constraints: 59233 1613.53/1618.59 c #Conflicts: 884000 | #Constraints: 60233 1613.53/1618.59 c #Conflicts: 885000 | #Constraints: 61233 1613.53/1618.59 c #Conflicts: 886000 | #Constraints: 62233 1613.53/1618.59 c #Conflicts: 887000 | #Constraints: 63233 1613.53/1618.59 c #Conflicts: 888000 | #Constraints: 64233 1613.53/1618.59 c #Conflicts: 889000 | #Constraints: 65233 1613.53/1618.59 c #Conflicts: 890000 | #Constraints: 66233 1613.53/1618.59 c #Conflicts: 891000 | #Constraints: 67233 1613.53/1618.59 c #Conflicts: 892000 | #Constraints: 68233 1613.53/1618.59 c #Conflicts: 893000 | #Constraints: 69233 1613.53/1618.59 c #Conflicts: 894000 | #Constraints: 70233 1613.53/1618.59 c #Conflicts: 895000 | #Constraints: 71233 1613.53/1618.59 c #Conflicts: 896000 | #Constraints: 72233 1613.53/1618.59 c #Conflicts: 897000 | #Constraints: 73233 1613.53/1618.59 c #Conflicts: 898000 | #Constraints: 74233 1613.53/1618.59 c #Conflicts: 899000 | #Constraints: 75233 1613.53/1618.59 c #Conflicts: 900000 | #Constraints: 76233 1613.53/1618.59 c #Conflicts: 901000 | #Constraints: 77234 1613.53/1618.59 c #Conflicts: 902000 | #Constraints: 78234 1613.53/1618.59 c #Conflicts: 903000 | #Constraints: 79235 1613.53/1618.59 c #Conflicts: 904000 | #Constraints: 80235 1613.53/1618.59 c #Conflicts: 905000 | #Constraints: 81235 1613.53/1618.59 c #Conflicts: 906000 | #Constraints: 82235 1613.53/1618.59 c #Conflicts: 907000 | #Constraints: 83235 1613.53/1618.59 c #Conflicts: 908000 | #Constraints: 84235 1613.53/1618.59 c #Conflicts: 909000 | #Constraints: 85235 1613.53/1618.59 c #Conflicts: 910000 | #Constraints: 86235 1613.53/1618.59 c #Conflicts: 911000 | #Constraints: 87235 1613.53/1618.59 c #Conflicts: 912000 | #Constraints: 88235 1613.53/1618.59 c #Conflicts: 913000 | #Constraints: 89235 1613.53/1618.59 c #Conflicts: 914000 | #Constraints: 90235 1613.53/1618.59 c #Conflicts: 915000 | #Constraints: 91236 1613.53/1618.59 c #Conflicts: 916000 | #Constraints: 92236 1613.53/1618.59 c #Conflicts: 917000 | #Constraints: 93236 1613.53/1618.59 c #Conflicts: 918000 | #Constraints: 94236 1613.53/1618.59 c #Conflicts: 919000 | #Constraints: 95236 1613.53/1618.59 c #Conflicts: 920000 | #Constraints: 96236 1613.53/1618.59 c #Conflicts: 921000 | #Constraints: 97236 1613.53/1618.59 c #Conflicts: 922000 | #Constraints: 98237 1613.53/1618.59 c #Conflicts: 923000 | #Constraints: 99237 1613.53/1618.59 c #Conflicts: 924000 | #Constraints: 100237 1613.53/1618.59 c #Conflicts: 925000 | #Constraints: 101237 1613.53/1618.59 c #Conflicts: 926000 | #Constraints: 102237 1613.53/1618.59 c #Conflicts: 927000 | #Constraints: 103237 1613.53/1618.59 c INPROCESSING 1613.53/1618.59 c GARBAGE COLLECT 1613.53/1618.59 c rational objective 85 1667.71/1672.95 c #Conflicts: 928000 | #Constraints: 55846 1667.71/1672.95 c #Conflicts: 929000 | #Constraints: 56846 1667.71/1672.95 c #Conflicts: 930000 | #Constraints: 57846 1667.71/1672.95 c #Conflicts: 931000 | #Constraints: 58846 1667.71/1672.95 c #Conflicts: 932000 | #Constraints: 59846 1667.71/1672.95 c #Conflicts: 933000 | #Constraints: 60846 1667.71/1672.95 c #Conflicts: 934000 | #Constraints: 61846 1667.71/1672.95 c #Conflicts: 935000 | #Constraints: 62846 1667.71/1672.95 c #Conflicts: 936000 | #Constraints: 63846 1667.71/1672.95 c #Conflicts: 937000 | #Constraints: 64846 1667.71/1672.95 c #Conflicts: 938000 | #Constraints: 65847 1667.71/1672.95 c #Conflicts: 939000 | #Constraints: 66847 1667.71/1672.95 c #Conflicts: 940000 | #Constraints: 67847 1667.71/1672.95 c #Conflicts: 941000 | #Constraints: 68848 1667.71/1672.95 c #Conflicts: 942000 | #Constraints: 69848 1667.71/1672.95 c #Conflicts: 943000 | #Constraints: 70848 1667.71/1672.95 c #Conflicts: 944000 | #Constraints: 71848 1667.71/1672.95 c #Conflicts: 945000 | #Constraints: 72848 1667.71/1672.95 c #Conflicts: 946000 | #Constraints: 73848 1667.71/1672.95 c #Conflicts: 947000 | #Constraints: 74848 1667.71/1672.95 c #Conflicts: 948000 | #Constraints: 75848 1667.71/1672.95 c INPROCESSING 1667.71/1672.95 c GARBAGE COLLECT 1667.71/1672.95 c rational objective 85 1722.40/1727.84 c #Conflicts: 949000 | #Constraints: 42042 1722.40/1727.84 c #Conflicts: 950000 | #Constraints: 43042 1722.40/1727.84 c #Conflicts: 951000 | #Constraints: 44042 1722.40/1727.84 c #Conflicts: 952000 | #Constraints: 45042 1722.40/1727.84 c #Conflicts: 953000 | #Constraints: 46042 1722.40/1727.84 c #Conflicts: 954000 | #Constraints: 47042 1722.40/1727.84 c #Conflicts: 955000 | #Constraints: 48042 1722.40/1727.84 c #Conflicts: 956000 | #Constraints: 49042 1722.40/1727.84 c #Conflicts: 957000 | #Constraints: 50042 1722.40/1727.84 c #Conflicts: 958000 | #Constraints: 51042 1722.40/1727.84 c #Conflicts: 959000 | #Constraints: 52043 1722.40/1727.84 c #Conflicts: 960000 | #Constraints: 53043 1722.40/1727.84 c #Conflicts: 961000 | #Constraints: 54043 1722.40/1727.84 c #Conflicts: 962000 | #Constraints: 55043 1722.40/1727.84 c #Conflicts: 963000 | #Constraints: 56043 1722.40/1727.84 c #Conflicts: 964000 | #Constraints: 57043 1722.40/1727.84 c #Conflicts: 965000 | #Constraints: 58044 1722.40/1727.84 c #Conflicts: 966000 | #Constraints: 59044 1722.40/1727.84 c #Conflicts: 967000 | #Constraints: 60044 1722.40/1727.84 c #Conflicts: 968000 | #Constraints: 61044 1722.40/1727.84 c #Conflicts: 969000 | #Constraints: 62044 1722.40/1727.84 c #Conflicts: 970000 | #Constraints: 63044 1722.40/1727.84 c INPROCESSING 1722.40/1727.84 c GARBAGE COLLECT 1722.40/1727.84 c rational objective 85 1768.15/1773.75 c #Conflicts: 971000 | #Constraints: 35762 1768.15/1773.75 c #Conflicts: 972000 | #Constraints: 36762 1768.15/1773.75 c #Conflicts: 973000 | #Constraints: 37762 1768.15/1773.75 c #Conflicts: 974000 | #Constraints: 38762 1768.15/1773.75 c #Conflicts: 975000 | #Constraints: 39762 1768.15/1773.75 c #Conflicts: 976000 | #Constraints: 40762 1768.15/1773.75 c #Conflicts: 977000 | #Constraints: 41762 1768.15/1773.75 c #Conflicts: 978000 | #Constraints: 42762 1768.15/1773.75 c #Conflicts: 979000 | #Constraints: 43762 1768.15/1773.75 c #Conflicts: 980000 | #Constraints: 44762 1768.15/1773.75 c #Conflicts: 981000 | #Constraints: 45762 1768.15/1773.75 c #Conflicts: 982000 | #Constraints: 46762 1768.15/1773.75 c #Conflicts: 983000 | #Constraints: 47762 1768.15/1773.75 c #Conflicts: 984000 | #Constraints: 48762 1768.15/1773.75 c #Conflicts: 985000 | #Constraints: 49763 1768.15/1773.75 c #Conflicts: 986000 | #Constraints: 50763 1768.15/1773.75 c #Conflicts: 987000 | #Constraints: 51763 1768.15/1773.75 c #Conflicts: 988000 | #Constraints: 52763 1768.15/1773.75 c #Conflicts: 989000 | #Constraints: 53763 1768.15/1773.75 c #Conflicts: 990000 | #Constraints: 54763 1768.15/1773.75 c #Conflicts: 991000 | #Constraints: 55764 1768.15/1773.75 c #Conflicts: 992000 | #Constraints: 56764 1768.15/1773.75 c INPROCESSING 1768.15/1773.75 c GARBAGE COLLECT 1768.15/1773.75 c rational objective 85 1803.03/1808.73 c #Conflicts: 993000 | #Constraints: 32786 1803.03/1808.73 c #Conflicts: 994000 | #Constraints: 33786 1803.03/1808.73 c #Conflicts: 995000 | #Constraints: 34786 1803.03/1808.73 c #Conflicts: 996000 | #Constraints: 35786 1803.03/1808.73 c #Conflicts: 997000 | #Constraints: 36786 1803.03/1808.73 c #Conflicts: 998000 | #Constraints: 37786 1803.03/1808.73 c #Conflicts: 999000 | #Constraints: 38786 1803.03/1808.73 c #Conflicts: 1000000 | #Constraints: 39786 1803.03/1808.73 c #Conflicts: 1001000 | #Constraints: 40786 1803.03/1808.73 c #Conflicts: 1002000 | #Constraints: 41786 1803.03/1808.73 c #Conflicts: 1003000 | #Constraints: 42786 1803.03/1808.73 c #Conflicts: 1004000 | #Constraints: 43786 1803.03/1808.73 c #Conflicts: 1005000 | #Constraints: 44786 1803.03/1808.73 c #Conflicts: 1006000 | #Constraints: 45786 1803.03/1808.73 c #Conflicts: 1007000 | #Constraints: 46786 1803.03/1808.73 c #Conflicts: 1008000 | #Constraints: 47786 1803.03/1808.73 c #Conflicts: 1009000 | #Constraints: 48786 1803.03/1808.73 c #Conflicts: 1010000 | #Constraints: 49787 1803.03/1808.73 c #Conflicts: 1011000 | #Constraints: 50787 1803.03/1808.73 c #Conflicts: 1012000 | #Constraints: 51788 1803.03/1808.73 c #Conflicts: 1013000 | #Constraints: 52788 1803.03/1808.73 c #Conflicts: 1014000 | #Constraints: 53788 1803.03/1808.73 c INPROCESSING 1803.03/1808.73 c GARBAGE COLLECT 1803.03/1808.73 c rational objective 85 1994.88/2001.28 c #Conflicts: 1015000 | #Constraints: 31302 1994.88/2001.28 c #Conflicts: 1016000 | #Constraints: 32302 1994.88/2001.28 c #Conflicts: 1017000 | #Constraints: 33302 1994.88/2001.28 c #Conflicts: 1018000 | #Constraints: 34302 1994.88/2001.28 c #Conflicts: 1019000 | #Constraints: 35302 1994.88/2001.28 c #Conflicts: 1020000 | #Constraints: 36302 1994.88/2001.28 c #Conflicts: 1021000 | #Constraints: 37302 1994.88/2001.28 c #Conflicts: 1022000 | #Constraints: 38302 1994.88/2001.28 c #Conflicts: 1023000 | #Constraints: 39302 1994.88/2001.28 c #Conflicts: 1024000 | #Constraints: 40303 1994.88/2001.28 c #Conflicts: 1025000 | #Constraints: 41303 1994.88/2001.28 c #Conflicts: 1026000 | #Constraints: 42303 1994.88/2001.28 c #Conflicts: 1027000 | #Constraints: 43303 1994.88/2001.28 c #Conflicts: 1028000 | #Constraints: 44303 1994.88/2001.28 c #Conflicts: 1029000 | #Constraints: 45304 1994.88/2001.28 c #Conflicts: 1030000 | #Constraints: 46305 1994.88/2001.28 c #Conflicts: 1031000 | #Constraints: 47305 1994.88/2001.28 c #Conflicts: 1032000 | #Constraints: 48306 1994.88/2001.28 c #Conflicts: 1033000 | #Constraints: 49308 1994.88/2001.28 c #Conflicts: 1034000 | #Constraints: 50311 1994.88/2001.28 c #Conflicts: 1035000 | #Constraints: 51312 1994.88/2001.28 c #Conflicts: 1036000 | #Constraints: 52312 1994.88/2001.28 c #Conflicts: 1037000 | #Constraints: 53312 1994.88/2001.28 c #Conflicts: 1038000 | #Constraints: 54313 1994.88/2001.28 c #Conflicts: 1039000 | #Constraints: 55313 1994.88/2001.28 c #Conflicts: 1040000 | #Constraints: 56313 1994.88/2001.28 c #Conflicts: 1041000 | #Constraints: 57313 1994.88/2001.28 c #Conflicts: 1042000 | #Constraints: 58313 1994.88/2001.28 c #Conflicts: 1043000 | #Constraints: 59313 1994.88/2001.28 c #Conflicts: 1044000 | #Constraints: 60313 1994.88/2001.28 c #Conflicts: 1045000 | #Constraints: 61313 1994.88/2001.28 c #Conflicts: 1046000 | #Constraints: 62313 1994.88/2001.28 c #Conflicts: 1047000 | #Constraints: 63313 1994.88/2001.28 c #Conflicts: 1048000 | #Constraints: 64313 1994.88/2001.28 c #Conflicts: 1049000 | #Constraints: 65313 1994.88/2001.28 c #Conflicts: 1050000 | #Constraints: 66313 1994.88/2001.28 c #Conflicts: 1051000 | #Constraints: 67314 1994.88/2001.28 c #Conflicts: 1052000 | #Constraints: 68314 1994.88/2001.28 c #Conflicts: 1053000 | #Constraints: 69314 1994.88/2001.28 c #Conflicts: 1054000 | #Constraints: 70314 1994.88/2001.28 c #Conflicts: 1055000 | #Constraints: 71314 1994.88/2001.28 c #Conflicts: 1056000 | #Constraints: 72314 1994.88/2001.28 c #Conflicts: 1057000 | #Constraints: 73314 1994.88/2001.28 c #Conflicts: 1058000 | #Constraints: 74314 1994.88/2001.28 c #Conflicts: 1059000 | #Constraints: 75314 1994.88/2001.28 c #Conflicts: 1060000 | #Constraints: 76314 1994.88/2001.28 c #Conflicts: 1061000 | #Constraints: 77314 1994.88/2001.28 c #Conflicts: 1062000 | #Constraints: 78314 1994.88/2001.28 c #Conflicts: 1063000 | #Constraints: 79314 1994.88/2001.28 c #Conflicts: 1064000 | #Constraints: 80314 1994.88/2001.28 c #Conflicts: 1065000 | #Constraints: 81314 1994.88/2001.28 c #Conflicts: 1066000 | #Constraints: 82314 1994.88/2001.28 c #Conflicts: 1067000 | #Constraints: 83314 1994.88/2001.28 c #Conflicts: 1068000 | #Constraints: 84314 1994.88/2001.28 c #Conflicts: 1069000 | #Constraints: 85314 1994.88/2001.28 c #Conflicts: 1070000 | #Constraints: 86314 1994.88/2001.28 c #Conflicts: 1071000 | #Constraints: 87314 1994.88/2001.28 c #Conflicts: 1072000 | #Constraints: 88314 1994.88/2001.28 c #Conflicts: 1073000 | #Constraints: 89314 1994.88/2001.28 c #Conflicts: 1074000 | #Constraints: 90314 1994.88/2001.28 c #Conflicts: 1075000 | #Constraints: 91314 1994.88/2001.28 c #Conflicts: 1076000 | #Constraints: 92314 1994.88/2001.28 c #Conflicts: 1077000 | #Constraints: 93314 1994.88/2001.28 c #Conflicts: 1078000 | #Constraints: 94314 1994.88/2001.28 c #Conflicts: 1079000 | #Constraints: 95314 1994.88/2001.28 c #Conflicts: 1080000 | #Constraints: 96314 1994.88/2001.28 c #Conflicts: 1081000 | #Constraints: 97314 1994.88/2001.28 c #Conflicts: 1082000 | #Constraints: 98314 1994.88/2001.28 c #Conflicts: 1083000 | #Constraints: 99314 1994.88/2001.28 c #Conflicts: 1084000 | #Constraints: 100314 1994.88/2001.28 c #Conflicts: 1085000 | #Constraints: 101315 1994.88/2001.28 c #Conflicts: 1086000 | #Constraints: 102315 1994.88/2001.28 c #Conflicts: 1087000 | #Constraints: 103315 1994.88/2001.28 c #Conflicts: 1088000 | #Constraints: 104315 1994.88/2001.28 c #Conflicts: 1089000 | #Constraints: 105315 1994.88/2001.28 c #Conflicts: 1090000 | #Constraints: 106315 1994.88/2001.28 c #Conflicts: 1091000 | #Constraints: 107316 1994.88/2001.28 c #Conflicts: 1092000 | #Constraints: 108316 1994.88/2001.28 c #Conflicts: 1093000 | #Constraints: 109317 2011.62/2018.10 c #Conflicts: 1094000 | #Constraints: 110320 2011.62/2018.10 c #Conflicts: 1095000 | #Constraints: 111324 2011.62/2018.10 c INPROCESSING 2011.62/2018.10 c GARBAGE COLLECT 2011.62/2018.10 c rational objective 85 2068.74/2075.38 c #Conflicts: 1096000 | #Constraints: 59812 2068.74/2075.38 c #Conflicts: 1097000 | #Constraints: 60813 2068.74/2075.38 c #Conflicts: 1098000 | #Constraints: 61813 2068.74/2075.38 c #Conflicts: 1099000 | #Constraints: 62813 2068.74/2075.38 c #Conflicts: 1100000 | #Constraints: 63813 2068.74/2075.38 c #Conflicts: 1101000 | #Constraints: 64813 2068.74/2075.38 c #Conflicts: 1102000 | #Constraints: 65813 2068.74/2075.38 c #Conflicts: 1103000 | #Constraints: 66813 2068.74/2075.38 c #Conflicts: 1104000 | #Constraints: 67813 2068.74/2075.38 c #Conflicts: 1105000 | #Constraints: 68813 2068.74/2075.38 c #Conflicts: 1106000 | #Constraints: 69813 2068.74/2075.38 c #Conflicts: 1107000 | #Constraints: 70813 2068.74/2075.38 c #Conflicts: 1108000 | #Constraints: 71813 2068.74/2075.38 c #Conflicts: 1109000 | #Constraints: 72813 2068.74/2075.38 c #Conflicts: 1110000 | #Constraints: 73813 2068.74/2075.38 c #Conflicts: 1111000 | #Constraints: 74813 2068.74/2075.38 c #Conflicts: 1112000 | #Constraints: 75813 2068.74/2075.38 c #Conflicts: 1113000 | #Constraints: 76813 2068.74/2075.38 c #Conflicts: 1114000 | #Constraints: 77813 2068.74/2075.38 c #Conflicts: 1115000 | #Constraints: 78813 2068.74/2075.38 c #Conflicts: 1116000 | #Constraints: 79813 2068.74/2075.38 c #Conflicts: 1117000 | #Constraints: 80813 2068.74/2075.38 c #Conflicts: 1118000 | #Constraints: 81813 2068.74/2075.38 c INPROCESSING 2068.74/2075.38 c GARBAGE COLLECT 2068.74/2075.38 c rational objective 85 2106.14/2112.83 c #Conflicts: 1119000 | #Constraints: 44820 2106.14/2112.83 c #Conflicts: 1120000 | #Constraints: 45820 2106.14/2112.83 c #Conflicts: 1121000 | #Constraints: 46820 2106.14/2112.83 c #Conflicts: 1122000 | #Constraints: 47820 2106.14/2112.83 c #Conflicts: 1123000 | #Constraints: 48820 2106.14/2112.83 c #Conflicts: 1124000 | #Constraints: 49820 2106.14/2112.83 c #Conflicts: 1125000 | #Constraints: 50820 2106.14/2112.83 c #Conflicts: 1126000 | #Constraints: 51820 2106.14/2112.83 c #Conflicts: 1127000 | #Constraints: 52820 2106.14/2112.83 c #Conflicts: 1128000 | #Constraints: 53820 2106.14/2112.83 c #Conflicts: 1129000 | #Constraints: 54820 2106.14/2112.83 c #Conflicts: 1130000 | #Constraints: 55821 2106.14/2112.83 c #Conflicts: 1131000 | #Constraints: 56821 2106.14/2112.83 c #Conflicts: 1132000 | #Constraints: 57821 2106.14/2112.83 c #Conflicts: 1133000 | #Constraints: 58821 2106.14/2112.83 c #Conflicts: 1134000 | #Constraints: 59821 2106.14/2112.83 c #Conflicts: 1135000 | #Constraints: 60821 2106.14/2112.83 c #Conflicts: 1136000 | #Constraints: 61821 2106.14/2112.83 c #Conflicts: 1137000 | #Constraints: 62821 2106.14/2112.83 c #Conflicts: 1138000 | #Constraints: 63821 2106.14/2112.83 c #Conflicts: 1139000 | #Constraints: 64821 2106.14/2112.83 c #Conflicts: 1140000 | #Constraints: 65821 2106.14/2112.83 c #Conflicts: 1141000 | #Constraints: 66821 2106.14/2112.83 c #Conflicts: 1142000 | #Constraints: 67821 2106.14/2112.83 c INPROCESSING 2106.14/2112.83 c GARBAGE COLLECT 2106.14/2112.83 c rational objective 85 2140.86/2147.60 c #Conflicts: 1143000 | #Constraints: 38094 2140.86/2147.60 c #Conflicts: 1144000 | #Constraints: 39094 2140.86/2147.60 c #Conflicts: 1145000 | #Constraints: 40094 2140.86/2147.60 c #Conflicts: 1146000 | #Constraints: 41094 2140.86/2147.60 c #Conflicts: 1147000 | #Constraints: 42094 2140.86/2147.60 c #Conflicts: 1148000 | #Constraints: 43094 2140.86/2147.60 c #Conflicts: 1149000 | #Constraints: 44094 2140.86/2147.60 c #Conflicts: 1150000 | #Constraints: 45094 2140.86/2147.60 c #Conflicts: 1151000 | #Constraints: 46094 2140.86/2147.60 c #Conflicts: 1152000 | #Constraints: 47094 2140.86/2147.60 c #Conflicts: 1153000 | #Constraints: 48094 2140.86/2147.60 c #Conflicts: 1154000 | #Constraints: 49094 2140.86/2147.60 c #Conflicts: 1155000 | #Constraints: 50095 2140.86/2147.60 c #Conflicts: 1156000 | #Constraints: 51095 2140.86/2147.60 c #Conflicts: 1157000 | #Constraints: 52096 2140.86/2147.60 c #Conflicts: 1158000 | #Constraints: 53096 2140.86/2147.60 c #Conflicts: 1159000 | #Constraints: 54096 2140.86/2147.60 c #Conflicts: 1160000 | #Constraints: 55096 2140.86/2147.60 c #Conflicts: 1161000 | #Constraints: 56096 2140.86/2147.60 c #Conflicts: 1162000 | #Constraints: 57096 2140.86/2147.60 c #Conflicts: 1163000 | #Constraints: 58096 2140.86/2147.60 c #Conflicts: 1164000 | #Constraints: 59096 2140.86/2147.60 c #Conflicts: 1165000 | #Constraints: 60096 2140.86/2147.60 c #Conflicts: 1166000 | #Constraints: 61096 2140.86/2147.60 c INPROCESSING 2140.86/2147.60 c GARBAGE COLLECT 2140.86/2147.60 c rational objective 85 2181.16/2188.03 c #Conflicts: 1167000 | #Constraints: 34888 2181.16/2188.03 c #Conflicts: 1168000 | #Constraints: 35888 2181.16/2188.03 c #Conflicts: 1169000 | #Constraints: 36889 2181.16/2188.03 c #Conflicts: 1170000 | #Constraints: 37889 2181.16/2188.03 c #Conflicts: 1171000 | #Constraints: 38889 2181.16/2188.03 c #Conflicts: 1172000 | #Constraints: 39889 2181.16/2188.03 c #Conflicts: 1173000 | #Constraints: 40889 2181.16/2188.03 c #Conflicts: 1174000 | #Constraints: 41889 2181.16/2188.03 c #Conflicts: 1175000 | #Constraints: 42889 2181.16/2188.03 c #Conflicts: 1176000 | #Constraints: 43889 2181.16/2188.03 c #Conflicts: 1177000 | #Constraints: 44889 2181.16/2188.03 c #Conflicts: 1178000 | #Constraints: 45889 2181.16/2188.03 c #Conflicts: 1179000 | #Constraints: 46889 2181.16/2188.03 c #Conflicts: 1180000 | #Constraints: 47889 2181.16/2188.03 c #Conflicts: 1181000 | #Constraints: 48889 2181.16/2188.03 c #Conflicts: 1182000 | #Constraints: 49889 2181.16/2188.03 c #Conflicts: 1183000 | #Constraints: 50889 2181.16/2188.03 c #Conflicts: 1184000 | #Constraints: 51890 2181.16/2188.03 c #Conflicts: 1185000 | #Constraints: 52890 2181.16/2188.03 c #Conflicts: 1186000 | #Constraints: 53890 2181.16/2188.03 c #Conflicts: 1187000 | #Constraints: 54890 2181.16/2188.03 c #Conflicts: 1188000 | #Constraints: 55890 2181.16/2188.03 c #Conflicts: 1189000 | #Constraints: 56890 2181.16/2188.03 c #Conflicts: 1190000 | #Constraints: 57890 2181.16/2188.03 c INPROCESSING 2181.16/2188.03 c GARBAGE COLLECT 2181.16/2188.03 c rational objective 85 2377.37/2384.77 c #Conflicts: 1191000 | #Constraints: 33311 2377.37/2384.77 c #Conflicts: 1192000 | #Constraints: 34311 2377.37/2384.77 c #Conflicts: 1193000 | #Constraints: 35311 2377.37/2384.77 c #Conflicts: 1194000 | #Constraints: 36311 2377.37/2384.77 c #Conflicts: 1195000 | #Constraints: 37311 2377.37/2384.77 c #Conflicts: 1196000 | #Constraints: 38311 2377.37/2384.77 c #Conflicts: 1197000 | #Constraints: 39311 2377.37/2384.77 c #Conflicts: 1198000 | #Constraints: 40311 2377.37/2384.77 c #Conflicts: 1199000 | #Constraints: 41311 2377.37/2384.77 c #Conflicts: 1200000 | #Constraints: 42311 2377.37/2384.77 c #Conflicts: 1201000 | #Constraints: 43311 2377.37/2384.77 c #Conflicts: 1202000 | #Constraints: 44311 2377.37/2384.77 c #Conflicts: 1203000 | #Constraints: 45311 2377.37/2384.77 c #Conflicts: 1204000 | #Constraints: 46311 2377.37/2384.77 c #Conflicts: 1205000 | #Constraints: 47311 2377.37/2384.77 c #Conflicts: 1206000 | #Constraints: 48311 2377.37/2384.77 c #Conflicts: 1207000 | #Constraints: 49311 2377.37/2384.77 c #Conflicts: 1208000 | #Constraints: 50311 2377.37/2384.77 c #Conflicts: 1209000 | #Constraints: 51311 2377.37/2384.77 c #Conflicts: 1210000 | #Constraints: 52312 2377.37/2384.77 c #Conflicts: 1211000 | #Constraints: 53312 2377.37/2384.77 c #Conflicts: 1212000 | #Constraints: 54312 2377.37/2384.77 c #Conflicts: 1213000 | #Constraints: 55312 2377.37/2384.77 c #Conflicts: 1214000 | #Constraints: 56313 2377.37/2384.77 c #Conflicts: 1215000 | #Constraints: 57313 2377.37/2384.77 c #Conflicts: 1216000 | #Constraints: 58313 2377.37/2384.77 c #Conflicts: 1217000 | #Constraints: 59315 2377.37/2384.77 c #Conflicts: 1218000 | #Constraints: 60316 2377.37/2384.77 c #Conflicts: 1219000 | #Constraints: 61317 2377.37/2384.77 c #Conflicts: 1220000 | #Constraints: 62318 2377.37/2384.77 c #Conflicts: 1221000 | #Constraints: 63318 2377.37/2384.77 c #Conflicts: 1222000 | #Constraints: 64318 2377.37/2384.77 c #Conflicts: 1223000 | #Constraints: 65318 2377.37/2384.77 c #Conflicts: 1224000 | #Constraints: 66318 2377.37/2384.77 c #Conflicts: 1225000 | #Constraints: 67318 2377.37/2384.77 c #Conflicts: 1226000 | #Constraints: 68318 2377.37/2384.77 c #Conflicts: 1227000 | #Constraints: 69318 2377.37/2384.77 c #Conflicts: 1228000 | #Constraints: 70318 2377.37/2384.77 c #Conflicts: 1229000 | #Constraints: 71318 2377.37/2384.77 c #Conflicts: 1230000 | #Constraints: 72318 2377.37/2384.78 c #Conflicts: 1231000 | #Constraints: 73318 2377.37/2384.78 c #Conflicts: 1232000 | #Constraints: 74318 2377.37/2384.78 c #Conflicts: 1233000 | #Constraints: 75318 2377.37/2384.78 c #Conflicts: 1234000 | #Constraints: 76318 2377.37/2384.78 c #Conflicts: 1235000 | #Constraints: 77318 2377.37/2384.78 c #Conflicts: 1236000 | #Constraints: 78318 2377.37/2384.78 c #Conflicts: 1237000 | #Constraints: 79318 2377.37/2384.78 c #Conflicts: 1238000 | #Constraints: 80318 2377.37/2384.78 c #Conflicts: 1239000 | #Constraints: 81318 2377.37/2384.78 c #Conflicts: 1240000 | #Constraints: 82318 2377.37/2384.78 c #Conflicts: 1241000 | #Constraints: 83318 2377.37/2384.78 c #Conflicts: 1242000 | #Constraints: 84318 2377.37/2384.78 c #Conflicts: 1243000 | #Constraints: 85318 2377.37/2384.78 c #Conflicts: 1244000 | #Constraints: 86318 2377.37/2384.78 c #Conflicts: 1245000 | #Constraints: 87318 2377.37/2384.78 c #Conflicts: 1246000 | #Constraints: 88318 2377.37/2384.78 c #Conflicts: 1247000 | #Constraints: 89318 2377.37/2384.78 c #Conflicts: 1248000 | #Constraints: 90319 2377.37/2384.78 c #Conflicts: 1249000 | #Constraints: 91319 2377.37/2384.78 c #Conflicts: 1250000 | #Constraints: 92319 2377.37/2384.78 c #Conflicts: 1251000 | #Constraints: 93319 2377.37/2384.78 c #Conflicts: 1252000 | #Constraints: 94319 2377.37/2384.78 c #Conflicts: 1253000 | #Constraints: 95319 2377.37/2384.78 c #Conflicts: 1254000 | #Constraints: 96319 2377.37/2384.78 c #Conflicts: 1255000 | #Constraints: 97319 2377.37/2384.78 c #Conflicts: 1256000 | #Constraints: 98320 2377.37/2384.78 c #Conflicts: 1257000 | #Constraints: 99320 2377.37/2384.78 c #Conflicts: 1258000 | #Constraints: 100320 2377.37/2384.78 c #Conflicts: 1259000 | #Constraints: 101320 2377.37/2384.78 c #Conflicts: 1260000 | #Constraints: 102320 2377.37/2384.78 c #Conflicts: 1261000 | #Constraints: 103320 2377.37/2384.78 c #Conflicts: 1262000 | #Constraints: 104320 2377.37/2384.78 c #Conflicts: 1263000 | #Constraints: 105321 2377.37/2384.78 c #Conflicts: 1264000 | #Constraints: 106322 2377.37/2384.78 c #Conflicts: 1265000 | #Constraints: 107322 2377.37/2384.78 c #Conflicts: 1266000 | #Constraints: 108322 2377.37/2384.78 c #Conflicts: 1267000 | #Constraints: 109322 2377.37/2384.78 c #Conflicts: 1268000 | #Constraints: 110322 2377.37/2384.78 c #Conflicts: 1269000 | #Constraints: 111322 2412.39/2419.84 c #Conflicts: 1270000 | #Constraints: 112322 2412.39/2419.84 c #Conflicts: 1271000 | #Constraints: 113322 2412.39/2419.84 c #Conflicts: 1272000 | #Constraints: 114322 2412.39/2419.84 c #Conflicts: 1273000 | #Constraints: 115322 2412.39/2419.84 c #Conflicts: 1274000 | #Constraints: 116322 2412.39/2419.84 c #Conflicts: 1275000 | #Constraints: 117322 2412.39/2419.84 c #Conflicts: 1276000 | #Constraints: 118322 2412.39/2419.84 c #Conflicts: 1277000 | #Constraints: 119322 2412.39/2419.84 c #Conflicts: 1278000 | #Constraints: 120322 2412.39/2419.84 c INPROCESSING 2412.39/2419.84 c GARBAGE COLLECT 2412.39/2419.84 c rational objective 85 2470.21/2477.82 c #Conflicts: 1279000 | #Constraints: 64601 2470.21/2477.82 c #Conflicts: 1280000 | #Constraints: 65602 2470.21/2477.82 c #Conflicts: 1281000 | #Constraints: 66603 2470.21/2477.82 c #Conflicts: 1282000 | #Constraints: 67604 2470.21/2477.82 c #Conflicts: 1283000 | #Constraints: 68604 2470.21/2477.82 c #Conflicts: 1284000 | #Constraints: 69604 2470.21/2477.82 c #Conflicts: 1285000 | #Constraints: 70604 2470.21/2477.82 c #Conflicts: 1286000 | #Constraints: 71604 2470.21/2477.82 c #Conflicts: 1287000 | #Constraints: 72604 2470.21/2477.82 c #Conflicts: 1288000 | #Constraints: 73604 2470.21/2477.82 c #Conflicts: 1289000 | #Constraints: 74604 2470.21/2477.82 c #Conflicts: 1290000 | #Constraints: 75605 2470.21/2477.82 c #Conflicts: 1291000 | #Constraints: 76605 2470.21/2477.82 c #Conflicts: 1292000 | #Constraints: 77605 2470.21/2477.82 c #Conflicts: 1293000 | #Constraints: 78605 2470.21/2477.82 c #Conflicts: 1294000 | #Constraints: 79605 2470.21/2477.82 c #Conflicts: 1295000 | #Constraints: 80605 2470.21/2477.82 c #Conflicts: 1296000 | #Constraints: 81605 2470.21/2477.82 c #Conflicts: 1297000 | #Constraints: 82605 2470.21/2477.82 c #Conflicts: 1298000 | #Constraints: 83605 2470.21/2477.82 c #Conflicts: 1299000 | #Constraints: 84605 2470.21/2477.82 c #Conflicts: 1300000 | #Constraints: 85605 2470.21/2477.82 c #Conflicts: 1301000 | #Constraints: 86606 2470.21/2477.82 c #Conflicts: 1302000 | #Constraints: 87607 2470.21/2477.82 c #Conflicts: 1303000 | #Constraints: 88607 2470.21/2477.82 c INPROCESSING 2470.21/2477.82 c GARBAGE COLLECT 2470.21/2477.82 c rational objective 85 2511.79/2519.59 c #Conflicts: 1304000 | #Constraints: 48625 2511.79/2519.59 c #Conflicts: 1305000 | #Constraints: 49625 2511.79/2519.59 c #Conflicts: 1306000 | #Constraints: 50625 2511.79/2519.59 c #Conflicts: 1307000 | #Constraints: 51625 2511.79/2519.59 c #Conflicts: 1308000 | #Constraints: 52625 2511.79/2519.59 c #Conflicts: 1309000 | #Constraints: 53625 2511.79/2519.59 c #Conflicts: 1310000 | #Constraints: 54625 2511.79/2519.59 c #Conflicts: 1311000 | #Constraints: 55625 2511.79/2519.59 c #Conflicts: 1312000 | #Constraints: 56625 2511.79/2519.59 c #Conflicts: 1313000 | #Constraints: 57625 2511.79/2519.59 c #Conflicts: 1314000 | #Constraints: 58625 2511.79/2519.59 c #Conflicts: 1315000 | #Constraints: 59626 2511.79/2519.59 c #Conflicts: 1316000 | #Constraints: 60626 2511.79/2519.59 c #Conflicts: 1317000 | #Constraints: 61628 2511.79/2519.59 c #Conflicts: 1318000 | #Constraints: 62628 2511.79/2519.59 c #Conflicts: 1319000 | #Constraints: 63629 2511.79/2519.59 c #Conflicts: 1320000 | #Constraints: 64629 2511.79/2519.59 c #Conflicts: 1321000 | #Constraints: 65632 2511.79/2519.59 c #Conflicts: 1322000 | #Constraints: 66633 2511.79/2519.59 c #Conflicts: 1323000 | #Constraints: 67633 2511.79/2519.59 c #Conflicts: 1324000 | #Constraints: 68633 2511.79/2519.59 c #Conflicts: 1325000 | #Constraints: 69633 2511.79/2519.59 c #Conflicts: 1326000 | #Constraints: 70633 2511.79/2519.59 c #Conflicts: 1327000 | #Constraints: 71633 2511.79/2519.59 c #Conflicts: 1328000 | #Constraints: 72633 2511.79/2519.59 c INPROCESSING 2511.79/2519.59 c GARBAGE COLLECT 2511.79/2519.59 c rational objective 85 2567.24/2575.19 c #Conflicts: 1329000 | #Constraints: 40492 2567.24/2575.19 c #Conflicts: 1330000 | #Constraints: 41492 2567.24/2575.19 c #Conflicts: 1331000 | #Constraints: 42492 2567.24/2575.19 c #Conflicts: 1332000 | #Constraints: 43492 2567.24/2575.19 c #Conflicts: 1333000 | #Constraints: 44493 2567.24/2575.19 c #Conflicts: 1334000 | #Constraints: 45493 2567.24/2575.19 c #Conflicts: 1335000 | #Constraints: 46493 2567.24/2575.19 c #Conflicts: 1336000 | #Constraints: 47493 2567.24/2575.19 c #Conflicts: 1337000 | #Constraints: 48493 2567.24/2575.19 c #Conflicts: 1338000 | #Constraints: 49493 2567.24/2575.19 c #Conflicts: 1339000 | #Constraints: 50493 2567.24/2575.19 c #Conflicts: 1340000 | #Constraints: 51493 2567.24/2575.19 c #Conflicts: 1341000 | #Constraints: 52493 2567.24/2575.19 c #Conflicts: 1342000 | #Constraints: 53493 2567.24/2575.19 c #Conflicts: 1343000 | #Constraints: 54493 2567.24/2575.19 c #Conflicts: 1344000 | #Constraints: 55493 2567.24/2575.19 c #Conflicts: 1345000 | #Constraints: 56493 2567.24/2575.19 c #Conflicts: 1346000 | #Constraints: 57493 2567.24/2575.19 c #Conflicts: 1347000 | #Constraints: 58493 2567.24/2575.19 c #Conflicts: 1348000 | #Constraints: 59493 2567.24/2575.19 c #Conflicts: 1349000 | #Constraints: 60493 2567.24/2575.19 c #Conflicts: 1350000 | #Constraints: 61493 2567.24/2575.19 c #Conflicts: 1351000 | #Constraints: 62493 2567.24/2575.19 c #Conflicts: 1352000 | #Constraints: 63493 2567.24/2575.19 c #Conflicts: 1353000 | #Constraints: 64493 2567.24/2575.19 c #Conflicts: 1354000 | #Constraints: 65493 2567.24/2575.19 c INPROCESSING 2567.24/2575.19 c GARBAGE COLLECT 2567.24/2575.19 c rational objective 85 2604.92/2612.96 c #Conflicts: 1355000 | #Constraints: 37011 2604.92/2612.96 c #Conflicts: 1356000 | #Constraints: 38011 2604.92/2612.96 c #Conflicts: 1357000 | #Constraints: 39011 2604.92/2612.96 c #Conflicts: 1358000 | #Constraints: 40011 2604.92/2612.96 c #Conflicts: 1359000 | #Constraints: 41011 2604.92/2612.96 c #Conflicts: 1360000 | #Constraints: 42011 2604.92/2612.96 c #Conflicts: 1361000 | #Constraints: 43011 2604.92/2612.96 c #Conflicts: 1362000 | #Constraints: 44011 2604.92/2612.96 c #Conflicts: 1363000 | #Constraints: 45011 2604.92/2612.96 c #Conflicts: 1364000 | #Constraints: 46011 2604.92/2612.96 c #Conflicts: 1365000 | #Constraints: 47011 2604.92/2612.96 c #Conflicts: 1366000 | #Constraints: 48012 2604.92/2612.96 c #Conflicts: 1367000 | #Constraints: 49012 2604.92/2612.96 c #Conflicts: 1368000 | #Constraints: 50012 2604.92/2612.96 c #Conflicts: 1369000 | #Constraints: 51013 2604.92/2612.96 c #Conflicts: 1370000 | #Constraints: 52013 2604.92/2612.96 c #Conflicts: 1371000 | #Constraints: 53013 2604.92/2612.96 c #Conflicts: 1372000 | #Constraints: 54013 2604.92/2612.96 c #Conflicts: 1373000 | #Constraints: 55013 2604.92/2612.96 c #Conflicts: 1374000 | #Constraints: 56013 2604.92/2612.96 c #Conflicts: 1375000 | #Constraints: 57013 2604.92/2612.96 c #Conflicts: 1376000 | #Constraints: 58013 2604.92/2612.96 c #Conflicts: 1377000 | #Constraints: 59013 2604.92/2612.96 c #Conflicts: 1378000 | #Constraints: 60013 2604.92/2612.96 c #Conflicts: 1379000 | #Constraints: 61013 2604.92/2612.96 c #Conflicts: 1380000 | #Constraints: 62013 2604.92/2612.96 c INPROCESSING 2604.92/2612.96 c GARBAGE COLLECT 2604.92/2612.96 c rational objective 85 2791.01/2799.54 c #Conflicts: 1381000 | #Constraints: 35444 2791.01/2799.54 c #Conflicts: 1382000 | #Constraints: 36444 2791.01/2799.54 c #Conflicts: 1383000 | #Constraints: 37444 2791.01/2799.54 c #Conflicts: 1384000 | #Constraints: 38445 2791.01/2799.54 c #Conflicts: 1385000 | #Constraints: 39446 2791.01/2799.54 c #Conflicts: 1386000 | #Constraints: 40447 2791.01/2799.54 c #Conflicts: 1387000 | #Constraints: 41449 2791.01/2799.54 c #Conflicts: 1388000 | #Constraints: 42449 2791.01/2799.54 c #Conflicts: 1389000 | #Constraints: 43449 2791.01/2799.54 c #Conflicts: 1390000 | #Constraints: 44449 2791.01/2799.54 c #Conflicts: 1391000 | #Constraints: 45449 2791.01/2799.54 c #Conflicts: 1392000 | #Constraints: 46450 2791.01/2799.54 c #Conflicts: 1393000 | #Constraints: 47451 2791.01/2799.54 c #Conflicts: 1394000 | #Constraints: 48451 2791.01/2799.54 c #Conflicts: 1395000 | #Constraints: 49451 2791.01/2799.54 c #Conflicts: 1396000 | #Constraints: 50451 2791.01/2799.54 c #Conflicts: 1397000 | #Constraints: 51451 2791.01/2799.54 c #Conflicts: 1398000 | #Constraints: 52451 2791.01/2799.54 c #Conflicts: 1399000 | #Constraints: 53451 2791.01/2799.54 c #Conflicts: 1400000 | #Constraints: 54451 2791.01/2799.54 c #Conflicts: 1401000 | #Constraints: 55451 2791.01/2799.54 c #Conflicts: 1402000 | #Constraints: 56451 2791.01/2799.54 c #Conflicts: 1403000 | #Constraints: 57451 2791.01/2799.54 c #Conflicts: 1404000 | #Constraints: 58451 2791.01/2799.54 c #Conflicts: 1405000 | #Constraints: 59451 2791.01/2799.54 c #Conflicts: 1406000 | #Constraints: 60451 2791.01/2799.54 c #Conflicts: 1407000 | #Constraints: 61451 2791.01/2799.54 c #Conflicts: 1408000 | #Constraints: 62451 2791.01/2799.54 c #Conflicts: 1409000 | #Constraints: 63451 2791.01/2799.54 c #Conflicts: 1410000 | #Constraints: 64451 2791.01/2799.54 c #Conflicts: 1411000 | #Constraints: 65451 2791.01/2799.54 c #Conflicts: 1412000 | #Constraints: 66451 2791.01/2799.54 c #Conflicts: 1413000 | #Constraints: 67452 2791.01/2799.54 c #Conflicts: 1414000 | #Constraints: 68452 2791.01/2799.54 c #Conflicts: 1415000 | #Constraints: 69453 2791.01/2799.54 c #Conflicts: 1416000 | #Constraints: 70453 2791.01/2799.54 c #Conflicts: 1417000 | #Constraints: 71453 2791.01/2799.54 c #Conflicts: 1418000 | #Constraints: 72453 2791.01/2799.54 c #Conflicts: 1419000 | #Constraints: 73453 2791.01/2799.54 c #Conflicts: 1420000 | #Constraints: 74453 2791.01/2799.54 c #Conflicts: 1421000 | #Constraints: 75453 2791.01/2799.54 c #Conflicts: 1422000 | #Constraints: 76453 2791.01/2799.54 c #Conflicts: 1423000 | #Constraints: 77453 2791.01/2799.54 c #Conflicts: 1424000 | #Constraints: 78454 2791.01/2799.54 c #Conflicts: 1425000 | #Constraints: 79454 2791.01/2799.54 c #Conflicts: 1426000 | #Constraints: 80454 2791.01/2799.54 c #Conflicts: 1427000 | #Constraints: 81454 2791.01/2799.54 c #Conflicts: 1428000 | #Constraints: 82454 2791.01/2799.54 c #Conflicts: 1429000 | #Constraints: 83454 2791.01/2799.54 c #Conflicts: 1430000 | #Constraints: 84454 2791.01/2799.54 c #Conflicts: 1431000 | #Constraints: 85454 2791.01/2799.54 c #Conflicts: 1432000 | #Constraints: 86454 2791.01/2799.54 c #Conflicts: 1433000 | #Constraints: 87454 2791.01/2799.54 c #Conflicts: 1434000 | #Constraints: 88454 2791.01/2799.54 c #Conflicts: 1435000 | #Constraints: 89454 2791.01/2799.54 c #Conflicts: 1436000 | #Constraints: 90454 2791.01/2799.54 c #Conflicts: 1437000 | #Constraints: 91455 2791.01/2799.54 c #Conflicts: 1438000 | #Constraints: 92455 2791.01/2799.54 c #Conflicts: 1439000 | #Constraints: 93455 2791.01/2799.54 c #Conflicts: 1440000 | #Constraints: 94455 2791.01/2799.54 c #Conflicts: 1441000 | #Constraints: 95455 2791.01/2799.54 c #Conflicts: 1442000 | #Constraints: 96455 2791.01/2799.54 c #Conflicts: 1443000 | #Constraints: 97455 2791.01/2799.54 c #Conflicts: 1444000 | #Constraints: 98455 2791.01/2799.54 c #Conflicts: 1445000 | #Constraints: 99455 2791.01/2799.54 c #Conflicts: 1446000 | #Constraints: 100455 2791.01/2799.54 c #Conflicts: 1447000 | #Constraints: 101455 2791.01/2799.54 c #Conflicts: 1448000 | #Constraints: 102455 2791.01/2799.54 c #Conflicts: 1449000 | #Constraints: 103455 2791.01/2799.54 c #Conflicts: 1450000 | #Constraints: 104455 2791.01/2799.54 c #Conflicts: 1451000 | #Constraints: 105455 2791.01/2799.54 c #Conflicts: 1452000 | #Constraints: 106455 2791.01/2799.54 c #Conflicts: 1453000 | #Constraints: 107455 2791.01/2799.54 c #Conflicts: 1454000 | #Constraints: 108455 2791.01/2799.54 c #Conflicts: 1455000 | #Constraints: 109455 2791.01/2799.54 c #Conflicts: 1456000 | #Constraints: 110455 2791.01/2799.54 c #Conflicts: 1457000 | #Constraints: 111455 2791.01/2799.54 c #Conflicts: 1458000 | #Constraints: 112455 2791.01/2799.54 c #Conflicts: 1459000 | #Constraints: 113455 2866.90/2875.68 c #Conflicts: 1460000 | #Constraints: 114455 2866.90/2875.68 c #Conflicts: 1461000 | #Constraints: 115455 2866.90/2875.68 c #Conflicts: 1462000 | #Constraints: 116455 2866.90/2875.68 c #Conflicts: 1463000 | #Constraints: 117455 2866.90/2875.68 c #Conflicts: 1464000 | #Constraints: 118456 2866.90/2875.68 c #Conflicts: 1465000 | #Constraints: 119456 2866.90/2875.68 c #Conflicts: 1466000 | #Constraints: 120457 2866.90/2875.68 c #Conflicts: 1467000 | #Constraints: 121457 2866.90/2875.68 c #Conflicts: 1468000 | #Constraints: 122457 2866.90/2875.68 c #Conflicts: 1469000 | #Constraints: 123458 2866.90/2875.68 c #Conflicts: 1470000 | #Constraints: 124458 2866.90/2875.68 c #Conflicts: 1471000 | #Constraints: 125458 2866.90/2875.68 c #Conflicts: 1472000 | #Constraints: 126458 2866.90/2875.68 c #Conflicts: 1473000 | #Constraints: 127458 2866.90/2875.68 c #Conflicts: 1474000 | #Constraints: 128458 2866.90/2875.68 c INPROCESSING 2866.90/2875.68 c GARBAGE COLLECT 2866.90/2875.68 c rational objective 85 2933.31/2942.28 c #Conflicts: 1475000 | #Constraints: 68523 2933.31/2942.28 c #Conflicts: 1476000 | #Constraints: 69523 2933.31/2942.28 c #Conflicts: 1477000 | #Constraints: 70523 2933.31/2942.28 c #Conflicts: 1478000 | #Constraints: 71523 2933.31/2942.28 c #Conflicts: 1479000 | #Constraints: 72523 2933.31/2942.28 c #Conflicts: 1480000 | #Constraints: 73523 2933.31/2942.28 c #Conflicts: 1481000 | #Constraints: 74523 2933.31/2942.28 c #Conflicts: 1482000 | #Constraints: 75523 2933.31/2942.28 c #Conflicts: 1483000 | #Constraints: 76523 2933.31/2942.28 c #Conflicts: 1484000 | #Constraints: 77523 2933.31/2942.28 c #Conflicts: 1485000 | #Constraints: 78523 2933.31/2942.28 c #Conflicts: 1486000 | #Constraints: 79523 2933.31/2942.28 c #Conflicts: 1487000 | #Constraints: 80523 2933.31/2942.28 c #Conflicts: 1488000 | #Constraints: 81523 2933.31/2942.28 c #Conflicts: 1489000 | #Constraints: 82523 2933.31/2942.28 c #Conflicts: 1490000 | #Constraints: 83523 2933.31/2942.28 c #Conflicts: 1491000 | #Constraints: 84523 2933.31/2942.28 c #Conflicts: 1492000 | #Constraints: 85523 2933.31/2942.28 c #Conflicts: 1493000 | #Constraints: 86523 2933.31/2942.28 c #Conflicts: 1494000 | #Constraints: 87524 2933.31/2942.28 c #Conflicts: 1495000 | #Constraints: 88524 2933.31/2942.28 c #Conflicts: 1496000 | #Constraints: 89524 2933.31/2942.28 c #Conflicts: 1497000 | #Constraints: 90524 2933.31/2942.28 c #Conflicts: 1498000 | #Constraints: 91525 2933.31/2942.28 c #Conflicts: 1499000 | #Constraints: 92525 2933.31/2942.28 c #Conflicts: 1500000 | #Constraints: 93525 2933.31/2942.28 c #Conflicts: 1501000 | #Constraints: 94525 2933.31/2942.28 c INPROCESSING 2933.31/2942.28 c GARBAGE COLLECT 2933.31/2942.28 c rational objective 85 2977.80/2986.82 c #Conflicts: 1502000 | #Constraints: 51481 2977.80/2986.82 c #Conflicts: 1503000 | #Constraints: 52481 2977.80/2986.82 c #Conflicts: 1504000 | #Constraints: 53481 2977.80/2986.82 c #Conflicts: 1505000 | #Constraints: 54481 2977.80/2986.82 c #Conflicts: 1506000 | #Constraints: 55481 2977.80/2986.82 c #Conflicts: 1507000 | #Constraints: 56481 2977.80/2986.82 c #Conflicts: 1508000 | #Constraints: 57481 2977.80/2986.82 c #Conflicts: 1509000 | #Constraints: 58482 2977.80/2986.82 c #Conflicts: 1510000 | #Constraints: 59482 2977.80/2986.82 c #Conflicts: 1511000 | #Constraints: 60482 2977.80/2986.82 c #Conflicts: 1512000 | #Constraints: 61482 2977.80/2986.82 c #Conflicts: 1513000 | #Constraints: 62482 2977.80/2986.82 c #Conflicts: 1514000 | #Constraints: 63482 2977.80/2986.82 c #Conflicts: 1515000 | #Constraints: 64482 2977.80/2986.82 c #Conflicts: 1516000 | #Constraints: 65482 2977.80/2986.82 c #Conflicts: 1517000 | #Constraints: 66483 2977.80/2986.82 c #Conflicts: 1518000 | #Constraints: 67484 2977.80/2986.82 c #Conflicts: 1519000 | #Constraints: 68484 2977.80/2986.82 c #Conflicts: 1520000 | #Constraints: 69484 2977.80/2986.82 c #Conflicts: 1521000 | #Constraints: 70484 2977.80/2986.82 c #Conflicts: 1522000 | #Constraints: 71485 2977.80/2986.82 c #Conflicts: 1523000 | #Constraints: 72485 2977.80/2986.82 c #Conflicts: 1524000 | #Constraints: 73485 2977.80/2986.82 c #Conflicts: 1525000 | #Constraints: 74485 2977.80/2986.82 c #Conflicts: 1526000 | #Constraints: 75485 2977.80/2986.82 c #Conflicts: 1527000 | #Constraints: 76485 2977.80/2986.82 c #Conflicts: 1528000 | #Constraints: 77485 2977.80/2986.82 c INPROCESSING 2977.80/2986.82 c GARBAGE COLLECT 2977.80/2986.82 c rational objective 85 3024.46/3033.62 c #Conflicts: 1529000 | #Constraints: 42782 3024.46/3033.62 c #Conflicts: 1530000 | #Constraints: 43782 3024.46/3033.62 c #Conflicts: 1531000 | #Constraints: 44782 3024.46/3033.62 c #Conflicts: 1532000 | #Constraints: 45782 3024.46/3033.62 c #Conflicts: 1533000 | #Constraints: 46782 3024.46/3033.62 c #Conflicts: 1534000 | #Constraints: 47782 3024.46/3033.62 c #Conflicts: 1535000 | #Constraints: 48782 3024.46/3033.62 c #Conflicts: 1536000 | #Constraints: 49783 3024.46/3033.62 c #Conflicts: 1537000 | #Constraints: 50783 3024.46/3033.62 c #Conflicts: 1538000 | #Constraints: 51783 3024.46/3033.62 c #Conflicts: 1539000 | #Constraints: 52783 3024.46/3033.62 c #Conflicts: 1540000 | #Constraints: 53783 3024.46/3033.62 c #Conflicts: 1541000 | #Constraints: 54783 3024.46/3033.62 c #Conflicts: 1542000 | #Constraints: 55783 3024.46/3033.62 c #Conflicts: 1543000 | #Constraints: 56783 3024.46/3033.62 c #Conflicts: 1544000 | #Constraints: 57783 3024.46/3033.62 c #Conflicts: 1545000 | #Constraints: 58783 3024.46/3033.62 c #Conflicts: 1546000 | #Constraints: 59783 3024.46/3033.62 c #Conflicts: 1547000 | #Constraints: 60783 3024.46/3033.62 c #Conflicts: 1548000 | #Constraints: 61783 3024.46/3033.62 c #Conflicts: 1549000 | #Constraints: 62784 3024.46/3033.62 c #Conflicts: 1550000 | #Constraints: 63784 3024.46/3033.62 c #Conflicts: 1551000 | #Constraints: 64784 3024.46/3033.62 c #Conflicts: 1552000 | #Constraints: 65784 3024.46/3033.62 c #Conflicts: 1553000 | #Constraints: 66784 3024.46/3033.62 c #Conflicts: 1554000 | #Constraints: 67784 3024.46/3033.62 c #Conflicts: 1555000 | #Constraints: 68784 3024.46/3033.62 c #Conflicts: 1556000 | #Constraints: 69784 3024.46/3033.62 c INPROCESSING 3024.46/3033.62 c GARBAGE COLLECT 3024.46/3033.62 c rational objective 85 3065.95/3075.25 c #Conflicts: 1557000 | #Constraints: 39193 3065.95/3075.25 c #Conflicts: 1558000 | #Constraints: 40193 3065.95/3075.25 c #Conflicts: 1559000 | #Constraints: 41193 3065.95/3075.25 c #Conflicts: 1560000 | #Constraints: 42193 3065.95/3075.25 c #Conflicts: 1561000 | #Constraints: 43194 3065.95/3075.25 c #Conflicts: 1562000 | #Constraints: 44194 3065.95/3075.25 c #Conflicts: 1563000 | #Constraints: 45194 3065.95/3075.25 c #Conflicts: 1564000 | #Constraints: 46194 3065.95/3075.25 c #Conflicts: 1565000 | #Constraints: 47195 3065.95/3075.25 c #Conflicts: 1566000 | #Constraints: 48196 3065.95/3075.25 c #Conflicts: 1567000 | #Constraints: 49196 3065.95/3075.25 c #Conflicts: 1568000 | #Constraints: 50196 3065.95/3075.25 c #Conflicts: 1569000 | #Constraints: 51196 3065.95/3075.25 c #Conflicts: 1570000 | #Constraints: 52196 3065.95/3075.25 c #Conflicts: 1571000 | #Constraints: 53197 3065.95/3075.25 c #Conflicts: 1572000 | #Constraints: 54197 3065.95/3075.25 c #Conflicts: 1573000 | #Constraints: 55197 3065.95/3075.25 c #Conflicts: 1574000 | #Constraints: 56197 3065.95/3075.25 c #Conflicts: 1575000 | #Constraints: 57197 3065.95/3075.25 c #Conflicts: 1576000 | #Constraints: 58197 3065.95/3075.25 c #Conflicts: 1577000 | #Constraints: 59197 3065.95/3075.25 c #Conflicts: 1578000 | #Constraints: 60197 3065.95/3075.25 c #Conflicts: 1579000 | #Constraints: 61197 3065.95/3075.25 c #Conflicts: 1580000 | #Constraints: 62197 3065.95/3075.25 c #Conflicts: 1581000 | #Constraints: 63197 3065.95/3075.25 c #Conflicts: 1582000 | #Constraints: 64198 3065.95/3075.25 c #Conflicts: 1583000 | #Constraints: 65198 3065.95/3075.25 c #Conflicts: 1584000 | #Constraints: 66198 3065.95/3075.25 c INPROCESSING 3065.95/3075.25 c GARBAGE COLLECT 3065.95/3075.25 c rational objective 85 3324.01/3333.90 c #Conflicts: 1585000 | #Constraints: 37512 3324.01/3333.90 c #Conflicts: 1586000 | #Constraints: 38513 3324.01/3333.90 c #Conflicts: 1587000 | #Constraints: 39513 3324.01/3333.90 c #Conflicts: 1588000 | #Constraints: 40513 3324.01/3333.90 c #Conflicts: 1589000 | #Constraints: 41513 3324.01/3333.90 c #Conflicts: 1590000 | #Constraints: 42513 3324.01/3333.90 c #Conflicts: 1591000 | #Constraints: 43513 3324.01/3333.90 c #Conflicts: 1592000 | #Constraints: 44513 3324.01/3333.90 c #Conflicts: 1593000 | #Constraints: 45513 3324.01/3333.90 c #Conflicts: 1594000 | #Constraints: 46513 3324.01/3333.90 c #Conflicts: 1595000 | #Constraints: 47513 3324.01/3333.90 c #Conflicts: 1596000 | #Constraints: 48513 3324.01/3333.90 c #Conflicts: 1597000 | #Constraints: 49513 3324.01/3333.90 c #Conflicts: 1598000 | #Constraints: 50513 3324.01/3333.90 c #Conflicts: 1599000 | #Constraints: 51513 3324.01/3333.90 c #Conflicts: 1600000 | #Constraints: 52514 3324.01/3333.90 c #Conflicts: 1601000 | #Constraints: 53514 3324.01/3333.90 c #Conflicts: 1602000 | #Constraints: 54514 3324.01/3333.90 c #Conflicts: 1603000 | #Constraints: 55514 3324.01/3333.90 c #Conflicts: 1604000 | #Constraints: 56514 3324.01/3333.90 c #Conflicts: 1605000 | #Constraints: 57514 3324.01/3333.90 c #Conflicts: 1606000 | #Constraints: 58514 3324.01/3333.90 c #Conflicts: 1607000 | #Constraints: 59514 3324.01/3333.90 c #Conflicts: 1608000 | #Constraints: 60514 3324.01/3333.90 c #Conflicts: 1609000 | #Constraints: 61514 3324.01/3333.90 c #Conflicts: 1610000 | #Constraints: 62514 3324.01/3333.90 c #Conflicts: 1611000 | #Constraints: 63514 3324.01/3333.90 c #Conflicts: 1612000 | #Constraints: 64514 3324.01/3333.90 c #Conflicts: 1613000 | #Constraints: 65515 3324.01/3333.90 c #Conflicts: 1614000 | #Constraints: 66515 3324.01/3333.90 c #Conflicts: 1615000 | #Constraints: 67516 3324.01/3333.90 c #Conflicts: 1616000 | #Constraints: 68516 3324.01/3333.90 c #Conflicts: 1617000 | #Constraints: 69516 3324.01/3333.90 c #Conflicts: 1618000 | #Constraints: 70516 3324.01/3333.90 c #Conflicts: 1619000 | #Constraints: 71516 3324.01/3333.90 c #Conflicts: 1620000 | #Constraints: 72516 3324.01/3333.90 c #Conflicts: 1621000 | #Constraints: 73516 3324.01/3333.90 c #Conflicts: 1622000 | #Constraints: 74516 3324.01/3333.90 c #Conflicts: 1623000 | #Constraints: 75516 3324.01/3333.90 c #Conflicts: 1624000 | #Constraints: 76516 3324.01/3333.90 c #Conflicts: 1625000 | #Constraints: 77516 3324.01/3333.90 c #Conflicts: 1626000 | #Constraints: 78516 3324.01/3333.90 c #Conflicts: 1627000 | #Constraints: 79516 3324.01/3333.90 c #Conflicts: 1628000 | #Constraints: 80517 3324.01/3333.90 c #Conflicts: 1629000 | #Constraints: 81517 3324.01/3333.90 c #Conflicts: 1630000 | #Constraints: 82517 3324.01/3333.90 c #Conflicts: 1631000 | #Constraints: 83517 3324.01/3333.90 c #Conflicts: 1632000 | #Constraints: 84517 3324.01/3333.90 c #Conflicts: 1633000 | #Constraints: 85518 3324.01/3333.90 c #Conflicts: 1634000 | #Constraints: 86519 3324.01/3333.90 c #Conflicts: 1635000 | #Constraints: 87519 3324.01/3333.90 c #Conflicts: 1636000 | #Constraints: 88519 3324.01/3333.90 c #Conflicts: 1637000 | #Constraints: 89519 3324.01/3333.90 c #Conflicts: 1638000 | #Constraints: 90519 3324.01/3333.90 c #Conflicts: 1639000 | #Constraints: 91519 3324.01/3333.90 c #Conflicts: 1640000 | #Constraints: 92519 3324.01/3333.90 c #Conflicts: 1641000 | #Constraints: 93519 3324.01/3333.90 c #Conflicts: 1642000 | #Constraints: 94519 3324.01/3333.90 c #Conflicts: 1643000 | #Constraints: 95519 3324.01/3333.90 c #Conflicts: 1644000 | #Constraints: 96519 3324.01/3333.90 c #Conflicts: 1645000 | #Constraints: 97519 3324.01/3333.90 c #Conflicts: 1646000 | #Constraints: 98520 3324.01/3333.90 c #Conflicts: 1647000 | #Constraints: 99520 3324.01/3333.90 c #Conflicts: 1648000 | #Constraints: 100520 3324.01/3333.90 c #Conflicts: 1649000 | #Constraints: 101520 3324.01/3333.90 c #Conflicts: 1650000 | #Constraints: 102520 3324.01/3333.90 c #Conflicts: 1651000 | #Constraints: 103520 3324.01/3333.90 c #Conflicts: 1652000 | #Constraints: 104520 3324.01/3333.90 c #Conflicts: 1653000 | #Constraints: 105520 3324.01/3333.90 c #Conflicts: 1654000 | #Constraints: 106520 3324.01/3333.90 c #Conflicts: 1655000 | #Constraints: 107520 3324.01/3333.90 c #Conflicts: 1656000 | #Constraints: 108520 3324.01/3333.90 c #Conflicts: 1657000 | #Constraints: 109521 3324.01/3333.90 c #Conflicts: 1658000 | #Constraints: 110521 3324.01/3333.90 c #Conflicts: 1659000 | #Constraints: 111521 3324.01/3333.90 c #Conflicts: 1660000 | #Constraints: 112521 3324.01/3333.90 c #Conflicts: 1661000 | #Constraints: 113521 3324.01/3333.90 c #Conflicts: 1662000 | #Constraints: 114521 3324.01/3333.90 c #Conflicts: 1663000 | #Constraints: 115521 3423.77/3433.98 c #Conflicts: 1664000 | #Constraints: 116521 3423.77/3433.98 c #Conflicts: 1665000 | #Constraints: 117521 3423.77/3433.98 c #Conflicts: 1666000 | #Constraints: 118521 3423.77/3433.98 c #Conflicts: 1667000 | #Constraints: 119521 3423.77/3433.98 c #Conflicts: 1668000 | #Constraints: 120521 3423.77/3433.98 c #Conflicts: 1669000 | #Constraints: 121521 3423.77/3433.98 c #Conflicts: 1670000 | #Constraints: 122521 3423.77/3433.98 c #Conflicts: 1671000 | #Constraints: 123521 3423.77/3433.98 c #Conflicts: 1672000 | #Constraints: 124521 3423.77/3433.98 c #Conflicts: 1673000 | #Constraints: 125521 3423.77/3433.98 c #Conflicts: 1674000 | #Constraints: 126522 3423.77/3433.98 c #Conflicts: 1675000 | #Constraints: 127522 3423.77/3433.98 c #Conflicts: 1676000 | #Constraints: 128522 3423.77/3433.98 c #Conflicts: 1677000 | #Constraints: 129522 3423.77/3433.98 c #Conflicts: 1678000 | #Constraints: 130522 3423.77/3433.98 c #Conflicts: 1679000 | #Constraints: 131522 3423.77/3433.98 c #Conflicts: 1680000 | #Constraints: 132522 3423.77/3433.98 c #Conflicts: 1681000 | #Constraints: 133522 3423.77/3433.98 c #Conflicts: 1682000 | #Constraints: 134522 3423.77/3433.98 c #Conflicts: 1683000 | #Constraints: 135522 3423.77/3433.98 c #Conflicts: 1684000 | #Constraints: 136522 3423.77/3433.98 c INPROCESSING 3423.77/3433.98 c GARBAGE COLLECT 3423.77/3433.98 c rational objective 85 3493.71/3504.08 c #Conflicts: 1685000 | #Constraints: 72275 3493.71/3504.08 c #Conflicts: 1686000 | #Constraints: 73275 3493.71/3504.08 c #Conflicts: 1687000 | #Constraints: 74276 3493.71/3504.08 c #Conflicts: 1688000 | #Constraints: 75277 3493.71/3504.08 c #Conflicts: 1689000 | #Constraints: 76277 3493.71/3504.08 c #Conflicts: 1690000 | #Constraints: 77277 3493.71/3504.08 c #Conflicts: 1691000 | #Constraints: 78277 3493.71/3504.08 c #Conflicts: 1692000 | #Constraints: 79277 3493.71/3504.08 c #Conflicts: 1693000 | #Constraints: 80277 3493.71/3504.08 c #Conflicts: 1694000 | #Constraints: 81277 3493.71/3504.08 c #Conflicts: 1695000 | #Constraints: 82277 3493.71/3504.08 c #Conflicts: 1696000 | #Constraints: 83277 3493.71/3504.08 c #Conflicts: 1697000 | #Constraints: 84277 3493.71/3504.08 c #Conflicts: 1698000 | #Constraints: 85277 3493.71/3504.08 c #Conflicts: 1699000 | #Constraints: 86277 3493.71/3504.08 c #Conflicts: 1700000 | #Constraints: 87277 3493.71/3504.08 c #Conflicts: 1701000 | #Constraints: 88277 3493.71/3504.08 c #Conflicts: 1702000 | #Constraints: 89277 3493.71/3504.08 c #Conflicts: 1703000 | #Constraints: 90277 3493.71/3504.08 c #Conflicts: 1704000 | #Constraints: 91277 3493.71/3504.08 c #Conflicts: 1705000 | #Constraints: 92277 3493.71/3504.08 c #Conflicts: 1706000 | #Constraints: 93277 3493.71/3504.08 c #Conflicts: 1707000 | #Constraints: 94277 3493.71/3504.08 c #Conflicts: 1708000 | #Constraints: 95277 3493.71/3504.08 c #Conflicts: 1709000 | #Constraints: 96277 3493.71/3504.08 c #Conflicts: 1710000 | #Constraints: 97277 3493.71/3504.08 c #Conflicts: 1711000 | #Constraints: 98277 3493.71/3504.08 c #Conflicts: 1712000 | #Constraints: 99277 3493.71/3504.08 c #Conflicts: 1713000 | #Constraints: 100277 3493.71/3504.08 c INPROCESSING 3493.71/3504.08 c GARBAGE COLLECT 3493.71/3504.08 c rational objective 85 3544.40/3554.83 c #Conflicts: 1714000 | #Constraints: 54137 3544.40/3554.83 c #Conflicts: 1715000 | #Constraints: 55137 3544.40/3554.83 c #Conflicts: 1716000 | #Constraints: 56137 3544.40/3554.83 c #Conflicts: 1717000 | #Constraints: 57137 3544.40/3554.83 c #Conflicts: 1718000 | #Constraints: 58138 3544.40/3554.83 c #Conflicts: 1719000 | #Constraints: 59138 3544.40/3554.83 c #Conflicts: 1720000 | #Constraints: 60138 3544.40/3554.83 c #Conflicts: 1721000 | #Constraints: 61138 3544.40/3554.83 c #Conflicts: 1722000 | #Constraints: 62138 3544.40/3554.83 c #Conflicts: 1723000 | #Constraints: 63138 3544.40/3554.83 c #Conflicts: 1724000 | #Constraints: 64138 3544.40/3554.83 c #Conflicts: 1725000 | #Constraints: 65138 3544.40/3554.83 c #Conflicts: 1726000 | #Constraints: 66138 3544.40/3554.83 c #Conflicts: 1727000 | #Constraints: 67138 3544.40/3554.83 c #Conflicts: 1728000 | #Constraints: 68138 3544.40/3554.83 c #Conflicts: 1729000 | #Constraints: 69139 3544.40/3554.83 c #Conflicts: 1730000 | #Constraints: 70139 3544.40/3554.83 c #Conflicts: 1731000 | #Constraints: 71139 3544.40/3554.83 c #Conflicts: 1732000 | #Constraints: 72139 3544.40/3554.83 c #Conflicts: 1733000 | #Constraints: 73139 3544.40/3554.83 c #Conflicts: 1734000 | #Constraints: 74139 3544.40/3554.83 c #Conflicts: 1735000 | #Constraints: 75139 3544.40/3554.83 c #Conflicts: 1736000 | #Constraints: 76139 3544.40/3554.83 c #Conflicts: 1737000 | #Constraints: 77139 3544.40/3554.83 c #Conflicts: 1738000 | #Constraints: 78139 3544.40/3554.83 c #Conflicts: 1739000 | #Constraints: 79139 3544.40/3554.83 c #Conflicts: 1740000 | #Constraints: 80139 3544.40/3554.83 c #Conflicts: 1741000 | #Constraints: 81139 3544.40/3554.83 c #Conflicts: 1742000 | #Constraints: 82139 3544.40/3554.83 c #Conflicts: 1743000 | #Constraints: 83139 3544.40/3554.83 c INPROCESSING 3544.40/3554.83 c GARBAGE COLLECT 3544.40/3554.83 c rational objective 85 3596.98/3607.53 c #Conflicts: 1744000 | #Constraints: 46106 3596.98/3607.53 c #Conflicts: 1745000 | #Constraints: 47106 3596.98/3607.53 c #Conflicts: 1746000 | #Constraints: 48106 3596.98/3607.53 c #Conflicts: 1747000 | #Constraints: 49106 3596.98/3607.53 c #Conflicts: 1748000 | #Constraints: 50106 3596.98/3607.53 c #Conflicts: 1749000 | #Constraints: 51106 3596.98/3607.53 c #Conflicts: 1750000 | #Constraints: 52106 3596.98/3607.53 c #Conflicts: 1751000 | #Constraints: 53106 3596.98/3607.53 c #Conflicts: 1752000 | #Constraints: 54106 3596.98/3607.53 c #Conflicts: 1753000 | #Constraints: 55106 3596.98/3607.53 c #Conflicts: 1754000 | #Constraints: 56106 3596.98/3607.53 c #Conflicts: 1755000 | #Constraints: 57106 3596.98/3607.53 c #Conflicts: 1756000 | #Constraints: 58106 3596.98/3607.53 c #Conflicts: 1757000 | #Constraints: 59106 3596.98/3607.53 c #Conflicts: 1758000 | #Constraints: 60106 3596.98/3607.53 c #Conflicts: 1759000 | #Constraints: 61107 3596.98/3607.53 c #Conflicts: 1760000 | #Constraints: 62107 3596.98/3607.53 c #Conflicts: 1761000 | #Constraints: 63107 3596.98/3607.53 c #Conflicts: 1762000 | #Constraints: 64107 3596.98/3607.53 c #Conflicts: 1763000 | #Constraints: 65107 3596.98/3607.53 c #Conflicts: 1764000 | #Constraints: 66107 3596.98/3607.53 c #Conflicts: 1765000 | #Constraints: 67107 3596.98/3607.53 c #Conflicts: 1766000 | #Constraints: 68107 3596.98/3607.53 c #Conflicts: 1767000 | #Constraints: 69108 3596.98/3607.53 c #Conflicts: 1768000 | #Constraints: 70108 3596.98/3607.53 c #Conflicts: 1769000 | #Constraints: 71108 3596.98/3607.53 c #Conflicts: 1770000 | #Constraints: 72108 3596.98/3607.53 c #Conflicts: 1771000 | #Constraints: 73108 3596.98/3607.53 c #Conflicts: 1772000 | #Constraints: 74108 3596.98/3607.53 c INPROCESSING 3596.98/3607.53 c GARBAGE COLLECT 3596.98/3607.53 c rational objective 85 3600.07/3610.60 c #Conflicts: 1773000 | #Constraints: 41264 3600.07/3610.60 c #Conflicts: 1774000 | #Constraints: 42264 3600.07/3610.60 c #Conflicts: 1775000 | #Constraints: 43264 3600.07/3610.60 c #Conflicts: 1776000 | #Constraints: 44264 3600.07/3610.60 c Program interrupted by user. 3600.07/3610.63 c cpu time 3561.18 s 3600.07/3610.63 c deterministic time 414720397326 4.15e+11 3600.07/3610.63 c optimization time 2.95058 s 3600.07/3610.63 c total solve time 3558.21 s 3600.07/3610.63 c core-guided solve time 0 s 3600.07/3610.63 c propagation time 2426.07 s 3600.07/3610.63 c conflict analysis time 831.094 s 3600.07/3610.63 c propagations 732472373 3600.07/3610.63 c resolve steps 65680831 3600.07/3610.63 c decisions 12722909 3600.07/3610.63 c conflicts 1776412 3600.07/3610.63 c restarts 3446 3600.07/3610.63 c inprocessing phases 84 3600.07/3610.63 c input clauses 5867 3600.07/3610.63 c input cardinalities 85 3600.07/3610.63 c input general constraints 0 3600.07/3610.63 c input average constraint length 6.23 3600.07/3610.63 c input average constraint degree 1.94 3600.07/3610.63 c learned clauses 1235435 3600.07/3610.63 c learned cardinalities 36144 3600.07/3610.63 c learned general constraints 505051 3600.07/3610.63 c learned average constraint length 869.65 3600.07/3610.63 c learned average constraint degree 74013383.55 3600.07/3610.63 c watched constraints 436869 3600.07/3610.63 c counting constraints 68182 3600.07/3610.63 c gcd simplifications 6056 3600.07/3610.63 c detected cardinalities 1810 3600.07/3610.63 c weakened non-implied lits 254671881 3600.07/3610.63 c weakened non-implying lits 601977 3600.07/3610.63 c original variables 5780 3600.07/3610.63 c clausal propagations 270588463 3600.07/3610.63 c cardinality propagations 248993155 3600.07/3610.63 c watched propagations 66802958 3600.07/3610.63 c counting propagations 140341654 3600.07/3610.63 c watch lookups 32115817599 3600.07/3610.63 c watch backjump lookups 25278947954 3600.07/3610.63 c watch checks 301344690933 3600.07/3610.63 c propagation checks 49887641214 3600.07/3610.63 c constraint additions 4598800536 3600.07/3610.63 c trail pops 746966189 3600.07/3610.63 c formula constraints 5952 3600.07/3610.63 c learned constraints 1776192 3600.07/3610.63 c bound constraints 0 3600.07/3610.63 c core-guided constraints 0 3600.07/3610.63 c encountered formula constraints 37500741 3600.07/3610.63 c encountered learned constraints 29951186 3600.07/3610.63 c encountered bound constraints 0 3600.07/3610.63 c encountered core-guided constraints 0 3600.07/3610.63 c LP total time 757.233 s 3600.07/3610.63 c LP solve time 749.03 s 3600.07/3610.63 c LP constraints added 11227 3600.07/3610.63 c LP constraints removed 5219 3600.07/3610.63 c LP pivots internal 1777226 3600.07/3610.63 c LP pivots root 560392 3600.07/3610.63 c LP calls 371 3600.07/3610.63 c LP optimalities 147 3600.07/3610.63 c LP no pivot count 3 3600.07/3610.63 c LP infeasibilities 219 3600.07/3610.63 c LP valid Farkas constraints 219 3600.07/3610.63 c LP learned Farkas constraints 219 3600.07/3610.63 c LP basis resets 0 3600.07/3610.63 c LP cycling count 0 3600.07/3610.63 c LP singular count 0 3600.07/3610.63 c LP no primal count 0 3600.07/3610.63 c LP no farkas count 0 3600.07/3610.63 c LP other issue count 0 3600.07/3610.63 c LP Gomory cuts 0 3600.07/3610.63 c LP learned cuts 5413 3600.07/3610.63 c LP deleted cuts 5263 3600.07/3610.63 c LP encountered Gomory constraints 0 3600.07/3610.63 c LP encountered Farkas constraints 3569 3600.07/3610.63 c LP encountered learned Farkas constraints 1528 3600.07/3610.63 c CG auxiliary variables introduced 0 3600.07/3610.63 c CG solutions found 0 3600.07/3610.63 c CG cores constructed 0 3600.07/3610.63 c CG core cardinality constraints returned 0 3600.07/3610.63 c CG unit cores 0 3600.07/3610.63 c CG single cores 0 3600.07/3610.63 c CG blocks removed during cardinality reduction 0 3600.07/3610.63 c CG first core best 0 3600.07/3610.63 c CG decision core best 0 3600.07/3610.63 c CG core reduction tie 0 3600.07/3610.63 c CG core degree average 0.00 3600.07/3610.63 c CG core slack average 0.00 3600.07/3610.63 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (42176 MiB free)
memory of node 1: 64473 MiB (18827 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460668-1722069672/watcher-4460668-1722069672 -o /tmp/evaluation-result-4460668-1722069672/solver-4460668-1722069672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722064836-375112 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460668-1722069672 --lp-cut-gomory=0 HOME/instance-4460668-1722069672.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=378257, runsolver pid=378254
Current StackSize limit: 8192 KiB
[startup+0.100441 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 378258
/proc/meminfo: memFree=62447032/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=48348 memory=18688 CPUtime=0.09 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 3253 0 0 0 8 1 0 0 20 0 1 0 43496647 49508352 4672 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 12087 4672 1698 992 0 3945 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48348 KiB
Current children cumulated memory: 18688 KiB
[startup+0.20644 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 378258
/proc/meminfo: memFree=62439640/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=49064 memory=19480 CPUtime=0.19 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 3440 0 0 0 18 1 0 0 20 0 1 0 43496647 50241536 4870 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 12266 4870 1698 992 0 4124 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49064 KiB
Current children cumulated memory: 19480 KiB
[startup+0.30644 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 378258
/proc/meminfo: memFree=62432816/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=49436 memory=19744 CPUtime=0.28 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 3496 0 0 0 27 1 0 0 20 0 1 0 43496647 50622464 4936 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 12359 4936 1698 992 0 4217 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 49436 KiB
Current children cumulated memory: 19744 KiB
[startup+0.70044 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 378258
/proc/meminfo: memFree=62424088/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=49436 memory=19744 CPUtime=0.66 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 3507 0 0 0 64 2 0 0 20 0 1 0 43496647 50622464 4936 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 12359 4936 1698 992 0 4217 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 49436 KiB
Current children cumulated memory: 19744 KiB
[startup+1.50046 s]
/proc/loadavg: 4.09 4.12 4.09 6/264 378258
/proc/meminfo: memFree=62411336/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=50740 memory=23284 CPUtime=1.45 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 3839 0 0 0 138 7 0 0 20 0 1 0 43496647 51957760 5821 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 12685 5821 1745 992 0 4543 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 50740 KiB
Current children cumulated memory: 23284 KiB
[startup+3.10589 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 378258
/proc/meminfo: memFree=62295832/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=52136 memory=25204 CPUtime=3.05 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 4193 0 0 0 295 10 0 0 20 0 1 0 43496647 53387264 6301 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 13034 6301 1835 992 0 4892 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 52136 KiB
Current children cumulated memory: 25204 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 378258
/proc/meminfo: memFree=62131244/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=56280 memory=27440 CPUtime=6.24 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 4788 0 0 0 605 19 0 0 20 0 1 0 43496647 57630720 6860 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 14070 6860 1835 992 0 5928 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 56280 KiB
Current children cumulated memory: 27440 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 378259
/proc/meminfo: memFree=61800564/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=57456 memory=30080 CPUtime=12.62 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 5425 0 0 0 1229 33 0 0 20 0 1 0 43496647 58834944 7520 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 14364 7520 1835 992 0 6222 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 57456 KiB
Current children cumulated memory: 30080 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 378261
/proc/meminfo: memFree=61094956/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=68024 memory=40480 CPUtime=25.39 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 7550 0 0 0 2477 62 0 0 20 0 1 0 43496647 69656576 10120 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 17006 10120 1835 992 0 8864 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 40480 KiB
[startup+51.106 s]
/proc/loadavg: 4.56 4.24 4.13 5/264 378266
/proc/meminfo: memFree=59571136/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=90628 memory=54764 CPUtime=50.94 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 10667 0 0 0 4982 112 0 0 20 0 1 0 43496647 92803072 13691 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 22657 13691 1835 992 0 14515 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 90628 KiB
Current children cumulated memory: 54764 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.22 4.13 5/263 378275
/proc/meminfo: memFree=57111996/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=94624 memory=58164 CPUtime=101.98 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 11737 0 0 0 9989 209 0 0 20 0 1 0 43496647 96894976 14541 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 23656 14541 1835 992 0 15514 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 94624 KiB
Current children cumulated memory: 58164 KiB
[startup+162.3 s]
/proc/loadavg: 4.37 4.24 4.14 5/262 378286
/proc/meminfo: memFree=54351880/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=213816 memory=148264 CPUtime=161.8 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 17946 0 0 0 15868 312 0 0 20 0 1 0 43496647 218947584 37066 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 53454 37066 1835 992 0 45312 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 213816 KiB
Current children cumulated memory: 148264 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.26 4.15 5/261 378297
/proc/meminfo: memFree=51591536/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=214144 memory=148512 CPUtime=221.62 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 18393 0 0 0 21740 422 0 0 20 0 1 0 43496647 219283456 37128 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 53536 37128 1835 992 0 45394 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 214144 KiB
Current children cumulated memory: 148512 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.24 4.15 5/258 378307
/proc/meminfo: memFree=48746988/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=221120 memory=192312 CPUtime=281.44 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 20168 0 0 0 27637 507 0 0 20 0 1 0 43496647 226426880 48078 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 55280 48078 1835 992 0 47138 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 221120 KiB
Current children cumulated memory: 192312 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.22 4.15 5/259 378321
/proc/meminfo: memFree=45732628/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=223368 memory=194648 CPUtime=341.26 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 21152 0 0 0 33524 602 0 0 20 0 1 0 43496647 228728832 48662 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 55842 48662 1835 992 0 47700 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 223368 KiB
Current children cumulated memory: 194648 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.19 4.15 5/259 378331
/proc/meminfo: memFree=42799304/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=312200 memory=228076 CPUtime=401.08 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 23455 0 0 0 39424 684 0 0 20 0 1 0 43496647 319692800 57019 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 78050 57019 1835 992 0 69908 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 312200 KiB
Current children cumulated memory: 228076 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.19 4.15 5/261 378343
/proc/meminfo: memFree=39799840/131524600 swapFree=131071728/131071996
[pid=378257] ppid=378254 vsize=316544 memory=238400 CPUtime=460.9 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 24677 0 0 0 45323 767 0 0 20 0 1 0 43496647 324141056 59600 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 79136 59600 1835 992 0 70994 0
################
# More data... #
################
Current children cumulated memory: 679816 KiB
[startup+2862.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/260 380204
/proc/meminfo: memFree=106207676/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=759348 memory=687688 CPUtime=2853.64 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 72721 0 0 0 282077 3287 0 0 20 0 1 0 43496647 777572352 171922 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 189837 171922 1835 992 0 181695 0
Current children cumulated CPU time: 2853.64 s
Current children cumulated vsize: 759348 KiB
Current children cumulated memory: 687688 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/261 380215
/proc/meminfo: memFree=105287508/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=763036 memory=690528 CPUtime=2913.47 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 74013 0 0 0 288011 3336 0 0 20 0 1 0 43496647 781348864 172632 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 190759 172632 1835 992 0 182617 0
Current children cumulated CPU time: 2913.47 s
Current children cumulated vsize: 763036 KiB
Current children cumulated memory: 690528 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/262 380284
/proc/meminfo: memFree=103841668/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=762720 memory=689936 CPUtime=2973.3 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 74614 0 0 0 293928 3402 0 0 20 0 1 0 43496647 781025280 172484 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 190680 172484 1835 992 0 182538 0
Current children cumulated CPU time: 2973.3 s
Current children cumulated vsize: 762720 KiB
Current children cumulated memory: 689936 KiB
[startup+3042.3 s]
/proc/loadavg: 4.33 4.23 4.19 5/260 380294
/proc/meminfo: memFree=103063268/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=763016 memory=690432 CPUtime=3033.13 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 75229 0 0 0 299844 3469 0 0 20 0 1 0 43496647 781328384 172608 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 190754 172608 1835 992 0 182612 0
Current children cumulated CPU time: 3033.13 s
Current children cumulated vsize: 763016 KiB
Current children cumulated memory: 690432 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/260 380305
/proc/meminfo: memFree=102609304/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=763404 memory=695816 CPUtime=3092.99 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 75429 0 0 0 305767 3532 0 0 20 0 1 0 43496647 781725696 173954 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 190851 173954 1835 992 0 182709 0
Current children cumulated CPU time: 3092.99 s
Current children cumulated vsize: 763404 KiB
Current children cumulated memory: 695816 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/259 380316
/proc/meminfo: memFree=101436812/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=763604 memory=696080 CPUtime=3152.85 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 75749 0 0 0 311720 3565 0 0 20 0 1 0 43496647 781930496 174020 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 190901 174020 1835 992 0 182759 0
Current children cumulated CPU time: 3152.85 s
Current children cumulated vsize: 763604 KiB
Current children cumulated memory: 696080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.16 4.17 5/260 380327
/proc/meminfo: memFree=100416668/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=765996 memory=698488 CPUtime=3212.7 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 76673 0 0 0 317683 3587 0 0 20 0 1 0 43496647 784379904 174622 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 191499 174622 1835 992 0 183357 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 765996 KiB
Current children cumulated memory: 698488 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/259 380337
/proc/meminfo: memFree=99395200/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=771452 memory=703216 CPUtime=3272.54 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 78183 0 0 0 323625 3629 0 0 20 0 1 0 43496647 789966848 175804 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 192863 175804 1835 992 0 184721 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 771452 KiB
Current children cumulated memory: 703216 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/259 380349
/proc/meminfo: memFree=98330912/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=1127060 memory=773444 CPUtime=3332.39 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 80264 0 0 0 329575 3664 0 0 20 0 1 0 43496647 1154109440 193361 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 281765 193361 1835 992 0 273623 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 1127060 KiB
Current children cumulated memory: 773444 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/259 380359
/proc/meminfo: memFree=97799772/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=1134688 memory=852892 CPUtime=3392.24 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 81850 0 0 0 335526 3698 0 0 20 0 1 0 43496647 1161920512 213223 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 283672 213223 1835 992 0 275530 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 1134688 KiB
Current children cumulated memory: 852892 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.14 4.16 5/259 380369
/proc/meminfo: memFree=97345140/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=1136544 memory=909992 CPUtime=3452.11 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 82816 0 0 0 341468 3743 0 0 20 0 1 0 43496647 1163821056 227498 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 284136 227498 1835 992 0 275994 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 1136544 KiB
Current children cumulated memory: 909992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/258 380379
/proc/meminfo: memFree=96822572/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=1136520 memory=909520 CPUtime=3511.97 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 83316 0 0 0 347402 3795 0 0 20 0 1 0 43496647 1163796480 227380 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 284130 227380 1835 992 0 275988 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 1136520 KiB
Current children cumulated memory: 909520 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/261 380395
/proc/meminfo: memFree=96416616/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=1136604 memory=909628 CPUtime=3571.83 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 83866 0 0 0 353323 3860 0 0 20 0 1 0 43496647 1163882496 227407 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 284151 227407 1835 992 0 276009 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 1136604 KiB
Current children cumulated memory: 909628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.13 4.13 4.16 5/261 380399
/proc/meminfo: memFree=96217160/131524600 swapFree=131060148/131071996
[pid=378257] ppid=378254 vsize=1137140 memory=910304 CPUtime=3600.07 cores=4,6
/proc/378257/stat : 378257 (roundingsat) R 378254 378257 375101 0 -1 4194304 84143 0 0 0 356117 3890 0 0 20 0 1 0 43496647 1164431360 227576 134679101440 4194304 8254357 140728311730272 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39976960 140728311735131 140728311735393 140728311735393 140728311742409 0
/proc/378257/statm: 284285 227576 1835 992 0 276143 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1137140 KiB
Current children cumulated memory: 910304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.63 s]
# the end of solver process 378257 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.18 s, system=38.9095 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.63
CPU time (s): 3600.09
CPU user time (s): 3561.18
CPU system time (s): 38.9095
CPU usage (%): 99.708
Max. virtual memory (cumulated for all children) (KiB): 1138304
Max. memory (cumulated for all children) (KiB): 911580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.18
system time used= 38.9095
maximum resident set size= 911580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9795936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253
involuntary context switches= 5010
# summary of solver processes directly reported to runsolver:
# pid: 378257
# total CPU time (s): 3600.09
# total CPU user time (s): 3561.18
# total CPU system time (s): 38.9095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01614 second user time and 18.7174 second system time
The end
Begin job on nodeC029 at 2024-07-27 10:41:12 IDJOB=4460668 IDBENCH=158351 IDSOLVER=3086 FILE ID=nodeC029/4460668-1722069672 RUNJOBID= nodeC029-1722064836-375112 SLURM_JOB_ID= 8248097 Free space on /tmp= 889996 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.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-4460668-1722069672/watcher-4460668-1722069672 -o /tmp/evaluation-result-4460668-1722069672/solver-4460668-1722069672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722064836-375112 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460668-1722069672 --lp-cut-gomory=0 HOME/instance-4460668-1722069672.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 29274947006e0854b43dfb210bf5d295 RANDOM SEED=1333405008 nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.214 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.112 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3620.332 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.127 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.615 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.137 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.089 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.981 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 62468212 kB MemAvailable: 124493360 kB Buffers: 370512 kB Cached: 62365088 kB SwapCached: 44 kB Active: 3017384 kB Inactive: 65149912 kB Active(anon): 1580 kB Inactive(anon): 5484240 kB Active(file): 3015804 kB Inactive(file): 59665672 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 489896 kB Writeback: 272 kB AnonPages: 5430020 kB Mapped: 130880 kB Shmem: 54012 kB KReclaimable: 366992 kB Slab: 513352 kB SReclaimable: 366992 kB SUnreclaim: 146360 kB KernelStack: 4208 kB PageTables: 20460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 6257528 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 24704 kB HardwareCorrupted: 0 kB AnonHugePages: 2836480 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: 350932 kB DirectMap2M: 44511232 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 890060 MiB End job on nodeC029 at 2024-07-27 11:41:23