| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.02 | 3612.16 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K81.opb |
| MD5SUM | a76247625d06f26dbfcd47fe69513f4b |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5508 |
| Total number of constraints | 5672 |
| Number of constraints which are clauses | 5591 |
| Number of constraints which are cardinality constraints (but not clauses) | 81 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 81 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 82 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.08 c #variables 5508 #constraints 5672 33.00/33.16 c #Conflicts: 1000 | #Constraints: 6671 33.00/33.16 c #Conflicts: 2000 | #Constraints: 7671 33.00/33.16 c INPROCESSING 33.00/33.16 c GARBAGE COLLECT 33.00/33.16 c #Conflicts: 3000 | #Constraints: 7249 33.00/33.16 c #Conflicts: 4000 | #Constraints: 8249 33.00/33.16 c INPROCESSING 33.00/33.16 c GARBAGE COLLECT 33.00/33.16 c #Conflicts: 5000 | #Constraints: 7712 33.00/33.16 c #Conflicts: 6000 | #Constraints: 8713 33.00/33.16 c INPROCESSING 33.00/33.16 c GARBAGE COLLECT 33.00/33.16 c #Conflicts: 7000 | #Constraints: 7748 33.00/33.16 c #Conflicts: 8000 | #Constraints: 8748 33.00/33.16 c #Conflicts: 9000 | #Constraints: 9748 33.00/33.16 c INPROCESSING 33.00/33.16 c GARBAGE COLLECT 33.00/33.16 c #Conflicts: 10000 | #Constraints: 8496 33.00/33.16 c #Conflicts: 11000 | #Constraints: 9496 33.00/33.16 c #Conflicts: 12000 | #Constraints: 10496 33.00/33.16 c INPROCESSING 33.00/33.16 c GARBAGE COLLECT 33.00/33.16 c #Conflicts: 13000 | #Constraints: 8984 33.00/33.16 c #Conflicts: 14000 | #Constraints: 9984 33.00/33.16 c #Conflicts: 15000 | #Constraints: 10984 33.00/33.16 c INPROCESSING 33.00/33.16 c GARBAGE COLLECT 33.00/33.16 c #Conflicts: 16000 | #Constraints: 9258 33.00/33.16 c #Conflicts: 17000 | #Constraints: 10258 33.00/33.16 c #Conflicts: 18000 | #Constraints: 11258 33.00/33.16 c INPROCESSING 33.00/33.16 c GARBAGE COLLECT 33.00/33.16 c #Conflicts: 19000 | #Constraints: 9293 33.00/33.16 c #Conflicts: 20000 | #Constraints: 10293 33.00/33.16 c #Conflicts: 21000 | #Constraints: 11294 33.00/33.16 c INPROCESSING 33.00/33.16 c GARBAGE COLLECT 33.00/33.16 c #Conflicts: 22000 | #Constraints: 9129 33.00/33.16 c #Conflicts: 23000 | #Constraints: 10129 33.00/33.16 c #Conflicts: 24000 | #Constraints: 11129 33.00/33.16 c #Conflicts: 25000 | #Constraints: 12129 33.00/33.16 c INPROCESSING 33.00/33.16 c GARBAGE COLLECT 33.00/33.16 c #Conflicts: 26000 | #Constraints: 9740 33.00/33.16 c #Conflicts: 27000 | #Constraints: 10740 33.00/33.16 c #Conflicts: 28000 | #Constraints: 11740 33.00/33.16 c #Conflicts: 29000 | #Constraints: 12740 33.00/33.16 c INPROCESSING 33.00/33.16 c GARBAGE COLLECT 33.00/33.16 c rational objective 81 35.07/35.22 c #Conflicts: 30000 | #Constraints: 10147 35.07/35.22 c #Conflicts: 31000 | #Constraints: 11147 35.07/35.22 c #Conflicts: 32000 | #Constraints: 12147 35.07/35.22 c #Conflicts: 33000 | #Constraints: 13147 35.07/35.22 c INPROCESSING 35.07/35.22 c GARBAGE COLLECT 35.07/35.22 c rational objective 81 37.57/37.75 c #Conflicts: 34000 | #Constraints: 10380 37.57/37.75 c #Conflicts: 35000 | #Constraints: 11380 37.57/37.75 c #Conflicts: 36000 | #Constraints: 12380 37.57/37.75 c #Conflicts: 37000 | #Constraints: 13380 37.57/37.75 c INPROCESSING 37.57/37.75 c GARBAGE COLLECT 37.57/37.75 c rational objective 81 46.24/46.40 c #Conflicts: 38000 | #Constraints: 10394 46.24/46.40 c #Conflicts: 39000 | #Constraints: 11394 46.24/46.40 c #Conflicts: 40000 | #Constraints: 12395 46.24/46.40 c #Conflicts: 41000 | #Constraints: 13398 46.24/46.40 c INPROCESSING 46.24/46.40 c GARBAGE COLLECT 46.24/46.40 c rational objective 81 59.59/59.85 c #Conflicts: 42000 | #Constraints: 10181 59.59/59.85 c #Conflicts: 43000 | #Constraints: 11181 59.59/59.85 c #Conflicts: 44000 | #Constraints: 12182 59.59/59.85 c #Conflicts: 45000 | #Constraints: 13182 59.59/59.85 c #Conflicts: 46000 | #Constraints: 14182 59.59/59.85 c INPROCESSING 59.59/59.85 c GARBAGE COLLECT 59.59/59.85 c rational objective 81 77.74/78.05 c #Conflicts: 47000 | #Constraints: 10811 77.74/78.05 c #Conflicts: 48000 | #Constraints: 11811 77.74/78.05 c #Conflicts: 49000 | #Constraints: 12811 77.74/78.05 c #Conflicts: 50000 | #Constraints: 13811 77.74/78.05 c #Conflicts: 51000 | #Constraints: 14811 77.74/78.05 c INPROCESSING 77.74/78.05 c GARBAGE COLLECT 77.74/78.05 c #Conflicts: 52000 | #Constraints: 11227 77.74/78.05 c #Conflicts: 53000 | #Constraints: 12228 77.74/78.05 c #Conflicts: 54000 | #Constraints: 13228 77.74/78.05 c #Conflicts: 55000 | #Constraints: 14228 77.74/78.05 c #Conflicts: 56000 | #Constraints: 15228 77.74/78.05 c INPROCESSING 77.74/78.05 c GARBAGE COLLECT 77.74/78.05 c #Conflicts: 57000 | #Constraints: 11439 77.74/78.05 c #Conflicts: 58000 | #Constraints: 12439 77.74/78.05 c #Conflicts: 59000 | #Constraints: 13439 77.74/78.05 c #Conflicts: 60000 | #Constraints: 14439 77.74/78.05 c #Conflicts: 61000 | #Constraints: 15439 77.74/78.05 c INPROCESSING 77.74/78.05 c GARBAGE COLLECT 77.74/78.05 c #Conflicts: 62000 | #Constraints: 11461 77.74/78.05 c #Conflicts: 63000 | #Constraints: 12461 77.74/78.05 c #Conflicts: 64000 | #Constraints: 13461 77.74/78.05 c #Conflicts: 65000 | #Constraints: 14461 77.74/78.05 c #Conflicts: 66000 | #Constraints: 15462 77.74/78.05 c INPROCESSING 77.74/78.05 c GARBAGE COLLECT 77.74/78.05 c rational objective 81 89.70/90.07 c #Conflicts: 67000 | #Constraints: 11297 89.70/90.07 c #Conflicts: 68000 | #Constraints: 12297 89.70/90.07 c #Conflicts: 69000 | #Constraints: 13298 89.70/90.07 c #Conflicts: 70000 | #Constraints: 14299 89.70/90.07 c #Conflicts: 71000 | #Constraints: 15301 89.70/90.07 c #Conflicts: 72000 | #Constraints: 16301 89.70/90.07 c INPROCESSING 89.70/90.07 c GARBAGE COLLECT 89.70/90.07 c #Conflicts: 73000 | #Constraints: 11880 89.70/90.07 c #Conflicts: 74000 | #Constraints: 12881 89.70/90.07 c #Conflicts: 75000 | #Constraints: 13882 89.70/90.07 c #Conflicts: 76000 | #Constraints: 14882 89.70/90.07 c #Conflicts: 77000 | #Constraints: 15883 89.70/90.07 c #Conflicts: 78000 | #Constraints: 16883 89.70/90.07 c INPROCESSING 89.70/90.07 c GARBAGE COLLECT 89.70/90.07 c rational objective 81 127.07/127.59 c #Conflicts: 79000 | #Constraints: 12335 127.07/127.59 c #Conflicts: 80000 | #Constraints: 13335 127.07/127.59 c #Conflicts: 81000 | #Constraints: 14336 127.07/127.59 c #Conflicts: 82000 | #Constraints: 15336 127.07/127.59 c #Conflicts: 83000 | #Constraints: 16337 127.07/127.59 c #Conflicts: 84000 | #Constraints: 17339 127.07/127.59 c INPROCESSING 127.07/127.59 c GARBAGE COLLECT 127.07/127.59 c #Conflicts: 85000 | #Constraints: 12510 127.07/127.59 c #Conflicts: 86000 | #Constraints: 13510 127.07/127.59 c #Conflicts: 87000 | #Constraints: 14510 127.07/127.59 c #Conflicts: 88000 | #Constraints: 15510 127.07/127.59 c #Conflicts: 89000 | #Constraints: 16511 127.07/127.59 c #Conflicts: 90000 | #Constraints: 17511 127.07/127.59 c #Conflicts: 91000 | #Constraints: 18511 127.07/127.59 c #Conflicts: 92000 | #Constraints: 19511 127.07/127.59 c #Conflicts: 93000 | #Constraints: 20511 127.07/127.59 c #Conflicts: 94000 | #Constraints: 21511 127.07/127.59 c #Conflicts: 95000 | #Constraints: 22513 127.07/127.59 c #Conflicts: 96000 | #Constraints: 23513 127.07/127.59 c #Conflicts: 97000 | #Constraints: 24513 127.07/127.59 c #Conflicts: 98000 | #Constraints: 25514 127.07/127.59 c #Conflicts: 99000 | #Constraints: 26514 127.07/127.59 c #Conflicts: 100000 | #Constraints: 27514 127.07/127.59 c #Conflicts: 101000 | #Constraints: 28514 127.07/127.59 c #Conflicts: 102000 | #Constraints: 29514 127.07/127.59 c #Conflicts: 103000 | #Constraints: 30514 127.07/127.59 c #Conflicts: 104000 | #Constraints: 31514 127.07/127.59 c #Conflicts: 105000 | #Constraints: 32514 127.07/127.59 c #Conflicts: 106000 | #Constraints: 33514 127.07/127.59 c #Conflicts: 107000 | #Constraints: 34514 127.07/127.59 c #Conflicts: 108000 | #Constraints: 35514 127.07/127.59 c #Conflicts: 109000 | #Constraints: 36514 127.07/127.59 c #Conflicts: 110000 | #Constraints: 37514 127.07/127.59 c INPROCESSING 127.07/127.59 c GARBAGE COLLECT 127.07/127.59 c rational objective 81 140.32/140.88 c #Conflicts: 111000 | #Constraints: 22638 140.32/140.88 c #Conflicts: 112000 | #Constraints: 23638 140.32/140.88 c #Conflicts: 113000 | #Constraints: 24639 140.32/140.88 c #Conflicts: 114000 | #Constraints: 25639 140.32/140.88 c #Conflicts: 115000 | #Constraints: 26639 140.32/140.88 c #Conflicts: 116000 | #Constraints: 27639 140.32/140.88 c #Conflicts: 117000 | #Constraints: 28639 140.32/140.88 c INPROCESSING 140.32/140.88 c GARBAGE COLLECT 140.32/140.88 c rational objective 81 147.99/148.55 c #Conflicts: 118000 | #Constraints: 18091 147.99/148.55 c #Conflicts: 119000 | #Constraints: 19091 147.99/148.55 c #Conflicts: 120000 | #Constraints: 20091 147.99/148.55 c #Conflicts: 121000 | #Constraints: 21091 147.99/148.55 c #Conflicts: 122000 | #Constraints: 22092 147.99/148.55 c #Conflicts: 123000 | #Constraints: 23092 147.99/148.55 c #Conflicts: 124000 | #Constraints: 24092 147.99/148.55 c INPROCESSING 147.99/148.55 c GARBAGE COLLECT 147.99/148.55 c rational objective 81 155.07/155.60 c #Conflicts: 125000 | #Constraints: 15522 155.07/155.60 c #Conflicts: 126000 | #Constraints: 16522 155.07/155.60 c #Conflicts: 127000 | #Constraints: 17522 155.07/155.60 c #Conflicts: 128000 | #Constraints: 18522 155.07/155.60 c #Conflicts: 129000 | #Constraints: 19522 155.07/155.60 c #Conflicts: 130000 | #Constraints: 20522 155.07/155.60 c #Conflicts: 131000 | #Constraints: 21522 155.07/155.60 c #Conflicts: 132000 | #Constraints: 22522 155.07/155.60 c INPROCESSING 155.07/155.60 c GARBAGE COLLECT 155.07/155.60 c rational objective 81 171.53/172.13 c #Conflicts: 133000 | #Constraints: 14937 171.53/172.13 c #Conflicts: 134000 | #Constraints: 15937 171.53/172.13 c #Conflicts: 135000 | #Constraints: 16938 171.53/172.13 c #Conflicts: 136000 | #Constraints: 17938 171.53/172.13 c #Conflicts: 137000 | #Constraints: 18938 171.53/172.13 c #Conflicts: 138000 | #Constraints: 19938 171.53/172.13 c #Conflicts: 139000 | #Constraints: 20938 171.53/172.13 c #Conflicts: 140000 | #Constraints: 21938 171.53/172.13 c INPROCESSING 171.53/172.13 c GARBAGE COLLECT 171.53/172.13 c rational objective 81 214.68/215.48 c #Conflicts: 141000 | #Constraints: 14674 214.68/215.48 c #Conflicts: 142000 | #Constraints: 15674 214.68/215.48 c #Conflicts: 143000 | #Constraints: 16675 214.68/215.48 c #Conflicts: 144000 | #Constraints: 17675 214.68/215.48 c #Conflicts: 145000 | #Constraints: 18675 214.68/215.48 c #Conflicts: 146000 | #Constraints: 19675 214.68/215.48 c #Conflicts: 147000 | #Constraints: 20675 214.68/215.48 c #Conflicts: 148000 | #Constraints: 21675 214.68/215.48 c #Conflicts: 149000 | #Constraints: 22675 214.68/215.48 c #Conflicts: 150000 | #Constraints: 23676 214.68/215.48 c #Conflicts: 151000 | #Constraints: 24677 214.68/215.48 c #Conflicts: 152000 | #Constraints: 25677 214.68/215.48 c #Conflicts: 153000 | #Constraints: 26677 214.68/215.48 c #Conflicts: 154000 | #Constraints: 27677 214.68/215.48 c #Conflicts: 155000 | #Constraints: 28677 214.68/215.48 c #Conflicts: 156000 | #Constraints: 29677 214.68/215.48 c #Conflicts: 157000 | #Constraints: 30677 214.68/215.48 c #Conflicts: 158000 | #Constraints: 31677 214.68/215.48 c #Conflicts: 159000 | #Constraints: 32677 214.68/215.48 c #Conflicts: 160000 | #Constraints: 33677 214.68/215.48 c #Conflicts: 161000 | #Constraints: 34677 214.68/215.48 c #Conflicts: 162000 | #Constraints: 35677 214.68/215.48 c #Conflicts: 163000 | #Constraints: 36677 214.68/215.48 c #Conflicts: 164000 | #Constraints: 37677 214.68/215.48 c #Conflicts: 165000 | #Constraints: 38677 214.68/215.48 c #Conflicts: 166000 | #Constraints: 39677 214.68/215.48 c #Conflicts: 167000 | #Constraints: 40677 214.68/215.48 c #Conflicts: 168000 | #Constraints: 41677 214.68/215.48 c #Conflicts: 169000 | #Constraints: 42677 214.68/215.48 c #Conflicts: 170000 | #Constraints: 43677 214.68/215.48 c #Conflicts: 171000 | #Constraints: 44677 214.68/215.48 c #Conflicts: 172000 | #Constraints: 45677 214.68/215.48 c INPROCESSING 214.68/215.48 c GARBAGE COLLECT 214.68/215.48 c rational objective 81 230.62/231.48 c #Conflicts: 173000 | #Constraints: 26390 230.62/231.48 c #Conflicts: 174000 | #Constraints: 27390 230.62/231.48 c #Conflicts: 175000 | #Constraints: 28390 230.62/231.48 c #Conflicts: 176000 | #Constraints: 29390 230.62/231.48 c #Conflicts: 177000 | #Constraints: 30390 230.62/231.48 c #Conflicts: 178000 | #Constraints: 31391 230.62/231.48 c #Conflicts: 179000 | #Constraints: 32391 230.62/231.48 c #Conflicts: 180000 | #Constraints: 33391 230.62/231.48 c #Conflicts: 181000 | #Constraints: 34391 230.62/231.48 c #Conflicts: 182000 | #Constraints: 35391 230.62/231.48 c INPROCESSING 230.62/231.48 c GARBAGE COLLECT 230.62/231.48 c rational objective 81 250.86/251.75 c #Conflicts: 183000 | #Constraints: 21683 250.86/251.75 c #Conflicts: 184000 | #Constraints: 22683 250.86/251.75 c #Conflicts: 185000 | #Constraints: 23684 250.86/251.75 c #Conflicts: 186000 | #Constraints: 24684 250.86/251.75 c #Conflicts: 187000 | #Constraints: 25684 250.86/251.75 c #Conflicts: 188000 | #Constraints: 26684 250.86/251.75 c #Conflicts: 189000 | #Constraints: 27684 250.86/251.75 c #Conflicts: 190000 | #Constraints: 28684 250.86/251.75 c #Conflicts: 191000 | #Constraints: 29684 250.86/251.75 c INPROCESSING 250.86/251.75 c GARBAGE COLLECT 250.86/251.75 c rational objective 81 295.60/296.67 c #Conflicts: 192000 | #Constraints: 18627 295.60/296.67 c #Conflicts: 193000 | #Constraints: 19627 295.60/296.67 c #Conflicts: 194000 | #Constraints: 20628 295.60/296.67 c #Conflicts: 195000 | #Constraints: 21628 295.60/296.67 c #Conflicts: 196000 | #Constraints: 22628 295.60/296.67 c #Conflicts: 197000 | #Constraints: 23628 295.60/296.67 c #Conflicts: 198000 | #Constraints: 24629 295.60/296.67 c #Conflicts: 199000 | #Constraints: 25629 295.60/296.67 c #Conflicts: 200000 | #Constraints: 26629 295.60/296.67 c #Conflicts: 201000 | #Constraints: 27629 295.60/296.67 c INPROCESSING 295.60/296.67 c GARBAGE COLLECT 295.60/296.67 c #Conflicts: 202000 | #Constraints: 17770 295.60/296.67 c #Conflicts: 203000 | #Constraints: 18770 295.60/296.67 c #Conflicts: 204000 | #Constraints: 19770 295.60/296.67 c #Conflicts: 205000 | #Constraints: 20770 295.60/296.67 c #Conflicts: 206000 | #Constraints: 21770 295.60/296.67 c #Conflicts: 207000 | #Constraints: 22770 295.60/296.67 c #Conflicts: 208000 | #Constraints: 23770 295.60/296.67 c #Conflicts: 209000 | #Constraints: 24770 295.60/296.67 c #Conflicts: 210000 | #Constraints: 25770 295.60/296.67 c INPROCESSING 295.60/296.67 c GARBAGE COLLECT 295.60/296.67 c rational objective 81 352.42/353.67 c #Conflicts: 211000 | #Constraints: 16434 352.42/353.67 c #Conflicts: 212000 | #Constraints: 17436 352.42/353.67 c #Conflicts: 213000 | #Constraints: 18436 352.42/353.67 c #Conflicts: 214000 | #Constraints: 19437 352.42/353.67 c #Conflicts: 215000 | #Constraints: 20438 352.42/353.67 c #Conflicts: 216000 | #Constraints: 21438 352.42/353.67 c #Conflicts: 217000 | #Constraints: 22438 352.42/353.67 c #Conflicts: 218000 | #Constraints: 23438 352.42/353.67 c #Conflicts: 219000 | #Constraints: 24439 352.42/353.67 c #Conflicts: 220000 | #Constraints: 25439 352.42/353.67 c #Conflicts: 221000 | #Constraints: 26439 352.42/353.67 c #Conflicts: 222000 | #Constraints: 27439 352.42/353.67 c #Conflicts: 223000 | #Constraints: 28439 352.42/353.67 c #Conflicts: 224000 | #Constraints: 29439 352.42/353.67 c #Conflicts: 225000 | #Constraints: 30439 352.42/353.67 c #Conflicts: 226000 | #Constraints: 31439 352.42/353.67 c #Conflicts: 227000 | #Constraints: 32439 352.42/353.67 c #Conflicts: 228000 | #Constraints: 33439 352.42/353.67 c #Conflicts: 229000 | #Constraints: 34439 352.42/353.67 c #Conflicts: 230000 | #Constraints: 35439 352.42/353.67 c #Conflicts: 231000 | #Constraints: 36439 352.42/353.67 c #Conflicts: 232000 | #Constraints: 37439 352.42/353.67 c #Conflicts: 233000 | #Constraints: 38440 352.42/353.67 c #Conflicts: 234000 | #Constraints: 39440 352.42/353.67 c #Conflicts: 235000 | #Constraints: 40440 352.42/353.67 c #Conflicts: 236000 | #Constraints: 41440 352.42/353.67 c #Conflicts: 237000 | #Constraints: 42441 352.42/353.67 c #Conflicts: 238000 | #Constraints: 43441 352.42/353.67 c #Conflicts: 239000 | #Constraints: 44441 352.42/353.67 c #Conflicts: 240000 | #Constraints: 45441 352.42/353.67 c #Conflicts: 241000 | #Constraints: 46441 352.42/353.67 c #Conflicts: 242000 | #Constraints: 47441 352.42/353.67 c #Conflicts: 243000 | #Constraints: 48441 352.42/353.67 c #Conflicts: 244000 | #Constraints: 49441 352.42/353.67 c #Conflicts: 245000 | #Constraints: 50441 352.42/353.67 c #Conflicts: 246000 | #Constraints: 51441 352.42/353.67 c #Conflicts: 247000 | #Constraints: 52441 352.42/353.67 c #Conflicts: 248000 | #Constraints: 53441 352.42/353.67 c #Conflicts: 249000 | #Constraints: 54441 352.42/353.67 c INPROCESSING 352.42/353.67 c GARBAGE COLLECT 352.42/353.67 c rational objective 81 371.65/372.95 c #Conflicts: 250000 | #Constraints: 30911 371.65/372.95 c #Conflicts: 251000 | #Constraints: 31911 371.65/372.95 c #Conflicts: 252000 | #Constraints: 32913 371.65/372.95 c #Conflicts: 253000 | #Constraints: 33914 371.65/372.95 c #Conflicts: 254000 | #Constraints: 34915 371.65/372.95 c #Conflicts: 255000 | #Constraints: 35916 371.65/372.95 c #Conflicts: 256000 | #Constraints: 36916 371.65/372.95 c #Conflicts: 257000 | #Constraints: 37916 371.65/372.95 c #Conflicts: 258000 | #Constraints: 38916 371.65/372.95 c #Conflicts: 259000 | #Constraints: 39916 371.65/372.95 c #Conflicts: 260000 | #Constraints: 40916 371.65/372.95 c INPROCESSING 371.65/372.95 c GARBAGE COLLECT 371.65/372.95 c rational objective 81 386.40/387.75 c #Conflicts: 261000 | #Constraints: 24115 386.40/387.75 c #Conflicts: 262000 | #Constraints: 25115 386.40/387.75 c #Conflicts: 263000 | #Constraints: 26115 386.40/387.75 c #Conflicts: 264000 | #Constraints: 27115 386.40/387.75 c #Conflicts: 265000 | #Constraints: 28115 386.40/387.75 c #Conflicts: 266000 | #Constraints: 29115 386.40/387.75 c #Conflicts: 267000 | #Constraints: 30115 386.40/387.75 c #Conflicts: 268000 | #Constraints: 31115 386.40/387.75 c #Conflicts: 269000 | #Constraints: 32115 386.40/387.75 c #Conflicts: 270000 | #Constraints: 33115 386.40/387.75 c #Conflicts: 271000 | #Constraints: 34115 386.40/387.75 c #Conflicts: 272000 | #Constraints: 35117 386.40/387.75 c INPROCESSING 386.40/387.75 c GARBAGE COLLECT 386.40/387.75 c rational objective 81 400.35/401.77 c #Conflicts: 273000 | #Constraints: 21534 400.35/401.77 c #Conflicts: 274000 | #Constraints: 22534 400.35/401.77 c #Conflicts: 275000 | #Constraints: 23534 400.35/401.77 c #Conflicts: 276000 | #Constraints: 24534 400.35/401.77 c #Conflicts: 277000 | #Constraints: 25534 400.35/401.77 c #Conflicts: 278000 | #Constraints: 26534 400.35/401.77 c #Conflicts: 279000 | #Constraints: 27536 400.35/401.77 c #Conflicts: 280000 | #Constraints: 28536 400.35/401.77 c #Conflicts: 281000 | #Constraints: 29536 400.35/401.77 c #Conflicts: 282000 | #Constraints: 30537 400.35/401.77 c #Conflicts: 283000 | #Constraints: 31537 400.35/401.77 c INPROCESSING 400.35/401.77 c GARBAGE COLLECT 400.35/401.77 c rational objective 81 412.22/413.61 c #Conflicts: 284000 | #Constraints: 19515 412.22/413.61 c #Conflicts: 285000 | #Constraints: 20515 412.22/413.61 c #Conflicts: 286000 | #Constraints: 21515 412.22/413.61 c #Conflicts: 287000 | #Constraints: 22515 412.22/413.61 c #Conflicts: 288000 | #Constraints: 23515 412.22/413.61 c #Conflicts: 289000 | #Constraints: 24516 412.22/413.61 c #Conflicts: 290000 | #Constraints: 25517 412.22/413.61 c #Conflicts: 291000 | #Constraints: 26517 412.22/413.61 c #Conflicts: 292000 | #Constraints: 27517 412.22/413.61 c #Conflicts: 293000 | #Constraints: 28517 412.22/413.61 c #Conflicts: 294000 | #Constraints: 29517 412.22/413.61 c #Conflicts: 295000 | #Constraints: 30517 412.22/413.61 c INPROCESSING 412.22/413.61 c GARBAGE COLLECT 412.22/413.61 c rational objective 81 487.37/489.04 c #Conflicts: 296000 | #Constraints: 19108 487.37/489.04 c #Conflicts: 297000 | #Constraints: 20108 487.37/489.04 c #Conflicts: 298000 | #Constraints: 21108 487.37/489.04 c #Conflicts: 299000 | #Constraints: 22108 487.37/489.04 c #Conflicts: 300000 | #Constraints: 23108 487.37/489.04 c #Conflicts: 301000 | #Constraints: 24109 487.37/489.04 c #Conflicts: 302000 | #Constraints: 25109 487.37/489.04 c #Conflicts: 303000 | #Constraints: 26109 487.37/489.04 c #Conflicts: 304000 | #Constraints: 27109 487.37/489.04 c #Conflicts: 305000 | #Constraints: 28109 487.37/489.04 c #Conflicts: 306000 | #Constraints: 29109 487.37/489.04 c #Conflicts: 307000 | #Constraints: 30109 487.37/489.04 c #Conflicts: 308000 | #Constraints: 31109 487.37/489.04 c #Conflicts: 309000 | #Constraints: 32109 487.37/489.04 c #Conflicts: 310000 | #Constraints: 33109 487.37/489.04 c #Conflicts: 311000 | #Constraints: 34109 487.37/489.04 c #Conflicts: 312000 | #Constraints: 35109 487.37/489.04 c #Conflicts: 313000 | #Constraints: 36109 487.37/489.04 c #Conflicts: 314000 | #Constraints: 37109 487.37/489.04 c #Conflicts: 315000 | #Constraints: 38109 487.37/489.04 c #Conflicts: 316000 | #Constraints: 39109 487.37/489.04 c #Conflicts: 317000 | #Constraints: 40109 487.37/489.04 c #Conflicts: 318000 | #Constraints: 41109 487.37/489.04 c #Conflicts: 319000 | #Constraints: 42109 487.37/489.04 c #Conflicts: 320000 | #Constraints: 43110 487.37/489.04 c #Conflicts: 321000 | #Constraints: 44110 487.37/489.04 c #Conflicts: 322000 | #Constraints: 45110 487.37/489.04 c #Conflicts: 323000 | #Constraints: 46110 487.37/489.04 c #Conflicts: 324000 | #Constraints: 47110 487.37/489.04 c #Conflicts: 325000 | #Constraints: 48110 487.37/489.04 c #Conflicts: 326000 | #Constraints: 49110 487.37/489.04 c #Conflicts: 327000 | #Constraints: 50110 487.37/489.04 c #Conflicts: 328000 | #Constraints: 51110 487.37/489.04 c #Conflicts: 329000 | #Constraints: 52110 487.37/489.04 c #Conflicts: 330000 | #Constraints: 53110 487.37/489.04 c #Conflicts: 331000 | #Constraints: 54110 487.37/489.04 c #Conflicts: 332000 | #Constraints: 55110 487.37/489.04 c #Conflicts: 333000 | #Constraints: 56111 487.37/489.04 c #Conflicts: 334000 | #Constraints: 57111 487.37/489.04 c #Conflicts: 335000 | #Constraints: 58111 487.37/489.04 c #Conflicts: 336000 | #Constraints: 59111 487.37/489.04 c #Conflicts: 337000 | #Constraints: 60111 487.37/489.04 c #Conflicts: 338000 | #Constraints: 61111 487.37/489.04 c #Conflicts: 339000 | #Constraints: 62111 487.37/489.04 c #Conflicts: 340000 | #Constraints: 63111 487.37/489.04 c INPROCESSING 487.37/489.04 c GARBAGE COLLECT 487.37/489.04 c rational objective 81 511.48/513.27 c #Conflicts: 341000 | #Constraints: 35349 511.48/513.27 c #Conflicts: 342000 | #Constraints: 36349 511.48/513.27 c #Conflicts: 343000 | #Constraints: 37349 511.48/513.27 c #Conflicts: 344000 | #Constraints: 38349 511.48/513.27 c #Conflicts: 345000 | #Constraints: 39350 511.48/513.27 c #Conflicts: 346000 | #Constraints: 40350 511.48/513.27 c #Conflicts: 347000 | #Constraints: 41350 511.48/513.27 c #Conflicts: 348000 | #Constraints: 42350 511.48/513.27 c #Conflicts: 349000 | #Constraints: 43350 511.48/513.27 c #Conflicts: 350000 | #Constraints: 44350 511.48/513.27 c #Conflicts: 351000 | #Constraints: 45350 511.48/513.27 c #Conflicts: 352000 | #Constraints: 46350 511.48/513.27 c #Conflicts: 353000 | #Constraints: 47350 511.48/513.27 c INPROCESSING 511.48/513.27 c GARBAGE COLLECT 511.48/513.27 c rational objective 81 528.53/530.39 c #Conflicts: 354000 | #Constraints: 27546 528.53/530.39 c #Conflicts: 355000 | #Constraints: 28547 528.53/530.39 c #Conflicts: 356000 | #Constraints: 29548 528.53/530.39 c #Conflicts: 357000 | #Constraints: 30548 528.53/530.39 c #Conflicts: 358000 | #Constraints: 31548 528.53/530.39 c #Conflicts: 359000 | #Constraints: 32548 528.53/530.39 c #Conflicts: 360000 | #Constraints: 33548 528.53/530.39 c #Conflicts: 361000 | #Constraints: 34548 528.53/530.39 c #Conflicts: 362000 | #Constraints: 35548 528.53/530.39 c #Conflicts: 363000 | #Constraints: 36548 528.53/530.39 c #Conflicts: 364000 | #Constraints: 37548 528.53/530.39 c #Conflicts: 365000 | #Constraints: 38548 528.53/530.39 c #Conflicts: 366000 | #Constraints: 39548 528.53/530.39 c INPROCESSING 528.53/530.39 c GARBAGE COLLECT 528.53/530.39 c rational objective 81 551.55/553.43 c #Conflicts: 367000 | #Constraints: 23532 551.55/553.43 c #Conflicts: 368000 | #Constraints: 24532 551.55/553.43 c #Conflicts: 369000 | #Constraints: 25533 551.55/553.43 c #Conflicts: 370000 | #Constraints: 26533 551.55/553.43 c #Conflicts: 371000 | #Constraints: 27533 551.55/553.43 c #Conflicts: 372000 | #Constraints: 28533 551.55/553.43 c #Conflicts: 373000 | #Constraints: 29533 551.55/553.43 c #Conflicts: 374000 | #Constraints: 30534 551.55/553.43 c #Conflicts: 375000 | #Constraints: 31534 551.55/553.43 c #Conflicts: 376000 | #Constraints: 32534 551.55/553.43 c #Conflicts: 377000 | #Constraints: 33534 551.55/553.43 c #Conflicts: 378000 | #Constraints: 34534 551.55/553.43 c #Conflicts: 379000 | #Constraints: 35535 551.55/553.43 c #Conflicts: 380000 | #Constraints: 36535 551.55/553.43 c INPROCESSING 551.55/553.43 c GARBAGE COLLECT 551.55/553.43 c rational objective 81 571.48/573.45 c #Conflicts: 381000 | #Constraints: 22279 571.48/573.45 c #Conflicts: 382000 | #Constraints: 23280 571.48/573.45 c #Conflicts: 383000 | #Constraints: 24280 571.48/573.45 c #Conflicts: 384000 | #Constraints: 25280 571.48/573.45 c #Conflicts: 385000 | #Constraints: 26280 571.48/573.45 c #Conflicts: 386000 | #Constraints: 27281 571.48/573.45 c #Conflicts: 387000 | #Constraints: 28281 571.48/573.45 c #Conflicts: 388000 | #Constraints: 29281 571.48/573.45 c #Conflicts: 389000 | #Constraints: 30281 571.48/573.45 c #Conflicts: 390000 | #Constraints: 31281 571.48/573.45 c #Conflicts: 391000 | #Constraints: 32281 571.48/573.45 c #Conflicts: 392000 | #Constraints: 33281 571.48/573.45 c #Conflicts: 393000 | #Constraints: 34281 571.48/573.45 c INPROCESSING 571.48/573.45 c GARBAGE COLLECT 571.48/573.45 c rational objective 81 674.14/676.47 c #Conflicts: 394000 | #Constraints: 20899 674.14/676.47 c #Conflicts: 395000 | #Constraints: 21899 674.14/676.47 c #Conflicts: 396000 | #Constraints: 22899 674.14/676.47 c #Conflicts: 397000 | #Constraints: 23899 674.14/676.47 c #Conflicts: 398000 | #Constraints: 24900 674.14/676.47 c #Conflicts: 399000 | #Constraints: 25900 674.14/676.47 c #Conflicts: 400000 | #Constraints: 26900 674.14/676.47 c #Conflicts: 401000 | #Constraints: 27900 674.14/676.47 c #Conflicts: 402000 | #Constraints: 28901 674.14/676.47 c #Conflicts: 403000 | #Constraints: 29901 674.14/676.47 c #Conflicts: 404000 | #Constraints: 30901 674.14/676.47 c #Conflicts: 405000 | #Constraints: 31901 674.14/676.47 c #Conflicts: 406000 | #Constraints: 32901 674.14/676.47 c #Conflicts: 407000 | #Constraints: 33901 674.14/676.47 c #Conflicts: 408000 | #Constraints: 34901 674.14/676.47 c #Conflicts: 409000 | #Constraints: 35901 674.14/676.47 c #Conflicts: 410000 | #Constraints: 36901 674.14/676.47 c #Conflicts: 411000 | #Constraints: 37901 674.14/676.47 c #Conflicts: 412000 | #Constraints: 38901 674.14/676.47 c #Conflicts: 413000 | #Constraints: 39901 674.14/676.47 c #Conflicts: 414000 | #Constraints: 40901 674.14/676.47 c #Conflicts: 415000 | #Constraints: 41901 674.14/676.47 c #Conflicts: 416000 | #Constraints: 42901 674.14/676.47 c #Conflicts: 417000 | #Constraints: 43902 674.14/676.47 c #Conflicts: 418000 | #Constraints: 44902 674.14/676.47 c #Conflicts: 419000 | #Constraints: 45902 674.14/676.47 c #Conflicts: 420000 | #Constraints: 46902 674.14/676.47 c #Conflicts: 421000 | #Constraints: 47902 674.14/676.47 c #Conflicts: 422000 | #Constraints: 48902 674.14/676.47 c #Conflicts: 423000 | #Constraints: 49902 674.14/676.47 c #Conflicts: 424000 | #Constraints: 50902 674.14/676.47 c #Conflicts: 425000 | #Constraints: 51902 674.14/676.47 c #Conflicts: 426000 | #Constraints: 52902 674.14/676.47 c #Conflicts: 427000 | #Constraints: 53902 674.14/676.47 c #Conflicts: 428000 | #Constraints: 54902 674.14/676.47 c #Conflicts: 429000 | #Constraints: 55902 674.14/676.47 c #Conflicts: 430000 | #Constraints: 56902 674.14/676.47 c #Conflicts: 431000 | #Constraints: 57902 674.14/676.47 c #Conflicts: 432000 | #Constraints: 58902 674.14/676.47 c #Conflicts: 433000 | #Constraints: 59902 674.14/676.47 c #Conflicts: 434000 | #Constraints: 60902 674.14/676.47 c #Conflicts: 435000 | #Constraints: 61902 674.14/676.47 c #Conflicts: 436000 | #Constraints: 62902 674.14/676.47 c #Conflicts: 437000 | #Constraints: 63902 674.14/676.47 c #Conflicts: 438000 | #Constraints: 64902 674.14/676.47 c #Conflicts: 439000 | #Constraints: 65902 674.14/676.47 c #Conflicts: 440000 | #Constraints: 66902 674.14/676.47 c #Conflicts: 441000 | #Constraints: 67902 674.14/676.47 c #Conflicts: 442000 | #Constraints: 68902 674.14/676.47 c #Conflicts: 443000 | #Constraints: 69902 674.14/676.47 c #Conflicts: 444000 | #Constraints: 70903 674.14/676.47 c #Conflicts: 445000 | #Constraints: 71903 674.14/676.47 c INPROCESSING 674.14/676.47 c GARBAGE COLLECT 674.14/676.47 c rational objective 81 698.35/700.71 c #Conflicts: 446000 | #Constraints: 39949 698.35/700.71 c #Conflicts: 447000 | #Constraints: 40949 698.35/700.71 c #Conflicts: 448000 | #Constraints: 41950 698.35/700.71 c #Conflicts: 449000 | #Constraints: 42950 698.35/700.71 c #Conflicts: 450000 | #Constraints: 43950 698.35/700.71 c #Conflicts: 451000 | #Constraints: 44950 698.35/700.71 c #Conflicts: 452000 | #Constraints: 45950 698.35/700.71 c #Conflicts: 453000 | #Constraints: 46950 698.35/700.71 c #Conflicts: 454000 | #Constraints: 47950 698.35/700.71 c #Conflicts: 455000 | #Constraints: 48950 698.35/700.71 c #Conflicts: 456000 | #Constraints: 49950 698.35/700.71 c #Conflicts: 457000 | #Constraints: 50950 698.35/700.71 c #Conflicts: 458000 | #Constraints: 51950 698.35/700.71 c #Conflicts: 459000 | #Constraints: 52950 698.35/700.71 c #Conflicts: 460000 | #Constraints: 53950 698.35/700.71 c INPROCESSING 698.35/700.71 c GARBAGE COLLECT 698.35/700.71 c rational objective 81 725.17/727.65 c #Conflicts: 461000 | #Constraints: 31009 725.17/727.65 c #Conflicts: 462000 | #Constraints: 32010 725.17/727.65 c #Conflicts: 463000 | #Constraints: 33010 725.17/727.65 c #Conflicts: 464000 | #Constraints: 34010 725.17/727.65 c #Conflicts: 465000 | #Constraints: 35010 725.17/727.65 c #Conflicts: 466000 | #Constraints: 36010 725.17/727.65 c #Conflicts: 467000 | #Constraints: 37010 725.17/727.65 c #Conflicts: 468000 | #Constraints: 38010 725.17/727.65 c #Conflicts: 469000 | #Constraints: 39010 725.17/727.65 c #Conflicts: 470000 | #Constraints: 40010 725.17/727.65 c #Conflicts: 471000 | #Constraints: 41010 725.17/727.65 c #Conflicts: 472000 | #Constraints: 42010 725.17/727.65 c #Conflicts: 473000 | #Constraints: 43010 725.17/727.65 c #Conflicts: 474000 | #Constraints: 44010 725.17/727.65 c #Conflicts: 475000 | #Constraints: 45011 725.17/727.65 c INPROCESSING 725.17/727.65 c GARBAGE COLLECT 725.17/727.65 c rational objective 81 755.67/758.26 c #Conflicts: 476000 | #Constraints: 26500 755.67/758.26 c #Conflicts: 477000 | #Constraints: 27500 755.67/758.26 c #Conflicts: 478000 | #Constraints: 28500 755.67/758.26 c #Conflicts: 479000 | #Constraints: 29500 755.67/758.26 c #Conflicts: 480000 | #Constraints: 30500 755.67/758.26 c #Conflicts: 481000 | #Constraints: 31500 755.67/758.26 c #Conflicts: 482000 | #Constraints: 32500 755.67/758.26 c #Conflicts: 483000 | #Constraints: 33500 755.67/758.26 c #Conflicts: 484000 | #Constraints: 34500 755.67/758.26 c #Conflicts: 485000 | #Constraints: 35500 755.67/758.26 c #Conflicts: 486000 | #Constraints: 36500 755.67/758.26 c #Conflicts: 487000 | #Constraints: 37500 755.67/758.26 c #Conflicts: 488000 | #Constraints: 38501 755.67/758.26 c #Conflicts: 489000 | #Constraints: 39501 755.67/758.26 c #Conflicts: 490000 | #Constraints: 40501 755.67/758.26 c INPROCESSING 755.67/758.26 c GARBAGE COLLECT 755.67/758.26 c rational objective 81 775.20/777.81 c #Conflicts: 491000 | #Constraints: 24067 775.20/777.81 c #Conflicts: 492000 | #Constraints: 25067 775.20/777.81 c #Conflicts: 493000 | #Constraints: 26067 775.20/777.81 c #Conflicts: 494000 | #Constraints: 27067 775.20/777.81 c #Conflicts: 495000 | #Constraints: 28067 775.20/777.81 c #Conflicts: 496000 | #Constraints: 29067 775.20/777.81 c #Conflicts: 497000 | #Constraints: 30067 775.20/777.81 c #Conflicts: 498000 | #Constraints: 31067 775.20/777.81 c #Conflicts: 499000 | #Constraints: 32067 775.20/777.81 c #Conflicts: 500000 | #Constraints: 33068 775.20/777.81 c #Conflicts: 501000 | #Constraints: 34068 775.20/777.81 c #Conflicts: 502000 | #Constraints: 35068 775.20/777.81 c #Conflicts: 503000 | #Constraints: 36068 775.20/777.81 c #Conflicts: 504000 | #Constraints: 37068 775.20/777.81 c #Conflicts: 505000 | #Constraints: 38068 775.20/777.81 c #Conflicts: 506000 | #Constraints: 39068 775.20/777.81 c INPROCESSING 775.20/777.81 c GARBAGE COLLECT 775.20/777.81 c rational objective 81 901.99/905.05 c #Conflicts: 507000 | #Constraints: 23559 901.99/905.05 c #Conflicts: 508000 | #Constraints: 24559 901.99/905.05 c #Conflicts: 509000 | #Constraints: 25560 901.99/905.05 c #Conflicts: 510000 | #Constraints: 26560 901.99/905.05 c #Conflicts: 511000 | #Constraints: 27561 901.99/905.05 c #Conflicts: 512000 | #Constraints: 28561 901.99/905.05 c #Conflicts: 513000 | #Constraints: 29561 901.99/905.05 c #Conflicts: 514000 | #Constraints: 30561 901.99/905.05 c #Conflicts: 515000 | #Constraints: 31562 901.99/905.05 c #Conflicts: 516000 | #Constraints: 32562 901.99/905.05 c #Conflicts: 517000 | #Constraints: 33562 901.99/905.05 c #Conflicts: 518000 | #Constraints: 34562 901.99/905.05 c #Conflicts: 519000 | #Constraints: 35563 901.99/905.05 c #Conflicts: 520000 | #Constraints: 36563 901.99/905.05 c #Conflicts: 521000 | #Constraints: 37563 901.99/905.05 c #Conflicts: 522000 | #Constraints: 38563 901.99/905.05 c #Conflicts: 523000 | #Constraints: 39563 901.99/905.05 c #Conflicts: 524000 | #Constraints: 40563 901.99/905.05 c #Conflicts: 525000 | #Constraints: 41563 901.99/905.05 c #Conflicts: 526000 | #Constraints: 42563 901.99/905.05 c #Conflicts: 527000 | #Constraints: 43563 901.99/905.05 c #Conflicts: 528000 | #Constraints: 44563 901.99/905.05 c #Conflicts: 529000 | #Constraints: 45563 901.99/905.05 c #Conflicts: 530000 | #Constraints: 46563 901.99/905.05 c #Conflicts: 531000 | #Constraints: 47564 901.99/905.05 c #Conflicts: 532000 | #Constraints: 48564 901.99/905.05 c #Conflicts: 533000 | #Constraints: 49564 901.99/905.05 c #Conflicts: 534000 | #Constraints: 50565 901.99/905.05 c #Conflicts: 535000 | #Constraints: 51565 901.99/905.05 c #Conflicts: 536000 | #Constraints: 52565 901.99/905.05 c #Conflicts: 537000 | #Constraints: 53565 901.99/905.05 c #Conflicts: 538000 | #Constraints: 54565 901.99/905.05 c #Conflicts: 539000 | #Constraints: 55565 901.99/905.05 c #Conflicts: 540000 | #Constraints: 56565 901.99/905.05 c #Conflicts: 541000 | #Constraints: 57565 901.99/905.05 c #Conflicts: 542000 | #Constraints: 58565 901.99/905.05 c #Conflicts: 543000 | #Constraints: 59565 901.99/905.05 c #Conflicts: 544000 | #Constraints: 60565 901.99/905.05 c #Conflicts: 545000 | #Constraints: 61565 901.99/905.05 c #Conflicts: 546000 | #Constraints: 62565 901.99/905.05 c #Conflicts: 547000 | #Constraints: 63565 901.99/905.05 c #Conflicts: 548000 | #Constraints: 64565 901.99/905.05 c #Conflicts: 549000 | #Constraints: 65565 901.99/905.05 c #Conflicts: 550000 | #Constraints: 66565 901.99/905.05 c #Conflicts: 551000 | #Constraints: 67565 901.99/905.05 c #Conflicts: 552000 | #Constraints: 68565 901.99/905.05 c #Conflicts: 553000 | #Constraints: 69565 901.99/905.05 c #Conflicts: 554000 | #Constraints: 70565 901.99/905.05 c #Conflicts: 555000 | #Constraints: 71565 901.99/905.05 c #Conflicts: 556000 | #Constraints: 72565 901.99/905.05 c #Conflicts: 557000 | #Constraints: 73565 901.99/905.05 c #Conflicts: 558000 | #Constraints: 74565 901.99/905.05 c #Conflicts: 559000 | #Constraints: 75565 901.99/905.05 c #Conflicts: 560000 | #Constraints: 76565 901.99/905.05 c #Conflicts: 561000 | #Constraints: 77565 901.99/905.05 c #Conflicts: 562000 | #Constraints: 78565 901.99/905.05 c #Conflicts: 563000 | #Constraints: 79565 901.99/905.05 c #Conflicts: 564000 | #Constraints: 80565 901.99/905.05 c INPROCESSING 901.99/905.05 c GARBAGE COLLECT 901.99/905.05 c rational objective 81 944.13/947.36 c #Conflicts: 565000 | #Constraints: 44382 944.13/947.36 c #Conflicts: 566000 | #Constraints: 45382 944.13/947.36 c #Conflicts: 567000 | #Constraints: 46382 944.13/947.36 c #Conflicts: 568000 | #Constraints: 47382 944.13/947.36 c #Conflicts: 569000 | #Constraints: 48382 944.13/947.36 c #Conflicts: 570000 | #Constraints: 49383 944.13/947.36 c #Conflicts: 571000 | #Constraints: 50383 944.13/947.36 c #Conflicts: 572000 | #Constraints: 51384 944.13/947.36 c #Conflicts: 573000 | #Constraints: 52384 944.13/947.36 c #Conflicts: 574000 | #Constraints: 53384 944.13/947.36 c #Conflicts: 575000 | #Constraints: 54384 944.13/947.36 c #Conflicts: 576000 | #Constraints: 55384 944.13/947.36 c #Conflicts: 577000 | #Constraints: 56384 944.13/947.36 c #Conflicts: 578000 | #Constraints: 57384 944.13/947.36 c #Conflicts: 579000 | #Constraints: 58384 944.13/947.36 c #Conflicts: 580000 | #Constraints: 59384 944.13/947.36 c INPROCESSING 944.13/947.36 c GARBAGE COLLECT 944.13/947.36 c rational objective 81 970.33/973.61 c #Conflicts: 581000 | #Constraints: 33341 970.33/973.61 c #Conflicts: 582000 | #Constraints: 34341 970.33/973.61 c #Conflicts: 583000 | #Constraints: 35341 970.33/973.61 c #Conflicts: 584000 | #Constraints: 36341 970.33/973.61 c #Conflicts: 585000 | #Constraints: 37341 970.33/973.61 c #Conflicts: 586000 | #Constraints: 38341 970.33/973.61 c #Conflicts: 587000 | #Constraints: 39341 970.33/973.61 c #Conflicts: 588000 | #Constraints: 40341 970.33/973.61 c #Conflicts: 589000 | #Constraints: 41342 970.33/973.61 c #Conflicts: 590000 | #Constraints: 42342 970.33/973.61 c #Conflicts: 591000 | #Constraints: 43342 970.33/973.61 c #Conflicts: 592000 | #Constraints: 44342 970.33/973.61 c #Conflicts: 593000 | #Constraints: 45342 970.33/973.61 c #Conflicts: 594000 | #Constraints: 46342 970.33/973.61 c #Conflicts: 595000 | #Constraints: 47342 970.33/973.61 c #Conflicts: 596000 | #Constraints: 48342 970.33/973.61 c #Conflicts: 597000 | #Constraints: 49342 970.33/973.61 c INPROCESSING 970.33/973.61 c GARBAGE COLLECT 970.33/973.61 c rational objective 81 998.54/1001.95 c #Conflicts: 598000 | #Constraints: 28359 998.54/1001.95 c #Conflicts: 599000 | #Constraints: 29359 998.54/1001.95 c #Conflicts: 600000 | #Constraints: 30359 998.54/1001.95 c #Conflicts: 601000 | #Constraints: 31359 998.54/1001.95 c #Conflicts: 602000 | #Constraints: 32359 998.54/1001.95 c #Conflicts: 603000 | #Constraints: 33359 998.54/1001.95 c #Conflicts: 604000 | #Constraints: 34359 998.54/1001.95 c #Conflicts: 605000 | #Constraints: 35359 998.54/1001.95 c #Conflicts: 606000 | #Constraints: 36360 998.54/1001.95 c #Conflicts: 607000 | #Constraints: 37360 998.54/1001.95 c #Conflicts: 608000 | #Constraints: 38360 998.54/1001.95 c #Conflicts: 609000 | #Constraints: 39361 998.54/1001.95 c #Conflicts: 610000 | #Constraints: 40361 998.54/1001.95 c #Conflicts: 611000 | #Constraints: 41361 998.54/1001.95 c #Conflicts: 612000 | #Constraints: 42362 998.54/1001.95 c #Conflicts: 613000 | #Constraints: 43362 998.54/1001.95 c #Conflicts: 614000 | #Constraints: 44362 998.54/1001.95 c #Conflicts: 615000 | #Constraints: 45362 998.54/1001.95 c INPROCESSING 998.54/1001.95 c GARBAGE COLLECT 998.54/1001.95 c rational objective 81 1026.15/1029.66 c #Conflicts: 616000 | #Constraints: 26834 1026.15/1029.66 c #Conflicts: 617000 | #Constraints: 27834 1026.15/1029.66 c #Conflicts: 618000 | #Constraints: 28834 1026.15/1029.66 c #Conflicts: 619000 | #Constraints: 29834 1026.15/1029.66 c #Conflicts: 620000 | #Constraints: 30834 1026.15/1029.66 c #Conflicts: 621000 | #Constraints: 31835 1026.15/1029.66 c #Conflicts: 622000 | #Constraints: 32835 1026.15/1029.66 c #Conflicts: 623000 | #Constraints: 33835 1026.15/1029.66 c #Conflicts: 624000 | #Constraints: 34835 1026.15/1029.66 c #Conflicts: 625000 | #Constraints: 35835 1026.15/1029.66 c #Conflicts: 626000 | #Constraints: 36835 1026.15/1029.66 c #Conflicts: 627000 | #Constraints: 37835 1026.15/1029.66 c #Conflicts: 628000 | #Constraints: 38835 1026.15/1029.66 c #Conflicts: 629000 | #Constraints: 39835 1026.15/1029.66 c #Conflicts: 630000 | #Constraints: 40835 1026.15/1029.66 c #Conflicts: 631000 | #Constraints: 41835 1026.15/1029.66 c #Conflicts: 632000 | #Constraints: 42835 1026.15/1029.66 c INPROCESSING 1026.15/1029.66 c GARBAGE COLLECT 1026.15/1029.66 c rational objective 81 1177.04/1181.03 c #Conflicts: 633000 | #Constraints: 25267 1177.04/1181.03 c #Conflicts: 634000 | #Constraints: 26267 1177.04/1181.03 c #Conflicts: 635000 | #Constraints: 27267 1177.04/1181.03 c #Conflicts: 636000 | #Constraints: 28268 1177.04/1181.03 c #Conflicts: 637000 | #Constraints: 29268 1177.04/1181.03 c #Conflicts: 638000 | #Constraints: 30268 1177.04/1181.03 c #Conflicts: 639000 | #Constraints: 31268 1177.04/1181.03 c #Conflicts: 640000 | #Constraints: 32268 1177.04/1181.03 c #Conflicts: 641000 | #Constraints: 33268 1177.04/1181.03 c #Conflicts: 642000 | #Constraints: 34268 1177.04/1181.03 c #Conflicts: 643000 | #Constraints: 35268 1177.04/1181.03 c #Conflicts: 644000 | #Constraints: 36268 1177.04/1181.03 c #Conflicts: 645000 | #Constraints: 37268 1177.04/1181.03 c #Conflicts: 646000 | #Constraints: 38268 1177.04/1181.03 c #Conflicts: 647000 | #Constraints: 39268 1177.04/1181.03 c #Conflicts: 648000 | #Constraints: 40268 1177.04/1181.03 c #Conflicts: 649000 | #Constraints: 41269 1177.04/1181.03 c #Conflicts: 650000 | #Constraints: 42269 1177.04/1181.03 c #Conflicts: 651000 | #Constraints: 43269 1177.04/1181.03 c #Conflicts: 652000 | #Constraints: 44269 1177.04/1181.03 c #Conflicts: 653000 | #Constraints: 45269 1177.04/1181.03 c #Conflicts: 654000 | #Constraints: 46269 1177.04/1181.03 c #Conflicts: 655000 | #Constraints: 47269 1177.04/1181.03 c #Conflicts: 656000 | #Constraints: 48269 1177.04/1181.03 c #Conflicts: 657000 | #Constraints: 49270 1177.04/1181.03 c #Conflicts: 658000 | #Constraints: 50270 1177.04/1181.03 c #Conflicts: 659000 | #Constraints: 51270 1177.04/1181.03 c #Conflicts: 660000 | #Constraints: 52270 1177.04/1181.03 c #Conflicts: 661000 | #Constraints: 53270 1177.04/1181.03 c #Conflicts: 662000 | #Constraints: 54270 1177.04/1181.03 c #Conflicts: 663000 | #Constraints: 55270 1177.04/1181.03 c #Conflicts: 664000 | #Constraints: 56270 1177.04/1181.03 c #Conflicts: 665000 | #Constraints: 57270 1177.04/1181.03 c #Conflicts: 666000 | #Constraints: 58270 1177.04/1181.03 c #Conflicts: 667000 | #Constraints: 59270 1177.04/1181.03 c #Conflicts: 668000 | #Constraints: 60270 1177.04/1181.03 c #Conflicts: 669000 | #Constraints: 61270 1177.04/1181.03 c #Conflicts: 670000 | #Constraints: 62270 1177.04/1181.03 c #Conflicts: 671000 | #Constraints: 63270 1177.04/1181.03 c #Conflicts: 672000 | #Constraints: 64270 1177.04/1181.03 c #Conflicts: 673000 | #Constraints: 65270 1177.04/1181.03 c #Conflicts: 674000 | #Constraints: 66270 1177.04/1181.03 c #Conflicts: 675000 | #Constraints: 67270 1177.04/1181.03 c #Conflicts: 676000 | #Constraints: 68270 1177.04/1181.03 c #Conflicts: 677000 | #Constraints: 69270 1177.04/1181.03 c #Conflicts: 678000 | #Constraints: 70270 1177.04/1181.03 c #Conflicts: 679000 | #Constraints: 71270 1177.04/1181.03 c #Conflicts: 680000 | #Constraints: 72270 1177.04/1181.03 c #Conflicts: 681000 | #Constraints: 73270 1177.04/1181.03 c #Conflicts: 682000 | #Constraints: 74270 1177.04/1181.03 c #Conflicts: 683000 | #Constraints: 75270 1177.04/1181.03 c #Conflicts: 684000 | #Constraints: 76270 1177.04/1181.03 c #Conflicts: 685000 | #Constraints: 77270 1177.04/1181.03 c #Conflicts: 686000 | #Constraints: 78270 1177.04/1181.03 c #Conflicts: 687000 | #Constraints: 79270 1177.04/1181.03 c #Conflicts: 688000 | #Constraints: 80270 1177.04/1181.03 c #Conflicts: 689000 | #Constraints: 81270 1177.04/1181.03 c #Conflicts: 690000 | #Constraints: 82270 1177.04/1181.03 c #Conflicts: 691000 | #Constraints: 83270 1177.04/1181.03 c #Conflicts: 692000 | #Constraints: 84270 1177.04/1181.03 c #Conflicts: 693000 | #Constraints: 85270 1177.04/1181.03 c #Conflicts: 694000 | #Constraints: 86271 1177.04/1181.03 c #Conflicts: 695000 | #Constraints: 87271 1177.04/1181.03 c #Conflicts: 696000 | #Constraints: 88271 1177.04/1181.03 c INPROCESSING 1177.04/1181.03 c GARBAGE COLLECT 1177.04/1181.03 c rational objective 81 1219.89/1224.01 c #Conflicts: 697000 | #Constraints: 47802 1219.89/1224.01 c #Conflicts: 698000 | #Constraints: 48802 1219.89/1224.01 c #Conflicts: 699000 | #Constraints: 49802 1219.89/1224.01 c #Conflicts: 700000 | #Constraints: 50802 1219.89/1224.01 c #Conflicts: 701000 | #Constraints: 51802 1219.89/1224.01 c #Conflicts: 702000 | #Constraints: 52802 1219.89/1224.01 c #Conflicts: 703000 | #Constraints: 53802 1219.89/1224.01 c #Conflicts: 704000 | #Constraints: 54802 1219.89/1224.01 c #Conflicts: 705000 | #Constraints: 55802 1219.89/1224.01 c #Conflicts: 706000 | #Constraints: 56802 1219.89/1224.01 c #Conflicts: 707000 | #Constraints: 57802 1219.89/1224.01 c #Conflicts: 708000 | #Constraints: 58803 1219.89/1224.01 c #Conflicts: 709000 | #Constraints: 59803 1219.89/1224.01 c #Conflicts: 710000 | #Constraints: 60803 1219.89/1224.01 c #Conflicts: 711000 | #Constraints: 61803 1219.89/1224.01 c #Conflicts: 712000 | #Constraints: 62803 1219.89/1224.01 c #Conflicts: 713000 | #Constraints: 63803 1219.89/1224.01 c #Conflicts: 714000 | #Constraints: 64803 1219.89/1224.01 c #Conflicts: 715000 | #Constraints: 65803 1219.89/1224.01 c INPROCESSING 1219.89/1224.01 c GARBAGE COLLECT 1219.89/1224.01 c rational objective 81 1251.08/1255.32 c #Conflicts: 716000 | #Constraints: 36810 1251.08/1255.32 c #Conflicts: 717000 | #Constraints: 37810 1251.08/1255.32 c #Conflicts: 718000 | #Constraints: 38810 1251.08/1255.32 c #Conflicts: 719000 | #Constraints: 39810 1251.08/1255.32 c #Conflicts: 720000 | #Constraints: 40810 1251.08/1255.32 c #Conflicts: 721000 | #Constraints: 41810 1251.08/1255.32 c #Conflicts: 722000 | #Constraints: 42810 1251.08/1255.32 c #Conflicts: 723000 | #Constraints: 43810 1251.08/1255.32 c #Conflicts: 724000 | #Constraints: 44810 1251.08/1255.32 c #Conflicts: 725000 | #Constraints: 45811 1251.08/1255.32 c #Conflicts: 726000 | #Constraints: 46811 1251.08/1255.32 c #Conflicts: 727000 | #Constraints: 47812 1251.08/1255.32 c #Conflicts: 728000 | #Constraints: 48812 1251.08/1255.32 c #Conflicts: 729000 | #Constraints: 49812 1251.08/1255.32 c #Conflicts: 730000 | #Constraints: 50812 1251.08/1255.32 c #Conflicts: 731000 | #Constraints: 51812 1251.08/1255.32 c #Conflicts: 732000 | #Constraints: 52813 1251.08/1255.32 c #Conflicts: 733000 | #Constraints: 53813 1251.08/1255.32 c #Conflicts: 734000 | #Constraints: 54814 1251.08/1255.32 c INPROCESSING 1251.08/1255.32 c GARBAGE COLLECT 1251.08/1255.32 c rational objective 81 1283.07/1287.46 c #Conflicts: 735000 | #Constraints: 31380 1283.07/1287.46 c #Conflicts: 736000 | #Constraints: 32381 1283.07/1287.46 c #Conflicts: 737000 | #Constraints: 33381 1283.07/1287.46 c #Conflicts: 738000 | #Constraints: 34381 1283.07/1287.46 c #Conflicts: 739000 | #Constraints: 35381 1283.07/1287.46 c #Conflicts: 740000 | #Constraints: 36381 1283.07/1287.46 c #Conflicts: 741000 | #Constraints: 37381 1283.07/1287.46 c #Conflicts: 742000 | #Constraints: 38381 1283.07/1287.46 c #Conflicts: 743000 | #Constraints: 39381 1283.07/1287.46 c #Conflicts: 744000 | #Constraints: 40381 1283.07/1287.46 c #Conflicts: 745000 | #Constraints: 41381 1283.07/1287.46 c #Conflicts: 746000 | #Constraints: 42381 1283.07/1287.46 c #Conflicts: 747000 | #Constraints: 43381 1283.07/1287.46 c #Conflicts: 748000 | #Constraints: 44381 1283.07/1287.46 c #Conflicts: 749000 | #Constraints: 45381 1283.07/1287.46 c #Conflicts: 750000 | #Constraints: 46381 1283.07/1287.46 c #Conflicts: 751000 | #Constraints: 47381 1283.07/1287.46 c #Conflicts: 752000 | #Constraints: 48381 1283.07/1287.46 c #Conflicts: 753000 | #Constraints: 49381 1283.07/1287.46 c INPROCESSING 1283.07/1287.46 c GARBAGE COLLECT 1283.07/1287.46 c rational objective 81 1310.08/1314.54 c #Conflicts: 754000 | #Constraints: 28500 1310.08/1314.54 c #Conflicts: 755000 | #Constraints: 29500 1310.08/1314.54 c #Conflicts: 756000 | #Constraints: 30500 1310.08/1314.54 c #Conflicts: 757000 | #Constraints: 31500 1310.08/1314.54 c #Conflicts: 758000 | #Constraints: 32500 1310.08/1314.54 c #Conflicts: 759000 | #Constraints: 33500 1310.08/1314.54 c #Conflicts: 760000 | #Constraints: 34500 1310.08/1314.54 c #Conflicts: 761000 | #Constraints: 35500 1310.08/1314.54 c #Conflicts: 762000 | #Constraints: 36500 1310.08/1314.54 c #Conflicts: 763000 | #Constraints: 37500 1310.08/1314.54 c #Conflicts: 764000 | #Constraints: 38500 1310.08/1314.54 c #Conflicts: 765000 | #Constraints: 39500 1310.08/1314.54 c #Conflicts: 766000 | #Constraints: 40500 1310.08/1314.54 c #Conflicts: 767000 | #Constraints: 41500 1310.08/1314.54 c #Conflicts: 768000 | #Constraints: 42500 1310.08/1314.54 c #Conflicts: 769000 | #Constraints: 43501 1310.08/1314.54 c #Conflicts: 770000 | #Constraints: 44501 1310.08/1314.54 c #Conflicts: 771000 | #Constraints: 45501 1310.08/1314.54 c #Conflicts: 772000 | #Constraints: 46501 1310.08/1314.54 c INPROCESSING 1310.08/1314.54 c GARBAGE COLLECT 1310.08/1314.54 c rational objective 81 1474.03/1479.04 c #Conflicts: 773000 | #Constraints: 26967 1474.03/1479.04 c #Conflicts: 774000 | #Constraints: 27967 1474.03/1479.04 c #Conflicts: 775000 | #Constraints: 28967 1474.03/1479.04 c #Conflicts: 776000 | #Constraints: 29968 1474.03/1479.04 c #Conflicts: 777000 | #Constraints: 30968 1474.03/1479.04 c #Conflicts: 778000 | #Constraints: 31969 1474.03/1479.04 c #Conflicts: 779000 | #Constraints: 32969 1474.03/1479.04 c #Conflicts: 780000 | #Constraints: 33969 1474.03/1479.04 c #Conflicts: 781000 | #Constraints: 34969 1474.03/1479.04 c #Conflicts: 782000 | #Constraints: 35969 1474.03/1479.04 c #Conflicts: 783000 | #Constraints: 36970 1474.03/1479.04 c #Conflicts: 784000 | #Constraints: 37970 1474.03/1479.04 c #Conflicts: 785000 | #Constraints: 38970 1474.03/1479.04 c #Conflicts: 786000 | #Constraints: 39970 1474.03/1479.04 c #Conflicts: 787000 | #Constraints: 40970 1474.03/1479.04 c #Conflicts: 788000 | #Constraints: 41970 1474.03/1479.04 c #Conflicts: 789000 | #Constraints: 42970 1474.03/1479.04 c #Conflicts: 790000 | #Constraints: 43970 1474.03/1479.04 c #Conflicts: 791000 | #Constraints: 44970 1474.03/1479.04 c #Conflicts: 792000 | #Constraints: 45970 1474.03/1479.04 c #Conflicts: 793000 | #Constraints: 46970 1474.03/1479.04 c #Conflicts: 794000 | #Constraints: 47970 1474.03/1479.04 c #Conflicts: 795000 | #Constraints: 48970 1474.03/1479.04 c #Conflicts: 796000 | #Constraints: 49970 1474.03/1479.04 c #Conflicts: 797000 | #Constraints: 50970 1474.03/1479.04 c #Conflicts: 798000 | #Constraints: 51971 1474.03/1479.04 c #Conflicts: 799000 | #Constraints: 52971 1474.03/1479.04 c #Conflicts: 800000 | #Constraints: 53971 1474.03/1479.04 c #Conflicts: 801000 | #Constraints: 54971 1474.03/1479.04 c #Conflicts: 802000 | #Constraints: 55971 1474.03/1479.04 c #Conflicts: 803000 | #Constraints: 56971 1474.03/1479.04 c #Conflicts: 804000 | #Constraints: 57971 1474.03/1479.04 c #Conflicts: 805000 | #Constraints: 58971 1474.03/1479.04 c #Conflicts: 806000 | #Constraints: 59971 1474.03/1479.04 c #Conflicts: 807000 | #Constraints: 60971 1474.03/1479.04 c #Conflicts: 808000 | #Constraints: 61971 1474.03/1479.04 c #Conflicts: 809000 | #Constraints: 62971 1474.03/1479.04 c #Conflicts: 810000 | #Constraints: 63971 1474.03/1479.04 c #Conflicts: 811000 | #Constraints: 64971 1474.03/1479.04 c #Conflicts: 812000 | #Constraints: 65972 1474.03/1479.04 c #Conflicts: 813000 | #Constraints: 66972 1474.03/1479.04 c #Conflicts: 814000 | #Constraints: 67972 1474.03/1479.04 c #Conflicts: 815000 | #Constraints: 68972 1474.03/1479.04 c #Conflicts: 816000 | #Constraints: 69972 1474.03/1479.04 c #Conflicts: 817000 | #Constraints: 70972 1474.03/1479.04 c #Conflicts: 818000 | #Constraints: 71972 1474.03/1479.04 c #Conflicts: 819000 | #Constraints: 72973 1474.03/1479.04 c #Conflicts: 820000 | #Constraints: 73973 1474.03/1479.04 c #Conflicts: 821000 | #Constraints: 74973 1474.03/1479.04 c #Conflicts: 822000 | #Constraints: 75973 1474.03/1479.04 c #Conflicts: 823000 | #Constraints: 76973 1474.03/1479.04 c #Conflicts: 824000 | #Constraints: 77973 1474.03/1479.04 c #Conflicts: 825000 | #Constraints: 78973 1474.03/1479.04 c #Conflicts: 826000 | #Constraints: 79973 1474.03/1479.04 c #Conflicts: 827000 | #Constraints: 80973 1474.03/1479.04 c #Conflicts: 828000 | #Constraints: 81974 1474.03/1479.04 c #Conflicts: 829000 | #Constraints: 82974 1474.03/1479.04 c #Conflicts: 830000 | #Constraints: 83974 1474.03/1479.04 c #Conflicts: 831000 | #Constraints: 84974 1474.03/1479.04 c #Conflicts: 832000 | #Constraints: 85974 1474.03/1479.04 c #Conflicts: 833000 | #Constraints: 86974 1474.03/1479.04 c #Conflicts: 834000 | #Constraints: 87974 1474.03/1479.04 c #Conflicts: 835000 | #Constraints: 88974 1474.03/1479.04 c #Conflicts: 836000 | #Constraints: 89974 1474.03/1479.04 c #Conflicts: 837000 | #Constraints: 90974 1474.03/1479.04 c #Conflicts: 838000 | #Constraints: 91974 1474.03/1479.04 c #Conflicts: 839000 | #Constraints: 92974 1474.03/1479.04 c #Conflicts: 840000 | #Constraints: 93974 1474.03/1479.04 c #Conflicts: 841000 | #Constraints: 94974 1474.03/1479.04 c #Conflicts: 842000 | #Constraints: 95974 1474.03/1479.04 c #Conflicts: 843000 | #Constraints: 96974 1474.03/1479.04 c INPROCESSING 1474.03/1479.04 c GARBAGE COLLECT 1474.03/1479.04 c rational objective 81 1517.77/1522.91 c #Conflicts: 844000 | #Constraints: 52275 1517.77/1522.91 c #Conflicts: 845000 | #Constraints: 53275 1517.77/1522.91 c #Conflicts: 846000 | #Constraints: 54275 1517.77/1522.91 c #Conflicts: 847000 | #Constraints: 55276 1517.77/1522.91 c #Conflicts: 848000 | #Constraints: 56277 1517.77/1522.91 c #Conflicts: 849000 | #Constraints: 57277 1517.77/1522.91 c #Conflicts: 850000 | #Constraints: 58278 1517.77/1522.91 c #Conflicts: 851000 | #Constraints: 59278 1517.77/1522.91 c #Conflicts: 852000 | #Constraints: 60278 1517.77/1522.91 c #Conflicts: 853000 | #Constraints: 61278 1517.77/1522.91 c #Conflicts: 854000 | #Constraints: 62278 1517.77/1522.91 c #Conflicts: 855000 | #Constraints: 63278 1517.77/1522.91 c #Conflicts: 856000 | #Constraints: 64278 1517.77/1522.91 c #Conflicts: 857000 | #Constraints: 65278 1517.77/1522.91 c #Conflicts: 858000 | #Constraints: 66278 1517.77/1522.91 c #Conflicts: 859000 | #Constraints: 67278 1517.77/1522.91 c #Conflicts: 860000 | #Constraints: 68279 1517.77/1522.91 c #Conflicts: 861000 | #Constraints: 69279 1517.77/1522.91 c #Conflicts: 862000 | #Constraints: 70279 1517.77/1522.91 c #Conflicts: 863000 | #Constraints: 71280 1517.77/1522.91 c #Conflicts: 864000 | #Constraints: 72280 1517.77/1522.91 c INPROCESSING 1517.77/1522.91 c GARBAGE COLLECT 1517.77/1522.91 c rational objective 81 1551.95/1557.28 c #Conflicts: 865000 | #Constraints: 40161 1551.95/1557.28 c #Conflicts: 866000 | #Constraints: 41161 1551.95/1557.28 c #Conflicts: 867000 | #Constraints: 42161 1551.95/1557.28 c #Conflicts: 868000 | #Constraints: 43161 1551.95/1557.28 c #Conflicts: 869000 | #Constraints: 44161 1551.95/1557.28 c #Conflicts: 870000 | #Constraints: 45161 1551.95/1557.28 c #Conflicts: 871000 | #Constraints: 46161 1551.95/1557.28 c #Conflicts: 872000 | #Constraints: 47161 1551.95/1557.28 c #Conflicts: 873000 | #Constraints: 48161 1551.95/1557.28 c #Conflicts: 874000 | #Constraints: 49163 1551.95/1557.28 c #Conflicts: 875000 | #Constraints: 50163 1551.95/1557.28 c #Conflicts: 876000 | #Constraints: 51163 1551.95/1557.28 c #Conflicts: 877000 | #Constraints: 52163 1551.95/1557.28 c #Conflicts: 878000 | #Constraints: 53163 1551.95/1557.28 c #Conflicts: 879000 | #Constraints: 54164 1551.95/1557.28 c #Conflicts: 880000 | #Constraints: 55164 1551.95/1557.28 c #Conflicts: 881000 | #Constraints: 56164 1551.95/1557.28 c #Conflicts: 882000 | #Constraints: 57164 1551.95/1557.28 c #Conflicts: 883000 | #Constraints: 58164 1551.95/1557.28 c #Conflicts: 884000 | #Constraints: 59164 1551.95/1557.28 c #Conflicts: 885000 | #Constraints: 60164 1551.95/1557.28 c INPROCESSING 1551.95/1557.28 c GARBAGE COLLECT 1551.95/1557.28 c rational objective 81 1590.20/1595.68 c #Conflicts: 886000 | #Constraints: 34223 1590.20/1595.68 c #Conflicts: 887000 | #Constraints: 35223 1590.20/1595.68 c #Conflicts: 888000 | #Constraints: 36223 1590.20/1595.68 c #Conflicts: 889000 | #Constraints: 37223 1590.20/1595.68 c #Conflicts: 890000 | #Constraints: 38223 1590.20/1595.68 c #Conflicts: 891000 | #Constraints: 39223 1590.20/1595.68 c #Conflicts: 892000 | #Constraints: 40223 1590.20/1595.68 c #Conflicts: 893000 | #Constraints: 41223 1590.20/1595.68 c #Conflicts: 894000 | #Constraints: 42223 1590.20/1595.68 c #Conflicts: 895000 | #Constraints: 43223 1590.20/1595.68 c #Conflicts: 896000 | #Constraints: 44223 1590.20/1595.68 c #Conflicts: 897000 | #Constraints: 45223 1590.20/1595.68 c #Conflicts: 898000 | #Constraints: 46223 1590.20/1595.68 c #Conflicts: 899000 | #Constraints: 47223 1590.20/1595.68 c #Conflicts: 900000 | #Constraints: 48223 1590.20/1595.68 c #Conflicts: 901000 | #Constraints: 49223 1590.20/1595.68 c #Conflicts: 902000 | #Constraints: 50223 1590.20/1595.68 c #Conflicts: 903000 | #Constraints: 51224 1590.20/1595.68 c #Conflicts: 904000 | #Constraints: 52224 1590.20/1595.68 c #Conflicts: 905000 | #Constraints: 53224 1590.20/1595.68 c #Conflicts: 906000 | #Constraints: 54224 1590.20/1595.68 c INPROCESSING 1590.20/1595.68 c GARBAGE COLLECT 1590.20/1595.68 c rational objective 81 1621.08/1626.66 c #Conflicts: 907000 | #Constraints: 31325 1621.08/1626.66 c #Conflicts: 908000 | #Constraints: 32326 1621.08/1626.66 c #Conflicts: 909000 | #Constraints: 33326 1621.08/1626.66 c #Conflicts: 910000 | #Constraints: 34326 1621.08/1626.66 c #Conflicts: 911000 | #Constraints: 35326 1621.08/1626.66 c #Conflicts: 912000 | #Constraints: 36326 1621.08/1626.66 c #Conflicts: 913000 | #Constraints: 37326 1621.08/1626.66 c #Conflicts: 914000 | #Constraints: 38326 1621.08/1626.66 c #Conflicts: 915000 | #Constraints: 39326 1621.08/1626.66 c #Conflicts: 916000 | #Constraints: 40326 1621.08/1626.66 c #Conflicts: 917000 | #Constraints: 41326 1621.08/1626.66 c #Conflicts: 918000 | #Constraints: 42326 1621.08/1626.66 c #Conflicts: 919000 | #Constraints: 43326 1621.08/1626.66 c #Conflicts: 920000 | #Constraints: 44326 1621.08/1626.66 c #Conflicts: 921000 | #Constraints: 45326 1621.08/1626.66 c #Conflicts: 922000 | #Constraints: 46326 1621.08/1626.66 c #Conflicts: 923000 | #Constraints: 47326 1621.08/1626.66 c #Conflicts: 924000 | #Constraints: 48326 1621.08/1626.66 c #Conflicts: 925000 | #Constraints: 49326 1621.08/1626.66 c #Conflicts: 926000 | #Constraints: 50326 1621.08/1626.66 c #Conflicts: 927000 | #Constraints: 51326 1621.08/1626.66 c INPROCESSING 1621.08/1626.66 c GARBAGE COLLECT 1621.08/1626.66 c rational objective 81 1789.99/1796.18 c #Conflicts: 928000 | #Constraints: 29679 1789.99/1796.18 c #Conflicts: 929000 | #Constraints: 30679 1789.99/1796.18 c #Conflicts: 930000 | #Constraints: 31680 1789.99/1796.18 c #Conflicts: 931000 | #Constraints: 32680 1789.99/1796.18 c #Conflicts: 932000 | #Constraints: 33680 1789.99/1796.18 c #Conflicts: 933000 | #Constraints: 34680 1789.99/1796.18 c #Conflicts: 934000 | #Constraints: 35680 1789.99/1796.18 c #Conflicts: 935000 | #Constraints: 36680 1789.99/1796.18 c #Conflicts: 936000 | #Constraints: 37680 1789.99/1796.18 c #Conflicts: 937000 | #Constraints: 38680 1789.99/1796.18 c #Conflicts: 938000 | #Constraints: 39680 1789.99/1796.18 c #Conflicts: 939000 | #Constraints: 40680 1789.99/1796.18 c #Conflicts: 940000 | #Constraints: 41680 1789.99/1796.18 c #Conflicts: 941000 | #Constraints: 42680 1789.99/1796.18 c #Conflicts: 942000 | #Constraints: 43680 1789.99/1796.18 c #Conflicts: 943000 | #Constraints: 44680 1789.99/1796.18 c #Conflicts: 944000 | #Constraints: 45680 1789.99/1796.18 c #Conflicts: 945000 | #Constraints: 46680 1789.99/1796.18 c #Conflicts: 946000 | #Constraints: 47680 1789.99/1796.18 c #Conflicts: 947000 | #Constraints: 48680 1789.99/1796.18 c #Conflicts: 948000 | #Constraints: 49680 1789.99/1796.18 c #Conflicts: 949000 | #Constraints: 50680 1789.99/1796.18 c #Conflicts: 950000 | #Constraints: 51680 1789.99/1796.18 c #Conflicts: 951000 | #Constraints: 52680 1789.99/1796.18 c #Conflicts: 952000 | #Constraints: 53680 1789.99/1796.18 c #Conflicts: 953000 | #Constraints: 54680 1789.99/1796.18 c #Conflicts: 954000 | #Constraints: 55680 1789.99/1796.18 c #Conflicts: 955000 | #Constraints: 56680 1789.99/1796.18 c #Conflicts: 956000 | #Constraints: 57680 1789.99/1796.18 c #Conflicts: 957000 | #Constraints: 58680 1789.99/1796.18 c #Conflicts: 958000 | #Constraints: 59680 1789.99/1796.18 c #Conflicts: 959000 | #Constraints: 60680 1789.99/1796.18 c #Conflicts: 960000 | #Constraints: 61680 1789.99/1796.18 c #Conflicts: 961000 | #Constraints: 62680 1789.99/1796.18 c #Conflicts: 962000 | #Constraints: 63681 1789.99/1796.18 c #Conflicts: 963000 | #Constraints: 64681 1789.99/1796.18 c #Conflicts: 964000 | #Constraints: 65681 1789.99/1796.18 c #Conflicts: 965000 | #Constraints: 66682 1789.99/1796.18 c #Conflicts: 966000 | #Constraints: 67684 1789.99/1796.18 c #Conflicts: 967000 | #Constraints: 68686 1789.99/1796.18 c #Conflicts: 968000 | #Constraints: 69686 1789.99/1796.18 c #Conflicts: 969000 | #Constraints: 70686 1789.99/1796.18 c #Conflicts: 970000 | #Constraints: 71687 1789.99/1796.18 c #Conflicts: 971000 | #Constraints: 72687 1789.99/1796.18 c #Conflicts: 972000 | #Constraints: 73688 1789.99/1796.18 c #Conflicts: 973000 | #Constraints: 74688 1789.99/1796.18 c #Conflicts: 974000 | #Constraints: 75688 1789.99/1796.18 c #Conflicts: 975000 | #Constraints: 76688 1789.99/1796.18 c #Conflicts: 976000 | #Constraints: 77688 1789.99/1796.18 c #Conflicts: 977000 | #Constraints: 78688 1789.99/1796.18 c #Conflicts: 978000 | #Constraints: 79688 1789.99/1796.18 c #Conflicts: 979000 | #Constraints: 80688 1789.99/1796.18 c #Conflicts: 980000 | #Constraints: 81688 1789.99/1796.18 c #Conflicts: 981000 | #Constraints: 82688 1789.99/1796.18 c #Conflicts: 982000 | #Constraints: 83688 1789.99/1796.18 c #Conflicts: 983000 | #Constraints: 84688 1789.99/1796.18 c #Conflicts: 984000 | #Constraints: 85688 1789.99/1796.18 c #Conflicts: 985000 | #Constraints: 86688 1789.99/1796.18 c #Conflicts: 986000 | #Constraints: 87689 1789.99/1796.18 c #Conflicts: 987000 | #Constraints: 88689 1789.99/1796.18 c #Conflicts: 988000 | #Constraints: 89689 1789.99/1796.18 c #Conflicts: 989000 | #Constraints: 90689 1789.99/1796.18 c #Conflicts: 990000 | #Constraints: 91689 1789.99/1796.18 c #Conflicts: 991000 | #Constraints: 92689 1789.99/1796.18 c #Conflicts: 992000 | #Constraints: 93689 1789.99/1796.18 c #Conflicts: 993000 | #Constraints: 94689 1789.99/1796.18 c #Conflicts: 994000 | #Constraints: 95689 1789.99/1796.18 c #Conflicts: 995000 | #Constraints: 96689 1789.99/1796.18 c #Conflicts: 996000 | #Constraints: 97689 1789.99/1796.18 c #Conflicts: 997000 | #Constraints: 98689 1789.99/1796.18 c #Conflicts: 998000 | #Constraints: 99689 1789.99/1796.18 c #Conflicts: 999000 | #Constraints: 100689 1789.99/1796.18 c #Conflicts: 1000000 | #Constraints: 101690 1789.99/1796.18 c #Conflicts: 1001000 | #Constraints: 102690 1789.99/1796.18 c #Conflicts: 1002000 | #Constraints: 103690 1789.99/1796.18 c #Conflicts: 1003000 | #Constraints: 104690 1789.99/1796.18 c #Conflicts: 1004000 | #Constraints: 105690 1789.99/1796.18 c INPROCESSING 1789.99/1796.18 c GARBAGE COLLECT 1789.99/1796.18 c rational objective 81 1851.87/1858.24 c #Conflicts: 1005000 | #Constraints: 56856 1851.87/1858.24 c #Conflicts: 1006000 | #Constraints: 57856 1851.87/1858.24 c #Conflicts: 1007000 | #Constraints: 58856 1851.87/1858.24 c #Conflicts: 1008000 | #Constraints: 59856 1851.87/1858.24 c #Conflicts: 1009000 | #Constraints: 60856 1851.87/1858.24 c #Conflicts: 1010000 | #Constraints: 61856 1851.87/1858.24 c #Conflicts: 1011000 | #Constraints: 62858 1851.87/1858.24 c #Conflicts: 1012000 | #Constraints: 63858 1851.87/1858.24 c #Conflicts: 1013000 | #Constraints: 64858 1851.87/1858.24 c #Conflicts: 1014000 | #Constraints: 65860 1851.87/1858.24 c #Conflicts: 1015000 | #Constraints: 66860 1851.87/1858.24 c #Conflicts: 1016000 | #Constraints: 67863 1851.87/1858.24 c #Conflicts: 1017000 | #Constraints: 68867 1851.87/1858.24 c #Conflicts: 1018000 | #Constraints: 69867 1851.87/1858.24 c #Conflicts: 1019000 | #Constraints: 70867 1851.87/1858.24 c #Conflicts: 1020000 | #Constraints: 71868 1851.87/1858.24 c #Conflicts: 1021000 | #Constraints: 72868 1851.87/1858.24 c #Conflicts: 1022000 | #Constraints: 73868 1851.87/1858.24 c #Conflicts: 1023000 | #Constraints: 74868 1851.87/1858.24 c #Conflicts: 1024000 | #Constraints: 75868 1851.87/1858.24 c #Conflicts: 1025000 | #Constraints: 76868 1851.87/1858.24 c #Conflicts: 1026000 | #Constraints: 77869 1851.87/1858.24 c INPROCESSING 1851.87/1858.24 c GARBAGE COLLECT 1851.87/1858.24 c rational objective 81 1896.33/1902.87 c #Conflicts: 1027000 | #Constraints: 42649 1896.33/1902.87 c #Conflicts: 1028000 | #Constraints: 43649 1896.33/1902.87 c #Conflicts: 1029000 | #Constraints: 44649 1896.33/1902.87 c #Conflicts: 1030000 | #Constraints: 45649 1896.33/1902.87 c #Conflicts: 1031000 | #Constraints: 46649 1896.33/1902.87 c #Conflicts: 1032000 | #Constraints: 47650 1896.33/1902.87 c #Conflicts: 1033000 | #Constraints: 48650 1896.33/1902.87 c #Conflicts: 1034000 | #Constraints: 49650 1896.33/1902.87 c #Conflicts: 1035000 | #Constraints: 50650 1896.33/1902.87 c #Conflicts: 1036000 | #Constraints: 51650 1896.33/1902.87 c #Conflicts: 1037000 | #Constraints: 52650 1896.33/1902.87 c #Conflicts: 1038000 | #Constraints: 53650 1896.33/1902.87 c #Conflicts: 1039000 | #Constraints: 54651 1896.33/1902.87 c #Conflicts: 1040000 | #Constraints: 55651 1896.33/1902.87 c #Conflicts: 1041000 | #Constraints: 56651 1896.33/1902.87 c #Conflicts: 1042000 | #Constraints: 57651 1896.33/1902.87 c #Conflicts: 1043000 | #Constraints: 58651 1896.33/1902.87 c #Conflicts: 1044000 | #Constraints: 59652 1896.33/1902.87 c #Conflicts: 1045000 | #Constraints: 60652 1896.33/1902.87 c #Conflicts: 1046000 | #Constraints: 61652 1896.33/1902.87 c #Conflicts: 1047000 | #Constraints: 62652 1896.33/1902.87 c #Conflicts: 1048000 | #Constraints: 63652 1896.33/1902.87 c #Conflicts: 1049000 | #Constraints: 64652 1896.33/1902.87 c INPROCESSING 1896.33/1902.87 c GARBAGE COLLECT 1896.33/1902.87 c rational objective 81 1954.45/1961.14 c #Conflicts: 1050000 | #Constraints: 36158 1954.45/1961.14 c #Conflicts: 1051000 | #Constraints: 37159 1954.45/1961.14 c #Conflicts: 1052000 | #Constraints: 38159 1954.45/1961.14 c #Conflicts: 1053000 | #Constraints: 39159 1954.45/1961.14 c #Conflicts: 1054000 | #Constraints: 40159 1954.45/1961.14 c #Conflicts: 1055000 | #Constraints: 41159 1954.45/1961.14 c #Conflicts: 1056000 | #Constraints: 42159 1954.45/1961.14 c #Conflicts: 1057000 | #Constraints: 43159 1954.45/1961.14 c #Conflicts: 1058000 | #Constraints: 44160 1954.45/1961.14 c #Conflicts: 1059000 | #Constraints: 45161 1954.45/1961.14 c #Conflicts: 1060000 | #Constraints: 46164 1954.45/1961.14 c #Conflicts: 1061000 | #Constraints: 47164 1954.45/1961.14 c #Conflicts: 1062000 | #Constraints: 48166 1954.45/1961.14 c #Conflicts: 1063000 | #Constraints: 49169 1954.45/1961.14 c #Conflicts: 1064000 | #Constraints: 50169 1954.45/1961.14 c #Conflicts: 1065000 | #Constraints: 51169 1954.45/1961.14 c #Conflicts: 1066000 | #Constraints: 52169 1954.45/1961.14 c #Conflicts: 1067000 | #Constraints: 53169 1954.45/1961.14 c #Conflicts: 1068000 | #Constraints: 54169 1954.45/1961.14 c #Conflicts: 1069000 | #Constraints: 55169 1954.45/1961.14 c #Conflicts: 1070000 | #Constraints: 56169 1954.45/1961.14 c #Conflicts: 1071000 | #Constraints: 57169 1954.45/1961.14 c #Conflicts: 1072000 | #Constraints: 58169 1954.45/1961.14 c INPROCESSING 1954.45/1961.14 c GARBAGE COLLECT 1954.45/1961.14 c rational objective 81 1989.83/1996.65 c #Conflicts: 1073000 | #Constraints: 33004 1989.83/1996.65 c #Conflicts: 1074000 | #Constraints: 34004 1989.83/1996.65 c #Conflicts: 1075000 | #Constraints: 35004 1989.83/1996.65 c #Conflicts: 1076000 | #Constraints: 36004 1989.83/1996.65 c #Conflicts: 1077000 | #Constraints: 37004 1989.83/1996.65 c #Conflicts: 1078000 | #Constraints: 38004 1989.83/1996.65 c #Conflicts: 1079000 | #Constraints: 39004 1989.83/1996.65 c #Conflicts: 1080000 | #Constraints: 40004 1989.83/1996.65 c #Conflicts: 1081000 | #Constraints: 41004 1989.83/1996.65 c #Conflicts: 1082000 | #Constraints: 42004 1989.83/1996.65 c #Conflicts: 1083000 | #Constraints: 43004 1989.83/1996.65 c #Conflicts: 1084000 | #Constraints: 44004 1989.83/1996.65 c #Conflicts: 1085000 | #Constraints: 45004 1989.83/1996.65 c #Conflicts: 1086000 | #Constraints: 46004 1989.83/1996.65 c #Conflicts: 1087000 | #Constraints: 47004 1989.83/1996.65 c #Conflicts: 1088000 | #Constraints: 48004 1989.83/1996.65 c #Conflicts: 1089000 | #Constraints: 49004 1989.83/1996.65 c #Conflicts: 1090000 | #Constraints: 50004 1989.83/1996.65 c #Conflicts: 1091000 | #Constraints: 51005 1989.83/1996.65 c #Conflicts: 1092000 | #Constraints: 52005 1989.83/1996.65 c #Conflicts: 1093000 | #Constraints: 53005 1989.83/1996.65 c #Conflicts: 1094000 | #Constraints: 54005 1989.83/1996.65 c #Conflicts: 1095000 | #Constraints: 55005 1989.83/1996.65 c INPROCESSING 1989.83/1996.65 c GARBAGE COLLECT 1989.83/1996.65 c rational objective 81 2182.00/2189.47 c #Conflicts: 1096000 | #Constraints: 31345 2182.00/2189.47 c #Conflicts: 1097000 | #Constraints: 32345 2182.00/2189.47 c #Conflicts: 1098000 | #Constraints: 33345 2182.00/2189.47 c #Conflicts: 1099000 | #Constraints: 34345 2182.00/2189.47 c #Conflicts: 1100000 | #Constraints: 35345 2182.00/2189.47 c #Conflicts: 1101000 | #Constraints: 36345 2182.00/2189.47 c #Conflicts: 1102000 | #Constraints: 37345 2182.00/2189.47 c #Conflicts: 1103000 | #Constraints: 38345 2182.00/2189.47 c #Conflicts: 1104000 | #Constraints: 39345 2182.00/2189.47 c #Conflicts: 1105000 | #Constraints: 40345 2182.00/2189.47 c #Conflicts: 1106000 | #Constraints: 41345 2182.00/2189.47 c #Conflicts: 1107000 | #Constraints: 42345 2182.00/2189.47 c #Conflicts: 1108000 | #Constraints: 43345 2182.00/2189.47 c #Conflicts: 1109000 | #Constraints: 44345 2182.00/2189.47 c #Conflicts: 1110000 | #Constraints: 45346 2182.00/2189.47 c #Conflicts: 1111000 | #Constraints: 46346 2182.00/2189.47 c #Conflicts: 1112000 | #Constraints: 47346 2182.00/2189.47 c #Conflicts: 1113000 | #Constraints: 48346 2182.00/2189.47 c #Conflicts: 1114000 | #Constraints: 49346 2182.00/2189.47 c #Conflicts: 1115000 | #Constraints: 50346 2182.00/2189.47 c #Conflicts: 1116000 | #Constraints: 51346 2182.00/2189.47 c #Conflicts: 1117000 | #Constraints: 52346 2182.00/2189.47 c #Conflicts: 1118000 | #Constraints: 53347 2182.00/2189.47 c #Conflicts: 1119000 | #Constraints: 54347 2182.00/2189.47 c #Conflicts: 1120000 | #Constraints: 55348 2182.00/2189.47 c #Conflicts: 1121000 | #Constraints: 56348 2182.00/2189.47 c #Conflicts: 1122000 | #Constraints: 57348 2182.00/2189.47 c #Conflicts: 1123000 | #Constraints: 58348 2182.00/2189.47 c #Conflicts: 1124000 | #Constraints: 59348 2182.00/2189.47 c #Conflicts: 1125000 | #Constraints: 60348 2182.00/2189.47 c #Conflicts: 1126000 | #Constraints: 61348 2182.00/2189.47 c #Conflicts: 1127000 | #Constraints: 62348 2182.00/2189.47 c #Conflicts: 1128000 | #Constraints: 63348 2182.00/2189.47 c #Conflicts: 1129000 | #Constraints: 64348 2182.00/2189.47 c #Conflicts: 1130000 | #Constraints: 65348 2182.00/2189.47 c #Conflicts: 1131000 | #Constraints: 66348 2182.00/2189.47 c #Conflicts: 1132000 | #Constraints: 67348 2182.00/2189.47 c #Conflicts: 1133000 | #Constraints: 68348 2182.00/2189.47 c #Conflicts: 1134000 | #Constraints: 69348 2182.00/2189.47 c #Conflicts: 1135000 | #Constraints: 70348 2182.00/2189.47 c #Conflicts: 1136000 | #Constraints: 71348 2182.00/2189.47 c #Conflicts: 1137000 | #Constraints: 72348 2182.00/2189.47 c #Conflicts: 1138000 | #Constraints: 73349 2182.00/2189.47 c #Conflicts: 1139000 | #Constraints: 74349 2182.00/2189.47 c #Conflicts: 1140000 | #Constraints: 75350 2182.00/2189.47 c #Conflicts: 1141000 | #Constraints: 76350 2182.00/2189.47 c #Conflicts: 1142000 | #Constraints: 77350 2182.00/2189.47 c #Conflicts: 1143000 | #Constraints: 78350 2182.00/2189.47 c #Conflicts: 1144000 | #Constraints: 79350 2182.00/2189.47 c #Conflicts: 1145000 | #Constraints: 80350 2182.00/2189.47 c #Conflicts: 1146000 | #Constraints: 81350 2182.00/2189.47 c #Conflicts: 1147000 | #Constraints: 82350 2182.00/2189.47 c #Conflicts: 1148000 | #Constraints: 83350 2182.00/2189.47 c #Conflicts: 1149000 | #Constraints: 84350 2182.00/2189.47 c #Conflicts: 1150000 | #Constraints: 85350 2182.00/2189.47 c #Conflicts: 1151000 | #Constraints: 86350 2182.00/2189.47 c #Conflicts: 1152000 | #Constraints: 87350 2182.00/2189.47 c #Conflicts: 1153000 | #Constraints: 88350 2182.00/2189.47 c #Conflicts: 1154000 | #Constraints: 89350 2182.00/2189.47 c #Conflicts: 1155000 | #Constraints: 90350 2182.00/2189.47 c #Conflicts: 1156000 | #Constraints: 91350 2182.00/2189.47 c #Conflicts: 1157000 | #Constraints: 92350 2182.00/2189.47 c #Conflicts: 1158000 | #Constraints: 93350 2182.00/2189.47 c #Conflicts: 1159000 | #Constraints: 94350 2182.00/2189.47 c #Conflicts: 1160000 | #Constraints: 95350 2182.00/2189.47 c #Conflicts: 1161000 | #Constraints: 96350 2182.00/2189.47 c #Conflicts: 1162000 | #Constraints: 97351 2182.00/2189.47 c #Conflicts: 1163000 | #Constraints: 98352 2182.00/2189.47 c #Conflicts: 1164000 | #Constraints: 99352 2182.00/2189.47 c #Conflicts: 1165000 | #Constraints: 100352 2182.00/2189.47 c #Conflicts: 1166000 | #Constraints: 101352 2182.00/2189.47 c #Conflicts: 1167000 | #Constraints: 102352 2182.00/2189.47 c #Conflicts: 1168000 | #Constraints: 103352 2182.00/2189.47 c #Conflicts: 1169000 | #Constraints: 104352 2182.00/2189.47 c #Conflicts: 1170000 | #Constraints: 105352 2182.00/2189.47 c #Conflicts: 1171000 | #Constraints: 106352 2182.00/2189.47 c #Conflicts: 1172000 | #Constraints: 107352 2182.00/2189.47 c #Conflicts: 1173000 | #Constraints: 108352 2182.00/2189.47 c #Conflicts: 1174000 | #Constraints: 109352 2207.31/2214.83 c #Conflicts: 1175000 | #Constraints: 110352 2207.31/2214.83 c #Conflicts: 1176000 | #Constraints: 111352 2207.31/2214.83 c #Conflicts: 1177000 | #Constraints: 112352 2207.31/2214.83 c #Conflicts: 1178000 | #Constraints: 113352 2207.31/2214.83 c #Conflicts: 1179000 | #Constraints: 114352 2207.31/2214.83 c INPROCESSING 2207.31/2214.83 c GARBAGE COLLECT 2207.31/2214.83 c rational objective 81 2271.61/2279.30 c #Conflicts: 1180000 | #Constraints: 61205 2271.61/2279.30 c #Conflicts: 1181000 | #Constraints: 62205 2271.61/2279.30 c #Conflicts: 1182000 | #Constraints: 63206 2271.61/2279.30 c #Conflicts: 1183000 | #Constraints: 64206 2271.61/2279.30 c #Conflicts: 1184000 | #Constraints: 65207 2271.61/2279.30 c #Conflicts: 1185000 | #Constraints: 66207 2271.61/2279.30 c #Conflicts: 1186000 | #Constraints: 67207 2271.61/2279.30 c #Conflicts: 1187000 | #Constraints: 68207 2271.61/2279.30 c #Conflicts: 1188000 | #Constraints: 69207 2271.61/2279.30 c #Conflicts: 1189000 | #Constraints: 70208 2271.61/2279.30 c #Conflicts: 1190000 | #Constraints: 71208 2271.61/2279.30 c #Conflicts: 1191000 | #Constraints: 72208 2271.61/2279.30 c #Conflicts: 1192000 | #Constraints: 73208 2271.61/2279.30 c #Conflicts: 1193000 | #Constraints: 74209 2271.61/2279.30 c #Conflicts: 1194000 | #Constraints: 75209 2271.61/2279.30 c #Conflicts: 1195000 | #Constraints: 76210 2271.61/2279.30 c #Conflicts: 1196000 | #Constraints: 77210 2271.61/2279.30 c #Conflicts: 1197000 | #Constraints: 78210 2271.61/2279.30 c #Conflicts: 1198000 | #Constraints: 79210 2271.61/2279.30 c #Conflicts: 1199000 | #Constraints: 80210 2271.61/2279.30 c #Conflicts: 1200000 | #Constraints: 81211 2271.61/2279.30 c #Conflicts: 1201000 | #Constraints: 82211 2271.61/2279.30 c #Conflicts: 1202000 | #Constraints: 83211 2271.61/2279.30 c #Conflicts: 1203000 | #Constraints: 84211 2271.61/2279.30 c INPROCESSING 2271.61/2279.30 c GARBAGE COLLECT 2271.61/2279.30 c rational objective 81 2315.18/2323.09 c #Conflicts: 1204000 | #Constraints: 45958 2315.18/2323.09 c #Conflicts: 1205000 | #Constraints: 46958 2315.18/2323.09 c #Conflicts: 1206000 | #Constraints: 47958 2315.18/2323.09 c #Conflicts: 1207000 | #Constraints: 48958 2315.18/2323.09 c #Conflicts: 1208000 | #Constraints: 49958 2315.18/2323.09 c #Conflicts: 1209000 | #Constraints: 50958 2315.18/2323.09 c #Conflicts: 1210000 | #Constraints: 51958 2315.18/2323.09 c #Conflicts: 1211000 | #Constraints: 52958 2315.18/2323.09 c #Conflicts: 1212000 | #Constraints: 53958 2315.18/2323.09 c #Conflicts: 1213000 | #Constraints: 54958 2315.18/2323.09 c #Conflicts: 1214000 | #Constraints: 55958 2315.18/2323.09 c #Conflicts: 1215000 | #Constraints: 56958 2315.18/2323.09 c #Conflicts: 1216000 | #Constraints: 57959 2315.18/2323.09 c #Conflicts: 1217000 | #Constraints: 58959 2315.18/2323.09 c #Conflicts: 1218000 | #Constraints: 59959 2315.18/2323.09 c #Conflicts: 1219000 | #Constraints: 60960 2315.18/2323.09 c #Conflicts: 1220000 | #Constraints: 61960 2315.18/2323.09 c #Conflicts: 1221000 | #Constraints: 62960 2315.18/2323.09 c #Conflicts: 1222000 | #Constraints: 63960 2315.18/2323.09 c #Conflicts: 1223000 | #Constraints: 64960 2315.18/2323.09 c #Conflicts: 1224000 | #Constraints: 65960 2315.18/2323.09 c #Conflicts: 1225000 | #Constraints: 66960 2315.18/2323.09 c #Conflicts: 1226000 | #Constraints: 67960 2315.18/2323.09 c #Conflicts: 1227000 | #Constraints: 68960 2315.18/2323.09 c #Conflicts: 1228000 | #Constraints: 69960 2315.18/2323.09 c INPROCESSING 2315.18/2323.09 c GARBAGE COLLECT 2315.18/2323.09 c rational objective 81 2355.33/2363.32 c #Conflicts: 1229000 | #Constraints: 38984 2355.33/2363.32 c #Conflicts: 1230000 | #Constraints: 39984 2355.33/2363.32 c #Conflicts: 1231000 | #Constraints: 40984 2355.33/2363.32 c #Conflicts: 1232000 | #Constraints: 41984 2355.33/2363.32 c #Conflicts: 1233000 | #Constraints: 42984 2355.33/2363.32 c #Conflicts: 1234000 | #Constraints: 43984 2355.33/2363.32 c #Conflicts: 1235000 | #Constraints: 44984 2355.33/2363.32 c #Conflicts: 1236000 | #Constraints: 45985 2355.33/2363.32 c #Conflicts: 1237000 | #Constraints: 46985 2355.33/2363.32 c #Conflicts: 1238000 | #Constraints: 47985 2355.33/2363.32 c #Conflicts: 1239000 | #Constraints: 48986 2355.33/2363.32 c #Conflicts: 1240000 | #Constraints: 49986 2355.33/2363.32 c #Conflicts: 1241000 | #Constraints: 50986 2355.33/2363.32 c #Conflicts: 1242000 | #Constraints: 51986 2355.33/2363.32 c #Conflicts: 1243000 | #Constraints: 52986 2355.33/2363.32 c #Conflicts: 1244000 | #Constraints: 53986 2355.33/2363.32 c #Conflicts: 1245000 | #Constraints: 54986 2355.33/2363.32 c #Conflicts: 1246000 | #Constraints: 55986 2355.33/2363.32 c #Conflicts: 1247000 | #Constraints: 56987 2355.33/2363.32 c #Conflicts: 1248000 | #Constraints: 57987 2355.33/2363.32 c #Conflicts: 1249000 | #Constraints: 58987 2355.33/2363.32 c #Conflicts: 1250000 | #Constraints: 59987 2355.33/2363.32 c #Conflicts: 1251000 | #Constraints: 60987 2355.33/2363.32 c #Conflicts: 1252000 | #Constraints: 61988 2355.33/2363.32 c #Conflicts: 1253000 | #Constraints: 62988 2355.33/2363.32 c INPROCESSING 2355.33/2363.32 c GARBAGE COLLECT 2355.33/2363.32 c rational objective 81 2398.39/2406.53 c #Conflicts: 1254000 | #Constraints: 35723 2398.39/2406.53 c #Conflicts: 1255000 | #Constraints: 36724 2398.39/2406.53 c #Conflicts: 1256000 | #Constraints: 37725 2398.39/2406.53 c #Conflicts: 1257000 | #Constraints: 38725 2398.39/2406.53 c #Conflicts: 1258000 | #Constraints: 39726 2398.39/2406.53 c #Conflicts: 1259000 | #Constraints: 40726 2398.39/2406.53 c #Conflicts: 1260000 | #Constraints: 41726 2398.39/2406.53 c #Conflicts: 1261000 | #Constraints: 42726 2398.39/2406.53 c #Conflicts: 1262000 | #Constraints: 43726 2398.39/2406.53 c #Conflicts: 1263000 | #Constraints: 44727 2398.39/2406.53 c #Conflicts: 1264000 | #Constraints: 45727 2398.39/2406.53 c #Conflicts: 1265000 | #Constraints: 46727 2398.39/2406.53 c #Conflicts: 1266000 | #Constraints: 47727 2398.39/2406.53 c #Conflicts: 1267000 | #Constraints: 48727 2398.39/2406.53 c #Conflicts: 1268000 | #Constraints: 49727 2398.39/2406.53 c #Conflicts: 1269000 | #Constraints: 50727 2398.39/2406.53 c #Conflicts: 1270000 | #Constraints: 51727 2398.39/2406.53 c #Conflicts: 1271000 | #Constraints: 52727 2398.39/2406.53 c #Conflicts: 1272000 | #Constraints: 53728 2398.39/2406.53 c #Conflicts: 1273000 | #Constraints: 54728 2398.39/2406.53 c #Conflicts: 1274000 | #Constraints: 55729 2398.39/2406.53 c #Conflicts: 1275000 | #Constraints: 56729 2398.39/2406.53 c #Conflicts: 1276000 | #Constraints: 57729 2398.39/2406.53 c #Conflicts: 1277000 | #Constraints: 58729 2398.39/2406.53 c #Conflicts: 1278000 | #Constraints: 59729 2398.39/2406.53 c INPROCESSING 2398.39/2406.53 c GARBAGE COLLECT 2398.39/2406.53 c rational objective 81 2571.83/2580.58 c #Conflicts: 1279000 | #Constraints: 34054 2571.83/2580.58 c #Conflicts: 1280000 | #Constraints: 35054 2571.83/2580.58 c #Conflicts: 1281000 | #Constraints: 36054 2571.83/2580.58 c #Conflicts: 1282000 | #Constraints: 37054 2571.83/2580.58 c #Conflicts: 1283000 | #Constraints: 38054 2571.83/2580.58 c #Conflicts: 1284000 | #Constraints: 39054 2571.83/2580.58 c #Conflicts: 1285000 | #Constraints: 40054 2571.83/2580.58 c #Conflicts: 1286000 | #Constraints: 41054 2571.83/2580.58 c #Conflicts: 1287000 | #Constraints: 42054 2571.83/2580.58 c #Conflicts: 1288000 | #Constraints: 43054 2571.83/2580.58 c #Conflicts: 1289000 | #Constraints: 44054 2571.83/2580.58 c #Conflicts: 1290000 | #Constraints: 45054 2571.83/2580.58 c #Conflicts: 1291000 | #Constraints: 46054 2571.83/2580.58 c #Conflicts: 1292000 | #Constraints: 47054 2571.83/2580.58 c #Conflicts: 1293000 | #Constraints: 48054 2571.83/2580.58 c #Conflicts: 1294000 | #Constraints: 49055 2571.83/2580.58 c #Conflicts: 1295000 | #Constraints: 50055 2571.83/2580.58 c #Conflicts: 1296000 | #Constraints: 51055 2571.83/2580.58 c #Conflicts: 1297000 | #Constraints: 52055 2571.83/2580.58 c #Conflicts: 1298000 | #Constraints: 53055 2571.83/2580.58 c #Conflicts: 1299000 | #Constraints: 54056 2571.83/2580.58 c #Conflicts: 1300000 | #Constraints: 55056 2571.83/2580.58 c #Conflicts: 1301000 | #Constraints: 56056 2571.83/2580.58 c #Conflicts: 1302000 | #Constraints: 57056 2571.83/2580.58 c #Conflicts: 1303000 | #Constraints: 58056 2571.83/2580.58 c #Conflicts: 1304000 | #Constraints: 59056 2571.83/2580.58 c #Conflicts: 1305000 | #Constraints: 60056 2571.83/2580.58 c #Conflicts: 1306000 | #Constraints: 61056 2571.83/2580.58 c #Conflicts: 1307000 | #Constraints: 62056 2571.83/2580.58 c #Conflicts: 1308000 | #Constraints: 63056 2571.83/2580.58 c #Conflicts: 1309000 | #Constraints: 64056 2571.83/2580.58 c #Conflicts: 1310000 | #Constraints: 65056 2571.83/2580.58 c #Conflicts: 1311000 | #Constraints: 66057 2571.83/2580.58 c #Conflicts: 1312000 | #Constraints: 67057 2571.83/2580.58 c #Conflicts: 1313000 | #Constraints: 68057 2571.83/2580.58 c #Conflicts: 1314000 | #Constraints: 69057 2571.83/2580.58 c #Conflicts: 1315000 | #Constraints: 70057 2571.83/2580.58 c #Conflicts: 1316000 | #Constraints: 71057 2571.83/2580.58 c #Conflicts: 1317000 | #Constraints: 72057 2571.83/2580.58 c #Conflicts: 1318000 | #Constraints: 73057 2571.83/2580.58 c #Conflicts: 1319000 | #Constraints: 74057 2571.83/2580.58 c #Conflicts: 1320000 | #Constraints: 75057 2571.83/2580.58 c #Conflicts: 1321000 | #Constraints: 76057 2571.83/2580.58 c #Conflicts: 1322000 | #Constraints: 77057 2571.83/2580.58 c #Conflicts: 1323000 | #Constraints: 78058 2571.83/2580.58 c #Conflicts: 1324000 | #Constraints: 79058 2571.83/2580.58 c #Conflicts: 1325000 | #Constraints: 80059 2571.83/2580.58 c #Conflicts: 1326000 | #Constraints: 81059 2571.83/2580.58 c #Conflicts: 1327000 | #Constraints: 82059 2571.83/2580.58 c #Conflicts: 1328000 | #Constraints: 83059 2571.83/2580.58 c #Conflicts: 1329000 | #Constraints: 84060 2571.83/2580.58 c #Conflicts: 1330000 | #Constraints: 85060 2571.83/2580.58 c #Conflicts: 1331000 | #Constraints: 86061 2571.83/2580.58 c #Conflicts: 1332000 | #Constraints: 87061 2571.83/2580.58 c #Conflicts: 1333000 | #Constraints: 88061 2571.83/2580.58 c #Conflicts: 1334000 | #Constraints: 89062 2571.83/2580.58 c #Conflicts: 1335000 | #Constraints: 90063 2571.83/2580.58 c #Conflicts: 1336000 | #Constraints: 91063 2571.83/2580.58 c #Conflicts: 1337000 | #Constraints: 92063 2571.83/2580.58 c #Conflicts: 1338000 | #Constraints: 93063 2571.83/2580.58 c #Conflicts: 1339000 | #Constraints: 94063 2571.83/2580.58 c #Conflicts: 1340000 | #Constraints: 95063 2571.83/2580.58 c #Conflicts: 1341000 | #Constraints: 96063 2571.83/2580.58 c #Conflicts: 1342000 | #Constraints: 97063 2571.83/2580.58 c #Conflicts: 1343000 | #Constraints: 98064 2571.83/2580.58 c #Conflicts: 1344000 | #Constraints: 99064 2571.83/2580.58 c #Conflicts: 1345000 | #Constraints: 100064 2571.83/2580.58 c #Conflicts: 1346000 | #Constraints: 101065 2571.83/2580.58 c #Conflicts: 1347000 | #Constraints: 102065 2571.83/2580.58 c #Conflicts: 1348000 | #Constraints: 103065 2571.83/2580.58 c #Conflicts: 1349000 | #Constraints: 104065 2571.83/2580.58 c #Conflicts: 1350000 | #Constraints: 105065 2571.83/2580.58 c #Conflicts: 1351000 | #Constraints: 106065 2571.83/2580.58 c #Conflicts: 1352000 | #Constraints: 107065 2571.83/2580.58 c #Conflicts: 1353000 | #Constraints: 108065 2571.83/2580.58 c #Conflicts: 1354000 | #Constraints: 109065 2571.83/2580.58 c #Conflicts: 1355000 | #Constraints: 110065 2571.83/2580.58 c #Conflicts: 1356000 | #Constraints: 111065 2571.83/2580.58 c #Conflicts: 1357000 | #Constraints: 112065 2625.17/2634.07 c #Conflicts: 1358000 | #Constraints: 113065 2625.17/2634.07 c #Conflicts: 1359000 | #Constraints: 114065 2625.17/2634.07 c #Conflicts: 1360000 | #Constraints: 115065 2625.17/2634.07 c #Conflicts: 1361000 | #Constraints: 116065 2625.17/2634.07 c #Conflicts: 1362000 | #Constraints: 117065 2625.17/2634.07 c #Conflicts: 1363000 | #Constraints: 118066 2625.17/2634.07 c #Conflicts: 1364000 | #Constraints: 119066 2625.17/2634.07 c #Conflicts: 1365000 | #Constraints: 120066 2625.17/2634.07 c #Conflicts: 1366000 | #Constraints: 121066 2625.17/2634.07 c #Conflicts: 1367000 | #Constraints: 122066 2625.17/2634.07 c #Conflicts: 1368000 | #Constraints: 123066 2625.17/2634.07 c INPROCESSING 2625.17/2634.07 c GARBAGE COLLECT 2625.17/2634.07 c rational objective 81 2687.07/2696.17 c #Conflicts: 1369000 | #Constraints: 65683 2687.07/2696.17 c #Conflicts: 1370000 | #Constraints: 66683 2687.07/2696.17 c #Conflicts: 1371000 | #Constraints: 67683 2687.07/2696.17 c #Conflicts: 1372000 | #Constraints: 68683 2687.07/2696.17 c #Conflicts: 1373000 | #Constraints: 69683 2687.07/2696.17 c #Conflicts: 1374000 | #Constraints: 70683 2687.07/2696.17 c #Conflicts: 1375000 | #Constraints: 71683 2687.07/2696.17 c #Conflicts: 1376000 | #Constraints: 72683 2687.07/2696.17 c #Conflicts: 1377000 | #Constraints: 73683 2687.07/2696.17 c #Conflicts: 1378000 | #Constraints: 74683 2687.07/2696.17 c #Conflicts: 1379000 | #Constraints: 75683 2687.07/2696.17 c #Conflicts: 1380000 | #Constraints: 76683 2687.07/2696.17 c #Conflicts: 1381000 | #Constraints: 77683 2687.07/2696.17 c #Conflicts: 1382000 | #Constraints: 78683 2687.07/2696.17 c #Conflicts: 1383000 | #Constraints: 79683 2687.07/2696.17 c #Conflicts: 1384000 | #Constraints: 80683 2687.07/2696.17 c #Conflicts: 1385000 | #Constraints: 81684 2687.07/2696.17 c #Conflicts: 1386000 | #Constraints: 82684 2687.07/2696.17 c #Conflicts: 1387000 | #Constraints: 83684 2687.07/2696.17 c #Conflicts: 1388000 | #Constraints: 84684 2687.07/2696.17 c #Conflicts: 1389000 | #Constraints: 85684 2687.07/2696.17 c #Conflicts: 1390000 | #Constraints: 86684 2687.07/2696.17 c #Conflicts: 1391000 | #Constraints: 87684 2687.07/2696.17 c #Conflicts: 1392000 | #Constraints: 88685 2687.07/2696.17 c #Conflicts: 1393000 | #Constraints: 89685 2687.07/2696.17 c #Conflicts: 1394000 | #Constraints: 90685 2687.07/2696.17 c INPROCESSING 2687.07/2696.17 c GARBAGE COLLECT 2687.07/2696.17 c rational objective 81 2736.38/2745.63 c #Conflicts: 1395000 | #Constraints: 49373 2736.38/2745.63 c #Conflicts: 1396000 | #Constraints: 50373 2736.38/2745.63 c #Conflicts: 1397000 | #Constraints: 51373 2736.38/2745.63 c #Conflicts: 1398000 | #Constraints: 52374 2736.38/2745.63 c #Conflicts: 1399000 | #Constraints: 53375 2736.38/2745.63 c #Conflicts: 1400000 | #Constraints: 54375 2736.38/2745.63 c #Conflicts: 1401000 | #Constraints: 55375 2736.38/2745.63 c #Conflicts: 1402000 | #Constraints: 56375 2736.38/2745.63 c #Conflicts: 1403000 | #Constraints: 57375 2736.38/2745.63 c #Conflicts: 1404000 | #Constraints: 58375 2736.38/2745.63 c #Conflicts: 1405000 | #Constraints: 59375 2736.38/2745.63 c #Conflicts: 1406000 | #Constraints: 60375 2736.38/2745.63 c #Conflicts: 1407000 | #Constraints: 61376 2736.38/2745.63 c #Conflicts: 1408000 | #Constraints: 62376 2736.38/2745.63 c #Conflicts: 1409000 | #Constraints: 63376 2736.38/2745.63 c #Conflicts: 1410000 | #Constraints: 64376 2736.38/2745.63 c #Conflicts: 1411000 | #Constraints: 65376 2736.38/2745.63 c #Conflicts: 1412000 | #Constraints: 66376 2736.38/2745.63 c #Conflicts: 1413000 | #Constraints: 67376 2736.38/2745.63 c #Conflicts: 1414000 | #Constraints: 68376 2736.38/2745.63 c #Conflicts: 1415000 | #Constraints: 69376 2736.38/2745.63 c #Conflicts: 1416000 | #Constraints: 70376 2736.38/2745.63 c #Conflicts: 1417000 | #Constraints: 71376 2736.38/2745.63 c #Conflicts: 1418000 | #Constraints: 72377 2736.38/2745.63 c #Conflicts: 1419000 | #Constraints: 73377 2736.38/2745.63 c #Conflicts: 1420000 | #Constraints: 74377 2736.38/2745.63 c INPROCESSING 2736.38/2745.63 c GARBAGE COLLECT 2736.38/2745.63 c rational objective 81 2780.53/2789.96 c #Conflicts: 1421000 | #Constraints: 41053 2780.53/2789.96 c #Conflicts: 1422000 | #Constraints: 42053 2780.53/2789.96 c #Conflicts: 1423000 | #Constraints: 43053 2780.53/2789.96 c #Conflicts: 1424000 | #Constraints: 44053 2780.53/2789.96 c #Conflicts: 1425000 | #Constraints: 45053 2780.53/2789.96 c #Conflicts: 1426000 | #Constraints: 46053 2780.53/2789.96 c #Conflicts: 1427000 | #Constraints: 47053 2780.53/2789.96 c #Conflicts: 1428000 | #Constraints: 48053 2780.53/2789.96 c #Conflicts: 1429000 | #Constraints: 49053 2780.53/2789.96 c #Conflicts: 1430000 | #Constraints: 50053 2780.53/2789.96 c #Conflicts: 1431000 | #Constraints: 51053 2780.53/2789.96 c #Conflicts: 1432000 | #Constraints: 52053 2780.53/2789.96 c #Conflicts: 1433000 | #Constraints: 53053 2780.53/2789.96 c #Conflicts: 1434000 | #Constraints: 54053 2780.53/2789.96 c #Conflicts: 1435000 | #Constraints: 55053 2780.53/2789.96 c #Conflicts: 1436000 | #Constraints: 56053 2780.53/2789.96 c #Conflicts: 1437000 | #Constraints: 57053 2780.53/2789.96 c #Conflicts: 1438000 | #Constraints: 58053 2780.53/2789.96 c #Conflicts: 1439000 | #Constraints: 59053 2780.53/2789.96 c #Conflicts: 1440000 | #Constraints: 60053 2780.53/2789.96 c #Conflicts: 1441000 | #Constraints: 61053 2780.53/2789.96 c #Conflicts: 1442000 | #Constraints: 62053 2780.53/2789.96 c #Conflicts: 1443000 | #Constraints: 63053 2780.53/2789.96 c #Conflicts: 1444000 | #Constraints: 64053 2780.53/2789.96 c #Conflicts: 1445000 | #Constraints: 65053 2780.53/2789.96 c #Conflicts: 1446000 | #Constraints: 66053 2780.53/2789.96 c #Conflicts: 1447000 | #Constraints: 67053 2780.53/2789.96 c INPROCESSING 2780.53/2789.96 c GARBAGE COLLECT 2780.53/2789.96 c rational objective 81 2824.28/2833.88 c #Conflicts: 1448000 | #Constraints: 37495 2824.28/2833.88 c #Conflicts: 1449000 | #Constraints: 38495 2824.28/2833.88 c #Conflicts: 1450000 | #Constraints: 39495 2824.28/2833.88 c #Conflicts: 1451000 | #Constraints: 40495 2824.28/2833.88 c #Conflicts: 1452000 | #Constraints: 41495 2824.28/2833.88 c #Conflicts: 1453000 | #Constraints: 42495 2824.28/2833.88 c #Conflicts: 1454000 | #Constraints: 43495 2824.28/2833.88 c #Conflicts: 1455000 | #Constraints: 44495 2824.28/2833.88 c #Conflicts: 1456000 | #Constraints: 45495 2824.28/2833.88 c #Conflicts: 1457000 | #Constraints: 46495 2824.28/2833.88 c #Conflicts: 1458000 | #Constraints: 47495 2824.28/2833.88 c #Conflicts: 1459000 | #Constraints: 48495 2824.28/2833.88 c #Conflicts: 1460000 | #Constraints: 49495 2824.28/2833.88 c #Conflicts: 1461000 | #Constraints: 50495 2824.28/2833.88 c #Conflicts: 1462000 | #Constraints: 51495 2824.28/2833.88 c #Conflicts: 1463000 | #Constraints: 52495 2824.28/2833.88 c #Conflicts: 1464000 | #Constraints: 53495 2824.28/2833.88 c #Conflicts: 1465000 | #Constraints: 54495 2824.28/2833.88 c #Conflicts: 1466000 | #Constraints: 55495 2824.28/2833.88 c #Conflicts: 1467000 | #Constraints: 56495 2824.28/2833.88 c #Conflicts: 1468000 | #Constraints: 57495 2824.28/2833.88 c #Conflicts: 1469000 | #Constraints: 58495 2824.28/2833.88 c #Conflicts: 1470000 | #Constraints: 59495 2824.28/2833.88 c #Conflicts: 1471000 | #Constraints: 60495 2824.28/2833.88 c #Conflicts: 1472000 | #Constraints: 61495 2824.28/2833.88 c #Conflicts: 1473000 | #Constraints: 62495 2824.28/2833.88 c #Conflicts: 1474000 | #Constraints: 63496 2824.28/2833.88 c INPROCESSING 2824.28/2833.88 c GARBAGE COLLECT 2824.28/2833.88 c rational objective 81 3004.25/3014.45 c #Conflicts: 1475000 | #Constraints: 35680 3004.25/3014.45 c #Conflicts: 1476000 | #Constraints: 36680 3004.25/3014.45 c #Conflicts: 1477000 | #Constraints: 37681 3004.25/3014.45 c #Conflicts: 1478000 | #Constraints: 38682 3004.25/3014.45 c #Conflicts: 1479000 | #Constraints: 39682 3004.25/3014.45 c #Conflicts: 1480000 | #Constraints: 40682 3004.25/3014.45 c #Conflicts: 1481000 | #Constraints: 41682 3004.25/3014.45 c #Conflicts: 1482000 | #Constraints: 42682 3004.25/3014.45 c #Conflicts: 1483000 | #Constraints: 43682 3004.25/3014.45 c #Conflicts: 1484000 | #Constraints: 44682 3004.25/3014.45 c #Conflicts: 1485000 | #Constraints: 45682 3004.25/3014.45 c #Conflicts: 1486000 | #Constraints: 46682 3004.25/3014.45 c #Conflicts: 1487000 | #Constraints: 47682 3004.25/3014.45 c #Conflicts: 1488000 | #Constraints: 48682 3004.25/3014.45 c #Conflicts: 1489000 | #Constraints: 49682 3004.25/3014.45 c #Conflicts: 1490000 | #Constraints: 50682 3004.25/3014.45 c #Conflicts: 1491000 | #Constraints: 51682 3004.25/3014.45 c #Conflicts: 1492000 | #Constraints: 52682 3004.25/3014.45 c #Conflicts: 1493000 | #Constraints: 53682 3004.25/3014.45 c #Conflicts: 1494000 | #Constraints: 54682 3004.25/3014.45 c #Conflicts: 1495000 | #Constraints: 55682 3004.25/3014.45 c #Conflicts: 1496000 | #Constraints: 56682 3004.25/3014.45 c #Conflicts: 1497000 | #Constraints: 57682 3004.25/3014.45 c #Conflicts: 1498000 | #Constraints: 58682 3004.25/3014.45 c #Conflicts: 1499000 | #Constraints: 59682 3004.25/3014.45 c #Conflicts: 1500000 | #Constraints: 60682 3004.25/3014.45 c #Conflicts: 1501000 | #Constraints: 61682 3004.25/3014.45 c #Conflicts: 1502000 | #Constraints: 62682 3004.25/3014.45 c #Conflicts: 1503000 | #Constraints: 63682 3004.25/3014.45 c #Conflicts: 1504000 | #Constraints: 64682 3004.25/3014.45 c #Conflicts: 1505000 | #Constraints: 65682 3004.25/3014.45 c #Conflicts: 1506000 | #Constraints: 66682 3004.25/3014.45 c #Conflicts: 1507000 | #Constraints: 67682 3004.25/3014.45 c #Conflicts: 1508000 | #Constraints: 68683 3004.25/3014.45 c #Conflicts: 1509000 | #Constraints: 69683 3004.25/3014.45 c #Conflicts: 1510000 | #Constraints: 70683 3004.25/3014.45 c #Conflicts: 1511000 | #Constraints: 71683 3004.25/3014.45 c #Conflicts: 1512000 | #Constraints: 72683 3004.25/3014.45 c #Conflicts: 1513000 | #Constraints: 73684 3004.25/3014.45 c #Conflicts: 1514000 | #Constraints: 74684 3004.25/3014.45 c #Conflicts: 1515000 | #Constraints: 75684 3004.25/3014.45 c #Conflicts: 1516000 | #Constraints: 76684 3004.25/3014.45 c #Conflicts: 1517000 | #Constraints: 77684 3004.25/3014.45 c #Conflicts: 1518000 | #Constraints: 78684 3004.25/3014.45 c #Conflicts: 1519000 | #Constraints: 79684 3004.25/3014.45 c #Conflicts: 1520000 | #Constraints: 80684 3004.25/3014.45 c #Conflicts: 1521000 | #Constraints: 81684 3004.25/3014.45 c #Conflicts: 1522000 | #Constraints: 82684 3004.25/3014.45 c #Conflicts: 1523000 | #Constraints: 83684 3004.25/3014.45 c #Conflicts: 1524000 | #Constraints: 84684 3004.25/3014.45 c #Conflicts: 1525000 | #Constraints: 85684 3004.25/3014.45 c #Conflicts: 1526000 | #Constraints: 86684 3004.25/3014.45 c #Conflicts: 1527000 | #Constraints: 87684 3004.25/3014.45 c #Conflicts: 1528000 | #Constraints: 88684 3004.25/3014.45 c #Conflicts: 1529000 | #Constraints: 89684 3004.25/3014.45 c #Conflicts: 1530000 | #Constraints: 90684 3004.25/3014.45 c #Conflicts: 1531000 | #Constraints: 91684 3004.25/3014.45 c #Conflicts: 1532000 | #Constraints: 92684 3004.25/3014.45 c #Conflicts: 1533000 | #Constraints: 93684 3004.25/3014.45 c #Conflicts: 1534000 | #Constraints: 94684 3004.25/3014.45 c #Conflicts: 1535000 | #Constraints: 95684 3004.25/3014.45 c #Conflicts: 1536000 | #Constraints: 96684 3004.25/3014.45 c #Conflicts: 1537000 | #Constraints: 97684 3004.25/3014.45 c #Conflicts: 1538000 | #Constraints: 98684 3004.25/3014.45 c #Conflicts: 1539000 | #Constraints: 99684 3004.25/3014.45 c #Conflicts: 1540000 | #Constraints: 100684 3004.25/3014.45 c #Conflicts: 1541000 | #Constraints: 101684 3004.25/3014.45 c #Conflicts: 1542000 | #Constraints: 102684 3004.25/3014.45 c #Conflicts: 1543000 | #Constraints: 103684 3004.25/3014.45 c #Conflicts: 1544000 | #Constraints: 104684 3004.25/3014.45 c #Conflicts: 1545000 | #Constraints: 105684 3004.25/3014.45 c #Conflicts: 1546000 | #Constraints: 106684 3004.25/3014.45 c #Conflicts: 1547000 | #Constraints: 107684 3004.25/3014.45 c #Conflicts: 1548000 | #Constraints: 108684 3004.25/3014.45 c #Conflicts: 1549000 | #Constraints: 109684 3004.25/3014.45 c #Conflicts: 1550000 | #Constraints: 110684 3004.25/3014.45 c #Conflicts: 1551000 | #Constraints: 111684 3004.25/3014.45 c #Conflicts: 1552000 | #Constraints: 112684 3004.25/3014.45 c #Conflicts: 1553000 | #Constraints: 113684 3074.80/3085.27 c #Conflicts: 1554000 | #Constraints: 114684 3074.80/3085.27 c #Conflicts: 1555000 | #Constraints: 115684 3074.80/3085.27 c #Conflicts: 1556000 | #Constraints: 116684 3074.80/3085.27 c #Conflicts: 1557000 | #Constraints: 117684 3074.80/3085.27 c #Conflicts: 1558000 | #Constraints: 118684 3074.80/3085.27 c #Conflicts: 1559000 | #Constraints: 119684 3074.80/3085.27 c #Conflicts: 1560000 | #Constraints: 120684 3074.80/3085.27 c #Conflicts: 1561000 | #Constraints: 121684 3074.80/3085.27 c #Conflicts: 1562000 | #Constraints: 122684 3074.80/3085.27 c #Conflicts: 1563000 | #Constraints: 123684 3074.80/3085.27 c #Conflicts: 1564000 | #Constraints: 124684 3074.80/3085.27 c #Conflicts: 1565000 | #Constraints: 125684 3074.80/3085.27 c #Conflicts: 1566000 | #Constraints: 126684 3074.80/3085.27 c #Conflicts: 1567000 | #Constraints: 127684 3074.80/3085.27 c #Conflicts: 1568000 | #Constraints: 128684 3074.80/3085.27 c #Conflicts: 1569000 | #Constraints: 129684 3074.80/3085.27 c #Conflicts: 1570000 | #Constraints: 130685 3074.80/3085.27 c INPROCESSING 3074.80/3085.27 c GARBAGE COLLECT 3074.80/3085.27 c rational objective 81 3147.16/3157.80 c #Conflicts: 1571000 | #Constraints: 69126 3147.16/3157.80 c #Conflicts: 1572000 | #Constraints: 70126 3147.16/3157.80 c #Conflicts: 1573000 | #Constraints: 71127 3147.16/3157.80 c #Conflicts: 1574000 | #Constraints: 72127 3147.16/3157.80 c #Conflicts: 1575000 | #Constraints: 73127 3147.16/3157.80 c #Conflicts: 1576000 | #Constraints: 74127 3147.16/3157.80 c #Conflicts: 1577000 | #Constraints: 75127 3147.16/3157.80 c #Conflicts: 1578000 | #Constraints: 76127 3147.16/3157.80 c #Conflicts: 1579000 | #Constraints: 77127 3147.16/3157.80 c #Conflicts: 1580000 | #Constraints: 78127 3147.16/3157.80 c #Conflicts: 1581000 | #Constraints: 79127 3147.16/3157.80 c #Conflicts: 1582000 | #Constraints: 80127 3147.16/3157.80 c #Conflicts: 1583000 | #Constraints: 81127 3147.16/3157.80 c #Conflicts: 1584000 | #Constraints: 82127 3147.16/3157.80 c #Conflicts: 1585000 | #Constraints: 83127 3147.16/3157.80 c #Conflicts: 1586000 | #Constraints: 84127 3147.16/3157.80 c #Conflicts: 1587000 | #Constraints: 85127 3147.16/3157.80 c #Conflicts: 1588000 | #Constraints: 86127 3147.16/3157.80 c #Conflicts: 1589000 | #Constraints: 87127 3147.16/3157.80 c #Conflicts: 1590000 | #Constraints: 88127 3147.16/3157.80 c #Conflicts: 1591000 | #Constraints: 89127 3147.16/3157.80 c #Conflicts: 1592000 | #Constraints: 90127 3147.16/3157.80 c #Conflicts: 1593000 | #Constraints: 91127 3147.16/3157.80 c #Conflicts: 1594000 | #Constraints: 92127 3147.16/3157.80 c #Conflicts: 1595000 | #Constraints: 93127 3147.16/3157.80 c #Conflicts: 1596000 | #Constraints: 94127 3147.16/3157.80 c #Conflicts: 1597000 | #Constraints: 95127 3147.16/3157.80 c #Conflicts: 1598000 | #Constraints: 96127 3147.16/3157.80 c #Conflicts: 1599000 | #Constraints: 97127 3147.16/3157.80 c INPROCESSING 3147.16/3157.80 c GARBAGE COLLECT 3147.16/3157.80 c rational objective 81 3218.73/3229.64 c #Conflicts: 1600000 | #Constraints: 52759 3218.73/3229.64 c #Conflicts: 1601000 | #Constraints: 53759 3218.73/3229.64 c #Conflicts: 1602000 | #Constraints: 54759 3218.73/3229.64 c #Conflicts: 1603000 | #Constraints: 55759 3218.73/3229.64 c #Conflicts: 1604000 | #Constraints: 56759 3218.73/3229.64 c #Conflicts: 1605000 | #Constraints: 57759 3218.73/3229.64 c #Conflicts: 1606000 | #Constraints: 58759 3218.73/3229.64 c #Conflicts: 1607000 | #Constraints: 59759 3218.73/3229.64 c #Conflicts: 1608000 | #Constraints: 60759 3218.73/3229.64 c #Conflicts: 1609000 | #Constraints: 61759 3218.73/3229.64 c #Conflicts: 1610000 | #Constraints: 62759 3218.73/3229.64 c #Conflicts: 1611000 | #Constraints: 63759 3218.73/3229.64 c #Conflicts: 1612000 | #Constraints: 64759 3218.73/3229.64 c #Conflicts: 1613000 | #Constraints: 65759 3218.73/3229.64 c #Conflicts: 1614000 | #Constraints: 66759 3218.73/3229.64 c #Conflicts: 1615000 | #Constraints: 67759 3218.73/3229.64 c #Conflicts: 1616000 | #Constraints: 68759 3218.73/3229.64 c #Conflicts: 1617000 | #Constraints: 69759 3218.73/3229.64 c #Conflicts: 1618000 | #Constraints: 70759 3218.73/3229.64 c #Conflicts: 1619000 | #Constraints: 71760 3218.73/3229.64 c #Conflicts: 1620000 | #Constraints: 72760 3218.73/3229.64 c #Conflicts: 1621000 | #Constraints: 73760 3218.73/3229.64 c #Conflicts: 1622000 | #Constraints: 74760 3218.73/3229.64 c #Conflicts: 1623000 | #Constraints: 75760 3218.73/3229.64 c #Conflicts: 1624000 | #Constraints: 76760 3218.73/3229.64 c #Conflicts: 1625000 | #Constraints: 77761 3218.73/3229.64 c #Conflicts: 1626000 | #Constraints: 78761 3218.73/3229.64 c #Conflicts: 1627000 | #Constraints: 79761 3218.73/3229.64 c INPROCESSING 3218.73/3229.64 c GARBAGE COLLECT 3218.73/3229.64 c rational objective 81 3269.38/3280.47 c #Conflicts: 1628000 | #Constraints: 43858 3269.38/3280.47 c #Conflicts: 1629000 | #Constraints: 44858 3269.38/3280.47 c #Conflicts: 1630000 | #Constraints: 45858 3269.38/3280.47 c #Conflicts: 1631000 | #Constraints: 46858 3269.38/3280.47 c #Conflicts: 1632000 | #Constraints: 47858 3269.38/3280.47 c #Conflicts: 1633000 | #Constraints: 48858 3269.38/3280.47 c #Conflicts: 1634000 | #Constraints: 49858 3269.38/3280.47 c #Conflicts: 1635000 | #Constraints: 50858 3269.38/3280.47 c #Conflicts: 1636000 | #Constraints: 51858 3269.38/3280.47 c #Conflicts: 1637000 | #Constraints: 52858 3269.38/3280.47 c #Conflicts: 1638000 | #Constraints: 53858 3269.38/3280.47 c #Conflicts: 1639000 | #Constraints: 54858 3269.38/3280.47 c #Conflicts: 1640000 | #Constraints: 55858 3269.38/3280.47 c #Conflicts: 1641000 | #Constraints: 56858 3269.38/3280.47 c #Conflicts: 1642000 | #Constraints: 57858 3269.38/3280.47 c #Conflicts: 1643000 | #Constraints: 58858 3269.38/3280.47 c #Conflicts: 1644000 | #Constraints: 59858 3269.38/3280.47 c #Conflicts: 1645000 | #Constraints: 60858 3269.38/3280.47 c #Conflicts: 1646000 | #Constraints: 61859 3269.38/3280.47 c #Conflicts: 1647000 | #Constraints: 62859 3269.38/3280.47 c #Conflicts: 1648000 | #Constraints: 63860 3269.38/3280.47 c #Conflicts: 1649000 | #Constraints: 64860 3269.38/3280.47 c #Conflicts: 1650000 | #Constraints: 65860 3269.38/3280.47 c #Conflicts: 1651000 | #Constraints: 66860 3269.38/3280.47 c #Conflicts: 1652000 | #Constraints: 67860 3269.38/3280.47 c #Conflicts: 1653000 | #Constraints: 68860 3269.38/3280.47 c #Conflicts: 1654000 | #Constraints: 69861 3269.38/3280.47 c #Conflicts: 1655000 | #Constraints: 70861 3269.38/3280.47 c #Conflicts: 1656000 | #Constraints: 71861 3269.38/3280.47 c INPROCESSING 3269.38/3280.47 c GARBAGE COLLECT 3269.38/3280.47 c rational objective 81 3317.54/3328.80 c #Conflicts: 1657000 | #Constraints: 40090 3317.54/3328.80 c #Conflicts: 1658000 | #Constraints: 41092 3317.54/3328.80 c #Conflicts: 1659000 | #Constraints: 42092 3317.54/3328.80 c #Conflicts: 1660000 | #Constraints: 43093 3317.54/3328.80 c #Conflicts: 1661000 | #Constraints: 44093 3317.54/3328.80 c #Conflicts: 1662000 | #Constraints: 45093 3317.54/3328.80 c #Conflicts: 1663000 | #Constraints: 46094 3317.54/3328.80 c #Conflicts: 1664000 | #Constraints: 47094 3317.54/3328.80 c #Conflicts: 1665000 | #Constraints: 48094 3317.54/3328.80 c #Conflicts: 1666000 | #Constraints: 49094 3317.54/3328.80 c #Conflicts: 1667000 | #Constraints: 50094 3317.54/3328.80 c #Conflicts: 1668000 | #Constraints: 51094 3317.54/3328.80 c #Conflicts: 1669000 | #Constraints: 52094 3317.54/3328.80 c #Conflicts: 1670000 | #Constraints: 53095 3317.54/3328.80 c #Conflicts: 1671000 | #Constraints: 54095 3317.54/3328.80 c #Conflicts: 1672000 | #Constraints: 55095 3317.54/3328.80 c #Conflicts: 1673000 | #Constraints: 56095 3317.54/3328.80 c #Conflicts: 1674000 | #Constraints: 57095 3317.54/3328.80 c #Conflicts: 1675000 | #Constraints: 58095 3317.54/3328.80 c #Conflicts: 1676000 | #Constraints: 59095 3317.54/3328.80 c #Conflicts: 1677000 | #Constraints: 60095 3317.54/3328.80 c #Conflicts: 1678000 | #Constraints: 61095 3317.54/3328.80 c #Conflicts: 1679000 | #Constraints: 62095 3317.54/3328.80 c #Conflicts: 1680000 | #Constraints: 63095 3317.54/3328.80 c #Conflicts: 1681000 | #Constraints: 64095 3317.54/3328.80 c #Conflicts: 1682000 | #Constraints: 65095 3317.54/3328.80 c #Conflicts: 1683000 | #Constraints: 66095 3317.54/3328.80 c #Conflicts: 1684000 | #Constraints: 67095 3317.54/3328.80 c INPROCESSING 3317.54/3328.80 c GARBAGE COLLECT 3317.54/3328.80 c rational objective 81 3497.15/3508.95 c #Conflicts: 1685000 | #Constraints: 37301 3497.15/3508.95 c #Conflicts: 1686000 | #Constraints: 38301 3497.15/3508.95 c #Conflicts: 1687000 | #Constraints: 39301 3497.15/3508.95 c #Conflicts: 1688000 | #Constraints: 40301 3497.15/3508.95 c #Conflicts: 1689000 | #Constraints: 41301 3497.15/3508.95 c #Conflicts: 1690000 | #Constraints: 42302 3497.15/3508.95 c #Conflicts: 1691000 | #Constraints: 43303 3497.15/3508.95 c #Conflicts: 1692000 | #Constraints: 44303 3497.15/3508.95 c #Conflicts: 1693000 | #Constraints: 45303 3497.15/3508.95 c #Conflicts: 1694000 | #Constraints: 46303 3497.15/3508.95 c #Conflicts: 1695000 | #Constraints: 47303 3497.15/3508.95 c #Conflicts: 1696000 | #Constraints: 48303 3497.15/3508.95 c #Conflicts: 1697000 | #Constraints: 49303 3497.15/3508.95 c #Conflicts: 1698000 | #Constraints: 50303 3497.15/3508.95 c #Conflicts: 1699000 | #Constraints: 51303 3497.15/3508.95 c #Conflicts: 1700000 | #Constraints: 52305 3497.15/3508.95 c #Conflicts: 1701000 | #Constraints: 53305 3497.15/3508.95 c #Conflicts: 1702000 | #Constraints: 54305 3497.15/3508.95 c #Conflicts: 1703000 | #Constraints: 55305 3497.15/3508.95 c #Conflicts: 1704000 | #Constraints: 56305 3497.15/3508.95 c #Conflicts: 1705000 | #Constraints: 57305 3497.15/3508.95 c #Conflicts: 1706000 | #Constraints: 58306 3497.15/3508.95 c #Conflicts: 1707000 | #Constraints: 59306 3497.15/3508.95 c #Conflicts: 1708000 | #Constraints: 60306 3497.15/3508.95 c #Conflicts: 1709000 | #Constraints: 61306 3497.15/3508.95 c #Conflicts: 1710000 | #Constraints: 62306 3497.15/3508.95 c #Conflicts: 1711000 | #Constraints: 63306 3497.15/3508.95 c #Conflicts: 1712000 | #Constraints: 64306 3497.15/3508.95 c #Conflicts: 1713000 | #Constraints: 65306 3497.15/3508.95 c #Conflicts: 1714000 | #Constraints: 66306 3497.15/3508.95 c #Conflicts: 1715000 | #Constraints: 67306 3497.15/3508.95 c #Conflicts: 1716000 | #Constraints: 68306 3497.15/3508.95 c #Conflicts: 1717000 | #Constraints: 69306 3497.15/3508.95 c #Conflicts: 1718000 | #Constraints: 70306 3497.15/3508.95 c #Conflicts: 1719000 | #Constraints: 71306 3497.15/3508.95 c #Conflicts: 1720000 | #Constraints: 72306 3497.15/3508.95 c #Conflicts: 1721000 | #Constraints: 73306 3497.15/3508.95 c #Conflicts: 1722000 | #Constraints: 74307 3497.15/3508.95 c #Conflicts: 1723000 | #Constraints: 75307 3497.15/3508.95 c #Conflicts: 1724000 | #Constraints: 76307 3497.15/3508.95 c #Conflicts: 1725000 | #Constraints: 77307 3497.15/3508.95 c #Conflicts: 1726000 | #Constraints: 78307 3497.15/3508.95 c #Conflicts: 1727000 | #Constraints: 79308 3497.15/3508.95 c #Conflicts: 1728000 | #Constraints: 80308 3497.15/3508.95 c #Conflicts: 1729000 | #Constraints: 81308 3497.15/3508.95 c #Conflicts: 1730000 | #Constraints: 82308 3497.15/3508.95 c #Conflicts: 1731000 | #Constraints: 83308 3497.15/3508.95 c #Conflicts: 1732000 | #Constraints: 84308 3497.15/3508.95 c #Conflicts: 1733000 | #Constraints: 85308 3497.15/3508.95 c #Conflicts: 1734000 | #Constraints: 86309 3497.15/3508.95 c #Conflicts: 1735000 | #Constraints: 87309 3497.15/3508.95 c #Conflicts: 1736000 | #Constraints: 88309 3497.15/3508.95 c #Conflicts: 1737000 | #Constraints: 89309 3497.15/3508.95 c #Conflicts: 1738000 | #Constraints: 90309 3497.15/3508.95 c #Conflicts: 1739000 | #Constraints: 91309 3497.15/3508.95 c #Conflicts: 1740000 | #Constraints: 92309 3497.15/3508.95 c #Conflicts: 1741000 | #Constraints: 93309 3497.15/3508.95 c #Conflicts: 1742000 | #Constraints: 94310 3497.15/3508.95 c #Conflicts: 1743000 | #Constraints: 95310 3497.15/3508.95 c #Conflicts: 1744000 | #Constraints: 96310 3497.15/3508.95 c #Conflicts: 1745000 | #Constraints: 97310 3497.15/3508.95 c #Conflicts: 1746000 | #Constraints: 98310 3497.15/3508.95 c #Conflicts: 1747000 | #Constraints: 99310 3497.15/3508.95 c #Conflicts: 1748000 | #Constraints: 100310 3497.15/3508.95 c #Conflicts: 1749000 | #Constraints: 101310 3497.15/3508.95 c #Conflicts: 1750000 | #Constraints: 102310 3497.15/3508.95 c #Conflicts: 1751000 | #Constraints: 103310 3497.15/3508.95 c #Conflicts: 1752000 | #Constraints: 104310 3497.15/3508.95 c #Conflicts: 1753000 | #Constraints: 105310 3497.15/3508.95 c #Conflicts: 1754000 | #Constraints: 106310 3497.15/3508.95 c #Conflicts: 1755000 | #Constraints: 107310 3497.15/3508.95 c #Conflicts: 1756000 | #Constraints: 108310 3497.15/3508.95 c #Conflicts: 1757000 | #Constraints: 109310 3497.15/3508.95 c #Conflicts: 1758000 | #Constraints: 110310 3497.15/3508.95 c #Conflicts: 1759000 | #Constraints: 111310 3497.15/3508.95 c #Conflicts: 1760000 | #Constraints: 112310 3497.15/3508.95 c #Conflicts: 1761000 | #Constraints: 113310 3497.15/3508.95 c #Conflicts: 1762000 | #Constraints: 114310 3497.15/3508.95 c #Conflicts: 1763000 | #Constraints: 115310 3600.00/3612.11 c #Conflicts: 1764000 | #Constraints: 116310 3600.00/3612.11 c #Conflicts: 1765000 | #Constraints: 117310 3600.00/3612.11 c #Conflicts: 1766000 | #Constraints: 118310 3600.00/3612.11 c #Conflicts: 1767000 | #Constraints: 119310 3600.00/3612.11 c #Conflicts: 1768000 | #Constraints: 120310 3600.00/3612.11 c #Conflicts: 1769000 | #Constraints: 121310 3600.00/3612.11 c #Conflicts: 1770000 | #Constraints: 122310 3600.00/3612.11 c #Conflicts: 1771000 | #Constraints: 123310 3600.00/3612.11 c #Conflicts: 1772000 | #Constraints: 124310 3600.00/3612.11 c #Conflicts: 1773000 | #Constraints: 125310 3600.00/3612.11 c #Conflicts: 1774000 | #Constraints: 126310 3600.00/3612.11 c #Conflicts: 1775000 | #Constraints: 127310 3600.00/3612.11 c #Conflicts: 1776000 | #Constraints: 128310 3600.00/3612.11 c #Conflicts: 1777000 | #Constraints: 129310 3600.00/3612.11 c #Conflicts: 1778000 | #Constraints: 130310 3600.00/3612.11 c #Conflicts: 1779000 | #Constraints: 131310 3600.00/3612.11 c #Conflicts: 1780000 | #Constraints: 132310 3600.00/3612.11 c #Conflicts: 1781000 | #Constraints: 133310 3600.00/3612.11 c #Conflicts: 1782000 | #Constraints: 134310 3600.00/3612.11 c #Conflicts: 1783000 | #Constraints: 135310 3600.00/3612.11 c #Conflicts: 1784000 | #Constraints: 136310 3600.00/3612.11 c Program interrupted by user. 3600.00/3612.15 c cpu time 3561.11 s 3600.00/3612.15 c deterministic time 386235737917 3.86e+11 3600.00/3612.15 c optimization time 280.229 s 3600.00/3612.15 c total solve time 3280.81 s 3600.00/3612.15 c core-guided solve time 0 s 3600.00/3612.15 c propagation time 2411.63 s 3600.00/3612.15 c conflict analysis time 820.072 s 3600.00/3612.15 c propagations 749963615 3600.00/3612.15 c resolve steps 67787809 3600.00/3612.15 c decisions 12427577 3600.00/3612.15 c conflicts 1784059 3600.00/3612.15 c restarts 3451 3600.00/3612.15 c inprocessing phases 81 3600.00/3612.15 c input clauses 5591 3600.00/3612.15 c input cardinalities 81 3600.00/3612.15 c input general constraints 0 3600.00/3612.15 c input average constraint length 6.23 3600.00/3612.15 c input average constraint degree 1.94 3600.00/3612.15 c learned clauses 1245137 3600.00/3612.15 c learned cardinalities 34824 3600.00/3612.15 c learned general constraints 504332 3600.00/3612.15 c learned average constraint length 795.78 3600.00/3612.15 c learned average constraint degree 52942261.16 3600.00/3612.15 c watched constraints 436537 3600.00/3612.15 c counting constraints 67795 3600.00/3612.15 c gcd simplifications 5930 3600.00/3612.15 c detected cardinalities 1676 3600.00/3612.15 c weakened non-implied lits 254054082 3600.00/3612.15 c weakened non-implying lits 584286 3600.00/3612.15 c original variables 5508 3600.00/3612.15 c clausal propagations 279349439 3600.00/3612.15 c cardinality propagations 245905110 3600.00/3612.15 c watched propagations 67771292 3600.00/3612.15 c counting propagations 151279772 3600.00/3612.15 c watch lookups 33960299577 3600.00/3612.15 c watch backjump lookups 26903963386 3600.00/3612.15 c watch checks 269868780737 3600.00/3612.15 c propagation checks 49590937439 3600.00/3612.15 c constraint additions 4382752042 3600.00/3612.15 c trail pops 764170511 3600.00/3612.15 c formula constraints 5672 3600.00/3612.15 c learned constraints 1783825 3600.00/3612.15 c bound constraints 0 3600.00/3612.15 c core-guided constraints 0 3600.00/3612.15 c encountered formula constraints 38549724 3600.00/3612.15 c encountered learned constraints 31018104 3600.00/3612.15 c encountered bound constraints 0 3600.00/3612.15 c encountered core-guided constraints 0 3600.00/3612.15 c LP total time 793.555 s 3600.00/3612.15 c LP solve time 786.25 s 3600.00/3612.15 c LP constraints added 11245 3600.00/3612.15 c LP constraints removed 5405 3600.00/3612.15 c LP pivots internal 1788629 3600.00/3612.15 c LP pivots root 654403 3600.00/3612.15 c LP calls 374 3600.00/3612.15 c LP optimalities 133 3600.00/3612.15 c LP no pivot count 2 3600.00/3612.15 c LP infeasibilities 235 3600.00/3612.15 c LP valid Farkas constraints 234 3600.00/3612.15 c LP learned Farkas constraints 234 3600.00/3612.15 c LP basis resets 1 3600.00/3612.15 c LP cycling count 0 3600.00/3612.15 c LP singular count 0 3600.00/3612.15 c LP no primal count 0 3600.00/3612.15 c LP no farkas count 1 3600.00/3612.15 c LP other issue count 0 3600.00/3612.15 c LP Gomory cuts 0 3600.00/3612.15 c LP learned cuts 5573 3600.00/3612.15 c LP deleted cuts 5405 3600.00/3612.15 c LP encountered Gomory constraints 0 3600.00/3612.15 c LP encountered Farkas constraints 2730 3600.00/3612.15 c LP encountered learned Farkas constraints 1076 3600.00/3612.15 c CG auxiliary variables introduced 0 3600.00/3612.15 c CG solutions found 0 3600.00/3612.15 c CG cores constructed 0 3600.00/3612.15 c CG core cardinality constraints returned 0 3600.00/3612.15 c CG unit cores 0 3600.00/3612.15 c CG single cores 0 3600.00/3612.15 c CG blocks removed during cardinality reduction 0 3600.00/3612.15 c CG first core best 0 3600.00/3612.15 c CG decision core best 0 3600.00/3612.15 c CG core reduction tie 0 3600.00/3612.15 c CG core degree average 0.00 3600.00/3612.15 c CG core slack average 0.00 3600.00/3612.15 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62807 MiB free)
memory of node 1: 64473 MiB (56453 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463055-1722345540/watcher-4463055-1722345540 -o /tmp/evaluation-result-4463055-1722345540/solver-4463055-1722345540 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722340763-5676 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463055-1722345540 --lp-cut-gomory=0 HOME/instance-4463055-1722345540.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=8276, runsolver pid=8273
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 4.19 4.24 4.20 5/258 8277
/proc/meminfo: memFree=122114844/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=45872 memory=15080 CPUtime=0.11 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 2734 0 0 0 9 2 0 0 20 0 1 0 924136 46972928 3770 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 11468 3770 1710 992 0 3326 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 45872 KiB
Current children cumulated memory: 15080 KiB
[startup+0.213643 s]*
/proc/loadavg: 4.19 4.24 4.20 5/258 8277
/proc/meminfo: memFree=122112964/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=47476 memory=16136 CPUtime=0.21 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 3032 0 0 0 19 2 0 0 20 0 1 0 924136 48615424 4034 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 11869 4034 1710 992 0 3727 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47476 KiB
Current children cumulated memory: 16136 KiB
[startup+0.313754 s]*
/proc/loadavg: 4.19 4.24 4.20 5/258 8277
/proc/meminfo: memFree=122112152/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=47760 memory=16400 CPUtime=0.31 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 3099 0 0 0 29 2 0 0 20 0 1 0 924136 48906240 4100 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 11940 4100 1710 992 0 3798 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47760 KiB
Current children cumulated memory: 16400 KiB
[startup+0.700344 s]
/proc/loadavg: 4.18 4.24 4.20 5/258 8277
/proc/meminfo: memFree=122111164/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=48528 memory=17192 CPUtime=0.68 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 3292 0 0 0 66 2 0 0 20 0 1 0 924136 49692672 4298 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 12132 4298 1710 992 0 3990 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48528 KiB
Current children cumulated memory: 17192 KiB
[startup+1.50034 s]
/proc/loadavg: 4.18 4.24 4.20 5/258 8277
/proc/meminfo: memFree=122109456/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=48824 memory=17892 CPUtime=1.48 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 3434 0 0 0 142 6 0 0 20 0 1 0 924136 49995776 4473 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 12206 4473 1756 992 0 4064 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48824 KiB
Current children cumulated memory: 17892 KiB
[startup+3.1134 s]
/proc/loadavg: 4.18 4.24 4.20 5/258 8278
/proc/meminfo: memFree=122098056/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=51000 memory=23132 CPUtime=3.09 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 4161 0 0 0 297 12 0 0 20 0 1 0 924136 52224000 5783 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 12750 5783 1836 992 0 4608 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51000 KiB
Current children cumulated memory: 23132 KiB
[startup+6.30032 s]
/proc/loadavg: 4.16 4.23 4.20 5/258 8278
/proc/meminfo: memFree=122080128/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=55508 memory=28460 CPUtime=6.27 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 4990 0 0 0 605 22 0 0 20 0 1 0 924136 56840192 7115 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 13877 7115 1836 992 0 5735 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55508 KiB
Current children cumulated memory: 28460 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.25 4.20 5/258 8280
/proc/meminfo: memFree=122054324/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=56536 memory=29772 CPUtime=12.64 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 5271 0 0 0 1230 34 0 0 20 0 1 0 924136 57892864 7443 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 14134 7443 1836 992 0 5992 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56536 KiB
Current children cumulated memory: 29772 KiB
[startup+25.5004 s]
/proc/loadavg: 4.20 4.24 4.20 5/258 8282
/proc/meminfo: memFree=121989988/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=64668 memory=36356 CPUtime=25.4 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 6413 0 0 0 2484 56 0 0 20 0 1 0 924136 66220032 9089 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 16167 9089 1836 992 0 8025 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 64668 KiB
Current children cumulated memory: 36356 KiB
[startup+51.1135 s]
/proc/loadavg: 4.17 4.23 4.20 5/258 8285
/proc/meminfo: memFree=121664656/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=89072 memory=52344 CPUtime=50.93 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 10158 0 0 0 4982 111 0 0 20 0 1 0 924136 91209728 13086 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 22268 13086 1836 992 0 14126 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 89072 KiB
Current children cumulated memory: 52344 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.22 4.19 5/257 8299
/proc/meminfo: memFree=121241292/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=94712 memory=66864 CPUtime=101.95 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 12441 0 0 0 9974 221 0 0 20 0 1 0 924136 96985088 16716 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 23678 16716 1836 992 0 15536 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 94712 KiB
Current children cumulated memory: 66864 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.19 4.18 5/256 8311
/proc/meminfo: memFree=120575820/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=211240 memory=151168 CPUtime=161.75 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 18221 0 0 0 15839 336 0 0 20 0 1 0 924136 216309760 37792 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 52810 37792 1836 992 0 44668 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 211240 KiB
Current children cumulated memory: 151168 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/256 8322
/proc/meminfo: memFree=120067556/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=218984 memory=158800 CPUtime=221.55 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 20106 0 0 0 21727 428 0 0 20 0 1 0 924136 224239616 39700 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 54746 39700 1836 992 0 46604 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 218984 KiB
Current children cumulated memory: 158800 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.18 4.18 6/249 8335
/proc/meminfo: memFree=119609524/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=219620 memory=159592 CPUtime=281.35 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 20310 0 0 0 27635 500 0 0 20 0 1 0 924136 224890880 39898 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 54905 39898 1836 992 0 46763 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 219620 KiB
Current children cumulated memory: 159592 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/248 8346
/proc/meminfo: memFree=118995300/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=225392 memory=181724 CPUtime=341.15 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 21759 0 0 0 33523 592 0 0 20 0 1 0 924136 230801408 45431 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 56348 45431 1836 992 0 48206 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 225392 KiB
Current children cumulated memory: 181724 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/248 8744
/proc/meminfo: memFree=118701876/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=310352 memory=203616 CPUtime=400.96 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 23141 0 0 0 39407 689 0 0 20 0 1 0 924136 317800448 50904 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 77588 50904 1836 992 0 69446 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 310352 KiB
Current children cumulated memory: 203616 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.20 4.19 6/248 8754
/proc/meminfo: memFree=118107616/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=310816 memory=206100 CPUtime=460.75 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 23308 0 0 0 45298 777 0 0 20 0 1 0 924136 318275584 51525 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 77704 51525 1836 992 0 69562 0
################
# More data... #
################
Current children cumulated memory: 571940 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.24 4.22 5/245 10377
/proc/meminfo: memFree=119699424/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=744224 memory=571940 CPUtime=2912.47 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 53405 0 0 0 287892 3355 0 0 20 0 1 0 924136 762085376 142985 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 186056 142985 1836 992 0 177914 0
Current children cumulated CPU time: 2912.47 s
Current children cumulated vsize: 744224 KiB
Current children cumulated memory: 571940 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.21 4.21 5/245 10388
/proc/meminfo: memFree=119430484/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=744224 memory=572004 CPUtime=2972.26 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 53636 0 0 0 293829 3397 0 0 20 0 1 0 924136 762085376 143001 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 186056 143001 1836 992 0 177914 0
Current children cumulated CPU time: 2972.26 s
Current children cumulated vsize: 744224 KiB
Current children cumulated memory: 572004 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.20 4.20 9/247 10402
/proc/meminfo: memFree=119123268/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=746160 memory=573976 CPUtime=3032.05 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 54415 0 0 0 299770 3435 0 0 20 0 1 0 924136 764067840 143494 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 186540 143494 1836 992 0 178398 0
Current children cumulated CPU time: 3032.05 s
Current children cumulated vsize: 746160 KiB
Current children cumulated memory: 573976 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.19 4.20 5/249 10416
/proc/meminfo: memFree=118816204/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=752292 memory=604560 CPUtime=3091.84 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 56334 0 0 0 305710 3474 0 0 20 0 1 0 924136 770347008 151140 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 188073 151140 1836 992 0 179931 0
Current children cumulated CPU time: 3091.84 s
Current children cumulated vsize: 752292 KiB
Current children cumulated memory: 604560 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.17 4.19 5/248 10429
/proc/meminfo: memFree=118497976/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=752508 memory=606948 CPUtime=3151.65 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 57076 0 0 0 311652 3513 0 0 20 0 1 0 924136 770568192 151737 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 188127 151737 1836 992 0 179985 0
Current children cumulated CPU time: 3151.65 s
Current children cumulated vsize: 752508 KiB
Current children cumulated memory: 606948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.18 4.19 5/248 10439
/proc/meminfo: memFree=118181308/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=752948 memory=607600 CPUtime=3211.46 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 57368 0 0 0 317591 3555 0 0 20 0 1 0 924136 771018752 151900 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 188237 151900 1836 992 0 180095 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 607600 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.18 5/248 10450
/proc/meminfo: memFree=117907208/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=753632 memory=608288 CPUtime=3271.27 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 58234 0 0 0 323501 3626 0 0 20 0 1 0 924136 771719168 152072 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 188408 152072 1836 992 0 180266 0
Current children cumulated CPU time: 3271.27 s
Current children cumulated vsize: 753632 KiB
Current children cumulated memory: 608288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/248 10461
/proc/meminfo: memFree=117616888/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=753632 memory=608440 CPUtime=3331.09 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 58359 0 0 0 329403 3706 0 0 20 0 1 0 924136 771719168 152110 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 188408 152110 1836 992 0 180266 0
Current children cumulated CPU time: 3331.09 s
Current children cumulated vsize: 753632 KiB
Current children cumulated memory: 608440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/246 10473
/proc/meminfo: memFree=117360348/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=753632 memory=608440 CPUtime=3390.91 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 58533 0 0 0 335327 3764 0 0 20 0 1 0 924136 771719168 152110 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 188408 152110 1836 992 0 180266 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 753632 KiB
Current children cumulated memory: 608440 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/245 10484
/proc/meminfo: memFree=117046360/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=756884 memory=611308 CPUtime=3450.71 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 59525 0 0 0 341256 3815 0 0 20 0 1 0 924136 775049216 152827 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 189221 152827 1836 992 0 181079 0
Current children cumulated CPU time: 3450.71 s
Current children cumulated vsize: 756884 KiB
Current children cumulated memory: 611308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.16 4.17 5/245 10496
/proc/meminfo: memFree=116798988/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=760152 memory=613920 CPUtime=3510.5 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 60474 0 0 0 347206 3844 0 0 20 0 1 0 924136 778395648 153480 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 190038 153480 1836 992 0 181896 0
Current children cumulated CPU time: 3510.5 s
Current children cumulated vsize: 760152 KiB
Current children cumulated memory: 613920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.16 4.17 5/245 10551
/proc/meminfo: memFree=121483352/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=766232 memory=618120 CPUtime=3570.29 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 61823 0 0 0 353153 3876 0 0 20 0 1 0 924136 784621568 154530 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 191558 154530 1836 992 0 183416 0
Current children cumulated CPU time: 3570.29 s
Current children cumulated vsize: 766232 KiB
Current children cumulated memory: 618120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.20 4.16 4.17 5/245 10557
/proc/meminfo: memFree=120854784/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=768340 memory=620204 CPUtime=3600 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 62438 0 0 0 356110 3890 0 0 20 0 1 0 924136 786780160 155051 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 192085 155051 1836 992 0 183943 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 768340 KiB
Current children cumulated memory: 620204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.16 s]
# the end of solver process 8276 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.11 s, system=38.9062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.20 4.16 4.17 5/245 10557
/proc/meminfo: memFree=120854784/131655788 swapFree=131071472/131071996
[pid=8276] ppid=8273 vsize=768340 memory=620204 CPUtime=3600 cores=0,2
/proc/8276/stat : 8276 (roundingsat) R 8273 8276 5666 0 -1 4194304 62438 0 0 0 356110 3890 0 0 20 0 1 0 924136 786780160 155051 134679101440 4194304 8255733 140733030511360 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27324416 140733030515550 140733030515812 140733030515812 140733030522825 0
/proc/8276/statm: 192085 155051 1836 992 0 183943 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 768340 KiB
Current children cumulated memory: 620204 KiB
Child status: 0
Real time (s): 3612.16
CPU time (s): 3600.02
CPU user time (s): 3561.11
CPU system time (s): 38.9062
CPU usage (%): 99.6638
Max. virtual memory (cumulated for all children) (KiB): 768340
Max. memory (cumulated for all children) (KiB): 620204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.11
system time used= 38.9062
maximum resident set size= 620204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9921520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 659
involuntary context switches= 22129
# summary of solver processes directly reported to runsolver:
# pid: 8276
# total CPU time (s): 3600.02
# total CPU user time (s): 3561.11
# total CPU system time (s): 38.9062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2503 second user time and 35.2528 second system time
The end
Begin job on nodeC012 at 2024-07-30 15:19:00 IDJOB=4463055 IDBENCH=158357 IDSOLVER=3089 FILE ID=nodeC012/4463055-1722345540 RUNJOBID= nodeC012-1722340763-5676 SLURM_JOB_ID= 8248992 Free space on /tmp= 723760 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-4463055-1722345540/watcher-4463055-1722345540 -o /tmp/evaluation-result-4463055-1722345540/solver-4463055-1722345540 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722340763-5676 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463055-1722345540 --lp-cut-gomory=0 HOME/instance-4463055-1722345540.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b RANDOM SEED=768974306 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.224 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3644.328 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.211 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.238 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3623.976 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3660.530 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.402 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.379 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 122123372 kB MemAvailable: 128268060 kB Buffers: 42212 kB Cached: 6934436 kB SwapCached: 48 kB Active: 156264 kB Inactive: 8937740 kB Active(anon): 1432 kB Inactive(anon): 2137256 kB Active(file): 154832 kB Inactive(file): 6800484 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 25656 kB Writeback: 0 kB AnonPages: 2117140 kB Mapped: 97136 kB Shmem: 21248 kB KReclaimable: 59140 kB Slab: 134700 kB SReclaimable: 59140 kB SUnreclaim: 75560 kB KernelStack: 4144 kB PageTables: 12968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2916872 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 589824 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: 146248 kB DirectMap2M: 7098368 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723756 MiB End job on nodeC012 at 2024-07-30 16:19:13