| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.02 | 3609.33 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K106.opb |
| MD5SUM | 24ba6b7b7d8e9ae68244a11b7fe894d2 |
| 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 | 0.797123 |
| 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 | 7208 |
| Total number of constraints | 7422 |
| Number of constraints which are clauses | 7316 |
| Number of constraints which are cardinality constraints (but not clauses) | 106 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 106 |
| 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 | 107 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.04 c #variables 7208 #constraints 7422 16.84/16.95 c #Conflicts: 1000 | #Constraints: 8421 16.84/16.95 c #Conflicts: 2000 | #Constraints: 9421 16.84/16.95 c INPROCESSING 16.84/16.95 c GARBAGE COLLECT 16.84/16.95 c #Conflicts: 3000 | #Constraints: 9112 16.84/16.95 c #Conflicts: 4000 | #Constraints: 10112 16.84/16.95 c INPROCESSING 16.84/16.95 c GARBAGE COLLECT 16.84/16.95 c #Conflicts: 5000 | #Constraints: 9586 16.84/16.95 c #Conflicts: 6000 | #Constraints: 10586 16.84/16.95 c INPROCESSING 16.84/16.95 c GARBAGE COLLECT 16.84/16.95 c #Conflicts: 7000 | #Constraints: 9640 16.84/16.95 c #Conflicts: 8000 | #Constraints: 10640 16.84/16.95 c #Conflicts: 9000 | #Constraints: 11640 16.84/16.95 c INPROCESSING 16.84/16.95 c GARBAGE COLLECT 16.84/16.95 c rational objective 106 31.60/31.76 c #Conflicts: 10000 | #Constraints: 10387 31.60/31.76 c #Conflicts: 11000 | #Constraints: 11387 31.60/31.76 c #Conflicts: 12000 | #Constraints: 12387 31.60/31.76 c INPROCESSING 31.60/31.76 c GARBAGE COLLECT 31.60/31.76 c #Conflicts: 13000 | #Constraints: 10884 31.60/31.76 c #Conflicts: 14000 | #Constraints: 11884 31.60/31.76 c #Conflicts: 15000 | #Constraints: 12885 31.60/31.76 c INPROCESSING 31.60/31.76 c GARBAGE COLLECT 31.60/31.76 c #Conflicts: 16000 | #Constraints: 11143 31.60/31.76 c #Conflicts: 17000 | #Constraints: 12143 31.60/31.76 c #Conflicts: 18000 | #Constraints: 13143 31.60/31.76 c INPROCESSING 31.60/31.76 c GARBAGE COLLECT 31.60/31.76 c #Conflicts: 19000 | #Constraints: 11219 31.60/31.76 c #Conflicts: 20000 | #Constraints: 12219 31.60/31.76 c #Conflicts: 21000 | #Constraints: 13220 31.60/31.76 c INPROCESSING 31.60/31.76 c GARBAGE COLLECT 31.60/31.76 c #Conflicts: 22000 | #Constraints: 11009 31.60/31.76 c #Conflicts: 23000 | #Constraints: 12009 31.60/31.76 c #Conflicts: 24000 | #Constraints: 13009 31.60/31.76 c #Conflicts: 25000 | #Constraints: 14009 31.60/31.76 c INPROCESSING 31.60/31.76 c GARBAGE COLLECT 31.60/31.76 c rational objective 106 43.57/43.70 c #Conflicts: 26000 | #Constraints: 11634 43.57/43.70 c #Conflicts: 27000 | #Constraints: 12634 43.57/43.70 c #Conflicts: 28000 | #Constraints: 13634 43.57/43.70 c #Conflicts: 29000 | #Constraints: 14634 43.57/43.70 c #Conflicts: 30000 | #Constraints: 15634 43.57/43.70 c #Conflicts: 31000 | #Constraints: 16634 43.57/43.70 c #Conflicts: 32000 | #Constraints: 17634 43.57/43.70 c #Conflicts: 33000 | #Constraints: 18635 43.57/43.70 c #Conflicts: 34000 | #Constraints: 19635 43.57/43.70 c #Conflicts: 35000 | #Constraints: 20635 43.57/43.70 c #Conflicts: 36000 | #Constraints: 21635 43.57/43.70 c #Conflicts: 37000 | #Constraints: 22635 43.57/43.70 c #Conflicts: 38000 | #Constraints: 23635 43.57/43.70 c INPROCESSING 43.57/43.70 c GARBAGE COLLECT 43.57/43.70 c rational objective 106 49.96/50.15 c #Conflicts: 39000 | #Constraints: 16656 49.96/50.15 c #Conflicts: 40000 | #Constraints: 17656 49.96/50.15 c #Conflicts: 41000 | #Constraints: 18656 49.96/50.15 c #Conflicts: 42000 | #Constraints: 19656 49.96/50.15 c INPROCESSING 49.96/50.15 c GARBAGE COLLECT 49.96/50.15 c rational objective 106 73.50/73.76 c #Conflicts: 43000 | #Constraints: 14194 73.50/73.76 c #Conflicts: 44000 | #Constraints: 15194 73.50/73.76 c #Conflicts: 45000 | #Constraints: 16194 73.50/73.76 c #Conflicts: 46000 | #Constraints: 17195 73.50/73.76 c #Conflicts: 47000 | #Constraints: 18195 73.50/73.76 c #Conflicts: 48000 | #Constraints: 19195 73.50/73.76 c INPROCESSING 73.50/73.76 c GARBAGE COLLECT 73.50/73.76 c #Conflicts: 49000 | #Constraints: 14458 73.50/73.76 c #Conflicts: 50000 | #Constraints: 15458 73.50/73.76 c #Conflicts: 51000 | #Constraints: 16458 73.50/73.76 c #Conflicts: 52000 | #Constraints: 17458 73.50/73.76 c #Conflicts: 53000 | #Constraints: 18458 73.50/73.76 c INPROCESSING 73.50/73.76 c GARBAGE COLLECT 73.50/73.76 c #Conflicts: 54000 | #Constraints: 13928 73.50/73.76 c #Conflicts: 55000 | #Constraints: 14928 73.50/73.76 c #Conflicts: 56000 | #Constraints: 15928 73.50/73.76 c #Conflicts: 57000 | #Constraints: 16928 73.50/73.76 c #Conflicts: 58000 | #Constraints: 17928 73.50/73.76 c INPROCESSING 73.50/73.76 c GARBAGE COLLECT 73.50/73.76 c rational objective 106 93.36/93.68 c #Conflicts: 59000 | #Constraints: 13393 93.36/93.68 c #Conflicts: 60000 | #Constraints: 14393 93.36/93.68 c #Conflicts: 61000 | #Constraints: 15393 93.36/93.68 c #Conflicts: 62000 | #Constraints: 16393 93.36/93.68 c #Conflicts: 63000 | #Constraints: 17393 93.36/93.68 c #Conflicts: 64000 | #Constraints: 18393 93.36/93.68 c #Conflicts: 65000 | #Constraints: 19393 93.36/93.68 c #Conflicts: 66000 | #Constraints: 20393 93.36/93.68 c #Conflicts: 67000 | #Constraints: 21393 93.36/93.68 c #Conflicts: 68000 | #Constraints: 22394 93.36/93.68 c #Conflicts: 69000 | #Constraints: 23394 93.36/93.68 c #Conflicts: 70000 | #Constraints: 24394 93.36/93.68 c #Conflicts: 71000 | #Constraints: 25394 93.36/93.68 c #Conflicts: 72000 | #Constraints: 26394 93.36/93.68 c #Conflicts: 73000 | #Constraints: 27394 93.36/93.68 c #Conflicts: 74000 | #Constraints: 28394 93.36/93.68 c #Conflicts: 75000 | #Constraints: 29394 93.36/93.68 c #Conflicts: 76000 | #Constraints: 30394 93.36/93.68 c #Conflicts: 77000 | #Constraints: 31394 93.36/93.68 c #Conflicts: 78000 | #Constraints: 32394 93.36/93.68 c INPROCESSING 93.36/93.68 c GARBAGE COLLECT 93.36/93.68 c rational objective 106 100.94/101.29 c #Conflicts: 79000 | #Constraints: 21106 100.94/101.29 c #Conflicts: 80000 | #Constraints: 22106 100.94/101.29 c #Conflicts: 81000 | #Constraints: 23106 100.94/101.29 c #Conflicts: 82000 | #Constraints: 24106 100.94/101.29 c #Conflicts: 83000 | #Constraints: 25106 100.94/101.29 c #Conflicts: 84000 | #Constraints: 26106 100.94/101.29 c INPROCESSING 100.94/101.29 c GARBAGE COLLECT 100.94/101.29 c rational objective 106 117.61/117.91 c #Conflicts: 85000 | #Constraints: 17543 117.61/117.91 c #Conflicts: 86000 | #Constraints: 18543 117.61/117.91 c #Conflicts: 87000 | #Constraints: 19543 117.61/117.91 c #Conflicts: 88000 | #Constraints: 20543 117.61/117.91 c #Conflicts: 89000 | #Constraints: 21543 117.61/117.91 c #Conflicts: 90000 | #Constraints: 22543 117.61/117.91 c #Conflicts: 91000 | #Constraints: 23544 117.61/117.91 c INPROCESSING 117.61/117.91 c GARBAGE COLLECT 117.61/117.91 c rational objective 106 124.09/124.45 c #Conflicts: 92000 | #Constraints: 16326 124.09/124.45 c #Conflicts: 93000 | #Constraints: 17326 124.09/124.45 c #Conflicts: 94000 | #Constraints: 18326 124.09/124.45 c #Conflicts: 95000 | #Constraints: 19326 124.09/124.45 c #Conflicts: 96000 | #Constraints: 20326 124.09/124.45 c #Conflicts: 97000 | #Constraints: 21326 124.09/124.45 c #Conflicts: 98000 | #Constraints: 22326 124.09/124.45 c #Conflicts: 99000 | #Constraints: 23326 124.09/124.45 c INPROCESSING 124.09/124.45 c GARBAGE COLLECT 124.09/124.45 c rational objective 106 151.13/151.59 c #Conflicts: 100000 | #Constraints: 16571 151.13/151.59 c #Conflicts: 101000 | #Constraints: 17571 151.13/151.59 c #Conflicts: 102000 | #Constraints: 18572 151.13/151.59 c #Conflicts: 103000 | #Constraints: 19572 151.13/151.59 c #Conflicts: 104000 | #Constraints: 20573 151.13/151.59 c #Conflicts: 105000 | #Constraints: 21573 151.13/151.59 c #Conflicts: 106000 | #Constraints: 22574 151.13/151.59 c #Conflicts: 107000 | #Constraints: 23574 151.13/151.59 c #Conflicts: 108000 | #Constraints: 24575 151.13/151.59 c #Conflicts: 109000 | #Constraints: 25576 151.13/151.59 c #Conflicts: 110000 | #Constraints: 26576 151.13/151.59 c #Conflicts: 111000 | #Constraints: 27576 151.13/151.59 c #Conflicts: 112000 | #Constraints: 28576 151.13/151.59 c #Conflicts: 113000 | #Constraints: 29577 151.13/151.59 c #Conflicts: 114000 | #Constraints: 30577 151.13/151.59 c #Conflicts: 115000 | #Constraints: 31577 151.13/151.59 c #Conflicts: 116000 | #Constraints: 32577 151.13/151.59 c #Conflicts: 117000 | #Constraints: 33577 151.13/151.59 c #Conflicts: 118000 | #Constraints: 34577 151.13/151.59 c #Conflicts: 119000 | #Constraints: 35577 151.13/151.59 c #Conflicts: 120000 | #Constraints: 36577 151.13/151.59 c #Conflicts: 121000 | #Constraints: 37578 151.13/151.59 c #Conflicts: 122000 | #Constraints: 38579 151.13/151.59 c #Conflicts: 123000 | #Constraints: 39579 151.13/151.59 c INPROCESSING 151.13/151.59 c GARBAGE COLLECT 151.13/151.59 c rational objective 106 160.80/161.25 c #Conflicts: 124000 | #Constraints: 24495 160.80/161.25 c #Conflicts: 125000 | #Constraints: 25495 160.80/161.25 c #Conflicts: 126000 | #Constraints: 26495 160.80/161.25 c #Conflicts: 127000 | #Constraints: 27495 160.80/161.25 c #Conflicts: 128000 | #Constraints: 28495 160.80/161.25 c #Conflicts: 129000 | #Constraints: 29495 160.80/161.25 c #Conflicts: 130000 | #Constraints: 30495 160.80/161.25 c #Conflicts: 131000 | #Constraints: 31495 160.80/161.25 c #Conflicts: 132000 | #Constraints: 32495 160.80/161.25 c INPROCESSING 160.80/161.25 c GARBAGE COLLECT 160.80/161.25 c rational objective 106 170.28/170.73 c #Conflicts: 133000 | #Constraints: 21194 170.28/170.73 c #Conflicts: 134000 | #Constraints: 22195 170.28/170.73 c #Conflicts: 135000 | #Constraints: 23196 170.28/170.73 c #Conflicts: 136000 | #Constraints: 24196 170.28/170.73 c #Conflicts: 137000 | #Constraints: 25196 170.28/170.73 c #Conflicts: 138000 | #Constraints: 26196 170.28/170.73 c #Conflicts: 139000 | #Constraints: 27196 170.28/170.73 c #Conflicts: 140000 | #Constraints: 28196 170.28/170.73 c INPROCESSING 170.28/170.73 c GARBAGE COLLECT 170.28/170.73 c rational objective 106 182.36/182.89 c #Conflicts: 141000 | #Constraints: 18740 182.36/182.89 c #Conflicts: 142000 | #Constraints: 19740 182.36/182.89 c #Conflicts: 143000 | #Constraints: 20740 182.36/182.89 c #Conflicts: 144000 | #Constraints: 21740 182.36/182.89 c #Conflicts: 145000 | #Constraints: 22740 182.36/182.89 c #Conflicts: 146000 | #Constraints: 23740 182.36/182.89 c #Conflicts: 147000 | #Constraints: 24741 182.36/182.89 c #Conflicts: 148000 | #Constraints: 25741 182.36/182.89 c #Conflicts: 149000 | #Constraints: 26741 182.36/182.89 c INPROCESSING 182.36/182.89 c GARBAGE COLLECT 182.36/182.89 c rational objective 106 223.76/224.35 c #Conflicts: 150000 | #Constraints: 18049 223.76/224.35 c #Conflicts: 151000 | #Constraints: 19049 223.76/224.35 c #Conflicts: 152000 | #Constraints: 20050 223.76/224.35 c #Conflicts: 153000 | #Constraints: 21050 223.76/224.35 c #Conflicts: 154000 | #Constraints: 22050 223.76/224.35 c #Conflicts: 155000 | #Constraints: 23050 223.76/224.35 c #Conflicts: 156000 | #Constraints: 24050 223.76/224.35 c #Conflicts: 157000 | #Constraints: 25050 223.76/224.35 c #Conflicts: 158000 | #Constraints: 26050 223.76/224.35 c #Conflicts: 159000 | #Constraints: 27050 223.76/224.35 c #Conflicts: 160000 | #Constraints: 28050 223.76/224.35 c #Conflicts: 161000 | #Constraints: 29050 223.76/224.35 c #Conflicts: 162000 | #Constraints: 30050 223.76/224.35 c #Conflicts: 163000 | #Constraints: 31050 223.76/224.35 c #Conflicts: 164000 | #Constraints: 32050 223.76/224.35 c #Conflicts: 165000 | #Constraints: 33050 223.76/224.35 c #Conflicts: 166000 | #Constraints: 34050 223.76/224.35 c #Conflicts: 167000 | #Constraints: 35051 223.76/224.35 c #Conflicts: 168000 | #Constraints: 36051 223.76/224.35 c #Conflicts: 169000 | #Constraints: 37051 223.76/224.35 c #Conflicts: 170000 | #Constraints: 38051 223.76/224.35 c #Conflicts: 171000 | #Constraints: 39051 223.76/224.35 c #Conflicts: 172000 | #Constraints: 40051 223.76/224.35 c #Conflicts: 173000 | #Constraints: 41052 223.76/224.35 c #Conflicts: 174000 | #Constraints: 42052 223.76/224.35 c #Conflicts: 175000 | #Constraints: 43052 223.76/224.35 c #Conflicts: 176000 | #Constraints: 44052 223.76/224.35 c #Conflicts: 177000 | #Constraints: 45053 223.76/224.35 c #Conflicts: 178000 | #Constraints: 46053 223.76/224.35 c #Conflicts: 179000 | #Constraints: 47053 223.76/224.35 c INPROCESSING 223.76/224.35 c GARBAGE COLLECT 223.76/224.35 c rational objective 106 234.44/235.08 c #Conflicts: 180000 | #Constraints: 28387 234.44/235.08 c #Conflicts: 181000 | #Constraints: 29387 234.44/235.08 c #Conflicts: 182000 | #Constraints: 30387 234.44/235.08 c #Conflicts: 183000 | #Constraints: 31387 234.44/235.08 c #Conflicts: 184000 | #Constraints: 32387 234.44/235.08 c #Conflicts: 185000 | #Constraints: 33388 234.44/235.08 c #Conflicts: 186000 | #Constraints: 34388 234.44/235.08 c #Conflicts: 187000 | #Constraints: 35388 234.44/235.08 c #Conflicts: 188000 | #Constraints: 36388 234.44/235.08 c #Conflicts: 189000 | #Constraints: 37388 234.44/235.08 c INPROCESSING 234.44/235.08 c GARBAGE COLLECT 234.44/235.08 c rational objective 106 244.11/244.70 c #Conflicts: 190000 | #Constraints: 23426 244.11/244.70 c #Conflicts: 191000 | #Constraints: 24426 244.11/244.70 c #Conflicts: 192000 | #Constraints: 25426 244.11/244.70 c #Conflicts: 193000 | #Constraints: 26426 244.11/244.70 c #Conflicts: 194000 | #Constraints: 27426 244.11/244.70 c #Conflicts: 195000 | #Constraints: 28426 244.11/244.70 c #Conflicts: 196000 | #Constraints: 29426 244.11/244.70 c #Conflicts: 197000 | #Constraints: 30426 244.11/244.70 c #Conflicts: 198000 | #Constraints: 31426 244.11/244.70 c #Conflicts: 199000 | #Constraints: 32426 244.11/244.70 c #Conflicts: 200000 | #Constraints: 33426 244.11/244.70 c INPROCESSING 244.11/244.70 c GARBAGE COLLECT 244.11/244.70 c rational objective 106 255.28/255.92 c #Conflicts: 201000 | #Constraints: 21693 255.28/255.92 c #Conflicts: 202000 | #Constraints: 22693 255.28/255.92 c #Conflicts: 203000 | #Constraints: 23693 255.28/255.92 c #Conflicts: 204000 | #Constraints: 24693 255.28/255.92 c #Conflicts: 205000 | #Constraints: 25693 255.28/255.92 c #Conflicts: 206000 | #Constraints: 26693 255.28/255.92 c #Conflicts: 207000 | #Constraints: 27693 255.28/255.92 c #Conflicts: 208000 | #Constraints: 28693 255.28/255.92 c #Conflicts: 209000 | #Constraints: 29693 255.28/255.92 c #Conflicts: 210000 | #Constraints: 30693 255.28/255.92 c INPROCESSING 255.28/255.92 c GARBAGE COLLECT 255.28/255.92 c rational objective 106 295.88/296.66 c #Conflicts: 211000 | #Constraints: 20090 295.88/296.66 c #Conflicts: 212000 | #Constraints: 21090 295.88/296.66 c #Conflicts: 213000 | #Constraints: 22090 295.88/296.66 c #Conflicts: 214000 | #Constraints: 23090 295.88/296.66 c #Conflicts: 215000 | #Constraints: 24092 295.88/296.66 c #Conflicts: 216000 | #Constraints: 25094 295.88/296.66 c #Conflicts: 217000 | #Constraints: 26094 295.88/296.66 c #Conflicts: 218000 | #Constraints: 27094 295.88/296.66 c #Conflicts: 219000 | #Constraints: 28094 295.88/296.66 c #Conflicts: 220000 | #Constraints: 29094 295.88/296.66 c #Conflicts: 221000 | #Constraints: 30094 295.88/296.66 c #Conflicts: 222000 | #Constraints: 31094 295.88/296.66 c #Conflicts: 223000 | #Constraints: 32094 295.88/296.66 c #Conflicts: 224000 | #Constraints: 33094 295.88/296.66 c #Conflicts: 225000 | #Constraints: 34094 295.88/296.66 c #Conflicts: 226000 | #Constraints: 35094 295.88/296.66 c #Conflicts: 227000 | #Constraints: 36094 295.88/296.66 c #Conflicts: 228000 | #Constraints: 37094 295.88/296.66 c #Conflicts: 229000 | #Constraints: 38094 295.88/296.66 c #Conflicts: 230000 | #Constraints: 39095 295.88/296.66 c #Conflicts: 231000 | #Constraints: 40095 295.88/296.66 c #Conflicts: 232000 | #Constraints: 41096 295.88/296.66 c #Conflicts: 233000 | #Constraints: 42096 295.88/296.66 c #Conflicts: 234000 | #Constraints: 43096 295.88/296.66 c #Conflicts: 235000 | #Constraints: 44096 295.88/296.66 c #Conflicts: 236000 | #Constraints: 45096 295.88/296.66 c #Conflicts: 237000 | #Constraints: 46096 295.88/296.66 c #Conflicts: 238000 | #Constraints: 47096 295.88/296.66 c #Conflicts: 239000 | #Constraints: 48096 295.88/296.66 c #Conflicts: 240000 | #Constraints: 49096 295.88/296.66 c #Conflicts: 241000 | #Constraints: 50096 295.88/296.66 c #Conflicts: 242000 | #Constraints: 51096 295.88/296.66 c #Conflicts: 243000 | #Constraints: 52096 295.88/296.66 c #Conflicts: 244000 | #Constraints: 53096 295.88/296.66 c #Conflicts: 245000 | #Constraints: 54096 295.88/296.66 c INPROCESSING 295.88/296.66 c GARBAGE COLLECT 295.88/296.66 c rational objective 106 308.66/309.42 c #Conflicts: 246000 | #Constraints: 31745 308.66/309.42 c #Conflicts: 247000 | #Constraints: 32745 308.66/309.42 c #Conflicts: 248000 | #Constraints: 33746 308.66/309.42 c #Conflicts: 249000 | #Constraints: 34746 308.66/309.42 c #Conflicts: 250000 | #Constraints: 35746 308.66/309.42 c #Conflicts: 251000 | #Constraints: 36746 308.66/309.42 c #Conflicts: 252000 | #Constraints: 37746 308.66/309.42 c #Conflicts: 253000 | #Constraints: 38746 308.66/309.42 c #Conflicts: 254000 | #Constraints: 39746 308.66/309.42 c #Conflicts: 255000 | #Constraints: 40746 308.66/309.42 c #Conflicts: 256000 | #Constraints: 41746 308.66/309.42 c #Conflicts: 257000 | #Constraints: 42746 308.66/309.42 c INPROCESSING 308.66/309.42 c GARBAGE COLLECT 308.66/309.42 c rational objective 106 328.01/328.87 c #Conflicts: 258000 | #Constraints: 26073 328.01/328.87 c #Conflicts: 259000 | #Constraints: 27073 328.01/328.87 c #Conflicts: 260000 | #Constraints: 28073 328.01/328.87 c #Conflicts: 261000 | #Constraints: 29073 328.01/328.87 c #Conflicts: 262000 | #Constraints: 30073 328.01/328.87 c #Conflicts: 263000 | #Constraints: 31073 328.01/328.87 c #Conflicts: 264000 | #Constraints: 32073 328.01/328.87 c #Conflicts: 265000 | #Constraints: 33073 328.01/328.87 c #Conflicts: 266000 | #Constraints: 34074 328.01/328.87 c #Conflicts: 267000 | #Constraints: 35074 328.01/328.87 c #Conflicts: 268000 | #Constraints: 36074 328.01/328.87 c #Conflicts: 269000 | #Constraints: 37074 328.01/328.87 c INPROCESSING 328.01/328.87 c GARBAGE COLLECT 328.01/328.87 c rational objective 106 340.08/340.95 c #Conflicts: 270000 | #Constraints: 23288 340.08/340.95 c #Conflicts: 271000 | #Constraints: 24288 340.08/340.95 c #Conflicts: 272000 | #Constraints: 25290 340.08/340.95 c #Conflicts: 273000 | #Constraints: 26291 340.08/340.95 c #Conflicts: 274000 | #Constraints: 27291 340.08/340.95 c #Conflicts: 275000 | #Constraints: 28292 340.08/340.95 c #Conflicts: 276000 | #Constraints: 29292 340.08/340.95 c #Conflicts: 277000 | #Constraints: 30292 340.08/340.95 c #Conflicts: 278000 | #Constraints: 31293 340.08/340.95 c #Conflicts: 279000 | #Constraints: 32293 340.08/340.95 c #Conflicts: 280000 | #Constraints: 33293 340.08/340.95 c #Conflicts: 281000 | #Constraints: 34293 340.08/340.95 c #Conflicts: 282000 | #Constraints: 35293 340.08/340.95 c INPROCESSING 340.08/340.95 c GARBAGE COLLECT 340.08/340.95 c rational objective 106 389.46/390.44 c #Conflicts: 283000 | #Constraints: 22713 389.46/390.44 c #Conflicts: 284000 | #Constraints: 23713 389.46/390.44 c #Conflicts: 285000 | #Constraints: 24713 389.46/390.44 c #Conflicts: 286000 | #Constraints: 25713 389.46/390.44 c #Conflicts: 287000 | #Constraints: 26713 389.46/390.44 c #Conflicts: 288000 | #Constraints: 27713 389.46/390.44 c #Conflicts: 289000 | #Constraints: 28713 389.46/390.44 c #Conflicts: 290000 | #Constraints: 29714 389.46/390.44 c #Conflicts: 291000 | #Constraints: 30714 389.46/390.44 c #Conflicts: 292000 | #Constraints: 31714 389.46/390.44 c #Conflicts: 293000 | #Constraints: 32714 389.46/390.44 c #Conflicts: 294000 | #Constraints: 33714 389.46/390.44 c #Conflicts: 295000 | #Constraints: 34715 389.46/390.44 c #Conflicts: 296000 | #Constraints: 35715 389.46/390.44 c #Conflicts: 297000 | #Constraints: 36715 389.46/390.44 c #Conflicts: 298000 | #Constraints: 37715 389.46/390.44 c #Conflicts: 299000 | #Constraints: 38715 389.46/390.44 c #Conflicts: 300000 | #Constraints: 39716 389.46/390.44 c #Conflicts: 301000 | #Constraints: 40716 389.46/390.44 c #Conflicts: 302000 | #Constraints: 41716 389.46/390.44 c #Conflicts: 303000 | #Constraints: 42716 389.46/390.44 c #Conflicts: 304000 | #Constraints: 43717 389.46/390.44 c #Conflicts: 305000 | #Constraints: 44717 389.46/390.44 c #Conflicts: 306000 | #Constraints: 45718 389.46/390.44 c #Conflicts: 307000 | #Constraints: 46718 389.46/390.44 c #Conflicts: 308000 | #Constraints: 47719 389.46/390.44 c #Conflicts: 309000 | #Constraints: 48719 389.46/390.44 c #Conflicts: 310000 | #Constraints: 49719 389.46/390.44 c #Conflicts: 311000 | #Constraints: 50719 389.46/390.44 c #Conflicts: 312000 | #Constraints: 51719 389.46/390.44 c #Conflicts: 313000 | #Constraints: 52719 389.46/390.44 c #Conflicts: 314000 | #Constraints: 53719 389.46/390.44 c #Conflicts: 315000 | #Constraints: 54719 389.46/390.44 c #Conflicts: 316000 | #Constraints: 55719 389.46/390.44 c #Conflicts: 317000 | #Constraints: 56719 389.46/390.44 c #Conflicts: 318000 | #Constraints: 57719 389.46/390.44 c #Conflicts: 319000 | #Constraints: 58719 389.46/390.44 c #Conflicts: 320000 | #Constraints: 59719 389.46/390.44 c #Conflicts: 321000 | #Constraints: 60719 389.46/390.44 c #Conflicts: 322000 | #Constraints: 61719 389.46/390.44 c INPROCESSING 389.46/390.44 c GARBAGE COLLECT 389.46/390.44 c rational objective 106 409.72/410.75 c #Conflicts: 323000 | #Constraints: 35701 409.72/410.75 c #Conflicts: 324000 | #Constraints: 36701 409.72/410.75 c #Conflicts: 325000 | #Constraints: 37701 409.72/410.75 c #Conflicts: 326000 | #Constraints: 38701 409.72/410.75 c #Conflicts: 327000 | #Constraints: 39701 409.72/410.75 c #Conflicts: 328000 | #Constraints: 40701 409.72/410.75 c #Conflicts: 329000 | #Constraints: 41701 409.72/410.75 c #Conflicts: 330000 | #Constraints: 42701 409.72/410.75 c #Conflicts: 331000 | #Constraints: 43701 409.72/410.75 c #Conflicts: 332000 | #Constraints: 44701 409.72/410.75 c #Conflicts: 333000 | #Constraints: 45702 409.72/410.75 c #Conflicts: 334000 | #Constraints: 46702 409.72/410.75 c #Conflicts: 335000 | #Constraints: 47702 409.72/410.75 c #Conflicts: 336000 | #Constraints: 48703 409.72/410.75 c INPROCESSING 409.72/410.75 c GARBAGE COLLECT 409.72/410.75 c rational objective 106 425.08/426.18 c #Conflicts: 337000 | #Constraints: 29397 425.08/426.18 c #Conflicts: 338000 | #Constraints: 30397 425.08/426.18 c #Conflicts: 339000 | #Constraints: 31398 425.08/426.18 c #Conflicts: 340000 | #Constraints: 32398 425.08/426.18 c #Conflicts: 341000 | #Constraints: 33398 425.08/426.18 c #Conflicts: 342000 | #Constraints: 34398 425.08/426.18 c #Conflicts: 343000 | #Constraints: 35398 425.08/426.18 c #Conflicts: 344000 | #Constraints: 36398 425.08/426.18 c #Conflicts: 345000 | #Constraints: 37398 425.08/426.18 c #Conflicts: 346000 | #Constraints: 38398 425.08/426.18 c #Conflicts: 347000 | #Constraints: 39398 425.08/426.18 c #Conflicts: 348000 | #Constraints: 40398 425.08/426.18 c #Conflicts: 349000 | #Constraints: 41398 425.08/426.18 c INPROCESSING 425.08/426.18 c GARBAGE COLLECT 425.08/426.18 c rational objective 106 446.22/447.39 c #Conflicts: 350000 | #Constraints: 25415 446.22/447.39 c #Conflicts: 351000 | #Constraints: 26415 446.22/447.39 c #Conflicts: 352000 | #Constraints: 27415 446.22/447.39 c #Conflicts: 353000 | #Constraints: 28416 446.22/447.39 c #Conflicts: 354000 | #Constraints: 29416 446.22/447.39 c #Conflicts: 355000 | #Constraints: 30416 446.22/447.39 c #Conflicts: 356000 | #Constraints: 31416 446.22/447.39 c #Conflicts: 357000 | #Constraints: 32416 446.22/447.39 c #Conflicts: 358000 | #Constraints: 33416 446.22/447.39 c #Conflicts: 359000 | #Constraints: 34416 446.22/447.39 c #Conflicts: 360000 | #Constraints: 35417 446.22/447.39 c #Conflicts: 361000 | #Constraints: 36417 446.22/447.39 c #Conflicts: 362000 | #Constraints: 37417 446.22/447.39 c #Conflicts: 363000 | #Constraints: 38417 446.22/447.39 c INPROCESSING 446.22/447.39 c GARBAGE COLLECT 446.22/447.39 c rational objective 106 506.95/508.25 c #Conflicts: 364000 | #Constraints: 23895 506.95/508.25 c #Conflicts: 365000 | #Constraints: 24895 506.95/508.25 c #Conflicts: 366000 | #Constraints: 25895 506.95/508.25 c #Conflicts: 367000 | #Constraints: 26895 506.95/508.25 c #Conflicts: 368000 | #Constraints: 27895 506.95/508.25 c #Conflicts: 369000 | #Constraints: 28895 506.95/508.25 c #Conflicts: 370000 | #Constraints: 29895 506.95/508.25 c #Conflicts: 371000 | #Constraints: 30895 506.95/508.25 c #Conflicts: 372000 | #Constraints: 31895 506.95/508.25 c #Conflicts: 373000 | #Constraints: 32895 506.95/508.25 c #Conflicts: 374000 | #Constraints: 33895 506.95/508.25 c #Conflicts: 375000 | #Constraints: 34895 506.95/508.25 c #Conflicts: 376000 | #Constraints: 35896 506.95/508.25 c #Conflicts: 377000 | #Constraints: 36896 506.95/508.25 c #Conflicts: 378000 | #Constraints: 37896 506.95/508.25 c #Conflicts: 379000 | #Constraints: 38896 506.95/508.25 c #Conflicts: 380000 | #Constraints: 39896 506.95/508.25 c #Conflicts: 381000 | #Constraints: 40896 506.95/508.25 c #Conflicts: 382000 | #Constraints: 41896 506.95/508.25 c #Conflicts: 383000 | #Constraints: 42896 506.95/508.25 c #Conflicts: 384000 | #Constraints: 43896 506.95/508.25 c #Conflicts: 385000 | #Constraints: 44896 506.95/508.25 c #Conflicts: 386000 | #Constraints: 45897 506.95/508.25 c #Conflicts: 387000 | #Constraints: 46897 506.95/508.25 c #Conflicts: 388000 | #Constraints: 47897 506.95/508.25 c #Conflicts: 389000 | #Constraints: 48897 506.95/508.25 c #Conflicts: 390000 | #Constraints: 49897 506.95/508.25 c #Conflicts: 391000 | #Constraints: 50897 506.95/508.25 c #Conflicts: 392000 | #Constraints: 51897 506.95/508.25 c #Conflicts: 393000 | #Constraints: 52897 506.95/508.25 c #Conflicts: 394000 | #Constraints: 53897 506.95/508.25 c #Conflicts: 395000 | #Constraints: 54897 506.95/508.25 c #Conflicts: 396000 | #Constraints: 55897 506.95/508.25 c #Conflicts: 397000 | #Constraints: 56897 506.95/508.25 c #Conflicts: 398000 | #Constraints: 57897 506.95/508.25 c #Conflicts: 399000 | #Constraints: 58897 506.95/508.25 c #Conflicts: 400000 | #Constraints: 59898 506.95/508.25 c #Conflicts: 401000 | #Constraints: 60898 506.95/508.25 c #Conflicts: 402000 | #Constraints: 61898 506.95/508.25 c #Conflicts: 403000 | #Constraints: 62898 506.95/508.25 c #Conflicts: 404000 | #Constraints: 63898 506.95/508.25 c #Conflicts: 405000 | #Constraints: 64898 506.95/508.25 c #Conflicts: 406000 | #Constraints: 65898 506.95/508.25 c #Conflicts: 407000 | #Constraints: 66898 506.95/508.25 c #Conflicts: 408000 | #Constraints: 67898 506.95/508.25 c #Conflicts: 409000 | #Constraints: 68898 506.95/508.25 c INPROCESSING 506.95/508.25 c GARBAGE COLLECT 506.95/508.25 c rational objective 106 528.08/529.44 c #Conflicts: 410000 | #Constraints: 39308 528.08/529.44 c #Conflicts: 411000 | #Constraints: 40308 528.08/529.44 c #Conflicts: 412000 | #Constraints: 41308 528.08/529.44 c #Conflicts: 413000 | #Constraints: 42308 528.08/529.44 c #Conflicts: 414000 | #Constraints: 43308 528.08/529.44 c #Conflicts: 415000 | #Constraints: 44308 528.08/529.44 c #Conflicts: 416000 | #Constraints: 45308 528.08/529.44 c #Conflicts: 417000 | #Constraints: 46308 528.08/529.44 c #Conflicts: 418000 | #Constraints: 47308 528.08/529.44 c #Conflicts: 419000 | #Constraints: 48308 528.08/529.44 c #Conflicts: 420000 | #Constraints: 49309 528.08/529.44 c #Conflicts: 421000 | #Constraints: 50309 528.08/529.44 c #Conflicts: 422000 | #Constraints: 51309 528.08/529.44 c #Conflicts: 423000 | #Constraints: 52309 528.08/529.44 c #Conflicts: 424000 | #Constraints: 53309 528.08/529.44 c INPROCESSING 528.08/529.44 c GARBAGE COLLECT 528.08/529.44 c rational objective 106 550.72/552.12 c #Conflicts: 425000 | #Constraints: 31422 550.72/552.12 c #Conflicts: 426000 | #Constraints: 32422 550.72/552.12 c #Conflicts: 427000 | #Constraints: 33422 550.72/552.12 c #Conflicts: 428000 | #Constraints: 34422 550.72/552.12 c #Conflicts: 429000 | #Constraints: 35422 550.72/552.12 c #Conflicts: 430000 | #Constraints: 36422 550.72/552.12 c #Conflicts: 431000 | #Constraints: 37422 550.72/552.12 c #Conflicts: 432000 | #Constraints: 38422 550.72/552.12 c #Conflicts: 433000 | #Constraints: 39422 550.72/552.12 c #Conflicts: 434000 | #Constraints: 40422 550.72/552.12 c #Conflicts: 435000 | #Constraints: 41422 550.72/552.12 c #Conflicts: 436000 | #Constraints: 42422 550.72/552.12 c #Conflicts: 437000 | #Constraints: 43422 550.72/552.12 c #Conflicts: 438000 | #Constraints: 44423 550.72/552.12 c #Conflicts: 439000 | #Constraints: 45423 550.72/552.12 c #Conflicts: 440000 | #Constraints: 46423 550.72/552.12 c INPROCESSING 550.72/552.12 c GARBAGE COLLECT 550.72/552.12 c rational objective 106 572.95/574.46 c #Conflicts: 441000 | #Constraints: 28179 572.95/574.46 c #Conflicts: 442000 | #Constraints: 29179 572.95/574.46 c #Conflicts: 443000 | #Constraints: 30179 572.95/574.46 c #Conflicts: 444000 | #Constraints: 31179 572.95/574.46 c #Conflicts: 445000 | #Constraints: 32179 572.95/574.46 c #Conflicts: 446000 | #Constraints: 33179 572.95/574.46 c #Conflicts: 447000 | #Constraints: 34179 572.95/574.46 c #Conflicts: 448000 | #Constraints: 35179 572.95/574.46 c #Conflicts: 449000 | #Constraints: 36179 572.95/574.46 c #Conflicts: 450000 | #Constraints: 37179 572.95/574.46 c #Conflicts: 451000 | #Constraints: 38179 572.95/574.46 c #Conflicts: 452000 | #Constraints: 39179 572.95/574.46 c #Conflicts: 453000 | #Constraints: 40179 572.95/574.46 c #Conflicts: 454000 | #Constraints: 41179 572.95/574.46 c #Conflicts: 455000 | #Constraints: 42180 572.95/574.46 c #Conflicts: 456000 | #Constraints: 43180 572.95/574.46 c INPROCESSING 572.95/574.46 c GARBAGE COLLECT 572.95/574.46 c rational objective 106 677.54/679.38 c #Conflicts: 457000 | #Constraints: 26729 677.54/679.38 c #Conflicts: 458000 | #Constraints: 27730 677.54/679.38 c #Conflicts: 459000 | #Constraints: 28730 677.54/679.38 c #Conflicts: 460000 | #Constraints: 29730 677.54/679.38 c #Conflicts: 461000 | #Constraints: 30730 677.54/679.38 c #Conflicts: 462000 | #Constraints: 31730 677.54/679.38 c #Conflicts: 463000 | #Constraints: 32730 677.54/679.38 c #Conflicts: 464000 | #Constraints: 33730 677.54/679.38 c #Conflicts: 465000 | #Constraints: 34730 677.54/679.38 c #Conflicts: 466000 | #Constraints: 35730 677.54/679.38 c #Conflicts: 467000 | #Constraints: 36730 677.54/679.38 c #Conflicts: 468000 | #Constraints: 37730 677.54/679.38 c #Conflicts: 469000 | #Constraints: 38730 677.54/679.38 c #Conflicts: 470000 | #Constraints: 39730 677.54/679.38 c #Conflicts: 471000 | #Constraints: 40730 677.54/679.38 c #Conflicts: 472000 | #Constraints: 41730 677.54/679.38 c #Conflicts: 473000 | #Constraints: 42730 677.54/679.38 c #Conflicts: 474000 | #Constraints: 43730 677.54/679.38 c #Conflicts: 475000 | #Constraints: 44730 677.54/679.38 c #Conflicts: 476000 | #Constraints: 45730 677.54/679.38 c #Conflicts: 477000 | #Constraints: 46731 677.54/679.38 c #Conflicts: 478000 | #Constraints: 47731 677.54/679.38 c #Conflicts: 479000 | #Constraints: 48731 677.54/679.38 c #Conflicts: 480000 | #Constraints: 49731 677.54/679.38 c #Conflicts: 481000 | #Constraints: 50731 677.54/679.38 c #Conflicts: 482000 | #Constraints: 51731 677.54/679.38 c #Conflicts: 483000 | #Constraints: 52732 677.54/679.38 c #Conflicts: 484000 | #Constraints: 53733 677.54/679.38 c #Conflicts: 485000 | #Constraints: 54733 677.54/679.38 c #Conflicts: 486000 | #Constraints: 55733 677.54/679.38 c #Conflicts: 487000 | #Constraints: 56733 677.54/679.38 c #Conflicts: 488000 | #Constraints: 57733 677.54/679.38 c #Conflicts: 489000 | #Constraints: 58733 677.54/679.38 c #Conflicts: 490000 | #Constraints: 59733 677.54/679.38 c #Conflicts: 491000 | #Constraints: 60733 677.54/679.38 c #Conflicts: 492000 | #Constraints: 61733 677.54/679.38 c #Conflicts: 493000 | #Constraints: 62733 677.54/679.38 c #Conflicts: 494000 | #Constraints: 63733 677.54/679.38 c #Conflicts: 495000 | #Constraints: 64733 677.54/679.38 c #Conflicts: 496000 | #Constraints: 65733 677.54/679.38 c #Conflicts: 497000 | #Constraints: 66733 677.54/679.38 c #Conflicts: 498000 | #Constraints: 67733 677.54/679.38 c #Conflicts: 499000 | #Constraints: 68734 677.54/679.38 c #Conflicts: 500000 | #Constraints: 69734 677.54/679.38 c #Conflicts: 501000 | #Constraints: 70734 677.54/679.38 c #Conflicts: 502000 | #Constraints: 71734 677.54/679.38 c #Conflicts: 503000 | #Constraints: 72734 677.54/679.38 c #Conflicts: 504000 | #Constraints: 73734 677.54/679.38 c #Conflicts: 505000 | #Constraints: 74734 677.54/679.38 c #Conflicts: 506000 | #Constraints: 75734 677.54/679.38 c #Conflicts: 507000 | #Constraints: 76734 677.54/679.38 c INPROCESSING 677.54/679.38 c GARBAGE COLLECT 677.54/679.38 c rational objective 106 700.98/702.86 c #Conflicts: 508000 | #Constraints: 43505 700.98/702.86 c #Conflicts: 509000 | #Constraints: 44505 700.98/702.86 c #Conflicts: 510000 | #Constraints: 45505 700.98/702.86 c #Conflicts: 511000 | #Constraints: 46505 700.98/702.86 c #Conflicts: 512000 | #Constraints: 47505 700.98/702.86 c #Conflicts: 513000 | #Constraints: 48506 700.98/702.86 c #Conflicts: 514000 | #Constraints: 49507 700.98/702.86 c #Conflicts: 515000 | #Constraints: 50507 700.98/702.86 c #Conflicts: 516000 | #Constraints: 51507 700.98/702.86 c #Conflicts: 517000 | #Constraints: 52507 700.98/702.86 c #Conflicts: 518000 | #Constraints: 53507 700.98/702.86 c #Conflicts: 519000 | #Constraints: 54507 700.98/702.86 c #Conflicts: 520000 | #Constraints: 55507 700.98/702.86 c #Conflicts: 521000 | #Constraints: 56507 700.98/702.86 c #Conflicts: 522000 | #Constraints: 57507 700.98/702.86 c #Conflicts: 523000 | #Constraints: 58507 700.98/702.86 c #Conflicts: 524000 | #Constraints: 59507 700.98/702.86 c INPROCESSING 700.98/702.86 c GARBAGE COLLECT 700.98/702.86 c rational objective 106 723.24/725.11 c #Conflicts: 525000 | #Constraints: 34955 723.24/725.11 c #Conflicts: 526000 | #Constraints: 35955 723.24/725.11 c #Conflicts: 527000 | #Constraints: 36955 723.24/725.11 c #Conflicts: 528000 | #Constraints: 37956 723.24/725.11 c #Conflicts: 529000 | #Constraints: 38957 723.24/725.11 c #Conflicts: 530000 | #Constraints: 39958 723.24/725.11 c #Conflicts: 531000 | #Constraints: 40958 723.24/725.11 c #Conflicts: 532000 | #Constraints: 41958 723.24/725.11 c #Conflicts: 533000 | #Constraints: 42958 723.24/725.11 c #Conflicts: 534000 | #Constraints: 43959 723.24/725.11 c #Conflicts: 535000 | #Constraints: 44959 723.24/725.11 c #Conflicts: 536000 | #Constraints: 45959 723.24/725.11 c #Conflicts: 537000 | #Constraints: 46959 723.24/725.11 c #Conflicts: 538000 | #Constraints: 47959 723.24/725.11 c #Conflicts: 539000 | #Constraints: 48959 723.24/725.11 c #Conflicts: 540000 | #Constraints: 49959 723.24/725.11 c #Conflicts: 541000 | #Constraints: 50959 723.24/725.11 c INPROCESSING 723.24/725.11 c GARBAGE COLLECT 723.24/725.11 c rational objective 106 746.48/748.48 c #Conflicts: 542000 | #Constraints: 30514 746.48/748.48 c #Conflicts: 543000 | #Constraints: 31514 746.48/748.48 c #Conflicts: 544000 | #Constraints: 32514 746.48/748.48 c #Conflicts: 545000 | #Constraints: 33514 746.48/748.48 c #Conflicts: 546000 | #Constraints: 34514 746.48/748.48 c #Conflicts: 547000 | #Constraints: 35514 746.48/748.48 c #Conflicts: 548000 | #Constraints: 36514 746.48/748.48 c #Conflicts: 549000 | #Constraints: 37514 746.48/748.48 c #Conflicts: 550000 | #Constraints: 38514 746.48/748.48 c #Conflicts: 551000 | #Constraints: 39514 746.48/748.48 c #Conflicts: 552000 | #Constraints: 40514 746.48/748.48 c #Conflicts: 553000 | #Constraints: 41514 746.48/748.48 c #Conflicts: 554000 | #Constraints: 42515 746.48/748.48 c #Conflicts: 555000 | #Constraints: 43515 746.48/748.48 c #Conflicts: 556000 | #Constraints: 44515 746.48/748.48 c #Conflicts: 557000 | #Constraints: 45515 746.48/748.48 c #Conflicts: 558000 | #Constraints: 46515 746.48/748.48 c INPROCESSING 746.48/748.48 c GARBAGE COLLECT 746.48/748.48 c rational objective 106 864.39/866.68 c #Conflicts: 559000 | #Constraints: 28074 864.39/866.68 c #Conflicts: 560000 | #Constraints: 29074 864.39/866.68 c #Conflicts: 561000 | #Constraints: 30074 864.39/866.68 c #Conflicts: 562000 | #Constraints: 31075 864.39/866.68 c #Conflicts: 563000 | #Constraints: 32075 864.39/866.68 c #Conflicts: 564000 | #Constraints: 33075 864.39/866.68 c #Conflicts: 565000 | #Constraints: 34075 864.39/866.68 c #Conflicts: 566000 | #Constraints: 35075 864.39/866.68 c #Conflicts: 567000 | #Constraints: 36075 864.39/866.68 c #Conflicts: 568000 | #Constraints: 37075 864.39/866.68 c #Conflicts: 569000 | #Constraints: 38076 864.39/866.68 c #Conflicts: 570000 | #Constraints: 39076 864.39/866.68 c #Conflicts: 571000 | #Constraints: 40076 864.39/866.68 c #Conflicts: 572000 | #Constraints: 41076 864.39/866.68 c #Conflicts: 573000 | #Constraints: 42076 864.39/866.68 c #Conflicts: 574000 | #Constraints: 43076 864.39/866.68 c #Conflicts: 575000 | #Constraints: 44076 864.39/866.68 c #Conflicts: 576000 | #Constraints: 45076 864.39/866.68 c #Conflicts: 577000 | #Constraints: 46076 864.39/866.68 c #Conflicts: 578000 | #Constraints: 47076 864.39/866.68 c #Conflicts: 579000 | #Constraints: 48076 864.39/866.68 c #Conflicts: 580000 | #Constraints: 49076 864.39/866.68 c #Conflicts: 581000 | #Constraints: 50076 864.39/866.68 c #Conflicts: 582000 | #Constraints: 51076 864.39/866.68 c #Conflicts: 583000 | #Constraints: 52076 864.39/866.68 c #Conflicts: 584000 | #Constraints: 53076 864.39/866.68 c #Conflicts: 585000 | #Constraints: 54076 864.39/866.68 c #Conflicts: 586000 | #Constraints: 55076 864.39/866.68 c #Conflicts: 587000 | #Constraints: 56076 864.39/866.68 c #Conflicts: 588000 | #Constraints: 57076 864.39/866.68 c #Conflicts: 589000 | #Constraints: 58076 864.39/866.68 c #Conflicts: 590000 | #Constraints: 59076 864.39/866.68 c #Conflicts: 591000 | #Constraints: 60076 864.39/866.68 c #Conflicts: 592000 | #Constraints: 61076 864.39/866.68 c #Conflicts: 593000 | #Constraints: 62076 864.39/866.68 c #Conflicts: 594000 | #Constraints: 63076 864.39/866.68 c #Conflicts: 595000 | #Constraints: 64076 864.39/866.68 c #Conflicts: 596000 | #Constraints: 65076 864.39/866.68 c #Conflicts: 597000 | #Constraints: 66077 864.39/866.68 c #Conflicts: 598000 | #Constraints: 67077 864.39/866.68 c #Conflicts: 599000 | #Constraints: 68077 864.39/866.68 c #Conflicts: 600000 | #Constraints: 69077 864.39/866.68 c #Conflicts: 601000 | #Constraints: 70077 864.39/866.68 c #Conflicts: 602000 | #Constraints: 71077 864.39/866.68 c #Conflicts: 603000 | #Constraints: 72078 864.39/866.68 c #Conflicts: 604000 | #Constraints: 73078 864.39/866.68 c #Conflicts: 605000 | #Constraints: 74078 864.39/866.68 c #Conflicts: 606000 | #Constraints: 75078 864.39/866.68 c #Conflicts: 607000 | #Constraints: 76078 864.39/866.68 c #Conflicts: 608000 | #Constraints: 77078 864.39/866.68 c #Conflicts: 609000 | #Constraints: 78078 864.39/866.68 c #Conflicts: 610000 | #Constraints: 79079 864.39/866.68 c #Conflicts: 611000 | #Constraints: 80079 864.39/866.68 c #Conflicts: 612000 | #Constraints: 81079 864.39/866.68 c #Conflicts: 613000 | #Constraints: 82079 864.39/866.68 c #Conflicts: 614000 | #Constraints: 83079 864.39/866.68 c INPROCESSING 864.39/866.68 c GARBAGE COLLECT 864.39/866.68 c rational objective 106 897.61/899.96 c #Conflicts: 615000 | #Constraints: 46207 897.61/899.96 c #Conflicts: 616000 | #Constraints: 47207 897.61/899.96 c #Conflicts: 617000 | #Constraints: 48207 897.61/899.96 c #Conflicts: 618000 | #Constraints: 49207 897.61/899.96 c #Conflicts: 619000 | #Constraints: 50207 897.61/899.96 c #Conflicts: 620000 | #Constraints: 51207 897.61/899.96 c #Conflicts: 621000 | #Constraints: 52207 897.61/899.96 c #Conflicts: 622000 | #Constraints: 53207 897.61/899.96 c #Conflicts: 623000 | #Constraints: 54208 897.61/899.96 c #Conflicts: 624000 | #Constraints: 55208 897.61/899.96 c #Conflicts: 625000 | #Constraints: 56208 897.61/899.96 c #Conflicts: 626000 | #Constraints: 57208 897.61/899.96 c #Conflicts: 627000 | #Constraints: 58208 897.61/899.96 c #Conflicts: 628000 | #Constraints: 59208 897.61/899.96 c #Conflicts: 629000 | #Constraints: 60208 897.61/899.96 c #Conflicts: 630000 | #Constraints: 61208 897.61/899.96 c #Conflicts: 631000 | #Constraints: 62208 897.61/899.96 c #Conflicts: 632000 | #Constraints: 63209 897.61/899.96 c #Conflicts: 633000 | #Constraints: 64209 897.61/899.96 c INPROCESSING 897.61/899.96 c GARBAGE COLLECT 897.61/899.96 c rational objective 106 918.37/920.75 c #Conflicts: 634000 | #Constraints: 36976 918.37/920.75 c #Conflicts: 635000 | #Constraints: 37976 918.37/920.75 c #Conflicts: 636000 | #Constraints: 38976 918.37/920.75 c #Conflicts: 637000 | #Constraints: 39976 918.37/920.75 c #Conflicts: 638000 | #Constraints: 40976 918.37/920.75 c #Conflicts: 639000 | #Constraints: 41976 918.37/920.75 c #Conflicts: 640000 | #Constraints: 42976 918.37/920.75 c #Conflicts: 641000 | #Constraints: 43976 918.37/920.75 c #Conflicts: 642000 | #Constraints: 44976 918.37/920.75 c #Conflicts: 643000 | #Constraints: 45976 918.37/920.75 c #Conflicts: 644000 | #Constraints: 46976 918.37/920.75 c #Conflicts: 645000 | #Constraints: 47976 918.37/920.75 c #Conflicts: 646000 | #Constraints: 48976 918.37/920.75 c #Conflicts: 647000 | #Constraints: 49976 918.37/920.75 c #Conflicts: 648000 | #Constraints: 50976 918.37/920.75 c #Conflicts: 649000 | #Constraints: 51976 918.37/920.75 c #Conflicts: 650000 | #Constraints: 52976 918.37/920.75 c #Conflicts: 651000 | #Constraints: 53976 918.37/920.75 c #Conflicts: 652000 | #Constraints: 54976 918.37/920.75 c INPROCESSING 918.37/920.75 c GARBAGE COLLECT 918.37/920.75 c rational objective 106 945.60/948.03 c #Conflicts: 653000 | #Constraints: 32427 945.60/948.03 c #Conflicts: 654000 | #Constraints: 33427 945.60/948.03 c #Conflicts: 655000 | #Constraints: 34427 945.60/948.03 c #Conflicts: 656000 | #Constraints: 35427 945.60/948.03 c #Conflicts: 657000 | #Constraints: 36427 945.60/948.03 c #Conflicts: 658000 | #Constraints: 37427 945.60/948.03 c #Conflicts: 659000 | #Constraints: 38427 945.60/948.03 c #Conflicts: 660000 | #Constraints: 39427 945.60/948.03 c #Conflicts: 661000 | #Constraints: 40427 945.60/948.03 c #Conflicts: 662000 | #Constraints: 41427 945.60/948.03 c #Conflicts: 663000 | #Constraints: 42428 945.60/948.03 c #Conflicts: 664000 | #Constraints: 43428 945.60/948.03 c #Conflicts: 665000 | #Constraints: 44429 945.60/948.03 c #Conflicts: 666000 | #Constraints: 45429 945.60/948.03 c #Conflicts: 667000 | #Constraints: 46429 945.60/948.03 c #Conflicts: 668000 | #Constraints: 47430 945.60/948.03 c #Conflicts: 669000 | #Constraints: 48430 945.60/948.03 c #Conflicts: 670000 | #Constraints: 49430 945.60/948.03 c #Conflicts: 671000 | #Constraints: 50430 945.60/948.03 c INPROCESSING 945.60/948.03 c GARBAGE COLLECT 945.60/948.03 c rational objective 106 1073.96/1076.71 c #Conflicts: 672000 | #Constraints: 30134 1073.96/1076.71 c #Conflicts: 673000 | #Constraints: 31134 1073.96/1076.71 c #Conflicts: 674000 | #Constraints: 32134 1073.96/1076.71 c #Conflicts: 675000 | #Constraints: 33134 1073.96/1076.71 c #Conflicts: 676000 | #Constraints: 34134 1073.96/1076.71 c #Conflicts: 677000 | #Constraints: 35134 1073.96/1076.71 c #Conflicts: 678000 | #Constraints: 36134 1073.96/1076.71 c #Conflicts: 679000 | #Constraints: 37134 1073.96/1076.71 c #Conflicts: 680000 | #Constraints: 38134 1073.96/1076.71 c #Conflicts: 681000 | #Constraints: 39135 1073.96/1076.71 c #Conflicts: 682000 | #Constraints: 40135 1073.96/1076.71 c #Conflicts: 683000 | #Constraints: 41135 1073.96/1076.71 c #Conflicts: 684000 | #Constraints: 42135 1073.96/1076.71 c #Conflicts: 685000 | #Constraints: 43135 1073.96/1076.71 c #Conflicts: 686000 | #Constraints: 44135 1073.96/1076.71 c #Conflicts: 687000 | #Constraints: 45135 1073.96/1076.71 c #Conflicts: 688000 | #Constraints: 46135 1073.96/1076.71 c #Conflicts: 689000 | #Constraints: 47135 1073.96/1076.71 c #Conflicts: 690000 | #Constraints: 48135 1073.96/1076.71 c #Conflicts: 691000 | #Constraints: 49135 1073.96/1076.71 c #Conflicts: 692000 | #Constraints: 50135 1073.96/1076.71 c #Conflicts: 693000 | #Constraints: 51135 1073.96/1076.71 c #Conflicts: 694000 | #Constraints: 52135 1073.96/1076.71 c #Conflicts: 695000 | #Constraints: 53136 1073.96/1076.71 c #Conflicts: 696000 | #Constraints: 54136 1073.96/1076.71 c #Conflicts: 697000 | #Constraints: 55136 1073.96/1076.71 c #Conflicts: 698000 | #Constraints: 56136 1073.96/1076.71 c #Conflicts: 699000 | #Constraints: 57136 1073.96/1076.71 c #Conflicts: 700000 | #Constraints: 58136 1073.96/1076.71 c #Conflicts: 701000 | #Constraints: 59136 1073.96/1076.71 c #Conflicts: 702000 | #Constraints: 60136 1073.96/1076.71 c #Conflicts: 703000 | #Constraints: 61136 1073.96/1076.71 c #Conflicts: 704000 | #Constraints: 62136 1073.96/1076.71 c #Conflicts: 705000 | #Constraints: 63136 1073.96/1076.71 c #Conflicts: 706000 | #Constraints: 64136 1073.96/1076.71 c #Conflicts: 707000 | #Constraints: 65136 1073.96/1076.71 c #Conflicts: 708000 | #Constraints: 66136 1073.96/1076.71 c #Conflicts: 709000 | #Constraints: 67136 1073.96/1076.71 c #Conflicts: 710000 | #Constraints: 68136 1073.96/1076.71 c #Conflicts: 711000 | #Constraints: 69136 1073.96/1076.71 c #Conflicts: 712000 | #Constraints: 70136 1073.96/1076.71 c #Conflicts: 713000 | #Constraints: 71136 1073.96/1076.71 c #Conflicts: 714000 | #Constraints: 72136 1073.96/1076.71 c #Conflicts: 715000 | #Constraints: 73137 1073.96/1076.71 c #Conflicts: 716000 | #Constraints: 74137 1073.96/1076.71 c #Conflicts: 717000 | #Constraints: 75137 1073.96/1076.71 c #Conflicts: 718000 | #Constraints: 76137 1073.96/1076.71 c #Conflicts: 719000 | #Constraints: 77137 1073.96/1076.71 c #Conflicts: 720000 | #Constraints: 78137 1073.96/1076.71 c #Conflicts: 721000 | #Constraints: 79137 1073.96/1076.71 c #Conflicts: 722000 | #Constraints: 80137 1073.96/1076.71 c #Conflicts: 723000 | #Constraints: 81137 1073.96/1076.71 c #Conflicts: 724000 | #Constraints: 82137 1073.96/1076.71 c #Conflicts: 725000 | #Constraints: 83137 1073.96/1076.71 c #Conflicts: 726000 | #Constraints: 84138 1073.96/1076.71 c #Conflicts: 727000 | #Constraints: 85138 1073.96/1076.71 c #Conflicts: 728000 | #Constraints: 86138 1073.96/1076.71 c #Conflicts: 729000 | #Constraints: 87138 1073.96/1076.71 c #Conflicts: 730000 | #Constraints: 88138 1073.96/1076.71 c #Conflicts: 731000 | #Constraints: 89138 1073.96/1076.71 c #Conflicts: 732000 | #Constraints: 90138 1073.96/1076.71 c #Conflicts: 733000 | #Constraints: 91138 1073.96/1076.71 c INPROCESSING 1073.96/1076.71 c GARBAGE COLLECT 1073.96/1076.71 c rational objective 106 1120.05/1122.91 c #Conflicts: 734000 | #Constraints: 50644 1120.05/1122.91 c #Conflicts: 735000 | #Constraints: 51644 1120.05/1122.91 c #Conflicts: 736000 | #Constraints: 52644 1120.05/1122.91 c #Conflicts: 737000 | #Constraints: 53645 1120.05/1122.91 c #Conflicts: 738000 | #Constraints: 54645 1120.05/1122.91 c #Conflicts: 739000 | #Constraints: 55645 1120.05/1122.91 c #Conflicts: 740000 | #Constraints: 56645 1120.05/1122.91 c #Conflicts: 741000 | #Constraints: 57645 1120.05/1122.91 c #Conflicts: 742000 | #Constraints: 58645 1120.05/1122.91 c #Conflicts: 743000 | #Constraints: 59645 1120.05/1122.91 c #Conflicts: 744000 | #Constraints: 60645 1120.05/1122.91 c #Conflicts: 745000 | #Constraints: 61645 1120.05/1122.91 c #Conflicts: 746000 | #Constraints: 62645 1120.05/1122.91 c #Conflicts: 747000 | #Constraints: 63645 1120.05/1122.91 c #Conflicts: 748000 | #Constraints: 64645 1120.05/1122.91 c #Conflicts: 749000 | #Constraints: 65645 1120.05/1122.91 c #Conflicts: 750000 | #Constraints: 66645 1120.05/1122.91 c #Conflicts: 751000 | #Constraints: 67645 1120.05/1122.91 c #Conflicts: 752000 | #Constraints: 68645 1120.05/1122.91 c #Conflicts: 753000 | #Constraints: 69645 1120.05/1122.91 c INPROCESSING 1120.05/1122.91 c GARBAGE COLLECT 1120.05/1122.91 c rational objective 106 1152.47/1155.40 c #Conflicts: 754000 | #Constraints: 39793 1152.47/1155.40 c #Conflicts: 755000 | #Constraints: 40793 1152.47/1155.40 c #Conflicts: 756000 | #Constraints: 41794 1152.47/1155.40 c #Conflicts: 757000 | #Constraints: 42794 1152.47/1155.40 c #Conflicts: 758000 | #Constraints: 43795 1152.47/1155.40 c #Conflicts: 759000 | #Constraints: 44795 1152.47/1155.40 c #Conflicts: 760000 | #Constraints: 45795 1152.47/1155.40 c #Conflicts: 761000 | #Constraints: 46795 1152.47/1155.40 c #Conflicts: 762000 | #Constraints: 47795 1152.47/1155.40 c #Conflicts: 763000 | #Constraints: 48796 1152.47/1155.40 c #Conflicts: 764000 | #Constraints: 49796 1152.47/1155.40 c #Conflicts: 765000 | #Constraints: 50796 1152.47/1155.40 c #Conflicts: 766000 | #Constraints: 51796 1152.47/1155.40 c #Conflicts: 767000 | #Constraints: 52797 1152.47/1155.40 c #Conflicts: 768000 | #Constraints: 53798 1152.47/1155.40 c #Conflicts: 769000 | #Constraints: 54798 1152.47/1155.40 c #Conflicts: 770000 | #Constraints: 55798 1152.47/1155.40 c #Conflicts: 771000 | #Constraints: 56798 1152.47/1155.40 c #Conflicts: 772000 | #Constraints: 57798 1152.47/1155.40 c #Conflicts: 773000 | #Constraints: 58798 1152.47/1155.40 c #Conflicts: 774000 | #Constraints: 59798 1152.47/1155.40 c INPROCESSING 1152.47/1155.40 c GARBAGE COLLECT 1152.47/1155.40 c rational objective 106 1181.90/1184.98 c #Conflicts: 775000 | #Constraints: 34947 1181.90/1184.98 c #Conflicts: 776000 | #Constraints: 35947 1181.90/1184.98 c #Conflicts: 777000 | #Constraints: 36947 1181.90/1184.98 c #Conflicts: 778000 | #Constraints: 37947 1181.90/1184.98 c #Conflicts: 779000 | #Constraints: 38947 1181.90/1184.98 c #Conflicts: 780000 | #Constraints: 39947 1181.90/1184.98 c #Conflicts: 781000 | #Constraints: 40947 1181.90/1184.98 c #Conflicts: 782000 | #Constraints: 41947 1181.90/1184.98 c #Conflicts: 783000 | #Constraints: 42947 1181.90/1184.98 c #Conflicts: 784000 | #Constraints: 43947 1181.90/1184.98 c #Conflicts: 785000 | #Constraints: 44947 1181.90/1184.98 c #Conflicts: 786000 | #Constraints: 45947 1181.90/1184.98 c #Conflicts: 787000 | #Constraints: 46947 1181.90/1184.98 c #Conflicts: 788000 | #Constraints: 47947 1181.90/1184.98 c #Conflicts: 789000 | #Constraints: 48947 1181.90/1184.98 c #Conflicts: 790000 | #Constraints: 49948 1181.90/1184.98 c #Conflicts: 791000 | #Constraints: 50948 1181.90/1184.98 c #Conflicts: 792000 | #Constraints: 51948 1181.90/1184.98 c #Conflicts: 793000 | #Constraints: 52949 1181.90/1184.98 c #Conflicts: 794000 | #Constraints: 53949 1181.90/1184.98 c #Conflicts: 795000 | #Constraints: 54949 1181.90/1184.98 c INPROCESSING 1181.90/1184.98 c GARBAGE COLLECT 1181.90/1184.98 c rational objective 106 1313.55/1316.92 c #Conflicts: 796000 | #Constraints: 32736 1313.55/1316.92 c #Conflicts: 797000 | #Constraints: 33736 1313.55/1316.92 c #Conflicts: 798000 | #Constraints: 34737 1313.55/1316.92 c #Conflicts: 799000 | #Constraints: 35737 1313.55/1316.92 c #Conflicts: 800000 | #Constraints: 36737 1313.55/1316.92 c #Conflicts: 801000 | #Constraints: 37737 1313.55/1316.92 c #Conflicts: 802000 | #Constraints: 38737 1313.55/1316.92 c #Conflicts: 803000 | #Constraints: 39737 1313.55/1316.92 c #Conflicts: 804000 | #Constraints: 40737 1313.55/1316.92 c #Conflicts: 805000 | #Constraints: 41737 1313.55/1316.92 c #Conflicts: 806000 | #Constraints: 42737 1313.55/1316.92 c #Conflicts: 807000 | #Constraints: 43737 1313.55/1316.92 c #Conflicts: 808000 | #Constraints: 44737 1313.55/1316.92 c #Conflicts: 809000 | #Constraints: 45737 1313.55/1316.92 c #Conflicts: 810000 | #Constraints: 46737 1313.55/1316.92 c #Conflicts: 811000 | #Constraints: 47737 1313.55/1316.92 c #Conflicts: 812000 | #Constraints: 48737 1313.55/1316.92 c #Conflicts: 813000 | #Constraints: 49737 1313.55/1316.92 c #Conflicts: 814000 | #Constraints: 50737 1313.55/1316.92 c #Conflicts: 815000 | #Constraints: 51737 1313.55/1316.92 c #Conflicts: 816000 | #Constraints: 52737 1313.55/1316.92 c #Conflicts: 817000 | #Constraints: 53737 1313.55/1316.92 c #Conflicts: 818000 | #Constraints: 54737 1313.55/1316.92 c #Conflicts: 819000 | #Constraints: 55737 1313.55/1316.92 c #Conflicts: 820000 | #Constraints: 56737 1313.55/1316.92 c #Conflicts: 821000 | #Constraints: 57737 1313.55/1316.92 c #Conflicts: 822000 | #Constraints: 58737 1313.55/1316.92 c #Conflicts: 823000 | #Constraints: 59737 1313.55/1316.92 c #Conflicts: 824000 | #Constraints: 60737 1313.55/1316.92 c #Conflicts: 825000 | #Constraints: 61737 1313.55/1316.92 c #Conflicts: 826000 | #Constraints: 62737 1313.55/1316.92 c #Conflicts: 827000 | #Constraints: 63737 1313.55/1316.92 c #Conflicts: 828000 | #Constraints: 64737 1313.55/1316.92 c #Conflicts: 829000 | #Constraints: 65737 1313.55/1316.92 c #Conflicts: 830000 | #Constraints: 66737 1313.55/1316.92 c #Conflicts: 831000 | #Constraints: 67737 1313.55/1316.92 c #Conflicts: 832000 | #Constraints: 68738 1313.55/1316.92 c #Conflicts: 833000 | #Constraints: 69738 1313.55/1316.92 c #Conflicts: 834000 | #Constraints: 70738 1313.55/1316.92 c #Conflicts: 835000 | #Constraints: 71738 1313.55/1316.92 c #Conflicts: 836000 | #Constraints: 72738 1313.55/1316.92 c #Conflicts: 837000 | #Constraints: 73738 1313.55/1316.92 c #Conflicts: 838000 | #Constraints: 74739 1313.55/1316.92 c #Conflicts: 839000 | #Constraints: 75739 1313.55/1316.92 c #Conflicts: 840000 | #Constraints: 76739 1313.55/1316.92 c #Conflicts: 841000 | #Constraints: 77739 1313.55/1316.92 c #Conflicts: 842000 | #Constraints: 78739 1313.55/1316.92 c #Conflicts: 843000 | #Constraints: 79739 1313.55/1316.92 c #Conflicts: 844000 | #Constraints: 80739 1313.55/1316.92 c #Conflicts: 845000 | #Constraints: 81739 1313.55/1316.92 c #Conflicts: 846000 | #Constraints: 82739 1313.55/1316.92 c #Conflicts: 847000 | #Constraints: 83739 1313.55/1316.92 c #Conflicts: 848000 | #Constraints: 84739 1313.55/1316.92 c #Conflicts: 849000 | #Constraints: 85739 1313.55/1316.92 c #Conflicts: 850000 | #Constraints: 86739 1313.55/1316.92 c #Conflicts: 851000 | #Constraints: 87739 1313.55/1316.92 c #Conflicts: 852000 | #Constraints: 88739 1313.55/1316.92 c #Conflicts: 853000 | #Constraints: 89739 1313.55/1316.92 c #Conflicts: 854000 | #Constraints: 90739 1313.55/1316.92 c #Conflicts: 855000 | #Constraints: 91739 1313.55/1316.92 c #Conflicts: 856000 | #Constraints: 92740 1313.55/1316.92 c #Conflicts: 857000 | #Constraints: 93740 1313.55/1316.92 c #Conflicts: 858000 | #Constraints: 94740 1313.55/1316.92 c #Conflicts: 859000 | #Constraints: 95740 1313.55/1316.92 c #Conflicts: 860000 | #Constraints: 96740 1313.55/1316.92 c #Conflicts: 861000 | #Constraints: 97740 1313.55/1316.92 c INPROCESSING 1313.55/1316.92 c GARBAGE COLLECT 1313.55/1316.92 c rational objective 106 1353.85/1357.33 c #Conflicts: 862000 | #Constraints: 53608 1353.85/1357.33 c #Conflicts: 863000 | #Constraints: 54608 1353.85/1357.33 c #Conflicts: 864000 | #Constraints: 55608 1353.85/1357.33 c #Conflicts: 865000 | #Constraints: 56608 1353.85/1357.33 c #Conflicts: 866000 | #Constraints: 57608 1353.85/1357.33 c #Conflicts: 867000 | #Constraints: 58608 1353.85/1357.33 c #Conflicts: 868000 | #Constraints: 59608 1353.85/1357.33 c #Conflicts: 869000 | #Constraints: 60608 1353.85/1357.33 c #Conflicts: 870000 | #Constraints: 61608 1353.85/1357.33 c #Conflicts: 871000 | #Constraints: 62608 1353.85/1357.33 c #Conflicts: 872000 | #Constraints: 63608 1353.85/1357.33 c #Conflicts: 873000 | #Constraints: 64608 1353.85/1357.33 c #Conflicts: 874000 | #Constraints: 65608 1353.85/1357.33 c #Conflicts: 875000 | #Constraints: 66609 1353.85/1357.33 c #Conflicts: 876000 | #Constraints: 67609 1353.85/1357.33 c #Conflicts: 877000 | #Constraints: 68609 1353.85/1357.33 c #Conflicts: 878000 | #Constraints: 69609 1353.85/1357.33 c #Conflicts: 879000 | #Constraints: 70609 1353.85/1357.33 c #Conflicts: 880000 | #Constraints: 71609 1353.85/1357.33 c #Conflicts: 881000 | #Constraints: 72609 1353.85/1357.33 c #Conflicts: 882000 | #Constraints: 73609 1353.85/1357.33 c #Conflicts: 883000 | #Constraints: 74609 1353.85/1357.33 c #Conflicts: 884000 | #Constraints: 75609 1353.85/1357.33 c INPROCESSING 1353.85/1357.33 c GARBAGE COLLECT 1353.85/1357.33 c rational objective 106 1383.28/1386.84 c #Conflicts: 885000 | #Constraints: 43064 1383.28/1386.84 c #Conflicts: 886000 | #Constraints: 44064 1383.28/1386.84 c #Conflicts: 887000 | #Constraints: 45064 1383.28/1386.84 c #Conflicts: 888000 | #Constraints: 46064 1383.28/1386.84 c #Conflicts: 889000 | #Constraints: 47064 1383.28/1386.84 c #Conflicts: 890000 | #Constraints: 48064 1383.28/1386.84 c #Conflicts: 891000 | #Constraints: 49064 1383.28/1386.84 c #Conflicts: 892000 | #Constraints: 50064 1383.28/1386.84 c #Conflicts: 893000 | #Constraints: 51064 1383.28/1386.84 c #Conflicts: 894000 | #Constraints: 52064 1383.28/1386.84 c #Conflicts: 895000 | #Constraints: 53064 1383.28/1386.84 c #Conflicts: 896000 | #Constraints: 54064 1383.28/1386.84 c #Conflicts: 897000 | #Constraints: 55064 1383.28/1386.84 c #Conflicts: 898000 | #Constraints: 56064 1383.28/1386.84 c #Conflicts: 899000 | #Constraints: 57064 1383.28/1386.84 c #Conflicts: 900000 | #Constraints: 58064 1383.28/1386.84 c #Conflicts: 901000 | #Constraints: 59064 1383.28/1386.84 c #Conflicts: 902000 | #Constraints: 60064 1383.28/1386.84 c #Conflicts: 903000 | #Constraints: 61064 1383.28/1386.84 c #Conflicts: 904000 | #Constraints: 62064 1383.28/1386.84 c #Conflicts: 905000 | #Constraints: 63064 1383.28/1386.84 c #Conflicts: 906000 | #Constraints: 64064 1383.28/1386.84 c INPROCESSING 1383.28/1386.84 c GARBAGE COLLECT 1383.28/1386.84 c rational objective 106 1413.50/1417.11 c #Conflicts: 907000 | #Constraints: 37079 1413.50/1417.11 c #Conflicts: 908000 | #Constraints: 38079 1413.50/1417.11 c #Conflicts: 909000 | #Constraints: 39080 1413.50/1417.11 c #Conflicts: 910000 | #Constraints: 40080 1413.50/1417.11 c #Conflicts: 911000 | #Constraints: 41080 1413.50/1417.11 c #Conflicts: 912000 | #Constraints: 42080 1413.50/1417.11 c #Conflicts: 913000 | #Constraints: 43080 1413.50/1417.11 c #Conflicts: 914000 | #Constraints: 44080 1413.50/1417.11 c #Conflicts: 915000 | #Constraints: 45080 1413.50/1417.11 c #Conflicts: 916000 | #Constraints: 46080 1413.50/1417.11 c #Conflicts: 917000 | #Constraints: 47080 1413.50/1417.11 c #Conflicts: 918000 | #Constraints: 48080 1413.50/1417.11 c #Conflicts: 919000 | #Constraints: 49080 1413.50/1417.11 c #Conflicts: 920000 | #Constraints: 50080 1413.50/1417.11 c #Conflicts: 921000 | #Constraints: 51080 1413.50/1417.11 c #Conflicts: 922000 | #Constraints: 52080 1413.50/1417.11 c #Conflicts: 923000 | #Constraints: 53080 1413.50/1417.11 c #Conflicts: 924000 | #Constraints: 54081 1413.50/1417.11 c #Conflicts: 925000 | #Constraints: 55081 1413.50/1417.11 c #Conflicts: 926000 | #Constraints: 56081 1413.50/1417.11 c #Conflicts: 927000 | #Constraints: 57081 1413.50/1417.11 c #Conflicts: 928000 | #Constraints: 58081 1413.50/1417.11 c INPROCESSING 1413.50/1417.11 c GARBAGE COLLECT 1413.50/1417.11 c rational objective 106 1566.44/1570.76 c #Conflicts: 929000 | #Constraints: 33928 1566.44/1570.76 c #Conflicts: 930000 | #Constraints: 34928 1566.44/1570.76 c #Conflicts: 931000 | #Constraints: 35928 1566.44/1570.76 c #Conflicts: 932000 | #Constraints: 36928 1566.44/1570.76 c #Conflicts: 933000 | #Constraints: 37928 1566.44/1570.76 c #Conflicts: 934000 | #Constraints: 38928 1566.44/1570.76 c #Conflicts: 935000 | #Constraints: 39928 1566.44/1570.76 c #Conflicts: 936000 | #Constraints: 40928 1566.44/1570.76 c #Conflicts: 937000 | #Constraints: 41928 1566.44/1570.76 c #Conflicts: 938000 | #Constraints: 42928 1566.44/1570.76 c #Conflicts: 939000 | #Constraints: 43928 1566.44/1570.76 c #Conflicts: 940000 | #Constraints: 44929 1566.44/1570.76 c #Conflicts: 941000 | #Constraints: 45929 1566.44/1570.76 c #Conflicts: 942000 | #Constraints: 46930 1566.44/1570.76 c #Conflicts: 943000 | #Constraints: 47930 1566.44/1570.76 c #Conflicts: 944000 | #Constraints: 48930 1566.44/1570.76 c #Conflicts: 945000 | #Constraints: 49930 1566.44/1570.76 c #Conflicts: 946000 | #Constraints: 50930 1566.44/1570.76 c #Conflicts: 947000 | #Constraints: 51930 1566.44/1570.76 c #Conflicts: 948000 | #Constraints: 52931 1566.44/1570.76 c #Conflicts: 949000 | #Constraints: 53931 1566.44/1570.76 c #Conflicts: 950000 | #Constraints: 54931 1566.44/1570.76 c #Conflicts: 951000 | #Constraints: 55931 1566.44/1570.76 c #Conflicts: 952000 | #Constraints: 56931 1566.44/1570.76 c #Conflicts: 953000 | #Constraints: 57931 1566.44/1570.76 c #Conflicts: 954000 | #Constraints: 58931 1566.44/1570.76 c #Conflicts: 955000 | #Constraints: 59931 1566.44/1570.76 c #Conflicts: 956000 | #Constraints: 60931 1566.44/1570.76 c #Conflicts: 957000 | #Constraints: 61931 1566.44/1570.76 c #Conflicts: 958000 | #Constraints: 62931 1566.44/1570.76 c #Conflicts: 959000 | #Constraints: 63931 1566.44/1570.76 c #Conflicts: 960000 | #Constraints: 64931 1566.44/1570.76 c #Conflicts: 961000 | #Constraints: 65931 1566.44/1570.76 c #Conflicts: 962000 | #Constraints: 66931 1566.44/1570.76 c #Conflicts: 963000 | #Constraints: 67932 1566.44/1570.76 c #Conflicts: 964000 | #Constraints: 68932 1566.44/1570.76 c #Conflicts: 965000 | #Constraints: 69932 1566.44/1570.76 c #Conflicts: 966000 | #Constraints: 70932 1566.44/1570.76 c #Conflicts: 967000 | #Constraints: 71932 1566.44/1570.76 c #Conflicts: 968000 | #Constraints: 72932 1566.44/1570.76 c #Conflicts: 969000 | #Constraints: 73932 1566.44/1570.76 c #Conflicts: 970000 | #Constraints: 74932 1566.44/1570.76 c #Conflicts: 971000 | #Constraints: 75932 1566.44/1570.76 c #Conflicts: 972000 | #Constraints: 76932 1566.44/1570.76 c #Conflicts: 973000 | #Constraints: 77932 1566.44/1570.76 c #Conflicts: 974000 | #Constraints: 78932 1566.44/1570.76 c #Conflicts: 975000 | #Constraints: 79932 1566.44/1570.76 c #Conflicts: 976000 | #Constraints: 80932 1566.44/1570.76 c #Conflicts: 977000 | #Constraints: 81932 1566.44/1570.76 c #Conflicts: 978000 | #Constraints: 82932 1566.44/1570.76 c #Conflicts: 979000 | #Constraints: 83932 1566.44/1570.76 c #Conflicts: 980000 | #Constraints: 84932 1566.44/1570.76 c #Conflicts: 981000 | #Constraints: 85932 1566.44/1570.76 c #Conflicts: 982000 | #Constraints: 86932 1566.44/1570.76 c #Conflicts: 983000 | #Constraints: 87932 1566.44/1570.76 c #Conflicts: 984000 | #Constraints: 88932 1566.44/1570.76 c #Conflicts: 985000 | #Constraints: 89932 1566.44/1570.76 c #Conflicts: 986000 | #Constraints: 90932 1566.44/1570.76 c #Conflicts: 987000 | #Constraints: 91933 1566.44/1570.76 c #Conflicts: 988000 | #Constraints: 92933 1566.44/1570.76 c #Conflicts: 989000 | #Constraints: 93933 1566.44/1570.76 c #Conflicts: 990000 | #Constraints: 94933 1566.44/1570.76 c #Conflicts: 991000 | #Constraints: 95933 1566.44/1570.76 c #Conflicts: 992000 | #Constraints: 96933 1566.44/1570.76 c #Conflicts: 993000 | #Constraints: 97933 1566.44/1570.76 c #Conflicts: 994000 | #Constraints: 98933 1566.44/1570.76 c #Conflicts: 995000 | #Constraints: 99933 1566.44/1570.76 c #Conflicts: 996000 | #Constraints: 100933 1566.44/1570.76 c #Conflicts: 997000 | #Constraints: 101933 1566.44/1570.76 c #Conflicts: 998000 | #Constraints: 102933 1566.44/1570.76 c #Conflicts: 999000 | #Constraints: 103933 1566.44/1570.76 c #Conflicts: 1000000 | #Constraints: 104933 1566.44/1570.76 c #Conflicts: 1001000 | #Constraints: 105933 1566.44/1570.76 c INPROCESSING 1566.44/1570.76 c GARBAGE COLLECT 1566.44/1570.76 c rational objective 106 1619.92/1624.36 c #Conflicts: 1002000 | #Constraints: 58221 1619.92/1624.36 c #Conflicts: 1003000 | #Constraints: 59221 1619.92/1624.36 c #Conflicts: 1004000 | #Constraints: 60221 1619.92/1624.36 c #Conflicts: 1005000 | #Constraints: 61221 1619.92/1624.36 c #Conflicts: 1006000 | #Constraints: 62221 1619.92/1624.36 c #Conflicts: 1007000 | #Constraints: 63221 1619.92/1624.36 c #Conflicts: 1008000 | #Constraints: 64221 1619.92/1624.36 c #Conflicts: 1009000 | #Constraints: 65222 1619.92/1624.36 c #Conflicts: 1010000 | #Constraints: 66222 1619.92/1624.36 c #Conflicts: 1011000 | #Constraints: 67222 1619.92/1624.36 c #Conflicts: 1012000 | #Constraints: 68222 1619.92/1624.36 c #Conflicts: 1013000 | #Constraints: 69222 1619.92/1624.36 c #Conflicts: 1014000 | #Constraints: 70222 1619.92/1624.36 c #Conflicts: 1015000 | #Constraints: 71222 1619.92/1624.36 c #Conflicts: 1016000 | #Constraints: 72222 1619.92/1624.36 c #Conflicts: 1017000 | #Constraints: 73222 1619.92/1624.36 c #Conflicts: 1018000 | #Constraints: 74222 1619.92/1624.36 c #Conflicts: 1019000 | #Constraints: 75222 1619.92/1624.36 c #Conflicts: 1020000 | #Constraints: 76222 1619.92/1624.36 c #Conflicts: 1021000 | #Constraints: 77223 1619.92/1624.36 c #Conflicts: 1022000 | #Constraints: 78223 1619.92/1624.36 c #Conflicts: 1023000 | #Constraints: 79223 1619.92/1624.36 c #Conflicts: 1024000 | #Constraints: 80223 1619.92/1624.36 c INPROCESSING 1619.92/1624.36 c GARBAGE COLLECT 1619.92/1624.36 c rational objective 106 1658.33/1662.81 c #Conflicts: 1025000 | #Constraints: 44970 1658.33/1662.81 c #Conflicts: 1026000 | #Constraints: 45970 1658.33/1662.81 c #Conflicts: 1027000 | #Constraints: 46970 1658.33/1662.81 c #Conflicts: 1028000 | #Constraints: 47970 1658.33/1662.81 c #Conflicts: 1029000 | #Constraints: 48970 1658.33/1662.81 c #Conflicts: 1030000 | #Constraints: 49970 1658.33/1662.81 c #Conflicts: 1031000 | #Constraints: 50970 1658.33/1662.81 c #Conflicts: 1032000 | #Constraints: 51970 1658.33/1662.81 c #Conflicts: 1033000 | #Constraints: 52970 1658.33/1662.81 c #Conflicts: 1034000 | #Constraints: 53970 1658.33/1662.81 c #Conflicts: 1035000 | #Constraints: 54970 1658.33/1662.81 c #Conflicts: 1036000 | #Constraints: 55970 1658.33/1662.81 c #Conflicts: 1037000 | #Constraints: 56970 1658.33/1662.81 c #Conflicts: 1038000 | #Constraints: 57970 1658.33/1662.81 c #Conflicts: 1039000 | #Constraints: 58970 1658.33/1662.81 c #Conflicts: 1040000 | #Constraints: 59970 1658.33/1662.81 c #Conflicts: 1041000 | #Constraints: 60970 1658.33/1662.81 c #Conflicts: 1042000 | #Constraints: 61970 1658.33/1662.81 c #Conflicts: 1043000 | #Constraints: 62970 1658.33/1662.81 c #Conflicts: 1044000 | #Constraints: 63970 1658.33/1662.81 c #Conflicts: 1045000 | #Constraints: 64970 1658.33/1662.81 c #Conflicts: 1046000 | #Constraints: 65970 1658.33/1662.81 c #Conflicts: 1047000 | #Constraints: 66970 1658.33/1662.81 c #Conflicts: 1048000 | #Constraints: 67970 1658.33/1662.81 c INPROCESSING 1658.33/1662.81 c GARBAGE COLLECT 1658.33/1662.81 c rational objective 106 1695.93/1700.51 c #Conflicts: 1049000 | #Constraints: 38887 1695.93/1700.51 c #Conflicts: 1050000 | #Constraints: 39887 1695.93/1700.51 c #Conflicts: 1051000 | #Constraints: 40887 1695.93/1700.51 c #Conflicts: 1052000 | #Constraints: 41887 1695.93/1700.51 c #Conflicts: 1053000 | #Constraints: 42887 1695.93/1700.51 c #Conflicts: 1054000 | #Constraints: 43887 1695.93/1700.51 c #Conflicts: 1055000 | #Constraints: 44887 1695.93/1700.51 c #Conflicts: 1056000 | #Constraints: 45887 1695.93/1700.51 c #Conflicts: 1057000 | #Constraints: 46887 1695.93/1700.51 c #Conflicts: 1058000 | #Constraints: 47887 1695.93/1700.51 c #Conflicts: 1059000 | #Constraints: 48888 1695.93/1700.51 c #Conflicts: 1060000 | #Constraints: 49888 1695.93/1700.51 c #Conflicts: 1061000 | #Constraints: 50888 1695.93/1700.51 c #Conflicts: 1062000 | #Constraints: 51888 1695.93/1700.51 c #Conflicts: 1063000 | #Constraints: 52888 1695.93/1700.51 c #Conflicts: 1064000 | #Constraints: 53888 1695.93/1700.51 c #Conflicts: 1065000 | #Constraints: 54888 1695.93/1700.51 c #Conflicts: 1066000 | #Constraints: 55888 1695.93/1700.51 c #Conflicts: 1067000 | #Constraints: 56889 1695.93/1700.51 c #Conflicts: 1068000 | #Constraints: 57889 1695.93/1700.51 c #Conflicts: 1069000 | #Constraints: 58889 1695.93/1700.51 c #Conflicts: 1070000 | #Constraints: 59889 1695.93/1700.51 c #Conflicts: 1071000 | #Constraints: 60889 1695.93/1700.51 c #Conflicts: 1072000 | #Constraints: 61889 1695.93/1700.51 c #Conflicts: 1073000 | #Constraints: 62890 1695.93/1700.51 c INPROCESSING 1695.93/1700.51 c GARBAGE COLLECT 1695.93/1700.51 c rational objective 106 1878.70/1883.79 c #Conflicts: 1074000 | #Constraints: 36687 1878.70/1883.79 c #Conflicts: 1075000 | #Constraints: 37687 1878.70/1883.79 c #Conflicts: 1076000 | #Constraints: 38687 1878.70/1883.79 c #Conflicts: 1077000 | #Constraints: 39687 1878.70/1883.79 c #Conflicts: 1078000 | #Constraints: 40687 1878.70/1883.79 c #Conflicts: 1079000 | #Constraints: 41687 1878.70/1883.79 c #Conflicts: 1080000 | #Constraints: 42687 1878.70/1883.79 c #Conflicts: 1081000 | #Constraints: 43687 1878.70/1883.79 c #Conflicts: 1082000 | #Constraints: 44687 1878.70/1883.79 c #Conflicts: 1083000 | #Constraints: 45687 1878.70/1883.79 c #Conflicts: 1084000 | #Constraints: 46687 1878.70/1883.79 c #Conflicts: 1085000 | #Constraints: 47687 1878.70/1883.79 c #Conflicts: 1086000 | #Constraints: 48687 1878.70/1883.79 c #Conflicts: 1087000 | #Constraints: 49687 1878.70/1883.79 c #Conflicts: 1088000 | #Constraints: 50687 1878.70/1883.79 c #Conflicts: 1089000 | #Constraints: 51687 1878.70/1883.79 c #Conflicts: 1090000 | #Constraints: 52687 1878.70/1883.79 c #Conflicts: 1091000 | #Constraints: 53687 1878.70/1883.79 c #Conflicts: 1092000 | #Constraints: 54687 1878.70/1883.79 c #Conflicts: 1093000 | #Constraints: 55687 1878.70/1883.79 c #Conflicts: 1094000 | #Constraints: 56687 1878.70/1883.79 c #Conflicts: 1095000 | #Constraints: 57687 1878.70/1883.79 c #Conflicts: 1096000 | #Constraints: 58687 1878.70/1883.79 c #Conflicts: 1097000 | #Constraints: 59687 1878.70/1883.79 c #Conflicts: 1098000 | #Constraints: 60687 1878.70/1883.79 c #Conflicts: 1099000 | #Constraints: 61687 1878.70/1883.79 c #Conflicts: 1100000 | #Constraints: 62687 1878.70/1883.79 c #Conflicts: 1101000 | #Constraints: 63687 1878.70/1883.79 c #Conflicts: 1102000 | #Constraints: 64687 1878.70/1883.79 c #Conflicts: 1103000 | #Constraints: 65687 1878.70/1883.79 c #Conflicts: 1104000 | #Constraints: 66687 1878.70/1883.79 c #Conflicts: 1105000 | #Constraints: 67687 1878.70/1883.79 c #Conflicts: 1106000 | #Constraints: 68687 1878.70/1883.79 c #Conflicts: 1107000 | #Constraints: 69687 1878.70/1883.79 c #Conflicts: 1108000 | #Constraints: 70687 1878.70/1883.79 c #Conflicts: 1109000 | #Constraints: 71687 1878.70/1883.79 c #Conflicts: 1110000 | #Constraints: 72687 1878.70/1883.79 c #Conflicts: 1111000 | #Constraints: 73687 1878.70/1883.79 c #Conflicts: 1112000 | #Constraints: 74687 1878.70/1883.79 c #Conflicts: 1113000 | #Constraints: 75687 1878.70/1883.79 c #Conflicts: 1114000 | #Constraints: 76687 1878.70/1883.79 c #Conflicts: 1115000 | #Constraints: 77687 1878.70/1883.79 c #Conflicts: 1116000 | #Constraints: 78687 1878.70/1883.79 c #Conflicts: 1117000 | #Constraints: 79687 1878.70/1883.79 c #Conflicts: 1118000 | #Constraints: 80687 1878.70/1883.79 c #Conflicts: 1119000 | #Constraints: 81687 1878.70/1883.79 c #Conflicts: 1120000 | #Constraints: 82687 1878.70/1883.79 c #Conflicts: 1121000 | #Constraints: 83687 1878.70/1883.79 c #Conflicts: 1122000 | #Constraints: 84688 1878.70/1883.79 c #Conflicts: 1123000 | #Constraints: 85688 1878.70/1883.79 c #Conflicts: 1124000 | #Constraints: 86688 1878.70/1883.79 c #Conflicts: 1125000 | #Constraints: 87688 1878.70/1883.79 c #Conflicts: 1126000 | #Constraints: 88688 1878.70/1883.79 c #Conflicts: 1127000 | #Constraints: 89688 1878.70/1883.79 c #Conflicts: 1128000 | #Constraints: 90688 1878.70/1883.79 c #Conflicts: 1129000 | #Constraints: 91688 1878.70/1883.79 c #Conflicts: 1130000 | #Constraints: 92688 1878.70/1883.79 c #Conflicts: 1131000 | #Constraints: 93688 1878.70/1883.79 c #Conflicts: 1132000 | #Constraints: 94688 1878.70/1883.79 c #Conflicts: 1133000 | #Constraints: 95688 1878.70/1883.79 c #Conflicts: 1134000 | #Constraints: 96688 1878.70/1883.79 c #Conflicts: 1135000 | #Constraints: 97688 1878.70/1883.79 c #Conflicts: 1136000 | #Constraints: 98688 1878.70/1883.79 c #Conflicts: 1137000 | #Constraints: 99688 1878.70/1883.79 c #Conflicts: 1138000 | #Constraints: 100689 1878.70/1883.79 c #Conflicts: 1139000 | #Constraints: 101689 1878.70/1883.79 c #Conflicts: 1140000 | #Constraints: 102689 1878.70/1883.79 c #Conflicts: 1141000 | #Constraints: 103689 1878.70/1883.79 c #Conflicts: 1142000 | #Constraints: 104689 1878.70/1883.79 c #Conflicts: 1143000 | #Constraints: 105689 1878.70/1883.79 c #Conflicts: 1144000 | #Constraints: 106689 1878.70/1883.79 c #Conflicts: 1145000 | #Constraints: 107689 1878.70/1883.79 c #Conflicts: 1146000 | #Constraints: 108690 1878.70/1883.79 c #Conflicts: 1147000 | #Constraints: 109690 1878.70/1883.79 c #Conflicts: 1148000 | #Constraints: 110690 1878.70/1883.79 c #Conflicts: 1149000 | #Constraints: 111690 1878.70/1883.79 c #Conflicts: 1150000 | #Constraints: 112691 1878.70/1883.79 c INPROCESSING 1878.70/1883.79 c GARBAGE COLLECT 1878.70/1883.79 c rational objective 106 1921.60/1926.75 c #Conflicts: 1151000 | #Constraints: 61399 1921.60/1926.75 c #Conflicts: 1152000 | #Constraints: 62399 1921.60/1926.75 c #Conflicts: 1153000 | #Constraints: 63399 1921.60/1926.75 c #Conflicts: 1154000 | #Constraints: 64399 1921.60/1926.75 c #Conflicts: 1155000 | #Constraints: 65399 1921.60/1926.75 c #Conflicts: 1156000 | #Constraints: 66399 1921.60/1926.75 c #Conflicts: 1157000 | #Constraints: 67399 1921.60/1926.75 c #Conflicts: 1158000 | #Constraints: 68399 1921.60/1926.75 c #Conflicts: 1159000 | #Constraints: 69399 1921.60/1926.75 c #Conflicts: 1160000 | #Constraints: 70399 1921.60/1926.75 c #Conflicts: 1161000 | #Constraints: 71399 1921.60/1926.75 c #Conflicts: 1162000 | #Constraints: 72400 1921.60/1926.75 c #Conflicts: 1163000 | #Constraints: 73400 1921.60/1926.75 c #Conflicts: 1164000 | #Constraints: 74401 1921.60/1926.75 c #Conflicts: 1165000 | #Constraints: 75401 1921.60/1926.75 c #Conflicts: 1166000 | #Constraints: 76402 1921.60/1926.75 c #Conflicts: 1167000 | #Constraints: 77402 1921.60/1926.75 c #Conflicts: 1168000 | #Constraints: 78402 1921.60/1926.75 c #Conflicts: 1169000 | #Constraints: 79402 1921.60/1926.75 c #Conflicts: 1170000 | #Constraints: 80402 1921.60/1926.75 c #Conflicts: 1171000 | #Constraints: 81402 1921.60/1926.75 c #Conflicts: 1172000 | #Constraints: 82402 1921.60/1926.75 c #Conflicts: 1173000 | #Constraints: 83402 1921.60/1926.75 c #Conflicts: 1174000 | #Constraints: 84402 1921.60/1926.75 c #Conflicts: 1175000 | #Constraints: 85402 1921.60/1926.75 c #Conflicts: 1176000 | #Constraints: 86402 1921.60/1926.75 c INPROCESSING 1921.60/1926.75 c GARBAGE COLLECT 1921.60/1926.75 c rational objective 106 1962.71/1967.93 c #Conflicts: 1177000 | #Constraints: 48416 1962.71/1967.93 c #Conflicts: 1178000 | #Constraints: 49416 1962.71/1967.93 c #Conflicts: 1179000 | #Constraints: 50417 1962.71/1967.93 c #Conflicts: 1180000 | #Constraints: 51417 1962.71/1967.93 c #Conflicts: 1181000 | #Constraints: 52417 1962.71/1967.93 c #Conflicts: 1182000 | #Constraints: 53417 1962.71/1967.93 c #Conflicts: 1183000 | #Constraints: 54417 1962.71/1967.93 c #Conflicts: 1184000 | #Constraints: 55417 1962.71/1967.93 c #Conflicts: 1185000 | #Constraints: 56417 1962.71/1967.93 c #Conflicts: 1186000 | #Constraints: 57417 1962.71/1967.93 c #Conflicts: 1187000 | #Constraints: 58417 1962.71/1967.93 c #Conflicts: 1188000 | #Constraints: 59417 1962.71/1967.93 c #Conflicts: 1189000 | #Constraints: 60417 1962.71/1967.93 c #Conflicts: 1190000 | #Constraints: 61417 1962.71/1967.93 c #Conflicts: 1191000 | #Constraints: 62417 1962.71/1967.93 c #Conflicts: 1192000 | #Constraints: 63417 1962.71/1967.93 c #Conflicts: 1193000 | #Constraints: 64418 1962.71/1967.93 c #Conflicts: 1194000 | #Constraints: 65418 1962.71/1967.93 c #Conflicts: 1195000 | #Constraints: 66419 1962.71/1967.93 c #Conflicts: 1196000 | #Constraints: 67419 1962.71/1967.93 c #Conflicts: 1197000 | #Constraints: 68419 1962.71/1967.93 c #Conflicts: 1198000 | #Constraints: 69419 1962.71/1967.93 c #Conflicts: 1199000 | #Constraints: 70419 1962.71/1967.93 c #Conflicts: 1200000 | #Constraints: 71419 1962.71/1967.93 c #Conflicts: 1201000 | #Constraints: 72419 1962.71/1967.93 c INPROCESSING 1962.71/1967.93 c GARBAGE COLLECT 1962.71/1967.93 c rational objective 106 1996.32/2001.61 c #Conflicts: 1202000 | #Constraints: 41207 1996.32/2001.61 c #Conflicts: 1203000 | #Constraints: 42207 1996.32/2001.61 c #Conflicts: 1204000 | #Constraints: 43207 1996.32/2001.61 c #Conflicts: 1205000 | #Constraints: 44207 1996.32/2001.61 c #Conflicts: 1206000 | #Constraints: 45208 1996.32/2001.61 c #Conflicts: 1207000 | #Constraints: 46208 1996.32/2001.61 c #Conflicts: 1208000 | #Constraints: 47209 1996.32/2001.61 c #Conflicts: 1209000 | #Constraints: 48209 1996.32/2001.61 c #Conflicts: 1210000 | #Constraints: 49209 1996.32/2001.61 c #Conflicts: 1211000 | #Constraints: 50209 1996.32/2001.61 c #Conflicts: 1212000 | #Constraints: 51209 1996.32/2001.61 c #Conflicts: 1213000 | #Constraints: 52210 1996.32/2001.61 c #Conflicts: 1214000 | #Constraints: 53210 1996.32/2001.61 c #Conflicts: 1215000 | #Constraints: 54210 1996.32/2001.61 c #Conflicts: 1216000 | #Constraints: 55210 1996.32/2001.61 c #Conflicts: 1217000 | #Constraints: 56210 1996.32/2001.61 c #Conflicts: 1218000 | #Constraints: 57210 1996.32/2001.61 c #Conflicts: 1219000 | #Constraints: 58210 1996.32/2001.61 c #Conflicts: 1220000 | #Constraints: 59210 1996.32/2001.61 c #Conflicts: 1221000 | #Constraints: 60211 1996.32/2001.61 c #Conflicts: 1222000 | #Constraints: 61211 1996.32/2001.61 c #Conflicts: 1223000 | #Constraints: 62211 1996.32/2001.61 c #Conflicts: 1224000 | #Constraints: 63211 1996.32/2001.61 c #Conflicts: 1225000 | #Constraints: 64211 1996.32/2001.61 c #Conflicts: 1226000 | #Constraints: 65211 1996.32/2001.61 c #Conflicts: 1227000 | #Constraints: 66211 1996.32/2001.61 c INPROCESSING 1996.32/2001.61 c GARBAGE COLLECT 1996.32/2001.61 c rational objective 106 2168.42/2174.13 c #Conflicts: 1228000 | #Constraints: 38123 2168.42/2174.13 c #Conflicts: 1229000 | #Constraints: 39123 2168.42/2174.13 c #Conflicts: 1230000 | #Constraints: 40123 2168.42/2174.13 c #Conflicts: 1231000 | #Constraints: 41123 2168.42/2174.13 c #Conflicts: 1232000 | #Constraints: 42124 2168.42/2174.13 c #Conflicts: 1233000 | #Constraints: 43124 2168.42/2174.13 c #Conflicts: 1234000 | #Constraints: 44124 2168.42/2174.13 c #Conflicts: 1235000 | #Constraints: 45124 2168.42/2174.13 c #Conflicts: 1236000 | #Constraints: 46124 2168.42/2174.13 c #Conflicts: 1237000 | #Constraints: 47124 2168.42/2174.13 c #Conflicts: 1238000 | #Constraints: 48124 2168.42/2174.13 c #Conflicts: 1239000 | #Constraints: 49124 2168.42/2174.13 c #Conflicts: 1240000 | #Constraints: 50124 2168.42/2174.13 c #Conflicts: 1241000 | #Constraints: 51124 2168.42/2174.13 c #Conflicts: 1242000 | #Constraints: 52124 2168.42/2174.13 c #Conflicts: 1243000 | #Constraints: 53124 2168.42/2174.13 c #Conflicts: 1244000 | #Constraints: 54124 2168.42/2174.13 c #Conflicts: 1245000 | #Constraints: 55124 2168.42/2174.13 c #Conflicts: 1246000 | #Constraints: 56125 2168.42/2174.13 c #Conflicts: 1247000 | #Constraints: 57125 2168.42/2174.13 c #Conflicts: 1248000 | #Constraints: 58125 2168.42/2174.13 c #Conflicts: 1249000 | #Constraints: 59125 2168.42/2174.13 c #Conflicts: 1250000 | #Constraints: 60125 2168.42/2174.13 c #Conflicts: 1251000 | #Constraints: 61125 2168.42/2174.13 c #Conflicts: 1252000 | #Constraints: 62125 2168.42/2174.13 c #Conflicts: 1253000 | #Constraints: 63125 2168.42/2174.13 c #Conflicts: 1254000 | #Constraints: 64125 2168.42/2174.13 c #Conflicts: 1255000 | #Constraints: 65125 2168.42/2174.13 c #Conflicts: 1256000 | #Constraints: 66125 2168.42/2174.13 c #Conflicts: 1257000 | #Constraints: 67126 2168.42/2174.13 c #Conflicts: 1258000 | #Constraints: 68126 2168.42/2174.13 c #Conflicts: 1259000 | #Constraints: 69126 2168.42/2174.13 c #Conflicts: 1260000 | #Constraints: 70126 2168.42/2174.13 c #Conflicts: 1261000 | #Constraints: 71126 2168.42/2174.13 c #Conflicts: 1262000 | #Constraints: 72126 2168.42/2174.13 c #Conflicts: 1263000 | #Constraints: 73126 2168.42/2174.13 c #Conflicts: 1264000 | #Constraints: 74126 2168.42/2174.13 c #Conflicts: 1265000 | #Constraints: 75126 2168.42/2174.13 c #Conflicts: 1266000 | #Constraints: 76126 2168.42/2174.13 c #Conflicts: 1267000 | #Constraints: 77126 2168.42/2174.13 c #Conflicts: 1268000 | #Constraints: 78126 2168.42/2174.13 c #Conflicts: 1269000 | #Constraints: 79126 2168.42/2174.13 c #Conflicts: 1270000 | #Constraints: 80127 2168.42/2174.13 c #Conflicts: 1271000 | #Constraints: 81127 2168.42/2174.13 c #Conflicts: 1272000 | #Constraints: 82127 2168.42/2174.13 c #Conflicts: 1273000 | #Constraints: 83127 2168.42/2174.13 c #Conflicts: 1274000 | #Constraints: 84127 2168.42/2174.13 c #Conflicts: 1275000 | #Constraints: 85127 2168.42/2174.13 c #Conflicts: 1276000 | #Constraints: 86127 2168.42/2174.13 c #Conflicts: 1277000 | #Constraints: 87127 2168.42/2174.13 c #Conflicts: 1278000 | #Constraints: 88127 2168.42/2174.13 c #Conflicts: 1279000 | #Constraints: 89127 2168.42/2174.13 c #Conflicts: 1280000 | #Constraints: 90127 2168.42/2174.13 c #Conflicts: 1281000 | #Constraints: 91127 2168.42/2174.13 c #Conflicts: 1282000 | #Constraints: 92127 2168.42/2174.13 c #Conflicts: 1283000 | #Constraints: 93127 2168.42/2174.13 c #Conflicts: 1284000 | #Constraints: 94127 2168.42/2174.13 c #Conflicts: 1285000 | #Constraints: 95127 2168.42/2174.13 c #Conflicts: 1286000 | #Constraints: 96127 2168.42/2174.13 c #Conflicts: 1287000 | #Constraints: 97127 2168.42/2174.13 c #Conflicts: 1288000 | #Constraints: 98127 2168.42/2174.13 c #Conflicts: 1289000 | #Constraints: 99128 2168.42/2174.13 c #Conflicts: 1290000 | #Constraints: 100128 2168.42/2174.13 c #Conflicts: 1291000 | #Constraints: 101128 2168.42/2174.13 c #Conflicts: 1292000 | #Constraints: 102128 2168.42/2174.13 c #Conflicts: 1293000 | #Constraints: 103128 2168.42/2174.13 c #Conflicts: 1294000 | #Constraints: 104128 2168.42/2174.13 c #Conflicts: 1295000 | #Constraints: 105128 2168.42/2174.13 c #Conflicts: 1296000 | #Constraints: 106129 2168.42/2174.13 c #Conflicts: 1297000 | #Constraints: 107129 2168.42/2174.13 c #Conflicts: 1298000 | #Constraints: 108129 2168.42/2174.13 c #Conflicts: 1299000 | #Constraints: 109129 2168.42/2174.13 c #Conflicts: 1300000 | #Constraints: 110129 2168.42/2174.13 c #Conflicts: 1301000 | #Constraints: 111129 2168.42/2174.13 c #Conflicts: 1302000 | #Constraints: 112129 2168.42/2174.13 c #Conflicts: 1303000 | #Constraints: 113129 2168.42/2174.13 c #Conflicts: 1304000 | #Constraints: 114129 2168.42/2174.13 c #Conflicts: 1305000 | #Constraints: 115129 2168.42/2174.13 c #Conflicts: 1306000 | #Constraints: 116129 2192.85/2198.64 c #Conflicts: 1307000 | #Constraints: 117129 2192.85/2198.64 c #Conflicts: 1308000 | #Constraints: 118129 2192.85/2198.64 c #Conflicts: 1309000 | #Constraints: 119129 2192.85/2198.64 c #Conflicts: 1310000 | #Constraints: 120129 2192.85/2198.64 c INPROCESSING 2192.85/2198.64 c GARBAGE COLLECT 2192.85/2198.64 c rational objective 106 2260.48/2266.41 c #Conflicts: 1311000 | #Constraints: 65189 2260.48/2266.41 c #Conflicts: 1312000 | #Constraints: 66189 2260.48/2266.41 c #Conflicts: 1313000 | #Constraints: 67190 2260.48/2266.41 c #Conflicts: 1314000 | #Constraints: 68190 2260.48/2266.41 c #Conflicts: 1315000 | #Constraints: 69190 2260.48/2266.41 c #Conflicts: 1316000 | #Constraints: 70190 2260.48/2266.41 c #Conflicts: 1317000 | #Constraints: 71190 2260.48/2266.41 c #Conflicts: 1318000 | #Constraints: 72190 2260.48/2266.41 c #Conflicts: 1319000 | #Constraints: 73190 2260.48/2266.41 c #Conflicts: 1320000 | #Constraints: 74190 2260.48/2266.41 c #Conflicts: 1321000 | #Constraints: 75190 2260.48/2266.41 c #Conflicts: 1322000 | #Constraints: 76190 2260.48/2266.41 c #Conflicts: 1323000 | #Constraints: 77190 2260.48/2266.41 c #Conflicts: 1324000 | #Constraints: 78190 2260.48/2266.41 c #Conflicts: 1325000 | #Constraints: 79190 2260.48/2266.41 c #Conflicts: 1326000 | #Constraints: 80190 2260.48/2266.41 c #Conflicts: 1327000 | #Constraints: 81190 2260.48/2266.41 c #Conflicts: 1328000 | #Constraints: 82190 2260.48/2266.41 c #Conflicts: 1329000 | #Constraints: 83190 2260.48/2266.41 c #Conflicts: 1330000 | #Constraints: 84190 2260.48/2266.41 c #Conflicts: 1331000 | #Constraints: 85190 2260.48/2266.41 c #Conflicts: 1332000 | #Constraints: 86190 2260.48/2266.41 c #Conflicts: 1333000 | #Constraints: 87190 2260.48/2266.41 c #Conflicts: 1334000 | #Constraints: 88190 2260.48/2266.41 c #Conflicts: 1335000 | #Constraints: 89190 2260.48/2266.41 c #Conflicts: 1336000 | #Constraints: 90190 2260.48/2266.41 c #Conflicts: 1337000 | #Constraints: 91190 2260.48/2266.41 c INPROCESSING 2260.48/2266.41 c GARBAGE COLLECT 2260.48/2266.41 c rational objective 106 2314.03/2320.12 c #Conflicts: 1338000 | #Constraints: 50614 2314.03/2320.12 c #Conflicts: 1339000 | #Constraints: 51614 2314.03/2320.12 c #Conflicts: 1340000 | #Constraints: 52614 2314.03/2320.12 c #Conflicts: 1341000 | #Constraints: 53614 2314.03/2320.12 c #Conflicts: 1342000 | #Constraints: 54614 2314.03/2320.12 c #Conflicts: 1343000 | #Constraints: 55614 2314.03/2320.12 c #Conflicts: 1344000 | #Constraints: 56614 2314.03/2320.12 c #Conflicts: 1345000 | #Constraints: 57614 2314.03/2320.12 c #Conflicts: 1346000 | #Constraints: 58614 2314.03/2320.12 c #Conflicts: 1347000 | #Constraints: 59614 2314.03/2320.12 c #Conflicts: 1348000 | #Constraints: 60614 2314.03/2320.12 c #Conflicts: 1349000 | #Constraints: 61614 2314.03/2320.12 c #Conflicts: 1350000 | #Constraints: 62614 2314.03/2320.12 c #Conflicts: 1351000 | #Constraints: 63614 2314.03/2320.12 c #Conflicts: 1352000 | #Constraints: 64614 2314.03/2320.12 c #Conflicts: 1353000 | #Constraints: 65614 2314.03/2320.12 c #Conflicts: 1354000 | #Constraints: 66614 2314.03/2320.12 c #Conflicts: 1355000 | #Constraints: 67614 2314.03/2320.12 c #Conflicts: 1356000 | #Constraints: 68614 2314.03/2320.12 c #Conflicts: 1357000 | #Constraints: 69614 2314.03/2320.12 c #Conflicts: 1358000 | #Constraints: 70614 2314.03/2320.12 c #Conflicts: 1359000 | #Constraints: 71614 2314.03/2320.12 c #Conflicts: 1360000 | #Constraints: 72614 2314.03/2320.12 c #Conflicts: 1361000 | #Constraints: 73614 2314.03/2320.12 c #Conflicts: 1362000 | #Constraints: 74614 2314.03/2320.12 c #Conflicts: 1363000 | #Constraints: 75614 2314.03/2320.12 c #Conflicts: 1364000 | #Constraints: 76614 2314.03/2320.12 c #Conflicts: 1365000 | #Constraints: 77614 2314.03/2320.12 c INPROCESSING 2314.03/2320.12 c GARBAGE COLLECT 2314.03/2320.12 c rational objective 106 2352.41/2358.62 c #Conflicts: 1366000 | #Constraints: 44118 2352.41/2358.62 c #Conflicts: 1367000 | #Constraints: 45118 2352.41/2358.62 c #Conflicts: 1368000 | #Constraints: 46118 2352.41/2358.62 c #Conflicts: 1369000 | #Constraints: 47119 2352.41/2358.62 c #Conflicts: 1370000 | #Constraints: 48119 2352.41/2358.62 c #Conflicts: 1371000 | #Constraints: 49119 2352.41/2358.62 c #Conflicts: 1372000 | #Constraints: 50119 2352.41/2358.62 c #Conflicts: 1373000 | #Constraints: 51119 2352.41/2358.62 c #Conflicts: 1374000 | #Constraints: 52119 2352.41/2358.62 c #Conflicts: 1375000 | #Constraints: 53119 2352.41/2358.62 c #Conflicts: 1376000 | #Constraints: 54120 2352.41/2358.62 c #Conflicts: 1377000 | #Constraints: 55120 2352.41/2358.62 c #Conflicts: 1378000 | #Constraints: 56120 2352.41/2358.62 c #Conflicts: 1379000 | #Constraints: 57120 2352.41/2358.62 c #Conflicts: 1380000 | #Constraints: 58120 2352.41/2358.62 c #Conflicts: 1381000 | #Constraints: 59120 2352.41/2358.62 c #Conflicts: 1382000 | #Constraints: 60120 2352.41/2358.62 c #Conflicts: 1383000 | #Constraints: 61120 2352.41/2358.62 c #Conflicts: 1384000 | #Constraints: 62120 2352.41/2358.62 c #Conflicts: 1385000 | #Constraints: 63120 2352.41/2358.62 c #Conflicts: 1386000 | #Constraints: 64120 2352.41/2358.62 c #Conflicts: 1387000 | #Constraints: 65120 2352.41/2358.62 c #Conflicts: 1388000 | #Constraints: 66120 2352.41/2358.62 c #Conflicts: 1389000 | #Constraints: 67121 2352.41/2358.62 c #Conflicts: 1390000 | #Constraints: 68121 2352.41/2358.62 c #Conflicts: 1391000 | #Constraints: 69121 2352.41/2358.62 c #Conflicts: 1392000 | #Constraints: 70121 2352.41/2358.62 c INPROCESSING 2352.41/2358.62 c GARBAGE COLLECT 2352.41/2358.62 c rational objective 106 2520.14/2526.86 c #Conflicts: 1393000 | #Constraints: 40061 2520.14/2526.86 c #Conflicts: 1394000 | #Constraints: 41061 2520.14/2526.86 c #Conflicts: 1395000 | #Constraints: 42061 2520.14/2526.86 c #Conflicts: 1396000 | #Constraints: 43061 2520.14/2526.86 c #Conflicts: 1397000 | #Constraints: 44061 2520.14/2526.86 c #Conflicts: 1398000 | #Constraints: 45061 2520.14/2526.86 c #Conflicts: 1399000 | #Constraints: 46061 2520.14/2526.86 c #Conflicts: 1400000 | #Constraints: 47061 2520.14/2526.86 c #Conflicts: 1401000 | #Constraints: 48061 2520.14/2526.86 c #Conflicts: 1402000 | #Constraints: 49061 2520.14/2526.86 c #Conflicts: 1403000 | #Constraints: 50061 2520.14/2526.86 c #Conflicts: 1404000 | #Constraints: 51061 2520.14/2526.86 c #Conflicts: 1405000 | #Constraints: 52061 2520.14/2526.86 c #Conflicts: 1406000 | #Constraints: 53061 2520.14/2526.86 c #Conflicts: 1407000 | #Constraints: 54061 2520.14/2526.86 c #Conflicts: 1408000 | #Constraints: 55061 2520.14/2526.86 c #Conflicts: 1409000 | #Constraints: 56061 2520.14/2526.86 c #Conflicts: 1410000 | #Constraints: 57061 2520.14/2526.86 c #Conflicts: 1411000 | #Constraints: 58061 2520.14/2526.86 c #Conflicts: 1412000 | #Constraints: 59061 2520.14/2526.86 c #Conflicts: 1413000 | #Constraints: 60061 2520.14/2526.86 c #Conflicts: 1414000 | #Constraints: 61061 2520.14/2526.86 c #Conflicts: 1415000 | #Constraints: 62062 2520.14/2526.86 c #Conflicts: 1416000 | #Constraints: 63062 2520.14/2526.86 c #Conflicts: 1417000 | #Constraints: 64063 2520.14/2526.86 c #Conflicts: 1418000 | #Constraints: 65063 2520.14/2526.86 c #Conflicts: 1419000 | #Constraints: 66063 2520.14/2526.86 c #Conflicts: 1420000 | #Constraints: 67063 2520.14/2526.86 c #Conflicts: 1421000 | #Constraints: 68063 2520.14/2526.86 c #Conflicts: 1422000 | #Constraints: 69063 2520.14/2526.86 c #Conflicts: 1423000 | #Constraints: 70063 2520.14/2526.86 c #Conflicts: 1424000 | #Constraints: 71063 2520.14/2526.86 c #Conflicts: 1425000 | #Constraints: 72063 2520.14/2526.86 c #Conflicts: 1426000 | #Constraints: 73063 2520.14/2526.86 c #Conflicts: 1427000 | #Constraints: 74063 2520.14/2526.86 c #Conflicts: 1428000 | #Constraints: 75063 2520.14/2526.86 c #Conflicts: 1429000 | #Constraints: 76063 2520.14/2526.86 c #Conflicts: 1430000 | #Constraints: 77063 2520.14/2526.86 c #Conflicts: 1431000 | #Constraints: 78063 2520.14/2526.86 c #Conflicts: 1432000 | #Constraints: 79064 2520.14/2526.86 c #Conflicts: 1433000 | #Constraints: 80064 2520.14/2526.86 c #Conflicts: 1434000 | #Constraints: 81064 2520.14/2526.86 c #Conflicts: 1435000 | #Constraints: 82064 2520.14/2526.86 c #Conflicts: 1436000 | #Constraints: 83065 2520.14/2526.86 c #Conflicts: 1437000 | #Constraints: 84065 2520.14/2526.86 c #Conflicts: 1438000 | #Constraints: 85065 2520.14/2526.86 c #Conflicts: 1439000 | #Constraints: 86066 2520.14/2526.86 c #Conflicts: 1440000 | #Constraints: 87066 2520.14/2526.86 c #Conflicts: 1441000 | #Constraints: 88066 2520.14/2526.86 c #Conflicts: 1442000 | #Constraints: 89067 2520.14/2526.86 c #Conflicts: 1443000 | #Constraints: 90067 2520.14/2526.86 c #Conflicts: 1444000 | #Constraints: 91067 2520.14/2526.86 c #Conflicts: 1445000 | #Constraints: 92067 2520.14/2526.86 c #Conflicts: 1446000 | #Constraints: 93067 2520.14/2526.86 c #Conflicts: 1447000 | #Constraints: 94067 2520.14/2526.86 c #Conflicts: 1448000 | #Constraints: 95067 2520.14/2526.86 c #Conflicts: 1449000 | #Constraints: 96067 2520.14/2526.86 c #Conflicts: 1450000 | #Constraints: 97068 2520.14/2526.86 c #Conflicts: 1451000 | #Constraints: 98068 2520.14/2526.86 c #Conflicts: 1452000 | #Constraints: 99068 2520.14/2526.86 c #Conflicts: 1453000 | #Constraints: 100069 2520.14/2526.86 c #Conflicts: 1454000 | #Constraints: 101069 2520.14/2526.86 c #Conflicts: 1455000 | #Constraints: 102069 2520.14/2526.86 c #Conflicts: 1456000 | #Constraints: 103069 2520.14/2526.86 c #Conflicts: 1457000 | #Constraints: 104069 2520.14/2526.86 c #Conflicts: 1458000 | #Constraints: 105069 2520.14/2526.86 c #Conflicts: 1459000 | #Constraints: 106070 2520.14/2526.86 c #Conflicts: 1460000 | #Constraints: 107070 2520.14/2526.86 c #Conflicts: 1461000 | #Constraints: 108070 2520.14/2526.86 c #Conflicts: 1462000 | #Constraints: 109070 2520.14/2526.86 c #Conflicts: 1463000 | #Constraints: 110070 2520.14/2526.86 c #Conflicts: 1464000 | #Constraints: 111070 2520.14/2526.86 c #Conflicts: 1465000 | #Constraints: 112070 2520.14/2526.86 c #Conflicts: 1466000 | #Constraints: 113070 2520.14/2526.86 c #Conflicts: 1467000 | #Constraints: 114071 2520.14/2526.86 c #Conflicts: 1468000 | #Constraints: 115071 2520.14/2526.86 c #Conflicts: 1469000 | #Constraints: 116071 2520.14/2526.86 c #Conflicts: 1470000 | #Constraints: 117071 2520.14/2526.86 c #Conflicts: 1471000 | #Constraints: 118071 2574.19/2581.03 c #Conflicts: 1472000 | #Constraints: 119071 2574.19/2581.03 c #Conflicts: 1473000 | #Constraints: 120071 2574.19/2581.03 c #Conflicts: 1474000 | #Constraints: 121071 2574.19/2581.03 c #Conflicts: 1475000 | #Constraints: 122071 2574.19/2581.03 c #Conflicts: 1476000 | #Constraints: 123072 2574.19/2581.03 c #Conflicts: 1477000 | #Constraints: 124072 2574.19/2581.03 c #Conflicts: 1478000 | #Constraints: 125072 2574.19/2581.03 c #Conflicts: 1479000 | #Constraints: 126072 2574.19/2581.03 c #Conflicts: 1480000 | #Constraints: 127072 2574.19/2581.03 c INPROCESSING 2574.19/2581.03 c GARBAGE COLLECT 2574.19/2581.03 c rational objective 106 2633.81/2640.82 c #Conflicts: 1481000 | #Constraints: 68514 2633.81/2640.82 c #Conflicts: 1482000 | #Constraints: 69514 2633.81/2640.82 c #Conflicts: 1483000 | #Constraints: 70514 2633.81/2640.82 c #Conflicts: 1484000 | #Constraints: 71514 2633.81/2640.82 c #Conflicts: 1485000 | #Constraints: 72514 2633.81/2640.82 c #Conflicts: 1486000 | #Constraints: 73514 2633.81/2640.82 c #Conflicts: 1487000 | #Constraints: 74514 2633.81/2640.82 c #Conflicts: 1488000 | #Constraints: 75514 2633.81/2640.82 c #Conflicts: 1489000 | #Constraints: 76514 2633.81/2640.82 c #Conflicts: 1490000 | #Constraints: 77514 2633.81/2640.82 c #Conflicts: 1491000 | #Constraints: 78514 2633.81/2640.82 c #Conflicts: 1492000 | #Constraints: 79514 2633.81/2640.82 c #Conflicts: 1493000 | #Constraints: 80514 2633.81/2640.82 c #Conflicts: 1494000 | #Constraints: 81514 2633.81/2640.82 c #Conflicts: 1495000 | #Constraints: 82514 2633.81/2640.82 c #Conflicts: 1496000 | #Constraints: 83514 2633.81/2640.82 c #Conflicts: 1497000 | #Constraints: 84514 2633.81/2640.82 c #Conflicts: 1498000 | #Constraints: 85515 2633.81/2640.82 c #Conflicts: 1499000 | #Constraints: 86515 2633.81/2640.82 c #Conflicts: 1500000 | #Constraints: 87515 2633.81/2640.82 c #Conflicts: 1501000 | #Constraints: 88515 2633.81/2640.82 c #Conflicts: 1502000 | #Constraints: 89516 2633.81/2640.82 c #Conflicts: 1503000 | #Constraints: 90516 2633.81/2640.82 c #Conflicts: 1504000 | #Constraints: 91516 2633.81/2640.82 c #Conflicts: 1505000 | #Constraints: 92516 2633.81/2640.82 c #Conflicts: 1506000 | #Constraints: 93516 2633.81/2640.82 c #Conflicts: 1507000 | #Constraints: 94516 2633.81/2640.82 c #Conflicts: 1508000 | #Constraints: 95516 2633.81/2640.82 c #Conflicts: 1509000 | #Constraints: 96516 2633.81/2640.82 c INPROCESSING 2633.81/2640.82 c GARBAGE COLLECT 2633.81/2640.82 c rational objective 106 2682.37/2689.53 c #Conflicts: 1510000 | #Constraints: 53294 2682.37/2689.53 c #Conflicts: 1511000 | #Constraints: 54294 2682.37/2689.53 c #Conflicts: 1512000 | #Constraints: 55294 2682.37/2689.53 c #Conflicts: 1513000 | #Constraints: 56295 2682.37/2689.53 c #Conflicts: 1514000 | #Constraints: 57295 2682.37/2689.53 c #Conflicts: 1515000 | #Constraints: 58295 2682.37/2689.53 c #Conflicts: 1516000 | #Constraints: 59295 2682.37/2689.53 c #Conflicts: 1517000 | #Constraints: 60296 2682.37/2689.53 c #Conflicts: 1518000 | #Constraints: 61296 2682.37/2689.53 c #Conflicts: 1519000 | #Constraints: 62297 2682.37/2689.53 c #Conflicts: 1520000 | #Constraints: 63298 2682.37/2689.53 c #Conflicts: 1521000 | #Constraints: 64298 2682.37/2689.53 c #Conflicts: 1522000 | #Constraints: 65298 2682.37/2689.53 c #Conflicts: 1523000 | #Constraints: 66298 2682.37/2689.53 c #Conflicts: 1524000 | #Constraints: 67298 2682.37/2689.53 c #Conflicts: 1525000 | #Constraints: 68298 2682.37/2689.53 c #Conflicts: 1526000 | #Constraints: 69298 2682.37/2689.53 c #Conflicts: 1527000 | #Constraints: 70298 2682.37/2689.53 c #Conflicts: 1528000 | #Constraints: 71299 2682.37/2689.53 c #Conflicts: 1529000 | #Constraints: 72299 2682.37/2689.53 c #Conflicts: 1530000 | #Constraints: 73299 2682.37/2689.53 c #Conflicts: 1531000 | #Constraints: 74299 2682.37/2689.53 c #Conflicts: 1532000 | #Constraints: 75299 2682.37/2689.53 c #Conflicts: 1533000 | #Constraints: 76299 2682.37/2689.53 c #Conflicts: 1534000 | #Constraints: 77299 2682.37/2689.53 c #Conflicts: 1535000 | #Constraints: 78299 2682.37/2689.53 c #Conflicts: 1536000 | #Constraints: 79299 2682.37/2689.53 c #Conflicts: 1537000 | #Constraints: 80299 2682.37/2689.53 c #Conflicts: 1538000 | #Constraints: 81299 2682.37/2689.53 c INPROCESSING 2682.37/2689.53 c GARBAGE COLLECT 2682.37/2689.53 c rational objective 106 2733.73/2741.00 c #Conflicts: 1539000 | #Constraints: 45616 2733.73/2741.00 c #Conflicts: 1540000 | #Constraints: 46616 2733.73/2741.00 c #Conflicts: 1541000 | #Constraints: 47616 2733.73/2741.00 c #Conflicts: 1542000 | #Constraints: 48616 2733.73/2741.00 c #Conflicts: 1543000 | #Constraints: 49616 2733.73/2741.00 c #Conflicts: 1544000 | #Constraints: 50616 2733.73/2741.00 c #Conflicts: 1545000 | #Constraints: 51616 2733.73/2741.00 c #Conflicts: 1546000 | #Constraints: 52616 2733.73/2741.00 c #Conflicts: 1547000 | #Constraints: 53616 2733.73/2741.00 c #Conflicts: 1548000 | #Constraints: 54616 2733.73/2741.00 c #Conflicts: 1549000 | #Constraints: 55616 2733.73/2741.00 c #Conflicts: 1550000 | #Constraints: 56616 2733.73/2741.00 c #Conflicts: 1551000 | #Constraints: 57616 2733.73/2741.00 c #Conflicts: 1552000 | #Constraints: 58616 2733.73/2741.00 c #Conflicts: 1553000 | #Constraints: 59617 2733.73/2741.00 c #Conflicts: 1554000 | #Constraints: 60617 2733.73/2741.00 c #Conflicts: 1555000 | #Constraints: 61617 2733.73/2741.00 c #Conflicts: 1556000 | #Constraints: 62617 2733.73/2741.00 c #Conflicts: 1557000 | #Constraints: 63617 2733.73/2741.00 c #Conflicts: 1558000 | #Constraints: 64617 2733.73/2741.00 c #Conflicts: 1559000 | #Constraints: 65617 2733.73/2741.00 c #Conflicts: 1560000 | #Constraints: 66617 2733.73/2741.00 c #Conflicts: 1561000 | #Constraints: 67617 2733.73/2741.00 c #Conflicts: 1562000 | #Constraints: 68617 2733.73/2741.00 c #Conflicts: 1563000 | #Constraints: 69617 2733.73/2741.00 c #Conflicts: 1564000 | #Constraints: 70617 2733.73/2741.00 c #Conflicts: 1565000 | #Constraints: 71617 2733.73/2741.00 c #Conflicts: 1566000 | #Constraints: 72618 2733.73/2741.00 c #Conflicts: 1567000 | #Constraints: 73618 2733.73/2741.00 c #Conflicts: 1568000 | #Constraints: 74618 2733.73/2741.00 c INPROCESSING 2733.73/2741.00 c GARBAGE COLLECT 2733.73/2741.00 c rational objective 106 2913.80/2921.59 c #Conflicts: 1569000 | #Constraints: 42622 2913.80/2921.59 c #Conflicts: 1570000 | #Constraints: 43622 2913.80/2921.59 c #Conflicts: 1571000 | #Constraints: 44622 2913.80/2921.59 c #Conflicts: 1572000 | #Constraints: 45622 2913.80/2921.59 c #Conflicts: 1573000 | #Constraints: 46622 2913.80/2921.59 c #Conflicts: 1574000 | #Constraints: 47622 2913.80/2921.59 c #Conflicts: 1575000 | #Constraints: 48622 2913.80/2921.59 c #Conflicts: 1576000 | #Constraints: 49622 2913.80/2921.59 c #Conflicts: 1577000 | #Constraints: 50622 2913.80/2921.59 c #Conflicts: 1578000 | #Constraints: 51622 2913.80/2921.59 c #Conflicts: 1579000 | #Constraints: 52622 2913.80/2921.59 c #Conflicts: 1580000 | #Constraints: 53622 2913.80/2921.59 c #Conflicts: 1581000 | #Constraints: 54622 2913.80/2921.59 c #Conflicts: 1582000 | #Constraints: 55622 2913.80/2921.59 c #Conflicts: 1583000 | #Constraints: 56622 2913.80/2921.59 c #Conflicts: 1584000 | #Constraints: 57622 2913.80/2921.59 c #Conflicts: 1585000 | #Constraints: 58622 2913.80/2921.59 c #Conflicts: 1586000 | #Constraints: 59622 2913.80/2921.59 c #Conflicts: 1587000 | #Constraints: 60622 2913.80/2921.59 c #Conflicts: 1588000 | #Constraints: 61622 2913.80/2921.59 c #Conflicts: 1589000 | #Constraints: 62622 2913.80/2921.59 c #Conflicts: 1590000 | #Constraints: 63622 2913.80/2921.59 c #Conflicts: 1591000 | #Constraints: 64622 2913.80/2921.59 c #Conflicts: 1592000 | #Constraints: 65622 2913.80/2921.59 c #Conflicts: 1593000 | #Constraints: 66622 2913.80/2921.59 c #Conflicts: 1594000 | #Constraints: 67622 2913.80/2921.59 c #Conflicts: 1595000 | #Constraints: 68623 2913.80/2921.59 c #Conflicts: 1596000 | #Constraints: 69623 2913.80/2921.59 c #Conflicts: 1597000 | #Constraints: 70624 2913.80/2921.59 c #Conflicts: 1598000 | #Constraints: 71624 2913.80/2921.59 c #Conflicts: 1599000 | #Constraints: 72624 2913.80/2921.59 c #Conflicts: 1600000 | #Constraints: 73624 2913.80/2921.59 c #Conflicts: 1601000 | #Constraints: 74624 2913.80/2921.59 c #Conflicts: 1602000 | #Constraints: 75624 2913.80/2921.59 c #Conflicts: 1603000 | #Constraints: 76624 2913.80/2921.59 c #Conflicts: 1604000 | #Constraints: 77624 2913.80/2921.59 c #Conflicts: 1605000 | #Constraints: 78624 2913.80/2921.59 c #Conflicts: 1606000 | #Constraints: 79624 2913.80/2921.59 c #Conflicts: 1607000 | #Constraints: 80624 2913.80/2921.59 c #Conflicts: 1608000 | #Constraints: 81624 2913.80/2921.59 c #Conflicts: 1609000 | #Constraints: 82624 2913.80/2921.59 c #Conflicts: 1610000 | #Constraints: 83624 2913.80/2921.59 c #Conflicts: 1611000 | #Constraints: 84624 2913.80/2921.59 c #Conflicts: 1612000 | #Constraints: 85624 2913.80/2921.59 c #Conflicts: 1613000 | #Constraints: 86624 2913.80/2921.59 c #Conflicts: 1614000 | #Constraints: 87624 2913.80/2921.59 c #Conflicts: 1615000 | #Constraints: 88624 2913.80/2921.59 c #Conflicts: 1616000 | #Constraints: 89624 2913.80/2921.59 c #Conflicts: 1617000 | #Constraints: 90624 2913.80/2921.59 c #Conflicts: 1618000 | #Constraints: 91625 2913.80/2921.59 c #Conflicts: 1619000 | #Constraints: 92625 2913.80/2921.59 c #Conflicts: 1620000 | #Constraints: 93625 2913.80/2921.59 c #Conflicts: 1621000 | #Constraints: 94625 2913.80/2921.59 c #Conflicts: 1622000 | #Constraints: 95625 2913.80/2921.59 c #Conflicts: 1623000 | #Constraints: 96625 2913.80/2921.59 c #Conflicts: 1624000 | #Constraints: 97627 2913.80/2921.59 c #Conflicts: 1625000 | #Constraints: 98629 2913.80/2921.59 c #Conflicts: 1626000 | #Constraints: 99629 2913.80/2921.59 c #Conflicts: 1627000 | #Constraints: 100629 2913.80/2921.59 c #Conflicts: 1628000 | #Constraints: 101629 2913.80/2921.59 c #Conflicts: 1629000 | #Constraints: 102629 2913.80/2921.59 c #Conflicts: 1630000 | #Constraints: 103629 2913.80/2921.59 c #Conflicts: 1631000 | #Constraints: 104629 2913.80/2921.59 c #Conflicts: 1632000 | #Constraints: 105629 2913.80/2921.59 c #Conflicts: 1633000 | #Constraints: 106629 2913.80/2921.59 c #Conflicts: 1634000 | #Constraints: 107629 2913.80/2921.59 c #Conflicts: 1635000 | #Constraints: 108629 2913.80/2921.59 c #Conflicts: 1636000 | #Constraints: 109629 2913.80/2921.59 c #Conflicts: 1637000 | #Constraints: 110629 2913.80/2921.59 c #Conflicts: 1638000 | #Constraints: 111629 2913.80/2921.59 c #Conflicts: 1639000 | #Constraints: 112629 2913.80/2921.59 c #Conflicts: 1640000 | #Constraints: 113629 2913.80/2921.59 c #Conflicts: 1641000 | #Constraints: 114629 2913.80/2921.59 c #Conflicts: 1642000 | #Constraints: 115629 2913.80/2921.59 c #Conflicts: 1643000 | #Constraints: 116629 2913.80/2921.59 c #Conflicts: 1644000 | #Constraints: 117629 2913.80/2921.59 c #Conflicts: 1645000 | #Constraints: 118629 2913.80/2921.59 c #Conflicts: 1646000 | #Constraints: 119629 2913.80/2921.59 c #Conflicts: 1647000 | #Constraints: 120629 2975.45/2983.34 c #Conflicts: 1648000 | #Constraints: 121630 2975.45/2983.34 c #Conflicts: 1649000 | #Constraints: 122630 2975.45/2983.34 c #Conflicts: 1650000 | #Constraints: 123630 2975.45/2983.34 c #Conflicts: 1651000 | #Constraints: 124630 2975.45/2983.34 c #Conflicts: 1652000 | #Constraints: 125630 2975.45/2983.34 c #Conflicts: 1653000 | #Constraints: 126630 2975.45/2983.34 c #Conflicts: 1654000 | #Constraints: 127630 2975.45/2983.34 c #Conflicts: 1655000 | #Constraints: 128630 2975.45/2983.34 c #Conflicts: 1656000 | #Constraints: 129630 2975.45/2983.34 c #Conflicts: 1657000 | #Constraints: 130631 2975.45/2983.34 c #Conflicts: 1658000 | #Constraints: 131631 2975.45/2983.34 c #Conflicts: 1659000 | #Constraints: 132631 2975.45/2983.34 c #Conflicts: 1660000 | #Constraints: 133631 2975.45/2983.34 c #Conflicts: 1661000 | #Constraints: 134631 2975.45/2983.34 c INPROCESSING 2975.45/2983.34 c GARBAGE COLLECT 2975.45/2983.34 c rational objective 106 3047.08/3055.14 c #Conflicts: 1662000 | #Constraints: 72391 3047.08/3055.14 c #Conflicts: 1663000 | #Constraints: 73391 3047.08/3055.14 c #Conflicts: 1664000 | #Constraints: 74391 3047.08/3055.14 c #Conflicts: 1665000 | #Constraints: 75391 3047.08/3055.14 c #Conflicts: 1666000 | #Constraints: 76391 3047.08/3055.14 c #Conflicts: 1667000 | #Constraints: 77391 3047.08/3055.14 c #Conflicts: 1668000 | #Constraints: 78391 3047.08/3055.14 c #Conflicts: 1669000 | #Constraints: 79392 3047.08/3055.14 c #Conflicts: 1670000 | #Constraints: 80393 3047.08/3055.14 c #Conflicts: 1671000 | #Constraints: 81394 3047.08/3055.14 c #Conflicts: 1672000 | #Constraints: 82394 3047.08/3055.14 c #Conflicts: 1673000 | #Constraints: 83394 3047.08/3055.14 c #Conflicts: 1674000 | #Constraints: 84394 3047.08/3055.14 c #Conflicts: 1675000 | #Constraints: 85394 3047.08/3055.14 c #Conflicts: 1676000 | #Constraints: 86394 3047.08/3055.14 c #Conflicts: 1677000 | #Constraints: 87394 3047.08/3055.14 c #Conflicts: 1678000 | #Constraints: 88394 3047.08/3055.14 c #Conflicts: 1679000 | #Constraints: 89394 3047.08/3055.14 c #Conflicts: 1680000 | #Constraints: 90394 3047.08/3055.14 c #Conflicts: 1681000 | #Constraints: 91394 3047.08/3055.15 c #Conflicts: 1682000 | #Constraints: 92394 3047.08/3055.15 c #Conflicts: 1683000 | #Constraints: 93394 3047.08/3055.15 c #Conflicts: 1684000 | #Constraints: 94394 3047.08/3055.15 c #Conflicts: 1685000 | #Constraints: 95394 3047.08/3055.15 c #Conflicts: 1686000 | #Constraints: 96394 3047.08/3055.15 c #Conflicts: 1687000 | #Constraints: 97394 3047.08/3055.15 c #Conflicts: 1688000 | #Constraints: 98394 3047.08/3055.15 c #Conflicts: 1689000 | #Constraints: 99394 3047.08/3055.15 c #Conflicts: 1690000 | #Constraints: 100394 3047.08/3055.15 c #Conflicts: 1691000 | #Constraints: 101394 3047.08/3055.15 c #Conflicts: 1692000 | #Constraints: 102394 3047.08/3055.15 c INPROCESSING 3047.08/3055.15 c GARBAGE COLLECT 3047.08/3055.15 c rational objective 106 3094.56/3102.73 c #Conflicts: 1693000 | #Constraints: 56510 3094.56/3102.73 c #Conflicts: 1694000 | #Constraints: 57510 3094.56/3102.73 c #Conflicts: 1695000 | #Constraints: 58510 3094.56/3102.73 c #Conflicts: 1696000 | #Constraints: 59510 3094.56/3102.73 c #Conflicts: 1697000 | #Constraints: 60510 3094.56/3102.73 c #Conflicts: 1698000 | #Constraints: 61510 3094.56/3102.73 c #Conflicts: 1699000 | #Constraints: 62510 3094.56/3102.73 c #Conflicts: 1700000 | #Constraints: 63510 3094.56/3102.73 c #Conflicts: 1701000 | #Constraints: 64510 3094.56/3102.73 c #Conflicts: 1702000 | #Constraints: 65510 3094.56/3102.73 c #Conflicts: 1703000 | #Constraints: 66510 3094.56/3102.73 c #Conflicts: 1704000 | #Constraints: 67510 3094.56/3102.73 c #Conflicts: 1705000 | #Constraints: 68510 3094.56/3102.73 c #Conflicts: 1706000 | #Constraints: 69510 3094.56/3102.73 c #Conflicts: 1707000 | #Constraints: 70511 3094.56/3102.73 c #Conflicts: 1708000 | #Constraints: 71511 3094.56/3102.73 c #Conflicts: 1709000 | #Constraints: 72511 3094.56/3102.73 c #Conflicts: 1710000 | #Constraints: 73511 3094.56/3102.73 c #Conflicts: 1711000 | #Constraints: 74511 3094.56/3102.73 c #Conflicts: 1712000 | #Constraints: 75511 3094.56/3102.73 c #Conflicts: 1713000 | #Constraints: 76511 3094.56/3102.73 c #Conflicts: 1714000 | #Constraints: 77511 3094.56/3102.73 c #Conflicts: 1715000 | #Constraints: 78511 3094.56/3102.73 c #Conflicts: 1716000 | #Constraints: 79511 3094.56/3102.73 c #Conflicts: 1717000 | #Constraints: 80511 3094.56/3102.73 c #Conflicts: 1718000 | #Constraints: 81512 3094.56/3102.73 c #Conflicts: 1719000 | #Constraints: 82512 3094.56/3102.73 c #Conflicts: 1720000 | #Constraints: 83512 3094.56/3102.73 c #Conflicts: 1721000 | #Constraints: 84512 3094.56/3102.73 c #Conflicts: 1722000 | #Constraints: 85512 3094.56/3102.73 c INPROCESSING 3094.56/3102.73 c GARBAGE COLLECT 3094.56/3102.73 c rational objective 106 3140.15/3148.40 c #Conflicts: 1723000 | #Constraints: 47780 3140.15/3148.40 c #Conflicts: 1724000 | #Constraints: 48780 3140.15/3148.40 c #Conflicts: 1725000 | #Constraints: 49780 3140.15/3148.40 c #Conflicts: 1726000 | #Constraints: 50780 3140.15/3148.40 c #Conflicts: 1727000 | #Constraints: 51780 3140.15/3148.40 c #Conflicts: 1728000 | #Constraints: 52780 3140.15/3148.40 c #Conflicts: 1729000 | #Constraints: 53780 3140.15/3148.40 c #Conflicts: 1730000 | #Constraints: 54780 3140.15/3148.40 c #Conflicts: 1731000 | #Constraints: 55781 3140.15/3148.40 c #Conflicts: 1732000 | #Constraints: 56781 3140.15/3148.40 c #Conflicts: 1733000 | #Constraints: 57781 3140.15/3148.40 c #Conflicts: 1734000 | #Constraints: 58781 3140.15/3148.40 c #Conflicts: 1735000 | #Constraints: 59781 3140.15/3148.40 c #Conflicts: 1736000 | #Constraints: 60781 3140.15/3148.40 c #Conflicts: 1737000 | #Constraints: 61781 3140.15/3148.40 c #Conflicts: 1738000 | #Constraints: 62781 3140.15/3148.40 c #Conflicts: 1739000 | #Constraints: 63781 3140.15/3148.40 c #Conflicts: 1740000 | #Constraints: 64781 3140.15/3148.40 c #Conflicts: 1741000 | #Constraints: 65781 3140.15/3148.40 c #Conflicts: 1742000 | #Constraints: 66781 3140.15/3148.40 c #Conflicts: 1743000 | #Constraints: 67781 3140.15/3148.40 c #Conflicts: 1744000 | #Constraints: 68781 3140.15/3148.40 c #Conflicts: 1745000 | #Constraints: 69781 3140.15/3148.40 c #Conflicts: 1746000 | #Constraints: 70781 3140.15/3148.40 c #Conflicts: 1747000 | #Constraints: 71781 3140.15/3148.40 c #Conflicts: 1748000 | #Constraints: 72781 3140.15/3148.40 c #Conflicts: 1749000 | #Constraints: 73781 3140.15/3148.40 c #Conflicts: 1750000 | #Constraints: 74781 3140.15/3148.40 c #Conflicts: 1751000 | #Constraints: 75781 3140.15/3148.40 c #Conflicts: 1752000 | #Constraints: 76781 3140.15/3148.40 c #Conflicts: 1753000 | #Constraints: 77781 3140.15/3148.40 c INPROCESSING 3140.15/3148.40 c GARBAGE COLLECT 3140.15/3148.40 c rational objective 106 3307.88/3316.56 c #Conflicts: 1754000 | #Constraints: 43778 3307.88/3316.56 c #Conflicts: 1755000 | #Constraints: 44778 3307.88/3316.56 c #Conflicts: 1756000 | #Constraints: 45778 3307.88/3316.56 c #Conflicts: 1757000 | #Constraints: 46778 3307.88/3316.56 c #Conflicts: 1758000 | #Constraints: 47778 3307.88/3316.56 c #Conflicts: 1759000 | #Constraints: 48778 3307.88/3316.56 c #Conflicts: 1760000 | #Constraints: 49778 3307.88/3316.56 c #Conflicts: 1761000 | #Constraints: 50778 3307.88/3316.56 c #Conflicts: 1762000 | #Constraints: 51778 3307.88/3316.56 c #Conflicts: 1763000 | #Constraints: 52778 3307.88/3316.56 c #Conflicts: 1764000 | #Constraints: 53778 3307.88/3316.56 c #Conflicts: 1765000 | #Constraints: 54778 3307.88/3316.56 c #Conflicts: 1766000 | #Constraints: 55778 3307.88/3316.56 c #Conflicts: 1767000 | #Constraints: 56778 3307.88/3316.56 c #Conflicts: 1768000 | #Constraints: 57778 3307.88/3316.56 c #Conflicts: 1769000 | #Constraints: 58778 3307.88/3316.56 c #Conflicts: 1770000 | #Constraints: 59778 3307.88/3316.56 c #Conflicts: 1771000 | #Constraints: 60778 3307.88/3316.56 c #Conflicts: 1772000 | #Constraints: 61778 3307.88/3316.56 c #Conflicts: 1773000 | #Constraints: 62778 3307.88/3316.56 c #Conflicts: 1774000 | #Constraints: 63778 3307.88/3316.56 c #Conflicts: 1775000 | #Constraints: 64778 3307.88/3316.56 c #Conflicts: 1776000 | #Constraints: 65778 3307.88/3316.56 c #Conflicts: 1777000 | #Constraints: 66778 3307.88/3316.56 c #Conflicts: 1778000 | #Constraints: 67779 3307.88/3316.56 c #Conflicts: 1779000 | #Constraints: 68779 3307.88/3316.56 c #Conflicts: 1780000 | #Constraints: 69779 3307.88/3316.56 c #Conflicts: 1781000 | #Constraints: 70779 3307.88/3316.56 c #Conflicts: 1782000 | #Constraints: 71779 3307.88/3316.56 c #Conflicts: 1783000 | #Constraints: 72779 3307.88/3316.56 c #Conflicts: 1784000 | #Constraints: 73779 3307.88/3316.56 c #Conflicts: 1785000 | #Constraints: 74779 3307.88/3316.56 c #Conflicts: 1786000 | #Constraints: 75779 3307.88/3316.56 c #Conflicts: 1787000 | #Constraints: 76779 3307.88/3316.56 c #Conflicts: 1788000 | #Constraints: 77779 3307.88/3316.56 c #Conflicts: 1789000 | #Constraints: 78779 3307.88/3316.56 c #Conflicts: 1790000 | #Constraints: 79779 3307.88/3316.56 c #Conflicts: 1791000 | #Constraints: 80779 3307.88/3316.56 c #Conflicts: 1792000 | #Constraints: 81779 3307.88/3316.56 c #Conflicts: 1793000 | #Constraints: 82779 3307.88/3316.56 c #Conflicts: 1794000 | #Constraints: 83779 3307.88/3316.56 c #Conflicts: 1795000 | #Constraints: 84779 3307.88/3316.56 c #Conflicts: 1796000 | #Constraints: 85779 3307.88/3316.56 c #Conflicts: 1797000 | #Constraints: 86780 3307.88/3316.56 c #Conflicts: 1798000 | #Constraints: 87780 3307.88/3316.56 c #Conflicts: 1799000 | #Constraints: 88780 3307.88/3316.56 c #Conflicts: 1800000 | #Constraints: 89780 3307.88/3316.56 c #Conflicts: 1801000 | #Constraints: 90780 3307.88/3316.56 c #Conflicts: 1802000 | #Constraints: 91780 3307.88/3316.56 c #Conflicts: 1803000 | #Constraints: 92780 3307.88/3316.56 c #Conflicts: 1804000 | #Constraints: 93780 3307.88/3316.56 c #Conflicts: 1805000 | #Constraints: 94780 3307.88/3316.56 c #Conflicts: 1806000 | #Constraints: 95780 3307.88/3316.56 c #Conflicts: 1807000 | #Constraints: 96780 3307.88/3316.56 c #Conflicts: 1808000 | #Constraints: 97780 3307.88/3316.56 c #Conflicts: 1809000 | #Constraints: 98780 3307.88/3316.56 c #Conflicts: 1810000 | #Constraints: 99780 3307.88/3316.56 c #Conflicts: 1811000 | #Constraints: 100780 3307.88/3316.56 c #Conflicts: 1812000 | #Constraints: 101781 3307.88/3316.56 c #Conflicts: 1813000 | #Constraints: 102781 3307.88/3316.56 c #Conflicts: 1814000 | #Constraints: 103781 3307.88/3316.56 c #Conflicts: 1815000 | #Constraints: 104781 3307.88/3316.56 c #Conflicts: 1816000 | #Constraints: 105781 3307.88/3316.56 c #Conflicts: 1817000 | #Constraints: 106781 3307.88/3316.56 c #Conflicts: 1818000 | #Constraints: 107781 3307.88/3316.56 c #Conflicts: 1819000 | #Constraints: 108781 3307.88/3316.56 c #Conflicts: 1820000 | #Constraints: 109781 3307.88/3316.56 c #Conflicts: 1821000 | #Constraints: 110781 3307.88/3316.56 c #Conflicts: 1822000 | #Constraints: 111781 3307.88/3316.56 c #Conflicts: 1823000 | #Constraints: 112781 3307.88/3316.56 c #Conflicts: 1824000 | #Constraints: 113782 3307.88/3316.56 c #Conflicts: 1825000 | #Constraints: 114782 3307.88/3316.56 c #Conflicts: 1826000 | #Constraints: 115782 3307.88/3316.56 c #Conflicts: 1827000 | #Constraints: 116782 3307.88/3316.56 c #Conflicts: 1828000 | #Constraints: 117782 3307.88/3316.56 c #Conflicts: 1829000 | #Constraints: 118782 3307.88/3316.56 c #Conflicts: 1830000 | #Constraints: 119782 3307.88/3316.56 c #Conflicts: 1831000 | #Constraints: 120783 3307.88/3316.56 c #Conflicts: 1832000 | #Constraints: 121783 3376.93/3385.79 c #Conflicts: 1833000 | #Constraints: 122783 3376.93/3385.79 c #Conflicts: 1834000 | #Constraints: 123783 3376.93/3385.79 c #Conflicts: 1835000 | #Constraints: 124783 3376.93/3385.79 c #Conflicts: 1836000 | #Constraints: 125783 3376.93/3385.79 c #Conflicts: 1837000 | #Constraints: 126783 3376.93/3385.79 c #Conflicts: 1838000 | #Constraints: 127783 3376.93/3385.79 c #Conflicts: 1839000 | #Constraints: 128783 3376.93/3385.79 c #Conflicts: 1840000 | #Constraints: 129783 3376.93/3385.79 c #Conflicts: 1841000 | #Constraints: 130783 3376.93/3385.79 c #Conflicts: 1842000 | #Constraints: 131783 3376.93/3385.79 c #Conflicts: 1843000 | #Constraints: 132783 3376.93/3385.79 c #Conflicts: 1844000 | #Constraints: 133783 3376.93/3385.79 c #Conflicts: 1845000 | #Constraints: 134783 3376.93/3385.79 c #Conflicts: 1846000 | #Constraints: 135783 3376.93/3385.79 c #Conflicts: 1847000 | #Constraints: 136783 3376.93/3385.79 c #Conflicts: 1848000 | #Constraints: 137783 3376.93/3385.79 c #Conflicts: 1849000 | #Constraints: 138783 3376.93/3385.79 c #Conflicts: 1850000 | #Constraints: 139783 3376.93/3385.79 c #Conflicts: 1851000 | #Constraints: 140783 3376.93/3385.79 c #Conflicts: 1852000 | #Constraints: 141783 3376.93/3385.79 c INPROCESSING 3376.93/3385.79 c GARBAGE COLLECT 3376.93/3385.79 c rational objective 106 3452.46/3461.49 c #Conflicts: 1853000 | #Constraints: 75988 3452.46/3461.49 c #Conflicts: 1854000 | #Constraints: 76988 3452.46/3461.49 c #Conflicts: 1855000 | #Constraints: 77988 3452.46/3461.49 c #Conflicts: 1856000 | #Constraints: 78988 3452.46/3461.49 c #Conflicts: 1857000 | #Constraints: 79988 3452.46/3461.49 c #Conflicts: 1858000 | #Constraints: 80988 3452.46/3461.49 c #Conflicts: 1859000 | #Constraints: 81988 3452.46/3461.49 c #Conflicts: 1860000 | #Constraints: 82988 3452.46/3461.49 c #Conflicts: 1861000 | #Constraints: 83988 3452.46/3461.49 c #Conflicts: 1862000 | #Constraints: 84988 3452.46/3461.49 c #Conflicts: 1863000 | #Constraints: 85988 3452.46/3461.49 c #Conflicts: 1864000 | #Constraints: 86988 3452.46/3461.49 c #Conflicts: 1865000 | #Constraints: 87988 3452.46/3461.49 c #Conflicts: 1866000 | #Constraints: 88988 3452.46/3461.49 c #Conflicts: 1867000 | #Constraints: 89988 3452.46/3461.49 c #Conflicts: 1868000 | #Constraints: 90988 3452.46/3461.49 c #Conflicts: 1869000 | #Constraints: 91988 3452.46/3461.49 c #Conflicts: 1870000 | #Constraints: 92988 3452.46/3461.49 c #Conflicts: 1871000 | #Constraints: 93988 3452.46/3461.49 c #Conflicts: 1872000 | #Constraints: 94988 3452.46/3461.49 c #Conflicts: 1873000 | #Constraints: 95988 3452.46/3461.49 c #Conflicts: 1874000 | #Constraints: 96988 3452.46/3461.49 c #Conflicts: 1875000 | #Constraints: 97988 3452.46/3461.49 c #Conflicts: 1876000 | #Constraints: 98989 3452.46/3461.49 c #Conflicts: 1877000 | #Constraints: 99989 3452.46/3461.49 c #Conflicts: 1878000 | #Constraints: 100989 3452.46/3461.49 c #Conflicts: 1879000 | #Constraints: 101990 3452.46/3461.49 c #Conflicts: 1880000 | #Constraints: 102990 3452.46/3461.49 c #Conflicts: 1881000 | #Constraints: 103990 3452.46/3461.49 c #Conflicts: 1882000 | #Constraints: 104990 3452.46/3461.49 c #Conflicts: 1883000 | #Constraints: 105990 3452.46/3461.49 c #Conflicts: 1884000 | #Constraints: 106990 3452.46/3461.49 c INPROCESSING 3452.46/3461.49 c GARBAGE COLLECT 3452.46/3461.49 c rational objective 106 3518.12/3527.29 c #Conflicts: 1885000 | #Constraints: 58601 3518.12/3527.29 c #Conflicts: 1886000 | #Constraints: 59601 3518.12/3527.29 c #Conflicts: 1887000 | #Constraints: 60601 3518.12/3527.29 c #Conflicts: 1888000 | #Constraints: 61601 3518.12/3527.29 c #Conflicts: 1889000 | #Constraints: 62601 3518.12/3527.29 c #Conflicts: 1890000 | #Constraints: 63601 3518.12/3527.29 c #Conflicts: 1891000 | #Constraints: 64601 3518.12/3527.29 c #Conflicts: 1892000 | #Constraints: 65601 3518.12/3527.29 c #Conflicts: 1893000 | #Constraints: 66601 3518.12/3527.29 c #Conflicts: 1894000 | #Constraints: 67601 3518.12/3527.29 c #Conflicts: 1895000 | #Constraints: 68601 3518.12/3527.29 c #Conflicts: 1896000 | #Constraints: 69601 3518.12/3527.29 c #Conflicts: 1897000 | #Constraints: 70601 3518.12/3527.29 c #Conflicts: 1898000 | #Constraints: 71601 3518.12/3527.29 c #Conflicts: 1899000 | #Constraints: 72601 3518.12/3527.29 c #Conflicts: 1900000 | #Constraints: 73601 3518.12/3527.29 c #Conflicts: 1901000 | #Constraints: 74601 3518.12/3527.29 c #Conflicts: 1902000 | #Constraints: 75601 3518.12/3527.29 c #Conflicts: 1903000 | #Constraints: 76601 3518.12/3527.29 c #Conflicts: 1904000 | #Constraints: 77601 3518.12/3527.29 c #Conflicts: 1905000 | #Constraints: 78602 3518.12/3527.29 c #Conflicts: 1906000 | #Constraints: 79602 3518.12/3527.29 c #Conflicts: 1907000 | #Constraints: 80602 3518.12/3527.29 c #Conflicts: 1908000 | #Constraints: 81602 3518.12/3527.29 c #Conflicts: 1909000 | #Constraints: 82602 3518.12/3527.29 c #Conflicts: 1910000 | #Constraints: 83602 3518.12/3527.29 c #Conflicts: 1911000 | #Constraints: 84602 3518.12/3527.29 c #Conflicts: 1912000 | #Constraints: 85602 3518.12/3527.29 c #Conflicts: 1913000 | #Constraints: 86602 3518.12/3527.29 c #Conflicts: 1914000 | #Constraints: 87602 3518.12/3527.29 c #Conflicts: 1915000 | #Constraints: 88602 3518.12/3527.29 c #Conflicts: 1916000 | #Constraints: 89602 3518.12/3527.29 c #Conflicts: 1917000 | #Constraints: 90602 3518.12/3527.29 c INPROCESSING 3518.12/3527.29 c GARBAGE COLLECT 3518.12/3527.29 c rational objective 106 3567.89/3577.12 c #Conflicts: 1918000 | #Constraints: 50602 3567.89/3577.12 c #Conflicts: 1919000 | #Constraints: 51602 3567.89/3577.12 c #Conflicts: 1920000 | #Constraints: 52602 3567.89/3577.12 c #Conflicts: 1921000 | #Constraints: 53602 3567.89/3577.12 c #Conflicts: 1922000 | #Constraints: 54602 3567.89/3577.12 c #Conflicts: 1923000 | #Constraints: 55602 3567.89/3577.12 c #Conflicts: 1924000 | #Constraints: 56602 3567.89/3577.12 c #Conflicts: 1925000 | #Constraints: 57602 3567.89/3577.12 c #Conflicts: 1926000 | #Constraints: 58602 3567.89/3577.12 c #Conflicts: 1927000 | #Constraints: 59602 3567.89/3577.12 c #Conflicts: 1928000 | #Constraints: 60602 3567.89/3577.12 c #Conflicts: 1929000 | #Constraints: 61602 3567.89/3577.12 c #Conflicts: 1930000 | #Constraints: 62602 3567.89/3577.12 c #Conflicts: 1931000 | #Constraints: 63602 3567.89/3577.12 c #Conflicts: 1932000 | #Constraints: 64602 3567.89/3577.12 c #Conflicts: 1933000 | #Constraints: 65602 3567.89/3577.12 c #Conflicts: 1934000 | #Constraints: 66602 3567.89/3577.12 c #Conflicts: 1935000 | #Constraints: 67602 3567.89/3577.12 c #Conflicts: 1936000 | #Constraints: 68602 3567.89/3577.12 c #Conflicts: 1937000 | #Constraints: 69602 3567.89/3577.12 c #Conflicts: 1938000 | #Constraints: 70602 3567.89/3577.12 c #Conflicts: 1939000 | #Constraints: 71602 3567.89/3577.12 c #Conflicts: 1940000 | #Constraints: 72602 3567.89/3577.12 c #Conflicts: 1941000 | #Constraints: 73602 3567.89/3577.12 c #Conflicts: 1942000 | #Constraints: 74602 3567.89/3577.12 c #Conflicts: 1943000 | #Constraints: 75602 3567.89/3577.12 c #Conflicts: 1944000 | #Constraints: 76602 3567.89/3577.12 c #Conflicts: 1945000 | #Constraints: 77602 3567.89/3577.12 c #Conflicts: 1946000 | #Constraints: 78602 3567.89/3577.12 c #Conflicts: 1947000 | #Constraints: 79602 3567.89/3577.12 c #Conflicts: 1948000 | #Constraints: 80602 3567.89/3577.12 c #Conflicts: 1949000 | #Constraints: 81602 3567.89/3577.12 c #Conflicts: 1950000 | #Constraints: 82602 3567.89/3577.12 c INPROCESSING 3567.89/3577.12 c GARBAGE COLLECT 3567.89/3577.12 c rational objective 106 3600.00/3609.30 c #Conflicts: 1951000 | #Constraints: 46701 3600.00/3609.30 c #Conflicts: 1952000 | #Constraints: 47701 3600.00/3609.30 c #Conflicts: 1953000 | #Constraints: 48701 3600.00/3609.30 c #Conflicts: 1954000 | #Constraints: 49701 3600.00/3609.30 c #Conflicts: 1955000 | #Constraints: 50701 3600.00/3609.30 c #Conflicts: 1956000 | #Constraints: 51701 3600.00/3609.30 c #Conflicts: 1957000 | #Constraints: 52701 3600.00/3609.30 c #Conflicts: 1958000 | #Constraints: 53701 3600.00/3609.30 c #Conflicts: 1959000 | #Constraints: 54701 3600.00/3609.30 c #Conflicts: 1960000 | #Constraints: 55701 3600.00/3609.30 c #Conflicts: 1961000 | #Constraints: 56701 3600.00/3609.30 c #Conflicts: 1962000 | #Constraints: 57701 3600.00/3609.30 c #Conflicts: 1963000 | #Constraints: 58701 3600.00/3609.30 c #Conflicts: 1964000 | #Constraints: 59701 3600.00/3609.30 c #Conflicts: 1965000 | #Constraints: 60701 3600.00/3609.30 c #Conflicts: 1966000 | #Constraints: 61701 3600.00/3609.30 c #Conflicts: 1967000 | #Constraints: 62701 3600.00/3609.30 c #Conflicts: 1968000 | #Constraints: 63701 3600.00/3609.30 c #Conflicts: 1969000 | #Constraints: 64701 3600.00/3609.30 c #Conflicts: 1970000 | #Constraints: 65701 3600.00/3609.30 c #Conflicts: 1971000 | #Constraints: 66701 3600.00/3609.30 c #Conflicts: 1972000 | #Constraints: 67701 3600.00/3609.30 c #Conflicts: 1973000 | #Constraints: 68701 3600.00/3609.30 c Program interrupted by user. 3600.00/3609.32 c cpu time 3557.37 s 3600.00/3609.32 c deterministic time 459742035084 4.60e+11 3600.00/3609.32 c optimization time 31.6464 s 3600.00/3609.32 c total solve time 3525.69 s 3600.00/3609.32 c core-guided solve time 0 s 3600.00/3609.32 c propagation time 2465.81 s 3600.00/3609.32 c conflict analysis time 833.829 s 3600.00/3609.32 c propagations 782613454 3600.00/3609.32 c resolve steps 65619820 3600.00/3609.32 c decisions 17247193 3600.00/3609.32 c conflicts 1973618 3600.00/3609.32 c restarts 3835 3600.00/3609.32 c inprocessing phases 78 3600.00/3609.32 c input clauses 7316 3600.00/3609.32 c input cardinalities 106 3600.00/3609.32 c input general constraints 0 3600.00/3609.32 c input average constraint length 6.24 3600.00/3609.32 c input average constraint degree 1.94 3600.00/3609.32 c learned clauses 1343650 3600.00/3609.32 c learned cardinalities 43866 3600.00/3609.32 c learned general constraints 586277 3600.00/3609.32 c learned average constraint length 918.42 3600.00/3609.32 c learned average constraint degree 37516796.71 3600.00/3609.32 c watched constraints 491005 3600.00/3609.32 c counting constraints 95272 3600.00/3609.32 c gcd simplifications 5498 3600.00/3609.32 c detected cardinalities 2821 3600.00/3609.32 c weakened non-implied lits 286539049 3600.00/3609.32 c weakened non-implying lits 622467 3600.00/3609.32 c original variables 7208 3600.00/3609.32 c clausal propagations 283482963 3600.00/3609.32 c cardinality propagations 284303768 3600.00/3609.32 c watched propagations 60373871 3600.00/3609.32 c counting propagations 147660128 3600.00/3609.32 c watch lookups 31878516336 3600.00/3609.32 c watch backjump lookups 25527303470 3600.00/3609.32 c watch checks 331021793021 3600.00/3609.32 c propagation checks 64561555479 3600.00/3609.32 c constraint additions 5148820742 3600.00/3609.32 c trail pops 801827522 3600.00/3609.32 c formula constraints 7422 3600.00/3609.32 c learned constraints 1973441 3600.00/3609.32 c bound constraints 0 3600.00/3609.32 c core-guided constraints 0 3600.00/3609.32 c encountered formula constraints 36133714 3600.00/3609.32 c encountered learned constraints 31457203 3600.00/3609.32 c encountered bound constraints 0 3600.00/3609.32 c encountered core-guided constraints 0 3600.00/3609.32 c LP total time 724.922 s 3600.00/3609.32 c LP solve time 717.05 s 3600.00/3609.32 c LP constraints added 12286 3600.00/3609.32 c LP constraints removed 4776 3600.00/3609.32 c LP pivots internal 1975268 3600.00/3609.32 c LP pivots root 382598 3600.00/3609.32 c LP calls 449 3600.00/3609.32 c LP optimalities 268 3600.00/3609.32 c LP no pivot count 3 3600.00/3609.32 c LP infeasibilities 176 3600.00/3609.32 c LP valid Farkas constraints 176 3600.00/3609.32 c LP learned Farkas constraints 176 3600.00/3609.32 c LP basis resets 0 3600.00/3609.32 c LP cycling count 0 3600.00/3609.32 c LP singular count 0 3600.00/3609.32 c LP no primal count 0 3600.00/3609.32 c LP no farkas count 0 3600.00/3609.32 c LP other issue count 0 3600.00/3609.32 c LP Gomory cuts 0 3600.00/3609.32 c LP learned cuts 4864 3600.00/3609.32 c LP deleted cuts 4776 3600.00/3609.32 c LP encountered Gomory constraints 0 3600.00/3609.32 c LP encountered Farkas constraints 1700 3600.00/3609.32 c LP encountered learned Farkas constraints 645 3600.00/3609.32 c CG auxiliary variables introduced 0 3600.00/3609.32 c CG solutions found 0 3600.00/3609.32 c CG cores constructed 0 3600.00/3609.32 c CG core cardinality constraints returned 0 3600.00/3609.32 c CG unit cores 0 3600.00/3609.32 c CG single cores 0 3600.00/3609.32 c CG blocks removed during cardinality reduction 0 3600.00/3609.32 c CG first core best 0 3600.00/3609.32 c CG decision core best 0 3600.00/3609.32 c CG core reduction tie 0 3600.00/3609.32 c CG core degree average 0.00 3600.00/3609.32 c CG core slack average 0.00 3600.00/3609.32 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61567 MiB free)
memory of node 1: 64510 MiB (62227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457182-1721830563/watcher-4457182-1721830563 -o /tmp/evaluation-result-4457182-1721830563/solver-4457182-1721830563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191599 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457182-1721830563 --lp-cut-gomory=0 HOME/instance-4457182-1721830563.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=191643, runsolver pid=191638
[startup+0.10055 s]*
/proc/loadavg: 1.22 1.76 2.08 5/261 191660
/proc/meminfo: memFree=126733480/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=49972 memory=18456 CPUtime=0.08 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 3815 0 0 0 8 0 0 0 20 0 1 0 19584840 51171328 4614 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 12493 4614 1701 992 0 4351 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 49972 KiB
Current children cumulated memory: 18456 KiB
[startup+0.206209 s]*
/proc/loadavg: 1.22 1.76 2.08 5/261 191660
/proc/meminfo: memFree=126729044/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=50896 memory=19512 CPUtime=0.2 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 4109 0 0 0 19 1 0 0 20 0 1 0 19584840 52117504 4878 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 12724 4878 1701 992 0 4582 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50896 KiB
Current children cumulated memory: 19512 KiB
[startup+0.305919 s]*
/proc/loadavg: 1.22 1.76 2.08 5/261 191662
/proc/meminfo: memFree=126727588/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=51440 memory=20040 CPUtime=0.29 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 4222 0 0 0 28 1 0 0 20 0 1 0 19584840 52674560 5010 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 12860 5010 1701 992 0 4718 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51440 KiB
Current children cumulated memory: 20040 KiB
[startup+0.700183 s]
/proc/loadavg: 1.22 1.76 2.08 5/261 191662
/proc/meminfo: memFree=126725564/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=52296 memory=20568 CPUtime=0.68 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 4334 0 0 0 67 1 0 0 20 0 1 0 19584840 53551104 5142 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 13074 5142 1701 992 0 4932 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52296 KiB
Current children cumulated memory: 20568 KiB
[startup+1.50018 s]
/proc/loadavg: 1.44 1.80 2.09 5/261 191662
/proc/meminfo: memFree=126708568/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=53260 memory=24104 CPUtime=1.47 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 4694 0 0 0 141 6 0 0 20 0 1 0 19584840 54538240 6026 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 13315 6026 1747 992 0 5173 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 53260 KiB
Current children cumulated memory: 24104 KiB
[startup+3.10589 s]
/proc/loadavg: 1.44 1.80 2.09 5/261 191662
/proc/meminfo: memFree=126688616/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=53400 memory=24628 CPUtime=3.08 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 4807 0 0 0 300 8 0 0 20 0 1 0 19584840 54681600 6157 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 13350 6157 1747 992 0 5208 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53400 KiB
Current children cumulated memory: 24628 KiB
[startup+6.30017 s]
/proc/loadavg: 1.65 1.83 2.10 5/261 191662
/proc/meminfo: memFree=126663776/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=57628 memory=27648 CPUtime=6.27 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 5540 0 0 0 611 16 0 0 20 0 1 0 19584840 59011072 6912 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 14407 6912 1810 992 0 6265 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57628 KiB
Current children cumulated memory: 27648 KiB
[startup+12.7002 s]
/proc/loadavg: 1.84 1.87 2.11 5/259 191663
/proc/meminfo: memFree=126588196/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=61528 memory=33572 CPUtime=12.65 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 6988 0 0 0 1235 30 0 0 20 0 1 0 19584840 63004672 8393 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 15382 8393 1842 992 0 7240 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61528 KiB
Current children cumulated memory: 33572 KiB
[startup+25.5002 s]
/proc/loadavg: 2.17 1.94 2.13 5/259 191665
/proc/meminfo: memFree=126451396/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=70296 memory=41584 CPUtime=25.41 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 8498 0 0 0 2480 61 0 0 20 0 1 0 19584840 71983104 10396 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 17574 10396 1842 992 0 9432 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 70296 KiB
Current children cumulated memory: 41584 KiB
[startup+51.1057 s]
/proc/loadavg: 2.95 2.15 2.20 5/259 191715
/proc/meminfo: memFree=126242408/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=117008 memory=79064 CPUtime=50.95 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 12718 0 0 0 4976 119 0 0 20 0 1 0 19584840 119816192 19766 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 29252 19766 1842 992 0 21110 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 117008 KiB
Current children cumulated memory: 79064 KiB
[startup+102.3 s]
/proc/loadavg: 3.72 2.49 2.31 5/259 191723
/proc/meminfo: memFree=125764484/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=156264 memory=113976 CPUtime=102.03 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 15450 0 0 0 9981 222 0 0 20 0 1 0 19584840 160014336 28494 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 39066 28494 1842 992 0 30924 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 156264 KiB
Current children cumulated memory: 113976 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 2.80 2.43 5/259 191735
/proc/meminfo: memFree=125095588/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=220624 memory=161904 CPUtime=161.9 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 20705 0 0 0 15847 343 0 0 20 0 1 0 19584840 225918976 40476 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 55156 40476 1842 992 0 47014 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 220624 KiB
Current children cumulated memory: 161904 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 3.07 2.55 5/259 191791
/proc/meminfo: memFree=125006568/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=229468 memory=169716 CPUtime=221.76 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 23413 0 0 0 21716 460 0 0 20 0 1 0 19584840 234975232 42429 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 57367 42429 1842 992 0 49225 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 229468 KiB
Current children cumulated memory: 169716 KiB
[startup+282.3 s]
/proc/loadavg: 4.30 3.32 2.67 5/257 191801
/proc/meminfo: memFree=124423436/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=232924 memory=179460 CPUtime=281.62 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 24314 0 0 0 27590 572 0 0 20 0 1 0 19584840 238514176 44865 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 58231 44865 1842 992 0 50089 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 232924 KiB
Current children cumulated memory: 179460 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.46 2.76 5/260 191818
/proc/meminfo: memFree=123818028/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=322844 memory=216012 CPUtime=341.48 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 26798 0 0 0 33468 680 0 0 20 0 1 0 19584840 330592256 54003 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 80711 54003 1842 992 0 72569 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 322844 KiB
Current children cumulated memory: 216012 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.58 2.85 5/260 191828
/proc/meminfo: memFree=123262396/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=326760 memory=230096 CPUtime=401.33 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 27797 0 0 0 39357 776 0 0 20 0 1 0 19584840 334602240 57524 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 81690 57524 1842 992 0 73548 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 326760 KiB
Current children cumulated memory: 230096 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.69 2.93 5/260 191839
/proc/meminfo: memFree=122784308/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=327072 memory=230624 CPUtime=461.19 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 27952 0 0 0 45220 899 0 0 20 0 1 0 19584840 334921728 57656 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 81768 57656 1842 992 0 73626 0
################
# More data... #
################
Current children cumulated memory: 702992 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/258 193563
/proc/meminfo: memFree=115832420/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=791728 memory=726580 CPUtime=2914.59 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 68528 0 0 0 287867 3592 0 0 20 0 1 0 19584840 810729472 181645 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 197932 181645 1842 992 0 189790 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 791728 KiB
Current children cumulated memory: 726580 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/258 193574
/proc/meminfo: memFree=115642060/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1147868 memory=794964 CPUtime=2974.45 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 70676 0 0 0 293815 3630 0 0 20 0 1 0 19584840 1175416832 198741 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 286967 198741 1842 992 0 278825 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 1147868 KiB
Current children cumulated memory: 794964 KiB
[startup+3042.3 s]
/proc/loadavg: 4.25 4.15 4.05 5/257 193585
/proc/meminfo: memFree=115489924/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1148704 memory=795996 CPUtime=3034.3 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 71608 0 0 0 299741 3689 0 0 20 0 1 0 19584840 1176272896 198999 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 287176 198999 1842 992 0 279034 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 1148704 KiB
Current children cumulated memory: 795996 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.05 5/257 193595
/proc/meminfo: memFree=115348208/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1148912 memory=796020 CPUtime=3094.16 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 72372 0 0 0 305650 3766 0 0 20 0 1 0 19584840 1176485888 199005 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 287228 199005 1842 992 0 279086 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 1148912 KiB
Current children cumulated memory: 796020 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/257 193607
/proc/meminfo: memFree=115100180/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1150068 memory=797296 CPUtime=3154.02 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 72848 0 0 0 311551 3851 0 0 20 0 1 0 19584840 1177669632 199324 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 287517 199324 1842 992 0 279375 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 1150068 KiB
Current children cumulated memory: 797296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/257 193709
/proc/meminfo: memFree=120046556/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1150068 memory=797428 CPUtime=3213.89 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 73111 0 0 0 317473 3916 0 0 20 0 1 0 19584840 1177669632 199357 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 287517 199357 1842 992 0 279375 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 1150068 KiB
Current children cumulated memory: 797428 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/260 193726
/proc/meminfo: memFree=119795000/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1150068 memory=797432 CPUtime=3273.75 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 73370 0 0 0 323410 3965 0 0 20 0 1 0 19584840 1177669632 199358 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 287517 199358 1842 992 0 279375 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 1150068 KiB
Current children cumulated memory: 797432 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/259 193738
/proc/meminfo: memFree=119521072/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1151380 memory=798296 CPUtime=3333.62 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 73926 0 0 0 329358 4004 0 0 20 0 1 0 19584840 1179013120 199574 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 287845 199574 1842 992 0 279703 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 1151380 KiB
Current children cumulated memory: 798296 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.05 5/259 193748
/proc/meminfo: memFree=119296116/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1155656 memory=801932 CPUtime=3393.49 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 75648 0 0 0 335308 4041 0 0 20 0 1 0 19584840 1183391744 200483 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 288914 200483 1842 992 0 280772 0
Current children cumulated CPU time: 3393.49 s
Current children cumulated vsize: 1155656 KiB
Current children cumulated memory: 801932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.05 5/259 193761
/proc/meminfo: memFree=119082980/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1156508 memory=802604 CPUtime=3453.35 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 76584 0 0 0 341245 4090 0 0 20 0 1 0 19584840 1184264192 200651 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 289127 200651 1842 992 0 280985 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 1156508 KiB
Current children cumulated memory: 802604 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/259 193771
/proc/meminfo: memFree=118797148/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1156748 memory=803032 CPUtime=3513.22 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 76932 0 0 0 347167 4155 0 0 20 0 1 0 19584840 1184509952 200758 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 289187 200758 1842 992 0 281045 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 1156748 KiB
Current children cumulated memory: 803032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.13 4.07 5/259 193782
/proc/meminfo: memFree=118553592/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1155768 memory=801684 CPUtime=3573.07 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 78095 0 0 0 353074 4233 0 0 20 0 1 0 19584840 1183506432 200421 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 288942 200421 1842 992 0 280800 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 1155768 KiB
Current children cumulated memory: 801684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/258 193787
/proc/meminfo: memFree=118400108/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1156136 memory=802504 CPUtime=3600 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 78403 0 0 0 355737 4263 0 0 20 0 1 0 19584840 1183883264 200626 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 289034 200626 1842 992 0 280892 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1156136 KiB
Current children cumulated memory: 802504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.33 s]
# the end of solver process 191643 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3557.37 s, system=42.6415 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/258 193787
/proc/meminfo: memFree=118400108/131524600 swapFree=131056028/131071996
[pid=191643] ppid=191638 vsize=1156136 memory=802504 CPUtime=3600 cores=1,3
/proc/191643/stat : 191643 (roundingsat) R 191638 191643 191587 0 -1 4194304 78403 0 0 0 355737 4263 0 0 20 0 1 0 19584840 1183883264 200626 134679101440 4194304 8254037 140727208751104 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28581888 140727208756060 140727208756322 140727208756322 140727208763337 0
/proc/191643/statm: 289034 200626 1842 992 0 280892 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1156136 KiB
Current children cumulated memory: 802504 KiB
Child status: 0
Real time (s): 3609.33
CPU time (s): 3600.02
CPU user time (s): 3557.37
CPU system time (s): 42.6415
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 1157720
Max. memory (cumulated for all children) (KiB): 803948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.37
system time used= 42.6415
maximum resident set size= 803948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10191024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 669
involuntary context switches= 5434
# summary of solver processes directly reported to runsolver:
# pid: 191643
# total CPU time (s): 3600.02
# total CPU user time (s): 3557.37
# total CPU system time (s): 42.6415
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9844 second user time and 18.1089 second system time
The end
Begin job on nodeC016 at 2024-07-24 16:16:03 IDJOB=4457182 IDBENCH=158362 IDSOLVER=3085 FILE ID=nodeC016/4457182-1721830563 RUNJOBID= nodeC016-1721830563-191599 SLURM_JOB_ID= 7891513 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K106.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457182-1721830563/watcher-4457182-1721830563 -o /tmp/evaluation-result-4457182-1721830563/solver-4457182-1721830563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191599 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457182-1721830563 --lp-cut-gomory=0 HOME/instance-4457182-1721830563.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 24ba6b7b7d8e9ae68244a11b7fe894d2 RANDOM SEED=13386568 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3492.780 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3591.984 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3478.325 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3489.100 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3433.635 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3563.014 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3480.674 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3596.752 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126773300 kB MemAvailable: 129581304 kB Buffers: 247000 kB Cached: 3243532 kB SwapCached: 256 kB Active: 2242676 kB Inactive: 1613884 kB Active(anon): 4376 kB Inactive(anon): 414048 kB Active(file): 2238300 kB Inactive(file): 1199836 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 22692 kB Writeback: 0 kB AnonPages: 366144 kB Mapped: 102692 kB Shmem: 52400 kB KReclaimable: 419028 kB Slab: 539248 kB SReclaimable: 419028 kB SUnreclaim: 120220 kB KernelStack: 3928 kB PageTables: 9824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 861364 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17184 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 373460 kB DirectMap2M: 42391552 kB DirectMap1G: 93323264 kB Free space on /tmp at the end= 890056 MiB End job on nodeC016 at 2024-07-24 17:16:13