| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | SAT | 912.292 | 914.8 |
| Name | PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17ls.opb |
| MD5SUM | 577423e4c806b19b8b5f6a5daee1c614 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.011666 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 370 |
| Total number of constraints | 557 |
| Number of constraints which are clauses | 313 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 242 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 121 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 138 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.01 c RoundingSat 2 0.00/0.01 c branch 0.00/0.01 c commit 0.00/0.02 c #variables 370 #constraints 557 0.00/0.02 c rational objective 46.3636 0.28/0.33 c #Conflicts: 1000 | #Constraints: 1558 0.28/0.33 c #Conflicts: 2000 | #Constraints: 2559 0.28/0.33 c INPROCESSING 0.28/0.33 c GARBAGE COLLECT 0.28/0.33 c rational objective 46.3636 0.67/0.72 c #Conflicts: 3000 | #Constraints: 2564 0.67/0.72 c #Conflicts: 4000 | #Constraints: 3566 0.67/0.72 c INPROCESSING 0.67/0.72 c GARBAGE COLLECT 0.67/0.72 c rational objective 46.3636 1.08/1.15 c #Conflicts: 5000 | #Constraints: 2967 1.08/1.15 c #Conflicts: 6000 | #Constraints: 3968 1.08/1.15 c INPROCESSING 1.08/1.15 c GARBAGE COLLECT 1.08/1.15 c rational objective 46.3636 1.57/1.61 c #Conflicts: 7000 | #Constraints: 2973 1.57/1.61 c #Conflicts: 8000 | #Constraints: 3976 1.57/1.61 c #Conflicts: 9000 | #Constraints: 4976 1.57/1.61 c INPROCESSING 1.57/1.61 c GARBAGE COLLECT 1.57/1.61 c rational objective 46.3636 2.07/2.17 c #Conflicts: 10000 | #Constraints: 3673 2.07/2.17 c #Conflicts: 11000 | #Constraints: 4674 2.07/2.17 c #Conflicts: 12000 | #Constraints: 5675 2.07/2.17 c INPROCESSING 2.07/2.17 c GARBAGE COLLECT 2.07/2.17 c rational objective 46.3636 2.67/2.73 c #Conflicts: 13000 | #Constraints: 4121 2.67/2.73 c #Conflicts: 14000 | #Constraints: 5121 2.67/2.73 c #Conflicts: 15000 | #Constraints: 6122 2.67/2.73 c INPROCESSING 2.67/2.73 c GARBAGE COLLECT 2.67/2.73 c rational objective 46.3636 3.27/3.30 c #Conflicts: 16000 | #Constraints: 4354 3.27/3.30 c #Conflicts: 17000 | #Constraints: 5356 3.27/3.30 c #Conflicts: 18000 | #Constraints: 6359 3.27/3.30 c INPROCESSING 3.27/3.30 c GARBAGE COLLECT 3.27/3.30 c rational objective 46.3636 3.96/4.00 c #Conflicts: 19000 | #Constraints: 4365 3.96/4.00 c #Conflicts: 20000 | #Constraints: 5367 3.96/4.00 c #Conflicts: 21000 | #Constraints: 6368 3.96/4.00 c INPROCESSING 3.96/4.00 c GARBAGE COLLECT 3.96/4.00 c rational objective 46.3636 4.66/4.74 c #Conflicts: 22000 | #Constraints: 4167 4.66/4.74 c #Conflicts: 23000 | #Constraints: 5169 4.66/4.74 c #Conflicts: 24000 | #Constraints: 6171 4.66/4.74 c #Conflicts: 25000 | #Constraints: 7173 4.66/4.74 c INPROCESSING 4.66/4.74 c GARBAGE COLLECT 4.66/4.74 c rational objective 46.3636 5.46/5.54 c #Conflicts: 26000 | #Constraints: 4772 5.46/5.54 c #Conflicts: 27000 | #Constraints: 5774 5.46/5.54 c #Conflicts: 28000 | #Constraints: 6775 5.46/5.54 c #Conflicts: 29000 | #Constraints: 7775 5.46/5.54 c INPROCESSING 5.46/5.54 c GARBAGE COLLECT 5.46/5.54 c rational objective 46.3636 6.26/6.38 c #Conflicts: 30000 | #Constraints: 5174 6.26/6.38 c #Conflicts: 31000 | #Constraints: 6174 6.26/6.38 c #Conflicts: 32000 | #Constraints: 7177 6.26/6.38 c #Conflicts: 33000 | #Constraints: 8178 6.26/6.38 c INPROCESSING 6.26/6.38 c GARBAGE COLLECT 6.26/6.38 c rational objective 46.3636 7.15/7.23 c #Conflicts: 34000 | #Constraints: 5370 7.15/7.23 c #Conflicts: 35000 | #Constraints: 6375 7.15/7.23 c #Conflicts: 36000 | #Constraints: 7376 7.15/7.23 c #Conflicts: 37000 | #Constraints: 8378 7.15/7.23 c INPROCESSING 7.15/7.23 c GARBAGE COLLECT 7.15/7.23 c rational objective 46.3636 8.05/8.16 c #Conflicts: 38000 | #Constraints: 5374 8.05/8.16 c #Conflicts: 39000 | #Constraints: 6376 8.05/8.16 c #Conflicts: 40000 | #Constraints: 7378 8.05/8.16 c #Conflicts: 41000 | #Constraints: 8379 8.05/8.16 c INPROCESSING 8.05/8.16 c GARBAGE COLLECT 8.05/8.16 c rational objective 46.3636 9.05/9.14 c #Conflicts: 42000 | #Constraints: 5176 9.05/9.14 c #Conflicts: 43000 | #Constraints: 6179 9.05/9.14 c #Conflicts: 44000 | #Constraints: 7180 9.05/9.14 c #Conflicts: 45000 | #Constraints: 8185 9.05/9.14 c #Conflicts: 46000 | #Constraints: 9185 9.05/9.14 c INPROCESSING 9.05/9.14 c GARBAGE COLLECT 9.05/9.14 c rational objective 46.3636 10.14/10.25 c #Conflicts: 47000 | #Constraints: 5777 10.14/10.25 c #Conflicts: 48000 | #Constraints: 6778 10.14/10.25 c #Conflicts: 49000 | #Constraints: 7780 10.14/10.25 c #Conflicts: 50000 | #Constraints: 8782 10.14/10.25 c #Conflicts: 51000 | #Constraints: 9782 10.14/10.25 c INPROCESSING 10.14/10.25 c GARBAGE COLLECT 10.14/10.25 c rational objective 46.3636 11.23/11.37 c #Conflicts: 52000 | #Constraints: 6182 11.23/11.37 c #Conflicts: 53000 | #Constraints: 7183 11.23/11.37 c #Conflicts: 54000 | #Constraints: 8188 11.23/11.37 c #Conflicts: 55000 | #Constraints: 9190 11.23/11.37 c #Conflicts: 56000 | #Constraints: 10191 11.23/11.37 c INPROCESSING 11.23/11.37 c GARBAGE COLLECT 11.23/11.37 c rational objective 46.3636 12.53/12.64 c #Conflicts: 57000 | #Constraints: 6385 12.53/12.64 c #Conflicts: 58000 | #Constraints: 7387 12.53/12.64 c #Conflicts: 59000 | #Constraints: 8388 12.53/12.64 c #Conflicts: 60000 | #Constraints: 9391 12.53/12.64 c #Conflicts: 61000 | #Constraints: 10394 12.53/12.64 c INPROCESSING 12.53/12.64 c GARBAGE COLLECT 12.53/12.64 c rational objective 46.3636 13.83/13.98 c #Conflicts: 62000 | #Constraints: 6381 13.83/13.98 c #Conflicts: 63000 | #Constraints: 7386 13.83/13.98 c #Conflicts: 64000 | #Constraints: 8391 13.83/13.98 c #Conflicts: 65000 | #Constraints: 9391 13.83/13.98 c #Conflicts: 66000 | #Constraints: 10393 13.83/13.98 c INPROCESSING 13.83/13.98 c GARBAGE COLLECT 13.83/13.98 c rational objective 46.3636 15.22/15.31 c #Conflicts: 67000 | #Constraints: 6181 15.22/15.31 c #Conflicts: 68000 | #Constraints: 7185 15.22/15.31 c #Conflicts: 69000 | #Constraints: 8186 15.22/15.31 c #Conflicts: 70000 | #Constraints: 9187 15.22/15.31 c #Conflicts: 71000 | #Constraints: 10192 15.22/15.31 c #Conflicts: 72000 | #Constraints: 11197 15.22/15.31 c INPROCESSING 15.22/15.31 c GARBAGE COLLECT 15.22/15.31 c rational objective 46.3636 16.62/16.79 c #Conflicts: 73000 | #Constraints: 6780 16.62/16.79 c #Conflicts: 74000 | #Constraints: 7782 16.62/16.79 c #Conflicts: 75000 | #Constraints: 8785 16.62/16.79 c #Conflicts: 76000 | #Constraints: 9788 16.62/16.79 c #Conflicts: 77000 | #Constraints: 10789 16.62/16.79 c #Conflicts: 78000 | #Constraints: 11791 16.62/16.79 c INPROCESSING 16.62/16.79 c GARBAGE COLLECT 16.62/16.79 c rational objective 46.3636 18.02/18.17 c #Conflicts: 79000 | #Constraints: 7183 18.02/18.17 c #Conflicts: 80000 | #Constraints: 8189 18.02/18.17 c #Conflicts: 81000 | #Constraints: 9192 18.02/18.17 c #Conflicts: 82000 | #Constraints: 10192 18.02/18.17 c #Conflicts: 83000 | #Constraints: 11195 18.02/18.17 c #Conflicts: 84000 | #Constraints: 12195 18.02/18.17 c INPROCESSING 18.02/18.17 c GARBAGE COLLECT 18.02/18.17 c rational objective 46.3636 19.80/19.91 c #Conflicts: 85000 | #Constraints: 7387 19.80/19.91 c #Conflicts: 86000 | #Constraints: 8392 19.80/19.91 c #Conflicts: 87000 | #Constraints: 9394 19.80/19.91 c #Conflicts: 88000 | #Constraints: 10399 19.80/19.91 c #Conflicts: 89000 | #Constraints: 11401 19.80/19.91 c #Conflicts: 90000 | #Constraints: 12402 19.80/19.91 c INPROCESSING 19.80/19.91 c GARBAGE COLLECT 19.80/19.91 c rational objective 46.3636 21.70/21.87 c #Conflicts: 91000 | #Constraints: 7391 21.70/21.87 c #Conflicts: 92000 | #Constraints: 8399 21.70/21.87 c #Conflicts: 93000 | #Constraints: 9407 21.70/21.87 c #Conflicts: 94000 | #Constraints: 10412 21.70/21.87 c #Conflicts: 95000 | #Constraints: 11418 21.70/21.87 c #Conflicts: 96000 | #Constraints: 12421 21.70/21.87 c INPROCESSING 21.70/21.87 c GARBAGE COLLECT 21.70/21.87 c rational objective 46.3636 23.69/23.80 c #Conflicts: 97000 | #Constraints: 7196 23.69/23.80 c #Conflicts: 98000 | #Constraints: 8200 23.69/23.80 c #Conflicts: 99000 | #Constraints: 9201 23.69/23.80 c #Conflicts: 100000 | #Constraints: 10202 23.69/23.80 c #Conflicts: 101000 | #Constraints: 11205 23.69/23.80 c #Conflicts: 102000 | #Constraints: 12208 23.69/23.80 c #Conflicts: 103000 | #Constraints: 13210 23.69/23.80 c INPROCESSING 23.69/23.80 c GARBAGE COLLECT 23.69/23.80 c rational objective 46.3636 25.49/25.68 c #Conflicts: 104000 | #Constraints: 7786 25.49/25.68 c #Conflicts: 105000 | #Constraints: 8786 25.49/25.68 c #Conflicts: 106000 | #Constraints: 9787 25.49/25.68 c #Conflicts: 107000 | #Constraints: 10788 25.49/25.68 c #Conflicts: 108000 | #Constraints: 11790 25.49/25.68 c #Conflicts: 109000 | #Constraints: 12790 25.49/25.68 c #Conflicts: 110000 | #Constraints: 13790 25.49/25.68 c INPROCESSING 25.49/25.68 c GARBAGE COLLECT 25.49/25.68 c rational objective 46.3636 27.48/27.67 c #Conflicts: 111000 | #Constraints: 8184 27.48/27.67 c #Conflicts: 112000 | #Constraints: 9185 27.48/27.67 c #Conflicts: 113000 | #Constraints: 10187 27.48/27.67 c #Conflicts: 114000 | #Constraints: 11192 27.48/27.67 c #Conflicts: 115000 | #Constraints: 12193 27.48/27.67 c #Conflicts: 116000 | #Constraints: 13193 27.48/27.67 c #Conflicts: 117000 | #Constraints: 14196 27.48/27.67 c INPROCESSING 27.48/27.67 c GARBAGE COLLECT 27.48/27.67 c rational objective 46.3636 29.37/29.51 c #Conflicts: 118000 | #Constraints: 8386 29.37/29.51 c #Conflicts: 119000 | #Constraints: 9386 29.37/29.51 c #Conflicts: 120000 | #Constraints: 10386 29.37/29.51 c #Conflicts: 121000 | #Constraints: 11386 29.37/29.51 c #Conflicts: 122000 | #Constraints: 12386 29.37/29.51 c #Conflicts: 123000 | #Constraints: 13387 29.37/29.51 c #Conflicts: 124000 | #Constraints: 14389 29.37/29.51 c INPROCESSING 29.37/29.51 c GARBAGE COLLECT 29.37/29.51 c rational objective 46.3636 31.36/31.55 c #Conflicts: 125000 | #Constraints: 8382 31.36/31.55 c #Conflicts: 126000 | #Constraints: 9383 31.36/31.55 c #Conflicts: 127000 | #Constraints: 10385 31.36/31.55 c #Conflicts: 128000 | #Constraints: 11387 31.36/31.55 c #Conflicts: 129000 | #Constraints: 12389 31.36/31.55 c #Conflicts: 130000 | #Constraints: 13390 31.36/31.55 c #Conflicts: 131000 | #Constraints: 14391 31.36/31.55 c INPROCESSING 31.36/31.55 c GARBAGE COLLECT 31.36/31.55 c rational objective 46.3636 33.46/33.66 c #Conflicts: 132000 | #Constraints: 8181 33.46/33.66 c #Conflicts: 133000 | #Constraints: 9181 33.46/33.66 c #Conflicts: 134000 | #Constraints: 10182 33.46/33.66 c #Conflicts: 135000 | #Constraints: 11185 33.46/33.66 c #Conflicts: 136000 | #Constraints: 12186 33.46/33.66 c #Conflicts: 137000 | #Constraints: 13187 33.46/33.66 c #Conflicts: 138000 | #Constraints: 14188 33.46/33.66 c #Conflicts: 139000 | #Constraints: 15190 33.46/33.66 c INPROCESSING 33.46/33.66 c GARBAGE COLLECT 33.46/33.66 c rational objective 46.3636 35.86/36.01 c #Conflicts: 140000 | #Constraints: 8780 35.86/36.01 c #Conflicts: 141000 | #Constraints: 9784 35.86/36.01 c #Conflicts: 142000 | #Constraints: 10785 35.86/36.01 c #Conflicts: 143000 | #Constraints: 11787 35.86/36.01 c #Conflicts: 144000 | #Constraints: 12788 35.86/36.01 c #Conflicts: 145000 | #Constraints: 13789 35.86/36.01 c #Conflicts: 146000 | #Constraints: 14792 35.86/36.01 c #Conflicts: 147000 | #Constraints: 15793 35.86/36.01 c INPROCESSING 35.86/36.01 c GARBAGE COLLECT 35.86/36.01 c rational objective 46.3636 38.24/38.48 c #Conflicts: 148000 | #Constraints: 9185 38.24/38.48 c #Conflicts: 149000 | #Constraints: 10188 38.24/38.48 c #Conflicts: 150000 | #Constraints: 11189 38.24/38.48 c #Conflicts: 151000 | #Constraints: 12190 38.24/38.48 c #Conflicts: 152000 | #Constraints: 13193 38.24/38.48 c #Conflicts: 153000 | #Constraints: 14195 38.24/38.48 c #Conflicts: 154000 | #Constraints: 15196 38.24/38.48 c #Conflicts: 155000 | #Constraints: 16198 38.24/38.48 c INPROCESSING 38.24/38.48 c GARBAGE COLLECT 38.24/38.48 c rational objective 46.3636 40.64/40.86 c #Conflicts: 156000 | #Constraints: 9390 40.64/40.86 c #Conflicts: 157000 | #Constraints: 10391 40.64/40.86 c #Conflicts: 158000 | #Constraints: 11395 40.64/40.86 c #Conflicts: 159000 | #Constraints: 12398 40.64/40.86 c #Conflicts: 160000 | #Constraints: 13400 40.64/40.86 c #Conflicts: 161000 | #Constraints: 14401 40.64/40.86 c #Conflicts: 162000 | #Constraints: 15402 40.64/40.86 c #Conflicts: 163000 | #Constraints: 16406 40.64/40.86 c INPROCESSING 40.64/40.86 c GARBAGE COLLECT 40.64/40.86 c rational objective 46.3636 43.12/43.30 c #Conflicts: 164000 | #Constraints: 9387 43.12/43.30 c #Conflicts: 165000 | #Constraints: 10387 43.12/43.30 c #Conflicts: 166000 | #Constraints: 11387 43.12/43.30 c #Conflicts: 167000 | #Constraints: 12388 43.12/43.30 c #Conflicts: 168000 | #Constraints: 13391 43.12/43.30 c #Conflicts: 169000 | #Constraints: 14393 43.12/43.30 c #Conflicts: 170000 | #Constraints: 15395 43.12/43.30 c #Conflicts: 171000 | #Constraints: 16395 43.12/43.30 c INPROCESSING 43.12/43.30 c GARBAGE COLLECT 43.12/43.30 c rational objective 46.3636 45.42/45.67 c #Conflicts: 172000 | #Constraints: 9182 45.42/45.67 c #Conflicts: 173000 | #Constraints: 10185 45.42/45.67 c #Conflicts: 174000 | #Constraints: 11186 45.42/45.67 c #Conflicts: 175000 | #Constraints: 12186 45.42/45.67 c #Conflicts: 176000 | #Constraints: 13186 45.42/45.67 c #Conflicts: 177000 | #Constraints: 14188 45.42/45.67 c #Conflicts: 178000 | #Constraints: 15188 45.42/45.67 c #Conflicts: 179000 | #Constraints: 16191 45.42/45.67 c #Conflicts: 180000 | #Constraints: 17194 45.42/45.67 c INPROCESSING 45.42/45.67 c GARBAGE COLLECT 45.42/45.67 c rational objective 46.3636 47.71/47.96 c #Conflicts: 181000 | #Constraints: 9782 47.71/47.96 c #Conflicts: 182000 | #Constraints: 10784 47.71/47.96 c #Conflicts: 183000 | #Constraints: 11787 47.71/47.96 c #Conflicts: 184000 | #Constraints: 12792 47.71/47.96 c #Conflicts: 185000 | #Constraints: 13794 47.71/47.96 c #Conflicts: 186000 | #Constraints: 14799 47.71/47.96 c #Conflicts: 187000 | #Constraints: 15801 47.71/47.96 c #Conflicts: 188000 | #Constraints: 16804 47.71/47.96 c #Conflicts: 189000 | #Constraints: 17806 47.71/47.96 c INPROCESSING 47.71/47.96 c GARBAGE COLLECT 47.71/47.96 c rational objective 46.3636 50.00/50.25 c #Conflicts: 190000 | #Constraints: 10193 50.00/50.25 c #Conflicts: 191000 | #Constraints: 11195 50.00/50.25 c #Conflicts: 192000 | #Constraints: 12198 50.00/50.25 c #Conflicts: 193000 | #Constraints: 13199 50.00/50.25 c #Conflicts: 194000 | #Constraints: 14201 50.00/50.25 c #Conflicts: 195000 | #Constraints: 15204 50.00/50.25 c #Conflicts: 196000 | #Constraints: 16204 50.00/50.25 c #Conflicts: 197000 | #Constraints: 17206 50.00/50.25 c #Conflicts: 198000 | #Constraints: 18207 50.00/50.25 c INPROCESSING 50.00/50.25 c GARBAGE COLLECT 50.00/50.25 c rational objective 46.3636 52.99/53.27 c #Conflicts: 199000 | #Constraints: 10394 52.99/53.27 c #Conflicts: 200000 | #Constraints: 11399 52.99/53.27 c #Conflicts: 201000 | #Constraints: 12400 52.99/53.27 c #Conflicts: 202000 | #Constraints: 13401 52.99/53.27 c #Conflicts: 203000 | #Constraints: 14403 52.99/53.27 c #Conflicts: 204000 | #Constraints: 15405 52.99/53.27 c #Conflicts: 205000 | #Constraints: 16408 52.99/53.27 c #Conflicts: 206000 | #Constraints: 17410 52.99/53.27 c #Conflicts: 207000 | #Constraints: 18413 52.99/53.27 c INPROCESSING 52.99/53.27 c GARBAGE COLLECT 52.99/53.27 c rational objective 46.3636 55.79/56.05 c #Conflicts: 208000 | #Constraints: 10395 55.79/56.05 c #Conflicts: 209000 | #Constraints: 11396 55.79/56.05 c #Conflicts: 210000 | #Constraints: 12397 55.79/56.05 c #Conflicts: 211000 | #Constraints: 13400 55.79/56.05 c #Conflicts: 212000 | #Constraints: 14400 55.79/56.05 c #Conflicts: 213000 | #Constraints: 15402 55.79/56.05 c #Conflicts: 214000 | #Constraints: 16405 55.79/56.05 c #Conflicts: 215000 | #Constraints: 17408 55.79/56.05 c #Conflicts: 216000 | #Constraints: 18410 55.79/56.05 c INPROCESSING 55.79/56.05 c GARBAGE COLLECT 55.79/56.05 c rational objective 46.3636 58.88/59.16 c #Conflicts: 217000 | #Constraints: 10192 58.88/59.16 c #Conflicts: 218000 | #Constraints: 11193 58.88/59.16 c #Conflicts: 219000 | #Constraints: 12195 58.88/59.16 c #Conflicts: 220000 | #Constraints: 13196 58.88/59.16 c #Conflicts: 221000 | #Constraints: 14200 58.88/59.16 c #Conflicts: 222000 | #Constraints: 15201 58.88/59.16 c #Conflicts: 223000 | #Constraints: 16205 58.88/59.16 c #Conflicts: 224000 | #Constraints: 17209 58.88/59.16 c #Conflicts: 225000 | #Constraints: 18214 58.88/59.16 c #Conflicts: 226000 | #Constraints: 19218 58.88/59.16 c INPROCESSING 58.88/59.16 c GARBAGE COLLECT 58.88/59.16 c rational objective 46.3636 62.07/62.38 c #Conflicts: 227000 | #Constraints: 10799 62.07/62.38 c #Conflicts: 228000 | #Constraints: 11806 62.07/62.38 c #Conflicts: 229000 | #Constraints: 12813 62.07/62.38 c #Conflicts: 230000 | #Constraints: 13820 62.07/62.38 c #Conflicts: 231000 | #Constraints: 14825 62.07/62.38 c #Conflicts: 232000 | #Constraints: 15830 62.07/62.38 c #Conflicts: 233000 | #Constraints: 16830 62.07/62.38 c #Conflicts: 234000 | #Constraints: 17831 62.07/62.38 c #Conflicts: 235000 | #Constraints: 18832 62.07/62.38 c #Conflicts: 236000 | #Constraints: 19832 62.07/62.38 c INPROCESSING 62.07/62.38 c GARBAGE COLLECT 62.07/62.38 c rational objective 46.3636 64.96/65.27 c #Conflicts: 237000 | #Constraints: 11200 64.96/65.27 c #Conflicts: 238000 | #Constraints: 12202 64.96/65.27 c #Conflicts: 239000 | #Constraints: 13203 64.96/65.27 c #Conflicts: 240000 | #Constraints: 14205 64.96/65.27 c #Conflicts: 241000 | #Constraints: 15207 64.96/65.27 c #Conflicts: 242000 | #Constraints: 16208 64.96/65.27 c #Conflicts: 243000 | #Constraints: 17209 64.96/65.27 c #Conflicts: 244000 | #Constraints: 18212 64.96/65.27 c #Conflicts: 245000 | #Constraints: 19213 64.96/65.27 c #Conflicts: 246000 | #Constraints: 20213 64.96/65.27 c INPROCESSING 64.96/65.27 c GARBAGE COLLECT 64.96/65.27 c rational objective 46.3636 68.05/68.34 c #Conflicts: 247000 | #Constraints: 11394 68.05/68.34 c #Conflicts: 248000 | #Constraints: 12397 68.05/68.34 c #Conflicts: 249000 | #Constraints: 13400 68.05/68.34 c #Conflicts: 250000 | #Constraints: 14409 68.05/68.34 c #Conflicts: 251000 | #Constraints: 15412 68.05/68.34 c #Conflicts: 252000 | #Constraints: 16414 68.05/68.34 c #Conflicts: 253000 | #Constraints: 17415 68.05/68.34 c #Conflicts: 254000 | #Constraints: 18415 68.05/68.34 c #Conflicts: 255000 | #Constraints: 19416 68.05/68.34 c #Conflicts: 256000 | #Constraints: 20419 68.05/68.34 c INPROCESSING 68.05/68.34 c GARBAGE COLLECT 68.05/68.34 c rational objective 46.3636 71.04/71.38 c #Conflicts: 257000 | #Constraints: 11399 71.04/71.38 c #Conflicts: 258000 | #Constraints: 12400 71.04/71.38 c #Conflicts: 259000 | #Constraints: 13402 71.04/71.38 c #Conflicts: 260000 | #Constraints: 14402 71.04/71.38 c #Conflicts: 261000 | #Constraints: 15405 71.04/71.38 c #Conflicts: 262000 | #Constraints: 16407 71.04/71.38 c #Conflicts: 263000 | #Constraints: 17409 71.04/71.38 c #Conflicts: 264000 | #Constraints: 18409 71.04/71.38 c #Conflicts: 265000 | #Constraints: 19410 71.04/71.38 c #Conflicts: 266000 | #Constraints: 20412 71.04/71.38 c INPROCESSING 71.04/71.38 c GARBAGE COLLECT 71.04/71.38 c rational objective 46.3636 74.43/74.73 c #Conflicts: 267000 | #Constraints: 11191 74.43/74.73 c #Conflicts: 268000 | #Constraints: 12197 74.43/74.73 c #Conflicts: 269000 | #Constraints: 13199 74.43/74.73 c #Conflicts: 270000 | #Constraints: 14204 74.43/74.73 c #Conflicts: 271000 | #Constraints: 15204 74.43/74.73 c #Conflicts: 272000 | #Constraints: 16207 74.43/74.73 c #Conflicts: 273000 | #Constraints: 17210 74.43/74.73 c #Conflicts: 274000 | #Constraints: 18210 74.43/74.73 c #Conflicts: 275000 | #Constraints: 19211 74.43/74.73 c #Conflicts: 276000 | #Constraints: 20211 74.43/74.73 c #Conflicts: 277000 | #Constraints: 21211 74.43/74.73 c INPROCESSING 74.43/74.73 c GARBAGE COLLECT 74.43/74.73 c rational objective 46.3636 77.92/78.24 c #Conflicts: 278000 | #Constraints: 11793 77.92/78.24 c #Conflicts: 279000 | #Constraints: 12795 77.92/78.24 c #Conflicts: 280000 | #Constraints: 13795 77.92/78.24 c #Conflicts: 281000 | #Constraints: 14795 77.92/78.24 c #Conflicts: 282000 | #Constraints: 15795 77.92/78.24 c #Conflicts: 283000 | #Constraints: 16798 77.92/78.24 c #Conflicts: 284000 | #Constraints: 17800 77.92/78.24 c #Conflicts: 285000 | #Constraints: 18803 77.92/78.24 c #Conflicts: 286000 | #Constraints: 19805 77.92/78.24 c #Conflicts: 287000 | #Constraints: 20807 77.92/78.24 c #Conflicts: 288000 | #Constraints: 21807 77.92/78.24 c INPROCESSING 77.92/78.24 c GARBAGE COLLECT 77.92/78.24 c rational objective 46.3636 81.31/81.60 c #Conflicts: 289000 | #Constraints: 12192 81.31/81.60 c #Conflicts: 290000 | #Constraints: 13193 81.31/81.60 c #Conflicts: 291000 | #Constraints: 14194 81.31/81.60 c #Conflicts: 292000 | #Constraints: 15194 81.31/81.60 c #Conflicts: 293000 | #Constraints: 16195 81.31/81.60 c #Conflicts: 294000 | #Constraints: 17196 81.31/81.60 c #Conflicts: 295000 | #Constraints: 18196 81.31/81.60 c #Conflicts: 296000 | #Constraints: 19198 81.31/81.60 c #Conflicts: 297000 | #Constraints: 20201 81.31/81.60 c #Conflicts: 298000 | #Constraints: 21205 81.31/81.60 c #Conflicts: 299000 | #Constraints: 22207 81.31/81.60 c INPROCESSING 81.31/81.60 c GARBAGE COLLECT 81.31/81.60 c rational objective 46.3636 84.70/85.07 c #Conflicts: 300000 | #Constraints: 12392 84.70/85.07 c #Conflicts: 301000 | #Constraints: 13394 84.70/85.07 c #Conflicts: 302000 | #Constraints: 14397 84.70/85.07 c #Conflicts: 303000 | #Constraints: 15397 84.70/85.07 c #Conflicts: 304000 | #Constraints: 16399 84.70/85.07 c #Conflicts: 305000 | #Constraints: 17399 84.70/85.07 c #Conflicts: 306000 | #Constraints: 18404 84.70/85.07 c #Conflicts: 307000 | #Constraints: 19409 84.70/85.07 c #Conflicts: 308000 | #Constraints: 20412 84.70/85.07 c #Conflicts: 309000 | #Constraints: 21415 84.70/85.07 c #Conflicts: 310000 | #Constraints: 22420 84.70/85.07 c INPROCESSING 84.70/85.07 c GARBAGE COLLECT 84.70/85.07 c rational objective 46.3636 87.88/88.25 c #Conflicts: 311000 | #Constraints: 12398 87.88/88.25 c #Conflicts: 312000 | #Constraints: 13400 87.88/88.25 c #Conflicts: 313000 | #Constraints: 14401 87.88/88.25 c #Conflicts: 314000 | #Constraints: 15402 87.88/88.25 c #Conflicts: 315000 | #Constraints: 16403 87.88/88.25 c #Conflicts: 316000 | #Constraints: 17403 87.88/88.25 c #Conflicts: 317000 | #Constraints: 18404 87.88/88.25 c #Conflicts: 318000 | #Constraints: 19404 87.88/88.25 c #Conflicts: 319000 | #Constraints: 20405 87.88/88.25 c #Conflicts: 320000 | #Constraints: 21406 87.88/88.25 c #Conflicts: 321000 | #Constraints: 22410 87.88/88.25 c INPROCESSING 87.88/88.25 c GARBAGE COLLECT 87.88/88.25 c rational objective 46.3636 91.88/92.28 c #Conflicts: 322000 | #Constraints: 12197 91.88/92.28 c #Conflicts: 323000 | #Constraints: 13204 91.88/92.28 c #Conflicts: 324000 | #Constraints: 14206 91.88/92.28 c #Conflicts: 325000 | #Constraints: 15207 91.88/92.28 c #Conflicts: 326000 | #Constraints: 16209 91.88/92.28 c #Conflicts: 327000 | #Constraints: 17210 91.88/92.28 c #Conflicts: 328000 | #Constraints: 18211 91.88/92.28 c #Conflicts: 329000 | #Constraints: 19213 91.88/92.28 c #Conflicts: 330000 | #Constraints: 20218 91.88/92.28 c #Conflicts: 331000 | #Constraints: 21220 91.88/92.28 c #Conflicts: 332000 | #Constraints: 22221 91.88/92.28 c #Conflicts: 333000 | #Constraints: 23226 91.88/92.28 c INPROCESSING 91.88/92.28 c GARBAGE COLLECT 91.88/92.28 c rational objective 46.3636 95.77/96.13 c #Conflicts: 334000 | #Constraints: 12805 95.77/96.13 c #Conflicts: 335000 | #Constraints: 13808 95.77/96.13 c #Conflicts: 336000 | #Constraints: 14809 95.77/96.13 c #Conflicts: 337000 | #Constraints: 15813 95.77/96.13 c #Conflicts: 338000 | #Constraints: 16815 95.77/96.13 c #Conflicts: 339000 | #Constraints: 17816 95.77/96.13 c #Conflicts: 340000 | #Constraints: 18816 95.77/96.13 c #Conflicts: 341000 | #Constraints: 19817 95.77/96.13 c #Conflicts: 342000 | #Constraints: 20819 95.77/96.13 c #Conflicts: 343000 | #Constraints: 21822 95.77/96.13 c #Conflicts: 344000 | #Constraints: 22823 95.77/96.13 c #Conflicts: 345000 | #Constraints: 23824 95.77/96.13 c INPROCESSING 95.77/96.13 c GARBAGE COLLECT 95.77/96.13 c rational objective 46.3636 99.55/99.97 c #Conflicts: 346000 | #Constraints: 13199 99.55/99.97 c #Conflicts: 347000 | #Constraints: 14203 99.55/99.97 c #Conflicts: 348000 | #Constraints: 15206 99.55/99.97 c #Conflicts: 349000 | #Constraints: 16206 99.55/99.97 c #Conflicts: 350000 | #Constraints: 17208 99.55/99.97 c #Conflicts: 351000 | #Constraints: 18214 99.55/99.97 c #Conflicts: 352000 | #Constraints: 19216 99.55/99.97 c #Conflicts: 353000 | #Constraints: 20219 99.55/99.97 c #Conflicts: 354000 | #Constraints: 21219 99.55/99.97 c #Conflicts: 355000 | #Constraints: 22221 99.55/99.97 c #Conflicts: 356000 | #Constraints: 23222 99.55/99.97 c #Conflicts: 357000 | #Constraints: 24224 99.55/99.97 c INPROCESSING 99.55/99.97 c GARBAGE COLLECT 99.55/99.97 c rational objective 46.3636 103.74/104.10 c #Conflicts: 358000 | #Constraints: 13403 103.74/104.10 c #Conflicts: 359000 | #Constraints: 14408 103.74/104.10 c #Conflicts: 360000 | #Constraints: 15409 103.74/104.10 c #Conflicts: 361000 | #Constraints: 16410 103.74/104.10 c #Conflicts: 362000 | #Constraints: 17410 103.74/104.10 c #Conflicts: 363000 | #Constraints: 18411 103.74/104.10 c #Conflicts: 364000 | #Constraints: 19416 103.74/104.10 c #Conflicts: 365000 | #Constraints: 20419 103.74/104.10 c #Conflicts: 366000 | #Constraints: 21420 103.74/104.10 c #Conflicts: 367000 | #Constraints: 22421 103.74/104.10 c #Conflicts: 368000 | #Constraints: 23422 103.74/104.10 c #Conflicts: 369000 | #Constraints: 24425 103.74/104.10 c INPROCESSING 103.74/104.10 c GARBAGE COLLECT 103.74/104.10 c rational objective 46.3636 107.63/108.03 c #Conflicts: 370000 | #Constraints: 13403 107.63/108.03 c #Conflicts: 371000 | #Constraints: 14407 107.63/108.03 c #Conflicts: 372000 | #Constraints: 15409 107.63/108.03 c #Conflicts: 373000 | #Constraints: 16409 107.63/108.03 c #Conflicts: 374000 | #Constraints: 17410 107.63/108.03 c #Conflicts: 375000 | #Constraints: 18410 107.63/108.03 c #Conflicts: 376000 | #Constraints: 19413 107.63/108.03 c #Conflicts: 377000 | #Constraints: 20415 107.63/108.03 c #Conflicts: 378000 | #Constraints: 21416 107.63/108.03 c #Conflicts: 379000 | #Constraints: 22417 107.63/108.03 c #Conflicts: 380000 | #Constraints: 23420 107.63/108.03 c #Conflicts: 381000 | #Constraints: 24426 107.63/108.03 c INPROCESSING 107.63/108.03 c GARBAGE COLLECT 107.63/108.03 c rational objective 46.3636 111.92/112.39 c #Conflicts: 382000 | #Constraints: 13201 111.92/112.39 c #Conflicts: 383000 | #Constraints: 14203 111.92/112.39 c #Conflicts: 384000 | #Constraints: 15205 111.92/112.39 c #Conflicts: 385000 | #Constraints: 16206 111.92/112.39 c #Conflicts: 386000 | #Constraints: 17206 111.92/112.39 c #Conflicts: 387000 | #Constraints: 18207 111.92/112.39 c #Conflicts: 388000 | #Constraints: 19208 111.92/112.39 c #Conflicts: 389000 | #Constraints: 20210 111.92/112.39 c #Conflicts: 390000 | #Constraints: 21211 111.92/112.39 c #Conflicts: 391000 | #Constraints: 22212 111.92/112.39 c #Conflicts: 392000 | #Constraints: 23212 111.92/112.39 c #Conflicts: 393000 | #Constraints: 24213 111.92/112.39 c #Conflicts: 394000 | #Constraints: 25213 111.92/112.39 c INPROCESSING 111.92/112.39 c GARBAGE COLLECT 111.92/112.39 c rational objective 46.3636 116.50/116.98 c #Conflicts: 395000 | #Constraints: 13792 116.50/116.98 c #Conflicts: 396000 | #Constraints: 14793 116.50/116.98 c #Conflicts: 397000 | #Constraints: 15793 116.50/116.98 c #Conflicts: 398000 | #Constraints: 16793 116.50/116.98 c #Conflicts: 399000 | #Constraints: 17795 116.50/116.98 c #Conflicts: 400000 | #Constraints: 18799 116.50/116.98 c #Conflicts: 401000 | #Constraints: 19801 116.50/116.98 c #Conflicts: 402000 | #Constraints: 20802 116.50/116.98 c #Conflicts: 403000 | #Constraints: 21806 116.50/116.98 c #Conflicts: 404000 | #Constraints: 22807 116.50/116.98 c #Conflicts: 405000 | #Constraints: 23812 116.50/116.98 c #Conflicts: 406000 | #Constraints: 24815 116.50/116.98 c #Conflicts: 407000 | #Constraints: 25818 116.50/116.98 c INPROCESSING 116.50/116.98 c GARBAGE COLLECT 116.50/116.98 c rational objective 46.3636 120.79/121.23 c #Conflicts: 408000 | #Constraints: 14196 120.79/121.23 c #Conflicts: 409000 | #Constraints: 15201 120.79/121.23 c #Conflicts: 410000 | #Constraints: 16203 120.79/121.23 c #Conflicts: 411000 | #Constraints: 17205 120.79/121.23 c #Conflicts: 412000 | #Constraints: 18207 120.79/121.23 c #Conflicts: 413000 | #Constraints: 19211 120.79/121.23 c #Conflicts: 414000 | #Constraints: 20213 120.79/121.23 c #Conflicts: 415000 | #Constraints: 21215 120.79/121.23 c #Conflicts: 416000 | #Constraints: 22219 120.79/121.23 c #Conflicts: 417000 | #Constraints: 23221 120.79/121.23 c #Conflicts: 418000 | #Constraints: 24225 120.79/121.23 c #Conflicts: 419000 | #Constraints: 25227 120.79/121.23 c #Conflicts: 420000 | #Constraints: 26229 120.79/121.23 c INPROCESSING 120.79/121.23 c GARBAGE COLLECT 120.79/121.23 c rational objective 46.3636 125.17/125.63 c #Conflicts: 421000 | #Constraints: 14405 125.17/125.63 c #Conflicts: 422000 | #Constraints: 15413 125.17/125.63 c #Conflicts: 423000 | #Constraints: 16417 125.17/125.63 c #Conflicts: 424000 | #Constraints: 17418 125.17/125.63 c #Conflicts: 425000 | #Constraints: 18419 125.17/125.63 c #Conflicts: 426000 | #Constraints: 19420 125.17/125.63 c #Conflicts: 427000 | #Constraints: 20421 125.17/125.63 c #Conflicts: 428000 | #Constraints: 21423 125.17/125.63 c #Conflicts: 429000 | #Constraints: 22428 125.17/125.63 c #Conflicts: 430000 | #Constraints: 23429 125.17/125.63 c #Conflicts: 431000 | #Constraints: 24431 125.17/125.63 c #Conflicts: 432000 | #Constraints: 25431 125.17/125.63 c #Conflicts: 433000 | #Constraints: 26433 125.17/125.63 c INPROCESSING 125.17/125.63 c GARBAGE COLLECT 125.17/125.63 c rational objective 46.3636 129.46/129.90 c #Conflicts: 434000 | #Constraints: 14406 129.46/129.90 c #Conflicts: 435000 | #Constraints: 15410 129.46/129.90 c #Conflicts: 436000 | #Constraints: 16414 129.46/129.90 c #Conflicts: 437000 | #Constraints: 17418 129.46/129.90 c #Conflicts: 438000 | #Constraints: 18420 129.46/129.90 c #Conflicts: 439000 | #Constraints: 19422 129.46/129.90 c #Conflicts: 440000 | #Constraints: 20424 129.46/129.90 c #Conflicts: 441000 | #Constraints: 21429 129.46/129.90 c #Conflicts: 442000 | #Constraints: 22431 129.46/129.90 c #Conflicts: 443000 | #Constraints: 23437 129.46/129.90 c #Conflicts: 444000 | #Constraints: 24440 129.46/129.90 c #Conflicts: 445000 | #Constraints: 25440 129.46/129.90 c #Conflicts: 446000 | #Constraints: 26447 129.46/129.90 c INPROCESSING 129.46/129.90 c GARBAGE COLLECT 129.46/129.90 c rational objective 46.3636 135.44/135.94 c #Conflicts: 447000 | #Constraints: 14215 135.44/135.94 c #Conflicts: 448000 | #Constraints: 15220 135.44/135.94 c #Conflicts: 449000 | #Constraints: 16223 135.44/135.94 c #Conflicts: 450000 | #Constraints: 17227 135.44/135.94 c #Conflicts: 451000 | #Constraints: 18234 135.44/135.94 c #Conflicts: 452000 | #Constraints: 19236 135.44/135.94 c #Conflicts: 453000 | #Constraints: 20240 135.44/135.94 c #Conflicts: 454000 | #Constraints: 21243 135.44/135.94 c #Conflicts: 455000 | #Constraints: 22249 135.44/135.94 c #Conflicts: 456000 | #Constraints: 23253 135.44/135.94 c #Conflicts: 457000 | #Constraints: 24257 135.44/135.94 c #Conflicts: 458000 | #Constraints: 25261 135.44/135.94 c #Conflicts: 459000 | #Constraints: 26264 135.44/135.94 c #Conflicts: 460000 | #Constraints: 27269 135.44/135.94 c INPROCESSING 135.44/135.94 c GARBAGE COLLECT 135.44/135.94 c rational objective 46.3636 140.03/140.58 c #Conflicts: 461000 | #Constraints: 14825 140.03/140.58 c #Conflicts: 462000 | #Constraints: 15827 140.03/140.58 c #Conflicts: 463000 | #Constraints: 16830 140.03/140.58 c #Conflicts: 464000 | #Constraints: 17833 140.03/140.58 c #Conflicts: 465000 | #Constraints: 18836 140.03/140.58 c #Conflicts: 466000 | #Constraints: 19838 140.03/140.58 c #Conflicts: 467000 | #Constraints: 20842 140.03/140.58 c #Conflicts: 468000 | #Constraints: 21843 140.03/140.58 c #Conflicts: 469000 | #Constraints: 22845 140.03/140.58 c #Conflicts: 470000 | #Constraints: 23847 140.03/140.58 c #Conflicts: 471000 | #Constraints: 24850 140.03/140.58 c #Conflicts: 472000 | #Constraints: 25853 140.03/140.58 c #Conflicts: 473000 | #Constraints: 26856 140.03/140.58 c #Conflicts: 474000 | #Constraints: 27861 140.03/140.58 c INPROCESSING 140.03/140.58 c GARBAGE COLLECT 140.03/140.58 c rational objective 46.3636 145.91/146.43 c #Conflicts: 475000 | #Constraints: 15220 145.91/146.43 c #Conflicts: 476000 | #Constraints: 16223 145.91/146.43 c #Conflicts: 477000 | #Constraints: 17223 145.91/146.43 c #Conflicts: 478000 | #Constraints: 18226 145.91/146.43 c #Conflicts: 479000 | #Constraints: 19227 145.91/146.43 c #Conflicts: 480000 | #Constraints: 20234 145.91/146.43 c #Conflicts: 481000 | #Constraints: 21240 145.91/146.43 c #Conflicts: 482000 | #Constraints: 22241 145.91/146.43 c #Conflicts: 483000 | #Constraints: 23245 145.91/146.43 c #Conflicts: 484000 | #Constraints: 24246 145.91/146.43 c #Conflicts: 485000 | #Constraints: 25247 145.91/146.43 c #Conflicts: 486000 | #Constraints: 26252 145.91/146.43 c #Conflicts: 487000 | #Constraints: 27252 145.91/146.43 c #Conflicts: 488000 | #Constraints: 28254 145.91/146.43 c INPROCESSING 145.91/146.43 c GARBAGE COLLECT 145.91/146.43 c rational objective 46.3636 151.70/152.28 c #Conflicts: 489000 | #Constraints: 15423 151.70/152.28 c #Conflicts: 490000 | #Constraints: 16429 151.70/152.28 c #Conflicts: 491000 | #Constraints: 17432 151.70/152.28 c #Conflicts: 492000 | #Constraints: 18437 151.70/152.28 c #Conflicts: 493000 | #Constraints: 19442 151.70/152.28 c #Conflicts: 494000 | #Constraints: 20445 151.70/152.28 c #Conflicts: 495000 | #Constraints: 21452 151.70/152.28 c #Conflicts: 496000 | #Constraints: 22457 151.70/152.28 c #Conflicts: 497000 | #Constraints: 23459 151.70/152.28 c #Conflicts: 498000 | #Constraints: 24465 151.70/152.28 c #Conflicts: 499000 | #Constraints: 25475 151.70/152.28 c #Conflicts: 500000 | #Constraints: 26479 151.70/152.28 c #Conflicts: 501000 | #Constraints: 27484 151.70/152.28 c #Conflicts: 502000 | #Constraints: 28491 151.70/152.28 c INPROCESSING 151.70/152.28 c GARBAGE COLLECT 151.70/152.28 c rational objective 46.3636 157.68/158.28 c #Conflicts: 503000 | #Constraints: 15437 157.68/158.28 c #Conflicts: 504000 | #Constraints: 16440 157.68/158.28 c #Conflicts: 505000 | #Constraints: 17443 157.68/158.28 c #Conflicts: 506000 | #Constraints: 18449 157.68/158.28 c #Conflicts: 507000 | #Constraints: 19450 157.68/158.28 c #Conflicts: 508000 | #Constraints: 20455 157.68/158.28 c #Conflicts: 509000 | #Constraints: 21458 157.68/158.28 c #Conflicts: 510000 | #Constraints: 22461 157.68/158.28 c #Conflicts: 511000 | #Constraints: 23463 157.68/158.28 c #Conflicts: 512000 | #Constraints: 24463 157.68/158.28 c #Conflicts: 513000 | #Constraints: 25469 157.68/158.28 c #Conflicts: 514000 | #Constraints: 26470 157.68/158.28 c #Conflicts: 515000 | #Constraints: 27472 157.68/158.28 c #Conflicts: 516000 | #Constraints: 28475 157.68/158.28 c INPROCESSING 157.68/158.28 c GARBAGE COLLECT 157.68/158.28 c rational objective 46.3636 162.66/163.24 c #Conflicts: 517000 | #Constraints: 15226 162.66/163.24 c #Conflicts: 518000 | #Constraints: 16228 162.66/163.24 c #Conflicts: 519000 | #Constraints: 17230 162.66/163.24 c #Conflicts: 520000 | #Constraints: 18232 162.66/163.24 c #Conflicts: 521000 | #Constraints: 19234 162.66/163.24 c #Conflicts: 522000 | #Constraints: 20234 162.66/163.24 c #Conflicts: 523000 | #Constraints: 21235 162.66/163.24 c #Conflicts: 524000 | #Constraints: 22236 162.66/163.24 c #Conflicts: 525000 | #Constraints: 23237 162.66/163.24 c #Conflicts: 526000 | #Constraints: 24238 162.66/163.24 c #Conflicts: 527000 | #Constraints: 25242 162.66/163.24 c #Conflicts: 528000 | #Constraints: 26244 162.66/163.24 c #Conflicts: 529000 | #Constraints: 27246 162.66/163.24 c #Conflicts: 530000 | #Constraints: 28248 162.66/163.24 c #Conflicts: 531000 | #Constraints: 29256 162.66/163.24 c INPROCESSING 162.66/163.24 c GARBAGE COLLECT 162.66/163.24 c rational objective 46.3636 168.45/169.09 c #Conflicts: 532000 | #Constraints: 15817 168.45/169.09 c #Conflicts: 533000 | #Constraints: 16818 168.45/169.09 c #Conflicts: 534000 | #Constraints: 17819 168.45/169.09 c #Conflicts: 535000 | #Constraints: 18823 168.45/169.09 c #Conflicts: 536000 | #Constraints: 19825 168.45/169.09 c #Conflicts: 537000 | #Constraints: 20825 168.45/169.09 c #Conflicts: 538000 | #Constraints: 21828 168.45/169.09 c #Conflicts: 539000 | #Constraints: 22828 168.45/169.09 c #Conflicts: 540000 | #Constraints: 23830 168.45/169.09 c #Conflicts: 541000 | #Constraints: 24831 168.45/169.09 c #Conflicts: 542000 | #Constraints: 25834 168.45/169.09 c #Conflicts: 543000 | #Constraints: 26837 168.45/169.09 c #Conflicts: 544000 | #Constraints: 27840 168.45/169.09 c #Conflicts: 545000 | #Constraints: 28841 168.45/169.09 c #Conflicts: 546000 | #Constraints: 29842 168.45/169.09 c INPROCESSING 168.45/169.09 c GARBAGE COLLECT 168.45/169.09 c rational objective 46.3636 174.22/174.86 c #Conflicts: 547000 | #Constraints: 16211 174.22/174.86 c #Conflicts: 548000 | #Constraints: 17215 174.22/174.86 c #Conflicts: 549000 | #Constraints: 18217 174.22/174.86 c #Conflicts: 550000 | #Constraints: 19220 174.22/174.86 c #Conflicts: 551000 | #Constraints: 20224 174.22/174.86 c #Conflicts: 552000 | #Constraints: 21228 174.22/174.86 c #Conflicts: 553000 | #Constraints: 22232 174.22/174.86 c #Conflicts: 554000 | #Constraints: 23236 174.22/174.86 c #Conflicts: 555000 | #Constraints: 24238 174.22/174.86 c #Conflicts: 556000 | #Constraints: 25241 174.22/174.86 c #Conflicts: 557000 | #Constraints: 26247 174.22/174.86 c #Conflicts: 558000 | #Constraints: 27252 174.22/174.86 c #Conflicts: 559000 | #Constraints: 28255 174.22/174.86 c #Conflicts: 560000 | #Constraints: 29255 174.22/174.86 c #Conflicts: 561000 | #Constraints: 30256 174.22/174.86 c INPROCESSING 174.22/174.86 c GARBAGE COLLECT 174.22/174.86 c rational objective 46.3636 180.41/181.01 c #Conflicts: 562000 | #Constraints: 16415 180.41/181.01 c #Conflicts: 563000 | #Constraints: 17417 180.41/181.01 c #Conflicts: 564000 | #Constraints: 18420 180.41/181.01 c #Conflicts: 565000 | #Constraints: 19425 180.41/181.01 c #Conflicts: 566000 | #Constraints: 20427 180.41/181.01 c #Conflicts: 567000 | #Constraints: 21431 180.41/181.01 c #Conflicts: 568000 | #Constraints: 22434 180.41/181.01 c #Conflicts: 569000 | #Constraints: 23438 180.41/181.01 c #Conflicts: 570000 | #Constraints: 24442 180.41/181.01 c #Conflicts: 571000 | #Constraints: 25447 180.41/181.01 c #Conflicts: 572000 | #Constraints: 26449 180.41/181.01 c #Conflicts: 573000 | #Constraints: 27451 180.41/181.01 c #Conflicts: 574000 | #Constraints: 28452 180.41/181.01 c #Conflicts: 575000 | #Constraints: 29454 180.41/181.01 c #Conflicts: 576000 | #Constraints: 30457 180.41/181.01 c INPROCESSING 180.41/181.01 c GARBAGE COLLECT 180.41/181.01 c rational objective 46.3636 186.39/187.06 c #Conflicts: 577000 | #Constraints: 16424 186.39/187.06 c #Conflicts: 578000 | #Constraints: 17425 186.39/187.06 c #Conflicts: 579000 | #Constraints: 18426 186.39/187.06 c #Conflicts: 580000 | #Constraints: 19426 186.39/187.06 c #Conflicts: 581000 | #Constraints: 20429 186.39/187.06 c #Conflicts: 582000 | #Constraints: 21429 186.39/187.06 c #Conflicts: 583000 | #Constraints: 22430 186.39/187.06 c #Conflicts: 584000 | #Constraints: 23431 186.39/187.06 c #Conflicts: 585000 | #Constraints: 24440 186.39/187.06 c #Conflicts: 586000 | #Constraints: 25440 186.39/187.06 c #Conflicts: 587000 | #Constraints: 26440 186.39/187.06 c #Conflicts: 588000 | #Constraints: 27443 186.39/187.06 c #Conflicts: 589000 | #Constraints: 28446 186.39/187.06 c #Conflicts: 590000 | #Constraints: 29449 186.39/187.06 c #Conflicts: 591000 | #Constraints: 30449 186.39/187.06 c INPROCESSING 186.39/187.06 c GARBAGE COLLECT 186.39/187.06 c rational objective 46.3636 191.87/192.58 c #Conflicts: 592000 | #Constraints: 16212 191.87/192.58 c #Conflicts: 593000 | #Constraints: 17219 191.87/192.58 c #Conflicts: 594000 | #Constraints: 18220 191.87/192.58 c #Conflicts: 595000 | #Constraints: 19221 191.87/192.58 c #Conflicts: 596000 | #Constraints: 20222 191.87/192.58 c #Conflicts: 597000 | #Constraints: 21229 191.87/192.58 c #Conflicts: 598000 | #Constraints: 22233 191.87/192.58 c #Conflicts: 599000 | #Constraints: 23236 191.87/192.58 c #Conflicts: 600000 | #Constraints: 24239 191.87/192.58 c #Conflicts: 601000 | #Constraints: 25239 191.87/192.58 c #Conflicts: 602000 | #Constraints: 26241 191.87/192.58 c #Conflicts: 603000 | #Constraints: 27245 191.87/192.58 c #Conflicts: 604000 | #Constraints: 28248 191.87/192.58 c #Conflicts: 605000 | #Constraints: 29252 191.87/192.58 c #Conflicts: 606000 | #Constraints: 30254 191.87/192.58 c #Conflicts: 607000 | #Constraints: 31258 191.87/192.58 c INPROCESSING 191.87/192.58 c GARBAGE COLLECT 191.87/192.58 c rational objective 46.3636 198.05/198.74 c #Conflicts: 608000 | #Constraints: 16816 198.05/198.74 c #Conflicts: 609000 | #Constraints: 17823 198.05/198.74 c #Conflicts: 610000 | #Constraints: 18834 198.05/198.74 c #Conflicts: 611000 | #Constraints: 19843 198.05/198.74 c #Conflicts: 612000 | #Constraints: 20849 198.05/198.74 c #Conflicts: 613000 | #Constraints: 21854 198.05/198.74 c #Conflicts: 614000 | #Constraints: 22858 198.05/198.74 c #Conflicts: 615000 | #Constraints: 23860 198.05/198.74 c #Conflicts: 616000 | #Constraints: 24863 198.05/198.74 c #Conflicts: 617000 | #Constraints: 25866 198.05/198.74 c #Conflicts: 618000 | #Constraints: 26866 198.05/198.74 c #Conflicts: 619000 | #Constraints: 27870 198.05/198.74 c #Conflicts: 620000 | #Constraints: 28872 198.05/198.74 c #Conflicts: 621000 | #Constraints: 29872 198.05/198.74 c #Conflicts: 622000 | #Constraints: 30873 198.05/198.74 c #Conflicts: 623000 | #Constraints: 31876 198.05/198.74 c INPROCESSING 198.05/198.74 c GARBAGE COLLECT 198.05/198.74 c rational objective 46.3636 204.44/205.17 c #Conflicts: 624000 | #Constraints: 17227 204.44/205.17 c #Conflicts: 625000 | #Constraints: 18230 204.44/205.17 c #Conflicts: 626000 | #Constraints: 19231 204.44/205.17 c #Conflicts: 627000 | #Constraints: 20231 204.44/205.17 c #Conflicts: 628000 | #Constraints: 21233 204.44/205.17 c #Conflicts: 629000 | #Constraints: 22236 204.44/205.17 c #Conflicts: 630000 | #Constraints: 23236 204.44/205.17 c #Conflicts: 631000 | #Constraints: 24238 204.44/205.17 c #Conflicts: 632000 | #Constraints: 25238 204.44/205.17 c #Conflicts: 633000 | #Constraints: 26239 204.44/205.17 c #Conflicts: 634000 | #Constraints: 27242 204.44/205.17 c #Conflicts: 635000 | #Constraints: 28242 204.44/205.17 c #Conflicts: 636000 | #Constraints: 29246 204.44/205.17 c #Conflicts: 637000 | #Constraints: 30247 204.44/205.17 c #Conflicts: 638000 | #Constraints: 31251 204.44/205.17 c #Conflicts: 639000 | #Constraints: 32255 204.44/205.17 c INPROCESSING 204.44/205.17 c GARBAGE COLLECT 204.44/205.17 c rational objective 46.3636 210.81/211.51 c #Conflicts: 640000 | #Constraints: 17415 210.81/211.51 c #Conflicts: 641000 | #Constraints: 18420 210.81/211.51 c #Conflicts: 642000 | #Constraints: 19421 210.81/211.51 c #Conflicts: 643000 | #Constraints: 20421 210.81/211.51 c #Conflicts: 644000 | #Constraints: 21426 210.81/211.51 c #Conflicts: 645000 | #Constraints: 22429 210.81/211.51 c #Conflicts: 646000 | #Constraints: 23437 210.81/211.51 c #Conflicts: 647000 | #Constraints: 24438 210.81/211.51 c #Conflicts: 648000 | #Constraints: 25438 210.81/211.51 c #Conflicts: 649000 | #Constraints: 26439 210.81/211.51 c #Conflicts: 650000 | #Constraints: 27442 210.81/211.51 c #Conflicts: 651000 | #Constraints: 28444 210.81/211.51 c #Conflicts: 652000 | #Constraints: 29445 210.81/211.51 c #Conflicts: 653000 | #Constraints: 30455 210.81/211.51 c #Conflicts: 654000 | #Constraints: 31459 210.81/211.51 c #Conflicts: 655000 | #Constraints: 32460 210.81/211.51 c INPROCESSING 210.81/211.51 c GARBAGE COLLECT 210.81/211.51 c rational objective 46.3636 217.40/218.11 c #Conflicts: 656000 | #Constraints: 17421 217.40/218.11 c #Conflicts: 657000 | #Constraints: 18424 217.40/218.11 c #Conflicts: 658000 | #Constraints: 19426 217.40/218.11 c #Conflicts: 659000 | #Constraints: 20426 217.40/218.11 c #Conflicts: 660000 | #Constraints: 21430 217.40/218.11 c #Conflicts: 661000 | #Constraints: 22432 217.40/218.11 c #Conflicts: 662000 | #Constraints: 23433 217.40/218.11 c #Conflicts: 663000 | #Constraints: 24437 217.40/218.11 c #Conflicts: 664000 | #Constraints: 25441 217.40/218.11 c #Conflicts: 665000 | #Constraints: 26443 217.40/218.11 c #Conflicts: 666000 | #Constraints: 27444 217.40/218.11 c #Conflicts: 667000 | #Constraints: 28446 217.40/218.11 c #Conflicts: 668000 | #Constraints: 29449 217.40/218.11 c #Conflicts: 669000 | #Constraints: 30455 217.40/218.11 c #Conflicts: 670000 | #Constraints: 31457 217.40/218.11 c #Conflicts: 671000 | #Constraints: 32457 217.40/218.11 c INPROCESSING 217.40/218.11 c GARBAGE COLLECT 217.40/218.11 c rational objective 46.3636 224.28/225.04 c #Conflicts: 672000 | #Constraints: 17213 224.28/225.04 c #Conflicts: 673000 | #Constraints: 18215 224.28/225.04 c #Conflicts: 674000 | #Constraints: 19218 224.28/225.04 c #Conflicts: 675000 | #Constraints: 20219 224.28/225.04 c #Conflicts: 676000 | #Constraints: 21220 224.28/225.04 c #Conflicts: 677000 | #Constraints: 22221 224.28/225.04 c #Conflicts: 678000 | #Constraints: 23224 224.28/225.04 c #Conflicts: 679000 | #Constraints: 24227 224.28/225.04 c #Conflicts: 680000 | #Constraints: 25231 224.28/225.04 c #Conflicts: 681000 | #Constraints: 26231 224.28/225.04 c #Conflicts: 682000 | #Constraints: 27231 224.28/225.04 c #Conflicts: 683000 | #Constraints: 28232 224.28/225.04 c #Conflicts: 684000 | #Constraints: 29235 224.28/225.04 c #Conflicts: 685000 | #Constraints: 30236 224.28/225.04 c #Conflicts: 686000 | #Constraints: 31239 224.28/225.04 c #Conflicts: 687000 | #Constraints: 32241 224.28/225.04 c #Conflicts: 688000 | #Constraints: 33246 224.28/225.04 c INPROCESSING 224.28/225.04 c GARBAGE COLLECT 224.28/225.04 c rational objective 46.3636 230.55/231.35 c #Conflicts: 689000 | #Constraints: 17811 230.55/231.35 c #Conflicts: 690000 | #Constraints: 18815 230.55/231.35 c #Conflicts: 691000 | #Constraints: 19815 230.55/231.35 c #Conflicts: 692000 | #Constraints: 20818 230.55/231.35 c #Conflicts: 693000 | #Constraints: 21820 230.55/231.35 c #Conflicts: 694000 | #Constraints: 22824 230.55/231.35 c #Conflicts: 695000 | #Constraints: 23825 230.55/231.35 c #Conflicts: 696000 | #Constraints: 24825 230.55/231.35 c #Conflicts: 697000 | #Constraints: 25829 230.55/231.35 c #Conflicts: 698000 | #Constraints: 26831 230.55/231.35 c #Conflicts: 699000 | #Constraints: 27832 230.55/231.35 c #Conflicts: 700000 | #Constraints: 28836 230.55/231.35 c #Conflicts: 701000 | #Constraints: 29836 230.55/231.35 c #Conflicts: 702000 | #Constraints: 30839 230.55/231.35 c #Conflicts: 703000 | #Constraints: 31839 230.55/231.35 c #Conflicts: 704000 | #Constraints: 32841 230.55/231.35 c #Conflicts: 705000 | #Constraints: 33841 230.55/231.35 c INPROCESSING 230.55/231.35 c GARBAGE COLLECT 230.55/231.35 c rational objective 46.3636 236.83/237.62 c #Conflicts: 706000 | #Constraints: 18209 236.83/237.62 c #Conflicts: 707000 | #Constraints: 19211 236.83/237.62 c #Conflicts: 708000 | #Constraints: 20211 236.83/237.62 c #Conflicts: 709000 | #Constraints: 21211 236.83/237.62 c #Conflicts: 710000 | #Constraints: 22212 236.83/237.62 c #Conflicts: 711000 | #Constraints: 23213 236.83/237.62 c #Conflicts: 712000 | #Constraints: 24214 236.83/237.62 c #Conflicts: 713000 | #Constraints: 25217 236.83/237.62 c #Conflicts: 714000 | #Constraints: 26219 236.83/237.62 c #Conflicts: 715000 | #Constraints: 27221 236.83/237.62 c #Conflicts: 716000 | #Constraints: 28221 236.83/237.62 c #Conflicts: 717000 | #Constraints: 29221 236.83/237.62 c #Conflicts: 718000 | #Constraints: 30223 236.83/237.62 c #Conflicts: 719000 | #Constraints: 31225 236.83/237.62 c #Conflicts: 720000 | #Constraints: 32227 236.83/237.62 c #Conflicts: 721000 | #Constraints: 33228 236.83/237.62 c #Conflicts: 722000 | #Constraints: 34229 236.83/237.62 c INPROCESSING 236.83/237.62 c GARBAGE COLLECT 236.83/237.62 c rational objective 46.3636 244.41/245.28 c #Conflicts: 723000 | #Constraints: 18404 244.41/245.28 c #Conflicts: 724000 | #Constraints: 19405 244.41/245.28 c #Conflicts: 725000 | #Constraints: 20409 244.41/245.28 c #Conflicts: 726000 | #Constraints: 21410 244.41/245.28 c #Conflicts: 727000 | #Constraints: 22414 244.41/245.28 c #Conflicts: 728000 | #Constraints: 23421 244.41/245.28 c #Conflicts: 729000 | #Constraints: 24425 244.41/245.28 c #Conflicts: 730000 | #Constraints: 25429 244.41/245.28 c #Conflicts: 731000 | #Constraints: 26434 244.41/245.28 c #Conflicts: 732000 | #Constraints: 27439 244.41/245.28 c #Conflicts: 733000 | #Constraints: 28442 244.41/245.28 c #Conflicts: 734000 | #Constraints: 29448 244.41/245.28 c #Conflicts: 735000 | #Constraints: 30451 244.41/245.28 c #Conflicts: 736000 | #Constraints: 31455 244.41/245.28 c #Conflicts: 737000 | #Constraints: 32458 244.41/245.28 c #Conflicts: 738000 | #Constraints: 33460 244.41/245.28 c #Conflicts: 739000 | #Constraints: 34467 244.41/245.28 c INPROCESSING 244.41/245.28 c GARBAGE COLLECT 244.41/245.28 c rational objective 46.3636 252.09/252.98 c #Conflicts: 740000 | #Constraints: 18423 252.09/252.98 c #Conflicts: 741000 | #Constraints: 19434 252.09/252.98 c #Conflicts: 742000 | #Constraints: 20438 252.09/252.98 c #Conflicts: 743000 | #Constraints: 21441 252.09/252.98 c #Conflicts: 744000 | #Constraints: 22444 252.09/252.98 c #Conflicts: 745000 | #Constraints: 23446 252.09/252.98 c #Conflicts: 746000 | #Constraints: 24446 252.09/252.98 c #Conflicts: 747000 | #Constraints: 25448 252.09/252.98 c #Conflicts: 748000 | #Constraints: 26450 252.09/252.98 c #Conflicts: 749000 | #Constraints: 27452 252.09/252.98 c #Conflicts: 750000 | #Constraints: 28454 252.09/252.98 c #Conflicts: 751000 | #Constraints: 29455 252.09/252.98 c #Conflicts: 752000 | #Constraints: 30458 252.09/252.98 c #Conflicts: 753000 | #Constraints: 31462 252.09/252.98 c #Conflicts: 754000 | #Constraints: 32463 252.09/252.98 c #Conflicts: 755000 | #Constraints: 33465 252.09/252.98 c #Conflicts: 756000 | #Constraints: 34466 252.09/252.98 c INPROCESSING 252.09/252.98 c GARBAGE COLLECT 252.09/252.98 c rational objective 46.3636 259.17/260.06 c #Conflicts: 757000 | #Constraints: 18221 259.17/260.06 c #Conflicts: 758000 | #Constraints: 19222 259.17/260.06 c #Conflicts: 759000 | #Constraints: 20223 259.17/260.06 c #Conflicts: 760000 | #Constraints: 21224 259.17/260.06 c #Conflicts: 761000 | #Constraints: 22229 259.17/260.06 c #Conflicts: 762000 | #Constraints: 23233 259.17/260.06 c #Conflicts: 763000 | #Constraints: 24235 259.17/260.06 c #Conflicts: 764000 | #Constraints: 25236 259.17/260.06 c #Conflicts: 765000 | #Constraints: 26238 259.17/260.06 c #Conflicts: 766000 | #Constraints: 27240 259.17/260.06 c #Conflicts: 767000 | #Constraints: 28243 259.17/260.06 c #Conflicts: 768000 | #Constraints: 29244 259.17/260.06 c #Conflicts: 769000 | #Constraints: 30247 259.17/260.06 c #Conflicts: 770000 | #Constraints: 31248 259.17/260.06 c #Conflicts: 771000 | #Constraints: 32252 259.17/260.06 c #Conflicts: 772000 | #Constraints: 33254 259.17/260.06 c #Conflicts: 773000 | #Constraints: 34255 259.17/260.06 c #Conflicts: 774000 | #Constraints: 35257 259.17/260.06 c INPROCESSING 259.17/260.06 c GARBAGE COLLECT 259.17/260.06 c rational objective 46.3636 266.25/267.18 c #Conflicts: 775000 | #Constraints: 18814 266.25/267.18 c #Conflicts: 776000 | #Constraints: 19815 266.25/267.18 c #Conflicts: 777000 | #Constraints: 20817 266.25/267.18 c #Conflicts: 778000 | #Constraints: 21823 266.25/267.18 c #Conflicts: 779000 | #Constraints: 22825 266.25/267.18 c #Conflicts: 780000 | #Constraints: 23826 266.25/267.18 c #Conflicts: 781000 | #Constraints: 24827 266.25/267.18 c #Conflicts: 782000 | #Constraints: 25827 266.25/267.18 c #Conflicts: 783000 | #Constraints: 26828 266.25/267.18 c #Conflicts: 784000 | #Constraints: 27830 266.25/267.18 c #Conflicts: 785000 | #Constraints: 28833 266.25/267.18 c #Conflicts: 786000 | #Constraints: 29836 266.25/267.18 c #Conflicts: 787000 | #Constraints: 30840 266.25/267.18 c #Conflicts: 788000 | #Constraints: 31842 266.25/267.18 c #Conflicts: 789000 | #Constraints: 32844 266.25/267.18 c #Conflicts: 790000 | #Constraints: 33845 266.25/267.18 c #Conflicts: 791000 | #Constraints: 34847 266.25/267.18 c #Conflicts: 792000 | #Constraints: 35847 266.25/267.18 c INPROCESSING 266.25/267.18 c GARBAGE COLLECT 266.25/267.18 c rational objective 46.3636 273.72/274.68 c #Conflicts: 793000 | #Constraints: 19209 273.72/274.68 c #Conflicts: 794000 | #Constraints: 20210 273.72/274.68 c #Conflicts: 795000 | #Constraints: 21212 273.72/274.68 c #Conflicts: 796000 | #Constraints: 22216 273.72/274.68 c #Conflicts: 797000 | #Constraints: 23217 273.72/274.68 c #Conflicts: 798000 | #Constraints: 24219 273.72/274.68 c #Conflicts: 799000 | #Constraints: 25221 273.72/274.68 c #Conflicts: 800000 | #Constraints: 26221 273.72/274.68 c #Conflicts: 801000 | #Constraints: 27222 273.72/274.68 c #Conflicts: 802000 | #Constraints: 28222 273.72/274.68 c #Conflicts: 803000 | #Constraints: 29223 273.72/274.68 c #Conflicts: 804000 | #Constraints: 30230 273.72/274.68 c #Conflicts: 805000 | #Constraints: 31235 273.72/274.68 c #Conflicts: 806000 | #Constraints: 32238 273.72/274.68 c #Conflicts: 807000 | #Constraints: 33243 273.72/274.68 c #Conflicts: 808000 | #Constraints: 34243 273.72/274.68 c #Conflicts: 809000 | #Constraints: 35245 273.72/274.68 c #Conflicts: 810000 | #Constraints: 36245 273.72/274.68 c INPROCESSING 273.72/274.68 c GARBAGE COLLECT 273.72/274.68 c rational objective 46.3636 282.39/283.32 c #Conflicts: 811000 | #Constraints: 19412 282.39/283.32 c #Conflicts: 812000 | #Constraints: 20415 282.39/283.32 c #Conflicts: 813000 | #Constraints: 21417 282.39/283.32 c #Conflicts: 814000 | #Constraints: 22417 282.39/283.32 c #Conflicts: 815000 | #Constraints: 23417 282.39/283.32 c #Conflicts: 816000 | #Constraints: 24418 282.39/283.32 c #Conflicts: 817000 | #Constraints: 25419 282.39/283.32 c #Conflicts: 818000 | #Constraints: 26421 282.39/283.32 c #Conflicts: 819000 | #Constraints: 27424 282.39/283.32 c #Conflicts: 820000 | #Constraints: 28426 282.39/283.32 c #Conflicts: 821000 | #Constraints: 29428 282.39/283.32 c #Conflicts: 822000 | #Constraints: 30428 282.39/283.32 c #Conflicts: 823000 | #Constraints: 31431 282.39/283.32 c #Conflicts: 824000 | #Constraints: 32437 282.39/283.32 c #Conflicts: 825000 | #Constraints: 33441 282.39/283.32 c #Conflicts: 826000 | #Constraints: 34445 282.39/283.32 c #Conflicts: 827000 | #Constraints: 35448 282.39/283.32 c #Conflicts: 828000 | #Constraints: 36457 282.39/283.32 c INPROCESSING 282.39/283.32 c GARBAGE COLLECT 282.39/283.32 c rational objective 46.3636 291.08/292.04 c #Conflicts: 829000 | #Constraints: 19421 291.08/292.04 c #Conflicts: 830000 | #Constraints: 20423 291.08/292.04 c #Conflicts: 831000 | #Constraints: 21428 291.08/292.04 c #Conflicts: 832000 | #Constraints: 22435 291.08/292.04 c #Conflicts: 833000 | #Constraints: 23440 291.08/292.04 c #Conflicts: 834000 | #Constraints: 24444 291.08/292.04 c #Conflicts: 835000 | #Constraints: 25447 291.08/292.04 c #Conflicts: 836000 | #Constraints: 26450 291.08/292.04 c #Conflicts: 837000 | #Constraints: 27451 291.08/292.04 c #Conflicts: 838000 | #Constraints: 28454 291.08/292.04 c #Conflicts: 839000 | #Constraints: 29457 291.08/292.04 c #Conflicts: 840000 | #Constraints: 30462 291.08/292.04 c #Conflicts: 841000 | #Constraints: 31468 291.08/292.04 c #Conflicts: 842000 | #Constraints: 32470 291.08/292.04 c #Conflicts: 843000 | #Constraints: 33476 291.08/292.04 c #Conflicts: 844000 | #Constraints: 34480 291.08/292.04 c #Conflicts: 845000 | #Constraints: 35484 291.08/292.04 c #Conflicts: 846000 | #Constraints: 36489 291.08/292.04 c INPROCESSING 291.08/292.04 c GARBAGE COLLECT 291.08/292.04 c rational objective 46.3636 299.14/300.18 c #Conflicts: 847000 | #Constraints: 19235 299.14/300.18 c #Conflicts: 848000 | #Constraints: 20235 299.14/300.18 c #Conflicts: 849000 | #Constraints: 21236 299.14/300.18 c #Conflicts: 850000 | #Constraints: 22239 299.14/300.18 c #Conflicts: 851000 | #Constraints: 23239 299.14/300.18 c #Conflicts: 852000 | #Constraints: 24241 299.14/300.18 c #Conflicts: 853000 | #Constraints: 25243 299.14/300.18 c #Conflicts: 854000 | #Constraints: 26244 299.14/300.18 c #Conflicts: 855000 | #Constraints: 27245 299.14/300.18 c #Conflicts: 856000 | #Constraints: 28249 299.14/300.18 c #Conflicts: 857000 | #Constraints: 29251 299.14/300.18 c #Conflicts: 858000 | #Constraints: 30255 299.14/300.18 c #Conflicts: 859000 | #Constraints: 31258 299.14/300.18 c #Conflicts: 860000 | #Constraints: 32259 299.14/300.18 c #Conflicts: 861000 | #Constraints: 33261 299.14/300.18 c #Conflicts: 862000 | #Constraints: 34263 299.14/300.18 c #Conflicts: 863000 | #Constraints: 35265 299.14/300.18 c #Conflicts: 864000 | #Constraints: 36270 299.14/300.18 c #Conflicts: 865000 | #Constraints: 37274 299.14/300.18 c INPROCESSING 299.14/300.18 c GARBAGE COLLECT 299.14/300.18 c rational objective 46.3636 307.31/308.34 c #Conflicts: 866000 | #Constraints: 19827 307.31/308.34 c #Conflicts: 867000 | #Constraints: 20830 307.31/308.34 c #Conflicts: 868000 | #Constraints: 21830 307.31/308.34 c #Conflicts: 869000 | #Constraints: 22833 307.31/308.34 c #Conflicts: 870000 | #Constraints: 23833 307.31/308.34 c #Conflicts: 871000 | #Constraints: 24834 307.31/308.34 c #Conflicts: 872000 | #Constraints: 25835 307.31/308.34 c #Conflicts: 873000 | #Constraints: 26837 307.31/308.34 c #Conflicts: 874000 | #Constraints: 27839 307.31/308.34 c #Conflicts: 875000 | #Constraints: 28841 307.31/308.34 c #Conflicts: 876000 | #Constraints: 29845 307.31/308.34 c #Conflicts: 877000 | #Constraints: 30846 307.31/308.34 c #Conflicts: 878000 | #Constraints: 31849 307.31/308.34 c #Conflicts: 879000 | #Constraints: 32851 307.31/308.34 c #Conflicts: 880000 | #Constraints: 33853 307.31/308.34 c #Conflicts: 881000 | #Constraints: 34856 307.31/308.34 c #Conflicts: 882000 | #Constraints: 35860 307.31/308.34 c #Conflicts: 883000 | #Constraints: 36862 307.31/308.34 c #Conflicts: 884000 | #Constraints: 37868 307.31/308.34 c INPROCESSING 307.31/308.34 c GARBAGE COLLECT 307.31/308.34 c rational objective 46.3636 315.99/317.06 c #Conflicts: 885000 | #Constraints: 20219 315.99/317.06 c #Conflicts: 886000 | #Constraints: 21221 315.99/317.06 c #Conflicts: 887000 | #Constraints: 22223 315.99/317.06 c #Conflicts: 888000 | #Constraints: 23225 315.99/317.06 c #Conflicts: 889000 | #Constraints: 24228 315.99/317.06 c #Conflicts: 890000 | #Constraints: 25233 315.99/317.06 c #Conflicts: 891000 | #Constraints: 26234 315.99/317.06 c #Conflicts: 892000 | #Constraints: 27235 315.99/317.06 c #Conflicts: 893000 | #Constraints: 28235 315.99/317.06 c #Conflicts: 894000 | #Constraints: 29235 315.99/317.06 c #Conflicts: 895000 | #Constraints: 30238 315.99/317.06 c #Conflicts: 896000 | #Constraints: 31240 315.99/317.06 c #Conflicts: 897000 | #Constraints: 32240 315.99/317.06 c #Conflicts: 898000 | #Constraints: 33241 315.99/317.06 c #Conflicts: 899000 | #Constraints: 34243 315.99/317.06 c #Conflicts: 900000 | #Constraints: 35244 315.99/317.06 c #Conflicts: 901000 | #Constraints: 36247 315.99/317.06 c #Conflicts: 902000 | #Constraints: 37248 315.99/317.06 c #Conflicts: 903000 | #Constraints: 38250 315.99/317.06 c INPROCESSING 315.99/317.06 c GARBAGE COLLECT 315.99/317.06 c rational objective 46.3636 325.16/326.28 c #Conflicts: 904000 | #Constraints: 20409 325.16/326.28 c #Conflicts: 905000 | #Constraints: 21410 325.16/326.28 c #Conflicts: 906000 | #Constraints: 22415 325.16/326.28 c #Conflicts: 907000 | #Constraints: 23417 325.16/326.28 c #Conflicts: 908000 | #Constraints: 24419 325.16/326.28 c #Conflicts: 909000 | #Constraints: 25419 325.16/326.28 c #Conflicts: 910000 | #Constraints: 26423 325.16/326.28 c #Conflicts: 911000 | #Constraints: 27425 325.16/326.28 c #Conflicts: 912000 | #Constraints: 28426 325.16/326.28 c #Conflicts: 913000 | #Constraints: 29428 325.16/326.28 c #Conflicts: 914000 | #Constraints: 30431 325.16/326.28 c #Conflicts: 915000 | #Constraints: 31433 325.16/326.28 c #Conflicts: 916000 | #Constraints: 32437 325.16/326.28 c #Conflicts: 917000 | #Constraints: 33439 325.16/326.28 c #Conflicts: 918000 | #Constraints: 34440 325.16/326.28 c #Conflicts: 919000 | #Constraints: 35441 325.16/326.28 c #Conflicts: 920000 | #Constraints: 36442 325.16/326.28 c #Conflicts: 921000 | #Constraints: 37444 325.16/326.28 c #Conflicts: 922000 | #Constraints: 38450 325.16/326.28 c INPROCESSING 325.16/326.28 c GARBAGE COLLECT 325.16/326.28 c rational objective 46.3636 334.04/335.15 c #Conflicts: 923000 | #Constraints: 20405 334.04/335.15 c #Conflicts: 924000 | #Constraints: 21405 334.04/335.15 c #Conflicts: 925000 | #Constraints: 22406 334.04/335.15 c #Conflicts: 926000 | #Constraints: 23408 334.04/335.15 c #Conflicts: 927000 | #Constraints: 24409 334.04/335.15 c #Conflicts: 928000 | #Constraints: 25411 334.04/335.15 c #Conflicts: 929000 | #Constraints: 26414 334.04/335.15 c #Conflicts: 930000 | #Constraints: 27418 334.04/335.15 c #Conflicts: 931000 | #Constraints: 28420 334.04/335.15 c #Conflicts: 932000 | #Constraints: 29425 334.04/335.15 c #Conflicts: 933000 | #Constraints: 30428 334.04/335.15 c #Conflicts: 934000 | #Constraints: 31430 334.04/335.15 c #Conflicts: 935000 | #Constraints: 32436 334.04/335.15 c #Conflicts: 936000 | #Constraints: 33441 334.04/335.15 c #Conflicts: 937000 | #Constraints: 34450 334.04/335.15 c #Conflicts: 938000 | #Constraints: 35457 334.04/335.15 c #Conflicts: 939000 | #Constraints: 36465 334.04/335.15 c #Conflicts: 940000 | #Constraints: 37473 334.04/335.15 c #Conflicts: 941000 | #Constraints: 38479 334.04/335.15 c INPROCESSING 334.04/335.15 c GARBAGE COLLECT 334.04/335.15 c rational objective 46.3636 343.20/344.36 c #Conflicts: 942000 | #Constraints: 20230 343.20/344.36 c #Conflicts: 943000 | #Constraints: 21236 343.20/344.36 c #Conflicts: 944000 | #Constraints: 22237 343.20/344.36 c #Conflicts: 945000 | #Constraints: 23244 343.20/344.36 c #Conflicts: 946000 | #Constraints: 24252 343.20/344.36 c #Conflicts: 947000 | #Constraints: 25261 343.20/344.36 c #Conflicts: 948000 | #Constraints: 26272 343.20/344.36 c #Conflicts: 949000 | #Constraints: 27277 343.20/344.36 c #Conflicts: 950000 | #Constraints: 28281 343.20/344.36 c #Conflicts: 951000 | #Constraints: 29288 343.20/344.36 c #Conflicts: 952000 | #Constraints: 30296 343.20/344.36 c #Conflicts: 953000 | #Constraints: 31304 343.20/344.36 c #Conflicts: 954000 | #Constraints: 32310 343.20/344.36 c #Conflicts: 955000 | #Constraints: 33319 343.20/344.36 c #Conflicts: 956000 | #Constraints: 34329 343.20/344.36 c #Conflicts: 957000 | #Constraints: 35332 343.20/344.36 c #Conflicts: 958000 | #Constraints: 36337 343.20/344.36 c #Conflicts: 959000 | #Constraints: 37343 343.20/344.36 c #Conflicts: 960000 | #Constraints: 38345 343.20/344.36 c #Conflicts: 961000 | #Constraints: 39351 343.20/344.36 c INPROCESSING 343.20/344.36 c GARBAGE COLLECT 343.20/344.36 c rational objective 46.3636 354.76/355.91 c #Conflicts: 962000 | #Constraints: 20864 354.76/355.91 c #Conflicts: 963000 | #Constraints: 21870 354.76/355.91 c #Conflicts: 964000 | #Constraints: 22874 354.76/355.91 c #Conflicts: 965000 | #Constraints: 23881 354.76/355.91 c #Conflicts: 966000 | #Constraints: 24892 354.76/355.91 c #Conflicts: 967000 | #Constraints: 25898 354.76/355.91 c #Conflicts: 968000 | #Constraints: 26908 354.76/355.91 c #Conflicts: 969000 | #Constraints: 27917 354.76/355.91 c #Conflicts: 970000 | #Constraints: 28925 354.76/355.91 c #Conflicts: 971000 | #Constraints: 29935 354.76/355.91 c #Conflicts: 972000 | #Constraints: 30939 354.76/355.91 c #Conflicts: 973000 | #Constraints: 31946 354.76/355.91 c #Conflicts: 974000 | #Constraints: 32953 354.76/355.91 c #Conflicts: 975000 | #Constraints: 33964 354.76/355.91 c #Conflicts: 976000 | #Constraints: 34972 354.76/355.91 c #Conflicts: 977000 | #Constraints: 35977 354.76/355.91 c #Conflicts: 978000 | #Constraints: 36981 354.76/355.91 c #Conflicts: 979000 | #Constraints: 37985 354.76/355.91 c #Conflicts: 980000 | #Constraints: 38986 354.76/355.91 c #Conflicts: 981000 | #Constraints: 39988 354.76/355.91 c INPROCESSING 354.76/355.91 c GARBAGE COLLECT 354.76/355.91 c rational objective 46.3636 365.93/367.15 c #Conflicts: 982000 | #Constraints: 21286 365.93/367.15 c #Conflicts: 983000 | #Constraints: 22289 365.93/367.15 c #Conflicts: 984000 | #Constraints: 23293 365.93/367.15 c #Conflicts: 985000 | #Constraints: 24295 365.93/367.15 c #Conflicts: 986000 | #Constraints: 25299 365.93/367.15 c #Conflicts: 987000 | #Constraints: 26303 365.93/367.15 c #Conflicts: 988000 | #Constraints: 27306 365.93/367.15 c #Conflicts: 989000 | #Constraints: 28309 365.93/367.15 c #Conflicts: 990000 | #Constraints: 29310 365.93/367.15 c #Conflicts: 991000 | #Constraints: 30316 365.93/367.15 c #Conflicts: 992000 | #Constraints: 31321 365.93/367.15 c #Conflicts: 993000 | #Constraints: 32323 365.93/367.15 c #Conflicts: 994000 | #Constraints: 33328 365.93/367.15 c #Conflicts: 995000 | #Constraints: 34330 365.93/367.15 c #Conflicts: 996000 | #Constraints: 35336 365.93/367.15 c #Conflicts: 997000 | #Constraints: 36346 365.93/367.15 c #Conflicts: 998000 | #Constraints: 37350 365.93/367.15 c #Conflicts: 999000 | #Constraints: 38352 365.93/367.15 c #Conflicts: 1000000 | #Constraints: 39353 365.93/367.15 c #Conflicts: 1001000 | #Constraints: 40359 365.93/367.15 c INPROCESSING 365.93/367.15 c GARBAGE COLLECT 365.93/367.15 c rational objective 46.3636 378.19/379.42 c #Conflicts: 1002000 | #Constraints: 21469 378.19/379.42 c #Conflicts: 1003000 | #Constraints: 22471 378.19/379.42 c #Conflicts: 1004000 | #Constraints: 23475 378.19/379.42 c #Conflicts: 1005000 | #Constraints: 24479 378.19/379.42 c #Conflicts: 1006000 | #Constraints: 25484 378.19/379.42 c #Conflicts: 1007000 | #Constraints: 26490 378.19/379.42 c #Conflicts: 1008000 | #Constraints: 27494 378.19/379.42 c #Conflicts: 1009000 | #Constraints: 28495 378.19/379.42 c #Conflicts: 1010000 | #Constraints: 29498 378.19/379.42 c #Conflicts: 1011000 | #Constraints: 30503 378.19/379.42 c #Conflicts: 1012000 | #Constraints: 31506 378.19/379.42 c #Conflicts: 1013000 | #Constraints: 32510 378.19/379.42 c #Conflicts: 1014000 | #Constraints: 33517 378.19/379.42 c #Conflicts: 1015000 | #Constraints: 34520 378.19/379.42 c #Conflicts: 1016000 | #Constraints: 35524 378.19/379.42 c #Conflicts: 1017000 | #Constraints: 36526 378.19/379.42 c #Conflicts: 1018000 | #Constraints: 37527 378.19/379.42 c #Conflicts: 1019000 | #Constraints: 38529 378.19/379.42 c #Conflicts: 1020000 | #Constraints: 39532 378.19/379.42 c #Conflicts: 1021000 | #Constraints: 40533 378.19/379.42 c INPROCESSING 378.19/379.42 c GARBAGE COLLECT 378.19/379.42 c rational objective 46.3636 387.26/388.52 c #Conflicts: 1022000 | #Constraints: 21462 387.26/388.52 c #Conflicts: 1023000 | #Constraints: 22469 387.26/388.52 c #Conflicts: 1024000 | #Constraints: 23474 387.26/388.52 c #Conflicts: 1025000 | #Constraints: 24482 387.26/388.52 c #Conflicts: 1026000 | #Constraints: 25488 387.26/388.52 c #Conflicts: 1027000 | #Constraints: 26491 387.26/388.52 c #Conflicts: 1028000 | #Constraints: 27494 387.26/388.52 c #Conflicts: 1029000 | #Constraints: 28497 387.26/388.52 c #Conflicts: 1030000 | #Constraints: 29497 387.26/388.52 c #Conflicts: 1031000 | #Constraints: 30500 387.26/388.52 c #Conflicts: 1032000 | #Constraints: 31501 387.26/388.52 c #Conflicts: 1033000 | #Constraints: 32503 387.26/388.52 c #Conflicts: 1034000 | #Constraints: 33505 387.26/388.52 c #Conflicts: 1035000 | #Constraints: 34508 387.26/388.52 c #Conflicts: 1036000 | #Constraints: 35511 387.26/388.52 c #Conflicts: 1037000 | #Constraints: 36514 387.26/388.52 c #Conflicts: 1038000 | #Constraints: 37516 387.26/388.52 c #Conflicts: 1039000 | #Constraints: 38521 387.26/388.52 c #Conflicts: 1040000 | #Constraints: 39523 387.26/388.52 c #Conflicts: 1041000 | #Constraints: 40526 387.26/388.52 c INPROCESSING 387.26/388.52 c GARBAGE COLLECT 387.26/388.52 c rational objective 46.3636 398.43/399.73 c #Conflicts: 1042000 | #Constraints: 21254 398.43/399.73 c #Conflicts: 1043000 | #Constraints: 22256 398.43/399.73 c #Conflicts: 1044000 | #Constraints: 23262 398.43/399.73 c #Conflicts: 1045000 | #Constraints: 24273 398.43/399.73 c #Conflicts: 1046000 | #Constraints: 25280 398.43/399.73 c #Conflicts: 1047000 | #Constraints: 26285 398.43/399.73 c #Conflicts: 1048000 | #Constraints: 27289 398.43/399.73 c #Conflicts: 1049000 | #Constraints: 28293 398.43/399.73 c #Conflicts: 1050000 | #Constraints: 29295 398.43/399.73 c #Conflicts: 1051000 | #Constraints: 30303 398.43/399.73 c #Conflicts: 1052000 | #Constraints: 31309 398.43/399.73 c #Conflicts: 1053000 | #Constraints: 32312 398.43/399.73 c #Conflicts: 1054000 | #Constraints: 33318 398.43/399.73 c #Conflicts: 1055000 | #Constraints: 34323 398.43/399.73 c #Conflicts: 1056000 | #Constraints: 35330 398.43/399.73 c #Conflicts: 1057000 | #Constraints: 36336 398.43/399.73 c #Conflicts: 1058000 | #Constraints: 37339 398.43/399.73 c #Conflicts: 1059000 | #Constraints: 38345 398.43/399.73 c #Conflicts: 1060000 | #Constraints: 39355 398.43/399.73 c #Conflicts: 1061000 | #Constraints: 40361 398.43/399.73 c #Conflicts: 1062000 | #Constraints: 41366 398.43/399.73 c INPROCESSING 398.43/399.73 c GARBAGE COLLECT 398.43/399.73 c rational objective 46.3636 409.91/411.26 c #Conflicts: 1063000 | #Constraints: 21878 409.91/411.26 c #Conflicts: 1064000 | #Constraints: 22883 409.91/411.26 c #Conflicts: 1065000 | #Constraints: 23890 409.91/411.26 c #Conflicts: 1066000 | #Constraints: 24893 409.91/411.26 c #Conflicts: 1067000 | #Constraints: 25899 409.91/411.26 c #Conflicts: 1068000 | #Constraints: 26911 409.91/411.26 c #Conflicts: 1069000 | #Constraints: 27913 409.91/411.26 c #Conflicts: 1070000 | #Constraints: 28920 409.91/411.26 c #Conflicts: 1071000 | #Constraints: 29924 409.91/411.26 c #Conflicts: 1072000 | #Constraints: 30929 409.91/411.26 c #Conflicts: 1073000 | #Constraints: 31933 409.91/411.26 c #Conflicts: 1074000 | #Constraints: 32939 409.91/411.26 c #Conflicts: 1075000 | #Constraints: 33942 409.91/411.26 c #Conflicts: 1076000 | #Constraints: 34948 409.91/411.26 c #Conflicts: 1077000 | #Constraints: 35952 409.91/411.26 c #Conflicts: 1078000 | #Constraints: 36957 409.91/411.26 c #Conflicts: 1079000 | #Constraints: 37962 409.91/411.26 c #Conflicts: 1080000 | #Constraints: 38965 409.91/411.26 c #Conflicts: 1081000 | #Constraints: 39972 409.91/411.26 c #Conflicts: 1082000 | #Constraints: 40980 409.91/411.26 c #Conflicts: 1083000 | #Constraints: 41988 409.91/411.26 c INPROCESSING 409.91/411.26 c GARBAGE COLLECT 409.91/411.26 c rational objective 46.3636 420.98/422.36 c #Conflicts: 1084000 | #Constraints: 22287 420.98/422.36 c #Conflicts: 1085000 | #Constraints: 23291 420.98/422.36 c #Conflicts: 1086000 | #Constraints: 24297 420.98/422.36 c #Conflicts: 1087000 | #Constraints: 25302 420.98/422.36 c #Conflicts: 1088000 | #Constraints: 26308 420.98/422.36 c #Conflicts: 1089000 | #Constraints: 27314 420.98/422.36 c #Conflicts: 1090000 | #Constraints: 28320 420.98/422.36 c #Conflicts: 1091000 | #Constraints: 29326 420.98/422.36 c #Conflicts: 1092000 | #Constraints: 30331 420.98/422.36 c #Conflicts: 1093000 | #Constraints: 31336 420.98/422.36 c #Conflicts: 1094000 | #Constraints: 32341 420.98/422.36 c #Conflicts: 1095000 | #Constraints: 33343 420.98/422.36 c #Conflicts: 1096000 | #Constraints: 34349 420.98/422.36 c #Conflicts: 1097000 | #Constraints: 35354 420.98/422.36 c #Conflicts: 1098000 | #Constraints: 36357 420.98/422.36 c #Conflicts: 1099000 | #Constraints: 37360 420.98/422.36 c #Conflicts: 1100000 | #Constraints: 38368 420.98/422.36 c #Conflicts: 1101000 | #Constraints: 39372 420.98/422.36 c #Conflicts: 1102000 | #Constraints: 40374 420.98/422.36 c #Conflicts: 1103000 | #Constraints: 41383 420.98/422.36 c #Conflicts: 1104000 | #Constraints: 42387 420.98/422.36 c INPROCESSING 420.98/422.36 c GARBAGE COLLECT 420.98/422.36 c rational objective 46.3636 432.66/434.04 c #Conflicts: 1105000 | #Constraints: 22489 432.66/434.04 c #Conflicts: 1106000 | #Constraints: 23495 432.66/434.04 c #Conflicts: 1107000 | #Constraints: 24500 432.66/434.04 c #Conflicts: 1108000 | #Constraints: 25503 432.66/434.04 c #Conflicts: 1109000 | #Constraints: 26505 432.66/434.04 c #Conflicts: 1110000 | #Constraints: 27509 432.66/434.04 c #Conflicts: 1111000 | #Constraints: 28511 432.66/434.04 c #Conflicts: 1112000 | #Constraints: 29516 432.66/434.04 c #Conflicts: 1113000 | #Constraints: 30519 432.66/434.04 c #Conflicts: 1114000 | #Constraints: 31523 432.66/434.04 c #Conflicts: 1115000 | #Constraints: 32529 432.66/434.04 c #Conflicts: 1116000 | #Constraints: 33535 432.66/434.04 c #Conflicts: 1117000 | #Constraints: 34542 432.66/434.04 c #Conflicts: 1118000 | #Constraints: 35545 432.66/434.04 c #Conflicts: 1119000 | #Constraints: 36551 432.66/434.04 c #Conflicts: 1120000 | #Constraints: 37557 432.66/434.04 c #Conflicts: 1121000 | #Constraints: 38563 432.66/434.04 c #Conflicts: 1122000 | #Constraints: 39569 432.66/434.04 c #Conflicts: 1123000 | #Constraints: 40575 432.66/434.04 c #Conflicts: 1124000 | #Constraints: 41579 432.66/434.04 c #Conflicts: 1125000 | #Constraints: 42580 432.66/434.04 c INPROCESSING 432.66/434.04 c GARBAGE COLLECT 432.66/434.04 c rational objective 46.3636 442.74/444.19 c #Conflicts: 1126000 | #Constraints: 22482 442.74/444.19 c #Conflicts: 1127000 | #Constraints: 23485 442.74/444.19 c #Conflicts: 1128000 | #Constraints: 24489 442.74/444.19 c #Conflicts: 1129000 | #Constraints: 25493 442.74/444.19 c #Conflicts: 1130000 | #Constraints: 26496 442.74/444.19 c #Conflicts: 1131000 | #Constraints: 27497 442.74/444.19 c #Conflicts: 1132000 | #Constraints: 28499 442.74/444.19 c #Conflicts: 1133000 | #Constraints: 29500 442.74/444.19 c #Conflicts: 1134000 | #Constraints: 30504 442.74/444.19 c #Conflicts: 1135000 | #Constraints: 31507 442.74/444.19 c #Conflicts: 1136000 | #Constraints: 32511 442.74/444.19 c #Conflicts: 1137000 | #Constraints: 33518 442.74/444.19 c #Conflicts: 1138000 | #Constraints: 34520 442.74/444.19 c #Conflicts: 1139000 | #Constraints: 35520 442.74/444.19 c #Conflicts: 1140000 | #Constraints: 36523 442.74/444.19 c #Conflicts: 1141000 | #Constraints: 37525 442.74/444.19 c #Conflicts: 1142000 | #Constraints: 38525 442.74/444.19 c #Conflicts: 1143000 | #Constraints: 39528 442.74/444.19 c #Conflicts: 1144000 | #Constraints: 40530 442.74/444.19 c #Conflicts: 1145000 | #Constraints: 41533 442.74/444.19 c #Conflicts: 1146000 | #Constraints: 42537 442.74/444.19 c INPROCESSING 442.74/444.19 c GARBAGE COLLECT 442.74/444.19 c rational objective 46.3636 453.40/454.80 c #Conflicts: 1147000 | #Constraints: 22261 453.40/454.80 c #Conflicts: 1148000 | #Constraints: 23263 453.40/454.80 c #Conflicts: 1149000 | #Constraints: 24265 453.40/454.80 c #Conflicts: 1150000 | #Constraints: 25265 453.40/454.80 c #Conflicts: 1151000 | #Constraints: 26266 453.40/454.80 c #Conflicts: 1152000 | #Constraints: 27268 453.40/454.80 c #Conflicts: 1153000 | #Constraints: 28271 453.40/454.80 c #Conflicts: 1154000 | #Constraints: 29274 453.40/454.80 c #Conflicts: 1155000 | #Constraints: 30275 453.40/454.80 c #Conflicts: 1156000 | #Constraints: 31278 453.40/454.80 c #Conflicts: 1157000 | #Constraints: 32281 453.40/454.80 c #Conflicts: 1158000 | #Constraints: 33285 453.40/454.80 c #Conflicts: 1159000 | #Constraints: 34288 453.40/454.80 c #Conflicts: 1160000 | #Constraints: 35293 453.40/454.80 c #Conflicts: 1161000 | #Constraints: 36294 453.40/454.80 c #Conflicts: 1162000 | #Constraints: 37296 453.40/454.80 c #Conflicts: 1163000 | #Constraints: 38303 453.40/454.80 c #Conflicts: 1164000 | #Constraints: 39312 453.40/454.80 c #Conflicts: 1165000 | #Constraints: 40323 453.40/454.80 c #Conflicts: 1166000 | #Constraints: 41329 453.40/454.80 c #Conflicts: 1167000 | #Constraints: 42336 453.40/454.80 c #Conflicts: 1168000 | #Constraints: 43343 453.40/454.80 c INPROCESSING 453.40/454.80 c GARBAGE COLLECT 453.40/454.80 c rational objective 46.3636 464.77/466.28 c #Conflicts: 1169000 | #Constraints: 22865 464.77/466.28 c #Conflicts: 1170000 | #Constraints: 23877 464.77/466.28 c #Conflicts: 1171000 | #Constraints: 24884 464.77/466.28 c #Conflicts: 1172000 | #Constraints: 25892 464.77/466.28 c #Conflicts: 1173000 | #Constraints: 26895 464.77/466.28 c #Conflicts: 1174000 | #Constraints: 27896 464.77/466.28 c #Conflicts: 1175000 | #Constraints: 28898 464.77/466.28 c #Conflicts: 1176000 | #Constraints: 29900 464.77/466.28 c #Conflicts: 1177000 | #Constraints: 30902 464.77/466.28 c #Conflicts: 1178000 | #Constraints: 31905 464.77/466.28 c #Conflicts: 1179000 | #Constraints: 32907 464.77/466.28 c #Conflicts: 1180000 | #Constraints: 33909 464.77/466.28 c #Conflicts: 1181000 | #Constraints: 34918 464.77/466.28 c #Conflicts: 1182000 | #Constraints: 35918 464.77/466.28 c #Conflicts: 1183000 | #Constraints: 36920 464.77/466.28 c #Conflicts: 1184000 | #Constraints: 37921 464.77/466.28 c #Conflicts: 1185000 | #Constraints: 38923 464.77/466.28 c #Conflicts: 1186000 | #Constraints: 39927 464.77/466.28 c #Conflicts: 1187000 | #Constraints: 40930 464.77/466.28 c #Conflicts: 1188000 | #Constraints: 41933 464.77/466.28 c #Conflicts: 1189000 | #Constraints: 42935 464.77/466.28 c #Conflicts: 1190000 | #Constraints: 43938 464.77/466.28 c INPROCESSING 464.77/466.28 c GARBAGE COLLECT 464.77/466.28 c rational objective 46.3636 475.75/477.27 c #Conflicts: 1191000 | #Constraints: 23263 475.75/477.27 c #Conflicts: 1192000 | #Constraints: 24270 475.75/477.27 c #Conflicts: 1193000 | #Constraints: 25273 475.75/477.27 c #Conflicts: 1194000 | #Constraints: 26276 475.75/477.27 c #Conflicts: 1195000 | #Constraints: 27277 475.75/477.27 c #Conflicts: 1196000 | #Constraints: 28281 475.75/477.27 c #Conflicts: 1197000 | #Constraints: 29282 475.75/477.27 c #Conflicts: 1198000 | #Constraints: 30283 475.75/477.27 c #Conflicts: 1199000 | #Constraints: 31286 475.75/477.27 c #Conflicts: 1200000 | #Constraints: 32291 475.75/477.27 c #Conflicts: 1201000 | #Constraints: 33296 475.75/477.27 c #Conflicts: 1202000 | #Constraints: 34299 475.75/477.27 c #Conflicts: 1203000 | #Constraints: 35302 475.75/477.27 c #Conflicts: 1204000 | #Constraints: 36302 475.75/477.27 c #Conflicts: 1205000 | #Constraints: 37305 475.75/477.27 c #Conflicts: 1206000 | #Constraints: 38306 475.75/477.27 c #Conflicts: 1207000 | #Constraints: 39311 475.75/477.27 c #Conflicts: 1208000 | #Constraints: 40315 475.75/477.27 c #Conflicts: 1209000 | #Constraints: 41317 475.75/477.27 c #Conflicts: 1210000 | #Constraints: 42320 475.75/477.27 c #Conflicts: 1211000 | #Constraints: 43321 475.75/477.27 c #Conflicts: 1212000 | #Constraints: 44324 475.75/477.27 c INPROCESSING 475.75/477.27 c GARBAGE COLLECT 475.75/477.27 c rational objective 46.3636 486.92/488.40 c #Conflicts: 1213000 | #Constraints: 23449 486.92/488.40 c #Conflicts: 1214000 | #Constraints: 24453 486.92/488.40 c #Conflicts: 1215000 | #Constraints: 25458 486.92/488.40 c #Conflicts: 1216000 | #Constraints: 26464 486.92/488.40 c #Conflicts: 1217000 | #Constraints: 27468 486.92/488.40 c #Conflicts: 1218000 | #Constraints: 28470 486.92/488.40 c #Conflicts: 1219000 | #Constraints: 29474 486.92/488.40 c #Conflicts: 1220000 | #Constraints: 30478 486.92/488.40 c #Conflicts: 1221000 | #Constraints: 31480 486.92/488.40 c #Conflicts: 1222000 | #Constraints: 32483 486.92/488.40 c #Conflicts: 1223000 | #Constraints: 33486 486.92/488.40 c #Conflicts: 1224000 | #Constraints: 34487 486.92/488.40 c #Conflicts: 1225000 | #Constraints: 35488 486.92/488.40 c #Conflicts: 1226000 | #Constraints: 36494 486.92/488.40 c #Conflicts: 1227000 | #Constraints: 37496 486.92/488.40 c #Conflicts: 1228000 | #Constraints: 38500 486.92/488.40 c #Conflicts: 1229000 | #Constraints: 39502 486.92/488.40 c #Conflicts: 1230000 | #Constraints: 40504 486.92/488.40 c #Conflicts: 1231000 | #Constraints: 41506 486.92/488.40 c #Conflicts: 1232000 | #Constraints: 42506 486.92/488.40 c #Conflicts: 1233000 | #Constraints: 43508 486.92/488.40 c #Conflicts: 1234000 | #Constraints: 44515 486.92/488.40 c INPROCESSING 486.92/488.40 c GARBAGE COLLECT 486.92/488.40 c rational objective 46.3636 497.79/499.39 c #Conflicts: 1235000 | #Constraints: 23445 497.79/499.39 c #Conflicts: 1236000 | #Constraints: 24448 497.79/499.39 c #Conflicts: 1237000 | #Constraints: 25452 497.79/499.39 c #Conflicts: 1238000 | #Constraints: 26454 497.79/499.39 c #Conflicts: 1239000 | #Constraints: 27457 497.79/499.39 c #Conflicts: 1240000 | #Constraints: 28457 497.79/499.39 c #Conflicts: 1241000 | #Constraints: 29461 497.79/499.39 c #Conflicts: 1242000 | #Constraints: 30463 497.79/499.39 c #Conflicts: 1243000 | #Constraints: 31465 497.79/499.39 c #Conflicts: 1244000 | #Constraints: 32468 497.79/499.39 c #Conflicts: 1245000 | #Constraints: 33471 497.79/499.39 c #Conflicts: 1246000 | #Constraints: 34473 497.79/499.39 c #Conflicts: 1247000 | #Constraints: 35474 497.79/499.39 c #Conflicts: 1248000 | #Constraints: 36476 497.79/499.39 c #Conflicts: 1249000 | #Constraints: 37478 497.79/499.39 c #Conflicts: 1250000 | #Constraints: 38481 497.79/499.39 c #Conflicts: 1251000 | #Constraints: 39483 497.79/499.39 c #Conflicts: 1252000 | #Constraints: 40485 497.79/499.39 c #Conflicts: 1253000 | #Constraints: 41491 497.79/499.39 c #Conflicts: 1254000 | #Constraints: 42492 497.79/499.39 c #Conflicts: 1255000 | #Constraints: 43493 497.79/499.39 c #Conflicts: 1256000 | #Constraints: 44499 497.79/499.39 c INPROCESSING 497.79/499.39 c GARBAGE COLLECT 497.79/499.39 c rational objective 46.3636 507.97/509.57 c #Conflicts: 1257000 | #Constraints: 23237 507.97/509.57 c #Conflicts: 1258000 | #Constraints: 24237 507.97/509.57 c #Conflicts: 1259000 | #Constraints: 25238 507.97/509.57 c #Conflicts: 1260000 | #Constraints: 26239 507.97/509.57 c #Conflicts: 1261000 | #Constraints: 27244 507.97/509.57 c #Conflicts: 1262000 | #Constraints: 28246 507.97/509.57 c #Conflicts: 1263000 | #Constraints: 29247 507.97/509.57 c #Conflicts: 1264000 | #Constraints: 30250 507.97/509.57 c #Conflicts: 1265000 | #Constraints: 31255 507.97/509.57 c #Conflicts: 1266000 | #Constraints: 32260 507.97/509.57 c #Conflicts: 1267000 | #Constraints: 33268 507.97/509.57 c #Conflicts: 1268000 | #Constraints: 34268 507.97/509.57 c #Conflicts: 1269000 | #Constraints: 35270 507.97/509.57 c #Conflicts: 1270000 | #Constraints: 36272 507.97/509.57 c #Conflicts: 1271000 | #Constraints: 37273 507.97/509.57 c #Conflicts: 1272000 | #Constraints: 38277 507.97/509.57 c #Conflicts: 1273000 | #Constraints: 39280 507.97/509.57 c #Conflicts: 1274000 | #Constraints: 40282 507.97/509.57 c #Conflicts: 1275000 | #Constraints: 41283 507.97/509.57 c #Conflicts: 1276000 | #Constraints: 42285 507.97/509.57 c #Conflicts: 1277000 | #Constraints: 43285 507.97/509.57 c #Conflicts: 1278000 | #Constraints: 44285 507.97/509.57 c #Conflicts: 1279000 | #Constraints: 45285 507.97/509.57 c INPROCESSING 507.97/509.57 c GARBAGE COLLECT 507.97/509.57 c rational objective 46.3636 519.93/521.50 c #Conflicts: 1280000 | #Constraints: 23835 519.93/521.50 c #Conflicts: 1281000 | #Constraints: 24835 519.93/521.50 c #Conflicts: 1282000 | #Constraints: 25840 519.93/521.50 c #Conflicts: 1283000 | #Constraints: 26841 519.93/521.50 c #Conflicts: 1284000 | #Constraints: 27842 519.93/521.50 c #Conflicts: 1285000 | #Constraints: 28843 519.93/521.50 c #Conflicts: 1286000 | #Constraints: 29845 519.93/521.50 c #Conflicts: 1287000 | #Constraints: 30849 519.93/521.50 c #Conflicts: 1288000 | #Constraints: 31852 519.93/521.50 c #Conflicts: 1289000 | #Constraints: 32854 519.93/521.50 c #Conflicts: 1290000 | #Constraints: 33858 519.93/521.50 c #Conflicts: 1291000 | #Constraints: 34861 519.93/521.50 c #Conflicts: 1292000 | #Constraints: 35865 519.93/521.50 c #Conflicts: 1293000 | #Constraints: 36868 519.93/521.50 c #Conflicts: 1294000 | #Constraints: 37873 519.93/521.50 c #Conflicts: 1295000 | #Constraints: 38875 519.93/521.50 c #Conflicts: 1296000 | #Constraints: 39878 519.93/521.50 c #Conflicts: 1297000 | #Constraints: 40878 519.93/521.50 c #Conflicts: 1298000 | #Constraints: 41881 519.93/521.50 c #Conflicts: 1299000 | #Constraints: 42883 519.93/521.50 c #Conflicts: 1300000 | #Constraints: 43884 519.93/521.50 c #Conflicts: 1301000 | #Constraints: 44885 519.93/521.50 c #Conflicts: 1302000 | #Constraints: 45892 519.93/521.50 c INPROCESSING 519.93/521.50 c GARBAGE COLLECT 519.93/521.50 c rational objective 46.3636 529.92/531.60 c #Conflicts: 1303000 | #Constraints: 24235 529.92/531.60 c #Conflicts: 1304000 | #Constraints: 25239 529.92/531.60 c #Conflicts: 1305000 | #Constraints: 26239 529.92/531.60 c #Conflicts: 1306000 | #Constraints: 27240 529.92/531.60 c #Conflicts: 1307000 | #Constraints: 28241 529.92/531.60 c #Conflicts: 1308000 | #Constraints: 29243 529.92/531.60 c #Conflicts: 1309000 | #Constraints: 30244 529.92/531.60 c #Conflicts: 1310000 | #Constraints: 31246 529.92/531.60 c #Conflicts: 1311000 | #Constraints: 32248 529.92/531.60 c #Conflicts: 1312000 | #Constraints: 33253 529.92/531.60 c #Conflicts: 1313000 | #Constraints: 34259 529.92/531.60 c #Conflicts: 1314000 | #Constraints: 35262 529.92/531.60 c #Conflicts: 1315000 | #Constraints: 36262 529.92/531.60 c #Conflicts: 1316000 | #Constraints: 37262 529.92/531.60 c #Conflicts: 1317000 | #Constraints: 38264 529.92/531.60 c #Conflicts: 1318000 | #Constraints: 39265 529.92/531.60 c #Conflicts: 1319000 | #Constraints: 40265 529.92/531.60 c #Conflicts: 1320000 | #Constraints: 41267 529.92/531.60 c #Conflicts: 1321000 | #Constraints: 42268 529.92/531.60 c #Conflicts: 1322000 | #Constraints: 43270 529.92/531.60 c #Conflicts: 1323000 | #Constraints: 44272 529.92/531.60 c #Conflicts: 1324000 | #Constraints: 45273 529.92/531.60 c #Conflicts: 1325000 | #Constraints: 46277 529.92/531.60 c INPROCESSING 529.92/531.60 c GARBAGE COLLECT 529.92/531.60 c rational objective 46.3636 541.59/543.20 c #Conflicts: 1326000 | #Constraints: 24430 541.59/543.20 c #Conflicts: 1327000 | #Constraints: 25435 541.59/543.20 c #Conflicts: 1328000 | #Constraints: 26443 541.59/543.20 c #Conflicts: 1329000 | #Constraints: 27450 541.59/543.20 c #Conflicts: 1330000 | #Constraints: 28451 541.59/543.20 c #Conflicts: 1331000 | #Constraints: 29455 541.59/543.20 c #Conflicts: 1332000 | #Constraints: 30458 541.59/543.20 c #Conflicts: 1333000 | #Constraints: 31462 541.59/543.20 c #Conflicts: 1334000 | #Constraints: 32467 541.59/543.20 c #Conflicts: 1335000 | #Constraints: 33472 541.59/543.20 c #Conflicts: 1336000 | #Constraints: 34472 541.59/543.20 c #Conflicts: 1337000 | #Constraints: 35474 541.59/543.20 c #Conflicts: 1338000 | #Constraints: 36474 541.59/543.20 c #Conflicts: 1339000 | #Constraints: 37477 541.59/543.20 c #Conflicts: 1340000 | #Constraints: 38479 541.59/543.20 c #Conflicts: 1341000 | #Constraints: 39479 541.59/543.20 c #Conflicts: 1342000 | #Constraints: 40480 541.59/543.20 c #Conflicts: 1343000 | #Constraints: 41484 541.59/543.20 c #Conflicts: 1344000 | #Constraints: 42491 541.59/543.20 c #Conflicts: 1345000 | #Constraints: 43496 541.59/543.20 c #Conflicts: 1346000 | #Constraints: 44503 541.59/543.20 c #Conflicts: 1347000 | #Constraints: 45504 541.59/543.20 c #Conflicts: 1348000 | #Constraints: 46507 541.59/543.20 c INPROCESSING 541.59/543.20 c GARBAGE COLLECT 541.59/543.20 c rational objective 46.3636 553.86/555.55 c #Conflicts: 1349000 | #Constraints: 24442 553.86/555.55 c #Conflicts: 1350000 | #Constraints: 25445 553.86/555.55 c #Conflicts: 1351000 | #Constraints: 26450 553.86/555.55 c #Conflicts: 1352000 | #Constraints: 27455 553.86/555.55 c #Conflicts: 1353000 | #Constraints: 28457 553.86/555.55 c #Conflicts: 1354000 | #Constraints: 29459 553.86/555.55 c #Conflicts: 1355000 | #Constraints: 30461 553.86/555.55 c #Conflicts: 1356000 | #Constraints: 31465 553.86/555.55 c #Conflicts: 1357000 | #Constraints: 32472 553.86/555.55 c #Conflicts: 1358000 | #Constraints: 33475 553.86/555.55 c #Conflicts: 1359000 | #Constraints: 34480 553.86/555.55 c #Conflicts: 1360000 | #Constraints: 35480 553.86/555.55 c #Conflicts: 1361000 | #Constraints: 36484 553.86/555.55 c #Conflicts: 1362000 | #Constraints: 37487 553.86/555.55 c #Conflicts: 1363000 | #Constraints: 38490 553.86/555.55 c #Conflicts: 1364000 | #Constraints: 39492 553.86/555.55 c #Conflicts: 1365000 | #Constraints: 40494 553.86/555.55 c #Conflicts: 1366000 | #Constraints: 41496 553.86/555.55 c #Conflicts: 1367000 | #Constraints: 42497 553.86/555.55 c #Conflicts: 1368000 | #Constraints: 43497 553.86/555.55 c #Conflicts: 1369000 | #Constraints: 44499 553.86/555.55 c #Conflicts: 1370000 | #Constraints: 45499 553.86/555.55 c #Conflicts: 1371000 | #Constraints: 46500 553.86/555.55 c INPROCESSING 553.86/555.55 c GARBAGE COLLECT 553.86/555.55 c rational objective 46.3636 566.73/568.49 c #Conflicts: 1372000 | #Constraints: 24238 566.73/568.49 c #Conflicts: 1373000 | #Constraints: 25240 566.73/568.49 c #Conflicts: 1374000 | #Constraints: 26244 566.73/568.49 c #Conflicts: 1375000 | #Constraints: 27248 566.73/568.49 c #Conflicts: 1376000 | #Constraints: 28250 566.73/568.49 c #Conflicts: 1377000 | #Constraints: 29250 566.73/568.49 c #Conflicts: 1378000 | #Constraints: 30250 566.73/568.49 c #Conflicts: 1379000 | #Constraints: 31251 566.73/568.49 c #Conflicts: 1380000 | #Constraints: 32254 566.73/568.49 c #Conflicts: 1381000 | #Constraints: 33255 566.73/568.49 c #Conflicts: 1382000 | #Constraints: 34256 566.73/568.49 c #Conflicts: 1383000 | #Constraints: 35258 566.73/568.49 c #Conflicts: 1384000 | #Constraints: 36264 566.73/568.49 c #Conflicts: 1385000 | #Constraints: 37266 566.73/568.49 c #Conflicts: 1386000 | #Constraints: 38270 566.73/568.49 c #Conflicts: 1387000 | #Constraints: 39271 566.73/568.49 c #Conflicts: 1388000 | #Constraints: 40273 566.73/568.49 c #Conflicts: 1389000 | #Constraints: 41275 566.73/568.49 c #Conflicts: 1390000 | #Constraints: 42278 566.73/568.49 c #Conflicts: 1391000 | #Constraints: 43280 566.73/568.49 c #Conflicts: 1392000 | #Constraints: 44282 566.73/568.49 c #Conflicts: 1393000 | #Constraints: 45286 566.73/568.49 c #Conflicts: 1394000 | #Constraints: 46289 566.73/568.49 c #Conflicts: 1395000 | #Constraints: 47294 566.73/568.49 c INPROCESSING 566.73/568.49 c GARBAGE COLLECT 566.73/568.49 c rational objective 46.3636 579.30/581.03 c #Conflicts: 1396000 | #Constraints: 24838 579.30/581.03 c #Conflicts: 1397000 | #Constraints: 25845 579.30/581.03 c #Conflicts: 1398000 | #Constraints: 26847 579.30/581.03 c #Conflicts: 1399000 | #Constraints: 27848 579.30/581.03 c #Conflicts: 1400000 | #Constraints: 28850 579.30/581.03 c #Conflicts: 1401000 | #Constraints: 29853 579.30/581.03 c #Conflicts: 1402000 | #Constraints: 30854 579.30/581.03 c #Conflicts: 1403000 | #Constraints: 31855 579.30/581.03 c #Conflicts: 1404000 | #Constraints: 32858 579.30/581.03 c #Conflicts: 1405000 | #Constraints: 33859 579.30/581.03 c #Conflicts: 1406000 | #Constraints: 34862 579.30/581.03 c #Conflicts: 1407000 | #Constraints: 35864 579.30/581.03 c #Conflicts: 1408000 | #Constraints: 36865 579.30/581.03 c #Conflicts: 1409000 | #Constraints: 37868 579.30/581.03 c #Conflicts: 1410000 | #Constraints: 38868 579.30/581.03 c #Conflicts: 1411000 | #Constraints: 39871 579.30/581.03 c #Conflicts: 1412000 | #Constraints: 40874 579.30/581.03 c #Conflicts: 1413000 | #Constraints: 41874 579.30/581.03 c #Conflicts: 1414000 | #Constraints: 42876 579.30/581.03 c #Conflicts: 1415000 | #Constraints: 43885 579.30/581.03 c #Conflicts: 1416000 | #Constraints: 44889 579.30/581.03 c #Conflicts: 1417000 | #Constraints: 45892 579.30/581.03 c #Conflicts: 1418000 | #Constraints: 46895 579.30/581.03 c #Conflicts: 1419000 | #Constraints: 47897 579.30/581.03 c INPROCESSING 579.30/581.03 c GARBAGE COLLECT 579.30/581.03 c rational objective 46.3636 590.77/592.52 c #Conflicts: 1420000 | #Constraints: 25241 590.77/592.52 c #Conflicts: 1421000 | #Constraints: 26245 590.77/592.52 c #Conflicts: 1422000 | #Constraints: 27247 590.77/592.52 c #Conflicts: 1423000 | #Constraints: 28251 590.77/592.52 c #Conflicts: 1424000 | #Constraints: 29251 590.77/592.52 c #Conflicts: 1425000 | #Constraints: 30253 590.77/592.52 c #Conflicts: 1426000 | #Constraints: 31256 590.77/592.52 c #Conflicts: 1427000 | #Constraints: 32257 590.77/592.52 c #Conflicts: 1428000 | #Constraints: 33260 590.77/592.52 c #Conflicts: 1429000 | #Constraints: 34262 590.77/592.52 c #Conflicts: 1430000 | #Constraints: 35266 590.77/592.52 c #Conflicts: 1431000 | #Constraints: 36272 590.77/592.52 c #Conflicts: 1432000 | #Constraints: 37274 590.77/592.52 c #Conflicts: 1433000 | #Constraints: 38276 590.77/592.52 c #Conflicts: 1434000 | #Constraints: 39280 590.77/592.52 c #Conflicts: 1435000 | #Constraints: 40280 590.77/592.52 c #Conflicts: 1436000 | #Constraints: 41280 590.77/592.52 c #Conflicts: 1437000 | #Constraints: 42284 590.77/592.52 c #Conflicts: 1438000 | #Constraints: 43284 590.77/592.52 c #Conflicts: 1439000 | #Constraints: 44284 590.77/592.52 c #Conflicts: 1440000 | #Constraints: 45285 590.77/592.52 c #Conflicts: 1441000 | #Constraints: 46285 590.77/592.52 c #Conflicts: 1442000 | #Constraints: 47285 590.77/592.52 c #Conflicts: 1443000 | #Constraints: 48290 590.77/592.52 c INPROCESSING 590.77/592.52 c GARBAGE COLLECT 590.77/592.52 c rational objective 46.3636 604.35/606.10 c #Conflicts: 1444000 | #Constraints: 25436 604.35/606.10 c #Conflicts: 1445000 | #Constraints: 26441 604.35/606.10 c #Conflicts: 1446000 | #Constraints: 27447 604.35/606.10 c #Conflicts: 1447000 | #Constraints: 28450 604.35/606.10 c #Conflicts: 1448000 | #Constraints: 29452 604.35/606.10 c #Conflicts: 1449000 | #Constraints: 30455 604.35/606.10 c #Conflicts: 1450000 | #Constraints: 31455 604.35/606.10 c #Conflicts: 1451000 | #Constraints: 32456 604.35/606.10 c #Conflicts: 1452000 | #Constraints: 33457 604.35/606.10 c #Conflicts: 1453000 | #Constraints: 34458 604.35/606.10 c #Conflicts: 1454000 | #Constraints: 35459 604.35/606.10 c #Conflicts: 1455000 | #Constraints: 36460 604.35/606.10 c #Conflicts: 1456000 | #Constraints: 37462 604.35/606.10 c #Conflicts: 1457000 | #Constraints: 38464 604.35/606.10 c #Conflicts: 1458000 | #Constraints: 39467 604.35/606.10 c #Conflicts: 1459000 | #Constraints: 40469 604.35/606.10 c #Conflicts: 1460000 | #Constraints: 41471 604.35/606.10 c #Conflicts: 1461000 | #Constraints: 42473 604.35/606.10 c #Conflicts: 1462000 | #Constraints: 43474 604.35/606.10 c #Conflicts: 1463000 | #Constraints: 44475 604.35/606.10 c #Conflicts: 1464000 | #Constraints: 45479 604.35/606.10 c #Conflicts: 1465000 | #Constraints: 46482 604.35/606.10 c #Conflicts: 1466000 | #Constraints: 47483 604.35/606.10 c #Conflicts: 1467000 | #Constraints: 48483 604.35/606.10 c INPROCESSING 604.35/606.10 c GARBAGE COLLECT 604.35/606.10 c rational objective 46.3636 617.60/619.40 c #Conflicts: 1468000 | #Constraints: 25440 617.60/619.40 c #Conflicts: 1469000 | #Constraints: 26441 617.60/619.40 c #Conflicts: 1470000 | #Constraints: 27444 617.60/619.40 c #Conflicts: 1471000 | #Constraints: 28447 617.60/619.40 c #Conflicts: 1472000 | #Constraints: 29448 617.60/619.40 c #Conflicts: 1473000 | #Constraints: 30450 617.60/619.40 c #Conflicts: 1474000 | #Constraints: 31451 617.60/619.40 c #Conflicts: 1475000 | #Constraints: 32452 617.60/619.40 c #Conflicts: 1476000 | #Constraints: 33454 617.60/619.40 c #Conflicts: 1477000 | #Constraints: 34461 617.60/619.40 c #Conflicts: 1478000 | #Constraints: 35466 617.60/619.40 c #Conflicts: 1479000 | #Constraints: 36475 617.60/619.40 c #Conflicts: 1480000 | #Constraints: 37481 617.60/619.40 c #Conflicts: 1481000 | #Constraints: 38483 617.60/619.40 c #Conflicts: 1482000 | #Constraints: 39485 617.60/619.40 c #Conflicts: 1483000 | #Constraints: 40485 617.60/619.40 c #Conflicts: 1484000 | #Constraints: 41488 617.60/619.40 c #Conflicts: 1485000 | #Constraints: 42490 617.60/619.40 c #Conflicts: 1486000 | #Constraints: 43493 617.60/619.40 c #Conflicts: 1487000 | #Constraints: 44495 617.60/619.40 c #Conflicts: 1488000 | #Constraints: 45497 617.60/619.40 c #Conflicts: 1489000 | #Constraints: 46498 617.60/619.40 c #Conflicts: 1490000 | #Constraints: 47503 617.60/619.40 c #Conflicts: 1491000 | #Constraints: 48503 617.60/619.40 c INPROCESSING 617.60/619.40 c GARBAGE COLLECT 617.60/619.40 c rational objective 46.3636 629.87/631.76 c #Conflicts: 1492000 | #Constraints: 25239 629.87/631.76 c #Conflicts: 1493000 | #Constraints: 26241 629.87/631.76 c #Conflicts: 1494000 | #Constraints: 27241 629.87/631.76 c #Conflicts: 1495000 | #Constraints: 28244 629.87/631.76 c #Conflicts: 1496000 | #Constraints: 29245 629.87/631.76 c #Conflicts: 1497000 | #Constraints: 30248 629.87/631.76 c #Conflicts: 1498000 | #Constraints: 31251 629.87/631.76 c #Conflicts: 1499000 | #Constraints: 32252 629.87/631.76 c #Conflicts: 1500000 | #Constraints: 33252 629.87/631.76 c #Conflicts: 1501000 | #Constraints: 34257 629.87/631.76 c #Conflicts: 1502000 | #Constraints: 35261 629.87/631.76 c #Conflicts: 1503000 | #Constraints: 36264 629.87/631.76 c #Conflicts: 1504000 | #Constraints: 37270 629.87/631.76 c #Conflicts: 1505000 | #Constraints: 38275 629.87/631.76 c #Conflicts: 1506000 | #Constraints: 39282 629.87/631.76 c #Conflicts: 1507000 | #Constraints: 40283 629.87/631.76 c #Conflicts: 1508000 | #Constraints: 41284 629.87/631.76 c #Conflicts: 1509000 | #Constraints: 42285 629.87/631.76 c #Conflicts: 1510000 | #Constraints: 43288 629.87/631.76 c #Conflicts: 1511000 | #Constraints: 44292 629.87/631.76 c #Conflicts: 1512000 | #Constraints: 45294 629.87/631.76 c #Conflicts: 1513000 | #Constraints: 46298 629.87/631.76 c #Conflicts: 1514000 | #Constraints: 47299 629.87/631.76 c #Conflicts: 1515000 | #Constraints: 48300 629.87/631.76 c #Conflicts: 1516000 | #Constraints: 49302 629.87/631.76 c INPROCESSING 629.87/631.76 c GARBAGE COLLECT 629.87/631.76 c rational objective 46.3636 643.44/645.33 c #Conflicts: 1517000 | #Constraints: 25842 643.44/645.33 c #Conflicts: 1518000 | #Constraints: 26845 643.44/645.33 c #Conflicts: 1519000 | #Constraints: 27847 643.44/645.33 c #Conflicts: 1520000 | #Constraints: 28850 643.44/645.33 c #Conflicts: 1521000 | #Constraints: 29850 643.44/645.33 c #Conflicts: 1522000 | #Constraints: 30854 643.44/645.33 c #Conflicts: 1523000 | #Constraints: 31855 643.44/645.33 c #Conflicts: 1524000 | #Constraints: 32859 643.44/645.33 c #Conflicts: 1525000 | #Constraints: 33863 643.44/645.33 c #Conflicts: 1526000 | #Constraints: 34864 643.44/645.33 c #Conflicts: 1527000 | #Constraints: 35869 643.44/645.33 c #Conflicts: 1528000 | #Constraints: 36874 643.44/645.33 c #Conflicts: 1529000 | #Constraints: 37877 643.44/645.33 c #Conflicts: 1530000 | #Constraints: 38879 643.44/645.33 c #Conflicts: 1531000 | #Constraints: 39880 643.44/645.33 c #Conflicts: 1532000 | #Constraints: 40880 643.44/645.33 c #Conflicts: 1533000 | #Constraints: 41884 643.44/645.33 c #Conflicts: 1534000 | #Constraints: 42892 643.44/645.33 c #Conflicts: 1535000 | #Constraints: 43894 643.44/645.33 c #Conflicts: 1536000 | #Constraints: 44898 643.44/645.33 c #Conflicts: 1537000 | #Constraints: 45903 643.44/645.33 c #Conflicts: 1538000 | #Constraints: 46904 643.44/645.33 c #Conflicts: 1539000 | #Constraints: 47905 643.44/645.33 c #Conflicts: 1540000 | #Constraints: 48906 643.44/645.33 c #Conflicts: 1541000 | #Constraints: 49907 643.44/645.33 c INPROCESSING 643.44/645.33 c GARBAGE COLLECT 643.44/645.33 c rational objective 46.3636 656.71/658.67 c #Conflicts: 1542000 | #Constraints: 26249 656.71/658.67 c #Conflicts: 1543000 | #Constraints: 27256 656.71/658.67 c #Conflicts: 1544000 | #Constraints: 28261 656.71/658.67 c #Conflicts: 1545000 | #Constraints: 29274 656.71/658.67 c #Conflicts: 1546000 | #Constraints: 30277 656.71/658.67 c #Conflicts: 1547000 | #Constraints: 31281 656.71/658.67 c #Conflicts: 1548000 | #Constraints: 32286 656.71/658.67 c #Conflicts: 1549000 | #Constraints: 33293 656.71/658.67 c #Conflicts: 1550000 | #Constraints: 34298 656.71/658.67 c #Conflicts: 1551000 | #Constraints: 35302 656.71/658.67 c #Conflicts: 1552000 | #Constraints: 36309 656.71/658.67 c #Conflicts: 1553000 | #Constraints: 37315 656.71/658.67 c #Conflicts: 1554000 | #Constraints: 38322 656.71/658.67 c #Conflicts: 1555000 | #Constraints: 39327 656.71/658.67 c #Conflicts: 1556000 | #Constraints: 40329 656.71/658.67 c #Conflicts: 1557000 | #Constraints: 41335 656.71/658.67 c #Conflicts: 1558000 | #Constraints: 42342 656.71/658.67 c #Conflicts: 1559000 | #Constraints: 43346 656.71/658.67 c #Conflicts: 1560000 | #Constraints: 44349 656.71/658.67 c #Conflicts: 1561000 | #Constraints: 45351 656.71/658.67 c #Conflicts: 1562000 | #Constraints: 46357 656.71/658.67 c #Conflicts: 1563000 | #Constraints: 47362 656.71/658.67 c #Conflicts: 1564000 | #Constraints: 48367 656.71/658.67 c #Conflicts: 1565000 | #Constraints: 49371 656.71/658.67 c #Conflicts: 1566000 | #Constraints: 50375 656.71/658.67 c INPROCESSING 656.71/658.67 c GARBAGE COLLECT 656.71/658.67 c rational objective 46.3636 671.97/673.98 c #Conflicts: 1567000 | #Constraints: 26478 671.97/673.98 c #Conflicts: 1568000 | #Constraints: 27480 671.97/673.98 c #Conflicts: 1569000 | #Constraints: 28483 671.97/673.98 c #Conflicts: 1570000 | #Constraints: 29487 671.97/673.98 c #Conflicts: 1571000 | #Constraints: 30489 671.97/673.98 c #Conflicts: 1572000 | #Constraints: 31494 671.97/673.98 c #Conflicts: 1573000 | #Constraints: 32499 671.97/673.98 c #Conflicts: 1574000 | #Constraints: 33507 671.97/673.98 c #Conflicts: 1575000 | #Constraints: 34508 671.97/673.98 c #Conflicts: 1576000 | #Constraints: 35515 671.97/673.98 c #Conflicts: 1577000 | #Constraints: 36519 671.97/673.98 c #Conflicts: 1578000 | #Constraints: 37526 671.97/673.98 c #Conflicts: 1579000 | #Constraints: 38531 671.97/673.98 c #Conflicts: 1580000 | #Constraints: 39536 671.97/673.98 c #Conflicts: 1581000 | #Constraints: 40538 671.97/673.98 c #Conflicts: 1582000 | #Constraints: 41542 671.97/673.98 c #Conflicts: 1583000 | #Constraints: 42550 671.97/673.98 c #Conflicts: 1584000 | #Constraints: 43558 671.97/673.98 c #Conflicts: 1585000 | #Constraints: 44565 671.97/673.98 c #Conflicts: 1586000 | #Constraints: 45570 671.97/673.98 c #Conflicts: 1587000 | #Constraints: 46577 671.97/673.98 c #Conflicts: 1588000 | #Constraints: 47582 671.97/673.98 c #Conflicts: 1589000 | #Constraints: 48588 671.97/673.98 c #Conflicts: 1590000 | #Constraints: 49592 671.97/673.98 c #Conflicts: 1591000 | #Constraints: 50597 671.97/673.98 c INPROCESSING 671.97/673.98 c GARBAGE COLLECT 671.97/673.98 c rational objective 46.3636 687.24/689.24 c #Conflicts: 1592000 | #Constraints: 26486 687.24/689.24 c #Conflicts: 1593000 | #Constraints: 27489 687.24/689.24 c #Conflicts: 1594000 | #Constraints: 28493 687.24/689.24 c #Conflicts: 1595000 | #Constraints: 29495 687.24/689.24 c #Conflicts: 1596000 | #Constraints: 30500 687.24/689.24 c #Conflicts: 1597000 | #Constraints: 31503 687.24/689.24 c #Conflicts: 1598000 | #Constraints: 32509 687.24/689.24 c #Conflicts: 1599000 | #Constraints: 33515 687.24/689.24 c #Conflicts: 1600000 | #Constraints: 34519 687.24/689.24 c #Conflicts: 1601000 | #Constraints: 35521 687.24/689.24 c #Conflicts: 1602000 | #Constraints: 36525 687.24/689.24 c #Conflicts: 1603000 | #Constraints: 37530 687.24/689.24 c #Conflicts: 1604000 | #Constraints: 38532 687.24/689.24 c #Conflicts: 1605000 | #Constraints: 39533 687.24/689.24 c #Conflicts: 1606000 | #Constraints: 40539 687.24/689.24 c #Conflicts: 1607000 | #Constraints: 41545 687.24/689.24 c #Conflicts: 1608000 | #Constraints: 42550 687.24/689.24 c #Conflicts: 1609000 | #Constraints: 43554 687.24/689.24 c #Conflicts: 1610000 | #Constraints: 44559 687.24/689.24 c #Conflicts: 1611000 | #Constraints: 45561 687.24/689.24 c #Conflicts: 1612000 | #Constraints: 46563 687.24/689.24 c #Conflicts: 1613000 | #Constraints: 47570 687.24/689.24 c #Conflicts: 1614000 | #Constraints: 48578 687.24/689.24 c #Conflicts: 1615000 | #Constraints: 49579 687.24/689.24 c #Conflicts: 1616000 | #Constraints: 50581 687.24/689.24 c INPROCESSING 687.24/689.24 c GARBAGE COLLECT 687.24/689.24 c rational objective 46.3636 705.59/707.68 c #Conflicts: 1617000 | #Constraints: 26281 705.59/707.68 c #Conflicts: 1618000 | #Constraints: 27287 705.59/707.68 c #Conflicts: 1619000 | #Constraints: 28293 705.59/707.68 c #Conflicts: 1620000 | #Constraints: 29295 705.59/707.68 c #Conflicts: 1621000 | #Constraints: 30301 705.59/707.68 c #Conflicts: 1622000 | #Constraints: 31308 705.59/707.68 c #Conflicts: 1623000 | #Constraints: 32317 705.59/707.68 c #Conflicts: 1624000 | #Constraints: 33326 705.59/707.68 c #Conflicts: 1625000 | #Constraints: 34335 705.59/707.68 c #Conflicts: 1626000 | #Constraints: 35342 705.59/707.68 c #Conflicts: 1627000 | #Constraints: 36348 705.59/707.68 c #Conflicts: 1628000 | #Constraints: 37355 705.59/707.68 c #Conflicts: 1629000 | #Constraints: 38360 705.59/707.68 c #Conflicts: 1630000 | #Constraints: 39365 705.59/707.68 c #Conflicts: 1631000 | #Constraints: 40372 705.59/707.68 c #Conflicts: 1632000 | #Constraints: 41379 705.59/707.68 c #Conflicts: 1633000 | #Constraints: 42384 705.59/707.68 c #Conflicts: 1634000 | #Constraints: 43390 705.59/707.68 c #Conflicts: 1635000 | #Constraints: 44397 705.59/707.68 c #Conflicts: 1636000 | #Constraints: 45407 705.59/707.68 c #Conflicts: 1637000 | #Constraints: 46414 705.59/707.68 c #Conflicts: 1638000 | #Constraints: 47420 705.59/707.68 c #Conflicts: 1639000 | #Constraints: 48425 705.59/707.68 c #Conflicts: 1640000 | #Constraints: 49430 705.59/707.68 c #Conflicts: 1641000 | #Constraints: 50436 705.59/707.68 c #Conflicts: 1642000 | #Constraints: 51439 705.59/707.68 c INPROCESSING 705.59/707.68 c GARBAGE COLLECT 705.59/707.68 c rational objective 46.3636 719.85/721.92 c #Conflicts: 1643000 | #Constraints: 26908 719.85/721.92 c #Conflicts: 1644000 | #Constraints: 27909 719.85/721.92 c #Conflicts: 1645000 | #Constraints: 28911 719.85/721.92 c #Conflicts: 1646000 | #Constraints: 29913 719.85/721.92 c #Conflicts: 1647000 | #Constraints: 30916 719.85/721.92 c #Conflicts: 1648000 | #Constraints: 31918 719.85/721.92 c #Conflicts: 1649000 | #Constraints: 32923 719.85/721.92 c #Conflicts: 1650000 | #Constraints: 33926 719.85/721.92 c #Conflicts: 1651000 | #Constraints: 34928 719.85/721.92 c #Conflicts: 1652000 | #Constraints: 35928 719.85/721.92 c #Conflicts: 1653000 | #Constraints: 36931 719.85/721.92 c #Conflicts: 1654000 | #Constraints: 37935 719.85/721.92 c #Conflicts: 1655000 | #Constraints: 38937 719.85/721.92 c #Conflicts: 1656000 | #Constraints: 39940 719.85/721.92 c #Conflicts: 1657000 | #Constraints: 40947 719.85/721.92 c #Conflicts: 1658000 | #Constraints: 41950 719.85/721.92 c #Conflicts: 1659000 | #Constraints: 42955 719.85/721.92 c #Conflicts: 1660000 | #Constraints: 43957 719.85/721.92 c #Conflicts: 1661000 | #Constraints: 44959 719.85/721.92 c #Conflicts: 1662000 | #Constraints: 45960 719.85/721.92 c #Conflicts: 1663000 | #Constraints: 46960 719.85/721.92 c #Conflicts: 1664000 | #Constraints: 47962 719.85/721.92 c #Conflicts: 1665000 | #Constraints: 48964 719.85/721.92 c #Conflicts: 1666000 | #Constraints: 49966 719.85/721.92 c #Conflicts: 1667000 | #Constraints: 50969 719.85/721.92 c #Conflicts: 1668000 | #Constraints: 51972 719.85/721.92 c INPROCESSING 719.85/721.92 c GARBAGE COLLECT 719.85/721.92 c rational objective 46.3636 735.72/737.83 c #Conflicts: 1669000 | #Constraints: 27279 735.72/737.83 c #Conflicts: 1670000 | #Constraints: 28283 735.72/737.83 c #Conflicts: 1671000 | #Constraints: 29289 735.72/737.83 c #Conflicts: 1672000 | #Constraints: 30293 735.72/737.83 c #Conflicts: 1673000 | #Constraints: 31296 735.72/737.83 c #Conflicts: 1674000 | #Constraints: 32298 735.72/737.83 c #Conflicts: 1675000 | #Constraints: 33299 735.72/737.83 c #Conflicts: 1676000 | #Constraints: 34302 735.72/737.83 c #Conflicts: 1677000 | #Constraints: 35305 735.72/737.83 c #Conflicts: 1678000 | #Constraints: 36308 735.72/737.83 c #Conflicts: 1679000 | #Constraints: 37310 735.72/737.83 c #Conflicts: 1680000 | #Constraints: 38314 735.72/737.83 c #Conflicts: 1681000 | #Constraints: 39317 735.72/737.83 c #Conflicts: 1682000 | #Constraints: 40322 735.72/737.83 c #Conflicts: 1683000 | #Constraints: 41326 735.72/737.83 c #Conflicts: 1684000 | #Constraints: 42329 735.72/737.83 c #Conflicts: 1685000 | #Constraints: 43335 735.72/737.83 c #Conflicts: 1686000 | #Constraints: 44337 735.72/737.83 c #Conflicts: 1687000 | #Constraints: 45338 735.72/737.83 c #Conflicts: 1688000 | #Constraints: 46340 735.72/737.83 c #Conflicts: 1689000 | #Constraints: 47343 735.72/737.83 c #Conflicts: 1690000 | #Constraints: 48347 735.72/737.83 c #Conflicts: 1691000 | #Constraints: 49355 735.72/737.83 c #Conflicts: 1692000 | #Constraints: 50355 735.72/737.83 c #Conflicts: 1693000 | #Constraints: 51358 735.72/737.83 c #Conflicts: 1694000 | #Constraints: 52364 735.72/737.83 c INPROCESSING 735.72/737.83 c GARBAGE COLLECT 735.72/737.83 c rational objective 46.3636 749.89/752.08 c #Conflicts: 1695000 | #Constraints: 27474 749.89/752.08 c #Conflicts: 1696000 | #Constraints: 28476 749.89/752.08 c #Conflicts: 1697000 | #Constraints: 29481 749.89/752.08 c #Conflicts: 1698000 | #Constraints: 30482 749.89/752.08 c #Conflicts: 1699000 | #Constraints: 31483 749.89/752.08 c #Conflicts: 1700000 | #Constraints: 32487 749.89/752.08 c #Conflicts: 1701000 | #Constraints: 33490 749.89/752.08 c #Conflicts: 1702000 | #Constraints: 34496 749.89/752.08 c #Conflicts: 1703000 | #Constraints: 35499 749.89/752.08 c #Conflicts: 1704000 | #Constraints: 36503 749.89/752.08 c #Conflicts: 1705000 | #Constraints: 37504 749.89/752.08 c #Conflicts: 1706000 | #Constraints: 38507 749.89/752.08 c #Conflicts: 1707000 | #Constraints: 39508 749.89/752.08 c #Conflicts: 1708000 | #Constraints: 40510 749.89/752.08 c #Conflicts: 1709000 | #Constraints: 41513 749.89/752.08 c #Conflicts: 1710000 | #Constraints: 42515 749.89/752.08 c #Conflicts: 1711000 | #Constraints: 43517 749.89/752.08 c #Conflicts: 1712000 | #Constraints: 44523 749.89/752.08 c #Conflicts: 1713000 | #Constraints: 45525 749.89/752.08 c #Conflicts: 1714000 | #Constraints: 46527 749.89/752.08 c #Conflicts: 1715000 | #Constraints: 47528 749.89/752.08 c #Conflicts: 1716000 | #Constraints: 48532 749.89/752.08 c #Conflicts: 1717000 | #Constraints: 49536 749.89/752.08 c #Conflicts: 1718000 | #Constraints: 50538 749.89/752.08 c #Conflicts: 1719000 | #Constraints: 51538 749.89/752.08 c #Conflicts: 1720000 | #Constraints: 52539 749.89/752.08 c INPROCESSING 749.89/752.08 c GARBAGE COLLECT 749.89/752.08 c rational objective 46.3636 764.96/767.16 c #Conflicts: 1721000 | #Constraints: 27465 764.96/767.16 c #Conflicts: 1722000 | #Constraints: 28469 764.96/767.16 c #Conflicts: 1723000 | #Constraints: 29471 764.96/767.16 c #Conflicts: 1724000 | #Constraints: 30473 764.96/767.16 c #Conflicts: 1725000 | #Constraints: 31474 764.96/767.16 c #Conflicts: 1726000 | #Constraints: 32477 764.96/767.16 c #Conflicts: 1727000 | #Constraints: 33481 764.96/767.16 c #Conflicts: 1728000 | #Constraints: 34485 764.96/767.16 c #Conflicts: 1729000 | #Constraints: 35487 764.96/767.16 c #Conflicts: 1730000 | #Constraints: 36487 764.96/767.16 c #Conflicts: 1731000 | #Constraints: 37491 764.96/767.16 c #Conflicts: 1732000 | #Constraints: 38496 764.96/767.16 c #Conflicts: 1733000 | #Constraints: 39501 764.96/767.16 c #Conflicts: 1734000 | #Constraints: 40504 764.96/767.16 c #Conflicts: 1735000 | #Constraints: 41511 764.96/767.16 c #Conflicts: 1736000 | #Constraints: 42519 764.96/767.16 c #Conflicts: 1737000 | #Constraints: 43528 764.96/767.16 c #Conflicts: 1738000 | #Constraints: 44533 764.96/767.16 c #Conflicts: 1739000 | #Constraints: 45547 764.96/767.16 c #Conflicts: 1740000 | #Constraints: 46551 764.96/767.16 c #Conflicts: 1741000 | #Constraints: 47556 764.96/767.16 c #Conflicts: 1742000 | #Constraints: 48563 764.96/767.16 c #Conflicts: 1743000 | #Constraints: 49570 764.96/767.16 c #Conflicts: 1744000 | #Constraints: 50574 764.96/767.16 c #Conflicts: 1745000 | #Constraints: 51575 764.96/767.16 c #Conflicts: 1746000 | #Constraints: 52578 764.96/767.16 c INPROCESSING 764.96/767.16 c GARBAGE COLLECT 764.96/767.16 c rational objective 46.3636 780.60/782.82 c #Conflicts: 1747000 | #Constraints: 27278 780.60/782.82 c #Conflicts: 1748000 | #Constraints: 28281 780.60/782.82 c #Conflicts: 1749000 | #Constraints: 29282 780.60/782.82 c #Conflicts: 1750000 | #Constraints: 30285 780.60/782.82 c #Conflicts: 1751000 | #Constraints: 31289 780.60/782.82 c #Conflicts: 1752000 | #Constraints: 32291 780.60/782.82 c #Conflicts: 1753000 | #Constraints: 33293 780.60/782.82 c #Conflicts: 1754000 | #Constraints: 34294 780.60/782.82 c #Conflicts: 1755000 | #Constraints: 35294 780.60/782.82 c #Conflicts: 1756000 | #Constraints: 36298 780.60/782.82 c #Conflicts: 1757000 | #Constraints: 37299 780.60/782.82 c #Conflicts: 1758000 | #Constraints: 38303 780.60/782.82 c #Conflicts: 1759000 | #Constraints: 39306 780.60/782.82 c #Conflicts: 1760000 | #Constraints: 40308 780.60/782.82 c #Conflicts: 1761000 | #Constraints: 41308 780.60/782.82 c #Conflicts: 1762000 | #Constraints: 42310 780.60/782.82 c #Conflicts: 1763000 | #Constraints: 43312 780.60/782.82 c #Conflicts: 1764000 | #Constraints: 44315 780.60/782.82 c #Conflicts: 1765000 | #Constraints: 45317 780.60/782.82 c #Conflicts: 1766000 | #Constraints: 46318 780.60/782.82 c #Conflicts: 1767000 | #Constraints: 47321 780.60/782.82 c #Conflicts: 1768000 | #Constraints: 48326 780.60/782.82 c #Conflicts: 1769000 | #Constraints: 49328 780.60/782.82 c #Conflicts: 1770000 | #Constraints: 50332 780.60/782.82 c #Conflicts: 1771000 | #Constraints: 51336 780.60/782.82 c #Conflicts: 1772000 | #Constraints: 52338 780.60/782.82 c #Conflicts: 1773000 | #Constraints: 53339 780.60/782.82 c INPROCESSING 780.60/782.82 c GARBAGE COLLECT 780.60/782.82 c rational objective 46.3636 797.16/799.41 c #Conflicts: 1774000 | #Constraints: 27865 797.16/799.41 c #Conflicts: 1775000 | #Constraints: 28867 797.16/799.41 c #Conflicts: 1776000 | #Constraints: 29870 797.16/799.41 c #Conflicts: 1777000 | #Constraints: 30872 797.16/799.41 c #Conflicts: 1778000 | #Constraints: 31876 797.16/799.41 c #Conflicts: 1779000 | #Constraints: 32878 797.16/799.41 c #Conflicts: 1780000 | #Constraints: 33879 797.16/799.41 c #Conflicts: 1781000 | #Constraints: 34885 797.16/799.41 c #Conflicts: 1782000 | #Constraints: 35889 797.16/799.41 c #Conflicts: 1783000 | #Constraints: 36894 797.16/799.41 c #Conflicts: 1784000 | #Constraints: 37897 797.16/799.41 c #Conflicts: 1785000 | #Constraints: 38900 797.16/799.41 c #Conflicts: 1786000 | #Constraints: 39905 797.16/799.41 c #Conflicts: 1787000 | #Constraints: 40905 797.16/799.41 c #Conflicts: 1788000 | #Constraints: 41909 797.16/799.41 c #Conflicts: 1789000 | #Constraints: 42910 797.16/799.41 c #Conflicts: 1790000 | #Constraints: 43911 797.16/799.41 c #Conflicts: 1791000 | #Constraints: 44912 797.16/799.41 c #Conflicts: 1792000 | #Constraints: 45912 797.16/799.41 c #Conflicts: 1793000 | #Constraints: 46915 797.16/799.41 c #Conflicts: 1794000 | #Constraints: 47918 797.16/799.41 c #Conflicts: 1795000 | #Constraints: 48926 797.16/799.41 c #Conflicts: 1796000 | #Constraints: 49933 797.16/799.41 c #Conflicts: 1797000 | #Constraints: 50936 797.16/799.41 c #Conflicts: 1798000 | #Constraints: 51938 797.16/799.41 c #Conflicts: 1799000 | #Constraints: 52939 797.16/799.41 c #Conflicts: 1800000 | #Constraints: 53939 797.16/799.41 c INPROCESSING 797.16/799.41 c GARBAGE COLLECT 797.16/799.41 c rational objective 46.3636 813.52/815.86 c #Conflicts: 1801000 | #Constraints: 28258 813.52/815.86 c #Conflicts: 1802000 | #Constraints: 29262 813.52/815.86 c #Conflicts: 1803000 | #Constraints: 30265 813.52/815.86 c #Conflicts: 1804000 | #Constraints: 31267 813.52/815.86 c #Conflicts: 1805000 | #Constraints: 32268 813.52/815.86 c #Conflicts: 1806000 | #Constraints: 33271 813.52/815.86 c #Conflicts: 1807000 | #Constraints: 34273 813.52/815.86 c #Conflicts: 1808000 | #Constraints: 35275 813.52/815.86 c #Conflicts: 1809000 | #Constraints: 36280 813.52/815.86 c #Conflicts: 1810000 | #Constraints: 37280 813.52/815.86 c #Conflicts: 1811000 | #Constraints: 38283 813.52/815.86 c #Conflicts: 1812000 | #Constraints: 39283 813.52/815.86 c #Conflicts: 1813000 | #Constraints: 40284 813.52/815.86 c #Conflicts: 1814000 | #Constraints: 41288 813.52/815.86 c #Conflicts: 1815000 | #Constraints: 42290 813.52/815.86 c #Conflicts: 1816000 | #Constraints: 43291 813.52/815.86 c #Conflicts: 1817000 | #Constraints: 44292 813.52/815.86 c #Conflicts: 1818000 | #Constraints: 45294 813.52/815.86 c #Conflicts: 1819000 | #Constraints: 46296 813.52/815.86 c #Conflicts: 1820000 | #Constraints: 47296 813.52/815.86 c #Conflicts: 1821000 | #Constraints: 48298 813.52/815.86 c #Conflicts: 1822000 | #Constraints: 49301 813.52/815.86 c #Conflicts: 1823000 | #Constraints: 50301 813.52/815.86 c #Conflicts: 1824000 | #Constraints: 51302 813.52/815.86 c #Conflicts: 1825000 | #Constraints: 52305 813.52/815.86 c #Conflicts: 1826000 | #Constraints: 53308 813.52/815.86 c #Conflicts: 1827000 | #Constraints: 54312 813.52/815.86 c INPROCESSING 813.52/815.86 c GARBAGE COLLECT 813.52/815.86 c rational objective 46.3636 829.69/832.09 c #Conflicts: 1828000 | #Constraints: 28447 829.69/832.09 c #Conflicts: 1829000 | #Constraints: 29448 829.69/832.09 c #Conflicts: 1830000 | #Constraints: 30454 829.69/832.09 c #Conflicts: 1831000 | #Constraints: 31463 829.69/832.09 c #Conflicts: 1832000 | #Constraints: 32467 829.69/832.09 c #Conflicts: 1833000 | #Constraints: 33476 829.69/832.09 c #Conflicts: 1834000 | #Constraints: 34481 829.69/832.09 c #Conflicts: 1835000 | #Constraints: 35490 829.69/832.09 c #Conflicts: 1836000 | #Constraints: 36493 829.69/832.09 c #Conflicts: 1837000 | #Constraints: 37496 829.69/832.09 c #Conflicts: 1838000 | #Constraints: 38498 829.69/832.09 c #Conflicts: 1839000 | #Constraints: 39503 829.69/832.09 c #Conflicts: 1840000 | #Constraints: 40505 829.69/832.09 c #Conflicts: 1841000 | #Constraints: 41508 829.69/832.09 c #Conflicts: 1842000 | #Constraints: 42510 829.69/832.09 c #Conflicts: 1843000 | #Constraints: 43513 829.69/832.09 c #Conflicts: 1844000 | #Constraints: 44515 829.69/832.09 c #Conflicts: 1845000 | #Constraints: 45519 829.69/832.09 c #Conflicts: 1846000 | #Constraints: 46520 829.69/832.09 c #Conflicts: 1847000 | #Constraints: 47520 829.69/832.09 c #Conflicts: 1848000 | #Constraints: 48520 829.69/832.09 c #Conflicts: 1849000 | #Constraints: 49521 829.69/832.09 c #Conflicts: 1850000 | #Constraints: 50521 829.69/832.09 c #Conflicts: 1851000 | #Constraints: 51525 829.69/832.09 c #Conflicts: 1852000 | #Constraints: 52527 829.69/832.09 c #Conflicts: 1853000 | #Constraints: 53531 829.69/832.09 c #Conflicts: 1854000 | #Constraints: 54533 829.69/832.09 c INPROCESSING 829.69/832.09 c GARBAGE COLLECT 829.69/832.09 c rational objective 46.3636 848.24/850.61 c #Conflicts: 1855000 | #Constraints: 28458 848.24/850.61 c #Conflicts: 1856000 | #Constraints: 29462 848.24/850.61 c #Conflicts: 1857000 | #Constraints: 30466 848.24/850.61 c #Conflicts: 1858000 | #Constraints: 31471 848.24/850.61 c #Conflicts: 1859000 | #Constraints: 32473 848.24/850.61 c #Conflicts: 1860000 | #Constraints: 33477 848.24/850.61 c #Conflicts: 1861000 | #Constraints: 34478 848.24/850.61 c #Conflicts: 1862000 | #Constraints: 35482 848.24/850.61 c #Conflicts: 1863000 | #Constraints: 36488 848.24/850.61 c #Conflicts: 1864000 | #Constraints: 37490 848.24/850.61 c #Conflicts: 1865000 | #Constraints: 38492 848.24/850.61 c #Conflicts: 1866000 | #Constraints: 39499 848.24/850.61 c #Conflicts: 1867000 | #Constraints: 40503 848.24/850.61 c #Conflicts: 1868000 | #Constraints: 41506 848.24/850.61 c #Conflicts: 1869000 | #Constraints: 42510 848.24/850.61 c #Conflicts: 1870000 | #Constraints: 43514 848.24/850.61 c #Conflicts: 1871000 | #Constraints: 44515 848.24/850.61 c #Conflicts: 1872000 | #Constraints: 45519 848.24/850.61 c #Conflicts: 1873000 | #Constraints: 46519 848.24/850.61 c #Conflicts: 1874000 | #Constraints: 47521 848.24/850.61 c #Conflicts: 1875000 | #Constraints: 48521 848.24/850.61 c #Conflicts: 1876000 | #Constraints: 49523 848.24/850.61 c #Conflicts: 1877000 | #Constraints: 50526 848.24/850.61 c #Conflicts: 1878000 | #Constraints: 51530 848.24/850.61 c #Conflicts: 1879000 | #Constraints: 52531 848.24/850.61 c #Conflicts: 1880000 | #Constraints: 53535 848.24/850.61 c #Conflicts: 1881000 | #Constraints: 54535 848.24/850.61 c INPROCESSING 848.24/850.61 c GARBAGE COLLECT 848.24/850.61 c rational objective 46.3636 862.90/865.36 c #Conflicts: 1882000 | #Constraints: 28255 862.90/865.36 c #Conflicts: 1883000 | #Constraints: 29257 862.90/865.36 c #Conflicts: 1884000 | #Constraints: 30261 862.90/865.36 c #Conflicts: 1885000 | #Constraints: 31265 862.90/865.36 c #Conflicts: 1886000 | #Constraints: 32265 862.90/865.36 c #Conflicts: 1887000 | #Constraints: 33269 862.90/865.36 c #Conflicts: 1888000 | #Constraints: 34270 862.90/865.36 c #Conflicts: 1889000 | #Constraints: 35272 862.90/865.36 c #Conflicts: 1890000 | #Constraints: 36273 862.90/865.36 c #Conflicts: 1891000 | #Constraints: 37277 862.90/865.36 c #Conflicts: 1892000 | #Constraints: 38277 862.90/865.36 c #Conflicts: 1893000 | #Constraints: 39278 862.90/865.36 c #Conflicts: 1894000 | #Constraints: 40280 862.90/865.36 c #Conflicts: 1895000 | #Constraints: 41281 862.90/865.36 c #Conflicts: 1896000 | #Constraints: 42282 862.90/865.36 c #Conflicts: 1897000 | #Constraints: 43285 862.90/865.36 c #Conflicts: 1898000 | #Constraints: 44288 862.90/865.36 c #Conflicts: 1899000 | #Constraints: 45293 862.90/865.36 c #Conflicts: 1900000 | #Constraints: 46296 862.90/865.36 c #Conflicts: 1901000 | #Constraints: 47297 862.90/865.36 c #Conflicts: 1902000 | #Constraints: 48299 862.90/865.36 c #Conflicts: 1903000 | #Constraints: 49302 862.90/865.36 c #Conflicts: 1904000 | #Constraints: 50304 862.90/865.36 c #Conflicts: 1905000 | #Constraints: 51307 862.90/865.36 c #Conflicts: 1906000 | #Constraints: 52309 862.90/865.36 c #Conflicts: 1907000 | #Constraints: 53309 862.90/865.36 c #Conflicts: 1908000 | #Constraints: 54309 862.90/865.36 c #Conflicts: 1909000 | #Constraints: 55311 862.90/865.36 c INPROCESSING 862.90/865.36 c GARBAGE COLLECT 862.90/865.36 c rational objective 46.3636 880.77/883.22 c #Conflicts: 1910000 | #Constraints: 28846 880.77/883.22 c #Conflicts: 1911000 | #Constraints: 29850 880.77/883.22 c #Conflicts: 1912000 | #Constraints: 30852 880.77/883.22 c #Conflicts: 1913000 | #Constraints: 31855 880.77/883.22 c #Conflicts: 1914000 | #Constraints: 32856 880.77/883.22 c #Conflicts: 1915000 | #Constraints: 33861 880.77/883.22 c #Conflicts: 1916000 | #Constraints: 34865 880.77/883.22 c #Conflicts: 1917000 | #Constraints: 35870 880.77/883.22 c #Conflicts: 1918000 | #Constraints: 36873 880.77/883.22 c #Conflicts: 1919000 | #Constraints: 37875 880.77/883.22 c #Conflicts: 1920000 | #Constraints: 38876 880.77/883.22 c #Conflicts: 1921000 | #Constraints: 39877 880.77/883.22 c #Conflicts: 1922000 | #Constraints: 40877 880.77/883.22 c #Conflicts: 1923000 | #Constraints: 41877 880.77/883.22 c #Conflicts: 1924000 | #Constraints: 42879 880.77/883.22 c #Conflicts: 1925000 | #Constraints: 43880 880.77/883.22 c #Conflicts: 1926000 | #Constraints: 44883 880.77/883.22 c #Conflicts: 1927000 | #Constraints: 45883 880.77/883.22 c #Conflicts: 1928000 | #Constraints: 46887 880.77/883.22 c #Conflicts: 1929000 | #Constraints: 47891 880.77/883.22 c #Conflicts: 1930000 | #Constraints: 48893 880.77/883.22 c #Conflicts: 1931000 | #Constraints: 49895 880.77/883.22 c #Conflicts: 1932000 | #Constraints: 50898 880.77/883.22 c #Conflicts: 1933000 | #Constraints: 51902 880.77/883.22 c #Conflicts: 1934000 | #Constraints: 52908 880.77/883.22 c #Conflicts: 1935000 | #Constraints: 53917 880.77/883.22 c #Conflicts: 1936000 | #Constraints: 54920 880.77/883.22 c #Conflicts: 1937000 | #Constraints: 55920 880.77/883.22 c INPROCESSING 880.77/883.22 c GARBAGE COLLECT 880.77/883.22 c rational objective 46.3636 895.33/897.83 c #Conflicts: 1938000 | #Constraints: 29251 895.33/897.83 c #Conflicts: 1939000 | #Constraints: 30257 895.33/897.83 c #Conflicts: 1940000 | #Constraints: 31258 895.33/897.83 c #Conflicts: 1941000 | #Constraints: 32264 895.33/897.83 c #Conflicts: 1942000 | #Constraints: 33265 895.33/897.83 c #Conflicts: 1943000 | #Constraints: 34269 895.33/897.83 c #Conflicts: 1944000 | #Constraints: 35271 895.33/897.83 c #Conflicts: 1945000 | #Constraints: 36272 895.33/897.83 c #Conflicts: 1946000 | #Constraints: 37272 895.33/897.83 c #Conflicts: 1947000 | #Constraints: 38274 895.33/897.83 c #Conflicts: 1948000 | #Constraints: 39274 895.33/897.83 c #Conflicts: 1949000 | #Constraints: 40278 895.33/897.83 c #Conflicts: 1950000 | #Constraints: 41279 895.33/897.83 c #Conflicts: 1951000 | #Constraints: 42283 895.33/897.83 c #Conflicts: 1952000 | #Constraints: 43288 895.33/897.83 c #Conflicts: 1953000 | #Constraints: 44292 895.33/897.83 c #Conflicts: 1954000 | #Constraints: 45295 895.33/897.83 c #Conflicts: 1955000 | #Constraints: 46296 895.33/897.83 c #Conflicts: 1956000 | #Constraints: 47296 895.33/897.83 c #Conflicts: 1957000 | #Constraints: 48299 895.33/897.83 c #Conflicts: 1958000 | #Constraints: 49300 895.33/897.83 c #Conflicts: 1959000 | #Constraints: 50303 895.33/897.83 c #Conflicts: 1960000 | #Constraints: 51305 895.33/897.83 c #Conflicts: 1961000 | #Constraints: 52305 895.33/897.83 c #Conflicts: 1962000 | #Constraints: 53305 895.33/897.83 c #Conflicts: 1963000 | #Constraints: 54307 895.33/897.83 c #Conflicts: 1964000 | #Constraints: 55310 895.33/897.83 c #Conflicts: 1965000 | #Constraints: 56316 895.33/897.83 c INPROCESSING 895.33/897.83 c GARBAGE COLLECT 895.33/897.83 c rational objective 46.3636 911.69/914.29 c #Conflicts: 1966000 | #Constraints: 29445 911.69/914.29 c #Conflicts: 1967000 | #Constraints: 30448 911.69/914.29 c #Conflicts: 1968000 | #Constraints: 31452 911.69/914.29 c #Conflicts: 1969000 | #Constraints: 32456 911.69/914.29 c #Conflicts: 1970000 | #Constraints: 33462 911.69/914.29 c #Conflicts: 1971000 | #Constraints: 34466 911.69/914.29 c #Conflicts: 1972000 | #Constraints: 35470 911.69/914.29 c #Conflicts: 1973000 | #Constraints: 36474 911.69/914.29 c #Conflicts: 1974000 | #Constraints: 37477 911.69/914.29 c #Conflicts: 1975000 | #Constraints: 38479 911.69/914.29 c #Conflicts: 1976000 | #Constraints: 39479 911.69/914.29 c #Conflicts: 1977000 | #Constraints: 40483 911.69/914.29 c #Conflicts: 1978000 | #Constraints: 41489 911.69/914.29 c #Conflicts: 1979000 | #Constraints: 42492 911.69/914.29 c #Conflicts: 1980000 | #Constraints: 43494 911.69/914.29 c #Conflicts: 1981000 | #Constraints: 44498 911.69/914.29 c #Conflicts: 1982000 | #Constraints: 45506 911.69/914.29 c #Conflicts: 1983000 | #Constraints: 46511 911.69/914.29 c #Conflicts: 1984000 | #Constraints: 47513 911.69/914.29 c #Conflicts: 1985000 | #Constraints: 48515 911.69/914.29 c #Conflicts: 1986000 | #Constraints: 49518 911.69/914.29 c #Conflicts: 1987000 | #Constraints: 50519 911.69/914.29 c #Conflicts: 1988000 | #Constraints: 51522 911.69/914.29 c #Conflicts: 1989000 | #Constraints: 52526 911.69/914.29 c #Conflicts: 1990000 | #Constraints: 53527 911.69/914.29 c #Conflicts: 1991000 | #Constraints: 54531 911.69/914.29 c #Conflicts: 1992000 | #Constraints: 55532 911.69/914.29 c #Conflicts: 1993000 | #Constraints: 56535 911.69/914.29 c INPROCESSING 911.69/914.29 c GARBAGE COLLECT 911.69/914.29 c rational objective 46.3636 912.19/914.79 c #Conflicts: 1994000 | #Constraints: 29461 912.19/914.79 c cpu time 896.41 s 912.19/914.79 c deterministic time 147450968077 1.47e+11 912.19/914.79 c optimization time 0.000192 s 912.19/914.79 c total solve time 896.408 s 912.19/914.79 c core-guided solve time 0 s 912.19/914.79 c propagation time 746.256 s 912.19/914.79 c conflict analysis time 122.924 s 912.19/914.79 c propagations 103732159 912.19/914.79 c resolve steps 43634703 912.19/914.79 c decisions 3300775 912.19/914.79 c conflicts 1994404 912.19/914.79 c restarts 3904 912.19/914.79 c inprocessing phases 132 912.19/914.79 c input clauses 313 912.19/914.79 c input cardinalities 2 912.19/914.79 c input general constraints 242 912.19/914.79 c input average constraint length 5.24 912.19/914.79 c input average constraint degree 2.36 912.19/914.79 c learned clauses 1585918 912.19/914.79 c learned cardinalities 23976 912.19/914.79 c learned general constraints 390278 912.19/914.79 c learned average constraint length 173.87 912.19/914.79 c learned average constraint degree 30869051.22 912.19/914.79 c watched constraints 390278 912.19/914.79 c counting constraints 242 912.19/914.79 c gcd simplifications 343597 912.19/914.79 c detected cardinalities 3791 912.19/914.79 c weakened non-implied lits 40597870 912.19/914.79 c weakened non-implying lits 966408 912.19/914.79 c original variables 370 912.19/914.79 c clausal propagations 27790556 912.19/914.79 c cardinality propagations 6102143 912.19/914.79 c watched propagations 14555643 912.19/914.79 c counting propagations 51575962 912.19/914.79 c watch lookups 8389534368 912.19/914.79 c watch backjump lookups 276308590 912.19/914.79 c watch checks 136057577775 912.19/914.79 c propagation checks 1430098811 912.19/914.79 c constraint additions 1079361367 912.19/914.79 c trail pops 109021570 912.19/914.79 c formula constraints 557 912.19/914.79 c learned constraints 1988636 912.19/914.79 c bound constraints 0 912.19/914.79 c core-guided constraints 0 912.19/914.79 c encountered formula constraints 38091913 912.19/914.79 c encountered learned constraints 7512332 912.19/914.79 c encountered bound constraints 0 912.19/914.79 c encountered core-guided constraints 0 912.19/914.79 c LP total time 43.2116 s 912.19/914.79 c LP solve time 31.64 s 912.19/914.79 c LP constraints added 558 912.19/914.79 c LP constraints removed 1 912.19/914.79 c LP pivots internal 1994419 912.19/914.79 c LP pivots root 38242 912.19/914.79 c LP calls 25266 912.19/914.79 c LP optimalities 19498 912.19/914.79 c LP no pivot count 13 912.19/914.79 c LP infeasibilities 5768 912.19/914.79 c LP valid Farkas constraints 5768 912.19/914.79 c LP learned Farkas constraints 5768 912.19/914.79 c LP basis resets 0 912.19/914.79 c LP cycling count 0 912.19/914.79 c LP singular count 0 912.19/914.79 c LP no primal count 0 912.19/914.79 c LP no farkas count 0 912.19/914.79 c LP other issue count 0 912.19/914.79 c LP Gomory cuts 0 912.19/914.79 c LP learned cuts 1 912.19/914.79 c LP deleted cuts 1 912.19/914.79 c LP encountered Gomory constraints 0 912.19/914.79 c LP encountered Farkas constraints 12622 912.19/914.79 c LP encountered learned Farkas constraints 6472 912.19/914.79 c CG auxiliary variables introduced 0 912.19/914.79 c CG solutions found 0 912.19/914.79 c CG cores constructed 0 912.19/914.79 c CG core cardinality constraints returned 0 912.19/914.79 c CG unit cores 0 912.19/914.79 c CG single cores 0 912.19/914.79 c CG blocks removed during cardinality reduction 0 912.19/914.79 c CG first core best 0 912.19/914.79 c CG decision core best 0 912.19/914.79 c CG core reduction tie 0 912.19/914.79 c CG core degree average 0.00 912.19/914.79 c CG core slack average 0.00 912.19/914.79 s SATISFIABLE 912.19/914.79 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 x246 -x247 x248 -x249 x250 -x251 x252 -x253 x254 x255 -x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 x272 -x273 x274 -x275 x276 x277 -x278 x279 -x280 x281 -x282 -x283 x284 -x285 x286 -x287 x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 -x333 x334 -x335 x336 -x337 x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 x358 -x359 x360 -x361 x362 -x363 x364 -x365 x366 -x367 x368 -x369 x370
OK 0
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (42943 MiB free)
memory of node 1: 64510 MiB (44882 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456865-1721817186/watcher-4456865-1721817186 -o /tmp/evaluation-result-4456865-1721817186/solver-4456865-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183570 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456865-1721817186 --lp-cut-gomory=0 HOME/instance-4456865-1721817186.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=183623, runsolver pid=183615
[startup+0.100877 s]*
/proc/loadavg: 0.13 0.09 0.12 6/259 183633
/proc/meminfo: memFree=89908288/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=38600 memory=9180 CPUtime=0.08 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 702 0 1 0 7 1 0 0 20 0 1 0 18247195 39526400 2295 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 9650 2295 1835 992 0 1508 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38600 KiB
Current children cumulated memory: 9180 KiB
[startup+0.205224 s]*
/proc/loadavg: 0.13 0.09 0.12 4/256 183641
/proc/meminfo: memFree=89906924/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=38896 memory=10172 CPUtime=0.19 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 934 0 1 0 18 1 0 0 20 0 1 0 18247195 39829504 2543 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 9724 2543 1835 992 0 1582 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 10172 KiB
[startup+0.305905 s]*
/proc/loadavg: 0.13 0.09 0.12 4/254 183641
/proc/meminfo: memFree=89904352/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=39120 memory=12724 CPUtime=0.28 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 1032 0 1 0 27 1 0 0 20 0 1 0 18247195 40058880 3181 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 9780 3181 1835 992 0 1638 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39120 KiB
Current children cumulated memory: 12724 KiB
[startup+0.700187 s]
/proc/loadavg: 0.13 0.09 0.12 4/251 183674
/proc/meminfo: memFree=89909672/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=39656 memory=13260 CPUtime=0.67 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 1162 0 1 0 64 3 0 0 20 0 1 0 18247195 40607744 3315 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 9914 3315 1835 992 0 1772 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 39656 KiB
Current children cumulated memory: 13260 KiB
[startup+1.50017 s]
/proc/loadavg: 0.13 0.09 0.12 5/261 183725
/proc/meminfo: memFree=89823852/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=40268 memory=13732 CPUtime=1.47 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 1319 0 1 0 141 6 0 0 20 0 1 0 18247195 41234432 3433 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 10067 3433 1835 992 0 1925 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 40268 KiB
Current children cumulated memory: 13732 KiB
[startup+3.10612 s]
/proc/loadavg: 0.13 0.09 0.12 6/261 183725
/proc/meminfo: memFree=89669992/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=40836 memory=15376 CPUtime=3.07 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 1686 0 1 0 293 14 0 0 20 0 1 0 18247195 41816064 3844 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 10209 3844 1835 992 0 2067 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 15376 KiB
[startup+6.30022 s]
/proc/loadavg: 0.44 0.16 0.14 6/261 183725
/proc/meminfo: memFree=88682456/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=44392 memory=18204 CPUtime=6.26 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 1907 0 1 0 600 26 0 0 20 0 1 0 18247195 45457408 4551 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 11098 4551 1835 992 0 2956 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 44392 KiB
Current children cumulated memory: 18204 KiB
[startup+12.7002 s]
/proc/loadavg: 0.72 0.22 0.17 6/261 183727
/proc/meminfo: memFree=88619912/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=50112 memory=20228 CPUtime=12.63 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 2529 0 1 0 1215 48 0 0 20 0 1 0 18247195 51314688 5057 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 12528 5057 1835 992 0 4386 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 50112 KiB
Current children cumulated memory: 20228 KiB
[startup+25.5002 s]
/proc/loadavg: 1.52 0.42 0.23 6/263 183730
/proc/meminfo: memFree=88516860/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=51296 memory=23964 CPUtime=25.38 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 3195 0 1 0 2455 83 0 0 20 0 1 0 18247195 52527104 5991 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 12824 5991 1835 992 0 4682 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 51296 KiB
Current children cumulated memory: 23964 KiB
[startup+51.1062 s]
/proc/loadavg: 2.37 0.71 0.33 5/261 183874
/proc/meminfo: memFree=88927160/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=61180 memory=30440 CPUtime=50.91 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 4670 0 1 0 4929 162 0 0 20 0 1 0 18247195 62648320 7610 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 15295 7610 1835 992 0 7153 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 61180 KiB
Current children cumulated memory: 30440 KiB
[startup+102.3 s]
/proc/loadavg: 3.33 1.23 0.53 5/262 183882
/proc/meminfo: memFree=84987540/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=63248 memory=36768 CPUtime=101.95 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 6370 0 1 0 9908 287 0 0 20 0 1 0 18247195 64765952 9192 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 15812 9192 1835 992 0 7670 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 63248 KiB
Current children cumulated memory: 36768 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.79 0.77 5/259 183923
/proc/meminfo: memFree=82086288/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=76976 memory=40052 CPUtime=161.77 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 8516 0 1 0 15763 414 0 0 20 0 1 0 18247195 78823424 10013 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 19244 10013 1835 992 0 11102 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 76976 KiB
Current children cumulated memory: 40052 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.19 0.97 5/255 183933
/proc/meminfo: memFree=79784788/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=80048 memory=44736 CPUtime=221.58 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 10309 0 1 0 21616 542 0 0 20 0 1 0 18247195 81969152 11184 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 20012 11184 1835 992 0 11870 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 80048 KiB
Current children cumulated memory: 44736 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.55 1.18 5/260 184057
/proc/meminfo: memFree=79884924/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=82308 memory=51052 CPUtime=281.4 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 11494 0 1 0 27482 658 0 0 20 0 1 0 18247195 84283392 12763 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 20577 12763 1835 992 0 12435 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 82308 KiB
Current children cumulated memory: 51052 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 2.83 1.36 5/260 184067
/proc/meminfo: memFree=77378092/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=82964 memory=51800 CPUtime=341.2 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 12226 0 1 0 33354 766 0 0 20 0 1 0 18247195 84955136 12950 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 20741 12950 1835 992 0 12599 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 82964 KiB
Current children cumulated memory: 51800 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.06 1.54 5/260 184079
/proc/meminfo: memFree=74916392/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=84116 memory=56068 CPUtime=401.03 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 13163 0 1 0 39248 855 0 0 20 0 1 0 18247195 86134784 14017 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 21029 14017 1835 992 0 12887 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 84116 KiB
Current children cumulated memory: 56068 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.27 1.70 5/261 184093
/proc/meminfo: memFree=72206796/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=84760 memory=58768 CPUtime=460.88 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 14173 0 1 0 45141 947 0 0 20 0 1 0 18247195 86794240 14692 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 21190 14692 1835 992 0 13048 0
################
# More data... #
################
/proc/loadavg: 4.09 3.42 1.85 5/262 184105
/proc/meminfo: memFree=70051816/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=103740 memory=59376 CPUtime=520.73 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 15347 0 1 0 51032 1041 0 0 20 0 1 0 18247195 106229760 14844 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 25935 14844 1835 992 0 17793 0
Current children cumulated CPU time: 520.73 s
Current children cumulated vsize: 103740 KiB
Current children cumulated memory: 59376 KiB
[startup+582.3 s]
/proc/loadavg: 4.15 3.56 2.00 5/261 184117
/proc/meminfo: memFree=67428568/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=103748 memory=60500 CPUtime=580.59 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 16495 0 1 0 56921 1138 0 0 20 0 1 0 18247195 106237952 15125 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 25937 15125 1835 992 0 17795 0
Current children cumulated CPU time: 580.59 s
Current children cumulated vsize: 103748 KiB
Current children cumulated memory: 60500 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 3.66 2.14 5/261 184127
/proc/meminfo: memFree=65416724/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=104360 memory=63460 CPUtime=640.45 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 17431 0 1 0 62816 1229 0 0 20 0 1 0 18247195 106864640 15865 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26090 15865 1835 992 0 17948 0
Current children cumulated CPU time: 640.45 s
Current children cumulated vsize: 104360 KiB
Current children cumulated memory: 63460 KiB
[startup+702.3 s]
/proc/loadavg: 4.38 3.80 2.28 5/261 184137
/proc/meminfo: memFree=63105888/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=105396 memory=64440 CPUtime=700.31 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 18389 0 1 0 68726 1305 0 0 20 0 1 0 18247195 107925504 16110 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26349 16110 1835 992 0 18207 0
Current children cumulated CPU time: 700.31 s
Current children cumulated vsize: 105396 KiB
Current children cumulated memory: 64440 KiB
[startup+762.3 s]
/proc/loadavg: 4.24 3.87 2.40 5/260 184149
/proc/meminfo: memFree=61209804/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=105916 memory=67016 CPUtime=760.16 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 19241 0 1 0 74630 1386 0 0 20 0 1 0 18247195 108457984 16754 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26479 16754 1835 992 0 18337 0
Current children cumulated CPU time: 760.16 s
Current children cumulated vsize: 105916 KiB
Current children cumulated memory: 67016 KiB
[startup+822.3 s]
/proc/loadavg: 4.14 3.91 2.51 5/253 184188
/proc/meminfo: memFree=59976640/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=106696 memory=67756 CPUtime=820.01 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 20120 0 1 0 80533 1468 0 0 20 0 1 0 18247195 109256704 16939 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26674 16939 1835 992 0 18532 0
Current children cumulated CPU time: 820.01 s
Current children cumulated vsize: 106696 KiB
Current children cumulated memory: 67756 KiB
[startup+882.3 s]
/proc/loadavg: 4.16 3.96 2.62 5/255 184200
/proc/meminfo: memFree=58606708/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=107468 memory=70428 CPUtime=879.86 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 20801 0 1 0 86445 1541 0 0 20 0 1 0 18247195 110047232 17607 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26867 17607 1835 992 0 18725 0
Current children cumulated CPU time: 879.86 s
Current children cumulated vsize: 107468 KiB
Current children cumulated memory: 70428 KiB
[startup+914.8 s]
# the end of solver process 183623 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=896.412 s, system=15.8797 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 4.13 3.96 2.64 5/255 184201
/proc/meminfo: memFree=58296764/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=107728 memory=70688 CPUtime=893.54 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 21044 0 1 0 87792 1562 0 0 20 0 1 0 18247195 110313472 17672 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26932 17672 1835 992 0 18790 0
Current children cumulated CPU time: 893.54 s
Current children cumulated vsize: 107728 KiB
Current children cumulated memory: 70688 KiB
[startup+902.4 s]
/proc/loadavg: 4.12 3.97 2.65 6/255 184203
/proc/meminfo: memFree=58174396/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=107860 memory=70824 CPUtime=899.92 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 21274 0 1 0 88419 1573 0 0 20 0 1 0 18247195 110448640 17706 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26965 17706 1835 992 0 18823 0
Current children cumulated CPU time: 899.92 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 70824 KiB
[startup+908.8 s]
/proc/loadavg: 4.11 3.97 2.65 6/255 184204
/proc/meminfo: memFree=58041212/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=107860 memory=70824 CPUtime=906.3 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 21278 0 1 0 89049 1581 0 0 20 0 1 0 18247195 110448640 17706 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26965 17706 1835 992 0 18823 0
Current children cumulated CPU time: 906.3 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 70824 KiB
[startup+912 s]*
/proc/loadavg: 4.10 3.97 2.66 5/255 184204
/proc/meminfo: memFree=57946480/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=107860 memory=70824 CPUtime=909.5 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 21280 0 1 0 89365 1585 0 0 20 0 1 0 18247195 110448640 17706 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26965 17706 1835 992 0 18823 0
Current children cumulated CPU time: 909.5 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 70824 KiB
[startup+913.6 s]
/proc/loadavg: 4.10 3.97 2.66 5/255 184204
/proc/meminfo: memFree=57928612/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=107860 memory=70824 CPUtime=911.09 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 21281 0 1 0 89523 1586 0 0 20 0 1 0 18247195 110448640 17706 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26965 17706 1835 992 0 18823 0
Current children cumulated CPU time: 911.09 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 70824 KiB
[startup+914.4 s]
/proc/loadavg: 4.10 3.97 2.66 5/255 184204
/proc/meminfo: memFree=57907016/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=107876 memory=70840 CPUtime=911.89 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 21432 0 1 0 89603 1586 0 0 20 0 1 0 18247195 110465024 17710 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26969 17710 1835 992 0 18827 0
Current children cumulated CPU time: 911.89 s
Current children cumulated vsize: 107876 KiB
Current children cumulated memory: 70840 KiB
[startup+914.6 s]
/proc/loadavg: 4.10 3.97 2.66 5/255 184204
/proc/meminfo: memFree=57907016/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=107876 memory=70840 CPUtime=912.08 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 21432 0 1 0 89622 1586 0 0 20 0 1 0 18247195 110465024 17710 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26969 17710 1835 992 0 18827 0
Current children cumulated CPU time: 912.08 s
Current children cumulated vsize: 107876 KiB
Current children cumulated memory: 70840 KiB
[startup+914.7 s]
/proc/loadavg: 4.10 3.97 2.66 5/255 184204
/proc/meminfo: memFree=57907016/131524600 swapFree=131056284/131071996
[pid=183623] ppid=183615 vsize=107876 memory=70840 CPUtime=912.19 cores=4,6
/proc/183623/stat : 183623 (roundingsat) R 183615 183623 183559 0 -1 4194304 21432 0 1 0 89632 1587 0 0 20 0 1 0 18247195 110465024 17710 134679101440 4194304 8254037 140721224435296 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 27955200 140721224438620 140721224438882 140721224438882 140721224445897 0
/proc/183623/statm: 26969 17710 1835 992 0 18827 0
Current children cumulated CPU time: 912.19 s
Current children cumulated vsize: 107876 KiB
Current children cumulated memory: 70840 KiB
Child status: 0
Real time (s): 914.8
CPU time (s): 912.292
CPU user time (s): 896.412
CPU system time (s): 15.8797
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 107876
Max. memory (cumulated for all children) (KiB): 70840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 896.412
system time used= 15.8797
maximum resident set size= 71476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21441
page faults= 1
swaps= 0
block input operations= 96
block output operations= 2922496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41
involuntary context switches= 1241
# summary of solver processes directly reported to runsolver:
# pid: 183623
# total CPU time (s): 912.292
# total CPU user time (s): 896.412
# total CPU system time (s): 15.8797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.77018 second user time and 4.76706 second system time
The end
Begin job on nodeC016 at 2024-07-24 12:33:07 IDJOB=4456865 IDBENCH=147867 IDSOLVER=3085 FILE ID=nodeC016/4456865-1721817186 RUNJOBID= nodeC016-1721817186-183570 SLURM_JOB_ID= 7816868 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17ls.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-4456865-1721817186/watcher-4456865-1721817186 -o /tmp/evaluation-result-4456865-1721817186/solver-4456865-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183570 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456865-1721817186 --lp-cut-gomory=0 HOME/instance-4456865-1721817186.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 577423e4c806b19b8b5f6a5daee1c614 RANDOM SEED=990321049 nodeC016.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 : 3434.189 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.34 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 : 3452.611 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.68 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 : 3450.077 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.34 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 : 3497.805 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.68 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 : 3342.301 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.34 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 : 3496.043 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.68 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 : 3767.454 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.34 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 : 3767.454 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 89936040 kB MemAvailable: 129575644 kB Buffers: 239912 kB Cached: 40023628 kB SwapCached: 200 kB Active: 2276516 kB Inactive: 38349904 kB Active(anon): 4568 kB Inactive(anon): 411008 kB Active(file): 2271948 kB Inactive(file): 37938896 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056284 kB Dirty: 23432 kB Writeback: 4 kB AnonPages: 362204 kB Mapped: 115416 kB Shmem: 52688 kB KReclaimable: 489992 kB Slab: 611520 kB SReclaimable: 489992 kB SUnreclaim: 121528 kB KernelStack: 4000 kB PageTables: 9896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 742192 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17184 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 371412 kB DirectMap2M: 41345024 kB DirectMap1G: 94371840 kB Free space on /tmp at the end= 890056 MiB End job on nodeC016 at 2024-07-24 12:48:21