| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.07 | 3614.34 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb |
| MD5SUM | bb00c8681178995acecbc2b6e4ec1a1a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 2386.3 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2130 |
| Total number of constraints | 2495 |
| Number of constraints which are clauses | 2125 |
| Number of constraints which are cardinality constraints (but not clauses) | 50 |
| Number of constraints which are nor clauses,nor cardinality constraints | 320 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 320 |
| Number of terms in the objective function | 5 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 5 |
| Number of bits of the sum of numbers in the objective function | 3 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 636 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/2.17 c #variables 2130 #constraints 2544 0.00/2.18 c bounds - >= 0 @ 0.010317 0.00/2.18 c rational objective 5 0.53/2.73 c #Conflicts: 1000 | #Constraints: 3546 0.53/2.73 c #Conflicts: 2000 | #Constraints: 4547 0.53/2.73 c INPROCESSING 0.53/2.73 c GARBAGE COLLECT 0.53/2.73 c rational objective 5 2.13/4.39 c bounds - >= 5 @ 0.542661 2.13/4.39 c #Conflicts: 3000 | #Constraints: 2444 2.13/4.39 c #Conflicts: 4000 | #Constraints: 3449 2.13/4.39 c INPROCESSING 2.13/4.39 c GARBAGE COLLECT 2.13/4.39 c rational objective 5 3.73/5.90 c #Conflicts: 5000 | #Constraints: 2853 3.73/5.90 c #Conflicts: 6000 | #Constraints: 3856 3.73/5.90 c INPROCESSING 3.73/5.90 c GARBAGE COLLECT 3.73/5.90 c rational objective 5 4.72/6.92 c #Conflicts: 7000 | #Constraints: 2855 4.72/6.92 c #Conflicts: 8000 | #Constraints: 3863 4.72/6.92 c #Conflicts: 9000 | #Constraints: 4873 4.72/6.92 c INPROCESSING 4.72/6.92 c GARBAGE COLLECT 4.72/6.92 c rational objective 5 6.02/8.24 c #Conflicts: 10000 | #Constraints: 3567 6.02/8.24 c #Conflicts: 11000 | #Constraints: 4571 6.02/8.24 c #Conflicts: 12000 | #Constraints: 5577 6.02/8.24 c INPROCESSING 6.02/8.24 c GARBAGE COLLECT 6.02/8.24 c rational objective 5 7.92/10.12 c #Conflicts: 13000 | #Constraints: 4019 7.92/10.12 c #Conflicts: 14000 | #Constraints: 5023 7.92/10.12 c #Conflicts: 15000 | #Constraints: 6028 7.92/10.12 c INPROCESSING 7.92/10.12 c GARBAGE COLLECT 7.92/10.12 c rational objective 5 10.21/12.48 c #Conflicts: 16000 | #Constraints: 4238 10.21/12.48 c #Conflicts: 17000 | #Constraints: 5247 10.21/12.48 c #Conflicts: 18000 | #Constraints: 6254 10.21/12.48 c INPROCESSING 10.21/12.48 c GARBAGE COLLECT 10.21/12.48 c rational objective 5 12.21/14.44 c #Conflicts: 19000 | #Constraints: 4267 12.21/14.44 c #Conflicts: 20000 | #Constraints: 5274 12.21/14.44 c #Conflicts: 21000 | #Constraints: 6279 12.21/14.44 c INPROCESSING 12.21/14.44 c GARBAGE COLLECT 12.21/14.44 c rational objective 5 14.40/16.68 c #Conflicts: 22000 | #Constraints: 4072 14.40/16.68 c #Conflicts: 23000 | #Constraints: 5077 14.40/16.68 c #Conflicts: 24000 | #Constraints: 6080 14.40/16.68 c #Conflicts: 25000 | #Constraints: 7085 14.40/16.68 c INPROCESSING 14.40/16.68 c GARBAGE COLLECT 14.40/16.68 c rational objective 5 16.90/19.13 c #Conflicts: 26000 | #Constraints: 4672 16.90/19.13 c #Conflicts: 27000 | #Constraints: 5680 16.90/19.13 c #Conflicts: 28000 | #Constraints: 6684 16.90/19.13 c #Conflicts: 29000 | #Constraints: 7686 16.90/19.13 c INPROCESSING 16.90/19.13 c GARBAGE COLLECT 16.90/19.13 c rational objective 5 19.49/21.70 c #Conflicts: 30000 | #Constraints: 5071 19.49/21.70 c #Conflicts: 31000 | #Constraints: 6075 19.49/21.70 c #Conflicts: 32000 | #Constraints: 7078 19.49/21.70 c #Conflicts: 33000 | #Constraints: 8081 19.49/21.70 c INPROCESSING 19.49/21.70 c GARBAGE COLLECT 19.49/21.70 c rational objective 5 21.89/24.13 c #Conflicts: 34000 | #Constraints: 5270 21.89/24.13 c #Conflicts: 35000 | #Constraints: 6272 21.89/24.13 c #Conflicts: 36000 | #Constraints: 7278 21.89/24.13 c #Conflicts: 37000 | #Constraints: 8284 21.89/24.13 c INPROCESSING 21.89/24.13 c GARBAGE COLLECT 21.89/24.13 c rational objective 5 25.27/27.56 c #Conflicts: 38000 | #Constraints: 5274 25.27/27.56 c #Conflicts: 39000 | #Constraints: 6279 25.27/27.56 c #Conflicts: 40000 | #Constraints: 7290 25.27/27.56 c #Conflicts: 41000 | #Constraints: 8298 25.27/27.56 c INPROCESSING 25.27/27.56 c GARBAGE COLLECT 25.27/27.56 c rational objective 5 27.57/29.88 c #Conflicts: 42000 | #Constraints: 5100 27.57/29.88 c #Conflicts: 43000 | #Constraints: 6108 27.57/29.88 c #Conflicts: 44000 | #Constraints: 7110 27.57/29.88 c #Conflicts: 45000 | #Constraints: 8117 27.57/29.88 c #Conflicts: 46000 | #Constraints: 9124 27.57/29.88 c INPROCESSING 27.57/29.88 c GARBAGE COLLECT 27.57/29.88 c rational objective 5 31.06/33.32 c #Conflicts: 47000 | #Constraints: 5684 31.06/33.32 c #Conflicts: 48000 | #Constraints: 6688 31.06/33.32 c #Conflicts: 49000 | #Constraints: 7695 31.06/33.32 c #Conflicts: 50000 | #Constraints: 8700 31.06/33.32 c #Conflicts: 51000 | #Constraints: 9704 31.06/33.32 c INPROCESSING 31.06/33.32 c GARBAGE COLLECT 31.06/33.32 c rational objective 5 34.55/36.89 c #Conflicts: 52000 | #Constraints: 6090 34.55/36.89 c #Conflicts: 53000 | #Constraints: 7098 34.55/36.89 c #Conflicts: 54000 | #Constraints: 8101 34.55/36.89 c #Conflicts: 55000 | #Constraints: 9108 34.55/36.89 c #Conflicts: 56000 | #Constraints: 10113 34.55/36.89 c INPROCESSING 34.55/36.89 c GARBAGE COLLECT 34.55/36.89 c rational objective 5 38.44/40.77 c #Conflicts: 57000 | #Constraints: 6283 38.44/40.77 c #Conflicts: 58000 | #Constraints: 7292 38.44/40.77 c #Conflicts: 59000 | #Constraints: 8294 38.44/40.77 c #Conflicts: 60000 | #Constraints: 9300 38.44/40.77 c #Conflicts: 61000 | #Constraints: 10304 38.44/40.77 c INPROCESSING 38.44/40.77 c GARBAGE COLLECT 38.44/40.77 c rational objective 5 41.63/43.96 c #Conflicts: 62000 | #Constraints: 6281 41.63/43.96 c #Conflicts: 63000 | #Constraints: 7284 41.63/43.96 c #Conflicts: 64000 | #Constraints: 8289 41.63/43.96 c #Conflicts: 65000 | #Constraints: 9295 41.63/43.96 c #Conflicts: 66000 | #Constraints: 10303 41.63/43.96 c INPROCESSING 41.63/43.96 c GARBAGE COLLECT 41.63/43.96 c rational objective 5 45.61/47.98 c #Conflicts: 67000 | #Constraints: 6082 45.61/47.98 c #Conflicts: 68000 | #Constraints: 7088 45.61/47.98 c #Conflicts: 69000 | #Constraints: 8096 45.61/47.98 c #Conflicts: 70000 | #Constraints: 9102 45.61/47.98 c #Conflicts: 71000 | #Constraints: 10104 45.61/47.98 c #Conflicts: 72000 | #Constraints: 11107 45.61/47.98 c INPROCESSING 45.61/47.98 c GARBAGE COLLECT 45.61/47.98 c rational objective 5 50.01/52.37 c #Conflicts: 73000 | #Constraints: 6684 50.01/52.37 c #Conflicts: 74000 | #Constraints: 7693 50.01/52.37 c #Conflicts: 75000 | #Constraints: 8704 50.01/52.37 c #Conflicts: 76000 | #Constraints: 9713 50.01/52.37 c #Conflicts: 77000 | #Constraints: 10717 50.01/52.37 c #Conflicts: 78000 | #Constraints: 11722 50.01/52.37 c INPROCESSING 50.01/52.37 c GARBAGE COLLECT 50.01/52.37 c rational objective 5 57.28/59.67 c #Conflicts: 79000 | #Constraints: 7104 57.28/59.67 c #Conflicts: 80000 | #Constraints: 8107 57.28/59.67 c #Conflicts: 81000 | #Constraints: 9111 57.28/59.67 c #Conflicts: 82000 | #Constraints: 10116 57.28/59.67 c #Conflicts: 83000 | #Constraints: 11120 57.28/59.67 c #Conflicts: 84000 | #Constraints: 12126 57.28/59.67 c INPROCESSING 57.28/59.67 c GARBAGE COLLECT 57.28/59.67 c rational objective 5 66.24/68.61 c #Conflicts: 85000 | #Constraints: 7299 66.24/68.61 c #Conflicts: 86000 | #Constraints: 8304 66.24/68.61 c #Conflicts: 87000 | #Constraints: 9309 66.24/68.61 c #Conflicts: 88000 | #Constraints: 10315 66.24/68.61 c #Conflicts: 89000 | #Constraints: 11320 66.24/68.61 c #Conflicts: 90000 | #Constraints: 12322 66.24/68.61 c INPROCESSING 66.24/68.61 c GARBAGE COLLECT 66.24/68.61 c rational objective 5 78.81/81.22 c #Conflicts: 91000 | #Constraints: 7297 78.81/81.22 c #Conflicts: 92000 | #Constraints: 8306 78.81/81.22 c #Conflicts: 93000 | #Constraints: 9312 78.81/81.22 c #Conflicts: 94000 | #Constraints: 10318 78.81/81.22 c #Conflicts: 95000 | #Constraints: 11323 78.81/81.22 c #Conflicts: 96000 | #Constraints: 12330 78.81/81.22 c INPROCESSING 78.81/81.22 c GARBAGE COLLECT 78.81/81.22 c rational objective 5 97.73/100.23 c #Conflicts: 97000 | #Constraints: 7107 97.73/100.23 c #Conflicts: 98000 | #Constraints: 8112 97.73/100.23 c #Conflicts: 99000 | #Constraints: 9116 97.73/100.23 c #Conflicts: 100000 | #Constraints: 10119 97.73/100.23 c #Conflicts: 101000 | #Constraints: 11122 97.73/100.23 c #Conflicts: 102000 | #Constraints: 12127 97.73/100.23 c #Conflicts: 103000 | #Constraints: 13130 97.73/100.23 c INPROCESSING 97.73/100.23 c GARBAGE COLLECT 97.73/100.23 c rational objective 5 105.11/107.62 c #Conflicts: 104000 | #Constraints: 7691 105.11/107.62 c #Conflicts: 105000 | #Constraints: 8693 105.11/107.62 c #Conflicts: 106000 | #Constraints: 9703 105.11/107.62 c #Conflicts: 107000 | #Constraints: 10712 105.11/107.62 c #Conflicts: 108000 | #Constraints: 11715 105.11/107.62 c #Conflicts: 109000 | #Constraints: 12720 105.11/107.62 c #Conflicts: 110000 | #Constraints: 13724 105.11/107.62 c INPROCESSING 105.11/107.62 c GARBAGE COLLECT 105.11/107.62 c rational objective 5 111.29/113.89 c #Conflicts: 111000 | #Constraints: 8113 111.29/113.89 c #Conflicts: 112000 | #Constraints: 9125 111.29/113.89 c #Conflicts: 113000 | #Constraints: 10130 111.29/113.89 c #Conflicts: 114000 | #Constraints: 11148 111.29/113.89 c #Conflicts: 115000 | #Constraints: 12159 111.29/113.89 c #Conflicts: 116000 | #Constraints: 13163 111.29/113.89 c #Conflicts: 117000 | #Constraints: 14168 111.29/113.89 c INPROCESSING 111.29/113.89 c GARBAGE COLLECT 111.29/113.89 c rational objective 5 120.07/122.69 c #Conflicts: 118000 | #Constraints: 8322 120.07/122.69 c #Conflicts: 119000 | #Constraints: 9329 120.07/122.69 c #Conflicts: 120000 | #Constraints: 10335 120.07/122.69 c #Conflicts: 121000 | #Constraints: 11342 120.07/122.69 c #Conflicts: 122000 | #Constraints: 12346 120.07/122.69 c #Conflicts: 123000 | #Constraints: 13356 120.07/122.69 c #Conflicts: 124000 | #Constraints: 14363 120.07/122.69 c INPROCESSING 120.07/122.69 c GARBAGE COLLECT 120.07/122.69 c rational objective 5 127.06/129.65 c #Conflicts: 125000 | #Constraints: 8313 127.06/129.65 c #Conflicts: 126000 | #Constraints: 9318 127.06/129.65 c #Conflicts: 127000 | #Constraints: 10332 127.06/129.65 c #Conflicts: 128000 | #Constraints: 11339 127.06/129.65 c #Conflicts: 129000 | #Constraints: 12347 127.06/129.65 c #Conflicts: 130000 | #Constraints: 13352 127.06/129.65 c #Conflicts: 131000 | #Constraints: 14356 127.06/129.65 c INPROCESSING 127.06/129.65 c GARBAGE COLLECT 127.06/129.65 c rational objective 5 133.54/136.14 c #Conflicts: 132000 | #Constraints: 8105 133.54/136.14 c #Conflicts: 133000 | #Constraints: 9112 133.54/136.14 c #Conflicts: 134000 | #Constraints: 10117 133.54/136.14 c #Conflicts: 135000 | #Constraints: 11121 133.54/136.14 c #Conflicts: 136000 | #Constraints: 12126 133.54/136.14 c #Conflicts: 137000 | #Constraints: 13134 133.54/136.14 c #Conflicts: 138000 | #Constraints: 14140 133.54/136.14 c #Conflicts: 139000 | #Constraints: 15145 133.54/136.14 c INPROCESSING 133.54/136.14 c GARBAGE COLLECT 133.54/136.14 c rational objective 5 143.00/145.66 c #Conflicts: 140000 | #Constraints: 8710 143.00/145.66 c #Conflicts: 141000 | #Constraints: 9715 143.00/145.66 c #Conflicts: 142000 | #Constraints: 10725 143.00/145.66 c #Conflicts: 143000 | #Constraints: 11733 143.00/145.66 c #Conflicts: 144000 | #Constraints: 12741 143.00/145.66 c #Conflicts: 145000 | #Constraints: 13759 143.00/145.66 c #Conflicts: 146000 | #Constraints: 14765 143.00/145.66 c #Conflicts: 147000 | #Constraints: 15777 143.00/145.66 c INPROCESSING 143.00/145.66 c GARBAGE COLLECT 143.00/145.66 c rational objective 5 153.07/155.74 c #Conflicts: 148000 | #Constraints: 9142 153.07/155.74 c #Conflicts: 149000 | #Constraints: 10147 153.07/155.74 c #Conflicts: 150000 | #Constraints: 11154 153.07/155.74 c #Conflicts: 151000 | #Constraints: 12156 153.07/155.74 c #Conflicts: 152000 | #Constraints: 13163 153.07/155.74 c #Conflicts: 153000 | #Constraints: 14170 153.07/155.74 c #Conflicts: 154000 | #Constraints: 15176 153.07/155.74 c #Conflicts: 155000 | #Constraints: 16182 153.07/155.74 c INPROCESSING 153.07/155.74 c GARBAGE COLLECT 153.07/155.74 c rational objective 5 163.64/166.33 c #Conflicts: 156000 | #Constraints: 9316 163.64/166.33 c #Conflicts: 157000 | #Constraints: 10324 163.64/166.33 c #Conflicts: 158000 | #Constraints: 11328 163.64/166.33 c #Conflicts: 159000 | #Constraints: 12334 163.64/166.33 c #Conflicts: 160000 | #Constraints: 13343 163.64/166.33 c #Conflicts: 161000 | #Constraints: 14352 163.64/166.33 c #Conflicts: 162000 | #Constraints: 15359 163.64/166.33 c #Conflicts: 163000 | #Constraints: 16360 163.64/166.33 c INPROCESSING 163.64/166.33 c GARBAGE COLLECT 163.64/166.33 c rational objective 5 180.20/182.91 c #Conflicts: 164000 | #Constraints: 9319 180.20/182.91 c #Conflicts: 165000 | #Constraints: 10324 180.20/182.91 c #Conflicts: 166000 | #Constraints: 11327 180.20/182.91 c #Conflicts: 167000 | #Constraints: 12335 180.20/182.91 c #Conflicts: 168000 | #Constraints: 13344 180.20/182.91 c #Conflicts: 169000 | #Constraints: 14347 180.20/182.91 c #Conflicts: 170000 | #Constraints: 15350 180.20/182.91 c #Conflicts: 171000 | #Constraints: 16357 180.20/182.91 c INPROCESSING 180.20/182.91 c GARBAGE COLLECT 180.20/182.91 c rational objective 5 188.57/191.32 c #Conflicts: 172000 | #Constraints: 9107 188.57/191.32 c #Conflicts: 173000 | #Constraints: 10113 188.57/191.32 c #Conflicts: 174000 | #Constraints: 11115 188.57/191.32 c #Conflicts: 175000 | #Constraints: 12122 188.57/191.32 c #Conflicts: 176000 | #Constraints: 13130 188.57/191.32 c #Conflicts: 177000 | #Constraints: 14137 188.57/191.32 c #Conflicts: 178000 | #Constraints: 15142 188.57/191.32 c #Conflicts: 179000 | #Constraints: 16145 188.57/191.32 c #Conflicts: 180000 | #Constraints: 17150 188.57/191.32 c INPROCESSING 188.57/191.32 c GARBAGE COLLECT 188.57/191.32 c rational objective 5 199.65/202.40 c #Conflicts: 181000 | #Constraints: 9716 199.65/202.40 c #Conflicts: 182000 | #Constraints: 10722 199.65/202.40 c #Conflicts: 183000 | #Constraints: 11727 199.65/202.40 c #Conflicts: 184000 | #Constraints: 12734 199.65/202.40 c #Conflicts: 185000 | #Constraints: 13739 199.65/202.40 c #Conflicts: 186000 | #Constraints: 14742 199.65/202.40 c #Conflicts: 187000 | #Constraints: 15746 199.65/202.40 c #Conflicts: 188000 | #Constraints: 16749 199.65/202.40 c #Conflicts: 189000 | #Constraints: 17751 199.65/202.40 c INPROCESSING 199.65/202.40 c GARBAGE COLLECT 199.65/202.40 c rational objective 5 216.90/219.74 c #Conflicts: 190000 | #Constraints: 10124 216.90/219.74 c #Conflicts: 191000 | #Constraints: 11131 216.90/219.74 c #Conflicts: 192000 | #Constraints: 12136 216.90/219.74 c #Conflicts: 193000 | #Constraints: 13139 216.90/219.74 c #Conflicts: 194000 | #Constraints: 14145 216.90/219.74 c #Conflicts: 195000 | #Constraints: 15149 216.90/219.74 c #Conflicts: 196000 | #Constraints: 16155 216.90/219.74 c #Conflicts: 197000 | #Constraints: 17160 216.90/219.74 c #Conflicts: 198000 | #Constraints: 18163 216.90/219.74 c INPROCESSING 216.90/219.74 c GARBAGE COLLECT 216.90/219.74 c rational objective 5 228.48/231.30 c #Conflicts: 199000 | #Constraints: 10325 228.48/231.30 c #Conflicts: 200000 | #Constraints: 11327 228.48/231.30 c #Conflicts: 201000 | #Constraints: 12329 228.48/231.30 c #Conflicts: 202000 | #Constraints: 13333 228.48/231.30 c #Conflicts: 203000 | #Constraints: 14336 228.48/231.30 c #Conflicts: 204000 | #Constraints: 15338 228.48/231.30 c #Conflicts: 205000 | #Constraints: 16340 228.48/231.30 c #Conflicts: 206000 | #Constraints: 17346 228.48/231.30 c #Conflicts: 207000 | #Constraints: 18350 228.48/231.30 c INPROCESSING 228.48/231.30 c GARBAGE COLLECT 228.48/231.30 c rational objective 5 250.61/253.56 c #Conflicts: 208000 | #Constraints: 10309 250.61/253.56 c #Conflicts: 209000 | #Constraints: 11318 250.61/253.56 c #Conflicts: 210000 | #Constraints: 12324 250.61/253.56 c #Conflicts: 211000 | #Constraints: 13333 250.61/253.56 c #Conflicts: 212000 | #Constraints: 14338 250.61/253.56 c #Conflicts: 213000 | #Constraints: 15341 250.61/253.56 c #Conflicts: 214000 | #Constraints: 16345 250.61/253.56 c #Conflicts: 215000 | #Constraints: 17347 250.61/253.56 c #Conflicts: 216000 | #Constraints: 18350 250.61/253.56 c INPROCESSING 250.61/253.56 c GARBAGE COLLECT 250.61/253.56 c rational objective 5 271.96/274.97 c #Conflicts: 217000 | #Constraints: 10118 271.96/274.97 c #Conflicts: 218000 | #Constraints: 11127 271.96/274.97 c #Conflicts: 219000 | #Constraints: 12129 271.96/274.97 c #Conflicts: 220000 | #Constraints: 13132 271.96/274.97 c #Conflicts: 221000 | #Constraints: 14134 271.96/274.97 c #Conflicts: 222000 | #Constraints: 15141 271.96/274.97 c #Conflicts: 223000 | #Constraints: 16142 271.96/274.97 c #Conflicts: 224000 | #Constraints: 17142 271.96/274.97 c #Conflicts: 225000 | #Constraints: 18145 271.96/274.97 c #Conflicts: 226000 | #Constraints: 19148 271.96/274.97 c INPROCESSING 271.96/274.97 c GARBAGE COLLECT 271.96/274.97 c rational objective 5 284.03/287.06 c #Conflicts: 227000 | #Constraints: 10719 284.03/287.06 c #Conflicts: 228000 | #Constraints: 11722 284.03/287.06 c #Conflicts: 229000 | #Constraints: 12725 284.03/287.06 c #Conflicts: 230000 | #Constraints: 13730 284.03/287.06 c #Conflicts: 231000 | #Constraints: 14735 284.03/287.06 c #Conflicts: 232000 | #Constraints: 15738 284.03/287.06 c #Conflicts: 233000 | #Constraints: 16743 284.03/287.06 c #Conflicts: 234000 | #Constraints: 17745 284.03/287.06 c #Conflicts: 235000 | #Constraints: 18756 284.03/287.06 c #Conflicts: 236000 | #Constraints: 19760 284.03/287.06 c INPROCESSING 284.03/287.06 c GARBAGE COLLECT 284.03/287.06 c rational objective 5 294.70/297.75 c #Conflicts: 237000 | #Constraints: 11110 294.70/297.75 c #Conflicts: 238000 | #Constraints: 12118 294.70/297.75 c #Conflicts: 239000 | #Constraints: 13122 294.70/297.75 c #Conflicts: 240000 | #Constraints: 14127 294.70/297.75 c #Conflicts: 241000 | #Constraints: 15131 294.70/297.75 c #Conflicts: 242000 | #Constraints: 16135 294.70/297.75 c #Conflicts: 243000 | #Constraints: 17138 294.70/297.75 c #Conflicts: 244000 | #Constraints: 18144 294.70/297.75 c #Conflicts: 245000 | #Constraints: 19154 294.70/297.75 c #Conflicts: 246000 | #Constraints: 20160 294.70/297.75 c INPROCESSING 294.70/297.75 c GARBAGE COLLECT 294.70/297.75 c rational objective 5 309.07/312.10 c #Conflicts: 247000 | #Constraints: 11313 309.07/312.10 c #Conflicts: 248000 | #Constraints: 12317 309.07/312.10 c #Conflicts: 249000 | #Constraints: 13322 309.07/312.10 c #Conflicts: 250000 | #Constraints: 14329 309.07/312.10 c #Conflicts: 251000 | #Constraints: 15333 309.07/312.10 c #Conflicts: 252000 | #Constraints: 16336 309.07/312.10 c #Conflicts: 253000 | #Constraints: 17344 309.07/312.10 c #Conflicts: 254000 | #Constraints: 18351 309.07/312.10 c #Conflicts: 255000 | #Constraints: 19358 309.07/312.10 c #Conflicts: 256000 | #Constraints: 20366 309.07/312.10 c INPROCESSING 309.07/312.10 c GARBAGE COLLECT 309.07/312.10 c rational objective 5 321.33/324.49 c #Conflicts: 257000 | #Constraints: 11316 321.33/324.49 c #Conflicts: 258000 | #Constraints: 12322 321.33/324.49 c #Conflicts: 259000 | #Constraints: 13326 321.33/324.49 c #Conflicts: 260000 | #Constraints: 14332 321.33/324.49 c #Conflicts: 261000 | #Constraints: 15337 321.33/324.49 c #Conflicts: 262000 | #Constraints: 16341 321.33/324.49 c #Conflicts: 263000 | #Constraints: 17344 321.33/324.49 c #Conflicts: 264000 | #Constraints: 18351 321.33/324.49 c #Conflicts: 265000 | #Constraints: 19361 321.33/324.49 c #Conflicts: 266000 | #Constraints: 20369 321.33/324.49 c INPROCESSING 321.33/324.49 c GARBAGE COLLECT 321.33/324.49 c rational objective 5 337.79/340.98 c #Conflicts: 267000 | #Constraints: 11121 337.79/340.98 c #Conflicts: 268000 | #Constraints: 12133 337.79/340.98 c #Conflicts: 269000 | #Constraints: 13141 337.79/340.98 c #Conflicts: 270000 | #Constraints: 14146 337.79/340.98 c #Conflicts: 271000 | #Constraints: 15150 337.79/340.98 c #Conflicts: 272000 | #Constraints: 16158 337.79/340.98 c #Conflicts: 273000 | #Constraints: 17163 337.79/340.98 c #Conflicts: 274000 | #Constraints: 18169 337.79/340.98 c #Conflicts: 275000 | #Constraints: 19172 337.79/340.98 c #Conflicts: 276000 | #Constraints: 20179 337.79/340.98 c #Conflicts: 277000 | #Constraints: 21185 337.79/340.98 c INPROCESSING 337.79/340.98 c GARBAGE COLLECT 337.79/340.98 c rational objective 5 351.26/354.42 c #Conflicts: 278000 | #Constraints: 11724 351.26/354.42 c #Conflicts: 279000 | #Constraints: 12729 351.26/354.42 c #Conflicts: 280000 | #Constraints: 13732 351.26/354.42 c #Conflicts: 281000 | #Constraints: 14739 351.26/354.42 c #Conflicts: 282000 | #Constraints: 15747 351.26/354.42 c #Conflicts: 283000 | #Constraints: 16756 351.26/354.42 c #Conflicts: 284000 | #Constraints: 17763 351.26/354.42 c #Conflicts: 285000 | #Constraints: 18767 351.26/354.42 c #Conflicts: 286000 | #Constraints: 19773 351.26/354.42 c #Conflicts: 287000 | #Constraints: 20778 351.26/354.42 c #Conflicts: 288000 | #Constraints: 21784 351.26/354.42 c INPROCESSING 351.26/354.42 c GARBAGE COLLECT 351.26/354.42 c rational objective 5 364.12/367.30 c #Conflicts: 289000 | #Constraints: 12126 364.12/367.30 c #Conflicts: 290000 | #Constraints: 13131 364.12/367.30 c #Conflicts: 291000 | #Constraints: 14140 364.12/367.30 c #Conflicts: 292000 | #Constraints: 15144 364.12/367.30 c #Conflicts: 293000 | #Constraints: 16148 364.12/367.30 c #Conflicts: 294000 | #Constraints: 17151 364.12/367.30 c #Conflicts: 295000 | #Constraints: 18154 364.12/367.30 c #Conflicts: 296000 | #Constraints: 19159 364.12/367.30 c #Conflicts: 297000 | #Constraints: 20161 364.12/367.30 c #Conflicts: 298000 | #Constraints: 21168 364.12/367.30 c #Conflicts: 299000 | #Constraints: 22172 364.12/367.30 c INPROCESSING 364.12/367.30 c GARBAGE COLLECT 364.12/367.30 c rational objective 5 379.79/383.04 c #Conflicts: 300000 | #Constraints: 12320 379.79/383.04 c #Conflicts: 301000 | #Constraints: 13326 379.79/383.04 c #Conflicts: 302000 | #Constraints: 14333 379.79/383.04 c #Conflicts: 303000 | #Constraints: 15342 379.79/383.04 c #Conflicts: 304000 | #Constraints: 16349 379.79/383.04 c #Conflicts: 305000 | #Constraints: 17356 379.79/383.04 c #Conflicts: 306000 | #Constraints: 18362 379.79/383.04 c #Conflicts: 307000 | #Constraints: 19374 379.79/383.04 c #Conflicts: 308000 | #Constraints: 20380 379.79/383.04 c #Conflicts: 309000 | #Constraints: 21384 379.79/383.04 c #Conflicts: 310000 | #Constraints: 22393 379.79/383.04 c INPROCESSING 379.79/383.04 c GARBAGE COLLECT 379.79/383.04 c rational objective 5 407.01/410.34 c #Conflicts: 311000 | #Constraints: 12331 407.01/410.34 c #Conflicts: 312000 | #Constraints: 13335 407.01/410.34 c #Conflicts: 313000 | #Constraints: 14338 407.01/410.34 c #Conflicts: 314000 | #Constraints: 15345 407.01/410.34 c #Conflicts: 315000 | #Constraints: 16352 407.01/410.34 c #Conflicts: 316000 | #Constraints: 17358 407.01/410.34 c #Conflicts: 317000 | #Constraints: 18368 407.01/410.34 c #Conflicts: 318000 | #Constraints: 19372 407.01/410.34 c #Conflicts: 319000 | #Constraints: 20375 407.01/410.34 c #Conflicts: 320000 | #Constraints: 21381 407.01/410.34 c #Conflicts: 321000 | #Constraints: 22390 407.01/410.34 c INPROCESSING 407.01/410.34 c GARBAGE COLLECT 407.01/410.34 c rational objective 5 438.13/441.50 c #Conflicts: 322000 | #Constraints: 12135 438.13/441.50 c #Conflicts: 323000 | #Constraints: 13139 438.13/441.50 c #Conflicts: 324000 | #Constraints: 14145 438.13/441.50 c #Conflicts: 325000 | #Constraints: 15150 438.13/441.50 c #Conflicts: 326000 | #Constraints: 16153 438.13/441.50 c #Conflicts: 327000 | #Constraints: 17157 438.13/441.50 c #Conflicts: 328000 | #Constraints: 18160 438.13/441.50 c #Conflicts: 329000 | #Constraints: 19164 438.13/441.50 c #Conflicts: 330000 | #Constraints: 20168 438.13/441.50 c #Conflicts: 331000 | #Constraints: 21172 438.13/441.50 c #Conflicts: 332000 | #Constraints: 22177 438.13/441.50 c #Conflicts: 333000 | #Constraints: 23181 438.13/441.50 c INPROCESSING 438.13/441.50 c GARBAGE COLLECT 438.13/441.50 c rational objective 5 456.28/459.73 c #Conflicts: 334000 | #Constraints: 12712 456.28/459.73 c #Conflicts: 335000 | #Constraints: 13715 456.28/459.73 c #Conflicts: 336000 | #Constraints: 14721 456.28/459.73 c #Conflicts: 337000 | #Constraints: 15725 456.28/459.73 c #Conflicts: 338000 | #Constraints: 16728 456.28/459.73 c #Conflicts: 339000 | #Constraints: 17734 456.28/459.73 c #Conflicts: 340000 | #Constraints: 18739 456.28/459.73 c #Conflicts: 341000 | #Constraints: 19749 456.28/459.73 c #Conflicts: 342000 | #Constraints: 20758 456.28/459.73 c #Conflicts: 343000 | #Constraints: 21765 456.28/459.73 c #Conflicts: 344000 | #Constraints: 22772 456.28/459.73 c #Conflicts: 345000 | #Constraints: 23773 456.28/459.73 c INPROCESSING 456.28/459.73 c GARBAGE COLLECT 456.28/459.73 c rational objective 5 476.23/479.76 c #Conflicts: 346000 | #Constraints: 13122 476.23/479.76 c #Conflicts: 347000 | #Constraints: 14127 476.23/479.76 c #Conflicts: 348000 | #Constraints: 15128 476.23/479.76 c #Conflicts: 349000 | #Constraints: 16131 476.23/479.76 c #Conflicts: 350000 | #Constraints: 17133 476.23/479.76 c #Conflicts: 351000 | #Constraints: 18136 476.23/479.76 c #Conflicts: 352000 | #Constraints: 19147 476.23/479.76 c #Conflicts: 353000 | #Constraints: 20155 476.23/479.76 c #Conflicts: 354000 | #Constraints: 21161 476.23/479.76 c #Conflicts: 355000 | #Constraints: 22164 476.23/479.76 c #Conflicts: 356000 | #Constraints: 23169 476.23/479.76 c #Conflicts: 357000 | #Constraints: 24175 476.23/479.76 c INPROCESSING 476.23/479.76 c GARBAGE COLLECT 476.23/479.76 c rational objective 5 497.38/500.98 c #Conflicts: 358000 | #Constraints: 13329 497.38/500.98 c #Conflicts: 359000 | #Constraints: 14336 497.38/500.98 c #Conflicts: 360000 | #Constraints: 15345 497.38/500.98 c #Conflicts: 361000 | #Constraints: 16350 497.38/500.98 c #Conflicts: 362000 | #Constraints: 17359 497.38/500.98 c #Conflicts: 363000 | #Constraints: 18364 497.38/500.98 c #Conflicts: 364000 | #Constraints: 19370 497.38/500.98 c #Conflicts: 365000 | #Constraints: 20375 497.38/500.98 c #Conflicts: 366000 | #Constraints: 21383 497.38/500.98 c #Conflicts: 367000 | #Constraints: 22392 497.38/500.98 c #Conflicts: 368000 | #Constraints: 23395 497.38/500.98 c #Conflicts: 369000 | #Constraints: 24400 497.38/500.98 c INPROCESSING 497.38/500.98 c GARBAGE COLLECT 497.38/500.98 c rational objective 5 538.64/542.34 c #Conflicts: 370000 | #Constraints: 13340 538.64/542.34 c #Conflicts: 371000 | #Constraints: 14347 538.64/542.34 c #Conflicts: 372000 | #Constraints: 15359 538.64/542.34 c #Conflicts: 373000 | #Constraints: 16366 538.64/542.34 c #Conflicts: 374000 | #Constraints: 17375 538.64/542.34 c #Conflicts: 375000 | #Constraints: 18376 538.64/542.34 c #Conflicts: 376000 | #Constraints: 19378 538.64/542.34 c #Conflicts: 377000 | #Constraints: 20381 538.64/542.34 c #Conflicts: 378000 | #Constraints: 21383 538.64/542.34 c #Conflicts: 379000 | #Constraints: 22383 538.64/542.34 c #Conflicts: 380000 | #Constraints: 23384 538.64/542.34 c #Conflicts: 381000 | #Constraints: 24390 538.64/542.34 c INPROCESSING 538.64/542.34 c GARBAGE COLLECT 538.64/542.34 c rational objective 5 556.09/559.83 c #Conflicts: 382000 | #Constraints: 13122 556.09/559.83 c #Conflicts: 383000 | #Constraints: 14125 556.09/559.83 c #Conflicts: 384000 | #Constraints: 15133 556.09/559.83 c #Conflicts: 385000 | #Constraints: 16139 556.09/559.83 c #Conflicts: 386000 | #Constraints: 17142 556.09/559.83 c #Conflicts: 387000 | #Constraints: 18148 556.09/559.83 c #Conflicts: 388000 | #Constraints: 19152 556.09/559.83 c #Conflicts: 389000 | #Constraints: 20160 556.09/559.83 c #Conflicts: 390000 | #Constraints: 21161 556.09/559.83 c #Conflicts: 391000 | #Constraints: 22167 556.09/559.83 c #Conflicts: 392000 | #Constraints: 23171 556.09/559.83 c #Conflicts: 393000 | #Constraints: 24180 556.09/559.83 c #Conflicts: 394000 | #Constraints: 25187 556.09/559.83 c INPROCESSING 556.09/559.83 c GARBAGE COLLECT 556.09/559.83 c rational objective 5 578.94/582.73 c #Conflicts: 395000 | #Constraints: 13722 578.94/582.73 c #Conflicts: 396000 | #Constraints: 14727 578.94/582.73 c #Conflicts: 397000 | #Constraints: 15733 578.94/582.73 c #Conflicts: 398000 | #Constraints: 16738 578.94/582.73 c #Conflicts: 399000 | #Constraints: 17743 578.94/582.73 c #Conflicts: 400000 | #Constraints: 18748 578.94/582.73 c #Conflicts: 401000 | #Constraints: 19752 578.94/582.73 c #Conflicts: 402000 | #Constraints: 20757 578.94/582.73 c #Conflicts: 403000 | #Constraints: 21764 578.94/582.73 c #Conflicts: 404000 | #Constraints: 22774 578.94/582.73 c #Conflicts: 405000 | #Constraints: 23781 578.94/582.73 c #Conflicts: 406000 | #Constraints: 24785 578.94/582.73 c #Conflicts: 407000 | #Constraints: 25790 578.94/582.73 c INPROCESSING 578.94/582.73 c GARBAGE COLLECT 578.94/582.73 c rational objective 5 598.58/602.47 c #Conflicts: 408000 | #Constraints: 14126 598.58/602.47 c #Conflicts: 409000 | #Constraints: 15129 598.58/602.47 c #Conflicts: 410000 | #Constraints: 16134 598.58/602.47 c #Conflicts: 411000 | #Constraints: 17136 598.58/602.47 c #Conflicts: 412000 | #Constraints: 18143 598.58/602.47 c #Conflicts: 413000 | #Constraints: 19150 598.58/602.47 c #Conflicts: 414000 | #Constraints: 20160 598.58/602.47 c #Conflicts: 415000 | #Constraints: 21170 598.58/602.47 c #Conflicts: 416000 | #Constraints: 22174 598.58/602.47 c #Conflicts: 417000 | #Constraints: 23180 598.58/602.47 c #Conflicts: 418000 | #Constraints: 24183 598.58/602.47 c #Conflicts: 419000 | #Constraints: 25189 598.58/602.47 c #Conflicts: 420000 | #Constraints: 26197 598.58/602.47 c INPROCESSING 598.58/602.47 c GARBAGE COLLECT 598.58/602.47 c rational objective 5 632.58/636.53 c #Conflicts: 421000 | #Constraints: 14340 632.58/636.53 c #Conflicts: 422000 | #Constraints: 15346 632.58/636.53 c #Conflicts: 423000 | #Constraints: 16351 632.58/636.53 c #Conflicts: 424000 | #Constraints: 17354 632.58/636.53 c #Conflicts: 425000 | #Constraints: 18357 632.58/636.53 c #Conflicts: 426000 | #Constraints: 19358 632.58/636.53 c #Conflicts: 427000 | #Constraints: 20359 632.58/636.53 c #Conflicts: 428000 | #Constraints: 21360 632.58/636.53 c #Conflicts: 429000 | #Constraints: 22360 632.58/636.53 c #Conflicts: 430000 | #Constraints: 23361 632.58/636.53 c #Conflicts: 431000 | #Constraints: 24361 632.58/636.53 c #Conflicts: 432000 | #Constraints: 25361 632.58/636.53 c #Conflicts: 433000 | #Constraints: 26361 632.58/636.53 c INPROCESSING 632.58/636.53 c GARBAGE COLLECT 632.58/636.53 c rational objective 5 662.80/666.80 c #Conflicts: 434000 | #Constraints: 14340 662.80/666.80 c #Conflicts: 435000 | #Constraints: 15349 662.80/666.80 c #Conflicts: 436000 | #Constraints: 16351 662.80/666.80 c #Conflicts: 437000 | #Constraints: 17354 662.80/666.80 c #Conflicts: 438000 | #Constraints: 18357 662.80/666.80 c #Conflicts: 439000 | #Constraints: 19362 662.80/666.80 c #Conflicts: 440000 | #Constraints: 20364 662.80/666.80 c #Conflicts: 441000 | #Constraints: 21367 662.80/666.80 c #Conflicts: 442000 | #Constraints: 22368 662.80/666.80 c #Conflicts: 443000 | #Constraints: 23370 662.80/666.80 c #Conflicts: 444000 | #Constraints: 24372 662.80/666.80 c #Conflicts: 445000 | #Constraints: 25375 662.80/666.80 c #Conflicts: 446000 | #Constraints: 26375 662.80/666.80 c INPROCESSING 662.80/666.80 c GARBAGE COLLECT 662.80/666.80 c rational objective 5 717.32/721.52 c #Conflicts: 447000 | #Constraints: 14134 717.32/721.52 c #Conflicts: 448000 | #Constraints: 15139 717.32/721.52 c #Conflicts: 449000 | #Constraints: 16144 717.32/721.52 c #Conflicts: 450000 | #Constraints: 17149 717.32/721.52 c #Conflicts: 451000 | #Constraints: 18152 717.32/721.52 c #Conflicts: 452000 | #Constraints: 19156 717.32/721.52 c #Conflicts: 453000 | #Constraints: 20157 717.32/721.52 c #Conflicts: 454000 | #Constraints: 21165 717.32/721.52 c #Conflicts: 455000 | #Constraints: 22167 717.32/721.52 c #Conflicts: 456000 | #Constraints: 23171 717.32/721.52 c #Conflicts: 457000 | #Constraints: 24174 717.32/721.52 c #Conflicts: 458000 | #Constraints: 25176 717.32/721.52 c #Conflicts: 459000 | #Constraints: 26178 717.32/721.52 c #Conflicts: 460000 | #Constraints: 27179 717.32/721.52 c INPROCESSING 717.32/721.52 c GARBAGE COLLECT 717.32/721.52 c rational objective 5 764.37/768.74 c #Conflicts: 461000 | #Constraints: 14734 764.37/768.74 c #Conflicts: 462000 | #Constraints: 15738 764.37/768.74 c #Conflicts: 463000 | #Constraints: 16744 764.37/768.74 c #Conflicts: 464000 | #Constraints: 17750 764.37/768.74 c #Conflicts: 465000 | #Constraints: 18756 764.37/768.74 c #Conflicts: 466000 | #Constraints: 19761 764.37/768.74 c #Conflicts: 467000 | #Constraints: 20766 764.37/768.74 c #Conflicts: 468000 | #Constraints: 21769 764.37/768.74 c #Conflicts: 469000 | #Constraints: 22770 764.37/768.74 c #Conflicts: 470000 | #Constraints: 23770 764.37/768.74 c #Conflicts: 471000 | #Constraints: 24773 764.37/768.74 c #Conflicts: 472000 | #Constraints: 25777 764.37/768.74 c #Conflicts: 473000 | #Constraints: 26783 764.37/768.74 c #Conflicts: 474000 | #Constraints: 27785 764.37/768.74 c INPROCESSING 764.37/768.74 c GARBAGE COLLECT 764.37/768.74 c rational objective 5 782.93/787.35 c #Conflicts: 475000 | #Constraints: 15149 782.93/787.35 c #Conflicts: 476000 | #Constraints: 16152 782.93/787.35 c #Conflicts: 477000 | #Constraints: 17158 782.93/787.35 c #Conflicts: 478000 | #Constraints: 18161 782.93/787.35 c #Conflicts: 479000 | #Constraints: 19163 782.93/787.35 c #Conflicts: 480000 | #Constraints: 20166 782.93/787.35 c #Conflicts: 481000 | #Constraints: 21175 782.93/787.35 c #Conflicts: 482000 | #Constraints: 22187 782.93/787.35 c #Conflicts: 483000 | #Constraints: 23190 782.93/787.35 c #Conflicts: 484000 | #Constraints: 24194 782.93/787.35 c #Conflicts: 485000 | #Constraints: 25200 782.93/787.35 c #Conflicts: 486000 | #Constraints: 26202 782.93/787.35 c #Conflicts: 487000 | #Constraints: 27203 782.93/787.35 c #Conflicts: 488000 | #Constraints: 28205 782.93/787.35 c INPROCESSING 782.93/787.35 c GARBAGE COLLECT 782.93/787.35 c rational objective 5 828.80/833.30 c #Conflicts: 489000 | #Constraints: 15349 828.80/833.30 c #Conflicts: 490000 | #Constraints: 16351 828.80/833.30 c #Conflicts: 491000 | #Constraints: 17357 828.80/833.30 c #Conflicts: 492000 | #Constraints: 18362 828.80/833.30 c #Conflicts: 493000 | #Constraints: 19366 828.80/833.30 c #Conflicts: 494000 | #Constraints: 20369 828.80/833.30 c #Conflicts: 495000 | #Constraints: 21374 828.80/833.30 c #Conflicts: 496000 | #Constraints: 22378 828.80/833.30 c #Conflicts: 497000 | #Constraints: 23382 828.80/833.30 c #Conflicts: 498000 | #Constraints: 24385 828.80/833.30 c #Conflicts: 499000 | #Constraints: 25387 828.80/833.30 c #Conflicts: 500000 | #Constraints: 26390 828.80/833.30 c #Conflicts: 501000 | #Constraints: 27393 828.80/833.30 c #Conflicts: 502000 | #Constraints: 28397 828.80/833.30 c INPROCESSING 828.80/833.30 c GARBAGE COLLECT 828.80/833.30 c rational objective 5 857.63/862.21 c #Conflicts: 503000 | #Constraints: 15339 857.63/862.21 c #Conflicts: 504000 | #Constraints: 16344 857.63/862.21 c #Conflicts: 505000 | #Constraints: 17353 857.63/862.21 c #Conflicts: 506000 | #Constraints: 18361 857.63/862.21 c #Conflicts: 507000 | #Constraints: 19369 857.63/862.21 c #Conflicts: 508000 | #Constraints: 20375 857.63/862.21 c #Conflicts: 509000 | #Constraints: 21378 857.63/862.21 c #Conflicts: 510000 | #Constraints: 22386 857.63/862.21 c #Conflicts: 511000 | #Constraints: 23389 857.63/862.21 c #Conflicts: 512000 | #Constraints: 24392 857.63/862.21 c #Conflicts: 513000 | #Constraints: 25398 857.63/862.21 c #Conflicts: 514000 | #Constraints: 26403 857.63/862.21 c #Conflicts: 515000 | #Constraints: 27408 857.63/862.21 c #Conflicts: 516000 | #Constraints: 28417 857.63/862.21 c INPROCESSING 857.63/862.21 c GARBAGE COLLECT 857.63/862.21 c rational objective 5 880.38/885.09 c #Conflicts: 517000 | #Constraints: 15137 880.38/885.09 c #Conflicts: 518000 | #Constraints: 16153 880.38/885.09 c #Conflicts: 519000 | #Constraints: 17160 880.38/885.09 c #Conflicts: 520000 | #Constraints: 18167 880.38/885.09 c #Conflicts: 521000 | #Constraints: 19168 880.38/885.09 c #Conflicts: 522000 | #Constraints: 20173 880.38/885.09 c #Conflicts: 523000 | #Constraints: 21182 880.38/885.09 c #Conflicts: 524000 | #Constraints: 22188 880.38/885.09 c #Conflicts: 525000 | #Constraints: 23190 880.38/885.09 c #Conflicts: 526000 | #Constraints: 24193 880.38/885.09 c #Conflicts: 527000 | #Constraints: 25199 880.38/885.09 c #Conflicts: 528000 | #Constraints: 26205 880.38/885.09 c #Conflicts: 529000 | #Constraints: 27212 880.38/885.09 c #Conflicts: 530000 | #Constraints: 28218 880.38/885.09 c #Conflicts: 531000 | #Constraints: 29220 880.38/885.09 c INPROCESSING 880.38/885.09 c GARBAGE COLLECT 880.38/885.09 c rational objective 5 905.71/910.46 c #Conflicts: 532000 | #Constraints: 15752 905.71/910.46 c #Conflicts: 533000 | #Constraints: 16759 905.71/910.46 c #Conflicts: 534000 | #Constraints: 17766 905.71/910.46 c #Conflicts: 535000 | #Constraints: 18772 905.71/910.46 c #Conflicts: 536000 | #Constraints: 19779 905.71/910.46 c #Conflicts: 537000 | #Constraints: 20786 905.71/910.46 c #Conflicts: 538000 | #Constraints: 21792 905.71/910.46 c #Conflicts: 539000 | #Constraints: 22796 905.71/910.46 c #Conflicts: 540000 | #Constraints: 23799 905.71/910.46 c #Conflicts: 541000 | #Constraints: 24803 905.71/910.46 c #Conflicts: 542000 | #Constraints: 25809 905.71/910.46 c #Conflicts: 543000 | #Constraints: 26814 905.71/910.46 c #Conflicts: 544000 | #Constraints: 27820 905.71/910.46 c #Conflicts: 545000 | #Constraints: 28825 905.71/910.46 c #Conflicts: 546000 | #Constraints: 29840 905.71/910.46 c INPROCESSING 905.71/910.46 c GARBAGE COLLECT 905.71/910.46 c rational objective 5 940.32/945.18 c #Conflicts: 547000 | #Constraints: 16164 940.32/945.18 c #Conflicts: 548000 | #Constraints: 17166 940.32/945.18 c #Conflicts: 549000 | #Constraints: 18167 940.32/945.18 c #Conflicts: 550000 | #Constraints: 19168 940.32/945.18 c #Conflicts: 551000 | #Constraints: 20174 940.32/945.18 c #Conflicts: 552000 | #Constraints: 21187 940.32/945.18 c #Conflicts: 553000 | #Constraints: 22196 940.32/945.18 c #Conflicts: 554000 | #Constraints: 23203 940.32/945.18 c #Conflicts: 555000 | #Constraints: 24209 940.32/945.18 c #Conflicts: 556000 | #Constraints: 25213 940.32/945.18 c #Conflicts: 557000 | #Constraints: 26217 940.32/945.18 c #Conflicts: 558000 | #Constraints: 27220 940.32/945.18 c #Conflicts: 559000 | #Constraints: 28228 940.32/945.18 c #Conflicts: 560000 | #Constraints: 29234 940.32/945.18 c #Conflicts: 561000 | #Constraints: 30239 940.32/945.18 c INPROCESSING 940.32/945.18 c GARBAGE COLLECT 940.32/945.18 c rational objective 5 962.27/967.13 c #Conflicts: 562000 | #Constraints: 16352 962.27/967.13 c #Conflicts: 563000 | #Constraints: 17357 962.27/967.13 c #Conflicts: 564000 | #Constraints: 18359 962.27/967.13 c #Conflicts: 565000 | #Constraints: 19362 962.27/967.13 c #Conflicts: 566000 | #Constraints: 20368 962.27/967.13 c #Conflicts: 567000 | #Constraints: 21377 962.27/967.13 c #Conflicts: 568000 | #Constraints: 22380 962.27/967.13 c #Conflicts: 569000 | #Constraints: 23383 962.27/967.13 c #Conflicts: 570000 | #Constraints: 24388 962.27/967.13 c #Conflicts: 571000 | #Constraints: 25395 962.27/967.13 c #Conflicts: 572000 | #Constraints: 26402 962.27/967.13 c #Conflicts: 573000 | #Constraints: 27406 962.27/967.13 c #Conflicts: 574000 | #Constraints: 28412 962.27/967.13 c #Conflicts: 575000 | #Constraints: 29415 962.27/967.13 c #Conflicts: 576000 | #Constraints: 30419 962.27/967.13 c INPROCESSING 962.27/967.13 c GARBAGE COLLECT 962.27/967.13 c rational objective 5 983.60/988.57 c #Conflicts: 577000 | #Constraints: 16336 983.60/988.57 c #Conflicts: 578000 | #Constraints: 17342 983.60/988.57 c #Conflicts: 579000 | #Constraints: 18345 983.60/988.57 c #Conflicts: 580000 | #Constraints: 19347 983.60/988.57 c #Conflicts: 581000 | #Constraints: 20354 983.60/988.57 c #Conflicts: 582000 | #Constraints: 21360 983.60/988.57 c #Conflicts: 583000 | #Constraints: 22366 983.60/988.57 c #Conflicts: 584000 | #Constraints: 23373 983.60/988.57 c #Conflicts: 585000 | #Constraints: 24376 983.60/988.57 c #Conflicts: 586000 | #Constraints: 25382 983.60/988.57 c #Conflicts: 587000 | #Constraints: 26388 983.60/988.57 c #Conflicts: 588000 | #Constraints: 27399 983.60/988.57 c #Conflicts: 589000 | #Constraints: 28404 983.60/988.57 c #Conflicts: 590000 | #Constraints: 29409 983.60/988.57 c #Conflicts: 591000 | #Constraints: 30415 983.60/988.57 c INPROCESSING 983.60/988.57 c GARBAGE COLLECT 983.60/988.57 c rational objective 5 1023.90/1028.97 c #Conflicts: 592000 | #Constraints: 16140 1023.90/1028.97 c #Conflicts: 593000 | #Constraints: 17150 1023.90/1028.97 c #Conflicts: 594000 | #Constraints: 18157 1023.90/1028.97 c #Conflicts: 595000 | #Constraints: 19161 1023.90/1028.97 c #Conflicts: 596000 | #Constraints: 20169 1023.90/1028.97 c #Conflicts: 597000 | #Constraints: 21176 1023.90/1028.97 c #Conflicts: 598000 | #Constraints: 22181 1023.90/1028.97 c #Conflicts: 599000 | #Constraints: 23186 1023.90/1028.97 c #Conflicts: 600000 | #Constraints: 24192 1023.90/1028.97 c #Conflicts: 601000 | #Constraints: 25196 1023.90/1028.97 c #Conflicts: 602000 | #Constraints: 26201 1023.90/1028.97 c #Conflicts: 603000 | #Constraints: 27206 1023.90/1028.97 c #Conflicts: 604000 | #Constraints: 28210 1023.90/1028.97 c #Conflicts: 605000 | #Constraints: 29212 1023.90/1028.97 c #Conflicts: 606000 | #Constraints: 30213 1023.90/1028.97 c #Conflicts: 607000 | #Constraints: 31217 1023.90/1028.97 c INPROCESSING 1023.90/1028.97 c GARBAGE COLLECT 1023.90/1028.97 c rational objective 5 1079.26/1084.41 c #Conflicts: 608000 | #Constraints: 16753 1079.26/1084.41 c #Conflicts: 609000 | #Constraints: 17760 1079.26/1084.41 c #Conflicts: 610000 | #Constraints: 18768 1079.26/1084.41 c #Conflicts: 611000 | #Constraints: 19770 1079.26/1084.41 c #Conflicts: 612000 | #Constraints: 20779 1079.26/1084.41 c #Conflicts: 613000 | #Constraints: 21787 1079.26/1084.41 c #Conflicts: 614000 | #Constraints: 22790 1079.26/1084.41 c #Conflicts: 615000 | #Constraints: 23798 1079.26/1084.41 c #Conflicts: 616000 | #Constraints: 24803 1079.26/1084.41 c #Conflicts: 617000 | #Constraints: 25806 1079.26/1084.41 c #Conflicts: 618000 | #Constraints: 26813 1079.26/1084.41 c #Conflicts: 619000 | #Constraints: 27816 1079.26/1084.41 c #Conflicts: 620000 | #Constraints: 28822 1079.26/1084.41 c #Conflicts: 621000 | #Constraints: 29827 1079.26/1084.41 c #Conflicts: 622000 | #Constraints: 30829 1079.26/1084.41 c #Conflicts: 623000 | #Constraints: 31832 1079.26/1084.41 c INPROCESSING 1079.26/1084.41 c GARBAGE COLLECT 1079.26/1084.41 c rational objective 5 1106.19/1111.44 c #Conflicts: 624000 | #Constraints: 17152 1106.19/1111.44 c #Conflicts: 625000 | #Constraints: 18163 1106.19/1111.44 c #Conflicts: 626000 | #Constraints: 19166 1106.19/1111.44 c #Conflicts: 627000 | #Constraints: 20171 1106.19/1111.44 c #Conflicts: 628000 | #Constraints: 21173 1106.19/1111.44 c #Conflicts: 629000 | #Constraints: 22181 1106.19/1111.44 c #Conflicts: 630000 | #Constraints: 23186 1106.19/1111.44 c #Conflicts: 631000 | #Constraints: 24193 1106.19/1111.44 c #Conflicts: 632000 | #Constraints: 25201 1106.19/1111.44 c #Conflicts: 633000 | #Constraints: 26207 1106.19/1111.44 c #Conflicts: 634000 | #Constraints: 27213 1106.19/1111.44 c #Conflicts: 635000 | #Constraints: 28216 1106.19/1111.44 c #Conflicts: 636000 | #Constraints: 29223 1106.19/1111.44 c #Conflicts: 637000 | #Constraints: 30229 1106.19/1111.44 c #Conflicts: 638000 | #Constraints: 31234 1106.19/1111.44 c #Conflicts: 639000 | #Constraints: 32241 1106.19/1111.44 c INPROCESSING 1106.19/1111.44 c GARBAGE COLLECT 1106.19/1111.44 c rational objective 5 1131.92/1137.27 c #Conflicts: 640000 | #Constraints: 17356 1131.92/1137.27 c #Conflicts: 641000 | #Constraints: 18359 1131.92/1137.27 c #Conflicts: 642000 | #Constraints: 19366 1131.92/1137.27 c #Conflicts: 643000 | #Constraints: 20373 1131.92/1137.27 c #Conflicts: 644000 | #Constraints: 21380 1131.92/1137.27 c #Conflicts: 645000 | #Constraints: 22387 1131.92/1137.27 c #Conflicts: 646000 | #Constraints: 23392 1131.92/1137.27 c #Conflicts: 647000 | #Constraints: 24399 1131.92/1137.27 c #Conflicts: 648000 | #Constraints: 25405 1131.92/1137.27 c #Conflicts: 649000 | #Constraints: 26411 1131.92/1137.27 c #Conflicts: 650000 | #Constraints: 27414 1131.92/1137.27 c #Conflicts: 651000 | #Constraints: 28416 1131.92/1137.27 c #Conflicts: 652000 | #Constraints: 29417 1131.92/1137.27 c #Conflicts: 653000 | #Constraints: 30422 1131.92/1137.27 c #Conflicts: 654000 | #Constraints: 31428 1131.92/1137.27 c #Conflicts: 655000 | #Constraints: 32437 1131.92/1137.27 c INPROCESSING 1131.92/1137.27 c GARBAGE COLLECT 1131.92/1137.27 c rational objective 5 1156.77/1162.19 c #Conflicts: 656000 | #Constraints: 17363 1156.77/1162.19 c #Conflicts: 657000 | #Constraints: 18370 1156.77/1162.19 c #Conflicts: 658000 | #Constraints: 19379 1156.77/1162.19 c #Conflicts: 659000 | #Constraints: 20383 1156.77/1162.19 c #Conflicts: 660000 | #Constraints: 21387 1156.77/1162.19 c #Conflicts: 661000 | #Constraints: 22397 1156.77/1162.19 c #Conflicts: 662000 | #Constraints: 23406 1156.77/1162.19 c #Conflicts: 663000 | #Constraints: 24411 1156.77/1162.19 c #Conflicts: 664000 | #Constraints: 25417 1156.77/1162.19 c #Conflicts: 665000 | #Constraints: 26423 1156.77/1162.19 c #Conflicts: 666000 | #Constraints: 27429 1156.77/1162.19 c #Conflicts: 667000 | #Constraints: 28431 1156.77/1162.19 c #Conflicts: 668000 | #Constraints: 29435 1156.77/1162.19 c #Conflicts: 669000 | #Constraints: 30437 1156.77/1162.19 c #Conflicts: 670000 | #Constraints: 31444 1156.77/1162.19 c #Conflicts: 671000 | #Constraints: 32449 1156.77/1162.19 c INPROCESSING 1156.77/1162.19 c GARBAGE COLLECT 1156.77/1162.19 c rational objective 5 1188.48/1193.92 c #Conflicts: 672000 | #Constraints: 17161 1188.48/1193.92 c #Conflicts: 673000 | #Constraints: 18170 1188.48/1193.92 c #Conflicts: 674000 | #Constraints: 19176 1188.48/1193.92 c #Conflicts: 675000 | #Constraints: 20184 1188.48/1193.92 c #Conflicts: 676000 | #Constraints: 21189 1188.48/1193.92 c #Conflicts: 677000 | #Constraints: 22190 1188.48/1193.92 c #Conflicts: 678000 | #Constraints: 23194 1188.48/1193.92 c #Conflicts: 679000 | #Constraints: 24199 1188.48/1193.92 c #Conflicts: 680000 | #Constraints: 25204 1188.48/1193.92 c #Conflicts: 681000 | #Constraints: 26208 1188.48/1193.92 c #Conflicts: 682000 | #Constraints: 27211 1188.48/1193.92 c #Conflicts: 683000 | #Constraints: 28216 1188.48/1193.92 c #Conflicts: 684000 | #Constraints: 29221 1188.48/1193.92 c #Conflicts: 685000 | #Constraints: 30226 1188.48/1193.92 c #Conflicts: 686000 | #Constraints: 31234 1188.48/1193.92 c #Conflicts: 687000 | #Constraints: 32244 1188.48/1193.92 c #Conflicts: 688000 | #Constraints: 33246 1188.48/1193.92 c INPROCESSING 1188.48/1193.92 c GARBAGE COLLECT 1188.48/1193.92 c rational objective 5 1223.19/1228.75 c #Conflicts: 689000 | #Constraints: 17758 1223.19/1228.75 c #Conflicts: 690000 | #Constraints: 18764 1223.19/1228.75 c #Conflicts: 691000 | #Constraints: 19770 1223.19/1228.75 c #Conflicts: 692000 | #Constraints: 20775 1223.19/1228.75 c #Conflicts: 693000 | #Constraints: 21777 1223.19/1228.75 c #Conflicts: 694000 | #Constraints: 22789 1223.19/1228.75 c #Conflicts: 695000 | #Constraints: 23796 1223.19/1228.75 c #Conflicts: 696000 | #Constraints: 24809 1223.19/1228.75 c #Conflicts: 697000 | #Constraints: 25817 1223.19/1228.75 c #Conflicts: 698000 | #Constraints: 26823 1223.19/1228.75 c #Conflicts: 699000 | #Constraints: 27830 1223.19/1228.75 c #Conflicts: 700000 | #Constraints: 28840 1223.19/1228.75 c #Conflicts: 701000 | #Constraints: 29844 1223.19/1228.75 c #Conflicts: 702000 | #Constraints: 30850 1223.19/1228.75 c #Conflicts: 703000 | #Constraints: 31859 1223.19/1228.75 c #Conflicts: 704000 | #Constraints: 32867 1223.19/1228.75 c #Conflicts: 705000 | #Constraints: 33875 1223.19/1228.75 c INPROCESSING 1223.19/1228.75 c GARBAGE COLLECT 1223.19/1228.75 c rational objective 5 1273.95/1279.62 c #Conflicts: 706000 | #Constraints: 18177 1273.95/1279.62 c #Conflicts: 707000 | #Constraints: 19182 1273.95/1279.62 c #Conflicts: 708000 | #Constraints: 20188 1273.95/1279.62 c #Conflicts: 709000 | #Constraints: 21196 1273.95/1279.62 c #Conflicts: 710000 | #Constraints: 22203 1273.95/1279.62 c #Conflicts: 711000 | #Constraints: 23207 1273.95/1279.62 c #Conflicts: 712000 | #Constraints: 24214 1273.95/1279.62 c #Conflicts: 713000 | #Constraints: 25218 1273.95/1279.62 c #Conflicts: 714000 | #Constraints: 26221 1273.95/1279.62 c #Conflicts: 715000 | #Constraints: 27228 1273.95/1279.62 c #Conflicts: 716000 | #Constraints: 28233 1273.95/1279.62 c #Conflicts: 717000 | #Constraints: 29235 1273.95/1279.62 c #Conflicts: 718000 | #Constraints: 30240 1273.95/1279.62 c #Conflicts: 719000 | #Constraints: 31250 1273.95/1279.62 c #Conflicts: 720000 | #Constraints: 32256 1273.95/1279.62 c #Conflicts: 721000 | #Constraints: 33261 1273.95/1279.62 c #Conflicts: 722000 | #Constraints: 34267 1273.95/1279.62 c INPROCESSING 1273.95/1279.62 c GARBAGE COLLECT 1273.95/1279.62 c rational objective 5 1361.48/1367.44 c #Conflicts: 723000 | #Constraints: 18376 1361.48/1367.44 c #Conflicts: 724000 | #Constraints: 19386 1361.48/1367.44 c #Conflicts: 725000 | #Constraints: 20390 1361.48/1367.44 c #Conflicts: 726000 | #Constraints: 21395 1361.48/1367.44 c #Conflicts: 727000 | #Constraints: 22399 1361.48/1367.44 c #Conflicts: 728000 | #Constraints: 23406 1361.48/1367.44 c #Conflicts: 729000 | #Constraints: 24412 1361.48/1367.44 c #Conflicts: 730000 | #Constraints: 25416 1361.48/1367.44 c #Conflicts: 731000 | #Constraints: 26418 1361.48/1367.44 c #Conflicts: 732000 | #Constraints: 27423 1361.48/1367.44 c #Conflicts: 733000 | #Constraints: 28426 1361.48/1367.44 c #Conflicts: 734000 | #Constraints: 29432 1361.48/1367.44 c #Conflicts: 735000 | #Constraints: 30434 1361.48/1367.44 c #Conflicts: 736000 | #Constraints: 31436 1361.48/1367.44 c #Conflicts: 737000 | #Constraints: 32439 1361.48/1367.44 c #Conflicts: 738000 | #Constraints: 33443 1361.48/1367.44 c #Conflicts: 739000 | #Constraints: 34447 1361.48/1367.44 c INPROCESSING 1361.48/1367.44 c GARBAGE COLLECT 1361.48/1367.44 c rational objective 5 1403.23/1409.36 c #Conflicts: 740000 | #Constraints: 18356 1403.23/1409.36 c #Conflicts: 741000 | #Constraints: 19360 1403.23/1409.36 c #Conflicts: 742000 | #Constraints: 20360 1403.23/1409.36 c #Conflicts: 743000 | #Constraints: 21362 1403.23/1409.36 c #Conflicts: 744000 | #Constraints: 22366 1403.23/1409.36 c #Conflicts: 745000 | #Constraints: 23370 1403.23/1409.36 c #Conflicts: 746000 | #Constraints: 24373 1403.23/1409.36 c #Conflicts: 747000 | #Constraints: 25373 1403.23/1409.36 c #Conflicts: 748000 | #Constraints: 26373 1403.23/1409.36 c #Conflicts: 749000 | #Constraints: 27373 1403.23/1409.36 c #Conflicts: 750000 | #Constraints: 28373 1403.23/1409.36 c #Conflicts: 751000 | #Constraints: 29374 1403.23/1409.36 c #Conflicts: 752000 | #Constraints: 30380 1403.23/1409.36 c #Conflicts: 753000 | #Constraints: 31389 1403.23/1409.36 c #Conflicts: 754000 | #Constraints: 32394 1403.23/1409.36 c #Conflicts: 755000 | #Constraints: 33398 1403.23/1409.36 c #Conflicts: 756000 | #Constraints: 34403 1403.23/1409.36 c INPROCESSING 1403.23/1409.36 c GARBAGE COLLECT 1403.23/1409.36 c rational objective 5 1431.74/1437.98 c #Conflicts: 757000 | #Constraints: 18143 1431.74/1437.98 c #Conflicts: 758000 | #Constraints: 19150 1431.74/1437.98 c #Conflicts: 759000 | #Constraints: 20155 1431.74/1437.98 c #Conflicts: 760000 | #Constraints: 21163 1431.74/1437.98 c #Conflicts: 761000 | #Constraints: 22168 1431.74/1437.98 c #Conflicts: 762000 | #Constraints: 23173 1431.74/1437.98 c #Conflicts: 763000 | #Constraints: 24177 1431.74/1437.98 c #Conflicts: 764000 | #Constraints: 25178 1431.74/1437.98 c #Conflicts: 765000 | #Constraints: 26183 1431.74/1437.98 c #Conflicts: 766000 | #Constraints: 27192 1431.74/1437.98 c #Conflicts: 767000 | #Constraints: 28199 1431.74/1437.98 c #Conflicts: 768000 | #Constraints: 29204 1431.74/1437.98 c #Conflicts: 769000 | #Constraints: 30211 1431.74/1437.98 c #Conflicts: 770000 | #Constraints: 31216 1431.74/1437.98 c #Conflicts: 771000 | #Constraints: 32219 1431.74/1437.98 c #Conflicts: 772000 | #Constraints: 33224 1431.74/1437.98 c #Conflicts: 773000 | #Constraints: 34229 1431.74/1437.98 c #Conflicts: 774000 | #Constraints: 35234 1431.74/1437.98 c INPROCESSING 1431.74/1437.98 c GARBAGE COLLECT 1431.74/1437.98 c rational objective 5 1462.04/1468.35 c #Conflicts: 775000 | #Constraints: 18755 1462.04/1468.35 c #Conflicts: 776000 | #Constraints: 19764 1462.04/1468.35 c #Conflicts: 777000 | #Constraints: 20770 1462.04/1468.35 c #Conflicts: 778000 | #Constraints: 21776 1462.04/1468.35 c #Conflicts: 779000 | #Constraints: 22783 1462.04/1468.35 c #Conflicts: 780000 | #Constraints: 23791 1462.04/1468.35 c #Conflicts: 781000 | #Constraints: 24796 1462.04/1468.35 c #Conflicts: 782000 | #Constraints: 25798 1462.04/1468.35 c #Conflicts: 783000 | #Constraints: 26800 1462.04/1468.35 c #Conflicts: 784000 | #Constraints: 27804 1462.04/1468.35 c #Conflicts: 785000 | #Constraints: 28806 1462.04/1468.35 c #Conflicts: 786000 | #Constraints: 29809 1462.04/1468.35 c #Conflicts: 787000 | #Constraints: 30818 1462.04/1468.35 c #Conflicts: 788000 | #Constraints: 31825 1462.04/1468.35 c #Conflicts: 789000 | #Constraints: 32831 1462.04/1468.35 c #Conflicts: 790000 | #Constraints: 33838 1462.04/1468.35 c #Conflicts: 791000 | #Constraints: 34846 1462.04/1468.35 c #Conflicts: 792000 | #Constraints: 35854 1462.04/1468.35 c INPROCESSING 1462.04/1468.35 c GARBAGE COLLECT 1462.04/1468.35 c rational objective 5 1497.78/1504.25 c #Conflicts: 793000 | #Constraints: 19170 1497.78/1504.25 c #Conflicts: 794000 | #Constraints: 20172 1497.78/1504.25 c #Conflicts: 795000 | #Constraints: 21178 1497.78/1504.25 c #Conflicts: 796000 | #Constraints: 22185 1497.78/1504.25 c #Conflicts: 797000 | #Constraints: 23193 1497.78/1504.25 c #Conflicts: 798000 | #Constraints: 24198 1497.78/1504.25 c #Conflicts: 799000 | #Constraints: 25204 1497.78/1504.25 c #Conflicts: 800000 | #Constraints: 26208 1497.78/1504.25 c #Conflicts: 801000 | #Constraints: 27213 1497.78/1504.25 c #Conflicts: 802000 | #Constraints: 28219 1497.78/1504.25 c #Conflicts: 803000 | #Constraints: 29226 1497.78/1504.25 c #Conflicts: 804000 | #Constraints: 30236 1497.78/1504.25 c #Conflicts: 805000 | #Constraints: 31262 1497.78/1504.25 c #Conflicts: 806000 | #Constraints: 32273 1497.78/1504.25 c #Conflicts: 807000 | #Constraints: 33285 1497.78/1504.25 c #Conflicts: 808000 | #Constraints: 34290 1497.78/1504.25 c #Conflicts: 809000 | #Constraints: 35294 1497.78/1504.25 c #Conflicts: 810000 | #Constraints: 36302 1497.78/1504.25 c INPROCESSING 1497.78/1504.25 c GARBAGE COLLECT 1497.78/1504.25 c rational objective 5 1530.76/1537.31 c #Conflicts: 811000 | #Constraints: 19389 1530.76/1537.31 c #Conflicts: 812000 | #Constraints: 20397 1530.76/1537.31 c #Conflicts: 813000 | #Constraints: 21402 1530.76/1537.31 c #Conflicts: 814000 | #Constraints: 22410 1530.76/1537.31 c #Conflicts: 815000 | #Constraints: 23423 1530.76/1537.31 c #Conflicts: 816000 | #Constraints: 24429 1530.76/1537.31 c #Conflicts: 817000 | #Constraints: 25432 1530.76/1537.31 c #Conflicts: 818000 | #Constraints: 26437 1530.76/1537.31 c #Conflicts: 819000 | #Constraints: 27447 1530.76/1537.31 c #Conflicts: 820000 | #Constraints: 28455 1530.76/1537.31 c #Conflicts: 821000 | #Constraints: 29470 1530.76/1537.31 c #Conflicts: 822000 | #Constraints: 30481 1530.76/1537.31 c #Conflicts: 823000 | #Constraints: 31486 1530.76/1537.31 c #Conflicts: 824000 | #Constraints: 32490 1530.76/1537.31 c #Conflicts: 825000 | #Constraints: 33498 1530.76/1537.31 c #Conflicts: 826000 | #Constraints: 34503 1530.76/1537.31 c #Conflicts: 827000 | #Constraints: 35507 1530.76/1537.31 c #Conflicts: 828000 | #Constraints: 36511 1530.76/1537.31 c INPROCESSING 1530.76/1537.31 c GARBAGE COLLECT 1530.76/1537.31 c rational objective 5 1600.40/1607.23 c #Conflicts: 829000 | #Constraints: 19409 1600.40/1607.23 c #Conflicts: 830000 | #Constraints: 20437 1600.40/1607.23 c #Conflicts: 831000 | #Constraints: 21454 1600.40/1607.23 c #Conflicts: 832000 | #Constraints: 22457 1600.40/1607.23 c #Conflicts: 833000 | #Constraints: 23466 1600.40/1607.23 c #Conflicts: 834000 | #Constraints: 24473 1600.40/1607.23 c #Conflicts: 835000 | #Constraints: 25477 1600.40/1607.23 c #Conflicts: 836000 | #Constraints: 26481 1600.40/1607.23 c #Conflicts: 837000 | #Constraints: 27486 1600.40/1607.23 c #Conflicts: 838000 | #Constraints: 28489 1600.40/1607.23 c #Conflicts: 839000 | #Constraints: 29496 1600.40/1607.23 c #Conflicts: 840000 | #Constraints: 30501 1600.40/1607.23 c #Conflicts: 841000 | #Constraints: 31501 1600.40/1607.23 c #Conflicts: 842000 | #Constraints: 32504 1600.40/1607.23 c #Conflicts: 843000 | #Constraints: 33509 1600.40/1607.23 c #Conflicts: 844000 | #Constraints: 34511 1600.40/1607.23 c #Conflicts: 845000 | #Constraints: 35514 1600.40/1607.23 c #Conflicts: 846000 | #Constraints: 36518 1600.40/1607.23 c INPROCESSING 1600.40/1607.23 c GARBAGE COLLECT 1600.40/1607.23 c rational objective 5 1636.33/1643.37 c #Conflicts: 847000 | #Constraints: 19199 1636.33/1643.37 c #Conflicts: 848000 | #Constraints: 20202 1636.33/1643.37 c #Conflicts: 849000 | #Constraints: 21206 1636.33/1643.37 c #Conflicts: 850000 | #Constraints: 22213 1636.33/1643.37 c #Conflicts: 851000 | #Constraints: 23220 1636.33/1643.37 c #Conflicts: 852000 | #Constraints: 24230 1636.33/1643.37 c #Conflicts: 853000 | #Constraints: 25235 1636.33/1643.37 c #Conflicts: 854000 | #Constraints: 26239 1636.33/1643.37 c #Conflicts: 855000 | #Constraints: 27244 1636.33/1643.37 c #Conflicts: 856000 | #Constraints: 28250 1636.33/1643.37 c #Conflicts: 857000 | #Constraints: 29257 1636.33/1643.37 c #Conflicts: 858000 | #Constraints: 30267 1636.33/1643.37 c #Conflicts: 859000 | #Constraints: 31272 1636.33/1643.37 c #Conflicts: 860000 | #Constraints: 32281 1636.33/1643.37 c #Conflicts: 861000 | #Constraints: 33286 1636.33/1643.37 c #Conflicts: 862000 | #Constraints: 34293 1636.33/1643.37 c #Conflicts: 863000 | #Constraints: 35305 1636.33/1643.37 c #Conflicts: 864000 | #Constraints: 36311 1636.33/1643.37 c #Conflicts: 865000 | #Constraints: 37317 1636.33/1643.37 c INPROCESSING 1636.33/1643.37 c GARBAGE COLLECT 1636.33/1643.37 c rational objective 5 1674.10/1681.22 c #Conflicts: 866000 | #Constraints: 19802 1674.10/1681.22 c #Conflicts: 867000 | #Constraints: 20806 1674.10/1681.22 c #Conflicts: 868000 | #Constraints: 21812 1674.10/1681.22 c #Conflicts: 869000 | #Constraints: 22817 1674.10/1681.22 c #Conflicts: 870000 | #Constraints: 23825 1674.10/1681.22 c #Conflicts: 871000 | #Constraints: 24832 1674.10/1681.22 c #Conflicts: 872000 | #Constraints: 25840 1674.10/1681.22 c #Conflicts: 873000 | #Constraints: 26849 1674.10/1681.22 c #Conflicts: 874000 | #Constraints: 27856 1674.10/1681.22 c #Conflicts: 875000 | #Constraints: 28857 1674.10/1681.22 c #Conflicts: 876000 | #Constraints: 29862 1674.10/1681.22 c #Conflicts: 877000 | #Constraints: 30872 1674.10/1681.22 c #Conflicts: 878000 | #Constraints: 31877 1674.10/1681.22 c #Conflicts: 879000 | #Constraints: 32879 1674.10/1681.22 c #Conflicts: 880000 | #Constraints: 33885 1674.10/1681.22 c #Conflicts: 881000 | #Constraints: 34889 1674.10/1681.22 c #Conflicts: 882000 | #Constraints: 35894 1674.10/1681.22 c #Conflicts: 883000 | #Constraints: 36899 1674.10/1681.22 c #Conflicts: 884000 | #Constraints: 37903 1674.10/1681.22 c INPROCESSING 1674.10/1681.22 c GARBAGE COLLECT 1674.10/1681.22 c rational objective 5 1720.43/1727.74 c #Conflicts: 885000 | #Constraints: 20189 1720.43/1727.74 c #Conflicts: 886000 | #Constraints: 21194 1720.43/1727.74 c #Conflicts: 887000 | #Constraints: 22197 1720.43/1727.74 c #Conflicts: 888000 | #Constraints: 23202 1720.43/1727.74 c #Conflicts: 889000 | #Constraints: 24206 1720.43/1727.74 c #Conflicts: 890000 | #Constraints: 25208 1720.43/1727.74 c #Conflicts: 891000 | #Constraints: 26214 1720.43/1727.74 c #Conflicts: 892000 | #Constraints: 27222 1720.43/1727.74 c #Conflicts: 893000 | #Constraints: 28233 1720.43/1727.74 c #Conflicts: 894000 | #Constraints: 29243 1720.43/1727.74 c #Conflicts: 895000 | #Constraints: 30246 1720.43/1727.74 c #Conflicts: 896000 | #Constraints: 31252 1720.43/1727.74 c #Conflicts: 897000 | #Constraints: 32264 1720.43/1727.74 c #Conflicts: 898000 | #Constraints: 33271 1720.43/1727.74 c #Conflicts: 899000 | #Constraints: 34281 1720.43/1727.74 c #Conflicts: 900000 | #Constraints: 35286 1720.43/1727.74 c #Conflicts: 901000 | #Constraints: 36291 1720.43/1727.74 c #Conflicts: 902000 | #Constraints: 37295 1720.43/1727.74 c #Conflicts: 903000 | #Constraints: 38298 1720.43/1727.74 c INPROCESSING 1720.43/1727.74 c GARBAGE COLLECT 1720.43/1727.74 c rational objective 5 1760.87/1768.35 c #Conflicts: 904000 | #Constraints: 20383 1760.87/1768.35 c #Conflicts: 905000 | #Constraints: 21388 1760.87/1768.35 c #Conflicts: 906000 | #Constraints: 22393 1760.87/1768.35 c #Conflicts: 907000 | #Constraints: 23396 1760.87/1768.35 c #Conflicts: 908000 | #Constraints: 24400 1760.87/1768.35 c #Conflicts: 909000 | #Constraints: 25405 1760.87/1768.35 c #Conflicts: 910000 | #Constraints: 26409 1760.87/1768.35 c #Conflicts: 911000 | #Constraints: 27415 1760.87/1768.35 c #Conflicts: 912000 | #Constraints: 28421 1760.87/1768.35 c #Conflicts: 913000 | #Constraints: 29430 1760.87/1768.35 c #Conflicts: 914000 | #Constraints: 30433 1760.87/1768.35 c #Conflicts: 915000 | #Constraints: 31436 1760.87/1768.35 c #Conflicts: 916000 | #Constraints: 32442 1760.87/1768.35 c #Conflicts: 917000 | #Constraints: 33443 1760.87/1768.35 c #Conflicts: 918000 | #Constraints: 34450 1760.87/1768.35 c #Conflicts: 919000 | #Constraints: 35452 1760.87/1768.35 c #Conflicts: 920000 | #Constraints: 36459 1760.87/1768.35 c #Conflicts: 921000 | #Constraints: 37472 1760.87/1768.35 c #Conflicts: 922000 | #Constraints: 38477 1760.87/1768.35 c INPROCESSING 1760.87/1768.35 c GARBAGE COLLECT 1760.87/1768.35 c rational objective 5 1815.15/1822.84 c #Conflicts: 923000 | #Constraints: 20381 1815.15/1822.84 c #Conflicts: 924000 | #Constraints: 21388 1815.15/1822.84 c #Conflicts: 925000 | #Constraints: 22390 1815.15/1822.84 c #Conflicts: 926000 | #Constraints: 23399 1815.15/1822.84 c #Conflicts: 927000 | #Constraints: 24405 1815.15/1822.84 c #Conflicts: 928000 | #Constraints: 25408 1815.15/1822.84 c #Conflicts: 929000 | #Constraints: 26415 1815.15/1822.84 c #Conflicts: 930000 | #Constraints: 27417 1815.15/1822.84 c #Conflicts: 931000 | #Constraints: 28420 1815.15/1822.84 c #Conflicts: 932000 | #Constraints: 29423 1815.15/1822.84 c #Conflicts: 933000 | #Constraints: 30425 1815.15/1822.84 c #Conflicts: 934000 | #Constraints: 31428 1815.15/1822.84 c #Conflicts: 935000 | #Constraints: 32431 1815.15/1822.84 c #Conflicts: 936000 | #Constraints: 33442 1815.15/1822.84 c #Conflicts: 937000 | #Constraints: 34449 1815.15/1822.84 c #Conflicts: 938000 | #Constraints: 35456 1815.15/1822.84 c #Conflicts: 939000 | #Constraints: 36462 1815.15/1822.84 c #Conflicts: 940000 | #Constraints: 37468 1815.15/1822.84 c #Conflicts: 941000 | #Constraints: 38477 1815.15/1822.84 c INPROCESSING 1815.15/1822.84 c GARBAGE COLLECT 1815.15/1822.84 c rational objective 5 1879.38/1887.32 c #Conflicts: 942000 | #Constraints: 20177 1879.38/1887.32 c #Conflicts: 943000 | #Constraints: 21182 1879.38/1887.32 c #Conflicts: 944000 | #Constraints: 22190 1879.38/1887.32 c #Conflicts: 945000 | #Constraints: 23196 1879.38/1887.32 c #Conflicts: 946000 | #Constraints: 24200 1879.38/1887.32 c #Conflicts: 947000 | #Constraints: 25204 1879.38/1887.32 c #Conflicts: 948000 | #Constraints: 26207 1879.38/1887.32 c #Conflicts: 949000 | #Constraints: 27214 1879.38/1887.32 c #Conflicts: 950000 | #Constraints: 28218 1879.38/1887.32 c #Conflicts: 951000 | #Constraints: 29222 1879.38/1887.32 c #Conflicts: 952000 | #Constraints: 30226 1879.38/1887.32 c #Conflicts: 953000 | #Constraints: 31233 1879.38/1887.32 c #Conflicts: 954000 | #Constraints: 32236 1879.38/1887.32 c #Conflicts: 955000 | #Constraints: 33240 1879.38/1887.32 c #Conflicts: 956000 | #Constraints: 34243 1879.38/1887.32 c #Conflicts: 957000 | #Constraints: 35247 1879.38/1887.32 c #Conflicts: 958000 | #Constraints: 36249 1879.38/1887.32 c #Conflicts: 959000 | #Constraints: 37252 1879.38/1887.32 c #Conflicts: 960000 | #Constraints: 38255 1879.38/1887.32 c #Conflicts: 961000 | #Constraints: 39258 1879.38/1887.32 c INPROCESSING 1879.38/1887.32 c GARBAGE COLLECT 1879.38/1887.32 c rational objective 5 1955.60/1963.82 c #Conflicts: 962000 | #Constraints: 20778 1955.60/1963.82 c #Conflicts: 963000 | #Constraints: 21784 1955.60/1963.82 c #Conflicts: 964000 | #Constraints: 22787 1955.60/1963.82 c #Conflicts: 965000 | #Constraints: 23792 1955.60/1963.82 c #Conflicts: 966000 | #Constraints: 24793 1955.60/1963.82 c #Conflicts: 967000 | #Constraints: 25798 1955.60/1963.82 c #Conflicts: 968000 | #Constraints: 26799 1955.60/1963.82 c #Conflicts: 969000 | #Constraints: 27806 1955.60/1963.82 c #Conflicts: 970000 | #Constraints: 28811 1955.60/1963.82 c #Conflicts: 971000 | #Constraints: 29816 1955.60/1963.82 c #Conflicts: 972000 | #Constraints: 30820 1955.60/1963.82 c #Conflicts: 973000 | #Constraints: 31825 1955.60/1963.82 c #Conflicts: 974000 | #Constraints: 32827 1955.60/1963.82 c #Conflicts: 975000 | #Constraints: 33830 1955.60/1963.82 c #Conflicts: 976000 | #Constraints: 34833 1955.60/1963.82 c #Conflicts: 977000 | #Constraints: 35837 1955.60/1963.82 c #Conflicts: 978000 | #Constraints: 36844 1955.60/1963.82 c #Conflicts: 979000 | #Constraints: 37849 1955.60/1963.82 c #Conflicts: 980000 | #Constraints: 38853 1955.60/1963.82 c #Conflicts: 981000 | #Constraints: 39855 1955.60/1963.82 c INPROCESSING 1955.60/1963.82 c GARBAGE COLLECT 1955.60/1963.82 c rational objective 5 2042.51/2051.02 c #Conflicts: 982000 | #Constraints: 21159 2042.51/2051.02 c #Conflicts: 983000 | #Constraints: 22167 2042.51/2051.02 c #Conflicts: 984000 | #Constraints: 23173 2042.51/2051.02 c #Conflicts: 985000 | #Constraints: 24182 2042.51/2051.02 c #Conflicts: 986000 | #Constraints: 25190 2042.51/2051.02 c #Conflicts: 987000 | #Constraints: 26196 2042.51/2051.02 c #Conflicts: 988000 | #Constraints: 27200 2042.51/2051.02 c #Conflicts: 989000 | #Constraints: 28204 2042.51/2051.02 c #Conflicts: 990000 | #Constraints: 29207 2042.51/2051.02 c #Conflicts: 991000 | #Constraints: 30210 2042.51/2051.02 c #Conflicts: 992000 | #Constraints: 31214 2042.51/2051.02 c #Conflicts: 993000 | #Constraints: 32217 2042.51/2051.02 c #Conflicts: 994000 | #Constraints: 33223 2042.51/2051.02 c #Conflicts: 995000 | #Constraints: 34227 2042.51/2051.02 c #Conflicts: 996000 | #Constraints: 35232 2042.51/2051.02 c #Conflicts: 997000 | #Constraints: 36236 2042.51/2051.02 c #Conflicts: 998000 | #Constraints: 37239 2042.51/2051.02 c #Conflicts: 999000 | #Constraints: 38243 2042.51/2051.02 c #Conflicts: 1000000 | #Constraints: 39248 2042.51/2051.02 c #Conflicts: 1001000 | #Constraints: 40251 2042.51/2051.02 c INPROCESSING 2042.51/2051.02 c GARBAGE COLLECT 2042.51/2051.02 c rational objective 5 2122.61/2131.47 c #Conflicts: 1002000 | #Constraints: 21364 2122.61/2131.47 c #Conflicts: 1003000 | #Constraints: 22368 2122.61/2131.47 c #Conflicts: 1004000 | #Constraints: 23374 2122.61/2131.47 c #Conflicts: 1005000 | #Constraints: 24380 2122.61/2131.47 c #Conflicts: 1006000 | #Constraints: 25383 2122.61/2131.47 c #Conflicts: 1007000 | #Constraints: 26386 2122.61/2131.47 c #Conflicts: 1008000 | #Constraints: 27389 2122.61/2131.47 c #Conflicts: 1009000 | #Constraints: 28395 2122.61/2131.47 c #Conflicts: 1010000 | #Constraints: 29401 2122.61/2131.47 c #Conflicts: 1011000 | #Constraints: 30408 2122.61/2131.47 c #Conflicts: 1012000 | #Constraints: 31414 2122.61/2131.47 c #Conflicts: 1013000 | #Constraints: 32418 2122.61/2131.47 c #Conflicts: 1014000 | #Constraints: 33421 2122.61/2131.47 c #Conflicts: 1015000 | #Constraints: 34425 2122.61/2131.47 c #Conflicts: 1016000 | #Constraints: 35427 2122.61/2131.47 c #Conflicts: 1017000 | #Constraints: 36432 2122.61/2131.47 c #Conflicts: 1018000 | #Constraints: 37441 2122.61/2131.47 c #Conflicts: 1019000 | #Constraints: 38446 2122.61/2131.47 c #Conflicts: 1020000 | #Constraints: 39452 2122.61/2131.47 c #Conflicts: 1021000 | #Constraints: 40459 2122.61/2131.47 c INPROCESSING 2122.61/2131.47 c GARBAGE COLLECT 2122.61/2131.47 c rational objective 5 2218.39/2227.55 c #Conflicts: 1022000 | #Constraints: 21364 2218.39/2227.55 c #Conflicts: 1023000 | #Constraints: 22369 2218.39/2227.55 c #Conflicts: 1024000 | #Constraints: 23375 2218.39/2227.55 c #Conflicts: 1025000 | #Constraints: 24381 2218.39/2227.55 c #Conflicts: 1026000 | #Constraints: 25389 2218.39/2227.55 c #Conflicts: 1027000 | #Constraints: 26396 2218.39/2227.55 c #Conflicts: 1028000 | #Constraints: 27401 2218.39/2227.55 c #Conflicts: 1029000 | #Constraints: 28410 2218.39/2227.55 c #Conflicts: 1030000 | #Constraints: 29412 2218.39/2227.55 c #Conflicts: 1031000 | #Constraints: 30417 2218.39/2227.55 c #Conflicts: 1032000 | #Constraints: 31419 2218.39/2227.55 c #Conflicts: 1033000 | #Constraints: 32422 2218.39/2227.55 c #Conflicts: 1034000 | #Constraints: 33425 2218.39/2227.55 c #Conflicts: 1035000 | #Constraints: 34426 2218.39/2227.55 c #Conflicts: 1036000 | #Constraints: 35429 2218.39/2227.55 c #Conflicts: 1037000 | #Constraints: 36430 2218.39/2227.55 c #Conflicts: 1038000 | #Constraints: 37431 2218.39/2227.55 c #Conflicts: 1039000 | #Constraints: 38434 2218.39/2227.55 c #Conflicts: 1040000 | #Constraints: 39435 2218.39/2227.55 c #Conflicts: 1041000 | #Constraints: 40438 2218.39/2227.55 c INPROCESSING 2218.39/2227.55 c GARBAGE COLLECT 2218.39/2227.55 c rational objective 5 2347.48/2357.13 c #Conflicts: 1042000 | #Constraints: 21176 2347.48/2357.13 c #Conflicts: 1043000 | #Constraints: 22181 2347.48/2357.13 c #Conflicts: 1044000 | #Constraints: 23186 2347.48/2357.13 c #Conflicts: 1045000 | #Constraints: 24192 2347.48/2357.13 c #Conflicts: 1046000 | #Constraints: 25198 2347.48/2357.13 c #Conflicts: 1047000 | #Constraints: 26201 2347.48/2357.13 c #Conflicts: 1048000 | #Constraints: 27204 2347.48/2357.13 c #Conflicts: 1049000 | #Constraints: 28208 2347.48/2357.13 c #Conflicts: 1050000 | #Constraints: 29210 2347.48/2357.13 c #Conflicts: 1051000 | #Constraints: 30216 2347.48/2357.13 c #Conflicts: 1052000 | #Constraints: 31220 2347.48/2357.13 c #Conflicts: 1053000 | #Constraints: 32223 2347.48/2357.13 c #Conflicts: 1054000 | #Constraints: 33228 2347.48/2357.13 c #Conflicts: 1055000 | #Constraints: 34231 2347.48/2357.13 c #Conflicts: 1056000 | #Constraints: 35233 2347.48/2357.13 c #Conflicts: 1057000 | #Constraints: 36236 2347.48/2357.13 c #Conflicts: 1058000 | #Constraints: 37243 2347.48/2357.13 c #Conflicts: 1059000 | #Constraints: 38246 2347.48/2357.13 c #Conflicts: 1060000 | #Constraints: 39249 2347.48/2357.13 c #Conflicts: 1061000 | #Constraints: 40252 2347.48/2357.13 c #Conflicts: 1062000 | #Constraints: 41255 2347.48/2357.13 c INPROCESSING 2347.48/2357.13 c GARBAGE COLLECT 2347.48/2357.13 c rational objective 5 2441.51/2451.50 c #Conflicts: 1063000 | #Constraints: 21780 2441.51/2451.50 c #Conflicts: 1064000 | #Constraints: 22788 2441.51/2451.50 c #Conflicts: 1065000 | #Constraints: 23795 2441.51/2451.50 c #Conflicts: 1066000 | #Constraints: 24801 2441.51/2451.50 c #Conflicts: 1067000 | #Constraints: 25807 2441.51/2451.50 c #Conflicts: 1068000 | #Constraints: 26812 2441.51/2451.50 c #Conflicts: 1069000 | #Constraints: 27817 2441.51/2451.50 c #Conflicts: 1070000 | #Constraints: 28822 2441.51/2451.50 c #Conflicts: 1071000 | #Constraints: 29826 2441.51/2451.50 c #Conflicts: 1072000 | #Constraints: 30830 2441.51/2451.50 c #Conflicts: 1073000 | #Constraints: 31836 2441.51/2451.50 c #Conflicts: 1074000 | #Constraints: 32842 2441.51/2451.50 c #Conflicts: 1075000 | #Constraints: 33847 2441.51/2451.50 c #Conflicts: 1076000 | #Constraints: 34851 2441.51/2451.50 c #Conflicts: 1077000 | #Constraints: 35855 2441.51/2451.50 c #Conflicts: 1078000 | #Constraints: 36860 2441.51/2451.50 c #Conflicts: 1079000 | #Constraints: 37863 2441.51/2451.50 c #Conflicts: 1080000 | #Constraints: 38868 2441.51/2451.50 c #Conflicts: 1081000 | #Constraints: 39874 2441.51/2451.50 c #Conflicts: 1082000 | #Constraints: 40876 2441.51/2451.50 c #Conflicts: 1083000 | #Constraints: 41881 2441.51/2451.50 c INPROCESSING 2441.51/2451.50 c GARBAGE COLLECT 2441.51/2451.50 c rational objective 5 2602.65/2613.32 c #Conflicts: 1084000 | #Constraints: 22196 2602.65/2613.32 c #Conflicts: 1085000 | #Constraints: 23200 2602.65/2613.32 c #Conflicts: 1086000 | #Constraints: 24206 2602.65/2613.32 c #Conflicts: 1087000 | #Constraints: 25210 2602.65/2613.32 c #Conflicts: 1088000 | #Constraints: 26214 2602.65/2613.32 c #Conflicts: 1089000 | #Constraints: 27219 2602.65/2613.32 c #Conflicts: 1090000 | #Constraints: 28225 2602.65/2613.32 c #Conflicts: 1091000 | #Constraints: 29228 2602.65/2613.32 c #Conflicts: 1092000 | #Constraints: 30231 2602.65/2613.32 c #Conflicts: 1093000 | #Constraints: 31235 2602.65/2613.32 c #Conflicts: 1094000 | #Constraints: 32239 2602.65/2613.32 c #Conflicts: 1095000 | #Constraints: 33242 2602.65/2613.32 c #Conflicts: 1096000 | #Constraints: 34244 2602.65/2613.32 c #Conflicts: 1097000 | #Constraints: 35247 2602.65/2613.32 c #Conflicts: 1098000 | #Constraints: 36249 2602.65/2613.32 c #Conflicts: 1099000 | #Constraints: 37252 2602.65/2613.32 c #Conflicts: 1100000 | #Constraints: 38254 2602.65/2613.32 c #Conflicts: 1101000 | #Constraints: 39255 2602.65/2613.32 c #Conflicts: 1102000 | #Constraints: 40259 2602.65/2613.32 c #Conflicts: 1103000 | #Constraints: 41260 2602.65/2613.32 c #Conflicts: 1104000 | #Constraints: 42261 2602.65/2613.32 c INPROCESSING 2602.65/2613.32 c GARBAGE COLLECT 2602.65/2613.32 c rational objective 5 2701.82/2712.95 c #Conflicts: 1105000 | #Constraints: 22388 2701.82/2712.95 c #Conflicts: 1106000 | #Constraints: 23395 2701.82/2712.95 c #Conflicts: 1107000 | #Constraints: 24402 2701.82/2712.95 c #Conflicts: 1108000 | #Constraints: 25405 2701.82/2712.95 c #Conflicts: 1109000 | #Constraints: 26410 2701.82/2712.95 c #Conflicts: 1110000 | #Constraints: 27415 2701.82/2712.95 c #Conflicts: 1111000 | #Constraints: 28417 2701.82/2712.95 c #Conflicts: 1112000 | #Constraints: 29423 2701.82/2712.95 c #Conflicts: 1113000 | #Constraints: 30426 2701.82/2712.95 c #Conflicts: 1114000 | #Constraints: 31429 2701.82/2712.95 c #Conflicts: 1115000 | #Constraints: 32431 2701.82/2712.95 c #Conflicts: 1116000 | #Constraints: 33435 2701.82/2712.95 c #Conflicts: 1117000 | #Constraints: 34438 2701.82/2712.95 c #Conflicts: 1118000 | #Constraints: 35442 2701.82/2712.95 c #Conflicts: 1119000 | #Constraints: 36444 2701.82/2712.95 c #Conflicts: 1120000 | #Constraints: 37445 2701.82/2712.95 c #Conflicts: 1121000 | #Constraints: 38450 2701.82/2712.95 c #Conflicts: 1122000 | #Constraints: 39450 2701.82/2712.95 c #Conflicts: 1123000 | #Constraints: 40453 2701.82/2712.95 c #Conflicts: 1124000 | #Constraints: 41461 2701.82/2712.95 c #Conflicts: 1125000 | #Constraints: 42461 2701.82/2712.95 c INPROCESSING 2701.82/2712.95 c GARBAGE COLLECT 2701.82/2712.95 c rational objective 5 2745.46/2756.73 c #Conflicts: 1126000 | #Constraints: 22382 2745.46/2756.73 c #Conflicts: 1127000 | #Constraints: 23387 2745.46/2756.73 c #Conflicts: 1128000 | #Constraints: 24390 2745.46/2756.73 c #Conflicts: 1129000 | #Constraints: 25393 2745.46/2756.73 c #Conflicts: 1130000 | #Constraints: 26396 2745.46/2756.73 c #Conflicts: 1131000 | #Constraints: 27400 2745.46/2756.73 c #Conflicts: 1132000 | #Constraints: 28407 2745.46/2756.73 c #Conflicts: 1133000 | #Constraints: 29415 2745.46/2756.73 c #Conflicts: 1134000 | #Constraints: 30422 2745.46/2756.73 c #Conflicts: 1135000 | #Constraints: 31424 2745.46/2756.73 c #Conflicts: 1136000 | #Constraints: 32430 2745.46/2756.73 c #Conflicts: 1137000 | #Constraints: 33435 2745.46/2756.73 c #Conflicts: 1138000 | #Constraints: 34438 2745.46/2756.73 c #Conflicts: 1139000 | #Constraints: 35448 2745.46/2756.73 c #Conflicts: 1140000 | #Constraints: 36450 2745.46/2756.73 c #Conflicts: 1141000 | #Constraints: 37455 2745.46/2756.73 c #Conflicts: 1142000 | #Constraints: 38463 2745.46/2756.73 c #Conflicts: 1143000 | #Constraints: 39467 2745.46/2756.73 c #Conflicts: 1144000 | #Constraints: 40474 2745.46/2756.73 c #Conflicts: 1145000 | #Constraints: 41478 2745.46/2756.73 c #Conflicts: 1146000 | #Constraints: 42485 2745.46/2756.73 c INPROCESSING 2745.46/2756.73 c GARBAGE COLLECT 2745.46/2756.73 c rational objective 5 2789.83/2801.26 c #Conflicts: 1147000 | #Constraints: 22172 2789.83/2801.26 c #Conflicts: 1148000 | #Constraints: 23174 2789.83/2801.26 c #Conflicts: 1149000 | #Constraints: 24179 2789.83/2801.26 c #Conflicts: 1150000 | #Constraints: 25184 2789.83/2801.26 c #Conflicts: 1151000 | #Constraints: 26191 2789.83/2801.26 c #Conflicts: 1152000 | #Constraints: 27197 2789.83/2801.26 c #Conflicts: 1153000 | #Constraints: 28202 2789.83/2801.26 c #Conflicts: 1154000 | #Constraints: 29208 2789.83/2801.26 c #Conflicts: 1155000 | #Constraints: 30214 2789.83/2801.26 c #Conflicts: 1156000 | #Constraints: 31223 2789.83/2801.26 c #Conflicts: 1157000 | #Constraints: 32228 2789.83/2801.26 c #Conflicts: 1158000 | #Constraints: 33234 2789.83/2801.26 c #Conflicts: 1159000 | #Constraints: 34238 2789.83/2801.26 c #Conflicts: 1160000 | #Constraints: 35249 2789.83/2801.26 c #Conflicts: 1161000 | #Constraints: 36257 2789.83/2801.26 c #Conflicts: 1162000 | #Constraints: 37262 2789.83/2801.26 c #Conflicts: 1163000 | #Constraints: 38266 2789.83/2801.26 c #Conflicts: 1164000 | #Constraints: 39269 2789.83/2801.26 c #Conflicts: 1165000 | #Constraints: 40269 2789.83/2801.26 c #Conflicts: 1166000 | #Constraints: 41273 2789.83/2801.26 c #Conflicts: 1167000 | #Constraints: 42274 2789.83/2801.26 c #Conflicts: 1168000 | #Constraints: 43284 2789.83/2801.26 c INPROCESSING 2789.83/2801.26 c GARBAGE COLLECT 2789.83/2801.26 c rational objective 5 2838.39/2849.92 c #Conflicts: 1169000 | #Constraints: 22789 2838.39/2849.92 c #Conflicts: 1170000 | #Constraints: 23797 2838.39/2849.92 c #Conflicts: 1171000 | #Constraints: 24801 2838.39/2849.92 c #Conflicts: 1172000 | #Constraints: 25805 2838.39/2849.92 c #Conflicts: 1173000 | #Constraints: 26814 2838.39/2849.92 c #Conflicts: 1174000 | #Constraints: 27820 2838.39/2849.92 c #Conflicts: 1175000 | #Constraints: 28830 2838.39/2849.92 c #Conflicts: 1176000 | #Constraints: 29834 2838.39/2849.92 c #Conflicts: 1177000 | #Constraints: 30841 2838.39/2849.92 c #Conflicts: 1178000 | #Constraints: 31844 2838.39/2849.92 c #Conflicts: 1179000 | #Constraints: 32864 2838.39/2849.92 c #Conflicts: 1180000 | #Constraints: 33875 2838.39/2849.92 c #Conflicts: 1181000 | #Constraints: 34878 2838.39/2849.92 c #Conflicts: 1182000 | #Constraints: 35884 2838.39/2849.92 c #Conflicts: 1183000 | #Constraints: 36890 2838.39/2849.92 c #Conflicts: 1184000 | #Constraints: 37894 2838.39/2849.92 c #Conflicts: 1185000 | #Constraints: 38897 2838.39/2849.92 c #Conflicts: 1186000 | #Constraints: 39902 2838.39/2849.92 c #Conflicts: 1187000 | #Constraints: 40908 2838.39/2849.92 c #Conflicts: 1188000 | #Constraints: 41918 2838.39/2849.92 c #Conflicts: 1189000 | #Constraints: 42921 2838.39/2849.92 c #Conflicts: 1190000 | #Constraints: 43925 2838.39/2849.92 c INPROCESSING 2838.39/2849.92 c GARBAGE COLLECT 2838.39/2849.92 c rational objective 5 2897.10/2908.85 c #Conflicts: 1191000 | #Constraints: 23199 2897.10/2908.85 c #Conflicts: 1192000 | #Constraints: 24204 2897.10/2908.85 c #Conflicts: 1193000 | #Constraints: 25212 2897.10/2908.85 c #Conflicts: 1194000 | #Constraints: 26217 2897.10/2908.85 c #Conflicts: 1195000 | #Constraints: 27223 2897.10/2908.85 c #Conflicts: 1196000 | #Constraints: 28227 2897.10/2908.85 c #Conflicts: 1197000 | #Constraints: 29232 2897.10/2908.85 c #Conflicts: 1198000 | #Constraints: 30240 2897.10/2908.85 c #Conflicts: 1199000 | #Constraints: 31243 2897.10/2908.85 c #Conflicts: 1200000 | #Constraints: 32247 2897.10/2908.85 c #Conflicts: 1201000 | #Constraints: 33254 2897.10/2908.85 c #Conflicts: 1202000 | #Constraints: 34260 2897.10/2908.85 c #Conflicts: 1203000 | #Constraints: 35269 2897.10/2908.85 c #Conflicts: 1204000 | #Constraints: 36277 2897.10/2908.85 c #Conflicts: 1205000 | #Constraints: 37284 2897.10/2908.85 c #Conflicts: 1206000 | #Constraints: 38288 2897.10/2908.85 c #Conflicts: 1207000 | #Constraints: 39295 2897.10/2908.85 c #Conflicts: 1208000 | #Constraints: 40302 2897.10/2908.85 c #Conflicts: 1209000 | #Constraints: 41307 2897.10/2908.85 c #Conflicts: 1210000 | #Constraints: 42314 2897.10/2908.85 c #Conflicts: 1211000 | #Constraints: 43320 2897.10/2908.85 c #Conflicts: 1212000 | #Constraints: 44330 2897.10/2908.85 c INPROCESSING 2897.10/2908.85 c GARBAGE COLLECT 2897.10/2908.85 c rational objective 5 2978.52/2990.57 c #Conflicts: 1213000 | #Constraints: 23415 2978.52/2990.57 c #Conflicts: 1214000 | #Constraints: 24421 2978.52/2990.57 c #Conflicts: 1215000 | #Constraints: 25425 2978.52/2990.57 c #Conflicts: 1216000 | #Constraints: 26430 2978.52/2990.57 c #Conflicts: 1217000 | #Constraints: 27434 2978.52/2990.57 c #Conflicts: 1218000 | #Constraints: 28436 2978.52/2990.57 c #Conflicts: 1219000 | #Constraints: 29441 2978.52/2990.57 c #Conflicts: 1220000 | #Constraints: 30442 2978.52/2990.57 c #Conflicts: 1221000 | #Constraints: 31445 2978.52/2990.57 c #Conflicts: 1222000 | #Constraints: 32448 2978.52/2990.57 c #Conflicts: 1223000 | #Constraints: 33450 2978.52/2990.57 c #Conflicts: 1224000 | #Constraints: 34453 2978.52/2990.57 c #Conflicts: 1225000 | #Constraints: 35454 2978.52/2990.57 c #Conflicts: 1226000 | #Constraints: 36457 2978.52/2990.57 c #Conflicts: 1227000 | #Constraints: 37464 2978.52/2990.57 c #Conflicts: 1228000 | #Constraints: 38469 2978.52/2990.57 c #Conflicts: 1229000 | #Constraints: 39472 2978.52/2990.57 c #Conflicts: 1230000 | #Constraints: 40479 2978.52/2990.57 c #Conflicts: 1231000 | #Constraints: 41488 2978.52/2990.57 c #Conflicts: 1232000 | #Constraints: 42495 2978.52/2990.57 c #Conflicts: 1233000 | #Constraints: 43500 2978.52/2990.57 c #Conflicts: 1234000 | #Constraints: 44503 2978.52/2990.57 c INPROCESSING 2978.52/2990.57 c GARBAGE COLLECT 2978.52/2990.57 c rational objective 5 3038.81/3051.04 c #Conflicts: 1235000 | #Constraints: 23390 3038.81/3051.04 c #Conflicts: 1236000 | #Constraints: 24393 3038.81/3051.04 c #Conflicts: 1237000 | #Constraints: 25402 3038.81/3051.04 c #Conflicts: 1238000 | #Constraints: 26410 3038.81/3051.04 c #Conflicts: 1239000 | #Constraints: 27418 3038.81/3051.04 c #Conflicts: 1240000 | #Constraints: 28423 3038.81/3051.04 c #Conflicts: 1241000 | #Constraints: 29429 3038.81/3051.04 c #Conflicts: 1242000 | #Constraints: 30432 3038.81/3051.04 c #Conflicts: 1243000 | #Constraints: 31439 3038.81/3051.04 c #Conflicts: 1244000 | #Constraints: 32441 3038.81/3051.04 c #Conflicts: 1245000 | #Constraints: 33446 3038.81/3051.04 c #Conflicts: 1246000 | #Constraints: 34452 3038.81/3051.04 c #Conflicts: 1247000 | #Constraints: 35459 3038.81/3051.04 c #Conflicts: 1248000 | #Constraints: 36465 3038.81/3051.04 c #Conflicts: 1249000 | #Constraints: 37469 3038.81/3051.04 c #Conflicts: 1250000 | #Constraints: 38475 3038.81/3051.04 c #Conflicts: 1251000 | #Constraints: 39478 3038.81/3051.04 c #Conflicts: 1252000 | #Constraints: 40484 3038.81/3051.04 c #Conflicts: 1253000 | #Constraints: 41492 3038.81/3051.04 c #Conflicts: 1254000 | #Constraints: 42498 3038.81/3051.04 c #Conflicts: 1255000 | #Constraints: 43499 3038.81/3051.04 c #Conflicts: 1256000 | #Constraints: 44504 3038.81/3051.04 c INPROCESSING 3038.81/3051.04 c GARBAGE COLLECT 3038.81/3051.04 c rational objective 5 3102.29/3114.79 c #Conflicts: 1257000 | #Constraints: 23189 3102.29/3114.79 c #Conflicts: 1258000 | #Constraints: 24197 3102.29/3114.79 c #Conflicts: 1259000 | #Constraints: 25205 3102.29/3114.79 c #Conflicts: 1260000 | #Constraints: 26212 3102.29/3114.79 c #Conflicts: 1261000 | #Constraints: 27221 3102.29/3114.79 c #Conflicts: 1262000 | #Constraints: 28227 3102.29/3114.79 c #Conflicts: 1263000 | #Constraints: 29232 3102.29/3114.79 c #Conflicts: 1264000 | #Constraints: 30239 3102.29/3114.79 c #Conflicts: 1265000 | #Constraints: 31244 3102.29/3114.79 c #Conflicts: 1266000 | #Constraints: 32252 3102.29/3114.79 c #Conflicts: 1267000 | #Constraints: 33265 3102.29/3114.79 c #Conflicts: 1268000 | #Constraints: 34275 3102.29/3114.79 c #Conflicts: 1269000 | #Constraints: 35284 3102.29/3114.79 c #Conflicts: 1270000 | #Constraints: 36289 3102.29/3114.79 c #Conflicts: 1271000 | #Constraints: 37295 3102.29/3114.79 c #Conflicts: 1272000 | #Constraints: 38303 3102.29/3114.79 c #Conflicts: 1273000 | #Constraints: 39311 3102.29/3114.79 c #Conflicts: 1274000 | #Constraints: 40317 3102.29/3114.79 c #Conflicts: 1275000 | #Constraints: 41320 3102.29/3114.79 c #Conflicts: 1276000 | #Constraints: 42324 3102.29/3114.79 c #Conflicts: 1277000 | #Constraints: 43326 3102.29/3114.79 c #Conflicts: 1278000 | #Constraints: 44334 3102.29/3114.79 c #Conflicts: 1279000 | #Constraints: 45339 3102.29/3114.79 c INPROCESSING 3102.29/3114.79 c GARBAGE COLLECT 3102.29/3114.79 c rational objective 5 3173.64/3186.37 c #Conflicts: 1280000 | #Constraints: 23806 3173.64/3186.37 c #Conflicts: 1281000 | #Constraints: 24814 3173.64/3186.37 c #Conflicts: 1282000 | #Constraints: 25817 3173.64/3186.37 c #Conflicts: 1283000 | #Constraints: 26825 3173.64/3186.37 c #Conflicts: 1284000 | #Constraints: 27831 3173.64/3186.37 c #Conflicts: 1285000 | #Constraints: 28840 3173.64/3186.37 c #Conflicts: 1286000 | #Constraints: 29849 3173.64/3186.37 c #Conflicts: 1287000 | #Constraints: 30857 3173.64/3186.37 c #Conflicts: 1288000 | #Constraints: 31864 3173.64/3186.37 c #Conflicts: 1289000 | #Constraints: 32872 3173.64/3186.37 c #Conflicts: 1290000 | #Constraints: 33877 3173.64/3186.37 c #Conflicts: 1291000 | #Constraints: 34886 3173.64/3186.37 c #Conflicts: 1292000 | #Constraints: 35892 3173.64/3186.37 c #Conflicts: 1293000 | #Constraints: 36896 3173.64/3186.37 c #Conflicts: 1294000 | #Constraints: 37898 3173.64/3186.37 c #Conflicts: 1295000 | #Constraints: 38902 3173.64/3186.37 c #Conflicts: 1296000 | #Constraints: 39907 3173.64/3186.37 c #Conflicts: 1297000 | #Constraints: 40912 3173.64/3186.37 c #Conflicts: 1298000 | #Constraints: 41918 3173.64/3186.37 c #Conflicts: 1299000 | #Constraints: 42923 3173.64/3186.37 c #Conflicts: 1300000 | #Constraints: 43934 3173.64/3186.37 c #Conflicts: 1301000 | #Constraints: 44951 3173.64/3186.37 c #Conflicts: 1302000 | #Constraints: 45964 3173.64/3186.37 c INPROCESSING 3173.64/3186.37 c GARBAGE COLLECT 3173.64/3186.37 c rational objective 5 3245.69/3258.66 c #Conflicts: 1303000 | #Constraints: 24222 3245.69/3258.66 c #Conflicts: 1304000 | #Constraints: 25225 3245.69/3258.66 c #Conflicts: 1305000 | #Constraints: 26229 3245.69/3258.66 c #Conflicts: 1306000 | #Constraints: 27235 3245.69/3258.66 c #Conflicts: 1307000 | #Constraints: 28239 3245.69/3258.66 c #Conflicts: 1308000 | #Constraints: 29243 3245.69/3258.66 c #Conflicts: 1309000 | #Constraints: 30246 3245.69/3258.66 c #Conflicts: 1310000 | #Constraints: 31250 3245.69/3258.66 c #Conflicts: 1311000 | #Constraints: 32256 3245.69/3258.66 c #Conflicts: 1312000 | #Constraints: 33262 3245.69/3258.66 c #Conflicts: 1313000 | #Constraints: 34264 3245.69/3258.66 c #Conflicts: 1314000 | #Constraints: 35266 3245.69/3258.66 c #Conflicts: 1315000 | #Constraints: 36269 3245.69/3258.66 c #Conflicts: 1316000 | #Constraints: 37273 3245.69/3258.66 c #Conflicts: 1317000 | #Constraints: 38287 3245.69/3258.66 c #Conflicts: 1318000 | #Constraints: 39290 3245.69/3258.66 c #Conflicts: 1319000 | #Constraints: 40295 3245.69/3258.66 c #Conflicts: 1320000 | #Constraints: 41302 3245.69/3258.66 c #Conflicts: 1321000 | #Constraints: 42306 3245.69/3258.66 c #Conflicts: 1322000 | #Constraints: 43312 3245.69/3258.66 c #Conflicts: 1323000 | #Constraints: 44317 3245.69/3258.66 c #Conflicts: 1324000 | #Constraints: 45320 3245.69/3258.66 c #Conflicts: 1325000 | #Constraints: 46322 3245.69/3258.66 c INPROCESSING 3245.69/3258.66 c GARBAGE COLLECT 3245.69/3258.66 c rational objective 5 3309.24/3322.45 c #Conflicts: 1326000 | #Constraints: 24415 3309.24/3322.45 c #Conflicts: 1327000 | #Constraints: 25418 3309.24/3322.45 c #Conflicts: 1328000 | #Constraints: 26427 3309.24/3322.45 c #Conflicts: 1329000 | #Constraints: 27436 3309.24/3322.45 c #Conflicts: 1330000 | #Constraints: 28440 3309.24/3322.45 c #Conflicts: 1331000 | #Constraints: 29446 3309.24/3322.45 c #Conflicts: 1332000 | #Constraints: 30456 3309.24/3322.45 c #Conflicts: 1333000 | #Constraints: 31461 3309.24/3322.45 c #Conflicts: 1334000 | #Constraints: 32467 3309.24/3322.45 c #Conflicts: 1335000 | #Constraints: 33474 3309.24/3322.45 c #Conflicts: 1336000 | #Constraints: 34479 3309.24/3322.45 c #Conflicts: 1337000 | #Constraints: 35487 3309.24/3322.45 c #Conflicts: 1338000 | #Constraints: 36489 3309.24/3322.45 c #Conflicts: 1339000 | #Constraints: 37490 3309.24/3322.45 c #Conflicts: 1340000 | #Constraints: 38492 3309.24/3322.45 c #Conflicts: 1341000 | #Constraints: 39507 3309.24/3322.45 c #Conflicts: 1342000 | #Constraints: 40516 3309.24/3322.45 c #Conflicts: 1343000 | #Constraints: 41527 3309.24/3322.45 c #Conflicts: 1344000 | #Constraints: 42535 3309.24/3322.45 c #Conflicts: 1345000 | #Constraints: 43546 3309.24/3322.45 c #Conflicts: 1346000 | #Constraints: 44559 3309.24/3322.45 c #Conflicts: 1347000 | #Constraints: 45571 3309.24/3322.45 c #Conflicts: 1348000 | #Constraints: 46582 3309.24/3322.45 c INPROCESSING 3309.24/3322.45 c GARBAGE COLLECT 3309.24/3322.45 c rational objective 5 3365.11/3378.53 c #Conflicts: 1349000 | #Constraints: 24460 3365.11/3378.53 c #Conflicts: 1350000 | #Constraints: 25474 3365.11/3378.53 c #Conflicts: 1351000 | #Constraints: 26486 3365.11/3378.53 c #Conflicts: 1352000 | #Constraints: 27491 3365.11/3378.53 c #Conflicts: 1353000 | #Constraints: 28493 3365.11/3378.53 c #Conflicts: 1354000 | #Constraints: 29497 3365.11/3378.53 c #Conflicts: 1355000 | #Constraints: 30500 3365.11/3378.53 c #Conflicts: 1356000 | #Constraints: 31507 3365.11/3378.53 c #Conflicts: 1357000 | #Constraints: 32510 3365.11/3378.53 c #Conflicts: 1358000 | #Constraints: 33516 3365.11/3378.53 c #Conflicts: 1359000 | #Constraints: 34521 3365.11/3378.53 c #Conflicts: 1360000 | #Constraints: 35527 3365.11/3378.53 c #Conflicts: 1361000 | #Constraints: 36532 3365.11/3378.53 c #Conflicts: 1362000 | #Constraints: 37535 3365.11/3378.53 c #Conflicts: 1363000 | #Constraints: 38542 3365.11/3378.53 c #Conflicts: 1364000 | #Constraints: 39546 3365.11/3378.53 c #Conflicts: 1365000 | #Constraints: 40549 3365.11/3378.53 c #Conflicts: 1366000 | #Constraints: 41555 3365.11/3378.53 c #Conflicts: 1367000 | #Constraints: 42561 3365.11/3378.53 c #Conflicts: 1368000 | #Constraints: 43565 3365.11/3378.53 c #Conflicts: 1369000 | #Constraints: 44570 3365.11/3378.53 c #Conflicts: 1370000 | #Constraints: 45574 3365.11/3378.53 c #Conflicts: 1371000 | #Constraints: 46578 3365.11/3378.53 c INPROCESSING 3365.11/3378.53 c GARBAGE COLLECT 3365.11/3378.53 c rational objective 5 3423.48/3437.11 c #Conflicts: 1372000 | #Constraints: 24237 3423.48/3437.11 c #Conflicts: 1373000 | #Constraints: 25240 3423.48/3437.11 c #Conflicts: 1374000 | #Constraints: 26245 3423.48/3437.11 c #Conflicts: 1375000 | #Constraints: 27259 3423.48/3437.11 c #Conflicts: 1376000 | #Constraints: 28273 3423.48/3437.11 c #Conflicts: 1377000 | #Constraints: 29279 3423.48/3437.11 c #Conflicts: 1378000 | #Constraints: 30286 3423.48/3437.11 c #Conflicts: 1379000 | #Constraints: 31292 3423.48/3437.11 c #Conflicts: 1380000 | #Constraints: 32301 3423.48/3437.11 c #Conflicts: 1381000 | #Constraints: 33305 3423.48/3437.11 c #Conflicts: 1382000 | #Constraints: 34311 3423.48/3437.11 c #Conflicts: 1383000 | #Constraints: 35317 3423.48/3437.11 c #Conflicts: 1384000 | #Constraints: 36322 3423.48/3437.11 c #Conflicts: 1385000 | #Constraints: 37333 3423.48/3437.11 c #Conflicts: 1386000 | #Constraints: 38341 3423.48/3437.11 c #Conflicts: 1387000 | #Constraints: 39344 3423.48/3437.11 c #Conflicts: 1388000 | #Constraints: 40348 3423.48/3437.11 c #Conflicts: 1389000 | #Constraints: 41356 3423.48/3437.11 c #Conflicts: 1390000 | #Constraints: 42366 3423.48/3437.11 c #Conflicts: 1391000 | #Constraints: 43372 3423.48/3437.11 c #Conflicts: 1392000 | #Constraints: 44381 3423.48/3437.11 c #Conflicts: 1393000 | #Constraints: 45389 3423.48/3437.11 c #Conflicts: 1394000 | #Constraints: 46395 3423.48/3437.11 c #Conflicts: 1395000 | #Constraints: 47400 3423.48/3437.11 c INPROCESSING 3423.48/3437.11 c GARBAGE COLLECT 3423.48/3437.11 c rational objective 5 3476.98/3490.84 c #Conflicts: 1396000 | #Constraints: 24852 3476.98/3490.84 c #Conflicts: 1397000 | #Constraints: 25861 3476.98/3490.84 c #Conflicts: 1398000 | #Constraints: 26866 3476.98/3490.84 c #Conflicts: 1399000 | #Constraints: 27871 3476.98/3490.84 c #Conflicts: 1400000 | #Constraints: 28879 3476.98/3490.84 c #Conflicts: 1401000 | #Constraints: 29882 3476.98/3490.84 c #Conflicts: 1402000 | #Constraints: 30884 3476.98/3490.84 c #Conflicts: 1403000 | #Constraints: 31888 3476.98/3490.84 c #Conflicts: 1404000 | #Constraints: 32894 3476.98/3490.84 c #Conflicts: 1405000 | #Constraints: 33902 3476.98/3490.84 c #Conflicts: 1406000 | #Constraints: 34905 3476.98/3490.84 c #Conflicts: 1407000 | #Constraints: 35911 3476.98/3490.84 c #Conflicts: 1408000 | #Constraints: 36915 3476.98/3490.84 c #Conflicts: 1409000 | #Constraints: 37920 3476.98/3490.84 c #Conflicts: 1410000 | #Constraints: 38924 3476.98/3490.84 c #Conflicts: 1411000 | #Constraints: 39929 3476.98/3490.84 c #Conflicts: 1412000 | #Constraints: 40935 3476.98/3490.84 c #Conflicts: 1413000 | #Constraints: 41941 3476.98/3490.84 c #Conflicts: 1414000 | #Constraints: 42948 3476.98/3490.84 c #Conflicts: 1415000 | #Constraints: 43956 3476.98/3490.84 c #Conflicts: 1416000 | #Constraints: 44962 3476.98/3490.84 c #Conflicts: 1417000 | #Constraints: 45969 3476.98/3490.84 c #Conflicts: 1418000 | #Constraints: 46973 3476.98/3490.84 c #Conflicts: 1419000 | #Constraints: 47977 3476.98/3490.84 c INPROCESSING 3476.98/3490.84 c GARBAGE COLLECT 3476.98/3490.84 c rational objective 5 3538.39/3552.42 c #Conflicts: 1420000 | #Constraints: 25234 3538.39/3552.42 c #Conflicts: 1421000 | #Constraints: 26239 3538.39/3552.42 c #Conflicts: 1422000 | #Constraints: 27245 3538.39/3552.42 c #Conflicts: 1423000 | #Constraints: 28252 3538.39/3552.42 c #Conflicts: 1424000 | #Constraints: 29258 3538.39/3552.42 c #Conflicts: 1425000 | #Constraints: 30264 3538.39/3552.42 c #Conflicts: 1426000 | #Constraints: 31271 3538.39/3552.42 c #Conflicts: 1427000 | #Constraints: 32277 3538.39/3552.42 c #Conflicts: 1428000 | #Constraints: 33286 3538.39/3552.42 c #Conflicts: 1429000 | #Constraints: 34290 3538.39/3552.42 c #Conflicts: 1430000 | #Constraints: 35299 3538.39/3552.42 c #Conflicts: 1431000 | #Constraints: 36301 3538.39/3552.42 c #Conflicts: 1432000 | #Constraints: 37310 3538.39/3552.42 c #Conflicts: 1433000 | #Constraints: 38313 3538.39/3552.42 c #Conflicts: 1434000 | #Constraints: 39319 3538.39/3552.42 c #Conflicts: 1435000 | #Constraints: 40323 3538.39/3552.42 c #Conflicts: 1436000 | #Constraints: 41328 3538.39/3552.42 c #Conflicts: 1437000 | #Constraints: 42339 3538.39/3552.42 c #Conflicts: 1438000 | #Constraints: 43347 3538.39/3552.42 c #Conflicts: 1439000 | #Constraints: 44353 3538.39/3552.42 c #Conflicts: 1440000 | #Constraints: 45358 3538.39/3552.42 c #Conflicts: 1441000 | #Constraints: 46365 3538.39/3552.42 c #Conflicts: 1442000 | #Constraints: 47370 3538.39/3552.42 c #Conflicts: 1443000 | #Constraints: 48372 3538.39/3552.42 c INPROCESSING 3538.39/3552.42 c GARBAGE COLLECT 3538.39/3552.42 c rational objective 5 3600.03/3614.23 c #Conflicts: 1444000 | #Constraints: 25430 3600.03/3614.23 c #Conflicts: 1445000 | #Constraints: 26437 3600.03/3614.23 c #Conflicts: 1446000 | #Constraints: 27441 3600.03/3614.23 c #Conflicts: 1447000 | #Constraints: 28446 3600.03/3614.23 c #Conflicts: 1448000 | #Constraints: 29451 3600.03/3614.23 c #Conflicts: 1449000 | #Constraints: 30458 3600.03/3614.23 c #Conflicts: 1450000 | #Constraints: 31464 3600.03/3614.23 c #Conflicts: 1451000 | #Constraints: 32471 3600.03/3614.23 c #Conflicts: 1452000 | #Constraints: 33483 3600.03/3614.23 c #Conflicts: 1453000 | #Constraints: 34493 3600.03/3614.23 c #Conflicts: 1454000 | #Constraints: 35497 3600.03/3614.23 c #Conflicts: 1455000 | #Constraints: 36502 3600.03/3614.23 c #Conflicts: 1456000 | #Constraints: 37512 3600.03/3614.23 c #Conflicts: 1457000 | #Constraints: 38515 3600.03/3614.23 c #Conflicts: 1458000 | #Constraints: 39519 3600.03/3614.23 c #Conflicts: 1459000 | #Constraints: 40529 3600.03/3614.23 c #Conflicts: 1460000 | #Constraints: 41534 3600.03/3614.23 c #Conflicts: 1461000 | #Constraints: 42541 3600.03/3614.23 c #Conflicts: 1462000 | #Constraints: 43547 3600.03/3614.23 c Program interrupted by user. 3600.04/3614.33 c cpu time 3556.81 s 3600.04/3614.33 c deterministic time 635825381523 6.36e+11 3600.04/3614.33 c optimization time 60.9368 s 3600.04/3614.33 c total solve time 3495.86 s 3600.04/3614.33 c core-guided solve time 4e-06 s 3600.04/3614.33 c propagation time 3005.7 s 3600.04/3614.33 c conflict analysis time 467.819 s 3600.04/3614.33 c propagations 291857879 3600.04/3614.33 c resolve steps 10900853 3600.04/3614.33 c decisions 12681649 3600.04/3614.33 c conflicts 1462961 3600.04/3614.33 c restarts 2828 3600.04/3614.33 c inprocessing phases 111 3600.04/3614.33 c input clauses 2174 3600.04/3614.33 c input cardinalities 50 3600.04/3614.33 c input general constraints 320 3600.04/3614.33 c input average constraint length 9.51 3600.04/3614.33 c input average constraint degree 71.11 3600.04/3614.33 c learned clauses 163201 3600.04/3614.33 c learned cardinalities 6905 3600.04/3614.33 c learned general constraints 1300783 3600.04/3614.33 c learned average constraint length 538.31 3600.04/3614.33 c learned average constraint degree 4785946858.45 3600.04/3614.33 c watched constraints 1225990 3600.04/3614.33 c counting constraints 75113 3600.04/3614.33 c gcd simplifications 80566 3600.04/3614.33 c detected cardinalities 216 3600.04/3614.33 c weakened non-implied lits 85808380 3600.04/3614.33 c weakened non-implying lits 585789 3600.04/3614.33 c original variables 2130 3600.04/3614.33 c clausal propagations 1519944 3600.04/3614.33 c cardinality propagations 32988810 3600.04/3614.33 c watched propagations 101294586 3600.04/3614.33 c counting propagations 154336533 3600.04/3614.33 c watch lookups 37520376810 3600.04/3614.33 c watch backjump lookups 31133377310 3600.04/3614.33 c watch checks 516047528717 3600.04/3614.33 c propagation checks 48197197868 3600.04/3614.33 c constraint additions 2314893477 3600.04/3614.33 c trail pops 305992966 3600.04/3614.33 c formula constraints 2544 3600.04/3614.33 c learned constraints 1455033 3600.04/3614.33 c bound constraints 0 3600.04/3614.33 c core-guided constraints 0 3600.04/3614.33 c encountered formula constraints 7808608 3600.04/3614.33 c encountered learned constraints 4053790 3600.04/3614.33 c encountered bound constraints 0 3600.04/3614.33 c encountered core-guided constraints 0 3600.04/3614.33 c LP total time 108.77 s 3600.04/3614.33 c LP solve time 95.56 s 3600.04/3614.33 c LP constraints added 3297 3600.04/3614.33 c LP constraints removed 746 3600.04/3614.33 c LP pivots internal 1463014 3600.04/3614.33 c LP pivots root 11832 3600.04/3614.33 c LP calls 20554 3600.04/3614.33 c LP optimalities 12619 3600.04/3614.33 c LP no pivot count 5927 3600.04/3614.33 c LP infeasibilities 7929 3600.04/3614.33 c LP valid Farkas constraints 7928 3600.04/3614.33 c LP learned Farkas constraints 7928 3600.04/3614.33 c LP basis resets 4 3600.04/3614.33 c LP cycling count 0 3600.04/3614.33 c LP singular count 3 3600.04/3614.33 c LP no primal count 0 3600.04/3614.33 c LP no farkas count 1 3600.04/3614.33 c LP other issue count 0 3600.04/3614.33 c LP Gomory cuts 0 3600.04/3614.33 c LP learned cuts 753 3600.04/3614.33 c LP deleted cuts 746 3600.04/3614.33 c LP encountered Gomory constraints 0 3600.04/3614.33 c LP encountered Farkas constraints 422812 3600.04/3614.33 c LP encountered learned Farkas constraints 70676 3600.04/3614.33 c CG auxiliary variables introduced 0 3600.04/3614.33 c CG solutions found 0 3600.04/3614.33 c CG cores constructed 1 3600.04/3614.33 c CG core cardinality constraints returned 0 3600.04/3614.33 c CG unit cores 1 3600.04/3614.33 c CG single cores 0 3600.04/3614.33 c CG blocks removed during cardinality reduction 0 3600.04/3614.33 c CG first core best 0 3600.04/3614.33 c CG decision core best 0 3600.04/3614.33 c CG core reduction tie 0 3600.04/3614.33 c CG core degree average 0.00 3600.04/3614.33 c CG core slack average 0.00 3600.04/3614.33 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (10467 MiB free)
memory of node 1: 64473 MiB (1667 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462703-1722344421/watcher-4462703-1722344421 -o /tmp/evaluation-result-4462703-1722344421/solver-4462703-1722344421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722340763-6567 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462703-1722344421 --lp-cut-gomory=0 HOME/instance-4462703-1722344421.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=8595, runsolver pid=8592
[startup+0.100093 s]*
/proc/loadavg: 4.14 4.19 4.11 1/262 8596
/proc/meminfo: memFree=12425600/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/8595/stat : 8595 (roundingsat) D 8592 8595 6556 0 -1 1078198272 219 0 1 0 0 0 0 0 20 0 1 0 1043226 38273024 656 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.205102 s]*
/proc/loadavg: 4.14 4.19 4.11 1/262 8596
/proc/meminfo: memFree=12425488/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/8595/stat : 8595 (roundingsat) D 8592 8595 6556 0 -1 1078198272 219 0 1 0 0 0 0 0 20 0 1 0 1043226 38273024 656 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.304334 s]*
/proc/loadavg: 4.14 4.19 4.11 1/262 8596
/proc/meminfo: memFree=12425348/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/8595/stat : 8595 (roundingsat) D 8592 8595 6556 0 -1 1078198272 219 0 1 0 0 0 0 0 20 0 1 0 1043226 38273024 656 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.700231 s]
/proc/loadavg: 4.14 4.19 4.11 1/262 8596
/proc/meminfo: memFree=12425240/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/8595/stat : 8595 (roundingsat) D 8592 8595 6556 0 -1 1078198272 219 0 1 0 0 0 0 0 20 0 1 0 1043226 38273024 656 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+1.50023 s]
/proc/loadavg: 4.14 4.19 4.11 1/262 8596
/proc/meminfo: memFree=12425564/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/8595/stat : 8595 (roundingsat) D 8592 8595 6556 0 -1 1078198272 219 0 1 0 0 0 0 0 20 0 1 0 1043226 38273024 656 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+3.10535 s]
/proc/loadavg: 4.14 4.19 4.11 2/257 8623
/proc/meminfo: memFree=12459328/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=49452 memory=21060 CPUtime=0.94 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 3090 0 1 0 89 5 0 0 20 0 1 0 1043226 50638848 5265 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 12363 5265 1888 992 0 4221 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 49452 KiB
Current children cumulated memory: 21060 KiB
heavy processes:
[startup+6.30018 s]
/proc/loadavg: 4.13 4.18 4.11 2/257 8625
/proc/meminfo: memFree=12414620/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=68476 memory=36160 CPUtime=4.13 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 6404 0 1 0 399 14 0 0 20 0 1 0 1043226 70119424 9040 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 17119 9040 1888 992 0 8977 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 68476 KiB
Current children cumulated memory: 36160 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.12 4.18 4.10 2/262 8647
/proc/meminfo: memFree=18747476/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=74492 memory=46304 CPUtime=10.51 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 7923 0 1 0 1015 36 0 0 20 0 1 0 1043226 76279808 11576 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 18623 11576 1888 992 0 10481 0
Current children cumulated CPU time: 10.51 s
Current children cumulated vsize: 74492 KiB
Current children cumulated memory: 46304 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.19 4.11 2/262 8649
/proc/meminfo: memFree=18610732/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=93476 memory=56684 CPUtime=23.28 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 9980 0 1 0 2256 72 0 0 20 0 1 0 1043226 95719424 14171 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 23369 14171 1888 992 0 15227 0
Current children cumulated CPU time: 23.28 s
Current children cumulated vsize: 93476 KiB
Current children cumulated memory: 56684 KiB
[startup+51.1052 s]
/proc/loadavg: 4.32 4.22 4.12 4/249 8764
/proc/meminfo: memFree=64965548/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=104632 memory=72116 CPUtime=48.82 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 12797 0 1 0 4736 146 0 0 20 0 1 0 1043226 107143168 18029 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 26158 18029 1888 992 0 18016 0
Current children cumulated CPU time: 48.82 s
Current children cumulated vsize: 104632 KiB
Current children cumulated memory: 72116 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.20 4.12 5/260 8813
/proc/meminfo: memFree=124764020/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=184016 memory=129080 CPUtime=99.83 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 20298 0 1 0 9759 224 0 0 20 0 1 0 1043226 188432384 32270 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 46004 32270 1888 992 0 37862 0
Current children cumulated CPU time: 99.83 s
Current children cumulated vsize: 184016 KiB
Current children cumulated memory: 129080 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.21 4.12 5/260 8823
/proc/meminfo: memFree=120822296/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=192448 memory=137312 CPUtime=159.65 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 22380 0 1 0 15612 353 0 0 20 0 1 0 1043226 197066752 34328 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 48112 34328 1888 992 0 39970 0
Current children cumulated CPU time: 159.65 s
Current children cumulated vsize: 192448 KiB
Current children cumulated memory: 137312 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/259 8833
/proc/meminfo: memFree=116985920/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=197344 memory=141844 CPUtime=219.5 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 23609 0 1 0 21502 448 0 0 20 0 1 0 1043226 202080256 35461 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 49336 35461 1888 992 0 41194 0
Current children cumulated CPU time: 219.5 s
Current children cumulated vsize: 197344 KiB
Current children cumulated memory: 141844 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/259 8845
/proc/meminfo: memFree=113688820/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=211028 memory=155396 CPUtime=279.34 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 26529 0 1 0 27404 530 0 0 20 0 1 0 1043226 216092672 38849 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 52757 38849 1888 992 0 44615 0
Current children cumulated CPU time: 279.34 s
Current children cumulated vsize: 211028 KiB
Current children cumulated memory: 155396 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/258 8856
/proc/meminfo: memFree=110022172/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=216840 memory=160828 CPUtime=339.18 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 27852 0 1 0 33274 644 0 0 20 0 1 0 1043226 222044160 40207 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 54210 40207 1888 992 0 46068 0
Current children cumulated CPU time: 339.18 s
Current children cumulated vsize: 216840 KiB
Current children cumulated memory: 160828 KiB
[startup+402.3 s]
/proc/loadavg: 4.39 4.22 4.13 5/258 8868
/proc/meminfo: memFree=106821304/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=219648 memory=173304 CPUtime=399.04 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 28478 0 1 0 39165 739 0 0 20 0 1 0 1043226 224919552 43326 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 54912 43326 1888 992 0 46770 0
Current children cumulated CPU time: 399.04 s
Current children cumulated vsize: 219648 KiB
Current children cumulated memory: 173304 KiB
[startup+462.3 s]
/proc/loadavg: 4.32 4.23 4.14 5/258 8880
/proc/meminfo: memFree=104625644/131524600 swapFree=131071472/131071996
[pid=8595] ppid=8592 vsize=228124 memory=188492 CPUtime=458.87 cores=4,6
################
# More data... #
################
Current children cumulated memory: 396256 KiB
[startup+2922.3 s]
/proc/loadavg: 4.26 4.23 4.18 5/260 9969
/proc/meminfo: memFree=521496/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=506088 memory=396256 CPUtime=2910.57 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 65248 0 1 0 287508 3549 0 0 20 0 1 0 1043226 518234112 99064 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 126522 99064 1986 992 0 118380 0
Current children cumulated CPU time: 2910.57 s
Current children cumulated vsize: 506088 KiB
Current children cumulated memory: 396256 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/263 9982
/proc/meminfo: memFree=618340/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=508612 memory=398260 CPUtime=2970.34 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 65945 0 1 0 293430 3604 0 0 20 0 1 0 1043226 520818688 99565 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 127153 99565 1986 992 0 119011 0
Current children cumulated CPU time: 2970.34 s
Current children cumulated vsize: 508612 KiB
Current children cumulated memory: 398260 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/264 9997
/proc/meminfo: memFree=615776/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=510900 memory=400420 CPUtime=3030.13 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 66511 0 1 0 299346 3667 0 0 20 0 1 0 1043226 523161600 100105 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 127725 100105 1986 992 0 119583 0
Current children cumulated CPU time: 3030.13 s
Current children cumulated vsize: 510900 KiB
Current children cumulated memory: 400420 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/264 10008
/proc/meminfo: memFree=674364/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=511204 memory=400792 CPUtime=3089.92 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 66659 0 1 0 305253 3739 0 0 20 0 1 0 1043226 523472896 100198 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 127801 100198 1986 992 0 119659 0
Current children cumulated CPU time: 3089.92 s
Current children cumulated vsize: 511204 KiB
Current children cumulated memory: 400792 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/262 10018
/proc/meminfo: memFree=506500/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=511204 memory=400792 CPUtime=3149.74 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 66697 0 1 0 311180 3794 0 0 20 0 1 0 1043226 523472896 100198 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 127801 100198 1986 992 0 119659 0
Current children cumulated CPU time: 3149.74 s
Current children cumulated vsize: 511204 KiB
Current children cumulated memory: 400792 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/262 10029
/proc/meminfo: memFree=622392/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=511204 memory=400900 CPUtime=3209.52 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 66734 0 1 0 317086 3866 0 0 20 0 1 0 1043226 523472896 100225 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 127801 100225 1986 992 0 119659 0
Current children cumulated CPU time: 3209.52 s
Current children cumulated vsize: 511204 KiB
Current children cumulated memory: 400900 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/259 10040
/proc/meminfo: memFree=666500/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=511204 memory=400900 CPUtime=3269.29 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 66764 0 1 0 323000 3929 0 0 20 0 1 0 1043226 523472896 100225 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 127801 100225 1986 992 0 119659 0
Current children cumulated CPU time: 3269.29 s
Current children cumulated vsize: 511204 KiB
Current children cumulated memory: 400900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/263 10437
/proc/meminfo: memFree=585076/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=511852 memory=401392 CPUtime=3329.05 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 66944 0 1 0 328906 3999 0 0 20 0 1 0 1043226 524136448 100348 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 127963 100348 1986 992 0 119821 0
Current children cumulated CPU time: 3329.05 s
Current children cumulated vsize: 511852 KiB
Current children cumulated memory: 401392 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/263 10449
/proc/meminfo: memFree=651576/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=513004 memory=402596 CPUtime=3388.81 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 67246 0 1 0 334800 4081 0 0 20 0 1 0 1043226 525316096 100649 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 128251 100649 1986 992 0 120109 0
Current children cumulated CPU time: 3388.81 s
Current children cumulated vsize: 513004 KiB
Current children cumulated memory: 402596 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.17 4.18 5/263 10461
/proc/meminfo: memFree=655524/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=514160 memory=403780 CPUtime=3448.58 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 67567 0 1 0 340704 4154 0 0 20 0 1 0 1043226 526499840 100945 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 128540 100945 1986 992 0 120398 0
Current children cumulated CPU time: 3448.58 s
Current children cumulated vsize: 514160 KiB
Current children cumulated memory: 403780 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/263 10639
/proc/meminfo: memFree=514136/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=514160 memory=403936 CPUtime=3508.38 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 67647 0 1 0 346606 4232 0 0 20 0 1 0 1043226 526499840 100984 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 128540 100984 1986 992 0 120398 0
Current children cumulated CPU time: 3508.38 s
Current children cumulated vsize: 514160 KiB
Current children cumulated memory: 403936 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/264 10650
/proc/meminfo: memFree=627704/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=514928 memory=404604 CPUtime=3568.21 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 67848 0 1 0 352524 4297 0 0 20 0 1 0 1043226 527286272 101151 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 128732 101151 1986 992 0 120590 0
Current children cumulated CPU time: 3568.21 s
Current children cumulated vsize: 514928 KiB
Current children cumulated memory: 404604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.2 s]
/proc/loadavg: 4.17 4.16 4.17 5/264 10658
/proc/meminfo: memFree=549280/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=514928 memory=404612 CPUtime=3600.03 cores=4,6
/proc/8595/stat : 8595 (roundingsat) R 8592 8595 6556 0 -1 4194304 67932 0 1 0 355680 4323 0 0 20 0 1 0 1043226 527286272 101153 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 128732 101153 1986 992 0 120590 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 514928 KiB
Current children cumulated memory: 404612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.34 s]
# the end of solver process 8595 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.81 s, system=43.256 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/264 10658
/proc/meminfo: memFree=549280/131524600 swapFree=131063756/131071996
[pid=8595] ppid=8592 vsize=514928 memory=404612 CPUtime=3600.04 cores=4,6
/proc/8595/stat : 8595 (roundingsat) D 8592 8595 6556 0 -1 4194304 67934 0 2 0 355680 4324 0 0 20 0 1 0 1043226 527286272 101153 134679101440 4194304 8255733 140734021853856 0 0 0 0 0 25182210 0 0 0 17 6 0 0 11 0 0 9037040 9046032 22827008 140734021858142 140734021858404 140734021858404 140734021865417 0
/proc/8595/statm: 128732 101153 1986 992 0 120590 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 514928 KiB
Current children cumulated memory: 404612 KiB
Child status: 0
Real time (s): 3614.34
CPU time (s): 3600.07
CPU user time (s): 3556.81
CPU system time (s): 43.256
CPU usage (%): 99.605
Max. virtual memory (cumulated for all children) (KiB): 514928
Max. memory (cumulated for all children) (KiB): 404612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.81
system time used= 43.256
maximum resident set size= 404612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67943
page faults= 2
swaps= 0
block input operations= 3488
block output operations= 24092720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1260
involuntary context switches= 4808
# summary of solver processes directly reported to runsolver:
# pid: 8595
# total CPU time (s): 3600.07
# total CPU user time (s): 3556.81
# total CPU system time (s): 43.256
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99159 second user time and 17.9118 second system time
The end
Begin job on nodeC029 at 2024-07-30 15:00:21 IDJOB=4462703 IDBENCH=148770 IDSOLVER=3089 FILE ID=nodeC029/4462703-1722344421 RUNJOBID= nodeC029-1722340763-6567 SLURM_JOB_ID= 8249002 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.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-4462703-1722344421/watcher-4462703-1722344421 -o /tmp/evaluation-result-4462703-1722344421/solver-4462703-1722344421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722340763-6567 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462703-1722344421 --lp-cut-gomory=0 HOME/instance-4462703-1722344421.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a RANDOM SEED=1316399505 nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3475.677 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1200.378 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2062.321 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1200.369 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3365.999 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1200.949 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3428.739 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1200.084 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 12426656 kB MemAvailable: 119736868 kB Buffers: 40424 kB Cached: 107973552 kB SwapCached: 12 kB Active: 169596 kB Inactive: 118139340 kB Active(anon): 1568 kB Inactive(anon): 10314684 kB Active(file): 168028 kB Inactive(file): 107824656 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 5916 kB Writeback: 879648 kB AnonPages: 10294724 kB Mapped: 99116 kB Shmem: 21264 kB KReclaimable: 314700 kB Slab: 425500 kB SReclaimable: 314700 kB SUnreclaim: 110800 kB KernelStack: 4240 kB PageTables: 29792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 12140852 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 7616 kB HardwareCorrupted: 0 kB AnonHugePages: 4917248 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: 185044 kB DirectMap2M: 6928384 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 889928 MiB End job on nodeC029 at 2024-07-30 16:00:36