| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.09 | 3609.03 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K81.opb |
| MD5SUM | a76247625d06f26dbfcd47fe69513f4b |
| 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 | 5508 |
| Total number of constraints | 5672 |
| Number of constraints which are clauses | 5591 |
| Number of constraints which are cardinality constraints (but not clauses) | 81 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 81 |
| 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 | 82 |
| 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.07 c #variables 5508 #constraints 5672 32.59/32.79 c #Conflicts: 1000 | #Constraints: 6671 32.59/32.79 c #Conflicts: 2000 | #Constraints: 7671 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c #Conflicts: 3000 | #Constraints: 7249 32.59/32.79 c #Conflicts: 4000 | #Constraints: 8249 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c #Conflicts: 5000 | #Constraints: 7712 32.59/32.79 c #Conflicts: 6000 | #Constraints: 8713 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c #Conflicts: 7000 | #Constraints: 7748 32.59/32.79 c #Conflicts: 8000 | #Constraints: 8748 32.59/32.79 c #Conflicts: 9000 | #Constraints: 9748 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c #Conflicts: 10000 | #Constraints: 8496 32.59/32.79 c #Conflicts: 11000 | #Constraints: 9496 32.59/32.79 c #Conflicts: 12000 | #Constraints: 10496 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c #Conflicts: 13000 | #Constraints: 8984 32.59/32.79 c #Conflicts: 14000 | #Constraints: 9984 32.59/32.79 c #Conflicts: 15000 | #Constraints: 10984 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c #Conflicts: 16000 | #Constraints: 9258 32.59/32.79 c #Conflicts: 17000 | #Constraints: 10258 32.59/32.79 c #Conflicts: 18000 | #Constraints: 11258 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c #Conflicts: 19000 | #Constraints: 9293 32.59/32.79 c #Conflicts: 20000 | #Constraints: 10293 32.59/32.79 c #Conflicts: 21000 | #Constraints: 11294 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c #Conflicts: 22000 | #Constraints: 9129 32.59/32.79 c #Conflicts: 23000 | #Constraints: 10129 32.59/32.79 c #Conflicts: 24000 | #Constraints: 11129 32.59/32.79 c #Conflicts: 25000 | #Constraints: 12129 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c #Conflicts: 26000 | #Constraints: 9740 32.59/32.79 c #Conflicts: 27000 | #Constraints: 10740 32.59/32.79 c #Conflicts: 28000 | #Constraints: 11740 32.59/32.79 c #Conflicts: 29000 | #Constraints: 12740 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c rational objective 81 34.69/34.81 c #Conflicts: 30000 | #Constraints: 10147 34.69/34.81 c #Conflicts: 31000 | #Constraints: 11147 34.69/34.81 c #Conflicts: 32000 | #Constraints: 12147 34.69/34.81 c #Conflicts: 33000 | #Constraints: 13147 34.69/34.81 c INPROCESSING 34.69/34.81 c GARBAGE COLLECT 34.69/34.81 c rational objective 81 37.18/37.30 c #Conflicts: 34000 | #Constraints: 10380 37.18/37.30 c #Conflicts: 35000 | #Constraints: 11380 37.18/37.30 c #Conflicts: 36000 | #Constraints: 12380 37.18/37.30 c #Conflicts: 37000 | #Constraints: 13380 37.18/37.30 c INPROCESSING 37.18/37.30 c GARBAGE COLLECT 37.18/37.30 c rational objective 81 45.65/45.84 c #Conflicts: 38000 | #Constraints: 10394 45.65/45.84 c #Conflicts: 39000 | #Constraints: 11394 45.65/45.84 c #Conflicts: 40000 | #Constraints: 12395 45.65/45.84 c #Conflicts: 41000 | #Constraints: 13398 45.65/45.84 c INPROCESSING 45.65/45.84 c GARBAGE COLLECT 45.65/45.84 c rational objective 81 58.83/59.07 c #Conflicts: 42000 | #Constraints: 10181 58.83/59.07 c #Conflicts: 43000 | #Constraints: 11181 58.83/59.07 c #Conflicts: 44000 | #Constraints: 12182 58.83/59.07 c #Conflicts: 45000 | #Constraints: 13182 58.83/59.07 c #Conflicts: 46000 | #Constraints: 14182 58.83/59.07 c INPROCESSING 58.83/59.07 c GARBAGE COLLECT 58.83/59.07 c rational objective 81 76.38/76.63 c #Conflicts: 47000 | #Constraints: 10811 76.38/76.63 c #Conflicts: 48000 | #Constraints: 11811 76.38/76.63 c #Conflicts: 49000 | #Constraints: 12811 76.38/76.63 c #Conflicts: 50000 | #Constraints: 13811 76.38/76.63 c #Conflicts: 51000 | #Constraints: 14811 76.38/76.63 c INPROCESSING 76.38/76.63 c GARBAGE COLLECT 76.38/76.63 c #Conflicts: 52000 | #Constraints: 11227 76.38/76.63 c #Conflicts: 53000 | #Constraints: 12228 76.38/76.63 c #Conflicts: 54000 | #Constraints: 13228 76.38/76.63 c #Conflicts: 55000 | #Constraints: 14228 76.38/76.63 c #Conflicts: 56000 | #Constraints: 15228 76.38/76.63 c INPROCESSING 76.38/76.63 c GARBAGE COLLECT 76.38/76.63 c #Conflicts: 57000 | #Constraints: 11439 76.38/76.63 c #Conflicts: 58000 | #Constraints: 12439 76.38/76.63 c #Conflicts: 59000 | #Constraints: 13439 76.38/76.63 c #Conflicts: 60000 | #Constraints: 14439 76.38/76.63 c #Conflicts: 61000 | #Constraints: 15439 76.38/76.63 c INPROCESSING 76.38/76.63 c GARBAGE COLLECT 76.38/76.63 c #Conflicts: 62000 | #Constraints: 11461 76.38/76.63 c #Conflicts: 63000 | #Constraints: 12461 76.38/76.63 c #Conflicts: 64000 | #Constraints: 13461 76.38/76.63 c #Conflicts: 65000 | #Constraints: 14461 76.38/76.63 c #Conflicts: 66000 | #Constraints: 15462 76.38/76.63 c INPROCESSING 76.38/76.63 c GARBAGE COLLECT 76.38/76.63 c rational objective 81 87.96/88.26 c #Conflicts: 67000 | #Constraints: 11297 87.96/88.26 c #Conflicts: 68000 | #Constraints: 12297 87.96/88.26 c #Conflicts: 69000 | #Constraints: 13298 87.96/88.26 c #Conflicts: 70000 | #Constraints: 14299 87.96/88.26 c #Conflicts: 71000 | #Constraints: 15301 87.96/88.26 c #Conflicts: 72000 | #Constraints: 16301 87.96/88.26 c INPROCESSING 87.96/88.26 c GARBAGE COLLECT 87.96/88.26 c #Conflicts: 73000 | #Constraints: 11880 87.96/88.26 c #Conflicts: 74000 | #Constraints: 12881 87.96/88.26 c #Conflicts: 75000 | #Constraints: 13882 87.96/88.26 c #Conflicts: 76000 | #Constraints: 14882 87.96/88.26 c #Conflicts: 77000 | #Constraints: 15883 87.96/88.26 c #Conflicts: 78000 | #Constraints: 16883 87.96/88.26 c INPROCESSING 87.96/88.26 c GARBAGE COLLECT 87.96/88.26 c rational objective 81 123.58/123.99 c #Conflicts: 79000 | #Constraints: 12335 123.58/123.99 c #Conflicts: 80000 | #Constraints: 13335 123.58/123.99 c #Conflicts: 81000 | #Constraints: 14336 123.58/123.99 c #Conflicts: 82000 | #Constraints: 15336 123.58/123.99 c #Conflicts: 83000 | #Constraints: 16337 123.58/123.99 c #Conflicts: 84000 | #Constraints: 17339 123.58/123.99 c INPROCESSING 123.58/123.99 c GARBAGE COLLECT 123.58/123.99 c #Conflicts: 85000 | #Constraints: 12510 123.58/123.99 c #Conflicts: 86000 | #Constraints: 13510 123.58/123.99 c #Conflicts: 87000 | #Constraints: 14510 123.58/123.99 c #Conflicts: 88000 | #Constraints: 15510 123.58/123.99 c #Conflicts: 89000 | #Constraints: 16511 123.58/123.99 c #Conflicts: 90000 | #Constraints: 17511 123.58/123.99 c #Conflicts: 91000 | #Constraints: 18511 123.58/123.99 c #Conflicts: 92000 | #Constraints: 19511 123.58/123.99 c #Conflicts: 93000 | #Constraints: 20511 123.58/123.99 c #Conflicts: 94000 | #Constraints: 21511 123.58/123.99 c #Conflicts: 95000 | #Constraints: 22513 123.58/123.99 c #Conflicts: 96000 | #Constraints: 23513 123.58/123.99 c #Conflicts: 97000 | #Constraints: 24513 123.58/123.99 c #Conflicts: 98000 | #Constraints: 25514 123.58/123.99 c #Conflicts: 99000 | #Constraints: 26514 123.58/123.99 c #Conflicts: 100000 | #Constraints: 27514 123.58/123.99 c #Conflicts: 101000 | #Constraints: 28514 123.58/123.99 c #Conflicts: 102000 | #Constraints: 29514 123.58/123.99 c #Conflicts: 103000 | #Constraints: 30514 123.58/123.99 c #Conflicts: 104000 | #Constraints: 31514 123.58/123.99 c #Conflicts: 105000 | #Constraints: 32514 123.58/123.99 c #Conflicts: 106000 | #Constraints: 33514 123.58/123.99 c #Conflicts: 107000 | #Constraints: 34514 123.58/123.99 c #Conflicts: 108000 | #Constraints: 35514 123.58/123.99 c #Conflicts: 109000 | #Constraints: 36514 123.58/123.99 c #Conflicts: 110000 | #Constraints: 37514 123.58/123.99 c INPROCESSING 123.58/123.99 c GARBAGE COLLECT 123.58/123.99 c rational objective 81 136.44/136.87 c #Conflicts: 111000 | #Constraints: 22638 136.44/136.87 c #Conflicts: 112000 | #Constraints: 23638 136.44/136.87 c #Conflicts: 113000 | #Constraints: 24639 136.44/136.87 c #Conflicts: 114000 | #Constraints: 25639 136.44/136.87 c #Conflicts: 115000 | #Constraints: 26639 136.44/136.87 c #Conflicts: 116000 | #Constraints: 27639 136.44/136.87 c #Conflicts: 117000 | #Constraints: 28639 136.44/136.87 c INPROCESSING 136.44/136.87 c GARBAGE COLLECT 136.44/136.87 c rational objective 81 143.83/144.27 c #Conflicts: 118000 | #Constraints: 18091 143.83/144.27 c #Conflicts: 119000 | #Constraints: 19091 143.83/144.27 c #Conflicts: 120000 | #Constraints: 20091 143.83/144.27 c #Conflicts: 121000 | #Constraints: 21091 143.83/144.27 c #Conflicts: 122000 | #Constraints: 22092 143.83/144.27 c #Conflicts: 123000 | #Constraints: 23092 143.83/144.27 c #Conflicts: 124000 | #Constraints: 24092 143.83/144.27 c INPROCESSING 143.83/144.27 c GARBAGE COLLECT 143.83/144.27 c rational objective 81 150.63/151.04 c #Conflicts: 125000 | #Constraints: 15522 150.63/151.04 c #Conflicts: 126000 | #Constraints: 16522 150.63/151.04 c #Conflicts: 127000 | #Constraints: 17522 150.63/151.04 c #Conflicts: 128000 | #Constraints: 18522 150.63/151.04 c #Conflicts: 129000 | #Constraints: 19522 150.63/151.04 c #Conflicts: 130000 | #Constraints: 20522 150.63/151.04 c #Conflicts: 131000 | #Constraints: 21522 150.63/151.04 c #Conflicts: 132000 | #Constraints: 22522 150.63/151.04 c INPROCESSING 150.63/151.04 c GARBAGE COLLECT 150.63/151.04 c rational objective 81 166.70/167.13 c #Conflicts: 133000 | #Constraints: 14937 166.70/167.13 c #Conflicts: 134000 | #Constraints: 15937 166.70/167.13 c #Conflicts: 135000 | #Constraints: 16938 166.70/167.13 c #Conflicts: 136000 | #Constraints: 17938 166.70/167.13 c #Conflicts: 137000 | #Constraints: 18938 166.70/167.13 c #Conflicts: 138000 | #Constraints: 19938 166.70/167.13 c #Conflicts: 139000 | #Constraints: 20938 166.70/167.13 c #Conflicts: 140000 | #Constraints: 21938 166.70/167.13 c INPROCESSING 166.70/167.13 c GARBAGE COLLECT 166.70/167.13 c rational objective 81 207.88/208.43 c #Conflicts: 141000 | #Constraints: 14674 207.88/208.43 c #Conflicts: 142000 | #Constraints: 15674 207.88/208.43 c #Conflicts: 143000 | #Constraints: 16675 207.88/208.43 c #Conflicts: 144000 | #Constraints: 17675 207.88/208.43 c #Conflicts: 145000 | #Constraints: 18675 207.88/208.43 c #Conflicts: 146000 | #Constraints: 19675 207.88/208.43 c #Conflicts: 147000 | #Constraints: 20675 207.88/208.43 c #Conflicts: 148000 | #Constraints: 21675 207.88/208.43 c #Conflicts: 149000 | #Constraints: 22675 207.88/208.43 c #Conflicts: 150000 | #Constraints: 23676 207.88/208.43 c #Conflicts: 151000 | #Constraints: 24677 207.88/208.43 c #Conflicts: 152000 | #Constraints: 25677 207.88/208.43 c #Conflicts: 153000 | #Constraints: 26677 207.88/208.43 c #Conflicts: 154000 | #Constraints: 27677 207.88/208.43 c #Conflicts: 155000 | #Constraints: 28677 207.88/208.43 c #Conflicts: 156000 | #Constraints: 29677 207.88/208.43 c #Conflicts: 157000 | #Constraints: 30677 207.88/208.43 c #Conflicts: 158000 | #Constraints: 31677 207.88/208.43 c #Conflicts: 159000 | #Constraints: 32677 207.88/208.43 c #Conflicts: 160000 | #Constraints: 33677 207.88/208.43 c #Conflicts: 161000 | #Constraints: 34677 207.88/208.43 c #Conflicts: 162000 | #Constraints: 35677 207.88/208.43 c #Conflicts: 163000 | #Constraints: 36677 207.88/208.43 c #Conflicts: 164000 | #Constraints: 37677 207.88/208.43 c #Conflicts: 165000 | #Constraints: 38677 207.88/208.43 c #Conflicts: 166000 | #Constraints: 39677 207.88/208.43 c #Conflicts: 167000 | #Constraints: 40677 207.88/208.43 c #Conflicts: 168000 | #Constraints: 41677 207.88/208.43 c #Conflicts: 169000 | #Constraints: 42677 207.88/208.43 c #Conflicts: 170000 | #Constraints: 43677 207.88/208.43 c #Conflicts: 171000 | #Constraints: 44677 207.88/208.43 c #Conflicts: 172000 | #Constraints: 45677 207.88/208.43 c INPROCESSING 207.88/208.43 c GARBAGE COLLECT 207.88/208.43 c rational objective 81 223.05/223.68 c #Conflicts: 173000 | #Constraints: 26390 223.05/223.68 c #Conflicts: 174000 | #Constraints: 27390 223.05/223.68 c #Conflicts: 175000 | #Constraints: 28390 223.05/223.68 c #Conflicts: 176000 | #Constraints: 29390 223.05/223.68 c #Conflicts: 177000 | #Constraints: 30390 223.05/223.68 c #Conflicts: 178000 | #Constraints: 31391 223.05/223.68 c #Conflicts: 179000 | #Constraints: 32391 223.05/223.68 c #Conflicts: 180000 | #Constraints: 33391 223.05/223.68 c #Conflicts: 181000 | #Constraints: 34391 223.05/223.68 c #Conflicts: 182000 | #Constraints: 35391 223.05/223.68 c INPROCESSING 223.05/223.68 c GARBAGE COLLECT 223.05/223.68 c rational objective 81 242.51/243.18 c #Conflicts: 183000 | #Constraints: 21683 242.51/243.18 c #Conflicts: 184000 | #Constraints: 22683 242.51/243.18 c #Conflicts: 185000 | #Constraints: 23684 242.51/243.18 c #Conflicts: 186000 | #Constraints: 24684 242.51/243.18 c #Conflicts: 187000 | #Constraints: 25684 242.51/243.18 c #Conflicts: 188000 | #Constraints: 26684 242.51/243.18 c #Conflicts: 189000 | #Constraints: 27684 242.51/243.18 c #Conflicts: 190000 | #Constraints: 28684 242.51/243.18 c #Conflicts: 191000 | #Constraints: 29684 242.51/243.18 c INPROCESSING 242.51/243.18 c GARBAGE COLLECT 242.51/243.18 c rational objective 81 285.60/286.37 c #Conflicts: 192000 | #Constraints: 18627 285.60/286.37 c #Conflicts: 193000 | #Constraints: 19627 285.60/286.37 c #Conflicts: 194000 | #Constraints: 20628 285.60/286.37 c #Conflicts: 195000 | #Constraints: 21628 285.60/286.37 c #Conflicts: 196000 | #Constraints: 22628 285.60/286.37 c #Conflicts: 197000 | #Constraints: 23628 285.60/286.37 c #Conflicts: 198000 | #Constraints: 24629 285.60/286.37 c #Conflicts: 199000 | #Constraints: 25629 285.60/286.37 c #Conflicts: 200000 | #Constraints: 26629 285.60/286.37 c #Conflicts: 201000 | #Constraints: 27629 285.60/286.37 c INPROCESSING 285.60/286.37 c GARBAGE COLLECT 285.60/286.37 c #Conflicts: 202000 | #Constraints: 17770 285.60/286.37 c #Conflicts: 203000 | #Constraints: 18770 285.60/286.37 c #Conflicts: 204000 | #Constraints: 19770 285.60/286.37 c #Conflicts: 205000 | #Constraints: 20770 285.60/286.37 c #Conflicts: 206000 | #Constraints: 21770 285.60/286.37 c #Conflicts: 207000 | #Constraints: 22770 285.60/286.37 c #Conflicts: 208000 | #Constraints: 23770 285.60/286.37 c #Conflicts: 209000 | #Constraints: 24770 285.60/286.37 c #Conflicts: 210000 | #Constraints: 25770 285.60/286.37 c INPROCESSING 285.60/286.37 c GARBAGE COLLECT 285.60/286.37 c rational objective 81 339.97/340.82 c #Conflicts: 211000 | #Constraints: 16434 339.97/340.82 c #Conflicts: 212000 | #Constraints: 17436 339.97/340.82 c #Conflicts: 213000 | #Constraints: 18436 339.97/340.82 c #Conflicts: 214000 | #Constraints: 19437 339.97/340.82 c #Conflicts: 215000 | #Constraints: 20438 339.97/340.82 c #Conflicts: 216000 | #Constraints: 21438 339.97/340.82 c #Conflicts: 217000 | #Constraints: 22438 339.97/340.82 c #Conflicts: 218000 | #Constraints: 23438 339.97/340.82 c #Conflicts: 219000 | #Constraints: 24439 339.97/340.82 c #Conflicts: 220000 | #Constraints: 25439 339.97/340.82 c #Conflicts: 221000 | #Constraints: 26439 339.97/340.82 c #Conflicts: 222000 | #Constraints: 27439 339.97/340.82 c #Conflicts: 223000 | #Constraints: 28439 339.97/340.82 c #Conflicts: 224000 | #Constraints: 29439 339.97/340.82 c #Conflicts: 225000 | #Constraints: 30439 339.97/340.82 c #Conflicts: 226000 | #Constraints: 31439 339.97/340.82 c #Conflicts: 227000 | #Constraints: 32439 339.97/340.82 c #Conflicts: 228000 | #Constraints: 33439 339.97/340.82 c #Conflicts: 229000 | #Constraints: 34439 339.97/340.82 c #Conflicts: 230000 | #Constraints: 35439 339.97/340.82 c #Conflicts: 231000 | #Constraints: 36439 339.97/340.82 c #Conflicts: 232000 | #Constraints: 37439 339.97/340.82 c #Conflicts: 233000 | #Constraints: 38440 339.97/340.82 c #Conflicts: 234000 | #Constraints: 39440 339.97/340.82 c #Conflicts: 235000 | #Constraints: 40440 339.97/340.82 c #Conflicts: 236000 | #Constraints: 41440 339.97/340.82 c #Conflicts: 237000 | #Constraints: 42441 339.97/340.82 c #Conflicts: 238000 | #Constraints: 43441 339.97/340.82 c #Conflicts: 239000 | #Constraints: 44441 339.97/340.82 c #Conflicts: 240000 | #Constraints: 45441 339.97/340.82 c #Conflicts: 241000 | #Constraints: 46441 339.97/340.82 c #Conflicts: 242000 | #Constraints: 47441 339.97/340.82 c #Conflicts: 243000 | #Constraints: 48441 339.97/340.82 c #Conflicts: 244000 | #Constraints: 49441 339.97/340.82 c #Conflicts: 245000 | #Constraints: 50441 339.97/340.82 c #Conflicts: 246000 | #Constraints: 51441 339.97/340.82 c #Conflicts: 247000 | #Constraints: 52441 339.97/340.82 c #Conflicts: 248000 | #Constraints: 53441 339.97/340.82 c #Conflicts: 249000 | #Constraints: 54441 339.97/340.82 c INPROCESSING 339.97/340.82 c GARBAGE COLLECT 339.97/340.82 c rational objective 81 358.41/359.31 c #Conflicts: 250000 | #Constraints: 30911 358.41/359.31 c #Conflicts: 251000 | #Constraints: 31911 358.41/359.31 c #Conflicts: 252000 | #Constraints: 32913 358.41/359.31 c #Conflicts: 253000 | #Constraints: 33914 358.41/359.31 c #Conflicts: 254000 | #Constraints: 34915 358.41/359.31 c #Conflicts: 255000 | #Constraints: 35916 358.41/359.31 c #Conflicts: 256000 | #Constraints: 36916 358.41/359.31 c #Conflicts: 257000 | #Constraints: 37916 358.41/359.31 c #Conflicts: 258000 | #Constraints: 38916 358.41/359.31 c #Conflicts: 259000 | #Constraints: 39916 358.41/359.31 c #Conflicts: 260000 | #Constraints: 40916 358.41/359.31 c INPROCESSING 358.41/359.31 c GARBAGE COLLECT 358.41/359.31 c rational objective 81 372.27/373.27 c #Conflicts: 261000 | #Constraints: 24115 372.27/373.27 c #Conflicts: 262000 | #Constraints: 25115 372.27/373.27 c #Conflicts: 263000 | #Constraints: 26115 372.27/373.27 c #Conflicts: 264000 | #Constraints: 27115 372.27/373.27 c #Conflicts: 265000 | #Constraints: 28115 372.27/373.27 c #Conflicts: 266000 | #Constraints: 29115 372.27/373.27 c #Conflicts: 267000 | #Constraints: 30115 372.27/373.27 c #Conflicts: 268000 | #Constraints: 31115 372.27/373.27 c #Conflicts: 269000 | #Constraints: 32115 372.27/373.27 c #Conflicts: 270000 | #Constraints: 33115 372.27/373.27 c #Conflicts: 271000 | #Constraints: 34115 372.27/373.27 c #Conflicts: 272000 | #Constraints: 35117 372.27/373.27 c INPROCESSING 372.27/373.27 c GARBAGE COLLECT 372.27/373.27 c rational objective 81 385.64/386.60 c #Conflicts: 273000 | #Constraints: 21534 385.64/386.60 c #Conflicts: 274000 | #Constraints: 22534 385.64/386.60 c #Conflicts: 275000 | #Constraints: 23534 385.64/386.60 c #Conflicts: 276000 | #Constraints: 24534 385.64/386.60 c #Conflicts: 277000 | #Constraints: 25534 385.64/386.60 c #Conflicts: 278000 | #Constraints: 26534 385.64/386.60 c #Conflicts: 279000 | #Constraints: 27536 385.64/386.60 c #Conflicts: 280000 | #Constraints: 28536 385.64/386.60 c #Conflicts: 281000 | #Constraints: 29536 385.64/386.60 c #Conflicts: 282000 | #Constraints: 30537 385.64/386.60 c #Conflicts: 283000 | #Constraints: 31537 385.64/386.60 c INPROCESSING 385.64/386.60 c GARBAGE COLLECT 385.64/386.60 c rational objective 81 397.01/398.05 c #Conflicts: 284000 | #Constraints: 19515 397.01/398.05 c #Conflicts: 285000 | #Constraints: 20515 397.01/398.05 c #Conflicts: 286000 | #Constraints: 21515 397.01/398.05 c #Conflicts: 287000 | #Constraints: 22515 397.01/398.05 c #Conflicts: 288000 | #Constraints: 23515 397.01/398.05 c #Conflicts: 289000 | #Constraints: 24516 397.01/398.05 c #Conflicts: 290000 | #Constraints: 25517 397.01/398.05 c #Conflicts: 291000 | #Constraints: 26517 397.01/398.05 c #Conflicts: 292000 | #Constraints: 27517 397.01/398.05 c #Conflicts: 293000 | #Constraints: 28517 397.01/398.05 c #Conflicts: 294000 | #Constraints: 29517 397.01/398.05 c #Conflicts: 295000 | #Constraints: 30517 397.01/398.05 c INPROCESSING 397.01/398.05 c GARBAGE COLLECT 397.01/398.05 c rational objective 81 469.58/470.86 c #Conflicts: 296000 | #Constraints: 19108 469.58/470.86 c #Conflicts: 297000 | #Constraints: 20108 469.58/470.86 c #Conflicts: 298000 | #Constraints: 21108 469.58/470.86 c #Conflicts: 299000 | #Constraints: 22108 469.58/470.86 c #Conflicts: 300000 | #Constraints: 23108 469.58/470.86 c #Conflicts: 301000 | #Constraints: 24109 469.58/470.86 c #Conflicts: 302000 | #Constraints: 25109 469.58/470.86 c #Conflicts: 303000 | #Constraints: 26109 469.58/470.86 c #Conflicts: 304000 | #Constraints: 27109 469.58/470.86 c #Conflicts: 305000 | #Constraints: 28109 469.58/470.86 c #Conflicts: 306000 | #Constraints: 29109 469.58/470.86 c #Conflicts: 307000 | #Constraints: 30109 469.58/470.86 c #Conflicts: 308000 | #Constraints: 31109 469.58/470.86 c #Conflicts: 309000 | #Constraints: 32109 469.58/470.86 c #Conflicts: 310000 | #Constraints: 33109 469.58/470.86 c #Conflicts: 311000 | #Constraints: 34109 469.58/470.86 c #Conflicts: 312000 | #Constraints: 35109 469.58/470.86 c #Conflicts: 313000 | #Constraints: 36109 469.58/470.86 c #Conflicts: 314000 | #Constraints: 37109 469.58/470.86 c #Conflicts: 315000 | #Constraints: 38109 469.58/470.87 c #Conflicts: 316000 | #Constraints: 39109 469.58/470.87 c #Conflicts: 317000 | #Constraints: 40109 469.58/470.87 c #Conflicts: 318000 | #Constraints: 41109 469.58/470.87 c #Conflicts: 319000 | #Constraints: 42109 469.58/470.87 c #Conflicts: 320000 | #Constraints: 43110 469.58/470.87 c #Conflicts: 321000 | #Constraints: 44110 469.58/470.87 c #Conflicts: 322000 | #Constraints: 45110 469.58/470.87 c #Conflicts: 323000 | #Constraints: 46110 469.58/470.87 c #Conflicts: 324000 | #Constraints: 47110 469.58/470.87 c #Conflicts: 325000 | #Constraints: 48110 469.58/470.87 c #Conflicts: 326000 | #Constraints: 49110 469.58/470.87 c #Conflicts: 327000 | #Constraints: 50110 469.58/470.87 c #Conflicts: 328000 | #Constraints: 51110 469.58/470.87 c #Conflicts: 329000 | #Constraints: 52110 469.58/470.87 c #Conflicts: 330000 | #Constraints: 53110 469.58/470.87 c #Conflicts: 331000 | #Constraints: 54110 469.58/470.87 c #Conflicts: 332000 | #Constraints: 55110 469.58/470.87 c #Conflicts: 333000 | #Constraints: 56111 469.58/470.87 c #Conflicts: 334000 | #Constraints: 57111 469.58/470.87 c #Conflicts: 335000 | #Constraints: 58111 469.58/470.87 c #Conflicts: 336000 | #Constraints: 59111 469.58/470.87 c #Conflicts: 337000 | #Constraints: 60111 469.58/470.87 c #Conflicts: 338000 | #Constraints: 61111 469.58/470.87 c #Conflicts: 339000 | #Constraints: 62111 469.58/470.87 c #Conflicts: 340000 | #Constraints: 63111 469.58/470.87 c INPROCESSING 469.58/470.87 c GARBAGE COLLECT 469.58/470.87 c rational objective 81 492.72/494.08 c #Conflicts: 341000 | #Constraints: 35349 492.72/494.08 c #Conflicts: 342000 | #Constraints: 36349 492.72/494.08 c #Conflicts: 343000 | #Constraints: 37349 492.72/494.08 c #Conflicts: 344000 | #Constraints: 38349 492.72/494.08 c #Conflicts: 345000 | #Constraints: 39350 492.72/494.08 c #Conflicts: 346000 | #Constraints: 40350 492.72/494.08 c #Conflicts: 347000 | #Constraints: 41350 492.72/494.08 c #Conflicts: 348000 | #Constraints: 42350 492.72/494.08 c #Conflicts: 349000 | #Constraints: 43350 492.72/494.08 c #Conflicts: 350000 | #Constraints: 44350 492.72/494.08 c #Conflicts: 351000 | #Constraints: 45350 492.72/494.08 c #Conflicts: 352000 | #Constraints: 46350 492.72/494.08 c #Conflicts: 353000 | #Constraints: 47350 492.72/494.08 c INPROCESSING 492.72/494.08 c GARBAGE COLLECT 492.72/494.08 c rational objective 81 509.17/510.55 c #Conflicts: 354000 | #Constraints: 27546 509.17/510.55 c #Conflicts: 355000 | #Constraints: 28547 509.17/510.55 c #Conflicts: 356000 | #Constraints: 29548 509.17/510.55 c #Conflicts: 357000 | #Constraints: 30548 509.17/510.55 c #Conflicts: 358000 | #Constraints: 31548 509.17/510.55 c #Conflicts: 359000 | #Constraints: 32548 509.17/510.55 c #Conflicts: 360000 | #Constraints: 33548 509.17/510.55 c #Conflicts: 361000 | #Constraints: 34548 509.17/510.55 c #Conflicts: 362000 | #Constraints: 35548 509.17/510.55 c #Conflicts: 363000 | #Constraints: 36548 509.17/510.55 c #Conflicts: 364000 | #Constraints: 37548 509.17/510.55 c #Conflicts: 365000 | #Constraints: 38548 509.17/510.55 c #Conflicts: 366000 | #Constraints: 39548 509.17/510.55 c INPROCESSING 509.17/510.55 c GARBAGE COLLECT 509.17/510.55 c rational objective 81 531.30/532.79 c #Conflicts: 367000 | #Constraints: 23532 531.30/532.79 c #Conflicts: 368000 | #Constraints: 24532 531.30/532.79 c #Conflicts: 369000 | #Constraints: 25533 531.30/532.79 c #Conflicts: 370000 | #Constraints: 26533 531.30/532.79 c #Conflicts: 371000 | #Constraints: 27533 531.30/532.79 c #Conflicts: 372000 | #Constraints: 28533 531.30/532.79 c #Conflicts: 373000 | #Constraints: 29533 531.30/532.79 c #Conflicts: 374000 | #Constraints: 30534 531.30/532.79 c #Conflicts: 375000 | #Constraints: 31534 531.30/532.79 c #Conflicts: 376000 | #Constraints: 32534 531.30/532.79 c #Conflicts: 377000 | #Constraints: 33534 531.30/532.79 c #Conflicts: 378000 | #Constraints: 34534 531.30/532.79 c #Conflicts: 379000 | #Constraints: 35535 531.30/532.79 c #Conflicts: 380000 | #Constraints: 36535 531.30/532.79 c INPROCESSING 531.30/532.79 c GARBAGE COLLECT 531.30/532.79 c rational objective 81 550.34/551.85 c #Conflicts: 381000 | #Constraints: 22279 550.34/551.85 c #Conflicts: 382000 | #Constraints: 23280 550.34/551.85 c #Conflicts: 383000 | #Constraints: 24280 550.34/551.85 c #Conflicts: 384000 | #Constraints: 25280 550.34/551.85 c #Conflicts: 385000 | #Constraints: 26280 550.34/551.85 c #Conflicts: 386000 | #Constraints: 27281 550.34/551.85 c #Conflicts: 387000 | #Constraints: 28281 550.34/551.85 c #Conflicts: 388000 | #Constraints: 29281 550.34/551.85 c #Conflicts: 389000 | #Constraints: 30281 550.34/551.85 c #Conflicts: 390000 | #Constraints: 31281 550.34/551.85 c #Conflicts: 391000 | #Constraints: 32281 550.34/551.85 c #Conflicts: 392000 | #Constraints: 33281 550.34/551.85 c #Conflicts: 393000 | #Constraints: 34281 550.34/551.85 c INPROCESSING 550.34/551.85 c GARBAGE COLLECT 550.34/551.85 c rational objective 81 646.27/648.09 c #Conflicts: 394000 | #Constraints: 20899 646.27/648.09 c #Conflicts: 395000 | #Constraints: 21899 646.27/648.09 c #Conflicts: 396000 | #Constraints: 22899 646.27/648.09 c #Conflicts: 397000 | #Constraints: 23899 646.27/648.09 c #Conflicts: 398000 | #Constraints: 24900 646.27/648.09 c #Conflicts: 399000 | #Constraints: 25900 646.27/648.09 c #Conflicts: 400000 | #Constraints: 26900 646.27/648.09 c #Conflicts: 401000 | #Constraints: 27900 646.27/648.09 c #Conflicts: 402000 | #Constraints: 28901 646.27/648.09 c #Conflicts: 403000 | #Constraints: 29901 646.27/648.09 c #Conflicts: 404000 | #Constraints: 30901 646.27/648.09 c #Conflicts: 405000 | #Constraints: 31901 646.27/648.09 c #Conflicts: 406000 | #Constraints: 32901 646.27/648.09 c #Conflicts: 407000 | #Constraints: 33901 646.27/648.09 c #Conflicts: 408000 | #Constraints: 34901 646.27/648.09 c #Conflicts: 409000 | #Constraints: 35901 646.27/648.09 c #Conflicts: 410000 | #Constraints: 36901 646.27/648.09 c #Conflicts: 411000 | #Constraints: 37901 646.27/648.09 c #Conflicts: 412000 | #Constraints: 38901 646.27/648.09 c #Conflicts: 413000 | #Constraints: 39901 646.27/648.09 c #Conflicts: 414000 | #Constraints: 40901 646.27/648.09 c #Conflicts: 415000 | #Constraints: 41901 646.27/648.09 c #Conflicts: 416000 | #Constraints: 42901 646.27/648.09 c #Conflicts: 417000 | #Constraints: 43902 646.27/648.09 c #Conflicts: 418000 | #Constraints: 44902 646.27/648.09 c #Conflicts: 419000 | #Constraints: 45902 646.27/648.09 c #Conflicts: 420000 | #Constraints: 46902 646.27/648.09 c #Conflicts: 421000 | #Constraints: 47902 646.27/648.09 c #Conflicts: 422000 | #Constraints: 48902 646.27/648.09 c #Conflicts: 423000 | #Constraints: 49902 646.27/648.09 c #Conflicts: 424000 | #Constraints: 50902 646.27/648.09 c #Conflicts: 425000 | #Constraints: 51902 646.27/648.09 c #Conflicts: 426000 | #Constraints: 52902 646.27/648.09 c #Conflicts: 427000 | #Constraints: 53902 646.27/648.09 c #Conflicts: 428000 | #Constraints: 54902 646.27/648.09 c #Conflicts: 429000 | #Constraints: 55902 646.27/648.09 c #Conflicts: 430000 | #Constraints: 56902 646.27/648.09 c #Conflicts: 431000 | #Constraints: 57902 646.27/648.09 c #Conflicts: 432000 | #Constraints: 58902 646.27/648.09 c #Conflicts: 433000 | #Constraints: 59902 646.27/648.09 c #Conflicts: 434000 | #Constraints: 60902 646.27/648.09 c #Conflicts: 435000 | #Constraints: 61902 646.27/648.09 c #Conflicts: 436000 | #Constraints: 62902 646.27/648.09 c #Conflicts: 437000 | #Constraints: 63902 646.27/648.09 c #Conflicts: 438000 | #Constraints: 64902 646.27/648.09 c #Conflicts: 439000 | #Constraints: 65902 646.27/648.09 c #Conflicts: 440000 | #Constraints: 66902 646.27/648.09 c #Conflicts: 441000 | #Constraints: 67902 646.27/648.09 c #Conflicts: 442000 | #Constraints: 68902 646.27/648.09 c #Conflicts: 443000 | #Constraints: 69902 646.27/648.09 c #Conflicts: 444000 | #Constraints: 70903 646.27/648.09 c #Conflicts: 445000 | #Constraints: 71903 646.27/648.09 c INPROCESSING 646.27/648.09 c GARBAGE COLLECT 646.27/648.09 c rational objective 81 669.39/671.28 c #Conflicts: 446000 | #Constraints: 39949 669.39/671.28 c #Conflicts: 447000 | #Constraints: 40949 669.39/671.28 c #Conflicts: 448000 | #Constraints: 41950 669.39/671.28 c #Conflicts: 449000 | #Constraints: 42950 669.39/671.28 c #Conflicts: 450000 | #Constraints: 43950 669.39/671.28 c #Conflicts: 451000 | #Constraints: 44950 669.39/671.28 c #Conflicts: 452000 | #Constraints: 45950 669.39/671.28 c #Conflicts: 453000 | #Constraints: 46950 669.39/671.28 c #Conflicts: 454000 | #Constraints: 47950 669.39/671.28 c #Conflicts: 455000 | #Constraints: 48950 669.39/671.28 c #Conflicts: 456000 | #Constraints: 49950 669.39/671.28 c #Conflicts: 457000 | #Constraints: 50950 669.39/671.28 c #Conflicts: 458000 | #Constraints: 51950 669.39/671.28 c #Conflicts: 459000 | #Constraints: 52950 669.39/671.28 c #Conflicts: 460000 | #Constraints: 53950 669.39/671.28 c INPROCESSING 669.39/671.28 c GARBAGE COLLECT 669.39/671.28 c rational objective 81 694.91/696.88 c #Conflicts: 461000 | #Constraints: 31009 694.91/696.88 c #Conflicts: 462000 | #Constraints: 32010 694.91/696.88 c #Conflicts: 463000 | #Constraints: 33010 694.91/696.88 c #Conflicts: 464000 | #Constraints: 34010 694.91/696.88 c #Conflicts: 465000 | #Constraints: 35010 694.91/696.88 c #Conflicts: 466000 | #Constraints: 36010 694.91/696.88 c #Conflicts: 467000 | #Constraints: 37010 694.91/696.88 c #Conflicts: 468000 | #Constraints: 38010 694.91/696.88 c #Conflicts: 469000 | #Constraints: 39010 694.91/696.88 c #Conflicts: 470000 | #Constraints: 40010 694.91/696.88 c #Conflicts: 471000 | #Constraints: 41010 694.91/696.88 c #Conflicts: 472000 | #Constraints: 42010 694.91/696.88 c #Conflicts: 473000 | #Constraints: 43010 694.91/696.88 c #Conflicts: 474000 | #Constraints: 44010 694.91/696.88 c #Conflicts: 475000 | #Constraints: 45011 694.91/696.88 c INPROCESSING 694.91/696.88 c GARBAGE COLLECT 694.91/696.88 c rational objective 81 724.04/726.09 c #Conflicts: 476000 | #Constraints: 26500 724.04/726.09 c #Conflicts: 477000 | #Constraints: 27500 724.04/726.09 c #Conflicts: 478000 | #Constraints: 28500 724.04/726.09 c #Conflicts: 479000 | #Constraints: 29500 724.04/726.09 c #Conflicts: 480000 | #Constraints: 30500 724.04/726.09 c #Conflicts: 481000 | #Constraints: 31500 724.04/726.09 c #Conflicts: 482000 | #Constraints: 32500 724.04/726.09 c #Conflicts: 483000 | #Constraints: 33500 724.04/726.09 c #Conflicts: 484000 | #Constraints: 34500 724.04/726.09 c #Conflicts: 485000 | #Constraints: 35500 724.04/726.09 c #Conflicts: 486000 | #Constraints: 36500 724.04/726.09 c #Conflicts: 487000 | #Constraints: 37500 724.04/726.09 c #Conflicts: 488000 | #Constraints: 38501 724.04/726.09 c #Conflicts: 489000 | #Constraints: 39501 724.04/726.09 c #Conflicts: 490000 | #Constraints: 40501 724.04/726.09 c INPROCESSING 724.04/726.09 c GARBAGE COLLECT 724.04/726.09 c rational objective 81 742.98/745.04 c #Conflicts: 491000 | #Constraints: 24067 742.98/745.04 c #Conflicts: 492000 | #Constraints: 25067 742.98/745.04 c #Conflicts: 493000 | #Constraints: 26067 742.98/745.04 c #Conflicts: 494000 | #Constraints: 27067 742.98/745.04 c #Conflicts: 495000 | #Constraints: 28067 742.98/745.04 c #Conflicts: 496000 | #Constraints: 29067 742.98/745.04 c #Conflicts: 497000 | #Constraints: 30067 742.98/745.04 c #Conflicts: 498000 | #Constraints: 31067 742.98/745.04 c #Conflicts: 499000 | #Constraints: 32067 742.98/745.04 c #Conflicts: 500000 | #Constraints: 33068 742.98/745.04 c #Conflicts: 501000 | #Constraints: 34068 742.98/745.04 c #Conflicts: 502000 | #Constraints: 35068 742.98/745.04 c #Conflicts: 503000 | #Constraints: 36068 742.98/745.04 c #Conflicts: 504000 | #Constraints: 37068 742.98/745.04 c #Conflicts: 505000 | #Constraints: 38068 742.98/745.04 c #Conflicts: 506000 | #Constraints: 39068 742.98/745.04 c INPROCESSING 742.98/745.04 c GARBAGE COLLECT 742.98/745.04 c rational objective 81 868.07/870.50 c #Conflicts: 507000 | #Constraints: 23559 868.07/870.50 c #Conflicts: 508000 | #Constraints: 24559 868.07/870.50 c #Conflicts: 509000 | #Constraints: 25560 868.07/870.50 c #Conflicts: 510000 | #Constraints: 26560 868.07/870.50 c #Conflicts: 511000 | #Constraints: 27561 868.07/870.50 c #Conflicts: 512000 | #Constraints: 28561 868.07/870.50 c #Conflicts: 513000 | #Constraints: 29561 868.07/870.50 c #Conflicts: 514000 | #Constraints: 30561 868.07/870.50 c #Conflicts: 515000 | #Constraints: 31562 868.07/870.50 c #Conflicts: 516000 | #Constraints: 32562 868.07/870.50 c #Conflicts: 517000 | #Constraints: 33562 868.07/870.50 c #Conflicts: 518000 | #Constraints: 34562 868.07/870.50 c #Conflicts: 519000 | #Constraints: 35563 868.07/870.50 c #Conflicts: 520000 | #Constraints: 36563 868.07/870.50 c #Conflicts: 521000 | #Constraints: 37563 868.07/870.50 c #Conflicts: 522000 | #Constraints: 38563 868.07/870.50 c #Conflicts: 523000 | #Constraints: 39563 868.07/870.50 c #Conflicts: 524000 | #Constraints: 40563 868.07/870.50 c #Conflicts: 525000 | #Constraints: 41563 868.07/870.50 c #Conflicts: 526000 | #Constraints: 42563 868.07/870.50 c #Conflicts: 527000 | #Constraints: 43563 868.07/870.50 c #Conflicts: 528000 | #Constraints: 44563 868.07/870.50 c #Conflicts: 529000 | #Constraints: 45563 868.07/870.50 c #Conflicts: 530000 | #Constraints: 46563 868.07/870.50 c #Conflicts: 531000 | #Constraints: 47564 868.07/870.50 c #Conflicts: 532000 | #Constraints: 48564 868.07/870.50 c #Conflicts: 533000 | #Constraints: 49564 868.07/870.50 c #Conflicts: 534000 | #Constraints: 50565 868.07/870.50 c #Conflicts: 535000 | #Constraints: 51565 868.07/870.50 c #Conflicts: 536000 | #Constraints: 52565 868.07/870.50 c #Conflicts: 537000 | #Constraints: 53565 868.07/870.50 c #Conflicts: 538000 | #Constraints: 54565 868.07/870.50 c #Conflicts: 539000 | #Constraints: 55565 868.07/870.50 c #Conflicts: 540000 | #Constraints: 56565 868.07/870.50 c #Conflicts: 541000 | #Constraints: 57565 868.07/870.50 c #Conflicts: 542000 | #Constraints: 58565 868.07/870.50 c #Conflicts: 543000 | #Constraints: 59565 868.07/870.50 c #Conflicts: 544000 | #Constraints: 60565 868.07/870.50 c #Conflicts: 545000 | #Constraints: 61565 868.07/870.50 c #Conflicts: 546000 | #Constraints: 62565 868.07/870.50 c #Conflicts: 547000 | #Constraints: 63565 868.07/870.50 c #Conflicts: 548000 | #Constraints: 64565 868.07/870.50 c #Conflicts: 549000 | #Constraints: 65565 868.07/870.50 c #Conflicts: 550000 | #Constraints: 66565 868.07/870.50 c #Conflicts: 551000 | #Constraints: 67565 868.07/870.50 c #Conflicts: 552000 | #Constraints: 68565 868.07/870.50 c #Conflicts: 553000 | #Constraints: 69565 868.07/870.50 c #Conflicts: 554000 | #Constraints: 70565 868.07/870.50 c #Conflicts: 555000 | #Constraints: 71565 868.07/870.50 c #Conflicts: 556000 | #Constraints: 72565 868.07/870.50 c #Conflicts: 557000 | #Constraints: 73565 868.07/870.50 c #Conflicts: 558000 | #Constraints: 74565 868.07/870.50 c #Conflicts: 559000 | #Constraints: 75565 868.07/870.50 c #Conflicts: 560000 | #Constraints: 76565 868.07/870.50 c #Conflicts: 561000 | #Constraints: 77565 868.07/870.50 c #Conflicts: 562000 | #Constraints: 78565 868.07/870.50 c #Conflicts: 563000 | #Constraints: 79565 868.07/870.50 c #Conflicts: 564000 | #Constraints: 80565 868.07/870.50 c INPROCESSING 868.07/870.50 c GARBAGE COLLECT 868.07/870.50 c rational objective 81 906.97/909.56 c #Conflicts: 565000 | #Constraints: 44382 906.97/909.56 c #Conflicts: 566000 | #Constraints: 45382 906.97/909.56 c #Conflicts: 567000 | #Constraints: 46382 906.97/909.56 c #Conflicts: 568000 | #Constraints: 47382 906.97/909.56 c #Conflicts: 569000 | #Constraints: 48382 906.97/909.56 c #Conflicts: 570000 | #Constraints: 49383 906.97/909.56 c #Conflicts: 571000 | #Constraints: 50383 906.97/909.56 c #Conflicts: 572000 | #Constraints: 51384 906.97/909.56 c #Conflicts: 573000 | #Constraints: 52384 906.97/909.56 c #Conflicts: 574000 | #Constraints: 53384 906.97/909.56 c #Conflicts: 575000 | #Constraints: 54384 906.97/909.56 c #Conflicts: 576000 | #Constraints: 55384 906.97/909.56 c #Conflicts: 577000 | #Constraints: 56384 906.97/909.56 c #Conflicts: 578000 | #Constraints: 57384 906.97/909.56 c #Conflicts: 579000 | #Constraints: 58384 906.97/909.56 c #Conflicts: 580000 | #Constraints: 59384 906.97/909.56 c INPROCESSING 906.97/909.56 c GARBAGE COLLECT 906.97/909.56 c rational objective 81 930.22/932.87 c #Conflicts: 581000 | #Constraints: 33341 930.22/932.87 c #Conflicts: 582000 | #Constraints: 34341 930.22/932.87 c #Conflicts: 583000 | #Constraints: 35341 930.22/932.87 c #Conflicts: 584000 | #Constraints: 36341 930.22/932.87 c #Conflicts: 585000 | #Constraints: 37341 930.22/932.87 c #Conflicts: 586000 | #Constraints: 38341 930.22/932.87 c #Conflicts: 587000 | #Constraints: 39341 930.22/932.87 c #Conflicts: 588000 | #Constraints: 40341 930.22/932.87 c #Conflicts: 589000 | #Constraints: 41342 930.22/932.87 c #Conflicts: 590000 | #Constraints: 42342 930.22/932.87 c #Conflicts: 591000 | #Constraints: 43342 930.22/932.87 c #Conflicts: 592000 | #Constraints: 44342 930.22/932.87 c #Conflicts: 593000 | #Constraints: 45342 930.22/932.87 c #Conflicts: 594000 | #Constraints: 46342 930.22/932.87 c #Conflicts: 595000 | #Constraints: 47342 930.22/932.87 c #Conflicts: 596000 | #Constraints: 48342 930.22/932.87 c #Conflicts: 597000 | #Constraints: 49342 930.22/932.87 c INPROCESSING 930.22/932.87 c GARBAGE COLLECT 930.22/932.87 c rational objective 81 955.96/958.69 c #Conflicts: 598000 | #Constraints: 28359 955.96/958.69 c #Conflicts: 599000 | #Constraints: 29359 955.96/958.69 c #Conflicts: 600000 | #Constraints: 30359 955.96/958.69 c #Conflicts: 601000 | #Constraints: 31359 955.96/958.69 c #Conflicts: 602000 | #Constraints: 32359 955.96/958.69 c #Conflicts: 603000 | #Constraints: 33359 955.96/958.69 c #Conflicts: 604000 | #Constraints: 34359 955.96/958.69 c #Conflicts: 605000 | #Constraints: 35359 955.96/958.69 c #Conflicts: 606000 | #Constraints: 36360 955.96/958.69 c #Conflicts: 607000 | #Constraints: 37360 955.96/958.69 c #Conflicts: 608000 | #Constraints: 38360 955.96/958.69 c #Conflicts: 609000 | #Constraints: 39361 955.96/958.69 c #Conflicts: 610000 | #Constraints: 40361 955.96/958.69 c #Conflicts: 611000 | #Constraints: 41361 955.96/958.69 c #Conflicts: 612000 | #Constraints: 42362 955.96/958.69 c #Conflicts: 613000 | #Constraints: 43362 955.96/958.69 c #Conflicts: 614000 | #Constraints: 44362 955.96/958.69 c #Conflicts: 615000 | #Constraints: 45362 955.96/958.69 c INPROCESSING 955.96/958.69 c GARBAGE COLLECT 955.96/958.69 c rational objective 81 981.50/984.22 c #Conflicts: 616000 | #Constraints: 26834 981.50/984.22 c #Conflicts: 617000 | #Constraints: 27834 981.50/984.22 c #Conflicts: 618000 | #Constraints: 28834 981.50/984.22 c #Conflicts: 619000 | #Constraints: 29834 981.50/984.22 c #Conflicts: 620000 | #Constraints: 30834 981.50/984.22 c #Conflicts: 621000 | #Constraints: 31835 981.50/984.22 c #Conflicts: 622000 | #Constraints: 32835 981.50/984.22 c #Conflicts: 623000 | #Constraints: 33835 981.50/984.22 c #Conflicts: 624000 | #Constraints: 34835 981.50/984.22 c #Conflicts: 625000 | #Constraints: 35835 981.50/984.22 c #Conflicts: 626000 | #Constraints: 36835 981.50/984.22 c #Conflicts: 627000 | #Constraints: 37835 981.50/984.22 c #Conflicts: 628000 | #Constraints: 38835 981.50/984.22 c #Conflicts: 629000 | #Constraints: 39835 981.50/984.22 c #Conflicts: 630000 | #Constraints: 40835 981.50/984.22 c #Conflicts: 631000 | #Constraints: 41835 981.50/984.22 c #Conflicts: 632000 | #Constraints: 42835 981.50/984.22 c INPROCESSING 981.50/984.22 c GARBAGE COLLECT 981.50/984.22 c rational objective 81 1113.11/1116.13 c #Conflicts: 633000 | #Constraints: 25267 1113.11/1116.13 c #Conflicts: 634000 | #Constraints: 26267 1113.11/1116.13 c #Conflicts: 635000 | #Constraints: 27267 1113.11/1116.13 c #Conflicts: 636000 | #Constraints: 28268 1113.11/1116.13 c #Conflicts: 637000 | #Constraints: 29268 1113.11/1116.13 c #Conflicts: 638000 | #Constraints: 30268 1113.11/1116.13 c #Conflicts: 639000 | #Constraints: 31268 1113.11/1116.13 c #Conflicts: 640000 | #Constraints: 32268 1113.11/1116.13 c #Conflicts: 641000 | #Constraints: 33268 1113.11/1116.13 c #Conflicts: 642000 | #Constraints: 34268 1113.11/1116.13 c #Conflicts: 643000 | #Constraints: 35268 1113.11/1116.13 c #Conflicts: 644000 | #Constraints: 36268 1113.11/1116.13 c #Conflicts: 645000 | #Constraints: 37268 1113.11/1116.13 c #Conflicts: 646000 | #Constraints: 38268 1113.11/1116.13 c #Conflicts: 647000 | #Constraints: 39268 1113.11/1116.13 c #Conflicts: 648000 | #Constraints: 40268 1113.11/1116.13 c #Conflicts: 649000 | #Constraints: 41269 1113.11/1116.13 c #Conflicts: 650000 | #Constraints: 42269 1113.11/1116.13 c #Conflicts: 651000 | #Constraints: 43269 1113.11/1116.13 c #Conflicts: 652000 | #Constraints: 44269 1113.11/1116.13 c #Conflicts: 653000 | #Constraints: 45269 1113.11/1116.13 c #Conflicts: 654000 | #Constraints: 46269 1113.11/1116.13 c #Conflicts: 655000 | #Constraints: 47269 1113.11/1116.13 c #Conflicts: 656000 | #Constraints: 48269 1113.11/1116.13 c #Conflicts: 657000 | #Constraints: 49270 1113.11/1116.13 c #Conflicts: 658000 | #Constraints: 50270 1113.11/1116.13 c #Conflicts: 659000 | #Constraints: 51270 1113.11/1116.13 c #Conflicts: 660000 | #Constraints: 52270 1113.11/1116.13 c #Conflicts: 661000 | #Constraints: 53270 1113.11/1116.13 c #Conflicts: 662000 | #Constraints: 54270 1113.11/1116.13 c #Conflicts: 663000 | #Constraints: 55270 1113.11/1116.13 c #Conflicts: 664000 | #Constraints: 56270 1113.11/1116.13 c #Conflicts: 665000 | #Constraints: 57270 1113.11/1116.13 c #Conflicts: 666000 | #Constraints: 58270 1113.11/1116.13 c #Conflicts: 667000 | #Constraints: 59270 1113.11/1116.13 c #Conflicts: 668000 | #Constraints: 60270 1113.11/1116.13 c #Conflicts: 669000 | #Constraints: 61270 1113.11/1116.13 c #Conflicts: 670000 | #Constraints: 62270 1113.11/1116.13 c #Conflicts: 671000 | #Constraints: 63270 1113.11/1116.13 c #Conflicts: 672000 | #Constraints: 64270 1113.11/1116.13 c #Conflicts: 673000 | #Constraints: 65270 1113.11/1116.13 c #Conflicts: 674000 | #Constraints: 66270 1113.11/1116.13 c #Conflicts: 675000 | #Constraints: 67270 1113.11/1116.13 c #Conflicts: 676000 | #Constraints: 68270 1113.11/1116.13 c #Conflicts: 677000 | #Constraints: 69270 1113.11/1116.13 c #Conflicts: 678000 | #Constraints: 70270 1113.11/1116.13 c #Conflicts: 679000 | #Constraints: 71270 1113.11/1116.13 c #Conflicts: 680000 | #Constraints: 72270 1113.11/1116.13 c #Conflicts: 681000 | #Constraints: 73270 1113.11/1116.13 c #Conflicts: 682000 | #Constraints: 74270 1113.11/1116.13 c #Conflicts: 683000 | #Constraints: 75270 1113.11/1116.13 c #Conflicts: 684000 | #Constraints: 76270 1113.11/1116.13 c #Conflicts: 685000 | #Constraints: 77270 1113.11/1116.13 c #Conflicts: 686000 | #Constraints: 78270 1113.11/1116.13 c #Conflicts: 687000 | #Constraints: 79270 1113.11/1116.13 c #Conflicts: 688000 | #Constraints: 80270 1113.11/1116.13 c #Conflicts: 689000 | #Constraints: 81270 1113.11/1116.13 c #Conflicts: 690000 | #Constraints: 82270 1113.11/1116.13 c #Conflicts: 691000 | #Constraints: 83270 1113.11/1116.13 c #Conflicts: 692000 | #Constraints: 84270 1113.11/1116.13 c #Conflicts: 693000 | #Constraints: 85270 1113.11/1116.13 c #Conflicts: 694000 | #Constraints: 86271 1113.11/1116.13 c #Conflicts: 695000 | #Constraints: 87271 1113.11/1116.13 c #Conflicts: 696000 | #Constraints: 88271 1113.11/1116.13 c INPROCESSING 1113.11/1116.13 c GARBAGE COLLECT 1113.11/1116.13 c rational objective 81 1151.31/1154.40 c #Conflicts: 697000 | #Constraints: 47802 1151.31/1154.40 c #Conflicts: 698000 | #Constraints: 48802 1151.31/1154.40 c #Conflicts: 699000 | #Constraints: 49802 1151.31/1154.40 c #Conflicts: 700000 | #Constraints: 50802 1151.31/1154.40 c #Conflicts: 701000 | #Constraints: 51802 1151.31/1154.40 c #Conflicts: 702000 | #Constraints: 52802 1151.31/1154.40 c #Conflicts: 703000 | #Constraints: 53802 1151.31/1154.40 c #Conflicts: 704000 | #Constraints: 54802 1151.31/1154.40 c #Conflicts: 705000 | #Constraints: 55802 1151.31/1154.40 c #Conflicts: 706000 | #Constraints: 56802 1151.31/1154.40 c #Conflicts: 707000 | #Constraints: 57802 1151.31/1154.40 c #Conflicts: 708000 | #Constraints: 58803 1151.31/1154.40 c #Conflicts: 709000 | #Constraints: 59803 1151.31/1154.40 c #Conflicts: 710000 | #Constraints: 60803 1151.31/1154.40 c #Conflicts: 711000 | #Constraints: 61803 1151.31/1154.40 c #Conflicts: 712000 | #Constraints: 62803 1151.31/1154.40 c #Conflicts: 713000 | #Constraints: 63803 1151.31/1154.40 c #Conflicts: 714000 | #Constraints: 64803 1151.31/1154.40 c #Conflicts: 715000 | #Constraints: 65803 1151.31/1154.40 c INPROCESSING 1151.31/1154.40 c GARBAGE COLLECT 1151.31/1154.40 c rational objective 81 1179.45/1182.61 c #Conflicts: 716000 | #Constraints: 36810 1179.45/1182.61 c #Conflicts: 717000 | #Constraints: 37810 1179.45/1182.61 c #Conflicts: 718000 | #Constraints: 38810 1179.45/1182.61 c #Conflicts: 719000 | #Constraints: 39810 1179.45/1182.61 c #Conflicts: 720000 | #Constraints: 40810 1179.45/1182.61 c #Conflicts: 721000 | #Constraints: 41810 1179.45/1182.61 c #Conflicts: 722000 | #Constraints: 42810 1179.45/1182.61 c #Conflicts: 723000 | #Constraints: 43810 1179.45/1182.61 c #Conflicts: 724000 | #Constraints: 44810 1179.45/1182.61 c #Conflicts: 725000 | #Constraints: 45811 1179.45/1182.61 c #Conflicts: 726000 | #Constraints: 46811 1179.45/1182.61 c #Conflicts: 727000 | #Constraints: 47812 1179.45/1182.61 c #Conflicts: 728000 | #Constraints: 48812 1179.45/1182.61 c #Conflicts: 729000 | #Constraints: 49812 1179.45/1182.61 c #Conflicts: 730000 | #Constraints: 50812 1179.45/1182.61 c #Conflicts: 731000 | #Constraints: 51812 1179.45/1182.61 c #Conflicts: 732000 | #Constraints: 52813 1179.45/1182.61 c #Conflicts: 733000 | #Constraints: 53813 1179.45/1182.61 c #Conflicts: 734000 | #Constraints: 54814 1179.45/1182.61 c INPROCESSING 1179.45/1182.61 c GARBAGE COLLECT 1179.45/1182.61 c rational objective 81 1208.79/1212.02 c #Conflicts: 735000 | #Constraints: 31380 1208.79/1212.02 c #Conflicts: 736000 | #Constraints: 32381 1208.79/1212.02 c #Conflicts: 737000 | #Constraints: 33381 1208.79/1212.02 c #Conflicts: 738000 | #Constraints: 34381 1208.79/1212.02 c #Conflicts: 739000 | #Constraints: 35381 1208.79/1212.02 c #Conflicts: 740000 | #Constraints: 36381 1208.79/1212.02 c #Conflicts: 741000 | #Constraints: 37381 1208.79/1212.02 c #Conflicts: 742000 | #Constraints: 38381 1208.79/1212.02 c #Conflicts: 743000 | #Constraints: 39381 1208.79/1212.02 c #Conflicts: 744000 | #Constraints: 40381 1208.79/1212.02 c #Conflicts: 745000 | #Constraints: 41381 1208.79/1212.02 c #Conflicts: 746000 | #Constraints: 42381 1208.79/1212.02 c #Conflicts: 747000 | #Constraints: 43381 1208.79/1212.02 c #Conflicts: 748000 | #Constraints: 44381 1208.79/1212.02 c #Conflicts: 749000 | #Constraints: 45381 1208.79/1212.02 c #Conflicts: 750000 | #Constraints: 46381 1208.79/1212.02 c #Conflicts: 751000 | #Constraints: 47381 1208.79/1212.02 c #Conflicts: 752000 | #Constraints: 48381 1208.79/1212.02 c #Conflicts: 753000 | #Constraints: 49381 1208.79/1212.02 c INPROCESSING 1208.79/1212.02 c GARBAGE COLLECT 1208.79/1212.02 c rational objective 81 1233.02/1236.31 c #Conflicts: 754000 | #Constraints: 28500 1233.02/1236.31 c #Conflicts: 755000 | #Constraints: 29500 1233.02/1236.31 c #Conflicts: 756000 | #Constraints: 30500 1233.02/1236.31 c #Conflicts: 757000 | #Constraints: 31500 1233.02/1236.31 c #Conflicts: 758000 | #Constraints: 32500 1233.02/1236.31 c #Conflicts: 759000 | #Constraints: 33500 1233.02/1236.31 c #Conflicts: 760000 | #Constraints: 34500 1233.02/1236.31 c #Conflicts: 761000 | #Constraints: 35500 1233.02/1236.31 c #Conflicts: 762000 | #Constraints: 36500 1233.02/1236.31 c #Conflicts: 763000 | #Constraints: 37500 1233.02/1236.31 c #Conflicts: 764000 | #Constraints: 38500 1233.02/1236.31 c #Conflicts: 765000 | #Constraints: 39500 1233.02/1236.31 c #Conflicts: 766000 | #Constraints: 40500 1233.02/1236.31 c #Conflicts: 767000 | #Constraints: 41500 1233.02/1236.31 c #Conflicts: 768000 | #Constraints: 42500 1233.02/1236.31 c #Conflicts: 769000 | #Constraints: 43501 1233.02/1236.31 c #Conflicts: 770000 | #Constraints: 44501 1233.02/1236.31 c #Conflicts: 771000 | #Constraints: 45501 1233.02/1236.31 c #Conflicts: 772000 | #Constraints: 46501 1233.02/1236.31 c INPROCESSING 1233.02/1236.31 c GARBAGE COLLECT 1233.02/1236.31 c rational objective 81 1379.69/1383.36 c #Conflicts: 773000 | #Constraints: 26967 1379.69/1383.36 c #Conflicts: 774000 | #Constraints: 27967 1379.69/1383.36 c #Conflicts: 775000 | #Constraints: 28967 1379.69/1383.36 c #Conflicts: 776000 | #Constraints: 29968 1379.69/1383.36 c #Conflicts: 777000 | #Constraints: 30968 1379.69/1383.36 c #Conflicts: 778000 | #Constraints: 31969 1379.69/1383.36 c #Conflicts: 779000 | #Constraints: 32969 1379.69/1383.36 c #Conflicts: 780000 | #Constraints: 33969 1379.69/1383.36 c #Conflicts: 781000 | #Constraints: 34969 1379.69/1383.36 c #Conflicts: 782000 | #Constraints: 35969 1379.69/1383.36 c #Conflicts: 783000 | #Constraints: 36970 1379.69/1383.36 c #Conflicts: 784000 | #Constraints: 37970 1379.69/1383.36 c #Conflicts: 785000 | #Constraints: 38970 1379.69/1383.36 c #Conflicts: 786000 | #Constraints: 39970 1379.69/1383.36 c #Conflicts: 787000 | #Constraints: 40970 1379.69/1383.36 c #Conflicts: 788000 | #Constraints: 41970 1379.69/1383.36 c #Conflicts: 789000 | #Constraints: 42970 1379.69/1383.36 c #Conflicts: 790000 | #Constraints: 43970 1379.69/1383.36 c #Conflicts: 791000 | #Constraints: 44970 1379.69/1383.36 c #Conflicts: 792000 | #Constraints: 45970 1379.69/1383.36 c #Conflicts: 793000 | #Constraints: 46970 1379.69/1383.36 c #Conflicts: 794000 | #Constraints: 47970 1379.69/1383.36 c #Conflicts: 795000 | #Constraints: 48970 1379.69/1383.36 c #Conflicts: 796000 | #Constraints: 49970 1379.69/1383.36 c #Conflicts: 797000 | #Constraints: 50970 1379.69/1383.36 c #Conflicts: 798000 | #Constraints: 51971 1379.69/1383.36 c #Conflicts: 799000 | #Constraints: 52971 1379.69/1383.36 c #Conflicts: 800000 | #Constraints: 53971 1379.69/1383.36 c #Conflicts: 801000 | #Constraints: 54971 1379.69/1383.36 c #Conflicts: 802000 | #Constraints: 55971 1379.69/1383.36 c #Conflicts: 803000 | #Constraints: 56971 1379.69/1383.36 c #Conflicts: 804000 | #Constraints: 57971 1379.69/1383.36 c #Conflicts: 805000 | #Constraints: 58971 1379.69/1383.36 c #Conflicts: 806000 | #Constraints: 59971 1379.69/1383.36 c #Conflicts: 807000 | #Constraints: 60971 1379.69/1383.36 c #Conflicts: 808000 | #Constraints: 61971 1379.69/1383.36 c #Conflicts: 809000 | #Constraints: 62971 1379.69/1383.36 c #Conflicts: 810000 | #Constraints: 63971 1379.69/1383.36 c #Conflicts: 811000 | #Constraints: 64971 1379.69/1383.36 c #Conflicts: 812000 | #Constraints: 65972 1379.69/1383.36 c #Conflicts: 813000 | #Constraints: 66972 1379.69/1383.36 c #Conflicts: 814000 | #Constraints: 67972 1379.69/1383.36 c #Conflicts: 815000 | #Constraints: 68972 1379.69/1383.36 c #Conflicts: 816000 | #Constraints: 69972 1379.69/1383.36 c #Conflicts: 817000 | #Constraints: 70972 1379.69/1383.36 c #Conflicts: 818000 | #Constraints: 71972 1379.69/1383.36 c #Conflicts: 819000 | #Constraints: 72973 1379.69/1383.36 c #Conflicts: 820000 | #Constraints: 73973 1379.69/1383.36 c #Conflicts: 821000 | #Constraints: 74973 1379.69/1383.36 c #Conflicts: 822000 | #Constraints: 75973 1379.69/1383.36 c #Conflicts: 823000 | #Constraints: 76973 1379.69/1383.36 c #Conflicts: 824000 | #Constraints: 77973 1379.69/1383.36 c #Conflicts: 825000 | #Constraints: 78973 1379.69/1383.36 c #Conflicts: 826000 | #Constraints: 79973 1379.69/1383.36 c #Conflicts: 827000 | #Constraints: 80973 1379.69/1383.36 c #Conflicts: 828000 | #Constraints: 81974 1379.69/1383.36 c #Conflicts: 829000 | #Constraints: 82974 1379.69/1383.36 c #Conflicts: 830000 | #Constraints: 83974 1379.69/1383.36 c #Conflicts: 831000 | #Constraints: 84974 1379.69/1383.36 c #Conflicts: 832000 | #Constraints: 85974 1379.69/1383.36 c #Conflicts: 833000 | #Constraints: 86974 1379.69/1383.36 c #Conflicts: 834000 | #Constraints: 87974 1379.69/1383.36 c #Conflicts: 835000 | #Constraints: 88974 1379.69/1383.36 c #Conflicts: 836000 | #Constraints: 89974 1379.69/1383.36 c #Conflicts: 837000 | #Constraints: 90974 1379.69/1383.36 c #Conflicts: 838000 | #Constraints: 91974 1379.69/1383.36 c #Conflicts: 839000 | #Constraints: 92974 1379.69/1383.36 c #Conflicts: 840000 | #Constraints: 93974 1379.69/1383.36 c #Conflicts: 841000 | #Constraints: 94974 1379.69/1383.36 c #Conflicts: 842000 | #Constraints: 95974 1379.69/1383.36 c #Conflicts: 843000 | #Constraints: 96974 1379.69/1383.36 c INPROCESSING 1379.69/1383.36 c GARBAGE COLLECT 1379.69/1383.36 c rational objective 81 1420.49/1424.20 c #Conflicts: 844000 | #Constraints: 52275 1420.49/1424.20 c #Conflicts: 845000 | #Constraints: 53275 1420.49/1424.20 c #Conflicts: 846000 | #Constraints: 54275 1420.49/1424.20 c #Conflicts: 847000 | #Constraints: 55276 1420.49/1424.20 c #Conflicts: 848000 | #Constraints: 56277 1420.49/1424.20 c #Conflicts: 849000 | #Constraints: 57277 1420.49/1424.20 c #Conflicts: 850000 | #Constraints: 58278 1420.49/1424.20 c #Conflicts: 851000 | #Constraints: 59278 1420.49/1424.20 c #Conflicts: 852000 | #Constraints: 60278 1420.49/1424.20 c #Conflicts: 853000 | #Constraints: 61278 1420.49/1424.20 c #Conflicts: 854000 | #Constraints: 62278 1420.49/1424.20 c #Conflicts: 855000 | #Constraints: 63278 1420.49/1424.20 c #Conflicts: 856000 | #Constraints: 64278 1420.49/1424.20 c #Conflicts: 857000 | #Constraints: 65278 1420.49/1424.20 c #Conflicts: 858000 | #Constraints: 66278 1420.49/1424.20 c #Conflicts: 859000 | #Constraints: 67278 1420.49/1424.20 c #Conflicts: 860000 | #Constraints: 68279 1420.49/1424.20 c #Conflicts: 861000 | #Constraints: 69279 1420.49/1424.20 c #Conflicts: 862000 | #Constraints: 70279 1420.49/1424.20 c #Conflicts: 863000 | #Constraints: 71280 1420.49/1424.20 c #Conflicts: 864000 | #Constraints: 72280 1420.49/1424.20 c INPROCESSING 1420.49/1424.20 c GARBAGE COLLECT 1420.49/1424.20 c rational objective 81 1452.51/1456.32 c #Conflicts: 865000 | #Constraints: 40161 1452.51/1456.32 c #Conflicts: 866000 | #Constraints: 41161 1452.51/1456.32 c #Conflicts: 867000 | #Constraints: 42161 1452.51/1456.32 c #Conflicts: 868000 | #Constraints: 43161 1452.51/1456.32 c #Conflicts: 869000 | #Constraints: 44161 1452.51/1456.32 c #Conflicts: 870000 | #Constraints: 45161 1452.51/1456.32 c #Conflicts: 871000 | #Constraints: 46161 1452.51/1456.32 c #Conflicts: 872000 | #Constraints: 47161 1452.51/1456.32 c #Conflicts: 873000 | #Constraints: 48161 1452.51/1456.32 c #Conflicts: 874000 | #Constraints: 49163 1452.51/1456.32 c #Conflicts: 875000 | #Constraints: 50163 1452.51/1456.32 c #Conflicts: 876000 | #Constraints: 51163 1452.51/1456.32 c #Conflicts: 877000 | #Constraints: 52163 1452.51/1456.32 c #Conflicts: 878000 | #Constraints: 53163 1452.51/1456.32 c #Conflicts: 879000 | #Constraints: 54164 1452.51/1456.32 c #Conflicts: 880000 | #Constraints: 55164 1452.51/1456.32 c #Conflicts: 881000 | #Constraints: 56164 1452.51/1456.32 c #Conflicts: 882000 | #Constraints: 57164 1452.51/1456.32 c #Conflicts: 883000 | #Constraints: 58164 1452.51/1456.32 c #Conflicts: 884000 | #Constraints: 59164 1452.51/1456.32 c #Conflicts: 885000 | #Constraints: 60164 1452.51/1456.32 c INPROCESSING 1452.51/1456.32 c GARBAGE COLLECT 1452.51/1456.32 c rational objective 81 1488.93/1492.88 c #Conflicts: 886000 | #Constraints: 34223 1488.93/1492.88 c #Conflicts: 887000 | #Constraints: 35223 1488.93/1492.88 c #Conflicts: 888000 | #Constraints: 36223 1488.93/1492.88 c #Conflicts: 889000 | #Constraints: 37223 1488.93/1492.88 c #Conflicts: 890000 | #Constraints: 38223 1488.93/1492.88 c #Conflicts: 891000 | #Constraints: 39223 1488.93/1492.88 c #Conflicts: 892000 | #Constraints: 40223 1488.93/1492.88 c #Conflicts: 893000 | #Constraints: 41223 1488.93/1492.88 c #Conflicts: 894000 | #Constraints: 42223 1488.93/1492.88 c #Conflicts: 895000 | #Constraints: 43223 1488.93/1492.88 c #Conflicts: 896000 | #Constraints: 44223 1488.93/1492.88 c #Conflicts: 897000 | #Constraints: 45223 1488.93/1492.88 c #Conflicts: 898000 | #Constraints: 46223 1488.93/1492.88 c #Conflicts: 899000 | #Constraints: 47223 1488.93/1492.88 c #Conflicts: 900000 | #Constraints: 48223 1488.93/1492.88 c #Conflicts: 901000 | #Constraints: 49223 1488.93/1492.88 c #Conflicts: 902000 | #Constraints: 50223 1488.93/1492.88 c #Conflicts: 903000 | #Constraints: 51224 1488.93/1492.88 c #Conflicts: 904000 | #Constraints: 52224 1488.93/1492.88 c #Conflicts: 905000 | #Constraints: 53224 1488.93/1492.88 c #Conflicts: 906000 | #Constraints: 54224 1488.93/1492.88 c INPROCESSING 1488.93/1492.88 c GARBAGE COLLECT 1488.93/1492.88 c rational objective 81 1518.45/1522.46 c #Conflicts: 907000 | #Constraints: 31325 1518.45/1522.46 c #Conflicts: 908000 | #Constraints: 32326 1518.45/1522.46 c #Conflicts: 909000 | #Constraints: 33326 1518.45/1522.46 c #Conflicts: 910000 | #Constraints: 34326 1518.45/1522.46 c #Conflicts: 911000 | #Constraints: 35326 1518.45/1522.46 c #Conflicts: 912000 | #Constraints: 36326 1518.45/1522.46 c #Conflicts: 913000 | #Constraints: 37326 1518.45/1522.46 c #Conflicts: 914000 | #Constraints: 38326 1518.45/1522.46 c #Conflicts: 915000 | #Constraints: 39326 1518.45/1522.46 c #Conflicts: 916000 | #Constraints: 40326 1518.45/1522.46 c #Conflicts: 917000 | #Constraints: 41326 1518.45/1522.46 c #Conflicts: 918000 | #Constraints: 42326 1518.45/1522.46 c #Conflicts: 919000 | #Constraints: 43326 1518.45/1522.46 c #Conflicts: 920000 | #Constraints: 44326 1518.45/1522.46 c #Conflicts: 921000 | #Constraints: 45326 1518.45/1522.46 c #Conflicts: 922000 | #Constraints: 46326 1518.45/1522.46 c #Conflicts: 923000 | #Constraints: 47326 1518.45/1522.46 c #Conflicts: 924000 | #Constraints: 48326 1518.45/1522.46 c #Conflicts: 925000 | #Constraints: 49326 1518.45/1522.46 c #Conflicts: 926000 | #Constraints: 50326 1518.45/1522.46 c #Conflicts: 927000 | #Constraints: 51326 1518.45/1522.46 c INPROCESSING 1518.45/1522.46 c GARBAGE COLLECT 1518.45/1522.46 c rational objective 81 1676.29/1680.67 c #Conflicts: 928000 | #Constraints: 29679 1676.29/1680.67 c #Conflicts: 929000 | #Constraints: 30679 1676.29/1680.67 c #Conflicts: 930000 | #Constraints: 31680 1676.29/1680.67 c #Conflicts: 931000 | #Constraints: 32680 1676.29/1680.67 c #Conflicts: 932000 | #Constraints: 33680 1676.29/1680.67 c #Conflicts: 933000 | #Constraints: 34680 1676.29/1680.67 c #Conflicts: 934000 | #Constraints: 35680 1676.29/1680.67 c #Conflicts: 935000 | #Constraints: 36680 1676.29/1680.67 c #Conflicts: 936000 | #Constraints: 37680 1676.29/1680.67 c #Conflicts: 937000 | #Constraints: 38680 1676.29/1680.67 c #Conflicts: 938000 | #Constraints: 39680 1676.29/1680.67 c #Conflicts: 939000 | #Constraints: 40680 1676.29/1680.67 c #Conflicts: 940000 | #Constraints: 41680 1676.29/1680.67 c #Conflicts: 941000 | #Constraints: 42680 1676.29/1680.67 c #Conflicts: 942000 | #Constraints: 43680 1676.29/1680.67 c #Conflicts: 943000 | #Constraints: 44680 1676.29/1680.67 c #Conflicts: 944000 | #Constraints: 45680 1676.29/1680.67 c #Conflicts: 945000 | #Constraints: 46680 1676.29/1680.67 c #Conflicts: 946000 | #Constraints: 47680 1676.29/1680.67 c #Conflicts: 947000 | #Constraints: 48680 1676.29/1680.67 c #Conflicts: 948000 | #Constraints: 49680 1676.29/1680.67 c #Conflicts: 949000 | #Constraints: 50680 1676.29/1680.67 c #Conflicts: 950000 | #Constraints: 51680 1676.29/1680.67 c #Conflicts: 951000 | #Constraints: 52680 1676.29/1680.67 c #Conflicts: 952000 | #Constraints: 53680 1676.29/1680.67 c #Conflicts: 953000 | #Constraints: 54680 1676.29/1680.67 c #Conflicts: 954000 | #Constraints: 55680 1676.29/1680.67 c #Conflicts: 955000 | #Constraints: 56680 1676.29/1680.67 c #Conflicts: 956000 | #Constraints: 57680 1676.29/1680.67 c #Conflicts: 957000 | #Constraints: 58680 1676.29/1680.67 c #Conflicts: 958000 | #Constraints: 59680 1676.29/1680.67 c #Conflicts: 959000 | #Constraints: 60680 1676.29/1680.67 c #Conflicts: 960000 | #Constraints: 61680 1676.29/1680.67 c #Conflicts: 961000 | #Constraints: 62680 1676.29/1680.67 c #Conflicts: 962000 | #Constraints: 63681 1676.29/1680.67 c #Conflicts: 963000 | #Constraints: 64681 1676.29/1680.67 c #Conflicts: 964000 | #Constraints: 65681 1676.29/1680.67 c #Conflicts: 965000 | #Constraints: 66682 1676.29/1680.67 c #Conflicts: 966000 | #Constraints: 67684 1676.29/1680.67 c #Conflicts: 967000 | #Constraints: 68686 1676.29/1680.67 c #Conflicts: 968000 | #Constraints: 69686 1676.29/1680.67 c #Conflicts: 969000 | #Constraints: 70686 1676.29/1680.67 c #Conflicts: 970000 | #Constraints: 71687 1676.29/1680.67 c #Conflicts: 971000 | #Constraints: 72687 1676.29/1680.67 c #Conflicts: 972000 | #Constraints: 73688 1676.29/1680.67 c #Conflicts: 973000 | #Constraints: 74688 1676.29/1680.67 c #Conflicts: 974000 | #Constraints: 75688 1676.29/1680.67 c #Conflicts: 975000 | #Constraints: 76688 1676.29/1680.67 c #Conflicts: 976000 | #Constraints: 77688 1676.29/1680.67 c #Conflicts: 977000 | #Constraints: 78688 1676.29/1680.67 c #Conflicts: 978000 | #Constraints: 79688 1676.29/1680.67 c #Conflicts: 979000 | #Constraints: 80688 1676.29/1680.67 c #Conflicts: 980000 | #Constraints: 81688 1676.29/1680.67 c #Conflicts: 981000 | #Constraints: 82688 1676.29/1680.67 c #Conflicts: 982000 | #Constraints: 83688 1676.29/1680.67 c #Conflicts: 983000 | #Constraints: 84688 1676.29/1680.67 c #Conflicts: 984000 | #Constraints: 85688 1676.29/1680.67 c #Conflicts: 985000 | #Constraints: 86688 1676.29/1680.67 c #Conflicts: 986000 | #Constraints: 87689 1676.29/1680.67 c #Conflicts: 987000 | #Constraints: 88689 1676.29/1680.67 c #Conflicts: 988000 | #Constraints: 89689 1676.29/1680.67 c #Conflicts: 989000 | #Constraints: 90689 1676.29/1680.67 c #Conflicts: 990000 | #Constraints: 91689 1676.29/1680.67 c #Conflicts: 991000 | #Constraints: 92689 1676.29/1680.67 c #Conflicts: 992000 | #Constraints: 93689 1676.29/1680.67 c #Conflicts: 993000 | #Constraints: 94689 1676.29/1680.67 c #Conflicts: 994000 | #Constraints: 95689 1676.29/1680.67 c #Conflicts: 995000 | #Constraints: 96689 1676.29/1680.67 c #Conflicts: 996000 | #Constraints: 97689 1676.29/1680.67 c #Conflicts: 997000 | #Constraints: 98689 1676.29/1680.67 c #Conflicts: 998000 | #Constraints: 99689 1676.29/1680.67 c #Conflicts: 999000 | #Constraints: 100689 1676.29/1680.67 c #Conflicts: 1000000 | #Constraints: 101690 1676.29/1680.67 c #Conflicts: 1001000 | #Constraints: 102690 1676.29/1680.67 c #Conflicts: 1002000 | #Constraints: 103690 1676.29/1680.67 c #Conflicts: 1003000 | #Constraints: 104690 1676.29/1680.67 c #Conflicts: 1004000 | #Constraints: 105690 1676.29/1680.67 c INPROCESSING 1676.29/1680.67 c GARBAGE COLLECT 1676.29/1680.67 c rational objective 81 1736.35/1740.89 c #Conflicts: 1005000 | #Constraints: 56856 1736.35/1740.89 c #Conflicts: 1006000 | #Constraints: 57856 1736.35/1740.89 c #Conflicts: 1007000 | #Constraints: 58856 1736.35/1740.89 c #Conflicts: 1008000 | #Constraints: 59856 1736.35/1740.89 c #Conflicts: 1009000 | #Constraints: 60856 1736.35/1740.89 c #Conflicts: 1010000 | #Constraints: 61856 1736.35/1740.89 c #Conflicts: 1011000 | #Constraints: 62858 1736.35/1740.89 c #Conflicts: 1012000 | #Constraints: 63858 1736.35/1740.89 c #Conflicts: 1013000 | #Constraints: 64858 1736.35/1740.89 c #Conflicts: 1014000 | #Constraints: 65860 1736.35/1740.89 c #Conflicts: 1015000 | #Constraints: 66860 1736.35/1740.89 c #Conflicts: 1016000 | #Constraints: 67863 1736.35/1740.89 c #Conflicts: 1017000 | #Constraints: 68867 1736.35/1740.89 c #Conflicts: 1018000 | #Constraints: 69867 1736.35/1740.89 c #Conflicts: 1019000 | #Constraints: 70867 1736.35/1740.89 c #Conflicts: 1020000 | #Constraints: 71868 1736.35/1740.89 c #Conflicts: 1021000 | #Constraints: 72868 1736.35/1740.89 c #Conflicts: 1022000 | #Constraints: 73868 1736.35/1740.89 c #Conflicts: 1023000 | #Constraints: 74868 1736.35/1740.89 c #Conflicts: 1024000 | #Constraints: 75868 1736.35/1740.89 c #Conflicts: 1025000 | #Constraints: 76868 1736.35/1740.89 c #Conflicts: 1026000 | #Constraints: 77869 1736.35/1740.89 c INPROCESSING 1736.35/1740.89 c GARBAGE COLLECT 1736.35/1740.89 c rational objective 81 1779.56/1784.11 c #Conflicts: 1027000 | #Constraints: 42649 1779.56/1784.11 c #Conflicts: 1028000 | #Constraints: 43649 1779.56/1784.11 c #Conflicts: 1029000 | #Constraints: 44649 1779.56/1784.11 c #Conflicts: 1030000 | #Constraints: 45649 1779.56/1784.11 c #Conflicts: 1031000 | #Constraints: 46649 1779.56/1784.11 c #Conflicts: 1032000 | #Constraints: 47650 1779.56/1784.11 c #Conflicts: 1033000 | #Constraints: 48650 1779.56/1784.11 c #Conflicts: 1034000 | #Constraints: 49650 1779.56/1784.11 c #Conflicts: 1035000 | #Constraints: 50650 1779.56/1784.11 c #Conflicts: 1036000 | #Constraints: 51650 1779.56/1784.11 c #Conflicts: 1037000 | #Constraints: 52650 1779.56/1784.11 c #Conflicts: 1038000 | #Constraints: 53650 1779.56/1784.11 c #Conflicts: 1039000 | #Constraints: 54651 1779.56/1784.11 c #Conflicts: 1040000 | #Constraints: 55651 1779.56/1784.11 c #Conflicts: 1041000 | #Constraints: 56651 1779.56/1784.11 c #Conflicts: 1042000 | #Constraints: 57651 1779.56/1784.11 c #Conflicts: 1043000 | #Constraints: 58651 1779.56/1784.11 c #Conflicts: 1044000 | #Constraints: 59652 1779.56/1784.11 c #Conflicts: 1045000 | #Constraints: 60652 1779.56/1784.11 c #Conflicts: 1046000 | #Constraints: 61652 1779.56/1784.11 c #Conflicts: 1047000 | #Constraints: 62652 1779.56/1784.11 c #Conflicts: 1048000 | #Constraints: 63652 1779.56/1784.11 c #Conflicts: 1049000 | #Constraints: 64652 1779.56/1784.11 c INPROCESSING 1779.56/1784.11 c GARBAGE COLLECT 1779.56/1784.11 c rational objective 81 1836.12/1840.80 c #Conflicts: 1050000 | #Constraints: 36158 1836.12/1840.80 c #Conflicts: 1051000 | #Constraints: 37159 1836.12/1840.80 c #Conflicts: 1052000 | #Constraints: 38159 1836.12/1840.80 c #Conflicts: 1053000 | #Constraints: 39159 1836.12/1840.80 c #Conflicts: 1054000 | #Constraints: 40159 1836.12/1840.80 c #Conflicts: 1055000 | #Constraints: 41159 1836.12/1840.80 c #Conflicts: 1056000 | #Constraints: 42159 1836.12/1840.80 c #Conflicts: 1057000 | #Constraints: 43159 1836.12/1840.80 c #Conflicts: 1058000 | #Constraints: 44160 1836.12/1840.80 c #Conflicts: 1059000 | #Constraints: 45161 1836.12/1840.80 c #Conflicts: 1060000 | #Constraints: 46164 1836.12/1840.80 c #Conflicts: 1061000 | #Constraints: 47164 1836.12/1840.80 c #Conflicts: 1062000 | #Constraints: 48166 1836.12/1840.80 c #Conflicts: 1063000 | #Constraints: 49169 1836.12/1840.80 c #Conflicts: 1064000 | #Constraints: 50169 1836.12/1840.80 c #Conflicts: 1065000 | #Constraints: 51169 1836.12/1840.80 c #Conflicts: 1066000 | #Constraints: 52169 1836.12/1840.80 c #Conflicts: 1067000 | #Constraints: 53169 1836.12/1840.80 c #Conflicts: 1068000 | #Constraints: 54169 1836.12/1840.80 c #Conflicts: 1069000 | #Constraints: 55169 1836.12/1840.80 c #Conflicts: 1070000 | #Constraints: 56169 1836.12/1840.80 c #Conflicts: 1071000 | #Constraints: 57169 1836.12/1840.80 c #Conflicts: 1072000 | #Constraints: 58169 1836.12/1840.80 c INPROCESSING 1836.12/1840.80 c GARBAGE COLLECT 1836.12/1840.80 c rational objective 81 1869.64/1874.49 c #Conflicts: 1073000 | #Constraints: 33004 1869.64/1874.49 c #Conflicts: 1074000 | #Constraints: 34004 1869.64/1874.49 c #Conflicts: 1075000 | #Constraints: 35004 1869.64/1874.49 c #Conflicts: 1076000 | #Constraints: 36004 1869.64/1874.49 c #Conflicts: 1077000 | #Constraints: 37004 1869.64/1874.49 c #Conflicts: 1078000 | #Constraints: 38004 1869.64/1874.49 c #Conflicts: 1079000 | #Constraints: 39004 1869.64/1874.49 c #Conflicts: 1080000 | #Constraints: 40004 1869.64/1874.49 c #Conflicts: 1081000 | #Constraints: 41004 1869.64/1874.49 c #Conflicts: 1082000 | #Constraints: 42004 1869.64/1874.49 c #Conflicts: 1083000 | #Constraints: 43004 1869.64/1874.49 c #Conflicts: 1084000 | #Constraints: 44004 1869.64/1874.49 c #Conflicts: 1085000 | #Constraints: 45004 1869.64/1874.49 c #Conflicts: 1086000 | #Constraints: 46004 1869.64/1874.49 c #Conflicts: 1087000 | #Constraints: 47004 1869.64/1874.49 c #Conflicts: 1088000 | #Constraints: 48004 1869.64/1874.49 c #Conflicts: 1089000 | #Constraints: 49004 1869.64/1874.49 c #Conflicts: 1090000 | #Constraints: 50004 1869.64/1874.49 c #Conflicts: 1091000 | #Constraints: 51005 1869.64/1874.49 c #Conflicts: 1092000 | #Constraints: 52005 1869.64/1874.49 c #Conflicts: 1093000 | #Constraints: 53005 1869.64/1874.49 c #Conflicts: 1094000 | #Constraints: 54005 1869.64/1874.49 c #Conflicts: 1095000 | #Constraints: 55005 1869.64/1874.49 c INPROCESSING 1869.64/1874.49 c GARBAGE COLLECT 1869.64/1874.49 c rational objective 81 2051.40/2056.63 c #Conflicts: 1096000 | #Constraints: 31345 2051.40/2056.63 c #Conflicts: 1097000 | #Constraints: 32345 2051.40/2056.63 c #Conflicts: 1098000 | #Constraints: 33345 2051.40/2056.63 c #Conflicts: 1099000 | #Constraints: 34345 2051.40/2056.63 c #Conflicts: 1100000 | #Constraints: 35345 2051.40/2056.63 c #Conflicts: 1101000 | #Constraints: 36345 2051.40/2056.63 c #Conflicts: 1102000 | #Constraints: 37345 2051.40/2056.63 c #Conflicts: 1103000 | #Constraints: 38345 2051.40/2056.63 c #Conflicts: 1104000 | #Constraints: 39345 2051.40/2056.63 c #Conflicts: 1105000 | #Constraints: 40345 2051.40/2056.63 c #Conflicts: 1106000 | #Constraints: 41345 2051.40/2056.63 c #Conflicts: 1107000 | #Constraints: 42345 2051.40/2056.63 c #Conflicts: 1108000 | #Constraints: 43345 2051.40/2056.63 c #Conflicts: 1109000 | #Constraints: 44345 2051.40/2056.63 c #Conflicts: 1110000 | #Constraints: 45346 2051.40/2056.63 c #Conflicts: 1111000 | #Constraints: 46346 2051.40/2056.63 c #Conflicts: 1112000 | #Constraints: 47346 2051.40/2056.63 c #Conflicts: 1113000 | #Constraints: 48346 2051.40/2056.63 c #Conflicts: 1114000 | #Constraints: 49346 2051.40/2056.63 c #Conflicts: 1115000 | #Constraints: 50346 2051.40/2056.63 c #Conflicts: 1116000 | #Constraints: 51346 2051.40/2056.63 c #Conflicts: 1117000 | #Constraints: 52346 2051.40/2056.63 c #Conflicts: 1118000 | #Constraints: 53347 2051.40/2056.63 c #Conflicts: 1119000 | #Constraints: 54347 2051.40/2056.63 c #Conflicts: 1120000 | #Constraints: 55348 2051.40/2056.63 c #Conflicts: 1121000 | #Constraints: 56348 2051.40/2056.63 c #Conflicts: 1122000 | #Constraints: 57348 2051.40/2056.63 c #Conflicts: 1123000 | #Constraints: 58348 2051.40/2056.63 c #Conflicts: 1124000 | #Constraints: 59348 2051.40/2056.63 c #Conflicts: 1125000 | #Constraints: 60348 2051.40/2056.63 c #Conflicts: 1126000 | #Constraints: 61348 2051.40/2056.63 c #Conflicts: 1127000 | #Constraints: 62348 2051.40/2056.63 c #Conflicts: 1128000 | #Constraints: 63348 2051.40/2056.63 c #Conflicts: 1129000 | #Constraints: 64348 2051.40/2056.63 c #Conflicts: 1130000 | #Constraints: 65348 2051.40/2056.63 c #Conflicts: 1131000 | #Constraints: 66348 2051.40/2056.63 c #Conflicts: 1132000 | #Constraints: 67348 2051.40/2056.63 c #Conflicts: 1133000 | #Constraints: 68348 2051.40/2056.63 c #Conflicts: 1134000 | #Constraints: 69348 2051.40/2056.63 c #Conflicts: 1135000 | #Constraints: 70348 2051.40/2056.63 c #Conflicts: 1136000 | #Constraints: 71348 2051.40/2056.63 c #Conflicts: 1137000 | #Constraints: 72348 2051.40/2056.63 c #Conflicts: 1138000 | #Constraints: 73349 2051.40/2056.63 c #Conflicts: 1139000 | #Constraints: 74349 2051.40/2056.63 c #Conflicts: 1140000 | #Constraints: 75350 2051.40/2056.63 c #Conflicts: 1141000 | #Constraints: 76350 2051.40/2056.63 c #Conflicts: 1142000 | #Constraints: 77350 2051.40/2056.63 c #Conflicts: 1143000 | #Constraints: 78350 2051.40/2056.63 c #Conflicts: 1144000 | #Constraints: 79350 2051.40/2056.63 c #Conflicts: 1145000 | #Constraints: 80350 2051.40/2056.63 c #Conflicts: 1146000 | #Constraints: 81350 2051.40/2056.63 c #Conflicts: 1147000 | #Constraints: 82350 2051.40/2056.63 c #Conflicts: 1148000 | #Constraints: 83350 2051.40/2056.63 c #Conflicts: 1149000 | #Constraints: 84350 2051.40/2056.63 c #Conflicts: 1150000 | #Constraints: 85350 2051.40/2056.63 c #Conflicts: 1151000 | #Constraints: 86350 2051.40/2056.63 c #Conflicts: 1152000 | #Constraints: 87350 2051.40/2056.63 c #Conflicts: 1153000 | #Constraints: 88350 2051.40/2056.63 c #Conflicts: 1154000 | #Constraints: 89350 2051.40/2056.63 c #Conflicts: 1155000 | #Constraints: 90350 2051.40/2056.63 c #Conflicts: 1156000 | #Constraints: 91350 2051.40/2056.63 c #Conflicts: 1157000 | #Constraints: 92350 2051.40/2056.63 c #Conflicts: 1158000 | #Constraints: 93350 2051.40/2056.63 c #Conflicts: 1159000 | #Constraints: 94350 2051.40/2056.63 c #Conflicts: 1160000 | #Constraints: 95350 2051.40/2056.63 c #Conflicts: 1161000 | #Constraints: 96350 2051.40/2056.63 c #Conflicts: 1162000 | #Constraints: 97351 2051.40/2056.63 c #Conflicts: 1163000 | #Constraints: 98352 2051.40/2056.63 c #Conflicts: 1164000 | #Constraints: 99352 2051.40/2056.63 c #Conflicts: 1165000 | #Constraints: 100352 2051.40/2056.63 c #Conflicts: 1166000 | #Constraints: 101352 2051.40/2056.63 c #Conflicts: 1167000 | #Constraints: 102352 2051.40/2056.63 c #Conflicts: 1168000 | #Constraints: 103352 2051.40/2056.63 c #Conflicts: 1169000 | #Constraints: 104352 2051.40/2056.63 c #Conflicts: 1170000 | #Constraints: 105352 2051.40/2056.63 c #Conflicts: 1171000 | #Constraints: 106352 2051.40/2056.63 c #Conflicts: 1172000 | #Constraints: 107352 2051.40/2056.63 c #Conflicts: 1173000 | #Constraints: 108352 2051.40/2056.63 c #Conflicts: 1174000 | #Constraints: 109352 2074.76/2080.09 c #Conflicts: 1175000 | #Constraints: 110352 2074.76/2080.09 c #Conflicts: 1176000 | #Constraints: 111352 2074.76/2080.09 c #Conflicts: 1177000 | #Constraints: 112352 2074.76/2080.09 c #Conflicts: 1178000 | #Constraints: 113352 2074.76/2080.09 c #Conflicts: 1179000 | #Constraints: 114352 2074.76/2080.09 c INPROCESSING 2074.76/2080.09 c GARBAGE COLLECT 2074.76/2080.09 c rational objective 81 2135.30/2140.73 c #Conflicts: 1180000 | #Constraints: 61205 2135.30/2140.73 c #Conflicts: 1181000 | #Constraints: 62205 2135.30/2140.73 c #Conflicts: 1182000 | #Constraints: 63206 2135.30/2140.73 c #Conflicts: 1183000 | #Constraints: 64206 2135.30/2140.73 c #Conflicts: 1184000 | #Constraints: 65207 2135.30/2140.73 c #Conflicts: 1185000 | #Constraints: 66207 2135.30/2140.73 c #Conflicts: 1186000 | #Constraints: 67207 2135.30/2140.73 c #Conflicts: 1187000 | #Constraints: 68207 2135.30/2140.73 c #Conflicts: 1188000 | #Constraints: 69207 2135.30/2140.73 c #Conflicts: 1189000 | #Constraints: 70208 2135.30/2140.73 c #Conflicts: 1190000 | #Constraints: 71208 2135.30/2140.73 c #Conflicts: 1191000 | #Constraints: 72208 2135.30/2140.73 c #Conflicts: 1192000 | #Constraints: 73208 2135.30/2140.73 c #Conflicts: 1193000 | #Constraints: 74209 2135.30/2140.73 c #Conflicts: 1194000 | #Constraints: 75209 2135.30/2140.73 c #Conflicts: 1195000 | #Constraints: 76210 2135.30/2140.73 c #Conflicts: 1196000 | #Constraints: 77210 2135.30/2140.73 c #Conflicts: 1197000 | #Constraints: 78210 2135.30/2140.73 c #Conflicts: 1198000 | #Constraints: 79210 2135.30/2140.73 c #Conflicts: 1199000 | #Constraints: 80210 2135.30/2140.73 c #Conflicts: 1200000 | #Constraints: 81211 2135.30/2140.73 c #Conflicts: 1201000 | #Constraints: 82211 2135.30/2140.73 c #Conflicts: 1202000 | #Constraints: 83211 2135.30/2140.73 c #Conflicts: 1203000 | #Constraints: 84211 2135.30/2140.73 c INPROCESSING 2135.30/2140.73 c GARBAGE COLLECT 2135.30/2140.73 c rational objective 81 2177.99/2183.57 c #Conflicts: 1204000 | #Constraints: 45958 2177.99/2183.57 c #Conflicts: 1205000 | #Constraints: 46958 2177.99/2183.57 c #Conflicts: 1206000 | #Constraints: 47958 2177.99/2183.57 c #Conflicts: 1207000 | #Constraints: 48958 2177.99/2183.57 c #Conflicts: 1208000 | #Constraints: 49958 2177.99/2183.57 c #Conflicts: 1209000 | #Constraints: 50958 2177.99/2183.57 c #Conflicts: 1210000 | #Constraints: 51958 2177.99/2183.57 c #Conflicts: 1211000 | #Constraints: 52958 2177.99/2183.57 c #Conflicts: 1212000 | #Constraints: 53958 2177.99/2183.57 c #Conflicts: 1213000 | #Constraints: 54958 2177.99/2183.57 c #Conflicts: 1214000 | #Constraints: 55958 2177.99/2183.57 c #Conflicts: 1215000 | #Constraints: 56958 2177.99/2183.57 c #Conflicts: 1216000 | #Constraints: 57959 2177.99/2183.57 c #Conflicts: 1217000 | #Constraints: 58959 2177.99/2183.57 c #Conflicts: 1218000 | #Constraints: 59959 2177.99/2183.57 c #Conflicts: 1219000 | #Constraints: 60960 2177.99/2183.57 c #Conflicts: 1220000 | #Constraints: 61960 2177.99/2183.57 c #Conflicts: 1221000 | #Constraints: 62960 2177.99/2183.57 c #Conflicts: 1222000 | #Constraints: 63960 2177.99/2183.57 c #Conflicts: 1223000 | #Constraints: 64960 2177.99/2183.57 c #Conflicts: 1224000 | #Constraints: 65960 2177.99/2183.57 c #Conflicts: 1225000 | #Constraints: 66960 2177.99/2183.57 c #Conflicts: 1226000 | #Constraints: 67960 2177.99/2183.57 c #Conflicts: 1227000 | #Constraints: 68960 2177.99/2183.57 c #Conflicts: 1228000 | #Constraints: 69960 2177.99/2183.57 c INPROCESSING 2177.99/2183.57 c GARBAGE COLLECT 2177.99/2183.57 c rational objective 81 2218.30/2223.93 c #Conflicts: 1229000 | #Constraints: 38984 2218.30/2223.93 c #Conflicts: 1230000 | #Constraints: 39984 2218.30/2223.93 c #Conflicts: 1231000 | #Constraints: 40984 2218.30/2223.93 c #Conflicts: 1232000 | #Constraints: 41984 2218.30/2223.93 c #Conflicts: 1233000 | #Constraints: 42984 2218.30/2223.93 c #Conflicts: 1234000 | #Constraints: 43984 2218.30/2223.93 c #Conflicts: 1235000 | #Constraints: 44984 2218.30/2223.93 c #Conflicts: 1236000 | #Constraints: 45985 2218.30/2223.93 c #Conflicts: 1237000 | #Constraints: 46985 2218.30/2223.93 c #Conflicts: 1238000 | #Constraints: 47985 2218.30/2223.93 c #Conflicts: 1239000 | #Constraints: 48986 2218.30/2223.93 c #Conflicts: 1240000 | #Constraints: 49986 2218.30/2223.93 c #Conflicts: 1241000 | #Constraints: 50986 2218.30/2223.93 c #Conflicts: 1242000 | #Constraints: 51986 2218.30/2223.93 c #Conflicts: 1243000 | #Constraints: 52986 2218.30/2223.93 c #Conflicts: 1244000 | #Constraints: 53986 2218.30/2223.93 c #Conflicts: 1245000 | #Constraints: 54986 2218.30/2223.93 c #Conflicts: 1246000 | #Constraints: 55986 2218.30/2223.93 c #Conflicts: 1247000 | #Constraints: 56987 2218.30/2223.93 c #Conflicts: 1248000 | #Constraints: 57987 2218.30/2223.93 c #Conflicts: 1249000 | #Constraints: 58987 2218.30/2223.93 c #Conflicts: 1250000 | #Constraints: 59987 2218.30/2223.93 c #Conflicts: 1251000 | #Constraints: 60987 2218.30/2223.93 c #Conflicts: 1252000 | #Constraints: 61988 2218.30/2223.93 c #Conflicts: 1253000 | #Constraints: 62988 2218.30/2223.93 c INPROCESSING 2218.30/2223.93 c GARBAGE COLLECT 2218.30/2223.93 c rational objective 81 2260.00/2265.78 c #Conflicts: 1254000 | #Constraints: 35723 2260.00/2265.78 c #Conflicts: 1255000 | #Constraints: 36724 2260.00/2265.78 c #Conflicts: 1256000 | #Constraints: 37725 2260.00/2265.78 c #Conflicts: 1257000 | #Constraints: 38725 2260.00/2265.78 c #Conflicts: 1258000 | #Constraints: 39726 2260.00/2265.78 c #Conflicts: 1259000 | #Constraints: 40726 2260.00/2265.78 c #Conflicts: 1260000 | #Constraints: 41726 2260.00/2265.78 c #Conflicts: 1261000 | #Constraints: 42726 2260.00/2265.78 c #Conflicts: 1262000 | #Constraints: 43726 2260.00/2265.78 c #Conflicts: 1263000 | #Constraints: 44727 2260.00/2265.78 c #Conflicts: 1264000 | #Constraints: 45727 2260.00/2265.78 c #Conflicts: 1265000 | #Constraints: 46727 2260.00/2265.78 c #Conflicts: 1266000 | #Constraints: 47727 2260.00/2265.78 c #Conflicts: 1267000 | #Constraints: 48727 2260.00/2265.78 c #Conflicts: 1268000 | #Constraints: 49727 2260.00/2265.78 c #Conflicts: 1269000 | #Constraints: 50727 2260.00/2265.78 c #Conflicts: 1270000 | #Constraints: 51727 2260.00/2265.78 c #Conflicts: 1271000 | #Constraints: 52727 2260.00/2265.78 c #Conflicts: 1272000 | #Constraints: 53728 2260.00/2265.78 c #Conflicts: 1273000 | #Constraints: 54728 2260.00/2265.78 c #Conflicts: 1274000 | #Constraints: 55729 2260.00/2265.78 c #Conflicts: 1275000 | #Constraints: 56729 2260.00/2265.78 c #Conflicts: 1276000 | #Constraints: 57729 2260.00/2265.78 c #Conflicts: 1277000 | #Constraints: 58729 2260.00/2265.78 c #Conflicts: 1278000 | #Constraints: 59729 2260.00/2265.78 c INPROCESSING 2260.00/2265.78 c GARBAGE COLLECT 2260.00/2265.78 c rational objective 81 2438.47/2444.61 c #Conflicts: 1279000 | #Constraints: 34054 2438.47/2444.61 c #Conflicts: 1280000 | #Constraints: 35054 2438.47/2444.61 c #Conflicts: 1281000 | #Constraints: 36054 2438.47/2444.61 c #Conflicts: 1282000 | #Constraints: 37054 2438.47/2444.61 c #Conflicts: 1283000 | #Constraints: 38054 2438.47/2444.61 c #Conflicts: 1284000 | #Constraints: 39054 2438.47/2444.61 c #Conflicts: 1285000 | #Constraints: 40054 2438.47/2444.61 c #Conflicts: 1286000 | #Constraints: 41054 2438.47/2444.61 c #Conflicts: 1287000 | #Constraints: 42054 2438.47/2444.61 c #Conflicts: 1288000 | #Constraints: 43054 2438.47/2444.61 c #Conflicts: 1289000 | #Constraints: 44054 2438.47/2444.61 c #Conflicts: 1290000 | #Constraints: 45054 2438.47/2444.61 c #Conflicts: 1291000 | #Constraints: 46054 2438.47/2444.61 c #Conflicts: 1292000 | #Constraints: 47054 2438.47/2444.61 c #Conflicts: 1293000 | #Constraints: 48054 2438.47/2444.61 c #Conflicts: 1294000 | #Constraints: 49055 2438.47/2444.61 c #Conflicts: 1295000 | #Constraints: 50055 2438.47/2444.61 c #Conflicts: 1296000 | #Constraints: 51055 2438.47/2444.61 c #Conflicts: 1297000 | #Constraints: 52055 2438.47/2444.61 c #Conflicts: 1298000 | #Constraints: 53055 2438.47/2444.61 c #Conflicts: 1299000 | #Constraints: 54056 2438.47/2444.61 c #Conflicts: 1300000 | #Constraints: 55056 2438.47/2444.61 c #Conflicts: 1301000 | #Constraints: 56056 2438.47/2444.61 c #Conflicts: 1302000 | #Constraints: 57056 2438.47/2444.61 c #Conflicts: 1303000 | #Constraints: 58056 2438.47/2444.61 c #Conflicts: 1304000 | #Constraints: 59056 2438.47/2444.61 c #Conflicts: 1305000 | #Constraints: 60056 2438.47/2444.61 c #Conflicts: 1306000 | #Constraints: 61056 2438.47/2444.61 c #Conflicts: 1307000 | #Constraints: 62056 2438.47/2444.61 c #Conflicts: 1308000 | #Constraints: 63056 2438.47/2444.61 c #Conflicts: 1309000 | #Constraints: 64056 2438.47/2444.61 c #Conflicts: 1310000 | #Constraints: 65056 2438.47/2444.61 c #Conflicts: 1311000 | #Constraints: 66057 2438.47/2444.61 c #Conflicts: 1312000 | #Constraints: 67057 2438.47/2444.61 c #Conflicts: 1313000 | #Constraints: 68057 2438.47/2444.61 c #Conflicts: 1314000 | #Constraints: 69057 2438.47/2444.61 c #Conflicts: 1315000 | #Constraints: 70057 2438.47/2444.61 c #Conflicts: 1316000 | #Constraints: 71057 2438.47/2444.61 c #Conflicts: 1317000 | #Constraints: 72057 2438.47/2444.61 c #Conflicts: 1318000 | #Constraints: 73057 2438.47/2444.61 c #Conflicts: 1319000 | #Constraints: 74057 2438.47/2444.61 c #Conflicts: 1320000 | #Constraints: 75057 2438.47/2444.61 c #Conflicts: 1321000 | #Constraints: 76057 2438.47/2444.61 c #Conflicts: 1322000 | #Constraints: 77057 2438.47/2444.61 c #Conflicts: 1323000 | #Constraints: 78058 2438.47/2444.61 c #Conflicts: 1324000 | #Constraints: 79058 2438.47/2444.61 c #Conflicts: 1325000 | #Constraints: 80059 2438.47/2444.61 c #Conflicts: 1326000 | #Constraints: 81059 2438.47/2444.61 c #Conflicts: 1327000 | #Constraints: 82059 2438.47/2444.61 c #Conflicts: 1328000 | #Constraints: 83059 2438.47/2444.61 c #Conflicts: 1329000 | #Constraints: 84060 2438.47/2444.61 c #Conflicts: 1330000 | #Constraints: 85060 2438.47/2444.61 c #Conflicts: 1331000 | #Constraints: 86061 2438.47/2444.61 c #Conflicts: 1332000 | #Constraints: 87061 2438.47/2444.61 c #Conflicts: 1333000 | #Constraints: 88061 2438.47/2444.61 c #Conflicts: 1334000 | #Constraints: 89062 2438.47/2444.61 c #Conflicts: 1335000 | #Constraints: 90063 2438.47/2444.61 c #Conflicts: 1336000 | #Constraints: 91063 2438.47/2444.61 c #Conflicts: 1337000 | #Constraints: 92063 2438.47/2444.61 c #Conflicts: 1338000 | #Constraints: 93063 2438.47/2444.61 c #Conflicts: 1339000 | #Constraints: 94063 2438.47/2444.61 c #Conflicts: 1340000 | #Constraints: 95063 2438.47/2444.61 c #Conflicts: 1341000 | #Constraints: 96063 2438.47/2444.61 c #Conflicts: 1342000 | #Constraints: 97063 2438.47/2444.61 c #Conflicts: 1343000 | #Constraints: 98064 2438.47/2444.61 c #Conflicts: 1344000 | #Constraints: 99064 2438.47/2444.61 c #Conflicts: 1345000 | #Constraints: 100064 2438.47/2444.61 c #Conflicts: 1346000 | #Constraints: 101065 2438.47/2444.61 c #Conflicts: 1347000 | #Constraints: 102065 2438.47/2444.61 c #Conflicts: 1348000 | #Constraints: 103065 2438.47/2444.61 c #Conflicts: 1349000 | #Constraints: 104065 2438.47/2444.61 c #Conflicts: 1350000 | #Constraints: 105065 2438.47/2444.61 c #Conflicts: 1351000 | #Constraints: 106065 2438.47/2444.61 c #Conflicts: 1352000 | #Constraints: 107065 2438.47/2444.61 c #Conflicts: 1353000 | #Constraints: 108065 2438.47/2444.61 c #Conflicts: 1354000 | #Constraints: 109065 2438.47/2444.61 c #Conflicts: 1355000 | #Constraints: 110065 2438.47/2444.61 c #Conflicts: 1356000 | #Constraints: 111065 2438.47/2444.61 c #Conflicts: 1357000 | #Constraints: 112065 2493.53/2499.88 c #Conflicts: 1358000 | #Constraints: 113065 2493.53/2499.88 c #Conflicts: 1359000 | #Constraints: 114065 2493.53/2499.88 c #Conflicts: 1360000 | #Constraints: 115065 2493.53/2499.88 c #Conflicts: 1361000 | #Constraints: 116065 2493.53/2499.88 c #Conflicts: 1362000 | #Constraints: 117065 2493.53/2499.88 c #Conflicts: 1363000 | #Constraints: 118066 2493.53/2499.88 c #Conflicts: 1364000 | #Constraints: 119066 2493.53/2499.88 c #Conflicts: 1365000 | #Constraints: 120066 2493.53/2499.88 c #Conflicts: 1366000 | #Constraints: 121066 2493.53/2499.88 c #Conflicts: 1367000 | #Constraints: 122066 2493.53/2499.88 c #Conflicts: 1368000 | #Constraints: 123066 2493.53/2499.88 c INPROCESSING 2493.53/2499.88 c GARBAGE COLLECT 2493.53/2499.88 c rational objective 81 2557.97/2564.40 c #Conflicts: 1369000 | #Constraints: 65683 2557.97/2564.40 c #Conflicts: 1370000 | #Constraints: 66683 2557.97/2564.40 c #Conflicts: 1371000 | #Constraints: 67683 2557.97/2564.40 c #Conflicts: 1372000 | #Constraints: 68683 2557.97/2564.40 c #Conflicts: 1373000 | #Constraints: 69683 2557.97/2564.40 c #Conflicts: 1374000 | #Constraints: 70683 2557.97/2564.40 c #Conflicts: 1375000 | #Constraints: 71683 2557.97/2564.40 c #Conflicts: 1376000 | #Constraints: 72683 2557.97/2564.40 c #Conflicts: 1377000 | #Constraints: 73683 2557.97/2564.40 c #Conflicts: 1378000 | #Constraints: 74683 2557.97/2564.40 c #Conflicts: 1379000 | #Constraints: 75683 2557.97/2564.40 c #Conflicts: 1380000 | #Constraints: 76683 2557.97/2564.40 c #Conflicts: 1381000 | #Constraints: 77683 2557.97/2564.40 c #Conflicts: 1382000 | #Constraints: 78683 2557.97/2564.40 c #Conflicts: 1383000 | #Constraints: 79683 2557.97/2564.40 c #Conflicts: 1384000 | #Constraints: 80683 2557.97/2564.40 c #Conflicts: 1385000 | #Constraints: 81684 2557.97/2564.40 c #Conflicts: 1386000 | #Constraints: 82684 2557.97/2564.40 c #Conflicts: 1387000 | #Constraints: 83684 2557.97/2564.40 c #Conflicts: 1388000 | #Constraints: 84684 2557.97/2564.40 c #Conflicts: 1389000 | #Constraints: 85684 2557.97/2564.40 c #Conflicts: 1390000 | #Constraints: 86684 2557.97/2564.40 c #Conflicts: 1391000 | #Constraints: 87684 2557.97/2564.40 c #Conflicts: 1392000 | #Constraints: 88685 2557.97/2564.40 c #Conflicts: 1393000 | #Constraints: 89685 2557.97/2564.40 c #Conflicts: 1394000 | #Constraints: 90685 2557.97/2564.40 c INPROCESSING 2557.97/2564.40 c GARBAGE COLLECT 2557.97/2564.40 c rational objective 81 2610.15/2616.75 c #Conflicts: 1395000 | #Constraints: 49373 2610.15/2616.75 c #Conflicts: 1396000 | #Constraints: 50373 2610.15/2616.75 c #Conflicts: 1397000 | #Constraints: 51373 2610.15/2616.75 c #Conflicts: 1398000 | #Constraints: 52374 2610.15/2616.75 c #Conflicts: 1399000 | #Constraints: 53375 2610.15/2616.75 c #Conflicts: 1400000 | #Constraints: 54375 2610.15/2616.75 c #Conflicts: 1401000 | #Constraints: 55375 2610.15/2616.75 c #Conflicts: 1402000 | #Constraints: 56375 2610.15/2616.75 c #Conflicts: 1403000 | #Constraints: 57375 2610.15/2616.75 c #Conflicts: 1404000 | #Constraints: 58375 2610.15/2616.75 c #Conflicts: 1405000 | #Constraints: 59375 2610.15/2616.75 c #Conflicts: 1406000 | #Constraints: 60375 2610.15/2616.75 c #Conflicts: 1407000 | #Constraints: 61376 2610.15/2616.75 c #Conflicts: 1408000 | #Constraints: 62376 2610.15/2616.75 c #Conflicts: 1409000 | #Constraints: 63376 2610.15/2616.75 c #Conflicts: 1410000 | #Constraints: 64376 2610.15/2616.75 c #Conflicts: 1411000 | #Constraints: 65376 2610.15/2616.75 c #Conflicts: 1412000 | #Constraints: 66376 2610.15/2616.75 c #Conflicts: 1413000 | #Constraints: 67376 2610.15/2616.75 c #Conflicts: 1414000 | #Constraints: 68376 2610.15/2616.75 c #Conflicts: 1415000 | #Constraints: 69376 2610.15/2616.75 c #Conflicts: 1416000 | #Constraints: 70376 2610.15/2616.75 c #Conflicts: 1417000 | #Constraints: 71376 2610.15/2616.75 c #Conflicts: 1418000 | #Constraints: 72377 2610.15/2616.75 c #Conflicts: 1419000 | #Constraints: 73377 2610.15/2616.75 c #Conflicts: 1420000 | #Constraints: 74377 2610.15/2616.75 c INPROCESSING 2610.15/2616.75 c GARBAGE COLLECT 2610.15/2616.75 c rational objective 81 2655.02/2661.72 c #Conflicts: 1421000 | #Constraints: 41053 2655.02/2661.72 c #Conflicts: 1422000 | #Constraints: 42053 2655.02/2661.72 c #Conflicts: 1423000 | #Constraints: 43053 2655.02/2661.72 c #Conflicts: 1424000 | #Constraints: 44053 2655.02/2661.72 c #Conflicts: 1425000 | #Constraints: 45053 2655.02/2661.72 c #Conflicts: 1426000 | #Constraints: 46053 2655.02/2661.72 c #Conflicts: 1427000 | #Constraints: 47053 2655.02/2661.72 c #Conflicts: 1428000 | #Constraints: 48053 2655.02/2661.72 c #Conflicts: 1429000 | #Constraints: 49053 2655.02/2661.72 c #Conflicts: 1430000 | #Constraints: 50053 2655.02/2661.72 c #Conflicts: 1431000 | #Constraints: 51053 2655.02/2661.72 c #Conflicts: 1432000 | #Constraints: 52053 2655.02/2661.72 c #Conflicts: 1433000 | #Constraints: 53053 2655.02/2661.72 c #Conflicts: 1434000 | #Constraints: 54053 2655.02/2661.72 c #Conflicts: 1435000 | #Constraints: 55053 2655.02/2661.72 c #Conflicts: 1436000 | #Constraints: 56053 2655.02/2661.72 c #Conflicts: 1437000 | #Constraints: 57053 2655.02/2661.72 c #Conflicts: 1438000 | #Constraints: 58053 2655.02/2661.72 c #Conflicts: 1439000 | #Constraints: 59053 2655.02/2661.72 c #Conflicts: 1440000 | #Constraints: 60053 2655.02/2661.72 c #Conflicts: 1441000 | #Constraints: 61053 2655.02/2661.72 c #Conflicts: 1442000 | #Constraints: 62053 2655.02/2661.72 c #Conflicts: 1443000 | #Constraints: 63053 2655.02/2661.72 c #Conflicts: 1444000 | #Constraints: 64053 2655.02/2661.72 c #Conflicts: 1445000 | #Constraints: 65053 2655.02/2661.72 c #Conflicts: 1446000 | #Constraints: 66053 2655.02/2661.72 c #Conflicts: 1447000 | #Constraints: 67053 2655.02/2661.72 c INPROCESSING 2655.02/2661.72 c GARBAGE COLLECT 2655.02/2661.72 c rational objective 81 2700.11/2707.00 c #Conflicts: 1448000 | #Constraints: 37495 2700.11/2707.00 c #Conflicts: 1449000 | #Constraints: 38495 2700.11/2707.00 c #Conflicts: 1450000 | #Constraints: 39495 2700.11/2707.00 c #Conflicts: 1451000 | #Constraints: 40495 2700.11/2707.00 c #Conflicts: 1452000 | #Constraints: 41495 2700.11/2707.00 c #Conflicts: 1453000 | #Constraints: 42495 2700.11/2707.00 c #Conflicts: 1454000 | #Constraints: 43495 2700.11/2707.00 c #Conflicts: 1455000 | #Constraints: 44495 2700.11/2707.00 c #Conflicts: 1456000 | #Constraints: 45495 2700.11/2707.00 c #Conflicts: 1457000 | #Constraints: 46495 2700.11/2707.00 c #Conflicts: 1458000 | #Constraints: 47495 2700.11/2707.00 c #Conflicts: 1459000 | #Constraints: 48495 2700.11/2707.00 c #Conflicts: 1460000 | #Constraints: 49495 2700.11/2707.00 c #Conflicts: 1461000 | #Constraints: 50495 2700.11/2707.00 c #Conflicts: 1462000 | #Constraints: 51495 2700.11/2707.00 c #Conflicts: 1463000 | #Constraints: 52495 2700.11/2707.00 c #Conflicts: 1464000 | #Constraints: 53495 2700.11/2707.00 c #Conflicts: 1465000 | #Constraints: 54495 2700.11/2707.00 c #Conflicts: 1466000 | #Constraints: 55495 2700.11/2707.00 c #Conflicts: 1467000 | #Constraints: 56495 2700.11/2707.00 c #Conflicts: 1468000 | #Constraints: 57495 2700.11/2707.00 c #Conflicts: 1469000 | #Constraints: 58495 2700.11/2707.00 c #Conflicts: 1470000 | #Constraints: 59495 2700.11/2707.00 c #Conflicts: 1471000 | #Constraints: 60495 2700.11/2707.00 c #Conflicts: 1472000 | #Constraints: 61495 2700.11/2707.00 c #Conflicts: 1473000 | #Constraints: 62495 2700.11/2707.00 c #Conflicts: 1474000 | #Constraints: 63496 2700.11/2707.00 c INPROCESSING 2700.11/2707.00 c GARBAGE COLLECT 2700.11/2707.00 c rational objective 81 2887.66/2894.94 c #Conflicts: 1475000 | #Constraints: 35680 2887.66/2894.94 c #Conflicts: 1476000 | #Constraints: 36680 2887.66/2894.94 c #Conflicts: 1477000 | #Constraints: 37681 2887.66/2894.94 c #Conflicts: 1478000 | #Constraints: 38682 2887.66/2894.94 c #Conflicts: 1479000 | #Constraints: 39682 2887.66/2894.94 c #Conflicts: 1480000 | #Constraints: 40682 2887.66/2894.94 c #Conflicts: 1481000 | #Constraints: 41682 2887.66/2894.94 c #Conflicts: 1482000 | #Constraints: 42682 2887.66/2894.94 c #Conflicts: 1483000 | #Constraints: 43682 2887.66/2894.94 c #Conflicts: 1484000 | #Constraints: 44682 2887.66/2894.94 c #Conflicts: 1485000 | #Constraints: 45682 2887.66/2894.94 c #Conflicts: 1486000 | #Constraints: 46682 2887.66/2894.94 c #Conflicts: 1487000 | #Constraints: 47682 2887.66/2894.94 c #Conflicts: 1488000 | #Constraints: 48682 2887.66/2894.94 c #Conflicts: 1489000 | #Constraints: 49682 2887.66/2894.94 c #Conflicts: 1490000 | #Constraints: 50682 2887.66/2894.94 c #Conflicts: 1491000 | #Constraints: 51682 2887.66/2894.94 c #Conflicts: 1492000 | #Constraints: 52682 2887.66/2894.94 c #Conflicts: 1493000 | #Constraints: 53682 2887.66/2894.94 c #Conflicts: 1494000 | #Constraints: 54682 2887.66/2894.94 c #Conflicts: 1495000 | #Constraints: 55682 2887.66/2894.94 c #Conflicts: 1496000 | #Constraints: 56682 2887.66/2894.94 c #Conflicts: 1497000 | #Constraints: 57682 2887.66/2894.94 c #Conflicts: 1498000 | #Constraints: 58682 2887.66/2894.94 c #Conflicts: 1499000 | #Constraints: 59682 2887.66/2894.94 c #Conflicts: 1500000 | #Constraints: 60682 2887.66/2894.94 c #Conflicts: 1501000 | #Constraints: 61682 2887.66/2894.94 c #Conflicts: 1502000 | #Constraints: 62682 2887.66/2894.94 c #Conflicts: 1503000 | #Constraints: 63682 2887.66/2894.94 c #Conflicts: 1504000 | #Constraints: 64682 2887.66/2894.94 c #Conflicts: 1505000 | #Constraints: 65682 2887.66/2894.94 c #Conflicts: 1506000 | #Constraints: 66682 2887.66/2894.94 c #Conflicts: 1507000 | #Constraints: 67682 2887.66/2894.94 c #Conflicts: 1508000 | #Constraints: 68683 2887.66/2894.94 c #Conflicts: 1509000 | #Constraints: 69683 2887.66/2894.94 c #Conflicts: 1510000 | #Constraints: 70683 2887.66/2894.94 c #Conflicts: 1511000 | #Constraints: 71683 2887.66/2894.94 c #Conflicts: 1512000 | #Constraints: 72683 2887.66/2894.94 c #Conflicts: 1513000 | #Constraints: 73684 2887.66/2894.94 c #Conflicts: 1514000 | #Constraints: 74684 2887.66/2894.94 c #Conflicts: 1515000 | #Constraints: 75684 2887.66/2894.94 c #Conflicts: 1516000 | #Constraints: 76684 2887.66/2894.94 c #Conflicts: 1517000 | #Constraints: 77684 2887.66/2894.94 c #Conflicts: 1518000 | #Constraints: 78684 2887.66/2894.94 c #Conflicts: 1519000 | #Constraints: 79684 2887.66/2894.94 c #Conflicts: 1520000 | #Constraints: 80684 2887.66/2894.94 c #Conflicts: 1521000 | #Constraints: 81684 2887.66/2894.94 c #Conflicts: 1522000 | #Constraints: 82684 2887.66/2894.94 c #Conflicts: 1523000 | #Constraints: 83684 2887.66/2894.94 c #Conflicts: 1524000 | #Constraints: 84684 2887.66/2894.94 c #Conflicts: 1525000 | #Constraints: 85684 2887.66/2894.94 c #Conflicts: 1526000 | #Constraints: 86684 2887.66/2894.94 c #Conflicts: 1527000 | #Constraints: 87684 2887.66/2894.94 c #Conflicts: 1528000 | #Constraints: 88684 2887.66/2894.94 c #Conflicts: 1529000 | #Constraints: 89684 2887.66/2894.94 c #Conflicts: 1530000 | #Constraints: 90684 2887.66/2894.94 c #Conflicts: 1531000 | #Constraints: 91684 2887.66/2894.94 c #Conflicts: 1532000 | #Constraints: 92684 2887.66/2894.94 c #Conflicts: 1533000 | #Constraints: 93684 2887.66/2894.94 c #Conflicts: 1534000 | #Constraints: 94684 2887.66/2894.94 c #Conflicts: 1535000 | #Constraints: 95684 2887.66/2894.94 c #Conflicts: 1536000 | #Constraints: 96684 2887.66/2894.94 c #Conflicts: 1537000 | #Constraints: 97684 2887.66/2894.94 c #Conflicts: 1538000 | #Constraints: 98684 2887.66/2894.94 c #Conflicts: 1539000 | #Constraints: 99684 2887.66/2894.94 c #Conflicts: 1540000 | #Constraints: 100684 2887.66/2894.94 c #Conflicts: 1541000 | #Constraints: 101684 2887.66/2894.94 c #Conflicts: 1542000 | #Constraints: 102684 2887.66/2894.94 c #Conflicts: 1543000 | #Constraints: 103684 2887.66/2894.94 c #Conflicts: 1544000 | #Constraints: 104684 2887.66/2894.94 c #Conflicts: 1545000 | #Constraints: 105684 2887.66/2894.94 c #Conflicts: 1546000 | #Constraints: 106684 2887.66/2894.94 c #Conflicts: 1547000 | #Constraints: 107684 2887.66/2894.94 c #Conflicts: 1548000 | #Constraints: 108684 2887.66/2894.94 c #Conflicts: 1549000 | #Constraints: 109684 2887.66/2894.94 c #Conflicts: 1550000 | #Constraints: 110684 2887.66/2894.94 c #Conflicts: 1551000 | #Constraints: 111684 2887.66/2894.94 c #Conflicts: 1552000 | #Constraints: 112684 2887.66/2894.94 c #Conflicts: 1553000 | #Constraints: 113684 2960.98/2968.43 c #Conflicts: 1554000 | #Constraints: 114684 2960.98/2968.43 c #Conflicts: 1555000 | #Constraints: 115684 2960.98/2968.43 c #Conflicts: 1556000 | #Constraints: 116684 2960.98/2968.43 c #Conflicts: 1557000 | #Constraints: 117684 2960.98/2968.43 c #Conflicts: 1558000 | #Constraints: 118684 2960.98/2968.43 c #Conflicts: 1559000 | #Constraints: 119684 2960.98/2968.43 c #Conflicts: 1560000 | #Constraints: 120684 2960.98/2968.43 c #Conflicts: 1561000 | #Constraints: 121684 2960.98/2968.43 c #Conflicts: 1562000 | #Constraints: 122684 2960.98/2968.43 c #Conflicts: 1563000 | #Constraints: 123684 2960.98/2968.43 c #Conflicts: 1564000 | #Constraints: 124684 2960.98/2968.43 c #Conflicts: 1565000 | #Constraints: 125684 2960.98/2968.43 c #Conflicts: 1566000 | #Constraints: 126684 2960.98/2968.43 c #Conflicts: 1567000 | #Constraints: 127684 2960.98/2968.43 c #Conflicts: 1568000 | #Constraints: 128684 2960.98/2968.43 c #Conflicts: 1569000 | #Constraints: 129684 2960.98/2968.43 c #Conflicts: 1570000 | #Constraints: 130685 2960.98/2968.43 c INPROCESSING 2960.98/2968.43 c GARBAGE COLLECT 2960.98/2968.43 c rational objective 81 3034.81/3042.44 c #Conflicts: 1571000 | #Constraints: 69126 3034.81/3042.44 c #Conflicts: 1572000 | #Constraints: 70126 3034.81/3042.44 c #Conflicts: 1573000 | #Constraints: 71127 3034.81/3042.44 c #Conflicts: 1574000 | #Constraints: 72127 3034.81/3042.44 c #Conflicts: 1575000 | #Constraints: 73127 3034.81/3042.44 c #Conflicts: 1576000 | #Constraints: 74127 3034.81/3042.44 c #Conflicts: 1577000 | #Constraints: 75127 3034.81/3042.44 c #Conflicts: 1578000 | #Constraints: 76127 3034.81/3042.44 c #Conflicts: 1579000 | #Constraints: 77127 3034.81/3042.44 c #Conflicts: 1580000 | #Constraints: 78127 3034.81/3042.44 c #Conflicts: 1581000 | #Constraints: 79127 3034.81/3042.44 c #Conflicts: 1582000 | #Constraints: 80127 3034.81/3042.44 c #Conflicts: 1583000 | #Constraints: 81127 3034.81/3042.44 c #Conflicts: 1584000 | #Constraints: 82127 3034.81/3042.44 c #Conflicts: 1585000 | #Constraints: 83127 3034.81/3042.44 c #Conflicts: 1586000 | #Constraints: 84127 3034.81/3042.44 c #Conflicts: 1587000 | #Constraints: 85127 3034.81/3042.44 c #Conflicts: 1588000 | #Constraints: 86127 3034.81/3042.44 c #Conflicts: 1589000 | #Constraints: 87127 3034.81/3042.44 c #Conflicts: 1590000 | #Constraints: 88127 3034.81/3042.44 c #Conflicts: 1591000 | #Constraints: 89127 3034.81/3042.44 c #Conflicts: 1592000 | #Constraints: 90127 3034.81/3042.44 c #Conflicts: 1593000 | #Constraints: 91127 3034.81/3042.44 c #Conflicts: 1594000 | #Constraints: 92127 3034.81/3042.44 c #Conflicts: 1595000 | #Constraints: 93127 3034.81/3042.44 c #Conflicts: 1596000 | #Constraints: 94127 3034.81/3042.44 c #Conflicts: 1597000 | #Constraints: 95127 3034.81/3042.44 c #Conflicts: 1598000 | #Constraints: 96127 3034.81/3042.44 c #Conflicts: 1599000 | #Constraints: 97127 3034.81/3042.44 c INPROCESSING 3034.81/3042.44 c GARBAGE COLLECT 3034.81/3042.44 c rational objective 81 3109.25/3117.06 c #Conflicts: 1600000 | #Constraints: 52759 3109.25/3117.06 c #Conflicts: 1601000 | #Constraints: 53759 3109.25/3117.06 c #Conflicts: 1602000 | #Constraints: 54759 3109.25/3117.06 c #Conflicts: 1603000 | #Constraints: 55759 3109.25/3117.06 c #Conflicts: 1604000 | #Constraints: 56759 3109.25/3117.06 c #Conflicts: 1605000 | #Constraints: 57759 3109.25/3117.06 c #Conflicts: 1606000 | #Constraints: 58759 3109.25/3117.06 c #Conflicts: 1607000 | #Constraints: 59759 3109.25/3117.06 c #Conflicts: 1608000 | #Constraints: 60759 3109.25/3117.06 c #Conflicts: 1609000 | #Constraints: 61759 3109.25/3117.06 c #Conflicts: 1610000 | #Constraints: 62759 3109.25/3117.06 c #Conflicts: 1611000 | #Constraints: 63759 3109.25/3117.06 c #Conflicts: 1612000 | #Constraints: 64759 3109.25/3117.06 c #Conflicts: 1613000 | #Constraints: 65759 3109.25/3117.06 c #Conflicts: 1614000 | #Constraints: 66759 3109.25/3117.06 c #Conflicts: 1615000 | #Constraints: 67759 3109.25/3117.06 c #Conflicts: 1616000 | #Constraints: 68759 3109.25/3117.06 c #Conflicts: 1617000 | #Constraints: 69759 3109.25/3117.06 c #Conflicts: 1618000 | #Constraints: 70759 3109.25/3117.06 c #Conflicts: 1619000 | #Constraints: 71760 3109.25/3117.06 c #Conflicts: 1620000 | #Constraints: 72760 3109.25/3117.06 c #Conflicts: 1621000 | #Constraints: 73760 3109.25/3117.06 c #Conflicts: 1622000 | #Constraints: 74760 3109.25/3117.06 c #Conflicts: 1623000 | #Constraints: 75760 3109.25/3117.06 c #Conflicts: 1624000 | #Constraints: 76760 3109.25/3117.06 c #Conflicts: 1625000 | #Constraints: 77761 3109.25/3117.06 c #Conflicts: 1626000 | #Constraints: 78761 3109.25/3117.06 c #Conflicts: 1627000 | #Constraints: 79761 3109.25/3117.06 c INPROCESSING 3109.25/3117.06 c GARBAGE COLLECT 3109.25/3117.06 c rational objective 81 3162.12/3170.01 c #Conflicts: 1628000 | #Constraints: 43858 3162.12/3170.01 c #Conflicts: 1629000 | #Constraints: 44858 3162.12/3170.01 c #Conflicts: 1630000 | #Constraints: 45858 3162.12/3170.01 c #Conflicts: 1631000 | #Constraints: 46858 3162.12/3170.01 c #Conflicts: 1632000 | #Constraints: 47858 3162.12/3170.01 c #Conflicts: 1633000 | #Constraints: 48858 3162.12/3170.01 c #Conflicts: 1634000 | #Constraints: 49858 3162.12/3170.01 c #Conflicts: 1635000 | #Constraints: 50858 3162.12/3170.01 c #Conflicts: 1636000 | #Constraints: 51858 3162.12/3170.01 c #Conflicts: 1637000 | #Constraints: 52858 3162.12/3170.01 c #Conflicts: 1638000 | #Constraints: 53858 3162.12/3170.01 c #Conflicts: 1639000 | #Constraints: 54858 3162.12/3170.01 c #Conflicts: 1640000 | #Constraints: 55858 3162.12/3170.01 c #Conflicts: 1641000 | #Constraints: 56858 3162.12/3170.01 c #Conflicts: 1642000 | #Constraints: 57858 3162.12/3170.01 c #Conflicts: 1643000 | #Constraints: 58858 3162.12/3170.01 c #Conflicts: 1644000 | #Constraints: 59858 3162.12/3170.01 c #Conflicts: 1645000 | #Constraints: 60858 3162.12/3170.01 c #Conflicts: 1646000 | #Constraints: 61859 3162.12/3170.01 c #Conflicts: 1647000 | #Constraints: 62859 3162.12/3170.01 c #Conflicts: 1648000 | #Constraints: 63860 3162.12/3170.01 c #Conflicts: 1649000 | #Constraints: 64860 3162.12/3170.01 c #Conflicts: 1650000 | #Constraints: 65860 3162.12/3170.01 c #Conflicts: 1651000 | #Constraints: 66860 3162.12/3170.01 c #Conflicts: 1652000 | #Constraints: 67860 3162.12/3170.01 c #Conflicts: 1653000 | #Constraints: 68860 3162.12/3170.01 c #Conflicts: 1654000 | #Constraints: 69861 3162.12/3170.01 c #Conflicts: 1655000 | #Constraints: 70861 3162.12/3170.01 c #Conflicts: 1656000 | #Constraints: 71861 3162.12/3170.01 c INPROCESSING 3162.12/3170.01 c GARBAGE COLLECT 3162.12/3170.01 c rational objective 81 3211.11/3219.18 c #Conflicts: 1657000 | #Constraints: 40090 3211.11/3219.18 c #Conflicts: 1658000 | #Constraints: 41092 3211.11/3219.18 c #Conflicts: 1659000 | #Constraints: 42092 3211.11/3219.18 c #Conflicts: 1660000 | #Constraints: 43093 3211.11/3219.18 c #Conflicts: 1661000 | #Constraints: 44093 3211.11/3219.18 c #Conflicts: 1662000 | #Constraints: 45093 3211.11/3219.18 c #Conflicts: 1663000 | #Constraints: 46094 3211.11/3219.18 c #Conflicts: 1664000 | #Constraints: 47094 3211.11/3219.18 c #Conflicts: 1665000 | #Constraints: 48094 3211.11/3219.18 c #Conflicts: 1666000 | #Constraints: 49094 3211.11/3219.18 c #Conflicts: 1667000 | #Constraints: 50094 3211.11/3219.18 c #Conflicts: 1668000 | #Constraints: 51094 3211.11/3219.18 c #Conflicts: 1669000 | #Constraints: 52094 3211.11/3219.18 c #Conflicts: 1670000 | #Constraints: 53095 3211.11/3219.18 c #Conflicts: 1671000 | #Constraints: 54095 3211.11/3219.18 c #Conflicts: 1672000 | #Constraints: 55095 3211.11/3219.18 c #Conflicts: 1673000 | #Constraints: 56095 3211.11/3219.18 c #Conflicts: 1674000 | #Constraints: 57095 3211.11/3219.18 c #Conflicts: 1675000 | #Constraints: 58095 3211.11/3219.18 c #Conflicts: 1676000 | #Constraints: 59095 3211.11/3219.18 c #Conflicts: 1677000 | #Constraints: 60095 3211.11/3219.18 c #Conflicts: 1678000 | #Constraints: 61095 3211.11/3219.18 c #Conflicts: 1679000 | #Constraints: 62095 3211.11/3219.18 c #Conflicts: 1680000 | #Constraints: 63095 3211.11/3219.18 c #Conflicts: 1681000 | #Constraints: 64095 3211.11/3219.18 c #Conflicts: 1682000 | #Constraints: 65095 3211.11/3219.18 c #Conflicts: 1683000 | #Constraints: 66095 3211.11/3219.18 c #Conflicts: 1684000 | #Constraints: 67095 3211.11/3219.18 c INPROCESSING 3211.11/3219.18 c GARBAGE COLLECT 3211.11/3219.18 c rational objective 81 3400.04/3408.52 c #Conflicts: 1685000 | #Constraints: 37301 3400.04/3408.52 c #Conflicts: 1686000 | #Constraints: 38301 3400.04/3408.52 c #Conflicts: 1687000 | #Constraints: 39301 3400.04/3408.52 c #Conflicts: 1688000 | #Constraints: 40301 3400.04/3408.52 c #Conflicts: 1689000 | #Constraints: 41301 3400.04/3408.52 c #Conflicts: 1690000 | #Constraints: 42302 3400.04/3408.52 c #Conflicts: 1691000 | #Constraints: 43303 3400.04/3408.52 c #Conflicts: 1692000 | #Constraints: 44303 3400.04/3408.52 c #Conflicts: 1693000 | #Constraints: 45303 3400.04/3408.52 c #Conflicts: 1694000 | #Constraints: 46303 3400.04/3408.52 c #Conflicts: 1695000 | #Constraints: 47303 3400.04/3408.52 c #Conflicts: 1696000 | #Constraints: 48303 3400.04/3408.52 c #Conflicts: 1697000 | #Constraints: 49303 3400.04/3408.52 c #Conflicts: 1698000 | #Constraints: 50303 3400.04/3408.52 c #Conflicts: 1699000 | #Constraints: 51303 3400.04/3408.52 c #Conflicts: 1700000 | #Constraints: 52305 3400.04/3408.52 c #Conflicts: 1701000 | #Constraints: 53305 3400.04/3408.52 c #Conflicts: 1702000 | #Constraints: 54305 3400.04/3408.52 c #Conflicts: 1703000 | #Constraints: 55305 3400.04/3408.52 c #Conflicts: 1704000 | #Constraints: 56305 3400.04/3408.52 c #Conflicts: 1705000 | #Constraints: 57305 3400.04/3408.52 c #Conflicts: 1706000 | #Constraints: 58306 3400.04/3408.52 c #Conflicts: 1707000 | #Constraints: 59306 3400.04/3408.52 c #Conflicts: 1708000 | #Constraints: 60306 3400.04/3408.52 c #Conflicts: 1709000 | #Constraints: 61306 3400.04/3408.52 c #Conflicts: 1710000 | #Constraints: 62306 3400.04/3408.52 c #Conflicts: 1711000 | #Constraints: 63306 3400.04/3408.52 c #Conflicts: 1712000 | #Constraints: 64306 3400.04/3408.52 c #Conflicts: 1713000 | #Constraints: 65306 3400.04/3408.52 c #Conflicts: 1714000 | #Constraints: 66306 3400.04/3408.52 c #Conflicts: 1715000 | #Constraints: 67306 3400.04/3408.52 c #Conflicts: 1716000 | #Constraints: 68306 3400.04/3408.52 c #Conflicts: 1717000 | #Constraints: 69306 3400.04/3408.52 c #Conflicts: 1718000 | #Constraints: 70306 3400.04/3408.52 c #Conflicts: 1719000 | #Constraints: 71306 3400.04/3408.52 c #Conflicts: 1720000 | #Constraints: 72306 3400.04/3408.52 c #Conflicts: 1721000 | #Constraints: 73306 3400.04/3408.52 c #Conflicts: 1722000 | #Constraints: 74307 3400.04/3408.52 c #Conflicts: 1723000 | #Constraints: 75307 3400.04/3408.52 c #Conflicts: 1724000 | #Constraints: 76307 3400.04/3408.52 c #Conflicts: 1725000 | #Constraints: 77307 3400.04/3408.52 c #Conflicts: 1726000 | #Constraints: 78307 3400.04/3408.52 c #Conflicts: 1727000 | #Constraints: 79308 3400.04/3408.52 c #Conflicts: 1728000 | #Constraints: 80308 3400.04/3408.52 c #Conflicts: 1729000 | #Constraints: 81308 3400.04/3408.52 c #Conflicts: 1730000 | #Constraints: 82308 3400.04/3408.52 c #Conflicts: 1731000 | #Constraints: 83308 3400.04/3408.52 c #Conflicts: 1732000 | #Constraints: 84308 3400.04/3408.52 c #Conflicts: 1733000 | #Constraints: 85308 3400.04/3408.52 c #Conflicts: 1734000 | #Constraints: 86309 3400.04/3408.52 c #Conflicts: 1735000 | #Constraints: 87309 3400.04/3408.52 c #Conflicts: 1736000 | #Constraints: 88309 3400.04/3408.52 c #Conflicts: 1737000 | #Constraints: 89309 3400.04/3408.52 c #Conflicts: 1738000 | #Constraints: 90309 3400.04/3408.52 c #Conflicts: 1739000 | #Constraints: 91309 3400.04/3408.52 c #Conflicts: 1740000 | #Constraints: 92309 3400.04/3408.52 c #Conflicts: 1741000 | #Constraints: 93309 3400.04/3408.52 c #Conflicts: 1742000 | #Constraints: 94310 3400.04/3408.52 c #Conflicts: 1743000 | #Constraints: 95310 3400.04/3408.52 c #Conflicts: 1744000 | #Constraints: 96310 3400.04/3408.52 c #Conflicts: 1745000 | #Constraints: 97310 3400.04/3408.52 c #Conflicts: 1746000 | #Constraints: 98310 3400.04/3408.52 c #Conflicts: 1747000 | #Constraints: 99310 3400.04/3408.52 c #Conflicts: 1748000 | #Constraints: 100310 3400.04/3408.52 c #Conflicts: 1749000 | #Constraints: 101310 3400.04/3408.52 c #Conflicts: 1750000 | #Constraints: 102310 3400.04/3408.52 c #Conflicts: 1751000 | #Constraints: 103310 3400.04/3408.52 c #Conflicts: 1752000 | #Constraints: 104310 3400.04/3408.52 c #Conflicts: 1753000 | #Constraints: 105310 3400.04/3408.52 c #Conflicts: 1754000 | #Constraints: 106310 3400.04/3408.52 c #Conflicts: 1755000 | #Constraints: 107310 3400.04/3408.52 c #Conflicts: 1756000 | #Constraints: 108310 3400.04/3408.52 c #Conflicts: 1757000 | #Constraints: 109310 3400.04/3408.52 c #Conflicts: 1758000 | #Constraints: 110310 3400.04/3408.52 c #Conflicts: 1759000 | #Constraints: 111310 3400.04/3408.52 c #Conflicts: 1760000 | #Constraints: 112310 3400.04/3408.52 c #Conflicts: 1761000 | #Constraints: 113310 3400.04/3408.52 c #Conflicts: 1762000 | #Constraints: 114310 3400.04/3408.52 c #Conflicts: 1763000 | #Constraints: 115310 3521.86/3530.66 c #Conflicts: 1764000 | #Constraints: 116310 3521.86/3530.66 c #Conflicts: 1765000 | #Constraints: 117310 3521.86/3530.66 c #Conflicts: 1766000 | #Constraints: 118310 3521.86/3530.66 c #Conflicts: 1767000 | #Constraints: 119310 3521.86/3530.66 c #Conflicts: 1768000 | #Constraints: 120310 3521.86/3530.66 c #Conflicts: 1769000 | #Constraints: 121310 3521.86/3530.66 c #Conflicts: 1770000 | #Constraints: 122310 3521.86/3530.66 c #Conflicts: 1771000 | #Constraints: 123310 3521.86/3530.66 c #Conflicts: 1772000 | #Constraints: 124310 3521.86/3530.66 c #Conflicts: 1773000 | #Constraints: 125310 3521.86/3530.66 c #Conflicts: 1774000 | #Constraints: 126310 3521.86/3530.66 c #Conflicts: 1775000 | #Constraints: 127310 3521.86/3530.66 c #Conflicts: 1776000 | #Constraints: 128310 3521.86/3530.66 c #Conflicts: 1777000 | #Constraints: 129310 3521.86/3530.66 c #Conflicts: 1778000 | #Constraints: 130310 3521.86/3530.66 c #Conflicts: 1779000 | #Constraints: 131310 3521.86/3530.66 c #Conflicts: 1780000 | #Constraints: 132310 3521.86/3530.66 c #Conflicts: 1781000 | #Constraints: 133310 3521.86/3530.66 c #Conflicts: 1782000 | #Constraints: 134310 3521.86/3530.66 c #Conflicts: 1783000 | #Constraints: 135310 3521.86/3530.66 c #Conflicts: 1784000 | #Constraints: 136310 3521.86/3530.66 c #Conflicts: 1785000 | #Constraints: 137310 3521.86/3530.66 c #Conflicts: 1786000 | #Constraints: 138310 3521.86/3530.66 c #Conflicts: 1787000 | #Constraints: 139310 3521.86/3530.66 c INPROCESSING 3521.86/3530.66 c GARBAGE COLLECT 3521.86/3530.66 c rational objective 81 3600.07/3609.01 c #Conflicts: 1788000 | #Constraints: 73540 3600.07/3609.01 c #Conflicts: 1789000 | #Constraints: 74540 3600.07/3609.01 c #Conflicts: 1790000 | #Constraints: 75540 3600.07/3609.01 c #Conflicts: 1791000 | #Constraints: 76540 3600.07/3609.01 c #Conflicts: 1792000 | #Constraints: 77540 3600.07/3609.01 c #Conflicts: 1793000 | #Constraints: 78540 3600.07/3609.01 c #Conflicts: 1794000 | #Constraints: 79540 3600.07/3609.01 c #Conflicts: 1795000 | #Constraints: 80541 3600.07/3609.01 c #Conflicts: 1796000 | #Constraints: 81541 3600.07/3609.01 c #Conflicts: 1797000 | #Constraints: 82541 3600.07/3609.01 c #Conflicts: 1798000 | #Constraints: 83541 3600.07/3609.01 c #Conflicts: 1799000 | #Constraints: 84541 3600.07/3609.01 c #Conflicts: 1800000 | #Constraints: 85541 3600.07/3609.01 c #Conflicts: 1801000 | #Constraints: 86541 3600.07/3609.01 c #Conflicts: 1802000 | #Constraints: 87541 3600.07/3609.01 c #Conflicts: 1803000 | #Constraints: 88541 3600.07/3609.01 c #Conflicts: 1804000 | #Constraints: 89541 3600.07/3609.01 c #Conflicts: 1805000 | #Constraints: 90541 3600.07/3609.01 c #Conflicts: 1806000 | #Constraints: 91541 3600.07/3609.01 c #Conflicts: 1807000 | #Constraints: 92541 3600.07/3609.01 c #Conflicts: 1808000 | #Constraints: 93541 3600.07/3609.01 c #Conflicts: 1809000 | #Constraints: 94541 3600.07/3609.01 c #Conflicts: 1810000 | #Constraints: 95541 3600.07/3609.01 c #Conflicts: 1811000 | #Constraints: 96541 3600.07/3609.01 c #Conflicts: 1812000 | #Constraints: 97541 3600.07/3609.01 c #Conflicts: 1813000 | #Constraints: 98541 3600.07/3609.01 c #Conflicts: 1814000 | #Constraints: 99541 3600.07/3609.01 c #Conflicts: 1815000 | #Constraints: 100541 3600.07/3609.01 c #Conflicts: 1816000 | #Constraints: 101541 3600.07/3609.01 c Program interrupted by user. 3600.07/3609.03 c cpu time 3561.26 s 3600.07/3609.03 c deterministic time 397567672611 3.98e+11 3600.07/3609.03 c optimization time 77.078 s 3600.07/3609.03 c total solve time 3484.14 s 3600.07/3609.03 c core-guided solve time 0 s 3600.07/3609.03 c propagation time 2411.64 s 3600.07/3609.03 c conflict analysis time 822.317 s 3600.07/3609.03 c propagations 765109339 3600.07/3609.03 c resolve steps 69060228 3600.07/3609.03 c decisions 12658143 3600.07/3609.03 c conflicts 1816765 3600.07/3609.03 c restarts 3550 3600.07/3609.03 c inprocessing phases 82 3600.07/3609.03 c input clauses 5591 3600.07/3609.03 c input cardinalities 81 3600.07/3609.03 c input general constraints 0 3600.07/3609.03 c input average constraint length 6.23 3600.07/3609.03 c input average constraint degree 1.94 3600.07/3609.03 c learned clauses 1268734 3600.07/3609.03 c learned cardinalities 35228 3600.07/3609.03 c learned general constraints 513037 3600.07/3609.03 c learned average constraint length 796.46 3600.07/3609.03 c learned average constraint degree 52555994.33 3600.07/3609.03 c watched constraints 444409 3600.07/3609.03 c counting constraints 68628 3600.07/3609.03 c gcd simplifications 6008 3600.07/3609.03 c detected cardinalities 1688 3600.07/3609.03 c weakened non-implied lits 259221665 3600.07/3609.03 c weakened non-implying lits 594665 3600.07/3609.03 c original variables 5508 3600.07/3609.03 c clausal propagations 284643434 3600.07/3609.03 c cardinality propagations 250789214 3600.07/3609.03 c watched propagations 69393046 3600.07/3609.03 c counting propagations 154543087 3600.07/3609.03 c watch lookups 35130759506 3600.07/3609.03 c watch backjump lookups 27861135588 3600.07/3609.03 c watch checks 277527291223 3600.07/3609.03 c propagation checks 51020951066 3600.07/3609.03 c constraint additions 4467714026 3600.07/3609.03 c trail pops 779579077 3600.07/3609.03 c formula constraints 5672 3600.07/3609.03 c learned constraints 1816529 3600.07/3609.03 c bound constraints 0 3600.07/3609.03 c core-guided constraints 0 3600.07/3609.03 c encountered formula constraints 39174266 3600.07/3609.03 c encountered learned constraints 31698682 3600.07/3609.03 c encountered bound constraints 0 3600.07/3609.03 c encountered core-guided constraints 0 3600.07/3609.03 c LP total time 798.547 s 3600.07/3609.03 c LP solve time 790.66 s 3600.07/3609.03 c LP constraints added 11303 3600.07/3609.03 c LP constraints removed 5543 3600.07/3609.03 c LP pivots internal 1820197 3600.07/3609.03 c LP pivots root 654445 3600.07/3609.03 c LP calls 377 3600.07/3609.03 c LP optimalities 135 3600.07/3609.03 c LP no pivot count 2 3600.07/3609.03 c LP infeasibilities 236 3600.07/3609.03 c LP valid Farkas constraints 235 3600.07/3609.03 c LP learned Farkas constraints 235 3600.07/3609.03 c LP basis resets 1 3600.07/3609.03 c LP cycling count 0 3600.07/3609.03 c LP singular count 0 3600.07/3609.03 c LP no primal count 0 3600.07/3609.03 c LP no farkas count 1 3600.07/3609.03 c LP other issue count 0 3600.07/3609.03 c LP Gomory cuts 0 3600.07/3609.03 c LP learned cuts 5631 3600.07/3609.03 c LP deleted cuts 5543 3600.07/3609.03 c LP encountered Gomory constraints 0 3600.07/3609.03 c LP encountered Farkas constraints 2731 3600.07/3609.03 c LP encountered learned Farkas constraints 1079 3600.07/3609.03 c CG auxiliary variables introduced 0 3600.07/3609.03 c CG solutions found 0 3600.07/3609.03 c CG cores constructed 0 3600.07/3609.03 c CG core cardinality constraints returned 0 3600.07/3609.03 c CG unit cores 0 3600.07/3609.03 c CG single cores 0 3600.07/3609.03 c CG blocks removed during cardinality reduction 0 3600.07/3609.03 c CG first core best 0 3600.07/3609.03 c CG decision core best 0 3600.07/3609.03 c CG core reduction tie 0 3600.07/3609.03 c CG core degree average 0.00 3600.07/3609.03 c CG core slack average 0.00 3600.07/3609.03 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60195 MiB free)
memory of node 1: 64473 MiB (57459 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460665-1722069720/watcher-4460665-1722069720 -o /tmp/evaluation-result-4460665-1722069720/solver-4460665-1722069720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302421 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460665-1722069720 --lp-cut-gomory=0 HOME/instance-4460665-1722069720.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=306000, runsolver pid=305997
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.35 4.25 4.22 5/266 306001
/proc/meminfo: memFree=120467300/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=47236 memory=17816 CPUtime=0.09 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 2898 0 0 0 7 2 0 0 20 0 1 0 42961234 48369664 4454 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 11809 4454 1721 992 0 3667 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47236 KiB
Current children cumulated memory: 17816 KiB
[startup+0.214207 s]*
/proc/loadavg: 4.35 4.25 4.22 5/266 306001
/proc/meminfo: memFree=120466308/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=47476 memory=18080 CPUtime=0.2 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 2992 0 0 0 18 2 0 0 20 0 1 0 42961234 48615424 4520 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 11869 4520 1721 992 0 3727 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47476 KiB
Current children cumulated memory: 18080 KiB
[startup+0.31409 s]*
/proc/loadavg: 4.35 4.25 4.22 5/266 306001
/proc/meminfo: memFree=120465972/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=47760 memory=18344 CPUtime=0.3 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 3066 0 0 0 28 2 0 0 20 0 1 0 42961234 48906240 4586 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 11940 4586 1721 992 0 3798 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47760 KiB
Current children cumulated memory: 18344 KiB
[startup+0.700339 s]
/proc/loadavg: 4.35 4.25 4.22 5/266 306001
/proc/meminfo: memFree=120464884/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=48528 memory=19136 CPUtime=0.66 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 3252 0 0 0 64 2 0 0 20 0 1 0 42961234 49692672 4784 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 12132 4784 1721 992 0 3990 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 48528 KiB
Current children cumulated memory: 19136 KiB
[startup+1.5003 s]
/proc/loadavg: 4.35 4.25 4.22 5/266 306001
/proc/meminfo: memFree=120464900/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=48824 memory=19400 CPUtime=1.47 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 3294 0 0 0 140 7 0 0 20 0 1 0 42961234 49995776 4850 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 12206 4850 1721 992 0 4064 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 48824 KiB
Current children cumulated memory: 19400 KiB
[startup+3.11408 s]
/proc/loadavg: 4.35 4.25 4.22 5/266 306001
/proc/meminfo: memFree=120457736/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=51000 memory=24140 CPUtime=3.08 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 3834 0 0 0 296 12 0 0 20 0 1 0 42961234 52224000 6035 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 12750 6035 1879 992 0 4608 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51000 KiB
Current children cumulated memory: 24140 KiB
[startup+6.30029 s]
/proc/loadavg: 4.32 4.25 4.22 5/266 306002
/proc/meminfo: memFree=120448736/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=55508 memory=27116 CPUtime=6.26 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 4610 0 0 0 602 24 0 0 20 0 1 0 42961234 56840192 6779 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 13877 6779 1879 992 0 5735 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 55508 KiB
Current children cumulated memory: 27116 KiB
[startup+12.7003 s]
/proc/loadavg: 4.38 4.26 4.23 5/266 306002
/proc/meminfo: memFree=120439248/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=56536 memory=28436 CPUtime=12.64 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 4888 0 0 0 1227 37 0 0 20 0 1 0 42961234 57892864 7109 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 14134 7109 1879 992 0 5992 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56536 KiB
Current children cumulated memory: 28436 KiB
[startup+25.5003 s]
/proc/loadavg: 4.29 4.25 4.22 5/266 306005
/proc/meminfo: memFree=120409580/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=64668 memory=37060 CPUtime=25.41 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 6590 0 0 0 2479 62 0 0 20 0 1 0 42961234 66220032 9265 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 16167 9265 1879 992 0 8025 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64668 KiB
Current children cumulated memory: 37060 KiB
[startup+51.1141 s]
/proc/loadavg: 4.26 4.25 4.22 5/266 306008
/proc/meminfo: memFree=120244644/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=89316 memory=51840 CPUtime=50.95 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 10342 0 0 0 4975 120 0 0 20 0 1 0 42961234 91459584 12960 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 22329 12960 1879 992 0 14187 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 89316 KiB
Current children cumulated memory: 51840 KiB
[startup+102.3 s]
/proc/loadavg: 4.71 4.35 4.26 5/266 306017
/proc/meminfo: memFree=119925920/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=115392 memory=77988 CPUtime=102.03 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 13413 0 0 0 9973 230 0 0 20 0 1 0 42961234 118161408 19497 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 28848 19497 1879 992 0 20706 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 115392 KiB
Current children cumulated memory: 77988 KiB
[startup+162.3 s]
/proc/loadavg: 4.67 4.42 4.29 5/260 306027
/proc/meminfo: memFree=119543448/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=211240 memory=150996 CPUtime=161.89 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 17890 0 0 0 15856 333 0 0 20 0 1 0 42961234 216309760 37749 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 52810 37749 1879 992 0 44668 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 211240 KiB
Current children cumulated memory: 150996 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 4.36 4.27 5/255 306083
/proc/meminfo: memFree=120003940/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=218984 memory=158552 CPUtime=221.75 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 19802 0 0 0 21743 432 0 0 20 0 1 0 42961234 224239616 39638 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 54746 39638 1879 992 0 46604 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 218984 KiB
Current children cumulated memory: 158552 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.32 4.27 5/254 306093
/proc/meminfo: memFree=119601832/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=219620 memory=159308 CPUtime=281.61 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 19965 0 0 0 27657 504 0 0 20 0 1 0 42961234 224890880 39827 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 54905 39827 1879 992 0 46763 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 219620 KiB
Current children cumulated memory: 159308 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.27 4.25 5/245 306103
/proc/meminfo: memFree=118835940/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=310220 memory=205076 CPUtime=341.46 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 22756 0 0 0 33556 590 0 0 20 0 1 0 42961234 317665280 51269 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 77555 51269 1879 992 0 69413 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 310220 KiB
Current children cumulated memory: 205076 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.27 4.25 5/245 306115
/proc/meminfo: memFree=118404436/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=310352 memory=205304 CPUtime=401.29 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 22815 0 0 0 39423 706 0 0 20 0 1 0 42961234 317800448 51326 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 77588 51326 1879 992 0 69446 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 310352 KiB
Current children cumulated memory: 205304 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.25 4.25 5/245 306125
/proc/meminfo: memFree=118037588/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=315144 memory=234220 CPUtime=461.1 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 23938 0 0 0 45327 783 0 0 20 0 1 0 42961234 322707456 58555 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 78786 58555 1879 992 0 70644 0
################
# More data... #
################
Current children cumulated memory: 577404 KiB
[startup+2862.3 s]
/proc/loadavg: 4.24 4.20 4.19 5/248 308204
/proc/meminfo: memFree=99686144/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=744224 memory=577404 CPUtime=2855.14 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 53358 0 0 0 282204 3310 0 0 20 0 1 0 42961234 762085376 144351 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 186056 144351 1879 992 0 177914 0
Current children cumulated CPU time: 2855.14 s
Current children cumulated vsize: 744224 KiB
Current children cumulated memory: 577404 KiB
[startup+2922.3 s]
/proc/loadavg: 4.85 4.38 4.25 5/248 308270
/proc/meminfo: memFree=99111332/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=746160 memory=578964 CPUtime=2915 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 54029 0 0 0 288150 3350 0 0 20 0 1 0 42961234 764067840 144741 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 186540 144741 1879 992 0 178398 0
Current children cumulated CPU time: 2915 s
Current children cumulated vsize: 746160 KiB
Current children cumulated memory: 578964 KiB
[startup+2982.3 s]
/proc/loadavg: 4.38 4.33 4.24 5/252 308285
/proc/meminfo: memFree=98437312/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=752292 memory=606508 CPUtime=2974.85 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 56047 0 0 0 294095 3390 0 0 20 0 1 0 42961234 770347008 151627 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 188073 151627 1879 992 0 179931 0
Current children cumulated CPU time: 2974.85 s
Current children cumulated vsize: 752292 KiB
Current children cumulated memory: 606508 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.29 4.23 5/252 308296
/proc/meminfo: memFree=97905664/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=751748 memory=606076 CPUtime=3034.71 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 56632 0 0 0 300045 3426 0 0 20 0 1 0 42961234 769789952 151519 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 187937 151519 1879 992 0 179795 0
Current children cumulated CPU time: 3034.71 s
Current children cumulated vsize: 751748 KiB
Current children cumulated memory: 606076 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.25 4.22 5/251 308306
/proc/meminfo: memFree=97515688/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=752508 memory=606584 CPUtime=3094.57 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 56919 0 0 0 305986 3471 0 0 20 0 1 0 42961234 770568192 151646 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 188127 151646 1879 992 0 179985 0
Current children cumulated CPU time: 3094.57 s
Current children cumulated vsize: 752508 KiB
Current children cumulated memory: 606584 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.23 4.21 5/250 308316
/proc/meminfo: memFree=97085584/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=753276 memory=607468 CPUtime=3154.43 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 57836 0 0 0 311913 3530 0 0 20 0 1 0 42961234 771354624 151867 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 188319 151867 1879 992 0 180177 0
Current children cumulated CPU time: 3154.43 s
Current children cumulated vsize: 753276 KiB
Current children cumulated memory: 607468 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.19 4.20 5/249 308327
/proc/meminfo: memFree=96428864/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=753632 memory=607828 CPUtime=3214.29 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 58058 0 0 0 317824 3605 0 0 20 0 1 0 42961234 771719168 151957 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 188408 151957 1879 992 0 180266 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 753632 KiB
Current children cumulated memory: 607828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.19 5/246 308383
/proc/meminfo: memFree=103113540/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=753632 memory=607828 CPUtime=3274.15 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 58197 0 0 0 323740 3675 0 0 20 0 1 0 42961234 771719168 151957 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 188408 151957 1879 992 0 180266 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 753632 KiB
Current children cumulated memory: 607828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/246 308393
/proc/meminfo: memFree=102562708/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=755336 memory=609264 CPUtime=3334 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 58804 0 0 0 329677 3723 0 0 20 0 1 0 42961234 773464064 152316 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 188834 152316 1879 992 0 180692 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 755336 KiB
Current children cumulated memory: 609264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.18 5/246 308404
/proc/meminfo: memFree=102135772/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=758632 memory=612032 CPUtime=3393.86 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 59753 0 0 0 335629 3757 0 0 20 0 1 0 42961234 776839168 153008 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 189658 153008 1879 992 0 181516 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 758632 KiB
Current children cumulated memory: 612032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/246 308507
/proc/meminfo: memFree=108729916/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=763424 memory=615748 CPUtime=3453.72 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 60930 0 0 0 341585 3787 0 0 20 0 1 0 42961234 781746176 153937 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 190856 153937 1879 992 0 182714 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 763424 KiB
Current children cumulated memory: 615748 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.17 4.18 5/250 308525
/proc/meminfo: memFree=109414648/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=768532 memory=619716 CPUtime=3513.57 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 62188 0 0 0 347545 3812 0 0 20 0 1 0 42961234 786976768 154929 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 192133 154929 1879 992 0 183991 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 768532 KiB
Current children cumulated memory: 619716 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/249 308536
/proc/meminfo: memFree=109177760/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=769736 memory=629952 CPUtime=3573.43 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 63218 0 0 0 353478 3865 0 0 20 0 1 0 42961234 788209664 157488 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 192434 157488 1977 992 0 184292 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 769736 KiB
Current children cumulated memory: 629952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.13 4.16 4.18 5/249 308541
/proc/meminfo: memFree=109012344/131655788 swapFree=131056320/131071996
[pid=306000] ppid=305997 vsize=769736 memory=629952 CPUtime=3600.07 cores=4,6
/proc/306000/stat : 306000 (roundingsat) R 305997 306000 302410 0 -1 4194304 63257 0 0 0 356125 3882 0 0 20 0 1 0 42961234 788209664 157488 134679101440 4194304 8254357 140731092997824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36757504 140731093001051 140731093001313 140731093001313 140731093008329 0
/proc/306000/statm: 192434 157488 1977 992 0 184292 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 769736 KiB
Current children cumulated memory: 629952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.03 s]
# the end of solver process 306000 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.26 s, system=38.8279 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.03
CPU time (s): 3600.09
CPU user time (s): 3561.26
CPU system time (s): 38.8279
CPU usage (%): 99.7521
Max. virtual memory (cumulated for all children) (KiB): 772192
Max. memory (cumulated for all children) (KiB): 629952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.26
system time used= 38.8279
maximum resident set size= 629952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10118744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 482
involuntary context switches= 4879
# summary of solver processes directly reported to runsolver:
# pid: 306000
# total CPU time (s): 3600.09
# total CPU user time (s): 3561.26
# total CPU system time (s): 38.8279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1277 second user time and 34.6837 second system time
The end
Begin job on nodeC006 at 2024-07-27 10:42:00 IDJOB=4460665 IDBENCH=158357 IDSOLVER=3086 FILE ID=nodeC006/4460665-1722069720 RUNJOBID= nodeC006-1722064837-302421 SLURM_JOB_ID= 8248108 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460665-1722069720/watcher-4460665-1722069720 -o /tmp/evaluation-result-4460665-1722069720/solver-4460665-1722069720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302421 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460665-1722069720 --lp-cut-gomory=0 HOME/instance-4460665-1722069720.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b RANDOM SEED=1560775470 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.340 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3654.858 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.282 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.272 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1995.182 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3509.740 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.101 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.111 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 120478516 kB MemAvailable: 129354188 kB Buffers: 381044 kB Cached: 9077296 kB SwapCached: 244 kB Active: 2108560 kB Inactive: 8105252 kB Active(anon): 1736 kB Inactive(anon): 806892 kB Active(file): 2106824 kB Inactive(file): 7298360 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056320 kB Dirty: 8436 kB Writeback: 44 kB AnonPages: 752916 kB Mapped: 103624 kB Shmem: 53436 kB KReclaimable: 532396 kB Slab: 645176 kB SReclaimable: 532396 kB SUnreclaim: 112780 kB KernelStack: 4256 kB PageTables: 11032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1196348 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 403456 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: 424776 kB DirectMap2M: 57151488 kB DirectMap1G: 78643200 kB Free space on /tmp at the end= 723748 MiB End job on nodeC006 at 2024-07-27 11:42:09