| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.1 | 3613.43 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb |
| MD5SUM | bb00c8681178995acecbc2b6e4ec1a1a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 2386.3 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2130 |
| Total number of constraints | 2495 |
| Number of constraints which are clauses | 2125 |
| Number of constraints which are cardinality constraints (but not clauses) | 50 |
| Number of constraints which are nor clauses,nor cardinality constraints | 320 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 320 |
| Number of terms in the objective function | 5 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 5 |
| Number of bits of the sum of numbers in the objective function | 3 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 636 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 2130 #constraints 2544 0.00/0.03 c bounds - >= 0 @ 0.012948 0.00/0.03 c rational objective 5 0.58/0.61 c #Conflicts: 1000 | #Constraints: 3546 0.58/0.61 c #Conflicts: 2000 | #Constraints: 4547 0.58/0.61 c INPROCESSING 0.58/0.61 c GARBAGE COLLECT 0.58/0.61 c rational objective 5 2.37/2.45 c bounds - >= 5 @ 0.579473 2.37/2.45 c #Conflicts: 3000 | #Constraints: 2444 2.37/2.45 c #Conflicts: 4000 | #Constraints: 3449 2.37/2.45 c INPROCESSING 2.37/2.45 c GARBAGE COLLECT 2.37/2.45 c rational objective 5 3.97/4.10 c #Conflicts: 5000 | #Constraints: 2853 3.97/4.10 c #Conflicts: 6000 | #Constraints: 3856 3.97/4.10 c INPROCESSING 3.97/4.10 c GARBAGE COLLECT 3.97/4.10 c rational objective 5 5.07/5.18 c #Conflicts: 7000 | #Constraints: 2855 5.07/5.18 c #Conflicts: 8000 | #Constraints: 3863 5.07/5.18 c #Conflicts: 9000 | #Constraints: 4873 5.07/5.18 c INPROCESSING 5.07/5.18 c GARBAGE COLLECT 5.07/5.18 c rational objective 5 6.56/6.61 c #Conflicts: 10000 | #Constraints: 3567 6.56/6.61 c #Conflicts: 11000 | #Constraints: 4571 6.56/6.61 c #Conflicts: 12000 | #Constraints: 5577 6.56/6.61 c INPROCESSING 6.56/6.61 c GARBAGE COLLECT 6.56/6.61 c rational objective 5 8.55/8.68 c #Conflicts: 13000 | #Constraints: 4019 8.55/8.68 c #Conflicts: 14000 | #Constraints: 5023 8.55/8.68 c #Conflicts: 15000 | #Constraints: 6028 8.55/8.68 c INPROCESSING 8.55/8.68 c GARBAGE COLLECT 8.55/8.68 c rational objective 5 11.12/11.26 c #Conflicts: 16000 | #Constraints: 4238 11.12/11.26 c #Conflicts: 17000 | #Constraints: 5247 11.12/11.26 c #Conflicts: 18000 | #Constraints: 6254 11.12/11.26 c INPROCESSING 11.12/11.26 c GARBAGE COLLECT 11.12/11.26 c rational objective 5 13.21/13.31 c #Conflicts: 19000 | #Constraints: 4267 13.21/13.31 c #Conflicts: 20000 | #Constraints: 5274 13.21/13.31 c #Conflicts: 21000 | #Constraints: 6279 13.21/13.31 c INPROCESSING 13.21/13.31 c GARBAGE COLLECT 13.21/13.31 c rational objective 5 15.51/15.66 c #Conflicts: 22000 | #Constraints: 4072 15.51/15.66 c #Conflicts: 23000 | #Constraints: 5077 15.51/15.66 c #Conflicts: 24000 | #Constraints: 6080 15.51/15.66 c #Conflicts: 25000 | #Constraints: 7085 15.51/15.66 c INPROCESSING 15.51/15.66 c GARBAGE COLLECT 15.51/15.66 c rational objective 5 18.10/18.24 c #Conflicts: 26000 | #Constraints: 4672 18.10/18.24 c #Conflicts: 27000 | #Constraints: 5680 18.10/18.24 c #Conflicts: 28000 | #Constraints: 6684 18.10/18.24 c #Conflicts: 29000 | #Constraints: 7686 18.10/18.24 c INPROCESSING 18.10/18.24 c GARBAGE COLLECT 18.10/18.24 c rational objective 5 20.79/20.93 c #Conflicts: 30000 | #Constraints: 5071 20.79/20.93 c #Conflicts: 31000 | #Constraints: 6075 20.79/20.93 c #Conflicts: 32000 | #Constraints: 7078 20.79/20.93 c #Conflicts: 33000 | #Constraints: 8081 20.79/20.93 c INPROCESSING 20.79/20.93 c GARBAGE COLLECT 20.79/20.93 c rational objective 5 23.28/23.43 c #Conflicts: 34000 | #Constraints: 5270 23.28/23.43 c #Conflicts: 35000 | #Constraints: 6272 23.28/23.43 c #Conflicts: 36000 | #Constraints: 7278 23.28/23.43 c #Conflicts: 37000 | #Constraints: 8284 23.28/23.43 c INPROCESSING 23.28/23.43 c GARBAGE COLLECT 23.28/23.43 c rational objective 5 26.87/27.05 c #Conflicts: 38000 | #Constraints: 5274 26.87/27.05 c #Conflicts: 39000 | #Constraints: 6279 26.87/27.05 c #Conflicts: 40000 | #Constraints: 7290 26.87/27.05 c #Conflicts: 41000 | #Constraints: 8298 26.87/27.05 c INPROCESSING 26.87/27.05 c GARBAGE COLLECT 26.87/27.05 c rational objective 5 29.26/29.50 c #Conflicts: 42000 | #Constraints: 5100 29.26/29.50 c #Conflicts: 43000 | #Constraints: 6108 29.26/29.50 c #Conflicts: 44000 | #Constraints: 7110 29.26/29.50 c #Conflicts: 45000 | #Constraints: 8117 29.26/29.50 c #Conflicts: 46000 | #Constraints: 9124 29.26/29.50 c INPROCESSING 29.26/29.50 c GARBAGE COLLECT 29.26/29.50 c rational objective 5 32.95/33.13 c #Conflicts: 47000 | #Constraints: 5684 32.95/33.13 c #Conflicts: 48000 | #Constraints: 6688 32.95/33.13 c #Conflicts: 49000 | #Constraints: 7695 32.95/33.13 c #Conflicts: 50000 | #Constraints: 8700 32.95/33.13 c #Conflicts: 51000 | #Constraints: 9704 32.95/33.13 c INPROCESSING 32.95/33.13 c GARBAGE COLLECT 32.95/33.13 c rational objective 5 36.71/36.96 c #Conflicts: 52000 | #Constraints: 6090 36.71/36.96 c #Conflicts: 53000 | #Constraints: 7098 36.71/36.96 c #Conflicts: 54000 | #Constraints: 8101 36.71/36.96 c #Conflicts: 55000 | #Constraints: 9108 36.71/36.96 c #Conflicts: 56000 | #Constraints: 10113 36.71/36.96 c INPROCESSING 36.71/36.96 c GARBAGE COLLECT 36.71/36.96 c rational objective 5 40.98/41.28 c #Conflicts: 57000 | #Constraints: 6283 40.98/41.28 c #Conflicts: 58000 | #Constraints: 7292 40.98/41.28 c #Conflicts: 59000 | #Constraints: 8294 40.98/41.28 c #Conflicts: 60000 | #Constraints: 9300 40.98/41.28 c #Conflicts: 61000 | #Constraints: 10304 40.98/41.28 c INPROCESSING 40.98/41.28 c GARBAGE COLLECT 40.98/41.28 c rational objective 5 44.57/44.84 c #Conflicts: 62000 | #Constraints: 6281 44.57/44.84 c #Conflicts: 63000 | #Constraints: 7284 44.57/44.84 c #Conflicts: 64000 | #Constraints: 8289 44.57/44.84 c #Conflicts: 65000 | #Constraints: 9295 44.57/44.84 c #Conflicts: 66000 | #Constraints: 10303 44.57/44.84 c INPROCESSING 44.57/44.84 c GARBAGE COLLECT 44.57/44.84 c rational objective 5 49.06/49.34 c #Conflicts: 67000 | #Constraints: 6082 49.06/49.34 c #Conflicts: 68000 | #Constraints: 7088 49.06/49.34 c #Conflicts: 69000 | #Constraints: 8096 49.06/49.34 c #Conflicts: 70000 | #Constraints: 9102 49.06/49.34 c #Conflicts: 71000 | #Constraints: 10104 49.06/49.34 c #Conflicts: 72000 | #Constraints: 11107 49.06/49.34 c INPROCESSING 49.06/49.34 c GARBAGE COLLECT 49.06/49.34 c rational objective 5 54.14/54.45 c #Conflicts: 73000 | #Constraints: 6684 54.14/54.45 c #Conflicts: 74000 | #Constraints: 7693 54.14/54.45 c #Conflicts: 75000 | #Constraints: 8704 54.14/54.45 c #Conflicts: 76000 | #Constraints: 9713 54.14/54.45 c #Conflicts: 77000 | #Constraints: 10717 54.14/54.45 c #Conflicts: 78000 | #Constraints: 11722 54.14/54.45 c INPROCESSING 54.14/54.45 c GARBAGE COLLECT 54.14/54.45 c rational objective 5 63.00/63.34 c #Conflicts: 79000 | #Constraints: 7104 63.00/63.34 c #Conflicts: 80000 | #Constraints: 8107 63.00/63.34 c #Conflicts: 81000 | #Constraints: 9111 63.00/63.34 c #Conflicts: 82000 | #Constraints: 10116 63.00/63.34 c #Conflicts: 83000 | #Constraints: 11120 63.00/63.34 c #Conflicts: 84000 | #Constraints: 12126 63.00/63.34 c INPROCESSING 63.00/63.34 c GARBAGE COLLECT 63.00/63.34 c rational objective 5 72.82/73.22 c #Conflicts: 85000 | #Constraints: 7299 72.82/73.22 c #Conflicts: 86000 | #Constraints: 8304 72.82/73.22 c #Conflicts: 87000 | #Constraints: 9309 72.82/73.22 c #Conflicts: 88000 | #Constraints: 10315 72.82/73.22 c #Conflicts: 89000 | #Constraints: 11320 72.82/73.22 c #Conflicts: 90000 | #Constraints: 12322 72.82/73.22 c INPROCESSING 72.82/73.22 c GARBAGE COLLECT 72.82/73.22 c rational objective 5 85.18/85.66 c #Conflicts: 91000 | #Constraints: 7297 85.18/85.66 c #Conflicts: 92000 | #Constraints: 8306 85.18/85.66 c #Conflicts: 93000 | #Constraints: 9312 85.18/85.66 c #Conflicts: 94000 | #Constraints: 10318 85.18/85.66 c #Conflicts: 95000 | #Constraints: 11323 85.18/85.66 c #Conflicts: 96000 | #Constraints: 12330 85.18/85.66 c INPROCESSING 85.18/85.66 c GARBAGE COLLECT 85.18/85.66 c rational objective 5 105.39/105.92 c #Conflicts: 97000 | #Constraints: 7107 105.39/105.92 c #Conflicts: 98000 | #Constraints: 8112 105.39/105.92 c #Conflicts: 99000 | #Constraints: 9116 105.39/105.92 c #Conflicts: 100000 | #Constraints: 10119 105.39/105.92 c #Conflicts: 101000 | #Constraints: 11122 105.39/105.92 c #Conflicts: 102000 | #Constraints: 12127 105.39/105.92 c #Conflicts: 103000 | #Constraints: 13130 105.39/105.92 c INPROCESSING 105.39/105.92 c GARBAGE COLLECT 105.39/105.92 c rational objective 5 113.46/114.05 c #Conflicts: 104000 | #Constraints: 7691 113.46/114.05 c #Conflicts: 105000 | #Constraints: 8693 113.46/114.05 c #Conflicts: 106000 | #Constraints: 9703 113.46/114.05 c #Conflicts: 107000 | #Constraints: 10712 113.46/114.05 c #Conflicts: 108000 | #Constraints: 11715 113.46/114.05 c #Conflicts: 109000 | #Constraints: 12720 113.46/114.05 c #Conflicts: 110000 | #Constraints: 13724 113.46/114.05 c INPROCESSING 113.46/114.05 c GARBAGE COLLECT 113.46/114.05 c rational objective 5 120.13/120.74 c #Conflicts: 111000 | #Constraints: 8113 120.13/120.74 c #Conflicts: 112000 | #Constraints: 9125 120.13/120.74 c #Conflicts: 113000 | #Constraints: 10130 120.13/120.74 c #Conflicts: 114000 | #Constraints: 11148 120.13/120.74 c #Conflicts: 115000 | #Constraints: 12159 120.13/120.74 c #Conflicts: 116000 | #Constraints: 13163 120.13/120.74 c #Conflicts: 117000 | #Constraints: 14168 120.13/120.74 c INPROCESSING 120.13/120.74 c GARBAGE COLLECT 120.13/120.74 c rational objective 5 129.88/130.57 c #Conflicts: 118000 | #Constraints: 8322 129.88/130.57 c #Conflicts: 119000 | #Constraints: 9329 129.88/130.57 c #Conflicts: 120000 | #Constraints: 10335 129.88/130.57 c #Conflicts: 121000 | #Constraints: 11342 129.88/130.57 c #Conflicts: 122000 | #Constraints: 12346 129.88/130.57 c #Conflicts: 123000 | #Constraints: 13356 129.88/130.57 c #Conflicts: 124000 | #Constraints: 14363 129.88/130.57 c INPROCESSING 129.88/130.57 c GARBAGE COLLECT 129.88/130.57 c rational objective 5 137.55/138.23 c #Conflicts: 125000 | #Constraints: 8313 137.55/138.23 c #Conflicts: 126000 | #Constraints: 9318 137.55/138.23 c #Conflicts: 127000 | #Constraints: 10332 137.55/138.23 c #Conflicts: 128000 | #Constraints: 11339 137.55/138.23 c #Conflicts: 129000 | #Constraints: 12347 137.55/138.23 c #Conflicts: 130000 | #Constraints: 13352 137.55/138.23 c #Conflicts: 131000 | #Constraints: 14356 137.55/138.23 c INPROCESSING 137.55/138.23 c GARBAGE COLLECT 137.55/138.23 c rational objective 5 143.83/144.53 c #Conflicts: 132000 | #Constraints: 8105 143.83/144.53 c #Conflicts: 133000 | #Constraints: 9112 143.83/144.53 c #Conflicts: 134000 | #Constraints: 10117 143.83/144.53 c #Conflicts: 135000 | #Constraints: 11121 143.83/144.53 c #Conflicts: 136000 | #Constraints: 12126 143.83/144.53 c #Conflicts: 137000 | #Constraints: 13134 143.83/144.53 c #Conflicts: 138000 | #Constraints: 14140 143.83/144.53 c #Conflicts: 139000 | #Constraints: 15145 143.83/144.53 c INPROCESSING 143.83/144.53 c GARBAGE COLLECT 143.83/144.53 c rational objective 5 152.99/153.76 c #Conflicts: 140000 | #Constraints: 8710 152.99/153.76 c #Conflicts: 141000 | #Constraints: 9715 152.99/153.76 c #Conflicts: 142000 | #Constraints: 10725 152.99/153.76 c #Conflicts: 143000 | #Constraints: 11733 152.99/153.76 c #Conflicts: 144000 | #Constraints: 12741 152.99/153.76 c #Conflicts: 145000 | #Constraints: 13759 152.99/153.76 c #Conflicts: 146000 | #Constraints: 14765 152.99/153.76 c #Conflicts: 147000 | #Constraints: 15777 152.99/153.76 c INPROCESSING 152.99/153.76 c GARBAGE COLLECT 152.99/153.76 c rational objective 5 162.64/163.43 c #Conflicts: 148000 | #Constraints: 9142 162.64/163.43 c #Conflicts: 149000 | #Constraints: 10147 162.64/163.43 c #Conflicts: 150000 | #Constraints: 11154 162.64/163.43 c #Conflicts: 151000 | #Constraints: 12156 162.64/163.43 c #Conflicts: 152000 | #Constraints: 13163 162.64/163.43 c #Conflicts: 153000 | #Constraints: 14170 162.64/163.43 c #Conflicts: 154000 | #Constraints: 15176 162.64/163.43 c #Conflicts: 155000 | #Constraints: 16182 162.64/163.43 c INPROCESSING 162.64/163.43 c GARBAGE COLLECT 162.64/163.43 c rational objective 5 172.30/173.19 c #Conflicts: 156000 | #Constraints: 9316 172.30/173.19 c #Conflicts: 157000 | #Constraints: 10324 172.30/173.19 c #Conflicts: 158000 | #Constraints: 11328 172.30/173.19 c #Conflicts: 159000 | #Constraints: 12334 172.30/173.19 c #Conflicts: 160000 | #Constraints: 13343 172.30/173.19 c #Conflicts: 161000 | #Constraints: 14352 172.30/173.19 c #Conflicts: 162000 | #Constraints: 15359 172.30/173.19 c #Conflicts: 163000 | #Constraints: 16360 172.30/173.19 c INPROCESSING 172.30/173.19 c GARBAGE COLLECT 172.30/173.19 c rational objective 5 188.43/189.38 c #Conflicts: 164000 | #Constraints: 9319 188.43/189.38 c #Conflicts: 165000 | #Constraints: 10324 188.43/189.38 c #Conflicts: 166000 | #Constraints: 11327 188.43/189.38 c #Conflicts: 167000 | #Constraints: 12335 188.43/189.38 c #Conflicts: 168000 | #Constraints: 13344 188.43/189.38 c #Conflicts: 169000 | #Constraints: 14347 188.43/189.38 c #Conflicts: 170000 | #Constraints: 15350 188.43/189.38 c #Conflicts: 171000 | #Constraints: 16357 188.43/189.38 c INPROCESSING 188.43/189.38 c GARBAGE COLLECT 188.43/189.38 c rational objective 5 197.49/198.41 c #Conflicts: 172000 | #Constraints: 9107 197.49/198.41 c #Conflicts: 173000 | #Constraints: 10113 197.49/198.41 c #Conflicts: 174000 | #Constraints: 11115 197.49/198.41 c #Conflicts: 175000 | #Constraints: 12122 197.49/198.41 c #Conflicts: 176000 | #Constraints: 13130 197.49/198.41 c #Conflicts: 177000 | #Constraints: 14137 197.49/198.41 c #Conflicts: 178000 | #Constraints: 15142 197.49/198.41 c #Conflicts: 179000 | #Constraints: 16145 197.49/198.41 c #Conflicts: 180000 | #Constraints: 17150 197.49/198.41 c INPROCESSING 197.49/198.41 c GARBAGE COLLECT 197.49/198.41 c rational objective 5 209.05/210.02 c #Conflicts: 181000 | #Constraints: 9716 209.05/210.02 c #Conflicts: 182000 | #Constraints: 10722 209.05/210.02 c #Conflicts: 183000 | #Constraints: 11727 209.05/210.02 c #Conflicts: 184000 | #Constraints: 12734 209.05/210.02 c #Conflicts: 185000 | #Constraints: 13739 209.05/210.02 c #Conflicts: 186000 | #Constraints: 14742 209.05/210.02 c #Conflicts: 187000 | #Constraints: 15746 209.05/210.02 c #Conflicts: 188000 | #Constraints: 16749 209.05/210.02 c #Conflicts: 189000 | #Constraints: 17751 209.05/210.02 c INPROCESSING 209.05/210.02 c GARBAGE COLLECT 209.05/210.02 c rational objective 5 226.87/227.95 c #Conflicts: 190000 | #Constraints: 10124 226.87/227.95 c #Conflicts: 191000 | #Constraints: 11131 226.87/227.95 c #Conflicts: 192000 | #Constraints: 12136 226.87/227.95 c #Conflicts: 193000 | #Constraints: 13139 226.87/227.95 c #Conflicts: 194000 | #Constraints: 14145 226.87/227.95 c #Conflicts: 195000 | #Constraints: 15149 226.87/227.95 c #Conflicts: 196000 | #Constraints: 16155 226.87/227.95 c #Conflicts: 197000 | #Constraints: 17160 226.87/227.95 c #Conflicts: 198000 | #Constraints: 18163 226.87/227.95 c INPROCESSING 226.87/227.95 c GARBAGE COLLECT 226.87/227.95 c rational objective 5 239.02/240.10 c #Conflicts: 199000 | #Constraints: 10325 239.02/240.10 c #Conflicts: 200000 | #Constraints: 11327 239.02/240.10 c #Conflicts: 201000 | #Constraints: 12329 239.02/240.10 c #Conflicts: 202000 | #Constraints: 13333 239.02/240.10 c #Conflicts: 203000 | #Constraints: 14336 239.02/240.10 c #Conflicts: 204000 | #Constraints: 15338 239.02/240.10 c #Conflicts: 205000 | #Constraints: 16340 239.02/240.10 c #Conflicts: 206000 | #Constraints: 17346 239.02/240.10 c #Conflicts: 207000 | #Constraints: 18350 239.02/240.10 c INPROCESSING 239.02/240.10 c GARBAGE COLLECT 239.02/240.10 c rational objective 5 261.72/262.91 c #Conflicts: 208000 | #Constraints: 10309 261.72/262.91 c #Conflicts: 209000 | #Constraints: 11318 261.72/262.91 c #Conflicts: 210000 | #Constraints: 12324 261.72/262.91 c #Conflicts: 211000 | #Constraints: 13333 261.72/262.91 c #Conflicts: 212000 | #Constraints: 14338 261.72/262.91 c #Conflicts: 213000 | #Constraints: 15341 261.72/262.91 c #Conflicts: 214000 | #Constraints: 16345 261.72/262.91 c #Conflicts: 215000 | #Constraints: 17347 261.72/262.91 c #Conflicts: 216000 | #Constraints: 18350 261.72/262.91 c INPROCESSING 261.72/262.91 c GARBAGE COLLECT 261.72/262.91 c rational objective 5 283.63/285.00 c #Conflicts: 217000 | #Constraints: 10118 283.63/285.00 c #Conflicts: 218000 | #Constraints: 11127 283.63/285.00 c #Conflicts: 219000 | #Constraints: 12129 283.63/285.00 c #Conflicts: 220000 | #Constraints: 13132 283.63/285.00 c #Conflicts: 221000 | #Constraints: 14134 283.63/285.00 c #Conflicts: 222000 | #Constraints: 15141 283.63/285.00 c #Conflicts: 223000 | #Constraints: 16142 283.63/285.00 c #Conflicts: 224000 | #Constraints: 17142 283.63/285.00 c #Conflicts: 225000 | #Constraints: 18145 283.63/285.00 c #Conflicts: 226000 | #Constraints: 19148 283.63/285.00 c INPROCESSING 283.63/285.00 c GARBAGE COLLECT 283.63/285.00 c rational objective 5 296.27/297.64 c #Conflicts: 227000 | #Constraints: 10719 296.27/297.64 c #Conflicts: 228000 | #Constraints: 11722 296.27/297.64 c #Conflicts: 229000 | #Constraints: 12725 296.27/297.64 c #Conflicts: 230000 | #Constraints: 13730 296.27/297.64 c #Conflicts: 231000 | #Constraints: 14735 296.27/297.64 c #Conflicts: 232000 | #Constraints: 15738 296.27/297.64 c #Conflicts: 233000 | #Constraints: 16743 296.27/297.64 c #Conflicts: 234000 | #Constraints: 17745 296.27/297.64 c #Conflicts: 235000 | #Constraints: 18756 296.27/297.64 c #Conflicts: 236000 | #Constraints: 19760 296.27/297.64 c INPROCESSING 296.27/297.64 c GARBAGE COLLECT 296.27/297.64 c rational objective 5 307.14/308.53 c #Conflicts: 237000 | #Constraints: 11110 307.14/308.53 c #Conflicts: 238000 | #Constraints: 12118 307.14/308.53 c #Conflicts: 239000 | #Constraints: 13122 307.14/308.53 c #Conflicts: 240000 | #Constraints: 14127 307.14/308.53 c #Conflicts: 241000 | #Constraints: 15131 307.14/308.53 c #Conflicts: 242000 | #Constraints: 16135 307.14/308.53 c #Conflicts: 243000 | #Constraints: 17138 307.14/308.53 c #Conflicts: 244000 | #Constraints: 18144 307.14/308.53 c #Conflicts: 245000 | #Constraints: 19154 307.14/308.53 c #Conflicts: 246000 | #Constraints: 20160 307.14/308.53 c INPROCESSING 307.14/308.53 c GARBAGE COLLECT 307.14/308.53 c rational objective 5 322.07/323.59 c #Conflicts: 247000 | #Constraints: 11313 322.07/323.59 c #Conflicts: 248000 | #Constraints: 12317 322.07/323.59 c #Conflicts: 249000 | #Constraints: 13322 322.07/323.59 c #Conflicts: 250000 | #Constraints: 14329 322.07/323.59 c #Conflicts: 251000 | #Constraints: 15333 322.07/323.59 c #Conflicts: 252000 | #Constraints: 16336 322.07/323.59 c #Conflicts: 253000 | #Constraints: 17344 322.07/323.59 c #Conflicts: 254000 | #Constraints: 18351 322.07/323.59 c #Conflicts: 255000 | #Constraints: 19358 322.07/323.59 c #Conflicts: 256000 | #Constraints: 20366 322.07/323.59 c INPROCESSING 322.07/323.59 c GARBAGE COLLECT 322.07/323.59 c rational objective 5 335.12/336.66 c #Conflicts: 257000 | #Constraints: 11316 335.12/336.66 c #Conflicts: 258000 | #Constraints: 12322 335.12/336.66 c #Conflicts: 259000 | #Constraints: 13326 335.12/336.66 c #Conflicts: 260000 | #Constraints: 14332 335.12/336.66 c #Conflicts: 261000 | #Constraints: 15337 335.12/336.66 c #Conflicts: 262000 | #Constraints: 16341 335.12/336.66 c #Conflicts: 263000 | #Constraints: 17344 335.12/336.66 c #Conflicts: 264000 | #Constraints: 18351 335.12/336.66 c #Conflicts: 265000 | #Constraints: 19361 335.12/336.66 c #Conflicts: 266000 | #Constraints: 20369 335.12/336.66 c INPROCESSING 335.12/336.66 c GARBAGE COLLECT 335.12/336.66 c rational objective 5 352.15/353.75 c #Conflicts: 267000 | #Constraints: 11121 352.15/353.75 c #Conflicts: 268000 | #Constraints: 12133 352.15/353.75 c #Conflicts: 269000 | #Constraints: 13141 352.15/353.75 c #Conflicts: 270000 | #Constraints: 14146 352.15/353.75 c #Conflicts: 271000 | #Constraints: 15150 352.15/353.75 c #Conflicts: 272000 | #Constraints: 16158 352.15/353.75 c #Conflicts: 273000 | #Constraints: 17163 352.15/353.75 c #Conflicts: 274000 | #Constraints: 18169 352.15/353.75 c #Conflicts: 275000 | #Constraints: 19172 352.15/353.75 c #Conflicts: 276000 | #Constraints: 20179 352.15/353.75 c #Conflicts: 277000 | #Constraints: 21185 352.15/353.75 c INPROCESSING 352.15/353.75 c GARBAGE COLLECT 352.15/353.75 c rational objective 5 366.39/368.06 c #Conflicts: 278000 | #Constraints: 11724 366.39/368.06 c #Conflicts: 279000 | #Constraints: 12729 366.39/368.06 c #Conflicts: 280000 | #Constraints: 13732 366.39/368.06 c #Conflicts: 281000 | #Constraints: 14739 366.39/368.06 c #Conflicts: 282000 | #Constraints: 15747 366.39/368.06 c #Conflicts: 283000 | #Constraints: 16756 366.39/368.06 c #Conflicts: 284000 | #Constraints: 17763 366.39/368.06 c #Conflicts: 285000 | #Constraints: 18767 366.39/368.06 c #Conflicts: 286000 | #Constraints: 19773 366.39/368.06 c #Conflicts: 287000 | #Constraints: 20778 366.39/368.06 c #Conflicts: 288000 | #Constraints: 21784 366.39/368.06 c INPROCESSING 366.39/368.06 c GARBAGE COLLECT 366.39/368.06 c rational objective 5 379.73/381.48 c #Conflicts: 289000 | #Constraints: 12126 379.73/381.48 c #Conflicts: 290000 | #Constraints: 13131 379.73/381.48 c #Conflicts: 291000 | #Constraints: 14140 379.73/381.48 c #Conflicts: 292000 | #Constraints: 15144 379.73/381.48 c #Conflicts: 293000 | #Constraints: 16148 379.73/381.48 c #Conflicts: 294000 | #Constraints: 17151 379.73/381.48 c #Conflicts: 295000 | #Constraints: 18154 379.73/381.48 c #Conflicts: 296000 | #Constraints: 19159 379.73/381.48 c #Conflicts: 297000 | #Constraints: 20161 379.73/381.48 c #Conflicts: 298000 | #Constraints: 21168 379.73/381.48 c #Conflicts: 299000 | #Constraints: 22172 379.73/381.48 c INPROCESSING 379.73/381.48 c GARBAGE COLLECT 379.73/381.48 c rational objective 5 396.37/398.15 c #Conflicts: 300000 | #Constraints: 12320 396.37/398.15 c #Conflicts: 301000 | #Constraints: 13326 396.37/398.15 c #Conflicts: 302000 | #Constraints: 14333 396.37/398.15 c #Conflicts: 303000 | #Constraints: 15342 396.37/398.15 c #Conflicts: 304000 | #Constraints: 16349 396.37/398.15 c #Conflicts: 305000 | #Constraints: 17356 396.37/398.15 c #Conflicts: 306000 | #Constraints: 18362 396.37/398.15 c #Conflicts: 307000 | #Constraints: 19374 396.37/398.15 c #Conflicts: 308000 | #Constraints: 20380 396.37/398.15 c #Conflicts: 309000 | #Constraints: 21384 396.37/398.15 c #Conflicts: 310000 | #Constraints: 22393 396.37/398.15 c INPROCESSING 396.37/398.15 c GARBAGE COLLECT 396.37/398.15 c rational objective 5 422.26/424.13 c #Conflicts: 311000 | #Constraints: 12331 422.26/424.13 c #Conflicts: 312000 | #Constraints: 13335 422.26/424.13 c #Conflicts: 313000 | #Constraints: 14338 422.26/424.13 c #Conflicts: 314000 | #Constraints: 15345 422.26/424.13 c #Conflicts: 315000 | #Constraints: 16352 422.26/424.13 c #Conflicts: 316000 | #Constraints: 17358 422.26/424.13 c #Conflicts: 317000 | #Constraints: 18368 422.26/424.13 c #Conflicts: 318000 | #Constraints: 19372 422.26/424.13 c #Conflicts: 319000 | #Constraints: 20375 422.26/424.13 c #Conflicts: 320000 | #Constraints: 21381 422.26/424.13 c #Conflicts: 321000 | #Constraints: 22390 422.26/424.13 c INPROCESSING 422.26/424.13 c GARBAGE COLLECT 422.26/424.13 c rational objective 5 450.85/452.83 c #Conflicts: 322000 | #Constraints: 12135 450.85/452.83 c #Conflicts: 323000 | #Constraints: 13139 450.85/452.83 c #Conflicts: 324000 | #Constraints: 14145 450.85/452.83 c #Conflicts: 325000 | #Constraints: 15150 450.85/452.83 c #Conflicts: 326000 | #Constraints: 16153 450.85/452.83 c #Conflicts: 327000 | #Constraints: 17157 450.85/452.83 c #Conflicts: 328000 | #Constraints: 18160 450.85/452.83 c #Conflicts: 329000 | #Constraints: 19164 450.85/452.83 c #Conflicts: 330000 | #Constraints: 20168 450.85/452.83 c #Conflicts: 331000 | #Constraints: 21172 450.85/452.83 c #Conflicts: 332000 | #Constraints: 22177 450.85/452.83 c #Conflicts: 333000 | #Constraints: 23181 450.85/452.83 c INPROCESSING 450.85/452.83 c GARBAGE COLLECT 450.85/452.83 c rational objective 5 467.27/469.38 c #Conflicts: 334000 | #Constraints: 12712 467.27/469.38 c #Conflicts: 335000 | #Constraints: 13715 467.27/469.38 c #Conflicts: 336000 | #Constraints: 14721 467.27/469.38 c #Conflicts: 337000 | #Constraints: 15725 467.27/469.38 c #Conflicts: 338000 | #Constraints: 16728 467.27/469.38 c #Conflicts: 339000 | #Constraints: 17734 467.27/469.38 c #Conflicts: 340000 | #Constraints: 18739 467.27/469.38 c #Conflicts: 341000 | #Constraints: 19749 467.27/469.38 c #Conflicts: 342000 | #Constraints: 20758 467.27/469.38 c #Conflicts: 343000 | #Constraints: 21765 467.27/469.38 c #Conflicts: 344000 | #Constraints: 22772 467.27/469.38 c #Conflicts: 345000 | #Constraints: 23773 467.27/469.38 c INPROCESSING 467.27/469.38 c GARBAGE COLLECT 467.27/469.38 c rational objective 5 485.80/487.93 c #Conflicts: 346000 | #Constraints: 13122 485.80/487.93 c #Conflicts: 347000 | #Constraints: 14127 485.80/487.93 c #Conflicts: 348000 | #Constraints: 15128 485.80/487.93 c #Conflicts: 349000 | #Constraints: 16131 485.80/487.93 c #Conflicts: 350000 | #Constraints: 17133 485.80/487.93 c #Conflicts: 351000 | #Constraints: 18136 485.80/487.93 c #Conflicts: 352000 | #Constraints: 19147 485.80/487.93 c #Conflicts: 353000 | #Constraints: 20155 485.80/487.93 c #Conflicts: 354000 | #Constraints: 21161 485.80/487.93 c #Conflicts: 355000 | #Constraints: 22164 485.80/487.93 c #Conflicts: 356000 | #Constraints: 23169 485.80/487.93 c #Conflicts: 357000 | #Constraints: 24175 485.80/487.93 c INPROCESSING 485.80/487.93 c GARBAGE COLLECT 485.80/487.93 c rational objective 5 504.23/506.44 c #Conflicts: 358000 | #Constraints: 13329 504.23/506.44 c #Conflicts: 359000 | #Constraints: 14336 504.23/506.44 c #Conflicts: 360000 | #Constraints: 15345 504.23/506.44 c #Conflicts: 361000 | #Constraints: 16350 504.23/506.44 c #Conflicts: 362000 | #Constraints: 17359 504.23/506.44 c #Conflicts: 363000 | #Constraints: 18364 504.23/506.44 c #Conflicts: 364000 | #Constraints: 19370 504.23/506.44 c #Conflicts: 365000 | #Constraints: 20375 504.23/506.44 c #Conflicts: 366000 | #Constraints: 21383 504.23/506.44 c #Conflicts: 367000 | #Constraints: 22392 504.23/506.44 c #Conflicts: 368000 | #Constraints: 23395 504.23/506.44 c #Conflicts: 369000 | #Constraints: 24400 504.23/506.44 c INPROCESSING 504.23/506.44 c GARBAGE COLLECT 504.23/506.44 c rational objective 5 537.70/540.07 c #Conflicts: 370000 | #Constraints: 13340 537.70/540.07 c #Conflicts: 371000 | #Constraints: 14347 537.70/540.07 c #Conflicts: 372000 | #Constraints: 15359 537.70/540.07 c #Conflicts: 373000 | #Constraints: 16366 537.70/540.07 c #Conflicts: 374000 | #Constraints: 17375 537.70/540.07 c #Conflicts: 375000 | #Constraints: 18376 537.70/540.07 c #Conflicts: 376000 | #Constraints: 19378 537.70/540.07 c #Conflicts: 377000 | #Constraints: 20381 537.70/540.07 c #Conflicts: 378000 | #Constraints: 21383 537.70/540.07 c #Conflicts: 379000 | #Constraints: 22383 537.70/540.07 c #Conflicts: 380000 | #Constraints: 23384 537.70/540.07 c #Conflicts: 381000 | #Constraints: 24390 537.70/540.07 c INPROCESSING 537.70/540.07 c GARBAGE COLLECT 537.70/540.07 c rational objective 5 553.94/556.30 c #Conflicts: 382000 | #Constraints: 13122 553.94/556.30 c #Conflicts: 383000 | #Constraints: 14125 553.94/556.30 c #Conflicts: 384000 | #Constraints: 15133 553.94/556.30 c #Conflicts: 385000 | #Constraints: 16139 553.94/556.30 c #Conflicts: 386000 | #Constraints: 17142 553.94/556.30 c #Conflicts: 387000 | #Constraints: 18148 553.94/556.30 c #Conflicts: 388000 | #Constraints: 19152 553.94/556.30 c #Conflicts: 389000 | #Constraints: 20160 553.94/556.30 c #Conflicts: 390000 | #Constraints: 21161 553.94/556.30 c #Conflicts: 391000 | #Constraints: 22167 553.94/556.30 c #Conflicts: 392000 | #Constraints: 23171 553.94/556.30 c #Conflicts: 393000 | #Constraints: 24180 553.94/556.30 c #Conflicts: 394000 | #Constraints: 25187 553.94/556.30 c INPROCESSING 553.94/556.30 c GARBAGE COLLECT 553.94/556.30 c rational objective 5 575.24/577.75 c #Conflicts: 395000 | #Constraints: 13722 575.24/577.75 c #Conflicts: 396000 | #Constraints: 14727 575.24/577.75 c #Conflicts: 397000 | #Constraints: 15733 575.24/577.75 c #Conflicts: 398000 | #Constraints: 16738 575.24/577.75 c #Conflicts: 399000 | #Constraints: 17743 575.24/577.75 c #Conflicts: 400000 | #Constraints: 18748 575.24/577.75 c #Conflicts: 401000 | #Constraints: 19752 575.24/577.75 c #Conflicts: 402000 | #Constraints: 20757 575.24/577.75 c #Conflicts: 403000 | #Constraints: 21764 575.24/577.75 c #Conflicts: 404000 | #Constraints: 22774 575.24/577.75 c #Conflicts: 405000 | #Constraints: 23781 575.24/577.75 c #Conflicts: 406000 | #Constraints: 24785 575.24/577.75 c #Conflicts: 407000 | #Constraints: 25790 575.24/577.75 c INPROCESSING 575.24/577.75 c GARBAGE COLLECT 575.24/577.75 c rational objective 5 593.48/596.07 c #Conflicts: 408000 | #Constraints: 14126 593.48/596.07 c #Conflicts: 409000 | #Constraints: 15129 593.48/596.07 c #Conflicts: 410000 | #Constraints: 16134 593.48/596.07 c #Conflicts: 411000 | #Constraints: 17136 593.48/596.07 c #Conflicts: 412000 | #Constraints: 18143 593.48/596.07 c #Conflicts: 413000 | #Constraints: 19150 593.48/596.07 c #Conflicts: 414000 | #Constraints: 20160 593.48/596.07 c #Conflicts: 415000 | #Constraints: 21170 593.48/596.07 c #Conflicts: 416000 | #Constraints: 22174 593.48/596.07 c #Conflicts: 417000 | #Constraints: 23180 593.48/596.07 c #Conflicts: 418000 | #Constraints: 24183 593.48/596.07 c #Conflicts: 419000 | #Constraints: 25189 593.48/596.07 c #Conflicts: 420000 | #Constraints: 26197 593.48/596.07 c INPROCESSING 593.48/596.07 c GARBAGE COLLECT 593.48/596.07 c rational objective 5 621.66/624.36 c #Conflicts: 421000 | #Constraints: 14340 621.66/624.36 c #Conflicts: 422000 | #Constraints: 15346 621.66/624.36 c #Conflicts: 423000 | #Constraints: 16351 621.66/624.36 c #Conflicts: 424000 | #Constraints: 17354 621.66/624.36 c #Conflicts: 425000 | #Constraints: 18357 621.66/624.36 c #Conflicts: 426000 | #Constraints: 19358 621.66/624.36 c #Conflicts: 427000 | #Constraints: 20359 621.66/624.36 c #Conflicts: 428000 | #Constraints: 21360 621.66/624.36 c #Conflicts: 429000 | #Constraints: 22360 621.66/624.36 c #Conflicts: 430000 | #Constraints: 23361 621.66/624.36 c #Conflicts: 431000 | #Constraints: 24361 621.66/624.36 c #Conflicts: 432000 | #Constraints: 25361 621.66/624.36 c #Conflicts: 433000 | #Constraints: 26361 621.66/624.36 c INPROCESSING 621.66/624.36 c GARBAGE COLLECT 621.66/624.36 c rational objective 5 644.56/647.33 c #Conflicts: 434000 | #Constraints: 14340 644.56/647.33 c #Conflicts: 435000 | #Constraints: 15349 644.56/647.33 c #Conflicts: 436000 | #Constraints: 16351 644.56/647.33 c #Conflicts: 437000 | #Constraints: 17354 644.56/647.33 c #Conflicts: 438000 | #Constraints: 18357 644.56/647.33 c #Conflicts: 439000 | #Constraints: 19362 644.56/647.33 c #Conflicts: 440000 | #Constraints: 20364 644.56/647.33 c #Conflicts: 441000 | #Constraints: 21367 644.56/647.33 c #Conflicts: 442000 | #Constraints: 22368 644.56/647.33 c #Conflicts: 443000 | #Constraints: 23370 644.56/647.33 c #Conflicts: 444000 | #Constraints: 24372 644.56/647.33 c #Conflicts: 445000 | #Constraints: 25375 644.56/647.33 c #Conflicts: 446000 | #Constraints: 26375 644.56/647.33 c INPROCESSING 644.56/647.33 c GARBAGE COLLECT 644.56/647.33 c rational objective 5 687.70/690.65 c #Conflicts: 447000 | #Constraints: 14134 687.70/690.65 c #Conflicts: 448000 | #Constraints: 15139 687.70/690.65 c #Conflicts: 449000 | #Constraints: 16144 687.70/690.65 c #Conflicts: 450000 | #Constraints: 17149 687.70/690.65 c #Conflicts: 451000 | #Constraints: 18152 687.70/690.65 c #Conflicts: 452000 | #Constraints: 19156 687.70/690.65 c #Conflicts: 453000 | #Constraints: 20157 687.70/690.65 c #Conflicts: 454000 | #Constraints: 21165 687.70/690.65 c #Conflicts: 455000 | #Constraints: 22167 687.70/690.65 c #Conflicts: 456000 | #Constraints: 23171 687.70/690.65 c #Conflicts: 457000 | #Constraints: 24174 687.70/690.65 c #Conflicts: 458000 | #Constraints: 25176 687.70/690.65 c #Conflicts: 459000 | #Constraints: 26178 687.70/690.65 c #Conflicts: 460000 | #Constraints: 27179 687.70/690.65 c INPROCESSING 687.70/690.65 c GARBAGE COLLECT 687.70/690.65 c rational objective 5 728.95/732.09 c #Conflicts: 461000 | #Constraints: 14734 728.95/732.09 c #Conflicts: 462000 | #Constraints: 15738 728.95/732.09 c #Conflicts: 463000 | #Constraints: 16744 728.95/732.09 c #Conflicts: 464000 | #Constraints: 17750 728.95/732.09 c #Conflicts: 465000 | #Constraints: 18756 728.95/732.09 c #Conflicts: 466000 | #Constraints: 19761 728.95/732.09 c #Conflicts: 467000 | #Constraints: 20766 728.95/732.09 c #Conflicts: 468000 | #Constraints: 21769 728.95/732.09 c #Conflicts: 469000 | #Constraints: 22770 728.95/732.09 c #Conflicts: 470000 | #Constraints: 23770 728.95/732.09 c #Conflicts: 471000 | #Constraints: 24773 728.95/732.09 c #Conflicts: 472000 | #Constraints: 25777 728.95/732.09 c #Conflicts: 473000 | #Constraints: 26783 728.95/732.09 c #Conflicts: 474000 | #Constraints: 27785 728.95/732.09 c INPROCESSING 728.95/732.09 c GARBAGE COLLECT 728.95/732.09 c rational objective 5 745.49/748.69 c #Conflicts: 475000 | #Constraints: 15149 745.49/748.69 c #Conflicts: 476000 | #Constraints: 16152 745.49/748.69 c #Conflicts: 477000 | #Constraints: 17158 745.49/748.69 c #Conflicts: 478000 | #Constraints: 18161 745.49/748.69 c #Conflicts: 479000 | #Constraints: 19163 745.49/748.69 c #Conflicts: 480000 | #Constraints: 20166 745.49/748.69 c #Conflicts: 481000 | #Constraints: 21175 745.49/748.69 c #Conflicts: 482000 | #Constraints: 22187 745.49/748.69 c #Conflicts: 483000 | #Constraints: 23190 745.49/748.69 c #Conflicts: 484000 | #Constraints: 24194 745.49/748.69 c #Conflicts: 485000 | #Constraints: 25200 745.49/748.69 c #Conflicts: 486000 | #Constraints: 26202 745.49/748.69 c #Conflicts: 487000 | #Constraints: 27203 745.49/748.69 c #Conflicts: 488000 | #Constraints: 28205 745.49/748.69 c INPROCESSING 745.49/748.69 c GARBAGE COLLECT 745.49/748.69 c rational objective 5 788.34/791.69 c #Conflicts: 489000 | #Constraints: 15349 788.34/791.69 c #Conflicts: 490000 | #Constraints: 16351 788.34/791.69 c #Conflicts: 491000 | #Constraints: 17357 788.34/791.69 c #Conflicts: 492000 | #Constraints: 18362 788.34/791.69 c #Conflicts: 493000 | #Constraints: 19366 788.34/791.69 c #Conflicts: 494000 | #Constraints: 20369 788.34/791.69 c #Conflicts: 495000 | #Constraints: 21374 788.34/791.69 c #Conflicts: 496000 | #Constraints: 22378 788.34/791.69 c #Conflicts: 497000 | #Constraints: 23382 788.34/791.69 c #Conflicts: 498000 | #Constraints: 24385 788.34/791.69 c #Conflicts: 499000 | #Constraints: 25387 788.34/791.69 c #Conflicts: 500000 | #Constraints: 26390 788.34/791.69 c #Conflicts: 501000 | #Constraints: 27393 788.34/791.69 c #Conflicts: 502000 | #Constraints: 28397 788.34/791.69 c INPROCESSING 788.34/791.69 c GARBAGE COLLECT 788.34/791.69 c rational objective 5 814.25/817.61 c #Conflicts: 503000 | #Constraints: 15339 814.25/817.61 c #Conflicts: 504000 | #Constraints: 16344 814.25/817.61 c #Conflicts: 505000 | #Constraints: 17353 814.25/817.61 c #Conflicts: 506000 | #Constraints: 18361 814.25/817.61 c #Conflicts: 507000 | #Constraints: 19369 814.25/817.61 c #Conflicts: 508000 | #Constraints: 20375 814.25/817.61 c #Conflicts: 509000 | #Constraints: 21378 814.25/817.61 c #Conflicts: 510000 | #Constraints: 22386 814.25/817.61 c #Conflicts: 511000 | #Constraints: 23389 814.25/817.61 c #Conflicts: 512000 | #Constraints: 24392 814.25/817.61 c #Conflicts: 513000 | #Constraints: 25398 814.25/817.61 c #Conflicts: 514000 | #Constraints: 26403 814.25/817.61 c #Conflicts: 515000 | #Constraints: 27408 814.25/817.61 c #Conflicts: 516000 | #Constraints: 28417 814.25/817.61 c INPROCESSING 814.25/817.61 c GARBAGE COLLECT 814.25/817.61 c rational objective 5 833.79/837.20 c #Conflicts: 517000 | #Constraints: 15137 833.79/837.20 c #Conflicts: 518000 | #Constraints: 16153 833.79/837.20 c #Conflicts: 519000 | #Constraints: 17160 833.79/837.20 c #Conflicts: 520000 | #Constraints: 18167 833.79/837.20 c #Conflicts: 521000 | #Constraints: 19168 833.79/837.20 c #Conflicts: 522000 | #Constraints: 20173 833.79/837.20 c #Conflicts: 523000 | #Constraints: 21182 833.79/837.20 c #Conflicts: 524000 | #Constraints: 22188 833.79/837.20 c #Conflicts: 525000 | #Constraints: 23190 833.79/837.20 c #Conflicts: 526000 | #Constraints: 24193 833.79/837.20 c #Conflicts: 527000 | #Constraints: 25199 833.79/837.20 c #Conflicts: 528000 | #Constraints: 26205 833.79/837.20 c #Conflicts: 529000 | #Constraints: 27212 833.79/837.20 c #Conflicts: 530000 | #Constraints: 28218 833.79/837.20 c #Conflicts: 531000 | #Constraints: 29220 833.79/837.20 c INPROCESSING 833.79/837.20 c GARBAGE COLLECT 833.79/837.20 c rational objective 5 856.01/859.55 c #Conflicts: 532000 | #Constraints: 15752 856.01/859.55 c #Conflicts: 533000 | #Constraints: 16759 856.01/859.55 c #Conflicts: 534000 | #Constraints: 17766 856.01/859.55 c #Conflicts: 535000 | #Constraints: 18772 856.01/859.55 c #Conflicts: 536000 | #Constraints: 19779 856.01/859.55 c #Conflicts: 537000 | #Constraints: 20786 856.01/859.55 c #Conflicts: 538000 | #Constraints: 21792 856.01/859.55 c #Conflicts: 539000 | #Constraints: 22796 856.01/859.55 c #Conflicts: 540000 | #Constraints: 23799 856.01/859.55 c #Conflicts: 541000 | #Constraints: 24803 856.01/859.55 c #Conflicts: 542000 | #Constraints: 25809 856.01/859.55 c #Conflicts: 543000 | #Constraints: 26814 856.01/859.55 c #Conflicts: 544000 | #Constraints: 27820 856.01/859.55 c #Conflicts: 545000 | #Constraints: 28825 856.01/859.55 c #Conflicts: 546000 | #Constraints: 29840 856.01/859.55 c INPROCESSING 856.01/859.55 c GARBAGE COLLECT 856.01/859.55 c rational objective 5 888.70/892.37 c #Conflicts: 547000 | #Constraints: 16164 888.70/892.37 c #Conflicts: 548000 | #Constraints: 17166 888.70/892.37 c #Conflicts: 549000 | #Constraints: 18167 888.70/892.37 c #Conflicts: 550000 | #Constraints: 19168 888.70/892.37 c #Conflicts: 551000 | #Constraints: 20174 888.70/892.37 c #Conflicts: 552000 | #Constraints: 21187 888.70/892.37 c #Conflicts: 553000 | #Constraints: 22196 888.70/892.37 c #Conflicts: 554000 | #Constraints: 23203 888.70/892.37 c #Conflicts: 555000 | #Constraints: 24209 888.70/892.37 c #Conflicts: 556000 | #Constraints: 25213 888.70/892.37 c #Conflicts: 557000 | #Constraints: 26217 888.70/892.37 c #Conflicts: 558000 | #Constraints: 27220 888.70/892.37 c #Conflicts: 559000 | #Constraints: 28228 888.70/892.37 c #Conflicts: 560000 | #Constraints: 29234 888.70/892.37 c #Conflicts: 561000 | #Constraints: 30239 888.70/892.37 c INPROCESSING 888.70/892.37 c GARBAGE COLLECT 888.70/892.37 c rational objective 5 910.93/914.63 c #Conflicts: 562000 | #Constraints: 16352 910.93/914.63 c #Conflicts: 563000 | #Constraints: 17357 910.93/914.63 c #Conflicts: 564000 | #Constraints: 18359 910.93/914.63 c #Conflicts: 565000 | #Constraints: 19362 910.93/914.63 c #Conflicts: 566000 | #Constraints: 20368 910.93/914.63 c #Conflicts: 567000 | #Constraints: 21377 910.93/914.63 c #Conflicts: 568000 | #Constraints: 22380 910.93/914.63 c #Conflicts: 569000 | #Constraints: 23383 910.93/914.63 c #Conflicts: 570000 | #Constraints: 24388 910.93/914.63 c #Conflicts: 571000 | #Constraints: 25395 910.93/914.63 c #Conflicts: 572000 | #Constraints: 26402 910.93/914.63 c #Conflicts: 573000 | #Constraints: 27406 910.93/914.63 c #Conflicts: 574000 | #Constraints: 28412 910.93/914.63 c #Conflicts: 575000 | #Constraints: 29415 910.93/914.63 c #Conflicts: 576000 | #Constraints: 30419 910.93/914.63 c INPROCESSING 910.93/914.63 c GARBAGE COLLECT 910.93/914.63 c rational objective 5 932.25/936.04 c #Conflicts: 577000 | #Constraints: 16336 932.25/936.04 c #Conflicts: 578000 | #Constraints: 17342 932.25/936.04 c #Conflicts: 579000 | #Constraints: 18345 932.25/936.04 c #Conflicts: 580000 | #Constraints: 19347 932.25/936.04 c #Conflicts: 581000 | #Constraints: 20354 932.25/936.04 c #Conflicts: 582000 | #Constraints: 21360 932.25/936.04 c #Conflicts: 583000 | #Constraints: 22366 932.25/936.04 c #Conflicts: 584000 | #Constraints: 23373 932.25/936.04 c #Conflicts: 585000 | #Constraints: 24376 932.25/936.04 c #Conflicts: 586000 | #Constraints: 25382 932.25/936.04 c #Conflicts: 587000 | #Constraints: 26388 932.25/936.04 c #Conflicts: 588000 | #Constraints: 27399 932.25/936.04 c #Conflicts: 589000 | #Constraints: 28404 932.25/936.04 c #Conflicts: 590000 | #Constraints: 29409 932.25/936.04 c #Conflicts: 591000 | #Constraints: 30415 932.25/936.04 c INPROCESSING 932.25/936.04 c GARBAGE COLLECT 932.25/936.04 c rational objective 5 971.02/974.92 c #Conflicts: 592000 | #Constraints: 16140 971.02/974.92 c #Conflicts: 593000 | #Constraints: 17150 971.02/974.92 c #Conflicts: 594000 | #Constraints: 18157 971.02/974.92 c #Conflicts: 595000 | #Constraints: 19161 971.02/974.92 c #Conflicts: 596000 | #Constraints: 20169 971.02/974.92 c #Conflicts: 597000 | #Constraints: 21176 971.02/974.92 c #Conflicts: 598000 | #Constraints: 22181 971.02/974.92 c #Conflicts: 599000 | #Constraints: 23186 971.02/974.92 c #Conflicts: 600000 | #Constraints: 24192 971.02/974.92 c #Conflicts: 601000 | #Constraints: 25196 971.02/974.92 c #Conflicts: 602000 | #Constraints: 26201 971.02/974.92 c #Conflicts: 603000 | #Constraints: 27206 971.02/974.92 c #Conflicts: 604000 | #Constraints: 28210 971.02/974.92 c #Conflicts: 605000 | #Constraints: 29212 971.02/974.92 c #Conflicts: 606000 | #Constraints: 30213 971.02/974.92 c #Conflicts: 607000 | #Constraints: 31217 971.02/974.92 c INPROCESSING 971.02/974.92 c GARBAGE COLLECT 971.02/974.92 c rational objective 5 1024.82/1028.97 c #Conflicts: 608000 | #Constraints: 16753 1024.82/1028.97 c #Conflicts: 609000 | #Constraints: 17760 1024.82/1028.97 c #Conflicts: 610000 | #Constraints: 18768 1024.82/1028.97 c #Conflicts: 611000 | #Constraints: 19770 1024.82/1028.97 c #Conflicts: 612000 | #Constraints: 20779 1024.82/1028.97 c #Conflicts: 613000 | #Constraints: 21787 1024.82/1028.97 c #Conflicts: 614000 | #Constraints: 22790 1024.82/1028.97 c #Conflicts: 615000 | #Constraints: 23798 1024.82/1028.97 c #Conflicts: 616000 | #Constraints: 24803 1024.82/1028.97 c #Conflicts: 617000 | #Constraints: 25806 1024.82/1028.97 c #Conflicts: 618000 | #Constraints: 26813 1024.82/1028.97 c #Conflicts: 619000 | #Constraints: 27816 1024.82/1028.97 c #Conflicts: 620000 | #Constraints: 28822 1024.82/1028.97 c #Conflicts: 621000 | #Constraints: 29827 1024.82/1028.97 c #Conflicts: 622000 | #Constraints: 30829 1024.82/1028.97 c #Conflicts: 623000 | #Constraints: 31832 1024.82/1028.97 c INPROCESSING 1024.82/1028.97 c GARBAGE COLLECT 1024.82/1028.97 c rational objective 5 1051.84/1056.04 c #Conflicts: 624000 | #Constraints: 17152 1051.84/1056.04 c #Conflicts: 625000 | #Constraints: 18163 1051.84/1056.04 c #Conflicts: 626000 | #Constraints: 19166 1051.84/1056.04 c #Conflicts: 627000 | #Constraints: 20171 1051.84/1056.04 c #Conflicts: 628000 | #Constraints: 21173 1051.84/1056.04 c #Conflicts: 629000 | #Constraints: 22181 1051.84/1056.04 c #Conflicts: 630000 | #Constraints: 23186 1051.84/1056.04 c #Conflicts: 631000 | #Constraints: 24193 1051.84/1056.04 c #Conflicts: 632000 | #Constraints: 25201 1051.84/1056.04 c #Conflicts: 633000 | #Constraints: 26207 1051.84/1056.04 c #Conflicts: 634000 | #Constraints: 27213 1051.84/1056.04 c #Conflicts: 635000 | #Constraints: 28216 1051.84/1056.04 c #Conflicts: 636000 | #Constraints: 29223 1051.84/1056.04 c #Conflicts: 637000 | #Constraints: 30229 1051.84/1056.04 c #Conflicts: 638000 | #Constraints: 31234 1051.84/1056.04 c #Conflicts: 639000 | #Constraints: 32241 1051.84/1056.04 c INPROCESSING 1051.84/1056.04 c GARBAGE COLLECT 1051.84/1056.04 c rational objective 5 1076.75/1081.06 c #Conflicts: 640000 | #Constraints: 17356 1076.75/1081.06 c #Conflicts: 641000 | #Constraints: 18359 1076.75/1081.06 c #Conflicts: 642000 | #Constraints: 19366 1076.75/1081.06 c #Conflicts: 643000 | #Constraints: 20373 1076.75/1081.06 c #Conflicts: 644000 | #Constraints: 21380 1076.75/1081.06 c #Conflicts: 645000 | #Constraints: 22387 1076.75/1081.06 c #Conflicts: 646000 | #Constraints: 23392 1076.75/1081.06 c #Conflicts: 647000 | #Constraints: 24399 1076.75/1081.06 c #Conflicts: 648000 | #Constraints: 25405 1076.75/1081.06 c #Conflicts: 649000 | #Constraints: 26411 1076.75/1081.06 c #Conflicts: 650000 | #Constraints: 27414 1076.75/1081.06 c #Conflicts: 651000 | #Constraints: 28416 1076.75/1081.06 c #Conflicts: 652000 | #Constraints: 29417 1076.75/1081.06 c #Conflicts: 653000 | #Constraints: 30422 1076.75/1081.06 c #Conflicts: 654000 | #Constraints: 31428 1076.75/1081.06 c #Conflicts: 655000 | #Constraints: 32437 1076.75/1081.06 c INPROCESSING 1076.75/1081.06 c GARBAGE COLLECT 1076.75/1081.06 c rational objective 5 1101.46/1105.86 c #Conflicts: 656000 | #Constraints: 17363 1101.46/1105.86 c #Conflicts: 657000 | #Constraints: 18370 1101.46/1105.86 c #Conflicts: 658000 | #Constraints: 19379 1101.46/1105.86 c #Conflicts: 659000 | #Constraints: 20383 1101.46/1105.86 c #Conflicts: 660000 | #Constraints: 21387 1101.46/1105.86 c #Conflicts: 661000 | #Constraints: 22397 1101.46/1105.86 c #Conflicts: 662000 | #Constraints: 23406 1101.46/1105.86 c #Conflicts: 663000 | #Constraints: 24411 1101.46/1105.86 c #Conflicts: 664000 | #Constraints: 25417 1101.46/1105.86 c #Conflicts: 665000 | #Constraints: 26423 1101.46/1105.86 c #Conflicts: 666000 | #Constraints: 27429 1101.46/1105.86 c #Conflicts: 667000 | #Constraints: 28431 1101.46/1105.86 c #Conflicts: 668000 | #Constraints: 29435 1101.46/1105.86 c #Conflicts: 669000 | #Constraints: 30437 1101.46/1105.86 c #Conflicts: 670000 | #Constraints: 31444 1101.46/1105.86 c #Conflicts: 671000 | #Constraints: 32449 1101.46/1105.86 c INPROCESSING 1101.46/1105.86 c GARBAGE COLLECT 1101.46/1105.86 c rational objective 5 1132.45/1136.92 c #Conflicts: 672000 | #Constraints: 17161 1132.45/1136.92 c #Conflicts: 673000 | #Constraints: 18170 1132.45/1136.92 c #Conflicts: 674000 | #Constraints: 19176 1132.45/1136.92 c #Conflicts: 675000 | #Constraints: 20184 1132.45/1136.92 c #Conflicts: 676000 | #Constraints: 21189 1132.45/1136.92 c #Conflicts: 677000 | #Constraints: 22190 1132.45/1136.92 c #Conflicts: 678000 | #Constraints: 23194 1132.45/1136.92 c #Conflicts: 679000 | #Constraints: 24199 1132.45/1136.92 c #Conflicts: 680000 | #Constraints: 25204 1132.45/1136.92 c #Conflicts: 681000 | #Constraints: 26208 1132.45/1136.92 c #Conflicts: 682000 | #Constraints: 27211 1132.45/1136.92 c #Conflicts: 683000 | #Constraints: 28216 1132.45/1136.92 c #Conflicts: 684000 | #Constraints: 29221 1132.45/1136.92 c #Conflicts: 685000 | #Constraints: 30226 1132.45/1136.92 c #Conflicts: 686000 | #Constraints: 31234 1132.45/1136.92 c #Conflicts: 687000 | #Constraints: 32244 1132.45/1136.92 c #Conflicts: 688000 | #Constraints: 33246 1132.45/1136.92 c INPROCESSING 1132.45/1136.92 c GARBAGE COLLECT 1132.45/1136.92 c rational objective 5 1166.22/1170.89 c #Conflicts: 689000 | #Constraints: 17758 1166.22/1170.89 c #Conflicts: 690000 | #Constraints: 18764 1166.22/1170.89 c #Conflicts: 691000 | #Constraints: 19770 1166.22/1170.89 c #Conflicts: 692000 | #Constraints: 20775 1166.22/1170.89 c #Conflicts: 693000 | #Constraints: 21777 1166.22/1170.89 c #Conflicts: 694000 | #Constraints: 22789 1166.22/1170.89 c #Conflicts: 695000 | #Constraints: 23796 1166.22/1170.89 c #Conflicts: 696000 | #Constraints: 24809 1166.22/1170.89 c #Conflicts: 697000 | #Constraints: 25817 1166.22/1170.89 c #Conflicts: 698000 | #Constraints: 26823 1166.22/1170.89 c #Conflicts: 699000 | #Constraints: 27830 1166.22/1170.89 c #Conflicts: 700000 | #Constraints: 28840 1166.22/1170.89 c #Conflicts: 701000 | #Constraints: 29844 1166.22/1170.89 c #Conflicts: 702000 | #Constraints: 30850 1166.22/1170.89 c #Conflicts: 703000 | #Constraints: 31859 1166.22/1170.89 c #Conflicts: 704000 | #Constraints: 32867 1166.22/1170.89 c #Conflicts: 705000 | #Constraints: 33875 1166.22/1170.89 c INPROCESSING 1166.22/1170.89 c GARBAGE COLLECT 1166.22/1170.89 c rational objective 5 1212.65/1217.49 c #Conflicts: 706000 | #Constraints: 18177 1212.65/1217.49 c #Conflicts: 707000 | #Constraints: 19182 1212.65/1217.49 c #Conflicts: 708000 | #Constraints: 20188 1212.65/1217.49 c #Conflicts: 709000 | #Constraints: 21196 1212.65/1217.49 c #Conflicts: 710000 | #Constraints: 22203 1212.65/1217.49 c #Conflicts: 711000 | #Constraints: 23207 1212.65/1217.49 c #Conflicts: 712000 | #Constraints: 24214 1212.65/1217.49 c #Conflicts: 713000 | #Constraints: 25218 1212.65/1217.49 c #Conflicts: 714000 | #Constraints: 26221 1212.65/1217.49 c #Conflicts: 715000 | #Constraints: 27228 1212.65/1217.49 c #Conflicts: 716000 | #Constraints: 28233 1212.65/1217.49 c #Conflicts: 717000 | #Constraints: 29235 1212.65/1217.49 c #Conflicts: 718000 | #Constraints: 30240 1212.65/1217.49 c #Conflicts: 719000 | #Constraints: 31250 1212.65/1217.49 c #Conflicts: 720000 | #Constraints: 32256 1212.65/1217.49 c #Conflicts: 721000 | #Constraints: 33261 1212.65/1217.49 c #Conflicts: 722000 | #Constraints: 34267 1212.65/1217.49 c INPROCESSING 1212.65/1217.49 c GARBAGE COLLECT 1212.65/1217.49 c rational objective 5 1291.18/1296.26 c #Conflicts: 723000 | #Constraints: 18376 1291.18/1296.26 c #Conflicts: 724000 | #Constraints: 19386 1291.18/1296.26 c #Conflicts: 725000 | #Constraints: 20390 1291.18/1296.26 c #Conflicts: 726000 | #Constraints: 21395 1291.18/1296.26 c #Conflicts: 727000 | #Constraints: 22399 1291.18/1296.26 c #Conflicts: 728000 | #Constraints: 23406 1291.18/1296.26 c #Conflicts: 729000 | #Constraints: 24412 1291.18/1296.26 c #Conflicts: 730000 | #Constraints: 25416 1291.18/1296.26 c #Conflicts: 731000 | #Constraints: 26418 1291.18/1296.26 c #Conflicts: 732000 | #Constraints: 27423 1291.18/1296.26 c #Conflicts: 733000 | #Constraints: 28426 1291.18/1296.26 c #Conflicts: 734000 | #Constraints: 29432 1291.18/1296.26 c #Conflicts: 735000 | #Constraints: 30434 1291.18/1296.26 c #Conflicts: 736000 | #Constraints: 31436 1291.18/1296.26 c #Conflicts: 737000 | #Constraints: 32439 1291.18/1296.26 c #Conflicts: 738000 | #Constraints: 33443 1291.18/1296.26 c #Conflicts: 739000 | #Constraints: 34447 1291.18/1296.26 c INPROCESSING 1291.18/1296.26 c GARBAGE COLLECT 1291.18/1296.26 c rational objective 5 1327.96/1333.19 c #Conflicts: 740000 | #Constraints: 18356 1327.96/1333.19 c #Conflicts: 741000 | #Constraints: 19360 1327.96/1333.19 c #Conflicts: 742000 | #Constraints: 20360 1327.96/1333.19 c #Conflicts: 743000 | #Constraints: 21362 1327.96/1333.19 c #Conflicts: 744000 | #Constraints: 22366 1327.96/1333.19 c #Conflicts: 745000 | #Constraints: 23370 1327.96/1333.19 c #Conflicts: 746000 | #Constraints: 24373 1327.96/1333.19 c #Conflicts: 747000 | #Constraints: 25373 1327.96/1333.19 c #Conflicts: 748000 | #Constraints: 26373 1327.96/1333.19 c #Conflicts: 749000 | #Constraints: 27373 1327.96/1333.19 c #Conflicts: 750000 | #Constraints: 28373 1327.96/1333.19 c #Conflicts: 751000 | #Constraints: 29374 1327.96/1333.19 c #Conflicts: 752000 | #Constraints: 30380 1327.96/1333.19 c #Conflicts: 753000 | #Constraints: 31389 1327.96/1333.19 c #Conflicts: 754000 | #Constraints: 32394 1327.96/1333.19 c #Conflicts: 755000 | #Constraints: 33398 1327.96/1333.19 c #Conflicts: 756000 | #Constraints: 34403 1327.96/1333.19 c INPROCESSING 1327.96/1333.19 c GARBAGE COLLECT 1327.96/1333.19 c rational objective 5 1352.87/1358.18 c #Conflicts: 757000 | #Constraints: 18143 1352.87/1358.18 c #Conflicts: 758000 | #Constraints: 19150 1352.87/1358.18 c #Conflicts: 759000 | #Constraints: 20155 1352.87/1358.18 c #Conflicts: 760000 | #Constraints: 21163 1352.87/1358.18 c #Conflicts: 761000 | #Constraints: 22168 1352.87/1358.18 c #Conflicts: 762000 | #Constraints: 23173 1352.87/1358.18 c #Conflicts: 763000 | #Constraints: 24177 1352.87/1358.18 c #Conflicts: 764000 | #Constraints: 25178 1352.87/1358.18 c #Conflicts: 765000 | #Constraints: 26183 1352.87/1358.18 c #Conflicts: 766000 | #Constraints: 27192 1352.87/1358.18 c #Conflicts: 767000 | #Constraints: 28199 1352.87/1358.18 c #Conflicts: 768000 | #Constraints: 29204 1352.87/1358.18 c #Conflicts: 769000 | #Constraints: 30211 1352.87/1358.18 c #Conflicts: 770000 | #Constraints: 31216 1352.87/1358.18 c #Conflicts: 771000 | #Constraints: 32219 1352.87/1358.18 c #Conflicts: 772000 | #Constraints: 33224 1352.87/1358.18 c #Conflicts: 773000 | #Constraints: 34229 1352.87/1358.18 c #Conflicts: 774000 | #Constraints: 35234 1352.87/1358.18 c INPROCESSING 1352.87/1358.18 c GARBAGE COLLECT 1352.87/1358.18 c rational objective 5 1379.48/1384.81 c #Conflicts: 775000 | #Constraints: 18755 1379.48/1384.81 c #Conflicts: 776000 | #Constraints: 19764 1379.48/1384.81 c #Conflicts: 777000 | #Constraints: 20770 1379.48/1384.81 c #Conflicts: 778000 | #Constraints: 21776 1379.48/1384.81 c #Conflicts: 779000 | #Constraints: 22783 1379.48/1384.81 c #Conflicts: 780000 | #Constraints: 23791 1379.48/1384.81 c #Conflicts: 781000 | #Constraints: 24796 1379.48/1384.81 c #Conflicts: 782000 | #Constraints: 25798 1379.48/1384.81 c #Conflicts: 783000 | #Constraints: 26800 1379.48/1384.81 c #Conflicts: 784000 | #Constraints: 27804 1379.48/1384.81 c #Conflicts: 785000 | #Constraints: 28806 1379.48/1384.81 c #Conflicts: 786000 | #Constraints: 29809 1379.48/1384.81 c #Conflicts: 787000 | #Constraints: 30818 1379.48/1384.81 c #Conflicts: 788000 | #Constraints: 31825 1379.48/1384.81 c #Conflicts: 789000 | #Constraints: 32831 1379.48/1384.81 c #Conflicts: 790000 | #Constraints: 33838 1379.48/1384.81 c #Conflicts: 791000 | #Constraints: 34846 1379.48/1384.81 c #Conflicts: 792000 | #Constraints: 35854 1379.48/1384.81 c INPROCESSING 1379.48/1384.81 c GARBAGE COLLECT 1379.48/1384.81 c rational objective 5 1410.76/1416.22 c #Conflicts: 793000 | #Constraints: 19170 1410.76/1416.22 c #Conflicts: 794000 | #Constraints: 20172 1410.76/1416.22 c #Conflicts: 795000 | #Constraints: 21178 1410.76/1416.22 c #Conflicts: 796000 | #Constraints: 22185 1410.76/1416.22 c #Conflicts: 797000 | #Constraints: 23193 1410.76/1416.22 c #Conflicts: 798000 | #Constraints: 24198 1410.76/1416.22 c #Conflicts: 799000 | #Constraints: 25204 1410.76/1416.22 c #Conflicts: 800000 | #Constraints: 26208 1410.76/1416.22 c #Conflicts: 801000 | #Constraints: 27213 1410.76/1416.22 c #Conflicts: 802000 | #Constraints: 28219 1410.76/1416.22 c #Conflicts: 803000 | #Constraints: 29226 1410.76/1416.22 c #Conflicts: 804000 | #Constraints: 30236 1410.76/1416.22 c #Conflicts: 805000 | #Constraints: 31262 1410.76/1416.22 c #Conflicts: 806000 | #Constraints: 32273 1410.76/1416.22 c #Conflicts: 807000 | #Constraints: 33285 1410.76/1416.22 c #Conflicts: 808000 | #Constraints: 34290 1410.76/1416.22 c #Conflicts: 809000 | #Constraints: 35294 1410.76/1416.22 c #Conflicts: 810000 | #Constraints: 36302 1410.76/1416.22 c INPROCESSING 1410.76/1416.22 c GARBAGE COLLECT 1410.76/1416.22 c rational objective 5 1441.57/1447.10 c #Conflicts: 811000 | #Constraints: 19389 1441.57/1447.10 c #Conflicts: 812000 | #Constraints: 20397 1441.57/1447.10 c #Conflicts: 813000 | #Constraints: 21402 1441.57/1447.10 c #Conflicts: 814000 | #Constraints: 22410 1441.57/1447.10 c #Conflicts: 815000 | #Constraints: 23423 1441.57/1447.10 c #Conflicts: 816000 | #Constraints: 24429 1441.57/1447.10 c #Conflicts: 817000 | #Constraints: 25432 1441.57/1447.10 c #Conflicts: 818000 | #Constraints: 26437 1441.57/1447.10 c #Conflicts: 819000 | #Constraints: 27447 1441.57/1447.10 c #Conflicts: 820000 | #Constraints: 28455 1441.57/1447.10 c #Conflicts: 821000 | #Constraints: 29470 1441.57/1447.10 c #Conflicts: 822000 | #Constraints: 30481 1441.57/1447.10 c #Conflicts: 823000 | #Constraints: 31486 1441.57/1447.10 c #Conflicts: 824000 | #Constraints: 32490 1441.57/1447.10 c #Conflicts: 825000 | #Constraints: 33498 1441.57/1447.10 c #Conflicts: 826000 | #Constraints: 34503 1441.57/1447.10 c #Conflicts: 827000 | #Constraints: 35507 1441.57/1447.10 c #Conflicts: 828000 | #Constraints: 36511 1441.57/1447.10 c INPROCESSING 1441.57/1447.10 c GARBAGE COLLECT 1441.57/1447.10 c rational objective 5 1506.45/1512.25 c #Conflicts: 829000 | #Constraints: 19409 1506.45/1512.25 c #Conflicts: 830000 | #Constraints: 20437 1506.45/1512.25 c #Conflicts: 831000 | #Constraints: 21454 1506.45/1512.25 c #Conflicts: 832000 | #Constraints: 22457 1506.45/1512.25 c #Conflicts: 833000 | #Constraints: 23466 1506.45/1512.25 c #Conflicts: 834000 | #Constraints: 24473 1506.45/1512.25 c #Conflicts: 835000 | #Constraints: 25477 1506.45/1512.25 c #Conflicts: 836000 | #Constraints: 26481 1506.45/1512.25 c #Conflicts: 837000 | #Constraints: 27486 1506.45/1512.25 c #Conflicts: 838000 | #Constraints: 28489 1506.45/1512.25 c #Conflicts: 839000 | #Constraints: 29496 1506.45/1512.25 c #Conflicts: 840000 | #Constraints: 30501 1506.45/1512.25 c #Conflicts: 841000 | #Constraints: 31501 1506.45/1512.25 c #Conflicts: 842000 | #Constraints: 32504 1506.45/1512.25 c #Conflicts: 843000 | #Constraints: 33509 1506.45/1512.25 c #Conflicts: 844000 | #Constraints: 34511 1506.45/1512.25 c #Conflicts: 845000 | #Constraints: 35514 1506.45/1512.25 c #Conflicts: 846000 | #Constraints: 36518 1506.45/1512.25 c INPROCESSING 1506.45/1512.25 c GARBAGE COLLECT 1506.45/1512.25 c rational objective 5 1541.73/1547.62 c #Conflicts: 847000 | #Constraints: 19199 1541.73/1547.62 c #Conflicts: 848000 | #Constraints: 20202 1541.73/1547.62 c #Conflicts: 849000 | #Constraints: 21206 1541.73/1547.62 c #Conflicts: 850000 | #Constraints: 22213 1541.73/1547.62 c #Conflicts: 851000 | #Constraints: 23220 1541.73/1547.62 c #Conflicts: 852000 | #Constraints: 24230 1541.73/1547.62 c #Conflicts: 853000 | #Constraints: 25235 1541.73/1547.62 c #Conflicts: 854000 | #Constraints: 26239 1541.73/1547.62 c #Conflicts: 855000 | #Constraints: 27244 1541.73/1547.62 c #Conflicts: 856000 | #Constraints: 28250 1541.73/1547.62 c #Conflicts: 857000 | #Constraints: 29257 1541.73/1547.62 c #Conflicts: 858000 | #Constraints: 30267 1541.73/1547.62 c #Conflicts: 859000 | #Constraints: 31272 1541.73/1547.62 c #Conflicts: 860000 | #Constraints: 32281 1541.73/1547.62 c #Conflicts: 861000 | #Constraints: 33286 1541.73/1547.62 c #Conflicts: 862000 | #Constraints: 34293 1541.73/1547.62 c #Conflicts: 863000 | #Constraints: 35305 1541.73/1547.62 c #Conflicts: 864000 | #Constraints: 36311 1541.73/1547.62 c #Conflicts: 865000 | #Constraints: 37317 1541.73/1547.62 c INPROCESSING 1541.73/1547.62 c GARBAGE COLLECT 1541.73/1547.62 c rational objective 5 1578.20/1584.29 c #Conflicts: 866000 | #Constraints: 19802 1578.20/1584.29 c #Conflicts: 867000 | #Constraints: 20806 1578.20/1584.29 c #Conflicts: 868000 | #Constraints: 21812 1578.20/1584.29 c #Conflicts: 869000 | #Constraints: 22817 1578.20/1584.29 c #Conflicts: 870000 | #Constraints: 23825 1578.20/1584.29 c #Conflicts: 871000 | #Constraints: 24832 1578.20/1584.29 c #Conflicts: 872000 | #Constraints: 25840 1578.20/1584.29 c #Conflicts: 873000 | #Constraints: 26849 1578.20/1584.29 c #Conflicts: 874000 | #Constraints: 27856 1578.20/1584.29 c #Conflicts: 875000 | #Constraints: 28857 1578.20/1584.29 c #Conflicts: 876000 | #Constraints: 29862 1578.20/1584.29 c #Conflicts: 877000 | #Constraints: 30872 1578.20/1584.29 c #Conflicts: 878000 | #Constraints: 31877 1578.20/1584.29 c #Conflicts: 879000 | #Constraints: 32879 1578.20/1584.29 c #Conflicts: 880000 | #Constraints: 33885 1578.20/1584.29 c #Conflicts: 881000 | #Constraints: 34889 1578.20/1584.29 c #Conflicts: 882000 | #Constraints: 35894 1578.20/1584.29 c #Conflicts: 883000 | #Constraints: 36899 1578.20/1584.29 c #Conflicts: 884000 | #Constraints: 37903 1578.20/1584.29 c INPROCESSING 1578.20/1584.29 c GARBAGE COLLECT 1578.20/1584.29 c rational objective 5 1623.54/1629.77 c #Conflicts: 885000 | #Constraints: 20189 1623.54/1629.77 c #Conflicts: 886000 | #Constraints: 21194 1623.54/1629.77 c #Conflicts: 887000 | #Constraints: 22197 1623.54/1629.77 c #Conflicts: 888000 | #Constraints: 23202 1623.54/1629.77 c #Conflicts: 889000 | #Constraints: 24206 1623.54/1629.77 c #Conflicts: 890000 | #Constraints: 25208 1623.54/1629.77 c #Conflicts: 891000 | #Constraints: 26214 1623.54/1629.77 c #Conflicts: 892000 | #Constraints: 27222 1623.54/1629.77 c #Conflicts: 893000 | #Constraints: 28233 1623.54/1629.77 c #Conflicts: 894000 | #Constraints: 29243 1623.54/1629.77 c #Conflicts: 895000 | #Constraints: 30246 1623.54/1629.77 c #Conflicts: 896000 | #Constraints: 31252 1623.54/1629.77 c #Conflicts: 897000 | #Constraints: 32264 1623.54/1629.77 c #Conflicts: 898000 | #Constraints: 33271 1623.54/1629.77 c #Conflicts: 899000 | #Constraints: 34281 1623.54/1629.77 c #Conflicts: 900000 | #Constraints: 35286 1623.54/1629.77 c #Conflicts: 901000 | #Constraints: 36291 1623.54/1629.77 c #Conflicts: 902000 | #Constraints: 37295 1623.54/1629.77 c #Conflicts: 903000 | #Constraints: 38298 1623.54/1629.77 c INPROCESSING 1623.54/1629.77 c GARBAGE COLLECT 1623.54/1629.77 c rational objective 5 1663.60/1669.91 c #Conflicts: 904000 | #Constraints: 20383 1663.60/1669.91 c #Conflicts: 905000 | #Constraints: 21388 1663.60/1669.91 c #Conflicts: 906000 | #Constraints: 22393 1663.60/1669.91 c #Conflicts: 907000 | #Constraints: 23396 1663.60/1669.91 c #Conflicts: 908000 | #Constraints: 24400 1663.60/1669.91 c #Conflicts: 909000 | #Constraints: 25405 1663.60/1669.91 c #Conflicts: 910000 | #Constraints: 26409 1663.60/1669.91 c #Conflicts: 911000 | #Constraints: 27415 1663.60/1669.91 c #Conflicts: 912000 | #Constraints: 28421 1663.60/1669.91 c #Conflicts: 913000 | #Constraints: 29430 1663.60/1669.91 c #Conflicts: 914000 | #Constraints: 30433 1663.60/1669.91 c #Conflicts: 915000 | #Constraints: 31436 1663.60/1669.91 c #Conflicts: 916000 | #Constraints: 32442 1663.60/1669.91 c #Conflicts: 917000 | #Constraints: 33443 1663.60/1669.91 c #Conflicts: 918000 | #Constraints: 34450 1663.60/1669.91 c #Conflicts: 919000 | #Constraints: 35452 1663.60/1669.91 c #Conflicts: 920000 | #Constraints: 36459 1663.60/1669.91 c #Conflicts: 921000 | #Constraints: 37472 1663.60/1669.91 c #Conflicts: 922000 | #Constraints: 38477 1663.60/1669.91 c INPROCESSING 1663.60/1669.91 c GARBAGE COLLECT 1663.60/1669.91 c rational objective 5 1715.41/1721.98 c #Conflicts: 923000 | #Constraints: 20381 1715.41/1721.98 c #Conflicts: 924000 | #Constraints: 21388 1715.41/1721.98 c #Conflicts: 925000 | #Constraints: 22390 1715.41/1721.98 c #Conflicts: 926000 | #Constraints: 23399 1715.41/1721.98 c #Conflicts: 927000 | #Constraints: 24405 1715.41/1721.98 c #Conflicts: 928000 | #Constraints: 25408 1715.41/1721.98 c #Conflicts: 929000 | #Constraints: 26415 1715.41/1721.98 c #Conflicts: 930000 | #Constraints: 27417 1715.41/1721.98 c #Conflicts: 931000 | #Constraints: 28420 1715.41/1721.98 c #Conflicts: 932000 | #Constraints: 29423 1715.41/1721.98 c #Conflicts: 933000 | #Constraints: 30425 1715.41/1721.98 c #Conflicts: 934000 | #Constraints: 31428 1715.41/1721.98 c #Conflicts: 935000 | #Constraints: 32431 1715.41/1721.98 c #Conflicts: 936000 | #Constraints: 33442 1715.41/1721.98 c #Conflicts: 937000 | #Constraints: 34449 1715.41/1721.98 c #Conflicts: 938000 | #Constraints: 35456 1715.41/1721.98 c #Conflicts: 939000 | #Constraints: 36462 1715.41/1721.98 c #Conflicts: 940000 | #Constraints: 37468 1715.41/1721.98 c #Conflicts: 941000 | #Constraints: 38477 1715.41/1721.98 c INPROCESSING 1715.41/1721.98 c GARBAGE COLLECT 1715.41/1721.98 c rational objective 5 1772.17/1778.93 c #Conflicts: 942000 | #Constraints: 20177 1772.17/1778.93 c #Conflicts: 943000 | #Constraints: 21182 1772.17/1778.93 c #Conflicts: 944000 | #Constraints: 22190 1772.17/1778.93 c #Conflicts: 945000 | #Constraints: 23196 1772.17/1778.93 c #Conflicts: 946000 | #Constraints: 24200 1772.17/1778.93 c #Conflicts: 947000 | #Constraints: 25204 1772.17/1778.93 c #Conflicts: 948000 | #Constraints: 26207 1772.17/1778.93 c #Conflicts: 949000 | #Constraints: 27214 1772.17/1778.93 c #Conflicts: 950000 | #Constraints: 28218 1772.17/1778.93 c #Conflicts: 951000 | #Constraints: 29222 1772.17/1778.93 c #Conflicts: 952000 | #Constraints: 30226 1772.17/1778.93 c #Conflicts: 953000 | #Constraints: 31233 1772.17/1778.93 c #Conflicts: 954000 | #Constraints: 32236 1772.17/1778.93 c #Conflicts: 955000 | #Constraints: 33240 1772.17/1778.93 c #Conflicts: 956000 | #Constraints: 34243 1772.17/1778.93 c #Conflicts: 957000 | #Constraints: 35247 1772.17/1778.93 c #Conflicts: 958000 | #Constraints: 36249 1772.17/1778.93 c #Conflicts: 959000 | #Constraints: 37252 1772.17/1778.93 c #Conflicts: 960000 | #Constraints: 38255 1772.17/1778.93 c #Conflicts: 961000 | #Constraints: 39258 1772.17/1778.93 c INPROCESSING 1772.17/1778.93 c GARBAGE COLLECT 1772.17/1778.93 c rational objective 5 1840.93/1847.99 c #Conflicts: 962000 | #Constraints: 20778 1840.93/1847.99 c #Conflicts: 963000 | #Constraints: 21784 1840.93/1847.99 c #Conflicts: 964000 | #Constraints: 22787 1840.93/1847.99 c #Conflicts: 965000 | #Constraints: 23792 1840.93/1847.99 c #Conflicts: 966000 | #Constraints: 24793 1840.93/1847.99 c #Conflicts: 967000 | #Constraints: 25798 1840.93/1847.99 c #Conflicts: 968000 | #Constraints: 26799 1840.93/1847.99 c #Conflicts: 969000 | #Constraints: 27806 1840.93/1847.99 c #Conflicts: 970000 | #Constraints: 28811 1840.93/1847.99 c #Conflicts: 971000 | #Constraints: 29816 1840.93/1847.99 c #Conflicts: 972000 | #Constraints: 30820 1840.93/1847.99 c #Conflicts: 973000 | #Constraints: 31825 1840.93/1847.99 c #Conflicts: 974000 | #Constraints: 32827 1840.93/1847.99 c #Conflicts: 975000 | #Constraints: 33830 1840.93/1847.99 c #Conflicts: 976000 | #Constraints: 34833 1840.93/1847.99 c #Conflicts: 977000 | #Constraints: 35837 1840.93/1847.99 c #Conflicts: 978000 | #Constraints: 36844 1840.93/1847.99 c #Conflicts: 979000 | #Constraints: 37849 1840.93/1847.99 c #Conflicts: 980000 | #Constraints: 38853 1840.93/1847.99 c #Conflicts: 981000 | #Constraints: 39855 1840.93/1847.99 c INPROCESSING 1840.93/1847.99 c GARBAGE COLLECT 1840.93/1847.99 c rational objective 5 1920.13/1927.48 c #Conflicts: 982000 | #Constraints: 21159 1920.13/1927.48 c #Conflicts: 983000 | #Constraints: 22167 1920.13/1927.48 c #Conflicts: 984000 | #Constraints: 23173 1920.13/1927.48 c #Conflicts: 985000 | #Constraints: 24182 1920.13/1927.48 c #Conflicts: 986000 | #Constraints: 25190 1920.13/1927.48 c #Conflicts: 987000 | #Constraints: 26196 1920.13/1927.48 c #Conflicts: 988000 | #Constraints: 27200 1920.13/1927.48 c #Conflicts: 989000 | #Constraints: 28204 1920.13/1927.48 c #Conflicts: 990000 | #Constraints: 29207 1920.13/1927.48 c #Conflicts: 991000 | #Constraints: 30210 1920.13/1927.48 c #Conflicts: 992000 | #Constraints: 31214 1920.13/1927.48 c #Conflicts: 993000 | #Constraints: 32217 1920.13/1927.48 c #Conflicts: 994000 | #Constraints: 33223 1920.13/1927.48 c #Conflicts: 995000 | #Constraints: 34227 1920.13/1927.48 c #Conflicts: 996000 | #Constraints: 35232 1920.13/1927.48 c #Conflicts: 997000 | #Constraints: 36236 1920.13/1927.48 c #Conflicts: 998000 | #Constraints: 37239 1920.13/1927.48 c #Conflicts: 999000 | #Constraints: 38243 1920.13/1927.48 c #Conflicts: 1000000 | #Constraints: 39248 1920.13/1927.48 c #Conflicts: 1001000 | #Constraints: 40251 1920.13/1927.48 c INPROCESSING 1920.13/1927.48 c GARBAGE COLLECT 1920.13/1927.48 c rational objective 5 1993.45/2001.02 c #Conflicts: 1002000 | #Constraints: 21364 1993.45/2001.02 c #Conflicts: 1003000 | #Constraints: 22368 1993.45/2001.02 c #Conflicts: 1004000 | #Constraints: 23374 1993.45/2001.02 c #Conflicts: 1005000 | #Constraints: 24380 1993.45/2001.02 c #Conflicts: 1006000 | #Constraints: 25383 1993.45/2001.02 c #Conflicts: 1007000 | #Constraints: 26386 1993.45/2001.02 c #Conflicts: 1008000 | #Constraints: 27389 1993.45/2001.02 c #Conflicts: 1009000 | #Constraints: 28395 1993.45/2001.02 c #Conflicts: 1010000 | #Constraints: 29401 1993.45/2001.02 c #Conflicts: 1011000 | #Constraints: 30408 1993.45/2001.02 c #Conflicts: 1012000 | #Constraints: 31414 1993.45/2001.02 c #Conflicts: 1013000 | #Constraints: 32418 1993.45/2001.02 c #Conflicts: 1014000 | #Constraints: 33421 1993.45/2001.02 c #Conflicts: 1015000 | #Constraints: 34425 1993.45/2001.02 c #Conflicts: 1016000 | #Constraints: 35427 1993.45/2001.02 c #Conflicts: 1017000 | #Constraints: 36432 1993.45/2001.02 c #Conflicts: 1018000 | #Constraints: 37441 1993.45/2001.02 c #Conflicts: 1019000 | #Constraints: 38446 1993.45/2001.02 c #Conflicts: 1020000 | #Constraints: 39452 1993.45/2001.02 c #Conflicts: 1021000 | #Constraints: 40459 1993.45/2001.02 c INPROCESSING 1993.45/2001.02 c GARBAGE COLLECT 1993.45/2001.02 c rational objective 5 2081.41/2089.30 c #Conflicts: 1022000 | #Constraints: 21364 2081.41/2089.30 c #Conflicts: 1023000 | #Constraints: 22369 2081.41/2089.30 c #Conflicts: 1024000 | #Constraints: 23375 2081.41/2089.30 c #Conflicts: 1025000 | #Constraints: 24381 2081.41/2089.30 c #Conflicts: 1026000 | #Constraints: 25389 2081.41/2089.30 c #Conflicts: 1027000 | #Constraints: 26396 2081.41/2089.30 c #Conflicts: 1028000 | #Constraints: 27401 2081.41/2089.30 c #Conflicts: 1029000 | #Constraints: 28410 2081.41/2089.30 c #Conflicts: 1030000 | #Constraints: 29412 2081.41/2089.30 c #Conflicts: 1031000 | #Constraints: 30417 2081.41/2089.30 c #Conflicts: 1032000 | #Constraints: 31419 2081.41/2089.30 c #Conflicts: 1033000 | #Constraints: 32422 2081.41/2089.30 c #Conflicts: 1034000 | #Constraints: 33425 2081.41/2089.30 c #Conflicts: 1035000 | #Constraints: 34426 2081.41/2089.30 c #Conflicts: 1036000 | #Constraints: 35429 2081.41/2089.30 c #Conflicts: 1037000 | #Constraints: 36430 2081.41/2089.30 c #Conflicts: 1038000 | #Constraints: 37431 2081.41/2089.30 c #Conflicts: 1039000 | #Constraints: 38434 2081.41/2089.30 c #Conflicts: 1040000 | #Constraints: 39435 2081.41/2089.30 c #Conflicts: 1041000 | #Constraints: 40438 2081.41/2089.30 c INPROCESSING 2081.41/2089.30 c GARBAGE COLLECT 2081.41/2089.30 c rational objective 5 2195.42/2203.82 c #Conflicts: 1042000 | #Constraints: 21176 2195.42/2203.82 c #Conflicts: 1043000 | #Constraints: 22181 2195.42/2203.82 c #Conflicts: 1044000 | #Constraints: 23186 2195.42/2203.82 c #Conflicts: 1045000 | #Constraints: 24192 2195.42/2203.82 c #Conflicts: 1046000 | #Constraints: 25198 2195.42/2203.82 c #Conflicts: 1047000 | #Constraints: 26201 2195.42/2203.82 c #Conflicts: 1048000 | #Constraints: 27204 2195.42/2203.82 c #Conflicts: 1049000 | #Constraints: 28208 2195.42/2203.82 c #Conflicts: 1050000 | #Constraints: 29210 2195.42/2203.82 c #Conflicts: 1051000 | #Constraints: 30216 2195.42/2203.82 c #Conflicts: 1052000 | #Constraints: 31220 2195.42/2203.82 c #Conflicts: 1053000 | #Constraints: 32223 2195.42/2203.82 c #Conflicts: 1054000 | #Constraints: 33228 2195.42/2203.82 c #Conflicts: 1055000 | #Constraints: 34231 2195.42/2203.82 c #Conflicts: 1056000 | #Constraints: 35233 2195.42/2203.82 c #Conflicts: 1057000 | #Constraints: 36236 2195.42/2203.82 c #Conflicts: 1058000 | #Constraints: 37243 2195.42/2203.82 c #Conflicts: 1059000 | #Constraints: 38246 2195.42/2203.82 c #Conflicts: 1060000 | #Constraints: 39249 2195.42/2203.82 c #Conflicts: 1061000 | #Constraints: 40252 2195.42/2203.82 c #Conflicts: 1062000 | #Constraints: 41255 2195.42/2203.82 c INPROCESSING 2195.42/2203.82 c GARBAGE COLLECT 2195.42/2203.82 c rational objective 5 2276.90/2285.62 c #Conflicts: 1063000 | #Constraints: 21780 2276.90/2285.62 c #Conflicts: 1064000 | #Constraints: 22788 2276.90/2285.62 c #Conflicts: 1065000 | #Constraints: 23795 2276.90/2285.62 c #Conflicts: 1066000 | #Constraints: 24801 2276.90/2285.62 c #Conflicts: 1067000 | #Constraints: 25807 2276.90/2285.62 c #Conflicts: 1068000 | #Constraints: 26812 2276.90/2285.62 c #Conflicts: 1069000 | #Constraints: 27817 2276.90/2285.62 c #Conflicts: 1070000 | #Constraints: 28822 2276.90/2285.62 c #Conflicts: 1071000 | #Constraints: 29826 2276.90/2285.62 c #Conflicts: 1072000 | #Constraints: 30830 2276.90/2285.62 c #Conflicts: 1073000 | #Constraints: 31836 2276.90/2285.62 c #Conflicts: 1074000 | #Constraints: 32842 2276.90/2285.62 c #Conflicts: 1075000 | #Constraints: 33847 2276.90/2285.62 c #Conflicts: 1076000 | #Constraints: 34851 2276.90/2285.62 c #Conflicts: 1077000 | #Constraints: 35855 2276.90/2285.62 c #Conflicts: 1078000 | #Constraints: 36860 2276.90/2285.62 c #Conflicts: 1079000 | #Constraints: 37863 2276.90/2285.62 c #Conflicts: 1080000 | #Constraints: 38868 2276.90/2285.62 c #Conflicts: 1081000 | #Constraints: 39874 2276.90/2285.62 c #Conflicts: 1082000 | #Constraints: 40876 2276.90/2285.62 c #Conflicts: 1083000 | #Constraints: 41881 2276.90/2285.62 c INPROCESSING 2276.90/2285.62 c GARBAGE COLLECT 2276.90/2285.62 c rational objective 5 2410.07/2419.20 c #Conflicts: 1084000 | #Constraints: 22196 2410.07/2419.20 c #Conflicts: 1085000 | #Constraints: 23200 2410.07/2419.20 c #Conflicts: 1086000 | #Constraints: 24206 2410.07/2419.20 c #Conflicts: 1087000 | #Constraints: 25210 2410.07/2419.20 c #Conflicts: 1088000 | #Constraints: 26214 2410.07/2419.20 c #Conflicts: 1089000 | #Constraints: 27219 2410.07/2419.20 c #Conflicts: 1090000 | #Constraints: 28225 2410.07/2419.20 c #Conflicts: 1091000 | #Constraints: 29228 2410.07/2419.20 c #Conflicts: 1092000 | #Constraints: 30231 2410.07/2419.20 c #Conflicts: 1093000 | #Constraints: 31235 2410.07/2419.20 c #Conflicts: 1094000 | #Constraints: 32239 2410.07/2419.20 c #Conflicts: 1095000 | #Constraints: 33242 2410.07/2419.20 c #Conflicts: 1096000 | #Constraints: 34244 2410.07/2419.20 c #Conflicts: 1097000 | #Constraints: 35247 2410.07/2419.20 c #Conflicts: 1098000 | #Constraints: 36249 2410.07/2419.20 c #Conflicts: 1099000 | #Constraints: 37252 2410.07/2419.20 c #Conflicts: 1100000 | #Constraints: 38254 2410.07/2419.20 c #Conflicts: 1101000 | #Constraints: 39255 2410.07/2419.20 c #Conflicts: 1102000 | #Constraints: 40259 2410.07/2419.20 c #Conflicts: 1103000 | #Constraints: 41260 2410.07/2419.20 c #Conflicts: 1104000 | #Constraints: 42261 2410.07/2419.20 c INPROCESSING 2410.07/2419.20 c GARBAGE COLLECT 2410.07/2419.20 c rational objective 5 2493.29/2502.74 c #Conflicts: 1105000 | #Constraints: 22388 2493.29/2502.74 c #Conflicts: 1106000 | #Constraints: 23395 2493.29/2502.74 c #Conflicts: 1107000 | #Constraints: 24402 2493.29/2502.74 c #Conflicts: 1108000 | #Constraints: 25405 2493.29/2502.74 c #Conflicts: 1109000 | #Constraints: 26410 2493.29/2502.74 c #Conflicts: 1110000 | #Constraints: 27415 2493.29/2502.74 c #Conflicts: 1111000 | #Constraints: 28417 2493.29/2502.74 c #Conflicts: 1112000 | #Constraints: 29423 2493.29/2502.74 c #Conflicts: 1113000 | #Constraints: 30426 2493.29/2502.74 c #Conflicts: 1114000 | #Constraints: 31429 2493.29/2502.74 c #Conflicts: 1115000 | #Constraints: 32431 2493.29/2502.74 c #Conflicts: 1116000 | #Constraints: 33435 2493.29/2502.74 c #Conflicts: 1117000 | #Constraints: 34438 2493.29/2502.74 c #Conflicts: 1118000 | #Constraints: 35442 2493.29/2502.74 c #Conflicts: 1119000 | #Constraints: 36444 2493.29/2502.74 c #Conflicts: 1120000 | #Constraints: 37445 2493.29/2502.74 c #Conflicts: 1121000 | #Constraints: 38450 2493.29/2502.74 c #Conflicts: 1122000 | #Constraints: 39450 2493.29/2502.74 c #Conflicts: 1123000 | #Constraints: 40453 2493.29/2502.74 c #Conflicts: 1124000 | #Constraints: 41461 2493.29/2502.74 c #Conflicts: 1125000 | #Constraints: 42461 2493.29/2502.74 c INPROCESSING 2493.29/2502.74 c GARBAGE COLLECT 2493.29/2502.74 c rational objective 5 2530.76/2540.35 c #Conflicts: 1126000 | #Constraints: 22382 2530.76/2540.35 c #Conflicts: 1127000 | #Constraints: 23387 2530.76/2540.35 c #Conflicts: 1128000 | #Constraints: 24390 2530.76/2540.35 c #Conflicts: 1129000 | #Constraints: 25393 2530.76/2540.35 c #Conflicts: 1130000 | #Constraints: 26396 2530.76/2540.35 c #Conflicts: 1131000 | #Constraints: 27400 2530.76/2540.35 c #Conflicts: 1132000 | #Constraints: 28407 2530.76/2540.35 c #Conflicts: 1133000 | #Constraints: 29415 2530.76/2540.35 c #Conflicts: 1134000 | #Constraints: 30422 2530.76/2540.35 c #Conflicts: 1135000 | #Constraints: 31424 2530.76/2540.35 c #Conflicts: 1136000 | #Constraints: 32430 2530.76/2540.35 c #Conflicts: 1137000 | #Constraints: 33435 2530.76/2540.35 c #Conflicts: 1138000 | #Constraints: 34438 2530.76/2540.35 c #Conflicts: 1139000 | #Constraints: 35448 2530.76/2540.35 c #Conflicts: 1140000 | #Constraints: 36450 2530.76/2540.35 c #Conflicts: 1141000 | #Constraints: 37455 2530.76/2540.35 c #Conflicts: 1142000 | #Constraints: 38463 2530.76/2540.35 c #Conflicts: 1143000 | #Constraints: 39467 2530.76/2540.35 c #Conflicts: 1144000 | #Constraints: 40474 2530.76/2540.35 c #Conflicts: 1145000 | #Constraints: 41478 2530.76/2540.35 c #Conflicts: 1146000 | #Constraints: 42485 2530.76/2540.35 c INPROCESSING 2530.76/2540.35 c GARBAGE COLLECT 2530.76/2540.35 c rational objective 5 2567.24/2576.94 c #Conflicts: 1147000 | #Constraints: 22172 2567.24/2576.94 c #Conflicts: 1148000 | #Constraints: 23174 2567.24/2576.94 c #Conflicts: 1149000 | #Constraints: 24179 2567.24/2576.94 c #Conflicts: 1150000 | #Constraints: 25184 2567.24/2576.94 c #Conflicts: 1151000 | #Constraints: 26191 2567.24/2576.94 c #Conflicts: 1152000 | #Constraints: 27197 2567.24/2576.94 c #Conflicts: 1153000 | #Constraints: 28202 2567.24/2576.94 c #Conflicts: 1154000 | #Constraints: 29208 2567.24/2576.94 c #Conflicts: 1155000 | #Constraints: 30214 2567.24/2576.94 c #Conflicts: 1156000 | #Constraints: 31223 2567.24/2576.94 c #Conflicts: 1157000 | #Constraints: 32228 2567.24/2576.94 c #Conflicts: 1158000 | #Constraints: 33234 2567.24/2576.94 c #Conflicts: 1159000 | #Constraints: 34238 2567.24/2576.94 c #Conflicts: 1160000 | #Constraints: 35249 2567.24/2576.94 c #Conflicts: 1161000 | #Constraints: 36257 2567.24/2576.94 c #Conflicts: 1162000 | #Constraints: 37262 2567.24/2576.94 c #Conflicts: 1163000 | #Constraints: 38266 2567.24/2576.94 c #Conflicts: 1164000 | #Constraints: 39269 2567.24/2576.94 c #Conflicts: 1165000 | #Constraints: 40269 2567.24/2576.94 c #Conflicts: 1166000 | #Constraints: 41273 2567.24/2576.94 c #Conflicts: 1167000 | #Constraints: 42274 2567.24/2576.94 c #Conflicts: 1168000 | #Constraints: 43284 2567.24/2576.94 c INPROCESSING 2567.24/2576.94 c GARBAGE COLLECT 2567.24/2576.94 c rational objective 5 2606.60/2616.48 c #Conflicts: 1169000 | #Constraints: 22789 2606.60/2616.48 c #Conflicts: 1170000 | #Constraints: 23797 2606.60/2616.48 c #Conflicts: 1171000 | #Constraints: 24801 2606.60/2616.48 c #Conflicts: 1172000 | #Constraints: 25805 2606.60/2616.48 c #Conflicts: 1173000 | #Constraints: 26814 2606.60/2616.48 c #Conflicts: 1174000 | #Constraints: 27820 2606.60/2616.48 c #Conflicts: 1175000 | #Constraints: 28830 2606.60/2616.48 c #Conflicts: 1176000 | #Constraints: 29834 2606.60/2616.48 c #Conflicts: 1177000 | #Constraints: 30841 2606.60/2616.48 c #Conflicts: 1178000 | #Constraints: 31844 2606.60/2616.48 c #Conflicts: 1179000 | #Constraints: 32864 2606.60/2616.48 c #Conflicts: 1180000 | #Constraints: 33875 2606.60/2616.48 c #Conflicts: 1181000 | #Constraints: 34878 2606.60/2616.48 c #Conflicts: 1182000 | #Constraints: 35884 2606.60/2616.48 c #Conflicts: 1183000 | #Constraints: 36890 2606.60/2616.48 c #Conflicts: 1184000 | #Constraints: 37894 2606.60/2616.48 c #Conflicts: 1185000 | #Constraints: 38897 2606.60/2616.48 c #Conflicts: 1186000 | #Constraints: 39902 2606.60/2616.48 c #Conflicts: 1187000 | #Constraints: 40908 2606.60/2616.48 c #Conflicts: 1188000 | #Constraints: 41918 2606.60/2616.48 c #Conflicts: 1189000 | #Constraints: 42921 2606.60/2616.48 c #Conflicts: 1190000 | #Constraints: 43925 2606.60/2616.48 c INPROCESSING 2606.60/2616.48 c GARBAGE COLLECT 2606.60/2616.48 c rational objective 5 2654.95/2664.95 c #Conflicts: 1191000 | #Constraints: 23199 2654.95/2664.95 c #Conflicts: 1192000 | #Constraints: 24204 2654.95/2664.95 c #Conflicts: 1193000 | #Constraints: 25212 2654.95/2664.95 c #Conflicts: 1194000 | #Constraints: 26217 2654.95/2664.95 c #Conflicts: 1195000 | #Constraints: 27223 2654.95/2664.95 c #Conflicts: 1196000 | #Constraints: 28227 2654.95/2664.95 c #Conflicts: 1197000 | #Constraints: 29232 2654.95/2664.95 c #Conflicts: 1198000 | #Constraints: 30240 2654.95/2664.95 c #Conflicts: 1199000 | #Constraints: 31243 2654.95/2664.95 c #Conflicts: 1200000 | #Constraints: 32247 2654.95/2664.95 c #Conflicts: 1201000 | #Constraints: 33254 2654.95/2664.95 c #Conflicts: 1202000 | #Constraints: 34260 2654.95/2664.95 c #Conflicts: 1203000 | #Constraints: 35269 2654.95/2664.95 c #Conflicts: 1204000 | #Constraints: 36277 2654.95/2664.95 c #Conflicts: 1205000 | #Constraints: 37284 2654.95/2664.95 c #Conflicts: 1206000 | #Constraints: 38288 2654.95/2664.95 c #Conflicts: 1207000 | #Constraints: 39295 2654.95/2664.95 c #Conflicts: 1208000 | #Constraints: 40302 2654.95/2664.95 c #Conflicts: 1209000 | #Constraints: 41307 2654.95/2664.95 c #Conflicts: 1210000 | #Constraints: 42314 2654.95/2664.95 c #Conflicts: 1211000 | #Constraints: 43320 2654.95/2664.95 c #Conflicts: 1212000 | #Constraints: 44330 2654.95/2664.95 c INPROCESSING 2654.95/2664.95 c GARBAGE COLLECT 2654.95/2664.95 c rational objective 5 2723.12/2733.31 c #Conflicts: 1213000 | #Constraints: 23415 2723.12/2733.31 c #Conflicts: 1214000 | #Constraints: 24421 2723.12/2733.31 c #Conflicts: 1215000 | #Constraints: 25425 2723.12/2733.31 c #Conflicts: 1216000 | #Constraints: 26430 2723.12/2733.31 c #Conflicts: 1217000 | #Constraints: 27434 2723.12/2733.31 c #Conflicts: 1218000 | #Constraints: 28436 2723.12/2733.31 c #Conflicts: 1219000 | #Constraints: 29441 2723.12/2733.31 c #Conflicts: 1220000 | #Constraints: 30442 2723.12/2733.31 c #Conflicts: 1221000 | #Constraints: 31445 2723.12/2733.31 c #Conflicts: 1222000 | #Constraints: 32448 2723.12/2733.31 c #Conflicts: 1223000 | #Constraints: 33450 2723.12/2733.31 c #Conflicts: 1224000 | #Constraints: 34453 2723.12/2733.31 c #Conflicts: 1225000 | #Constraints: 35454 2723.12/2733.31 c #Conflicts: 1226000 | #Constraints: 36457 2723.12/2733.31 c #Conflicts: 1227000 | #Constraints: 37464 2723.12/2733.31 c #Conflicts: 1228000 | #Constraints: 38469 2723.12/2733.31 c #Conflicts: 1229000 | #Constraints: 39472 2723.12/2733.31 c #Conflicts: 1230000 | #Constraints: 40479 2723.12/2733.31 c #Conflicts: 1231000 | #Constraints: 41488 2723.12/2733.31 c #Conflicts: 1232000 | #Constraints: 42495 2723.12/2733.31 c #Conflicts: 1233000 | #Constraints: 43500 2723.12/2733.31 c #Conflicts: 1234000 | #Constraints: 44503 2723.12/2733.31 c INPROCESSING 2723.12/2733.31 c GARBAGE COLLECT 2723.12/2733.31 c rational objective 5 2772.47/2782.80 c #Conflicts: 1235000 | #Constraints: 23390 2772.47/2782.80 c #Conflicts: 1236000 | #Constraints: 24393 2772.47/2782.80 c #Conflicts: 1237000 | #Constraints: 25402 2772.47/2782.80 c #Conflicts: 1238000 | #Constraints: 26410 2772.47/2782.80 c #Conflicts: 1239000 | #Constraints: 27418 2772.47/2782.80 c #Conflicts: 1240000 | #Constraints: 28423 2772.47/2782.80 c #Conflicts: 1241000 | #Constraints: 29429 2772.47/2782.80 c #Conflicts: 1242000 | #Constraints: 30432 2772.47/2782.80 c #Conflicts: 1243000 | #Constraints: 31439 2772.47/2782.80 c #Conflicts: 1244000 | #Constraints: 32441 2772.47/2782.80 c #Conflicts: 1245000 | #Constraints: 33446 2772.47/2782.80 c #Conflicts: 1246000 | #Constraints: 34452 2772.47/2782.80 c #Conflicts: 1247000 | #Constraints: 35459 2772.47/2782.80 c #Conflicts: 1248000 | #Constraints: 36465 2772.47/2782.80 c #Conflicts: 1249000 | #Constraints: 37469 2772.47/2782.80 c #Conflicts: 1250000 | #Constraints: 38475 2772.47/2782.80 c #Conflicts: 1251000 | #Constraints: 39478 2772.47/2782.80 c #Conflicts: 1252000 | #Constraints: 40484 2772.47/2782.80 c #Conflicts: 1253000 | #Constraints: 41492 2772.47/2782.80 c #Conflicts: 1254000 | #Constraints: 42498 2772.47/2782.80 c #Conflicts: 1255000 | #Constraints: 43499 2772.47/2782.80 c #Conflicts: 1256000 | #Constraints: 44504 2772.47/2782.80 c INPROCESSING 2772.47/2782.80 c GARBAGE COLLECT 2772.47/2782.80 c rational objective 5 2824.70/2835.27 c #Conflicts: 1257000 | #Constraints: 23189 2824.70/2835.27 c #Conflicts: 1258000 | #Constraints: 24197 2824.70/2835.27 c #Conflicts: 1259000 | #Constraints: 25205 2824.70/2835.27 c #Conflicts: 1260000 | #Constraints: 26212 2824.70/2835.27 c #Conflicts: 1261000 | #Constraints: 27221 2824.70/2835.27 c #Conflicts: 1262000 | #Constraints: 28227 2824.70/2835.27 c #Conflicts: 1263000 | #Constraints: 29232 2824.70/2835.27 c #Conflicts: 1264000 | #Constraints: 30239 2824.70/2835.27 c #Conflicts: 1265000 | #Constraints: 31244 2824.70/2835.27 c #Conflicts: 1266000 | #Constraints: 32252 2824.70/2835.27 c #Conflicts: 1267000 | #Constraints: 33265 2824.70/2835.27 c #Conflicts: 1268000 | #Constraints: 34275 2824.70/2835.27 c #Conflicts: 1269000 | #Constraints: 35284 2824.70/2835.27 c #Conflicts: 1270000 | #Constraints: 36289 2824.70/2835.27 c #Conflicts: 1271000 | #Constraints: 37295 2824.70/2835.27 c #Conflicts: 1272000 | #Constraints: 38303 2824.70/2835.27 c #Conflicts: 1273000 | #Constraints: 39311 2824.70/2835.27 c #Conflicts: 1274000 | #Constraints: 40317 2824.70/2835.27 c #Conflicts: 1275000 | #Constraints: 41320 2824.70/2835.27 c #Conflicts: 1276000 | #Constraints: 42324 2824.70/2835.27 c #Conflicts: 1277000 | #Constraints: 43326 2824.70/2835.27 c #Conflicts: 1278000 | #Constraints: 44334 2824.70/2835.27 c #Conflicts: 1279000 | #Constraints: 45339 2824.70/2835.27 c INPROCESSING 2824.70/2835.27 c GARBAGE COLLECT 2824.70/2835.27 c rational objective 5 2883.81/2894.53 c #Conflicts: 1280000 | #Constraints: 23806 2883.81/2894.53 c #Conflicts: 1281000 | #Constraints: 24814 2883.81/2894.53 c #Conflicts: 1282000 | #Constraints: 25817 2883.81/2894.53 c #Conflicts: 1283000 | #Constraints: 26825 2883.81/2894.53 c #Conflicts: 1284000 | #Constraints: 27831 2883.81/2894.53 c #Conflicts: 1285000 | #Constraints: 28840 2883.81/2894.53 c #Conflicts: 1286000 | #Constraints: 29849 2883.81/2894.53 c #Conflicts: 1287000 | #Constraints: 30857 2883.81/2894.53 c #Conflicts: 1288000 | #Constraints: 31864 2883.81/2894.53 c #Conflicts: 1289000 | #Constraints: 32872 2883.81/2894.53 c #Conflicts: 1290000 | #Constraints: 33877 2883.81/2894.53 c #Conflicts: 1291000 | #Constraints: 34886 2883.81/2894.53 c #Conflicts: 1292000 | #Constraints: 35892 2883.81/2894.53 c #Conflicts: 1293000 | #Constraints: 36896 2883.81/2894.53 c #Conflicts: 1294000 | #Constraints: 37898 2883.81/2894.53 c #Conflicts: 1295000 | #Constraints: 38902 2883.81/2894.53 c #Conflicts: 1296000 | #Constraints: 39907 2883.81/2894.53 c #Conflicts: 1297000 | #Constraints: 40912 2883.81/2894.53 c #Conflicts: 1298000 | #Constraints: 41918 2883.81/2894.53 c #Conflicts: 1299000 | #Constraints: 42923 2883.81/2894.53 c #Conflicts: 1300000 | #Constraints: 43934 2883.81/2894.53 c #Conflicts: 1301000 | #Constraints: 44951 2883.81/2894.53 c #Conflicts: 1302000 | #Constraints: 45964 2883.81/2894.53 c INPROCESSING 2883.81/2894.53 c GARBAGE COLLECT 2883.81/2894.53 c rational objective 5 2943.10/2954.10 c #Conflicts: 1303000 | #Constraints: 24222 2943.10/2954.10 c #Conflicts: 1304000 | #Constraints: 25225 2943.10/2954.10 c #Conflicts: 1305000 | #Constraints: 26229 2943.10/2954.10 c #Conflicts: 1306000 | #Constraints: 27235 2943.10/2954.10 c #Conflicts: 1307000 | #Constraints: 28239 2943.10/2954.10 c #Conflicts: 1308000 | #Constraints: 29243 2943.10/2954.10 c #Conflicts: 1309000 | #Constraints: 30246 2943.10/2954.10 c #Conflicts: 1310000 | #Constraints: 31250 2943.10/2954.10 c #Conflicts: 1311000 | #Constraints: 32256 2943.10/2954.10 c #Conflicts: 1312000 | #Constraints: 33262 2943.10/2954.10 c #Conflicts: 1313000 | #Constraints: 34264 2943.10/2954.10 c #Conflicts: 1314000 | #Constraints: 35266 2943.10/2954.10 c #Conflicts: 1315000 | #Constraints: 36269 2943.10/2954.10 c #Conflicts: 1316000 | #Constraints: 37273 2943.10/2954.10 c #Conflicts: 1317000 | #Constraints: 38287 2943.10/2954.10 c #Conflicts: 1318000 | #Constraints: 39290 2943.10/2954.10 c #Conflicts: 1319000 | #Constraints: 40295 2943.10/2954.10 c #Conflicts: 1320000 | #Constraints: 41302 2943.10/2954.10 c #Conflicts: 1321000 | #Constraints: 42306 2943.10/2954.10 c #Conflicts: 1322000 | #Constraints: 43312 2943.10/2954.10 c #Conflicts: 1323000 | #Constraints: 44317 2943.10/2954.10 c #Conflicts: 1324000 | #Constraints: 45320 2943.10/2954.10 c #Conflicts: 1325000 | #Constraints: 46322 2943.10/2954.10 c INPROCESSING 2943.10/2954.10 c GARBAGE COLLECT 2943.10/2954.10 c rational objective 5 2994.62/3005.72 c #Conflicts: 1326000 | #Constraints: 24415 2994.62/3005.72 c #Conflicts: 1327000 | #Constraints: 25418 2994.62/3005.72 c #Conflicts: 1328000 | #Constraints: 26427 2994.62/3005.72 c #Conflicts: 1329000 | #Constraints: 27436 2994.62/3005.72 c #Conflicts: 1330000 | #Constraints: 28440 2994.62/3005.72 c #Conflicts: 1331000 | #Constraints: 29446 2994.62/3005.72 c #Conflicts: 1332000 | #Constraints: 30456 2994.62/3005.72 c #Conflicts: 1333000 | #Constraints: 31461 2994.62/3005.72 c #Conflicts: 1334000 | #Constraints: 32467 2994.62/3005.72 c #Conflicts: 1335000 | #Constraints: 33474 2994.62/3005.72 c #Conflicts: 1336000 | #Constraints: 34479 2994.62/3005.72 c #Conflicts: 1337000 | #Constraints: 35487 2994.62/3005.72 c #Conflicts: 1338000 | #Constraints: 36489 2994.62/3005.72 c #Conflicts: 1339000 | #Constraints: 37490 2994.62/3005.72 c #Conflicts: 1340000 | #Constraints: 38492 2994.62/3005.72 c #Conflicts: 1341000 | #Constraints: 39507 2994.62/3005.72 c #Conflicts: 1342000 | #Constraints: 40516 2994.62/3005.72 c #Conflicts: 1343000 | #Constraints: 41527 2994.62/3005.72 c #Conflicts: 1344000 | #Constraints: 42535 2994.62/3005.72 c #Conflicts: 1345000 | #Constraints: 43546 2994.62/3005.72 c #Conflicts: 1346000 | #Constraints: 44559 2994.62/3005.72 c #Conflicts: 1347000 | #Constraints: 45571 2994.62/3005.72 c #Conflicts: 1348000 | #Constraints: 46582 2994.62/3005.72 c INPROCESSING 2994.62/3005.72 c GARBAGE COLLECT 2994.62/3005.72 c rational objective 5 3039.55/3050.80 c #Conflicts: 1349000 | #Constraints: 24460 3039.55/3050.80 c #Conflicts: 1350000 | #Constraints: 25474 3039.55/3050.80 c #Conflicts: 1351000 | #Constraints: 26486 3039.55/3050.80 c #Conflicts: 1352000 | #Constraints: 27491 3039.55/3050.80 c #Conflicts: 1353000 | #Constraints: 28493 3039.55/3050.80 c #Conflicts: 1354000 | #Constraints: 29497 3039.55/3050.80 c #Conflicts: 1355000 | #Constraints: 30500 3039.55/3050.80 c #Conflicts: 1356000 | #Constraints: 31507 3039.55/3050.80 c #Conflicts: 1357000 | #Constraints: 32510 3039.55/3050.80 c #Conflicts: 1358000 | #Constraints: 33516 3039.55/3050.80 c #Conflicts: 1359000 | #Constraints: 34521 3039.55/3050.80 c #Conflicts: 1360000 | #Constraints: 35527 3039.55/3050.80 c #Conflicts: 1361000 | #Constraints: 36532 3039.55/3050.80 c #Conflicts: 1362000 | #Constraints: 37535 3039.55/3050.80 c #Conflicts: 1363000 | #Constraints: 38542 3039.55/3050.80 c #Conflicts: 1364000 | #Constraints: 39546 3039.55/3050.80 c #Conflicts: 1365000 | #Constraints: 40549 3039.55/3050.80 c #Conflicts: 1366000 | #Constraints: 41555 3039.55/3050.80 c #Conflicts: 1367000 | #Constraints: 42561 3039.55/3050.80 c #Conflicts: 1368000 | #Constraints: 43565 3039.55/3050.80 c #Conflicts: 1369000 | #Constraints: 44570 3039.55/3050.80 c #Conflicts: 1370000 | #Constraints: 45574 3039.55/3050.80 c #Conflicts: 1371000 | #Constraints: 46578 3039.55/3050.80 c INPROCESSING 3039.55/3050.80 c GARBAGE COLLECT 3039.55/3050.80 c rational objective 5 3087.08/3098.52 c #Conflicts: 1372000 | #Constraints: 24237 3087.08/3098.52 c #Conflicts: 1373000 | #Constraints: 25240 3087.08/3098.52 c #Conflicts: 1374000 | #Constraints: 26245 3087.08/3098.52 c #Conflicts: 1375000 | #Constraints: 27259 3087.08/3098.52 c #Conflicts: 1376000 | #Constraints: 28273 3087.08/3098.52 c #Conflicts: 1377000 | #Constraints: 29279 3087.08/3098.52 c #Conflicts: 1378000 | #Constraints: 30286 3087.08/3098.52 c #Conflicts: 1379000 | #Constraints: 31292 3087.08/3098.52 c #Conflicts: 1380000 | #Constraints: 32301 3087.08/3098.52 c #Conflicts: 1381000 | #Constraints: 33305 3087.08/3098.52 c #Conflicts: 1382000 | #Constraints: 34311 3087.08/3098.52 c #Conflicts: 1383000 | #Constraints: 35317 3087.08/3098.52 c #Conflicts: 1384000 | #Constraints: 36322 3087.08/3098.52 c #Conflicts: 1385000 | #Constraints: 37333 3087.08/3098.52 c #Conflicts: 1386000 | #Constraints: 38341 3087.08/3098.52 c #Conflicts: 1387000 | #Constraints: 39344 3087.08/3098.52 c #Conflicts: 1388000 | #Constraints: 40348 3087.08/3098.52 c #Conflicts: 1389000 | #Constraints: 41356 3087.08/3098.52 c #Conflicts: 1390000 | #Constraints: 42366 3087.08/3098.52 c #Conflicts: 1391000 | #Constraints: 43372 3087.08/3098.52 c #Conflicts: 1392000 | #Constraints: 44381 3087.08/3098.52 c #Conflicts: 1393000 | #Constraints: 45389 3087.08/3098.52 c #Conflicts: 1394000 | #Constraints: 46395 3087.08/3098.52 c #Conflicts: 1395000 | #Constraints: 47400 3087.08/3098.52 c INPROCESSING 3087.08/3098.52 c GARBAGE COLLECT 3087.08/3098.52 c rational objective 5 3130.72/3142.33 c #Conflicts: 1396000 | #Constraints: 24852 3130.72/3142.33 c #Conflicts: 1397000 | #Constraints: 25861 3130.72/3142.33 c #Conflicts: 1398000 | #Constraints: 26866 3130.72/3142.33 c #Conflicts: 1399000 | #Constraints: 27871 3130.72/3142.33 c #Conflicts: 1400000 | #Constraints: 28879 3130.72/3142.33 c #Conflicts: 1401000 | #Constraints: 29882 3130.72/3142.33 c #Conflicts: 1402000 | #Constraints: 30884 3130.72/3142.33 c #Conflicts: 1403000 | #Constraints: 31888 3130.72/3142.33 c #Conflicts: 1404000 | #Constraints: 32894 3130.72/3142.33 c #Conflicts: 1405000 | #Constraints: 33902 3130.72/3142.33 c #Conflicts: 1406000 | #Constraints: 34905 3130.72/3142.33 c #Conflicts: 1407000 | #Constraints: 35911 3130.72/3142.33 c #Conflicts: 1408000 | #Constraints: 36915 3130.72/3142.33 c #Conflicts: 1409000 | #Constraints: 37920 3130.72/3142.33 c #Conflicts: 1410000 | #Constraints: 38924 3130.72/3142.33 c #Conflicts: 1411000 | #Constraints: 39929 3130.72/3142.33 c #Conflicts: 1412000 | #Constraints: 40935 3130.72/3142.33 c #Conflicts: 1413000 | #Constraints: 41941 3130.72/3142.33 c #Conflicts: 1414000 | #Constraints: 42948 3130.72/3142.33 c #Conflicts: 1415000 | #Constraints: 43956 3130.72/3142.33 c #Conflicts: 1416000 | #Constraints: 44962 3130.72/3142.33 c #Conflicts: 1417000 | #Constraints: 45969 3130.72/3142.33 c #Conflicts: 1418000 | #Constraints: 46973 3130.72/3142.33 c #Conflicts: 1419000 | #Constraints: 47977 3130.72/3142.33 c INPROCESSING 3130.72/3142.33 c GARBAGE COLLECT 3130.72/3142.33 c rational objective 5 3179.93/3191.70 c #Conflicts: 1420000 | #Constraints: 25234 3179.93/3191.70 c #Conflicts: 1421000 | #Constraints: 26239 3179.93/3191.70 c #Conflicts: 1422000 | #Constraints: 27245 3179.93/3191.70 c #Conflicts: 1423000 | #Constraints: 28252 3179.93/3191.70 c #Conflicts: 1424000 | #Constraints: 29258 3179.93/3191.70 c #Conflicts: 1425000 | #Constraints: 30264 3179.93/3191.70 c #Conflicts: 1426000 | #Constraints: 31271 3179.93/3191.70 c #Conflicts: 1427000 | #Constraints: 32277 3179.93/3191.70 c #Conflicts: 1428000 | #Constraints: 33286 3179.93/3191.70 c #Conflicts: 1429000 | #Constraints: 34290 3179.93/3191.70 c #Conflicts: 1430000 | #Constraints: 35299 3179.93/3191.70 c #Conflicts: 1431000 | #Constraints: 36301 3179.93/3191.70 c #Conflicts: 1432000 | #Constraints: 37310 3179.93/3191.70 c #Conflicts: 1433000 | #Constraints: 38313 3179.93/3191.70 c #Conflicts: 1434000 | #Constraints: 39319 3179.93/3191.70 c #Conflicts: 1435000 | #Constraints: 40323 3179.93/3191.70 c #Conflicts: 1436000 | #Constraints: 41328 3179.93/3191.70 c #Conflicts: 1437000 | #Constraints: 42339 3179.93/3191.70 c #Conflicts: 1438000 | #Constraints: 43347 3179.93/3191.70 c #Conflicts: 1439000 | #Constraints: 44353 3179.93/3191.70 c #Conflicts: 1440000 | #Constraints: 45358 3179.93/3191.70 c #Conflicts: 1441000 | #Constraints: 46365 3179.93/3191.70 c #Conflicts: 1442000 | #Constraints: 47370 3179.93/3191.70 c #Conflicts: 1443000 | #Constraints: 48372 3179.93/3191.70 c INPROCESSING 3179.93/3191.70 c GARBAGE COLLECT 3179.93/3191.70 c rational objective 5 3246.78/3258.85 c #Conflicts: 1444000 | #Constraints: 25430 3246.78/3258.85 c #Conflicts: 1445000 | #Constraints: 26437 3246.78/3258.85 c #Conflicts: 1446000 | #Constraints: 27441 3246.78/3258.85 c #Conflicts: 1447000 | #Constraints: 28446 3246.78/3258.85 c #Conflicts: 1448000 | #Constraints: 29451 3246.78/3258.85 c #Conflicts: 1449000 | #Constraints: 30458 3246.78/3258.85 c #Conflicts: 1450000 | #Constraints: 31464 3246.78/3258.85 c #Conflicts: 1451000 | #Constraints: 32471 3246.78/3258.85 c #Conflicts: 1452000 | #Constraints: 33483 3246.78/3258.85 c #Conflicts: 1453000 | #Constraints: 34493 3246.78/3258.85 c #Conflicts: 1454000 | #Constraints: 35497 3246.78/3258.85 c #Conflicts: 1455000 | #Constraints: 36502 3246.78/3258.85 c #Conflicts: 1456000 | #Constraints: 37512 3246.78/3258.85 c #Conflicts: 1457000 | #Constraints: 38515 3246.78/3258.85 c #Conflicts: 1458000 | #Constraints: 39519 3246.78/3258.85 c #Conflicts: 1459000 | #Constraints: 40529 3246.78/3258.85 c #Conflicts: 1460000 | #Constraints: 41534 3246.78/3258.85 c #Conflicts: 1461000 | #Constraints: 42541 3246.78/3258.85 c #Conflicts: 1462000 | #Constraints: 43547 3246.78/3258.85 c #Conflicts: 1463000 | #Constraints: 44553 3246.78/3258.85 c #Conflicts: 1464000 | #Constraints: 45559 3246.78/3258.85 c #Conflicts: 1465000 | #Constraints: 46564 3246.78/3258.85 c #Conflicts: 1466000 | #Constraints: 47569 3246.78/3258.85 c #Conflicts: 1467000 | #Constraints: 48576 3246.78/3258.85 c INPROCESSING 3246.78/3258.85 c GARBAGE COLLECT 3246.78/3258.85 c rational objective 5 3305.63/3317.97 c #Conflicts: 1468000 | #Constraints: 25439 3305.63/3317.97 c #Conflicts: 1469000 | #Constraints: 26442 3305.63/3317.97 c #Conflicts: 1470000 | #Constraints: 27447 3305.63/3317.97 c #Conflicts: 1471000 | #Constraints: 28450 3305.63/3317.97 c #Conflicts: 1472000 | #Constraints: 29459 3305.63/3317.97 c #Conflicts: 1473000 | #Constraints: 30470 3305.63/3317.97 c #Conflicts: 1474000 | #Constraints: 31478 3305.63/3317.97 c #Conflicts: 1475000 | #Constraints: 32491 3305.63/3317.97 c #Conflicts: 1476000 | #Constraints: 33500 3305.63/3317.97 c #Conflicts: 1477000 | #Constraints: 34508 3305.63/3317.97 c #Conflicts: 1478000 | #Constraints: 35512 3305.63/3317.97 c #Conflicts: 1479000 | #Constraints: 36516 3305.63/3317.97 c #Conflicts: 1480000 | #Constraints: 37523 3305.63/3317.97 c #Conflicts: 1481000 | #Constraints: 38528 3305.63/3317.97 c #Conflicts: 1482000 | #Constraints: 39533 3305.63/3317.97 c #Conflicts: 1483000 | #Constraints: 40547 3305.63/3317.97 c #Conflicts: 1484000 | #Constraints: 41561 3305.63/3317.97 c #Conflicts: 1485000 | #Constraints: 42566 3305.63/3317.97 c #Conflicts: 1486000 | #Constraints: 43572 3305.63/3317.97 c #Conflicts: 1487000 | #Constraints: 44577 3305.63/3317.97 c #Conflicts: 1488000 | #Constraints: 45580 3305.63/3317.97 c #Conflicts: 1489000 | #Constraints: 46586 3305.63/3317.97 c #Conflicts: 1490000 | #Constraints: 47591 3305.63/3317.97 c #Conflicts: 1491000 | #Constraints: 48594 3305.63/3317.97 c INPROCESSING 3305.63/3317.97 c GARBAGE COLLECT 3305.63/3317.97 c rational objective 5 3369.11/3381.64 c #Conflicts: 1492000 | #Constraints: 25234 3369.11/3381.64 c #Conflicts: 1493000 | #Constraints: 26237 3369.11/3381.64 c #Conflicts: 1494000 | #Constraints: 27238 3369.11/3381.64 c #Conflicts: 1495000 | #Constraints: 28239 3369.11/3381.64 c #Conflicts: 1496000 | #Constraints: 29241 3369.11/3381.64 c #Conflicts: 1497000 | #Constraints: 30244 3369.11/3381.64 c #Conflicts: 1498000 | #Constraints: 31247 3369.11/3381.64 c #Conflicts: 1499000 | #Constraints: 32248 3369.11/3381.64 c #Conflicts: 1500000 | #Constraints: 33257 3369.11/3381.64 c #Conflicts: 1501000 | #Constraints: 34278 3369.11/3381.64 c #Conflicts: 1502000 | #Constraints: 35284 3369.11/3381.64 c #Conflicts: 1503000 | #Constraints: 36291 3369.11/3381.64 c #Conflicts: 1504000 | #Constraints: 37295 3369.11/3381.64 c #Conflicts: 1505000 | #Constraints: 38304 3369.11/3381.64 c #Conflicts: 1506000 | #Constraints: 39313 3369.11/3381.64 c #Conflicts: 1507000 | #Constraints: 40322 3369.11/3381.64 c #Conflicts: 1508000 | #Constraints: 41325 3369.11/3381.64 c #Conflicts: 1509000 | #Constraints: 42326 3369.11/3381.64 c #Conflicts: 1510000 | #Constraints: 43328 3369.11/3381.64 c #Conflicts: 1511000 | #Constraints: 44331 3369.11/3381.64 c #Conflicts: 1512000 | #Constraints: 45338 3369.11/3381.64 c #Conflicts: 1513000 | #Constraints: 46348 3369.11/3381.64 c #Conflicts: 1514000 | #Constraints: 47350 3369.11/3381.64 c #Conflicts: 1515000 | #Constraints: 48354 3369.11/3381.64 c #Conflicts: 1516000 | #Constraints: 49359 3369.11/3381.64 c INPROCESSING 3369.11/3381.64 c GARBAGE COLLECT 3369.11/3381.64 c rational objective 5 3427.99/3440.78 c #Conflicts: 1517000 | #Constraints: 25819 3427.99/3440.78 c #Conflicts: 1518000 | #Constraints: 26826 3427.99/3440.78 c #Conflicts: 1519000 | #Constraints: 27832 3427.99/3440.78 c #Conflicts: 1520000 | #Constraints: 28839 3427.99/3440.78 c #Conflicts: 1521000 | #Constraints: 29846 3427.99/3440.78 c #Conflicts: 1522000 | #Constraints: 30853 3427.99/3440.78 c #Conflicts: 1523000 | #Constraints: 31856 3427.99/3440.78 c #Conflicts: 1524000 | #Constraints: 32861 3427.99/3440.78 c #Conflicts: 1525000 | #Constraints: 33864 3427.99/3440.78 c #Conflicts: 1526000 | #Constraints: 34865 3427.99/3440.78 c #Conflicts: 1527000 | #Constraints: 35869 3427.99/3440.78 c #Conflicts: 1528000 | #Constraints: 36874 3427.99/3440.78 c #Conflicts: 1529000 | #Constraints: 37880 3427.99/3440.78 c #Conflicts: 1530000 | #Constraints: 38885 3427.99/3440.78 c #Conflicts: 1531000 | #Constraints: 39896 3427.99/3440.78 c #Conflicts: 1532000 | #Constraints: 40910 3427.99/3440.78 c #Conflicts: 1533000 | #Constraints: 41915 3427.99/3440.78 c #Conflicts: 1534000 | #Constraints: 42926 3427.99/3440.78 c #Conflicts: 1535000 | #Constraints: 43935 3427.99/3440.78 c #Conflicts: 1536000 | #Constraints: 44938 3427.99/3440.78 c #Conflicts: 1537000 | #Constraints: 45948 3427.99/3440.78 c #Conflicts: 1538000 | #Constraints: 46953 3427.99/3440.78 c #Conflicts: 1539000 | #Constraints: 47959 3427.99/3440.78 c #Conflicts: 1540000 | #Constraints: 48966 3427.99/3440.78 c #Conflicts: 1541000 | #Constraints: 49974 3427.99/3440.78 c INPROCESSING 3427.99/3440.78 c GARBAGE COLLECT 3427.99/3440.78 c rational objective 5 3498.24/3511.27 c #Conflicts: 1542000 | #Constraints: 26234 3498.24/3511.27 c #Conflicts: 1543000 | #Constraints: 27240 3498.24/3511.27 c #Conflicts: 1544000 | #Constraints: 28247 3498.24/3511.27 c #Conflicts: 1545000 | #Constraints: 29249 3498.24/3511.27 c #Conflicts: 1546000 | #Constraints: 30250 3498.24/3511.27 c #Conflicts: 1547000 | #Constraints: 31255 3498.24/3511.27 c #Conflicts: 1548000 | #Constraints: 32258 3498.24/3511.27 c #Conflicts: 1549000 | #Constraints: 33261 3498.24/3511.27 c #Conflicts: 1550000 | #Constraints: 34268 3498.24/3511.27 c #Conflicts: 1551000 | #Constraints: 35272 3498.24/3511.27 c #Conflicts: 1552000 | #Constraints: 36277 3498.24/3511.27 c #Conflicts: 1553000 | #Constraints: 37281 3498.24/3511.27 c #Conflicts: 1554000 | #Constraints: 38288 3498.24/3511.27 c #Conflicts: 1555000 | #Constraints: 39294 3498.24/3511.27 c #Conflicts: 1556000 | #Constraints: 40296 3498.24/3511.27 c #Conflicts: 1557000 | #Constraints: 41302 3498.24/3511.27 c #Conflicts: 1558000 | #Constraints: 42308 3498.24/3511.27 c #Conflicts: 1559000 | #Constraints: 43310 3498.24/3511.27 c #Conflicts: 1560000 | #Constraints: 44317 3498.24/3511.27 c #Conflicts: 1561000 | #Constraints: 45321 3498.24/3511.27 c #Conflicts: 1562000 | #Constraints: 46324 3498.24/3511.27 c #Conflicts: 1563000 | #Constraints: 47328 3498.24/3511.27 c #Conflicts: 1564000 | #Constraints: 48333 3498.24/3511.27 c #Conflicts: 1565000 | #Constraints: 49335 3498.24/3511.27 c #Conflicts: 1566000 | #Constraints: 50342 3498.24/3511.27 c INPROCESSING 3498.24/3511.27 c GARBAGE COLLECT 3498.24/3511.27 c rational objective 5 3600.07/3613.40 c #Conflicts: 1567000 | #Constraints: 26435 3600.07/3613.40 c #Conflicts: 1568000 | #Constraints: 27441 3600.07/3613.40 c #Conflicts: 1569000 | #Constraints: 28445 3600.07/3613.40 c #Conflicts: 1570000 | #Constraints: 29452 3600.07/3613.40 c #Conflicts: 1571000 | #Constraints: 30458 3600.07/3613.40 c #Conflicts: 1572000 | #Constraints: 31463 3600.07/3613.40 c #Conflicts: 1573000 | #Constraints: 32467 3600.07/3613.40 c #Conflicts: 1574000 | #Constraints: 33469 3600.07/3613.40 c #Conflicts: 1575000 | #Constraints: 34476 3600.07/3613.40 c #Conflicts: 1576000 | #Constraints: 35482 3600.07/3613.40 c #Conflicts: 1577000 | #Constraints: 36486 3600.07/3613.40 c #Conflicts: 1578000 | #Constraints: 37491 3600.07/3613.40 c #Conflicts: 1579000 | #Constraints: 38495 3600.07/3613.40 c #Conflicts: 1580000 | #Constraints: 39499 3600.07/3613.40 c #Conflicts: 1581000 | #Constraints: 40502 3600.07/3613.40 c #Conflicts: 1582000 | #Constraints: 41507 3600.07/3613.40 c #Conflicts: 1583000 | #Constraints: 42509 3600.07/3613.40 c #Conflicts: 1584000 | #Constraints: 43512 3600.07/3613.40 c Program interrupted by user. 3600.07/3613.43 c cpu time 3557.59 s 3600.07/3613.43 c deterministic time 708186671283 7.08e+11 3600.07/3613.43 c optimization time 101.092 s 3600.07/3613.43 c total solve time 3456.49 s 3600.07/3613.43 c core-guided solve time 4e-06 s 3600.07/3613.43 c propagation time 2992.94 s 3600.07/3613.43 c conflict analysis time 477.207 s 3600.07/3613.43 c propagations 314561982 3600.07/3613.43 c resolve steps 11793201 3600.07/3613.43 c decisions 13707487 3600.07/3613.43 c conflicts 1584467 3600.07/3613.43 c restarts 3068 3600.07/3613.43 c inprocessing phases 116 3600.07/3613.43 c input clauses 2174 3600.07/3613.43 c input cardinalities 50 3600.07/3613.43 c input general constraints 320 3600.07/3613.43 c input average constraint length 9.51 3600.07/3613.43 c input average constraint degree 71.11 3600.07/3613.43 c learned clauses 175125 3600.07/3613.43 c learned cardinalities 7352 3600.07/3613.43 c learned general constraints 1410598 3600.07/3613.43 c learned average constraint length 540.96 3600.07/3613.43 c learned average constraint degree 4798572592.69 3600.07/3613.43 c watched constraints 1330242 3600.07/3613.43 c counting constraints 80676 3600.07/3613.43 c gcd simplifications 86647 3600.07/3613.43 c detected cardinalities 226 3600.07/3613.43 c weakened non-implied lits 93074149 3600.07/3613.43 c weakened non-implying lits 642412 3600.07/3613.43 c original variables 2130 3600.07/3613.43 c clausal propagations 1623933 3600.07/3613.43 c cardinality propagations 35447620 3600.07/3613.43 c watched propagations 109734990 3600.07/3613.43 c counting propagations 165904852 3600.07/3613.43 c watch lookups 41711448886 3600.07/3613.43 c watch backjump lookups 34537798870 3600.07/3613.43 c watch checks 575860076228 3600.07/3613.43 c propagation checks 52894632035 3600.07/3613.43 c constraint additions 2523005062 3600.07/3613.43 c trail pops 329844139 3600.07/3613.43 c formula constraints 2544 3600.07/3613.43 c learned constraints 1575859 3600.07/3613.43 c bound constraints 0 3600.07/3613.43 c core-guided constraints 0 3600.07/3613.43 c encountered formula constraints 8420982 3600.07/3613.43 c encountered learned constraints 4409943 3600.07/3613.43 c encountered bound constraints 0 3600.07/3613.43 c encountered core-guided constraints 0 3600.07/3613.43 c LP total time 117.77 s 3600.07/3613.43 c LP solve time 102.59 s 3600.07/3613.43 c LP constraints added 3338 3600.07/3613.43 c LP constraints removed 787 3600.07/3613.43 c LP pivots internal 1584492 3600.07/3613.43 c LP pivots root 12101 3600.07/3613.43 c LP calls 23302 3600.07/3613.43 c LP optimalities 14687 3600.07/3613.43 c LP no pivot count 7146 3600.07/3613.43 c LP infeasibilities 8609 3600.07/3613.43 c LP valid Farkas constraints 8608 3600.07/3613.43 c LP learned Farkas constraints 8608 3600.07/3613.43 c LP basis resets 4 3600.07/3613.43 c LP cycling count 0 3600.07/3613.43 c LP singular count 3 3600.07/3613.43 c LP no primal count 0 3600.07/3613.43 c LP no farkas count 1 3600.07/3613.43 c LP other issue count 0 3600.07/3613.43 c LP Gomory cuts 0 3600.07/3613.43 c LP learned cuts 794 3600.07/3613.43 c LP deleted cuts 787 3600.07/3613.43 c LP encountered Gomory constraints 0 3600.07/3613.43 c LP encountered Farkas constraints 462262 3600.07/3613.43 c LP encountered learned Farkas constraints 75873 3600.07/3613.43 c CG auxiliary variables introduced 0 3600.07/3613.43 c CG solutions found 0 3600.07/3613.43 c CG cores constructed 1 3600.07/3613.43 c CG core cardinality constraints returned 0 3600.07/3613.43 c CG unit cores 1 3600.07/3613.43 c CG single cores 0 3600.07/3613.43 c CG blocks removed during cardinality reduction 0 3600.07/3613.43 c CG first core best 0 3600.07/3613.43 c CG decision core best 0 3600.07/3613.43 c CG core reduction tie 0 3600.07/3613.43 c CG core degree average 0.00 3600.07/3613.43 c CG core slack average 0.00 3600.07/3613.43 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (49086 MiB free)
memory of node 1: 64473 MiB (46365 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456986-1721817510/watcher-4456986-1721817510 -o /tmp/evaluation-result-4456986-1721817510/solver-4456986-1721817510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228035 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456986-1721817510 --lp-cut-gomory=0 HOME/instance-4456986-1721817510.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=228946, runsolver pid=228943
[startup+0.100445 s]*
/proc/loadavg: 4.12 2.77 1.29 5/258 228947
/proc/meminfo: memFree=97730532/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=43080 memory=15476 CPUtime=0.09 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 2049 0 0 0 9 0 0 0 20 0 1 0 18279322 44113920 3869 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 10770 3869 1884 992 0 2628 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43080 KiB
Current children cumulated memory: 15476 KiB
[startup+0.205785 s]*
/proc/loadavg: 4.12 2.77 1.29 5/258 228947
/proc/meminfo: memFree=97726920/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=43264 memory=15736 CPUtime=0.19 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 2102 0 0 0 18 1 0 0 20 0 1 0 18279322 44302336 3934 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 10816 3934 1884 992 0 2674 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43264 KiB
Current children cumulated memory: 15736 KiB
[startup+0.305821 s]*
/proc/loadavg: 4.12 2.77 1.29 5/258 228947
/proc/meminfo: memFree=97723460/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=43608 memory=16264 CPUtime=0.29 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 2221 0 0 0 28 1 0 0 20 0 1 0 18279322 44654592 4066 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 10902 4066 1884 992 0 2760 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 16264 KiB
[startup+0.700233 s]
/proc/loadavg: 4.12 2.77 1.29 5/258 228947
/proc/meminfo: memFree=97715128/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=45528 memory=18804 CPUtime=0.68 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 3046 0 0 0 65 3 0 0 20 0 1 0 18279322 46620672 4701 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 11382 4701 1900 992 0 3240 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45528 KiB
Current children cumulated memory: 18804 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 2.77 1.29 5/258 228947
/proc/meminfo: memFree=97691652/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=55308 memory=25480 CPUtime=1.47 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 4695 0 0 0 142 5 0 0 20 0 1 0 18279322 56635392 6370 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 13827 6370 1900 992 0 5685 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 55308 KiB
Current children cumulated memory: 25480 KiB
[startup+3.1058 s]
/proc/loadavg: 4.12 2.77 1.29 5/258 228947
/proc/meminfo: memFree=97613952/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=66244 memory=34120 CPUtime=3.08 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 6365 0 0 0 297 11 0 0 20 0 1 0 18279322 67833856 8530 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 16561 8530 1900 992 0 8419 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 66244 KiB
Current children cumulated memory: 34120 KiB
[startup+6.30022 s]
/proc/loadavg: 4.11 2.79 1.30 5/258 228947
/proc/meminfo: memFree=97520648/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=70628 memory=38340 CPUtime=6.26 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 7398 0 0 0 602 24 0 0 20 0 1 0 18279322 72323072 9585 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 17657 9585 1900 992 0 9515 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 70628 KiB
Current children cumulated memory: 38340 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 2.81 1.32 5/258 228949
/proc/meminfo: memFree=97267128/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=75308 memory=47960 CPUtime=12.61 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 8790 0 0 0 1216 45 0 0 20 0 1 0 18279322 77115392 11990 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 18827 11990 1900 992 0 10685 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 75308 KiB
Current children cumulated memory: 47960 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 2.87 1.36 5/258 228951
/proc/meminfo: memFree=96662848/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=93888 memory=58256 CPUtime=25.37 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 10879 0 0 0 2459 78 0 0 20 0 1 0 18279322 96141312 14564 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 23472 14564 1900 992 0 15330 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 93888 KiB
Current children cumulated memory: 58256 KiB
[startup+51.1057 s]
/proc/loadavg: 4.05 2.96 1.43 5/258 228956
/proc/meminfo: memFree=96088304/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=103236 memory=71568 CPUtime=50.85 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 13198 0 0 0 4933 152 0 0 20 0 1 0 18279322 105713664 17892 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 25809 17892 1900 992 0 17667 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 103236 KiB
Current children cumulated memory: 71568 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.14 1.58 5/258 228965
/proc/meminfo: memFree=94870704/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=146192 memory=115668 CPUtime=101.8 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 19154 0 0 0 9942 238 0 0 20 0 1 0 18279322 149700608 28917 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 36548 28917 1900 992 0 28406 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 146192 KiB
Current children cumulated memory: 115668 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.32 1.74 5/259 228979
/proc/meminfo: memFree=93017444/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=192056 memory=133684 CPUtime=161.56 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 23096 0 0 0 15794 362 0 0 20 0 1 0 18279322 196665344 33421 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 48014 33421 1900 992 0 39872 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 192056 KiB
Current children cumulated memory: 133684 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.49 1.90 5/258 228991
/proc/meminfo: memFree=92181684/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=196404 memory=137644 CPUtime=221.3 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 24130 0 0 0 21658 472 0 0 20 0 1 0 18279322 201117696 34411 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 49101 34411 1900 992 0 40959 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 196404 KiB
Current children cumulated memory: 137644 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.58 2.03 5/253 229030
/proc/meminfo: memFree=91754776/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=209892 memory=151556 CPUtime=281.04 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 27056 0 0 0 27544 560 0 0 20 0 1 0 18279322 214929408 37889 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 52473 37889 1900 992 0 44331 0
Current children cumulated CPU time: 281.04 s
Current children cumulated vsize: 209892 KiB
Current children cumulated memory: 151556 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.69 2.17 5/254 229041
/proc/meminfo: memFree=90926632/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=213424 memory=155248 CPUtime=340.8 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 27984 0 0 0 33403 677 0 0 20 0 1 0 18279322 218546176 38812 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 53356 38812 1900 992 0 45214 0
Current children cumulated CPU time: 340.8 s
Current children cumulated vsize: 213424 KiB
Current children cumulated memory: 155248 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.77 2.29 5/255 229052
/proc/meminfo: memFree=90137860/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=217060 memory=158148 CPUtime=400.55 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 28742 0 0 0 39270 785 0 0 20 0 1 0 18279322 222269440 39537 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 54265 39537 1900 992 0 46123 0
Current children cumulated CPU time: 400.55 s
Current children cumulated vsize: 217060 KiB
Current children cumulated memory: 158148 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.84 2.41 5/260 229085
/proc/meminfo: memFree=97595276/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=227668 memory=185512 CPUtime=460.31 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 30965 0 0 0 45163 868 0 0 20 0 1 0 18279322 233132032 46378 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 56917 46378 1900 992 0 48775 0
################
# More data... #
################
Current children cumulated memory: 428772 KiB
[startup+2862.3 s]
/proc/loadavg: 4.26 4.27 4.10 5/259 232806
/proc/meminfo: memFree=82164544/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=512296 memory=428772 CPUtime=2851.71 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 67525 0 0 0 281700 3471 0 0 20 0 1 0 18279322 524591104 107193 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 128074 107193 1995 992 0 119932 0
Current children cumulated CPU time: 2851.71 s
Current children cumulated vsize: 512296 KiB
Current children cumulated memory: 428772 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.25 4.10 5/257 232816
/proc/meminfo: memFree=81528564/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=512296 memory=428772 CPUtime=2911.51 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 67703 0 0 0 287621 3530 0 0 20 0 1 0 18279322 524591104 107193 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 128074 107193 1995 992 0 119932 0
Current children cumulated CPU time: 2911.51 s
Current children cumulated vsize: 512296 KiB
Current children cumulated memory: 428772 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.22 4.09 5/257 232826
/proc/meminfo: memFree=81168156/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=512296 memory=432628 CPUtime=2971.29 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 67889 0 0 0 293535 3594 0 0 20 0 1 0 18279322 524591104 108157 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 128074 108157 1995 992 0 119932 0
Current children cumulated CPU time: 2971.29 s
Current children cumulated vsize: 512296 KiB
Current children cumulated memory: 432628 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.19 4.09 5/257 233004
/proc/meminfo: memFree=80731676/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=512940 memory=433192 CPUtime=3031.09 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 68222 0 0 0 299437 3672 0 0 20 0 1 0 18279322 525250560 108298 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 128235 108298 1995 992 0 120093 0
Current children cumulated CPU time: 3031.09 s
Current children cumulated vsize: 512940 KiB
Current children cumulated memory: 433192 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.18 4.09 5/257 233016
/proc/meminfo: memFree=80342416/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=515248 memory=435348 CPUtime=3090.87 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 68935 0 0 0 305338 3749 0 0 20 0 1 0 18279322 527613952 108837 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 128812 108837 1995 992 0 120670 0
Current children cumulated CPU time: 3090.87 s
Current children cumulated vsize: 515248 KiB
Current children cumulated memory: 435348 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.18 4.09 5/260 233085
/proc/meminfo: memFree=79879084/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=515380 memory=435584 CPUtime=3150.64 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 69159 0 0 0 311233 3831 0 0 20 0 1 0 18279322 527749120 108896 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 128845 108896 1995 992 0 120703 0
Current children cumulated CPU time: 3150.64 s
Current children cumulated vsize: 515380 KiB
Current children cumulated memory: 435584 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.18 4.09 5/259 233096
/proc/meminfo: memFree=79382448/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=516020 memory=436156 CPUtime=3210.41 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 69484 0 0 0 317147 3894 0 0 20 0 1 0 18279322 528404480 109039 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 129005 109039 1995 992 0 120863 0
Current children cumulated CPU time: 3210.41 s
Current children cumulated vsize: 516020 KiB
Current children cumulated memory: 436156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.17 4.09 5/258 233107
/proc/meminfo: memFree=78685252/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=516020 memory=436352 CPUtime=3270.18 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 69721 0 0 0 323063 3955 0 0 20 0 1 0 18279322 528404480 109088 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 129005 109088 1995 992 0 120863 0
Current children cumulated CPU time: 3270.18 s
Current children cumulated vsize: 516020 KiB
Current children cumulated memory: 436352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.09 5/259 233121
/proc/meminfo: memFree=77847984/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=518200 memory=437912 CPUtime=3329.94 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 70293 0 0 0 328971 4023 0 0 20 0 1 0 18279322 530636800 109478 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 129550 109478 1995 992 0 121408 0
Current children cumulated CPU time: 3329.94 s
Current children cumulated vsize: 518200 KiB
Current children cumulated memory: 437912 KiB
[startup+3402.3 s]
/proc/loadavg: 4.52 4.28 4.14 5/258 233132
/proc/meminfo: memFree=77245776/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=519752 memory=439240 CPUtime=3389.73 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 70809 0 0 0 334891 4082 0 0 20 0 1 0 18279322 532226048 109810 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 129938 109810 1995 992 0 121796 0
Current children cumulated CPU time: 3389.73 s
Current children cumulated vsize: 519752 KiB
Current children cumulated memory: 439240 KiB
[startup+3462.3 s]
/proc/loadavg: 4.40 4.29 4.15 5/260 233144
/proc/meminfo: memFree=76881204/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=520280 memory=439784 CPUtime=3449.51 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 71134 0 0 0 340809 4142 0 0 20 0 1 0 18279322 532766720 109946 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 130070 109946 1995 992 0 121928 0
Current children cumulated CPU time: 3449.51 s
Current children cumulated vsize: 520280 KiB
Current children cumulated memory: 439784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.25 4.14 5/257 233154
/proc/meminfo: memFree=76544668/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=521436 memory=440744 CPUtime=3509.3 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 71593 0 0 0 346724 4206 0 0 20 0 1 0 18279322 533950464 110186 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 130359 110186 1995 992 0 122217 0
Current children cumulated CPU time: 3509.3 s
Current children cumulated vsize: 521436 KiB
Current children cumulated memory: 440744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.23 4.14 5/259 233167
/proc/meminfo: memFree=75793904/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=521436 memory=440852 CPUtime=3569.08 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 71775 0 0 0 352672 4236 0 0 20 0 1 0 18279322 533950464 110213 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 130359 110213 1995 992 0 122217 0
Current children cumulated CPU time: 3569.08 s
Current children cumulated vsize: 521436 KiB
Current children cumulated memory: 440852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.4 s]
/proc/loadavg: 4.19 4.22 4.14 5/259 233172
/proc/meminfo: memFree=75539068/131524600 swapFree=131071216/131071996
[pid=228946] ppid=228943 vsize=521436 memory=440852 CPUtime=3600.07 cores=0,2
/proc/228946/stat : 228946 (roundingsat) R 228943 228946 228025 0 -1 4194304 71848 0 0 0 355758 4249 0 0 20 0 1 0 18279322 533950464 110213 134679101440 4194304 8254037 140736288432720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18104320 140736288437088 140736288437350 140736288437350 140736288444361 0
/proc/228946/statm: 130359 110213 1995 992 0 122217 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 521436 KiB
Current children cumulated memory: 440852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.43 s]
# the end of solver process 228946 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3557.59 s, system=42.5036 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3613.43
CPU time (s): 3600.1
CPU user time (s): 3557.59
CPU system time (s): 42.5036
CPU usage (%): 99.631
Max. virtual memory (cumulated for all children) (KiB): 521436
Max. memory (cumulated for all children) (KiB): 440852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.59
system time used= 42.5036
maximum resident set size= 440852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26188472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 441
involuntary context switches= 25562
# summary of solver processes directly reported to runsolver:
# pid: 228946
# total CPU time (s): 3600.1
# total CPU user time (s): 3557.59
# total CPU system time (s): 42.5036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7941 second user time and 17.9131 second system time
The end
Begin job on nodeC018 at 2024-07-24 12:38:30 IDJOB=4456986 IDBENCH=148770 IDSOLVER=3085 FILE ID=nodeC018/4456986-1721817510 RUNJOBID= nodeC018-1721817186-228035 SLURM_JOB_ID= 7816872 Free space on /tmp= 890048 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-4456986-1721817510/watcher-4456986-1721817510 -o /tmp/evaluation-result-4456986-1721817510/solver-4456986-1721817510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228035 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456986-1721817510 --lp-cut-gomory=0 HOME/instance-4456986-1721817510.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a RANDOM SEED=903170761 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3650.881 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.744 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3651.049 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.225 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.139 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.892 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.891 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.904 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 97742040 kB MemAvailable: 127284328 kB Buffers: 249944 kB Cached: 30024804 kB SwapCached: 184 kB Active: 2504816 kB Inactive: 30448564 kB Active(anon): 1544 kB Inactive(anon): 2730796 kB Active(file): 2503272 kB Inactive(file): 27717768 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 559300 kB Writeback: 8 kB AnonPages: 2674372 kB Mapped: 124512 kB Shmem: 53972 kB KReclaimable: 322144 kB Slab: 463688 kB SReclaimable: 322144 kB SUnreclaim: 141544 kB KernelStack: 4124 kB PageTables: 14804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3347324 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21088 kB HardwareCorrupted: 0 kB AnonHugePages: 866304 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: 375508 kB DirectMap2M: 43438080 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890052 MiB End job on nodeC018 at 2024-07-24 13:38:44