| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.06 | 3609.33 |
| 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.07 c RoundingSat 2 0.00/0.07 c branch 0.00/0.07 c commit 0.01/0.11 c #variables 5508 #constraints 5672 31.94/32.15 c #Conflicts: 1000 | #Constraints: 6671 31.94/32.15 c #Conflicts: 2000 | #Constraints: 7671 31.94/32.15 c INPROCESSING 31.94/32.15 c GARBAGE COLLECT 31.94/32.15 c #Conflicts: 3000 | #Constraints: 7249 31.94/32.15 c #Conflicts: 4000 | #Constraints: 8249 31.94/32.15 c INPROCESSING 31.94/32.15 c GARBAGE COLLECT 31.94/32.15 c #Conflicts: 5000 | #Constraints: 7712 31.94/32.15 c #Conflicts: 6000 | #Constraints: 8713 31.94/32.15 c INPROCESSING 31.94/32.15 c GARBAGE COLLECT 31.94/32.15 c #Conflicts: 7000 | #Constraints: 7748 31.94/32.15 c #Conflicts: 8000 | #Constraints: 8748 31.94/32.15 c #Conflicts: 9000 | #Constraints: 9748 31.94/32.15 c INPROCESSING 31.94/32.15 c GARBAGE COLLECT 31.94/32.15 c #Conflicts: 10000 | #Constraints: 8496 31.94/32.15 c #Conflicts: 11000 | #Constraints: 9496 31.94/32.15 c #Conflicts: 12000 | #Constraints: 10496 31.94/32.15 c INPROCESSING 31.94/32.15 c GARBAGE COLLECT 31.94/32.15 c #Conflicts: 13000 | #Constraints: 8984 31.94/32.15 c #Conflicts: 14000 | #Constraints: 9984 31.94/32.15 c #Conflicts: 15000 | #Constraints: 10984 31.94/32.15 c INPROCESSING 31.94/32.15 c GARBAGE COLLECT 31.94/32.15 c #Conflicts: 16000 | #Constraints: 9258 31.94/32.15 c #Conflicts: 17000 | #Constraints: 10258 31.94/32.15 c #Conflicts: 18000 | #Constraints: 11258 31.94/32.15 c INPROCESSING 31.94/32.15 c GARBAGE COLLECT 31.94/32.15 c #Conflicts: 19000 | #Constraints: 9293 31.94/32.15 c #Conflicts: 20000 | #Constraints: 10293 31.94/32.15 c #Conflicts: 21000 | #Constraints: 11294 31.94/32.15 c INPROCESSING 31.94/32.15 c GARBAGE COLLECT 31.94/32.15 c #Conflicts: 22000 | #Constraints: 9129 31.94/32.15 c #Conflicts: 23000 | #Constraints: 10129 31.94/32.15 c #Conflicts: 24000 | #Constraints: 11129 31.94/32.15 c #Conflicts: 25000 | #Constraints: 12129 31.94/32.15 c INPROCESSING 31.94/32.15 c GARBAGE COLLECT 31.94/32.15 c #Conflicts: 26000 | #Constraints: 9740 31.94/32.15 c #Conflicts: 27000 | #Constraints: 10740 31.94/32.15 c #Conflicts: 28000 | #Constraints: 11740 31.94/32.15 c #Conflicts: 29000 | #Constraints: 12740 31.94/32.15 c INPROCESSING 31.94/32.15 c GARBAGE COLLECT 31.94/32.15 c rational objective 81 33.93/34.16 c #Conflicts: 30000 | #Constraints: 10147 33.93/34.16 c #Conflicts: 31000 | #Constraints: 11147 33.93/34.16 c #Conflicts: 32000 | #Constraints: 12147 33.93/34.16 c #Conflicts: 33000 | #Constraints: 13147 33.93/34.16 c INPROCESSING 33.93/34.16 c GARBAGE COLLECT 33.93/34.16 c rational objective 81 36.42/36.69 c #Conflicts: 34000 | #Constraints: 10380 36.42/36.69 c #Conflicts: 35000 | #Constraints: 11380 36.42/36.69 c #Conflicts: 36000 | #Constraints: 12380 36.42/36.69 c #Conflicts: 37000 | #Constraints: 13380 36.42/36.69 c INPROCESSING 36.42/36.69 c GARBAGE COLLECT 36.42/36.69 c rational objective 81 45.11/45.31 c #Conflicts: 38000 | #Constraints: 10394 45.11/45.31 c #Conflicts: 39000 | #Constraints: 11394 45.11/45.31 c #Conflicts: 40000 | #Constraints: 12395 45.11/45.31 c #Conflicts: 41000 | #Constraints: 13398 45.11/45.31 c INPROCESSING 45.11/45.31 c GARBAGE COLLECT 45.11/45.31 c rational objective 81 58.38/58.63 c #Conflicts: 42000 | #Constraints: 10181 58.38/58.63 c #Conflicts: 43000 | #Constraints: 11181 58.38/58.63 c #Conflicts: 44000 | #Constraints: 12182 58.38/58.63 c #Conflicts: 45000 | #Constraints: 13182 58.38/58.63 c #Conflicts: 46000 | #Constraints: 14182 58.38/58.63 c INPROCESSING 58.38/58.63 c GARBAGE COLLECT 58.38/58.63 c rational objective 81 76.33/76.69 c #Conflicts: 47000 | #Constraints: 10811 76.33/76.69 c #Conflicts: 48000 | #Constraints: 11811 76.33/76.69 c #Conflicts: 49000 | #Constraints: 12811 76.33/76.69 c #Conflicts: 50000 | #Constraints: 13811 76.33/76.69 c #Conflicts: 51000 | #Constraints: 14811 76.33/76.69 c INPROCESSING 76.33/76.69 c GARBAGE COLLECT 76.33/76.69 c #Conflicts: 52000 | #Constraints: 11227 76.33/76.69 c #Conflicts: 53000 | #Constraints: 12228 76.33/76.69 c #Conflicts: 54000 | #Constraints: 13228 76.33/76.69 c #Conflicts: 55000 | #Constraints: 14228 76.33/76.69 c #Conflicts: 56000 | #Constraints: 15228 76.33/76.69 c INPROCESSING 76.33/76.69 c GARBAGE COLLECT 76.33/76.69 c #Conflicts: 57000 | #Constraints: 11439 76.33/76.69 c #Conflicts: 58000 | #Constraints: 12439 76.33/76.69 c #Conflicts: 59000 | #Constraints: 13439 76.33/76.69 c #Conflicts: 60000 | #Constraints: 14439 76.33/76.69 c #Conflicts: 61000 | #Constraints: 15439 76.33/76.69 c INPROCESSING 76.33/76.69 c GARBAGE COLLECT 76.33/76.69 c #Conflicts: 62000 | #Constraints: 11461 76.33/76.69 c #Conflicts: 63000 | #Constraints: 12461 76.33/76.69 c #Conflicts: 64000 | #Constraints: 13461 76.33/76.69 c #Conflicts: 65000 | #Constraints: 14461 76.33/76.69 c #Conflicts: 66000 | #Constraints: 15462 76.33/76.69 c INPROCESSING 76.33/76.69 c GARBAGE COLLECT 76.33/76.69 c rational objective 81 88.20/88.58 c #Conflicts: 67000 | #Constraints: 11297 88.20/88.58 c #Conflicts: 68000 | #Constraints: 12297 88.20/88.58 c #Conflicts: 69000 | #Constraints: 13298 88.20/88.58 c #Conflicts: 70000 | #Constraints: 14299 88.20/88.58 c #Conflicts: 71000 | #Constraints: 15301 88.20/88.58 c #Conflicts: 72000 | #Constraints: 16301 88.20/88.58 c INPROCESSING 88.20/88.58 c GARBAGE COLLECT 88.20/88.58 c #Conflicts: 73000 | #Constraints: 11880 88.20/88.58 c #Conflicts: 74000 | #Constraints: 12881 88.20/88.58 c #Conflicts: 75000 | #Constraints: 13882 88.20/88.58 c #Conflicts: 76000 | #Constraints: 14882 88.20/88.58 c #Conflicts: 77000 | #Constraints: 15883 88.20/88.58 c #Conflicts: 78000 | #Constraints: 16883 88.20/88.58 c INPROCESSING 88.20/88.58 c GARBAGE COLLECT 88.20/88.58 c rational objective 81 124.82/125.23 c #Conflicts: 79000 | #Constraints: 12335 124.82/125.23 c #Conflicts: 80000 | #Constraints: 13335 124.82/125.23 c #Conflicts: 81000 | #Constraints: 14336 124.82/125.23 c #Conflicts: 82000 | #Constraints: 15336 124.82/125.23 c #Conflicts: 83000 | #Constraints: 16337 124.82/125.23 c #Conflicts: 84000 | #Constraints: 17339 124.82/125.23 c INPROCESSING 124.82/125.23 c GARBAGE COLLECT 124.82/125.23 c #Conflicts: 85000 | #Constraints: 12510 124.82/125.23 c #Conflicts: 86000 | #Constraints: 13510 124.82/125.23 c #Conflicts: 87000 | #Constraints: 14510 124.82/125.23 c #Conflicts: 88000 | #Constraints: 15510 124.82/125.23 c #Conflicts: 89000 | #Constraints: 16511 124.82/125.23 c #Conflicts: 90000 | #Constraints: 17511 124.82/125.23 c #Conflicts: 91000 | #Constraints: 18511 124.82/125.23 c #Conflicts: 92000 | #Constraints: 19511 124.82/125.23 c #Conflicts: 93000 | #Constraints: 20511 124.82/125.23 c #Conflicts: 94000 | #Constraints: 21511 124.82/125.23 c #Conflicts: 95000 | #Constraints: 22513 124.82/125.23 c #Conflicts: 96000 | #Constraints: 23513 124.82/125.23 c #Conflicts: 97000 | #Constraints: 24513 124.82/125.23 c #Conflicts: 98000 | #Constraints: 25514 124.82/125.23 c #Conflicts: 99000 | #Constraints: 26514 124.82/125.23 c #Conflicts: 100000 | #Constraints: 27514 124.82/125.23 c #Conflicts: 101000 | #Constraints: 28514 124.82/125.23 c #Conflicts: 102000 | #Constraints: 29514 124.82/125.23 c #Conflicts: 103000 | #Constraints: 30514 124.82/125.23 c #Conflicts: 104000 | #Constraints: 31514 124.82/125.23 c #Conflicts: 105000 | #Constraints: 32514 124.82/125.23 c #Conflicts: 106000 | #Constraints: 33514 124.82/125.23 c #Conflicts: 107000 | #Constraints: 34514 124.82/125.23 c #Conflicts: 108000 | #Constraints: 35514 124.82/125.23 c #Conflicts: 109000 | #Constraints: 36514 124.82/125.23 c #Conflicts: 110000 | #Constraints: 37514 124.82/125.23 c INPROCESSING 124.82/125.23 c GARBAGE COLLECT 124.82/125.23 c rational objective 81 137.89/138.31 c #Conflicts: 111000 | #Constraints: 22638 137.89/138.31 c #Conflicts: 112000 | #Constraints: 23638 137.89/138.31 c #Conflicts: 113000 | #Constraints: 24639 137.89/138.31 c #Conflicts: 114000 | #Constraints: 25639 137.89/138.31 c #Conflicts: 115000 | #Constraints: 26639 137.89/138.31 c #Conflicts: 116000 | #Constraints: 27639 137.89/138.31 c #Conflicts: 117000 | #Constraints: 28639 137.89/138.31 c INPROCESSING 137.89/138.31 c GARBAGE COLLECT 137.89/138.31 c rational objective 81 145.38/145.89 c #Conflicts: 118000 | #Constraints: 18091 145.38/145.89 c #Conflicts: 119000 | #Constraints: 19091 145.38/145.89 c #Conflicts: 120000 | #Constraints: 20091 145.38/145.89 c #Conflicts: 121000 | #Constraints: 21091 145.38/145.89 c #Conflicts: 122000 | #Constraints: 22092 145.38/145.89 c #Conflicts: 123000 | #Constraints: 23092 145.38/145.89 c #Conflicts: 124000 | #Constraints: 24092 145.38/145.89 c INPROCESSING 145.38/145.89 c GARBAGE COLLECT 145.38/145.89 c rational objective 81 152.35/152.80 c #Conflicts: 125000 | #Constraints: 15522 152.35/152.80 c #Conflicts: 126000 | #Constraints: 16522 152.35/152.80 c #Conflicts: 127000 | #Constraints: 17522 152.35/152.80 c #Conflicts: 128000 | #Constraints: 18522 152.35/152.80 c #Conflicts: 129000 | #Constraints: 19522 152.35/152.80 c #Conflicts: 130000 | #Constraints: 20522 152.35/152.80 c #Conflicts: 131000 | #Constraints: 21522 152.35/152.80 c #Conflicts: 132000 | #Constraints: 22522 152.35/152.80 c INPROCESSING 152.35/152.80 c GARBAGE COLLECT 152.35/152.80 c rational objective 81 168.62/169.12 c #Conflicts: 133000 | #Constraints: 14937 168.62/169.12 c #Conflicts: 134000 | #Constraints: 15937 168.62/169.12 c #Conflicts: 135000 | #Constraints: 16938 168.62/169.12 c #Conflicts: 136000 | #Constraints: 17938 168.62/169.12 c #Conflicts: 137000 | #Constraints: 18938 168.62/169.12 c #Conflicts: 138000 | #Constraints: 19938 168.62/169.12 c #Conflicts: 139000 | #Constraints: 20938 168.62/169.12 c #Conflicts: 140000 | #Constraints: 21938 168.62/169.12 c INPROCESSING 168.62/169.12 c GARBAGE COLLECT 168.62/169.12 c rational objective 81 209.92/210.55 c #Conflicts: 141000 | #Constraints: 14674 209.92/210.55 c #Conflicts: 142000 | #Constraints: 15674 209.92/210.55 c #Conflicts: 143000 | #Constraints: 16675 209.92/210.55 c #Conflicts: 144000 | #Constraints: 17675 209.92/210.55 c #Conflicts: 145000 | #Constraints: 18675 209.92/210.55 c #Conflicts: 146000 | #Constraints: 19675 209.92/210.55 c #Conflicts: 147000 | #Constraints: 20675 209.92/210.55 c #Conflicts: 148000 | #Constraints: 21675 209.92/210.55 c #Conflicts: 149000 | #Constraints: 22675 209.92/210.55 c #Conflicts: 150000 | #Constraints: 23676 209.92/210.55 c #Conflicts: 151000 | #Constraints: 24677 209.92/210.55 c #Conflicts: 152000 | #Constraints: 25677 209.92/210.55 c #Conflicts: 153000 | #Constraints: 26677 209.92/210.55 c #Conflicts: 154000 | #Constraints: 27677 209.92/210.55 c #Conflicts: 155000 | #Constraints: 28677 209.92/210.55 c #Conflicts: 156000 | #Constraints: 29677 209.92/210.55 c #Conflicts: 157000 | #Constraints: 30677 209.92/210.55 c #Conflicts: 158000 | #Constraints: 31677 209.92/210.55 c #Conflicts: 159000 | #Constraints: 32677 209.92/210.55 c #Conflicts: 160000 | #Constraints: 33677 209.92/210.55 c #Conflicts: 161000 | #Constraints: 34677 209.92/210.55 c #Conflicts: 162000 | #Constraints: 35677 209.92/210.55 c #Conflicts: 163000 | #Constraints: 36677 209.92/210.55 c #Conflicts: 164000 | #Constraints: 37677 209.92/210.55 c #Conflicts: 165000 | #Constraints: 38677 209.92/210.55 c #Conflicts: 166000 | #Constraints: 39677 209.92/210.55 c #Conflicts: 167000 | #Constraints: 40677 209.92/210.55 c #Conflicts: 168000 | #Constraints: 41677 209.92/210.55 c #Conflicts: 169000 | #Constraints: 42677 209.92/210.55 c #Conflicts: 170000 | #Constraints: 43677 209.92/210.55 c #Conflicts: 171000 | #Constraints: 44677 209.92/210.55 c #Conflicts: 172000 | #Constraints: 45677 209.92/210.55 c INPROCESSING 209.92/210.55 c GARBAGE COLLECT 209.92/210.55 c rational objective 81 225.39/226.09 c #Conflicts: 173000 | #Constraints: 26390 225.39/226.09 c #Conflicts: 174000 | #Constraints: 27390 225.39/226.09 c #Conflicts: 175000 | #Constraints: 28390 225.39/226.09 c #Conflicts: 176000 | #Constraints: 29390 225.39/226.09 c #Conflicts: 177000 | #Constraints: 30390 225.39/226.09 c #Conflicts: 178000 | #Constraints: 31391 225.39/226.09 c #Conflicts: 179000 | #Constraints: 32391 225.39/226.09 c #Conflicts: 180000 | #Constraints: 33391 225.39/226.09 c #Conflicts: 181000 | #Constraints: 34391 225.39/226.09 c #Conflicts: 182000 | #Constraints: 35391 225.39/226.09 c INPROCESSING 225.39/226.09 c GARBAGE COLLECT 225.39/226.09 c rational objective 81 245.24/245.90 c #Conflicts: 183000 | #Constraints: 21683 245.24/245.90 c #Conflicts: 184000 | #Constraints: 22683 245.24/245.90 c #Conflicts: 185000 | #Constraints: 23684 245.24/245.90 c #Conflicts: 186000 | #Constraints: 24684 245.24/245.90 c #Conflicts: 187000 | #Constraints: 25684 245.24/245.90 c #Conflicts: 188000 | #Constraints: 26684 245.24/245.90 c #Conflicts: 189000 | #Constraints: 27684 245.24/245.90 c #Conflicts: 190000 | #Constraints: 28684 245.24/245.90 c #Conflicts: 191000 | #Constraints: 29684 245.24/245.90 c INPROCESSING 245.24/245.90 c GARBAGE COLLECT 245.24/245.90 c rational objective 81 289.94/290.73 c #Conflicts: 192000 | #Constraints: 18627 289.94/290.73 c #Conflicts: 193000 | #Constraints: 19627 289.94/290.73 c #Conflicts: 194000 | #Constraints: 20628 289.94/290.73 c #Conflicts: 195000 | #Constraints: 21628 289.94/290.73 c #Conflicts: 196000 | #Constraints: 22628 289.94/290.73 c #Conflicts: 197000 | #Constraints: 23628 289.94/290.73 c #Conflicts: 198000 | #Constraints: 24629 289.94/290.73 c #Conflicts: 199000 | #Constraints: 25629 289.94/290.73 c #Conflicts: 200000 | #Constraints: 26629 289.94/290.73 c #Conflicts: 201000 | #Constraints: 27629 289.94/290.73 c INPROCESSING 289.94/290.73 c GARBAGE COLLECT 289.94/290.73 c #Conflicts: 202000 | #Constraints: 17770 289.94/290.73 c #Conflicts: 203000 | #Constraints: 18770 289.94/290.73 c #Conflicts: 204000 | #Constraints: 19770 289.94/290.73 c #Conflicts: 205000 | #Constraints: 20770 289.94/290.73 c #Conflicts: 206000 | #Constraints: 21770 289.94/290.73 c #Conflicts: 207000 | #Constraints: 22770 289.94/290.73 c #Conflicts: 208000 | #Constraints: 23770 289.94/290.73 c #Conflicts: 209000 | #Constraints: 24770 289.94/290.73 c #Conflicts: 210000 | #Constraints: 25770 289.94/290.73 c INPROCESSING 289.94/290.73 c GARBAGE COLLECT 289.94/290.73 c rational objective 81 344.31/345.24 c #Conflicts: 211000 | #Constraints: 16434 344.31/345.24 c #Conflicts: 212000 | #Constraints: 17436 344.31/345.24 c #Conflicts: 213000 | #Constraints: 18436 344.31/345.24 c #Conflicts: 214000 | #Constraints: 19437 344.31/345.24 c #Conflicts: 215000 | #Constraints: 20438 344.31/345.24 c #Conflicts: 216000 | #Constraints: 21438 344.31/345.24 c #Conflicts: 217000 | #Constraints: 22438 344.31/345.24 c #Conflicts: 218000 | #Constraints: 23438 344.31/345.24 c #Conflicts: 219000 | #Constraints: 24439 344.31/345.24 c #Conflicts: 220000 | #Constraints: 25439 344.31/345.24 c #Conflicts: 221000 | #Constraints: 26439 344.31/345.24 c #Conflicts: 222000 | #Constraints: 27439 344.31/345.24 c #Conflicts: 223000 | #Constraints: 28439 344.31/345.24 c #Conflicts: 224000 | #Constraints: 29439 344.31/345.24 c #Conflicts: 225000 | #Constraints: 30439 344.31/345.24 c #Conflicts: 226000 | #Constraints: 31439 344.31/345.24 c #Conflicts: 227000 | #Constraints: 32439 344.31/345.24 c #Conflicts: 228000 | #Constraints: 33439 344.31/345.24 c #Conflicts: 229000 | #Constraints: 34439 344.31/345.24 c #Conflicts: 230000 | #Constraints: 35439 344.31/345.24 c #Conflicts: 231000 | #Constraints: 36439 344.31/345.24 c #Conflicts: 232000 | #Constraints: 37439 344.31/345.24 c #Conflicts: 233000 | #Constraints: 38440 344.31/345.24 c #Conflicts: 234000 | #Constraints: 39440 344.31/345.24 c #Conflicts: 235000 | #Constraints: 40440 344.31/345.24 c #Conflicts: 236000 | #Constraints: 41440 344.31/345.24 c #Conflicts: 237000 | #Constraints: 42441 344.31/345.24 c #Conflicts: 238000 | #Constraints: 43441 344.31/345.24 c #Conflicts: 239000 | #Constraints: 44441 344.31/345.24 c #Conflicts: 240000 | #Constraints: 45441 344.31/345.24 c #Conflicts: 241000 | #Constraints: 46441 344.31/345.24 c #Conflicts: 242000 | #Constraints: 47441 344.31/345.24 c #Conflicts: 243000 | #Constraints: 48441 344.31/345.24 c #Conflicts: 244000 | #Constraints: 49441 344.31/345.24 c #Conflicts: 245000 | #Constraints: 50441 344.31/345.24 c #Conflicts: 246000 | #Constraints: 51441 344.31/345.24 c #Conflicts: 247000 | #Constraints: 52441 344.31/345.24 c #Conflicts: 248000 | #Constraints: 53441 344.31/345.24 c #Conflicts: 249000 | #Constraints: 54441 344.31/345.24 c INPROCESSING 344.31/345.24 c GARBAGE COLLECT 344.31/345.24 c rational objective 81 362.86/363.81 c #Conflicts: 250000 | #Constraints: 30911 362.86/363.81 c #Conflicts: 251000 | #Constraints: 31911 362.86/363.81 c #Conflicts: 252000 | #Constraints: 32913 362.86/363.81 c #Conflicts: 253000 | #Constraints: 33914 362.86/363.81 c #Conflicts: 254000 | #Constraints: 34915 362.86/363.81 c #Conflicts: 255000 | #Constraints: 35916 362.86/363.81 c #Conflicts: 256000 | #Constraints: 36916 362.86/363.81 c #Conflicts: 257000 | #Constraints: 37916 362.86/363.81 c #Conflicts: 258000 | #Constraints: 38916 362.86/363.81 c #Conflicts: 259000 | #Constraints: 39916 362.86/363.81 c #Conflicts: 260000 | #Constraints: 40916 362.86/363.81 c INPROCESSING 362.86/363.81 c GARBAGE COLLECT 362.86/363.81 c rational objective 81 377.33/378.36 c #Conflicts: 261000 | #Constraints: 24115 377.33/378.36 c #Conflicts: 262000 | #Constraints: 25115 377.33/378.36 c #Conflicts: 263000 | #Constraints: 26115 377.33/378.36 c #Conflicts: 264000 | #Constraints: 27115 377.33/378.36 c #Conflicts: 265000 | #Constraints: 28115 377.33/378.36 c #Conflicts: 266000 | #Constraints: 29115 377.33/378.36 c #Conflicts: 267000 | #Constraints: 30115 377.33/378.36 c #Conflicts: 268000 | #Constraints: 31115 377.33/378.36 c #Conflicts: 269000 | #Constraints: 32115 377.33/378.36 c #Conflicts: 270000 | #Constraints: 33115 377.33/378.36 c #Conflicts: 271000 | #Constraints: 34115 377.33/378.36 c #Conflicts: 272000 | #Constraints: 35117 377.33/378.36 c INPROCESSING 377.33/378.36 c GARBAGE COLLECT 377.33/378.36 c rational objective 81 391.10/392.19 c #Conflicts: 273000 | #Constraints: 21534 391.10/392.19 c #Conflicts: 274000 | #Constraints: 22534 391.10/392.19 c #Conflicts: 275000 | #Constraints: 23534 391.10/392.19 c #Conflicts: 276000 | #Constraints: 24534 391.10/392.19 c #Conflicts: 277000 | #Constraints: 25534 391.10/392.19 c #Conflicts: 278000 | #Constraints: 26534 391.10/392.19 c #Conflicts: 279000 | #Constraints: 27536 391.10/392.19 c #Conflicts: 280000 | #Constraints: 28536 391.10/392.19 c #Conflicts: 281000 | #Constraints: 29536 391.10/392.19 c #Conflicts: 282000 | #Constraints: 30537 391.10/392.19 c #Conflicts: 283000 | #Constraints: 31537 391.10/392.19 c INPROCESSING 391.10/392.19 c GARBAGE COLLECT 391.10/392.19 c rational objective 81 402.77/403.82 c #Conflicts: 284000 | #Constraints: 19515 402.77/403.82 c #Conflicts: 285000 | #Constraints: 20515 402.77/403.82 c #Conflicts: 286000 | #Constraints: 21515 402.77/403.82 c #Conflicts: 287000 | #Constraints: 22515 402.77/403.82 c #Conflicts: 288000 | #Constraints: 23515 402.77/403.82 c #Conflicts: 289000 | #Constraints: 24516 402.77/403.82 c #Conflicts: 290000 | #Constraints: 25517 402.77/403.82 c #Conflicts: 291000 | #Constraints: 26517 402.77/403.82 c #Conflicts: 292000 | #Constraints: 27517 402.77/403.82 c #Conflicts: 293000 | #Constraints: 28517 402.77/403.82 c #Conflicts: 294000 | #Constraints: 29517 402.77/403.82 c #Conflicts: 295000 | #Constraints: 30517 402.77/403.82 c INPROCESSING 402.77/403.82 c GARBAGE COLLECT 402.77/403.82 c rational objective 81 474.96/476.21 c #Conflicts: 296000 | #Constraints: 19108 474.96/476.21 c #Conflicts: 297000 | #Constraints: 20108 474.96/476.21 c #Conflicts: 298000 | #Constraints: 21108 474.96/476.21 c #Conflicts: 299000 | #Constraints: 22108 474.96/476.21 c #Conflicts: 300000 | #Constraints: 23108 474.96/476.21 c #Conflicts: 301000 | #Constraints: 24109 474.96/476.21 c #Conflicts: 302000 | #Constraints: 25109 474.96/476.21 c #Conflicts: 303000 | #Constraints: 26109 474.96/476.21 c #Conflicts: 304000 | #Constraints: 27109 474.96/476.21 c #Conflicts: 305000 | #Constraints: 28109 474.96/476.21 c #Conflicts: 306000 | #Constraints: 29109 474.96/476.21 c #Conflicts: 307000 | #Constraints: 30109 474.96/476.21 c #Conflicts: 308000 | #Constraints: 31109 474.96/476.21 c #Conflicts: 309000 | #Constraints: 32109 474.96/476.21 c #Conflicts: 310000 | #Constraints: 33109 474.96/476.21 c #Conflicts: 311000 | #Constraints: 34109 474.96/476.21 c #Conflicts: 312000 | #Constraints: 35109 474.96/476.21 c #Conflicts: 313000 | #Constraints: 36109 474.96/476.21 c #Conflicts: 314000 | #Constraints: 37109 474.96/476.21 c #Conflicts: 315000 | #Constraints: 38109 474.96/476.21 c #Conflicts: 316000 | #Constraints: 39109 474.96/476.21 c #Conflicts: 317000 | #Constraints: 40109 474.96/476.21 c #Conflicts: 318000 | #Constraints: 41109 474.96/476.21 c #Conflicts: 319000 | #Constraints: 42109 474.96/476.21 c #Conflicts: 320000 | #Constraints: 43110 474.96/476.21 c #Conflicts: 321000 | #Constraints: 44110 474.96/476.21 c #Conflicts: 322000 | #Constraints: 45110 474.96/476.21 c #Conflicts: 323000 | #Constraints: 46110 474.96/476.21 c #Conflicts: 324000 | #Constraints: 47110 474.96/476.21 c #Conflicts: 325000 | #Constraints: 48110 474.96/476.21 c #Conflicts: 326000 | #Constraints: 49110 474.96/476.21 c #Conflicts: 327000 | #Constraints: 50110 474.96/476.21 c #Conflicts: 328000 | #Constraints: 51110 474.96/476.21 c #Conflicts: 329000 | #Constraints: 52110 474.96/476.21 c #Conflicts: 330000 | #Constraints: 53110 474.96/476.21 c #Conflicts: 331000 | #Constraints: 54110 474.96/476.21 c #Conflicts: 332000 | #Constraints: 55110 474.96/476.21 c #Conflicts: 333000 | #Constraints: 56111 474.96/476.21 c #Conflicts: 334000 | #Constraints: 57111 474.96/476.21 c #Conflicts: 335000 | #Constraints: 58111 474.96/476.21 c #Conflicts: 336000 | #Constraints: 59111 474.96/476.21 c #Conflicts: 337000 | #Constraints: 60111 474.96/476.21 c #Conflicts: 338000 | #Constraints: 61111 474.96/476.21 c #Conflicts: 339000 | #Constraints: 62111 474.96/476.21 c #Conflicts: 340000 | #Constraints: 63111 474.96/476.21 c INPROCESSING 474.96/476.21 c GARBAGE COLLECT 474.96/476.21 c rational objective 81 498.80/500.12 c #Conflicts: 341000 | #Constraints: 35349 498.80/500.12 c #Conflicts: 342000 | #Constraints: 36349 498.80/500.12 c #Conflicts: 343000 | #Constraints: 37349 498.80/500.12 c #Conflicts: 344000 | #Constraints: 38349 498.80/500.12 c #Conflicts: 345000 | #Constraints: 39350 498.80/500.12 c #Conflicts: 346000 | #Constraints: 40350 498.80/500.12 c #Conflicts: 347000 | #Constraints: 41350 498.80/500.12 c #Conflicts: 348000 | #Constraints: 42350 498.80/500.12 c #Conflicts: 349000 | #Constraints: 43350 498.80/500.12 c #Conflicts: 350000 | #Constraints: 44350 498.80/500.12 c #Conflicts: 351000 | #Constraints: 45350 498.80/500.12 c #Conflicts: 352000 | #Constraints: 46350 498.80/500.12 c #Conflicts: 353000 | #Constraints: 47350 498.80/500.12 c INPROCESSING 498.80/500.12 c GARBAGE COLLECT 498.80/500.12 c rational objective 81 515.76/517.15 c #Conflicts: 354000 | #Constraints: 27546 515.76/517.15 c #Conflicts: 355000 | #Constraints: 28547 515.76/517.15 c #Conflicts: 356000 | #Constraints: 29548 515.76/517.15 c #Conflicts: 357000 | #Constraints: 30548 515.76/517.15 c #Conflicts: 358000 | #Constraints: 31548 515.76/517.15 c #Conflicts: 359000 | #Constraints: 32548 515.76/517.15 c #Conflicts: 360000 | #Constraints: 33548 515.76/517.15 c #Conflicts: 361000 | #Constraints: 34548 515.76/517.15 c #Conflicts: 362000 | #Constraints: 35548 515.76/517.15 c #Conflicts: 363000 | #Constraints: 36548 515.76/517.15 c #Conflicts: 364000 | #Constraints: 37548 515.76/517.15 c #Conflicts: 365000 | #Constraints: 38548 515.76/517.15 c #Conflicts: 366000 | #Constraints: 39548 515.76/517.15 c INPROCESSING 515.76/517.15 c GARBAGE COLLECT 515.76/517.15 c rational objective 81 538.38/539.88 c #Conflicts: 367000 | #Constraints: 23532 538.38/539.88 c #Conflicts: 368000 | #Constraints: 24532 538.38/539.88 c #Conflicts: 369000 | #Constraints: 25533 538.38/539.88 c #Conflicts: 370000 | #Constraints: 26533 538.38/539.88 c #Conflicts: 371000 | #Constraints: 27533 538.38/539.88 c #Conflicts: 372000 | #Constraints: 28533 538.38/539.88 c #Conflicts: 373000 | #Constraints: 29533 538.38/539.88 c #Conflicts: 374000 | #Constraints: 30534 538.38/539.88 c #Conflicts: 375000 | #Constraints: 31534 538.38/539.88 c #Conflicts: 376000 | #Constraints: 32534 538.38/539.88 c #Conflicts: 377000 | #Constraints: 33534 538.38/539.88 c #Conflicts: 378000 | #Constraints: 34534 538.38/539.88 c #Conflicts: 379000 | #Constraints: 35535 538.38/539.88 c #Conflicts: 380000 | #Constraints: 36535 538.38/539.88 c INPROCESSING 538.38/539.88 c GARBAGE COLLECT 538.38/539.88 c rational objective 81 557.74/559.26 c #Conflicts: 381000 | #Constraints: 22279 557.74/559.26 c #Conflicts: 382000 | #Constraints: 23280 557.74/559.26 c #Conflicts: 383000 | #Constraints: 24280 557.74/559.26 c #Conflicts: 384000 | #Constraints: 25280 557.74/559.26 c #Conflicts: 385000 | #Constraints: 26280 557.74/559.26 c #Conflicts: 386000 | #Constraints: 27281 557.74/559.26 c #Conflicts: 387000 | #Constraints: 28281 557.74/559.26 c #Conflicts: 388000 | #Constraints: 29281 557.74/559.26 c #Conflicts: 389000 | #Constraints: 30281 557.74/559.26 c #Conflicts: 390000 | #Constraints: 31281 557.74/559.26 c #Conflicts: 391000 | #Constraints: 32281 557.74/559.26 c #Conflicts: 392000 | #Constraints: 33281 557.74/559.26 c #Conflicts: 393000 | #Constraints: 34281 557.74/559.26 c INPROCESSING 557.74/559.26 c GARBAGE COLLECT 557.74/559.26 c rational objective 81 656.55/658.36 c #Conflicts: 394000 | #Constraints: 20899 656.55/658.36 c #Conflicts: 395000 | #Constraints: 21899 656.55/658.36 c #Conflicts: 396000 | #Constraints: 22899 656.55/658.36 c #Conflicts: 397000 | #Constraints: 23899 656.55/658.36 c #Conflicts: 398000 | #Constraints: 24900 656.55/658.36 c #Conflicts: 399000 | #Constraints: 25900 656.55/658.36 c #Conflicts: 400000 | #Constraints: 26900 656.55/658.36 c #Conflicts: 401000 | #Constraints: 27900 656.55/658.36 c #Conflicts: 402000 | #Constraints: 28901 656.55/658.36 c #Conflicts: 403000 | #Constraints: 29901 656.55/658.36 c #Conflicts: 404000 | #Constraints: 30901 656.55/658.36 c #Conflicts: 405000 | #Constraints: 31901 656.55/658.36 c #Conflicts: 406000 | #Constraints: 32901 656.55/658.36 c #Conflicts: 407000 | #Constraints: 33901 656.55/658.36 c #Conflicts: 408000 | #Constraints: 34901 656.55/658.36 c #Conflicts: 409000 | #Constraints: 35901 656.55/658.36 c #Conflicts: 410000 | #Constraints: 36901 656.55/658.36 c #Conflicts: 411000 | #Constraints: 37901 656.55/658.36 c #Conflicts: 412000 | #Constraints: 38901 656.55/658.36 c #Conflicts: 413000 | #Constraints: 39901 656.55/658.36 c #Conflicts: 414000 | #Constraints: 40901 656.55/658.36 c #Conflicts: 415000 | #Constraints: 41901 656.55/658.36 c #Conflicts: 416000 | #Constraints: 42901 656.55/658.36 c #Conflicts: 417000 | #Constraints: 43902 656.55/658.36 c #Conflicts: 418000 | #Constraints: 44902 656.55/658.36 c #Conflicts: 419000 | #Constraints: 45902 656.55/658.36 c #Conflicts: 420000 | #Constraints: 46902 656.55/658.36 c #Conflicts: 421000 | #Constraints: 47902 656.55/658.36 c #Conflicts: 422000 | #Constraints: 48902 656.55/658.36 c #Conflicts: 423000 | #Constraints: 49902 656.55/658.36 c #Conflicts: 424000 | #Constraints: 50902 656.55/658.36 c #Conflicts: 425000 | #Constraints: 51902 656.55/658.36 c #Conflicts: 426000 | #Constraints: 52902 656.55/658.36 c #Conflicts: 427000 | #Constraints: 53902 656.55/658.36 c #Conflicts: 428000 | #Constraints: 54902 656.55/658.36 c #Conflicts: 429000 | #Constraints: 55902 656.55/658.36 c #Conflicts: 430000 | #Constraints: 56902 656.55/658.36 c #Conflicts: 431000 | #Constraints: 57902 656.55/658.36 c #Conflicts: 432000 | #Constraints: 58902 656.55/658.36 c #Conflicts: 433000 | #Constraints: 59902 656.55/658.36 c #Conflicts: 434000 | #Constraints: 60902 656.55/658.36 c #Conflicts: 435000 | #Constraints: 61902 656.55/658.36 c #Conflicts: 436000 | #Constraints: 62902 656.55/658.36 c #Conflicts: 437000 | #Constraints: 63902 656.55/658.36 c #Conflicts: 438000 | #Constraints: 64902 656.55/658.36 c #Conflicts: 439000 | #Constraints: 65902 656.55/658.36 c #Conflicts: 440000 | #Constraints: 66902 656.55/658.36 c #Conflicts: 441000 | #Constraints: 67902 656.55/658.36 c #Conflicts: 442000 | #Constraints: 68902 656.55/658.36 c #Conflicts: 443000 | #Constraints: 69902 656.55/658.36 c #Conflicts: 444000 | #Constraints: 70903 656.55/658.36 c #Conflicts: 445000 | #Constraints: 71903 656.55/658.36 c INPROCESSING 656.55/658.36 c GARBAGE COLLECT 656.55/658.36 c rational objective 81 679.68/681.59 c #Conflicts: 446000 | #Constraints: 39949 679.68/681.59 c #Conflicts: 447000 | #Constraints: 40949 679.68/681.59 c #Conflicts: 448000 | #Constraints: 41950 679.68/681.59 c #Conflicts: 449000 | #Constraints: 42950 679.68/681.59 c #Conflicts: 450000 | #Constraints: 43950 679.68/681.59 c #Conflicts: 451000 | #Constraints: 44950 679.68/681.59 c #Conflicts: 452000 | #Constraints: 45950 679.68/681.59 c #Conflicts: 453000 | #Constraints: 46950 679.68/681.59 c #Conflicts: 454000 | #Constraints: 47950 679.68/681.59 c #Conflicts: 455000 | #Constraints: 48950 679.68/681.59 c #Conflicts: 456000 | #Constraints: 49950 679.68/681.59 c #Conflicts: 457000 | #Constraints: 50950 679.68/681.59 c #Conflicts: 458000 | #Constraints: 51950 679.68/681.59 c #Conflicts: 459000 | #Constraints: 52950 679.68/681.59 c #Conflicts: 460000 | #Constraints: 53950 679.68/681.59 c INPROCESSING 679.68/681.59 c GARBAGE COLLECT 679.68/681.59 c rational objective 81 704.42/706.34 c #Conflicts: 461000 | #Constraints: 31009 704.42/706.34 c #Conflicts: 462000 | #Constraints: 32010 704.42/706.34 c #Conflicts: 463000 | #Constraints: 33010 704.42/706.34 c #Conflicts: 464000 | #Constraints: 34010 704.42/706.34 c #Conflicts: 465000 | #Constraints: 35010 704.42/706.34 c #Conflicts: 466000 | #Constraints: 36010 704.42/706.34 c #Conflicts: 467000 | #Constraints: 37010 704.42/706.34 c #Conflicts: 468000 | #Constraints: 38010 704.42/706.34 c #Conflicts: 469000 | #Constraints: 39010 704.42/706.34 c #Conflicts: 470000 | #Constraints: 40010 704.42/706.34 c #Conflicts: 471000 | #Constraints: 41010 704.42/706.34 c #Conflicts: 472000 | #Constraints: 42010 704.42/706.34 c #Conflicts: 473000 | #Constraints: 43010 704.42/706.34 c #Conflicts: 474000 | #Constraints: 44010 704.42/706.34 c #Conflicts: 475000 | #Constraints: 45011 704.42/706.34 c INPROCESSING 704.42/706.34 c GARBAGE COLLECT 704.42/706.34 c rational objective 81 732.26/734.27 c #Conflicts: 476000 | #Constraints: 26500 732.26/734.27 c #Conflicts: 477000 | #Constraints: 27500 732.26/734.27 c #Conflicts: 478000 | #Constraints: 28500 732.26/734.27 c #Conflicts: 479000 | #Constraints: 29500 732.26/734.27 c #Conflicts: 480000 | #Constraints: 30500 732.26/734.27 c #Conflicts: 481000 | #Constraints: 31500 732.26/734.27 c #Conflicts: 482000 | #Constraints: 32500 732.26/734.27 c #Conflicts: 483000 | #Constraints: 33500 732.26/734.27 c #Conflicts: 484000 | #Constraints: 34500 732.26/734.27 c #Conflicts: 485000 | #Constraints: 35500 732.26/734.27 c #Conflicts: 486000 | #Constraints: 36500 732.26/734.27 c #Conflicts: 487000 | #Constraints: 37500 732.26/734.27 c #Conflicts: 488000 | #Constraints: 38501 732.26/734.27 c #Conflicts: 489000 | #Constraints: 39501 732.26/734.27 c #Conflicts: 490000 | #Constraints: 40501 732.26/734.27 c INPROCESSING 732.26/734.27 c GARBAGE COLLECT 732.26/734.27 c rational objective 81 749.93/751.91 c #Conflicts: 491000 | #Constraints: 24067 749.93/751.91 c #Conflicts: 492000 | #Constraints: 25067 749.93/751.91 c #Conflicts: 493000 | #Constraints: 26067 749.93/751.91 c #Conflicts: 494000 | #Constraints: 27067 749.93/751.91 c #Conflicts: 495000 | #Constraints: 28067 749.93/751.91 c #Conflicts: 496000 | #Constraints: 29067 749.93/751.91 c #Conflicts: 497000 | #Constraints: 30067 749.93/751.91 c #Conflicts: 498000 | #Constraints: 31067 749.93/751.91 c #Conflicts: 499000 | #Constraints: 32067 749.93/751.91 c #Conflicts: 500000 | #Constraints: 33068 749.93/751.91 c #Conflicts: 501000 | #Constraints: 34068 749.93/751.91 c #Conflicts: 502000 | #Constraints: 35068 749.93/751.91 c #Conflicts: 503000 | #Constraints: 36068 749.93/751.91 c #Conflicts: 504000 | #Constraints: 37068 749.93/751.91 c #Conflicts: 505000 | #Constraints: 38068 749.93/751.91 c #Conflicts: 506000 | #Constraints: 39068 749.93/751.91 c INPROCESSING 749.93/751.91 c GARBAGE COLLECT 749.93/751.91 c rational objective 81 858.97/861.20 c #Conflicts: 507000 | #Constraints: 23559 858.97/861.20 c #Conflicts: 508000 | #Constraints: 24559 858.97/861.20 c #Conflicts: 509000 | #Constraints: 25560 858.97/861.20 c #Conflicts: 510000 | #Constraints: 26560 858.97/861.20 c #Conflicts: 511000 | #Constraints: 27561 858.97/861.20 c #Conflicts: 512000 | #Constraints: 28561 858.97/861.20 c #Conflicts: 513000 | #Constraints: 29561 858.97/861.20 c #Conflicts: 514000 | #Constraints: 30561 858.97/861.20 c #Conflicts: 515000 | #Constraints: 31562 858.97/861.20 c #Conflicts: 516000 | #Constraints: 32562 858.97/861.20 c #Conflicts: 517000 | #Constraints: 33562 858.97/861.20 c #Conflicts: 518000 | #Constraints: 34562 858.97/861.20 c #Conflicts: 519000 | #Constraints: 35563 858.97/861.20 c #Conflicts: 520000 | #Constraints: 36563 858.97/861.20 c #Conflicts: 521000 | #Constraints: 37563 858.97/861.20 c #Conflicts: 522000 | #Constraints: 38563 858.97/861.20 c #Conflicts: 523000 | #Constraints: 39563 858.97/861.20 c #Conflicts: 524000 | #Constraints: 40563 858.97/861.20 c #Conflicts: 525000 | #Constraints: 41563 858.97/861.20 c #Conflicts: 526000 | #Constraints: 42563 858.97/861.20 c #Conflicts: 527000 | #Constraints: 43563 858.97/861.20 c #Conflicts: 528000 | #Constraints: 44563 858.97/861.20 c #Conflicts: 529000 | #Constraints: 45563 858.97/861.20 c #Conflicts: 530000 | #Constraints: 46563 858.97/861.20 c #Conflicts: 531000 | #Constraints: 47564 858.97/861.20 c #Conflicts: 532000 | #Constraints: 48564 858.97/861.20 c #Conflicts: 533000 | #Constraints: 49564 858.97/861.20 c #Conflicts: 534000 | #Constraints: 50565 858.97/861.20 c #Conflicts: 535000 | #Constraints: 51565 858.97/861.20 c #Conflicts: 536000 | #Constraints: 52565 858.97/861.20 c #Conflicts: 537000 | #Constraints: 53565 858.97/861.20 c #Conflicts: 538000 | #Constraints: 54565 858.97/861.20 c #Conflicts: 539000 | #Constraints: 55565 858.97/861.20 c #Conflicts: 540000 | #Constraints: 56565 858.97/861.20 c #Conflicts: 541000 | #Constraints: 57565 858.97/861.20 c #Conflicts: 542000 | #Constraints: 58565 858.97/861.20 c #Conflicts: 543000 | #Constraints: 59565 858.97/861.20 c #Conflicts: 544000 | #Constraints: 60565 858.97/861.20 c #Conflicts: 545000 | #Constraints: 61565 858.97/861.20 c #Conflicts: 546000 | #Constraints: 62565 858.97/861.20 c #Conflicts: 547000 | #Constraints: 63565 858.97/861.20 c #Conflicts: 548000 | #Constraints: 64565 858.97/861.20 c #Conflicts: 549000 | #Constraints: 65565 858.97/861.20 c #Conflicts: 550000 | #Constraints: 66565 858.97/861.20 c #Conflicts: 551000 | #Constraints: 67565 858.97/861.20 c #Conflicts: 552000 | #Constraints: 68565 858.97/861.20 c #Conflicts: 553000 | #Constraints: 69565 858.97/861.20 c #Conflicts: 554000 | #Constraints: 70565 858.97/861.20 c #Conflicts: 555000 | #Constraints: 71565 858.97/861.20 c #Conflicts: 556000 | #Constraints: 72565 858.97/861.20 c #Conflicts: 557000 | #Constraints: 73565 858.97/861.20 c #Conflicts: 558000 | #Constraints: 74565 858.97/861.20 c #Conflicts: 559000 | #Constraints: 75565 858.97/861.20 c #Conflicts: 560000 | #Constraints: 76565 858.97/861.20 c #Conflicts: 561000 | #Constraints: 77565 858.97/861.20 c #Conflicts: 562000 | #Constraints: 78565 858.97/861.20 c #Conflicts: 563000 | #Constraints: 79565 858.97/861.20 c #Conflicts: 564000 | #Constraints: 80565 858.97/861.20 c INPROCESSING 858.97/861.20 c GARBAGE COLLECT 858.97/861.20 c rational objective 81 896.39/898.74 c #Conflicts: 565000 | #Constraints: 44382 896.39/898.74 c #Conflicts: 566000 | #Constraints: 45382 896.39/898.74 c #Conflicts: 567000 | #Constraints: 46382 896.39/898.74 c #Conflicts: 568000 | #Constraints: 47382 896.39/898.74 c #Conflicts: 569000 | #Constraints: 48382 896.39/898.74 c #Conflicts: 570000 | #Constraints: 49383 896.39/898.74 c #Conflicts: 571000 | #Constraints: 50383 896.39/898.74 c #Conflicts: 572000 | #Constraints: 51384 896.39/898.74 c #Conflicts: 573000 | #Constraints: 52384 896.39/898.74 c #Conflicts: 574000 | #Constraints: 53384 896.39/898.74 c #Conflicts: 575000 | #Constraints: 54384 896.39/898.74 c #Conflicts: 576000 | #Constraints: 55384 896.39/898.74 c #Conflicts: 577000 | #Constraints: 56384 896.39/898.74 c #Conflicts: 578000 | #Constraints: 57384 896.39/898.74 c #Conflicts: 579000 | #Constraints: 58384 896.39/898.74 c #Conflicts: 580000 | #Constraints: 59384 896.39/898.74 c INPROCESSING 896.39/898.74 c GARBAGE COLLECT 896.39/898.74 c rational objective 81 919.43/921.87 c #Conflicts: 581000 | #Constraints: 33341 919.43/921.87 c #Conflicts: 582000 | #Constraints: 34341 919.43/921.87 c #Conflicts: 583000 | #Constraints: 35341 919.43/921.87 c #Conflicts: 584000 | #Constraints: 36341 919.43/921.87 c #Conflicts: 585000 | #Constraints: 37341 919.43/921.87 c #Conflicts: 586000 | #Constraints: 38341 919.43/921.87 c #Conflicts: 587000 | #Constraints: 39341 919.43/921.87 c #Conflicts: 588000 | #Constraints: 40341 919.43/921.87 c #Conflicts: 589000 | #Constraints: 41342 919.43/921.87 c #Conflicts: 590000 | #Constraints: 42342 919.43/921.87 c #Conflicts: 591000 | #Constraints: 43342 919.43/921.87 c #Conflicts: 592000 | #Constraints: 44342 919.43/921.87 c #Conflicts: 593000 | #Constraints: 45342 919.43/921.87 c #Conflicts: 594000 | #Constraints: 46342 919.43/921.87 c #Conflicts: 595000 | #Constraints: 47342 919.43/921.87 c #Conflicts: 596000 | #Constraints: 48342 919.43/921.87 c #Conflicts: 597000 | #Constraints: 49342 919.43/921.87 c INPROCESSING 919.43/921.87 c GARBAGE COLLECT 919.43/921.87 c rational objective 81 945.27/947.71 c #Conflicts: 598000 | #Constraints: 28359 945.27/947.71 c #Conflicts: 599000 | #Constraints: 29359 945.27/947.71 c #Conflicts: 600000 | #Constraints: 30359 945.27/947.71 c #Conflicts: 601000 | #Constraints: 31359 945.27/947.71 c #Conflicts: 602000 | #Constraints: 32359 945.27/947.71 c #Conflicts: 603000 | #Constraints: 33359 945.27/947.71 c #Conflicts: 604000 | #Constraints: 34359 945.27/947.71 c #Conflicts: 605000 | #Constraints: 35359 945.27/947.71 c #Conflicts: 606000 | #Constraints: 36360 945.27/947.71 c #Conflicts: 607000 | #Constraints: 37360 945.27/947.71 c #Conflicts: 608000 | #Constraints: 38360 945.27/947.71 c #Conflicts: 609000 | #Constraints: 39361 945.27/947.71 c #Conflicts: 610000 | #Constraints: 40361 945.27/947.71 c #Conflicts: 611000 | #Constraints: 41361 945.27/947.71 c #Conflicts: 612000 | #Constraints: 42362 945.27/947.71 c #Conflicts: 613000 | #Constraints: 43362 945.27/947.71 c #Conflicts: 614000 | #Constraints: 44362 945.27/947.71 c #Conflicts: 615000 | #Constraints: 45362 945.27/947.71 c INPROCESSING 945.27/947.71 c GARBAGE COLLECT 945.27/947.71 c rational objective 81 970.91/973.45 c #Conflicts: 616000 | #Constraints: 26834 970.91/973.45 c #Conflicts: 617000 | #Constraints: 27834 970.91/973.45 c #Conflicts: 618000 | #Constraints: 28834 970.91/973.45 c #Conflicts: 619000 | #Constraints: 29834 970.91/973.45 c #Conflicts: 620000 | #Constraints: 30834 970.91/973.45 c #Conflicts: 621000 | #Constraints: 31835 970.91/973.45 c #Conflicts: 622000 | #Constraints: 32835 970.91/973.45 c #Conflicts: 623000 | #Constraints: 33835 970.91/973.45 c #Conflicts: 624000 | #Constraints: 34835 970.91/973.45 c #Conflicts: 625000 | #Constraints: 35835 970.91/973.45 c #Conflicts: 626000 | #Constraints: 36835 970.91/973.45 c #Conflicts: 627000 | #Constraints: 37835 970.91/973.45 c #Conflicts: 628000 | #Constraints: 38835 970.91/973.45 c #Conflicts: 629000 | #Constraints: 39835 970.91/973.45 c #Conflicts: 630000 | #Constraints: 40835 970.91/973.45 c #Conflicts: 631000 | #Constraints: 41835 970.91/973.45 c #Conflicts: 632000 | #Constraints: 42835 970.91/973.45 c INPROCESSING 970.91/973.45 c GARBAGE COLLECT 970.91/973.45 c rational objective 81 1100.42/1103.24 c #Conflicts: 633000 | #Constraints: 25267 1100.42/1103.24 c #Conflicts: 634000 | #Constraints: 26267 1100.42/1103.24 c #Conflicts: 635000 | #Constraints: 27267 1100.42/1103.24 c #Conflicts: 636000 | #Constraints: 28268 1100.42/1103.24 c #Conflicts: 637000 | #Constraints: 29268 1100.42/1103.24 c #Conflicts: 638000 | #Constraints: 30268 1100.42/1103.24 c #Conflicts: 639000 | #Constraints: 31268 1100.42/1103.24 c #Conflicts: 640000 | #Constraints: 32268 1100.42/1103.24 c #Conflicts: 641000 | #Constraints: 33268 1100.42/1103.24 c #Conflicts: 642000 | #Constraints: 34268 1100.42/1103.24 c #Conflicts: 643000 | #Constraints: 35268 1100.42/1103.24 c #Conflicts: 644000 | #Constraints: 36268 1100.42/1103.24 c #Conflicts: 645000 | #Constraints: 37268 1100.42/1103.24 c #Conflicts: 646000 | #Constraints: 38268 1100.42/1103.24 c #Conflicts: 647000 | #Constraints: 39268 1100.42/1103.24 c #Conflicts: 648000 | #Constraints: 40268 1100.42/1103.24 c #Conflicts: 649000 | #Constraints: 41269 1100.42/1103.24 c #Conflicts: 650000 | #Constraints: 42269 1100.42/1103.24 c #Conflicts: 651000 | #Constraints: 43269 1100.42/1103.24 c #Conflicts: 652000 | #Constraints: 44269 1100.42/1103.24 c #Conflicts: 653000 | #Constraints: 45269 1100.42/1103.24 c #Conflicts: 654000 | #Constraints: 46269 1100.42/1103.24 c #Conflicts: 655000 | #Constraints: 47269 1100.42/1103.24 c #Conflicts: 656000 | #Constraints: 48269 1100.42/1103.24 c #Conflicts: 657000 | #Constraints: 49270 1100.42/1103.24 c #Conflicts: 658000 | #Constraints: 50270 1100.42/1103.24 c #Conflicts: 659000 | #Constraints: 51270 1100.42/1103.24 c #Conflicts: 660000 | #Constraints: 52270 1100.42/1103.24 c #Conflicts: 661000 | #Constraints: 53270 1100.42/1103.24 c #Conflicts: 662000 | #Constraints: 54270 1100.42/1103.24 c #Conflicts: 663000 | #Constraints: 55270 1100.42/1103.24 c #Conflicts: 664000 | #Constraints: 56270 1100.42/1103.24 c #Conflicts: 665000 | #Constraints: 57270 1100.42/1103.24 c #Conflicts: 666000 | #Constraints: 58270 1100.42/1103.24 c #Conflicts: 667000 | #Constraints: 59270 1100.42/1103.24 c #Conflicts: 668000 | #Constraints: 60270 1100.42/1103.24 c #Conflicts: 669000 | #Constraints: 61270 1100.42/1103.24 c #Conflicts: 670000 | #Constraints: 62270 1100.42/1103.24 c #Conflicts: 671000 | #Constraints: 63270 1100.42/1103.24 c #Conflicts: 672000 | #Constraints: 64270 1100.42/1103.24 c #Conflicts: 673000 | #Constraints: 65270 1100.42/1103.24 c #Conflicts: 674000 | #Constraints: 66270 1100.42/1103.24 c #Conflicts: 675000 | #Constraints: 67270 1100.42/1103.24 c #Conflicts: 676000 | #Constraints: 68270 1100.42/1103.24 c #Conflicts: 677000 | #Constraints: 69270 1100.42/1103.24 c #Conflicts: 678000 | #Constraints: 70270 1100.42/1103.24 c #Conflicts: 679000 | #Constraints: 71270 1100.42/1103.24 c #Conflicts: 680000 | #Constraints: 72270 1100.42/1103.24 c #Conflicts: 681000 | #Constraints: 73270 1100.42/1103.24 c #Conflicts: 682000 | #Constraints: 74270 1100.42/1103.24 c #Conflicts: 683000 | #Constraints: 75270 1100.42/1103.24 c #Conflicts: 684000 | #Constraints: 76270 1100.42/1103.24 c #Conflicts: 685000 | #Constraints: 77270 1100.42/1103.24 c #Conflicts: 686000 | #Constraints: 78270 1100.42/1103.24 c #Conflicts: 687000 | #Constraints: 79270 1100.42/1103.24 c #Conflicts: 688000 | #Constraints: 80270 1100.42/1103.24 c #Conflicts: 689000 | #Constraints: 81270 1100.42/1103.24 c #Conflicts: 690000 | #Constraints: 82270 1100.42/1103.24 c #Conflicts: 691000 | #Constraints: 83270 1100.42/1103.24 c #Conflicts: 692000 | #Constraints: 84270 1100.42/1103.24 c #Conflicts: 693000 | #Constraints: 85270 1100.42/1103.24 c #Conflicts: 694000 | #Constraints: 86271 1100.42/1103.24 c #Conflicts: 695000 | #Constraints: 87271 1100.42/1103.24 c #Conflicts: 696000 | #Constraints: 88271 1100.42/1103.24 c INPROCESSING 1100.42/1103.24 c GARBAGE COLLECT 1100.42/1103.24 c rational objective 81 1138.03/1140.98 c #Conflicts: 697000 | #Constraints: 47802 1138.03/1140.98 c #Conflicts: 698000 | #Constraints: 48802 1138.03/1140.98 c #Conflicts: 699000 | #Constraints: 49802 1138.03/1140.98 c #Conflicts: 700000 | #Constraints: 50802 1138.03/1140.98 c #Conflicts: 701000 | #Constraints: 51802 1138.03/1140.98 c #Conflicts: 702000 | #Constraints: 52802 1138.03/1140.98 c #Conflicts: 703000 | #Constraints: 53802 1138.03/1140.98 c #Conflicts: 704000 | #Constraints: 54802 1138.03/1140.98 c #Conflicts: 705000 | #Constraints: 55802 1138.03/1140.98 c #Conflicts: 706000 | #Constraints: 56802 1138.03/1140.98 c #Conflicts: 707000 | #Constraints: 57802 1138.03/1140.98 c #Conflicts: 708000 | #Constraints: 58803 1138.03/1140.98 c #Conflicts: 709000 | #Constraints: 59803 1138.03/1140.98 c #Conflicts: 710000 | #Constraints: 60803 1138.03/1140.98 c #Conflicts: 711000 | #Constraints: 61803 1138.03/1140.98 c #Conflicts: 712000 | #Constraints: 62803 1138.03/1140.98 c #Conflicts: 713000 | #Constraints: 63803 1138.03/1140.98 c #Conflicts: 714000 | #Constraints: 64803 1138.03/1140.98 c #Conflicts: 715000 | #Constraints: 65803 1138.03/1140.98 c INPROCESSING 1138.03/1140.98 c GARBAGE COLLECT 1138.03/1140.98 c rational objective 81 1166.07/1169.05 c #Conflicts: 716000 | #Constraints: 36810 1166.07/1169.05 c #Conflicts: 717000 | #Constraints: 37810 1166.07/1169.05 c #Conflicts: 718000 | #Constraints: 38810 1166.07/1169.05 c #Conflicts: 719000 | #Constraints: 39810 1166.07/1169.05 c #Conflicts: 720000 | #Constraints: 40810 1166.07/1169.05 c #Conflicts: 721000 | #Constraints: 41810 1166.07/1169.05 c #Conflicts: 722000 | #Constraints: 42810 1166.07/1169.05 c #Conflicts: 723000 | #Constraints: 43810 1166.07/1169.05 c #Conflicts: 724000 | #Constraints: 44810 1166.07/1169.05 c #Conflicts: 725000 | #Constraints: 45811 1166.07/1169.05 c #Conflicts: 726000 | #Constraints: 46811 1166.07/1169.05 c #Conflicts: 727000 | #Constraints: 47812 1166.07/1169.05 c #Conflicts: 728000 | #Constraints: 48812 1166.07/1169.05 c #Conflicts: 729000 | #Constraints: 49812 1166.07/1169.05 c #Conflicts: 730000 | #Constraints: 50812 1166.07/1169.05 c #Conflicts: 731000 | #Constraints: 51812 1166.07/1169.05 c #Conflicts: 732000 | #Constraints: 52813 1166.07/1169.05 c #Conflicts: 733000 | #Constraints: 53813 1166.07/1169.05 c #Conflicts: 734000 | #Constraints: 54814 1166.07/1169.05 c INPROCESSING 1166.07/1169.05 c GARBAGE COLLECT 1166.07/1169.05 c rational objective 81 1195.50/1198.50 c #Conflicts: 735000 | #Constraints: 31380 1195.50/1198.50 c #Conflicts: 736000 | #Constraints: 32381 1195.50/1198.50 c #Conflicts: 737000 | #Constraints: 33381 1195.50/1198.50 c #Conflicts: 738000 | #Constraints: 34381 1195.50/1198.50 c #Conflicts: 739000 | #Constraints: 35381 1195.50/1198.50 c #Conflicts: 740000 | #Constraints: 36381 1195.50/1198.50 c #Conflicts: 741000 | #Constraints: 37381 1195.50/1198.50 c #Conflicts: 742000 | #Constraints: 38381 1195.50/1198.50 c #Conflicts: 743000 | #Constraints: 39381 1195.50/1198.50 c #Conflicts: 744000 | #Constraints: 40381 1195.50/1198.50 c #Conflicts: 745000 | #Constraints: 41381 1195.50/1198.50 c #Conflicts: 746000 | #Constraints: 42381 1195.50/1198.50 c #Conflicts: 747000 | #Constraints: 43381 1195.50/1198.50 c #Conflicts: 748000 | #Constraints: 44381 1195.50/1198.50 c #Conflicts: 749000 | #Constraints: 45381 1195.50/1198.50 c #Conflicts: 750000 | #Constraints: 46381 1195.50/1198.50 c #Conflicts: 751000 | #Constraints: 47381 1195.50/1198.50 c #Conflicts: 752000 | #Constraints: 48381 1195.50/1198.50 c #Conflicts: 753000 | #Constraints: 49381 1195.50/1198.50 c INPROCESSING 1195.50/1198.50 c GARBAGE COLLECT 1195.50/1198.50 c rational objective 81 1220.54/1223.60 c #Conflicts: 754000 | #Constraints: 28500 1220.54/1223.60 c #Conflicts: 755000 | #Constraints: 29500 1220.54/1223.60 c #Conflicts: 756000 | #Constraints: 30500 1220.54/1223.60 c #Conflicts: 757000 | #Constraints: 31500 1220.54/1223.60 c #Conflicts: 758000 | #Constraints: 32500 1220.54/1223.60 c #Conflicts: 759000 | #Constraints: 33500 1220.54/1223.60 c #Conflicts: 760000 | #Constraints: 34500 1220.54/1223.60 c #Conflicts: 761000 | #Constraints: 35500 1220.54/1223.60 c #Conflicts: 762000 | #Constraints: 36500 1220.54/1223.60 c #Conflicts: 763000 | #Constraints: 37500 1220.54/1223.60 c #Conflicts: 764000 | #Constraints: 38500 1220.54/1223.60 c #Conflicts: 765000 | #Constraints: 39500 1220.54/1223.60 c #Conflicts: 766000 | #Constraints: 40500 1220.54/1223.60 c #Conflicts: 767000 | #Constraints: 41500 1220.54/1223.60 c #Conflicts: 768000 | #Constraints: 42500 1220.54/1223.60 c #Conflicts: 769000 | #Constraints: 43501 1220.54/1223.60 c #Conflicts: 770000 | #Constraints: 44501 1220.54/1223.60 c #Conflicts: 771000 | #Constraints: 45501 1220.54/1223.60 c #Conflicts: 772000 | #Constraints: 46501 1220.54/1223.60 c INPROCESSING 1220.54/1223.60 c GARBAGE COLLECT 1220.54/1223.60 c rational objective 81 1362.41/1365.84 c #Conflicts: 773000 | #Constraints: 26967 1362.41/1365.84 c #Conflicts: 774000 | #Constraints: 27967 1362.41/1365.84 c #Conflicts: 775000 | #Constraints: 28967 1362.41/1365.84 c #Conflicts: 776000 | #Constraints: 29968 1362.41/1365.84 c #Conflicts: 777000 | #Constraints: 30968 1362.41/1365.84 c #Conflicts: 778000 | #Constraints: 31969 1362.41/1365.84 c #Conflicts: 779000 | #Constraints: 32969 1362.41/1365.84 c #Conflicts: 780000 | #Constraints: 33969 1362.41/1365.84 c #Conflicts: 781000 | #Constraints: 34969 1362.41/1365.84 c #Conflicts: 782000 | #Constraints: 35969 1362.41/1365.84 c #Conflicts: 783000 | #Constraints: 36970 1362.41/1365.84 c #Conflicts: 784000 | #Constraints: 37970 1362.41/1365.84 c #Conflicts: 785000 | #Constraints: 38970 1362.41/1365.84 c #Conflicts: 786000 | #Constraints: 39970 1362.41/1365.84 c #Conflicts: 787000 | #Constraints: 40970 1362.41/1365.84 c #Conflicts: 788000 | #Constraints: 41970 1362.41/1365.84 c #Conflicts: 789000 | #Constraints: 42970 1362.41/1365.84 c #Conflicts: 790000 | #Constraints: 43970 1362.41/1365.84 c #Conflicts: 791000 | #Constraints: 44970 1362.41/1365.84 c #Conflicts: 792000 | #Constraints: 45970 1362.41/1365.84 c #Conflicts: 793000 | #Constraints: 46970 1362.41/1365.84 c #Conflicts: 794000 | #Constraints: 47970 1362.41/1365.84 c #Conflicts: 795000 | #Constraints: 48970 1362.41/1365.84 c #Conflicts: 796000 | #Constraints: 49970 1362.41/1365.84 c #Conflicts: 797000 | #Constraints: 50970 1362.41/1365.84 c #Conflicts: 798000 | #Constraints: 51971 1362.41/1365.84 c #Conflicts: 799000 | #Constraints: 52971 1362.41/1365.84 c #Conflicts: 800000 | #Constraints: 53971 1362.41/1365.84 c #Conflicts: 801000 | #Constraints: 54971 1362.41/1365.84 c #Conflicts: 802000 | #Constraints: 55971 1362.41/1365.84 c #Conflicts: 803000 | #Constraints: 56971 1362.41/1365.84 c #Conflicts: 804000 | #Constraints: 57971 1362.41/1365.84 c #Conflicts: 805000 | #Constraints: 58971 1362.41/1365.84 c #Conflicts: 806000 | #Constraints: 59971 1362.41/1365.84 c #Conflicts: 807000 | #Constraints: 60971 1362.41/1365.84 c #Conflicts: 808000 | #Constraints: 61971 1362.41/1365.84 c #Conflicts: 809000 | #Constraints: 62971 1362.41/1365.84 c #Conflicts: 810000 | #Constraints: 63971 1362.41/1365.84 c #Conflicts: 811000 | #Constraints: 64971 1362.41/1365.84 c #Conflicts: 812000 | #Constraints: 65972 1362.41/1365.84 c #Conflicts: 813000 | #Constraints: 66972 1362.41/1365.84 c #Conflicts: 814000 | #Constraints: 67972 1362.41/1365.84 c #Conflicts: 815000 | #Constraints: 68972 1362.41/1365.84 c #Conflicts: 816000 | #Constraints: 69972 1362.41/1365.84 c #Conflicts: 817000 | #Constraints: 70972 1362.41/1365.84 c #Conflicts: 818000 | #Constraints: 71972 1362.41/1365.84 c #Conflicts: 819000 | #Constraints: 72973 1362.41/1365.84 c #Conflicts: 820000 | #Constraints: 73973 1362.41/1365.84 c #Conflicts: 821000 | #Constraints: 74973 1362.41/1365.84 c #Conflicts: 822000 | #Constraints: 75973 1362.41/1365.84 c #Conflicts: 823000 | #Constraints: 76973 1362.41/1365.84 c #Conflicts: 824000 | #Constraints: 77973 1362.41/1365.84 c #Conflicts: 825000 | #Constraints: 78973 1362.41/1365.84 c #Conflicts: 826000 | #Constraints: 79973 1362.41/1365.84 c #Conflicts: 827000 | #Constraints: 80973 1362.41/1365.84 c #Conflicts: 828000 | #Constraints: 81974 1362.41/1365.84 c #Conflicts: 829000 | #Constraints: 82974 1362.41/1365.84 c #Conflicts: 830000 | #Constraints: 83974 1362.41/1365.84 c #Conflicts: 831000 | #Constraints: 84974 1362.41/1365.84 c #Conflicts: 832000 | #Constraints: 85974 1362.41/1365.84 c #Conflicts: 833000 | #Constraints: 86974 1362.41/1365.84 c #Conflicts: 834000 | #Constraints: 87974 1362.41/1365.84 c #Conflicts: 835000 | #Constraints: 88974 1362.41/1365.84 c #Conflicts: 836000 | #Constraints: 89974 1362.41/1365.84 c #Conflicts: 837000 | #Constraints: 90974 1362.41/1365.84 c #Conflicts: 838000 | #Constraints: 91974 1362.41/1365.84 c #Conflicts: 839000 | #Constraints: 92974 1362.41/1365.84 c #Conflicts: 840000 | #Constraints: 93974 1362.41/1365.84 c #Conflicts: 841000 | #Constraints: 94974 1362.41/1365.84 c #Conflicts: 842000 | #Constraints: 95974 1362.41/1365.84 c #Conflicts: 843000 | #Constraints: 96974 1362.41/1365.84 c INPROCESSING 1362.41/1365.84 c GARBAGE COLLECT 1362.41/1365.84 c rational objective 81 1400.53/1404.04 c #Conflicts: 844000 | #Constraints: 52275 1400.53/1404.04 c #Conflicts: 845000 | #Constraints: 53275 1400.53/1404.04 c #Conflicts: 846000 | #Constraints: 54275 1400.53/1404.04 c #Conflicts: 847000 | #Constraints: 55276 1400.53/1404.04 c #Conflicts: 848000 | #Constraints: 56277 1400.53/1404.04 c #Conflicts: 849000 | #Constraints: 57277 1400.53/1404.04 c #Conflicts: 850000 | #Constraints: 58278 1400.53/1404.04 c #Conflicts: 851000 | #Constraints: 59278 1400.53/1404.04 c #Conflicts: 852000 | #Constraints: 60278 1400.53/1404.04 c #Conflicts: 853000 | #Constraints: 61278 1400.53/1404.04 c #Conflicts: 854000 | #Constraints: 62278 1400.53/1404.04 c #Conflicts: 855000 | #Constraints: 63278 1400.53/1404.04 c #Conflicts: 856000 | #Constraints: 64278 1400.53/1404.04 c #Conflicts: 857000 | #Constraints: 65278 1400.53/1404.04 c #Conflicts: 858000 | #Constraints: 66278 1400.53/1404.04 c #Conflicts: 859000 | #Constraints: 67278 1400.53/1404.04 c #Conflicts: 860000 | #Constraints: 68279 1400.53/1404.04 c #Conflicts: 861000 | #Constraints: 69279 1400.53/1404.04 c #Conflicts: 862000 | #Constraints: 70279 1400.53/1404.04 c #Conflicts: 863000 | #Constraints: 71280 1400.53/1404.04 c #Conflicts: 864000 | #Constraints: 72280 1400.53/1404.04 c INPROCESSING 1400.53/1404.04 c GARBAGE COLLECT 1400.53/1404.04 c rational objective 81 1431.34/1434.94 c #Conflicts: 865000 | #Constraints: 40161 1431.34/1434.94 c #Conflicts: 866000 | #Constraints: 41161 1431.34/1434.94 c #Conflicts: 867000 | #Constraints: 42161 1431.34/1434.94 c #Conflicts: 868000 | #Constraints: 43161 1431.34/1434.94 c #Conflicts: 869000 | #Constraints: 44161 1431.34/1434.94 c #Conflicts: 870000 | #Constraints: 45161 1431.34/1434.94 c #Conflicts: 871000 | #Constraints: 46161 1431.34/1434.94 c #Conflicts: 872000 | #Constraints: 47161 1431.34/1434.94 c #Conflicts: 873000 | #Constraints: 48161 1431.34/1434.94 c #Conflicts: 874000 | #Constraints: 49163 1431.34/1434.94 c #Conflicts: 875000 | #Constraints: 50163 1431.34/1434.94 c #Conflicts: 876000 | #Constraints: 51163 1431.34/1434.94 c #Conflicts: 877000 | #Constraints: 52163 1431.34/1434.94 c #Conflicts: 878000 | #Constraints: 53163 1431.34/1434.94 c #Conflicts: 879000 | #Constraints: 54164 1431.34/1434.94 c #Conflicts: 880000 | #Constraints: 55164 1431.34/1434.94 c #Conflicts: 881000 | #Constraints: 56164 1431.34/1434.94 c #Conflicts: 882000 | #Constraints: 57164 1431.34/1434.94 c #Conflicts: 883000 | #Constraints: 58164 1431.34/1434.94 c #Conflicts: 884000 | #Constraints: 59164 1431.34/1434.94 c #Conflicts: 885000 | #Constraints: 60164 1431.34/1434.94 c INPROCESSING 1431.34/1434.94 c GARBAGE COLLECT 1431.34/1434.94 c rational objective 81 1466.87/1470.52 c #Conflicts: 886000 | #Constraints: 34223 1466.87/1470.52 c #Conflicts: 887000 | #Constraints: 35223 1466.87/1470.52 c #Conflicts: 888000 | #Constraints: 36223 1466.87/1470.52 c #Conflicts: 889000 | #Constraints: 37223 1466.87/1470.52 c #Conflicts: 890000 | #Constraints: 38223 1466.87/1470.52 c #Conflicts: 891000 | #Constraints: 39223 1466.87/1470.52 c #Conflicts: 892000 | #Constraints: 40223 1466.87/1470.52 c #Conflicts: 893000 | #Constraints: 41223 1466.87/1470.52 c #Conflicts: 894000 | #Constraints: 42223 1466.87/1470.52 c #Conflicts: 895000 | #Constraints: 43223 1466.87/1470.52 c #Conflicts: 896000 | #Constraints: 44223 1466.87/1470.52 c #Conflicts: 897000 | #Constraints: 45223 1466.87/1470.52 c #Conflicts: 898000 | #Constraints: 46223 1466.87/1470.52 c #Conflicts: 899000 | #Constraints: 47223 1466.87/1470.52 c #Conflicts: 900000 | #Constraints: 48223 1466.87/1470.52 c #Conflicts: 901000 | #Constraints: 49223 1466.87/1470.52 c #Conflicts: 902000 | #Constraints: 50223 1466.87/1470.52 c #Conflicts: 903000 | #Constraints: 51224 1466.87/1470.52 c #Conflicts: 904000 | #Constraints: 52224 1466.87/1470.52 c #Conflicts: 905000 | #Constraints: 53224 1466.87/1470.52 c #Conflicts: 906000 | #Constraints: 54224 1466.87/1470.52 c INPROCESSING 1466.87/1470.52 c GARBAGE COLLECT 1466.87/1470.52 c rational objective 81 1496.10/1499.88 c #Conflicts: 907000 | #Constraints: 31325 1496.10/1499.88 c #Conflicts: 908000 | #Constraints: 32326 1496.10/1499.88 c #Conflicts: 909000 | #Constraints: 33326 1496.10/1499.88 c #Conflicts: 910000 | #Constraints: 34326 1496.10/1499.88 c #Conflicts: 911000 | #Constraints: 35326 1496.10/1499.88 c #Conflicts: 912000 | #Constraints: 36326 1496.10/1499.88 c #Conflicts: 913000 | #Constraints: 37326 1496.10/1499.88 c #Conflicts: 914000 | #Constraints: 38326 1496.10/1499.88 c #Conflicts: 915000 | #Constraints: 39326 1496.10/1499.88 c #Conflicts: 916000 | #Constraints: 40326 1496.10/1499.88 c #Conflicts: 917000 | #Constraints: 41326 1496.10/1499.88 c #Conflicts: 918000 | #Constraints: 42326 1496.10/1499.88 c #Conflicts: 919000 | #Constraints: 43326 1496.10/1499.88 c #Conflicts: 920000 | #Constraints: 44326 1496.10/1499.88 c #Conflicts: 921000 | #Constraints: 45326 1496.10/1499.88 c #Conflicts: 922000 | #Constraints: 46326 1496.10/1499.88 c #Conflicts: 923000 | #Constraints: 47326 1496.10/1499.88 c #Conflicts: 924000 | #Constraints: 48326 1496.10/1499.88 c #Conflicts: 925000 | #Constraints: 49326 1496.10/1499.88 c #Conflicts: 926000 | #Constraints: 50326 1496.10/1499.88 c #Conflicts: 927000 | #Constraints: 51326 1496.10/1499.88 c INPROCESSING 1496.10/1499.88 c GARBAGE COLLECT 1496.10/1499.88 c rational objective 81 1654.32/1658.47 c #Conflicts: 928000 | #Constraints: 29679 1654.32/1658.47 c #Conflicts: 929000 | #Constraints: 30679 1654.32/1658.47 c #Conflicts: 930000 | #Constraints: 31680 1654.32/1658.47 c #Conflicts: 931000 | #Constraints: 32680 1654.32/1658.47 c #Conflicts: 932000 | #Constraints: 33680 1654.32/1658.47 c #Conflicts: 933000 | #Constraints: 34680 1654.32/1658.47 c #Conflicts: 934000 | #Constraints: 35680 1654.32/1658.47 c #Conflicts: 935000 | #Constraints: 36680 1654.32/1658.47 c #Conflicts: 936000 | #Constraints: 37680 1654.32/1658.47 c #Conflicts: 937000 | #Constraints: 38680 1654.32/1658.47 c #Conflicts: 938000 | #Constraints: 39680 1654.32/1658.47 c #Conflicts: 939000 | #Constraints: 40680 1654.32/1658.47 c #Conflicts: 940000 | #Constraints: 41680 1654.32/1658.47 c #Conflicts: 941000 | #Constraints: 42680 1654.32/1658.47 c #Conflicts: 942000 | #Constraints: 43680 1654.32/1658.47 c #Conflicts: 943000 | #Constraints: 44680 1654.32/1658.47 c #Conflicts: 944000 | #Constraints: 45680 1654.32/1658.47 c #Conflicts: 945000 | #Constraints: 46680 1654.32/1658.47 c #Conflicts: 946000 | #Constraints: 47680 1654.32/1658.47 c #Conflicts: 947000 | #Constraints: 48680 1654.32/1658.47 c #Conflicts: 948000 | #Constraints: 49680 1654.32/1658.47 c #Conflicts: 949000 | #Constraints: 50680 1654.32/1658.47 c #Conflicts: 950000 | #Constraints: 51680 1654.32/1658.47 c #Conflicts: 951000 | #Constraints: 52680 1654.32/1658.47 c #Conflicts: 952000 | #Constraints: 53680 1654.32/1658.47 c #Conflicts: 953000 | #Constraints: 54680 1654.32/1658.47 c #Conflicts: 954000 | #Constraints: 55680 1654.32/1658.47 c #Conflicts: 955000 | #Constraints: 56680 1654.32/1658.47 c #Conflicts: 956000 | #Constraints: 57680 1654.32/1658.47 c #Conflicts: 957000 | #Constraints: 58680 1654.32/1658.47 c #Conflicts: 958000 | #Constraints: 59680 1654.32/1658.47 c #Conflicts: 959000 | #Constraints: 60680 1654.32/1658.47 c #Conflicts: 960000 | #Constraints: 61680 1654.32/1658.47 c #Conflicts: 961000 | #Constraints: 62680 1654.32/1658.47 c #Conflicts: 962000 | #Constraints: 63681 1654.32/1658.47 c #Conflicts: 963000 | #Constraints: 64681 1654.32/1658.47 c #Conflicts: 964000 | #Constraints: 65681 1654.32/1658.47 c #Conflicts: 965000 | #Constraints: 66682 1654.32/1658.47 c #Conflicts: 966000 | #Constraints: 67684 1654.32/1658.47 c #Conflicts: 967000 | #Constraints: 68686 1654.32/1658.48 c #Conflicts: 968000 | #Constraints: 69686 1654.32/1658.48 c #Conflicts: 969000 | #Constraints: 70686 1654.32/1658.48 c #Conflicts: 970000 | #Constraints: 71687 1654.32/1658.48 c #Conflicts: 971000 | #Constraints: 72687 1654.32/1658.48 c #Conflicts: 972000 | #Constraints: 73688 1654.32/1658.48 c #Conflicts: 973000 | #Constraints: 74688 1654.32/1658.48 c #Conflicts: 974000 | #Constraints: 75688 1654.32/1658.48 c #Conflicts: 975000 | #Constraints: 76688 1654.32/1658.48 c #Conflicts: 976000 | #Constraints: 77688 1654.32/1658.48 c #Conflicts: 977000 | #Constraints: 78688 1654.32/1658.48 c #Conflicts: 978000 | #Constraints: 79688 1654.32/1658.48 c #Conflicts: 979000 | #Constraints: 80688 1654.32/1658.48 c #Conflicts: 980000 | #Constraints: 81688 1654.32/1658.48 c #Conflicts: 981000 | #Constraints: 82688 1654.32/1658.48 c #Conflicts: 982000 | #Constraints: 83688 1654.32/1658.48 c #Conflicts: 983000 | #Constraints: 84688 1654.32/1658.48 c #Conflicts: 984000 | #Constraints: 85688 1654.32/1658.48 c #Conflicts: 985000 | #Constraints: 86688 1654.32/1658.48 c #Conflicts: 986000 | #Constraints: 87689 1654.32/1658.48 c #Conflicts: 987000 | #Constraints: 88689 1654.32/1658.48 c #Conflicts: 988000 | #Constraints: 89689 1654.32/1658.48 c #Conflicts: 989000 | #Constraints: 90689 1654.32/1658.48 c #Conflicts: 990000 | #Constraints: 91689 1654.32/1658.48 c #Conflicts: 991000 | #Constraints: 92689 1654.32/1658.48 c #Conflicts: 992000 | #Constraints: 93689 1654.32/1658.48 c #Conflicts: 993000 | #Constraints: 94689 1654.32/1658.48 c #Conflicts: 994000 | #Constraints: 95689 1654.32/1658.48 c #Conflicts: 995000 | #Constraints: 96689 1654.32/1658.48 c #Conflicts: 996000 | #Constraints: 97689 1654.32/1658.48 c #Conflicts: 997000 | #Constraints: 98689 1654.32/1658.48 c #Conflicts: 998000 | #Constraints: 99689 1654.32/1658.48 c #Conflicts: 999000 | #Constraints: 100689 1654.32/1658.48 c #Conflicts: 1000000 | #Constraints: 101690 1654.32/1658.48 c #Conflicts: 1001000 | #Constraints: 102690 1654.32/1658.48 c #Conflicts: 1002000 | #Constraints: 103690 1654.32/1658.48 c #Conflicts: 1003000 | #Constraints: 104690 1654.32/1658.48 c #Conflicts: 1004000 | #Constraints: 105690 1654.32/1658.48 c INPROCESSING 1654.32/1658.48 c GARBAGE COLLECT 1654.32/1658.48 c rational objective 81 1712.99/1717.20 c #Conflicts: 1005000 | #Constraints: 56856 1712.99/1717.20 c #Conflicts: 1006000 | #Constraints: 57856 1712.99/1717.20 c #Conflicts: 1007000 | #Constraints: 58856 1712.99/1717.20 c #Conflicts: 1008000 | #Constraints: 59856 1712.99/1717.20 c #Conflicts: 1009000 | #Constraints: 60856 1712.99/1717.20 c #Conflicts: 1010000 | #Constraints: 61856 1712.99/1717.20 c #Conflicts: 1011000 | #Constraints: 62858 1712.99/1717.20 c #Conflicts: 1012000 | #Constraints: 63858 1712.99/1717.20 c #Conflicts: 1013000 | #Constraints: 64858 1712.99/1717.20 c #Conflicts: 1014000 | #Constraints: 65860 1712.99/1717.20 c #Conflicts: 1015000 | #Constraints: 66860 1712.99/1717.20 c #Conflicts: 1016000 | #Constraints: 67863 1712.99/1717.20 c #Conflicts: 1017000 | #Constraints: 68867 1712.99/1717.20 c #Conflicts: 1018000 | #Constraints: 69867 1712.99/1717.20 c #Conflicts: 1019000 | #Constraints: 70867 1712.99/1717.20 c #Conflicts: 1020000 | #Constraints: 71868 1712.99/1717.20 c #Conflicts: 1021000 | #Constraints: 72868 1712.99/1717.20 c #Conflicts: 1022000 | #Constraints: 73868 1712.99/1717.20 c #Conflicts: 1023000 | #Constraints: 74868 1712.99/1717.20 c #Conflicts: 1024000 | #Constraints: 75868 1712.99/1717.20 c #Conflicts: 1025000 | #Constraints: 76868 1712.99/1717.20 c #Conflicts: 1026000 | #Constraints: 77869 1712.99/1717.20 c INPROCESSING 1712.99/1717.20 c GARBAGE COLLECT 1712.99/1717.20 c rational objective 81 1755.79/1760.18 c #Conflicts: 1027000 | #Constraints: 42649 1755.79/1760.18 c #Conflicts: 1028000 | #Constraints: 43649 1755.79/1760.18 c #Conflicts: 1029000 | #Constraints: 44649 1755.79/1760.18 c #Conflicts: 1030000 | #Constraints: 45649 1755.79/1760.18 c #Conflicts: 1031000 | #Constraints: 46649 1755.79/1760.18 c #Conflicts: 1032000 | #Constraints: 47650 1755.79/1760.18 c #Conflicts: 1033000 | #Constraints: 48650 1755.79/1760.18 c #Conflicts: 1034000 | #Constraints: 49650 1755.79/1760.18 c #Conflicts: 1035000 | #Constraints: 50650 1755.79/1760.18 c #Conflicts: 1036000 | #Constraints: 51650 1755.79/1760.18 c #Conflicts: 1037000 | #Constraints: 52650 1755.79/1760.18 c #Conflicts: 1038000 | #Constraints: 53650 1755.79/1760.18 c #Conflicts: 1039000 | #Constraints: 54651 1755.79/1760.18 c #Conflicts: 1040000 | #Constraints: 55651 1755.79/1760.18 c #Conflicts: 1041000 | #Constraints: 56651 1755.79/1760.18 c #Conflicts: 1042000 | #Constraints: 57651 1755.79/1760.18 c #Conflicts: 1043000 | #Constraints: 58651 1755.79/1760.18 c #Conflicts: 1044000 | #Constraints: 59652 1755.79/1760.18 c #Conflicts: 1045000 | #Constraints: 60652 1755.79/1760.18 c #Conflicts: 1046000 | #Constraints: 61652 1755.79/1760.18 c #Conflicts: 1047000 | #Constraints: 62652 1755.79/1760.18 c #Conflicts: 1048000 | #Constraints: 63652 1755.79/1760.18 c #Conflicts: 1049000 | #Constraints: 64652 1755.79/1760.18 c INPROCESSING 1755.79/1760.18 c GARBAGE COLLECT 1755.79/1760.18 c rational objective 81 1811.54/1816.10 c #Conflicts: 1050000 | #Constraints: 36158 1811.54/1816.10 c #Conflicts: 1051000 | #Constraints: 37159 1811.54/1816.10 c #Conflicts: 1052000 | #Constraints: 38159 1811.54/1816.10 c #Conflicts: 1053000 | #Constraints: 39159 1811.54/1816.10 c #Conflicts: 1054000 | #Constraints: 40159 1811.54/1816.10 c #Conflicts: 1055000 | #Constraints: 41159 1811.54/1816.10 c #Conflicts: 1056000 | #Constraints: 42159 1811.54/1816.10 c #Conflicts: 1057000 | #Constraints: 43159 1811.54/1816.10 c #Conflicts: 1058000 | #Constraints: 44160 1811.54/1816.10 c #Conflicts: 1059000 | #Constraints: 45161 1811.54/1816.10 c #Conflicts: 1060000 | #Constraints: 46164 1811.54/1816.10 c #Conflicts: 1061000 | #Constraints: 47164 1811.54/1816.10 c #Conflicts: 1062000 | #Constraints: 48166 1811.54/1816.10 c #Conflicts: 1063000 | #Constraints: 49169 1811.54/1816.10 c #Conflicts: 1064000 | #Constraints: 50169 1811.54/1816.10 c #Conflicts: 1065000 | #Constraints: 51169 1811.54/1816.10 c #Conflicts: 1066000 | #Constraints: 52169 1811.54/1816.10 c #Conflicts: 1067000 | #Constraints: 53169 1811.54/1816.10 c #Conflicts: 1068000 | #Constraints: 54169 1811.54/1816.10 c #Conflicts: 1069000 | #Constraints: 55169 1811.54/1816.10 c #Conflicts: 1070000 | #Constraints: 56169 1811.54/1816.10 c #Conflicts: 1071000 | #Constraints: 57169 1811.54/1816.10 c #Conflicts: 1072000 | #Constraints: 58169 1811.54/1816.10 c INPROCESSING 1811.54/1816.10 c GARBAGE COLLECT 1811.54/1816.10 c rational objective 81 1844.76/1849.39 c #Conflicts: 1073000 | #Constraints: 33004 1844.76/1849.39 c #Conflicts: 1074000 | #Constraints: 34004 1844.76/1849.39 c #Conflicts: 1075000 | #Constraints: 35004 1844.76/1849.39 c #Conflicts: 1076000 | #Constraints: 36004 1844.76/1849.39 c #Conflicts: 1077000 | #Constraints: 37004 1844.76/1849.39 c #Conflicts: 1078000 | #Constraints: 38004 1844.76/1849.39 c #Conflicts: 1079000 | #Constraints: 39004 1844.76/1849.39 c #Conflicts: 1080000 | #Constraints: 40004 1844.76/1849.39 c #Conflicts: 1081000 | #Constraints: 41004 1844.76/1849.39 c #Conflicts: 1082000 | #Constraints: 42004 1844.76/1849.39 c #Conflicts: 1083000 | #Constraints: 43004 1844.76/1849.39 c #Conflicts: 1084000 | #Constraints: 44004 1844.76/1849.39 c #Conflicts: 1085000 | #Constraints: 45004 1844.76/1849.39 c #Conflicts: 1086000 | #Constraints: 46004 1844.76/1849.39 c #Conflicts: 1087000 | #Constraints: 47004 1844.76/1849.39 c #Conflicts: 1088000 | #Constraints: 48004 1844.76/1849.39 c #Conflicts: 1089000 | #Constraints: 49004 1844.76/1849.39 c #Conflicts: 1090000 | #Constraints: 50004 1844.76/1849.39 c #Conflicts: 1091000 | #Constraints: 51005 1844.76/1849.39 c #Conflicts: 1092000 | #Constraints: 52005 1844.76/1849.39 c #Conflicts: 1093000 | #Constraints: 53005 1844.76/1849.39 c #Conflicts: 1094000 | #Constraints: 54005 1844.76/1849.39 c #Conflicts: 1095000 | #Constraints: 55005 1844.76/1849.39 c INPROCESSING 1844.76/1849.39 c GARBAGE COLLECT 1844.76/1849.39 c rational objective 81 2022.34/2027.37 c #Conflicts: 1096000 | #Constraints: 31345 2022.34/2027.37 c #Conflicts: 1097000 | #Constraints: 32345 2022.34/2027.37 c #Conflicts: 1098000 | #Constraints: 33345 2022.34/2027.37 c #Conflicts: 1099000 | #Constraints: 34345 2022.34/2027.37 c #Conflicts: 1100000 | #Constraints: 35345 2022.34/2027.37 c #Conflicts: 1101000 | #Constraints: 36345 2022.34/2027.37 c #Conflicts: 1102000 | #Constraints: 37345 2022.34/2027.37 c #Conflicts: 1103000 | #Constraints: 38345 2022.34/2027.37 c #Conflicts: 1104000 | #Constraints: 39345 2022.34/2027.37 c #Conflicts: 1105000 | #Constraints: 40345 2022.34/2027.37 c #Conflicts: 1106000 | #Constraints: 41345 2022.34/2027.37 c #Conflicts: 1107000 | #Constraints: 42345 2022.34/2027.37 c #Conflicts: 1108000 | #Constraints: 43345 2022.34/2027.37 c #Conflicts: 1109000 | #Constraints: 44345 2022.34/2027.37 c #Conflicts: 1110000 | #Constraints: 45346 2022.34/2027.37 c #Conflicts: 1111000 | #Constraints: 46346 2022.34/2027.37 c #Conflicts: 1112000 | #Constraints: 47346 2022.34/2027.37 c #Conflicts: 1113000 | #Constraints: 48346 2022.34/2027.37 c #Conflicts: 1114000 | #Constraints: 49346 2022.34/2027.37 c #Conflicts: 1115000 | #Constraints: 50346 2022.34/2027.37 c #Conflicts: 1116000 | #Constraints: 51346 2022.34/2027.37 c #Conflicts: 1117000 | #Constraints: 52346 2022.34/2027.37 c #Conflicts: 1118000 | #Constraints: 53347 2022.34/2027.37 c #Conflicts: 1119000 | #Constraints: 54347 2022.34/2027.37 c #Conflicts: 1120000 | #Constraints: 55348 2022.34/2027.37 c #Conflicts: 1121000 | #Constraints: 56348 2022.34/2027.37 c #Conflicts: 1122000 | #Constraints: 57348 2022.34/2027.37 c #Conflicts: 1123000 | #Constraints: 58348 2022.34/2027.37 c #Conflicts: 1124000 | #Constraints: 59348 2022.34/2027.37 c #Conflicts: 1125000 | #Constraints: 60348 2022.34/2027.37 c #Conflicts: 1126000 | #Constraints: 61348 2022.34/2027.37 c #Conflicts: 1127000 | #Constraints: 62348 2022.34/2027.37 c #Conflicts: 1128000 | #Constraints: 63348 2022.34/2027.37 c #Conflicts: 1129000 | #Constraints: 64348 2022.34/2027.37 c #Conflicts: 1130000 | #Constraints: 65348 2022.34/2027.37 c #Conflicts: 1131000 | #Constraints: 66348 2022.34/2027.37 c #Conflicts: 1132000 | #Constraints: 67348 2022.34/2027.37 c #Conflicts: 1133000 | #Constraints: 68348 2022.34/2027.37 c #Conflicts: 1134000 | #Constraints: 69348 2022.34/2027.37 c #Conflicts: 1135000 | #Constraints: 70348 2022.34/2027.37 c #Conflicts: 1136000 | #Constraints: 71348 2022.34/2027.37 c #Conflicts: 1137000 | #Constraints: 72348 2022.34/2027.37 c #Conflicts: 1138000 | #Constraints: 73349 2022.34/2027.37 c #Conflicts: 1139000 | #Constraints: 74349 2022.34/2027.37 c #Conflicts: 1140000 | #Constraints: 75350 2022.34/2027.37 c #Conflicts: 1141000 | #Constraints: 76350 2022.34/2027.37 c #Conflicts: 1142000 | #Constraints: 77350 2022.34/2027.37 c #Conflicts: 1143000 | #Constraints: 78350 2022.34/2027.37 c #Conflicts: 1144000 | #Constraints: 79350 2022.34/2027.37 c #Conflicts: 1145000 | #Constraints: 80350 2022.34/2027.37 c #Conflicts: 1146000 | #Constraints: 81350 2022.34/2027.37 c #Conflicts: 1147000 | #Constraints: 82350 2022.34/2027.37 c #Conflicts: 1148000 | #Constraints: 83350 2022.34/2027.37 c #Conflicts: 1149000 | #Constraints: 84350 2022.34/2027.37 c #Conflicts: 1150000 | #Constraints: 85350 2022.34/2027.37 c #Conflicts: 1151000 | #Constraints: 86350 2022.34/2027.37 c #Conflicts: 1152000 | #Constraints: 87350 2022.34/2027.37 c #Conflicts: 1153000 | #Constraints: 88350 2022.34/2027.37 c #Conflicts: 1154000 | #Constraints: 89350 2022.34/2027.37 c #Conflicts: 1155000 | #Constraints: 90350 2022.34/2027.37 c #Conflicts: 1156000 | #Constraints: 91350 2022.34/2027.37 c #Conflicts: 1157000 | #Constraints: 92350 2022.34/2027.37 c #Conflicts: 1158000 | #Constraints: 93350 2022.34/2027.37 c #Conflicts: 1159000 | #Constraints: 94350 2022.34/2027.37 c #Conflicts: 1160000 | #Constraints: 95350 2022.34/2027.37 c #Conflicts: 1161000 | #Constraints: 96350 2022.34/2027.37 c #Conflicts: 1162000 | #Constraints: 97351 2022.34/2027.37 c #Conflicts: 1163000 | #Constraints: 98352 2022.34/2027.37 c #Conflicts: 1164000 | #Constraints: 99352 2022.34/2027.37 c #Conflicts: 1165000 | #Constraints: 100352 2022.34/2027.37 c #Conflicts: 1166000 | #Constraints: 101352 2022.34/2027.37 c #Conflicts: 1167000 | #Constraints: 102352 2022.34/2027.37 c #Conflicts: 1168000 | #Constraints: 103352 2022.34/2027.37 c #Conflicts: 1169000 | #Constraints: 104352 2022.34/2027.37 c #Conflicts: 1170000 | #Constraints: 105352 2022.34/2027.37 c #Conflicts: 1171000 | #Constraints: 106352 2022.34/2027.37 c #Conflicts: 1172000 | #Constraints: 107352 2022.34/2027.37 c #Conflicts: 1173000 | #Constraints: 108352 2022.34/2027.37 c #Conflicts: 1174000 | #Constraints: 109352 2044.58/2049.63 c #Conflicts: 1175000 | #Constraints: 110352 2044.58/2049.63 c #Conflicts: 1176000 | #Constraints: 111352 2044.58/2049.63 c #Conflicts: 1177000 | #Constraints: 112352 2044.58/2049.63 c #Conflicts: 1178000 | #Constraints: 113352 2044.58/2049.63 c #Conflicts: 1179000 | #Constraints: 114352 2044.58/2049.63 c INPROCESSING 2044.58/2049.63 c GARBAGE COLLECT 2044.58/2049.63 c rational objective 81 2104.04/2109.25 c #Conflicts: 1180000 | #Constraints: 61205 2104.04/2109.25 c #Conflicts: 1181000 | #Constraints: 62205 2104.04/2109.25 c #Conflicts: 1182000 | #Constraints: 63206 2104.04/2109.25 c #Conflicts: 1183000 | #Constraints: 64206 2104.04/2109.25 c #Conflicts: 1184000 | #Constraints: 65207 2104.04/2109.25 c #Conflicts: 1185000 | #Constraints: 66207 2104.04/2109.25 c #Conflicts: 1186000 | #Constraints: 67207 2104.04/2109.25 c #Conflicts: 1187000 | #Constraints: 68207 2104.04/2109.25 c #Conflicts: 1188000 | #Constraints: 69207 2104.04/2109.25 c #Conflicts: 1189000 | #Constraints: 70208 2104.04/2109.25 c #Conflicts: 1190000 | #Constraints: 71208 2104.04/2109.25 c #Conflicts: 1191000 | #Constraints: 72208 2104.04/2109.25 c #Conflicts: 1192000 | #Constraints: 73208 2104.04/2109.25 c #Conflicts: 1193000 | #Constraints: 74209 2104.04/2109.25 c #Conflicts: 1194000 | #Constraints: 75209 2104.04/2109.25 c #Conflicts: 1195000 | #Constraints: 76210 2104.04/2109.25 c #Conflicts: 1196000 | #Constraints: 77210 2104.04/2109.25 c #Conflicts: 1197000 | #Constraints: 78210 2104.04/2109.25 c #Conflicts: 1198000 | #Constraints: 79210 2104.04/2109.25 c #Conflicts: 1199000 | #Constraints: 80210 2104.04/2109.25 c #Conflicts: 1200000 | #Constraints: 81211 2104.04/2109.25 c #Conflicts: 1201000 | #Constraints: 82211 2104.04/2109.25 c #Conflicts: 1202000 | #Constraints: 83211 2104.04/2109.25 c #Conflicts: 1203000 | #Constraints: 84211 2104.04/2109.25 c INPROCESSING 2104.04/2109.25 c GARBAGE COLLECT 2104.04/2109.25 c rational objective 81 2145.65/2150.90 c #Conflicts: 1204000 | #Constraints: 45958 2145.65/2150.90 c #Conflicts: 1205000 | #Constraints: 46958 2145.65/2150.90 c #Conflicts: 1206000 | #Constraints: 47958 2145.65/2150.90 c #Conflicts: 1207000 | #Constraints: 48958 2145.65/2150.90 c #Conflicts: 1208000 | #Constraints: 49958 2145.65/2150.90 c #Conflicts: 1209000 | #Constraints: 50958 2145.65/2150.90 c #Conflicts: 1210000 | #Constraints: 51958 2145.65/2150.90 c #Conflicts: 1211000 | #Constraints: 52958 2145.65/2150.90 c #Conflicts: 1212000 | #Constraints: 53958 2145.65/2150.90 c #Conflicts: 1213000 | #Constraints: 54958 2145.65/2150.90 c #Conflicts: 1214000 | #Constraints: 55958 2145.65/2150.90 c #Conflicts: 1215000 | #Constraints: 56958 2145.65/2150.90 c #Conflicts: 1216000 | #Constraints: 57959 2145.65/2150.90 c #Conflicts: 1217000 | #Constraints: 58959 2145.65/2150.90 c #Conflicts: 1218000 | #Constraints: 59959 2145.65/2150.90 c #Conflicts: 1219000 | #Constraints: 60960 2145.65/2150.90 c #Conflicts: 1220000 | #Constraints: 61960 2145.65/2150.90 c #Conflicts: 1221000 | #Constraints: 62960 2145.65/2150.90 c #Conflicts: 1222000 | #Constraints: 63960 2145.65/2150.90 c #Conflicts: 1223000 | #Constraints: 64960 2145.65/2150.90 c #Conflicts: 1224000 | #Constraints: 65960 2145.65/2150.90 c #Conflicts: 1225000 | #Constraints: 66960 2145.65/2150.90 c #Conflicts: 1226000 | #Constraints: 67960 2145.65/2150.90 c #Conflicts: 1227000 | #Constraints: 68960 2145.65/2150.90 c #Conflicts: 1228000 | #Constraints: 69960 2145.65/2150.90 c INPROCESSING 2145.65/2150.90 c GARBAGE COLLECT 2145.65/2150.90 c rational objective 81 2183.46/2188.86 c #Conflicts: 1229000 | #Constraints: 38984 2183.46/2188.86 c #Conflicts: 1230000 | #Constraints: 39984 2183.46/2188.86 c #Conflicts: 1231000 | #Constraints: 40984 2183.46/2188.86 c #Conflicts: 1232000 | #Constraints: 41984 2183.46/2188.86 c #Conflicts: 1233000 | #Constraints: 42984 2183.46/2188.86 c #Conflicts: 1234000 | #Constraints: 43984 2183.46/2188.86 c #Conflicts: 1235000 | #Constraints: 44984 2183.46/2188.86 c #Conflicts: 1236000 | #Constraints: 45985 2183.46/2188.86 c #Conflicts: 1237000 | #Constraints: 46985 2183.46/2188.86 c #Conflicts: 1238000 | #Constraints: 47985 2183.46/2188.86 c #Conflicts: 1239000 | #Constraints: 48986 2183.46/2188.86 c #Conflicts: 1240000 | #Constraints: 49986 2183.46/2188.86 c #Conflicts: 1241000 | #Constraints: 50986 2183.46/2188.86 c #Conflicts: 1242000 | #Constraints: 51986 2183.46/2188.86 c #Conflicts: 1243000 | #Constraints: 52986 2183.46/2188.86 c #Conflicts: 1244000 | #Constraints: 53986 2183.46/2188.86 c #Conflicts: 1245000 | #Constraints: 54986 2183.46/2188.86 c #Conflicts: 1246000 | #Constraints: 55986 2183.46/2188.86 c #Conflicts: 1247000 | #Constraints: 56987 2183.46/2188.86 c #Conflicts: 1248000 | #Constraints: 57987 2183.46/2188.86 c #Conflicts: 1249000 | #Constraints: 58987 2183.46/2188.86 c #Conflicts: 1250000 | #Constraints: 59987 2183.46/2188.86 c #Conflicts: 1251000 | #Constraints: 60987 2183.46/2188.86 c #Conflicts: 1252000 | #Constraints: 61988 2183.46/2188.86 c #Conflicts: 1253000 | #Constraints: 62988 2183.46/2188.86 c INPROCESSING 2183.46/2188.86 c GARBAGE COLLECT 2183.46/2188.86 c rational objective 81 2224.68/2230.15 c #Conflicts: 1254000 | #Constraints: 35723 2224.68/2230.15 c #Conflicts: 1255000 | #Constraints: 36724 2224.68/2230.15 c #Conflicts: 1256000 | #Constraints: 37725 2224.68/2230.15 c #Conflicts: 1257000 | #Constraints: 38725 2224.68/2230.15 c #Conflicts: 1258000 | #Constraints: 39726 2224.68/2230.15 c #Conflicts: 1259000 | #Constraints: 40726 2224.68/2230.15 c #Conflicts: 1260000 | #Constraints: 41726 2224.68/2230.15 c #Conflicts: 1261000 | #Constraints: 42726 2224.68/2230.15 c #Conflicts: 1262000 | #Constraints: 43726 2224.68/2230.15 c #Conflicts: 1263000 | #Constraints: 44727 2224.68/2230.15 c #Conflicts: 1264000 | #Constraints: 45727 2224.68/2230.15 c #Conflicts: 1265000 | #Constraints: 46727 2224.68/2230.15 c #Conflicts: 1266000 | #Constraints: 47727 2224.68/2230.15 c #Conflicts: 1267000 | #Constraints: 48727 2224.68/2230.15 c #Conflicts: 1268000 | #Constraints: 49727 2224.68/2230.15 c #Conflicts: 1269000 | #Constraints: 50727 2224.68/2230.15 c #Conflicts: 1270000 | #Constraints: 51727 2224.68/2230.15 c #Conflicts: 1271000 | #Constraints: 52727 2224.68/2230.15 c #Conflicts: 1272000 | #Constraints: 53728 2224.68/2230.15 c #Conflicts: 1273000 | #Constraints: 54728 2224.68/2230.15 c #Conflicts: 1274000 | #Constraints: 55729 2224.68/2230.15 c #Conflicts: 1275000 | #Constraints: 56729 2224.68/2230.15 c #Conflicts: 1276000 | #Constraints: 57729 2224.68/2230.15 c #Conflicts: 1277000 | #Constraints: 58729 2224.68/2230.15 c #Conflicts: 1278000 | #Constraints: 59729 2224.68/2230.15 c INPROCESSING 2224.68/2230.15 c GARBAGE COLLECT 2224.68/2230.15 c rational objective 81 2394.11/2399.91 c #Conflicts: 1279000 | #Constraints: 34054 2394.11/2399.91 c #Conflicts: 1280000 | #Constraints: 35054 2394.11/2399.91 c #Conflicts: 1281000 | #Constraints: 36054 2394.11/2399.91 c #Conflicts: 1282000 | #Constraints: 37054 2394.11/2399.91 c #Conflicts: 1283000 | #Constraints: 38054 2394.11/2399.91 c #Conflicts: 1284000 | #Constraints: 39054 2394.11/2399.91 c #Conflicts: 1285000 | #Constraints: 40054 2394.11/2399.91 c #Conflicts: 1286000 | #Constraints: 41054 2394.11/2399.91 c #Conflicts: 1287000 | #Constraints: 42054 2394.11/2399.91 c #Conflicts: 1288000 | #Constraints: 43054 2394.11/2399.91 c #Conflicts: 1289000 | #Constraints: 44054 2394.11/2399.91 c #Conflicts: 1290000 | #Constraints: 45054 2394.11/2399.91 c #Conflicts: 1291000 | #Constraints: 46054 2394.11/2399.91 c #Conflicts: 1292000 | #Constraints: 47054 2394.11/2399.91 c #Conflicts: 1293000 | #Constraints: 48054 2394.11/2399.91 c #Conflicts: 1294000 | #Constraints: 49055 2394.11/2399.91 c #Conflicts: 1295000 | #Constraints: 50055 2394.11/2399.91 c #Conflicts: 1296000 | #Constraints: 51055 2394.11/2399.91 c #Conflicts: 1297000 | #Constraints: 52055 2394.11/2399.91 c #Conflicts: 1298000 | #Constraints: 53055 2394.11/2399.91 c #Conflicts: 1299000 | #Constraints: 54056 2394.11/2399.91 c #Conflicts: 1300000 | #Constraints: 55056 2394.11/2399.91 c #Conflicts: 1301000 | #Constraints: 56056 2394.11/2399.91 c #Conflicts: 1302000 | #Constraints: 57056 2394.11/2399.91 c #Conflicts: 1303000 | #Constraints: 58056 2394.11/2399.91 c #Conflicts: 1304000 | #Constraints: 59056 2394.11/2399.91 c #Conflicts: 1305000 | #Constraints: 60056 2394.11/2399.91 c #Conflicts: 1306000 | #Constraints: 61056 2394.11/2399.91 c #Conflicts: 1307000 | #Constraints: 62056 2394.11/2399.91 c #Conflicts: 1308000 | #Constraints: 63056 2394.11/2399.91 c #Conflicts: 1309000 | #Constraints: 64056 2394.11/2399.91 c #Conflicts: 1310000 | #Constraints: 65056 2394.11/2399.91 c #Conflicts: 1311000 | #Constraints: 66057 2394.11/2399.91 c #Conflicts: 1312000 | #Constraints: 67057 2394.11/2399.91 c #Conflicts: 1313000 | #Constraints: 68057 2394.11/2399.91 c #Conflicts: 1314000 | #Constraints: 69057 2394.11/2399.91 c #Conflicts: 1315000 | #Constraints: 70057 2394.11/2399.91 c #Conflicts: 1316000 | #Constraints: 71057 2394.11/2399.91 c #Conflicts: 1317000 | #Constraints: 72057 2394.11/2399.91 c #Conflicts: 1318000 | #Constraints: 73057 2394.11/2399.91 c #Conflicts: 1319000 | #Constraints: 74057 2394.11/2399.91 c #Conflicts: 1320000 | #Constraints: 75057 2394.11/2399.91 c #Conflicts: 1321000 | #Constraints: 76057 2394.11/2399.91 c #Conflicts: 1322000 | #Constraints: 77057 2394.11/2399.91 c #Conflicts: 1323000 | #Constraints: 78058 2394.11/2399.91 c #Conflicts: 1324000 | #Constraints: 79058 2394.11/2399.91 c #Conflicts: 1325000 | #Constraints: 80059 2394.11/2399.91 c #Conflicts: 1326000 | #Constraints: 81059 2394.11/2399.91 c #Conflicts: 1327000 | #Constraints: 82059 2394.11/2399.91 c #Conflicts: 1328000 | #Constraints: 83059 2394.11/2399.91 c #Conflicts: 1329000 | #Constraints: 84060 2394.11/2399.91 c #Conflicts: 1330000 | #Constraints: 85060 2394.11/2399.91 c #Conflicts: 1331000 | #Constraints: 86061 2394.11/2399.91 c #Conflicts: 1332000 | #Constraints: 87061 2394.11/2399.91 c #Conflicts: 1333000 | #Constraints: 88061 2394.11/2399.91 c #Conflicts: 1334000 | #Constraints: 89062 2394.11/2399.91 c #Conflicts: 1335000 | #Constraints: 90063 2394.11/2399.91 c #Conflicts: 1336000 | #Constraints: 91063 2394.11/2399.91 c #Conflicts: 1337000 | #Constraints: 92063 2394.11/2399.91 c #Conflicts: 1338000 | #Constraints: 93063 2394.11/2399.91 c #Conflicts: 1339000 | #Constraints: 94063 2394.11/2399.91 c #Conflicts: 1340000 | #Constraints: 95063 2394.11/2399.91 c #Conflicts: 1341000 | #Constraints: 96063 2394.11/2399.91 c #Conflicts: 1342000 | #Constraints: 97063 2394.11/2399.91 c #Conflicts: 1343000 | #Constraints: 98064 2394.11/2399.91 c #Conflicts: 1344000 | #Constraints: 99064 2394.11/2399.91 c #Conflicts: 1345000 | #Constraints: 100064 2394.11/2399.91 c #Conflicts: 1346000 | #Constraints: 101065 2394.11/2399.91 c #Conflicts: 1347000 | #Constraints: 102065 2394.11/2399.91 c #Conflicts: 1348000 | #Constraints: 103065 2394.11/2399.91 c #Conflicts: 1349000 | #Constraints: 104065 2394.11/2399.91 c #Conflicts: 1350000 | #Constraints: 105065 2394.11/2399.91 c #Conflicts: 1351000 | #Constraints: 106065 2394.11/2399.91 c #Conflicts: 1352000 | #Constraints: 107065 2394.11/2399.91 c #Conflicts: 1353000 | #Constraints: 108065 2394.11/2399.91 c #Conflicts: 1354000 | #Constraints: 109065 2394.11/2399.91 c #Conflicts: 1355000 | #Constraints: 110065 2394.11/2399.91 c #Conflicts: 1356000 | #Constraints: 111065 2394.11/2399.91 c #Conflicts: 1357000 | #Constraints: 112065 2447.09/2453.00 c #Conflicts: 1358000 | #Constraints: 113065 2447.09/2453.00 c #Conflicts: 1359000 | #Constraints: 114065 2447.09/2453.00 c #Conflicts: 1360000 | #Constraints: 115065 2447.09/2453.00 c #Conflicts: 1361000 | #Constraints: 116065 2447.09/2453.00 c #Conflicts: 1362000 | #Constraints: 117065 2447.09/2453.00 c #Conflicts: 1363000 | #Constraints: 118066 2447.09/2453.00 c #Conflicts: 1364000 | #Constraints: 119066 2447.09/2453.00 c #Conflicts: 1365000 | #Constraints: 120066 2447.09/2453.00 c #Conflicts: 1366000 | #Constraints: 121066 2447.09/2453.00 c #Conflicts: 1367000 | #Constraints: 122066 2447.09/2453.00 c #Conflicts: 1368000 | #Constraints: 123066 2447.09/2453.00 c INPROCESSING 2447.09/2453.00 c GARBAGE COLLECT 2447.09/2453.00 c rational objective 81 2510.32/2516.45 c #Conflicts: 1369000 | #Constraints: 65683 2510.32/2516.45 c #Conflicts: 1370000 | #Constraints: 66683 2510.32/2516.45 c #Conflicts: 1371000 | #Constraints: 67683 2510.32/2516.45 c #Conflicts: 1372000 | #Constraints: 68683 2510.32/2516.45 c #Conflicts: 1373000 | #Constraints: 69683 2510.32/2516.45 c #Conflicts: 1374000 | #Constraints: 70683 2510.32/2516.45 c #Conflicts: 1375000 | #Constraints: 71683 2510.32/2516.45 c #Conflicts: 1376000 | #Constraints: 72683 2510.32/2516.45 c #Conflicts: 1377000 | #Constraints: 73683 2510.32/2516.45 c #Conflicts: 1378000 | #Constraints: 74683 2510.32/2516.45 c #Conflicts: 1379000 | #Constraints: 75683 2510.32/2516.45 c #Conflicts: 1380000 | #Constraints: 76683 2510.32/2516.45 c #Conflicts: 1381000 | #Constraints: 77683 2510.32/2516.45 c #Conflicts: 1382000 | #Constraints: 78683 2510.32/2516.45 c #Conflicts: 1383000 | #Constraints: 79683 2510.32/2516.45 c #Conflicts: 1384000 | #Constraints: 80683 2510.32/2516.45 c #Conflicts: 1385000 | #Constraints: 81684 2510.32/2516.45 c #Conflicts: 1386000 | #Constraints: 82684 2510.32/2516.45 c #Conflicts: 1387000 | #Constraints: 83684 2510.32/2516.45 c #Conflicts: 1388000 | #Constraints: 84684 2510.32/2516.45 c #Conflicts: 1389000 | #Constraints: 85684 2510.32/2516.45 c #Conflicts: 1390000 | #Constraints: 86684 2510.32/2516.45 c #Conflicts: 1391000 | #Constraints: 87684 2510.32/2516.45 c #Conflicts: 1392000 | #Constraints: 88685 2510.32/2516.45 c #Conflicts: 1393000 | #Constraints: 89685 2510.32/2516.45 c #Conflicts: 1394000 | #Constraints: 90685 2510.32/2516.45 c INPROCESSING 2510.32/2516.45 c GARBAGE COLLECT 2510.32/2516.45 c rational objective 81 2560.38/2566.64 c #Conflicts: 1395000 | #Constraints: 49373 2560.38/2566.64 c #Conflicts: 1396000 | #Constraints: 50373 2560.38/2566.64 c #Conflicts: 1397000 | #Constraints: 51373 2560.38/2566.64 c #Conflicts: 1398000 | #Constraints: 52374 2560.38/2566.64 c #Conflicts: 1399000 | #Constraints: 53375 2560.38/2566.64 c #Conflicts: 1400000 | #Constraints: 54375 2560.38/2566.64 c #Conflicts: 1401000 | #Constraints: 55375 2560.38/2566.64 c #Conflicts: 1402000 | #Constraints: 56375 2560.38/2566.64 c #Conflicts: 1403000 | #Constraints: 57375 2560.38/2566.64 c #Conflicts: 1404000 | #Constraints: 58375 2560.38/2566.64 c #Conflicts: 1405000 | #Constraints: 59375 2560.38/2566.64 c #Conflicts: 1406000 | #Constraints: 60375 2560.38/2566.64 c #Conflicts: 1407000 | #Constraints: 61376 2560.38/2566.64 c #Conflicts: 1408000 | #Constraints: 62376 2560.38/2566.64 c #Conflicts: 1409000 | #Constraints: 63376 2560.38/2566.64 c #Conflicts: 1410000 | #Constraints: 64376 2560.38/2566.64 c #Conflicts: 1411000 | #Constraints: 65376 2560.38/2566.64 c #Conflicts: 1412000 | #Constraints: 66376 2560.38/2566.64 c #Conflicts: 1413000 | #Constraints: 67376 2560.38/2566.64 c #Conflicts: 1414000 | #Constraints: 68376 2560.38/2566.64 c #Conflicts: 1415000 | #Constraints: 69376 2560.38/2566.64 c #Conflicts: 1416000 | #Constraints: 70376 2560.38/2566.64 c #Conflicts: 1417000 | #Constraints: 71376 2560.38/2566.64 c #Conflicts: 1418000 | #Constraints: 72377 2560.38/2566.64 c #Conflicts: 1419000 | #Constraints: 73377 2560.38/2566.64 c #Conflicts: 1420000 | #Constraints: 74377 2560.38/2566.64 c INPROCESSING 2560.38/2566.64 c GARBAGE COLLECT 2560.38/2566.64 c rational objective 81 2605.16/2611.55 c #Conflicts: 1421000 | #Constraints: 41053 2605.16/2611.55 c #Conflicts: 1422000 | #Constraints: 42053 2605.16/2611.55 c #Conflicts: 1423000 | #Constraints: 43053 2605.16/2611.55 c #Conflicts: 1424000 | #Constraints: 44053 2605.16/2611.55 c #Conflicts: 1425000 | #Constraints: 45053 2605.16/2611.55 c #Conflicts: 1426000 | #Constraints: 46053 2605.16/2611.55 c #Conflicts: 1427000 | #Constraints: 47053 2605.16/2611.55 c #Conflicts: 1428000 | #Constraints: 48053 2605.16/2611.55 c #Conflicts: 1429000 | #Constraints: 49053 2605.16/2611.55 c #Conflicts: 1430000 | #Constraints: 50053 2605.16/2611.55 c #Conflicts: 1431000 | #Constraints: 51053 2605.16/2611.55 c #Conflicts: 1432000 | #Constraints: 52053 2605.16/2611.55 c #Conflicts: 1433000 | #Constraints: 53053 2605.16/2611.55 c #Conflicts: 1434000 | #Constraints: 54053 2605.16/2611.55 c #Conflicts: 1435000 | #Constraints: 55053 2605.16/2611.55 c #Conflicts: 1436000 | #Constraints: 56053 2605.16/2611.55 c #Conflicts: 1437000 | #Constraints: 57053 2605.16/2611.55 c #Conflicts: 1438000 | #Constraints: 58053 2605.16/2611.55 c #Conflicts: 1439000 | #Constraints: 59053 2605.16/2611.55 c #Conflicts: 1440000 | #Constraints: 60053 2605.16/2611.55 c #Conflicts: 1441000 | #Constraints: 61053 2605.16/2611.55 c #Conflicts: 1442000 | #Constraints: 62053 2605.16/2611.55 c #Conflicts: 1443000 | #Constraints: 63053 2605.16/2611.55 c #Conflicts: 1444000 | #Constraints: 64053 2605.16/2611.55 c #Conflicts: 1445000 | #Constraints: 65053 2605.16/2611.55 c #Conflicts: 1446000 | #Constraints: 66053 2605.16/2611.55 c #Conflicts: 1447000 | #Constraints: 67053 2605.16/2611.55 c INPROCESSING 2605.16/2611.55 c GARBAGE COLLECT 2605.16/2611.55 c rational objective 81 2648.94/2655.41 c #Conflicts: 1448000 | #Constraints: 37495 2648.94/2655.41 c #Conflicts: 1449000 | #Constraints: 38495 2648.94/2655.41 c #Conflicts: 1450000 | #Constraints: 39495 2648.94/2655.41 c #Conflicts: 1451000 | #Constraints: 40495 2648.94/2655.41 c #Conflicts: 1452000 | #Constraints: 41495 2648.94/2655.41 c #Conflicts: 1453000 | #Constraints: 42495 2648.94/2655.41 c #Conflicts: 1454000 | #Constraints: 43495 2648.94/2655.41 c #Conflicts: 1455000 | #Constraints: 44495 2648.94/2655.41 c #Conflicts: 1456000 | #Constraints: 45495 2648.94/2655.41 c #Conflicts: 1457000 | #Constraints: 46495 2648.94/2655.41 c #Conflicts: 1458000 | #Constraints: 47495 2648.94/2655.41 c #Conflicts: 1459000 | #Constraints: 48495 2648.94/2655.41 c #Conflicts: 1460000 | #Constraints: 49495 2648.94/2655.41 c #Conflicts: 1461000 | #Constraints: 50495 2648.94/2655.41 c #Conflicts: 1462000 | #Constraints: 51495 2648.94/2655.41 c #Conflicts: 1463000 | #Constraints: 52495 2648.94/2655.41 c #Conflicts: 1464000 | #Constraints: 53495 2648.94/2655.41 c #Conflicts: 1465000 | #Constraints: 54495 2648.94/2655.41 c #Conflicts: 1466000 | #Constraints: 55495 2648.94/2655.41 c #Conflicts: 1467000 | #Constraints: 56495 2648.94/2655.41 c #Conflicts: 1468000 | #Constraints: 57495 2648.94/2655.41 c #Conflicts: 1469000 | #Constraints: 58495 2648.94/2655.41 c #Conflicts: 1470000 | #Constraints: 59495 2648.94/2655.41 c #Conflicts: 1471000 | #Constraints: 60495 2648.94/2655.41 c #Conflicts: 1472000 | #Constraints: 61495 2648.94/2655.41 c #Conflicts: 1473000 | #Constraints: 62495 2648.94/2655.41 c #Conflicts: 1474000 | #Constraints: 63496 2648.94/2655.41 c INPROCESSING 2648.94/2655.41 c GARBAGE COLLECT 2648.94/2655.41 c rational objective 81 2827.97/2834.98 c #Conflicts: 1475000 | #Constraints: 35680 2827.97/2834.98 c #Conflicts: 1476000 | #Constraints: 36680 2827.97/2834.98 c #Conflicts: 1477000 | #Constraints: 37681 2827.97/2834.98 c #Conflicts: 1478000 | #Constraints: 38682 2827.97/2834.98 c #Conflicts: 1479000 | #Constraints: 39682 2827.97/2834.98 c #Conflicts: 1480000 | #Constraints: 40682 2827.97/2834.98 c #Conflicts: 1481000 | #Constraints: 41682 2827.97/2834.98 c #Conflicts: 1482000 | #Constraints: 42682 2827.97/2834.98 c #Conflicts: 1483000 | #Constraints: 43682 2827.97/2834.98 c #Conflicts: 1484000 | #Constraints: 44682 2827.97/2834.98 c #Conflicts: 1485000 | #Constraints: 45682 2827.97/2834.98 c #Conflicts: 1486000 | #Constraints: 46682 2827.97/2834.98 c #Conflicts: 1487000 | #Constraints: 47682 2827.97/2834.98 c #Conflicts: 1488000 | #Constraints: 48682 2827.97/2834.98 c #Conflicts: 1489000 | #Constraints: 49682 2827.97/2834.98 c #Conflicts: 1490000 | #Constraints: 50682 2827.97/2834.98 c #Conflicts: 1491000 | #Constraints: 51682 2827.97/2834.98 c #Conflicts: 1492000 | #Constraints: 52682 2827.97/2834.98 c #Conflicts: 1493000 | #Constraints: 53682 2827.97/2834.98 c #Conflicts: 1494000 | #Constraints: 54682 2827.97/2834.98 c #Conflicts: 1495000 | #Constraints: 55682 2827.97/2834.98 c #Conflicts: 1496000 | #Constraints: 56682 2827.97/2834.98 c #Conflicts: 1497000 | #Constraints: 57682 2827.97/2834.98 c #Conflicts: 1498000 | #Constraints: 58682 2827.97/2834.98 c #Conflicts: 1499000 | #Constraints: 59682 2827.97/2834.98 c #Conflicts: 1500000 | #Constraints: 60682 2827.97/2834.98 c #Conflicts: 1501000 | #Constraints: 61682 2827.97/2834.98 c #Conflicts: 1502000 | #Constraints: 62682 2827.97/2834.98 c #Conflicts: 1503000 | #Constraints: 63682 2827.97/2834.98 c #Conflicts: 1504000 | #Constraints: 64682 2827.97/2834.98 c #Conflicts: 1505000 | #Constraints: 65682 2827.97/2834.98 c #Conflicts: 1506000 | #Constraints: 66682 2827.97/2834.98 c #Conflicts: 1507000 | #Constraints: 67682 2827.97/2834.98 c #Conflicts: 1508000 | #Constraints: 68683 2827.97/2834.98 c #Conflicts: 1509000 | #Constraints: 69683 2827.97/2834.98 c #Conflicts: 1510000 | #Constraints: 70683 2827.97/2834.98 c #Conflicts: 1511000 | #Constraints: 71683 2827.97/2834.98 c #Conflicts: 1512000 | #Constraints: 72683 2827.97/2834.98 c #Conflicts: 1513000 | #Constraints: 73684 2827.97/2834.98 c #Conflicts: 1514000 | #Constraints: 74684 2827.97/2834.98 c #Conflicts: 1515000 | #Constraints: 75684 2827.97/2834.98 c #Conflicts: 1516000 | #Constraints: 76684 2827.97/2834.98 c #Conflicts: 1517000 | #Constraints: 77684 2827.97/2834.98 c #Conflicts: 1518000 | #Constraints: 78684 2827.97/2834.98 c #Conflicts: 1519000 | #Constraints: 79684 2827.97/2834.98 c #Conflicts: 1520000 | #Constraints: 80684 2827.97/2834.98 c #Conflicts: 1521000 | #Constraints: 81684 2827.97/2834.98 c #Conflicts: 1522000 | #Constraints: 82684 2827.97/2834.98 c #Conflicts: 1523000 | #Constraints: 83684 2827.97/2834.98 c #Conflicts: 1524000 | #Constraints: 84684 2827.97/2834.98 c #Conflicts: 1525000 | #Constraints: 85684 2827.97/2834.98 c #Conflicts: 1526000 | #Constraints: 86684 2827.97/2834.98 c #Conflicts: 1527000 | #Constraints: 87684 2827.97/2834.98 c #Conflicts: 1528000 | #Constraints: 88684 2827.97/2834.98 c #Conflicts: 1529000 | #Constraints: 89684 2827.97/2834.98 c #Conflicts: 1530000 | #Constraints: 90684 2827.97/2834.98 c #Conflicts: 1531000 | #Constraints: 91684 2827.97/2834.98 c #Conflicts: 1532000 | #Constraints: 92684 2827.97/2834.98 c #Conflicts: 1533000 | #Constraints: 93684 2827.97/2834.98 c #Conflicts: 1534000 | #Constraints: 94684 2827.97/2834.98 c #Conflicts: 1535000 | #Constraints: 95684 2827.97/2834.98 c #Conflicts: 1536000 | #Constraints: 96684 2827.97/2834.98 c #Conflicts: 1537000 | #Constraints: 97684 2827.97/2834.98 c #Conflicts: 1538000 | #Constraints: 98684 2827.97/2834.98 c #Conflicts: 1539000 | #Constraints: 99684 2827.97/2834.98 c #Conflicts: 1540000 | #Constraints: 100684 2827.97/2834.98 c #Conflicts: 1541000 | #Constraints: 101684 2827.97/2834.98 c #Conflicts: 1542000 | #Constraints: 102684 2827.97/2834.98 c #Conflicts: 1543000 | #Constraints: 103684 2827.97/2834.98 c #Conflicts: 1544000 | #Constraints: 104684 2827.97/2834.98 c #Conflicts: 1545000 | #Constraints: 105684 2827.97/2834.98 c #Conflicts: 1546000 | #Constraints: 106684 2827.97/2834.98 c #Conflicts: 1547000 | #Constraints: 107684 2827.97/2834.98 c #Conflicts: 1548000 | #Constraints: 108684 2827.97/2834.98 c #Conflicts: 1549000 | #Constraints: 109684 2827.97/2834.98 c #Conflicts: 1550000 | #Constraints: 110684 2827.97/2834.98 c #Conflicts: 1551000 | #Constraints: 111684 2827.97/2834.98 c #Conflicts: 1552000 | #Constraints: 112684 2827.97/2834.98 c #Conflicts: 1553000 | #Constraints: 113684 2898.28/2905.46 c #Conflicts: 1554000 | #Constraints: 114684 2898.28/2905.46 c #Conflicts: 1555000 | #Constraints: 115684 2898.28/2905.46 c #Conflicts: 1556000 | #Constraints: 116684 2898.28/2905.46 c #Conflicts: 1557000 | #Constraints: 117684 2898.28/2905.46 c #Conflicts: 1558000 | #Constraints: 118684 2898.28/2905.46 c #Conflicts: 1559000 | #Constraints: 119684 2898.28/2905.46 c #Conflicts: 1560000 | #Constraints: 120684 2898.28/2905.46 c #Conflicts: 1561000 | #Constraints: 121684 2898.28/2905.46 c #Conflicts: 1562000 | #Constraints: 122684 2898.28/2905.46 c #Conflicts: 1563000 | #Constraints: 123684 2898.28/2905.46 c #Conflicts: 1564000 | #Constraints: 124684 2898.28/2905.46 c #Conflicts: 1565000 | #Constraints: 125684 2898.28/2905.46 c #Conflicts: 1566000 | #Constraints: 126684 2898.28/2905.46 c #Conflicts: 1567000 | #Constraints: 127684 2898.28/2905.46 c #Conflicts: 1568000 | #Constraints: 128684 2898.28/2905.46 c #Conflicts: 1569000 | #Constraints: 129684 2898.28/2905.46 c #Conflicts: 1570000 | #Constraints: 130685 2898.28/2905.46 c INPROCESSING 2898.28/2905.46 c GARBAGE COLLECT 2898.28/2905.46 c rational objective 81 2969.59/2976.95 c #Conflicts: 1571000 | #Constraints: 69126 2969.59/2976.95 c #Conflicts: 1572000 | #Constraints: 70126 2969.59/2976.95 c #Conflicts: 1573000 | #Constraints: 71127 2969.59/2976.95 c #Conflicts: 1574000 | #Constraints: 72127 2969.59/2976.95 c #Conflicts: 1575000 | #Constraints: 73127 2969.59/2976.95 c #Conflicts: 1576000 | #Constraints: 74127 2969.59/2976.95 c #Conflicts: 1577000 | #Constraints: 75127 2969.59/2976.95 c #Conflicts: 1578000 | #Constraints: 76127 2969.59/2976.95 c #Conflicts: 1579000 | #Constraints: 77127 2969.59/2976.95 c #Conflicts: 1580000 | #Constraints: 78127 2969.59/2976.95 c #Conflicts: 1581000 | #Constraints: 79127 2969.59/2976.95 c #Conflicts: 1582000 | #Constraints: 80127 2969.59/2976.95 c #Conflicts: 1583000 | #Constraints: 81127 2969.59/2976.95 c #Conflicts: 1584000 | #Constraints: 82127 2969.59/2976.95 c #Conflicts: 1585000 | #Constraints: 83127 2969.59/2976.95 c #Conflicts: 1586000 | #Constraints: 84127 2969.59/2976.95 c #Conflicts: 1587000 | #Constraints: 85127 2969.59/2976.95 c #Conflicts: 1588000 | #Constraints: 86127 2969.59/2976.95 c #Conflicts: 1589000 | #Constraints: 87127 2969.59/2976.95 c #Conflicts: 1590000 | #Constraints: 88127 2969.59/2976.95 c #Conflicts: 1591000 | #Constraints: 89127 2969.59/2976.95 c #Conflicts: 1592000 | #Constraints: 90127 2969.59/2976.95 c #Conflicts: 1593000 | #Constraints: 91127 2969.59/2976.95 c #Conflicts: 1594000 | #Constraints: 92127 2969.59/2976.95 c #Conflicts: 1595000 | #Constraints: 93127 2969.59/2976.95 c #Conflicts: 1596000 | #Constraints: 94127 2969.59/2976.95 c #Conflicts: 1597000 | #Constraints: 95127 2969.59/2976.95 c #Conflicts: 1598000 | #Constraints: 96127 2969.59/2976.95 c #Conflicts: 1599000 | #Constraints: 97127 2969.59/2976.95 c INPROCESSING 2969.59/2976.95 c GARBAGE COLLECT 2969.59/2976.95 c rational objective 81 3040.71/3048.29 c #Conflicts: 1600000 | #Constraints: 52759 3040.71/3048.29 c #Conflicts: 1601000 | #Constraints: 53759 3040.71/3048.29 c #Conflicts: 1602000 | #Constraints: 54759 3040.71/3048.29 c #Conflicts: 1603000 | #Constraints: 55759 3040.71/3048.29 c #Conflicts: 1604000 | #Constraints: 56759 3040.71/3048.29 c #Conflicts: 1605000 | #Constraints: 57759 3040.71/3048.29 c #Conflicts: 1606000 | #Constraints: 58759 3040.71/3048.29 c #Conflicts: 1607000 | #Constraints: 59759 3040.71/3048.29 c #Conflicts: 1608000 | #Constraints: 60759 3040.71/3048.29 c #Conflicts: 1609000 | #Constraints: 61759 3040.71/3048.29 c #Conflicts: 1610000 | #Constraints: 62759 3040.71/3048.29 c #Conflicts: 1611000 | #Constraints: 63759 3040.71/3048.29 c #Conflicts: 1612000 | #Constraints: 64759 3040.71/3048.29 c #Conflicts: 1613000 | #Constraints: 65759 3040.71/3048.29 c #Conflicts: 1614000 | #Constraints: 66759 3040.71/3048.29 c #Conflicts: 1615000 | #Constraints: 67759 3040.71/3048.29 c #Conflicts: 1616000 | #Constraints: 68759 3040.71/3048.29 c #Conflicts: 1617000 | #Constraints: 69759 3040.71/3048.29 c #Conflicts: 1618000 | #Constraints: 70759 3040.71/3048.29 c #Conflicts: 1619000 | #Constraints: 71760 3040.71/3048.29 c #Conflicts: 1620000 | #Constraints: 72760 3040.71/3048.29 c #Conflicts: 1621000 | #Constraints: 73760 3040.71/3048.29 c #Conflicts: 1622000 | #Constraints: 74760 3040.71/3048.29 c #Conflicts: 1623000 | #Constraints: 75760 3040.71/3048.29 c #Conflicts: 1624000 | #Constraints: 76760 3040.71/3048.29 c #Conflicts: 1625000 | #Constraints: 77761 3040.71/3048.29 c #Conflicts: 1626000 | #Constraints: 78761 3040.71/3048.29 c #Conflicts: 1627000 | #Constraints: 79761 3040.71/3048.29 c INPROCESSING 3040.71/3048.29 c GARBAGE COLLECT 3040.71/3048.29 c rational objective 81 3091.97/3099.67 c #Conflicts: 1628000 | #Constraints: 43858 3091.97/3099.67 c #Conflicts: 1629000 | #Constraints: 44858 3091.97/3099.67 c #Conflicts: 1630000 | #Constraints: 45858 3091.97/3099.67 c #Conflicts: 1631000 | #Constraints: 46858 3091.97/3099.67 c #Conflicts: 1632000 | #Constraints: 47858 3091.97/3099.67 c #Conflicts: 1633000 | #Constraints: 48858 3091.97/3099.67 c #Conflicts: 1634000 | #Constraints: 49858 3091.97/3099.67 c #Conflicts: 1635000 | #Constraints: 50858 3091.97/3099.67 c #Conflicts: 1636000 | #Constraints: 51858 3091.97/3099.67 c #Conflicts: 1637000 | #Constraints: 52858 3091.97/3099.67 c #Conflicts: 1638000 | #Constraints: 53858 3091.97/3099.67 c #Conflicts: 1639000 | #Constraints: 54858 3091.97/3099.67 c #Conflicts: 1640000 | #Constraints: 55858 3091.97/3099.67 c #Conflicts: 1641000 | #Constraints: 56858 3091.97/3099.67 c #Conflicts: 1642000 | #Constraints: 57858 3091.97/3099.67 c #Conflicts: 1643000 | #Constraints: 58858 3091.97/3099.67 c #Conflicts: 1644000 | #Constraints: 59858 3091.97/3099.67 c #Conflicts: 1645000 | #Constraints: 60858 3091.97/3099.67 c #Conflicts: 1646000 | #Constraints: 61859 3091.97/3099.67 c #Conflicts: 1647000 | #Constraints: 62859 3091.97/3099.67 c #Conflicts: 1648000 | #Constraints: 63860 3091.97/3099.67 c #Conflicts: 1649000 | #Constraints: 64860 3091.97/3099.67 c #Conflicts: 1650000 | #Constraints: 65860 3091.97/3099.67 c #Conflicts: 1651000 | #Constraints: 66860 3091.97/3099.67 c #Conflicts: 1652000 | #Constraints: 67860 3091.97/3099.67 c #Conflicts: 1653000 | #Constraints: 68860 3091.97/3099.67 c #Conflicts: 1654000 | #Constraints: 69861 3091.97/3099.67 c #Conflicts: 1655000 | #Constraints: 70861 3091.97/3099.67 c #Conflicts: 1656000 | #Constraints: 71861 3091.97/3099.67 c INPROCESSING 3091.97/3099.67 c GARBAGE COLLECT 3091.97/3099.67 c rational objective 81 3140.45/3148.25 c #Conflicts: 1657000 | #Constraints: 40090 3140.45/3148.25 c #Conflicts: 1658000 | #Constraints: 41092 3140.45/3148.25 c #Conflicts: 1659000 | #Constraints: 42092 3140.45/3148.25 c #Conflicts: 1660000 | #Constraints: 43093 3140.45/3148.25 c #Conflicts: 1661000 | #Constraints: 44093 3140.45/3148.25 c #Conflicts: 1662000 | #Constraints: 45093 3140.45/3148.25 c #Conflicts: 1663000 | #Constraints: 46094 3140.45/3148.25 c #Conflicts: 1664000 | #Constraints: 47094 3140.45/3148.25 c #Conflicts: 1665000 | #Constraints: 48094 3140.45/3148.25 c #Conflicts: 1666000 | #Constraints: 49094 3140.45/3148.25 c #Conflicts: 1667000 | #Constraints: 50094 3140.45/3148.25 c #Conflicts: 1668000 | #Constraints: 51094 3140.45/3148.25 c #Conflicts: 1669000 | #Constraints: 52094 3140.45/3148.25 c #Conflicts: 1670000 | #Constraints: 53095 3140.45/3148.25 c #Conflicts: 1671000 | #Constraints: 54095 3140.45/3148.25 c #Conflicts: 1672000 | #Constraints: 55095 3140.45/3148.25 c #Conflicts: 1673000 | #Constraints: 56095 3140.45/3148.25 c #Conflicts: 1674000 | #Constraints: 57095 3140.45/3148.25 c #Conflicts: 1675000 | #Constraints: 58095 3140.45/3148.25 c #Conflicts: 1676000 | #Constraints: 59095 3140.45/3148.25 c #Conflicts: 1677000 | #Constraints: 60095 3140.45/3148.25 c #Conflicts: 1678000 | #Constraints: 61095 3140.45/3148.25 c #Conflicts: 1679000 | #Constraints: 62095 3140.45/3148.25 c #Conflicts: 1680000 | #Constraints: 63095 3140.45/3148.25 c #Conflicts: 1681000 | #Constraints: 64095 3140.45/3148.25 c #Conflicts: 1682000 | #Constraints: 65095 3140.45/3148.25 c #Conflicts: 1683000 | #Constraints: 66095 3140.45/3148.25 c #Conflicts: 1684000 | #Constraints: 67095 3140.45/3148.25 c INPROCESSING 3140.45/3148.25 c GARBAGE COLLECT 3140.45/3148.25 c rational objective 81 3319.78/3328.01 c #Conflicts: 1685000 | #Constraints: 37301 3319.78/3328.01 c #Conflicts: 1686000 | #Constraints: 38301 3319.78/3328.01 c #Conflicts: 1687000 | #Constraints: 39301 3319.78/3328.01 c #Conflicts: 1688000 | #Constraints: 40301 3319.78/3328.01 c #Conflicts: 1689000 | #Constraints: 41301 3319.78/3328.01 c #Conflicts: 1690000 | #Constraints: 42302 3319.78/3328.01 c #Conflicts: 1691000 | #Constraints: 43303 3319.78/3328.01 c #Conflicts: 1692000 | #Constraints: 44303 3319.78/3328.01 c #Conflicts: 1693000 | #Constraints: 45303 3319.78/3328.01 c #Conflicts: 1694000 | #Constraints: 46303 3319.78/3328.01 c #Conflicts: 1695000 | #Constraints: 47303 3319.78/3328.01 c #Conflicts: 1696000 | #Constraints: 48303 3319.78/3328.01 c #Conflicts: 1697000 | #Constraints: 49303 3319.78/3328.01 c #Conflicts: 1698000 | #Constraints: 50303 3319.78/3328.01 c #Conflicts: 1699000 | #Constraints: 51303 3319.78/3328.01 c #Conflicts: 1700000 | #Constraints: 52305 3319.78/3328.01 c #Conflicts: 1701000 | #Constraints: 53305 3319.78/3328.01 c #Conflicts: 1702000 | #Constraints: 54305 3319.78/3328.01 c #Conflicts: 1703000 | #Constraints: 55305 3319.78/3328.01 c #Conflicts: 1704000 | #Constraints: 56305 3319.78/3328.01 c #Conflicts: 1705000 | #Constraints: 57305 3319.78/3328.01 c #Conflicts: 1706000 | #Constraints: 58306 3319.78/3328.01 c #Conflicts: 1707000 | #Constraints: 59306 3319.78/3328.01 c #Conflicts: 1708000 | #Constraints: 60306 3319.78/3328.01 c #Conflicts: 1709000 | #Constraints: 61306 3319.78/3328.01 c #Conflicts: 1710000 | #Constraints: 62306 3319.78/3328.01 c #Conflicts: 1711000 | #Constraints: 63306 3319.78/3328.01 c #Conflicts: 1712000 | #Constraints: 64306 3319.78/3328.01 c #Conflicts: 1713000 | #Constraints: 65306 3319.78/3328.01 c #Conflicts: 1714000 | #Constraints: 66306 3319.78/3328.01 c #Conflicts: 1715000 | #Constraints: 67306 3319.78/3328.01 c #Conflicts: 1716000 | #Constraints: 68306 3319.78/3328.01 c #Conflicts: 1717000 | #Constraints: 69306 3319.78/3328.01 c #Conflicts: 1718000 | #Constraints: 70306 3319.78/3328.01 c #Conflicts: 1719000 | #Constraints: 71306 3319.78/3328.01 c #Conflicts: 1720000 | #Constraints: 72306 3319.78/3328.01 c #Conflicts: 1721000 | #Constraints: 73306 3319.78/3328.01 c #Conflicts: 1722000 | #Constraints: 74307 3319.78/3328.01 c #Conflicts: 1723000 | #Constraints: 75307 3319.78/3328.01 c #Conflicts: 1724000 | #Constraints: 76307 3319.78/3328.01 c #Conflicts: 1725000 | #Constraints: 77307 3319.78/3328.01 c #Conflicts: 1726000 | #Constraints: 78307 3319.78/3328.01 c #Conflicts: 1727000 | #Constraints: 79308 3319.78/3328.01 c #Conflicts: 1728000 | #Constraints: 80308 3319.78/3328.01 c #Conflicts: 1729000 | #Constraints: 81308 3319.78/3328.01 c #Conflicts: 1730000 | #Constraints: 82308 3319.78/3328.01 c #Conflicts: 1731000 | #Constraints: 83308 3319.78/3328.01 c #Conflicts: 1732000 | #Constraints: 84308 3319.78/3328.01 c #Conflicts: 1733000 | #Constraints: 85308 3319.78/3328.01 c #Conflicts: 1734000 | #Constraints: 86309 3319.78/3328.01 c #Conflicts: 1735000 | #Constraints: 87309 3319.78/3328.01 c #Conflicts: 1736000 | #Constraints: 88309 3319.78/3328.01 c #Conflicts: 1737000 | #Constraints: 89309 3319.78/3328.01 c #Conflicts: 1738000 | #Constraints: 90309 3319.78/3328.01 c #Conflicts: 1739000 | #Constraints: 91309 3319.78/3328.01 c #Conflicts: 1740000 | #Constraints: 92309 3319.78/3328.01 c #Conflicts: 1741000 | #Constraints: 93309 3319.78/3328.01 c #Conflicts: 1742000 | #Constraints: 94310 3319.78/3328.01 c #Conflicts: 1743000 | #Constraints: 95310 3319.78/3328.01 c #Conflicts: 1744000 | #Constraints: 96310 3319.78/3328.01 c #Conflicts: 1745000 | #Constraints: 97310 3319.78/3328.01 c #Conflicts: 1746000 | #Constraints: 98310 3319.78/3328.01 c #Conflicts: 1747000 | #Constraints: 99310 3319.78/3328.01 c #Conflicts: 1748000 | #Constraints: 100310 3319.78/3328.01 c #Conflicts: 1749000 | #Constraints: 101310 3319.78/3328.01 c #Conflicts: 1750000 | #Constraints: 102310 3319.78/3328.01 c #Conflicts: 1751000 | #Constraints: 103310 3319.78/3328.01 c #Conflicts: 1752000 | #Constraints: 104310 3319.78/3328.01 c #Conflicts: 1753000 | #Constraints: 105310 3319.78/3328.01 c #Conflicts: 1754000 | #Constraints: 106310 3319.78/3328.01 c #Conflicts: 1755000 | #Constraints: 107310 3319.78/3328.01 c #Conflicts: 1756000 | #Constraints: 108310 3319.78/3328.01 c #Conflicts: 1757000 | #Constraints: 109310 3319.78/3328.01 c #Conflicts: 1758000 | #Constraints: 110310 3319.78/3328.01 c #Conflicts: 1759000 | #Constraints: 111310 3319.78/3328.01 c #Conflicts: 1760000 | #Constraints: 112310 3319.78/3328.01 c #Conflicts: 1761000 | #Constraints: 113310 3319.78/3328.01 c #Conflicts: 1762000 | #Constraints: 114310 3319.78/3328.01 c #Conflicts: 1763000 | #Constraints: 115310 3431.38/3440.00 c #Conflicts: 1764000 | #Constraints: 116310 3431.38/3440.00 c #Conflicts: 1765000 | #Constraints: 117310 3431.38/3440.00 c #Conflicts: 1766000 | #Constraints: 118310 3431.38/3440.00 c #Conflicts: 1767000 | #Constraints: 119310 3431.38/3440.00 c #Conflicts: 1768000 | #Constraints: 120310 3431.38/3440.00 c #Conflicts: 1769000 | #Constraints: 121310 3431.38/3440.00 c #Conflicts: 1770000 | #Constraints: 122310 3431.38/3440.00 c #Conflicts: 1771000 | #Constraints: 123310 3431.38/3440.00 c #Conflicts: 1772000 | #Constraints: 124310 3431.38/3440.00 c #Conflicts: 1773000 | #Constraints: 125310 3431.38/3440.00 c #Conflicts: 1774000 | #Constraints: 126310 3431.38/3440.00 c #Conflicts: 1775000 | #Constraints: 127310 3431.38/3440.00 c #Conflicts: 1776000 | #Constraints: 128310 3431.38/3440.00 c #Conflicts: 1777000 | #Constraints: 129310 3431.38/3440.00 c #Conflicts: 1778000 | #Constraints: 130310 3431.38/3440.00 c #Conflicts: 1779000 | #Constraints: 131310 3431.38/3440.00 c #Conflicts: 1780000 | #Constraints: 132310 3431.38/3440.00 c #Conflicts: 1781000 | #Constraints: 133310 3431.38/3440.00 c #Conflicts: 1782000 | #Constraints: 134310 3431.38/3440.00 c #Conflicts: 1783000 | #Constraints: 135310 3431.38/3440.00 c #Conflicts: 1784000 | #Constraints: 136310 3431.38/3440.00 c #Conflicts: 1785000 | #Constraints: 137310 3431.38/3440.00 c #Conflicts: 1786000 | #Constraints: 138310 3431.38/3440.00 c #Conflicts: 1787000 | #Constraints: 139310 3431.38/3440.00 c INPROCESSING 3431.38/3440.00 c GARBAGE COLLECT 3431.38/3440.00 c rational objective 81 3517.53/3526.33 c #Conflicts: 1788000 | #Constraints: 73540 3517.53/3526.33 c #Conflicts: 1789000 | #Constraints: 74540 3517.53/3526.33 c #Conflicts: 1790000 | #Constraints: 75540 3517.53/3526.33 c #Conflicts: 1791000 | #Constraints: 76540 3517.53/3526.33 c #Conflicts: 1792000 | #Constraints: 77540 3517.53/3526.33 c #Conflicts: 1793000 | #Constraints: 78540 3517.53/3526.33 c #Conflicts: 1794000 | #Constraints: 79540 3517.53/3526.33 c #Conflicts: 1795000 | #Constraints: 80541 3517.53/3526.33 c #Conflicts: 1796000 | #Constraints: 81541 3517.53/3526.33 c #Conflicts: 1797000 | #Constraints: 82541 3517.53/3526.33 c #Conflicts: 1798000 | #Constraints: 83541 3517.53/3526.33 c #Conflicts: 1799000 | #Constraints: 84541 3517.53/3526.33 c #Conflicts: 1800000 | #Constraints: 85541 3517.53/3526.33 c #Conflicts: 1801000 | #Constraints: 86541 3517.53/3526.33 c #Conflicts: 1802000 | #Constraints: 87541 3517.53/3526.33 c #Conflicts: 1803000 | #Constraints: 88541 3517.53/3526.33 c #Conflicts: 1804000 | #Constraints: 89541 3517.53/3526.33 c #Conflicts: 1805000 | #Constraints: 90541 3517.53/3526.33 c #Conflicts: 1806000 | #Constraints: 91541 3517.53/3526.33 c #Conflicts: 1807000 | #Constraints: 92541 3517.53/3526.33 c #Conflicts: 1808000 | #Constraints: 93541 3517.53/3526.33 c #Conflicts: 1809000 | #Constraints: 94541 3517.53/3526.33 c #Conflicts: 1810000 | #Constraints: 95541 3517.53/3526.33 c #Conflicts: 1811000 | #Constraints: 96541 3517.53/3526.33 c #Conflicts: 1812000 | #Constraints: 97541 3517.53/3526.33 c #Conflicts: 1813000 | #Constraints: 98541 3517.53/3526.33 c #Conflicts: 1814000 | #Constraints: 99541 3517.53/3526.33 c #Conflicts: 1815000 | #Constraints: 100541 3517.53/3526.33 c #Conflicts: 1816000 | #Constraints: 101541 3517.53/3526.33 c #Conflicts: 1817000 | #Constraints: 102541 3517.53/3526.33 c INPROCESSING 3517.53/3526.33 c GARBAGE COLLECT 3517.53/3526.33 c rational objective 81 3571.40/3580.36 c #Conflicts: 1818000 | #Constraints: 55088 3571.40/3580.36 c #Conflicts: 1819000 | #Constraints: 56088 3571.40/3580.36 c #Conflicts: 1820000 | #Constraints: 57088 3571.40/3580.36 c #Conflicts: 1821000 | #Constraints: 58090 3571.40/3580.36 c #Conflicts: 1822000 | #Constraints: 59090 3571.40/3580.36 c #Conflicts: 1823000 | #Constraints: 60091 3571.40/3580.36 c #Conflicts: 1824000 | #Constraints: 61091 3571.40/3580.36 c #Conflicts: 1825000 | #Constraints: 62091 3571.40/3580.36 c #Conflicts: 1826000 | #Constraints: 63091 3571.40/3580.36 c #Conflicts: 1827000 | #Constraints: 64091 3571.40/3580.36 c #Conflicts: 1828000 | #Constraints: 65091 3571.40/3580.36 c #Conflicts: 1829000 | #Constraints: 66091 3571.40/3580.36 c #Conflicts: 1830000 | #Constraints: 67091 3571.40/3580.36 c #Conflicts: 1831000 | #Constraints: 68091 3571.40/3580.36 c #Conflicts: 1832000 | #Constraints: 69091 3571.40/3580.36 c #Conflicts: 1833000 | #Constraints: 70091 3571.40/3580.36 c #Conflicts: 1834000 | #Constraints: 71091 3571.40/3580.36 c #Conflicts: 1835000 | #Constraints: 72091 3571.40/3580.36 c #Conflicts: 1836000 | #Constraints: 73091 3571.40/3580.36 c #Conflicts: 1837000 | #Constraints: 74091 3571.40/3580.36 c #Conflicts: 1838000 | #Constraints: 75091 3571.40/3580.36 c #Conflicts: 1839000 | #Constraints: 76091 3571.40/3580.36 c #Conflicts: 1840000 | #Constraints: 77091 3571.40/3580.36 c #Conflicts: 1841000 | #Constraints: 78091 3571.40/3580.36 c #Conflicts: 1842000 | #Constraints: 79091 3571.40/3580.36 c #Conflicts: 1843000 | #Constraints: 80091 3571.40/3580.36 c #Conflicts: 1844000 | #Constraints: 81091 3571.40/3580.36 c #Conflicts: 1845000 | #Constraints: 82091 3571.40/3580.36 c #Conflicts: 1846000 | #Constraints: 83091 3571.40/3580.36 c #Conflicts: 1847000 | #Constraints: 84091 3571.40/3580.36 c #Conflicts: 1848000 | #Constraints: 85091 3571.40/3580.36 c INPROCESSING 3571.40/3580.36 c GARBAGE COLLECT 3571.40/3580.36 c rational objective 81 3600.04/3609.00 c #Conflicts: 1849000 | #Constraints: 46728 3600.04/3609.00 c #Conflicts: 1850000 | #Constraints: 47728 3600.04/3609.00 c #Conflicts: 1851000 | #Constraints: 48728 3600.04/3609.00 c #Conflicts: 1852000 | #Constraints: 49728 3600.04/3609.00 c #Conflicts: 1853000 | #Constraints: 50728 3600.04/3609.00 c #Conflicts: 1854000 | #Constraints: 51728 3600.04/3609.00 c #Conflicts: 1855000 | #Constraints: 52728 3600.04/3609.00 c #Conflicts: 1856000 | #Constraints: 53728 3600.04/3609.00 c #Conflicts: 1857000 | #Constraints: 54728 3600.04/3609.00 c #Conflicts: 1858000 | #Constraints: 55728 3600.04/3609.00 c #Conflicts: 1859000 | #Constraints: 56728 3600.04/3609.00 c #Conflicts: 1860000 | #Constraints: 57728 3600.04/3609.00 c #Conflicts: 1861000 | #Constraints: 58728 3600.04/3609.00 c #Conflicts: 1862000 | #Constraints: 59728 3600.04/3609.00 c #Conflicts: 1863000 | #Constraints: 60728 3600.04/3609.00 c #Conflicts: 1864000 | #Constraints: 61728 3600.04/3609.00 c #Conflicts: 1865000 | #Constraints: 62728 3600.04/3609.00 c Program interrupted by user. 3600.05/3609.33 c cpu time 3562.02 s 3600.05/3609.33 c deterministic time 407581704730 4.08e+11 3600.05/3609.33 c optimization time 28.2058 s 3600.05/3609.33 c total solve time 3533.79 s 3600.05/3609.33 c core-guided solve time 0 s 3600.05/3609.33 c propagation time 2374.51 s 3600.05/3609.33 c conflict analysis time 850.796 s 3600.05/3609.33 c propagations 786170185 3600.05/3609.33 c resolve steps 70881109 3600.05/3609.33 c decisions 12922736 3600.05/3609.33 c conflicts 1865963 3600.05/3609.33 c restarts 3580 3600.05/3609.33 c inprocessing phases 84 3600.05/3609.33 c input clauses 5591 3600.05/3609.33 c input cardinalities 81 3600.05/3609.33 c input general constraints 0 3600.05/3609.33 c input average constraint length 6.23 3600.05/3609.33 c input average constraint degree 1.94 3600.05/3609.33 c learned clauses 1304698 3600.05/3609.33 c learned cardinalities 35884 3600.05/3609.33 c learned general constraints 525619 3600.05/3609.33 c learned average constraint length 803.21 3600.05/3609.33 c learned average constraint degree 51809663.71 3600.05/3609.33 c watched constraints 456101 3600.05/3609.33 c counting constraints 69518 3600.05/3609.33 c gcd simplifications 6159 3600.05/3609.33 c detected cardinalities 1701 3600.05/3609.33 c weakened non-implied lits 266504923 3600.05/3609.33 c weakened non-implying lits 608440 3600.05/3609.33 c original variables 5508 3600.05/3609.33 c clausal propagations 291978546 3600.05/3609.33 c cardinality propagations 257714444 3600.05/3609.33 c watched propagations 71697797 3600.05/3609.33 c counting propagations 158920936 3600.05/3609.33 c watch lookups 36203503184 3600.05/3609.33 c watch backjump lookups 28787023291 3600.05/3609.33 c watch checks 283535991871 3600.05/3609.33 c propagation checks 52834776526 3600.05/3609.33 c constraint additions 4617818059 3600.05/3609.33 c trail pops 800953563 3600.05/3609.33 c formula constraints 5672 3600.05/3609.33 c learned constraints 1865723 3600.05/3609.33 c bound constraints 0 3600.05/3609.33 c core-guided constraints 0 3600.05/3609.33 c encountered formula constraints 40062953 3600.05/3609.33 c encountered learned constraints 32680027 3600.05/3609.33 c encountered bound constraints 0 3600.05/3609.33 c encountered core-guided constraints 0 3600.05/3609.33 c LP total time 819.101 s 3600.05/3609.33 c LP solve time 811.18 s 3600.05/3609.33 c LP constraints added 11503 3600.05/3609.33 c LP constraints removed 5732 3600.05/3609.33 c LP pivots internal 1869826 3600.05/3609.33 c LP pivots root 675488 3600.05/3609.33 c LP calls 387 3600.05/3609.33 c LP optimalities 141 3600.05/3609.33 c LP no pivot count 2 3600.05/3609.33 c LP infeasibilities 240 3600.05/3609.33 c LP valid Farkas constraints 239 3600.05/3609.33 c LP learned Farkas constraints 239 3600.05/3609.33 c LP basis resets 1 3600.05/3609.33 c LP cycling count 0 3600.05/3609.33 c LP singular count 0 3600.05/3609.33 c LP no primal count 0 3600.05/3609.33 c LP no farkas count 1 3600.05/3609.33 c LP other issue count 0 3600.05/3609.33 c LP Gomory cuts 0 3600.05/3609.33 c LP learned cuts 5831 3600.05/3609.33 c LP deleted cuts 5732 3600.05/3609.33 c LP encountered Gomory constraints 0 3600.05/3609.33 c LP encountered Farkas constraints 2753 3600.05/3609.33 c LP encountered learned Farkas constraints 1100 3600.05/3609.33 c CG auxiliary variables introduced 0 3600.05/3609.33 c CG solutions found 0 3600.05/3609.33 c CG cores constructed 0 3600.05/3609.33 c CG core cardinality constraints returned 0 3600.05/3609.33 c CG unit cores 0 3600.05/3609.33 c CG single cores 0 3600.05/3609.33 c CG blocks removed during cardinality reduction 0 3600.05/3609.33 c CG first core best 0 3600.05/3609.33 c CG decision core best 0 3600.05/3609.33 c CG core reduction tie 0 3600.05/3609.33 c CG core degree average 0.00 3600.05/3609.33 c CG core slack average 0.00 3600.05/3609.33 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (57006 MiB free)
memory of node 1: 64473 MiB (57786 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457180-1721830217/watcher-4457180-1721830217 -o /tmp/evaluation-result-4457180-1721830217/solver-4457180-1721830217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721830217-244500 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457180-1721830217 --lp-cut-gomory=0 HOME/instance-4457180-1721830217.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=244553, runsolver pid=244544
Current StackSize limit: 8192 KiB
[startup+0.10042 s]*
/proc/loadavg: 1.09 1.12 1.41 7/263 244563
/proc/meminfo: memFree=117536512/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=39076 memory=7504 CPUtime=0.01 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 764 0 1 0 1 0 0 0 20 0 1 0 19544253 40013824 1876 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 9769 1876 1376 992 0 1627 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 39076 KiB
Current children cumulated memory: 7504 KiB
[startup+0.206233 s]*
/proc/loadavg: 1.09 1.12 1.41 8/263 244563
/proc/meminfo: memFree=117501040/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=47760 memory=16408 CPUtime=0.12 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 3102 0 1 0 11 1 0 0 20 0 1 0 19544253 48906240 4102 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 11940 4102 1711 992 0 3798 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 47760 KiB
Current children cumulated memory: 16408 KiB
[startup+0.305525 s]*
/proc/loadavg: 1.09 1.12 1.41 5/263 244563
/proc/meminfo: memFree=117497440/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=48528 memory=17200 CPUtime=0.22 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 3292 0 1 0 21 1 0 0 20 0 1 0 19544253 49692672 4300 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 12132 4300 1711 992 0 3990 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 48528 KiB
Current children cumulated memory: 17200 KiB
[startup+0.700164 s]
/proc/loadavg: 1.09 1.12 1.41 5/263 244563
/proc/meminfo: memFree=117496216/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=48824 memory=17464 CPUtime=0.61 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 3338 0 1 0 59 2 0 0 20 0 1 0 19544253 49995776 4366 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 12206 4366 1711 992 0 4064 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 48824 KiB
Current children cumulated memory: 17464 KiB
[startup+1.50017 s]
/proc/loadavg: 1.09 1.12 1.41 6/263 244563
/proc/meminfo: memFree=117484544/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=50180 memory=22324 CPUtime=1.4 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 4005 0 1 0 134 6 0 0 20 0 1 0 19544253 51384320 5581 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 12545 5581 1758 992 0 4403 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 50180 KiB
Current children cumulated memory: 22324 KiB
[startup+3.10644 s]
/proc/loadavg: 1.32 1.17 1.43 6/263 244563
/proc/meminfo: memFree=117462820/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=51132 memory=23944 CPUtime=3 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 4317 0 1 0 291 9 0 0 20 0 1 0 19544253 52359168 5986 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 12783 5986 1839 992 0 4641 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 51132 KiB
Current children cumulated memory: 23944 KiB
[startup+6.30015 s]
/proc/loadavg: 1.32 1.17 1.43 6/263 244565
/proc/meminfo: memFree=117436760/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=55508 memory=27220 CPUtime=6.2 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 5182 0 1 0 601 19 0 0 20 0 1 0 19544253 56840192 6805 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 13877 6805 1839 992 0 5735 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 55508 KiB
Current children cumulated memory: 27220 KiB
[startup+12.7002 s]
/proc/loadavg: 1.81 1.28 1.46 6/263 244565
/proc/meminfo: memFree=117383808/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=56816 memory=28804 CPUtime=12.58 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 5591 0 1 0 1221 37 0 0 20 0 1 0 19544253 58179584 7201 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 14204 7201 1839 992 0 6062 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 56816 KiB
Current children cumulated memory: 28804 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.37 1.49 6/263 244568
/proc/meminfo: memFree=117277456/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=64668 memory=36632 CPUtime=25.35 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 6987 0 1 0 2479 56 0 0 20 0 1 0 19544253 66220032 9158 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 16167 9158 1839 992 0 8025 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 64668 KiB
Current children cumulated memory: 36632 KiB
[startup+51.1065 s]
/proc/loadavg: 2.85 1.60 1.56 6/263 244571
/proc/meminfo: memFree=116989768/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=89316 memory=52872 CPUtime=50.89 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 10827 0 1 0 4981 108 0 0 20 0 1 0 19544253 91459584 13218 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 22329 13218 1839 992 0 14187 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 89316 KiB
Current children cumulated memory: 52872 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.04 1.72 6/263 244579
/proc/meminfo: memFree=116585580/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=115104 memory=71944 CPUtime=101.97 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 13754 0 1 0 9987 210 0 0 20 0 1 0 19544253 117866496 17986 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 28776 17986 1839 992 0 20634 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 115104 KiB
Current children cumulated memory: 71944 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.41 1.87 6/263 244591
/proc/meminfo: memFree=115882408/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=211240 memory=149412 CPUtime=161.83 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 18794 0 1 0 15869 314 0 0 20 0 1 0 19544253 216309760 37353 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 52810 37353 1839 992 0 44668 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 211240 KiB
Current children cumulated memory: 149412 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.73 2.01 6/262 244602
/proc/meminfo: memFree=115414656/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=218984 memory=157044 CPUtime=221.69 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 20700 0 1 0 21767 402 0 0 20 0 1 0 19544253 224239616 39261 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 54746 39261 1839 992 0 46604 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 218984 KiB
Current children cumulated memory: 157044 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.98 2.15 7/262 244612
/proc/meminfo: memFree=114839976/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=219620 memory=157824 CPUtime=281.56 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 20887 0 1 0 27689 467 0 0 20 0 1 0 19544253 224890880 39456 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 54905 39456 1839 992 0 46763 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 219620 KiB
Current children cumulated memory: 157824 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.19 2.27 6/257 244622
/proc/meminfo: memFree=114299984/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=310088 memory=203632 CPUtime=341.42 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 23649 0 1 0 33585 557 0 0 20 0 1 0 19544253 317530112 50908 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 77522 50908 1839 992 0 69380 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 310088 KiB
Current children cumulated memory: 203632 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.37 2.39 6/257 244633
/proc/meminfo: memFree=113879040/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=310352 memory=203896 CPUtime=401.27 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 23732 0 1 0 39470 657 0 0 20 0 1 0 19544253 317800448 50974 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 77588 50974 1839 992 0 69446 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 310352 KiB
Current children cumulated memory: 203896 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.50 2.50 6/257 244643
/proc/meminfo: memFree=113431972/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=313260 memory=222940 CPUtime=461.1 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 24444 0 1 0 45375 735 0 0 20 0 1 0 19544253 320778240 55735 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 78315 55735 1839 992 0 70173 0
################
# More data... #
################
Current children cumulated memory: 602156 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.06 5/261 246319
/proc/meminfo: memFree=102116488/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=752508 memory=602156 CPUtime=2974.98 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 57564 0 1 0 294224 3274 0 0 20 0 1 0 19544253 770568192 150539 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 188127 150539 1839 992 0 179985 0
Current children cumulated CPU time: 2974.98 s
Current children cumulated vsize: 752508 KiB
Current children cumulated memory: 602156 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/262 246333
/proc/meminfo: memFree=101774960/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=752948 memory=602856 CPUtime=3034.83 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 57845 0 1 0 300164 3319 0 0 20 0 1 0 19544253 771018752 150714 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 188237 150714 1839 992 0 180095 0
Current children cumulated CPU time: 3034.83 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 602856 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.07 5/262 246354
/proc/meminfo: memFree=101551516/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=753632 memory=603572 CPUtime=3094.66 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 58694 0 1 0 306085 3381 0 0 20 0 1 0 19544253 771719168 150893 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 188408 150893 1839 992 0 180266 0
Current children cumulated CPU time: 3094.66 s
Current children cumulated vsize: 753632 KiB
Current children cumulated memory: 603572 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.16 4.08 5/261 246366
/proc/meminfo: memFree=101334540/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=753632 memory=603664 CPUtime=3154.5 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 58804 0 1 0 311994 3456 0 0 20 0 1 0 19544253 771719168 150916 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 188408 150916 1839 992 0 180266 0
Current children cumulated CPU time: 3154.5 s
Current children cumulated vsize: 753632 KiB
Current children cumulated memory: 603664 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/259 246377
/proc/meminfo: memFree=101127820/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=753632 memory=603664 CPUtime=3214.35 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 58958 0 1 0 317916 3519 0 0 20 0 1 0 19544253 771719168 150916 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 188408 150916 1839 992 0 180266 0
Current children cumulated CPU time: 3214.35 s
Current children cumulated vsize: 753632 KiB
Current children cumulated memory: 603664 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.09 5/259 246387
/proc/meminfo: memFree=100808732/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=756884 memory=606552 CPUtime=3274.19 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 59934 0 1 0 323854 3565 0 0 20 0 1 0 19544253 775049216 151638 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 189221 151638 1839 992 0 181079 0
Current children cumulated CPU time: 3274.19 s
Current children cumulated vsize: 756884 KiB
Current children cumulated memory: 606552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/257 246398
/proc/meminfo: memFree=100531864/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=760300 memory=609496 CPUtime=3334.04 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 60917 0 1 0 329806 3598 0 0 20 0 1 0 19544253 778547200 152374 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 190075 152374 1839 992 0 181933 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 760300 KiB
Current children cumulated memory: 609496 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/257 246408
/proc/meminfo: memFree=100258496/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=766232 memory=614024 CPUtime=3393.88 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 62305 0 1 0 335756 3632 0 0 20 0 1 0 19544253 784621568 153506 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 191558 153506 1839 992 0 183416 0
Current children cumulated CPU time: 3393.88 s
Current children cumulated vsize: 766232 KiB
Current children cumulated memory: 614024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.17 4.10 5/258 246419
/proc/meminfo: memFree=100026452/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=769736 memory=623368 CPUtime=3453.67 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 63730 0 2 0 341695 3672 0 0 20 0 1 0 19544253 788209664 155842 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 12 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 192434 155842 1839 992 0 184292 0
Current children cumulated CPU time: 3453.67 s
Current children cumulated vsize: 769736 KiB
Current children cumulated memory: 623368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/258 246430
/proc/meminfo: memFree=99705708/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=769852 memory=623616 CPUtime=3513.54 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 64452 0 2 0 347637 3717 0 0 20 0 1 0 19544253 788328448 155904 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 12 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 192463 155904 1935 992 0 184321 0
Current children cumulated CPU time: 3513.54 s
Current children cumulated vsize: 769852 KiB
Current children cumulated memory: 623616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/258 246440
/proc/meminfo: memFree=99431484/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=769904 memory=627312 CPUtime=3573.4 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 65035 0 2 0 353563 3777 0 0 20 0 1 0 19544253 788381696 156828 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 12 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 192476 156828 1935 992 0 184334 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 769904 KiB
Current children cumulated memory: 627312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.11 4.14 4.09 5/260 246449
/proc/meminfo: memFree=99289952/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=769904 memory=631284 CPUtime=3600.04 cores=4,6
/proc/244553/stat : 244553 (roundingsat) R 244544 244553 244489 0 -1 4194304 65173 0 2 0 356201 3803 0 0 20 0 1 0 19544253 788381696 157821 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 12 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 192476 157821 1935 992 0 184334 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 769904 KiB
Current children cumulated memory: 631284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.33 s]
# the end of solver process 244553 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.02 s, system=38.0414 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.2 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 246449
/proc/meminfo: memFree=99289952/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=769904 memory=631284 CPUtime=3600.05 cores=4,6
/proc/244553/stat : 244553 (roundingsat) D 244544 244553 244489 0 -1 4194304 65176 0 2 0 356202 3803 0 0 20 0 1 0 19544253 788381696 157821 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 44 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 192476 157821 1935 992 0 184334 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 769904 KiB
Current children cumulated memory: 631284 KiB
[startup+3609.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 246449
/proc/meminfo: memFree=99289952/131524600 swapFree=131071216/131071996
[pid=244553] ppid=244544 vsize=769904 memory=631284 CPUtime=3600.05 cores=4,6
/proc/244553/stat : 244553 (roundingsat) D 244544 244553 244489 0 -1 4194304 65176 0 2 0 356202 3803 0 0 20 0 1 0 19544253 788381696 157821 134679101440 4194304 8254037 140724187727760 0 0 0 0 0 25182210 1 0 0 17 4 0 0 54 0 0 9037040 9046032 24289280 140724187730780 140724187731042 140724187731042 140724187738057 0
/proc/244553/statm: 192476 157821 1935 992 0 184334 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 769904 KiB
Current children cumulated memory: 631284 KiB
Child status: 0
Real time (s): 3609.33
CPU time (s): 3600.06
CPU user time (s): 3562.02
CPU system time (s): 38.0414
CPU usage (%): 99.7431
Max. virtual memory (cumulated for all children) (KiB): 769984
Max. memory (cumulated for all children) (KiB): 631284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.02
system time used= 38.0414
maximum resident set size= 631284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65185
page faults= 2
swaps= 0
block input operations= 384
block output operations= 10402328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 968
involuntary context switches= 4783
# summary of solver processes directly reported to runsolver:
# pid: 244553
# total CPU time (s): 3600.06
# total CPU user time (s): 3562.02
# total CPU system time (s): 38.0414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47395 second user time and 19.9569 second system time
The end
Begin job on nodeC017 at 2024-07-24 16:10:17 IDJOB=4457180 IDBENCH=158357 IDSOLVER=3085 FILE ID=nodeC017/4457180-1721830217 RUNJOBID= nodeC017-1721830217-244500 SLURM_JOB_ID= 7891507 Free space on /tmp= 890080 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_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-4457180-1721830217/watcher-4457180-1721830217 -o /tmp/evaluation-result-4457180-1721830217/solver-4457180-1721830217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721830217-244500 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457180-1721830217 --lp-cut-gomory=0 HOME/instance-4457180-1721830217.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b RANDOM SEED=8886360 nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3546.671 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3580.258 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3603.197 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3561.943 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3534.999 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3575.420 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3576.418 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3496.628 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 117548732 kB MemAvailable: 129648152 kB Buffers: 276044 kB Cached: 12569128 kB SwapCached: 88 kB Active: 2603332 kB Inactive: 10585756 kB Active(anon): 1460 kB Inactive(anon): 397004 kB Active(file): 2601872 kB Inactive(file): 10188752 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 24316 kB Writeback: 20 kB AnonPages: 342680 kB Mapped: 118612 kB Shmem: 53820 kB KReclaimable: 297236 kB Slab: 424720 kB SReclaimable: 297236 kB SUnreclaim: 127484 kB KernelStack: 4100 kB PageTables: 9632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 726080 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21280 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 422612 kB DirectMap2M: 40245248 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890056 MiB End job on nodeC017 at 2024-07-24 17:10:27