| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.07 | 3608.51 |
| 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.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.02 c #variables 5644 #constraints 5812 14.15/14.30 c #Conflicts: 1000 | #Constraints: 6811 14.15/14.30 c #Conflicts: 2000 | #Constraints: 7811 14.15/14.30 c INPROCESSING 14.15/14.30 c GARBAGE COLLECT 14.15/14.30 c #Conflicts: 3000 | #Constraints: 7436 14.15/14.30 c #Conflicts: 4000 | #Constraints: 8436 14.15/14.30 c INPROCESSING 14.15/14.30 c GARBAGE COLLECT 14.15/14.30 c #Conflicts: 5000 | #Constraints: 7888 14.15/14.30 c #Conflicts: 6000 | #Constraints: 8888 14.15/14.30 c INPROCESSING 14.15/14.30 c GARBAGE COLLECT 14.15/14.30 c #Conflicts: 7000 | #Constraints: 7934 14.15/14.30 c #Conflicts: 8000 | #Constraints: 8934 14.15/14.30 c #Conflicts: 9000 | #Constraints: 9934 14.15/14.30 c INPROCESSING 14.15/14.30 c GARBAGE COLLECT 14.15/14.30 c rational objective 83 30.81/30.94 c #Conflicts: 10000 | #Constraints: 8675 30.81/30.94 c #Conflicts: 11000 | #Constraints: 9675 30.81/30.94 c #Conflicts: 12000 | #Constraints: 10675 30.81/30.94 c INPROCESSING 30.81/30.94 c GARBAGE COLLECT 30.81/30.94 c #Conflicts: 13000 | #Constraints: 9155 30.81/30.94 c #Conflicts: 14000 | #Constraints: 10155 30.81/30.94 c #Conflicts: 15000 | #Constraints: 11155 30.81/30.94 c INPROCESSING 30.81/30.94 c GARBAGE COLLECT 30.81/30.94 c #Conflicts: 16000 | #Constraints: 9418 30.81/30.94 c #Conflicts: 17000 | #Constraints: 10418 30.81/30.94 c #Conflicts: 18000 | #Constraints: 11418 30.81/30.94 c INPROCESSING 30.81/30.94 c GARBAGE COLLECT 30.81/30.94 c #Conflicts: 19000 | #Constraints: 9455 30.81/30.94 c #Conflicts: 20000 | #Constraints: 10455 30.81/30.94 c #Conflicts: 21000 | #Constraints: 11455 30.81/30.94 c INPROCESSING 30.81/30.94 c GARBAGE COLLECT 30.81/30.94 c #Conflicts: 22000 | #Constraints: 9296 30.81/30.94 c #Conflicts: 23000 | #Constraints: 10296 30.81/30.94 c #Conflicts: 24000 | #Constraints: 11297 30.81/30.94 c #Conflicts: 25000 | #Constraints: 12297 30.81/30.94 c INPROCESSING 30.81/30.94 c GARBAGE COLLECT 30.81/30.94 c rational objective 83 64.13/64.37 c #Conflicts: 26000 | #Constraints: 9940 64.13/64.37 c #Conflicts: 27000 | #Constraints: 10940 64.13/64.37 c #Conflicts: 28000 | #Constraints: 11940 64.13/64.37 c #Conflicts: 29000 | #Constraints: 12940 64.13/64.37 c INPROCESSING 64.13/64.37 c GARBAGE COLLECT 64.13/64.37 c #Conflicts: 30000 | #Constraints: 10348 64.13/64.37 c #Conflicts: 31000 | #Constraints: 11348 64.13/64.37 c #Conflicts: 32000 | #Constraints: 12348 64.13/64.37 c #Conflicts: 33000 | #Constraints: 13348 64.13/64.37 c INPROCESSING 64.13/64.37 c GARBAGE COLLECT 64.13/64.37 c #Conflicts: 34000 | #Constraints: 10563 64.13/64.37 c #Conflicts: 35000 | #Constraints: 11563 64.13/64.37 c #Conflicts: 36000 | #Constraints: 12563 64.13/64.37 c #Conflicts: 37000 | #Constraints: 13563 64.13/64.37 c INPROCESSING 64.13/64.37 c GARBAGE COLLECT 64.13/64.37 c #Conflicts: 38000 | #Constraints: 10579 64.13/64.37 c #Conflicts: 39000 | #Constraints: 11579 64.13/64.37 c #Conflicts: 40000 | #Constraints: 12579 64.13/64.37 c #Conflicts: 41000 | #Constraints: 13579 64.13/64.37 c INPROCESSING 64.13/64.37 c GARBAGE COLLECT 64.13/64.37 c #Conflicts: 42000 | #Constraints: 10404 64.13/64.37 c #Conflicts: 43000 | #Constraints: 11404 64.13/64.37 c #Conflicts: 44000 | #Constraints: 12404 64.13/64.37 c #Conflicts: 45000 | #Constraints: 13404 64.13/64.37 c #Conflicts: 46000 | #Constraints: 14404 64.13/64.37 c INPROCESSING 64.13/64.37 c GARBAGE COLLECT 64.13/64.37 c #Conflicts: 47000 | #Constraints: 10990 64.13/64.37 c #Conflicts: 48000 | #Constraints: 11991 64.13/64.37 c #Conflicts: 49000 | #Constraints: 12991 64.13/64.37 c #Conflicts: 50000 | #Constraints: 13991 64.13/64.37 c #Conflicts: 51000 | #Constraints: 14991 64.13/64.37 c INPROCESSING 64.13/64.37 c GARBAGE COLLECT 64.13/64.37 c #Conflicts: 52000 | #Constraints: 11418 64.13/64.37 c #Conflicts: 53000 | #Constraints: 12418 64.13/64.37 c #Conflicts: 54000 | #Constraints: 13418 64.13/64.37 c #Conflicts: 55000 | #Constraints: 14418 64.13/64.37 c #Conflicts: 56000 | #Constraints: 15418 64.13/64.37 c INPROCESSING 64.13/64.37 c GARBAGE COLLECT 64.13/64.37 c rational objective 83 70.42/70.62 c #Conflicts: 57000 | #Constraints: 11645 70.42/70.62 c #Conflicts: 58000 | #Constraints: 12645 70.42/70.62 c #Conflicts: 59000 | #Constraints: 13645 70.42/70.62 c #Conflicts: 60000 | #Constraints: 14645 70.42/70.62 c #Conflicts: 61000 | #Constraints: 15645 70.42/70.62 c INPROCESSING 70.42/70.62 c GARBAGE COLLECT 70.42/70.62 c rational objective 83 80.90/81.14 c #Conflicts: 62000 | #Constraints: 11655 80.90/81.14 c #Conflicts: 63000 | #Constraints: 12655 80.90/81.14 c #Conflicts: 64000 | #Constraints: 13655 80.90/81.14 c #Conflicts: 65000 | #Constraints: 14655 80.90/81.14 c #Conflicts: 66000 | #Constraints: 15655 80.90/81.14 c INPROCESSING 80.90/81.14 c GARBAGE COLLECT 80.90/81.14 c #Conflicts: 67000 | #Constraints: 11464 80.90/81.14 c #Conflicts: 68000 | #Constraints: 12464 80.90/81.14 c #Conflicts: 69000 | #Constraints: 13464 80.90/81.14 c #Conflicts: 70000 | #Constraints: 14464 80.90/81.14 c #Conflicts: 71000 | #Constraints: 15464 80.90/81.14 c #Conflicts: 72000 | #Constraints: 16464 80.90/81.14 c INPROCESSING 80.90/81.14 c GARBAGE COLLECT 80.90/81.14 c rational objective 83 89.47/89.76 c #Conflicts: 73000 | #Constraints: 12097 89.47/89.76 c #Conflicts: 74000 | #Constraints: 13097 89.47/89.76 c #Conflicts: 75000 | #Constraints: 14097 89.47/89.76 c #Conflicts: 76000 | #Constraints: 15098 89.47/89.76 c #Conflicts: 77000 | #Constraints: 16098 89.47/89.76 c #Conflicts: 78000 | #Constraints: 17098 89.47/89.76 c INPROCESSING 89.47/89.76 c GARBAGE COLLECT 89.47/89.76 c rational objective 83 102.14/102.44 c #Conflicts: 79000 | #Constraints: 12553 102.14/102.44 c #Conflicts: 80000 | #Constraints: 13553 102.14/102.44 c #Conflicts: 81000 | #Constraints: 14553 102.14/102.44 c #Conflicts: 82000 | #Constraints: 15553 102.14/102.44 c #Conflicts: 83000 | #Constraints: 16553 102.14/102.44 c #Conflicts: 84000 | #Constraints: 17553 102.14/102.44 c INPROCESSING 102.14/102.44 c GARBAGE COLLECT 102.14/102.44 c rational objective 83 120.00/120.30 c #Conflicts: 85000 | #Constraints: 12741 120.00/120.30 c #Conflicts: 86000 | #Constraints: 13742 120.00/120.30 c #Conflicts: 87000 | #Constraints: 14742 120.00/120.30 c #Conflicts: 88000 | #Constraints: 15742 120.00/120.30 c #Conflicts: 89000 | #Constraints: 16743 120.00/120.30 c #Conflicts: 90000 | #Constraints: 17743 120.00/120.30 c INPROCESSING 120.00/120.30 c GARBAGE COLLECT 120.00/120.30 c #Conflicts: 91000 | #Constraints: 12715 120.00/120.30 c #Conflicts: 92000 | #Constraints: 13715 120.00/120.30 c #Conflicts: 93000 | #Constraints: 14715 120.00/120.30 c #Conflicts: 94000 | #Constraints: 15715 120.00/120.30 c #Conflicts: 95000 | #Constraints: 16715 120.00/120.30 c #Conflicts: 96000 | #Constraints: 17715 120.00/120.30 c INPROCESSING 120.00/120.30 c GARBAGE COLLECT 120.00/120.30 c #Conflicts: 97000 | #Constraints: 12512 120.00/120.30 c #Conflicts: 98000 | #Constraints: 13512 120.00/120.30 c #Conflicts: 99000 | #Constraints: 14513 120.00/120.30 c #Conflicts: 100000 | #Constraints: 15513 120.00/120.30 c #Conflicts: 101000 | #Constraints: 16513 120.00/120.30 c #Conflicts: 102000 | #Constraints: 17513 120.00/120.30 c #Conflicts: 103000 | #Constraints: 18513 120.00/120.30 c INPROCESSING 120.00/120.30 c GARBAGE COLLECT 120.00/120.30 c rational objective 83 152.43/152.88 c #Conflicts: 104000 | #Constraints: 13168 152.43/152.88 c #Conflicts: 105000 | #Constraints: 14168 152.43/152.88 c #Conflicts: 106000 | #Constraints: 15168 152.43/152.88 c #Conflicts: 107000 | #Constraints: 16168 152.43/152.88 c #Conflicts: 108000 | #Constraints: 17168 152.43/152.88 c #Conflicts: 109000 | #Constraints: 18168 152.43/152.88 c #Conflicts: 110000 | #Constraints: 19168 152.43/152.88 c #Conflicts: 111000 | #Constraints: 20169 152.43/152.88 c #Conflicts: 112000 | #Constraints: 21170 152.43/152.88 c #Conflicts: 113000 | #Constraints: 22170 152.43/152.88 c #Conflicts: 114000 | #Constraints: 23170 152.43/152.88 c #Conflicts: 115000 | #Constraints: 24170 152.43/152.88 c #Conflicts: 116000 | #Constraints: 25170 152.43/152.88 c #Conflicts: 117000 | #Constraints: 26170 152.43/152.88 c #Conflicts: 118000 | #Constraints: 27170 152.43/152.88 c #Conflicts: 119000 | #Constraints: 28170 152.43/152.88 c #Conflicts: 120000 | #Constraints: 29171 152.43/152.88 c #Conflicts: 121000 | #Constraints: 30171 152.43/152.88 c #Conflicts: 122000 | #Constraints: 31171 152.43/152.88 c #Conflicts: 123000 | #Constraints: 32171 152.43/152.88 c #Conflicts: 124000 | #Constraints: 33171 152.43/152.88 c #Conflicts: 125000 | #Constraints: 34171 152.43/152.88 c #Conflicts: 126000 | #Constraints: 35171 152.43/152.88 c #Conflicts: 127000 | #Constraints: 36171 152.43/152.88 c #Conflicts: 128000 | #Constraints: 37171 152.43/152.88 c #Conflicts: 129000 | #Constraints: 38171 152.43/152.88 c #Conflicts: 130000 | #Constraints: 39171 152.43/152.88 c #Conflicts: 131000 | #Constraints: 40171 152.43/152.88 c #Conflicts: 132000 | #Constraints: 41172 152.43/152.88 c INPROCESSING 152.43/152.88 c GARBAGE COLLECT 152.43/152.88 c rational objective 83 166.49/166.98 c #Conflicts: 133000 | #Constraints: 24382 166.49/166.98 c #Conflicts: 134000 | #Constraints: 25382 166.49/166.98 c #Conflicts: 135000 | #Constraints: 26382 166.49/166.98 c #Conflicts: 136000 | #Constraints: 27382 166.49/166.98 c #Conflicts: 137000 | #Constraints: 28382 166.49/166.98 c #Conflicts: 138000 | #Constraints: 29382 166.49/166.98 c #Conflicts: 139000 | #Constraints: 30382 166.49/166.98 c #Conflicts: 140000 | #Constraints: 31383 166.49/166.98 c INPROCESSING 166.49/166.98 c GARBAGE COLLECT 166.49/166.98 c rational objective 83 180.16/180.65 c #Conflicts: 141000 | #Constraints: 19501 180.16/180.65 c #Conflicts: 142000 | #Constraints: 20501 180.16/180.65 c #Conflicts: 143000 | #Constraints: 21501 180.16/180.65 c #Conflicts: 144000 | #Constraints: 22501 180.16/180.65 c #Conflicts: 145000 | #Constraints: 23501 180.16/180.65 c #Conflicts: 146000 | #Constraints: 24502 180.16/180.65 c #Conflicts: 147000 | #Constraints: 25504 180.16/180.65 c #Conflicts: 148000 | #Constraints: 26505 180.16/180.65 c INPROCESSING 180.16/180.65 c GARBAGE COLLECT 180.16/180.65 c rational objective 83 188.84/189.31 c #Conflicts: 149000 | #Constraints: 17025 188.84/189.31 c #Conflicts: 150000 | #Constraints: 18025 188.84/189.31 c #Conflicts: 151000 | #Constraints: 19025 188.84/189.31 c #Conflicts: 152000 | #Constraints: 20025 188.84/189.31 c #Conflicts: 153000 | #Constraints: 21025 188.84/189.31 c #Conflicts: 154000 | #Constraints: 22025 188.84/189.31 c #Conflicts: 155000 | #Constraints: 23025 188.84/189.31 c #Conflicts: 156000 | #Constraints: 24025 188.84/189.31 c INPROCESSING 188.84/189.31 c GARBAGE COLLECT 188.84/189.31 c rational objective 83 197.23/197.71 c #Conflicts: 157000 | #Constraints: 15609 197.23/197.71 c #Conflicts: 158000 | #Constraints: 16609 197.23/197.71 c #Conflicts: 159000 | #Constraints: 17609 197.23/197.71 c #Conflicts: 160000 | #Constraints: 18609 197.23/197.71 c #Conflicts: 161000 | #Constraints: 19611 197.23/197.71 c #Conflicts: 162000 | #Constraints: 20611 197.23/197.71 c #Conflicts: 163000 | #Constraints: 21611 197.23/197.71 c #Conflicts: 164000 | #Constraints: 22611 197.23/197.71 c #Conflicts: 165000 | #Constraints: 23611 197.23/197.71 c INPROCESSING 197.23/197.71 c GARBAGE COLLECT 197.23/197.71 c rational objective 83 243.61/244.28 c #Conflicts: 166000 | #Constraints: 15723 243.61/244.28 c #Conflicts: 167000 | #Constraints: 16723 243.61/244.28 c #Conflicts: 168000 | #Constraints: 17723 243.61/244.28 c #Conflicts: 169000 | #Constraints: 18723 243.61/244.28 c #Conflicts: 170000 | #Constraints: 19723 243.61/244.28 c #Conflicts: 171000 | #Constraints: 20723 243.61/244.28 c #Conflicts: 172000 | #Constraints: 21723 243.61/244.28 c #Conflicts: 173000 | #Constraints: 22723 243.61/244.28 c #Conflicts: 174000 | #Constraints: 23723 243.61/244.28 c #Conflicts: 175000 | #Constraints: 24723 243.61/244.28 c #Conflicts: 176000 | #Constraints: 25723 243.61/244.28 c #Conflicts: 177000 | #Constraints: 26723 243.61/244.28 c #Conflicts: 178000 | #Constraints: 27724 243.61/244.28 c #Conflicts: 179000 | #Constraints: 28725 243.61/244.28 c #Conflicts: 180000 | #Constraints: 29725 243.61/244.28 c #Conflicts: 181000 | #Constraints: 30725 243.61/244.28 c #Conflicts: 182000 | #Constraints: 31725 243.61/244.28 c #Conflicts: 183000 | #Constraints: 32725 243.61/244.28 c #Conflicts: 184000 | #Constraints: 33725 243.61/244.28 c #Conflicts: 185000 | #Constraints: 34725 243.61/244.28 c #Conflicts: 186000 | #Constraints: 35725 243.61/244.28 c #Conflicts: 187000 | #Constraints: 36725 243.61/244.28 c #Conflicts: 188000 | #Constraints: 37725 243.61/244.28 c #Conflicts: 189000 | #Constraints: 38726 243.61/244.28 c #Conflicts: 190000 | #Constraints: 39726 243.61/244.28 c #Conflicts: 191000 | #Constraints: 40726 243.61/244.28 c #Conflicts: 192000 | #Constraints: 41726 243.61/244.28 c #Conflicts: 193000 | #Constraints: 42726 243.61/244.28 c #Conflicts: 194000 | #Constraints: 43726 243.61/244.28 c #Conflicts: 195000 | #Constraints: 44726 243.61/244.28 c #Conflicts: 196000 | #Constraints: 45726 243.61/244.28 c #Conflicts: 197000 | #Constraints: 46726 243.61/244.28 c #Conflicts: 198000 | #Constraints: 47726 243.61/244.28 c #Conflicts: 199000 | #Constraints: 48726 243.61/244.28 c #Conflicts: 200000 | #Constraints: 49727 243.61/244.28 c #Conflicts: 201000 | #Constraints: 50728 243.61/244.28 c INPROCESSING 243.61/244.28 c GARBAGE COLLECT 243.61/244.28 c rational objective 83 263.47/264.18 c #Conflicts: 202000 | #Constraints: 29426 263.47/264.18 c #Conflicts: 203000 | #Constraints: 30426 263.47/264.18 c #Conflicts: 204000 | #Constraints: 31426 263.47/264.18 c #Conflicts: 205000 | #Constraints: 32427 263.47/264.18 c #Conflicts: 206000 | #Constraints: 33427 263.47/264.18 c #Conflicts: 207000 | #Constraints: 34427 263.47/264.18 c #Conflicts: 208000 | #Constraints: 35427 263.47/264.18 c #Conflicts: 209000 | #Constraints: 36427 263.47/264.18 c #Conflicts: 210000 | #Constraints: 37428 263.47/264.18 c INPROCESSING 263.47/264.18 c GARBAGE COLLECT 263.47/264.18 c rational objective 83 278.13/278.88 c #Conflicts: 211000 | #Constraints: 22399 278.13/278.88 c #Conflicts: 212000 | #Constraints: 23399 278.13/278.88 c #Conflicts: 213000 | #Constraints: 24399 278.13/278.88 c #Conflicts: 214000 | #Constraints: 25399 278.13/278.88 c #Conflicts: 215000 | #Constraints: 26399 278.13/278.88 c #Conflicts: 216000 | #Constraints: 27399 278.13/278.88 c #Conflicts: 217000 | #Constraints: 28399 278.13/278.88 c #Conflicts: 218000 | #Constraints: 29399 278.13/278.88 c #Conflicts: 219000 | #Constraints: 30399 278.13/278.88 c #Conflicts: 220000 | #Constraints: 31399 278.13/278.88 c INPROCESSING 278.13/278.88 c GARBAGE COLLECT 278.13/278.88 c rational objective 83 294.30/295.10 c #Conflicts: 221000 | #Constraints: 19413 294.30/295.10 c #Conflicts: 222000 | #Constraints: 20414 294.30/295.10 c #Conflicts: 223000 | #Constraints: 21414 294.30/295.10 c #Conflicts: 224000 | #Constraints: 22414 294.30/295.10 c #Conflicts: 225000 | #Constraints: 23414 294.30/295.10 c #Conflicts: 226000 | #Constraints: 24414 294.30/295.10 c #Conflicts: 227000 | #Constraints: 25415 294.30/295.10 c #Conflicts: 228000 | #Constraints: 26415 294.30/295.10 c #Conflicts: 229000 | #Constraints: 27415 294.30/295.10 c #Conflicts: 230000 | #Constraints: 28415 294.30/295.10 c #Conflicts: 231000 | #Constraints: 29415 294.30/295.10 c INPROCESSING 294.30/295.10 c GARBAGE COLLECT 294.30/295.10 c rational objective 83 308.16/308.92 c #Conflicts: 232000 | #Constraints: 18779 308.16/308.92 c #Conflicts: 233000 | #Constraints: 19780 308.16/308.92 c #Conflicts: 234000 | #Constraints: 20782 308.16/308.92 c #Conflicts: 235000 | #Constraints: 21782 308.16/308.92 c #Conflicts: 236000 | #Constraints: 22783 308.16/308.92 c #Conflicts: 237000 | #Constraints: 23783 308.16/308.92 c #Conflicts: 238000 | #Constraints: 24783 308.16/308.92 c #Conflicts: 239000 | #Constraints: 25783 308.16/308.92 c #Conflicts: 240000 | #Constraints: 26783 308.16/308.92 c #Conflicts: 241000 | #Constraints: 27783 308.16/308.92 c INPROCESSING 308.16/308.92 c GARBAGE COLLECT 308.16/308.92 c rational objective 83 375.09/376.06 c #Conflicts: 242000 | #Constraints: 17749 375.09/376.06 c #Conflicts: 243000 | #Constraints: 18749 375.09/376.06 c #Conflicts: 244000 | #Constraints: 19751 375.09/376.06 c #Conflicts: 245000 | #Constraints: 20751 375.09/376.06 c #Conflicts: 246000 | #Constraints: 21751 375.09/376.06 c #Conflicts: 247000 | #Constraints: 22751 375.09/376.06 c #Conflicts: 248000 | #Constraints: 23751 375.09/376.06 c #Conflicts: 249000 | #Constraints: 24751 375.09/376.06 c #Conflicts: 250000 | #Constraints: 25752 375.09/376.06 c #Conflicts: 251000 | #Constraints: 26752 375.09/376.06 c #Conflicts: 252000 | #Constraints: 27752 375.09/376.06 c #Conflicts: 253000 | #Constraints: 28752 375.09/376.06 c #Conflicts: 254000 | #Constraints: 29752 375.09/376.06 c #Conflicts: 255000 | #Constraints: 30752 375.09/376.06 c #Conflicts: 256000 | #Constraints: 31752 375.09/376.06 c #Conflicts: 257000 | #Constraints: 32752 375.09/376.06 c #Conflicts: 258000 | #Constraints: 33752 375.09/376.06 c #Conflicts: 259000 | #Constraints: 34752 375.09/376.06 c #Conflicts: 260000 | #Constraints: 35752 375.09/376.06 c #Conflicts: 261000 | #Constraints: 36753 375.09/376.06 c #Conflicts: 262000 | #Constraints: 37755 375.09/376.06 c #Conflicts: 263000 | #Constraints: 38755 375.09/376.06 c #Conflicts: 264000 | #Constraints: 39755 375.09/376.06 c #Conflicts: 265000 | #Constraints: 40756 375.09/376.06 c #Conflicts: 266000 | #Constraints: 41757 375.09/376.06 c #Conflicts: 267000 | #Constraints: 42759 375.09/376.06 c #Conflicts: 268000 | #Constraints: 43759 375.09/376.06 c #Conflicts: 269000 | #Constraints: 44759 375.09/376.06 c #Conflicts: 270000 | #Constraints: 45759 375.09/376.06 c #Conflicts: 271000 | #Constraints: 46759 375.09/376.06 c #Conflicts: 272000 | #Constraints: 47759 375.09/376.06 c #Conflicts: 273000 | #Constraints: 48759 375.09/376.06 c #Conflicts: 274000 | #Constraints: 49759 375.09/376.06 c #Conflicts: 275000 | #Constraints: 50759 375.09/376.06 c #Conflicts: 276000 | #Constraints: 51759 375.09/376.06 c #Conflicts: 277000 | #Constraints: 52759 375.09/376.06 c #Conflicts: 278000 | #Constraints: 53759 375.09/376.06 c #Conflicts: 279000 | #Constraints: 54759 375.09/376.06 c #Conflicts: 280000 | #Constraints: 55759 375.09/376.06 c #Conflicts: 281000 | #Constraints: 56759 375.09/376.06 c #Conflicts: 282000 | #Constraints: 57760 375.09/376.06 c #Conflicts: 283000 | #Constraints: 58760 375.09/376.06 c INPROCESSING 375.09/376.06 c GARBAGE COLLECT 375.09/376.06 c rational objective 83 400.72/401.74 c #Conflicts: 284000 | #Constraints: 33226 400.72/401.74 c #Conflicts: 285000 | #Constraints: 34227 400.72/401.74 c #Conflicts: 286000 | #Constraints: 35227 400.72/401.74 c #Conflicts: 287000 | #Constraints: 36227 400.72/401.74 c #Conflicts: 288000 | #Constraints: 37227 400.72/401.74 c #Conflicts: 289000 | #Constraints: 38227 400.72/401.74 c #Conflicts: 290000 | #Constraints: 39227 400.72/401.74 c #Conflicts: 291000 | #Constraints: 40227 400.72/401.74 c #Conflicts: 292000 | #Constraints: 41227 400.72/401.74 c #Conflicts: 293000 | #Constraints: 42227 400.72/401.74 c #Conflicts: 294000 | #Constraints: 43227 400.72/401.74 c #Conflicts: 295000 | #Constraints: 44227 400.72/401.74 c INPROCESSING 400.72/401.74 c GARBAGE COLLECT 400.72/401.74 c rational objective 83 429.34/430.49 c #Conflicts: 296000 | #Constraints: 26130 429.34/430.49 c #Conflicts: 297000 | #Constraints: 27130 429.34/430.49 c #Conflicts: 298000 | #Constraints: 28130 429.34/430.49 c #Conflicts: 299000 | #Constraints: 29131 429.34/430.49 c #Conflicts: 300000 | #Constraints: 30131 429.34/430.49 c #Conflicts: 301000 | #Constraints: 31131 429.34/430.49 c #Conflicts: 302000 | #Constraints: 32131 429.34/430.49 c #Conflicts: 303000 | #Constraints: 33131 429.34/430.49 c #Conflicts: 304000 | #Constraints: 34131 429.34/430.49 c #Conflicts: 305000 | #Constraints: 35131 429.34/430.49 c #Conflicts: 306000 | #Constraints: 36131 429.34/430.49 c #Conflicts: 307000 | #Constraints: 37131 429.34/430.49 c INPROCESSING 429.34/430.49 c GARBAGE COLLECT 429.34/430.49 c rational objective 83 445.61/446.78 c #Conflicts: 308000 | #Constraints: 22618 445.61/446.78 c #Conflicts: 309000 | #Constraints: 23618 445.61/446.78 c #Conflicts: 310000 | #Constraints: 24618 445.61/446.78 c #Conflicts: 311000 | #Constraints: 25618 445.61/446.78 c #Conflicts: 312000 | #Constraints: 26619 445.61/446.78 c #Conflicts: 313000 | #Constraints: 27619 445.61/446.78 c #Conflicts: 314000 | #Constraints: 28619 445.61/446.78 c #Conflicts: 315000 | #Constraints: 29620 445.61/446.78 c #Conflicts: 316000 | #Constraints: 30620 445.61/446.78 c #Conflicts: 317000 | #Constraints: 31620 445.61/446.78 c #Conflicts: 318000 | #Constraints: 32620 445.61/446.78 c #Conflicts: 319000 | #Constraints: 33622 445.61/446.78 c INPROCESSING 445.61/446.78 c GARBAGE COLLECT 445.61/446.78 c rational objective 83 470.65/471.86 c #Conflicts: 320000 | #Constraints: 20846 470.65/471.86 c #Conflicts: 321000 | #Constraints: 21846 470.65/471.86 c #Conflicts: 322000 | #Constraints: 22846 470.65/471.86 c #Conflicts: 323000 | #Constraints: 23846 470.65/471.86 c #Conflicts: 324000 | #Constraints: 24846 470.65/471.86 c #Conflicts: 325000 | #Constraints: 25846 470.65/471.86 c #Conflicts: 326000 | #Constraints: 26847 470.65/471.86 c #Conflicts: 327000 | #Constraints: 27847 470.65/471.86 c #Conflicts: 328000 | #Constraints: 28847 470.65/471.86 c #Conflicts: 329000 | #Constraints: 29847 470.65/471.86 c #Conflicts: 330000 | #Constraints: 30847 470.65/471.86 c #Conflicts: 331000 | #Constraints: 31847 470.65/471.86 c INPROCESSING 470.65/471.86 c GARBAGE COLLECT 470.65/471.86 c rational objective 83 547.97/549.35 c #Conflicts: 332000 | #Constraints: 19872 547.97/549.35 c #Conflicts: 333000 | #Constraints: 20872 547.97/549.35 c #Conflicts: 334000 | #Constraints: 21872 547.97/549.35 c #Conflicts: 335000 | #Constraints: 22872 547.97/549.35 c #Conflicts: 336000 | #Constraints: 23872 547.97/549.35 c #Conflicts: 337000 | #Constraints: 24872 547.97/549.35 c #Conflicts: 338000 | #Constraints: 25872 547.97/549.35 c #Conflicts: 339000 | #Constraints: 26873 547.97/549.35 c #Conflicts: 340000 | #Constraints: 27873 547.97/549.35 c #Conflicts: 341000 | #Constraints: 28874 547.97/549.35 c #Conflicts: 342000 | #Constraints: 29875 547.97/549.35 c #Conflicts: 343000 | #Constraints: 30875 547.97/549.35 c #Conflicts: 344000 | #Constraints: 31876 547.97/549.35 c #Conflicts: 345000 | #Constraints: 32876 547.97/549.35 c #Conflicts: 346000 | #Constraints: 33876 547.97/549.35 c #Conflicts: 347000 | #Constraints: 34876 547.97/549.35 c #Conflicts: 348000 | #Constraints: 35876 547.97/549.35 c #Conflicts: 349000 | #Constraints: 36876 547.97/549.35 c #Conflicts: 350000 | #Constraints: 37876 547.97/549.35 c #Conflicts: 351000 | #Constraints: 38876 547.97/549.35 c #Conflicts: 352000 | #Constraints: 39876 547.97/549.35 c #Conflicts: 353000 | #Constraints: 40876 547.97/549.35 c #Conflicts: 354000 | #Constraints: 41876 547.97/549.35 c #Conflicts: 355000 | #Constraints: 42876 547.97/549.35 c #Conflicts: 356000 | #Constraints: 43876 547.97/549.35 c #Conflicts: 357000 | #Constraints: 44876 547.97/549.35 c #Conflicts: 358000 | #Constraints: 45876 547.97/549.35 c #Conflicts: 359000 | #Constraints: 46876 547.97/549.35 c #Conflicts: 360000 | #Constraints: 47877 547.97/549.35 c #Conflicts: 361000 | #Constraints: 48877 547.97/549.35 c #Conflicts: 362000 | #Constraints: 49877 547.97/549.35 c #Conflicts: 363000 | #Constraints: 50877 547.97/549.35 c #Conflicts: 364000 | #Constraints: 51877 547.97/549.35 c #Conflicts: 365000 | #Constraints: 52877 547.97/549.35 c #Conflicts: 366000 | #Constraints: 53877 547.97/549.35 c #Conflicts: 367000 | #Constraints: 54877 547.97/549.35 c #Conflicts: 368000 | #Constraints: 55877 547.97/549.35 c #Conflicts: 369000 | #Constraints: 56878 547.97/549.35 c #Conflicts: 370000 | #Constraints: 57878 547.97/549.35 c #Conflicts: 371000 | #Constraints: 58878 547.97/549.35 c #Conflicts: 372000 | #Constraints: 59879 547.97/549.35 c #Conflicts: 373000 | #Constraints: 60879 547.97/549.35 c #Conflicts: 374000 | #Constraints: 61879 547.97/549.35 c #Conflicts: 375000 | #Constraints: 62879 547.97/549.35 c #Conflicts: 376000 | #Constraints: 63879 547.97/549.35 c #Conflicts: 377000 | #Constraints: 64879 547.97/549.35 c #Conflicts: 378000 | #Constraints: 65879 547.97/549.35 c #Conflicts: 379000 | #Constraints: 66879 547.97/549.35 c #Conflicts: 380000 | #Constraints: 67879 547.97/549.35 c INPROCESSING 547.97/549.35 c GARBAGE COLLECT 547.97/549.35 c rational objective 83 566.32/567.78 c #Conflicts: 381000 | #Constraints: 38100 566.32/567.78 c #Conflicts: 382000 | #Constraints: 39100 566.32/567.78 c #Conflicts: 383000 | #Constraints: 40100 566.32/567.78 c #Conflicts: 384000 | #Constraints: 41100 566.32/567.78 c #Conflicts: 385000 | #Constraints: 42100 566.32/567.78 c #Conflicts: 386000 | #Constraints: 43100 566.32/567.78 c #Conflicts: 387000 | #Constraints: 44100 566.32/567.78 c #Conflicts: 388000 | #Constraints: 45100 566.32/567.78 c #Conflicts: 389000 | #Constraints: 46101 566.32/567.78 c #Conflicts: 390000 | #Constraints: 47101 566.32/567.78 c #Conflicts: 391000 | #Constraints: 48101 566.32/567.78 c #Conflicts: 392000 | #Constraints: 49101 566.32/567.78 c #Conflicts: 393000 | #Constraints: 50101 566.32/567.78 c INPROCESSING 566.32/567.78 c GARBAGE COLLECT 566.32/567.78 c rational objective 83 582.59/584.01 c #Conflicts: 394000 | #Constraints: 28856 582.59/584.01 c #Conflicts: 395000 | #Constraints: 29856 582.59/584.01 c #Conflicts: 396000 | #Constraints: 30856 582.59/584.01 c #Conflicts: 397000 | #Constraints: 31856 582.59/584.01 c #Conflicts: 398000 | #Constraints: 32856 582.59/584.01 c #Conflicts: 399000 | #Constraints: 33856 582.59/584.01 c #Conflicts: 400000 | #Constraints: 34856 582.59/584.01 c #Conflicts: 401000 | #Constraints: 35856 582.59/584.01 c #Conflicts: 402000 | #Constraints: 36856 582.59/584.01 c #Conflicts: 403000 | #Constraints: 37858 582.59/584.01 c #Conflicts: 404000 | #Constraints: 38859 582.59/584.01 c #Conflicts: 405000 | #Constraints: 39859 582.59/584.01 c #Conflicts: 406000 | #Constraints: 40860 582.59/584.01 c #Conflicts: 407000 | #Constraints: 41860 582.59/584.01 c INPROCESSING 582.59/584.01 c GARBAGE COLLECT 582.59/584.01 c rational objective 83 598.56/600.06 c #Conflicts: 408000 | #Constraints: 24860 598.56/600.06 c #Conflicts: 409000 | #Constraints: 25860 598.56/600.06 c #Conflicts: 410000 | #Constraints: 26860 598.56/600.06 c #Conflicts: 411000 | #Constraints: 27860 598.56/600.06 c #Conflicts: 412000 | #Constraints: 28860 598.56/600.06 c #Conflicts: 413000 | #Constraints: 29860 598.56/600.06 c #Conflicts: 414000 | #Constraints: 30860 598.56/600.06 c #Conflicts: 415000 | #Constraints: 31860 598.56/600.06 c #Conflicts: 416000 | #Constraints: 32860 598.56/600.06 c #Conflicts: 417000 | #Constraints: 33860 598.56/600.06 c #Conflicts: 418000 | #Constraints: 34861 598.56/600.06 c #Conflicts: 419000 | #Constraints: 35861 598.56/600.06 c #Conflicts: 420000 | #Constraints: 36861 598.56/600.06 c #Conflicts: 421000 | #Constraints: 37861 598.56/600.06 c INPROCESSING 598.56/600.06 c GARBAGE COLLECT 598.56/600.06 c rational objective 83 625.10/626.66 c #Conflicts: 422000 | #Constraints: 22882 625.10/626.66 c #Conflicts: 423000 | #Constraints: 23882 625.10/626.66 c #Conflicts: 424000 | #Constraints: 24882 625.10/626.66 c #Conflicts: 425000 | #Constraints: 25882 625.10/626.66 c #Conflicts: 426000 | #Constraints: 26883 625.10/626.66 c #Conflicts: 427000 | #Constraints: 27883 625.10/626.66 c #Conflicts: 428000 | #Constraints: 28883 625.10/626.66 c #Conflicts: 429000 | #Constraints: 29883 625.10/626.66 c #Conflicts: 430000 | #Constraints: 30883 625.10/626.66 c #Conflicts: 431000 | #Constraints: 31883 625.10/626.66 c #Conflicts: 432000 | #Constraints: 32883 625.10/626.66 c #Conflicts: 433000 | #Constraints: 33883 625.10/626.66 c #Conflicts: 434000 | #Constraints: 34883 625.10/626.66 c #Conflicts: 435000 | #Constraints: 35883 625.10/626.66 c INPROCESSING 625.10/626.66 c GARBAGE COLLECT 625.10/626.66 c rational objective 83 730.35/732.18 c #Conflicts: 436000 | #Constraints: 21800 730.35/732.18 c #Conflicts: 437000 | #Constraints: 22800 730.35/732.18 c #Conflicts: 438000 | #Constraints: 23800 730.35/732.18 c #Conflicts: 439000 | #Constraints: 24801 730.35/732.18 c #Conflicts: 440000 | #Constraints: 25801 730.35/732.18 c #Conflicts: 441000 | #Constraints: 26801 730.35/732.18 c #Conflicts: 442000 | #Constraints: 27801 730.35/732.18 c #Conflicts: 443000 | #Constraints: 28801 730.35/732.18 c #Conflicts: 444000 | #Constraints: 29801 730.35/732.18 c #Conflicts: 445000 | #Constraints: 30802 730.35/732.18 c #Conflicts: 446000 | #Constraints: 31802 730.35/732.18 c #Conflicts: 447000 | #Constraints: 32803 730.35/732.18 c #Conflicts: 448000 | #Constraints: 33805 730.35/732.18 c #Conflicts: 449000 | #Constraints: 34805 730.35/732.18 c #Conflicts: 450000 | #Constraints: 35806 730.35/732.18 c #Conflicts: 451000 | #Constraints: 36806 730.35/732.18 c #Conflicts: 452000 | #Constraints: 37806 730.35/732.18 c #Conflicts: 453000 | #Constraints: 38806 730.35/732.18 c #Conflicts: 454000 | #Constraints: 39806 730.35/732.18 c #Conflicts: 455000 | #Constraints: 40806 730.35/732.18 c #Conflicts: 456000 | #Constraints: 41806 730.35/732.18 c #Conflicts: 457000 | #Constraints: 42806 730.35/732.18 c #Conflicts: 458000 | #Constraints: 43807 730.35/732.18 c #Conflicts: 459000 | #Constraints: 44807 730.35/732.18 c #Conflicts: 460000 | #Constraints: 45807 730.35/732.18 c #Conflicts: 461000 | #Constraints: 46807 730.35/732.18 c #Conflicts: 462000 | #Constraints: 47807 730.35/732.18 c #Conflicts: 463000 | #Constraints: 48807 730.35/732.18 c #Conflicts: 464000 | #Constraints: 49807 730.35/732.18 c #Conflicts: 465000 | #Constraints: 50807 730.35/732.18 c #Conflicts: 466000 | #Constraints: 51807 730.35/732.18 c #Conflicts: 467000 | #Constraints: 52807 730.35/732.18 c #Conflicts: 468000 | #Constraints: 53807 730.35/732.18 c #Conflicts: 469000 | #Constraints: 54807 730.35/732.18 c #Conflicts: 470000 | #Constraints: 55807 730.35/732.18 c #Conflicts: 471000 | #Constraints: 56807 730.35/732.18 c #Conflicts: 472000 | #Constraints: 57807 730.35/732.18 c #Conflicts: 473000 | #Constraints: 58807 730.35/732.18 c #Conflicts: 474000 | #Constraints: 59807 730.35/732.18 c #Conflicts: 475000 | #Constraints: 60807 730.35/732.18 c #Conflicts: 476000 | #Constraints: 61807 730.35/732.18 c #Conflicts: 477000 | #Constraints: 62807 730.35/732.18 c #Conflicts: 478000 | #Constraints: 63807 730.35/732.18 c #Conflicts: 479000 | #Constraints: 64807 730.35/732.18 c #Conflicts: 480000 | #Constraints: 65807 730.35/732.18 c #Conflicts: 481000 | #Constraints: 66808 730.35/732.18 c #Conflicts: 482000 | #Constraints: 67808 730.35/732.18 c #Conflicts: 483000 | #Constraints: 68808 730.35/732.18 c #Conflicts: 484000 | #Constraints: 69808 730.35/732.18 c #Conflicts: 485000 | #Constraints: 70808 730.35/732.18 c #Conflicts: 486000 | #Constraints: 71808 730.35/732.18 c #Conflicts: 487000 | #Constraints: 72808 730.35/732.18 c #Conflicts: 488000 | #Constraints: 73809 730.35/732.18 c #Conflicts: 489000 | #Constraints: 74809 730.35/732.18 c #Conflicts: 490000 | #Constraints: 75812 730.35/732.18 c INPROCESSING 730.35/732.18 c GARBAGE COLLECT 730.35/732.18 c rational objective 83 763.96/765.84 c #Conflicts: 491000 | #Constraints: 41788 763.96/765.84 c #Conflicts: 492000 | #Constraints: 42788 763.96/765.84 c #Conflicts: 493000 | #Constraints: 43788 763.96/765.84 c #Conflicts: 494000 | #Constraints: 44788 763.96/765.84 c #Conflicts: 495000 | #Constraints: 45788 763.96/765.84 c #Conflicts: 496000 | #Constraints: 46788 763.96/765.84 c #Conflicts: 497000 | #Constraints: 47788 763.96/765.84 c #Conflicts: 498000 | #Constraints: 48788 763.96/765.84 c #Conflicts: 499000 | #Constraints: 49788 763.96/765.84 c #Conflicts: 500000 | #Constraints: 50788 763.96/765.84 c #Conflicts: 501000 | #Constraints: 51788 763.96/765.84 c #Conflicts: 502000 | #Constraints: 52788 763.96/765.84 c #Conflicts: 503000 | #Constraints: 53789 763.96/765.84 c #Conflicts: 504000 | #Constraints: 54789 763.96/765.84 c #Conflicts: 505000 | #Constraints: 55789 763.96/765.84 c #Conflicts: 506000 | #Constraints: 56789 763.96/765.84 c INPROCESSING 763.96/765.84 c GARBAGE COLLECT 763.96/765.84 c rational objective 83 787.60/789.54 c #Conflicts: 507000 | #Constraints: 32579 787.60/789.54 c #Conflicts: 508000 | #Constraints: 33579 787.60/789.54 c #Conflicts: 509000 | #Constraints: 34579 787.60/789.54 c #Conflicts: 510000 | #Constraints: 35579 787.60/789.54 c #Conflicts: 511000 | #Constraints: 36579 787.60/789.54 c #Conflicts: 512000 | #Constraints: 37579 787.60/789.54 c #Conflicts: 513000 | #Constraints: 38579 787.60/789.54 c #Conflicts: 514000 | #Constraints: 39579 787.60/789.54 c #Conflicts: 515000 | #Constraints: 40579 787.60/789.54 c #Conflicts: 516000 | #Constraints: 41579 787.60/789.54 c #Conflicts: 517000 | #Constraints: 42579 787.60/789.54 c #Conflicts: 518000 | #Constraints: 43579 787.60/789.54 c #Conflicts: 519000 | #Constraints: 44579 787.60/789.54 c #Conflicts: 520000 | #Constraints: 45579 787.60/789.54 c #Conflicts: 521000 | #Constraints: 46579 787.60/789.54 c INPROCESSING 787.60/789.54 c GARBAGE COLLECT 787.60/789.54 c rational objective 83 807.96/809.94 c #Conflicts: 522000 | #Constraints: 27137 807.96/809.94 c #Conflicts: 523000 | #Constraints: 28137 807.96/809.94 c #Conflicts: 524000 | #Constraints: 29137 807.96/809.94 c #Conflicts: 525000 | #Constraints: 30137 807.96/809.94 c #Conflicts: 526000 | #Constraints: 31137 807.96/809.94 c #Conflicts: 527000 | #Constraints: 32137 807.96/809.94 c #Conflicts: 528000 | #Constraints: 33137 807.96/809.94 c #Conflicts: 529000 | #Constraints: 34137 807.96/809.94 c #Conflicts: 530000 | #Constraints: 35137 807.96/809.94 c #Conflicts: 531000 | #Constraints: 36137 807.96/809.94 c #Conflicts: 532000 | #Constraints: 37137 807.96/809.94 c #Conflicts: 533000 | #Constraints: 38137 807.96/809.94 c #Conflicts: 534000 | #Constraints: 39139 807.96/809.94 c #Conflicts: 535000 | #Constraints: 40139 807.96/809.94 c #Conflicts: 536000 | #Constraints: 41139 807.96/809.94 c #Conflicts: 537000 | #Constraints: 42139 807.96/809.94 c INPROCESSING 807.96/809.94 c GARBAGE COLLECT 807.96/809.94 c rational objective 83 823.73/825.74 c #Conflicts: 538000 | #Constraints: 24972 823.73/825.74 c #Conflicts: 539000 | #Constraints: 25973 823.73/825.74 c #Conflicts: 540000 | #Constraints: 26973 823.73/825.74 c #Conflicts: 541000 | #Constraints: 27973 823.73/825.74 c #Conflicts: 542000 | #Constraints: 28973 823.73/825.74 c #Conflicts: 543000 | #Constraints: 29973 823.73/825.74 c #Conflicts: 544000 | #Constraints: 30973 823.73/825.74 c #Conflicts: 545000 | #Constraints: 31973 823.73/825.74 c #Conflicts: 546000 | #Constraints: 32973 823.73/825.74 c #Conflicts: 547000 | #Constraints: 33973 823.73/825.74 c #Conflicts: 548000 | #Constraints: 34973 823.73/825.74 c #Conflicts: 549000 | #Constraints: 35973 823.73/825.74 c #Conflicts: 550000 | #Constraints: 36973 823.73/825.74 c #Conflicts: 551000 | #Constraints: 37973 823.73/825.74 c #Conflicts: 552000 | #Constraints: 38973 823.73/825.74 c #Conflicts: 553000 | #Constraints: 39973 823.73/825.74 c INPROCESSING 823.73/825.74 c GARBAGE COLLECT 823.73/825.74 c rational objective 83 934.65/936.99 c #Conflicts: 554000 | #Constraints: 23813 934.65/936.99 c #Conflicts: 555000 | #Constraints: 24813 934.65/936.99 c #Conflicts: 556000 | #Constraints: 25813 934.65/936.99 c #Conflicts: 557000 | #Constraints: 26813 934.65/936.99 c #Conflicts: 558000 | #Constraints: 27813 934.65/936.99 c #Conflicts: 559000 | #Constraints: 28813 934.65/936.99 c #Conflicts: 560000 | #Constraints: 29813 934.65/936.99 c #Conflicts: 561000 | #Constraints: 30813 934.65/936.99 c #Conflicts: 562000 | #Constraints: 31813 934.65/936.99 c #Conflicts: 563000 | #Constraints: 32813 934.65/936.99 c #Conflicts: 564000 | #Constraints: 33813 934.65/936.99 c #Conflicts: 565000 | #Constraints: 34813 934.65/936.99 c #Conflicts: 566000 | #Constraints: 35813 934.65/936.99 c #Conflicts: 567000 | #Constraints: 36813 934.65/936.99 c #Conflicts: 568000 | #Constraints: 37813 934.65/936.99 c #Conflicts: 569000 | #Constraints: 38813 934.65/936.99 c #Conflicts: 570000 | #Constraints: 39813 934.65/936.99 c #Conflicts: 571000 | #Constraints: 40814 934.65/936.99 c #Conflicts: 572000 | #Constraints: 41814 934.65/936.99 c #Conflicts: 573000 | #Constraints: 42814 934.65/936.99 c #Conflicts: 574000 | #Constraints: 43814 934.65/936.99 c #Conflicts: 575000 | #Constraints: 44814 934.65/936.99 c #Conflicts: 576000 | #Constraints: 45814 934.65/936.99 c #Conflicts: 577000 | #Constraints: 46814 934.65/936.99 c #Conflicts: 578000 | #Constraints: 47814 934.65/936.99 c #Conflicts: 579000 | #Constraints: 48814 934.65/936.99 c #Conflicts: 580000 | #Constraints: 49814 934.65/936.99 c #Conflicts: 581000 | #Constraints: 50814 934.65/936.99 c #Conflicts: 582000 | #Constraints: 51814 934.65/936.99 c #Conflicts: 583000 | #Constraints: 52814 934.65/936.99 c #Conflicts: 584000 | #Constraints: 53814 934.65/936.99 c #Conflicts: 585000 | #Constraints: 54814 934.65/936.99 c #Conflicts: 586000 | #Constraints: 55814 934.65/936.99 c #Conflicts: 587000 | #Constraints: 56814 934.65/936.99 c #Conflicts: 588000 | #Constraints: 57814 934.65/936.99 c #Conflicts: 589000 | #Constraints: 58814 934.65/936.99 c #Conflicts: 590000 | #Constraints: 59815 934.65/936.99 c #Conflicts: 591000 | #Constraints: 60815 934.65/936.99 c #Conflicts: 592000 | #Constraints: 61815 934.65/936.99 c #Conflicts: 593000 | #Constraints: 62815 934.65/936.99 c #Conflicts: 594000 | #Constraints: 63815 934.65/936.99 c #Conflicts: 595000 | #Constraints: 64816 934.65/936.99 c #Conflicts: 596000 | #Constraints: 65817 934.65/936.99 c #Conflicts: 597000 | #Constraints: 66817 934.65/936.99 c #Conflicts: 598000 | #Constraints: 67817 934.65/936.99 c #Conflicts: 599000 | #Constraints: 68817 934.65/936.99 c #Conflicts: 600000 | #Constraints: 69817 934.65/936.99 c #Conflicts: 601000 | #Constraints: 70817 934.65/936.99 c #Conflicts: 602000 | #Constraints: 71817 934.65/936.99 c #Conflicts: 603000 | #Constraints: 72817 934.65/936.99 c #Conflicts: 604000 | #Constraints: 73817 934.65/936.99 c #Conflicts: 605000 | #Constraints: 74817 934.65/936.99 c #Conflicts: 606000 | #Constraints: 75817 934.65/936.99 c #Conflicts: 607000 | #Constraints: 76817 934.65/936.99 c #Conflicts: 608000 | #Constraints: 77817 934.65/936.99 c #Conflicts: 609000 | #Constraints: 78817 934.65/936.99 c #Conflicts: 610000 | #Constraints: 79817 934.65/936.99 c #Conflicts: 611000 | #Constraints: 80817 934.65/936.99 c #Conflicts: 612000 | #Constraints: 81817 934.65/936.99 c #Conflicts: 613000 | #Constraints: 82817 934.65/936.99 c #Conflicts: 614000 | #Constraints: 83817 934.65/936.99 c #Conflicts: 615000 | #Constraints: 84817 934.65/936.99 c INPROCESSING 934.65/936.99 c GARBAGE COLLECT 934.65/936.99 c rational objective 83 966.68/969.02 c #Conflicts: 616000 | #Constraints: 46686 966.68/969.02 c #Conflicts: 617000 | #Constraints: 47686 966.68/969.02 c #Conflicts: 618000 | #Constraints: 48686 966.68/969.02 c #Conflicts: 619000 | #Constraints: 49687 966.68/969.02 c #Conflicts: 620000 | #Constraints: 50687 966.68/969.02 c #Conflicts: 621000 | #Constraints: 51687 966.68/969.02 c #Conflicts: 622000 | #Constraints: 52687 966.68/969.02 c #Conflicts: 623000 | #Constraints: 53687 966.68/969.02 c #Conflicts: 624000 | #Constraints: 54687 966.68/969.02 c #Conflicts: 625000 | #Constraints: 55687 966.68/969.02 c #Conflicts: 626000 | #Constraints: 56687 966.68/969.02 c #Conflicts: 627000 | #Constraints: 57687 966.68/969.02 c #Conflicts: 628000 | #Constraints: 58687 966.68/969.02 c #Conflicts: 629000 | #Constraints: 59687 966.68/969.02 c #Conflicts: 630000 | #Constraints: 60687 966.68/969.02 c #Conflicts: 631000 | #Constraints: 61687 966.68/969.02 c #Conflicts: 632000 | #Constraints: 62687 966.68/969.02 c INPROCESSING 966.68/969.02 c GARBAGE COLLECT 966.68/969.02 c rational objective 83 995.62/998.09 c #Conflicts: 633000 | #Constraints: 35301 995.62/998.09 c #Conflicts: 634000 | #Constraints: 36301 995.62/998.09 c #Conflicts: 635000 | #Constraints: 37301 995.62/998.09 c #Conflicts: 636000 | #Constraints: 38301 995.62/998.09 c #Conflicts: 637000 | #Constraints: 39301 995.62/998.09 c #Conflicts: 638000 | #Constraints: 40301 995.62/998.09 c #Conflicts: 639000 | #Constraints: 41301 995.62/998.09 c #Conflicts: 640000 | #Constraints: 42301 995.62/998.09 c #Conflicts: 641000 | #Constraints: 43301 995.62/998.09 c #Conflicts: 642000 | #Constraints: 44301 995.62/998.09 c #Conflicts: 643000 | #Constraints: 45302 995.62/998.09 c #Conflicts: 644000 | #Constraints: 46302 995.62/998.09 c #Conflicts: 645000 | #Constraints: 47303 995.62/998.09 c #Conflicts: 646000 | #Constraints: 48303 995.62/998.09 c #Conflicts: 647000 | #Constraints: 49303 995.62/998.09 c #Conflicts: 648000 | #Constraints: 50303 995.62/998.09 c #Conflicts: 649000 | #Constraints: 51303 995.62/998.09 c #Conflicts: 650000 | #Constraints: 52303 995.62/998.09 c INPROCESSING 995.62/998.09 c GARBAGE COLLECT 995.62/998.09 c rational objective 83 1020.56/1023.10 c #Conflicts: 651000 | #Constraints: 30356 1020.56/1023.10 c #Conflicts: 652000 | #Constraints: 31356 1020.56/1023.10 c #Conflicts: 653000 | #Constraints: 32356 1020.56/1023.10 c #Conflicts: 654000 | #Constraints: 33356 1020.56/1023.10 c #Conflicts: 655000 | #Constraints: 34356 1020.56/1023.10 c #Conflicts: 656000 | #Constraints: 35356 1020.56/1023.10 c #Conflicts: 657000 | #Constraints: 36356 1020.56/1023.10 c #Conflicts: 658000 | #Constraints: 37356 1020.56/1023.10 c #Conflicts: 659000 | #Constraints: 38356 1020.56/1023.10 c #Conflicts: 660000 | #Constraints: 39356 1020.56/1023.10 c #Conflicts: 661000 | #Constraints: 40356 1020.56/1023.10 c #Conflicts: 662000 | #Constraints: 41356 1020.56/1023.10 c #Conflicts: 663000 | #Constraints: 42356 1020.56/1023.10 c #Conflicts: 664000 | #Constraints: 43356 1020.56/1023.10 c #Conflicts: 665000 | #Constraints: 44356 1020.56/1023.10 c #Conflicts: 666000 | #Constraints: 45356 1020.56/1023.10 c #Conflicts: 667000 | #Constraints: 46356 1020.56/1023.10 c INPROCESSING 1020.56/1023.10 c GARBAGE COLLECT 1020.56/1023.10 c rational objective 83 1052.47/1055.02 c #Conflicts: 668000 | #Constraints: 27009 1052.47/1055.02 c #Conflicts: 669000 | #Constraints: 28009 1052.47/1055.02 c #Conflicts: 670000 | #Constraints: 29009 1052.47/1055.02 c #Conflicts: 671000 | #Constraints: 30009 1052.47/1055.02 c #Conflicts: 672000 | #Constraints: 31009 1052.47/1055.02 c #Conflicts: 673000 | #Constraints: 32009 1052.47/1055.02 c #Conflicts: 674000 | #Constraints: 33009 1052.47/1055.02 c #Conflicts: 675000 | #Constraints: 34010 1052.47/1055.02 c #Conflicts: 676000 | #Constraints: 35010 1052.47/1055.02 c #Conflicts: 677000 | #Constraints: 36010 1052.47/1055.02 c #Conflicts: 678000 | #Constraints: 37010 1052.47/1055.02 c #Conflicts: 679000 | #Constraints: 38010 1052.47/1055.02 c #Conflicts: 680000 | #Constraints: 39010 1052.47/1055.02 c #Conflicts: 681000 | #Constraints: 40010 1052.47/1055.02 c #Conflicts: 682000 | #Constraints: 41010 1052.47/1055.02 c #Conflicts: 683000 | #Constraints: 42010 1052.47/1055.02 c #Conflicts: 684000 | #Constraints: 43010 1052.47/1055.02 c #Conflicts: 685000 | #Constraints: 44010 1052.47/1055.02 c INPROCESSING 1052.47/1055.02 c GARBAGE COLLECT 1052.47/1055.02 c rational objective 83 1205.40/1208.38 c #Conflicts: 686000 | #Constraints: 25770 1205.40/1208.38 c #Conflicts: 687000 | #Constraints: 26770 1205.40/1208.38 c #Conflicts: 688000 | #Constraints: 27770 1205.40/1208.38 c #Conflicts: 689000 | #Constraints: 28770 1205.40/1208.38 c #Conflicts: 690000 | #Constraints: 29770 1205.40/1208.38 c #Conflicts: 691000 | #Constraints: 30771 1205.40/1208.38 c #Conflicts: 692000 | #Constraints: 31771 1205.40/1208.38 c #Conflicts: 693000 | #Constraints: 32771 1205.40/1208.38 c #Conflicts: 694000 | #Constraints: 33771 1205.40/1208.38 c #Conflicts: 695000 | #Constraints: 34771 1205.40/1208.38 c #Conflicts: 696000 | #Constraints: 35771 1205.40/1208.38 c #Conflicts: 697000 | #Constraints: 36771 1205.40/1208.38 c #Conflicts: 698000 | #Constraints: 37771 1205.40/1208.38 c #Conflicts: 699000 | #Constraints: 38771 1205.40/1208.38 c #Conflicts: 700000 | #Constraints: 39771 1205.40/1208.38 c #Conflicts: 701000 | #Constraints: 40771 1205.40/1208.38 c #Conflicts: 702000 | #Constraints: 41771 1205.40/1208.38 c #Conflicts: 703000 | #Constraints: 42771 1205.40/1208.38 c #Conflicts: 704000 | #Constraints: 43771 1205.40/1208.38 c #Conflicts: 705000 | #Constraints: 44771 1205.40/1208.38 c #Conflicts: 706000 | #Constraints: 45772 1205.40/1208.38 c #Conflicts: 707000 | #Constraints: 46772 1205.40/1208.38 c #Conflicts: 708000 | #Constraints: 47772 1205.40/1208.38 c #Conflicts: 709000 | #Constraints: 48772 1205.40/1208.38 c #Conflicts: 710000 | #Constraints: 49772 1205.40/1208.38 c #Conflicts: 711000 | #Constraints: 50772 1205.40/1208.38 c #Conflicts: 712000 | #Constraints: 51772 1205.40/1208.38 c #Conflicts: 713000 | #Constraints: 52772 1205.40/1208.38 c #Conflicts: 714000 | #Constraints: 53772 1205.40/1208.38 c #Conflicts: 715000 | #Constraints: 54772 1205.40/1208.38 c #Conflicts: 716000 | #Constraints: 55772 1205.40/1208.38 c #Conflicts: 717000 | #Constraints: 56773 1205.40/1208.38 c #Conflicts: 718000 | #Constraints: 57773 1205.40/1208.38 c #Conflicts: 719000 | #Constraints: 58773 1205.40/1208.38 c #Conflicts: 720000 | #Constraints: 59773 1205.40/1208.38 c #Conflicts: 721000 | #Constraints: 60773 1205.40/1208.38 c #Conflicts: 722000 | #Constraints: 61773 1205.40/1208.38 c #Conflicts: 723000 | #Constraints: 62773 1205.40/1208.38 c #Conflicts: 724000 | #Constraints: 63773 1205.40/1208.38 c #Conflicts: 725000 | #Constraints: 64773 1205.40/1208.39 c #Conflicts: 726000 | #Constraints: 65773 1205.40/1208.39 c #Conflicts: 727000 | #Constraints: 66773 1205.40/1208.39 c #Conflicts: 728000 | #Constraints: 67773 1205.40/1208.39 c #Conflicts: 729000 | #Constraints: 68773 1205.40/1208.39 c #Conflicts: 730000 | #Constraints: 69773 1205.40/1208.39 c #Conflicts: 731000 | #Constraints: 70773 1205.40/1208.39 c #Conflicts: 732000 | #Constraints: 71773 1205.40/1208.39 c #Conflicts: 733000 | #Constraints: 72774 1205.40/1208.39 c #Conflicts: 734000 | #Constraints: 73774 1205.40/1208.39 c #Conflicts: 735000 | #Constraints: 74774 1205.40/1208.39 c #Conflicts: 736000 | #Constraints: 75774 1205.40/1208.39 c #Conflicts: 737000 | #Constraints: 76775 1205.40/1208.39 c #Conflicts: 738000 | #Constraints: 77776 1205.40/1208.39 c #Conflicts: 739000 | #Constraints: 78777 1205.40/1208.39 c #Conflicts: 740000 | #Constraints: 79777 1205.40/1208.39 c #Conflicts: 741000 | #Constraints: 80777 1205.40/1208.39 c #Conflicts: 742000 | #Constraints: 81777 1205.40/1208.39 c #Conflicts: 743000 | #Constraints: 82777 1205.40/1208.39 c #Conflicts: 744000 | #Constraints: 83777 1205.40/1208.39 c #Conflicts: 745000 | #Constraints: 84777 1205.40/1208.39 c #Conflicts: 746000 | #Constraints: 85778 1205.40/1208.39 c #Conflicts: 747000 | #Constraints: 86778 1205.40/1208.39 c #Conflicts: 748000 | #Constraints: 87778 1205.40/1208.39 c #Conflicts: 749000 | #Constraints: 88778 1205.40/1208.39 c #Conflicts: 750000 | #Constraints: 89778 1205.40/1208.39 c #Conflicts: 751000 | #Constraints: 90778 1205.40/1208.39 c #Conflicts: 752000 | #Constraints: 91779 1205.40/1208.39 c #Conflicts: 753000 | #Constraints: 92779 1205.40/1208.39 c INPROCESSING 1205.40/1208.39 c GARBAGE COLLECT 1205.40/1208.39 c rational objective 83 1249.89/1252.99 c #Conflicts: 754000 | #Constraints: 50354 1249.89/1252.99 c #Conflicts: 755000 | #Constraints: 51354 1249.89/1252.99 c #Conflicts: 756000 | #Constraints: 52354 1249.89/1252.99 c #Conflicts: 757000 | #Constraints: 53354 1249.89/1252.99 c #Conflicts: 758000 | #Constraints: 54354 1249.89/1252.99 c #Conflicts: 759000 | #Constraints: 55354 1249.89/1252.99 c #Conflicts: 760000 | #Constraints: 56354 1249.89/1252.99 c #Conflicts: 761000 | #Constraints: 57354 1249.89/1252.99 c #Conflicts: 762000 | #Constraints: 58354 1249.89/1252.99 c #Conflicts: 763000 | #Constraints: 59354 1249.89/1252.99 c #Conflicts: 764000 | #Constraints: 60354 1249.89/1252.99 c #Conflicts: 765000 | #Constraints: 61354 1249.89/1252.99 c #Conflicts: 766000 | #Constraints: 62354 1249.89/1252.99 c #Conflicts: 767000 | #Constraints: 63354 1249.89/1252.99 c #Conflicts: 768000 | #Constraints: 64354 1249.89/1252.99 c #Conflicts: 769000 | #Constraints: 65355 1249.89/1252.99 c #Conflicts: 770000 | #Constraints: 66355 1249.89/1252.99 c #Conflicts: 771000 | #Constraints: 67355 1249.89/1252.99 c #Conflicts: 772000 | #Constraints: 68355 1249.89/1252.99 c INPROCESSING 1249.89/1252.99 c GARBAGE COLLECT 1249.89/1252.99 c rational objective 83 1285.80/1288.92 c #Conflicts: 773000 | #Constraints: 37982 1285.80/1288.92 c #Conflicts: 774000 | #Constraints: 38982 1285.80/1288.92 c #Conflicts: 775000 | #Constraints: 39982 1285.80/1288.92 c #Conflicts: 776000 | #Constraints: 40983 1285.80/1288.92 c #Conflicts: 777000 | #Constraints: 41983 1285.80/1288.92 c #Conflicts: 778000 | #Constraints: 42984 1285.80/1288.92 c #Conflicts: 779000 | #Constraints: 43985 1285.80/1288.92 c #Conflicts: 780000 | #Constraints: 44985 1285.80/1288.92 c #Conflicts: 781000 | #Constraints: 45985 1285.80/1288.92 c #Conflicts: 782000 | #Constraints: 46985 1285.80/1288.92 c #Conflicts: 783000 | #Constraints: 47985 1285.80/1288.92 c #Conflicts: 784000 | #Constraints: 48986 1285.80/1288.92 c #Conflicts: 785000 | #Constraints: 49987 1285.80/1288.92 c #Conflicts: 786000 | #Constraints: 50987 1285.80/1288.92 c #Conflicts: 787000 | #Constraints: 51988 1285.80/1288.92 c #Conflicts: 788000 | #Constraints: 52988 1285.80/1288.92 c #Conflicts: 789000 | #Constraints: 53989 1285.80/1288.92 c #Conflicts: 790000 | #Constraints: 54989 1285.80/1288.92 c #Conflicts: 791000 | #Constraints: 55989 1285.80/1288.92 c #Conflicts: 792000 | #Constraints: 56989 1285.80/1288.92 c INPROCESSING 1285.80/1288.92 c GARBAGE COLLECT 1285.80/1288.92 c rational objective 83 1314.04/1317.20 c #Conflicts: 793000 | #Constraints: 32564 1314.04/1317.20 c #Conflicts: 794000 | #Constraints: 33564 1314.04/1317.20 c #Conflicts: 795000 | #Constraints: 34564 1314.04/1317.20 c #Conflicts: 796000 | #Constraints: 35564 1314.04/1317.20 c #Conflicts: 797000 | #Constraints: 36564 1314.04/1317.20 c #Conflicts: 798000 | #Constraints: 37564 1314.04/1317.20 c #Conflicts: 799000 | #Constraints: 38565 1314.04/1317.20 c #Conflicts: 800000 | #Constraints: 39565 1314.04/1317.20 c #Conflicts: 801000 | #Constraints: 40565 1314.04/1317.20 c #Conflicts: 802000 | #Constraints: 41565 1314.04/1317.20 c #Conflicts: 803000 | #Constraints: 42565 1314.04/1317.20 c #Conflicts: 804000 | #Constraints: 43565 1314.04/1317.20 c #Conflicts: 805000 | #Constraints: 44565 1314.04/1317.20 c #Conflicts: 806000 | #Constraints: 45565 1314.04/1317.20 c #Conflicts: 807000 | #Constraints: 46565 1314.04/1317.20 c #Conflicts: 808000 | #Constraints: 47565 1314.04/1317.20 c #Conflicts: 809000 | #Constraints: 48565 1314.04/1317.20 c #Conflicts: 810000 | #Constraints: 49565 1314.04/1317.20 c #Conflicts: 811000 | #Constraints: 50565 1314.04/1317.20 c #Conflicts: 812000 | #Constraints: 51565 1314.04/1317.20 c INPROCESSING 1314.04/1317.20 c GARBAGE COLLECT 1314.04/1317.20 c rational objective 83 1348.36/1351.67 c #Conflicts: 813000 | #Constraints: 29951 1348.36/1351.67 c #Conflicts: 814000 | #Constraints: 30951 1348.36/1351.67 c #Conflicts: 815000 | #Constraints: 31951 1348.36/1351.67 c #Conflicts: 816000 | #Constraints: 32951 1348.36/1351.67 c #Conflicts: 817000 | #Constraints: 33951 1348.36/1351.67 c #Conflicts: 818000 | #Constraints: 34951 1348.36/1351.67 c #Conflicts: 819000 | #Constraints: 35951 1348.36/1351.67 c #Conflicts: 820000 | #Constraints: 36951 1348.36/1351.67 c #Conflicts: 821000 | #Constraints: 37952 1348.36/1351.67 c #Conflicts: 822000 | #Constraints: 38952 1348.36/1351.67 c #Conflicts: 823000 | #Constraints: 39952 1348.36/1351.67 c #Conflicts: 824000 | #Constraints: 40952 1348.36/1351.67 c #Conflicts: 825000 | #Constraints: 41952 1348.36/1351.67 c #Conflicts: 826000 | #Constraints: 42952 1348.36/1351.67 c #Conflicts: 827000 | #Constraints: 43952 1348.36/1351.67 c #Conflicts: 828000 | #Constraints: 44952 1348.36/1351.67 c #Conflicts: 829000 | #Constraints: 45952 1348.36/1351.67 c #Conflicts: 830000 | #Constraints: 46952 1348.36/1351.67 c #Conflicts: 831000 | #Constraints: 47952 1348.36/1351.67 c INPROCESSING 1348.36/1351.67 c GARBAGE COLLECT 1348.36/1351.67 c rational objective 83 1562.42/1566.20 c #Conflicts: 832000 | #Constraints: 27787 1562.42/1566.20 c #Conflicts: 833000 | #Constraints: 28788 1562.42/1566.20 c #Conflicts: 834000 | #Constraints: 29788 1562.42/1566.20 c #Conflicts: 835000 | #Constraints: 30790 1562.42/1566.20 c #Conflicts: 836000 | #Constraints: 31792 1562.42/1566.20 c #Conflicts: 837000 | #Constraints: 32794 1562.42/1566.20 c #Conflicts: 838000 | #Constraints: 33795 1562.42/1566.20 c #Conflicts: 839000 | #Constraints: 34795 1562.42/1566.20 c #Conflicts: 840000 | #Constraints: 35795 1562.42/1566.20 c #Conflicts: 841000 | #Constraints: 36796 1562.42/1566.20 c #Conflicts: 842000 | #Constraints: 37796 1562.42/1566.20 c #Conflicts: 843000 | #Constraints: 38797 1562.42/1566.20 c #Conflicts: 844000 | #Constraints: 39797 1562.42/1566.20 c #Conflicts: 845000 | #Constraints: 40797 1562.42/1566.20 c #Conflicts: 846000 | #Constraints: 41797 1562.42/1566.20 c #Conflicts: 847000 | #Constraints: 42797 1562.42/1566.20 c #Conflicts: 848000 | #Constraints: 43797 1562.42/1566.20 c #Conflicts: 849000 | #Constraints: 44797 1562.42/1566.20 c #Conflicts: 850000 | #Constraints: 45797 1562.42/1566.20 c #Conflicts: 851000 | #Constraints: 46797 1562.42/1566.20 c #Conflicts: 852000 | #Constraints: 47797 1562.42/1566.20 c #Conflicts: 853000 | #Constraints: 48797 1562.42/1566.20 c #Conflicts: 854000 | #Constraints: 49798 1562.42/1566.20 c #Conflicts: 855000 | #Constraints: 50798 1562.42/1566.20 c #Conflicts: 856000 | #Constraints: 51798 1562.42/1566.20 c #Conflicts: 857000 | #Constraints: 52798 1562.42/1566.20 c #Conflicts: 858000 | #Constraints: 53798 1562.42/1566.20 c #Conflicts: 859000 | #Constraints: 54798 1562.42/1566.20 c #Conflicts: 860000 | #Constraints: 55798 1562.42/1566.20 c #Conflicts: 861000 | #Constraints: 56798 1562.42/1566.20 c #Conflicts: 862000 | #Constraints: 57798 1562.42/1566.20 c #Conflicts: 863000 | #Constraints: 58798 1562.42/1566.20 c #Conflicts: 864000 | #Constraints: 59798 1562.42/1566.20 c #Conflicts: 865000 | #Constraints: 60798 1562.42/1566.20 c #Conflicts: 866000 | #Constraints: 61798 1562.42/1566.20 c #Conflicts: 867000 | #Constraints: 62798 1562.42/1566.20 c #Conflicts: 868000 | #Constraints: 63798 1562.42/1566.20 c #Conflicts: 869000 | #Constraints: 64798 1562.42/1566.20 c #Conflicts: 870000 | #Constraints: 65798 1562.42/1566.20 c #Conflicts: 871000 | #Constraints: 66798 1562.42/1566.20 c #Conflicts: 872000 | #Constraints: 67798 1562.42/1566.20 c #Conflicts: 873000 | #Constraints: 68798 1562.42/1566.20 c #Conflicts: 874000 | #Constraints: 69798 1562.42/1566.20 c #Conflicts: 875000 | #Constraints: 70799 1562.42/1566.20 c #Conflicts: 876000 | #Constraints: 71799 1562.42/1566.20 c #Conflicts: 877000 | #Constraints: 72799 1562.42/1566.20 c #Conflicts: 878000 | #Constraints: 73799 1562.42/1566.20 c #Conflicts: 879000 | #Constraints: 74799 1562.42/1566.20 c #Conflicts: 880000 | #Constraints: 75799 1562.42/1566.20 c #Conflicts: 881000 | #Constraints: 76799 1562.42/1566.20 c #Conflicts: 882000 | #Constraints: 77799 1562.42/1566.20 c #Conflicts: 883000 | #Constraints: 78799 1562.42/1566.20 c #Conflicts: 884000 | #Constraints: 79799 1562.42/1566.20 c #Conflicts: 885000 | #Constraints: 80799 1562.42/1566.20 c #Conflicts: 886000 | #Constraints: 81799 1562.42/1566.20 c #Conflicts: 887000 | #Constraints: 82799 1562.42/1566.20 c #Conflicts: 888000 | #Constraints: 83799 1562.42/1566.20 c #Conflicts: 889000 | #Constraints: 84799 1562.42/1566.20 c #Conflicts: 890000 | #Constraints: 85799 1562.42/1566.20 c #Conflicts: 891000 | #Constraints: 86799 1562.42/1566.20 c #Conflicts: 892000 | #Constraints: 87799 1562.42/1566.20 c #Conflicts: 893000 | #Constraints: 88799 1562.42/1566.20 c #Conflicts: 894000 | #Constraints: 89799 1562.42/1566.20 c #Conflicts: 895000 | #Constraints: 90799 1562.42/1566.20 c #Conflicts: 896000 | #Constraints: 91799 1562.42/1566.20 c #Conflicts: 897000 | #Constraints: 92799 1562.42/1566.20 c #Conflicts: 898000 | #Constraints: 93799 1562.42/1566.20 c #Conflicts: 899000 | #Constraints: 94799 1562.42/1566.20 c #Conflicts: 900000 | #Constraints: 95799 1562.42/1566.20 c #Conflicts: 901000 | #Constraints: 96799 1562.42/1566.20 c #Conflicts: 902000 | #Constraints: 97799 1562.42/1566.20 c #Conflicts: 903000 | #Constraints: 98799 1562.42/1566.20 c #Conflicts: 904000 | #Constraints: 99799 1562.42/1566.20 c #Conflicts: 905000 | #Constraints: 100799 1562.42/1566.20 c #Conflicts: 906000 | #Constraints: 101799 1562.42/1566.20 c INPROCESSING 1562.42/1566.20 c GARBAGE COLLECT 1562.42/1566.20 c rational objective 83 1660.39/1664.44 c #Conflicts: 907000 | #Constraints: 55147 1660.39/1664.44 c #Conflicts: 908000 | #Constraints: 56147 1660.39/1664.44 c #Conflicts: 909000 | #Constraints: 57147 1660.39/1664.44 c #Conflicts: 910000 | #Constraints: 58147 1660.39/1664.44 c #Conflicts: 911000 | #Constraints: 59147 1660.39/1664.44 c #Conflicts: 912000 | #Constraints: 60147 1660.39/1664.44 c #Conflicts: 913000 | #Constraints: 61147 1660.39/1664.44 c #Conflicts: 914000 | #Constraints: 62147 1660.39/1664.44 c #Conflicts: 915000 | #Constraints: 63147 1660.39/1664.44 c #Conflicts: 916000 | #Constraints: 64147 1660.39/1664.44 c #Conflicts: 917000 | #Constraints: 65147 1660.39/1664.44 c #Conflicts: 918000 | #Constraints: 66148 1660.39/1664.44 c #Conflicts: 919000 | #Constraints: 67148 1660.39/1664.44 c #Conflicts: 920000 | #Constraints: 68148 1660.39/1664.44 c #Conflicts: 921000 | #Constraints: 69148 1660.39/1664.44 c #Conflicts: 922000 | #Constraints: 70148 1660.39/1664.44 c #Conflicts: 923000 | #Constraints: 71148 1660.39/1664.44 c #Conflicts: 924000 | #Constraints: 72149 1660.39/1664.44 c #Conflicts: 925000 | #Constraints: 73149 1660.39/1664.44 c #Conflicts: 926000 | #Constraints: 74149 1660.39/1664.44 c #Conflicts: 927000 | #Constraints: 75149 1660.39/1664.44 c INPROCESSING 1660.39/1664.44 c GARBAGE COLLECT 1660.39/1664.44 c #Conflicts: 928000 | #Constraints: 41715 1660.39/1664.44 c #Conflicts: 929000 | #Constraints: 42715 1660.39/1664.44 c #Conflicts: 930000 | #Constraints: 43715 1660.39/1664.44 c #Conflicts: 931000 | #Constraints: 44715 1660.39/1664.44 c #Conflicts: 932000 | #Constraints: 45715 1660.39/1664.44 c #Conflicts: 933000 | #Constraints: 46715 1660.39/1664.44 c #Conflicts: 934000 | #Constraints: 47715 1660.39/1664.44 c #Conflicts: 935000 | #Constraints: 48715 1660.39/1664.44 c #Conflicts: 936000 | #Constraints: 49715 1660.39/1664.44 c #Conflicts: 937000 | #Constraints: 50715 1660.39/1664.44 c #Conflicts: 938000 | #Constraints: 51715 1660.39/1664.44 c #Conflicts: 939000 | #Constraints: 52715 1660.39/1664.44 c #Conflicts: 940000 | #Constraints: 53715 1660.39/1664.44 c #Conflicts: 941000 | #Constraints: 54715 1660.39/1664.44 c #Conflicts: 942000 | #Constraints: 55715 1660.39/1664.44 c #Conflicts: 943000 | #Constraints: 56715 1660.39/1664.44 c #Conflicts: 944000 | #Constraints: 57715 1660.39/1664.44 c #Conflicts: 945000 | #Constraints: 58715 1660.39/1664.44 c #Conflicts: 946000 | #Constraints: 59715 1660.39/1664.44 c #Conflicts: 947000 | #Constraints: 60715 1660.39/1664.44 c #Conflicts: 948000 | #Constraints: 61715 1660.39/1664.44 c INPROCESSING 1660.39/1664.44 c GARBAGE COLLECT 1660.39/1664.44 c rational objective 83 1703.79/1707.91 c #Conflicts: 949000 | #Constraints: 34811 1703.79/1707.91 c #Conflicts: 950000 | #Constraints: 35811 1703.79/1707.91 c #Conflicts: 951000 | #Constraints: 36811 1703.79/1707.91 c #Conflicts: 952000 | #Constraints: 37811 1703.79/1707.91 c #Conflicts: 953000 | #Constraints: 38811 1703.79/1707.91 c #Conflicts: 954000 | #Constraints: 39811 1703.79/1707.91 c #Conflicts: 955000 | #Constraints: 40811 1703.79/1707.91 c #Conflicts: 956000 | #Constraints: 41811 1703.79/1707.91 c #Conflicts: 957000 | #Constraints: 42811 1703.79/1707.91 c #Conflicts: 958000 | #Constraints: 43811 1703.79/1707.91 c #Conflicts: 959000 | #Constraints: 44811 1703.79/1707.91 c #Conflicts: 960000 | #Constraints: 45811 1703.79/1707.91 c #Conflicts: 961000 | #Constraints: 46811 1703.79/1707.91 c #Conflicts: 962000 | #Constraints: 47811 1703.79/1707.91 c #Conflicts: 963000 | #Constraints: 48811 1703.79/1707.91 c #Conflicts: 964000 | #Constraints: 49811 1703.79/1707.91 c #Conflicts: 965000 | #Constraints: 50811 1703.79/1707.91 c #Conflicts: 966000 | #Constraints: 51811 1703.79/1707.91 c #Conflicts: 967000 | #Constraints: 52811 1703.79/1707.91 c #Conflicts: 968000 | #Constraints: 53811 1703.79/1707.91 c #Conflicts: 969000 | #Constraints: 54811 1703.79/1707.91 c #Conflicts: 970000 | #Constraints: 55812 1703.79/1707.91 c INPROCESSING 1703.79/1707.91 c GARBAGE COLLECT 1703.79/1707.91 c rational objective 83 1737.31/1741.50 c #Conflicts: 971000 | #Constraints: 32073 1737.31/1741.50 c #Conflicts: 972000 | #Constraints: 33073 1737.31/1741.50 c #Conflicts: 973000 | #Constraints: 34073 1737.31/1741.50 c #Conflicts: 974000 | #Constraints: 35073 1737.31/1741.50 c #Conflicts: 975000 | #Constraints: 36074 1737.31/1741.50 c #Conflicts: 976000 | #Constraints: 37074 1737.31/1741.50 c #Conflicts: 977000 | #Constraints: 38074 1737.31/1741.50 c #Conflicts: 978000 | #Constraints: 39074 1737.31/1741.50 c #Conflicts: 979000 | #Constraints: 40074 1737.31/1741.50 c #Conflicts: 980000 | #Constraints: 41074 1737.31/1741.50 c #Conflicts: 981000 | #Constraints: 42074 1737.31/1741.50 c #Conflicts: 982000 | #Constraints: 43074 1737.31/1741.50 c #Conflicts: 983000 | #Constraints: 44074 1737.31/1741.50 c #Conflicts: 984000 | #Constraints: 45074 1737.31/1741.50 c #Conflicts: 985000 | #Constraints: 46074 1737.31/1741.50 c #Conflicts: 986000 | #Constraints: 47074 1737.31/1741.50 c #Conflicts: 987000 | #Constraints: 48075 1737.31/1741.50 c #Conflicts: 988000 | #Constraints: 49075 1737.31/1741.50 c #Conflicts: 989000 | #Constraints: 50075 1737.31/1741.50 c #Conflicts: 990000 | #Constraints: 51075 1737.31/1741.50 c #Conflicts: 991000 | #Constraints: 52075 1737.31/1741.50 c #Conflicts: 992000 | #Constraints: 53075 1737.31/1741.50 c INPROCESSING 1737.31/1741.50 c GARBAGE COLLECT 1737.31/1741.50 c rational objective 83 1940.52/1945.24 c #Conflicts: 993000 | #Constraints: 30776 1940.52/1945.24 c #Conflicts: 994000 | #Constraints: 31776 1940.52/1945.24 c #Conflicts: 995000 | #Constraints: 32776 1940.52/1945.24 c #Conflicts: 996000 | #Constraints: 33776 1940.52/1945.24 c #Conflicts: 997000 | #Constraints: 34776 1940.52/1945.24 c #Conflicts: 998000 | #Constraints: 35776 1940.52/1945.24 c #Conflicts: 999000 | #Constraints: 36776 1940.52/1945.24 c #Conflicts: 1000000 | #Constraints: 37776 1940.52/1945.24 c #Conflicts: 1001000 | #Constraints: 38777 1940.52/1945.24 c #Conflicts: 1002000 | #Constraints: 39777 1940.52/1945.24 c #Conflicts: 1003000 | #Constraints: 40777 1940.52/1945.24 c #Conflicts: 1004000 | #Constraints: 41777 1940.52/1945.24 c #Conflicts: 1005000 | #Constraints: 42778 1940.52/1945.24 c #Conflicts: 1006000 | #Constraints: 43778 1940.52/1945.24 c #Conflicts: 1007000 | #Constraints: 44778 1940.52/1945.24 c #Conflicts: 1008000 | #Constraints: 45778 1940.52/1945.24 c #Conflicts: 1009000 | #Constraints: 46778 1940.52/1945.24 c #Conflicts: 1010000 | #Constraints: 47778 1940.52/1945.24 c #Conflicts: 1011000 | #Constraints: 48778 1940.52/1945.24 c #Conflicts: 1012000 | #Constraints: 49778 1940.52/1945.24 c #Conflicts: 1013000 | #Constraints: 50778 1940.52/1945.24 c #Conflicts: 1014000 | #Constraints: 51778 1940.52/1945.24 c #Conflicts: 1015000 | #Constraints: 52778 1940.52/1945.24 c #Conflicts: 1016000 | #Constraints: 53778 1940.52/1945.24 c #Conflicts: 1017000 | #Constraints: 54778 1940.52/1945.24 c #Conflicts: 1018000 | #Constraints: 55779 1940.52/1945.24 c #Conflicts: 1019000 | #Constraints: 56779 1940.52/1945.24 c #Conflicts: 1020000 | #Constraints: 57779 1940.52/1945.24 c #Conflicts: 1021000 | #Constraints: 58779 1940.52/1945.24 c #Conflicts: 1022000 | #Constraints: 59779 1940.52/1945.24 c #Conflicts: 1023000 | #Constraints: 60779 1940.52/1945.24 c #Conflicts: 1024000 | #Constraints: 61779 1940.52/1945.24 c #Conflicts: 1025000 | #Constraints: 62779 1940.52/1945.24 c #Conflicts: 1026000 | #Constraints: 63779 1940.52/1945.24 c #Conflicts: 1027000 | #Constraints: 64779 1940.52/1945.24 c #Conflicts: 1028000 | #Constraints: 65779 1940.52/1945.24 c #Conflicts: 1029000 | #Constraints: 66779 1940.52/1945.24 c #Conflicts: 1030000 | #Constraints: 67779 1940.52/1945.24 c #Conflicts: 1031000 | #Constraints: 68779 1940.52/1945.24 c #Conflicts: 1032000 | #Constraints: 69780 1940.52/1945.24 c #Conflicts: 1033000 | #Constraints: 70780 1940.52/1945.24 c #Conflicts: 1034000 | #Constraints: 71780 1940.52/1945.24 c #Conflicts: 1035000 | #Constraints: 72780 1940.52/1945.24 c #Conflicts: 1036000 | #Constraints: 73780 1940.52/1945.24 c #Conflicts: 1037000 | #Constraints: 74780 1940.52/1945.24 c #Conflicts: 1038000 | #Constraints: 75780 1940.52/1945.24 c #Conflicts: 1039000 | #Constraints: 76780 1940.52/1945.24 c #Conflicts: 1040000 | #Constraints: 77780 1940.52/1945.24 c #Conflicts: 1041000 | #Constraints: 78780 1940.52/1945.24 c #Conflicts: 1042000 | #Constraints: 79780 1940.52/1945.24 c #Conflicts: 1043000 | #Constraints: 80780 1940.52/1945.24 c #Conflicts: 1044000 | #Constraints: 81781 1940.52/1945.24 c #Conflicts: 1045000 | #Constraints: 82781 1940.52/1945.24 c #Conflicts: 1046000 | #Constraints: 83781 1940.52/1945.24 c #Conflicts: 1047000 | #Constraints: 84781 1940.52/1945.24 c #Conflicts: 1048000 | #Constraints: 85782 1940.52/1945.24 c #Conflicts: 1049000 | #Constraints: 86783 1940.52/1945.24 c #Conflicts: 1050000 | #Constraints: 87784 1940.52/1945.24 c #Conflicts: 1051000 | #Constraints: 88784 1940.52/1945.24 c #Conflicts: 1052000 | #Constraints: 89784 1940.52/1945.24 c #Conflicts: 1053000 | #Constraints: 90785 1940.52/1945.24 c #Conflicts: 1054000 | #Constraints: 91785 1940.52/1945.24 c #Conflicts: 1055000 | #Constraints: 92785 1940.52/1945.24 c #Conflicts: 1056000 | #Constraints: 93785 1940.52/1945.24 c #Conflicts: 1057000 | #Constraints: 94785 1940.52/1945.24 c #Conflicts: 1058000 | #Constraints: 95785 1940.52/1945.24 c #Conflicts: 1059000 | #Constraints: 96785 1940.52/1945.24 c #Conflicts: 1060000 | #Constraints: 97786 1940.52/1945.24 c #Conflicts: 1061000 | #Constraints: 98786 1940.52/1945.24 c #Conflicts: 1062000 | #Constraints: 99786 1940.52/1945.24 c #Conflicts: 1063000 | #Constraints: 100786 1940.52/1945.24 c #Conflicts: 1064000 | #Constraints: 101786 1940.52/1945.24 c #Conflicts: 1065000 | #Constraints: 102786 1940.52/1945.24 c #Conflicts: 1066000 | #Constraints: 103786 1940.52/1945.24 c #Conflicts: 1067000 | #Constraints: 104786 1940.52/1945.24 c #Conflicts: 1068000 | #Constraints: 105786 1940.52/1945.24 c #Conflicts: 1069000 | #Constraints: 106786 1940.52/1945.24 c #Conflicts: 1070000 | #Constraints: 107786 1940.52/1945.24 c #Conflicts: 1071000 | #Constraints: 108786 1964.17/1968.91 c #Conflicts: 1072000 | #Constraints: 109787 1964.17/1968.91 c INPROCESSING 1964.17/1968.91 c GARBAGE COLLECT 1964.17/1968.91 c rational objective 83 2032.51/2037.41 c #Conflicts: 1073000 | #Constraints: 58879 2032.51/2037.41 c #Conflicts: 1074000 | #Constraints: 59880 2032.51/2037.41 c #Conflicts: 1075000 | #Constraints: 60880 2032.51/2037.41 c #Conflicts: 1076000 | #Constraints: 61880 2032.51/2037.41 c #Conflicts: 1077000 | #Constraints: 62880 2032.51/2037.41 c #Conflicts: 1078000 | #Constraints: 63880 2032.51/2037.41 c #Conflicts: 1079000 | #Constraints: 64880 2032.51/2037.41 c #Conflicts: 1080000 | #Constraints: 65880 2032.51/2037.41 c #Conflicts: 1081000 | #Constraints: 66880 2032.51/2037.41 c #Conflicts: 1082000 | #Constraints: 67880 2032.51/2037.41 c #Conflicts: 1083000 | #Constraints: 68880 2032.51/2037.41 c #Conflicts: 1084000 | #Constraints: 69880 2032.51/2037.41 c #Conflicts: 1085000 | #Constraints: 70880 2032.51/2037.41 c #Conflicts: 1086000 | #Constraints: 71880 2032.51/2037.41 c #Conflicts: 1087000 | #Constraints: 72880 2032.51/2037.41 c #Conflicts: 1088000 | #Constraints: 73880 2032.51/2037.41 c #Conflicts: 1089000 | #Constraints: 74880 2032.51/2037.41 c #Conflicts: 1090000 | #Constraints: 75880 2032.51/2037.41 c #Conflicts: 1091000 | #Constraints: 76880 2032.51/2037.41 c #Conflicts: 1092000 | #Constraints: 77880 2032.51/2037.41 c #Conflicts: 1093000 | #Constraints: 78880 2032.51/2037.41 c #Conflicts: 1094000 | #Constraints: 79881 2032.51/2037.41 c #Conflicts: 1095000 | #Constraints: 80881 2032.51/2037.41 c INPROCESSING 2032.51/2037.41 c GARBAGE COLLECT 2032.51/2037.41 c rational objective 83 2067.23/2072.21 c #Conflicts: 1096000 | #Constraints: 44420 2067.23/2072.21 c #Conflicts: 1097000 | #Constraints: 45420 2067.23/2072.21 c #Conflicts: 1098000 | #Constraints: 46420 2067.23/2072.21 c #Conflicts: 1099000 | #Constraints: 47420 2067.23/2072.21 c #Conflicts: 1100000 | #Constraints: 48420 2067.23/2072.21 c #Conflicts: 1101000 | #Constraints: 49420 2067.23/2072.21 c #Conflicts: 1102000 | #Constraints: 50420 2067.23/2072.21 c #Conflicts: 1103000 | #Constraints: 51420 2067.23/2072.21 c #Conflicts: 1104000 | #Constraints: 52420 2067.23/2072.21 c #Conflicts: 1105000 | #Constraints: 53420 2067.23/2072.21 c #Conflicts: 1106000 | #Constraints: 54420 2067.23/2072.21 c #Conflicts: 1107000 | #Constraints: 55420 2067.23/2072.21 c #Conflicts: 1108000 | #Constraints: 56420 2067.23/2072.21 c #Conflicts: 1109000 | #Constraints: 57420 2067.23/2072.21 c #Conflicts: 1110000 | #Constraints: 58420 2067.23/2072.21 c #Conflicts: 1111000 | #Constraints: 59420 2067.23/2072.21 c #Conflicts: 1112000 | #Constraints: 60420 2067.23/2072.21 c #Conflicts: 1113000 | #Constraints: 61420 2067.23/2072.21 c #Conflicts: 1114000 | #Constraints: 62420 2067.23/2072.21 c #Conflicts: 1115000 | #Constraints: 63420 2067.23/2072.21 c #Conflicts: 1116000 | #Constraints: 64420 2067.23/2072.21 c #Conflicts: 1117000 | #Constraints: 65420 2067.23/2072.21 c #Conflicts: 1118000 | #Constraints: 66420 2067.23/2072.21 c INPROCESSING 2067.23/2072.21 c GARBAGE COLLECT 2067.23/2072.21 c rational objective 83 2116.42/2121.50 c #Conflicts: 1119000 | #Constraints: 37105 2116.42/2121.50 c #Conflicts: 1120000 | #Constraints: 38108 2116.42/2121.50 c #Conflicts: 1121000 | #Constraints: 39111 2116.42/2121.50 c #Conflicts: 1122000 | #Constraints: 40112 2116.42/2121.50 c #Conflicts: 1123000 | #Constraints: 41113 2116.42/2121.50 c #Conflicts: 1124000 | #Constraints: 42114 2116.42/2121.50 c #Conflicts: 1125000 | #Constraints: 43115 2116.42/2121.50 c #Conflicts: 1126000 | #Constraints: 44118 2116.42/2121.50 c #Conflicts: 1127000 | #Constraints: 45118 2116.42/2121.50 c #Conflicts: 1128000 | #Constraints: 46118 2116.42/2121.50 c #Conflicts: 1129000 | #Constraints: 47118 2116.42/2121.50 c #Conflicts: 1130000 | #Constraints: 48119 2116.42/2121.50 c #Conflicts: 1131000 | #Constraints: 49119 2116.42/2121.50 c #Conflicts: 1132000 | #Constraints: 50119 2116.42/2121.50 c #Conflicts: 1133000 | #Constraints: 51119 2116.42/2121.50 c #Conflicts: 1134000 | #Constraints: 52119 2116.42/2121.50 c #Conflicts: 1135000 | #Constraints: 53119 2116.42/2121.50 c #Conflicts: 1136000 | #Constraints: 54119 2116.42/2121.50 c #Conflicts: 1137000 | #Constraints: 55119 2116.42/2121.50 c #Conflicts: 1138000 | #Constraints: 56119 2116.42/2121.50 c #Conflicts: 1139000 | #Constraints: 57119 2116.42/2121.50 c #Conflicts: 1140000 | #Constraints: 58119 2116.42/2121.50 c #Conflicts: 1141000 | #Constraints: 59119 2116.42/2121.50 c #Conflicts: 1142000 | #Constraints: 60119 2116.42/2121.50 c INPROCESSING 2116.42/2121.50 c GARBAGE COLLECT 2116.42/2121.50 c rational objective 83 2147.34/2152.56 c #Conflicts: 1143000 | #Constraints: 34104 2147.34/2152.56 c #Conflicts: 1144000 | #Constraints: 35104 2147.34/2152.56 c #Conflicts: 1145000 | #Constraints: 36104 2147.34/2152.56 c #Conflicts: 1146000 | #Constraints: 37104 2147.34/2152.56 c #Conflicts: 1147000 | #Constraints: 38104 2147.34/2152.56 c #Conflicts: 1148000 | #Constraints: 39104 2147.34/2152.56 c #Conflicts: 1149000 | #Constraints: 40104 2147.34/2152.56 c #Conflicts: 1150000 | #Constraints: 41104 2147.34/2152.56 c #Conflicts: 1151000 | #Constraints: 42104 2147.34/2152.56 c #Conflicts: 1152000 | #Constraints: 43105 2147.34/2152.56 c #Conflicts: 1153000 | #Constraints: 44106 2147.34/2152.56 c #Conflicts: 1154000 | #Constraints: 45106 2147.34/2152.56 c #Conflicts: 1155000 | #Constraints: 46107 2147.34/2152.56 c #Conflicts: 1156000 | #Constraints: 47107 2147.34/2152.56 c #Conflicts: 1157000 | #Constraints: 48107 2147.34/2152.56 c #Conflicts: 1158000 | #Constraints: 49107 2147.34/2152.56 c #Conflicts: 1159000 | #Constraints: 50108 2147.34/2152.56 c #Conflicts: 1160000 | #Constraints: 51108 2147.34/2152.56 c #Conflicts: 1161000 | #Constraints: 52108 2147.34/2152.56 c #Conflicts: 1162000 | #Constraints: 53108 2147.34/2152.56 c #Conflicts: 1163000 | #Constraints: 54108 2147.34/2152.56 c #Conflicts: 1164000 | #Constraints: 55108 2147.34/2152.56 c #Conflicts: 1165000 | #Constraints: 56108 2147.34/2152.56 c #Conflicts: 1166000 | #Constraints: 57108 2147.34/2152.56 c INPROCESSING 2147.34/2152.56 c GARBAGE COLLECT 2147.34/2152.56 c rational objective 83 2349.04/2354.76 c #Conflicts: 1167000 | #Constraints: 32771 2349.04/2354.76 c #Conflicts: 1168000 | #Constraints: 33771 2349.04/2354.76 c #Conflicts: 1169000 | #Constraints: 34771 2349.04/2354.76 c #Conflicts: 1170000 | #Constraints: 35771 2349.04/2354.76 c #Conflicts: 1171000 | #Constraints: 36771 2349.04/2354.76 c #Conflicts: 1172000 | #Constraints: 37771 2349.04/2354.76 c #Conflicts: 1173000 | #Constraints: 38771 2349.04/2354.76 c #Conflicts: 1174000 | #Constraints: 39771 2349.04/2354.76 c #Conflicts: 1175000 | #Constraints: 40771 2349.04/2354.76 c #Conflicts: 1176000 | #Constraints: 41772 2349.04/2354.76 c #Conflicts: 1177000 | #Constraints: 42773 2349.04/2354.76 c #Conflicts: 1178000 | #Constraints: 43773 2349.04/2354.76 c #Conflicts: 1179000 | #Constraints: 44773 2349.04/2354.76 c #Conflicts: 1180000 | #Constraints: 45773 2349.04/2354.76 c #Conflicts: 1181000 | #Constraints: 46773 2349.04/2354.76 c #Conflicts: 1182000 | #Constraints: 47773 2349.04/2354.76 c #Conflicts: 1183000 | #Constraints: 48773 2349.04/2354.76 c #Conflicts: 1184000 | #Constraints: 49774 2349.04/2354.76 c #Conflicts: 1185000 | #Constraints: 50775 2349.04/2354.76 c #Conflicts: 1186000 | #Constraints: 51775 2349.04/2354.76 c #Conflicts: 1187000 | #Constraints: 52775 2349.04/2354.76 c #Conflicts: 1188000 | #Constraints: 53775 2349.04/2354.76 c #Conflicts: 1189000 | #Constraints: 54775 2349.04/2354.76 c #Conflicts: 1190000 | #Constraints: 55775 2349.04/2354.76 c #Conflicts: 1191000 | #Constraints: 56776 2349.04/2354.76 c #Conflicts: 1192000 | #Constraints: 57776 2349.04/2354.76 c #Conflicts: 1193000 | #Constraints: 58776 2349.04/2354.76 c #Conflicts: 1194000 | #Constraints: 59777 2349.04/2354.76 c #Conflicts: 1195000 | #Constraints: 60777 2349.04/2354.76 c #Conflicts: 1196000 | #Constraints: 61777 2349.04/2354.76 c #Conflicts: 1197000 | #Constraints: 62777 2349.04/2354.76 c #Conflicts: 1198000 | #Constraints: 63777 2349.04/2354.76 c #Conflicts: 1199000 | #Constraints: 64777 2349.04/2354.76 c #Conflicts: 1200000 | #Constraints: 65777 2349.04/2354.76 c #Conflicts: 1201000 | #Constraints: 66777 2349.04/2354.76 c #Conflicts: 1202000 | #Constraints: 67777 2349.04/2354.76 c #Conflicts: 1203000 | #Constraints: 68777 2349.04/2354.76 c #Conflicts: 1204000 | #Constraints: 69777 2349.04/2354.76 c #Conflicts: 1205000 | #Constraints: 70777 2349.04/2354.76 c #Conflicts: 1206000 | #Constraints: 71777 2349.04/2354.76 c #Conflicts: 1207000 | #Constraints: 72777 2349.04/2354.76 c #Conflicts: 1208000 | #Constraints: 73777 2349.04/2354.76 c #Conflicts: 1209000 | #Constraints: 74777 2349.04/2354.76 c #Conflicts: 1210000 | #Constraints: 75777 2349.04/2354.76 c #Conflicts: 1211000 | #Constraints: 76777 2349.04/2354.76 c #Conflicts: 1212000 | #Constraints: 77777 2349.04/2354.76 c #Conflicts: 1213000 | #Constraints: 78777 2349.04/2354.76 c #Conflicts: 1214000 | #Constraints: 79777 2349.04/2354.76 c #Conflicts: 1215000 | #Constraints: 80778 2349.04/2354.76 c #Conflicts: 1216000 | #Constraints: 81778 2349.04/2354.76 c #Conflicts: 1217000 | #Constraints: 82778 2349.04/2354.76 c #Conflicts: 1218000 | #Constraints: 83778 2349.04/2354.76 c #Conflicts: 1219000 | #Constraints: 84778 2349.04/2354.76 c #Conflicts: 1220000 | #Constraints: 85778 2349.04/2354.76 c #Conflicts: 1221000 | #Constraints: 86778 2349.04/2354.76 c #Conflicts: 1222000 | #Constraints: 87778 2349.04/2354.76 c #Conflicts: 1223000 | #Constraints: 88778 2349.04/2354.76 c #Conflicts: 1224000 | #Constraints: 89778 2349.04/2354.76 c #Conflicts: 1225000 | #Constraints: 90778 2349.04/2354.76 c #Conflicts: 1226000 | #Constraints: 91778 2349.04/2354.76 c #Conflicts: 1227000 | #Constraints: 92778 2349.04/2354.76 c #Conflicts: 1228000 | #Constraints: 93778 2349.04/2354.76 c #Conflicts: 1229000 | #Constraints: 94778 2349.04/2354.76 c #Conflicts: 1230000 | #Constraints: 95778 2349.04/2354.76 c #Conflicts: 1231000 | #Constraints: 96778 2349.04/2354.76 c #Conflicts: 1232000 | #Constraints: 97778 2349.04/2354.76 c #Conflicts: 1233000 | #Constraints: 98778 2349.04/2354.76 c #Conflicts: 1234000 | #Constraints: 99779 2349.04/2354.76 c #Conflicts: 1235000 | #Constraints: 100779 2349.04/2354.76 c #Conflicts: 1236000 | #Constraints: 101779 2349.04/2354.76 c #Conflicts: 1237000 | #Constraints: 102779 2349.04/2354.76 c #Conflicts: 1238000 | #Constraints: 103779 2349.04/2354.76 c #Conflicts: 1239000 | #Constraints: 104779 2349.04/2354.76 c #Conflicts: 1240000 | #Constraints: 105779 2349.04/2354.76 c #Conflicts: 1241000 | #Constraints: 106779 2349.04/2354.76 c #Conflicts: 1242000 | #Constraints: 107779 2349.04/2354.76 c #Conflicts: 1243000 | #Constraints: 108779 2349.04/2354.76 c #Conflicts: 1244000 | #Constraints: 109779 2349.04/2354.76 c #Conflicts: 1245000 | #Constraints: 110780 2387.64/2393.48 c #Conflicts: 1246000 | #Constraints: 111780 2387.64/2393.48 c #Conflicts: 1247000 | #Constraints: 112780 2387.64/2393.48 c #Conflicts: 1248000 | #Constraints: 113780 2387.64/2393.48 c #Conflicts: 1249000 | #Constraints: 114781 2387.64/2393.48 c #Conflicts: 1250000 | #Constraints: 115781 2387.64/2393.48 c #Conflicts: 1251000 | #Constraints: 116781 2387.64/2393.48 c #Conflicts: 1252000 | #Constraints: 117781 2387.64/2393.48 c #Conflicts: 1253000 | #Constraints: 118781 2387.64/2393.48 c INPROCESSING 2387.64/2393.48 c GARBAGE COLLECT 2387.64/2393.48 c rational objective 83 2449.90/2455.88 c #Conflicts: 1254000 | #Constraints: 63723 2449.90/2455.88 c #Conflicts: 1255000 | #Constraints: 64723 2449.90/2455.88 c #Conflicts: 1256000 | #Constraints: 65723 2449.90/2455.88 c #Conflicts: 1257000 | #Constraints: 66723 2449.90/2455.88 c #Conflicts: 1258000 | #Constraints: 67723 2449.90/2455.88 c #Conflicts: 1259000 | #Constraints: 68723 2449.90/2455.88 c #Conflicts: 1260000 | #Constraints: 69723 2449.90/2455.88 c #Conflicts: 1261000 | #Constraints: 70723 2449.90/2455.88 c #Conflicts: 1262000 | #Constraints: 71723 2449.90/2455.88 c #Conflicts: 1263000 | #Constraints: 72724 2449.90/2455.88 c #Conflicts: 1264000 | #Constraints: 73724 2449.90/2455.88 c #Conflicts: 1265000 | #Constraints: 74724 2449.90/2455.88 c #Conflicts: 1266000 | #Constraints: 75724 2449.90/2455.88 c #Conflicts: 1267000 | #Constraints: 76724 2449.90/2455.88 c #Conflicts: 1268000 | #Constraints: 77724 2449.90/2455.88 c #Conflicts: 1269000 | #Constraints: 78724 2449.90/2455.88 c #Conflicts: 1270000 | #Constraints: 79725 2449.90/2455.88 c #Conflicts: 1271000 | #Constraints: 80725 2449.90/2455.88 c #Conflicts: 1272000 | #Constraints: 81725 2449.90/2455.88 c #Conflicts: 1273000 | #Constraints: 82725 2449.90/2455.88 c #Conflicts: 1274000 | #Constraints: 83725 2449.90/2455.88 c #Conflicts: 1275000 | #Constraints: 84725 2449.90/2455.88 c #Conflicts: 1276000 | #Constraints: 85725 2449.90/2455.88 c #Conflicts: 1277000 | #Constraints: 86726 2449.90/2455.88 c #Conflicts: 1278000 | #Constraints: 87726 2449.90/2455.88 c INPROCESSING 2449.90/2455.88 c GARBAGE COLLECT 2449.90/2455.88 c rational objective 83 2506.86/2512.99 c #Conflicts: 1279000 | #Constraints: 48141 2506.86/2512.99 c #Conflicts: 1280000 | #Constraints: 49141 2506.86/2512.99 c #Conflicts: 1281000 | #Constraints: 50141 2506.86/2512.99 c #Conflicts: 1282000 | #Constraints: 51141 2506.86/2512.99 c #Conflicts: 1283000 | #Constraints: 52141 2506.86/2512.99 c #Conflicts: 1284000 | #Constraints: 53141 2506.86/2512.99 c #Conflicts: 1285000 | #Constraints: 54141 2506.86/2512.99 c #Conflicts: 1286000 | #Constraints: 55141 2506.86/2512.99 c #Conflicts: 1287000 | #Constraints: 56141 2506.86/2512.99 c #Conflicts: 1288000 | #Constraints: 57141 2506.86/2512.99 c #Conflicts: 1289000 | #Constraints: 58141 2506.86/2512.99 c #Conflicts: 1290000 | #Constraints: 59142 2506.86/2512.99 c #Conflicts: 1291000 | #Constraints: 60142 2506.86/2512.99 c #Conflicts: 1292000 | #Constraints: 61142 2506.86/2512.99 c #Conflicts: 1293000 | #Constraints: 62142 2506.86/2512.99 c #Conflicts: 1294000 | #Constraints: 63142 2506.86/2512.99 c #Conflicts: 1295000 | #Constraints: 64142 2506.86/2512.99 c #Conflicts: 1296000 | #Constraints: 65142 2506.86/2512.99 c #Conflicts: 1297000 | #Constraints: 66142 2506.86/2512.99 c #Conflicts: 1298000 | #Constraints: 67142 2506.86/2512.99 c #Conflicts: 1299000 | #Constraints: 68142 2506.86/2512.99 c #Conflicts: 1300000 | #Constraints: 69142 2506.86/2512.99 c #Conflicts: 1301000 | #Constraints: 70142 2506.86/2512.99 c #Conflicts: 1302000 | #Constraints: 71143 2506.86/2512.99 c #Conflicts: 1303000 | #Constraints: 72143 2506.86/2512.99 c INPROCESSING 2506.86/2512.99 c GARBAGE COLLECT 2506.86/2512.99 c rational objective 83 2547.28/2553.47 c #Conflicts: 1304000 | #Constraints: 40299 2547.28/2553.47 c #Conflicts: 1305000 | #Constraints: 41299 2547.28/2553.47 c #Conflicts: 1306000 | #Constraints: 42299 2547.28/2553.47 c #Conflicts: 1307000 | #Constraints: 43299 2547.28/2553.47 c #Conflicts: 1308000 | #Constraints: 44299 2547.28/2553.47 c #Conflicts: 1309000 | #Constraints: 45299 2547.28/2553.47 c #Conflicts: 1310000 | #Constraints: 46299 2547.28/2553.47 c #Conflicts: 1311000 | #Constraints: 47299 2547.28/2553.47 c #Conflicts: 1312000 | #Constraints: 48299 2547.28/2553.47 c #Conflicts: 1313000 | #Constraints: 49299 2547.28/2553.47 c #Conflicts: 1314000 | #Constraints: 50299 2547.28/2553.47 c #Conflicts: 1315000 | #Constraints: 51299 2547.28/2553.47 c #Conflicts: 1316000 | #Constraints: 52299 2547.28/2553.47 c #Conflicts: 1317000 | #Constraints: 53299 2547.28/2553.47 c #Conflicts: 1318000 | #Constraints: 54299 2547.28/2553.47 c #Conflicts: 1319000 | #Constraints: 55299 2547.28/2553.47 c #Conflicts: 1320000 | #Constraints: 56299 2547.28/2553.47 c #Conflicts: 1321000 | #Constraints: 57299 2547.28/2553.47 c #Conflicts: 1322000 | #Constraints: 58299 2547.28/2553.47 c #Conflicts: 1323000 | #Constraints: 59299 2547.28/2553.47 c #Conflicts: 1324000 | #Constraints: 60299 2547.28/2553.47 c #Conflicts: 1325000 | #Constraints: 61299 2547.28/2553.47 c #Conflicts: 1326000 | #Constraints: 62299 2547.28/2553.47 c #Conflicts: 1327000 | #Constraints: 63299 2547.28/2553.47 c #Conflicts: 1328000 | #Constraints: 64299 2547.28/2553.47 c INPROCESSING 2547.28/2553.47 c GARBAGE COLLECT 2547.28/2553.47 c rational objective 83 2582.50/2588.75 c #Conflicts: 1329000 | #Constraints: 36158 2582.50/2588.75 c #Conflicts: 1330000 | #Constraints: 37158 2582.50/2588.75 c #Conflicts: 1331000 | #Constraints: 38158 2582.50/2588.75 c #Conflicts: 1332000 | #Constraints: 39158 2582.50/2588.75 c #Conflicts: 1333000 | #Constraints: 40158 2582.50/2588.75 c #Conflicts: 1334000 | #Constraints: 41158 2582.50/2588.75 c #Conflicts: 1335000 | #Constraints: 42158 2582.50/2588.75 c #Conflicts: 1336000 | #Constraints: 43158 2582.50/2588.75 c #Conflicts: 1337000 | #Constraints: 44158 2582.50/2588.75 c #Conflicts: 1338000 | #Constraints: 45158 2582.50/2588.75 c #Conflicts: 1339000 | #Constraints: 46158 2582.50/2588.75 c #Conflicts: 1340000 | #Constraints: 47158 2582.50/2588.75 c #Conflicts: 1341000 | #Constraints: 48159 2582.50/2588.75 c #Conflicts: 1342000 | #Constraints: 49159 2582.50/2588.75 c #Conflicts: 1343000 | #Constraints: 50159 2582.50/2588.75 c #Conflicts: 1344000 | #Constraints: 51159 2582.50/2588.75 c #Conflicts: 1345000 | #Constraints: 52159 2582.50/2588.75 c #Conflicts: 1346000 | #Constraints: 53159 2582.50/2588.75 c #Conflicts: 1347000 | #Constraints: 54160 2582.50/2588.75 c #Conflicts: 1348000 | #Constraints: 55161 2582.50/2588.75 c #Conflicts: 1349000 | #Constraints: 56161 2582.50/2588.75 c #Conflicts: 1350000 | #Constraints: 57161 2582.50/2588.75 c #Conflicts: 1351000 | #Constraints: 58161 2582.50/2588.75 c #Conflicts: 1352000 | #Constraints: 59161 2582.50/2588.75 c #Conflicts: 1353000 | #Constraints: 60161 2582.50/2588.75 c #Conflicts: 1354000 | #Constraints: 61161 2582.50/2588.75 c INPROCESSING 2582.50/2588.75 c GARBAGE COLLECT 2582.50/2588.75 c rational objective 83 2769.10/2775.77 c #Conflicts: 1355000 | #Constraints: 34791 2769.10/2775.77 c #Conflicts: 1356000 | #Constraints: 35791 2769.10/2775.77 c #Conflicts: 1357000 | #Constraints: 36791 2769.10/2775.77 c #Conflicts: 1358000 | #Constraints: 37791 2769.10/2775.77 c #Conflicts: 1359000 | #Constraints: 38791 2769.10/2775.77 c #Conflicts: 1360000 | #Constraints: 39793 2769.10/2775.77 c #Conflicts: 1361000 | #Constraints: 40793 2769.10/2775.77 c #Conflicts: 1362000 | #Constraints: 41793 2769.10/2775.77 c #Conflicts: 1363000 | #Constraints: 42793 2769.10/2775.77 c #Conflicts: 1364000 | #Constraints: 43793 2769.10/2775.77 c #Conflicts: 1365000 | #Constraints: 44793 2769.10/2775.77 c #Conflicts: 1366000 | #Constraints: 45793 2769.10/2775.77 c #Conflicts: 1367000 | #Constraints: 46793 2769.10/2775.77 c #Conflicts: 1368000 | #Constraints: 47793 2769.10/2775.77 c #Conflicts: 1369000 | #Constraints: 48793 2769.10/2775.77 c #Conflicts: 1370000 | #Constraints: 49793 2769.10/2775.77 c #Conflicts: 1371000 | #Constraints: 50793 2769.10/2775.77 c #Conflicts: 1372000 | #Constraints: 51793 2769.10/2775.77 c #Conflicts: 1373000 | #Constraints: 52793 2769.10/2775.77 c #Conflicts: 1374000 | #Constraints: 53793 2769.10/2775.77 c #Conflicts: 1375000 | #Constraints: 54793 2769.10/2775.77 c #Conflicts: 1376000 | #Constraints: 55794 2769.10/2775.77 c #Conflicts: 1377000 | #Constraints: 56794 2769.10/2775.77 c #Conflicts: 1378000 | #Constraints: 57794 2769.10/2775.77 c #Conflicts: 1379000 | #Constraints: 58794 2769.10/2775.77 c #Conflicts: 1380000 | #Constraints: 59795 2769.10/2775.77 c #Conflicts: 1381000 | #Constraints: 60795 2769.10/2775.77 c #Conflicts: 1382000 | #Constraints: 61795 2769.10/2775.77 c #Conflicts: 1383000 | #Constraints: 62795 2769.10/2775.77 c #Conflicts: 1384000 | #Constraints: 63795 2769.10/2775.77 c #Conflicts: 1385000 | #Constraints: 64795 2769.10/2775.77 c #Conflicts: 1386000 | #Constraints: 65795 2769.10/2775.77 c #Conflicts: 1387000 | #Constraints: 66795 2769.10/2775.77 c #Conflicts: 1388000 | #Constraints: 67795 2769.10/2775.77 c #Conflicts: 1389000 | #Constraints: 68795 2769.10/2775.77 c #Conflicts: 1390000 | #Constraints: 69795 2769.10/2775.77 c #Conflicts: 1391000 | #Constraints: 70795 2769.10/2775.77 c #Conflicts: 1392000 | #Constraints: 71795 2769.10/2775.77 c #Conflicts: 1393000 | #Constraints: 72795 2769.10/2775.77 c #Conflicts: 1394000 | #Constraints: 73796 2769.10/2775.77 c #Conflicts: 1395000 | #Constraints: 74796 2769.10/2775.77 c #Conflicts: 1396000 | #Constraints: 75796 2769.10/2775.77 c #Conflicts: 1397000 | #Constraints: 76796 2769.10/2775.77 c #Conflicts: 1398000 | #Constraints: 77796 2769.10/2775.77 c #Conflicts: 1399000 | #Constraints: 78796 2769.10/2775.77 c #Conflicts: 1400000 | #Constraints: 79796 2769.10/2775.77 c #Conflicts: 1401000 | #Constraints: 80796 2769.10/2775.77 c #Conflicts: 1402000 | #Constraints: 81796 2769.10/2775.77 c #Conflicts: 1403000 | #Constraints: 82796 2769.10/2775.77 c #Conflicts: 1404000 | #Constraints: 83796 2769.10/2775.77 c #Conflicts: 1405000 | #Constraints: 84796 2769.10/2775.77 c #Conflicts: 1406000 | #Constraints: 85796 2769.10/2775.77 c #Conflicts: 1407000 | #Constraints: 86796 2769.10/2775.77 c #Conflicts: 1408000 | #Constraints: 87796 2769.10/2775.77 c #Conflicts: 1409000 | #Constraints: 88797 2769.10/2775.77 c #Conflicts: 1410000 | #Constraints: 89797 2769.10/2775.77 c #Conflicts: 1411000 | #Constraints: 90797 2769.10/2775.77 c #Conflicts: 1412000 | #Constraints: 91797 2769.10/2775.77 c #Conflicts: 1413000 | #Constraints: 92797 2769.10/2775.77 c #Conflicts: 1414000 | #Constraints: 93797 2769.10/2775.77 c #Conflicts: 1415000 | #Constraints: 94797 2769.10/2775.77 c #Conflicts: 1416000 | #Constraints: 95797 2769.10/2775.77 c #Conflicts: 1417000 | #Constraints: 96797 2769.10/2775.77 c #Conflicts: 1418000 | #Constraints: 97797 2769.10/2775.77 c #Conflicts: 1419000 | #Constraints: 98798 2769.10/2775.77 c #Conflicts: 1420000 | #Constraints: 99798 2769.10/2775.77 c #Conflicts: 1421000 | #Constraints: 100798 2769.10/2775.77 c #Conflicts: 1422000 | #Constraints: 101799 2769.10/2775.77 c #Conflicts: 1423000 | #Constraints: 102799 2769.10/2775.77 c #Conflicts: 1424000 | #Constraints: 103799 2769.10/2775.77 c #Conflicts: 1425000 | #Constraints: 104799 2769.10/2775.77 c #Conflicts: 1426000 | #Constraints: 105799 2769.10/2775.77 c #Conflicts: 1427000 | #Constraints: 106799 2769.10/2775.77 c #Conflicts: 1428000 | #Constraints: 107800 2769.10/2775.77 c #Conflicts: 1429000 | #Constraints: 108800 2769.10/2775.77 c #Conflicts: 1430000 | #Constraints: 109801 2769.10/2775.77 c #Conflicts: 1431000 | #Constraints: 110801 2769.10/2775.77 c #Conflicts: 1432000 | #Constraints: 111801 2769.10/2775.77 c #Conflicts: 1433000 | #Constraints: 112802 2826.58/2833.34 c #Conflicts: 1434000 | #Constraints: 113802 2826.58/2833.34 c #Conflicts: 1435000 | #Constraints: 114802 2826.58/2833.34 c #Conflicts: 1436000 | #Constraints: 115802 2826.58/2833.34 c #Conflicts: 1437000 | #Constraints: 116802 2826.58/2833.34 c #Conflicts: 1438000 | #Constraints: 117802 2826.58/2833.34 c #Conflicts: 1439000 | #Constraints: 118802 2826.58/2833.34 c #Conflicts: 1440000 | #Constraints: 119802 2826.58/2833.34 c #Conflicts: 1441000 | #Constraints: 120802 2826.58/2833.34 c #Conflicts: 1442000 | #Constraints: 121802 2826.58/2833.34 c #Conflicts: 1443000 | #Constraints: 122802 2826.58/2833.34 c #Conflicts: 1444000 | #Constraints: 123802 2826.58/2833.34 c #Conflicts: 1445000 | #Constraints: 124802 2826.58/2833.34 c #Conflicts: 1446000 | #Constraints: 125802 2826.58/2833.34 c #Conflicts: 1447000 | #Constraints: 126802 2826.58/2833.34 c INPROCESSING 2826.58/2833.34 c GARBAGE COLLECT 2826.58/2833.34 c rational objective 83 2879.77/2886.68 c #Conflicts: 1448000 | #Constraints: 67417 2879.77/2886.68 c #Conflicts: 1449000 | #Constraints: 68417 2879.77/2886.68 c #Conflicts: 1450000 | #Constraints: 69417 2879.77/2886.68 c #Conflicts: 1451000 | #Constraints: 70417 2879.77/2886.68 c #Conflicts: 1452000 | #Constraints: 71417 2879.77/2886.68 c #Conflicts: 1453000 | #Constraints: 72417 2879.77/2886.68 c #Conflicts: 1454000 | #Constraints: 73417 2879.77/2886.68 c #Conflicts: 1455000 | #Constraints: 74417 2879.77/2886.68 c #Conflicts: 1456000 | #Constraints: 75417 2879.77/2886.68 c #Conflicts: 1457000 | #Constraints: 76417 2879.77/2886.68 c #Conflicts: 1458000 | #Constraints: 77417 2879.77/2886.68 c #Conflicts: 1459000 | #Constraints: 78417 2879.77/2886.68 c #Conflicts: 1460000 | #Constraints: 79418 2879.77/2886.68 c #Conflicts: 1461000 | #Constraints: 80418 2879.77/2886.68 c #Conflicts: 1462000 | #Constraints: 81418 2879.77/2886.68 c #Conflicts: 1463000 | #Constraints: 82418 2879.77/2886.68 c #Conflicts: 1464000 | #Constraints: 83419 2879.77/2886.68 c #Conflicts: 1465000 | #Constraints: 84419 2879.77/2886.68 c #Conflicts: 1466000 | #Constraints: 85419 2879.77/2886.68 c #Conflicts: 1467000 | #Constraints: 86419 2879.77/2886.68 c #Conflicts: 1468000 | #Constraints: 87419 2879.77/2886.68 c #Conflicts: 1469000 | #Constraints: 88420 2879.77/2886.68 c #Conflicts: 1470000 | #Constraints: 89420 2879.77/2886.68 c #Conflicts: 1471000 | #Constraints: 90420 2879.77/2886.68 c #Conflicts: 1472000 | #Constraints: 91420 2879.77/2886.68 c #Conflicts: 1473000 | #Constraints: 92420 2879.77/2886.68 c #Conflicts: 1474000 | #Constraints: 93421 2879.77/2886.68 c INPROCESSING 2879.77/2886.68 c GARBAGE COLLECT 2879.77/2886.68 c rational objective 83 2928.07/2935.08 c #Conflicts: 1475000 | #Constraints: 50869 2928.07/2935.08 c #Conflicts: 1476000 | #Constraints: 51869 2928.07/2935.08 c #Conflicts: 1477000 | #Constraints: 52870 2928.07/2935.08 c #Conflicts: 1478000 | #Constraints: 53870 2928.07/2935.08 c #Conflicts: 1479000 | #Constraints: 54870 2928.07/2935.08 c #Conflicts: 1480000 | #Constraints: 55870 2928.07/2935.08 c #Conflicts: 1481000 | #Constraints: 56870 2928.07/2935.08 c #Conflicts: 1482000 | #Constraints: 57870 2928.07/2935.08 c #Conflicts: 1483000 | #Constraints: 58870 2928.07/2935.08 c #Conflicts: 1484000 | #Constraints: 59870 2928.07/2935.08 c #Conflicts: 1485000 | #Constraints: 60870 2928.07/2935.08 c #Conflicts: 1486000 | #Constraints: 61871 2928.07/2935.08 c #Conflicts: 1487000 | #Constraints: 62871 2928.07/2935.08 c #Conflicts: 1488000 | #Constraints: 63871 2928.07/2935.08 c #Conflicts: 1489000 | #Constraints: 64871 2928.07/2935.08 c #Conflicts: 1490000 | #Constraints: 65872 2928.07/2935.08 c #Conflicts: 1491000 | #Constraints: 66872 2928.07/2935.08 c #Conflicts: 1492000 | #Constraints: 67872 2928.07/2935.08 c #Conflicts: 1493000 | #Constraints: 68872 2928.07/2935.08 c #Conflicts: 1494000 | #Constraints: 69872 2928.07/2935.08 c #Conflicts: 1495000 | #Constraints: 70872 2928.07/2935.08 c #Conflicts: 1496000 | #Constraints: 71872 2928.07/2935.08 c #Conflicts: 1497000 | #Constraints: 72872 2928.07/2935.08 c #Conflicts: 1498000 | #Constraints: 73873 2928.07/2935.08 c #Conflicts: 1499000 | #Constraints: 74873 2928.07/2935.08 c #Conflicts: 1500000 | #Constraints: 75873 2928.07/2935.08 c #Conflicts: 1501000 | #Constraints: 76873 2928.07/2935.08 c INPROCESSING 2928.07/2935.08 c GARBAGE COLLECT 2928.07/2935.08 c rational objective 83 2984.35/2991.48 c #Conflicts: 1502000 | #Constraints: 42514 2984.35/2991.48 c #Conflicts: 1503000 | #Constraints: 43514 2984.35/2991.48 c #Conflicts: 1504000 | #Constraints: 44514 2984.35/2991.48 c #Conflicts: 1505000 | #Constraints: 45514 2984.35/2991.48 c #Conflicts: 1506000 | #Constraints: 46516 2984.35/2991.48 c #Conflicts: 1507000 | #Constraints: 47519 2984.35/2991.48 c #Conflicts: 1508000 | #Constraints: 48519 2984.35/2991.48 c #Conflicts: 1509000 | #Constraints: 49519 2984.35/2991.48 c #Conflicts: 1510000 | #Constraints: 50519 2984.35/2991.48 c #Conflicts: 1511000 | #Constraints: 51519 2984.35/2991.48 c #Conflicts: 1512000 | #Constraints: 52519 2984.35/2991.48 c #Conflicts: 1513000 | #Constraints: 53519 2984.35/2991.48 c #Conflicts: 1514000 | #Constraints: 54519 2984.35/2991.48 c #Conflicts: 1515000 | #Constraints: 55519 2984.35/2991.48 c #Conflicts: 1516000 | #Constraints: 56519 2984.35/2991.48 c #Conflicts: 1517000 | #Constraints: 57519 2984.35/2991.48 c #Conflicts: 1518000 | #Constraints: 58520 2984.35/2991.48 c #Conflicts: 1519000 | #Constraints: 59520 2984.35/2991.48 c #Conflicts: 1520000 | #Constraints: 60520 2984.35/2991.48 c #Conflicts: 1521000 | #Constraints: 61520 2984.35/2991.48 c #Conflicts: 1522000 | #Constraints: 62520 2984.35/2991.48 c #Conflicts: 1523000 | #Constraints: 63521 2984.35/2991.48 c #Conflicts: 1524000 | #Constraints: 64521 2984.35/2991.48 c #Conflicts: 1525000 | #Constraints: 65521 2984.35/2991.48 c #Conflicts: 1526000 | #Constraints: 66521 2984.35/2991.48 c #Conflicts: 1527000 | #Constraints: 67521 2984.35/2991.48 c #Conflicts: 1528000 | #Constraints: 68521 2984.35/2991.48 c INPROCESSING 2984.35/2991.48 c GARBAGE COLLECT 2984.35/2991.48 c rational objective 83 3025.17/3032.32 c #Conflicts: 1529000 | #Constraints: 38194 3025.17/3032.32 c #Conflicts: 1530000 | #Constraints: 39195 3025.17/3032.32 c #Conflicts: 1531000 | #Constraints: 40196 3025.17/3032.32 c #Conflicts: 1532000 | #Constraints: 41196 3025.17/3032.32 c #Conflicts: 1533000 | #Constraints: 42196 3025.17/3032.32 c #Conflicts: 1534000 | #Constraints: 43196 3025.17/3032.32 c #Conflicts: 1535000 | #Constraints: 44196 3025.17/3032.32 c #Conflicts: 1536000 | #Constraints: 45196 3025.17/3032.32 c #Conflicts: 1537000 | #Constraints: 46196 3025.17/3032.32 c #Conflicts: 1538000 | #Constraints: 47196 3025.17/3032.32 c #Conflicts: 1539000 | #Constraints: 48196 3025.17/3032.32 c #Conflicts: 1540000 | #Constraints: 49196 3025.17/3032.32 c #Conflicts: 1541000 | #Constraints: 50196 3025.17/3032.32 c #Conflicts: 1542000 | #Constraints: 51196 3025.17/3032.32 c #Conflicts: 1543000 | #Constraints: 52196 3025.17/3032.32 c #Conflicts: 1544000 | #Constraints: 53198 3025.17/3032.32 c #Conflicts: 1545000 | #Constraints: 54198 3025.17/3032.32 c #Conflicts: 1546000 | #Constraints: 55198 3025.17/3032.32 c #Conflicts: 1547000 | #Constraints: 56198 3025.17/3032.32 c #Conflicts: 1548000 | #Constraints: 57198 3025.17/3032.32 c #Conflicts: 1549000 | #Constraints: 58198 3025.17/3032.32 c #Conflicts: 1550000 | #Constraints: 59198 3025.17/3032.32 c #Conflicts: 1551000 | #Constraints: 60198 3025.17/3032.32 c #Conflicts: 1552000 | #Constraints: 61198 3025.17/3032.32 c #Conflicts: 1553000 | #Constraints: 62198 3025.17/3032.32 c #Conflicts: 1554000 | #Constraints: 63198 3025.17/3032.32 c #Conflicts: 1555000 | #Constraints: 64198 3025.17/3032.32 c #Conflicts: 1556000 | #Constraints: 65199 3025.17/3032.32 c INPROCESSING 3025.17/3032.32 c GARBAGE COLLECT 3025.17/3032.32 c rational objective 83 3213.97/3221.54 c #Conflicts: 1557000 | #Constraints: 36785 3213.97/3221.54 c #Conflicts: 1558000 | #Constraints: 37785 3213.97/3221.54 c #Conflicts: 1559000 | #Constraints: 38785 3213.97/3221.54 c #Conflicts: 1560000 | #Constraints: 39786 3213.97/3221.54 c #Conflicts: 1561000 | #Constraints: 40786 3213.97/3221.54 c #Conflicts: 1562000 | #Constraints: 41786 3213.97/3221.54 c #Conflicts: 1563000 | #Constraints: 42786 3213.97/3221.54 c #Conflicts: 1564000 | #Constraints: 43786 3213.97/3221.54 c #Conflicts: 1565000 | #Constraints: 44786 3213.97/3221.54 c #Conflicts: 1566000 | #Constraints: 45786 3213.97/3221.54 c #Conflicts: 1567000 | #Constraints: 46786 3213.97/3221.54 c #Conflicts: 1568000 | #Constraints: 47786 3213.97/3221.54 c #Conflicts: 1569000 | #Constraints: 48787 3213.97/3221.54 c #Conflicts: 1570000 | #Constraints: 49787 3213.97/3221.54 c #Conflicts: 1571000 | #Constraints: 50787 3213.97/3221.54 c #Conflicts: 1572000 | #Constraints: 51787 3213.97/3221.54 c #Conflicts: 1573000 | #Constraints: 52787 3213.97/3221.54 c #Conflicts: 1574000 | #Constraints: 53788 3213.97/3221.54 c #Conflicts: 1575000 | #Constraints: 54788 3213.97/3221.54 c #Conflicts: 1576000 | #Constraints: 55788 3213.97/3221.54 c #Conflicts: 1577000 | #Constraints: 56788 3213.97/3221.54 c #Conflicts: 1578000 | #Constraints: 57788 3213.97/3221.54 c #Conflicts: 1579000 | #Constraints: 58788 3213.97/3221.54 c #Conflicts: 1580000 | #Constraints: 59788 3213.97/3221.54 c #Conflicts: 1581000 | #Constraints: 60788 3213.97/3221.54 c #Conflicts: 1582000 | #Constraints: 61788 3213.97/3221.54 c #Conflicts: 1583000 | #Constraints: 62788 3213.97/3221.54 c #Conflicts: 1584000 | #Constraints: 63788 3213.97/3221.54 c #Conflicts: 1585000 | #Constraints: 64788 3213.97/3221.54 c #Conflicts: 1586000 | #Constraints: 65788 3213.97/3221.54 c #Conflicts: 1587000 | #Constraints: 66788 3213.97/3221.54 c #Conflicts: 1588000 | #Constraints: 67788 3213.97/3221.54 c #Conflicts: 1589000 | #Constraints: 68789 3213.97/3221.54 c #Conflicts: 1590000 | #Constraints: 69789 3213.97/3221.54 c #Conflicts: 1591000 | #Constraints: 70789 3213.97/3221.54 c #Conflicts: 1592000 | #Constraints: 71790 3213.97/3221.54 c #Conflicts: 1593000 | #Constraints: 72790 3213.97/3221.54 c #Conflicts: 1594000 | #Constraints: 73790 3213.97/3221.54 c #Conflicts: 1595000 | #Constraints: 74790 3213.97/3221.54 c #Conflicts: 1596000 | #Constraints: 75790 3213.97/3221.54 c #Conflicts: 1597000 | #Constraints: 76790 3213.97/3221.54 c #Conflicts: 1598000 | #Constraints: 77790 3213.97/3221.54 c #Conflicts: 1599000 | #Constraints: 78790 3213.97/3221.54 c #Conflicts: 1600000 | #Constraints: 79790 3213.97/3221.54 c #Conflicts: 1601000 | #Constraints: 80791 3213.97/3221.54 c #Conflicts: 1602000 | #Constraints: 81791 3213.97/3221.54 c #Conflicts: 1603000 | #Constraints: 82791 3213.97/3221.54 c #Conflicts: 1604000 | #Constraints: 83791 3213.97/3221.54 c #Conflicts: 1605000 | #Constraints: 84791 3213.97/3221.54 c #Conflicts: 1606000 | #Constraints: 85791 3213.97/3221.54 c #Conflicts: 1607000 | #Constraints: 86791 3213.97/3221.54 c #Conflicts: 1608000 | #Constraints: 87791 3213.97/3221.54 c #Conflicts: 1609000 | #Constraints: 88791 3213.97/3221.54 c #Conflicts: 1610000 | #Constraints: 89791 3213.97/3221.54 c #Conflicts: 1611000 | #Constraints: 90791 3213.97/3221.54 c #Conflicts: 1612000 | #Constraints: 91791 3213.97/3221.54 c #Conflicts: 1613000 | #Constraints: 92791 3213.97/3221.54 c #Conflicts: 1614000 | #Constraints: 93791 3213.97/3221.54 c #Conflicts: 1615000 | #Constraints: 94791 3213.97/3221.54 c #Conflicts: 1616000 | #Constraints: 95791 3213.97/3221.54 c #Conflicts: 1617000 | #Constraints: 96791 3213.97/3221.54 c #Conflicts: 1618000 | #Constraints: 97791 3213.97/3221.54 c #Conflicts: 1619000 | #Constraints: 98791 3213.97/3221.54 c #Conflicts: 1620000 | #Constraints: 99791 3213.97/3221.54 c #Conflicts: 1621000 | #Constraints: 100791 3213.97/3221.54 c #Conflicts: 1622000 | #Constraints: 101792 3213.97/3221.54 c #Conflicts: 1623000 | #Constraints: 102792 3213.97/3221.54 c #Conflicts: 1624000 | #Constraints: 103792 3213.97/3221.54 c #Conflicts: 1625000 | #Constraints: 104792 3213.97/3221.54 c #Conflicts: 1626000 | #Constraints: 105792 3213.97/3221.54 c #Conflicts: 1627000 | #Constraints: 106792 3213.97/3221.54 c #Conflicts: 1628000 | #Constraints: 107793 3213.97/3221.54 c #Conflicts: 1629000 | #Constraints: 108793 3213.97/3221.54 c #Conflicts: 1630000 | #Constraints: 109793 3213.97/3221.54 c #Conflicts: 1631000 | #Constraints: 110794 3213.97/3221.54 c #Conflicts: 1632000 | #Constraints: 111794 3213.97/3221.54 c #Conflicts: 1633000 | #Constraints: 112794 3213.97/3221.54 c #Conflicts: 1634000 | #Constraints: 113794 3213.97/3221.54 c #Conflicts: 1635000 | #Constraints: 114794 3315.22/3323.02 c #Conflicts: 1636000 | #Constraints: 115794 3315.22/3323.02 c #Conflicts: 1637000 | #Constraints: 116794 3315.22/3323.02 c #Conflicts: 1638000 | #Constraints: 117794 3315.22/3323.02 c #Conflicts: 1639000 | #Constraints: 118794 3315.22/3323.02 c #Conflicts: 1640000 | #Constraints: 119794 3315.22/3323.02 c #Conflicts: 1641000 | #Constraints: 120794 3315.22/3323.02 c #Conflicts: 1642000 | #Constraints: 121795 3315.22/3323.02 c #Conflicts: 1643000 | #Constraints: 122795 3315.22/3323.02 c #Conflicts: 1644000 | #Constraints: 123795 3315.22/3323.02 c #Conflicts: 1645000 | #Constraints: 124795 3315.22/3323.02 c #Conflicts: 1646000 | #Constraints: 125795 3315.22/3323.02 c #Conflicts: 1647000 | #Constraints: 126795 3315.22/3323.02 c #Conflicts: 1648000 | #Constraints: 127795 3315.22/3323.02 c #Conflicts: 1649000 | #Constraints: 128795 3315.22/3323.02 c #Conflicts: 1650000 | #Constraints: 129795 3315.22/3323.02 c #Conflicts: 1651000 | #Constraints: 130795 3315.22/3323.02 c #Conflicts: 1652000 | #Constraints: 131795 3315.22/3323.02 c #Conflicts: 1653000 | #Constraints: 132795 3315.22/3323.02 c #Conflicts: 1654000 | #Constraints: 133795 3315.22/3323.02 c #Conflicts: 1655000 | #Constraints: 134795 3315.22/3323.02 c #Conflicts: 1656000 | #Constraints: 135795 3315.22/3323.02 c INPROCESSING 3315.22/3323.02 c GARBAGE COLLECT 3315.22/3323.02 c rational objective 83 3384.15/3392.12 c #Conflicts: 1657000 | #Constraints: 72230 3384.15/3392.12 c #Conflicts: 1658000 | #Constraints: 73230 3384.15/3392.12 c #Conflicts: 1659000 | #Constraints: 74231 3384.15/3392.12 c #Conflicts: 1660000 | #Constraints: 75231 3384.15/3392.12 c #Conflicts: 1661000 | #Constraints: 76231 3384.15/3392.12 c #Conflicts: 1662000 | #Constraints: 77231 3384.15/3392.12 c #Conflicts: 1663000 | #Constraints: 78231 3384.15/3392.12 c #Conflicts: 1664000 | #Constraints: 79231 3384.15/3392.12 c #Conflicts: 1665000 | #Constraints: 80231 3384.15/3392.12 c #Conflicts: 1666000 | #Constraints: 81231 3384.15/3392.12 c #Conflicts: 1667000 | #Constraints: 82231 3384.15/3392.12 c #Conflicts: 1668000 | #Constraints: 83231 3384.15/3392.12 c #Conflicts: 1669000 | #Constraints: 84232 3384.15/3392.12 c #Conflicts: 1670000 | #Constraints: 85232 3384.15/3392.12 c #Conflicts: 1671000 | #Constraints: 86232 3384.15/3392.12 c #Conflicts: 1672000 | #Constraints: 87232 3384.15/3392.12 c #Conflicts: 1673000 | #Constraints: 88232 3384.15/3392.12 c #Conflicts: 1674000 | #Constraints: 89232 3384.15/3392.12 c #Conflicts: 1675000 | #Constraints: 90232 3384.15/3392.12 c #Conflicts: 1676000 | #Constraints: 91232 3384.15/3392.12 c #Conflicts: 1677000 | #Constraints: 92232 3384.15/3392.12 c #Conflicts: 1678000 | #Constraints: 93232 3384.15/3392.12 c #Conflicts: 1679000 | #Constraints: 94232 3384.15/3392.12 c #Conflicts: 1680000 | #Constraints: 95232 3384.15/3392.12 c #Conflicts: 1681000 | #Constraints: 96232 3384.15/3392.12 c #Conflicts: 1682000 | #Constraints: 97232 3384.15/3392.12 c #Conflicts: 1683000 | #Constraints: 98232 3384.15/3392.12 c #Conflicts: 1684000 | #Constraints: 99232 3384.15/3392.12 c INPROCESSING 3384.15/3392.12 c GARBAGE COLLECT 3384.15/3392.12 c rational objective 83 3441.92/3450.07 c #Conflicts: 1685000 | #Constraints: 53537 3441.92/3450.07 c #Conflicts: 1686000 | #Constraints: 54537 3441.92/3450.07 c #Conflicts: 1687000 | #Constraints: 55537 3441.92/3450.07 c #Conflicts: 1688000 | #Constraints: 56537 3441.92/3450.07 c #Conflicts: 1689000 | #Constraints: 57537 3441.92/3450.07 c #Conflicts: 1690000 | #Constraints: 58537 3441.92/3450.07 c #Conflicts: 1691000 | #Constraints: 59537 3441.92/3450.07 c #Conflicts: 1692000 | #Constraints: 60537 3441.92/3450.07 c #Conflicts: 1693000 | #Constraints: 61537 3441.92/3450.07 c #Conflicts: 1694000 | #Constraints: 62537 3441.92/3450.07 c #Conflicts: 1695000 | #Constraints: 63537 3441.92/3450.07 c #Conflicts: 1696000 | #Constraints: 64537 3441.92/3450.07 c #Conflicts: 1697000 | #Constraints: 65538 3441.92/3450.07 c #Conflicts: 1698000 | #Constraints: 66538 3441.92/3450.07 c #Conflicts: 1699000 | #Constraints: 67539 3441.92/3450.07 c #Conflicts: 1700000 | #Constraints: 68539 3441.92/3450.07 c #Conflicts: 1701000 | #Constraints: 69539 3441.92/3450.07 c #Conflicts: 1702000 | #Constraints: 70539 3441.92/3450.07 c #Conflicts: 1703000 | #Constraints: 71539 3441.92/3450.07 c #Conflicts: 1704000 | #Constraints: 72539 3441.92/3450.07 c #Conflicts: 1705000 | #Constraints: 73539 3441.92/3450.07 c #Conflicts: 1706000 | #Constraints: 74539 3441.92/3450.07 c #Conflicts: 1707000 | #Constraints: 75539 3441.92/3450.07 c #Conflicts: 1708000 | #Constraints: 76539 3441.92/3450.07 c #Conflicts: 1709000 | #Constraints: 77539 3441.92/3450.07 c #Conflicts: 1710000 | #Constraints: 78539 3441.92/3450.07 c #Conflicts: 1711000 | #Constraints: 79540 3441.92/3450.07 c #Conflicts: 1712000 | #Constraints: 80540 3441.92/3450.07 c #Conflicts: 1713000 | #Constraints: 81540 3441.92/3450.07 c INPROCESSING 3441.92/3450.07 c GARBAGE COLLECT 3441.92/3450.07 c rational objective 83 3492.00/3500.25 c #Conflicts: 1714000 | #Constraints: 44690 3492.00/3500.25 c #Conflicts: 1715000 | #Constraints: 45690 3492.00/3500.25 c #Conflicts: 1716000 | #Constraints: 46690 3492.00/3500.25 c #Conflicts: 1717000 | #Constraints: 47690 3492.00/3500.25 c #Conflicts: 1718000 | #Constraints: 48690 3492.00/3500.25 c #Conflicts: 1719000 | #Constraints: 49690 3492.00/3500.25 c #Conflicts: 1720000 | #Constraints: 50690 3492.00/3500.25 c #Conflicts: 1721000 | #Constraints: 51690 3492.00/3500.25 c #Conflicts: 1722000 | #Constraints: 52690 3492.00/3500.25 c #Conflicts: 1723000 | #Constraints: 53690 3492.00/3500.25 c #Conflicts: 1724000 | #Constraints: 54690 3492.00/3500.25 c #Conflicts: 1725000 | #Constraints: 55690 3492.00/3500.25 c #Conflicts: 1726000 | #Constraints: 56690 3492.00/3500.25 c #Conflicts: 1727000 | #Constraints: 57691 3492.00/3500.25 c #Conflicts: 1728000 | #Constraints: 58691 3492.00/3500.25 c #Conflicts: 1729000 | #Constraints: 59691 3492.00/3500.25 c #Conflicts: 1730000 | #Constraints: 60691 3492.00/3500.25 c #Conflicts: 1731000 | #Constraints: 61691 3492.00/3500.25 c #Conflicts: 1732000 | #Constraints: 62691 3492.00/3500.25 c #Conflicts: 1733000 | #Constraints: 63691 3492.00/3500.25 c #Conflicts: 1734000 | #Constraints: 64692 3492.00/3500.25 c #Conflicts: 1735000 | #Constraints: 65692 3492.00/3500.25 c #Conflicts: 1736000 | #Constraints: 66692 3492.00/3500.25 c #Conflicts: 1737000 | #Constraints: 67692 3492.00/3500.25 c #Conflicts: 1738000 | #Constraints: 68692 3492.00/3500.25 c #Conflicts: 1739000 | #Constraints: 69692 3492.00/3500.25 c #Conflicts: 1740000 | #Constraints: 70692 3492.00/3500.25 c #Conflicts: 1741000 | #Constraints: 71692 3492.00/3500.25 c #Conflicts: 1742000 | #Constraints: 72692 3492.00/3500.25 c #Conflicts: 1743000 | #Constraints: 73693 3492.00/3500.25 c INPROCESSING 3492.00/3500.25 c GARBAGE COLLECT 3492.00/3500.25 c rational objective 83 3538.99/3547.38 c #Conflicts: 1744000 | #Constraints: 41183 3538.99/3547.38 c #Conflicts: 1745000 | #Constraints: 42183 3538.99/3547.38 c #Conflicts: 1746000 | #Constraints: 43183 3538.99/3547.38 c #Conflicts: 1747000 | #Constraints: 44184 3538.99/3547.38 c #Conflicts: 1748000 | #Constraints: 45184 3538.99/3547.38 c #Conflicts: 1749000 | #Constraints: 46184 3538.99/3547.38 c #Conflicts: 1750000 | #Constraints: 47184 3538.99/3547.38 c #Conflicts: 1751000 | #Constraints: 48184 3538.99/3547.38 c #Conflicts: 1752000 | #Constraints: 49184 3538.99/3547.38 c #Conflicts: 1753000 | #Constraints: 50184 3538.99/3547.38 c #Conflicts: 1754000 | #Constraints: 51184 3538.99/3547.38 c #Conflicts: 1755000 | #Constraints: 52184 3538.99/3547.38 c #Conflicts: 1756000 | #Constraints: 53184 3538.99/3547.38 c #Conflicts: 1757000 | #Constraints: 54184 3538.99/3547.38 c #Conflicts: 1758000 | #Constraints: 55184 3538.99/3547.38 c #Conflicts: 1759000 | #Constraints: 56184 3538.99/3547.38 c #Conflicts: 1760000 | #Constraints: 57185 3538.99/3547.38 c #Conflicts: 1761000 | #Constraints: 58185 3538.99/3547.38 c #Conflicts: 1762000 | #Constraints: 59185 3538.99/3547.38 c #Conflicts: 1763000 | #Constraints: 60185 3538.99/3547.38 c #Conflicts: 1764000 | #Constraints: 61185 3538.99/3547.38 c #Conflicts: 1765000 | #Constraints: 62185 3538.99/3547.38 c #Conflicts: 1766000 | #Constraints: 63185 3538.99/3547.38 c #Conflicts: 1767000 | #Constraints: 64186 3538.99/3547.38 c #Conflicts: 1768000 | #Constraints: 65186 3538.99/3547.38 c #Conflicts: 1769000 | #Constraints: 66186 3538.99/3547.38 c #Conflicts: 1770000 | #Constraints: 67186 3538.99/3547.38 c #Conflicts: 1771000 | #Constraints: 68186 3538.99/3547.38 c #Conflicts: 1772000 | #Constraints: 69186 3538.99/3547.38 c INPROCESSING 3538.99/3547.38 c GARBAGE COLLECT 3538.99/3547.38 c rational objective 83 3600.04/3608.50 c #Conflicts: 1773000 | #Constraints: 38688 3600.04/3608.50 c #Conflicts: 1774000 | #Constraints: 39688 3600.04/3608.50 c #Conflicts: 1775000 | #Constraints: 40688 3600.04/3608.50 c #Conflicts: 1776000 | #Constraints: 41688 3600.04/3608.50 c #Conflicts: 1777000 | #Constraints: 42688 3600.04/3608.50 c #Conflicts: 1778000 | #Constraints: 43688 3600.04/3608.50 c #Conflicts: 1779000 | #Constraints: 44688 3600.04/3608.50 c #Conflicts: 1780000 | #Constraints: 45688 3600.04/3608.50 c #Conflicts: 1781000 | #Constraints: 46688 3600.04/3608.50 c #Conflicts: 1782000 | #Constraints: 47688 3600.04/3608.50 c #Conflicts: 1783000 | #Constraints: 48688 3600.04/3608.50 c #Conflicts: 1784000 | #Constraints: 49688 3600.04/3608.50 c #Conflicts: 1785000 | #Constraints: 50688 3600.04/3608.50 c #Conflicts: 1786000 | #Constraints: 51688 3600.04/3608.50 c #Conflicts: 1787000 | #Constraints: 52688 3600.04/3608.50 c #Conflicts: 1788000 | #Constraints: 53688 3600.04/3608.50 c #Conflicts: 1789000 | #Constraints: 54688 3600.04/3608.50 c #Conflicts: 1790000 | #Constraints: 55688 3600.04/3608.50 c #Conflicts: 1791000 | #Constraints: 56688 3600.04/3608.50 c #Conflicts: 1792000 | #Constraints: 57688 3600.04/3608.50 c #Conflicts: 1793000 | #Constraints: 58688 3600.04/3608.50 c #Conflicts: 1794000 | #Constraints: 59688 3600.04/3608.50 c #Conflicts: 1795000 | #Constraints: 60688 3600.04/3608.50 c #Conflicts: 1796000 | #Constraints: 61688 3600.04/3608.50 c #Conflicts: 1797000 | #Constraints: 62688 3600.04/3608.50 c #Conflicts: 1798000 | #Constraints: 63689 3600.04/3608.50 c #Conflicts: 1799000 | #Constraints: 64689 3600.04/3608.50 c #Conflicts: 1800000 | #Constraints: 65689 3600.04/3608.50 c #Conflicts: 1801000 | #Constraints: 66689 3600.04/3608.50 c #Conflicts: 1802000 | #Constraints: 67689 3600.04/3608.50 c #Conflicts: 1803000 | #Constraints: 68690 3600.04/3608.50 c #Conflicts: 1804000 | #Constraints: 69690 3600.04/3608.50 c #Conflicts: 1805000 | #Constraints: 70690 3600.04/3608.50 c #Conflicts: 1806000 | #Constraints: 71690 3600.04/3608.50 c #Conflicts: 1807000 | #Constraints: 72690 3600.04/3608.50 c #Conflicts: 1808000 | #Constraints: 73690 3600.04/3608.50 c #Conflicts: 1809000 | #Constraints: 74690 3600.04/3608.50 c #Conflicts: 1810000 | #Constraints: 75690 3600.04/3608.50 c #Conflicts: 1811000 | #Constraints: 76690 3600.04/3608.50 c #Conflicts: 1812000 | #Constraints: 77690 3600.04/3608.50 c #Conflicts: 1813000 | #Constraints: 78690 3600.04/3608.50 c Program interrupted by user. 3600.04/3608.50 c cpu time 3566.84 s 3600.04/3608.50 c deterministic time 408383333626 4.08e+11 3600.04/3608.50 c optimization time 59.5196 s 3600.04/3608.50 c total solve time 3507.3 s 3600.04/3608.50 c core-guided solve time 0 s 3600.04/3608.50 c propagation time 2372.09 s 3600.04/3608.50 c conflict analysis time 767.392 s 3600.04/3608.50 c propagations 758085498 3600.04/3608.50 c resolve steps 68106960 3600.04/3608.50 c decisions 13195115 3600.04/3608.50 c conflicts 1813021 3600.04/3608.50 c restarts 3542 3600.04/3608.50 c inprocessing phases 84 3600.04/3608.50 c input clauses 5729 3600.04/3608.50 c input cardinalities 83 3600.04/3608.50 c input general constraints 0 3600.04/3608.50 c input average constraint length 6.23 3600.04/3608.50 c input average constraint degree 1.94 3600.04/3608.50 c learned clauses 1259856 3600.04/3608.50 c learned cardinalities 35874 3600.04/3608.50 c learned general constraints 517580 3600.04/3608.50 c learned average constraint length 838.47 3600.04/3608.50 c learned average constraint degree 92550013.46 3600.04/3608.50 c watched constraints 446737 3600.04/3608.50 c counting constraints 70843 3600.04/3608.50 c gcd simplifications 6874 3600.04/3608.50 c detected cardinalities 1812 3600.04/3608.50 c weakened non-implied lits 261285835 3600.04/3608.50 c weakened non-implying lits 621028 3600.04/3608.50 c original variables 5644 3600.04/3608.50 c clausal propagations 281797706 3600.04/3608.50 c cardinality propagations 255020618 3600.04/3608.50 c watched propagations 69183704 3600.04/3608.50 c counting propagations 146309546 3600.04/3608.50 c watch lookups 33936424773 3600.04/3608.50 c watch backjump lookups 26632523018 3600.04/3608.50 c watch checks 290749550673 3600.04/3608.50 c propagation checks 50934378677 3600.04/3608.50 c constraint additions 4583534944 3600.04/3608.50 c trail pops 773090301 3600.04/3608.50 c formula constraints 5812 3600.04/3608.50 c learned constraints 1812776 3600.04/3608.50 c bound constraints 0 3600.04/3608.50 c core-guided constraints 0 3600.04/3608.50 c encountered formula constraints 38540730 3600.04/3608.50 c encountered learned constraints 31370772 3600.04/3608.50 c encountered bound constraints 0 3600.04/3608.50 c encountered core-guided constraints 0 3600.04/3608.50 c LP total time 878.046 s 3600.04/3608.50 c LP solve time 818.71 s 3600.04/3608.50 c LP constraints added 11662 3600.04/3608.50 c LP constraints removed 5716 3600.04/3608.50 c LP pivots internal 1819627 3600.04/3608.50 c LP pivots root 730999 3600.04/3608.50 c LP calls 380 3600.04/3608.50 c LP optimalities 130 3600.04/3608.50 c LP no pivot count 2 3600.04/3608.50 c LP infeasibilities 244 3600.04/3608.50 c LP valid Farkas constraints 244 3600.04/3608.50 c LP learned Farkas constraints 244 3600.04/3608.50 c LP basis resets 0 3600.04/3608.50 c LP cycling count 0 3600.04/3608.50 c LP singular count 0 3600.04/3608.50 c LP no primal count 0 3600.04/3608.50 c LP no farkas count 0 3600.04/3608.50 c LP other issue count 0 3600.04/3608.50 c LP Gomory cuts 46 3600.04/3608.50 c LP learned cuts 5804 3600.04/3608.50 c LP deleted cuts 5716 3600.04/3608.50 c LP encountered Gomory constraints 1120 3600.04/3608.50 c LP encountered Farkas constraints 5649 3600.04/3608.50 c LP encountered learned Farkas constraints 1466 3600.04/3608.50 c CG auxiliary variables introduced 0 3600.04/3608.50 c CG solutions found 0 3600.04/3608.50 c CG cores constructed 0 3600.04/3608.50 c CG core cardinality constraints returned 0 3600.04/3608.50 c CG unit cores 0 3600.04/3608.50 c CG single cores 0 3600.04/3608.50 c CG blocks removed during cardinality reduction 0 3600.04/3608.50 c CG first core best 0 3600.04/3608.50 c CG decision core best 0 3600.04/3608.50 c CG core reduction tie 0 3600.04/3608.50 c CG core degree average 0.00 3600.04/3608.50 c CG core slack average 0.00 3600.04/3608.50 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 (62052 MiB free)
memory of node 1: 64473 MiB (60584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455623-1721464613/watcher-4455623-1721464613 -o /tmp/evaluation-result-4455623-1721464613/solver-4455623-1721464613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048582 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455623-1721464613.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=1052721, runsolver pid=1052718
[startup+0.100917 s]*
/proc/loadavg: 4.13 4.13 4.14 5/258 1052722
/proc/meminfo: memFree=125569284/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=47272 memory=16244 CPUtime=0.09 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 3092 0 0 0 8 1 0 0 20 0 1 0 198624853 48406528 4061 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 11818 4061 1673 922 0 3770 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47272 KiB
Current children cumulated memory: 16244 KiB
[startup+0.205642 s]*
/proc/loadavg: 4.13 4.13 4.14 5/258 1052722
/proc/meminfo: memFree=125567904/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=47964 memory=17036 CPUtime=0.19 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 3258 0 0 0 18 1 0 0 20 0 1 0 198624853 49115136 4259 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 11991 4259 1673 922 0 3943 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47964 KiB
Current children cumulated memory: 17036 KiB
[startup+0.305652 s]*
/proc/loadavg: 4.13 4.13 4.14 5/258 1052722
/proc/meminfo: memFree=125567428/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=48144 memory=17300 CPUtime=0.29 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 3350 0 0 0 28 1 0 0 20 0 1 0 198624853 49299456 4325 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 12036 4325 1673 922 0 3988 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48144 KiB
Current children cumulated memory: 17300 KiB
[startup+0.700219 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 1052722
/proc/meminfo: memFree=125566280/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=48688 memory=17828 CPUtime=0.68 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 3507 0 0 0 66 2 0 0 20 0 1 0 198624853 49856512 4457 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 12172 4457 1673 922 0 4124 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48688 KiB
Current children cumulated memory: 17828 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 1052722
/proc/meminfo: memFree=125562860/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=50324 memory=22364 CPUtime=1.48 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 4020 0 0 0 141 7 0 0 20 0 1 0 198624853 51531776 5591 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 12581 5591 1775 922 0 4533 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50324 KiB
Current children cumulated memory: 22364 KiB
[startup+3.10549 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 1052722
/proc/meminfo: memFree=125560264/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=50508 memory=22624 CPUtime=3.08 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 4080 0 0 0 299 9 0 0 20 0 1 0 198624853 51720192 5656 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 12627 5656 1775 922 0 4579 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50508 KiB
Current children cumulated memory: 22624 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.13 4.14 5/258 1052723
/proc/meminfo: memFree=125553688/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=53432 memory=25988 CPUtime=6.27 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 5086 0 0 0 609 18 0 0 20 0 1 0 198624853 54714368 6497 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 13358 6497 1775 922 0 5310 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 25988 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.14 5/258 1052723
/proc/meminfo: memFree=125526328/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=57500 memory=30316 CPUtime=12.66 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 5610 0 0 0 1238 28 0 0 20 0 1 0 198624853 58880000 7579 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 14375 7579 1791 922 0 6327 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 57500 KiB
Current children cumulated memory: 30316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.14 5/258 1052726
/proc/meminfo: memFree=125484532/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=80348 memory=52012 CPUtime=25.42 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 10743 0 0 0 2486 56 0 0 20 0 1 0 198624853 82276352 13003 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 20087 13003 1791 922 0 12039 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 80348 KiB
Current children cumulated memory: 52012 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.12 4.14 5/258 1052730
/proc/meminfo: memFree=125478320/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=90744 memory=57440 CPUtime=50.97 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 12100 0 0 0 4995 102 0 0 20 0 1 0 198624853 92921856 14360 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 22686 14360 1807 922 0 14638 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 90744 KiB
Current children cumulated memory: 57440 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/259 1052740
/proc/meminfo: memFree=125417604/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=108776 memory=70868 CPUtime=102.04 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 14304 0 0 0 10009 195 0 0 20 0 1 0 198624853 111386624 17717 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 27194 17717 1807 922 0 19146 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 108776 KiB
Current children cumulated memory: 70868 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/259 1052750
/proc/meminfo: memFree=125311400/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=175292 memory=142032 CPUtime=161.91 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 19801 0 0 0 15891 300 0 0 20 0 1 0 198624853 179499008 35508 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 43823 35508 1807 922 0 35775 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 175292 KiB
Current children cumulated memory: 142032 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/258 1052760
/proc/meminfo: memFree=125288332/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=229940 memory=160240 CPUtime=221.76 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 21336 0 0 0 21778 398 0 0 20 0 1 0 198624853 235458560 40060 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 57485 40060 1807 922 0 49437 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 229940 KiB
Current children cumulated memory: 160240 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/258 1052776
/proc/meminfo: memFree=125187908/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=320768 memory=226868 CPUtime=281.62 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 24690 0 0 0 27693 469 0 0 20 0 1 0 198624853 328466432 56717 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 80192 56717 1807 922 0 72144 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 320768 KiB
Current children cumulated memory: 226868 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/258 1052786
/proc/meminfo: memFree=125159468/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=321820 memory=228316 CPUtime=341.48 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 25245 0 0 0 33587 561 0 0 20 0 1 0 198624853 329543680 57079 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 80455 57079 1807 922 0 72407 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 321820 KiB
Current children cumulated memory: 228316 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/257 1052796
/proc/meminfo: memFree=125102024/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=332824 memory=240012 CPUtime=401.32 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 28087 0 0 0 39510 622 0 0 20 0 1 0 198624853 340811776 60003 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 83206 60003 1807 922 0 75158 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 332824 KiB
Current children cumulated memory: 240012 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/257 1052808
/proc/meminfo: memFree=124980596/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=334100 memory=241352 CPUtime=461.17 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 28471 0 0 0 45420 697 0 0 20 0 1 0 198624853 342118400 60338 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 83525 60338 1807 922 0 75477 0
################
# More data... #
################
Current children cumulated memory: 729904 KiB
[startup+2922.3 s]
/proc/loadavg: 3.18 3.65 3.91 4/251 1054040
/proc/meminfo: memFree=125918756/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=782224 memory=730916 CPUtime=2915.4 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 60913 0 0 0 288754 2786 0 0 20 0 1 0 198624853 800997376 182729 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 195556 182729 1935 922 0 187508 0
Current children cumulated CPU time: 2915.4 s
Current children cumulated vsize: 782224 KiB
Current children cumulated memory: 730916 KiB
[startup+2982.3 s]
/proc/loadavg: 3.19 3.56 3.86 4/250 1054432
/proc/meminfo: memFree=125917692/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=782224 memory=731080 CPUtime=2975.27 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 61094 0 0 0 294685 2842 0 0 20 0 1 0 198624853 800997376 182770 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 195556 182770 1935 922 0 187508 0
Current children cumulated CPU time: 2975.27 s
Current children cumulated vsize: 782224 KiB
Current children cumulated memory: 731080 KiB
[startup+3042.3 s]
/proc/loadavg: 3.11 3.47 3.81 4/249 1054443
/proc/meminfo: memFree=125910084/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=780808 memory=729440 CPUtime=3035.15 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 61409 0 0 0 300611 2904 0 0 20 0 1 0 198624853 799547392 182360 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 195202 182360 1935 922 0 187154 0
Current children cumulated CPU time: 3035.15 s
Current children cumulated vsize: 780808 KiB
Current children cumulated memory: 729440 KiB
[startup+3102.3 s]
/proc/loadavg: 3.13 3.42 3.77 4/249 1054453
/proc/meminfo: memFree=125913400/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=780968 memory=729908 CPUtime=3095.03 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 61792 0 0 0 306554 2949 0 0 20 0 1 0 198624853 799711232 182477 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 195242 182477 1935 922 0 187194 0
Current children cumulated CPU time: 3095.03 s
Current children cumulated vsize: 780968 KiB
Current children cumulated memory: 729908 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.37 3.73 4/249 1054631
/proc/meminfo: memFree=125912492/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=781344 memory=730084 CPUtime=3154.9 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 62209 0 0 0 312515 2975 0 0 20 0 1 0 198624853 800096256 182521 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 195336 182521 1935 922 0 187288 0
Current children cumulated CPU time: 3154.9 s
Current children cumulated vsize: 781344 KiB
Current children cumulated memory: 730084 KiB
[startup+3222.3 s]
/proc/loadavg: 3.16 3.33 3.69 4/248 1054641
/proc/meminfo: memFree=125850700/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=1132476 memory=783836 CPUtime=3214.77 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 63184 0 0 0 318475 3002 0 0 20 0 1 0 198624853 1159655424 195959 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 283119 195959 1935 922 0 275071 0
Current children cumulated CPU time: 3214.77 s
Current children cumulated vsize: 1132476 KiB
Current children cumulated memory: 783836 KiB
[startup+3282.3 s]
/proc/loadavg: 3.19 3.30 3.66 4/252 1054712
/proc/meminfo: memFree=125769460/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=1138108 memory=863676 CPUtime=3274.62 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 64371 0 0 0 324436 3026 0 0 20 0 1 0 198624853 1165422592 215919 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 284527 215919 1935 922 0 276479 0
Current children cumulated CPU time: 3274.62 s
Current children cumulated vsize: 1138108 KiB
Current children cumulated memory: 863676 KiB
[startup+3342.3 s]
/proc/loadavg: 3.18 3.27 3.62 4/252 1054722
/proc/meminfo: memFree=125730420/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=1146484 memory=902900 CPUtime=3334.47 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 66124 0 0 0 330386 3061 0 0 20 0 1 0 198624853 1173999616 225725 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 286621 225725 1935 922 0 278573 0
Current children cumulated CPU time: 3334.47 s
Current children cumulated vsize: 1146484 KiB
Current children cumulated memory: 902900 KiB
[startup+3402.3 s]
/proc/loadavg: 3.21 3.25 3.59 4/252 1054732
/proc/meminfo: memFree=125711660/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=1147640 memory=903796 CPUtime=3394.33 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 66551 0 0 0 336324 3109 0 0 20 0 1 0 198624853 1175183360 225949 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 286910 225949 1935 922 0 278862 0
Current children cumulated CPU time: 3394.33 s
Current children cumulated vsize: 1147640 KiB
Current children cumulated memory: 903796 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.22 3.56 4/252 1054745
/proc/meminfo: memFree=125710652/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=1146432 memory=902760 CPUtime=3454.18 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 67128 0 0 0 342253 3165 0 0 20 0 1 0 198624853 1173946368 225690 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 286608 225690 1935 922 0 278560 0
Current children cumulated CPU time: 3454.18 s
Current children cumulated vsize: 1146432 KiB
Current children cumulated memory: 902760 KiB
[startup+3522.3 s]
/proc/loadavg: 3.15 3.21 3.53 4/253 1054756
/proc/meminfo: memFree=125713676/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=1146984 memory=903380 CPUtime=3514.05 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 67626 0 0 0 348173 3232 0 0 20 0 1 0 198624853 1174511616 225845 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 286746 225845 1935 922 0 278698 0
Current children cumulated CPU time: 3514.05 s
Current children cumulated vsize: 1146984 KiB
Current children cumulated memory: 903380 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.18 3.50 4/248 1054766
/proc/meminfo: memFree=125707388/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=1147904 memory=904112 CPUtime=3573.91 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 68161 0 0 0 354090 3301 0 0 20 0 1 0 198624853 1175453696 226028 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 286976 226028 1935 922 0 278928 0
Current children cumulated CPU time: 3573.91 s
Current children cumulated vsize: 1147904 KiB
Current children cumulated memory: 904112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 3.14 3.18 3.49 3/246 1054770
/proc/meminfo: memFree=126492048/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=1147904 memory=904144 CPUtime=3600.04 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 68332 0 0 0 356683 3321 0 0 20 0 1 0 198624853 1175453696 226036 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 286976 226036 1935 922 0 278928 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1147904 KiB
Current children cumulated memory: 904144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.51 s]
# the end of solver process 1052721 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3566.84 s, system=33.2308 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.5 s]
/proc/loadavg: 3.14 3.18 3.49 3/246 1054770
/proc/meminfo: memFree=126492048/131524600 swapFree=131071996/131071996
[pid=1052721] ppid=1052718 vsize=1147904 memory=904144 CPUtime=3600.04 cores=5,7
/proc/1052721/stat : 1052721 (roundingsat) R 1052718 1052721 1048569 0 -1 4194304 68332 0 0 0 356683 3321 0 0 20 0 1 0 198624853 1175453696 226036 134679101440 4194304 7968373 140722361120768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37437440 140722361123772 140722361123936 140722361123936 140722361130953 0
/proc/1052721/statm: 286976 226036 1935 922 0 278928 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1147904 KiB
Current children cumulated memory: 904144 KiB
Child status: 0
Real time (s): 3608.51
CPU time (s): 3600.07
CPU user time (s): 3566.84
CPU system time (s): 33.2308
CPU usage (%): 99.766
Max. virtual memory (cumulated for all children) (KiB): 1147904
Max. memory (cumulated for all children) (KiB): 904144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.84
system time used= 33.2308
maximum resident set size= 904144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 2693
# summary of solver processes directly reported to runsolver:
# pid: 1052721
# total CPU time (s): 3600.07
# total CPU user time (s): 3566.84
# total CPU system time (s): 33.2308
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81654 second user time and 15.8248 second system time
The end
Begin job on nodeC020 at 2024-07-20 10:37:07 IDJOB=4455623 IDBENCH=158345 IDSOLVER=3084 FILE ID=nodeC020/4455623-1721464613 RUNJOBID= nodeC020-1721457405-1048582 SLURM_JOB_ID= 7545697 Free space on /tmp= 890032 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455623-1721464613/watcher-4455623-1721464613 -o /tmp/evaluation-result-4455623-1721464613/solver-4455623-1721464613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048582 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455623-1721464613.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bcb1c72c6ad4afea1adf0a0324f1d09c RANDOM SEED=1632514805 nodeC020.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 : 3667.858 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.05 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 : 3670.479 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 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 : 3600.248 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.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.389 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 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 : 3667.889 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.05 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 : 3669.960 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.238 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.05 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 : 3654.060 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125579524 kB MemAvailable: 127803372 kB Buffers: 569064 kB Cached: 2480536 kB SwapCached: 0 kB Active: 1026264 kB Inactive: 4258952 kB Active(anon): 1600 kB Inactive(anon): 2280248 kB Active(file): 1024664 kB Inactive(file): 1978704 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11308 kB Writeback: 20 kB AnonPages: 2232284 kB Mapped: 116764 kB Shmem: 45912 kB KReclaimable: 120608 kB Slab: 236732 kB SReclaimable: 120608 kB SUnreclaim: 116124 kB KernelStack: 4160 kB PageTables: 13780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2790756 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71136 kB HardwareCorrupted: 0 kB AnonHugePages: 2109440 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: 211668 kB DirectMap2M: 22630400 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 890072 MiB End job on nodeC020 at 2024-07-20 11:37:15