| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.08 | 3611.72 |
| 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.03 c #variables 6120 #constraints 6302 17.73/17.88 c #Conflicts: 1000 | #Constraints: 7301 17.73/17.88 c #Conflicts: 2000 | #Constraints: 8301 17.73/17.88 c INPROCESSING 17.73/17.88 c GARBAGE COLLECT 17.73/17.88 c #Conflicts: 3000 | #Constraints: 7984 17.73/17.88 c #Conflicts: 4000 | #Constraints: 8984 17.73/17.88 c INPROCESSING 17.73/17.88 c GARBAGE COLLECT 17.73/17.88 c #Conflicts: 5000 | #Constraints: 8435 17.73/17.88 c #Conflicts: 6000 | #Constraints: 9436 17.73/17.88 c INPROCESSING 17.73/17.88 c GARBAGE COLLECT 17.73/17.88 c #Conflicts: 7000 | #Constraints: 8502 17.73/17.88 c #Conflicts: 8000 | #Constraints: 9502 17.73/17.88 c #Conflicts: 9000 | #Constraints: 10503 17.73/17.88 c INPROCESSING 17.73/17.88 c GARBAGE COLLECT 17.73/17.88 c #Conflicts: 10000 | #Constraints: 9263 17.73/17.88 c #Conflicts: 11000 | #Constraints: 10263 17.73/17.88 c #Conflicts: 12000 | #Constraints: 11264 17.73/17.88 c INPROCESSING 17.73/17.88 c GARBAGE COLLECT 17.73/17.88 c #Conflicts: 13000 | #Constraints: 9748 17.73/17.88 c #Conflicts: 14000 | #Constraints: 10748 17.73/17.88 c #Conflicts: 15000 | #Constraints: 11749 17.73/17.88 c INPROCESSING 17.73/17.88 c GARBAGE COLLECT 17.73/17.88 c rational objective 90 27.80/27.98 c #Conflicts: 16000 | #Constraints: 10022 27.80/27.98 c #Conflicts: 17000 | #Constraints: 11022 27.80/27.98 c #Conflicts: 18000 | #Constraints: 12022 27.80/27.98 c INPROCESSING 27.80/27.98 c GARBAGE COLLECT 27.80/27.98 c #Conflicts: 19000 | #Constraints: 10069 27.80/27.98 c #Conflicts: 20000 | #Constraints: 11069 27.80/27.98 c #Conflicts: 21000 | #Constraints: 12069 27.80/27.98 c INPROCESSING 27.80/27.98 c GARBAGE COLLECT 27.80/27.98 c #Conflicts: 22000 | #Constraints: 9901 27.80/27.98 c #Conflicts: 23000 | #Constraints: 10901 27.80/27.98 c #Conflicts: 24000 | #Constraints: 11901 27.80/27.98 c #Conflicts: 25000 | #Constraints: 12901 27.80/27.98 c INPROCESSING 27.80/27.98 c GARBAGE COLLECT 27.80/27.98 c #Conflicts: 26000 | #Constraints: 10512 27.80/27.98 c #Conflicts: 27000 | #Constraints: 11512 27.80/27.98 c #Conflicts: 28000 | #Constraints: 12512 27.80/27.98 c #Conflicts: 29000 | #Constraints: 13512 27.80/27.98 c INPROCESSING 27.80/27.98 c GARBAGE COLLECT 27.80/27.98 c rational objective 90 41.05/41.23 c #Conflicts: 30000 | #Constraints: 10936 41.05/41.23 c #Conflicts: 31000 | #Constraints: 11936 41.05/41.23 c #Conflicts: 32000 | #Constraints: 12936 41.05/41.23 c #Conflicts: 33000 | #Constraints: 13937 41.05/41.23 c INPROCESSING 41.05/41.23 c GARBAGE COLLECT 41.05/41.23 c rational objective 90 71.15/71.44 c #Conflicts: 34000 | #Constraints: 11189 71.15/71.44 c #Conflicts: 35000 | #Constraints: 12189 71.15/71.44 c #Conflicts: 36000 | #Constraints: 13189 71.15/71.44 c #Conflicts: 37000 | #Constraints: 14189 71.15/71.44 c INPROCESSING 71.15/71.44 c GARBAGE COLLECT 71.15/71.44 c #Conflicts: 38000 | #Constraints: 11194 71.15/71.44 c #Conflicts: 39000 | #Constraints: 12194 71.15/71.44 c #Conflicts: 40000 | #Constraints: 13194 71.15/71.44 c #Conflicts: 41000 | #Constraints: 14194 71.15/71.44 c INPROCESSING 71.15/71.44 c GARBAGE COLLECT 71.15/71.44 c #Conflicts: 42000 | #Constraints: 11019 71.15/71.44 c #Conflicts: 43000 | #Constraints: 12019 71.15/71.44 c #Conflicts: 44000 | #Constraints: 13019 71.15/71.44 c #Conflicts: 45000 | #Constraints: 14020 71.15/71.44 c #Conflicts: 46000 | #Constraints: 15020 71.15/71.44 c INPROCESSING 71.15/71.44 c GARBAGE COLLECT 71.15/71.44 c #Conflicts: 47000 | #Constraints: 11637 71.15/71.44 c #Conflicts: 48000 | #Constraints: 12637 71.15/71.44 c #Conflicts: 49000 | #Constraints: 13637 71.15/71.44 c #Conflicts: 50000 | #Constraints: 14638 71.15/71.44 c #Conflicts: 51000 | #Constraints: 15638 71.15/71.44 c INPROCESSING 71.15/71.44 c GARBAGE COLLECT 71.15/71.44 c #Conflicts: 52000 | #Constraints: 12071 71.15/71.44 c #Conflicts: 53000 | #Constraints: 13071 71.15/71.44 c #Conflicts: 54000 | #Constraints: 14071 71.15/71.44 c #Conflicts: 55000 | #Constraints: 15071 71.15/71.44 c #Conflicts: 56000 | #Constraints: 16071 71.15/71.44 c INPROCESSING 71.15/71.44 c GARBAGE COLLECT 71.15/71.44 c #Conflicts: 57000 | #Constraints: 12275 71.15/71.44 c #Conflicts: 58000 | #Constraints: 13275 71.15/71.44 c #Conflicts: 59000 | #Constraints: 14275 71.15/71.44 c #Conflicts: 60000 | #Constraints: 15276 71.15/71.44 c #Conflicts: 61000 | #Constraints: 16276 71.15/71.44 c INPROCESSING 71.15/71.44 c GARBAGE COLLECT 71.15/71.44 c rational objective 90 92.98/93.31 c #Conflicts: 62000 | #Constraints: 12291 92.98/93.31 c #Conflicts: 63000 | #Constraints: 13291 92.98/93.31 c #Conflicts: 64000 | #Constraints: 14291 92.98/93.31 c #Conflicts: 65000 | #Constraints: 15291 92.98/93.31 c #Conflicts: 66000 | #Constraints: 16291 92.98/93.31 c #Conflicts: 67000 | #Constraints: 17291 92.98/93.31 c #Conflicts: 68000 | #Constraints: 18291 92.98/93.31 c #Conflicts: 69000 | #Constraints: 19291 92.98/93.31 c #Conflicts: 70000 | #Constraints: 20291 92.98/93.31 c #Conflicts: 71000 | #Constraints: 21293 92.98/93.31 c #Conflicts: 72000 | #Constraints: 22293 92.98/93.31 c #Conflicts: 73000 | #Constraints: 23294 92.98/93.31 c #Conflicts: 74000 | #Constraints: 24294 92.98/93.31 c #Conflicts: 75000 | #Constraints: 25294 92.98/93.31 c #Conflicts: 76000 | #Constraints: 26295 92.98/93.31 c #Conflicts: 77000 | #Constraints: 27295 92.98/93.31 c #Conflicts: 78000 | #Constraints: 28295 92.98/93.31 c #Conflicts: 79000 | #Constraints: 29295 92.98/93.31 c #Conflicts: 80000 | #Constraints: 30295 92.98/93.31 c #Conflicts: 81000 | #Constraints: 31295 92.98/93.31 c #Conflicts: 82000 | #Constraints: 32295 92.98/93.31 c INPROCESSING 92.98/93.31 c GARBAGE COLLECT 92.98/93.31 c rational objective 90 107.84/108.22 c #Conflicts: 83000 | #Constraints: 20046 107.84/108.22 c #Conflicts: 84000 | #Constraints: 21046 107.84/108.22 c #Conflicts: 85000 | #Constraints: 22046 107.84/108.22 c #Conflicts: 86000 | #Constraints: 23046 107.84/108.22 c #Conflicts: 87000 | #Constraints: 24047 107.84/108.22 c #Conflicts: 88000 | #Constraints: 25047 107.84/108.22 c #Conflicts: 89000 | #Constraints: 26047 107.84/108.22 c INPROCESSING 107.84/108.22 c GARBAGE COLLECT 107.84/108.22 c rational objective 90 115.73/116.12 c #Conflicts: 90000 | #Constraints: 17133 115.73/116.12 c #Conflicts: 91000 | #Constraints: 18133 115.73/116.12 c #Conflicts: 92000 | #Constraints: 19133 115.73/116.12 c #Conflicts: 93000 | #Constraints: 20133 115.73/116.12 c #Conflicts: 94000 | #Constraints: 21134 115.73/116.12 c #Conflicts: 95000 | #Constraints: 22134 115.73/116.12 c #Conflicts: 96000 | #Constraints: 23134 115.73/116.12 c INPROCESSING 115.73/116.12 c GARBAGE COLLECT 115.73/116.12 c rational objective 90 123.88/124.33 c #Conflicts: 97000 | #Constraints: 15862 123.88/124.33 c #Conflicts: 98000 | #Constraints: 16862 123.88/124.33 c #Conflicts: 99000 | #Constraints: 17862 123.88/124.33 c #Conflicts: 100000 | #Constraints: 18862 123.88/124.33 c #Conflicts: 101000 | #Constraints: 19862 123.88/124.33 c #Conflicts: 102000 | #Constraints: 20862 123.88/124.33 c INPROCESSING 123.88/124.33 c GARBAGE COLLECT 123.88/124.33 c rational objective 90 131.67/132.12 c #Conflicts: 103000 | #Constraints: 14264 131.67/132.12 c #Conflicts: 104000 | #Constraints: 15264 131.67/132.12 c #Conflicts: 105000 | #Constraints: 16266 131.67/132.12 c #Conflicts: 106000 | #Constraints: 17267 131.67/132.12 c #Conflicts: 107000 | #Constraints: 18268 131.67/132.12 c #Conflicts: 108000 | #Constraints: 19268 131.67/132.12 c #Conflicts: 109000 | #Constraints: 20268 131.67/132.12 c #Conflicts: 110000 | #Constraints: 21268 131.67/132.12 c INPROCESSING 131.67/132.12 c GARBAGE COLLECT 131.67/132.12 c rational objective 90 165.65/166.23 c #Conflicts: 111000 | #Constraints: 14924 165.65/166.23 c #Conflicts: 112000 | #Constraints: 15924 165.65/166.23 c #Conflicts: 113000 | #Constraints: 16924 165.65/166.23 c #Conflicts: 114000 | #Constraints: 17925 165.65/166.23 c #Conflicts: 115000 | #Constraints: 18925 165.65/166.23 c #Conflicts: 116000 | #Constraints: 19925 165.65/166.23 c #Conflicts: 117000 | #Constraints: 20925 165.65/166.23 c #Conflicts: 118000 | #Constraints: 21925 165.65/166.23 c #Conflicts: 119000 | #Constraints: 22925 165.65/166.23 c #Conflicts: 120000 | #Constraints: 23925 165.65/166.23 c #Conflicts: 121000 | #Constraints: 24925 165.65/166.23 c #Conflicts: 122000 | #Constraints: 25925 165.65/166.23 c #Conflicts: 123000 | #Constraints: 26925 165.65/166.23 c #Conflicts: 124000 | #Constraints: 27925 165.65/166.23 c #Conflicts: 125000 | #Constraints: 28925 165.65/166.23 c #Conflicts: 126000 | #Constraints: 29925 165.65/166.23 c #Conflicts: 127000 | #Constraints: 30926 165.65/166.23 c #Conflicts: 128000 | #Constraints: 31926 165.65/166.23 c #Conflicts: 129000 | #Constraints: 32926 165.65/166.23 c #Conflicts: 130000 | #Constraints: 33926 165.65/166.23 c #Conflicts: 131000 | #Constraints: 34927 165.65/166.23 c #Conflicts: 132000 | #Constraints: 35927 165.65/166.23 c #Conflicts: 133000 | #Constraints: 36927 165.65/166.23 c #Conflicts: 134000 | #Constraints: 37927 165.65/166.23 c #Conflicts: 135000 | #Constraints: 38927 165.65/166.23 c #Conflicts: 136000 | #Constraints: 39927 165.65/166.23 c #Conflicts: 137000 | #Constraints: 40927 165.65/166.23 c #Conflicts: 138000 | #Constraints: 41927 165.65/166.23 c INPROCESSING 165.65/166.23 c GARBAGE COLLECT 165.65/166.23 c rational objective 90 174.43/175.03 c #Conflicts: 139000 | #Constraints: 25353 174.43/175.03 c #Conflicts: 140000 | #Constraints: 26353 174.43/175.03 c #Conflicts: 141000 | #Constraints: 27353 174.43/175.03 c #Conflicts: 142000 | #Constraints: 28353 174.43/175.03 c #Conflicts: 143000 | #Constraints: 29353 174.43/175.03 c #Conflicts: 144000 | #Constraints: 30353 174.43/175.03 c #Conflicts: 145000 | #Constraints: 31353 174.43/175.03 c #Conflicts: 146000 | #Constraints: 32353 174.43/175.03 c INPROCESSING 174.43/175.03 c GARBAGE COLLECT 174.43/175.03 c rational objective 90 189.17/189.86 c #Conflicts: 147000 | #Constraints: 20307 189.17/189.86 c #Conflicts: 148000 | #Constraints: 21308 189.17/189.86 c #Conflicts: 149000 | #Constraints: 22308 189.17/189.86 c #Conflicts: 150000 | #Constraints: 23308 189.17/189.86 c #Conflicts: 151000 | #Constraints: 24308 189.17/189.86 c #Conflicts: 152000 | #Constraints: 25308 189.17/189.86 c #Conflicts: 153000 | #Constraints: 26308 189.17/189.86 c #Conflicts: 154000 | #Constraints: 27308 189.17/189.86 c #Conflicts: 155000 | #Constraints: 28308 189.17/189.86 c INPROCESSING 189.17/189.86 c GARBAGE COLLECT 189.17/189.86 c rational objective 90 201.63/202.32 c #Conflicts: 156000 | #Constraints: 18509 201.63/202.32 c #Conflicts: 157000 | #Constraints: 19510 201.63/202.32 c #Conflicts: 158000 | #Constraints: 20511 201.63/202.32 c #Conflicts: 159000 | #Constraints: 21511 201.63/202.32 c #Conflicts: 160000 | #Constraints: 22511 201.63/202.32 c #Conflicts: 161000 | #Constraints: 23511 201.63/202.32 c #Conflicts: 162000 | #Constraints: 24511 201.63/202.32 c #Conflicts: 163000 | #Constraints: 25511 201.63/202.32 c INPROCESSING 201.63/202.32 c GARBAGE COLLECT 201.63/202.32 c rational objective 90 214.40/215.15 c #Conflicts: 164000 | #Constraints: 16684 214.40/215.15 c #Conflicts: 165000 | #Constraints: 17686 214.40/215.15 c #Conflicts: 166000 | #Constraints: 18688 214.40/215.15 c #Conflicts: 167000 | #Constraints: 19688 214.40/215.15 c #Conflicts: 168000 | #Constraints: 20689 214.40/215.15 c #Conflicts: 169000 | #Constraints: 21689 214.40/215.15 c #Conflicts: 170000 | #Constraints: 22689 214.40/215.15 c #Conflicts: 171000 | #Constraints: 23689 214.40/215.15 c #Conflicts: 172000 | #Constraints: 24690 214.40/215.15 c INPROCESSING 214.40/215.15 c GARBAGE COLLECT 214.40/215.15 c rational objective 90 263.43/264.33 c #Conflicts: 173000 | #Constraints: 16273 263.43/264.33 c #Conflicts: 174000 | #Constraints: 17274 263.43/264.33 c #Conflicts: 175000 | #Constraints: 18274 263.43/264.33 c #Conflicts: 176000 | #Constraints: 19274 263.43/264.33 c #Conflicts: 177000 | #Constraints: 20274 263.43/264.33 c #Conflicts: 178000 | #Constraints: 21274 263.43/264.33 c #Conflicts: 179000 | #Constraints: 22274 263.43/264.33 c #Conflicts: 180000 | #Constraints: 23274 263.43/264.33 c #Conflicts: 181000 | #Constraints: 24274 263.43/264.33 c #Conflicts: 182000 | #Constraints: 25274 263.43/264.33 c #Conflicts: 183000 | #Constraints: 26274 263.43/264.33 c #Conflicts: 184000 | #Constraints: 27274 263.43/264.33 c #Conflicts: 185000 | #Constraints: 28274 263.43/264.33 c #Conflicts: 186000 | #Constraints: 29274 263.43/264.33 c #Conflicts: 187000 | #Constraints: 30275 263.43/264.33 c #Conflicts: 188000 | #Constraints: 31275 263.43/264.33 c #Conflicts: 189000 | #Constraints: 32275 263.43/264.33 c #Conflicts: 190000 | #Constraints: 33275 263.43/264.33 c #Conflicts: 191000 | #Constraints: 34276 263.43/264.33 c #Conflicts: 192000 | #Constraints: 35276 263.43/264.33 c #Conflicts: 193000 | #Constraints: 36276 263.43/264.33 c #Conflicts: 194000 | #Constraints: 37276 263.43/264.33 c #Conflicts: 195000 | #Constraints: 38276 263.43/264.33 c #Conflicts: 196000 | #Constraints: 39276 263.43/264.33 c #Conflicts: 197000 | #Constraints: 40276 263.43/264.33 c #Conflicts: 198000 | #Constraints: 41276 263.43/264.33 c #Conflicts: 199000 | #Constraints: 42276 263.43/264.33 c #Conflicts: 200000 | #Constraints: 43276 263.43/264.33 c #Conflicts: 201000 | #Constraints: 44276 263.43/264.33 c #Conflicts: 202000 | #Constraints: 45276 263.43/264.33 c #Conflicts: 203000 | #Constraints: 46276 263.43/264.33 c #Conflicts: 204000 | #Constraints: 47276 263.43/264.33 c #Conflicts: 205000 | #Constraints: 48276 263.43/264.33 c #Conflicts: 206000 | #Constraints: 49277 263.43/264.33 c #Conflicts: 207000 | #Constraints: 50277 263.43/264.33 c INPROCESSING 263.43/264.33 c GARBAGE COLLECT 263.43/264.33 c rational objective 90 276.98/277.96 c #Conflicts: 208000 | #Constraints: 29393 276.98/277.96 c #Conflicts: 209000 | #Constraints: 30393 276.98/277.96 c #Conflicts: 210000 | #Constraints: 31393 276.98/277.96 c #Conflicts: 211000 | #Constraints: 32393 276.98/277.96 c #Conflicts: 212000 | #Constraints: 33393 276.98/277.96 c #Conflicts: 213000 | #Constraints: 34393 276.98/277.96 c #Conflicts: 214000 | #Constraints: 35393 276.98/277.96 c #Conflicts: 215000 | #Constraints: 36394 276.98/277.96 c #Conflicts: 216000 | #Constraints: 37394 276.98/277.96 c #Conflicts: 217000 | #Constraints: 38394 276.98/277.96 c INPROCESSING 276.98/277.96 c GARBAGE COLLECT 276.98/277.96 c rational objective 90 293.83/294.88 c #Conflicts: 218000 | #Constraints: 23310 293.83/294.88 c #Conflicts: 219000 | #Constraints: 24310 293.83/294.88 c #Conflicts: 220000 | #Constraints: 25310 293.83/294.88 c #Conflicts: 221000 | #Constraints: 26310 293.83/294.88 c #Conflicts: 222000 | #Constraints: 27310 293.83/294.88 c #Conflicts: 223000 | #Constraints: 28310 293.83/294.88 c #Conflicts: 224000 | #Constraints: 29311 293.83/294.88 c #Conflicts: 225000 | #Constraints: 30311 293.83/294.88 c #Conflicts: 226000 | #Constraints: 31312 293.83/294.88 c #Conflicts: 227000 | #Constraints: 32312 293.83/294.88 c #Conflicts: 228000 | #Constraints: 33312 293.83/294.88 c INPROCESSING 293.83/294.88 c GARBAGE COLLECT 293.83/294.88 c rational objective 90 304.11/305.12 c #Conflicts: 229000 | #Constraints: 21028 304.11/305.12 c #Conflicts: 230000 | #Constraints: 22028 304.11/305.12 c #Conflicts: 231000 | #Constraints: 23028 304.11/305.12 c #Conflicts: 232000 | #Constraints: 24028 304.11/305.12 c #Conflicts: 233000 | #Constraints: 25029 304.11/305.12 c #Conflicts: 234000 | #Constraints: 26031 304.11/305.12 c #Conflicts: 235000 | #Constraints: 27031 304.11/305.12 c #Conflicts: 236000 | #Constraints: 28031 304.11/305.12 c #Conflicts: 237000 | #Constraints: 29031 304.11/305.12 c #Conflicts: 238000 | #Constraints: 30031 304.11/305.12 c INPROCESSING 304.11/305.12 c GARBAGE COLLECT 304.11/305.12 c rational objective 90 315.76/316.81 c #Conflicts: 239000 | #Constraints: 19037 315.76/316.81 c #Conflicts: 240000 | #Constraints: 20037 315.76/316.81 c #Conflicts: 241000 | #Constraints: 21037 315.76/316.81 c #Conflicts: 242000 | #Constraints: 22037 315.76/316.81 c #Conflicts: 243000 | #Constraints: 23037 315.76/316.81 c #Conflicts: 244000 | #Constraints: 24037 315.76/316.81 c #Conflicts: 245000 | #Constraints: 25038 315.76/316.81 c #Conflicts: 246000 | #Constraints: 26038 315.76/316.81 c #Conflicts: 247000 | #Constraints: 27038 315.76/316.81 c #Conflicts: 248000 | #Constraints: 28038 315.76/316.81 c #Conflicts: 249000 | #Constraints: 29038 315.76/316.81 c INPROCESSING 315.76/316.81 c GARBAGE COLLECT 315.76/316.81 c rational objective 90 375.37/376.62 c #Conflicts: 250000 | #Constraints: 18593 375.37/376.62 c #Conflicts: 251000 | #Constraints: 19593 375.37/376.62 c #Conflicts: 252000 | #Constraints: 20593 375.37/376.62 c #Conflicts: 253000 | #Constraints: 21593 375.37/376.62 c #Conflicts: 254000 | #Constraints: 22593 375.37/376.62 c #Conflicts: 255000 | #Constraints: 23593 375.37/376.62 c #Conflicts: 256000 | #Constraints: 24593 375.37/376.62 c #Conflicts: 257000 | #Constraints: 25593 375.37/376.62 c #Conflicts: 258000 | #Constraints: 26593 375.37/376.62 c #Conflicts: 259000 | #Constraints: 27593 375.37/376.62 c #Conflicts: 260000 | #Constraints: 28594 375.37/376.62 c #Conflicts: 261000 | #Constraints: 29595 375.37/376.62 c #Conflicts: 262000 | #Constraints: 30595 375.37/376.62 c #Conflicts: 263000 | #Constraints: 31595 375.37/376.62 c #Conflicts: 264000 | #Constraints: 32596 375.37/376.62 c #Conflicts: 265000 | #Constraints: 33597 375.37/376.62 c #Conflicts: 266000 | #Constraints: 34597 375.37/376.62 c #Conflicts: 267000 | #Constraints: 35597 375.37/376.62 c #Conflicts: 268000 | #Constraints: 36597 375.37/376.62 c #Conflicts: 269000 | #Constraints: 37597 375.37/376.62 c #Conflicts: 270000 | #Constraints: 38597 375.37/376.62 c #Conflicts: 271000 | #Constraints: 39597 375.37/376.62 c #Conflicts: 272000 | #Constraints: 40597 375.37/376.62 c #Conflicts: 273000 | #Constraints: 41597 375.37/376.62 c #Conflicts: 274000 | #Constraints: 42597 375.37/376.62 c #Conflicts: 275000 | #Constraints: 43598 375.37/376.62 c #Conflicts: 276000 | #Constraints: 44598 375.37/376.62 c #Conflicts: 277000 | #Constraints: 45598 375.37/376.62 c #Conflicts: 278000 | #Constraints: 46598 375.37/376.62 c #Conflicts: 279000 | #Constraints: 47598 375.37/376.62 c #Conflicts: 280000 | #Constraints: 48598 375.37/376.62 c #Conflicts: 281000 | #Constraints: 49598 375.37/376.62 c #Conflicts: 282000 | #Constraints: 50598 375.37/376.62 c #Conflicts: 283000 | #Constraints: 51598 375.37/376.62 c #Conflicts: 284000 | #Constraints: 52598 375.37/376.62 c #Conflicts: 285000 | #Constraints: 53598 375.37/376.62 c #Conflicts: 286000 | #Constraints: 54598 375.37/376.62 c #Conflicts: 287000 | #Constraints: 55599 375.37/376.62 c #Conflicts: 288000 | #Constraints: 56599 375.37/376.62 c #Conflicts: 289000 | #Constraints: 57599 375.37/376.62 c #Conflicts: 290000 | #Constraints: 58599 375.37/376.62 c INPROCESSING 375.37/376.62 c GARBAGE COLLECT 375.37/376.62 c rational objective 90 398.79/400.15 c #Conflicts: 291000 | #Constraints: 33547 398.79/400.15 c #Conflicts: 292000 | #Constraints: 34547 398.79/400.15 c #Conflicts: 293000 | #Constraints: 35547 398.79/400.15 c #Conflicts: 294000 | #Constraints: 36547 398.79/400.15 c #Conflicts: 295000 | #Constraints: 37547 398.79/400.15 c #Conflicts: 296000 | #Constraints: 38547 398.79/400.15 c #Conflicts: 297000 | #Constraints: 39547 398.79/400.15 c #Conflicts: 298000 | #Constraints: 40547 398.79/400.15 c #Conflicts: 299000 | #Constraints: 41547 398.79/400.15 c #Conflicts: 300000 | #Constraints: 42547 398.79/400.15 c #Conflicts: 301000 | #Constraints: 43547 398.79/400.15 c #Conflicts: 302000 | #Constraints: 44547 398.79/400.15 c INPROCESSING 398.79/400.15 c GARBAGE COLLECT 398.79/400.15 c rational objective 90 413.53/414.92 c #Conflicts: 303000 | #Constraints: 26455 413.53/414.92 c #Conflicts: 304000 | #Constraints: 27455 413.53/414.92 c #Conflicts: 305000 | #Constraints: 28455 413.53/414.92 c #Conflicts: 306000 | #Constraints: 29455 413.53/414.92 c #Conflicts: 307000 | #Constraints: 30455 413.53/414.92 c #Conflicts: 308000 | #Constraints: 31455 413.53/414.92 c #Conflicts: 309000 | #Constraints: 32455 413.53/414.92 c #Conflicts: 310000 | #Constraints: 33455 413.53/414.92 c #Conflicts: 311000 | #Constraints: 34455 413.53/414.92 c #Conflicts: 312000 | #Constraints: 35455 413.53/414.92 c #Conflicts: 313000 | #Constraints: 36455 413.53/414.92 c #Conflicts: 314000 | #Constraints: 37455 413.53/414.92 c #Conflicts: 315000 | #Constraints: 38455 413.53/414.92 c INPROCESSING 413.53/414.92 c GARBAGE COLLECT 413.53/414.92 c rational objective 90 431.17/432.69 c #Conflicts: 316000 | #Constraints: 23684 431.17/432.69 c #Conflicts: 317000 | #Constraints: 24684 431.17/432.69 c #Conflicts: 318000 | #Constraints: 25684 431.17/432.69 c #Conflicts: 319000 | #Constraints: 26684 431.17/432.69 c #Conflicts: 320000 | #Constraints: 27684 431.17/432.69 c #Conflicts: 321000 | #Constraints: 28685 431.17/432.69 c #Conflicts: 322000 | #Constraints: 29685 431.17/432.69 c #Conflicts: 323000 | #Constraints: 30686 431.17/432.69 c #Conflicts: 324000 | #Constraints: 31686 431.17/432.69 c #Conflicts: 325000 | #Constraints: 32686 431.17/432.69 c #Conflicts: 326000 | #Constraints: 33686 431.17/432.69 c #Conflicts: 327000 | #Constraints: 34686 431.17/432.69 c INPROCESSING 431.17/432.69 c GARBAGE COLLECT 431.17/432.69 c rational objective 90 443.13/444.68 c #Conflicts: 328000 | #Constraints: 21557 443.13/444.68 c #Conflicts: 329000 | #Constraints: 22557 443.13/444.68 c #Conflicts: 330000 | #Constraints: 23557 443.13/444.68 c #Conflicts: 331000 | #Constraints: 24557 443.13/444.68 c #Conflicts: 332000 | #Constraints: 25557 443.13/444.68 c #Conflicts: 333000 | #Constraints: 26557 443.13/444.68 c #Conflicts: 334000 | #Constraints: 27557 443.13/444.68 c #Conflicts: 335000 | #Constraints: 28557 443.13/444.68 c #Conflicts: 336000 | #Constraints: 29557 443.13/444.68 c #Conflicts: 337000 | #Constraints: 30557 443.13/444.68 c #Conflicts: 338000 | #Constraints: 31558 443.13/444.68 c #Conflicts: 339000 | #Constraints: 32558 443.13/444.68 c #Conflicts: 340000 | #Constraints: 33558 443.13/444.68 c INPROCESSING 443.13/444.68 c GARBAGE COLLECT 443.13/444.68 c rational objective 90 522.07/523.81 c #Conflicts: 341000 | #Constraints: 21000 522.07/523.81 c #Conflicts: 342000 | #Constraints: 22000 522.07/523.81 c #Conflicts: 343000 | #Constraints: 23000 522.07/523.81 c #Conflicts: 344000 | #Constraints: 24000 522.07/523.81 c #Conflicts: 345000 | #Constraints: 25000 522.07/523.81 c #Conflicts: 346000 | #Constraints: 26000 522.07/523.81 c #Conflicts: 347000 | #Constraints: 27000 522.07/523.81 c #Conflicts: 348000 | #Constraints: 28000 522.07/523.81 c #Conflicts: 349000 | #Constraints: 29000 522.07/523.81 c #Conflicts: 350000 | #Constraints: 30001 522.07/523.81 c #Conflicts: 351000 | #Constraints: 31001 522.07/523.81 c #Conflicts: 352000 | #Constraints: 32001 522.07/523.81 c #Conflicts: 353000 | #Constraints: 33001 522.07/523.81 c #Conflicts: 354000 | #Constraints: 34001 522.07/523.81 c #Conflicts: 355000 | #Constraints: 35001 522.07/523.81 c #Conflicts: 356000 | #Constraints: 36001 522.07/523.81 c #Conflicts: 357000 | #Constraints: 37001 522.07/523.81 c #Conflicts: 358000 | #Constraints: 38001 522.07/523.81 c #Conflicts: 359000 | #Constraints: 39001 522.07/523.81 c #Conflicts: 360000 | #Constraints: 40001 522.07/523.81 c #Conflicts: 361000 | #Constraints: 41001 522.07/523.81 c #Conflicts: 362000 | #Constraints: 42002 522.07/523.81 c #Conflicts: 363000 | #Constraints: 43002 522.07/523.81 c #Conflicts: 364000 | #Constraints: 44002 522.07/523.81 c #Conflicts: 365000 | #Constraints: 45002 522.07/523.81 c #Conflicts: 366000 | #Constraints: 46002 522.07/523.81 c #Conflicts: 367000 | #Constraints: 47002 522.07/523.81 c #Conflicts: 368000 | #Constraints: 48002 522.07/523.81 c #Conflicts: 369000 | #Constraints: 49002 522.07/523.81 c #Conflicts: 370000 | #Constraints: 50002 522.07/523.81 c #Conflicts: 371000 | #Constraints: 51002 522.07/523.81 c #Conflicts: 372000 | #Constraints: 52002 522.07/523.81 c #Conflicts: 373000 | #Constraints: 53002 522.07/523.81 c #Conflicts: 374000 | #Constraints: 54002 522.07/523.81 c #Conflicts: 375000 | #Constraints: 55002 522.07/523.81 c #Conflicts: 376000 | #Constraints: 56002 522.07/523.81 c #Conflicts: 377000 | #Constraints: 57002 522.07/523.81 c #Conflicts: 378000 | #Constraints: 58002 522.07/523.81 c #Conflicts: 379000 | #Constraints: 59003 522.07/523.81 c #Conflicts: 380000 | #Constraints: 60003 522.07/523.81 c #Conflicts: 381000 | #Constraints: 61003 522.07/523.81 c #Conflicts: 382000 | #Constraints: 62003 522.07/523.81 c #Conflicts: 383000 | #Constraints: 63003 522.07/523.81 c #Conflicts: 384000 | #Constraints: 64003 522.07/523.81 c #Conflicts: 385000 | #Constraints: 65003 522.07/523.81 c #Conflicts: 386000 | #Constraints: 66004 522.07/523.81 c #Conflicts: 387000 | #Constraints: 67004 522.07/523.81 c INPROCESSING 522.07/523.81 c GARBAGE COLLECT 522.07/523.81 c rational objective 90 543.61/545.48 c #Conflicts: 388000 | #Constraints: 37610 543.61/545.48 c #Conflicts: 389000 | #Constraints: 38610 543.61/545.48 c #Conflicts: 390000 | #Constraints: 39610 543.61/545.48 c #Conflicts: 391000 | #Constraints: 40610 543.61/545.48 c #Conflicts: 392000 | #Constraints: 41610 543.61/545.48 c #Conflicts: 393000 | #Constraints: 42610 543.61/545.48 c #Conflicts: 394000 | #Constraints: 43610 543.61/545.48 c #Conflicts: 395000 | #Constraints: 44610 543.61/545.48 c #Conflicts: 396000 | #Constraints: 45610 543.61/545.48 c #Conflicts: 397000 | #Constraints: 46611 543.61/545.48 c #Conflicts: 398000 | #Constraints: 47611 543.61/545.48 c #Conflicts: 399000 | #Constraints: 48611 543.61/545.48 c #Conflicts: 400000 | #Constraints: 49611 543.61/545.48 c #Conflicts: 401000 | #Constraints: 50611 543.61/545.48 c INPROCESSING 543.61/545.48 c GARBAGE COLLECT 543.61/545.48 c rational objective 90 560.95/562.83 c #Conflicts: 402000 | #Constraints: 29428 560.95/562.83 c #Conflicts: 403000 | #Constraints: 30428 560.95/562.83 c #Conflicts: 404000 | #Constraints: 31428 560.95/562.83 c #Conflicts: 405000 | #Constraints: 32428 560.95/562.83 c #Conflicts: 406000 | #Constraints: 33428 560.95/562.83 c #Conflicts: 407000 | #Constraints: 34428 560.95/562.83 c #Conflicts: 408000 | #Constraints: 35428 560.95/562.83 c #Conflicts: 409000 | #Constraints: 36428 560.95/562.83 c #Conflicts: 410000 | #Constraints: 37428 560.95/562.83 c #Conflicts: 411000 | #Constraints: 38428 560.95/562.83 c #Conflicts: 412000 | #Constraints: 39428 560.95/562.83 c #Conflicts: 413000 | #Constraints: 40428 560.95/562.83 c #Conflicts: 414000 | #Constraints: 41429 560.95/562.83 c #Conflicts: 415000 | #Constraints: 42430 560.95/562.83 c #Conflicts: 416000 | #Constraints: 43430 560.95/562.83 c INPROCESSING 560.95/562.83 c GARBAGE COLLECT 560.95/562.83 c rational objective 90 578.12/580.04 c #Conflicts: 417000 | #Constraints: 26153 578.12/580.04 c #Conflicts: 418000 | #Constraints: 27153 578.12/580.04 c #Conflicts: 419000 | #Constraints: 28153 578.12/580.04 c #Conflicts: 420000 | #Constraints: 29153 578.12/580.04 c #Conflicts: 421000 | #Constraints: 30153 578.12/580.04 c #Conflicts: 422000 | #Constraints: 31153 578.12/580.04 c #Conflicts: 423000 | #Constraints: 32153 578.12/580.04 c #Conflicts: 424000 | #Constraints: 33153 578.12/580.04 c #Conflicts: 425000 | #Constraints: 34153 578.12/580.04 c #Conflicts: 426000 | #Constraints: 35153 578.12/580.04 c #Conflicts: 427000 | #Constraints: 36155 578.12/580.04 c #Conflicts: 428000 | #Constraints: 37155 578.12/580.04 c #Conflicts: 429000 | #Constraints: 38155 578.12/580.04 c #Conflicts: 430000 | #Constraints: 39155 578.12/580.04 c INPROCESSING 578.12/580.04 c GARBAGE COLLECT 578.12/580.04 c rational objective 90 591.56/593.54 c #Conflicts: 431000 | #Constraints: 23826 591.56/593.54 c #Conflicts: 432000 | #Constraints: 24826 591.56/593.54 c #Conflicts: 433000 | #Constraints: 25826 591.56/593.54 c #Conflicts: 434000 | #Constraints: 26826 591.56/593.54 c #Conflicts: 435000 | #Constraints: 27826 591.56/593.54 c #Conflicts: 436000 | #Constraints: 28826 591.56/593.54 c #Conflicts: 437000 | #Constraints: 29826 591.56/593.54 c #Conflicts: 438000 | #Constraints: 30826 591.56/593.54 c #Conflicts: 439000 | #Constraints: 31826 591.56/593.54 c #Conflicts: 440000 | #Constraints: 32826 591.56/593.54 c #Conflicts: 441000 | #Constraints: 33826 591.56/593.54 c #Conflicts: 442000 | #Constraints: 34826 591.56/593.54 c #Conflicts: 443000 | #Constraints: 35826 591.56/593.54 c #Conflicts: 444000 | #Constraints: 36827 591.56/593.54 c #Conflicts: 445000 | #Constraints: 37827 591.56/593.54 c INPROCESSING 591.56/593.54 c GARBAGE COLLECT 591.56/593.54 c rational objective 90 682.78/685.07 c #Conflicts: 446000 | #Constraints: 23308 682.78/685.07 c #Conflicts: 447000 | #Constraints: 24308 682.78/685.07 c #Conflicts: 448000 | #Constraints: 25308 682.78/685.07 c #Conflicts: 449000 | #Constraints: 26308 682.78/685.07 c #Conflicts: 450000 | #Constraints: 27308 682.78/685.07 c #Conflicts: 451000 | #Constraints: 28308 682.78/685.07 c #Conflicts: 452000 | #Constraints: 29308 682.78/685.07 c #Conflicts: 453000 | #Constraints: 30309 682.78/685.07 c #Conflicts: 454000 | #Constraints: 31309 682.78/685.07 c #Conflicts: 455000 | #Constraints: 32309 682.78/685.07 c #Conflicts: 456000 | #Constraints: 33309 682.78/685.07 c #Conflicts: 457000 | #Constraints: 34309 682.78/685.07 c #Conflicts: 458000 | #Constraints: 35309 682.78/685.07 c #Conflicts: 459000 | #Constraints: 36309 682.78/685.07 c #Conflicts: 460000 | #Constraints: 37309 682.78/685.07 c #Conflicts: 461000 | #Constraints: 38309 682.78/685.07 c #Conflicts: 462000 | #Constraints: 39310 682.78/685.07 c #Conflicts: 463000 | #Constraints: 40310 682.78/685.07 c #Conflicts: 464000 | #Constraints: 41310 682.78/685.07 c #Conflicts: 465000 | #Constraints: 42310 682.78/685.07 c #Conflicts: 466000 | #Constraints: 43310 682.78/685.07 c #Conflicts: 467000 | #Constraints: 44310 682.78/685.07 c #Conflicts: 468000 | #Constraints: 45310 682.78/685.07 c #Conflicts: 469000 | #Constraints: 46310 682.78/685.07 c #Conflicts: 470000 | #Constraints: 47310 682.78/685.07 c #Conflicts: 471000 | #Constraints: 48310 682.78/685.07 c #Conflicts: 472000 | #Constraints: 49310 682.78/685.07 c #Conflicts: 473000 | #Constraints: 50310 682.78/685.07 c #Conflicts: 474000 | #Constraints: 51310 682.78/685.07 c #Conflicts: 475000 | #Constraints: 52310 682.78/685.07 c #Conflicts: 476000 | #Constraints: 53310 682.78/685.07 c #Conflicts: 477000 | #Constraints: 54310 682.78/685.07 c #Conflicts: 478000 | #Constraints: 55310 682.78/685.07 c #Conflicts: 479000 | #Constraints: 56310 682.78/685.07 c #Conflicts: 480000 | #Constraints: 57310 682.78/685.07 c #Conflicts: 481000 | #Constraints: 58310 682.78/685.07 c #Conflicts: 482000 | #Constraints: 59310 682.78/685.07 c #Conflicts: 483000 | #Constraints: 60310 682.78/685.07 c #Conflicts: 484000 | #Constraints: 61310 682.78/685.07 c #Conflicts: 485000 | #Constraints: 62310 682.78/685.07 c #Conflicts: 486000 | #Constraints: 63310 682.78/685.07 c #Conflicts: 487000 | #Constraints: 64310 682.78/685.07 c #Conflicts: 488000 | #Constraints: 65310 682.78/685.07 c #Conflicts: 489000 | #Constraints: 66311 682.78/685.07 c #Conflicts: 490000 | #Constraints: 67311 682.78/685.07 c #Conflicts: 491000 | #Constraints: 68311 682.78/685.07 c #Conflicts: 492000 | #Constraints: 69311 682.78/685.07 c #Conflicts: 493000 | #Constraints: 70311 682.78/685.07 c #Conflicts: 494000 | #Constraints: 71312 682.78/685.07 c #Conflicts: 495000 | #Constraints: 72312 682.78/685.07 c #Conflicts: 496000 | #Constraints: 73312 682.78/685.07 c #Conflicts: 497000 | #Constraints: 74312 682.78/685.07 c #Conflicts: 498000 | #Constraints: 75312 682.78/685.07 c INPROCESSING 682.78/685.07 c GARBAGE COLLECT 682.78/685.07 c rational objective 90 715.76/718.18 c #Conflicts: 499000 | #Constraints: 41726 715.76/718.18 c #Conflicts: 500000 | #Constraints: 42726 715.76/718.18 c #Conflicts: 501000 | #Constraints: 43726 715.76/718.18 c #Conflicts: 502000 | #Constraints: 44726 715.76/718.18 c #Conflicts: 503000 | #Constraints: 45726 715.76/718.18 c #Conflicts: 504000 | #Constraints: 46726 715.76/718.18 c #Conflicts: 505000 | #Constraints: 47726 715.76/718.18 c #Conflicts: 506000 | #Constraints: 48726 715.76/718.18 c #Conflicts: 507000 | #Constraints: 49726 715.76/718.18 c #Conflicts: 508000 | #Constraints: 50726 715.76/718.18 c #Conflicts: 509000 | #Constraints: 51726 715.76/718.18 c #Conflicts: 510000 | #Constraints: 52726 715.76/718.18 c #Conflicts: 511000 | #Constraints: 53726 715.76/718.18 c #Conflicts: 512000 | #Constraints: 54726 715.76/718.18 c #Conflicts: 513000 | #Constraints: 55726 715.76/718.18 c #Conflicts: 514000 | #Constraints: 56726 715.76/718.18 c INPROCESSING 715.76/718.18 c GARBAGE COLLECT 715.76/718.18 c rational objective 90 742.85/745.32 c #Conflicts: 515000 | #Constraints: 32459 742.85/745.32 c #Conflicts: 516000 | #Constraints: 33459 742.85/745.32 c #Conflicts: 517000 | #Constraints: 34460 742.85/745.32 c #Conflicts: 518000 | #Constraints: 35460 742.85/745.32 c #Conflicts: 519000 | #Constraints: 36460 742.85/745.32 c #Conflicts: 520000 | #Constraints: 37460 742.85/745.32 c #Conflicts: 521000 | #Constraints: 38460 742.85/745.32 c #Conflicts: 522000 | #Constraints: 39460 742.85/745.32 c #Conflicts: 523000 | #Constraints: 40460 742.85/745.32 c #Conflicts: 524000 | #Constraints: 41460 742.85/745.32 c #Conflicts: 525000 | #Constraints: 42460 742.85/745.32 c #Conflicts: 526000 | #Constraints: 43460 742.85/745.32 c #Conflicts: 527000 | #Constraints: 44460 742.85/745.32 c #Conflicts: 528000 | #Constraints: 45460 742.85/745.32 c #Conflicts: 529000 | #Constraints: 46461 742.85/745.32 c #Conflicts: 530000 | #Constraints: 47461 742.85/745.32 c #Conflicts: 531000 | #Constraints: 48461 742.85/745.32 c INPROCESSING 742.85/745.32 c GARBAGE COLLECT 742.85/745.32 c rational objective 90 761.29/763.80 c #Conflicts: 532000 | #Constraints: 28744 761.29/763.80 c #Conflicts: 533000 | #Constraints: 29744 761.29/763.80 c #Conflicts: 534000 | #Constraints: 30744 761.29/763.80 c #Conflicts: 535000 | #Constraints: 31744 761.29/763.80 c #Conflicts: 536000 | #Constraints: 32744 761.29/763.80 c #Conflicts: 537000 | #Constraints: 33744 761.29/763.80 c #Conflicts: 538000 | #Constraints: 34744 761.29/763.80 c #Conflicts: 539000 | #Constraints: 35744 761.29/763.80 c #Conflicts: 540000 | #Constraints: 36744 761.29/763.80 c #Conflicts: 541000 | #Constraints: 37744 761.29/763.80 c #Conflicts: 542000 | #Constraints: 38744 761.29/763.80 c #Conflicts: 543000 | #Constraints: 39745 761.29/763.80 c #Conflicts: 544000 | #Constraints: 40745 761.29/763.80 c #Conflicts: 545000 | #Constraints: 41745 761.29/763.80 c #Conflicts: 546000 | #Constraints: 42745 761.29/763.80 c #Conflicts: 547000 | #Constraints: 43746 761.29/763.80 c INPROCESSING 761.29/763.80 c GARBAGE COLLECT 761.29/763.80 c rational objective 90 785.02/787.68 c #Conflicts: 548000 | #Constraints: 26176 785.02/787.68 c #Conflicts: 549000 | #Constraints: 27176 785.02/787.68 c #Conflicts: 550000 | #Constraints: 28176 785.02/787.68 c #Conflicts: 551000 | #Constraints: 29176 785.02/787.68 c #Conflicts: 552000 | #Constraints: 30176 785.02/787.68 c #Conflicts: 553000 | #Constraints: 31176 785.02/787.68 c #Conflicts: 554000 | #Constraints: 32177 785.02/787.68 c #Conflicts: 555000 | #Constraints: 33178 785.02/787.68 c #Conflicts: 556000 | #Constraints: 34178 785.02/787.68 c #Conflicts: 557000 | #Constraints: 35179 785.02/787.68 c #Conflicts: 558000 | #Constraints: 36179 785.02/787.68 c #Conflicts: 559000 | #Constraints: 37179 785.02/787.68 c #Conflicts: 560000 | #Constraints: 38179 785.02/787.68 c #Conflicts: 561000 | #Constraints: 39180 785.02/787.68 c #Conflicts: 562000 | #Constraints: 40180 785.02/787.68 c #Conflicts: 563000 | #Constraints: 41180 785.02/787.68 c #Conflicts: 564000 | #Constraints: 42180 785.02/787.68 c INPROCESSING 785.02/787.68 c GARBAGE COLLECT 785.02/787.68 c rational objective 90 885.39/888.33 c #Conflicts: 565000 | #Constraints: 25608 885.39/888.33 c #Conflicts: 566000 | #Constraints: 26608 885.39/888.33 c #Conflicts: 567000 | #Constraints: 27608 885.39/888.33 c #Conflicts: 568000 | #Constraints: 28608 885.39/888.33 c #Conflicts: 569000 | #Constraints: 29608 885.39/888.33 c #Conflicts: 570000 | #Constraints: 30608 885.39/888.33 c #Conflicts: 571000 | #Constraints: 31608 885.39/888.33 c #Conflicts: 572000 | #Constraints: 32608 885.39/888.33 c #Conflicts: 573000 | #Constraints: 33608 885.39/888.33 c #Conflicts: 574000 | #Constraints: 34608 885.39/888.33 c #Conflicts: 575000 | #Constraints: 35609 885.39/888.33 c #Conflicts: 576000 | #Constraints: 36609 885.39/888.33 c #Conflicts: 577000 | #Constraints: 37609 885.39/888.33 c #Conflicts: 578000 | #Constraints: 38610 885.39/888.33 c #Conflicts: 579000 | #Constraints: 39611 885.39/888.33 c #Conflicts: 580000 | #Constraints: 40611 885.39/888.33 c #Conflicts: 581000 | #Constraints: 41612 885.39/888.33 c #Conflicts: 582000 | #Constraints: 42612 885.39/888.33 c #Conflicts: 583000 | #Constraints: 43612 885.39/888.33 c #Conflicts: 584000 | #Constraints: 44612 885.39/888.33 c #Conflicts: 585000 | #Constraints: 45612 885.39/888.33 c #Conflicts: 586000 | #Constraints: 46612 885.39/888.33 c #Conflicts: 587000 | #Constraints: 47613 885.39/888.33 c #Conflicts: 588000 | #Constraints: 48613 885.39/888.33 c #Conflicts: 589000 | #Constraints: 49613 885.39/888.33 c #Conflicts: 590000 | #Constraints: 50613 885.39/888.33 c #Conflicts: 591000 | #Constraints: 51613 885.39/888.33 c #Conflicts: 592000 | #Constraints: 52613 885.39/888.33 c #Conflicts: 593000 | #Constraints: 53613 885.39/888.33 c #Conflicts: 594000 | #Constraints: 54613 885.39/888.33 c #Conflicts: 595000 | #Constraints: 55613 885.39/888.33 c #Conflicts: 596000 | #Constraints: 56613 885.39/888.33 c #Conflicts: 597000 | #Constraints: 57613 885.39/888.33 c #Conflicts: 598000 | #Constraints: 58613 885.39/888.33 c #Conflicts: 599000 | #Constraints: 59613 885.39/888.33 c #Conflicts: 600000 | #Constraints: 60613 885.39/888.33 c #Conflicts: 601000 | #Constraints: 61613 885.39/888.33 c #Conflicts: 602000 | #Constraints: 62613 885.39/888.33 c #Conflicts: 603000 | #Constraints: 63613 885.39/888.33 c #Conflicts: 604000 | #Constraints: 64613 885.39/888.33 c #Conflicts: 605000 | #Constraints: 65613 885.39/888.33 c #Conflicts: 606000 | #Constraints: 66613 885.39/888.33 c #Conflicts: 607000 | #Constraints: 67614 885.39/888.33 c #Conflicts: 608000 | #Constraints: 68614 885.39/888.33 c #Conflicts: 609000 | #Constraints: 69614 885.39/888.33 c #Conflicts: 610000 | #Constraints: 70614 885.39/888.33 c #Conflicts: 611000 | #Constraints: 71615 885.39/888.33 c #Conflicts: 612000 | #Constraints: 72615 885.39/888.33 c #Conflicts: 613000 | #Constraints: 73615 885.39/888.33 c #Conflicts: 614000 | #Constraints: 74615 885.39/888.33 c #Conflicts: 615000 | #Constraints: 75616 885.39/888.33 c #Conflicts: 616000 | #Constraints: 76616 885.39/888.33 c #Conflicts: 617000 | #Constraints: 77616 885.39/888.33 c #Conflicts: 618000 | #Constraints: 78616 885.39/888.33 c #Conflicts: 619000 | #Constraints: 79616 885.39/888.33 c #Conflicts: 620000 | #Constraints: 80616 885.39/888.33 c #Conflicts: 621000 | #Constraints: 81616 885.39/888.33 c #Conflicts: 622000 | #Constraints: 82616 885.39/888.33 c #Conflicts: 623000 | #Constraints: 83616 885.39/888.33 c #Conflicts: 624000 | #Constraints: 84616 885.39/888.33 c INPROCESSING 885.39/888.33 c GARBAGE COLLECT 885.39/888.33 c rational objective 90 912.12/915.15 c #Conflicts: 625000 | #Constraints: 46830 912.12/915.15 c #Conflicts: 626000 | #Constraints: 47830 912.12/915.15 c #Conflicts: 627000 | #Constraints: 48830 912.12/915.15 c #Conflicts: 628000 | #Constraints: 49831 912.12/915.15 c #Conflicts: 629000 | #Constraints: 50831 912.12/915.15 c #Conflicts: 630000 | #Constraints: 51831 912.12/915.15 c #Conflicts: 631000 | #Constraints: 52831 912.12/915.15 c #Conflicts: 632000 | #Constraints: 53832 912.12/915.15 c #Conflicts: 633000 | #Constraints: 54832 912.12/915.15 c #Conflicts: 634000 | #Constraints: 55832 912.12/915.15 c #Conflicts: 635000 | #Constraints: 56833 912.12/915.15 c #Conflicts: 636000 | #Constraints: 57833 912.12/915.15 c #Conflicts: 637000 | #Constraints: 58833 912.12/915.15 c #Conflicts: 638000 | #Constraints: 59833 912.12/915.15 c #Conflicts: 639000 | #Constraints: 60833 912.12/915.15 c #Conflicts: 640000 | #Constraints: 61833 912.12/915.15 c #Conflicts: 641000 | #Constraints: 62833 912.12/915.15 c INPROCESSING 912.12/915.15 c GARBAGE COLLECT 912.12/915.15 c rational objective 90 936.53/939.68 c #Conflicts: 642000 | #Constraints: 35514 936.53/939.68 c #Conflicts: 643000 | #Constraints: 36514 936.53/939.68 c #Conflicts: 644000 | #Constraints: 37514 936.53/939.68 c #Conflicts: 645000 | #Constraints: 38514 936.53/939.68 c #Conflicts: 646000 | #Constraints: 39514 936.53/939.68 c #Conflicts: 647000 | #Constraints: 40514 936.53/939.68 c #Conflicts: 648000 | #Constraints: 41514 936.53/939.68 c #Conflicts: 649000 | #Constraints: 42514 936.53/939.68 c #Conflicts: 650000 | #Constraints: 43514 936.53/939.68 c #Conflicts: 651000 | #Constraints: 44514 936.53/939.68 c #Conflicts: 652000 | #Constraints: 45514 936.53/939.68 c #Conflicts: 653000 | #Constraints: 46514 936.53/939.68 c #Conflicts: 654000 | #Constraints: 47514 936.53/939.68 c #Conflicts: 655000 | #Constraints: 48514 936.53/939.68 c #Conflicts: 656000 | #Constraints: 49514 936.53/939.68 c #Conflicts: 657000 | #Constraints: 50514 936.53/939.68 c #Conflicts: 658000 | #Constraints: 51514 936.53/939.68 c #Conflicts: 659000 | #Constraints: 52514 936.53/939.68 c #Conflicts: 660000 | #Constraints: 53514 936.53/939.68 c INPROCESSING 936.53/939.68 c GARBAGE COLLECT 936.53/939.68 c rational objective 90 957.77/960.96 c #Conflicts: 661000 | #Constraints: 31237 957.77/960.96 c #Conflicts: 662000 | #Constraints: 32237 957.77/960.96 c #Conflicts: 663000 | #Constraints: 33238 957.77/960.96 c #Conflicts: 664000 | #Constraints: 34238 957.77/960.96 c #Conflicts: 665000 | #Constraints: 35238 957.77/960.96 c #Conflicts: 666000 | #Constraints: 36238 957.77/960.96 c #Conflicts: 667000 | #Constraints: 37238 957.77/960.96 c #Conflicts: 668000 | #Constraints: 38238 957.77/960.96 c #Conflicts: 669000 | #Constraints: 39238 957.77/960.96 c #Conflicts: 670000 | #Constraints: 40238 957.77/960.96 c #Conflicts: 671000 | #Constraints: 41238 957.77/960.96 c #Conflicts: 672000 | #Constraints: 42238 957.77/960.96 c #Conflicts: 673000 | #Constraints: 43238 957.77/960.96 c #Conflicts: 674000 | #Constraints: 44238 957.77/960.96 c #Conflicts: 675000 | #Constraints: 45238 957.77/960.96 c #Conflicts: 676000 | #Constraints: 46238 957.77/960.96 c #Conflicts: 677000 | #Constraints: 47238 957.77/960.96 c #Conflicts: 678000 | #Constraints: 48238 957.77/960.96 c INPROCESSING 957.77/960.96 c GARBAGE COLLECT 957.77/960.96 c rational objective 90 1103.03/1106.69 c #Conflicts: 679000 | #Constraints: 28494 1103.03/1106.69 c #Conflicts: 680000 | #Constraints: 29494 1103.03/1106.69 c #Conflicts: 681000 | #Constraints: 30494 1103.03/1106.69 c #Conflicts: 682000 | #Constraints: 31494 1103.03/1106.69 c #Conflicts: 683000 | #Constraints: 32494 1103.03/1106.69 c #Conflicts: 684000 | #Constraints: 33495 1103.03/1106.69 c #Conflicts: 685000 | #Constraints: 34497 1103.03/1106.69 c #Conflicts: 686000 | #Constraints: 35497 1103.03/1106.69 c #Conflicts: 687000 | #Constraints: 36497 1103.03/1106.69 c #Conflicts: 688000 | #Constraints: 37498 1103.03/1106.69 c #Conflicts: 689000 | #Constraints: 38498 1103.03/1106.69 c #Conflicts: 690000 | #Constraints: 39498 1103.03/1106.69 c #Conflicts: 691000 | #Constraints: 40498 1103.03/1106.69 c #Conflicts: 692000 | #Constraints: 41498 1103.03/1106.69 c #Conflicts: 693000 | #Constraints: 42499 1103.03/1106.69 c #Conflicts: 694000 | #Constraints: 43499 1103.03/1106.69 c #Conflicts: 695000 | #Constraints: 44499 1103.03/1106.69 c #Conflicts: 696000 | #Constraints: 45499 1103.03/1106.69 c INPROCESSING 1103.03/1106.69 c GARBAGE COLLECT 1103.03/1106.69 c #Conflicts: 697000 | #Constraints: 26897 1103.03/1106.69 c #Conflicts: 698000 | #Constraints: 27897 1103.03/1106.69 c #Conflicts: 699000 | #Constraints: 28897 1103.03/1106.69 c #Conflicts: 700000 | #Constraints: 29897 1103.03/1106.69 c #Conflicts: 701000 | #Constraints: 30897 1103.03/1106.69 c #Conflicts: 702000 | #Constraints: 31897 1103.03/1106.69 c #Conflicts: 703000 | #Constraints: 32897 1103.03/1106.69 c #Conflicts: 704000 | #Constraints: 33898 1103.03/1106.69 c #Conflicts: 705000 | #Constraints: 34898 1103.03/1106.69 c #Conflicts: 706000 | #Constraints: 35898 1103.03/1106.69 c #Conflicts: 707000 | #Constraints: 36898 1103.03/1106.69 c #Conflicts: 708000 | #Constraints: 37898 1103.03/1106.69 c #Conflicts: 709000 | #Constraints: 38898 1103.03/1106.69 c #Conflicts: 710000 | #Constraints: 39898 1103.03/1106.69 c #Conflicts: 711000 | #Constraints: 40898 1103.03/1106.69 c #Conflicts: 712000 | #Constraints: 41898 1103.03/1106.69 c #Conflicts: 713000 | #Constraints: 42898 1103.03/1106.69 c #Conflicts: 714000 | #Constraints: 43898 1103.03/1106.69 c #Conflicts: 715000 | #Constraints: 44898 1103.03/1106.69 c #Conflicts: 716000 | #Constraints: 45898 1103.03/1106.69 c #Conflicts: 717000 | #Constraints: 46899 1103.03/1106.69 c #Conflicts: 718000 | #Constraints: 47899 1103.03/1106.69 c #Conflicts: 719000 | #Constraints: 48899 1103.03/1106.69 c #Conflicts: 720000 | #Constraints: 49899 1103.03/1106.69 c #Conflicts: 721000 | #Constraints: 50899 1103.03/1106.69 c #Conflicts: 722000 | #Constraints: 51900 1103.03/1106.69 c #Conflicts: 723000 | #Constraints: 52900 1103.03/1106.69 c #Conflicts: 724000 | #Constraints: 53900 1103.03/1106.69 c #Conflicts: 725000 | #Constraints: 54900 1103.03/1106.69 c #Conflicts: 726000 | #Constraints: 55900 1103.03/1106.69 c #Conflicts: 727000 | #Constraints: 56900 1103.03/1106.69 c #Conflicts: 728000 | #Constraints: 57900 1103.03/1106.69 c #Conflicts: 729000 | #Constraints: 58900 1103.03/1106.69 c #Conflicts: 730000 | #Constraints: 59900 1103.03/1106.69 c #Conflicts: 731000 | #Constraints: 60900 1103.03/1106.69 c #Conflicts: 732000 | #Constraints: 61900 1103.03/1106.69 c #Conflicts: 733000 | #Constraints: 62900 1103.03/1106.69 c #Conflicts: 734000 | #Constraints: 63900 1103.03/1106.69 c #Conflicts: 735000 | #Constraints: 64900 1103.03/1106.69 c #Conflicts: 736000 | #Constraints: 65900 1103.03/1106.69 c #Conflicts: 737000 | #Constraints: 66900 1103.03/1106.69 c #Conflicts: 738000 | #Constraints: 67900 1103.03/1106.69 c #Conflicts: 739000 | #Constraints: 68900 1103.03/1106.69 c #Conflicts: 740000 | #Constraints: 69900 1103.03/1106.69 c #Conflicts: 741000 | #Constraints: 70900 1103.03/1106.69 c #Conflicts: 742000 | #Constraints: 71900 1103.03/1106.69 c #Conflicts: 743000 | #Constraints: 72900 1103.03/1106.69 c #Conflicts: 744000 | #Constraints: 73900 1103.03/1106.69 c #Conflicts: 745000 | #Constraints: 74900 1103.03/1106.69 c #Conflicts: 746000 | #Constraints: 75900 1103.03/1106.69 c #Conflicts: 747000 | #Constraints: 76900 1103.03/1106.69 c #Conflicts: 748000 | #Constraints: 77900 1103.03/1106.69 c #Conflicts: 749000 | #Constraints: 78900 1103.03/1106.69 c #Conflicts: 750000 | #Constraints: 79900 1103.03/1106.69 c #Conflicts: 751000 | #Constraints: 80900 1103.03/1106.69 c #Conflicts: 752000 | #Constraints: 81900 1103.03/1106.69 c #Conflicts: 753000 | #Constraints: 82900 1103.03/1106.69 c #Conflicts: 754000 | #Constraints: 83900 1103.03/1106.69 c #Conflicts: 755000 | #Constraints: 84900 1103.03/1106.69 c #Conflicts: 756000 | #Constraints: 85900 1103.03/1106.69 c #Conflicts: 757000 | #Constraints: 86900 1116.69/1120.36 c #Conflicts: 758000 | #Constraints: 87900 1116.69/1120.36 c #Conflicts: 759000 | #Constraints: 88900 1116.69/1120.36 c #Conflicts: 760000 | #Constraints: 89900 1116.69/1120.36 c #Conflicts: 761000 | #Constraints: 90900 1116.69/1120.36 c #Conflicts: 762000 | #Constraints: 91900 1116.69/1120.36 c #Conflicts: 763000 | #Constraints: 92900 1116.69/1120.36 c INPROCESSING 1116.69/1120.36 c GARBAGE COLLECT 1116.69/1120.36 c rational objective 90 1149.59/1153.33 c #Conflicts: 764000 | #Constraints: 50950 1149.59/1153.33 c #Conflicts: 765000 | #Constraints: 51950 1149.59/1153.33 c #Conflicts: 766000 | #Constraints: 52950 1149.59/1153.33 c #Conflicts: 767000 | #Constraints: 53950 1149.59/1153.33 c #Conflicts: 768000 | #Constraints: 54950 1149.59/1153.33 c #Conflicts: 769000 | #Constraints: 55950 1149.59/1153.33 c #Conflicts: 770000 | #Constraints: 56950 1149.59/1153.33 c #Conflicts: 771000 | #Constraints: 57951 1149.59/1153.33 c #Conflicts: 772000 | #Constraints: 58951 1149.59/1153.33 c #Conflicts: 773000 | #Constraints: 59951 1149.59/1153.33 c #Conflicts: 774000 | #Constraints: 60951 1149.59/1153.33 c #Conflicts: 775000 | #Constraints: 61951 1149.59/1153.33 c #Conflicts: 776000 | #Constraints: 62951 1149.59/1153.33 c #Conflicts: 777000 | #Constraints: 63951 1149.59/1153.33 c #Conflicts: 778000 | #Constraints: 64951 1149.59/1153.33 c #Conflicts: 779000 | #Constraints: 65951 1149.59/1153.33 c #Conflicts: 780000 | #Constraints: 66951 1149.59/1153.33 c #Conflicts: 781000 | #Constraints: 67951 1149.59/1153.33 c #Conflicts: 782000 | #Constraints: 68951 1149.59/1153.33 c #Conflicts: 783000 | #Constraints: 69951 1149.59/1153.33 c INPROCESSING 1149.59/1153.33 c GARBAGE COLLECT 1149.59/1153.33 c rational objective 90 1179.32/1183.18 c #Conflicts: 784000 | #Constraints: 39589 1179.32/1183.18 c #Conflicts: 785000 | #Constraints: 40589 1179.32/1183.18 c #Conflicts: 786000 | #Constraints: 41589 1179.32/1183.18 c #Conflicts: 787000 | #Constraints: 42590 1179.32/1183.18 c #Conflicts: 788000 | #Constraints: 43592 1179.32/1183.18 c #Conflicts: 789000 | #Constraints: 44592 1179.32/1183.18 c #Conflicts: 790000 | #Constraints: 45592 1179.32/1183.18 c #Conflicts: 791000 | #Constraints: 46592 1179.32/1183.18 c #Conflicts: 792000 | #Constraints: 47592 1179.32/1183.18 c #Conflicts: 793000 | #Constraints: 48592 1179.32/1183.18 c #Conflicts: 794000 | #Constraints: 49593 1179.32/1183.18 c #Conflicts: 795000 | #Constraints: 50593 1179.32/1183.18 c #Conflicts: 796000 | #Constraints: 51593 1179.32/1183.18 c #Conflicts: 797000 | #Constraints: 52593 1179.32/1183.18 c #Conflicts: 798000 | #Constraints: 53594 1179.32/1183.18 c #Conflicts: 799000 | #Constraints: 54594 1179.32/1183.18 c #Conflicts: 800000 | #Constraints: 55594 1179.32/1183.18 c #Conflicts: 801000 | #Constraints: 56594 1179.32/1183.18 c #Conflicts: 802000 | #Constraints: 57595 1179.32/1183.18 c #Conflicts: 803000 | #Constraints: 58595 1179.32/1183.18 c INPROCESSING 1179.32/1183.18 c GARBAGE COLLECT 1179.32/1183.18 c rational objective 90 1207.02/1210.97 c #Conflicts: 804000 | #Constraints: 33899 1207.02/1210.97 c #Conflicts: 805000 | #Constraints: 34899 1207.02/1210.97 c #Conflicts: 806000 | #Constraints: 35899 1207.02/1210.97 c #Conflicts: 807000 | #Constraints: 36899 1207.02/1210.97 c #Conflicts: 808000 | #Constraints: 37899 1207.02/1210.97 c #Conflicts: 809000 | #Constraints: 38899 1207.02/1210.97 c #Conflicts: 810000 | #Constraints: 39899 1207.02/1210.97 c #Conflicts: 811000 | #Constraints: 40899 1207.02/1210.97 c #Conflicts: 812000 | #Constraints: 41899 1207.02/1210.97 c #Conflicts: 813000 | #Constraints: 42899 1207.02/1210.97 c #Conflicts: 814000 | #Constraints: 43899 1207.02/1210.97 c #Conflicts: 815000 | #Constraints: 44899 1207.02/1210.97 c #Conflicts: 816000 | #Constraints: 45899 1207.02/1210.97 c #Conflicts: 817000 | #Constraints: 46899 1207.02/1210.97 c #Conflicts: 818000 | #Constraints: 47899 1207.02/1210.97 c #Conflicts: 819000 | #Constraints: 48899 1207.02/1210.97 c #Conflicts: 820000 | #Constraints: 49899 1207.02/1210.97 c #Conflicts: 821000 | #Constraints: 50899 1207.02/1210.97 c #Conflicts: 822000 | #Constraints: 51899 1207.02/1210.97 c #Conflicts: 823000 | #Constraints: 52900 1207.02/1210.97 c INPROCESSING 1207.02/1210.97 c GARBAGE COLLECT 1207.02/1210.97 c rational objective 90 1235.24/1239.29 c #Conflicts: 824000 | #Constraints: 30803 1235.24/1239.29 c #Conflicts: 825000 | #Constraints: 31803 1235.24/1239.29 c #Conflicts: 826000 | #Constraints: 32803 1235.24/1239.29 c #Conflicts: 827000 | #Constraints: 33803 1235.24/1239.29 c #Conflicts: 828000 | #Constraints: 34803 1235.24/1239.29 c #Conflicts: 829000 | #Constraints: 35803 1235.24/1239.29 c #Conflicts: 830000 | #Constraints: 36803 1235.24/1239.29 c #Conflicts: 831000 | #Constraints: 37803 1235.24/1239.29 c #Conflicts: 832000 | #Constraints: 38803 1235.24/1239.29 c #Conflicts: 833000 | #Constraints: 39803 1235.24/1239.29 c #Conflicts: 834000 | #Constraints: 40803 1235.24/1239.29 c #Conflicts: 835000 | #Constraints: 41803 1235.24/1239.29 c #Conflicts: 836000 | #Constraints: 42804 1235.24/1239.29 c #Conflicts: 837000 | #Constraints: 43804 1235.24/1239.29 c #Conflicts: 838000 | #Constraints: 44804 1235.24/1239.29 c #Conflicts: 839000 | #Constraints: 45804 1235.24/1239.29 c #Conflicts: 840000 | #Constraints: 46804 1235.24/1239.29 c #Conflicts: 841000 | #Constraints: 47804 1235.24/1239.29 c #Conflicts: 842000 | #Constraints: 48804 1235.24/1239.29 c #Conflicts: 843000 | #Constraints: 49804 1235.24/1239.29 c INPROCESSING 1235.24/1239.29 c GARBAGE COLLECT 1235.24/1239.29 c rational objective 90 1387.09/1391.54 c #Conflicts: 844000 | #Constraints: 29191 1387.09/1391.54 c #Conflicts: 845000 | #Constraints: 30191 1387.09/1391.54 c #Conflicts: 846000 | #Constraints: 31191 1387.09/1391.54 c #Conflicts: 847000 | #Constraints: 32191 1387.09/1391.54 c #Conflicts: 848000 | #Constraints: 33191 1387.09/1391.54 c #Conflicts: 849000 | #Constraints: 34191 1387.09/1391.54 c #Conflicts: 850000 | #Constraints: 35191 1387.09/1391.54 c #Conflicts: 851000 | #Constraints: 36191 1387.09/1391.54 c #Conflicts: 852000 | #Constraints: 37192 1387.09/1391.54 c #Conflicts: 853000 | #Constraints: 38192 1387.09/1391.54 c #Conflicts: 854000 | #Constraints: 39192 1387.09/1391.54 c #Conflicts: 855000 | #Constraints: 40192 1387.09/1391.54 c #Conflicts: 856000 | #Constraints: 41192 1387.09/1391.54 c #Conflicts: 857000 | #Constraints: 42192 1387.09/1391.54 c #Conflicts: 858000 | #Constraints: 43192 1387.09/1391.54 c #Conflicts: 859000 | #Constraints: 44192 1387.09/1391.54 c #Conflicts: 860000 | #Constraints: 45192 1387.09/1391.54 c #Conflicts: 861000 | #Constraints: 46192 1387.09/1391.54 c #Conflicts: 862000 | #Constraints: 47192 1387.09/1391.54 c #Conflicts: 863000 | #Constraints: 48193 1387.09/1391.54 c #Conflicts: 864000 | #Constraints: 49193 1387.09/1391.54 c #Conflicts: 865000 | #Constraints: 50193 1387.09/1391.54 c #Conflicts: 866000 | #Constraints: 51193 1387.09/1391.54 c #Conflicts: 867000 | #Constraints: 52193 1387.09/1391.54 c #Conflicts: 868000 | #Constraints: 53193 1387.09/1391.54 c #Conflicts: 869000 | #Constraints: 54193 1387.09/1391.54 c #Conflicts: 870000 | #Constraints: 55193 1387.09/1391.54 c #Conflicts: 871000 | #Constraints: 56193 1387.09/1391.54 c #Conflicts: 872000 | #Constraints: 57193 1387.09/1391.54 c #Conflicts: 873000 | #Constraints: 58193 1387.09/1391.54 c #Conflicts: 874000 | #Constraints: 59193 1387.09/1391.54 c #Conflicts: 875000 | #Constraints: 60193 1387.09/1391.54 c #Conflicts: 876000 | #Constraints: 61193 1387.09/1391.54 c #Conflicts: 877000 | #Constraints: 62193 1387.09/1391.54 c #Conflicts: 878000 | #Constraints: 63193 1387.09/1391.54 c #Conflicts: 879000 | #Constraints: 64194 1387.09/1391.54 c #Conflicts: 880000 | #Constraints: 65194 1387.09/1391.54 c #Conflicts: 881000 | #Constraints: 66194 1387.09/1391.54 c #Conflicts: 882000 | #Constraints: 67194 1387.09/1391.54 c #Conflicts: 883000 | #Constraints: 68194 1387.09/1391.54 c #Conflicts: 884000 | #Constraints: 69194 1387.09/1391.54 c #Conflicts: 885000 | #Constraints: 70194 1387.09/1391.54 c #Conflicts: 886000 | #Constraints: 71194 1387.09/1391.54 c #Conflicts: 887000 | #Constraints: 72194 1387.09/1391.54 c #Conflicts: 888000 | #Constraints: 73194 1387.09/1391.54 c #Conflicts: 889000 | #Constraints: 74194 1387.09/1391.54 c #Conflicts: 890000 | #Constraints: 75194 1387.09/1391.54 c #Conflicts: 891000 | #Constraints: 76194 1387.09/1391.54 c #Conflicts: 892000 | #Constraints: 77194 1387.09/1391.54 c #Conflicts: 893000 | #Constraints: 78194 1387.09/1391.54 c #Conflicts: 894000 | #Constraints: 79194 1387.09/1391.54 c #Conflicts: 895000 | #Constraints: 80194 1387.09/1391.54 c #Conflicts: 896000 | #Constraints: 81194 1387.09/1391.54 c #Conflicts: 897000 | #Constraints: 82194 1387.09/1391.54 c #Conflicts: 898000 | #Constraints: 83194 1387.09/1391.54 c #Conflicts: 899000 | #Constraints: 84195 1387.09/1391.54 c #Conflicts: 900000 | #Constraints: 85195 1387.09/1391.54 c #Conflicts: 901000 | #Constraints: 86196 1387.09/1391.54 c #Conflicts: 902000 | #Constraints: 87196 1387.09/1391.54 c #Conflicts: 903000 | #Constraints: 88196 1387.09/1391.54 c #Conflicts: 904000 | #Constraints: 89196 1387.09/1391.54 c #Conflicts: 905000 | #Constraints: 90196 1387.09/1391.54 c #Conflicts: 906000 | #Constraints: 91196 1387.09/1391.54 c #Conflicts: 907000 | #Constraints: 92196 1387.09/1391.54 c #Conflicts: 908000 | #Constraints: 93196 1387.09/1391.54 c #Conflicts: 909000 | #Constraints: 94196 1387.09/1391.54 c #Conflicts: 910000 | #Constraints: 95196 1387.09/1391.54 c #Conflicts: 911000 | #Constraints: 96197 1387.09/1391.54 c #Conflicts: 912000 | #Constraints: 97197 1387.09/1391.54 c #Conflicts: 913000 | #Constraints: 98197 1387.09/1391.54 c #Conflicts: 914000 | #Constraints: 99197 1387.09/1391.54 c #Conflicts: 915000 | #Constraints: 100197 1387.09/1391.54 c #Conflicts: 916000 | #Constraints: 101197 1387.09/1391.54 c INPROCESSING 1387.09/1391.54 c GARBAGE COLLECT 1387.09/1391.54 c rational objective 90 1430.95/1435.55 c #Conflicts: 917000 | #Constraints: 54931 1430.95/1435.55 c #Conflicts: 918000 | #Constraints: 55931 1430.95/1435.55 c #Conflicts: 919000 | #Constraints: 56931 1430.95/1435.55 c #Conflicts: 920000 | #Constraints: 57931 1430.95/1435.55 c #Conflicts: 921000 | #Constraints: 58931 1430.95/1435.55 c #Conflicts: 922000 | #Constraints: 59931 1430.95/1435.55 c #Conflicts: 923000 | #Constraints: 60931 1430.95/1435.55 c #Conflicts: 924000 | #Constraints: 61931 1430.95/1435.55 c #Conflicts: 925000 | #Constraints: 62931 1430.95/1435.55 c #Conflicts: 926000 | #Constraints: 63931 1430.95/1435.55 c #Conflicts: 927000 | #Constraints: 64931 1430.95/1435.55 c #Conflicts: 928000 | #Constraints: 65931 1430.95/1435.55 c #Conflicts: 929000 | #Constraints: 66932 1430.95/1435.55 c #Conflicts: 930000 | #Constraints: 67932 1430.95/1435.55 c #Conflicts: 931000 | #Constraints: 68932 1430.95/1435.55 c #Conflicts: 932000 | #Constraints: 69932 1430.95/1435.55 c #Conflicts: 933000 | #Constraints: 70932 1430.95/1435.55 c #Conflicts: 934000 | #Constraints: 71932 1430.95/1435.55 c #Conflicts: 935000 | #Constraints: 72932 1430.95/1435.55 c #Conflicts: 936000 | #Constraints: 73932 1430.95/1435.55 c #Conflicts: 937000 | #Constraints: 74933 1430.95/1435.55 c #Conflicts: 938000 | #Constraints: 75933 1430.95/1435.55 c INPROCESSING 1430.95/1435.55 c GARBAGE COLLECT 1430.95/1435.55 c rational objective 90 1464.65/1469.37 c #Conflicts: 939000 | #Constraints: 42528 1464.65/1469.37 c #Conflicts: 940000 | #Constraints: 43528 1464.65/1469.37 c #Conflicts: 941000 | #Constraints: 44528 1464.65/1469.37 c #Conflicts: 942000 | #Constraints: 45528 1464.65/1469.37 c #Conflicts: 943000 | #Constraints: 46528 1464.65/1469.37 c #Conflicts: 944000 | #Constraints: 47529 1464.65/1469.37 c #Conflicts: 945000 | #Constraints: 48530 1464.65/1469.37 c #Conflicts: 946000 | #Constraints: 49532 1464.65/1469.37 c #Conflicts: 947000 | #Constraints: 50532 1464.65/1469.37 c #Conflicts: 948000 | #Constraints: 51532 1464.65/1469.37 c #Conflicts: 949000 | #Constraints: 52532 1464.65/1469.37 c #Conflicts: 950000 | #Constraints: 53532 1464.65/1469.37 c #Conflicts: 951000 | #Constraints: 54532 1464.65/1469.37 c #Conflicts: 952000 | #Constraints: 55532 1464.65/1469.37 c #Conflicts: 953000 | #Constraints: 56532 1464.65/1469.37 c #Conflicts: 954000 | #Constraints: 57532 1464.65/1469.37 c #Conflicts: 955000 | #Constraints: 58532 1464.65/1469.37 c #Conflicts: 956000 | #Constraints: 59532 1464.65/1469.37 c #Conflicts: 957000 | #Constraints: 60532 1464.65/1469.37 c #Conflicts: 958000 | #Constraints: 61532 1464.65/1469.37 c #Conflicts: 959000 | #Constraints: 62532 1464.65/1469.37 c #Conflicts: 960000 | #Constraints: 63532 1464.65/1469.37 c INPROCESSING 1464.65/1469.37 c GARBAGE COLLECT 1464.65/1469.37 c rational objective 90 1505.23/1510.08 c #Conflicts: 961000 | #Constraints: 36334 1505.23/1510.08 c #Conflicts: 962000 | #Constraints: 37334 1505.23/1510.08 c #Conflicts: 963000 | #Constraints: 38334 1505.23/1510.08 c #Conflicts: 964000 | #Constraints: 39335 1505.23/1510.08 c #Conflicts: 965000 | #Constraints: 40335 1505.23/1510.08 c #Conflicts: 966000 | #Constraints: 41335 1505.23/1510.08 c #Conflicts: 967000 | #Constraints: 42335 1505.23/1510.08 c #Conflicts: 968000 | #Constraints: 43335 1505.23/1510.08 c #Conflicts: 969000 | #Constraints: 44336 1505.23/1510.08 c #Conflicts: 970000 | #Constraints: 45336 1505.23/1510.08 c #Conflicts: 971000 | #Constraints: 46337 1505.23/1510.08 c #Conflicts: 972000 | #Constraints: 47337 1505.23/1510.08 c #Conflicts: 973000 | #Constraints: 48337 1505.23/1510.08 c #Conflicts: 974000 | #Constraints: 49338 1505.23/1510.08 c #Conflicts: 975000 | #Constraints: 50338 1505.23/1510.08 c #Conflicts: 976000 | #Constraints: 51338 1505.23/1510.08 c #Conflicts: 977000 | #Constraints: 52338 1505.23/1510.08 c #Conflicts: 978000 | #Constraints: 53338 1505.23/1510.08 c #Conflicts: 979000 | #Constraints: 54338 1505.23/1510.08 c #Conflicts: 980000 | #Constraints: 55338 1505.23/1510.08 c #Conflicts: 981000 | #Constraints: 56338 1505.23/1510.08 c #Conflicts: 982000 | #Constraints: 57338 1505.23/1510.08 c INPROCESSING 1505.23/1510.08 c GARBAGE COLLECT 1505.23/1510.08 c rational objective 90 1542.00/1546.92 c #Conflicts: 983000 | #Constraints: 33206 1542.00/1546.92 c #Conflicts: 984000 | #Constraints: 34206 1542.00/1546.92 c #Conflicts: 985000 | #Constraints: 35206 1542.00/1546.92 c #Conflicts: 986000 | #Constraints: 36206 1542.00/1546.92 c #Conflicts: 987000 | #Constraints: 37207 1542.00/1546.92 c #Conflicts: 988000 | #Constraints: 38207 1542.00/1546.92 c #Conflicts: 989000 | #Constraints: 39207 1542.00/1546.92 c #Conflicts: 990000 | #Constraints: 40207 1542.00/1546.92 c #Conflicts: 991000 | #Constraints: 41208 1542.00/1546.92 c #Conflicts: 992000 | #Constraints: 42208 1542.00/1546.92 c #Conflicts: 993000 | #Constraints: 43209 1542.00/1546.92 c #Conflicts: 994000 | #Constraints: 44209 1542.00/1546.92 c #Conflicts: 995000 | #Constraints: 45209 1542.00/1546.92 c #Conflicts: 996000 | #Constraints: 46209 1542.00/1546.92 c #Conflicts: 997000 | #Constraints: 47209 1542.00/1546.92 c #Conflicts: 998000 | #Constraints: 48209 1542.00/1546.92 c #Conflicts: 999000 | #Constraints: 49209 1542.00/1546.92 c #Conflicts: 1000000 | #Constraints: 50209 1542.00/1546.92 c #Conflicts: 1001000 | #Constraints: 51209 1542.00/1546.92 c #Conflicts: 1002000 | #Constraints: 52209 1542.00/1546.92 c #Conflicts: 1003000 | #Constraints: 53209 1542.00/1546.92 c #Conflicts: 1004000 | #Constraints: 54209 1542.00/1546.92 c INPROCESSING 1542.00/1546.92 c GARBAGE COLLECT 1542.00/1546.92 c rational objective 90 1737.31/1742.83 c #Conflicts: 1005000 | #Constraints: 31475 1737.31/1742.83 c #Conflicts: 1006000 | #Constraints: 32475 1737.31/1742.83 c #Conflicts: 1007000 | #Constraints: 33475 1737.31/1742.83 c #Conflicts: 1008000 | #Constraints: 34475 1737.31/1742.83 c #Conflicts: 1009000 | #Constraints: 35476 1737.31/1742.83 c #Conflicts: 1010000 | #Constraints: 36476 1737.31/1742.83 c #Conflicts: 1011000 | #Constraints: 37476 1737.31/1742.83 c #Conflicts: 1012000 | #Constraints: 38476 1737.31/1742.83 c #Conflicts: 1013000 | #Constraints: 39476 1737.31/1742.83 c #Conflicts: 1014000 | #Constraints: 40476 1737.31/1742.83 c #Conflicts: 1015000 | #Constraints: 41476 1737.31/1742.83 c #Conflicts: 1016000 | #Constraints: 42476 1737.31/1742.83 c #Conflicts: 1017000 | #Constraints: 43476 1737.31/1742.83 c #Conflicts: 1018000 | #Constraints: 44476 1737.31/1742.83 c #Conflicts: 1019000 | #Constraints: 45476 1737.31/1742.83 c #Conflicts: 1020000 | #Constraints: 46476 1737.31/1742.83 c #Conflicts: 1021000 | #Constraints: 47476 1737.31/1742.83 c #Conflicts: 1022000 | #Constraints: 48476 1737.31/1742.83 c #Conflicts: 1023000 | #Constraints: 49476 1737.31/1742.83 c #Conflicts: 1024000 | #Constraints: 50476 1737.31/1742.83 c #Conflicts: 1025000 | #Constraints: 51476 1737.31/1742.83 c #Conflicts: 1026000 | #Constraints: 52476 1737.31/1742.83 c #Conflicts: 1027000 | #Constraints: 53476 1737.31/1742.83 c #Conflicts: 1028000 | #Constraints: 54476 1737.31/1742.83 c #Conflicts: 1029000 | #Constraints: 55476 1737.31/1742.83 c #Conflicts: 1030000 | #Constraints: 56476 1737.31/1742.83 c #Conflicts: 1031000 | #Constraints: 57476 1737.31/1742.83 c #Conflicts: 1032000 | #Constraints: 58476 1737.31/1742.83 c #Conflicts: 1033000 | #Constraints: 59476 1737.31/1742.83 c #Conflicts: 1034000 | #Constraints: 60476 1737.31/1742.83 c #Conflicts: 1035000 | #Constraints: 61476 1737.31/1742.83 c #Conflicts: 1036000 | #Constraints: 62476 1737.31/1742.83 c #Conflicts: 1037000 | #Constraints: 63477 1737.31/1742.83 c #Conflicts: 1038000 | #Constraints: 64477 1737.31/1742.83 c #Conflicts: 1039000 | #Constraints: 65477 1737.31/1742.83 c #Conflicts: 1040000 | #Constraints: 66477 1737.31/1742.83 c #Conflicts: 1041000 | #Constraints: 67477 1737.31/1742.83 c #Conflicts: 1042000 | #Constraints: 68477 1737.31/1742.83 c #Conflicts: 1043000 | #Constraints: 69477 1737.31/1742.83 c #Conflicts: 1044000 | #Constraints: 70478 1737.31/1742.83 c #Conflicts: 1045000 | #Constraints: 71482 1737.31/1742.83 c #Conflicts: 1046000 | #Constraints: 72482 1737.31/1742.83 c #Conflicts: 1047000 | #Constraints: 73482 1737.31/1742.83 c #Conflicts: 1048000 | #Constraints: 74482 1737.31/1742.83 c #Conflicts: 1049000 | #Constraints: 75482 1737.31/1742.83 c #Conflicts: 1050000 | #Constraints: 76482 1737.31/1742.83 c #Conflicts: 1051000 | #Constraints: 77484 1737.31/1742.83 c #Conflicts: 1052000 | #Constraints: 78484 1737.31/1742.83 c #Conflicts: 1053000 | #Constraints: 79484 1737.31/1742.83 c #Conflicts: 1054000 | #Constraints: 80484 1737.31/1742.83 c #Conflicts: 1055000 | #Constraints: 81484 1737.31/1742.83 c #Conflicts: 1056000 | #Constraints: 82484 1737.31/1742.83 c #Conflicts: 1057000 | #Constraints: 83484 1737.31/1742.83 c #Conflicts: 1058000 | #Constraints: 84484 1737.31/1742.83 c #Conflicts: 1059000 | #Constraints: 85484 1737.31/1742.83 c #Conflicts: 1060000 | #Constraints: 86484 1737.31/1742.83 c #Conflicts: 1061000 | #Constraints: 87484 1737.31/1742.83 c #Conflicts: 1062000 | #Constraints: 88484 1737.31/1742.83 c #Conflicts: 1063000 | #Constraints: 89484 1737.31/1742.83 c #Conflicts: 1064000 | #Constraints: 90484 1737.31/1742.83 c #Conflicts: 1065000 | #Constraints: 91484 1737.31/1742.83 c #Conflicts: 1066000 | #Constraints: 92484 1737.31/1742.83 c #Conflicts: 1067000 | #Constraints: 93484 1737.31/1742.83 c #Conflicts: 1068000 | #Constraints: 94484 1737.31/1742.83 c #Conflicts: 1069000 | #Constraints: 95484 1737.31/1742.83 c #Conflicts: 1070000 | #Constraints: 96484 1737.31/1742.83 c #Conflicts: 1071000 | #Constraints: 97484 1737.31/1742.83 c #Conflicts: 1072000 | #Constraints: 98484 1737.31/1742.83 c #Conflicts: 1073000 | #Constraints: 99484 1737.31/1742.83 c #Conflicts: 1074000 | #Constraints: 100484 1737.31/1742.83 c #Conflicts: 1075000 | #Constraints: 101484 1737.31/1742.83 c #Conflicts: 1076000 | #Constraints: 102484 1737.31/1742.83 c #Conflicts: 1077000 | #Constraints: 103484 1737.31/1742.83 c #Conflicts: 1078000 | #Constraints: 104484 1737.31/1742.83 c #Conflicts: 1079000 | #Constraints: 105484 1737.31/1742.83 c #Conflicts: 1080000 | #Constraints: 106485 1737.31/1742.83 c #Conflicts: 1081000 | #Constraints: 107485 1737.31/1742.83 c #Conflicts: 1082000 | #Constraints: 108485 1737.31/1742.83 c #Conflicts: 1083000 | #Constraints: 109485 1743.39/1748.93 c INPROCESSING 1743.39/1748.93 c GARBAGE COLLECT 1743.39/1748.93 c rational objective 90 1793.05/1798.74 c #Conflicts: 1084000 | #Constraints: 59045 1793.05/1798.74 c #Conflicts: 1085000 | #Constraints: 60046 1793.05/1798.74 c #Conflicts: 1086000 | #Constraints: 61046 1793.05/1798.74 c #Conflicts: 1087000 | #Constraints: 62046 1793.05/1798.74 c #Conflicts: 1088000 | #Constraints: 63047 1793.05/1798.74 c #Conflicts: 1089000 | #Constraints: 64047 1793.05/1798.74 c #Conflicts: 1090000 | #Constraints: 65047 1793.05/1798.74 c #Conflicts: 1091000 | #Constraints: 66047 1793.05/1798.74 c #Conflicts: 1092000 | #Constraints: 67047 1793.05/1798.74 c #Conflicts: 1093000 | #Constraints: 68047 1793.05/1798.74 c #Conflicts: 1094000 | #Constraints: 69047 1793.05/1798.74 c #Conflicts: 1095000 | #Constraints: 70047 1793.05/1798.74 c #Conflicts: 1096000 | #Constraints: 71047 1793.05/1798.74 c #Conflicts: 1097000 | #Constraints: 72047 1793.05/1798.74 c #Conflicts: 1098000 | #Constraints: 73047 1793.05/1798.74 c #Conflicts: 1099000 | #Constraints: 74047 1793.05/1798.74 c #Conflicts: 1100000 | #Constraints: 75047 1793.05/1798.74 c #Conflicts: 1101000 | #Constraints: 76047 1793.05/1798.74 c #Conflicts: 1102000 | #Constraints: 77047 1793.05/1798.74 c #Conflicts: 1103000 | #Constraints: 78047 1793.05/1798.74 c #Conflicts: 1104000 | #Constraints: 79047 1793.05/1798.74 c #Conflicts: 1105000 | #Constraints: 80047 1793.05/1798.74 c #Conflicts: 1106000 | #Constraints: 81047 1793.05/1798.74 c #Conflicts: 1107000 | #Constraints: 82047 1793.05/1798.74 c INPROCESSING 1793.05/1798.74 c GARBAGE COLLECT 1793.05/1798.74 c rational objective 90 1837.71/1843.58 c #Conflicts: 1108000 | #Constraints: 45572 1837.71/1843.58 c #Conflicts: 1109000 | #Constraints: 46573 1837.71/1843.58 c #Conflicts: 1110000 | #Constraints: 47573 1837.71/1843.58 c #Conflicts: 1111000 | #Constraints: 48573 1837.71/1843.58 c #Conflicts: 1112000 | #Constraints: 49573 1837.71/1843.58 c #Conflicts: 1113000 | #Constraints: 50573 1837.71/1843.58 c #Conflicts: 1114000 | #Constraints: 51573 1837.71/1843.58 c #Conflicts: 1115000 | #Constraints: 52573 1837.71/1843.58 c #Conflicts: 1116000 | #Constraints: 53573 1837.71/1843.58 c #Conflicts: 1117000 | #Constraints: 54573 1837.71/1843.58 c #Conflicts: 1118000 | #Constraints: 55573 1837.71/1843.58 c #Conflicts: 1119000 | #Constraints: 56573 1837.71/1843.58 c #Conflicts: 1120000 | #Constraints: 57573 1837.71/1843.58 c #Conflicts: 1121000 | #Constraints: 58573 1837.71/1843.58 c #Conflicts: 1122000 | #Constraints: 59573 1837.71/1843.58 c #Conflicts: 1123000 | #Constraints: 60574 1837.71/1843.58 c #Conflicts: 1124000 | #Constraints: 61574 1837.71/1843.58 c #Conflicts: 1125000 | #Constraints: 62574 1837.71/1843.58 c #Conflicts: 1126000 | #Constraints: 63574 1837.71/1843.58 c #Conflicts: 1127000 | #Constraints: 64574 1837.71/1843.58 c #Conflicts: 1128000 | #Constraints: 65574 1837.71/1843.58 c #Conflicts: 1129000 | #Constraints: 66574 1837.71/1843.58 c #Conflicts: 1130000 | #Constraints: 67574 1837.71/1843.58 c #Conflicts: 1131000 | #Constraints: 68574 1837.71/1843.58 c INPROCESSING 1837.71/1843.58 c GARBAGE COLLECT 1837.71/1843.58 c rational objective 90 1872.60/1878.50 c #Conflicts: 1132000 | #Constraints: 38837 1872.60/1878.50 c #Conflicts: 1133000 | #Constraints: 39837 1872.60/1878.50 c #Conflicts: 1134000 | #Constraints: 40837 1872.60/1878.50 c #Conflicts: 1135000 | #Constraints: 41837 1872.60/1878.50 c #Conflicts: 1136000 | #Constraints: 42837 1872.60/1878.50 c #Conflicts: 1137000 | #Constraints: 43837 1872.60/1878.50 c #Conflicts: 1138000 | #Constraints: 44837 1872.60/1878.50 c #Conflicts: 1139000 | #Constraints: 45837 1872.60/1878.50 c #Conflicts: 1140000 | #Constraints: 46837 1872.60/1878.50 c #Conflicts: 1141000 | #Constraints: 47837 1872.60/1878.50 c #Conflicts: 1142000 | #Constraints: 48837 1872.60/1878.50 c #Conflicts: 1143000 | #Constraints: 49837 1872.60/1878.50 c #Conflicts: 1144000 | #Constraints: 50837 1872.60/1878.50 c #Conflicts: 1145000 | #Constraints: 51837 1872.60/1878.50 c #Conflicts: 1146000 | #Constraints: 52837 1872.60/1878.50 c #Conflicts: 1147000 | #Constraints: 53837 1872.60/1878.50 c #Conflicts: 1148000 | #Constraints: 54837 1872.60/1878.50 c #Conflicts: 1149000 | #Constraints: 55837 1872.60/1878.50 c #Conflicts: 1150000 | #Constraints: 56837 1872.60/1878.50 c #Conflicts: 1151000 | #Constraints: 57837 1872.60/1878.50 c #Conflicts: 1152000 | #Constraints: 58838 1872.60/1878.50 c #Conflicts: 1153000 | #Constraints: 59838 1872.60/1878.50 c #Conflicts: 1154000 | #Constraints: 60838 1872.60/1878.50 c #Conflicts: 1155000 | #Constraints: 61839 1872.60/1878.50 c INPROCESSING 1872.60/1878.50 c GARBAGE COLLECT 1872.60/1878.50 c rational objective 90 1907.80/1913.81 c #Conflicts: 1156000 | #Constraints: 35503 1907.80/1913.81 c #Conflicts: 1157000 | #Constraints: 36503 1907.80/1913.81 c #Conflicts: 1158000 | #Constraints: 37503 1907.80/1913.81 c #Conflicts: 1159000 | #Constraints: 38503 1907.80/1913.81 c #Conflicts: 1160000 | #Constraints: 39503 1907.80/1913.81 c #Conflicts: 1161000 | #Constraints: 40503 1907.80/1913.81 c #Conflicts: 1162000 | #Constraints: 41503 1907.80/1913.81 c #Conflicts: 1163000 | #Constraints: 42503 1907.80/1913.81 c #Conflicts: 1164000 | #Constraints: 43503 1907.80/1913.81 c #Conflicts: 1165000 | #Constraints: 44503 1907.80/1913.81 c #Conflicts: 1166000 | #Constraints: 45503 1907.80/1913.81 c #Conflicts: 1167000 | #Constraints: 46504 1907.80/1913.81 c #Conflicts: 1168000 | #Constraints: 47504 1907.80/1913.81 c #Conflicts: 1169000 | #Constraints: 48504 1907.80/1913.81 c #Conflicts: 1170000 | #Constraints: 49504 1907.80/1913.81 c #Conflicts: 1171000 | #Constraints: 50504 1907.80/1913.81 c #Conflicts: 1172000 | #Constraints: 51504 1907.80/1913.81 c #Conflicts: 1173000 | #Constraints: 52504 1907.80/1913.81 c #Conflicts: 1174000 | #Constraints: 53504 1907.80/1913.81 c #Conflicts: 1175000 | #Constraints: 54504 1907.80/1913.81 c #Conflicts: 1176000 | #Constraints: 55504 1907.80/1913.81 c #Conflicts: 1177000 | #Constraints: 56504 1907.80/1913.81 c #Conflicts: 1178000 | #Constraints: 57504 1907.80/1913.81 c #Conflicts: 1179000 | #Constraints: 58504 1907.80/1913.81 c INPROCESSING 1907.80/1913.81 c GARBAGE COLLECT 1907.80/1913.81 c rational objective 90 2072.57/2079.12 c #Conflicts: 1180000 | #Constraints: 33690 2072.57/2079.12 c #Conflicts: 1181000 | #Constraints: 34690 2072.57/2079.12 c #Conflicts: 1182000 | #Constraints: 35690 2072.57/2079.12 c #Conflicts: 1183000 | #Constraints: 36690 2072.57/2079.12 c #Conflicts: 1184000 | #Constraints: 37690 2072.57/2079.12 c #Conflicts: 1185000 | #Constraints: 38690 2072.57/2079.12 c #Conflicts: 1186000 | #Constraints: 39690 2072.57/2079.12 c #Conflicts: 1187000 | #Constraints: 40690 2072.57/2079.12 c #Conflicts: 1188000 | #Constraints: 41690 2072.57/2079.12 c #Conflicts: 1189000 | #Constraints: 42690 2072.57/2079.12 c #Conflicts: 1190000 | #Constraints: 43690 2072.57/2079.12 c #Conflicts: 1191000 | #Constraints: 44690 2072.57/2079.12 c #Conflicts: 1192000 | #Constraints: 45690 2072.57/2079.12 c #Conflicts: 1193000 | #Constraints: 46692 2072.57/2079.12 c #Conflicts: 1194000 | #Constraints: 47692 2072.57/2079.12 c #Conflicts: 1195000 | #Constraints: 48692 2072.57/2079.12 c #Conflicts: 1196000 | #Constraints: 49692 2072.57/2079.12 c #Conflicts: 1197000 | #Constraints: 50692 2072.57/2079.12 c #Conflicts: 1198000 | #Constraints: 51692 2072.57/2079.12 c #Conflicts: 1199000 | #Constraints: 52692 2072.57/2079.12 c #Conflicts: 1200000 | #Constraints: 53692 2072.57/2079.12 c #Conflicts: 1201000 | #Constraints: 54693 2072.57/2079.12 c #Conflicts: 1202000 | #Constraints: 55693 2072.57/2079.12 c #Conflicts: 1203000 | #Constraints: 56693 2072.57/2079.12 c #Conflicts: 1204000 | #Constraints: 57693 2072.57/2079.12 c #Conflicts: 1205000 | #Constraints: 58693 2072.57/2079.12 c #Conflicts: 1206000 | #Constraints: 59694 2072.57/2079.12 c #Conflicts: 1207000 | #Constraints: 60694 2072.57/2079.12 c #Conflicts: 1208000 | #Constraints: 61694 2072.57/2079.12 c #Conflicts: 1209000 | #Constraints: 62694 2072.57/2079.12 c #Conflicts: 1210000 | #Constraints: 63694 2072.57/2079.12 c #Conflicts: 1211000 | #Constraints: 64694 2072.57/2079.12 c #Conflicts: 1212000 | #Constraints: 65694 2072.57/2079.12 c #Conflicts: 1213000 | #Constraints: 66694 2072.57/2079.12 c #Conflicts: 1214000 | #Constraints: 67694 2072.57/2079.12 c #Conflicts: 1215000 | #Constraints: 68694 2072.57/2079.12 c #Conflicts: 1216000 | #Constraints: 69694 2072.57/2079.12 c #Conflicts: 1217000 | #Constraints: 70695 2072.57/2079.12 c #Conflicts: 1218000 | #Constraints: 71695 2072.57/2079.12 c #Conflicts: 1219000 | #Constraints: 72695 2072.57/2079.12 c #Conflicts: 1220000 | #Constraints: 73695 2072.57/2079.12 c #Conflicts: 1221000 | #Constraints: 74695 2072.57/2079.12 c #Conflicts: 1222000 | #Constraints: 75695 2072.57/2079.12 c #Conflicts: 1223000 | #Constraints: 76696 2072.57/2079.12 c #Conflicts: 1224000 | #Constraints: 77696 2072.57/2079.12 c #Conflicts: 1225000 | #Constraints: 78696 2072.57/2079.12 c #Conflicts: 1226000 | #Constraints: 79696 2072.57/2079.12 c #Conflicts: 1227000 | #Constraints: 80696 2072.57/2079.12 c #Conflicts: 1228000 | #Constraints: 81696 2072.57/2079.12 c #Conflicts: 1229000 | #Constraints: 82696 2072.57/2079.12 c #Conflicts: 1230000 | #Constraints: 83696 2072.57/2079.12 c #Conflicts: 1231000 | #Constraints: 84697 2072.57/2079.12 c #Conflicts: 1232000 | #Constraints: 85697 2072.57/2079.12 c #Conflicts: 1233000 | #Constraints: 86697 2072.57/2079.12 c #Conflicts: 1234000 | #Constraints: 87697 2072.57/2079.12 c #Conflicts: 1235000 | #Constraints: 88697 2072.57/2079.12 c #Conflicts: 1236000 | #Constraints: 89697 2072.57/2079.12 c #Conflicts: 1237000 | #Constraints: 90697 2072.57/2079.12 c #Conflicts: 1238000 | #Constraints: 91697 2072.57/2079.12 c #Conflicts: 1239000 | #Constraints: 92697 2072.57/2079.12 c #Conflicts: 1240000 | #Constraints: 93697 2072.57/2079.12 c #Conflicts: 1241000 | #Constraints: 94697 2072.57/2079.12 c #Conflicts: 1242000 | #Constraints: 95697 2072.57/2079.12 c #Conflicts: 1243000 | #Constraints: 96697 2072.57/2079.12 c #Conflicts: 1244000 | #Constraints: 97697 2072.57/2079.12 c #Conflicts: 1245000 | #Constraints: 98697 2072.57/2079.12 c #Conflicts: 1246000 | #Constraints: 99697 2072.57/2079.12 c #Conflicts: 1247000 | #Constraints: 100697 2072.57/2079.12 c #Conflicts: 1248000 | #Constraints: 101697 2072.57/2079.12 c #Conflicts: 1249000 | #Constraints: 102697 2072.57/2079.12 c #Conflicts: 1250000 | #Constraints: 103697 2072.57/2079.12 c #Conflicts: 1251000 | #Constraints: 104697 2072.57/2079.12 c #Conflicts: 1252000 | #Constraints: 105697 2072.57/2079.12 c #Conflicts: 1253000 | #Constraints: 106697 2072.57/2079.12 c #Conflicts: 1254000 | #Constraints: 107697 2072.57/2079.12 c #Conflicts: 1255000 | #Constraints: 108697 2072.57/2079.12 c #Conflicts: 1256000 | #Constraints: 109697 2072.57/2079.12 c #Conflicts: 1257000 | #Constraints: 110697 2072.57/2079.12 c #Conflicts: 1258000 | #Constraints: 111698 2104.37/2111.09 c #Conflicts: 1259000 | #Constraints: 112699 2104.37/2111.09 c #Conflicts: 1260000 | #Constraints: 113699 2104.37/2111.09 c #Conflicts: 1261000 | #Constraints: 114699 2104.37/2111.09 c #Conflicts: 1262000 | #Constraints: 115699 2104.37/2111.09 c #Conflicts: 1263000 | #Constraints: 116700 2104.37/2111.09 c #Conflicts: 1264000 | #Constraints: 117700 2104.37/2111.09 c INPROCESSING 2104.37/2111.09 c GARBAGE COLLECT 2104.37/2111.09 c rational objective 90 2162.54/2169.41 c #Conflicts: 1265000 | #Constraints: 63067 2162.54/2169.41 c #Conflicts: 1266000 | #Constraints: 64067 2162.54/2169.41 c #Conflicts: 1267000 | #Constraints: 65067 2162.54/2169.41 c #Conflicts: 1268000 | #Constraints: 66067 2162.54/2169.41 c #Conflicts: 1269000 | #Constraints: 67067 2162.54/2169.41 c #Conflicts: 1270000 | #Constraints: 68067 2162.54/2169.41 c #Conflicts: 1271000 | #Constraints: 69067 2162.54/2169.41 c #Conflicts: 1272000 | #Constraints: 70067 2162.54/2169.41 c #Conflicts: 1273000 | #Constraints: 71067 2162.54/2169.41 c #Conflicts: 1274000 | #Constraints: 72067 2162.54/2169.41 c #Conflicts: 1275000 | #Constraints: 73067 2162.54/2169.41 c #Conflicts: 1276000 | #Constraints: 74067 2162.54/2169.41 c #Conflicts: 1277000 | #Constraints: 75067 2162.54/2169.41 c #Conflicts: 1278000 | #Constraints: 76067 2162.54/2169.41 c #Conflicts: 1279000 | #Constraints: 77067 2162.54/2169.41 c #Conflicts: 1280000 | #Constraints: 78067 2162.54/2169.41 c #Conflicts: 1281000 | #Constraints: 79067 2162.54/2169.41 c #Conflicts: 1282000 | #Constraints: 80067 2162.54/2169.41 c #Conflicts: 1283000 | #Constraints: 81067 2162.54/2169.41 c #Conflicts: 1284000 | #Constraints: 82067 2162.54/2169.41 c #Conflicts: 1285000 | #Constraints: 83068 2162.54/2169.41 c #Conflicts: 1286000 | #Constraints: 84068 2162.54/2169.41 c #Conflicts: 1287000 | #Constraints: 85068 2162.54/2169.41 c #Conflicts: 1288000 | #Constraints: 86069 2162.54/2169.41 c #Conflicts: 1289000 | #Constraints: 87069 2162.54/2169.41 c #Conflicts: 1290000 | #Constraints: 88069 2162.54/2169.41 c INPROCESSING 2162.54/2169.41 c GARBAGE COLLECT 2162.54/2169.41 c rational objective 90 2210.18/2217.21 c #Conflicts: 1291000 | #Constraints: 48492 2210.18/2217.21 c #Conflicts: 1292000 | #Constraints: 49492 2210.18/2217.21 c #Conflicts: 1293000 | #Constraints: 50493 2210.18/2217.21 c #Conflicts: 1294000 | #Constraints: 51493 2210.18/2217.21 c #Conflicts: 1295000 | #Constraints: 52493 2210.18/2217.21 c #Conflicts: 1296000 | #Constraints: 53493 2210.18/2217.21 c #Conflicts: 1297000 | #Constraints: 54493 2210.18/2217.21 c #Conflicts: 1298000 | #Constraints: 55493 2210.18/2217.21 c #Conflicts: 1299000 | #Constraints: 56493 2210.18/2217.21 c #Conflicts: 1300000 | #Constraints: 57493 2210.18/2217.21 c #Conflicts: 1301000 | #Constraints: 58493 2210.18/2217.21 c #Conflicts: 1302000 | #Constraints: 59493 2210.18/2217.21 c #Conflicts: 1303000 | #Constraints: 60494 2210.18/2217.21 c #Conflicts: 1304000 | #Constraints: 61494 2210.18/2217.21 c #Conflicts: 1305000 | #Constraints: 62494 2210.18/2217.21 c #Conflicts: 1306000 | #Constraints: 63494 2210.18/2217.21 c #Conflicts: 1307000 | #Constraints: 64494 2210.18/2217.21 c #Conflicts: 1308000 | #Constraints: 65494 2210.18/2217.21 c #Conflicts: 1309000 | #Constraints: 66494 2210.18/2217.21 c #Conflicts: 1310000 | #Constraints: 67494 2210.18/2217.21 c #Conflicts: 1311000 | #Constraints: 68494 2210.18/2217.21 c #Conflicts: 1312000 | #Constraints: 69495 2210.18/2217.21 c #Conflicts: 1313000 | #Constraints: 70495 2210.18/2217.21 c #Conflicts: 1314000 | #Constraints: 71495 2210.18/2217.21 c #Conflicts: 1315000 | #Constraints: 72496 2210.18/2217.21 c #Conflicts: 1316000 | #Constraints: 73496 2210.18/2217.21 c INPROCESSING 2210.18/2217.21 c GARBAGE COLLECT 2210.18/2217.21 c rational objective 90 2388.98/2396.66 c #Conflicts: 1317000 | #Constraints: 41355 2388.98/2396.66 c #Conflicts: 1318000 | #Constraints: 42355 2388.98/2396.66 c #Conflicts: 1319000 | #Constraints: 43355 2388.98/2396.66 c #Conflicts: 1320000 | #Constraints: 44355 2388.98/2396.66 c #Conflicts: 1321000 | #Constraints: 45356 2388.98/2396.66 c #Conflicts: 1322000 | #Constraints: 46356 2388.98/2396.66 c #Conflicts: 1323000 | #Constraints: 47356 2388.98/2396.66 c #Conflicts: 1324000 | #Constraints: 48356 2388.98/2396.66 c #Conflicts: 1325000 | #Constraints: 49356 2388.98/2396.66 c #Conflicts: 1326000 | #Constraints: 50356 2388.98/2396.66 c #Conflicts: 1327000 | #Constraints: 51356 2388.98/2396.66 c #Conflicts: 1328000 | #Constraints: 52356 2388.98/2396.66 c #Conflicts: 1329000 | #Constraints: 53356 2388.98/2396.66 c #Conflicts: 1330000 | #Constraints: 54356 2388.98/2396.66 c #Conflicts: 1331000 | #Constraints: 55356 2388.98/2396.66 c #Conflicts: 1332000 | #Constraints: 56356 2388.98/2396.66 c #Conflicts: 1333000 | #Constraints: 57356 2388.98/2396.66 c #Conflicts: 1334000 | #Constraints: 58356 2388.98/2396.66 c #Conflicts: 1335000 | #Constraints: 59356 2388.98/2396.66 c #Conflicts: 1336000 | #Constraints: 60357 2388.98/2396.66 c #Conflicts: 1337000 | #Constraints: 61357 2388.98/2396.66 c #Conflicts: 1338000 | #Constraints: 62357 2388.98/2396.66 c #Conflicts: 1339000 | #Constraints: 63357 2388.98/2396.66 c #Conflicts: 1340000 | #Constraints: 64359 2388.98/2396.66 c #Conflicts: 1341000 | #Constraints: 65366 2388.98/2396.66 c INPROCESSING 2388.98/2396.66 c GARBAGE COLLECT 2388.98/2396.66 c #Conflicts: 1342000 | #Constraints: 36872 2388.98/2396.66 c #Conflicts: 1343000 | #Constraints: 37872 2388.98/2396.66 c #Conflicts: 1344000 | #Constraints: 38872 2388.98/2396.66 c #Conflicts: 1345000 | #Constraints: 39872 2388.98/2396.66 c #Conflicts: 1346000 | #Constraints: 40872 2388.98/2396.66 c #Conflicts: 1347000 | #Constraints: 41873 2388.98/2396.66 c #Conflicts: 1348000 | #Constraints: 42873 2388.98/2396.66 c #Conflicts: 1349000 | #Constraints: 43873 2388.98/2396.66 c #Conflicts: 1350000 | #Constraints: 44873 2388.98/2396.66 c #Conflicts: 1351000 | #Constraints: 45873 2388.98/2396.66 c #Conflicts: 1352000 | #Constraints: 46873 2388.98/2396.66 c #Conflicts: 1353000 | #Constraints: 47873 2388.98/2396.66 c #Conflicts: 1354000 | #Constraints: 48873 2388.98/2396.66 c #Conflicts: 1355000 | #Constraints: 49873 2388.98/2396.66 c #Conflicts: 1356000 | #Constraints: 50873 2388.98/2396.66 c #Conflicts: 1357000 | #Constraints: 51873 2388.98/2396.66 c #Conflicts: 1358000 | #Constraints: 52873 2388.98/2396.66 c #Conflicts: 1359000 | #Constraints: 53879 2388.98/2396.66 c #Conflicts: 1360000 | #Constraints: 54879 2388.98/2396.66 c #Conflicts: 1361000 | #Constraints: 55879 2388.98/2396.66 c #Conflicts: 1362000 | #Constraints: 56880 2388.98/2396.66 c #Conflicts: 1363000 | #Constraints: 57882 2388.98/2396.66 c #Conflicts: 1364000 | #Constraints: 58883 2388.98/2396.66 c #Conflicts: 1365000 | #Constraints: 59883 2388.98/2396.66 c #Conflicts: 1366000 | #Constraints: 60883 2388.98/2396.66 c #Conflicts: 1367000 | #Constraints: 61883 2388.98/2396.66 c #Conflicts: 1368000 | #Constraints: 62883 2388.98/2396.66 c INPROCESSING 2388.98/2396.66 c GARBAGE COLLECT 2388.98/2396.66 c #Conflicts: 1369000 | #Constraints: 36034 2388.98/2396.66 c #Conflicts: 1370000 | #Constraints: 37034 2388.98/2396.66 c #Conflicts: 1371000 | #Constraints: 38034 2388.98/2396.66 c #Conflicts: 1372000 | #Constraints: 39034 2388.98/2396.66 c #Conflicts: 1373000 | #Constraints: 40034 2388.98/2396.66 c #Conflicts: 1374000 | #Constraints: 41034 2388.98/2396.66 c #Conflicts: 1375000 | #Constraints: 42035 2388.98/2396.66 c #Conflicts: 1376000 | #Constraints: 43035 2388.98/2396.66 c #Conflicts: 1377000 | #Constraints: 44035 2388.98/2396.66 c #Conflicts: 1378000 | #Constraints: 45035 2388.98/2396.66 c #Conflicts: 1379000 | #Constraints: 46035 2388.98/2396.66 c #Conflicts: 1380000 | #Constraints: 47035 2388.98/2396.66 c #Conflicts: 1381000 | #Constraints: 48035 2388.98/2396.66 c #Conflicts: 1382000 | #Constraints: 49035 2388.98/2396.66 c #Conflicts: 1383000 | #Constraints: 50035 2388.98/2396.66 c #Conflicts: 1384000 | #Constraints: 51035 2388.98/2396.66 c #Conflicts: 1385000 | #Constraints: 52035 2388.98/2396.66 c #Conflicts: 1386000 | #Constraints: 53035 2388.98/2396.66 c #Conflicts: 1387000 | #Constraints: 54035 2388.98/2396.66 c #Conflicts: 1388000 | #Constraints: 55035 2388.98/2396.66 c #Conflicts: 1389000 | #Constraints: 56036 2388.98/2396.66 c #Conflicts: 1390000 | #Constraints: 57036 2388.98/2396.66 c #Conflicts: 1391000 | #Constraints: 58036 2388.98/2396.66 c #Conflicts: 1392000 | #Constraints: 59036 2388.98/2396.66 c #Conflicts: 1393000 | #Constraints: 60036 2388.98/2396.66 c #Conflicts: 1394000 | #Constraints: 61036 2591.57/2599.93 c #Conflicts: 1395000 | #Constraints: 62036 2591.57/2599.93 c #Conflicts: 1396000 | #Constraints: 63036 2591.57/2599.93 c #Conflicts: 1397000 | #Constraints: 64036 2591.57/2599.93 c #Conflicts: 1398000 | #Constraints: 65036 2591.57/2599.93 c #Conflicts: 1399000 | #Constraints: 66036 2591.57/2599.93 c #Conflicts: 1400000 | #Constraints: 67036 2591.57/2599.93 c #Conflicts: 1401000 | #Constraints: 68036 2591.57/2599.93 c #Conflicts: 1402000 | #Constraints: 69036 2591.57/2599.93 c #Conflicts: 1403000 | #Constraints: 70036 2591.57/2599.93 c #Conflicts: 1404000 | #Constraints: 71037 2591.57/2599.93 c #Conflicts: 1405000 | #Constraints: 72037 2591.57/2599.93 c #Conflicts: 1406000 | #Constraints: 73037 2591.57/2599.93 c #Conflicts: 1407000 | #Constraints: 74037 2591.57/2599.93 c #Conflicts: 1408000 | #Constraints: 75037 2591.57/2599.93 c #Conflicts: 1409000 | #Constraints: 76037 2591.57/2599.93 c #Conflicts: 1410000 | #Constraints: 77037 2591.57/2599.93 c #Conflicts: 1411000 | #Constraints: 78037 2591.57/2599.93 c #Conflicts: 1412000 | #Constraints: 79037 2591.57/2599.93 c #Conflicts: 1413000 | #Constraints: 80037 2591.57/2599.93 c #Conflicts: 1414000 | #Constraints: 81037 2591.57/2599.93 c #Conflicts: 1415000 | #Constraints: 82037 2591.57/2599.93 c #Conflicts: 1416000 | #Constraints: 83037 2591.57/2599.93 c #Conflicts: 1417000 | #Constraints: 84037 2591.57/2599.93 c #Conflicts: 1418000 | #Constraints: 85037 2591.57/2599.93 c #Conflicts: 1419000 | #Constraints: 86037 2591.57/2599.93 c #Conflicts: 1420000 | #Constraints: 87037 2591.57/2599.93 c #Conflicts: 1421000 | #Constraints: 88038 2591.57/2599.93 c #Conflicts: 1422000 | #Constraints: 89038 2591.57/2599.93 c #Conflicts: 1423000 | #Constraints: 90038 2591.57/2599.93 c #Conflicts: 1424000 | #Constraints: 91038 2591.57/2599.93 c #Conflicts: 1425000 | #Constraints: 92038 2591.57/2599.93 c #Conflicts: 1426000 | #Constraints: 93038 2591.57/2599.93 c #Conflicts: 1427000 | #Constraints: 94038 2591.57/2599.93 c #Conflicts: 1428000 | #Constraints: 95038 2591.57/2599.93 c #Conflicts: 1429000 | #Constraints: 96038 2591.57/2599.93 c #Conflicts: 1430000 | #Constraints: 97038 2591.57/2599.93 c #Conflicts: 1431000 | #Constraints: 98038 2591.57/2599.93 c #Conflicts: 1432000 | #Constraints: 99039 2591.57/2599.93 c #Conflicts: 1433000 | #Constraints: 100039 2591.57/2599.93 c #Conflicts: 1434000 | #Constraints: 101039 2591.57/2599.93 c #Conflicts: 1435000 | #Constraints: 102039 2591.57/2599.93 c #Conflicts: 1436000 | #Constraints: 103039 2591.57/2599.93 c #Conflicts: 1437000 | #Constraints: 104040 2591.57/2599.93 c #Conflicts: 1438000 | #Constraints: 105041 2591.57/2599.93 c #Conflicts: 1439000 | #Constraints: 106041 2591.57/2599.93 c #Conflicts: 1440000 | #Constraints: 107042 2591.57/2599.93 c #Conflicts: 1441000 | #Constraints: 108042 2591.57/2599.93 c #Conflicts: 1442000 | #Constraints: 109042 2591.57/2599.93 c #Conflicts: 1443000 | #Constraints: 110042 2591.57/2599.93 c #Conflicts: 1444000 | #Constraints: 111042 2591.57/2599.93 c #Conflicts: 1445000 | #Constraints: 112042 2591.57/2599.93 c #Conflicts: 1446000 | #Constraints: 113042 2591.57/2599.93 c #Conflicts: 1447000 | #Constraints: 114042 2591.57/2599.93 c #Conflicts: 1448000 | #Constraints: 115042 2591.57/2599.93 c #Conflicts: 1449000 | #Constraints: 116043 2591.57/2599.93 c #Conflicts: 1450000 | #Constraints: 117043 2591.57/2599.93 c #Conflicts: 1451000 | #Constraints: 118043 2591.57/2599.93 c #Conflicts: 1452000 | #Constraints: 119043 2591.57/2599.93 c #Conflicts: 1453000 | #Constraints: 120043 2591.57/2599.93 c #Conflicts: 1454000 | #Constraints: 121043 2591.57/2599.93 c #Conflicts: 1455000 | #Constraints: 122043 2591.57/2599.93 c #Conflicts: 1456000 | #Constraints: 123043 2591.57/2599.93 c #Conflicts: 1457000 | #Constraints: 124043 2591.57/2599.93 c #Conflicts: 1458000 | #Constraints: 125043 2591.57/2599.93 c #Conflicts: 1459000 | #Constraints: 126043 2591.57/2599.93 c #Conflicts: 1460000 | #Constraints: 127043 2591.57/2599.93 c INPROCESSING 2591.57/2599.93 c GARBAGE COLLECT 2591.57/2599.93 c rational objective 90 2655.35/2663.97 c #Conflicts: 1461000 | #Constraints: 68161 2655.35/2663.97 c #Conflicts: 1462000 | #Constraints: 69161 2655.35/2663.97 c #Conflicts: 1463000 | #Constraints: 70161 2655.35/2663.97 c #Conflicts: 1464000 | #Constraints: 71161 2655.35/2663.97 c #Conflicts: 1465000 | #Constraints: 72162 2655.35/2663.97 c #Conflicts: 1466000 | #Constraints: 73162 2655.35/2663.97 c #Conflicts: 1467000 | #Constraints: 74163 2655.35/2663.97 c #Conflicts: 1468000 | #Constraints: 75163 2655.35/2663.97 c #Conflicts: 1469000 | #Constraints: 76163 2655.35/2663.97 c #Conflicts: 1470000 | #Constraints: 77163 2655.35/2663.97 c #Conflicts: 1471000 | #Constraints: 78163 2655.35/2663.97 c #Conflicts: 1472000 | #Constraints: 79163 2655.35/2663.97 c #Conflicts: 1473000 | #Constraints: 80163 2655.35/2663.97 c #Conflicts: 1474000 | #Constraints: 81163 2655.35/2663.97 c #Conflicts: 1475000 | #Constraints: 82163 2655.35/2663.97 c #Conflicts: 1476000 | #Constraints: 83163 2655.35/2663.97 c #Conflicts: 1477000 | #Constraints: 84163 2655.35/2663.97 c #Conflicts: 1478000 | #Constraints: 85163 2655.35/2663.97 c #Conflicts: 1479000 | #Constraints: 86163 2655.35/2663.97 c #Conflicts: 1480000 | #Constraints: 87163 2655.35/2663.97 c #Conflicts: 1481000 | #Constraints: 88164 2655.35/2663.97 c #Conflicts: 1482000 | #Constraints: 89164 2655.35/2663.97 c #Conflicts: 1483000 | #Constraints: 90164 2655.35/2663.97 c #Conflicts: 1484000 | #Constraints: 91164 2655.35/2663.97 c #Conflicts: 1485000 | #Constraints: 92164 2655.35/2663.97 c #Conflicts: 1486000 | #Constraints: 93164 2655.35/2663.97 c #Conflicts: 1487000 | #Constraints: 94164 2655.35/2663.97 c INPROCESSING 2655.35/2663.97 c GARBAGE COLLECT 2655.35/2663.97 c rational objective 90 2701.19/2709.93 c #Conflicts: 1488000 | #Constraints: 51534 2701.19/2709.93 c #Conflicts: 1489000 | #Constraints: 52534 2701.19/2709.93 c #Conflicts: 1490000 | #Constraints: 53534 2701.19/2709.93 c #Conflicts: 1491000 | #Constraints: 54534 2701.19/2709.93 c #Conflicts: 1492000 | #Constraints: 55534 2701.19/2709.93 c #Conflicts: 1493000 | #Constraints: 56534 2701.19/2709.93 c #Conflicts: 1494000 | #Constraints: 57534 2701.19/2709.93 c #Conflicts: 1495000 | #Constraints: 58534 2701.19/2709.93 c #Conflicts: 1496000 | #Constraints: 59535 2701.19/2709.93 c #Conflicts: 1497000 | #Constraints: 60535 2701.19/2709.93 c #Conflicts: 1498000 | #Constraints: 61535 2701.19/2709.93 c #Conflicts: 1499000 | #Constraints: 62535 2701.19/2709.93 c #Conflicts: 1500000 | #Constraints: 63535 2701.19/2709.93 c #Conflicts: 1501000 | #Constraints: 64535 2701.19/2709.93 c #Conflicts: 1502000 | #Constraints: 65535 2701.19/2709.93 c #Conflicts: 1503000 | #Constraints: 66535 2701.19/2709.93 c #Conflicts: 1504000 | #Constraints: 67535 2701.19/2709.93 c #Conflicts: 1505000 | #Constraints: 68535 2701.19/2709.93 c #Conflicts: 1506000 | #Constraints: 69535 2701.19/2709.93 c #Conflicts: 1507000 | #Constraints: 70535 2701.19/2709.93 c #Conflicts: 1508000 | #Constraints: 71535 2701.19/2709.93 c #Conflicts: 1509000 | #Constraints: 72535 2701.19/2709.93 c #Conflicts: 1510000 | #Constraints: 73535 2701.19/2709.93 c #Conflicts: 1511000 | #Constraints: 74535 2701.19/2709.93 c #Conflicts: 1512000 | #Constraints: 75535 2701.19/2709.93 c #Conflicts: 1513000 | #Constraints: 76535 2701.19/2709.93 c #Conflicts: 1514000 | #Constraints: 77535 2701.19/2709.93 c #Conflicts: 1515000 | #Constraints: 78535 2701.19/2709.93 c INPROCESSING 2701.19/2709.93 c GARBAGE COLLECT 2701.19/2709.93 c rational objective 90 2749.44/2758.39 c #Conflicts: 1516000 | #Constraints: 43897 2749.44/2758.39 c #Conflicts: 1517000 | #Constraints: 44898 2749.44/2758.39 c #Conflicts: 1518000 | #Constraints: 45898 2749.44/2758.39 c #Conflicts: 1519000 | #Constraints: 46898 2749.44/2758.39 c #Conflicts: 1520000 | #Constraints: 47898 2749.44/2758.39 c #Conflicts: 1521000 | #Constraints: 48898 2749.44/2758.39 c #Conflicts: 1522000 | #Constraints: 49898 2749.44/2758.39 c #Conflicts: 1523000 | #Constraints: 50898 2749.44/2758.39 c #Conflicts: 1524000 | #Constraints: 51898 2749.44/2758.39 c #Conflicts: 1525000 | #Constraints: 52898 2749.44/2758.39 c #Conflicts: 1526000 | #Constraints: 53898 2749.44/2758.39 c #Conflicts: 1527000 | #Constraints: 54898 2749.44/2758.39 c #Conflicts: 1528000 | #Constraints: 55898 2749.44/2758.39 c #Conflicts: 1529000 | #Constraints: 56898 2749.44/2758.39 c #Conflicts: 1530000 | #Constraints: 57899 2749.44/2758.39 c #Conflicts: 1531000 | #Constraints: 58899 2749.44/2758.39 c #Conflicts: 1532000 | #Constraints: 59899 2749.44/2758.39 c #Conflicts: 1533000 | #Constraints: 60900 2749.44/2758.39 c #Conflicts: 1534000 | #Constraints: 61900 2749.44/2758.39 c #Conflicts: 1535000 | #Constraints: 62900 2749.44/2758.39 c #Conflicts: 1536000 | #Constraints: 63900 2749.44/2758.39 c #Conflicts: 1537000 | #Constraints: 64900 2749.44/2758.39 c #Conflicts: 1538000 | #Constraints: 65900 2749.44/2758.39 c #Conflicts: 1539000 | #Constraints: 66900 2749.44/2758.39 c #Conflicts: 1540000 | #Constraints: 67900 2749.44/2758.39 c #Conflicts: 1541000 | #Constraints: 68900 2749.44/2758.39 c #Conflicts: 1542000 | #Constraints: 69900 2749.44/2758.39 c INPROCESSING 2749.44/2758.39 c GARBAGE COLLECT 2749.44/2758.39 c rational objective 90 2794.48/2803.52 c #Conflicts: 1543000 | #Constraints: 39181 2794.48/2803.52 c #Conflicts: 1544000 | #Constraints: 40181 2794.48/2803.52 c #Conflicts: 1545000 | #Constraints: 41182 2794.48/2803.52 c #Conflicts: 1546000 | #Constraints: 42182 2794.48/2803.52 c #Conflicts: 1547000 | #Constraints: 43182 2794.48/2803.52 c #Conflicts: 1548000 | #Constraints: 44183 2794.48/2803.52 c #Conflicts: 1549000 | #Constraints: 45183 2794.48/2803.52 c #Conflicts: 1550000 | #Constraints: 46183 2794.48/2803.52 c #Conflicts: 1551000 | #Constraints: 47183 2794.48/2803.52 c #Conflicts: 1552000 | #Constraints: 48183 2794.48/2803.52 c #Conflicts: 1553000 | #Constraints: 49183 2794.48/2803.52 c #Conflicts: 1554000 | #Constraints: 50183 2794.48/2803.52 c #Conflicts: 1555000 | #Constraints: 51183 2794.48/2803.52 c #Conflicts: 1556000 | #Constraints: 52183 2794.48/2803.52 c #Conflicts: 1557000 | #Constraints: 53183 2794.48/2803.52 c #Conflicts: 1558000 | #Constraints: 54183 2794.48/2803.52 c #Conflicts: 1559000 | #Constraints: 55184 2794.48/2803.52 c #Conflicts: 1560000 | #Constraints: 56184 2794.48/2803.52 c #Conflicts: 1561000 | #Constraints: 57184 2794.48/2803.52 c #Conflicts: 1562000 | #Constraints: 58184 2794.48/2803.52 c #Conflicts: 1563000 | #Constraints: 59184 2794.48/2803.52 c #Conflicts: 1564000 | #Constraints: 60184 2794.48/2803.52 c #Conflicts: 1565000 | #Constraints: 61184 2794.48/2803.52 c #Conflicts: 1566000 | #Constraints: 62184 2794.48/2803.52 c #Conflicts: 1567000 | #Constraints: 63184 2794.48/2803.52 c #Conflicts: 1568000 | #Constraints: 64184 2794.48/2803.52 c #Conflicts: 1569000 | #Constraints: 65185 2794.48/2803.52 c #Conflicts: 1570000 | #Constraints: 66185 2794.48/2803.52 c INPROCESSING 2794.48/2803.52 c GARBAGE COLLECT 2794.48/2803.52 c rational objective 90 2983.15/2992.85 c #Conflicts: 1571000 | #Constraints: 37340 2983.15/2992.85 c #Conflicts: 1572000 | #Constraints: 38340 2983.15/2992.85 c #Conflicts: 1573000 | #Constraints: 39341 2983.15/2992.85 c #Conflicts: 1574000 | #Constraints: 40341 2983.15/2992.85 c #Conflicts: 1575000 | #Constraints: 41341 2983.15/2992.85 c #Conflicts: 1576000 | #Constraints: 42342 2983.15/2992.85 c #Conflicts: 1577000 | #Constraints: 43342 2983.15/2992.85 c #Conflicts: 1578000 | #Constraints: 44342 2983.15/2992.85 c #Conflicts: 1579000 | #Constraints: 45342 2983.15/2992.85 c #Conflicts: 1580000 | #Constraints: 46342 2983.15/2992.85 c #Conflicts: 1581000 | #Constraints: 47342 2983.15/2992.85 c #Conflicts: 1582000 | #Constraints: 48342 2983.15/2992.85 c #Conflicts: 1583000 | #Constraints: 49342 2983.15/2992.85 c #Conflicts: 1584000 | #Constraints: 50342 2983.15/2992.85 c #Conflicts: 1585000 | #Constraints: 51342 2983.15/2992.85 c #Conflicts: 1586000 | #Constraints: 52343 2983.15/2992.85 c #Conflicts: 1587000 | #Constraints: 53343 2983.15/2992.85 c #Conflicts: 1588000 | #Constraints: 54343 2983.15/2992.85 c #Conflicts: 1589000 | #Constraints: 55343 2983.15/2992.85 c #Conflicts: 1590000 | #Constraints: 56343 2983.15/2992.85 c #Conflicts: 1591000 | #Constraints: 57343 2983.15/2992.85 c #Conflicts: 1592000 | #Constraints: 58343 2983.15/2992.85 c #Conflicts: 1593000 | #Constraints: 59343 2983.15/2992.85 c #Conflicts: 1594000 | #Constraints: 60343 2983.15/2992.85 c #Conflicts: 1595000 | #Constraints: 61343 2983.15/2992.85 c #Conflicts: 1596000 | #Constraints: 62343 2983.15/2992.85 c #Conflicts: 1597000 | #Constraints: 63343 2983.15/2992.85 c #Conflicts: 1598000 | #Constraints: 64343 2983.15/2992.85 c #Conflicts: 1599000 | #Constraints: 65343 2983.15/2992.85 c #Conflicts: 1600000 | #Constraints: 66343 2983.15/2992.85 c #Conflicts: 1601000 | #Constraints: 67343 2983.15/2992.85 c #Conflicts: 1602000 | #Constraints: 68344 2983.15/2992.85 c #Conflicts: 1603000 | #Constraints: 69344 2983.15/2992.85 c #Conflicts: 1604000 | #Constraints: 70344 2983.15/2992.85 c #Conflicts: 1605000 | #Constraints: 71344 2983.15/2992.85 c #Conflicts: 1606000 | #Constraints: 72344 2983.15/2992.85 c #Conflicts: 1607000 | #Constraints: 73344 2983.15/2992.85 c #Conflicts: 1608000 | #Constraints: 74344 2983.15/2992.85 c #Conflicts: 1609000 | #Constraints: 75344 2983.15/2992.85 c #Conflicts: 1610000 | #Constraints: 76344 2983.15/2992.85 c #Conflicts: 1611000 | #Constraints: 77344 2983.15/2992.85 c #Conflicts: 1612000 | #Constraints: 78345 2983.15/2992.85 c #Conflicts: 1613000 | #Constraints: 79345 2983.15/2992.85 c #Conflicts: 1614000 | #Constraints: 80345 2983.15/2992.85 c #Conflicts: 1615000 | #Constraints: 81345 2983.15/2992.85 c #Conflicts: 1616000 | #Constraints: 82345 2983.15/2992.85 c #Conflicts: 1617000 | #Constraints: 83345 2983.15/2992.85 c #Conflicts: 1618000 | #Constraints: 84345 2983.15/2992.85 c #Conflicts: 1619000 | #Constraints: 85345 2983.15/2992.85 c #Conflicts: 1620000 | #Constraints: 86345 2983.15/2992.85 c #Conflicts: 1621000 | #Constraints: 87345 2983.15/2992.85 c #Conflicts: 1622000 | #Constraints: 88345 2983.15/2992.85 c #Conflicts: 1623000 | #Constraints: 89345 2983.15/2992.85 c #Conflicts: 1624000 | #Constraints: 90345 2983.15/2992.85 c #Conflicts: 1625000 | #Constraints: 91345 2983.15/2992.85 c #Conflicts: 1626000 | #Constraints: 92345 2983.15/2992.85 c #Conflicts: 1627000 | #Constraints: 93345 2983.15/2992.85 c #Conflicts: 1628000 | #Constraints: 94345 2983.15/2992.85 c #Conflicts: 1629000 | #Constraints: 95345 2983.15/2992.85 c #Conflicts: 1630000 | #Constraints: 96345 2983.15/2992.85 c #Conflicts: 1631000 | #Constraints: 97345 2983.15/2992.85 c #Conflicts: 1632000 | #Constraints: 98345 2983.15/2992.85 c #Conflicts: 1633000 | #Constraints: 99345 2983.15/2992.85 c #Conflicts: 1634000 | #Constraints: 100346 2983.15/2992.85 c #Conflicts: 1635000 | #Constraints: 101346 2983.15/2992.85 c #Conflicts: 1636000 | #Constraints: 102346 2983.15/2992.85 c #Conflicts: 1637000 | #Constraints: 103346 2983.15/2992.85 c #Conflicts: 1638000 | #Constraints: 104346 2983.15/2992.85 c #Conflicts: 1639000 | #Constraints: 105346 2983.15/2992.85 c #Conflicts: 1640000 | #Constraints: 106346 2983.15/2992.85 c #Conflicts: 1641000 | #Constraints: 107346 2983.15/2992.85 c #Conflicts: 1642000 | #Constraints: 108346 2983.15/2992.85 c #Conflicts: 1643000 | #Constraints: 109346 2983.15/2992.85 c #Conflicts: 1644000 | #Constraints: 110346 2983.15/2992.85 c #Conflicts: 1645000 | #Constraints: 111346 2983.15/2992.85 c #Conflicts: 1646000 | #Constraints: 112346 2983.15/2992.85 c #Conflicts: 1647000 | #Constraints: 113346 2983.15/2992.85 c #Conflicts: 1648000 | #Constraints: 114346 2983.15/2992.85 c #Conflicts: 1649000 | #Constraints: 115346 3095.10/3105.19 c #Conflicts: 1650000 | #Constraints: 116346 3095.10/3105.19 c #Conflicts: 1651000 | #Constraints: 117346 3095.10/3105.19 c #Conflicts: 1652000 | #Constraints: 118346 3095.10/3105.19 c #Conflicts: 1653000 | #Constraints: 119346 3095.10/3105.19 c #Conflicts: 1654000 | #Constraints: 120346 3095.10/3105.19 c #Conflicts: 1655000 | #Constraints: 121346 3095.10/3105.19 c #Conflicts: 1656000 | #Constraints: 122347 3095.10/3105.19 c #Conflicts: 1657000 | #Constraints: 123347 3095.10/3105.19 c #Conflicts: 1658000 | #Constraints: 124347 3095.10/3105.19 c #Conflicts: 1659000 | #Constraints: 125347 3095.10/3105.19 c #Conflicts: 1660000 | #Constraints: 126347 3095.10/3105.19 c #Conflicts: 1661000 | #Constraints: 127347 3095.10/3105.19 c #Conflicts: 1662000 | #Constraints: 128347 3095.10/3105.19 c #Conflicts: 1663000 | #Constraints: 129348 3095.10/3105.19 c #Conflicts: 1664000 | #Constraints: 130348 3095.10/3105.19 c #Conflicts: 1665000 | #Constraints: 131348 3095.10/3105.19 c #Conflicts: 1666000 | #Constraints: 132348 3095.10/3105.19 c #Conflicts: 1667000 | #Constraints: 133348 3095.10/3105.19 c #Conflicts: 1668000 | #Constraints: 134348 3095.10/3105.19 c #Conflicts: 1669000 | #Constraints: 135348 3095.10/3105.19 c INPROCESSING 3095.10/3105.19 c GARBAGE COLLECT 3095.10/3105.19 c rational objective 90 3165.36/3175.67 c #Conflicts: 1670000 | #Constraints: 72188 3165.36/3175.67 c #Conflicts: 1671000 | #Constraints: 73188 3165.36/3175.67 c #Conflicts: 1672000 | #Constraints: 74188 3165.36/3175.67 c #Conflicts: 1673000 | #Constraints: 75188 3165.36/3175.67 c #Conflicts: 1674000 | #Constraints: 76188 3165.36/3175.67 c #Conflicts: 1675000 | #Constraints: 77188 3165.36/3175.67 c #Conflicts: 1676000 | #Constraints: 78188 3165.36/3175.67 c #Conflicts: 1677000 | #Constraints: 79188 3165.36/3175.67 c #Conflicts: 1678000 | #Constraints: 80188 3165.36/3175.67 c #Conflicts: 1679000 | #Constraints: 81188 3165.36/3175.67 c #Conflicts: 1680000 | #Constraints: 82188 3165.36/3175.67 c #Conflicts: 1681000 | #Constraints: 83188 3165.36/3175.67 c #Conflicts: 1682000 | #Constraints: 84188 3165.36/3175.67 c #Conflicts: 1683000 | #Constraints: 85189 3165.36/3175.67 c #Conflicts: 1684000 | #Constraints: 86189 3165.36/3175.67 c #Conflicts: 1685000 | #Constraints: 87189 3165.36/3175.67 c #Conflicts: 1686000 | #Constraints: 88189 3165.36/3175.67 c #Conflicts: 1687000 | #Constraints: 89189 3165.36/3175.67 c #Conflicts: 1688000 | #Constraints: 90189 3165.36/3175.67 c #Conflicts: 1689000 | #Constraints: 91189 3165.36/3175.68 c #Conflicts: 1690000 | #Constraints: 92189 3165.36/3175.68 c #Conflicts: 1691000 | #Constraints: 93189 3165.36/3175.68 c #Conflicts: 1692000 | #Constraints: 94189 3165.36/3175.68 c #Conflicts: 1693000 | #Constraints: 95189 3165.36/3175.68 c #Conflicts: 1694000 | #Constraints: 96189 3165.36/3175.68 c #Conflicts: 1695000 | #Constraints: 97189 3165.36/3175.68 c #Conflicts: 1696000 | #Constraints: 98189 3165.36/3175.68 c #Conflicts: 1697000 | #Constraints: 99189 3165.36/3175.68 c #Conflicts: 1698000 | #Constraints: 100189 3165.36/3175.68 c INPROCESSING 3165.36/3175.68 c GARBAGE COLLECT 3165.36/3175.68 c rational objective 90 3222.08/3232.53 c #Conflicts: 1699000 | #Constraints: 54468 3222.08/3232.53 c #Conflicts: 1700000 | #Constraints: 55468 3222.08/3232.53 c #Conflicts: 1701000 | #Constraints: 56468 3222.08/3232.53 c #Conflicts: 1702000 | #Constraints: 57468 3222.08/3232.53 c #Conflicts: 1703000 | #Constraints: 58468 3222.08/3232.53 c #Conflicts: 1704000 | #Constraints: 59468 3222.08/3232.53 c #Conflicts: 1705000 | #Constraints: 60468 3222.08/3232.53 c #Conflicts: 1706000 | #Constraints: 61468 3222.08/3232.53 c #Conflicts: 1707000 | #Constraints: 62469 3222.08/3232.53 c #Conflicts: 1708000 | #Constraints: 63469 3222.08/3232.53 c #Conflicts: 1709000 | #Constraints: 64470 3222.08/3232.53 c #Conflicts: 1710000 | #Constraints: 65470 3222.08/3232.53 c #Conflicts: 1711000 | #Constraints: 66470 3222.08/3232.53 c #Conflicts: 1712000 | #Constraints: 67470 3222.08/3232.53 c #Conflicts: 1713000 | #Constraints: 68470 3222.08/3232.53 c #Conflicts: 1714000 | #Constraints: 69470 3222.08/3232.53 c #Conflicts: 1715000 | #Constraints: 70470 3222.08/3232.53 c #Conflicts: 1716000 | #Constraints: 71470 3222.08/3232.53 c #Conflicts: 1717000 | #Constraints: 72470 3222.08/3232.53 c #Conflicts: 1718000 | #Constraints: 73470 3222.08/3232.53 c #Conflicts: 1719000 | #Constraints: 74470 3222.08/3232.53 c #Conflicts: 1720000 | #Constraints: 75471 3222.08/3232.53 c #Conflicts: 1721000 | #Constraints: 76472 3222.08/3232.53 c #Conflicts: 1722000 | #Constraints: 77472 3222.08/3232.53 c #Conflicts: 1723000 | #Constraints: 78472 3222.08/3232.53 c #Conflicts: 1724000 | #Constraints: 79472 3222.08/3232.53 c #Conflicts: 1725000 | #Constraints: 80472 3222.08/3232.53 c #Conflicts: 1726000 | #Constraints: 81472 3222.08/3232.53 c #Conflicts: 1727000 | #Constraints: 82472 3222.08/3232.53 c #Conflicts: 1728000 | #Constraints: 83472 3222.08/3232.53 c INPROCESSING 3222.08/3232.53 c GARBAGE COLLECT 3222.08/3232.53 c rational objective 90 3275.80/3286.46 c #Conflicts: 1729000 | #Constraints: 46371 3275.80/3286.46 c #Conflicts: 1730000 | #Constraints: 47371 3275.80/3286.46 c #Conflicts: 1731000 | #Constraints: 48371 3275.80/3286.46 c #Conflicts: 1732000 | #Constraints: 49371 3275.80/3286.46 c #Conflicts: 1733000 | #Constraints: 50371 3275.80/3286.46 c #Conflicts: 1734000 | #Constraints: 51372 3275.80/3286.46 c #Conflicts: 1735000 | #Constraints: 52372 3275.80/3286.46 c #Conflicts: 1736000 | #Constraints: 53372 3275.80/3286.46 c #Conflicts: 1737000 | #Constraints: 54372 3275.80/3286.46 c #Conflicts: 1738000 | #Constraints: 55372 3275.80/3286.46 c #Conflicts: 1739000 | #Constraints: 56372 3275.80/3286.46 c #Conflicts: 1740000 | #Constraints: 57372 3275.80/3286.46 c #Conflicts: 1741000 | #Constraints: 58372 3275.80/3286.46 c #Conflicts: 1742000 | #Constraints: 59372 3275.80/3286.46 c #Conflicts: 1743000 | #Constraints: 60372 3275.80/3286.46 c #Conflicts: 1744000 | #Constraints: 61372 3275.80/3286.46 c #Conflicts: 1745000 | #Constraints: 62372 3275.80/3286.46 c #Conflicts: 1746000 | #Constraints: 63372 3275.80/3286.46 c #Conflicts: 1747000 | #Constraints: 64372 3275.80/3286.46 c #Conflicts: 1748000 | #Constraints: 65372 3275.80/3286.46 c #Conflicts: 1749000 | #Constraints: 66372 3275.80/3286.46 c #Conflicts: 1750000 | #Constraints: 67372 3275.80/3286.46 c #Conflicts: 1751000 | #Constraints: 68372 3275.80/3286.46 c #Conflicts: 1752000 | #Constraints: 69372 3275.80/3286.46 c #Conflicts: 1753000 | #Constraints: 70373 3275.80/3286.46 c #Conflicts: 1754000 | #Constraints: 71374 3275.80/3286.46 c #Conflicts: 1755000 | #Constraints: 72374 3275.80/3286.46 c #Conflicts: 1756000 | #Constraints: 73374 3275.80/3286.46 c #Conflicts: 1757000 | #Constraints: 74374 3275.80/3286.46 c INPROCESSING 3275.80/3286.46 c GARBAGE COLLECT 3275.80/3286.46 c rational objective 90 3340.80/3351.64 c #Conflicts: 1758000 | #Constraints: 41537 3340.80/3351.64 c #Conflicts: 1759000 | #Constraints: 42537 3340.80/3351.64 c #Conflicts: 1760000 | #Constraints: 43538 3340.80/3351.64 c #Conflicts: 1761000 | #Constraints: 44538 3340.80/3351.64 c #Conflicts: 1762000 | #Constraints: 45538 3340.80/3351.64 c #Conflicts: 1763000 | #Constraints: 46538 3340.80/3351.64 c #Conflicts: 1764000 | #Constraints: 47538 3340.80/3351.64 c #Conflicts: 1765000 | #Constraints: 48538 3340.80/3351.64 c #Conflicts: 1766000 | #Constraints: 49538 3340.80/3351.64 c #Conflicts: 1767000 | #Constraints: 50538 3340.80/3351.64 c #Conflicts: 1768000 | #Constraints: 51538 3340.80/3351.64 c #Conflicts: 1769000 | #Constraints: 52538 3340.80/3351.64 c #Conflicts: 1770000 | #Constraints: 53538 3340.80/3351.64 c #Conflicts: 1771000 | #Constraints: 54538 3340.80/3351.64 c #Conflicts: 1772000 | #Constraints: 55538 3340.80/3351.64 c #Conflicts: 1773000 | #Constraints: 56539 3340.80/3351.64 c #Conflicts: 1774000 | #Constraints: 57539 3340.80/3351.64 c #Conflicts: 1775000 | #Constraints: 58539 3340.80/3351.64 c #Conflicts: 1776000 | #Constraints: 59539 3340.80/3351.64 c #Conflicts: 1777000 | #Constraints: 60539 3340.80/3351.64 c #Conflicts: 1778000 | #Constraints: 61539 3340.80/3351.64 c #Conflicts: 1779000 | #Constraints: 62539 3340.80/3351.64 c #Conflicts: 1780000 | #Constraints: 63539 3340.80/3351.64 c #Conflicts: 1781000 | #Constraints: 64539 3340.80/3351.64 c #Conflicts: 1782000 | #Constraints: 65539 3340.80/3351.64 c #Conflicts: 1783000 | #Constraints: 66539 3340.80/3351.64 c #Conflicts: 1784000 | #Constraints: 67539 3340.80/3351.64 c #Conflicts: 1785000 | #Constraints: 68539 3340.80/3351.64 c #Conflicts: 1786000 | #Constraints: 69539 3340.80/3351.64 c #Conflicts: 1787000 | #Constraints: 70540 3340.80/3351.64 c INPROCESSING 3340.80/3351.64 c GARBAGE COLLECT 3340.80/3351.64 c rational objective 90 3508.46/3519.87 c #Conflicts: 1788000 | #Constraints: 39566 3508.46/3519.87 c #Conflicts: 1789000 | #Constraints: 40566 3508.46/3519.87 c #Conflicts: 1790000 | #Constraints: 41566 3508.46/3519.87 c #Conflicts: 1791000 | #Constraints: 42566 3508.46/3519.87 c #Conflicts: 1792000 | #Constraints: 43566 3508.46/3519.87 c #Conflicts: 1793000 | #Constraints: 44566 3508.46/3519.87 c #Conflicts: 1794000 | #Constraints: 45566 3508.46/3519.87 c #Conflicts: 1795000 | #Constraints: 46566 3508.46/3519.87 c #Conflicts: 1796000 | #Constraints: 47566 3508.46/3519.87 c #Conflicts: 1797000 | #Constraints: 48566 3508.46/3519.87 c #Conflicts: 1798000 | #Constraints: 49566 3508.46/3519.87 c #Conflicts: 1799000 | #Constraints: 50566 3508.46/3519.87 c #Conflicts: 1800000 | #Constraints: 51566 3508.46/3519.87 c #Conflicts: 1801000 | #Constraints: 52566 3508.46/3519.87 c #Conflicts: 1802000 | #Constraints: 53566 3508.46/3519.87 c #Conflicts: 1803000 | #Constraints: 54566 3508.46/3519.87 c #Conflicts: 1804000 | #Constraints: 55566 3508.46/3519.87 c #Conflicts: 1805000 | #Constraints: 56567 3508.46/3519.87 c #Conflicts: 1806000 | #Constraints: 57567 3508.46/3519.87 c #Conflicts: 1807000 | #Constraints: 58568 3508.46/3519.87 c #Conflicts: 1808000 | #Constraints: 59568 3508.46/3519.87 c #Conflicts: 1809000 | #Constraints: 60568 3508.46/3519.87 c #Conflicts: 1810000 | #Constraints: 61568 3508.46/3519.87 c #Conflicts: 1811000 | #Constraints: 62569 3508.46/3519.87 c #Conflicts: 1812000 | #Constraints: 63569 3508.46/3519.87 c #Conflicts: 1813000 | #Constraints: 64569 3508.46/3519.87 c #Conflicts: 1814000 | #Constraints: 65569 3508.46/3519.87 c #Conflicts: 1815000 | #Constraints: 66569 3508.46/3519.87 c #Conflicts: 1816000 | #Constraints: 67569 3508.46/3519.87 c #Conflicts: 1817000 | #Constraints: 68569 3508.46/3519.87 c #Conflicts: 1818000 | #Constraints: 69570 3508.46/3519.87 c #Conflicts: 1819000 | #Constraints: 70570 3508.46/3519.87 c #Conflicts: 1820000 | #Constraints: 71570 3508.46/3519.87 c #Conflicts: 1821000 | #Constraints: 72570 3508.46/3519.87 c #Conflicts: 1822000 | #Constraints: 73570 3508.46/3519.87 c #Conflicts: 1823000 | #Constraints: 74570 3508.46/3519.87 c #Conflicts: 1824000 | #Constraints: 75570 3508.46/3519.87 c #Conflicts: 1825000 | #Constraints: 76570 3508.46/3519.87 c #Conflicts: 1826000 | #Constraints: 77570 3508.46/3519.87 c #Conflicts: 1827000 | #Constraints: 78570 3508.46/3519.87 c #Conflicts: 1828000 | #Constraints: 79570 3508.46/3519.87 c #Conflicts: 1829000 | #Constraints: 80570 3508.46/3519.87 c #Conflicts: 1830000 | #Constraints: 81570 3508.46/3519.87 c #Conflicts: 1831000 | #Constraints: 82570 3508.46/3519.87 c #Conflicts: 1832000 | #Constraints: 83570 3508.46/3519.87 c #Conflicts: 1833000 | #Constraints: 84570 3508.46/3519.87 c #Conflicts: 1834000 | #Constraints: 85570 3508.46/3519.87 c #Conflicts: 1835000 | #Constraints: 86570 3508.46/3519.87 c #Conflicts: 1836000 | #Constraints: 87570 3508.46/3519.87 c #Conflicts: 1837000 | #Constraints: 88570 3508.46/3519.87 c #Conflicts: 1838000 | #Constraints: 89571 3508.46/3519.87 c #Conflicts: 1839000 | #Constraints: 90571 3508.46/3519.87 c #Conflicts: 1840000 | #Constraints: 91571 3508.46/3519.87 c #Conflicts: 1841000 | #Constraints: 92571 3508.46/3519.87 c #Conflicts: 1842000 | #Constraints: 93571 3508.46/3519.87 c #Conflicts: 1843000 | #Constraints: 94571 3508.46/3519.87 c #Conflicts: 1844000 | #Constraints: 95571 3508.46/3519.87 c #Conflicts: 1845000 | #Constraints: 96572 3508.46/3519.87 c #Conflicts: 1846000 | #Constraints: 97572 3508.46/3519.87 c #Conflicts: 1847000 | #Constraints: 98572 3508.46/3519.87 c #Conflicts: 1848000 | #Constraints: 99572 3508.46/3519.87 c #Conflicts: 1849000 | #Constraints: 100572 3508.46/3519.87 c #Conflicts: 1850000 | #Constraints: 101572 3508.46/3519.87 c #Conflicts: 1851000 | #Constraints: 102572 3508.46/3519.87 c #Conflicts: 1852000 | #Constraints: 103573 3508.46/3519.87 c #Conflicts: 1853000 | #Constraints: 104573 3508.46/3519.87 c #Conflicts: 1854000 | #Constraints: 105573 3508.46/3519.87 c #Conflicts: 1855000 | #Constraints: 106573 3508.46/3519.87 c #Conflicts: 1856000 | #Constraints: 107573 3508.46/3519.87 c #Conflicts: 1857000 | #Constraints: 108573 3508.46/3519.87 c #Conflicts: 1858000 | #Constraints: 109573 3508.46/3519.87 c #Conflicts: 1859000 | #Constraints: 110573 3508.46/3519.87 c #Conflicts: 1860000 | #Constraints: 111573 3508.46/3519.87 c #Conflicts: 1861000 | #Constraints: 112573 3508.46/3519.87 c #Conflicts: 1862000 | #Constraints: 113573 3508.46/3519.87 c #Conflicts: 1863000 | #Constraints: 114573 3508.46/3519.87 c #Conflicts: 1864000 | #Constraints: 115573 3508.46/3519.87 c #Conflicts: 1865000 | #Constraints: 116573 3508.46/3519.87 c #Conflicts: 1866000 | #Constraints: 117573 3600.05/3611.70 c #Conflicts: 1867000 | #Constraints: 118573 3600.05/3611.70 c #Conflicts: 1868000 | #Constraints: 119573 3600.05/3611.70 c #Conflicts: 1869000 | #Constraints: 120573 3600.05/3611.70 c #Conflicts: 1870000 | #Constraints: 121573 3600.05/3611.70 c #Conflicts: 1871000 | #Constraints: 122573 3600.05/3611.70 c #Conflicts: 1872000 | #Constraints: 123573 3600.05/3611.70 c #Conflicts: 1873000 | #Constraints: 124573 3600.05/3611.70 c #Conflicts: 1874000 | #Constraints: 125573 3600.05/3611.70 c #Conflicts: 1875000 | #Constraints: 126573 3600.05/3611.70 c #Conflicts: 1876000 | #Constraints: 127573 3600.05/3611.70 c #Conflicts: 1877000 | #Constraints: 128573 3600.05/3611.70 c #Conflicts: 1878000 | #Constraints: 129573 3600.05/3611.70 c #Conflicts: 1879000 | #Constraints: 130573 3600.05/3611.70 c #Conflicts: 1880000 | #Constraints: 131573 3600.05/3611.70 c #Conflicts: 1881000 | #Constraints: 132573 3600.05/3611.70 c #Conflicts: 1882000 | #Constraints: 133573 3600.05/3611.70 c #Conflicts: 1883000 | #Constraints: 134573 3600.05/3611.70 c #Conflicts: 1884000 | #Constraints: 135573 3600.05/3611.70 c Program interrupted by user. 3600.05/3611.70 c cpu time 3565.7 s 3600.05/3611.70 c deterministic time 430821673842 4.31e+11 3600.05/3611.70 c optimization time 256.54 s 3600.05/3611.70 c total solve time 3309.15 s 3600.05/3611.70 c core-guided solve time 0 s 3600.05/3611.70 c propagation time 2410.19 s 3600.05/3611.70 c conflict analysis time 777.723 s 3600.05/3611.70 c propagations 774051383 3600.05/3611.70 c resolve steps 68467848 3600.05/3611.70 c decisions 14350150 3600.05/3611.70 c conflicts 1884878 3600.05/3611.70 c restarts 3637 3600.05/3611.70 c inprocessing phases 82 3600.05/3611.70 c input clauses 6212 3600.05/3611.70 c input cardinalities 90 3600.05/3611.70 c input general constraints 0 3600.05/3611.70 c input average constraint length 6.23 3600.05/3611.70 c input average constraint degree 1.94 3600.05/3611.70 c learned clauses 1302675 3600.05/3611.70 c learned cardinalities 38947 3600.05/3611.70 c learned general constraints 543539 3600.05/3611.70 c learned average constraint length 868.41 3600.05/3611.70 c learned average constraint degree 50249818.78 3600.05/3611.70 c watched constraints 465649 3600.05/3611.70 c counting constraints 77890 3600.05/3611.70 c gcd simplifications 5701 3600.05/3611.70 c detected cardinalities 2001 3600.05/3611.70 c weakened non-implied lits 271439303 3600.05/3611.70 c weakened non-implying lits 623872 3600.05/3611.70 c original variables 6120 3600.05/3611.70 c clausal propagations 283647893 3600.05/3611.70 c cardinality propagations 267805520 3600.05/3611.70 c watched propagations 68236753 3600.05/3611.70 c counting propagations 148142157 3600.05/3611.70 c watch lookups 32856297948 3600.05/3611.70 c watch backjump lookups 25873910202 3600.05/3611.70 c watch checks 310268313889 3600.05/3611.70 c propagation checks 55412834136 3600.05/3611.70 c constraint additions 4829149087 3600.05/3611.70 c trail pops 790280440 3600.05/3611.70 c formula constraints 6302 3600.05/3611.70 c learned constraints 1884673 3600.05/3611.70 c bound constraints 0 3600.05/3611.70 c core-guided constraints 0 3600.05/3611.70 c encountered formula constraints 38767970 3600.05/3611.70 c encountered learned constraints 31581174 3600.05/3611.70 c encountered bound constraints 0 3600.05/3611.70 c encountered core-guided constraints 0 3600.05/3611.70 c LP total time 822.27 s 3600.05/3611.70 c LP solve time 765.5 s 3600.05/3611.70 c LP constraints added 11226 3600.05/3611.70 c LP constraints removed 4764 3600.05/3611.70 c LP pivots internal 1888096 3600.05/3611.70 c LP pivots root 598510 3600.05/3611.70 c LP calls 395 3600.05/3611.70 c LP optimalities 159 3600.05/3611.70 c LP no pivot count 5 3600.05/3611.70 c LP infeasibilities 227 3600.05/3611.70 c LP valid Farkas constraints 226 3600.05/3611.70 c LP learned Farkas constraints 204 3600.05/3611.70 c LP basis resets 3 3600.05/3611.70 c LP cycling count 1 3600.05/3611.70 c LP singular count 1 3600.05/3611.70 c LP no primal count 0 3600.05/3611.70 c LP no farkas count 1 3600.05/3611.70 c LP other issue count 0 3600.05/3611.70 c LP Gomory cuts 58 3600.05/3611.70 c LP learned cuts 4866 3600.05/3611.70 c LP deleted cuts 4764 3600.05/3611.70 c LP encountered Gomory constraints 634 3600.05/3611.70 c LP encountered Farkas constraints 1965 3600.05/3611.70 c LP encountered learned Farkas constraints 779 3600.05/3611.70 c CG auxiliary variables introduced 0 3600.05/3611.70 c CG solutions found 0 3600.05/3611.70 c CG cores constructed 0 3600.05/3611.70 c CG core cardinality constraints returned 0 3600.05/3611.70 c CG unit cores 0 3600.05/3611.70 c CG single cores 0 3600.05/3611.70 c CG blocks removed during cardinality reduction 0 3600.05/3611.70 c CG first core best 0 3600.05/3611.70 c CG decision core best 0 3600.05/3611.70 c CG core reduction tie 0 3600.05/3611.70 c CG core degree average 0.00 3600.05/3611.70 c CG core slack average 0.00 3600.05/3611.70 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: 64059 MiB (59940 MiB free)
memory of node 1: 64510 MiB (60905 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455625-1721464543/watcher-4455625-1721464543 -o /tmp/evaluation-result-4455625-1721464543/solver-4455625-1721464543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049241 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455625-1721464543.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1053895, runsolver pid=1053892
[startup+0.100094 s]*
/proc/loadavg: 4.13 4.12 4.09 5/241 1053896
/proc/meminfo: memFree=123733896/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=48320 memory=19308 CPUtime=0.1 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 3391 0 0 0 9 1 0 0 20 0 1 0 198612964 49479680 4827 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 12080 4827 1679 922 0 4032 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48320 KiB
Current children cumulated memory: 19308 KiB
[startup+0.213157 s]*
/proc/loadavg: 4.13 4.12 4.09 5/241 1053896
/proc/meminfo: memFree=123732192/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=49364 memory=20364 CPUtime=0.21 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 3652 0 0 0 20 1 0 0 20 0 1 0 198612964 50548736 5091 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 12341 5091 1679 922 0 4293 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 20364 KiB
[startup+0.31292 s]*
/proc/loadavg: 4.13 4.12 4.09 5/241 1053896
/proc/meminfo: memFree=123732052/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=49364 memory=20364 CPUtime=0.32 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 3664 0 0 0 30 2 0 0 20 0 1 0 198612964 50548736 5091 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 12341 5091 1679 922 0 4293 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 20364 KiB
[startup+0.700329 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 1053896
/proc/meminfo: memFree=123731912/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=49364 memory=20364 CPUtime=0.68 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 3676 0 0 0 66 2 0 0 20 0 1 0 198612964 50548736 5091 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 12341 5091 1679 922 0 4293 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 20364 KiB
[startup+1.50032 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 1053896
/proc/meminfo: memFree=123731548/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=50872 memory=24164 CPUtime=1.48 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 4052 0 0 0 142 6 0 0 20 0 1 0 198612964 52092928 6041 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 12718 6041 1725 922 0 4670 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50872 KiB
Current children cumulated memory: 24164 KiB
[startup+3.1132 s]
/proc/loadavg: 4.12 4.12 4.09 5/241 1053896
/proc/meminfo: memFree=123726756/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=52804 memory=25484 CPUtime=3.09 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 4373 0 0 0 299 10 0 0 20 0 1 0 198612964 54071296 6371 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 13201 6371 1798 922 0 5153 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52804 KiB
Current children cumulated memory: 25484 KiB
[startup+6.3003 s]
/proc/loadavg: 4.12 4.12 4.09 5/241 1053897
/proc/meminfo: memFree=123723392/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=56888 memory=27660 CPUtime=6.27 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 4855 0 0 0 607 20 0 0 20 0 1 0 198612964 58253312 6915 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 14222 6915 1798 922 0 6174 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 56888 KiB
Current children cumulated memory: 27660 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.09 5/241 1053897
/proc/meminfo: memFree=123709692/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=58096 memory=29768 CPUtime=12.65 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 5391 0 0 0 1228 37 0 0 20 0 1 0 198612964 59490304 7442 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 14524 7442 1798 922 0 6476 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 58096 KiB
Current children cumulated memory: 29768 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 1053899
/proc/meminfo: memFree=123675812/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=83424 memory=55828 CPUtime=25.41 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 11447 0 0 0 2478 63 0 0 20 0 1 0 198612964 85426176 13957 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 20856 13957 1798 922 0 12808 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 83424 KiB
Current children cumulated memory: 55828 KiB
[startup+51.1127 s]
/proc/loadavg: 4.12 4.11 4.09 5/241 1053903
/proc/meminfo: memFree=123623032/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=104456 memory=68636 CPUtime=50.94 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 13053 0 0 0 4980 114 0 0 20 0 1 0 198612964 106962944 17159 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 26114 17159 1814 922 0 18066 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 104456 KiB
Current children cumulated memory: 68636 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 1053912
/proc/meminfo: memFree=123483944/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=171328 memory=134716 CPUtime=101.96 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 18410 0 0 0 9991 205 0 0 20 0 1 0 198612964 175439872 33679 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 42832 33679 1814 922 0 34784 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 171328 KiB
Current children cumulated memory: 134716 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 1053922
/proc/meminfo: memFree=123470788/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=173404 memory=138888 CPUtime=161.75 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 19891 0 0 0 15873 302 0 0 20 0 1 0 198612964 177565696 34722 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 43351 34722 1814 922 0 35303 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 173404 KiB
Current children cumulated memory: 138888 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/241 1053933
/proc/meminfo: memFree=123444956/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=185048 memory=158220 CPUtime=221.56 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 23165 0 0 0 21752 404 0 0 20 0 1 0 198612964 189489152 39555 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 46262 39555 1814 922 0 38214 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 185048 KiB
Current children cumulated memory: 158220 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/241 1053943
/proc/meminfo: memFree=123358612/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=320900 memory=232284 CPUtime=281.37 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 25378 0 0 0 27662 475 0 0 20 0 1 0 198612964 328601600 58071 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 80225 58071 1814 922 0 72177 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 320900 KiB
Current children cumulated memory: 232284 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/243 1053957
/proc/meminfo: memFree=123307700/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=323848 memory=234928 CPUtime=341.18 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 26581 0 0 0 33545 573 0 0 20 0 1 0 198612964 331620352 58732 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 80962 58732 1814 922 0 72914 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 323848 KiB
Current children cumulated memory: 234928 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/243 1053968
/proc/meminfo: memFree=123232900/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=331844 memory=242728 CPUtime=400.98 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 28509 0 0 0 39460 638 0 0 20 0 1 0 198612964 339808256 60682 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 82961 60682 1814 922 0 74913 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 331844 KiB
Current children cumulated memory: 242728 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/243 1053978
/proc/meminfo: memFree=123208980/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=331756 memory=242560 CPUtime=460.78 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 28956 0 0 0 45342 736 0 0 20 0 1 0 198612964 339718144 60640 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 82939 60640 1814 922 0 74891 0
################
# More data... #
################
Current children cumulated memory: 714528 KiB
[startup+2922.3 s]
/proc/loadavg: 4.48 4.27 4.18 5/243 1055082
/proc/meminfo: memFree=126605664/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=780808 memory=717780 CPUtime=2912.87 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 66476 0 0 0 288304 2983 0 0 20 0 1 0 198612964 799547392 179445 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 195202 179445 1942 922 0 187154 0
Current children cumulated CPU time: 2912.87 s
Current children cumulated vsize: 780808 KiB
Current children cumulated memory: 717780 KiB
[startup+2982.3 s]
/proc/loadavg: 4.58 4.35 4.22 5/243 1055092
/proc/meminfo: memFree=126604064/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=781008 memory=717800 CPUtime=2972.68 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 66842 0 0 0 294260 3008 0 0 20 0 1 0 198612964 799752192 179450 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 195252 179450 1942 922 0 187204 0
Current children cumulated CPU time: 2972.68 s
Current children cumulated vsize: 781008 KiB
Current children cumulated memory: 717800 KiB
[startup+3042.3 s]
/proc/loadavg: 4.25 4.30 4.20 5/241 1055485
/proc/meminfo: memFree=126549620/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1135364 memory=771368 CPUtime=3032.49 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 68237 0 0 0 300215 3034 0 0 20 0 1 0 198612964 1162612736 192842 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 283841 192842 1942 922 0 275793 0
Current children cumulated CPU time: 3032.49 s
Current children cumulated vsize: 1135364 KiB
Current children cumulated memory: 771368 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.29 4.20 5/241 1055495
/proc/meminfo: memFree=126495968/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1143012 memory=823764 CPUtime=3092.3 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 69697 0 0 0 306176 3054 0 0 20 0 1 0 198612964 1170444288 205941 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 285753 205941 1942 922 0 277705 0
Current children cumulated CPU time: 3092.3 s
Current children cumulated vsize: 1143012 KiB
Current children cumulated memory: 823764 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.25 4.19 5/241 1055505
/proc/meminfo: memFree=126486060/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1147340 memory=830188 CPUtime=3152.11 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 70918 0 0 0 312115 3096 0 0 20 0 1 0 198612964 1174876160 207547 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 286835 207547 1942 922 0 278787 0
Current children cumulated CPU time: 3152.11 s
Current children cumulated vsize: 1147340 KiB
Current children cumulated memory: 830188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.23 4.19 5/243 1055686
/proc/meminfo: memFree=126482228/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1147616 memory=830464 CPUtime=3211.92 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 71347 0 0 0 318040 3152 0 0 20 0 1 0 198612964 1175158784 207616 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 286904 207616 1942 922 0 278856 0
Current children cumulated CPU time: 3211.92 s
Current children cumulated vsize: 1147616 KiB
Current children cumulated memory: 830464 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/244 1055753
/proc/meminfo: memFree=126475596/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1147616 memory=830464 CPUtime=3271.72 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 71707 0 0 0 323973 3199 0 0 20 0 1 0 198612964 1175158784 207616 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 286904 207616 1942 922 0 278856 0
Current children cumulated CPU time: 3271.72 s
Current children cumulated vsize: 1147616 KiB
Current children cumulated memory: 830464 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.21 4.18 5/244 1055763
/proc/meminfo: memFree=126468768/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1147880 memory=830676 CPUtime=3331.52 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 72030 0 0 0 329893 3259 0 0 20 0 1 0 198612964 1175429120 207669 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 286970 207669 1942 922 0 278922 0
Current children cumulated CPU time: 3331.52 s
Current children cumulated vsize: 1147880 KiB
Current children cumulated memory: 830676 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.17 5/244 1055774
/proc/meminfo: memFree=126463104/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1148416 memory=831268 CPUtime=3391.34 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 72538 0 0 0 335807 3327 0 0 20 0 1 0 198612964 1175977984 207817 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 287104 207817 1942 922 0 279056 0
Current children cumulated CPU time: 3391.34 s
Current children cumulated vsize: 1148416 KiB
Current children cumulated memory: 831268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/244 1055784
/proc/meminfo: memFree=126461080/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1148416 memory=831272 CPUtime=3451.14 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 74435 0 0 0 341747 3367 0 0 20 0 1 0 198612964 1175977984 207818 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 287104 207818 1942 922 0 279056 0
Current children cumulated CPU time: 3451.14 s
Current children cumulated vsize: 1148416 KiB
Current children cumulated memory: 831272 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/244 1055796
/proc/meminfo: memFree=126459648/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1148716 memory=831396 CPUtime=3510.95 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 74826 0 0 0 347695 3400 0 0 20 0 1 0 198612964 1176285184 207849 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 287179 207849 1942 922 0 279131 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 1148716 KiB
Current children cumulated memory: 831396 KiB
[startup+3582.3 s]
/proc/loadavg: 3.71 4.05 4.13 4/235 1055836
/proc/meminfo: memFree=127394328/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1150696 memory=832872 CPUtime=3570.75 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 76351 0 0 0 353653 3422 0 0 20 0 1 0 198612964 1178312704 208218 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 287674 208218 1942 922 0 279626 0
Current children cumulated CPU time: 3570.75 s
Current children cumulated vsize: 1150696 KiB
Current children cumulated memory: 832872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 3.50 3.96 4.10 4/235 1055843
/proc/meminfo: memFree=127390352/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1154448 memory=835536 CPUtime=3600.05 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 77203 0 0 0 356570 3435 0 0 20 0 1 0 198612964 1182154752 208884 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 288612 208884 1942 922 0 280564 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1154448 KiB
Current children cumulated memory: 835536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.72 s]
# the end of solver process 1053895 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3565.71 s, system=34.3693 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 3.50 3.96 4.10 4/235 1055843
/proc/meminfo: memFree=127390352/131655788 swapFree=131071996/131071996
[pid=1053895] ppid=1053892 vsize=1154448 memory=835536 CPUtime=3600.05 cores=0,2
/proc/1053895/stat : 1053895 (roundingsat) R 1053892 1053895 1049231 0 -1 4194304 77203 0 0 0 356570 3435 0 0 20 0 1 0 198612964 1182154752 208884 134679101440 4194304 7968373 140724999466000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 14434304 140724999472060 140724999472224 140724999472224 140724999479241 0
/proc/1053895/statm: 288612 208884 1942 922 0 280564 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1154448 KiB
Current children cumulated memory: 835536 KiB
Child status: 0
Real time (s): 3611.72
CPU time (s): 3600.08
CPU user time (s): 3565.71
CPU system time (s): 34.3693
CPU usage (%): 99.6778
Max. virtual memory (cumulated for all children) (KiB): 1154448
Max. memory (cumulated for all children) (KiB): 835536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.71
system time used= 34.3693
maximum resident set size= 835536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77212
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105
involuntary context switches= 24646
# summary of solver processes directly reported to runsolver:
# pid: 1053895
# total CPU time (s): 3600.08
# total CPU user time (s): 3565.71
# total CPU system time (s): 34.3693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7186 second user time and 35.0318 second system time
The end
Begin job on nodeC006 at 2024-07-20 10:35:55 IDJOB=4455625 IDBENCH=158339 IDSOLVER=3084 FILE ID=nodeC006/4455625-1721464543 RUNJOBID= nodeC006-1721457276-1049241 SLURM_JOB_ID= 7545696 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455625-1721464543/watcher-4455625-1721464543 -o /tmp/evaluation-result-4455625-1721464543/solver-4455625-1721464543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049241 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455625-1721464543.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418 RANDOM SEED=1743300755 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.996 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3663.986 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.249 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.460 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3528.831 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3615.118 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.364 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.369 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123746884 kB MemAvailable: 128834088 kB Buffers: 564816 kB Cached: 5308084 kB SwapCached: 0 kB Active: 1055068 kB Inactive: 6159608 kB Active(anon): 1460 kB Inactive(anon): 1386248 kB Active(file): 1053608 kB Inactive(file): 4773360 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5624 kB Writeback: 0 kB AnonPages: 1338136 kB Mapped: 117176 kB Shmem: 45896 kB KReclaimable: 200536 kB Slab: 316900 kB SReclaimable: 200536 kB SUnreclaim: 116364 kB KernelStack: 3820 kB PageTables: 11872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1747004 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62528 kB HardwareCorrupted: 0 kB AnonHugePages: 749568 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: 316232 kB DirectMap2M: 40482816 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723756 MiB End job on nodeC006 at 2024-07-20 11:36:06