| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.08 | 3609.5 |
| 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.09/0.11 c #variables 7208 #constraints 7422 18.44/18.55 c #Conflicts: 1000 | #Constraints: 8421 18.44/18.55 c #Conflicts: 2000 | #Constraints: 9421 18.44/18.55 c INPROCESSING 18.44/18.55 c GARBAGE COLLECT 18.44/18.55 c #Conflicts: 3000 | #Constraints: 9112 18.44/18.55 c #Conflicts: 4000 | #Constraints: 10112 18.44/18.55 c INPROCESSING 18.44/18.55 c GARBAGE COLLECT 18.44/18.55 c #Conflicts: 5000 | #Constraints: 9586 18.44/18.55 c #Conflicts: 6000 | #Constraints: 10586 18.44/18.55 c INPROCESSING 18.44/18.55 c GARBAGE COLLECT 18.44/18.55 c #Conflicts: 7000 | #Constraints: 9640 18.44/18.55 c #Conflicts: 8000 | #Constraints: 10640 18.44/18.55 c #Conflicts: 9000 | #Constraints: 11640 18.44/18.55 c INPROCESSING 18.44/18.55 c GARBAGE COLLECT 18.44/18.55 c rational objective 106 33.60/33.74 c #Conflicts: 10000 | #Constraints: 10387 33.60/33.74 c #Conflicts: 11000 | #Constraints: 11387 33.60/33.74 c #Conflicts: 12000 | #Constraints: 12387 33.60/33.74 c INPROCESSING 33.60/33.74 c GARBAGE COLLECT 33.60/33.74 c #Conflicts: 13000 | #Constraints: 10884 33.60/33.74 c #Conflicts: 14000 | #Constraints: 11884 33.60/33.74 c #Conflicts: 15000 | #Constraints: 12885 33.60/33.74 c INPROCESSING 33.60/33.74 c GARBAGE COLLECT 33.60/33.74 c #Conflicts: 16000 | #Constraints: 11143 33.60/33.74 c #Conflicts: 17000 | #Constraints: 12143 33.60/33.74 c #Conflicts: 18000 | #Constraints: 13143 33.60/33.74 c INPROCESSING 33.60/33.74 c GARBAGE COLLECT 33.60/33.74 c #Conflicts: 19000 | #Constraints: 11219 33.60/33.74 c #Conflicts: 20000 | #Constraints: 12219 33.60/33.74 c #Conflicts: 21000 | #Constraints: 13220 33.60/33.74 c INPROCESSING 33.60/33.74 c GARBAGE COLLECT 33.60/33.74 c #Conflicts: 22000 | #Constraints: 11009 33.60/33.74 c #Conflicts: 23000 | #Constraints: 12009 33.60/33.74 c #Conflicts: 24000 | #Constraints: 13009 33.60/33.74 c #Conflicts: 25000 | #Constraints: 14009 33.60/33.74 c INPROCESSING 33.60/33.74 c GARBAGE COLLECT 33.60/33.74 c rational objective 106 45.89/46.06 c #Conflicts: 26000 | #Constraints: 11634 45.89/46.06 c #Conflicts: 27000 | #Constraints: 12634 45.89/46.06 c #Conflicts: 28000 | #Constraints: 13634 45.89/46.06 c #Conflicts: 29000 | #Constraints: 14634 45.89/46.06 c #Conflicts: 30000 | #Constraints: 15634 45.89/46.06 c #Conflicts: 31000 | #Constraints: 16634 45.89/46.06 c #Conflicts: 32000 | #Constraints: 17634 45.89/46.06 c #Conflicts: 33000 | #Constraints: 18635 45.89/46.06 c #Conflicts: 34000 | #Constraints: 19635 45.89/46.06 c #Conflicts: 35000 | #Constraints: 20635 45.89/46.06 c #Conflicts: 36000 | #Constraints: 21635 45.89/46.06 c #Conflicts: 37000 | #Constraints: 22635 45.89/46.06 c #Conflicts: 38000 | #Constraints: 23635 45.89/46.06 c INPROCESSING 45.89/46.06 c GARBAGE COLLECT 45.89/46.06 c rational objective 106 52.55/52.71 c #Conflicts: 39000 | #Constraints: 16656 52.55/52.71 c #Conflicts: 40000 | #Constraints: 17656 52.55/52.71 c #Conflicts: 41000 | #Constraints: 18656 52.55/52.71 c #Conflicts: 42000 | #Constraints: 19656 52.55/52.71 c INPROCESSING 52.55/52.71 c GARBAGE COLLECT 52.55/52.71 c rational objective 106 77.09/77.38 c #Conflicts: 43000 | #Constraints: 14194 77.09/77.38 c #Conflicts: 44000 | #Constraints: 15194 77.09/77.38 c #Conflicts: 45000 | #Constraints: 16194 77.09/77.38 c #Conflicts: 46000 | #Constraints: 17195 77.09/77.38 c #Conflicts: 47000 | #Constraints: 18195 77.09/77.38 c #Conflicts: 48000 | #Constraints: 19195 77.09/77.38 c INPROCESSING 77.09/77.38 c GARBAGE COLLECT 77.09/77.38 c #Conflicts: 49000 | #Constraints: 14458 77.09/77.38 c #Conflicts: 50000 | #Constraints: 15458 77.09/77.38 c #Conflicts: 51000 | #Constraints: 16458 77.09/77.38 c #Conflicts: 52000 | #Constraints: 17458 77.09/77.38 c #Conflicts: 53000 | #Constraints: 18458 77.09/77.38 c INPROCESSING 77.09/77.38 c GARBAGE COLLECT 77.09/77.38 c #Conflicts: 54000 | #Constraints: 13928 77.09/77.38 c #Conflicts: 55000 | #Constraints: 14928 77.09/77.38 c #Conflicts: 56000 | #Constraints: 15928 77.09/77.38 c #Conflicts: 57000 | #Constraints: 16928 77.09/77.38 c #Conflicts: 58000 | #Constraints: 17928 77.09/77.38 c INPROCESSING 77.09/77.38 c GARBAGE COLLECT 77.09/77.38 c rational objective 106 98.05/98.36 c #Conflicts: 59000 | #Constraints: 13393 98.05/98.36 c #Conflicts: 60000 | #Constraints: 14393 98.05/98.36 c #Conflicts: 61000 | #Constraints: 15393 98.05/98.36 c #Conflicts: 62000 | #Constraints: 16393 98.05/98.36 c #Conflicts: 63000 | #Constraints: 17393 98.05/98.36 c #Conflicts: 64000 | #Constraints: 18393 98.05/98.36 c #Conflicts: 65000 | #Constraints: 19393 98.05/98.36 c #Conflicts: 66000 | #Constraints: 20393 98.05/98.36 c #Conflicts: 67000 | #Constraints: 21393 98.05/98.36 c #Conflicts: 68000 | #Constraints: 22394 98.05/98.36 c #Conflicts: 69000 | #Constraints: 23394 98.05/98.36 c #Conflicts: 70000 | #Constraints: 24394 98.05/98.36 c #Conflicts: 71000 | #Constraints: 25394 98.05/98.36 c #Conflicts: 72000 | #Constraints: 26394 98.05/98.36 c #Conflicts: 73000 | #Constraints: 27394 98.05/98.36 c #Conflicts: 74000 | #Constraints: 28394 98.05/98.36 c #Conflicts: 75000 | #Constraints: 29394 98.05/98.36 c #Conflicts: 76000 | #Constraints: 30394 98.05/98.36 c #Conflicts: 77000 | #Constraints: 31394 98.05/98.36 c #Conflicts: 78000 | #Constraints: 32394 98.05/98.36 c INPROCESSING 98.05/98.36 c GARBAGE COLLECT 98.05/98.36 c rational objective 106 106.03/106.35 c #Conflicts: 79000 | #Constraints: 21106 106.03/106.35 c #Conflicts: 80000 | #Constraints: 22106 106.03/106.35 c #Conflicts: 81000 | #Constraints: 23106 106.03/106.35 c #Conflicts: 82000 | #Constraints: 24106 106.03/106.35 c #Conflicts: 83000 | #Constraints: 25106 106.03/106.35 c #Conflicts: 84000 | #Constraints: 26106 106.03/106.35 c INPROCESSING 106.03/106.35 c GARBAGE COLLECT 106.03/106.35 c rational objective 106 123.29/123.67 c #Conflicts: 85000 | #Constraints: 17543 123.29/123.67 c #Conflicts: 86000 | #Constraints: 18543 123.29/123.67 c #Conflicts: 87000 | #Constraints: 19543 123.29/123.67 c #Conflicts: 88000 | #Constraints: 20543 123.29/123.67 c #Conflicts: 89000 | #Constraints: 21543 123.29/123.67 c #Conflicts: 90000 | #Constraints: 22543 123.29/123.67 c #Conflicts: 91000 | #Constraints: 23544 123.29/123.67 c INPROCESSING 123.29/123.67 c GARBAGE COLLECT 123.29/123.67 c rational objective 106 130.17/130.59 c #Conflicts: 92000 | #Constraints: 16326 130.17/130.59 c #Conflicts: 93000 | #Constraints: 17326 130.17/130.59 c #Conflicts: 94000 | #Constraints: 18326 130.17/130.59 c #Conflicts: 95000 | #Constraints: 19326 130.17/130.59 c #Conflicts: 96000 | #Constraints: 20326 130.17/130.59 c #Conflicts: 97000 | #Constraints: 21326 130.17/130.59 c #Conflicts: 98000 | #Constraints: 22326 130.17/130.59 c #Conflicts: 99000 | #Constraints: 23326 130.17/130.59 c INPROCESSING 130.17/130.59 c GARBAGE COLLECT 130.17/130.59 c rational objective 106 160.10/160.51 c #Conflicts: 100000 | #Constraints: 16571 160.10/160.51 c #Conflicts: 101000 | #Constraints: 17571 160.10/160.51 c #Conflicts: 102000 | #Constraints: 18572 160.10/160.51 c #Conflicts: 103000 | #Constraints: 19572 160.10/160.51 c #Conflicts: 104000 | #Constraints: 20573 160.10/160.51 c #Conflicts: 105000 | #Constraints: 21573 160.10/160.51 c #Conflicts: 106000 | #Constraints: 22574 160.10/160.51 c #Conflicts: 107000 | #Constraints: 23574 160.10/160.51 c #Conflicts: 108000 | #Constraints: 24575 160.10/160.51 c #Conflicts: 109000 | #Constraints: 25576 160.10/160.51 c #Conflicts: 110000 | #Constraints: 26576 160.10/160.51 c #Conflicts: 111000 | #Constraints: 27576 160.10/160.51 c #Conflicts: 112000 | #Constraints: 28576 160.10/160.51 c #Conflicts: 113000 | #Constraints: 29577 160.10/160.51 c #Conflicts: 114000 | #Constraints: 30577 160.10/160.51 c #Conflicts: 115000 | #Constraints: 31577 160.10/160.51 c #Conflicts: 116000 | #Constraints: 32577 160.10/160.51 c #Conflicts: 117000 | #Constraints: 33577 160.10/160.51 c #Conflicts: 118000 | #Constraints: 34577 160.10/160.51 c #Conflicts: 119000 | #Constraints: 35577 160.10/160.51 c #Conflicts: 120000 | #Constraints: 36577 160.10/160.51 c #Conflicts: 121000 | #Constraints: 37578 160.10/160.51 c #Conflicts: 122000 | #Constraints: 38579 160.10/160.51 c #Conflicts: 123000 | #Constraints: 39579 160.10/160.51 c INPROCESSING 160.10/160.51 c GARBAGE COLLECT 160.10/160.51 c rational objective 106 170.27/170.75 c #Conflicts: 124000 | #Constraints: 24495 170.27/170.75 c #Conflicts: 125000 | #Constraints: 25495 170.27/170.75 c #Conflicts: 126000 | #Constraints: 26495 170.27/170.75 c #Conflicts: 127000 | #Constraints: 27495 170.27/170.75 c #Conflicts: 128000 | #Constraints: 28495 170.27/170.75 c #Conflicts: 129000 | #Constraints: 29495 170.27/170.75 c #Conflicts: 130000 | #Constraints: 30495 170.27/170.75 c #Conflicts: 131000 | #Constraints: 31495 170.27/170.75 c #Conflicts: 132000 | #Constraints: 32495 170.27/170.75 c INPROCESSING 170.27/170.75 c GARBAGE COLLECT 170.27/170.75 c rational objective 106 180.25/180.72 c #Conflicts: 133000 | #Constraints: 21194 180.25/180.72 c #Conflicts: 134000 | #Constraints: 22195 180.25/180.72 c #Conflicts: 135000 | #Constraints: 23196 180.25/180.72 c #Conflicts: 136000 | #Constraints: 24196 180.25/180.72 c #Conflicts: 137000 | #Constraints: 25196 180.25/180.72 c #Conflicts: 138000 | #Constraints: 26196 180.25/180.72 c #Conflicts: 139000 | #Constraints: 27196 180.25/180.72 c #Conflicts: 140000 | #Constraints: 28196 180.25/180.72 c INPROCESSING 180.25/180.72 c GARBAGE COLLECT 180.25/180.72 c rational objective 106 192.63/193.19 c #Conflicts: 141000 | #Constraints: 18740 192.63/193.19 c #Conflicts: 142000 | #Constraints: 19740 192.63/193.19 c #Conflicts: 143000 | #Constraints: 20740 192.63/193.19 c #Conflicts: 144000 | #Constraints: 21740 192.63/193.19 c #Conflicts: 145000 | #Constraints: 22740 192.63/193.19 c #Conflicts: 146000 | #Constraints: 23740 192.63/193.19 c #Conflicts: 147000 | #Constraints: 24741 192.63/193.19 c #Conflicts: 148000 | #Constraints: 25741 192.63/193.19 c #Conflicts: 149000 | #Constraints: 26741 192.63/193.19 c INPROCESSING 192.63/193.19 c GARBAGE COLLECT 192.63/193.19 c rational objective 106 237.61/238.27 c #Conflicts: 150000 | #Constraints: 18049 237.61/238.27 c #Conflicts: 151000 | #Constraints: 19049 237.61/238.27 c #Conflicts: 152000 | #Constraints: 20050 237.61/238.27 c #Conflicts: 153000 | #Constraints: 21050 237.61/238.27 c #Conflicts: 154000 | #Constraints: 22050 237.61/238.27 c #Conflicts: 155000 | #Constraints: 23050 237.61/238.27 c #Conflicts: 156000 | #Constraints: 24050 237.61/238.27 c #Conflicts: 157000 | #Constraints: 25050 237.61/238.27 c #Conflicts: 158000 | #Constraints: 26050 237.61/238.27 c #Conflicts: 159000 | #Constraints: 27050 237.61/238.27 c #Conflicts: 160000 | #Constraints: 28050 237.61/238.27 c #Conflicts: 161000 | #Constraints: 29050 237.61/238.27 c #Conflicts: 162000 | #Constraints: 30050 237.61/238.27 c #Conflicts: 163000 | #Constraints: 31050 237.61/238.27 c #Conflicts: 164000 | #Constraints: 32050 237.61/238.27 c #Conflicts: 165000 | #Constraints: 33050 237.61/238.27 c #Conflicts: 166000 | #Constraints: 34050 237.61/238.27 c #Conflicts: 167000 | #Constraints: 35051 237.61/238.27 c #Conflicts: 168000 | #Constraints: 36051 237.61/238.27 c #Conflicts: 169000 | #Constraints: 37051 237.61/238.27 c #Conflicts: 170000 | #Constraints: 38051 237.61/238.27 c #Conflicts: 171000 | #Constraints: 39051 237.61/238.27 c #Conflicts: 172000 | #Constraints: 40051 237.61/238.27 c #Conflicts: 173000 | #Constraints: 41052 237.61/238.27 c #Conflicts: 174000 | #Constraints: 42052 237.61/238.27 c #Conflicts: 175000 | #Constraints: 43052 237.61/238.27 c #Conflicts: 176000 | #Constraints: 44052 237.61/238.27 c #Conflicts: 177000 | #Constraints: 45053 237.61/238.27 c #Conflicts: 178000 | #Constraints: 46053 237.61/238.27 c #Conflicts: 179000 | #Constraints: 47053 237.61/238.27 c INPROCESSING 237.61/238.27 c GARBAGE COLLECT 237.61/238.27 c rational objective 106 248.58/249.26 c #Conflicts: 180000 | #Constraints: 28387 248.58/249.26 c #Conflicts: 181000 | #Constraints: 29387 248.58/249.26 c #Conflicts: 182000 | #Constraints: 30387 248.58/249.26 c #Conflicts: 183000 | #Constraints: 31387 248.58/249.26 c #Conflicts: 184000 | #Constraints: 32387 248.58/249.26 c #Conflicts: 185000 | #Constraints: 33388 248.58/249.26 c #Conflicts: 186000 | #Constraints: 34388 248.58/249.26 c #Conflicts: 187000 | #Constraints: 35388 248.58/249.26 c #Conflicts: 188000 | #Constraints: 36388 248.58/249.26 c #Conflicts: 189000 | #Constraints: 37388 248.58/249.26 c INPROCESSING 248.58/249.26 c GARBAGE COLLECT 248.58/249.26 c rational objective 106 258.48/259.12 c #Conflicts: 190000 | #Constraints: 23426 258.48/259.12 c #Conflicts: 191000 | #Constraints: 24426 258.48/259.12 c #Conflicts: 192000 | #Constraints: 25426 258.48/259.12 c #Conflicts: 193000 | #Constraints: 26426 258.48/259.12 c #Conflicts: 194000 | #Constraints: 27426 258.48/259.12 c #Conflicts: 195000 | #Constraints: 28426 258.48/259.12 c #Conflicts: 196000 | #Constraints: 29426 258.48/259.12 c #Conflicts: 197000 | #Constraints: 30426 258.48/259.12 c #Conflicts: 198000 | #Constraints: 31426 258.48/259.12 c #Conflicts: 199000 | #Constraints: 32426 258.48/259.12 c #Conflicts: 200000 | #Constraints: 33426 258.48/259.12 c INPROCESSING 258.48/259.12 c GARBAGE COLLECT 258.48/259.12 c rational objective 106 269.94/270.61 c #Conflicts: 201000 | #Constraints: 21693 269.94/270.61 c #Conflicts: 202000 | #Constraints: 22693 269.94/270.61 c #Conflicts: 203000 | #Constraints: 23693 269.94/270.61 c #Conflicts: 204000 | #Constraints: 24693 269.94/270.61 c #Conflicts: 205000 | #Constraints: 25693 269.94/270.61 c #Conflicts: 206000 | #Constraints: 26693 269.94/270.61 c #Conflicts: 207000 | #Constraints: 27693 269.94/270.61 c #Conflicts: 208000 | #Constraints: 28693 269.94/270.61 c #Conflicts: 209000 | #Constraints: 29693 269.94/270.61 c #Conflicts: 210000 | #Constraints: 30693 269.94/270.61 c INPROCESSING 269.94/270.61 c GARBAGE COLLECT 269.94/270.61 c rational objective 106 313.03/313.87 c #Conflicts: 211000 | #Constraints: 20090 313.03/313.87 c #Conflicts: 212000 | #Constraints: 21090 313.03/313.87 c #Conflicts: 213000 | #Constraints: 22090 313.03/313.87 c #Conflicts: 214000 | #Constraints: 23090 313.03/313.87 c #Conflicts: 215000 | #Constraints: 24092 313.03/313.87 c #Conflicts: 216000 | #Constraints: 25094 313.03/313.87 c #Conflicts: 217000 | #Constraints: 26094 313.03/313.87 c #Conflicts: 218000 | #Constraints: 27094 313.03/313.87 c #Conflicts: 219000 | #Constraints: 28094 313.03/313.87 c #Conflicts: 220000 | #Constraints: 29094 313.03/313.87 c #Conflicts: 221000 | #Constraints: 30094 313.03/313.87 c #Conflicts: 222000 | #Constraints: 31094 313.03/313.87 c #Conflicts: 223000 | #Constraints: 32094 313.03/313.87 c #Conflicts: 224000 | #Constraints: 33094 313.03/313.87 c #Conflicts: 225000 | #Constraints: 34094 313.03/313.87 c #Conflicts: 226000 | #Constraints: 35094 313.03/313.87 c #Conflicts: 227000 | #Constraints: 36094 313.03/313.87 c #Conflicts: 228000 | #Constraints: 37094 313.03/313.87 c #Conflicts: 229000 | #Constraints: 38094 313.03/313.87 c #Conflicts: 230000 | #Constraints: 39095 313.03/313.87 c #Conflicts: 231000 | #Constraints: 40095 313.03/313.87 c #Conflicts: 232000 | #Constraints: 41096 313.03/313.87 c #Conflicts: 233000 | #Constraints: 42096 313.03/313.87 c #Conflicts: 234000 | #Constraints: 43096 313.03/313.87 c #Conflicts: 235000 | #Constraints: 44096 313.03/313.87 c #Conflicts: 236000 | #Constraints: 45096 313.03/313.87 c #Conflicts: 237000 | #Constraints: 46096 313.03/313.87 c #Conflicts: 238000 | #Constraints: 47096 313.03/313.87 c #Conflicts: 239000 | #Constraints: 48096 313.03/313.87 c #Conflicts: 240000 | #Constraints: 49096 313.03/313.87 c #Conflicts: 241000 | #Constraints: 50096 313.03/313.87 c #Conflicts: 242000 | #Constraints: 51096 313.03/313.87 c #Conflicts: 243000 | #Constraints: 52096 313.03/313.87 c #Conflicts: 244000 | #Constraints: 53096 313.03/313.87 c #Conflicts: 245000 | #Constraints: 54096 313.03/313.87 c INPROCESSING 313.03/313.87 c GARBAGE COLLECT 313.03/313.87 c rational objective 106 326.49/327.37 c #Conflicts: 246000 | #Constraints: 31745 326.49/327.37 c #Conflicts: 247000 | #Constraints: 32745 326.49/327.37 c #Conflicts: 248000 | #Constraints: 33746 326.49/327.37 c #Conflicts: 249000 | #Constraints: 34746 326.49/327.37 c #Conflicts: 250000 | #Constraints: 35746 326.49/327.37 c #Conflicts: 251000 | #Constraints: 36746 326.49/327.37 c #Conflicts: 252000 | #Constraints: 37746 326.49/327.37 c #Conflicts: 253000 | #Constraints: 38746 326.49/327.37 c #Conflicts: 254000 | #Constraints: 39746 326.49/327.37 c #Conflicts: 255000 | #Constraints: 40746 326.49/327.37 c #Conflicts: 256000 | #Constraints: 41746 326.49/327.37 c #Conflicts: 257000 | #Constraints: 42746 326.49/327.37 c INPROCESSING 326.49/327.37 c GARBAGE COLLECT 326.49/327.37 c rational objective 106 346.85/347.76 c #Conflicts: 258000 | #Constraints: 26073 346.85/347.76 c #Conflicts: 259000 | #Constraints: 27073 346.85/347.76 c #Conflicts: 260000 | #Constraints: 28073 346.85/347.76 c #Conflicts: 261000 | #Constraints: 29073 346.85/347.76 c #Conflicts: 262000 | #Constraints: 30073 346.85/347.76 c #Conflicts: 263000 | #Constraints: 31073 346.85/347.76 c #Conflicts: 264000 | #Constraints: 32073 346.85/347.76 c #Conflicts: 265000 | #Constraints: 33073 346.85/347.76 c #Conflicts: 266000 | #Constraints: 34074 346.85/347.76 c #Conflicts: 267000 | #Constraints: 35074 346.85/347.76 c #Conflicts: 268000 | #Constraints: 36074 346.85/347.76 c #Conflicts: 269000 | #Constraints: 37074 346.85/347.76 c INPROCESSING 346.85/347.76 c GARBAGE COLLECT 346.85/347.76 c rational objective 106 359.61/360.56 c #Conflicts: 270000 | #Constraints: 23288 359.61/360.56 c #Conflicts: 271000 | #Constraints: 24288 359.61/360.56 c #Conflicts: 272000 | #Constraints: 25290 359.61/360.56 c #Conflicts: 273000 | #Constraints: 26291 359.61/360.56 c #Conflicts: 274000 | #Constraints: 27291 359.61/360.56 c #Conflicts: 275000 | #Constraints: 28292 359.61/360.56 c #Conflicts: 276000 | #Constraints: 29292 359.61/360.56 c #Conflicts: 277000 | #Constraints: 30292 359.61/360.56 c #Conflicts: 278000 | #Constraints: 31293 359.61/360.56 c #Conflicts: 279000 | #Constraints: 32293 359.61/360.56 c #Conflicts: 280000 | #Constraints: 33293 359.61/360.56 c #Conflicts: 281000 | #Constraints: 34293 359.61/360.56 c #Conflicts: 282000 | #Constraints: 35293 359.61/360.56 c INPROCESSING 359.61/360.56 c GARBAGE COLLECT 359.61/360.56 c rational objective 106 414.48/415.54 c #Conflicts: 283000 | #Constraints: 22713 414.48/415.54 c #Conflicts: 284000 | #Constraints: 23713 414.48/415.54 c #Conflicts: 285000 | #Constraints: 24713 414.48/415.54 c #Conflicts: 286000 | #Constraints: 25713 414.48/415.54 c #Conflicts: 287000 | #Constraints: 26713 414.48/415.54 c #Conflicts: 288000 | #Constraints: 27713 414.48/415.54 c #Conflicts: 289000 | #Constraints: 28713 414.48/415.54 c #Conflicts: 290000 | #Constraints: 29714 414.48/415.54 c #Conflicts: 291000 | #Constraints: 30714 414.48/415.54 c #Conflicts: 292000 | #Constraints: 31714 414.48/415.54 c #Conflicts: 293000 | #Constraints: 32714 414.48/415.54 c #Conflicts: 294000 | #Constraints: 33714 414.48/415.54 c #Conflicts: 295000 | #Constraints: 34715 414.48/415.54 c #Conflicts: 296000 | #Constraints: 35715 414.48/415.54 c #Conflicts: 297000 | #Constraints: 36715 414.48/415.54 c #Conflicts: 298000 | #Constraints: 37715 414.48/415.54 c #Conflicts: 299000 | #Constraints: 38715 414.48/415.54 c #Conflicts: 300000 | #Constraints: 39716 414.48/415.54 c #Conflicts: 301000 | #Constraints: 40716 414.48/415.54 c #Conflicts: 302000 | #Constraints: 41716 414.48/415.54 c #Conflicts: 303000 | #Constraints: 42716 414.48/415.54 c #Conflicts: 304000 | #Constraints: 43717 414.48/415.54 c #Conflicts: 305000 | #Constraints: 44717 414.48/415.54 c #Conflicts: 306000 | #Constraints: 45718 414.48/415.54 c #Conflicts: 307000 | #Constraints: 46718 414.48/415.54 c #Conflicts: 308000 | #Constraints: 47719 414.48/415.54 c #Conflicts: 309000 | #Constraints: 48719 414.48/415.54 c #Conflicts: 310000 | #Constraints: 49719 414.48/415.54 c #Conflicts: 311000 | #Constraints: 50719 414.48/415.54 c #Conflicts: 312000 | #Constraints: 51719 414.48/415.54 c #Conflicts: 313000 | #Constraints: 52719 414.48/415.54 c #Conflicts: 314000 | #Constraints: 53719 414.48/415.54 c #Conflicts: 315000 | #Constraints: 54719 414.48/415.54 c #Conflicts: 316000 | #Constraints: 55719 414.48/415.54 c #Conflicts: 317000 | #Constraints: 56719 414.48/415.54 c #Conflicts: 318000 | #Constraints: 57719 414.48/415.54 c #Conflicts: 319000 | #Constraints: 58719 414.48/415.54 c #Conflicts: 320000 | #Constraints: 59719 414.48/415.54 c #Conflicts: 321000 | #Constraints: 60719 414.48/415.54 c #Conflicts: 322000 | #Constraints: 61719 414.48/415.54 c INPROCESSING 414.48/415.54 c GARBAGE COLLECT 414.48/415.54 c rational objective 106 435.12/436.22 c #Conflicts: 323000 | #Constraints: 35701 435.12/436.22 c #Conflicts: 324000 | #Constraints: 36701 435.12/436.22 c #Conflicts: 325000 | #Constraints: 37701 435.12/436.22 c #Conflicts: 326000 | #Constraints: 38701 435.12/436.22 c #Conflicts: 327000 | #Constraints: 39701 435.12/436.22 c #Conflicts: 328000 | #Constraints: 40701 435.12/436.22 c #Conflicts: 329000 | #Constraints: 41701 435.12/436.22 c #Conflicts: 330000 | #Constraints: 42701 435.12/436.22 c #Conflicts: 331000 | #Constraints: 43701 435.12/436.22 c #Conflicts: 332000 | #Constraints: 44701 435.12/436.22 c #Conflicts: 333000 | #Constraints: 45702 435.12/436.22 c #Conflicts: 334000 | #Constraints: 46702 435.12/436.22 c #Conflicts: 335000 | #Constraints: 47702 435.12/436.22 c #Conflicts: 336000 | #Constraints: 48703 435.12/436.22 c INPROCESSING 435.12/436.22 c GARBAGE COLLECT 435.12/436.22 c rational objective 106 450.68/451.86 c #Conflicts: 337000 | #Constraints: 29397 450.68/451.86 c #Conflicts: 338000 | #Constraints: 30397 450.68/451.86 c #Conflicts: 339000 | #Constraints: 31398 450.68/451.86 c #Conflicts: 340000 | #Constraints: 32398 450.68/451.86 c #Conflicts: 341000 | #Constraints: 33398 450.68/451.86 c #Conflicts: 342000 | #Constraints: 34398 450.68/451.86 c #Conflicts: 343000 | #Constraints: 35398 450.68/451.86 c #Conflicts: 344000 | #Constraints: 36398 450.68/451.86 c #Conflicts: 345000 | #Constraints: 37398 450.68/451.86 c #Conflicts: 346000 | #Constraints: 38398 450.68/451.86 c #Conflicts: 347000 | #Constraints: 39398 450.68/451.86 c #Conflicts: 348000 | #Constraints: 40398 450.68/451.86 c #Conflicts: 349000 | #Constraints: 41398 450.68/451.86 c INPROCESSING 450.68/451.86 c GARBAGE COLLECT 450.68/451.86 c rational objective 106 472.34/473.54 c #Conflicts: 350000 | #Constraints: 25415 472.34/473.54 c #Conflicts: 351000 | #Constraints: 26415 472.34/473.54 c #Conflicts: 352000 | #Constraints: 27415 472.34/473.54 c #Conflicts: 353000 | #Constraints: 28416 472.34/473.54 c #Conflicts: 354000 | #Constraints: 29416 472.34/473.54 c #Conflicts: 355000 | #Constraints: 30416 472.34/473.54 c #Conflicts: 356000 | #Constraints: 31416 472.34/473.54 c #Conflicts: 357000 | #Constraints: 32416 472.34/473.54 c #Conflicts: 358000 | #Constraints: 33416 472.34/473.54 c #Conflicts: 359000 | #Constraints: 34416 472.34/473.54 c #Conflicts: 360000 | #Constraints: 35417 472.34/473.54 c #Conflicts: 361000 | #Constraints: 36417 472.34/473.54 c #Conflicts: 362000 | #Constraints: 37417 472.34/473.54 c #Conflicts: 363000 | #Constraints: 38417 472.34/473.54 c INPROCESSING 472.34/473.54 c GARBAGE COLLECT 472.34/473.54 c rational objective 106 537.28/538.68 c #Conflicts: 364000 | #Constraints: 23895 537.28/538.68 c #Conflicts: 365000 | #Constraints: 24895 537.28/538.68 c #Conflicts: 366000 | #Constraints: 25895 537.28/538.68 c #Conflicts: 367000 | #Constraints: 26895 537.28/538.68 c #Conflicts: 368000 | #Constraints: 27895 537.28/538.68 c #Conflicts: 369000 | #Constraints: 28895 537.28/538.68 c #Conflicts: 370000 | #Constraints: 29895 537.28/538.68 c #Conflicts: 371000 | #Constraints: 30895 537.28/538.68 c #Conflicts: 372000 | #Constraints: 31895 537.28/538.68 c #Conflicts: 373000 | #Constraints: 32895 537.28/538.68 c #Conflicts: 374000 | #Constraints: 33895 537.28/538.68 c #Conflicts: 375000 | #Constraints: 34895 537.28/538.68 c #Conflicts: 376000 | #Constraints: 35896 537.28/538.68 c #Conflicts: 377000 | #Constraints: 36896 537.28/538.68 c #Conflicts: 378000 | #Constraints: 37896 537.28/538.68 c #Conflicts: 379000 | #Constraints: 38896 537.28/538.68 c #Conflicts: 380000 | #Constraints: 39896 537.28/538.68 c #Conflicts: 381000 | #Constraints: 40896 537.28/538.68 c #Conflicts: 382000 | #Constraints: 41896 537.28/538.68 c #Conflicts: 383000 | #Constraints: 42896 537.28/538.68 c #Conflicts: 384000 | #Constraints: 43896 537.28/538.68 c #Conflicts: 385000 | #Constraints: 44896 537.28/538.68 c #Conflicts: 386000 | #Constraints: 45897 537.28/538.68 c #Conflicts: 387000 | #Constraints: 46897 537.28/538.68 c #Conflicts: 388000 | #Constraints: 47897 537.28/538.68 c #Conflicts: 389000 | #Constraints: 48897 537.28/538.68 c #Conflicts: 390000 | #Constraints: 49897 537.28/538.68 c #Conflicts: 391000 | #Constraints: 50897 537.28/538.68 c #Conflicts: 392000 | #Constraints: 51897 537.28/538.68 c #Conflicts: 393000 | #Constraints: 52897 537.28/538.68 c #Conflicts: 394000 | #Constraints: 53897 537.28/538.68 c #Conflicts: 395000 | #Constraints: 54897 537.28/538.68 c #Conflicts: 396000 | #Constraints: 55897 537.28/538.68 c #Conflicts: 397000 | #Constraints: 56897 537.28/538.68 c #Conflicts: 398000 | #Constraints: 57897 537.28/538.68 c #Conflicts: 399000 | #Constraints: 58897 537.28/538.68 c #Conflicts: 400000 | #Constraints: 59898 537.28/538.68 c #Conflicts: 401000 | #Constraints: 60898 537.28/538.68 c #Conflicts: 402000 | #Constraints: 61898 537.28/538.68 c #Conflicts: 403000 | #Constraints: 62898 537.28/538.68 c #Conflicts: 404000 | #Constraints: 63898 537.28/538.68 c #Conflicts: 405000 | #Constraints: 64898 537.28/538.68 c #Conflicts: 406000 | #Constraints: 65898 537.28/538.68 c #Conflicts: 407000 | #Constraints: 66898 537.28/538.68 c #Conflicts: 408000 | #Constraints: 67898 537.28/538.68 c #Conflicts: 409000 | #Constraints: 68898 537.28/538.68 c INPROCESSING 537.28/538.68 c GARBAGE COLLECT 537.28/538.68 c rational objective 106 560.31/561.70 c #Conflicts: 410000 | #Constraints: 39308 560.31/561.70 c #Conflicts: 411000 | #Constraints: 40308 560.31/561.70 c #Conflicts: 412000 | #Constraints: 41308 560.31/561.70 c #Conflicts: 413000 | #Constraints: 42308 560.31/561.70 c #Conflicts: 414000 | #Constraints: 43308 560.31/561.70 c #Conflicts: 415000 | #Constraints: 44308 560.31/561.70 c #Conflicts: 416000 | #Constraints: 45308 560.31/561.70 c #Conflicts: 417000 | #Constraints: 46308 560.31/561.70 c #Conflicts: 418000 | #Constraints: 47308 560.31/561.70 c #Conflicts: 419000 | #Constraints: 48308 560.31/561.70 c #Conflicts: 420000 | #Constraints: 49309 560.31/561.70 c #Conflicts: 421000 | #Constraints: 50309 560.31/561.70 c #Conflicts: 422000 | #Constraints: 51309 560.31/561.70 c #Conflicts: 423000 | #Constraints: 52309 560.31/561.70 c #Conflicts: 424000 | #Constraints: 53309 560.31/561.70 c INPROCESSING 560.31/561.70 c GARBAGE COLLECT 560.31/561.70 c rational objective 106 583.37/584.88 c #Conflicts: 425000 | #Constraints: 31422 583.37/584.88 c #Conflicts: 426000 | #Constraints: 32422 583.37/584.88 c #Conflicts: 427000 | #Constraints: 33422 583.37/584.88 c #Conflicts: 428000 | #Constraints: 34422 583.37/584.88 c #Conflicts: 429000 | #Constraints: 35422 583.37/584.88 c #Conflicts: 430000 | #Constraints: 36422 583.37/584.88 c #Conflicts: 431000 | #Constraints: 37422 583.37/584.88 c #Conflicts: 432000 | #Constraints: 38422 583.37/584.88 c #Conflicts: 433000 | #Constraints: 39422 583.37/584.88 c #Conflicts: 434000 | #Constraints: 40422 583.37/584.88 c #Conflicts: 435000 | #Constraints: 41422 583.37/584.88 c #Conflicts: 436000 | #Constraints: 42422 583.37/584.88 c #Conflicts: 437000 | #Constraints: 43422 583.37/584.88 c #Conflicts: 438000 | #Constraints: 44423 583.37/584.88 c #Conflicts: 439000 | #Constraints: 45423 583.37/584.88 c #Conflicts: 440000 | #Constraints: 46423 583.37/584.88 c INPROCESSING 583.37/584.88 c GARBAGE COLLECT 583.37/584.88 c rational objective 106 606.20/607.78 c #Conflicts: 441000 | #Constraints: 28179 606.20/607.78 c #Conflicts: 442000 | #Constraints: 29179 606.20/607.78 c #Conflicts: 443000 | #Constraints: 30179 606.20/607.78 c #Conflicts: 444000 | #Constraints: 31179 606.20/607.78 c #Conflicts: 445000 | #Constraints: 32179 606.20/607.78 c #Conflicts: 446000 | #Constraints: 33179 606.20/607.78 c #Conflicts: 447000 | #Constraints: 34179 606.20/607.78 c #Conflicts: 448000 | #Constraints: 35179 606.20/607.78 c #Conflicts: 449000 | #Constraints: 36179 606.20/607.78 c #Conflicts: 450000 | #Constraints: 37179 606.20/607.78 c #Conflicts: 451000 | #Constraints: 38179 606.20/607.78 c #Conflicts: 452000 | #Constraints: 39179 606.20/607.78 c #Conflicts: 453000 | #Constraints: 40179 606.20/607.78 c #Conflicts: 454000 | #Constraints: 41179 606.20/607.78 c #Conflicts: 455000 | #Constraints: 42180 606.20/607.78 c #Conflicts: 456000 | #Constraints: 43180 606.20/607.78 c INPROCESSING 606.20/607.78 c GARBAGE COLLECT 606.20/607.78 c rational objective 106 717.03/718.81 c #Conflicts: 457000 | #Constraints: 26729 717.03/718.81 c #Conflicts: 458000 | #Constraints: 27730 717.03/718.81 c #Conflicts: 459000 | #Constraints: 28730 717.03/718.81 c #Conflicts: 460000 | #Constraints: 29730 717.03/718.81 c #Conflicts: 461000 | #Constraints: 30730 717.03/718.81 c #Conflicts: 462000 | #Constraints: 31730 717.03/718.81 c #Conflicts: 463000 | #Constraints: 32730 717.03/718.81 c #Conflicts: 464000 | #Constraints: 33730 717.03/718.81 c #Conflicts: 465000 | #Constraints: 34730 717.03/718.81 c #Conflicts: 466000 | #Constraints: 35730 717.03/718.81 c #Conflicts: 467000 | #Constraints: 36730 717.03/718.81 c #Conflicts: 468000 | #Constraints: 37730 717.03/718.81 c #Conflicts: 469000 | #Constraints: 38730 717.03/718.81 c #Conflicts: 470000 | #Constraints: 39730 717.03/718.81 c #Conflicts: 471000 | #Constraints: 40730 717.03/718.81 c #Conflicts: 472000 | #Constraints: 41730 717.03/718.81 c #Conflicts: 473000 | #Constraints: 42730 717.03/718.81 c #Conflicts: 474000 | #Constraints: 43730 717.03/718.81 c #Conflicts: 475000 | #Constraints: 44730 717.03/718.81 c #Conflicts: 476000 | #Constraints: 45730 717.03/718.81 c #Conflicts: 477000 | #Constraints: 46731 717.03/718.81 c #Conflicts: 478000 | #Constraints: 47731 717.03/718.81 c #Conflicts: 479000 | #Constraints: 48731 717.03/718.81 c #Conflicts: 480000 | #Constraints: 49731 717.03/718.81 c #Conflicts: 481000 | #Constraints: 50731 717.03/718.81 c #Conflicts: 482000 | #Constraints: 51731 717.03/718.81 c #Conflicts: 483000 | #Constraints: 52732 717.03/718.81 c #Conflicts: 484000 | #Constraints: 53733 717.03/718.81 c #Conflicts: 485000 | #Constraints: 54733 717.03/718.81 c #Conflicts: 486000 | #Constraints: 55733 717.03/718.81 c #Conflicts: 487000 | #Constraints: 56733 717.03/718.81 c #Conflicts: 488000 | #Constraints: 57733 717.03/718.81 c #Conflicts: 489000 | #Constraints: 58733 717.03/718.81 c #Conflicts: 490000 | #Constraints: 59733 717.03/718.81 c #Conflicts: 491000 | #Constraints: 60733 717.03/718.81 c #Conflicts: 492000 | #Constraints: 61733 717.03/718.81 c #Conflicts: 493000 | #Constraints: 62733 717.03/718.81 c #Conflicts: 494000 | #Constraints: 63733 717.03/718.81 c #Conflicts: 495000 | #Constraints: 64733 717.03/718.81 c #Conflicts: 496000 | #Constraints: 65733 717.03/718.81 c #Conflicts: 497000 | #Constraints: 66733 717.03/718.81 c #Conflicts: 498000 | #Constraints: 67733 717.03/718.81 c #Conflicts: 499000 | #Constraints: 68734 717.03/718.81 c #Conflicts: 500000 | #Constraints: 69734 717.03/718.81 c #Conflicts: 501000 | #Constraints: 70734 717.03/718.81 c #Conflicts: 502000 | #Constraints: 71734 717.03/718.81 c #Conflicts: 503000 | #Constraints: 72734 717.03/718.81 c #Conflicts: 504000 | #Constraints: 73734 717.03/718.81 c #Conflicts: 505000 | #Constraints: 74734 717.03/718.81 c #Conflicts: 506000 | #Constraints: 75734 717.03/718.81 c #Conflicts: 507000 | #Constraints: 76734 717.03/718.81 c INPROCESSING 717.03/718.81 c GARBAGE COLLECT 717.03/718.81 c rational objective 106 741.57/743.47 c #Conflicts: 508000 | #Constraints: 43505 741.57/743.47 c #Conflicts: 509000 | #Constraints: 44505 741.57/743.47 c #Conflicts: 510000 | #Constraints: 45505 741.57/743.47 c #Conflicts: 511000 | #Constraints: 46505 741.57/743.47 c #Conflicts: 512000 | #Constraints: 47505 741.57/743.47 c #Conflicts: 513000 | #Constraints: 48506 741.57/743.47 c #Conflicts: 514000 | #Constraints: 49507 741.57/743.47 c #Conflicts: 515000 | #Constraints: 50507 741.57/743.47 c #Conflicts: 516000 | #Constraints: 51507 741.57/743.47 c #Conflicts: 517000 | #Constraints: 52507 741.57/743.47 c #Conflicts: 518000 | #Constraints: 53507 741.57/743.47 c #Conflicts: 519000 | #Constraints: 54507 741.57/743.47 c #Conflicts: 520000 | #Constraints: 55507 741.57/743.47 c #Conflicts: 521000 | #Constraints: 56507 741.57/743.47 c #Conflicts: 522000 | #Constraints: 57507 741.57/743.47 c #Conflicts: 523000 | #Constraints: 58507 741.57/743.47 c #Conflicts: 524000 | #Constraints: 59507 741.57/743.47 c INPROCESSING 741.57/743.47 c GARBAGE COLLECT 741.57/743.47 c rational objective 106 764.62/766.59 c #Conflicts: 525000 | #Constraints: 34955 764.62/766.59 c #Conflicts: 526000 | #Constraints: 35955 764.62/766.59 c #Conflicts: 527000 | #Constraints: 36955 764.62/766.59 c #Conflicts: 528000 | #Constraints: 37956 764.62/766.59 c #Conflicts: 529000 | #Constraints: 38957 764.62/766.59 c #Conflicts: 530000 | #Constraints: 39958 764.62/766.59 c #Conflicts: 531000 | #Constraints: 40958 764.62/766.59 c #Conflicts: 532000 | #Constraints: 41958 764.62/766.59 c #Conflicts: 533000 | #Constraints: 42958 764.62/766.59 c #Conflicts: 534000 | #Constraints: 43959 764.62/766.59 c #Conflicts: 535000 | #Constraints: 44959 764.62/766.59 c #Conflicts: 536000 | #Constraints: 45959 764.62/766.59 c #Conflicts: 537000 | #Constraints: 46959 764.62/766.59 c #Conflicts: 538000 | #Constraints: 47959 764.62/766.59 c #Conflicts: 539000 | #Constraints: 48959 764.62/766.59 c #Conflicts: 540000 | #Constraints: 49959 764.62/766.59 c #Conflicts: 541000 | #Constraints: 50959 764.62/766.59 c INPROCESSING 764.62/766.59 c GARBAGE COLLECT 764.62/766.59 c rational objective 106 788.96/790.91 c #Conflicts: 542000 | #Constraints: 30514 788.96/790.91 c #Conflicts: 543000 | #Constraints: 31514 788.96/790.91 c #Conflicts: 544000 | #Constraints: 32514 788.96/790.91 c #Conflicts: 545000 | #Constraints: 33514 788.96/790.91 c #Conflicts: 546000 | #Constraints: 34514 788.96/790.91 c #Conflicts: 547000 | #Constraints: 35514 788.96/790.91 c #Conflicts: 548000 | #Constraints: 36514 788.96/790.91 c #Conflicts: 549000 | #Constraints: 37514 788.96/790.91 c #Conflicts: 550000 | #Constraints: 38514 788.96/790.91 c #Conflicts: 551000 | #Constraints: 39514 788.96/790.91 c #Conflicts: 552000 | #Constraints: 40514 788.96/790.91 c #Conflicts: 553000 | #Constraints: 41514 788.96/790.91 c #Conflicts: 554000 | #Constraints: 42515 788.96/790.91 c #Conflicts: 555000 | #Constraints: 43515 788.96/790.91 c #Conflicts: 556000 | #Constraints: 44515 788.96/790.91 c #Conflicts: 557000 | #Constraints: 45515 788.96/790.91 c #Conflicts: 558000 | #Constraints: 46515 788.96/790.91 c INPROCESSING 788.96/790.91 c GARBAGE COLLECT 788.96/790.91 c rational objective 106 919.03/921.31 c #Conflicts: 559000 | #Constraints: 28074 919.03/921.31 c #Conflicts: 560000 | #Constraints: 29074 919.03/921.31 c #Conflicts: 561000 | #Constraints: 30074 919.03/921.31 c #Conflicts: 562000 | #Constraints: 31075 919.03/921.31 c #Conflicts: 563000 | #Constraints: 32075 919.03/921.31 c #Conflicts: 564000 | #Constraints: 33075 919.03/921.31 c #Conflicts: 565000 | #Constraints: 34075 919.03/921.31 c #Conflicts: 566000 | #Constraints: 35075 919.03/921.31 c #Conflicts: 567000 | #Constraints: 36075 919.03/921.31 c #Conflicts: 568000 | #Constraints: 37075 919.03/921.31 c #Conflicts: 569000 | #Constraints: 38076 919.03/921.31 c #Conflicts: 570000 | #Constraints: 39076 919.03/921.31 c #Conflicts: 571000 | #Constraints: 40076 919.03/921.31 c #Conflicts: 572000 | #Constraints: 41076 919.03/921.31 c #Conflicts: 573000 | #Constraints: 42076 919.03/921.31 c #Conflicts: 574000 | #Constraints: 43076 919.03/921.31 c #Conflicts: 575000 | #Constraints: 44076 919.03/921.31 c #Conflicts: 576000 | #Constraints: 45076 919.03/921.31 c #Conflicts: 577000 | #Constraints: 46076 919.03/921.31 c #Conflicts: 578000 | #Constraints: 47076 919.03/921.32 c #Conflicts: 579000 | #Constraints: 48076 919.03/921.32 c #Conflicts: 580000 | #Constraints: 49076 919.03/921.32 c #Conflicts: 581000 | #Constraints: 50076 919.03/921.32 c #Conflicts: 582000 | #Constraints: 51076 919.03/921.32 c #Conflicts: 583000 | #Constraints: 52076 919.03/921.32 c #Conflicts: 584000 | #Constraints: 53076 919.03/921.32 c #Conflicts: 585000 | #Constraints: 54076 919.03/921.32 c #Conflicts: 586000 | #Constraints: 55076 919.03/921.32 c #Conflicts: 587000 | #Constraints: 56076 919.03/921.32 c #Conflicts: 588000 | #Constraints: 57076 919.03/921.32 c #Conflicts: 589000 | #Constraints: 58076 919.03/921.32 c #Conflicts: 590000 | #Constraints: 59076 919.03/921.32 c #Conflicts: 591000 | #Constraints: 60076 919.03/921.32 c #Conflicts: 592000 | #Constraints: 61076 919.03/921.32 c #Conflicts: 593000 | #Constraints: 62076 919.03/921.32 c #Conflicts: 594000 | #Constraints: 63076 919.03/921.32 c #Conflicts: 595000 | #Constraints: 64076 919.03/921.32 c #Conflicts: 596000 | #Constraints: 65076 919.03/921.32 c #Conflicts: 597000 | #Constraints: 66077 919.03/921.32 c #Conflicts: 598000 | #Constraints: 67077 919.03/921.32 c #Conflicts: 599000 | #Constraints: 68077 919.03/921.32 c #Conflicts: 600000 | #Constraints: 69077 919.03/921.32 c #Conflicts: 601000 | #Constraints: 70077 919.03/921.32 c #Conflicts: 602000 | #Constraints: 71077 919.03/921.32 c #Conflicts: 603000 | #Constraints: 72078 919.03/921.32 c #Conflicts: 604000 | #Constraints: 73078 919.03/921.32 c #Conflicts: 605000 | #Constraints: 74078 919.03/921.32 c #Conflicts: 606000 | #Constraints: 75078 919.03/921.32 c #Conflicts: 607000 | #Constraints: 76078 919.03/921.32 c #Conflicts: 608000 | #Constraints: 77078 919.03/921.32 c #Conflicts: 609000 | #Constraints: 78078 919.03/921.32 c #Conflicts: 610000 | #Constraints: 79079 919.03/921.32 c #Conflicts: 611000 | #Constraints: 80079 919.03/921.32 c #Conflicts: 612000 | #Constraints: 81079 919.03/921.32 c #Conflicts: 613000 | #Constraints: 82079 919.03/921.32 c #Conflicts: 614000 | #Constraints: 83079 919.03/921.32 c INPROCESSING 919.03/921.32 c GARBAGE COLLECT 919.03/921.32 c rational objective 106 954.44/956.83 c #Conflicts: 615000 | #Constraints: 46207 954.44/956.83 c #Conflicts: 616000 | #Constraints: 47207 954.44/956.83 c #Conflicts: 617000 | #Constraints: 48207 954.44/956.83 c #Conflicts: 618000 | #Constraints: 49207 954.44/956.83 c #Conflicts: 619000 | #Constraints: 50207 954.44/956.83 c #Conflicts: 620000 | #Constraints: 51207 954.44/956.83 c #Conflicts: 621000 | #Constraints: 52207 954.44/956.83 c #Conflicts: 622000 | #Constraints: 53207 954.44/956.83 c #Conflicts: 623000 | #Constraints: 54208 954.44/956.83 c #Conflicts: 624000 | #Constraints: 55208 954.44/956.83 c #Conflicts: 625000 | #Constraints: 56208 954.44/956.83 c #Conflicts: 626000 | #Constraints: 57208 954.44/956.83 c #Conflicts: 627000 | #Constraints: 58208 954.44/956.83 c #Conflicts: 628000 | #Constraints: 59208 954.44/956.83 c #Conflicts: 629000 | #Constraints: 60208 954.44/956.83 c #Conflicts: 630000 | #Constraints: 61208 954.44/956.83 c #Conflicts: 631000 | #Constraints: 62208 954.44/956.83 c #Conflicts: 632000 | #Constraints: 63209 954.44/956.83 c #Conflicts: 633000 | #Constraints: 64209 954.44/956.83 c INPROCESSING 954.44/956.83 c GARBAGE COLLECT 954.44/956.83 c rational objective 106 975.49/977.97 c #Conflicts: 634000 | #Constraints: 36976 975.49/977.97 c #Conflicts: 635000 | #Constraints: 37976 975.49/977.97 c #Conflicts: 636000 | #Constraints: 38976 975.49/977.97 c #Conflicts: 637000 | #Constraints: 39976 975.49/977.97 c #Conflicts: 638000 | #Constraints: 40976 975.49/977.97 c #Conflicts: 639000 | #Constraints: 41976 975.49/977.97 c #Conflicts: 640000 | #Constraints: 42976 975.49/977.97 c #Conflicts: 641000 | #Constraints: 43976 975.49/977.97 c #Conflicts: 642000 | #Constraints: 44976 975.49/977.97 c #Conflicts: 643000 | #Constraints: 45976 975.49/977.97 c #Conflicts: 644000 | #Constraints: 46976 975.49/977.97 c #Conflicts: 645000 | #Constraints: 47976 975.49/977.97 c #Conflicts: 646000 | #Constraints: 48976 975.49/977.97 c #Conflicts: 647000 | #Constraints: 49976 975.49/977.97 c #Conflicts: 648000 | #Constraints: 50976 975.49/977.97 c #Conflicts: 649000 | #Constraints: 51976 975.49/977.97 c #Conflicts: 650000 | #Constraints: 52976 975.49/977.97 c #Conflicts: 651000 | #Constraints: 53976 975.49/977.97 c #Conflicts: 652000 | #Constraints: 54976 975.49/977.97 c INPROCESSING 975.49/977.97 c GARBAGE COLLECT 975.49/977.97 c rational objective 106 1003.22/1005.79 c #Conflicts: 653000 | #Constraints: 32427 1003.22/1005.79 c #Conflicts: 654000 | #Constraints: 33427 1003.22/1005.79 c #Conflicts: 655000 | #Constraints: 34427 1003.22/1005.79 c #Conflicts: 656000 | #Constraints: 35427 1003.22/1005.79 c #Conflicts: 657000 | #Constraints: 36427 1003.22/1005.79 c #Conflicts: 658000 | #Constraints: 37427 1003.22/1005.79 c #Conflicts: 659000 | #Constraints: 38427 1003.22/1005.79 c #Conflicts: 660000 | #Constraints: 39427 1003.22/1005.79 c #Conflicts: 661000 | #Constraints: 40427 1003.22/1005.79 c #Conflicts: 662000 | #Constraints: 41427 1003.22/1005.79 c #Conflicts: 663000 | #Constraints: 42428 1003.22/1005.79 c #Conflicts: 664000 | #Constraints: 43428 1003.22/1005.79 c #Conflicts: 665000 | #Constraints: 44429 1003.22/1005.79 c #Conflicts: 666000 | #Constraints: 45429 1003.22/1005.79 c #Conflicts: 667000 | #Constraints: 46429 1003.22/1005.79 c #Conflicts: 668000 | #Constraints: 47430 1003.22/1005.79 c #Conflicts: 669000 | #Constraints: 48430 1003.22/1005.79 c #Conflicts: 670000 | #Constraints: 49430 1003.22/1005.79 c #Conflicts: 671000 | #Constraints: 50430 1003.22/1005.79 c INPROCESSING 1003.22/1005.79 c GARBAGE COLLECT 1003.22/1005.79 c rational objective 106 1141.18/1144.11 c #Conflicts: 672000 | #Constraints: 30134 1141.18/1144.11 c #Conflicts: 673000 | #Constraints: 31134 1141.18/1144.11 c #Conflicts: 674000 | #Constraints: 32134 1141.18/1144.11 c #Conflicts: 675000 | #Constraints: 33134 1141.18/1144.11 c #Conflicts: 676000 | #Constraints: 34134 1141.18/1144.11 c #Conflicts: 677000 | #Constraints: 35134 1141.18/1144.11 c #Conflicts: 678000 | #Constraints: 36134 1141.18/1144.11 c #Conflicts: 679000 | #Constraints: 37134 1141.18/1144.11 c #Conflicts: 680000 | #Constraints: 38134 1141.18/1144.11 c #Conflicts: 681000 | #Constraints: 39135 1141.18/1144.11 c #Conflicts: 682000 | #Constraints: 40135 1141.18/1144.11 c #Conflicts: 683000 | #Constraints: 41135 1141.18/1144.11 c #Conflicts: 684000 | #Constraints: 42135 1141.18/1144.11 c #Conflicts: 685000 | #Constraints: 43135 1141.18/1144.11 c #Conflicts: 686000 | #Constraints: 44135 1141.18/1144.11 c #Conflicts: 687000 | #Constraints: 45135 1141.18/1144.11 c #Conflicts: 688000 | #Constraints: 46135 1141.18/1144.11 c #Conflicts: 689000 | #Constraints: 47135 1141.18/1144.11 c #Conflicts: 690000 | #Constraints: 48135 1141.18/1144.11 c #Conflicts: 691000 | #Constraints: 49135 1141.18/1144.11 c #Conflicts: 692000 | #Constraints: 50135 1141.18/1144.11 c #Conflicts: 693000 | #Constraints: 51135 1141.18/1144.11 c #Conflicts: 694000 | #Constraints: 52135 1141.18/1144.11 c #Conflicts: 695000 | #Constraints: 53136 1141.18/1144.11 c #Conflicts: 696000 | #Constraints: 54136 1141.18/1144.11 c #Conflicts: 697000 | #Constraints: 55136 1141.18/1144.11 c #Conflicts: 698000 | #Constraints: 56136 1141.18/1144.11 c #Conflicts: 699000 | #Constraints: 57136 1141.18/1144.11 c #Conflicts: 700000 | #Constraints: 58136 1141.18/1144.11 c #Conflicts: 701000 | #Constraints: 59136 1141.18/1144.11 c #Conflicts: 702000 | #Constraints: 60136 1141.18/1144.11 c #Conflicts: 703000 | #Constraints: 61136 1141.18/1144.11 c #Conflicts: 704000 | #Constraints: 62136 1141.18/1144.11 c #Conflicts: 705000 | #Constraints: 63136 1141.18/1144.11 c #Conflicts: 706000 | #Constraints: 64136 1141.18/1144.11 c #Conflicts: 707000 | #Constraints: 65136 1141.18/1144.11 c #Conflicts: 708000 | #Constraints: 66136 1141.18/1144.11 c #Conflicts: 709000 | #Constraints: 67136 1141.18/1144.11 c #Conflicts: 710000 | #Constraints: 68136 1141.18/1144.11 c #Conflicts: 711000 | #Constraints: 69136 1141.18/1144.11 c #Conflicts: 712000 | #Constraints: 70136 1141.18/1144.11 c #Conflicts: 713000 | #Constraints: 71136 1141.18/1144.11 c #Conflicts: 714000 | #Constraints: 72136 1141.18/1144.11 c #Conflicts: 715000 | #Constraints: 73137 1141.18/1144.11 c #Conflicts: 716000 | #Constraints: 74137 1141.18/1144.11 c #Conflicts: 717000 | #Constraints: 75137 1141.18/1144.11 c #Conflicts: 718000 | #Constraints: 76137 1141.18/1144.11 c #Conflicts: 719000 | #Constraints: 77137 1141.18/1144.11 c #Conflicts: 720000 | #Constraints: 78137 1141.18/1144.11 c #Conflicts: 721000 | #Constraints: 79137 1141.18/1144.11 c #Conflicts: 722000 | #Constraints: 80137 1141.18/1144.11 c #Conflicts: 723000 | #Constraints: 81137 1141.18/1144.11 c #Conflicts: 724000 | #Constraints: 82137 1141.18/1144.11 c #Conflicts: 725000 | #Constraints: 83137 1141.18/1144.11 c #Conflicts: 726000 | #Constraints: 84138 1141.18/1144.11 c #Conflicts: 727000 | #Constraints: 85138 1141.18/1144.11 c #Conflicts: 728000 | #Constraints: 86138 1141.18/1144.11 c #Conflicts: 729000 | #Constraints: 87138 1141.18/1144.11 c #Conflicts: 730000 | #Constraints: 88138 1141.18/1144.11 c #Conflicts: 731000 | #Constraints: 89138 1141.18/1144.11 c #Conflicts: 732000 | #Constraints: 90138 1141.18/1144.11 c #Conflicts: 733000 | #Constraints: 91138 1141.18/1144.11 c INPROCESSING 1141.18/1144.11 c GARBAGE COLLECT 1141.18/1144.11 c rational objective 106 1190.75/1193.80 c #Conflicts: 734000 | #Constraints: 50644 1190.75/1193.80 c #Conflicts: 735000 | #Constraints: 51644 1190.75/1193.80 c #Conflicts: 736000 | #Constraints: 52644 1190.75/1193.80 c #Conflicts: 737000 | #Constraints: 53645 1190.75/1193.80 c #Conflicts: 738000 | #Constraints: 54645 1190.75/1193.80 c #Conflicts: 739000 | #Constraints: 55645 1190.75/1193.80 c #Conflicts: 740000 | #Constraints: 56645 1190.75/1193.80 c #Conflicts: 741000 | #Constraints: 57645 1190.75/1193.80 c #Conflicts: 742000 | #Constraints: 58645 1190.75/1193.80 c #Conflicts: 743000 | #Constraints: 59645 1190.75/1193.80 c #Conflicts: 744000 | #Constraints: 60645 1190.75/1193.80 c #Conflicts: 745000 | #Constraints: 61645 1190.75/1193.80 c #Conflicts: 746000 | #Constraints: 62645 1190.75/1193.80 c #Conflicts: 747000 | #Constraints: 63645 1190.75/1193.80 c #Conflicts: 748000 | #Constraints: 64645 1190.75/1193.80 c #Conflicts: 749000 | #Constraints: 65645 1190.75/1193.80 c #Conflicts: 750000 | #Constraints: 66645 1190.75/1193.80 c #Conflicts: 751000 | #Constraints: 67645 1190.75/1193.80 c #Conflicts: 752000 | #Constraints: 68645 1190.75/1193.80 c #Conflicts: 753000 | #Constraints: 69645 1190.75/1193.80 c INPROCESSING 1190.75/1193.80 c GARBAGE COLLECT 1190.75/1193.80 c rational objective 106 1224.76/1227.84 c #Conflicts: 754000 | #Constraints: 39793 1224.76/1227.84 c #Conflicts: 755000 | #Constraints: 40793 1224.76/1227.84 c #Conflicts: 756000 | #Constraints: 41794 1224.76/1227.84 c #Conflicts: 757000 | #Constraints: 42794 1224.76/1227.84 c #Conflicts: 758000 | #Constraints: 43795 1224.76/1227.84 c #Conflicts: 759000 | #Constraints: 44795 1224.76/1227.84 c #Conflicts: 760000 | #Constraints: 45795 1224.76/1227.84 c #Conflicts: 761000 | #Constraints: 46795 1224.76/1227.84 c #Conflicts: 762000 | #Constraints: 47795 1224.76/1227.84 c #Conflicts: 763000 | #Constraints: 48796 1224.76/1227.84 c #Conflicts: 764000 | #Constraints: 49796 1224.76/1227.84 c #Conflicts: 765000 | #Constraints: 50796 1224.76/1227.84 c #Conflicts: 766000 | #Constraints: 51796 1224.76/1227.84 c #Conflicts: 767000 | #Constraints: 52797 1224.76/1227.84 c #Conflicts: 768000 | #Constraints: 53798 1224.76/1227.84 c #Conflicts: 769000 | #Constraints: 54798 1224.76/1227.84 c #Conflicts: 770000 | #Constraints: 55798 1224.76/1227.84 c #Conflicts: 771000 | #Constraints: 56798 1224.76/1227.84 c #Conflicts: 772000 | #Constraints: 57798 1224.76/1227.84 c #Conflicts: 773000 | #Constraints: 58798 1224.76/1227.84 c #Conflicts: 774000 | #Constraints: 59798 1224.76/1227.84 c INPROCESSING 1224.76/1227.84 c GARBAGE COLLECT 1224.76/1227.84 c rational objective 106 1255.89/1259.09 c #Conflicts: 775000 | #Constraints: 34947 1255.89/1259.09 c #Conflicts: 776000 | #Constraints: 35947 1255.89/1259.09 c #Conflicts: 777000 | #Constraints: 36947 1255.89/1259.09 c #Conflicts: 778000 | #Constraints: 37947 1255.89/1259.09 c #Conflicts: 779000 | #Constraints: 38947 1255.89/1259.09 c #Conflicts: 780000 | #Constraints: 39947 1255.89/1259.09 c #Conflicts: 781000 | #Constraints: 40947 1255.89/1259.09 c #Conflicts: 782000 | #Constraints: 41947 1255.89/1259.09 c #Conflicts: 783000 | #Constraints: 42947 1255.89/1259.09 c #Conflicts: 784000 | #Constraints: 43947 1255.89/1259.09 c #Conflicts: 785000 | #Constraints: 44947 1255.89/1259.09 c #Conflicts: 786000 | #Constraints: 45947 1255.89/1259.09 c #Conflicts: 787000 | #Constraints: 46947 1255.89/1259.09 c #Conflicts: 788000 | #Constraints: 47947 1255.89/1259.09 c #Conflicts: 789000 | #Constraints: 48947 1255.89/1259.09 c #Conflicts: 790000 | #Constraints: 49948 1255.89/1259.09 c #Conflicts: 791000 | #Constraints: 50948 1255.89/1259.09 c #Conflicts: 792000 | #Constraints: 51948 1255.89/1259.09 c #Conflicts: 793000 | #Constraints: 52949 1255.89/1259.09 c #Conflicts: 794000 | #Constraints: 53949 1255.89/1259.09 c #Conflicts: 795000 | #Constraints: 54949 1255.89/1259.09 c INPROCESSING 1255.89/1259.09 c GARBAGE COLLECT 1255.89/1259.09 c rational objective 106 1393.94/1397.44 c #Conflicts: 796000 | #Constraints: 32736 1393.94/1397.44 c #Conflicts: 797000 | #Constraints: 33736 1393.94/1397.44 c #Conflicts: 798000 | #Constraints: 34737 1393.94/1397.44 c #Conflicts: 799000 | #Constraints: 35737 1393.94/1397.44 c #Conflicts: 800000 | #Constraints: 36737 1393.94/1397.44 c #Conflicts: 801000 | #Constraints: 37737 1393.94/1397.44 c #Conflicts: 802000 | #Constraints: 38737 1393.94/1397.44 c #Conflicts: 803000 | #Constraints: 39737 1393.94/1397.44 c #Conflicts: 804000 | #Constraints: 40737 1393.94/1397.44 c #Conflicts: 805000 | #Constraints: 41737 1393.94/1397.44 c #Conflicts: 806000 | #Constraints: 42737 1393.94/1397.44 c #Conflicts: 807000 | #Constraints: 43737 1393.94/1397.44 c #Conflicts: 808000 | #Constraints: 44737 1393.94/1397.44 c #Conflicts: 809000 | #Constraints: 45737 1393.94/1397.44 c #Conflicts: 810000 | #Constraints: 46737 1393.94/1397.44 c #Conflicts: 811000 | #Constraints: 47737 1393.94/1397.44 c #Conflicts: 812000 | #Constraints: 48737 1393.94/1397.44 c #Conflicts: 813000 | #Constraints: 49737 1393.94/1397.44 c #Conflicts: 814000 | #Constraints: 50737 1393.94/1397.44 c #Conflicts: 815000 | #Constraints: 51737 1393.94/1397.44 c #Conflicts: 816000 | #Constraints: 52737 1393.94/1397.44 c #Conflicts: 817000 | #Constraints: 53737 1393.94/1397.44 c #Conflicts: 818000 | #Constraints: 54737 1393.94/1397.44 c #Conflicts: 819000 | #Constraints: 55737 1393.94/1397.44 c #Conflicts: 820000 | #Constraints: 56737 1393.94/1397.44 c #Conflicts: 821000 | #Constraints: 57737 1393.94/1397.44 c #Conflicts: 822000 | #Constraints: 58737 1393.94/1397.44 c #Conflicts: 823000 | #Constraints: 59737 1393.94/1397.44 c #Conflicts: 824000 | #Constraints: 60737 1393.94/1397.44 c #Conflicts: 825000 | #Constraints: 61737 1393.94/1397.44 c #Conflicts: 826000 | #Constraints: 62737 1393.94/1397.44 c #Conflicts: 827000 | #Constraints: 63737 1393.94/1397.44 c #Conflicts: 828000 | #Constraints: 64737 1393.94/1397.44 c #Conflicts: 829000 | #Constraints: 65737 1393.94/1397.44 c #Conflicts: 830000 | #Constraints: 66737 1393.94/1397.44 c #Conflicts: 831000 | #Constraints: 67737 1393.94/1397.44 c #Conflicts: 832000 | #Constraints: 68738 1393.94/1397.44 c #Conflicts: 833000 | #Constraints: 69738 1393.94/1397.44 c #Conflicts: 834000 | #Constraints: 70738 1393.94/1397.44 c #Conflicts: 835000 | #Constraints: 71738 1393.94/1397.44 c #Conflicts: 836000 | #Constraints: 72738 1393.94/1397.44 c #Conflicts: 837000 | #Constraints: 73738 1393.94/1397.44 c #Conflicts: 838000 | #Constraints: 74739 1393.94/1397.44 c #Conflicts: 839000 | #Constraints: 75739 1393.94/1397.44 c #Conflicts: 840000 | #Constraints: 76739 1393.94/1397.44 c #Conflicts: 841000 | #Constraints: 77739 1393.94/1397.44 c #Conflicts: 842000 | #Constraints: 78739 1393.94/1397.44 c #Conflicts: 843000 | #Constraints: 79739 1393.94/1397.44 c #Conflicts: 844000 | #Constraints: 80739 1393.94/1397.44 c #Conflicts: 845000 | #Constraints: 81739 1393.94/1397.44 c #Conflicts: 846000 | #Constraints: 82739 1393.94/1397.44 c #Conflicts: 847000 | #Constraints: 83739 1393.94/1397.44 c #Conflicts: 848000 | #Constraints: 84739 1393.94/1397.44 c #Conflicts: 849000 | #Constraints: 85739 1393.94/1397.44 c #Conflicts: 850000 | #Constraints: 86739 1393.94/1397.44 c #Conflicts: 851000 | #Constraints: 87739 1393.94/1397.44 c #Conflicts: 852000 | #Constraints: 88739 1393.94/1397.44 c #Conflicts: 853000 | #Constraints: 89739 1393.94/1397.44 c #Conflicts: 854000 | #Constraints: 90739 1393.94/1397.44 c #Conflicts: 855000 | #Constraints: 91739 1393.94/1397.44 c #Conflicts: 856000 | #Constraints: 92740 1393.94/1397.44 c #Conflicts: 857000 | #Constraints: 93740 1393.94/1397.44 c #Conflicts: 858000 | #Constraints: 94740 1393.94/1397.44 c #Conflicts: 859000 | #Constraints: 95740 1393.94/1397.44 c #Conflicts: 860000 | #Constraints: 96740 1393.94/1397.44 c #Conflicts: 861000 | #Constraints: 97740 1393.94/1397.44 c INPROCESSING 1393.94/1397.44 c GARBAGE COLLECT 1393.94/1397.44 c rational objective 106 1436.03/1439.62 c #Conflicts: 862000 | #Constraints: 53608 1436.03/1439.62 c #Conflicts: 863000 | #Constraints: 54608 1436.03/1439.62 c #Conflicts: 864000 | #Constraints: 55608 1436.03/1439.62 c #Conflicts: 865000 | #Constraints: 56608 1436.03/1439.62 c #Conflicts: 866000 | #Constraints: 57608 1436.03/1439.62 c #Conflicts: 867000 | #Constraints: 58608 1436.03/1439.62 c #Conflicts: 868000 | #Constraints: 59608 1436.03/1439.62 c #Conflicts: 869000 | #Constraints: 60608 1436.03/1439.62 c #Conflicts: 870000 | #Constraints: 61608 1436.03/1439.62 c #Conflicts: 871000 | #Constraints: 62608 1436.03/1439.62 c #Conflicts: 872000 | #Constraints: 63608 1436.03/1439.62 c #Conflicts: 873000 | #Constraints: 64608 1436.03/1439.62 c #Conflicts: 874000 | #Constraints: 65608 1436.03/1439.62 c #Conflicts: 875000 | #Constraints: 66609 1436.03/1439.62 c #Conflicts: 876000 | #Constraints: 67609 1436.03/1439.62 c #Conflicts: 877000 | #Constraints: 68609 1436.03/1439.62 c #Conflicts: 878000 | #Constraints: 69609 1436.03/1439.62 c #Conflicts: 879000 | #Constraints: 70609 1436.03/1439.62 c #Conflicts: 880000 | #Constraints: 71609 1436.03/1439.62 c #Conflicts: 881000 | #Constraints: 72609 1436.03/1439.62 c #Conflicts: 882000 | #Constraints: 73609 1436.03/1439.62 c #Conflicts: 883000 | #Constraints: 74609 1436.03/1439.62 c #Conflicts: 884000 | #Constraints: 75609 1436.03/1439.62 c INPROCESSING 1436.03/1439.62 c GARBAGE COLLECT 1436.03/1439.62 c rational objective 106 1467.37/1471.06 c #Conflicts: 885000 | #Constraints: 43064 1467.37/1471.06 c #Conflicts: 886000 | #Constraints: 44064 1467.37/1471.06 c #Conflicts: 887000 | #Constraints: 45064 1467.37/1471.06 c #Conflicts: 888000 | #Constraints: 46064 1467.37/1471.06 c #Conflicts: 889000 | #Constraints: 47064 1467.37/1471.06 c #Conflicts: 890000 | #Constraints: 48064 1467.37/1471.06 c #Conflicts: 891000 | #Constraints: 49064 1467.37/1471.06 c #Conflicts: 892000 | #Constraints: 50064 1467.37/1471.06 c #Conflicts: 893000 | #Constraints: 51064 1467.37/1471.06 c #Conflicts: 894000 | #Constraints: 52064 1467.37/1471.06 c #Conflicts: 895000 | #Constraints: 53064 1467.37/1471.06 c #Conflicts: 896000 | #Constraints: 54064 1467.37/1471.06 c #Conflicts: 897000 | #Constraints: 55064 1467.37/1471.06 c #Conflicts: 898000 | #Constraints: 56064 1467.37/1471.06 c #Conflicts: 899000 | #Constraints: 57064 1467.37/1471.06 c #Conflicts: 900000 | #Constraints: 58064 1467.37/1471.06 c #Conflicts: 901000 | #Constraints: 59064 1467.37/1471.06 c #Conflicts: 902000 | #Constraints: 60064 1467.37/1471.06 c #Conflicts: 903000 | #Constraints: 61064 1467.37/1471.06 c #Conflicts: 904000 | #Constraints: 62064 1467.37/1471.06 c #Conflicts: 905000 | #Constraints: 63064 1467.37/1471.06 c #Conflicts: 906000 | #Constraints: 64064 1467.37/1471.06 c INPROCESSING 1467.37/1471.06 c GARBAGE COLLECT 1467.37/1471.06 c rational objective 106 1498.58/1502.35 c #Conflicts: 907000 | #Constraints: 37079 1498.58/1502.35 c #Conflicts: 908000 | #Constraints: 38079 1498.58/1502.35 c #Conflicts: 909000 | #Constraints: 39080 1498.58/1502.35 c #Conflicts: 910000 | #Constraints: 40080 1498.58/1502.35 c #Conflicts: 911000 | #Constraints: 41080 1498.58/1502.35 c #Conflicts: 912000 | #Constraints: 42080 1498.58/1502.35 c #Conflicts: 913000 | #Constraints: 43080 1498.58/1502.35 c #Conflicts: 914000 | #Constraints: 44080 1498.58/1502.35 c #Conflicts: 915000 | #Constraints: 45080 1498.58/1502.35 c #Conflicts: 916000 | #Constraints: 46080 1498.58/1502.35 c #Conflicts: 917000 | #Constraints: 47080 1498.58/1502.35 c #Conflicts: 918000 | #Constraints: 48080 1498.58/1502.35 c #Conflicts: 919000 | #Constraints: 49080 1498.58/1502.35 c #Conflicts: 920000 | #Constraints: 50080 1498.58/1502.35 c #Conflicts: 921000 | #Constraints: 51080 1498.58/1502.35 c #Conflicts: 922000 | #Constraints: 52080 1498.58/1502.35 c #Conflicts: 923000 | #Constraints: 53080 1498.58/1502.35 c #Conflicts: 924000 | #Constraints: 54081 1498.58/1502.35 c #Conflicts: 925000 | #Constraints: 55081 1498.58/1502.35 c #Conflicts: 926000 | #Constraints: 56081 1498.58/1502.35 c #Conflicts: 927000 | #Constraints: 57081 1498.58/1502.35 c #Conflicts: 928000 | #Constraints: 58081 1498.58/1502.35 c INPROCESSING 1498.58/1502.35 c GARBAGE COLLECT 1498.58/1502.35 c rational objective 106 1663.27/1667.42 c #Conflicts: 929000 | #Constraints: 33928 1663.27/1667.42 c #Conflicts: 930000 | #Constraints: 34928 1663.27/1667.42 c #Conflicts: 931000 | #Constraints: 35928 1663.27/1667.42 c #Conflicts: 932000 | #Constraints: 36928 1663.27/1667.42 c #Conflicts: 933000 | #Constraints: 37928 1663.27/1667.42 c #Conflicts: 934000 | #Constraints: 38928 1663.27/1667.42 c #Conflicts: 935000 | #Constraints: 39928 1663.27/1667.42 c #Conflicts: 936000 | #Constraints: 40928 1663.27/1667.42 c #Conflicts: 937000 | #Constraints: 41928 1663.27/1667.42 c #Conflicts: 938000 | #Constraints: 42928 1663.27/1667.42 c #Conflicts: 939000 | #Constraints: 43928 1663.27/1667.42 c #Conflicts: 940000 | #Constraints: 44929 1663.27/1667.42 c #Conflicts: 941000 | #Constraints: 45929 1663.27/1667.42 c #Conflicts: 942000 | #Constraints: 46930 1663.27/1667.42 c #Conflicts: 943000 | #Constraints: 47930 1663.27/1667.42 c #Conflicts: 944000 | #Constraints: 48930 1663.27/1667.42 c #Conflicts: 945000 | #Constraints: 49930 1663.27/1667.42 c #Conflicts: 946000 | #Constraints: 50930 1663.27/1667.42 c #Conflicts: 947000 | #Constraints: 51930 1663.27/1667.42 c #Conflicts: 948000 | #Constraints: 52931 1663.27/1667.42 c #Conflicts: 949000 | #Constraints: 53931 1663.27/1667.42 c #Conflicts: 950000 | #Constraints: 54931 1663.27/1667.42 c #Conflicts: 951000 | #Constraints: 55931 1663.27/1667.42 c #Conflicts: 952000 | #Constraints: 56931 1663.27/1667.42 c #Conflicts: 953000 | #Constraints: 57931 1663.27/1667.42 c #Conflicts: 954000 | #Constraints: 58931 1663.27/1667.42 c #Conflicts: 955000 | #Constraints: 59931 1663.27/1667.42 c #Conflicts: 956000 | #Constraints: 60931 1663.27/1667.42 c #Conflicts: 957000 | #Constraints: 61931 1663.27/1667.42 c #Conflicts: 958000 | #Constraints: 62931 1663.27/1667.42 c #Conflicts: 959000 | #Constraints: 63931 1663.27/1667.42 c #Conflicts: 960000 | #Constraints: 64931 1663.27/1667.42 c #Conflicts: 961000 | #Constraints: 65931 1663.27/1667.42 c #Conflicts: 962000 | #Constraints: 66931 1663.27/1667.42 c #Conflicts: 963000 | #Constraints: 67932 1663.27/1667.42 c #Conflicts: 964000 | #Constraints: 68932 1663.27/1667.42 c #Conflicts: 965000 | #Constraints: 69932 1663.27/1667.42 c #Conflicts: 966000 | #Constraints: 70932 1663.27/1667.42 c #Conflicts: 967000 | #Constraints: 71932 1663.27/1667.42 c #Conflicts: 968000 | #Constraints: 72932 1663.27/1667.42 c #Conflicts: 969000 | #Constraints: 73932 1663.27/1667.42 c #Conflicts: 970000 | #Constraints: 74932 1663.27/1667.42 c #Conflicts: 971000 | #Constraints: 75932 1663.27/1667.42 c #Conflicts: 972000 | #Constraints: 76932 1663.27/1667.42 c #Conflicts: 973000 | #Constraints: 77932 1663.27/1667.42 c #Conflicts: 974000 | #Constraints: 78932 1663.27/1667.42 c #Conflicts: 975000 | #Constraints: 79932 1663.27/1667.42 c #Conflicts: 976000 | #Constraints: 80932 1663.27/1667.42 c #Conflicts: 977000 | #Constraints: 81932 1663.27/1667.42 c #Conflicts: 978000 | #Constraints: 82932 1663.27/1667.42 c #Conflicts: 979000 | #Constraints: 83932 1663.27/1667.42 c #Conflicts: 980000 | #Constraints: 84932 1663.27/1667.42 c #Conflicts: 981000 | #Constraints: 85932 1663.27/1667.42 c #Conflicts: 982000 | #Constraints: 86932 1663.27/1667.42 c #Conflicts: 983000 | #Constraints: 87932 1663.27/1667.42 c #Conflicts: 984000 | #Constraints: 88932 1663.27/1667.42 c #Conflicts: 985000 | #Constraints: 89932 1663.27/1667.42 c #Conflicts: 986000 | #Constraints: 90932 1663.27/1667.42 c #Conflicts: 987000 | #Constraints: 91933 1663.27/1667.42 c #Conflicts: 988000 | #Constraints: 92933 1663.27/1667.42 c #Conflicts: 989000 | #Constraints: 93933 1663.27/1667.42 c #Conflicts: 990000 | #Constraints: 94933 1663.27/1667.42 c #Conflicts: 991000 | #Constraints: 95933 1663.27/1667.42 c #Conflicts: 992000 | #Constraints: 96933 1663.27/1667.42 c #Conflicts: 993000 | #Constraints: 97933 1663.27/1667.42 c #Conflicts: 994000 | #Constraints: 98933 1663.27/1667.42 c #Conflicts: 995000 | #Constraints: 99933 1663.27/1667.42 c #Conflicts: 996000 | #Constraints: 100933 1663.27/1667.42 c #Conflicts: 997000 | #Constraints: 101933 1663.27/1667.42 c #Conflicts: 998000 | #Constraints: 102933 1663.27/1667.42 c #Conflicts: 999000 | #Constraints: 103933 1663.27/1667.42 c #Conflicts: 1000000 | #Constraints: 104933 1663.27/1667.42 c #Conflicts: 1001000 | #Constraints: 105933 1663.27/1667.42 c INPROCESSING 1663.27/1667.42 c GARBAGE COLLECT 1663.27/1667.42 c rational objective 106 1722.33/1726.60 c #Conflicts: 1002000 | #Constraints: 58221 1722.33/1726.60 c #Conflicts: 1003000 | #Constraints: 59221 1722.33/1726.60 c #Conflicts: 1004000 | #Constraints: 60221 1722.33/1726.60 c #Conflicts: 1005000 | #Constraints: 61221 1722.33/1726.60 c #Conflicts: 1006000 | #Constraints: 62221 1722.33/1726.60 c #Conflicts: 1007000 | #Constraints: 63221 1722.33/1726.60 c #Conflicts: 1008000 | #Constraints: 64221 1722.33/1726.60 c #Conflicts: 1009000 | #Constraints: 65222 1722.33/1726.60 c #Conflicts: 1010000 | #Constraints: 66222 1722.33/1726.60 c #Conflicts: 1011000 | #Constraints: 67222 1722.33/1726.60 c #Conflicts: 1012000 | #Constraints: 68222 1722.33/1726.60 c #Conflicts: 1013000 | #Constraints: 69222 1722.33/1726.60 c #Conflicts: 1014000 | #Constraints: 70222 1722.33/1726.60 c #Conflicts: 1015000 | #Constraints: 71222 1722.33/1726.60 c #Conflicts: 1016000 | #Constraints: 72222 1722.33/1726.60 c #Conflicts: 1017000 | #Constraints: 73222 1722.33/1726.60 c #Conflicts: 1018000 | #Constraints: 74222 1722.33/1726.60 c #Conflicts: 1019000 | #Constraints: 75222 1722.33/1726.60 c #Conflicts: 1020000 | #Constraints: 76222 1722.33/1726.60 c #Conflicts: 1021000 | #Constraints: 77223 1722.33/1726.60 c #Conflicts: 1022000 | #Constraints: 78223 1722.33/1726.60 c #Conflicts: 1023000 | #Constraints: 79223 1722.33/1726.60 c #Conflicts: 1024000 | #Constraints: 80223 1722.33/1726.60 c INPROCESSING 1722.33/1726.60 c GARBAGE COLLECT 1722.33/1726.60 c rational objective 106 1763.53/1767.93 c #Conflicts: 1025000 | #Constraints: 44970 1763.53/1767.93 c #Conflicts: 1026000 | #Constraints: 45970 1763.53/1767.93 c #Conflicts: 1027000 | #Constraints: 46970 1763.53/1767.93 c #Conflicts: 1028000 | #Constraints: 47970 1763.53/1767.93 c #Conflicts: 1029000 | #Constraints: 48970 1763.53/1767.93 c #Conflicts: 1030000 | #Constraints: 49970 1763.53/1767.93 c #Conflicts: 1031000 | #Constraints: 50970 1763.53/1767.93 c #Conflicts: 1032000 | #Constraints: 51970 1763.53/1767.93 c #Conflicts: 1033000 | #Constraints: 52970 1763.53/1767.93 c #Conflicts: 1034000 | #Constraints: 53970 1763.53/1767.93 c #Conflicts: 1035000 | #Constraints: 54970 1763.53/1767.93 c #Conflicts: 1036000 | #Constraints: 55970 1763.53/1767.93 c #Conflicts: 1037000 | #Constraints: 56970 1763.53/1767.93 c #Conflicts: 1038000 | #Constraints: 57970 1763.53/1767.93 c #Conflicts: 1039000 | #Constraints: 58970 1763.53/1767.93 c #Conflicts: 1040000 | #Constraints: 59970 1763.53/1767.93 c #Conflicts: 1041000 | #Constraints: 60970 1763.53/1767.93 c #Conflicts: 1042000 | #Constraints: 61970 1763.53/1767.93 c #Conflicts: 1043000 | #Constraints: 62970 1763.53/1767.93 c #Conflicts: 1044000 | #Constraints: 63970 1763.53/1767.93 c #Conflicts: 1045000 | #Constraints: 64970 1763.53/1767.93 c #Conflicts: 1046000 | #Constraints: 65970 1763.53/1767.93 c #Conflicts: 1047000 | #Constraints: 66970 1763.53/1767.93 c #Conflicts: 1048000 | #Constraints: 67970 1763.53/1767.93 c INPROCESSING 1763.53/1767.93 c GARBAGE COLLECT 1763.53/1767.93 c rational objective 106 1804.13/1808.66 c #Conflicts: 1049000 | #Constraints: 38887 1804.13/1808.66 c #Conflicts: 1050000 | #Constraints: 39887 1804.13/1808.66 c #Conflicts: 1051000 | #Constraints: 40887 1804.13/1808.66 c #Conflicts: 1052000 | #Constraints: 41887 1804.13/1808.66 c #Conflicts: 1053000 | #Constraints: 42887 1804.13/1808.66 c #Conflicts: 1054000 | #Constraints: 43887 1804.13/1808.66 c #Conflicts: 1055000 | #Constraints: 44887 1804.13/1808.66 c #Conflicts: 1056000 | #Constraints: 45887 1804.13/1808.66 c #Conflicts: 1057000 | #Constraints: 46887 1804.13/1808.66 c #Conflicts: 1058000 | #Constraints: 47887 1804.13/1808.66 c #Conflicts: 1059000 | #Constraints: 48888 1804.13/1808.66 c #Conflicts: 1060000 | #Constraints: 49888 1804.13/1808.66 c #Conflicts: 1061000 | #Constraints: 50888 1804.13/1808.66 c #Conflicts: 1062000 | #Constraints: 51888 1804.13/1808.66 c #Conflicts: 1063000 | #Constraints: 52888 1804.13/1808.66 c #Conflicts: 1064000 | #Constraints: 53888 1804.13/1808.66 c #Conflicts: 1065000 | #Constraints: 54888 1804.13/1808.66 c #Conflicts: 1066000 | #Constraints: 55888 1804.13/1808.66 c #Conflicts: 1067000 | #Constraints: 56889 1804.13/1808.66 c #Conflicts: 1068000 | #Constraints: 57889 1804.13/1808.66 c #Conflicts: 1069000 | #Constraints: 58889 1804.13/1808.66 c #Conflicts: 1070000 | #Constraints: 59889 1804.13/1808.66 c #Conflicts: 1071000 | #Constraints: 60889 1804.13/1808.66 c #Conflicts: 1072000 | #Constraints: 61889 1804.13/1808.66 c #Conflicts: 1073000 | #Constraints: 62890 1804.13/1808.66 c INPROCESSING 1804.13/1808.66 c GARBAGE COLLECT 1804.13/1808.66 c rational objective 106 2007.84/2012.94 c #Conflicts: 1074000 | #Constraints: 36687 2007.84/2012.94 c #Conflicts: 1075000 | #Constraints: 37687 2007.84/2012.94 c #Conflicts: 1076000 | #Constraints: 38687 2007.84/2012.94 c #Conflicts: 1077000 | #Constraints: 39687 2007.84/2012.94 c #Conflicts: 1078000 | #Constraints: 40687 2007.84/2012.94 c #Conflicts: 1079000 | #Constraints: 41687 2007.84/2012.94 c #Conflicts: 1080000 | #Constraints: 42687 2007.84/2012.94 c #Conflicts: 1081000 | #Constraints: 43687 2007.84/2012.94 c #Conflicts: 1082000 | #Constraints: 44687 2007.84/2012.94 c #Conflicts: 1083000 | #Constraints: 45687 2007.84/2012.94 c #Conflicts: 1084000 | #Constraints: 46687 2007.84/2012.94 c #Conflicts: 1085000 | #Constraints: 47687 2007.84/2012.94 c #Conflicts: 1086000 | #Constraints: 48687 2007.84/2012.94 c #Conflicts: 1087000 | #Constraints: 49687 2007.84/2012.94 c #Conflicts: 1088000 | #Constraints: 50687 2007.84/2012.94 c #Conflicts: 1089000 | #Constraints: 51687 2007.84/2012.94 c #Conflicts: 1090000 | #Constraints: 52687 2007.84/2012.94 c #Conflicts: 1091000 | #Constraints: 53687 2007.84/2012.94 c #Conflicts: 1092000 | #Constraints: 54687 2007.84/2012.94 c #Conflicts: 1093000 | #Constraints: 55687 2007.84/2012.94 c #Conflicts: 1094000 | #Constraints: 56687 2007.84/2012.94 c #Conflicts: 1095000 | #Constraints: 57687 2007.84/2012.94 c #Conflicts: 1096000 | #Constraints: 58687 2007.84/2012.94 c #Conflicts: 1097000 | #Constraints: 59687 2007.84/2012.94 c #Conflicts: 1098000 | #Constraints: 60687 2007.84/2012.94 c #Conflicts: 1099000 | #Constraints: 61687 2007.84/2012.94 c #Conflicts: 1100000 | #Constraints: 62687 2007.84/2012.94 c #Conflicts: 1101000 | #Constraints: 63687 2007.84/2012.94 c #Conflicts: 1102000 | #Constraints: 64687 2007.84/2012.94 c #Conflicts: 1103000 | #Constraints: 65687 2007.84/2012.94 c #Conflicts: 1104000 | #Constraints: 66687 2007.84/2012.94 c #Conflicts: 1105000 | #Constraints: 67687 2007.84/2012.94 c #Conflicts: 1106000 | #Constraints: 68687 2007.84/2012.94 c #Conflicts: 1107000 | #Constraints: 69687 2007.84/2012.94 c #Conflicts: 1108000 | #Constraints: 70687 2007.84/2012.94 c #Conflicts: 1109000 | #Constraints: 71687 2007.84/2012.94 c #Conflicts: 1110000 | #Constraints: 72687 2007.84/2012.94 c #Conflicts: 1111000 | #Constraints: 73687 2007.84/2012.94 c #Conflicts: 1112000 | #Constraints: 74687 2007.84/2012.94 c #Conflicts: 1113000 | #Constraints: 75687 2007.84/2012.94 c #Conflicts: 1114000 | #Constraints: 76687 2007.84/2012.94 c #Conflicts: 1115000 | #Constraints: 77687 2007.84/2012.94 c #Conflicts: 1116000 | #Constraints: 78687 2007.84/2012.94 c #Conflicts: 1117000 | #Constraints: 79687 2007.84/2012.94 c #Conflicts: 1118000 | #Constraints: 80687 2007.84/2012.94 c #Conflicts: 1119000 | #Constraints: 81687 2007.84/2012.94 c #Conflicts: 1120000 | #Constraints: 82687 2007.84/2012.94 c #Conflicts: 1121000 | #Constraints: 83687 2007.84/2012.94 c #Conflicts: 1122000 | #Constraints: 84688 2007.84/2012.94 c #Conflicts: 1123000 | #Constraints: 85688 2007.84/2012.94 c #Conflicts: 1124000 | #Constraints: 86688 2007.84/2012.94 c #Conflicts: 1125000 | #Constraints: 87688 2007.84/2012.94 c #Conflicts: 1126000 | #Constraints: 88688 2007.84/2012.94 c #Conflicts: 1127000 | #Constraints: 89688 2007.84/2012.94 c #Conflicts: 1128000 | #Constraints: 90688 2007.84/2012.94 c #Conflicts: 1129000 | #Constraints: 91688 2007.84/2012.94 c #Conflicts: 1130000 | #Constraints: 92688 2007.84/2012.94 c #Conflicts: 1131000 | #Constraints: 93688 2007.84/2012.94 c #Conflicts: 1132000 | #Constraints: 94688 2007.84/2012.94 c #Conflicts: 1133000 | #Constraints: 95688 2007.84/2012.94 c #Conflicts: 1134000 | #Constraints: 96688 2007.84/2012.94 c #Conflicts: 1135000 | #Constraints: 97688 2007.84/2012.94 c #Conflicts: 1136000 | #Constraints: 98688 2007.84/2012.94 c #Conflicts: 1137000 | #Constraints: 99688 2007.84/2012.94 c #Conflicts: 1138000 | #Constraints: 100689 2007.84/2012.94 c #Conflicts: 1139000 | #Constraints: 101689 2007.84/2012.94 c #Conflicts: 1140000 | #Constraints: 102689 2007.84/2012.94 c #Conflicts: 1141000 | #Constraints: 103689 2007.84/2012.94 c #Conflicts: 1142000 | #Constraints: 104689 2007.84/2012.94 c #Conflicts: 1143000 | #Constraints: 105689 2007.84/2012.94 c #Conflicts: 1144000 | #Constraints: 106689 2007.84/2012.94 c #Conflicts: 1145000 | #Constraints: 107689 2007.84/2012.94 c #Conflicts: 1146000 | #Constraints: 108690 2007.84/2012.94 c #Conflicts: 1147000 | #Constraints: 109690 2007.84/2012.94 c #Conflicts: 1148000 | #Constraints: 110690 2007.84/2012.94 c #Conflicts: 1149000 | #Constraints: 111690 2007.84/2012.94 c #Conflicts: 1150000 | #Constraints: 112691 2007.84/2012.94 c INPROCESSING 2007.84/2012.94 c GARBAGE COLLECT 2007.84/2012.94 c rational objective 106 2050.64/2055.84 c #Conflicts: 1151000 | #Constraints: 61399 2050.64/2055.84 c #Conflicts: 1152000 | #Constraints: 62399 2050.64/2055.84 c #Conflicts: 1153000 | #Constraints: 63399 2050.64/2055.84 c #Conflicts: 1154000 | #Constraints: 64399 2050.64/2055.84 c #Conflicts: 1155000 | #Constraints: 65399 2050.64/2055.84 c #Conflicts: 1156000 | #Constraints: 66399 2050.64/2055.84 c #Conflicts: 1157000 | #Constraints: 67399 2050.64/2055.84 c #Conflicts: 1158000 | #Constraints: 68399 2050.64/2055.84 c #Conflicts: 1159000 | #Constraints: 69399 2050.64/2055.84 c #Conflicts: 1160000 | #Constraints: 70399 2050.64/2055.84 c #Conflicts: 1161000 | #Constraints: 71399 2050.64/2055.84 c #Conflicts: 1162000 | #Constraints: 72400 2050.64/2055.84 c #Conflicts: 1163000 | #Constraints: 73400 2050.64/2055.84 c #Conflicts: 1164000 | #Constraints: 74401 2050.64/2055.84 c #Conflicts: 1165000 | #Constraints: 75401 2050.64/2055.84 c #Conflicts: 1166000 | #Constraints: 76402 2050.64/2055.84 c #Conflicts: 1167000 | #Constraints: 77402 2050.64/2055.84 c #Conflicts: 1168000 | #Constraints: 78402 2050.64/2055.84 c #Conflicts: 1169000 | #Constraints: 79402 2050.64/2055.84 c #Conflicts: 1170000 | #Constraints: 80402 2050.64/2055.84 c #Conflicts: 1171000 | #Constraints: 81402 2050.64/2055.84 c #Conflicts: 1172000 | #Constraints: 82402 2050.64/2055.84 c #Conflicts: 1173000 | #Constraints: 83402 2050.64/2055.84 c #Conflicts: 1174000 | #Constraints: 84402 2050.64/2055.84 c #Conflicts: 1175000 | #Constraints: 85402 2050.64/2055.84 c #Conflicts: 1176000 | #Constraints: 86402 2050.64/2055.84 c INPROCESSING 2050.64/2055.84 c GARBAGE COLLECT 2050.64/2055.84 c rational objective 106 2091.94/2097.25 c #Conflicts: 1177000 | #Constraints: 48416 2091.94/2097.25 c #Conflicts: 1178000 | #Constraints: 49416 2091.94/2097.25 c #Conflicts: 1179000 | #Constraints: 50417 2091.94/2097.25 c #Conflicts: 1180000 | #Constraints: 51417 2091.94/2097.25 c #Conflicts: 1181000 | #Constraints: 52417 2091.94/2097.25 c #Conflicts: 1182000 | #Constraints: 53417 2091.94/2097.25 c #Conflicts: 1183000 | #Constraints: 54417 2091.94/2097.25 c #Conflicts: 1184000 | #Constraints: 55417 2091.94/2097.25 c #Conflicts: 1185000 | #Constraints: 56417 2091.94/2097.25 c #Conflicts: 1186000 | #Constraints: 57417 2091.94/2097.25 c #Conflicts: 1187000 | #Constraints: 58417 2091.94/2097.25 c #Conflicts: 1188000 | #Constraints: 59417 2091.94/2097.25 c #Conflicts: 1189000 | #Constraints: 60417 2091.94/2097.25 c #Conflicts: 1190000 | #Constraints: 61417 2091.94/2097.25 c #Conflicts: 1191000 | #Constraints: 62417 2091.94/2097.25 c #Conflicts: 1192000 | #Constraints: 63417 2091.94/2097.25 c #Conflicts: 1193000 | #Constraints: 64418 2091.94/2097.25 c #Conflicts: 1194000 | #Constraints: 65418 2091.94/2097.25 c #Conflicts: 1195000 | #Constraints: 66419 2091.94/2097.25 c #Conflicts: 1196000 | #Constraints: 67419 2091.94/2097.25 c #Conflicts: 1197000 | #Constraints: 68419 2091.94/2097.25 c #Conflicts: 1198000 | #Constraints: 69419 2091.94/2097.25 c #Conflicts: 1199000 | #Constraints: 70419 2091.94/2097.25 c #Conflicts: 1200000 | #Constraints: 71419 2091.94/2097.25 c #Conflicts: 1201000 | #Constraints: 72419 2091.94/2097.25 c INPROCESSING 2091.94/2097.25 c GARBAGE COLLECT 2091.94/2097.25 c rational objective 106 2126.16/2131.59 c #Conflicts: 1202000 | #Constraints: 41207 2126.16/2131.59 c #Conflicts: 1203000 | #Constraints: 42207 2126.16/2131.59 c #Conflicts: 1204000 | #Constraints: 43207 2126.16/2131.59 c #Conflicts: 1205000 | #Constraints: 44207 2126.16/2131.59 c #Conflicts: 1206000 | #Constraints: 45208 2126.16/2131.59 c #Conflicts: 1207000 | #Constraints: 46208 2126.16/2131.59 c #Conflicts: 1208000 | #Constraints: 47209 2126.16/2131.59 c #Conflicts: 1209000 | #Constraints: 48209 2126.16/2131.59 c #Conflicts: 1210000 | #Constraints: 49209 2126.16/2131.59 c #Conflicts: 1211000 | #Constraints: 50209 2126.16/2131.59 c #Conflicts: 1212000 | #Constraints: 51209 2126.16/2131.59 c #Conflicts: 1213000 | #Constraints: 52210 2126.16/2131.59 c #Conflicts: 1214000 | #Constraints: 53210 2126.16/2131.59 c #Conflicts: 1215000 | #Constraints: 54210 2126.16/2131.59 c #Conflicts: 1216000 | #Constraints: 55210 2126.16/2131.59 c #Conflicts: 1217000 | #Constraints: 56210 2126.16/2131.59 c #Conflicts: 1218000 | #Constraints: 57210 2126.16/2131.59 c #Conflicts: 1219000 | #Constraints: 58210 2126.16/2131.59 c #Conflicts: 1220000 | #Constraints: 59210 2126.16/2131.59 c #Conflicts: 1221000 | #Constraints: 60211 2126.16/2131.59 c #Conflicts: 1222000 | #Constraints: 61211 2126.16/2131.59 c #Conflicts: 1223000 | #Constraints: 62211 2126.16/2131.59 c #Conflicts: 1224000 | #Constraints: 63211 2126.16/2131.59 c #Conflicts: 1225000 | #Constraints: 64211 2126.16/2131.59 c #Conflicts: 1226000 | #Constraints: 65211 2126.16/2131.59 c #Conflicts: 1227000 | #Constraints: 66211 2126.16/2131.59 c INPROCESSING 2126.16/2131.59 c GARBAGE COLLECT 2126.16/2131.59 c rational objective 106 2307.43/2313.27 c #Conflicts: 1228000 | #Constraints: 38123 2307.43/2313.27 c #Conflicts: 1229000 | #Constraints: 39123 2307.43/2313.27 c #Conflicts: 1230000 | #Constraints: 40123 2307.43/2313.27 c #Conflicts: 1231000 | #Constraints: 41123 2307.43/2313.27 c #Conflicts: 1232000 | #Constraints: 42124 2307.43/2313.27 c #Conflicts: 1233000 | #Constraints: 43124 2307.43/2313.27 c #Conflicts: 1234000 | #Constraints: 44124 2307.43/2313.27 c #Conflicts: 1235000 | #Constraints: 45124 2307.43/2313.27 c #Conflicts: 1236000 | #Constraints: 46124 2307.43/2313.27 c #Conflicts: 1237000 | #Constraints: 47124 2307.43/2313.27 c #Conflicts: 1238000 | #Constraints: 48124 2307.43/2313.27 c #Conflicts: 1239000 | #Constraints: 49124 2307.43/2313.27 c #Conflicts: 1240000 | #Constraints: 50124 2307.43/2313.27 c #Conflicts: 1241000 | #Constraints: 51124 2307.43/2313.27 c #Conflicts: 1242000 | #Constraints: 52124 2307.43/2313.27 c #Conflicts: 1243000 | #Constraints: 53124 2307.43/2313.27 c #Conflicts: 1244000 | #Constraints: 54124 2307.43/2313.27 c #Conflicts: 1245000 | #Constraints: 55124 2307.43/2313.27 c #Conflicts: 1246000 | #Constraints: 56125 2307.43/2313.27 c #Conflicts: 1247000 | #Constraints: 57125 2307.43/2313.27 c #Conflicts: 1248000 | #Constraints: 58125 2307.43/2313.27 c #Conflicts: 1249000 | #Constraints: 59125 2307.43/2313.27 c #Conflicts: 1250000 | #Constraints: 60125 2307.43/2313.27 c #Conflicts: 1251000 | #Constraints: 61125 2307.43/2313.27 c #Conflicts: 1252000 | #Constraints: 62125 2307.43/2313.27 c #Conflicts: 1253000 | #Constraints: 63125 2307.43/2313.27 c #Conflicts: 1254000 | #Constraints: 64125 2307.43/2313.27 c #Conflicts: 1255000 | #Constraints: 65125 2307.43/2313.27 c #Conflicts: 1256000 | #Constraints: 66125 2307.43/2313.27 c #Conflicts: 1257000 | #Constraints: 67126 2307.43/2313.27 c #Conflicts: 1258000 | #Constraints: 68126 2307.43/2313.27 c #Conflicts: 1259000 | #Constraints: 69126 2307.43/2313.27 c #Conflicts: 1260000 | #Constraints: 70126 2307.43/2313.27 c #Conflicts: 1261000 | #Constraints: 71126 2307.43/2313.27 c #Conflicts: 1262000 | #Constraints: 72126 2307.43/2313.27 c #Conflicts: 1263000 | #Constraints: 73126 2307.43/2313.27 c #Conflicts: 1264000 | #Constraints: 74126 2307.43/2313.27 c #Conflicts: 1265000 | #Constraints: 75126 2307.43/2313.27 c #Conflicts: 1266000 | #Constraints: 76126 2307.43/2313.27 c #Conflicts: 1267000 | #Constraints: 77126 2307.43/2313.27 c #Conflicts: 1268000 | #Constraints: 78126 2307.43/2313.27 c #Conflicts: 1269000 | #Constraints: 79126 2307.43/2313.27 c #Conflicts: 1270000 | #Constraints: 80127 2307.43/2313.27 c #Conflicts: 1271000 | #Constraints: 81127 2307.43/2313.27 c #Conflicts: 1272000 | #Constraints: 82127 2307.43/2313.27 c #Conflicts: 1273000 | #Constraints: 83127 2307.43/2313.27 c #Conflicts: 1274000 | #Constraints: 84127 2307.43/2313.27 c #Conflicts: 1275000 | #Constraints: 85127 2307.43/2313.27 c #Conflicts: 1276000 | #Constraints: 86127 2307.43/2313.27 c #Conflicts: 1277000 | #Constraints: 87127 2307.43/2313.27 c #Conflicts: 1278000 | #Constraints: 88127 2307.43/2313.27 c #Conflicts: 1279000 | #Constraints: 89127 2307.43/2313.27 c #Conflicts: 1280000 | #Constraints: 90127 2307.43/2313.27 c #Conflicts: 1281000 | #Constraints: 91127 2307.43/2313.27 c #Conflicts: 1282000 | #Constraints: 92127 2307.43/2313.27 c #Conflicts: 1283000 | #Constraints: 93127 2307.43/2313.27 c #Conflicts: 1284000 | #Constraints: 94127 2307.43/2313.27 c #Conflicts: 1285000 | #Constraints: 95127 2307.43/2313.27 c #Conflicts: 1286000 | #Constraints: 96127 2307.43/2313.27 c #Conflicts: 1287000 | #Constraints: 97127 2307.43/2313.27 c #Conflicts: 1288000 | #Constraints: 98127 2307.43/2313.27 c #Conflicts: 1289000 | #Constraints: 99128 2307.43/2313.27 c #Conflicts: 1290000 | #Constraints: 100128 2307.43/2313.27 c #Conflicts: 1291000 | #Constraints: 101128 2307.43/2313.27 c #Conflicts: 1292000 | #Constraints: 102128 2307.43/2313.27 c #Conflicts: 1293000 | #Constraints: 103128 2307.43/2313.27 c #Conflicts: 1294000 | #Constraints: 104128 2307.43/2313.27 c #Conflicts: 1295000 | #Constraints: 105128 2307.43/2313.27 c #Conflicts: 1296000 | #Constraints: 106129 2307.43/2313.27 c #Conflicts: 1297000 | #Constraints: 107129 2307.43/2313.27 c #Conflicts: 1298000 | #Constraints: 108129 2307.43/2313.27 c #Conflicts: 1299000 | #Constraints: 109129 2307.43/2313.27 c #Conflicts: 1300000 | #Constraints: 110129 2307.43/2313.27 c #Conflicts: 1301000 | #Constraints: 111129 2307.43/2313.27 c #Conflicts: 1302000 | #Constraints: 112129 2307.43/2313.27 c #Conflicts: 1303000 | #Constraints: 113129 2307.43/2313.27 c #Conflicts: 1304000 | #Constraints: 114129 2307.43/2313.27 c #Conflicts: 1305000 | #Constraints: 115129 2307.43/2313.27 c #Conflicts: 1306000 | #Constraints: 116129 2332.47/2338.35 c #Conflicts: 1307000 | #Constraints: 117129 2332.47/2338.35 c #Conflicts: 1308000 | #Constraints: 118129 2332.47/2338.35 c #Conflicts: 1309000 | #Constraints: 119129 2332.47/2338.35 c #Conflicts: 1310000 | #Constraints: 120129 2332.47/2338.35 c INPROCESSING 2332.47/2338.35 c GARBAGE COLLECT 2332.47/2338.35 c rational objective 106 2400.41/2406.45 c #Conflicts: 1311000 | #Constraints: 65189 2400.41/2406.45 c #Conflicts: 1312000 | #Constraints: 66189 2400.41/2406.45 c #Conflicts: 1313000 | #Constraints: 67190 2400.41/2406.45 c #Conflicts: 1314000 | #Constraints: 68190 2400.41/2406.45 c #Conflicts: 1315000 | #Constraints: 69190 2400.41/2406.45 c #Conflicts: 1316000 | #Constraints: 70190 2400.41/2406.45 c #Conflicts: 1317000 | #Constraints: 71190 2400.41/2406.45 c #Conflicts: 1318000 | #Constraints: 72190 2400.41/2406.45 c #Conflicts: 1319000 | #Constraints: 73190 2400.41/2406.45 c #Conflicts: 1320000 | #Constraints: 74190 2400.41/2406.45 c #Conflicts: 1321000 | #Constraints: 75190 2400.41/2406.45 c #Conflicts: 1322000 | #Constraints: 76190 2400.41/2406.45 c #Conflicts: 1323000 | #Constraints: 77190 2400.41/2406.45 c #Conflicts: 1324000 | #Constraints: 78190 2400.41/2406.45 c #Conflicts: 1325000 | #Constraints: 79190 2400.41/2406.45 c #Conflicts: 1326000 | #Constraints: 80190 2400.41/2406.45 c #Conflicts: 1327000 | #Constraints: 81190 2400.41/2406.45 c #Conflicts: 1328000 | #Constraints: 82190 2400.41/2406.45 c #Conflicts: 1329000 | #Constraints: 83190 2400.41/2406.45 c #Conflicts: 1330000 | #Constraints: 84190 2400.41/2406.45 c #Conflicts: 1331000 | #Constraints: 85190 2400.41/2406.45 c #Conflicts: 1332000 | #Constraints: 86190 2400.41/2406.45 c #Conflicts: 1333000 | #Constraints: 87190 2400.41/2406.45 c #Conflicts: 1334000 | #Constraints: 88190 2400.41/2406.45 c #Conflicts: 1335000 | #Constraints: 89190 2400.41/2406.45 c #Conflicts: 1336000 | #Constraints: 90190 2400.41/2406.45 c #Conflicts: 1337000 | #Constraints: 91190 2400.41/2406.45 c INPROCESSING 2400.41/2406.45 c GARBAGE COLLECT 2400.41/2406.45 c rational objective 106 2453.68/2459.88 c #Conflicts: 1338000 | #Constraints: 50614 2453.68/2459.88 c #Conflicts: 1339000 | #Constraints: 51614 2453.68/2459.88 c #Conflicts: 1340000 | #Constraints: 52614 2453.68/2459.88 c #Conflicts: 1341000 | #Constraints: 53614 2453.68/2459.88 c #Conflicts: 1342000 | #Constraints: 54614 2453.68/2459.88 c #Conflicts: 1343000 | #Constraints: 55614 2453.68/2459.88 c #Conflicts: 1344000 | #Constraints: 56614 2453.68/2459.88 c #Conflicts: 1345000 | #Constraints: 57614 2453.68/2459.88 c #Conflicts: 1346000 | #Constraints: 58614 2453.68/2459.88 c #Conflicts: 1347000 | #Constraints: 59614 2453.68/2459.88 c #Conflicts: 1348000 | #Constraints: 60614 2453.68/2459.88 c #Conflicts: 1349000 | #Constraints: 61614 2453.68/2459.88 c #Conflicts: 1350000 | #Constraints: 62614 2453.68/2459.88 c #Conflicts: 1351000 | #Constraints: 63614 2453.68/2459.88 c #Conflicts: 1352000 | #Constraints: 64614 2453.68/2459.88 c #Conflicts: 1353000 | #Constraints: 65614 2453.68/2459.88 c #Conflicts: 1354000 | #Constraints: 66614 2453.68/2459.88 c #Conflicts: 1355000 | #Constraints: 67614 2453.68/2459.88 c #Conflicts: 1356000 | #Constraints: 68614 2453.68/2459.88 c #Conflicts: 1357000 | #Constraints: 69614 2453.68/2459.88 c #Conflicts: 1358000 | #Constraints: 70614 2453.68/2459.88 c #Conflicts: 1359000 | #Constraints: 71614 2453.68/2459.88 c #Conflicts: 1360000 | #Constraints: 72614 2453.68/2459.88 c #Conflicts: 1361000 | #Constraints: 73614 2453.68/2459.88 c #Conflicts: 1362000 | #Constraints: 74614 2453.68/2459.88 c #Conflicts: 1363000 | #Constraints: 75614 2453.68/2459.88 c #Conflicts: 1364000 | #Constraints: 76614 2453.68/2459.88 c #Conflicts: 1365000 | #Constraints: 77614 2453.68/2459.88 c INPROCESSING 2453.68/2459.88 c GARBAGE COLLECT 2453.68/2459.88 c rational objective 106 2493.18/2499.43 c #Conflicts: 1366000 | #Constraints: 44118 2493.18/2499.43 c #Conflicts: 1367000 | #Constraints: 45118 2493.18/2499.43 c #Conflicts: 1368000 | #Constraints: 46118 2493.18/2499.43 c #Conflicts: 1369000 | #Constraints: 47119 2493.18/2499.43 c #Conflicts: 1370000 | #Constraints: 48119 2493.18/2499.43 c #Conflicts: 1371000 | #Constraints: 49119 2493.18/2499.43 c #Conflicts: 1372000 | #Constraints: 50119 2493.18/2499.43 c #Conflicts: 1373000 | #Constraints: 51119 2493.18/2499.43 c #Conflicts: 1374000 | #Constraints: 52119 2493.18/2499.43 c #Conflicts: 1375000 | #Constraints: 53119 2493.18/2499.43 c #Conflicts: 1376000 | #Constraints: 54120 2493.18/2499.43 c #Conflicts: 1377000 | #Constraints: 55120 2493.18/2499.43 c #Conflicts: 1378000 | #Constraints: 56120 2493.18/2499.43 c #Conflicts: 1379000 | #Constraints: 57120 2493.18/2499.43 c #Conflicts: 1380000 | #Constraints: 58120 2493.18/2499.43 c #Conflicts: 1381000 | #Constraints: 59120 2493.18/2499.43 c #Conflicts: 1382000 | #Constraints: 60120 2493.18/2499.43 c #Conflicts: 1383000 | #Constraints: 61120 2493.18/2499.43 c #Conflicts: 1384000 | #Constraints: 62120 2493.18/2499.43 c #Conflicts: 1385000 | #Constraints: 63120 2493.18/2499.43 c #Conflicts: 1386000 | #Constraints: 64120 2493.18/2499.43 c #Conflicts: 1387000 | #Constraints: 65120 2493.18/2499.43 c #Conflicts: 1388000 | #Constraints: 66120 2493.18/2499.43 c #Conflicts: 1389000 | #Constraints: 67121 2493.18/2499.43 c #Conflicts: 1390000 | #Constraints: 68121 2493.18/2499.43 c #Conflicts: 1391000 | #Constraints: 69121 2493.18/2499.43 c #Conflicts: 1392000 | #Constraints: 70121 2493.18/2499.43 c INPROCESSING 2493.18/2499.43 c GARBAGE COLLECT 2493.18/2499.43 c rational objective 106 2668.49/2675.26 c #Conflicts: 1393000 | #Constraints: 40061 2668.49/2675.26 c #Conflicts: 1394000 | #Constraints: 41061 2668.49/2675.26 c #Conflicts: 1395000 | #Constraints: 42061 2668.49/2675.26 c #Conflicts: 1396000 | #Constraints: 43061 2668.49/2675.26 c #Conflicts: 1397000 | #Constraints: 44061 2668.49/2675.26 c #Conflicts: 1398000 | #Constraints: 45061 2668.49/2675.26 c #Conflicts: 1399000 | #Constraints: 46061 2668.49/2675.26 c #Conflicts: 1400000 | #Constraints: 47061 2668.49/2675.26 c #Conflicts: 1401000 | #Constraints: 48061 2668.49/2675.26 c #Conflicts: 1402000 | #Constraints: 49061 2668.49/2675.26 c #Conflicts: 1403000 | #Constraints: 50061 2668.49/2675.26 c #Conflicts: 1404000 | #Constraints: 51061 2668.49/2675.26 c #Conflicts: 1405000 | #Constraints: 52061 2668.49/2675.26 c #Conflicts: 1406000 | #Constraints: 53061 2668.49/2675.26 c #Conflicts: 1407000 | #Constraints: 54061 2668.49/2675.26 c #Conflicts: 1408000 | #Constraints: 55061 2668.49/2675.26 c #Conflicts: 1409000 | #Constraints: 56061 2668.49/2675.26 c #Conflicts: 1410000 | #Constraints: 57061 2668.49/2675.26 c #Conflicts: 1411000 | #Constraints: 58061 2668.49/2675.26 c #Conflicts: 1412000 | #Constraints: 59061 2668.49/2675.26 c #Conflicts: 1413000 | #Constraints: 60061 2668.49/2675.26 c #Conflicts: 1414000 | #Constraints: 61061 2668.49/2675.26 c #Conflicts: 1415000 | #Constraints: 62062 2668.49/2675.26 c #Conflicts: 1416000 | #Constraints: 63062 2668.49/2675.26 c #Conflicts: 1417000 | #Constraints: 64063 2668.49/2675.26 c #Conflicts: 1418000 | #Constraints: 65063 2668.49/2675.26 c #Conflicts: 1419000 | #Constraints: 66063 2668.49/2675.26 c #Conflicts: 1420000 | #Constraints: 67063 2668.49/2675.26 c #Conflicts: 1421000 | #Constraints: 68063 2668.49/2675.26 c #Conflicts: 1422000 | #Constraints: 69063 2668.49/2675.26 c #Conflicts: 1423000 | #Constraints: 70063 2668.49/2675.26 c #Conflicts: 1424000 | #Constraints: 71063 2668.49/2675.26 c #Conflicts: 1425000 | #Constraints: 72063 2668.49/2675.26 c #Conflicts: 1426000 | #Constraints: 73063 2668.49/2675.26 c #Conflicts: 1427000 | #Constraints: 74063 2668.49/2675.26 c #Conflicts: 1428000 | #Constraints: 75063 2668.49/2675.26 c #Conflicts: 1429000 | #Constraints: 76063 2668.49/2675.26 c #Conflicts: 1430000 | #Constraints: 77063 2668.49/2675.26 c #Conflicts: 1431000 | #Constraints: 78063 2668.49/2675.26 c #Conflicts: 1432000 | #Constraints: 79064 2668.49/2675.26 c #Conflicts: 1433000 | #Constraints: 80064 2668.49/2675.26 c #Conflicts: 1434000 | #Constraints: 81064 2668.49/2675.26 c #Conflicts: 1435000 | #Constraints: 82064 2668.49/2675.26 c #Conflicts: 1436000 | #Constraints: 83065 2668.49/2675.26 c #Conflicts: 1437000 | #Constraints: 84065 2668.49/2675.26 c #Conflicts: 1438000 | #Constraints: 85065 2668.49/2675.26 c #Conflicts: 1439000 | #Constraints: 86066 2668.49/2675.26 c #Conflicts: 1440000 | #Constraints: 87066 2668.49/2675.26 c #Conflicts: 1441000 | #Constraints: 88066 2668.49/2675.26 c #Conflicts: 1442000 | #Constraints: 89067 2668.49/2675.26 c #Conflicts: 1443000 | #Constraints: 90067 2668.49/2675.26 c #Conflicts: 1444000 | #Constraints: 91067 2668.49/2675.26 c #Conflicts: 1445000 | #Constraints: 92067 2668.49/2675.26 c #Conflicts: 1446000 | #Constraints: 93067 2668.49/2675.26 c #Conflicts: 1447000 | #Constraints: 94067 2668.49/2675.26 c #Conflicts: 1448000 | #Constraints: 95067 2668.49/2675.26 c #Conflicts: 1449000 | #Constraints: 96067 2668.49/2675.26 c #Conflicts: 1450000 | #Constraints: 97068 2668.49/2675.26 c #Conflicts: 1451000 | #Constraints: 98068 2668.49/2675.26 c #Conflicts: 1452000 | #Constraints: 99068 2668.49/2675.26 c #Conflicts: 1453000 | #Constraints: 100069 2668.49/2675.26 c #Conflicts: 1454000 | #Constraints: 101069 2668.49/2675.26 c #Conflicts: 1455000 | #Constraints: 102069 2668.49/2675.26 c #Conflicts: 1456000 | #Constraints: 103069 2668.49/2675.26 c #Conflicts: 1457000 | #Constraints: 104069 2668.49/2675.26 c #Conflicts: 1458000 | #Constraints: 105069 2668.49/2675.26 c #Conflicts: 1459000 | #Constraints: 106070 2668.49/2675.26 c #Conflicts: 1460000 | #Constraints: 107070 2668.49/2675.26 c #Conflicts: 1461000 | #Constraints: 108070 2668.49/2675.26 c #Conflicts: 1462000 | #Constraints: 109070 2668.49/2675.26 c #Conflicts: 1463000 | #Constraints: 110070 2668.49/2675.26 c #Conflicts: 1464000 | #Constraints: 111070 2668.49/2675.26 c #Conflicts: 1465000 | #Constraints: 112070 2668.49/2675.26 c #Conflicts: 1466000 | #Constraints: 113070 2668.49/2675.26 c #Conflicts: 1467000 | #Constraints: 114071 2668.49/2675.26 c #Conflicts: 1468000 | #Constraints: 115071 2668.49/2675.26 c #Conflicts: 1469000 | #Constraints: 116071 2668.49/2675.26 c #Conflicts: 1470000 | #Constraints: 117071 2668.49/2675.26 c #Conflicts: 1471000 | #Constraints: 118071 2724.14/2731.03 c #Conflicts: 1472000 | #Constraints: 119071 2724.14/2731.03 c #Conflicts: 1473000 | #Constraints: 120071 2724.14/2731.03 c #Conflicts: 1474000 | #Constraints: 121071 2724.14/2731.03 c #Conflicts: 1475000 | #Constraints: 122071 2724.14/2731.03 c #Conflicts: 1476000 | #Constraints: 123072 2724.14/2731.03 c #Conflicts: 1477000 | #Constraints: 124072 2724.14/2731.03 c #Conflicts: 1478000 | #Constraints: 125072 2724.14/2731.03 c #Conflicts: 1479000 | #Constraints: 126072 2724.14/2731.03 c #Conflicts: 1480000 | #Constraints: 127072 2724.14/2731.03 c INPROCESSING 2724.14/2731.03 c GARBAGE COLLECT 2724.14/2731.03 c rational objective 106 2786.45/2793.53 c #Conflicts: 1481000 | #Constraints: 68514 2786.45/2793.53 c #Conflicts: 1482000 | #Constraints: 69514 2786.45/2793.53 c #Conflicts: 1483000 | #Constraints: 70514 2786.45/2793.53 c #Conflicts: 1484000 | #Constraints: 71514 2786.45/2793.53 c #Conflicts: 1485000 | #Constraints: 72514 2786.45/2793.53 c #Conflicts: 1486000 | #Constraints: 73514 2786.45/2793.53 c #Conflicts: 1487000 | #Constraints: 74514 2786.45/2793.53 c #Conflicts: 1488000 | #Constraints: 75514 2786.45/2793.53 c #Conflicts: 1489000 | #Constraints: 76514 2786.45/2793.53 c #Conflicts: 1490000 | #Constraints: 77514 2786.45/2793.53 c #Conflicts: 1491000 | #Constraints: 78514 2786.45/2793.53 c #Conflicts: 1492000 | #Constraints: 79514 2786.45/2793.53 c #Conflicts: 1493000 | #Constraints: 80514 2786.45/2793.53 c #Conflicts: 1494000 | #Constraints: 81514 2786.45/2793.53 c #Conflicts: 1495000 | #Constraints: 82514 2786.45/2793.53 c #Conflicts: 1496000 | #Constraints: 83514 2786.45/2793.53 c #Conflicts: 1497000 | #Constraints: 84514 2786.45/2793.53 c #Conflicts: 1498000 | #Constraints: 85515 2786.45/2793.53 c #Conflicts: 1499000 | #Constraints: 86515 2786.45/2793.53 c #Conflicts: 1500000 | #Constraints: 87515 2786.45/2793.53 c #Conflicts: 1501000 | #Constraints: 88515 2786.45/2793.53 c #Conflicts: 1502000 | #Constraints: 89516 2786.45/2793.53 c #Conflicts: 1503000 | #Constraints: 90516 2786.45/2793.53 c #Conflicts: 1504000 | #Constraints: 91516 2786.45/2793.53 c #Conflicts: 1505000 | #Constraints: 92516 2786.45/2793.53 c #Conflicts: 1506000 | #Constraints: 93516 2786.45/2793.53 c #Conflicts: 1507000 | #Constraints: 94516 2786.45/2793.53 c #Conflicts: 1508000 | #Constraints: 95516 2786.45/2793.53 c #Conflicts: 1509000 | #Constraints: 96516 2786.45/2793.53 c INPROCESSING 2786.45/2793.53 c GARBAGE COLLECT 2786.45/2793.53 c rational objective 106 2834.82/2842.06 c #Conflicts: 1510000 | #Constraints: 53294 2834.82/2842.06 c #Conflicts: 1511000 | #Constraints: 54294 2834.82/2842.06 c #Conflicts: 1512000 | #Constraints: 55294 2834.82/2842.06 c #Conflicts: 1513000 | #Constraints: 56295 2834.82/2842.06 c #Conflicts: 1514000 | #Constraints: 57295 2834.82/2842.06 c #Conflicts: 1515000 | #Constraints: 58295 2834.82/2842.06 c #Conflicts: 1516000 | #Constraints: 59295 2834.82/2842.06 c #Conflicts: 1517000 | #Constraints: 60296 2834.82/2842.06 c #Conflicts: 1518000 | #Constraints: 61296 2834.82/2842.06 c #Conflicts: 1519000 | #Constraints: 62297 2834.82/2842.06 c #Conflicts: 1520000 | #Constraints: 63298 2834.82/2842.06 c #Conflicts: 1521000 | #Constraints: 64298 2834.82/2842.06 c #Conflicts: 1522000 | #Constraints: 65298 2834.82/2842.06 c #Conflicts: 1523000 | #Constraints: 66298 2834.82/2842.06 c #Conflicts: 1524000 | #Constraints: 67298 2834.82/2842.06 c #Conflicts: 1525000 | #Constraints: 68298 2834.82/2842.06 c #Conflicts: 1526000 | #Constraints: 69298 2834.82/2842.06 c #Conflicts: 1527000 | #Constraints: 70298 2834.82/2842.06 c #Conflicts: 1528000 | #Constraints: 71299 2834.82/2842.06 c #Conflicts: 1529000 | #Constraints: 72299 2834.82/2842.06 c #Conflicts: 1530000 | #Constraints: 73299 2834.82/2842.06 c #Conflicts: 1531000 | #Constraints: 74299 2834.82/2842.06 c #Conflicts: 1532000 | #Constraints: 75299 2834.82/2842.06 c #Conflicts: 1533000 | #Constraints: 76299 2834.82/2842.06 c #Conflicts: 1534000 | #Constraints: 77299 2834.82/2842.06 c #Conflicts: 1535000 | #Constraints: 78299 2834.82/2842.06 c #Conflicts: 1536000 | #Constraints: 79299 2834.82/2842.06 c #Conflicts: 1537000 | #Constraints: 80299 2834.82/2842.06 c #Conflicts: 1538000 | #Constraints: 81299 2834.82/2842.06 c INPROCESSING 2834.82/2842.06 c GARBAGE COLLECT 2834.82/2842.06 c rational objective 106 2886.87/2894.27 c #Conflicts: 1539000 | #Constraints: 45616 2886.87/2894.27 c #Conflicts: 1540000 | #Constraints: 46616 2886.87/2894.27 c #Conflicts: 1541000 | #Constraints: 47616 2886.87/2894.27 c #Conflicts: 1542000 | #Constraints: 48616 2886.87/2894.27 c #Conflicts: 1543000 | #Constraints: 49616 2886.87/2894.27 c #Conflicts: 1544000 | #Constraints: 50616 2886.87/2894.27 c #Conflicts: 1545000 | #Constraints: 51616 2886.87/2894.27 c #Conflicts: 1546000 | #Constraints: 52616 2886.87/2894.27 c #Conflicts: 1547000 | #Constraints: 53616 2886.87/2894.27 c #Conflicts: 1548000 | #Constraints: 54616 2886.87/2894.27 c #Conflicts: 1549000 | #Constraints: 55616 2886.87/2894.27 c #Conflicts: 1550000 | #Constraints: 56616 2886.87/2894.27 c #Conflicts: 1551000 | #Constraints: 57616 2886.87/2894.27 c #Conflicts: 1552000 | #Constraints: 58616 2886.87/2894.27 c #Conflicts: 1553000 | #Constraints: 59617 2886.87/2894.27 c #Conflicts: 1554000 | #Constraints: 60617 2886.87/2894.27 c #Conflicts: 1555000 | #Constraints: 61617 2886.87/2894.27 c #Conflicts: 1556000 | #Constraints: 62617 2886.87/2894.27 c #Conflicts: 1557000 | #Constraints: 63617 2886.87/2894.27 c #Conflicts: 1558000 | #Constraints: 64617 2886.87/2894.27 c #Conflicts: 1559000 | #Constraints: 65617 2886.87/2894.27 c #Conflicts: 1560000 | #Constraints: 66617 2886.87/2894.27 c #Conflicts: 1561000 | #Constraints: 67617 2886.87/2894.27 c #Conflicts: 1562000 | #Constraints: 68617 2886.87/2894.27 c #Conflicts: 1563000 | #Constraints: 69617 2886.87/2894.27 c #Conflicts: 1564000 | #Constraints: 70617 2886.87/2894.27 c #Conflicts: 1565000 | #Constraints: 71617 2886.87/2894.27 c #Conflicts: 1566000 | #Constraints: 72618 2886.87/2894.27 c #Conflicts: 1567000 | #Constraints: 73618 2886.87/2894.27 c #Conflicts: 1568000 | #Constraints: 74618 2886.87/2894.27 c INPROCESSING 2886.87/2894.27 c GARBAGE COLLECT 2886.87/2894.27 c rational objective 106 3074.34/3082.20 c #Conflicts: 1569000 | #Constraints: 42622 3074.34/3082.20 c #Conflicts: 1570000 | #Constraints: 43622 3074.34/3082.20 c #Conflicts: 1571000 | #Constraints: 44622 3074.34/3082.20 c #Conflicts: 1572000 | #Constraints: 45622 3074.34/3082.20 c #Conflicts: 1573000 | #Constraints: 46622 3074.34/3082.20 c #Conflicts: 1574000 | #Constraints: 47622 3074.34/3082.20 c #Conflicts: 1575000 | #Constraints: 48622 3074.34/3082.20 c #Conflicts: 1576000 | #Constraints: 49622 3074.34/3082.20 c #Conflicts: 1577000 | #Constraints: 50622 3074.34/3082.20 c #Conflicts: 1578000 | #Constraints: 51622 3074.34/3082.20 c #Conflicts: 1579000 | #Constraints: 52622 3074.34/3082.20 c #Conflicts: 1580000 | #Constraints: 53622 3074.34/3082.20 c #Conflicts: 1581000 | #Constraints: 54622 3074.34/3082.20 c #Conflicts: 1582000 | #Constraints: 55622 3074.34/3082.20 c #Conflicts: 1583000 | #Constraints: 56622 3074.34/3082.20 c #Conflicts: 1584000 | #Constraints: 57622 3074.34/3082.20 c #Conflicts: 1585000 | #Constraints: 58622 3074.34/3082.20 c #Conflicts: 1586000 | #Constraints: 59622 3074.34/3082.20 c #Conflicts: 1587000 | #Constraints: 60622 3074.34/3082.20 c #Conflicts: 1588000 | #Constraints: 61622 3074.34/3082.20 c #Conflicts: 1589000 | #Constraints: 62622 3074.34/3082.20 c #Conflicts: 1590000 | #Constraints: 63622 3074.34/3082.20 c #Conflicts: 1591000 | #Constraints: 64622 3074.34/3082.20 c #Conflicts: 1592000 | #Constraints: 65622 3074.34/3082.20 c #Conflicts: 1593000 | #Constraints: 66622 3074.34/3082.20 c #Conflicts: 1594000 | #Constraints: 67622 3074.34/3082.20 c #Conflicts: 1595000 | #Constraints: 68623 3074.34/3082.20 c #Conflicts: 1596000 | #Constraints: 69623 3074.34/3082.20 c #Conflicts: 1597000 | #Constraints: 70624 3074.34/3082.20 c #Conflicts: 1598000 | #Constraints: 71624 3074.34/3082.20 c #Conflicts: 1599000 | #Constraints: 72624 3074.34/3082.20 c #Conflicts: 1600000 | #Constraints: 73624 3074.34/3082.20 c #Conflicts: 1601000 | #Constraints: 74624 3074.34/3082.20 c #Conflicts: 1602000 | #Constraints: 75624 3074.34/3082.20 c #Conflicts: 1603000 | #Constraints: 76624 3074.34/3082.20 c #Conflicts: 1604000 | #Constraints: 77624 3074.34/3082.20 c #Conflicts: 1605000 | #Constraints: 78624 3074.34/3082.20 c #Conflicts: 1606000 | #Constraints: 79624 3074.34/3082.20 c #Conflicts: 1607000 | #Constraints: 80624 3074.34/3082.20 c #Conflicts: 1608000 | #Constraints: 81624 3074.34/3082.20 c #Conflicts: 1609000 | #Constraints: 82624 3074.34/3082.20 c #Conflicts: 1610000 | #Constraints: 83624 3074.34/3082.20 c #Conflicts: 1611000 | #Constraints: 84624 3074.34/3082.20 c #Conflicts: 1612000 | #Constraints: 85624 3074.34/3082.20 c #Conflicts: 1613000 | #Constraints: 86624 3074.34/3082.20 c #Conflicts: 1614000 | #Constraints: 87624 3074.34/3082.20 c #Conflicts: 1615000 | #Constraints: 88624 3074.34/3082.20 c #Conflicts: 1616000 | #Constraints: 89624 3074.34/3082.20 c #Conflicts: 1617000 | #Constraints: 90624 3074.34/3082.20 c #Conflicts: 1618000 | #Constraints: 91625 3074.34/3082.20 c #Conflicts: 1619000 | #Constraints: 92625 3074.34/3082.20 c #Conflicts: 1620000 | #Constraints: 93625 3074.34/3082.20 c #Conflicts: 1621000 | #Constraints: 94625 3074.34/3082.20 c #Conflicts: 1622000 | #Constraints: 95625 3074.34/3082.20 c #Conflicts: 1623000 | #Constraints: 96625 3074.34/3082.20 c #Conflicts: 1624000 | #Constraints: 97627 3074.34/3082.20 c #Conflicts: 1625000 | #Constraints: 98629 3074.34/3082.20 c #Conflicts: 1626000 | #Constraints: 99629 3074.34/3082.20 c #Conflicts: 1627000 | #Constraints: 100629 3074.34/3082.20 c #Conflicts: 1628000 | #Constraints: 101629 3074.34/3082.20 c #Conflicts: 1629000 | #Constraints: 102629 3074.34/3082.20 c #Conflicts: 1630000 | #Constraints: 103629 3074.34/3082.20 c #Conflicts: 1631000 | #Constraints: 104629 3074.34/3082.20 c #Conflicts: 1632000 | #Constraints: 105629 3074.34/3082.20 c #Conflicts: 1633000 | #Constraints: 106629 3074.34/3082.20 c #Conflicts: 1634000 | #Constraints: 107629 3074.34/3082.20 c #Conflicts: 1635000 | #Constraints: 108629 3074.34/3082.20 c #Conflicts: 1636000 | #Constraints: 109629 3074.34/3082.20 c #Conflicts: 1637000 | #Constraints: 110629 3074.34/3082.20 c #Conflicts: 1638000 | #Constraints: 111629 3074.34/3082.20 c #Conflicts: 1639000 | #Constraints: 112629 3074.34/3082.20 c #Conflicts: 1640000 | #Constraints: 113629 3074.34/3082.20 c #Conflicts: 1641000 | #Constraints: 114629 3074.34/3082.20 c #Conflicts: 1642000 | #Constraints: 115629 3074.34/3082.20 c #Conflicts: 1643000 | #Constraints: 116629 3074.34/3082.20 c #Conflicts: 1644000 | #Constraints: 117629 3074.34/3082.20 c #Conflicts: 1645000 | #Constraints: 118629 3074.34/3082.20 c #Conflicts: 1646000 | #Constraints: 119629 3074.34/3082.20 c #Conflicts: 1647000 | #Constraints: 120629 3135.98/3144.10 c #Conflicts: 1648000 | #Constraints: 121630 3135.98/3144.10 c #Conflicts: 1649000 | #Constraints: 122630 3135.98/3144.10 c #Conflicts: 1650000 | #Constraints: 123630 3135.98/3144.10 c #Conflicts: 1651000 | #Constraints: 124630 3135.98/3144.10 c #Conflicts: 1652000 | #Constraints: 125630 3135.98/3144.10 c #Conflicts: 1653000 | #Constraints: 126630 3135.98/3144.10 c #Conflicts: 1654000 | #Constraints: 127630 3135.98/3144.10 c #Conflicts: 1655000 | #Constraints: 128630 3135.98/3144.10 c #Conflicts: 1656000 | #Constraints: 129630 3135.98/3144.10 c #Conflicts: 1657000 | #Constraints: 130631 3135.98/3144.10 c #Conflicts: 1658000 | #Constraints: 131631 3135.98/3144.10 c #Conflicts: 1659000 | #Constraints: 132631 3135.98/3144.10 c #Conflicts: 1660000 | #Constraints: 133631 3135.98/3144.10 c #Conflicts: 1661000 | #Constraints: 134631 3135.98/3144.10 c INPROCESSING 3135.98/3144.10 c GARBAGE COLLECT 3135.98/3144.10 c rational objective 106 3206.88/3215.18 c #Conflicts: 1662000 | #Constraints: 72391 3206.88/3215.18 c #Conflicts: 1663000 | #Constraints: 73391 3206.88/3215.18 c #Conflicts: 1664000 | #Constraints: 74391 3206.88/3215.18 c #Conflicts: 1665000 | #Constraints: 75391 3206.88/3215.18 c #Conflicts: 1666000 | #Constraints: 76391 3206.88/3215.18 c #Conflicts: 1667000 | #Constraints: 77391 3206.88/3215.18 c #Conflicts: 1668000 | #Constraints: 78391 3206.88/3215.18 c #Conflicts: 1669000 | #Constraints: 79392 3206.88/3215.18 c #Conflicts: 1670000 | #Constraints: 80393 3206.88/3215.18 c #Conflicts: 1671000 | #Constraints: 81394 3206.88/3215.18 c #Conflicts: 1672000 | #Constraints: 82394 3206.88/3215.18 c #Conflicts: 1673000 | #Constraints: 83394 3206.88/3215.18 c #Conflicts: 1674000 | #Constraints: 84394 3206.88/3215.18 c #Conflicts: 1675000 | #Constraints: 85394 3206.88/3215.18 c #Conflicts: 1676000 | #Constraints: 86394 3206.88/3215.18 c #Conflicts: 1677000 | #Constraints: 87394 3206.88/3215.18 c #Conflicts: 1678000 | #Constraints: 88394 3206.88/3215.18 c #Conflicts: 1679000 | #Constraints: 89394 3206.88/3215.18 c #Conflicts: 1680000 | #Constraints: 90394 3206.88/3215.18 c #Conflicts: 1681000 | #Constraints: 91394 3206.88/3215.18 c #Conflicts: 1682000 | #Constraints: 92394 3206.88/3215.18 c #Conflicts: 1683000 | #Constraints: 93394 3206.88/3215.18 c #Conflicts: 1684000 | #Constraints: 94394 3206.88/3215.18 c #Conflicts: 1685000 | #Constraints: 95394 3206.88/3215.18 c #Conflicts: 1686000 | #Constraints: 96394 3206.88/3215.18 c #Conflicts: 1687000 | #Constraints: 97394 3206.88/3215.18 c #Conflicts: 1688000 | #Constraints: 98394 3206.88/3215.18 c #Conflicts: 1689000 | #Constraints: 99394 3206.88/3215.18 c #Conflicts: 1690000 | #Constraints: 100394 3206.88/3215.18 c #Conflicts: 1691000 | #Constraints: 101394 3206.88/3215.18 c #Conflicts: 1692000 | #Constraints: 102394 3206.88/3215.18 c INPROCESSING 3206.88/3215.18 c GARBAGE COLLECT 3206.88/3215.18 c rational objective 106 3252.84/3261.23 c #Conflicts: 1693000 | #Constraints: 56510 3252.84/3261.23 c #Conflicts: 1694000 | #Constraints: 57510 3252.84/3261.23 c #Conflicts: 1695000 | #Constraints: 58510 3252.84/3261.23 c #Conflicts: 1696000 | #Constraints: 59510 3252.84/3261.23 c #Conflicts: 1697000 | #Constraints: 60510 3252.84/3261.23 c #Conflicts: 1698000 | #Constraints: 61510 3252.84/3261.23 c #Conflicts: 1699000 | #Constraints: 62510 3252.84/3261.23 c #Conflicts: 1700000 | #Constraints: 63510 3252.84/3261.23 c #Conflicts: 1701000 | #Constraints: 64510 3252.84/3261.23 c #Conflicts: 1702000 | #Constraints: 65510 3252.84/3261.23 c #Conflicts: 1703000 | #Constraints: 66510 3252.84/3261.23 c #Conflicts: 1704000 | #Constraints: 67510 3252.84/3261.23 c #Conflicts: 1705000 | #Constraints: 68510 3252.84/3261.23 c #Conflicts: 1706000 | #Constraints: 69510 3252.84/3261.23 c #Conflicts: 1707000 | #Constraints: 70511 3252.84/3261.23 c #Conflicts: 1708000 | #Constraints: 71511 3252.84/3261.23 c #Conflicts: 1709000 | #Constraints: 72511 3252.84/3261.23 c #Conflicts: 1710000 | #Constraints: 73511 3252.84/3261.23 c #Conflicts: 1711000 | #Constraints: 74511 3252.84/3261.23 c #Conflicts: 1712000 | #Constraints: 75511 3252.84/3261.23 c #Conflicts: 1713000 | #Constraints: 76511 3252.84/3261.23 c #Conflicts: 1714000 | #Constraints: 77511 3252.84/3261.23 c #Conflicts: 1715000 | #Constraints: 78511 3252.84/3261.23 c #Conflicts: 1716000 | #Constraints: 79511 3252.84/3261.23 c #Conflicts: 1717000 | #Constraints: 80511 3252.84/3261.23 c #Conflicts: 1718000 | #Constraints: 81512 3252.84/3261.23 c #Conflicts: 1719000 | #Constraints: 82512 3252.84/3261.23 c #Conflicts: 1720000 | #Constraints: 83512 3252.84/3261.23 c #Conflicts: 1721000 | #Constraints: 84512 3252.84/3261.23 c #Conflicts: 1722000 | #Constraints: 85512 3252.84/3261.23 c INPROCESSING 3252.84/3261.23 c GARBAGE COLLECT 3252.84/3261.23 c rational objective 106 3298.21/3306.72 c #Conflicts: 1723000 | #Constraints: 47780 3298.21/3306.72 c #Conflicts: 1724000 | #Constraints: 48780 3298.21/3306.72 c #Conflicts: 1725000 | #Constraints: 49780 3298.21/3306.72 c #Conflicts: 1726000 | #Constraints: 50780 3298.21/3306.72 c #Conflicts: 1727000 | #Constraints: 51780 3298.21/3306.72 c #Conflicts: 1728000 | #Constraints: 52780 3298.21/3306.72 c #Conflicts: 1729000 | #Constraints: 53780 3298.21/3306.72 c #Conflicts: 1730000 | #Constraints: 54780 3298.21/3306.72 c #Conflicts: 1731000 | #Constraints: 55781 3298.21/3306.72 c #Conflicts: 1732000 | #Constraints: 56781 3298.21/3306.72 c #Conflicts: 1733000 | #Constraints: 57781 3298.21/3306.72 c #Conflicts: 1734000 | #Constraints: 58781 3298.21/3306.72 c #Conflicts: 1735000 | #Constraints: 59781 3298.21/3306.72 c #Conflicts: 1736000 | #Constraints: 60781 3298.21/3306.72 c #Conflicts: 1737000 | #Constraints: 61781 3298.21/3306.72 c #Conflicts: 1738000 | #Constraints: 62781 3298.21/3306.72 c #Conflicts: 1739000 | #Constraints: 63781 3298.21/3306.72 c #Conflicts: 1740000 | #Constraints: 64781 3298.21/3306.72 c #Conflicts: 1741000 | #Constraints: 65781 3298.21/3306.72 c #Conflicts: 1742000 | #Constraints: 66781 3298.21/3306.72 c #Conflicts: 1743000 | #Constraints: 67781 3298.21/3306.72 c #Conflicts: 1744000 | #Constraints: 68781 3298.21/3306.72 c #Conflicts: 1745000 | #Constraints: 69781 3298.21/3306.72 c #Conflicts: 1746000 | #Constraints: 70781 3298.21/3306.72 c #Conflicts: 1747000 | #Constraints: 71781 3298.21/3306.72 c #Conflicts: 1748000 | #Constraints: 72781 3298.21/3306.72 c #Conflicts: 1749000 | #Constraints: 73781 3298.21/3306.72 c #Conflicts: 1750000 | #Constraints: 74781 3298.21/3306.72 c #Conflicts: 1751000 | #Constraints: 75781 3298.21/3306.72 c #Conflicts: 1752000 | #Constraints: 76781 3298.21/3306.72 c #Conflicts: 1753000 | #Constraints: 77781 3298.21/3306.72 c INPROCESSING 3298.21/3306.72 c GARBAGE COLLECT 3298.21/3306.72 c rational objective 106 3484.58/3493.64 c #Conflicts: 1754000 | #Constraints: 43778 3484.58/3493.64 c #Conflicts: 1755000 | #Constraints: 44778 3484.58/3493.64 c #Conflicts: 1756000 | #Constraints: 45778 3484.58/3493.64 c #Conflicts: 1757000 | #Constraints: 46778 3484.58/3493.64 c #Conflicts: 1758000 | #Constraints: 47778 3484.58/3493.64 c #Conflicts: 1759000 | #Constraints: 48778 3484.58/3493.64 c #Conflicts: 1760000 | #Constraints: 49778 3484.58/3493.64 c #Conflicts: 1761000 | #Constraints: 50778 3484.58/3493.64 c #Conflicts: 1762000 | #Constraints: 51778 3484.58/3493.64 c #Conflicts: 1763000 | #Constraints: 52778 3484.58/3493.64 c #Conflicts: 1764000 | #Constraints: 53778 3484.58/3493.64 c #Conflicts: 1765000 | #Constraints: 54778 3484.58/3493.64 c #Conflicts: 1766000 | #Constraints: 55778 3484.58/3493.64 c #Conflicts: 1767000 | #Constraints: 56778 3484.58/3493.64 c #Conflicts: 1768000 | #Constraints: 57778 3484.58/3493.64 c #Conflicts: 1769000 | #Constraints: 58778 3484.58/3493.64 c #Conflicts: 1770000 | #Constraints: 59778 3484.58/3493.64 c #Conflicts: 1771000 | #Constraints: 60778 3484.58/3493.64 c #Conflicts: 1772000 | #Constraints: 61778 3484.58/3493.64 c #Conflicts: 1773000 | #Constraints: 62778 3484.58/3493.64 c #Conflicts: 1774000 | #Constraints: 63778 3484.58/3493.64 c #Conflicts: 1775000 | #Constraints: 64778 3484.58/3493.64 c #Conflicts: 1776000 | #Constraints: 65778 3484.58/3493.64 c #Conflicts: 1777000 | #Constraints: 66778 3484.58/3493.64 c #Conflicts: 1778000 | #Constraints: 67779 3484.58/3493.64 c #Conflicts: 1779000 | #Constraints: 68779 3484.58/3493.64 c #Conflicts: 1780000 | #Constraints: 69779 3484.58/3493.64 c #Conflicts: 1781000 | #Constraints: 70779 3484.58/3493.64 c #Conflicts: 1782000 | #Constraints: 71779 3484.58/3493.64 c #Conflicts: 1783000 | #Constraints: 72779 3484.58/3493.64 c #Conflicts: 1784000 | #Constraints: 73779 3484.58/3493.64 c #Conflicts: 1785000 | #Constraints: 74779 3484.58/3493.64 c #Conflicts: 1786000 | #Constraints: 75779 3484.58/3493.64 c #Conflicts: 1787000 | #Constraints: 76779 3484.58/3493.64 c #Conflicts: 1788000 | #Constraints: 77779 3484.58/3493.64 c #Conflicts: 1789000 | #Constraints: 78779 3484.58/3493.64 c #Conflicts: 1790000 | #Constraints: 79779 3484.58/3493.64 c #Conflicts: 1791000 | #Constraints: 80779 3484.58/3493.64 c #Conflicts: 1792000 | #Constraints: 81779 3484.58/3493.64 c #Conflicts: 1793000 | #Constraints: 82779 3484.58/3493.64 c #Conflicts: 1794000 | #Constraints: 83779 3484.58/3493.64 c #Conflicts: 1795000 | #Constraints: 84779 3484.58/3493.64 c #Conflicts: 1796000 | #Constraints: 85779 3484.58/3493.64 c #Conflicts: 1797000 | #Constraints: 86780 3484.58/3493.64 c #Conflicts: 1798000 | #Constraints: 87780 3484.58/3493.64 c #Conflicts: 1799000 | #Constraints: 88780 3484.58/3493.64 c #Conflicts: 1800000 | #Constraints: 89780 3484.58/3493.64 c #Conflicts: 1801000 | #Constraints: 90780 3484.58/3493.64 c #Conflicts: 1802000 | #Constraints: 91780 3484.58/3493.64 c #Conflicts: 1803000 | #Constraints: 92780 3484.58/3493.64 c #Conflicts: 1804000 | #Constraints: 93780 3484.58/3493.64 c #Conflicts: 1805000 | #Constraints: 94780 3484.58/3493.64 c #Conflicts: 1806000 | #Constraints: 95780 3484.58/3493.64 c #Conflicts: 1807000 | #Constraints: 96780 3484.58/3493.64 c #Conflicts: 1808000 | #Constraints: 97780 3484.58/3493.64 c #Conflicts: 1809000 | #Constraints: 98780 3484.58/3493.64 c #Conflicts: 1810000 | #Constraints: 99780 3484.58/3493.64 c #Conflicts: 1811000 | #Constraints: 100780 3484.58/3493.64 c #Conflicts: 1812000 | #Constraints: 101781 3484.58/3493.64 c #Conflicts: 1813000 | #Constraints: 102781 3484.58/3493.64 c #Conflicts: 1814000 | #Constraints: 103781 3484.58/3493.64 c #Conflicts: 1815000 | #Constraints: 104781 3484.58/3493.64 c #Conflicts: 1816000 | #Constraints: 105781 3484.58/3493.64 c #Conflicts: 1817000 | #Constraints: 106781 3484.58/3493.64 c #Conflicts: 1818000 | #Constraints: 107781 3484.58/3493.64 c #Conflicts: 1819000 | #Constraints: 108781 3484.58/3493.64 c #Conflicts: 1820000 | #Constraints: 109781 3484.58/3493.64 c #Conflicts: 1821000 | #Constraints: 110781 3484.58/3493.64 c #Conflicts: 1822000 | #Constraints: 111781 3484.58/3493.64 c #Conflicts: 1823000 | #Constraints: 112781 3484.58/3493.64 c #Conflicts: 1824000 | #Constraints: 113782 3484.58/3493.64 c #Conflicts: 1825000 | #Constraints: 114782 3484.58/3493.64 c #Conflicts: 1826000 | #Constraints: 115782 3484.58/3493.64 c #Conflicts: 1827000 | #Constraints: 116782 3484.58/3493.64 c #Conflicts: 1828000 | #Constraints: 117782 3484.58/3493.64 c #Conflicts: 1829000 | #Constraints: 118782 3484.58/3493.64 c #Conflicts: 1830000 | #Constraints: 119782 3484.58/3493.64 c #Conflicts: 1831000 | #Constraints: 120783 3484.58/3493.64 c #Conflicts: 1832000 | #Constraints: 121783 3563.96/3573.24 c #Conflicts: 1833000 | #Constraints: 122783 3563.96/3573.24 c #Conflicts: 1834000 | #Constraints: 123783 3563.96/3573.24 c #Conflicts: 1835000 | #Constraints: 124783 3563.96/3573.24 c #Conflicts: 1836000 | #Constraints: 125783 3563.96/3573.24 c #Conflicts: 1837000 | #Constraints: 126783 3563.96/3573.24 c #Conflicts: 1838000 | #Constraints: 127783 3563.96/3573.24 c #Conflicts: 1839000 | #Constraints: 128783 3563.96/3573.24 c #Conflicts: 1840000 | #Constraints: 129783 3563.96/3573.24 c #Conflicts: 1841000 | #Constraints: 130783 3563.96/3573.24 c #Conflicts: 1842000 | #Constraints: 131783 3563.96/3573.24 c #Conflicts: 1843000 | #Constraints: 132783 3563.96/3573.24 c #Conflicts: 1844000 | #Constraints: 133783 3563.96/3573.24 c #Conflicts: 1845000 | #Constraints: 134783 3563.96/3573.24 c #Conflicts: 1846000 | #Constraints: 135783 3563.96/3573.24 c #Conflicts: 1847000 | #Constraints: 136783 3563.96/3573.24 c #Conflicts: 1848000 | #Constraints: 137783 3563.96/3573.24 c #Conflicts: 1849000 | #Constraints: 138783 3563.96/3573.24 c #Conflicts: 1850000 | #Constraints: 139783 3563.96/3573.24 c #Conflicts: 1851000 | #Constraints: 140783 3563.96/3573.24 c #Conflicts: 1852000 | #Constraints: 141783 3563.96/3573.24 c INPROCESSING 3563.96/3573.24 c GARBAGE COLLECT 3563.96/3573.24 c rational objective 106 3600.06/3609.40 c #Conflicts: 1853000 | #Constraints: 75988 3600.06/3609.40 c #Conflicts: 1854000 | #Constraints: 76988 3600.06/3609.40 c #Conflicts: 1855000 | #Constraints: 77988 3600.06/3609.40 c #Conflicts: 1856000 | #Constraints: 78988 3600.06/3609.40 c #Conflicts: 1857000 | #Constraints: 79988 3600.06/3609.40 c #Conflicts: 1858000 | #Constraints: 80988 3600.06/3609.40 c #Conflicts: 1859000 | #Constraints: 81988 3600.06/3609.40 c #Conflicts: 1860000 | #Constraints: 82988 3600.06/3609.40 c #Conflicts: 1861000 | #Constraints: 83988 3600.06/3609.40 c #Conflicts: 1862000 | #Constraints: 84988 3600.06/3609.40 c #Conflicts: 1863000 | #Constraints: 85988 3600.06/3609.40 c #Conflicts: 1864000 | #Constraints: 86988 3600.06/3609.40 c #Conflicts: 1865000 | #Constraints: 87988 3600.06/3609.40 c #Conflicts: 1866000 | #Constraints: 88988 3600.06/3609.40 c #Conflicts: 1867000 | #Constraints: 89988 3600.06/3609.40 c #Conflicts: 1868000 | #Constraints: 90988 3600.06/3609.40 c Program interrupted by user. 3600.06/3609.48 c cpu time 3558.25 s 3600.06/3609.48 c deterministic time 434332685142 4.34e+11 3600.06/3609.48 c optimization time 35.402 s 3600.06/3609.48 c total solve time 3522.76 s 3600.06/3609.48 c core-guided solve time 0 s 3600.06/3609.48 c propagation time 2490.49 s 3600.06/3609.48 c conflict analysis time 811.442 s 3600.06/3609.48 c propagations 736311431 3600.06/3609.48 c resolve steps 61939266 3600.06/3609.48 c decisions 16333290 3600.06/3609.48 c conflicts 1868218 3600.06/3609.48 c restarts 3580 3600.06/3609.48 c inprocessing phases 75 3600.06/3609.48 c input clauses 7316 3600.06/3609.48 c input cardinalities 106 3600.06/3609.48 c input general constraints 0 3600.06/3609.48 c input average constraint length 6.24 3600.06/3609.48 c input average constraint degree 1.94 3600.06/3609.48 c learned clauses 1269252 3600.06/3609.48 c learned cardinalities 42253 3600.06/3609.48 c learned general constraints 556885 3600.06/3609.48 c learned average constraint length 918.80 3600.06/3609.48 c learned average constraint degree 38489986.45 3600.06/3609.48 c watched constraints 465282 3600.06/3609.48 c counting constraints 91603 3600.06/3609.48 c gcd simplifications 5241 3600.06/3609.48 c detected cardinalities 2782 3600.06/3609.48 c weakened non-implied lits 269816411 3600.06/3609.48 c weakened non-implying lits 581795 3600.06/3609.48 c original variables 7208 3600.06/3609.48 c clausal propagations 267447532 3600.06/3609.48 c cardinality propagations 267442544 3600.06/3609.48 c watched propagations 56476681 3600.06/3609.48 c counting propagations 138459447 3600.06/3609.48 c watch lookups 29756957791 3600.06/3609.48 c watch backjump lookups 23753456162 3600.06/3609.48 c watch checks 314389095165 3600.06/3609.48 c propagation checks 60053876257 3600.06/3609.48 c constraint additions 4869907014 3600.06/3609.48 c trail pops 754506009 3600.06/3609.48 c formula constraints 7422 3600.06/3609.48 c learned constraints 1868044 3600.06/3609.48 c bound constraints 0 3600.06/3609.48 c core-guided constraints 0 3600.06/3609.48 c encountered formula constraints 34333395 3600.06/3609.48 c encountered learned constraints 29471574 3600.06/3609.48 c encountered bound constraints 0 3600.06/3609.48 c encountered core-guided constraints 0 3600.06/3609.48 c LP total time 701.859 s 3600.06/3609.48 c LP solve time 694.12 s 3600.06/3609.48 c LP constraints added 12019 3600.06/3609.48 c LP constraints removed 4538 3600.06/3609.48 c LP pivots internal 1870159 3600.06/3609.48 c LP pivots root 371863 3600.06/3609.48 c LP calls 431 3600.06/3609.48 c LP optimalities 253 3600.06/3609.48 c LP no pivot count 2 3600.06/3609.48 c LP infeasibilities 173 3600.06/3609.48 c LP valid Farkas constraints 173 3600.06/3609.48 c LP learned Farkas constraints 173 3600.06/3609.48 c LP basis resets 0 3600.06/3609.48 c LP cycling count 0 3600.06/3609.48 c LP singular count 0 3600.06/3609.48 c LP no primal count 0 3600.06/3609.48 c LP no farkas count 0 3600.06/3609.48 c LP other issue count 0 3600.06/3609.48 c LP Gomory cuts 0 3600.06/3609.48 c LP learned cuts 4597 3600.06/3609.48 c LP deleted cuts 4538 3600.06/3609.48 c LP encountered Gomory constraints 0 3600.06/3609.48 c LP encountered Farkas constraints 1700 3600.06/3609.49 c LP encountered learned Farkas constraints 642 3600.06/3609.49 c CG auxiliary variables introduced 0 3600.06/3609.49 c CG solutions found 0 3600.06/3609.49 c CG cores constructed 0 3600.06/3609.49 c CG core cardinality constraints returned 0 3600.06/3609.49 c CG unit cores 0 3600.06/3609.49 c CG single cores 0 3600.06/3609.49 c CG blocks removed during cardinality reduction 0 3600.06/3609.49 c CG first core best 0 3600.06/3609.49 c CG decision core best 0 3600.06/3609.49 c CG core reduction tie 0 3600.06/3609.49 c CG core degree average 0.00 3600.06/3609.49 c CG core slack average 0.00 3600.06/3609.49 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: 64096 MiB (63478 MiB free)
memory of node 1: 64473 MiB (50874 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463053-1722345606/watcher-4463053-1722345606 -o /tmp/evaluation-result-4463053-1722345606/solver-4463053-1722345606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5704 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463053-1722345606 --lp-cut-gomory=0 HOME/instance-4463053-1722345606.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8543, runsolver pid=8540
[startup+0.100673 s]*
/proc/loadavg: 4.11 4.25 4.23 5/266 8544
/proc/meminfo: memFree=117076136/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=42280 memory=12056 CPUtime=0.09 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 1958 0 0 0 8 1 0 0 20 0 1 0 930934 43294720 3014 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 10570 3014 1652 992 0 2428 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42280 KiB
Current children cumulated memory: 12056 KiB
[startup+0.214495 s]*
/proc/loadavg: 4.11 4.25 4.23 5/266 8544
/proc/meminfo: memFree=117084144/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=49972 memory=18188 CPUtime=0.2 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 3795 0 0 0 19 1 0 0 20 0 1 0 930934 51171328 4547 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 12493 4547 1700 992 0 4351 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49972 KiB
Current children cumulated memory: 18188 KiB
[startup+0.314122 s]*
/proc/loadavg: 4.11 4.25 4.23 5/266 8544
/proc/meminfo: memFree=117081988/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=50204 memory=18716 CPUtime=0.31 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 3920 0 0 0 29 2 0 0 20 0 1 0 930934 51408896 4679 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 12551 4679 1700 992 0 4409 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50204 KiB
Current children cumulated memory: 18716 KiB
[startup+0.700334 s]
/proc/loadavg: 4.11 4.25 4.23 5/266 8544
/proc/meminfo: memFree=117081764/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=50896 memory=19508 CPUtime=0.67 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 4117 0 0 0 65 2 0 0 20 0 1 0 930934 52117504 4877 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 12724 4877 1700 992 0 4582 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 50896 KiB
Current children cumulated memory: 19508 KiB
[startup+1.50031 s]
/proc/loadavg: 4.11 4.25 4.23 5/266 8544
/proc/meminfo: memFree=117084104/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=52296 memory=20564 CPUtime=1.48 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 4338 0 0 0 144 4 0 0 20 0 1 0 930934 53551104 5141 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 13074 5141 1700 992 0 4932 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52296 KiB
Current children cumulated memory: 20564 KiB
[startup+3.11409 s]
/proc/loadavg: 4.10 4.24 4.23 5/266 8544
/proc/meminfo: memFree=117076608/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=53260 memory=24092 CPUtime=3.09 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 4676 0 0 0 296 13 0 0 20 0 1 0 930934 54538240 6023 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 13315 6023 1745 992 0 5173 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53260 KiB
Current children cumulated memory: 24092 KiB
[startup+6.30029 s]
/proc/loadavg: 4.10 4.24 4.23 5/266 8546
/proc/meminfo: memFree=117065716/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=53664 memory=25128 CPUtime=6.26 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 4924 0 0 0 610 16 0 0 20 0 1 0 930934 54951936 6282 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 13416 6282 1745 992 0 5274 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 53664 KiB
Current children cumulated memory: 25128 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.26 4.24 5/268 8550
/proc/meminfo: memFree=117041560/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=61528 memory=33736 CPUtime=12.65 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 6477 0 0 0 1232 33 0 0 20 0 1 0 930934 63004672 8434 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 15382 8434 1834 992 0 7240 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61528 KiB
Current children cumulated memory: 33736 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.24 4.23 5/268 8551
/proc/meminfo: memFree=116976384/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=70296 memory=41552 CPUtime=25.42 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 7970 0 0 0 2481 61 0 0 20 0 1 0 930934 71983104 10388 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 17574 10388 1834 992 0 9432 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 70296 KiB
Current children cumulated memory: 41552 KiB
[startup+51.114 s]
/proc/loadavg: 4.09 4.22 4.23 5/268 8556
/proc/meminfo: memFree=116845408/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=115472 memory=76128 CPUtime=50.98 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 11535 0 0 0 4981 117 0 0 20 0 1 0 930934 118243328 19032 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 28868 19032 1834 992 0 20726 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 115472 KiB
Current children cumulated memory: 76128 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.22 4.22 5/268 8565
/proc/meminfo: memFree=116590972/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=155404 memory=111932 CPUtime=102.04 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 14583 0 0 0 9981 223 0 0 20 0 1 0 930934 159133696 27983 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 38851 27983 1834 992 0 30709 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 155404 KiB
Current children cumulated memory: 111932 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.19 4.21 5/268 8577
/proc/meminfo: memFree=116270708/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=220160 memory=160784 CPUtime=161.89 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 19575 0 0 0 15850 339 0 0 20 0 1 0 930934 225443840 40196 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 55040 40196 1834 992 0 46898 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 220160 KiB
Current children cumulated memory: 160784 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.19 4.20 5/268 8587
/proc/meminfo: memFree=115839900/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=225192 memory=164236 CPUtime=221.75 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 21551 0 0 0 21716 459 0 0 20 0 1 0 930934 230596608 41059 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 56298 41059 1834 992 0 48156 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 225192 KiB
Current children cumulated memory: 164236 KiB
[startup+282.3 s]
/proc/loadavg: 4.24 4.20 4.20 5/248 8598
/proc/meminfo: memFree=115199596/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=229468 memory=168700 CPUtime=281.6 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 22689 0 0 0 27595 565 0 0 20 0 1 0 930934 234975232 42175 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 57367 42175 1834 992 0 49225 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 229468 KiB
Current children cumulated memory: 168700 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.21 4.20 5/248 8997
/proc/meminfo: memFree=114681180/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=322512 memory=214492 CPUtime=341.45 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 25995 0 0 0 33477 668 0 0 20 0 1 0 930934 330252288 53623 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 80628 53623 1834 992 0 72486 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 322512 KiB
Current children cumulated memory: 214492 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.20 4.20 5/248 9008
/proc/meminfo: memFree=113937032/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=323876 memory=216028 CPUtime=401.3 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 26369 0 0 0 39350 780 0 0 20 0 1 0 930934 331649024 54007 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 80969 54007 1834 992 0 72827 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 323876 KiB
Current children cumulated memory: 216028 KiB
[startup+462.3 s]
/proc/loadavg: 4.66 4.32 4.24 5/248 9018
/proc/meminfo: memFree=113196444/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=327072 memory=231564 CPUtime=461.16 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 27228 0 0 0 45235 881 0 0 20 0 1 0 930934 334921728 57891 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 81768 57891 1834 992 0 73626 0
################
# More data... #
################
Current children cumulated memory: 696288 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/245 10555
/proc/meminfo: memFree=114039760/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=783352 memory=696724 CPUtime=2855.06 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 65083 0 0 0 281972 3534 0 0 20 0 1 0 930934 802152448 174181 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 195838 174181 1834 992 0 187696 0
Current children cumulated CPU time: 2855.06 s
Current children cumulated vsize: 783352 KiB
Current children cumulated memory: 696724 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/246 10567
/proc/meminfo: memFree=113528452/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=783852 memory=697760 CPUtime=2914.89 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 65441 0 0 0 287895 3594 0 0 20 0 1 0 930934 802664448 174440 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 195963 174440 1834 992 0 187821 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 783852 KiB
Current children cumulated memory: 697760 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/246 10579
/proc/meminfo: memFree=112946732/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=784152 memory=697760 CPUtime=2974.72 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 65748 0 0 0 293829 3643 0 0 20 0 1 0 930934 802971648 174440 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 196038 174440 1834 992 0 187896 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 784152 KiB
Current children cumulated memory: 697760 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/248 10594
/proc/meminfo: memFree=112535280/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=785504 memory=699052 CPUtime=3034.55 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 66461 0 0 0 299771 3684 0 0 20 0 1 0 930934 804356096 174763 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 196376 174763 1834 992 0 188234 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 785504 KiB
Current children cumulated memory: 699052 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/248 10604
/proc/meminfo: memFree=111911184/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=793716 memory=738260 CPUtime=3094.38 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 68439 0 0 0 305716 3722 0 0 20 0 1 0 930934 812765184 184565 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 198429 184565 1834 992 0 190287 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 793716 KiB
Current children cumulated memory: 738260 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/248 10708
/proc/meminfo: memFree=117013180/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=1148704 memory=793772 CPUtime=3154.22 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 70829 0 0 0 311651 3771 0 0 20 0 1 0 930934 1176272896 198443 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 287176 198443 1834 992 0 279034 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 1148704 KiB
Current children cumulated memory: 793772 KiB
[startup+3222.3 s]
/proc/loadavg: 4.43 4.20 4.17 5/248 10766
/proc/meminfo: memFree=116508004/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=1150264 memory=795460 CPUtime=3214.05 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 71369 0 0 0 317575 3830 0 0 20 0 1 0 930934 1177870336 198865 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 287566 198865 1834 992 0 279424 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 1150264 KiB
Current children cumulated memory: 795460 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.25 4.19 5/248 10776
/proc/meminfo: memFree=115884412/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=1150068 memory=795352 CPUtime=3273.88 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 72037 0 0 0 323481 3907 0 0 20 0 1 0 930934 1177669632 198838 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 287517 198838 1834 992 0 279375 0
Current children cumulated CPU time: 3273.88 s
Current children cumulated vsize: 1150068 KiB
Current children cumulated memory: 795352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.23 4.18 5/248 10788
/proc/meminfo: memFree=115367216/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=1150068 memory=795536 CPUtime=3333.71 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 72230 0 0 0 329378 3993 0 0 20 0 1 0 930934 1177669632 198884 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 287517 198884 1834 992 0 279375 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 1150068 KiB
Current children cumulated memory: 795536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/246 10799
/proc/meminfo: memFree=115145540/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=1150068 memory=795536 CPUtime=3393.54 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 72540 0 0 0 335309 4045 0 0 20 0 1 0 930934 1177669632 198884 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 287517 198884 1834 992 0 279375 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 1150068 KiB
Current children cumulated memory: 795536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/245 10810
/proc/meminfo: memFree=114821900/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=1150068 memory=795572 CPUtime=3453.37 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 72895 0 0 0 341247 4090 0 0 20 0 1 0 930934 1177669632 198893 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 287517 198893 1834 992 0 279375 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 1150068 KiB
Current children cumulated memory: 795572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.18 4.17 5/245 10820
/proc/meminfo: memFree=114564756/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=1151380 memory=796524 CPUtime=3513.2 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 73468 0 0 0 347193 4127 0 0 20 0 1 0 930934 1179013120 199131 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 287845 199131 1834 992 0 279703 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 1151380 KiB
Current children cumulated memory: 796524 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/245 10832
/proc/meminfo: memFree=114312472/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=1155656 memory=800296 CPUtime=3573.03 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 75154 0 0 0 353143 4160 0 0 20 0 1 0 930934 1183391744 200074 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 288914 200074 1834 992 0 280772 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 1155656 KiB
Current children cumulated memory: 800296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.11 4.16 4.17 5/247 10840
/proc/meminfo: memFree=114199448/131655788 swapFree=131071728/131071996
[pid=8543] ppid=8540 vsize=1155896 memory=801144 CPUtime=3600.06 cores=4,6
/proc/8543/stat : 8543 (roundingsat) R 8540 8543 5693 0 -1 4194304 75186 0 0 0 355825 4181 0 0 20 0 1 0 930934 1183637504 200286 134679101440 4194304 8255733 140730099034816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34938880 140730099041118 140730099041380 140730099041380 140730099048393 0
/proc/8543/statm: 288974 200286 1834 992 0 280832 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1155896 KiB
Current children cumulated memory: 801144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 8543 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3558.26 s, system=41.8265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.08
CPU user time (s): 3558.26
CPU system time (s): 41.8265
CPU usage (%): 99.7392
Max. virtual memory (cumulated for all children) (KiB): 1157944
Max. memory (cumulated for all children) (KiB): 801876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.26
system time used= 41.8265
maximum resident set size= 801876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9601488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1017
involuntary context switches= 4748
# summary of solver processes directly reported to runsolver:
# pid: 8543
# total CPU time (s): 3600.08
# total CPU user time (s): 3558.26
# total CPU system time (s): 41.8265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6215 second user time and 36.5031 second system time
The end
Begin job on nodeC011 at 2024-07-30 15:20:06 IDJOB=4463053 IDBENCH=158362 IDSOLVER=3089 FILE ID=nodeC011/4463053-1722345606 RUNJOBID= nodeC011-1722340763-5704 SLURM_JOB_ID= 8248991 Free space on /tmp= 723660 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-4463053-1722345606/watcher-4463053-1722345606 -o /tmp/evaluation-result-4463053-1722345606/solver-4463053-1722345606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5704 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463053-1722345606 --lp-cut-gomory=0 HOME/instance-4463053-1722345606.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 24ba6b7b7d8e9ae68244a11b7fe894d2 RANDOM SEED=1778411649 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3649.374 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3566.185 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.178 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.247 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.139 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3667.007 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1296.911 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.373 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 117097800 kB MemAvailable: 125431188 kB Buffers: 46596 kB Cached: 9123208 kB SwapCached: 12 kB Active: 262068 kB Inactive: 13842560 kB Active(anon): 1924 kB Inactive(anon): 4962428 kB Active(file): 260144 kB Inactive(file): 8880132 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 39820 kB Writeback: 20 kB AnonPages: 4928396 kB Mapped: 101204 kB Shmem: 29468 kB KReclaimable: 66620 kB Slab: 143072 kB SReclaimable: 66620 kB SUnreclaim: 76452 kB KernelStack: 4272 kB PageTables: 18844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 5940968 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6176 kB HardwareCorrupted: 0 kB AnonHugePages: 2197504 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: 156488 kB DirectMap2M: 9185280 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723756 MiB End job on nodeC011 at 2024-07-30 16:20:16