| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.03 | 3611.49 |
| 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.03/0.22 c #variables 2130 #constraints 2544 0.03/0.27 c bounds - >= 0 @ 0.033296 0.03/0.27 c rational objective 5 1.30/1.57 c #Conflicts: 1000 | #Constraints: 3546 1.30/1.57 c #Conflicts: 2000 | #Constraints: 4547 1.30/1.57 c INPROCESSING 1.30/1.57 c GARBAGE COLLECT 1.30/1.57 c rational objective 5 3.29/3.53 c bounds - >= 5 @ 1.3028 3.29/3.53 c #Conflicts: 3000 | #Constraints: 2444 3.29/3.53 c #Conflicts: 4000 | #Constraints: 3449 3.29/3.53 c INPROCESSING 3.29/3.53 c GARBAGE COLLECT 3.29/3.53 c rational objective 5 4.80/5.04 c #Conflicts: 5000 | #Constraints: 2853 4.80/5.04 c #Conflicts: 6000 | #Constraints: 3856 4.80/5.04 c INPROCESSING 4.80/5.04 c GARBAGE COLLECT 4.80/5.04 c rational objective 5 5.80/6.05 c #Conflicts: 7000 | #Constraints: 2855 5.80/6.05 c #Conflicts: 8000 | #Constraints: 3863 5.80/6.05 c #Conflicts: 9000 | #Constraints: 4873 5.80/6.05 c INPROCESSING 5.80/6.05 c GARBAGE COLLECT 5.80/6.05 c rational objective 5 7.08/7.39 c #Conflicts: 10000 | #Constraints: 3567 7.08/7.39 c #Conflicts: 11000 | #Constraints: 4571 7.08/7.39 c #Conflicts: 12000 | #Constraints: 5577 7.08/7.39 c INPROCESSING 7.08/7.39 c GARBAGE COLLECT 7.08/7.39 c rational objective 5 9.07/9.31 c #Conflicts: 13000 | #Constraints: 4019 9.07/9.31 c #Conflicts: 14000 | #Constraints: 5023 9.07/9.31 c #Conflicts: 15000 | #Constraints: 6028 9.07/9.31 c INPROCESSING 9.07/9.31 c GARBAGE COLLECT 9.07/9.31 c rational objective 5 11.47/11.73 c #Conflicts: 16000 | #Constraints: 4238 11.47/11.73 c #Conflicts: 17000 | #Constraints: 5247 11.47/11.73 c #Conflicts: 18000 | #Constraints: 6254 11.47/11.73 c INPROCESSING 11.47/11.73 c GARBAGE COLLECT 11.47/11.73 c rational objective 5 13.46/13.74 c #Conflicts: 19000 | #Constraints: 4267 13.46/13.74 c #Conflicts: 20000 | #Constraints: 5274 13.46/13.74 c #Conflicts: 21000 | #Constraints: 6279 13.46/13.74 c INPROCESSING 13.46/13.74 c GARBAGE COLLECT 13.46/13.74 c rational objective 5 15.77/16.04 c #Conflicts: 22000 | #Constraints: 4072 15.77/16.04 c #Conflicts: 23000 | #Constraints: 5077 15.77/16.04 c #Conflicts: 24000 | #Constraints: 6080 15.77/16.04 c #Conflicts: 25000 | #Constraints: 7085 15.77/16.04 c INPROCESSING 15.77/16.04 c GARBAGE COLLECT 15.77/16.04 c rational objective 5 18.25/18.58 c #Conflicts: 26000 | #Constraints: 4672 18.25/18.58 c #Conflicts: 27000 | #Constraints: 5680 18.25/18.58 c #Conflicts: 28000 | #Constraints: 6684 18.25/18.58 c #Conflicts: 29000 | #Constraints: 7686 18.25/18.58 c INPROCESSING 18.25/18.58 c GARBAGE COLLECT 18.25/18.58 c rational objective 5 21.04/21.30 c #Conflicts: 30000 | #Constraints: 5071 21.04/21.30 c #Conflicts: 31000 | #Constraints: 6075 21.04/21.30 c #Conflicts: 32000 | #Constraints: 7078 21.04/21.30 c #Conflicts: 33000 | #Constraints: 8081 21.04/21.30 c INPROCESSING 21.04/21.30 c GARBAGE COLLECT 21.04/21.30 c rational objective 5 23.44/23.77 c #Conflicts: 34000 | #Constraints: 5270 23.44/23.77 c #Conflicts: 35000 | #Constraints: 6272 23.44/23.77 c #Conflicts: 36000 | #Constraints: 7278 23.44/23.77 c #Conflicts: 37000 | #Constraints: 8284 23.44/23.77 c INPROCESSING 23.44/23.77 c GARBAGE COLLECT 23.44/23.77 c rational objective 5 27.02/27.31 c #Conflicts: 38000 | #Constraints: 5274 27.02/27.31 c #Conflicts: 39000 | #Constraints: 6279 27.02/27.31 c #Conflicts: 40000 | #Constraints: 7290 27.02/27.31 c #Conflicts: 41000 | #Constraints: 8298 27.02/27.31 c INPROCESSING 27.02/27.31 c GARBAGE COLLECT 27.02/27.31 c rational objective 5 29.42/29.72 c #Conflicts: 42000 | #Constraints: 5100 29.42/29.72 c #Conflicts: 43000 | #Constraints: 6108 29.42/29.72 c #Conflicts: 44000 | #Constraints: 7110 29.42/29.72 c #Conflicts: 45000 | #Constraints: 8117 29.42/29.72 c #Conflicts: 46000 | #Constraints: 9124 29.42/29.72 c INPROCESSING 29.42/29.72 c GARBAGE COLLECT 29.42/29.72 c rational objective 5 33.01/33.32 c #Conflicts: 47000 | #Constraints: 5684 33.01/33.32 c #Conflicts: 48000 | #Constraints: 6688 33.01/33.32 c #Conflicts: 49000 | #Constraints: 7695 33.01/33.32 c #Conflicts: 50000 | #Constraints: 8700 33.01/33.32 c #Conflicts: 51000 | #Constraints: 9704 33.01/33.32 c INPROCESSING 33.01/33.32 c GARBAGE COLLECT 33.01/33.32 c rational objective 5 36.71/37.09 c #Conflicts: 52000 | #Constraints: 6090 36.71/37.09 c #Conflicts: 53000 | #Constraints: 7098 36.71/37.09 c #Conflicts: 54000 | #Constraints: 8101 36.71/37.09 c #Conflicts: 55000 | #Constraints: 9108 36.71/37.09 c #Conflicts: 56000 | #Constraints: 10113 36.71/37.09 c INPROCESSING 36.71/37.09 c GARBAGE COLLECT 36.71/37.09 c rational objective 5 40.79/41.16 c #Conflicts: 57000 | #Constraints: 6283 40.79/41.16 c #Conflicts: 58000 | #Constraints: 7292 40.79/41.16 c #Conflicts: 59000 | #Constraints: 8294 40.79/41.16 c #Conflicts: 60000 | #Constraints: 9300 40.79/41.16 c #Conflicts: 61000 | #Constraints: 10304 40.79/41.16 c INPROCESSING 40.79/41.16 c GARBAGE COLLECT 40.79/41.16 c rational objective 5 44.07/44.46 c #Conflicts: 62000 | #Constraints: 6281 44.07/44.46 c #Conflicts: 63000 | #Constraints: 7284 44.07/44.46 c #Conflicts: 64000 | #Constraints: 8289 44.07/44.46 c #Conflicts: 65000 | #Constraints: 9295 44.07/44.46 c #Conflicts: 66000 | #Constraints: 10303 44.07/44.46 c INPROCESSING 44.07/44.46 c GARBAGE COLLECT 44.07/44.46 c rational objective 5 48.26/48.69 c #Conflicts: 67000 | #Constraints: 6082 48.26/48.69 c #Conflicts: 68000 | #Constraints: 7088 48.26/48.69 c #Conflicts: 69000 | #Constraints: 8096 48.26/48.69 c #Conflicts: 70000 | #Constraints: 9102 48.26/48.69 c #Conflicts: 71000 | #Constraints: 10104 48.26/48.69 c #Conflicts: 72000 | #Constraints: 11107 48.26/48.69 c INPROCESSING 48.26/48.69 c GARBAGE COLLECT 48.26/48.69 c rational objective 5 52.84/53.29 c #Conflicts: 73000 | #Constraints: 6684 52.84/53.29 c #Conflicts: 74000 | #Constraints: 7693 52.84/53.29 c #Conflicts: 75000 | #Constraints: 8704 52.84/53.29 c #Conflicts: 76000 | #Constraints: 9713 52.84/53.29 c #Conflicts: 77000 | #Constraints: 10717 52.84/53.29 c #Conflicts: 78000 | #Constraints: 11722 52.84/53.29 c INPROCESSING 52.84/53.29 c GARBAGE COLLECT 52.84/53.29 c rational objective 5 60.52/60.98 c #Conflicts: 79000 | #Constraints: 7104 60.52/60.98 c #Conflicts: 80000 | #Constraints: 8107 60.52/60.98 c #Conflicts: 81000 | #Constraints: 9111 60.52/60.98 c #Conflicts: 82000 | #Constraints: 10116 60.52/60.98 c #Conflicts: 83000 | #Constraints: 11120 60.52/60.98 c #Conflicts: 84000 | #Constraints: 12126 60.52/60.98 c INPROCESSING 60.52/60.98 c GARBAGE COLLECT 60.52/60.98 c rational objective 5 69.19/69.63 c #Conflicts: 85000 | #Constraints: 7299 69.19/69.63 c #Conflicts: 86000 | #Constraints: 8304 69.19/69.63 c #Conflicts: 87000 | #Constraints: 9309 69.19/69.63 c #Conflicts: 88000 | #Constraints: 10315 69.19/69.63 c #Conflicts: 89000 | #Constraints: 11320 69.19/69.63 c #Conflicts: 90000 | #Constraints: 12322 69.19/69.63 c INPROCESSING 69.19/69.63 c GARBAGE COLLECT 69.19/69.63 c rational objective 5 80.56/81.10 c #Conflicts: 91000 | #Constraints: 7297 80.56/81.10 c #Conflicts: 92000 | #Constraints: 8306 80.56/81.10 c #Conflicts: 93000 | #Constraints: 9312 80.56/81.10 c #Conflicts: 94000 | #Constraints: 10318 80.56/81.10 c #Conflicts: 95000 | #Constraints: 11323 80.56/81.10 c #Conflicts: 96000 | #Constraints: 12330 80.56/81.10 c INPROCESSING 80.56/81.10 c GARBAGE COLLECT 80.56/81.10 c rational objective 5 98.90/99.49 c #Conflicts: 97000 | #Constraints: 7107 98.90/99.49 c #Conflicts: 98000 | #Constraints: 8112 98.90/99.49 c #Conflicts: 99000 | #Constraints: 9116 98.90/99.49 c #Conflicts: 100000 | #Constraints: 10119 98.90/99.49 c #Conflicts: 101000 | #Constraints: 11122 98.90/99.49 c #Conflicts: 102000 | #Constraints: 12127 98.90/99.49 c #Conflicts: 103000 | #Constraints: 13130 98.90/99.49 c INPROCESSING 98.90/99.49 c GARBAGE COLLECT 98.90/99.49 c rational objective 5 106.27/106.88 c #Conflicts: 104000 | #Constraints: 7691 106.27/106.88 c #Conflicts: 105000 | #Constraints: 8693 106.27/106.88 c #Conflicts: 106000 | #Constraints: 9703 106.27/106.88 c #Conflicts: 107000 | #Constraints: 10712 106.27/106.88 c #Conflicts: 108000 | #Constraints: 11715 106.27/106.88 c #Conflicts: 109000 | #Constraints: 12720 106.27/106.88 c #Conflicts: 110000 | #Constraints: 13724 106.27/106.88 c INPROCESSING 106.27/106.88 c GARBAGE COLLECT 106.27/106.88 c rational objective 5 112.57/113.17 c #Conflicts: 111000 | #Constraints: 8113 112.57/113.17 c #Conflicts: 112000 | #Constraints: 9125 112.57/113.17 c #Conflicts: 113000 | #Constraints: 10130 112.57/113.17 c #Conflicts: 114000 | #Constraints: 11148 112.57/113.17 c #Conflicts: 115000 | #Constraints: 12159 112.57/113.17 c #Conflicts: 116000 | #Constraints: 13163 112.57/113.17 c #Conflicts: 117000 | #Constraints: 14168 112.57/113.17 c INPROCESSING 112.57/113.17 c GARBAGE COLLECT 112.57/113.17 c rational objective 5 121.44/122.07 c #Conflicts: 118000 | #Constraints: 8322 121.44/122.07 c #Conflicts: 119000 | #Constraints: 9329 121.44/122.07 c #Conflicts: 120000 | #Constraints: 10335 121.44/122.07 c #Conflicts: 121000 | #Constraints: 11342 121.44/122.07 c #Conflicts: 122000 | #Constraints: 12346 121.44/122.07 c #Conflicts: 123000 | #Constraints: 13356 121.44/122.07 c #Conflicts: 124000 | #Constraints: 14363 121.44/122.07 c INPROCESSING 121.44/122.07 c GARBAGE COLLECT 121.44/122.07 c rational objective 5 128.42/129.03 c #Conflicts: 125000 | #Constraints: 8313 128.42/129.03 c #Conflicts: 126000 | #Constraints: 9318 128.42/129.03 c #Conflicts: 127000 | #Constraints: 10332 128.42/129.03 c #Conflicts: 128000 | #Constraints: 11339 128.42/129.03 c #Conflicts: 129000 | #Constraints: 12347 128.42/129.03 c #Conflicts: 130000 | #Constraints: 13352 128.42/129.03 c #Conflicts: 131000 | #Constraints: 14356 128.42/129.03 c INPROCESSING 128.42/129.03 c GARBAGE COLLECT 128.42/129.03 c rational objective 5 134.29/134.92 c #Conflicts: 132000 | #Constraints: 8105 134.29/134.92 c #Conflicts: 133000 | #Constraints: 9112 134.29/134.92 c #Conflicts: 134000 | #Constraints: 10117 134.29/134.92 c #Conflicts: 135000 | #Constraints: 11121 134.29/134.92 c #Conflicts: 136000 | #Constraints: 12126 134.29/134.92 c #Conflicts: 137000 | #Constraints: 13134 134.29/134.92 c #Conflicts: 138000 | #Constraints: 14140 134.29/134.92 c #Conflicts: 139000 | #Constraints: 15145 134.29/134.92 c INPROCESSING 134.29/134.92 c GARBAGE COLLECT 134.29/134.92 c rational objective 5 142.75/143.42 c #Conflicts: 140000 | #Constraints: 8710 142.75/143.42 c #Conflicts: 141000 | #Constraints: 9715 142.75/143.42 c #Conflicts: 142000 | #Constraints: 10725 142.75/143.42 c #Conflicts: 143000 | #Constraints: 11733 142.75/143.42 c #Conflicts: 144000 | #Constraints: 12741 142.75/143.42 c #Conflicts: 145000 | #Constraints: 13759 142.75/143.42 c #Conflicts: 146000 | #Constraints: 14765 142.75/143.42 c #Conflicts: 147000 | #Constraints: 15777 142.75/143.42 c INPROCESSING 142.75/143.42 c GARBAGE COLLECT 142.75/143.42 c rational objective 5 151.45/152.19 c #Conflicts: 148000 | #Constraints: 9142 151.45/152.19 c #Conflicts: 149000 | #Constraints: 10147 151.45/152.19 c #Conflicts: 150000 | #Constraints: 11154 151.45/152.19 c #Conflicts: 151000 | #Constraints: 12156 151.45/152.19 c #Conflicts: 152000 | #Constraints: 13163 151.45/152.19 c #Conflicts: 153000 | #Constraints: 14170 151.45/152.19 c #Conflicts: 154000 | #Constraints: 15176 151.45/152.19 c #Conflicts: 155000 | #Constraints: 16182 151.45/152.19 c INPROCESSING 151.45/152.19 c GARBAGE COLLECT 151.45/152.19 c rational objective 5 160.50/161.22 c #Conflicts: 156000 | #Constraints: 9316 160.50/161.22 c #Conflicts: 157000 | #Constraints: 10324 160.50/161.22 c #Conflicts: 158000 | #Constraints: 11328 160.50/161.22 c #Conflicts: 159000 | #Constraints: 12334 160.50/161.22 c #Conflicts: 160000 | #Constraints: 13343 160.50/161.22 c #Conflicts: 161000 | #Constraints: 14352 160.50/161.22 c #Conflicts: 162000 | #Constraints: 15359 160.50/161.22 c #Conflicts: 163000 | #Constraints: 16360 160.50/161.22 c INPROCESSING 160.50/161.22 c GARBAGE COLLECT 160.50/161.22 c rational objective 5 175.55/176.39 c #Conflicts: 164000 | #Constraints: 9319 175.55/176.39 c #Conflicts: 165000 | #Constraints: 10324 175.55/176.39 c #Conflicts: 166000 | #Constraints: 11327 175.55/176.39 c #Conflicts: 167000 | #Constraints: 12335 175.55/176.39 c #Conflicts: 168000 | #Constraints: 13344 175.55/176.39 c #Conflicts: 169000 | #Constraints: 14347 175.55/176.39 c #Conflicts: 170000 | #Constraints: 15350 175.55/176.39 c #Conflicts: 171000 | #Constraints: 16357 175.55/176.39 c INPROCESSING 175.55/176.39 c GARBAGE COLLECT 175.55/176.39 c rational objective 5 183.92/184.77 c #Conflicts: 172000 | #Constraints: 9107 183.92/184.77 c #Conflicts: 173000 | #Constraints: 10113 183.92/184.77 c #Conflicts: 174000 | #Constraints: 11115 183.92/184.77 c #Conflicts: 175000 | #Constraints: 12122 183.92/184.77 c #Conflicts: 176000 | #Constraints: 13130 183.92/184.77 c #Conflicts: 177000 | #Constraints: 14137 183.92/184.77 c #Conflicts: 178000 | #Constraints: 15142 183.92/184.77 c #Conflicts: 179000 | #Constraints: 16145 183.92/184.77 c #Conflicts: 180000 | #Constraints: 17150 183.92/184.77 c INPROCESSING 183.92/184.77 c GARBAGE COLLECT 183.92/184.77 c rational objective 5 194.89/195.70 c #Conflicts: 181000 | #Constraints: 9716 194.89/195.70 c #Conflicts: 182000 | #Constraints: 10722 194.89/195.70 c #Conflicts: 183000 | #Constraints: 11727 194.89/195.70 c #Conflicts: 184000 | #Constraints: 12734 194.89/195.70 c #Conflicts: 185000 | #Constraints: 13739 194.89/195.70 c #Conflicts: 186000 | #Constraints: 14742 194.89/195.70 c #Conflicts: 187000 | #Constraints: 15746 194.89/195.70 c #Conflicts: 188000 | #Constraints: 16749 194.89/195.70 c #Conflicts: 189000 | #Constraints: 17751 194.89/195.70 c INPROCESSING 194.89/195.70 c GARBAGE COLLECT 194.89/195.70 c rational objective 5 211.84/212.72 c #Conflicts: 190000 | #Constraints: 10124 211.84/212.72 c #Conflicts: 191000 | #Constraints: 11131 211.84/212.72 c #Conflicts: 192000 | #Constraints: 12136 211.84/212.72 c #Conflicts: 193000 | #Constraints: 13139 211.84/212.72 c #Conflicts: 194000 | #Constraints: 14145 211.84/212.72 c #Conflicts: 195000 | #Constraints: 15149 211.84/212.72 c #Conflicts: 196000 | #Constraints: 16155 211.84/212.72 c #Conflicts: 197000 | #Constraints: 17160 211.84/212.72 c #Conflicts: 198000 | #Constraints: 18163 211.84/212.72 c INPROCESSING 211.84/212.72 c GARBAGE COLLECT 211.84/212.72 c rational objective 5 223.11/224.10 c #Conflicts: 199000 | #Constraints: 10325 223.11/224.10 c #Conflicts: 200000 | #Constraints: 11327 223.11/224.10 c #Conflicts: 201000 | #Constraints: 12329 223.11/224.10 c #Conflicts: 202000 | #Constraints: 13333 223.11/224.10 c #Conflicts: 203000 | #Constraints: 14336 223.11/224.10 c #Conflicts: 204000 | #Constraints: 15338 223.11/224.10 c #Conflicts: 205000 | #Constraints: 16340 223.11/224.10 c #Conflicts: 206000 | #Constraints: 17346 223.11/224.10 c #Conflicts: 207000 | #Constraints: 18350 223.11/224.10 c INPROCESSING 223.11/224.10 c GARBAGE COLLECT 223.11/224.10 c rational objective 5 244.72/245.78 c #Conflicts: 208000 | #Constraints: 10309 244.72/245.78 c #Conflicts: 209000 | #Constraints: 11318 244.72/245.78 c #Conflicts: 210000 | #Constraints: 12324 244.72/245.78 c #Conflicts: 211000 | #Constraints: 13333 244.72/245.78 c #Conflicts: 212000 | #Constraints: 14338 244.72/245.78 c #Conflicts: 213000 | #Constraints: 15341 244.72/245.78 c #Conflicts: 214000 | #Constraints: 16345 244.72/245.78 c #Conflicts: 215000 | #Constraints: 17347 244.72/245.78 c #Conflicts: 216000 | #Constraints: 18350 244.72/245.78 c INPROCESSING 244.72/245.78 c GARBAGE COLLECT 244.72/245.78 c rational objective 5 265.07/266.15 c #Conflicts: 217000 | #Constraints: 10118 265.07/266.15 c #Conflicts: 218000 | #Constraints: 11127 265.07/266.15 c #Conflicts: 219000 | #Constraints: 12129 265.07/266.15 c #Conflicts: 220000 | #Constraints: 13132 265.07/266.15 c #Conflicts: 221000 | #Constraints: 14134 265.07/266.15 c #Conflicts: 222000 | #Constraints: 15141 265.07/266.15 c #Conflicts: 223000 | #Constraints: 16142 265.07/266.15 c #Conflicts: 224000 | #Constraints: 17142 265.07/266.15 c #Conflicts: 225000 | #Constraints: 18145 265.07/266.15 c #Conflicts: 226000 | #Constraints: 19148 265.07/266.15 c INPROCESSING 265.07/266.15 c GARBAGE COLLECT 265.07/266.15 c rational objective 5 276.14/277.29 c #Conflicts: 227000 | #Constraints: 10719 276.14/277.29 c #Conflicts: 228000 | #Constraints: 11722 276.14/277.29 c #Conflicts: 229000 | #Constraints: 12725 276.14/277.29 c #Conflicts: 230000 | #Constraints: 13730 276.14/277.29 c #Conflicts: 231000 | #Constraints: 14735 276.14/277.29 c #Conflicts: 232000 | #Constraints: 15738 276.14/277.29 c #Conflicts: 233000 | #Constraints: 16743 276.14/277.29 c #Conflicts: 234000 | #Constraints: 17745 276.14/277.29 c #Conflicts: 235000 | #Constraints: 18756 276.14/277.29 c #Conflicts: 236000 | #Constraints: 19760 276.14/277.29 c INPROCESSING 276.14/277.29 c GARBAGE COLLECT 276.14/277.29 c rational objective 5 286.31/287.40 c #Conflicts: 237000 | #Constraints: 11110 286.31/287.40 c #Conflicts: 238000 | #Constraints: 12118 286.31/287.40 c #Conflicts: 239000 | #Constraints: 13122 286.31/287.40 c #Conflicts: 240000 | #Constraints: 14127 286.31/287.40 c #Conflicts: 241000 | #Constraints: 15131 286.31/287.40 c #Conflicts: 242000 | #Constraints: 16135 286.31/287.40 c #Conflicts: 243000 | #Constraints: 17138 286.31/287.40 c #Conflicts: 244000 | #Constraints: 18144 286.31/287.40 c #Conflicts: 245000 | #Constraints: 19154 286.31/287.40 c #Conflicts: 246000 | #Constraints: 20160 286.31/287.40 c INPROCESSING 286.31/287.40 c GARBAGE COLLECT 286.31/287.40 c rational objective 5 299.89/301.03 c #Conflicts: 247000 | #Constraints: 11313 299.89/301.03 c #Conflicts: 248000 | #Constraints: 12317 299.89/301.03 c #Conflicts: 249000 | #Constraints: 13322 299.89/301.03 c #Conflicts: 250000 | #Constraints: 14329 299.89/301.03 c #Conflicts: 251000 | #Constraints: 15333 299.89/301.03 c #Conflicts: 252000 | #Constraints: 16336 299.89/301.03 c #Conflicts: 253000 | #Constraints: 17344 299.89/301.03 c #Conflicts: 254000 | #Constraints: 18351 299.89/301.03 c #Conflicts: 255000 | #Constraints: 19358 299.89/301.03 c #Conflicts: 256000 | #Constraints: 20366 299.89/301.03 c INPROCESSING 299.89/301.03 c GARBAGE COLLECT 299.89/301.03 c rational objective 5 311.75/312.95 c #Conflicts: 257000 | #Constraints: 11316 311.75/312.95 c #Conflicts: 258000 | #Constraints: 12322 311.75/312.95 c #Conflicts: 259000 | #Constraints: 13326 311.75/312.95 c #Conflicts: 260000 | #Constraints: 14332 311.75/312.95 c #Conflicts: 261000 | #Constraints: 15337 311.75/312.95 c #Conflicts: 262000 | #Constraints: 16341 311.75/312.95 c #Conflicts: 263000 | #Constraints: 17344 311.75/312.95 c #Conflicts: 264000 | #Constraints: 18351 311.75/312.95 c #Conflicts: 265000 | #Constraints: 19361 311.75/312.95 c #Conflicts: 266000 | #Constraints: 20369 311.75/312.95 c INPROCESSING 311.75/312.95 c GARBAGE COLLECT 311.75/312.95 c rational objective 5 327.31/328.55 c #Conflicts: 267000 | #Constraints: 11121 327.31/328.55 c #Conflicts: 268000 | #Constraints: 12133 327.31/328.55 c #Conflicts: 269000 | #Constraints: 13141 327.31/328.55 c #Conflicts: 270000 | #Constraints: 14146 327.31/328.55 c #Conflicts: 271000 | #Constraints: 15150 327.31/328.55 c #Conflicts: 272000 | #Constraints: 16158 327.31/328.55 c #Conflicts: 273000 | #Constraints: 17163 327.31/328.55 c #Conflicts: 274000 | #Constraints: 18169 327.31/328.55 c #Conflicts: 275000 | #Constraints: 19172 327.31/328.55 c #Conflicts: 276000 | #Constraints: 20179 327.31/328.55 c #Conflicts: 277000 | #Constraints: 21185 327.31/328.55 c INPROCESSING 327.31/328.55 c GARBAGE COLLECT 327.31/328.55 c rational objective 5 340.08/341.33 c #Conflicts: 278000 | #Constraints: 11724 340.08/341.33 c #Conflicts: 279000 | #Constraints: 12729 340.08/341.33 c #Conflicts: 280000 | #Constraints: 13732 340.08/341.33 c #Conflicts: 281000 | #Constraints: 14739 340.08/341.33 c #Conflicts: 282000 | #Constraints: 15747 340.08/341.33 c #Conflicts: 283000 | #Constraints: 16756 340.08/341.33 c #Conflicts: 284000 | #Constraints: 17763 340.08/341.33 c #Conflicts: 285000 | #Constraints: 18767 340.08/341.33 c #Conflicts: 286000 | #Constraints: 19773 340.08/341.33 c #Conflicts: 287000 | #Constraints: 20778 340.08/341.33 c #Conflicts: 288000 | #Constraints: 21784 340.08/341.33 c INPROCESSING 340.08/341.33 c GARBAGE COLLECT 340.08/341.33 c rational objective 5 352.16/353.44 c #Conflicts: 289000 | #Constraints: 12126 352.16/353.44 c #Conflicts: 290000 | #Constraints: 13131 352.16/353.44 c #Conflicts: 291000 | #Constraints: 14140 352.16/353.44 c #Conflicts: 292000 | #Constraints: 15144 352.16/353.44 c #Conflicts: 293000 | #Constraints: 16148 352.16/353.44 c #Conflicts: 294000 | #Constraints: 17151 352.16/353.44 c #Conflicts: 295000 | #Constraints: 18154 352.16/353.44 c #Conflicts: 296000 | #Constraints: 19159 352.16/353.44 c #Conflicts: 297000 | #Constraints: 20161 352.16/353.44 c #Conflicts: 298000 | #Constraints: 21168 352.16/353.44 c #Conflicts: 299000 | #Constraints: 22172 352.16/353.44 c INPROCESSING 352.16/353.44 c GARBAGE COLLECT 352.16/353.44 c rational objective 5 367.42/368.71 c #Conflicts: 300000 | #Constraints: 12320 367.42/368.71 c #Conflicts: 301000 | #Constraints: 13326 367.42/368.71 c #Conflicts: 302000 | #Constraints: 14333 367.42/368.71 c #Conflicts: 303000 | #Constraints: 15342 367.42/368.71 c #Conflicts: 304000 | #Constraints: 16349 367.42/368.71 c #Conflicts: 305000 | #Constraints: 17356 367.42/368.71 c #Conflicts: 306000 | #Constraints: 18362 367.42/368.71 c #Conflicts: 307000 | #Constraints: 19374 367.42/368.71 c #Conflicts: 308000 | #Constraints: 20380 367.42/368.71 c #Conflicts: 309000 | #Constraints: 21384 367.42/368.71 c #Conflicts: 310000 | #Constraints: 22393 367.42/368.71 c INPROCESSING 367.42/368.71 c GARBAGE COLLECT 367.42/368.71 c rational objective 5 393.45/394.82 c #Conflicts: 311000 | #Constraints: 12331 393.45/394.82 c #Conflicts: 312000 | #Constraints: 13335 393.45/394.82 c #Conflicts: 313000 | #Constraints: 14338 393.45/394.82 c #Conflicts: 314000 | #Constraints: 15345 393.45/394.82 c #Conflicts: 315000 | #Constraints: 16352 393.45/394.82 c #Conflicts: 316000 | #Constraints: 17358 393.45/394.82 c #Conflicts: 317000 | #Constraints: 18368 393.45/394.82 c #Conflicts: 318000 | #Constraints: 19372 393.45/394.82 c #Conflicts: 319000 | #Constraints: 20375 393.45/394.82 c #Conflicts: 320000 | #Constraints: 21381 393.45/394.82 c #Conflicts: 321000 | #Constraints: 22390 393.45/394.82 c INPROCESSING 393.45/394.82 c GARBAGE COLLECT 393.45/394.82 c rational objective 5 422.70/424.18 c #Conflicts: 322000 | #Constraints: 12135 422.70/424.18 c #Conflicts: 323000 | #Constraints: 13139 422.70/424.18 c #Conflicts: 324000 | #Constraints: 14145 422.70/424.18 c #Conflicts: 325000 | #Constraints: 15150 422.70/424.18 c #Conflicts: 326000 | #Constraints: 16153 422.70/424.18 c #Conflicts: 327000 | #Constraints: 17157 422.70/424.18 c #Conflicts: 328000 | #Constraints: 18160 422.70/424.18 c #Conflicts: 329000 | #Constraints: 19164 422.70/424.18 c #Conflicts: 330000 | #Constraints: 20168 422.70/424.18 c #Conflicts: 331000 | #Constraints: 21172 422.70/424.18 c #Conflicts: 332000 | #Constraints: 22177 422.70/424.18 c #Conflicts: 333000 | #Constraints: 23181 422.70/424.18 c INPROCESSING 422.70/424.18 c GARBAGE COLLECT 422.70/424.18 c rational objective 5 439.84/441.36 c #Conflicts: 334000 | #Constraints: 12712 439.84/441.36 c #Conflicts: 335000 | #Constraints: 13715 439.84/441.36 c #Conflicts: 336000 | #Constraints: 14721 439.84/441.36 c #Conflicts: 337000 | #Constraints: 15725 439.84/441.36 c #Conflicts: 338000 | #Constraints: 16728 439.84/441.36 c #Conflicts: 339000 | #Constraints: 17734 439.84/441.36 c #Conflicts: 340000 | #Constraints: 18739 439.84/441.36 c #Conflicts: 341000 | #Constraints: 19749 439.84/441.36 c #Conflicts: 342000 | #Constraints: 20758 439.84/441.36 c #Conflicts: 343000 | #Constraints: 21765 439.84/441.36 c #Conflicts: 344000 | #Constraints: 22772 439.84/441.36 c #Conflicts: 345000 | #Constraints: 23773 439.84/441.36 c INPROCESSING 439.84/441.36 c GARBAGE COLLECT 439.84/441.36 c rational objective 5 458.51/460.08 c #Conflicts: 346000 | #Constraints: 13122 458.51/460.08 c #Conflicts: 347000 | #Constraints: 14127 458.51/460.08 c #Conflicts: 348000 | #Constraints: 15128 458.51/460.08 c #Conflicts: 349000 | #Constraints: 16131 458.51/460.08 c #Conflicts: 350000 | #Constraints: 17133 458.51/460.08 c #Conflicts: 351000 | #Constraints: 18136 458.51/460.08 c #Conflicts: 352000 | #Constraints: 19147 458.51/460.08 c #Conflicts: 353000 | #Constraints: 20155 458.51/460.08 c #Conflicts: 354000 | #Constraints: 21161 458.51/460.08 c #Conflicts: 355000 | #Constraints: 22164 458.51/460.08 c #Conflicts: 356000 | #Constraints: 23169 458.51/460.08 c #Conflicts: 357000 | #Constraints: 24175 458.51/460.08 c INPROCESSING 458.51/460.08 c GARBAGE COLLECT 458.51/460.08 c rational objective 5 477.57/479.12 c #Conflicts: 358000 | #Constraints: 13329 477.57/479.12 c #Conflicts: 359000 | #Constraints: 14336 477.57/479.12 c #Conflicts: 360000 | #Constraints: 15345 477.57/479.12 c #Conflicts: 361000 | #Constraints: 16350 477.57/479.12 c #Conflicts: 362000 | #Constraints: 17359 477.57/479.12 c #Conflicts: 363000 | #Constraints: 18364 477.57/479.12 c #Conflicts: 364000 | #Constraints: 19370 477.57/479.12 c #Conflicts: 365000 | #Constraints: 20375 477.57/479.12 c #Conflicts: 366000 | #Constraints: 21383 477.57/479.12 c #Conflicts: 367000 | #Constraints: 22392 477.57/479.12 c #Conflicts: 368000 | #Constraints: 23395 477.57/479.12 c #Conflicts: 369000 | #Constraints: 24400 477.57/479.12 c INPROCESSING 477.57/479.12 c GARBAGE COLLECT 477.57/479.12 c rational objective 5 511.97/513.63 c #Conflicts: 370000 | #Constraints: 13340 511.97/513.63 c #Conflicts: 371000 | #Constraints: 14347 511.97/513.63 c #Conflicts: 372000 | #Constraints: 15359 511.97/513.63 c #Conflicts: 373000 | #Constraints: 16366 511.97/513.63 c #Conflicts: 374000 | #Constraints: 17375 511.97/513.63 c #Conflicts: 375000 | #Constraints: 18376 511.97/513.63 c #Conflicts: 376000 | #Constraints: 19378 511.97/513.63 c #Conflicts: 377000 | #Constraints: 20381 511.97/513.63 c #Conflicts: 378000 | #Constraints: 21383 511.97/513.63 c #Conflicts: 379000 | #Constraints: 22383 511.97/513.63 c #Conflicts: 380000 | #Constraints: 23384 511.97/513.63 c #Conflicts: 381000 | #Constraints: 24390 511.97/513.63 c INPROCESSING 511.97/513.63 c GARBAGE COLLECT 511.97/513.63 c rational objective 5 528.22/529.92 c #Conflicts: 382000 | #Constraints: 13122 528.22/529.92 c #Conflicts: 383000 | #Constraints: 14125 528.22/529.92 c #Conflicts: 384000 | #Constraints: 15133 528.22/529.92 c #Conflicts: 385000 | #Constraints: 16139 528.22/529.92 c #Conflicts: 386000 | #Constraints: 17142 528.22/529.92 c #Conflicts: 387000 | #Constraints: 18148 528.22/529.92 c #Conflicts: 388000 | #Constraints: 19152 528.22/529.92 c #Conflicts: 389000 | #Constraints: 20160 528.22/529.92 c #Conflicts: 390000 | #Constraints: 21161 528.22/529.92 c #Conflicts: 391000 | #Constraints: 22167 528.22/529.92 c #Conflicts: 392000 | #Constraints: 23171 528.22/529.92 c #Conflicts: 393000 | #Constraints: 24180 528.22/529.92 c #Conflicts: 394000 | #Constraints: 25187 528.22/529.92 c INPROCESSING 528.22/529.92 c GARBAGE COLLECT 528.22/529.92 c rational objective 5 549.96/551.77 c #Conflicts: 395000 | #Constraints: 13722 549.96/551.77 c #Conflicts: 396000 | #Constraints: 14727 549.96/551.77 c #Conflicts: 397000 | #Constraints: 15733 549.96/551.77 c #Conflicts: 398000 | #Constraints: 16738 549.96/551.77 c #Conflicts: 399000 | #Constraints: 17743 549.96/551.77 c #Conflicts: 400000 | #Constraints: 18748 549.96/551.77 c #Conflicts: 401000 | #Constraints: 19752 549.96/551.77 c #Conflicts: 402000 | #Constraints: 20757 549.96/551.77 c #Conflicts: 403000 | #Constraints: 21764 549.96/551.77 c #Conflicts: 404000 | #Constraints: 22774 549.96/551.77 c #Conflicts: 405000 | #Constraints: 23781 549.96/551.77 c #Conflicts: 406000 | #Constraints: 24785 549.96/551.77 c #Conflicts: 407000 | #Constraints: 25790 549.96/551.77 c INPROCESSING 549.96/551.77 c GARBAGE COLLECT 549.96/551.77 c rational objective 5 569.11/571.00 c #Conflicts: 408000 | #Constraints: 14126 569.11/571.00 c #Conflicts: 409000 | #Constraints: 15129 569.11/571.00 c #Conflicts: 410000 | #Constraints: 16134 569.11/571.00 c #Conflicts: 411000 | #Constraints: 17136 569.11/571.00 c #Conflicts: 412000 | #Constraints: 18143 569.11/571.00 c #Conflicts: 413000 | #Constraints: 19150 569.11/571.00 c #Conflicts: 414000 | #Constraints: 20160 569.11/571.00 c #Conflicts: 415000 | #Constraints: 21170 569.11/571.00 c #Conflicts: 416000 | #Constraints: 22174 569.11/571.00 c #Conflicts: 417000 | #Constraints: 23180 569.11/571.00 c #Conflicts: 418000 | #Constraints: 24183 569.11/571.00 c #Conflicts: 419000 | #Constraints: 25189 569.11/571.00 c #Conflicts: 420000 | #Constraints: 26197 569.11/571.00 c INPROCESSING 569.11/571.00 c GARBAGE COLLECT 569.11/571.00 c rational objective 5 597.42/599.33 c #Conflicts: 421000 | #Constraints: 14340 597.42/599.33 c #Conflicts: 422000 | #Constraints: 15346 597.42/599.33 c #Conflicts: 423000 | #Constraints: 16351 597.42/599.33 c #Conflicts: 424000 | #Constraints: 17354 597.42/599.33 c #Conflicts: 425000 | #Constraints: 18357 597.42/599.33 c #Conflicts: 426000 | #Constraints: 19358 597.42/599.33 c #Conflicts: 427000 | #Constraints: 20359 597.42/599.33 c #Conflicts: 428000 | #Constraints: 21360 597.42/599.33 c #Conflicts: 429000 | #Constraints: 22360 597.42/599.33 c #Conflicts: 430000 | #Constraints: 23361 597.42/599.33 c #Conflicts: 431000 | #Constraints: 24361 597.42/599.33 c #Conflicts: 432000 | #Constraints: 25361 597.42/599.33 c #Conflicts: 433000 | #Constraints: 26361 597.42/599.33 c INPROCESSING 597.42/599.33 c GARBAGE COLLECT 597.42/599.33 c rational objective 5 622.95/624.96 c #Conflicts: 434000 | #Constraints: 14340 622.95/624.96 c #Conflicts: 435000 | #Constraints: 15349 622.95/624.96 c #Conflicts: 436000 | #Constraints: 16351 622.95/624.96 c #Conflicts: 437000 | #Constraints: 17354 622.95/624.96 c #Conflicts: 438000 | #Constraints: 18357 622.95/624.96 c #Conflicts: 439000 | #Constraints: 19362 622.95/624.96 c #Conflicts: 440000 | #Constraints: 20364 622.95/624.96 c #Conflicts: 441000 | #Constraints: 21367 622.95/624.96 c #Conflicts: 442000 | #Constraints: 22368 622.95/624.96 c #Conflicts: 443000 | #Constraints: 23370 622.95/624.96 c #Conflicts: 444000 | #Constraints: 24372 622.95/624.96 c #Conflicts: 445000 | #Constraints: 25375 622.95/624.96 c #Conflicts: 446000 | #Constraints: 26375 622.95/624.96 c INPROCESSING 622.95/624.96 c GARBAGE COLLECT 622.95/624.96 c rational objective 5 671.30/673.40 c #Conflicts: 447000 | #Constraints: 14134 671.30/673.40 c #Conflicts: 448000 | #Constraints: 15139 671.30/673.40 c #Conflicts: 449000 | #Constraints: 16144 671.30/673.40 c #Conflicts: 450000 | #Constraints: 17149 671.30/673.40 c #Conflicts: 451000 | #Constraints: 18152 671.30/673.40 c #Conflicts: 452000 | #Constraints: 19156 671.30/673.40 c #Conflicts: 453000 | #Constraints: 20157 671.30/673.40 c #Conflicts: 454000 | #Constraints: 21165 671.30/673.40 c #Conflicts: 455000 | #Constraints: 22167 671.30/673.40 c #Conflicts: 456000 | #Constraints: 23171 671.30/673.40 c #Conflicts: 457000 | #Constraints: 24174 671.30/673.40 c #Conflicts: 458000 | #Constraints: 25176 671.30/673.40 c #Conflicts: 459000 | #Constraints: 26178 671.30/673.40 c #Conflicts: 460000 | #Constraints: 27179 671.30/673.40 c INPROCESSING 671.30/673.40 c GARBAGE COLLECT 671.30/673.40 c rational objective 5 714.08/716.30 c #Conflicts: 461000 | #Constraints: 14734 714.08/716.30 c #Conflicts: 462000 | #Constraints: 15738 714.08/716.30 c #Conflicts: 463000 | #Constraints: 16744 714.08/716.30 c #Conflicts: 464000 | #Constraints: 17750 714.08/716.30 c #Conflicts: 465000 | #Constraints: 18756 714.08/716.30 c #Conflicts: 466000 | #Constraints: 19761 714.08/716.30 c #Conflicts: 467000 | #Constraints: 20766 714.08/716.30 c #Conflicts: 468000 | #Constraints: 21769 714.08/716.30 c #Conflicts: 469000 | #Constraints: 22770 714.08/716.30 c #Conflicts: 470000 | #Constraints: 23770 714.08/716.30 c #Conflicts: 471000 | #Constraints: 24773 714.08/716.30 c #Conflicts: 472000 | #Constraints: 25777 714.08/716.30 c #Conflicts: 473000 | #Constraints: 26783 714.08/716.30 c #Conflicts: 474000 | #Constraints: 27785 714.08/716.30 c INPROCESSING 714.08/716.30 c GARBAGE COLLECT 714.08/716.30 c rational objective 5 732.02/734.38 c #Conflicts: 475000 | #Constraints: 15149 732.02/734.38 c #Conflicts: 476000 | #Constraints: 16152 732.02/734.38 c #Conflicts: 477000 | #Constraints: 17158 732.02/734.38 c #Conflicts: 478000 | #Constraints: 18161 732.02/734.38 c #Conflicts: 479000 | #Constraints: 19163 732.02/734.38 c #Conflicts: 480000 | #Constraints: 20166 732.02/734.38 c #Conflicts: 481000 | #Constraints: 21175 732.02/734.38 c #Conflicts: 482000 | #Constraints: 22187 732.02/734.38 c #Conflicts: 483000 | #Constraints: 23190 732.02/734.38 c #Conflicts: 484000 | #Constraints: 24194 732.02/734.38 c #Conflicts: 485000 | #Constraints: 25200 732.02/734.38 c #Conflicts: 486000 | #Constraints: 26202 732.02/734.38 c #Conflicts: 487000 | #Constraints: 27203 732.02/734.38 c #Conflicts: 488000 | #Constraints: 28205 732.02/734.38 c INPROCESSING 732.02/734.38 c GARBAGE COLLECT 732.02/734.38 c rational objective 5 776.89/779.38 c #Conflicts: 489000 | #Constraints: 15349 776.89/779.38 c #Conflicts: 490000 | #Constraints: 16351 776.89/779.38 c #Conflicts: 491000 | #Constraints: 17357 776.89/779.38 c #Conflicts: 492000 | #Constraints: 18362 776.89/779.38 c #Conflicts: 493000 | #Constraints: 19366 776.89/779.38 c #Conflicts: 494000 | #Constraints: 20369 776.89/779.38 c #Conflicts: 495000 | #Constraints: 21374 776.89/779.38 c #Conflicts: 496000 | #Constraints: 22378 776.89/779.38 c #Conflicts: 497000 | #Constraints: 23382 776.89/779.38 c #Conflicts: 498000 | #Constraints: 24385 776.89/779.38 c #Conflicts: 499000 | #Constraints: 25387 776.89/779.38 c #Conflicts: 500000 | #Constraints: 26390 776.89/779.38 c #Conflicts: 501000 | #Constraints: 27393 776.89/779.38 c #Conflicts: 502000 | #Constraints: 28397 776.89/779.38 c INPROCESSING 776.89/779.38 c GARBAGE COLLECT 776.89/779.38 c rational objective 5 804.52/807.03 c #Conflicts: 503000 | #Constraints: 15339 804.52/807.03 c #Conflicts: 504000 | #Constraints: 16344 804.52/807.03 c #Conflicts: 505000 | #Constraints: 17353 804.52/807.03 c #Conflicts: 506000 | #Constraints: 18361 804.52/807.03 c #Conflicts: 507000 | #Constraints: 19369 804.52/807.03 c #Conflicts: 508000 | #Constraints: 20375 804.52/807.03 c #Conflicts: 509000 | #Constraints: 21378 804.52/807.03 c #Conflicts: 510000 | #Constraints: 22386 804.52/807.03 c #Conflicts: 511000 | #Constraints: 23389 804.52/807.03 c #Conflicts: 512000 | #Constraints: 24392 804.52/807.03 c #Conflicts: 513000 | #Constraints: 25398 804.52/807.03 c #Conflicts: 514000 | #Constraints: 26403 804.52/807.03 c #Conflicts: 515000 | #Constraints: 27408 804.52/807.03 c #Conflicts: 516000 | #Constraints: 28417 804.52/807.03 c INPROCESSING 804.52/807.03 c GARBAGE COLLECT 804.52/807.03 c rational objective 5 826.77/829.35 c #Conflicts: 517000 | #Constraints: 15137 826.77/829.35 c #Conflicts: 518000 | #Constraints: 16153 826.77/829.35 c #Conflicts: 519000 | #Constraints: 17160 826.77/829.35 c #Conflicts: 520000 | #Constraints: 18167 826.77/829.35 c #Conflicts: 521000 | #Constraints: 19168 826.77/829.35 c #Conflicts: 522000 | #Constraints: 20173 826.77/829.35 c #Conflicts: 523000 | #Constraints: 21182 826.77/829.35 c #Conflicts: 524000 | #Constraints: 22188 826.77/829.35 c #Conflicts: 525000 | #Constraints: 23190 826.77/829.35 c #Conflicts: 526000 | #Constraints: 24193 826.77/829.35 c #Conflicts: 527000 | #Constraints: 25199 826.77/829.35 c #Conflicts: 528000 | #Constraints: 26205 826.77/829.35 c #Conflicts: 529000 | #Constraints: 27212 826.77/829.35 c #Conflicts: 530000 | #Constraints: 28218 826.77/829.35 c #Conflicts: 531000 | #Constraints: 29220 826.77/829.35 c INPROCESSING 826.77/829.35 c GARBAGE COLLECT 826.77/829.35 c rational objective 5 850.97/853.64 c #Conflicts: 532000 | #Constraints: 15752 850.97/853.64 c #Conflicts: 533000 | #Constraints: 16759 850.97/853.64 c #Conflicts: 534000 | #Constraints: 17766 850.97/853.64 c #Conflicts: 535000 | #Constraints: 18772 850.97/853.64 c #Conflicts: 536000 | #Constraints: 19779 850.97/853.64 c #Conflicts: 537000 | #Constraints: 20786 850.97/853.64 c #Conflicts: 538000 | #Constraints: 21792 850.97/853.64 c #Conflicts: 539000 | #Constraints: 22796 850.97/853.64 c #Conflicts: 540000 | #Constraints: 23799 850.97/853.64 c #Conflicts: 541000 | #Constraints: 24803 850.97/853.64 c #Conflicts: 542000 | #Constraints: 25809 850.97/853.64 c #Conflicts: 543000 | #Constraints: 26814 850.97/853.64 c #Conflicts: 544000 | #Constraints: 27820 850.97/853.64 c #Conflicts: 545000 | #Constraints: 28825 850.97/853.64 c #Conflicts: 546000 | #Constraints: 29840 850.97/853.64 c INPROCESSING 850.97/853.64 c GARBAGE COLLECT 850.97/853.64 c rational objective 5 884.47/887.25 c #Conflicts: 547000 | #Constraints: 16164 884.47/887.25 c #Conflicts: 548000 | #Constraints: 17166 884.47/887.25 c #Conflicts: 549000 | #Constraints: 18167 884.47/887.25 c #Conflicts: 550000 | #Constraints: 19168 884.47/887.25 c #Conflicts: 551000 | #Constraints: 20174 884.47/887.25 c #Conflicts: 552000 | #Constraints: 21187 884.47/887.25 c #Conflicts: 553000 | #Constraints: 22196 884.47/887.25 c #Conflicts: 554000 | #Constraints: 23203 884.47/887.25 c #Conflicts: 555000 | #Constraints: 24209 884.47/887.25 c #Conflicts: 556000 | #Constraints: 25213 884.47/887.25 c #Conflicts: 557000 | #Constraints: 26217 884.47/887.25 c #Conflicts: 558000 | #Constraints: 27220 884.47/887.25 c #Conflicts: 559000 | #Constraints: 28228 884.47/887.25 c #Conflicts: 560000 | #Constraints: 29234 884.47/887.25 c #Conflicts: 561000 | #Constraints: 30239 884.47/887.25 c INPROCESSING 884.47/887.25 c GARBAGE COLLECT 884.47/887.25 c rational objective 5 905.61/908.43 c #Conflicts: 562000 | #Constraints: 16352 905.61/908.43 c #Conflicts: 563000 | #Constraints: 17357 905.61/908.43 c #Conflicts: 564000 | #Constraints: 18359 905.61/908.43 c #Conflicts: 565000 | #Constraints: 19362 905.61/908.43 c #Conflicts: 566000 | #Constraints: 20368 905.61/908.43 c #Conflicts: 567000 | #Constraints: 21377 905.61/908.43 c #Conflicts: 568000 | #Constraints: 22380 905.61/908.43 c #Conflicts: 569000 | #Constraints: 23383 905.61/908.43 c #Conflicts: 570000 | #Constraints: 24388 905.61/908.43 c #Conflicts: 571000 | #Constraints: 25395 905.61/908.43 c #Conflicts: 572000 | #Constraints: 26402 905.61/908.43 c #Conflicts: 573000 | #Constraints: 27406 905.61/908.43 c #Conflicts: 574000 | #Constraints: 28412 905.61/908.43 c #Conflicts: 575000 | #Constraints: 29415 905.61/908.43 c #Conflicts: 576000 | #Constraints: 30419 905.61/908.43 c INPROCESSING 905.61/908.43 c GARBAGE COLLECT 905.61/908.43 c rational objective 5 925.95/928.88 c #Conflicts: 577000 | #Constraints: 16336 925.95/928.88 c #Conflicts: 578000 | #Constraints: 17342 925.95/928.88 c #Conflicts: 579000 | #Constraints: 18345 925.95/928.88 c #Conflicts: 580000 | #Constraints: 19347 925.95/928.88 c #Conflicts: 581000 | #Constraints: 20354 925.95/928.88 c #Conflicts: 582000 | #Constraints: 21360 925.95/928.88 c #Conflicts: 583000 | #Constraints: 22366 925.95/928.88 c #Conflicts: 584000 | #Constraints: 23373 925.95/928.88 c #Conflicts: 585000 | #Constraints: 24376 925.95/928.88 c #Conflicts: 586000 | #Constraints: 25382 925.95/928.88 c #Conflicts: 587000 | #Constraints: 26388 925.95/928.88 c #Conflicts: 588000 | #Constraints: 27399 925.95/928.88 c #Conflicts: 589000 | #Constraints: 28404 925.95/928.88 c #Conflicts: 590000 | #Constraints: 29409 925.95/928.88 c #Conflicts: 591000 | #Constraints: 30415 925.95/928.88 c INPROCESSING 925.95/928.88 c GARBAGE COLLECT 925.95/928.88 c rational objective 5 965.33/968.35 c #Conflicts: 592000 | #Constraints: 16140 965.33/968.35 c #Conflicts: 593000 | #Constraints: 17150 965.33/968.35 c #Conflicts: 594000 | #Constraints: 18157 965.33/968.35 c #Conflicts: 595000 | #Constraints: 19161 965.33/968.35 c #Conflicts: 596000 | #Constraints: 20169 965.33/968.35 c #Conflicts: 597000 | #Constraints: 21176 965.33/968.35 c #Conflicts: 598000 | #Constraints: 22181 965.33/968.35 c #Conflicts: 599000 | #Constraints: 23186 965.33/968.35 c #Conflicts: 600000 | #Constraints: 24192 965.33/968.35 c #Conflicts: 601000 | #Constraints: 25196 965.33/968.35 c #Conflicts: 602000 | #Constraints: 26201 965.33/968.35 c #Conflicts: 603000 | #Constraints: 27206 965.33/968.35 c #Conflicts: 604000 | #Constraints: 28210 965.33/968.35 c #Conflicts: 605000 | #Constraints: 29212 965.33/968.35 c #Conflicts: 606000 | #Constraints: 30213 965.33/968.35 c #Conflicts: 607000 | #Constraints: 31217 965.33/968.35 c INPROCESSING 965.33/968.35 c GARBAGE COLLECT 965.33/968.35 c rational objective 5 1019.08/1022.24 c #Conflicts: 608000 | #Constraints: 16753 1019.08/1022.24 c #Conflicts: 609000 | #Constraints: 17760 1019.08/1022.24 c #Conflicts: 610000 | #Constraints: 18768 1019.08/1022.24 c #Conflicts: 611000 | #Constraints: 19770 1019.08/1022.24 c #Conflicts: 612000 | #Constraints: 20779 1019.08/1022.24 c #Conflicts: 613000 | #Constraints: 21787 1019.08/1022.24 c #Conflicts: 614000 | #Constraints: 22790 1019.08/1022.24 c #Conflicts: 615000 | #Constraints: 23798 1019.08/1022.24 c #Conflicts: 616000 | #Constraints: 24803 1019.08/1022.24 c #Conflicts: 617000 | #Constraints: 25806 1019.08/1022.24 c #Conflicts: 618000 | #Constraints: 26813 1019.08/1022.24 c #Conflicts: 619000 | #Constraints: 27816 1019.08/1022.24 c #Conflicts: 620000 | #Constraints: 28822 1019.08/1022.24 c #Conflicts: 621000 | #Constraints: 29827 1019.08/1022.24 c #Conflicts: 622000 | #Constraints: 30829 1019.08/1022.24 c #Conflicts: 623000 | #Constraints: 31832 1019.08/1022.24 c INPROCESSING 1019.08/1022.24 c GARBAGE COLLECT 1019.08/1022.24 c rational objective 5 1045.59/1048.87 c #Conflicts: 624000 | #Constraints: 17152 1045.59/1048.87 c #Conflicts: 625000 | #Constraints: 18163 1045.59/1048.87 c #Conflicts: 626000 | #Constraints: 19166 1045.59/1048.87 c #Conflicts: 627000 | #Constraints: 20171 1045.59/1048.87 c #Conflicts: 628000 | #Constraints: 21173 1045.59/1048.87 c #Conflicts: 629000 | #Constraints: 22181 1045.59/1048.87 c #Conflicts: 630000 | #Constraints: 23186 1045.59/1048.87 c #Conflicts: 631000 | #Constraints: 24193 1045.59/1048.87 c #Conflicts: 632000 | #Constraints: 25201 1045.59/1048.87 c #Conflicts: 633000 | #Constraints: 26207 1045.59/1048.87 c #Conflicts: 634000 | #Constraints: 27213 1045.59/1048.87 c #Conflicts: 635000 | #Constraints: 28216 1045.59/1048.87 c #Conflicts: 636000 | #Constraints: 29223 1045.59/1048.87 c #Conflicts: 637000 | #Constraints: 30229 1045.59/1048.87 c #Conflicts: 638000 | #Constraints: 31234 1045.59/1048.87 c #Conflicts: 639000 | #Constraints: 32241 1045.59/1048.87 c INPROCESSING 1045.59/1048.87 c GARBAGE COLLECT 1045.59/1048.87 c rational objective 5 1071.01/1074.30 c #Conflicts: 640000 | #Constraints: 17356 1071.01/1074.30 c #Conflicts: 641000 | #Constraints: 18359 1071.01/1074.30 c #Conflicts: 642000 | #Constraints: 19366 1071.01/1074.30 c #Conflicts: 643000 | #Constraints: 20373 1071.01/1074.30 c #Conflicts: 644000 | #Constraints: 21380 1071.01/1074.30 c #Conflicts: 645000 | #Constraints: 22387 1071.01/1074.30 c #Conflicts: 646000 | #Constraints: 23392 1071.01/1074.30 c #Conflicts: 647000 | #Constraints: 24399 1071.01/1074.30 c #Conflicts: 648000 | #Constraints: 25405 1071.01/1074.30 c #Conflicts: 649000 | #Constraints: 26411 1071.01/1074.30 c #Conflicts: 650000 | #Constraints: 27414 1071.01/1074.30 c #Conflicts: 651000 | #Constraints: 28416 1071.01/1074.30 c #Conflicts: 652000 | #Constraints: 29417 1071.01/1074.30 c #Conflicts: 653000 | #Constraints: 30422 1071.01/1074.30 c #Conflicts: 654000 | #Constraints: 31428 1071.01/1074.30 c #Conflicts: 655000 | #Constraints: 32437 1071.01/1074.30 c INPROCESSING 1071.01/1074.30 c GARBAGE COLLECT 1071.01/1074.30 c rational objective 5 1094.76/1098.15 c #Conflicts: 656000 | #Constraints: 17363 1094.76/1098.15 c #Conflicts: 657000 | #Constraints: 18370 1094.76/1098.15 c #Conflicts: 658000 | #Constraints: 19379 1094.76/1098.15 c #Conflicts: 659000 | #Constraints: 20383 1094.76/1098.15 c #Conflicts: 660000 | #Constraints: 21387 1094.76/1098.15 c #Conflicts: 661000 | #Constraints: 22397 1094.76/1098.15 c #Conflicts: 662000 | #Constraints: 23406 1094.76/1098.15 c #Conflicts: 663000 | #Constraints: 24411 1094.76/1098.15 c #Conflicts: 664000 | #Constraints: 25417 1094.76/1098.15 c #Conflicts: 665000 | #Constraints: 26423 1094.76/1098.15 c #Conflicts: 666000 | #Constraints: 27429 1094.76/1098.15 c #Conflicts: 667000 | #Constraints: 28431 1094.76/1098.15 c #Conflicts: 668000 | #Constraints: 29435 1094.76/1098.15 c #Conflicts: 669000 | #Constraints: 30437 1094.76/1098.15 c #Conflicts: 670000 | #Constraints: 31444 1094.76/1098.15 c #Conflicts: 671000 | #Constraints: 32449 1094.76/1098.15 c INPROCESSING 1094.76/1098.15 c GARBAGE COLLECT 1094.76/1098.15 c rational objective 5 1125.25/1128.73 c #Conflicts: 672000 | #Constraints: 17161 1125.25/1128.73 c #Conflicts: 673000 | #Constraints: 18170 1125.25/1128.73 c #Conflicts: 674000 | #Constraints: 19176 1125.25/1128.73 c #Conflicts: 675000 | #Constraints: 20184 1125.25/1128.73 c #Conflicts: 676000 | #Constraints: 21189 1125.25/1128.73 c #Conflicts: 677000 | #Constraints: 22190 1125.25/1128.73 c #Conflicts: 678000 | #Constraints: 23194 1125.25/1128.73 c #Conflicts: 679000 | #Constraints: 24199 1125.25/1128.73 c #Conflicts: 680000 | #Constraints: 25204 1125.25/1128.73 c #Conflicts: 681000 | #Constraints: 26208 1125.25/1128.73 c #Conflicts: 682000 | #Constraints: 27211 1125.25/1128.73 c #Conflicts: 683000 | #Constraints: 28216 1125.25/1128.73 c #Conflicts: 684000 | #Constraints: 29221 1125.25/1128.73 c #Conflicts: 685000 | #Constraints: 30226 1125.25/1128.73 c #Conflicts: 686000 | #Constraints: 31234 1125.25/1128.73 c #Conflicts: 687000 | #Constraints: 32244 1125.25/1128.73 c #Conflicts: 688000 | #Constraints: 33246 1125.25/1128.73 c INPROCESSING 1125.25/1128.73 c GARBAGE COLLECT 1125.25/1128.73 c rational objective 5 1158.56/1162.13 c #Conflicts: 689000 | #Constraints: 17758 1158.56/1162.13 c #Conflicts: 690000 | #Constraints: 18764 1158.56/1162.13 c #Conflicts: 691000 | #Constraints: 19770 1158.56/1162.13 c #Conflicts: 692000 | #Constraints: 20775 1158.56/1162.13 c #Conflicts: 693000 | #Constraints: 21777 1158.56/1162.13 c #Conflicts: 694000 | #Constraints: 22789 1158.56/1162.13 c #Conflicts: 695000 | #Constraints: 23796 1158.56/1162.13 c #Conflicts: 696000 | #Constraints: 24809 1158.56/1162.13 c #Conflicts: 697000 | #Constraints: 25817 1158.56/1162.13 c #Conflicts: 698000 | #Constraints: 26823 1158.56/1162.13 c #Conflicts: 699000 | #Constraints: 27830 1158.56/1162.13 c #Conflicts: 700000 | #Constraints: 28840 1158.56/1162.13 c #Conflicts: 701000 | #Constraints: 29844 1158.56/1162.13 c #Conflicts: 702000 | #Constraints: 30850 1158.56/1162.13 c #Conflicts: 703000 | #Constraints: 31859 1158.56/1162.13 c #Conflicts: 704000 | #Constraints: 32867 1158.56/1162.13 c #Conflicts: 705000 | #Constraints: 33875 1158.56/1162.13 c INPROCESSING 1158.56/1162.13 c GARBAGE COLLECT 1158.56/1162.13 c rational objective 5 1207.01/1210.74 c #Conflicts: 706000 | #Constraints: 18177 1207.01/1210.74 c #Conflicts: 707000 | #Constraints: 19182 1207.01/1210.74 c #Conflicts: 708000 | #Constraints: 20188 1207.01/1210.74 c #Conflicts: 709000 | #Constraints: 21196 1207.01/1210.74 c #Conflicts: 710000 | #Constraints: 22203 1207.01/1210.74 c #Conflicts: 711000 | #Constraints: 23207 1207.01/1210.74 c #Conflicts: 712000 | #Constraints: 24214 1207.01/1210.74 c #Conflicts: 713000 | #Constraints: 25218 1207.01/1210.74 c #Conflicts: 714000 | #Constraints: 26221 1207.01/1210.74 c #Conflicts: 715000 | #Constraints: 27228 1207.01/1210.74 c #Conflicts: 716000 | #Constraints: 28233 1207.01/1210.74 c #Conflicts: 717000 | #Constraints: 29235 1207.01/1210.74 c #Conflicts: 718000 | #Constraints: 30240 1207.01/1210.74 c #Conflicts: 719000 | #Constraints: 31250 1207.01/1210.74 c #Conflicts: 720000 | #Constraints: 32256 1207.01/1210.74 c #Conflicts: 721000 | #Constraints: 33261 1207.01/1210.74 c #Conflicts: 722000 | #Constraints: 34267 1207.01/1210.74 c INPROCESSING 1207.01/1210.74 c GARBAGE COLLECT 1207.01/1210.74 c rational objective 5 1285.57/1289.58 c #Conflicts: 723000 | #Constraints: 18376 1285.57/1289.58 c #Conflicts: 724000 | #Constraints: 19386 1285.57/1289.58 c #Conflicts: 725000 | #Constraints: 20390 1285.57/1289.58 c #Conflicts: 726000 | #Constraints: 21395 1285.57/1289.58 c #Conflicts: 727000 | #Constraints: 22399 1285.57/1289.58 c #Conflicts: 728000 | #Constraints: 23406 1285.57/1289.58 c #Conflicts: 729000 | #Constraints: 24412 1285.57/1289.58 c #Conflicts: 730000 | #Constraints: 25416 1285.57/1289.58 c #Conflicts: 731000 | #Constraints: 26418 1285.57/1289.58 c #Conflicts: 732000 | #Constraints: 27423 1285.57/1289.58 c #Conflicts: 733000 | #Constraints: 28426 1285.57/1289.58 c #Conflicts: 734000 | #Constraints: 29432 1285.57/1289.58 c #Conflicts: 735000 | #Constraints: 30434 1285.57/1289.58 c #Conflicts: 736000 | #Constraints: 31436 1285.57/1289.58 c #Conflicts: 737000 | #Constraints: 32439 1285.57/1289.58 c #Conflicts: 738000 | #Constraints: 33443 1285.57/1289.58 c #Conflicts: 739000 | #Constraints: 34447 1285.57/1289.58 c INPROCESSING 1285.57/1289.58 c GARBAGE COLLECT 1285.57/1289.58 c rational objective 5 1321.46/1325.51 c #Conflicts: 740000 | #Constraints: 18356 1321.46/1325.51 c #Conflicts: 741000 | #Constraints: 19360 1321.46/1325.51 c #Conflicts: 742000 | #Constraints: 20360 1321.46/1325.51 c #Conflicts: 743000 | #Constraints: 21362 1321.46/1325.51 c #Conflicts: 744000 | #Constraints: 22366 1321.46/1325.51 c #Conflicts: 745000 | #Constraints: 23370 1321.46/1325.51 c #Conflicts: 746000 | #Constraints: 24373 1321.46/1325.51 c #Conflicts: 747000 | #Constraints: 25373 1321.46/1325.51 c #Conflicts: 748000 | #Constraints: 26373 1321.46/1325.51 c #Conflicts: 749000 | #Constraints: 27373 1321.46/1325.51 c #Conflicts: 750000 | #Constraints: 28373 1321.46/1325.51 c #Conflicts: 751000 | #Constraints: 29374 1321.46/1325.51 c #Conflicts: 752000 | #Constraints: 30380 1321.46/1325.51 c #Conflicts: 753000 | #Constraints: 31389 1321.46/1325.51 c #Conflicts: 754000 | #Constraints: 32394 1321.46/1325.51 c #Conflicts: 755000 | #Constraints: 33398 1321.46/1325.51 c #Conflicts: 756000 | #Constraints: 34403 1321.46/1325.51 c INPROCESSING 1321.46/1325.51 c GARBAGE COLLECT 1321.46/1325.51 c rational objective 5 1346.00/1350.12 c #Conflicts: 757000 | #Constraints: 18143 1346.00/1350.12 c #Conflicts: 758000 | #Constraints: 19150 1346.00/1350.12 c #Conflicts: 759000 | #Constraints: 20155 1346.00/1350.12 c #Conflicts: 760000 | #Constraints: 21163 1346.00/1350.12 c #Conflicts: 761000 | #Constraints: 22168 1346.00/1350.12 c #Conflicts: 762000 | #Constraints: 23173 1346.00/1350.12 c #Conflicts: 763000 | #Constraints: 24177 1346.00/1350.12 c #Conflicts: 764000 | #Constraints: 25178 1346.00/1350.12 c #Conflicts: 765000 | #Constraints: 26183 1346.00/1350.12 c #Conflicts: 766000 | #Constraints: 27192 1346.00/1350.12 c #Conflicts: 767000 | #Constraints: 28199 1346.00/1350.12 c #Conflicts: 768000 | #Constraints: 29204 1346.00/1350.12 c #Conflicts: 769000 | #Constraints: 30211 1346.00/1350.12 c #Conflicts: 770000 | #Constraints: 31216 1346.00/1350.12 c #Conflicts: 771000 | #Constraints: 32219 1346.00/1350.12 c #Conflicts: 772000 | #Constraints: 33224 1346.00/1350.12 c #Conflicts: 773000 | #Constraints: 34229 1346.00/1350.12 c #Conflicts: 774000 | #Constraints: 35234 1346.00/1350.12 c INPROCESSING 1346.00/1350.12 c GARBAGE COLLECT 1346.00/1350.12 c rational objective 5 1372.00/1376.20 c #Conflicts: 775000 | #Constraints: 18755 1372.00/1376.20 c #Conflicts: 776000 | #Constraints: 19764 1372.00/1376.20 c #Conflicts: 777000 | #Constraints: 20770 1372.00/1376.20 c #Conflicts: 778000 | #Constraints: 21776 1372.00/1376.20 c #Conflicts: 779000 | #Constraints: 22783 1372.00/1376.20 c #Conflicts: 780000 | #Constraints: 23791 1372.00/1376.20 c #Conflicts: 781000 | #Constraints: 24796 1372.00/1376.20 c #Conflicts: 782000 | #Constraints: 25798 1372.00/1376.20 c #Conflicts: 783000 | #Constraints: 26800 1372.00/1376.20 c #Conflicts: 784000 | #Constraints: 27804 1372.00/1376.20 c #Conflicts: 785000 | #Constraints: 28806 1372.00/1376.20 c #Conflicts: 786000 | #Constraints: 29809 1372.00/1376.20 c #Conflicts: 787000 | #Constraints: 30818 1372.00/1376.20 c #Conflicts: 788000 | #Constraints: 31825 1372.00/1376.20 c #Conflicts: 789000 | #Constraints: 32831 1372.00/1376.20 c #Conflicts: 790000 | #Constraints: 33838 1372.00/1376.20 c #Conflicts: 791000 | #Constraints: 34846 1372.00/1376.20 c #Conflicts: 792000 | #Constraints: 35854 1372.00/1376.20 c INPROCESSING 1372.00/1376.20 c GARBAGE COLLECT 1372.00/1376.20 c rational objective 5 1402.83/1407.14 c #Conflicts: 793000 | #Constraints: 19170 1402.83/1407.14 c #Conflicts: 794000 | #Constraints: 20172 1402.83/1407.14 c #Conflicts: 795000 | #Constraints: 21178 1402.83/1407.14 c #Conflicts: 796000 | #Constraints: 22185 1402.83/1407.14 c #Conflicts: 797000 | #Constraints: 23193 1402.83/1407.14 c #Conflicts: 798000 | #Constraints: 24198 1402.83/1407.14 c #Conflicts: 799000 | #Constraints: 25204 1402.83/1407.14 c #Conflicts: 800000 | #Constraints: 26208 1402.83/1407.14 c #Conflicts: 801000 | #Constraints: 27213 1402.83/1407.14 c #Conflicts: 802000 | #Constraints: 28219 1402.83/1407.14 c #Conflicts: 803000 | #Constraints: 29226 1402.83/1407.14 c #Conflicts: 804000 | #Constraints: 30236 1402.83/1407.14 c #Conflicts: 805000 | #Constraints: 31262 1402.83/1407.14 c #Conflicts: 806000 | #Constraints: 32273 1402.83/1407.14 c #Conflicts: 807000 | #Constraints: 33285 1402.83/1407.14 c #Conflicts: 808000 | #Constraints: 34290 1402.83/1407.14 c #Conflicts: 809000 | #Constraints: 35294 1402.83/1407.14 c #Conflicts: 810000 | #Constraints: 36302 1402.83/1407.14 c INPROCESSING 1402.83/1407.14 c GARBAGE COLLECT 1402.83/1407.14 c rational objective 5 1433.91/1438.38 c #Conflicts: 811000 | #Constraints: 19389 1433.91/1438.38 c #Conflicts: 812000 | #Constraints: 20397 1433.91/1438.38 c #Conflicts: 813000 | #Constraints: 21402 1433.91/1438.38 c #Conflicts: 814000 | #Constraints: 22410 1433.91/1438.38 c #Conflicts: 815000 | #Constraints: 23423 1433.91/1438.38 c #Conflicts: 816000 | #Constraints: 24429 1433.91/1438.38 c #Conflicts: 817000 | #Constraints: 25432 1433.91/1438.38 c #Conflicts: 818000 | #Constraints: 26437 1433.91/1438.38 c #Conflicts: 819000 | #Constraints: 27447 1433.91/1438.38 c #Conflicts: 820000 | #Constraints: 28455 1433.91/1438.38 c #Conflicts: 821000 | #Constraints: 29470 1433.91/1438.38 c #Conflicts: 822000 | #Constraints: 30481 1433.91/1438.38 c #Conflicts: 823000 | #Constraints: 31486 1433.91/1438.38 c #Conflicts: 824000 | #Constraints: 32490 1433.91/1438.38 c #Conflicts: 825000 | #Constraints: 33498 1433.91/1438.38 c #Conflicts: 826000 | #Constraints: 34503 1433.91/1438.38 c #Conflicts: 827000 | #Constraints: 35507 1433.91/1438.38 c #Conflicts: 828000 | #Constraints: 36511 1433.91/1438.38 c INPROCESSING 1433.91/1438.38 c GARBAGE COLLECT 1433.91/1438.38 c rational objective 5 1502.32/1506.91 c #Conflicts: 829000 | #Constraints: 19409 1502.32/1506.91 c #Conflicts: 830000 | #Constraints: 20437 1502.32/1506.91 c #Conflicts: 831000 | #Constraints: 21454 1502.32/1506.91 c #Conflicts: 832000 | #Constraints: 22457 1502.32/1506.91 c #Conflicts: 833000 | #Constraints: 23466 1502.32/1506.91 c #Conflicts: 834000 | #Constraints: 24473 1502.32/1506.91 c #Conflicts: 835000 | #Constraints: 25477 1502.32/1506.91 c #Conflicts: 836000 | #Constraints: 26481 1502.32/1506.91 c #Conflicts: 837000 | #Constraints: 27486 1502.32/1506.91 c #Conflicts: 838000 | #Constraints: 28489 1502.32/1506.91 c #Conflicts: 839000 | #Constraints: 29496 1502.32/1506.91 c #Conflicts: 840000 | #Constraints: 30501 1502.32/1506.91 c #Conflicts: 841000 | #Constraints: 31501 1502.32/1506.91 c #Conflicts: 842000 | #Constraints: 32504 1502.32/1506.91 c #Conflicts: 843000 | #Constraints: 33509 1502.32/1506.91 c #Conflicts: 844000 | #Constraints: 34511 1502.32/1506.91 c #Conflicts: 845000 | #Constraints: 35514 1502.32/1506.91 c #Conflicts: 846000 | #Constraints: 36518 1502.32/1506.91 c INPROCESSING 1502.32/1506.91 c GARBAGE COLLECT 1502.32/1506.91 c rational objective 5 1536.51/1541.26 c #Conflicts: 847000 | #Constraints: 19199 1536.51/1541.26 c #Conflicts: 848000 | #Constraints: 20202 1536.51/1541.26 c #Conflicts: 849000 | #Constraints: 21206 1536.51/1541.26 c #Conflicts: 850000 | #Constraints: 22213 1536.51/1541.26 c #Conflicts: 851000 | #Constraints: 23220 1536.51/1541.26 c #Conflicts: 852000 | #Constraints: 24230 1536.51/1541.26 c #Conflicts: 853000 | #Constraints: 25235 1536.51/1541.26 c #Conflicts: 854000 | #Constraints: 26239 1536.51/1541.26 c #Conflicts: 855000 | #Constraints: 27244 1536.51/1541.26 c #Conflicts: 856000 | #Constraints: 28250 1536.51/1541.26 c #Conflicts: 857000 | #Constraints: 29257 1536.51/1541.26 c #Conflicts: 858000 | #Constraints: 30267 1536.51/1541.26 c #Conflicts: 859000 | #Constraints: 31272 1536.51/1541.26 c #Conflicts: 860000 | #Constraints: 32281 1536.51/1541.26 c #Conflicts: 861000 | #Constraints: 33286 1536.51/1541.26 c #Conflicts: 862000 | #Constraints: 34293 1536.51/1541.26 c #Conflicts: 863000 | #Constraints: 35305 1536.51/1541.26 c #Conflicts: 864000 | #Constraints: 36311 1536.51/1541.26 c #Conflicts: 865000 | #Constraints: 37317 1536.51/1541.26 c INPROCESSING 1536.51/1541.26 c GARBAGE COLLECT 1536.51/1541.26 c rational objective 5 1572.21/1577.09 c #Conflicts: 866000 | #Constraints: 19802 1572.21/1577.09 c #Conflicts: 867000 | #Constraints: 20806 1572.21/1577.09 c #Conflicts: 868000 | #Constraints: 21812 1572.21/1577.09 c #Conflicts: 869000 | #Constraints: 22817 1572.21/1577.09 c #Conflicts: 870000 | #Constraints: 23825 1572.21/1577.09 c #Conflicts: 871000 | #Constraints: 24832 1572.21/1577.09 c #Conflicts: 872000 | #Constraints: 25840 1572.21/1577.09 c #Conflicts: 873000 | #Constraints: 26849 1572.21/1577.09 c #Conflicts: 874000 | #Constraints: 27856 1572.21/1577.09 c #Conflicts: 875000 | #Constraints: 28857 1572.21/1577.09 c #Conflicts: 876000 | #Constraints: 29862 1572.21/1577.09 c #Conflicts: 877000 | #Constraints: 30872 1572.21/1577.09 c #Conflicts: 878000 | #Constraints: 31877 1572.21/1577.09 c #Conflicts: 879000 | #Constraints: 32879 1572.21/1577.09 c #Conflicts: 880000 | #Constraints: 33885 1572.21/1577.09 c #Conflicts: 881000 | #Constraints: 34889 1572.21/1577.09 c #Conflicts: 882000 | #Constraints: 35894 1572.21/1577.09 c #Conflicts: 883000 | #Constraints: 36899 1572.21/1577.09 c #Conflicts: 884000 | #Constraints: 37903 1572.21/1577.09 c INPROCESSING 1572.21/1577.09 c GARBAGE COLLECT 1572.21/1577.09 c rational objective 5 1616.46/1621.47 c #Conflicts: 885000 | #Constraints: 20189 1616.46/1621.47 c #Conflicts: 886000 | #Constraints: 21194 1616.46/1621.47 c #Conflicts: 887000 | #Constraints: 22197 1616.46/1621.47 c #Conflicts: 888000 | #Constraints: 23202 1616.46/1621.47 c #Conflicts: 889000 | #Constraints: 24206 1616.46/1621.47 c #Conflicts: 890000 | #Constraints: 25208 1616.46/1621.47 c #Conflicts: 891000 | #Constraints: 26214 1616.46/1621.47 c #Conflicts: 892000 | #Constraints: 27222 1616.46/1621.47 c #Conflicts: 893000 | #Constraints: 28233 1616.46/1621.47 c #Conflicts: 894000 | #Constraints: 29243 1616.46/1621.47 c #Conflicts: 895000 | #Constraints: 30246 1616.46/1621.47 c #Conflicts: 896000 | #Constraints: 31252 1616.46/1621.47 c #Conflicts: 897000 | #Constraints: 32264 1616.46/1621.47 c #Conflicts: 898000 | #Constraints: 33271 1616.46/1621.47 c #Conflicts: 899000 | #Constraints: 34281 1616.46/1621.47 c #Conflicts: 900000 | #Constraints: 35286 1616.46/1621.47 c #Conflicts: 901000 | #Constraints: 36291 1616.46/1621.47 c #Conflicts: 902000 | #Constraints: 37295 1616.46/1621.47 c #Conflicts: 903000 | #Constraints: 38298 1616.46/1621.47 c INPROCESSING 1616.46/1621.47 c GARBAGE COLLECT 1616.46/1621.47 c rational objective 5 1655.65/1660.75 c #Conflicts: 904000 | #Constraints: 20383 1655.65/1660.75 c #Conflicts: 905000 | #Constraints: 21388 1655.65/1660.75 c #Conflicts: 906000 | #Constraints: 22393 1655.65/1660.75 c #Conflicts: 907000 | #Constraints: 23396 1655.65/1660.75 c #Conflicts: 908000 | #Constraints: 24400 1655.65/1660.75 c #Conflicts: 909000 | #Constraints: 25405 1655.65/1660.75 c #Conflicts: 910000 | #Constraints: 26409 1655.65/1660.75 c #Conflicts: 911000 | #Constraints: 27415 1655.65/1660.75 c #Conflicts: 912000 | #Constraints: 28421 1655.65/1660.75 c #Conflicts: 913000 | #Constraints: 29430 1655.65/1660.75 c #Conflicts: 914000 | #Constraints: 30433 1655.65/1660.75 c #Conflicts: 915000 | #Constraints: 31436 1655.65/1660.75 c #Conflicts: 916000 | #Constraints: 32442 1655.65/1660.75 c #Conflicts: 917000 | #Constraints: 33443 1655.65/1660.75 c #Conflicts: 918000 | #Constraints: 34450 1655.65/1660.75 c #Conflicts: 919000 | #Constraints: 35452 1655.65/1660.75 c #Conflicts: 920000 | #Constraints: 36459 1655.65/1660.75 c #Conflicts: 921000 | #Constraints: 37472 1655.65/1660.75 c #Conflicts: 922000 | #Constraints: 38477 1655.65/1660.75 c INPROCESSING 1655.65/1660.75 c GARBAGE COLLECT 1655.65/1660.75 c rational objective 5 1708.80/1714.07 c #Conflicts: 923000 | #Constraints: 20381 1708.80/1714.07 c #Conflicts: 924000 | #Constraints: 21388 1708.80/1714.07 c #Conflicts: 925000 | #Constraints: 22390 1708.80/1714.07 c #Conflicts: 926000 | #Constraints: 23399 1708.80/1714.07 c #Conflicts: 927000 | #Constraints: 24405 1708.80/1714.07 c #Conflicts: 928000 | #Constraints: 25408 1708.80/1714.07 c #Conflicts: 929000 | #Constraints: 26415 1708.80/1714.07 c #Conflicts: 930000 | #Constraints: 27417 1708.80/1714.07 c #Conflicts: 931000 | #Constraints: 28420 1708.80/1714.07 c #Conflicts: 932000 | #Constraints: 29423 1708.80/1714.07 c #Conflicts: 933000 | #Constraints: 30425 1708.80/1714.07 c #Conflicts: 934000 | #Constraints: 31428 1708.80/1714.07 c #Conflicts: 935000 | #Constraints: 32431 1708.80/1714.07 c #Conflicts: 936000 | #Constraints: 33442 1708.80/1714.07 c #Conflicts: 937000 | #Constraints: 34449 1708.80/1714.07 c #Conflicts: 938000 | #Constraints: 35456 1708.80/1714.07 c #Conflicts: 939000 | #Constraints: 36462 1708.80/1714.07 c #Conflicts: 940000 | #Constraints: 37468 1708.80/1714.07 c #Conflicts: 941000 | #Constraints: 38477 1708.80/1714.07 c INPROCESSING 1708.80/1714.07 c GARBAGE COLLECT 1708.80/1714.07 c rational objective 5 1772.10/1777.50 c #Conflicts: 942000 | #Constraints: 20177 1772.10/1777.50 c #Conflicts: 943000 | #Constraints: 21182 1772.10/1777.50 c #Conflicts: 944000 | #Constraints: 22190 1772.10/1777.50 c #Conflicts: 945000 | #Constraints: 23196 1772.10/1777.50 c #Conflicts: 946000 | #Constraints: 24200 1772.10/1777.50 c #Conflicts: 947000 | #Constraints: 25204 1772.10/1777.50 c #Conflicts: 948000 | #Constraints: 26207 1772.10/1777.50 c #Conflicts: 949000 | #Constraints: 27214 1772.10/1777.50 c #Conflicts: 950000 | #Constraints: 28218 1772.10/1777.50 c #Conflicts: 951000 | #Constraints: 29222 1772.10/1777.50 c #Conflicts: 952000 | #Constraints: 30226 1772.10/1777.50 c #Conflicts: 953000 | #Constraints: 31233 1772.10/1777.50 c #Conflicts: 954000 | #Constraints: 32236 1772.10/1777.50 c #Conflicts: 955000 | #Constraints: 33240 1772.10/1777.50 c #Conflicts: 956000 | #Constraints: 34243 1772.10/1777.50 c #Conflicts: 957000 | #Constraints: 35247 1772.10/1777.50 c #Conflicts: 958000 | #Constraints: 36249 1772.10/1777.50 c #Conflicts: 959000 | #Constraints: 37252 1772.10/1777.50 c #Conflicts: 960000 | #Constraints: 38255 1772.10/1777.50 c #Conflicts: 961000 | #Constraints: 39258 1772.10/1777.50 c INPROCESSING 1772.10/1777.50 c GARBAGE COLLECT 1772.10/1777.50 c rational objective 5 1844.88/1850.50 c #Conflicts: 962000 | #Constraints: 20778 1844.88/1850.50 c #Conflicts: 963000 | #Constraints: 21784 1844.88/1850.50 c #Conflicts: 964000 | #Constraints: 22787 1844.88/1850.50 c #Conflicts: 965000 | #Constraints: 23792 1844.88/1850.50 c #Conflicts: 966000 | #Constraints: 24793 1844.88/1850.50 c #Conflicts: 967000 | #Constraints: 25798 1844.88/1850.50 c #Conflicts: 968000 | #Constraints: 26799 1844.88/1850.50 c #Conflicts: 969000 | #Constraints: 27806 1844.88/1850.50 c #Conflicts: 970000 | #Constraints: 28811 1844.88/1850.50 c #Conflicts: 971000 | #Constraints: 29816 1844.88/1850.50 c #Conflicts: 972000 | #Constraints: 30820 1844.88/1850.50 c #Conflicts: 973000 | #Constraints: 31825 1844.88/1850.50 c #Conflicts: 974000 | #Constraints: 32827 1844.88/1850.50 c #Conflicts: 975000 | #Constraints: 33830 1844.88/1850.50 c #Conflicts: 976000 | #Constraints: 34833 1844.88/1850.50 c #Conflicts: 977000 | #Constraints: 35837 1844.88/1850.50 c #Conflicts: 978000 | #Constraints: 36844 1844.88/1850.50 c #Conflicts: 979000 | #Constraints: 37849 1844.88/1850.50 c #Conflicts: 980000 | #Constraints: 38853 1844.88/1850.50 c #Conflicts: 981000 | #Constraints: 39855 1844.88/1850.50 c INPROCESSING 1844.88/1850.50 c GARBAGE COLLECT 1844.88/1850.50 c rational objective 5 1928.82/1934.72 c #Conflicts: 982000 | #Constraints: 21159 1928.82/1934.72 c #Conflicts: 983000 | #Constraints: 22167 1928.82/1934.72 c #Conflicts: 984000 | #Constraints: 23173 1928.82/1934.72 c #Conflicts: 985000 | #Constraints: 24182 1928.82/1934.72 c #Conflicts: 986000 | #Constraints: 25190 1928.82/1934.72 c #Conflicts: 987000 | #Constraints: 26196 1928.82/1934.72 c #Conflicts: 988000 | #Constraints: 27200 1928.82/1934.72 c #Conflicts: 989000 | #Constraints: 28204 1928.82/1934.72 c #Conflicts: 990000 | #Constraints: 29207 1928.82/1934.72 c #Conflicts: 991000 | #Constraints: 30210 1928.82/1934.72 c #Conflicts: 992000 | #Constraints: 31214 1928.82/1934.72 c #Conflicts: 993000 | #Constraints: 32217 1928.82/1934.72 c #Conflicts: 994000 | #Constraints: 33223 1928.82/1934.72 c #Conflicts: 995000 | #Constraints: 34227 1928.82/1934.72 c #Conflicts: 996000 | #Constraints: 35232 1928.82/1934.72 c #Conflicts: 997000 | #Constraints: 36236 1928.82/1934.72 c #Conflicts: 998000 | #Constraints: 37239 1928.82/1934.72 c #Conflicts: 999000 | #Constraints: 38243 1928.82/1934.72 c #Conflicts: 1000000 | #Constraints: 39248 1928.82/1934.72 c #Conflicts: 1001000 | #Constraints: 40251 1928.82/1934.72 c INPROCESSING 1928.82/1934.72 c GARBAGE COLLECT 1928.82/1934.72 c rational objective 5 2005.78/2011.93 c #Conflicts: 1002000 | #Constraints: 21364 2005.78/2011.93 c #Conflicts: 1003000 | #Constraints: 22368 2005.78/2011.93 c #Conflicts: 1004000 | #Constraints: 23374 2005.78/2011.93 c #Conflicts: 1005000 | #Constraints: 24380 2005.78/2011.93 c #Conflicts: 1006000 | #Constraints: 25383 2005.78/2011.93 c #Conflicts: 1007000 | #Constraints: 26386 2005.78/2011.93 c #Conflicts: 1008000 | #Constraints: 27389 2005.78/2011.93 c #Conflicts: 1009000 | #Constraints: 28395 2005.78/2011.93 c #Conflicts: 1010000 | #Constraints: 29401 2005.78/2011.93 c #Conflicts: 1011000 | #Constraints: 30408 2005.78/2011.93 c #Conflicts: 1012000 | #Constraints: 31414 2005.78/2011.93 c #Conflicts: 1013000 | #Constraints: 32418 2005.78/2011.93 c #Conflicts: 1014000 | #Constraints: 33421 2005.78/2011.93 c #Conflicts: 1015000 | #Constraints: 34425 2005.78/2011.93 c #Conflicts: 1016000 | #Constraints: 35427 2005.78/2011.93 c #Conflicts: 1017000 | #Constraints: 36432 2005.78/2011.93 c #Conflicts: 1018000 | #Constraints: 37441 2005.78/2011.93 c #Conflicts: 1019000 | #Constraints: 38446 2005.78/2011.93 c #Conflicts: 1020000 | #Constraints: 39452 2005.78/2011.93 c #Conflicts: 1021000 | #Constraints: 40459 2005.78/2011.93 c INPROCESSING 2005.78/2011.93 c GARBAGE COLLECT 2005.78/2011.93 c rational objective 5 2099.30/2105.75 c #Conflicts: 1022000 | #Constraints: 21364 2099.30/2105.75 c #Conflicts: 1023000 | #Constraints: 22369 2099.30/2105.75 c #Conflicts: 1024000 | #Constraints: 23375 2099.30/2105.75 c #Conflicts: 1025000 | #Constraints: 24381 2099.30/2105.75 c #Conflicts: 1026000 | #Constraints: 25389 2099.30/2105.75 c #Conflicts: 1027000 | #Constraints: 26396 2099.30/2105.75 c #Conflicts: 1028000 | #Constraints: 27401 2099.30/2105.75 c #Conflicts: 1029000 | #Constraints: 28410 2099.30/2105.75 c #Conflicts: 1030000 | #Constraints: 29412 2099.30/2105.75 c #Conflicts: 1031000 | #Constraints: 30417 2099.30/2105.75 c #Conflicts: 1032000 | #Constraints: 31419 2099.30/2105.75 c #Conflicts: 1033000 | #Constraints: 32422 2099.30/2105.75 c #Conflicts: 1034000 | #Constraints: 33425 2099.30/2105.75 c #Conflicts: 1035000 | #Constraints: 34426 2099.30/2105.75 c #Conflicts: 1036000 | #Constraints: 35429 2099.30/2105.75 c #Conflicts: 1037000 | #Constraints: 36430 2099.30/2105.75 c #Conflicts: 1038000 | #Constraints: 37431 2099.30/2105.75 c #Conflicts: 1039000 | #Constraints: 38434 2099.30/2105.75 c #Conflicts: 1040000 | #Constraints: 39435 2099.30/2105.75 c #Conflicts: 1041000 | #Constraints: 40438 2099.30/2105.75 c INPROCESSING 2099.30/2105.75 c GARBAGE COLLECT 2099.30/2105.75 c rational objective 5 2218.80/2225.67 c #Conflicts: 1042000 | #Constraints: 21176 2218.80/2225.67 c #Conflicts: 1043000 | #Constraints: 22181 2218.80/2225.67 c #Conflicts: 1044000 | #Constraints: 23186 2218.80/2225.67 c #Conflicts: 1045000 | #Constraints: 24192 2218.80/2225.67 c #Conflicts: 1046000 | #Constraints: 25198 2218.80/2225.67 c #Conflicts: 1047000 | #Constraints: 26201 2218.80/2225.67 c #Conflicts: 1048000 | #Constraints: 27204 2218.80/2225.67 c #Conflicts: 1049000 | #Constraints: 28208 2218.80/2225.67 c #Conflicts: 1050000 | #Constraints: 29210 2218.80/2225.67 c #Conflicts: 1051000 | #Constraints: 30216 2218.80/2225.67 c #Conflicts: 1052000 | #Constraints: 31220 2218.80/2225.67 c #Conflicts: 1053000 | #Constraints: 32223 2218.80/2225.67 c #Conflicts: 1054000 | #Constraints: 33228 2218.80/2225.67 c #Conflicts: 1055000 | #Constraints: 34231 2218.80/2225.67 c #Conflicts: 1056000 | #Constraints: 35233 2218.80/2225.67 c #Conflicts: 1057000 | #Constraints: 36236 2218.80/2225.67 c #Conflicts: 1058000 | #Constraints: 37243 2218.80/2225.67 c #Conflicts: 1059000 | #Constraints: 38246 2218.80/2225.67 c #Conflicts: 1060000 | #Constraints: 39249 2218.80/2225.67 c #Conflicts: 1061000 | #Constraints: 40252 2218.80/2225.67 c #Conflicts: 1062000 | #Constraints: 41255 2218.80/2225.67 c INPROCESSING 2218.80/2225.67 c GARBAGE COLLECT 2218.80/2225.67 c rational objective 5 2305.92/2313.07 c #Conflicts: 1063000 | #Constraints: 21780 2305.92/2313.07 c #Conflicts: 1064000 | #Constraints: 22788 2305.92/2313.07 c #Conflicts: 1065000 | #Constraints: 23795 2305.92/2313.07 c #Conflicts: 1066000 | #Constraints: 24801 2305.92/2313.07 c #Conflicts: 1067000 | #Constraints: 25807 2305.92/2313.07 c #Conflicts: 1068000 | #Constraints: 26812 2305.92/2313.07 c #Conflicts: 1069000 | #Constraints: 27817 2305.92/2313.07 c #Conflicts: 1070000 | #Constraints: 28822 2305.92/2313.07 c #Conflicts: 1071000 | #Constraints: 29826 2305.92/2313.07 c #Conflicts: 1072000 | #Constraints: 30830 2305.92/2313.07 c #Conflicts: 1073000 | #Constraints: 31836 2305.92/2313.07 c #Conflicts: 1074000 | #Constraints: 32842 2305.92/2313.07 c #Conflicts: 1075000 | #Constraints: 33847 2305.92/2313.07 c #Conflicts: 1076000 | #Constraints: 34851 2305.92/2313.07 c #Conflicts: 1077000 | #Constraints: 35855 2305.92/2313.07 c #Conflicts: 1078000 | #Constraints: 36860 2305.92/2313.07 c #Conflicts: 1079000 | #Constraints: 37863 2305.92/2313.07 c #Conflicts: 1080000 | #Constraints: 38868 2305.92/2313.07 c #Conflicts: 1081000 | #Constraints: 39874 2305.92/2313.07 c #Conflicts: 1082000 | #Constraints: 40876 2305.92/2313.07 c #Conflicts: 1083000 | #Constraints: 41881 2305.92/2313.07 c INPROCESSING 2305.92/2313.07 c GARBAGE COLLECT 2305.92/2313.07 c rational objective 5 2458.11/2465.76 c #Conflicts: 1084000 | #Constraints: 22196 2458.11/2465.76 c #Conflicts: 1085000 | #Constraints: 23200 2458.11/2465.76 c #Conflicts: 1086000 | #Constraints: 24206 2458.11/2465.76 c #Conflicts: 1087000 | #Constraints: 25210 2458.11/2465.76 c #Conflicts: 1088000 | #Constraints: 26214 2458.11/2465.76 c #Conflicts: 1089000 | #Constraints: 27219 2458.11/2465.76 c #Conflicts: 1090000 | #Constraints: 28225 2458.11/2465.76 c #Conflicts: 1091000 | #Constraints: 29228 2458.11/2465.76 c #Conflicts: 1092000 | #Constraints: 30231 2458.11/2465.76 c #Conflicts: 1093000 | #Constraints: 31235 2458.11/2465.76 c #Conflicts: 1094000 | #Constraints: 32239 2458.11/2465.76 c #Conflicts: 1095000 | #Constraints: 33242 2458.11/2465.76 c #Conflicts: 1096000 | #Constraints: 34244 2458.11/2465.76 c #Conflicts: 1097000 | #Constraints: 35247 2458.11/2465.76 c #Conflicts: 1098000 | #Constraints: 36249 2458.11/2465.76 c #Conflicts: 1099000 | #Constraints: 37252 2458.11/2465.76 c #Conflicts: 1100000 | #Constraints: 38254 2458.11/2465.76 c #Conflicts: 1101000 | #Constraints: 39255 2458.11/2465.76 c #Conflicts: 1102000 | #Constraints: 40259 2458.11/2465.76 c #Conflicts: 1103000 | #Constraints: 41260 2458.11/2465.76 c #Conflicts: 1104000 | #Constraints: 42261 2458.11/2465.76 c INPROCESSING 2458.11/2465.76 c GARBAGE COLLECT 2458.11/2465.76 c rational objective 5 2551.79/2559.79 c #Conflicts: 1105000 | #Constraints: 22388 2551.79/2559.79 c #Conflicts: 1106000 | #Constraints: 23395 2551.79/2559.79 c #Conflicts: 1107000 | #Constraints: 24402 2551.79/2559.79 c #Conflicts: 1108000 | #Constraints: 25405 2551.79/2559.79 c #Conflicts: 1109000 | #Constraints: 26410 2551.79/2559.79 c #Conflicts: 1110000 | #Constraints: 27415 2551.79/2559.79 c #Conflicts: 1111000 | #Constraints: 28417 2551.79/2559.79 c #Conflicts: 1112000 | #Constraints: 29423 2551.79/2559.79 c #Conflicts: 1113000 | #Constraints: 30426 2551.79/2559.79 c #Conflicts: 1114000 | #Constraints: 31429 2551.79/2559.79 c #Conflicts: 1115000 | #Constraints: 32431 2551.79/2559.79 c #Conflicts: 1116000 | #Constraints: 33435 2551.79/2559.79 c #Conflicts: 1117000 | #Constraints: 34438 2551.79/2559.79 c #Conflicts: 1118000 | #Constraints: 35442 2551.79/2559.79 c #Conflicts: 1119000 | #Constraints: 36444 2551.79/2559.79 c #Conflicts: 1120000 | #Constraints: 37445 2551.79/2559.79 c #Conflicts: 1121000 | #Constraints: 38450 2551.79/2559.79 c #Conflicts: 1122000 | #Constraints: 39450 2551.79/2559.79 c #Conflicts: 1123000 | #Constraints: 40453 2551.79/2559.79 c #Conflicts: 1124000 | #Constraints: 41461 2551.79/2559.79 c #Conflicts: 1125000 | #Constraints: 42461 2551.79/2559.79 c INPROCESSING 2551.79/2559.79 c GARBAGE COLLECT 2551.79/2559.79 c rational objective 5 2594.25/2602.39 c #Conflicts: 1126000 | #Constraints: 22382 2594.25/2602.39 c #Conflicts: 1127000 | #Constraints: 23387 2594.25/2602.39 c #Conflicts: 1128000 | #Constraints: 24390 2594.25/2602.39 c #Conflicts: 1129000 | #Constraints: 25393 2594.25/2602.39 c #Conflicts: 1130000 | #Constraints: 26396 2594.25/2602.39 c #Conflicts: 1131000 | #Constraints: 27400 2594.25/2602.39 c #Conflicts: 1132000 | #Constraints: 28407 2594.25/2602.39 c #Conflicts: 1133000 | #Constraints: 29415 2594.25/2602.39 c #Conflicts: 1134000 | #Constraints: 30422 2594.25/2602.39 c #Conflicts: 1135000 | #Constraints: 31424 2594.25/2602.39 c #Conflicts: 1136000 | #Constraints: 32430 2594.25/2602.39 c #Conflicts: 1137000 | #Constraints: 33435 2594.25/2602.39 c #Conflicts: 1138000 | #Constraints: 34438 2594.25/2602.39 c #Conflicts: 1139000 | #Constraints: 35448 2594.25/2602.39 c #Conflicts: 1140000 | #Constraints: 36450 2594.25/2602.39 c #Conflicts: 1141000 | #Constraints: 37455 2594.25/2602.39 c #Conflicts: 1142000 | #Constraints: 38463 2594.25/2602.39 c #Conflicts: 1143000 | #Constraints: 39467 2594.25/2602.39 c #Conflicts: 1144000 | #Constraints: 40474 2594.25/2602.39 c #Conflicts: 1145000 | #Constraints: 41478 2594.25/2602.39 c #Conflicts: 1146000 | #Constraints: 42485 2594.25/2602.39 c INPROCESSING 2594.25/2602.39 c GARBAGE COLLECT 2594.25/2602.39 c rational objective 5 2636.21/2644.40 c #Conflicts: 1147000 | #Constraints: 22172 2636.21/2644.40 c #Conflicts: 1148000 | #Constraints: 23174 2636.21/2644.40 c #Conflicts: 1149000 | #Constraints: 24179 2636.21/2644.40 c #Conflicts: 1150000 | #Constraints: 25184 2636.21/2644.40 c #Conflicts: 1151000 | #Constraints: 26191 2636.21/2644.40 c #Conflicts: 1152000 | #Constraints: 27197 2636.21/2644.40 c #Conflicts: 1153000 | #Constraints: 28202 2636.21/2644.40 c #Conflicts: 1154000 | #Constraints: 29208 2636.21/2644.40 c #Conflicts: 1155000 | #Constraints: 30214 2636.21/2644.40 c #Conflicts: 1156000 | #Constraints: 31223 2636.21/2644.40 c #Conflicts: 1157000 | #Constraints: 32228 2636.21/2644.40 c #Conflicts: 1158000 | #Constraints: 33234 2636.21/2644.40 c #Conflicts: 1159000 | #Constraints: 34238 2636.21/2644.40 c #Conflicts: 1160000 | #Constraints: 35249 2636.21/2644.40 c #Conflicts: 1161000 | #Constraints: 36257 2636.21/2644.40 c #Conflicts: 1162000 | #Constraints: 37262 2636.21/2644.40 c #Conflicts: 1163000 | #Constraints: 38266 2636.21/2644.40 c #Conflicts: 1164000 | #Constraints: 39269 2636.21/2644.40 c #Conflicts: 1165000 | #Constraints: 40269 2636.21/2644.40 c #Conflicts: 1166000 | #Constraints: 41273 2636.21/2644.40 c #Conflicts: 1167000 | #Constraints: 42274 2636.21/2644.40 c #Conflicts: 1168000 | #Constraints: 43284 2636.21/2644.40 c INPROCESSING 2636.21/2644.40 c GARBAGE COLLECT 2636.21/2644.40 c rational objective 5 2681.68/2690.07 c #Conflicts: 1169000 | #Constraints: 22789 2681.68/2690.07 c #Conflicts: 1170000 | #Constraints: 23797 2681.68/2690.07 c #Conflicts: 1171000 | #Constraints: 24801 2681.68/2690.07 c #Conflicts: 1172000 | #Constraints: 25805 2681.68/2690.07 c #Conflicts: 1173000 | #Constraints: 26814 2681.68/2690.07 c #Conflicts: 1174000 | #Constraints: 27820 2681.68/2690.07 c #Conflicts: 1175000 | #Constraints: 28830 2681.68/2690.07 c #Conflicts: 1176000 | #Constraints: 29834 2681.68/2690.07 c #Conflicts: 1177000 | #Constraints: 30841 2681.68/2690.07 c #Conflicts: 1178000 | #Constraints: 31844 2681.68/2690.07 c #Conflicts: 1179000 | #Constraints: 32864 2681.68/2690.07 c #Conflicts: 1180000 | #Constraints: 33875 2681.68/2690.07 c #Conflicts: 1181000 | #Constraints: 34878 2681.68/2690.07 c #Conflicts: 1182000 | #Constraints: 35884 2681.68/2690.07 c #Conflicts: 1183000 | #Constraints: 36890 2681.68/2690.07 c #Conflicts: 1184000 | #Constraints: 37894 2681.68/2690.07 c #Conflicts: 1185000 | #Constraints: 38897 2681.68/2690.07 c #Conflicts: 1186000 | #Constraints: 39902 2681.68/2690.07 c #Conflicts: 1187000 | #Constraints: 40908 2681.68/2690.07 c #Conflicts: 1188000 | #Constraints: 41918 2681.68/2690.07 c #Conflicts: 1189000 | #Constraints: 42921 2681.68/2690.07 c #Conflicts: 1190000 | #Constraints: 43925 2681.68/2690.07 c INPROCESSING 2681.68/2690.07 c GARBAGE COLLECT 2681.68/2690.07 c rational objective 5 2737.38/2745.94 c #Conflicts: 1191000 | #Constraints: 23199 2737.38/2745.94 c #Conflicts: 1192000 | #Constraints: 24204 2737.38/2745.94 c #Conflicts: 1193000 | #Constraints: 25212 2737.38/2745.94 c #Conflicts: 1194000 | #Constraints: 26217 2737.38/2745.94 c #Conflicts: 1195000 | #Constraints: 27223 2737.38/2745.94 c #Conflicts: 1196000 | #Constraints: 28227 2737.38/2745.94 c #Conflicts: 1197000 | #Constraints: 29232 2737.38/2745.94 c #Conflicts: 1198000 | #Constraints: 30240 2737.38/2745.94 c #Conflicts: 1199000 | #Constraints: 31243 2737.38/2745.94 c #Conflicts: 1200000 | #Constraints: 32247 2737.38/2745.94 c #Conflicts: 1201000 | #Constraints: 33254 2737.38/2745.94 c #Conflicts: 1202000 | #Constraints: 34260 2737.38/2745.94 c #Conflicts: 1203000 | #Constraints: 35269 2737.38/2745.94 c #Conflicts: 1204000 | #Constraints: 36277 2737.38/2745.94 c #Conflicts: 1205000 | #Constraints: 37284 2737.38/2745.94 c #Conflicts: 1206000 | #Constraints: 38288 2737.38/2745.94 c #Conflicts: 1207000 | #Constraints: 39295 2737.38/2745.94 c #Conflicts: 1208000 | #Constraints: 40302 2737.38/2745.94 c #Conflicts: 1209000 | #Constraints: 41307 2737.38/2745.94 c #Conflicts: 1210000 | #Constraints: 42314 2737.38/2745.94 c #Conflicts: 1211000 | #Constraints: 43320 2737.38/2745.94 c #Conflicts: 1212000 | #Constraints: 44330 2737.38/2745.94 c INPROCESSING 2737.38/2745.94 c GARBAGE COLLECT 2737.38/2745.94 c rational objective 5 2814.52/2823.34 c #Conflicts: 1213000 | #Constraints: 23415 2814.52/2823.34 c #Conflicts: 1214000 | #Constraints: 24421 2814.52/2823.34 c #Conflicts: 1215000 | #Constraints: 25425 2814.52/2823.34 c #Conflicts: 1216000 | #Constraints: 26430 2814.52/2823.34 c #Conflicts: 1217000 | #Constraints: 27434 2814.52/2823.34 c #Conflicts: 1218000 | #Constraints: 28436 2814.52/2823.34 c #Conflicts: 1219000 | #Constraints: 29441 2814.52/2823.34 c #Conflicts: 1220000 | #Constraints: 30442 2814.52/2823.34 c #Conflicts: 1221000 | #Constraints: 31445 2814.52/2823.34 c #Conflicts: 1222000 | #Constraints: 32448 2814.52/2823.34 c #Conflicts: 1223000 | #Constraints: 33450 2814.52/2823.34 c #Conflicts: 1224000 | #Constraints: 34453 2814.52/2823.34 c #Conflicts: 1225000 | #Constraints: 35454 2814.52/2823.34 c #Conflicts: 1226000 | #Constraints: 36457 2814.52/2823.34 c #Conflicts: 1227000 | #Constraints: 37464 2814.52/2823.34 c #Conflicts: 1228000 | #Constraints: 38469 2814.52/2823.34 c #Conflicts: 1229000 | #Constraints: 39472 2814.52/2823.34 c #Conflicts: 1230000 | #Constraints: 40479 2814.52/2823.34 c #Conflicts: 1231000 | #Constraints: 41488 2814.52/2823.34 c #Conflicts: 1232000 | #Constraints: 42495 2814.52/2823.34 c #Conflicts: 1233000 | #Constraints: 43500 2814.52/2823.34 c #Conflicts: 1234000 | #Constraints: 44503 2814.52/2823.34 c INPROCESSING 2814.52/2823.34 c GARBAGE COLLECT 2814.52/2823.34 c rational objective 5 2871.34/2880.34 c #Conflicts: 1235000 | #Constraints: 23390 2871.34/2880.34 c #Conflicts: 1236000 | #Constraints: 24393 2871.34/2880.34 c #Conflicts: 1237000 | #Constraints: 25402 2871.34/2880.34 c #Conflicts: 1238000 | #Constraints: 26410 2871.34/2880.34 c #Conflicts: 1239000 | #Constraints: 27418 2871.34/2880.34 c #Conflicts: 1240000 | #Constraints: 28423 2871.34/2880.34 c #Conflicts: 1241000 | #Constraints: 29429 2871.34/2880.34 c #Conflicts: 1242000 | #Constraints: 30432 2871.34/2880.34 c #Conflicts: 1243000 | #Constraints: 31439 2871.34/2880.34 c #Conflicts: 1244000 | #Constraints: 32441 2871.34/2880.34 c #Conflicts: 1245000 | #Constraints: 33446 2871.34/2880.34 c #Conflicts: 1246000 | #Constraints: 34452 2871.34/2880.34 c #Conflicts: 1247000 | #Constraints: 35459 2871.34/2880.34 c #Conflicts: 1248000 | #Constraints: 36465 2871.34/2880.34 c #Conflicts: 1249000 | #Constraints: 37469 2871.34/2880.34 c #Conflicts: 1250000 | #Constraints: 38475 2871.34/2880.34 c #Conflicts: 1251000 | #Constraints: 39478 2871.34/2880.34 c #Conflicts: 1252000 | #Constraints: 40484 2871.34/2880.34 c #Conflicts: 1253000 | #Constraints: 41492 2871.34/2880.34 c #Conflicts: 1254000 | #Constraints: 42498 2871.34/2880.34 c #Conflicts: 1255000 | #Constraints: 43499 2871.34/2880.34 c #Conflicts: 1256000 | #Constraints: 44504 2871.34/2880.34 c INPROCESSING 2871.34/2880.34 c GARBAGE COLLECT 2871.34/2880.34 c rational objective 5 2931.44/2940.62 c #Conflicts: 1257000 | #Constraints: 23189 2931.44/2940.62 c #Conflicts: 1258000 | #Constraints: 24197 2931.44/2940.62 c #Conflicts: 1259000 | #Constraints: 25205 2931.44/2940.62 c #Conflicts: 1260000 | #Constraints: 26212 2931.44/2940.62 c #Conflicts: 1261000 | #Constraints: 27221 2931.44/2940.62 c #Conflicts: 1262000 | #Constraints: 28227 2931.44/2940.62 c #Conflicts: 1263000 | #Constraints: 29232 2931.44/2940.62 c #Conflicts: 1264000 | #Constraints: 30239 2931.44/2940.62 c #Conflicts: 1265000 | #Constraints: 31244 2931.44/2940.62 c #Conflicts: 1266000 | #Constraints: 32252 2931.44/2940.62 c #Conflicts: 1267000 | #Constraints: 33265 2931.44/2940.62 c #Conflicts: 1268000 | #Constraints: 34275 2931.44/2940.62 c #Conflicts: 1269000 | #Constraints: 35284 2931.44/2940.62 c #Conflicts: 1270000 | #Constraints: 36289 2931.44/2940.62 c #Conflicts: 1271000 | #Constraints: 37295 2931.44/2940.62 c #Conflicts: 1272000 | #Constraints: 38303 2931.44/2940.62 c #Conflicts: 1273000 | #Constraints: 39311 2931.44/2940.62 c #Conflicts: 1274000 | #Constraints: 40317 2931.44/2940.62 c #Conflicts: 1275000 | #Constraints: 41320 2931.44/2940.62 c #Conflicts: 1276000 | #Constraints: 42324 2931.44/2940.62 c #Conflicts: 1277000 | #Constraints: 43326 2931.44/2940.62 c #Conflicts: 1278000 | #Constraints: 44334 2931.44/2940.62 c #Conflicts: 1279000 | #Constraints: 45339 2931.44/2940.62 c INPROCESSING 2931.44/2940.62 c GARBAGE COLLECT 2931.44/2940.62 c rational objective 5 3000.71/3010.12 c #Conflicts: 1280000 | #Constraints: 23806 3000.71/3010.12 c #Conflicts: 1281000 | #Constraints: 24814 3000.71/3010.12 c #Conflicts: 1282000 | #Constraints: 25817 3000.71/3010.12 c #Conflicts: 1283000 | #Constraints: 26825 3000.71/3010.12 c #Conflicts: 1284000 | #Constraints: 27831 3000.71/3010.12 c #Conflicts: 1285000 | #Constraints: 28840 3000.71/3010.12 c #Conflicts: 1286000 | #Constraints: 29849 3000.71/3010.12 c #Conflicts: 1287000 | #Constraints: 30857 3000.71/3010.12 c #Conflicts: 1288000 | #Constraints: 31864 3000.71/3010.12 c #Conflicts: 1289000 | #Constraints: 32872 3000.71/3010.12 c #Conflicts: 1290000 | #Constraints: 33877 3000.71/3010.12 c #Conflicts: 1291000 | #Constraints: 34886 3000.71/3010.12 c #Conflicts: 1292000 | #Constraints: 35892 3000.71/3010.12 c #Conflicts: 1293000 | #Constraints: 36896 3000.71/3010.12 c #Conflicts: 1294000 | #Constraints: 37898 3000.71/3010.12 c #Conflicts: 1295000 | #Constraints: 38902 3000.71/3010.12 c #Conflicts: 1296000 | #Constraints: 39907 3000.71/3010.12 c #Conflicts: 1297000 | #Constraints: 40912 3000.71/3010.12 c #Conflicts: 1298000 | #Constraints: 41918 3000.71/3010.12 c #Conflicts: 1299000 | #Constraints: 42923 3000.71/3010.12 c #Conflicts: 1300000 | #Constraints: 43934 3000.71/3010.12 c #Conflicts: 1301000 | #Constraints: 44951 3000.71/3010.12 c #Conflicts: 1302000 | #Constraints: 45964 3000.71/3010.12 c INPROCESSING 3000.71/3010.12 c GARBAGE COLLECT 3000.71/3010.12 c rational objective 5 3069.77/3079.49 c #Conflicts: 1303000 | #Constraints: 24222 3069.77/3079.49 c #Conflicts: 1304000 | #Constraints: 25225 3069.77/3079.49 c #Conflicts: 1305000 | #Constraints: 26229 3069.77/3079.49 c #Conflicts: 1306000 | #Constraints: 27235 3069.77/3079.49 c #Conflicts: 1307000 | #Constraints: 28239 3069.77/3079.49 c #Conflicts: 1308000 | #Constraints: 29243 3069.77/3079.49 c #Conflicts: 1309000 | #Constraints: 30246 3069.77/3079.49 c #Conflicts: 1310000 | #Constraints: 31250 3069.77/3079.49 c #Conflicts: 1311000 | #Constraints: 32256 3069.77/3079.49 c #Conflicts: 1312000 | #Constraints: 33262 3069.77/3079.49 c #Conflicts: 1313000 | #Constraints: 34264 3069.77/3079.49 c #Conflicts: 1314000 | #Constraints: 35266 3069.77/3079.49 c #Conflicts: 1315000 | #Constraints: 36269 3069.77/3079.49 c #Conflicts: 1316000 | #Constraints: 37273 3069.77/3079.49 c #Conflicts: 1317000 | #Constraints: 38287 3069.77/3079.49 c #Conflicts: 1318000 | #Constraints: 39290 3069.77/3079.49 c #Conflicts: 1319000 | #Constraints: 40295 3069.77/3079.49 c #Conflicts: 1320000 | #Constraints: 41302 3069.77/3079.49 c #Conflicts: 1321000 | #Constraints: 42306 3069.77/3079.49 c #Conflicts: 1322000 | #Constraints: 43312 3069.77/3079.49 c #Conflicts: 1323000 | #Constraints: 44317 3069.77/3079.49 c #Conflicts: 1324000 | #Constraints: 45320 3069.77/3079.49 c #Conflicts: 1325000 | #Constraints: 46322 3069.77/3079.49 c INPROCESSING 3069.77/3079.49 c GARBAGE COLLECT 3069.77/3079.49 c rational objective 5 3129.56/3139.42 c #Conflicts: 1326000 | #Constraints: 24415 3129.56/3139.42 c #Conflicts: 1327000 | #Constraints: 25418 3129.56/3139.42 c #Conflicts: 1328000 | #Constraints: 26427 3129.56/3139.42 c #Conflicts: 1329000 | #Constraints: 27436 3129.56/3139.42 c #Conflicts: 1330000 | #Constraints: 28440 3129.56/3139.42 c #Conflicts: 1331000 | #Constraints: 29446 3129.56/3139.42 c #Conflicts: 1332000 | #Constraints: 30456 3129.56/3139.42 c #Conflicts: 1333000 | #Constraints: 31461 3129.56/3139.42 c #Conflicts: 1334000 | #Constraints: 32467 3129.56/3139.42 c #Conflicts: 1335000 | #Constraints: 33474 3129.56/3139.42 c #Conflicts: 1336000 | #Constraints: 34479 3129.56/3139.42 c #Conflicts: 1337000 | #Constraints: 35487 3129.56/3139.42 c #Conflicts: 1338000 | #Constraints: 36489 3129.56/3139.42 c #Conflicts: 1339000 | #Constraints: 37490 3129.56/3139.42 c #Conflicts: 1340000 | #Constraints: 38492 3129.56/3139.42 c #Conflicts: 1341000 | #Constraints: 39507 3129.56/3139.42 c #Conflicts: 1342000 | #Constraints: 40516 3129.56/3139.42 c #Conflicts: 1343000 | #Constraints: 41527 3129.56/3139.42 c #Conflicts: 1344000 | #Constraints: 42535 3129.56/3139.42 c #Conflicts: 1345000 | #Constraints: 43546 3129.56/3139.42 c #Conflicts: 1346000 | #Constraints: 44559 3129.56/3139.42 c #Conflicts: 1347000 | #Constraints: 45571 3129.56/3139.42 c #Conflicts: 1348000 | #Constraints: 46582 3129.56/3139.42 c INPROCESSING 3129.56/3139.42 c GARBAGE COLLECT 3129.56/3139.42 c rational objective 5 3181.79/3191.84 c #Conflicts: 1349000 | #Constraints: 24460 3181.79/3191.84 c #Conflicts: 1350000 | #Constraints: 25474 3181.79/3191.84 c #Conflicts: 1351000 | #Constraints: 26486 3181.79/3191.84 c #Conflicts: 1352000 | #Constraints: 27491 3181.79/3191.84 c #Conflicts: 1353000 | #Constraints: 28493 3181.79/3191.84 c #Conflicts: 1354000 | #Constraints: 29497 3181.79/3191.84 c #Conflicts: 1355000 | #Constraints: 30500 3181.79/3191.84 c #Conflicts: 1356000 | #Constraints: 31507 3181.79/3191.84 c #Conflicts: 1357000 | #Constraints: 32510 3181.79/3191.84 c #Conflicts: 1358000 | #Constraints: 33516 3181.79/3191.84 c #Conflicts: 1359000 | #Constraints: 34521 3181.79/3191.84 c #Conflicts: 1360000 | #Constraints: 35527 3181.79/3191.84 c #Conflicts: 1361000 | #Constraints: 36532 3181.79/3191.84 c #Conflicts: 1362000 | #Constraints: 37535 3181.79/3191.84 c #Conflicts: 1363000 | #Constraints: 38542 3181.79/3191.84 c #Conflicts: 1364000 | #Constraints: 39546 3181.79/3191.84 c #Conflicts: 1365000 | #Constraints: 40549 3181.79/3191.84 c #Conflicts: 1366000 | #Constraints: 41555 3181.79/3191.84 c #Conflicts: 1367000 | #Constraints: 42561 3181.79/3191.84 c #Conflicts: 1368000 | #Constraints: 43565 3181.79/3191.84 c #Conflicts: 1369000 | #Constraints: 44570 3181.79/3191.84 c #Conflicts: 1370000 | #Constraints: 45574 3181.79/3191.84 c #Conflicts: 1371000 | #Constraints: 46578 3181.79/3191.84 c INPROCESSING 3181.79/3191.84 c GARBAGE COLLECT 3181.79/3191.84 c rational objective 5 3235.93/3246.13 c #Conflicts: 1372000 | #Constraints: 24237 3235.93/3246.13 c #Conflicts: 1373000 | #Constraints: 25240 3235.93/3246.13 c #Conflicts: 1374000 | #Constraints: 26245 3235.93/3246.13 c #Conflicts: 1375000 | #Constraints: 27259 3235.93/3246.13 c #Conflicts: 1376000 | #Constraints: 28273 3235.93/3246.13 c #Conflicts: 1377000 | #Constraints: 29279 3235.93/3246.13 c #Conflicts: 1378000 | #Constraints: 30286 3235.93/3246.13 c #Conflicts: 1379000 | #Constraints: 31292 3235.93/3246.13 c #Conflicts: 1380000 | #Constraints: 32301 3235.93/3246.13 c #Conflicts: 1381000 | #Constraints: 33305 3235.93/3246.13 c #Conflicts: 1382000 | #Constraints: 34311 3235.93/3246.13 c #Conflicts: 1383000 | #Constraints: 35317 3235.93/3246.13 c #Conflicts: 1384000 | #Constraints: 36322 3235.93/3246.13 c #Conflicts: 1385000 | #Constraints: 37333 3235.93/3246.13 c #Conflicts: 1386000 | #Constraints: 38341 3235.93/3246.13 c #Conflicts: 1387000 | #Constraints: 39344 3235.93/3246.13 c #Conflicts: 1388000 | #Constraints: 40348 3235.93/3246.13 c #Conflicts: 1389000 | #Constraints: 41356 3235.93/3246.13 c #Conflicts: 1390000 | #Constraints: 42366 3235.93/3246.13 c #Conflicts: 1391000 | #Constraints: 43372 3235.93/3246.13 c #Conflicts: 1392000 | #Constraints: 44381 3235.93/3246.13 c #Conflicts: 1393000 | #Constraints: 45389 3235.93/3246.13 c #Conflicts: 1394000 | #Constraints: 46395 3235.93/3246.13 c #Conflicts: 1395000 | #Constraints: 47400 3235.93/3246.13 c INPROCESSING 3235.93/3246.13 c GARBAGE COLLECT 3235.93/3246.13 c rational objective 5 3287.14/3297.50 c #Conflicts: 1396000 | #Constraints: 24852 3287.14/3297.50 c #Conflicts: 1397000 | #Constraints: 25861 3287.14/3297.50 c #Conflicts: 1398000 | #Constraints: 26866 3287.14/3297.50 c #Conflicts: 1399000 | #Constraints: 27871 3287.14/3297.50 c #Conflicts: 1400000 | #Constraints: 28879 3287.14/3297.50 c #Conflicts: 1401000 | #Constraints: 29882 3287.14/3297.50 c #Conflicts: 1402000 | #Constraints: 30884 3287.14/3297.50 c #Conflicts: 1403000 | #Constraints: 31888 3287.14/3297.50 c #Conflicts: 1404000 | #Constraints: 32894 3287.14/3297.50 c #Conflicts: 1405000 | #Constraints: 33902 3287.14/3297.50 c #Conflicts: 1406000 | #Constraints: 34905 3287.14/3297.50 c #Conflicts: 1407000 | #Constraints: 35911 3287.14/3297.50 c #Conflicts: 1408000 | #Constraints: 36915 3287.14/3297.50 c #Conflicts: 1409000 | #Constraints: 37920 3287.14/3297.50 c #Conflicts: 1410000 | #Constraints: 38924 3287.14/3297.50 c #Conflicts: 1411000 | #Constraints: 39929 3287.14/3297.50 c #Conflicts: 1412000 | #Constraints: 40935 3287.14/3297.50 c #Conflicts: 1413000 | #Constraints: 41941 3287.14/3297.50 c #Conflicts: 1414000 | #Constraints: 42948 3287.14/3297.50 c #Conflicts: 1415000 | #Constraints: 43956 3287.14/3297.50 c #Conflicts: 1416000 | #Constraints: 44962 3287.14/3297.50 c #Conflicts: 1417000 | #Constraints: 45969 3287.14/3297.50 c #Conflicts: 1418000 | #Constraints: 46973 3287.14/3297.50 c #Conflicts: 1419000 | #Constraints: 47977 3287.14/3297.50 c INPROCESSING 3287.14/3297.50 c GARBAGE COLLECT 3287.14/3297.50 c rational objective 5 3345.75/3356.39 c #Conflicts: 1420000 | #Constraints: 25234 3345.75/3356.39 c #Conflicts: 1421000 | #Constraints: 26239 3345.75/3356.39 c #Conflicts: 1422000 | #Constraints: 27245 3345.75/3356.39 c #Conflicts: 1423000 | #Constraints: 28252 3345.75/3356.39 c #Conflicts: 1424000 | #Constraints: 29258 3345.75/3356.39 c #Conflicts: 1425000 | #Constraints: 30264 3345.75/3356.39 c #Conflicts: 1426000 | #Constraints: 31271 3345.75/3356.39 c #Conflicts: 1427000 | #Constraints: 32277 3345.75/3356.39 c #Conflicts: 1428000 | #Constraints: 33286 3345.75/3356.39 c #Conflicts: 1429000 | #Constraints: 34290 3345.75/3356.39 c #Conflicts: 1430000 | #Constraints: 35299 3345.75/3356.39 c #Conflicts: 1431000 | #Constraints: 36301 3345.75/3356.39 c #Conflicts: 1432000 | #Constraints: 37310 3345.75/3356.39 c #Conflicts: 1433000 | #Constraints: 38313 3345.75/3356.39 c #Conflicts: 1434000 | #Constraints: 39319 3345.75/3356.39 c #Conflicts: 1435000 | #Constraints: 40323 3345.75/3356.39 c #Conflicts: 1436000 | #Constraints: 41328 3345.75/3356.39 c #Conflicts: 1437000 | #Constraints: 42339 3345.75/3356.39 c #Conflicts: 1438000 | #Constraints: 43347 3345.75/3356.39 c #Conflicts: 1439000 | #Constraints: 44353 3345.75/3356.39 c #Conflicts: 1440000 | #Constraints: 45358 3345.75/3356.39 c #Conflicts: 1441000 | #Constraints: 46365 3345.75/3356.39 c #Conflicts: 1442000 | #Constraints: 47370 3345.75/3356.39 c #Conflicts: 1443000 | #Constraints: 48372 3345.75/3356.39 c INPROCESSING 3345.75/3356.39 c GARBAGE COLLECT 3345.75/3356.39 c rational objective 5 3425.38/3436.24 c #Conflicts: 1444000 | #Constraints: 25430 3425.38/3436.24 c #Conflicts: 1445000 | #Constraints: 26437 3425.38/3436.24 c #Conflicts: 1446000 | #Constraints: 27441 3425.38/3436.24 c #Conflicts: 1447000 | #Constraints: 28446 3425.38/3436.24 c #Conflicts: 1448000 | #Constraints: 29451 3425.38/3436.24 c #Conflicts: 1449000 | #Constraints: 30458 3425.38/3436.24 c #Conflicts: 1450000 | #Constraints: 31464 3425.38/3436.24 c #Conflicts: 1451000 | #Constraints: 32471 3425.38/3436.24 c #Conflicts: 1452000 | #Constraints: 33483 3425.38/3436.24 c #Conflicts: 1453000 | #Constraints: 34493 3425.38/3436.24 c #Conflicts: 1454000 | #Constraints: 35497 3425.38/3436.24 c #Conflicts: 1455000 | #Constraints: 36502 3425.38/3436.24 c #Conflicts: 1456000 | #Constraints: 37512 3425.38/3436.24 c #Conflicts: 1457000 | #Constraints: 38515 3425.38/3436.24 c #Conflicts: 1458000 | #Constraints: 39519 3425.38/3436.24 c #Conflicts: 1459000 | #Constraints: 40529 3425.38/3436.24 c #Conflicts: 1460000 | #Constraints: 41534 3425.38/3436.24 c #Conflicts: 1461000 | #Constraints: 42541 3425.38/3436.24 c #Conflicts: 1462000 | #Constraints: 43547 3425.38/3436.24 c #Conflicts: 1463000 | #Constraints: 44553 3425.38/3436.24 c #Conflicts: 1464000 | #Constraints: 45559 3425.38/3436.24 c #Conflicts: 1465000 | #Constraints: 46564 3425.38/3436.24 c #Conflicts: 1466000 | #Constraints: 47569 3425.38/3436.24 c #Conflicts: 1467000 | #Constraints: 48576 3425.38/3436.24 c INPROCESSING 3425.38/3436.24 c GARBAGE COLLECT 3425.38/3436.24 c rational objective 5 3496.95/3508.05 c #Conflicts: 1468000 | #Constraints: 25439 3496.95/3508.05 c #Conflicts: 1469000 | #Constraints: 26442 3496.95/3508.05 c #Conflicts: 1470000 | #Constraints: 27447 3496.95/3508.05 c #Conflicts: 1471000 | #Constraints: 28450 3496.95/3508.05 c #Conflicts: 1472000 | #Constraints: 29459 3496.95/3508.05 c #Conflicts: 1473000 | #Constraints: 30470 3496.95/3508.05 c #Conflicts: 1474000 | #Constraints: 31478 3496.95/3508.05 c #Conflicts: 1475000 | #Constraints: 32491 3496.95/3508.05 c #Conflicts: 1476000 | #Constraints: 33500 3496.95/3508.05 c #Conflicts: 1477000 | #Constraints: 34508 3496.95/3508.05 c #Conflicts: 1478000 | #Constraints: 35512 3496.95/3508.05 c #Conflicts: 1479000 | #Constraints: 36516 3496.95/3508.05 c #Conflicts: 1480000 | #Constraints: 37523 3496.95/3508.05 c #Conflicts: 1481000 | #Constraints: 38528 3496.95/3508.05 c #Conflicts: 1482000 | #Constraints: 39533 3496.95/3508.05 c #Conflicts: 1483000 | #Constraints: 40547 3496.95/3508.05 c #Conflicts: 1484000 | #Constraints: 41561 3496.95/3508.05 c #Conflicts: 1485000 | #Constraints: 42566 3496.95/3508.05 c #Conflicts: 1486000 | #Constraints: 43572 3496.95/3508.05 c #Conflicts: 1487000 | #Constraints: 44577 3496.95/3508.05 c #Conflicts: 1488000 | #Constraints: 45580 3496.95/3508.05 c #Conflicts: 1489000 | #Constraints: 46586 3496.95/3508.05 c #Conflicts: 1490000 | #Constraints: 47591 3496.95/3508.05 c #Conflicts: 1491000 | #Constraints: 48594 3496.95/3508.05 c INPROCESSING 3496.95/3508.05 c GARBAGE COLLECT 3496.95/3508.05 c rational objective 5 3572.59/3583.92 c #Conflicts: 1492000 | #Constraints: 25234 3572.59/3583.92 c #Conflicts: 1493000 | #Constraints: 26237 3572.59/3583.92 c #Conflicts: 1494000 | #Constraints: 27238 3572.59/3583.92 c #Conflicts: 1495000 | #Constraints: 28239 3572.59/3583.92 c #Conflicts: 1496000 | #Constraints: 29241 3572.59/3583.92 c #Conflicts: 1497000 | #Constraints: 30244 3572.59/3583.92 c #Conflicts: 1498000 | #Constraints: 31247 3572.59/3583.92 c #Conflicts: 1499000 | #Constraints: 32248 3572.59/3583.92 c #Conflicts: 1500000 | #Constraints: 33257 3572.59/3583.92 c #Conflicts: 1501000 | #Constraints: 34278 3572.59/3583.92 c #Conflicts: 1502000 | #Constraints: 35284 3572.59/3583.92 c #Conflicts: 1503000 | #Constraints: 36291 3572.59/3583.92 c #Conflicts: 1504000 | #Constraints: 37295 3572.59/3583.92 c #Conflicts: 1505000 | #Constraints: 38304 3572.59/3583.92 c #Conflicts: 1506000 | #Constraints: 39313 3572.59/3583.92 c #Conflicts: 1507000 | #Constraints: 40322 3572.59/3583.92 c #Conflicts: 1508000 | #Constraints: 41325 3572.59/3583.92 c #Conflicts: 1509000 | #Constraints: 42326 3572.59/3583.92 c #Conflicts: 1510000 | #Constraints: 43328 3572.59/3583.92 c #Conflicts: 1511000 | #Constraints: 44331 3572.59/3583.92 c #Conflicts: 1512000 | #Constraints: 45338 3572.59/3583.92 c #Conflicts: 1513000 | #Constraints: 46348 3572.59/3583.92 c #Conflicts: 1514000 | #Constraints: 47350 3572.59/3583.92 c #Conflicts: 1515000 | #Constraints: 48354 3572.59/3583.92 c #Conflicts: 1516000 | #Constraints: 49359 3572.59/3583.92 c INPROCESSING 3572.59/3583.92 c GARBAGE COLLECT 3572.59/3583.92 c rational objective 5 3600.00/3611.40 c #Conflicts: 1517000 | #Constraints: 25819 3600.00/3611.40 c #Conflicts: 1518000 | #Constraints: 26826 3600.00/3611.40 c #Conflicts: 1519000 | #Constraints: 27832 3600.00/3611.40 c #Conflicts: 1520000 | #Constraints: 28839 3600.00/3611.40 c #Conflicts: 1521000 | #Constraints: 29846 3600.00/3611.40 c #Conflicts: 1522000 | #Constraints: 30853 3600.00/3611.40 c #Conflicts: 1523000 | #Constraints: 31856 3600.00/3611.40 c #Conflicts: 1524000 | #Constraints: 32861 3600.00/3611.40 c #Conflicts: 1525000 | #Constraints: 33864 3600.00/3611.40 c #Conflicts: 1526000 | #Constraints: 34865 3600.00/3611.40 c #Conflicts: 1527000 | #Constraints: 35869 3600.00/3611.40 c #Conflicts: 1528000 | #Constraints: 36874 3600.00/3611.40 c #Conflicts: 1529000 | #Constraints: 37880 3600.00/3611.40 c Program interrupted by user. 3600.00/3611.48 c cpu time 3560.63 s 3600.00/3611.48 c deterministic time 663754632015 6.64e+11 3600.00/3611.48 c optimization time 26.9706 s 3600.00/3611.48 c total solve time 3533.63 s 3600.00/3611.48 c core-guided solve time 6e-06 s 3600.00/3611.48 c propagation time 3002.66 s 3600.00/3611.48 c conflict analysis time 472.096 s 3600.00/3611.48 c propagations 303868484 3600.00/3611.48 c resolve steps 11347653 3600.00/3611.48 c decisions 13237661 3600.00/3611.48 c conflicts 1529313 3600.00/3611.48 c restarts 3031 3600.00/3611.48 c inprocessing phases 114 3600.00/3611.48 c input clauses 2174 3600.00/3611.48 c input cardinalities 50 3600.00/3611.48 c input general constraints 320 3600.00/3611.48 c input average constraint length 9.51 3600.00/3611.48 c input average constraint degree 71.11 3600.00/3611.48 c learned clauses 170784 3600.00/3611.48 c learned cardinalities 7194 3600.00/3611.48 c learned general constraints 1359653 3600.00/3611.48 c learned average constraint length 536.48 3600.00/3611.48 c learned average constraint degree 4749440713.55 3600.00/3611.48 c watched constraints 1280570 3600.00/3611.48 c counting constraints 79403 3600.00/3611.48 c gcd simplifications 84496 3600.00/3611.48 c detected cardinalities 225 3600.00/3611.48 c weakened non-implied lits 89456382 3600.00/3611.48 c weakened non-implying lits 610298 3600.00/3611.48 c original variables 2130 3600.00/3611.48 c clausal propagations 1577960 3600.00/3611.48 c cardinality propagations 34201264 3600.00/3611.48 c watched propagations 104887102 3600.00/3611.48 c counting propagations 161405729 3600.00/3611.48 c watch lookups 39741490550 3600.00/3611.48 c watch backjump lookups 32986845185 3600.00/3611.48 c watch checks 537741245105 3600.00/3611.48 c propagation checks 50239577461 3600.00/3611.48 c constraint additions 2408199929 3600.00/3611.48 c trail pops 318626268 3600.00/3611.48 c formula constraints 2544 3600.00/3611.48 c learned constraints 1520993 3600.00/3611.48 c bound constraints 0 3600.00/3611.48 c core-guided constraints 0 3600.00/3611.48 c encountered formula constraints 8112911 3600.00/3611.48 c encountered learned constraints 4236108 3600.00/3611.48 c encountered bound constraints 0 3600.00/3611.48 c encountered core-guided constraints 0 3600.00/3611.48 c LP total time 115.452 s 3600.00/3611.48 c LP solve time 101.33 s 3600.00/3611.48 c LP constraints added 3322 3600.00/3611.48 c LP constraints removed 769 3600.00/3611.48 c LP pivots internal 1529347 3600.00/3611.48 c LP pivots root 12024 3600.00/3611.48 c LP calls 22774 3600.00/3611.48 c LP optimalities 14448 3600.00/3611.48 c LP no pivot count 7102 3600.00/3611.48 c LP infeasibilities 8320 3600.00/3611.48 c LP valid Farkas constraints 8319 3600.00/3611.48 c LP learned Farkas constraints 8319 3600.00/3611.48 c LP basis resets 4 3600.00/3611.48 c LP cycling count 0 3600.00/3611.48 c LP singular count 3 3600.00/3611.48 c LP no primal count 0 3600.00/3611.48 c LP no farkas count 1 3600.00/3611.48 c LP other issue count 0 3600.00/3611.48 c LP Gomory cuts 0 3600.00/3611.48 c LP learned cuts 778 3600.00/3611.48 c LP deleted cuts 769 3600.00/3611.48 c LP encountered Gomory constraints 0 3600.00/3611.48 c LP encountered Farkas constraints 446131 3600.00/3611.48 c LP encountered learned Farkas constraints 73497 3600.00/3611.48 c CG auxiliary variables introduced 0 3600.00/3611.48 c CG solutions found 0 3600.00/3611.48 c CG cores constructed 1 3600.00/3611.48 c CG core cardinality constraints returned 0 3600.00/3611.48 c CG unit cores 1 3600.00/3611.48 c CG single cores 0 3600.00/3611.48 c CG blocks removed during cardinality reduction 0 3600.00/3611.48 c CG first core best 0 3600.00/3611.48 c CG decision core best 0 3600.00/3611.48 c CG core reduction tie 0 3600.00/3611.48 c CG core degree average 0.00 3600.00/3611.48 c CG core slack average 0.00 3600.00/3611.48 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (22201 MiB free)
memory of node 1: 64510 MiB (57495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460313-1722068459/watcher-4460313-1722068459 -o /tmp/evaluation-result-4460313-1722068459/solver-4460313-1722068459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359138 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460313-1722068459 --lp-cut-gomory=0 HOME/instance-4460313-1722068459.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
solver pid=361181, runsolver pid=361178
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.11 4.10 4.03 3/238 361182
/proc/meminfo: memFree=82461576/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=37376 memory=2588 CPUtime=0 cores=4,6
/proc/361181/stat : 361181 (roundingsat) D 361178 361181 359127 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 42835415 38273024 647 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 9344 647 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2588 KiB
[startup+0.211051 s]*
/proc/loadavg: 4.11 4.10 4.03 5/238 361182
/proc/meminfo: memFree=83612952/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=38388 memory=6780 CPUtime=0.03 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 516 0 0 0 2 1 0 0 20 0 1 0 42835415 39309312 1695 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 9597 1695 1360 992 0 1455 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 38388 KiB
Current children cumulated memory: 6780 KiB
[startup+0.311263 s]*
/proc/loadavg: 4.11 4.10 4.03 5/238 361182
/proc/meminfo: memFree=84633944/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=42628 memory=12340 CPUtime=0.13 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 1831 0 0 0 11 2 0 0 20 0 1 0 42835415 43651072 3085 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 10657 3085 1805 992 0 2515 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 42628 KiB
Current children cumulated memory: 12340 KiB
[startup+0.700297 s]
/proc/loadavg: 4.11 4.10 4.03 4/239 361197
/proc/meminfo: memFree=85756768/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=43264 memory=14280 CPUtime=0.5 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 2184 0 0 0 46 4 0 0 20 0 1 0 42835415 44302336 3570 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 10816 3570 1900 992 0 2674 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 43264 KiB
Current children cumulated memory: 14280 KiB
[startup+1.50027 s]
/proc/loadavg: 4.11 4.10 4.03 3/250 361222
/proc/meminfo: memFree=85719684/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=44560 memory=17908 CPUtime=1.3 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 2635 0 0 0 121 9 0 0 20 0 1 0 42835415 45629440 4477 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 11140 4477 1900 992 0 2998 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 44560 KiB
Current children cumulated memory: 17908 KiB
[startup+3.11311 s]
/proc/loadavg: 4.18 4.12 4.03 3/250 361222
/proc/meminfo: memFree=85517788/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=57084 memory=29436 CPUtime=2.91 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 4697 0 0 0 277 14 0 0 20 0 1 0 42835415 58454016 7359 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 14271 7359 1916 992 0 6129 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 57084 KiB
Current children cumulated memory: 29436 KiB
[startup+6.30026 s]
/proc/loadavg: 4.18 4.12 4.03 3/250 361224
/proc/meminfo: memFree=85416672/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=69484 memory=38868 CPUtime=6.08 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 6530 0 0 0 582 26 0 0 20 0 1 0 42835415 71151616 9717 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 17371 9717 1916 992 0 9229 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 69484 KiB
Current children cumulated memory: 38868 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.13 4.04 3/244 361250
/proc/meminfo: memFree=85280688/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=74996 memory=46440 CPUtime=12.47 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 7900 0 0 0 1203 44 0 0 20 0 1 0 42835415 76795904 11610 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 18749 11610 1916 992 0 10607 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 74996 KiB
Current children cumulated memory: 46440 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.12 4.04 3/245 361254
/proc/meminfo: memFree=84967492/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=93600 memory=57068 CPUtime=25.23 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 10023 0 0 0 2442 81 0 0 20 0 1 0 42835415 95846400 14267 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 23400 14267 1916 992 0 15258 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 93600 KiB
Current children cumulated memory: 57068 KiB
[startup+51.1132 s]
/proc/loadavg: 4.12 4.11 4.03 5/250 361325
/proc/meminfo: memFree=84320788/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=104076 memory=73216 CPUtime=50.76 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 12586 0 0 0 4927 149 0 0 20 0 1 0 42835415 106573824 18304 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 26019 18304 1916 992 0 17877 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 104076 KiB
Current children cumulated memory: 73216 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/263 361348
/proc/meminfo: memFree=80512120/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=184088 memory=126884 CPUtime=101.79 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 20370 0 0 0 9951 228 0 0 20 0 1 0 42835415 188506112 31721 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 46022 31721 1916 992 0 37880 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 184088 KiB
Current children cumulated memory: 126884 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/270 361366
/proc/meminfo: memFree=76218480/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=192572 memory=135068 CPUtime=161.6 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 22423 0 0 0 15807 353 0 0 20 0 1 0 42835415 197193728 33767 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 48143 33767 1916 992 0 40001 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 192572 KiB
Current children cumulated memory: 135068 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/270 361376
/proc/meminfo: memFree=72145852/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=197428 memory=140540 CPUtime=221.4 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 23666 0 0 0 21694 446 0 0 20 0 1 0 42835415 202166272 35135 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 49357 35135 1916 992 0 41215 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 197428 KiB
Current children cumulated memory: 140540 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/270 361769
/proc/meminfo: memFree=69618688/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=211724 memory=160764 CPUtime=281.22 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 26823 0 0 0 27589 533 0 0 20 0 1 0 42835415 216805376 40191 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 52931 40191 1916 992 0 44789 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 211724 KiB
Current children cumulated memory: 160764 KiB
[startup+342.3 s]
/proc/loadavg: 4.52 4.23 4.09 5/267 361779
/proc/meminfo: memFree=66609780/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=216740 memory=164692 CPUtime=341.08 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 27922 0 0 0 33470 638 0 0 20 0 1 0 42835415 221941760 41173 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 54185 41173 1916 992 0 46043 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 216740 KiB
Current children cumulated memory: 164692 KiB
[startup+402.3 s]
/proc/loadavg: 4.35 4.24 4.10 5/264 361789
/proc/meminfo: memFree=64339244/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=220844 memory=186764 CPUtime=400.94 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 28916 0 0 0 39370 724 0 0 20 0 1 0 42835415 226144256 46691 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 55211 46691 1916 992 0 47069 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 220844 KiB
Current children cumulated memory: 186764 KiB
[startup+462.3 s]
/proc/loadavg: 4.40 4.25 4.11 5/259 361968
/proc/meminfo: memFree=62215812/131655788 swapFree=131058856/131071996
[pid=361181] ppid=361178 vsize=231748 memory=195464 CPUtime=460.79 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 31151 0 0 0 45280 799 0 0 20 0 1 0 42835415 237309952 48866 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 57937 48866 1916 992 0 49795 0
################
# More data... #
################
Current children cumulated memory: 397912 KiB
[startup+2862.3 s]
/proc/loadavg: 4.29 4.30 4.23 5/271 363178
/proc/meminfo: memFree=661176/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=511992 memory=401956 CPUtime=2853.4 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 67318 0 0 0 282180 3160 0 0 20 0 1 0 42835415 524279808 100489 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 127998 100489 2002 992 0 119856 0
Current children cumulated CPU time: 2853.4 s
Current children cumulated vsize: 511992 KiB
Current children cumulated memory: 401956 KiB
[startup+2922.3 s]
/proc/loadavg: 4.64 4.38 4.26 5/270 363188
/proc/meminfo: memFree=562456/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=512296 memory=402572 CPUtime=2913.2 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 67468 0 0 0 288089 3231 0 0 20 0 1 0 42835415 524591104 100643 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 128074 100643 2002 992 0 119932 0
Current children cumulated CPU time: 2913.2 s
Current children cumulated vsize: 512296 KiB
Current children cumulated memory: 402572 KiB
[startup+2982.3 s]
/proc/loadavg: 4.58 4.43 4.29 5/263 363204
/proc/meminfo: memFree=591292/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=512296 memory=402572 CPUtime=2973 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 67515 0 0 0 294013 3287 0 0 20 0 1 0 42835415 524591104 100643 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 128074 100643 2002 992 0 119932 0
Current children cumulated CPU time: 2973 s
Current children cumulated vsize: 512296 KiB
Current children cumulated memory: 402572 KiB
[startup+3042.3 s]
/proc/loadavg: 4.51 4.43 4.29 5/263 363216
/proc/meminfo: memFree=571100/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=512296 memory=402636 CPUtime=3032.79 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 67565 0 0 0 299936 3343 0 0 20 0 1 0 42835415 524591104 100659 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 128074 100659 2002 992 0 119932 0
Current children cumulated CPU time: 3032.79 s
Current children cumulated vsize: 512296 KiB
Current children cumulated memory: 402636 KiB
[startup+3102.3 s]
/proc/loadavg: 4.27 4.38 4.28 5/264 363229
/proc/meminfo: memFree=596724/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=512296 memory=402648 CPUtime=3092.59 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 67612 0 0 0 305864 3395 0 0 20 0 1 0 42835415 524591104 100662 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 128074 100662 2002 992 0 119932 0
Current children cumulated CPU time: 3092.59 s
Current children cumulated vsize: 512296 KiB
Current children cumulated memory: 402648 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.32 4.27 6/264 363239
/proc/meminfo: memFree=577464/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=512940 memory=403236 CPUtime=3152.39 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 67803 0 0 0 311775 3464 0 0 20 0 1 0 42835415 525250560 100809 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 128235 100809 2002 992 0 120093 0
Current children cumulated CPU time: 3152.39 s
Current children cumulated vsize: 512940 KiB
Current children cumulated memory: 403236 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.33 4.27 5/264 363249
/proc/meminfo: memFree=637520/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=514040 memory=404228 CPUtime=3212.2 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 68099 0 0 0 317677 3543 0 0 20 0 1 0 42835415 526376960 101057 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 128510 101057 2002 992 0 120368 0
Current children cumulated CPU time: 3212.2 s
Current children cumulated vsize: 514040 KiB
Current children cumulated memory: 404228 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.30 4.27 6/263 363262
/proc/meminfo: memFree=655528/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=515248 memory=405304 CPUtime=3271.99 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 68439 0 0 0 323596 3603 0 0 20 0 1 0 42835415 527613952 101326 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 128812 101326 2002 992 0 120670 0
Current children cumulated CPU time: 3271.99 s
Current children cumulated vsize: 515248 KiB
Current children cumulated memory: 405304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.24 4.25 5/262 363272
/proc/meminfo: memFree=595724/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=515380 memory=405740 CPUtime=3331.8 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 68540 0 0 0 329503 3677 0 0 20 0 1 0 42835415 527749120 101435 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 128845 101435 2002 992 0 120703 0
Current children cumulated CPU time: 3331.8 s
Current children cumulated vsize: 515380 KiB
Current children cumulated memory: 405740 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.21 4.24 5/263 363283
/proc/meminfo: memFree=565668/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=516020 memory=406356 CPUtime=3391.6 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 68733 0 0 0 335423 3737 0 0 20 0 1 0 42835415 528404480 101589 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 129005 101589 2002 992 0 120863 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 516020 KiB
Current children cumulated memory: 406356 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.24 4.25 5/264 363295
/proc/meminfo: memFree=636444/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=516020 memory=406388 CPUtime=3451.4 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 68835 0 0 0 341343 3797 0 0 20 0 1 0 42835415 528404480 101597 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 129005 101597 2002 992 0 120863 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 516020 KiB
Current children cumulated memory: 406388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.23 4.24 5/264 363306
/proc/meminfo: memFree=538492/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=518200 memory=408032 CPUtime=3511.2 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 69276 0 0 0 347270 3850 0 0 20 0 1 0 42835415 530636800 102008 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 129550 102008 2002 992 0 121408 0
Current children cumulated CPU time: 3511.2 s
Current children cumulated vsize: 518200 KiB
Current children cumulated memory: 408032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.23 4.24 5/266 363321
/proc/meminfo: memFree=631024/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=518428 memory=408384 CPUtime=3571 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 69390 0 0 0 353196 3904 0 0 20 0 1 0 42835415 530870272 102096 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 129607 102096 2002 992 0 121465 0
Current children cumulated CPU time: 3571 s
Current children cumulated vsize: 518428 KiB
Current children cumulated memory: 408384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.13 4.21 4.23 5/265 363326
/proc/meminfo: memFree=572384/131655788 swapFree=131057576/131071996
[pid=361181] ppid=361178 vsize=519752 memory=409560 CPUtime=3600 cores=4,6
/proc/361181/stat : 361181 (roundingsat) R 361178 361181 359127 0 -1 4194304 69709 0 0 0 356063 3937 0 0 20 0 1 0 42835415 532226048 102390 134679101440 4194304 8254357 140733610222848 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22183936 140733610226523 140733610226785 140733610226785 140733610233801 0
/proc/361181/statm: 129938 102390 2002 992 0 121796 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 519752 KiB
Current children cumulated memory: 409560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.49 s]
# the end of solver process 361181 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.64 s, system=39.3906 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.49
CPU time (s): 3600.03
CPU user time (s): 3560.64
CPU system time (s): 39.3906
CPU usage (%): 99.6825
Max. virtual memory (cumulated for all children) (KiB): 519752
Max. memory (cumulated for all children) (KiB): 409560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.64
system time used= 39.3906
maximum resident set size= 409560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25047480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1210
involuntary context switches= 5073
# summary of solver processes directly reported to runsolver:
# pid: 361181
# total CPU time (s): 3600.03
# total CPU user time (s): 3560.64
# total CPU system time (s): 39.3906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5552 second user time and 38.3613 second system time
The end
Begin job on nodeC010 at 2024-07-27 10:20:59 IDJOB=4460313 IDBENCH=148770 IDSOLVER=3086 FILE ID=nodeC010/4460313-1722068459 RUNJOBID= nodeC010-1722064838-359138 SLURM_JOB_ID= 8248112 Free space on /tmp= 723760 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-4460313-1722068459/watcher-4460313-1722068459 -o /tmp/evaluation-result-4460313-1722068459/solver-4460313-1722068459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359138 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460313-1722068459 --lp-cut-gomory=0 HOME/instance-4460313-1722068459.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a RANDOM SEED=1479581438 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.364 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.277 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.246 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.195 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.197 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.275 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1417.356 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.305 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 81352724 kB MemAvailable: 129801964 kB Buffers: 364444 kB Cached: 48401860 kB SwapCached: 192 kB Active: 2314224 kB Inactive: 46759012 kB Active(anon): 1984 kB Inactive(anon): 358500 kB Active(file): 2312240 kB Inactive(file): 46400512 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 12032 kB Writeback: 8 kB AnonPages: 306900 kB Mapped: 102864 kB Shmem: 53520 kB KReclaimable: 798232 kB Slab: 920380 kB SReclaimable: 798232 kB SUnreclaim: 122148 kB KernelStack: 3872 kB PageTables: 9360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 834864 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14784 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 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: 412488 kB DirectMap2M: 54018048 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723716 MiB End job on nodeC010 at 2024-07-27 11:21:10