| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.1 | 3609.94 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K90.opb |
| MD5SUM | dd58632d9551a3604736dadf6eadc418 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 113.256 |
| 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 | 6120 |
| Total number of constraints | 6302 |
| Number of constraints which are clauses | 6212 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 90 |
| 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 | 91 |
| 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.04 c #variables 6120 #constraints 6302 18.13/18.27 c #Conflicts: 1000 | #Constraints: 7301 18.13/18.27 c #Conflicts: 2000 | #Constraints: 8301 18.13/18.27 c INPROCESSING 18.13/18.27 c GARBAGE COLLECT 18.13/18.27 c #Conflicts: 3000 | #Constraints: 7984 18.13/18.27 c #Conflicts: 4000 | #Constraints: 8984 18.13/18.27 c INPROCESSING 18.13/18.27 c GARBAGE COLLECT 18.13/18.27 c #Conflicts: 5000 | #Constraints: 8435 18.13/18.27 c #Conflicts: 6000 | #Constraints: 9436 18.13/18.27 c INPROCESSING 18.13/18.27 c GARBAGE COLLECT 18.13/18.27 c #Conflicts: 7000 | #Constraints: 8502 18.13/18.27 c #Conflicts: 8000 | #Constraints: 9502 18.13/18.27 c #Conflicts: 9000 | #Constraints: 10503 18.13/18.27 c INPROCESSING 18.13/18.27 c GARBAGE COLLECT 18.13/18.27 c #Conflicts: 10000 | #Constraints: 9263 18.13/18.27 c #Conflicts: 11000 | #Constraints: 10263 18.13/18.27 c #Conflicts: 12000 | #Constraints: 11264 18.13/18.27 c INPROCESSING 18.13/18.27 c GARBAGE COLLECT 18.13/18.27 c #Conflicts: 13000 | #Constraints: 9748 18.13/18.27 c #Conflicts: 14000 | #Constraints: 10748 18.13/18.27 c #Conflicts: 15000 | #Constraints: 11749 18.13/18.27 c INPROCESSING 18.13/18.27 c GARBAGE COLLECT 18.13/18.27 c rational objective 90 32.49/32.68 c #Conflicts: 16000 | #Constraints: 10021 32.49/32.68 c #Conflicts: 17000 | #Constraints: 11021 32.49/32.68 c #Conflicts: 18000 | #Constraints: 12021 32.49/32.68 c INPROCESSING 32.49/32.68 c GARBAGE COLLECT 32.49/32.68 c #Conflicts: 19000 | #Constraints: 10058 32.49/32.68 c #Conflicts: 20000 | #Constraints: 11058 32.49/32.68 c #Conflicts: 21000 | #Constraints: 12058 32.49/32.68 c INPROCESSING 32.49/32.68 c GARBAGE COLLECT 32.49/32.68 c #Conflicts: 22000 | #Constraints: 9901 32.49/32.68 c #Conflicts: 23000 | #Constraints: 10901 32.49/32.68 c #Conflicts: 24000 | #Constraints: 11901 32.49/32.68 c #Conflicts: 25000 | #Constraints: 12901 32.49/32.68 c INPROCESSING 32.49/32.68 c GARBAGE COLLECT 32.49/32.68 c #Conflicts: 26000 | #Constraints: 10528 32.49/32.68 c #Conflicts: 27000 | #Constraints: 11528 32.49/32.68 c #Conflicts: 28000 | #Constraints: 12528 32.49/32.68 c #Conflicts: 29000 | #Constraints: 13528 32.49/32.68 c INPROCESSING 32.49/32.68 c GARBAGE COLLECT 32.49/32.68 c rational objective 90 51.34/51.53 c #Conflicts: 30000 | #Constraints: 10905 51.34/51.53 c #Conflicts: 31000 | #Constraints: 11905 51.34/51.53 c #Conflicts: 32000 | #Constraints: 12905 51.34/51.53 c #Conflicts: 33000 | #Constraints: 13905 51.34/51.53 c INPROCESSING 51.34/51.53 c GARBAGE COLLECT 51.34/51.53 c #Conflicts: 34000 | #Constraints: 11132 51.34/51.53 c #Conflicts: 35000 | #Constraints: 12132 51.34/51.53 c #Conflicts: 36000 | #Constraints: 13132 51.34/51.53 c #Conflicts: 37000 | #Constraints: 14133 51.34/51.53 c INPROCESSING 51.34/51.53 c GARBAGE COLLECT 51.34/51.53 c #Conflicts: 38000 | #Constraints: 11173 51.34/51.53 c #Conflicts: 39000 | #Constraints: 12173 51.34/51.53 c #Conflicts: 40000 | #Constraints: 13173 51.34/51.53 c #Conflicts: 41000 | #Constraints: 14173 51.34/51.53 c INPROCESSING 51.34/51.53 c GARBAGE COLLECT 51.34/51.53 c rational objective 90 62.72/62.98 c #Conflicts: 42000 | #Constraints: 10988 62.72/62.98 c #Conflicts: 43000 | #Constraints: 11988 62.72/62.98 c #Conflicts: 44000 | #Constraints: 12988 62.72/62.98 c #Conflicts: 45000 | #Constraints: 13988 62.72/62.98 c #Conflicts: 46000 | #Constraints: 14988 62.72/62.98 c INPROCESSING 62.72/62.98 c GARBAGE COLLECT 62.72/62.98 c #Conflicts: 47000 | #Constraints: 11582 62.72/62.98 c #Conflicts: 48000 | #Constraints: 12582 62.72/62.98 c #Conflicts: 49000 | #Constraints: 13582 62.72/62.98 c #Conflicts: 50000 | #Constraints: 14582 62.72/62.98 c #Conflicts: 51000 | #Constraints: 15582 62.72/62.98 c INPROCESSING 62.72/62.98 c GARBAGE COLLECT 62.72/62.98 c #Conflicts: 52000 | #Constraints: 11986 62.72/62.98 c #Conflicts: 53000 | #Constraints: 12986 62.72/62.98 c #Conflicts: 54000 | #Constraints: 13986 62.72/62.98 c #Conflicts: 55000 | #Constraints: 14986 62.72/62.98 c #Conflicts: 56000 | #Constraints: 15986 62.72/62.98 c INPROCESSING 62.72/62.98 c GARBAGE COLLECT 62.72/62.98 c rational objective 90 93.74/94.04 c #Conflicts: 57000 | #Constraints: 12218 93.74/94.04 c #Conflicts: 58000 | #Constraints: 13219 93.74/94.04 c #Conflicts: 59000 | #Constraints: 14219 93.74/94.04 c #Conflicts: 60000 | #Constraints: 15219 93.74/94.04 c #Conflicts: 61000 | #Constraints: 16219 93.74/94.04 c INPROCESSING 93.74/94.04 c GARBAGE COLLECT 93.74/94.04 c #Conflicts: 62000 | #Constraints: 12223 93.74/94.04 c #Conflicts: 63000 | #Constraints: 13223 93.74/94.04 c #Conflicts: 64000 | #Constraints: 14223 93.74/94.04 c #Conflicts: 65000 | #Constraints: 15223 93.74/94.04 c #Conflicts: 66000 | #Constraints: 16223 93.74/94.04 c INPROCESSING 93.74/94.04 c GARBAGE COLLECT 93.74/94.04 c #Conflicts: 67000 | #Constraints: 11996 93.74/94.04 c #Conflicts: 68000 | #Constraints: 12996 93.74/94.04 c #Conflicts: 69000 | #Constraints: 13996 93.74/94.04 c #Conflicts: 70000 | #Constraints: 14997 93.74/94.04 c #Conflicts: 71000 | #Constraints: 15997 93.74/94.04 c #Conflicts: 72000 | #Constraints: 16997 93.74/94.04 c INPROCESSING 93.74/94.04 c GARBAGE COLLECT 93.74/94.04 c rational objective 90 127.05/127.40 c #Conflicts: 73000 | #Constraints: 12663 127.05/127.40 c #Conflicts: 74000 | #Constraints: 13663 127.05/127.40 c #Conflicts: 75000 | #Constraints: 14663 127.05/127.40 c #Conflicts: 76000 | #Constraints: 15663 127.05/127.40 c #Conflicts: 77000 | #Constraints: 16663 127.05/127.40 c #Conflicts: 78000 | #Constraints: 17663 127.05/127.40 c INPROCESSING 127.05/127.40 c GARBAGE COLLECT 127.05/127.40 c #Conflicts: 79000 | #Constraints: 13098 127.05/127.40 c #Conflicts: 80000 | #Constraints: 14098 127.05/127.40 c #Conflicts: 81000 | #Constraints: 15098 127.05/127.40 c #Conflicts: 82000 | #Constraints: 16098 127.05/127.40 c #Conflicts: 83000 | #Constraints: 17098 127.05/127.40 c #Conflicts: 84000 | #Constraints: 18099 127.05/127.40 c #Conflicts: 85000 | #Constraints: 19099 127.05/127.40 c #Conflicts: 86000 | #Constraints: 20099 127.05/127.40 c #Conflicts: 87000 | #Constraints: 21099 127.05/127.40 c #Conflicts: 88000 | #Constraints: 22099 127.05/127.40 c #Conflicts: 89000 | #Constraints: 23099 127.05/127.40 c #Conflicts: 90000 | #Constraints: 24099 127.05/127.40 c #Conflicts: 91000 | #Constraints: 25099 127.05/127.40 c #Conflicts: 92000 | #Constraints: 26100 127.05/127.40 c #Conflicts: 93000 | #Constraints: 27100 127.05/127.40 c #Conflicts: 94000 | #Constraints: 28100 127.05/127.40 c #Conflicts: 95000 | #Constraints: 29100 127.05/127.40 c #Conflicts: 96000 | #Constraints: 30100 127.05/127.40 c #Conflicts: 97000 | #Constraints: 31100 127.05/127.40 c #Conflicts: 98000 | #Constraints: 32100 127.05/127.40 c #Conflicts: 99000 | #Constraints: 33100 127.05/127.40 c #Conflicts: 100000 | #Constraints: 34100 127.05/127.40 c #Conflicts: 101000 | #Constraints: 35100 127.05/127.40 c #Conflicts: 102000 | #Constraints: 36100 127.05/127.40 c INPROCESSING 127.05/127.40 c GARBAGE COLLECT 127.05/127.40 c rational objective 90 136.53/136.90 c #Conflicts: 103000 | #Constraints: 21892 136.53/136.90 c #Conflicts: 104000 | #Constraints: 22892 136.53/136.90 c #Conflicts: 105000 | #Constraints: 23893 136.53/136.90 c #Conflicts: 106000 | #Constraints: 24894 136.53/136.90 c #Conflicts: 107000 | #Constraints: 25894 136.53/136.90 c #Conflicts: 108000 | #Constraints: 26894 136.53/136.90 c #Conflicts: 109000 | #Constraints: 27894 136.53/136.90 c #Conflicts: 110000 | #Constraints: 28894 136.53/136.90 c INPROCESSING 136.53/136.90 c GARBAGE COLLECT 136.53/136.90 c rational objective 90 144.40/144.88 c #Conflicts: 111000 | #Constraints: 18770 144.40/144.88 c #Conflicts: 112000 | #Constraints: 19770 144.40/144.88 c #Conflicts: 113000 | #Constraints: 20770 144.40/144.88 c #Conflicts: 114000 | #Constraints: 21770 144.40/144.88 c #Conflicts: 115000 | #Constraints: 22770 144.40/144.88 c #Conflicts: 116000 | #Constraints: 23770 144.40/144.88 c #Conflicts: 117000 | #Constraints: 24770 144.40/144.88 c INPROCESSING 144.40/144.88 c GARBAGE COLLECT 144.40/144.88 c rational objective 90 157.77/158.24 c #Conflicts: 118000 | #Constraints: 16562 157.77/158.24 c #Conflicts: 119000 | #Constraints: 17562 157.77/158.24 c #Conflicts: 120000 | #Constraints: 18563 157.77/158.24 c #Conflicts: 121000 | #Constraints: 19563 157.77/158.24 c #Conflicts: 122000 | #Constraints: 20563 157.77/158.24 c #Conflicts: 123000 | #Constraints: 21563 157.77/158.24 c #Conflicts: 124000 | #Constraints: 22563 157.77/158.24 c INPROCESSING 157.77/158.24 c GARBAGE COLLECT 157.77/158.24 c rational objective 90 166.95/167.44 c #Conflicts: 125000 | #Constraints: 15220 166.95/167.44 c #Conflicts: 126000 | #Constraints: 16220 166.95/167.44 c #Conflicts: 127000 | #Constraints: 17220 166.95/167.44 c #Conflicts: 128000 | #Constraints: 18220 166.95/167.44 c #Conflicts: 129000 | #Constraints: 19220 166.95/167.44 c #Conflicts: 130000 | #Constraints: 20220 166.95/167.44 c #Conflicts: 131000 | #Constraints: 21220 166.95/167.44 c #Conflicts: 132000 | #Constraints: 22220 166.95/167.44 c INPROCESSING 166.95/167.44 c GARBAGE COLLECT 166.95/167.44 c rational objective 90 171.64/172.12 c #Conflicts: 133000 | #Constraints: 15184 171.64/172.12 c #Conflicts: 134000 | #Constraints: 16184 171.64/172.12 c #Conflicts: 135000 | #Constraints: 17184 171.64/172.12 c #Conflicts: 136000 | #Constraints: 18184 171.64/172.12 c #Conflicts: 137000 | #Constraints: 19184 171.64/172.12 c #Conflicts: 138000 | #Constraints: 20184 171.64/172.12 c #Conflicts: 139000 | #Constraints: 21184 171.64/172.12 c #Conflicts: 140000 | #Constraints: 22184 171.64/172.12 c INPROCESSING 171.64/172.12 c GARBAGE COLLECT 171.64/172.12 c rational objective 90 208.14/208.79 c #Conflicts: 141000 | #Constraints: 15219 208.14/208.79 c #Conflicts: 142000 | #Constraints: 16219 208.14/208.79 c #Conflicts: 143000 | #Constraints: 17219 208.14/208.79 c #Conflicts: 144000 | #Constraints: 18220 208.14/208.79 c #Conflicts: 145000 | #Constraints: 19222 208.14/208.79 c #Conflicts: 146000 | #Constraints: 20222 208.14/208.79 c #Conflicts: 147000 | #Constraints: 21222 208.14/208.79 c #Conflicts: 148000 | #Constraints: 22222 208.14/208.79 c #Conflicts: 149000 | #Constraints: 23222 208.14/208.79 c #Conflicts: 150000 | #Constraints: 24222 208.14/208.79 c #Conflicts: 151000 | #Constraints: 25222 208.14/208.79 c #Conflicts: 152000 | #Constraints: 26222 208.14/208.79 c #Conflicts: 153000 | #Constraints: 27222 208.14/208.79 c #Conflicts: 154000 | #Constraints: 28222 208.14/208.79 c #Conflicts: 155000 | #Constraints: 29222 208.14/208.79 c #Conflicts: 156000 | #Constraints: 30222 208.14/208.79 c #Conflicts: 157000 | #Constraints: 31222 208.14/208.79 c #Conflicts: 158000 | #Constraints: 32222 208.14/208.79 c #Conflicts: 159000 | #Constraints: 33223 208.14/208.79 c #Conflicts: 160000 | #Constraints: 34223 208.14/208.79 c #Conflicts: 161000 | #Constraints: 35223 208.14/208.79 c #Conflicts: 162000 | #Constraints: 36223 208.14/208.79 c #Conflicts: 163000 | #Constraints: 37223 208.14/208.79 c #Conflicts: 164000 | #Constraints: 38223 208.14/208.79 c #Conflicts: 165000 | #Constraints: 39223 208.14/208.79 c #Conflicts: 166000 | #Constraints: 40223 208.14/208.79 c #Conflicts: 167000 | #Constraints: 41223 208.14/208.79 c #Conflicts: 168000 | #Constraints: 42223 208.14/208.79 c #Conflicts: 169000 | #Constraints: 43223 208.14/208.79 c #Conflicts: 170000 | #Constraints: 44223 208.14/208.79 c #Conflicts: 171000 | #Constraints: 45223 208.14/208.79 c #Conflicts: 172000 | #Constraints: 46223 208.14/208.79 c INPROCESSING 208.14/208.79 c GARBAGE COLLECT 208.14/208.79 c rational objective 90 221.20/221.87 c #Conflicts: 173000 | #Constraints: 27047 221.20/221.87 c #Conflicts: 174000 | #Constraints: 28047 221.20/221.87 c #Conflicts: 175000 | #Constraints: 29047 221.20/221.87 c #Conflicts: 176000 | #Constraints: 30047 221.20/221.87 c #Conflicts: 177000 | #Constraints: 31047 221.20/221.87 c #Conflicts: 178000 | #Constraints: 32047 221.20/221.87 c #Conflicts: 179000 | #Constraints: 33048 221.20/221.87 c #Conflicts: 180000 | #Constraints: 34049 221.20/221.87 c #Conflicts: 181000 | #Constraints: 35049 221.20/221.87 c #Conflicts: 182000 | #Constraints: 36049 221.20/221.87 c INPROCESSING 221.20/221.87 c GARBAGE COLLECT 221.20/221.87 c rational objective 90 236.17/236.83 c #Conflicts: 183000 | #Constraints: 22409 236.17/236.83 c #Conflicts: 184000 | #Constraints: 23409 236.17/236.83 c #Conflicts: 185000 | #Constraints: 24410 236.17/236.83 c #Conflicts: 186000 | #Constraints: 25410 236.17/236.83 c #Conflicts: 187000 | #Constraints: 26410 236.17/236.83 c #Conflicts: 188000 | #Constraints: 27410 236.17/236.83 c #Conflicts: 189000 | #Constraints: 28410 236.17/236.83 c #Conflicts: 190000 | #Constraints: 29411 236.17/236.83 c #Conflicts: 191000 | #Constraints: 30411 236.17/236.83 c INPROCESSING 236.17/236.83 c GARBAGE COLLECT 236.17/236.83 c rational objective 90 247.35/248.10 c #Conflicts: 192000 | #Constraints: 19363 247.35/248.10 c #Conflicts: 193000 | #Constraints: 20363 247.35/248.10 c #Conflicts: 194000 | #Constraints: 21363 247.35/248.10 c #Conflicts: 195000 | #Constraints: 22363 247.35/248.10 c #Conflicts: 196000 | #Constraints: 23363 247.35/248.10 c #Conflicts: 197000 | #Constraints: 24363 247.35/248.10 c #Conflicts: 198000 | #Constraints: 25363 247.35/248.10 c #Conflicts: 199000 | #Constraints: 26363 247.35/248.10 c #Conflicts: 200000 | #Constraints: 27363 247.35/248.10 c #Conflicts: 201000 | #Constraints: 28363 247.35/248.10 c INPROCESSING 247.35/248.10 c GARBAGE COLLECT 247.35/248.10 c rational objective 90 265.10/265.87 c #Conflicts: 202000 | #Constraints: 18572 265.10/265.87 c #Conflicts: 203000 | #Constraints: 19572 265.10/265.87 c #Conflicts: 204000 | #Constraints: 20573 265.10/265.87 c #Conflicts: 205000 | #Constraints: 21573 265.10/265.87 c #Conflicts: 206000 | #Constraints: 22573 265.10/265.87 c #Conflicts: 207000 | #Constraints: 23573 265.10/265.87 c #Conflicts: 208000 | #Constraints: 24573 265.10/265.87 c #Conflicts: 209000 | #Constraints: 25573 265.10/265.87 c #Conflicts: 210000 | #Constraints: 26573 265.10/265.87 c INPROCESSING 265.10/265.87 c GARBAGE COLLECT 265.10/265.87 c rational objective 90 314.48/315.34 c #Conflicts: 211000 | #Constraints: 17302 314.48/315.34 c #Conflicts: 212000 | #Constraints: 18302 314.48/315.34 c #Conflicts: 213000 | #Constraints: 19302 314.48/315.34 c #Conflicts: 214000 | #Constraints: 20302 314.48/315.34 c #Conflicts: 215000 | #Constraints: 21303 314.48/315.34 c #Conflicts: 216000 | #Constraints: 22303 314.48/315.34 c #Conflicts: 217000 | #Constraints: 23304 314.48/315.34 c #Conflicts: 218000 | #Constraints: 24304 314.48/315.34 c #Conflicts: 219000 | #Constraints: 25304 314.48/315.34 c #Conflicts: 220000 | #Constraints: 26304 314.48/315.34 c #Conflicts: 221000 | #Constraints: 27305 314.48/315.34 c #Conflicts: 222000 | #Constraints: 28305 314.48/315.34 c #Conflicts: 223000 | #Constraints: 29305 314.48/315.34 c #Conflicts: 224000 | #Constraints: 30305 314.48/315.34 c #Conflicts: 225000 | #Constraints: 31305 314.48/315.34 c #Conflicts: 226000 | #Constraints: 32305 314.48/315.34 c #Conflicts: 227000 | #Constraints: 33305 314.48/315.34 c #Conflicts: 228000 | #Constraints: 34305 314.48/315.34 c #Conflicts: 229000 | #Constraints: 35305 314.48/315.34 c #Conflicts: 230000 | #Constraints: 36305 314.48/315.34 c #Conflicts: 231000 | #Constraints: 37305 314.48/315.34 c #Conflicts: 232000 | #Constraints: 38305 314.48/315.34 c #Conflicts: 233000 | #Constraints: 39305 314.48/315.34 c #Conflicts: 234000 | #Constraints: 40305 314.48/315.34 c #Conflicts: 235000 | #Constraints: 41305 314.48/315.34 c #Conflicts: 236000 | #Constraints: 42305 314.48/315.34 c #Conflicts: 237000 | #Constraints: 43305 314.48/315.34 c #Conflicts: 238000 | #Constraints: 44305 314.48/315.34 c #Conflicts: 239000 | #Constraints: 45305 314.48/315.34 c #Conflicts: 240000 | #Constraints: 46305 314.48/315.34 c #Conflicts: 241000 | #Constraints: 47305 314.48/315.34 c #Conflicts: 242000 | #Constraints: 48305 314.48/315.34 c #Conflicts: 243000 | #Constraints: 49306 314.48/315.34 c #Conflicts: 244000 | #Constraints: 50307 314.48/315.34 c #Conflicts: 245000 | #Constraints: 51307 314.48/315.34 c #Conflicts: 246000 | #Constraints: 52307 314.48/315.34 c #Conflicts: 247000 | #Constraints: 53307 314.48/315.34 c #Conflicts: 248000 | #Constraints: 54307 314.48/315.34 c #Conflicts: 249000 | #Constraints: 55307 314.48/315.34 c INPROCESSING 314.48/315.34 c GARBAGE COLLECT 314.48/315.34 c rational objective 90 335.82/336.70 c #Conflicts: 250000 | #Constraints: 31754 335.82/336.70 c #Conflicts: 251000 | #Constraints: 32754 335.82/336.70 c #Conflicts: 252000 | #Constraints: 33754 335.82/336.70 c #Conflicts: 253000 | #Constraints: 34754 335.82/336.70 c #Conflicts: 254000 | #Constraints: 35754 335.82/336.70 c #Conflicts: 255000 | #Constraints: 36754 335.82/336.70 c #Conflicts: 256000 | #Constraints: 37754 335.82/336.70 c #Conflicts: 257000 | #Constraints: 38754 335.82/336.70 c #Conflicts: 258000 | #Constraints: 39754 335.82/336.70 c #Conflicts: 259000 | #Constraints: 40754 335.82/336.70 c #Conflicts: 260000 | #Constraints: 41754 335.82/336.70 c INPROCESSING 335.82/336.70 c GARBAGE COLLECT 335.82/336.70 c rational objective 90 353.19/354.16 c #Conflicts: 261000 | #Constraints: 24939 353.19/354.16 c #Conflicts: 262000 | #Constraints: 25939 353.19/354.16 c #Conflicts: 263000 | #Constraints: 26939 353.19/354.16 c #Conflicts: 264000 | #Constraints: 27939 353.19/354.16 c #Conflicts: 265000 | #Constraints: 28941 353.19/354.16 c #Conflicts: 266000 | #Constraints: 29941 353.19/354.16 c #Conflicts: 267000 | #Constraints: 30941 353.19/354.16 c #Conflicts: 268000 | #Constraints: 31942 353.19/354.16 c #Conflicts: 269000 | #Constraints: 32942 353.19/354.16 c #Conflicts: 270000 | #Constraints: 33942 353.19/354.16 c #Conflicts: 271000 | #Constraints: 34942 353.19/354.16 c #Conflicts: 272000 | #Constraints: 35942 353.19/354.16 c INPROCESSING 353.19/354.16 c GARBAGE COLLECT 353.19/354.16 c rational objective 90 372.43/373.41 c #Conflicts: 273000 | #Constraints: 22426 372.43/373.41 c #Conflicts: 274000 | #Constraints: 23427 372.43/373.41 c #Conflicts: 275000 | #Constraints: 24427 372.43/373.41 c #Conflicts: 276000 | #Constraints: 25427 372.43/373.41 c #Conflicts: 277000 | #Constraints: 26427 372.43/373.41 c #Conflicts: 278000 | #Constraints: 27427 372.43/373.41 c #Conflicts: 279000 | #Constraints: 28427 372.43/373.41 c #Conflicts: 280000 | #Constraints: 29428 372.43/373.41 c #Conflicts: 281000 | #Constraints: 30428 372.43/373.41 c #Conflicts: 282000 | #Constraints: 31428 372.43/373.41 c #Conflicts: 283000 | #Constraints: 32428 372.43/373.41 c INPROCESSING 372.43/373.41 c GARBAGE COLLECT 372.43/373.41 c rational objective 90 390.99/392.01 c #Conflicts: 284000 | #Constraints: 20421 390.99/392.01 c #Conflicts: 285000 | #Constraints: 21421 390.99/392.01 c #Conflicts: 286000 | #Constraints: 22421 390.99/392.01 c #Conflicts: 287000 | #Constraints: 23421 390.99/392.01 c #Conflicts: 288000 | #Constraints: 24421 390.99/392.01 c #Conflicts: 289000 | #Constraints: 25421 390.99/392.01 c #Conflicts: 290000 | #Constraints: 26421 390.99/392.01 c #Conflicts: 291000 | #Constraints: 27421 390.99/392.01 c #Conflicts: 292000 | #Constraints: 28422 390.99/392.01 c #Conflicts: 293000 | #Constraints: 29422 390.99/392.01 c #Conflicts: 294000 | #Constraints: 30422 390.99/392.01 c #Conflicts: 295000 | #Constraints: 31422 390.99/392.01 c INPROCESSING 390.99/392.01 c GARBAGE COLLECT 390.99/392.01 c rational objective 90 490.44/491.78 c #Conflicts: 296000 | #Constraints: 20042 490.44/491.78 c #Conflicts: 297000 | #Constraints: 21043 490.44/491.78 c #Conflicts: 298000 | #Constraints: 22043 490.44/491.78 c #Conflicts: 299000 | #Constraints: 23043 490.44/491.78 c #Conflicts: 300000 | #Constraints: 24043 490.44/491.78 c #Conflicts: 301000 | #Constraints: 25043 490.44/491.78 c #Conflicts: 302000 | #Constraints: 26043 490.44/491.78 c #Conflicts: 303000 | #Constraints: 27043 490.44/491.78 c #Conflicts: 304000 | #Constraints: 28043 490.44/491.78 c #Conflicts: 305000 | #Constraints: 29043 490.44/491.78 c #Conflicts: 306000 | #Constraints: 30043 490.44/491.78 c #Conflicts: 307000 | #Constraints: 31043 490.44/491.78 c #Conflicts: 308000 | #Constraints: 32043 490.44/491.78 c #Conflicts: 309000 | #Constraints: 33043 490.44/491.78 c #Conflicts: 310000 | #Constraints: 34043 490.44/491.78 c #Conflicts: 311000 | #Constraints: 35043 490.44/491.78 c #Conflicts: 312000 | #Constraints: 36043 490.44/491.78 c #Conflicts: 313000 | #Constraints: 37043 490.44/491.78 c #Conflicts: 314000 | #Constraints: 38043 490.44/491.78 c #Conflicts: 315000 | #Constraints: 39043 490.44/491.78 c #Conflicts: 316000 | #Constraints: 40043 490.44/491.78 c #Conflicts: 317000 | #Constraints: 41043 490.44/491.78 c #Conflicts: 318000 | #Constraints: 42043 490.44/491.78 c #Conflicts: 319000 | #Constraints: 43043 490.44/491.78 c #Conflicts: 320000 | #Constraints: 44043 490.44/491.78 c #Conflicts: 321000 | #Constraints: 45043 490.44/491.78 c #Conflicts: 322000 | #Constraints: 46043 490.44/491.78 c #Conflicts: 323000 | #Constraints: 47043 490.44/491.78 c #Conflicts: 324000 | #Constraints: 48043 490.44/491.78 c #Conflicts: 325000 | #Constraints: 49043 490.44/491.78 c #Conflicts: 326000 | #Constraints: 50043 490.44/491.78 c #Conflicts: 327000 | #Constraints: 51043 490.44/491.78 c #Conflicts: 328000 | #Constraints: 52043 490.44/491.78 c #Conflicts: 329000 | #Constraints: 53043 490.44/491.78 c #Conflicts: 330000 | #Constraints: 54043 490.44/491.78 c #Conflicts: 331000 | #Constraints: 55043 490.44/491.78 c #Conflicts: 332000 | #Constraints: 56043 490.44/491.78 c #Conflicts: 333000 | #Constraints: 57043 490.44/491.78 c #Conflicts: 334000 | #Constraints: 58043 490.44/491.78 c #Conflicts: 335000 | #Constraints: 59043 490.44/491.78 c #Conflicts: 336000 | #Constraints: 60043 490.44/491.78 c #Conflicts: 337000 | #Constraints: 61043 490.44/491.78 c #Conflicts: 338000 | #Constraints: 62043 490.44/491.78 c #Conflicts: 339000 | #Constraints: 63043 490.44/491.78 c #Conflicts: 340000 | #Constraints: 64043 490.44/491.78 c INPROCESSING 490.44/491.78 c GARBAGE COLLECT 490.44/491.78 c rational objective 90 508.99/510.32 c #Conflicts: 341000 | #Constraints: 36256 508.99/510.32 c #Conflicts: 342000 | #Constraints: 37256 508.99/510.32 c #Conflicts: 343000 | #Constraints: 38256 508.99/510.32 c #Conflicts: 344000 | #Constraints: 39256 508.99/510.32 c #Conflicts: 345000 | #Constraints: 40256 508.99/510.32 c #Conflicts: 346000 | #Constraints: 41256 508.99/510.32 c #Conflicts: 347000 | #Constraints: 42256 508.99/510.32 c #Conflicts: 348000 | #Constraints: 43256 508.99/510.32 c #Conflicts: 349000 | #Constraints: 44256 508.99/510.32 c #Conflicts: 350000 | #Constraints: 45256 508.99/510.32 c #Conflicts: 351000 | #Constraints: 46256 508.99/510.32 c #Conflicts: 352000 | #Constraints: 47256 508.99/510.32 c #Conflicts: 353000 | #Constraints: 48256 508.99/510.32 c INPROCESSING 508.99/510.32 c GARBAGE COLLECT 508.99/510.32 c rational objective 90 521.76/523.12 c #Conflicts: 354000 | #Constraints: 28342 521.76/523.12 c #Conflicts: 355000 | #Constraints: 29342 521.76/523.12 c #Conflicts: 356000 | #Constraints: 30342 521.76/523.12 c #Conflicts: 357000 | #Constraints: 31342 521.76/523.12 c #Conflicts: 358000 | #Constraints: 32342 521.76/523.12 c #Conflicts: 359000 | #Constraints: 33342 521.76/523.12 c #Conflicts: 360000 | #Constraints: 34342 521.76/523.12 c #Conflicts: 361000 | #Constraints: 35342 521.76/523.12 c #Conflicts: 362000 | #Constraints: 36342 521.76/523.12 c #Conflicts: 363000 | #Constraints: 37342 521.76/523.12 c #Conflicts: 364000 | #Constraints: 38342 521.76/523.12 c #Conflicts: 365000 | #Constraints: 39342 521.76/523.12 c #Conflicts: 366000 | #Constraints: 40342 521.76/523.12 c INPROCESSING 521.76/523.12 c GARBAGE COLLECT 521.76/523.12 c rational objective 90 535.43/536.89 c #Conflicts: 367000 | #Constraints: 24322 535.43/536.89 c #Conflicts: 368000 | #Constraints: 25322 535.43/536.89 c #Conflicts: 369000 | #Constraints: 26322 535.43/536.89 c #Conflicts: 370000 | #Constraints: 27322 535.43/536.89 c #Conflicts: 371000 | #Constraints: 28322 535.43/536.89 c #Conflicts: 372000 | #Constraints: 29322 535.43/536.89 c #Conflicts: 373000 | #Constraints: 30322 535.43/536.89 c #Conflicts: 374000 | #Constraints: 31322 535.43/536.89 c #Conflicts: 375000 | #Constraints: 32322 535.43/536.89 c #Conflicts: 376000 | #Constraints: 33322 535.43/536.89 c #Conflicts: 377000 | #Constraints: 34322 535.43/536.89 c #Conflicts: 378000 | #Constraints: 35322 535.43/536.89 c #Conflicts: 379000 | #Constraints: 36322 535.43/536.89 c #Conflicts: 380000 | #Constraints: 37322 535.43/536.89 c INPROCESSING 535.43/536.89 c GARBAGE COLLECT 535.43/536.89 c rational objective 90 548.49/549.97 c #Conflicts: 381000 | #Constraints: 23155 548.49/549.97 c #Conflicts: 382000 | #Constraints: 24155 548.49/549.97 c #Conflicts: 383000 | #Constraints: 25155 548.49/549.97 c #Conflicts: 384000 | #Constraints: 26155 548.49/549.97 c #Conflicts: 385000 | #Constraints: 27155 548.49/549.97 c #Conflicts: 386000 | #Constraints: 28155 548.49/549.97 c #Conflicts: 387000 | #Constraints: 29155 548.49/549.97 c #Conflicts: 388000 | #Constraints: 30155 548.49/549.97 c #Conflicts: 389000 | #Constraints: 31155 548.49/549.97 c #Conflicts: 390000 | #Constraints: 32155 548.49/549.97 c #Conflicts: 391000 | #Constraints: 33155 548.49/549.97 c #Conflicts: 392000 | #Constraints: 34155 548.49/549.97 c #Conflicts: 393000 | #Constraints: 35155 548.49/549.97 c INPROCESSING 548.49/549.97 c GARBAGE COLLECT 548.49/549.97 c rational objective 90 636.47/638.11 c #Conflicts: 394000 | #Constraints: 21769 636.47/638.11 c #Conflicts: 395000 | #Constraints: 22769 636.47/638.11 c #Conflicts: 396000 | #Constraints: 23769 636.47/638.11 c #Conflicts: 397000 | #Constraints: 24769 636.47/638.11 c #Conflicts: 398000 | #Constraints: 25769 636.47/638.11 c #Conflicts: 399000 | #Constraints: 26769 636.47/638.11 c #Conflicts: 400000 | #Constraints: 27769 636.47/638.11 c #Conflicts: 401000 | #Constraints: 28769 636.47/638.11 c #Conflicts: 402000 | #Constraints: 29769 636.47/638.11 c #Conflicts: 403000 | #Constraints: 30769 636.47/638.11 c #Conflicts: 404000 | #Constraints: 31770 636.47/638.11 c #Conflicts: 405000 | #Constraints: 32770 636.47/638.11 c #Conflicts: 406000 | #Constraints: 33770 636.47/638.11 c #Conflicts: 407000 | #Constraints: 34770 636.47/638.11 c #Conflicts: 408000 | #Constraints: 35770 636.47/638.11 c #Conflicts: 409000 | #Constraints: 36770 636.47/638.11 c #Conflicts: 410000 | #Constraints: 37770 636.47/638.11 c #Conflicts: 411000 | #Constraints: 38770 636.47/638.11 c #Conflicts: 412000 | #Constraints: 39770 636.47/638.11 c #Conflicts: 413000 | #Constraints: 40770 636.47/638.11 c #Conflicts: 414000 | #Constraints: 41770 636.47/638.11 c #Conflicts: 415000 | #Constraints: 42770 636.47/638.11 c #Conflicts: 416000 | #Constraints: 43770 636.47/638.11 c #Conflicts: 417000 | #Constraints: 44770 636.47/638.11 c #Conflicts: 418000 | #Constraints: 45770 636.47/638.11 c #Conflicts: 419000 | #Constraints: 46770 636.47/638.11 c #Conflicts: 420000 | #Constraints: 47770 636.47/638.11 c #Conflicts: 421000 | #Constraints: 48770 636.47/638.11 c #Conflicts: 422000 | #Constraints: 49770 636.47/638.11 c #Conflicts: 423000 | #Constraints: 50770 636.47/638.11 c #Conflicts: 424000 | #Constraints: 51770 636.47/638.11 c #Conflicts: 425000 | #Constraints: 52770 636.47/638.11 c #Conflicts: 426000 | #Constraints: 53770 636.47/638.11 c #Conflicts: 427000 | #Constraints: 54770 636.47/638.11 c #Conflicts: 428000 | #Constraints: 55770 636.47/638.11 c #Conflicts: 429000 | #Constraints: 56770 636.47/638.11 c #Conflicts: 430000 | #Constraints: 57770 636.47/638.11 c #Conflicts: 431000 | #Constraints: 58770 636.47/638.11 c #Conflicts: 432000 | #Constraints: 59770 636.47/638.11 c #Conflicts: 433000 | #Constraints: 60770 636.47/638.11 c #Conflicts: 434000 | #Constraints: 61770 636.47/638.11 c #Conflicts: 435000 | #Constraints: 62770 636.47/638.11 c #Conflicts: 436000 | #Constraints: 63770 636.47/638.11 c #Conflicts: 437000 | #Constraints: 64770 636.47/638.11 c #Conflicts: 438000 | #Constraints: 65770 636.47/638.11 c #Conflicts: 439000 | #Constraints: 66770 636.47/638.11 c #Conflicts: 440000 | #Constraints: 67770 636.47/638.11 c #Conflicts: 441000 | #Constraints: 68770 636.47/638.11 c #Conflicts: 442000 | #Constraints: 69770 636.47/638.11 c #Conflicts: 443000 | #Constraints: 70771 636.47/638.11 c #Conflicts: 444000 | #Constraints: 71771 636.47/638.11 c #Conflicts: 445000 | #Constraints: 72771 636.47/638.11 c INPROCESSING 636.47/638.11 c GARBAGE COLLECT 636.47/638.11 c rational objective 90 667.67/669.49 c #Conflicts: 446000 | #Constraints: 40788 667.67/669.49 c #Conflicts: 447000 | #Constraints: 41788 667.67/669.49 c #Conflicts: 448000 | #Constraints: 42788 667.67/669.49 c #Conflicts: 449000 | #Constraints: 43788 667.67/669.49 c #Conflicts: 450000 | #Constraints: 44788 667.67/669.49 c #Conflicts: 451000 | #Constraints: 45788 667.67/669.49 c #Conflicts: 452000 | #Constraints: 46788 667.67/669.49 c #Conflicts: 453000 | #Constraints: 47788 667.67/669.49 c #Conflicts: 454000 | #Constraints: 48788 667.67/669.49 c #Conflicts: 455000 | #Constraints: 49788 667.67/669.49 c #Conflicts: 456000 | #Constraints: 50788 667.67/669.49 c #Conflicts: 457000 | #Constraints: 51789 667.67/669.49 c #Conflicts: 458000 | #Constraints: 52789 667.67/669.49 c #Conflicts: 459000 | #Constraints: 53789 667.67/669.49 c #Conflicts: 460000 | #Constraints: 54789 667.67/669.49 c INPROCESSING 667.67/669.49 c GARBAGE COLLECT 667.67/669.49 c rational objective 90 690.12/691.97 c #Conflicts: 461000 | #Constraints: 31825 690.12/691.97 c #Conflicts: 462000 | #Constraints: 32825 690.12/691.97 c #Conflicts: 463000 | #Constraints: 33825 690.12/691.97 c #Conflicts: 464000 | #Constraints: 34825 690.12/691.97 c #Conflicts: 465000 | #Constraints: 35825 690.12/691.97 c #Conflicts: 466000 | #Constraints: 36825 690.12/691.97 c #Conflicts: 467000 | #Constraints: 37825 690.12/691.97 c #Conflicts: 468000 | #Constraints: 38825 690.12/691.97 c #Conflicts: 469000 | #Constraints: 39825 690.12/691.97 c #Conflicts: 470000 | #Constraints: 40826 690.12/691.97 c #Conflicts: 471000 | #Constraints: 41827 690.12/691.97 c #Conflicts: 472000 | #Constraints: 42828 690.12/691.97 c #Conflicts: 473000 | #Constraints: 43829 690.12/691.97 c #Conflicts: 474000 | #Constraints: 44829 690.12/691.97 c #Conflicts: 475000 | #Constraints: 45830 690.12/691.97 c INPROCESSING 690.12/691.97 c GARBAGE COLLECT 690.12/691.97 c rational objective 90 724.63/726.50 c #Conflicts: 476000 | #Constraints: 27283 724.63/726.50 c #Conflicts: 477000 | #Constraints: 28283 724.63/726.50 c #Conflicts: 478000 | #Constraints: 29283 724.63/726.50 c #Conflicts: 479000 | #Constraints: 30283 724.63/726.50 c #Conflicts: 480000 | #Constraints: 31284 724.63/726.50 c #Conflicts: 481000 | #Constraints: 32285 724.63/726.50 c #Conflicts: 482000 | #Constraints: 33286 724.63/726.50 c #Conflicts: 483000 | #Constraints: 34288 724.63/726.50 c #Conflicts: 484000 | #Constraints: 35288 724.63/726.50 c #Conflicts: 485000 | #Constraints: 36289 724.63/726.50 c #Conflicts: 486000 | #Constraints: 37291 724.63/726.50 c #Conflicts: 487000 | #Constraints: 38291 724.63/726.50 c #Conflicts: 488000 | #Constraints: 39292 724.63/726.50 c #Conflicts: 489000 | #Constraints: 40294 724.63/726.50 c #Conflicts: 490000 | #Constraints: 41294 724.63/726.50 c INPROCESSING 724.63/726.50 c GARBAGE COLLECT 724.63/726.50 c rational objective 90 742.28/744.29 c #Conflicts: 491000 | #Constraints: 24895 742.28/744.29 c #Conflicts: 492000 | #Constraints: 25895 742.28/744.29 c #Conflicts: 493000 | #Constraints: 26895 742.28/744.29 c #Conflicts: 494000 | #Constraints: 27895 742.28/744.29 c #Conflicts: 495000 | #Constraints: 28895 742.28/744.29 c #Conflicts: 496000 | #Constraints: 29896 742.28/744.29 c #Conflicts: 497000 | #Constraints: 30896 742.28/744.29 c #Conflicts: 498000 | #Constraints: 31896 742.28/744.29 c #Conflicts: 499000 | #Constraints: 32896 742.28/744.29 c #Conflicts: 500000 | #Constraints: 33896 742.28/744.29 c #Conflicts: 501000 | #Constraints: 34896 742.28/744.29 c #Conflicts: 502000 | #Constraints: 35896 742.28/744.29 c #Conflicts: 503000 | #Constraints: 36896 742.28/744.29 c #Conflicts: 504000 | #Constraints: 37897 742.28/744.29 c #Conflicts: 505000 | #Constraints: 38897 742.28/744.29 c #Conflicts: 506000 | #Constraints: 39897 742.28/744.29 c INPROCESSING 742.28/744.29 c GARBAGE COLLECT 742.28/744.29 c rational objective 90 858.37/860.69 c #Conflicts: 507000 | #Constraints: 24452 858.37/860.69 c #Conflicts: 508000 | #Constraints: 25453 858.37/860.69 c #Conflicts: 509000 | #Constraints: 26453 858.37/860.69 c #Conflicts: 510000 | #Constraints: 27453 858.37/860.69 c #Conflicts: 511000 | #Constraints: 28453 858.37/860.69 c #Conflicts: 512000 | #Constraints: 29454 858.37/860.69 c #Conflicts: 513000 | #Constraints: 30455 858.37/860.69 c #Conflicts: 514000 | #Constraints: 31455 858.37/860.69 c #Conflicts: 515000 | #Constraints: 32455 858.37/860.69 c #Conflicts: 516000 | #Constraints: 33455 858.37/860.69 c #Conflicts: 517000 | #Constraints: 34455 858.37/860.69 c #Conflicts: 518000 | #Constraints: 35455 858.37/860.69 c #Conflicts: 519000 | #Constraints: 36455 858.37/860.69 c #Conflicts: 520000 | #Constraints: 37455 858.37/860.69 c #Conflicts: 521000 | #Constraints: 38455 858.37/860.69 c #Conflicts: 522000 | #Constraints: 39455 858.37/860.69 c #Conflicts: 523000 | #Constraints: 40455 858.37/860.69 c #Conflicts: 524000 | #Constraints: 41455 858.37/860.69 c #Conflicts: 525000 | #Constraints: 42455 858.37/860.69 c #Conflicts: 526000 | #Constraints: 43455 858.37/860.69 c #Conflicts: 527000 | #Constraints: 44455 858.37/860.69 c #Conflicts: 528000 | #Constraints: 45455 858.37/860.69 c #Conflicts: 529000 | #Constraints: 46455 858.37/860.69 c #Conflicts: 530000 | #Constraints: 47455 858.37/860.69 c #Conflicts: 531000 | #Constraints: 48455 858.37/860.69 c #Conflicts: 532000 | #Constraints: 49456 858.37/860.69 c #Conflicts: 533000 | #Constraints: 50456 858.37/860.69 c #Conflicts: 534000 | #Constraints: 51456 858.37/860.69 c #Conflicts: 535000 | #Constraints: 52456 858.37/860.69 c #Conflicts: 536000 | #Constraints: 53456 858.37/860.69 c #Conflicts: 537000 | #Constraints: 54456 858.37/860.69 c #Conflicts: 538000 | #Constraints: 55456 858.37/860.69 c #Conflicts: 539000 | #Constraints: 56456 858.37/860.69 c #Conflicts: 540000 | #Constraints: 57456 858.37/860.69 c #Conflicts: 541000 | #Constraints: 58456 858.37/860.69 c #Conflicts: 542000 | #Constraints: 59456 858.37/860.69 c #Conflicts: 543000 | #Constraints: 60456 858.37/860.69 c #Conflicts: 544000 | #Constraints: 61456 858.37/860.69 c #Conflicts: 545000 | #Constraints: 62456 858.37/860.69 c #Conflicts: 546000 | #Constraints: 63457 858.37/860.69 c #Conflicts: 547000 | #Constraints: 64457 858.37/860.69 c #Conflicts: 548000 | #Constraints: 65457 858.37/860.69 c #Conflicts: 549000 | #Constraints: 66457 858.37/860.69 c #Conflicts: 550000 | #Constraints: 67457 858.37/860.69 c #Conflicts: 551000 | #Constraints: 68457 858.37/860.69 c #Conflicts: 552000 | #Constraints: 69457 858.37/860.69 c #Conflicts: 553000 | #Constraints: 70457 858.37/860.69 c #Conflicts: 554000 | #Constraints: 71457 858.37/860.69 c #Conflicts: 555000 | #Constraints: 72457 858.37/860.69 c #Conflicts: 556000 | #Constraints: 73457 858.37/860.69 c #Conflicts: 557000 | #Constraints: 74457 858.37/860.69 c #Conflicts: 558000 | #Constraints: 75457 858.37/860.69 c #Conflicts: 559000 | #Constraints: 76457 858.37/860.69 c #Conflicts: 560000 | #Constraints: 77457 858.37/860.69 c #Conflicts: 561000 | #Constraints: 78457 858.37/860.69 c #Conflicts: 562000 | #Constraints: 79457 858.37/860.69 c #Conflicts: 563000 | #Constraints: 80457 858.37/860.69 c #Conflicts: 564000 | #Constraints: 81457 858.37/860.69 c INPROCESSING 858.37/860.69 c GARBAGE COLLECT 858.37/860.69 c rational objective 90 884.40/886.74 c #Conflicts: 565000 | #Constraints: 45185 884.40/886.74 c #Conflicts: 566000 | #Constraints: 46185 884.40/886.74 c #Conflicts: 567000 | #Constraints: 47185 884.40/886.74 c #Conflicts: 568000 | #Constraints: 48185 884.40/886.74 c #Conflicts: 569000 | #Constraints: 49185 884.40/886.74 c #Conflicts: 570000 | #Constraints: 50185 884.40/886.74 c #Conflicts: 571000 | #Constraints: 51185 884.40/886.74 c #Conflicts: 572000 | #Constraints: 52185 884.40/886.74 c #Conflicts: 573000 | #Constraints: 53185 884.40/886.74 c #Conflicts: 574000 | #Constraints: 54185 884.40/886.74 c #Conflicts: 575000 | #Constraints: 55185 884.40/886.74 c #Conflicts: 576000 | #Constraints: 56185 884.40/886.74 c #Conflicts: 577000 | #Constraints: 57185 884.40/886.74 c #Conflicts: 578000 | #Constraints: 58185 884.40/886.74 c #Conflicts: 579000 | #Constraints: 59185 884.40/886.74 c #Conflicts: 580000 | #Constraints: 60185 884.40/886.74 c INPROCESSING 884.40/886.74 c GARBAGE COLLECT 884.40/886.74 c rational objective 90 907.53/909.98 c #Conflicts: 581000 | #Constraints: 34236 907.53/909.98 c #Conflicts: 582000 | #Constraints: 35236 907.53/909.98 c #Conflicts: 583000 | #Constraints: 36236 907.53/909.98 c #Conflicts: 584000 | #Constraints: 37236 907.53/909.98 c #Conflicts: 585000 | #Constraints: 38236 907.53/909.98 c #Conflicts: 586000 | #Constraints: 39236 907.53/909.98 c #Conflicts: 587000 | #Constraints: 40236 907.53/909.98 c #Conflicts: 588000 | #Constraints: 41236 907.53/909.98 c #Conflicts: 589000 | #Constraints: 42236 907.53/909.98 c #Conflicts: 590000 | #Constraints: 43236 907.53/909.98 c #Conflicts: 591000 | #Constraints: 44236 907.53/909.98 c #Conflicts: 592000 | #Constraints: 45236 907.53/909.98 c #Conflicts: 593000 | #Constraints: 46236 907.53/909.98 c #Conflicts: 594000 | #Constraints: 47236 907.53/909.98 c #Conflicts: 595000 | #Constraints: 48236 907.53/909.98 c #Conflicts: 596000 | #Constraints: 49236 907.53/909.98 c #Conflicts: 597000 | #Constraints: 50236 907.53/909.98 c INPROCESSING 907.53/909.98 c GARBAGE COLLECT 907.53/909.98 c rational objective 90 936.26/938.70 c #Conflicts: 598000 | #Constraints: 29280 936.26/938.70 c #Conflicts: 599000 | #Constraints: 30280 936.26/938.70 c #Conflicts: 600000 | #Constraints: 31280 936.26/938.70 c #Conflicts: 601000 | #Constraints: 32280 936.26/938.70 c #Conflicts: 602000 | #Constraints: 33280 936.26/938.70 c #Conflicts: 603000 | #Constraints: 34281 936.26/938.70 c #Conflicts: 604000 | #Constraints: 35281 936.26/938.70 c #Conflicts: 605000 | #Constraints: 36281 936.26/938.70 c #Conflicts: 606000 | #Constraints: 37281 936.26/938.70 c #Conflicts: 607000 | #Constraints: 38281 936.26/938.70 c #Conflicts: 608000 | #Constraints: 39281 936.26/938.70 c #Conflicts: 609000 | #Constraints: 40281 936.26/938.70 c #Conflicts: 610000 | #Constraints: 41281 936.26/938.70 c #Conflicts: 611000 | #Constraints: 42281 936.26/938.70 c #Conflicts: 612000 | #Constraints: 43282 936.26/938.70 c #Conflicts: 613000 | #Constraints: 44282 936.26/938.70 c #Conflicts: 614000 | #Constraints: 45282 936.26/938.70 c #Conflicts: 615000 | #Constraints: 46282 936.26/938.70 c INPROCESSING 936.26/938.70 c GARBAGE COLLECT 936.26/938.70 c rational objective 90 960.01/962.52 c #Conflicts: 616000 | #Constraints: 27657 960.01/962.52 c #Conflicts: 617000 | #Constraints: 28657 960.01/962.52 c #Conflicts: 618000 | #Constraints: 29658 960.01/962.52 c #Conflicts: 619000 | #Constraints: 30658 960.01/962.52 c #Conflicts: 620000 | #Constraints: 31658 960.01/962.52 c #Conflicts: 621000 | #Constraints: 32658 960.01/962.52 c #Conflicts: 622000 | #Constraints: 33659 960.01/962.52 c #Conflicts: 623000 | #Constraints: 34659 960.01/962.52 c #Conflicts: 624000 | #Constraints: 35659 960.01/962.52 c #Conflicts: 625000 | #Constraints: 36660 960.01/962.52 c #Conflicts: 626000 | #Constraints: 37661 960.01/962.52 c #Conflicts: 627000 | #Constraints: 38661 960.01/962.52 c #Conflicts: 628000 | #Constraints: 39661 960.01/962.52 c #Conflicts: 629000 | #Constraints: 40661 960.01/962.52 c #Conflicts: 630000 | #Constraints: 41661 960.01/962.52 c #Conflicts: 631000 | #Constraints: 42661 960.01/962.52 c #Conflicts: 632000 | #Constraints: 43661 960.01/962.52 c INPROCESSING 960.01/962.52 c GARBAGE COLLECT 960.01/962.52 c rational objective 90 1087.17/1090.04 c #Conflicts: 633000 | #Constraints: 26155 1087.17/1090.04 c #Conflicts: 634000 | #Constraints: 27155 1087.17/1090.04 c #Conflicts: 635000 | #Constraints: 28156 1087.17/1090.04 c #Conflicts: 636000 | #Constraints: 29156 1087.17/1090.04 c #Conflicts: 637000 | #Constraints: 30156 1087.17/1090.04 c #Conflicts: 638000 | #Constraints: 31156 1087.17/1090.04 c #Conflicts: 639000 | #Constraints: 32156 1087.17/1090.04 c #Conflicts: 640000 | #Constraints: 33156 1087.17/1090.04 c #Conflicts: 641000 | #Constraints: 34156 1087.17/1090.04 c #Conflicts: 642000 | #Constraints: 35156 1087.17/1090.04 c #Conflicts: 643000 | #Constraints: 36156 1087.17/1090.04 c #Conflicts: 644000 | #Constraints: 37156 1087.17/1090.04 c #Conflicts: 645000 | #Constraints: 38156 1087.17/1090.04 c #Conflicts: 646000 | #Constraints: 39156 1087.17/1090.04 c #Conflicts: 647000 | #Constraints: 40156 1087.17/1090.04 c #Conflicts: 648000 | #Constraints: 41156 1087.17/1090.04 c #Conflicts: 649000 | #Constraints: 42156 1087.17/1090.04 c #Conflicts: 650000 | #Constraints: 43156 1087.17/1090.04 c #Conflicts: 651000 | #Constraints: 44156 1087.17/1090.04 c #Conflicts: 652000 | #Constraints: 45156 1087.17/1090.04 c #Conflicts: 653000 | #Constraints: 46156 1087.17/1090.04 c #Conflicts: 654000 | #Constraints: 47156 1087.17/1090.04 c #Conflicts: 655000 | #Constraints: 48156 1087.17/1090.04 c #Conflicts: 656000 | #Constraints: 49156 1087.17/1090.04 c #Conflicts: 657000 | #Constraints: 50156 1087.17/1090.04 c #Conflicts: 658000 | #Constraints: 51157 1087.17/1090.04 c #Conflicts: 659000 | #Constraints: 52157 1087.17/1090.04 c #Conflicts: 660000 | #Constraints: 53157 1087.17/1090.04 c #Conflicts: 661000 | #Constraints: 54157 1087.17/1090.04 c #Conflicts: 662000 | #Constraints: 55157 1087.17/1090.04 c #Conflicts: 663000 | #Constraints: 56157 1087.17/1090.04 c #Conflicts: 664000 | #Constraints: 57157 1087.17/1090.04 c #Conflicts: 665000 | #Constraints: 58157 1087.17/1090.04 c #Conflicts: 666000 | #Constraints: 59157 1087.17/1090.04 c #Conflicts: 667000 | #Constraints: 60157 1087.17/1090.04 c #Conflicts: 668000 | #Constraints: 61157 1087.17/1090.04 c #Conflicts: 669000 | #Constraints: 62157 1087.17/1090.04 c #Conflicts: 670000 | #Constraints: 63158 1087.17/1090.04 c #Conflicts: 671000 | #Constraints: 64158 1087.17/1090.04 c #Conflicts: 672000 | #Constraints: 65158 1087.17/1090.04 c #Conflicts: 673000 | #Constraints: 66158 1087.17/1090.04 c #Conflicts: 674000 | #Constraints: 67158 1087.17/1090.04 c #Conflicts: 675000 | #Constraints: 68158 1087.17/1090.04 c #Conflicts: 676000 | #Constraints: 69158 1087.17/1090.04 c #Conflicts: 677000 | #Constraints: 70158 1087.17/1090.04 c #Conflicts: 678000 | #Constraints: 71158 1087.17/1090.04 c #Conflicts: 679000 | #Constraints: 72158 1087.17/1090.04 c #Conflicts: 680000 | #Constraints: 73158 1087.17/1090.04 c #Conflicts: 681000 | #Constraints: 74158 1087.17/1090.04 c #Conflicts: 682000 | #Constraints: 75158 1087.17/1090.04 c #Conflicts: 683000 | #Constraints: 76158 1087.17/1090.04 c #Conflicts: 684000 | #Constraints: 77158 1087.17/1090.04 c #Conflicts: 685000 | #Constraints: 78158 1087.17/1090.04 c #Conflicts: 686000 | #Constraints: 79158 1087.17/1090.04 c #Conflicts: 687000 | #Constraints: 80158 1087.17/1090.04 c #Conflicts: 688000 | #Constraints: 81158 1087.17/1090.04 c #Conflicts: 689000 | #Constraints: 82159 1087.17/1090.04 c #Conflicts: 690000 | #Constraints: 83159 1087.17/1090.04 c #Conflicts: 691000 | #Constraints: 84159 1087.17/1090.04 c #Conflicts: 692000 | #Constraints: 85159 1087.17/1090.04 c #Conflicts: 693000 | #Constraints: 86159 1087.17/1090.04 c #Conflicts: 694000 | #Constraints: 87159 1087.17/1090.04 c #Conflicts: 695000 | #Constraints: 88159 1087.17/1090.04 c #Conflicts: 696000 | #Constraints: 89159 1087.17/1090.04 c INPROCESSING 1087.17/1090.04 c GARBAGE COLLECT 1087.17/1090.04 c rational objective 90 1119.09/1122.03 c #Conflicts: 697000 | #Constraints: 48741 1119.09/1122.03 c #Conflicts: 698000 | #Constraints: 49741 1119.09/1122.03 c #Conflicts: 699000 | #Constraints: 50741 1119.09/1122.03 c #Conflicts: 700000 | #Constraints: 51741 1119.09/1122.03 c #Conflicts: 701000 | #Constraints: 52741 1119.09/1122.03 c #Conflicts: 702000 | #Constraints: 53741 1119.09/1122.03 c #Conflicts: 703000 | #Constraints: 54741 1119.09/1122.03 c #Conflicts: 704000 | #Constraints: 55741 1119.09/1122.03 c #Conflicts: 705000 | #Constraints: 56741 1119.09/1122.03 c #Conflicts: 706000 | #Constraints: 57742 1119.09/1122.03 c #Conflicts: 707000 | #Constraints: 58742 1119.09/1122.03 c #Conflicts: 708000 | #Constraints: 59742 1119.09/1122.03 c #Conflicts: 709000 | #Constraints: 60743 1119.09/1122.03 c #Conflicts: 710000 | #Constraints: 61743 1119.09/1122.03 c #Conflicts: 711000 | #Constraints: 62743 1119.09/1122.03 c #Conflicts: 712000 | #Constraints: 63743 1119.09/1122.03 c #Conflicts: 713000 | #Constraints: 64744 1119.09/1122.03 c #Conflicts: 714000 | #Constraints: 65745 1119.09/1122.03 c #Conflicts: 715000 | #Constraints: 66745 1119.09/1122.03 c INPROCESSING 1119.09/1122.03 c GARBAGE COLLECT 1119.09/1122.03 c rational objective 90 1146.61/1149.62 c #Conflicts: 716000 | #Constraints: 37664 1146.61/1149.62 c #Conflicts: 717000 | #Constraints: 38664 1146.61/1149.62 c #Conflicts: 718000 | #Constraints: 39664 1146.61/1149.62 c #Conflicts: 719000 | #Constraints: 40666 1146.61/1149.62 c #Conflicts: 720000 | #Constraints: 41666 1146.61/1149.62 c #Conflicts: 721000 | #Constraints: 42666 1146.61/1149.62 c #Conflicts: 722000 | #Constraints: 43666 1146.61/1149.62 c #Conflicts: 723000 | #Constraints: 44666 1146.61/1149.62 c #Conflicts: 724000 | #Constraints: 45667 1146.61/1149.62 c #Conflicts: 725000 | #Constraints: 46667 1146.61/1149.62 c #Conflicts: 726000 | #Constraints: 47667 1146.61/1149.62 c #Conflicts: 727000 | #Constraints: 48667 1146.61/1149.62 c #Conflicts: 728000 | #Constraints: 49667 1146.61/1149.62 c #Conflicts: 729000 | #Constraints: 50667 1146.61/1149.62 c #Conflicts: 730000 | #Constraints: 51667 1146.61/1149.62 c #Conflicts: 731000 | #Constraints: 52667 1146.61/1149.62 c #Conflicts: 732000 | #Constraints: 53667 1146.61/1149.62 c #Conflicts: 733000 | #Constraints: 54667 1146.61/1149.62 c #Conflicts: 734000 | #Constraints: 55667 1146.61/1149.62 c INPROCESSING 1146.61/1149.62 c GARBAGE COLLECT 1146.61/1149.62 c rational objective 90 1181.62/1184.79 c #Conflicts: 735000 | #Constraints: 32207 1181.62/1184.79 c #Conflicts: 736000 | #Constraints: 33207 1181.62/1184.79 c #Conflicts: 737000 | #Constraints: 34207 1181.62/1184.79 c #Conflicts: 738000 | #Constraints: 35207 1181.62/1184.79 c #Conflicts: 739000 | #Constraints: 36207 1181.62/1184.79 c #Conflicts: 740000 | #Constraints: 37207 1181.62/1184.79 c #Conflicts: 741000 | #Constraints: 38207 1181.62/1184.79 c #Conflicts: 742000 | #Constraints: 39207 1181.62/1184.79 c #Conflicts: 743000 | #Constraints: 40207 1181.62/1184.79 c #Conflicts: 744000 | #Constraints: 41207 1181.62/1184.79 c #Conflicts: 745000 | #Constraints: 42207 1181.62/1184.79 c #Conflicts: 746000 | #Constraints: 43208 1181.62/1184.79 c #Conflicts: 747000 | #Constraints: 44208 1181.62/1184.79 c #Conflicts: 748000 | #Constraints: 45208 1181.62/1184.79 c #Conflicts: 749000 | #Constraints: 46208 1181.62/1184.79 c #Conflicts: 750000 | #Constraints: 47209 1181.62/1184.79 c #Conflicts: 751000 | #Constraints: 48209 1181.62/1184.79 c #Conflicts: 752000 | #Constraints: 49209 1181.62/1184.79 c #Conflicts: 753000 | #Constraints: 50210 1181.62/1184.79 c INPROCESSING 1181.62/1184.79 c GARBAGE COLLECT 1181.62/1184.79 c rational objective 90 1206.16/1209.32 c #Conflicts: 754000 | #Constraints: 29417 1206.16/1209.32 c #Conflicts: 755000 | #Constraints: 30417 1206.16/1209.32 c #Conflicts: 756000 | #Constraints: 31417 1206.16/1209.32 c #Conflicts: 757000 | #Constraints: 32417 1206.16/1209.32 c #Conflicts: 758000 | #Constraints: 33417 1206.16/1209.32 c #Conflicts: 759000 | #Constraints: 34417 1206.16/1209.32 c #Conflicts: 760000 | #Constraints: 35417 1206.16/1209.32 c #Conflicts: 761000 | #Constraints: 36417 1206.16/1209.32 c #Conflicts: 762000 | #Constraints: 37418 1206.16/1209.32 c #Conflicts: 763000 | #Constraints: 38418 1206.16/1209.32 c #Conflicts: 764000 | #Constraints: 39418 1206.16/1209.32 c #Conflicts: 765000 | #Constraints: 40418 1206.16/1209.32 c #Conflicts: 766000 | #Constraints: 41418 1206.16/1209.32 c #Conflicts: 767000 | #Constraints: 42418 1206.16/1209.32 c #Conflicts: 768000 | #Constraints: 43418 1206.16/1209.32 c #Conflicts: 769000 | #Constraints: 44418 1206.16/1209.32 c #Conflicts: 770000 | #Constraints: 45418 1206.16/1209.32 c #Conflicts: 771000 | #Constraints: 46418 1206.16/1209.32 c #Conflicts: 772000 | #Constraints: 47418 1206.16/1209.32 c INPROCESSING 1206.16/1209.32 c GARBAGE COLLECT 1206.16/1209.32 c rational objective 90 1352.86/1356.45 c #Conflicts: 773000 | #Constraints: 27823 1352.86/1356.45 c #Conflicts: 774000 | #Constraints: 28823 1352.86/1356.45 c #Conflicts: 775000 | #Constraints: 29824 1352.86/1356.45 c #Conflicts: 776000 | #Constraints: 30824 1352.86/1356.45 c #Conflicts: 777000 | #Constraints: 31825 1352.86/1356.45 c #Conflicts: 778000 | #Constraints: 32825 1352.86/1356.45 c #Conflicts: 779000 | #Constraints: 33825 1352.86/1356.45 c #Conflicts: 780000 | #Constraints: 34825 1352.86/1356.45 c #Conflicts: 781000 | #Constraints: 35825 1352.86/1356.45 c #Conflicts: 782000 | #Constraints: 36825 1352.86/1356.45 c #Conflicts: 783000 | #Constraints: 37825 1352.86/1356.45 c #Conflicts: 784000 | #Constraints: 38825 1352.86/1356.45 c #Conflicts: 785000 | #Constraints: 39825 1352.86/1356.45 c #Conflicts: 786000 | #Constraints: 40825 1352.86/1356.45 c #Conflicts: 787000 | #Constraints: 41825 1352.86/1356.45 c #Conflicts: 788000 | #Constraints: 42825 1352.86/1356.45 c #Conflicts: 789000 | #Constraints: 43825 1352.86/1356.45 c #Conflicts: 790000 | #Constraints: 44825 1352.86/1356.45 c #Conflicts: 791000 | #Constraints: 45825 1352.86/1356.45 c #Conflicts: 792000 | #Constraints: 46825 1352.86/1356.45 c #Conflicts: 793000 | #Constraints: 47826 1352.86/1356.45 c #Conflicts: 794000 | #Constraints: 48826 1352.86/1356.45 c #Conflicts: 795000 | #Constraints: 49826 1352.86/1356.45 c #Conflicts: 796000 | #Constraints: 50826 1352.86/1356.45 c #Conflicts: 797000 | #Constraints: 51826 1352.86/1356.45 c #Conflicts: 798000 | #Constraints: 52827 1352.86/1356.45 c #Conflicts: 799000 | #Constraints: 53827 1352.86/1356.45 c #Conflicts: 800000 | #Constraints: 54827 1352.86/1356.45 c #Conflicts: 801000 | #Constraints: 55827 1352.86/1356.45 c #Conflicts: 802000 | #Constraints: 56827 1352.86/1356.45 c #Conflicts: 803000 | #Constraints: 57828 1352.86/1356.45 c #Conflicts: 804000 | #Constraints: 58828 1352.86/1356.45 c #Conflicts: 805000 | #Constraints: 59828 1352.86/1356.45 c #Conflicts: 806000 | #Constraints: 60829 1352.86/1356.45 c #Conflicts: 807000 | #Constraints: 61829 1352.86/1356.45 c #Conflicts: 808000 | #Constraints: 62829 1352.86/1356.45 c #Conflicts: 809000 | #Constraints: 63829 1352.86/1356.45 c #Conflicts: 810000 | #Constraints: 64829 1352.86/1356.45 c #Conflicts: 811000 | #Constraints: 65829 1352.86/1356.45 c #Conflicts: 812000 | #Constraints: 66829 1352.86/1356.45 c #Conflicts: 813000 | #Constraints: 67829 1352.86/1356.45 c #Conflicts: 814000 | #Constraints: 68829 1352.86/1356.45 c #Conflicts: 815000 | #Constraints: 69829 1352.86/1356.45 c #Conflicts: 816000 | #Constraints: 70830 1352.86/1356.45 c #Conflicts: 817000 | #Constraints: 71830 1352.86/1356.45 c #Conflicts: 818000 | #Constraints: 72830 1352.86/1356.45 c #Conflicts: 819000 | #Constraints: 73830 1352.86/1356.45 c #Conflicts: 820000 | #Constraints: 74830 1352.86/1356.45 c #Conflicts: 821000 | #Constraints: 75830 1352.86/1356.45 c #Conflicts: 822000 | #Constraints: 76830 1352.86/1356.45 c #Conflicts: 823000 | #Constraints: 77830 1352.86/1356.45 c #Conflicts: 824000 | #Constraints: 78830 1352.86/1356.45 c #Conflicts: 825000 | #Constraints: 79830 1352.86/1356.45 c #Conflicts: 826000 | #Constraints: 80830 1352.86/1356.45 c #Conflicts: 827000 | #Constraints: 81831 1352.86/1356.45 c #Conflicts: 828000 | #Constraints: 82831 1352.86/1356.45 c #Conflicts: 829000 | #Constraints: 83831 1352.86/1356.45 c #Conflicts: 830000 | #Constraints: 84831 1352.86/1356.45 c #Conflicts: 831000 | #Constraints: 85831 1352.86/1356.45 c #Conflicts: 832000 | #Constraints: 86831 1352.86/1356.45 c #Conflicts: 833000 | #Constraints: 87831 1352.86/1356.45 c #Conflicts: 834000 | #Constraints: 88831 1352.86/1356.45 c #Conflicts: 835000 | #Constraints: 89831 1352.86/1356.45 c #Conflicts: 836000 | #Constraints: 90831 1352.86/1356.45 c #Conflicts: 837000 | #Constraints: 91831 1352.86/1356.45 c #Conflicts: 838000 | #Constraints: 92831 1352.86/1356.45 c #Conflicts: 839000 | #Constraints: 93832 1352.86/1356.45 c #Conflicts: 840000 | #Constraints: 94832 1352.86/1356.45 c #Conflicts: 841000 | #Constraints: 95832 1352.86/1356.45 c #Conflicts: 842000 | #Constraints: 96832 1352.86/1356.45 c #Conflicts: 843000 | #Constraints: 97832 1352.86/1356.45 c INPROCESSING 1352.86/1356.45 c GARBAGE COLLECT 1352.86/1356.45 c rational objective 90 1392.86/1396.52 c #Conflicts: 844000 | #Constraints: 53193 1392.86/1396.52 c #Conflicts: 845000 | #Constraints: 54193 1392.86/1396.52 c #Conflicts: 846000 | #Constraints: 55193 1392.86/1396.52 c #Conflicts: 847000 | #Constraints: 56193 1392.86/1396.52 c #Conflicts: 848000 | #Constraints: 57193 1392.86/1396.52 c #Conflicts: 849000 | #Constraints: 58193 1392.86/1396.52 c #Conflicts: 850000 | #Constraints: 59193 1392.86/1396.52 c #Conflicts: 851000 | #Constraints: 60193 1392.86/1396.52 c #Conflicts: 852000 | #Constraints: 61196 1392.86/1396.52 c #Conflicts: 853000 | #Constraints: 62196 1392.86/1396.52 c #Conflicts: 854000 | #Constraints: 63197 1392.86/1396.52 c #Conflicts: 855000 | #Constraints: 64198 1392.86/1396.52 c #Conflicts: 856000 | #Constraints: 65198 1392.86/1396.52 c #Conflicts: 857000 | #Constraints: 66198 1392.86/1396.52 c #Conflicts: 858000 | #Constraints: 67198 1392.86/1396.52 c #Conflicts: 859000 | #Constraints: 68198 1392.86/1396.52 c #Conflicts: 860000 | #Constraints: 69198 1392.86/1396.52 c #Conflicts: 861000 | #Constraints: 70198 1392.86/1396.52 c #Conflicts: 862000 | #Constraints: 71198 1392.86/1396.52 c #Conflicts: 863000 | #Constraints: 72198 1392.86/1396.52 c #Conflicts: 864000 | #Constraints: 73198 1392.86/1396.52 c INPROCESSING 1392.86/1396.52 c GARBAGE COLLECT 1392.86/1396.52 c rational objective 90 1428.07/1431.83 c #Conflicts: 865000 | #Constraints: 41014 1428.07/1431.83 c #Conflicts: 866000 | #Constraints: 42014 1428.07/1431.83 c #Conflicts: 867000 | #Constraints: 43015 1428.07/1431.83 c #Conflicts: 868000 | #Constraints: 44015 1428.07/1431.83 c #Conflicts: 869000 | #Constraints: 45015 1428.07/1431.83 c #Conflicts: 870000 | #Constraints: 46015 1428.07/1431.83 c #Conflicts: 871000 | #Constraints: 47016 1428.07/1431.83 c #Conflicts: 872000 | #Constraints: 48016 1428.07/1431.83 c #Conflicts: 873000 | #Constraints: 49016 1428.07/1431.83 c #Conflicts: 874000 | #Constraints: 50016 1428.07/1431.83 c #Conflicts: 875000 | #Constraints: 51016 1428.07/1431.83 c #Conflicts: 876000 | #Constraints: 52016 1428.07/1431.83 c #Conflicts: 877000 | #Constraints: 53016 1428.07/1431.83 c #Conflicts: 878000 | #Constraints: 54016 1428.07/1431.83 c #Conflicts: 879000 | #Constraints: 55016 1428.07/1431.83 c #Conflicts: 880000 | #Constraints: 56016 1428.07/1431.83 c #Conflicts: 881000 | #Constraints: 57017 1428.07/1431.83 c #Conflicts: 882000 | #Constraints: 58017 1428.07/1431.83 c #Conflicts: 883000 | #Constraints: 59017 1428.07/1431.83 c #Conflicts: 884000 | #Constraints: 60017 1428.07/1431.83 c #Conflicts: 885000 | #Constraints: 61017 1428.07/1431.83 c INPROCESSING 1428.07/1431.83 c GARBAGE COLLECT 1428.07/1431.83 c rational objective 90 1459.79/1463.67 c #Conflicts: 886000 | #Constraints: 35019 1459.79/1463.67 c #Conflicts: 887000 | #Constraints: 36019 1459.79/1463.67 c #Conflicts: 888000 | #Constraints: 37019 1459.79/1463.67 c #Conflicts: 889000 | #Constraints: 38019 1459.79/1463.67 c #Conflicts: 890000 | #Constraints: 39019 1459.79/1463.67 c #Conflicts: 891000 | #Constraints: 40019 1459.79/1463.67 c #Conflicts: 892000 | #Constraints: 41019 1459.79/1463.67 c #Conflicts: 893000 | #Constraints: 42021 1459.79/1463.67 c #Conflicts: 894000 | #Constraints: 43022 1459.79/1463.67 c #Conflicts: 895000 | #Constraints: 44023 1459.79/1463.67 c #Conflicts: 896000 | #Constraints: 45023 1459.79/1463.67 c #Conflicts: 897000 | #Constraints: 46023 1459.79/1463.67 c #Conflicts: 898000 | #Constraints: 47023 1459.79/1463.67 c #Conflicts: 899000 | #Constraints: 48023 1459.79/1463.67 c #Conflicts: 900000 | #Constraints: 49023 1459.79/1463.67 c #Conflicts: 901000 | #Constraints: 50023 1459.79/1463.67 c #Conflicts: 902000 | #Constraints: 51023 1459.79/1463.67 c #Conflicts: 903000 | #Constraints: 52023 1459.79/1463.67 c #Conflicts: 904000 | #Constraints: 53024 1459.79/1463.67 c #Conflicts: 905000 | #Constraints: 54024 1459.79/1463.67 c #Conflicts: 906000 | #Constraints: 55024 1459.79/1463.67 c INPROCESSING 1459.79/1463.67 c GARBAGE COLLECT 1459.79/1463.67 c rational objective 90 1488.32/1492.22 c #Conflicts: 907000 | #Constraints: 32065 1488.32/1492.22 c #Conflicts: 908000 | #Constraints: 33065 1488.32/1492.22 c #Conflicts: 909000 | #Constraints: 34065 1488.32/1492.22 c #Conflicts: 910000 | #Constraints: 35065 1488.32/1492.22 c #Conflicts: 911000 | #Constraints: 36065 1488.32/1492.22 c #Conflicts: 912000 | #Constraints: 37065 1488.32/1492.22 c #Conflicts: 913000 | #Constraints: 38065 1488.32/1492.22 c #Conflicts: 914000 | #Constraints: 39065 1488.32/1492.22 c #Conflicts: 915000 | #Constraints: 40065 1488.32/1492.22 c #Conflicts: 916000 | #Constraints: 41065 1488.32/1492.22 c #Conflicts: 917000 | #Constraints: 42065 1488.32/1492.22 c #Conflicts: 918000 | #Constraints: 43066 1488.32/1492.22 c #Conflicts: 919000 | #Constraints: 44066 1488.32/1492.22 c #Conflicts: 920000 | #Constraints: 45066 1488.32/1492.22 c #Conflicts: 921000 | #Constraints: 46066 1488.32/1492.22 c #Conflicts: 922000 | #Constraints: 47066 1488.32/1492.22 c #Conflicts: 923000 | #Constraints: 48066 1488.32/1492.22 c #Conflicts: 924000 | #Constraints: 49067 1488.32/1492.22 c #Conflicts: 925000 | #Constraints: 50067 1488.32/1492.22 c #Conflicts: 926000 | #Constraints: 51067 1488.32/1492.22 c #Conflicts: 927000 | #Constraints: 52067 1488.32/1492.22 c INPROCESSING 1488.32/1492.22 c GARBAGE COLLECT 1488.32/1492.22 c rational objective 90 1653.79/1658.16 c #Conflicts: 928000 | #Constraints: 30509 1653.79/1658.16 c #Conflicts: 929000 | #Constraints: 31509 1653.79/1658.16 c #Conflicts: 930000 | #Constraints: 32509 1653.79/1658.16 c #Conflicts: 931000 | #Constraints: 33509 1653.79/1658.16 c #Conflicts: 932000 | #Constraints: 34509 1653.79/1658.16 c #Conflicts: 933000 | #Constraints: 35509 1653.79/1658.16 c #Conflicts: 934000 | #Constraints: 36509 1653.79/1658.16 c #Conflicts: 935000 | #Constraints: 37509 1653.79/1658.16 c #Conflicts: 936000 | #Constraints: 38509 1653.79/1658.16 c #Conflicts: 937000 | #Constraints: 39510 1653.79/1658.16 c #Conflicts: 938000 | #Constraints: 40510 1653.79/1658.16 c #Conflicts: 939000 | #Constraints: 41510 1653.79/1658.16 c #Conflicts: 940000 | #Constraints: 42510 1653.79/1658.16 c #Conflicts: 941000 | #Constraints: 43510 1653.79/1658.16 c #Conflicts: 942000 | #Constraints: 44510 1653.79/1658.16 c #Conflicts: 943000 | #Constraints: 45510 1653.79/1658.16 c #Conflicts: 944000 | #Constraints: 46510 1653.79/1658.16 c #Conflicts: 945000 | #Constraints: 47510 1653.79/1658.16 c #Conflicts: 946000 | #Constraints: 48510 1653.79/1658.16 c #Conflicts: 947000 | #Constraints: 49510 1653.79/1658.16 c #Conflicts: 948000 | #Constraints: 50510 1653.79/1658.16 c #Conflicts: 949000 | #Constraints: 51510 1653.79/1658.16 c #Conflicts: 950000 | #Constraints: 52510 1653.79/1658.16 c #Conflicts: 951000 | #Constraints: 53510 1653.79/1658.16 c #Conflicts: 952000 | #Constraints: 54511 1653.79/1658.16 c #Conflicts: 953000 | #Constraints: 55511 1653.79/1658.16 c #Conflicts: 954000 | #Constraints: 56511 1653.79/1658.16 c #Conflicts: 955000 | #Constraints: 57511 1653.79/1658.16 c #Conflicts: 956000 | #Constraints: 58511 1653.79/1658.16 c #Conflicts: 957000 | #Constraints: 59511 1653.79/1658.16 c #Conflicts: 958000 | #Constraints: 60511 1653.79/1658.16 c #Conflicts: 959000 | #Constraints: 61511 1653.79/1658.16 c #Conflicts: 960000 | #Constraints: 62511 1653.79/1658.16 c #Conflicts: 961000 | #Constraints: 63512 1653.79/1658.16 c #Conflicts: 962000 | #Constraints: 64512 1653.79/1658.16 c #Conflicts: 963000 | #Constraints: 65512 1653.79/1658.16 c #Conflicts: 964000 | #Constraints: 66512 1653.79/1658.16 c #Conflicts: 965000 | #Constraints: 67512 1653.79/1658.16 c #Conflicts: 966000 | #Constraints: 68512 1653.79/1658.16 c #Conflicts: 967000 | #Constraints: 69512 1653.79/1658.16 c #Conflicts: 968000 | #Constraints: 70512 1653.79/1658.16 c #Conflicts: 969000 | #Constraints: 71512 1653.79/1658.16 c #Conflicts: 970000 | #Constraints: 72512 1653.79/1658.16 c #Conflicts: 971000 | #Constraints: 73512 1653.79/1658.16 c #Conflicts: 972000 | #Constraints: 74512 1653.79/1658.16 c #Conflicts: 973000 | #Constraints: 75512 1653.79/1658.16 c #Conflicts: 974000 | #Constraints: 76512 1653.79/1658.16 c #Conflicts: 975000 | #Constraints: 77512 1653.79/1658.16 c #Conflicts: 976000 | #Constraints: 78512 1653.79/1658.16 c #Conflicts: 977000 | #Constraints: 79512 1653.79/1658.16 c #Conflicts: 978000 | #Constraints: 80512 1653.79/1658.16 c #Conflicts: 979000 | #Constraints: 81512 1653.79/1658.16 c #Conflicts: 980000 | #Constraints: 82512 1653.79/1658.16 c #Conflicts: 981000 | #Constraints: 83512 1653.79/1658.16 c #Conflicts: 982000 | #Constraints: 84512 1653.79/1658.16 c #Conflicts: 983000 | #Constraints: 85512 1653.79/1658.16 c #Conflicts: 984000 | #Constraints: 86512 1653.79/1658.16 c #Conflicts: 985000 | #Constraints: 87512 1653.79/1658.16 c #Conflicts: 986000 | #Constraints: 88512 1653.79/1658.16 c #Conflicts: 987000 | #Constraints: 89512 1653.79/1658.16 c #Conflicts: 988000 | #Constraints: 90512 1653.79/1658.16 c #Conflicts: 989000 | #Constraints: 91512 1653.79/1658.16 c #Conflicts: 990000 | #Constraints: 92512 1653.79/1658.16 c #Conflicts: 991000 | #Constraints: 93512 1653.79/1658.16 c #Conflicts: 992000 | #Constraints: 94512 1653.79/1658.16 c #Conflicts: 993000 | #Constraints: 95512 1653.79/1658.16 c #Conflicts: 994000 | #Constraints: 96512 1653.79/1658.16 c #Conflicts: 995000 | #Constraints: 97512 1653.79/1658.16 c #Conflicts: 996000 | #Constraints: 98512 1653.79/1658.16 c #Conflicts: 997000 | #Constraints: 99512 1653.79/1658.16 c #Conflicts: 998000 | #Constraints: 100512 1653.79/1658.16 c #Conflicts: 999000 | #Constraints: 101512 1653.79/1658.16 c #Conflicts: 1000000 | #Constraints: 102512 1653.79/1658.16 c #Conflicts: 1001000 | #Constraints: 103512 1653.79/1658.16 c #Conflicts: 1002000 | #Constraints: 104512 1653.79/1658.16 c #Conflicts: 1003000 | #Constraints: 105512 1653.79/1658.16 c #Conflicts: 1004000 | #Constraints: 106512 1653.79/1658.16 c INPROCESSING 1653.79/1658.16 c GARBAGE COLLECT 1653.79/1658.16 c rational objective 90 1697.77/1702.21 c #Conflicts: 1005000 | #Constraints: 57627 1697.77/1702.21 c #Conflicts: 1006000 | #Constraints: 58627 1697.77/1702.21 c #Conflicts: 1007000 | #Constraints: 59628 1697.77/1702.21 c #Conflicts: 1008000 | #Constraints: 60628 1697.77/1702.21 c #Conflicts: 1009000 | #Constraints: 61628 1697.77/1702.21 c #Conflicts: 1010000 | #Constraints: 62628 1697.77/1702.21 c #Conflicts: 1011000 | #Constraints: 63628 1697.77/1702.21 c #Conflicts: 1012000 | #Constraints: 64628 1697.77/1702.21 c #Conflicts: 1013000 | #Constraints: 65628 1697.77/1702.21 c #Conflicts: 1014000 | #Constraints: 66628 1697.77/1702.21 c #Conflicts: 1015000 | #Constraints: 67628 1697.77/1702.21 c #Conflicts: 1016000 | #Constraints: 68628 1697.77/1702.21 c #Conflicts: 1017000 | #Constraints: 69628 1697.77/1702.21 c #Conflicts: 1018000 | #Constraints: 70628 1697.77/1702.21 c #Conflicts: 1019000 | #Constraints: 71629 1697.77/1702.21 c #Conflicts: 1020000 | #Constraints: 72629 1697.77/1702.21 c #Conflicts: 1021000 | #Constraints: 73629 1697.77/1702.21 c #Conflicts: 1022000 | #Constraints: 74629 1697.77/1702.21 c #Conflicts: 1023000 | #Constraints: 75629 1697.77/1702.21 c #Conflicts: 1024000 | #Constraints: 76629 1697.77/1702.21 c #Conflicts: 1025000 | #Constraints: 77629 1697.77/1702.21 c #Conflicts: 1026000 | #Constraints: 78629 1697.77/1702.21 c INPROCESSING 1697.77/1702.21 c GARBAGE COLLECT 1697.77/1702.21 c rational objective 90 1732.68/1737.23 c #Conflicts: 1027000 | #Constraints: 43444 1732.68/1737.23 c #Conflicts: 1028000 | #Constraints: 44444 1732.68/1737.23 c #Conflicts: 1029000 | #Constraints: 45444 1732.68/1737.23 c #Conflicts: 1030000 | #Constraints: 46444 1732.68/1737.23 c #Conflicts: 1031000 | #Constraints: 47444 1732.68/1737.23 c #Conflicts: 1032000 | #Constraints: 48444 1732.68/1737.23 c #Conflicts: 1033000 | #Constraints: 49444 1732.68/1737.23 c #Conflicts: 1034000 | #Constraints: 50444 1732.68/1737.23 c #Conflicts: 1035000 | #Constraints: 51444 1732.68/1737.23 c #Conflicts: 1036000 | #Constraints: 52444 1732.68/1737.23 c #Conflicts: 1037000 | #Constraints: 53444 1732.68/1737.23 c #Conflicts: 1038000 | #Constraints: 54444 1732.68/1737.23 c #Conflicts: 1039000 | #Constraints: 55445 1732.68/1737.23 c #Conflicts: 1040000 | #Constraints: 56445 1732.68/1737.23 c #Conflicts: 1041000 | #Constraints: 57445 1732.68/1737.23 c #Conflicts: 1042000 | #Constraints: 58445 1732.68/1737.23 c #Conflicts: 1043000 | #Constraints: 59445 1732.68/1737.23 c #Conflicts: 1044000 | #Constraints: 60445 1732.68/1737.23 c #Conflicts: 1045000 | #Constraints: 61445 1732.68/1737.23 c #Conflicts: 1046000 | #Constraints: 62445 1732.68/1737.23 c #Conflicts: 1047000 | #Constraints: 63445 1732.68/1737.23 c #Conflicts: 1048000 | #Constraints: 64445 1732.68/1737.23 c #Conflicts: 1049000 | #Constraints: 65445 1732.68/1737.23 c INPROCESSING 1732.68/1737.23 c GARBAGE COLLECT 1732.68/1737.23 c rational objective 90 1765.20/1769.82 c #Conflicts: 1050000 | #Constraints: 37002 1765.20/1769.82 c #Conflicts: 1051000 | #Constraints: 38002 1765.20/1769.82 c #Conflicts: 1052000 | #Constraints: 39002 1765.20/1769.82 c #Conflicts: 1053000 | #Constraints: 40004 1765.20/1769.82 c #Conflicts: 1054000 | #Constraints: 41004 1765.20/1769.82 c #Conflicts: 1055000 | #Constraints: 42004 1765.20/1769.82 c #Conflicts: 1056000 | #Constraints: 43004 1765.20/1769.82 c #Conflicts: 1057000 | #Constraints: 44004 1765.20/1769.82 c #Conflicts: 1058000 | #Constraints: 45004 1765.20/1769.82 c #Conflicts: 1059000 | #Constraints: 46004 1765.20/1769.82 c #Conflicts: 1060000 | #Constraints: 47004 1765.20/1769.82 c #Conflicts: 1061000 | #Constraints: 48004 1765.20/1769.82 c #Conflicts: 1062000 | #Constraints: 49004 1765.20/1769.82 c #Conflicts: 1063000 | #Constraints: 50004 1765.20/1769.82 c #Conflicts: 1064000 | #Constraints: 51005 1765.20/1769.82 c #Conflicts: 1065000 | #Constraints: 52005 1765.20/1769.82 c #Conflicts: 1066000 | #Constraints: 53005 1765.20/1769.82 c #Conflicts: 1067000 | #Constraints: 54005 1765.20/1769.82 c #Conflicts: 1068000 | #Constraints: 55005 1765.20/1769.82 c #Conflicts: 1069000 | #Constraints: 56005 1765.20/1769.82 c #Conflicts: 1070000 | #Constraints: 57005 1765.20/1769.82 c #Conflicts: 1071000 | #Constraints: 58005 1765.20/1769.82 c #Conflicts: 1072000 | #Constraints: 59005 1765.20/1769.82 c INPROCESSING 1765.20/1769.82 c GARBAGE COLLECT 1765.20/1769.82 c rational objective 90 1816.38/1821.10 c #Conflicts: 1073000 | #Constraints: 33849 1816.38/1821.10 c #Conflicts: 1074000 | #Constraints: 34849 1816.38/1821.10 c #Conflicts: 1075000 | #Constraints: 35849 1816.38/1821.10 c #Conflicts: 1076000 | #Constraints: 36849 1816.38/1821.10 c #Conflicts: 1077000 | #Constraints: 37849 1816.38/1821.10 c #Conflicts: 1078000 | #Constraints: 38849 1816.38/1821.10 c #Conflicts: 1079000 | #Constraints: 39849 1816.38/1821.10 c #Conflicts: 1080000 | #Constraints: 40849 1816.38/1821.10 c #Conflicts: 1081000 | #Constraints: 41849 1816.38/1821.10 c #Conflicts: 1082000 | #Constraints: 42849 1816.38/1821.10 c #Conflicts: 1083000 | #Constraints: 43849 1816.38/1821.10 c #Conflicts: 1084000 | #Constraints: 44849 1816.38/1821.10 c #Conflicts: 1085000 | #Constraints: 45849 1816.38/1821.10 c #Conflicts: 1086000 | #Constraints: 46849 1816.38/1821.10 c #Conflicts: 1087000 | #Constraints: 47849 1816.38/1821.10 c #Conflicts: 1088000 | #Constraints: 48850 1816.38/1821.10 c #Conflicts: 1089000 | #Constraints: 49850 1816.38/1821.10 c #Conflicts: 1090000 | #Constraints: 50850 1816.38/1821.10 c #Conflicts: 1091000 | #Constraints: 51850 1816.38/1821.10 c #Conflicts: 1092000 | #Constraints: 52850 1816.38/1821.10 c #Conflicts: 1093000 | #Constraints: 53851 1816.38/1821.10 c #Conflicts: 1094000 | #Constraints: 54851 1816.38/1821.10 c #Conflicts: 1095000 | #Constraints: 55851 1816.38/1821.10 c INPROCESSING 1816.38/1821.10 c GARBAGE COLLECT 1816.38/1821.10 c rational objective 90 2014.65/2019.97 c #Conflicts: 1096000 | #Constraints: 32255 2014.65/2019.97 c #Conflicts: 1097000 | #Constraints: 33255 2014.65/2019.97 c #Conflicts: 1098000 | #Constraints: 34256 2014.65/2019.97 c #Conflicts: 1099000 | #Constraints: 35256 2014.65/2019.97 c #Conflicts: 1100000 | #Constraints: 36256 2014.65/2019.97 c #Conflicts: 1101000 | #Constraints: 37257 2014.65/2019.97 c #Conflicts: 1102000 | #Constraints: 38257 2014.65/2019.97 c #Conflicts: 1103000 | #Constraints: 39257 2014.65/2019.97 c #Conflicts: 1104000 | #Constraints: 40258 2014.65/2019.97 c #Conflicts: 1105000 | #Constraints: 41258 2014.65/2019.97 c #Conflicts: 1106000 | #Constraints: 42258 2014.65/2019.97 c #Conflicts: 1107000 | #Constraints: 43258 2014.65/2019.97 c #Conflicts: 1108000 | #Constraints: 44258 2014.65/2019.97 c #Conflicts: 1109000 | #Constraints: 45258 2014.65/2019.97 c #Conflicts: 1110000 | #Constraints: 46258 2014.65/2019.97 c #Conflicts: 1111000 | #Constraints: 47258 2014.65/2019.97 c #Conflicts: 1112000 | #Constraints: 48258 2014.65/2019.97 c #Conflicts: 1113000 | #Constraints: 49258 2014.65/2019.97 c #Conflicts: 1114000 | #Constraints: 50258 2014.65/2019.97 c #Conflicts: 1115000 | #Constraints: 51258 2014.65/2019.97 c #Conflicts: 1116000 | #Constraints: 52258 2014.65/2019.97 c #Conflicts: 1117000 | #Constraints: 53258 2014.65/2019.97 c #Conflicts: 1118000 | #Constraints: 54258 2014.65/2019.97 c #Conflicts: 1119000 | #Constraints: 55258 2014.65/2019.97 c #Conflicts: 1120000 | #Constraints: 56258 2014.65/2019.97 c #Conflicts: 1121000 | #Constraints: 57258 2014.65/2019.97 c #Conflicts: 1122000 | #Constraints: 58258 2014.65/2019.97 c #Conflicts: 1123000 | #Constraints: 59258 2014.65/2019.97 c #Conflicts: 1124000 | #Constraints: 60258 2014.65/2019.97 c #Conflicts: 1125000 | #Constraints: 61258 2014.65/2019.97 c #Conflicts: 1126000 | #Constraints: 62258 2014.65/2019.97 c #Conflicts: 1127000 | #Constraints: 63258 2014.65/2019.97 c #Conflicts: 1128000 | #Constraints: 64258 2014.65/2019.97 c #Conflicts: 1129000 | #Constraints: 65258 2014.65/2019.97 c #Conflicts: 1130000 | #Constraints: 66258 2014.65/2019.97 c #Conflicts: 1131000 | #Constraints: 67258 2014.65/2019.97 c #Conflicts: 1132000 | #Constraints: 68258 2014.65/2019.97 c #Conflicts: 1133000 | #Constraints: 69258 2014.65/2019.97 c #Conflicts: 1134000 | #Constraints: 70258 2014.65/2019.97 c #Conflicts: 1135000 | #Constraints: 71258 2014.65/2019.97 c #Conflicts: 1136000 | #Constraints: 72258 2014.65/2019.97 c #Conflicts: 1137000 | #Constraints: 73258 2014.65/2019.97 c #Conflicts: 1138000 | #Constraints: 74258 2014.65/2019.97 c #Conflicts: 1139000 | #Constraints: 75258 2014.65/2019.97 c #Conflicts: 1140000 | #Constraints: 76258 2014.65/2019.97 c #Conflicts: 1141000 | #Constraints: 77258 2014.65/2019.97 c #Conflicts: 1142000 | #Constraints: 78258 2014.65/2019.97 c #Conflicts: 1143000 | #Constraints: 79259 2014.65/2019.97 c #Conflicts: 1144000 | #Constraints: 80259 2014.65/2019.97 c #Conflicts: 1145000 | #Constraints: 81259 2014.65/2019.97 c #Conflicts: 1146000 | #Constraints: 82260 2014.65/2019.97 c #Conflicts: 1147000 | #Constraints: 83260 2014.65/2019.97 c #Conflicts: 1148000 | #Constraints: 84260 2014.65/2019.97 c #Conflicts: 1149000 | #Constraints: 85260 2014.65/2019.97 c #Conflicts: 1150000 | #Constraints: 86260 2014.65/2019.97 c #Conflicts: 1151000 | #Constraints: 87260 2014.65/2019.97 c #Conflicts: 1152000 | #Constraints: 88260 2014.65/2019.97 c #Conflicts: 1153000 | #Constraints: 89261 2014.65/2019.97 c #Conflicts: 1154000 | #Constraints: 90261 2014.65/2019.97 c #Conflicts: 1155000 | #Constraints: 91261 2014.65/2019.97 c #Conflicts: 1156000 | #Constraints: 92261 2014.65/2019.97 c #Conflicts: 1157000 | #Constraints: 93261 2014.65/2019.97 c #Conflicts: 1158000 | #Constraints: 94261 2014.65/2019.97 c #Conflicts: 1159000 | #Constraints: 95261 2014.65/2019.97 c #Conflicts: 1160000 | #Constraints: 96261 2014.65/2019.97 c #Conflicts: 1161000 | #Constraints: 97261 2014.65/2019.97 c #Conflicts: 1162000 | #Constraints: 98261 2014.65/2019.97 c #Conflicts: 1163000 | #Constraints: 99261 2014.65/2019.97 c #Conflicts: 1164000 | #Constraints: 100261 2014.65/2019.97 c #Conflicts: 1165000 | #Constraints: 101261 2014.65/2019.97 c #Conflicts: 1166000 | #Constraints: 102261 2014.65/2019.97 c #Conflicts: 1167000 | #Constraints: 103262 2014.65/2019.97 c #Conflicts: 1168000 | #Constraints: 104262 2014.65/2019.97 c #Conflicts: 1169000 | #Constraints: 105262 2014.65/2019.97 c #Conflicts: 1170000 | #Constraints: 106262 2014.65/2019.97 c #Conflicts: 1171000 | #Constraints: 107262 2014.65/2019.97 c #Conflicts: 1172000 | #Constraints: 108262 2014.65/2019.97 c #Conflicts: 1173000 | #Constraints: 109262 2014.65/2019.97 c #Conflicts: 1174000 | #Constraints: 110262 2037.09/2042.42 c #Conflicts: 1175000 | #Constraints: 111262 2037.09/2042.42 c #Conflicts: 1176000 | #Constraints: 112262 2037.09/2042.42 c #Conflicts: 1177000 | #Constraints: 113262 2037.09/2042.42 c #Conflicts: 1178000 | #Constraints: 114262 2037.09/2042.42 c #Conflicts: 1179000 | #Constraints: 115262 2037.09/2042.42 c INPROCESSING 2037.09/2042.42 c GARBAGE COLLECT 2037.09/2042.42 c rational objective 90 2092.95/2098.49 c #Conflicts: 1180000 | #Constraints: 62048 2092.95/2098.49 c #Conflicts: 1181000 | #Constraints: 63048 2092.95/2098.49 c #Conflicts: 1182000 | #Constraints: 64048 2092.95/2098.49 c #Conflicts: 1183000 | #Constraints: 65048 2092.95/2098.49 c #Conflicts: 1184000 | #Constraints: 66048 2092.95/2098.49 c #Conflicts: 1185000 | #Constraints: 67049 2092.95/2098.49 c #Conflicts: 1186000 | #Constraints: 68050 2092.95/2098.49 c #Conflicts: 1187000 | #Constraints: 69050 2092.95/2098.49 c #Conflicts: 1188000 | #Constraints: 70050 2092.95/2098.49 c #Conflicts: 1189000 | #Constraints: 71051 2092.95/2098.49 c #Conflicts: 1190000 | #Constraints: 72051 2092.95/2098.49 c #Conflicts: 1191000 | #Constraints: 73051 2092.95/2098.49 c #Conflicts: 1192000 | #Constraints: 74051 2092.95/2098.49 c #Conflicts: 1193000 | #Constraints: 75051 2092.95/2098.49 c #Conflicts: 1194000 | #Constraints: 76051 2092.95/2098.49 c #Conflicts: 1195000 | #Constraints: 77051 2092.95/2098.49 c #Conflicts: 1196000 | #Constraints: 78051 2092.95/2098.49 c #Conflicts: 1197000 | #Constraints: 79051 2092.95/2098.49 c #Conflicts: 1198000 | #Constraints: 80051 2092.95/2098.49 c #Conflicts: 1199000 | #Constraints: 81051 2092.95/2098.49 c #Conflicts: 1200000 | #Constraints: 82051 2092.95/2098.49 c #Conflicts: 1201000 | #Constraints: 83051 2092.95/2098.49 c #Conflicts: 1202000 | #Constraints: 84051 2092.95/2098.49 c #Conflicts: 1203000 | #Constraints: 85051 2092.95/2098.49 c INPROCESSING 2092.95/2098.49 c GARBAGE COLLECT 2092.95/2098.49 c rational objective 90 2135.24/2140.86 c #Conflicts: 1204000 | #Constraints: 46807 2135.24/2140.86 c #Conflicts: 1205000 | #Constraints: 47808 2135.24/2140.86 c #Conflicts: 1206000 | #Constraints: 48809 2135.24/2140.86 c #Conflicts: 1207000 | #Constraints: 49809 2135.24/2140.86 c #Conflicts: 1208000 | #Constraints: 50809 2135.24/2140.86 c #Conflicts: 1209000 | #Constraints: 51810 2135.24/2140.86 c #Conflicts: 1210000 | #Constraints: 52810 2135.24/2140.86 c #Conflicts: 1211000 | #Constraints: 53810 2135.24/2140.86 c #Conflicts: 1212000 | #Constraints: 54810 2135.24/2140.86 c #Conflicts: 1213000 | #Constraints: 55810 2135.24/2140.86 c #Conflicts: 1214000 | #Constraints: 56810 2135.24/2140.86 c #Conflicts: 1215000 | #Constraints: 57810 2135.24/2140.86 c #Conflicts: 1216000 | #Constraints: 58810 2135.24/2140.86 c #Conflicts: 1217000 | #Constraints: 59811 2135.24/2140.86 c #Conflicts: 1218000 | #Constraints: 60811 2135.24/2140.86 c #Conflicts: 1219000 | #Constraints: 61811 2135.24/2140.86 c #Conflicts: 1220000 | #Constraints: 62811 2135.24/2140.86 c #Conflicts: 1221000 | #Constraints: 63811 2135.24/2140.86 c #Conflicts: 1222000 | #Constraints: 64811 2135.24/2140.86 c #Conflicts: 1223000 | #Constraints: 65811 2135.24/2140.86 c #Conflicts: 1224000 | #Constraints: 66811 2135.24/2140.86 c #Conflicts: 1225000 | #Constraints: 67811 2135.24/2140.86 c #Conflicts: 1226000 | #Constraints: 68811 2135.24/2140.86 c #Conflicts: 1227000 | #Constraints: 69811 2135.24/2140.86 c #Conflicts: 1228000 | #Constraints: 70811 2135.24/2140.86 c INPROCESSING 2135.24/2140.86 c GARBAGE COLLECT 2135.24/2140.86 c rational objective 90 2172.15/2177.83 c #Conflicts: 1229000 | #Constraints: 39858 2172.15/2177.83 c #Conflicts: 1230000 | #Constraints: 40858 2172.15/2177.83 c #Conflicts: 1231000 | #Constraints: 41858 2172.15/2177.83 c #Conflicts: 1232000 | #Constraints: 42858 2172.15/2177.83 c #Conflicts: 1233000 | #Constraints: 43860 2172.15/2177.83 c #Conflicts: 1234000 | #Constraints: 44861 2172.15/2177.83 c #Conflicts: 1235000 | #Constraints: 45861 2172.15/2177.83 c #Conflicts: 1236000 | #Constraints: 46861 2172.15/2177.83 c #Conflicts: 1237000 | #Constraints: 47861 2172.15/2177.83 c #Conflicts: 1238000 | #Constraints: 48861 2172.15/2177.83 c #Conflicts: 1239000 | #Constraints: 49861 2172.15/2177.83 c #Conflicts: 1240000 | #Constraints: 50861 2172.15/2177.83 c #Conflicts: 1241000 | #Constraints: 51861 2172.15/2177.83 c #Conflicts: 1242000 | #Constraints: 52861 2172.15/2177.83 c #Conflicts: 1243000 | #Constraints: 53861 2172.15/2177.83 c #Conflicts: 1244000 | #Constraints: 54861 2172.15/2177.83 c #Conflicts: 1245000 | #Constraints: 55861 2172.15/2177.83 c #Conflicts: 1246000 | #Constraints: 56861 2172.15/2177.83 c #Conflicts: 1247000 | #Constraints: 57861 2172.15/2177.83 c #Conflicts: 1248000 | #Constraints: 58861 2172.15/2177.83 c #Conflicts: 1249000 | #Constraints: 59861 2172.15/2177.83 c #Conflicts: 1250000 | #Constraints: 60861 2172.15/2177.83 c #Conflicts: 1251000 | #Constraints: 61861 2172.15/2177.83 c #Conflicts: 1252000 | #Constraints: 62861 2172.15/2177.83 c #Conflicts: 1253000 | #Constraints: 63861 2172.15/2177.83 c INPROCESSING 2172.15/2177.83 c GARBAGE COLLECT 2172.15/2177.83 c rational objective 90 2205.66/2211.46 c #Conflicts: 1254000 | #Constraints: 36533 2205.66/2211.46 c #Conflicts: 1255000 | #Constraints: 37533 2205.66/2211.46 c #Conflicts: 1256000 | #Constraints: 38533 2205.66/2211.46 c #Conflicts: 1257000 | #Constraints: 39533 2205.66/2211.46 c #Conflicts: 1258000 | #Constraints: 40533 2205.66/2211.46 c #Conflicts: 1259000 | #Constraints: 41533 2205.66/2211.46 c #Conflicts: 1260000 | #Constraints: 42534 2205.66/2211.46 c #Conflicts: 1261000 | #Constraints: 43535 2205.66/2211.46 c #Conflicts: 1262000 | #Constraints: 44535 2205.66/2211.46 c #Conflicts: 1263000 | #Constraints: 45535 2205.66/2211.46 c #Conflicts: 1264000 | #Constraints: 46535 2205.66/2211.46 c #Conflicts: 1265000 | #Constraints: 47535 2205.66/2211.46 c #Conflicts: 1266000 | #Constraints: 48535 2205.66/2211.46 c #Conflicts: 1267000 | #Constraints: 49535 2205.66/2211.46 c #Conflicts: 1268000 | #Constraints: 50535 2205.66/2211.46 c #Conflicts: 1269000 | #Constraints: 51535 2205.66/2211.46 c #Conflicts: 1270000 | #Constraints: 52535 2205.66/2211.46 c #Conflicts: 1271000 | #Constraints: 53535 2205.66/2211.46 c #Conflicts: 1272000 | #Constraints: 54535 2205.66/2211.46 c #Conflicts: 1273000 | #Constraints: 55535 2205.66/2211.46 c #Conflicts: 1274000 | #Constraints: 56535 2205.66/2211.46 c #Conflicts: 1275000 | #Constraints: 57535 2205.66/2211.46 c #Conflicts: 1276000 | #Constraints: 58535 2205.66/2211.46 c #Conflicts: 1277000 | #Constraints: 59535 2205.66/2211.46 c #Conflicts: 1278000 | #Constraints: 60535 2205.66/2211.46 c INPROCESSING 2205.66/2211.46 c GARBAGE COLLECT 2205.66/2211.46 c rational objective 90 2414.31/2420.65 c #Conflicts: 1279000 | #Constraints: 34886 2414.31/2420.65 c #Conflicts: 1280000 | #Constraints: 35886 2414.31/2420.65 c #Conflicts: 1281000 | #Constraints: 36887 2414.31/2420.65 c #Conflicts: 1282000 | #Constraints: 37887 2414.31/2420.65 c #Conflicts: 1283000 | #Constraints: 38887 2414.31/2420.65 c #Conflicts: 1284000 | #Constraints: 39887 2414.31/2420.65 c #Conflicts: 1285000 | #Constraints: 40887 2414.31/2420.65 c #Conflicts: 1286000 | #Constraints: 41887 2414.31/2420.65 c #Conflicts: 1287000 | #Constraints: 42887 2414.31/2420.65 c #Conflicts: 1288000 | #Constraints: 43887 2414.31/2420.65 c #Conflicts: 1289000 | #Constraints: 44887 2414.31/2420.65 c #Conflicts: 1290000 | #Constraints: 45887 2414.31/2420.65 c #Conflicts: 1291000 | #Constraints: 46887 2414.31/2420.65 c #Conflicts: 1292000 | #Constraints: 47887 2414.31/2420.65 c #Conflicts: 1293000 | #Constraints: 48887 2414.31/2420.65 c #Conflicts: 1294000 | #Constraints: 49887 2414.31/2420.65 c #Conflicts: 1295000 | #Constraints: 50887 2414.31/2420.65 c #Conflicts: 1296000 | #Constraints: 51887 2414.31/2420.65 c #Conflicts: 1297000 | #Constraints: 52888 2414.31/2420.65 c #Conflicts: 1298000 | #Constraints: 53888 2414.31/2420.65 c #Conflicts: 1299000 | #Constraints: 54889 2414.31/2420.65 c #Conflicts: 1300000 | #Constraints: 55889 2414.31/2420.65 c #Conflicts: 1301000 | #Constraints: 56889 2414.31/2420.65 c #Conflicts: 1302000 | #Constraints: 57889 2414.31/2420.65 c #Conflicts: 1303000 | #Constraints: 58889 2414.31/2420.65 c #Conflicts: 1304000 | #Constraints: 59890 2414.31/2420.65 c #Conflicts: 1305000 | #Constraints: 60891 2414.31/2420.65 c #Conflicts: 1306000 | #Constraints: 61891 2414.31/2420.65 c #Conflicts: 1307000 | #Constraints: 62891 2414.31/2420.65 c #Conflicts: 1308000 | #Constraints: 63891 2414.31/2420.65 c #Conflicts: 1309000 | #Constraints: 64891 2414.31/2420.65 c #Conflicts: 1310000 | #Constraints: 65891 2414.31/2420.65 c #Conflicts: 1311000 | #Constraints: 66891 2414.31/2420.65 c #Conflicts: 1312000 | #Constraints: 67891 2414.31/2420.65 c #Conflicts: 1313000 | #Constraints: 68891 2414.31/2420.65 c #Conflicts: 1314000 | #Constraints: 69891 2414.31/2420.65 c #Conflicts: 1315000 | #Constraints: 70891 2414.31/2420.65 c #Conflicts: 1316000 | #Constraints: 71891 2414.31/2420.65 c #Conflicts: 1317000 | #Constraints: 72891 2414.31/2420.65 c #Conflicts: 1318000 | #Constraints: 73891 2414.31/2420.65 c #Conflicts: 1319000 | #Constraints: 74891 2414.31/2420.65 c #Conflicts: 1320000 | #Constraints: 75891 2414.31/2420.65 c #Conflicts: 1321000 | #Constraints: 76891 2414.31/2420.65 c #Conflicts: 1322000 | #Constraints: 77891 2414.31/2420.65 c #Conflicts: 1323000 | #Constraints: 78891 2414.31/2420.65 c #Conflicts: 1324000 | #Constraints: 79891 2414.31/2420.65 c #Conflicts: 1325000 | #Constraints: 80891 2414.31/2420.65 c #Conflicts: 1326000 | #Constraints: 81891 2414.31/2420.65 c #Conflicts: 1327000 | #Constraints: 82891 2414.31/2420.65 c #Conflicts: 1328000 | #Constraints: 83891 2414.31/2420.65 c #Conflicts: 1329000 | #Constraints: 84891 2414.31/2420.65 c #Conflicts: 1330000 | #Constraints: 85891 2414.31/2420.65 c #Conflicts: 1331000 | #Constraints: 86891 2414.31/2420.65 c #Conflicts: 1332000 | #Constraints: 87891 2414.31/2420.65 c #Conflicts: 1333000 | #Constraints: 88891 2414.31/2420.65 c #Conflicts: 1334000 | #Constraints: 89891 2414.31/2420.65 c #Conflicts: 1335000 | #Constraints: 90891 2414.31/2420.65 c #Conflicts: 1336000 | #Constraints: 91891 2414.31/2420.65 c #Conflicts: 1337000 | #Constraints: 92891 2414.31/2420.65 c #Conflicts: 1338000 | #Constraints: 93891 2414.31/2420.65 c #Conflicts: 1339000 | #Constraints: 94891 2414.31/2420.65 c #Conflicts: 1340000 | #Constraints: 95891 2414.31/2420.65 c #Conflicts: 1341000 | #Constraints: 96891 2414.31/2420.65 c #Conflicts: 1342000 | #Constraints: 97891 2414.31/2420.65 c #Conflicts: 1343000 | #Constraints: 98891 2414.31/2420.65 c #Conflicts: 1344000 | #Constraints: 99891 2414.31/2420.65 c #Conflicts: 1345000 | #Constraints: 100891 2414.31/2420.65 c #Conflicts: 1346000 | #Constraints: 101891 2414.31/2420.65 c #Conflicts: 1347000 | #Constraints: 102891 2414.31/2420.65 c #Conflicts: 1348000 | #Constraints: 103891 2414.31/2420.65 c #Conflicts: 1349000 | #Constraints: 104891 2414.31/2420.65 c #Conflicts: 1350000 | #Constraints: 105891 2414.31/2420.65 c #Conflicts: 1351000 | #Constraints: 106891 2414.31/2420.65 c #Conflicts: 1352000 | #Constraints: 107892 2414.31/2420.65 c #Conflicts: 1353000 | #Constraints: 108893 2414.31/2420.65 c #Conflicts: 1354000 | #Constraints: 109895 2414.31/2420.65 c #Conflicts: 1355000 | #Constraints: 110895 2414.31/2420.65 c #Conflicts: 1356000 | #Constraints: 111895 2414.31/2420.65 c #Conflicts: 1357000 | #Constraints: 112895 2467.65/2474.12 c #Conflicts: 1358000 | #Constraints: 113895 2467.65/2474.12 c #Conflicts: 1359000 | #Constraints: 114895 2467.65/2474.12 c #Conflicts: 1360000 | #Constraints: 115895 2467.65/2474.12 c #Conflicts: 1361000 | #Constraints: 116895 2467.65/2474.12 c #Conflicts: 1362000 | #Constraints: 117895 2467.65/2474.12 c #Conflicts: 1363000 | #Constraints: 118895 2467.65/2474.12 c #Conflicts: 1364000 | #Constraints: 119895 2467.65/2474.12 c #Conflicts: 1365000 | #Constraints: 120895 2467.65/2474.12 c #Conflicts: 1366000 | #Constraints: 121896 2467.65/2474.12 c #Conflicts: 1367000 | #Constraints: 122896 2467.65/2474.12 c #Conflicts: 1368000 | #Constraints: 123896 2467.65/2474.12 c INPROCESSING 2467.65/2474.12 c GARBAGE COLLECT 2467.65/2474.12 c rational objective 90 2529.96/2536.60 c #Conflicts: 1369000 | #Constraints: 66565 2529.96/2536.60 c #Conflicts: 1370000 | #Constraints: 67565 2529.96/2536.60 c #Conflicts: 1371000 | #Constraints: 68565 2529.96/2536.60 c #Conflicts: 1372000 | #Constraints: 69565 2529.96/2536.60 c #Conflicts: 1373000 | #Constraints: 70565 2529.96/2536.60 c #Conflicts: 1374000 | #Constraints: 71566 2529.96/2536.60 c #Conflicts: 1375000 | #Constraints: 72566 2529.96/2536.60 c #Conflicts: 1376000 | #Constraints: 73566 2529.96/2536.60 c #Conflicts: 1377000 | #Constraints: 74566 2529.96/2536.60 c #Conflicts: 1378000 | #Constraints: 75566 2529.96/2536.60 c #Conflicts: 1379000 | #Constraints: 76566 2529.96/2536.60 c #Conflicts: 1380000 | #Constraints: 77566 2529.96/2536.60 c #Conflicts: 1381000 | #Constraints: 78566 2529.96/2536.60 c #Conflicts: 1382000 | #Constraints: 79566 2529.96/2536.60 c #Conflicts: 1383000 | #Constraints: 80566 2529.96/2536.60 c #Conflicts: 1384000 | #Constraints: 81566 2529.96/2536.60 c #Conflicts: 1385000 | #Constraints: 82566 2529.96/2536.60 c #Conflicts: 1386000 | #Constraints: 83566 2529.96/2536.60 c #Conflicts: 1387000 | #Constraints: 84566 2529.96/2536.60 c #Conflicts: 1388000 | #Constraints: 85566 2529.96/2536.60 c #Conflicts: 1389000 | #Constraints: 86566 2529.96/2536.60 c #Conflicts: 1390000 | #Constraints: 87566 2529.96/2536.60 c #Conflicts: 1391000 | #Constraints: 88566 2529.96/2536.60 c #Conflicts: 1392000 | #Constraints: 89566 2529.96/2536.60 c #Conflicts: 1393000 | #Constraints: 90566 2529.96/2536.60 c #Conflicts: 1394000 | #Constraints: 91566 2529.96/2536.60 c INPROCESSING 2529.96/2536.60 c GARBAGE COLLECT 2529.96/2536.60 c rational objective 90 2574.45/2581.29 c #Conflicts: 1395000 | #Constraints: 50205 2574.45/2581.29 c #Conflicts: 1396000 | #Constraints: 51205 2574.45/2581.29 c #Conflicts: 1397000 | #Constraints: 52206 2574.45/2581.29 c #Conflicts: 1398000 | #Constraints: 53206 2574.45/2581.29 c #Conflicts: 1399000 | #Constraints: 54206 2574.45/2581.29 c #Conflicts: 1400000 | #Constraints: 55206 2574.45/2581.29 c #Conflicts: 1401000 | #Constraints: 56206 2574.45/2581.29 c #Conflicts: 1402000 | #Constraints: 57206 2574.45/2581.29 c #Conflicts: 1403000 | #Constraints: 58206 2574.45/2581.29 c #Conflicts: 1404000 | #Constraints: 59207 2574.45/2581.29 c #Conflicts: 1405000 | #Constraints: 60207 2574.45/2581.29 c #Conflicts: 1406000 | #Constraints: 61207 2574.45/2581.29 c #Conflicts: 1407000 | #Constraints: 62207 2574.45/2581.29 c #Conflicts: 1408000 | #Constraints: 63207 2574.45/2581.29 c #Conflicts: 1409000 | #Constraints: 64207 2574.45/2581.29 c #Conflicts: 1410000 | #Constraints: 65207 2574.45/2581.29 c #Conflicts: 1411000 | #Constraints: 66207 2574.45/2581.29 c #Conflicts: 1412000 | #Constraints: 67207 2574.45/2581.29 c #Conflicts: 1413000 | #Constraints: 68207 2574.45/2581.29 c #Conflicts: 1414000 | #Constraints: 69207 2574.45/2581.29 c #Conflicts: 1415000 | #Constraints: 70207 2574.45/2581.29 c #Conflicts: 1416000 | #Constraints: 71207 2574.45/2581.29 c #Conflicts: 1417000 | #Constraints: 72207 2574.45/2581.29 c #Conflicts: 1418000 | #Constraints: 73207 2574.45/2581.29 c #Conflicts: 1419000 | #Constraints: 74207 2574.45/2581.29 c #Conflicts: 1420000 | #Constraints: 75207 2574.45/2581.29 c INPROCESSING 2574.45/2581.29 c GARBAGE COLLECT 2574.45/2581.29 c rational objective 90 2620.04/2626.96 c #Conflicts: 1421000 | #Constraints: 41887 2620.04/2626.96 c #Conflicts: 1422000 | #Constraints: 42887 2620.04/2626.96 c #Conflicts: 1423000 | #Constraints: 43887 2620.04/2626.96 c #Conflicts: 1424000 | #Constraints: 44888 2620.04/2626.96 c #Conflicts: 1425000 | #Constraints: 45888 2620.04/2626.96 c #Conflicts: 1426000 | #Constraints: 46888 2620.04/2626.96 c #Conflicts: 1427000 | #Constraints: 47888 2620.04/2626.96 c #Conflicts: 1428000 | #Constraints: 48888 2620.04/2626.96 c #Conflicts: 1429000 | #Constraints: 49888 2620.04/2626.96 c #Conflicts: 1430000 | #Constraints: 50888 2620.04/2626.96 c #Conflicts: 1431000 | #Constraints: 51888 2620.04/2626.96 c #Conflicts: 1432000 | #Constraints: 52888 2620.04/2626.96 c #Conflicts: 1433000 | #Constraints: 53888 2620.04/2626.96 c #Conflicts: 1434000 | #Constraints: 54888 2620.04/2626.96 c #Conflicts: 1435000 | #Constraints: 55888 2620.04/2626.96 c #Conflicts: 1436000 | #Constraints: 56888 2620.04/2626.96 c #Conflicts: 1437000 | #Constraints: 57889 2620.04/2626.96 c #Conflicts: 1438000 | #Constraints: 58889 2620.04/2626.96 c #Conflicts: 1439000 | #Constraints: 59889 2620.04/2626.96 c #Conflicts: 1440000 | #Constraints: 60889 2620.04/2626.96 c #Conflicts: 1441000 | #Constraints: 61889 2620.04/2626.96 c #Conflicts: 1442000 | #Constraints: 62889 2620.04/2626.96 c #Conflicts: 1443000 | #Constraints: 63889 2620.04/2626.96 c #Conflicts: 1444000 | #Constraints: 64889 2620.04/2626.96 c #Conflicts: 1445000 | #Constraints: 65889 2620.04/2626.96 c #Conflicts: 1446000 | #Constraints: 66889 2620.04/2626.96 c #Conflicts: 1447000 | #Constraints: 67889 2620.04/2626.96 c INPROCESSING 2620.04/2626.96 c GARBAGE COLLECT 2620.04/2626.96 c rational objective 90 2663.41/2670.41 c #Conflicts: 1448000 | #Constraints: 38358 2663.41/2670.41 c #Conflicts: 1449000 | #Constraints: 39358 2663.41/2670.41 c #Conflicts: 1450000 | #Constraints: 40358 2663.41/2670.41 c #Conflicts: 1451000 | #Constraints: 41358 2663.41/2670.41 c #Conflicts: 1452000 | #Constraints: 42358 2663.41/2670.41 c #Conflicts: 1453000 | #Constraints: 43358 2663.41/2670.41 c #Conflicts: 1454000 | #Constraints: 44358 2663.41/2670.41 c #Conflicts: 1455000 | #Constraints: 45358 2663.41/2670.41 c #Conflicts: 1456000 | #Constraints: 46358 2663.41/2670.41 c #Conflicts: 1457000 | #Constraints: 47358 2663.41/2670.41 c #Conflicts: 1458000 | #Constraints: 48358 2663.41/2670.41 c #Conflicts: 1459000 | #Constraints: 49358 2663.41/2670.41 c #Conflicts: 1460000 | #Constraints: 50358 2663.41/2670.41 c #Conflicts: 1461000 | #Constraints: 51358 2663.41/2670.41 c #Conflicts: 1462000 | #Constraints: 52358 2663.41/2670.41 c #Conflicts: 1463000 | #Constraints: 53359 2663.41/2670.41 c #Conflicts: 1464000 | #Constraints: 54359 2663.41/2670.41 c #Conflicts: 1465000 | #Constraints: 55359 2663.41/2670.41 c #Conflicts: 1466000 | #Constraints: 56360 2663.41/2670.41 c #Conflicts: 1467000 | #Constraints: 57360 2663.41/2670.41 c #Conflicts: 1468000 | #Constraints: 58360 2663.41/2670.41 c #Conflicts: 1469000 | #Constraints: 59360 2663.41/2670.41 c #Conflicts: 1470000 | #Constraints: 60360 2663.41/2670.41 c #Conflicts: 1471000 | #Constraints: 61360 2663.41/2670.41 c #Conflicts: 1472000 | #Constraints: 62360 2663.41/2670.41 c #Conflicts: 1473000 | #Constraints: 63360 2663.41/2670.41 c #Conflicts: 1474000 | #Constraints: 64361 2663.41/2670.41 c INPROCESSING 2663.41/2670.41 c GARBAGE COLLECT 2663.41/2670.41 c rational objective 90 2839.50/2847.03 c #Conflicts: 1475000 | #Constraints: 36594 2839.50/2847.03 c #Conflicts: 1476000 | #Constraints: 37594 2839.50/2847.03 c #Conflicts: 1477000 | #Constraints: 38594 2839.50/2847.03 c #Conflicts: 1478000 | #Constraints: 39594 2839.50/2847.03 c #Conflicts: 1479000 | #Constraints: 40594 2839.50/2847.03 c #Conflicts: 1480000 | #Constraints: 41594 2839.50/2847.03 c #Conflicts: 1481000 | #Constraints: 42594 2839.50/2847.03 c #Conflicts: 1482000 | #Constraints: 43594 2839.50/2847.03 c #Conflicts: 1483000 | #Constraints: 44594 2839.50/2847.03 c #Conflicts: 1484000 | #Constraints: 45594 2839.50/2847.03 c #Conflicts: 1485000 | #Constraints: 46594 2839.50/2847.03 c #Conflicts: 1486000 | #Constraints: 47594 2839.50/2847.03 c #Conflicts: 1487000 | #Constraints: 48594 2839.50/2847.03 c #Conflicts: 1488000 | #Constraints: 49594 2839.50/2847.03 c #Conflicts: 1489000 | #Constraints: 50594 2839.50/2847.03 c #Conflicts: 1490000 | #Constraints: 51594 2839.50/2847.03 c #Conflicts: 1491000 | #Constraints: 52594 2839.50/2847.03 c #Conflicts: 1492000 | #Constraints: 53594 2839.50/2847.03 c #Conflicts: 1493000 | #Constraints: 54595 2839.50/2847.03 c #Conflicts: 1494000 | #Constraints: 55595 2839.50/2847.03 c #Conflicts: 1495000 | #Constraints: 56595 2839.50/2847.03 c #Conflicts: 1496000 | #Constraints: 57595 2839.50/2847.03 c #Conflicts: 1497000 | #Constraints: 58595 2839.50/2847.03 c #Conflicts: 1498000 | #Constraints: 59596 2839.50/2847.03 c #Conflicts: 1499000 | #Constraints: 60596 2839.50/2847.03 c #Conflicts: 1500000 | #Constraints: 61596 2839.50/2847.03 c #Conflicts: 1501000 | #Constraints: 62597 2839.50/2847.03 c #Conflicts: 1502000 | #Constraints: 63597 2839.50/2847.03 c #Conflicts: 1503000 | #Constraints: 64597 2839.50/2847.03 c #Conflicts: 1504000 | #Constraints: 65597 2839.50/2847.03 c #Conflicts: 1505000 | #Constraints: 66597 2839.50/2847.03 c #Conflicts: 1506000 | #Constraints: 67597 2839.50/2847.03 c #Conflicts: 1507000 | #Constraints: 68597 2839.50/2847.03 c #Conflicts: 1508000 | #Constraints: 69597 2839.50/2847.03 c #Conflicts: 1509000 | #Constraints: 70597 2839.50/2847.03 c #Conflicts: 1510000 | #Constraints: 71597 2839.50/2847.03 c #Conflicts: 1511000 | #Constraints: 72597 2839.50/2847.03 c #Conflicts: 1512000 | #Constraints: 73597 2839.50/2847.03 c #Conflicts: 1513000 | #Constraints: 74597 2839.50/2847.03 c #Conflicts: 1514000 | #Constraints: 75597 2839.50/2847.03 c #Conflicts: 1515000 | #Constraints: 76597 2839.50/2847.03 c #Conflicts: 1516000 | #Constraints: 77598 2839.50/2847.03 c #Conflicts: 1517000 | #Constraints: 78598 2839.50/2847.03 c #Conflicts: 1518000 | #Constraints: 79598 2839.50/2847.03 c #Conflicts: 1519000 | #Constraints: 80599 2839.50/2847.03 c #Conflicts: 1520000 | #Constraints: 81600 2839.50/2847.03 c #Conflicts: 1521000 | #Constraints: 82600 2839.50/2847.03 c #Conflicts: 1522000 | #Constraints: 83600 2839.50/2847.03 c #Conflicts: 1523000 | #Constraints: 84600 2839.50/2847.03 c #Conflicts: 1524000 | #Constraints: 85600 2839.50/2847.03 c #Conflicts: 1525000 | #Constraints: 86600 2839.50/2847.03 c #Conflicts: 1526000 | #Constraints: 87600 2839.50/2847.03 c #Conflicts: 1527000 | #Constraints: 88600 2839.50/2847.03 c #Conflicts: 1528000 | #Constraints: 89600 2839.50/2847.03 c #Conflicts: 1529000 | #Constraints: 90600 2839.50/2847.03 c #Conflicts: 1530000 | #Constraints: 91600 2839.50/2847.03 c #Conflicts: 1531000 | #Constraints: 92600 2839.50/2847.03 c #Conflicts: 1532000 | #Constraints: 93600 2839.50/2847.03 c #Conflicts: 1533000 | #Constraints: 94600 2839.50/2847.03 c #Conflicts: 1534000 | #Constraints: 95600 2839.50/2847.03 c #Conflicts: 1535000 | #Constraints: 96600 2839.50/2847.03 c #Conflicts: 1536000 | #Constraints: 97600 2839.50/2847.03 c #Conflicts: 1537000 | #Constraints: 98600 2839.50/2847.03 c #Conflicts: 1538000 | #Constraints: 99600 2839.50/2847.03 c #Conflicts: 1539000 | #Constraints: 100600 2839.50/2847.03 c #Conflicts: 1540000 | #Constraints: 101601 2839.50/2847.03 c #Conflicts: 1541000 | #Constraints: 102601 2839.50/2847.03 c #Conflicts: 1542000 | #Constraints: 103601 2839.50/2847.03 c #Conflicts: 1543000 | #Constraints: 104602 2839.50/2847.03 c #Conflicts: 1544000 | #Constraints: 105602 2839.50/2847.03 c #Conflicts: 1545000 | #Constraints: 106602 2839.50/2847.03 c #Conflicts: 1546000 | #Constraints: 107602 2839.50/2847.03 c #Conflicts: 1547000 | #Constraints: 108602 2839.50/2847.03 c #Conflicts: 1548000 | #Constraints: 109602 2839.50/2847.03 c #Conflicts: 1549000 | #Constraints: 110602 2839.50/2847.03 c #Conflicts: 1550000 | #Constraints: 111603 2839.50/2847.03 c #Conflicts: 1551000 | #Constraints: 112603 2839.50/2847.03 c #Conflicts: 1552000 | #Constraints: 113603 2839.50/2847.03 c #Conflicts: 1553000 | #Constraints: 114603 2904.69/2912.41 c #Conflicts: 1554000 | #Constraints: 115603 2904.69/2912.41 c #Conflicts: 1555000 | #Constraints: 116603 2904.69/2912.41 c #Conflicts: 1556000 | #Constraints: 117603 2904.69/2912.41 c #Conflicts: 1557000 | #Constraints: 118603 2904.69/2912.41 c #Conflicts: 1558000 | #Constraints: 119603 2904.69/2912.41 c #Conflicts: 1559000 | #Constraints: 120603 2904.69/2912.41 c #Conflicts: 1560000 | #Constraints: 121603 2904.69/2912.41 c #Conflicts: 1561000 | #Constraints: 122603 2904.69/2912.41 c #Conflicts: 1562000 | #Constraints: 123603 2904.69/2912.41 c #Conflicts: 1563000 | #Constraints: 124604 2904.69/2912.41 c #Conflicts: 1564000 | #Constraints: 125604 2904.69/2912.41 c #Conflicts: 1565000 | #Constraints: 126604 2904.69/2912.41 c #Conflicts: 1566000 | #Constraints: 127604 2904.69/2912.41 c #Conflicts: 1567000 | #Constraints: 128604 2904.69/2912.41 c #Conflicts: 1568000 | #Constraints: 129604 2904.69/2912.41 c #Conflicts: 1569000 | #Constraints: 130605 2904.69/2912.41 c #Conflicts: 1570000 | #Constraints: 131605 2904.69/2912.41 c INPROCESSING 2904.69/2912.41 c GARBAGE COLLECT 2904.69/2912.41 c rational objective 90 2971.30/2979.21 c #Conflicts: 1571000 | #Constraints: 70048 2971.30/2979.21 c #Conflicts: 1572000 | #Constraints: 71048 2971.30/2979.21 c #Conflicts: 1573000 | #Constraints: 72048 2971.30/2979.21 c #Conflicts: 1574000 | #Constraints: 73048 2971.30/2979.21 c #Conflicts: 1575000 | #Constraints: 74048 2971.30/2979.21 c #Conflicts: 1576000 | #Constraints: 75048 2971.30/2979.21 c #Conflicts: 1577000 | #Constraints: 76048 2971.30/2979.21 c #Conflicts: 1578000 | #Constraints: 77048 2971.30/2979.21 c #Conflicts: 1579000 | #Constraints: 78048 2971.30/2979.21 c #Conflicts: 1580000 | #Constraints: 79048 2971.30/2979.21 c #Conflicts: 1581000 | #Constraints: 80048 2971.30/2979.21 c #Conflicts: 1582000 | #Constraints: 81048 2971.30/2979.21 c #Conflicts: 1583000 | #Constraints: 82048 2971.30/2979.21 c #Conflicts: 1584000 | #Constraints: 83048 2971.30/2979.21 c #Conflicts: 1585000 | #Constraints: 84048 2971.30/2979.21 c #Conflicts: 1586000 | #Constraints: 85048 2971.30/2979.21 c #Conflicts: 1587000 | #Constraints: 86048 2971.30/2979.21 c #Conflicts: 1588000 | #Constraints: 87048 2971.30/2979.21 c #Conflicts: 1589000 | #Constraints: 88048 2971.30/2979.21 c #Conflicts: 1590000 | #Constraints: 89048 2971.30/2979.21 c #Conflicts: 1591000 | #Constraints: 90048 2971.30/2979.21 c #Conflicts: 1592000 | #Constraints: 91048 2971.30/2979.21 c #Conflicts: 1593000 | #Constraints: 92048 2971.30/2979.21 c #Conflicts: 1594000 | #Constraints: 93048 2971.30/2979.21 c #Conflicts: 1595000 | #Constraints: 94048 2971.30/2979.21 c #Conflicts: 1596000 | #Constraints: 95048 2971.30/2979.21 c #Conflicts: 1597000 | #Constraints: 96048 2971.30/2979.21 c #Conflicts: 1598000 | #Constraints: 97048 2971.30/2979.21 c #Conflicts: 1599000 | #Constraints: 98048 2971.30/2979.21 c INPROCESSING 2971.30/2979.21 c GARBAGE COLLECT 2971.30/2979.21 c rational objective 90 3058.54/3066.70 c #Conflicts: 1600000 | #Constraints: 53682 3058.54/3066.70 c #Conflicts: 1601000 | #Constraints: 54682 3058.54/3066.70 c #Conflicts: 1602000 | #Constraints: 55682 3058.54/3066.70 c #Conflicts: 1603000 | #Constraints: 56682 3058.54/3066.70 c #Conflicts: 1604000 | #Constraints: 57682 3058.54/3066.70 c #Conflicts: 1605000 | #Constraints: 58682 3058.54/3066.70 c #Conflicts: 1606000 | #Constraints: 59682 3058.54/3066.70 c #Conflicts: 1607000 | #Constraints: 60682 3058.54/3066.70 c #Conflicts: 1608000 | #Constraints: 61682 3058.54/3066.70 c #Conflicts: 1609000 | #Constraints: 62682 3058.54/3066.70 c #Conflicts: 1610000 | #Constraints: 63682 3058.54/3066.70 c #Conflicts: 1611000 | #Constraints: 64682 3058.54/3066.70 c #Conflicts: 1612000 | #Constraints: 65682 3058.54/3066.70 c #Conflicts: 1613000 | #Constraints: 66682 3058.54/3066.70 c #Conflicts: 1614000 | #Constraints: 67682 3058.54/3066.70 c #Conflicts: 1615000 | #Constraints: 68682 3058.54/3066.70 c #Conflicts: 1616000 | #Constraints: 69682 3058.54/3066.70 c #Conflicts: 1617000 | #Constraints: 70682 3058.54/3066.70 c #Conflicts: 1618000 | #Constraints: 71682 3058.54/3066.70 c #Conflicts: 1619000 | #Constraints: 72682 3058.54/3066.70 c #Conflicts: 1620000 | #Constraints: 73682 3058.54/3066.70 c #Conflicts: 1621000 | #Constraints: 74682 3058.54/3066.70 c #Conflicts: 1622000 | #Constraints: 75683 3058.54/3066.70 c #Conflicts: 1623000 | #Constraints: 76683 3058.54/3066.70 c #Conflicts: 1624000 | #Constraints: 77683 3058.54/3066.70 c #Conflicts: 1625000 | #Constraints: 78683 3058.54/3066.70 c #Conflicts: 1626000 | #Constraints: 79683 3058.54/3066.70 c #Conflicts: 1627000 | #Constraints: 80683 3058.54/3066.70 c INPROCESSING 3058.54/3066.70 c GARBAGE COLLECT 3058.54/3066.70 c rational objective 90 3109.08/3117.45 c #Conflicts: 1628000 | #Constraints: 44826 3109.08/3117.45 c #Conflicts: 1629000 | #Constraints: 45826 3109.08/3117.45 c #Conflicts: 1630000 | #Constraints: 46826 3109.08/3117.45 c #Conflicts: 1631000 | #Constraints: 47826 3109.08/3117.45 c #Conflicts: 1632000 | #Constraints: 48826 3109.08/3117.45 c #Conflicts: 1633000 | #Constraints: 49827 3109.08/3117.45 c #Conflicts: 1634000 | #Constraints: 50827 3109.08/3117.45 c #Conflicts: 1635000 | #Constraints: 51827 3109.08/3117.45 c #Conflicts: 1636000 | #Constraints: 52827 3109.08/3117.45 c #Conflicts: 1637000 | #Constraints: 53827 3109.08/3117.45 c #Conflicts: 1638000 | #Constraints: 54827 3109.08/3117.45 c #Conflicts: 1639000 | #Constraints: 55827 3109.08/3117.45 c #Conflicts: 1640000 | #Constraints: 56827 3109.08/3117.45 c #Conflicts: 1641000 | #Constraints: 57827 3109.08/3117.45 c #Conflicts: 1642000 | #Constraints: 58827 3109.08/3117.45 c #Conflicts: 1643000 | #Constraints: 59827 3109.08/3117.45 c #Conflicts: 1644000 | #Constraints: 60827 3109.08/3117.45 c #Conflicts: 1645000 | #Constraints: 61827 3109.08/3117.45 c #Conflicts: 1646000 | #Constraints: 62827 3109.08/3117.45 c #Conflicts: 1647000 | #Constraints: 63827 3109.08/3117.45 c #Conflicts: 1648000 | #Constraints: 64827 3109.08/3117.45 c #Conflicts: 1649000 | #Constraints: 65827 3109.08/3117.45 c #Conflicts: 1650000 | #Constraints: 66827 3109.08/3117.45 c #Conflicts: 1651000 | #Constraints: 67827 3109.08/3117.45 c #Conflicts: 1652000 | #Constraints: 68827 3109.08/3117.45 c #Conflicts: 1653000 | #Constraints: 69827 3109.08/3117.45 c #Conflicts: 1654000 | #Constraints: 70827 3109.08/3117.45 c #Conflicts: 1655000 | #Constraints: 71827 3109.08/3117.45 c #Conflicts: 1656000 | #Constraints: 72828 3109.08/3117.45 c INPROCESSING 3109.08/3117.45 c GARBAGE COLLECT 3109.08/3117.45 c rational objective 90 3149.67/3158.17 c #Conflicts: 1657000 | #Constraints: 41020 3149.67/3158.17 c #Conflicts: 1658000 | #Constraints: 42020 3149.67/3158.17 c #Conflicts: 1659000 | #Constraints: 43020 3149.67/3158.17 c #Conflicts: 1660000 | #Constraints: 44020 3149.67/3158.17 c #Conflicts: 1661000 | #Constraints: 45020 3149.67/3158.17 c #Conflicts: 1662000 | #Constraints: 46020 3149.67/3158.17 c #Conflicts: 1663000 | #Constraints: 47020 3149.67/3158.17 c #Conflicts: 1664000 | #Constraints: 48020 3149.67/3158.17 c #Conflicts: 1665000 | #Constraints: 49020 3149.67/3158.17 c #Conflicts: 1666000 | #Constraints: 50020 3149.67/3158.17 c #Conflicts: 1667000 | #Constraints: 51020 3149.67/3158.17 c #Conflicts: 1668000 | #Constraints: 52020 3149.67/3158.17 c #Conflicts: 1669000 | #Constraints: 53020 3149.67/3158.17 c #Conflicts: 1670000 | #Constraints: 54020 3149.67/3158.17 c #Conflicts: 1671000 | #Constraints: 55020 3149.67/3158.17 c #Conflicts: 1672000 | #Constraints: 56020 3149.67/3158.17 c #Conflicts: 1673000 | #Constraints: 57020 3149.67/3158.17 c #Conflicts: 1674000 | #Constraints: 58020 3149.67/3158.17 c #Conflicts: 1675000 | #Constraints: 59020 3149.67/3158.17 c #Conflicts: 1676000 | #Constraints: 60020 3149.67/3158.17 c #Conflicts: 1677000 | #Constraints: 61020 3149.67/3158.17 c #Conflicts: 1678000 | #Constraints: 62020 3149.67/3158.17 c #Conflicts: 1679000 | #Constraints: 63020 3149.67/3158.17 c #Conflicts: 1680000 | #Constraints: 64020 3149.67/3158.17 c #Conflicts: 1681000 | #Constraints: 65020 3149.67/3158.17 c #Conflicts: 1682000 | #Constraints: 66020 3149.67/3158.17 c #Conflicts: 1683000 | #Constraints: 67020 3149.67/3158.17 c #Conflicts: 1684000 | #Constraints: 68020 3149.67/3158.17 c INPROCESSING 3149.67/3158.17 c GARBAGE COLLECT 3149.67/3158.17 c rational objective 90 3339.29/3348.32 c #Conflicts: 1685000 | #Constraints: 38226 3339.29/3348.32 c #Conflicts: 1686000 | #Constraints: 39226 3339.29/3348.32 c #Conflicts: 1687000 | #Constraints: 40226 3339.29/3348.32 c #Conflicts: 1688000 | #Constraints: 41226 3339.29/3348.32 c #Conflicts: 1689000 | #Constraints: 42226 3339.29/3348.32 c #Conflicts: 1690000 | #Constraints: 43226 3339.29/3348.32 c #Conflicts: 1691000 | #Constraints: 44226 3339.29/3348.32 c #Conflicts: 1692000 | #Constraints: 45226 3339.29/3348.32 c #Conflicts: 1693000 | #Constraints: 46226 3339.29/3348.32 c #Conflicts: 1694000 | #Constraints: 47226 3339.29/3348.32 c #Conflicts: 1695000 | #Constraints: 48226 3339.29/3348.32 c #Conflicts: 1696000 | #Constraints: 49226 3339.29/3348.32 c #Conflicts: 1697000 | #Constraints: 50226 3339.29/3348.32 c #Conflicts: 1698000 | #Constraints: 51226 3339.29/3348.32 c #Conflicts: 1699000 | #Constraints: 52226 3339.29/3348.32 c #Conflicts: 1700000 | #Constraints: 53226 3339.29/3348.32 c #Conflicts: 1701000 | #Constraints: 54226 3339.29/3348.32 c #Conflicts: 1702000 | #Constraints: 55226 3339.29/3348.32 c #Conflicts: 1703000 | #Constraints: 56226 3339.29/3348.32 c #Conflicts: 1704000 | #Constraints: 57226 3339.29/3348.32 c #Conflicts: 1705000 | #Constraints: 58226 3339.29/3348.32 c #Conflicts: 1706000 | #Constraints: 59227 3339.29/3348.32 c #Conflicts: 1707000 | #Constraints: 60227 3339.29/3348.32 c #Conflicts: 1708000 | #Constraints: 61227 3339.29/3348.32 c #Conflicts: 1709000 | #Constraints: 62227 3339.29/3348.32 c #Conflicts: 1710000 | #Constraints: 63227 3339.29/3348.32 c #Conflicts: 1711000 | #Constraints: 64227 3339.29/3348.32 c #Conflicts: 1712000 | #Constraints: 65227 3339.29/3348.32 c #Conflicts: 1713000 | #Constraints: 66227 3339.29/3348.32 c #Conflicts: 1714000 | #Constraints: 67227 3339.29/3348.32 c #Conflicts: 1715000 | #Constraints: 68227 3339.29/3348.32 c #Conflicts: 1716000 | #Constraints: 69227 3339.29/3348.32 c #Conflicts: 1717000 | #Constraints: 70227 3339.29/3348.32 c #Conflicts: 1718000 | #Constraints: 71227 3339.29/3348.32 c #Conflicts: 1719000 | #Constraints: 72227 3339.29/3348.32 c #Conflicts: 1720000 | #Constraints: 73227 3339.29/3348.32 c #Conflicts: 1721000 | #Constraints: 74227 3339.29/3348.32 c #Conflicts: 1722000 | #Constraints: 75227 3339.29/3348.32 c #Conflicts: 1723000 | #Constraints: 76227 3339.29/3348.32 c #Conflicts: 1724000 | #Constraints: 77227 3339.29/3348.32 c #Conflicts: 1725000 | #Constraints: 78227 3339.29/3348.32 c #Conflicts: 1726000 | #Constraints: 79227 3339.29/3348.32 c #Conflicts: 1727000 | #Constraints: 80227 3339.29/3348.32 c #Conflicts: 1728000 | #Constraints: 81227 3339.29/3348.32 c #Conflicts: 1729000 | #Constraints: 82227 3339.29/3348.32 c #Conflicts: 1730000 | #Constraints: 83227 3339.29/3348.32 c #Conflicts: 1731000 | #Constraints: 84227 3339.29/3348.32 c #Conflicts: 1732000 | #Constraints: 85227 3339.29/3348.32 c #Conflicts: 1733000 | #Constraints: 86227 3339.29/3348.32 c #Conflicts: 1734000 | #Constraints: 87227 3339.29/3348.32 c #Conflicts: 1735000 | #Constraints: 88227 3339.29/3348.32 c #Conflicts: 1736000 | #Constraints: 89227 3339.29/3348.32 c #Conflicts: 1737000 | #Constraints: 90227 3339.29/3348.32 c #Conflicts: 1738000 | #Constraints: 91228 3339.29/3348.32 c #Conflicts: 1739000 | #Constraints: 92228 3339.29/3348.32 c #Conflicts: 1740000 | #Constraints: 93228 3339.29/3348.32 c #Conflicts: 1741000 | #Constraints: 94228 3339.29/3348.32 c #Conflicts: 1742000 | #Constraints: 95228 3339.29/3348.32 c #Conflicts: 1743000 | #Constraints: 96228 3339.29/3348.32 c #Conflicts: 1744000 | #Constraints: 97228 3339.29/3348.32 c #Conflicts: 1745000 | #Constraints: 98228 3339.29/3348.32 c #Conflicts: 1746000 | #Constraints: 99228 3339.29/3348.32 c #Conflicts: 1747000 | #Constraints: 100228 3339.29/3348.32 c #Conflicts: 1748000 | #Constraints: 101228 3339.29/3348.32 c #Conflicts: 1749000 | #Constraints: 102228 3339.29/3348.32 c #Conflicts: 1750000 | #Constraints: 103228 3339.29/3348.32 c #Conflicts: 1751000 | #Constraints: 104228 3339.29/3348.32 c #Conflicts: 1752000 | #Constraints: 105228 3339.29/3348.32 c #Conflicts: 1753000 | #Constraints: 106228 3339.29/3348.32 c #Conflicts: 1754000 | #Constraints: 107228 3339.29/3348.32 c #Conflicts: 1755000 | #Constraints: 108228 3339.29/3348.32 c #Conflicts: 1756000 | #Constraints: 109228 3339.29/3348.32 c #Conflicts: 1757000 | #Constraints: 110228 3339.29/3348.32 c #Conflicts: 1758000 | #Constraints: 111228 3339.29/3348.32 c #Conflicts: 1759000 | #Constraints: 112228 3339.29/3348.32 c #Conflicts: 1760000 | #Constraints: 113228 3339.29/3348.32 c #Conflicts: 1761000 | #Constraints: 114228 3339.29/3348.32 c #Conflicts: 1762000 | #Constraints: 115228 3339.29/3348.32 c #Conflicts: 1763000 | #Constraints: 116229 3451.34/3460.78 c #Conflicts: 1764000 | #Constraints: 117229 3451.34/3460.78 c #Conflicts: 1765000 | #Constraints: 118229 3451.34/3460.78 c #Conflicts: 1766000 | #Constraints: 119229 3451.34/3460.78 c #Conflicts: 1767000 | #Constraints: 120229 3451.34/3460.78 c #Conflicts: 1768000 | #Constraints: 121229 3451.34/3460.78 c #Conflicts: 1769000 | #Constraints: 122229 3451.34/3460.78 c #Conflicts: 1770000 | #Constraints: 123229 3451.34/3460.78 c #Conflicts: 1771000 | #Constraints: 124229 3451.34/3460.78 c #Conflicts: 1772000 | #Constraints: 125229 3451.34/3460.78 c #Conflicts: 1773000 | #Constraints: 126229 3451.34/3460.78 c #Conflicts: 1774000 | #Constraints: 127229 3451.34/3460.78 c #Conflicts: 1775000 | #Constraints: 128230 3451.34/3460.78 c #Conflicts: 1776000 | #Constraints: 129230 3451.34/3460.78 c #Conflicts: 1777000 | #Constraints: 130230 3451.34/3460.78 c #Conflicts: 1778000 | #Constraints: 131230 3451.34/3460.78 c #Conflicts: 1779000 | #Constraints: 132230 3451.34/3460.78 c #Conflicts: 1780000 | #Constraints: 133230 3451.34/3460.78 c #Conflicts: 1781000 | #Constraints: 134230 3451.34/3460.78 c #Conflicts: 1782000 | #Constraints: 135230 3451.34/3460.78 c #Conflicts: 1783000 | #Constraints: 136230 3451.34/3460.78 c #Conflicts: 1784000 | #Constraints: 137230 3451.34/3460.78 c #Conflicts: 1785000 | #Constraints: 138230 3451.34/3460.78 c #Conflicts: 1786000 | #Constraints: 139230 3451.34/3460.78 c #Conflicts: 1787000 | #Constraints: 140231 3451.34/3460.78 c INPROCESSING 3451.34/3460.78 c GARBAGE COLLECT 3451.34/3460.78 c rational objective 90 3533.79/3543.44 c #Conflicts: 1788000 | #Constraints: 74443 3533.79/3543.44 c #Conflicts: 1789000 | #Constraints: 75443 3533.79/3543.44 c #Conflicts: 1790000 | #Constraints: 76443 3533.79/3543.44 c #Conflicts: 1791000 | #Constraints: 77443 3533.79/3543.44 c #Conflicts: 1792000 | #Constraints: 78443 3533.79/3543.44 c #Conflicts: 1793000 | #Constraints: 79443 3533.79/3543.44 c #Conflicts: 1794000 | #Constraints: 80443 3533.79/3543.44 c #Conflicts: 1795000 | #Constraints: 81443 3533.79/3543.44 c #Conflicts: 1796000 | #Constraints: 82444 3533.79/3543.44 c #Conflicts: 1797000 | #Constraints: 83444 3533.79/3543.44 c #Conflicts: 1798000 | #Constraints: 84444 3533.79/3543.44 c #Conflicts: 1799000 | #Constraints: 85444 3533.79/3543.44 c #Conflicts: 1800000 | #Constraints: 86444 3533.79/3543.44 c #Conflicts: 1801000 | #Constraints: 87444 3533.79/3543.44 c #Conflicts: 1802000 | #Constraints: 88444 3533.79/3543.44 c #Conflicts: 1803000 | #Constraints: 89444 3533.79/3543.44 c #Conflicts: 1804000 | #Constraints: 90444 3533.79/3543.44 c #Conflicts: 1805000 | #Constraints: 91444 3533.79/3543.44 c #Conflicts: 1806000 | #Constraints: 92444 3533.79/3543.44 c #Conflicts: 1807000 | #Constraints: 93444 3533.79/3543.44 c #Conflicts: 1808000 | #Constraints: 94444 3533.79/3543.44 c #Conflicts: 1809000 | #Constraints: 95444 3533.79/3543.44 c #Conflicts: 1810000 | #Constraints: 96444 3533.79/3543.44 c #Conflicts: 1811000 | #Constraints: 97444 3533.79/3543.44 c #Conflicts: 1812000 | #Constraints: 98444 3533.79/3543.44 c #Conflicts: 1813000 | #Constraints: 99444 3533.79/3543.44 c #Conflicts: 1814000 | #Constraints: 100444 3533.79/3543.44 c #Conflicts: 1815000 | #Constraints: 101444 3533.79/3543.44 c #Conflicts: 1816000 | #Constraints: 102444 3533.79/3543.44 c #Conflicts: 1817000 | #Constraints: 103445 3533.79/3543.44 c INPROCESSING 3533.79/3543.44 c GARBAGE COLLECT 3533.79/3543.44 c rational objective 90 3597.79/3607.64 c #Conflicts: 1818000 | #Constraints: 55962 3597.79/3607.64 c #Conflicts: 1819000 | #Constraints: 56962 3597.79/3607.64 c #Conflicts: 1820000 | #Constraints: 57962 3597.79/3607.64 c #Conflicts: 1821000 | #Constraints: 58962 3597.79/3607.64 c #Conflicts: 1822000 | #Constraints: 59962 3597.79/3607.64 c #Conflicts: 1823000 | #Constraints: 60963 3597.79/3607.64 c #Conflicts: 1824000 | #Constraints: 61963 3597.79/3607.64 c #Conflicts: 1825000 | #Constraints: 62963 3597.79/3607.64 c #Conflicts: 1826000 | #Constraints: 63963 3597.79/3607.64 c #Conflicts: 1827000 | #Constraints: 64963 3597.79/3607.64 c #Conflicts: 1828000 | #Constraints: 65963 3597.79/3607.64 c #Conflicts: 1829000 | #Constraints: 66964 3597.79/3607.64 c #Conflicts: 1830000 | #Constraints: 67964 3597.79/3607.64 c #Conflicts: 1831000 | #Constraints: 68964 3597.79/3607.64 c #Conflicts: 1832000 | #Constraints: 69964 3597.79/3607.64 c #Conflicts: 1833000 | #Constraints: 70964 3597.79/3607.64 c #Conflicts: 1834000 | #Constraints: 71964 3597.79/3607.64 c #Conflicts: 1835000 | #Constraints: 72964 3597.79/3607.64 c #Conflicts: 1836000 | #Constraints: 73964 3597.79/3607.64 c #Conflicts: 1837000 | #Constraints: 74964 3597.79/3607.64 c #Conflicts: 1838000 | #Constraints: 75964 3597.79/3607.64 c #Conflicts: 1839000 | #Constraints: 76964 3597.79/3607.64 c #Conflicts: 1840000 | #Constraints: 77964 3597.79/3607.64 c #Conflicts: 1841000 | #Constraints: 78964 3597.79/3607.64 c #Conflicts: 1842000 | #Constraints: 79964 3597.79/3607.64 c #Conflicts: 1843000 | #Constraints: 80964 3597.79/3607.64 c #Conflicts: 1844000 | #Constraints: 81964 3597.79/3607.64 c #Conflicts: 1845000 | #Constraints: 82964 3597.79/3607.64 c #Conflicts: 1846000 | #Constraints: 83964 3597.79/3607.64 c #Conflicts: 1847000 | #Constraints: 84964 3597.79/3607.64 c #Conflicts: 1848000 | #Constraints: 85964 3597.79/3607.64 c INPROCESSING 3597.79/3607.64 c GARBAGE COLLECT 3597.79/3607.64 c rational objective 90 3600.08/3609.90 c #Conflicts: 1849000 | #Constraints: 47596 3600.08/3609.90 c #Conflicts: 1850000 | #Constraints: 48596 3600.08/3609.90 c Program interrupted by user. 3600.08/3609.93 c cpu time 3561.3 s 3600.08/3609.93 c deterministic time 414645665158 4.15e+11 3600.08/3609.93 c optimization time 2.14921 s 3600.08/3609.93 c total solve time 3559.13 s 3600.08/3609.93 c core-guided solve time 0 s 3600.08/3609.93 c propagation time 2448.37 s 3600.08/3609.93 c conflict analysis time 817.943 s 3600.08/3609.93 c propagations 746543675 3600.08/3609.93 c resolve steps 66243195 3600.08/3609.93 c decisions 14016794 3600.08/3609.93 c conflicts 1850260 3600.08/3609.93 c restarts 3580 3600.08/3609.93 c inprocessing phases 84 3600.08/3609.93 c input clauses 6212 3600.08/3609.93 c input cardinalities 90 3600.08/3609.93 c input general constraints 0 3600.08/3609.93 c input average constraint length 6.23 3600.08/3609.93 c input average constraint degree 1.94 3600.08/3609.93 c learned clauses 1278080 3600.08/3609.93 c learned cardinalities 38556 3600.08/3609.93 c learned general constraints 533806 3600.08/3609.93 c learned average constraint length 856.26 3600.08/3609.93 c learned average constraint degree 44578981.76 3600.08/3609.93 c watched constraints 456758 3600.08/3609.93 c counting constraints 77048 3600.08/3609.93 c gcd simplifications 5616 3600.08/3609.93 c detected cardinalities 2135 3600.08/3609.93 c weakened non-implied lits 263135816 3600.08/3609.93 c weakened non-implying lits 625620 3600.08/3609.93 c original variables 6120 3600.08/3609.93 c clausal propagations 273212168 3600.08/3609.93 c cardinality propagations 260065718 3600.08/3609.93 c watched propagations 67004652 3600.08/3609.93 c counting propagations 140118389 3600.08/3609.93 c watch lookups 31866700389 3600.08/3609.93 c watch backjump lookups 25245593273 3600.08/3609.93 c watch checks 296793820958 3600.08/3609.93 c propagation checks 54537706869 3600.08/3609.93 c constraint additions 4676474978 3600.08/3609.93 c trail pops 762405381 3600.08/3609.93 c formula constraints 6302 3600.08/3609.93 c learned constraints 1850076 3600.08/3609.93 c bound constraints 0 3600.08/3609.93 c core-guided constraints 0 3600.08/3609.93 c encountered formula constraints 37197403 3600.08/3609.93 c encountered learned constraints 30893366 3600.08/3609.93 c encountered bound constraints 0 3600.08/3609.93 c encountered core-guided constraints 0 3600.08/3609.93 c LP total time 774.398 s 3600.08/3609.93 c LP solve time 766.29 s 3600.08/3609.93 c LP constraints added 11712 3600.08/3609.93 c LP constraints removed 5265 3600.08/3609.93 c LP pivots internal 1853246 3600.08/3609.93 c LP pivots root 549594 3600.08/3609.93 c LP calls 363 3600.08/3609.93 c LP optimalities 173 3600.08/3609.93 c LP no pivot count 4 3600.08/3609.93 c LP infeasibilities 184 3600.08/3609.93 c LP valid Farkas constraints 183 3600.08/3609.93 c LP learned Farkas constraints 183 3600.08/3609.93 c LP basis resets 1 3600.08/3609.93 c LP cycling count 0 3600.08/3609.93 c LP singular count 0 3600.08/3609.93 c LP no primal count 0 3600.08/3609.93 c LP no farkas count 1 3600.08/3609.93 c LP other issue count 0 3600.08/3609.93 c LP Gomory cuts 0 3600.08/3609.93 c LP learned cuts 5462 3600.08/3609.93 c LP deleted cuts 5393 3600.08/3609.93 c LP encountered Gomory constraints 0 3600.08/3609.93 c LP encountered Farkas constraints 1728 3600.08/3609.93 c LP encountered learned Farkas constraints 775 3600.08/3609.93 c CG auxiliary variables introduced 0 3600.08/3609.93 c CG solutions found 0 3600.08/3609.93 c CG cores constructed 0 3600.08/3609.93 c CG core cardinality constraints returned 0 3600.08/3609.93 c CG unit cores 0 3600.08/3609.93 c CG single cores 0 3600.08/3609.93 c CG blocks removed during cardinality reduction 0 3600.08/3609.93 c CG first core best 0 3600.08/3609.93 c CG decision core best 0 3600.08/3609.93 c CG core reduction tie 0 3600.08/3609.93 c CG core degree average 0.00 3600.08/3609.93 c CG core slack average 0.00 3600.08/3609.93 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (47315 MiB free)
memory of node 1: 64473 MiB (53981 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460669-1722069581/watcher-4460669-1722069581 -o /tmp/evaluation-result-4460669-1722069581/solver-4460669-1722069581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722064836-326401 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460669-1722069581 --lp-cut-gomory=0 HOME/instance-4460669-1722069581.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=329537, runsolver pid=329534
[startup+0.109602 s]*
/proc/loadavg: 4.15 4.14 4.10 5/262 329538
/proc/meminfo: memFree=103716352/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=48744 memory=17652 CPUtime=0.09 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 3450 0 0 0 8 1 0 0 20 0 1 0 43486463 49913856 4413 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 12186 4413 1719 992 0 4044 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48744 KiB
Current children cumulated memory: 17652 KiB
[startup+0.205933 s]*
/proc/loadavg: 4.15 4.14 4.10 5/262 329538
/proc/meminfo: memFree=103715192/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=49784 memory=18708 CPUtime=0.19 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 3710 0 0 0 18 1 0 0 20 0 1 0 43486463 50978816 4677 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 12446 4677 1719 992 0 4304 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49784 KiB
Current children cumulated memory: 18708 KiB
[startup+0.305724 s]*
/proc/loadavg: 4.15 4.14 4.10 5/262 329538
/proc/meminfo: memFree=103708368/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=49784 memory=18708 CPUtime=0.29 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 3721 0 0 0 28 1 0 0 20 0 1 0 43486463 50978816 4677 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 12446 4677 1719 992 0 4304 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 49784 KiB
Current children cumulated memory: 18708 KiB
[startup+0.700234 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 329538
/proc/meminfo: memFree=103708068/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=49784 memory=19092 CPUtime=0.68 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 3784 0 0 0 66 2 0 0 20 0 1 0 43486463 50978816 4773 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 12446 4773 1751 992 0 4304 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49784 KiB
Current children cumulated memory: 19092 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 329538
/proc/meminfo: memFree=103688996/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=51460 memory=24096 CPUtime=1.47 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 4508 0 0 0 141 6 0 0 20 0 1 0 43486463 52695040 6024 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 12865 6024 1766 992 0 4723 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 51460 KiB
Current children cumulated memory: 24096 KiB
[startup+3.10594 s]
/proc/loadavg: 4.14 4.14 4.10 5/262 329538
/proc/meminfo: memFree=103644784/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=53916 memory=26032 CPUtime=3.08 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 4936 0 0 0 299 9 0 0 20 0 1 0 43486463 55209984 6508 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 13479 6508 1861 992 0 5337 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53916 KiB
Current children cumulated memory: 26032 KiB
[startup+6.30022 s]
/proc/loadavg: 4.14 4.14 4.10 5/262 329538
/proc/meminfo: memFree=103566084/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=57724 memory=30096 CPUtime=6.26 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 5441 0 0 0 606 20 0 0 20 0 1 0 43486463 59109376 7524 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 14431 7524 1861 992 0 6289 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 57724 KiB
Current children cumulated memory: 30096 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.10 6/262 329539
/proc/meminfo: memFree=103419152/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=59004 memory=31408 CPUtime=12.64 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 5734 0 0 0 1227 37 0 0 20 0 1 0 43486463 60420096 7852 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 14751 7852 1861 992 0 6609 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 59004 KiB
Current children cumulated memory: 31408 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.15 4.10 5/257 329541
/proc/meminfo: memFree=103128884/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=67984 memory=40120 CPUtime=25.41 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 7451 0 0 0 2475 66 0 0 20 0 1 0 43486463 69615616 10030 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 16996 10030 1861 992 0 8854 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 67984 KiB
Current children cumulated memory: 40120 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.13 4.09 5/259 329551
/proc/meminfo: memFree=102698880/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=78496 memory=51736 CPUtime=50.95 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 9004 0 0 0 4990 105 0 0 20 0 1 0 43486463 80379904 12934 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 19624 12934 1861 992 0 11482 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 78496 KiB
Current children cumulated memory: 51736 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/260 329562
/proc/meminfo: memFree=101961348/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=82772 memory=55796 CPUtime=102.01 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 10242 0 0 0 9995 206 0 0 20 0 1 0 43486463 84758528 13949 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 20693 13949 1861 992 0 12551 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 82772 KiB
Current children cumulated memory: 55796 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/260 329573
/proc/meminfo: memFree=100462904/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=207096 memory=161772 CPUtime=161.85 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 15286 0 0 0 15872 313 0 0 20 0 1 0 43486463 212066304 40443 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 51774 40443 1861 992 0 43632 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 207096 KiB
Current children cumulated memory: 161772 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/259 329583
/proc/meminfo: memFree=98490240/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=218884 memory=173344 CPUtime=221.7 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 18191 0 0 0 21752 418 0 0 20 0 1 0 43486463 224137216 43336 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 54721 43336 1861 992 0 46579 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 218884 KiB
Current children cumulated memory: 173344 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/262 329599
/proc/meminfo: memFree=95477856/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=220396 memory=174928 CPUtime=281.56 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 18580 0 0 0 27646 510 0 0 20 0 1 0 43486463 225685504 43732 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 55099 43732 1861 992 0 46957 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 220396 KiB
Current children cumulated memory: 174928 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 329614
/proc/meminfo: memFree=93229612/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=310232 memory=207460 CPUtime=341.41 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 21596 0 0 0 33539 602 0 0 20 0 1 0 43486463 317677568 51865 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 77558 51865 1861 992 0 69416 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 310232 KiB
Current children cumulated memory: 207460 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 329625
/proc/meminfo: memFree=91002528/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=312060 memory=209308 CPUtime=401.26 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 22055 0 0 0 39428 698 0 0 20 0 1 0 43486463 319549440 52327 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 78015 52327 1861 992 0 69873 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 312060 KiB
Current children cumulated memory: 209308 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/266 329637
/proc/meminfo: memFree=89282364/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=321112 memory=237828 CPUtime=461.11 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 24096 0 0 0 45347 764 0 0 20 0 1 0 43486463 328818688 59457 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
################
# More data... #
################
Current children cumulated memory: 704496 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 331557
/proc/meminfo: memFree=107740788/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=769424 memory=708448 CPUtime=2914.57 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 57705 0 0 0 288107 3350 0 0 20 0 1 0 43486463 787890176 177112 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 192356 177112 1861 992 0 184214 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 769424 KiB
Current children cumulated memory: 708448 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 331568
/proc/meminfo: memFree=105163904/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=768816 memory=708192 CPUtime=2974.38 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 58229 0 0 0 294044 3394 0 0 20 0 1 0 43486463 787267584 177048 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 192204 177048 1861 992 0 184062 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 768816 KiB
Current children cumulated memory: 708192 KiB
[startup+3042.3 s]
/proc/loadavg: 4.29 4.13 4.10 5/264 331635
/proc/meminfo: memFree=103386020/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=769216 memory=708288 CPUtime=3034.2 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 58480 0 0 0 299992 3428 0 0 20 0 1 0 43486463 787677184 177072 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 192304 177072 1861 992 0 184162 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 769216 KiB
Current children cumulated memory: 708288 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/264 331646
/proc/meminfo: memFree=101164152/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=771264 memory=710412 CPUtime=3094.03 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 59634 0 0 0 305928 3475 0 0 20 0 1 0 43486463 789774336 177603 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 192816 177603 1861 992 0 184674 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 771264 KiB
Current children cumulated memory: 710412 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 331657
/proc/meminfo: memFree=100607756/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=771696 memory=711044 CPUtime=3153.85 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 60393 0 0 0 311837 3548 0 0 20 0 1 0 43486463 790216704 177761 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 192924 177761 1861 992 0 184782 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 771696 KiB
Current children cumulated memory: 711044 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 331667
/proc/meminfo: memFree=98983820/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=771696 memory=711148 CPUtime=3213.67 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 60547 0 0 0 317749 3618 0 0 20 0 1 0 43486463 790216704 177787 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 192924 177787 1861 992 0 184782 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 771696 KiB
Current children cumulated memory: 711148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 331680
/proc/meminfo: memFree=97010176/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=771696 memory=711148 CPUtime=3273.48 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 60812 0 0 0 323692 3656 0 0 20 0 1 0 43486463 790216704 177787 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 192924 177787 1861 992 0 184782 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 771696 KiB
Current children cumulated memory: 711148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.15 4.10 5/267 331693
/proc/meminfo: memFree=95405756/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=773268 memory=712484 CPUtime=3333.3 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 61425 0 0 0 329638 3692 0 0 20 0 1 0 43486463 791826432 178121 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 193317 178121 1861 992 0 185175 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 773268 KiB
Current children cumulated memory: 712484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.20 4.12 5/266 331706
/proc/meminfo: memFree=93665748/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=777956 memory=715692 CPUtime=3393.12 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 62587 0 0 0 335586 3726 0 0 20 0 1 0 43486463 796626944 178923 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 194489 178923 1861 992 0 186347 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 777956 KiB
Current children cumulated memory: 715692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.58 4.29 4.16 5/266 331717
/proc/meminfo: memFree=91848016/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=781488 memory=719328 CPUtime=3452.94 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 64291 0 0 0 341541 3753 0 0 20 0 1 0 43486463 800243712 179832 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 195372 179832 1861 992 0 187230 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 781488 KiB
Current children cumulated memory: 719328 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.26 4.16 5/266 331727
/proc/meminfo: memFree=90519744/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=781816 memory=719388 CPUtime=3512.76 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 64481 0 0 0 347470 3806 0 0 20 0 1 0 43486463 800579584 179847 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 195454 179847 1861 992 0 187312 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 781816 KiB
Current children cumulated memory: 719388 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.23 4.15 5/266 331737
/proc/meminfo: memFree=89924056/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=782080 memory=719772 CPUtime=3572.57 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 65249 0 0 0 353399 3858 0 0 20 0 1 0 43486463 800849920 179943 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 195520 179943 1861 992 0 187378 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 782080 KiB
Current children cumulated memory: 719772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.17 4.22 4.15 5/266 331742
/proc/meminfo: memFree=89655308/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=782140 memory=719564 CPUtime=3600.08 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 65823 0 0 0 356129 3879 0 0 20 0 1 0 43486463 800911360 179891 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 195535 179891 1861 992 0 187393 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 782140 KiB
Current children cumulated memory: 719564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.94 s]
# the end of solver process 329537 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.3 s, system=38.8028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.17 4.22 4.15 5/266 331742
/proc/meminfo: memFree=89655308/131524600 swapFree=131061696/131071996
[pid=329537] ppid=329534 vsize=782140 memory=719564 CPUtime=3600.08 cores=5,7
/proc/329537/stat : 329537 (roundingsat) R 329534 329537 326388 0 -1 4194304 65823 0 0 0 356129 3879 0 0 20 0 1 0 43486463 800911360 179891 134679101440 4194304 8254357 140721393361312 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25042944 140721393369951 140721393370213 140721393370213 140721393377225 0
/proc/329537/statm: 195535 179891 1861 992 0 187393 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 782140 KiB
Current children cumulated memory: 719564 KiB
Child status: 0
Real time (s): 3609.94
CPU time (s): 3600.1
CPU user time (s): 3561.3
CPU system time (s): 38.8028
CPU usage (%): 99.7276
Max. virtual memory (cumulated for all children) (KiB): 783948
Max. memory (cumulated for all children) (KiB): 721092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.3
system time used= 38.8028
maximum resident set size= 721208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9730616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 228
involuntary context switches= 4899
# summary of solver processes directly reported to runsolver:
# pid: 329537
# total CPU time (s): 3600.1
# total CPU user time (s): 3561.3
# total CPU system time (s): 38.8028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93239 second user time and 17.9272 second system time
The end
Begin job on nodeC020 at 2024-07-27 10:39:41 IDJOB=4460669 IDBENCH=158339 IDSOLVER=3086 FILE ID=nodeC020/4460669-1722069581 RUNJOBID= nodeC020-1722064836-326401 SLURM_JOB_ID= 8248089 Free space on /tmp= 890008 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.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-4460669-1722069581/watcher-4460669-1722069581 -o /tmp/evaluation-result-4460669-1722069581/solver-4460669-1722069581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722064836-326401 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460669-1722069581 --lp-cut-gomory=0 HOME/instance-4460669-1722069581.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418 RANDOM SEED=1994572972 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 : 3667.898 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.353 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 : 7005.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.807 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 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 : 3605.433 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 : 7005.25 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 : 3667.944 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 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 : 3667.394 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 : 7005.25 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 : 3599.687 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 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 : 3664.310 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 : 7005.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 103728568 kB MemAvailable: 122425216 kB Buffers: 366600 kB Cached: 19125964 kB SwapCached: 200 kB Active: 2822920 kB Inactive: 24264020 kB Active(anon): 2492 kB Inactive(anon): 7653728 kB Active(file): 2820428 kB Inactive(file): 16610292 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061696 kB Dirty: 247480 kB Writeback: 0 kB AnonPages: 7591368 kB Mapped: 121668 kB Shmem: 62072 kB KReclaimable: 211500 kB Slab: 336892 kB SReclaimable: 211500 kB SUnreclaim: 125392 kB KernelStack: 4220 kB PageTables: 24400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 8605316 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19872 kB HardwareCorrupted: 0 kB AnonHugePages: 3325952 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: 365268 kB DirectMap2M: 45545472 kB DirectMap1G: 90177536 kB Free space on /tmp at the end= 890048 MiB End job on nodeC020 at 2024-07-27 11:39:51