| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.37 | 3610.97 |
| 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.64/13.75 c #Conflicts: 1000 | #Constraints: 6741 13.64/13.75 c #Conflicts: 2000 | #Constraints: 7741 13.64/13.75 c INPROCESSING 13.64/13.75 c GARBAGE COLLECT 13.64/13.75 c #Conflicts: 3000 | #Constraints: 7423 13.64/13.75 c #Conflicts: 4000 | #Constraints: 8423 13.64/13.75 c INPROCESSING 13.64/13.75 c GARBAGE COLLECT 13.64/13.75 c #Conflicts: 5000 | #Constraints: 7894 13.64/13.75 c #Conflicts: 6000 | #Constraints: 8894 13.64/13.75 c INPROCESSING 13.64/13.75 c GARBAGE COLLECT 13.64/13.75 c #Conflicts: 7000 | #Constraints: 7933 13.64/13.75 c #Conflicts: 8000 | #Constraints: 8933 13.64/13.75 c #Conflicts: 9000 | #Constraints: 9933 13.64/13.75 c INPROCESSING 13.64/13.75 c GARBAGE COLLECT 13.64/13.75 c rational objective 82 25.71/25.82 c #Conflicts: 10000 | #Constraints: 8691 25.71/25.82 c #Conflicts: 11000 | #Constraints: 9691 25.71/25.82 c #Conflicts: 12000 | #Constraints: 10692 25.71/25.82 c INPROCESSING 25.71/25.82 c GARBAGE COLLECT 25.71/25.82 c #Conflicts: 13000 | #Constraints: 9186 25.71/25.82 c #Conflicts: 14000 | #Constraints: 10186 25.71/25.82 c #Conflicts: 15000 | #Constraints: 11186 25.71/25.82 c INPROCESSING 25.71/25.82 c GARBAGE COLLECT 25.71/25.82 c #Conflicts: 16000 | #Constraints: 9457 25.71/25.82 c #Conflicts: 17000 | #Constraints: 10457 25.71/25.82 c #Conflicts: 18000 | #Constraints: 11457 25.71/25.82 c INPROCESSING 25.71/25.82 c GARBAGE COLLECT 25.71/25.82 c #Conflicts: 19000 | #Constraints: 9475 25.71/25.82 c #Conflicts: 20000 | #Constraints: 10475 25.71/25.82 c #Conflicts: 21000 | #Constraints: 11475 25.71/25.82 c INPROCESSING 25.71/25.82 c GARBAGE COLLECT 25.71/25.82 c #Conflicts: 22000 | #Constraints: 9218 25.71/25.82 c #Conflicts: 23000 | #Constraints: 10218 25.71/25.82 c #Conflicts: 24000 | #Constraints: 11218 25.71/25.82 c #Conflicts: 25000 | #Constraints: 12218 25.71/25.82 c INPROCESSING 25.71/25.82 c GARBAGE COLLECT 25.71/25.82 c rational objective 82 28.40/28.52 c #Conflicts: 26000 | #Constraints: 9850 28.40/28.52 c #Conflicts: 27000 | #Constraints: 10850 28.40/28.52 c #Conflicts: 28000 | #Constraints: 11850 28.40/28.52 c #Conflicts: 29000 | #Constraints: 12850 28.40/28.52 c INPROCESSING 28.40/28.52 c GARBAGE COLLECT 28.40/28.52 c rational objective 82 54.24/54.40 c #Conflicts: 30000 | #Constraints: 10291 54.24/54.40 c #Conflicts: 31000 | #Constraints: 11291 54.24/54.40 c #Conflicts: 32000 | #Constraints: 12291 54.24/54.40 c #Conflicts: 33000 | #Constraints: 13291 54.24/54.40 c INPROCESSING 54.24/54.40 c GARBAGE COLLECT 54.24/54.40 c #Conflicts: 34000 | #Constraints: 10528 54.24/54.40 c #Conflicts: 35000 | #Constraints: 11528 54.24/54.40 c #Conflicts: 36000 | #Constraints: 12528 54.24/54.40 c #Conflicts: 37000 | #Constraints: 13528 54.24/54.40 c INPROCESSING 54.24/54.40 c GARBAGE COLLECT 54.24/54.40 c #Conflicts: 38000 | #Constraints: 10540 54.24/54.40 c #Conflicts: 39000 | #Constraints: 11540 54.24/54.40 c #Conflicts: 40000 | #Constraints: 12540 54.24/54.40 c #Conflicts: 41000 | #Constraints: 13540 54.24/54.40 c INPROCESSING 54.24/54.40 c GARBAGE COLLECT 54.24/54.40 c #Conflicts: 42000 | #Constraints: 10388 54.24/54.40 c #Conflicts: 43000 | #Constraints: 11389 54.24/54.40 c #Conflicts: 44000 | #Constraints: 12389 54.24/54.40 c #Conflicts: 45000 | #Constraints: 13390 54.24/54.40 c #Conflicts: 46000 | #Constraints: 14390 54.24/54.40 c INPROCESSING 54.24/54.40 c GARBAGE COLLECT 54.24/54.40 c rational objective 82 57.74/57.97 c #Conflicts: 47000 | #Constraints: 10984 57.74/57.97 c #Conflicts: 48000 | #Constraints: 11984 57.74/57.97 c #Conflicts: 49000 | #Constraints: 12984 57.74/57.97 c #Conflicts: 50000 | #Constraints: 13984 57.74/57.97 c #Conflicts: 51000 | #Constraints: 14984 57.74/57.97 c INPROCESSING 57.74/57.97 c GARBAGE COLLECT 57.74/57.97 c rational objective 82 67.51/67.77 c #Conflicts: 52000 | #Constraints: 11421 67.51/67.77 c #Conflicts: 53000 | #Constraints: 12421 67.51/67.77 c #Conflicts: 54000 | #Constraints: 13421 67.51/67.77 c #Conflicts: 55000 | #Constraints: 14421 67.51/67.77 c #Conflicts: 56000 | #Constraints: 15422 67.51/67.77 c INPROCESSING 67.51/67.77 c GARBAGE COLLECT 67.51/67.77 c rational objective 82 88.16/88.49 c #Conflicts: 57000 | #Constraints: 11608 88.16/88.49 c #Conflicts: 58000 | #Constraints: 12609 88.16/88.49 c #Conflicts: 59000 | #Constraints: 13610 88.16/88.49 c #Conflicts: 60000 | #Constraints: 14610 88.16/88.49 c #Conflicts: 61000 | #Constraints: 15610 88.16/88.49 c INPROCESSING 88.16/88.49 c GARBAGE COLLECT 88.16/88.49 c #Conflicts: 62000 | #Constraints: 11586 88.16/88.49 c #Conflicts: 63000 | #Constraints: 12586 88.16/88.49 c #Conflicts: 64000 | #Constraints: 13586 88.16/88.49 c #Conflicts: 65000 | #Constraints: 14586 88.16/88.49 c #Conflicts: 66000 | #Constraints: 15586 88.16/88.49 c INPROCESSING 88.16/88.49 c GARBAGE COLLECT 88.16/88.49 c #Conflicts: 67000 | #Constraints: 11426 88.16/88.49 c #Conflicts: 68000 | #Constraints: 12426 88.16/88.49 c #Conflicts: 69000 | #Constraints: 13426 88.16/88.49 c #Conflicts: 70000 | #Constraints: 14426 88.16/88.49 c #Conflicts: 71000 | #Constraints: 15426 88.16/88.49 c #Conflicts: 72000 | #Constraints: 16426 88.16/88.49 c INPROCESSING 88.16/88.49 c GARBAGE COLLECT 88.16/88.49 c #Conflicts: 73000 | #Constraints: 12055 88.16/88.49 c #Conflicts: 74000 | #Constraints: 13055 88.16/88.49 c #Conflicts: 75000 | #Constraints: 14056 88.16/88.49 c #Conflicts: 76000 | #Constraints: 15056 88.16/88.49 c #Conflicts: 77000 | #Constraints: 16056 88.16/88.49 c #Conflicts: 78000 | #Constraints: 17056 88.16/88.49 c INPROCESSING 88.16/88.49 c GARBAGE COLLECT 88.16/88.49 c rational objective 82 124.98/125.32 c #Conflicts: 79000 | #Constraints: 12460 124.98/125.32 c #Conflicts: 80000 | #Constraints: 13460 124.98/125.32 c #Conflicts: 81000 | #Constraints: 14460 124.98/125.32 c #Conflicts: 82000 | #Constraints: 15460 124.98/125.32 c #Conflicts: 83000 | #Constraints: 16460 124.98/125.32 c #Conflicts: 84000 | #Constraints: 17460 124.98/125.32 c #Conflicts: 85000 | #Constraints: 18460 124.98/125.32 c #Conflicts: 86000 | #Constraints: 19460 124.98/125.32 c #Conflicts: 87000 | #Constraints: 20461 124.98/125.32 c #Conflicts: 88000 | #Constraints: 21461 124.98/125.32 c #Conflicts: 89000 | #Constraints: 22461 124.98/125.32 c #Conflicts: 90000 | #Constraints: 23461 124.98/125.32 c #Conflicts: 91000 | #Constraints: 24461 124.98/125.32 c #Conflicts: 92000 | #Constraints: 25461 124.98/125.32 c #Conflicts: 93000 | #Constraints: 26461 124.98/125.32 c #Conflicts: 94000 | #Constraints: 27461 124.98/125.32 c #Conflicts: 95000 | #Constraints: 28461 124.98/125.32 c #Conflicts: 96000 | #Constraints: 29461 124.98/125.32 c #Conflicts: 97000 | #Constraints: 30461 124.98/125.32 c #Conflicts: 98000 | #Constraints: 31462 124.98/125.32 c #Conflicts: 99000 | #Constraints: 32462 124.98/125.32 c #Conflicts: 100000 | #Constraints: 33462 124.98/125.32 c #Conflicts: 101000 | #Constraints: 34462 124.98/125.32 c #Conflicts: 102000 | #Constraints: 35462 124.98/125.32 c INPROCESSING 124.98/125.32 c GARBAGE COLLECT 124.98/125.32 c rational objective 82 132.76/133.18 c #Conflicts: 103000 | #Constraints: 21247 132.76/133.18 c #Conflicts: 104000 | #Constraints: 22247 132.76/133.18 c #Conflicts: 105000 | #Constraints: 23247 132.76/133.18 c #Conflicts: 106000 | #Constraints: 24247 132.76/133.18 c #Conflicts: 107000 | #Constraints: 25247 132.76/133.18 c #Conflicts: 108000 | #Constraints: 26247 132.76/133.18 c #Conflicts: 109000 | #Constraints: 27247 132.76/133.18 c #Conflicts: 110000 | #Constraints: 28247 132.76/133.18 c INPROCESSING 132.76/133.18 c GARBAGE COLLECT 132.76/133.18 c rational objective 82 153.11/153.58 c #Conflicts: 111000 | #Constraints: 18081 153.11/153.58 c #Conflicts: 112000 | #Constraints: 19081 153.11/153.58 c #Conflicts: 113000 | #Constraints: 20081 153.11/153.58 c #Conflicts: 114000 | #Constraints: 21081 153.11/153.58 c #Conflicts: 115000 | #Constraints: 22081 153.11/153.58 c #Conflicts: 116000 | #Constraints: 23082 153.11/153.58 c #Conflicts: 117000 | #Constraints: 24082 153.11/153.58 c INPROCESSING 153.11/153.58 c GARBAGE COLLECT 153.11/153.58 c rational objective 82 175.95/176.41 c #Conflicts: 118000 | #Constraints: 15883 175.95/176.41 c #Conflicts: 119000 | #Constraints: 16883 175.95/176.41 c #Conflicts: 120000 | #Constraints: 17883 175.95/176.41 c #Conflicts: 121000 | #Constraints: 18883 175.95/176.41 c #Conflicts: 122000 | #Constraints: 19884 175.95/176.41 c #Conflicts: 123000 | #Constraints: 20885 175.95/176.41 c #Conflicts: 124000 | #Constraints: 21885 175.95/176.41 c INPROCESSING 175.95/176.41 c GARBAGE COLLECT 175.95/176.41 c #Conflicts: 125000 | #Constraints: 14539 175.95/176.41 c #Conflicts: 126000 | #Constraints: 15539 175.95/176.41 c #Conflicts: 127000 | #Constraints: 16540 175.95/176.41 c #Conflicts: 128000 | #Constraints: 17541 175.95/176.41 c #Conflicts: 129000 | #Constraints: 18541 175.95/176.41 c #Conflicts: 130000 | #Constraints: 19542 175.95/176.41 c #Conflicts: 131000 | #Constraints: 20542 175.95/176.41 c #Conflicts: 132000 | #Constraints: 21542 175.95/176.41 c INPROCESSING 175.95/176.41 c GARBAGE COLLECT 175.95/176.41 c #Conflicts: 133000 | #Constraints: 14510 175.95/176.41 c #Conflicts: 134000 | #Constraints: 15510 175.95/176.41 c #Conflicts: 135000 | #Constraints: 16510 175.95/176.41 c #Conflicts: 136000 | #Constraints: 17510 175.95/176.41 c #Conflicts: 137000 | #Constraints: 18510 175.95/176.41 c #Conflicts: 138000 | #Constraints: 19511 175.95/176.41 c #Conflicts: 139000 | #Constraints: 20511 175.95/176.41 c #Conflicts: 140000 | #Constraints: 21511 175.95/176.41 c INPROCESSING 175.95/176.41 c GARBAGE COLLECT 175.95/176.41 c rational objective 82 218.84/219.40 c #Conflicts: 141000 | #Constraints: 14564 218.84/219.40 c #Conflicts: 142000 | #Constraints: 15564 218.84/219.40 c #Conflicts: 143000 | #Constraints: 16564 218.84/219.40 c #Conflicts: 144000 | #Constraints: 17564 218.84/219.40 c #Conflicts: 145000 | #Constraints: 18564 218.84/219.40 c #Conflicts: 146000 | #Constraints: 19565 218.84/219.40 c #Conflicts: 147000 | #Constraints: 20565 218.84/219.40 c #Conflicts: 148000 | #Constraints: 21565 218.84/219.40 c #Conflicts: 149000 | #Constraints: 22566 218.84/219.40 c #Conflicts: 150000 | #Constraints: 23566 218.84/219.40 c #Conflicts: 151000 | #Constraints: 24566 218.84/219.40 c #Conflicts: 152000 | #Constraints: 25567 218.84/219.40 c #Conflicts: 153000 | #Constraints: 26568 218.84/219.40 c #Conflicts: 154000 | #Constraints: 27568 218.84/219.40 c #Conflicts: 155000 | #Constraints: 28568 218.84/219.40 c #Conflicts: 156000 | #Constraints: 29568 218.84/219.40 c #Conflicts: 157000 | #Constraints: 30568 218.84/219.40 c #Conflicts: 158000 | #Constraints: 31568 218.84/219.40 c #Conflicts: 159000 | #Constraints: 32569 218.84/219.40 c #Conflicts: 160000 | #Constraints: 33569 218.84/219.40 c #Conflicts: 161000 | #Constraints: 34569 218.84/219.40 c #Conflicts: 162000 | #Constraints: 35569 218.84/219.40 c #Conflicts: 163000 | #Constraints: 36570 218.84/219.40 c #Conflicts: 164000 | #Constraints: 37570 218.84/219.40 c #Conflicts: 165000 | #Constraints: 38570 218.84/219.40 c #Conflicts: 166000 | #Constraints: 39570 218.84/219.40 c #Conflicts: 167000 | #Constraints: 40570 218.84/219.40 c #Conflicts: 168000 | #Constraints: 41570 218.84/219.40 c #Conflicts: 169000 | #Constraints: 42570 218.84/219.40 c #Conflicts: 170000 | #Constraints: 43570 218.84/219.40 c #Conflicts: 171000 | #Constraints: 44570 218.84/219.40 c #Conflicts: 172000 | #Constraints: 45570 218.84/219.40 c INPROCESSING 218.84/219.40 c GARBAGE COLLECT 218.84/219.40 c rational objective 82 237.88/238.56 c #Conflicts: 173000 | #Constraints: 26382 237.88/238.56 c #Conflicts: 174000 | #Constraints: 27382 237.88/238.56 c #Conflicts: 175000 | #Constraints: 28382 237.88/238.56 c #Conflicts: 176000 | #Constraints: 29383 237.88/238.56 c #Conflicts: 177000 | #Constraints: 30383 237.88/238.56 c #Conflicts: 178000 | #Constraints: 31383 237.88/238.56 c #Conflicts: 179000 | #Constraints: 32383 237.88/238.56 c #Conflicts: 180000 | #Constraints: 33383 237.88/238.56 c #Conflicts: 181000 | #Constraints: 34384 237.88/238.56 c #Conflicts: 182000 | #Constraints: 35384 237.88/238.56 c INPROCESSING 237.88/238.56 c GARBAGE COLLECT 237.88/238.56 c rational objective 82 249.05/249.79 c #Conflicts: 183000 | #Constraints: 21716 249.05/249.79 c #Conflicts: 184000 | #Constraints: 22716 249.05/249.79 c #Conflicts: 185000 | #Constraints: 23716 249.05/249.79 c #Conflicts: 186000 | #Constraints: 24716 249.05/249.79 c #Conflicts: 187000 | #Constraints: 25716 249.05/249.79 c #Conflicts: 188000 | #Constraints: 26716 249.05/249.79 c #Conflicts: 189000 | #Constraints: 27716 249.05/249.79 c #Conflicts: 190000 | #Constraints: 28716 249.05/249.79 c #Conflicts: 191000 | #Constraints: 29716 249.05/249.79 c INPROCESSING 249.05/249.79 c GARBAGE COLLECT 249.05/249.79 c rational objective 82 260.63/261.38 c #Conflicts: 192000 | #Constraints: 18709 260.63/261.38 c #Conflicts: 193000 | #Constraints: 19711 260.63/261.38 c #Conflicts: 194000 | #Constraints: 20711 260.63/261.38 c #Conflicts: 195000 | #Constraints: 21711 260.63/261.38 c #Conflicts: 196000 | #Constraints: 22711 260.63/261.38 c #Conflicts: 197000 | #Constraints: 23711 260.63/261.38 c #Conflicts: 198000 | #Constraints: 24711 260.63/261.38 c #Conflicts: 199000 | #Constraints: 25711 260.63/261.38 c #Conflicts: 200000 | #Constraints: 26711 260.63/261.38 c #Conflicts: 201000 | #Constraints: 27711 260.63/261.38 c INPROCESSING 260.63/261.38 c GARBAGE COLLECT 260.63/261.38 c rational objective 82 271.00/271.73 c #Conflicts: 202000 | #Constraints: 17879 271.00/271.73 c #Conflicts: 203000 | #Constraints: 18879 271.00/271.73 c #Conflicts: 204000 | #Constraints: 19879 271.00/271.73 c #Conflicts: 205000 | #Constraints: 20881 271.00/271.73 c #Conflicts: 206000 | #Constraints: 21881 271.00/271.73 c #Conflicts: 207000 | #Constraints: 22881 271.00/271.73 c #Conflicts: 208000 | #Constraints: 23881 271.00/271.73 c #Conflicts: 209000 | #Constraints: 24881 271.00/271.73 c #Conflicts: 210000 | #Constraints: 25881 271.00/271.73 c INPROCESSING 271.00/271.73 c GARBAGE COLLECT 271.00/271.73 c rational objective 82 330.03/330.96 c #Conflicts: 211000 | #Constraints: 16599 330.03/330.96 c #Conflicts: 212000 | #Constraints: 17599 330.03/330.96 c #Conflicts: 213000 | #Constraints: 18599 330.03/330.96 c #Conflicts: 214000 | #Constraints: 19599 330.03/330.96 c #Conflicts: 215000 | #Constraints: 20599 330.03/330.96 c #Conflicts: 216000 | #Constraints: 21600 330.03/330.96 c #Conflicts: 217000 | #Constraints: 22600 330.03/330.96 c #Conflicts: 218000 | #Constraints: 23600 330.03/330.96 c #Conflicts: 219000 | #Constraints: 24601 330.03/330.96 c #Conflicts: 220000 | #Constraints: 25601 330.03/330.96 c #Conflicts: 221000 | #Constraints: 26601 330.03/330.96 c #Conflicts: 222000 | #Constraints: 27601 330.03/330.96 c #Conflicts: 223000 | #Constraints: 28601 330.03/330.96 c #Conflicts: 224000 | #Constraints: 29601 330.03/330.96 c #Conflicts: 225000 | #Constraints: 30601 330.03/330.96 c #Conflicts: 226000 | #Constraints: 31601 330.03/330.96 c #Conflicts: 227000 | #Constraints: 32601 330.03/330.96 c #Conflicts: 228000 | #Constraints: 33601 330.03/330.96 c #Conflicts: 229000 | #Constraints: 34601 330.03/330.96 c #Conflicts: 230000 | #Constraints: 35601 330.03/330.96 c #Conflicts: 231000 | #Constraints: 36601 330.03/330.96 c #Conflicts: 232000 | #Constraints: 37601 330.03/330.96 c #Conflicts: 233000 | #Constraints: 38601 330.03/330.96 c #Conflicts: 234000 | #Constraints: 39601 330.03/330.96 c #Conflicts: 235000 | #Constraints: 40601 330.03/330.96 c #Conflicts: 236000 | #Constraints: 41601 330.03/330.96 c #Conflicts: 237000 | #Constraints: 42601 330.03/330.96 c #Conflicts: 238000 | #Constraints: 43601 330.03/330.96 c #Conflicts: 239000 | #Constraints: 44601 330.03/330.96 c #Conflicts: 240000 | #Constraints: 45601 330.03/330.96 c #Conflicts: 241000 | #Constraints: 46601 330.03/330.96 c #Conflicts: 242000 | #Constraints: 47601 330.03/330.96 c #Conflicts: 243000 | #Constraints: 48601 330.03/330.96 c #Conflicts: 244000 | #Constraints: 49602 330.03/330.96 c #Conflicts: 245000 | #Constraints: 50602 330.03/330.96 c #Conflicts: 246000 | #Constraints: 51602 330.03/330.96 c #Conflicts: 247000 | #Constraints: 52602 330.03/330.96 c #Conflicts: 248000 | #Constraints: 53602 330.03/330.96 c #Conflicts: 249000 | #Constraints: 54602 330.03/330.96 c INPROCESSING 330.03/330.96 c GARBAGE COLLECT 330.03/330.96 c rational objective 82 346.68/347.60 c #Conflicts: 250000 | #Constraints: 31061 346.68/347.60 c #Conflicts: 251000 | #Constraints: 32061 346.68/347.60 c #Conflicts: 252000 | #Constraints: 33061 346.68/347.60 c #Conflicts: 253000 | #Constraints: 34061 346.68/347.60 c #Conflicts: 254000 | #Constraints: 35063 346.68/347.60 c #Conflicts: 255000 | #Constraints: 36063 346.68/347.60 c #Conflicts: 256000 | #Constraints: 37063 346.68/347.60 c #Conflicts: 257000 | #Constraints: 38064 346.68/347.60 c #Conflicts: 258000 | #Constraints: 39064 346.68/347.60 c #Conflicts: 259000 | #Constraints: 40065 346.68/347.60 c #Conflicts: 260000 | #Constraints: 41065 346.68/347.60 c INPROCESSING 346.68/347.60 c GARBAGE COLLECT 346.68/347.60 c rational objective 82 357.05/358.08 c #Conflicts: 261000 | #Constraints: 24240 357.05/358.08 c #Conflicts: 262000 | #Constraints: 25240 357.05/358.08 c #Conflicts: 263000 | #Constraints: 26240 357.05/358.08 c #Conflicts: 264000 | #Constraints: 27240 357.05/358.08 c #Conflicts: 265000 | #Constraints: 28240 357.05/358.08 c #Conflicts: 266000 | #Constraints: 29240 357.05/358.08 c #Conflicts: 267000 | #Constraints: 30240 357.05/358.08 c #Conflicts: 268000 | #Constraints: 31240 357.05/358.08 c #Conflicts: 269000 | #Constraints: 32240 357.05/358.08 c #Conflicts: 270000 | #Constraints: 33240 357.05/358.08 c #Conflicts: 271000 | #Constraints: 34240 357.05/358.08 c #Conflicts: 272000 | #Constraints: 35240 357.05/358.08 c INPROCESSING 357.05/358.08 c GARBAGE COLLECT 357.05/358.08 c rational objective 82 373.60/374.67 c #Conflicts: 273000 | #Constraints: 21675 373.60/374.67 c #Conflicts: 274000 | #Constraints: 22675 373.60/374.67 c #Conflicts: 275000 | #Constraints: 23675 373.60/374.67 c #Conflicts: 276000 | #Constraints: 24675 373.60/374.67 c #Conflicts: 277000 | #Constraints: 25675 373.60/374.67 c #Conflicts: 278000 | #Constraints: 26675 373.60/374.67 c #Conflicts: 279000 | #Constraints: 27675 373.60/374.67 c #Conflicts: 280000 | #Constraints: 28675 373.60/374.67 c #Conflicts: 281000 | #Constraints: 29675 373.60/374.67 c #Conflicts: 282000 | #Constraints: 30675 373.60/374.67 c #Conflicts: 283000 | #Constraints: 31676 373.60/374.67 c INPROCESSING 373.60/374.67 c GARBAGE COLLECT 373.60/374.67 c rational objective 82 389.97/391.00 c #Conflicts: 284000 | #Constraints: 19666 389.97/391.00 c #Conflicts: 285000 | #Constraints: 20666 389.97/391.00 c #Conflicts: 286000 | #Constraints: 21666 389.97/391.00 c #Conflicts: 287000 | #Constraints: 22666 389.97/391.00 c #Conflicts: 288000 | #Constraints: 23666 389.97/391.00 c #Conflicts: 289000 | #Constraints: 24666 389.97/391.00 c #Conflicts: 290000 | #Constraints: 25667 389.97/391.00 c #Conflicts: 291000 | #Constraints: 26667 389.97/391.00 c #Conflicts: 292000 | #Constraints: 27667 389.97/391.00 c #Conflicts: 293000 | #Constraints: 28667 389.97/391.00 c #Conflicts: 294000 | #Constraints: 29668 389.97/391.00 c #Conflicts: 295000 | #Constraints: 30668 389.97/391.00 c INPROCESSING 389.97/391.00 c GARBAGE COLLECT 389.97/391.00 c rational objective 82 465.93/467.26 c #Conflicts: 296000 | #Constraints: 19341 465.93/467.26 c #Conflicts: 297000 | #Constraints: 20341 465.93/467.26 c #Conflicts: 298000 | #Constraints: 21341 465.93/467.26 c #Conflicts: 299000 | #Constraints: 22341 465.93/467.26 c #Conflicts: 300000 | #Constraints: 23341 465.93/467.26 c #Conflicts: 301000 | #Constraints: 24342 465.93/467.26 c #Conflicts: 302000 | #Constraints: 25342 465.93/467.26 c #Conflicts: 303000 | #Constraints: 26342 465.93/467.26 c #Conflicts: 304000 | #Constraints: 27342 465.93/467.26 c #Conflicts: 305000 | #Constraints: 28342 465.93/467.26 c #Conflicts: 306000 | #Constraints: 29343 465.93/467.26 c #Conflicts: 307000 | #Constraints: 30343 465.93/467.26 c #Conflicts: 308000 | #Constraints: 31343 465.93/467.26 c #Conflicts: 309000 | #Constraints: 32343 465.93/467.26 c #Conflicts: 310000 | #Constraints: 33343 465.93/467.26 c #Conflicts: 311000 | #Constraints: 34343 465.93/467.26 c #Conflicts: 312000 | #Constraints: 35343 465.93/467.26 c #Conflicts: 313000 | #Constraints: 36343 465.93/467.26 c #Conflicts: 314000 | #Constraints: 37343 465.93/467.26 c #Conflicts: 315000 | #Constraints: 38343 465.93/467.26 c #Conflicts: 316000 | #Constraints: 39343 465.93/467.26 c #Conflicts: 317000 | #Constraints: 40343 465.93/467.26 c #Conflicts: 318000 | #Constraints: 41343 465.93/467.26 c #Conflicts: 319000 | #Constraints: 42344 465.93/467.26 c #Conflicts: 320000 | #Constraints: 43344 465.93/467.26 c #Conflicts: 321000 | #Constraints: 44345 465.93/467.26 c #Conflicts: 322000 | #Constraints: 45345 465.93/467.26 c #Conflicts: 323000 | #Constraints: 46345 465.93/467.26 c #Conflicts: 324000 | #Constraints: 47345 465.93/467.26 c #Conflicts: 325000 | #Constraints: 48345 465.93/467.26 c #Conflicts: 326000 | #Constraints: 49345 465.93/467.26 c #Conflicts: 327000 | #Constraints: 50345 465.93/467.26 c #Conflicts: 328000 | #Constraints: 51345 465.93/467.26 c #Conflicts: 329000 | #Constraints: 52346 465.93/467.26 c #Conflicts: 330000 | #Constraints: 53346 465.93/467.26 c #Conflicts: 331000 | #Constraints: 54346 465.93/467.26 c #Conflicts: 332000 | #Constraints: 55347 465.93/467.26 c #Conflicts: 333000 | #Constraints: 56347 465.93/467.26 c #Conflicts: 334000 | #Constraints: 57347 465.93/467.26 c #Conflicts: 335000 | #Constraints: 58347 465.93/467.26 c #Conflicts: 336000 | #Constraints: 59347 465.93/467.26 c #Conflicts: 337000 | #Constraints: 60347 465.93/467.26 c #Conflicts: 338000 | #Constraints: 61347 465.93/467.26 c #Conflicts: 339000 | #Constraints: 62347 465.93/467.26 c #Conflicts: 340000 | #Constraints: 63347 465.93/467.26 c INPROCESSING 465.93/467.26 c GARBAGE COLLECT 465.93/467.26 c rational objective 82 492.06/493.47 c #Conflicts: 341000 | #Constraints: 35595 492.06/493.47 c #Conflicts: 342000 | #Constraints: 36595 492.06/493.47 c #Conflicts: 343000 | #Constraints: 37595 492.06/493.47 c #Conflicts: 344000 | #Constraints: 38595 492.06/493.47 c #Conflicts: 345000 | #Constraints: 39595 492.06/493.47 c #Conflicts: 346000 | #Constraints: 40595 492.06/493.47 c #Conflicts: 347000 | #Constraints: 41595 492.06/493.47 c #Conflicts: 348000 | #Constraints: 42595 492.06/493.47 c #Conflicts: 349000 | #Constraints: 43595 492.06/493.47 c #Conflicts: 350000 | #Constraints: 44595 492.06/493.47 c #Conflicts: 351000 | #Constraints: 45595 492.06/493.47 c #Conflicts: 352000 | #Constraints: 46596 492.06/493.47 c #Conflicts: 353000 | #Constraints: 47596 492.06/493.47 c INPROCESSING 492.06/493.47 c GARBAGE COLLECT 492.06/493.47 c rational objective 82 512.90/514.37 c #Conflicts: 354000 | #Constraints: 27714 512.90/514.37 c #Conflicts: 355000 | #Constraints: 28714 512.90/514.37 c #Conflicts: 356000 | #Constraints: 29714 512.90/514.37 c #Conflicts: 357000 | #Constraints: 30715 512.90/514.37 c #Conflicts: 358000 | #Constraints: 31715 512.90/514.37 c #Conflicts: 359000 | #Constraints: 32715 512.90/514.37 c #Conflicts: 360000 | #Constraints: 33715 512.90/514.37 c #Conflicts: 361000 | #Constraints: 34715 512.90/514.37 c #Conflicts: 362000 | #Constraints: 35715 512.90/514.37 c #Conflicts: 363000 | #Constraints: 36715 512.90/514.37 c #Conflicts: 364000 | #Constraints: 37716 512.90/514.37 c #Conflicts: 365000 | #Constraints: 38716 512.90/514.37 c #Conflicts: 366000 | #Constraints: 39716 512.90/514.37 c INPROCESSING 512.90/514.37 c GARBAGE COLLECT 512.90/514.37 c rational objective 82 531.55/533.03 c #Conflicts: 367000 | #Constraints: 23662 531.55/533.03 c #Conflicts: 368000 | #Constraints: 24662 531.55/533.03 c #Conflicts: 369000 | #Constraints: 25662 531.55/533.03 c #Conflicts: 370000 | #Constraints: 26662 531.55/533.03 c #Conflicts: 371000 | #Constraints: 27662 531.55/533.03 c #Conflicts: 372000 | #Constraints: 28662 531.55/533.03 c #Conflicts: 373000 | #Constraints: 29662 531.55/533.03 c #Conflicts: 374000 | #Constraints: 30662 531.55/533.03 c #Conflicts: 375000 | #Constraints: 31663 531.55/533.03 c #Conflicts: 376000 | #Constraints: 32663 531.55/533.03 c #Conflicts: 377000 | #Constraints: 33663 531.55/533.03 c #Conflicts: 378000 | #Constraints: 34664 531.55/533.03 c #Conflicts: 379000 | #Constraints: 35664 531.55/533.03 c #Conflicts: 380000 | #Constraints: 36664 531.55/533.03 c INPROCESSING 531.55/533.03 c GARBAGE COLLECT 531.55/533.03 c rational objective 82 547.20/548.71 c #Conflicts: 381000 | #Constraints: 22451 547.20/548.71 c #Conflicts: 382000 | #Constraints: 23451 547.20/548.71 c #Conflicts: 383000 | #Constraints: 24451 547.20/548.71 c #Conflicts: 384000 | #Constraints: 25451 547.20/548.71 c #Conflicts: 385000 | #Constraints: 26451 547.20/548.71 c #Conflicts: 386000 | #Constraints: 27451 547.20/548.71 c #Conflicts: 387000 | #Constraints: 28451 547.20/548.71 c #Conflicts: 388000 | #Constraints: 29451 547.20/548.71 c #Conflicts: 389000 | #Constraints: 30451 547.20/548.71 c #Conflicts: 390000 | #Constraints: 31452 547.20/548.71 c #Conflicts: 391000 | #Constraints: 32452 547.20/548.71 c #Conflicts: 392000 | #Constraints: 33452 547.20/548.71 c #Conflicts: 393000 | #Constraints: 34452 547.20/548.71 c INPROCESSING 547.20/548.71 c GARBAGE COLLECT 547.20/548.71 c rational objective 82 646.50/648.33 c #Conflicts: 394000 | #Constraints: 20981 646.50/648.33 c #Conflicts: 395000 | #Constraints: 21981 646.50/648.33 c #Conflicts: 396000 | #Constraints: 22981 646.50/648.33 c #Conflicts: 397000 | #Constraints: 23981 646.50/648.33 c #Conflicts: 398000 | #Constraints: 24981 646.50/648.33 c #Conflicts: 399000 | #Constraints: 25981 646.50/648.33 c #Conflicts: 400000 | #Constraints: 26981 646.50/648.33 c #Conflicts: 401000 | #Constraints: 27981 646.50/648.33 c #Conflicts: 402000 | #Constraints: 28982 646.50/648.33 c #Conflicts: 403000 | #Constraints: 29982 646.50/648.33 c #Conflicts: 404000 | #Constraints: 30983 646.50/648.33 c #Conflicts: 405000 | #Constraints: 31983 646.50/648.33 c #Conflicts: 406000 | #Constraints: 32984 646.50/648.33 c #Conflicts: 407000 | #Constraints: 33984 646.50/648.33 c #Conflicts: 408000 | #Constraints: 34984 646.50/648.33 c #Conflicts: 409000 | #Constraints: 35984 646.50/648.33 c #Conflicts: 410000 | #Constraints: 36984 646.50/648.33 c #Conflicts: 411000 | #Constraints: 37984 646.50/648.33 c #Conflicts: 412000 | #Constraints: 38984 646.50/648.33 c #Conflicts: 413000 | #Constraints: 39984 646.50/648.33 c #Conflicts: 414000 | #Constraints: 40984 646.50/648.33 c #Conflicts: 415000 | #Constraints: 41984 646.50/648.33 c #Conflicts: 416000 | #Constraints: 42985 646.50/648.33 c #Conflicts: 417000 | #Constraints: 43985 646.50/648.33 c #Conflicts: 418000 | #Constraints: 44985 646.50/648.33 c #Conflicts: 419000 | #Constraints: 45985 646.50/648.33 c #Conflicts: 420000 | #Constraints: 46985 646.50/648.33 c #Conflicts: 421000 | #Constraints: 47985 646.50/648.33 c #Conflicts: 422000 | #Constraints: 48985 646.50/648.33 c #Conflicts: 423000 | #Constraints: 49985 646.50/648.33 c #Conflicts: 424000 | #Constraints: 50985 646.50/648.33 c #Conflicts: 425000 | #Constraints: 51985 646.50/648.33 c #Conflicts: 426000 | #Constraints: 52985 646.50/648.33 c #Conflicts: 427000 | #Constraints: 53985 646.50/648.33 c #Conflicts: 428000 | #Constraints: 54986 646.50/648.33 c #Conflicts: 429000 | #Constraints: 55986 646.50/648.33 c #Conflicts: 430000 | #Constraints: 56987 646.50/648.33 c #Conflicts: 431000 | #Constraints: 57987 646.50/648.33 c #Conflicts: 432000 | #Constraints: 58987 646.50/648.33 c #Conflicts: 433000 | #Constraints: 59987 646.50/648.33 c #Conflicts: 434000 | #Constraints: 60987 646.50/648.33 c #Conflicts: 435000 | #Constraints: 61987 646.50/648.33 c #Conflicts: 436000 | #Constraints: 62987 646.50/648.33 c #Conflicts: 437000 | #Constraints: 63987 646.50/648.33 c #Conflicts: 438000 | #Constraints: 64987 646.50/648.33 c #Conflicts: 439000 | #Constraints: 65987 646.50/648.33 c #Conflicts: 440000 | #Constraints: 66987 646.50/648.33 c #Conflicts: 441000 | #Constraints: 67987 646.50/648.33 c #Conflicts: 442000 | #Constraints: 68987 646.50/648.33 c #Conflicts: 443000 | #Constraints: 69987 646.50/648.33 c #Conflicts: 444000 | #Constraints: 70987 646.50/648.33 c #Conflicts: 445000 | #Constraints: 71987 646.50/648.33 c INPROCESSING 646.50/648.33 c GARBAGE COLLECT 646.50/648.33 c rational objective 82 677.11/679.06 c #Conflicts: 446000 | #Constraints: 40041 677.11/679.06 c #Conflicts: 447000 | #Constraints: 41041 677.11/679.06 c #Conflicts: 448000 | #Constraints: 42041 677.11/679.06 c #Conflicts: 449000 | #Constraints: 43042 677.11/679.06 c #Conflicts: 450000 | #Constraints: 44042 677.11/679.06 c #Conflicts: 451000 | #Constraints: 45042 677.11/679.06 c #Conflicts: 452000 | #Constraints: 46042 677.11/679.06 c #Conflicts: 453000 | #Constraints: 47042 677.11/679.06 c #Conflicts: 454000 | #Constraints: 48042 677.11/679.06 c #Conflicts: 455000 | #Constraints: 49042 677.11/679.06 c #Conflicts: 456000 | #Constraints: 50042 677.11/679.06 c #Conflicts: 457000 | #Constraints: 51042 677.11/679.06 c #Conflicts: 458000 | #Constraints: 52042 677.11/679.06 c #Conflicts: 459000 | #Constraints: 53042 677.11/679.06 c #Conflicts: 460000 | #Constraints: 54042 677.11/679.06 c INPROCESSING 677.11/679.06 c GARBAGE COLLECT 677.11/679.06 c rational objective 82 707.12/709.19 c #Conflicts: 461000 | #Constraints: 31110 707.12/709.19 c #Conflicts: 462000 | #Constraints: 32110 707.12/709.19 c #Conflicts: 463000 | #Constraints: 33110 707.12/709.19 c #Conflicts: 464000 | #Constraints: 34110 707.12/709.19 c #Conflicts: 465000 | #Constraints: 35110 707.12/709.19 c #Conflicts: 466000 | #Constraints: 36110 707.12/709.19 c #Conflicts: 467000 | #Constraints: 37110 707.12/709.19 c #Conflicts: 468000 | #Constraints: 38110 707.12/709.19 c #Conflicts: 469000 | #Constraints: 39110 707.12/709.19 c #Conflicts: 470000 | #Constraints: 40110 707.12/709.19 c #Conflicts: 471000 | #Constraints: 41111 707.12/709.19 c #Conflicts: 472000 | #Constraints: 42111 707.12/709.19 c #Conflicts: 473000 | #Constraints: 43111 707.12/709.19 c #Conflicts: 474000 | #Constraints: 44111 707.12/709.19 c #Conflicts: 475000 | #Constraints: 45111 707.12/709.19 c INPROCESSING 707.12/709.19 c GARBAGE COLLECT 707.12/709.19 c rational objective 82 734.54/736.66 c #Conflicts: 476000 | #Constraints: 26577 734.54/736.66 c #Conflicts: 477000 | #Constraints: 27577 734.54/736.66 c #Conflicts: 478000 | #Constraints: 28577 734.54/736.66 c #Conflicts: 479000 | #Constraints: 29577 734.54/736.66 c #Conflicts: 480000 | #Constraints: 30577 734.54/736.66 c #Conflicts: 481000 | #Constraints: 31577 734.54/736.66 c #Conflicts: 482000 | #Constraints: 32577 734.54/736.66 c #Conflicts: 483000 | #Constraints: 33578 734.54/736.66 c #Conflicts: 484000 | #Constraints: 34578 734.54/736.66 c #Conflicts: 485000 | #Constraints: 35578 734.54/736.66 c #Conflicts: 486000 | #Constraints: 36578 734.54/736.66 c #Conflicts: 487000 | #Constraints: 37578 734.54/736.66 c #Conflicts: 488000 | #Constraints: 38578 734.54/736.66 c #Conflicts: 489000 | #Constraints: 39578 734.54/736.66 c #Conflicts: 490000 | #Constraints: 40578 734.54/736.66 c INPROCESSING 734.54/736.66 c GARBAGE COLLECT 734.54/736.66 c rational objective 82 762.87/765.09 c #Conflicts: 491000 | #Constraints: 24182 762.87/765.09 c #Conflicts: 492000 | #Constraints: 25182 762.87/765.09 c #Conflicts: 493000 | #Constraints: 26182 762.87/765.09 c #Conflicts: 494000 | #Constraints: 27182 762.87/765.09 c #Conflicts: 495000 | #Constraints: 28182 762.87/765.09 c #Conflicts: 496000 | #Constraints: 29182 762.87/765.09 c #Conflicts: 497000 | #Constraints: 30182 762.87/765.09 c #Conflicts: 498000 | #Constraints: 31182 762.87/765.09 c #Conflicts: 499000 | #Constraints: 32182 762.87/765.09 c #Conflicts: 500000 | #Constraints: 33182 762.87/765.09 c #Conflicts: 501000 | #Constraints: 34182 762.87/765.09 c #Conflicts: 502000 | #Constraints: 35182 762.87/765.09 c #Conflicts: 503000 | #Constraints: 36182 762.87/765.09 c #Conflicts: 504000 | #Constraints: 37182 762.87/765.09 c #Conflicts: 505000 | #Constraints: 38183 762.87/765.09 c #Conflicts: 506000 | #Constraints: 39183 762.87/765.09 c INPROCESSING 762.87/765.09 c GARBAGE COLLECT 762.87/765.09 c rational objective 82 869.54/872.08 c #Conflicts: 507000 | #Constraints: 23727 869.54/872.08 c #Conflicts: 508000 | #Constraints: 24727 869.54/872.08 c #Conflicts: 509000 | #Constraints: 25727 869.54/872.08 c #Conflicts: 510000 | #Constraints: 26727 869.54/872.08 c #Conflicts: 511000 | #Constraints: 27727 869.54/872.08 c #Conflicts: 512000 | #Constraints: 28727 869.54/872.08 c #Conflicts: 513000 | #Constraints: 29727 869.54/872.08 c #Conflicts: 514000 | #Constraints: 30727 869.54/872.08 c #Conflicts: 515000 | #Constraints: 31727 869.54/872.08 c #Conflicts: 516000 | #Constraints: 32727 869.54/872.08 c #Conflicts: 517000 | #Constraints: 33727 869.54/872.08 c #Conflicts: 518000 | #Constraints: 34728 869.54/872.08 c #Conflicts: 519000 | #Constraints: 35728 869.54/872.08 c #Conflicts: 520000 | #Constraints: 36728 869.54/872.08 c #Conflicts: 521000 | #Constraints: 37728 869.54/872.08 c #Conflicts: 522000 | #Constraints: 38728 869.54/872.08 c #Conflicts: 523000 | #Constraints: 39728 869.54/872.08 c #Conflicts: 524000 | #Constraints: 40728 869.54/872.08 c #Conflicts: 525000 | #Constraints: 41728 869.54/872.08 c #Conflicts: 526000 | #Constraints: 42728 869.54/872.08 c #Conflicts: 527000 | #Constraints: 43728 869.54/872.08 c #Conflicts: 528000 | #Constraints: 44728 869.54/872.08 c #Conflicts: 529000 | #Constraints: 45728 869.54/872.08 c #Conflicts: 530000 | #Constraints: 46728 869.54/872.08 c #Conflicts: 531000 | #Constraints: 47728 869.54/872.08 c #Conflicts: 532000 | #Constraints: 48728 869.54/872.08 c #Conflicts: 533000 | #Constraints: 49728 869.54/872.08 c #Conflicts: 534000 | #Constraints: 50728 869.54/872.08 c #Conflicts: 535000 | #Constraints: 51728 869.54/872.08 c #Conflicts: 536000 | #Constraints: 52728 869.54/872.08 c #Conflicts: 537000 | #Constraints: 53728 869.54/872.08 c #Conflicts: 538000 | #Constraints: 54728 869.54/872.08 c #Conflicts: 539000 | #Constraints: 55729 869.54/872.08 c #Conflicts: 540000 | #Constraints: 56729 869.54/872.08 c #Conflicts: 541000 | #Constraints: 57729 869.54/872.08 c #Conflicts: 542000 | #Constraints: 58730 869.54/872.08 c #Conflicts: 543000 | #Constraints: 59730 869.54/872.08 c #Conflicts: 544000 | #Constraints: 60730 869.54/872.08 c #Conflicts: 545000 | #Constraints: 61730 869.54/872.08 c #Conflicts: 546000 | #Constraints: 62730 869.54/872.08 c #Conflicts: 547000 | #Constraints: 63730 869.54/872.08 c #Conflicts: 548000 | #Constraints: 64730 869.54/872.08 c #Conflicts: 549000 | #Constraints: 65730 869.54/872.08 c #Conflicts: 550000 | #Constraints: 66730 869.54/872.08 c #Conflicts: 551000 | #Constraints: 67730 869.54/872.08 c #Conflicts: 552000 | #Constraints: 68730 869.54/872.08 c #Conflicts: 553000 | #Constraints: 69731 869.54/872.08 c #Conflicts: 554000 | #Constraints: 70731 869.54/872.08 c #Conflicts: 555000 | #Constraints: 71731 869.54/872.08 c #Conflicts: 556000 | #Constraints: 72731 869.54/872.08 c #Conflicts: 557000 | #Constraints: 73731 869.54/872.08 c #Conflicts: 558000 | #Constraints: 74731 869.54/872.08 c #Conflicts: 559000 | #Constraints: 75732 869.54/872.08 c #Conflicts: 560000 | #Constraints: 76732 869.54/872.08 c #Conflicts: 561000 | #Constraints: 77732 869.54/872.08 c #Conflicts: 562000 | #Constraints: 78732 869.54/872.08 c #Conflicts: 563000 | #Constraints: 79732 869.54/872.08 c #Conflicts: 564000 | #Constraints: 80732 869.54/872.08 c INPROCESSING 869.54/872.08 c GARBAGE COLLECT 869.54/872.08 c rational objective 82 900.34/902.95 c #Conflicts: 565000 | #Constraints: 44508 900.34/902.95 c #Conflicts: 566000 | #Constraints: 45508 900.34/902.95 c #Conflicts: 567000 | #Constraints: 46508 900.34/902.95 c #Conflicts: 568000 | #Constraints: 47508 900.34/902.95 c #Conflicts: 569000 | #Constraints: 48508 900.34/902.95 c #Conflicts: 570000 | #Constraints: 49508 900.34/902.95 c #Conflicts: 571000 | #Constraints: 50508 900.34/902.95 c #Conflicts: 572000 | #Constraints: 51508 900.34/902.95 c #Conflicts: 573000 | #Constraints: 52508 900.34/902.95 c #Conflicts: 574000 | #Constraints: 53508 900.34/902.95 c #Conflicts: 575000 | #Constraints: 54508 900.34/902.95 c #Conflicts: 576000 | #Constraints: 55509 900.34/902.95 c #Conflicts: 577000 | #Constraints: 56509 900.34/902.95 c #Conflicts: 578000 | #Constraints: 57510 900.34/902.95 c #Conflicts: 579000 | #Constraints: 58510 900.34/902.95 c #Conflicts: 580000 | #Constraints: 59510 900.34/902.95 c INPROCESSING 900.34/902.95 c GARBAGE COLLECT 900.34/902.95 c rational objective 82 931.47/934.19 c #Conflicts: 581000 | #Constraints: 33516 931.47/934.19 c #Conflicts: 582000 | #Constraints: 34516 931.47/934.19 c #Conflicts: 583000 | #Constraints: 35516 931.47/934.19 c #Conflicts: 584000 | #Constraints: 36517 931.47/934.19 c #Conflicts: 585000 | #Constraints: 37517 931.47/934.19 c #Conflicts: 586000 | #Constraints: 38517 931.47/934.19 c #Conflicts: 587000 | #Constraints: 39517 931.47/934.19 c #Conflicts: 588000 | #Constraints: 40517 931.47/934.19 c #Conflicts: 589000 | #Constraints: 41517 931.47/934.19 c #Conflicts: 590000 | #Constraints: 42518 931.47/934.19 c #Conflicts: 591000 | #Constraints: 43518 931.47/934.19 c #Conflicts: 592000 | #Constraints: 44518 931.47/934.19 c #Conflicts: 593000 | #Constraints: 45518 931.47/934.19 c #Conflicts: 594000 | #Constraints: 46518 931.47/934.19 c #Conflicts: 595000 | #Constraints: 47518 931.47/934.19 c #Conflicts: 596000 | #Constraints: 48518 931.47/934.19 c #Conflicts: 597000 | #Constraints: 49518 931.47/934.19 c INPROCESSING 931.47/934.19 c GARBAGE COLLECT 931.47/934.19 c rational objective 82 956.68/959.43 c #Conflicts: 598000 | #Constraints: 28513 956.68/959.43 c #Conflicts: 599000 | #Constraints: 29513 956.68/959.43 c #Conflicts: 600000 | #Constraints: 30513 956.68/959.43 c #Conflicts: 601000 | #Constraints: 31513 956.68/959.43 c #Conflicts: 602000 | #Constraints: 32514 956.68/959.43 c #Conflicts: 603000 | #Constraints: 33514 956.68/959.43 c #Conflicts: 604000 | #Constraints: 34514 956.68/959.43 c #Conflicts: 605000 | #Constraints: 35514 956.68/959.43 c #Conflicts: 606000 | #Constraints: 36514 956.68/959.43 c #Conflicts: 607000 | #Constraints: 37514 956.68/959.43 c #Conflicts: 608000 | #Constraints: 38514 956.68/959.43 c #Conflicts: 609000 | #Constraints: 39514 956.68/959.43 c #Conflicts: 610000 | #Constraints: 40514 956.68/959.43 c #Conflicts: 611000 | #Constraints: 41514 956.68/959.43 c #Conflicts: 612000 | #Constraints: 42514 956.68/959.43 c #Conflicts: 613000 | #Constraints: 43514 956.68/959.43 c #Conflicts: 614000 | #Constraints: 44514 956.68/959.43 c #Conflicts: 615000 | #Constraints: 45514 956.68/959.43 c INPROCESSING 956.68/959.43 c GARBAGE COLLECT 956.68/959.43 c rational objective 82 975.13/978.00 c #Conflicts: 616000 | #Constraints: 26904 975.13/978.00 c #Conflicts: 617000 | #Constraints: 27904 975.13/978.00 c #Conflicts: 618000 | #Constraints: 28904 975.13/978.00 c #Conflicts: 619000 | #Constraints: 29904 975.13/978.00 c #Conflicts: 620000 | #Constraints: 30904 975.13/978.00 c #Conflicts: 621000 | #Constraints: 31904 975.13/978.00 c #Conflicts: 622000 | #Constraints: 32904 975.13/978.00 c #Conflicts: 623000 | #Constraints: 33905 975.13/978.00 c #Conflicts: 624000 | #Constraints: 34905 975.13/978.00 c #Conflicts: 625000 | #Constraints: 35906 975.13/978.00 c #Conflicts: 626000 | #Constraints: 36906 975.13/978.00 c #Conflicts: 627000 | #Constraints: 37907 975.13/978.00 c #Conflicts: 628000 | #Constraints: 38907 975.13/978.00 c #Conflicts: 629000 | #Constraints: 39907 975.13/978.00 c #Conflicts: 630000 | #Constraints: 40907 975.13/978.00 c #Conflicts: 631000 | #Constraints: 41907 975.13/978.00 c #Conflicts: 632000 | #Constraints: 42907 975.13/978.00 c INPROCESSING 975.13/978.00 c GARBAGE COLLECT 975.13/978.00 c rational objective 82 1120.09/1123.33 c #Conflicts: 633000 | #Constraints: 25401 1120.09/1123.33 c #Conflicts: 634000 | #Constraints: 26401 1120.09/1123.33 c #Conflicts: 635000 | #Constraints: 27401 1120.09/1123.33 c #Conflicts: 636000 | #Constraints: 28401 1120.09/1123.33 c #Conflicts: 637000 | #Constraints: 29401 1120.09/1123.33 c #Conflicts: 638000 | #Constraints: 30401 1120.09/1123.33 c #Conflicts: 639000 | #Constraints: 31401 1120.09/1123.33 c #Conflicts: 640000 | #Constraints: 32402 1120.09/1123.33 c #Conflicts: 641000 | #Constraints: 33402 1120.09/1123.33 c #Conflicts: 642000 | #Constraints: 34402 1120.09/1123.33 c #Conflicts: 643000 | #Constraints: 35402 1120.09/1123.33 c #Conflicts: 644000 | #Constraints: 36402 1120.09/1123.33 c #Conflicts: 645000 | #Constraints: 37402 1120.09/1123.33 c #Conflicts: 646000 | #Constraints: 38403 1120.09/1123.33 c #Conflicts: 647000 | #Constraints: 39403 1120.09/1123.33 c #Conflicts: 648000 | #Constraints: 40403 1120.09/1123.33 c #Conflicts: 649000 | #Constraints: 41404 1120.09/1123.33 c #Conflicts: 650000 | #Constraints: 42404 1120.09/1123.33 c #Conflicts: 651000 | #Constraints: 43404 1120.09/1123.33 c #Conflicts: 652000 | #Constraints: 44404 1120.09/1123.33 c #Conflicts: 653000 | #Constraints: 45405 1120.09/1123.33 c #Conflicts: 654000 | #Constraints: 46405 1120.09/1123.33 c #Conflicts: 655000 | #Constraints: 47405 1120.09/1123.33 c #Conflicts: 656000 | #Constraints: 48405 1120.09/1123.33 c #Conflicts: 657000 | #Constraints: 49405 1120.09/1123.33 c #Conflicts: 658000 | #Constraints: 50405 1120.09/1123.33 c #Conflicts: 659000 | #Constraints: 51405 1120.09/1123.33 c #Conflicts: 660000 | #Constraints: 52406 1120.09/1123.33 c #Conflicts: 661000 | #Constraints: 53406 1120.09/1123.33 c #Conflicts: 662000 | #Constraints: 54406 1120.09/1123.33 c #Conflicts: 663000 | #Constraints: 55406 1120.09/1123.33 c #Conflicts: 664000 | #Constraints: 56406 1120.09/1123.33 c #Conflicts: 665000 | #Constraints: 57407 1120.09/1123.33 c #Conflicts: 666000 | #Constraints: 58407 1120.09/1123.33 c #Conflicts: 667000 | #Constraints: 59407 1120.09/1123.33 c #Conflicts: 668000 | #Constraints: 60407 1120.09/1123.33 c #Conflicts: 669000 | #Constraints: 61408 1120.09/1123.33 c #Conflicts: 670000 | #Constraints: 62408 1120.09/1123.33 c #Conflicts: 671000 | #Constraints: 63409 1120.09/1123.33 c #Conflicts: 672000 | #Constraints: 64409 1120.09/1123.33 c #Conflicts: 673000 | #Constraints: 65409 1120.09/1123.33 c #Conflicts: 674000 | #Constraints: 66409 1120.09/1123.33 c #Conflicts: 675000 | #Constraints: 67409 1120.09/1123.33 c #Conflicts: 676000 | #Constraints: 68410 1120.09/1123.33 c #Conflicts: 677000 | #Constraints: 69410 1120.09/1123.33 c #Conflicts: 678000 | #Constraints: 70410 1120.09/1123.33 c #Conflicts: 679000 | #Constraints: 71411 1120.09/1123.33 c #Conflicts: 680000 | #Constraints: 72411 1120.09/1123.33 c #Conflicts: 681000 | #Constraints: 73411 1120.09/1123.33 c #Conflicts: 682000 | #Constraints: 74411 1120.09/1123.33 c #Conflicts: 683000 | #Constraints: 75411 1120.09/1123.33 c #Conflicts: 684000 | #Constraints: 76411 1120.09/1123.33 c #Conflicts: 685000 | #Constraints: 77411 1120.09/1123.33 c #Conflicts: 686000 | #Constraints: 78412 1120.09/1123.33 c #Conflicts: 687000 | #Constraints: 79412 1120.09/1123.33 c #Conflicts: 688000 | #Constraints: 80412 1120.09/1123.33 c #Conflicts: 689000 | #Constraints: 81412 1120.09/1123.33 c #Conflicts: 690000 | #Constraints: 82413 1120.09/1123.33 c #Conflicts: 691000 | #Constraints: 83413 1120.09/1123.33 c #Conflicts: 692000 | #Constraints: 84413 1120.09/1123.33 c #Conflicts: 693000 | #Constraints: 85413 1120.09/1123.33 c #Conflicts: 694000 | #Constraints: 86413 1120.09/1123.33 c #Conflicts: 695000 | #Constraints: 87413 1120.09/1123.33 c #Conflicts: 696000 | #Constraints: 88413 1120.09/1123.33 c INPROCESSING 1120.09/1123.33 c GARBAGE COLLECT 1120.09/1123.33 c rational objective 82 1164.15/1167.53 c #Conflicts: 697000 | #Constraints: 48026 1164.15/1167.53 c #Conflicts: 698000 | #Constraints: 49026 1164.15/1167.53 c #Conflicts: 699000 | #Constraints: 50026 1164.15/1167.53 c #Conflicts: 700000 | #Constraints: 51026 1164.15/1167.53 c #Conflicts: 701000 | #Constraints: 52026 1164.15/1167.53 c #Conflicts: 702000 | #Constraints: 53026 1164.15/1167.53 c #Conflicts: 703000 | #Constraints: 54026 1164.15/1167.53 c #Conflicts: 704000 | #Constraints: 55029 1164.15/1167.53 c #Conflicts: 705000 | #Constraints: 56030 1164.15/1167.53 c #Conflicts: 706000 | #Constraints: 57031 1164.15/1167.53 c #Conflicts: 707000 | #Constraints: 58031 1164.15/1167.53 c #Conflicts: 708000 | #Constraints: 59031 1164.15/1167.53 c #Conflicts: 709000 | #Constraints: 60031 1164.15/1167.53 c #Conflicts: 710000 | #Constraints: 61031 1164.15/1167.53 c #Conflicts: 711000 | #Constraints: 62031 1164.15/1167.53 c #Conflicts: 712000 | #Constraints: 63031 1164.15/1167.53 c #Conflicts: 713000 | #Constraints: 64031 1164.15/1167.53 c #Conflicts: 714000 | #Constraints: 65031 1164.15/1167.53 c #Conflicts: 715000 | #Constraints: 66031 1164.15/1167.53 c INPROCESSING 1164.15/1167.53 c GARBAGE COLLECT 1164.15/1167.53 c rational objective 82 1206.13/1209.68 c #Conflicts: 716000 | #Constraints: 36966 1206.13/1209.68 c #Conflicts: 717000 | #Constraints: 37966 1206.13/1209.68 c #Conflicts: 718000 | #Constraints: 38966 1206.13/1209.68 c #Conflicts: 719000 | #Constraints: 39966 1206.13/1209.68 c #Conflicts: 720000 | #Constraints: 40966 1206.13/1209.68 c #Conflicts: 721000 | #Constraints: 41966 1206.13/1209.68 c #Conflicts: 722000 | #Constraints: 42967 1206.13/1209.68 c #Conflicts: 723000 | #Constraints: 43967 1206.13/1209.68 c #Conflicts: 724000 | #Constraints: 44967 1206.13/1209.68 c #Conflicts: 725000 | #Constraints: 45967 1206.13/1209.68 c #Conflicts: 726000 | #Constraints: 46967 1206.13/1209.68 c #Conflicts: 727000 | #Constraints: 47967 1206.13/1209.68 c #Conflicts: 728000 | #Constraints: 48967 1206.13/1209.68 c #Conflicts: 729000 | #Constraints: 49967 1206.13/1209.68 c #Conflicts: 730000 | #Constraints: 50967 1206.13/1209.68 c #Conflicts: 731000 | #Constraints: 51967 1206.13/1209.68 c #Conflicts: 732000 | #Constraints: 52967 1206.13/1209.68 c #Conflicts: 733000 | #Constraints: 53967 1206.13/1209.68 c #Conflicts: 734000 | #Constraints: 54968 1206.13/1209.68 c INPROCESSING 1206.13/1209.68 c GARBAGE COLLECT 1206.13/1209.68 c rational objective 82 1231.55/1235.11 c #Conflicts: 735000 | #Constraints: 31409 1231.55/1235.11 c #Conflicts: 736000 | #Constraints: 32409 1231.55/1235.11 c #Conflicts: 737000 | #Constraints: 33409 1231.55/1235.11 c #Conflicts: 738000 | #Constraints: 34409 1231.55/1235.11 c #Conflicts: 739000 | #Constraints: 35409 1231.55/1235.11 c #Conflicts: 740000 | #Constraints: 36409 1231.55/1235.11 c #Conflicts: 741000 | #Constraints: 37409 1231.55/1235.11 c #Conflicts: 742000 | #Constraints: 38409 1231.55/1235.11 c #Conflicts: 743000 | #Constraints: 39409 1231.55/1235.11 c #Conflicts: 744000 | #Constraints: 40409 1231.55/1235.11 c #Conflicts: 745000 | #Constraints: 41409 1231.55/1235.11 c #Conflicts: 746000 | #Constraints: 42409 1231.55/1235.11 c #Conflicts: 747000 | #Constraints: 43409 1231.55/1235.11 c #Conflicts: 748000 | #Constraints: 44409 1231.55/1235.11 c #Conflicts: 749000 | #Constraints: 45409 1231.55/1235.11 c #Conflicts: 750000 | #Constraints: 46409 1231.55/1235.11 c #Conflicts: 751000 | #Constraints: 47409 1231.55/1235.11 c #Conflicts: 752000 | #Constraints: 48409 1231.55/1235.11 c #Conflicts: 753000 | #Constraints: 49409 1231.55/1235.11 c INPROCESSING 1231.55/1235.11 c GARBAGE COLLECT 1231.55/1235.11 c rational objective 82 1256.87/1260.58 c #Conflicts: 754000 | #Constraints: 28617 1256.87/1260.58 c #Conflicts: 755000 | #Constraints: 29617 1256.87/1260.58 c #Conflicts: 756000 | #Constraints: 30617 1256.87/1260.58 c #Conflicts: 757000 | #Constraints: 31617 1256.87/1260.58 c #Conflicts: 758000 | #Constraints: 32617 1256.87/1260.58 c #Conflicts: 759000 | #Constraints: 33618 1256.87/1260.58 c #Conflicts: 760000 | #Constraints: 34618 1256.87/1260.58 c #Conflicts: 761000 | #Constraints: 35618 1256.87/1260.58 c #Conflicts: 762000 | #Constraints: 36618 1256.87/1260.58 c #Conflicts: 763000 | #Constraints: 37618 1256.87/1260.58 c #Conflicts: 764000 | #Constraints: 38618 1256.87/1260.58 c #Conflicts: 765000 | #Constraints: 39618 1256.87/1260.58 c #Conflicts: 766000 | #Constraints: 40618 1256.87/1260.58 c #Conflicts: 767000 | #Constraints: 41618 1256.87/1260.58 c #Conflicts: 768000 | #Constraints: 42618 1256.87/1260.58 c #Conflicts: 769000 | #Constraints: 43618 1256.87/1260.58 c #Conflicts: 770000 | #Constraints: 44618 1256.87/1260.58 c #Conflicts: 771000 | #Constraints: 45618 1256.87/1260.58 c #Conflicts: 772000 | #Constraints: 46618 1256.87/1260.58 c INPROCESSING 1256.87/1260.58 c GARBAGE COLLECT 1256.87/1260.58 c rational objective 82 1441.70/1445.97 c #Conflicts: 773000 | #Constraints: 27087 1441.70/1445.97 c #Conflicts: 774000 | #Constraints: 28087 1441.70/1445.97 c #Conflicts: 775000 | #Constraints: 29087 1441.70/1445.97 c #Conflicts: 776000 | #Constraints: 30087 1441.70/1445.97 c #Conflicts: 777000 | #Constraints: 31087 1441.70/1445.97 c #Conflicts: 778000 | #Constraints: 32087 1441.70/1445.97 c #Conflicts: 779000 | #Constraints: 33087 1441.70/1445.97 c #Conflicts: 780000 | #Constraints: 34087 1441.70/1445.97 c #Conflicts: 781000 | #Constraints: 35087 1441.70/1445.97 c #Conflicts: 782000 | #Constraints: 36088 1441.70/1445.97 c #Conflicts: 783000 | #Constraints: 37088 1441.70/1445.97 c #Conflicts: 784000 | #Constraints: 38089 1441.70/1445.97 c #Conflicts: 785000 | #Constraints: 39089 1441.70/1445.97 c #Conflicts: 786000 | #Constraints: 40089 1441.70/1445.97 c #Conflicts: 787000 | #Constraints: 41089 1441.70/1445.97 c #Conflicts: 788000 | #Constraints: 42090 1441.70/1445.97 c #Conflicts: 789000 | #Constraints: 43090 1441.70/1445.97 c #Conflicts: 790000 | #Constraints: 44090 1441.70/1445.97 c #Conflicts: 791000 | #Constraints: 45090 1441.70/1445.97 c #Conflicts: 792000 | #Constraints: 46090 1441.70/1445.97 c #Conflicts: 793000 | #Constraints: 47090 1441.70/1445.97 c #Conflicts: 794000 | #Constraints: 48090 1441.70/1445.97 c #Conflicts: 795000 | #Constraints: 49090 1441.70/1445.97 c #Conflicts: 796000 | #Constraints: 50090 1441.70/1445.97 c #Conflicts: 797000 | #Constraints: 51090 1441.70/1445.97 c #Conflicts: 798000 | #Constraints: 52090 1441.70/1445.97 c #Conflicts: 799000 | #Constraints: 53090 1441.70/1445.97 c #Conflicts: 800000 | #Constraints: 54090 1441.70/1445.97 c #Conflicts: 801000 | #Constraints: 55090 1441.70/1445.97 c #Conflicts: 802000 | #Constraints: 56090 1441.70/1445.97 c #Conflicts: 803000 | #Constraints: 57090 1441.70/1445.97 c #Conflicts: 804000 | #Constraints: 58090 1441.70/1445.97 c #Conflicts: 805000 | #Constraints: 59090 1441.70/1445.97 c #Conflicts: 806000 | #Constraints: 60090 1441.70/1445.97 c #Conflicts: 807000 | #Constraints: 61091 1441.70/1445.97 c #Conflicts: 808000 | #Constraints: 62091 1441.70/1445.97 c #Conflicts: 809000 | #Constraints: 63092 1441.70/1445.97 c #Conflicts: 810000 | #Constraints: 64092 1441.70/1445.97 c #Conflicts: 811000 | #Constraints: 65092 1441.70/1445.97 c #Conflicts: 812000 | #Constraints: 66092 1441.70/1445.97 c #Conflicts: 813000 | #Constraints: 67092 1441.70/1445.97 c #Conflicts: 814000 | #Constraints: 68093 1441.70/1445.97 c #Conflicts: 815000 | #Constraints: 69093 1441.70/1445.97 c #Conflicts: 816000 | #Constraints: 70093 1441.70/1445.97 c #Conflicts: 817000 | #Constraints: 71093 1441.70/1445.97 c #Conflicts: 818000 | #Constraints: 72093 1441.70/1445.97 c #Conflicts: 819000 | #Constraints: 73093 1441.70/1445.97 c #Conflicts: 820000 | #Constraints: 74094 1441.70/1445.97 c #Conflicts: 821000 | #Constraints: 75094 1441.70/1445.97 c #Conflicts: 822000 | #Constraints: 76094 1441.70/1445.97 c #Conflicts: 823000 | #Constraints: 77094 1441.70/1445.97 c #Conflicts: 824000 | #Constraints: 78094 1441.70/1445.97 c #Conflicts: 825000 | #Constraints: 79095 1441.70/1445.97 c #Conflicts: 826000 | #Constraints: 80095 1441.70/1445.97 c #Conflicts: 827000 | #Constraints: 81095 1441.70/1445.97 c #Conflicts: 828000 | #Constraints: 82096 1441.70/1445.97 c #Conflicts: 829000 | #Constraints: 83096 1441.70/1445.97 c #Conflicts: 830000 | #Constraints: 84096 1441.70/1445.97 c #Conflicts: 831000 | #Constraints: 85096 1441.70/1445.97 c #Conflicts: 832000 | #Constraints: 86096 1441.70/1445.97 c #Conflicts: 833000 | #Constraints: 87096 1441.70/1445.97 c #Conflicts: 834000 | #Constraints: 88096 1441.70/1445.97 c #Conflicts: 835000 | #Constraints: 89096 1441.70/1445.97 c #Conflicts: 836000 | #Constraints: 90096 1441.70/1445.97 c #Conflicts: 837000 | #Constraints: 91096 1441.70/1445.97 c #Conflicts: 838000 | #Constraints: 92097 1441.70/1445.97 c #Conflicts: 839000 | #Constraints: 93097 1441.70/1445.97 c #Conflicts: 840000 | #Constraints: 94097 1441.70/1445.97 c #Conflicts: 841000 | #Constraints: 95097 1441.70/1445.97 c #Conflicts: 842000 | #Constraints: 96097 1441.70/1445.97 c #Conflicts: 843000 | #Constraints: 97097 1441.70/1445.97 c INPROCESSING 1441.70/1445.97 c GARBAGE COLLECT 1441.70/1445.97 c rational objective 82 1488.26/1492.62 c #Conflicts: 844000 | #Constraints: 52392 1488.26/1492.62 c #Conflicts: 845000 | #Constraints: 53392 1488.26/1492.62 c #Conflicts: 846000 | #Constraints: 54392 1488.26/1492.62 c #Conflicts: 847000 | #Constraints: 55392 1488.26/1492.62 c #Conflicts: 848000 | #Constraints: 56392 1488.26/1492.62 c #Conflicts: 849000 | #Constraints: 57392 1488.26/1492.62 c #Conflicts: 850000 | #Constraints: 58392 1488.26/1492.62 c #Conflicts: 851000 | #Constraints: 59392 1488.26/1492.62 c #Conflicts: 852000 | #Constraints: 60392 1488.26/1492.62 c #Conflicts: 853000 | #Constraints: 61392 1488.26/1492.62 c #Conflicts: 854000 | #Constraints: 62392 1488.26/1492.62 c #Conflicts: 855000 | #Constraints: 63392 1488.26/1492.62 c #Conflicts: 856000 | #Constraints: 64392 1488.26/1492.62 c #Conflicts: 857000 | #Constraints: 65392 1488.26/1492.62 c #Conflicts: 858000 | #Constraints: 66392 1488.26/1492.62 c #Conflicts: 859000 | #Constraints: 67392 1488.26/1492.62 c #Conflicts: 860000 | #Constraints: 68392 1488.26/1492.62 c #Conflicts: 861000 | #Constraints: 69393 1488.26/1492.62 c #Conflicts: 862000 | #Constraints: 70393 1488.26/1492.62 c #Conflicts: 863000 | #Constraints: 71393 1488.26/1492.62 c #Conflicts: 864000 | #Constraints: 72393 1488.26/1492.62 c INPROCESSING 1488.26/1492.62 c GARBAGE COLLECT 1488.26/1492.62 c rational objective 82 1524.26/1528.73 c #Conflicts: 865000 | #Constraints: 40286 1524.26/1528.73 c #Conflicts: 866000 | #Constraints: 41286 1524.26/1528.73 c #Conflicts: 867000 | #Constraints: 42286 1524.26/1528.73 c #Conflicts: 868000 | #Constraints: 43286 1524.26/1528.73 c #Conflicts: 869000 | #Constraints: 44286 1524.26/1528.73 c #Conflicts: 870000 | #Constraints: 45286 1524.26/1528.73 c #Conflicts: 871000 | #Constraints: 46286 1524.26/1528.73 c #Conflicts: 872000 | #Constraints: 47286 1524.26/1528.73 c #Conflicts: 873000 | #Constraints: 48286 1524.26/1528.73 c #Conflicts: 874000 | #Constraints: 49287 1524.26/1528.73 c #Conflicts: 875000 | #Constraints: 50287 1524.26/1528.73 c #Conflicts: 876000 | #Constraints: 51287 1524.26/1528.73 c #Conflicts: 877000 | #Constraints: 52287 1524.26/1528.73 c #Conflicts: 878000 | #Constraints: 53287 1524.26/1528.73 c #Conflicts: 879000 | #Constraints: 54287 1524.26/1528.73 c #Conflicts: 880000 | #Constraints: 55287 1524.26/1528.73 c #Conflicts: 881000 | #Constraints: 56287 1524.26/1528.73 c #Conflicts: 882000 | #Constraints: 57287 1524.26/1528.73 c #Conflicts: 883000 | #Constraints: 58287 1524.26/1528.73 c #Conflicts: 884000 | #Constraints: 59287 1524.26/1528.73 c #Conflicts: 885000 | #Constraints: 60287 1524.26/1528.73 c INPROCESSING 1524.26/1528.73 c GARBAGE COLLECT 1524.26/1528.73 c rational objective 82 1562.34/1566.97 c #Conflicts: 886000 | #Constraints: 34331 1562.34/1566.97 c #Conflicts: 887000 | #Constraints: 35331 1562.34/1566.97 c #Conflicts: 888000 | #Constraints: 36331 1562.34/1566.97 c #Conflicts: 889000 | #Constraints: 37331 1562.34/1566.97 c #Conflicts: 890000 | #Constraints: 38332 1562.34/1566.97 c #Conflicts: 891000 | #Constraints: 39332 1562.34/1566.97 c #Conflicts: 892000 | #Constraints: 40332 1562.34/1566.97 c #Conflicts: 893000 | #Constraints: 41332 1562.34/1566.97 c #Conflicts: 894000 | #Constraints: 42332 1562.34/1566.97 c #Conflicts: 895000 | #Constraints: 43332 1562.34/1566.97 c #Conflicts: 896000 | #Constraints: 44332 1562.34/1566.97 c #Conflicts: 897000 | #Constraints: 45332 1562.34/1566.97 c #Conflicts: 898000 | #Constraints: 46332 1562.34/1566.97 c #Conflicts: 899000 | #Constraints: 47332 1562.34/1566.97 c #Conflicts: 900000 | #Constraints: 48332 1562.34/1566.97 c #Conflicts: 901000 | #Constraints: 49332 1562.34/1566.97 c #Conflicts: 902000 | #Constraints: 50332 1562.34/1566.97 c #Conflicts: 903000 | #Constraints: 51332 1562.34/1566.97 c #Conflicts: 904000 | #Constraints: 52332 1562.34/1566.97 c #Conflicts: 905000 | #Constraints: 53332 1562.34/1566.97 c #Conflicts: 906000 | #Constraints: 54332 1562.34/1566.97 c INPROCESSING 1562.34/1566.97 c GARBAGE COLLECT 1562.34/1566.97 c rational objective 82 1595.13/1599.82 c #Conflicts: 907000 | #Constraints: 31363 1595.13/1599.82 c #Conflicts: 908000 | #Constraints: 32363 1595.13/1599.82 c #Conflicts: 909000 | #Constraints: 33363 1595.13/1599.82 c #Conflicts: 910000 | #Constraints: 34363 1595.13/1599.82 c #Conflicts: 911000 | #Constraints: 35363 1595.13/1599.82 c #Conflicts: 912000 | #Constraints: 36363 1595.13/1599.82 c #Conflicts: 913000 | #Constraints: 37363 1595.13/1599.82 c #Conflicts: 914000 | #Constraints: 38363 1595.13/1599.82 c #Conflicts: 915000 | #Constraints: 39363 1595.13/1599.82 c #Conflicts: 916000 | #Constraints: 40363 1595.13/1599.82 c #Conflicts: 917000 | #Constraints: 41363 1595.13/1599.82 c #Conflicts: 918000 | #Constraints: 42363 1595.13/1599.82 c #Conflicts: 919000 | #Constraints: 43364 1595.13/1599.82 c #Conflicts: 920000 | #Constraints: 44364 1595.13/1599.82 c #Conflicts: 921000 | #Constraints: 45365 1595.13/1599.82 c #Conflicts: 922000 | #Constraints: 46366 1595.13/1599.82 c #Conflicts: 923000 | #Constraints: 47366 1595.13/1599.82 c #Conflicts: 924000 | #Constraints: 48366 1595.13/1599.82 c #Conflicts: 925000 | #Constraints: 49366 1595.13/1599.82 c #Conflicts: 926000 | #Constraints: 50366 1595.13/1599.82 c #Conflicts: 927000 | #Constraints: 51366 1595.13/1599.82 c INPROCESSING 1595.13/1599.82 c GARBAGE COLLECT 1595.13/1599.82 c rational objective 82 1809.95/1815.35 c #Conflicts: 928000 | #Constraints: 29682 1809.95/1815.35 c #Conflicts: 929000 | #Constraints: 30682 1809.95/1815.35 c #Conflicts: 930000 | #Constraints: 31682 1809.95/1815.35 c #Conflicts: 931000 | #Constraints: 32682 1809.95/1815.35 c #Conflicts: 932000 | #Constraints: 33682 1809.95/1815.35 c #Conflicts: 933000 | #Constraints: 34682 1809.95/1815.35 c #Conflicts: 934000 | #Constraints: 35682 1809.95/1815.35 c #Conflicts: 935000 | #Constraints: 36682 1809.95/1815.35 c #Conflicts: 936000 | #Constraints: 37682 1809.95/1815.35 c #Conflicts: 937000 | #Constraints: 38682 1809.95/1815.35 c #Conflicts: 938000 | #Constraints: 39682 1809.95/1815.35 c #Conflicts: 939000 | #Constraints: 40682 1809.95/1815.35 c #Conflicts: 940000 | #Constraints: 41682 1809.95/1815.35 c #Conflicts: 941000 | #Constraints: 42682 1809.95/1815.35 c #Conflicts: 942000 | #Constraints: 43682 1809.95/1815.35 c #Conflicts: 943000 | #Constraints: 44683 1809.95/1815.35 c #Conflicts: 944000 | #Constraints: 45683 1809.95/1815.35 c #Conflicts: 945000 | #Constraints: 46683 1809.95/1815.35 c #Conflicts: 946000 | #Constraints: 47683 1809.95/1815.35 c #Conflicts: 947000 | #Constraints: 48683 1809.95/1815.35 c #Conflicts: 948000 | #Constraints: 49683 1809.95/1815.35 c #Conflicts: 949000 | #Constraints: 50683 1809.95/1815.35 c #Conflicts: 950000 | #Constraints: 51683 1809.95/1815.35 c #Conflicts: 951000 | #Constraints: 52683 1809.95/1815.35 c #Conflicts: 952000 | #Constraints: 53683 1809.95/1815.35 c #Conflicts: 953000 | #Constraints: 54683 1809.95/1815.35 c #Conflicts: 954000 | #Constraints: 55683 1809.95/1815.35 c #Conflicts: 955000 | #Constraints: 56683 1809.95/1815.35 c #Conflicts: 956000 | #Constraints: 57683 1809.95/1815.35 c #Conflicts: 957000 | #Constraints: 58683 1809.95/1815.35 c #Conflicts: 958000 | #Constraints: 59683 1809.95/1815.35 c #Conflicts: 959000 | #Constraints: 60683 1809.95/1815.35 c #Conflicts: 960000 | #Constraints: 61683 1809.95/1815.35 c #Conflicts: 961000 | #Constraints: 62683 1809.95/1815.35 c #Conflicts: 962000 | #Constraints: 63683 1809.95/1815.35 c #Conflicts: 963000 | #Constraints: 64683 1809.95/1815.35 c #Conflicts: 964000 | #Constraints: 65683 1809.95/1815.35 c #Conflicts: 965000 | #Constraints: 66683 1809.95/1815.35 c #Conflicts: 966000 | #Constraints: 67683 1809.95/1815.35 c #Conflicts: 967000 | #Constraints: 68683 1809.95/1815.35 c #Conflicts: 968000 | #Constraints: 69683 1809.95/1815.35 c #Conflicts: 969000 | #Constraints: 70683 1809.95/1815.35 c #Conflicts: 970000 | #Constraints: 71683 1809.95/1815.35 c #Conflicts: 971000 | #Constraints: 72683 1809.95/1815.35 c #Conflicts: 972000 | #Constraints: 73683 1809.95/1815.35 c #Conflicts: 973000 | #Constraints: 74683 1809.95/1815.35 c #Conflicts: 974000 | #Constraints: 75683 1809.95/1815.35 c #Conflicts: 975000 | #Constraints: 76683 1809.95/1815.35 c #Conflicts: 976000 | #Constraints: 77683 1809.95/1815.35 c #Conflicts: 977000 | #Constraints: 78683 1809.95/1815.35 c #Conflicts: 978000 | #Constraints: 79684 1809.95/1815.35 c #Conflicts: 979000 | #Constraints: 80684 1809.95/1815.35 c #Conflicts: 980000 | #Constraints: 81684 1809.95/1815.35 c #Conflicts: 981000 | #Constraints: 82684 1809.95/1815.35 c #Conflicts: 982000 | #Constraints: 83684 1809.95/1815.35 c #Conflicts: 983000 | #Constraints: 84684 1809.95/1815.35 c #Conflicts: 984000 | #Constraints: 85684 1809.95/1815.35 c #Conflicts: 985000 | #Constraints: 86684 1809.95/1815.35 c #Conflicts: 986000 | #Constraints: 87687 1809.95/1815.35 c #Conflicts: 987000 | #Constraints: 88689 1809.95/1815.35 c #Conflicts: 988000 | #Constraints: 89691 1809.95/1815.35 c #Conflicts: 989000 | #Constraints: 90691 1809.95/1815.35 c #Conflicts: 990000 | #Constraints: 91692 1809.95/1815.35 c #Conflicts: 991000 | #Constraints: 92692 1809.95/1815.35 c #Conflicts: 992000 | #Constraints: 93692 1809.95/1815.35 c #Conflicts: 993000 | #Constraints: 94692 1809.95/1815.35 c #Conflicts: 994000 | #Constraints: 95692 1809.95/1815.35 c #Conflicts: 995000 | #Constraints: 96692 1809.95/1815.35 c #Conflicts: 996000 | #Constraints: 97692 1809.95/1815.35 c #Conflicts: 997000 | #Constraints: 98692 1809.95/1815.35 c #Conflicts: 998000 | #Constraints: 99692 1809.95/1815.35 c #Conflicts: 999000 | #Constraints: 100692 1809.95/1815.35 c #Conflicts: 1000000 | #Constraints: 101692 1809.95/1815.35 c #Conflicts: 1001000 | #Constraints: 102693 1809.95/1815.35 c #Conflicts: 1002000 | #Constraints: 103693 1809.95/1815.35 c #Conflicts: 1003000 | #Constraints: 104693 1809.95/1815.35 c #Conflicts: 1004000 | #Constraints: 105693 1809.95/1815.35 c INPROCESSING 1809.95/1815.35 c GARBAGE COLLECT 1809.95/1815.35 c rational objective 82 1875.64/1881.27 c #Conflicts: 1005000 | #Constraints: 56804 1875.64/1881.27 c #Conflicts: 1006000 | #Constraints: 57804 1875.64/1881.27 c #Conflicts: 1007000 | #Constraints: 58805 1875.64/1881.27 c #Conflicts: 1008000 | #Constraints: 59805 1875.64/1881.27 c #Conflicts: 1009000 | #Constraints: 60806 1875.64/1881.27 c #Conflicts: 1010000 | #Constraints: 61807 1875.64/1881.27 c #Conflicts: 1011000 | #Constraints: 62807 1875.64/1881.27 c #Conflicts: 1012000 | #Constraints: 63807 1875.64/1881.27 c #Conflicts: 1013000 | #Constraints: 64807 1875.64/1881.27 c #Conflicts: 1014000 | #Constraints: 65808 1875.64/1881.27 c #Conflicts: 1015000 | #Constraints: 66808 1875.64/1881.27 c #Conflicts: 1016000 | #Constraints: 67808 1875.64/1881.27 c #Conflicts: 1017000 | #Constraints: 68808 1875.64/1881.27 c #Conflicts: 1018000 | #Constraints: 69808 1875.64/1881.27 c #Conflicts: 1019000 | #Constraints: 70808 1875.64/1881.27 c #Conflicts: 1020000 | #Constraints: 71808 1875.64/1881.27 c #Conflicts: 1021000 | #Constraints: 72808 1875.64/1881.27 c #Conflicts: 1022000 | #Constraints: 73808 1875.64/1881.27 c #Conflicts: 1023000 | #Constraints: 74808 1875.64/1881.27 c #Conflicts: 1024000 | #Constraints: 75808 1875.64/1881.27 c #Conflicts: 1025000 | #Constraints: 76808 1875.64/1881.27 c #Conflicts: 1026000 | #Constraints: 77808 1875.64/1881.27 c INPROCESSING 1875.64/1881.27 c GARBAGE COLLECT 1875.64/1881.27 c rational objective 82 1923.69/1929.45 c #Conflicts: 1027000 | #Constraints: 42645 1923.69/1929.45 c #Conflicts: 1028000 | #Constraints: 43645 1923.69/1929.45 c #Conflicts: 1029000 | #Constraints: 44645 1923.69/1929.45 c #Conflicts: 1030000 | #Constraints: 45645 1923.69/1929.45 c #Conflicts: 1031000 | #Constraints: 46645 1923.69/1929.45 c #Conflicts: 1032000 | #Constraints: 47645 1923.69/1929.45 c #Conflicts: 1033000 | #Constraints: 48645 1923.69/1929.45 c #Conflicts: 1034000 | #Constraints: 49645 1923.69/1929.45 c #Conflicts: 1035000 | #Constraints: 50645 1923.69/1929.45 c #Conflicts: 1036000 | #Constraints: 51645 1923.69/1929.45 c #Conflicts: 1037000 | #Constraints: 52645 1923.69/1929.45 c #Conflicts: 1038000 | #Constraints: 53645 1923.69/1929.45 c #Conflicts: 1039000 | #Constraints: 54645 1923.69/1929.45 c #Conflicts: 1040000 | #Constraints: 55645 1923.69/1929.45 c #Conflicts: 1041000 | #Constraints: 56645 1923.69/1929.45 c #Conflicts: 1042000 | #Constraints: 57645 1923.69/1929.45 c #Conflicts: 1043000 | #Constraints: 58646 1923.69/1929.45 c #Conflicts: 1044000 | #Constraints: 59646 1923.69/1929.45 c #Conflicts: 1045000 | #Constraints: 60646 1923.69/1929.45 c #Conflicts: 1046000 | #Constraints: 61646 1923.69/1929.45 c #Conflicts: 1047000 | #Constraints: 62646 1923.69/1929.45 c #Conflicts: 1048000 | #Constraints: 63646 1923.69/1929.45 c #Conflicts: 1049000 | #Constraints: 64646 1923.69/1929.45 c INPROCESSING 1923.69/1929.45 c GARBAGE COLLECT 1923.69/1929.45 c rational objective 82 1967.65/1973.54 c #Conflicts: 1050000 | #Constraints: 36301 1967.65/1973.54 c #Conflicts: 1051000 | #Constraints: 37302 1967.65/1973.54 c #Conflicts: 1052000 | #Constraints: 38302 1967.65/1973.54 c #Conflicts: 1053000 | #Constraints: 39302 1967.65/1973.54 c #Conflicts: 1054000 | #Constraints: 40302 1967.65/1973.54 c #Conflicts: 1055000 | #Constraints: 41302 1967.65/1973.54 c #Conflicts: 1056000 | #Constraints: 42302 1967.65/1973.54 c #Conflicts: 1057000 | #Constraints: 43302 1967.65/1973.54 c #Conflicts: 1058000 | #Constraints: 44302 1967.65/1973.54 c #Conflicts: 1059000 | #Constraints: 45302 1967.65/1973.54 c #Conflicts: 1060000 | #Constraints: 46302 1967.65/1973.54 c #Conflicts: 1061000 | #Constraints: 47302 1967.65/1973.54 c #Conflicts: 1062000 | #Constraints: 48302 1967.65/1973.54 c #Conflicts: 1063000 | #Constraints: 49303 1967.65/1973.54 c #Conflicts: 1064000 | #Constraints: 50303 1967.65/1973.54 c #Conflicts: 1065000 | #Constraints: 51303 1967.65/1973.54 c #Conflicts: 1066000 | #Constraints: 52303 1967.65/1973.54 c #Conflicts: 1067000 | #Constraints: 53303 1967.65/1973.54 c #Conflicts: 1068000 | #Constraints: 54303 1967.65/1973.54 c #Conflicts: 1069000 | #Constraints: 55303 1967.65/1973.54 c #Conflicts: 1070000 | #Constraints: 56303 1967.65/1973.54 c #Conflicts: 1071000 | #Constraints: 57304 1967.65/1973.54 c #Conflicts: 1072000 | #Constraints: 58304 1967.65/1973.54 c INPROCESSING 1967.65/1973.54 c GARBAGE COLLECT 1967.65/1973.54 c rational objective 82 2005.45/2011.42 c #Conflicts: 1073000 | #Constraints: 33136 2005.45/2011.42 c #Conflicts: 1074000 | #Constraints: 34136 2005.45/2011.42 c #Conflicts: 1075000 | #Constraints: 35136 2005.45/2011.42 c #Conflicts: 1076000 | #Constraints: 36136 2005.45/2011.42 c #Conflicts: 1077000 | #Constraints: 37136 2005.45/2011.42 c #Conflicts: 1078000 | #Constraints: 38136 2005.45/2011.42 c #Conflicts: 1079000 | #Constraints: 39136 2005.45/2011.42 c #Conflicts: 1080000 | #Constraints: 40137 2005.45/2011.42 c #Conflicts: 1081000 | #Constraints: 41137 2005.45/2011.42 c #Conflicts: 1082000 | #Constraints: 42137 2005.45/2011.42 c #Conflicts: 1083000 | #Constraints: 43137 2005.45/2011.42 c #Conflicts: 1084000 | #Constraints: 44137 2005.45/2011.42 c #Conflicts: 1085000 | #Constraints: 45137 2005.45/2011.42 c #Conflicts: 1086000 | #Constraints: 46137 2005.45/2011.42 c #Conflicts: 1087000 | #Constraints: 47137 2005.45/2011.42 c #Conflicts: 1088000 | #Constraints: 48137 2005.45/2011.42 c #Conflicts: 1089000 | #Constraints: 49138 2005.45/2011.42 c #Conflicts: 1090000 | #Constraints: 50138 2005.45/2011.42 c #Conflicts: 1091000 | #Constraints: 51138 2005.45/2011.42 c #Conflicts: 1092000 | #Constraints: 52138 2005.45/2011.42 c #Conflicts: 1093000 | #Constraints: 53138 2005.45/2011.42 c #Conflicts: 1094000 | #Constraints: 54138 2005.45/2011.42 c #Conflicts: 1095000 | #Constraints: 55138 2005.45/2011.42 c INPROCESSING 2005.45/2011.42 c GARBAGE COLLECT 2005.45/2011.42 c rational objective 82 2240.17/2246.97 c #Conflicts: 1096000 | #Constraints: 31456 2240.17/2246.97 c #Conflicts: 1097000 | #Constraints: 32456 2240.17/2246.97 c #Conflicts: 1098000 | #Constraints: 33456 2240.17/2246.97 c #Conflicts: 1099000 | #Constraints: 34456 2240.17/2246.97 c #Conflicts: 1100000 | #Constraints: 35456 2240.17/2246.97 c #Conflicts: 1101000 | #Constraints: 36456 2240.17/2246.97 c #Conflicts: 1102000 | #Constraints: 37457 2240.17/2246.97 c #Conflicts: 1103000 | #Constraints: 38458 2240.17/2246.97 c #Conflicts: 1104000 | #Constraints: 39458 2240.17/2246.97 c #Conflicts: 1105000 | #Constraints: 40458 2240.17/2246.97 c #Conflicts: 1106000 | #Constraints: 41458 2240.17/2246.97 c #Conflicts: 1107000 | #Constraints: 42458 2240.17/2246.97 c #Conflicts: 1108000 | #Constraints: 43458 2240.17/2246.97 c #Conflicts: 1109000 | #Constraints: 44458 2240.17/2246.97 c #Conflicts: 1110000 | #Constraints: 45458 2240.17/2246.97 c #Conflicts: 1111000 | #Constraints: 46458 2240.17/2246.97 c #Conflicts: 1112000 | #Constraints: 47458 2240.17/2246.97 c #Conflicts: 1113000 | #Constraints: 48458 2240.17/2246.97 c #Conflicts: 1114000 | #Constraints: 49458 2240.17/2246.97 c #Conflicts: 1115000 | #Constraints: 50459 2240.17/2246.97 c #Conflicts: 1116000 | #Constraints: 51459 2240.17/2246.97 c #Conflicts: 1117000 | #Constraints: 52459 2240.17/2246.97 c #Conflicts: 1118000 | #Constraints: 53459 2240.17/2246.97 c #Conflicts: 1119000 | #Constraints: 54459 2240.17/2246.97 c #Conflicts: 1120000 | #Constraints: 55459 2240.17/2246.97 c #Conflicts: 1121000 | #Constraints: 56459 2240.17/2246.97 c #Conflicts: 1122000 | #Constraints: 57459 2240.17/2246.97 c #Conflicts: 1123000 | #Constraints: 58459 2240.17/2246.97 c #Conflicts: 1124000 | #Constraints: 59459 2240.17/2246.97 c #Conflicts: 1125000 | #Constraints: 60459 2240.17/2246.97 c #Conflicts: 1126000 | #Constraints: 61459 2240.17/2246.97 c #Conflicts: 1127000 | #Constraints: 62459 2240.17/2246.97 c #Conflicts: 1128000 | #Constraints: 63459 2240.17/2246.97 c #Conflicts: 1129000 | #Constraints: 64459 2240.17/2246.97 c #Conflicts: 1130000 | #Constraints: 65459 2240.17/2246.97 c #Conflicts: 1131000 | #Constraints: 66459 2240.17/2246.97 c #Conflicts: 1132000 | #Constraints: 67459 2240.17/2246.97 c #Conflicts: 1133000 | #Constraints: 68459 2240.17/2246.97 c #Conflicts: 1134000 | #Constraints: 69459 2240.17/2246.97 c #Conflicts: 1135000 | #Constraints: 70459 2240.17/2246.97 c #Conflicts: 1136000 | #Constraints: 71460 2240.17/2246.97 c #Conflicts: 1137000 | #Constraints: 72460 2240.17/2246.97 c #Conflicts: 1138000 | #Constraints: 73460 2240.17/2246.97 c #Conflicts: 1139000 | #Constraints: 74460 2240.17/2246.97 c #Conflicts: 1140000 | #Constraints: 75460 2240.17/2246.97 c #Conflicts: 1141000 | #Constraints: 76460 2240.17/2246.97 c #Conflicts: 1142000 | #Constraints: 77460 2240.17/2246.97 c #Conflicts: 1143000 | #Constraints: 78461 2240.17/2246.97 c #Conflicts: 1144000 | #Constraints: 79461 2240.17/2246.97 c #Conflicts: 1145000 | #Constraints: 80461 2240.17/2246.97 c #Conflicts: 1146000 | #Constraints: 81461 2240.17/2246.97 c #Conflicts: 1147000 | #Constraints: 82461 2240.17/2246.97 c #Conflicts: 1148000 | #Constraints: 83461 2240.17/2246.97 c #Conflicts: 1149000 | #Constraints: 84461 2240.17/2246.97 c #Conflicts: 1150000 | #Constraints: 85461 2240.17/2246.97 c #Conflicts: 1151000 | #Constraints: 86461 2240.17/2246.97 c #Conflicts: 1152000 | #Constraints: 87461 2240.17/2246.97 c #Conflicts: 1153000 | #Constraints: 88461 2240.17/2246.97 c #Conflicts: 1154000 | #Constraints: 89461 2240.17/2246.97 c #Conflicts: 1155000 | #Constraints: 90461 2240.17/2246.97 c #Conflicts: 1156000 | #Constraints: 91462 2240.17/2246.97 c #Conflicts: 1157000 | #Constraints: 92462 2240.17/2246.97 c #Conflicts: 1158000 | #Constraints: 93462 2240.17/2246.97 c #Conflicts: 1159000 | #Constraints: 94463 2240.17/2246.97 c #Conflicts: 1160000 | #Constraints: 95463 2240.17/2246.97 c #Conflicts: 1161000 | #Constraints: 96463 2240.17/2246.97 c #Conflicts: 1162000 | #Constraints: 97463 2240.17/2246.97 c #Conflicts: 1163000 | #Constraints: 98463 2240.17/2246.97 c #Conflicts: 1164000 | #Constraints: 99463 2240.17/2246.97 c #Conflicts: 1165000 | #Constraints: 100463 2240.17/2246.97 c #Conflicts: 1166000 | #Constraints: 101463 2240.17/2246.97 c #Conflicts: 1167000 | #Constraints: 102463 2240.17/2246.97 c #Conflicts: 1168000 | #Constraints: 103463 2240.17/2246.97 c #Conflicts: 1169000 | #Constraints: 104463 2240.17/2246.97 c #Conflicts: 1170000 | #Constraints: 105463 2240.17/2246.97 c #Conflicts: 1171000 | #Constraints: 106463 2240.17/2246.97 c #Conflicts: 1172000 | #Constraints: 107463 2240.17/2246.97 c #Conflicts: 1173000 | #Constraints: 108463 2240.17/2246.97 c #Conflicts: 1174000 | #Constraints: 109463 2268.77/2275.61 c #Conflicts: 1175000 | #Constraints: 110463 2268.77/2275.61 c #Conflicts: 1176000 | #Constraints: 111463 2268.77/2275.61 c #Conflicts: 1177000 | #Constraints: 112463 2268.77/2275.61 c #Conflicts: 1178000 | #Constraints: 113463 2268.77/2275.61 c #Conflicts: 1179000 | #Constraints: 114463 2268.77/2275.61 c INPROCESSING 2268.77/2275.61 c GARBAGE COLLECT 2268.77/2275.61 c rational objective 82 2338.25/2345.30 c #Conflicts: 1180000 | #Constraints: 61371 2338.25/2345.30 c #Conflicts: 1181000 | #Constraints: 62371 2338.25/2345.30 c #Conflicts: 1182000 | #Constraints: 63371 2338.25/2345.30 c #Conflicts: 1183000 | #Constraints: 64371 2338.25/2345.30 c #Conflicts: 1184000 | #Constraints: 65371 2338.25/2345.30 c #Conflicts: 1185000 | #Constraints: 66371 2338.25/2345.30 c #Conflicts: 1186000 | #Constraints: 67371 2338.25/2345.30 c #Conflicts: 1187000 | #Constraints: 68372 2338.25/2345.30 c #Conflicts: 1188000 | #Constraints: 69372 2338.25/2345.30 c #Conflicts: 1189000 | #Constraints: 70372 2338.25/2345.30 c #Conflicts: 1190000 | #Constraints: 71373 2338.25/2345.30 c #Conflicts: 1191000 | #Constraints: 72373 2338.25/2345.30 c #Conflicts: 1192000 | #Constraints: 73373 2338.25/2345.30 c #Conflicts: 1193000 | #Constraints: 74374 2338.25/2345.30 c #Conflicts: 1194000 | #Constraints: 75374 2338.25/2345.30 c #Conflicts: 1195000 | #Constraints: 76374 2338.25/2345.30 c #Conflicts: 1196000 | #Constraints: 77374 2338.25/2345.30 c #Conflicts: 1197000 | #Constraints: 78374 2338.25/2345.30 c #Conflicts: 1198000 | #Constraints: 79375 2338.25/2345.30 c #Conflicts: 1199000 | #Constraints: 80375 2338.25/2345.30 c #Conflicts: 1200000 | #Constraints: 81375 2338.25/2345.30 c #Conflicts: 1201000 | #Constraints: 82375 2338.25/2345.30 c #Conflicts: 1202000 | #Constraints: 83375 2338.25/2345.30 c #Conflicts: 1203000 | #Constraints: 84375 2338.25/2345.30 c INPROCESSING 2338.25/2345.30 c GARBAGE COLLECT 2338.25/2345.30 c rational objective 82 2387.69/2394.97 c #Conflicts: 1204000 | #Constraints: 46150 2387.69/2394.97 c #Conflicts: 1205000 | #Constraints: 47150 2387.69/2394.97 c #Conflicts: 1206000 | #Constraints: 48150 2387.69/2394.97 c #Conflicts: 1207000 | #Constraints: 49150 2387.69/2394.97 c #Conflicts: 1208000 | #Constraints: 50150 2387.69/2394.97 c #Conflicts: 1209000 | #Constraints: 51150 2387.69/2394.97 c #Conflicts: 1210000 | #Constraints: 52150 2387.69/2394.97 c #Conflicts: 1211000 | #Constraints: 53150 2387.69/2394.97 c #Conflicts: 1212000 | #Constraints: 54150 2387.69/2394.97 c #Conflicts: 1213000 | #Constraints: 55150 2387.69/2394.97 c #Conflicts: 1214000 | #Constraints: 56150 2387.69/2394.97 c #Conflicts: 1215000 | #Constraints: 57150 2387.69/2394.97 c #Conflicts: 1216000 | #Constraints: 58150 2387.69/2394.97 c #Conflicts: 1217000 | #Constraints: 59150 2387.69/2394.97 c #Conflicts: 1218000 | #Constraints: 60150 2387.69/2394.97 c #Conflicts: 1219000 | #Constraints: 61150 2387.69/2394.97 c #Conflicts: 1220000 | #Constraints: 62151 2387.69/2394.97 c #Conflicts: 1221000 | #Constraints: 63151 2387.69/2394.97 c #Conflicts: 1222000 | #Constraints: 64151 2387.69/2394.97 c #Conflicts: 1223000 | #Constraints: 65151 2387.69/2394.97 c #Conflicts: 1224000 | #Constraints: 66151 2387.69/2394.97 c #Conflicts: 1225000 | #Constraints: 67151 2387.69/2394.97 c #Conflicts: 1226000 | #Constraints: 68151 2387.69/2394.97 c #Conflicts: 1227000 | #Constraints: 69151 2387.69/2394.97 c #Conflicts: 1228000 | #Constraints: 70151 2387.69/2394.97 c INPROCESSING 2387.69/2394.97 c GARBAGE COLLECT 2387.69/2394.97 c rational objective 82 2430.66/2438.05 c #Conflicts: 1229000 | #Constraints: 39194 2430.66/2438.05 c #Conflicts: 1230000 | #Constraints: 40194 2430.66/2438.05 c #Conflicts: 1231000 | #Constraints: 41194 2430.66/2438.05 c #Conflicts: 1232000 | #Constraints: 42194 2430.66/2438.05 c #Conflicts: 1233000 | #Constraints: 43194 2430.66/2438.05 c #Conflicts: 1234000 | #Constraints: 44194 2430.66/2438.05 c #Conflicts: 1235000 | #Constraints: 45194 2430.66/2438.05 c #Conflicts: 1236000 | #Constraints: 46194 2430.66/2438.05 c #Conflicts: 1237000 | #Constraints: 47194 2430.66/2438.05 c #Conflicts: 1238000 | #Constraints: 48194 2430.66/2438.05 c #Conflicts: 1239000 | #Constraints: 49195 2430.66/2438.05 c #Conflicts: 1240000 | #Constraints: 50195 2430.66/2438.05 c #Conflicts: 1241000 | #Constraints: 51195 2430.66/2438.05 c #Conflicts: 1242000 | #Constraints: 52195 2430.66/2438.05 c #Conflicts: 1243000 | #Constraints: 53195 2430.66/2438.05 c #Conflicts: 1244000 | #Constraints: 54195 2430.66/2438.05 c #Conflicts: 1245000 | #Constraints: 55195 2430.66/2438.05 c #Conflicts: 1246000 | #Constraints: 56195 2430.66/2438.05 c #Conflicts: 1247000 | #Constraints: 57195 2430.66/2438.05 c #Conflicts: 1248000 | #Constraints: 58195 2430.66/2438.05 c #Conflicts: 1249000 | #Constraints: 59195 2430.66/2438.05 c #Conflicts: 1250000 | #Constraints: 60195 2430.66/2438.05 c #Conflicts: 1251000 | #Constraints: 61196 2430.66/2438.05 c #Conflicts: 1252000 | #Constraints: 62196 2430.66/2438.05 c #Conflicts: 1253000 | #Constraints: 63196 2430.66/2438.05 c INPROCESSING 2430.66/2438.05 c GARBAGE COLLECT 2430.66/2438.05 c rational objective 82 2473.11/2480.65 c #Conflicts: 1254000 | #Constraints: 35852 2473.11/2480.65 c #Conflicts: 1255000 | #Constraints: 36852 2473.11/2480.65 c #Conflicts: 1256000 | #Constraints: 37853 2473.11/2480.65 c #Conflicts: 1257000 | #Constraints: 38853 2473.11/2480.65 c #Conflicts: 1258000 | #Constraints: 39853 2473.11/2480.65 c #Conflicts: 1259000 | #Constraints: 40853 2473.11/2480.65 c #Conflicts: 1260000 | #Constraints: 41853 2473.11/2480.65 c #Conflicts: 1261000 | #Constraints: 42853 2473.11/2480.65 c #Conflicts: 1262000 | #Constraints: 43853 2473.11/2480.65 c #Conflicts: 1263000 | #Constraints: 44853 2473.11/2480.65 c #Conflicts: 1264000 | #Constraints: 45853 2473.11/2480.65 c #Conflicts: 1265000 | #Constraints: 46853 2473.11/2480.65 c #Conflicts: 1266000 | #Constraints: 47853 2473.11/2480.65 c #Conflicts: 1267000 | #Constraints: 48853 2473.11/2480.65 c #Conflicts: 1268000 | #Constraints: 49853 2473.11/2480.65 c #Conflicts: 1269000 | #Constraints: 50853 2473.11/2480.65 c #Conflicts: 1270000 | #Constraints: 51853 2473.11/2480.65 c #Conflicts: 1271000 | #Constraints: 52854 2473.11/2480.65 c #Conflicts: 1272000 | #Constraints: 53854 2473.11/2480.65 c #Conflicts: 1273000 | #Constraints: 54854 2473.11/2480.65 c #Conflicts: 1274000 | #Constraints: 55854 2473.11/2480.65 c #Conflicts: 1275000 | #Constraints: 56854 2473.11/2480.65 c #Conflicts: 1276000 | #Constraints: 57854 2473.11/2480.65 c #Conflicts: 1277000 | #Constraints: 58854 2473.11/2480.65 c #Conflicts: 1278000 | #Constraints: 59854 2473.11/2480.65 c INPROCESSING 2473.11/2480.65 c GARBAGE COLLECT 2473.11/2480.65 c rational objective 82 2693.70/2701.94 c #Conflicts: 1279000 | #Constraints: 34199 2693.70/2701.94 c #Conflicts: 1280000 | #Constraints: 35199 2693.70/2701.94 c #Conflicts: 1281000 | #Constraints: 36199 2693.70/2701.94 c #Conflicts: 1282000 | #Constraints: 37199 2693.70/2701.94 c #Conflicts: 1283000 | #Constraints: 38199 2693.70/2701.94 c #Conflicts: 1284000 | #Constraints: 39199 2693.70/2701.94 c #Conflicts: 1285000 | #Constraints: 40199 2693.70/2701.94 c #Conflicts: 1286000 | #Constraints: 41199 2693.70/2701.94 c #Conflicts: 1287000 | #Constraints: 42200 2693.70/2701.94 c #Conflicts: 1288000 | #Constraints: 43201 2693.70/2701.94 c #Conflicts: 1289000 | #Constraints: 44201 2693.70/2701.94 c #Conflicts: 1290000 | #Constraints: 45201 2693.70/2701.94 c #Conflicts: 1291000 | #Constraints: 46201 2693.70/2701.94 c #Conflicts: 1292000 | #Constraints: 47201 2693.70/2701.94 c #Conflicts: 1293000 | #Constraints: 48201 2693.70/2701.94 c #Conflicts: 1294000 | #Constraints: 49201 2693.70/2701.94 c #Conflicts: 1295000 | #Constraints: 50201 2693.70/2701.94 c #Conflicts: 1296000 | #Constraints: 51201 2693.70/2701.94 c #Conflicts: 1297000 | #Constraints: 52201 2693.70/2701.94 c #Conflicts: 1298000 | #Constraints: 53201 2693.70/2701.94 c #Conflicts: 1299000 | #Constraints: 54201 2693.70/2701.94 c #Conflicts: 1300000 | #Constraints: 55201 2693.70/2701.94 c #Conflicts: 1301000 | #Constraints: 56201 2693.70/2701.94 c #Conflicts: 1302000 | #Constraints: 57201 2693.70/2701.94 c #Conflicts: 1303000 | #Constraints: 58202 2693.70/2701.94 c #Conflicts: 1304000 | #Constraints: 59202 2693.70/2701.94 c #Conflicts: 1305000 | #Constraints: 60202 2693.70/2701.94 c #Conflicts: 1306000 | #Constraints: 61202 2693.70/2701.94 c #Conflicts: 1307000 | #Constraints: 62202 2693.70/2701.94 c #Conflicts: 1308000 | #Constraints: 63202 2693.70/2701.94 c #Conflicts: 1309000 | #Constraints: 64202 2693.70/2701.94 c #Conflicts: 1310000 | #Constraints: 65202 2693.70/2701.94 c #Conflicts: 1311000 | #Constraints: 66202 2693.70/2701.94 c #Conflicts: 1312000 | #Constraints: 67202 2693.70/2701.94 c #Conflicts: 1313000 | #Constraints: 68202 2693.70/2701.94 c #Conflicts: 1314000 | #Constraints: 69203 2693.70/2701.94 c #Conflicts: 1315000 | #Constraints: 70203 2693.70/2701.94 c #Conflicts: 1316000 | #Constraints: 71203 2693.70/2701.94 c #Conflicts: 1317000 | #Constraints: 72203 2693.70/2701.94 c #Conflicts: 1318000 | #Constraints: 73203 2693.70/2701.94 c #Conflicts: 1319000 | #Constraints: 74203 2693.70/2701.94 c #Conflicts: 1320000 | #Constraints: 75203 2693.70/2701.94 c #Conflicts: 1321000 | #Constraints: 76203 2693.70/2701.94 c #Conflicts: 1322000 | #Constraints: 77203 2693.70/2701.94 c #Conflicts: 1323000 | #Constraints: 78203 2693.70/2701.94 c #Conflicts: 1324000 | #Constraints: 79203 2693.70/2701.94 c #Conflicts: 1325000 | #Constraints: 80203 2693.70/2701.94 c #Conflicts: 1326000 | #Constraints: 81204 2693.70/2701.94 c #Conflicts: 1327000 | #Constraints: 82204 2693.70/2701.94 c #Conflicts: 1328000 | #Constraints: 83204 2693.70/2701.94 c #Conflicts: 1329000 | #Constraints: 84204 2693.70/2701.94 c #Conflicts: 1330000 | #Constraints: 85204 2693.70/2701.94 c #Conflicts: 1331000 | #Constraints: 86206 2693.70/2701.94 c #Conflicts: 1332000 | #Constraints: 87206 2693.70/2701.94 c #Conflicts: 1333000 | #Constraints: 88206 2693.70/2701.94 c #Conflicts: 1334000 | #Constraints: 89206 2693.70/2701.94 c #Conflicts: 1335000 | #Constraints: 90206 2693.70/2701.94 c #Conflicts: 1336000 | #Constraints: 91206 2693.70/2701.94 c #Conflicts: 1337000 | #Constraints: 92206 2693.70/2701.94 c #Conflicts: 1338000 | #Constraints: 93206 2693.70/2701.94 c #Conflicts: 1339000 | #Constraints: 94206 2693.70/2701.94 c #Conflicts: 1340000 | #Constraints: 95206 2693.70/2701.94 c #Conflicts: 1341000 | #Constraints: 96206 2693.70/2701.94 c #Conflicts: 1342000 | #Constraints: 97206 2693.70/2701.94 c #Conflicts: 1343000 | #Constraints: 98206 2693.70/2701.94 c #Conflicts: 1344000 | #Constraints: 99207 2693.70/2701.94 c #Conflicts: 1345000 | #Constraints: 100207 2693.70/2701.94 c #Conflicts: 1346000 | #Constraints: 101207 2693.70/2701.94 c #Conflicts: 1347000 | #Constraints: 102207 2693.70/2701.94 c #Conflicts: 1348000 | #Constraints: 103207 2693.70/2701.94 c #Conflicts: 1349000 | #Constraints: 104207 2693.70/2701.94 c #Conflicts: 1350000 | #Constraints: 105207 2693.70/2701.94 c #Conflicts: 1351000 | #Constraints: 106207 2693.70/2701.94 c #Conflicts: 1352000 | #Constraints: 107207 2693.70/2701.94 c #Conflicts: 1353000 | #Constraints: 108207 2693.70/2701.94 c #Conflicts: 1354000 | #Constraints: 109207 2693.70/2701.94 c #Conflicts: 1355000 | #Constraints: 110207 2693.70/2701.94 c #Conflicts: 1356000 | #Constraints: 111207 2693.70/2701.94 c #Conflicts: 1357000 | #Constraints: 112207 2745.94/2754.32 c #Conflicts: 1358000 | #Constraints: 113207 2745.94/2754.32 c #Conflicts: 1359000 | #Constraints: 114207 2745.94/2754.32 c #Conflicts: 1360000 | #Constraints: 115207 2745.94/2754.32 c #Conflicts: 1361000 | #Constraints: 116207 2745.94/2754.32 c #Conflicts: 1362000 | #Constraints: 117207 2745.94/2754.32 c #Conflicts: 1363000 | #Constraints: 118207 2745.94/2754.32 c #Conflicts: 1364000 | #Constraints: 119207 2745.94/2754.32 c #Conflicts: 1365000 | #Constraints: 120207 2745.94/2754.32 c #Conflicts: 1366000 | #Constraints: 121207 2745.94/2754.32 c #Conflicts: 1367000 | #Constraints: 122207 2745.94/2754.32 c #Conflicts: 1368000 | #Constraints: 123207 2745.94/2754.32 c INPROCESSING 2745.94/2754.32 c GARBAGE COLLECT 2745.94/2754.32 c rational objective 82 2808.86/2817.40 c #Conflicts: 1369000 | #Constraints: 65868 2808.86/2817.40 c #Conflicts: 1370000 | #Constraints: 66868 2808.86/2817.40 c #Conflicts: 1371000 | #Constraints: 67868 2808.86/2817.40 c #Conflicts: 1372000 | #Constraints: 68868 2808.86/2817.40 c #Conflicts: 1373000 | #Constraints: 69868 2808.86/2817.40 c #Conflicts: 1374000 | #Constraints: 70868 2808.86/2817.40 c #Conflicts: 1375000 | #Constraints: 71869 2808.86/2817.40 c #Conflicts: 1376000 | #Constraints: 72869 2808.86/2817.40 c #Conflicts: 1377000 | #Constraints: 73869 2808.86/2817.40 c #Conflicts: 1378000 | #Constraints: 74869 2808.86/2817.40 c #Conflicts: 1379000 | #Constraints: 75869 2808.86/2817.40 c #Conflicts: 1380000 | #Constraints: 76869 2808.86/2817.40 c #Conflicts: 1381000 | #Constraints: 77869 2808.86/2817.40 c #Conflicts: 1382000 | #Constraints: 78869 2808.86/2817.40 c #Conflicts: 1383000 | #Constraints: 79869 2808.86/2817.40 c #Conflicts: 1384000 | #Constraints: 80869 2808.86/2817.40 c #Conflicts: 1385000 | #Constraints: 81869 2808.86/2817.40 c #Conflicts: 1386000 | #Constraints: 82869 2808.86/2817.40 c #Conflicts: 1387000 | #Constraints: 83869 2808.86/2817.40 c #Conflicts: 1388000 | #Constraints: 84869 2808.86/2817.40 c #Conflicts: 1389000 | #Constraints: 85869 2808.86/2817.40 c #Conflicts: 1390000 | #Constraints: 86869 2808.86/2817.40 c #Conflicts: 1391000 | #Constraints: 87869 2808.86/2817.40 c #Conflicts: 1392000 | #Constraints: 88869 2808.86/2817.40 c #Conflicts: 1393000 | #Constraints: 89869 2808.86/2817.40 c #Conflicts: 1394000 | #Constraints: 90869 2808.86/2817.40 c INPROCESSING 2808.86/2817.40 c GARBAGE COLLECT 2808.86/2817.40 c rational objective 82 2853.24/2861.99 c #Conflicts: 1395000 | #Constraints: 49511 2853.24/2861.99 c #Conflicts: 1396000 | #Constraints: 50511 2853.24/2861.99 c #Conflicts: 1397000 | #Constraints: 51512 2853.24/2861.99 c #Conflicts: 1398000 | #Constraints: 52512 2853.24/2861.99 c #Conflicts: 1399000 | #Constraints: 53512 2853.24/2861.99 c #Conflicts: 1400000 | #Constraints: 54512 2853.24/2861.99 c #Conflicts: 1401000 | #Constraints: 55512 2853.24/2861.99 c #Conflicts: 1402000 | #Constraints: 56512 2853.24/2861.99 c #Conflicts: 1403000 | #Constraints: 57512 2853.24/2861.99 c #Conflicts: 1404000 | #Constraints: 58512 2853.24/2861.99 c #Conflicts: 1405000 | #Constraints: 59512 2853.24/2861.99 c #Conflicts: 1406000 | #Constraints: 60512 2853.24/2861.99 c #Conflicts: 1407000 | #Constraints: 61512 2853.24/2861.99 c #Conflicts: 1408000 | #Constraints: 62512 2853.24/2861.99 c #Conflicts: 1409000 | #Constraints: 63512 2853.24/2861.99 c #Conflicts: 1410000 | #Constraints: 64512 2853.24/2861.99 c #Conflicts: 1411000 | #Constraints: 65512 2853.24/2861.99 c #Conflicts: 1412000 | #Constraints: 66512 2853.24/2861.99 c #Conflicts: 1413000 | #Constraints: 67512 2853.24/2861.99 c #Conflicts: 1414000 | #Constraints: 68512 2853.24/2861.99 c #Conflicts: 1415000 | #Constraints: 69512 2853.24/2861.99 c #Conflicts: 1416000 | #Constraints: 70512 2853.24/2861.99 c #Conflicts: 1417000 | #Constraints: 71512 2853.24/2861.99 c #Conflicts: 1418000 | #Constraints: 72512 2853.24/2861.99 c #Conflicts: 1419000 | #Constraints: 73512 2853.24/2861.99 c #Conflicts: 1420000 | #Constraints: 74512 2853.24/2861.99 c INPROCESSING 2853.24/2861.99 c GARBAGE COLLECT 2853.24/2861.99 c rational objective 82 2906.12/2914.96 c #Conflicts: 1421000 | #Constraints: 41079 2906.12/2914.96 c #Conflicts: 1422000 | #Constraints: 42079 2906.12/2914.96 c #Conflicts: 1423000 | #Constraints: 43079 2906.12/2914.96 c #Conflicts: 1424000 | #Constraints: 44079 2906.12/2914.96 c #Conflicts: 1425000 | #Constraints: 45079 2906.12/2914.96 c #Conflicts: 1426000 | #Constraints: 46079 2906.12/2914.96 c #Conflicts: 1427000 | #Constraints: 47079 2906.12/2914.96 c #Conflicts: 1428000 | #Constraints: 48079 2906.12/2914.96 c #Conflicts: 1429000 | #Constraints: 49079 2906.12/2914.96 c #Conflicts: 1430000 | #Constraints: 50079 2906.12/2914.96 c #Conflicts: 1431000 | #Constraints: 51079 2906.12/2914.96 c #Conflicts: 1432000 | #Constraints: 52079 2906.12/2914.96 c #Conflicts: 1433000 | #Constraints: 53079 2906.12/2914.96 c #Conflicts: 1434000 | #Constraints: 54079 2906.12/2914.96 c #Conflicts: 1435000 | #Constraints: 55079 2906.12/2914.96 c #Conflicts: 1436000 | #Constraints: 56080 2906.12/2914.96 c #Conflicts: 1437000 | #Constraints: 57080 2906.12/2914.96 c #Conflicts: 1438000 | #Constraints: 58080 2906.12/2914.96 c #Conflicts: 1439000 | #Constraints: 59080 2906.12/2914.96 c #Conflicts: 1440000 | #Constraints: 60081 2906.12/2914.96 c #Conflicts: 1441000 | #Constraints: 61081 2906.12/2914.96 c #Conflicts: 1442000 | #Constraints: 62081 2906.12/2914.96 c #Conflicts: 1443000 | #Constraints: 63081 2906.12/2914.96 c #Conflicts: 1444000 | #Constraints: 64081 2906.12/2914.96 c #Conflicts: 1445000 | #Constraints: 65081 2906.12/2914.96 c #Conflicts: 1446000 | #Constraints: 66081 2906.12/2914.96 c #Conflicts: 1447000 | #Constraints: 67081 2906.12/2914.96 c INPROCESSING 2906.12/2914.96 c GARBAGE COLLECT 2906.12/2914.96 c rational objective 82 2949.82/2958.74 c #Conflicts: 1448000 | #Constraints: 37554 2949.82/2958.74 c #Conflicts: 1449000 | #Constraints: 38554 2949.82/2958.74 c #Conflicts: 1450000 | #Constraints: 39554 2949.82/2958.74 c #Conflicts: 1451000 | #Constraints: 40554 2949.82/2958.74 c #Conflicts: 1452000 | #Constraints: 41554 2949.82/2958.74 c #Conflicts: 1453000 | #Constraints: 42554 2949.82/2958.74 c #Conflicts: 1454000 | #Constraints: 43554 2949.82/2958.74 c #Conflicts: 1455000 | #Constraints: 44554 2949.82/2958.74 c #Conflicts: 1456000 | #Constraints: 45554 2949.82/2958.74 c #Conflicts: 1457000 | #Constraints: 46554 2949.82/2958.74 c #Conflicts: 1458000 | #Constraints: 47554 2949.82/2958.74 c #Conflicts: 1459000 | #Constraints: 48554 2949.82/2958.74 c #Conflicts: 1460000 | #Constraints: 49554 2949.82/2958.74 c #Conflicts: 1461000 | #Constraints: 50554 2949.82/2958.74 c #Conflicts: 1462000 | #Constraints: 51554 2949.82/2958.74 c #Conflicts: 1463000 | #Constraints: 52554 2949.82/2958.74 c #Conflicts: 1464000 | #Constraints: 53554 2949.82/2958.74 c #Conflicts: 1465000 | #Constraints: 54554 2949.82/2958.74 c #Conflicts: 1466000 | #Constraints: 55554 2949.82/2958.74 c #Conflicts: 1467000 | #Constraints: 56554 2949.82/2958.74 c #Conflicts: 1468000 | #Constraints: 57554 2949.82/2958.74 c #Conflicts: 1469000 | #Constraints: 58554 2949.82/2958.74 c #Conflicts: 1470000 | #Constraints: 59554 2949.82/2958.74 c #Conflicts: 1471000 | #Constraints: 60554 2949.82/2958.74 c #Conflicts: 1472000 | #Constraints: 61554 2949.82/2958.74 c #Conflicts: 1473000 | #Constraints: 62554 2949.82/2958.74 c #Conflicts: 1474000 | #Constraints: 63554 2949.82/2958.74 c INPROCESSING 2949.82/2958.74 c GARBAGE COLLECT 2949.82/2958.74 c rational objective 82 3118.32/3127.65 c #Conflicts: 1475000 | #Constraints: 35875 3118.32/3127.65 c #Conflicts: 1476000 | #Constraints: 36875 3118.32/3127.65 c #Conflicts: 1477000 | #Constraints: 37875 3118.32/3127.65 c #Conflicts: 1478000 | #Constraints: 38875 3118.32/3127.65 c #Conflicts: 1479000 | #Constraints: 39875 3118.32/3127.65 c #Conflicts: 1480000 | #Constraints: 40875 3118.32/3127.65 c #Conflicts: 1481000 | #Constraints: 41876 3118.32/3127.65 c #Conflicts: 1482000 | #Constraints: 42876 3118.32/3127.65 c #Conflicts: 1483000 | #Constraints: 43876 3118.32/3127.65 c #Conflicts: 1484000 | #Constraints: 44876 3118.32/3127.65 c #Conflicts: 1485000 | #Constraints: 45876 3118.32/3127.65 c #Conflicts: 1486000 | #Constraints: 46876 3118.32/3127.65 c #Conflicts: 1487000 | #Constraints: 47876 3118.32/3127.65 c #Conflicts: 1488000 | #Constraints: 48876 3118.32/3127.65 c #Conflicts: 1489000 | #Constraints: 49876 3118.32/3127.65 c #Conflicts: 1490000 | #Constraints: 50876 3118.32/3127.65 c #Conflicts: 1491000 | #Constraints: 51876 3118.32/3127.65 c #Conflicts: 1492000 | #Constraints: 52877 3118.32/3127.65 c #Conflicts: 1493000 | #Constraints: 53878 3118.32/3127.65 c #Conflicts: 1494000 | #Constraints: 54878 3118.32/3127.65 c #Conflicts: 1495000 | #Constraints: 55878 3118.32/3127.65 c #Conflicts: 1496000 | #Constraints: 56878 3118.32/3127.65 c #Conflicts: 1497000 | #Constraints: 57878 3118.32/3127.65 c #Conflicts: 1498000 | #Constraints: 58878 3118.32/3127.65 c #Conflicts: 1499000 | #Constraints: 59878 3118.32/3127.65 c #Conflicts: 1500000 | #Constraints: 60878 3118.32/3127.65 c #Conflicts: 1501000 | #Constraints: 61878 3118.32/3127.65 c #Conflicts: 1502000 | #Constraints: 62878 3118.32/3127.65 c #Conflicts: 1503000 | #Constraints: 63878 3118.32/3127.65 c #Conflicts: 1504000 | #Constraints: 64878 3118.32/3127.65 c #Conflicts: 1505000 | #Constraints: 65878 3118.32/3127.65 c #Conflicts: 1506000 | #Constraints: 66878 3118.32/3127.65 c #Conflicts: 1507000 | #Constraints: 67878 3118.32/3127.65 c #Conflicts: 1508000 | #Constraints: 68878 3118.32/3127.65 c #Conflicts: 1509000 | #Constraints: 69878 3118.32/3127.65 c #Conflicts: 1510000 | #Constraints: 70878 3118.32/3127.65 c #Conflicts: 1511000 | #Constraints: 71878 3118.32/3127.65 c #Conflicts: 1512000 | #Constraints: 72878 3118.32/3127.65 c #Conflicts: 1513000 | #Constraints: 73878 3118.32/3127.65 c #Conflicts: 1514000 | #Constraints: 74878 3118.32/3127.65 c #Conflicts: 1515000 | #Constraints: 75878 3118.32/3127.65 c #Conflicts: 1516000 | #Constraints: 76878 3118.32/3127.65 c #Conflicts: 1517000 | #Constraints: 77878 3118.32/3127.65 c #Conflicts: 1518000 | #Constraints: 78878 3118.32/3127.65 c #Conflicts: 1519000 | #Constraints: 79878 3118.32/3127.65 c #Conflicts: 1520000 | #Constraints: 80878 3118.32/3127.65 c #Conflicts: 1521000 | #Constraints: 81878 3118.32/3127.65 c #Conflicts: 1522000 | #Constraints: 82878 3118.32/3127.65 c #Conflicts: 1523000 | #Constraints: 83878 3118.32/3127.65 c #Conflicts: 1524000 | #Constraints: 84878 3118.32/3127.65 c #Conflicts: 1525000 | #Constraints: 85878 3118.32/3127.65 c #Conflicts: 1526000 | #Constraints: 86878 3118.32/3127.65 c #Conflicts: 1527000 | #Constraints: 87878 3118.32/3127.65 c #Conflicts: 1528000 | #Constraints: 88878 3118.32/3127.65 c #Conflicts: 1529000 | #Constraints: 89879 3118.32/3127.65 c #Conflicts: 1530000 | #Constraints: 90879 3118.32/3127.65 c #Conflicts: 1531000 | #Constraints: 91880 3118.32/3127.65 c #Conflicts: 1532000 | #Constraints: 92880 3118.32/3127.65 c #Conflicts: 1533000 | #Constraints: 93880 3118.32/3127.65 c #Conflicts: 1534000 | #Constraints: 94880 3118.32/3127.65 c #Conflicts: 1535000 | #Constraints: 95880 3118.32/3127.65 c #Conflicts: 1536000 | #Constraints: 96881 3118.32/3127.65 c #Conflicts: 1537000 | #Constraints: 97881 3118.32/3127.65 c #Conflicts: 1538000 | #Constraints: 98881 3118.32/3127.65 c #Conflicts: 1539000 | #Constraints: 99881 3118.32/3127.65 c #Conflicts: 1540000 | #Constraints: 100881 3118.32/3127.65 c #Conflicts: 1541000 | #Constraints: 101881 3118.32/3127.65 c #Conflicts: 1542000 | #Constraints: 102881 3118.32/3127.65 c #Conflicts: 1543000 | #Constraints: 103881 3118.32/3127.65 c #Conflicts: 1544000 | #Constraints: 104881 3118.32/3127.65 c #Conflicts: 1545000 | #Constraints: 105881 3118.32/3127.65 c #Conflicts: 1546000 | #Constraints: 106881 3118.32/3127.65 c #Conflicts: 1547000 | #Constraints: 107881 3118.32/3127.65 c #Conflicts: 1548000 | #Constraints: 108881 3118.32/3127.65 c #Conflicts: 1549000 | #Constraints: 109881 3118.32/3127.65 c #Conflicts: 1550000 | #Constraints: 110881 3118.32/3127.65 c #Conflicts: 1551000 | #Constraints: 111881 3118.32/3127.65 c #Conflicts: 1552000 | #Constraints: 112881 3118.32/3127.65 c #Conflicts: 1553000 | #Constraints: 113881 3180.86/3190.32 c #Conflicts: 1554000 | #Constraints: 114881 3180.86/3190.32 c #Conflicts: 1555000 | #Constraints: 115882 3180.86/3190.32 c #Conflicts: 1556000 | #Constraints: 116882 3180.86/3190.32 c #Conflicts: 1557000 | #Constraints: 117882 3180.86/3190.32 c #Conflicts: 1558000 | #Constraints: 118882 3180.86/3190.32 c #Conflicts: 1559000 | #Constraints: 119882 3180.86/3190.32 c #Conflicts: 1560000 | #Constraints: 120882 3180.86/3190.32 c #Conflicts: 1561000 | #Constraints: 121882 3180.86/3190.32 c #Conflicts: 1562000 | #Constraints: 122882 3180.86/3190.32 c #Conflicts: 1563000 | #Constraints: 123882 3180.86/3190.32 c #Conflicts: 1564000 | #Constraints: 124882 3180.86/3190.32 c #Conflicts: 1565000 | #Constraints: 125882 3180.86/3190.32 c #Conflicts: 1566000 | #Constraints: 126882 3180.86/3190.32 c #Conflicts: 1567000 | #Constraints: 127882 3180.86/3190.32 c #Conflicts: 1568000 | #Constraints: 128883 3180.86/3190.32 c #Conflicts: 1569000 | #Constraints: 129883 3180.86/3190.32 c #Conflicts: 1570000 | #Constraints: 130883 3180.86/3190.32 c INPROCESSING 3180.86/3190.32 c GARBAGE COLLECT 3180.86/3190.32 c rational objective 82 3249.47/3259.11 c #Conflicts: 1571000 | #Constraints: 69377 3249.47/3259.11 c #Conflicts: 1572000 | #Constraints: 70377 3249.47/3259.11 c #Conflicts: 1573000 | #Constraints: 71377 3249.47/3259.11 c #Conflicts: 1574000 | #Constraints: 72378 3249.47/3259.11 c #Conflicts: 1575000 | #Constraints: 73378 3249.47/3259.11 c #Conflicts: 1576000 | #Constraints: 74378 3249.47/3259.11 c #Conflicts: 1577000 | #Constraints: 75378 3249.47/3259.11 c #Conflicts: 1578000 | #Constraints: 76378 3249.47/3259.11 c #Conflicts: 1579000 | #Constraints: 77378 3249.47/3259.11 c #Conflicts: 1580000 | #Constraints: 78378 3249.47/3259.11 c #Conflicts: 1581000 | #Constraints: 79378 3249.47/3259.11 c #Conflicts: 1582000 | #Constraints: 80378 3249.47/3259.11 c #Conflicts: 1583000 | #Constraints: 81378 3249.47/3259.11 c #Conflicts: 1584000 | #Constraints: 82378 3249.47/3259.11 c #Conflicts: 1585000 | #Constraints: 83378 3249.47/3259.11 c #Conflicts: 1586000 | #Constraints: 84378 3249.47/3259.11 c #Conflicts: 1587000 | #Constraints: 85378 3249.47/3259.11 c #Conflicts: 1588000 | #Constraints: 86378 3249.47/3259.11 c #Conflicts: 1589000 | #Constraints: 87378 3249.47/3259.11 c #Conflicts: 1590000 | #Constraints: 88378 3249.47/3259.11 c #Conflicts: 1591000 | #Constraints: 89378 3249.47/3259.11 c #Conflicts: 1592000 | #Constraints: 90378 3249.47/3259.11 c #Conflicts: 1593000 | #Constraints: 91378 3249.47/3259.11 c #Conflicts: 1594000 | #Constraints: 92378 3249.47/3259.11 c #Conflicts: 1595000 | #Constraints: 93378 3249.47/3259.11 c #Conflicts: 1596000 | #Constraints: 94378 3249.47/3259.11 c #Conflicts: 1597000 | #Constraints: 95378 3249.47/3259.11 c #Conflicts: 1598000 | #Constraints: 96378 3249.47/3259.11 c #Conflicts: 1599000 | #Constraints: 97379 3249.47/3259.11 c INPROCESSING 3249.47/3259.11 c GARBAGE COLLECT 3249.47/3259.11 c rational objective 82 3307.71/3317.57 c #Conflicts: 1600000 | #Constraints: 52987 3307.71/3317.57 c #Conflicts: 1601000 | #Constraints: 53987 3307.71/3317.57 c #Conflicts: 1602000 | #Constraints: 54988 3307.71/3317.57 c #Conflicts: 1603000 | #Constraints: 55988 3307.71/3317.57 c #Conflicts: 1604000 | #Constraints: 56988 3307.71/3317.57 c #Conflicts: 1605000 | #Constraints: 57988 3307.71/3317.57 c #Conflicts: 1606000 | #Constraints: 58988 3307.71/3317.57 c #Conflicts: 1607000 | #Constraints: 59988 3307.71/3317.57 c #Conflicts: 1608000 | #Constraints: 60988 3307.71/3317.57 c #Conflicts: 1609000 | #Constraints: 61988 3307.71/3317.57 c #Conflicts: 1610000 | #Constraints: 62988 3307.71/3317.57 c #Conflicts: 1611000 | #Constraints: 63988 3307.71/3317.57 c #Conflicts: 1612000 | #Constraints: 64988 3307.71/3317.57 c #Conflicts: 1613000 | #Constraints: 65988 3307.71/3317.57 c #Conflicts: 1614000 | #Constraints: 66988 3307.71/3317.57 c #Conflicts: 1615000 | #Constraints: 67988 3307.71/3317.57 c #Conflicts: 1616000 | #Constraints: 68988 3307.71/3317.57 c #Conflicts: 1617000 | #Constraints: 69988 3307.71/3317.57 c #Conflicts: 1618000 | #Constraints: 70988 3307.71/3317.57 c #Conflicts: 1619000 | #Constraints: 71988 3307.71/3317.57 c #Conflicts: 1620000 | #Constraints: 72988 3307.71/3317.57 c #Conflicts: 1621000 | #Constraints: 73988 3307.71/3317.57 c #Conflicts: 1622000 | #Constraints: 74988 3307.71/3317.57 c #Conflicts: 1623000 | #Constraints: 75988 3307.71/3317.57 c #Conflicts: 1624000 | #Constraints: 76988 3307.71/3317.57 c #Conflicts: 1625000 | #Constraints: 77988 3307.71/3317.57 c #Conflicts: 1626000 | #Constraints: 78988 3307.71/3317.57 c #Conflicts: 1627000 | #Constraints: 79988 3307.71/3317.57 c INPROCESSING 3307.71/3317.57 c GARBAGE COLLECT 3307.71/3317.57 c rational objective 82 3357.27/3367.29 c #Conflicts: 1628000 | #Constraints: 44077 3357.27/3367.29 c #Conflicts: 1629000 | #Constraints: 45077 3357.27/3367.29 c #Conflicts: 1630000 | #Constraints: 46077 3357.27/3367.29 c #Conflicts: 1631000 | #Constraints: 47077 3357.27/3367.29 c #Conflicts: 1632000 | #Constraints: 48077 3357.27/3367.29 c #Conflicts: 1633000 | #Constraints: 49077 3357.27/3367.29 c #Conflicts: 1634000 | #Constraints: 50077 3357.27/3367.29 c #Conflicts: 1635000 | #Constraints: 51077 3357.27/3367.29 c #Conflicts: 1636000 | #Constraints: 52077 3357.27/3367.29 c #Conflicts: 1637000 | #Constraints: 53077 3357.27/3367.29 c #Conflicts: 1638000 | #Constraints: 54077 3357.27/3367.29 c #Conflicts: 1639000 | #Constraints: 55077 3357.27/3367.29 c #Conflicts: 1640000 | #Constraints: 56077 3357.27/3367.29 c #Conflicts: 1641000 | #Constraints: 57077 3357.27/3367.29 c #Conflicts: 1642000 | #Constraints: 58077 3357.27/3367.29 c #Conflicts: 1643000 | #Constraints: 59077 3357.27/3367.29 c #Conflicts: 1644000 | #Constraints: 60078 3357.27/3367.29 c #Conflicts: 1645000 | #Constraints: 61078 3357.27/3367.29 c #Conflicts: 1646000 | #Constraints: 62078 3357.27/3367.29 c #Conflicts: 1647000 | #Constraints: 63079 3357.27/3367.29 c #Conflicts: 1648000 | #Constraints: 64079 3357.27/3367.29 c #Conflicts: 1649000 | #Constraints: 65079 3357.27/3367.29 c #Conflicts: 1650000 | #Constraints: 66080 3357.27/3367.29 c #Conflicts: 1651000 | #Constraints: 67080 3357.27/3367.29 c #Conflicts: 1652000 | #Constraints: 68081 3357.27/3367.29 c #Conflicts: 1653000 | #Constraints: 69081 3357.27/3367.29 c #Conflicts: 1654000 | #Constraints: 70082 3357.27/3367.29 c #Conflicts: 1655000 | #Constraints: 71082 3357.27/3367.29 c #Conflicts: 1656000 | #Constraints: 72082 3357.27/3367.29 c INPROCESSING 3357.27/3367.29 c GARBAGE COLLECT 3357.27/3367.29 c rational objective 82 3399.56/3409.63 c #Conflicts: 1657000 | #Constraints: 40255 3399.56/3409.63 c #Conflicts: 1658000 | #Constraints: 41255 3399.56/3409.63 c #Conflicts: 1659000 | #Constraints: 42255 3399.56/3409.63 c #Conflicts: 1660000 | #Constraints: 43255 3399.56/3409.63 c #Conflicts: 1661000 | #Constraints: 44255 3399.56/3409.63 c #Conflicts: 1662000 | #Constraints: 45255 3399.56/3409.63 c #Conflicts: 1663000 | #Constraints: 46255 3399.56/3409.63 c #Conflicts: 1664000 | #Constraints: 47255 3399.56/3409.63 c #Conflicts: 1665000 | #Constraints: 48255 3399.56/3409.63 c #Conflicts: 1666000 | #Constraints: 49255 3399.56/3409.63 c #Conflicts: 1667000 | #Constraints: 50255 3399.56/3409.63 c #Conflicts: 1668000 | #Constraints: 51255 3399.56/3409.63 c #Conflicts: 1669000 | #Constraints: 52255 3399.56/3409.63 c #Conflicts: 1670000 | #Constraints: 53255 3399.56/3409.63 c #Conflicts: 1671000 | #Constraints: 54255 3399.56/3409.63 c #Conflicts: 1672000 | #Constraints: 55255 3399.56/3409.63 c #Conflicts: 1673000 | #Constraints: 56255 3399.56/3409.63 c #Conflicts: 1674000 | #Constraints: 57255 3399.56/3409.63 c #Conflicts: 1675000 | #Constraints: 58256 3399.56/3409.63 c #Conflicts: 1676000 | #Constraints: 59257 3399.56/3409.63 c #Conflicts: 1677000 | #Constraints: 60257 3399.56/3409.63 c #Conflicts: 1678000 | #Constraints: 61257 3399.56/3409.63 c #Conflicts: 1679000 | #Constraints: 62257 3399.56/3409.63 c #Conflicts: 1680000 | #Constraints: 63257 3399.56/3409.63 c #Conflicts: 1681000 | #Constraints: 64257 3399.56/3409.63 c #Conflicts: 1682000 | #Constraints: 65257 3399.56/3409.63 c #Conflicts: 1683000 | #Constraints: 66257 3399.56/3409.63 c #Conflicts: 1684000 | #Constraints: 67257 3399.56/3409.63 c INPROCESSING 3399.56/3409.63 c GARBAGE COLLECT 3399.56/3409.63 c rational objective 82 3566.20/3576.74 c #Conflicts: 1685000 | #Constraints: 37560 3566.20/3576.74 c #Conflicts: 1686000 | #Constraints: 38560 3566.20/3576.74 c #Conflicts: 1687000 | #Constraints: 39560 3566.20/3576.74 c #Conflicts: 1688000 | #Constraints: 40560 3566.20/3576.74 c #Conflicts: 1689000 | #Constraints: 41560 3566.20/3576.74 c #Conflicts: 1690000 | #Constraints: 42560 3566.20/3576.74 c #Conflicts: 1691000 | #Constraints: 43560 3566.20/3576.74 c #Conflicts: 1692000 | #Constraints: 44560 3566.20/3576.74 c #Conflicts: 1693000 | #Constraints: 45560 3566.20/3576.74 c #Conflicts: 1694000 | #Constraints: 46560 3566.20/3576.74 c #Conflicts: 1695000 | #Constraints: 47560 3566.20/3576.74 c #Conflicts: 1696000 | #Constraints: 48561 3566.20/3576.74 c #Conflicts: 1697000 | #Constraints: 49561 3566.20/3576.74 c #Conflicts: 1698000 | #Constraints: 50563 3566.20/3576.74 c #Conflicts: 1699000 | #Constraints: 51563 3566.20/3576.74 c #Conflicts: 1700000 | #Constraints: 52563 3566.20/3576.74 c #Conflicts: 1701000 | #Constraints: 53563 3566.20/3576.74 c #Conflicts: 1702000 | #Constraints: 54563 3566.20/3576.74 c #Conflicts: 1703000 | #Constraints: 55563 3566.20/3576.74 c #Conflicts: 1704000 | #Constraints: 56563 3566.20/3576.74 c #Conflicts: 1705000 | #Constraints: 57563 3566.20/3576.74 c #Conflicts: 1706000 | #Constraints: 58563 3566.20/3576.74 c #Conflicts: 1707000 | #Constraints: 59564 3566.20/3576.74 c #Conflicts: 1708000 | #Constraints: 60564 3566.20/3576.74 c #Conflicts: 1709000 | #Constraints: 61565 3566.20/3576.74 c #Conflicts: 1710000 | #Constraints: 62565 3566.20/3576.74 c #Conflicts: 1711000 | #Constraints: 63566 3566.20/3576.74 c #Conflicts: 1712000 | #Constraints: 64566 3566.20/3576.74 c #Conflicts: 1713000 | #Constraints: 65567 3566.20/3576.74 c #Conflicts: 1714000 | #Constraints: 66567 3566.20/3576.74 c #Conflicts: 1715000 | #Constraints: 67567 3566.20/3576.74 c #Conflicts: 1716000 | #Constraints: 68567 3566.20/3576.74 c #Conflicts: 1717000 | #Constraints: 69567 3566.20/3576.74 c #Conflicts: 1718000 | #Constraints: 70567 3566.20/3576.74 c #Conflicts: 1719000 | #Constraints: 71567 3566.20/3576.74 c #Conflicts: 1720000 | #Constraints: 72567 3566.20/3576.74 c #Conflicts: 1721000 | #Constraints: 73567 3566.20/3576.74 c #Conflicts: 1722000 | #Constraints: 74567 3566.20/3576.74 c #Conflicts: 1723000 | #Constraints: 75567 3566.20/3576.74 c #Conflicts: 1724000 | #Constraints: 76567 3566.20/3576.74 c #Conflicts: 1725000 | #Constraints: 77567 3566.20/3576.74 c #Conflicts: 1726000 | #Constraints: 78567 3566.20/3576.74 c #Conflicts: 1727000 | #Constraints: 79567 3566.20/3576.74 c #Conflicts: 1728000 | #Constraints: 80568 3566.20/3576.74 c #Conflicts: 1729000 | #Constraints: 81568 3566.20/3576.74 c #Conflicts: 1730000 | #Constraints: 82568 3566.20/3576.74 c #Conflicts: 1731000 | #Constraints: 83569 3566.20/3576.74 c #Conflicts: 1732000 | #Constraints: 84569 3566.20/3576.74 c #Conflicts: 1733000 | #Constraints: 85569 3566.20/3576.74 c #Conflicts: 1734000 | #Constraints: 86569 3566.20/3576.74 c #Conflicts: 1735000 | #Constraints: 87569 3566.20/3576.74 c #Conflicts: 1736000 | #Constraints: 88569 3566.20/3576.74 c #Conflicts: 1737000 | #Constraints: 89569 3566.20/3576.74 c #Conflicts: 1738000 | #Constraints: 90569 3566.20/3576.74 c #Conflicts: 1739000 | #Constraints: 91569 3566.20/3576.74 c #Conflicts: 1740000 | #Constraints: 92569 3566.20/3576.74 c #Conflicts: 1741000 | #Constraints: 93569 3566.20/3576.74 c #Conflicts: 1742000 | #Constraints: 94569 3566.20/3576.74 c #Conflicts: 1743000 | #Constraints: 95569 3566.20/3576.74 c #Conflicts: 1744000 | #Constraints: 96569 3566.20/3576.74 c #Conflicts: 1745000 | #Constraints: 97569 3566.20/3576.74 c #Conflicts: 1746000 | #Constraints: 98569 3566.20/3576.74 c #Conflicts: 1747000 | #Constraints: 99569 3566.20/3576.74 c #Conflicts: 1748000 | #Constraints: 100569 3566.20/3576.74 c #Conflicts: 1749000 | #Constraints: 101569 3566.20/3576.74 c #Conflicts: 1750000 | #Constraints: 102569 3566.20/3576.74 c #Conflicts: 1751000 | #Constraints: 103569 3566.20/3576.74 c #Conflicts: 1752000 | #Constraints: 104570 3566.20/3576.74 c #Conflicts: 1753000 | #Constraints: 105570 3566.20/3576.74 c #Conflicts: 1754000 | #Constraints: 106570 3566.20/3576.74 c #Conflicts: 1755000 | #Constraints: 107570 3566.20/3576.74 c #Conflicts: 1756000 | #Constraints: 108570 3566.20/3576.74 c #Conflicts: 1757000 | #Constraints: 109570 3566.20/3576.74 c #Conflicts: 1758000 | #Constraints: 110570 3566.20/3576.74 c #Conflicts: 1759000 | #Constraints: 111571 3566.20/3576.74 c #Conflicts: 1760000 | #Constraints: 112571 3566.20/3576.74 c #Conflicts: 1761000 | #Constraints: 113571 3566.20/3576.74 c #Conflicts: 1762000 | #Constraints: 114571 3566.20/3576.74 c #Conflicts: 1763000 | #Constraints: 115571 3600.31/3610.95 c #Conflicts: 1764000 | #Constraints: 116571 3600.31/3610.95 c #Conflicts: 1765000 | #Constraints: 117571 3600.31/3610.95 c #Conflicts: 1766000 | #Constraints: 118571 3600.31/3610.95 c #Conflicts: 1767000 | #Constraints: 119571 3600.31/3610.95 c #Conflicts: 1768000 | #Constraints: 120571 3600.31/3610.95 c #Conflicts: 1769000 | #Constraints: 121571 3600.31/3610.95 c #Conflicts: 1770000 | #Constraints: 122571 3600.31/3610.95 c #Conflicts: 1771000 | #Constraints: 123571 3600.31/3610.95 c Program interrupted by user. 3600.31/3610.97 c cpu time 3562.51 s 3600.31/3610.97 c deterministic time 384890220868 3.85e+11 3600.31/3610.97 c optimization time 199.18 s 3600.31/3610.97 c total solve time 3363.31 s 3600.31/3610.97 c core-guided solve time 0 s 3600.31/3610.97 c propagation time 2459.48 s 3600.31/3610.97 c conflict analysis time 829.327 s 3600.31/3610.97 c propagations 746842775 3600.31/3610.97 c resolve steps 66925514 3600.31/3610.97 c decisions 12539172 3600.31/3610.97 c conflicts 1771151 3600.31/3610.97 c restarts 3418 3600.31/3610.97 c inprocessing phases 81 3600.31/3610.97 c input clauses 5660 3600.31/3610.97 c input cardinalities 82 3600.31/3610.97 c input general constraints 0 3600.31/3610.97 c input average constraint length 6.23 3600.31/3610.97 c input average constraint degree 1.94 3600.31/3610.97 c learned clauses 1226545 3600.31/3610.97 c learned cardinalities 35182 3600.31/3610.97 c learned general constraints 509621 3600.31/3610.97 c learned average constraint length 811.92 3600.31/3610.97 c learned average constraint degree 75262364.65 3600.31/3610.97 c watched constraints 441240 3600.31/3610.97 c counting constraints 68381 3600.31/3610.97 c gcd simplifications 7218 3600.31/3610.97 c detected cardinalities 1526 3600.31/3610.97 c weakened non-implied lits 255567534 3600.31/3610.97 c weakened non-implying lits 654430 3600.31/3610.97 c original variables 5576 3600.31/3610.97 c clausal propagations 278957701 3600.31/3610.97 c cardinality propagations 244716147 3600.31/3610.97 c watched propagations 69002451 3600.31/3610.97 c counting propagations 148477508 3600.31/3610.97 c watch lookups 33986965042 3600.31/3610.97 c watch backjump lookups 27034236319 3600.31/3610.97 c watch checks 269929309944 3600.31/3610.97 c propagation checks 48051848068 3600.31/3610.97 c constraint additions 4365053675 3600.31/3610.97 c trail pops 761148791 3600.31/3610.97 c formula constraints 5742 3600.31/3610.97 c learned constraints 1770952 3600.31/3610.97 c bound constraints 0 3600.31/3610.97 c core-guided constraints 0 3600.31/3610.97 c encountered formula constraints 38247588 3600.31/3610.97 c encountered learned constraints 30445226 3600.31/3610.97 c encountered bound constraints 0 3600.31/3610.97 c encountered core-guided constraints 0 3600.31/3610.97 c LP total time 717.218 s 3600.31/3610.97 c LP solve time 709.85 s 3600.31/3610.97 c LP constraints added 10962 3600.31/3610.97 c LP constraints removed 5145 3600.31/3610.97 c LP pivots internal 1774578 3600.31/3610.97 c LP pivots root 502503 3600.31/3610.97 c LP calls 334 3600.31/3610.97 c LP optimalities 130 3600.31/3610.97 c LP no pivot count 2 3600.31/3610.97 c LP infeasibilities 199 3600.31/3610.97 c LP valid Farkas constraints 198 3600.31/3610.97 c LP learned Farkas constraints 198 3600.31/3610.97 c LP basis resets 0 3600.31/3610.97 c LP cycling count 0 3600.31/3610.97 c LP singular count 0 3600.31/3610.97 c LP no primal count 0 3600.31/3610.97 c LP no farkas count 0 3600.31/3610.97 c LP other issue count 0 3600.31/3610.97 c LP Gomory cuts 0 3600.31/3610.97 c LP learned cuts 5220 3600.31/3610.97 c LP deleted cuts 5145 3600.31/3610.97 c LP encountered Gomory constraints 0 3600.31/3610.97 c LP encountered Farkas constraints 2841 3600.31/3610.97 c LP encountered learned Farkas constraints 811 3600.31/3610.97 c CG auxiliary variables introduced 0 3600.31/3610.97 c CG solutions found 0 3600.31/3610.97 c CG cores constructed 0 3600.31/3610.97 c CG core cardinality constraints returned 0 3600.31/3610.97 c CG unit cores 0 3600.31/3610.97 c CG single cores 0 3600.31/3610.97 c CG blocks removed during cardinality reduction 0 3600.31/3610.97 c CG first core best 0 3600.31/3610.97 c CG decision core best 0 3600.31/3610.97 c CG core reduction tie 0 3600.31/3610.97 c CG core degree average 0.00 3600.31/3610.97 c CG core slack average 0.00 3600.31/3610.97 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 (31054 MiB free)
memory of node 1: 64510 MiB (55305 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463056-1722345383/watcher-4463056-1722345383 -o /tmp/evaluation-result-4463056-1722345383/solver-4463056-1722345383 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6638 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463056-1722345383 --lp-cut-gomory=0 HOME/instance-4463056-1722345383.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=9260, runsolver pid=9257
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.15 4.14 4.13 5/259 9261
/proc/meminfo: memFree=88418608/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=47744 memory=16348 CPUtime=0.08 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 3137 0 0 0 7 1 0 0 20 0 1 0 1136240 48889856 4087 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 11936 4087 1672 992 0 3794 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47744 KiB
Current children cumulated memory: 16348 KiB
[startup+0.205609 s]*
/proc/loadavg: 4.15 4.14 4.13 5/259 9261
/proc/meminfo: memFree=88415752/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=48960 memory=17404 CPUtime=0.18 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 3419 0 0 0 17 1 0 0 20 0 1 0 1136240 50135040 4351 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 12240 4351 1672 992 0 4098 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 17404 KiB
[startup+0.305551 s]*
/proc/loadavg: 4.15 4.14 4.13 5/259 9261
/proc/meminfo: memFree=88414968/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=48960 memory=17404 CPUtime=0.28 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 3427 0 0 0 27 1 0 0 20 0 1 0 1136240 50135040 4351 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 12240 4351 1672 992 0 4098 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 17404 KiB
[startup+0.700206 s]
/proc/loadavg: 4.15 4.14 4.13 5/259 9261
/proc/meminfo: memFree=88411716/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=48960 memory=17404 CPUtime=0.66 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 3428 0 0 0 65 1 0 0 20 0 1 0 1136240 50135040 4351 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 12240 4351 1672 992 0 4098 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 17404 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.14 4.13 5/259 9261
/proc/meminfo: memFree=88396452/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=50240 memory=21944 CPUtime=1.46 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 3999 0 0 0 140 6 0 0 20 0 1 0 1136240 51445760 5486 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 12560 5486 1704 992 0 4418 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 50240 KiB
Current children cumulated memory: 21944 KiB
[startup+3.10543 s]
/proc/loadavg: 4.15 4.14 4.13 5/259 9261
/proc/meminfo: memFree=88358148/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=51524 memory=22996 CPUtime=3.07 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 4282 0 0 0 299 8 0 0 20 0 1 0 1136240 52760576 5749 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 12881 5749 1704 992 0 4739 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 51524 KiB
Current children cumulated memory: 22996 KiB
[startup+6.30017 s]
/proc/loadavg: 4.14 4.14 4.13 5/259 9263
/proc/meminfo: memFree=88289856/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=52696 memory=25068 CPUtime=6.25 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 4740 0 0 0 608 17 0 0 20 0 1 0 1136240 53960704 6267 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 13174 6267 1765 992 0 5032 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 52696 KiB
Current children cumulated memory: 25068 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.13 5/259 9263
/proc/meminfo: memFree=88133624/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=57128 memory=28400 CPUtime=12.64 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 5523 0 0 0 1235 29 0 0 20 0 1 0 1136240 58499072 7100 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 14282 7100 1797 992 0 6140 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57128 KiB
Current children cumulated memory: 28400 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.13 5/259 9266
/proc/meminfo: memFree=87767300/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=64368 memory=33724 CPUtime=25.41 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 6893 0 0 0 2477 64 0 0 20 0 1 0 1136240 65912832 8431 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 16092 8431 1797 992 0 7950 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64368 KiB
Current children cumulated memory: 33724 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.12 4.12 5/258 9269
/proc/meminfo: memFree=87097028/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=77280 memory=46032 CPUtime=50.95 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 9111 0 0 0 4984 111 0 0 20 0 1 0 1136240 79134720 11508 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 19320 11508 1797 992 0 11178 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 77280 KiB
Current children cumulated memory: 46032 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/258 9279
/proc/meminfo: memFree=85780196/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=113184 memory=80976 CPUtime=102.03 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 11903 0 0 0 9992 211 0 0 20 0 1 0 1136240 115900416 20244 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 28296 20244 1797 992 0 20154 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 113184 KiB
Current children cumulated memory: 80976 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.14 4.12 5/258 9289
/proc/meminfo: memFree=83811340/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=206300 memory=144236 CPUtime=161.88 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 16402 0 0 0 15876 312 0 0 20 0 1 0 1136240 211251200 36059 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 51575 36059 1797 992 0 43433 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 206300 KiB
Current children cumulated memory: 144236 KiB
[startup+222.3 s]
/proc/loadavg: 4.54 4.25 4.16 5/258 9300
/proc/meminfo: memFree=82182224/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=221708 memory=169380 CPUtime=221.73 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 20187 0 0 0 21759 414 0 0 20 0 1 0 1136240 227028992 42345 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 55427 42345 1797 992 0 47285 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 221708 KiB
Current children cumulated memory: 169380 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.22 4.16 5/261 9317
/proc/meminfo: memFree=80728776/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=221892 memory=169812 CPUtime=281.57 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 20678 0 0 0 27643 514 0 0 20 0 1 0 1136240 227217408 42453 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 55473 42453 1797 992 0 47331 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 221892 KiB
Current children cumulated memory: 169812 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/260 9327
/proc/meminfo: memFree=79535652/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=312980 memory=224092 CPUtime=341.4 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 23614 0 0 0 33543 597 0 0 20 0 1 0 1136240 320491520 56023 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 78245 56023 1797 992 0 70103 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 312980 KiB
Current children cumulated memory: 224092 KiB
[startup+402.3 s]
/proc/loadavg: 4.35 4.26 4.18 5/260 9337
/proc/meminfo: memFree=77632208/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=313724 memory=225148 CPUtime=401.23 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 23861 0 0 0 39417 706 0 0 20 0 1 0 1136240 321253376 56287 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 78431 56287 1797 992 0 70289 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 313724 KiB
Current children cumulated memory: 225148 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.22 4.17 5/261 9348
/proc/meminfo: memFree=76509040/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=321356 memory=269004 CPUtime=461.05 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 25621 0 0 0 45337 768 0 0 20 0 1 0 1136240 329068544 67251 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 80339 67251 1797 992 0 72197 0
################
# More data... #
################
Current children cumulated memory: 661848 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.16 4.15 5/261 11178
/proc/meminfo: memFree=118635932/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=761576 memory=661456 CPUtime=2973.36 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 60099 0 0 0 294044 3292 0 0 20 0 1 0 1136240 779853824 165364 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 190394 165364 1797 992 0 182252 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 761576 KiB
Current children cumulated memory: 661456 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.18 4.16 5/260 11188
/proc/meminfo: memFree=117863556/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=761708 memory=661632 CPUtime=3033.22 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 60326 0 0 0 299975 3347 0 0 20 0 1 0 1136240 779988992 165408 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 190427 165408 1797 992 0 182285 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 761708 KiB
Current children cumulated memory: 661632 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/260 11203
/proc/meminfo: memFree=117429428/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=761912 memory=661684 CPUtime=3093.08 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 60610 0 0 0 305924 3384 0 0 20 0 1 0 1136240 780197888 165421 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 190478 165421 1797 992 0 182336 0
Current children cumulated CPU time: 3093.08 s
Current children cumulated vsize: 761912 KiB
Current children cumulated memory: 661684 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/259 11213
/proc/meminfo: memFree=116972024/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=763248 memory=663024 CPUtime=3152.93 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 61216 0 0 0 311878 3415 0 0 20 0 1 0 1136240 781565952 165756 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 190812 165756 1797 992 0 182670 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 763248 KiB
Current children cumulated memory: 663024 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/259 11223
/proc/meminfo: memFree=116462876/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=767312 memory=666112 CPUtime=3212.77 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 62685 0 0 0 317825 3452 0 0 20 0 1 0 1136240 785727488 166528 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 191828 166528 1797 992 0 183686 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 666112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/261 11239
/proc/meminfo: memFree=115904024/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=767764 memory=666568 CPUtime=3272.61 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 63340 0 0 0 323759 3502 0 0 20 0 1 0 1136240 786190336 166642 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 191941 166642 1797 992 0 183799 0
Current children cumulated CPU time: 3272.61 s
Current children cumulated vsize: 767764 KiB
Current children cumulated memory: 666568 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/260 11249
/proc/meminfo: memFree=115179680/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=767764 memory=666588 CPUtime=3332.44 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 63865 0 0 0 329687 3557 0 0 20 0 1 0 1136240 786190336 166647 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 191941 166647 1797 992 0 183799 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 767764 KiB
Current children cumulated memory: 666588 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/259 11260
/proc/meminfo: memFree=114356180/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=767536 memory=666236 CPUtime=3392.28 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 64285 0 0 0 335606 3622 0 0 20 0 1 0 1136240 785956864 166559 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 191884 166559 1797 992 0 183742 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 767536 KiB
Current children cumulated memory: 666236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/259 11270
/proc/meminfo: memFree=113720904/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=767836 memory=666748 CPUtime=3452.12 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 64556 0 0 0 341511 3701 0 0 20 0 1 0 1136240 786264064 166687 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 191959 166687 1797 992 0 183817 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 767836 KiB
Current children cumulated memory: 666748 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/259 11281
/proc/meminfo: memFree=113015924/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=767836 memory=666760 CPUtime=3511.95 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 64804 0 0 0 347455 3740 0 0 20 0 1 0 1136240 786264064 166690 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 191959 166690 1797 992 0 183817 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 767836 KiB
Current children cumulated memory: 666760 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/260 11292
/proc/meminfo: memFree=112418480/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=768256 memory=667012 CPUtime=3571.79 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 65128 0 0 0 353406 3773 0 0 20 0 1 0 1136240 786694144 166753 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 192064 166753 1797 992 0 183922 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 768256 KiB
Current children cumulated memory: 667012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.12 4.12 4.13 5/258 11297
/proc/meminfo: memFree=112218840/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=770736 memory=668588 CPUtime=3600.01 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 65821 0 0 0 356216 3785 0 0 20 0 1 0 1136240 789233664 167147 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 192684 167147 1797 992 0 184542 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 770736 KiB
Current children cumulated memory: 668588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.97 s]
# the end of solver process 9260 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.51 s, system=37.8581 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.8 s]
/proc/loadavg: 4.12 4.12 4.13 5/258 11297
/proc/meminfo: memFree=112218840/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=770736 memory=668588 CPUtime=3600.21 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 65821 0 0 0 356236 3785 0 0 20 0 1 0 1136240 789233664 167147 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 192684 167147 1797 992 0 184542 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 770736 KiB
Current children cumulated memory: 668588 KiB
[startup+3610.9 s]
/proc/loadavg: 4.12 4.12 4.13 5/258 11297
/proc/meminfo: memFree=112218840/131524600 swapFree=131071996/131071996
[pid=9260] ppid=9257 vsize=770736 memory=668588 CPUtime=3600.31 cores=5,7
/proc/9260/stat : 9260 (roundingsat) R 9257 9260 6624 0 -1 4194304 65823 0 0 0 356246 3785 0 0 20 0 1 0 1136240 789233664 167147 134679101440 4194304 8255733 140720492443760 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25927680 140720492450654 140720492450916 140720492450916 140720492457929 0
/proc/9260/statm: 192684 167147 1797 992 0 184542 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 770736 KiB
Current children cumulated memory: 668588 KiB
Child status: 0
Real time (s): 3610.97
CPU time (s): 3600.37
CPU user time (s): 3562.51
CPU system time (s): 37.8581
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 770736
Max. memory (cumulated for all children) (KiB): 668588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.51
system time used= 37.8581
maximum resident set size= 668588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10096216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 154
involuntary context switches= 4899
# summary of solver processes directly reported to runsolver:
# pid: 9260
# total CPU time (s): 3600.37
# total CPU user time (s): 3562.51
# total CPU system time (s): 37.8581
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79481 second user time and 16.002 second system time
The end
Begin job on nodeC020 at 2024-07-30 15:16:23 IDJOB=4463056 IDBENCH=158340 IDSOLVER=3089 FILE ID=nodeC020/4463056-1722345383 RUNJOBID= nodeC020-1722340763-6638 SLURM_JOB_ID= 8248993 Free space on /tmp= 889956 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-4463056-1722345383/watcher-4463056-1722345383 -o /tmp/evaluation-result-4463056-1722345383/solver-4463056-1722345383 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6638 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463056-1722345383 --lp-cut-gomory=0 HOME/instance-4463056-1722345383.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5599f1c242004f89302cb9020bac47d1 RANDOM SEED=86805721 nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.274 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.38 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 : 3677.121 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.00 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.223 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.38 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 : 3604.584 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.00 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 : 3658.272 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.38 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 : 3655.548 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.00 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.235 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.38 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 : 3665.004 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.00 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 88432620 kB MemAvailable: 124089112 kB Buffers: 52944 kB Cached: 36399448 kB SwapCached: 0 kB Active: 273940 kB Inactive: 42252200 kB Active(anon): 1576 kB Inactive(anon): 6093660 kB Active(file): 272364 kB Inactive(file): 36158540 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 186984 kB Writeback: 0 kB AnonPages: 6071576 kB Mapped: 97808 kB Shmem: 21336 kB KReclaimable: 130472 kB Slab: 217076 kB SReclaimable: 130472 kB SUnreclaim: 86604 kB KernelStack: 4160 kB PageTables: 21216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7276152 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8992 kB HardwareCorrupted: 0 kB AnonHugePages: 3139584 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: 193236 kB DirectMap2M: 10065920 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890060 MiB End job on nodeC020 at 2024-07-30 16:16:34