| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.05 | 3609.34 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K83.opb |
| MD5SUM | bcb1c72c6ad4afea1adf0a0324f1d09c |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 5644 |
| Total number of constraints | 5812 |
| Number of constraints which are clauses | 5729 |
| Number of constraints which are cardinality constraints (but not clauses) | 83 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 83 |
| 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 | 84 |
| 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.07 c RoundingSat 2 0.00/0.07 c branch 0.00/0.07 c commit 0.02/0.11 c #variables 5644 #constraints 5812 14.28/14.41 c #Conflicts: 1000 | #Constraints: 6811 14.28/14.41 c #Conflicts: 2000 | #Constraints: 7811 14.28/14.41 c INPROCESSING 14.28/14.41 c GARBAGE COLLECT 14.28/14.41 c #Conflicts: 3000 | #Constraints: 7436 14.28/14.41 c #Conflicts: 4000 | #Constraints: 8436 14.28/14.41 c INPROCESSING 14.28/14.41 c GARBAGE COLLECT 14.28/14.41 c #Conflicts: 5000 | #Constraints: 7888 14.28/14.41 c #Conflicts: 6000 | #Constraints: 8888 14.28/14.41 c INPROCESSING 14.28/14.41 c GARBAGE COLLECT 14.28/14.41 c #Conflicts: 7000 | #Constraints: 7934 14.28/14.41 c #Conflicts: 8000 | #Constraints: 8934 14.28/14.41 c #Conflicts: 9000 | #Constraints: 9934 14.28/14.41 c INPROCESSING 14.28/14.41 c GARBAGE COLLECT 14.28/14.41 c rational objective 83 27.95/28.16 c #Conflicts: 10000 | #Constraints: 8674 27.95/28.16 c #Conflicts: 11000 | #Constraints: 9674 27.95/28.16 c #Conflicts: 12000 | #Constraints: 10674 27.95/28.16 c INPROCESSING 27.95/28.16 c GARBAGE COLLECT 27.95/28.16 c #Conflicts: 13000 | #Constraints: 9155 27.95/28.16 c #Conflicts: 14000 | #Constraints: 10155 27.95/28.16 c #Conflicts: 15000 | #Constraints: 11155 27.95/28.16 c INPROCESSING 27.95/28.16 c GARBAGE COLLECT 27.95/28.16 c #Conflicts: 16000 | #Constraints: 9412 27.95/28.16 c #Conflicts: 17000 | #Constraints: 10413 27.95/28.16 c #Conflicts: 18000 | #Constraints: 11413 27.95/28.16 c INPROCESSING 27.95/28.16 c GARBAGE COLLECT 27.95/28.16 c #Conflicts: 19000 | #Constraints: 9449 27.95/28.16 c #Conflicts: 20000 | #Constraints: 10449 27.95/28.16 c #Conflicts: 21000 | #Constraints: 11450 27.95/28.16 c INPROCESSING 27.95/28.16 c GARBAGE COLLECT 27.95/28.16 c #Conflicts: 22000 | #Constraints: 9229 27.95/28.16 c #Conflicts: 23000 | #Constraints: 10229 27.95/28.16 c #Conflicts: 24000 | #Constraints: 11230 27.95/28.16 c #Conflicts: 25000 | #Constraints: 12230 27.95/28.16 c INPROCESSING 27.95/28.16 c GARBAGE COLLECT 27.95/28.16 c rational objective 83 42.31/42.57 c #Conflicts: 26000 | #Constraints: 9853 42.31/42.57 c #Conflicts: 27000 | #Constraints: 10853 42.31/42.57 c #Conflicts: 28000 | #Constraints: 11853 42.31/42.57 c #Conflicts: 29000 | #Constraints: 12853 42.31/42.57 c INPROCESSING 42.31/42.57 c GARBAGE COLLECT 42.31/42.57 c #Conflicts: 30000 | #Constraints: 10271 42.31/42.57 c #Conflicts: 31000 | #Constraints: 11271 42.31/42.57 c #Conflicts: 32000 | #Constraints: 12271 42.31/42.57 c #Conflicts: 33000 | #Constraints: 13271 42.31/42.57 c INPROCESSING 42.31/42.57 c GARBAGE COLLECT 42.31/42.57 c #Conflicts: 34000 | #Constraints: 10514 42.31/42.57 c #Conflicts: 35000 | #Constraints: 11514 42.31/42.57 c #Conflicts: 36000 | #Constraints: 12514 42.31/42.57 c #Conflicts: 37000 | #Constraints: 13514 42.31/42.57 c INPROCESSING 42.31/42.57 c GARBAGE COLLECT 42.31/42.57 c rational objective 83 60.08/60.31 c #Conflicts: 38000 | #Constraints: 10517 60.08/60.31 c #Conflicts: 39000 | #Constraints: 11518 60.08/60.31 c #Conflicts: 40000 | #Constraints: 12518 60.08/60.31 c #Conflicts: 41000 | #Constraints: 13518 60.08/60.31 c INPROCESSING 60.08/60.31 c GARBAGE COLLECT 60.08/60.31 c #Conflicts: 42000 | #Constraints: 10330 60.08/60.31 c #Conflicts: 43000 | #Constraints: 11331 60.08/60.31 c #Conflicts: 44000 | #Constraints: 12331 60.08/60.31 c #Conflicts: 45000 | #Constraints: 13331 60.08/60.31 c #Conflicts: 46000 | #Constraints: 14331 60.08/60.31 c INPROCESSING 60.08/60.31 c GARBAGE COLLECT 60.08/60.31 c #Conflicts: 47000 | #Constraints: 10946 60.08/60.31 c #Conflicts: 48000 | #Constraints: 11946 60.08/60.31 c #Conflicts: 49000 | #Constraints: 12946 60.08/60.31 c #Conflicts: 50000 | #Constraints: 13946 60.08/60.31 c #Conflicts: 51000 | #Constraints: 14946 60.08/60.31 c INPROCESSING 60.08/60.31 c GARBAGE COLLECT 60.08/60.31 c rational objective 83 87.62/87.95 c #Conflicts: 52000 | #Constraints: 11404 87.62/87.95 c #Conflicts: 53000 | #Constraints: 12404 87.62/87.95 c #Conflicts: 54000 | #Constraints: 13404 87.62/87.95 c #Conflicts: 55000 | #Constraints: 14404 87.62/87.95 c #Conflicts: 56000 | #Constraints: 15404 87.62/87.95 c INPROCESSING 87.62/87.95 c GARBAGE COLLECT 87.62/87.95 c #Conflicts: 57000 | #Constraints: 11581 87.62/87.95 c #Conflicts: 58000 | #Constraints: 12581 87.62/87.95 c #Conflicts: 59000 | #Constraints: 13581 87.62/87.95 c #Conflicts: 60000 | #Constraints: 14581 87.62/87.95 c #Conflicts: 61000 | #Constraints: 15582 87.62/87.95 c INPROCESSING 87.62/87.95 c GARBAGE COLLECT 87.62/87.95 c #Conflicts: 62000 | #Constraints: 11590 87.62/87.95 c #Conflicts: 63000 | #Constraints: 12590 87.62/87.95 c #Conflicts: 64000 | #Constraints: 13590 87.62/87.95 c #Conflicts: 65000 | #Constraints: 14590 87.62/87.95 c #Conflicts: 66000 | #Constraints: 15590 87.62/87.95 c INPROCESSING 87.62/87.95 c GARBAGE COLLECT 87.62/87.95 c #Conflicts: 67000 | #Constraints: 11426 87.62/87.95 c #Conflicts: 68000 | #Constraints: 12427 87.62/87.95 c #Conflicts: 69000 | #Constraints: 13427 87.62/87.95 c #Conflicts: 70000 | #Constraints: 14427 87.62/87.95 c #Conflicts: 71000 | #Constraints: 15427 87.62/87.95 c #Conflicts: 72000 | #Constraints: 16427 87.62/87.95 c INPROCESSING 87.62/87.95 c GARBAGE COLLECT 87.62/87.95 c #Conflicts: 73000 | #Constraints: 12044 87.62/87.95 c #Conflicts: 74000 | #Constraints: 13044 87.62/87.95 c #Conflicts: 75000 | #Constraints: 14044 87.62/87.95 c #Conflicts: 76000 | #Constraints: 15044 87.62/87.95 c #Conflicts: 77000 | #Constraints: 16044 87.62/87.95 c #Conflicts: 78000 | #Constraints: 17044 87.62/87.95 c INPROCESSING 87.62/87.95 c GARBAGE COLLECT 87.62/87.95 c rational objective 83 102.08/102.41 c #Conflicts: 79000 | #Constraints: 12486 102.08/102.41 c #Conflicts: 80000 | #Constraints: 13487 102.08/102.41 c #Conflicts: 81000 | #Constraints: 14487 102.08/102.41 c #Conflicts: 82000 | #Constraints: 15487 102.08/102.41 c #Conflicts: 83000 | #Constraints: 16487 102.08/102.41 c #Conflicts: 84000 | #Constraints: 17487 102.08/102.41 c INPROCESSING 102.08/102.41 c GARBAGE COLLECT 102.08/102.41 c #Conflicts: 85000 | #Constraints: 12682 102.08/102.41 c #Conflicts: 86000 | #Constraints: 13682 102.08/102.41 c #Conflicts: 87000 | #Constraints: 14683 102.08/102.41 c #Conflicts: 88000 | #Constraints: 15683 102.08/102.41 c #Conflicts: 89000 | #Constraints: 16683 102.08/102.41 c #Conflicts: 90000 | #Constraints: 17683 102.08/102.41 c INPROCESSING 102.08/102.41 c GARBAGE COLLECT 102.08/102.41 c rational objective 83 124.64/125.08 c #Conflicts: 91000 | #Constraints: 12663 124.64/125.08 c #Conflicts: 92000 | #Constraints: 13663 124.64/125.08 c #Conflicts: 93000 | #Constraints: 14663 124.64/125.08 c #Conflicts: 94000 | #Constraints: 15663 124.64/125.08 c #Conflicts: 95000 | #Constraints: 16663 124.64/125.08 c #Conflicts: 96000 | #Constraints: 17663 124.64/125.08 c INPROCESSING 124.64/125.08 c GARBAGE COLLECT 124.64/125.08 c #Conflicts: 97000 | #Constraints: 12483 124.64/125.08 c #Conflicts: 98000 | #Constraints: 13483 124.64/125.08 c #Conflicts: 99000 | #Constraints: 14483 124.64/125.08 c #Conflicts: 100000 | #Constraints: 15483 124.64/125.08 c #Conflicts: 101000 | #Constraints: 16483 124.64/125.08 c #Conflicts: 102000 | #Constraints: 17483 124.64/125.08 c #Conflicts: 103000 | #Constraints: 18484 124.64/125.08 c INPROCESSING 124.64/125.08 c GARBAGE COLLECT 124.64/125.08 c rational objective 83 129.33/129.73 c #Conflicts: 104000 | #Constraints: 13100 129.33/129.73 c #Conflicts: 105000 | #Constraints: 14100 129.33/129.73 c #Conflicts: 106000 | #Constraints: 15100 129.33/129.73 c #Conflicts: 107000 | #Constraints: 16100 129.33/129.73 c #Conflicts: 108000 | #Constraints: 17100 129.33/129.73 c #Conflicts: 109000 | #Constraints: 18100 129.33/129.73 c #Conflicts: 110000 | #Constraints: 19100 129.33/129.73 c INPROCESSING 129.33/129.73 c GARBAGE COLLECT 129.33/129.73 c rational objective 83 137.71/138.16 c #Conflicts: 111000 | #Constraints: 13506 137.71/138.16 c #Conflicts: 112000 | #Constraints: 14506 137.71/138.16 c #Conflicts: 113000 | #Constraints: 15506 137.71/138.16 c #Conflicts: 114000 | #Constraints: 16506 137.71/138.16 c #Conflicts: 115000 | #Constraints: 17506 137.71/138.16 c #Conflicts: 116000 | #Constraints: 18507 137.71/138.16 c #Conflicts: 117000 | #Constraints: 19508 137.71/138.16 c INPROCESSING 137.71/138.16 c GARBAGE COLLECT 137.71/138.16 c rational objective 83 173.72/174.26 c #Conflicts: 118000 | #Constraints: 13745 173.72/174.26 c #Conflicts: 119000 | #Constraints: 14745 173.72/174.26 c #Conflicts: 120000 | #Constraints: 15745 173.72/174.26 c #Conflicts: 121000 | #Constraints: 16745 173.72/174.26 c #Conflicts: 122000 | #Constraints: 17745 173.72/174.26 c #Conflicts: 123000 | #Constraints: 18745 173.72/174.26 c #Conflicts: 124000 | #Constraints: 19746 173.72/174.26 c #Conflicts: 125000 | #Constraints: 20746 173.72/174.26 c #Conflicts: 126000 | #Constraints: 21746 173.72/174.26 c #Conflicts: 127000 | #Constraints: 22746 173.72/174.26 c #Conflicts: 128000 | #Constraints: 23746 173.72/174.26 c #Conflicts: 129000 | #Constraints: 24746 173.72/174.26 c #Conflicts: 130000 | #Constraints: 25746 173.72/174.26 c #Conflicts: 131000 | #Constraints: 26746 173.72/174.26 c #Conflicts: 132000 | #Constraints: 27746 173.72/174.26 c #Conflicts: 133000 | #Constraints: 28746 173.72/174.26 c #Conflicts: 134000 | #Constraints: 29746 173.72/174.26 c #Conflicts: 135000 | #Constraints: 30746 173.72/174.26 c #Conflicts: 136000 | #Constraints: 31746 173.72/174.26 c #Conflicts: 137000 | #Constraints: 32747 173.72/174.26 c #Conflicts: 138000 | #Constraints: 33747 173.72/174.26 c #Conflicts: 139000 | #Constraints: 34747 173.72/174.26 c #Conflicts: 140000 | #Constraints: 35747 173.72/174.26 c #Conflicts: 141000 | #Constraints: 36747 173.72/174.26 c #Conflicts: 142000 | #Constraints: 37747 173.72/174.26 c #Conflicts: 143000 | #Constraints: 38747 173.72/174.26 c #Conflicts: 144000 | #Constraints: 39747 173.72/174.26 c #Conflicts: 145000 | #Constraints: 40747 173.72/174.26 c #Conflicts: 146000 | #Constraints: 41747 173.72/174.26 c #Conflicts: 147000 | #Constraints: 42747 173.72/174.26 c #Conflicts: 148000 | #Constraints: 43747 173.72/174.26 c INPROCESSING 173.72/174.26 c GARBAGE COLLECT 173.72/174.26 c rational objective 83 181.20/181.70 c #Conflicts: 149000 | #Constraints: 25656 181.20/181.70 c #Conflicts: 150000 | #Constraints: 26656 181.20/181.70 c #Conflicts: 151000 | #Constraints: 27656 181.20/181.70 c #Conflicts: 152000 | #Constraints: 28656 181.20/181.70 c #Conflicts: 153000 | #Constraints: 29656 181.20/181.70 c #Conflicts: 154000 | #Constraints: 30656 181.20/181.70 c #Conflicts: 155000 | #Constraints: 31656 181.20/181.70 c #Conflicts: 156000 | #Constraints: 32656 181.20/181.70 c INPROCESSING 181.20/181.70 c GARBAGE COLLECT 181.20/181.70 c rational objective 83 188.28/188.88 c #Conflicts: 157000 | #Constraints: 19958 188.28/188.88 c #Conflicts: 158000 | #Constraints: 20958 188.28/188.88 c #Conflicts: 159000 | #Constraints: 21958 188.28/188.88 c #Conflicts: 160000 | #Constraints: 22959 188.28/188.88 c #Conflicts: 161000 | #Constraints: 23959 188.28/188.88 c #Conflicts: 162000 | #Constraints: 24959 188.28/188.88 c #Conflicts: 163000 | #Constraints: 25959 188.28/188.88 c #Conflicts: 164000 | #Constraints: 26959 188.28/188.88 c #Conflicts: 165000 | #Constraints: 27959 188.28/188.88 c INPROCESSING 188.28/188.88 c GARBAGE COLLECT 188.28/188.88 c rational objective 83 202.35/202.96 c #Conflicts: 166000 | #Constraints: 17857 202.35/202.96 c #Conflicts: 167000 | #Constraints: 18857 202.35/202.96 c #Conflicts: 168000 | #Constraints: 19857 202.35/202.96 c #Conflicts: 169000 | #Constraints: 20857 202.35/202.96 c #Conflicts: 170000 | #Constraints: 21858 202.35/202.96 c #Conflicts: 171000 | #Constraints: 22858 202.35/202.96 c #Conflicts: 172000 | #Constraints: 23858 202.35/202.96 c #Conflicts: 173000 | #Constraints: 24858 202.35/202.96 c #Conflicts: 174000 | #Constraints: 25858 202.35/202.96 c INPROCESSING 202.35/202.96 c GARBAGE COLLECT 202.35/202.96 c rational objective 83 213.23/213.82 c #Conflicts: 175000 | #Constraints: 16951 213.23/213.82 c #Conflicts: 176000 | #Constraints: 17951 213.23/213.82 c #Conflicts: 177000 | #Constraints: 18951 213.23/213.82 c #Conflicts: 178000 | #Constraints: 19952 213.23/213.82 c #Conflicts: 179000 | #Constraints: 20953 213.23/213.82 c #Conflicts: 180000 | #Constraints: 21953 213.23/213.82 c #Conflicts: 181000 | #Constraints: 22953 213.23/213.82 c #Conflicts: 182000 | #Constraints: 23954 213.23/213.82 c INPROCESSING 213.23/213.82 c GARBAGE COLLECT 213.23/213.82 c rational objective 83 262.59/263.33 c #Conflicts: 183000 | #Constraints: 15496 262.59/263.33 c #Conflicts: 184000 | #Constraints: 16496 262.59/263.33 c #Conflicts: 185000 | #Constraints: 17496 262.59/263.33 c #Conflicts: 186000 | #Constraints: 18497 262.59/263.33 c #Conflicts: 187000 | #Constraints: 19497 262.59/263.33 c #Conflicts: 188000 | #Constraints: 20497 262.59/263.33 c #Conflicts: 189000 | #Constraints: 21497 262.59/263.33 c #Conflicts: 190000 | #Constraints: 22497 262.59/263.33 c #Conflicts: 191000 | #Constraints: 23497 262.59/263.33 c #Conflicts: 192000 | #Constraints: 24497 262.59/263.33 c #Conflicts: 193000 | #Constraints: 25497 262.59/263.33 c #Conflicts: 194000 | #Constraints: 26497 262.59/263.33 c #Conflicts: 195000 | #Constraints: 27497 262.59/263.33 c #Conflicts: 196000 | #Constraints: 28497 262.59/263.33 c #Conflicts: 197000 | #Constraints: 29498 262.59/263.33 c #Conflicts: 198000 | #Constraints: 30498 262.59/263.33 c #Conflicts: 199000 | #Constraints: 31498 262.59/263.33 c #Conflicts: 200000 | #Constraints: 32498 262.59/263.33 c #Conflicts: 201000 | #Constraints: 33499 262.59/263.33 c #Conflicts: 202000 | #Constraints: 34500 262.59/263.33 c #Conflicts: 203000 | #Constraints: 35500 262.59/263.33 c #Conflicts: 204000 | #Constraints: 36500 262.59/263.33 c #Conflicts: 205000 | #Constraints: 37501 262.59/263.33 c #Conflicts: 206000 | #Constraints: 38501 262.59/263.33 c #Conflicts: 207000 | #Constraints: 39501 262.59/263.33 c #Conflicts: 208000 | #Constraints: 40501 262.59/263.33 c #Conflicts: 209000 | #Constraints: 41501 262.59/263.33 c #Conflicts: 210000 | #Constraints: 42501 262.59/263.33 c #Conflicts: 211000 | #Constraints: 43502 262.59/263.33 c #Conflicts: 212000 | #Constraints: 44502 262.59/263.33 c #Conflicts: 213000 | #Constraints: 45502 262.59/263.33 c #Conflicts: 214000 | #Constraints: 46503 262.59/263.33 c #Conflicts: 215000 | #Constraints: 47503 262.59/263.33 c #Conflicts: 216000 | #Constraints: 48503 262.59/263.33 c #Conflicts: 217000 | #Constraints: 49503 262.59/263.33 c #Conflicts: 218000 | #Constraints: 50503 262.59/263.33 c #Conflicts: 219000 | #Constraints: 51503 262.59/263.33 c #Conflicts: 220000 | #Constraints: 52503 262.59/263.33 c INPROCESSING 262.59/263.33 c GARBAGE COLLECT 262.59/263.33 c rational objective 83 281.95/282.72 c #Conflicts: 221000 | #Constraints: 29930 281.95/282.72 c #Conflicts: 222000 | #Constraints: 30931 281.95/282.72 c #Conflicts: 223000 | #Constraints: 31932 281.95/282.72 c #Conflicts: 224000 | #Constraints: 32933 281.95/282.72 c #Conflicts: 225000 | #Constraints: 33933 281.95/282.72 c #Conflicts: 226000 | #Constraints: 34934 281.95/282.72 c #Conflicts: 227000 | #Constraints: 35935 281.95/282.72 c #Conflicts: 228000 | #Constraints: 36935 281.95/282.72 c #Conflicts: 229000 | #Constraints: 37935 281.95/282.72 c #Conflicts: 230000 | #Constraints: 38936 281.95/282.72 c #Conflicts: 231000 | #Constraints: 39936 281.95/282.72 c INPROCESSING 281.95/282.72 c GARBAGE COLLECT 281.95/282.72 c rational objective 83 303.10/303.94 c #Conflicts: 232000 | #Constraints: 24008 303.10/303.94 c #Conflicts: 233000 | #Constraints: 25008 303.10/303.94 c #Conflicts: 234000 | #Constraints: 26008 303.10/303.94 c #Conflicts: 235000 | #Constraints: 27008 303.10/303.94 c #Conflicts: 236000 | #Constraints: 28009 303.10/303.94 c #Conflicts: 237000 | #Constraints: 29009 303.10/303.94 c #Conflicts: 238000 | #Constraints: 30009 303.10/303.94 c #Conflicts: 239000 | #Constraints: 31009 303.10/303.94 c #Conflicts: 240000 | #Constraints: 32009 303.10/303.94 c #Conflicts: 241000 | #Constraints: 33009 303.10/303.94 c INPROCESSING 303.10/303.94 c GARBAGE COLLECT 303.10/303.94 c rational objective 83 315.57/316.47 c #Conflicts: 242000 | #Constraints: 20405 315.57/316.47 c #Conflicts: 243000 | #Constraints: 21405 315.57/316.47 c #Conflicts: 244000 | #Constraints: 22405 315.57/316.47 c #Conflicts: 245000 | #Constraints: 23405 315.57/316.47 c #Conflicts: 246000 | #Constraints: 24405 315.57/316.47 c #Conflicts: 247000 | #Constraints: 25405 315.57/316.47 c #Conflicts: 248000 | #Constraints: 26405 315.57/316.47 c #Conflicts: 249000 | #Constraints: 27405 315.57/316.47 c #Conflicts: 250000 | #Constraints: 28406 315.57/316.47 c #Conflicts: 251000 | #Constraints: 29407 315.57/316.47 c #Conflicts: 252000 | #Constraints: 30407 315.57/316.47 c INPROCESSING 315.57/316.47 c GARBAGE COLLECT 315.57/316.47 c rational objective 83 322.46/323.39 c #Conflicts: 253000 | #Constraints: 19285 322.46/323.39 c #Conflicts: 254000 | #Constraints: 20285 322.46/323.39 c #Conflicts: 255000 | #Constraints: 21285 322.46/323.39 c #Conflicts: 256000 | #Constraints: 22285 322.46/323.39 c #Conflicts: 257000 | #Constraints: 23285 322.46/323.39 c #Conflicts: 258000 | #Constraints: 24285 322.46/323.39 c #Conflicts: 259000 | #Constraints: 25285 322.46/323.39 c #Conflicts: 260000 | #Constraints: 26285 322.46/323.39 c #Conflicts: 261000 | #Constraints: 27285 322.46/323.39 c #Conflicts: 262000 | #Constraints: 28285 322.46/323.39 c INPROCESSING 322.46/323.39 c GARBAGE COLLECT 322.46/323.39 c rational objective 83 398.38/399.45 c #Conflicts: 263000 | #Constraints: 17841 398.38/399.45 c #Conflicts: 264000 | #Constraints: 18842 398.38/399.45 c #Conflicts: 265000 | #Constraints: 19842 398.38/399.45 c #Conflicts: 266000 | #Constraints: 20842 398.38/399.45 c #Conflicts: 267000 | #Constraints: 21842 398.38/399.45 c #Conflicts: 268000 | #Constraints: 22842 398.38/399.45 c #Conflicts: 269000 | #Constraints: 23842 398.38/399.45 c #Conflicts: 270000 | #Constraints: 24842 398.38/399.45 c #Conflicts: 271000 | #Constraints: 25842 398.38/399.45 c #Conflicts: 272000 | #Constraints: 26842 398.38/399.45 c #Conflicts: 273000 | #Constraints: 27842 398.38/399.45 c #Conflicts: 274000 | #Constraints: 28843 398.38/399.45 c #Conflicts: 275000 | #Constraints: 29843 398.38/399.45 c #Conflicts: 276000 | #Constraints: 30843 398.38/399.45 c #Conflicts: 277000 | #Constraints: 31844 398.38/399.45 c #Conflicts: 278000 | #Constraints: 32844 398.38/399.45 c #Conflicts: 279000 | #Constraints: 33845 398.38/399.45 c #Conflicts: 280000 | #Constraints: 34845 398.38/399.45 c #Conflicts: 281000 | #Constraints: 35845 398.38/399.45 c #Conflicts: 282000 | #Constraints: 36846 398.38/399.45 c #Conflicts: 283000 | #Constraints: 37846 398.38/399.45 c #Conflicts: 284000 | #Constraints: 38846 398.38/399.45 c #Conflicts: 285000 | #Constraints: 39846 398.38/399.45 c #Conflicts: 286000 | #Constraints: 40846 398.38/399.45 c #Conflicts: 287000 | #Constraints: 41846 398.38/399.45 c #Conflicts: 288000 | #Constraints: 42846 398.38/399.45 c #Conflicts: 289000 | #Constraints: 43846 398.38/399.45 c #Conflicts: 290000 | #Constraints: 44846 398.38/399.45 c #Conflicts: 291000 | #Constraints: 45846 398.38/399.45 c #Conflicts: 292000 | #Constraints: 46846 398.38/399.45 c #Conflicts: 293000 | #Constraints: 47846 398.38/399.45 c #Conflicts: 294000 | #Constraints: 48846 398.38/399.45 c #Conflicts: 295000 | #Constraints: 49846 398.38/399.45 c #Conflicts: 296000 | #Constraints: 50846 398.38/399.45 c #Conflicts: 297000 | #Constraints: 51846 398.38/399.45 c #Conflicts: 298000 | #Constraints: 52846 398.38/399.45 c #Conflicts: 299000 | #Constraints: 53846 398.38/399.45 c #Conflicts: 300000 | #Constraints: 54846 398.38/399.45 c #Conflicts: 301000 | #Constraints: 55846 398.38/399.45 c #Conflicts: 302000 | #Constraints: 56846 398.38/399.45 c #Conflicts: 303000 | #Constraints: 57846 398.38/399.45 c #Conflicts: 304000 | #Constraints: 58846 398.38/399.45 c #Conflicts: 305000 | #Constraints: 59846 398.38/399.45 c #Conflicts: 306000 | #Constraints: 60846 398.38/399.45 c #Conflicts: 307000 | #Constraints: 61846 398.38/399.45 c INPROCESSING 398.38/399.45 c GARBAGE COLLECT 398.38/399.45 c rational objective 83 413.85/414.98 c #Conflicts: 308000 | #Constraints: 34918 413.85/414.98 c #Conflicts: 309000 | #Constraints: 35918 413.85/414.98 c #Conflicts: 310000 | #Constraints: 36918 413.85/414.98 c #Conflicts: 311000 | #Constraints: 37918 413.85/414.98 c #Conflicts: 312000 | #Constraints: 38918 413.85/414.98 c #Conflicts: 313000 | #Constraints: 39918 413.85/414.98 c #Conflicts: 314000 | #Constraints: 40918 413.85/414.98 c #Conflicts: 315000 | #Constraints: 41918 413.85/414.98 c #Conflicts: 316000 | #Constraints: 42918 413.85/414.98 c #Conflicts: 317000 | #Constraints: 43918 413.85/414.98 c #Conflicts: 318000 | #Constraints: 44918 413.85/414.98 c #Conflicts: 319000 | #Constraints: 45918 413.85/414.98 c INPROCESSING 413.85/414.98 c GARBAGE COLLECT 413.85/414.98 c rational objective 83 433.70/434.89 c #Conflicts: 320000 | #Constraints: 27007 433.70/434.89 c #Conflicts: 321000 | #Constraints: 28007 433.70/434.89 c #Conflicts: 322000 | #Constraints: 29007 433.70/434.89 c #Conflicts: 323000 | #Constraints: 30007 433.70/434.89 c #Conflicts: 324000 | #Constraints: 31007 433.70/434.89 c #Conflicts: 325000 | #Constraints: 32007 433.70/434.89 c #Conflicts: 326000 | #Constraints: 33007 433.70/434.89 c #Conflicts: 327000 | #Constraints: 34007 433.70/434.89 c #Conflicts: 328000 | #Constraints: 35007 433.70/434.89 c #Conflicts: 329000 | #Constraints: 36007 433.70/434.89 c #Conflicts: 330000 | #Constraints: 37008 433.70/434.89 c #Conflicts: 331000 | #Constraints: 38008 433.70/434.89 c INPROCESSING 433.70/434.89 c GARBAGE COLLECT 433.70/434.89 c rational objective 83 451.27/452.47 c #Conflicts: 332000 | #Constraints: 22847 451.27/452.47 c #Conflicts: 333000 | #Constraints: 23847 451.27/452.47 c #Conflicts: 334000 | #Constraints: 24847 451.27/452.47 c #Conflicts: 335000 | #Constraints: 25847 451.27/452.47 c #Conflicts: 336000 | #Constraints: 26847 451.27/452.47 c #Conflicts: 337000 | #Constraints: 27847 451.27/452.47 c #Conflicts: 338000 | #Constraints: 28847 451.27/452.47 c #Conflicts: 339000 | #Constraints: 29847 451.27/452.47 c #Conflicts: 340000 | #Constraints: 30848 451.27/452.47 c #Conflicts: 341000 | #Constraints: 31848 451.27/452.47 c #Conflicts: 342000 | #Constraints: 32848 451.27/452.47 c #Conflicts: 343000 | #Constraints: 33848 451.27/452.47 c #Conflicts: 344000 | #Constraints: 34848 451.27/452.47 c INPROCESSING 451.27/452.47 c GARBAGE COLLECT 451.27/452.47 c rational objective 83 460.75/461.97 c #Conflicts: 345000 | #Constraints: 21543 460.75/461.97 c #Conflicts: 346000 | #Constraints: 22543 460.75/461.97 c #Conflicts: 347000 | #Constraints: 23543 460.75/461.97 c #Conflicts: 348000 | #Constraints: 24543 460.75/461.97 c #Conflicts: 349000 | #Constraints: 25543 460.75/461.97 c #Conflicts: 350000 | #Constraints: 26543 460.75/461.97 c #Conflicts: 351000 | #Constraints: 27543 460.75/461.97 c #Conflicts: 352000 | #Constraints: 28543 460.75/461.97 c #Conflicts: 353000 | #Constraints: 29543 460.75/461.97 c #Conflicts: 354000 | #Constraints: 30543 460.75/461.97 c #Conflicts: 355000 | #Constraints: 31543 460.75/461.97 c #Conflicts: 356000 | #Constraints: 32543 460.75/461.97 c INPROCESSING 460.75/461.97 c GARBAGE COLLECT 460.75/461.97 c rational objective 83 536.18/537.55 c #Conflicts: 357000 | #Constraints: 20060 536.18/537.55 c #Conflicts: 358000 | #Constraints: 21061 536.18/537.55 c #Conflicts: 359000 | #Constraints: 22062 536.18/537.55 c #Conflicts: 360000 | #Constraints: 23062 536.18/537.55 c #Conflicts: 361000 | #Constraints: 24062 536.18/537.55 c #Conflicts: 362000 | #Constraints: 25062 536.18/537.55 c #Conflicts: 363000 | #Constraints: 26062 536.18/537.55 c #Conflicts: 364000 | #Constraints: 27062 536.18/537.55 c #Conflicts: 365000 | #Constraints: 28062 536.18/537.55 c #Conflicts: 366000 | #Constraints: 29062 536.18/537.55 c #Conflicts: 367000 | #Constraints: 30062 536.18/537.55 c #Conflicts: 368000 | #Constraints: 31062 536.18/537.55 c #Conflicts: 369000 | #Constraints: 32062 536.18/537.55 c #Conflicts: 370000 | #Constraints: 33062 536.18/537.55 c #Conflicts: 371000 | #Constraints: 34063 536.18/537.55 c #Conflicts: 372000 | #Constraints: 35063 536.18/537.55 c #Conflicts: 373000 | #Constraints: 36063 536.18/537.55 c #Conflicts: 374000 | #Constraints: 37063 536.18/537.55 c #Conflicts: 375000 | #Constraints: 38063 536.18/537.55 c #Conflicts: 376000 | #Constraints: 39063 536.18/537.55 c #Conflicts: 377000 | #Constraints: 40063 536.18/537.55 c #Conflicts: 378000 | #Constraints: 41063 536.18/537.55 c #Conflicts: 379000 | #Constraints: 42063 536.18/537.55 c #Conflicts: 380000 | #Constraints: 43063 536.18/537.55 c #Conflicts: 381000 | #Constraints: 44063 536.18/537.55 c #Conflicts: 382000 | #Constraints: 45063 536.18/537.55 c #Conflicts: 383000 | #Constraints: 46063 536.18/537.55 c #Conflicts: 384000 | #Constraints: 47063 536.18/537.55 c #Conflicts: 385000 | #Constraints: 48063 536.18/537.55 c #Conflicts: 386000 | #Constraints: 49063 536.18/537.55 c #Conflicts: 387000 | #Constraints: 50063 536.18/537.55 c #Conflicts: 388000 | #Constraints: 51063 536.18/537.55 c #Conflicts: 389000 | #Constraints: 52063 536.18/537.55 c #Conflicts: 390000 | #Constraints: 53063 536.18/537.55 c #Conflicts: 391000 | #Constraints: 54063 536.18/537.55 c #Conflicts: 392000 | #Constraints: 55063 536.18/537.55 c #Conflicts: 393000 | #Constraints: 56063 536.18/537.55 c #Conflicts: 394000 | #Constraints: 57063 536.18/537.55 c #Conflicts: 395000 | #Constraints: 58064 536.18/537.55 c #Conflicts: 396000 | #Constraints: 59064 536.18/537.55 c #Conflicts: 397000 | #Constraints: 60064 536.18/537.55 c #Conflicts: 398000 | #Constraints: 61065 536.18/537.55 c #Conflicts: 399000 | #Constraints: 62065 536.18/537.55 c #Conflicts: 400000 | #Constraints: 63065 536.18/537.55 c #Conflicts: 401000 | #Constraints: 64065 536.18/537.55 c #Conflicts: 402000 | #Constraints: 65065 536.18/537.55 c #Conflicts: 403000 | #Constraints: 66065 536.18/537.55 c #Conflicts: 404000 | #Constraints: 67065 536.18/537.55 c #Conflicts: 405000 | #Constraints: 68065 536.18/537.55 c #Conflicts: 406000 | #Constraints: 69065 536.18/537.55 c #Conflicts: 407000 | #Constraints: 70065 536.18/537.55 c INPROCESSING 536.18/537.55 c GARBAGE COLLECT 536.18/537.55 c rational objective 83 560.22/561.66 c #Conflicts: 408000 | #Constraints: 38919 560.22/561.66 c #Conflicts: 409000 | #Constraints: 39919 560.22/561.66 c #Conflicts: 410000 | #Constraints: 40920 560.22/561.66 c #Conflicts: 411000 | #Constraints: 41920 560.22/561.66 c #Conflicts: 412000 | #Constraints: 42920 560.22/561.66 c #Conflicts: 413000 | #Constraints: 43920 560.22/561.66 c #Conflicts: 414000 | #Constraints: 44921 560.22/561.66 c #Conflicts: 415000 | #Constraints: 45921 560.22/561.66 c #Conflicts: 416000 | #Constraints: 46921 560.22/561.66 c #Conflicts: 417000 | #Constraints: 47921 560.22/561.66 c #Conflicts: 418000 | #Constraints: 48921 560.22/561.66 c #Conflicts: 419000 | #Constraints: 49921 560.22/561.66 c #Conflicts: 420000 | #Constraints: 50921 560.22/561.66 c #Conflicts: 421000 | #Constraints: 51921 560.22/561.66 c INPROCESSING 560.22/561.66 c GARBAGE COLLECT 560.22/561.66 c rational objective 83 578.58/580.04 c #Conflicts: 422000 | #Constraints: 29939 578.58/580.04 c #Conflicts: 423000 | #Constraints: 30939 578.58/580.04 c #Conflicts: 424000 | #Constraints: 31939 578.58/580.04 c #Conflicts: 425000 | #Constraints: 32939 578.58/580.04 c #Conflicts: 426000 | #Constraints: 33939 578.58/580.04 c #Conflicts: 427000 | #Constraints: 34939 578.58/580.04 c #Conflicts: 428000 | #Constraints: 35939 578.58/580.04 c #Conflicts: 429000 | #Constraints: 36939 578.58/580.04 c #Conflicts: 430000 | #Constraints: 37939 578.58/580.04 c #Conflicts: 431000 | #Constraints: 38939 578.58/580.04 c #Conflicts: 432000 | #Constraints: 39939 578.58/580.04 c #Conflicts: 433000 | #Constraints: 40939 578.58/580.04 c #Conflicts: 434000 | #Constraints: 41939 578.58/580.04 c #Conflicts: 435000 | #Constraints: 42939 578.58/580.04 c INPROCESSING 578.58/580.04 c GARBAGE COLLECT 578.58/580.04 c rational objective 83 597.64/599.11 c #Conflicts: 436000 | #Constraints: 25346 597.64/599.11 c #Conflicts: 437000 | #Constraints: 26346 597.64/599.11 c #Conflicts: 438000 | #Constraints: 27346 597.64/599.11 c #Conflicts: 439000 | #Constraints: 28347 597.64/599.11 c #Conflicts: 440000 | #Constraints: 29347 597.64/599.11 c #Conflicts: 441000 | #Constraints: 30347 597.64/599.11 c #Conflicts: 442000 | #Constraints: 31348 597.64/599.11 c #Conflicts: 443000 | #Constraints: 32348 597.64/599.11 c #Conflicts: 444000 | #Constraints: 33348 597.64/599.11 c #Conflicts: 445000 | #Constraints: 34348 597.64/599.11 c #Conflicts: 446000 | #Constraints: 35349 597.64/599.11 c #Conflicts: 447000 | #Constraints: 36349 597.64/599.11 c #Conflicts: 448000 | #Constraints: 37349 597.64/599.11 c #Conflicts: 449000 | #Constraints: 38349 597.64/599.11 c #Conflicts: 450000 | #Constraints: 39349 597.64/599.11 c INPROCESSING 597.64/599.11 c GARBAGE COLLECT 597.64/599.11 c rational objective 83 616.19/617.74 c #Conflicts: 451000 | #Constraints: 23799 616.19/617.74 c #Conflicts: 452000 | #Constraints: 24799 616.19/617.74 c #Conflicts: 453000 | #Constraints: 25799 616.19/617.74 c #Conflicts: 454000 | #Constraints: 26799 616.19/617.74 c #Conflicts: 455000 | #Constraints: 27799 616.19/617.74 c #Conflicts: 456000 | #Constraints: 28799 616.19/617.74 c #Conflicts: 457000 | #Constraints: 29799 616.19/617.74 c #Conflicts: 458000 | #Constraints: 30799 616.19/617.74 c #Conflicts: 459000 | #Constraints: 31800 616.19/617.74 c #Conflicts: 460000 | #Constraints: 32800 616.19/617.74 c #Conflicts: 461000 | #Constraints: 33800 616.19/617.74 c #Conflicts: 462000 | #Constraints: 34800 616.19/617.74 c #Conflicts: 463000 | #Constraints: 35800 616.19/617.74 c #Conflicts: 464000 | #Constraints: 36800 616.19/617.74 c INPROCESSING 616.19/617.74 c GARBAGE COLLECT 616.19/617.74 c rational objective 83 740.71/742.56 c #Conflicts: 465000 | #Constraints: 22223 740.71/742.56 c #Conflicts: 466000 | #Constraints: 23223 740.71/742.56 c #Conflicts: 467000 | #Constraints: 24224 740.71/742.56 c #Conflicts: 468000 | #Constraints: 25224 740.71/742.56 c #Conflicts: 469000 | #Constraints: 26224 740.71/742.56 c #Conflicts: 470000 | #Constraints: 27225 740.71/742.56 c #Conflicts: 471000 | #Constraints: 28225 740.71/742.56 c #Conflicts: 472000 | #Constraints: 29225 740.71/742.56 c #Conflicts: 473000 | #Constraints: 30225 740.71/742.56 c #Conflicts: 474000 | #Constraints: 31226 740.71/742.56 c #Conflicts: 475000 | #Constraints: 32226 740.71/742.56 c #Conflicts: 476000 | #Constraints: 33226 740.71/742.56 c #Conflicts: 477000 | #Constraints: 34226 740.71/742.56 c #Conflicts: 478000 | #Constraints: 35226 740.71/742.56 c #Conflicts: 479000 | #Constraints: 36226 740.71/742.56 c #Conflicts: 480000 | #Constraints: 37226 740.71/742.56 c #Conflicts: 481000 | #Constraints: 38226 740.71/742.56 c #Conflicts: 482000 | #Constraints: 39226 740.71/742.56 c #Conflicts: 483000 | #Constraints: 40226 740.71/742.56 c #Conflicts: 484000 | #Constraints: 41226 740.71/742.56 c #Conflicts: 485000 | #Constraints: 42226 740.71/742.56 c #Conflicts: 486000 | #Constraints: 43226 740.71/742.56 c #Conflicts: 487000 | #Constraints: 44226 740.71/742.56 c #Conflicts: 488000 | #Constraints: 45227 740.71/742.56 c #Conflicts: 489000 | #Constraints: 46227 740.71/742.56 c #Conflicts: 490000 | #Constraints: 47228 740.71/742.56 c #Conflicts: 491000 | #Constraints: 48228 740.71/742.56 c #Conflicts: 492000 | #Constraints: 49228 740.71/742.56 c #Conflicts: 493000 | #Constraints: 50228 740.71/742.56 c #Conflicts: 494000 | #Constraints: 51228 740.71/742.56 c #Conflicts: 495000 | #Constraints: 52229 740.71/742.56 c #Conflicts: 496000 | #Constraints: 53229 740.71/742.56 c #Conflicts: 497000 | #Constraints: 54229 740.71/742.56 c #Conflicts: 498000 | #Constraints: 55229 740.71/742.56 c #Conflicts: 499000 | #Constraints: 56229 740.71/742.56 c #Conflicts: 500000 | #Constraints: 57229 740.71/742.56 c #Conflicts: 501000 | #Constraints: 58229 740.71/742.56 c #Conflicts: 502000 | #Constraints: 59229 740.71/742.56 c #Conflicts: 503000 | #Constraints: 60229 740.71/742.56 c #Conflicts: 504000 | #Constraints: 61229 740.71/742.56 c #Conflicts: 505000 | #Constraints: 62229 740.71/742.56 c #Conflicts: 506000 | #Constraints: 63229 740.71/742.56 c #Conflicts: 507000 | #Constraints: 64229 740.71/742.56 c #Conflicts: 508000 | #Constraints: 65229 740.71/742.56 c #Conflicts: 509000 | #Constraints: 66229 740.71/742.56 c #Conflicts: 510000 | #Constraints: 67229 740.71/742.56 c #Conflicts: 511000 | #Constraints: 68229 740.71/742.56 c #Conflicts: 512000 | #Constraints: 69230 740.71/742.56 c #Conflicts: 513000 | #Constraints: 70232 740.71/742.56 c #Conflicts: 514000 | #Constraints: 71232 740.71/742.56 c #Conflicts: 515000 | #Constraints: 72232 740.71/742.56 c #Conflicts: 516000 | #Constraints: 73232 740.71/742.56 c #Conflicts: 517000 | #Constraints: 74232 740.71/742.56 c #Conflicts: 518000 | #Constraints: 75232 740.71/742.56 c #Conflicts: 519000 | #Constraints: 76233 740.71/742.56 c #Conflicts: 520000 | #Constraints: 77233 740.71/742.56 c #Conflicts: 521000 | #Constraints: 78233 740.71/742.56 c INPROCESSING 740.71/742.56 c GARBAGE COLLECT 740.71/742.56 c rational objective 83 765.84/767.77 c #Conflicts: 522000 | #Constraints: 42885 765.84/767.77 c #Conflicts: 523000 | #Constraints: 43885 765.84/767.77 c #Conflicts: 524000 | #Constraints: 44886 765.84/767.77 c #Conflicts: 525000 | #Constraints: 45886 765.84/767.77 c #Conflicts: 526000 | #Constraints: 46886 765.84/767.77 c #Conflicts: 527000 | #Constraints: 47886 765.84/767.77 c #Conflicts: 528000 | #Constraints: 48886 765.84/767.77 c #Conflicts: 529000 | #Constraints: 49886 765.84/767.77 c #Conflicts: 530000 | #Constraints: 50886 765.84/767.77 c #Conflicts: 531000 | #Constraints: 51886 765.84/767.77 c #Conflicts: 532000 | #Constraints: 52886 765.84/767.77 c #Conflicts: 533000 | #Constraints: 53886 765.84/767.77 c #Conflicts: 534000 | #Constraints: 54886 765.84/767.77 c #Conflicts: 535000 | #Constraints: 55886 765.84/767.77 c #Conflicts: 536000 | #Constraints: 56886 765.84/767.77 c #Conflicts: 537000 | #Constraints: 57886 765.84/767.77 c INPROCESSING 765.84/767.77 c GARBAGE COLLECT 765.84/767.77 c rational objective 83 784.59/786.59 c #Conflicts: 538000 | #Constraints: 32792 784.59/786.59 c #Conflicts: 539000 | #Constraints: 33792 784.59/786.59 c #Conflicts: 540000 | #Constraints: 34792 784.59/786.59 c #Conflicts: 541000 | #Constraints: 35793 784.59/786.59 c #Conflicts: 542000 | #Constraints: 36796 784.59/786.59 c #Conflicts: 543000 | #Constraints: 37796 784.59/786.59 c #Conflicts: 544000 | #Constraints: 38796 784.59/786.59 c #Conflicts: 545000 | #Constraints: 39796 784.59/786.59 c #Conflicts: 546000 | #Constraints: 40796 784.59/786.59 c #Conflicts: 547000 | #Constraints: 41796 784.59/786.59 c #Conflicts: 548000 | #Constraints: 42796 784.59/786.59 c #Conflicts: 549000 | #Constraints: 43796 784.59/786.59 c #Conflicts: 550000 | #Constraints: 44796 784.59/786.59 c #Conflicts: 551000 | #Constraints: 45796 784.59/786.59 c #Conflicts: 552000 | #Constraints: 46796 784.59/786.59 c #Conflicts: 553000 | #Constraints: 47796 784.59/786.59 c INPROCESSING 784.59/786.59 c GARBAGE COLLECT 784.59/786.59 c rational objective 83 805.05/807.07 c #Conflicts: 554000 | #Constraints: 27728 805.05/807.07 c #Conflicts: 555000 | #Constraints: 28729 805.05/807.07 c #Conflicts: 556000 | #Constraints: 29729 805.05/807.07 c #Conflicts: 557000 | #Constraints: 30729 805.05/807.07 c #Conflicts: 558000 | #Constraints: 31729 805.05/807.07 c #Conflicts: 559000 | #Constraints: 32729 805.05/807.07 c #Conflicts: 560000 | #Constraints: 33729 805.05/807.07 c #Conflicts: 561000 | #Constraints: 34729 805.05/807.07 c #Conflicts: 562000 | #Constraints: 35729 805.05/807.07 c #Conflicts: 563000 | #Constraints: 36729 805.05/807.07 c #Conflicts: 564000 | #Constraints: 37729 805.05/807.07 c #Conflicts: 565000 | #Constraints: 38729 805.05/807.07 c #Conflicts: 566000 | #Constraints: 39729 805.05/807.07 c #Conflicts: 567000 | #Constraints: 40729 805.05/807.07 c #Conflicts: 568000 | #Constraints: 41729 805.05/807.07 c #Conflicts: 569000 | #Constraints: 42729 805.05/807.07 c #Conflicts: 570000 | #Constraints: 43729 805.05/807.07 c INPROCESSING 805.05/807.07 c GARBAGE COLLECT 805.05/807.07 c rational objective 83 832.68/834.71 c #Conflicts: 571000 | #Constraints: 26004 832.68/834.71 c #Conflicts: 572000 | #Constraints: 27004 832.68/834.71 c #Conflicts: 573000 | #Constraints: 28004 832.68/834.71 c #Conflicts: 574000 | #Constraints: 29004 832.68/834.71 c #Conflicts: 575000 | #Constraints: 30004 832.68/834.71 c #Conflicts: 576000 | #Constraints: 31004 832.68/834.71 c #Conflicts: 577000 | #Constraints: 32004 832.68/834.71 c #Conflicts: 578000 | #Constraints: 33004 832.68/834.71 c #Conflicts: 579000 | #Constraints: 34004 832.68/834.71 c #Conflicts: 580000 | #Constraints: 35004 832.68/834.71 c #Conflicts: 581000 | #Constraints: 36005 832.68/834.71 c #Conflicts: 582000 | #Constraints: 37005 832.68/834.71 c #Conflicts: 583000 | #Constraints: 38005 832.68/834.71 c #Conflicts: 584000 | #Constraints: 39006 832.68/834.71 c #Conflicts: 585000 | #Constraints: 40006 832.68/834.71 c #Conflicts: 586000 | #Constraints: 41006 832.68/834.71 c INPROCESSING 832.68/834.71 c GARBAGE COLLECT 832.68/834.71 c rational objective 83 960.37/962.75 c #Conflicts: 587000 | #Constraints: 24405 960.37/962.75 c #Conflicts: 588000 | #Constraints: 25405 960.37/962.75 c #Conflicts: 589000 | #Constraints: 26405 960.37/962.75 c #Conflicts: 590000 | #Constraints: 27405 960.37/962.75 c #Conflicts: 591000 | #Constraints: 28405 960.37/962.75 c #Conflicts: 592000 | #Constraints: 29405 960.37/962.75 c #Conflicts: 593000 | #Constraints: 30405 960.37/962.75 c #Conflicts: 594000 | #Constraints: 31405 960.37/962.75 c #Conflicts: 595000 | #Constraints: 32405 960.37/962.75 c #Conflicts: 596000 | #Constraints: 33405 960.37/962.75 c #Conflicts: 597000 | #Constraints: 34406 960.37/962.75 c #Conflicts: 598000 | #Constraints: 35407 960.37/962.75 c #Conflicts: 599000 | #Constraints: 36407 960.37/962.75 c #Conflicts: 600000 | #Constraints: 37407 960.37/962.75 c #Conflicts: 601000 | #Constraints: 38407 960.37/962.75 c #Conflicts: 602000 | #Constraints: 39407 960.37/962.75 c #Conflicts: 603000 | #Constraints: 40407 960.37/962.75 c #Conflicts: 604000 | #Constraints: 41407 960.37/962.75 c #Conflicts: 605000 | #Constraints: 42407 960.37/962.75 c #Conflicts: 606000 | #Constraints: 43407 960.37/962.75 c #Conflicts: 607000 | #Constraints: 44407 960.37/962.75 c #Conflicts: 608000 | #Constraints: 45407 960.37/962.75 c #Conflicts: 609000 | #Constraints: 46407 960.37/962.75 c #Conflicts: 610000 | #Constraints: 47408 960.37/962.75 c #Conflicts: 611000 | #Constraints: 48408 960.37/962.75 c #Conflicts: 612000 | #Constraints: 49408 960.37/962.75 c #Conflicts: 613000 | #Constraints: 50408 960.37/962.75 c #Conflicts: 614000 | #Constraints: 51408 960.37/962.75 c #Conflicts: 615000 | #Constraints: 52408 960.37/962.75 c #Conflicts: 616000 | #Constraints: 53408 960.37/962.75 c #Conflicts: 617000 | #Constraints: 54409 960.37/962.75 c #Conflicts: 618000 | #Constraints: 55409 960.37/962.75 c #Conflicts: 619000 | #Constraints: 56410 960.37/962.75 c #Conflicts: 620000 | #Constraints: 57411 960.37/962.75 c #Conflicts: 621000 | #Constraints: 58411 960.37/962.75 c #Conflicts: 622000 | #Constraints: 59411 960.37/962.75 c #Conflicts: 623000 | #Constraints: 60412 960.37/962.75 c #Conflicts: 624000 | #Constraints: 61412 960.37/962.75 c #Conflicts: 625000 | #Constraints: 62412 960.37/962.75 c #Conflicts: 626000 | #Constraints: 63412 960.37/962.75 c #Conflicts: 627000 | #Constraints: 64412 960.37/962.75 c #Conflicts: 628000 | #Constraints: 65412 960.37/962.75 c #Conflicts: 629000 | #Constraints: 66413 960.37/962.75 c #Conflicts: 630000 | #Constraints: 67413 960.37/962.75 c #Conflicts: 631000 | #Constraints: 68413 960.37/962.75 c #Conflicts: 632000 | #Constraints: 69413 960.37/962.75 c #Conflicts: 633000 | #Constraints: 70414 960.37/962.75 c #Conflicts: 634000 | #Constraints: 71414 960.37/962.75 c #Conflicts: 635000 | #Constraints: 72414 960.37/962.75 c #Conflicts: 636000 | #Constraints: 73414 960.37/962.75 c #Conflicts: 637000 | #Constraints: 74414 960.37/962.75 c #Conflicts: 638000 | #Constraints: 75414 960.37/962.75 c #Conflicts: 639000 | #Constraints: 76414 960.37/962.75 c #Conflicts: 640000 | #Constraints: 77414 960.37/962.75 c #Conflicts: 641000 | #Constraints: 78414 960.37/962.75 c #Conflicts: 642000 | #Constraints: 79414 960.37/962.75 c #Conflicts: 643000 | #Constraints: 80414 960.37/962.75 c #Conflicts: 644000 | #Constraints: 81414 960.37/962.75 c #Conflicts: 645000 | #Constraints: 82415 960.37/962.75 c #Conflicts: 646000 | #Constraints: 83415 960.37/962.75 c #Conflicts: 647000 | #Constraints: 84415 960.37/962.75 c #Conflicts: 648000 | #Constraints: 85415 960.37/962.75 c #Conflicts: 649000 | #Constraints: 86415 960.37/962.75 c #Conflicts: 650000 | #Constraints: 87415 960.37/962.75 c INPROCESSING 960.37/962.75 c GARBAGE COLLECT 960.37/962.75 c rational objective 83 993.89/996.34 c #Conflicts: 651000 | #Constraints: 47892 993.89/996.34 c #Conflicts: 652000 | #Constraints: 48892 993.89/996.34 c #Conflicts: 653000 | #Constraints: 49892 993.89/996.34 c #Conflicts: 654000 | #Constraints: 50892 993.89/996.34 c #Conflicts: 655000 | #Constraints: 51892 993.89/996.34 c #Conflicts: 656000 | #Constraints: 52892 993.89/996.34 c #Conflicts: 657000 | #Constraints: 53892 993.89/996.34 c #Conflicts: 658000 | #Constraints: 54892 993.89/996.34 c #Conflicts: 659000 | #Constraints: 55892 993.89/996.34 c #Conflicts: 660000 | #Constraints: 56892 993.89/996.34 c #Conflicts: 661000 | #Constraints: 57892 993.89/996.34 c #Conflicts: 662000 | #Constraints: 58892 993.89/996.34 c #Conflicts: 663000 | #Constraints: 59892 993.89/996.34 c #Conflicts: 664000 | #Constraints: 60892 993.89/996.34 c #Conflicts: 665000 | #Constraints: 61892 993.89/996.34 c #Conflicts: 666000 | #Constraints: 62893 993.89/996.34 c #Conflicts: 667000 | #Constraints: 63893 993.89/996.34 c INPROCESSING 993.89/996.34 c GARBAGE COLLECT 993.89/996.34 c rational objective 83 1025.11/1027.65 c #Conflicts: 668000 | #Constraints: 35694 1025.11/1027.65 c #Conflicts: 669000 | #Constraints: 36695 1025.11/1027.65 c #Conflicts: 670000 | #Constraints: 37695 1025.11/1027.65 c #Conflicts: 671000 | #Constraints: 38695 1025.11/1027.65 c #Conflicts: 672000 | #Constraints: 39695 1025.11/1027.65 c #Conflicts: 673000 | #Constraints: 40695 1025.11/1027.65 c #Conflicts: 674000 | #Constraints: 41695 1025.11/1027.65 c #Conflicts: 675000 | #Constraints: 42695 1025.11/1027.65 c #Conflicts: 676000 | #Constraints: 43695 1025.11/1027.65 c #Conflicts: 677000 | #Constraints: 44695 1025.11/1027.65 c #Conflicts: 678000 | #Constraints: 45695 1025.11/1027.65 c #Conflicts: 679000 | #Constraints: 46695 1025.11/1027.65 c #Conflicts: 680000 | #Constraints: 47696 1025.11/1027.65 c #Conflicts: 681000 | #Constraints: 48696 1025.11/1027.65 c #Conflicts: 682000 | #Constraints: 49696 1025.11/1027.65 c #Conflicts: 683000 | #Constraints: 50696 1025.11/1027.65 c #Conflicts: 684000 | #Constraints: 51696 1025.11/1027.65 c #Conflicts: 685000 | #Constraints: 52696 1025.11/1027.65 c INPROCESSING 1025.11/1027.65 c GARBAGE COLLECT 1025.11/1027.65 c rational objective 83 1054.94/1057.59 c #Conflicts: 686000 | #Constraints: 30111 1054.94/1057.59 c #Conflicts: 687000 | #Constraints: 31111 1054.94/1057.59 c #Conflicts: 688000 | #Constraints: 32111 1054.94/1057.59 c #Conflicts: 689000 | #Constraints: 33112 1054.94/1057.59 c #Conflicts: 690000 | #Constraints: 34112 1054.94/1057.59 c #Conflicts: 691000 | #Constraints: 35113 1054.94/1057.59 c #Conflicts: 692000 | #Constraints: 36113 1054.94/1057.59 c #Conflicts: 693000 | #Constraints: 37113 1054.94/1057.59 c #Conflicts: 694000 | #Constraints: 38113 1054.94/1057.59 c #Conflicts: 695000 | #Constraints: 39113 1054.94/1057.59 c #Conflicts: 696000 | #Constraints: 40113 1054.94/1057.59 c #Conflicts: 697000 | #Constraints: 41115 1054.94/1057.59 c #Conflicts: 698000 | #Constraints: 42115 1054.94/1057.59 c #Conflicts: 699000 | #Constraints: 43115 1054.94/1057.59 c #Conflicts: 700000 | #Constraints: 44115 1054.94/1057.59 c #Conflicts: 701000 | #Constraints: 45116 1054.94/1057.59 c #Conflicts: 702000 | #Constraints: 46116 1054.94/1057.59 c #Conflicts: 703000 | #Constraints: 47116 1054.94/1057.59 c #Conflicts: 704000 | #Constraints: 48116 1054.94/1057.59 c INPROCESSING 1054.94/1057.59 c GARBAGE COLLECT 1054.94/1057.59 c rational objective 83 1078.58/1081.22 c #Conflicts: 705000 | #Constraints: 28322 1078.58/1081.22 c #Conflicts: 706000 | #Constraints: 29322 1078.58/1081.22 c #Conflicts: 707000 | #Constraints: 30322 1078.58/1081.22 c #Conflicts: 708000 | #Constraints: 31322 1078.58/1081.22 c #Conflicts: 709000 | #Constraints: 32322 1078.58/1081.22 c #Conflicts: 710000 | #Constraints: 33322 1078.58/1081.22 c #Conflicts: 711000 | #Constraints: 34322 1078.58/1081.22 c #Conflicts: 712000 | #Constraints: 35322 1078.58/1081.22 c #Conflicts: 713000 | #Constraints: 36322 1078.58/1081.22 c #Conflicts: 714000 | #Constraints: 37323 1078.58/1081.22 c #Conflicts: 715000 | #Constraints: 38324 1078.58/1081.22 c #Conflicts: 716000 | #Constraints: 39325 1078.58/1081.22 c #Conflicts: 717000 | #Constraints: 40325 1078.58/1081.22 c #Conflicts: 718000 | #Constraints: 41325 1078.58/1081.22 c #Conflicts: 719000 | #Constraints: 42325 1078.58/1081.22 c #Conflicts: 720000 | #Constraints: 43326 1078.58/1081.22 c #Conflicts: 721000 | #Constraints: 44326 1078.58/1081.22 c #Conflicts: 722000 | #Constraints: 45326 1078.58/1081.22 c INPROCESSING 1078.58/1081.22 c GARBAGE COLLECT 1078.58/1081.22 c rational objective 83 1253.22/1256.38 c #Conflicts: 723000 | #Constraints: 26617 1253.22/1256.38 c #Conflicts: 724000 | #Constraints: 27617 1253.22/1256.38 c #Conflicts: 725000 | #Constraints: 28617 1253.22/1256.38 c #Conflicts: 726000 | #Constraints: 29618 1253.22/1256.38 c #Conflicts: 727000 | #Constraints: 30618 1253.22/1256.38 c #Conflicts: 728000 | #Constraints: 31618 1253.22/1256.38 c #Conflicts: 729000 | #Constraints: 32618 1253.22/1256.38 c #Conflicts: 730000 | #Constraints: 33618 1253.22/1256.38 c #Conflicts: 731000 | #Constraints: 34618 1253.22/1256.38 c #Conflicts: 732000 | #Constraints: 35618 1253.22/1256.38 c #Conflicts: 733000 | #Constraints: 36618 1253.22/1256.38 c #Conflicts: 734000 | #Constraints: 37618 1253.22/1256.38 c #Conflicts: 735000 | #Constraints: 38618 1253.22/1256.38 c #Conflicts: 736000 | #Constraints: 39618 1253.22/1256.38 c #Conflicts: 737000 | #Constraints: 40618 1253.22/1256.38 c #Conflicts: 738000 | #Constraints: 41618 1253.22/1256.38 c #Conflicts: 739000 | #Constraints: 42618 1253.22/1256.38 c #Conflicts: 740000 | #Constraints: 43618 1253.22/1256.38 c #Conflicts: 741000 | #Constraints: 44618 1253.22/1256.38 c #Conflicts: 742000 | #Constraints: 45618 1253.22/1256.38 c #Conflicts: 743000 | #Constraints: 46619 1253.22/1256.38 c #Conflicts: 744000 | #Constraints: 47619 1253.22/1256.38 c #Conflicts: 745000 | #Constraints: 48619 1253.22/1256.38 c #Conflicts: 746000 | #Constraints: 49619 1253.22/1256.38 c #Conflicts: 747000 | #Constraints: 50619 1253.22/1256.38 c #Conflicts: 748000 | #Constraints: 51619 1253.22/1256.38 c #Conflicts: 749000 | #Constraints: 52619 1253.22/1256.38 c #Conflicts: 750000 | #Constraints: 53619 1253.22/1256.38 c #Conflicts: 751000 | #Constraints: 54619 1253.22/1256.38 c #Conflicts: 752000 | #Constraints: 55619 1253.22/1256.38 c #Conflicts: 753000 | #Constraints: 56619 1253.22/1256.38 c #Conflicts: 754000 | #Constraints: 57619 1253.22/1256.38 c #Conflicts: 755000 | #Constraints: 58619 1253.22/1256.38 c #Conflicts: 756000 | #Constraints: 59619 1253.22/1256.38 c #Conflicts: 757000 | #Constraints: 60619 1253.22/1256.38 c #Conflicts: 758000 | #Constraints: 61619 1253.22/1256.38 c #Conflicts: 759000 | #Constraints: 62619 1253.22/1256.38 c #Conflicts: 760000 | #Constraints: 63619 1253.22/1256.38 c #Conflicts: 761000 | #Constraints: 64620 1253.22/1256.38 c #Conflicts: 762000 | #Constraints: 65620 1253.22/1256.38 c #Conflicts: 763000 | #Constraints: 66620 1253.22/1256.38 c #Conflicts: 764000 | #Constraints: 67621 1253.22/1256.38 c #Conflicts: 765000 | #Constraints: 68621 1253.22/1256.38 c #Conflicts: 766000 | #Constraints: 69622 1253.22/1256.38 c #Conflicts: 767000 | #Constraints: 70622 1253.22/1256.38 c #Conflicts: 768000 | #Constraints: 71622 1253.22/1256.38 c #Conflicts: 769000 | #Constraints: 72623 1253.22/1256.38 c #Conflicts: 770000 | #Constraints: 73623 1253.22/1256.38 c #Conflicts: 771000 | #Constraints: 74623 1253.22/1256.38 c #Conflicts: 772000 | #Constraints: 75623 1253.22/1256.38 c #Conflicts: 773000 | #Constraints: 76623 1253.22/1256.38 c #Conflicts: 774000 | #Constraints: 77623 1253.22/1256.38 c #Conflicts: 775000 | #Constraints: 78623 1253.22/1256.38 c #Conflicts: 776000 | #Constraints: 79623 1253.22/1256.38 c #Conflicts: 777000 | #Constraints: 80623 1253.22/1256.38 c #Conflicts: 778000 | #Constraints: 81623 1253.22/1256.38 c #Conflicts: 779000 | #Constraints: 82623 1253.22/1256.38 c #Conflicts: 780000 | #Constraints: 83623 1253.22/1256.38 c #Conflicts: 781000 | #Constraints: 84624 1253.22/1256.38 c #Conflicts: 782000 | #Constraints: 85624 1253.22/1256.38 c #Conflicts: 783000 | #Constraints: 86624 1253.22/1256.38 c #Conflicts: 784000 | #Constraints: 87624 1253.22/1256.38 c #Conflicts: 785000 | #Constraints: 88624 1253.22/1256.38 c #Conflicts: 786000 | #Constraints: 89624 1253.22/1256.38 c #Conflicts: 787000 | #Constraints: 90624 1253.22/1256.38 c #Conflicts: 788000 | #Constraints: 91624 1253.22/1256.38 c #Conflicts: 789000 | #Constraints: 92624 1253.22/1256.38 c #Conflicts: 790000 | #Constraints: 93624 1253.22/1256.38 c #Conflicts: 791000 | #Constraints: 94624 1253.22/1256.38 c #Conflicts: 792000 | #Constraints: 95624 1253.22/1256.38 c INPROCESSING 1253.22/1256.38 c GARBAGE COLLECT 1253.22/1256.38 c rational objective 83 1295.22/1298.40 c #Conflicts: 793000 | #Constraints: 51882 1295.22/1298.40 c #Conflicts: 794000 | #Constraints: 52882 1295.22/1298.40 c #Conflicts: 795000 | #Constraints: 53883 1295.22/1298.40 c #Conflicts: 796000 | #Constraints: 54883 1295.22/1298.40 c #Conflicts: 797000 | #Constraints: 55884 1295.22/1298.40 c #Conflicts: 798000 | #Constraints: 56884 1295.22/1298.40 c #Conflicts: 799000 | #Constraints: 57884 1295.22/1298.40 c #Conflicts: 800000 | #Constraints: 58884 1295.22/1298.40 c #Conflicts: 801000 | #Constraints: 59884 1295.22/1298.40 c #Conflicts: 802000 | #Constraints: 60884 1295.22/1298.40 c #Conflicts: 803000 | #Constraints: 61885 1295.22/1298.40 c #Conflicts: 804000 | #Constraints: 62885 1295.22/1298.40 c #Conflicts: 805000 | #Constraints: 63885 1295.22/1298.40 c #Conflicts: 806000 | #Constraints: 64886 1295.22/1298.40 c #Conflicts: 807000 | #Constraints: 65887 1295.22/1298.40 c #Conflicts: 808000 | #Constraints: 66887 1295.22/1298.40 c #Conflicts: 809000 | #Constraints: 67888 1295.22/1298.40 c #Conflicts: 810000 | #Constraints: 68888 1295.22/1298.40 c #Conflicts: 811000 | #Constraints: 69888 1295.22/1298.40 c #Conflicts: 812000 | #Constraints: 70888 1295.22/1298.40 c INPROCESSING 1295.22/1298.40 c GARBAGE COLLECT 1295.22/1298.40 c rational objective 83 1322.36/1325.68 c #Conflicts: 813000 | #Constraints: 39611 1322.36/1325.68 c #Conflicts: 814000 | #Constraints: 40611 1322.36/1325.68 c #Conflicts: 815000 | #Constraints: 41611 1322.36/1325.68 c #Conflicts: 816000 | #Constraints: 42611 1322.36/1325.68 c #Conflicts: 817000 | #Constraints: 43611 1322.36/1325.68 c #Conflicts: 818000 | #Constraints: 44612 1322.36/1325.68 c #Conflicts: 819000 | #Constraints: 45612 1322.36/1325.68 c #Conflicts: 820000 | #Constraints: 46613 1322.36/1325.68 c #Conflicts: 821000 | #Constraints: 47613 1322.36/1325.68 c #Conflicts: 822000 | #Constraints: 48613 1322.36/1325.68 c #Conflicts: 823000 | #Constraints: 49613 1322.36/1325.68 c #Conflicts: 824000 | #Constraints: 50613 1322.36/1325.68 c #Conflicts: 825000 | #Constraints: 51613 1322.36/1325.68 c #Conflicts: 826000 | #Constraints: 52613 1322.36/1325.68 c #Conflicts: 827000 | #Constraints: 53613 1322.36/1325.68 c #Conflicts: 828000 | #Constraints: 54613 1322.36/1325.68 c #Conflicts: 829000 | #Constraints: 55613 1322.36/1325.68 c #Conflicts: 830000 | #Constraints: 56613 1322.36/1325.68 c #Conflicts: 831000 | #Constraints: 57613 1322.36/1325.68 c INPROCESSING 1322.36/1325.68 c GARBAGE COLLECT 1322.36/1325.68 c rational objective 83 1354.69/1358.02 c #Conflicts: 832000 | #Constraints: 32556 1354.69/1358.02 c #Conflicts: 833000 | #Constraints: 33556 1354.69/1358.02 c #Conflicts: 834000 | #Constraints: 34556 1354.69/1358.02 c #Conflicts: 835000 | #Constraints: 35556 1354.69/1358.02 c #Conflicts: 836000 | #Constraints: 36556 1354.69/1358.02 c #Conflicts: 837000 | #Constraints: 37556 1354.69/1358.02 c #Conflicts: 838000 | #Constraints: 38556 1354.69/1358.02 c #Conflicts: 839000 | #Constraints: 39556 1354.69/1358.02 c #Conflicts: 840000 | #Constraints: 40556 1354.69/1358.02 c #Conflicts: 841000 | #Constraints: 41556 1354.69/1358.02 c #Conflicts: 842000 | #Constraints: 42556 1354.69/1358.02 c #Conflicts: 843000 | #Constraints: 43556 1354.69/1358.02 c #Conflicts: 844000 | #Constraints: 44556 1354.69/1358.02 c #Conflicts: 845000 | #Constraints: 45556 1354.69/1358.02 c #Conflicts: 846000 | #Constraints: 46556 1354.69/1358.02 c #Conflicts: 847000 | #Constraints: 47556 1354.69/1358.02 c #Conflicts: 848000 | #Constraints: 48556 1354.69/1358.02 c #Conflicts: 849000 | #Constraints: 49556 1354.69/1358.02 c #Conflicts: 850000 | #Constraints: 50557 1354.69/1358.02 c #Conflicts: 851000 | #Constraints: 51557 1354.69/1358.02 c #Conflicts: 852000 | #Constraints: 52557 1354.69/1358.02 c INPROCESSING 1354.69/1358.02 c GARBAGE COLLECT 1354.69/1358.02 c rational objective 83 1382.33/1385.71 c #Conflicts: 853000 | #Constraints: 30485 1382.33/1385.71 c #Conflicts: 854000 | #Constraints: 31485 1382.33/1385.71 c #Conflicts: 855000 | #Constraints: 32485 1382.33/1385.71 c #Conflicts: 856000 | #Constraints: 33486 1382.33/1385.71 c #Conflicts: 857000 | #Constraints: 34486 1382.33/1385.71 c #Conflicts: 858000 | #Constraints: 35486 1382.33/1385.71 c #Conflicts: 859000 | #Constraints: 36486 1382.33/1385.71 c #Conflicts: 860000 | #Constraints: 37486 1382.33/1385.71 c #Conflicts: 861000 | #Constraints: 38486 1382.33/1385.71 c #Conflicts: 862000 | #Constraints: 39486 1382.33/1385.71 c #Conflicts: 863000 | #Constraints: 40487 1382.33/1385.71 c #Conflicts: 864000 | #Constraints: 41487 1382.33/1385.71 c #Conflicts: 865000 | #Constraints: 42487 1382.33/1385.71 c #Conflicts: 866000 | #Constraints: 43487 1382.33/1385.71 c #Conflicts: 867000 | #Constraints: 44487 1382.33/1385.71 c #Conflicts: 868000 | #Constraints: 45487 1382.33/1385.71 c #Conflicts: 869000 | #Constraints: 46487 1382.33/1385.71 c #Conflicts: 870000 | #Constraints: 47487 1382.33/1385.71 c #Conflicts: 871000 | #Constraints: 48487 1382.33/1385.71 c #Conflicts: 872000 | #Constraints: 49487 1382.33/1385.71 c INPROCESSING 1382.33/1385.71 c GARBAGE COLLECT 1382.33/1385.71 c rational objective 83 1549.78/1553.63 c #Conflicts: 873000 | #Constraints: 28810 1549.78/1553.63 c #Conflicts: 874000 | #Constraints: 29811 1549.78/1553.63 c #Conflicts: 875000 | #Constraints: 30811 1549.78/1553.63 c #Conflicts: 876000 | #Constraints: 31811 1549.78/1553.63 c #Conflicts: 877000 | #Constraints: 32811 1549.78/1553.63 c #Conflicts: 878000 | #Constraints: 33811 1549.78/1553.63 c #Conflicts: 879000 | #Constraints: 34811 1549.78/1553.63 c #Conflicts: 880000 | #Constraints: 35811 1549.78/1553.63 c #Conflicts: 881000 | #Constraints: 36811 1549.78/1553.63 c #Conflicts: 882000 | #Constraints: 37811 1549.78/1553.63 c #Conflicts: 883000 | #Constraints: 38811 1549.78/1553.63 c #Conflicts: 884000 | #Constraints: 39811 1549.78/1553.63 c #Conflicts: 885000 | #Constraints: 40811 1549.78/1553.63 c #Conflicts: 886000 | #Constraints: 41811 1549.78/1553.63 c #Conflicts: 887000 | #Constraints: 42811 1549.78/1553.63 c #Conflicts: 888000 | #Constraints: 43811 1549.78/1553.63 c #Conflicts: 889000 | #Constraints: 44811 1549.78/1553.63 c #Conflicts: 890000 | #Constraints: 45811 1549.78/1553.63 c #Conflicts: 891000 | #Constraints: 46811 1549.78/1553.63 c #Conflicts: 892000 | #Constraints: 47811 1549.78/1553.63 c #Conflicts: 893000 | #Constraints: 48811 1549.78/1553.63 c #Conflicts: 894000 | #Constraints: 49811 1549.78/1553.63 c #Conflicts: 895000 | #Constraints: 50811 1549.78/1553.63 c #Conflicts: 896000 | #Constraints: 51811 1549.78/1553.63 c #Conflicts: 897000 | #Constraints: 52811 1549.78/1553.63 c #Conflicts: 898000 | #Constraints: 53812 1549.78/1553.63 c #Conflicts: 899000 | #Constraints: 54812 1549.78/1553.63 c #Conflicts: 900000 | #Constraints: 55812 1549.78/1553.63 c #Conflicts: 901000 | #Constraints: 56812 1549.78/1553.63 c #Conflicts: 902000 | #Constraints: 57812 1549.78/1553.63 c #Conflicts: 903000 | #Constraints: 58812 1549.78/1553.63 c #Conflicts: 904000 | #Constraints: 59812 1549.78/1553.63 c #Conflicts: 905000 | #Constraints: 60812 1549.78/1553.63 c #Conflicts: 906000 | #Constraints: 61812 1549.78/1553.63 c #Conflicts: 907000 | #Constraints: 62812 1549.78/1553.63 c #Conflicts: 908000 | #Constraints: 63812 1549.78/1553.63 c #Conflicts: 909000 | #Constraints: 64812 1549.78/1553.63 c #Conflicts: 910000 | #Constraints: 65812 1549.78/1553.63 c #Conflicts: 911000 | #Constraints: 66812 1549.78/1553.63 c #Conflicts: 912000 | #Constraints: 67812 1549.78/1553.63 c #Conflicts: 913000 | #Constraints: 68812 1549.78/1553.63 c #Conflicts: 914000 | #Constraints: 69812 1549.78/1553.63 c #Conflicts: 915000 | #Constraints: 70813 1549.78/1553.63 c #Conflicts: 916000 | #Constraints: 71813 1549.78/1553.63 c #Conflicts: 917000 | #Constraints: 72813 1549.78/1553.63 c #Conflicts: 918000 | #Constraints: 73813 1549.78/1553.63 c #Conflicts: 919000 | #Constraints: 74813 1549.78/1553.63 c #Conflicts: 920000 | #Constraints: 75813 1549.78/1553.63 c #Conflicts: 921000 | #Constraints: 76813 1549.78/1553.63 c #Conflicts: 922000 | #Constraints: 77813 1549.78/1553.63 c #Conflicts: 923000 | #Constraints: 78813 1549.78/1553.63 c #Conflicts: 924000 | #Constraints: 79813 1549.78/1553.63 c #Conflicts: 925000 | #Constraints: 80813 1549.78/1553.63 c #Conflicts: 926000 | #Constraints: 81814 1549.78/1553.63 c #Conflicts: 927000 | #Constraints: 82814 1549.78/1553.63 c #Conflicts: 928000 | #Constraints: 83815 1549.78/1553.63 c #Conflicts: 929000 | #Constraints: 84815 1549.78/1553.63 c #Conflicts: 930000 | #Constraints: 85815 1549.78/1553.63 c #Conflicts: 931000 | #Constraints: 86815 1549.78/1553.63 c #Conflicts: 932000 | #Constraints: 87815 1549.78/1553.63 c #Conflicts: 933000 | #Constraints: 88815 1549.78/1553.63 c #Conflicts: 934000 | #Constraints: 89815 1549.78/1553.63 c #Conflicts: 935000 | #Constraints: 90815 1549.78/1553.63 c #Conflicts: 936000 | #Constraints: 91815 1549.78/1553.63 c #Conflicts: 937000 | #Constraints: 92815 1549.78/1553.63 c #Conflicts: 938000 | #Constraints: 93815 1549.78/1553.63 c #Conflicts: 939000 | #Constraints: 94816 1549.78/1553.63 c #Conflicts: 940000 | #Constraints: 95816 1549.78/1553.63 c #Conflicts: 941000 | #Constraints: 96816 1549.78/1553.63 c #Conflicts: 942000 | #Constraints: 97816 1549.78/1553.63 c #Conflicts: 943000 | #Constraints: 98816 1549.78/1553.63 c #Conflicts: 944000 | #Constraints: 99816 1549.78/1553.63 c #Conflicts: 945000 | #Constraints: 100816 1549.78/1553.63 c #Conflicts: 946000 | #Constraints: 101816 1549.78/1553.63 c #Conflicts: 947000 | #Constraints: 102816 1549.78/1553.63 c #Conflicts: 948000 | #Constraints: 103816 1549.78/1553.63 c INPROCESSING 1549.78/1553.63 c GARBAGE COLLECT 1549.78/1553.63 c rational objective 83 1591.67/1595.62 c #Conflicts: 949000 | #Constraints: 55916 1591.67/1595.62 c #Conflicts: 950000 | #Constraints: 56917 1591.67/1595.62 c #Conflicts: 951000 | #Constraints: 57918 1591.67/1595.62 c #Conflicts: 952000 | #Constraints: 58919 1591.67/1595.62 c #Conflicts: 953000 | #Constraints: 59921 1591.67/1595.62 c #Conflicts: 954000 | #Constraints: 60922 1591.67/1595.62 c #Conflicts: 955000 | #Constraints: 61922 1591.67/1595.62 c #Conflicts: 956000 | #Constraints: 62923 1591.67/1595.62 c #Conflicts: 957000 | #Constraints: 63923 1591.67/1595.62 c #Conflicts: 958000 | #Constraints: 64923 1591.67/1595.62 c #Conflicts: 959000 | #Constraints: 65923 1591.67/1595.62 c #Conflicts: 960000 | #Constraints: 66923 1591.67/1595.62 c #Conflicts: 961000 | #Constraints: 67923 1591.67/1595.62 c #Conflicts: 962000 | #Constraints: 68923 1591.67/1595.62 c #Conflicts: 963000 | #Constraints: 69923 1591.67/1595.62 c #Conflicts: 964000 | #Constraints: 70923 1591.67/1595.62 c #Conflicts: 965000 | #Constraints: 71923 1591.67/1595.62 c #Conflicts: 966000 | #Constraints: 72923 1591.67/1595.62 c #Conflicts: 967000 | #Constraints: 73923 1591.67/1595.62 c #Conflicts: 968000 | #Constraints: 74923 1591.67/1595.62 c #Conflicts: 969000 | #Constraints: 75924 1591.67/1595.62 c #Conflicts: 970000 | #Constraints: 76924 1591.67/1595.62 c INPROCESSING 1591.67/1595.62 c GARBAGE COLLECT 1591.67/1595.62 c rational objective 83 1627.36/1631.48 c #Conflicts: 971000 | #Constraints: 42507 1627.36/1631.48 c #Conflicts: 972000 | #Constraints: 43507 1627.36/1631.48 c #Conflicts: 973000 | #Constraints: 44507 1627.36/1631.48 c #Conflicts: 974000 | #Constraints: 45507 1627.36/1631.48 c #Conflicts: 975000 | #Constraints: 46507 1627.36/1631.48 c #Conflicts: 976000 | #Constraints: 47507 1627.36/1631.48 c #Conflicts: 977000 | #Constraints: 48507 1627.36/1631.48 c #Conflicts: 978000 | #Constraints: 49507 1627.36/1631.48 c #Conflicts: 979000 | #Constraints: 50507 1627.36/1631.48 c #Conflicts: 980000 | #Constraints: 51507 1627.36/1631.48 c #Conflicts: 981000 | #Constraints: 52507 1627.36/1631.48 c #Conflicts: 982000 | #Constraints: 53507 1627.36/1631.48 c #Conflicts: 983000 | #Constraints: 54507 1627.36/1631.48 c #Conflicts: 984000 | #Constraints: 55507 1627.36/1631.48 c #Conflicts: 985000 | #Constraints: 56508 1627.36/1631.48 c #Conflicts: 986000 | #Constraints: 57508 1627.36/1631.48 c #Conflicts: 987000 | #Constraints: 58508 1627.36/1631.48 c #Conflicts: 988000 | #Constraints: 59508 1627.36/1631.48 c #Conflicts: 989000 | #Constraints: 60508 1627.36/1631.48 c #Conflicts: 990000 | #Constraints: 61508 1627.36/1631.48 c #Conflicts: 991000 | #Constraints: 62508 1627.36/1631.48 c #Conflicts: 992000 | #Constraints: 63508 1627.36/1631.48 c INPROCESSING 1627.36/1631.48 c GARBAGE COLLECT 1627.36/1631.48 c rational objective 83 1662.66/1666.83 c #Conflicts: 993000 | #Constraints: 36014 1662.66/1666.83 c #Conflicts: 994000 | #Constraints: 37014 1662.66/1666.83 c #Conflicts: 995000 | #Constraints: 38014 1662.66/1666.83 c #Conflicts: 996000 | #Constraints: 39014 1662.66/1666.83 c #Conflicts: 997000 | #Constraints: 40014 1662.66/1666.83 c #Conflicts: 998000 | #Constraints: 41014 1662.66/1666.83 c #Conflicts: 999000 | #Constraints: 42014 1662.66/1666.83 c #Conflicts: 1000000 | #Constraints: 43014 1662.66/1666.83 c #Conflicts: 1001000 | #Constraints: 44014 1662.66/1666.83 c #Conflicts: 1002000 | #Constraints: 45015 1662.66/1666.83 c #Conflicts: 1003000 | #Constraints: 46015 1662.66/1666.83 c #Conflicts: 1004000 | #Constraints: 47015 1662.66/1666.83 c #Conflicts: 1005000 | #Constraints: 48015 1662.66/1666.83 c #Conflicts: 1006000 | #Constraints: 49018 1662.66/1666.83 c #Conflicts: 1007000 | #Constraints: 50018 1662.66/1666.83 c #Conflicts: 1008000 | #Constraints: 51018 1662.66/1666.83 c #Conflicts: 1009000 | #Constraints: 52018 1662.66/1666.83 c #Conflicts: 1010000 | #Constraints: 53018 1662.66/1666.83 c #Conflicts: 1011000 | #Constraints: 54018 1662.66/1666.83 c #Conflicts: 1012000 | #Constraints: 55019 1662.66/1666.83 c #Conflicts: 1013000 | #Constraints: 56019 1662.66/1666.83 c #Conflicts: 1014000 | #Constraints: 57019 1662.66/1666.83 c INPROCESSING 1662.66/1666.83 c GARBAGE COLLECT 1662.66/1666.83 c rational objective 83 1691.99/1696.28 c #Conflicts: 1015000 | #Constraints: 32835 1691.99/1696.28 c #Conflicts: 1016000 | #Constraints: 33835 1691.99/1696.28 c #Conflicts: 1017000 | #Constraints: 34835 1691.99/1696.28 c #Conflicts: 1018000 | #Constraints: 35835 1691.99/1696.28 c #Conflicts: 1019000 | #Constraints: 36835 1691.99/1696.28 c #Conflicts: 1020000 | #Constraints: 37835 1691.99/1696.28 c #Conflicts: 1021000 | #Constraints: 38835 1691.99/1696.28 c #Conflicts: 1022000 | #Constraints: 39835 1691.99/1696.28 c #Conflicts: 1023000 | #Constraints: 40835 1691.99/1696.28 c #Conflicts: 1024000 | #Constraints: 41835 1691.99/1696.28 c #Conflicts: 1025000 | #Constraints: 42836 1691.99/1696.28 c #Conflicts: 1026000 | #Constraints: 43836 1691.99/1696.28 c #Conflicts: 1027000 | #Constraints: 44836 1691.99/1696.28 c #Conflicts: 1028000 | #Constraints: 45836 1691.99/1696.28 c #Conflicts: 1029000 | #Constraints: 46836 1691.99/1696.28 c #Conflicts: 1030000 | #Constraints: 47836 1691.99/1696.28 c #Conflicts: 1031000 | #Constraints: 48836 1691.99/1696.28 c #Conflicts: 1032000 | #Constraints: 49836 1691.99/1696.28 c #Conflicts: 1033000 | #Constraints: 50836 1691.99/1696.28 c #Conflicts: 1034000 | #Constraints: 51836 1691.99/1696.28 c #Conflicts: 1035000 | #Constraints: 52836 1691.99/1696.28 c #Conflicts: 1036000 | #Constraints: 53836 1691.99/1696.28 c INPROCESSING 1691.99/1696.28 c GARBAGE COLLECT 1691.99/1696.28 c rational objective 83 1880.54/1885.37 c #Conflicts: 1037000 | #Constraints: 31080 1880.54/1885.37 c #Conflicts: 1038000 | #Constraints: 32080 1880.54/1885.37 c #Conflicts: 1039000 | #Constraints: 33080 1880.54/1885.37 c #Conflicts: 1040000 | #Constraints: 34081 1880.54/1885.37 c #Conflicts: 1041000 | #Constraints: 35081 1880.54/1885.37 c #Conflicts: 1042000 | #Constraints: 36081 1880.54/1885.37 c #Conflicts: 1043000 | #Constraints: 37081 1880.54/1885.37 c #Conflicts: 1044000 | #Constraints: 38081 1880.54/1885.37 c #Conflicts: 1045000 | #Constraints: 39081 1880.54/1885.37 c #Conflicts: 1046000 | #Constraints: 40081 1880.54/1885.37 c #Conflicts: 1047000 | #Constraints: 41081 1880.54/1885.37 c #Conflicts: 1048000 | #Constraints: 42081 1880.54/1885.37 c #Conflicts: 1049000 | #Constraints: 43081 1880.54/1885.37 c #Conflicts: 1050000 | #Constraints: 44081 1880.54/1885.37 c #Conflicts: 1051000 | #Constraints: 45082 1880.54/1885.37 c #Conflicts: 1052000 | #Constraints: 46082 1880.54/1885.37 c #Conflicts: 1053000 | #Constraints: 47082 1880.54/1885.37 c #Conflicts: 1054000 | #Constraints: 48082 1880.54/1885.37 c #Conflicts: 1055000 | #Constraints: 49082 1880.54/1885.37 c #Conflicts: 1056000 | #Constraints: 50084 1880.54/1885.37 c #Conflicts: 1057000 | #Constraints: 51084 1880.54/1885.37 c #Conflicts: 1058000 | #Constraints: 52084 1880.54/1885.37 c #Conflicts: 1059000 | #Constraints: 53084 1880.54/1885.37 c #Conflicts: 1060000 | #Constraints: 54084 1880.54/1885.37 c #Conflicts: 1061000 | #Constraints: 55084 1880.54/1885.37 c #Conflicts: 1062000 | #Constraints: 56084 1880.54/1885.37 c #Conflicts: 1063000 | #Constraints: 57084 1880.54/1885.37 c #Conflicts: 1064000 | #Constraints: 58084 1880.54/1885.37 c #Conflicts: 1065000 | #Constraints: 59084 1880.54/1885.37 c #Conflicts: 1066000 | #Constraints: 60084 1880.54/1885.37 c #Conflicts: 1067000 | #Constraints: 61084 1880.54/1885.37 c #Conflicts: 1068000 | #Constraints: 62085 1880.54/1885.37 c #Conflicts: 1069000 | #Constraints: 63085 1880.54/1885.37 c #Conflicts: 1070000 | #Constraints: 64085 1880.54/1885.37 c #Conflicts: 1071000 | #Constraints: 65085 1880.54/1885.37 c #Conflicts: 1072000 | #Constraints: 66085 1880.54/1885.37 c #Conflicts: 1073000 | #Constraints: 67085 1880.54/1885.37 c #Conflicts: 1074000 | #Constraints: 68085 1880.54/1885.37 c #Conflicts: 1075000 | #Constraints: 69085 1880.54/1885.37 c #Conflicts: 1076000 | #Constraints: 70085 1880.54/1885.37 c #Conflicts: 1077000 | #Constraints: 71085 1880.54/1885.37 c #Conflicts: 1078000 | #Constraints: 72085 1880.54/1885.37 c #Conflicts: 1079000 | #Constraints: 73085 1880.54/1885.37 c #Conflicts: 1080000 | #Constraints: 74085 1880.54/1885.37 c #Conflicts: 1081000 | #Constraints: 75085 1880.54/1885.37 c #Conflicts: 1082000 | #Constraints: 76085 1880.54/1885.37 c #Conflicts: 1083000 | #Constraints: 77085 1880.54/1885.37 c #Conflicts: 1084000 | #Constraints: 78085 1880.54/1885.37 c #Conflicts: 1085000 | #Constraints: 79085 1880.54/1885.37 c #Conflicts: 1086000 | #Constraints: 80085 1880.54/1885.37 c #Conflicts: 1087000 | #Constraints: 81085 1880.54/1885.37 c #Conflicts: 1088000 | #Constraints: 82085 1880.54/1885.37 c #Conflicts: 1089000 | #Constraints: 83085 1880.54/1885.37 c #Conflicts: 1090000 | #Constraints: 84085 1880.54/1885.37 c #Conflicts: 1091000 | #Constraints: 85086 1880.54/1885.37 c #Conflicts: 1092000 | #Constraints: 86086 1880.54/1885.37 c #Conflicts: 1093000 | #Constraints: 87086 1880.54/1885.37 c #Conflicts: 1094000 | #Constraints: 88086 1880.54/1885.37 c #Conflicts: 1095000 | #Constraints: 89086 1880.54/1885.37 c #Conflicts: 1096000 | #Constraints: 90086 1880.54/1885.37 c #Conflicts: 1097000 | #Constraints: 91086 1880.54/1885.37 c #Conflicts: 1098000 | #Constraints: 92086 1880.54/1885.37 c #Conflicts: 1099000 | #Constraints: 93086 1880.54/1885.37 c #Conflicts: 1100000 | #Constraints: 94086 1880.54/1885.37 c #Conflicts: 1101000 | #Constraints: 95086 1880.54/1885.37 c #Conflicts: 1102000 | #Constraints: 96086 1880.54/1885.37 c #Conflicts: 1103000 | #Constraints: 97086 1880.54/1885.37 c #Conflicts: 1104000 | #Constraints: 98086 1880.54/1885.37 c #Conflicts: 1105000 | #Constraints: 99086 1880.54/1885.37 c #Conflicts: 1106000 | #Constraints: 100086 1880.54/1885.37 c #Conflicts: 1107000 | #Constraints: 101086 1880.54/1885.37 c #Conflicts: 1108000 | #Constraints: 102086 1880.54/1885.37 c #Conflicts: 1109000 | #Constraints: 103086 1880.54/1885.37 c #Conflicts: 1110000 | #Constraints: 104086 1880.54/1885.37 c #Conflicts: 1111000 | #Constraints: 105086 1880.54/1885.37 c #Conflicts: 1112000 | #Constraints: 106086 1880.54/1885.37 c #Conflicts: 1113000 | #Constraints: 107086 1880.54/1885.37 c #Conflicts: 1114000 | #Constraints: 108086 1880.54/1885.37 c #Conflicts: 1115000 | #Constraints: 109086 1893.91/1898.70 c #Conflicts: 1116000 | #Constraints: 110086 1893.91/1898.70 c #Conflicts: 1117000 | #Constraints: 111086 1893.91/1898.70 c #Conflicts: 1118000 | #Constraints: 112086 1893.91/1898.70 c INPROCESSING 1893.91/1898.70 c GARBAGE COLLECT 1893.91/1898.70 c rational objective 83 1943.66/1948.69 c #Conflicts: 1119000 | #Constraints: 59772 1943.66/1948.69 c #Conflicts: 1120000 | #Constraints: 60772 1943.66/1948.69 c #Conflicts: 1121000 | #Constraints: 61773 1943.66/1948.69 c #Conflicts: 1122000 | #Constraints: 62773 1943.66/1948.69 c #Conflicts: 1123000 | #Constraints: 63773 1943.66/1948.69 c #Conflicts: 1124000 | #Constraints: 64773 1943.66/1948.69 c #Conflicts: 1125000 | #Constraints: 65773 1943.66/1948.69 c #Conflicts: 1126000 | #Constraints: 66773 1943.66/1948.69 c #Conflicts: 1127000 | #Constraints: 67773 1943.66/1948.69 c #Conflicts: 1128000 | #Constraints: 68773 1943.66/1948.69 c #Conflicts: 1129000 | #Constraints: 69773 1943.66/1948.69 c #Conflicts: 1130000 | #Constraints: 70774 1943.66/1948.69 c #Conflicts: 1131000 | #Constraints: 71774 1943.66/1948.69 c #Conflicts: 1132000 | #Constraints: 72774 1943.66/1948.69 c #Conflicts: 1133000 | #Constraints: 73775 1943.66/1948.69 c #Conflicts: 1134000 | #Constraints: 74775 1943.66/1948.69 c #Conflicts: 1135000 | #Constraints: 75775 1943.66/1948.69 c #Conflicts: 1136000 | #Constraints: 76775 1943.66/1948.69 c #Conflicts: 1137000 | #Constraints: 77775 1943.66/1948.69 c #Conflicts: 1138000 | #Constraints: 78775 1943.66/1948.69 c #Conflicts: 1139000 | #Constraints: 79775 1943.66/1948.69 c #Conflicts: 1140000 | #Constraints: 80775 1943.66/1948.69 c #Conflicts: 1141000 | #Constraints: 81775 1943.66/1948.69 c #Conflicts: 1142000 | #Constraints: 82775 1943.66/1948.69 c INPROCESSING 1943.66/1948.69 c GARBAGE COLLECT 1943.66/1948.69 c rational objective 83 1977.76/1982.84 c #Conflicts: 1143000 | #Constraints: 45433 1977.76/1982.84 c #Conflicts: 1144000 | #Constraints: 46433 1977.76/1982.84 c #Conflicts: 1145000 | #Constraints: 47433 1977.76/1982.84 c #Conflicts: 1146000 | #Constraints: 48433 1977.76/1982.84 c #Conflicts: 1147000 | #Constraints: 49433 1977.76/1982.84 c #Conflicts: 1148000 | #Constraints: 50433 1977.76/1982.84 c #Conflicts: 1149000 | #Constraints: 51433 1977.76/1982.84 c #Conflicts: 1150000 | #Constraints: 52433 1977.76/1982.84 c #Conflicts: 1151000 | #Constraints: 53433 1977.76/1982.84 c #Conflicts: 1152000 | #Constraints: 54433 1977.76/1982.84 c #Conflicts: 1153000 | #Constraints: 55434 1977.76/1982.84 c #Conflicts: 1154000 | #Constraints: 56434 1977.76/1982.84 c #Conflicts: 1155000 | #Constraints: 57434 1977.76/1982.84 c #Conflicts: 1156000 | #Constraints: 58434 1977.76/1982.84 c #Conflicts: 1157000 | #Constraints: 59434 1977.76/1982.84 c #Conflicts: 1158000 | #Constraints: 60434 1977.76/1982.84 c #Conflicts: 1159000 | #Constraints: 61434 1977.76/1982.84 c #Conflicts: 1160000 | #Constraints: 62434 1977.76/1982.84 c #Conflicts: 1161000 | #Constraints: 63434 1977.76/1982.84 c #Conflicts: 1162000 | #Constraints: 64434 1977.76/1982.84 c #Conflicts: 1163000 | #Constraints: 65434 1977.76/1982.84 c #Conflicts: 1164000 | #Constraints: 66434 1977.76/1982.84 c #Conflicts: 1165000 | #Constraints: 67434 1977.76/1982.84 c #Conflicts: 1166000 | #Constraints: 68434 1977.76/1982.84 c INPROCESSING 1977.76/1982.84 c GARBAGE COLLECT 1977.76/1982.84 c rational objective 83 2012.67/2017.86 c #Conflicts: 1167000 | #Constraints: 38386 2012.67/2017.86 c #Conflicts: 1168000 | #Constraints: 39386 2012.67/2017.86 c #Conflicts: 1169000 | #Constraints: 40386 2012.67/2017.86 c #Conflicts: 1170000 | #Constraints: 41386 2012.67/2017.86 c #Conflicts: 1171000 | #Constraints: 42386 2012.67/2017.86 c #Conflicts: 1172000 | #Constraints: 43386 2012.67/2017.86 c #Conflicts: 1173000 | #Constraints: 44386 2012.67/2017.86 c #Conflicts: 1174000 | #Constraints: 45386 2012.67/2017.86 c #Conflicts: 1175000 | #Constraints: 46386 2012.67/2017.86 c #Conflicts: 1176000 | #Constraints: 47386 2012.67/2017.86 c #Conflicts: 1177000 | #Constraints: 48386 2012.67/2017.86 c #Conflicts: 1178000 | #Constraints: 49386 2012.67/2017.86 c #Conflicts: 1179000 | #Constraints: 50386 2012.67/2017.86 c #Conflicts: 1180000 | #Constraints: 51386 2012.67/2017.86 c #Conflicts: 1181000 | #Constraints: 52386 2012.67/2017.86 c #Conflicts: 1182000 | #Constraints: 53386 2012.67/2017.86 c #Conflicts: 1183000 | #Constraints: 54386 2012.67/2017.86 c #Conflicts: 1184000 | #Constraints: 55386 2012.67/2017.86 c #Conflicts: 1185000 | #Constraints: 56386 2012.67/2017.86 c #Conflicts: 1186000 | #Constraints: 57386 2012.67/2017.86 c #Conflicts: 1187000 | #Constraints: 58386 2012.67/2017.86 c #Conflicts: 1188000 | #Constraints: 59386 2012.67/2017.86 c #Conflicts: 1189000 | #Constraints: 60386 2012.67/2017.86 c #Conflicts: 1190000 | #Constraints: 61386 2012.67/2017.86 c INPROCESSING 2012.67/2017.86 c GARBAGE COLLECT 2012.67/2017.86 c rational objective 83 2050.16/2055.46 c #Conflicts: 1191000 | #Constraints: 34942 2050.16/2055.46 c #Conflicts: 1192000 | #Constraints: 35943 2050.16/2055.46 c #Conflicts: 1193000 | #Constraints: 36943 2050.16/2055.46 c #Conflicts: 1194000 | #Constraints: 37943 2050.16/2055.46 c #Conflicts: 1195000 | #Constraints: 38944 2050.16/2055.46 c #Conflicts: 1196000 | #Constraints: 39944 2050.16/2055.46 c #Conflicts: 1197000 | #Constraints: 40944 2050.16/2055.46 c #Conflicts: 1198000 | #Constraints: 41944 2050.16/2055.46 c #Conflicts: 1199000 | #Constraints: 42944 2050.16/2055.46 c #Conflicts: 1200000 | #Constraints: 43944 2050.16/2055.46 c #Conflicts: 1201000 | #Constraints: 44944 2050.16/2055.46 c #Conflicts: 1202000 | #Constraints: 45944 2050.16/2055.46 c #Conflicts: 1203000 | #Constraints: 46944 2050.16/2055.46 c #Conflicts: 1204000 | #Constraints: 47944 2050.16/2055.46 c #Conflicts: 1205000 | #Constraints: 48944 2050.16/2055.46 c #Conflicts: 1206000 | #Constraints: 49944 2050.16/2055.46 c #Conflicts: 1207000 | #Constraints: 50945 2050.16/2055.46 c #Conflicts: 1208000 | #Constraints: 51945 2050.16/2055.46 c #Conflicts: 1209000 | #Constraints: 52945 2050.16/2055.46 c #Conflicts: 1210000 | #Constraints: 53945 2050.16/2055.46 c #Conflicts: 1211000 | #Constraints: 54945 2050.16/2055.46 c #Conflicts: 1212000 | #Constraints: 55945 2050.16/2055.46 c #Conflicts: 1213000 | #Constraints: 56945 2050.16/2055.46 c #Conflicts: 1214000 | #Constraints: 57945 2050.16/2055.46 c INPROCESSING 2050.16/2055.46 c GARBAGE COLLECT 2050.16/2055.46 c rational objective 83 2247.88/2253.73 c #Conflicts: 1215000 | #Constraints: 33210 2247.88/2253.73 c #Conflicts: 1216000 | #Constraints: 34210 2247.88/2253.73 c #Conflicts: 1217000 | #Constraints: 35210 2247.88/2253.73 c #Conflicts: 1218000 | #Constraints: 36210 2247.88/2253.73 c #Conflicts: 1219000 | #Constraints: 37210 2247.88/2253.73 c #Conflicts: 1220000 | #Constraints: 38210 2247.88/2253.73 c #Conflicts: 1221000 | #Constraints: 39210 2247.88/2253.73 c #Conflicts: 1222000 | #Constraints: 40210 2247.88/2253.73 c #Conflicts: 1223000 | #Constraints: 41210 2247.88/2253.73 c #Conflicts: 1224000 | #Constraints: 42210 2247.88/2253.73 c #Conflicts: 1225000 | #Constraints: 43210 2247.88/2253.73 c #Conflicts: 1226000 | #Constraints: 44210 2247.88/2253.73 c #Conflicts: 1227000 | #Constraints: 45210 2247.88/2253.73 c #Conflicts: 1228000 | #Constraints: 46210 2247.88/2253.73 c #Conflicts: 1229000 | #Constraints: 47210 2247.88/2253.73 c #Conflicts: 1230000 | #Constraints: 48210 2247.88/2253.73 c #Conflicts: 1231000 | #Constraints: 49210 2247.88/2253.73 c #Conflicts: 1232000 | #Constraints: 50210 2247.88/2253.73 c #Conflicts: 1233000 | #Constraints: 51210 2247.88/2253.73 c #Conflicts: 1234000 | #Constraints: 52210 2247.88/2253.73 c #Conflicts: 1235000 | #Constraints: 53210 2247.88/2253.73 c #Conflicts: 1236000 | #Constraints: 54210 2247.88/2253.73 c #Conflicts: 1237000 | #Constraints: 55210 2247.88/2253.73 c #Conflicts: 1238000 | #Constraints: 56210 2247.88/2253.73 c #Conflicts: 1239000 | #Constraints: 57211 2247.88/2253.73 c #Conflicts: 1240000 | #Constraints: 58211 2247.88/2253.73 c #Conflicts: 1241000 | #Constraints: 59211 2247.88/2253.73 c #Conflicts: 1242000 | #Constraints: 60211 2247.88/2253.73 c #Conflicts: 1243000 | #Constraints: 61211 2247.88/2253.73 c #Conflicts: 1244000 | #Constraints: 62211 2247.88/2253.73 c #Conflicts: 1245000 | #Constraints: 63211 2247.88/2253.73 c #Conflicts: 1246000 | #Constraints: 64211 2247.88/2253.73 c #Conflicts: 1247000 | #Constraints: 65212 2247.88/2253.73 c #Conflicts: 1248000 | #Constraints: 66212 2247.88/2253.73 c #Conflicts: 1249000 | #Constraints: 67212 2247.88/2253.73 c #Conflicts: 1250000 | #Constraints: 68212 2247.88/2253.73 c #Conflicts: 1251000 | #Constraints: 69212 2247.88/2253.73 c #Conflicts: 1252000 | #Constraints: 70212 2247.88/2253.73 c #Conflicts: 1253000 | #Constraints: 71212 2247.88/2253.73 c #Conflicts: 1254000 | #Constraints: 72212 2247.88/2253.73 c #Conflicts: 1255000 | #Constraints: 73212 2247.88/2253.73 c #Conflicts: 1256000 | #Constraints: 74212 2247.88/2253.73 c #Conflicts: 1257000 | #Constraints: 75212 2247.88/2253.73 c #Conflicts: 1258000 | #Constraints: 76212 2247.88/2253.73 c #Conflicts: 1259000 | #Constraints: 77212 2247.88/2253.73 c #Conflicts: 1260000 | #Constraints: 78213 2247.88/2253.73 c #Conflicts: 1261000 | #Constraints: 79213 2247.88/2253.73 c #Conflicts: 1262000 | #Constraints: 80213 2247.88/2253.73 c #Conflicts: 1263000 | #Constraints: 81213 2247.88/2253.73 c #Conflicts: 1264000 | #Constraints: 82213 2247.88/2253.73 c #Conflicts: 1265000 | #Constraints: 83213 2247.88/2253.73 c #Conflicts: 1266000 | #Constraints: 84213 2247.88/2253.73 c #Conflicts: 1267000 | #Constraints: 85213 2247.88/2253.73 c #Conflicts: 1268000 | #Constraints: 86213 2247.88/2253.73 c #Conflicts: 1269000 | #Constraints: 87213 2247.88/2253.73 c #Conflicts: 1270000 | #Constraints: 88213 2247.88/2253.73 c #Conflicts: 1271000 | #Constraints: 89213 2247.88/2253.73 c #Conflicts: 1272000 | #Constraints: 90214 2247.88/2253.73 c #Conflicts: 1273000 | #Constraints: 91214 2247.88/2253.73 c #Conflicts: 1274000 | #Constraints: 92214 2247.88/2253.73 c #Conflicts: 1275000 | #Constraints: 93214 2247.88/2253.73 c #Conflicts: 1276000 | #Constraints: 94214 2247.88/2253.73 c #Conflicts: 1277000 | #Constraints: 95214 2247.88/2253.73 c #Conflicts: 1278000 | #Constraints: 96215 2247.88/2253.73 c #Conflicts: 1279000 | #Constraints: 97215 2247.88/2253.73 c #Conflicts: 1280000 | #Constraints: 98215 2247.88/2253.73 c #Conflicts: 1281000 | #Constraints: 99215 2247.88/2253.73 c #Conflicts: 1282000 | #Constraints: 100215 2247.88/2253.73 c #Conflicts: 1283000 | #Constraints: 101215 2247.88/2253.73 c #Conflicts: 1284000 | #Constraints: 102215 2247.88/2253.73 c #Conflicts: 1285000 | #Constraints: 103215 2247.88/2253.73 c #Conflicts: 1286000 | #Constraints: 104215 2247.88/2253.73 c #Conflicts: 1287000 | #Constraints: 105215 2247.88/2253.73 c #Conflicts: 1288000 | #Constraints: 106216 2247.88/2253.73 c #Conflicts: 1289000 | #Constraints: 107216 2247.88/2253.73 c #Conflicts: 1290000 | #Constraints: 108216 2247.88/2253.73 c #Conflicts: 1291000 | #Constraints: 109216 2247.88/2253.73 c #Conflicts: 1292000 | #Constraints: 110216 2247.88/2253.73 c #Conflicts: 1293000 | #Constraints: 111216 2295.55/2301.52 c #Conflicts: 1294000 | #Constraints: 112216 2295.55/2301.52 c #Conflicts: 1295000 | #Constraints: 113216 2295.55/2301.52 c #Conflicts: 1296000 | #Constraints: 114216 2295.55/2301.52 c #Conflicts: 1297000 | #Constraints: 115216 2295.55/2301.52 c #Conflicts: 1298000 | #Constraints: 116216 2295.55/2301.52 c #Conflicts: 1299000 | #Constraints: 117216 2295.55/2301.52 c #Conflicts: 1300000 | #Constraints: 118216 2295.55/2301.52 c #Conflicts: 1301000 | #Constraints: 119216 2295.55/2301.52 c #Conflicts: 1302000 | #Constraints: 120216 2295.55/2301.52 c #Conflicts: 1303000 | #Constraints: 121216 2295.55/2301.52 c INPROCESSING 2295.55/2301.52 c GARBAGE COLLECT 2295.55/2301.52 c rational objective 83 2347.60/2353.70 c #Conflicts: 1304000 | #Constraints: 64784 2347.60/2353.70 c #Conflicts: 1305000 | #Constraints: 65784 2347.60/2353.70 c #Conflicts: 1306000 | #Constraints: 66784 2347.60/2353.70 c #Conflicts: 1307000 | #Constraints: 67784 2347.60/2353.70 c #Conflicts: 1308000 | #Constraints: 68784 2347.60/2353.70 c #Conflicts: 1309000 | #Constraints: 69784 2347.60/2353.70 c #Conflicts: 1310000 | #Constraints: 70785 2347.60/2353.70 c #Conflicts: 1311000 | #Constraints: 71785 2347.60/2353.70 c #Conflicts: 1312000 | #Constraints: 72785 2347.60/2353.70 c #Conflicts: 1313000 | #Constraints: 73785 2347.60/2353.70 c #Conflicts: 1314000 | #Constraints: 74785 2347.60/2353.70 c #Conflicts: 1315000 | #Constraints: 75786 2347.60/2353.70 c #Conflicts: 1316000 | #Constraints: 76786 2347.60/2353.70 c #Conflicts: 1317000 | #Constraints: 77786 2347.60/2353.70 c #Conflicts: 1318000 | #Constraints: 78786 2347.60/2353.70 c #Conflicts: 1319000 | #Constraints: 79786 2347.60/2353.70 c #Conflicts: 1320000 | #Constraints: 80786 2347.60/2353.70 c #Conflicts: 1321000 | #Constraints: 81786 2347.60/2353.70 c #Conflicts: 1322000 | #Constraints: 82786 2347.60/2353.70 c #Conflicts: 1323000 | #Constraints: 83787 2347.60/2353.70 c #Conflicts: 1324000 | #Constraints: 84787 2347.60/2353.70 c #Conflicts: 1325000 | #Constraints: 85787 2347.60/2353.70 c #Conflicts: 1326000 | #Constraints: 86787 2347.60/2353.70 c #Conflicts: 1327000 | #Constraints: 87787 2347.60/2353.70 c #Conflicts: 1328000 | #Constraints: 88787 2347.60/2353.70 c INPROCESSING 2347.60/2353.70 c GARBAGE COLLECT 2347.60/2353.70 c rational objective 83 2395.96/2402.27 c #Conflicts: 1329000 | #Constraints: 48289 2395.96/2402.27 c #Conflicts: 1330000 | #Constraints: 49289 2395.96/2402.27 c #Conflicts: 1331000 | #Constraints: 50289 2395.96/2402.27 c #Conflicts: 1332000 | #Constraints: 51289 2395.96/2402.27 c #Conflicts: 1333000 | #Constraints: 52289 2395.96/2402.27 c #Conflicts: 1334000 | #Constraints: 53289 2395.96/2402.27 c #Conflicts: 1335000 | #Constraints: 54290 2395.96/2402.27 c #Conflicts: 1336000 | #Constraints: 55290 2395.96/2402.27 c #Conflicts: 1337000 | #Constraints: 56290 2395.96/2402.27 c #Conflicts: 1338000 | #Constraints: 57290 2395.96/2402.27 c #Conflicts: 1339000 | #Constraints: 58290 2395.96/2402.27 c #Conflicts: 1340000 | #Constraints: 59290 2395.96/2402.27 c #Conflicts: 1341000 | #Constraints: 60290 2395.96/2402.27 c #Conflicts: 1342000 | #Constraints: 61290 2395.96/2402.27 c #Conflicts: 1343000 | #Constraints: 62290 2395.96/2402.27 c #Conflicts: 1344000 | #Constraints: 63290 2395.96/2402.27 c #Conflicts: 1345000 | #Constraints: 64290 2395.96/2402.27 c #Conflicts: 1346000 | #Constraints: 65290 2395.96/2402.27 c #Conflicts: 1347000 | #Constraints: 66290 2395.96/2402.27 c #Conflicts: 1348000 | #Constraints: 67290 2395.96/2402.27 c #Conflicts: 1349000 | #Constraints: 68290 2395.96/2402.27 c #Conflicts: 1350000 | #Constraints: 69290 2395.96/2402.27 c #Conflicts: 1351000 | #Constraints: 70290 2395.96/2402.27 c #Conflicts: 1352000 | #Constraints: 71291 2395.96/2402.27 c #Conflicts: 1353000 | #Constraints: 72291 2395.96/2402.27 c #Conflicts: 1354000 | #Constraints: 73291 2395.96/2402.27 c INPROCESSING 2395.96/2402.27 c GARBAGE COLLECT 2395.96/2402.27 c rational objective 83 2445.02/2451.43 c #Conflicts: 1355000 | #Constraints: 40812 2445.02/2451.43 c #Conflicts: 1356000 | #Constraints: 41813 2445.02/2451.43 c #Conflicts: 1357000 | #Constraints: 42813 2445.02/2451.43 c #Conflicts: 1358000 | #Constraints: 43813 2445.02/2451.43 c #Conflicts: 1359000 | #Constraints: 44813 2445.02/2451.43 c #Conflicts: 1360000 | #Constraints: 45813 2445.02/2451.43 c #Conflicts: 1361000 | #Constraints: 46813 2445.02/2451.43 c #Conflicts: 1362000 | #Constraints: 47813 2445.02/2451.43 c #Conflicts: 1363000 | #Constraints: 48813 2445.02/2451.43 c #Conflicts: 1364000 | #Constraints: 49813 2445.02/2451.43 c #Conflicts: 1365000 | #Constraints: 50813 2445.02/2451.43 c #Conflicts: 1366000 | #Constraints: 51813 2445.02/2451.43 c #Conflicts: 1367000 | #Constraints: 52813 2445.02/2451.43 c #Conflicts: 1368000 | #Constraints: 53814 2445.02/2451.43 c #Conflicts: 1369000 | #Constraints: 54814 2445.02/2451.43 c #Conflicts: 1370000 | #Constraints: 55814 2445.02/2451.43 c #Conflicts: 1371000 | #Constraints: 56814 2445.02/2451.43 c #Conflicts: 1372000 | #Constraints: 57814 2445.02/2451.43 c #Conflicts: 1373000 | #Constraints: 58814 2445.02/2451.43 c #Conflicts: 1374000 | #Constraints: 59814 2445.02/2451.43 c #Conflicts: 1375000 | #Constraints: 60814 2445.02/2451.43 c #Conflicts: 1376000 | #Constraints: 61814 2445.02/2451.43 c #Conflicts: 1377000 | #Constraints: 62814 2445.02/2451.43 c #Conflicts: 1378000 | #Constraints: 63814 2445.02/2451.43 c #Conflicts: 1379000 | #Constraints: 64814 2445.02/2451.43 c #Conflicts: 1380000 | #Constraints: 65815 2445.02/2451.43 c INPROCESSING 2445.02/2451.43 c GARBAGE COLLECT 2445.02/2451.43 c rational objective 83 2482.32/2488.87 c #Conflicts: 1381000 | #Constraints: 37187 2482.32/2488.87 c #Conflicts: 1382000 | #Constraints: 38187 2482.32/2488.87 c #Conflicts: 1383000 | #Constraints: 39187 2482.32/2488.87 c #Conflicts: 1384000 | #Constraints: 40187 2482.32/2488.87 c #Conflicts: 1385000 | #Constraints: 41187 2482.32/2488.87 c #Conflicts: 1386000 | #Constraints: 42187 2482.32/2488.87 c #Conflicts: 1387000 | #Constraints: 43187 2482.32/2488.87 c #Conflicts: 1388000 | #Constraints: 44187 2482.32/2488.87 c #Conflicts: 1389000 | #Constraints: 45187 2482.32/2488.87 c #Conflicts: 1390000 | #Constraints: 46187 2482.32/2488.87 c #Conflicts: 1391000 | #Constraints: 47187 2482.32/2488.87 c #Conflicts: 1392000 | #Constraints: 48188 2482.32/2488.87 c #Conflicts: 1393000 | #Constraints: 49189 2482.32/2488.87 c #Conflicts: 1394000 | #Constraints: 50190 2482.32/2488.87 c #Conflicts: 1395000 | #Constraints: 51190 2482.32/2488.87 c #Conflicts: 1396000 | #Constraints: 52190 2482.32/2488.87 c #Conflicts: 1397000 | #Constraints: 53191 2482.32/2488.87 c #Conflicts: 1398000 | #Constraints: 54191 2482.32/2488.87 c #Conflicts: 1399000 | #Constraints: 55191 2482.32/2488.87 c #Conflicts: 1400000 | #Constraints: 56191 2482.32/2488.87 c #Conflicts: 1401000 | #Constraints: 57192 2482.32/2488.87 c #Conflicts: 1402000 | #Constraints: 58192 2482.32/2488.87 c #Conflicts: 1403000 | #Constraints: 59192 2482.32/2488.87 c #Conflicts: 1404000 | #Constraints: 60192 2482.32/2488.87 c #Conflicts: 1405000 | #Constraints: 61192 2482.32/2488.87 c #Conflicts: 1406000 | #Constraints: 62192 2482.32/2488.87 c INPROCESSING 2482.32/2488.87 c GARBAGE COLLECT 2482.32/2488.87 c rational objective 83 2667.40/2674.32 c #Conflicts: 1407000 | #Constraints: 35354 2667.40/2674.32 c #Conflicts: 1408000 | #Constraints: 36354 2667.40/2674.32 c #Conflicts: 1409000 | #Constraints: 37355 2667.40/2674.32 c #Conflicts: 1410000 | #Constraints: 38355 2667.40/2674.32 c #Conflicts: 1411000 | #Constraints: 39355 2667.40/2674.32 c #Conflicts: 1412000 | #Constraints: 40355 2667.40/2674.32 c #Conflicts: 1413000 | #Constraints: 41355 2667.40/2674.32 c #Conflicts: 1414000 | #Constraints: 42356 2667.40/2674.32 c #Conflicts: 1415000 | #Constraints: 43357 2667.40/2674.32 c #Conflicts: 1416000 | #Constraints: 44357 2667.40/2674.32 c #Conflicts: 1417000 | #Constraints: 45357 2667.40/2674.32 c #Conflicts: 1418000 | #Constraints: 46357 2667.40/2674.32 c #Conflicts: 1419000 | #Constraints: 47357 2667.40/2674.32 c #Conflicts: 1420000 | #Constraints: 48357 2667.40/2674.32 c #Conflicts: 1421000 | #Constraints: 49357 2667.40/2674.32 c #Conflicts: 1422000 | #Constraints: 50357 2667.40/2674.32 c #Conflicts: 1423000 | #Constraints: 51357 2667.40/2674.32 c #Conflicts: 1424000 | #Constraints: 52357 2667.40/2674.32 c #Conflicts: 1425000 | #Constraints: 53358 2667.40/2674.32 c #Conflicts: 1426000 | #Constraints: 54358 2667.40/2674.32 c #Conflicts: 1427000 | #Constraints: 55358 2667.40/2674.32 c #Conflicts: 1428000 | #Constraints: 56358 2667.40/2674.32 c #Conflicts: 1429000 | #Constraints: 57358 2667.40/2674.32 c #Conflicts: 1430000 | #Constraints: 58358 2667.40/2674.32 c #Conflicts: 1431000 | #Constraints: 59358 2667.40/2674.32 c #Conflicts: 1432000 | #Constraints: 60358 2667.40/2674.32 c #Conflicts: 1433000 | #Constraints: 61358 2667.40/2674.32 c #Conflicts: 1434000 | #Constraints: 62358 2667.40/2674.32 c #Conflicts: 1435000 | #Constraints: 63358 2667.40/2674.32 c #Conflicts: 1436000 | #Constraints: 64358 2667.40/2674.32 c #Conflicts: 1437000 | #Constraints: 65358 2667.40/2674.32 c #Conflicts: 1438000 | #Constraints: 66359 2667.40/2674.32 c #Conflicts: 1439000 | #Constraints: 67359 2667.40/2674.32 c #Conflicts: 1440000 | #Constraints: 68359 2667.40/2674.32 c #Conflicts: 1441000 | #Constraints: 69359 2667.40/2674.32 c #Conflicts: 1442000 | #Constraints: 70359 2667.40/2674.32 c #Conflicts: 1443000 | #Constraints: 71359 2667.40/2674.32 c #Conflicts: 1444000 | #Constraints: 72359 2667.40/2674.32 c #Conflicts: 1445000 | #Constraints: 73359 2667.40/2674.32 c #Conflicts: 1446000 | #Constraints: 74359 2667.40/2674.32 c #Conflicts: 1447000 | #Constraints: 75359 2667.40/2674.32 c #Conflicts: 1448000 | #Constraints: 76359 2667.40/2674.32 c #Conflicts: 1449000 | #Constraints: 77359 2667.40/2674.32 c #Conflicts: 1450000 | #Constraints: 78359 2667.40/2674.32 c #Conflicts: 1451000 | #Constraints: 79359 2667.40/2674.32 c #Conflicts: 1452000 | #Constraints: 80359 2667.40/2674.32 c #Conflicts: 1453000 | #Constraints: 81359 2667.40/2674.32 c #Conflicts: 1454000 | #Constraints: 82359 2667.40/2674.32 c #Conflicts: 1455000 | #Constraints: 83359 2667.40/2674.32 c #Conflicts: 1456000 | #Constraints: 84359 2667.40/2674.32 c #Conflicts: 1457000 | #Constraints: 85359 2667.40/2674.32 c #Conflicts: 1458000 | #Constraints: 86359 2667.40/2674.32 c #Conflicts: 1459000 | #Constraints: 87359 2667.40/2674.32 c #Conflicts: 1460000 | #Constraints: 88359 2667.40/2674.32 c #Conflicts: 1461000 | #Constraints: 89359 2667.40/2674.32 c #Conflicts: 1462000 | #Constraints: 90359 2667.40/2674.32 c #Conflicts: 1463000 | #Constraints: 91359 2667.40/2674.32 c #Conflicts: 1464000 | #Constraints: 92359 2667.40/2674.32 c #Conflicts: 1465000 | #Constraints: 93359 2667.40/2674.32 c #Conflicts: 1466000 | #Constraints: 94359 2667.40/2674.32 c #Conflicts: 1467000 | #Constraints: 95360 2667.40/2674.32 c #Conflicts: 1468000 | #Constraints: 96360 2667.40/2674.32 c #Conflicts: 1469000 | #Constraints: 97360 2667.40/2674.32 c #Conflicts: 1470000 | #Constraints: 98360 2667.40/2674.32 c #Conflicts: 1471000 | #Constraints: 99361 2667.40/2674.32 c #Conflicts: 1472000 | #Constraints: 100361 2667.40/2674.32 c #Conflicts: 1473000 | #Constraints: 101361 2667.40/2674.32 c #Conflicts: 1474000 | #Constraints: 102361 2667.40/2674.32 c #Conflicts: 1475000 | #Constraints: 103361 2667.40/2674.32 c #Conflicts: 1476000 | #Constraints: 104361 2667.40/2674.32 c #Conflicts: 1477000 | #Constraints: 105363 2667.40/2674.32 c #Conflicts: 1478000 | #Constraints: 106363 2667.40/2674.32 c #Conflicts: 1479000 | #Constraints: 107363 2667.40/2674.32 c #Conflicts: 1480000 | #Constraints: 108363 2667.40/2674.32 c #Conflicts: 1481000 | #Constraints: 109363 2667.40/2674.32 c #Conflicts: 1482000 | #Constraints: 110363 2667.40/2674.32 c #Conflicts: 1483000 | #Constraints: 111363 2667.40/2674.32 c #Conflicts: 1484000 | #Constraints: 112363 2667.40/2674.32 c #Conflicts: 1485000 | #Constraints: 113363 2739.92/2747.07 c #Conflicts: 1486000 | #Constraints: 114364 2739.92/2747.07 c #Conflicts: 1487000 | #Constraints: 115364 2739.92/2747.07 c #Conflicts: 1488000 | #Constraints: 116364 2739.92/2747.07 c #Conflicts: 1489000 | #Constraints: 117364 2739.92/2747.07 c #Conflicts: 1490000 | #Constraints: 118364 2739.92/2747.07 c #Conflicts: 1491000 | #Constraints: 119364 2739.92/2747.07 c #Conflicts: 1492000 | #Constraints: 120364 2739.92/2747.07 c #Conflicts: 1493000 | #Constraints: 121364 2739.92/2747.07 c #Conflicts: 1494000 | #Constraints: 122364 2739.92/2747.07 c #Conflicts: 1495000 | #Constraints: 123364 2739.92/2747.07 c #Conflicts: 1496000 | #Constraints: 124364 2739.92/2747.07 c #Conflicts: 1497000 | #Constraints: 125364 2739.92/2747.07 c #Conflicts: 1498000 | #Constraints: 126364 2739.92/2747.07 c #Conflicts: 1499000 | #Constraints: 127364 2739.92/2747.07 c #Conflicts: 1500000 | #Constraints: 128364 2739.92/2747.07 c #Conflicts: 1501000 | #Constraints: 129364 2739.92/2747.07 c INPROCESSING 2739.92/2747.07 c GARBAGE COLLECT 2739.92/2747.07 c rational objective 83 2809.36/2816.68 c #Conflicts: 1502000 | #Constraints: 68719 2809.36/2816.68 c #Conflicts: 1503000 | #Constraints: 69719 2809.36/2816.68 c #Conflicts: 1504000 | #Constraints: 70719 2809.36/2816.68 c #Conflicts: 1505000 | #Constraints: 71719 2809.36/2816.68 c #Conflicts: 1506000 | #Constraints: 72719 2809.36/2816.68 c #Conflicts: 1507000 | #Constraints: 73719 2809.36/2816.68 c #Conflicts: 1508000 | #Constraints: 74720 2809.36/2816.68 c #Conflicts: 1509000 | #Constraints: 75720 2809.36/2816.68 c #Conflicts: 1510000 | #Constraints: 76720 2809.36/2816.68 c #Conflicts: 1511000 | #Constraints: 77720 2809.36/2816.68 c #Conflicts: 1512000 | #Constraints: 78720 2809.36/2816.68 c #Conflicts: 1513000 | #Constraints: 79720 2809.36/2816.68 c #Conflicts: 1514000 | #Constraints: 80720 2809.36/2816.68 c #Conflicts: 1515000 | #Constraints: 81720 2809.36/2816.68 c #Conflicts: 1516000 | #Constraints: 82720 2809.36/2816.68 c #Conflicts: 1517000 | #Constraints: 83720 2809.36/2816.68 c #Conflicts: 1518000 | #Constraints: 84721 2809.36/2816.68 c #Conflicts: 1519000 | #Constraints: 85721 2809.36/2816.68 c #Conflicts: 1520000 | #Constraints: 86721 2809.36/2816.68 c #Conflicts: 1521000 | #Constraints: 87721 2809.36/2816.68 c #Conflicts: 1522000 | #Constraints: 88721 2809.36/2816.68 c #Conflicts: 1523000 | #Constraints: 89721 2809.36/2816.68 c #Conflicts: 1524000 | #Constraints: 90721 2809.36/2816.68 c #Conflicts: 1525000 | #Constraints: 91721 2809.36/2816.68 c #Conflicts: 1526000 | #Constraints: 92721 2809.36/2816.68 c #Conflicts: 1527000 | #Constraints: 93721 2809.36/2816.68 c #Conflicts: 1528000 | #Constraints: 94721 2809.36/2816.68 c INPROCESSING 2809.36/2816.68 c GARBAGE COLLECT 2809.36/2816.68 c rational objective 83 2869.82/2877.23 c #Conflicts: 1529000 | #Constraints: 51200 2869.82/2877.23 c #Conflicts: 1530000 | #Constraints: 52200 2869.82/2877.23 c #Conflicts: 1531000 | #Constraints: 53200 2869.82/2877.23 c #Conflicts: 1532000 | #Constraints: 54200 2869.82/2877.23 c #Conflicts: 1533000 | #Constraints: 55200 2869.82/2877.23 c #Conflicts: 1534000 | #Constraints: 56201 2869.82/2877.23 c #Conflicts: 1535000 | #Constraints: 57201 2869.82/2877.23 c #Conflicts: 1536000 | #Constraints: 58201 2869.82/2877.23 c #Conflicts: 1537000 | #Constraints: 59201 2869.82/2877.23 c #Conflicts: 1538000 | #Constraints: 60201 2869.82/2877.23 c #Conflicts: 1539000 | #Constraints: 61201 2869.82/2877.23 c #Conflicts: 1540000 | #Constraints: 62201 2869.82/2877.23 c #Conflicts: 1541000 | #Constraints: 63201 2869.82/2877.23 c #Conflicts: 1542000 | #Constraints: 64201 2869.82/2877.23 c #Conflicts: 1543000 | #Constraints: 65201 2869.82/2877.23 c #Conflicts: 1544000 | #Constraints: 66201 2869.82/2877.23 c #Conflicts: 1545000 | #Constraints: 67201 2869.82/2877.23 c #Conflicts: 1546000 | #Constraints: 68201 2869.82/2877.23 c #Conflicts: 1547000 | #Constraints: 69201 2869.82/2877.23 c #Conflicts: 1548000 | #Constraints: 70202 2869.82/2877.23 c #Conflicts: 1549000 | #Constraints: 71204 2869.82/2877.23 c #Conflicts: 1550000 | #Constraints: 72204 2869.82/2877.23 c #Conflicts: 1551000 | #Constraints: 73204 2869.82/2877.23 c #Conflicts: 1552000 | #Constraints: 74204 2869.82/2877.23 c #Conflicts: 1553000 | #Constraints: 75204 2869.82/2877.23 c #Conflicts: 1554000 | #Constraints: 76204 2869.82/2877.23 c #Conflicts: 1555000 | #Constraints: 77205 2869.82/2877.23 c #Conflicts: 1556000 | #Constraints: 78205 2869.82/2877.23 c INPROCESSING 2869.82/2877.23 c GARBAGE COLLECT 2869.82/2877.23 c rational objective 83 2924.19/2931.74 c #Conflicts: 1557000 | #Constraints: 43256 2924.19/2931.74 c #Conflicts: 1558000 | #Constraints: 44256 2924.19/2931.74 c #Conflicts: 1559000 | #Constraints: 45257 2924.19/2931.74 c #Conflicts: 1560000 | #Constraints: 46257 2924.19/2931.74 c #Conflicts: 1561000 | #Constraints: 47257 2924.19/2931.74 c #Conflicts: 1562000 | #Constraints: 48257 2924.19/2931.74 c #Conflicts: 1563000 | #Constraints: 49257 2924.19/2931.74 c #Conflicts: 1564000 | #Constraints: 50257 2924.19/2931.74 c #Conflicts: 1565000 | #Constraints: 51257 2924.19/2931.74 c #Conflicts: 1566000 | #Constraints: 52257 2924.19/2931.74 c #Conflicts: 1567000 | #Constraints: 53257 2924.19/2931.74 c #Conflicts: 1568000 | #Constraints: 54257 2924.19/2931.74 c #Conflicts: 1569000 | #Constraints: 55257 2924.19/2931.74 c #Conflicts: 1570000 | #Constraints: 56257 2924.19/2931.74 c #Conflicts: 1571000 | #Constraints: 57257 2924.19/2931.74 c #Conflicts: 1572000 | #Constraints: 58258 2924.19/2931.74 c #Conflicts: 1573000 | #Constraints: 59258 2924.19/2931.74 c #Conflicts: 1574000 | #Constraints: 60258 2924.19/2931.74 c #Conflicts: 1575000 | #Constraints: 61258 2924.19/2931.74 c #Conflicts: 1576000 | #Constraints: 62258 2924.19/2931.74 c #Conflicts: 1577000 | #Constraints: 63258 2924.19/2931.74 c #Conflicts: 1578000 | #Constraints: 64258 2924.19/2931.74 c #Conflicts: 1579000 | #Constraints: 65258 2924.19/2931.74 c #Conflicts: 1580000 | #Constraints: 66258 2924.19/2931.74 c #Conflicts: 1581000 | #Constraints: 67258 2924.19/2931.74 c #Conflicts: 1582000 | #Constraints: 68258 2924.19/2931.74 c #Conflicts: 1583000 | #Constraints: 69258 2924.19/2931.74 c #Conflicts: 1584000 | #Constraints: 70258 2924.19/2931.74 c INPROCESSING 2924.19/2931.74 c GARBAGE COLLECT 2924.19/2931.74 c rational objective 83 2969.89/2977.55 c #Conflicts: 1585000 | #Constraints: 39497 2969.89/2977.55 c #Conflicts: 1586000 | #Constraints: 40497 2969.89/2977.55 c #Conflicts: 1587000 | #Constraints: 41497 2969.89/2977.55 c #Conflicts: 1588000 | #Constraints: 42497 2969.89/2977.55 c #Conflicts: 1589000 | #Constraints: 43497 2969.89/2977.55 c #Conflicts: 1590000 | #Constraints: 44497 2969.89/2977.55 c #Conflicts: 1591000 | #Constraints: 45497 2969.89/2977.55 c #Conflicts: 1592000 | #Constraints: 46497 2969.89/2977.55 c #Conflicts: 1593000 | #Constraints: 47497 2969.89/2977.55 c #Conflicts: 1594000 | #Constraints: 48497 2969.89/2977.55 c #Conflicts: 1595000 | #Constraints: 49497 2969.89/2977.55 c #Conflicts: 1596000 | #Constraints: 50497 2969.89/2977.55 c #Conflicts: 1597000 | #Constraints: 51497 2969.89/2977.55 c #Conflicts: 1598000 | #Constraints: 52497 2969.89/2977.55 c #Conflicts: 1599000 | #Constraints: 53497 2969.89/2977.55 c #Conflicts: 1600000 | #Constraints: 54497 2969.89/2977.55 c #Conflicts: 1601000 | #Constraints: 55498 2969.89/2977.55 c #Conflicts: 1602000 | #Constraints: 56498 2969.89/2977.55 c #Conflicts: 1603000 | #Constraints: 57498 2969.89/2977.55 c #Conflicts: 1604000 | #Constraints: 58498 2969.89/2977.55 c #Conflicts: 1605000 | #Constraints: 59498 2969.89/2977.55 c #Conflicts: 1606000 | #Constraints: 60498 2969.89/2977.55 c #Conflicts: 1607000 | #Constraints: 61498 2969.89/2977.55 c #Conflicts: 1608000 | #Constraints: 62498 2969.89/2977.55 c #Conflicts: 1609000 | #Constraints: 63498 2969.89/2977.55 c #Conflicts: 1610000 | #Constraints: 64498 2969.89/2977.55 c #Conflicts: 1611000 | #Constraints: 65498 2969.89/2977.55 c INPROCESSING 2969.89/2977.55 c GARBAGE COLLECT 2969.89/2977.55 c rational objective 83 3136.91/3144.98 c #Conflicts: 1612000 | #Constraints: 36598 3136.91/3144.98 c #Conflicts: 1613000 | #Constraints: 37598 3136.91/3144.98 c #Conflicts: 1614000 | #Constraints: 38598 3136.91/3144.98 c #Conflicts: 1615000 | #Constraints: 39598 3136.91/3144.98 c #Conflicts: 1616000 | #Constraints: 40598 3136.91/3144.98 c #Conflicts: 1617000 | #Constraints: 41598 3136.91/3144.98 c #Conflicts: 1618000 | #Constraints: 42598 3136.91/3144.98 c #Conflicts: 1619000 | #Constraints: 43598 3136.91/3144.98 c #Conflicts: 1620000 | #Constraints: 44598 3136.91/3144.98 c #Conflicts: 1621000 | #Constraints: 45598 3136.91/3144.98 c #Conflicts: 1622000 | #Constraints: 46598 3136.91/3144.98 c #Conflicts: 1623000 | #Constraints: 47598 3136.91/3144.98 c #Conflicts: 1624000 | #Constraints: 48598 3136.91/3144.98 c #Conflicts: 1625000 | #Constraints: 49598 3136.91/3144.98 c #Conflicts: 1626000 | #Constraints: 50598 3136.91/3144.98 c #Conflicts: 1627000 | #Constraints: 51598 3136.91/3144.98 c #Conflicts: 1628000 | #Constraints: 52598 3136.91/3144.98 c #Conflicts: 1629000 | #Constraints: 53598 3136.91/3144.98 c #Conflicts: 1630000 | #Constraints: 54598 3136.91/3144.98 c #Conflicts: 1631000 | #Constraints: 55598 3136.91/3144.98 c #Conflicts: 1632000 | #Constraints: 56599 3136.91/3144.98 c #Conflicts: 1633000 | #Constraints: 57599 3136.91/3144.98 c #Conflicts: 1634000 | #Constraints: 58599 3136.91/3144.98 c #Conflicts: 1635000 | #Constraints: 59599 3136.91/3144.98 c #Conflicts: 1636000 | #Constraints: 60599 3136.91/3144.98 c #Conflicts: 1637000 | #Constraints: 61599 3136.91/3144.98 c #Conflicts: 1638000 | #Constraints: 62599 3136.91/3144.98 c #Conflicts: 1639000 | #Constraints: 63599 3136.91/3144.98 c #Conflicts: 1640000 | #Constraints: 64599 3136.91/3144.98 c #Conflicts: 1641000 | #Constraints: 65599 3136.91/3144.98 c #Conflicts: 1642000 | #Constraints: 66599 3136.91/3144.98 c #Conflicts: 1643000 | #Constraints: 67600 3136.91/3144.98 c #Conflicts: 1644000 | #Constraints: 68600 3136.91/3144.98 c #Conflicts: 1645000 | #Constraints: 69600 3136.91/3144.98 c #Conflicts: 1646000 | #Constraints: 70600 3136.91/3144.98 c #Conflicts: 1647000 | #Constraints: 71600 3136.91/3144.98 c #Conflicts: 1648000 | #Constraints: 72600 3136.91/3144.98 c #Conflicts: 1649000 | #Constraints: 73600 3136.91/3144.98 c #Conflicts: 1650000 | #Constraints: 74600 3136.91/3144.98 c #Conflicts: 1651000 | #Constraints: 75600 3136.91/3144.98 c #Conflicts: 1652000 | #Constraints: 76600 3136.91/3144.98 c #Conflicts: 1653000 | #Constraints: 77600 3136.91/3144.98 c #Conflicts: 1654000 | #Constraints: 78600 3136.91/3144.98 c #Conflicts: 1655000 | #Constraints: 79600 3136.91/3144.98 c #Conflicts: 1656000 | #Constraints: 80600 3136.91/3144.98 c #Conflicts: 1657000 | #Constraints: 81600 3136.91/3144.98 c #Conflicts: 1658000 | #Constraints: 82600 3136.91/3144.98 c #Conflicts: 1659000 | #Constraints: 83600 3136.91/3144.98 c #Conflicts: 1660000 | #Constraints: 84600 3136.91/3144.98 c #Conflicts: 1661000 | #Constraints: 85600 3136.91/3144.98 c #Conflicts: 1662000 | #Constraints: 86600 3136.91/3144.98 c #Conflicts: 1663000 | #Constraints: 87600 3136.91/3144.98 c #Conflicts: 1664000 | #Constraints: 88600 3136.91/3144.98 c #Conflicts: 1665000 | #Constraints: 89600 3136.91/3144.98 c #Conflicts: 1666000 | #Constraints: 90600 3136.91/3144.98 c #Conflicts: 1667000 | #Constraints: 91600 3136.91/3144.98 c #Conflicts: 1668000 | #Constraints: 92600 3136.91/3144.98 c #Conflicts: 1669000 | #Constraints: 93600 3136.91/3144.98 c #Conflicts: 1670000 | #Constraints: 94600 3136.91/3144.98 c #Conflicts: 1671000 | #Constraints: 95600 3136.91/3144.98 c #Conflicts: 1672000 | #Constraints: 96600 3136.91/3144.98 c #Conflicts: 1673000 | #Constraints: 97600 3136.91/3144.98 c #Conflicts: 1674000 | #Constraints: 98600 3136.91/3144.98 c #Conflicts: 1675000 | #Constraints: 99600 3136.91/3144.98 c #Conflicts: 1676000 | #Constraints: 100600 3136.91/3144.98 c #Conflicts: 1677000 | #Constraints: 101600 3136.91/3144.98 c #Conflicts: 1678000 | #Constraints: 102600 3136.91/3144.98 c #Conflicts: 1679000 | #Constraints: 103600 3136.91/3144.98 c #Conflicts: 1680000 | #Constraints: 104600 3136.91/3144.98 c #Conflicts: 1681000 | #Constraints: 105600 3136.91/3144.98 c #Conflicts: 1682000 | #Constraints: 106600 3136.91/3144.98 c #Conflicts: 1683000 | #Constraints: 107600 3136.91/3144.98 c #Conflicts: 1684000 | #Constraints: 108600 3136.91/3144.98 c #Conflicts: 1685000 | #Constraints: 109600 3136.91/3144.98 c #Conflicts: 1686000 | #Constraints: 110600 3136.91/3144.98 c #Conflicts: 1687000 | #Constraints: 111600 3136.91/3144.98 c #Conflicts: 1688000 | #Constraints: 112600 3136.91/3144.98 c #Conflicts: 1689000 | #Constraints: 113600 3136.91/3144.98 c #Conflicts: 1690000 | #Constraints: 114600 3226.79/3235.00 c #Conflicts: 1691000 | #Constraints: 115601 3226.79/3235.00 c #Conflicts: 1692000 | #Constraints: 116601 3226.79/3235.00 c #Conflicts: 1693000 | #Constraints: 117601 3226.79/3235.00 c #Conflicts: 1694000 | #Constraints: 118601 3226.79/3235.00 c #Conflicts: 1695000 | #Constraints: 119601 3226.79/3235.00 c #Conflicts: 1696000 | #Constraints: 120601 3226.79/3235.00 c #Conflicts: 1697000 | #Constraints: 121601 3226.79/3235.00 c #Conflicts: 1698000 | #Constraints: 122601 3226.79/3235.00 c #Conflicts: 1699000 | #Constraints: 123601 3226.79/3235.00 c #Conflicts: 1700000 | #Constraints: 124601 3226.79/3235.00 c #Conflicts: 1701000 | #Constraints: 125601 3226.79/3235.00 c #Conflicts: 1702000 | #Constraints: 126601 3226.79/3235.00 c #Conflicts: 1703000 | #Constraints: 127601 3226.79/3235.00 c #Conflicts: 1704000 | #Constraints: 128601 3226.79/3235.00 c #Conflicts: 1705000 | #Constraints: 129601 3226.79/3235.00 c #Conflicts: 1706000 | #Constraints: 130601 3226.79/3235.00 c #Conflicts: 1707000 | #Constraints: 131601 3226.79/3235.00 c #Conflicts: 1708000 | #Constraints: 132601 3226.79/3235.00 c #Conflicts: 1709000 | #Constraints: 133601 3226.79/3235.00 c #Conflicts: 1710000 | #Constraints: 134601 3226.79/3235.00 c #Conflicts: 1711000 | #Constraints: 135601 3226.79/3235.00 c #Conflicts: 1712000 | #Constraints: 136601 3226.79/3235.00 c #Conflicts: 1713000 | #Constraints: 137601 3226.79/3235.00 c INPROCESSING 3226.79/3235.00 c GARBAGE COLLECT 3226.79/3235.00 c rational objective 83 3306.99/3315.45 c #Conflicts: 1714000 | #Constraints: 72684 3306.99/3315.45 c #Conflicts: 1715000 | #Constraints: 73685 3306.99/3315.45 c #Conflicts: 1716000 | #Constraints: 74685 3306.99/3315.45 c #Conflicts: 1717000 | #Constraints: 75685 3306.99/3315.45 c #Conflicts: 1718000 | #Constraints: 76686 3306.99/3315.45 c #Conflicts: 1719000 | #Constraints: 77686 3306.99/3315.45 c #Conflicts: 1720000 | #Constraints: 78686 3306.99/3315.45 c #Conflicts: 1721000 | #Constraints: 79686 3306.99/3315.45 c #Conflicts: 1722000 | #Constraints: 80686 3306.99/3315.45 c #Conflicts: 1723000 | #Constraints: 81686 3306.99/3315.45 c #Conflicts: 1724000 | #Constraints: 82686 3306.99/3315.45 c #Conflicts: 1725000 | #Constraints: 83686 3306.99/3315.45 c #Conflicts: 1726000 | #Constraints: 84686 3306.99/3315.45 c #Conflicts: 1727000 | #Constraints: 85686 3306.99/3315.45 c #Conflicts: 1728000 | #Constraints: 86686 3306.99/3315.45 c #Conflicts: 1729000 | #Constraints: 87686 3306.99/3315.45 c #Conflicts: 1730000 | #Constraints: 88686 3306.99/3315.45 c #Conflicts: 1731000 | #Constraints: 89686 3306.99/3315.45 c #Conflicts: 1732000 | #Constraints: 90686 3306.99/3315.45 c #Conflicts: 1733000 | #Constraints: 91686 3306.99/3315.45 c #Conflicts: 1734000 | #Constraints: 92686 3306.99/3315.45 c #Conflicts: 1735000 | #Constraints: 93686 3306.99/3315.45 c #Conflicts: 1736000 | #Constraints: 94686 3306.99/3315.45 c #Conflicts: 1737000 | #Constraints: 95686 3306.99/3315.45 c #Conflicts: 1738000 | #Constraints: 96686 3306.99/3315.45 c #Conflicts: 1739000 | #Constraints: 97686 3306.99/3315.45 c #Conflicts: 1740000 | #Constraints: 98686 3306.99/3315.45 c #Conflicts: 1741000 | #Constraints: 99686 3306.99/3315.45 c #Conflicts: 1742000 | #Constraints: 100687 3306.99/3315.45 c #Conflicts: 1743000 | #Constraints: 101687 3306.99/3315.45 c INPROCESSING 3306.99/3315.45 c GARBAGE COLLECT 3306.99/3315.45 c rational objective 83 3361.37/3369.95 c #Conflicts: 1744000 | #Constraints: 55094 3361.37/3369.95 c #Conflicts: 1745000 | #Constraints: 56094 3361.37/3369.95 c #Conflicts: 1746000 | #Constraints: 57094 3361.37/3369.95 c #Conflicts: 1747000 | #Constraints: 58094 3361.37/3369.95 c #Conflicts: 1748000 | #Constraints: 59094 3361.37/3369.95 c #Conflicts: 1749000 | #Constraints: 60094 3361.37/3369.95 c #Conflicts: 1750000 | #Constraints: 61094 3361.37/3369.95 c #Conflicts: 1751000 | #Constraints: 62094 3361.37/3369.95 c #Conflicts: 1752000 | #Constraints: 63094 3361.37/3369.95 c #Conflicts: 1753000 | #Constraints: 64095 3361.37/3369.95 c #Conflicts: 1754000 | #Constraints: 65095 3361.37/3369.95 c #Conflicts: 1755000 | #Constraints: 66096 3361.37/3369.95 c #Conflicts: 1756000 | #Constraints: 67096 3361.37/3369.95 c #Conflicts: 1757000 | #Constraints: 68096 3361.37/3369.95 c #Conflicts: 1758000 | #Constraints: 69096 3361.37/3369.95 c #Conflicts: 1759000 | #Constraints: 70096 3361.37/3369.95 c #Conflicts: 1760000 | #Constraints: 71096 3361.37/3369.95 c #Conflicts: 1761000 | #Constraints: 72096 3361.37/3369.95 c #Conflicts: 1762000 | #Constraints: 73096 3361.37/3369.95 c #Conflicts: 1763000 | #Constraints: 74097 3361.37/3369.95 c #Conflicts: 1764000 | #Constraints: 75097 3361.37/3369.95 c #Conflicts: 1765000 | #Constraints: 76097 3361.37/3369.95 c #Conflicts: 1766000 | #Constraints: 77097 3361.37/3369.95 c #Conflicts: 1767000 | #Constraints: 78097 3361.37/3369.95 c #Conflicts: 1768000 | #Constraints: 79097 3361.37/3369.95 c #Conflicts: 1769000 | #Constraints: 80097 3361.37/3369.95 c #Conflicts: 1770000 | #Constraints: 81097 3361.37/3369.95 c #Conflicts: 1771000 | #Constraints: 82097 3361.37/3369.95 c #Conflicts: 1772000 | #Constraints: 83097 3361.37/3369.95 c INPROCESSING 3361.37/3369.95 c GARBAGE COLLECT 3361.37/3369.95 c rational objective 83 3418.23/3426.91 c #Conflicts: 1773000 | #Constraints: 45638 3418.23/3426.91 c #Conflicts: 1774000 | #Constraints: 46638 3418.23/3426.91 c #Conflicts: 1775000 | #Constraints: 47638 3418.23/3426.91 c #Conflicts: 1776000 | #Constraints: 48638 3418.23/3426.91 c #Conflicts: 1777000 | #Constraints: 49639 3418.23/3426.91 c #Conflicts: 1778000 | #Constraints: 50639 3418.23/3426.91 c #Conflicts: 1779000 | #Constraints: 51639 3418.23/3426.91 c #Conflicts: 1780000 | #Constraints: 52639 3418.23/3426.91 c #Conflicts: 1781000 | #Constraints: 53639 3418.23/3426.91 c #Conflicts: 1782000 | #Constraints: 54639 3418.23/3426.91 c #Conflicts: 1783000 | #Constraints: 55639 3418.23/3426.91 c #Conflicts: 1784000 | #Constraints: 56639 3418.23/3426.91 c #Conflicts: 1785000 | #Constraints: 57639 3418.23/3426.91 c #Conflicts: 1786000 | #Constraints: 58639 3418.23/3426.91 c #Conflicts: 1787000 | #Constraints: 59639 3418.23/3426.91 c #Conflicts: 1788000 | #Constraints: 60639 3418.23/3426.91 c #Conflicts: 1789000 | #Constraints: 61639 3418.23/3426.91 c #Conflicts: 1790000 | #Constraints: 62640 3418.23/3426.91 c #Conflicts: 1791000 | #Constraints: 63640 3418.23/3426.91 c #Conflicts: 1792000 | #Constraints: 64640 3418.23/3426.91 c #Conflicts: 1793000 | #Constraints: 65640 3418.23/3426.91 c #Conflicts: 1794000 | #Constraints: 66641 3418.23/3426.91 c #Conflicts: 1795000 | #Constraints: 67641 3418.23/3426.91 c #Conflicts: 1796000 | #Constraints: 68641 3418.23/3426.91 c #Conflicts: 1797000 | #Constraints: 69641 3418.23/3426.91 c #Conflicts: 1798000 | #Constraints: 70641 3418.23/3426.91 c #Conflicts: 1799000 | #Constraints: 71641 3418.23/3426.91 c #Conflicts: 1800000 | #Constraints: 72641 3418.23/3426.91 c #Conflicts: 1801000 | #Constraints: 73641 3418.23/3426.91 c #Conflicts: 1802000 | #Constraints: 74641 3418.23/3426.91 c INPROCESSING 3418.23/3426.91 c GARBAGE COLLECT 3418.23/3426.91 c rational objective 83 3461.64/3470.43 c #Conflicts: 1803000 | #Constraints: 41664 3461.64/3470.43 c #Conflicts: 1804000 | #Constraints: 42664 3461.64/3470.43 c #Conflicts: 1805000 | #Constraints: 43664 3461.64/3470.43 c #Conflicts: 1806000 | #Constraints: 44664 3461.64/3470.43 c #Conflicts: 1807000 | #Constraints: 45664 3461.64/3470.43 c #Conflicts: 1808000 | #Constraints: 46664 3461.64/3470.43 c #Conflicts: 1809000 | #Constraints: 47664 3461.64/3470.43 c #Conflicts: 1810000 | #Constraints: 48664 3461.64/3470.43 c #Conflicts: 1811000 | #Constraints: 49664 3461.64/3470.43 c #Conflicts: 1812000 | #Constraints: 50664 3461.64/3470.43 c #Conflicts: 1813000 | #Constraints: 51664 3461.64/3470.43 c #Conflicts: 1814000 | #Constraints: 52664 3461.64/3470.43 c #Conflicts: 1815000 | #Constraints: 53664 3461.64/3470.43 c #Conflicts: 1816000 | #Constraints: 54664 3461.64/3470.43 c #Conflicts: 1817000 | #Constraints: 55665 3461.64/3470.43 c #Conflicts: 1818000 | #Constraints: 56665 3461.64/3470.43 c #Conflicts: 1819000 | #Constraints: 57665 3461.64/3470.43 c #Conflicts: 1820000 | #Constraints: 58665 3461.64/3470.43 c #Conflicts: 1821000 | #Constraints: 59665 3461.64/3470.43 c #Conflicts: 1822000 | #Constraints: 60665 3461.64/3470.43 c #Conflicts: 1823000 | #Constraints: 61665 3461.64/3470.43 c #Conflicts: 1824000 | #Constraints: 62665 3461.64/3470.43 c #Conflicts: 1825000 | #Constraints: 63665 3461.64/3470.43 c #Conflicts: 1826000 | #Constraints: 64665 3461.64/3470.43 c #Conflicts: 1827000 | #Constraints: 65665 3461.64/3470.43 c #Conflicts: 1828000 | #Constraints: 66665 3461.64/3470.43 c #Conflicts: 1829000 | #Constraints: 67665 3461.64/3470.43 c #Conflicts: 1830000 | #Constraints: 68665 3461.64/3470.43 c #Conflicts: 1831000 | #Constraints: 69665 3461.64/3470.43 c INPROCESSING 3461.64/3470.43 c GARBAGE COLLECT 3461.64/3470.43 c rational objective 83 3600.02/3609.11 c #Conflicts: 1832000 | #Constraints: 38654 3600.02/3609.11 c #Conflicts: 1833000 | #Constraints: 39654 3600.02/3609.11 c #Conflicts: 1834000 | #Constraints: 40656 3600.02/3609.11 c #Conflicts: 1835000 | #Constraints: 41656 3600.02/3609.11 c #Conflicts: 1836000 | #Constraints: 42656 3600.02/3609.11 c #Conflicts: 1837000 | #Constraints: 43656 3600.02/3609.11 c #Conflicts: 1838000 | #Constraints: 44656 3600.02/3609.11 c #Conflicts: 1839000 | #Constraints: 45656 3600.02/3609.11 c #Conflicts: 1840000 | #Constraints: 46657 3600.02/3609.11 c #Conflicts: 1841000 | #Constraints: 47657 3600.02/3609.11 c #Conflicts: 1842000 | #Constraints: 48657 3600.02/3609.11 c #Conflicts: 1843000 | #Constraints: 49657 3600.02/3609.11 c #Conflicts: 1844000 | #Constraints: 50657 3600.02/3609.11 c #Conflicts: 1845000 | #Constraints: 51657 3600.02/3609.11 c #Conflicts: 1846000 | #Constraints: 52657 3600.02/3609.11 c #Conflicts: 1847000 | #Constraints: 53657 3600.02/3609.11 c #Conflicts: 1848000 | #Constraints: 54657 3600.02/3609.11 c #Conflicts: 1849000 | #Constraints: 55657 3600.02/3609.11 c #Conflicts: 1850000 | #Constraints: 56657 3600.02/3609.11 c #Conflicts: 1851000 | #Constraints: 57658 3600.02/3609.11 c #Conflicts: 1852000 | #Constraints: 58658 3600.02/3609.11 c #Conflicts: 1853000 | #Constraints: 59658 3600.02/3609.11 c #Conflicts: 1854000 | #Constraints: 60658 3600.02/3609.11 c #Conflicts: 1855000 | #Constraints: 61658 3600.02/3609.11 c #Conflicts: 1856000 | #Constraints: 62658 3600.02/3609.11 c #Conflicts: 1857000 | #Constraints: 63661 3600.02/3609.11 c #Conflicts: 1858000 | #Constraints: 64664 3600.02/3609.11 c #Conflicts: 1859000 | #Constraints: 65664 3600.02/3609.11 c #Conflicts: 1860000 | #Constraints: 66664 3600.02/3609.11 c #Conflicts: 1861000 | #Constraints: 67664 3600.02/3609.11 c #Conflicts: 1862000 | #Constraints: 68664 3600.02/3609.11 c #Conflicts: 1863000 | #Constraints: 69664 3600.02/3609.11 c #Conflicts: 1864000 | #Constraints: 70664 3600.02/3609.11 c #Conflicts: 1865000 | #Constraints: 71664 3600.02/3609.11 c #Conflicts: 1866000 | #Constraints: 72664 3600.02/3609.11 c #Conflicts: 1867000 | #Constraints: 73664 3600.02/3609.11 c #Conflicts: 1868000 | #Constraints: 74664 3600.02/3609.11 c #Conflicts: 1869000 | #Constraints: 75665 3600.02/3609.11 c #Conflicts: 1870000 | #Constraints: 76665 3600.02/3609.11 c #Conflicts: 1871000 | #Constraints: 77665 3600.02/3609.11 c #Conflicts: 1872000 | #Constraints: 78665 3600.02/3609.11 c #Conflicts: 1873000 | #Constraints: 79665 3600.02/3609.11 c #Conflicts: 1874000 | #Constraints: 80665 3600.02/3609.11 c #Conflicts: 1875000 | #Constraints: 81665 3600.02/3609.11 c #Conflicts: 1876000 | #Constraints: 82665 3600.02/3609.11 c #Conflicts: 1877000 | #Constraints: 83665 3600.02/3609.11 c #Conflicts: 1878000 | #Constraints: 84665 3600.02/3609.11 c #Conflicts: 1879000 | #Constraints: 85665 3600.02/3609.11 c #Conflicts: 1880000 | #Constraints: 86665 3600.02/3609.11 c #Conflicts: 1881000 | #Constraints: 87666 3600.02/3609.11 c #Conflicts: 1882000 | #Constraints: 88666 3600.02/3609.11 c #Conflicts: 1883000 | #Constraints: 89666 3600.02/3609.11 c #Conflicts: 1884000 | #Constraints: 90666 3600.02/3609.11 c #Conflicts: 1885000 | #Constraints: 91666 3600.02/3609.11 c #Conflicts: 1886000 | #Constraints: 92666 3600.02/3609.11 c #Conflicts: 1887000 | #Constraints: 93666 3600.02/3609.11 c #Conflicts: 1888000 | #Constraints: 94666 3600.02/3609.11 c #Conflicts: 1889000 | #Constraints: 95666 3600.02/3609.11 c #Conflicts: 1890000 | #Constraints: 96666 3600.02/3609.11 c #Conflicts: 1891000 | #Constraints: 97666 3600.02/3609.11 c #Conflicts: 1892000 | #Constraints: 98666 3600.02/3609.11 c Program interrupted by user. 3600.04/3609.33 c cpu time 3562.52 s 3600.04/3609.33 c deterministic time 428063115652 4.28e+11 3600.04/3609.33 c optimization time 137.154 s 3600.04/3609.33 c total solve time 3425.34 s 3600.04/3609.33 c core-guided solve time 0 s 3600.04/3609.33 c propagation time 2433.27 s 3600.04/3609.33 c conflict analysis time 834.063 s 3600.04/3609.33 c propagations 789231142 3600.04/3609.33 c resolve steps 70631436 3600.04/3609.33 c decisions 13450002 3600.04/3609.33 c conflicts 1892713 3600.04/3609.33 c restarts 3653 3600.04/3609.33 c inprocessing phases 86 3600.04/3609.33 c input clauses 5729 3600.04/3609.33 c input cardinalities 83 3600.04/3609.33 c input general constraints 0 3600.04/3609.33 c input average constraint length 6.23 3600.04/3609.33 c input average constraint degree 1.94 3600.04/3609.33 c learned clauses 1320380 3600.04/3609.33 c learned cardinalities 37457 3600.04/3609.33 c learned general constraints 535096 3600.04/3609.33 c learned average constraint length 815.68 3600.04/3609.33 c learned average constraint degree 63624159.94 3600.04/3609.33 c watched constraints 462477 3600.04/3609.33 c counting constraints 72619 3600.04/3609.33 c gcd simplifications 6404 3600.04/3609.33 c detected cardinalities 1791 3600.04/3609.33 c weakened non-implied lits 270083584 3600.04/3609.33 c weakened non-implying lits 638043 3600.04/3609.33 c original variables 5644 3600.04/3609.33 c clausal propagations 290159273 3600.04/3609.33 c cardinality propagations 267897384 3600.04/3609.33 c watched propagations 72748209 3600.04/3609.33 c counting propagations 152386284 3600.04/3609.33 c watch lookups 34673373747 3600.04/3609.33 c watch backjump lookups 27124386722 3600.04/3609.33 c watch checks 306443796888 3600.04/3609.33 c propagation checks 53481974498 3600.04/3609.33 c constraint additions 4729854887 3600.04/3609.33 c trail pops 804568119 3600.04/3609.33 c formula constraints 5812 3600.04/3609.33 c learned constraints 1892491 3600.04/3609.33 c bound constraints 0 3600.04/3609.33 c core-guided constraints 0 3600.04/3609.33 c encountered formula constraints 39764615 3600.04/3609.33 c encountered learned constraints 32755396 3600.04/3609.33 c encountered bound constraints 0 3600.04/3609.33 c encountered core-guided constraints 0 3600.04/3609.33 c LP total time 767.87 s 3600.04/3609.33 c LP solve time 759.99 s 3600.04/3609.33 c LP constraints added 11325 3600.04/3609.33 c LP constraints removed 5445 3600.04/3609.33 c LP pivots internal 1900441 3600.04/3609.33 c LP pivots root 579205 3600.04/3609.33 c LP calls 373 3600.04/3609.33 c LP optimalities 146 3600.04/3609.33 c LP no pivot count 0 3600.04/3609.33 c LP infeasibilities 221 3600.04/3609.33 c LP valid Farkas constraints 221 3600.04/3609.33 c LP learned Farkas constraints 221 3600.04/3609.33 c LP basis resets 0 3600.04/3609.33 c LP cycling count 0 3600.04/3609.33 c LP singular count 0 3600.04/3609.33 c LP no primal count 0 3600.04/3609.33 c LP no farkas count 0 3600.04/3609.33 c LP other issue count 0 3600.04/3609.33 c LP Gomory cuts 0 3600.04/3609.33 c LP learned cuts 5513 3600.04/3609.33 c LP deleted cuts 5445 3600.04/3609.33 c LP encountered Gomory constraints 0 3600.04/3609.33 c LP encountered Farkas constraints 2818 3600.04/3609.33 c LP encountered learned Farkas constraints 1099 3600.04/3609.33 c CG auxiliary variables introduced 0 3600.04/3609.33 c CG solutions found 0 3600.04/3609.33 c CG cores constructed 0 3600.04/3609.33 c CG core cardinality constraints returned 0 3600.04/3609.33 c CG unit cores 0 3600.04/3609.33 c CG single cores 0 3600.04/3609.33 c CG blocks removed during cardinality reduction 0 3600.04/3609.33 c CG first core best 0 3600.04/3609.33 c CG decision core best 0 3600.04/3609.33 c CG core reduction tie 0 3600.04/3609.33 c CG core degree average 0.00 3600.04/3609.33 c CG core slack average 0.00 3600.04/3609.33 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 (57005 MiB free)
memory of node 1: 64473 MiB (57786 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457178-1721830217/watcher-4457178-1721830217 -o /tmp/evaluation-result-4457178-1721830217/solver-4457178-1721830217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721830217-244502 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457178-1721830217 --lp-cut-gomory=0 HOME/instance-4457178-1721830217.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=244561, runsolver pid=244547
[startup+0.100927 s]*
/proc/loadavg: 1.09 1.12 1.41 8/263 244563
/proc/meminfo: memFree=117536176/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=41088 memory=12428 CPUtime=0.02 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 1191 0 0 0 2 0 0 0 20 0 1 0 19544253 42074112 3026 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 10272 3026 1637 992 0 2130 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 41088 KiB
Current children cumulated memory: 12428 KiB
[startup+0.20524 s]*
/proc/loadavg: 1.09 1.12 1.41 7/263 244563
/proc/meminfo: memFree=117501040/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=47968 memory=18620 CPUtime=0.12 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 3137 0 0 0 12 0 0 0 20 0 1 0 19544253 49119232 4655 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 11992 4655 1717 992 0 3850 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 47968 KiB
Current children cumulated memory: 18620 KiB
[startup+0.306294 s]*
/proc/loadavg: 1.09 1.12 1.41 8/263 244563
/proc/meminfo: memFree=117497440/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=48568 memory=19412 CPUtime=0.23 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 3321 0 0 0 22 1 0 0 20 0 1 0 19544253 49733632 4853 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 12142 4853 1717 992 0 4000 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 48568 KiB
Current children cumulated memory: 19412 KiB
[startup+0.700161 s]
/proc/loadavg: 1.09 1.12 1.41 8/263 244563
/proc/meminfo: memFree=117496216/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=49112 memory=19940 CPUtime=0.61 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 3465 0 0 0 60 1 0 0 20 0 1 0 19544253 50290688 4985 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 12278 4985 1717 992 0 4136 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 49112 KiB
Current children cumulated memory: 19940 KiB
[startup+1.50017 s]
/proc/loadavg: 1.09 1.12 1.41 9/263 244563
/proc/meminfo: memFree=117484544/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=50916 memory=23916 CPUtime=1.41 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 3850 0 0 0 135 6 0 0 20 0 1 0 19544253 52137984 5979 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 12729 5979 1810 992 0 4587 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 50916 KiB
Current children cumulated memory: 23916 KiB
[startup+3.10635 s]
/proc/loadavg: 1.32 1.17 1.43 9/263 244563
/proc/meminfo: memFree=117462820/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=51096 memory=24172 CPUtime=3.01 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 3910 0 0 0 292 9 0 0 20 0 1 0 19544253 52322304 6043 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 12774 6043 1810 992 0 4632 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 51096 KiB
Current children cumulated memory: 24172 KiB
[startup+6.30016 s]
/proc/loadavg: 1.32 1.17 1.43 9/263 244565
/proc/meminfo: memFree=117436760/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=54208 memory=26772 CPUtime=6.19 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 4719 0 0 0 600 19 0 0 20 0 1 0 19544253 55508992 6693 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 13552 6693 1810 992 0 5410 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 54208 KiB
Current children cumulated memory: 26772 KiB
[startup+12.7002 s]
/proc/loadavg: 1.81 1.28 1.46 8/263 244565
/proc/meminfo: memFree=117383808/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=58488 memory=31032 CPUtime=12.58 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 5750 0 0 0 1226 32 0 0 20 0 1 0 19544253 59891712 7758 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 14622 7758 1842 992 0 6480 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 58488 KiB
Current children cumulated memory: 31032 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.37 1.49 9/263 244568
/proc/meminfo: memFree=117277456/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=67052 memory=37604 CPUtime=25.36 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 6933 0 0 0 2472 64 0 0 20 0 1 0 19544253 68661248 9401 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 16763 9401 1842 992 0 8621 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 67052 KiB
Current children cumulated memory: 37604 KiB
[startup+51.1061 s]
/proc/loadavg: 2.85 1.60 1.56 9/263 244571
/proc/meminfo: memFree=116989768/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=77368 memory=47140 CPUtime=50.9 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 8285 0 0 0 4979 111 0 0 20 0 1 0 19544253 79224832 11785 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 19342 11785 1842 992 0 11200 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 77368 KiB
Current children cumulated memory: 47140 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.04 1.72 9/263 244579
/proc/meminfo: memFree=116585580/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=93340 memory=60028 CPUtime=101.98 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 10159 0 0 0 9986 212 0 0 20 0 1 0 19544253 95580160 15007 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 23335 15007 1842 992 0 15193 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 93340 KiB
Current children cumulated memory: 60028 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.41 1.87 8/263 244591
/proc/meminfo: memFree=115882408/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=155844 memory=113796 CPUtime=161.84 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 14432 0 0 0 15866 318 0 0 20 0 1 0 19544253 159584256 28449 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 38961 28449 1842 992 0 30819 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 155844 KiB
Current children cumulated memory: 113796 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.73 2.01 9/262 244602
/proc/meminfo: memFree=115414656/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=212692 memory=144364 CPUtime=221.71 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 16324 0 0 0 21741 430 0 0 20 0 1 0 19544253 217796608 36091 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 53173 36091 1842 992 0 45031 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 212692 KiB
Current children cumulated memory: 144364 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.98 2.15 9/262 244612
/proc/meminfo: memFree=114839976/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=304176 memory=234904 CPUtime=281.54 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 19298 0 0 0 27647 507 0 0 20 0 1 0 19544253 311476224 58726 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 76044 58726 1842 992 0 67902 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 304176 KiB
Current children cumulated memory: 234904 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.19 2.27 9/257 244622
/proc/meminfo: memFree=114299984/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=306168 memory=236784 CPUtime=341.42 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 20191 0 0 0 33529 613 0 0 20 0 1 0 19544253 313516032 59196 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 76542 59196 1842 992 0 68400 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 306168 KiB
Current children cumulated memory: 236784 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.37 2.39 8/257 244633
/proc/meminfo: memFree=113879040/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=318464 memory=247968 CPUtime=401.28 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 23037 0 0 0 39445 683 0 0 20 0 1 0 19544253 326107136 61992 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 79616 61992 1842 992 0 71474 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 318464 KiB
Current children cumulated memory: 247968 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.50 2.50 8/257 244643
/proc/meminfo: memFree=113431972/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=319328 memory=248856 CPUtime=461.15 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 24541 0 0 0 45335 780 0 0 20 0 1 0 19544253 326991872 62214 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 79832 62214 1842 992 0 71690 0
################
# More data... #
################
Current children cumulated memory: 700284 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.06 7/261 246319
/proc/meminfo: memFree=102116488/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=762492 memory=699756 CPUtime=2974.68 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 60091 0 0 0 294251 3217 0 0 20 0 1 0 19544253 780791808 174939 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 190623 174939 1842 992 0 182481 0
Current children cumulated CPU time: 2974.68 s
Current children cumulated vsize: 762492 KiB
Current children cumulated memory: 699756 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.06 7/262 246333
/proc/meminfo: memFree=101774960/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=762628 memory=700236 CPUtime=3034.54 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 60336 0 0 0 300179 3275 0 0 20 0 1 0 19544253 780931072 175059 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 190657 175059 1842 992 0 182515 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 762628 KiB
Current children cumulated memory: 700236 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.07 7/262 246354
/proc/meminfo: memFree=101551516/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=763812 memory=701084 CPUtime=3094.41 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 60777 0 0 0 306115 3326 0 0 20 0 1 0 19544253 782143488 175271 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 190953 175271 1842 992 0 182811 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 763812 KiB
Current children cumulated memory: 701084 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.16 4.08 7/261 246366
/proc/meminfo: memFree=101334540/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=764720 memory=702148 CPUtime=3154.26 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 61332 0 0 0 312063 3363 0 0 20 0 1 0 19544253 783073280 175537 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 191180 175537 1842 992 0 183038 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 764720 KiB
Current children cumulated memory: 702148 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.09 7/259 246377
/proc/meminfo: memFree=101127820/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=768624 memory=705104 CPUtime=3214.12 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 62362 0 0 0 318019 3393 0 0 20 0 1 0 19544253 787070976 176276 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 192156 176276 1842 992 0 184014 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 768624 KiB
Current children cumulated memory: 705104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.09 7/259 246387
/proc/meminfo: memFree=100808732/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=770752 memory=706592 CPUtime=3273.98 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 63451 0 0 0 323956 3442 0 0 20 0 1 0 19544253 789250048 176648 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 192688 176648 1842 992 0 184546 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 770752 KiB
Current children cumulated memory: 706592 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 7/257 246398
/proc/meminfo: memFree=100531864/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=770996 memory=706912 CPUtime=3333.84 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 64229 0 0 0 329884 3500 0 0 20 0 1 0 19544253 789499904 176728 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 192749 176728 1842 992 0 184607 0
Current children cumulated CPU time: 3333.84 s
Current children cumulated vsize: 770996 KiB
Current children cumulated memory: 706912 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.09 7/257 246408
/proc/meminfo: memFree=100258496/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=771068 memory=706772 CPUtime=3393.7 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 64847 0 0 0 335809 3561 0 0 20 0 1 0 19544253 789573632 176693 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 192767 176693 1842 992 0 184625 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 771068 KiB
Current children cumulated memory: 706772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.17 4.10 7/258 246419
/proc/meminfo: memFree=100026452/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=771116 memory=706952 CPUtime=3453.55 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 65462 0 0 0 341724 3631 0 0 20 0 1 0 19544253 789622784 176738 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 192779 176738 1842 992 0 184637 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 771116 KiB
Current children cumulated memory: 706952 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.10 7/258 246430
/proc/meminfo: memFree=99705708/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=771548 memory=707604 CPUtime=3513.42 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 65738 0 0 0 347653 3689 0 0 20 0 1 0 19544253 790065152 176901 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 192887 176901 1842 992 0 184745 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 771548 KiB
Current children cumulated memory: 707604 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.09 7/258 246440
/proc/meminfo: memFree=99431484/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=771548 memory=707604 CPUtime=3573.28 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 65972 0 0 0 353592 3736 0 0 20 0 1 0 19544253 790065152 176901 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 192887 176901 1842 992 0 184745 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 771548 KiB
Current children cumulated memory: 707604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.11 4.14 4.09 7/260 246449
/proc/meminfo: memFree=99289952/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=771548 memory=707608 CPUtime=3600.02 cores=5,7
/proc/244561/stat : 244561 (roundingsat) R 244547 244561 244489 0 -1 4194304 66114 0 0 0 356250 3752 0 0 20 0 1 0 19544253 790065152 176902 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 192887 176902 1842 992 0 184745 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 771548 KiB
Current children cumulated memory: 707608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.34 s]
# the end of solver process 244561 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.52 s, system=37.5351 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.2 s]
/proc/loadavg: 4.11 4.14 4.09 7/260 246449
/proc/meminfo: memFree=99289952/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=771548 memory=707608 CPUtime=3600.04 cores=5,7
/proc/244561/stat : 244561 (roundingsat) D 244547 244561 244489 0 -1 4194304 66122 0 0 0 356251 3753 0 0 20 0 1 0 19544253 790065152 176902 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 22 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 192887 176902 1842 992 0 184745 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 771548 KiB
Current children cumulated memory: 707608 KiB
[startup+3609.3 s]
/proc/loadavg: 4.11 4.14 4.09 7/260 246449
/proc/meminfo: memFree=99289952/131524600 swapFree=131071216/131071996
[pid=244561] ppid=244547 vsize=771548 memory=707608 CPUtime=3600.04 cores=5,7
/proc/244561/stat : 244561 (roundingsat) D 244547 244561 244489 0 -1 4194304 66122 0 0 0 356251 3753 0 0 20 0 1 0 19544253 790065152 176902 134679101440 4194304 8254037 140727267469888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 40 0 0 9037040 9046032 19034112 140727267472220 140727267472482 140727267472482 140727267479497 0
/proc/244561/statm: 192887 176902 1842 992 0 184745 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 771548 KiB
Current children cumulated memory: 707608 KiB
Child status: 0
Real time (s): 3609.34
CPU time (s): 3600.05
CPU user time (s): 3562.52
CPU system time (s): 37.5351
CPU usage (%): 99.7429
Max. virtual memory (cumulated for all children) (KiB): 772576
Max. memory (cumulated for all children) (KiB): 708200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.52
system time used= 37.5351
maximum resident set size= 708200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10572504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 445
involuntary context switches= 4672
# summary of solver processes directly reported to runsolver:
# pid: 244561
# total CPU time (s): 3600.05
# total CPU user time (s): 3562.52
# total CPU system time (s): 37.5351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10385 second user time and 18.5035 second system time
The end
Begin job on nodeC017 at 2024-07-24 16:10:17 IDJOB=4457178 IDBENCH=158345 IDSOLVER=3085 FILE ID=nodeC017/4457178-1721830217 RUNJOBID= nodeC017-1721830217-244502 SLURM_JOB_ID= 7891507 Free space on /tmp= 890080 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.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-4457178-1721830217/watcher-4457178-1721830217 -o /tmp/evaluation-result-4457178-1721830217/solver-4457178-1721830217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721830217-244502 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457178-1721830217 --lp-cut-gomory=0 HOME/instance-4457178-1721830217.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bcb1c72c6ad4afea1adf0a0324f1d09c RANDOM SEED=8886360 nodeC017.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 : 3546.671 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 : 7000.61 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 : 3580.258 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 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 : 3603.197 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 : 7000.61 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 : 3561.943 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 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 : 3534.999 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 : 7000.61 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 : 3575.420 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 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 : 3576.418 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 : 7000.61 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 : 3496.628 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 117548732 kB MemAvailable: 129648152 kB Buffers: 276044 kB Cached: 12569128 kB SwapCached: 88 kB Active: 2603332 kB Inactive: 10585756 kB Active(anon): 1460 kB Inactive(anon): 397004 kB Active(file): 2601872 kB Inactive(file): 10188752 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 24316 kB Writeback: 20 kB AnonPages: 342680 kB Mapped: 118612 kB Shmem: 53820 kB KReclaimable: 297236 kB Slab: 424720 kB SReclaimable: 297236 kB SUnreclaim: 127484 kB KernelStack: 4100 kB PageTables: 9632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 726080 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21280 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 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: 422612 kB DirectMap2M: 40245248 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890056 MiB End job on nodeC017 at 2024-07-24 17:10:27