| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.1 | 3609.36 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K82.opb |
| MD5SUM | 5599f1c242004f89302cb9020bac47d1 |
| 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 | 5576 |
| Total number of constraints | 5742 |
| Number of constraints which are clauses | 5660 |
| Number of constraints which are cardinality constraints (but not clauses) | 82 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 82 |
| 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 | 83 |
| 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.05 c #variables 5576 #constraints 5742 13.54/13.62 c #Conflicts: 1000 | #Constraints: 6741 13.54/13.62 c #Conflicts: 2000 | #Constraints: 7741 13.54/13.62 c INPROCESSING 13.54/13.62 c GARBAGE COLLECT 13.54/13.62 c #Conflicts: 3000 | #Constraints: 7423 13.54/13.62 c #Conflicts: 4000 | #Constraints: 8423 13.54/13.62 c INPROCESSING 13.54/13.62 c GARBAGE COLLECT 13.54/13.62 c #Conflicts: 5000 | #Constraints: 7894 13.54/13.62 c #Conflicts: 6000 | #Constraints: 8894 13.54/13.62 c INPROCESSING 13.54/13.62 c GARBAGE COLLECT 13.54/13.62 c #Conflicts: 7000 | #Constraints: 7933 13.54/13.62 c #Conflicts: 8000 | #Constraints: 8933 13.54/13.62 c #Conflicts: 9000 | #Constraints: 9933 13.54/13.62 c INPROCESSING 13.54/13.62 c GARBAGE COLLECT 13.54/13.62 c rational objective 82 25.51/25.65 c #Conflicts: 10000 | #Constraints: 8691 25.51/25.65 c #Conflicts: 11000 | #Constraints: 9691 25.51/25.65 c #Conflicts: 12000 | #Constraints: 10692 25.51/25.65 c INPROCESSING 25.51/25.65 c GARBAGE COLLECT 25.51/25.65 c #Conflicts: 13000 | #Constraints: 9186 25.51/25.65 c #Conflicts: 14000 | #Constraints: 10186 25.51/25.65 c #Conflicts: 15000 | #Constraints: 11186 25.51/25.65 c INPROCESSING 25.51/25.65 c GARBAGE COLLECT 25.51/25.65 c #Conflicts: 16000 | #Constraints: 9457 25.51/25.65 c #Conflicts: 17000 | #Constraints: 10457 25.51/25.65 c #Conflicts: 18000 | #Constraints: 11457 25.51/25.65 c INPROCESSING 25.51/25.65 c GARBAGE COLLECT 25.51/25.65 c #Conflicts: 19000 | #Constraints: 9475 25.51/25.65 c #Conflicts: 20000 | #Constraints: 10475 25.51/25.65 c #Conflicts: 21000 | #Constraints: 11475 25.51/25.65 c INPROCESSING 25.51/25.65 c GARBAGE COLLECT 25.51/25.65 c #Conflicts: 22000 | #Constraints: 9218 25.51/25.65 c #Conflicts: 23000 | #Constraints: 10218 25.51/25.65 c #Conflicts: 24000 | #Constraints: 11218 25.51/25.65 c #Conflicts: 25000 | #Constraints: 12218 25.51/25.65 c INPROCESSING 25.51/25.65 c GARBAGE COLLECT 25.51/25.65 c rational objective 82 28.20/28.32 c #Conflicts: 26000 | #Constraints: 9850 28.20/28.32 c #Conflicts: 27000 | #Constraints: 10850 28.20/28.32 c #Conflicts: 28000 | #Constraints: 11850 28.20/28.32 c #Conflicts: 29000 | #Constraints: 12850 28.20/28.32 c INPROCESSING 28.20/28.32 c GARBAGE COLLECT 28.20/28.32 c rational objective 82 53.94/54.17 c #Conflicts: 30000 | #Constraints: 10291 53.94/54.17 c #Conflicts: 31000 | #Constraints: 11291 53.94/54.17 c #Conflicts: 32000 | #Constraints: 12291 53.94/54.17 c #Conflicts: 33000 | #Constraints: 13291 53.94/54.17 c INPROCESSING 53.94/54.17 c GARBAGE COLLECT 53.94/54.17 c #Conflicts: 34000 | #Constraints: 10528 53.94/54.17 c #Conflicts: 35000 | #Constraints: 11528 53.94/54.17 c #Conflicts: 36000 | #Constraints: 12528 53.94/54.17 c #Conflicts: 37000 | #Constraints: 13528 53.94/54.17 c INPROCESSING 53.94/54.17 c GARBAGE COLLECT 53.94/54.17 c #Conflicts: 38000 | #Constraints: 10540 53.94/54.17 c #Conflicts: 39000 | #Constraints: 11540 53.94/54.17 c #Conflicts: 40000 | #Constraints: 12540 53.94/54.17 c #Conflicts: 41000 | #Constraints: 13540 53.94/54.17 c INPROCESSING 53.94/54.17 c GARBAGE COLLECT 53.94/54.17 c #Conflicts: 42000 | #Constraints: 10388 53.94/54.17 c #Conflicts: 43000 | #Constraints: 11389 53.94/54.17 c #Conflicts: 44000 | #Constraints: 12389 53.94/54.17 c #Conflicts: 45000 | #Constraints: 13390 53.94/54.17 c #Conflicts: 46000 | #Constraints: 14390 53.94/54.17 c INPROCESSING 53.94/54.17 c GARBAGE COLLECT 53.94/54.17 c rational objective 82 57.53/57.72 c #Conflicts: 47000 | #Constraints: 10984 57.53/57.72 c #Conflicts: 48000 | #Constraints: 11984 57.53/57.72 c #Conflicts: 49000 | #Constraints: 12984 57.53/57.72 c #Conflicts: 50000 | #Constraints: 13984 57.53/57.72 c #Conflicts: 51000 | #Constraints: 14984 57.53/57.72 c INPROCESSING 57.53/57.72 c GARBAGE COLLECT 57.53/57.72 c rational objective 82 67.31/67.52 c #Conflicts: 52000 | #Constraints: 11421 67.31/67.52 c #Conflicts: 53000 | #Constraints: 12421 67.31/67.52 c #Conflicts: 54000 | #Constraints: 13421 67.31/67.52 c #Conflicts: 55000 | #Constraints: 14421 67.31/67.52 c #Conflicts: 56000 | #Constraints: 15422 67.31/67.52 c INPROCESSING 67.31/67.52 c GARBAGE COLLECT 67.31/67.52 c rational objective 82 87.96/88.28 c #Conflicts: 57000 | #Constraints: 11608 87.96/88.28 c #Conflicts: 58000 | #Constraints: 12609 87.96/88.28 c #Conflicts: 59000 | #Constraints: 13610 87.96/88.28 c #Conflicts: 60000 | #Constraints: 14610 87.96/88.28 c #Conflicts: 61000 | #Constraints: 15610 87.96/88.28 c INPROCESSING 87.96/88.28 c GARBAGE COLLECT 87.96/88.28 c #Conflicts: 62000 | #Constraints: 11586 87.96/88.28 c #Conflicts: 63000 | #Constraints: 12586 87.96/88.28 c #Conflicts: 64000 | #Constraints: 13586 87.96/88.28 c #Conflicts: 65000 | #Constraints: 14586 87.96/88.28 c #Conflicts: 66000 | #Constraints: 15586 87.96/88.28 c INPROCESSING 87.96/88.28 c GARBAGE COLLECT 87.96/88.28 c #Conflicts: 67000 | #Constraints: 11426 87.96/88.28 c #Conflicts: 68000 | #Constraints: 12426 87.96/88.28 c #Conflicts: 69000 | #Constraints: 13426 87.96/88.28 c #Conflicts: 70000 | #Constraints: 14426 87.96/88.28 c #Conflicts: 71000 | #Constraints: 15426 87.96/88.28 c #Conflicts: 72000 | #Constraints: 16426 87.96/88.28 c INPROCESSING 87.96/88.28 c GARBAGE COLLECT 87.96/88.28 c #Conflicts: 73000 | #Constraints: 12055 87.96/88.28 c #Conflicts: 74000 | #Constraints: 13055 87.96/88.28 c #Conflicts: 75000 | #Constraints: 14056 87.96/88.28 c #Conflicts: 76000 | #Constraints: 15056 87.96/88.28 c #Conflicts: 77000 | #Constraints: 16056 87.96/88.28 c #Conflicts: 78000 | #Constraints: 17056 87.96/88.28 c INPROCESSING 87.96/88.28 c GARBAGE COLLECT 87.96/88.28 c rational objective 82 123.88/124.29 c #Conflicts: 79000 | #Constraints: 12460 123.88/124.29 c #Conflicts: 80000 | #Constraints: 13460 123.88/124.29 c #Conflicts: 81000 | #Constraints: 14460 123.88/124.29 c #Conflicts: 82000 | #Constraints: 15460 123.88/124.29 c #Conflicts: 83000 | #Constraints: 16460 123.88/124.29 c #Conflicts: 84000 | #Constraints: 17460 123.88/124.29 c #Conflicts: 85000 | #Constraints: 18460 123.88/124.29 c #Conflicts: 86000 | #Constraints: 19460 123.88/124.29 c #Conflicts: 87000 | #Constraints: 20461 123.88/124.29 c #Conflicts: 88000 | #Constraints: 21461 123.88/124.29 c #Conflicts: 89000 | #Constraints: 22461 123.88/124.29 c #Conflicts: 90000 | #Constraints: 23461 123.88/124.29 c #Conflicts: 91000 | #Constraints: 24461 123.88/124.29 c #Conflicts: 92000 | #Constraints: 25461 123.88/124.29 c #Conflicts: 93000 | #Constraints: 26461 123.88/124.29 c #Conflicts: 94000 | #Constraints: 27461 123.88/124.29 c #Conflicts: 95000 | #Constraints: 28461 123.88/124.29 c #Conflicts: 96000 | #Constraints: 29461 123.88/124.29 c #Conflicts: 97000 | #Constraints: 30461 123.88/124.29 c #Conflicts: 98000 | #Constraints: 31462 123.88/124.29 c #Conflicts: 99000 | #Constraints: 32462 123.88/124.29 c #Conflicts: 100000 | #Constraints: 33462 123.88/124.29 c #Conflicts: 101000 | #Constraints: 34462 123.88/124.29 c #Conflicts: 102000 | #Constraints: 35462 123.88/124.29 c INPROCESSING 123.88/124.29 c GARBAGE COLLECT 123.88/124.29 c rational objective 82 131.56/131.90 c #Conflicts: 103000 | #Constraints: 21247 131.56/131.90 c #Conflicts: 104000 | #Constraints: 22247 131.56/131.90 c #Conflicts: 105000 | #Constraints: 23247 131.56/131.90 c #Conflicts: 106000 | #Constraints: 24247 131.56/131.90 c #Conflicts: 107000 | #Constraints: 25247 131.56/131.90 c #Conflicts: 108000 | #Constraints: 26247 131.56/131.90 c #Conflicts: 109000 | #Constraints: 27247 131.56/131.90 c #Conflicts: 110000 | #Constraints: 28247 131.56/131.90 c INPROCESSING 131.56/131.90 c GARBAGE COLLECT 131.56/131.90 c rational objective 82 151.70/152.14 c #Conflicts: 111000 | #Constraints: 18081 151.70/152.14 c #Conflicts: 112000 | #Constraints: 19081 151.70/152.14 c #Conflicts: 113000 | #Constraints: 20081 151.70/152.14 c #Conflicts: 114000 | #Constraints: 21081 151.70/152.14 c #Conflicts: 115000 | #Constraints: 22081 151.70/152.14 c #Conflicts: 116000 | #Constraints: 23082 151.70/152.14 c #Conflicts: 117000 | #Constraints: 24082 151.70/152.14 c INPROCESSING 151.70/152.14 c GARBAGE COLLECT 151.70/152.14 c rational objective 82 174.04/174.57 c #Conflicts: 118000 | #Constraints: 15883 174.04/174.57 c #Conflicts: 119000 | #Constraints: 16883 174.04/174.57 c #Conflicts: 120000 | #Constraints: 17883 174.04/174.57 c #Conflicts: 121000 | #Constraints: 18883 174.04/174.57 c #Conflicts: 122000 | #Constraints: 19884 174.04/174.57 c #Conflicts: 123000 | #Constraints: 20885 174.04/174.57 c #Conflicts: 124000 | #Constraints: 21885 174.04/174.57 c INPROCESSING 174.04/174.57 c GARBAGE COLLECT 174.04/174.57 c #Conflicts: 125000 | #Constraints: 14539 174.04/174.57 c #Conflicts: 126000 | #Constraints: 15539 174.04/174.57 c #Conflicts: 127000 | #Constraints: 16540 174.04/174.57 c #Conflicts: 128000 | #Constraints: 17541 174.04/174.57 c #Conflicts: 129000 | #Constraints: 18541 174.04/174.57 c #Conflicts: 130000 | #Constraints: 19542 174.04/174.57 c #Conflicts: 131000 | #Constraints: 20542 174.04/174.57 c #Conflicts: 132000 | #Constraints: 21542 174.04/174.57 c INPROCESSING 174.04/174.57 c GARBAGE COLLECT 174.04/174.57 c #Conflicts: 133000 | #Constraints: 14510 174.04/174.57 c #Conflicts: 134000 | #Constraints: 15510 174.04/174.57 c #Conflicts: 135000 | #Constraints: 16510 174.04/174.57 c #Conflicts: 136000 | #Constraints: 17510 174.04/174.57 c #Conflicts: 137000 | #Constraints: 18510 174.04/174.57 c #Conflicts: 138000 | #Constraints: 19511 174.04/174.57 c #Conflicts: 139000 | #Constraints: 20511 174.04/174.57 c #Conflicts: 140000 | #Constraints: 21511 174.04/174.57 c INPROCESSING 174.04/174.57 c GARBAGE COLLECT 174.04/174.57 c rational objective 82 214.93/215.57 c #Conflicts: 141000 | #Constraints: 14564 214.93/215.57 c #Conflicts: 142000 | #Constraints: 15564 214.93/215.57 c #Conflicts: 143000 | #Constraints: 16564 214.93/215.57 c #Conflicts: 144000 | #Constraints: 17564 214.93/215.57 c #Conflicts: 145000 | #Constraints: 18564 214.93/215.57 c #Conflicts: 146000 | #Constraints: 19565 214.93/215.57 c #Conflicts: 147000 | #Constraints: 20565 214.93/215.57 c #Conflicts: 148000 | #Constraints: 21565 214.93/215.57 c #Conflicts: 149000 | #Constraints: 22566 214.93/215.57 c #Conflicts: 150000 | #Constraints: 23566 214.93/215.57 c #Conflicts: 151000 | #Constraints: 24566 214.93/215.57 c #Conflicts: 152000 | #Constraints: 25567 214.93/215.57 c #Conflicts: 153000 | #Constraints: 26568 214.93/215.57 c #Conflicts: 154000 | #Constraints: 27568 214.93/215.57 c #Conflicts: 155000 | #Constraints: 28568 214.93/215.57 c #Conflicts: 156000 | #Constraints: 29568 214.93/215.57 c #Conflicts: 157000 | #Constraints: 30568 214.93/215.57 c #Conflicts: 158000 | #Constraints: 31568 214.93/215.57 c #Conflicts: 159000 | #Constraints: 32569 214.93/215.57 c #Conflicts: 160000 | #Constraints: 33569 214.93/215.57 c #Conflicts: 161000 | #Constraints: 34569 214.93/215.57 c #Conflicts: 162000 | #Constraints: 35569 214.93/215.57 c #Conflicts: 163000 | #Constraints: 36570 214.93/215.57 c #Conflicts: 164000 | #Constraints: 37570 214.93/215.57 c #Conflicts: 165000 | #Constraints: 38570 214.93/215.57 c #Conflicts: 166000 | #Constraints: 39570 214.93/215.57 c #Conflicts: 167000 | #Constraints: 40570 214.93/215.57 c #Conflicts: 168000 | #Constraints: 41570 214.93/215.57 c #Conflicts: 169000 | #Constraints: 42570 214.93/215.57 c #Conflicts: 170000 | #Constraints: 43570 214.93/215.57 c #Conflicts: 171000 | #Constraints: 44570 214.93/215.57 c #Conflicts: 172000 | #Constraints: 45570 214.93/215.57 c INPROCESSING 214.93/215.57 c GARBAGE COLLECT 214.93/215.57 c rational objective 82 231.59/232.23 c #Conflicts: 173000 | #Constraints: 26382 231.59/232.23 c #Conflicts: 174000 | #Constraints: 27382 231.59/232.23 c #Conflicts: 175000 | #Constraints: 28382 231.59/232.23 c #Conflicts: 176000 | #Constraints: 29383 231.59/232.23 c #Conflicts: 177000 | #Constraints: 30383 231.59/232.23 c #Conflicts: 178000 | #Constraints: 31383 231.59/232.23 c #Conflicts: 179000 | #Constraints: 32383 231.59/232.23 c #Conflicts: 180000 | #Constraints: 33383 231.59/232.23 c #Conflicts: 181000 | #Constraints: 34384 231.59/232.23 c #Conflicts: 182000 | #Constraints: 35384 231.59/232.23 c INPROCESSING 231.59/232.23 c GARBAGE COLLECT 231.59/232.23 c rational objective 82 241.77/242.44 c #Conflicts: 183000 | #Constraints: 21716 241.77/242.44 c #Conflicts: 184000 | #Constraints: 22716 241.77/242.44 c #Conflicts: 185000 | #Constraints: 23716 241.77/242.44 c #Conflicts: 186000 | #Constraints: 24716 241.77/242.44 c #Conflicts: 187000 | #Constraints: 25716 241.77/242.44 c #Conflicts: 188000 | #Constraints: 26716 241.77/242.44 c #Conflicts: 189000 | #Constraints: 27716 241.77/242.44 c #Conflicts: 190000 | #Constraints: 28716 241.77/242.44 c #Conflicts: 191000 | #Constraints: 29716 241.77/242.44 c INPROCESSING 241.77/242.44 c GARBAGE COLLECT 241.77/242.44 c rational objective 82 252.75/253.49 c #Conflicts: 192000 | #Constraints: 18709 252.75/253.49 c #Conflicts: 193000 | #Constraints: 19711 252.75/253.49 c #Conflicts: 194000 | #Constraints: 20711 252.75/253.49 c #Conflicts: 195000 | #Constraints: 21711 252.75/253.49 c #Conflicts: 196000 | #Constraints: 22711 252.75/253.49 c #Conflicts: 197000 | #Constraints: 23711 252.75/253.49 c #Conflicts: 198000 | #Constraints: 24711 252.75/253.49 c #Conflicts: 199000 | #Constraints: 25711 252.75/253.49 c #Conflicts: 200000 | #Constraints: 26711 252.75/253.49 c #Conflicts: 201000 | #Constraints: 27711 252.75/253.49 c INPROCESSING 252.75/253.49 c GARBAGE COLLECT 252.75/253.49 c rational objective 82 262.63/263.34 c #Conflicts: 202000 | #Constraints: 17879 262.63/263.34 c #Conflicts: 203000 | #Constraints: 18879 262.63/263.34 c #Conflicts: 204000 | #Constraints: 19879 262.63/263.34 c #Conflicts: 205000 | #Constraints: 20881 262.63/263.34 c #Conflicts: 206000 | #Constraints: 21881 262.63/263.34 c #Conflicts: 207000 | #Constraints: 22881 262.63/263.34 c #Conflicts: 208000 | #Constraints: 23881 262.63/263.34 c #Conflicts: 209000 | #Constraints: 24881 262.63/263.34 c #Conflicts: 210000 | #Constraints: 25881 262.63/263.34 c INPROCESSING 262.63/263.34 c GARBAGE COLLECT 262.63/263.34 c rational objective 82 319.10/319.99 c #Conflicts: 211000 | #Constraints: 16599 319.10/319.99 c #Conflicts: 212000 | #Constraints: 17599 319.10/319.99 c #Conflicts: 213000 | #Constraints: 18599 319.10/319.99 c #Conflicts: 214000 | #Constraints: 19599 319.10/319.99 c #Conflicts: 215000 | #Constraints: 20599 319.10/319.99 c #Conflicts: 216000 | #Constraints: 21600 319.10/319.99 c #Conflicts: 217000 | #Constraints: 22600 319.10/319.99 c #Conflicts: 218000 | #Constraints: 23600 319.10/319.99 c #Conflicts: 219000 | #Constraints: 24601 319.10/319.99 c #Conflicts: 220000 | #Constraints: 25601 319.10/319.99 c #Conflicts: 221000 | #Constraints: 26601 319.10/319.99 c #Conflicts: 222000 | #Constraints: 27601 319.10/319.99 c #Conflicts: 223000 | #Constraints: 28601 319.10/319.99 c #Conflicts: 224000 | #Constraints: 29601 319.10/319.99 c #Conflicts: 225000 | #Constraints: 30601 319.10/319.99 c #Conflicts: 226000 | #Constraints: 31601 319.10/319.99 c #Conflicts: 227000 | #Constraints: 32601 319.10/319.99 c #Conflicts: 228000 | #Constraints: 33601 319.10/319.99 c #Conflicts: 229000 | #Constraints: 34601 319.10/319.99 c #Conflicts: 230000 | #Constraints: 35601 319.10/319.99 c #Conflicts: 231000 | #Constraints: 36601 319.10/319.99 c #Conflicts: 232000 | #Constraints: 37601 319.10/319.99 c #Conflicts: 233000 | #Constraints: 38601 319.10/319.99 c #Conflicts: 234000 | #Constraints: 39601 319.10/319.99 c #Conflicts: 235000 | #Constraints: 40601 319.10/319.99 c #Conflicts: 236000 | #Constraints: 41601 319.10/319.99 c #Conflicts: 237000 | #Constraints: 42601 319.10/319.99 c #Conflicts: 238000 | #Constraints: 43601 319.10/319.99 c #Conflicts: 239000 | #Constraints: 44601 319.10/319.99 c #Conflicts: 240000 | #Constraints: 45601 319.10/319.99 c #Conflicts: 241000 | #Constraints: 46601 319.10/319.99 c #Conflicts: 242000 | #Constraints: 47601 319.10/319.99 c #Conflicts: 243000 | #Constraints: 48601 319.10/319.99 c #Conflicts: 244000 | #Constraints: 49602 319.10/319.99 c #Conflicts: 245000 | #Constraints: 50602 319.10/319.99 c #Conflicts: 246000 | #Constraints: 51602 319.10/319.99 c #Conflicts: 247000 | #Constraints: 52602 319.10/319.99 c #Conflicts: 248000 | #Constraints: 53602 319.10/319.99 c #Conflicts: 249000 | #Constraints: 54602 319.10/319.99 c INPROCESSING 319.10/319.99 c GARBAGE COLLECT 319.10/319.99 c rational objective 82 335.45/336.30 c #Conflicts: 250000 | #Constraints: 31061 335.45/336.30 c #Conflicts: 251000 | #Constraints: 32061 335.45/336.30 c #Conflicts: 252000 | #Constraints: 33061 335.45/336.30 c #Conflicts: 253000 | #Constraints: 34061 335.45/336.30 c #Conflicts: 254000 | #Constraints: 35063 335.45/336.30 c #Conflicts: 255000 | #Constraints: 36063 335.45/336.30 c #Conflicts: 256000 | #Constraints: 37063 335.45/336.30 c #Conflicts: 257000 | #Constraints: 38064 335.45/336.30 c #Conflicts: 258000 | #Constraints: 39064 335.45/336.30 c #Conflicts: 259000 | #Constraints: 40065 335.45/336.30 c #Conflicts: 260000 | #Constraints: 41065 335.45/336.30 c INPROCESSING 335.45/336.30 c GARBAGE COLLECT 335.45/336.30 c rational objective 82 345.63/346.54 c #Conflicts: 261000 | #Constraints: 24240 345.63/346.54 c #Conflicts: 262000 | #Constraints: 25240 345.63/346.54 c #Conflicts: 263000 | #Constraints: 26240 345.63/346.54 c #Conflicts: 264000 | #Constraints: 27240 345.63/346.54 c #Conflicts: 265000 | #Constraints: 28240 345.63/346.54 c #Conflicts: 266000 | #Constraints: 29240 345.63/346.54 c #Conflicts: 267000 | #Constraints: 30240 345.63/346.54 c #Conflicts: 268000 | #Constraints: 31240 345.63/346.54 c #Conflicts: 269000 | #Constraints: 32240 345.63/346.54 c #Conflicts: 270000 | #Constraints: 33240 345.63/346.54 c #Conflicts: 271000 | #Constraints: 34240 345.63/346.54 c #Conflicts: 272000 | #Constraints: 35240 345.63/346.54 c INPROCESSING 345.63/346.54 c GARBAGE COLLECT 345.63/346.54 c rational objective 82 361.89/362.90 c #Conflicts: 273000 | #Constraints: 21675 361.89/362.90 c #Conflicts: 274000 | #Constraints: 22675 361.89/362.90 c #Conflicts: 275000 | #Constraints: 23675 361.89/362.90 c #Conflicts: 276000 | #Constraints: 24675 361.89/362.90 c #Conflicts: 277000 | #Constraints: 25675 361.89/362.90 c #Conflicts: 278000 | #Constraints: 26675 361.89/362.90 c #Conflicts: 279000 | #Constraints: 27675 361.89/362.90 c #Conflicts: 280000 | #Constraints: 28675 361.89/362.90 c #Conflicts: 281000 | #Constraints: 29675 361.89/362.90 c #Conflicts: 282000 | #Constraints: 30675 361.89/362.90 c #Conflicts: 283000 | #Constraints: 31676 361.89/362.90 c INPROCESSING 361.89/362.90 c GARBAGE COLLECT 361.89/362.90 c rational objective 82 377.95/378.96 c #Conflicts: 284000 | #Constraints: 19666 377.95/378.96 c #Conflicts: 285000 | #Constraints: 20666 377.95/378.96 c #Conflicts: 286000 | #Constraints: 21666 377.95/378.96 c #Conflicts: 287000 | #Constraints: 22666 377.95/378.96 c #Conflicts: 288000 | #Constraints: 23666 377.95/378.96 c #Conflicts: 289000 | #Constraints: 24666 377.95/378.96 c #Conflicts: 290000 | #Constraints: 25667 377.95/378.96 c #Conflicts: 291000 | #Constraints: 26667 377.95/378.96 c #Conflicts: 292000 | #Constraints: 27667 377.95/378.96 c #Conflicts: 293000 | #Constraints: 28667 377.95/378.96 c #Conflicts: 294000 | #Constraints: 29668 377.95/378.96 c #Conflicts: 295000 | #Constraints: 30668 377.95/378.96 c INPROCESSING 377.95/378.96 c GARBAGE COLLECT 377.95/378.96 c rational objective 82 451.16/452.31 c #Conflicts: 296000 | #Constraints: 19341 451.16/452.31 c #Conflicts: 297000 | #Constraints: 20341 451.16/452.31 c #Conflicts: 298000 | #Constraints: 21341 451.16/452.31 c #Conflicts: 299000 | #Constraints: 22341 451.16/452.31 c #Conflicts: 300000 | #Constraints: 23341 451.16/452.31 c #Conflicts: 301000 | #Constraints: 24342 451.16/452.31 c #Conflicts: 302000 | #Constraints: 25342 451.16/452.31 c #Conflicts: 303000 | #Constraints: 26342 451.16/452.31 c #Conflicts: 304000 | #Constraints: 27342 451.16/452.31 c #Conflicts: 305000 | #Constraints: 28342 451.16/452.31 c #Conflicts: 306000 | #Constraints: 29343 451.16/452.31 c #Conflicts: 307000 | #Constraints: 30343 451.16/452.31 c #Conflicts: 308000 | #Constraints: 31343 451.16/452.31 c #Conflicts: 309000 | #Constraints: 32343 451.16/452.31 c #Conflicts: 310000 | #Constraints: 33343 451.16/452.31 c #Conflicts: 311000 | #Constraints: 34343 451.16/452.31 c #Conflicts: 312000 | #Constraints: 35343 451.16/452.31 c #Conflicts: 313000 | #Constraints: 36343 451.16/452.31 c #Conflicts: 314000 | #Constraints: 37343 451.16/452.31 c #Conflicts: 315000 | #Constraints: 38343 451.16/452.31 c #Conflicts: 316000 | #Constraints: 39343 451.16/452.31 c #Conflicts: 317000 | #Constraints: 40343 451.16/452.31 c #Conflicts: 318000 | #Constraints: 41343 451.16/452.31 c #Conflicts: 319000 | #Constraints: 42344 451.16/452.31 c #Conflicts: 320000 | #Constraints: 43344 451.16/452.31 c #Conflicts: 321000 | #Constraints: 44345 451.16/452.31 c #Conflicts: 322000 | #Constraints: 45345 451.16/452.31 c #Conflicts: 323000 | #Constraints: 46345 451.16/452.31 c #Conflicts: 324000 | #Constraints: 47345 451.16/452.31 c #Conflicts: 325000 | #Constraints: 48345 451.16/452.31 c #Conflicts: 326000 | #Constraints: 49345 451.16/452.31 c #Conflicts: 327000 | #Constraints: 50345 451.16/452.31 c #Conflicts: 328000 | #Constraints: 51345 451.16/452.31 c #Conflicts: 329000 | #Constraints: 52346 451.16/452.31 c #Conflicts: 330000 | #Constraints: 53346 451.16/452.31 c #Conflicts: 331000 | #Constraints: 54346 451.16/452.31 c #Conflicts: 332000 | #Constraints: 55347 451.16/452.31 c #Conflicts: 333000 | #Constraints: 56347 451.16/452.31 c #Conflicts: 334000 | #Constraints: 57347 451.16/452.31 c #Conflicts: 335000 | #Constraints: 58347 451.16/452.31 c #Conflicts: 336000 | #Constraints: 59347 451.16/452.31 c #Conflicts: 337000 | #Constraints: 60347 451.16/452.31 c #Conflicts: 338000 | #Constraints: 61347 451.16/452.31 c #Conflicts: 339000 | #Constraints: 62347 451.16/452.31 c #Conflicts: 340000 | #Constraints: 63347 451.16/452.31 c INPROCESSING 451.16/452.31 c GARBAGE COLLECT 451.16/452.31 c rational objective 82 476.59/477.89 c #Conflicts: 341000 | #Constraints: 35595 476.59/477.89 c #Conflicts: 342000 | #Constraints: 36595 476.59/477.89 c #Conflicts: 343000 | #Constraints: 37595 476.59/477.89 c #Conflicts: 344000 | #Constraints: 38595 476.59/477.89 c #Conflicts: 345000 | #Constraints: 39595 476.59/477.89 c #Conflicts: 346000 | #Constraints: 40595 476.59/477.89 c #Conflicts: 347000 | #Constraints: 41595 476.59/477.89 c #Conflicts: 348000 | #Constraints: 42595 476.59/477.89 c #Conflicts: 349000 | #Constraints: 43595 476.59/477.89 c #Conflicts: 350000 | #Constraints: 44595 476.59/477.89 c #Conflicts: 351000 | #Constraints: 45595 476.59/477.89 c #Conflicts: 352000 | #Constraints: 46596 476.59/477.89 c #Conflicts: 353000 | #Constraints: 47596 476.59/477.89 c INPROCESSING 476.59/477.89 c GARBAGE COLLECT 476.59/477.89 c rational objective 82 497.05/498.32 c #Conflicts: 354000 | #Constraints: 27714 497.05/498.32 c #Conflicts: 355000 | #Constraints: 28714 497.05/498.32 c #Conflicts: 356000 | #Constraints: 29714 497.05/498.32 c #Conflicts: 357000 | #Constraints: 30715 497.05/498.32 c #Conflicts: 358000 | #Constraints: 31715 497.05/498.32 c #Conflicts: 359000 | #Constraints: 32715 497.05/498.32 c #Conflicts: 360000 | #Constraints: 33715 497.05/498.32 c #Conflicts: 361000 | #Constraints: 34715 497.05/498.32 c #Conflicts: 362000 | #Constraints: 35715 497.05/498.32 c #Conflicts: 363000 | #Constraints: 36715 497.05/498.32 c #Conflicts: 364000 | #Constraints: 37716 497.05/498.32 c #Conflicts: 365000 | #Constraints: 38716 497.05/498.32 c #Conflicts: 366000 | #Constraints: 39716 497.05/498.32 c INPROCESSING 497.05/498.32 c GARBAGE COLLECT 497.05/498.32 c rational objective 82 515.10/516.48 c #Conflicts: 367000 | #Constraints: 23662 515.10/516.48 c #Conflicts: 368000 | #Constraints: 24662 515.10/516.48 c #Conflicts: 369000 | #Constraints: 25662 515.10/516.48 c #Conflicts: 370000 | #Constraints: 26662 515.10/516.48 c #Conflicts: 371000 | #Constraints: 27662 515.10/516.48 c #Conflicts: 372000 | #Constraints: 28662 515.10/516.48 c #Conflicts: 373000 | #Constraints: 29662 515.10/516.48 c #Conflicts: 374000 | #Constraints: 30662 515.10/516.48 c #Conflicts: 375000 | #Constraints: 31663 515.10/516.48 c #Conflicts: 376000 | #Constraints: 32663 515.10/516.48 c #Conflicts: 377000 | #Constraints: 33663 515.10/516.48 c #Conflicts: 378000 | #Constraints: 34664 515.10/516.48 c #Conflicts: 379000 | #Constraints: 35664 515.10/516.48 c #Conflicts: 380000 | #Constraints: 36664 515.10/516.48 c INPROCESSING 515.10/516.48 c GARBAGE COLLECT 515.10/516.48 c rational objective 82 530.46/531.88 c #Conflicts: 381000 | #Constraints: 22451 530.46/531.88 c #Conflicts: 382000 | #Constraints: 23451 530.46/531.88 c #Conflicts: 383000 | #Constraints: 24451 530.46/531.88 c #Conflicts: 384000 | #Constraints: 25451 530.46/531.88 c #Conflicts: 385000 | #Constraints: 26451 530.46/531.88 c #Conflicts: 386000 | #Constraints: 27451 530.46/531.88 c #Conflicts: 387000 | #Constraints: 28451 530.46/531.88 c #Conflicts: 388000 | #Constraints: 29451 530.46/531.88 c #Conflicts: 389000 | #Constraints: 30451 530.46/531.88 c #Conflicts: 390000 | #Constraints: 31452 530.46/531.88 c #Conflicts: 391000 | #Constraints: 32452 530.46/531.88 c #Conflicts: 392000 | #Constraints: 33452 530.46/531.88 c #Conflicts: 393000 | #Constraints: 34452 530.46/531.88 c INPROCESSING 530.46/531.88 c GARBAGE COLLECT 530.46/531.88 c rational objective 82 624.72/626.35 c #Conflicts: 394000 | #Constraints: 20981 624.72/626.35 c #Conflicts: 395000 | #Constraints: 21981 624.72/626.35 c #Conflicts: 396000 | #Constraints: 22981 624.72/626.35 c #Conflicts: 397000 | #Constraints: 23981 624.72/626.35 c #Conflicts: 398000 | #Constraints: 24981 624.72/626.35 c #Conflicts: 399000 | #Constraints: 25981 624.72/626.35 c #Conflicts: 400000 | #Constraints: 26981 624.72/626.35 c #Conflicts: 401000 | #Constraints: 27981 624.72/626.35 c #Conflicts: 402000 | #Constraints: 28982 624.72/626.35 c #Conflicts: 403000 | #Constraints: 29982 624.72/626.35 c #Conflicts: 404000 | #Constraints: 30983 624.72/626.35 c #Conflicts: 405000 | #Constraints: 31983 624.72/626.35 c #Conflicts: 406000 | #Constraints: 32984 624.72/626.35 c #Conflicts: 407000 | #Constraints: 33984 624.72/626.35 c #Conflicts: 408000 | #Constraints: 34984 624.72/626.35 c #Conflicts: 409000 | #Constraints: 35984 624.72/626.35 c #Conflicts: 410000 | #Constraints: 36984 624.72/626.35 c #Conflicts: 411000 | #Constraints: 37984 624.72/626.35 c #Conflicts: 412000 | #Constraints: 38984 624.72/626.35 c #Conflicts: 413000 | #Constraints: 39984 624.72/626.35 c #Conflicts: 414000 | #Constraints: 40984 624.72/626.35 c #Conflicts: 415000 | #Constraints: 41984 624.72/626.35 c #Conflicts: 416000 | #Constraints: 42985 624.72/626.35 c #Conflicts: 417000 | #Constraints: 43985 624.72/626.35 c #Conflicts: 418000 | #Constraints: 44985 624.72/626.35 c #Conflicts: 419000 | #Constraints: 45985 624.72/626.35 c #Conflicts: 420000 | #Constraints: 46985 624.72/626.35 c #Conflicts: 421000 | #Constraints: 47985 624.72/626.35 c #Conflicts: 422000 | #Constraints: 48985 624.72/626.35 c #Conflicts: 423000 | #Constraints: 49985 624.72/626.35 c #Conflicts: 424000 | #Constraints: 50985 624.72/626.35 c #Conflicts: 425000 | #Constraints: 51985 624.72/626.35 c #Conflicts: 426000 | #Constraints: 52985 624.72/626.35 c #Conflicts: 427000 | #Constraints: 53985 624.72/626.35 c #Conflicts: 428000 | #Constraints: 54986 624.72/626.35 c #Conflicts: 429000 | #Constraints: 55986 624.72/626.35 c #Conflicts: 430000 | #Constraints: 56987 624.72/626.35 c #Conflicts: 431000 | #Constraints: 57987 624.72/626.35 c #Conflicts: 432000 | #Constraints: 58987 624.72/626.35 c #Conflicts: 433000 | #Constraints: 59987 624.72/626.35 c #Conflicts: 434000 | #Constraints: 60987 624.72/626.35 c #Conflicts: 435000 | #Constraints: 61987 624.72/626.35 c #Conflicts: 436000 | #Constraints: 62987 624.72/626.35 c #Conflicts: 437000 | #Constraints: 63987 624.72/626.35 c #Conflicts: 438000 | #Constraints: 64987 624.72/626.35 c #Conflicts: 439000 | #Constraints: 65987 624.72/626.35 c #Conflicts: 440000 | #Constraints: 66987 624.72/626.35 c #Conflicts: 441000 | #Constraints: 67987 624.72/626.35 c #Conflicts: 442000 | #Constraints: 68987 624.72/626.35 c #Conflicts: 443000 | #Constraints: 69987 624.72/626.35 c #Conflicts: 444000 | #Constraints: 70987 624.72/626.35 c #Conflicts: 445000 | #Constraints: 71987 624.72/626.35 c INPROCESSING 624.72/626.35 c GARBAGE COLLECT 624.72/626.35 c rational objective 82 654.64/656.34 c #Conflicts: 446000 | #Constraints: 40041 654.64/656.34 c #Conflicts: 447000 | #Constraints: 41041 654.64/656.34 c #Conflicts: 448000 | #Constraints: 42041 654.64/656.34 c #Conflicts: 449000 | #Constraints: 43042 654.64/656.34 c #Conflicts: 450000 | #Constraints: 44042 654.64/656.34 c #Conflicts: 451000 | #Constraints: 45042 654.64/656.34 c #Conflicts: 452000 | #Constraints: 46042 654.64/656.34 c #Conflicts: 453000 | #Constraints: 47042 654.64/656.34 c #Conflicts: 454000 | #Constraints: 48042 654.64/656.34 c #Conflicts: 455000 | #Constraints: 49042 654.64/656.34 c #Conflicts: 456000 | #Constraints: 50042 654.64/656.34 c #Conflicts: 457000 | #Constraints: 51042 654.64/656.34 c #Conflicts: 458000 | #Constraints: 52042 654.64/656.34 c #Conflicts: 459000 | #Constraints: 53042 654.64/656.34 c #Conflicts: 460000 | #Constraints: 54042 654.64/656.34 c INPROCESSING 654.64/656.34 c GARBAGE COLLECT 654.64/656.34 c rational objective 82 684.07/685.89 c #Conflicts: 461000 | #Constraints: 31110 684.07/685.89 c #Conflicts: 462000 | #Constraints: 32110 684.07/685.89 c #Conflicts: 463000 | #Constraints: 33110 684.07/685.89 c #Conflicts: 464000 | #Constraints: 34110 684.07/685.89 c #Conflicts: 465000 | #Constraints: 35110 684.07/685.89 c #Conflicts: 466000 | #Constraints: 36110 684.07/685.89 c #Conflicts: 467000 | #Constraints: 37110 684.07/685.89 c #Conflicts: 468000 | #Constraints: 38110 684.07/685.89 c #Conflicts: 469000 | #Constraints: 39110 684.07/685.89 c #Conflicts: 470000 | #Constraints: 40110 684.07/685.89 c #Conflicts: 471000 | #Constraints: 41111 684.07/685.89 c #Conflicts: 472000 | #Constraints: 42111 684.07/685.89 c #Conflicts: 473000 | #Constraints: 43111 684.07/685.89 c #Conflicts: 474000 | #Constraints: 44111 684.07/685.89 c #Conflicts: 475000 | #Constraints: 45111 684.07/685.89 c INPROCESSING 684.07/685.89 c GARBAGE COLLECT 684.07/685.89 c rational objective 82 711.00/712.81 c #Conflicts: 476000 | #Constraints: 26577 711.00/712.81 c #Conflicts: 477000 | #Constraints: 27577 711.00/712.81 c #Conflicts: 478000 | #Constraints: 28577 711.00/712.81 c #Conflicts: 479000 | #Constraints: 29577 711.00/712.81 c #Conflicts: 480000 | #Constraints: 30577 711.00/712.81 c #Conflicts: 481000 | #Constraints: 31577 711.00/712.81 c #Conflicts: 482000 | #Constraints: 32577 711.00/712.81 c #Conflicts: 483000 | #Constraints: 33578 711.00/712.81 c #Conflicts: 484000 | #Constraints: 34578 711.00/712.81 c #Conflicts: 485000 | #Constraints: 35578 711.00/712.81 c #Conflicts: 486000 | #Constraints: 36578 711.00/712.81 c #Conflicts: 487000 | #Constraints: 37578 711.00/712.81 c #Conflicts: 488000 | #Constraints: 38578 711.00/712.81 c #Conflicts: 489000 | #Constraints: 39578 711.00/712.81 c #Conflicts: 490000 | #Constraints: 40578 711.00/712.81 c INPROCESSING 711.00/712.81 c GARBAGE COLLECT 711.00/712.81 c rational objective 82 738.34/740.27 c #Conflicts: 491000 | #Constraints: 24182 738.34/740.27 c #Conflicts: 492000 | #Constraints: 25182 738.34/740.27 c #Conflicts: 493000 | #Constraints: 26182 738.34/740.27 c #Conflicts: 494000 | #Constraints: 27182 738.34/740.27 c #Conflicts: 495000 | #Constraints: 28182 738.34/740.27 c #Conflicts: 496000 | #Constraints: 29182 738.34/740.27 c #Conflicts: 497000 | #Constraints: 30182 738.34/740.27 c #Conflicts: 498000 | #Constraints: 31182 738.34/740.27 c #Conflicts: 499000 | #Constraints: 32182 738.34/740.27 c #Conflicts: 500000 | #Constraints: 33182 738.34/740.27 c #Conflicts: 501000 | #Constraints: 34182 738.34/740.27 c #Conflicts: 502000 | #Constraints: 35182 738.34/740.27 c #Conflicts: 503000 | #Constraints: 36182 738.34/740.27 c #Conflicts: 504000 | #Constraints: 37182 738.34/740.27 c #Conflicts: 505000 | #Constraints: 38183 738.34/740.27 c #Conflicts: 506000 | #Constraints: 39183 738.34/740.27 c INPROCESSING 738.34/740.27 c GARBAGE COLLECT 738.34/740.27 c rational objective 82 841.88/844.08 c #Conflicts: 507000 | #Constraints: 23727 841.88/844.08 c #Conflicts: 508000 | #Constraints: 24727 841.88/844.08 c #Conflicts: 509000 | #Constraints: 25727 841.88/844.08 c #Conflicts: 510000 | #Constraints: 26727 841.88/844.08 c #Conflicts: 511000 | #Constraints: 27727 841.88/844.08 c #Conflicts: 512000 | #Constraints: 28727 841.88/844.08 c #Conflicts: 513000 | #Constraints: 29727 841.88/844.08 c #Conflicts: 514000 | #Constraints: 30727 841.88/844.08 c #Conflicts: 515000 | #Constraints: 31727 841.88/844.08 c #Conflicts: 516000 | #Constraints: 32727 841.88/844.08 c #Conflicts: 517000 | #Constraints: 33727 841.88/844.08 c #Conflicts: 518000 | #Constraints: 34728 841.88/844.08 c #Conflicts: 519000 | #Constraints: 35728 841.88/844.08 c #Conflicts: 520000 | #Constraints: 36728 841.88/844.08 c #Conflicts: 521000 | #Constraints: 37728 841.88/844.08 c #Conflicts: 522000 | #Constraints: 38728 841.88/844.08 c #Conflicts: 523000 | #Constraints: 39728 841.88/844.08 c #Conflicts: 524000 | #Constraints: 40728 841.88/844.08 c #Conflicts: 525000 | #Constraints: 41728 841.88/844.08 c #Conflicts: 526000 | #Constraints: 42728 841.88/844.08 c #Conflicts: 527000 | #Constraints: 43728 841.88/844.08 c #Conflicts: 528000 | #Constraints: 44728 841.88/844.08 c #Conflicts: 529000 | #Constraints: 45728 841.88/844.08 c #Conflicts: 530000 | #Constraints: 46728 841.88/844.08 c #Conflicts: 531000 | #Constraints: 47728 841.88/844.08 c #Conflicts: 532000 | #Constraints: 48728 841.88/844.08 c #Conflicts: 533000 | #Constraints: 49728 841.88/844.08 c #Conflicts: 534000 | #Constraints: 50728 841.88/844.08 c #Conflicts: 535000 | #Constraints: 51728 841.88/844.08 c #Conflicts: 536000 | #Constraints: 52728 841.88/844.08 c #Conflicts: 537000 | #Constraints: 53728 841.88/844.08 c #Conflicts: 538000 | #Constraints: 54728 841.88/844.08 c #Conflicts: 539000 | #Constraints: 55729 841.88/844.08 c #Conflicts: 540000 | #Constraints: 56729 841.88/844.08 c #Conflicts: 541000 | #Constraints: 57729 841.88/844.08 c #Conflicts: 542000 | #Constraints: 58730 841.88/844.08 c #Conflicts: 543000 | #Constraints: 59730 841.88/844.08 c #Conflicts: 544000 | #Constraints: 60730 841.88/844.08 c #Conflicts: 545000 | #Constraints: 61730 841.88/844.08 c #Conflicts: 546000 | #Constraints: 62730 841.88/844.08 c #Conflicts: 547000 | #Constraints: 63730 841.88/844.08 c #Conflicts: 548000 | #Constraints: 64730 841.88/844.08 c #Conflicts: 549000 | #Constraints: 65730 841.88/844.08 c #Conflicts: 550000 | #Constraints: 66730 841.88/844.08 c #Conflicts: 551000 | #Constraints: 67730 841.88/844.08 c #Conflicts: 552000 | #Constraints: 68730 841.88/844.08 c #Conflicts: 553000 | #Constraints: 69731 841.88/844.08 c #Conflicts: 554000 | #Constraints: 70731 841.88/844.08 c #Conflicts: 555000 | #Constraints: 71731 841.88/844.08 c #Conflicts: 556000 | #Constraints: 72731 841.88/844.08 c #Conflicts: 557000 | #Constraints: 73731 841.88/844.08 c #Conflicts: 558000 | #Constraints: 74731 841.88/844.08 c #Conflicts: 559000 | #Constraints: 75732 841.88/844.08 c #Conflicts: 560000 | #Constraints: 76732 841.88/844.08 c #Conflicts: 561000 | #Constraints: 77732 841.88/844.08 c #Conflicts: 562000 | #Constraints: 78732 841.88/844.08 c #Conflicts: 563000 | #Constraints: 79732 841.88/844.08 c #Conflicts: 564000 | #Constraints: 80732 841.88/844.08 c INPROCESSING 841.88/844.08 c GARBAGE COLLECT 841.88/844.08 c rational objective 82 871.30/873.59 c #Conflicts: 565000 | #Constraints: 44508 871.30/873.59 c #Conflicts: 566000 | #Constraints: 45508 871.30/873.59 c #Conflicts: 567000 | #Constraints: 46508 871.30/873.59 c #Conflicts: 568000 | #Constraints: 47508 871.30/873.59 c #Conflicts: 569000 | #Constraints: 48508 871.30/873.59 c #Conflicts: 570000 | #Constraints: 49508 871.30/873.59 c #Conflicts: 571000 | #Constraints: 50508 871.30/873.59 c #Conflicts: 572000 | #Constraints: 51508 871.30/873.59 c #Conflicts: 573000 | #Constraints: 52508 871.30/873.59 c #Conflicts: 574000 | #Constraints: 53508 871.30/873.59 c #Conflicts: 575000 | #Constraints: 54508 871.30/873.59 c #Conflicts: 576000 | #Constraints: 55509 871.30/873.59 c #Conflicts: 577000 | #Constraints: 56509 871.30/873.59 c #Conflicts: 578000 | #Constraints: 57510 871.30/873.59 c #Conflicts: 579000 | #Constraints: 58510 871.30/873.59 c #Conflicts: 580000 | #Constraints: 59510 871.30/873.59 c INPROCESSING 871.30/873.59 c GARBAGE COLLECT 871.30/873.59 c rational objective 82 901.43/903.78 c #Conflicts: 581000 | #Constraints: 33516 901.43/903.78 c #Conflicts: 582000 | #Constraints: 34516 901.43/903.78 c #Conflicts: 583000 | #Constraints: 35516 901.43/903.78 c #Conflicts: 584000 | #Constraints: 36517 901.43/903.78 c #Conflicts: 585000 | #Constraints: 37517 901.43/903.78 c #Conflicts: 586000 | #Constraints: 38517 901.43/903.78 c #Conflicts: 587000 | #Constraints: 39517 901.43/903.78 c #Conflicts: 588000 | #Constraints: 40517 901.43/903.78 c #Conflicts: 589000 | #Constraints: 41517 901.43/903.78 c #Conflicts: 590000 | #Constraints: 42518 901.43/903.78 c #Conflicts: 591000 | #Constraints: 43518 901.43/903.78 c #Conflicts: 592000 | #Constraints: 44518 901.43/903.78 c #Conflicts: 593000 | #Constraints: 45518 901.43/903.78 c #Conflicts: 594000 | #Constraints: 46518 901.43/903.78 c #Conflicts: 595000 | #Constraints: 47518 901.43/903.78 c #Conflicts: 596000 | #Constraints: 48518 901.43/903.78 c #Conflicts: 597000 | #Constraints: 49518 901.43/903.78 c INPROCESSING 901.43/903.78 c GARBAGE COLLECT 901.43/903.78 c rational objective 82 925.67/928.02 c #Conflicts: 598000 | #Constraints: 28513 925.67/928.02 c #Conflicts: 599000 | #Constraints: 29513 925.67/928.02 c #Conflicts: 600000 | #Constraints: 30513 925.67/928.02 c #Conflicts: 601000 | #Constraints: 31513 925.67/928.02 c #Conflicts: 602000 | #Constraints: 32514 925.67/928.02 c #Conflicts: 603000 | #Constraints: 33514 925.67/928.02 c #Conflicts: 604000 | #Constraints: 34514 925.67/928.02 c #Conflicts: 605000 | #Constraints: 35514 925.67/928.02 c #Conflicts: 606000 | #Constraints: 36514 925.67/928.02 c #Conflicts: 607000 | #Constraints: 37514 925.67/928.02 c #Conflicts: 608000 | #Constraints: 38514 925.67/928.02 c #Conflicts: 609000 | #Constraints: 39514 925.67/928.02 c #Conflicts: 610000 | #Constraints: 40514 925.67/928.02 c #Conflicts: 611000 | #Constraints: 41514 925.67/928.02 c #Conflicts: 612000 | #Constraints: 42514 925.67/928.02 c #Conflicts: 613000 | #Constraints: 43514 925.67/928.02 c #Conflicts: 614000 | #Constraints: 44514 925.67/928.02 c #Conflicts: 615000 | #Constraints: 45514 925.67/928.02 c INPROCESSING 925.67/928.02 c GARBAGE COLLECT 925.67/928.02 c rational objective 82 943.22/945.60 c #Conflicts: 616000 | #Constraints: 26904 943.22/945.60 c #Conflicts: 617000 | #Constraints: 27904 943.22/945.60 c #Conflicts: 618000 | #Constraints: 28904 943.22/945.60 c #Conflicts: 619000 | #Constraints: 29904 943.22/945.60 c #Conflicts: 620000 | #Constraints: 30904 943.22/945.60 c #Conflicts: 621000 | #Constraints: 31904 943.22/945.60 c #Conflicts: 622000 | #Constraints: 32904 943.22/945.60 c #Conflicts: 623000 | #Constraints: 33905 943.22/945.60 c #Conflicts: 624000 | #Constraints: 34905 943.22/945.60 c #Conflicts: 625000 | #Constraints: 35906 943.22/945.60 c #Conflicts: 626000 | #Constraints: 36906 943.22/945.60 c #Conflicts: 627000 | #Constraints: 37907 943.22/945.60 c #Conflicts: 628000 | #Constraints: 38907 943.22/945.60 c #Conflicts: 629000 | #Constraints: 39907 943.22/945.60 c #Conflicts: 630000 | #Constraints: 40907 943.22/945.60 c #Conflicts: 631000 | #Constraints: 41907 943.22/945.60 c #Conflicts: 632000 | #Constraints: 42907 943.22/945.60 c INPROCESSING 943.22/945.60 c GARBAGE COLLECT 943.22/945.60 c rational objective 82 1083.15/1085.93 c #Conflicts: 633000 | #Constraints: 25401 1083.15/1085.93 c #Conflicts: 634000 | #Constraints: 26401 1083.15/1085.93 c #Conflicts: 635000 | #Constraints: 27401 1083.15/1085.93 c #Conflicts: 636000 | #Constraints: 28401 1083.15/1085.93 c #Conflicts: 637000 | #Constraints: 29401 1083.15/1085.93 c #Conflicts: 638000 | #Constraints: 30401 1083.15/1085.93 c #Conflicts: 639000 | #Constraints: 31401 1083.15/1085.93 c #Conflicts: 640000 | #Constraints: 32402 1083.15/1085.93 c #Conflicts: 641000 | #Constraints: 33402 1083.15/1085.93 c #Conflicts: 642000 | #Constraints: 34402 1083.15/1085.93 c #Conflicts: 643000 | #Constraints: 35402 1083.15/1085.93 c #Conflicts: 644000 | #Constraints: 36402 1083.15/1085.93 c #Conflicts: 645000 | #Constraints: 37402 1083.15/1085.93 c #Conflicts: 646000 | #Constraints: 38403 1083.15/1085.93 c #Conflicts: 647000 | #Constraints: 39403 1083.15/1085.93 c #Conflicts: 648000 | #Constraints: 40403 1083.15/1085.93 c #Conflicts: 649000 | #Constraints: 41404 1083.15/1085.93 c #Conflicts: 650000 | #Constraints: 42404 1083.15/1085.93 c #Conflicts: 651000 | #Constraints: 43404 1083.15/1085.93 c #Conflicts: 652000 | #Constraints: 44404 1083.15/1085.93 c #Conflicts: 653000 | #Constraints: 45405 1083.15/1085.93 c #Conflicts: 654000 | #Constraints: 46405 1083.15/1085.93 c #Conflicts: 655000 | #Constraints: 47405 1083.15/1085.93 c #Conflicts: 656000 | #Constraints: 48405 1083.15/1085.93 c #Conflicts: 657000 | #Constraints: 49405 1083.15/1085.93 c #Conflicts: 658000 | #Constraints: 50405 1083.15/1085.93 c #Conflicts: 659000 | #Constraints: 51405 1083.15/1085.93 c #Conflicts: 660000 | #Constraints: 52406 1083.15/1085.93 c #Conflicts: 661000 | #Constraints: 53406 1083.15/1085.93 c #Conflicts: 662000 | #Constraints: 54406 1083.15/1085.93 c #Conflicts: 663000 | #Constraints: 55406 1083.15/1085.93 c #Conflicts: 664000 | #Constraints: 56406 1083.15/1085.93 c #Conflicts: 665000 | #Constraints: 57407 1083.15/1085.93 c #Conflicts: 666000 | #Constraints: 58407 1083.15/1085.93 c #Conflicts: 667000 | #Constraints: 59407 1083.15/1085.93 c #Conflicts: 668000 | #Constraints: 60407 1083.15/1085.93 c #Conflicts: 669000 | #Constraints: 61408 1083.15/1085.93 c #Conflicts: 670000 | #Constraints: 62408 1083.15/1085.93 c #Conflicts: 671000 | #Constraints: 63409 1083.15/1085.93 c #Conflicts: 672000 | #Constraints: 64409 1083.15/1085.93 c #Conflicts: 673000 | #Constraints: 65409 1083.15/1085.93 c #Conflicts: 674000 | #Constraints: 66409 1083.15/1085.93 c #Conflicts: 675000 | #Constraints: 67409 1083.15/1085.93 c #Conflicts: 676000 | #Constraints: 68410 1083.15/1085.93 c #Conflicts: 677000 | #Constraints: 69410 1083.15/1085.93 c #Conflicts: 678000 | #Constraints: 70410 1083.15/1085.93 c #Conflicts: 679000 | #Constraints: 71411 1083.15/1085.93 c #Conflicts: 680000 | #Constraints: 72411 1083.15/1085.93 c #Conflicts: 681000 | #Constraints: 73411 1083.15/1085.93 c #Conflicts: 682000 | #Constraints: 74411 1083.15/1085.93 c #Conflicts: 683000 | #Constraints: 75411 1083.15/1085.93 c #Conflicts: 684000 | #Constraints: 76411 1083.15/1085.93 c #Conflicts: 685000 | #Constraints: 77411 1083.15/1085.93 c #Conflicts: 686000 | #Constraints: 78412 1083.15/1085.93 c #Conflicts: 687000 | #Constraints: 79412 1083.15/1085.93 c #Conflicts: 688000 | #Constraints: 80412 1083.15/1085.93 c #Conflicts: 689000 | #Constraints: 81412 1083.15/1085.93 c #Conflicts: 690000 | #Constraints: 82413 1083.15/1085.93 c #Conflicts: 691000 | #Constraints: 83413 1083.15/1085.93 c #Conflicts: 692000 | #Constraints: 84413 1083.15/1085.93 c #Conflicts: 693000 | #Constraints: 85413 1083.15/1085.93 c #Conflicts: 694000 | #Constraints: 86413 1083.15/1085.93 c #Conflicts: 695000 | #Constraints: 87413 1083.15/1085.93 c #Conflicts: 696000 | #Constraints: 88413 1083.15/1085.93 c INPROCESSING 1083.15/1085.93 c GARBAGE COLLECT 1083.15/1085.93 c rational objective 82 1122.64/1125.59 c #Conflicts: 697000 | #Constraints: 48026 1122.64/1125.59 c #Conflicts: 698000 | #Constraints: 49026 1122.64/1125.59 c #Conflicts: 699000 | #Constraints: 50026 1122.64/1125.59 c #Conflicts: 700000 | #Constraints: 51026 1122.64/1125.59 c #Conflicts: 701000 | #Constraints: 52026 1122.64/1125.59 c #Conflicts: 702000 | #Constraints: 53026 1122.64/1125.59 c #Conflicts: 703000 | #Constraints: 54026 1122.64/1125.59 c #Conflicts: 704000 | #Constraints: 55029 1122.64/1125.59 c #Conflicts: 705000 | #Constraints: 56030 1122.64/1125.59 c #Conflicts: 706000 | #Constraints: 57031 1122.64/1125.59 c #Conflicts: 707000 | #Constraints: 58031 1122.64/1125.59 c #Conflicts: 708000 | #Constraints: 59031 1122.64/1125.59 c #Conflicts: 709000 | #Constraints: 60031 1122.64/1125.59 c #Conflicts: 710000 | #Constraints: 61031 1122.64/1125.59 c #Conflicts: 711000 | #Constraints: 62031 1122.64/1125.59 c #Conflicts: 712000 | #Constraints: 63031 1122.64/1125.59 c #Conflicts: 713000 | #Constraints: 64031 1122.64/1125.59 c #Conflicts: 714000 | #Constraints: 65031 1122.64/1125.59 c #Conflicts: 715000 | #Constraints: 66031 1122.64/1125.59 c INPROCESSING 1122.64/1125.59 c GARBAGE COLLECT 1122.64/1125.59 c rational objective 82 1162.74/1165.71 c #Conflicts: 716000 | #Constraints: 36966 1162.74/1165.71 c #Conflicts: 717000 | #Constraints: 37966 1162.74/1165.71 c #Conflicts: 718000 | #Constraints: 38966 1162.74/1165.71 c #Conflicts: 719000 | #Constraints: 39966 1162.74/1165.71 c #Conflicts: 720000 | #Constraints: 40966 1162.74/1165.71 c #Conflicts: 721000 | #Constraints: 41966 1162.74/1165.71 c #Conflicts: 722000 | #Constraints: 42967 1162.74/1165.71 c #Conflicts: 723000 | #Constraints: 43967 1162.74/1165.71 c #Conflicts: 724000 | #Constraints: 44967 1162.74/1165.71 c #Conflicts: 725000 | #Constraints: 45967 1162.74/1165.71 c #Conflicts: 726000 | #Constraints: 46967 1162.74/1165.71 c #Conflicts: 727000 | #Constraints: 47967 1162.74/1165.71 c #Conflicts: 728000 | #Constraints: 48967 1162.74/1165.71 c #Conflicts: 729000 | #Constraints: 49967 1162.74/1165.71 c #Conflicts: 730000 | #Constraints: 50967 1162.74/1165.71 c #Conflicts: 731000 | #Constraints: 51967 1162.74/1165.71 c #Conflicts: 732000 | #Constraints: 52967 1162.74/1165.71 c #Conflicts: 733000 | #Constraints: 53967 1162.74/1165.71 c #Conflicts: 734000 | #Constraints: 54968 1162.74/1165.71 c INPROCESSING 1162.74/1165.71 c GARBAGE COLLECT 1162.74/1165.71 c rational objective 82 1187.27/1190.31 c #Conflicts: 735000 | #Constraints: 31409 1187.27/1190.31 c #Conflicts: 736000 | #Constraints: 32409 1187.27/1190.31 c #Conflicts: 737000 | #Constraints: 33409 1187.27/1190.31 c #Conflicts: 738000 | #Constraints: 34409 1187.27/1190.31 c #Conflicts: 739000 | #Constraints: 35409 1187.27/1190.31 c #Conflicts: 740000 | #Constraints: 36409 1187.27/1190.31 c #Conflicts: 741000 | #Constraints: 37409 1187.27/1190.31 c #Conflicts: 742000 | #Constraints: 38409 1187.27/1190.31 c #Conflicts: 743000 | #Constraints: 39409 1187.27/1190.31 c #Conflicts: 744000 | #Constraints: 40409 1187.27/1190.31 c #Conflicts: 745000 | #Constraints: 41409 1187.27/1190.31 c #Conflicts: 746000 | #Constraints: 42409 1187.27/1190.31 c #Conflicts: 747000 | #Constraints: 43409 1187.27/1190.31 c #Conflicts: 748000 | #Constraints: 44409 1187.27/1190.31 c #Conflicts: 749000 | #Constraints: 45409 1187.27/1190.31 c #Conflicts: 750000 | #Constraints: 46409 1187.27/1190.31 c #Conflicts: 751000 | #Constraints: 47409 1187.27/1190.31 c #Conflicts: 752000 | #Constraints: 48409 1187.27/1190.31 c #Conflicts: 753000 | #Constraints: 49409 1187.27/1190.31 c INPROCESSING 1187.27/1190.31 c GARBAGE COLLECT 1187.27/1190.31 c rational objective 82 1211.81/1214.90 c #Conflicts: 754000 | #Constraints: 28617 1211.81/1214.90 c #Conflicts: 755000 | #Constraints: 29617 1211.81/1214.90 c #Conflicts: 756000 | #Constraints: 30617 1211.81/1214.90 c #Conflicts: 757000 | #Constraints: 31617 1211.81/1214.90 c #Conflicts: 758000 | #Constraints: 32617 1211.81/1214.90 c #Conflicts: 759000 | #Constraints: 33618 1211.81/1214.90 c #Conflicts: 760000 | #Constraints: 34618 1211.81/1214.90 c #Conflicts: 761000 | #Constraints: 35618 1211.81/1214.90 c #Conflicts: 762000 | #Constraints: 36618 1211.81/1214.90 c #Conflicts: 763000 | #Constraints: 37618 1211.81/1214.90 c #Conflicts: 764000 | #Constraints: 38618 1211.81/1214.90 c #Conflicts: 765000 | #Constraints: 39618 1211.81/1214.90 c #Conflicts: 766000 | #Constraints: 40618 1211.81/1214.90 c #Conflicts: 767000 | #Constraints: 41618 1211.81/1214.90 c #Conflicts: 768000 | #Constraints: 42618 1211.81/1214.90 c #Conflicts: 769000 | #Constraints: 43618 1211.81/1214.90 c #Conflicts: 770000 | #Constraints: 44618 1211.81/1214.90 c #Conflicts: 771000 | #Constraints: 45618 1211.81/1214.90 c #Conflicts: 772000 | #Constraints: 46618 1211.81/1214.90 c INPROCESSING 1211.81/1214.90 c GARBAGE COLLECT 1211.81/1214.90 c rational objective 82 1385.95/1389.50 c #Conflicts: 773000 | #Constraints: 27087 1385.95/1389.50 c #Conflicts: 774000 | #Constraints: 28087 1385.95/1389.50 c #Conflicts: 775000 | #Constraints: 29087 1385.95/1389.50 c #Conflicts: 776000 | #Constraints: 30087 1385.95/1389.50 c #Conflicts: 777000 | #Constraints: 31087 1385.95/1389.50 c #Conflicts: 778000 | #Constraints: 32087 1385.95/1389.50 c #Conflicts: 779000 | #Constraints: 33087 1385.95/1389.50 c #Conflicts: 780000 | #Constraints: 34087 1385.95/1389.50 c #Conflicts: 781000 | #Constraints: 35087 1385.95/1389.50 c #Conflicts: 782000 | #Constraints: 36088 1385.95/1389.50 c #Conflicts: 783000 | #Constraints: 37088 1385.95/1389.50 c #Conflicts: 784000 | #Constraints: 38089 1385.95/1389.50 c #Conflicts: 785000 | #Constraints: 39089 1385.95/1389.50 c #Conflicts: 786000 | #Constraints: 40089 1385.95/1389.50 c #Conflicts: 787000 | #Constraints: 41089 1385.95/1389.50 c #Conflicts: 788000 | #Constraints: 42090 1385.95/1389.50 c #Conflicts: 789000 | #Constraints: 43090 1385.95/1389.50 c #Conflicts: 790000 | #Constraints: 44090 1385.95/1389.50 c #Conflicts: 791000 | #Constraints: 45090 1385.95/1389.50 c #Conflicts: 792000 | #Constraints: 46090 1385.95/1389.50 c #Conflicts: 793000 | #Constraints: 47090 1385.95/1389.50 c #Conflicts: 794000 | #Constraints: 48090 1385.95/1389.50 c #Conflicts: 795000 | #Constraints: 49090 1385.95/1389.50 c #Conflicts: 796000 | #Constraints: 50090 1385.95/1389.50 c #Conflicts: 797000 | #Constraints: 51090 1385.95/1389.50 c #Conflicts: 798000 | #Constraints: 52090 1385.95/1389.50 c #Conflicts: 799000 | #Constraints: 53090 1385.95/1389.50 c #Conflicts: 800000 | #Constraints: 54090 1385.95/1389.50 c #Conflicts: 801000 | #Constraints: 55090 1385.95/1389.50 c #Conflicts: 802000 | #Constraints: 56090 1385.95/1389.50 c #Conflicts: 803000 | #Constraints: 57090 1385.95/1389.50 c #Conflicts: 804000 | #Constraints: 58090 1385.95/1389.50 c #Conflicts: 805000 | #Constraints: 59090 1385.95/1389.50 c #Conflicts: 806000 | #Constraints: 60090 1385.95/1389.50 c #Conflicts: 807000 | #Constraints: 61091 1385.95/1389.50 c #Conflicts: 808000 | #Constraints: 62091 1385.95/1389.50 c #Conflicts: 809000 | #Constraints: 63092 1385.95/1389.50 c #Conflicts: 810000 | #Constraints: 64092 1385.95/1389.50 c #Conflicts: 811000 | #Constraints: 65092 1385.95/1389.50 c #Conflicts: 812000 | #Constraints: 66092 1385.95/1389.50 c #Conflicts: 813000 | #Constraints: 67092 1385.95/1389.50 c #Conflicts: 814000 | #Constraints: 68093 1385.95/1389.50 c #Conflicts: 815000 | #Constraints: 69093 1385.95/1389.50 c #Conflicts: 816000 | #Constraints: 70093 1385.95/1389.50 c #Conflicts: 817000 | #Constraints: 71093 1385.95/1389.50 c #Conflicts: 818000 | #Constraints: 72093 1385.95/1389.50 c #Conflicts: 819000 | #Constraints: 73093 1385.95/1389.50 c #Conflicts: 820000 | #Constraints: 74094 1385.95/1389.50 c #Conflicts: 821000 | #Constraints: 75094 1385.95/1389.50 c #Conflicts: 822000 | #Constraints: 76094 1385.95/1389.50 c #Conflicts: 823000 | #Constraints: 77094 1385.95/1389.50 c #Conflicts: 824000 | #Constraints: 78094 1385.95/1389.50 c #Conflicts: 825000 | #Constraints: 79095 1385.95/1389.50 c #Conflicts: 826000 | #Constraints: 80095 1385.95/1389.50 c #Conflicts: 827000 | #Constraints: 81095 1385.95/1389.50 c #Conflicts: 828000 | #Constraints: 82096 1385.95/1389.50 c #Conflicts: 829000 | #Constraints: 83096 1385.95/1389.50 c #Conflicts: 830000 | #Constraints: 84096 1385.95/1389.50 c #Conflicts: 831000 | #Constraints: 85096 1385.95/1389.50 c #Conflicts: 832000 | #Constraints: 86096 1385.95/1389.50 c #Conflicts: 833000 | #Constraints: 87096 1385.95/1389.50 c #Conflicts: 834000 | #Constraints: 88096 1385.95/1389.50 c #Conflicts: 835000 | #Constraints: 89096 1385.95/1389.50 c #Conflicts: 836000 | #Constraints: 90096 1385.95/1389.50 c #Conflicts: 837000 | #Constraints: 91096 1385.95/1389.50 c #Conflicts: 838000 | #Constraints: 92097 1385.95/1389.50 c #Conflicts: 839000 | #Constraints: 93097 1385.95/1389.50 c #Conflicts: 840000 | #Constraints: 94097 1385.95/1389.50 c #Conflicts: 841000 | #Constraints: 95097 1385.95/1389.50 c #Conflicts: 842000 | #Constraints: 96097 1385.95/1389.50 c #Conflicts: 843000 | #Constraints: 97097 1385.95/1389.50 c INPROCESSING 1385.95/1389.50 c GARBAGE COLLECT 1385.95/1389.50 c rational objective 82 1428.93/1432.68 c #Conflicts: 844000 | #Constraints: 52392 1428.93/1432.68 c #Conflicts: 845000 | #Constraints: 53392 1428.93/1432.68 c #Conflicts: 846000 | #Constraints: 54392 1428.93/1432.68 c #Conflicts: 847000 | #Constraints: 55392 1428.93/1432.68 c #Conflicts: 848000 | #Constraints: 56392 1428.93/1432.68 c #Conflicts: 849000 | #Constraints: 57392 1428.93/1432.68 c #Conflicts: 850000 | #Constraints: 58392 1428.93/1432.68 c #Conflicts: 851000 | #Constraints: 59392 1428.93/1432.68 c #Conflicts: 852000 | #Constraints: 60392 1428.93/1432.68 c #Conflicts: 853000 | #Constraints: 61392 1428.93/1432.68 c #Conflicts: 854000 | #Constraints: 62392 1428.93/1432.68 c #Conflicts: 855000 | #Constraints: 63392 1428.93/1432.68 c #Conflicts: 856000 | #Constraints: 64392 1428.93/1432.68 c #Conflicts: 857000 | #Constraints: 65392 1428.93/1432.68 c #Conflicts: 858000 | #Constraints: 66392 1428.93/1432.68 c #Conflicts: 859000 | #Constraints: 67392 1428.93/1432.68 c #Conflicts: 860000 | #Constraints: 68392 1428.93/1432.68 c #Conflicts: 861000 | #Constraints: 69393 1428.93/1432.68 c #Conflicts: 862000 | #Constraints: 70393 1428.93/1432.68 c #Conflicts: 863000 | #Constraints: 71393 1428.93/1432.68 c #Conflicts: 864000 | #Constraints: 72393 1428.93/1432.68 c INPROCESSING 1428.93/1432.68 c GARBAGE COLLECT 1428.93/1432.68 c rational objective 82 1463.14/1466.98 c #Conflicts: 865000 | #Constraints: 40286 1463.14/1466.98 c #Conflicts: 866000 | #Constraints: 41286 1463.14/1466.98 c #Conflicts: 867000 | #Constraints: 42286 1463.14/1466.98 c #Conflicts: 868000 | #Constraints: 43286 1463.14/1466.98 c #Conflicts: 869000 | #Constraints: 44286 1463.14/1466.98 c #Conflicts: 870000 | #Constraints: 45286 1463.14/1466.98 c #Conflicts: 871000 | #Constraints: 46286 1463.14/1466.98 c #Conflicts: 872000 | #Constraints: 47286 1463.14/1466.98 c #Conflicts: 873000 | #Constraints: 48286 1463.14/1466.98 c #Conflicts: 874000 | #Constraints: 49287 1463.14/1466.98 c #Conflicts: 875000 | #Constraints: 50287 1463.14/1466.98 c #Conflicts: 876000 | #Constraints: 51287 1463.14/1466.98 c #Conflicts: 877000 | #Constraints: 52287 1463.14/1466.98 c #Conflicts: 878000 | #Constraints: 53287 1463.14/1466.98 c #Conflicts: 879000 | #Constraints: 54287 1463.14/1466.98 c #Conflicts: 880000 | #Constraints: 55287 1463.14/1466.98 c #Conflicts: 881000 | #Constraints: 56287 1463.14/1466.98 c #Conflicts: 882000 | #Constraints: 57287 1463.14/1466.98 c #Conflicts: 883000 | #Constraints: 58287 1463.14/1466.98 c #Conflicts: 884000 | #Constraints: 59287 1463.14/1466.98 c #Conflicts: 885000 | #Constraints: 60287 1463.14/1466.98 c INPROCESSING 1463.14/1466.98 c GARBAGE COLLECT 1463.14/1466.98 c rational objective 82 1498.45/1502.38 c #Conflicts: 886000 | #Constraints: 34331 1498.45/1502.38 c #Conflicts: 887000 | #Constraints: 35331 1498.45/1502.38 c #Conflicts: 888000 | #Constraints: 36331 1498.45/1502.38 c #Conflicts: 889000 | #Constraints: 37331 1498.45/1502.38 c #Conflicts: 890000 | #Constraints: 38332 1498.45/1502.38 c #Conflicts: 891000 | #Constraints: 39332 1498.45/1502.38 c #Conflicts: 892000 | #Constraints: 40332 1498.45/1502.38 c #Conflicts: 893000 | #Constraints: 41332 1498.45/1502.38 c #Conflicts: 894000 | #Constraints: 42332 1498.45/1502.38 c #Conflicts: 895000 | #Constraints: 43332 1498.45/1502.38 c #Conflicts: 896000 | #Constraints: 44332 1498.45/1502.38 c #Conflicts: 897000 | #Constraints: 45332 1498.45/1502.38 c #Conflicts: 898000 | #Constraints: 46332 1498.45/1502.38 c #Conflicts: 899000 | #Constraints: 47332 1498.45/1502.38 c #Conflicts: 900000 | #Constraints: 48332 1498.45/1502.38 c #Conflicts: 901000 | #Constraints: 49332 1498.45/1502.38 c #Conflicts: 902000 | #Constraints: 50332 1498.45/1502.38 c #Conflicts: 903000 | #Constraints: 51332 1498.45/1502.38 c #Conflicts: 904000 | #Constraints: 52332 1498.45/1502.38 c #Conflicts: 905000 | #Constraints: 53332 1498.45/1502.38 c #Conflicts: 906000 | #Constraints: 54332 1498.45/1502.38 c INPROCESSING 1498.45/1502.38 c GARBAGE COLLECT 1498.45/1502.38 c rational objective 82 1527.57/1531.54 c #Conflicts: 907000 | #Constraints: 31363 1527.57/1531.54 c #Conflicts: 908000 | #Constraints: 32363 1527.57/1531.54 c #Conflicts: 909000 | #Constraints: 33363 1527.57/1531.54 c #Conflicts: 910000 | #Constraints: 34363 1527.57/1531.54 c #Conflicts: 911000 | #Constraints: 35363 1527.57/1531.54 c #Conflicts: 912000 | #Constraints: 36363 1527.57/1531.54 c #Conflicts: 913000 | #Constraints: 37363 1527.57/1531.54 c #Conflicts: 914000 | #Constraints: 38363 1527.57/1531.54 c #Conflicts: 915000 | #Constraints: 39363 1527.57/1531.54 c #Conflicts: 916000 | #Constraints: 40363 1527.57/1531.54 c #Conflicts: 917000 | #Constraints: 41363 1527.57/1531.54 c #Conflicts: 918000 | #Constraints: 42363 1527.57/1531.54 c #Conflicts: 919000 | #Constraints: 43364 1527.57/1531.54 c #Conflicts: 920000 | #Constraints: 44364 1527.57/1531.54 c #Conflicts: 921000 | #Constraints: 45365 1527.57/1531.54 c #Conflicts: 922000 | #Constraints: 46366 1527.57/1531.54 c #Conflicts: 923000 | #Constraints: 47366 1527.57/1531.54 c #Conflicts: 924000 | #Constraints: 48366 1527.57/1531.54 c #Conflicts: 925000 | #Constraints: 49366 1527.57/1531.54 c #Conflicts: 926000 | #Constraints: 50366 1527.57/1531.54 c #Conflicts: 927000 | #Constraints: 51366 1527.57/1531.54 c INPROCESSING 1527.57/1531.54 c GARBAGE COLLECT 1527.57/1531.54 c rational objective 82 1716.55/1721.01 c #Conflicts: 928000 | #Constraints: 29682 1716.55/1721.01 c #Conflicts: 929000 | #Constraints: 30682 1716.55/1721.01 c #Conflicts: 930000 | #Constraints: 31682 1716.55/1721.01 c #Conflicts: 931000 | #Constraints: 32682 1716.55/1721.01 c #Conflicts: 932000 | #Constraints: 33682 1716.55/1721.01 c #Conflicts: 933000 | #Constraints: 34682 1716.55/1721.01 c #Conflicts: 934000 | #Constraints: 35682 1716.55/1721.01 c #Conflicts: 935000 | #Constraints: 36682 1716.55/1721.01 c #Conflicts: 936000 | #Constraints: 37682 1716.55/1721.01 c #Conflicts: 937000 | #Constraints: 38682 1716.55/1721.01 c #Conflicts: 938000 | #Constraints: 39682 1716.55/1721.01 c #Conflicts: 939000 | #Constraints: 40682 1716.55/1721.01 c #Conflicts: 940000 | #Constraints: 41682 1716.55/1721.01 c #Conflicts: 941000 | #Constraints: 42682 1716.55/1721.01 c #Conflicts: 942000 | #Constraints: 43682 1716.55/1721.01 c #Conflicts: 943000 | #Constraints: 44683 1716.55/1721.01 c #Conflicts: 944000 | #Constraints: 45683 1716.55/1721.01 c #Conflicts: 945000 | #Constraints: 46683 1716.55/1721.01 c #Conflicts: 946000 | #Constraints: 47683 1716.55/1721.01 c #Conflicts: 947000 | #Constraints: 48683 1716.55/1721.01 c #Conflicts: 948000 | #Constraints: 49683 1716.55/1721.01 c #Conflicts: 949000 | #Constraints: 50683 1716.55/1721.01 c #Conflicts: 950000 | #Constraints: 51683 1716.55/1721.01 c #Conflicts: 951000 | #Constraints: 52683 1716.55/1721.01 c #Conflicts: 952000 | #Constraints: 53683 1716.55/1721.01 c #Conflicts: 953000 | #Constraints: 54683 1716.55/1721.01 c #Conflicts: 954000 | #Constraints: 55683 1716.55/1721.01 c #Conflicts: 955000 | #Constraints: 56683 1716.55/1721.01 c #Conflicts: 956000 | #Constraints: 57683 1716.55/1721.01 c #Conflicts: 957000 | #Constraints: 58683 1716.55/1721.01 c #Conflicts: 958000 | #Constraints: 59683 1716.55/1721.01 c #Conflicts: 959000 | #Constraints: 60683 1716.55/1721.01 c #Conflicts: 960000 | #Constraints: 61683 1716.55/1721.01 c #Conflicts: 961000 | #Constraints: 62683 1716.55/1721.01 c #Conflicts: 962000 | #Constraints: 63683 1716.55/1721.01 c #Conflicts: 963000 | #Constraints: 64683 1716.55/1721.01 c #Conflicts: 964000 | #Constraints: 65683 1716.55/1721.01 c #Conflicts: 965000 | #Constraints: 66683 1716.55/1721.01 c #Conflicts: 966000 | #Constraints: 67683 1716.55/1721.01 c #Conflicts: 967000 | #Constraints: 68683 1716.55/1721.01 c #Conflicts: 968000 | #Constraints: 69683 1716.55/1721.01 c #Conflicts: 969000 | #Constraints: 70683 1716.55/1721.01 c #Conflicts: 970000 | #Constraints: 71683 1716.55/1721.01 c #Conflicts: 971000 | #Constraints: 72683 1716.55/1721.01 c #Conflicts: 972000 | #Constraints: 73683 1716.55/1721.01 c #Conflicts: 973000 | #Constraints: 74683 1716.55/1721.01 c #Conflicts: 974000 | #Constraints: 75683 1716.55/1721.01 c #Conflicts: 975000 | #Constraints: 76683 1716.55/1721.01 c #Conflicts: 976000 | #Constraints: 77683 1716.55/1721.01 c #Conflicts: 977000 | #Constraints: 78683 1716.55/1721.01 c #Conflicts: 978000 | #Constraints: 79684 1716.55/1721.01 c #Conflicts: 979000 | #Constraints: 80684 1716.55/1721.01 c #Conflicts: 980000 | #Constraints: 81684 1716.55/1721.01 c #Conflicts: 981000 | #Constraints: 82684 1716.55/1721.01 c #Conflicts: 982000 | #Constraints: 83684 1716.55/1721.01 c #Conflicts: 983000 | #Constraints: 84684 1716.55/1721.01 c #Conflicts: 984000 | #Constraints: 85684 1716.55/1721.01 c #Conflicts: 985000 | #Constraints: 86684 1716.55/1721.01 c #Conflicts: 986000 | #Constraints: 87687 1716.55/1721.01 c #Conflicts: 987000 | #Constraints: 88689 1716.55/1721.01 c #Conflicts: 988000 | #Constraints: 89691 1716.55/1721.01 c #Conflicts: 989000 | #Constraints: 90691 1716.55/1721.01 c #Conflicts: 990000 | #Constraints: 91692 1716.55/1721.01 c #Conflicts: 991000 | #Constraints: 92692 1716.55/1721.01 c #Conflicts: 992000 | #Constraints: 93692 1716.55/1721.01 c #Conflicts: 993000 | #Constraints: 94692 1716.55/1721.01 c #Conflicts: 994000 | #Constraints: 95692 1716.55/1721.01 c #Conflicts: 995000 | #Constraints: 96692 1716.55/1721.01 c #Conflicts: 996000 | #Constraints: 97692 1716.55/1721.01 c #Conflicts: 997000 | #Constraints: 98692 1716.55/1721.01 c #Conflicts: 998000 | #Constraints: 99692 1716.55/1721.01 c #Conflicts: 999000 | #Constraints: 100692 1716.55/1721.01 c #Conflicts: 1000000 | #Constraints: 101692 1716.55/1721.01 c #Conflicts: 1001000 | #Constraints: 102693 1716.55/1721.01 c #Conflicts: 1002000 | #Constraints: 103693 1716.55/1721.01 c #Conflicts: 1003000 | #Constraints: 104693 1716.55/1721.01 c #Conflicts: 1004000 | #Constraints: 105693 1716.55/1721.01 c INPROCESSING 1716.55/1721.01 c GARBAGE COLLECT 1716.55/1721.01 c rational objective 82 1775.50/1780.13 c #Conflicts: 1005000 | #Constraints: 56804 1775.50/1780.13 c #Conflicts: 1006000 | #Constraints: 57804 1775.50/1780.13 c #Conflicts: 1007000 | #Constraints: 58805 1775.50/1780.13 c #Conflicts: 1008000 | #Constraints: 59805 1775.50/1780.13 c #Conflicts: 1009000 | #Constraints: 60806 1775.50/1780.13 c #Conflicts: 1010000 | #Constraints: 61807 1775.50/1780.13 c #Conflicts: 1011000 | #Constraints: 62807 1775.50/1780.13 c #Conflicts: 1012000 | #Constraints: 63807 1775.50/1780.13 c #Conflicts: 1013000 | #Constraints: 64807 1775.50/1780.13 c #Conflicts: 1014000 | #Constraints: 65808 1775.50/1780.13 c #Conflicts: 1015000 | #Constraints: 66808 1775.50/1780.13 c #Conflicts: 1016000 | #Constraints: 67808 1775.50/1780.13 c #Conflicts: 1017000 | #Constraints: 68808 1775.50/1780.13 c #Conflicts: 1018000 | #Constraints: 69808 1775.50/1780.13 c #Conflicts: 1019000 | #Constraints: 70808 1775.50/1780.13 c #Conflicts: 1020000 | #Constraints: 71808 1775.50/1780.13 c #Conflicts: 1021000 | #Constraints: 72808 1775.50/1780.13 c #Conflicts: 1022000 | #Constraints: 73808 1775.50/1780.13 c #Conflicts: 1023000 | #Constraints: 74808 1775.50/1780.13 c #Conflicts: 1024000 | #Constraints: 75808 1775.50/1780.13 c #Conflicts: 1025000 | #Constraints: 76808 1775.50/1780.13 c #Conflicts: 1026000 | #Constraints: 77808 1775.50/1780.13 c INPROCESSING 1775.50/1780.13 c GARBAGE COLLECT 1775.50/1780.13 c rational objective 82 1818.08/1822.83 c #Conflicts: 1027000 | #Constraints: 42645 1818.08/1822.83 c #Conflicts: 1028000 | #Constraints: 43645 1818.08/1822.83 c #Conflicts: 1029000 | #Constraints: 44645 1818.08/1822.83 c #Conflicts: 1030000 | #Constraints: 45645 1818.08/1822.83 c #Conflicts: 1031000 | #Constraints: 46645 1818.08/1822.83 c #Conflicts: 1032000 | #Constraints: 47645 1818.08/1822.83 c #Conflicts: 1033000 | #Constraints: 48645 1818.08/1822.83 c #Conflicts: 1034000 | #Constraints: 49645 1818.08/1822.83 c #Conflicts: 1035000 | #Constraints: 50645 1818.08/1822.83 c #Conflicts: 1036000 | #Constraints: 51645 1818.08/1822.83 c #Conflicts: 1037000 | #Constraints: 52645 1818.08/1822.83 c #Conflicts: 1038000 | #Constraints: 53645 1818.08/1822.83 c #Conflicts: 1039000 | #Constraints: 54645 1818.08/1822.83 c #Conflicts: 1040000 | #Constraints: 55645 1818.08/1822.83 c #Conflicts: 1041000 | #Constraints: 56645 1818.08/1822.83 c #Conflicts: 1042000 | #Constraints: 57645 1818.08/1822.83 c #Conflicts: 1043000 | #Constraints: 58646 1818.08/1822.83 c #Conflicts: 1044000 | #Constraints: 59646 1818.08/1822.83 c #Conflicts: 1045000 | #Constraints: 60646 1818.08/1822.83 c #Conflicts: 1046000 | #Constraints: 61646 1818.08/1822.83 c #Conflicts: 1047000 | #Constraints: 62646 1818.08/1822.83 c #Conflicts: 1048000 | #Constraints: 63646 1818.08/1822.83 c #Conflicts: 1049000 | #Constraints: 64646 1818.08/1822.83 c INPROCESSING 1818.08/1822.83 c GARBAGE COLLECT 1818.08/1822.83 c rational objective 82 1857.88/1862.72 c #Conflicts: 1050000 | #Constraints: 36301 1857.88/1862.72 c #Conflicts: 1051000 | #Constraints: 37302 1857.88/1862.72 c #Conflicts: 1052000 | #Constraints: 38302 1857.88/1862.72 c #Conflicts: 1053000 | #Constraints: 39302 1857.88/1862.72 c #Conflicts: 1054000 | #Constraints: 40302 1857.88/1862.72 c #Conflicts: 1055000 | #Constraints: 41302 1857.88/1862.72 c #Conflicts: 1056000 | #Constraints: 42302 1857.88/1862.72 c #Conflicts: 1057000 | #Constraints: 43302 1857.88/1862.72 c #Conflicts: 1058000 | #Constraints: 44302 1857.88/1862.72 c #Conflicts: 1059000 | #Constraints: 45302 1857.88/1862.72 c #Conflicts: 1060000 | #Constraints: 46302 1857.88/1862.72 c #Conflicts: 1061000 | #Constraints: 47302 1857.88/1862.72 c #Conflicts: 1062000 | #Constraints: 48302 1857.88/1862.72 c #Conflicts: 1063000 | #Constraints: 49303 1857.88/1862.72 c #Conflicts: 1064000 | #Constraints: 50303 1857.88/1862.72 c #Conflicts: 1065000 | #Constraints: 51303 1857.88/1862.72 c #Conflicts: 1066000 | #Constraints: 52303 1857.88/1862.72 c #Conflicts: 1067000 | #Constraints: 53303 1857.88/1862.72 c #Conflicts: 1068000 | #Constraints: 54303 1857.88/1862.72 c #Conflicts: 1069000 | #Constraints: 55303 1857.88/1862.72 c #Conflicts: 1070000 | #Constraints: 56303 1857.88/1862.72 c #Conflicts: 1071000 | #Constraints: 57304 1857.88/1862.72 c #Conflicts: 1072000 | #Constraints: 58304 1857.88/1862.72 c INPROCESSING 1857.88/1862.72 c GARBAGE COLLECT 1857.88/1862.72 c rational objective 82 1892.89/1897.89 c #Conflicts: 1073000 | #Constraints: 33136 1892.89/1897.89 c #Conflicts: 1074000 | #Constraints: 34136 1892.89/1897.89 c #Conflicts: 1075000 | #Constraints: 35136 1892.89/1897.89 c #Conflicts: 1076000 | #Constraints: 36136 1892.89/1897.89 c #Conflicts: 1077000 | #Constraints: 37136 1892.89/1897.89 c #Conflicts: 1078000 | #Constraints: 38136 1892.89/1897.89 c #Conflicts: 1079000 | #Constraints: 39136 1892.89/1897.89 c #Conflicts: 1080000 | #Constraints: 40137 1892.89/1897.89 c #Conflicts: 1081000 | #Constraints: 41137 1892.89/1897.89 c #Conflicts: 1082000 | #Constraints: 42137 1892.89/1897.89 c #Conflicts: 1083000 | #Constraints: 43137 1892.89/1897.89 c #Conflicts: 1084000 | #Constraints: 44137 1892.89/1897.89 c #Conflicts: 1085000 | #Constraints: 45137 1892.89/1897.89 c #Conflicts: 1086000 | #Constraints: 46137 1892.89/1897.89 c #Conflicts: 1087000 | #Constraints: 47137 1892.89/1897.89 c #Conflicts: 1088000 | #Constraints: 48137 1892.89/1897.89 c #Conflicts: 1089000 | #Constraints: 49138 1892.89/1897.89 c #Conflicts: 1090000 | #Constraints: 50138 1892.89/1897.89 c #Conflicts: 1091000 | #Constraints: 51138 1892.89/1897.89 c #Conflicts: 1092000 | #Constraints: 52138 1892.89/1897.89 c #Conflicts: 1093000 | #Constraints: 53138 1892.89/1897.89 c #Conflicts: 1094000 | #Constraints: 54138 1892.89/1897.89 c #Conflicts: 1095000 | #Constraints: 55138 1892.89/1897.89 c INPROCESSING 1892.89/1897.89 c GARBAGE COLLECT 1892.89/1897.89 c rational objective 82 2098.83/2104.30 c #Conflicts: 1096000 | #Constraints: 31456 2098.83/2104.30 c #Conflicts: 1097000 | #Constraints: 32456 2098.83/2104.30 c #Conflicts: 1098000 | #Constraints: 33456 2098.83/2104.30 c #Conflicts: 1099000 | #Constraints: 34456 2098.83/2104.30 c #Conflicts: 1100000 | #Constraints: 35456 2098.83/2104.30 c #Conflicts: 1101000 | #Constraints: 36456 2098.83/2104.30 c #Conflicts: 1102000 | #Constraints: 37457 2098.83/2104.30 c #Conflicts: 1103000 | #Constraints: 38458 2098.83/2104.30 c #Conflicts: 1104000 | #Constraints: 39458 2098.83/2104.30 c #Conflicts: 1105000 | #Constraints: 40458 2098.83/2104.30 c #Conflicts: 1106000 | #Constraints: 41458 2098.83/2104.30 c #Conflicts: 1107000 | #Constraints: 42458 2098.83/2104.30 c #Conflicts: 1108000 | #Constraints: 43458 2098.83/2104.30 c #Conflicts: 1109000 | #Constraints: 44458 2098.83/2104.30 c #Conflicts: 1110000 | #Constraints: 45458 2098.83/2104.30 c #Conflicts: 1111000 | #Constraints: 46458 2098.83/2104.30 c #Conflicts: 1112000 | #Constraints: 47458 2098.83/2104.30 c #Conflicts: 1113000 | #Constraints: 48458 2098.83/2104.30 c #Conflicts: 1114000 | #Constraints: 49458 2098.83/2104.30 c #Conflicts: 1115000 | #Constraints: 50459 2098.83/2104.30 c #Conflicts: 1116000 | #Constraints: 51459 2098.83/2104.30 c #Conflicts: 1117000 | #Constraints: 52459 2098.83/2104.30 c #Conflicts: 1118000 | #Constraints: 53459 2098.83/2104.30 c #Conflicts: 1119000 | #Constraints: 54459 2098.83/2104.30 c #Conflicts: 1120000 | #Constraints: 55459 2098.83/2104.30 c #Conflicts: 1121000 | #Constraints: 56459 2098.83/2104.30 c #Conflicts: 1122000 | #Constraints: 57459 2098.83/2104.30 c #Conflicts: 1123000 | #Constraints: 58459 2098.83/2104.30 c #Conflicts: 1124000 | #Constraints: 59459 2098.83/2104.30 c #Conflicts: 1125000 | #Constraints: 60459 2098.83/2104.30 c #Conflicts: 1126000 | #Constraints: 61459 2098.83/2104.30 c #Conflicts: 1127000 | #Constraints: 62459 2098.83/2104.30 c #Conflicts: 1128000 | #Constraints: 63459 2098.83/2104.30 c #Conflicts: 1129000 | #Constraints: 64459 2098.83/2104.30 c #Conflicts: 1130000 | #Constraints: 65459 2098.83/2104.30 c #Conflicts: 1131000 | #Constraints: 66459 2098.83/2104.30 c #Conflicts: 1132000 | #Constraints: 67459 2098.83/2104.30 c #Conflicts: 1133000 | #Constraints: 68459 2098.83/2104.30 c #Conflicts: 1134000 | #Constraints: 69459 2098.83/2104.30 c #Conflicts: 1135000 | #Constraints: 70459 2098.83/2104.30 c #Conflicts: 1136000 | #Constraints: 71460 2098.83/2104.30 c #Conflicts: 1137000 | #Constraints: 72460 2098.83/2104.30 c #Conflicts: 1138000 | #Constraints: 73460 2098.83/2104.30 c #Conflicts: 1139000 | #Constraints: 74460 2098.83/2104.30 c #Conflicts: 1140000 | #Constraints: 75460 2098.83/2104.30 c #Conflicts: 1141000 | #Constraints: 76460 2098.83/2104.30 c #Conflicts: 1142000 | #Constraints: 77460 2098.83/2104.30 c #Conflicts: 1143000 | #Constraints: 78461 2098.83/2104.30 c #Conflicts: 1144000 | #Constraints: 79461 2098.83/2104.30 c #Conflicts: 1145000 | #Constraints: 80461 2098.83/2104.30 c #Conflicts: 1146000 | #Constraints: 81461 2098.83/2104.30 c #Conflicts: 1147000 | #Constraints: 82461 2098.83/2104.30 c #Conflicts: 1148000 | #Constraints: 83461 2098.83/2104.30 c #Conflicts: 1149000 | #Constraints: 84461 2098.83/2104.30 c #Conflicts: 1150000 | #Constraints: 85461 2098.83/2104.30 c #Conflicts: 1151000 | #Constraints: 86461 2098.83/2104.30 c #Conflicts: 1152000 | #Constraints: 87461 2098.83/2104.30 c #Conflicts: 1153000 | #Constraints: 88461 2098.83/2104.30 c #Conflicts: 1154000 | #Constraints: 89461 2098.83/2104.30 c #Conflicts: 1155000 | #Constraints: 90461 2098.83/2104.30 c #Conflicts: 1156000 | #Constraints: 91462 2098.83/2104.30 c #Conflicts: 1157000 | #Constraints: 92462 2098.83/2104.30 c #Conflicts: 1158000 | #Constraints: 93462 2098.83/2104.30 c #Conflicts: 1159000 | #Constraints: 94463 2098.83/2104.30 c #Conflicts: 1160000 | #Constraints: 95463 2098.83/2104.30 c #Conflicts: 1161000 | #Constraints: 96463 2098.83/2104.30 c #Conflicts: 1162000 | #Constraints: 97463 2098.83/2104.30 c #Conflicts: 1163000 | #Constraints: 98463 2098.83/2104.30 c #Conflicts: 1164000 | #Constraints: 99463 2098.83/2104.30 c #Conflicts: 1165000 | #Constraints: 100463 2098.83/2104.30 c #Conflicts: 1166000 | #Constraints: 101463 2098.83/2104.30 c #Conflicts: 1167000 | #Constraints: 102463 2098.83/2104.30 c #Conflicts: 1168000 | #Constraints: 103463 2098.83/2104.30 c #Conflicts: 1169000 | #Constraints: 104463 2098.83/2104.30 c #Conflicts: 1170000 | #Constraints: 105463 2098.83/2104.30 c #Conflicts: 1171000 | #Constraints: 106463 2098.83/2104.30 c #Conflicts: 1172000 | #Constraints: 107463 2098.83/2104.30 c #Conflicts: 1173000 | #Constraints: 108463 2098.83/2104.30 c #Conflicts: 1174000 | #Constraints: 109463 2123.67/2129.23 c #Conflicts: 1175000 | #Constraints: 110463 2123.67/2129.23 c #Conflicts: 1176000 | #Constraints: 111463 2123.67/2129.23 c #Conflicts: 1177000 | #Constraints: 112463 2123.67/2129.23 c #Conflicts: 1178000 | #Constraints: 113463 2123.67/2129.23 c #Conflicts: 1179000 | #Constraints: 114463 2123.67/2129.23 c INPROCESSING 2123.67/2129.23 c GARBAGE COLLECT 2123.67/2129.23 c rational objective 82 2189.01/2194.73 c #Conflicts: 1180000 | #Constraints: 61371 2189.01/2194.73 c #Conflicts: 1181000 | #Constraints: 62371 2189.01/2194.73 c #Conflicts: 1182000 | #Constraints: 63371 2189.01/2194.73 c #Conflicts: 1183000 | #Constraints: 64371 2189.01/2194.73 c #Conflicts: 1184000 | #Constraints: 65371 2189.01/2194.73 c #Conflicts: 1185000 | #Constraints: 66371 2189.01/2194.73 c #Conflicts: 1186000 | #Constraints: 67371 2189.01/2194.73 c #Conflicts: 1187000 | #Constraints: 68372 2189.01/2194.73 c #Conflicts: 1188000 | #Constraints: 69372 2189.01/2194.73 c #Conflicts: 1189000 | #Constraints: 70372 2189.01/2194.73 c #Conflicts: 1190000 | #Constraints: 71373 2189.01/2194.73 c #Conflicts: 1191000 | #Constraints: 72373 2189.01/2194.73 c #Conflicts: 1192000 | #Constraints: 73373 2189.01/2194.73 c #Conflicts: 1193000 | #Constraints: 74374 2189.01/2194.73 c #Conflicts: 1194000 | #Constraints: 75374 2189.01/2194.73 c #Conflicts: 1195000 | #Constraints: 76374 2189.01/2194.73 c #Conflicts: 1196000 | #Constraints: 77374 2189.01/2194.73 c #Conflicts: 1197000 | #Constraints: 78374 2189.01/2194.73 c #Conflicts: 1198000 | #Constraints: 79375 2189.01/2194.73 c #Conflicts: 1199000 | #Constraints: 80375 2189.01/2194.73 c #Conflicts: 1200000 | #Constraints: 81375 2189.01/2194.73 c #Conflicts: 1201000 | #Constraints: 82375 2189.01/2194.73 c #Conflicts: 1202000 | #Constraints: 83375 2189.01/2194.73 c #Conflicts: 1203000 | #Constraints: 84375 2189.01/2194.73 c INPROCESSING 2189.01/2194.73 c GARBAGE COLLECT 2189.01/2194.73 c rational objective 82 2236.88/2242.71 c #Conflicts: 1204000 | #Constraints: 46150 2236.88/2242.71 c #Conflicts: 1205000 | #Constraints: 47150 2236.88/2242.71 c #Conflicts: 1206000 | #Constraints: 48150 2236.88/2242.71 c #Conflicts: 1207000 | #Constraints: 49150 2236.88/2242.71 c #Conflicts: 1208000 | #Constraints: 50150 2236.88/2242.71 c #Conflicts: 1209000 | #Constraints: 51150 2236.88/2242.71 c #Conflicts: 1210000 | #Constraints: 52150 2236.88/2242.71 c #Conflicts: 1211000 | #Constraints: 53150 2236.88/2242.71 c #Conflicts: 1212000 | #Constraints: 54150 2236.88/2242.71 c #Conflicts: 1213000 | #Constraints: 55150 2236.88/2242.71 c #Conflicts: 1214000 | #Constraints: 56150 2236.88/2242.71 c #Conflicts: 1215000 | #Constraints: 57150 2236.88/2242.71 c #Conflicts: 1216000 | #Constraints: 58150 2236.88/2242.71 c #Conflicts: 1217000 | #Constraints: 59150 2236.88/2242.71 c #Conflicts: 1218000 | #Constraints: 60150 2236.88/2242.71 c #Conflicts: 1219000 | #Constraints: 61150 2236.88/2242.71 c #Conflicts: 1220000 | #Constraints: 62151 2236.88/2242.71 c #Conflicts: 1221000 | #Constraints: 63151 2236.88/2242.71 c #Conflicts: 1222000 | #Constraints: 64151 2236.88/2242.71 c #Conflicts: 1223000 | #Constraints: 65151 2236.88/2242.71 c #Conflicts: 1224000 | #Constraints: 66151 2236.88/2242.71 c #Conflicts: 1225000 | #Constraints: 67151 2236.88/2242.71 c #Conflicts: 1226000 | #Constraints: 68151 2236.88/2242.71 c #Conflicts: 1227000 | #Constraints: 69151 2236.88/2242.71 c #Conflicts: 1228000 | #Constraints: 70151 2236.88/2242.71 c INPROCESSING 2236.88/2242.71 c GARBAGE COLLECT 2236.88/2242.71 c rational objective 82 2278.88/2284.80 c #Conflicts: 1229000 | #Constraints: 39194 2278.88/2284.80 c #Conflicts: 1230000 | #Constraints: 40194 2278.88/2284.80 c #Conflicts: 1231000 | #Constraints: 41194 2278.88/2284.80 c #Conflicts: 1232000 | #Constraints: 42194 2278.88/2284.80 c #Conflicts: 1233000 | #Constraints: 43194 2278.88/2284.80 c #Conflicts: 1234000 | #Constraints: 44194 2278.88/2284.80 c #Conflicts: 1235000 | #Constraints: 45194 2278.88/2284.80 c #Conflicts: 1236000 | #Constraints: 46194 2278.88/2284.80 c #Conflicts: 1237000 | #Constraints: 47194 2278.88/2284.80 c #Conflicts: 1238000 | #Constraints: 48194 2278.88/2284.80 c #Conflicts: 1239000 | #Constraints: 49195 2278.88/2284.80 c #Conflicts: 1240000 | #Constraints: 50195 2278.88/2284.80 c #Conflicts: 1241000 | #Constraints: 51195 2278.88/2284.80 c #Conflicts: 1242000 | #Constraints: 52195 2278.88/2284.80 c #Conflicts: 1243000 | #Constraints: 53195 2278.88/2284.80 c #Conflicts: 1244000 | #Constraints: 54195 2278.88/2284.80 c #Conflicts: 1245000 | #Constraints: 55195 2278.88/2284.80 c #Conflicts: 1246000 | #Constraints: 56195 2278.88/2284.80 c #Conflicts: 1247000 | #Constraints: 57195 2278.88/2284.80 c #Conflicts: 1248000 | #Constraints: 58195 2278.88/2284.80 c #Conflicts: 1249000 | #Constraints: 59195 2278.88/2284.80 c #Conflicts: 1250000 | #Constraints: 60195 2278.88/2284.80 c #Conflicts: 1251000 | #Constraints: 61196 2278.88/2284.80 c #Conflicts: 1252000 | #Constraints: 62196 2278.88/2284.80 c #Conflicts: 1253000 | #Constraints: 63196 2278.88/2284.80 c INPROCESSING 2278.88/2284.80 c GARBAGE COLLECT 2278.88/2284.80 c rational objective 82 2319.48/2325.51 c #Conflicts: 1254000 | #Constraints: 35852 2319.48/2325.51 c #Conflicts: 1255000 | #Constraints: 36852 2319.48/2325.51 c #Conflicts: 1256000 | #Constraints: 37853 2319.48/2325.51 c #Conflicts: 1257000 | #Constraints: 38853 2319.48/2325.51 c #Conflicts: 1258000 | #Constraints: 39853 2319.48/2325.51 c #Conflicts: 1259000 | #Constraints: 40853 2319.48/2325.51 c #Conflicts: 1260000 | #Constraints: 41853 2319.48/2325.51 c #Conflicts: 1261000 | #Constraints: 42853 2319.48/2325.51 c #Conflicts: 1262000 | #Constraints: 43853 2319.48/2325.51 c #Conflicts: 1263000 | #Constraints: 44853 2319.48/2325.51 c #Conflicts: 1264000 | #Constraints: 45853 2319.48/2325.51 c #Conflicts: 1265000 | #Constraints: 46853 2319.48/2325.51 c #Conflicts: 1266000 | #Constraints: 47853 2319.48/2325.51 c #Conflicts: 1267000 | #Constraints: 48853 2319.48/2325.51 c #Conflicts: 1268000 | #Constraints: 49853 2319.48/2325.51 c #Conflicts: 1269000 | #Constraints: 50853 2319.48/2325.51 c #Conflicts: 1270000 | #Constraints: 51853 2319.48/2325.51 c #Conflicts: 1271000 | #Constraints: 52854 2319.48/2325.51 c #Conflicts: 1272000 | #Constraints: 53854 2319.48/2325.51 c #Conflicts: 1273000 | #Constraints: 54854 2319.48/2325.51 c #Conflicts: 1274000 | #Constraints: 55854 2319.48/2325.51 c #Conflicts: 1275000 | #Constraints: 56854 2319.48/2325.51 c #Conflicts: 1276000 | #Constraints: 57854 2319.48/2325.51 c #Conflicts: 1277000 | #Constraints: 58854 2319.48/2325.51 c #Conflicts: 1278000 | #Constraints: 59854 2319.48/2325.51 c INPROCESSING 2319.48/2325.51 c GARBAGE COLLECT 2319.48/2325.51 c rational objective 82 2524.96/2531.51 c #Conflicts: 1279000 | #Constraints: 34199 2524.96/2531.51 c #Conflicts: 1280000 | #Constraints: 35199 2524.96/2531.51 c #Conflicts: 1281000 | #Constraints: 36199 2524.96/2531.51 c #Conflicts: 1282000 | #Constraints: 37199 2524.96/2531.51 c #Conflicts: 1283000 | #Constraints: 38199 2524.96/2531.51 c #Conflicts: 1284000 | #Constraints: 39199 2524.96/2531.51 c #Conflicts: 1285000 | #Constraints: 40199 2524.96/2531.51 c #Conflicts: 1286000 | #Constraints: 41199 2524.96/2531.51 c #Conflicts: 1287000 | #Constraints: 42200 2524.96/2531.51 c #Conflicts: 1288000 | #Constraints: 43201 2524.96/2531.51 c #Conflicts: 1289000 | #Constraints: 44201 2524.96/2531.51 c #Conflicts: 1290000 | #Constraints: 45201 2524.96/2531.51 c #Conflicts: 1291000 | #Constraints: 46201 2524.96/2531.51 c #Conflicts: 1292000 | #Constraints: 47201 2524.96/2531.51 c #Conflicts: 1293000 | #Constraints: 48201 2524.96/2531.51 c #Conflicts: 1294000 | #Constraints: 49201 2524.96/2531.51 c #Conflicts: 1295000 | #Constraints: 50201 2524.96/2531.51 c #Conflicts: 1296000 | #Constraints: 51201 2524.96/2531.51 c #Conflicts: 1297000 | #Constraints: 52201 2524.96/2531.51 c #Conflicts: 1298000 | #Constraints: 53201 2524.96/2531.51 c #Conflicts: 1299000 | #Constraints: 54201 2524.96/2531.51 c #Conflicts: 1300000 | #Constraints: 55201 2524.96/2531.51 c #Conflicts: 1301000 | #Constraints: 56201 2524.96/2531.51 c #Conflicts: 1302000 | #Constraints: 57201 2524.96/2531.51 c #Conflicts: 1303000 | #Constraints: 58202 2524.96/2531.51 c #Conflicts: 1304000 | #Constraints: 59202 2524.96/2531.51 c #Conflicts: 1305000 | #Constraints: 60202 2524.96/2531.51 c #Conflicts: 1306000 | #Constraints: 61202 2524.96/2531.51 c #Conflicts: 1307000 | #Constraints: 62202 2524.96/2531.51 c #Conflicts: 1308000 | #Constraints: 63202 2524.96/2531.51 c #Conflicts: 1309000 | #Constraints: 64202 2524.96/2531.51 c #Conflicts: 1310000 | #Constraints: 65202 2524.96/2531.51 c #Conflicts: 1311000 | #Constraints: 66202 2524.96/2531.51 c #Conflicts: 1312000 | #Constraints: 67202 2524.96/2531.51 c #Conflicts: 1313000 | #Constraints: 68202 2524.96/2531.51 c #Conflicts: 1314000 | #Constraints: 69203 2524.96/2531.51 c #Conflicts: 1315000 | #Constraints: 70203 2524.96/2531.51 c #Conflicts: 1316000 | #Constraints: 71203 2524.96/2531.51 c #Conflicts: 1317000 | #Constraints: 72203 2524.96/2531.51 c #Conflicts: 1318000 | #Constraints: 73203 2524.96/2531.51 c #Conflicts: 1319000 | #Constraints: 74203 2524.96/2531.51 c #Conflicts: 1320000 | #Constraints: 75203 2524.96/2531.51 c #Conflicts: 1321000 | #Constraints: 76203 2524.96/2531.51 c #Conflicts: 1322000 | #Constraints: 77203 2524.96/2531.51 c #Conflicts: 1323000 | #Constraints: 78203 2524.96/2531.51 c #Conflicts: 1324000 | #Constraints: 79203 2524.96/2531.51 c #Conflicts: 1325000 | #Constraints: 80203 2524.96/2531.51 c #Conflicts: 1326000 | #Constraints: 81204 2524.96/2531.51 c #Conflicts: 1327000 | #Constraints: 82204 2524.96/2531.51 c #Conflicts: 1328000 | #Constraints: 83204 2524.96/2531.51 c #Conflicts: 1329000 | #Constraints: 84204 2524.96/2531.51 c #Conflicts: 1330000 | #Constraints: 85204 2524.96/2531.51 c #Conflicts: 1331000 | #Constraints: 86206 2524.96/2531.51 c #Conflicts: 1332000 | #Constraints: 87206 2524.96/2531.51 c #Conflicts: 1333000 | #Constraints: 88206 2524.96/2531.51 c #Conflicts: 1334000 | #Constraints: 89206 2524.96/2531.51 c #Conflicts: 1335000 | #Constraints: 90206 2524.96/2531.51 c #Conflicts: 1336000 | #Constraints: 91206 2524.96/2531.51 c #Conflicts: 1337000 | #Constraints: 92206 2524.96/2531.51 c #Conflicts: 1338000 | #Constraints: 93206 2524.96/2531.51 c #Conflicts: 1339000 | #Constraints: 94206 2524.96/2531.51 c #Conflicts: 1340000 | #Constraints: 95206 2524.96/2531.51 c #Conflicts: 1341000 | #Constraints: 96206 2524.96/2531.51 c #Conflicts: 1342000 | #Constraints: 97206 2524.96/2531.51 c #Conflicts: 1343000 | #Constraints: 98206 2524.96/2531.51 c #Conflicts: 1344000 | #Constraints: 99207 2524.96/2531.51 c #Conflicts: 1345000 | #Constraints: 100207 2524.96/2531.51 c #Conflicts: 1346000 | #Constraints: 101207 2524.96/2531.51 c #Conflicts: 1347000 | #Constraints: 102207 2524.96/2531.51 c #Conflicts: 1348000 | #Constraints: 103207 2524.96/2531.51 c #Conflicts: 1349000 | #Constraints: 104207 2524.96/2531.51 c #Conflicts: 1350000 | #Constraints: 105207 2524.96/2531.51 c #Conflicts: 1351000 | #Constraints: 106207 2524.96/2531.51 c #Conflicts: 1352000 | #Constraints: 107207 2524.96/2531.51 c #Conflicts: 1353000 | #Constraints: 108207 2524.96/2531.51 c #Conflicts: 1354000 | #Constraints: 109207 2524.96/2531.51 c #Conflicts: 1355000 | #Constraints: 110207 2524.96/2531.51 c #Conflicts: 1356000 | #Constraints: 111207 2524.96/2531.51 c #Conflicts: 1357000 | #Constraints: 112207 2575.34/2582.10 c #Conflicts: 1358000 | #Constraints: 113207 2575.34/2582.10 c #Conflicts: 1359000 | #Constraints: 114207 2575.34/2582.10 c #Conflicts: 1360000 | #Constraints: 115207 2575.34/2582.10 c #Conflicts: 1361000 | #Constraints: 116207 2575.34/2582.10 c #Conflicts: 1362000 | #Constraints: 117207 2575.34/2582.10 c #Conflicts: 1363000 | #Constraints: 118207 2575.34/2582.10 c #Conflicts: 1364000 | #Constraints: 119207 2575.34/2582.10 c #Conflicts: 1365000 | #Constraints: 120207 2575.34/2582.10 c #Conflicts: 1366000 | #Constraints: 121207 2575.34/2582.10 c #Conflicts: 1367000 | #Constraints: 122207 2575.34/2582.10 c #Conflicts: 1368000 | #Constraints: 123207 2575.34/2582.10 c INPROCESSING 2575.34/2582.10 c GARBAGE COLLECT 2575.34/2582.10 c rational objective 82 2639.38/2646.24 c #Conflicts: 1369000 | #Constraints: 65868 2639.38/2646.24 c #Conflicts: 1370000 | #Constraints: 66868 2639.38/2646.24 c #Conflicts: 1371000 | #Constraints: 67868 2639.38/2646.24 c #Conflicts: 1372000 | #Constraints: 68868 2639.38/2646.24 c #Conflicts: 1373000 | #Constraints: 69868 2639.38/2646.24 c #Conflicts: 1374000 | #Constraints: 70868 2639.38/2646.24 c #Conflicts: 1375000 | #Constraints: 71869 2639.38/2646.24 c #Conflicts: 1376000 | #Constraints: 72869 2639.38/2646.24 c #Conflicts: 1377000 | #Constraints: 73869 2639.38/2646.24 c #Conflicts: 1378000 | #Constraints: 74869 2639.38/2646.24 c #Conflicts: 1379000 | #Constraints: 75869 2639.38/2646.24 c #Conflicts: 1380000 | #Constraints: 76869 2639.38/2646.24 c #Conflicts: 1381000 | #Constraints: 77869 2639.38/2646.24 c #Conflicts: 1382000 | #Constraints: 78869 2639.38/2646.24 c #Conflicts: 1383000 | #Constraints: 79869 2639.38/2646.24 c #Conflicts: 1384000 | #Constraints: 80869 2639.38/2646.24 c #Conflicts: 1385000 | #Constraints: 81869 2639.38/2646.24 c #Conflicts: 1386000 | #Constraints: 82869 2639.38/2646.24 c #Conflicts: 1387000 | #Constraints: 83869 2639.38/2646.24 c #Conflicts: 1388000 | #Constraints: 84869 2639.38/2646.24 c #Conflicts: 1389000 | #Constraints: 85869 2639.38/2646.24 c #Conflicts: 1390000 | #Constraints: 86869 2639.38/2646.24 c #Conflicts: 1391000 | #Constraints: 87869 2639.38/2646.24 c #Conflicts: 1392000 | #Constraints: 88869 2639.38/2646.24 c #Conflicts: 1393000 | #Constraints: 89869 2639.38/2646.24 c #Conflicts: 1394000 | #Constraints: 90869 2639.38/2646.24 c INPROCESSING 2639.38/2646.24 c GARBAGE COLLECT 2639.38/2646.24 c rational objective 82 2687.17/2694.14 c #Conflicts: 1395000 | #Constraints: 49511 2687.17/2694.14 c #Conflicts: 1396000 | #Constraints: 50511 2687.17/2694.14 c #Conflicts: 1397000 | #Constraints: 51512 2687.17/2694.14 c #Conflicts: 1398000 | #Constraints: 52512 2687.17/2694.14 c #Conflicts: 1399000 | #Constraints: 53512 2687.17/2694.14 c #Conflicts: 1400000 | #Constraints: 54512 2687.17/2694.14 c #Conflicts: 1401000 | #Constraints: 55512 2687.17/2694.14 c #Conflicts: 1402000 | #Constraints: 56512 2687.17/2694.14 c #Conflicts: 1403000 | #Constraints: 57512 2687.17/2694.14 c #Conflicts: 1404000 | #Constraints: 58512 2687.17/2694.14 c #Conflicts: 1405000 | #Constraints: 59512 2687.17/2694.14 c #Conflicts: 1406000 | #Constraints: 60512 2687.17/2694.14 c #Conflicts: 1407000 | #Constraints: 61512 2687.17/2694.14 c #Conflicts: 1408000 | #Constraints: 62512 2687.17/2694.14 c #Conflicts: 1409000 | #Constraints: 63512 2687.17/2694.14 c #Conflicts: 1410000 | #Constraints: 64512 2687.17/2694.14 c #Conflicts: 1411000 | #Constraints: 65512 2687.17/2694.14 c #Conflicts: 1412000 | #Constraints: 66512 2687.17/2694.14 c #Conflicts: 1413000 | #Constraints: 67512 2687.17/2694.14 c #Conflicts: 1414000 | #Constraints: 68512 2687.17/2694.14 c #Conflicts: 1415000 | #Constraints: 69512 2687.17/2694.14 c #Conflicts: 1416000 | #Constraints: 70512 2687.17/2694.14 c #Conflicts: 1417000 | #Constraints: 71512 2687.17/2694.14 c #Conflicts: 1418000 | #Constraints: 72512 2687.17/2694.14 c #Conflicts: 1419000 | #Constraints: 73512 2687.17/2694.14 c #Conflicts: 1420000 | #Constraints: 74512 2687.17/2694.14 c INPROCESSING 2687.17/2694.14 c GARBAGE COLLECT 2687.17/2694.14 c rational objective 82 2743.73/2750.80 c #Conflicts: 1421000 | #Constraints: 41079 2743.73/2750.80 c #Conflicts: 1422000 | #Constraints: 42079 2743.73/2750.80 c #Conflicts: 1423000 | #Constraints: 43079 2743.73/2750.80 c #Conflicts: 1424000 | #Constraints: 44079 2743.73/2750.80 c #Conflicts: 1425000 | #Constraints: 45079 2743.73/2750.80 c #Conflicts: 1426000 | #Constraints: 46079 2743.73/2750.80 c #Conflicts: 1427000 | #Constraints: 47079 2743.73/2750.80 c #Conflicts: 1428000 | #Constraints: 48079 2743.73/2750.80 c #Conflicts: 1429000 | #Constraints: 49079 2743.73/2750.80 c #Conflicts: 1430000 | #Constraints: 50079 2743.73/2750.80 c #Conflicts: 1431000 | #Constraints: 51079 2743.73/2750.80 c #Conflicts: 1432000 | #Constraints: 52079 2743.73/2750.80 c #Conflicts: 1433000 | #Constraints: 53079 2743.73/2750.80 c #Conflicts: 1434000 | #Constraints: 54079 2743.73/2750.80 c #Conflicts: 1435000 | #Constraints: 55079 2743.73/2750.80 c #Conflicts: 1436000 | #Constraints: 56080 2743.73/2750.80 c #Conflicts: 1437000 | #Constraints: 57080 2743.73/2750.80 c #Conflicts: 1438000 | #Constraints: 58080 2743.73/2750.80 c #Conflicts: 1439000 | #Constraints: 59080 2743.73/2750.80 c #Conflicts: 1440000 | #Constraints: 60081 2743.73/2750.80 c #Conflicts: 1441000 | #Constraints: 61081 2743.73/2750.80 c #Conflicts: 1442000 | #Constraints: 62081 2743.73/2750.80 c #Conflicts: 1443000 | #Constraints: 63081 2743.73/2750.80 c #Conflicts: 1444000 | #Constraints: 64081 2743.73/2750.80 c #Conflicts: 1445000 | #Constraints: 65081 2743.73/2750.80 c #Conflicts: 1446000 | #Constraints: 66081 2743.73/2750.80 c #Conflicts: 1447000 | #Constraints: 67081 2743.73/2750.80 c INPROCESSING 2743.73/2750.80 c GARBAGE COLLECT 2743.73/2750.80 c rational objective 82 2790.42/2797.63 c #Conflicts: 1448000 | #Constraints: 37554 2790.42/2797.63 c #Conflicts: 1449000 | #Constraints: 38554 2790.42/2797.63 c #Conflicts: 1450000 | #Constraints: 39554 2790.42/2797.63 c #Conflicts: 1451000 | #Constraints: 40554 2790.42/2797.63 c #Conflicts: 1452000 | #Constraints: 41554 2790.42/2797.63 c #Conflicts: 1453000 | #Constraints: 42554 2790.42/2797.63 c #Conflicts: 1454000 | #Constraints: 43554 2790.42/2797.63 c #Conflicts: 1455000 | #Constraints: 44554 2790.42/2797.63 c #Conflicts: 1456000 | #Constraints: 45554 2790.42/2797.63 c #Conflicts: 1457000 | #Constraints: 46554 2790.42/2797.63 c #Conflicts: 1458000 | #Constraints: 47554 2790.42/2797.63 c #Conflicts: 1459000 | #Constraints: 48554 2790.42/2797.63 c #Conflicts: 1460000 | #Constraints: 49554 2790.42/2797.63 c #Conflicts: 1461000 | #Constraints: 50554 2790.42/2797.63 c #Conflicts: 1462000 | #Constraints: 51554 2790.42/2797.63 c #Conflicts: 1463000 | #Constraints: 52554 2790.42/2797.63 c #Conflicts: 1464000 | #Constraints: 53554 2790.42/2797.63 c #Conflicts: 1465000 | #Constraints: 54554 2790.42/2797.63 c #Conflicts: 1466000 | #Constraints: 55554 2790.42/2797.63 c #Conflicts: 1467000 | #Constraints: 56554 2790.42/2797.63 c #Conflicts: 1468000 | #Constraints: 57554 2790.42/2797.63 c #Conflicts: 1469000 | #Constraints: 58554 2790.42/2797.63 c #Conflicts: 1470000 | #Constraints: 59554 2790.42/2797.63 c #Conflicts: 1471000 | #Constraints: 60554 2790.42/2797.63 c #Conflicts: 1472000 | #Constraints: 61554 2790.42/2797.63 c #Conflicts: 1473000 | #Constraints: 62554 2790.42/2797.63 c #Conflicts: 1474000 | #Constraints: 63554 2790.42/2797.63 c INPROCESSING 2790.42/2797.63 c GARBAGE COLLECT 2790.42/2797.63 c rational objective 82 2978.46/2986.11 c #Conflicts: 1475000 | #Constraints: 35875 2978.46/2986.11 c #Conflicts: 1476000 | #Constraints: 36875 2978.46/2986.11 c #Conflicts: 1477000 | #Constraints: 37875 2978.46/2986.11 c #Conflicts: 1478000 | #Constraints: 38875 2978.46/2986.11 c #Conflicts: 1479000 | #Constraints: 39875 2978.46/2986.11 c #Conflicts: 1480000 | #Constraints: 40875 2978.46/2986.11 c #Conflicts: 1481000 | #Constraints: 41876 2978.46/2986.11 c #Conflicts: 1482000 | #Constraints: 42876 2978.46/2986.11 c #Conflicts: 1483000 | #Constraints: 43876 2978.46/2986.11 c #Conflicts: 1484000 | #Constraints: 44876 2978.46/2986.11 c #Conflicts: 1485000 | #Constraints: 45876 2978.46/2986.11 c #Conflicts: 1486000 | #Constraints: 46876 2978.46/2986.11 c #Conflicts: 1487000 | #Constraints: 47876 2978.46/2986.11 c #Conflicts: 1488000 | #Constraints: 48876 2978.46/2986.11 c #Conflicts: 1489000 | #Constraints: 49876 2978.46/2986.11 c #Conflicts: 1490000 | #Constraints: 50876 2978.46/2986.11 c #Conflicts: 1491000 | #Constraints: 51876 2978.46/2986.11 c #Conflicts: 1492000 | #Constraints: 52877 2978.46/2986.11 c #Conflicts: 1493000 | #Constraints: 53878 2978.46/2986.11 c #Conflicts: 1494000 | #Constraints: 54878 2978.46/2986.11 c #Conflicts: 1495000 | #Constraints: 55878 2978.46/2986.11 c #Conflicts: 1496000 | #Constraints: 56878 2978.46/2986.11 c #Conflicts: 1497000 | #Constraints: 57878 2978.46/2986.11 c #Conflicts: 1498000 | #Constraints: 58878 2978.46/2986.11 c #Conflicts: 1499000 | #Constraints: 59878 2978.46/2986.11 c #Conflicts: 1500000 | #Constraints: 60878 2978.46/2986.11 c #Conflicts: 1501000 | #Constraints: 61878 2978.46/2986.11 c #Conflicts: 1502000 | #Constraints: 62878 2978.46/2986.11 c #Conflicts: 1503000 | #Constraints: 63878 2978.46/2986.11 c #Conflicts: 1504000 | #Constraints: 64878 2978.46/2986.11 c #Conflicts: 1505000 | #Constraints: 65878 2978.46/2986.11 c #Conflicts: 1506000 | #Constraints: 66878 2978.46/2986.11 c #Conflicts: 1507000 | #Constraints: 67878 2978.46/2986.11 c #Conflicts: 1508000 | #Constraints: 68878 2978.46/2986.11 c #Conflicts: 1509000 | #Constraints: 69878 2978.46/2986.11 c #Conflicts: 1510000 | #Constraints: 70878 2978.46/2986.11 c #Conflicts: 1511000 | #Constraints: 71878 2978.46/2986.11 c #Conflicts: 1512000 | #Constraints: 72878 2978.46/2986.11 c #Conflicts: 1513000 | #Constraints: 73878 2978.46/2986.11 c #Conflicts: 1514000 | #Constraints: 74878 2978.46/2986.11 c #Conflicts: 1515000 | #Constraints: 75878 2978.46/2986.11 c #Conflicts: 1516000 | #Constraints: 76878 2978.46/2986.11 c #Conflicts: 1517000 | #Constraints: 77878 2978.46/2986.11 c #Conflicts: 1518000 | #Constraints: 78878 2978.46/2986.11 c #Conflicts: 1519000 | #Constraints: 79878 2978.46/2986.11 c #Conflicts: 1520000 | #Constraints: 80878 2978.46/2986.11 c #Conflicts: 1521000 | #Constraints: 81878 2978.46/2986.11 c #Conflicts: 1522000 | #Constraints: 82878 2978.46/2986.11 c #Conflicts: 1523000 | #Constraints: 83878 2978.46/2986.11 c #Conflicts: 1524000 | #Constraints: 84878 2978.46/2986.11 c #Conflicts: 1525000 | #Constraints: 85878 2978.46/2986.11 c #Conflicts: 1526000 | #Constraints: 86878 2978.46/2986.11 c #Conflicts: 1527000 | #Constraints: 87878 2978.46/2986.11 c #Conflicts: 1528000 | #Constraints: 88878 2978.46/2986.11 c #Conflicts: 1529000 | #Constraints: 89879 2978.46/2986.11 c #Conflicts: 1530000 | #Constraints: 90879 2978.46/2986.11 c #Conflicts: 1531000 | #Constraints: 91880 2978.46/2986.11 c #Conflicts: 1532000 | #Constraints: 92880 2978.46/2986.11 c #Conflicts: 1533000 | #Constraints: 93880 2978.46/2986.11 c #Conflicts: 1534000 | #Constraints: 94880 2978.46/2986.11 c #Conflicts: 1535000 | #Constraints: 95880 2978.46/2986.11 c #Conflicts: 1536000 | #Constraints: 96881 2978.46/2986.11 c #Conflicts: 1537000 | #Constraints: 97881 2978.46/2986.11 c #Conflicts: 1538000 | #Constraints: 98881 2978.46/2986.11 c #Conflicts: 1539000 | #Constraints: 99881 2978.46/2986.11 c #Conflicts: 1540000 | #Constraints: 100881 2978.46/2986.11 c #Conflicts: 1541000 | #Constraints: 101881 2978.46/2986.11 c #Conflicts: 1542000 | #Constraints: 102881 2978.46/2986.11 c #Conflicts: 1543000 | #Constraints: 103881 2978.46/2986.11 c #Conflicts: 1544000 | #Constraints: 104881 2978.46/2986.11 c #Conflicts: 1545000 | #Constraints: 105881 2978.46/2986.11 c #Conflicts: 1546000 | #Constraints: 106881 2978.46/2986.11 c #Conflicts: 1547000 | #Constraints: 107881 2978.46/2986.11 c #Conflicts: 1548000 | #Constraints: 108881 2978.46/2986.11 c #Conflicts: 1549000 | #Constraints: 109881 2978.46/2986.11 c #Conflicts: 1550000 | #Constraints: 110881 2978.46/2986.11 c #Conflicts: 1551000 | #Constraints: 111881 2978.46/2986.11 c #Conflicts: 1552000 | #Constraints: 112881 2978.46/2986.11 c #Conflicts: 1553000 | #Constraints: 113881 3048.78/3056.60 c #Conflicts: 1554000 | #Constraints: 114881 3048.78/3056.60 c #Conflicts: 1555000 | #Constraints: 115882 3048.78/3056.60 c #Conflicts: 1556000 | #Constraints: 116882 3048.78/3056.60 c #Conflicts: 1557000 | #Constraints: 117882 3048.78/3056.60 c #Conflicts: 1558000 | #Constraints: 118882 3048.78/3056.60 c #Conflicts: 1559000 | #Constraints: 119882 3048.78/3056.60 c #Conflicts: 1560000 | #Constraints: 120882 3048.78/3056.60 c #Conflicts: 1561000 | #Constraints: 121882 3048.78/3056.60 c #Conflicts: 1562000 | #Constraints: 122882 3048.78/3056.60 c #Conflicts: 1563000 | #Constraints: 123882 3048.78/3056.60 c #Conflicts: 1564000 | #Constraints: 124882 3048.78/3056.60 c #Conflicts: 1565000 | #Constraints: 125882 3048.78/3056.60 c #Conflicts: 1566000 | #Constraints: 126882 3048.78/3056.60 c #Conflicts: 1567000 | #Constraints: 127882 3048.78/3056.60 c #Conflicts: 1568000 | #Constraints: 128883 3048.78/3056.60 c #Conflicts: 1569000 | #Constraints: 129883 3048.78/3056.60 c #Conflicts: 1570000 | #Constraints: 130883 3048.78/3056.60 c INPROCESSING 3048.78/3056.60 c GARBAGE COLLECT 3048.78/3056.60 c rational objective 82 3125.29/3133.39 c #Conflicts: 1571000 | #Constraints: 69377 3125.29/3133.39 c #Conflicts: 1572000 | #Constraints: 70377 3125.29/3133.39 c #Conflicts: 1573000 | #Constraints: 71377 3125.29/3133.39 c #Conflicts: 1574000 | #Constraints: 72378 3125.29/3133.39 c #Conflicts: 1575000 | #Constraints: 73378 3125.29/3133.39 c #Conflicts: 1576000 | #Constraints: 74378 3125.29/3133.39 c #Conflicts: 1577000 | #Constraints: 75378 3125.29/3133.39 c #Conflicts: 1578000 | #Constraints: 76378 3125.29/3133.39 c #Conflicts: 1579000 | #Constraints: 77378 3125.29/3133.39 c #Conflicts: 1580000 | #Constraints: 78378 3125.29/3133.39 c #Conflicts: 1581000 | #Constraints: 79378 3125.29/3133.39 c #Conflicts: 1582000 | #Constraints: 80378 3125.29/3133.39 c #Conflicts: 1583000 | #Constraints: 81378 3125.29/3133.39 c #Conflicts: 1584000 | #Constraints: 82378 3125.29/3133.39 c #Conflicts: 1585000 | #Constraints: 83378 3125.29/3133.39 c #Conflicts: 1586000 | #Constraints: 84378 3125.29/3133.39 c #Conflicts: 1587000 | #Constraints: 85378 3125.29/3133.39 c #Conflicts: 1588000 | #Constraints: 86378 3125.29/3133.39 c #Conflicts: 1589000 | #Constraints: 87378 3125.29/3133.39 c #Conflicts: 1590000 | #Constraints: 88378 3125.29/3133.39 c #Conflicts: 1591000 | #Constraints: 89378 3125.29/3133.39 c #Conflicts: 1592000 | #Constraints: 90378 3125.29/3133.39 c #Conflicts: 1593000 | #Constraints: 91378 3125.29/3133.39 c #Conflicts: 1594000 | #Constraints: 92378 3125.29/3133.39 c #Conflicts: 1595000 | #Constraints: 93378 3125.29/3133.39 c #Conflicts: 1596000 | #Constraints: 94378 3125.29/3133.39 c #Conflicts: 1597000 | #Constraints: 95378 3125.29/3133.39 c #Conflicts: 1598000 | #Constraints: 96378 3125.29/3133.39 c #Conflicts: 1599000 | #Constraints: 97379 3125.29/3133.39 c INPROCESSING 3125.29/3133.39 c GARBAGE COLLECT 3125.29/3133.39 c rational objective 82 3188.84/3197.03 c #Conflicts: 1600000 | #Constraints: 52987 3188.84/3197.03 c #Conflicts: 1601000 | #Constraints: 53987 3188.84/3197.03 c #Conflicts: 1602000 | #Constraints: 54988 3188.84/3197.03 c #Conflicts: 1603000 | #Constraints: 55988 3188.84/3197.03 c #Conflicts: 1604000 | #Constraints: 56988 3188.84/3197.03 c #Conflicts: 1605000 | #Constraints: 57988 3188.84/3197.03 c #Conflicts: 1606000 | #Constraints: 58988 3188.84/3197.03 c #Conflicts: 1607000 | #Constraints: 59988 3188.84/3197.03 c #Conflicts: 1608000 | #Constraints: 60988 3188.84/3197.03 c #Conflicts: 1609000 | #Constraints: 61988 3188.84/3197.03 c #Conflicts: 1610000 | #Constraints: 62988 3188.84/3197.03 c #Conflicts: 1611000 | #Constraints: 63988 3188.84/3197.03 c #Conflicts: 1612000 | #Constraints: 64988 3188.84/3197.03 c #Conflicts: 1613000 | #Constraints: 65988 3188.84/3197.03 c #Conflicts: 1614000 | #Constraints: 66988 3188.84/3197.03 c #Conflicts: 1615000 | #Constraints: 67988 3188.84/3197.03 c #Conflicts: 1616000 | #Constraints: 68988 3188.84/3197.03 c #Conflicts: 1617000 | #Constraints: 69988 3188.84/3197.03 c #Conflicts: 1618000 | #Constraints: 70988 3188.84/3197.03 c #Conflicts: 1619000 | #Constraints: 71988 3188.84/3197.03 c #Conflicts: 1620000 | #Constraints: 72988 3188.84/3197.03 c #Conflicts: 1621000 | #Constraints: 73988 3188.84/3197.03 c #Conflicts: 1622000 | #Constraints: 74988 3188.84/3197.03 c #Conflicts: 1623000 | #Constraints: 75988 3188.84/3197.03 c #Conflicts: 1624000 | #Constraints: 76988 3188.84/3197.03 c #Conflicts: 1625000 | #Constraints: 77988 3188.84/3197.03 c #Conflicts: 1626000 | #Constraints: 78988 3188.84/3197.03 c #Conflicts: 1627000 | #Constraints: 79988 3188.84/3197.03 c INPROCESSING 3188.84/3197.03 c GARBAGE COLLECT 3188.84/3197.03 c rational objective 82 3243.30/3251.70 c #Conflicts: 1628000 | #Constraints: 44077 3243.30/3251.70 c #Conflicts: 1629000 | #Constraints: 45077 3243.30/3251.70 c #Conflicts: 1630000 | #Constraints: 46077 3243.30/3251.70 c #Conflicts: 1631000 | #Constraints: 47077 3243.30/3251.70 c #Conflicts: 1632000 | #Constraints: 48077 3243.30/3251.70 c #Conflicts: 1633000 | #Constraints: 49077 3243.30/3251.70 c #Conflicts: 1634000 | #Constraints: 50077 3243.30/3251.70 c #Conflicts: 1635000 | #Constraints: 51077 3243.30/3251.70 c #Conflicts: 1636000 | #Constraints: 52077 3243.30/3251.70 c #Conflicts: 1637000 | #Constraints: 53077 3243.30/3251.70 c #Conflicts: 1638000 | #Constraints: 54077 3243.30/3251.70 c #Conflicts: 1639000 | #Constraints: 55077 3243.30/3251.70 c #Conflicts: 1640000 | #Constraints: 56077 3243.30/3251.70 c #Conflicts: 1641000 | #Constraints: 57077 3243.30/3251.70 c #Conflicts: 1642000 | #Constraints: 58077 3243.30/3251.70 c #Conflicts: 1643000 | #Constraints: 59077 3243.30/3251.70 c #Conflicts: 1644000 | #Constraints: 60078 3243.30/3251.70 c #Conflicts: 1645000 | #Constraints: 61078 3243.30/3251.70 c #Conflicts: 1646000 | #Constraints: 62078 3243.30/3251.70 c #Conflicts: 1647000 | #Constraints: 63079 3243.30/3251.70 c #Conflicts: 1648000 | #Constraints: 64079 3243.30/3251.70 c #Conflicts: 1649000 | #Constraints: 65079 3243.30/3251.70 c #Conflicts: 1650000 | #Constraints: 66080 3243.30/3251.70 c #Conflicts: 1651000 | #Constraints: 67080 3243.30/3251.70 c #Conflicts: 1652000 | #Constraints: 68081 3243.30/3251.70 c #Conflicts: 1653000 | #Constraints: 69081 3243.30/3251.70 c #Conflicts: 1654000 | #Constraints: 70082 3243.30/3251.70 c #Conflicts: 1655000 | #Constraints: 71082 3243.30/3251.70 c #Conflicts: 1656000 | #Constraints: 72082 3243.30/3251.70 c INPROCESSING 3243.30/3251.70 c GARBAGE COLLECT 3243.30/3251.70 c rational objective 82 3289.09/3297.59 c #Conflicts: 1657000 | #Constraints: 40255 3289.09/3297.59 c #Conflicts: 1658000 | #Constraints: 41255 3289.09/3297.59 c #Conflicts: 1659000 | #Constraints: 42255 3289.09/3297.59 c #Conflicts: 1660000 | #Constraints: 43255 3289.09/3297.59 c #Conflicts: 1661000 | #Constraints: 44255 3289.09/3297.59 c #Conflicts: 1662000 | #Constraints: 45255 3289.09/3297.59 c #Conflicts: 1663000 | #Constraints: 46255 3289.09/3297.59 c #Conflicts: 1664000 | #Constraints: 47255 3289.09/3297.59 c #Conflicts: 1665000 | #Constraints: 48255 3289.09/3297.59 c #Conflicts: 1666000 | #Constraints: 49255 3289.09/3297.59 c #Conflicts: 1667000 | #Constraints: 50255 3289.09/3297.59 c #Conflicts: 1668000 | #Constraints: 51255 3289.09/3297.59 c #Conflicts: 1669000 | #Constraints: 52255 3289.09/3297.59 c #Conflicts: 1670000 | #Constraints: 53255 3289.09/3297.59 c #Conflicts: 1671000 | #Constraints: 54255 3289.09/3297.59 c #Conflicts: 1672000 | #Constraints: 55255 3289.09/3297.59 c #Conflicts: 1673000 | #Constraints: 56255 3289.09/3297.59 c #Conflicts: 1674000 | #Constraints: 57255 3289.09/3297.59 c #Conflicts: 1675000 | #Constraints: 58256 3289.09/3297.59 c #Conflicts: 1676000 | #Constraints: 59257 3289.09/3297.59 c #Conflicts: 1677000 | #Constraints: 60257 3289.09/3297.59 c #Conflicts: 1678000 | #Constraints: 61257 3289.09/3297.59 c #Conflicts: 1679000 | #Constraints: 62257 3289.09/3297.59 c #Conflicts: 1680000 | #Constraints: 63257 3289.09/3297.59 c #Conflicts: 1681000 | #Constraints: 64257 3289.09/3297.59 c #Conflicts: 1682000 | #Constraints: 65257 3289.09/3297.59 c #Conflicts: 1683000 | #Constraints: 66257 3289.09/3297.59 c #Conflicts: 1684000 | #Constraints: 67257 3289.09/3297.59 c INPROCESSING 3289.09/3297.59 c GARBAGE COLLECT 3289.09/3297.59 c rational objective 82 3477.90/3486.88 c #Conflicts: 1685000 | #Constraints: 37560 3477.90/3486.88 c #Conflicts: 1686000 | #Constraints: 38560 3477.90/3486.88 c #Conflicts: 1687000 | #Constraints: 39560 3477.90/3486.88 c #Conflicts: 1688000 | #Constraints: 40560 3477.90/3486.88 c #Conflicts: 1689000 | #Constraints: 41560 3477.90/3486.88 c #Conflicts: 1690000 | #Constraints: 42560 3477.90/3486.88 c #Conflicts: 1691000 | #Constraints: 43560 3477.90/3486.88 c #Conflicts: 1692000 | #Constraints: 44560 3477.90/3486.88 c #Conflicts: 1693000 | #Constraints: 45560 3477.90/3486.88 c #Conflicts: 1694000 | #Constraints: 46560 3477.90/3486.88 c #Conflicts: 1695000 | #Constraints: 47560 3477.90/3486.88 c #Conflicts: 1696000 | #Constraints: 48561 3477.90/3486.88 c #Conflicts: 1697000 | #Constraints: 49561 3477.90/3486.88 c #Conflicts: 1698000 | #Constraints: 50563 3477.90/3486.88 c #Conflicts: 1699000 | #Constraints: 51563 3477.90/3486.88 c #Conflicts: 1700000 | #Constraints: 52563 3477.90/3486.88 c #Conflicts: 1701000 | #Constraints: 53563 3477.90/3486.88 c #Conflicts: 1702000 | #Constraints: 54563 3477.90/3486.88 c #Conflicts: 1703000 | #Constraints: 55563 3477.90/3486.88 c #Conflicts: 1704000 | #Constraints: 56563 3477.90/3486.88 c #Conflicts: 1705000 | #Constraints: 57563 3477.90/3486.88 c #Conflicts: 1706000 | #Constraints: 58563 3477.90/3486.88 c #Conflicts: 1707000 | #Constraints: 59564 3477.90/3486.88 c #Conflicts: 1708000 | #Constraints: 60564 3477.90/3486.88 c #Conflicts: 1709000 | #Constraints: 61565 3477.90/3486.88 c #Conflicts: 1710000 | #Constraints: 62565 3477.90/3486.88 c #Conflicts: 1711000 | #Constraints: 63566 3477.90/3486.88 c #Conflicts: 1712000 | #Constraints: 64566 3477.90/3486.88 c #Conflicts: 1713000 | #Constraints: 65567 3477.90/3486.88 c #Conflicts: 1714000 | #Constraints: 66567 3477.90/3486.88 c #Conflicts: 1715000 | #Constraints: 67567 3477.90/3486.88 c #Conflicts: 1716000 | #Constraints: 68567 3477.90/3486.88 c #Conflicts: 1717000 | #Constraints: 69567 3477.90/3486.88 c #Conflicts: 1718000 | #Constraints: 70567 3477.90/3486.88 c #Conflicts: 1719000 | #Constraints: 71567 3477.90/3486.88 c #Conflicts: 1720000 | #Constraints: 72567 3477.90/3486.88 c #Conflicts: 1721000 | #Constraints: 73567 3477.90/3486.88 c #Conflicts: 1722000 | #Constraints: 74567 3477.90/3486.88 c #Conflicts: 1723000 | #Constraints: 75567 3477.90/3486.88 c #Conflicts: 1724000 | #Constraints: 76567 3477.90/3486.88 c #Conflicts: 1725000 | #Constraints: 77567 3477.90/3486.88 c #Conflicts: 1726000 | #Constraints: 78567 3477.90/3486.88 c #Conflicts: 1727000 | #Constraints: 79567 3477.90/3486.88 c #Conflicts: 1728000 | #Constraints: 80568 3477.90/3486.88 c #Conflicts: 1729000 | #Constraints: 81568 3477.90/3486.88 c #Conflicts: 1730000 | #Constraints: 82568 3477.90/3486.88 c #Conflicts: 1731000 | #Constraints: 83569 3477.90/3486.88 c #Conflicts: 1732000 | #Constraints: 84569 3477.90/3486.88 c #Conflicts: 1733000 | #Constraints: 85569 3477.90/3486.88 c #Conflicts: 1734000 | #Constraints: 86569 3477.90/3486.88 c #Conflicts: 1735000 | #Constraints: 87569 3477.90/3486.88 c #Conflicts: 1736000 | #Constraints: 88569 3477.90/3486.88 c #Conflicts: 1737000 | #Constraints: 89569 3477.90/3486.88 c #Conflicts: 1738000 | #Constraints: 90569 3477.90/3486.88 c #Conflicts: 1739000 | #Constraints: 91569 3477.90/3486.88 c #Conflicts: 1740000 | #Constraints: 92569 3477.90/3486.88 c #Conflicts: 1741000 | #Constraints: 93569 3477.90/3486.88 c #Conflicts: 1742000 | #Constraints: 94569 3477.90/3486.88 c #Conflicts: 1743000 | #Constraints: 95569 3477.90/3486.88 c #Conflicts: 1744000 | #Constraints: 96569 3477.90/3486.88 c #Conflicts: 1745000 | #Constraints: 97569 3477.90/3486.88 c #Conflicts: 1746000 | #Constraints: 98569 3477.90/3486.88 c #Conflicts: 1747000 | #Constraints: 99569 3477.90/3486.88 c #Conflicts: 1748000 | #Constraints: 100569 3477.90/3486.88 c #Conflicts: 1749000 | #Constraints: 101569 3477.90/3486.88 c #Conflicts: 1750000 | #Constraints: 102569 3477.90/3486.88 c #Conflicts: 1751000 | #Constraints: 103569 3477.90/3486.88 c #Conflicts: 1752000 | #Constraints: 104570 3477.90/3486.88 c #Conflicts: 1753000 | #Constraints: 105570 3477.90/3486.88 c #Conflicts: 1754000 | #Constraints: 106570 3477.90/3486.88 c #Conflicts: 1755000 | #Constraints: 107570 3477.90/3486.88 c #Conflicts: 1756000 | #Constraints: 108570 3477.90/3486.88 c #Conflicts: 1757000 | #Constraints: 109570 3477.90/3486.88 c #Conflicts: 1758000 | #Constraints: 110570 3477.90/3486.88 c #Conflicts: 1759000 | #Constraints: 111571 3477.90/3486.88 c #Conflicts: 1760000 | #Constraints: 112571 3477.90/3486.88 c #Conflicts: 1761000 | #Constraints: 113571 3477.90/3486.88 c #Conflicts: 1762000 | #Constraints: 114571 3477.90/3486.88 c #Conflicts: 1763000 | #Constraints: 115571 3592.69/3601.96 c #Conflicts: 1764000 | #Constraints: 116571 3592.69/3601.96 c #Conflicts: 1765000 | #Constraints: 117571 3592.69/3601.96 c #Conflicts: 1766000 | #Constraints: 118571 3592.69/3601.96 c #Conflicts: 1767000 | #Constraints: 119571 3592.69/3601.96 c #Conflicts: 1768000 | #Constraints: 120571 3592.69/3601.96 c #Conflicts: 1769000 | #Constraints: 121571 3592.69/3601.96 c #Conflicts: 1770000 | #Constraints: 122571 3592.69/3601.96 c #Conflicts: 1771000 | #Constraints: 123571 3592.69/3601.96 c #Conflicts: 1772000 | #Constraints: 124572 3592.69/3601.96 c #Conflicts: 1773000 | #Constraints: 125572 3592.69/3601.96 c #Conflicts: 1774000 | #Constraints: 126572 3592.69/3601.96 c #Conflicts: 1775000 | #Constraints: 127572 3592.69/3601.96 c #Conflicts: 1776000 | #Constraints: 128572 3592.69/3601.96 c #Conflicts: 1777000 | #Constraints: 129572 3592.69/3601.96 c #Conflicts: 1778000 | #Constraints: 130572 3592.69/3601.96 c #Conflicts: 1779000 | #Constraints: 131572 3592.69/3601.96 c #Conflicts: 1780000 | #Constraints: 132572 3592.69/3601.96 c #Conflicts: 1781000 | #Constraints: 133572 3592.69/3601.96 c #Conflicts: 1782000 | #Constraints: 134572 3592.69/3601.96 c #Conflicts: 1783000 | #Constraints: 135572 3592.69/3601.96 c #Conflicts: 1784000 | #Constraints: 136572 3592.69/3601.96 c #Conflicts: 1785000 | #Constraints: 137572 3592.69/3601.96 c #Conflicts: 1786000 | #Constraints: 138572 3592.69/3601.96 c #Conflicts: 1787000 | #Constraints: 139572 3592.69/3601.96 c INPROCESSING 3592.69/3601.96 c GARBAGE COLLECT 3592.69/3601.96 c rational objective 82 3600.08/3609.30 c #Conflicts: 1788000 | #Constraints: 73794 3600.08/3609.30 c #Conflicts: 1789000 | #Constraints: 74794 3600.08/3609.30 c #Conflicts: 1790000 | #Constraints: 75794 3600.08/3609.30 c #Conflicts: 1791000 | #Constraints: 76794 3600.08/3609.30 c Program interrupted by user. 3600.08/3609.36 c cpu time 3561.83 s 3600.08/3609.36 c deterministic time 397111716254 3.97e+11 3600.08/3609.36 c optimization time 6.82309 s 3600.08/3609.36 c total solve time 3554.99 s 3600.08/3609.36 c core-guided solve time 0 s 3600.08/3609.36 c propagation time 2465.41 s 3600.08/3609.36 c conflict analysis time 825.74 s 3600.08/3609.36 c propagations 755619914 3600.08/3609.36 c resolve steps 67670375 3600.08/3609.36 c decisions 12691007 3600.08/3609.36 c conflicts 1791770 3600.08/3609.36 c restarts 3466 3600.08/3609.36 c inprocessing phases 82 3600.08/3609.36 c input clauses 5660 3600.08/3609.36 c input cardinalities 82 3600.08/3609.36 c input general constraints 0 3600.08/3609.36 c input average constraint length 6.23 3600.08/3609.36 c input average constraint degree 1.94 3600.08/3609.36 c learned clauses 1241112 3600.08/3609.36 c learned cardinalities 35443 3600.08/3609.36 c learned general constraints 515413 3600.08/3609.36 c learned average constraint length 813.07 3600.08/3609.36 c learned average constraint degree 74817192.53 3600.08/3609.36 c watched constraints 446477 3600.08/3609.36 c counting constraints 68936 3600.08/3609.36 c gcd simplifications 7282 3600.08/3609.36 c detected cardinalities 1531 3600.08/3609.36 c weakened non-implied lits 258663488 3600.08/3609.36 c weakened non-implying lits 663235 3600.08/3609.36 c original variables 5576 3600.08/3609.36 c clausal propagations 282013259 3600.08/3609.36 c cardinality propagations 247592647 3600.08/3609.36 c watched propagations 69990902 3600.08/3609.36 c counting propagations 150282745 3600.08/3609.36 c watch lookups 34841123803 3600.08/3609.36 c watch backjump lookups 27651087174 3600.08/3609.36 c watch checks 279762339343 3600.08/3609.36 c propagation checks 48896317295 3600.08/3609.36 c constraint additions 4420141730 3600.08/3609.36 c trail pops 770098106 3600.08/3609.36 c formula constraints 5742 3600.08/3609.36 c learned constraints 1791570 3600.08/3609.36 c bound constraints 0 3600.08/3609.36 c core-guided constraints 0 3600.08/3609.36 c encountered formula constraints 38613654 3600.08/3609.36 c encountered learned constraints 30844631 3600.08/3609.36 c encountered bound constraints 0 3600.08/3609.36 c encountered core-guided constraints 0 3600.08/3609.36 c LP total time 719.146 s 3600.08/3609.36 c LP solve time 711.44 s 3600.08/3609.36 c LP constraints added 10962 3600.08/3609.36 c LP constraints removed 5145 3600.08/3609.36 c LP pivots internal 1795323 3600.08/3609.36 c LP pivots root 502558 3600.08/3609.36 c LP calls 336 3600.08/3609.36 c LP optimalities 132 3600.08/3609.36 c LP no pivot count 2 3600.08/3609.36 c LP infeasibilities 199 3600.08/3609.36 c LP valid Farkas constraints 199 3600.08/3609.36 c LP learned Farkas constraints 199 3600.08/3609.36 c LP basis resets 0 3600.08/3609.36 c LP cycling count 0 3600.08/3609.36 c LP singular count 0 3600.08/3609.36 c LP no primal count 0 3600.08/3609.36 c LP no farkas count 0 3600.08/3609.36 c LP other issue count 0 3600.08/3609.36 c LP Gomory cuts 0 3600.08/3609.36 c LP learned cuts 5309 3600.08/3609.36 c LP deleted cuts 5206 3600.08/3609.36 c LP encountered Gomory constraints 0 3600.08/3609.36 c LP encountered Farkas constraints 2849 3600.08/3609.36 c LP encountered learned Farkas constraints 812 3600.08/3609.36 c CG auxiliary variables introduced 0 3600.08/3609.36 c CG solutions found 0 3600.08/3609.36 c CG cores constructed 0 3600.08/3609.36 c CG core cardinality constraints returned 0 3600.08/3609.36 c CG unit cores 0 3600.08/3609.36 c CG single cores 0 3600.08/3609.36 c CG blocks removed during cardinality reduction 0 3600.08/3609.36 c CG first core best 0 3600.08/3609.36 c CG decision core best 0 3600.08/3609.36 c CG core reduction tie 0 3600.08/3609.36 c CG core degree average 0.00 3600.08/3609.36 c CG core slack average 0.00 3600.08/3609.36 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: 63931 MiB (59070 MiB free)
memory of node 1: 64510 MiB (60788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460666-1722069584/watcher-4460666-1722069584 -o /tmp/evaluation-result-4460666-1722069584/solver-4460666-1722069584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722064836-317472 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460666-1722069584 --lp-cut-gomory=0 HOME/instance-4460666-1722069584.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=322533, runsolver pid=322530
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.08 4.14 4.10 5/259 322534
/proc/meminfo: memFree=122725340/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=47744 memory=16536 CPUtime=0.08 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 3138 0 0 0 7 1 0 0 20 0 1 0 43487668 48889856 4134 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 11936 4134 1719 992 0 3794 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47744 KiB
Current children cumulated memory: 16536 KiB
[startup+0.205751 s]*
/proc/loadavg: 4.08 4.14 4.10 5/259 322534
/proc/meminfo: memFree=122724164/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=48960 memory=17592 CPUtime=0.18 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 3420 0 0 0 17 1 0 0 20 0 1 0 43487668 50135040 4398 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 12240 4398 1719 992 0 4098 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 17592 KiB
[startup+0.305664 s]*
/proc/loadavg: 4.07 4.13 4.10 5/259 322534
/proc/meminfo: memFree=122723716/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=48960 memory=17592 CPUtime=0.28 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 3428 0 0 0 27 1 0 0 20 0 1 0 43487668 50135040 4398 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 12240 4398 1719 992 0 4098 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 17592 KiB
[startup+0.700232 s]
/proc/loadavg: 4.07 4.13 4.10 5/259 322534
/proc/meminfo: memFree=122723240/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=48960 memory=17592 CPUtime=0.66 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 3429 0 0 0 65 1 0 0 20 0 1 0 43487668 50135040 4398 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 12240 4398 1719 992 0 4098 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 17592 KiB
[startup+1.50023 s]
/proc/loadavg: 4.07 4.13 4.10 5/259 322534
/proc/meminfo: memFree=122717076/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=50240 memory=22456 CPUtime=1.46 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 4083 0 0 0 140 6 0 0 20 0 1 0 43487668 51445760 5614 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 12560 5614 1767 992 0 4418 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 50240 KiB
Current children cumulated memory: 22456 KiB
[startup+3.10599 s]
/proc/loadavg: 4.07 4.13 4.10 5/259 322534
/proc/meminfo: memFree=122701760/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=51524 memory=23508 CPUtime=3.07 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 4369 0 0 0 299 8 0 0 20 0 1 0 43487668 52760576 5877 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 12881 5877 1767 992 0 4739 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 51524 KiB
Current children cumulated memory: 23508 KiB
[startup+6.30021 s]
/proc/loadavg: 4.07 4.13 4.10 5/259 322535
/proc/meminfo: memFree=122689596/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=52696 memory=25320 CPUtime=6.26 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 4742 0 0 0 609 17 0 0 20 0 1 0 43487668 53960704 6330 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 13174 6330 1829 992 0 5032 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52696 KiB
Current children cumulated memory: 25320 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.13 4.10 5/259 322535
/proc/meminfo: memFree=122656032/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=57128 memory=28656 CPUtime=12.64 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 5525 0 0 0 1236 28 0 0 20 0 1 0 43487668 58499072 7164 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 14282 7164 1861 992 0 6140 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57128 KiB
Current children cumulated memory: 28656 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.12 4.10 5/261 322542
/proc/meminfo: memFree=122599052/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=64836 memory=36024 CPUtime=25.41 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 6889 0 0 0 2478 63 0 0 20 0 1 0 43487668 66392064 9006 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 16209 9006 1861 992 0 8067 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64836 KiB
Current children cumulated memory: 36024 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.13 4.10 5/261 322546
/proc/meminfo: memFree=122473172/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=77280 memory=44520 CPUtime=50.95 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 8669 0 0 0 4984 111 0 0 20 0 1 0 43487668 79134720 11130 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 19320 11130 1861 992 0 11178 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 77280 KiB
Current children cumulated memory: 44520 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/260 322556
/proc/meminfo: memFree=122235476/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=113844 memory=82220 CPUtime=102.03 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 11130 0 0 0 9988 215 0 0 20 0 1 0 43487668 116576256 20555 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 28461 20555 1861 992 0 20319 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 113844 KiB
Current children cumulated memory: 82220 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/260 322567
/proc/meminfo: memFree=121909048/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=206300 memory=145396 CPUtime=161.87 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 15485 0 0 0 15876 311 0 0 20 0 1 0 43487668 211251200 36349 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 51575 36349 1861 992 0 43433 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 206300 KiB
Current children cumulated memory: 145396 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 322577
/proc/meminfo: memFree=121674660/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=221708 memory=170648 CPUtime=221.71 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 19277 0 0 0 21756 415 0 0 20 0 1 0 43487668 227028992 42662 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 55427 42662 1861 992 0 47285 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 221708 KiB
Current children cumulated memory: 170648 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/260 322588
/proc/meminfo: memFree=121331920/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=224504 memory=173296 CPUtime=281.59 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 20343 0 0 0 27652 507 0 0 20 0 1 0 43487668 229892096 43324 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 56126 43324 1861 992 0 47984 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 224504 KiB
Current children cumulated memory: 173296 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/260 322598
/proc/meminfo: memFree=121062896/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=313168 memory=225868 CPUtime=341.43 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 22846 0 0 0 33547 596 0 0 20 0 1 0 43487668 320684032 56467 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 78292 56467 1861 992 0 70150 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 313168 KiB
Current children cumulated memory: 225868 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 322608
/proc/meminfo: memFree=120734724/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=313724 memory=226324 CPUtime=401.29 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 23029 0 0 0 39428 701 0 0 20 0 1 0 43487668 321253376 56581 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 78431 56581 1861 992 0 70289 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 313724 KiB
Current children cumulated memory: 226324 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 322619
/proc/meminfo: memFree=120506796/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=323628 memory=276404 CPUtime=461.13 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 25286 0 0 0 45345 768 0 0 20 0 1 0 43487668 331395072 69101 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 80907 69101 1861 992 0 72765 0
################
# More data... #
################
Current children cumulated memory: 656556 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/266 324575
/proc/meminfo: memFree=107089408/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=761708 memory=656696 CPUtime=2914.82 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 61784 0 0 0 288189 3293 0 0 20 0 1 0 43487668 779988992 164174 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 190427 164174 1861 992 0 182285 0
Current children cumulated CPU time: 2914.82 s
Current children cumulated vsize: 761708 KiB
Current children cumulated memory: 656696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 324587
/proc/meminfo: memFree=106484844/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=761912 memory=656916 CPUtime=2974.66 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 62019 0 0 0 294137 3329 0 0 20 0 1 0 43487668 780197888 164229 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 190478 164229 1861 992 0 182336 0
Current children cumulated CPU time: 2974.66 s
Current children cumulated vsize: 761912 KiB
Current children cumulated memory: 656916 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 324656
/proc/meminfo: memFree=105621624/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=765048 memory=659224 CPUtime=3034.52 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 62821 0 0 0 300086 3366 0 0 20 0 1 0 43487668 783409152 164806 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 191262 164806 1861 992 0 183120 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 765048 KiB
Current children cumulated memory: 659224 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 324667
/proc/meminfo: memFree=104558224/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=767312 memory=661372 CPUtime=3094.37 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 63865 0 0 0 306026 3411 0 0 20 0 1 0 43487668 785727488 165343 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 191828 165343 1861 992 0 183686 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 661372 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 324677
/proc/meminfo: memFree=103634368/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=767764 memory=661796 CPUtime=3154.22 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 64447 0 0 0 311955 3467 0 0 20 0 1 0 43487668 786190336 165449 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 191941 165449 1861 992 0 183799 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 767764 KiB
Current children cumulated memory: 661796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.45 4.20 4.12 5/265 324689
/proc/meminfo: memFree=102693472/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=767764 memory=661816 CPUtime=3214.08 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 64979 0 0 0 317890 3518 0 0 20 0 1 0 43487668 786190336 165454 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 191941 165454 1861 992 0 183799 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 767764 KiB
Current children cumulated memory: 661816 KiB
[startup+3282.3 s]
/proc/loadavg: 4.45 4.25 4.14 5/263 324700
/proc/meminfo: memFree=102105480/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=767536 memory=661500 CPUtime=3273.93 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 65442 0 0 0 323807 3586 0 0 20 0 1 0 43487668 785956864 165375 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 191884 165375 1861 992 0 183742 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 767536 KiB
Current children cumulated memory: 661500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.24 4.14 5/262 324711
/proc/meminfo: memFree=101303496/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=767836 memory=661988 CPUtime=3333.77 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 65738 0 0 0 329716 3661 0 0 20 0 1 0 43487668 786264064 165497 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 191959 165497 1861 992 0 183817 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 767836 KiB
Current children cumulated memory: 661988 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.21 4.14 5/264 324816
/proc/meminfo: memFree=108803080/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=767836 memory=661988 CPUtime=3393.63 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 65912 0 0 0 335651 3712 0 0 20 0 1 0 43487668 786264064 165497 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 191959 165497 1861 992 0 183817 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 767836 KiB
Current children cumulated memory: 661988 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.20 4.14 5/265 324828
/proc/meminfo: memFree=106001160/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=767836 memory=662520 CPUtime=3453.48 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 66111 0 0 0 341602 3746 0 0 20 0 1 0 43487668 786264064 165630 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 191959 165630 1861 992 0 183817 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 767836 KiB
Current children cumulated memory: 662520 KiB
[startup+3522.3 s]
/proc/loadavg: 4.41 4.25 4.16 5/265 324838
/proc/meminfo: memFree=103974212/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=769868 memory=669244 CPUtime=3513.31 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 66673 0 0 0 347555 3776 0 0 20 0 1 0 43487668 788344832 167311 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 192467 167311 1861 992 0 184325 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 769868 KiB
Current children cumulated memory: 669244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.22 4.15 5/265 324848
/proc/meminfo: memFree=101884428/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=773812 memory=672308 CPUtime=3573.15 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 67676 0 0 0 353505 3810 0 0 20 0 1 0 43487668 792383488 168077 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 193453 168077 1861 992 0 185311 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 773812 KiB
Current children cumulated memory: 672308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.21 4.22 4.16 5/265 324853
/proc/meminfo: memFree=100886924/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=775916 memory=673864 CPUtime=3600.08 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 68765 0 0 0 356183 3825 0 0 20 0 1 0 43487668 794537984 168466 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 193979 168466 1861 992 0 185837 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 775916 KiB
Current children cumulated memory: 673864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.36 s]
# the end of solver process 322533 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.84 s, system=38.2605 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.21 4.22 4.16 5/265 324853
/proc/meminfo: memFree=100886924/131524600 swapFree=131053920/131071996
[pid=322533] ppid=322530 vsize=775916 memory=673864 CPUtime=3600.08 cores=5,7
/proc/322533/stat : 322533 (roundingsat) R 322530 322533 317459 0 -1 4194304 68765 0 0 0 356183 3825 0 0 20 0 1 0 43487668 794537984 168466 134679101440 4194304 8254357 140733238569840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28995584 140733238571867 140733238572129 140733238572129 140733238579145 0
/proc/322533/statm: 193979 168466 1861 992 0 185837 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 775916 KiB
Current children cumulated memory: 673864 KiB
Child status: 0
Real time (s): 3609.36
CPU time (s): 3600.1
CPU user time (s): 3561.84
CPU system time (s): 38.2605
CPU usage (%): 99.7432
Max. virtual memory (cumulated for all children) (KiB): 778192
Max. memory (cumulated for all children) (KiB): 675696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.84
system time used= 38.2605
maximum resident set size= 675696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68782
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10218088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 480
involuntary context switches= 4910
# summary of solver processes directly reported to runsolver:
# pid: 322533
# total CPU time (s): 3600.1
# total CPU user time (s): 3561.84
# total CPU system time (s): 38.2605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66718 second user time and 16.9039 second system time
The end
Begin job on nodeC023 at 2024-07-27 10:39:44 IDJOB=4460666 IDBENCH=158340 IDSOLVER=3086 FILE ID=nodeC023/4460666-1722069584 RUNJOBID= nodeC023-1722064836-317472 SLURM_JOB_ID= 8248092 Free space on /tmp= 890056 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.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-4460666-1722069584/watcher-4460666-1722069584 -o /tmp/evaluation-result-4460666-1722069584/solver-4460666-1722069584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722064836-317472 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460666-1722069584 --lp-cut-gomory=0 HOME/instance-4460666-1722069584.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5599f1c242004f89302cb9020bac47d1 RANDOM SEED=1211757465 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.611 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.651 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.956 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.805 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.621 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3651.938 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.076 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3670.949 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122735724 kB MemAvailable: 129183268 kB Buffers: 368064 kB Cached: 6872344 kB SwapCached: 208 kB Active: 1703452 kB Inactive: 6407052 kB Active(anon): 2368 kB Inactive(anon): 919600 kB Active(file): 1701084 kB Inactive(file): 5487452 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131053920 kB Dirty: 78460 kB Writeback: 0 kB AnonPages: 864992 kB Mapped: 104912 kB Shmem: 52148 kB KReclaimable: 197308 kB Slab: 319372 kB SReclaimable: 197308 kB SUnreclaim: 122064 kB KernelStack: 4184 kB PageTables: 11080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1228624 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 575488 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: 410324 kB DirectMap2M: 61229056 kB DirectMap1G: 74448896 kB Free space on /tmp at the end= 890060 MiB End job on nodeC023 at 2024-07-27 11:39:53