| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.07 | 3609.74 |
| 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.06 c #variables 7208 #constraints 7422 17.21/17.34 c #Conflicts: 1000 | #Constraints: 8421 17.21/17.34 c #Conflicts: 2000 | #Constraints: 9421 17.21/17.34 c INPROCESSING 17.21/17.34 c GARBAGE COLLECT 17.21/17.34 c #Conflicts: 3000 | #Constraints: 9112 17.21/17.34 c #Conflicts: 4000 | #Constraints: 10112 17.21/17.34 c INPROCESSING 17.21/17.34 c GARBAGE COLLECT 17.21/17.34 c #Conflicts: 5000 | #Constraints: 9586 17.21/17.34 c #Conflicts: 6000 | #Constraints: 10586 17.21/17.34 c INPROCESSING 17.21/17.34 c GARBAGE COLLECT 17.21/17.34 c #Conflicts: 7000 | #Constraints: 9640 17.21/17.34 c #Conflicts: 8000 | #Constraints: 10640 17.21/17.34 c #Conflicts: 9000 | #Constraints: 11640 17.21/17.34 c INPROCESSING 17.21/17.34 c GARBAGE COLLECT 17.21/17.34 c rational objective 106 32.38/32.55 c #Conflicts: 10000 | #Constraints: 10387 32.38/32.55 c #Conflicts: 11000 | #Constraints: 11387 32.38/32.55 c #Conflicts: 12000 | #Constraints: 12387 32.38/32.55 c INPROCESSING 32.38/32.55 c GARBAGE COLLECT 32.38/32.55 c #Conflicts: 13000 | #Constraints: 10884 32.38/32.55 c #Conflicts: 14000 | #Constraints: 11884 32.38/32.55 c #Conflicts: 15000 | #Constraints: 12885 32.38/32.55 c INPROCESSING 32.38/32.55 c GARBAGE COLLECT 32.38/32.55 c #Conflicts: 16000 | #Constraints: 11143 32.38/32.55 c #Conflicts: 17000 | #Constraints: 12143 32.38/32.55 c #Conflicts: 18000 | #Constraints: 13143 32.38/32.55 c INPROCESSING 32.38/32.55 c GARBAGE COLLECT 32.38/32.55 c #Conflicts: 19000 | #Constraints: 11219 32.38/32.55 c #Conflicts: 20000 | #Constraints: 12219 32.38/32.55 c #Conflicts: 21000 | #Constraints: 13220 32.38/32.55 c INPROCESSING 32.38/32.55 c GARBAGE COLLECT 32.38/32.55 c #Conflicts: 22000 | #Constraints: 11009 32.38/32.55 c #Conflicts: 23000 | #Constraints: 12009 32.38/32.55 c #Conflicts: 24000 | #Constraints: 13009 32.38/32.55 c #Conflicts: 25000 | #Constraints: 14009 32.38/32.55 c INPROCESSING 32.38/32.55 c GARBAGE COLLECT 32.38/32.55 c rational objective 106 44.74/44.97 c #Conflicts: 26000 | #Constraints: 11634 44.74/44.97 c #Conflicts: 27000 | #Constraints: 12634 44.74/44.97 c #Conflicts: 28000 | #Constraints: 13634 44.74/44.97 c #Conflicts: 29000 | #Constraints: 14634 44.74/44.97 c #Conflicts: 30000 | #Constraints: 15634 44.74/44.97 c #Conflicts: 31000 | #Constraints: 16634 44.74/44.97 c #Conflicts: 32000 | #Constraints: 17634 44.74/44.97 c #Conflicts: 33000 | #Constraints: 18635 44.74/44.97 c #Conflicts: 34000 | #Constraints: 19635 44.74/44.97 c #Conflicts: 35000 | #Constraints: 20635 44.74/44.97 c #Conflicts: 36000 | #Constraints: 21635 44.74/44.97 c #Conflicts: 37000 | #Constraints: 22635 44.74/44.97 c #Conflicts: 38000 | #Constraints: 23635 44.74/44.97 c INPROCESSING 44.74/44.97 c GARBAGE COLLECT 44.74/44.97 c rational objective 106 51.43/51.69 c #Conflicts: 39000 | #Constraints: 16656 51.43/51.69 c #Conflicts: 40000 | #Constraints: 17656 51.43/51.69 c #Conflicts: 41000 | #Constraints: 18656 51.43/51.69 c #Conflicts: 42000 | #Constraints: 19656 51.43/51.69 c INPROCESSING 51.43/51.69 c GARBAGE COLLECT 51.43/51.69 c rational objective 106 76.16/76.45 c #Conflicts: 43000 | #Constraints: 14194 76.16/76.45 c #Conflicts: 44000 | #Constraints: 15194 76.16/76.45 c #Conflicts: 45000 | #Constraints: 16194 76.16/76.45 c #Conflicts: 46000 | #Constraints: 17195 76.16/76.45 c #Conflicts: 47000 | #Constraints: 18195 76.16/76.45 c #Conflicts: 48000 | #Constraints: 19195 76.16/76.45 c INPROCESSING 76.16/76.45 c GARBAGE COLLECT 76.16/76.45 c #Conflicts: 49000 | #Constraints: 14458 76.16/76.45 c #Conflicts: 50000 | #Constraints: 15458 76.16/76.45 c #Conflicts: 51000 | #Constraints: 16458 76.16/76.45 c #Conflicts: 52000 | #Constraints: 17458 76.16/76.45 c #Conflicts: 53000 | #Constraints: 18458 76.16/76.45 c INPROCESSING 76.16/76.45 c GARBAGE COLLECT 76.16/76.45 c #Conflicts: 54000 | #Constraints: 13928 76.16/76.45 c #Conflicts: 55000 | #Constraints: 14928 76.16/76.45 c #Conflicts: 56000 | #Constraints: 15928 76.16/76.45 c #Conflicts: 57000 | #Constraints: 16928 76.16/76.45 c #Conflicts: 58000 | #Constraints: 17928 76.16/76.45 c INPROCESSING 76.16/76.45 c GARBAGE COLLECT 76.16/76.45 c rational objective 106 97.50/97.89 c #Conflicts: 59000 | #Constraints: 13393 97.50/97.89 c #Conflicts: 60000 | #Constraints: 14393 97.50/97.89 c #Conflicts: 61000 | #Constraints: 15393 97.50/97.89 c #Conflicts: 62000 | #Constraints: 16393 97.50/97.89 c #Conflicts: 63000 | #Constraints: 17393 97.50/97.89 c #Conflicts: 64000 | #Constraints: 18393 97.50/97.89 c #Conflicts: 65000 | #Constraints: 19393 97.50/97.89 c #Conflicts: 66000 | #Constraints: 20393 97.50/97.89 c #Conflicts: 67000 | #Constraints: 21393 97.50/97.89 c #Conflicts: 68000 | #Constraints: 22394 97.50/97.89 c #Conflicts: 69000 | #Constraints: 23394 97.50/97.89 c #Conflicts: 70000 | #Constraints: 24394 97.50/97.89 c #Conflicts: 71000 | #Constraints: 25394 97.50/97.89 c #Conflicts: 72000 | #Constraints: 26394 97.50/97.89 c #Conflicts: 73000 | #Constraints: 27394 97.50/97.89 c #Conflicts: 74000 | #Constraints: 28394 97.50/97.89 c #Conflicts: 75000 | #Constraints: 29394 97.50/97.89 c #Conflicts: 76000 | #Constraints: 30394 97.50/97.89 c #Conflicts: 77000 | #Constraints: 31394 97.50/97.89 c #Conflicts: 78000 | #Constraints: 32394 97.50/97.89 c INPROCESSING 97.50/97.89 c GARBAGE COLLECT 97.50/97.89 c rational objective 106 105.48/105.81 c #Conflicts: 79000 | #Constraints: 21106 105.48/105.81 c #Conflicts: 80000 | #Constraints: 22106 105.48/105.81 c #Conflicts: 81000 | #Constraints: 23106 105.48/105.81 c #Conflicts: 82000 | #Constraints: 24106 105.48/105.81 c #Conflicts: 83000 | #Constraints: 25106 105.48/105.81 c #Conflicts: 84000 | #Constraints: 26106 105.48/105.81 c INPROCESSING 105.48/105.81 c GARBAGE COLLECT 105.48/105.81 c rational objective 106 122.32/122.76 c #Conflicts: 85000 | #Constraints: 17543 122.32/122.76 c #Conflicts: 86000 | #Constraints: 18543 122.32/122.76 c #Conflicts: 87000 | #Constraints: 19543 122.32/122.76 c #Conflicts: 88000 | #Constraints: 20543 122.32/122.76 c #Conflicts: 89000 | #Constraints: 21543 122.32/122.76 c #Conflicts: 90000 | #Constraints: 22543 122.32/122.76 c #Conflicts: 91000 | #Constraints: 23544 122.32/122.76 c INPROCESSING 122.32/122.76 c GARBAGE COLLECT 122.32/122.76 c rational objective 106 129.01/129.40 c #Conflicts: 92000 | #Constraints: 16326 129.01/129.40 c #Conflicts: 93000 | #Constraints: 17326 129.01/129.40 c #Conflicts: 94000 | #Constraints: 18326 129.01/129.40 c #Conflicts: 95000 | #Constraints: 19326 129.01/129.40 c #Conflicts: 96000 | #Constraints: 20326 129.01/129.40 c #Conflicts: 97000 | #Constraints: 21326 129.01/129.40 c #Conflicts: 98000 | #Constraints: 22326 129.01/129.40 c #Conflicts: 99000 | #Constraints: 23326 129.01/129.40 c INPROCESSING 129.01/129.40 c GARBAGE COLLECT 129.01/129.40 c rational objective 106 156.64/157.10 c #Conflicts: 100000 | #Constraints: 16571 156.64/157.10 c #Conflicts: 101000 | #Constraints: 17571 156.64/157.10 c #Conflicts: 102000 | #Constraints: 18572 156.64/157.10 c #Conflicts: 103000 | #Constraints: 19572 156.64/157.10 c #Conflicts: 104000 | #Constraints: 20573 156.64/157.10 c #Conflicts: 105000 | #Constraints: 21573 156.64/157.10 c #Conflicts: 106000 | #Constraints: 22574 156.64/157.10 c #Conflicts: 107000 | #Constraints: 23574 156.64/157.10 c #Conflicts: 108000 | #Constraints: 24575 156.64/157.10 c #Conflicts: 109000 | #Constraints: 25576 156.64/157.10 c #Conflicts: 110000 | #Constraints: 26576 156.64/157.10 c #Conflicts: 111000 | #Constraints: 27576 156.64/157.10 c #Conflicts: 112000 | #Constraints: 28576 156.64/157.10 c #Conflicts: 113000 | #Constraints: 29577 156.64/157.10 c #Conflicts: 114000 | #Constraints: 30577 156.64/157.10 c #Conflicts: 115000 | #Constraints: 31577 156.64/157.10 c #Conflicts: 116000 | #Constraints: 32577 156.64/157.10 c #Conflicts: 117000 | #Constraints: 33577 156.64/157.10 c #Conflicts: 118000 | #Constraints: 34577 156.64/157.10 c #Conflicts: 119000 | #Constraints: 35577 156.64/157.10 c #Conflicts: 120000 | #Constraints: 36577 156.64/157.10 c #Conflicts: 121000 | #Constraints: 37578 156.64/157.10 c #Conflicts: 122000 | #Constraints: 38579 156.64/157.10 c #Conflicts: 123000 | #Constraints: 39579 156.64/157.10 c INPROCESSING 156.64/157.10 c GARBAGE COLLECT 156.64/157.10 c rational objective 106 166.21/166.74 c #Conflicts: 124000 | #Constraints: 24495 166.21/166.74 c #Conflicts: 125000 | #Constraints: 25495 166.21/166.74 c #Conflicts: 126000 | #Constraints: 26495 166.21/166.74 c #Conflicts: 127000 | #Constraints: 27495 166.21/166.74 c #Conflicts: 128000 | #Constraints: 28495 166.21/166.74 c #Conflicts: 129000 | #Constraints: 29495 166.21/166.74 c #Conflicts: 130000 | #Constraints: 30495 166.21/166.74 c #Conflicts: 131000 | #Constraints: 31495 166.21/166.74 c #Conflicts: 132000 | #Constraints: 32495 166.21/166.74 c INPROCESSING 166.21/166.74 c GARBAGE COLLECT 166.21/166.74 c rational objective 106 175.69/176.24 c #Conflicts: 133000 | #Constraints: 21194 175.69/176.24 c #Conflicts: 134000 | #Constraints: 22195 175.69/176.24 c #Conflicts: 135000 | #Constraints: 23196 175.69/176.24 c #Conflicts: 136000 | #Constraints: 24196 175.69/176.24 c #Conflicts: 137000 | #Constraints: 25196 175.69/176.24 c #Conflicts: 138000 | #Constraints: 26196 175.69/176.24 c #Conflicts: 139000 | #Constraints: 27196 175.69/176.24 c #Conflicts: 140000 | #Constraints: 28196 175.69/176.24 c INPROCESSING 175.69/176.24 c GARBAGE COLLECT 175.69/176.24 c rational objective 106 187.85/188.47 c #Conflicts: 141000 | #Constraints: 18740 187.85/188.47 c #Conflicts: 142000 | #Constraints: 19740 187.85/188.47 c #Conflicts: 143000 | #Constraints: 20740 187.85/188.47 c #Conflicts: 144000 | #Constraints: 21740 187.85/188.47 c #Conflicts: 145000 | #Constraints: 22740 187.85/188.47 c #Conflicts: 146000 | #Constraints: 23740 187.85/188.47 c #Conflicts: 147000 | #Constraints: 24741 187.85/188.47 c #Conflicts: 148000 | #Constraints: 25741 187.85/188.47 c #Conflicts: 149000 | #Constraints: 26741 187.85/188.47 c INPROCESSING 187.85/188.47 c GARBAGE COLLECT 187.85/188.47 c rational objective 106 231.04/231.79 c #Conflicts: 150000 | #Constraints: 18049 231.04/231.79 c #Conflicts: 151000 | #Constraints: 19049 231.04/231.79 c #Conflicts: 152000 | #Constraints: 20050 231.04/231.79 c #Conflicts: 153000 | #Constraints: 21050 231.04/231.79 c #Conflicts: 154000 | #Constraints: 22050 231.04/231.79 c #Conflicts: 155000 | #Constraints: 23050 231.04/231.79 c #Conflicts: 156000 | #Constraints: 24050 231.04/231.79 c #Conflicts: 157000 | #Constraints: 25050 231.04/231.79 c #Conflicts: 158000 | #Constraints: 26050 231.04/231.79 c #Conflicts: 159000 | #Constraints: 27050 231.04/231.79 c #Conflicts: 160000 | #Constraints: 28050 231.04/231.79 c #Conflicts: 161000 | #Constraints: 29050 231.04/231.79 c #Conflicts: 162000 | #Constraints: 30050 231.04/231.79 c #Conflicts: 163000 | #Constraints: 31050 231.04/231.79 c #Conflicts: 164000 | #Constraints: 32050 231.04/231.79 c #Conflicts: 165000 | #Constraints: 33050 231.04/231.79 c #Conflicts: 166000 | #Constraints: 34050 231.04/231.79 c #Conflicts: 167000 | #Constraints: 35051 231.04/231.79 c #Conflicts: 168000 | #Constraints: 36051 231.04/231.79 c #Conflicts: 169000 | #Constraints: 37051 231.04/231.79 c #Conflicts: 170000 | #Constraints: 38051 231.04/231.79 c #Conflicts: 171000 | #Constraints: 39051 231.04/231.79 c #Conflicts: 172000 | #Constraints: 40051 231.04/231.79 c #Conflicts: 173000 | #Constraints: 41052 231.04/231.79 c #Conflicts: 174000 | #Constraints: 42052 231.04/231.79 c #Conflicts: 175000 | #Constraints: 43052 231.04/231.79 c #Conflicts: 176000 | #Constraints: 44052 231.04/231.79 c #Conflicts: 177000 | #Constraints: 45053 231.04/231.79 c #Conflicts: 178000 | #Constraints: 46053 231.04/231.79 c #Conflicts: 179000 | #Constraints: 47053 231.04/231.79 c INPROCESSING 231.04/231.79 c GARBAGE COLLECT 231.04/231.79 c rational objective 106 242.21/242.91 c #Conflicts: 180000 | #Constraints: 28387 242.21/242.91 c #Conflicts: 181000 | #Constraints: 29387 242.21/242.91 c #Conflicts: 182000 | #Constraints: 30387 242.21/242.91 c #Conflicts: 183000 | #Constraints: 31387 242.21/242.91 c #Conflicts: 184000 | #Constraints: 32387 242.21/242.91 c #Conflicts: 185000 | #Constraints: 33388 242.21/242.91 c #Conflicts: 186000 | #Constraints: 34388 242.21/242.91 c #Conflicts: 187000 | #Constraints: 35388 242.21/242.91 c #Conflicts: 188000 | #Constraints: 36388 242.21/242.91 c #Conflicts: 189000 | #Constraints: 37388 242.21/242.91 c INPROCESSING 242.21/242.91 c GARBAGE COLLECT 242.21/242.91 c rational objective 106 252.09/252.80 c #Conflicts: 190000 | #Constraints: 23426 252.09/252.80 c #Conflicts: 191000 | #Constraints: 24426 252.09/252.80 c #Conflicts: 192000 | #Constraints: 25426 252.09/252.80 c #Conflicts: 193000 | #Constraints: 26426 252.09/252.80 c #Conflicts: 194000 | #Constraints: 27426 252.09/252.80 c #Conflicts: 195000 | #Constraints: 28426 252.09/252.80 c #Conflicts: 196000 | #Constraints: 29426 252.09/252.80 c #Conflicts: 197000 | #Constraints: 30426 252.09/252.80 c #Conflicts: 198000 | #Constraints: 31426 252.09/252.80 c #Conflicts: 199000 | #Constraints: 32426 252.09/252.80 c #Conflicts: 200000 | #Constraints: 33426 252.09/252.80 c INPROCESSING 252.09/252.80 c GARBAGE COLLECT 252.09/252.80 c rational objective 106 263.75/264.52 c #Conflicts: 201000 | #Constraints: 21693 263.75/264.52 c #Conflicts: 202000 | #Constraints: 22693 263.75/264.52 c #Conflicts: 203000 | #Constraints: 23693 263.75/264.52 c #Conflicts: 204000 | #Constraints: 24693 263.75/264.52 c #Conflicts: 205000 | #Constraints: 25693 263.75/264.52 c #Conflicts: 206000 | #Constraints: 26693 263.75/264.52 c #Conflicts: 207000 | #Constraints: 27693 263.75/264.52 c #Conflicts: 208000 | #Constraints: 28693 263.75/264.52 c #Conflicts: 209000 | #Constraints: 29693 263.75/264.52 c #Conflicts: 210000 | #Constraints: 30693 263.75/264.52 c INPROCESSING 263.75/264.52 c GARBAGE COLLECT 263.75/264.52 c rational objective 106 308.03/308.97 c #Conflicts: 211000 | #Constraints: 20090 308.03/308.97 c #Conflicts: 212000 | #Constraints: 21090 308.03/308.97 c #Conflicts: 213000 | #Constraints: 22090 308.03/308.97 c #Conflicts: 214000 | #Constraints: 23090 308.03/308.97 c #Conflicts: 215000 | #Constraints: 24092 308.03/308.97 c #Conflicts: 216000 | #Constraints: 25094 308.03/308.97 c #Conflicts: 217000 | #Constraints: 26094 308.03/308.97 c #Conflicts: 218000 | #Constraints: 27094 308.03/308.97 c #Conflicts: 219000 | #Constraints: 28094 308.03/308.97 c #Conflicts: 220000 | #Constraints: 29094 308.03/308.97 c #Conflicts: 221000 | #Constraints: 30094 308.03/308.97 c #Conflicts: 222000 | #Constraints: 31094 308.03/308.97 c #Conflicts: 223000 | #Constraints: 32094 308.03/308.97 c #Conflicts: 224000 | #Constraints: 33094 308.03/308.97 c #Conflicts: 225000 | #Constraints: 34094 308.03/308.97 c #Conflicts: 226000 | #Constraints: 35094 308.03/308.97 c #Conflicts: 227000 | #Constraints: 36094 308.03/308.97 c #Conflicts: 228000 | #Constraints: 37094 308.03/308.97 c #Conflicts: 229000 | #Constraints: 38094 308.03/308.97 c #Conflicts: 230000 | #Constraints: 39095 308.03/308.97 c #Conflicts: 231000 | #Constraints: 40095 308.03/308.97 c #Conflicts: 232000 | #Constraints: 41096 308.03/308.97 c #Conflicts: 233000 | #Constraints: 42096 308.03/308.97 c #Conflicts: 234000 | #Constraints: 43096 308.03/308.97 c #Conflicts: 235000 | #Constraints: 44096 308.03/308.97 c #Conflicts: 236000 | #Constraints: 45096 308.03/308.97 c #Conflicts: 237000 | #Constraints: 46096 308.03/308.97 c #Conflicts: 238000 | #Constraints: 47096 308.03/308.97 c #Conflicts: 239000 | #Constraints: 48096 308.03/308.97 c #Conflicts: 240000 | #Constraints: 49096 308.03/308.97 c #Conflicts: 241000 | #Constraints: 50096 308.03/308.97 c #Conflicts: 242000 | #Constraints: 51096 308.03/308.97 c #Conflicts: 243000 | #Constraints: 52096 308.03/308.97 c #Conflicts: 244000 | #Constraints: 53096 308.03/308.97 c #Conflicts: 245000 | #Constraints: 54096 308.03/308.97 c INPROCESSING 308.03/308.97 c GARBAGE COLLECT 308.03/308.97 c rational objective 106 321.29/322.26 c #Conflicts: 246000 | #Constraints: 31745 321.29/322.26 c #Conflicts: 247000 | #Constraints: 32745 321.29/322.26 c #Conflicts: 248000 | #Constraints: 33746 321.29/322.26 c #Conflicts: 249000 | #Constraints: 34746 321.29/322.26 c #Conflicts: 250000 | #Constraints: 35746 321.29/322.26 c #Conflicts: 251000 | #Constraints: 36746 321.29/322.26 c #Conflicts: 252000 | #Constraints: 37746 321.29/322.26 c #Conflicts: 253000 | #Constraints: 38746 321.29/322.26 c #Conflicts: 254000 | #Constraints: 39746 321.29/322.26 c #Conflicts: 255000 | #Constraints: 40746 321.29/322.26 c #Conflicts: 256000 | #Constraints: 41746 321.29/322.26 c #Conflicts: 257000 | #Constraints: 42746 321.29/322.26 c INPROCESSING 321.29/322.26 c GARBAGE COLLECT 321.29/322.26 c rational objective 106 340.95/341.96 c #Conflicts: 258000 | #Constraints: 26073 340.95/341.96 c #Conflicts: 259000 | #Constraints: 27073 340.95/341.96 c #Conflicts: 260000 | #Constraints: 28073 340.95/341.96 c #Conflicts: 261000 | #Constraints: 29073 340.95/341.96 c #Conflicts: 262000 | #Constraints: 30073 340.95/341.96 c #Conflicts: 263000 | #Constraints: 31073 340.95/341.96 c #Conflicts: 264000 | #Constraints: 32073 340.95/341.96 c #Conflicts: 265000 | #Constraints: 33073 340.95/341.96 c #Conflicts: 266000 | #Constraints: 34074 340.95/341.96 c #Conflicts: 267000 | #Constraints: 35074 340.95/341.96 c #Conflicts: 268000 | #Constraints: 36074 340.95/341.96 c #Conflicts: 269000 | #Constraints: 37074 340.95/341.96 c INPROCESSING 340.95/341.96 c GARBAGE COLLECT 340.95/341.96 c rational objective 106 353.12/354.17 c #Conflicts: 270000 | #Constraints: 23288 353.12/354.17 c #Conflicts: 271000 | #Constraints: 24288 353.12/354.17 c #Conflicts: 272000 | #Constraints: 25290 353.12/354.17 c #Conflicts: 273000 | #Constraints: 26291 353.12/354.17 c #Conflicts: 274000 | #Constraints: 27291 353.12/354.17 c #Conflicts: 275000 | #Constraints: 28292 353.12/354.17 c #Conflicts: 276000 | #Constraints: 29292 353.12/354.17 c #Conflicts: 277000 | #Constraints: 30292 353.12/354.17 c #Conflicts: 278000 | #Constraints: 31293 353.12/354.17 c #Conflicts: 279000 | #Constraints: 32293 353.12/354.17 c #Conflicts: 280000 | #Constraints: 33293 353.12/354.17 c #Conflicts: 281000 | #Constraints: 34293 353.12/354.17 c #Conflicts: 282000 | #Constraints: 35293 353.12/354.17 c INPROCESSING 353.12/354.17 c GARBAGE COLLECT 353.12/354.17 c rational objective 106 403.58/404.77 c #Conflicts: 283000 | #Constraints: 22713 403.58/404.77 c #Conflicts: 284000 | #Constraints: 23713 403.58/404.77 c #Conflicts: 285000 | #Constraints: 24713 403.58/404.77 c #Conflicts: 286000 | #Constraints: 25713 403.58/404.77 c #Conflicts: 287000 | #Constraints: 26713 403.58/404.77 c #Conflicts: 288000 | #Constraints: 27713 403.58/404.77 c #Conflicts: 289000 | #Constraints: 28713 403.58/404.77 c #Conflicts: 290000 | #Constraints: 29714 403.58/404.77 c #Conflicts: 291000 | #Constraints: 30714 403.58/404.77 c #Conflicts: 292000 | #Constraints: 31714 403.58/404.77 c #Conflicts: 293000 | #Constraints: 32714 403.58/404.77 c #Conflicts: 294000 | #Constraints: 33714 403.58/404.77 c #Conflicts: 295000 | #Constraints: 34715 403.58/404.77 c #Conflicts: 296000 | #Constraints: 35715 403.58/404.77 c #Conflicts: 297000 | #Constraints: 36715 403.58/404.77 c #Conflicts: 298000 | #Constraints: 37715 403.58/404.77 c #Conflicts: 299000 | #Constraints: 38715 403.58/404.77 c #Conflicts: 300000 | #Constraints: 39716 403.58/404.77 c #Conflicts: 301000 | #Constraints: 40716 403.58/404.77 c #Conflicts: 302000 | #Constraints: 41716 403.58/404.77 c #Conflicts: 303000 | #Constraints: 42716 403.58/404.77 c #Conflicts: 304000 | #Constraints: 43717 403.58/404.77 c #Conflicts: 305000 | #Constraints: 44717 403.58/404.77 c #Conflicts: 306000 | #Constraints: 45718 403.58/404.77 c #Conflicts: 307000 | #Constraints: 46718 403.58/404.77 c #Conflicts: 308000 | #Constraints: 47719 403.58/404.77 c #Conflicts: 309000 | #Constraints: 48719 403.58/404.77 c #Conflicts: 310000 | #Constraints: 49719 403.58/404.77 c #Conflicts: 311000 | #Constraints: 50719 403.58/404.77 c #Conflicts: 312000 | #Constraints: 51719 403.58/404.77 c #Conflicts: 313000 | #Constraints: 52719 403.58/404.77 c #Conflicts: 314000 | #Constraints: 53719 403.58/404.77 c #Conflicts: 315000 | #Constraints: 54719 403.58/404.77 c #Conflicts: 316000 | #Constraints: 55719 403.58/404.77 c #Conflicts: 317000 | #Constraints: 56719 403.58/404.77 c #Conflicts: 318000 | #Constraints: 57719 403.58/404.77 c #Conflicts: 319000 | #Constraints: 58719 403.58/404.77 c #Conflicts: 320000 | #Constraints: 59719 403.58/404.77 c #Conflicts: 321000 | #Constraints: 60719 403.58/404.77 c #Conflicts: 322000 | #Constraints: 61719 403.58/404.77 c INPROCESSING 403.58/404.77 c GARBAGE COLLECT 403.58/404.77 c rational objective 106 424.02/425.29 c #Conflicts: 323000 | #Constraints: 35701 424.02/425.29 c #Conflicts: 324000 | #Constraints: 36701 424.02/425.29 c #Conflicts: 325000 | #Constraints: 37701 424.02/425.29 c #Conflicts: 326000 | #Constraints: 38701 424.02/425.29 c #Conflicts: 327000 | #Constraints: 39701 424.02/425.29 c #Conflicts: 328000 | #Constraints: 40701 424.02/425.29 c #Conflicts: 329000 | #Constraints: 41701 424.02/425.29 c #Conflicts: 330000 | #Constraints: 42701 424.02/425.29 c #Conflicts: 331000 | #Constraints: 43701 424.02/425.29 c #Conflicts: 332000 | #Constraints: 44701 424.02/425.29 c #Conflicts: 333000 | #Constraints: 45702 424.02/425.29 c #Conflicts: 334000 | #Constraints: 46702 424.02/425.29 c #Conflicts: 335000 | #Constraints: 47702 424.02/425.29 c #Conflicts: 336000 | #Constraints: 48703 424.02/425.29 c INPROCESSING 424.02/425.29 c GARBAGE COLLECT 424.02/425.29 c rational objective 106 439.68/440.94 c #Conflicts: 337000 | #Constraints: 29397 439.68/440.94 c #Conflicts: 338000 | #Constraints: 30397 439.68/440.94 c #Conflicts: 339000 | #Constraints: 31398 439.68/440.94 c #Conflicts: 340000 | #Constraints: 32398 439.68/440.94 c #Conflicts: 341000 | #Constraints: 33398 439.68/440.94 c #Conflicts: 342000 | #Constraints: 34398 439.68/440.94 c #Conflicts: 343000 | #Constraints: 35398 439.68/440.94 c #Conflicts: 344000 | #Constraints: 36398 439.68/440.94 c #Conflicts: 345000 | #Constraints: 37398 439.68/440.94 c #Conflicts: 346000 | #Constraints: 38398 439.68/440.94 c #Conflicts: 347000 | #Constraints: 39398 439.68/440.94 c #Conflicts: 348000 | #Constraints: 40398 439.68/440.94 c #Conflicts: 349000 | #Constraints: 41398 439.68/440.94 c INPROCESSING 439.68/440.94 c GARBAGE COLLECT 439.68/440.94 c rational objective 106 461.23/462.52 c #Conflicts: 350000 | #Constraints: 25415 461.23/462.52 c #Conflicts: 351000 | #Constraints: 26415 461.23/462.52 c #Conflicts: 352000 | #Constraints: 27415 461.23/462.52 c #Conflicts: 353000 | #Constraints: 28416 461.23/462.52 c #Conflicts: 354000 | #Constraints: 29416 461.23/462.52 c #Conflicts: 355000 | #Constraints: 30416 461.23/462.52 c #Conflicts: 356000 | #Constraints: 31416 461.23/462.52 c #Conflicts: 357000 | #Constraints: 32416 461.23/462.52 c #Conflicts: 358000 | #Constraints: 33416 461.23/462.52 c #Conflicts: 359000 | #Constraints: 34416 461.23/462.52 c #Conflicts: 360000 | #Constraints: 35417 461.23/462.52 c #Conflicts: 361000 | #Constraints: 36417 461.23/462.52 c #Conflicts: 362000 | #Constraints: 37417 461.23/462.52 c #Conflicts: 363000 | #Constraints: 38417 461.23/462.52 c INPROCESSING 461.23/462.52 c GARBAGE COLLECT 461.23/462.52 c rational objective 106 527.65/529.15 c #Conflicts: 364000 | #Constraints: 23895 527.65/529.15 c #Conflicts: 365000 | #Constraints: 24895 527.65/529.15 c #Conflicts: 366000 | #Constraints: 25895 527.65/529.15 c #Conflicts: 367000 | #Constraints: 26895 527.65/529.15 c #Conflicts: 368000 | #Constraints: 27895 527.65/529.15 c #Conflicts: 369000 | #Constraints: 28895 527.65/529.15 c #Conflicts: 370000 | #Constraints: 29895 527.65/529.15 c #Conflicts: 371000 | #Constraints: 30895 527.65/529.15 c #Conflicts: 372000 | #Constraints: 31895 527.65/529.15 c #Conflicts: 373000 | #Constraints: 32895 527.65/529.15 c #Conflicts: 374000 | #Constraints: 33895 527.65/529.15 c #Conflicts: 375000 | #Constraints: 34895 527.65/529.15 c #Conflicts: 376000 | #Constraints: 35896 527.65/529.15 c #Conflicts: 377000 | #Constraints: 36896 527.65/529.15 c #Conflicts: 378000 | #Constraints: 37896 527.65/529.15 c #Conflicts: 379000 | #Constraints: 38896 527.65/529.15 c #Conflicts: 380000 | #Constraints: 39896 527.65/529.15 c #Conflicts: 381000 | #Constraints: 40896 527.65/529.15 c #Conflicts: 382000 | #Constraints: 41896 527.65/529.15 c #Conflicts: 383000 | #Constraints: 42896 527.65/529.15 c #Conflicts: 384000 | #Constraints: 43896 527.65/529.15 c #Conflicts: 385000 | #Constraints: 44896 527.65/529.15 c #Conflicts: 386000 | #Constraints: 45897 527.65/529.15 c #Conflicts: 387000 | #Constraints: 46897 527.65/529.15 c #Conflicts: 388000 | #Constraints: 47897 527.65/529.15 c #Conflicts: 389000 | #Constraints: 48897 527.65/529.15 c #Conflicts: 390000 | #Constraints: 49897 527.65/529.15 c #Conflicts: 391000 | #Constraints: 50897 527.65/529.15 c #Conflicts: 392000 | #Constraints: 51897 527.65/529.15 c #Conflicts: 393000 | #Constraints: 52897 527.65/529.15 c #Conflicts: 394000 | #Constraints: 53897 527.65/529.15 c #Conflicts: 395000 | #Constraints: 54897 527.65/529.15 c #Conflicts: 396000 | #Constraints: 55897 527.65/529.15 c #Conflicts: 397000 | #Constraints: 56897 527.65/529.15 c #Conflicts: 398000 | #Constraints: 57897 527.65/529.15 c #Conflicts: 399000 | #Constraints: 58897 527.65/529.15 c #Conflicts: 400000 | #Constraints: 59898 527.65/529.15 c #Conflicts: 401000 | #Constraints: 60898 527.65/529.15 c #Conflicts: 402000 | #Constraints: 61898 527.65/529.15 c #Conflicts: 403000 | #Constraints: 62898 527.65/529.15 c #Conflicts: 404000 | #Constraints: 63898 527.65/529.15 c #Conflicts: 405000 | #Constraints: 64898 527.65/529.15 c #Conflicts: 406000 | #Constraints: 65898 527.65/529.15 c #Conflicts: 407000 | #Constraints: 66898 527.65/529.15 c #Conflicts: 408000 | #Constraints: 67898 527.65/529.15 c #Conflicts: 409000 | #Constraints: 68898 527.65/529.15 c INPROCESSING 527.65/529.15 c GARBAGE COLLECT 527.65/529.15 c rational objective 106 550.48/552.03 c #Conflicts: 410000 | #Constraints: 39308 550.48/552.03 c #Conflicts: 411000 | #Constraints: 40308 550.48/552.03 c #Conflicts: 412000 | #Constraints: 41308 550.48/552.03 c #Conflicts: 413000 | #Constraints: 42308 550.48/552.03 c #Conflicts: 414000 | #Constraints: 43308 550.48/552.03 c #Conflicts: 415000 | #Constraints: 44308 550.48/552.03 c #Conflicts: 416000 | #Constraints: 45308 550.48/552.03 c #Conflicts: 417000 | #Constraints: 46308 550.48/552.03 c #Conflicts: 418000 | #Constraints: 47308 550.48/552.03 c #Conflicts: 419000 | #Constraints: 48308 550.48/552.03 c #Conflicts: 420000 | #Constraints: 49309 550.48/552.03 c #Conflicts: 421000 | #Constraints: 50309 550.48/552.03 c #Conflicts: 422000 | #Constraints: 51309 550.48/552.03 c #Conflicts: 423000 | #Constraints: 52309 550.48/552.03 c #Conflicts: 424000 | #Constraints: 53309 550.48/552.03 c INPROCESSING 550.48/552.03 c GARBAGE COLLECT 550.48/552.03 c rational objective 106 573.72/575.35 c #Conflicts: 425000 | #Constraints: 31422 573.72/575.35 c #Conflicts: 426000 | #Constraints: 32422 573.72/575.35 c #Conflicts: 427000 | #Constraints: 33422 573.72/575.35 c #Conflicts: 428000 | #Constraints: 34422 573.72/575.35 c #Conflicts: 429000 | #Constraints: 35422 573.72/575.35 c #Conflicts: 430000 | #Constraints: 36422 573.72/575.35 c #Conflicts: 431000 | #Constraints: 37422 573.72/575.35 c #Conflicts: 432000 | #Constraints: 38422 573.72/575.35 c #Conflicts: 433000 | #Constraints: 39422 573.72/575.35 c #Conflicts: 434000 | #Constraints: 40422 573.72/575.35 c #Conflicts: 435000 | #Constraints: 41422 573.72/575.35 c #Conflicts: 436000 | #Constraints: 42422 573.72/575.35 c #Conflicts: 437000 | #Constraints: 43422 573.72/575.35 c #Conflicts: 438000 | #Constraints: 44423 573.72/575.35 c #Conflicts: 439000 | #Constraints: 45423 573.72/575.35 c #Conflicts: 440000 | #Constraints: 46423 573.72/575.35 c INPROCESSING 573.72/575.35 c GARBAGE COLLECT 573.72/575.35 c rational objective 106 596.37/598.10 c #Conflicts: 441000 | #Constraints: 28179 596.37/598.10 c #Conflicts: 442000 | #Constraints: 29179 596.37/598.10 c #Conflicts: 443000 | #Constraints: 30179 596.37/598.10 c #Conflicts: 444000 | #Constraints: 31179 596.37/598.10 c #Conflicts: 445000 | #Constraints: 32179 596.37/598.10 c #Conflicts: 446000 | #Constraints: 33179 596.37/598.10 c #Conflicts: 447000 | #Constraints: 34179 596.37/598.10 c #Conflicts: 448000 | #Constraints: 35179 596.37/598.10 c #Conflicts: 449000 | #Constraints: 36179 596.37/598.10 c #Conflicts: 450000 | #Constraints: 37179 596.37/598.10 c #Conflicts: 451000 | #Constraints: 38179 596.37/598.10 c #Conflicts: 452000 | #Constraints: 39179 596.37/598.10 c #Conflicts: 453000 | #Constraints: 40179 596.37/598.10 c #Conflicts: 454000 | #Constraints: 41179 596.37/598.10 c #Conflicts: 455000 | #Constraints: 42180 596.37/598.10 c #Conflicts: 456000 | #Constraints: 43180 596.37/598.10 c INPROCESSING 596.37/598.10 c GARBAGE COLLECT 596.37/598.10 c rational objective 106 705.17/707.13 c #Conflicts: 457000 | #Constraints: 26729 705.17/707.13 c #Conflicts: 458000 | #Constraints: 27730 705.17/707.13 c #Conflicts: 459000 | #Constraints: 28730 705.17/707.13 c #Conflicts: 460000 | #Constraints: 29730 705.17/707.13 c #Conflicts: 461000 | #Constraints: 30730 705.17/707.13 c #Conflicts: 462000 | #Constraints: 31730 705.17/707.13 c #Conflicts: 463000 | #Constraints: 32730 705.17/707.13 c #Conflicts: 464000 | #Constraints: 33730 705.17/707.13 c #Conflicts: 465000 | #Constraints: 34730 705.17/707.13 c #Conflicts: 466000 | #Constraints: 35730 705.17/707.13 c #Conflicts: 467000 | #Constraints: 36730 705.17/707.13 c #Conflicts: 468000 | #Constraints: 37730 705.17/707.13 c #Conflicts: 469000 | #Constraints: 38730 705.17/707.13 c #Conflicts: 470000 | #Constraints: 39730 705.17/707.13 c #Conflicts: 471000 | #Constraints: 40730 705.17/707.13 c #Conflicts: 472000 | #Constraints: 41730 705.17/707.13 c #Conflicts: 473000 | #Constraints: 42730 705.17/707.13 c #Conflicts: 474000 | #Constraints: 43730 705.17/707.13 c #Conflicts: 475000 | #Constraints: 44730 705.17/707.13 c #Conflicts: 476000 | #Constraints: 45730 705.17/707.13 c #Conflicts: 477000 | #Constraints: 46731 705.17/707.13 c #Conflicts: 478000 | #Constraints: 47731 705.17/707.13 c #Conflicts: 479000 | #Constraints: 48731 705.17/707.13 c #Conflicts: 480000 | #Constraints: 49731 705.17/707.13 c #Conflicts: 481000 | #Constraints: 50731 705.17/707.13 c #Conflicts: 482000 | #Constraints: 51731 705.17/707.13 c #Conflicts: 483000 | #Constraints: 52732 705.17/707.13 c #Conflicts: 484000 | #Constraints: 53733 705.17/707.13 c #Conflicts: 485000 | #Constraints: 54733 705.17/707.13 c #Conflicts: 486000 | #Constraints: 55733 705.17/707.13 c #Conflicts: 487000 | #Constraints: 56733 705.17/707.13 c #Conflicts: 488000 | #Constraints: 57733 705.17/707.13 c #Conflicts: 489000 | #Constraints: 58733 705.17/707.13 c #Conflicts: 490000 | #Constraints: 59733 705.17/707.13 c #Conflicts: 491000 | #Constraints: 60733 705.17/707.13 c #Conflicts: 492000 | #Constraints: 61733 705.17/707.13 c #Conflicts: 493000 | #Constraints: 62733 705.17/707.13 c #Conflicts: 494000 | #Constraints: 63733 705.17/707.13 c #Conflicts: 495000 | #Constraints: 64733 705.17/707.13 c #Conflicts: 496000 | #Constraints: 65733 705.17/707.13 c #Conflicts: 497000 | #Constraints: 66733 705.17/707.13 c #Conflicts: 498000 | #Constraints: 67733 705.17/707.13 c #Conflicts: 499000 | #Constraints: 68734 705.17/707.13 c #Conflicts: 500000 | #Constraints: 69734 705.17/707.13 c #Conflicts: 501000 | #Constraints: 70734 705.17/707.13 c #Conflicts: 502000 | #Constraints: 71734 705.17/707.13 c #Conflicts: 503000 | #Constraints: 72734 705.17/707.13 c #Conflicts: 504000 | #Constraints: 73734 705.17/707.13 c #Conflicts: 505000 | #Constraints: 74734 705.17/707.13 c #Conflicts: 506000 | #Constraints: 75734 705.17/707.13 c #Conflicts: 507000 | #Constraints: 76734 705.17/707.13 c INPROCESSING 705.17/707.13 c GARBAGE COLLECT 705.17/707.13 c rational objective 106 730.50/732.59 c #Conflicts: 508000 | #Constraints: 43505 730.50/732.59 c #Conflicts: 509000 | #Constraints: 44505 730.50/732.59 c #Conflicts: 510000 | #Constraints: 45505 730.50/732.59 c #Conflicts: 511000 | #Constraints: 46505 730.50/732.59 c #Conflicts: 512000 | #Constraints: 47505 730.50/732.59 c #Conflicts: 513000 | #Constraints: 48506 730.50/732.59 c #Conflicts: 514000 | #Constraints: 49507 730.50/732.59 c #Conflicts: 515000 | #Constraints: 50507 730.50/732.59 c #Conflicts: 516000 | #Constraints: 51507 730.50/732.59 c #Conflicts: 517000 | #Constraints: 52507 730.50/732.59 c #Conflicts: 518000 | #Constraints: 53507 730.50/732.59 c #Conflicts: 519000 | #Constraints: 54507 730.50/732.59 c #Conflicts: 520000 | #Constraints: 55507 730.50/732.59 c #Conflicts: 521000 | #Constraints: 56507 730.50/732.59 c #Conflicts: 522000 | #Constraints: 57507 730.50/732.59 c #Conflicts: 523000 | #Constraints: 58507 730.50/732.59 c #Conflicts: 524000 | #Constraints: 59507 730.50/732.59 c INPROCESSING 730.50/732.59 c GARBAGE COLLECT 730.50/732.59 c rational objective 106 754.34/756.42 c #Conflicts: 525000 | #Constraints: 34955 754.34/756.42 c #Conflicts: 526000 | #Constraints: 35955 754.34/756.42 c #Conflicts: 527000 | #Constraints: 36955 754.34/756.42 c #Conflicts: 528000 | #Constraints: 37956 754.34/756.42 c #Conflicts: 529000 | #Constraints: 38957 754.34/756.42 c #Conflicts: 530000 | #Constraints: 39958 754.34/756.42 c #Conflicts: 531000 | #Constraints: 40958 754.34/756.42 c #Conflicts: 532000 | #Constraints: 41958 754.34/756.42 c #Conflicts: 533000 | #Constraints: 42958 754.34/756.42 c #Conflicts: 534000 | #Constraints: 43959 754.34/756.42 c #Conflicts: 535000 | #Constraints: 44959 754.34/756.42 c #Conflicts: 536000 | #Constraints: 45959 754.34/756.42 c #Conflicts: 537000 | #Constraints: 46959 754.34/756.42 c #Conflicts: 538000 | #Constraints: 47959 754.34/756.42 c #Conflicts: 539000 | #Constraints: 48959 754.34/756.42 c #Conflicts: 540000 | #Constraints: 49959 754.34/756.42 c #Conflicts: 541000 | #Constraints: 50959 754.34/756.42 c INPROCESSING 754.34/756.42 c GARBAGE COLLECT 754.34/756.42 c rational objective 106 778.67/780.84 c #Conflicts: 542000 | #Constraints: 30514 778.67/780.84 c #Conflicts: 543000 | #Constraints: 31514 778.67/780.84 c #Conflicts: 544000 | #Constraints: 32514 778.67/780.84 c #Conflicts: 545000 | #Constraints: 33514 778.67/780.84 c #Conflicts: 546000 | #Constraints: 34514 778.67/780.84 c #Conflicts: 547000 | #Constraints: 35514 778.67/780.84 c #Conflicts: 548000 | #Constraints: 36514 778.67/780.84 c #Conflicts: 549000 | #Constraints: 37514 778.67/780.84 c #Conflicts: 550000 | #Constraints: 38514 778.67/780.84 c #Conflicts: 551000 | #Constraints: 39514 778.67/780.84 c #Conflicts: 552000 | #Constraints: 40514 778.67/780.84 c #Conflicts: 553000 | #Constraints: 41514 778.67/780.84 c #Conflicts: 554000 | #Constraints: 42515 778.67/780.84 c #Conflicts: 555000 | #Constraints: 43515 778.67/780.84 c #Conflicts: 556000 | #Constraints: 44515 778.67/780.84 c #Conflicts: 557000 | #Constraints: 45515 778.67/780.84 c #Conflicts: 558000 | #Constraints: 46515 778.67/780.84 c INPROCESSING 778.67/780.84 c GARBAGE COLLECT 778.67/780.84 c rational objective 106 903.73/906.20 c #Conflicts: 559000 | #Constraints: 28074 903.73/906.20 c #Conflicts: 560000 | #Constraints: 29074 903.73/906.20 c #Conflicts: 561000 | #Constraints: 30074 903.73/906.20 c #Conflicts: 562000 | #Constraints: 31075 903.73/906.20 c #Conflicts: 563000 | #Constraints: 32075 903.73/906.20 c #Conflicts: 564000 | #Constraints: 33075 903.73/906.20 c #Conflicts: 565000 | #Constraints: 34075 903.73/906.20 c #Conflicts: 566000 | #Constraints: 35075 903.73/906.20 c #Conflicts: 567000 | #Constraints: 36075 903.73/906.20 c #Conflicts: 568000 | #Constraints: 37075 903.73/906.20 c #Conflicts: 569000 | #Constraints: 38076 903.73/906.20 c #Conflicts: 570000 | #Constraints: 39076 903.73/906.20 c #Conflicts: 571000 | #Constraints: 40076 903.73/906.20 c #Conflicts: 572000 | #Constraints: 41076 903.73/906.20 c #Conflicts: 573000 | #Constraints: 42076 903.73/906.20 c #Conflicts: 574000 | #Constraints: 43076 903.73/906.20 c #Conflicts: 575000 | #Constraints: 44076 903.73/906.20 c #Conflicts: 576000 | #Constraints: 45076 903.73/906.20 c #Conflicts: 577000 | #Constraints: 46076 903.73/906.20 c #Conflicts: 578000 | #Constraints: 47076 903.73/906.20 c #Conflicts: 579000 | #Constraints: 48076 903.73/906.20 c #Conflicts: 580000 | #Constraints: 49076 903.73/906.20 c #Conflicts: 581000 | #Constraints: 50076 903.73/906.20 c #Conflicts: 582000 | #Constraints: 51076 903.73/906.20 c #Conflicts: 583000 | #Constraints: 52076 903.73/906.20 c #Conflicts: 584000 | #Constraints: 53076 903.73/906.20 c #Conflicts: 585000 | #Constraints: 54076 903.73/906.20 c #Conflicts: 586000 | #Constraints: 55076 903.73/906.20 c #Conflicts: 587000 | #Constraints: 56076 903.73/906.20 c #Conflicts: 588000 | #Constraints: 57076 903.73/906.20 c #Conflicts: 589000 | #Constraints: 58076 903.73/906.20 c #Conflicts: 590000 | #Constraints: 59076 903.73/906.20 c #Conflicts: 591000 | #Constraints: 60076 903.73/906.20 c #Conflicts: 592000 | #Constraints: 61076 903.73/906.20 c #Conflicts: 593000 | #Constraints: 62076 903.73/906.20 c #Conflicts: 594000 | #Constraints: 63076 903.73/906.20 c #Conflicts: 595000 | #Constraints: 64076 903.73/906.20 c #Conflicts: 596000 | #Constraints: 65076 903.73/906.20 c #Conflicts: 597000 | #Constraints: 66077 903.73/906.20 c #Conflicts: 598000 | #Constraints: 67077 903.73/906.20 c #Conflicts: 599000 | #Constraints: 68077 903.73/906.20 c #Conflicts: 600000 | #Constraints: 69077 903.73/906.20 c #Conflicts: 601000 | #Constraints: 70077 903.73/906.20 c #Conflicts: 602000 | #Constraints: 71077 903.73/906.20 c #Conflicts: 603000 | #Constraints: 72078 903.73/906.20 c #Conflicts: 604000 | #Constraints: 73078 903.73/906.20 c #Conflicts: 605000 | #Constraints: 74078 903.73/906.20 c #Conflicts: 606000 | #Constraints: 75078 903.73/906.20 c #Conflicts: 607000 | #Constraints: 76078 903.73/906.20 c #Conflicts: 608000 | #Constraints: 77078 903.73/906.20 c #Conflicts: 609000 | #Constraints: 78078 903.73/906.20 c #Conflicts: 610000 | #Constraints: 79079 903.73/906.20 c #Conflicts: 611000 | #Constraints: 80079 903.73/906.20 c #Conflicts: 612000 | #Constraints: 81079 903.73/906.20 c #Conflicts: 613000 | #Constraints: 82079 903.73/906.20 c #Conflicts: 614000 | #Constraints: 83079 903.73/906.20 c INPROCESSING 903.73/906.20 c GARBAGE COLLECT 903.73/906.20 c rational objective 106 936.84/939.47 c #Conflicts: 615000 | #Constraints: 46207 936.84/939.47 c #Conflicts: 616000 | #Constraints: 47207 936.84/939.47 c #Conflicts: 617000 | #Constraints: 48207 936.84/939.47 c #Conflicts: 618000 | #Constraints: 49207 936.84/939.47 c #Conflicts: 619000 | #Constraints: 50207 936.84/939.47 c #Conflicts: 620000 | #Constraints: 51207 936.84/939.47 c #Conflicts: 621000 | #Constraints: 52207 936.84/939.47 c #Conflicts: 622000 | #Constraints: 53207 936.84/939.47 c #Conflicts: 623000 | #Constraints: 54208 936.84/939.47 c #Conflicts: 624000 | #Constraints: 55208 936.84/939.47 c #Conflicts: 625000 | #Constraints: 56208 936.84/939.47 c #Conflicts: 626000 | #Constraints: 57208 936.84/939.47 c #Conflicts: 627000 | #Constraints: 58208 936.84/939.47 c #Conflicts: 628000 | #Constraints: 59208 936.84/939.47 c #Conflicts: 629000 | #Constraints: 60208 936.84/939.47 c #Conflicts: 630000 | #Constraints: 61208 936.84/939.47 c #Conflicts: 631000 | #Constraints: 62208 936.84/939.47 c #Conflicts: 632000 | #Constraints: 63209 936.84/939.47 c #Conflicts: 633000 | #Constraints: 64209 936.84/939.47 c INPROCESSING 936.84/939.47 c GARBAGE COLLECT 936.84/939.47 c rational objective 106 958.09/960.76 c #Conflicts: 634000 | #Constraints: 36976 958.09/960.76 c #Conflicts: 635000 | #Constraints: 37976 958.09/960.76 c #Conflicts: 636000 | #Constraints: 38976 958.09/960.76 c #Conflicts: 637000 | #Constraints: 39976 958.09/960.76 c #Conflicts: 638000 | #Constraints: 40976 958.09/960.76 c #Conflicts: 639000 | #Constraints: 41976 958.09/960.76 c #Conflicts: 640000 | #Constraints: 42976 958.09/960.76 c #Conflicts: 641000 | #Constraints: 43976 958.09/960.76 c #Conflicts: 642000 | #Constraints: 44976 958.09/960.76 c #Conflicts: 643000 | #Constraints: 45976 958.09/960.76 c #Conflicts: 644000 | #Constraints: 46976 958.09/960.76 c #Conflicts: 645000 | #Constraints: 47976 958.09/960.76 c #Conflicts: 646000 | #Constraints: 48976 958.09/960.76 c #Conflicts: 647000 | #Constraints: 49976 958.09/960.76 c #Conflicts: 648000 | #Constraints: 50976 958.09/960.76 c #Conflicts: 649000 | #Constraints: 51976 958.09/960.76 c #Conflicts: 650000 | #Constraints: 52976 958.09/960.76 c #Conflicts: 651000 | #Constraints: 53976 958.09/960.76 c #Conflicts: 652000 | #Constraints: 54976 958.09/960.76 c INPROCESSING 958.09/960.76 c GARBAGE COLLECT 958.09/960.76 c rational objective 106 986.11/988.83 c #Conflicts: 653000 | #Constraints: 32427 986.11/988.83 c #Conflicts: 654000 | #Constraints: 33427 986.11/988.83 c #Conflicts: 655000 | #Constraints: 34427 986.11/988.83 c #Conflicts: 656000 | #Constraints: 35427 986.11/988.83 c #Conflicts: 657000 | #Constraints: 36427 986.11/988.83 c #Conflicts: 658000 | #Constraints: 37427 986.11/988.83 c #Conflicts: 659000 | #Constraints: 38427 986.11/988.83 c #Conflicts: 660000 | #Constraints: 39427 986.11/988.83 c #Conflicts: 661000 | #Constraints: 40427 986.11/988.83 c #Conflicts: 662000 | #Constraints: 41427 986.11/988.83 c #Conflicts: 663000 | #Constraints: 42428 986.11/988.83 c #Conflicts: 664000 | #Constraints: 43428 986.11/988.83 c #Conflicts: 665000 | #Constraints: 44429 986.11/988.83 c #Conflicts: 666000 | #Constraints: 45429 986.11/988.83 c #Conflicts: 667000 | #Constraints: 46429 986.11/988.83 c #Conflicts: 668000 | #Constraints: 47430 986.11/988.83 c #Conflicts: 669000 | #Constraints: 48430 986.11/988.83 c #Conflicts: 670000 | #Constraints: 49430 986.11/988.83 c #Conflicts: 671000 | #Constraints: 50430 986.11/988.83 c INPROCESSING 986.11/988.83 c GARBAGE COLLECT 986.11/988.83 c rational objective 106 1125.83/1128.98 c #Conflicts: 672000 | #Constraints: 30134 1125.83/1128.98 c #Conflicts: 673000 | #Constraints: 31134 1125.83/1128.98 c #Conflicts: 674000 | #Constraints: 32134 1125.83/1128.98 c #Conflicts: 675000 | #Constraints: 33134 1125.83/1128.98 c #Conflicts: 676000 | #Constraints: 34134 1125.83/1128.98 c #Conflicts: 677000 | #Constraints: 35134 1125.83/1128.98 c #Conflicts: 678000 | #Constraints: 36134 1125.83/1128.98 c #Conflicts: 679000 | #Constraints: 37134 1125.83/1128.98 c #Conflicts: 680000 | #Constraints: 38134 1125.83/1128.98 c #Conflicts: 681000 | #Constraints: 39135 1125.83/1128.98 c #Conflicts: 682000 | #Constraints: 40135 1125.83/1128.98 c #Conflicts: 683000 | #Constraints: 41135 1125.83/1128.98 c #Conflicts: 684000 | #Constraints: 42135 1125.83/1128.98 c #Conflicts: 685000 | #Constraints: 43135 1125.83/1128.98 c #Conflicts: 686000 | #Constraints: 44135 1125.83/1128.98 c #Conflicts: 687000 | #Constraints: 45135 1125.83/1128.98 c #Conflicts: 688000 | #Constraints: 46135 1125.83/1128.98 c #Conflicts: 689000 | #Constraints: 47135 1125.83/1128.98 c #Conflicts: 690000 | #Constraints: 48135 1125.83/1128.98 c #Conflicts: 691000 | #Constraints: 49135 1125.83/1128.98 c #Conflicts: 692000 | #Constraints: 50135 1125.83/1128.98 c #Conflicts: 693000 | #Constraints: 51135 1125.83/1128.98 c #Conflicts: 694000 | #Constraints: 52135 1125.83/1128.98 c #Conflicts: 695000 | #Constraints: 53136 1125.83/1128.98 c #Conflicts: 696000 | #Constraints: 54136 1125.83/1128.98 c #Conflicts: 697000 | #Constraints: 55136 1125.83/1128.98 c #Conflicts: 698000 | #Constraints: 56136 1125.83/1128.98 c #Conflicts: 699000 | #Constraints: 57136 1125.83/1128.98 c #Conflicts: 700000 | #Constraints: 58136 1125.83/1128.98 c #Conflicts: 701000 | #Constraints: 59136 1125.83/1128.98 c #Conflicts: 702000 | #Constraints: 60136 1125.83/1128.98 c #Conflicts: 703000 | #Constraints: 61136 1125.83/1128.98 c #Conflicts: 704000 | #Constraints: 62136 1125.83/1128.98 c #Conflicts: 705000 | #Constraints: 63136 1125.83/1128.98 c #Conflicts: 706000 | #Constraints: 64136 1125.83/1128.98 c #Conflicts: 707000 | #Constraints: 65136 1125.83/1128.98 c #Conflicts: 708000 | #Constraints: 66136 1125.83/1128.98 c #Conflicts: 709000 | #Constraints: 67136 1125.83/1128.98 c #Conflicts: 710000 | #Constraints: 68136 1125.83/1128.98 c #Conflicts: 711000 | #Constraints: 69136 1125.83/1128.98 c #Conflicts: 712000 | #Constraints: 70136 1125.83/1128.98 c #Conflicts: 713000 | #Constraints: 71136 1125.83/1128.98 c #Conflicts: 714000 | #Constraints: 72136 1125.83/1128.98 c #Conflicts: 715000 | #Constraints: 73137 1125.83/1128.98 c #Conflicts: 716000 | #Constraints: 74137 1125.83/1128.98 c #Conflicts: 717000 | #Constraints: 75137 1125.83/1128.98 c #Conflicts: 718000 | #Constraints: 76137 1125.83/1128.98 c #Conflicts: 719000 | #Constraints: 77137 1125.83/1128.98 c #Conflicts: 720000 | #Constraints: 78137 1125.83/1128.98 c #Conflicts: 721000 | #Constraints: 79137 1125.83/1128.98 c #Conflicts: 722000 | #Constraints: 80137 1125.83/1128.98 c #Conflicts: 723000 | #Constraints: 81137 1125.83/1128.98 c #Conflicts: 724000 | #Constraints: 82137 1125.83/1128.98 c #Conflicts: 725000 | #Constraints: 83137 1125.83/1128.98 c #Conflicts: 726000 | #Constraints: 84138 1125.83/1128.98 c #Conflicts: 727000 | #Constraints: 85138 1125.83/1128.98 c #Conflicts: 728000 | #Constraints: 86138 1125.83/1128.98 c #Conflicts: 729000 | #Constraints: 87138 1125.83/1128.98 c #Conflicts: 730000 | #Constraints: 88138 1125.83/1128.98 c #Conflicts: 731000 | #Constraints: 89138 1125.83/1128.98 c #Conflicts: 732000 | #Constraints: 90138 1125.83/1128.98 c #Conflicts: 733000 | #Constraints: 91138 1125.83/1128.98 c INPROCESSING 1125.83/1128.98 c GARBAGE COLLECT 1125.83/1128.98 c rational objective 106 1173.10/1176.39 c #Conflicts: 734000 | #Constraints: 50644 1173.10/1176.39 c #Conflicts: 735000 | #Constraints: 51644 1173.10/1176.39 c #Conflicts: 736000 | #Constraints: 52644 1173.10/1176.39 c #Conflicts: 737000 | #Constraints: 53645 1173.10/1176.39 c #Conflicts: 738000 | #Constraints: 54645 1173.10/1176.39 c #Conflicts: 739000 | #Constraints: 55645 1173.10/1176.39 c #Conflicts: 740000 | #Constraints: 56645 1173.10/1176.39 c #Conflicts: 741000 | #Constraints: 57645 1173.10/1176.39 c #Conflicts: 742000 | #Constraints: 58645 1173.10/1176.39 c #Conflicts: 743000 | #Constraints: 59645 1173.10/1176.39 c #Conflicts: 744000 | #Constraints: 60645 1173.10/1176.39 c #Conflicts: 745000 | #Constraints: 61645 1173.10/1176.39 c #Conflicts: 746000 | #Constraints: 62645 1173.10/1176.39 c #Conflicts: 747000 | #Constraints: 63645 1173.10/1176.39 c #Conflicts: 748000 | #Constraints: 64645 1173.10/1176.39 c #Conflicts: 749000 | #Constraints: 65645 1173.10/1176.39 c #Conflicts: 750000 | #Constraints: 66645 1173.10/1176.39 c #Conflicts: 751000 | #Constraints: 67645 1173.10/1176.39 c #Conflicts: 752000 | #Constraints: 68645 1173.10/1176.39 c #Conflicts: 753000 | #Constraints: 69645 1173.10/1176.39 c INPROCESSING 1173.10/1176.39 c GARBAGE COLLECT 1173.10/1176.39 c rational objective 106 1206.21/1209.51 c #Conflicts: 754000 | #Constraints: 39793 1206.21/1209.51 c #Conflicts: 755000 | #Constraints: 40793 1206.21/1209.51 c #Conflicts: 756000 | #Constraints: 41794 1206.21/1209.51 c #Conflicts: 757000 | #Constraints: 42794 1206.21/1209.51 c #Conflicts: 758000 | #Constraints: 43795 1206.21/1209.51 c #Conflicts: 759000 | #Constraints: 44795 1206.21/1209.51 c #Conflicts: 760000 | #Constraints: 45795 1206.21/1209.51 c #Conflicts: 761000 | #Constraints: 46795 1206.21/1209.51 c #Conflicts: 762000 | #Constraints: 47795 1206.21/1209.51 c #Conflicts: 763000 | #Constraints: 48796 1206.21/1209.51 c #Conflicts: 764000 | #Constraints: 49796 1206.21/1209.51 c #Conflicts: 765000 | #Constraints: 50796 1206.21/1209.51 c #Conflicts: 766000 | #Constraints: 51796 1206.21/1209.51 c #Conflicts: 767000 | #Constraints: 52797 1206.21/1209.51 c #Conflicts: 768000 | #Constraints: 53798 1206.21/1209.51 c #Conflicts: 769000 | #Constraints: 54798 1206.21/1209.51 c #Conflicts: 770000 | #Constraints: 55798 1206.21/1209.51 c #Conflicts: 771000 | #Constraints: 56798 1206.21/1209.51 c #Conflicts: 772000 | #Constraints: 57798 1206.21/1209.51 c #Conflicts: 773000 | #Constraints: 58798 1206.21/1209.51 c #Conflicts: 774000 | #Constraints: 59798 1206.21/1209.51 c INPROCESSING 1206.21/1209.51 c GARBAGE COLLECT 1206.21/1209.51 c rational objective 106 1236.24/1239.65 c #Conflicts: 775000 | #Constraints: 34947 1236.24/1239.65 c #Conflicts: 776000 | #Constraints: 35947 1236.24/1239.65 c #Conflicts: 777000 | #Constraints: 36947 1236.24/1239.65 c #Conflicts: 778000 | #Constraints: 37947 1236.24/1239.65 c #Conflicts: 779000 | #Constraints: 38947 1236.24/1239.65 c #Conflicts: 780000 | #Constraints: 39947 1236.24/1239.65 c #Conflicts: 781000 | #Constraints: 40947 1236.24/1239.65 c #Conflicts: 782000 | #Constraints: 41947 1236.24/1239.65 c #Conflicts: 783000 | #Constraints: 42947 1236.24/1239.65 c #Conflicts: 784000 | #Constraints: 43947 1236.24/1239.65 c #Conflicts: 785000 | #Constraints: 44947 1236.24/1239.65 c #Conflicts: 786000 | #Constraints: 45947 1236.24/1239.65 c #Conflicts: 787000 | #Constraints: 46947 1236.24/1239.65 c #Conflicts: 788000 | #Constraints: 47947 1236.24/1239.65 c #Conflicts: 789000 | #Constraints: 48947 1236.24/1239.65 c #Conflicts: 790000 | #Constraints: 49948 1236.24/1239.65 c #Conflicts: 791000 | #Constraints: 50948 1236.24/1239.65 c #Conflicts: 792000 | #Constraints: 51948 1236.24/1239.65 c #Conflicts: 793000 | #Constraints: 52949 1236.24/1239.65 c #Conflicts: 794000 | #Constraints: 53949 1236.24/1239.65 c #Conflicts: 795000 | #Constraints: 54949 1236.24/1239.65 c INPROCESSING 1236.24/1239.65 c GARBAGE COLLECT 1236.24/1239.65 c rational objective 106 1376.26/1380.05 c #Conflicts: 796000 | #Constraints: 32736 1376.26/1380.05 c #Conflicts: 797000 | #Constraints: 33736 1376.26/1380.05 c #Conflicts: 798000 | #Constraints: 34737 1376.26/1380.05 c #Conflicts: 799000 | #Constraints: 35737 1376.26/1380.05 c #Conflicts: 800000 | #Constraints: 36737 1376.26/1380.05 c #Conflicts: 801000 | #Constraints: 37737 1376.26/1380.05 c #Conflicts: 802000 | #Constraints: 38737 1376.26/1380.05 c #Conflicts: 803000 | #Constraints: 39737 1376.26/1380.05 c #Conflicts: 804000 | #Constraints: 40737 1376.26/1380.05 c #Conflicts: 805000 | #Constraints: 41737 1376.26/1380.05 c #Conflicts: 806000 | #Constraints: 42737 1376.26/1380.05 c #Conflicts: 807000 | #Constraints: 43737 1376.26/1380.05 c #Conflicts: 808000 | #Constraints: 44737 1376.26/1380.05 c #Conflicts: 809000 | #Constraints: 45737 1376.26/1380.05 c #Conflicts: 810000 | #Constraints: 46737 1376.26/1380.05 c #Conflicts: 811000 | #Constraints: 47737 1376.26/1380.05 c #Conflicts: 812000 | #Constraints: 48737 1376.26/1380.05 c #Conflicts: 813000 | #Constraints: 49737 1376.26/1380.05 c #Conflicts: 814000 | #Constraints: 50737 1376.26/1380.05 c #Conflicts: 815000 | #Constraints: 51737 1376.26/1380.05 c #Conflicts: 816000 | #Constraints: 52737 1376.26/1380.05 c #Conflicts: 817000 | #Constraints: 53737 1376.26/1380.05 c #Conflicts: 818000 | #Constraints: 54737 1376.26/1380.05 c #Conflicts: 819000 | #Constraints: 55737 1376.26/1380.05 c #Conflicts: 820000 | #Constraints: 56737 1376.26/1380.05 c #Conflicts: 821000 | #Constraints: 57737 1376.26/1380.05 c #Conflicts: 822000 | #Constraints: 58737 1376.26/1380.05 c #Conflicts: 823000 | #Constraints: 59737 1376.26/1380.05 c #Conflicts: 824000 | #Constraints: 60737 1376.26/1380.05 c #Conflicts: 825000 | #Constraints: 61737 1376.26/1380.05 c #Conflicts: 826000 | #Constraints: 62737 1376.26/1380.05 c #Conflicts: 827000 | #Constraints: 63737 1376.26/1380.05 c #Conflicts: 828000 | #Constraints: 64737 1376.26/1380.05 c #Conflicts: 829000 | #Constraints: 65737 1376.26/1380.05 c #Conflicts: 830000 | #Constraints: 66737 1376.26/1380.05 c #Conflicts: 831000 | #Constraints: 67737 1376.26/1380.05 c #Conflicts: 832000 | #Constraints: 68738 1376.26/1380.05 c #Conflicts: 833000 | #Constraints: 69738 1376.26/1380.05 c #Conflicts: 834000 | #Constraints: 70738 1376.26/1380.05 c #Conflicts: 835000 | #Constraints: 71738 1376.26/1380.05 c #Conflicts: 836000 | #Constraints: 72738 1376.26/1380.05 c #Conflicts: 837000 | #Constraints: 73738 1376.26/1380.05 c #Conflicts: 838000 | #Constraints: 74739 1376.26/1380.05 c #Conflicts: 839000 | #Constraints: 75739 1376.26/1380.05 c #Conflicts: 840000 | #Constraints: 76739 1376.26/1380.05 c #Conflicts: 841000 | #Constraints: 77739 1376.26/1380.05 c #Conflicts: 842000 | #Constraints: 78739 1376.26/1380.05 c #Conflicts: 843000 | #Constraints: 79739 1376.26/1380.05 c #Conflicts: 844000 | #Constraints: 80739 1376.26/1380.05 c #Conflicts: 845000 | #Constraints: 81739 1376.26/1380.05 c #Conflicts: 846000 | #Constraints: 82739 1376.26/1380.05 c #Conflicts: 847000 | #Constraints: 83739 1376.26/1380.05 c #Conflicts: 848000 | #Constraints: 84739 1376.26/1380.05 c #Conflicts: 849000 | #Constraints: 85739 1376.26/1380.05 c #Conflicts: 850000 | #Constraints: 86739 1376.26/1380.05 c #Conflicts: 851000 | #Constraints: 87739 1376.26/1380.05 c #Conflicts: 852000 | #Constraints: 88739 1376.26/1380.05 c #Conflicts: 853000 | #Constraints: 89739 1376.26/1380.05 c #Conflicts: 854000 | #Constraints: 90739 1376.26/1380.05 c #Conflicts: 855000 | #Constraints: 91739 1376.26/1380.05 c #Conflicts: 856000 | #Constraints: 92740 1376.26/1380.05 c #Conflicts: 857000 | #Constraints: 93740 1376.26/1380.05 c #Conflicts: 858000 | #Constraints: 94740 1376.26/1380.05 c #Conflicts: 859000 | #Constraints: 95740 1376.26/1380.05 c #Conflicts: 860000 | #Constraints: 96740 1376.26/1380.05 c #Conflicts: 861000 | #Constraints: 97740 1376.26/1380.05 c INPROCESSING 1376.26/1380.05 c GARBAGE COLLECT 1376.26/1380.05 c rational objective 106 1419.44/1423.32 c #Conflicts: 862000 | #Constraints: 53608 1419.44/1423.32 c #Conflicts: 863000 | #Constraints: 54608 1419.44/1423.32 c #Conflicts: 864000 | #Constraints: 55608 1419.44/1423.32 c #Conflicts: 865000 | #Constraints: 56608 1419.44/1423.32 c #Conflicts: 866000 | #Constraints: 57608 1419.44/1423.32 c #Conflicts: 867000 | #Constraints: 58608 1419.44/1423.32 c #Conflicts: 868000 | #Constraints: 59608 1419.44/1423.32 c #Conflicts: 869000 | #Constraints: 60608 1419.44/1423.32 c #Conflicts: 870000 | #Constraints: 61608 1419.44/1423.32 c #Conflicts: 871000 | #Constraints: 62608 1419.44/1423.32 c #Conflicts: 872000 | #Constraints: 63608 1419.44/1423.32 c #Conflicts: 873000 | #Constraints: 64608 1419.44/1423.32 c #Conflicts: 874000 | #Constraints: 65608 1419.44/1423.32 c #Conflicts: 875000 | #Constraints: 66609 1419.44/1423.32 c #Conflicts: 876000 | #Constraints: 67609 1419.44/1423.32 c #Conflicts: 877000 | #Constraints: 68609 1419.44/1423.32 c #Conflicts: 878000 | #Constraints: 69609 1419.44/1423.32 c #Conflicts: 879000 | #Constraints: 70609 1419.44/1423.32 c #Conflicts: 880000 | #Constraints: 71609 1419.44/1423.32 c #Conflicts: 881000 | #Constraints: 72609 1419.44/1423.32 c #Conflicts: 882000 | #Constraints: 73609 1419.44/1423.32 c #Conflicts: 883000 | #Constraints: 74609 1419.44/1423.32 c #Conflicts: 884000 | #Constraints: 75609 1419.44/1423.32 c INPROCESSING 1419.44/1423.32 c GARBAGE COLLECT 1419.44/1423.32 c rational objective 106 1451.06/1455.02 c #Conflicts: 885000 | #Constraints: 43064 1451.06/1455.02 c #Conflicts: 886000 | #Constraints: 44064 1451.06/1455.02 c #Conflicts: 887000 | #Constraints: 45064 1451.06/1455.02 c #Conflicts: 888000 | #Constraints: 46064 1451.06/1455.02 c #Conflicts: 889000 | #Constraints: 47064 1451.06/1455.02 c #Conflicts: 890000 | #Constraints: 48064 1451.06/1455.02 c #Conflicts: 891000 | #Constraints: 49064 1451.06/1455.02 c #Conflicts: 892000 | #Constraints: 50064 1451.06/1455.02 c #Conflicts: 893000 | #Constraints: 51064 1451.06/1455.02 c #Conflicts: 894000 | #Constraints: 52064 1451.06/1455.02 c #Conflicts: 895000 | #Constraints: 53064 1451.06/1455.02 c #Conflicts: 896000 | #Constraints: 54064 1451.06/1455.02 c #Conflicts: 897000 | #Constraints: 55064 1451.06/1455.02 c #Conflicts: 898000 | #Constraints: 56064 1451.06/1455.02 c #Conflicts: 899000 | #Constraints: 57064 1451.06/1455.02 c #Conflicts: 900000 | #Constraints: 58064 1451.06/1455.02 c #Conflicts: 901000 | #Constraints: 59064 1451.06/1455.02 c #Conflicts: 902000 | #Constraints: 60064 1451.06/1455.02 c #Conflicts: 903000 | #Constraints: 61064 1451.06/1455.02 c #Conflicts: 904000 | #Constraints: 62064 1451.06/1455.02 c #Conflicts: 905000 | #Constraints: 63064 1451.06/1455.02 c #Conflicts: 906000 | #Constraints: 64064 1451.06/1455.02 c INPROCESSING 1451.06/1455.02 c GARBAGE COLLECT 1451.06/1455.02 c rational objective 106 1483.67/1487.72 c #Conflicts: 907000 | #Constraints: 37079 1483.67/1487.72 c #Conflicts: 908000 | #Constraints: 38079 1483.67/1487.72 c #Conflicts: 909000 | #Constraints: 39080 1483.67/1487.72 c #Conflicts: 910000 | #Constraints: 40080 1483.67/1487.72 c #Conflicts: 911000 | #Constraints: 41080 1483.67/1487.72 c #Conflicts: 912000 | #Constraints: 42080 1483.67/1487.72 c #Conflicts: 913000 | #Constraints: 43080 1483.67/1487.72 c #Conflicts: 914000 | #Constraints: 44080 1483.67/1487.72 c #Conflicts: 915000 | #Constraints: 45080 1483.67/1487.72 c #Conflicts: 916000 | #Constraints: 46080 1483.67/1487.72 c #Conflicts: 917000 | #Constraints: 47080 1483.67/1487.72 c #Conflicts: 918000 | #Constraints: 48080 1483.67/1487.72 c #Conflicts: 919000 | #Constraints: 49080 1483.67/1487.72 c #Conflicts: 920000 | #Constraints: 50080 1483.67/1487.72 c #Conflicts: 921000 | #Constraints: 51080 1483.67/1487.72 c #Conflicts: 922000 | #Constraints: 52080 1483.67/1487.72 c #Conflicts: 923000 | #Constraints: 53080 1483.67/1487.72 c #Conflicts: 924000 | #Constraints: 54081 1483.67/1487.72 c #Conflicts: 925000 | #Constraints: 55081 1483.67/1487.72 c #Conflicts: 926000 | #Constraints: 56081 1483.67/1487.72 c #Conflicts: 927000 | #Constraints: 57081 1483.67/1487.72 c #Conflicts: 928000 | #Constraints: 58081 1483.67/1487.72 c INPROCESSING 1483.67/1487.72 c GARBAGE COLLECT 1483.67/1487.72 c rational objective 106 1649.22/1653.77 c #Conflicts: 929000 | #Constraints: 33928 1649.22/1653.77 c #Conflicts: 930000 | #Constraints: 34928 1649.22/1653.77 c #Conflicts: 931000 | #Constraints: 35928 1649.22/1653.77 c #Conflicts: 932000 | #Constraints: 36928 1649.22/1653.77 c #Conflicts: 933000 | #Constraints: 37928 1649.22/1653.77 c #Conflicts: 934000 | #Constraints: 38928 1649.22/1653.77 c #Conflicts: 935000 | #Constraints: 39928 1649.22/1653.77 c #Conflicts: 936000 | #Constraints: 40928 1649.22/1653.77 c #Conflicts: 937000 | #Constraints: 41928 1649.22/1653.77 c #Conflicts: 938000 | #Constraints: 42928 1649.22/1653.77 c #Conflicts: 939000 | #Constraints: 43928 1649.22/1653.77 c #Conflicts: 940000 | #Constraints: 44929 1649.22/1653.77 c #Conflicts: 941000 | #Constraints: 45929 1649.22/1653.77 c #Conflicts: 942000 | #Constraints: 46930 1649.22/1653.77 c #Conflicts: 943000 | #Constraints: 47930 1649.22/1653.77 c #Conflicts: 944000 | #Constraints: 48930 1649.22/1653.77 c #Conflicts: 945000 | #Constraints: 49930 1649.22/1653.77 c #Conflicts: 946000 | #Constraints: 50930 1649.22/1653.77 c #Conflicts: 947000 | #Constraints: 51930 1649.22/1653.77 c #Conflicts: 948000 | #Constraints: 52931 1649.22/1653.77 c #Conflicts: 949000 | #Constraints: 53931 1649.22/1653.77 c #Conflicts: 950000 | #Constraints: 54931 1649.22/1653.77 c #Conflicts: 951000 | #Constraints: 55931 1649.22/1653.77 c #Conflicts: 952000 | #Constraints: 56931 1649.22/1653.77 c #Conflicts: 953000 | #Constraints: 57931 1649.22/1653.77 c #Conflicts: 954000 | #Constraints: 58931 1649.22/1653.77 c #Conflicts: 955000 | #Constraints: 59931 1649.22/1653.77 c #Conflicts: 956000 | #Constraints: 60931 1649.22/1653.77 c #Conflicts: 957000 | #Constraints: 61931 1649.22/1653.77 c #Conflicts: 958000 | #Constraints: 62931 1649.22/1653.77 c #Conflicts: 959000 | #Constraints: 63931 1649.22/1653.77 c #Conflicts: 960000 | #Constraints: 64931 1649.22/1653.77 c #Conflicts: 961000 | #Constraints: 65931 1649.22/1653.77 c #Conflicts: 962000 | #Constraints: 66931 1649.22/1653.77 c #Conflicts: 963000 | #Constraints: 67932 1649.22/1653.77 c #Conflicts: 964000 | #Constraints: 68932 1649.22/1653.77 c #Conflicts: 965000 | #Constraints: 69932 1649.22/1653.77 c #Conflicts: 966000 | #Constraints: 70932 1649.22/1653.77 c #Conflicts: 967000 | #Constraints: 71932 1649.22/1653.77 c #Conflicts: 968000 | #Constraints: 72932 1649.22/1653.77 c #Conflicts: 969000 | #Constraints: 73932 1649.22/1653.77 c #Conflicts: 970000 | #Constraints: 74932 1649.22/1653.77 c #Conflicts: 971000 | #Constraints: 75932 1649.22/1653.77 c #Conflicts: 972000 | #Constraints: 76932 1649.22/1653.77 c #Conflicts: 973000 | #Constraints: 77932 1649.22/1653.77 c #Conflicts: 974000 | #Constraints: 78932 1649.22/1653.77 c #Conflicts: 975000 | #Constraints: 79932 1649.22/1653.77 c #Conflicts: 976000 | #Constraints: 80932 1649.22/1653.77 c #Conflicts: 977000 | #Constraints: 81932 1649.22/1653.77 c #Conflicts: 978000 | #Constraints: 82932 1649.22/1653.77 c #Conflicts: 979000 | #Constraints: 83932 1649.22/1653.77 c #Conflicts: 980000 | #Constraints: 84932 1649.22/1653.77 c #Conflicts: 981000 | #Constraints: 85932 1649.22/1653.77 c #Conflicts: 982000 | #Constraints: 86932 1649.22/1653.77 c #Conflicts: 983000 | #Constraints: 87932 1649.22/1653.77 c #Conflicts: 984000 | #Constraints: 88932 1649.22/1653.77 c #Conflicts: 985000 | #Constraints: 89932 1649.22/1653.77 c #Conflicts: 986000 | #Constraints: 90932 1649.22/1653.77 c #Conflicts: 987000 | #Constraints: 91933 1649.22/1653.77 c #Conflicts: 988000 | #Constraints: 92933 1649.22/1653.77 c #Conflicts: 989000 | #Constraints: 93933 1649.22/1653.77 c #Conflicts: 990000 | #Constraints: 94933 1649.22/1653.77 c #Conflicts: 991000 | #Constraints: 95933 1649.22/1653.77 c #Conflicts: 992000 | #Constraints: 96933 1649.22/1653.77 c #Conflicts: 993000 | #Constraints: 97933 1649.22/1653.77 c #Conflicts: 994000 | #Constraints: 98933 1649.22/1653.77 c #Conflicts: 995000 | #Constraints: 99933 1649.22/1653.77 c #Conflicts: 996000 | #Constraints: 100933 1649.22/1653.77 c #Conflicts: 997000 | #Constraints: 101933 1649.22/1653.77 c #Conflicts: 998000 | #Constraints: 102933 1649.22/1653.77 c #Conflicts: 999000 | #Constraints: 103933 1649.22/1653.77 c #Conflicts: 1000000 | #Constraints: 104933 1649.22/1653.77 c #Conflicts: 1001000 | #Constraints: 105933 1649.22/1653.77 c INPROCESSING 1649.22/1653.77 c GARBAGE COLLECT 1649.22/1653.77 c rational objective 106 1706.38/1711.06 c #Conflicts: 1002000 | #Constraints: 58221 1706.38/1711.06 c #Conflicts: 1003000 | #Constraints: 59221 1706.38/1711.06 c #Conflicts: 1004000 | #Constraints: 60221 1706.38/1711.06 c #Conflicts: 1005000 | #Constraints: 61221 1706.38/1711.06 c #Conflicts: 1006000 | #Constraints: 62221 1706.38/1711.06 c #Conflicts: 1007000 | #Constraints: 63221 1706.38/1711.06 c #Conflicts: 1008000 | #Constraints: 64221 1706.38/1711.06 c #Conflicts: 1009000 | #Constraints: 65222 1706.38/1711.06 c #Conflicts: 1010000 | #Constraints: 66222 1706.38/1711.06 c #Conflicts: 1011000 | #Constraints: 67222 1706.38/1711.06 c #Conflicts: 1012000 | #Constraints: 68222 1706.38/1711.06 c #Conflicts: 1013000 | #Constraints: 69222 1706.38/1711.06 c #Conflicts: 1014000 | #Constraints: 70222 1706.38/1711.06 c #Conflicts: 1015000 | #Constraints: 71222 1706.38/1711.06 c #Conflicts: 1016000 | #Constraints: 72222 1706.38/1711.06 c #Conflicts: 1017000 | #Constraints: 73222 1706.38/1711.06 c #Conflicts: 1018000 | #Constraints: 74222 1706.38/1711.06 c #Conflicts: 1019000 | #Constraints: 75222 1706.38/1711.06 c #Conflicts: 1020000 | #Constraints: 76222 1706.38/1711.06 c #Conflicts: 1021000 | #Constraints: 77223 1706.38/1711.06 c #Conflicts: 1022000 | #Constraints: 78223 1706.38/1711.06 c #Conflicts: 1023000 | #Constraints: 79223 1706.38/1711.06 c #Conflicts: 1024000 | #Constraints: 80223 1706.38/1711.06 c INPROCESSING 1706.38/1711.06 c GARBAGE COLLECT 1706.38/1711.06 c rational objective 106 1747.37/1752.19 c #Conflicts: 1025000 | #Constraints: 44970 1747.37/1752.19 c #Conflicts: 1026000 | #Constraints: 45970 1747.37/1752.19 c #Conflicts: 1027000 | #Constraints: 46970 1747.37/1752.19 c #Conflicts: 1028000 | #Constraints: 47970 1747.37/1752.19 c #Conflicts: 1029000 | #Constraints: 48970 1747.37/1752.19 c #Conflicts: 1030000 | #Constraints: 49970 1747.37/1752.19 c #Conflicts: 1031000 | #Constraints: 50970 1747.37/1752.19 c #Conflicts: 1032000 | #Constraints: 51970 1747.37/1752.19 c #Conflicts: 1033000 | #Constraints: 52970 1747.37/1752.19 c #Conflicts: 1034000 | #Constraints: 53970 1747.37/1752.19 c #Conflicts: 1035000 | #Constraints: 54970 1747.37/1752.19 c #Conflicts: 1036000 | #Constraints: 55970 1747.37/1752.19 c #Conflicts: 1037000 | #Constraints: 56970 1747.37/1752.19 c #Conflicts: 1038000 | #Constraints: 57970 1747.37/1752.19 c #Conflicts: 1039000 | #Constraints: 58970 1747.37/1752.19 c #Conflicts: 1040000 | #Constraints: 59970 1747.37/1752.19 c #Conflicts: 1041000 | #Constraints: 60970 1747.37/1752.19 c #Conflicts: 1042000 | #Constraints: 61970 1747.37/1752.19 c #Conflicts: 1043000 | #Constraints: 62970 1747.37/1752.19 c #Conflicts: 1044000 | #Constraints: 63970 1747.37/1752.19 c #Conflicts: 1045000 | #Constraints: 64970 1747.37/1752.19 c #Conflicts: 1046000 | #Constraints: 65970 1747.37/1752.19 c #Conflicts: 1047000 | #Constraints: 66970 1747.37/1752.19 c #Conflicts: 1048000 | #Constraints: 67970 1747.37/1752.19 c INPROCESSING 1747.37/1752.19 c GARBAGE COLLECT 1747.37/1752.19 c rational objective 106 1787.64/1792.54 c #Conflicts: 1049000 | #Constraints: 38887 1787.64/1792.54 c #Conflicts: 1050000 | #Constraints: 39887 1787.64/1792.54 c #Conflicts: 1051000 | #Constraints: 40887 1787.64/1792.54 c #Conflicts: 1052000 | #Constraints: 41887 1787.64/1792.54 c #Conflicts: 1053000 | #Constraints: 42887 1787.64/1792.54 c #Conflicts: 1054000 | #Constraints: 43887 1787.64/1792.54 c #Conflicts: 1055000 | #Constraints: 44887 1787.64/1792.54 c #Conflicts: 1056000 | #Constraints: 45887 1787.64/1792.54 c #Conflicts: 1057000 | #Constraints: 46887 1787.64/1792.54 c #Conflicts: 1058000 | #Constraints: 47887 1787.64/1792.54 c #Conflicts: 1059000 | #Constraints: 48888 1787.64/1792.54 c #Conflicts: 1060000 | #Constraints: 49888 1787.64/1792.54 c #Conflicts: 1061000 | #Constraints: 50888 1787.64/1792.54 c #Conflicts: 1062000 | #Constraints: 51888 1787.64/1792.54 c #Conflicts: 1063000 | #Constraints: 52888 1787.64/1792.54 c #Conflicts: 1064000 | #Constraints: 53888 1787.64/1792.54 c #Conflicts: 1065000 | #Constraints: 54888 1787.64/1792.54 c #Conflicts: 1066000 | #Constraints: 55888 1787.64/1792.54 c #Conflicts: 1067000 | #Constraints: 56889 1787.64/1792.54 c #Conflicts: 1068000 | #Constraints: 57889 1787.64/1792.54 c #Conflicts: 1069000 | #Constraints: 58889 1787.64/1792.54 c #Conflicts: 1070000 | #Constraints: 59889 1787.64/1792.54 c #Conflicts: 1071000 | #Constraints: 60889 1787.64/1792.54 c #Conflicts: 1072000 | #Constraints: 61889 1787.64/1792.54 c #Conflicts: 1073000 | #Constraints: 62890 1787.64/1792.54 c INPROCESSING 1787.64/1792.54 c GARBAGE COLLECT 1787.64/1792.54 c rational objective 106 1988.16/1993.63 c #Conflicts: 1074000 | #Constraints: 36687 1988.16/1993.63 c #Conflicts: 1075000 | #Constraints: 37687 1988.16/1993.63 c #Conflicts: 1076000 | #Constraints: 38687 1988.16/1993.63 c #Conflicts: 1077000 | #Constraints: 39687 1988.16/1993.63 c #Conflicts: 1078000 | #Constraints: 40687 1988.16/1993.63 c #Conflicts: 1079000 | #Constraints: 41687 1988.16/1993.63 c #Conflicts: 1080000 | #Constraints: 42687 1988.16/1993.63 c #Conflicts: 1081000 | #Constraints: 43687 1988.16/1993.63 c #Conflicts: 1082000 | #Constraints: 44687 1988.16/1993.63 c #Conflicts: 1083000 | #Constraints: 45687 1988.16/1993.63 c #Conflicts: 1084000 | #Constraints: 46687 1988.16/1993.63 c #Conflicts: 1085000 | #Constraints: 47687 1988.16/1993.63 c #Conflicts: 1086000 | #Constraints: 48687 1988.16/1993.63 c #Conflicts: 1087000 | #Constraints: 49687 1988.16/1993.63 c #Conflicts: 1088000 | #Constraints: 50687 1988.16/1993.63 c #Conflicts: 1089000 | #Constraints: 51687 1988.16/1993.63 c #Conflicts: 1090000 | #Constraints: 52687 1988.16/1993.63 c #Conflicts: 1091000 | #Constraints: 53687 1988.16/1993.63 c #Conflicts: 1092000 | #Constraints: 54687 1988.16/1993.63 c #Conflicts: 1093000 | #Constraints: 55687 1988.16/1993.63 c #Conflicts: 1094000 | #Constraints: 56687 1988.16/1993.63 c #Conflicts: 1095000 | #Constraints: 57687 1988.16/1993.63 c #Conflicts: 1096000 | #Constraints: 58687 1988.16/1993.63 c #Conflicts: 1097000 | #Constraints: 59687 1988.16/1993.63 c #Conflicts: 1098000 | #Constraints: 60687 1988.16/1993.63 c #Conflicts: 1099000 | #Constraints: 61687 1988.16/1993.63 c #Conflicts: 1100000 | #Constraints: 62687 1988.16/1993.63 c #Conflicts: 1101000 | #Constraints: 63687 1988.16/1993.63 c #Conflicts: 1102000 | #Constraints: 64687 1988.16/1993.63 c #Conflicts: 1103000 | #Constraints: 65687 1988.16/1993.63 c #Conflicts: 1104000 | #Constraints: 66687 1988.16/1993.63 c #Conflicts: 1105000 | #Constraints: 67687 1988.16/1993.63 c #Conflicts: 1106000 | #Constraints: 68687 1988.16/1993.63 c #Conflicts: 1107000 | #Constraints: 69687 1988.16/1993.63 c #Conflicts: 1108000 | #Constraints: 70687 1988.16/1993.63 c #Conflicts: 1109000 | #Constraints: 71687 1988.16/1993.63 c #Conflicts: 1110000 | #Constraints: 72687 1988.16/1993.63 c #Conflicts: 1111000 | #Constraints: 73687 1988.16/1993.63 c #Conflicts: 1112000 | #Constraints: 74687 1988.16/1993.63 c #Conflicts: 1113000 | #Constraints: 75687 1988.16/1993.63 c #Conflicts: 1114000 | #Constraints: 76687 1988.16/1993.63 c #Conflicts: 1115000 | #Constraints: 77687 1988.16/1993.63 c #Conflicts: 1116000 | #Constraints: 78687 1988.16/1993.63 c #Conflicts: 1117000 | #Constraints: 79687 1988.16/1993.63 c #Conflicts: 1118000 | #Constraints: 80687 1988.16/1993.63 c #Conflicts: 1119000 | #Constraints: 81687 1988.16/1993.63 c #Conflicts: 1120000 | #Constraints: 82687 1988.16/1993.63 c #Conflicts: 1121000 | #Constraints: 83687 1988.16/1993.63 c #Conflicts: 1122000 | #Constraints: 84688 1988.16/1993.63 c #Conflicts: 1123000 | #Constraints: 85688 1988.16/1993.63 c #Conflicts: 1124000 | #Constraints: 86688 1988.16/1993.63 c #Conflicts: 1125000 | #Constraints: 87688 1988.16/1993.63 c #Conflicts: 1126000 | #Constraints: 88688 1988.16/1993.63 c #Conflicts: 1127000 | #Constraints: 89688 1988.16/1993.63 c #Conflicts: 1128000 | #Constraints: 90688 1988.16/1993.63 c #Conflicts: 1129000 | #Constraints: 91688 1988.16/1993.63 c #Conflicts: 1130000 | #Constraints: 92688 1988.16/1993.63 c #Conflicts: 1131000 | #Constraints: 93688 1988.16/1993.63 c #Conflicts: 1132000 | #Constraints: 94688 1988.16/1993.63 c #Conflicts: 1133000 | #Constraints: 95688 1988.16/1993.63 c #Conflicts: 1134000 | #Constraints: 96688 1988.16/1993.63 c #Conflicts: 1135000 | #Constraints: 97688 1988.16/1993.63 c #Conflicts: 1136000 | #Constraints: 98688 1988.16/1993.63 c #Conflicts: 1137000 | #Constraints: 99688 1988.16/1993.63 c #Conflicts: 1138000 | #Constraints: 100689 1988.16/1993.63 c #Conflicts: 1139000 | #Constraints: 101689 1988.16/1993.63 c #Conflicts: 1140000 | #Constraints: 102689 1988.16/1993.63 c #Conflicts: 1141000 | #Constraints: 103689 1988.16/1993.63 c #Conflicts: 1142000 | #Constraints: 104689 1988.16/1993.63 c #Conflicts: 1143000 | #Constraints: 105689 1988.16/1993.63 c #Conflicts: 1144000 | #Constraints: 106689 1988.16/1993.63 c #Conflicts: 1145000 | #Constraints: 107689 1988.16/1993.63 c #Conflicts: 1146000 | #Constraints: 108690 1988.16/1993.63 c #Conflicts: 1147000 | #Constraints: 109690 1988.16/1993.63 c #Conflicts: 1148000 | #Constraints: 110690 1988.16/1993.63 c #Conflicts: 1149000 | #Constraints: 111690 1988.16/1993.63 c #Conflicts: 1150000 | #Constraints: 112691 1988.16/1993.63 c INPROCESSING 1988.16/1993.63 c GARBAGE COLLECT 1988.16/1993.63 c rational objective 106 2033.54/2039.13 c #Conflicts: 1151000 | #Constraints: 61399 2033.54/2039.13 c #Conflicts: 1152000 | #Constraints: 62399 2033.54/2039.13 c #Conflicts: 1153000 | #Constraints: 63399 2033.54/2039.13 c #Conflicts: 1154000 | #Constraints: 64399 2033.54/2039.13 c #Conflicts: 1155000 | #Constraints: 65399 2033.54/2039.13 c #Conflicts: 1156000 | #Constraints: 66399 2033.54/2039.13 c #Conflicts: 1157000 | #Constraints: 67399 2033.54/2039.13 c #Conflicts: 1158000 | #Constraints: 68399 2033.54/2039.13 c #Conflicts: 1159000 | #Constraints: 69399 2033.54/2039.13 c #Conflicts: 1160000 | #Constraints: 70399 2033.54/2039.13 c #Conflicts: 1161000 | #Constraints: 71399 2033.54/2039.13 c #Conflicts: 1162000 | #Constraints: 72400 2033.54/2039.13 c #Conflicts: 1163000 | #Constraints: 73400 2033.54/2039.13 c #Conflicts: 1164000 | #Constraints: 74401 2033.54/2039.13 c #Conflicts: 1165000 | #Constraints: 75401 2033.54/2039.13 c #Conflicts: 1166000 | #Constraints: 76402 2033.54/2039.13 c #Conflicts: 1167000 | #Constraints: 77402 2033.54/2039.13 c #Conflicts: 1168000 | #Constraints: 78402 2033.54/2039.13 c #Conflicts: 1169000 | #Constraints: 79402 2033.54/2039.13 c #Conflicts: 1170000 | #Constraints: 80402 2033.54/2039.13 c #Conflicts: 1171000 | #Constraints: 81402 2033.54/2039.13 c #Conflicts: 1172000 | #Constraints: 82402 2033.54/2039.13 c #Conflicts: 1173000 | #Constraints: 83402 2033.54/2039.13 c #Conflicts: 1174000 | #Constraints: 84402 2033.54/2039.13 c #Conflicts: 1175000 | #Constraints: 85402 2033.54/2039.13 c #Conflicts: 1176000 | #Constraints: 86402 2033.54/2039.13 c INPROCESSING 2033.54/2039.13 c GARBAGE COLLECT 2033.54/2039.13 c rational objective 106 2076.72/2082.44 c #Conflicts: 1177000 | #Constraints: 48416 2076.72/2082.44 c #Conflicts: 1178000 | #Constraints: 49416 2076.72/2082.44 c #Conflicts: 1179000 | #Constraints: 50417 2076.72/2082.44 c #Conflicts: 1180000 | #Constraints: 51417 2076.72/2082.44 c #Conflicts: 1181000 | #Constraints: 52417 2076.72/2082.44 c #Conflicts: 1182000 | #Constraints: 53417 2076.72/2082.44 c #Conflicts: 1183000 | #Constraints: 54417 2076.72/2082.44 c #Conflicts: 1184000 | #Constraints: 55417 2076.72/2082.44 c #Conflicts: 1185000 | #Constraints: 56417 2076.72/2082.44 c #Conflicts: 1186000 | #Constraints: 57417 2076.72/2082.44 c #Conflicts: 1187000 | #Constraints: 58417 2076.72/2082.44 c #Conflicts: 1188000 | #Constraints: 59417 2076.72/2082.44 c #Conflicts: 1189000 | #Constraints: 60417 2076.72/2082.44 c #Conflicts: 1190000 | #Constraints: 61417 2076.72/2082.44 c #Conflicts: 1191000 | #Constraints: 62417 2076.72/2082.44 c #Conflicts: 1192000 | #Constraints: 63417 2076.72/2082.44 c #Conflicts: 1193000 | #Constraints: 64418 2076.72/2082.44 c #Conflicts: 1194000 | #Constraints: 65418 2076.72/2082.44 c #Conflicts: 1195000 | #Constraints: 66419 2076.72/2082.44 c #Conflicts: 1196000 | #Constraints: 67419 2076.72/2082.44 c #Conflicts: 1197000 | #Constraints: 68419 2076.72/2082.44 c #Conflicts: 1198000 | #Constraints: 69419 2076.72/2082.44 c #Conflicts: 1199000 | #Constraints: 70419 2076.72/2082.44 c #Conflicts: 1200000 | #Constraints: 71419 2076.72/2082.44 c #Conflicts: 1201000 | #Constraints: 72419 2076.72/2082.44 c INPROCESSING 2076.72/2082.44 c GARBAGE COLLECT 2076.72/2082.44 c rational objective 106 2111.92/2117.72 c #Conflicts: 1202000 | #Constraints: 41207 2111.92/2117.72 c #Conflicts: 1203000 | #Constraints: 42207 2111.92/2117.72 c #Conflicts: 1204000 | #Constraints: 43207 2111.92/2117.72 c #Conflicts: 1205000 | #Constraints: 44207 2111.92/2117.72 c #Conflicts: 1206000 | #Constraints: 45208 2111.92/2117.72 c #Conflicts: 1207000 | #Constraints: 46208 2111.92/2117.72 c #Conflicts: 1208000 | #Constraints: 47209 2111.92/2117.72 c #Conflicts: 1209000 | #Constraints: 48209 2111.92/2117.72 c #Conflicts: 1210000 | #Constraints: 49209 2111.92/2117.72 c #Conflicts: 1211000 | #Constraints: 50209 2111.92/2117.72 c #Conflicts: 1212000 | #Constraints: 51209 2111.92/2117.72 c #Conflicts: 1213000 | #Constraints: 52210 2111.92/2117.72 c #Conflicts: 1214000 | #Constraints: 53210 2111.92/2117.72 c #Conflicts: 1215000 | #Constraints: 54210 2111.92/2117.72 c #Conflicts: 1216000 | #Constraints: 55210 2111.92/2117.72 c #Conflicts: 1217000 | #Constraints: 56210 2111.92/2117.72 c #Conflicts: 1218000 | #Constraints: 57210 2111.92/2117.72 c #Conflicts: 1219000 | #Constraints: 58210 2111.92/2117.72 c #Conflicts: 1220000 | #Constraints: 59210 2111.92/2117.72 c #Conflicts: 1221000 | #Constraints: 60211 2111.92/2117.72 c #Conflicts: 1222000 | #Constraints: 61211 2111.92/2117.72 c #Conflicts: 1223000 | #Constraints: 62211 2111.92/2117.72 c #Conflicts: 1224000 | #Constraints: 63211 2111.92/2117.72 c #Conflicts: 1225000 | #Constraints: 64211 2111.92/2117.72 c #Conflicts: 1226000 | #Constraints: 65211 2111.92/2117.72 c #Conflicts: 1227000 | #Constraints: 66211 2111.92/2117.72 c INPROCESSING 2111.92/2117.72 c GARBAGE COLLECT 2111.92/2117.72 c rational objective 106 2290.87/2297.14 c #Conflicts: 1228000 | #Constraints: 38123 2290.87/2297.14 c #Conflicts: 1229000 | #Constraints: 39123 2290.87/2297.14 c #Conflicts: 1230000 | #Constraints: 40123 2290.87/2297.14 c #Conflicts: 1231000 | #Constraints: 41123 2290.87/2297.14 c #Conflicts: 1232000 | #Constraints: 42124 2290.87/2297.14 c #Conflicts: 1233000 | #Constraints: 43124 2290.87/2297.14 c #Conflicts: 1234000 | #Constraints: 44124 2290.87/2297.14 c #Conflicts: 1235000 | #Constraints: 45124 2290.87/2297.14 c #Conflicts: 1236000 | #Constraints: 46124 2290.87/2297.14 c #Conflicts: 1237000 | #Constraints: 47124 2290.87/2297.14 c #Conflicts: 1238000 | #Constraints: 48124 2290.87/2297.14 c #Conflicts: 1239000 | #Constraints: 49124 2290.87/2297.14 c #Conflicts: 1240000 | #Constraints: 50124 2290.87/2297.14 c #Conflicts: 1241000 | #Constraints: 51124 2290.87/2297.14 c #Conflicts: 1242000 | #Constraints: 52124 2290.87/2297.14 c #Conflicts: 1243000 | #Constraints: 53124 2290.87/2297.14 c #Conflicts: 1244000 | #Constraints: 54124 2290.87/2297.14 c #Conflicts: 1245000 | #Constraints: 55124 2290.87/2297.14 c #Conflicts: 1246000 | #Constraints: 56125 2290.87/2297.14 c #Conflicts: 1247000 | #Constraints: 57125 2290.87/2297.14 c #Conflicts: 1248000 | #Constraints: 58125 2290.87/2297.14 c #Conflicts: 1249000 | #Constraints: 59125 2290.87/2297.14 c #Conflicts: 1250000 | #Constraints: 60125 2290.87/2297.14 c #Conflicts: 1251000 | #Constraints: 61125 2290.87/2297.14 c #Conflicts: 1252000 | #Constraints: 62125 2290.87/2297.14 c #Conflicts: 1253000 | #Constraints: 63125 2290.87/2297.14 c #Conflicts: 1254000 | #Constraints: 64125 2290.87/2297.14 c #Conflicts: 1255000 | #Constraints: 65125 2290.87/2297.14 c #Conflicts: 1256000 | #Constraints: 66125 2290.87/2297.14 c #Conflicts: 1257000 | #Constraints: 67126 2290.87/2297.14 c #Conflicts: 1258000 | #Constraints: 68126 2290.87/2297.14 c #Conflicts: 1259000 | #Constraints: 69126 2290.87/2297.14 c #Conflicts: 1260000 | #Constraints: 70126 2290.87/2297.14 c #Conflicts: 1261000 | #Constraints: 71126 2290.87/2297.14 c #Conflicts: 1262000 | #Constraints: 72126 2290.87/2297.14 c #Conflicts: 1263000 | #Constraints: 73126 2290.87/2297.14 c #Conflicts: 1264000 | #Constraints: 74126 2290.87/2297.14 c #Conflicts: 1265000 | #Constraints: 75126 2290.87/2297.14 c #Conflicts: 1266000 | #Constraints: 76126 2290.87/2297.14 c #Conflicts: 1267000 | #Constraints: 77126 2290.87/2297.14 c #Conflicts: 1268000 | #Constraints: 78126 2290.87/2297.14 c #Conflicts: 1269000 | #Constraints: 79126 2290.87/2297.14 c #Conflicts: 1270000 | #Constraints: 80127 2290.87/2297.14 c #Conflicts: 1271000 | #Constraints: 81127 2290.87/2297.14 c #Conflicts: 1272000 | #Constraints: 82127 2290.87/2297.14 c #Conflicts: 1273000 | #Constraints: 83127 2290.87/2297.14 c #Conflicts: 1274000 | #Constraints: 84127 2290.87/2297.14 c #Conflicts: 1275000 | #Constraints: 85127 2290.87/2297.14 c #Conflicts: 1276000 | #Constraints: 86127 2290.87/2297.14 c #Conflicts: 1277000 | #Constraints: 87127 2290.87/2297.14 c #Conflicts: 1278000 | #Constraints: 88127 2290.87/2297.14 c #Conflicts: 1279000 | #Constraints: 89127 2290.87/2297.14 c #Conflicts: 1280000 | #Constraints: 90127 2290.87/2297.14 c #Conflicts: 1281000 | #Constraints: 91127 2290.87/2297.14 c #Conflicts: 1282000 | #Constraints: 92127 2290.87/2297.14 c #Conflicts: 1283000 | #Constraints: 93127 2290.87/2297.14 c #Conflicts: 1284000 | #Constraints: 94127 2290.87/2297.14 c #Conflicts: 1285000 | #Constraints: 95127 2290.87/2297.14 c #Conflicts: 1286000 | #Constraints: 96127 2290.87/2297.14 c #Conflicts: 1287000 | #Constraints: 97127 2290.87/2297.14 c #Conflicts: 1288000 | #Constraints: 98127 2290.87/2297.14 c #Conflicts: 1289000 | #Constraints: 99128 2290.87/2297.14 c #Conflicts: 1290000 | #Constraints: 100128 2290.87/2297.14 c #Conflicts: 1291000 | #Constraints: 101128 2290.87/2297.14 c #Conflicts: 1292000 | #Constraints: 102128 2290.87/2297.14 c #Conflicts: 1293000 | #Constraints: 103128 2290.87/2297.14 c #Conflicts: 1294000 | #Constraints: 104128 2290.87/2297.14 c #Conflicts: 1295000 | #Constraints: 105128 2290.87/2297.14 c #Conflicts: 1296000 | #Constraints: 106129 2290.87/2297.14 c #Conflicts: 1297000 | #Constraints: 107129 2290.87/2297.14 c #Conflicts: 1298000 | #Constraints: 108129 2290.87/2297.14 c #Conflicts: 1299000 | #Constraints: 109129 2290.87/2297.14 c #Conflicts: 1300000 | #Constraints: 110129 2290.87/2297.14 c #Conflicts: 1301000 | #Constraints: 111129 2290.87/2297.14 c #Conflicts: 1302000 | #Constraints: 112129 2290.87/2297.14 c #Conflicts: 1303000 | #Constraints: 113129 2290.87/2297.14 c #Conflicts: 1304000 | #Constraints: 114129 2290.87/2297.14 c #Conflicts: 1305000 | #Constraints: 115129 2290.87/2297.14 c #Conflicts: 1306000 | #Constraints: 116129 2315.19/2321.57 c #Conflicts: 1307000 | #Constraints: 117129 2315.19/2321.57 c #Conflicts: 1308000 | #Constraints: 118129 2315.19/2321.57 c #Conflicts: 1309000 | #Constraints: 119129 2315.19/2321.57 c #Conflicts: 1310000 | #Constraints: 120129 2315.19/2321.57 c INPROCESSING 2315.19/2321.57 c GARBAGE COLLECT 2315.19/2321.57 c rational objective 106 2377.35/2383.87 c #Conflicts: 1311000 | #Constraints: 65189 2377.35/2383.87 c #Conflicts: 1312000 | #Constraints: 66189 2377.35/2383.87 c #Conflicts: 1313000 | #Constraints: 67190 2377.35/2383.87 c #Conflicts: 1314000 | #Constraints: 68190 2377.35/2383.87 c #Conflicts: 1315000 | #Constraints: 69190 2377.35/2383.87 c #Conflicts: 1316000 | #Constraints: 70190 2377.35/2383.87 c #Conflicts: 1317000 | #Constraints: 71190 2377.35/2383.87 c #Conflicts: 1318000 | #Constraints: 72190 2377.35/2383.87 c #Conflicts: 1319000 | #Constraints: 73190 2377.35/2383.87 c #Conflicts: 1320000 | #Constraints: 74190 2377.35/2383.87 c #Conflicts: 1321000 | #Constraints: 75190 2377.35/2383.87 c #Conflicts: 1322000 | #Constraints: 76190 2377.35/2383.87 c #Conflicts: 1323000 | #Constraints: 77190 2377.35/2383.87 c #Conflicts: 1324000 | #Constraints: 78190 2377.35/2383.87 c #Conflicts: 1325000 | #Constraints: 79190 2377.35/2383.87 c #Conflicts: 1326000 | #Constraints: 80190 2377.35/2383.87 c #Conflicts: 1327000 | #Constraints: 81190 2377.35/2383.87 c #Conflicts: 1328000 | #Constraints: 82190 2377.35/2383.87 c #Conflicts: 1329000 | #Constraints: 83190 2377.35/2383.87 c #Conflicts: 1330000 | #Constraints: 84190 2377.35/2383.87 c #Conflicts: 1331000 | #Constraints: 85190 2377.35/2383.87 c #Conflicts: 1332000 | #Constraints: 86190 2377.35/2383.87 c #Conflicts: 1333000 | #Constraints: 87190 2377.35/2383.87 c #Conflicts: 1334000 | #Constraints: 88190 2377.35/2383.87 c #Conflicts: 1335000 | #Constraints: 89190 2377.35/2383.87 c #Conflicts: 1336000 | #Constraints: 90190 2377.35/2383.87 c #Conflicts: 1337000 | #Constraints: 91190 2377.35/2383.87 c INPROCESSING 2377.35/2383.87 c GARBAGE COLLECT 2377.35/2383.87 c rational objective 106 2427.83/2434.42 c #Conflicts: 1338000 | #Constraints: 50614 2427.83/2434.42 c #Conflicts: 1339000 | #Constraints: 51614 2427.83/2434.42 c #Conflicts: 1340000 | #Constraints: 52614 2427.83/2434.42 c #Conflicts: 1341000 | #Constraints: 53614 2427.83/2434.42 c #Conflicts: 1342000 | #Constraints: 54614 2427.83/2434.42 c #Conflicts: 1343000 | #Constraints: 55614 2427.83/2434.42 c #Conflicts: 1344000 | #Constraints: 56614 2427.83/2434.42 c #Conflicts: 1345000 | #Constraints: 57614 2427.83/2434.42 c #Conflicts: 1346000 | #Constraints: 58614 2427.83/2434.42 c #Conflicts: 1347000 | #Constraints: 59614 2427.83/2434.42 c #Conflicts: 1348000 | #Constraints: 60614 2427.83/2434.42 c #Conflicts: 1349000 | #Constraints: 61614 2427.83/2434.42 c #Conflicts: 1350000 | #Constraints: 62614 2427.83/2434.42 c #Conflicts: 1351000 | #Constraints: 63614 2427.83/2434.42 c #Conflicts: 1352000 | #Constraints: 64614 2427.83/2434.42 c #Conflicts: 1353000 | #Constraints: 65614 2427.83/2434.42 c #Conflicts: 1354000 | #Constraints: 66614 2427.83/2434.42 c #Conflicts: 1355000 | #Constraints: 67614 2427.83/2434.42 c #Conflicts: 1356000 | #Constraints: 68614 2427.83/2434.42 c #Conflicts: 1357000 | #Constraints: 69614 2427.83/2434.42 c #Conflicts: 1358000 | #Constraints: 70614 2427.83/2434.42 c #Conflicts: 1359000 | #Constraints: 71614 2427.83/2434.42 c #Conflicts: 1360000 | #Constraints: 72614 2427.83/2434.42 c #Conflicts: 1361000 | #Constraints: 73614 2427.83/2434.42 c #Conflicts: 1362000 | #Constraints: 74614 2427.83/2434.42 c #Conflicts: 1363000 | #Constraints: 75614 2427.83/2434.42 c #Conflicts: 1364000 | #Constraints: 76614 2427.83/2434.42 c #Conflicts: 1365000 | #Constraints: 77614 2427.83/2434.42 c INPROCESSING 2427.83/2434.42 c GARBAGE COLLECT 2427.83/2434.42 c rational objective 106 2464.15/2470.89 c #Conflicts: 1366000 | #Constraints: 44118 2464.15/2470.89 c #Conflicts: 1367000 | #Constraints: 45118 2464.15/2470.89 c #Conflicts: 1368000 | #Constraints: 46118 2464.15/2470.89 c #Conflicts: 1369000 | #Constraints: 47119 2464.15/2470.89 c #Conflicts: 1370000 | #Constraints: 48119 2464.15/2470.89 c #Conflicts: 1371000 | #Constraints: 49119 2464.15/2470.89 c #Conflicts: 1372000 | #Constraints: 50119 2464.15/2470.89 c #Conflicts: 1373000 | #Constraints: 51119 2464.15/2470.89 c #Conflicts: 1374000 | #Constraints: 52119 2464.15/2470.89 c #Conflicts: 1375000 | #Constraints: 53119 2464.15/2470.89 c #Conflicts: 1376000 | #Constraints: 54120 2464.15/2470.89 c #Conflicts: 1377000 | #Constraints: 55120 2464.15/2470.89 c #Conflicts: 1378000 | #Constraints: 56120 2464.15/2470.89 c #Conflicts: 1379000 | #Constraints: 57120 2464.15/2470.89 c #Conflicts: 1380000 | #Constraints: 58120 2464.15/2470.89 c #Conflicts: 1381000 | #Constraints: 59120 2464.15/2470.89 c #Conflicts: 1382000 | #Constraints: 60120 2464.15/2470.89 c #Conflicts: 1383000 | #Constraints: 61120 2464.15/2470.89 c #Conflicts: 1384000 | #Constraints: 62120 2464.15/2470.89 c #Conflicts: 1385000 | #Constraints: 63120 2464.15/2470.89 c #Conflicts: 1386000 | #Constraints: 64120 2464.15/2470.89 c #Conflicts: 1387000 | #Constraints: 65120 2464.15/2470.89 c #Conflicts: 1388000 | #Constraints: 66120 2464.15/2470.89 c #Conflicts: 1389000 | #Constraints: 67121 2464.15/2470.89 c #Conflicts: 1390000 | #Constraints: 68121 2464.15/2470.89 c #Conflicts: 1391000 | #Constraints: 69121 2464.15/2470.89 c #Conflicts: 1392000 | #Constraints: 70121 2464.15/2470.89 c INPROCESSING 2464.15/2470.89 c GARBAGE COLLECT 2464.15/2470.89 c rational objective 106 2622.63/2629.75 c #Conflicts: 1393000 | #Constraints: 40061 2622.63/2629.75 c #Conflicts: 1394000 | #Constraints: 41061 2622.63/2629.75 c #Conflicts: 1395000 | #Constraints: 42061 2622.63/2629.75 c #Conflicts: 1396000 | #Constraints: 43061 2622.63/2629.75 c #Conflicts: 1397000 | #Constraints: 44061 2622.63/2629.75 c #Conflicts: 1398000 | #Constraints: 45061 2622.63/2629.75 c #Conflicts: 1399000 | #Constraints: 46061 2622.63/2629.75 c #Conflicts: 1400000 | #Constraints: 47061 2622.63/2629.75 c #Conflicts: 1401000 | #Constraints: 48061 2622.63/2629.75 c #Conflicts: 1402000 | #Constraints: 49061 2622.63/2629.75 c #Conflicts: 1403000 | #Constraints: 50061 2622.63/2629.75 c #Conflicts: 1404000 | #Constraints: 51061 2622.63/2629.75 c #Conflicts: 1405000 | #Constraints: 52061 2622.63/2629.75 c #Conflicts: 1406000 | #Constraints: 53061 2622.63/2629.75 c #Conflicts: 1407000 | #Constraints: 54061 2622.63/2629.75 c #Conflicts: 1408000 | #Constraints: 55061 2622.63/2629.75 c #Conflicts: 1409000 | #Constraints: 56061 2622.63/2629.75 c #Conflicts: 1410000 | #Constraints: 57061 2622.63/2629.75 c #Conflicts: 1411000 | #Constraints: 58061 2622.63/2629.75 c #Conflicts: 1412000 | #Constraints: 59061 2622.63/2629.75 c #Conflicts: 1413000 | #Constraints: 60061 2622.63/2629.75 c #Conflicts: 1414000 | #Constraints: 61061 2622.63/2629.75 c #Conflicts: 1415000 | #Constraints: 62062 2622.63/2629.75 c #Conflicts: 1416000 | #Constraints: 63062 2622.63/2629.75 c #Conflicts: 1417000 | #Constraints: 64063 2622.63/2629.75 c #Conflicts: 1418000 | #Constraints: 65063 2622.63/2629.75 c #Conflicts: 1419000 | #Constraints: 66063 2622.63/2629.75 c #Conflicts: 1420000 | #Constraints: 67063 2622.63/2629.75 c #Conflicts: 1421000 | #Constraints: 68063 2622.63/2629.75 c #Conflicts: 1422000 | #Constraints: 69063 2622.63/2629.75 c #Conflicts: 1423000 | #Constraints: 70063 2622.63/2629.75 c #Conflicts: 1424000 | #Constraints: 71063 2622.63/2629.75 c #Conflicts: 1425000 | #Constraints: 72063 2622.63/2629.75 c #Conflicts: 1426000 | #Constraints: 73063 2622.63/2629.75 c #Conflicts: 1427000 | #Constraints: 74063 2622.63/2629.75 c #Conflicts: 1428000 | #Constraints: 75063 2622.63/2629.75 c #Conflicts: 1429000 | #Constraints: 76063 2622.63/2629.75 c #Conflicts: 1430000 | #Constraints: 77063 2622.63/2629.75 c #Conflicts: 1431000 | #Constraints: 78063 2622.63/2629.75 c #Conflicts: 1432000 | #Constraints: 79064 2622.63/2629.75 c #Conflicts: 1433000 | #Constraints: 80064 2622.63/2629.75 c #Conflicts: 1434000 | #Constraints: 81064 2622.63/2629.75 c #Conflicts: 1435000 | #Constraints: 82064 2622.63/2629.75 c #Conflicts: 1436000 | #Constraints: 83065 2622.63/2629.75 c #Conflicts: 1437000 | #Constraints: 84065 2622.63/2629.75 c #Conflicts: 1438000 | #Constraints: 85065 2622.63/2629.75 c #Conflicts: 1439000 | #Constraints: 86066 2622.63/2629.75 c #Conflicts: 1440000 | #Constraints: 87066 2622.63/2629.75 c #Conflicts: 1441000 | #Constraints: 88066 2622.63/2629.75 c #Conflicts: 1442000 | #Constraints: 89067 2622.63/2629.75 c #Conflicts: 1443000 | #Constraints: 90067 2622.63/2629.75 c #Conflicts: 1444000 | #Constraints: 91067 2622.63/2629.75 c #Conflicts: 1445000 | #Constraints: 92067 2622.63/2629.75 c #Conflicts: 1446000 | #Constraints: 93067 2622.63/2629.75 c #Conflicts: 1447000 | #Constraints: 94067 2622.63/2629.75 c #Conflicts: 1448000 | #Constraints: 95067 2622.63/2629.75 c #Conflicts: 1449000 | #Constraints: 96067 2622.63/2629.75 c #Conflicts: 1450000 | #Constraints: 97068 2622.63/2629.75 c #Conflicts: 1451000 | #Constraints: 98068 2622.63/2629.75 c #Conflicts: 1452000 | #Constraints: 99068 2622.63/2629.75 c #Conflicts: 1453000 | #Constraints: 100069 2622.63/2629.75 c #Conflicts: 1454000 | #Constraints: 101069 2622.63/2629.75 c #Conflicts: 1455000 | #Constraints: 102069 2622.63/2629.75 c #Conflicts: 1456000 | #Constraints: 103069 2622.63/2629.75 c #Conflicts: 1457000 | #Constraints: 104069 2622.63/2629.75 c #Conflicts: 1458000 | #Constraints: 105069 2622.63/2629.75 c #Conflicts: 1459000 | #Constraints: 106070 2622.63/2629.75 c #Conflicts: 1460000 | #Constraints: 107070 2622.63/2629.75 c #Conflicts: 1461000 | #Constraints: 108070 2622.63/2629.75 c #Conflicts: 1462000 | #Constraints: 109070 2622.63/2629.75 c #Conflicts: 1463000 | #Constraints: 110070 2622.63/2629.75 c #Conflicts: 1464000 | #Constraints: 111070 2622.63/2629.75 c #Conflicts: 1465000 | #Constraints: 112070 2622.63/2629.75 c #Conflicts: 1466000 | #Constraints: 113070 2622.63/2629.75 c #Conflicts: 1467000 | #Constraints: 114071 2622.63/2629.75 c #Conflicts: 1468000 | #Constraints: 115071 2622.63/2629.75 c #Conflicts: 1469000 | #Constraints: 116071 2622.63/2629.75 c #Conflicts: 1470000 | #Constraints: 117071 2622.63/2629.75 c #Conflicts: 1471000 | #Constraints: 118071 2673.11/2680.32 c #Conflicts: 1472000 | #Constraints: 119071 2673.11/2680.32 c #Conflicts: 1473000 | #Constraints: 120071 2673.11/2680.32 c #Conflicts: 1474000 | #Constraints: 121071 2673.11/2680.32 c #Conflicts: 1475000 | #Constraints: 122071 2673.11/2680.32 c #Conflicts: 1476000 | #Constraints: 123072 2673.11/2680.32 c #Conflicts: 1477000 | #Constraints: 124072 2673.11/2680.32 c #Conflicts: 1478000 | #Constraints: 125072 2673.11/2680.32 c #Conflicts: 1479000 | #Constraints: 126072 2673.11/2680.32 c #Conflicts: 1480000 | #Constraints: 127072 2673.11/2680.32 c INPROCESSING 2673.11/2680.32 c GARBAGE COLLECT 2673.11/2680.32 c rational objective 106 2726.79/2734.18 c #Conflicts: 1481000 | #Constraints: 68514 2726.79/2734.18 c #Conflicts: 1482000 | #Constraints: 69514 2726.79/2734.18 c #Conflicts: 1483000 | #Constraints: 70514 2726.79/2734.18 c #Conflicts: 1484000 | #Constraints: 71514 2726.79/2734.18 c #Conflicts: 1485000 | #Constraints: 72514 2726.79/2734.18 c #Conflicts: 1486000 | #Constraints: 73514 2726.79/2734.18 c #Conflicts: 1487000 | #Constraints: 74514 2726.79/2734.18 c #Conflicts: 1488000 | #Constraints: 75514 2726.79/2734.18 c #Conflicts: 1489000 | #Constraints: 76514 2726.79/2734.18 c #Conflicts: 1490000 | #Constraints: 77514 2726.79/2734.18 c #Conflicts: 1491000 | #Constraints: 78514 2726.79/2734.18 c #Conflicts: 1492000 | #Constraints: 79514 2726.79/2734.18 c #Conflicts: 1493000 | #Constraints: 80514 2726.79/2734.18 c #Conflicts: 1494000 | #Constraints: 81514 2726.79/2734.18 c #Conflicts: 1495000 | #Constraints: 82514 2726.79/2734.18 c #Conflicts: 1496000 | #Constraints: 83514 2726.79/2734.18 c #Conflicts: 1497000 | #Constraints: 84514 2726.79/2734.18 c #Conflicts: 1498000 | #Constraints: 85515 2726.79/2734.18 c #Conflicts: 1499000 | #Constraints: 86515 2726.79/2734.18 c #Conflicts: 1500000 | #Constraints: 87515 2726.79/2734.18 c #Conflicts: 1501000 | #Constraints: 88515 2726.79/2734.18 c #Conflicts: 1502000 | #Constraints: 89516 2726.79/2734.18 c #Conflicts: 1503000 | #Constraints: 90516 2726.79/2734.18 c #Conflicts: 1504000 | #Constraints: 91516 2726.79/2734.18 c #Conflicts: 1505000 | #Constraints: 92516 2726.79/2734.18 c #Conflicts: 1506000 | #Constraints: 93516 2726.79/2734.18 c #Conflicts: 1507000 | #Constraints: 94516 2726.79/2734.18 c #Conflicts: 1508000 | #Constraints: 95516 2726.79/2734.18 c #Conflicts: 1509000 | #Constraints: 96516 2726.79/2734.18 c INPROCESSING 2726.79/2734.18 c GARBAGE COLLECT 2726.79/2734.18 c rational objective 106 2772.17/2779.69 c #Conflicts: 1510000 | #Constraints: 53294 2772.17/2779.69 c #Conflicts: 1511000 | #Constraints: 54294 2772.17/2779.69 c #Conflicts: 1512000 | #Constraints: 55294 2772.17/2779.69 c #Conflicts: 1513000 | #Constraints: 56295 2772.17/2779.69 c #Conflicts: 1514000 | #Constraints: 57295 2772.17/2779.69 c #Conflicts: 1515000 | #Constraints: 58295 2772.17/2779.69 c #Conflicts: 1516000 | #Constraints: 59295 2772.17/2779.69 c #Conflicts: 1517000 | #Constraints: 60296 2772.17/2779.69 c #Conflicts: 1518000 | #Constraints: 61296 2772.17/2779.69 c #Conflicts: 1519000 | #Constraints: 62297 2772.17/2779.69 c #Conflicts: 1520000 | #Constraints: 63298 2772.17/2779.69 c #Conflicts: 1521000 | #Constraints: 64298 2772.17/2779.69 c #Conflicts: 1522000 | #Constraints: 65298 2772.17/2779.69 c #Conflicts: 1523000 | #Constraints: 66298 2772.17/2779.69 c #Conflicts: 1524000 | #Constraints: 67298 2772.17/2779.69 c #Conflicts: 1525000 | #Constraints: 68298 2772.17/2779.69 c #Conflicts: 1526000 | #Constraints: 69298 2772.17/2779.69 c #Conflicts: 1527000 | #Constraints: 70298 2772.17/2779.69 c #Conflicts: 1528000 | #Constraints: 71299 2772.17/2779.69 c #Conflicts: 1529000 | #Constraints: 72299 2772.17/2779.69 c #Conflicts: 1530000 | #Constraints: 73299 2772.17/2779.69 c #Conflicts: 1531000 | #Constraints: 74299 2772.17/2779.69 c #Conflicts: 1532000 | #Constraints: 75299 2772.17/2779.69 c #Conflicts: 1533000 | #Constraints: 76299 2772.17/2779.69 c #Conflicts: 1534000 | #Constraints: 77299 2772.17/2779.69 c #Conflicts: 1535000 | #Constraints: 78299 2772.17/2779.69 c #Conflicts: 1536000 | #Constraints: 79299 2772.17/2779.69 c #Conflicts: 1537000 | #Constraints: 80299 2772.17/2779.69 c #Conflicts: 1538000 | #Constraints: 81299 2772.17/2779.69 c INPROCESSING 2772.17/2779.69 c GARBAGE COLLECT 2772.17/2779.69 c rational objective 106 2821.56/2829.16 c #Conflicts: 1539000 | #Constraints: 45616 2821.56/2829.16 c #Conflicts: 1540000 | #Constraints: 46616 2821.56/2829.16 c #Conflicts: 1541000 | #Constraints: 47616 2821.56/2829.16 c #Conflicts: 1542000 | #Constraints: 48616 2821.56/2829.16 c #Conflicts: 1543000 | #Constraints: 49616 2821.56/2829.16 c #Conflicts: 1544000 | #Constraints: 50616 2821.56/2829.16 c #Conflicts: 1545000 | #Constraints: 51616 2821.56/2829.16 c #Conflicts: 1546000 | #Constraints: 52616 2821.56/2829.16 c #Conflicts: 1547000 | #Constraints: 53616 2821.56/2829.16 c #Conflicts: 1548000 | #Constraints: 54616 2821.56/2829.16 c #Conflicts: 1549000 | #Constraints: 55616 2821.56/2829.16 c #Conflicts: 1550000 | #Constraints: 56616 2821.56/2829.16 c #Conflicts: 1551000 | #Constraints: 57616 2821.56/2829.16 c #Conflicts: 1552000 | #Constraints: 58616 2821.56/2829.16 c #Conflicts: 1553000 | #Constraints: 59617 2821.56/2829.16 c #Conflicts: 1554000 | #Constraints: 60617 2821.56/2829.16 c #Conflicts: 1555000 | #Constraints: 61617 2821.56/2829.16 c #Conflicts: 1556000 | #Constraints: 62617 2821.56/2829.16 c #Conflicts: 1557000 | #Constraints: 63617 2821.56/2829.16 c #Conflicts: 1558000 | #Constraints: 64617 2821.56/2829.16 c #Conflicts: 1559000 | #Constraints: 65617 2821.56/2829.16 c #Conflicts: 1560000 | #Constraints: 66617 2821.56/2829.16 c #Conflicts: 1561000 | #Constraints: 67617 2821.56/2829.16 c #Conflicts: 1562000 | #Constraints: 68617 2821.56/2829.16 c #Conflicts: 1563000 | #Constraints: 69617 2821.56/2829.16 c #Conflicts: 1564000 | #Constraints: 70617 2821.56/2829.16 c #Conflicts: 1565000 | #Constraints: 71617 2821.56/2829.16 c #Conflicts: 1566000 | #Constraints: 72618 2821.56/2829.16 c #Conflicts: 1567000 | #Constraints: 73618 2821.56/2829.16 c #Conflicts: 1568000 | #Constraints: 74618 2821.56/2829.16 c INPROCESSING 2821.56/2829.16 c GARBAGE COLLECT 2821.56/2829.16 c rational objective 106 2994.30/3002.30 c #Conflicts: 1569000 | #Constraints: 42622 2994.30/3002.30 c #Conflicts: 1570000 | #Constraints: 43622 2994.30/3002.30 c #Conflicts: 1571000 | #Constraints: 44622 2994.30/3002.30 c #Conflicts: 1572000 | #Constraints: 45622 2994.30/3002.30 c #Conflicts: 1573000 | #Constraints: 46622 2994.30/3002.30 c #Conflicts: 1574000 | #Constraints: 47622 2994.30/3002.30 c #Conflicts: 1575000 | #Constraints: 48622 2994.30/3002.30 c #Conflicts: 1576000 | #Constraints: 49622 2994.30/3002.30 c #Conflicts: 1577000 | #Constraints: 50622 2994.30/3002.30 c #Conflicts: 1578000 | #Constraints: 51622 2994.30/3002.30 c #Conflicts: 1579000 | #Constraints: 52622 2994.30/3002.30 c #Conflicts: 1580000 | #Constraints: 53622 2994.30/3002.30 c #Conflicts: 1581000 | #Constraints: 54622 2994.30/3002.30 c #Conflicts: 1582000 | #Constraints: 55622 2994.30/3002.30 c #Conflicts: 1583000 | #Constraints: 56622 2994.30/3002.30 c #Conflicts: 1584000 | #Constraints: 57622 2994.30/3002.30 c #Conflicts: 1585000 | #Constraints: 58622 2994.30/3002.30 c #Conflicts: 1586000 | #Constraints: 59622 2994.30/3002.30 c #Conflicts: 1587000 | #Constraints: 60622 2994.30/3002.30 c #Conflicts: 1588000 | #Constraints: 61622 2994.30/3002.30 c #Conflicts: 1589000 | #Constraints: 62622 2994.30/3002.30 c #Conflicts: 1590000 | #Constraints: 63622 2994.30/3002.30 c #Conflicts: 1591000 | #Constraints: 64622 2994.30/3002.30 c #Conflicts: 1592000 | #Constraints: 65622 2994.30/3002.30 c #Conflicts: 1593000 | #Constraints: 66622 2994.30/3002.30 c #Conflicts: 1594000 | #Constraints: 67622 2994.30/3002.30 c #Conflicts: 1595000 | #Constraints: 68623 2994.30/3002.30 c #Conflicts: 1596000 | #Constraints: 69623 2994.30/3002.30 c #Conflicts: 1597000 | #Constraints: 70624 2994.30/3002.30 c #Conflicts: 1598000 | #Constraints: 71624 2994.30/3002.30 c #Conflicts: 1599000 | #Constraints: 72624 2994.30/3002.30 c #Conflicts: 1600000 | #Constraints: 73624 2994.30/3002.30 c #Conflicts: 1601000 | #Constraints: 74624 2994.30/3002.30 c #Conflicts: 1602000 | #Constraints: 75624 2994.30/3002.30 c #Conflicts: 1603000 | #Constraints: 76624 2994.30/3002.30 c #Conflicts: 1604000 | #Constraints: 77624 2994.30/3002.30 c #Conflicts: 1605000 | #Constraints: 78624 2994.30/3002.30 c #Conflicts: 1606000 | #Constraints: 79624 2994.30/3002.30 c #Conflicts: 1607000 | #Constraints: 80624 2994.30/3002.30 c #Conflicts: 1608000 | #Constraints: 81624 2994.30/3002.30 c #Conflicts: 1609000 | #Constraints: 82624 2994.30/3002.30 c #Conflicts: 1610000 | #Constraints: 83624 2994.30/3002.30 c #Conflicts: 1611000 | #Constraints: 84624 2994.30/3002.30 c #Conflicts: 1612000 | #Constraints: 85624 2994.30/3002.30 c #Conflicts: 1613000 | #Constraints: 86624 2994.30/3002.30 c #Conflicts: 1614000 | #Constraints: 87624 2994.30/3002.30 c #Conflicts: 1615000 | #Constraints: 88624 2994.30/3002.30 c #Conflicts: 1616000 | #Constraints: 89624 2994.30/3002.30 c #Conflicts: 1617000 | #Constraints: 90624 2994.30/3002.30 c #Conflicts: 1618000 | #Constraints: 91625 2994.30/3002.30 c #Conflicts: 1619000 | #Constraints: 92625 2994.30/3002.30 c #Conflicts: 1620000 | #Constraints: 93625 2994.30/3002.30 c #Conflicts: 1621000 | #Constraints: 94625 2994.30/3002.30 c #Conflicts: 1622000 | #Constraints: 95625 2994.30/3002.30 c #Conflicts: 1623000 | #Constraints: 96625 2994.30/3002.30 c #Conflicts: 1624000 | #Constraints: 97627 2994.30/3002.30 c #Conflicts: 1625000 | #Constraints: 98629 2994.30/3002.30 c #Conflicts: 1626000 | #Constraints: 99629 2994.30/3002.30 c #Conflicts: 1627000 | #Constraints: 100629 2994.30/3002.30 c #Conflicts: 1628000 | #Constraints: 101629 2994.30/3002.30 c #Conflicts: 1629000 | #Constraints: 102629 2994.30/3002.30 c #Conflicts: 1630000 | #Constraints: 103629 2994.30/3002.30 c #Conflicts: 1631000 | #Constraints: 104629 2994.30/3002.30 c #Conflicts: 1632000 | #Constraints: 105629 2994.30/3002.30 c #Conflicts: 1633000 | #Constraints: 106629 2994.30/3002.30 c #Conflicts: 1634000 | #Constraints: 107629 2994.30/3002.30 c #Conflicts: 1635000 | #Constraints: 108629 2994.30/3002.30 c #Conflicts: 1636000 | #Constraints: 109629 2994.30/3002.30 c #Conflicts: 1637000 | #Constraints: 110629 2994.30/3002.30 c #Conflicts: 1638000 | #Constraints: 111629 2994.30/3002.30 c #Conflicts: 1639000 | #Constraints: 112629 2994.30/3002.30 c #Conflicts: 1640000 | #Constraints: 113629 2994.30/3002.30 c #Conflicts: 1641000 | #Constraints: 114629 2994.30/3002.30 c #Conflicts: 1642000 | #Constraints: 115629 2994.30/3002.30 c #Conflicts: 1643000 | #Constraints: 116629 2994.30/3002.30 c #Conflicts: 1644000 | #Constraints: 117629 2994.30/3002.30 c #Conflicts: 1645000 | #Constraints: 118629 2994.30/3002.30 c #Conflicts: 1646000 | #Constraints: 119629 2994.30/3002.30 c #Conflicts: 1647000 | #Constraints: 120629 3051.84/3060.04 c #Conflicts: 1648000 | #Constraints: 121630 3051.84/3060.04 c #Conflicts: 1649000 | #Constraints: 122630 3051.84/3060.04 c #Conflicts: 1650000 | #Constraints: 123630 3051.84/3060.04 c #Conflicts: 1651000 | #Constraints: 124630 3051.84/3060.04 c #Conflicts: 1652000 | #Constraints: 125630 3051.84/3060.04 c #Conflicts: 1653000 | #Constraints: 126630 3051.84/3060.04 c #Conflicts: 1654000 | #Constraints: 127630 3051.84/3060.04 c #Conflicts: 1655000 | #Constraints: 128630 3051.84/3060.04 c #Conflicts: 1656000 | #Constraints: 129630 3051.84/3060.04 c #Conflicts: 1657000 | #Constraints: 130631 3051.84/3060.04 c #Conflicts: 1658000 | #Constraints: 131631 3051.84/3060.04 c #Conflicts: 1659000 | #Constraints: 132631 3051.84/3060.04 c #Conflicts: 1660000 | #Constraints: 133631 3051.84/3060.04 c #Conflicts: 1661000 | #Constraints: 134631 3051.84/3060.04 c INPROCESSING 3051.84/3060.04 c GARBAGE COLLECT 3051.84/3060.04 c rational objective 106 3117.65/3126.02 c #Conflicts: 1662000 | #Constraints: 72391 3117.65/3126.02 c #Conflicts: 1663000 | #Constraints: 73391 3117.65/3126.02 c #Conflicts: 1664000 | #Constraints: 74391 3117.65/3126.02 c #Conflicts: 1665000 | #Constraints: 75391 3117.65/3126.02 c #Conflicts: 1666000 | #Constraints: 76391 3117.65/3126.02 c #Conflicts: 1667000 | #Constraints: 77391 3117.65/3126.02 c #Conflicts: 1668000 | #Constraints: 78391 3117.65/3126.02 c #Conflicts: 1669000 | #Constraints: 79392 3117.65/3126.02 c #Conflicts: 1670000 | #Constraints: 80393 3117.65/3126.02 c #Conflicts: 1671000 | #Constraints: 81394 3117.65/3126.02 c #Conflicts: 1672000 | #Constraints: 82394 3117.65/3126.02 c #Conflicts: 1673000 | #Constraints: 83394 3117.65/3126.02 c #Conflicts: 1674000 | #Constraints: 84394 3117.65/3126.02 c #Conflicts: 1675000 | #Constraints: 85394 3117.65/3126.02 c #Conflicts: 1676000 | #Constraints: 86394 3117.65/3126.02 c #Conflicts: 1677000 | #Constraints: 87394 3117.65/3126.02 c #Conflicts: 1678000 | #Constraints: 88394 3117.65/3126.02 c #Conflicts: 1679000 | #Constraints: 89394 3117.65/3126.02 c #Conflicts: 1680000 | #Constraints: 90394 3117.65/3126.02 c #Conflicts: 1681000 | #Constraints: 91394 3117.65/3126.02 c #Conflicts: 1682000 | #Constraints: 92394 3117.65/3126.02 c #Conflicts: 1683000 | #Constraints: 93394 3117.65/3126.02 c #Conflicts: 1684000 | #Constraints: 94394 3117.65/3126.02 c #Conflicts: 1685000 | #Constraints: 95394 3117.65/3126.02 c #Conflicts: 1686000 | #Constraints: 96394 3117.65/3126.02 c #Conflicts: 1687000 | #Constraints: 97394 3117.65/3126.02 c #Conflicts: 1688000 | #Constraints: 98394 3117.65/3126.02 c #Conflicts: 1689000 | #Constraints: 99394 3117.65/3126.02 c #Conflicts: 1690000 | #Constraints: 100394 3117.65/3126.02 c #Conflicts: 1691000 | #Constraints: 101394 3117.65/3126.02 c #Conflicts: 1692000 | #Constraints: 102394 3117.65/3126.02 c INPROCESSING 3117.65/3126.02 c GARBAGE COLLECT 3117.65/3126.02 c rational objective 106 3161.52/3170.05 c #Conflicts: 1693000 | #Constraints: 56510 3161.52/3170.05 c #Conflicts: 1694000 | #Constraints: 57510 3161.52/3170.05 c #Conflicts: 1695000 | #Constraints: 58510 3161.52/3170.05 c #Conflicts: 1696000 | #Constraints: 59510 3161.52/3170.05 c #Conflicts: 1697000 | #Constraints: 60510 3161.52/3170.05 c #Conflicts: 1698000 | #Constraints: 61510 3161.52/3170.05 c #Conflicts: 1699000 | #Constraints: 62510 3161.52/3170.05 c #Conflicts: 1700000 | #Constraints: 63510 3161.52/3170.05 c #Conflicts: 1701000 | #Constraints: 64510 3161.52/3170.05 c #Conflicts: 1702000 | #Constraints: 65510 3161.52/3170.05 c #Conflicts: 1703000 | #Constraints: 66510 3161.52/3170.05 c #Conflicts: 1704000 | #Constraints: 67510 3161.52/3170.05 c #Conflicts: 1705000 | #Constraints: 68510 3161.52/3170.05 c #Conflicts: 1706000 | #Constraints: 69510 3161.52/3170.05 c #Conflicts: 1707000 | #Constraints: 70511 3161.52/3170.05 c #Conflicts: 1708000 | #Constraints: 71511 3161.52/3170.05 c #Conflicts: 1709000 | #Constraints: 72511 3161.52/3170.05 c #Conflicts: 1710000 | #Constraints: 73511 3161.52/3170.05 c #Conflicts: 1711000 | #Constraints: 74511 3161.52/3170.05 c #Conflicts: 1712000 | #Constraints: 75511 3161.52/3170.05 c #Conflicts: 1713000 | #Constraints: 76511 3161.52/3170.05 c #Conflicts: 1714000 | #Constraints: 77511 3161.52/3170.05 c #Conflicts: 1715000 | #Constraints: 78511 3161.52/3170.05 c #Conflicts: 1716000 | #Constraints: 79511 3161.52/3170.05 c #Conflicts: 1717000 | #Constraints: 80511 3161.52/3170.05 c #Conflicts: 1718000 | #Constraints: 81512 3161.52/3170.05 c #Conflicts: 1719000 | #Constraints: 82512 3161.52/3170.05 c #Conflicts: 1720000 | #Constraints: 83512 3161.52/3170.05 c #Conflicts: 1721000 | #Constraints: 84512 3161.52/3170.05 c #Conflicts: 1722000 | #Constraints: 85512 3161.52/3170.05 c INPROCESSING 3161.52/3170.05 c GARBAGE COLLECT 3161.52/3170.05 c rational objective 106 3204.79/3213.40 c #Conflicts: 1723000 | #Constraints: 47780 3204.79/3213.40 c #Conflicts: 1724000 | #Constraints: 48780 3204.79/3213.40 c #Conflicts: 1725000 | #Constraints: 49780 3204.79/3213.40 c #Conflicts: 1726000 | #Constraints: 50780 3204.79/3213.40 c #Conflicts: 1727000 | #Constraints: 51780 3204.79/3213.40 c #Conflicts: 1728000 | #Constraints: 52780 3204.79/3213.40 c #Conflicts: 1729000 | #Constraints: 53780 3204.79/3213.40 c #Conflicts: 1730000 | #Constraints: 54780 3204.79/3213.40 c #Conflicts: 1731000 | #Constraints: 55781 3204.79/3213.40 c #Conflicts: 1732000 | #Constraints: 56781 3204.79/3213.40 c #Conflicts: 1733000 | #Constraints: 57781 3204.79/3213.40 c #Conflicts: 1734000 | #Constraints: 58781 3204.79/3213.40 c #Conflicts: 1735000 | #Constraints: 59781 3204.79/3213.40 c #Conflicts: 1736000 | #Constraints: 60781 3204.79/3213.40 c #Conflicts: 1737000 | #Constraints: 61781 3204.79/3213.40 c #Conflicts: 1738000 | #Constraints: 62781 3204.79/3213.40 c #Conflicts: 1739000 | #Constraints: 63781 3204.79/3213.40 c #Conflicts: 1740000 | #Constraints: 64781 3204.79/3213.40 c #Conflicts: 1741000 | #Constraints: 65781 3204.79/3213.40 c #Conflicts: 1742000 | #Constraints: 66781 3204.79/3213.40 c #Conflicts: 1743000 | #Constraints: 67781 3204.79/3213.40 c #Conflicts: 1744000 | #Constraints: 68781 3204.79/3213.40 c #Conflicts: 1745000 | #Constraints: 69781 3204.79/3213.40 c #Conflicts: 1746000 | #Constraints: 70781 3204.79/3213.40 c #Conflicts: 1747000 | #Constraints: 71781 3204.79/3213.40 c #Conflicts: 1748000 | #Constraints: 72781 3204.79/3213.40 c #Conflicts: 1749000 | #Constraints: 73781 3204.79/3213.40 c #Conflicts: 1750000 | #Constraints: 74781 3204.79/3213.40 c #Conflicts: 1751000 | #Constraints: 75781 3204.79/3213.40 c #Conflicts: 1752000 | #Constraints: 76781 3204.79/3213.40 c #Conflicts: 1753000 | #Constraints: 77781 3204.79/3213.40 c INPROCESSING 3204.79/3213.40 c GARBAGE COLLECT 3204.79/3213.40 c rational objective 106 3375.39/3384.59 c #Conflicts: 1754000 | #Constraints: 43778 3375.39/3384.59 c #Conflicts: 1755000 | #Constraints: 44778 3375.39/3384.59 c #Conflicts: 1756000 | #Constraints: 45778 3375.39/3384.59 c #Conflicts: 1757000 | #Constraints: 46778 3375.39/3384.59 c #Conflicts: 1758000 | #Constraints: 47778 3375.39/3384.59 c #Conflicts: 1759000 | #Constraints: 48778 3375.39/3384.59 c #Conflicts: 1760000 | #Constraints: 49778 3375.39/3384.59 c #Conflicts: 1761000 | #Constraints: 50778 3375.39/3384.59 c #Conflicts: 1762000 | #Constraints: 51778 3375.39/3384.59 c #Conflicts: 1763000 | #Constraints: 52778 3375.39/3384.59 c #Conflicts: 1764000 | #Constraints: 53778 3375.39/3384.59 c #Conflicts: 1765000 | #Constraints: 54778 3375.39/3384.59 c #Conflicts: 1766000 | #Constraints: 55778 3375.39/3384.59 c #Conflicts: 1767000 | #Constraints: 56778 3375.39/3384.59 c #Conflicts: 1768000 | #Constraints: 57778 3375.39/3384.59 c #Conflicts: 1769000 | #Constraints: 58778 3375.39/3384.59 c #Conflicts: 1770000 | #Constraints: 59778 3375.39/3384.59 c #Conflicts: 1771000 | #Constraints: 60778 3375.39/3384.59 c #Conflicts: 1772000 | #Constraints: 61778 3375.39/3384.59 c #Conflicts: 1773000 | #Constraints: 62778 3375.39/3384.59 c #Conflicts: 1774000 | #Constraints: 63778 3375.39/3384.59 c #Conflicts: 1775000 | #Constraints: 64778 3375.39/3384.59 c #Conflicts: 1776000 | #Constraints: 65778 3375.39/3384.59 c #Conflicts: 1777000 | #Constraints: 66778 3375.39/3384.59 c #Conflicts: 1778000 | #Constraints: 67779 3375.39/3384.59 c #Conflicts: 1779000 | #Constraints: 68779 3375.39/3384.59 c #Conflicts: 1780000 | #Constraints: 69779 3375.39/3384.59 c #Conflicts: 1781000 | #Constraints: 70779 3375.39/3384.59 c #Conflicts: 1782000 | #Constraints: 71779 3375.39/3384.59 c #Conflicts: 1783000 | #Constraints: 72779 3375.39/3384.59 c #Conflicts: 1784000 | #Constraints: 73779 3375.39/3384.59 c #Conflicts: 1785000 | #Constraints: 74779 3375.39/3384.59 c #Conflicts: 1786000 | #Constraints: 75779 3375.39/3384.59 c #Conflicts: 1787000 | #Constraints: 76779 3375.39/3384.59 c #Conflicts: 1788000 | #Constraints: 77779 3375.39/3384.59 c #Conflicts: 1789000 | #Constraints: 78779 3375.39/3384.59 c #Conflicts: 1790000 | #Constraints: 79779 3375.39/3384.59 c #Conflicts: 1791000 | #Constraints: 80779 3375.39/3384.59 c #Conflicts: 1792000 | #Constraints: 81779 3375.39/3384.59 c #Conflicts: 1793000 | #Constraints: 82779 3375.39/3384.59 c #Conflicts: 1794000 | #Constraints: 83779 3375.39/3384.59 c #Conflicts: 1795000 | #Constraints: 84779 3375.39/3384.59 c #Conflicts: 1796000 | #Constraints: 85779 3375.39/3384.59 c #Conflicts: 1797000 | #Constraints: 86780 3375.39/3384.59 c #Conflicts: 1798000 | #Constraints: 87780 3375.39/3384.59 c #Conflicts: 1799000 | #Constraints: 88780 3375.39/3384.59 c #Conflicts: 1800000 | #Constraints: 89780 3375.39/3384.59 c #Conflicts: 1801000 | #Constraints: 90780 3375.39/3384.59 c #Conflicts: 1802000 | #Constraints: 91780 3375.39/3384.59 c #Conflicts: 1803000 | #Constraints: 92780 3375.39/3384.59 c #Conflicts: 1804000 | #Constraints: 93780 3375.39/3384.59 c #Conflicts: 1805000 | #Constraints: 94780 3375.39/3384.59 c #Conflicts: 1806000 | #Constraints: 95780 3375.39/3384.59 c #Conflicts: 1807000 | #Constraints: 96780 3375.39/3384.59 c #Conflicts: 1808000 | #Constraints: 97780 3375.39/3384.59 c #Conflicts: 1809000 | #Constraints: 98780 3375.39/3384.59 c #Conflicts: 1810000 | #Constraints: 99780 3375.39/3384.59 c #Conflicts: 1811000 | #Constraints: 100780 3375.39/3384.59 c #Conflicts: 1812000 | #Constraints: 101781 3375.39/3384.59 c #Conflicts: 1813000 | #Constraints: 102781 3375.39/3384.59 c #Conflicts: 1814000 | #Constraints: 103781 3375.39/3384.59 c #Conflicts: 1815000 | #Constraints: 104781 3375.39/3384.59 c #Conflicts: 1816000 | #Constraints: 105781 3375.39/3384.59 c #Conflicts: 1817000 | #Constraints: 106781 3375.39/3384.59 c #Conflicts: 1818000 | #Constraints: 107781 3375.39/3384.59 c #Conflicts: 1819000 | #Constraints: 108781 3375.39/3384.59 c #Conflicts: 1820000 | #Constraints: 109781 3375.39/3384.59 c #Conflicts: 1821000 | #Constraints: 110781 3375.39/3384.59 c #Conflicts: 1822000 | #Constraints: 111781 3375.39/3384.59 c #Conflicts: 1823000 | #Constraints: 112781 3375.39/3384.59 c #Conflicts: 1824000 | #Constraints: 113782 3375.39/3384.59 c #Conflicts: 1825000 | #Constraints: 114782 3375.39/3384.59 c #Conflicts: 1826000 | #Constraints: 115782 3375.39/3384.59 c #Conflicts: 1827000 | #Constraints: 116782 3375.39/3384.59 c #Conflicts: 1828000 | #Constraints: 117782 3375.39/3384.59 c #Conflicts: 1829000 | #Constraints: 118782 3375.39/3384.59 c #Conflicts: 1830000 | #Constraints: 119782 3375.39/3384.59 c #Conflicts: 1831000 | #Constraints: 120783 3375.39/3384.59 c #Conflicts: 1832000 | #Constraints: 121783 3446.02/3455.37 c #Conflicts: 1833000 | #Constraints: 122783 3446.02/3455.37 c #Conflicts: 1834000 | #Constraints: 123783 3446.02/3455.37 c #Conflicts: 1835000 | #Constraints: 124783 3446.02/3455.37 c #Conflicts: 1836000 | #Constraints: 125783 3446.02/3455.37 c #Conflicts: 1837000 | #Constraints: 126783 3446.02/3455.37 c #Conflicts: 1838000 | #Constraints: 127783 3446.02/3455.37 c #Conflicts: 1839000 | #Constraints: 128783 3446.02/3455.37 c #Conflicts: 1840000 | #Constraints: 129783 3446.02/3455.37 c #Conflicts: 1841000 | #Constraints: 130783 3446.02/3455.37 c #Conflicts: 1842000 | #Constraints: 131783 3446.02/3455.37 c #Conflicts: 1843000 | #Constraints: 132783 3446.02/3455.37 c #Conflicts: 1844000 | #Constraints: 133783 3446.02/3455.37 c #Conflicts: 1845000 | #Constraints: 134783 3446.02/3455.37 c #Conflicts: 1846000 | #Constraints: 135783 3446.02/3455.37 c #Conflicts: 1847000 | #Constraints: 136783 3446.02/3455.37 c #Conflicts: 1848000 | #Constraints: 137783 3446.02/3455.37 c #Conflicts: 1849000 | #Constraints: 138783 3446.02/3455.37 c #Conflicts: 1850000 | #Constraints: 139783 3446.02/3455.37 c #Conflicts: 1851000 | #Constraints: 140783 3446.02/3455.37 c #Conflicts: 1852000 | #Constraints: 141783 3446.02/3455.37 c INPROCESSING 3446.02/3455.37 c GARBAGE COLLECT 3446.02/3455.37 c rational objective 106 3523.13/3532.60 c #Conflicts: 1853000 | #Constraints: 75988 3523.13/3532.60 c #Conflicts: 1854000 | #Constraints: 76988 3523.13/3532.60 c #Conflicts: 1855000 | #Constraints: 77988 3523.13/3532.60 c #Conflicts: 1856000 | #Constraints: 78988 3523.13/3532.60 c #Conflicts: 1857000 | #Constraints: 79988 3523.13/3532.60 c #Conflicts: 1858000 | #Constraints: 80988 3523.13/3532.60 c #Conflicts: 1859000 | #Constraints: 81988 3523.13/3532.60 c #Conflicts: 1860000 | #Constraints: 82988 3523.13/3532.60 c #Conflicts: 1861000 | #Constraints: 83988 3523.13/3532.60 c #Conflicts: 1862000 | #Constraints: 84988 3523.13/3532.60 c #Conflicts: 1863000 | #Constraints: 85988 3523.13/3532.60 c #Conflicts: 1864000 | #Constraints: 86988 3523.13/3532.60 c #Conflicts: 1865000 | #Constraints: 87988 3523.13/3532.60 c #Conflicts: 1866000 | #Constraints: 88988 3523.13/3532.60 c #Conflicts: 1867000 | #Constraints: 89988 3523.13/3532.60 c #Conflicts: 1868000 | #Constraints: 90988 3523.13/3532.60 c #Conflicts: 1869000 | #Constraints: 91988 3523.13/3532.60 c #Conflicts: 1870000 | #Constraints: 92988 3523.13/3532.60 c #Conflicts: 1871000 | #Constraints: 93988 3523.13/3532.60 c #Conflicts: 1872000 | #Constraints: 94988 3523.13/3532.60 c #Conflicts: 1873000 | #Constraints: 95988 3523.13/3532.60 c #Conflicts: 1874000 | #Constraints: 96988 3523.13/3532.60 c #Conflicts: 1875000 | #Constraints: 97988 3523.13/3532.60 c #Conflicts: 1876000 | #Constraints: 98989 3523.13/3532.60 c #Conflicts: 1877000 | #Constraints: 99989 3523.13/3532.60 c #Conflicts: 1878000 | #Constraints: 100989 3523.13/3532.60 c #Conflicts: 1879000 | #Constraints: 101990 3523.13/3532.60 c #Conflicts: 1880000 | #Constraints: 102990 3523.13/3532.60 c #Conflicts: 1881000 | #Constraints: 103990 3523.13/3532.60 c #Conflicts: 1882000 | #Constraints: 104990 3523.13/3532.60 c #Conflicts: 1883000 | #Constraints: 105990 3523.13/3532.60 c #Conflicts: 1884000 | #Constraints: 106990 3523.13/3532.60 c INPROCESSING 3523.13/3532.60 c GARBAGE COLLECT 3523.13/3532.60 c rational objective 106 3589.88/3599.54 c #Conflicts: 1885000 | #Constraints: 58601 3589.88/3599.54 c #Conflicts: 1886000 | #Constraints: 59601 3589.88/3599.54 c #Conflicts: 1887000 | #Constraints: 60601 3589.88/3599.54 c #Conflicts: 1888000 | #Constraints: 61601 3589.88/3599.54 c #Conflicts: 1889000 | #Constraints: 62601 3589.88/3599.54 c #Conflicts: 1890000 | #Constraints: 63601 3589.88/3599.54 c #Conflicts: 1891000 | #Constraints: 64601 3589.88/3599.54 c #Conflicts: 1892000 | #Constraints: 65601 3589.88/3599.54 c #Conflicts: 1893000 | #Constraints: 66601 3589.88/3599.54 c #Conflicts: 1894000 | #Constraints: 67601 3589.88/3599.54 c #Conflicts: 1895000 | #Constraints: 68601 3589.88/3599.54 c #Conflicts: 1896000 | #Constraints: 69601 3589.88/3599.54 c #Conflicts: 1897000 | #Constraints: 70601 3589.88/3599.54 c #Conflicts: 1898000 | #Constraints: 71601 3589.88/3599.54 c #Conflicts: 1899000 | #Constraints: 72601 3589.88/3599.54 c #Conflicts: 1900000 | #Constraints: 73601 3589.88/3599.54 c #Conflicts: 1901000 | #Constraints: 74601 3589.88/3599.54 c #Conflicts: 1902000 | #Constraints: 75601 3589.88/3599.54 c #Conflicts: 1903000 | #Constraints: 76601 3589.88/3599.54 c #Conflicts: 1904000 | #Constraints: 77601 3589.88/3599.54 c #Conflicts: 1905000 | #Constraints: 78602 3589.88/3599.54 c #Conflicts: 1906000 | #Constraints: 79602 3589.88/3599.54 c #Conflicts: 1907000 | #Constraints: 80602 3589.88/3599.54 c #Conflicts: 1908000 | #Constraints: 81602 3589.88/3599.54 c #Conflicts: 1909000 | #Constraints: 82602 3589.88/3599.54 c #Conflicts: 1910000 | #Constraints: 83602 3589.88/3599.54 c #Conflicts: 1911000 | #Constraints: 84602 3589.88/3599.54 c #Conflicts: 1912000 | #Constraints: 85602 3589.88/3599.54 c #Conflicts: 1913000 | #Constraints: 86602 3589.88/3599.54 c #Conflicts: 1914000 | #Constraints: 87602 3589.88/3599.54 c #Conflicts: 1915000 | #Constraints: 88602 3589.88/3599.54 c #Conflicts: 1916000 | #Constraints: 89602 3589.88/3599.54 c #Conflicts: 1917000 | #Constraints: 90602 3589.88/3599.54 c INPROCESSING 3589.88/3599.54 c GARBAGE COLLECT 3589.88/3599.54 c rational objective 106 3600.05/3609.70 c #Conflicts: 1918000 | #Constraints: 50602 3600.05/3609.70 c #Conflicts: 1919000 | #Constraints: 51602 3600.05/3609.70 c #Conflicts: 1920000 | #Constraints: 52602 3600.05/3609.70 c #Conflicts: 1921000 | #Constraints: 53602 3600.05/3609.70 c #Conflicts: 1922000 | #Constraints: 54602 3600.05/3609.70 c #Conflicts: 1923000 | #Constraints: 55602 3600.05/3609.70 c #Conflicts: 1924000 | #Constraints: 56602 3600.05/3609.70 c #Conflicts: 1925000 | #Constraints: 57602 3600.05/3609.70 c Program interrupted by user. 3600.05/3609.74 c cpu time 3557.99 s 3600.05/3609.74 c deterministic time 450478704360 4.50e+11 3600.05/3609.74 c optimization time 9.88769 s 3600.05/3609.74 c total solve time 3548.07 s 3600.05/3609.74 c core-guided solve time 0 s 3600.05/3609.74 c propagation time 2475.72 s 3600.05/3609.74 c conflict analysis time 824.332 s 3600.05/3609.74 c propagations 761602889 3600.05/3609.74 c resolve steps 63959618 3600.05/3609.74 c decisions 16855817 3600.05/3609.74 c conflicts 1925641 3600.05/3609.74 c restarts 3744 3600.05/3609.74 c inprocessing phases 77 3600.05/3609.74 c input clauses 7316 3600.05/3609.74 c input cardinalities 106 3600.05/3609.74 c input general constraints 0 3600.05/3609.74 c input average constraint length 6.24 3600.05/3609.74 c input average constraint degree 1.94 3600.05/3609.74 c learned clauses 1309019 3600.05/3609.74 c learned cardinalities 43066 3600.05/3609.74 c learned general constraints 573731 3600.05/3609.74 c learned average constraint length 919.05 3600.05/3609.74 c learned average constraint degree 38109862.07 3600.05/3609.74 c watched constraints 479977 3600.05/3609.74 c counting constraints 93754 3600.05/3609.74 c gcd simplifications 5377 3600.05/3609.74 c detected cardinalities 2807 3600.05/3609.74 c weakened non-implied lits 279293088 3600.05/3609.74 c weakened non-implying lits 604408 3600.05/3609.74 c original variables 7208 3600.05/3609.74 c clausal propagations 276204398 3600.05/3609.74 c cardinality propagations 276487854 3600.05/3609.74 c watched propagations 58661669 3600.05/3609.74 c counting propagations 143600896 3600.05/3609.74 c watch lookups 31093894384 3600.05/3609.74 c watch backjump lookups 24875521989 3600.05/3609.74 c watch checks 325142708413 3600.05/3609.74 c propagation checks 62780152778 3600.05/3609.74 c constraint additions 5025278508 3600.05/3609.74 c trail pops 780377521 3600.05/3609.74 c formula constraints 7422 3600.05/3609.74 c learned constraints 1925464 3600.05/3609.74 c bound constraints 0 3600.05/3609.74 c core-guided constraints 0 3600.05/3609.74 c encountered formula constraints 35317454 3600.05/3609.74 c encountered learned constraints 30565284 3600.05/3609.74 c encountered bound constraints 0 3600.05/3609.74 c encountered core-guided constraints 0 3600.05/3609.74 c LP total time 714.7 s 3600.05/3609.74 c LP solve time 706.93 s 3600.05/3609.74 c LP constraints added 12207 3600.05/3609.74 c LP constraints removed 4695 3600.05/3609.74 c LP pivots internal 1929462 3600.05/3609.74 c LP pivots root 382598 3600.05/3609.74 c LP calls 442 3600.05/3609.74 c LP optimalities 261 3600.05/3609.74 c LP no pivot count 2 3600.05/3609.74 c LP infeasibilities 176 3600.05/3609.74 c LP valid Farkas constraints 176 3600.05/3609.74 c LP learned Farkas constraints 176 3600.05/3609.74 c LP basis resets 0 3600.05/3609.74 c LP cycling count 0 3600.05/3609.74 c LP singular count 0 3600.05/3609.74 c LP no primal count 0 3600.05/3609.74 c LP no farkas count 0 3600.05/3609.74 c LP other issue count 0 3600.05/3609.74 c LP Gomory cuts 0 3600.05/3609.74 c LP learned cuts 4785 3600.05/3609.74 c LP deleted cuts 4695 3600.05/3609.74 c LP encountered Gomory constraints 0 3600.05/3609.74 c LP encountered Farkas constraints 1700 3600.05/3609.74 c LP encountered learned Farkas constraints 645 3600.05/3609.74 c CG auxiliary variables introduced 0 3600.05/3609.74 c CG solutions found 0 3600.05/3609.74 c CG cores constructed 0 3600.05/3609.74 c CG core cardinality constraints returned 0 3600.05/3609.74 c CG unit cores 0 3600.05/3609.74 c CG single cores 0 3600.05/3609.74 c CG blocks removed during cardinality reduction 0 3600.05/3609.74 c CG first core best 0 3600.05/3609.74 c CG decision core best 0 3600.05/3609.74 c CG core reduction tie 0 3600.05/3609.74 c CG core degree average 0.00 3600.05/3609.74 c CG core slack average 0.00 3600.05/3609.74 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 (57089 MiB free)
memory of node 1: 64510 MiB (51346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460663-1722069768/watcher-4460663-1722069768 -o /tmp/evaluation-result-4460663-1722069768/solver-4460663-1722069768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722064836-324847 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460663-1722069768 --lp-cut-gomory=0 HOME/instance-4460663-1722069768.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=328832, runsolver pid=328829
[startup+0.100739 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 328833
/proc/meminfo: memFree=111026412/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=49972 memory=18460 CPUtime=0.07 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 3812 0 0 0 6 1 0 0 20 0 1 0 43500378 51171328 4615 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 12493 4615 1702 992 0 4351 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 49972 KiB
Current children cumulated memory: 18460 KiB
[startup+0.205814 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 328833
/proc/meminfo: memFree=111025208/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=50664 memory=19252 CPUtime=0.17 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 4042 0 0 0 16 1 0 0 20 0 1 0 43500378 51879936 4813 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 12666 4813 1702 992 0 4524 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 50664 KiB
Current children cumulated memory: 19252 KiB
[startup+0.305782 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 328833
/proc/meminfo: memFree=111024060/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=50896 memory=19780 CPUtime=0.27 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 4149 0 0 0 26 1 0 0 20 0 1 0 43500378 52117504 4945 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 12724 4945 1702 992 0 4582 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 50896 KiB
Current children cumulated memory: 19780 KiB
[startup+0.700246 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 328833
/proc/meminfo: memFree=111023248/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=52296 memory=20572 CPUtime=0.66 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 4332 0 0 0 64 2 0 0 20 0 1 0 43500378 53551104 5143 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 13074 5143 1702 992 0 4932 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 52296 KiB
Current children cumulated memory: 20572 KiB
[startup+1.50024 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 328833
/proc/meminfo: memFree=111017940/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=53260 memory=24112 CPUtime=1.45 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 4660 0 0 0 138 7 0 0 20 0 1 0 43500378 54538240 6028 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 13315 6028 1749 992 0 5173 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 53260 KiB
Current children cumulated memory: 24112 KiB
[startup+3.10588 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 328833
/proc/meminfo: memFree=111010912/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=53400 memory=24372 CPUtime=3.06 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 4768 0 0 0 297 9 0 0 20 0 1 0 43500378 54681600 6093 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 13350 6093 1749 992 0 5208 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 53400 KiB
Current children cumulated memory: 24372 KiB
[startup+6.30021 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 328833
/proc/meminfo: memFree=110995288/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=54908 memory=27488 CPUtime=6.25 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 5479 0 0 0 609 16 0 0 20 0 1 0 43500378 56225792 6872 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 13727 6872 1812 992 0 5585 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 54908 KiB
Current children cumulated memory: 27488 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 328835
/proc/meminfo: memFree=110965892/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=61528 memory=33512 CPUtime=12.63 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 6462 0 0 0 1231 32 0 0 20 0 1 0 43500378 63004672 8378 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 15382 8378 1844 992 0 7240 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 61528 KiB
Current children cumulated memory: 33512 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 328836
/proc/meminfo: memFree=110910868/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=70296 memory=41592 CPUtime=25.39 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 7955 0 0 0 2477 62 0 0 20 0 1 0 43500378 71983104 10398 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 17574 10398 1844 992 0 9432 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 70296 KiB
Current children cumulated memory: 41592 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 328842
/proc/meminfo: memFree=110799236/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=115764 memory=76432 CPUtime=50.94 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 11572 0 0 0 4973 121 0 0 20 0 1 0 43500378 118542336 19108 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 28941 19108 1844 992 0 20799 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 115764 KiB
Current children cumulated memory: 76432 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.20 4.12 5/261 328850
/proc/meminfo: memFree=110606856/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=155900 memory=112424 CPUtime=101.99 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 14678 0 0 0 9974 225 0 0 20 0 1 0 43500378 159641600 28106 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 38975 28106 1844 992 0 30833 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 155900 KiB
Current children cumulated memory: 112424 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/258 328862
/proc/meminfo: memFree=110278756/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=220160 memory=161804 CPUtime=161.82 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 19587 0 0 0 15841 341 0 0 20 0 1 0 43500378 225443840 40451 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 55040 40451 1844 992 0 46898 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 220160 KiB
Current children cumulated memory: 161804 KiB
[startup+222.3 s]
/proc/loadavg: 4.35 4.21 4.13 5/257 328872
/proc/meminfo: memFree=110027940/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=227232 memory=167228 CPUtime=221.66 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 22089 0 0 0 21710 456 0 0 20 0 1 0 43500378 232685568 41807 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 56808 41807 1844 992 0 48666 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 227232 KiB
Current children cumulated memory: 167228 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 4.23 4.14 5/257 328883
/proc/meminfo: memFree=109789652/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=229468 memory=169824 CPUtime=281.5 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 22761 0 0 0 27594 556 0 0 20 0 1 0 43500378 234975232 42456 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 57367 42456 1844 992 0 49225 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 229468 KiB
Current children cumulated memory: 169824 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.20 4.13 5/257 328894
/proc/meminfo: memFree=109564292/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=322844 memory=215760 CPUtime=341.34 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 26143 0 0 0 33472 662 0 0 20 0 1 0 43500378 330592256 53940 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 80711 53940 1844 992 0 72569 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 322844 KiB
Current children cumulated memory: 215760 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/258 328905
/proc/meminfo: memFree=109190352/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=325640 memory=220548 CPUtime=401.19 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 26882 0 0 0 39349 770 0 0 20 0 1 0 43500378 333455360 55137 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 81410 55137 1844 992 0 73268 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 325640 KiB
Current children cumulated memory: 220548 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.18 4.13 5/259 328921
/proc/meminfo: memFree=108942584/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=327072 memory=232612 CPUtime=461.02 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 27300 0 0 0 45229 873 0 0 20 0 1 0 43500378 334921728 58153 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
################
# More data... #
################
Current children cumulated memory: 700956 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/262 330789
/proc/meminfo: memFree=109186268/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=784708 memory=701408 CPUtime=2914.52 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 65879 0 0 0 287865 3587 0 0 20 0 1 0 43500378 803540992 175352 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 196177 175352 1844 992 0 188035 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 784708 KiB
Current children cumulated memory: 701408 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/262 330801
/proc/meminfo: memFree=108915068/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=787424 memory=703928 CPUtime=2974.36 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 66917 0 0 0 293805 3631 0 0 20 0 1 0 43500378 806322176 175982 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 196856 175982 1844 992 0 188714 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 787424 KiB
Current children cumulated memory: 703928 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/261 330812
/proc/meminfo: memFree=108610676/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1146332 memory=770364 CPUtime=3034.18 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 69515 0 0 0 299752 3666 0 0 20 0 1 0 43500378 1173843968 192591 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 286583 192591 1844 992 0 278441 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 1146332 KiB
Current children cumulated memory: 770364 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 330822
/proc/meminfo: memFree=108310152/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1148704 memory=796956 CPUtime=3094.01 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 70738 0 0 0 305679 3722 0 0 20 0 1 0 43500378 1176272896 199239 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 287176 199239 1844 992 0 279034 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 1148704 KiB
Current children cumulated memory: 796956 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 330833
/proc/meminfo: memFree=108026988/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1148912 memory=797016 CPUtime=3153.84 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 71456 0 0 0 311585 3799 0 0 20 0 1 0 43500378 1176485888 199254 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 287228 199254 1844 992 0 279086 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 1148912 KiB
Current children cumulated memory: 797016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 330843
/proc/meminfo: memFree=107719908/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1150068 memory=798312 CPUtime=3213.67 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 72050 0 0 0 317489 3878 0 0 20 0 1 0 43500378 1177669632 199578 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 287517 199578 1844 992 0 279375 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 1150068 KiB
Current children cumulated memory: 798312 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 330854
/proc/meminfo: memFree=107431500/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1150068 memory=798460 CPUtime=3273.49 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 72317 0 0 0 323409 3940 0 0 20 0 1 0 43500378 1177669632 199615 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 287517 199615 1844 992 0 279375 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 1150068 KiB
Current children cumulated memory: 798460 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/257 330864
/proc/meminfo: memFree=107170044/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1150068 memory=798460 CPUtime=3333.32 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 72573 0 0 0 329339 3993 0 0 20 0 1 0 43500378 1177669632 199615 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 287517 199615 1844 992 0 279375 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 1150068 KiB
Current children cumulated memory: 798460 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 330874
/proc/meminfo: memFree=106917356/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1151380 memory=803716 CPUtime=3393.16 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 73109 0 0 0 335284 4032 0 0 20 0 1 0 43500378 1179013120 200929 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 287845 200929 1844 992 0 279703 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 1151380 KiB
Current children cumulated memory: 803716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/258 330889
/proc/meminfo: memFree=106674576/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1155656 memory=807408 CPUtime=3453.01 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 74859 0 0 0 341236 4065 0 0 20 0 1 0 43500378 1183391744 201852 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 288914 201852 1844 992 0 280772 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 1155656 KiB
Current children cumulated memory: 807408 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/260 330903
/proc/meminfo: memFree=106404476/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1155896 memory=807628 CPUtime=3512.86 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 75098 0 0 0 347170 4116 0 0 20 0 1 0 43500378 1183637504 201907 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 288974 201907 1844 992 0 280832 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 1155896 KiB
Current children cumulated memory: 807628 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/260 330914
/proc/meminfo: memFree=106125592/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1156748 memory=808504 CPUtime=3572.72 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 76145 0 0 0 353091 4181 0 0 20 0 1 0 43500378 1184509952 202126 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 289187 202126 1844 992 0 281045 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 1156748 KiB
Current children cumulated memory: 808504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.22 4.13 4.10 5/260 330920
/proc/meminfo: memFree=105997072/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1156320 memory=808176 CPUtime=3600.05 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 76781 0 0 0 355798 4207 0 0 20 0 1 0 43500378 1184071680 202044 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 289080 202044 1844 992 0 280938 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1156320 KiB
Current children cumulated memory: 808176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.74 s]
# the end of solver process 328832 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3557.99 s, system=42.0801 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.22 4.13 4.10 5/260 330920
/proc/meminfo: memFree=105997072/131524600 swapFree=131056796/131071996
[pid=328832] ppid=328829 vsize=1156320 memory=808176 CPUtime=3600.05 cores=5,7
/proc/328832/stat : 328832 (roundingsat) R 328829 328832 324834 0 -1 4194304 76781 0 0 0 355798 4207 0 0 20 0 1 0 43500378 1184071680 202044 134679101440 4194304 8254357 140736479962064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32931840 140736479966043 140736479966305 140736479966305 140736479973321 0
/proc/328832/statm: 289080 202044 1844 992 0 280938 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1156320 KiB
Current children cumulated memory: 808176 KiB
Child status: 0
Real time (s): 3609.74
CPU time (s): 3600.07
CPU user time (s): 3557.99
CPU system time (s): 42.0801
CPU usage (%): 99.7321
Max. virtual memory (cumulated for all children) (KiB): 1157944
Max. memory (cumulated for all children) (KiB): 809172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.99
system time used= 42.0801
maximum resident set size= 809172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9946200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 665
involuntary context switches= 4886
# summary of solver processes directly reported to runsolver:
# pid: 328832
# total CPU time (s): 3600.07
# total CPU user time (s): 3557.99
# total CPU system time (s): 42.0801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87252 second user time and 16.6185 second system time
The end
Begin job on nodeC032 at 2024-07-27 10:42:48 IDJOB=4460663 IDBENCH=158362 IDSOLVER=3086 FILE ID=nodeC032/4460663-1722069768 RUNJOBID= nodeC032-1722064836-324847 SLURM_JOB_ID= 8248100 Free space on /tmp= 890016 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-4460663-1722069768/watcher-4460663-1722069768 -o /tmp/evaluation-result-4460663-1722069768/solver-4460663-1722069768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722064836-324847 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460663-1722069768 --lp-cut-gomory=0 HOME/instance-4460663-1722069768.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 24ba6b7b7d8e9ae68244a11b7fe894d2 RANDOM SEED=1333405008 nodeC032.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 : 3674.525 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.753 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.891 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3691.869 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.79 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 : 3674.553 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.829 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.815 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.343 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 111038812 kB MemAvailable: 127388572 kB Buffers: 360464 kB Cached: 16797840 kB SwapCached: 140 kB Active: 2796852 kB Inactive: 17025352 kB Active(anon): 2116 kB Inactive(anon): 2723072 kB Active(file): 2794736 kB Inactive(file): 14302280 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056796 kB Dirty: 20424 kB Writeback: 0 kB AnonPages: 2655400 kB Mapped: 126436 kB Shmem: 61244 kB KReclaimable: 184780 kB Slab: 304960 kB SReclaimable: 184780 kB SUnreclaim: 120180 kB KernelStack: 4240 kB PageTables: 14764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3288592 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19904 kB HardwareCorrupted: 0 kB AnonHugePages: 2269184 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 365268 kB DirectMap2M: 42399744 kB DirectMap1G: 93323264 kB Free space on /tmp at the end= 890056 MiB End job on nodeC032 at 2024-07-27 11:42:58