| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.01 | 3613.73 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb |
| MD5SUM | 52024caa2fcec9d840e113a681eace59 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 40876.6 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 41 |
| Total number of constraints | 11 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 40 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1196 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3589 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 41 #constraints 11 0.00/0.00 c bounds - >= 0 @ 0.001205 0.00/0.00 c rational objective 0 0.41/0.43 c #Conflicts: 1000 | #Constraints: 1023 0.41/0.43 c #Conflicts: 2000 | #Constraints: 2026 0.41/0.43 c INPROCESSING 0.41/0.43 c GARBAGE COLLECT 0.41/0.43 c rational objective 0 0.99/1.03 c #Conflicts: 3000 | #Constraints: 2024 0.99/1.03 c #Conflicts: 4000 | #Constraints: 3027 0.99/1.03 c INPROCESSING 0.99/1.03 c GARBAGE COLLECT 0.99/1.03 c rational objective 0 1.58/1.63 c #Conflicts: 5000 | #Constraints: 2431 1.58/1.63 c #Conflicts: 6000 | #Constraints: 3435 1.58/1.63 c INPROCESSING 1.58/1.63 c GARBAGE COLLECT 1.58/1.63 c rational objective 0 2.17/2.26 c #Conflicts: 7000 | #Constraints: 2430 2.17/2.26 c #Conflicts: 8000 | #Constraints: 3430 2.17/2.26 c #Conflicts: 9000 | #Constraints: 4433 2.17/2.26 c INPROCESSING 2.17/2.26 c GARBAGE COLLECT 2.17/2.26 c rational objective 0 2.98/3.01 c #Conflicts: 10000 | #Constraints: 3127 2.98/3.01 c #Conflicts: 11000 | #Constraints: 4128 2.98/3.01 c #Conflicts: 12000 | #Constraints: 5128 2.98/3.01 c INPROCESSING 2.98/3.01 c GARBAGE COLLECT 2.98/3.01 c rational objective 0 3.77/3.83 c #Conflicts: 13000 | #Constraints: 3581 3.77/3.83 c #Conflicts: 14000 | #Constraints: 4581 3.77/3.83 c #Conflicts: 15000 | #Constraints: 5583 3.77/3.83 c INPROCESSING 3.77/3.83 c GARBAGE COLLECT 3.77/3.83 c rational objective 0 4.76/4.83 c #Conflicts: 16000 | #Constraints: 3802 4.76/4.83 c #Conflicts: 17000 | #Constraints: 4803 4.76/4.83 c #Conflicts: 18000 | #Constraints: 5805 4.76/4.83 c INPROCESSING 4.76/4.83 c GARBAGE COLLECT 4.76/4.83 c rational objective 0 5.76/5.88 c #Conflicts: 19000 | #Constraints: 3818 5.76/5.88 c #Conflicts: 20000 | #Constraints: 4818 5.76/5.88 c #Conflicts: 21000 | #Constraints: 5818 5.76/5.88 c INPROCESSING 5.76/5.88 c GARBAGE COLLECT 5.76/5.88 c rational objective 0 6.97/7.05 c #Conflicts: 22000 | #Constraints: 3620 6.97/7.05 c #Conflicts: 23000 | #Constraints: 4620 6.97/7.05 c #Conflicts: 24000 | #Constraints: 5620 6.97/7.05 c #Conflicts: 25000 | #Constraints: 6620 6.97/7.05 c INPROCESSING 6.97/7.05 c GARBAGE COLLECT 6.97/7.05 c rational objective 0 8.25/8.36 c #Conflicts: 26000 | #Constraints: 4222 8.25/8.36 c #Conflicts: 27000 | #Constraints: 5223 8.25/8.36 c #Conflicts: 28000 | #Constraints: 6224 8.25/8.36 c #Conflicts: 29000 | #Constraints: 7224 8.25/8.36 c INPROCESSING 8.25/8.36 c GARBAGE COLLECT 8.25/8.36 c rational objective 0 9.75/9.82 c #Conflicts: 30000 | #Constraints: 4623 9.75/9.82 c #Conflicts: 31000 | #Constraints: 5623 9.75/9.82 c #Conflicts: 32000 | #Constraints: 6623 9.75/9.82 c #Conflicts: 33000 | #Constraints: 7623 9.75/9.82 c INPROCESSING 9.75/9.82 c GARBAGE COLLECT 9.75/9.82 c rational objective 0 11.44/11.54 c #Conflicts: 34000 | #Constraints: 4825 11.44/11.54 c #Conflicts: 35000 | #Constraints: 5825 11.44/11.54 c #Conflicts: 36000 | #Constraints: 6825 11.44/11.54 c #Conflicts: 37000 | #Constraints: 7825 11.44/11.54 c INPROCESSING 11.44/11.54 c GARBAGE COLLECT 11.44/11.54 c rational objective 0 13.23/13.35 c #Conflicts: 38000 | #Constraints: 4827 13.23/13.35 c #Conflicts: 39000 | #Constraints: 5827 13.23/13.35 c #Conflicts: 40000 | #Constraints: 6828 13.23/13.35 c #Conflicts: 41000 | #Constraints: 7828 13.23/13.35 c INPROCESSING 13.23/13.35 c GARBAGE COLLECT 13.23/13.35 c rational objective 0 15.13/15.27 c #Conflicts: 42000 | #Constraints: 4629 15.13/15.27 c #Conflicts: 43000 | #Constraints: 5630 15.13/15.27 c #Conflicts: 44000 | #Constraints: 6630 15.13/15.27 c #Conflicts: 45000 | #Constraints: 7630 15.13/15.27 c #Conflicts: 46000 | #Constraints: 8630 15.13/15.27 c INPROCESSING 15.13/15.27 c GARBAGE COLLECT 15.13/15.27 c rational objective 0 17.22/17.34 c #Conflicts: 47000 | #Constraints: 5225 17.22/17.34 c #Conflicts: 48000 | #Constraints: 6225 17.22/17.34 c #Conflicts: 49000 | #Constraints: 7225 17.22/17.34 c #Conflicts: 50000 | #Constraints: 8225 17.22/17.34 c #Conflicts: 51000 | #Constraints: 9225 17.22/17.34 c INPROCESSING 17.22/17.34 c GARBAGE COLLECT 17.22/17.34 c rational objective 0 19.41/19.51 c #Conflicts: 52000 | #Constraints: 5626 19.41/19.51 c #Conflicts: 53000 | #Constraints: 6627 19.41/19.51 c #Conflicts: 54000 | #Constraints: 7629 19.41/19.51 c #Conflicts: 55000 | #Constraints: 8629 19.41/19.51 c #Conflicts: 56000 | #Constraints: 9629 19.41/19.51 c INPROCESSING 19.41/19.51 c GARBAGE COLLECT 19.41/19.51 c rational objective 0 21.70/21.86 c #Conflicts: 57000 | #Constraints: 5825 21.70/21.86 c #Conflicts: 58000 | #Constraints: 6825 21.70/21.86 c #Conflicts: 59000 | #Constraints: 7825 21.70/21.86 c #Conflicts: 60000 | #Constraints: 8825 21.70/21.86 c #Conflicts: 61000 | #Constraints: 9825 21.70/21.86 c INPROCESSING 21.70/21.86 c GARBAGE COLLECT 21.70/21.86 c rational objective 0 24.29/24.45 c #Conflicts: 62000 | #Constraints: 5827 24.29/24.45 c #Conflicts: 63000 | #Constraints: 6827 24.29/24.45 c #Conflicts: 64000 | #Constraints: 7827 24.29/24.45 c #Conflicts: 65000 | #Constraints: 8828 24.29/24.45 c #Conflicts: 66000 | #Constraints: 9828 24.29/24.45 c INPROCESSING 24.29/24.45 c GARBAGE COLLECT 24.29/24.45 c rational objective 0 27.08/27.22 c #Conflicts: 67000 | #Constraints: 5624 27.08/27.22 c #Conflicts: 68000 | #Constraints: 6625 27.08/27.22 c #Conflicts: 69000 | #Constraints: 7625 27.08/27.22 c #Conflicts: 70000 | #Constraints: 8625 27.08/27.22 c #Conflicts: 71000 | #Constraints: 9626 27.08/27.22 c #Conflicts: 72000 | #Constraints: 10626 27.08/27.22 c INPROCESSING 27.08/27.22 c GARBAGE COLLECT 27.08/27.22 c rational objective 0 29.99/30.12 c #Conflicts: 73000 | #Constraints: 6227 29.99/30.12 c #Conflicts: 74000 | #Constraints: 7227 29.99/30.12 c #Conflicts: 75000 | #Constraints: 8227 29.99/30.12 c #Conflicts: 76000 | #Constraints: 9228 29.99/30.12 c #Conflicts: 77000 | #Constraints: 10229 29.99/30.12 c #Conflicts: 78000 | #Constraints: 11229 29.99/30.12 c INPROCESSING 29.99/30.12 c GARBAGE COLLECT 29.99/30.12 c rational objective 0 33.26/33.41 c #Conflicts: 79000 | #Constraints: 6629 33.26/33.41 c #Conflicts: 80000 | #Constraints: 7629 33.26/33.41 c #Conflicts: 81000 | #Constraints: 8630 33.26/33.41 c #Conflicts: 82000 | #Constraints: 9631 33.26/33.41 c #Conflicts: 83000 | #Constraints: 10631 33.26/33.41 c #Conflicts: 84000 | #Constraints: 11631 33.26/33.41 c INPROCESSING 33.26/33.41 c GARBAGE COLLECT 33.26/33.41 c rational objective 0 36.64/36.88 c #Conflicts: 85000 | #Constraints: 6827 36.64/36.88 c #Conflicts: 86000 | #Constraints: 7827 36.64/36.88 c #Conflicts: 87000 | #Constraints: 8827 36.64/36.88 c #Conflicts: 88000 | #Constraints: 9827 36.64/36.88 c #Conflicts: 89000 | #Constraints: 10827 36.64/36.88 c #Conflicts: 90000 | #Constraints: 11827 36.64/36.88 c INPROCESSING 36.64/36.88 c GARBAGE COLLECT 36.64/36.88 c rational objective 0 40.33/40.56 c #Conflicts: 91000 | #Constraints: 6825 40.33/40.56 c #Conflicts: 92000 | #Constraints: 7825 40.33/40.56 c #Conflicts: 93000 | #Constraints: 8825 40.33/40.56 c #Conflicts: 94000 | #Constraints: 9825 40.33/40.56 c #Conflicts: 95000 | #Constraints: 10825 40.33/40.56 c #Conflicts: 96000 | #Constraints: 11825 40.33/40.56 c INPROCESSING 40.33/40.56 c GARBAGE COLLECT 40.33/40.56 c rational objective 0 44.32/44.54 c #Conflicts: 97000 | #Constraints: 6628 44.32/44.54 c #Conflicts: 98000 | #Constraints: 7628 44.32/44.54 c #Conflicts: 99000 | #Constraints: 8628 44.32/44.54 c #Conflicts: 100000 | #Constraints: 9628 44.32/44.54 c #Conflicts: 101000 | #Constraints: 10628 44.32/44.54 c #Conflicts: 102000 | #Constraints: 11628 44.32/44.54 c #Conflicts: 103000 | #Constraints: 12628 44.32/44.54 c INPROCESSING 44.32/44.54 c GARBAGE COLLECT 44.32/44.54 c rational objective 0 48.21/48.44 c #Conflicts: 104000 | #Constraints: 7226 48.21/48.44 c #Conflicts: 105000 | #Constraints: 8226 48.21/48.44 c #Conflicts: 106000 | #Constraints: 9226 48.21/48.44 c #Conflicts: 107000 | #Constraints: 10226 48.21/48.44 c #Conflicts: 108000 | #Constraints: 11226 48.21/48.44 c #Conflicts: 109000 | #Constraints: 12226 48.21/48.44 c #Conflicts: 110000 | #Constraints: 13226 48.21/48.44 c INPROCESSING 48.21/48.44 c GARBAGE COLLECT 48.21/48.44 c rational objective 0 52.29/52.56 c #Conflicts: 111000 | #Constraints: 7626 52.29/52.56 c #Conflicts: 112000 | #Constraints: 8627 52.29/52.56 c #Conflicts: 113000 | #Constraints: 9628 52.29/52.56 c #Conflicts: 114000 | #Constraints: 10630 52.29/52.56 c #Conflicts: 115000 | #Constraints: 11631 52.29/52.56 c #Conflicts: 116000 | #Constraints: 12631 52.29/52.56 c #Conflicts: 117000 | #Constraints: 13631 52.29/52.56 c INPROCESSING 52.29/52.56 c GARBAGE COLLECT 52.29/52.56 c rational objective 0 56.67/56.96 c #Conflicts: 118000 | #Constraints: 7826 56.67/56.96 c #Conflicts: 119000 | #Constraints: 8826 56.67/56.96 c #Conflicts: 120000 | #Constraints: 9826 56.67/56.96 c #Conflicts: 121000 | #Constraints: 10826 56.67/56.96 c #Conflicts: 122000 | #Constraints: 11826 56.67/56.96 c #Conflicts: 123000 | #Constraints: 12827 56.67/56.96 c #Conflicts: 124000 | #Constraints: 13827 56.67/56.96 c INPROCESSING 56.67/56.96 c GARBAGE COLLECT 56.67/56.96 c rational objective 0 61.26/61.53 c #Conflicts: 125000 | #Constraints: 7824 61.26/61.53 c #Conflicts: 126000 | #Constraints: 8824 61.26/61.53 c #Conflicts: 127000 | #Constraints: 9824 61.26/61.53 c #Conflicts: 128000 | #Constraints: 10824 61.26/61.53 c #Conflicts: 129000 | #Constraints: 11824 61.26/61.53 c #Conflicts: 130000 | #Constraints: 12824 61.26/61.53 c #Conflicts: 131000 | #Constraints: 13825 61.26/61.53 c INPROCESSING 61.26/61.53 c GARBAGE COLLECT 61.26/61.53 c rational objective 0 66.14/66.47 c #Conflicts: 132000 | #Constraints: 7624 66.14/66.47 c #Conflicts: 133000 | #Constraints: 8624 66.14/66.47 c #Conflicts: 134000 | #Constraints: 9624 66.14/66.47 c #Conflicts: 135000 | #Constraints: 10625 66.14/66.47 c #Conflicts: 136000 | #Constraints: 11625 66.14/66.47 c #Conflicts: 137000 | #Constraints: 12626 66.14/66.47 c #Conflicts: 138000 | #Constraints: 13626 66.14/66.47 c #Conflicts: 139000 | #Constraints: 14627 66.14/66.47 c INPROCESSING 66.14/66.47 c GARBAGE COLLECT 66.14/66.47 c rational objective 0 71.52/71.84 c #Conflicts: 140000 | #Constraints: 8228 71.52/71.84 c #Conflicts: 141000 | #Constraints: 9228 71.52/71.84 c #Conflicts: 142000 | #Constraints: 10228 71.52/71.84 c #Conflicts: 143000 | #Constraints: 11228 71.52/71.84 c #Conflicts: 144000 | #Constraints: 12228 71.52/71.84 c #Conflicts: 145000 | #Constraints: 13228 71.52/71.84 c #Conflicts: 146000 | #Constraints: 14228 71.52/71.84 c #Conflicts: 147000 | #Constraints: 15228 71.52/71.84 c INPROCESSING 71.52/71.84 c GARBAGE COLLECT 71.52/71.84 c rational objective 0 77.11/77.41 c #Conflicts: 148000 | #Constraints: 8626 77.11/77.41 c #Conflicts: 149000 | #Constraints: 9627 77.11/77.41 c #Conflicts: 150000 | #Constraints: 10627 77.11/77.41 c #Conflicts: 151000 | #Constraints: 11627 77.11/77.41 c #Conflicts: 152000 | #Constraints: 12627 77.11/77.41 c #Conflicts: 153000 | #Constraints: 13627 77.11/77.41 c #Conflicts: 154000 | #Constraints: 14627 77.11/77.41 c #Conflicts: 155000 | #Constraints: 15628 77.11/77.41 c INPROCESSING 77.11/77.41 c GARBAGE COLLECT 77.11/77.41 c rational objective 0 82.89/83.28 c #Conflicts: 156000 | #Constraints: 8827 82.89/83.28 c #Conflicts: 157000 | #Constraints: 9827 82.89/83.28 c #Conflicts: 158000 | #Constraints: 10827 82.89/83.28 c #Conflicts: 159000 | #Constraints: 11827 82.89/83.28 c #Conflicts: 160000 | #Constraints: 12827 82.89/83.28 c #Conflicts: 161000 | #Constraints: 13827 82.89/83.28 c #Conflicts: 162000 | #Constraints: 14827 82.89/83.28 c #Conflicts: 163000 | #Constraints: 15827 82.89/83.28 c INPROCESSING 82.89/83.28 c GARBAGE COLLECT 82.89/83.28 c rational objective 0 89.06/89.46 c #Conflicts: 164000 | #Constraints: 8826 89.06/89.46 c #Conflicts: 165000 | #Constraints: 9826 89.06/89.46 c #Conflicts: 166000 | #Constraints: 10826 89.06/89.46 c #Conflicts: 167000 | #Constraints: 11826 89.06/89.46 c #Conflicts: 168000 | #Constraints: 12826 89.06/89.46 c #Conflicts: 169000 | #Constraints: 13826 89.06/89.46 c #Conflicts: 170000 | #Constraints: 14826 89.06/89.46 c #Conflicts: 171000 | #Constraints: 15826 89.06/89.46 c INPROCESSING 89.06/89.46 c GARBAGE COLLECT 89.06/89.46 c rational objective 0 95.34/95.75 c #Conflicts: 172000 | #Constraints: 8626 95.34/95.75 c #Conflicts: 173000 | #Constraints: 9626 95.34/95.75 c #Conflicts: 174000 | #Constraints: 10626 95.34/95.75 c #Conflicts: 175000 | #Constraints: 11626 95.34/95.75 c #Conflicts: 176000 | #Constraints: 12626 95.34/95.75 c #Conflicts: 177000 | #Constraints: 13626 95.34/95.75 c #Conflicts: 178000 | #Constraints: 14626 95.34/95.75 c #Conflicts: 179000 | #Constraints: 15626 95.34/95.75 c #Conflicts: 180000 | #Constraints: 16626 95.34/95.75 c INPROCESSING 95.34/95.75 c GARBAGE COLLECT 95.34/95.75 c rational objective 0 102.21/102.67 c #Conflicts: 181000 | #Constraints: 9226 102.21/102.67 c #Conflicts: 182000 | #Constraints: 10226 102.21/102.67 c #Conflicts: 183000 | #Constraints: 11226 102.21/102.67 c #Conflicts: 184000 | #Constraints: 12226 102.21/102.67 c #Conflicts: 185000 | #Constraints: 13226 102.21/102.67 c #Conflicts: 186000 | #Constraints: 14226 102.21/102.67 c #Conflicts: 187000 | #Constraints: 15226 102.21/102.67 c #Conflicts: 188000 | #Constraints: 16226 102.21/102.67 c #Conflicts: 189000 | #Constraints: 17226 102.21/102.67 c INPROCESSING 102.21/102.67 c GARBAGE COLLECT 102.21/102.67 c rational objective 0 109.29/109.77 c #Conflicts: 190000 | #Constraints: 9626 109.29/109.77 c #Conflicts: 191000 | #Constraints: 10626 109.29/109.77 c #Conflicts: 192000 | #Constraints: 11626 109.29/109.77 c #Conflicts: 193000 | #Constraints: 12626 109.29/109.77 c #Conflicts: 194000 | #Constraints: 13626 109.29/109.77 c #Conflicts: 195000 | #Constraints: 14626 109.29/109.77 c #Conflicts: 196000 | #Constraints: 15626 109.29/109.77 c #Conflicts: 197000 | #Constraints: 16626 109.29/109.77 c #Conflicts: 198000 | #Constraints: 17626 109.29/109.77 c INPROCESSING 109.29/109.77 c GARBAGE COLLECT 109.29/109.77 c rational objective 0 116.97/117.44 c #Conflicts: 199000 | #Constraints: 9827 116.97/117.44 c #Conflicts: 200000 | #Constraints: 10827 116.97/117.44 c #Conflicts: 201000 | #Constraints: 11827 116.97/117.44 c #Conflicts: 202000 | #Constraints: 12827 116.97/117.44 c #Conflicts: 203000 | #Constraints: 13827 116.97/117.44 c #Conflicts: 204000 | #Constraints: 14827 116.97/117.44 c #Conflicts: 205000 | #Constraints: 15827 116.97/117.44 c #Conflicts: 206000 | #Constraints: 16827 116.97/117.44 c #Conflicts: 207000 | #Constraints: 17827 116.97/117.44 c INPROCESSING 116.97/117.44 c GARBAGE COLLECT 116.97/117.44 c rational objective 0 125.03/125.53 c #Conflicts: 208000 | #Constraints: 9824 125.03/125.53 c #Conflicts: 209000 | #Constraints: 10824 125.03/125.53 c #Conflicts: 210000 | #Constraints: 11824 125.03/125.53 c #Conflicts: 211000 | #Constraints: 12824 125.03/125.53 c #Conflicts: 212000 | #Constraints: 13824 125.03/125.53 c #Conflicts: 213000 | #Constraints: 14824 125.03/125.53 c #Conflicts: 214000 | #Constraints: 15824 125.03/125.53 c #Conflicts: 215000 | #Constraints: 16825 125.03/125.53 c #Conflicts: 216000 | #Constraints: 17826 125.03/125.53 c INPROCESSING 125.03/125.53 c GARBAGE COLLECT 125.03/125.53 c rational objective 0 133.30/133.87 c #Conflicts: 217000 | #Constraints: 9626 133.30/133.87 c #Conflicts: 218000 | #Constraints: 10626 133.30/133.87 c #Conflicts: 219000 | #Constraints: 11626 133.30/133.87 c #Conflicts: 220000 | #Constraints: 12626 133.30/133.87 c #Conflicts: 221000 | #Constraints: 13626 133.30/133.87 c #Conflicts: 222000 | #Constraints: 14626 133.30/133.87 c #Conflicts: 223000 | #Constraints: 15627 133.30/133.87 c #Conflicts: 224000 | #Constraints: 16627 133.30/133.87 c #Conflicts: 225000 | #Constraints: 17627 133.30/133.87 c #Conflicts: 226000 | #Constraints: 18627 133.30/133.87 c INPROCESSING 133.30/133.87 c GARBAGE COLLECT 133.30/133.87 c rational objective 0 141.77/142.32 c #Conflicts: 227000 | #Constraints: 10230 141.77/142.32 c #Conflicts: 228000 | #Constraints: 11230 141.77/142.32 c #Conflicts: 229000 | #Constraints: 12230 141.77/142.32 c #Conflicts: 230000 | #Constraints: 13230 141.77/142.32 c #Conflicts: 231000 | #Constraints: 14230 141.77/142.32 c #Conflicts: 232000 | #Constraints: 15230 141.77/142.32 c #Conflicts: 233000 | #Constraints: 16230 141.77/142.32 c #Conflicts: 234000 | #Constraints: 17230 141.77/142.32 c #Conflicts: 235000 | #Constraints: 18230 141.77/142.32 c #Conflicts: 236000 | #Constraints: 19230 141.77/142.32 c INPROCESSING 141.77/142.32 c GARBAGE COLLECT 141.77/142.32 c rational objective 0 150.46/151.02 c #Conflicts: 237000 | #Constraints: 10628 150.46/151.02 c #Conflicts: 238000 | #Constraints: 11628 150.46/151.02 c #Conflicts: 239000 | #Constraints: 12628 150.46/151.02 c #Conflicts: 240000 | #Constraints: 13628 150.46/151.02 c #Conflicts: 241000 | #Constraints: 14628 150.46/151.02 c #Conflicts: 242000 | #Constraints: 15628 150.46/151.02 c #Conflicts: 243000 | #Constraints: 16628 150.46/151.02 c #Conflicts: 244000 | #Constraints: 17629 150.46/151.02 c #Conflicts: 245000 | #Constraints: 18630 150.46/151.02 c #Conflicts: 246000 | #Constraints: 19630 150.46/151.02 c INPROCESSING 150.46/151.02 c GARBAGE COLLECT 150.46/151.02 c rational objective 0 159.61/160.20 c #Conflicts: 247000 | #Constraints: 10828 159.61/160.20 c #Conflicts: 248000 | #Constraints: 11828 159.61/160.20 c #Conflicts: 249000 | #Constraints: 12828 159.61/160.20 c #Conflicts: 250000 | #Constraints: 13828 159.61/160.20 c #Conflicts: 251000 | #Constraints: 14828 159.61/160.20 c #Conflicts: 252000 | #Constraints: 15829 159.61/160.20 c #Conflicts: 253000 | #Constraints: 16829 159.61/160.20 c #Conflicts: 254000 | #Constraints: 17829 159.61/160.20 c #Conflicts: 255000 | #Constraints: 18829 159.61/160.20 c #Conflicts: 256000 | #Constraints: 19829 159.61/160.20 c INPROCESSING 159.61/160.20 c GARBAGE COLLECT 159.61/160.20 c rational objective 0 168.87/169.58 c #Conflicts: 257000 | #Constraints: 10826 168.87/169.58 c #Conflicts: 258000 | #Constraints: 11826 168.87/169.58 c #Conflicts: 259000 | #Constraints: 12826 168.87/169.58 c #Conflicts: 260000 | #Constraints: 13826 168.87/169.58 c #Conflicts: 261000 | #Constraints: 14826 168.87/169.58 c #Conflicts: 262000 | #Constraints: 15826 168.87/169.58 c #Conflicts: 263000 | #Constraints: 16827 168.87/169.58 c #Conflicts: 264000 | #Constraints: 17827 168.87/169.58 c #Conflicts: 265000 | #Constraints: 18829 168.87/169.58 c #Conflicts: 266000 | #Constraints: 19829 168.87/169.58 c INPROCESSING 168.87/169.58 c GARBAGE COLLECT 168.87/169.58 c rational objective 0 178.84/179.55 c #Conflicts: 267000 | #Constraints: 10629 178.84/179.55 c #Conflicts: 268000 | #Constraints: 11629 178.84/179.55 c #Conflicts: 269000 | #Constraints: 12629 178.84/179.55 c #Conflicts: 270000 | #Constraints: 13629 178.84/179.55 c #Conflicts: 271000 | #Constraints: 14629 178.84/179.55 c #Conflicts: 272000 | #Constraints: 15629 178.84/179.55 c #Conflicts: 273000 | #Constraints: 16629 178.84/179.55 c #Conflicts: 274000 | #Constraints: 17629 178.84/179.55 c #Conflicts: 275000 | #Constraints: 18629 178.84/179.55 c #Conflicts: 276000 | #Constraints: 19629 178.84/179.55 c #Conflicts: 277000 | #Constraints: 20629 178.84/179.55 c INPROCESSING 178.84/179.55 c GARBAGE COLLECT 178.84/179.55 c rational objective 0 188.80/189.59 c #Conflicts: 278000 | #Constraints: 11229 188.80/189.59 c #Conflicts: 279000 | #Constraints: 12229 188.80/189.59 c #Conflicts: 280000 | #Constraints: 13229 188.80/189.59 c #Conflicts: 281000 | #Constraints: 14229 188.80/189.59 c #Conflicts: 282000 | #Constraints: 15229 188.80/189.59 c #Conflicts: 283000 | #Constraints: 16229 188.80/189.59 c #Conflicts: 284000 | #Constraints: 17229 188.80/189.59 c #Conflicts: 285000 | #Constraints: 18229 188.80/189.59 c #Conflicts: 286000 | #Constraints: 19229 188.80/189.59 c #Conflicts: 287000 | #Constraints: 20229 188.80/189.59 c #Conflicts: 288000 | #Constraints: 21229 188.80/189.59 c INPROCESSING 188.80/189.59 c GARBAGE COLLECT 188.80/189.59 c rational objective 0 199.57/200.33 c #Conflicts: 289000 | #Constraints: 11627 199.57/200.33 c #Conflicts: 290000 | #Constraints: 12627 199.57/200.33 c #Conflicts: 291000 | #Constraints: 13627 199.57/200.33 c #Conflicts: 292000 | #Constraints: 14627 199.57/200.33 c #Conflicts: 293000 | #Constraints: 15627 199.57/200.33 c #Conflicts: 294000 | #Constraints: 16627 199.57/200.33 c #Conflicts: 295000 | #Constraints: 17627 199.57/200.33 c #Conflicts: 296000 | #Constraints: 18627 199.57/200.33 c #Conflicts: 297000 | #Constraints: 19627 199.57/200.33 c #Conflicts: 298000 | #Constraints: 20627 199.57/200.33 c #Conflicts: 299000 | #Constraints: 21627 199.57/200.33 c INPROCESSING 199.57/200.33 c GARBAGE COLLECT 199.57/200.33 c rational objective 0 210.53/211.37 c #Conflicts: 300000 | #Constraints: 11824 210.53/211.37 c #Conflicts: 301000 | #Constraints: 12824 210.53/211.37 c #Conflicts: 302000 | #Constraints: 13824 210.53/211.37 c #Conflicts: 303000 | #Constraints: 14824 210.53/211.37 c #Conflicts: 304000 | #Constraints: 15824 210.53/211.37 c #Conflicts: 305000 | #Constraints: 16824 210.53/211.37 c #Conflicts: 306000 | #Constraints: 17824 210.53/211.37 c #Conflicts: 307000 | #Constraints: 18824 210.53/211.37 c #Conflicts: 308000 | #Constraints: 19824 210.53/211.37 c #Conflicts: 309000 | #Constraints: 20824 210.53/211.37 c #Conflicts: 310000 | #Constraints: 21824 210.53/211.37 c INPROCESSING 210.53/211.37 c GARBAGE COLLECT 210.53/211.37 c rational objective 0 222.39/223.20 c #Conflicts: 311000 | #Constraints: 11824 222.39/223.20 c #Conflicts: 312000 | #Constraints: 12824 222.39/223.20 c #Conflicts: 313000 | #Constraints: 13824 222.39/223.20 c #Conflicts: 314000 | #Constraints: 14824 222.39/223.20 c #Conflicts: 315000 | #Constraints: 15824 222.39/223.20 c #Conflicts: 316000 | #Constraints: 16824 222.39/223.20 c #Conflicts: 317000 | #Constraints: 17824 222.39/223.20 c #Conflicts: 318000 | #Constraints: 18824 222.39/223.20 c #Conflicts: 319000 | #Constraints: 19824 222.39/223.20 c #Conflicts: 320000 | #Constraints: 20824 222.39/223.20 c #Conflicts: 321000 | #Constraints: 21824 222.39/223.20 c INPROCESSING 222.39/223.20 c GARBAGE COLLECT 222.39/223.20 c rational objective 0 234.84/235.72 c #Conflicts: 322000 | #Constraints: 11626 234.84/235.72 c #Conflicts: 323000 | #Constraints: 12626 234.84/235.72 c #Conflicts: 324000 | #Constraints: 13626 234.84/235.72 c #Conflicts: 325000 | #Constraints: 14626 234.84/235.72 c #Conflicts: 326000 | #Constraints: 15626 234.84/235.72 c #Conflicts: 327000 | #Constraints: 16627 234.84/235.72 c #Conflicts: 328000 | #Constraints: 17627 234.84/235.72 c #Conflicts: 329000 | #Constraints: 18627 234.84/235.72 c #Conflicts: 330000 | #Constraints: 19627 234.84/235.72 c #Conflicts: 331000 | #Constraints: 20627 234.84/235.72 c #Conflicts: 332000 | #Constraints: 21627 234.84/235.72 c #Conflicts: 333000 | #Constraints: 22627 234.84/235.72 c INPROCESSING 234.84/235.72 c GARBAGE COLLECT 234.84/235.72 c rational objective 0 247.00/247.92 c #Conflicts: 334000 | #Constraints: 12224 247.00/247.92 c #Conflicts: 335000 | #Constraints: 13224 247.00/247.92 c #Conflicts: 336000 | #Constraints: 14224 247.00/247.92 c #Conflicts: 337000 | #Constraints: 15224 247.00/247.92 c #Conflicts: 338000 | #Constraints: 16224 247.00/247.92 c #Conflicts: 339000 | #Constraints: 17224 247.00/247.92 c #Conflicts: 340000 | #Constraints: 18224 247.00/247.92 c #Conflicts: 341000 | #Constraints: 19224 247.00/247.92 c #Conflicts: 342000 | #Constraints: 20224 247.00/247.92 c #Conflicts: 343000 | #Constraints: 21224 247.00/247.92 c #Conflicts: 344000 | #Constraints: 22224 247.00/247.92 c #Conflicts: 345000 | #Constraints: 23225 247.00/247.92 c INPROCESSING 247.00/247.92 c GARBAGE COLLECT 247.00/247.92 c rational objective 0 259.85/260.89 c #Conflicts: 346000 | #Constraints: 12623 259.85/260.89 c #Conflicts: 347000 | #Constraints: 13623 259.85/260.89 c #Conflicts: 348000 | #Constraints: 14623 259.85/260.89 c #Conflicts: 349000 | #Constraints: 15623 259.85/260.89 c #Conflicts: 350000 | #Constraints: 16623 259.85/260.89 c #Conflicts: 351000 | #Constraints: 17623 259.85/260.89 c #Conflicts: 352000 | #Constraints: 18623 259.85/260.89 c #Conflicts: 353000 | #Constraints: 19623 259.85/260.89 c #Conflicts: 354000 | #Constraints: 20623 259.85/260.89 c #Conflicts: 355000 | #Constraints: 21623 259.85/260.89 c #Conflicts: 356000 | #Constraints: 22623 259.85/260.89 c #Conflicts: 357000 | #Constraints: 23623 259.85/260.89 c INPROCESSING 259.85/260.89 c GARBAGE COLLECT 259.85/260.89 c rational objective 0 273.50/274.55 c #Conflicts: 358000 | #Constraints: 12825 273.50/274.55 c #Conflicts: 359000 | #Constraints: 13825 273.50/274.55 c #Conflicts: 360000 | #Constraints: 14825 273.50/274.55 c #Conflicts: 361000 | #Constraints: 15825 273.50/274.55 c #Conflicts: 362000 | #Constraints: 16825 273.50/274.55 c #Conflicts: 363000 | #Constraints: 17825 273.50/274.55 c #Conflicts: 364000 | #Constraints: 18825 273.50/274.55 c #Conflicts: 365000 | #Constraints: 19825 273.50/274.55 c #Conflicts: 366000 | #Constraints: 20825 273.50/274.55 c #Conflicts: 367000 | #Constraints: 21825 273.50/274.55 c #Conflicts: 368000 | #Constraints: 22825 273.50/274.55 c #Conflicts: 369000 | #Constraints: 23825 273.50/274.55 c INPROCESSING 273.50/274.55 c GARBAGE COLLECT 273.50/274.55 c rational objective 0 287.96/289.04 c #Conflicts: 370000 | #Constraints: 12827 287.96/289.04 c #Conflicts: 371000 | #Constraints: 13827 287.96/289.04 c #Conflicts: 372000 | #Constraints: 14827 287.96/289.04 c #Conflicts: 373000 | #Constraints: 15827 287.96/289.04 c #Conflicts: 374000 | #Constraints: 16827 287.96/289.04 c #Conflicts: 375000 | #Constraints: 17827 287.96/289.04 c #Conflicts: 376000 | #Constraints: 18829 287.96/289.04 c #Conflicts: 377000 | #Constraints: 19829 287.96/289.04 c #Conflicts: 378000 | #Constraints: 20829 287.96/289.04 c #Conflicts: 379000 | #Constraints: 21829 287.96/289.04 c #Conflicts: 380000 | #Constraints: 22829 287.96/289.04 c #Conflicts: 381000 | #Constraints: 23829 287.96/289.04 c INPROCESSING 287.96/289.04 c GARBAGE COLLECT 287.96/289.04 c rational objective 0 302.09/303.22 c #Conflicts: 382000 | #Constraints: 12628 302.09/303.22 c #Conflicts: 383000 | #Constraints: 13628 302.09/303.22 c #Conflicts: 384000 | #Constraints: 14628 302.09/303.22 c #Conflicts: 385000 | #Constraints: 15628 302.09/303.22 c #Conflicts: 386000 | #Constraints: 16628 302.09/303.22 c #Conflicts: 387000 | #Constraints: 17628 302.09/303.22 c #Conflicts: 388000 | #Constraints: 18628 302.09/303.22 c #Conflicts: 389000 | #Constraints: 19628 302.09/303.22 c #Conflicts: 390000 | #Constraints: 20628 302.09/303.22 c #Conflicts: 391000 | #Constraints: 21628 302.09/303.22 c #Conflicts: 392000 | #Constraints: 22628 302.09/303.22 c #Conflicts: 393000 | #Constraints: 23628 302.09/303.22 c #Conflicts: 394000 | #Constraints: 24628 302.09/303.22 c INPROCESSING 302.09/303.22 c GARBAGE COLLECT 302.09/303.22 c rational objective 0 316.54/317.76 c #Conflicts: 395000 | #Constraints: 13229 316.54/317.76 c #Conflicts: 396000 | #Constraints: 14229 316.54/317.76 c #Conflicts: 397000 | #Constraints: 15230 316.54/317.76 c #Conflicts: 398000 | #Constraints: 16230 316.54/317.76 c #Conflicts: 399000 | #Constraints: 17230 316.54/317.76 c #Conflicts: 400000 | #Constraints: 18230 316.54/317.76 c #Conflicts: 401000 | #Constraints: 19230 316.54/317.76 c #Conflicts: 402000 | #Constraints: 20230 316.54/317.76 c #Conflicts: 403000 | #Constraints: 21230 316.54/317.76 c #Conflicts: 404000 | #Constraints: 22230 316.54/317.76 c #Conflicts: 405000 | #Constraints: 23230 316.54/317.76 c #Conflicts: 406000 | #Constraints: 24230 316.54/317.76 c #Conflicts: 407000 | #Constraints: 25230 316.54/317.76 c INPROCESSING 316.54/317.76 c GARBAGE COLLECT 316.54/317.76 c rational objective 0 331.59/332.81 c #Conflicts: 408000 | #Constraints: 13629 331.59/332.81 c #Conflicts: 409000 | #Constraints: 14630 331.59/332.81 c #Conflicts: 410000 | #Constraints: 15630 331.59/332.81 c #Conflicts: 411000 | #Constraints: 16630 331.59/332.81 c #Conflicts: 412000 | #Constraints: 17630 331.59/332.81 c #Conflicts: 413000 | #Constraints: 18630 331.59/332.81 c #Conflicts: 414000 | #Constraints: 19630 331.59/332.81 c #Conflicts: 415000 | #Constraints: 20630 331.59/332.81 c #Conflicts: 416000 | #Constraints: 21630 331.59/332.81 c #Conflicts: 417000 | #Constraints: 22630 331.59/332.81 c #Conflicts: 418000 | #Constraints: 23631 331.59/332.81 c #Conflicts: 419000 | #Constraints: 24631 331.59/332.81 c #Conflicts: 420000 | #Constraints: 25631 331.59/332.81 c INPROCESSING 331.59/332.81 c GARBAGE COLLECT 331.59/332.81 c rational objective 0 347.43/348.75 c #Conflicts: 421000 | #Constraints: 13827 347.43/348.75 c #Conflicts: 422000 | #Constraints: 14827 347.43/348.75 c #Conflicts: 423000 | #Constraints: 15827 347.43/348.75 c #Conflicts: 424000 | #Constraints: 16827 347.43/348.75 c #Conflicts: 425000 | #Constraints: 17827 347.43/348.75 c #Conflicts: 426000 | #Constraints: 18827 347.43/348.75 c #Conflicts: 427000 | #Constraints: 19827 347.43/348.75 c #Conflicts: 428000 | #Constraints: 20827 347.43/348.75 c #Conflicts: 429000 | #Constraints: 21827 347.43/348.75 c #Conflicts: 430000 | #Constraints: 22828 347.43/348.75 c #Conflicts: 431000 | #Constraints: 23828 347.43/348.75 c #Conflicts: 432000 | #Constraints: 24828 347.43/348.75 c #Conflicts: 433000 | #Constraints: 25828 347.43/348.75 c INPROCESSING 347.43/348.75 c GARBAGE COLLECT 347.43/348.75 c rational objective 0 363.57/364.93 c #Conflicts: 434000 | #Constraints: 13827 363.57/364.93 c #Conflicts: 435000 | #Constraints: 14827 363.57/364.93 c #Conflicts: 436000 | #Constraints: 15828 363.57/364.93 c #Conflicts: 437000 | #Constraints: 16828 363.57/364.93 c #Conflicts: 438000 | #Constraints: 17828 363.57/364.93 c #Conflicts: 439000 | #Constraints: 18828 363.57/364.93 c #Conflicts: 440000 | #Constraints: 19828 363.57/364.93 c #Conflicts: 441000 | #Constraints: 20828 363.57/364.93 c #Conflicts: 442000 | #Constraints: 21828 363.57/364.93 c #Conflicts: 443000 | #Constraints: 22828 363.57/364.93 c #Conflicts: 444000 | #Constraints: 23828 363.57/364.93 c #Conflicts: 445000 | #Constraints: 24828 363.57/364.93 c #Conflicts: 446000 | #Constraints: 25828 363.57/364.93 c INPROCESSING 363.57/364.93 c GARBAGE COLLECT 363.57/364.93 c rational objective 0 381.01/382.44 c #Conflicts: 447000 | #Constraints: 13626 381.01/382.44 c #Conflicts: 448000 | #Constraints: 14626 381.01/382.44 c #Conflicts: 449000 | #Constraints: 15626 381.01/382.44 c #Conflicts: 450000 | #Constraints: 16626 381.01/382.44 c #Conflicts: 451000 | #Constraints: 17626 381.01/382.44 c #Conflicts: 452000 | #Constraints: 18626 381.01/382.44 c #Conflicts: 453000 | #Constraints: 19626 381.01/382.44 c #Conflicts: 454000 | #Constraints: 20626 381.01/382.44 c #Conflicts: 455000 | #Constraints: 21626 381.01/382.44 c #Conflicts: 456000 | #Constraints: 22626 381.01/382.44 c #Conflicts: 457000 | #Constraints: 23626 381.01/382.44 c #Conflicts: 458000 | #Constraints: 24626 381.01/382.44 c #Conflicts: 459000 | #Constraints: 25627 381.01/382.44 c #Conflicts: 460000 | #Constraints: 26627 381.01/382.44 c INPROCESSING 381.01/382.44 c GARBAGE COLLECT 381.01/382.44 c rational objective 0 399.34/400.82 c #Conflicts: 461000 | #Constraints: 14230 399.34/400.82 c #Conflicts: 462000 | #Constraints: 15230 399.34/400.82 c #Conflicts: 463000 | #Constraints: 16230 399.34/400.82 c #Conflicts: 464000 | #Constraints: 17230 399.34/400.82 c #Conflicts: 465000 | #Constraints: 18230 399.34/400.82 c #Conflicts: 466000 | #Constraints: 19230 399.34/400.82 c #Conflicts: 467000 | #Constraints: 20230 399.34/400.82 c #Conflicts: 468000 | #Constraints: 21230 399.34/400.82 c #Conflicts: 469000 | #Constraints: 22230 399.34/400.82 c #Conflicts: 470000 | #Constraints: 23230 399.34/400.82 c #Conflicts: 471000 | #Constraints: 24230 399.34/400.82 c #Conflicts: 472000 | #Constraints: 25230 399.34/400.82 c #Conflicts: 473000 | #Constraints: 26230 399.34/400.82 c #Conflicts: 474000 | #Constraints: 27230 399.34/400.82 c INPROCESSING 399.34/400.82 c GARBAGE COLLECT 399.34/400.82 c rational objective 0 417.88/419.42 c #Conflicts: 475000 | #Constraints: 14625 417.88/419.42 c #Conflicts: 476000 | #Constraints: 15625 417.88/419.42 c #Conflicts: 477000 | #Constraints: 16625 417.88/419.42 c #Conflicts: 478000 | #Constraints: 17625 417.88/419.42 c #Conflicts: 479000 | #Constraints: 18625 417.88/419.42 c #Conflicts: 480000 | #Constraints: 19625 417.88/419.42 c #Conflicts: 481000 | #Constraints: 20625 417.88/419.42 c #Conflicts: 482000 | #Constraints: 21625 417.88/419.42 c #Conflicts: 483000 | #Constraints: 22625 417.88/419.42 c #Conflicts: 484000 | #Constraints: 23625 417.88/419.42 c #Conflicts: 485000 | #Constraints: 24625 417.88/419.42 c #Conflicts: 486000 | #Constraints: 25625 417.88/419.42 c #Conflicts: 487000 | #Constraints: 26625 417.88/419.42 c #Conflicts: 488000 | #Constraints: 27625 417.88/419.42 c INPROCESSING 417.88/419.42 c GARBAGE COLLECT 417.88/419.42 c rational objective 0 436.42/438.03 c #Conflicts: 489000 | #Constraints: 14824 436.42/438.03 c #Conflicts: 490000 | #Constraints: 15824 436.42/438.03 c #Conflicts: 491000 | #Constraints: 16824 436.42/438.03 c #Conflicts: 492000 | #Constraints: 17824 436.42/438.03 c #Conflicts: 493000 | #Constraints: 18824 436.42/438.03 c #Conflicts: 494000 | #Constraints: 19824 436.42/438.03 c #Conflicts: 495000 | #Constraints: 20824 436.42/438.03 c #Conflicts: 496000 | #Constraints: 21824 436.42/438.03 c #Conflicts: 497000 | #Constraints: 22824 436.42/438.03 c #Conflicts: 498000 | #Constraints: 23824 436.42/438.03 c #Conflicts: 499000 | #Constraints: 24824 436.42/438.03 c #Conflicts: 500000 | #Constraints: 25824 436.42/438.03 c #Conflicts: 501000 | #Constraints: 26824 436.42/438.03 c #Conflicts: 502000 | #Constraints: 27824 436.42/438.03 c INPROCESSING 436.42/438.03 c GARBAGE COLLECT 436.42/438.03 c rational objective 0 455.14/456.89 c #Conflicts: 503000 | #Constraints: 14825 455.14/456.89 c #Conflicts: 504000 | #Constraints: 15825 455.14/456.89 c #Conflicts: 505000 | #Constraints: 16825 455.14/456.89 c #Conflicts: 506000 | #Constraints: 17825 455.14/456.89 c #Conflicts: 507000 | #Constraints: 18825 455.14/456.89 c #Conflicts: 508000 | #Constraints: 19825 455.14/456.89 c #Conflicts: 509000 | #Constraints: 20825 455.14/456.89 c #Conflicts: 510000 | #Constraints: 21825 455.14/456.89 c #Conflicts: 511000 | #Constraints: 22825 455.14/456.89 c #Conflicts: 512000 | #Constraints: 23825 455.14/456.89 c #Conflicts: 513000 | #Constraints: 24825 455.14/456.89 c #Conflicts: 514000 | #Constraints: 25825 455.14/456.89 c #Conflicts: 515000 | #Constraints: 26825 455.14/456.89 c #Conflicts: 516000 | #Constraints: 27825 455.14/456.89 c INPROCESSING 455.14/456.89 c GARBAGE COLLECT 455.14/456.89 c rational objective 0 473.77/475.57 c #Conflicts: 517000 | #Constraints: 14625 473.77/475.57 c #Conflicts: 518000 | #Constraints: 15625 473.77/475.57 c #Conflicts: 519000 | #Constraints: 16625 473.77/475.57 c #Conflicts: 520000 | #Constraints: 17625 473.77/475.57 c #Conflicts: 521000 | #Constraints: 18625 473.77/475.57 c #Conflicts: 522000 | #Constraints: 19625 473.77/475.57 c #Conflicts: 523000 | #Constraints: 20625 473.77/475.57 c #Conflicts: 524000 | #Constraints: 21625 473.77/475.57 c #Conflicts: 525000 | #Constraints: 22625 473.77/475.57 c #Conflicts: 526000 | #Constraints: 23626 473.77/475.57 c #Conflicts: 527000 | #Constraints: 24626 473.77/475.57 c #Conflicts: 528000 | #Constraints: 25626 473.77/475.57 c #Conflicts: 529000 | #Constraints: 26626 473.77/475.57 c #Conflicts: 530000 | #Constraints: 27626 473.77/475.57 c #Conflicts: 531000 | #Constraints: 28626 473.77/475.57 c INPROCESSING 473.77/475.57 c GARBAGE COLLECT 473.77/475.57 c rational objective 0 493.00/494.89 c #Conflicts: 532000 | #Constraints: 15225 493.00/494.89 c #Conflicts: 533000 | #Constraints: 16225 493.00/494.89 c #Conflicts: 534000 | #Constraints: 17225 493.00/494.89 c #Conflicts: 535000 | #Constraints: 18225 493.00/494.89 c #Conflicts: 536000 | #Constraints: 19225 493.00/494.89 c #Conflicts: 537000 | #Constraints: 20225 493.00/494.89 c #Conflicts: 538000 | #Constraints: 21225 493.00/494.89 c #Conflicts: 539000 | #Constraints: 22225 493.00/494.89 c #Conflicts: 540000 | #Constraints: 23225 493.00/494.89 c #Conflicts: 541000 | #Constraints: 24225 493.00/494.89 c #Conflicts: 542000 | #Constraints: 25225 493.00/494.89 c #Conflicts: 543000 | #Constraints: 26225 493.00/494.89 c #Conflicts: 544000 | #Constraints: 27226 493.00/494.89 c #Conflicts: 545000 | #Constraints: 28226 493.00/494.89 c #Conflicts: 546000 | #Constraints: 29226 493.00/494.89 c INPROCESSING 493.00/494.89 c GARBAGE COLLECT 493.00/494.89 c rational objective 0 512.93/514.88 c #Conflicts: 547000 | #Constraints: 15627 512.93/514.88 c #Conflicts: 548000 | #Constraints: 16627 512.93/514.88 c #Conflicts: 549000 | #Constraints: 17627 512.93/514.88 c #Conflicts: 550000 | #Constraints: 18628 512.93/514.88 c #Conflicts: 551000 | #Constraints: 19628 512.93/514.88 c #Conflicts: 552000 | #Constraints: 20628 512.93/514.88 c #Conflicts: 553000 | #Constraints: 21628 512.93/514.88 c #Conflicts: 554000 | #Constraints: 22628 512.93/514.88 c #Conflicts: 555000 | #Constraints: 23628 512.93/514.88 c #Conflicts: 556000 | #Constraints: 24628 512.93/514.88 c #Conflicts: 557000 | #Constraints: 25628 512.93/514.88 c #Conflicts: 558000 | #Constraints: 26628 512.93/514.88 c #Conflicts: 559000 | #Constraints: 27628 512.93/514.88 c #Conflicts: 560000 | #Constraints: 28628 512.93/514.88 c #Conflicts: 561000 | #Constraints: 29628 512.93/514.88 c INPROCESSING 512.93/514.88 c GARBAGE COLLECT 512.93/514.88 c rational objective 0 534.75/536.79 c #Conflicts: 562000 | #Constraints: 15826 534.75/536.79 c #Conflicts: 563000 | #Constraints: 16826 534.75/536.79 c #Conflicts: 564000 | #Constraints: 17826 534.75/536.79 c #Conflicts: 565000 | #Constraints: 18826 534.75/536.79 c #Conflicts: 566000 | #Constraints: 19826 534.75/536.79 c #Conflicts: 567000 | #Constraints: 20826 534.75/536.79 c #Conflicts: 568000 | #Constraints: 21826 534.75/536.79 c #Conflicts: 569000 | #Constraints: 22826 534.75/536.79 c #Conflicts: 570000 | #Constraints: 23826 534.75/536.79 c #Conflicts: 571000 | #Constraints: 24826 534.75/536.79 c #Conflicts: 572000 | #Constraints: 25826 534.75/536.79 c #Conflicts: 573000 | #Constraints: 26826 534.75/536.79 c #Conflicts: 574000 | #Constraints: 27826 534.75/536.79 c #Conflicts: 575000 | #Constraints: 28826 534.75/536.79 c #Conflicts: 576000 | #Constraints: 29826 534.75/536.79 c INPROCESSING 534.75/536.79 c GARBAGE COLLECT 534.75/536.79 c rational objective 0 556.17/558.29 c #Conflicts: 577000 | #Constraints: 15826 556.17/558.29 c #Conflicts: 578000 | #Constraints: 16826 556.17/558.29 c #Conflicts: 579000 | #Constraints: 17826 556.17/558.29 c #Conflicts: 580000 | #Constraints: 18826 556.17/558.29 c #Conflicts: 581000 | #Constraints: 19826 556.17/558.29 c #Conflicts: 582000 | #Constraints: 20827 556.17/558.29 c #Conflicts: 583000 | #Constraints: 21827 556.17/558.29 c #Conflicts: 584000 | #Constraints: 22827 556.17/558.29 c #Conflicts: 585000 | #Constraints: 23827 556.17/558.29 c #Conflicts: 586000 | #Constraints: 24827 556.17/558.29 c #Conflicts: 587000 | #Constraints: 25827 556.17/558.29 c #Conflicts: 588000 | #Constraints: 26827 556.17/558.29 c #Conflicts: 589000 | #Constraints: 27827 556.17/558.29 c #Conflicts: 590000 | #Constraints: 28827 556.17/558.29 c #Conflicts: 591000 | #Constraints: 29827 556.17/558.29 c INPROCESSING 556.17/558.29 c GARBAGE COLLECT 556.17/558.29 c rational objective 0 577.09/579.21 c #Conflicts: 592000 | #Constraints: 15625 577.09/579.21 c #Conflicts: 593000 | #Constraints: 16625 577.09/579.21 c #Conflicts: 594000 | #Constraints: 17625 577.09/579.21 c #Conflicts: 595000 | #Constraints: 18625 577.09/579.21 c #Conflicts: 596000 | #Constraints: 19625 577.09/579.21 c #Conflicts: 597000 | #Constraints: 20625 577.09/579.21 c #Conflicts: 598000 | #Constraints: 21625 577.09/579.21 c #Conflicts: 599000 | #Constraints: 22625 577.09/579.21 c #Conflicts: 600000 | #Constraints: 23625 577.09/579.21 c #Conflicts: 601000 | #Constraints: 24625 577.09/579.21 c #Conflicts: 602000 | #Constraints: 25625 577.09/579.21 c #Conflicts: 603000 | #Constraints: 26625 577.09/579.21 c #Conflicts: 604000 | #Constraints: 27625 577.09/579.21 c #Conflicts: 605000 | #Constraints: 28625 577.09/579.21 c #Conflicts: 606000 | #Constraints: 29625 577.09/579.21 c #Conflicts: 607000 | #Constraints: 30625 577.09/579.21 c INPROCESSING 577.09/579.21 c GARBAGE COLLECT 577.09/579.21 c rational objective 0 599.02/601.23 c #Conflicts: 608000 | #Constraints: 16227 599.02/601.23 c #Conflicts: 609000 | #Constraints: 17228 599.02/601.23 c #Conflicts: 610000 | #Constraints: 18228 599.02/601.23 c #Conflicts: 611000 | #Constraints: 19228 599.02/601.23 c #Conflicts: 612000 | #Constraints: 20228 599.02/601.23 c #Conflicts: 613000 | #Constraints: 21228 599.02/601.23 c #Conflicts: 614000 | #Constraints: 22228 599.02/601.23 c #Conflicts: 615000 | #Constraints: 23228 599.02/601.23 c #Conflicts: 616000 | #Constraints: 24228 599.02/601.23 c #Conflicts: 617000 | #Constraints: 25228 599.02/601.23 c #Conflicts: 618000 | #Constraints: 26228 599.02/601.23 c #Conflicts: 619000 | #Constraints: 27228 599.02/601.23 c #Conflicts: 620000 | #Constraints: 28228 599.02/601.23 c #Conflicts: 621000 | #Constraints: 29228 599.02/601.23 c #Conflicts: 622000 | #Constraints: 30228 599.02/601.23 c #Conflicts: 623000 | #Constraints: 31228 599.02/601.23 c INPROCESSING 599.02/601.23 c GARBAGE COLLECT 599.02/601.23 c rational objective 0 621.34/623.61 c #Conflicts: 624000 | #Constraints: 16626 621.34/623.61 c #Conflicts: 625000 | #Constraints: 17626 621.34/623.61 c #Conflicts: 626000 | #Constraints: 18626 621.34/623.61 c #Conflicts: 627000 | #Constraints: 19626 621.34/623.61 c #Conflicts: 628000 | #Constraints: 20626 621.34/623.61 c #Conflicts: 629000 | #Constraints: 21626 621.34/623.61 c #Conflicts: 630000 | #Constraints: 22626 621.34/623.61 c #Conflicts: 631000 | #Constraints: 23626 621.34/623.61 c #Conflicts: 632000 | #Constraints: 24626 621.34/623.61 c #Conflicts: 633000 | #Constraints: 25626 621.34/623.61 c #Conflicts: 634000 | #Constraints: 26626 621.34/623.61 c #Conflicts: 635000 | #Constraints: 27626 621.34/623.61 c #Conflicts: 636000 | #Constraints: 28626 621.34/623.61 c #Conflicts: 637000 | #Constraints: 29626 621.34/623.61 c #Conflicts: 638000 | #Constraints: 30626 621.34/623.61 c #Conflicts: 639000 | #Constraints: 31626 621.34/623.61 c INPROCESSING 621.34/623.61 c GARBAGE COLLECT 621.34/623.61 c rational objective 0 644.66/647.10 c #Conflicts: 640000 | #Constraints: 16826 644.66/647.10 c #Conflicts: 641000 | #Constraints: 17826 644.66/647.10 c #Conflicts: 642000 | #Constraints: 18826 644.66/647.10 c #Conflicts: 643000 | #Constraints: 19826 644.66/647.10 c #Conflicts: 644000 | #Constraints: 20826 644.66/647.10 c #Conflicts: 645000 | #Constraints: 21826 644.66/647.10 c #Conflicts: 646000 | #Constraints: 22826 644.66/647.10 c #Conflicts: 647000 | #Constraints: 23826 644.66/647.10 c #Conflicts: 648000 | #Constraints: 24826 644.66/647.10 c #Conflicts: 649000 | #Constraints: 25826 644.66/647.10 c #Conflicts: 650000 | #Constraints: 26826 644.66/647.10 c #Conflicts: 651000 | #Constraints: 27826 644.66/647.10 c #Conflicts: 652000 | #Constraints: 28826 644.66/647.10 c #Conflicts: 653000 | #Constraints: 29826 644.66/647.10 c #Conflicts: 654000 | #Constraints: 30826 644.66/647.10 c #Conflicts: 655000 | #Constraints: 31826 644.66/647.10 c INPROCESSING 644.66/647.10 c GARBAGE COLLECT 644.66/647.10 c rational objective 0 668.46/670.92 c #Conflicts: 656000 | #Constraints: 16827 668.46/670.92 c #Conflicts: 657000 | #Constraints: 17827 668.46/670.92 c #Conflicts: 658000 | #Constraints: 18827 668.46/670.92 c #Conflicts: 659000 | #Constraints: 19827 668.46/670.92 c #Conflicts: 660000 | #Constraints: 20827 668.46/670.92 c #Conflicts: 661000 | #Constraints: 21827 668.46/670.92 c #Conflicts: 662000 | #Constraints: 22827 668.46/670.92 c #Conflicts: 663000 | #Constraints: 23827 668.46/670.92 c #Conflicts: 664000 | #Constraints: 24827 668.46/670.92 c #Conflicts: 665000 | #Constraints: 25827 668.46/670.92 c #Conflicts: 666000 | #Constraints: 26827 668.46/670.92 c #Conflicts: 667000 | #Constraints: 27827 668.46/670.92 c #Conflicts: 668000 | #Constraints: 28827 668.46/670.92 c #Conflicts: 669000 | #Constraints: 29827 668.46/670.92 c #Conflicts: 670000 | #Constraints: 30827 668.46/670.92 c #Conflicts: 671000 | #Constraints: 31828 668.46/670.92 c INPROCESSING 668.46/670.92 c GARBAGE COLLECT 668.46/670.92 c rational objective 0 692.65/695.22 c #Conflicts: 672000 | #Constraints: 16627 692.65/695.22 c #Conflicts: 673000 | #Constraints: 17627 692.65/695.22 c #Conflicts: 674000 | #Constraints: 18627 692.65/695.22 c #Conflicts: 675000 | #Constraints: 19627 692.65/695.22 c #Conflicts: 676000 | #Constraints: 20627 692.65/695.22 c #Conflicts: 677000 | #Constraints: 21627 692.65/695.22 c #Conflicts: 678000 | #Constraints: 22627 692.65/695.22 c #Conflicts: 679000 | #Constraints: 23627 692.65/695.22 c #Conflicts: 680000 | #Constraints: 24627 692.65/695.22 c #Conflicts: 681000 | #Constraints: 25627 692.65/695.22 c #Conflicts: 682000 | #Constraints: 26627 692.65/695.22 c #Conflicts: 683000 | #Constraints: 27627 692.65/695.22 c #Conflicts: 684000 | #Constraints: 28627 692.65/695.22 c #Conflicts: 685000 | #Constraints: 29627 692.65/695.22 c #Conflicts: 686000 | #Constraints: 30627 692.65/695.22 c #Conflicts: 687000 | #Constraints: 31627 692.65/695.22 c #Conflicts: 688000 | #Constraints: 32627 692.65/695.22 c INPROCESSING 692.65/695.22 c GARBAGE COLLECT 692.65/695.22 c rational objective 0 718.14/720.80 c #Conflicts: 689000 | #Constraints: 17226 718.14/720.80 c #Conflicts: 690000 | #Constraints: 18226 718.14/720.80 c #Conflicts: 691000 | #Constraints: 19227 718.14/720.80 c #Conflicts: 692000 | #Constraints: 20227 718.14/720.80 c #Conflicts: 693000 | #Constraints: 21227 718.14/720.80 c #Conflicts: 694000 | #Constraints: 22228 718.14/720.80 c #Conflicts: 695000 | #Constraints: 23228 718.14/720.80 c #Conflicts: 696000 | #Constraints: 24228 718.14/720.80 c #Conflicts: 697000 | #Constraints: 25228 718.14/720.80 c #Conflicts: 698000 | #Constraints: 26228 718.14/720.80 c #Conflicts: 699000 | #Constraints: 27228 718.14/720.80 c #Conflicts: 700000 | #Constraints: 28228 718.14/720.80 c #Conflicts: 701000 | #Constraints: 29228 718.14/720.80 c #Conflicts: 702000 | #Constraints: 30228 718.14/720.80 c #Conflicts: 703000 | #Constraints: 31228 718.14/720.80 c #Conflicts: 704000 | #Constraints: 32228 718.14/720.80 c #Conflicts: 705000 | #Constraints: 33228 718.14/720.80 c INPROCESSING 718.14/720.80 c GARBAGE COLLECT 718.14/720.80 c rational objective 0 744.52/747.30 c #Conflicts: 706000 | #Constraints: 17627 744.52/747.30 c #Conflicts: 707000 | #Constraints: 18627 744.52/747.30 c #Conflicts: 708000 | #Constraints: 19627 744.52/747.30 c #Conflicts: 709000 | #Constraints: 20627 744.52/747.30 c #Conflicts: 710000 | #Constraints: 21627 744.52/747.30 c #Conflicts: 711000 | #Constraints: 22627 744.52/747.30 c #Conflicts: 712000 | #Constraints: 23627 744.52/747.30 c #Conflicts: 713000 | #Constraints: 24627 744.52/747.30 c #Conflicts: 714000 | #Constraints: 25627 744.52/747.30 c #Conflicts: 715000 | #Constraints: 26627 744.52/747.30 c #Conflicts: 716000 | #Constraints: 27627 744.52/747.30 c #Conflicts: 717000 | #Constraints: 28627 744.52/747.30 c #Conflicts: 718000 | #Constraints: 29627 744.52/747.30 c #Conflicts: 719000 | #Constraints: 30627 744.52/747.30 c #Conflicts: 720000 | #Constraints: 31627 744.52/747.30 c #Conflicts: 721000 | #Constraints: 32628 744.52/747.30 c #Conflicts: 722000 | #Constraints: 33628 744.52/747.30 c INPROCESSING 744.52/747.30 c GARBAGE COLLECT 744.52/747.30 c rational objective 0 771.90/774.85 c #Conflicts: 723000 | #Constraints: 17830 771.90/774.85 c #Conflicts: 724000 | #Constraints: 18830 771.90/774.85 c #Conflicts: 725000 | #Constraints: 19830 771.90/774.85 c #Conflicts: 726000 | #Constraints: 20830 771.90/774.85 c #Conflicts: 727000 | #Constraints: 21830 771.90/774.85 c #Conflicts: 728000 | #Constraints: 22830 771.90/774.85 c #Conflicts: 729000 | #Constraints: 23830 771.90/774.85 c #Conflicts: 730000 | #Constraints: 24830 771.90/774.85 c #Conflicts: 731000 | #Constraints: 25830 771.90/774.85 c #Conflicts: 732000 | #Constraints: 26830 771.90/774.85 c #Conflicts: 733000 | #Constraints: 27830 771.90/774.85 c #Conflicts: 734000 | #Constraints: 28830 771.90/774.85 c #Conflicts: 735000 | #Constraints: 29830 771.90/774.85 c #Conflicts: 736000 | #Constraints: 30830 771.90/774.85 c #Conflicts: 737000 | #Constraints: 31830 771.90/774.85 c #Conflicts: 738000 | #Constraints: 32830 771.90/774.85 c #Conflicts: 739000 | #Constraints: 33830 771.90/774.85 c INPROCESSING 771.90/774.85 c GARBAGE COLLECT 771.90/774.85 c rational objective 0 799.09/802.11 c #Conflicts: 740000 | #Constraints: 17830 799.09/802.11 c #Conflicts: 741000 | #Constraints: 18830 799.09/802.11 c #Conflicts: 742000 | #Constraints: 19830 799.09/802.11 c #Conflicts: 743000 | #Constraints: 20830 799.09/802.11 c #Conflicts: 744000 | #Constraints: 21830 799.09/802.11 c #Conflicts: 745000 | #Constraints: 22830 799.09/802.11 c #Conflicts: 746000 | #Constraints: 23830 799.09/802.11 c #Conflicts: 747000 | #Constraints: 24830 799.09/802.11 c #Conflicts: 748000 | #Constraints: 25830 799.09/802.11 c #Conflicts: 749000 | #Constraints: 26830 799.09/802.11 c #Conflicts: 750000 | #Constraints: 27830 799.09/802.11 c #Conflicts: 751000 | #Constraints: 28830 799.09/802.11 c #Conflicts: 752000 | #Constraints: 29830 799.09/802.11 c #Conflicts: 753000 | #Constraints: 30830 799.09/802.11 c #Conflicts: 754000 | #Constraints: 31830 799.09/802.11 c #Conflicts: 755000 | #Constraints: 32830 799.09/802.11 c #Conflicts: 756000 | #Constraints: 33830 799.09/802.11 c INPROCESSING 799.09/802.11 c GARBAGE COLLECT 799.09/802.11 c rational objective 0 827.05/830.25 c #Conflicts: 757000 | #Constraints: 17628 827.05/830.25 c #Conflicts: 758000 | #Constraints: 18628 827.05/830.25 c #Conflicts: 759000 | #Constraints: 19628 827.05/830.25 c #Conflicts: 760000 | #Constraints: 20628 827.05/830.25 c #Conflicts: 761000 | #Constraints: 21628 827.05/830.25 c #Conflicts: 762000 | #Constraints: 22628 827.05/830.25 c #Conflicts: 763000 | #Constraints: 23629 827.05/830.25 c #Conflicts: 764000 | #Constraints: 24629 827.05/830.25 c #Conflicts: 765000 | #Constraints: 25629 827.05/830.25 c #Conflicts: 766000 | #Constraints: 26629 827.05/830.25 c #Conflicts: 767000 | #Constraints: 27629 827.05/830.25 c #Conflicts: 768000 | #Constraints: 28629 827.05/830.25 c #Conflicts: 769000 | #Constraints: 29629 827.05/830.25 c #Conflicts: 770000 | #Constraints: 30629 827.05/830.25 c #Conflicts: 771000 | #Constraints: 31629 827.05/830.25 c #Conflicts: 772000 | #Constraints: 32629 827.05/830.25 c #Conflicts: 773000 | #Constraints: 33629 827.05/830.25 c #Conflicts: 774000 | #Constraints: 34629 827.05/830.25 c INPROCESSING 827.05/830.25 c GARBAGE COLLECT 827.05/830.25 c rational objective 0 856.22/859.57 c #Conflicts: 775000 | #Constraints: 18227 856.22/859.57 c #Conflicts: 776000 | #Constraints: 19227 856.22/859.57 c #Conflicts: 777000 | #Constraints: 20227 856.22/859.57 c #Conflicts: 778000 | #Constraints: 21227 856.22/859.57 c #Conflicts: 779000 | #Constraints: 22227 856.22/859.57 c #Conflicts: 780000 | #Constraints: 23227 856.22/859.57 c #Conflicts: 781000 | #Constraints: 24227 856.22/859.57 c #Conflicts: 782000 | #Constraints: 25227 856.22/859.57 c #Conflicts: 783000 | #Constraints: 26227 856.22/859.57 c #Conflicts: 784000 | #Constraints: 27227 856.22/859.57 c #Conflicts: 785000 | #Constraints: 28227 856.22/859.57 c #Conflicts: 786000 | #Constraints: 29227 856.22/859.57 c #Conflicts: 787000 | #Constraints: 30227 856.22/859.57 c #Conflicts: 788000 | #Constraints: 31227 856.22/859.57 c #Conflicts: 789000 | #Constraints: 32227 856.22/859.57 c #Conflicts: 790000 | #Constraints: 33227 856.22/859.57 c #Conflicts: 791000 | #Constraints: 34227 856.22/859.57 c #Conflicts: 792000 | #Constraints: 35227 856.22/859.57 c INPROCESSING 856.22/859.57 c GARBAGE COLLECT 856.22/859.57 c rational objective 0 885.59/889.06 c #Conflicts: 793000 | #Constraints: 18626 885.59/889.06 c #Conflicts: 794000 | #Constraints: 19626 885.59/889.06 c #Conflicts: 795000 | #Constraints: 20626 885.59/889.06 c #Conflicts: 796000 | #Constraints: 21626 885.59/889.06 c #Conflicts: 797000 | #Constraints: 22626 885.59/889.06 c #Conflicts: 798000 | #Constraints: 23626 885.59/889.06 c #Conflicts: 799000 | #Constraints: 24626 885.59/889.06 c #Conflicts: 800000 | #Constraints: 25626 885.59/889.06 c #Conflicts: 801000 | #Constraints: 26626 885.59/889.06 c #Conflicts: 802000 | #Constraints: 27626 885.59/889.06 c #Conflicts: 803000 | #Constraints: 28626 885.59/889.06 c #Conflicts: 804000 | #Constraints: 29626 885.59/889.06 c #Conflicts: 805000 | #Constraints: 30626 885.59/889.06 c #Conflicts: 806000 | #Constraints: 31626 885.59/889.06 c #Conflicts: 807000 | #Constraints: 32626 885.59/889.06 c #Conflicts: 808000 | #Constraints: 33626 885.59/889.06 c #Conflicts: 809000 | #Constraints: 34626 885.59/889.06 c #Conflicts: 810000 | #Constraints: 35626 885.59/889.06 c INPROCESSING 885.59/889.06 c GARBAGE COLLECT 885.59/889.06 c rational objective 0 916.14/919.78 c #Conflicts: 811000 | #Constraints: 18826 916.14/919.78 c #Conflicts: 812000 | #Constraints: 19826 916.14/919.78 c #Conflicts: 813000 | #Constraints: 20826 916.14/919.78 c #Conflicts: 814000 | #Constraints: 21826 916.14/919.78 c #Conflicts: 815000 | #Constraints: 22826 916.14/919.78 c #Conflicts: 816000 | #Constraints: 23826 916.14/919.78 c #Conflicts: 817000 | #Constraints: 24826 916.14/919.78 c #Conflicts: 818000 | #Constraints: 25826 916.14/919.78 c #Conflicts: 819000 | #Constraints: 26826 916.14/919.78 c #Conflicts: 820000 | #Constraints: 27826 916.14/919.78 c #Conflicts: 821000 | #Constraints: 28826 916.14/919.78 c #Conflicts: 822000 | #Constraints: 29827 916.14/919.78 c #Conflicts: 823000 | #Constraints: 30827 916.14/919.78 c #Conflicts: 824000 | #Constraints: 31827 916.14/919.78 c #Conflicts: 825000 | #Constraints: 32827 916.14/919.78 c #Conflicts: 826000 | #Constraints: 33827 916.14/919.78 c #Conflicts: 827000 | #Constraints: 34827 916.14/919.78 c #Conflicts: 828000 | #Constraints: 35827 916.14/919.78 c INPROCESSING 916.14/919.78 c GARBAGE COLLECT 916.14/919.78 c rational objective 0 950.78/954.52 c #Conflicts: 829000 | #Constraints: 18828 950.78/954.52 c #Conflicts: 830000 | #Constraints: 19828 950.78/954.52 c #Conflicts: 831000 | #Constraints: 20828 950.78/954.52 c #Conflicts: 832000 | #Constraints: 21828 950.78/954.52 c #Conflicts: 833000 | #Constraints: 22828 950.78/954.52 c #Conflicts: 834000 | #Constraints: 23828 950.78/954.52 c #Conflicts: 835000 | #Constraints: 24828 950.78/954.52 c #Conflicts: 836000 | #Constraints: 25828 950.78/954.52 c #Conflicts: 837000 | #Constraints: 26828 950.78/954.52 c #Conflicts: 838000 | #Constraints: 27828 950.78/954.52 c #Conflicts: 839000 | #Constraints: 28828 950.78/954.52 c #Conflicts: 840000 | #Constraints: 29828 950.78/954.52 c #Conflicts: 841000 | #Constraints: 30828 950.78/954.52 c #Conflicts: 842000 | #Constraints: 31828 950.78/954.52 c #Conflicts: 843000 | #Constraints: 32828 950.78/954.52 c #Conflicts: 844000 | #Constraints: 33828 950.78/954.52 c #Conflicts: 845000 | #Constraints: 34828 950.78/954.52 c #Conflicts: 846000 | #Constraints: 35828 950.78/954.52 c INPROCESSING 950.78/954.52 c GARBAGE COLLECT 950.78/954.52 c rational objective 0 982.53/986.44 c #Conflicts: 847000 | #Constraints: 18627 982.53/986.44 c #Conflicts: 848000 | #Constraints: 19627 982.53/986.44 c #Conflicts: 849000 | #Constraints: 20627 982.53/986.44 c #Conflicts: 850000 | #Constraints: 21627 982.53/986.44 c #Conflicts: 851000 | #Constraints: 22627 982.53/986.44 c #Conflicts: 852000 | #Constraints: 23627 982.53/986.44 c #Conflicts: 853000 | #Constraints: 24627 982.53/986.44 c #Conflicts: 854000 | #Constraints: 25627 982.53/986.44 c #Conflicts: 855000 | #Constraints: 26627 982.53/986.44 c #Conflicts: 856000 | #Constraints: 27627 982.53/986.44 c #Conflicts: 857000 | #Constraints: 28627 982.53/986.44 c #Conflicts: 858000 | #Constraints: 29627 982.53/986.44 c #Conflicts: 859000 | #Constraints: 30627 982.53/986.44 c #Conflicts: 860000 | #Constraints: 31627 982.53/986.44 c #Conflicts: 861000 | #Constraints: 32627 982.53/986.44 c #Conflicts: 862000 | #Constraints: 33627 982.53/986.44 c #Conflicts: 863000 | #Constraints: 34627 982.53/986.44 c #Conflicts: 864000 | #Constraints: 35627 982.53/986.44 c #Conflicts: 865000 | #Constraints: 36627 982.53/986.44 c INPROCESSING 982.53/986.44 c GARBAGE COLLECT 982.53/986.44 c rational objective 0 1014.79/1018.88 c #Conflicts: 866000 | #Constraints: 19229 1014.79/1018.88 c #Conflicts: 867000 | #Constraints: 20229 1014.79/1018.88 c #Conflicts: 868000 | #Constraints: 21229 1014.79/1018.88 c #Conflicts: 869000 | #Constraints: 22229 1014.79/1018.88 c #Conflicts: 870000 | #Constraints: 23229 1014.79/1018.88 c #Conflicts: 871000 | #Constraints: 24229 1014.79/1018.88 c #Conflicts: 872000 | #Constraints: 25229 1014.79/1018.88 c #Conflicts: 873000 | #Constraints: 26229 1014.79/1018.88 c #Conflicts: 874000 | #Constraints: 27229 1014.79/1018.88 c #Conflicts: 875000 | #Constraints: 28229 1014.79/1018.88 c #Conflicts: 876000 | #Constraints: 29229 1014.79/1018.88 c #Conflicts: 877000 | #Constraints: 30229 1014.79/1018.88 c #Conflicts: 878000 | #Constraints: 31229 1014.79/1018.88 c #Conflicts: 879000 | #Constraints: 32229 1014.79/1018.88 c #Conflicts: 880000 | #Constraints: 33229 1014.79/1018.88 c #Conflicts: 881000 | #Constraints: 34229 1014.79/1018.88 c #Conflicts: 882000 | #Constraints: 35229 1014.79/1018.88 c #Conflicts: 883000 | #Constraints: 36229 1014.79/1018.88 c #Conflicts: 884000 | #Constraints: 37229 1014.79/1018.88 c INPROCESSING 1014.79/1018.88 c GARBAGE COLLECT 1014.79/1018.88 c rational objective 0 1047.34/1051.51 c #Conflicts: 885000 | #Constraints: 19629 1047.34/1051.51 c #Conflicts: 886000 | #Constraints: 20629 1047.34/1051.51 c #Conflicts: 887000 | #Constraints: 21629 1047.34/1051.51 c #Conflicts: 888000 | #Constraints: 22629 1047.34/1051.51 c #Conflicts: 889000 | #Constraints: 23629 1047.34/1051.51 c #Conflicts: 890000 | #Constraints: 24629 1047.34/1051.51 c #Conflicts: 891000 | #Constraints: 25629 1047.34/1051.51 c #Conflicts: 892000 | #Constraints: 26629 1047.34/1051.51 c #Conflicts: 893000 | #Constraints: 27629 1047.34/1051.51 c #Conflicts: 894000 | #Constraints: 28629 1047.34/1051.51 c #Conflicts: 895000 | #Constraints: 29629 1047.34/1051.51 c #Conflicts: 896000 | #Constraints: 30629 1047.34/1051.51 c #Conflicts: 897000 | #Constraints: 31629 1047.34/1051.51 c #Conflicts: 898000 | #Constraints: 32629 1047.34/1051.51 c #Conflicts: 899000 | #Constraints: 33629 1047.34/1051.51 c #Conflicts: 900000 | #Constraints: 34629 1047.34/1051.51 c #Conflicts: 901000 | #Constraints: 35629 1047.34/1051.51 c #Conflicts: 902000 | #Constraints: 36629 1047.34/1051.51 c #Conflicts: 903000 | #Constraints: 37629 1047.34/1051.51 c INPROCESSING 1047.34/1051.51 c GARBAGE COLLECT 1047.34/1051.51 c rational objective 0 1080.89/1085.21 c #Conflicts: 904000 | #Constraints: 19825 1080.89/1085.21 c #Conflicts: 905000 | #Constraints: 20825 1080.89/1085.21 c #Conflicts: 906000 | #Constraints: 21825 1080.89/1085.21 c #Conflicts: 907000 | #Constraints: 22825 1080.89/1085.21 c #Conflicts: 908000 | #Constraints: 23825 1080.89/1085.21 c #Conflicts: 909000 | #Constraints: 24825 1080.89/1085.21 c #Conflicts: 910000 | #Constraints: 25825 1080.89/1085.21 c #Conflicts: 911000 | #Constraints: 26825 1080.89/1085.21 c #Conflicts: 912000 | #Constraints: 27825 1080.89/1085.21 c #Conflicts: 913000 | #Constraints: 28825 1080.89/1085.21 c #Conflicts: 914000 | #Constraints: 29825 1080.89/1085.21 c #Conflicts: 915000 | #Constraints: 30825 1080.89/1085.21 c #Conflicts: 916000 | #Constraints: 31825 1080.89/1085.21 c #Conflicts: 917000 | #Constraints: 32825 1080.89/1085.21 c #Conflicts: 918000 | #Constraints: 33825 1080.89/1085.21 c #Conflicts: 919000 | #Constraints: 34825 1080.89/1085.21 c #Conflicts: 920000 | #Constraints: 35826 1080.89/1085.21 c #Conflicts: 921000 | #Constraints: 36826 1080.89/1085.21 c #Conflicts: 922000 | #Constraints: 37826 1080.89/1085.21 c INPROCESSING 1080.89/1085.21 c GARBAGE COLLECT 1080.89/1085.21 c rational objective 0 1119.80/1124.39 c #Conflicts: 923000 | #Constraints: 19826 1119.80/1124.39 c #Conflicts: 924000 | #Constraints: 20826 1119.80/1124.39 c #Conflicts: 925000 | #Constraints: 21826 1119.80/1124.39 c #Conflicts: 926000 | #Constraints: 22826 1119.80/1124.39 c #Conflicts: 927000 | #Constraints: 23826 1119.80/1124.39 c #Conflicts: 928000 | #Constraints: 24826 1119.80/1124.39 c #Conflicts: 929000 | #Constraints: 25826 1119.80/1124.39 c #Conflicts: 930000 | #Constraints: 26826 1119.80/1124.39 c #Conflicts: 931000 | #Constraints: 27826 1119.80/1124.39 c #Conflicts: 932000 | #Constraints: 28826 1119.80/1124.39 c #Conflicts: 933000 | #Constraints: 29826 1119.80/1124.39 c #Conflicts: 934000 | #Constraints: 30826 1119.80/1124.39 c #Conflicts: 935000 | #Constraints: 31826 1119.80/1124.39 c #Conflicts: 936000 | #Constraints: 32826 1119.80/1124.39 c #Conflicts: 937000 | #Constraints: 33826 1119.80/1124.39 c #Conflicts: 938000 | #Constraints: 34826 1119.80/1124.39 c #Conflicts: 939000 | #Constraints: 35826 1119.80/1124.39 c #Conflicts: 940000 | #Constraints: 36826 1119.80/1124.39 c #Conflicts: 941000 | #Constraints: 37826 1119.80/1124.39 c INPROCESSING 1119.80/1124.39 c GARBAGE COLLECT 1119.80/1124.39 c rational objective 0 1155.74/1160.42 c #Conflicts: 942000 | #Constraints: 19627 1155.74/1160.42 c #Conflicts: 943000 | #Constraints: 20627 1155.74/1160.42 c #Conflicts: 944000 | #Constraints: 21627 1155.74/1160.42 c #Conflicts: 945000 | #Constraints: 22627 1155.74/1160.42 c #Conflicts: 946000 | #Constraints: 23627 1155.74/1160.42 c #Conflicts: 947000 | #Constraints: 24627 1155.74/1160.42 c #Conflicts: 948000 | #Constraints: 25627 1155.74/1160.42 c #Conflicts: 949000 | #Constraints: 26627 1155.74/1160.42 c #Conflicts: 950000 | #Constraints: 27627 1155.74/1160.42 c #Conflicts: 951000 | #Constraints: 28627 1155.74/1160.42 c #Conflicts: 952000 | #Constraints: 29627 1155.74/1160.42 c #Conflicts: 953000 | #Constraints: 30627 1155.74/1160.42 c #Conflicts: 954000 | #Constraints: 31627 1155.74/1160.42 c #Conflicts: 955000 | #Constraints: 32627 1155.74/1160.42 c #Conflicts: 956000 | #Constraints: 33627 1155.74/1160.42 c #Conflicts: 957000 | #Constraints: 34627 1155.74/1160.42 c #Conflicts: 958000 | #Constraints: 35627 1155.74/1160.42 c #Conflicts: 959000 | #Constraints: 36627 1155.74/1160.42 c #Conflicts: 960000 | #Constraints: 37627 1155.74/1160.42 c #Conflicts: 961000 | #Constraints: 38627 1155.74/1160.42 c INPROCESSING 1155.74/1160.42 c GARBAGE COLLECT 1155.74/1160.42 c rational objective 0 1191.08/1195.94 c #Conflicts: 962000 | #Constraints: 20229 1191.08/1195.94 c #Conflicts: 963000 | #Constraints: 21229 1191.08/1195.94 c #Conflicts: 964000 | #Constraints: 22229 1191.08/1195.94 c #Conflicts: 965000 | #Constraints: 23229 1191.08/1195.94 c #Conflicts: 966000 | #Constraints: 24229 1191.08/1195.94 c #Conflicts: 967000 | #Constraints: 25229 1191.08/1195.94 c #Conflicts: 968000 | #Constraints: 26229 1191.08/1195.94 c #Conflicts: 969000 | #Constraints: 27229 1191.08/1195.94 c #Conflicts: 970000 | #Constraints: 28229 1191.08/1195.94 c #Conflicts: 971000 | #Constraints: 29229 1191.08/1195.94 c #Conflicts: 972000 | #Constraints: 30229 1191.08/1195.94 c #Conflicts: 973000 | #Constraints: 31229 1191.08/1195.94 c #Conflicts: 974000 | #Constraints: 32229 1191.08/1195.94 c #Conflicts: 975000 | #Constraints: 33229 1191.08/1195.94 c #Conflicts: 976000 | #Constraints: 34229 1191.08/1195.94 c #Conflicts: 977000 | #Constraints: 35229 1191.08/1195.94 c #Conflicts: 978000 | #Constraints: 36229 1191.08/1195.94 c #Conflicts: 979000 | #Constraints: 37229 1191.08/1195.94 c #Conflicts: 980000 | #Constraints: 38229 1191.08/1195.94 c #Conflicts: 981000 | #Constraints: 39229 1191.08/1195.94 c INPROCESSING 1191.08/1195.94 c GARBAGE COLLECT 1191.08/1195.94 c rational objective 0 1227.22/1232.26 c #Conflicts: 982000 | #Constraints: 20628 1227.22/1232.26 c #Conflicts: 983000 | #Constraints: 21628 1227.22/1232.26 c #Conflicts: 984000 | #Constraints: 22628 1227.22/1232.26 c #Conflicts: 985000 | #Constraints: 23628 1227.22/1232.26 c #Conflicts: 986000 | #Constraints: 24628 1227.22/1232.26 c #Conflicts: 987000 | #Constraints: 25628 1227.22/1232.26 c #Conflicts: 988000 | #Constraints: 26628 1227.22/1232.26 c #Conflicts: 989000 | #Constraints: 27628 1227.22/1232.26 c #Conflicts: 990000 | #Constraints: 28628 1227.22/1232.26 c #Conflicts: 991000 | #Constraints: 29628 1227.22/1232.26 c #Conflicts: 992000 | #Constraints: 30628 1227.22/1232.26 c #Conflicts: 993000 | #Constraints: 31628 1227.22/1232.26 c #Conflicts: 994000 | #Constraints: 32628 1227.22/1232.26 c #Conflicts: 995000 | #Constraints: 33628 1227.22/1232.26 c #Conflicts: 996000 | #Constraints: 34628 1227.22/1232.26 c #Conflicts: 997000 | #Constraints: 35628 1227.22/1232.26 c #Conflicts: 998000 | #Constraints: 36628 1227.22/1232.26 c #Conflicts: 999000 | #Constraints: 37628 1227.22/1232.26 c #Conflicts: 1000000 | #Constraints: 38628 1227.22/1232.26 c #Conflicts: 1001000 | #Constraints: 39628 1227.22/1232.26 c INPROCESSING 1227.22/1232.26 c GARBAGE COLLECT 1227.22/1232.26 c rational objective 0 1265.26/1270.44 c #Conflicts: 1002000 | #Constraints: 20829 1265.26/1270.44 c #Conflicts: 1003000 | #Constraints: 21829 1265.26/1270.44 c #Conflicts: 1004000 | #Constraints: 22829 1265.26/1270.44 c #Conflicts: 1005000 | #Constraints: 23830 1265.26/1270.44 c #Conflicts: 1006000 | #Constraints: 24830 1265.26/1270.44 c #Conflicts: 1007000 | #Constraints: 25830 1265.26/1270.44 c #Conflicts: 1008000 | #Constraints: 26830 1265.26/1270.44 c #Conflicts: 1009000 | #Constraints: 27830 1265.26/1270.44 c #Conflicts: 1010000 | #Constraints: 28830 1265.26/1270.44 c #Conflicts: 1011000 | #Constraints: 29830 1265.26/1270.44 c #Conflicts: 1012000 | #Constraints: 30831 1265.26/1270.44 c #Conflicts: 1013000 | #Constraints: 31831 1265.26/1270.44 c #Conflicts: 1014000 | #Constraints: 32831 1265.26/1270.44 c #Conflicts: 1015000 | #Constraints: 33831 1265.26/1270.44 c #Conflicts: 1016000 | #Constraints: 34831 1265.26/1270.44 c #Conflicts: 1017000 | #Constraints: 35831 1265.26/1270.44 c #Conflicts: 1018000 | #Constraints: 36831 1265.26/1270.44 c #Conflicts: 1019000 | #Constraints: 37831 1265.26/1270.44 c #Conflicts: 1020000 | #Constraints: 38831 1265.26/1270.44 c #Conflicts: 1021000 | #Constraints: 39831 1265.26/1270.44 c INPROCESSING 1265.26/1270.44 c GARBAGE COLLECT 1265.26/1270.44 c rational objective 0 1303.69/1309.06 c #Conflicts: 1022000 | #Constraints: 20831 1303.69/1309.06 c #Conflicts: 1023000 | #Constraints: 21831 1303.69/1309.06 c #Conflicts: 1024000 | #Constraints: 22831 1303.69/1309.06 c #Conflicts: 1025000 | #Constraints: 23831 1303.69/1309.06 c #Conflicts: 1026000 | #Constraints: 24831 1303.69/1309.06 c #Conflicts: 1027000 | #Constraints: 25831 1303.69/1309.06 c #Conflicts: 1028000 | #Constraints: 26831 1303.69/1309.06 c #Conflicts: 1029000 | #Constraints: 27831 1303.69/1309.06 c #Conflicts: 1030000 | #Constraints: 28831 1303.69/1309.06 c #Conflicts: 1031000 | #Constraints: 29831 1303.69/1309.06 c #Conflicts: 1032000 | #Constraints: 30831 1303.69/1309.06 c #Conflicts: 1033000 | #Constraints: 31831 1303.69/1309.06 c #Conflicts: 1034000 | #Constraints: 32831 1303.69/1309.06 c #Conflicts: 1035000 | #Constraints: 33831 1303.69/1309.06 c #Conflicts: 1036000 | #Constraints: 34831 1303.69/1309.06 c #Conflicts: 1037000 | #Constraints: 35831 1303.69/1309.06 c #Conflicts: 1038000 | #Constraints: 36831 1303.69/1309.06 c #Conflicts: 1039000 | #Constraints: 37831 1303.69/1309.06 c #Conflicts: 1040000 | #Constraints: 38831 1303.69/1309.06 c #Conflicts: 1041000 | #Constraints: 39831 1303.69/1309.06 c INPROCESSING 1303.69/1309.06 c GARBAGE COLLECT 1303.69/1309.06 c rational objective 0 1343.62/1349.15 c #Conflicts: 1042000 | #Constraints: 20629 1343.62/1349.15 c #Conflicts: 1043000 | #Constraints: 21629 1343.62/1349.15 c #Conflicts: 1044000 | #Constraints: 22629 1343.62/1349.15 c #Conflicts: 1045000 | #Constraints: 23629 1343.62/1349.15 c #Conflicts: 1046000 | #Constraints: 24629 1343.62/1349.15 c #Conflicts: 1047000 | #Constraints: 25629 1343.62/1349.15 c #Conflicts: 1048000 | #Constraints: 26629 1343.62/1349.15 c #Conflicts: 1049000 | #Constraints: 27629 1343.62/1349.15 c #Conflicts: 1050000 | #Constraints: 28629 1343.62/1349.15 c #Conflicts: 1051000 | #Constraints: 29629 1343.62/1349.15 c #Conflicts: 1052000 | #Constraints: 30629 1343.62/1349.15 c #Conflicts: 1053000 | #Constraints: 31629 1343.62/1349.15 c #Conflicts: 1054000 | #Constraints: 32629 1343.62/1349.15 c #Conflicts: 1055000 | #Constraints: 33629 1343.62/1349.15 c #Conflicts: 1056000 | #Constraints: 34629 1343.62/1349.15 c #Conflicts: 1057000 | #Constraints: 35629 1343.62/1349.15 c #Conflicts: 1058000 | #Constraints: 36629 1343.62/1349.15 c #Conflicts: 1059000 | #Constraints: 37629 1343.62/1349.15 c #Conflicts: 1060000 | #Constraints: 38629 1343.62/1349.15 c #Conflicts: 1061000 | #Constraints: 39629 1343.62/1349.15 c #Conflicts: 1062000 | #Constraints: 40629 1343.62/1349.15 c INPROCESSING 1343.62/1349.15 c GARBAGE COLLECT 1343.62/1349.15 c rational objective 0 1383.44/1389.18 c #Conflicts: 1063000 | #Constraints: 21227 1383.44/1389.18 c #Conflicts: 1064000 | #Constraints: 22227 1383.44/1389.18 c #Conflicts: 1065000 | #Constraints: 23227 1383.44/1389.18 c #Conflicts: 1066000 | #Constraints: 24227 1383.44/1389.18 c #Conflicts: 1067000 | #Constraints: 25227 1383.44/1389.18 c #Conflicts: 1068000 | #Constraints: 26227 1383.44/1389.18 c #Conflicts: 1069000 | #Constraints: 27227 1383.44/1389.18 c #Conflicts: 1070000 | #Constraints: 28227 1383.44/1389.18 c #Conflicts: 1071000 | #Constraints: 29227 1383.44/1389.18 c #Conflicts: 1072000 | #Constraints: 30227 1383.44/1389.18 c #Conflicts: 1073000 | #Constraints: 31227 1383.44/1389.18 c #Conflicts: 1074000 | #Constraints: 32227 1383.44/1389.18 c #Conflicts: 1075000 | #Constraints: 33227 1383.44/1389.18 c #Conflicts: 1076000 | #Constraints: 34227 1383.44/1389.18 c #Conflicts: 1077000 | #Constraints: 35227 1383.44/1389.18 c #Conflicts: 1078000 | #Constraints: 36227 1383.44/1389.18 c #Conflicts: 1079000 | #Constraints: 37227 1383.44/1389.18 c #Conflicts: 1080000 | #Constraints: 38227 1383.44/1389.18 c #Conflicts: 1081000 | #Constraints: 39227 1383.44/1389.18 c #Conflicts: 1082000 | #Constraints: 40227 1383.44/1389.18 c #Conflicts: 1083000 | #Constraints: 41227 1383.44/1389.18 c INPROCESSING 1383.44/1389.18 c GARBAGE COLLECT 1383.44/1389.18 c rational objective 0 1426.53/1432.48 c #Conflicts: 1084000 | #Constraints: 21626 1426.53/1432.48 c #Conflicts: 1085000 | #Constraints: 22626 1426.53/1432.48 c #Conflicts: 1086000 | #Constraints: 23626 1426.53/1432.48 c #Conflicts: 1087000 | #Constraints: 24626 1426.53/1432.48 c #Conflicts: 1088000 | #Constraints: 25627 1426.53/1432.48 c #Conflicts: 1089000 | #Constraints: 26627 1426.53/1432.48 c #Conflicts: 1090000 | #Constraints: 27627 1426.53/1432.48 c #Conflicts: 1091000 | #Constraints: 28627 1426.53/1432.48 c #Conflicts: 1092000 | #Constraints: 29627 1426.53/1432.48 c #Conflicts: 1093000 | #Constraints: 30627 1426.53/1432.48 c #Conflicts: 1094000 | #Constraints: 31627 1426.53/1432.48 c #Conflicts: 1095000 | #Constraints: 32627 1426.53/1432.48 c #Conflicts: 1096000 | #Constraints: 33627 1426.53/1432.48 c #Conflicts: 1097000 | #Constraints: 34627 1426.53/1432.48 c #Conflicts: 1098000 | #Constraints: 35627 1426.53/1432.48 c #Conflicts: 1099000 | #Constraints: 36627 1426.53/1432.48 c #Conflicts: 1100000 | #Constraints: 37627 1426.53/1432.48 c #Conflicts: 1101000 | #Constraints: 38627 1426.53/1432.48 c #Conflicts: 1102000 | #Constraints: 39627 1426.53/1432.48 c #Conflicts: 1103000 | #Constraints: 40627 1426.53/1432.48 c #Conflicts: 1104000 | #Constraints: 41627 1426.53/1432.48 c INPROCESSING 1426.53/1432.48 c GARBAGE COLLECT 1426.53/1432.48 c rational objective 0 1472.61/1478.77 c #Conflicts: 1105000 | #Constraints: 21830 1472.61/1478.77 c #Conflicts: 1106000 | #Constraints: 22830 1472.61/1478.77 c #Conflicts: 1107000 | #Constraints: 23830 1472.61/1478.77 c #Conflicts: 1108000 | #Constraints: 24830 1472.61/1478.77 c #Conflicts: 1109000 | #Constraints: 25831 1472.61/1478.77 c #Conflicts: 1110000 | #Constraints: 26831 1472.61/1478.77 c #Conflicts: 1111000 | #Constraints: 27831 1472.61/1478.77 c #Conflicts: 1112000 | #Constraints: 28831 1472.61/1478.77 c #Conflicts: 1113000 | #Constraints: 29831 1472.61/1478.77 c #Conflicts: 1114000 | #Constraints: 30831 1472.61/1478.77 c #Conflicts: 1115000 | #Constraints: 31831 1472.61/1478.77 c #Conflicts: 1116000 | #Constraints: 32831 1472.61/1478.77 c #Conflicts: 1117000 | #Constraints: 33831 1472.61/1478.77 c #Conflicts: 1118000 | #Constraints: 34831 1472.61/1478.77 c #Conflicts: 1119000 | #Constraints: 35831 1472.61/1478.77 c #Conflicts: 1120000 | #Constraints: 36831 1472.61/1478.77 c #Conflicts: 1121000 | #Constraints: 37831 1472.61/1478.77 c #Conflicts: 1122000 | #Constraints: 38831 1472.61/1478.77 c #Conflicts: 1123000 | #Constraints: 39831 1472.61/1478.77 c #Conflicts: 1124000 | #Constraints: 40831 1472.61/1478.77 c #Conflicts: 1125000 | #Constraints: 41831 1472.61/1478.77 c INPROCESSING 1472.61/1478.77 c GARBAGE COLLECT 1472.61/1478.77 c rational objective 0 1512.33/1518.65 c #Conflicts: 1126000 | #Constraints: 21828 1512.33/1518.65 c #Conflicts: 1127000 | #Constraints: 22828 1512.33/1518.65 c #Conflicts: 1128000 | #Constraints: 23828 1512.33/1518.65 c #Conflicts: 1129000 | #Constraints: 24828 1512.33/1518.65 c #Conflicts: 1130000 | #Constraints: 25828 1512.33/1518.65 c #Conflicts: 1131000 | #Constraints: 26828 1512.33/1518.65 c #Conflicts: 1132000 | #Constraints: 27828 1512.33/1518.65 c #Conflicts: 1133000 | #Constraints: 28828 1512.33/1518.65 c #Conflicts: 1134000 | #Constraints: 29828 1512.33/1518.65 c #Conflicts: 1135000 | #Constraints: 30828 1512.33/1518.65 c #Conflicts: 1136000 | #Constraints: 31828 1512.33/1518.65 c #Conflicts: 1137000 | #Constraints: 32828 1512.33/1518.65 c #Conflicts: 1138000 | #Constraints: 33828 1512.33/1518.65 c #Conflicts: 1139000 | #Constraints: 34828 1512.33/1518.65 c #Conflicts: 1140000 | #Constraints: 35828 1512.33/1518.65 c #Conflicts: 1141000 | #Constraints: 36829 1512.33/1518.65 c #Conflicts: 1142000 | #Constraints: 37829 1512.33/1518.65 c #Conflicts: 1143000 | #Constraints: 38829 1512.33/1518.65 c #Conflicts: 1144000 | #Constraints: 39829 1512.33/1518.65 c #Conflicts: 1145000 | #Constraints: 40829 1512.33/1518.65 c #Conflicts: 1146000 | #Constraints: 41829 1512.33/1518.65 c INPROCESSING 1512.33/1518.65 c GARBAGE COLLECT 1512.33/1518.65 c rational objective 0 1553.05/1559.52 c #Conflicts: 1147000 | #Constraints: 21628 1553.05/1559.52 c #Conflicts: 1148000 | #Constraints: 22628 1553.05/1559.52 c #Conflicts: 1149000 | #Constraints: 23628 1553.05/1559.52 c #Conflicts: 1150000 | #Constraints: 24628 1553.05/1559.52 c #Conflicts: 1151000 | #Constraints: 25628 1553.05/1559.52 c #Conflicts: 1152000 | #Constraints: 26628 1553.05/1559.52 c #Conflicts: 1153000 | #Constraints: 27628 1553.05/1559.52 c #Conflicts: 1154000 | #Constraints: 28628 1553.05/1559.52 c #Conflicts: 1155000 | #Constraints: 29628 1553.05/1559.52 c #Conflicts: 1156000 | #Constraints: 30628 1553.05/1559.52 c #Conflicts: 1157000 | #Constraints: 31628 1553.05/1559.52 c #Conflicts: 1158000 | #Constraints: 32628 1553.05/1559.52 c #Conflicts: 1159000 | #Constraints: 33628 1553.05/1559.52 c #Conflicts: 1160000 | #Constraints: 34628 1553.05/1559.52 c #Conflicts: 1161000 | #Constraints: 35629 1553.05/1559.52 c #Conflicts: 1162000 | #Constraints: 36629 1553.05/1559.52 c #Conflicts: 1163000 | #Constraints: 37629 1553.05/1559.52 c #Conflicts: 1164000 | #Constraints: 38629 1553.05/1559.52 c #Conflicts: 1165000 | #Constraints: 39629 1553.05/1559.52 c #Conflicts: 1166000 | #Constraints: 40629 1553.05/1559.52 c #Conflicts: 1167000 | #Constraints: 41629 1553.05/1559.52 c #Conflicts: 1168000 | #Constraints: 42629 1553.05/1559.52 c INPROCESSING 1553.05/1559.52 c GARBAGE COLLECT 1553.05/1559.52 c rational objective 0 1594.67/1601.30 c #Conflicts: 1169000 | #Constraints: 22227 1594.67/1601.30 c #Conflicts: 1170000 | #Constraints: 23227 1594.67/1601.30 c #Conflicts: 1171000 | #Constraints: 24227 1594.67/1601.30 c #Conflicts: 1172000 | #Constraints: 25227 1594.67/1601.30 c #Conflicts: 1173000 | #Constraints: 26227 1594.67/1601.30 c #Conflicts: 1174000 | #Constraints: 27227 1594.67/1601.30 c #Conflicts: 1175000 | #Constraints: 28227 1594.67/1601.30 c #Conflicts: 1176000 | #Constraints: 29227 1594.67/1601.30 c #Conflicts: 1177000 | #Constraints: 30227 1594.67/1601.30 c #Conflicts: 1178000 | #Constraints: 31227 1594.67/1601.30 c #Conflicts: 1179000 | #Constraints: 32227 1594.67/1601.30 c #Conflicts: 1180000 | #Constraints: 33228 1594.67/1601.30 c #Conflicts: 1181000 | #Constraints: 34228 1594.67/1601.30 c #Conflicts: 1182000 | #Constraints: 35228 1594.67/1601.30 c #Conflicts: 1183000 | #Constraints: 36228 1594.67/1601.30 c #Conflicts: 1184000 | #Constraints: 37228 1594.67/1601.30 c #Conflicts: 1185000 | #Constraints: 38228 1594.67/1601.30 c #Conflicts: 1186000 | #Constraints: 39228 1594.67/1601.30 c #Conflicts: 1187000 | #Constraints: 40228 1594.67/1601.30 c #Conflicts: 1188000 | #Constraints: 41228 1594.67/1601.30 c #Conflicts: 1189000 | #Constraints: 42228 1594.67/1601.30 c #Conflicts: 1190000 | #Constraints: 43228 1594.67/1601.30 c INPROCESSING 1594.67/1601.30 c GARBAGE COLLECT 1594.67/1601.30 c rational objective 0 1634.00/1640.87 c #Conflicts: 1191000 | #Constraints: 22629 1634.00/1640.87 c #Conflicts: 1192000 | #Constraints: 23629 1634.00/1640.87 c #Conflicts: 1193000 | #Constraints: 24629 1634.00/1640.87 c #Conflicts: 1194000 | #Constraints: 25629 1634.00/1640.87 c #Conflicts: 1195000 | #Constraints: 26629 1634.00/1640.87 c #Conflicts: 1196000 | #Constraints: 27630 1634.00/1640.87 c #Conflicts: 1197000 | #Constraints: 28630 1634.00/1640.87 c #Conflicts: 1198000 | #Constraints: 29630 1634.00/1640.87 c #Conflicts: 1199000 | #Constraints: 30630 1634.00/1640.87 c #Conflicts: 1200000 | #Constraints: 31630 1634.00/1640.87 c #Conflicts: 1201000 | #Constraints: 32630 1634.00/1640.87 c #Conflicts: 1202000 | #Constraints: 33630 1634.00/1640.87 c #Conflicts: 1203000 | #Constraints: 34630 1634.00/1640.87 c #Conflicts: 1204000 | #Constraints: 35630 1634.00/1640.87 c #Conflicts: 1205000 | #Constraints: 36630 1634.00/1640.87 c #Conflicts: 1206000 | #Constraints: 37630 1634.00/1640.87 c #Conflicts: 1207000 | #Constraints: 38630 1634.00/1640.87 c #Conflicts: 1208000 | #Constraints: 39630 1634.00/1640.87 c #Conflicts: 1209000 | #Constraints: 40630 1634.00/1640.87 c #Conflicts: 1210000 | #Constraints: 41630 1634.00/1640.87 c #Conflicts: 1211000 | #Constraints: 42630 1634.00/1640.87 c #Conflicts: 1212000 | #Constraints: 43630 1634.00/1640.87 c INPROCESSING 1634.00/1640.87 c GARBAGE COLLECT 1634.00/1640.87 c rational objective 0 1675.34/1682.39 c #Conflicts: 1213000 | #Constraints: 22830 1675.34/1682.39 c #Conflicts: 1214000 | #Constraints: 23830 1675.34/1682.39 c #Conflicts: 1215000 | #Constraints: 24830 1675.34/1682.39 c #Conflicts: 1216000 | #Constraints: 25830 1675.34/1682.39 c #Conflicts: 1217000 | #Constraints: 26830 1675.34/1682.39 c #Conflicts: 1218000 | #Constraints: 27830 1675.34/1682.39 c #Conflicts: 1219000 | #Constraints: 28830 1675.34/1682.39 c #Conflicts: 1220000 | #Constraints: 29830 1675.34/1682.39 c #Conflicts: 1221000 | #Constraints: 30830 1675.34/1682.39 c #Conflicts: 1222000 | #Constraints: 31830 1675.34/1682.39 c #Conflicts: 1223000 | #Constraints: 32830 1675.34/1682.39 c #Conflicts: 1224000 | #Constraints: 33830 1675.34/1682.39 c #Conflicts: 1225000 | #Constraints: 34830 1675.34/1682.39 c #Conflicts: 1226000 | #Constraints: 35830 1675.34/1682.39 c #Conflicts: 1227000 | #Constraints: 36830 1675.34/1682.39 c #Conflicts: 1228000 | #Constraints: 37830 1675.34/1682.39 c #Conflicts: 1229000 | #Constraints: 38830 1675.34/1682.39 c #Conflicts: 1230000 | #Constraints: 39830 1675.34/1682.39 c #Conflicts: 1231000 | #Constraints: 40830 1675.34/1682.39 c #Conflicts: 1232000 | #Constraints: 41830 1675.34/1682.39 c #Conflicts: 1233000 | #Constraints: 42830 1675.34/1682.39 c #Conflicts: 1234000 | #Constraints: 43830 1675.34/1682.39 c INPROCESSING 1675.34/1682.39 c GARBAGE COLLECT 1675.34/1682.39 c rational objective 0 1716.76/1723.94 c #Conflicts: 1235000 | #Constraints: 22829 1716.76/1723.94 c #Conflicts: 1236000 | #Constraints: 23829 1716.76/1723.94 c #Conflicts: 1237000 | #Constraints: 24829 1716.76/1723.94 c #Conflicts: 1238000 | #Constraints: 25829 1716.76/1723.94 c #Conflicts: 1239000 | #Constraints: 26829 1716.76/1723.94 c #Conflicts: 1240000 | #Constraints: 27829 1716.76/1723.94 c #Conflicts: 1241000 | #Constraints: 28829 1716.76/1723.94 c #Conflicts: 1242000 | #Constraints: 29829 1716.76/1723.94 c #Conflicts: 1243000 | #Constraints: 30829 1716.76/1723.94 c #Conflicts: 1244000 | #Constraints: 31829 1716.76/1723.94 c #Conflicts: 1245000 | #Constraints: 32829 1716.76/1723.94 c #Conflicts: 1246000 | #Constraints: 33829 1716.76/1723.94 c #Conflicts: 1247000 | #Constraints: 34829 1716.76/1723.94 c #Conflicts: 1248000 | #Constraints: 35830 1716.76/1723.94 c #Conflicts: 1249000 | #Constraints: 36830 1716.76/1723.94 c #Conflicts: 1250000 | #Constraints: 37830 1716.76/1723.94 c #Conflicts: 1251000 | #Constraints: 38830 1716.76/1723.94 c #Conflicts: 1252000 | #Constraints: 39830 1716.76/1723.94 c #Conflicts: 1253000 | #Constraints: 40830 1716.76/1723.94 c #Conflicts: 1254000 | #Constraints: 41830 1716.76/1723.94 c #Conflicts: 1255000 | #Constraints: 42830 1716.76/1723.94 c #Conflicts: 1256000 | #Constraints: 43830 1716.76/1723.94 c INPROCESSING 1716.76/1723.94 c GARBAGE COLLECT 1716.76/1723.94 c rational objective 0 1758.89/1766.21 c #Conflicts: 1257000 | #Constraints: 22631 1758.89/1766.21 c #Conflicts: 1258000 | #Constraints: 23631 1758.89/1766.21 c #Conflicts: 1259000 | #Constraints: 24631 1758.89/1766.21 c #Conflicts: 1260000 | #Constraints: 25631 1758.89/1766.21 c #Conflicts: 1261000 | #Constraints: 26631 1758.89/1766.21 c #Conflicts: 1262000 | #Constraints: 27631 1758.89/1766.21 c #Conflicts: 1263000 | #Constraints: 28631 1758.89/1766.21 c #Conflicts: 1264000 | #Constraints: 29631 1758.89/1766.21 c #Conflicts: 1265000 | #Constraints: 30631 1758.89/1766.21 c #Conflicts: 1266000 | #Constraints: 31631 1758.89/1766.21 c #Conflicts: 1267000 | #Constraints: 32631 1758.89/1766.21 c #Conflicts: 1268000 | #Constraints: 33631 1758.89/1766.21 c #Conflicts: 1269000 | #Constraints: 34631 1758.89/1766.21 c #Conflicts: 1270000 | #Constraints: 35631 1758.89/1766.21 c #Conflicts: 1271000 | #Constraints: 36631 1758.89/1766.21 c #Conflicts: 1272000 | #Constraints: 37631 1758.89/1766.21 c #Conflicts: 1273000 | #Constraints: 38631 1758.89/1766.21 c #Conflicts: 1274000 | #Constraints: 39631 1758.89/1766.21 c #Conflicts: 1275000 | #Constraints: 40631 1758.89/1766.21 c #Conflicts: 1276000 | #Constraints: 41631 1758.89/1766.21 c #Conflicts: 1277000 | #Constraints: 42631 1758.89/1766.21 c #Conflicts: 1278000 | #Constraints: 43631 1758.89/1766.21 c #Conflicts: 1279000 | #Constraints: 44631 1758.89/1766.21 c INPROCESSING 1758.89/1766.21 c GARBAGE COLLECT 1758.89/1766.21 c rational objective 0 1801.71/1809.21 c #Conflicts: 1280000 | #Constraints: 23227 1801.71/1809.21 c #Conflicts: 1281000 | #Constraints: 24227 1801.71/1809.21 c #Conflicts: 1282000 | #Constraints: 25227 1801.71/1809.21 c #Conflicts: 1283000 | #Constraints: 26227 1801.71/1809.21 c #Conflicts: 1284000 | #Constraints: 27227 1801.71/1809.21 c #Conflicts: 1285000 | #Constraints: 28227 1801.71/1809.21 c #Conflicts: 1286000 | #Constraints: 29227 1801.71/1809.21 c #Conflicts: 1287000 | #Constraints: 30227 1801.71/1809.21 c #Conflicts: 1288000 | #Constraints: 31227 1801.71/1809.21 c #Conflicts: 1289000 | #Constraints: 32227 1801.71/1809.21 c #Conflicts: 1290000 | #Constraints: 33227 1801.71/1809.21 c #Conflicts: 1291000 | #Constraints: 34227 1801.71/1809.21 c #Conflicts: 1292000 | #Constraints: 35227 1801.71/1809.21 c #Conflicts: 1293000 | #Constraints: 36227 1801.71/1809.21 c #Conflicts: 1294000 | #Constraints: 37227 1801.71/1809.21 c #Conflicts: 1295000 | #Constraints: 38227 1801.71/1809.21 c #Conflicts: 1296000 | #Constraints: 39227 1801.71/1809.21 c #Conflicts: 1297000 | #Constraints: 40227 1801.71/1809.21 c #Conflicts: 1298000 | #Constraints: 41227 1801.71/1809.21 c #Conflicts: 1299000 | #Constraints: 42227 1801.71/1809.21 c #Conflicts: 1300000 | #Constraints: 43227 1801.71/1809.21 c #Conflicts: 1301000 | #Constraints: 44227 1801.71/1809.21 c #Conflicts: 1302000 | #Constraints: 45227 1801.71/1809.21 c INPROCESSING 1801.71/1809.21 c GARBAGE COLLECT 1801.71/1809.21 c rational objective 0 1845.64/1853.31 c #Conflicts: 1303000 | #Constraints: 23626 1845.64/1853.31 c #Conflicts: 1304000 | #Constraints: 24626 1845.64/1853.31 c #Conflicts: 1305000 | #Constraints: 25626 1845.64/1853.31 c #Conflicts: 1306000 | #Constraints: 26626 1845.64/1853.31 c #Conflicts: 1307000 | #Constraints: 27626 1845.64/1853.31 c #Conflicts: 1308000 | #Constraints: 28626 1845.64/1853.31 c #Conflicts: 1309000 | #Constraints: 29626 1845.64/1853.31 c #Conflicts: 1310000 | #Constraints: 30626 1845.64/1853.31 c #Conflicts: 1311000 | #Constraints: 31626 1845.64/1853.31 c #Conflicts: 1312000 | #Constraints: 32626 1845.64/1853.31 c #Conflicts: 1313000 | #Constraints: 33626 1845.64/1853.31 c #Conflicts: 1314000 | #Constraints: 34626 1845.64/1853.31 c #Conflicts: 1315000 | #Constraints: 35626 1845.64/1853.31 c #Conflicts: 1316000 | #Constraints: 36626 1845.64/1853.31 c #Conflicts: 1317000 | #Constraints: 37626 1845.64/1853.31 c #Conflicts: 1318000 | #Constraints: 38626 1845.64/1853.31 c #Conflicts: 1319000 | #Constraints: 39626 1845.64/1853.31 c #Conflicts: 1320000 | #Constraints: 40626 1845.64/1853.31 c #Conflicts: 1321000 | #Constraints: 41626 1845.64/1853.31 c #Conflicts: 1322000 | #Constraints: 42626 1845.64/1853.31 c #Conflicts: 1323000 | #Constraints: 43626 1845.64/1853.31 c #Conflicts: 1324000 | #Constraints: 44626 1845.64/1853.31 c #Conflicts: 1325000 | #Constraints: 45627 1845.64/1853.31 c INPROCESSING 1845.64/1853.31 c GARBAGE COLLECT 1845.64/1853.31 c rational objective 0 1891.16/1899.06 c #Conflicts: 1326000 | #Constraints: 23826 1891.16/1899.06 c #Conflicts: 1327000 | #Constraints: 24826 1891.16/1899.06 c #Conflicts: 1328000 | #Constraints: 25826 1891.16/1899.06 c #Conflicts: 1329000 | #Constraints: 26826 1891.16/1899.06 c #Conflicts: 1330000 | #Constraints: 27826 1891.16/1899.06 c #Conflicts: 1331000 | #Constraints: 28826 1891.16/1899.06 c #Conflicts: 1332000 | #Constraints: 29826 1891.16/1899.06 c #Conflicts: 1333000 | #Constraints: 30826 1891.16/1899.06 c #Conflicts: 1334000 | #Constraints: 31826 1891.16/1899.06 c #Conflicts: 1335000 | #Constraints: 32826 1891.16/1899.06 c #Conflicts: 1336000 | #Constraints: 33826 1891.16/1899.06 c #Conflicts: 1337000 | #Constraints: 34826 1891.16/1899.06 c #Conflicts: 1338000 | #Constraints: 35826 1891.16/1899.06 c #Conflicts: 1339000 | #Constraints: 36826 1891.16/1899.06 c #Conflicts: 1340000 | #Constraints: 37826 1891.16/1899.06 c #Conflicts: 1341000 | #Constraints: 38826 1891.16/1899.06 c #Conflicts: 1342000 | #Constraints: 39826 1891.16/1899.06 c #Conflicts: 1343000 | #Constraints: 40826 1891.16/1899.06 c #Conflicts: 1344000 | #Constraints: 41826 1891.16/1899.06 c #Conflicts: 1345000 | #Constraints: 42826 1891.16/1899.06 c #Conflicts: 1346000 | #Constraints: 43826 1891.16/1899.06 c #Conflicts: 1347000 | #Constraints: 44826 1891.16/1899.06 c #Conflicts: 1348000 | #Constraints: 45826 1891.16/1899.06 c INPROCESSING 1891.16/1899.06 c GARBAGE COLLECT 1891.16/1899.06 c rational objective 0 1937.15/1945.27 c #Conflicts: 1349000 | #Constraints: 23829 1937.15/1945.27 c #Conflicts: 1350000 | #Constraints: 24829 1937.15/1945.27 c #Conflicts: 1351000 | #Constraints: 25829 1937.15/1945.27 c #Conflicts: 1352000 | #Constraints: 26829 1937.15/1945.27 c #Conflicts: 1353000 | #Constraints: 27829 1937.15/1945.27 c #Conflicts: 1354000 | #Constraints: 28829 1937.15/1945.27 c #Conflicts: 1355000 | #Constraints: 29829 1937.15/1945.27 c #Conflicts: 1356000 | #Constraints: 30829 1937.15/1945.27 c #Conflicts: 1357000 | #Constraints: 31829 1937.15/1945.27 c #Conflicts: 1358000 | #Constraints: 32829 1937.15/1945.27 c #Conflicts: 1359000 | #Constraints: 33829 1937.15/1945.27 c #Conflicts: 1360000 | #Constraints: 34830 1937.15/1945.27 c #Conflicts: 1361000 | #Constraints: 35830 1937.15/1945.27 c #Conflicts: 1362000 | #Constraints: 36830 1937.15/1945.27 c #Conflicts: 1363000 | #Constraints: 37830 1937.15/1945.27 c #Conflicts: 1364000 | #Constraints: 38830 1937.15/1945.27 c #Conflicts: 1365000 | #Constraints: 39830 1937.15/1945.27 c #Conflicts: 1366000 | #Constraints: 40830 1937.15/1945.27 c #Conflicts: 1367000 | #Constraints: 41830 1937.15/1945.27 c #Conflicts: 1368000 | #Constraints: 42830 1937.15/1945.27 c #Conflicts: 1369000 | #Constraints: 43830 1937.15/1945.27 c #Conflicts: 1370000 | #Constraints: 44830 1937.15/1945.27 c #Conflicts: 1371000 | #Constraints: 45830 1937.15/1945.27 c INPROCESSING 1937.15/1945.27 c GARBAGE COLLECT 1937.15/1945.27 c rational objective 0 1983.36/1991.65 c #Conflicts: 1372000 | #Constraints: 23630 1983.36/1991.65 c #Conflicts: 1373000 | #Constraints: 24630 1983.36/1991.65 c #Conflicts: 1374000 | #Constraints: 25630 1983.36/1991.65 c #Conflicts: 1375000 | #Constraints: 26630 1983.36/1991.65 c #Conflicts: 1376000 | #Constraints: 27630 1983.36/1991.65 c #Conflicts: 1377000 | #Constraints: 28630 1983.36/1991.65 c #Conflicts: 1378000 | #Constraints: 29630 1983.36/1991.65 c #Conflicts: 1379000 | #Constraints: 30630 1983.36/1991.65 c #Conflicts: 1380000 | #Constraints: 31630 1983.36/1991.65 c #Conflicts: 1381000 | #Constraints: 32630 1983.36/1991.65 c #Conflicts: 1382000 | #Constraints: 33630 1983.36/1991.65 c #Conflicts: 1383000 | #Constraints: 34630 1983.36/1991.65 c #Conflicts: 1384000 | #Constraints: 35630 1983.36/1991.65 c #Conflicts: 1385000 | #Constraints: 36630 1983.36/1991.65 c #Conflicts: 1386000 | #Constraints: 37630 1983.36/1991.65 c #Conflicts: 1387000 | #Constraints: 38630 1983.36/1991.65 c #Conflicts: 1388000 | #Constraints: 39630 1983.36/1991.65 c #Conflicts: 1389000 | #Constraints: 40630 1983.36/1991.65 c #Conflicts: 1390000 | #Constraints: 41630 1983.36/1991.65 c #Conflicts: 1391000 | #Constraints: 42630 1983.36/1991.65 c #Conflicts: 1392000 | #Constraints: 43630 1983.36/1991.65 c #Conflicts: 1393000 | #Constraints: 44630 1983.36/1991.65 c #Conflicts: 1394000 | #Constraints: 45630 1983.36/1991.65 c #Conflicts: 1395000 | #Constraints: 46630 1983.36/1991.65 c INPROCESSING 1983.36/1991.65 c GARBAGE COLLECT 1983.36/1991.65 c rational objective 0 2030.67/2039.16 c #Conflicts: 1396000 | #Constraints: 24230 2030.67/2039.16 c #Conflicts: 1397000 | #Constraints: 25230 2030.67/2039.16 c #Conflicts: 1398000 | #Constraints: 26230 2030.67/2039.16 c #Conflicts: 1399000 | #Constraints: 27230 2030.67/2039.16 c #Conflicts: 1400000 | #Constraints: 28230 2030.67/2039.16 c #Conflicts: 1401000 | #Constraints: 29230 2030.67/2039.16 c #Conflicts: 1402000 | #Constraints: 30230 2030.67/2039.16 c #Conflicts: 1403000 | #Constraints: 31230 2030.67/2039.16 c #Conflicts: 1404000 | #Constraints: 32230 2030.67/2039.16 c #Conflicts: 1405000 | #Constraints: 33230 2030.67/2039.16 c #Conflicts: 1406000 | #Constraints: 34230 2030.67/2039.16 c #Conflicts: 1407000 | #Constraints: 35230 2030.67/2039.16 c #Conflicts: 1408000 | #Constraints: 36230 2030.67/2039.16 c #Conflicts: 1409000 | #Constraints: 37230 2030.67/2039.16 c #Conflicts: 1410000 | #Constraints: 38230 2030.67/2039.16 c #Conflicts: 1411000 | #Constraints: 39230 2030.67/2039.16 c #Conflicts: 1412000 | #Constraints: 40230 2030.67/2039.16 c #Conflicts: 1413000 | #Constraints: 41230 2030.67/2039.16 c #Conflicts: 1414000 | #Constraints: 42230 2030.67/2039.16 c #Conflicts: 1415000 | #Constraints: 43230 2030.67/2039.16 c #Conflicts: 1416000 | #Constraints: 44231 2030.67/2039.16 c #Conflicts: 1417000 | #Constraints: 45231 2030.67/2039.16 c #Conflicts: 1418000 | #Constraints: 46231 2030.67/2039.16 c #Conflicts: 1419000 | #Constraints: 47231 2030.67/2039.16 c INPROCESSING 2030.67/2039.16 c GARBAGE COLLECT 2030.67/2039.16 c rational objective 0 2077.57/2086.23 c #Conflicts: 1420000 | #Constraints: 24631 2077.57/2086.23 c #Conflicts: 1421000 | #Constraints: 25631 2077.57/2086.23 c #Conflicts: 1422000 | #Constraints: 26633 2077.57/2086.23 c #Conflicts: 1423000 | #Constraints: 27633 2077.57/2086.23 c #Conflicts: 1424000 | #Constraints: 28633 2077.57/2086.23 c #Conflicts: 1425000 | #Constraints: 29633 2077.57/2086.23 c #Conflicts: 1426000 | #Constraints: 30633 2077.57/2086.23 c #Conflicts: 1427000 | #Constraints: 31633 2077.57/2086.23 c #Conflicts: 1428000 | #Constraints: 32633 2077.57/2086.23 c #Conflicts: 1429000 | #Constraints: 33633 2077.57/2086.23 c #Conflicts: 1430000 | #Constraints: 34633 2077.57/2086.23 c #Conflicts: 1431000 | #Constraints: 35633 2077.57/2086.23 c #Conflicts: 1432000 | #Constraints: 36633 2077.57/2086.23 c #Conflicts: 1433000 | #Constraints: 37633 2077.57/2086.23 c #Conflicts: 1434000 | #Constraints: 38633 2077.57/2086.23 c #Conflicts: 1435000 | #Constraints: 39633 2077.57/2086.23 c #Conflicts: 1436000 | #Constraints: 40633 2077.57/2086.23 c #Conflicts: 1437000 | #Constraints: 41633 2077.57/2086.23 c #Conflicts: 1438000 | #Constraints: 42633 2077.57/2086.23 c #Conflicts: 1439000 | #Constraints: 43633 2077.57/2086.23 c #Conflicts: 1440000 | #Constraints: 44633 2077.57/2086.23 c #Conflicts: 1441000 | #Constraints: 45633 2077.57/2086.23 c #Conflicts: 1442000 | #Constraints: 46633 2077.57/2086.23 c #Conflicts: 1443000 | #Constraints: 47633 2077.57/2086.23 c INPROCESSING 2077.57/2086.23 c GARBAGE COLLECT 2077.57/2086.23 c rational objective 0 2126.76/2135.63 c #Conflicts: 1444000 | #Constraints: 24830 2126.76/2135.63 c #Conflicts: 1445000 | #Constraints: 25831 2126.76/2135.63 c #Conflicts: 1446000 | #Constraints: 26831 2126.76/2135.63 c #Conflicts: 1447000 | #Constraints: 27831 2126.76/2135.63 c #Conflicts: 1448000 | #Constraints: 28831 2126.76/2135.63 c #Conflicts: 1449000 | #Constraints: 29831 2126.76/2135.63 c #Conflicts: 1450000 | #Constraints: 30831 2126.76/2135.63 c #Conflicts: 1451000 | #Constraints: 31831 2126.76/2135.63 c #Conflicts: 1452000 | #Constraints: 32831 2126.76/2135.63 c #Conflicts: 1453000 | #Constraints: 33831 2126.76/2135.63 c #Conflicts: 1454000 | #Constraints: 34831 2126.76/2135.63 c #Conflicts: 1455000 | #Constraints: 35831 2126.76/2135.63 c #Conflicts: 1456000 | #Constraints: 36831 2126.76/2135.63 c #Conflicts: 1457000 | #Constraints: 37831 2126.76/2135.63 c #Conflicts: 1458000 | #Constraints: 38831 2126.76/2135.63 c #Conflicts: 1459000 | #Constraints: 39831 2126.76/2135.63 c #Conflicts: 1460000 | #Constraints: 40831 2126.76/2135.63 c #Conflicts: 1461000 | #Constraints: 41831 2126.76/2135.63 c #Conflicts: 1462000 | #Constraints: 42831 2126.76/2135.63 c #Conflicts: 1463000 | #Constraints: 43831 2126.76/2135.63 c #Conflicts: 1464000 | #Constraints: 44831 2126.76/2135.63 c #Conflicts: 1465000 | #Constraints: 45831 2126.76/2135.63 c #Conflicts: 1466000 | #Constraints: 46831 2126.76/2135.63 c #Conflicts: 1467000 | #Constraints: 47831 2126.76/2135.63 c INPROCESSING 2126.76/2135.63 c GARBAGE COLLECT 2126.76/2135.63 c rational objective 0 2175.86/2184.92 c #Conflicts: 1468000 | #Constraints: 24829 2175.86/2184.92 c #Conflicts: 1469000 | #Constraints: 25829 2175.86/2184.92 c #Conflicts: 1470000 | #Constraints: 26829 2175.86/2184.92 c #Conflicts: 1471000 | #Constraints: 27829 2175.86/2184.92 c #Conflicts: 1472000 | #Constraints: 28829 2175.86/2184.92 c #Conflicts: 1473000 | #Constraints: 29829 2175.86/2184.92 c #Conflicts: 1474000 | #Constraints: 30829 2175.86/2184.92 c #Conflicts: 1475000 | #Constraints: 31829 2175.86/2184.92 c #Conflicts: 1476000 | #Constraints: 32829 2175.86/2184.92 c #Conflicts: 1477000 | #Constraints: 33829 2175.86/2184.92 c #Conflicts: 1478000 | #Constraints: 34829 2175.86/2184.92 c #Conflicts: 1479000 | #Constraints: 35829 2175.86/2184.92 c #Conflicts: 1480000 | #Constraints: 36829 2175.86/2184.92 c #Conflicts: 1481000 | #Constraints: 37829 2175.86/2184.92 c #Conflicts: 1482000 | #Constraints: 38829 2175.86/2184.92 c #Conflicts: 1483000 | #Constraints: 39829 2175.86/2184.92 c #Conflicts: 1484000 | #Constraints: 40829 2175.86/2184.92 c #Conflicts: 1485000 | #Constraints: 41829 2175.86/2184.92 c #Conflicts: 1486000 | #Constraints: 42829 2175.86/2184.92 c #Conflicts: 1487000 | #Constraints: 43829 2175.86/2184.92 c #Conflicts: 1488000 | #Constraints: 44829 2175.86/2184.92 c #Conflicts: 1489000 | #Constraints: 45829 2175.86/2184.92 c #Conflicts: 1490000 | #Constraints: 46829 2175.86/2184.92 c #Conflicts: 1491000 | #Constraints: 47829 2175.86/2184.92 c INPROCESSING 2175.86/2184.92 c GARBAGE COLLECT 2175.86/2184.92 c rational objective 0 2226.06/2235.38 c #Conflicts: 1492000 | #Constraints: 24628 2226.06/2235.38 c #Conflicts: 1493000 | #Constraints: 25628 2226.06/2235.38 c #Conflicts: 1494000 | #Constraints: 26628 2226.06/2235.38 c #Conflicts: 1495000 | #Constraints: 27628 2226.06/2235.38 c #Conflicts: 1496000 | #Constraints: 28628 2226.06/2235.38 c #Conflicts: 1497000 | #Constraints: 29628 2226.06/2235.38 c #Conflicts: 1498000 | #Constraints: 30628 2226.06/2235.38 c #Conflicts: 1499000 | #Constraints: 31628 2226.06/2235.38 c #Conflicts: 1500000 | #Constraints: 32628 2226.06/2235.38 c #Conflicts: 1501000 | #Constraints: 33628 2226.06/2235.38 c #Conflicts: 1502000 | #Constraints: 34628 2226.06/2235.38 c #Conflicts: 1503000 | #Constraints: 35628 2226.06/2235.38 c #Conflicts: 1504000 | #Constraints: 36628 2226.06/2235.38 c #Conflicts: 1505000 | #Constraints: 37628 2226.06/2235.38 c #Conflicts: 1506000 | #Constraints: 38628 2226.06/2235.38 c #Conflicts: 1507000 | #Constraints: 39628 2226.06/2235.38 c #Conflicts: 1508000 | #Constraints: 40628 2226.06/2235.38 c #Conflicts: 1509000 | #Constraints: 41628 2226.06/2235.38 c #Conflicts: 1510000 | #Constraints: 42628 2226.06/2235.38 c #Conflicts: 1511000 | #Constraints: 43628 2226.06/2235.38 c #Conflicts: 1512000 | #Constraints: 44628 2226.06/2235.38 c #Conflicts: 1513000 | #Constraints: 45628 2226.06/2235.38 c #Conflicts: 1514000 | #Constraints: 46628 2226.06/2235.38 c #Conflicts: 1515000 | #Constraints: 47628 2226.06/2235.38 c #Conflicts: 1516000 | #Constraints: 48628 2226.06/2235.38 c INPROCESSING 2226.06/2235.38 c GARBAGE COLLECT 2226.06/2235.38 c rational objective 0 2274.31/2283.73 c #Conflicts: 1517000 | #Constraints: 25229 2274.31/2283.73 c #Conflicts: 1518000 | #Constraints: 26229 2274.31/2283.73 c #Conflicts: 1519000 | #Constraints: 27229 2274.31/2283.73 c #Conflicts: 1520000 | #Constraints: 28229 2274.31/2283.73 c #Conflicts: 1521000 | #Constraints: 29229 2274.31/2283.73 c #Conflicts: 1522000 | #Constraints: 30229 2274.31/2283.73 c #Conflicts: 1523000 | #Constraints: 31229 2274.31/2283.73 c #Conflicts: 1524000 | #Constraints: 32230 2274.31/2283.73 c #Conflicts: 1525000 | #Constraints: 33230 2274.31/2283.73 c #Conflicts: 1526000 | #Constraints: 34230 2274.31/2283.73 c #Conflicts: 1527000 | #Constraints: 35230 2274.31/2283.73 c #Conflicts: 1528000 | #Constraints: 36230 2274.31/2283.73 c #Conflicts: 1529000 | #Constraints: 37230 2274.31/2283.73 c #Conflicts: 1530000 | #Constraints: 38230 2274.31/2283.73 c #Conflicts: 1531000 | #Constraints: 39230 2274.31/2283.73 c #Conflicts: 1532000 | #Constraints: 40230 2274.31/2283.73 c #Conflicts: 1533000 | #Constraints: 41230 2274.31/2283.73 c #Conflicts: 1534000 | #Constraints: 42230 2274.31/2283.73 c #Conflicts: 1535000 | #Constraints: 43230 2274.31/2283.73 c #Conflicts: 1536000 | #Constraints: 44230 2274.31/2283.73 c #Conflicts: 1537000 | #Constraints: 45230 2274.31/2283.73 c #Conflicts: 1538000 | #Constraints: 46230 2274.31/2283.73 c #Conflicts: 1539000 | #Constraints: 47230 2274.31/2283.73 c #Conflicts: 1540000 | #Constraints: 48230 2274.31/2283.73 c #Conflicts: 1541000 | #Constraints: 49230 2274.31/2283.73 c INPROCESSING 2274.31/2283.73 c GARBAGE COLLECT 2274.31/2283.73 c rational objective 0 2324.25/2333.82 c #Conflicts: 1542000 | #Constraints: 25624 2324.25/2333.82 c #Conflicts: 1543000 | #Constraints: 26624 2324.25/2333.82 c #Conflicts: 1544000 | #Constraints: 27624 2324.25/2333.82 c #Conflicts: 1545000 | #Constraints: 28624 2324.25/2333.82 c #Conflicts: 1546000 | #Constraints: 29624 2324.25/2333.82 c #Conflicts: 1547000 | #Constraints: 30624 2324.25/2333.82 c #Conflicts: 1548000 | #Constraints: 31624 2324.25/2333.82 c #Conflicts: 1549000 | #Constraints: 32624 2324.25/2333.82 c #Conflicts: 1550000 | #Constraints: 33624 2324.25/2333.82 c #Conflicts: 1551000 | #Constraints: 34624 2324.25/2333.82 c #Conflicts: 1552000 | #Constraints: 35624 2324.25/2333.82 c #Conflicts: 1553000 | #Constraints: 36624 2324.25/2333.82 c #Conflicts: 1554000 | #Constraints: 37624 2324.25/2333.82 c #Conflicts: 1555000 | #Constraints: 38624 2324.25/2333.82 c #Conflicts: 1556000 | #Constraints: 39624 2324.25/2333.82 c #Conflicts: 1557000 | #Constraints: 40624 2324.25/2333.82 c #Conflicts: 1558000 | #Constraints: 41624 2324.25/2333.82 c #Conflicts: 1559000 | #Constraints: 42624 2324.25/2333.82 c #Conflicts: 1560000 | #Constraints: 43624 2324.25/2333.82 c #Conflicts: 1561000 | #Constraints: 44624 2324.25/2333.82 c #Conflicts: 1562000 | #Constraints: 45624 2324.25/2333.82 c #Conflicts: 1563000 | #Constraints: 46624 2324.25/2333.82 c #Conflicts: 1564000 | #Constraints: 47624 2324.25/2333.82 c #Conflicts: 1565000 | #Constraints: 48624 2324.25/2333.82 c #Conflicts: 1566000 | #Constraints: 49624 2324.25/2333.82 c INPROCESSING 2324.25/2333.82 c GARBAGE COLLECT 2324.25/2333.82 c rational objective 0 2375.58/2385.34 c #Conflicts: 1567000 | #Constraints: 25824 2375.58/2385.34 c #Conflicts: 1568000 | #Constraints: 26824 2375.58/2385.34 c #Conflicts: 1569000 | #Constraints: 27824 2375.58/2385.34 c #Conflicts: 1570000 | #Constraints: 28824 2375.58/2385.34 c #Conflicts: 1571000 | #Constraints: 29824 2375.58/2385.34 c #Conflicts: 1572000 | #Constraints: 30824 2375.58/2385.34 c #Conflicts: 1573000 | #Constraints: 31824 2375.58/2385.34 c #Conflicts: 1574000 | #Constraints: 32824 2375.58/2385.34 c #Conflicts: 1575000 | #Constraints: 33824 2375.58/2385.34 c #Conflicts: 1576000 | #Constraints: 34824 2375.58/2385.34 c #Conflicts: 1577000 | #Constraints: 35824 2375.58/2385.34 c #Conflicts: 1578000 | #Constraints: 36824 2375.58/2385.34 c #Conflicts: 1579000 | #Constraints: 37824 2375.58/2385.34 c #Conflicts: 1580000 | #Constraints: 38824 2375.58/2385.34 c #Conflicts: 1581000 | #Constraints: 39824 2375.58/2385.34 c #Conflicts: 1582000 | #Constraints: 40824 2375.58/2385.34 c #Conflicts: 1583000 | #Constraints: 41824 2375.58/2385.34 c #Conflicts: 1584000 | #Constraints: 42825 2375.58/2385.34 c #Conflicts: 1585000 | #Constraints: 43825 2375.58/2385.34 c #Conflicts: 1586000 | #Constraints: 44825 2375.58/2385.34 c #Conflicts: 1587000 | #Constraints: 45825 2375.58/2385.34 c #Conflicts: 1588000 | #Constraints: 46825 2375.58/2385.34 c #Conflicts: 1589000 | #Constraints: 47825 2375.58/2385.34 c #Conflicts: 1590000 | #Constraints: 48825 2375.58/2385.34 c #Conflicts: 1591000 | #Constraints: 49825 2375.58/2385.34 c INPROCESSING 2375.58/2385.34 c GARBAGE COLLECT 2375.58/2385.34 c rational objective 0 2427.71/2437.64 c #Conflicts: 1592000 | #Constraints: 25828 2427.71/2437.64 c #Conflicts: 1593000 | #Constraints: 26828 2427.71/2437.64 c #Conflicts: 1594000 | #Constraints: 27828 2427.71/2437.64 c #Conflicts: 1595000 | #Constraints: 28828 2427.71/2437.64 c #Conflicts: 1596000 | #Constraints: 29828 2427.71/2437.64 c #Conflicts: 1597000 | #Constraints: 30828 2427.71/2437.64 c #Conflicts: 1598000 | #Constraints: 31828 2427.71/2437.64 c #Conflicts: 1599000 | #Constraints: 32828 2427.71/2437.64 c #Conflicts: 1600000 | #Constraints: 33828 2427.71/2437.64 c #Conflicts: 1601000 | #Constraints: 34828 2427.71/2437.64 c #Conflicts: 1602000 | #Constraints: 35828 2427.71/2437.64 c #Conflicts: 1603000 | #Constraints: 36828 2427.71/2437.64 c #Conflicts: 1604000 | #Constraints: 37828 2427.71/2437.64 c #Conflicts: 1605000 | #Constraints: 38828 2427.71/2437.64 c #Conflicts: 1606000 | #Constraints: 39828 2427.71/2437.64 c #Conflicts: 1607000 | #Constraints: 40828 2427.71/2437.64 c #Conflicts: 1608000 | #Constraints: 41828 2427.71/2437.64 c #Conflicts: 1609000 | #Constraints: 42828 2427.71/2437.64 c #Conflicts: 1610000 | #Constraints: 43828 2427.71/2437.64 c #Conflicts: 1611000 | #Constraints: 44828 2427.71/2437.65 c #Conflicts: 1612000 | #Constraints: 45828 2427.71/2437.65 c #Conflicts: 1613000 | #Constraints: 46828 2427.71/2437.65 c #Conflicts: 1614000 | #Constraints: 47828 2427.71/2437.65 c #Conflicts: 1615000 | #Constraints: 48828 2427.71/2437.65 c #Conflicts: 1616000 | #Constraints: 49828 2427.71/2437.65 c INPROCESSING 2427.71/2437.65 c GARBAGE COLLECT 2427.71/2437.65 c rational objective 0 2481.14/2491.25 c #Conflicts: 1617000 | #Constraints: 25629 2481.14/2491.25 c #Conflicts: 1618000 | #Constraints: 26629 2481.14/2491.25 c #Conflicts: 1619000 | #Constraints: 27629 2481.14/2491.25 c #Conflicts: 1620000 | #Constraints: 28629 2481.14/2491.25 c #Conflicts: 1621000 | #Constraints: 29629 2481.14/2491.25 c #Conflicts: 1622000 | #Constraints: 30629 2481.14/2491.25 c #Conflicts: 1623000 | #Constraints: 31629 2481.14/2491.25 c #Conflicts: 1624000 | #Constraints: 32629 2481.14/2491.25 c #Conflicts: 1625000 | #Constraints: 33629 2481.14/2491.25 c #Conflicts: 1626000 | #Constraints: 34629 2481.14/2491.25 c #Conflicts: 1627000 | #Constraints: 35629 2481.14/2491.25 c #Conflicts: 1628000 | #Constraints: 36629 2481.14/2491.25 c #Conflicts: 1629000 | #Constraints: 37629 2481.14/2491.25 c #Conflicts: 1630000 | #Constraints: 38629 2481.14/2491.25 c #Conflicts: 1631000 | #Constraints: 39629 2481.14/2491.25 c #Conflicts: 1632000 | #Constraints: 40629 2481.14/2491.25 c #Conflicts: 1633000 | #Constraints: 41629 2481.14/2491.25 c #Conflicts: 1634000 | #Constraints: 42629 2481.14/2491.25 c #Conflicts: 1635000 | #Constraints: 43629 2481.14/2491.25 c #Conflicts: 1636000 | #Constraints: 44629 2481.14/2491.25 c #Conflicts: 1637000 | #Constraints: 45629 2481.14/2491.25 c #Conflicts: 1638000 | #Constraints: 46629 2481.14/2491.25 c #Conflicts: 1639000 | #Constraints: 47629 2481.14/2491.25 c #Conflicts: 1640000 | #Constraints: 48629 2481.14/2491.25 c #Conflicts: 1641000 | #Constraints: 49629 2481.14/2491.25 c #Conflicts: 1642000 | #Constraints: 50629 2481.14/2491.25 c INPROCESSING 2481.14/2491.25 c GARBAGE COLLECT 2481.14/2491.25 c rational objective 0 2532.57/2542.90 c #Conflicts: 1643000 | #Constraints: 26227 2532.57/2542.90 c #Conflicts: 1644000 | #Constraints: 27227 2532.57/2542.90 c #Conflicts: 1645000 | #Constraints: 28227 2532.57/2542.90 c #Conflicts: 1646000 | #Constraints: 29227 2532.57/2542.90 c #Conflicts: 1647000 | #Constraints: 30227 2532.57/2542.90 c #Conflicts: 1648000 | #Constraints: 31227 2532.57/2542.90 c #Conflicts: 1649000 | #Constraints: 32227 2532.57/2542.90 c #Conflicts: 1650000 | #Constraints: 33227 2532.57/2542.90 c #Conflicts: 1651000 | #Constraints: 34227 2532.57/2542.90 c #Conflicts: 1652000 | #Constraints: 35227 2532.57/2542.90 c #Conflicts: 1653000 | #Constraints: 36227 2532.57/2542.90 c #Conflicts: 1654000 | #Constraints: 37227 2532.57/2542.90 c #Conflicts: 1655000 | #Constraints: 38227 2532.57/2542.90 c #Conflicts: 1656000 | #Constraints: 39227 2532.57/2542.90 c #Conflicts: 1657000 | #Constraints: 40227 2532.57/2542.90 c #Conflicts: 1658000 | #Constraints: 41227 2532.57/2542.90 c #Conflicts: 1659000 | #Constraints: 42227 2532.57/2542.90 c #Conflicts: 1660000 | #Constraints: 43227 2532.57/2542.90 c #Conflicts: 1661000 | #Constraints: 44227 2532.57/2542.90 c #Conflicts: 1662000 | #Constraints: 45227 2532.57/2542.90 c #Conflicts: 1663000 | #Constraints: 46227 2532.57/2542.90 c #Conflicts: 1664000 | #Constraints: 47227 2532.57/2542.90 c #Conflicts: 1665000 | #Constraints: 48228 2532.57/2542.90 c #Conflicts: 1666000 | #Constraints: 49228 2532.57/2542.90 c #Conflicts: 1667000 | #Constraints: 50228 2532.57/2542.90 c #Conflicts: 1668000 | #Constraints: 51228 2532.57/2542.90 c INPROCESSING 2532.57/2542.90 c GARBAGE COLLECT 2532.57/2542.90 c rational objective 0 2585.10/2595.50 c #Conflicts: 1669000 | #Constraints: 26628 2585.10/2595.50 c #Conflicts: 1670000 | #Constraints: 27628 2585.10/2595.50 c #Conflicts: 1671000 | #Constraints: 28628 2585.10/2595.50 c #Conflicts: 1672000 | #Constraints: 29628 2585.10/2595.50 c #Conflicts: 1673000 | #Constraints: 30628 2585.10/2595.50 c #Conflicts: 1674000 | #Constraints: 31628 2585.10/2595.50 c #Conflicts: 1675000 | #Constraints: 32628 2585.10/2595.50 c #Conflicts: 1676000 | #Constraints: 33628 2585.10/2595.50 c #Conflicts: 1677000 | #Constraints: 34628 2585.10/2595.50 c #Conflicts: 1678000 | #Constraints: 35628 2585.10/2595.50 c #Conflicts: 1679000 | #Constraints: 36628 2585.10/2595.50 c #Conflicts: 1680000 | #Constraints: 37628 2585.10/2595.50 c #Conflicts: 1681000 | #Constraints: 38628 2585.10/2595.50 c #Conflicts: 1682000 | #Constraints: 39628 2585.10/2595.50 c #Conflicts: 1683000 | #Constraints: 40628 2585.10/2595.50 c #Conflicts: 1684000 | #Constraints: 41628 2585.10/2595.50 c #Conflicts: 1685000 | #Constraints: 42628 2585.10/2595.50 c #Conflicts: 1686000 | #Constraints: 43628 2585.10/2595.50 c #Conflicts: 1687000 | #Constraints: 44628 2585.10/2595.50 c #Conflicts: 1688000 | #Constraints: 45628 2585.10/2595.50 c #Conflicts: 1689000 | #Constraints: 46628 2585.10/2595.50 c #Conflicts: 1690000 | #Constraints: 47628 2585.10/2595.50 c #Conflicts: 1691000 | #Constraints: 48628 2585.10/2595.50 c #Conflicts: 1692000 | #Constraints: 49628 2585.10/2595.50 c #Conflicts: 1693000 | #Constraints: 50628 2585.10/2595.50 c #Conflicts: 1694000 | #Constraints: 51628 2585.10/2595.50 c INPROCESSING 2585.10/2595.50 c GARBAGE COLLECT 2585.10/2595.50 c rational objective 0 2638.63/2649.21 c #Conflicts: 1695000 | #Constraints: 26827 2638.63/2649.21 c #Conflicts: 1696000 | #Constraints: 27827 2638.63/2649.21 c #Conflicts: 1697000 | #Constraints: 28827 2638.63/2649.21 c #Conflicts: 1698000 | #Constraints: 29827 2638.63/2649.21 c #Conflicts: 1699000 | #Constraints: 30827 2638.63/2649.21 c #Conflicts: 1700000 | #Constraints: 31827 2638.63/2649.21 c #Conflicts: 1701000 | #Constraints: 32827 2638.63/2649.21 c #Conflicts: 1702000 | #Constraints: 33827 2638.63/2649.21 c #Conflicts: 1703000 | #Constraints: 34827 2638.63/2649.21 c #Conflicts: 1704000 | #Constraints: 35827 2638.63/2649.21 c #Conflicts: 1705000 | #Constraints: 36827 2638.63/2649.21 c #Conflicts: 1706000 | #Constraints: 37827 2638.63/2649.21 c #Conflicts: 1707000 | #Constraints: 38827 2638.63/2649.21 c #Conflicts: 1708000 | #Constraints: 39827 2638.63/2649.21 c #Conflicts: 1709000 | #Constraints: 40827 2638.63/2649.21 c #Conflicts: 1710000 | #Constraints: 41827 2638.63/2649.21 c #Conflicts: 1711000 | #Constraints: 42827 2638.63/2649.21 c #Conflicts: 1712000 | #Constraints: 43827 2638.63/2649.21 c #Conflicts: 1713000 | #Constraints: 44827 2638.63/2649.21 c #Conflicts: 1714000 | #Constraints: 45827 2638.63/2649.21 c #Conflicts: 1715000 | #Constraints: 46827 2638.63/2649.21 c #Conflicts: 1716000 | #Constraints: 47827 2638.63/2649.21 c #Conflicts: 1717000 | #Constraints: 48827 2638.63/2649.21 c #Conflicts: 1718000 | #Constraints: 49827 2638.63/2649.21 c #Conflicts: 1719000 | #Constraints: 50827 2638.63/2649.21 c #Conflicts: 1720000 | #Constraints: 51827 2638.63/2649.21 c INPROCESSING 2638.63/2649.21 c GARBAGE COLLECT 2638.63/2649.21 c rational objective 0 2693.15/2704.00 c #Conflicts: 1721000 | #Constraints: 26826 2693.15/2704.00 c #Conflicts: 1722000 | #Constraints: 27826 2693.15/2704.00 c #Conflicts: 1723000 | #Constraints: 28826 2693.15/2704.00 c #Conflicts: 1724000 | #Constraints: 29826 2693.15/2704.00 c #Conflicts: 1725000 | #Constraints: 30827 2693.15/2704.00 c #Conflicts: 1726000 | #Constraints: 31827 2693.15/2704.00 c #Conflicts: 1727000 | #Constraints: 32827 2693.15/2704.00 c #Conflicts: 1728000 | #Constraints: 33827 2693.15/2704.00 c #Conflicts: 1729000 | #Constraints: 34827 2693.15/2704.00 c #Conflicts: 1730000 | #Constraints: 35827 2693.15/2704.00 c #Conflicts: 1731000 | #Constraints: 36827 2693.15/2704.00 c #Conflicts: 1732000 | #Constraints: 37827 2693.15/2704.00 c #Conflicts: 1733000 | #Constraints: 38827 2693.15/2704.00 c #Conflicts: 1734000 | #Constraints: 39828 2693.15/2704.00 c #Conflicts: 1735000 | #Constraints: 40828 2693.15/2704.00 c #Conflicts: 1736000 | #Constraints: 41828 2693.15/2704.00 c #Conflicts: 1737000 | #Constraints: 42828 2693.15/2704.00 c #Conflicts: 1738000 | #Constraints: 43828 2693.15/2704.00 c #Conflicts: 1739000 | #Constraints: 44828 2693.15/2704.00 c #Conflicts: 1740000 | #Constraints: 45828 2693.15/2704.00 c #Conflicts: 1741000 | #Constraints: 46828 2693.15/2704.00 c #Conflicts: 1742000 | #Constraints: 47828 2693.15/2704.00 c #Conflicts: 1743000 | #Constraints: 48828 2693.15/2704.00 c #Conflicts: 1744000 | #Constraints: 49828 2693.15/2704.00 c #Conflicts: 1745000 | #Constraints: 50828 2693.15/2704.00 c #Conflicts: 1746000 | #Constraints: 51828 2693.15/2704.00 c INPROCESSING 2693.15/2704.00 c GARBAGE COLLECT 2693.15/2704.00 c rational objective 0 2748.57/2759.50 c #Conflicts: 1747000 | #Constraints: 26629 2748.57/2759.50 c #Conflicts: 1748000 | #Constraints: 27629 2748.57/2759.50 c #Conflicts: 1749000 | #Constraints: 28629 2748.57/2759.50 c #Conflicts: 1750000 | #Constraints: 29629 2748.57/2759.50 c #Conflicts: 1751000 | #Constraints: 30629 2748.57/2759.50 c #Conflicts: 1752000 | #Constraints: 31629 2748.57/2759.50 c #Conflicts: 1753000 | #Constraints: 32629 2748.57/2759.50 c #Conflicts: 1754000 | #Constraints: 33629 2748.57/2759.50 c #Conflicts: 1755000 | #Constraints: 34629 2748.57/2759.50 c #Conflicts: 1756000 | #Constraints: 35629 2748.57/2759.50 c #Conflicts: 1757000 | #Constraints: 36629 2748.57/2759.50 c #Conflicts: 1758000 | #Constraints: 37629 2748.57/2759.50 c #Conflicts: 1759000 | #Constraints: 38629 2748.57/2759.50 c #Conflicts: 1760000 | #Constraints: 39629 2748.57/2759.50 c #Conflicts: 1761000 | #Constraints: 40629 2748.57/2759.50 c #Conflicts: 1762000 | #Constraints: 41629 2748.57/2759.50 c #Conflicts: 1763000 | #Constraints: 42629 2748.57/2759.50 c #Conflicts: 1764000 | #Constraints: 43629 2748.57/2759.50 c #Conflicts: 1765000 | #Constraints: 44629 2748.57/2759.50 c #Conflicts: 1766000 | #Constraints: 45629 2748.57/2759.51 c #Conflicts: 1767000 | #Constraints: 46629 2748.57/2759.51 c #Conflicts: 1768000 | #Constraints: 47629 2748.57/2759.51 c #Conflicts: 1769000 | #Constraints: 48629 2748.57/2759.51 c #Conflicts: 1770000 | #Constraints: 49629 2748.57/2759.51 c #Conflicts: 1771000 | #Constraints: 50629 2748.57/2759.51 c #Conflicts: 1772000 | #Constraints: 51629 2748.57/2759.51 c #Conflicts: 1773000 | #Constraints: 52629 2748.57/2759.51 c INPROCESSING 2748.57/2759.51 c GARBAGE COLLECT 2748.57/2759.51 c rational objective 0 2804.40/2815.50 c #Conflicts: 1774000 | #Constraints: 27226 2804.40/2815.50 c #Conflicts: 1775000 | #Constraints: 28226 2804.40/2815.50 c #Conflicts: 1776000 | #Constraints: 29226 2804.40/2815.50 c #Conflicts: 1777000 | #Constraints: 30226 2804.40/2815.50 c #Conflicts: 1778000 | #Constraints: 31226 2804.40/2815.50 c #Conflicts: 1779000 | #Constraints: 32226 2804.40/2815.50 c #Conflicts: 1780000 | #Constraints: 33226 2804.40/2815.50 c #Conflicts: 1781000 | #Constraints: 34226 2804.40/2815.50 c #Conflicts: 1782000 | #Constraints: 35226 2804.40/2815.50 c #Conflicts: 1783000 | #Constraints: 36226 2804.40/2815.50 c #Conflicts: 1784000 | #Constraints: 37226 2804.40/2815.50 c #Conflicts: 1785000 | #Constraints: 38226 2804.40/2815.50 c #Conflicts: 1786000 | #Constraints: 39226 2804.40/2815.50 c #Conflicts: 1787000 | #Constraints: 40226 2804.40/2815.50 c #Conflicts: 1788000 | #Constraints: 41226 2804.40/2815.50 c #Conflicts: 1789000 | #Constraints: 42226 2804.40/2815.50 c #Conflicts: 1790000 | #Constraints: 43226 2804.40/2815.50 c #Conflicts: 1791000 | #Constraints: 44226 2804.40/2815.50 c #Conflicts: 1792000 | #Constraints: 45226 2804.40/2815.50 c #Conflicts: 1793000 | #Constraints: 46226 2804.40/2815.50 c #Conflicts: 1794000 | #Constraints: 47226 2804.40/2815.50 c #Conflicts: 1795000 | #Constraints: 48226 2804.40/2815.50 c #Conflicts: 1796000 | #Constraints: 49226 2804.40/2815.50 c #Conflicts: 1797000 | #Constraints: 50226 2804.40/2815.50 c #Conflicts: 1798000 | #Constraints: 51226 2804.40/2815.50 c #Conflicts: 1799000 | #Constraints: 52226 2804.40/2815.50 c #Conflicts: 1800000 | #Constraints: 53226 2804.40/2815.50 c INPROCESSING 2804.40/2815.50 c GARBAGE COLLECT 2804.40/2815.50 c rational objective 0 2861.21/2872.59 c #Conflicts: 1801000 | #Constraints: 27624 2861.21/2872.59 c #Conflicts: 1802000 | #Constraints: 28624 2861.21/2872.59 c #Conflicts: 1803000 | #Constraints: 29624 2861.21/2872.59 c #Conflicts: 1804000 | #Constraints: 30624 2861.21/2872.59 c #Conflicts: 1805000 | #Constraints: 31624 2861.21/2872.59 c #Conflicts: 1806000 | #Constraints: 32624 2861.21/2872.59 c #Conflicts: 1807000 | #Constraints: 33624 2861.21/2872.59 c #Conflicts: 1808000 | #Constraints: 34624 2861.21/2872.59 c #Conflicts: 1809000 | #Constraints: 35624 2861.21/2872.59 c #Conflicts: 1810000 | #Constraints: 36624 2861.21/2872.59 c #Conflicts: 1811000 | #Constraints: 37624 2861.21/2872.59 c #Conflicts: 1812000 | #Constraints: 38624 2861.21/2872.59 c #Conflicts: 1813000 | #Constraints: 39624 2861.21/2872.59 c #Conflicts: 1814000 | #Constraints: 40624 2861.21/2872.59 c #Conflicts: 1815000 | #Constraints: 41624 2861.21/2872.59 c #Conflicts: 1816000 | #Constraints: 42624 2861.21/2872.59 c #Conflicts: 1817000 | #Constraints: 43624 2861.21/2872.59 c #Conflicts: 1818000 | #Constraints: 44624 2861.21/2872.59 c #Conflicts: 1819000 | #Constraints: 45624 2861.21/2872.59 c #Conflicts: 1820000 | #Constraints: 46624 2861.21/2872.59 c #Conflicts: 1821000 | #Constraints: 47624 2861.21/2872.59 c #Conflicts: 1822000 | #Constraints: 48624 2861.21/2872.59 c #Conflicts: 1823000 | #Constraints: 49624 2861.21/2872.59 c #Conflicts: 1824000 | #Constraints: 50624 2861.21/2872.59 c #Conflicts: 1825000 | #Constraints: 51624 2861.21/2872.59 c #Conflicts: 1826000 | #Constraints: 52624 2861.21/2872.59 c #Conflicts: 1827000 | #Constraints: 53624 2861.21/2872.59 c INPROCESSING 2861.21/2872.59 c GARBAGE COLLECT 2861.21/2872.59 c rational objective 0 2919.42/2931.01 c #Conflicts: 1828000 | #Constraints: 27828 2919.42/2931.01 c #Conflicts: 1829000 | #Constraints: 28828 2919.42/2931.01 c #Conflicts: 1830000 | #Constraints: 29828 2919.42/2931.01 c #Conflicts: 1831000 | #Constraints: 30828 2919.42/2931.01 c #Conflicts: 1832000 | #Constraints: 31828 2919.42/2931.01 c #Conflicts: 1833000 | #Constraints: 32828 2919.42/2931.01 c #Conflicts: 1834000 | #Constraints: 33828 2919.42/2931.01 c #Conflicts: 1835000 | #Constraints: 34828 2919.42/2931.01 c #Conflicts: 1836000 | #Constraints: 35828 2919.42/2931.01 c #Conflicts: 1837000 | #Constraints: 36828 2919.42/2931.01 c #Conflicts: 1838000 | #Constraints: 37828 2919.42/2931.01 c #Conflicts: 1839000 | #Constraints: 38828 2919.42/2931.01 c #Conflicts: 1840000 | #Constraints: 39828 2919.42/2931.01 c #Conflicts: 1841000 | #Constraints: 40828 2919.42/2931.01 c #Conflicts: 1842000 | #Constraints: 41828 2919.42/2931.01 c #Conflicts: 1843000 | #Constraints: 42828 2919.42/2931.01 c #Conflicts: 1844000 | #Constraints: 43828 2919.42/2931.01 c #Conflicts: 1845000 | #Constraints: 44829 2919.42/2931.01 c #Conflicts: 1846000 | #Constraints: 45829 2919.42/2931.01 c #Conflicts: 1847000 | #Constraints: 46829 2919.42/2931.01 c #Conflicts: 1848000 | #Constraints: 47829 2919.42/2931.01 c #Conflicts: 1849000 | #Constraints: 48829 2919.42/2931.01 c #Conflicts: 1850000 | #Constraints: 49829 2919.42/2931.01 c #Conflicts: 1851000 | #Constraints: 50829 2919.42/2931.01 c #Conflicts: 1852000 | #Constraints: 51829 2919.42/2931.01 c #Conflicts: 1853000 | #Constraints: 52829 2919.42/2931.01 c #Conflicts: 1854000 | #Constraints: 53829 2919.42/2931.01 c INPROCESSING 2919.42/2931.01 c GARBAGE COLLECT 2919.42/2931.01 c rational objective 0 2978.45/2990.16 c #Conflicts: 1855000 | #Constraints: 27829 2978.45/2990.16 c #Conflicts: 1856000 | #Constraints: 28829 2978.45/2990.16 c #Conflicts: 1857000 | #Constraints: 29829 2978.45/2990.16 c #Conflicts: 1858000 | #Constraints: 30829 2978.45/2990.16 c #Conflicts: 1859000 | #Constraints: 31829 2978.45/2990.16 c #Conflicts: 1860000 | #Constraints: 32829 2978.45/2990.16 c #Conflicts: 1861000 | #Constraints: 33829 2978.45/2990.16 c #Conflicts: 1862000 | #Constraints: 34829 2978.45/2990.16 c #Conflicts: 1863000 | #Constraints: 35829 2978.45/2990.16 c #Conflicts: 1864000 | #Constraints: 36829 2978.45/2990.16 c #Conflicts: 1865000 | #Constraints: 37829 2978.45/2990.16 c #Conflicts: 1866000 | #Constraints: 38829 2978.45/2990.16 c #Conflicts: 1867000 | #Constraints: 39829 2978.45/2990.16 c #Conflicts: 1868000 | #Constraints: 40829 2978.45/2990.16 c #Conflicts: 1869000 | #Constraints: 41829 2978.45/2990.16 c #Conflicts: 1870000 | #Constraints: 42829 2978.45/2990.16 c #Conflicts: 1871000 | #Constraints: 43829 2978.45/2990.16 c #Conflicts: 1872000 | #Constraints: 44829 2978.45/2990.16 c #Conflicts: 1873000 | #Constraints: 45829 2978.45/2990.16 c #Conflicts: 1874000 | #Constraints: 46829 2978.45/2990.16 c #Conflicts: 1875000 | #Constraints: 47829 2978.45/2990.16 c #Conflicts: 1876000 | #Constraints: 48829 2978.45/2990.16 c #Conflicts: 1877000 | #Constraints: 49829 2978.45/2990.16 c #Conflicts: 1878000 | #Constraints: 50829 2978.45/2990.16 c #Conflicts: 1879000 | #Constraints: 51829 2978.45/2990.16 c #Conflicts: 1880000 | #Constraints: 52830 2978.45/2990.16 c #Conflicts: 1881000 | #Constraints: 53830 2978.45/2990.16 c INPROCESSING 2978.45/2990.16 c GARBAGE COLLECT 2978.45/2990.16 c rational objective 0 3037.16/3049.08 c #Conflicts: 1882000 | #Constraints: 27628 3037.16/3049.08 c #Conflicts: 1883000 | #Constraints: 28628 3037.16/3049.08 c #Conflicts: 1884000 | #Constraints: 29628 3037.16/3049.08 c #Conflicts: 1885000 | #Constraints: 30628 3037.16/3049.08 c #Conflicts: 1886000 | #Constraints: 31628 3037.16/3049.08 c #Conflicts: 1887000 | #Constraints: 32628 3037.16/3049.08 c #Conflicts: 1888000 | #Constraints: 33628 3037.16/3049.08 c #Conflicts: 1889000 | #Constraints: 34628 3037.16/3049.08 c #Conflicts: 1890000 | #Constraints: 35628 3037.16/3049.08 c #Conflicts: 1891000 | #Constraints: 36628 3037.16/3049.08 c #Conflicts: 1892000 | #Constraints: 37628 3037.16/3049.08 c #Conflicts: 1893000 | #Constraints: 38628 3037.16/3049.08 c #Conflicts: 1894000 | #Constraints: 39628 3037.16/3049.08 c #Conflicts: 1895000 | #Constraints: 40628 3037.16/3049.08 c #Conflicts: 1896000 | #Constraints: 41628 3037.16/3049.08 c #Conflicts: 1897000 | #Constraints: 42628 3037.16/3049.08 c #Conflicts: 1898000 | #Constraints: 43628 3037.16/3049.08 c #Conflicts: 1899000 | #Constraints: 44628 3037.16/3049.08 c #Conflicts: 1900000 | #Constraints: 45628 3037.16/3049.08 c #Conflicts: 1901000 | #Constraints: 46628 3037.16/3049.08 c #Conflicts: 1902000 | #Constraints: 47628 3037.16/3049.08 c #Conflicts: 1903000 | #Constraints: 48628 3037.16/3049.08 c #Conflicts: 1904000 | #Constraints: 49628 3037.16/3049.08 c #Conflicts: 1905000 | #Constraints: 50628 3037.16/3049.08 c #Conflicts: 1906000 | #Constraints: 51628 3037.16/3049.08 c #Conflicts: 1907000 | #Constraints: 52628 3037.16/3049.08 c #Conflicts: 1908000 | #Constraints: 53628 3037.16/3049.08 c #Conflicts: 1909000 | #Constraints: 54628 3037.16/3049.08 c INPROCESSING 3037.16/3049.08 c GARBAGE COLLECT 3037.16/3049.08 c rational objective 0 3097.25/3109.35 c #Conflicts: 1910000 | #Constraints: 28226 3097.25/3109.35 c #Conflicts: 1911000 | #Constraints: 29226 3097.25/3109.35 c #Conflicts: 1912000 | #Constraints: 30226 3097.25/3109.35 c #Conflicts: 1913000 | #Constraints: 31226 3097.25/3109.35 c #Conflicts: 1914000 | #Constraints: 32226 3097.25/3109.35 c #Conflicts: 1915000 | #Constraints: 33226 3097.25/3109.35 c #Conflicts: 1916000 | #Constraints: 34226 3097.25/3109.35 c #Conflicts: 1917000 | #Constraints: 35226 3097.25/3109.35 c #Conflicts: 1918000 | #Constraints: 36226 3097.25/3109.35 c #Conflicts: 1919000 | #Constraints: 37227 3097.25/3109.35 c #Conflicts: 1920000 | #Constraints: 38227 3097.25/3109.35 c #Conflicts: 1921000 | #Constraints: 39227 3097.25/3109.35 c #Conflicts: 1922000 | #Constraints: 40227 3097.25/3109.35 c #Conflicts: 1923000 | #Constraints: 41227 3097.25/3109.35 c #Conflicts: 1924000 | #Constraints: 42227 3097.25/3109.35 c #Conflicts: 1925000 | #Constraints: 43227 3097.25/3109.35 c #Conflicts: 1926000 | #Constraints: 44227 3097.25/3109.35 c #Conflicts: 1927000 | #Constraints: 45227 3097.25/3109.35 c #Conflicts: 1928000 | #Constraints: 46227 3097.25/3109.35 c #Conflicts: 1929000 | #Constraints: 47227 3097.25/3109.35 c #Conflicts: 1930000 | #Constraints: 48227 3097.25/3109.35 c #Conflicts: 1931000 | #Constraints: 49227 3097.25/3109.35 c #Conflicts: 1932000 | #Constraints: 50227 3097.25/3109.35 c #Conflicts: 1933000 | #Constraints: 51227 3097.25/3109.35 c #Conflicts: 1934000 | #Constraints: 52227 3097.25/3109.35 c #Conflicts: 1935000 | #Constraints: 53227 3097.25/3109.35 c #Conflicts: 1936000 | #Constraints: 54227 3097.25/3109.35 c #Conflicts: 1937000 | #Constraints: 55227 3097.25/3109.35 c INPROCESSING 3097.25/3109.35 c GARBAGE COLLECT 3097.25/3109.35 c rational objective 0 3157.96/3170.26 c #Conflicts: 1938000 | #Constraints: 28626 3157.96/3170.26 c #Conflicts: 1939000 | #Constraints: 29626 3157.96/3170.26 c #Conflicts: 1940000 | #Constraints: 30626 3157.96/3170.26 c #Conflicts: 1941000 | #Constraints: 31626 3157.96/3170.26 c #Conflicts: 1942000 | #Constraints: 32626 3157.96/3170.26 c #Conflicts: 1943000 | #Constraints: 33626 3157.96/3170.26 c #Conflicts: 1944000 | #Constraints: 34626 3157.96/3170.26 c #Conflicts: 1945000 | #Constraints: 35626 3157.96/3170.26 c #Conflicts: 1946000 | #Constraints: 36626 3157.96/3170.26 c #Conflicts: 1947000 | #Constraints: 37626 3157.96/3170.26 c #Conflicts: 1948000 | #Constraints: 38626 3157.96/3170.26 c #Conflicts: 1949000 | #Constraints: 39626 3157.96/3170.26 c #Conflicts: 1950000 | #Constraints: 40626 3157.96/3170.26 c #Conflicts: 1951000 | #Constraints: 41626 3157.96/3170.26 c #Conflicts: 1952000 | #Constraints: 42626 3157.96/3170.26 c #Conflicts: 1953000 | #Constraints: 43626 3157.96/3170.26 c #Conflicts: 1954000 | #Constraints: 44626 3157.96/3170.26 c #Conflicts: 1955000 | #Constraints: 45626 3157.96/3170.26 c #Conflicts: 1956000 | #Constraints: 46626 3157.96/3170.26 c #Conflicts: 1957000 | #Constraints: 47626 3157.96/3170.26 c #Conflicts: 1958000 | #Constraints: 48626 3157.96/3170.26 c #Conflicts: 1959000 | #Constraints: 49626 3157.96/3170.26 c #Conflicts: 1960000 | #Constraints: 50626 3157.96/3170.26 c #Conflicts: 1961000 | #Constraints: 51626 3157.96/3170.26 c #Conflicts: 1962000 | #Constraints: 52626 3157.96/3170.26 c #Conflicts: 1963000 | #Constraints: 53626 3157.96/3170.26 c #Conflicts: 1964000 | #Constraints: 54626 3157.96/3170.26 c #Conflicts: 1965000 | #Constraints: 55626 3157.96/3170.26 c INPROCESSING 3157.96/3170.26 c GARBAGE COLLECT 3157.96/3170.26 c rational objective 0 3219.67/3232.18 c #Conflicts: 1966000 | #Constraints: 28828 3219.67/3232.18 c #Conflicts: 1967000 | #Constraints: 29828 3219.67/3232.18 c #Conflicts: 1968000 | #Constraints: 30828 3219.67/3232.18 c #Conflicts: 1969000 | #Constraints: 31828 3219.67/3232.18 c #Conflicts: 1970000 | #Constraints: 32828 3219.67/3232.18 c #Conflicts: 1971000 | #Constraints: 33828 3219.67/3232.18 c #Conflicts: 1972000 | #Constraints: 34828 3219.67/3232.18 c #Conflicts: 1973000 | #Constraints: 35828 3219.67/3232.18 c #Conflicts: 1974000 | #Constraints: 36828 3219.67/3232.18 c #Conflicts: 1975000 | #Constraints: 37828 3219.67/3232.18 c #Conflicts: 1976000 | #Constraints: 38828 3219.67/3232.18 c #Conflicts: 1977000 | #Constraints: 39828 3219.67/3232.18 c #Conflicts: 1978000 | #Constraints: 40828 3219.67/3232.18 c #Conflicts: 1979000 | #Constraints: 41828 3219.67/3232.18 c #Conflicts: 1980000 | #Constraints: 42828 3219.67/3232.18 c #Conflicts: 1981000 | #Constraints: 43828 3219.67/3232.18 c #Conflicts: 1982000 | #Constraints: 44828 3219.67/3232.18 c #Conflicts: 1983000 | #Constraints: 45828 3219.67/3232.18 c #Conflicts: 1984000 | #Constraints: 46828 3219.67/3232.18 c #Conflicts: 1985000 | #Constraints: 47828 3219.67/3232.18 c #Conflicts: 1986000 | #Constraints: 48828 3219.67/3232.18 c #Conflicts: 1987000 | #Constraints: 49828 3219.67/3232.18 c #Conflicts: 1988000 | #Constraints: 50828 3219.67/3232.18 c #Conflicts: 1989000 | #Constraints: 51828 3219.67/3232.18 c #Conflicts: 1990000 | #Constraints: 52828 3219.67/3232.18 c #Conflicts: 1991000 | #Constraints: 53828 3219.67/3232.18 c #Conflicts: 1992000 | #Constraints: 54828 3219.67/3232.18 c #Conflicts: 1993000 | #Constraints: 55828 3219.67/3232.18 c INPROCESSING 3219.67/3232.18 c GARBAGE COLLECT 3219.67/3232.18 c rational objective 0 3281.76/3294.47 c #Conflicts: 1994000 | #Constraints: 28828 3281.76/3294.47 c #Conflicts: 1995000 | #Constraints: 29828 3281.76/3294.47 c #Conflicts: 1996000 | #Constraints: 30828 3281.76/3294.47 c #Conflicts: 1997000 | #Constraints: 31828 3281.76/3294.47 c #Conflicts: 1998000 | #Constraints: 32828 3281.76/3294.47 c #Conflicts: 1999000 | #Constraints: 33828 3281.76/3294.47 c #Conflicts: 2000000 | #Constraints: 34828 3281.76/3294.47 c #Conflicts: 2001000 | #Constraints: 35828 3281.76/3294.47 c #Conflicts: 2002000 | #Constraints: 36828 3281.76/3294.47 c #Conflicts: 2003000 | #Constraints: 37828 3281.76/3294.47 c #Conflicts: 2004000 | #Constraints: 38828 3281.76/3294.47 c #Conflicts: 2005000 | #Constraints: 39828 3281.76/3294.47 c #Conflicts: 2006000 | #Constraints: 40828 3281.76/3294.47 c #Conflicts: 2007000 | #Constraints: 41828 3281.76/3294.47 c #Conflicts: 2008000 | #Constraints: 42828 3281.76/3294.47 c #Conflicts: 2009000 | #Constraints: 43828 3281.76/3294.47 c #Conflicts: 2010000 | #Constraints: 44828 3281.76/3294.47 c #Conflicts: 2011000 | #Constraints: 45828 3281.76/3294.47 c #Conflicts: 2012000 | #Constraints: 46828 3281.76/3294.47 c #Conflicts: 2013000 | #Constraints: 47828 3281.76/3294.47 c #Conflicts: 2014000 | #Constraints: 48828 3281.76/3294.47 c #Conflicts: 2015000 | #Constraints: 49828 3281.76/3294.47 c #Conflicts: 2016000 | #Constraints: 50828 3281.76/3294.47 c #Conflicts: 2017000 | #Constraints: 51828 3281.76/3294.47 c #Conflicts: 2018000 | #Constraints: 52828 3281.76/3294.47 c #Conflicts: 2019000 | #Constraints: 53828 3281.76/3294.47 c #Conflicts: 2020000 | #Constraints: 54828 3281.76/3294.47 c #Conflicts: 2021000 | #Constraints: 55828 3281.76/3294.47 c INPROCESSING 3281.76/3294.47 c GARBAGE COLLECT 3281.76/3294.47 c rational objective 0 3344.06/3356.94 c #Conflicts: 2022000 | #Constraints: 28628 3344.06/3356.94 c #Conflicts: 2023000 | #Constraints: 29628 3344.06/3356.94 c #Conflicts: 2024000 | #Constraints: 30628 3344.06/3356.94 c #Conflicts: 2025000 | #Constraints: 31628 3344.06/3356.94 c #Conflicts: 2026000 | #Constraints: 32628 3344.06/3356.94 c #Conflicts: 2027000 | #Constraints: 33628 3344.06/3356.94 c #Conflicts: 2028000 | #Constraints: 34628 3344.06/3356.94 c #Conflicts: 2029000 | #Constraints: 35628 3344.06/3356.94 c #Conflicts: 2030000 | #Constraints: 36628 3344.06/3356.94 c #Conflicts: 2031000 | #Constraints: 37628 3344.06/3356.94 c #Conflicts: 2032000 | #Constraints: 38628 3344.06/3356.94 c #Conflicts: 2033000 | #Constraints: 39628 3344.06/3356.94 c #Conflicts: 2034000 | #Constraints: 40628 3344.06/3356.94 c #Conflicts: 2035000 | #Constraints: 41628 3344.06/3356.94 c #Conflicts: 2036000 | #Constraints: 42628 3344.06/3356.94 c #Conflicts: 2037000 | #Constraints: 43628 3344.06/3356.94 c #Conflicts: 2038000 | #Constraints: 44628 3344.06/3356.94 c #Conflicts: 2039000 | #Constraints: 45628 3344.06/3356.94 c #Conflicts: 2040000 | #Constraints: 46628 3344.06/3356.94 c #Conflicts: 2041000 | #Constraints: 47628 3344.06/3356.94 c #Conflicts: 2042000 | #Constraints: 48628 3344.06/3356.94 c #Conflicts: 2043000 | #Constraints: 49628 3344.06/3356.94 c #Conflicts: 2044000 | #Constraints: 50628 3344.06/3356.94 c #Conflicts: 2045000 | #Constraints: 51628 3344.06/3356.94 c #Conflicts: 2046000 | #Constraints: 52628 3344.06/3356.94 c #Conflicts: 2047000 | #Constraints: 53628 3344.06/3356.94 c #Conflicts: 2048000 | #Constraints: 54628 3344.06/3356.94 c #Conflicts: 2049000 | #Constraints: 55628 3344.06/3356.94 c #Conflicts: 2050000 | #Constraints: 56628 3344.06/3356.94 c INPROCESSING 3344.06/3356.94 c GARBAGE COLLECT 3344.06/3356.94 c rational objective 0 3408.95/3422.07 c #Conflicts: 2051000 | #Constraints: 29227 3408.95/3422.07 c #Conflicts: 2052000 | #Constraints: 30227 3408.95/3422.07 c #Conflicts: 2053000 | #Constraints: 31227 3408.95/3422.07 c #Conflicts: 2054000 | #Constraints: 32227 3408.95/3422.07 c #Conflicts: 2055000 | #Constraints: 33227 3408.95/3422.07 c #Conflicts: 2056000 | #Constraints: 34227 3408.95/3422.07 c #Conflicts: 2057000 | #Constraints: 35227 3408.95/3422.07 c #Conflicts: 2058000 | #Constraints: 36227 3408.95/3422.07 c #Conflicts: 2059000 | #Constraints: 37227 3408.95/3422.07 c #Conflicts: 2060000 | #Constraints: 38227 3408.95/3422.07 c #Conflicts: 2061000 | #Constraints: 39227 3408.95/3422.07 c #Conflicts: 2062000 | #Constraints: 40227 3408.95/3422.07 c #Conflicts: 2063000 | #Constraints: 41227 3408.95/3422.07 c #Conflicts: 2064000 | #Constraints: 42227 3408.95/3422.07 c #Conflicts: 2065000 | #Constraints: 43227 3408.95/3422.07 c #Conflicts: 2066000 | #Constraints: 44227 3408.95/3422.07 c #Conflicts: 2067000 | #Constraints: 45227 3408.95/3422.07 c #Conflicts: 2068000 | #Constraints: 46227 3408.95/3422.07 c #Conflicts: 2069000 | #Constraints: 47227 3408.95/3422.07 c #Conflicts: 2070000 | #Constraints: 48227 3408.95/3422.07 c #Conflicts: 2071000 | #Constraints: 49227 3408.95/3422.07 c #Conflicts: 2072000 | #Constraints: 50227 3408.95/3422.07 c #Conflicts: 2073000 | #Constraints: 51227 3408.95/3422.07 c #Conflicts: 2074000 | #Constraints: 52227 3408.95/3422.07 c #Conflicts: 2075000 | #Constraints: 53227 3408.95/3422.07 c #Conflicts: 2076000 | #Constraints: 54227 3408.95/3422.07 c #Conflicts: 2077000 | #Constraints: 55227 3408.95/3422.07 c #Conflicts: 2078000 | #Constraints: 56227 3408.95/3422.07 c #Conflicts: 2079000 | #Constraints: 57227 3408.95/3422.07 c INPROCESSING 3408.95/3422.07 c GARBAGE COLLECT 3408.95/3422.07 c rational objective 0 3473.14/3486.46 c #Conflicts: 2080000 | #Constraints: 29628 3473.14/3486.46 c #Conflicts: 2081000 | #Constraints: 30628 3473.14/3486.46 c #Conflicts: 2082000 | #Constraints: 31628 3473.14/3486.46 c #Conflicts: 2083000 | #Constraints: 32628 3473.14/3486.46 c #Conflicts: 2084000 | #Constraints: 33628 3473.14/3486.46 c #Conflicts: 2085000 | #Constraints: 34628 3473.14/3486.46 c #Conflicts: 2086000 | #Constraints: 35629 3473.14/3486.46 c #Conflicts: 2087000 | #Constraints: 36629 3473.14/3486.46 c #Conflicts: 2088000 | #Constraints: 37629 3473.14/3486.46 c #Conflicts: 2089000 | #Constraints: 38629 3473.14/3486.46 c #Conflicts: 2090000 | #Constraints: 39629 3473.14/3486.46 c #Conflicts: 2091000 | #Constraints: 40629 3473.14/3486.46 c #Conflicts: 2092000 | #Constraints: 41629 3473.14/3486.46 c #Conflicts: 2093000 | #Constraints: 42629 3473.14/3486.46 c #Conflicts: 2094000 | #Constraints: 43629 3473.14/3486.46 c #Conflicts: 2095000 | #Constraints: 44629 3473.14/3486.46 c #Conflicts: 2096000 | #Constraints: 45629 3473.14/3486.46 c #Conflicts: 2097000 | #Constraints: 46629 3473.14/3486.46 c #Conflicts: 2098000 | #Constraints: 47629 3473.14/3486.46 c #Conflicts: 2099000 | #Constraints: 48629 3473.14/3486.46 c #Conflicts: 2100000 | #Constraints: 49629 3473.14/3486.46 c #Conflicts: 2101000 | #Constraints: 50629 3473.14/3486.46 c #Conflicts: 2102000 | #Constraints: 51629 3473.14/3486.46 c #Conflicts: 2103000 | #Constraints: 52629 3473.14/3486.46 c #Conflicts: 2104000 | #Constraints: 53629 3473.14/3486.46 c #Conflicts: 2105000 | #Constraints: 54629 3473.14/3486.46 c #Conflicts: 2106000 | #Constraints: 55629 3473.14/3486.46 c #Conflicts: 2107000 | #Constraints: 56629 3473.14/3486.46 c #Conflicts: 2108000 | #Constraints: 57629 3473.14/3486.46 c INPROCESSING 3473.14/3486.46 c GARBAGE COLLECT 3473.14/3486.46 c rational objective 0 3539.71/3553.24 c #Conflicts: 2109000 | #Constraints: 29828 3539.71/3553.24 c #Conflicts: 2110000 | #Constraints: 30828 3539.71/3553.24 c #Conflicts: 2111000 | #Constraints: 31828 3539.71/3553.24 c #Conflicts: 2112000 | #Constraints: 32828 3539.71/3553.24 c #Conflicts: 2113000 | #Constraints: 33828 3539.71/3553.24 c #Conflicts: 2114000 | #Constraints: 34828 3539.71/3553.24 c #Conflicts: 2115000 | #Constraints: 35828 3539.71/3553.24 c #Conflicts: 2116000 | #Constraints: 36828 3539.71/3553.24 c #Conflicts: 2117000 | #Constraints: 37828 3539.71/3553.24 c #Conflicts: 2118000 | #Constraints: 38828 3539.71/3553.24 c #Conflicts: 2119000 | #Constraints: 39828 3539.71/3553.24 c #Conflicts: 2120000 | #Constraints: 40828 3539.71/3553.24 c #Conflicts: 2121000 | #Constraints: 41828 3539.71/3553.24 c #Conflicts: 2122000 | #Constraints: 42828 3539.71/3553.24 c #Conflicts: 2123000 | #Constraints: 43828 3539.71/3553.24 c #Conflicts: 2124000 | #Constraints: 44829 3539.71/3553.24 c #Conflicts: 2125000 | #Constraints: 45829 3539.71/3553.24 c #Conflicts: 2126000 | #Constraints: 46829 3539.71/3553.24 c #Conflicts: 2127000 | #Constraints: 47829 3539.71/3553.24 c #Conflicts: 2128000 | #Constraints: 48829 3539.71/3553.24 c #Conflicts: 2129000 | #Constraints: 49829 3539.71/3553.24 c #Conflicts: 2130000 | #Constraints: 50829 3539.71/3553.24 c #Conflicts: 2131000 | #Constraints: 51829 3539.71/3553.24 c #Conflicts: 2132000 | #Constraints: 52829 3539.71/3553.24 c #Conflicts: 2133000 | #Constraints: 53829 3539.71/3553.24 c #Conflicts: 2134000 | #Constraints: 54829 3539.71/3553.24 c #Conflicts: 2135000 | #Constraints: 55829 3539.71/3553.24 c #Conflicts: 2136000 | #Constraints: 56829 3539.71/3553.24 c #Conflicts: 2137000 | #Constraints: 57829 3539.71/3553.24 c INPROCESSING 3539.71/3553.24 c GARBAGE COLLECT 3539.71/3553.24 c rational objective 0 3600.00/3613.70 c #Conflicts: 2138000 | #Constraints: 29828 3600.00/3613.70 c #Conflicts: 2139000 | #Constraints: 30828 3600.00/3613.70 c #Conflicts: 2140000 | #Constraints: 31828 3600.00/3613.70 c #Conflicts: 2141000 | #Constraints: 32828 3600.00/3613.70 c #Conflicts: 2142000 | #Constraints: 33828 3600.00/3613.70 c #Conflicts: 2143000 | #Constraints: 34828 3600.00/3613.70 c #Conflicts: 2144000 | #Constraints: 35828 3600.00/3613.70 c #Conflicts: 2145000 | #Constraints: 36828 3600.00/3613.70 c #Conflicts: 2146000 | #Constraints: 37828 3600.00/3613.70 c #Conflicts: 2147000 | #Constraints: 38828 3600.00/3613.70 c #Conflicts: 2148000 | #Constraints: 39828 3600.00/3613.70 c #Conflicts: 2149000 | #Constraints: 40828 3600.00/3613.70 c #Conflicts: 2150000 | #Constraints: 41828 3600.00/3613.70 c #Conflicts: 2151000 | #Constraints: 42828 3600.00/3613.70 c #Conflicts: 2152000 | #Constraints: 43828 3600.00/3613.70 c #Conflicts: 2153000 | #Constraints: 44828 3600.00/3613.70 c #Conflicts: 2154000 | #Constraints: 45828 3600.00/3613.70 c #Conflicts: 2155000 | #Constraints: 46828 3600.00/3613.70 c #Conflicts: 2156000 | #Constraints: 47828 3600.00/3613.70 c #Conflicts: 2157000 | #Constraints: 48828 3600.00/3613.70 c #Conflicts: 2158000 | #Constraints: 49828 3600.00/3613.70 c #Conflicts: 2159000 | #Constraints: 50828 3600.00/3613.70 c #Conflicts: 2160000 | #Constraints: 51828 3600.00/3613.70 c #Conflicts: 2161000 | #Constraints: 52828 3600.00/3613.70 c #Conflicts: 2162000 | #Constraints: 53828 3600.00/3613.70 c #Conflicts: 2163000 | #Constraints: 54828 3600.00/3613.70 c Program interrupted by user. 3600.00/3613.73 c cpu time 3572.91 s 3600.00/3613.73 c deterministic time 526552945713 5.27e+11 3600.00/3613.73 c optimization time 59.9186 s 3600.00/3613.73 c total solve time 3512.99 s 3600.00/3613.73 c core-guided solve time 1739.23 s 3600.00/3613.73 c propagation time 3298.78 s 3600.00/3613.73 c conflict analysis time 247.423 s 3600.00/3613.73 c propagations 30870289 3600.00/3613.73 c resolve steps 12931338 3600.00/3613.73 c decisions 3130688 3600.00/3613.73 c conflicts 2163913 3600.00/3613.73 c restarts 4093 3600.00/3613.73 c inprocessing phases 137 3600.00/3613.73 c input clauses 1 3600.00/3613.73 c input cardinalities 0 3600.00/3613.73 c input general constraints 10 3600.00/3613.73 c input average constraint length 35.91 3600.00/3613.73 c input average constraint degree 915.45 3600.00/3613.73 c learned clauses 1262976 3600.00/3613.73 c learned cardinalities 3 3600.00/3613.73 c learned general constraints 901073 3600.00/3613.73 c learned average constraint length 22.59 3600.00/3613.73 c learned average constraint degree 453524193.36 3600.00/3613.73 c watched constraints 860005 3600.00/3613.73 c counting constraints 41078 3600.00/3613.73 c gcd simplifications 1176462 3600.00/3613.73 c detected cardinalities 3 3600.00/3613.73 c weakened non-implied lits 17848314 3600.00/3613.73 c weakened non-implying lits 329599 3600.00/3613.73 c original variables 41 3600.00/3613.73 c clausal propagations 396892 3600.00/3613.73 c cardinality propagations 0 3600.00/3613.73 c watched propagations 6437243 3600.00/3613.73 c counting propagations 22319669 3600.00/3613.73 c watch lookups 54357630244 3600.00/3613.73 c watch backjump lookups 32862689489 3600.00/3613.73 c watch checks 344914321616 3600.00/3613.73 c propagation checks 93845185201 3600.00/3613.73 c constraint additions 500789542 3600.00/3613.73 c trail pops 36164711 3600.00/3613.73 c formula constraints 11 3600.00/3613.73 c learned constraints 2163772 3600.00/3613.73 c bound constraints 0 3600.00/3613.73 c core-guided constraints 0 3600.00/3613.73 c encountered formula constraints 71458 3600.00/3613.73 c encountered learned constraints 5814805 3600.00/3613.73 c encountered bound constraints 0 3600.00/3613.73 c encountered core-guided constraints 0 3600.00/3613.73 c LP total time 34.7103 s 3600.00/3613.73 c LP solve time 28.91 s 3600.00/3613.73 c LP constraints added 89 3600.00/3613.73 c LP constraints removed 78 3600.00/3613.73 c LP pivots internal 2163916 3600.00/3613.73 c LP pivots root 16 3600.00/3613.73 c LP calls 339566 3600.00/3613.73 c LP optimalities 339426 3600.00/3613.73 c LP no pivot count 47285 3600.00/3613.73 c LP infeasibilities 140 3600.00/3613.73 c LP valid Farkas constraints 140 3600.00/3613.73 c LP learned Farkas constraints 140 3600.00/3613.73 c LP basis resets 0 3600.00/3613.73 c LP cycling count 0 3600.00/3613.73 c LP singular count 0 3600.00/3613.73 c LP no primal count 0 3600.00/3613.73 c LP no farkas count 0 3600.00/3613.73 c LP other issue count 0 3600.00/3613.73 c LP Gomory cuts 0 3600.00/3613.73 c LP learned cuts 78 3600.00/3613.73 c LP deleted cuts 78 3600.00/3613.73 c LP encountered Gomory constraints 0 3600.00/3613.73 c LP encountered Farkas constraints 8913238 3600.00/3613.73 c LP encountered learned Farkas constraints 295610 3600.00/3613.73 c CG auxiliary variables introduced 0 3600.00/3613.73 c CG solutions found 0 3600.00/3613.73 c CG cores constructed 0 3600.00/3613.73 c CG core cardinality constraints returned 0 3600.00/3613.73 c CG unit cores 0 3600.00/3613.73 c CG single cores 0 3600.00/3613.73 c CG blocks removed during cardinality reduction 0 3600.00/3613.73 c CG first core best 0 3600.00/3613.73 c CG decision core best 0 3600.00/3613.73 c CG core reduction tie 0 3600.00/3613.73 c CG core degree average 0.00 3600.00/3613.73 c CG core slack average 0.00 3600.00/3613.73 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (408 MiB free)
memory of node 1: 64510 MiB (8718 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456777-1721772837/watcher-4456777-1721772837 -o /tmp/evaluation-result-4456777-1721772837/solver-4456777-1721772837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124352 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456777-1721772837 --lp-cut-gomory=0 HOME/instance-4456777-1721772837.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=129817, runsolver pid=129814
[startup+0.100923 s]*
/proc/loadavg: 4.27 4.23 4.19 5/267 129818
/proc/meminfo: memFree=9341936/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=37764 memory=10224 CPUtime=0.1 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 377 0 0 0 9 1 0 0 20 0 1 0 13273289 38670336 2556 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 9441 2556 1880 992 0 1299 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 10224 KiB
[startup+0.214531 s]*
/proc/loadavg: 4.27 4.23 4.19 5/267 129818
/proc/meminfo: memFree=9340832/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=37892 memory=10396 CPUtime=0.21 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 417 0 0 0 18 3 0 0 20 0 1 0 13273289 38801408 2599 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 9473 2599 1880 992 0 1331 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 10396 KiB
[startup+0.314296 s]*
/proc/loadavg: 4.27 4.23 4.19 5/267 129818
/proc/meminfo: memFree=9340052/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=38020 memory=10524 CPUtime=0.31 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 434 0 0 0 28 3 0 0 20 0 1 0 13273289 38932480 2631 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 9505 2631 1880 992 0 1363 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38020 KiB
Current children cumulated memory: 10524 KiB
[startup+0.700314 s]
/proc/loadavg: 4.27 4.23 4.19 5/267 129818
/proc/meminfo: memFree=9338288/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=38156 memory=10524 CPUtime=0.68 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 478 0 0 0 63 5 0 0 20 0 1 0 13273289 39071744 2631 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 9539 2631 1880 992 0 1397 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 10524 KiB
[startup+1.50031 s]
/proc/loadavg: 4.27 4.23 4.19 5/267 129818
/proc/meminfo: memFree=9335056/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=38436 memory=10784 CPUtime=1.47 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 544 0 0 0 139 8 0 0 20 0 1 0 13273289 39358464 2696 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 9609 2696 1880 992 0 1467 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 10784 KiB
[startup+3.11424 s]
/proc/loadavg: 4.27 4.23 4.19 5/267 129818
/proc/meminfo: memFree=9318352/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=38964 memory=11496 CPUtime=3.09 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 667 0 0 0 294 15 0 0 20 0 1 0 13273289 39899136 2874 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 9741 2874 1880 992 0 1599 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 38964 KiB
Current children cumulated memory: 11496 KiB
[startup+6.30027 s]
/proc/loadavg: 4.25 4.23 4.19 5/267 129818
/proc/meminfo: memFree=9297488/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=39204 memory=11748 CPUtime=6.25 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 732 0 0 0 602 23 0 0 20 0 1 0 13273289 40144896 2937 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 9801 2937 1880 992 0 1659 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 39204 KiB
Current children cumulated memory: 11748 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.22 4.19 5/267 129820
/proc/meminfo: memFree=9260884/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=39620 memory=12068 CPUtime=12.63 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 870 0 0 0 1223 40 0 0 20 0 1 0 13273289 40570880 3017 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 9905 3017 1880 992 0 1763 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 39620 KiB
Current children cumulated memory: 12068 KiB
[startup+25.5003 s]
/proc/loadavg: 4.34 4.24 4.20 5/267 129868
/proc/meminfo: memFree=9514280/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=40132 memory=14716 CPUtime=25.39 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 1209 0 0 0 2467 72 0 0 20 0 1 0 13273289 41095168 3679 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 10033 3679 1880 992 0 1891 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 40132 KiB
Current children cumulated memory: 14716 KiB
[startup+51.1143 s]
/proc/loadavg: 4.22 4.22 4.19 7/268 129873
/proc/meminfo: memFree=8995364/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=40676 memory=15204 CPUtime=50.91 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 1689 0 0 0 4971 120 0 0 20 0 1 0 13273289 41652224 3801 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 10169 3801 1880 992 0 2027 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 40676 KiB
Current children cumulated memory: 15204 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/267 129882
/proc/meminfo: memFree=7595748/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=42148 memory=16496 CPUtime=101.92 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 2440 0 0 0 9994 198 0 0 20 0 1 0 13273289 43159552 4124 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 10537 4124 1880 992 0 2395 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 42148 KiB
Current children cumulated memory: 16496 KiB
[startup+162.3 s]
/proc/loadavg: 4.36 4.27 4.20 5/267 129892
/proc/meminfo: memFree=6706116/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=42484 memory=16932 CPUtime=161.7 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 3299 0 0 0 15882 288 0 0 20 0 1 0 13273289 43503616 4233 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 10621 4233 1880 992 0 2479 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 42484 KiB
Current children cumulated memory: 16932 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.22 4.19 5/261 129912
/proc/meminfo: memFree=4426248/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=45444 memory=17664 CPUtime=221.49 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 4317 0 0 0 21783 366 0 0 20 0 1 0 13273289 46534656 4416 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 11361 4416 1880 992 0 3219 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 45444 KiB
Current children cumulated memory: 17664 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.19 4.18 5/261 129924
/proc/meminfo: memFree=3263464/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=45380 memory=18060 CPUtime=281.27 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 5634 0 0 0 27696 431 0 0 20 0 1 0 13273289 46469120 4515 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 11345 4515 1880 992 0 3203 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 45380 KiB
Current children cumulated memory: 18060 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/270 129946
/proc/meminfo: memFree=1983608/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=45892 memory=18788 CPUtime=341.06 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 7109 0 0 0 33609 497 0 0 20 0 1 0 13273289 46993408 4697 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 11473 4697 1880 992 0 3331 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 45892 KiB
Current children cumulated memory: 18788 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/272 129960
/proc/meminfo: memFree=869176/131655788 swapFree=131071472/131071996
[pid=129817] ppid=129814 vsize=46916 memory=20060 CPUtime=400.84 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 8815 0 0 0 39527 557 0 0 20 0 1 0 13273289 48041984 5015 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 11729 5015 1880 992 0 3587 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 20060 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/272 129972
/proc/meminfo: memFree=534952/131655788 swapFree=131070960/131071996
[pid=129817] ppid=129814 vsize=47556 memory=20832 CPUtime=460.62 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 10412 0 0 0 45443 619 0 0 20 0 1 0 13273289 48697344 5208 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 11889 5208 1880 992 0 3747 0
################
# More data... #
################
Current children cumulated memory: 30968 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.28 4.27 5/263 131701
/proc/meminfo: memFree=608708/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=57184 memory=31056 CPUtime=2910.85 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 27478 0 0 0 288709 2376 0 0 20 0 1 0 13273289 58556416 7764 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 14296 7764 1880 992 0 6154 0
Current children cumulated CPU time: 2910.85 s
Current children cumulated vsize: 57184 KiB
Current children cumulated memory: 31056 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.24 4.26 5/263 131712
/proc/meminfo: memFree=648476/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=57440 memory=31676 CPUtime=2970.67 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 27746 0 0 0 294661 2406 0 0 20 0 1 0 13273289 58818560 7919 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 14360 7919 1880 992 0 6218 0
Current children cumulated CPU time: 2970.67 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 31676 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.24 4.26 5/266 131729
/proc/meminfo: memFree=553792/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=57440 memory=31680 CPUtime=3030.47 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 27862 0 0 0 300614 2433 0 0 20 0 1 0 13273289 58818560 7920 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 14360 7920 1880 992 0 6218 0
Current children cumulated CPU time: 3030.47 s
Current children cumulated vsize: 57440 KiB
Current children cumulated memory: 31680 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.24 4.26 5/262 131742
/proc/meminfo: memFree=578612/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=57444 memory=31684 CPUtime=3090.28 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 27976 0 0 0 306565 2463 0 0 20 0 1 0 13273289 58822656 7921 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 14361 7921 1880 992 0 6219 0
Current children cumulated CPU time: 3090.28 s
Current children cumulated vsize: 57444 KiB
Current children cumulated memory: 31684 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.21 4.24 5/269 131762
/proc/meminfo: memFree=651104/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=57700 memory=31940 CPUtime=3150.08 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 28154 0 0 0 312515 2493 0 0 20 0 1 0 13273289 59084800 7985 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 14425 7985 1880 992 0 6283 0
Current children cumulated CPU time: 3150.08 s
Current children cumulated vsize: 57700 KiB
Current children cumulated memory: 31940 KiB
[startup+3222.3 s]
/proc/loadavg: 4.32 4.25 4.25 5/272 131775
/proc/meminfo: memFree=496480/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=57740 memory=32016 CPUtime=3209.89 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 28288 0 0 0 318466 2523 0 0 20 0 1 0 13273289 59125760 8004 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 14435 8004 1880 992 0 6293 0
Current children cumulated CPU time: 3209.89 s
Current children cumulated vsize: 57740 KiB
Current children cumulated memory: 32016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.23 4.25 5/272 131786
/proc/meminfo: memFree=587756/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=64920 memory=32084 CPUtime=3269.69 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 28420 0 0 0 324416 2553 0 0 20 0 1 0 13273289 66478080 8021 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 16230 8021 1880 992 0 8088 0
Current children cumulated CPU time: 3269.69 s
Current children cumulated vsize: 64920 KiB
Current children cumulated memory: 32084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.22 4.24 5/272 131796
/proc/meminfo: memFree=574036/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=65140 memory=32448 CPUtime=3329.51 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 28626 0 0 0 330369 2582 0 0 20 0 1 0 13273289 66703360 8112 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 16285 8112 1880 992 0 8143 0
Current children cumulated CPU time: 3329.51 s
Current children cumulated vsize: 65140 KiB
Current children cumulated memory: 32448 KiB
[startup+3402.3 s]
/proc/loadavg: 3.74 4.10 4.20 4/266 131842
/proc/meminfo: memFree=51983952/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=65144 memory=33676 CPUtime=3389.3 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 28769 0 0 0 336321 2609 0 0 20 0 1 0 13273289 66707456 8419 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 16286 8419 1880 992 0 8144 0
Current children cumulated CPU time: 3389.3 s
Current children cumulated vsize: 65144 KiB
Current children cumulated memory: 33676 KiB
[startup+3462.3 s]
/proc/loadavg: 3.32 3.91 4.13 4/263 131853
/proc/meminfo: memFree=51719396/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=65400 memory=33932 CPUtime=3449.11 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 28950 0 0 0 342271 2640 0 0 20 0 1 0 13273289 66969600 8483 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 16350 8483 1880 992 0 8208 0
Current children cumulated CPU time: 3449.11 s
Current children cumulated vsize: 65400 KiB
Current children cumulated memory: 33932 KiB
[startup+3522.3 s]
/proc/loadavg: 3.18 3.76 4.06 4/242 131863
/proc/meminfo: memFree=51438476/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=66172 memory=34476 CPUtime=3508.91 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 29205 0 0 0 348224 2667 0 0 20 0 1 0 13273289 67760128 8619 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 16543 8619 1880 992 0 8401 0
Current children cumulated CPU time: 3508.91 s
Current children cumulated vsize: 66172 KiB
Current children cumulated memory: 34476 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.63 3.99 4/242 131874
/proc/meminfo: memFree=51148036/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=66940 memory=35016 CPUtime=3568.71 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 29459 0 0 0 354176 2695 0 0 20 0 1 0 13273289 68546560 8754 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 16735 8754 1880 992 0 8593 0
Current children cumulated CPU time: 3568.71 s
Current children cumulated vsize: 66940 KiB
Current children cumulated memory: 35016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.7 s]
/proc/loadavg: 3.14 3.59 3.97 4/241 131880
/proc/meminfo: memFree=51006308/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=66940 memory=35016 CPUtime=3600 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 29470 0 0 0 357291 2709 0 0 20 0 1 0 13273289 68546560 8754 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 16735 8754 1880 992 0 8593 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 66940 KiB
Current children cumulated memory: 35016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.73 s]
# the end of solver process 129817 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.91 s, system=27.1001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.7 s]
/proc/loadavg: 3.14 3.59 3.97 4/241 131880
/proc/meminfo: memFree=51006308/131655788 swapFree=131065036/131071996
[pid=129817] ppid=129814 vsize=66940 memory=35016 CPUtime=3600 cores=0,2
/proc/129817/stat : 129817 (roundingsat) R 129814 129817 124342 0 -1 4194304 29470 0 0 0 357291 2709 0 0 20 0 1 0 13273289 68546560 8754 134679101440 4194304 8254037 140728075620464 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32153600 140728075629404 140728075629666 140728075629666 140728075636681 0
/proc/129817/statm: 16735 8754 1880 992 0 8593 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 66940 KiB
Current children cumulated memory: 35016 KiB
Child status: 0
Real time (s): 3613.73
CPU time (s): 3600.01
CPU user time (s): 3572.91
CPU system time (s): 27.1001
CPU usage (%): 99.6203
Max. virtual memory (cumulated for all children) (KiB): 66940
Max. memory (cumulated for all children) (KiB): 35016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.91
system time used= 27.1001
maximum resident set size= 35220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9130856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1248
involuntary context switches= 25095
# summary of solver processes directly reported to runsolver:
# pid: 129817
# total CPU time (s): 3600.01
# total CPU user time (s): 3572.91
# total CPU system time (s): 27.1001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4561 second user time and 36.1917 second system time
The end
Begin job on nodeC010 at 2024-07-24 00:13:57 IDJOB=4456777 IDBENCH=147576 IDSOLVER=3085 FILE ID=nodeC010/4456777-1721772837 RUNJOBID= nodeC010-1721765593-124352 SLURM_JOB_ID= 7770665 Free space on /tmp= 723732 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.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-4456777-1721772837/watcher-4456777-1721772837 -o /tmp/evaluation-result-4456777-1721772837/solver-4456777-1721772837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124352 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456777-1721772837 --lp-cut-gomory=0 HOME/instance-4456777-1721772837.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 52024caa2fcec9d840e113a681eace59 RANDOM SEED=76681830 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1895.558 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3531.268 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.196 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.405 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.805 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3497.900 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.358 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.196 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 9346064 kB MemAvailable: 125678004 kB Buffers: 185308 kB Cached: 116590560 kB SwapCached: 0 kB Active: 1185868 kB Inactive: 120020788 kB Active(anon): 1640 kB Inactive(anon): 4475016 kB Active(file): 1184228 kB Inactive(file): 115545772 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 235700 kB Writeback: 0 kB AnonPages: 4424912 kB Mapped: 109148 kB Shmem: 45780 kB KReclaimable: 663684 kB Slab: 778584 kB SReclaimable: 663684 kB SUnreclaim: 114900 kB KernelStack: 4320 kB PageTables: 18344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 5361444 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18816 kB HardwareCorrupted: 0 kB AnonHugePages: 3102720 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: 357192 kB DirectMap2M: 46733312 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723756 MiB End job on nodeC010 at 2024-07-24 01:14:11