| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.04 | 3612.14 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_4.opb |
| MD5SUM | f08684a49e4744afc6bcc5ce80f1fe7b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 71 |
| Total number of constraints | 17 |
| 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 | 16 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 70 |
| 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 | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5644 |
| Number of bits of the biggest sum of numbers | 13 |
| 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 71 #constraints 17 0.00/0.00 c bounds - >= 0 @ 0.000277 0.00/0.00 c rational objective 0 0.20/0.29 c #Conflicts: 1000 | #Constraints: 1036 0.20/0.29 c #Conflicts: 2000 | #Constraints: 2050 0.20/0.29 c INPROCESSING 0.20/0.29 c GARBAGE COLLECT 0.20/0.29 c rational objective 0 0.69/0.73 c #Conflicts: 3000 | #Constraints: 2049 0.69/0.73 c #Conflicts: 4000 | #Constraints: 3058 0.69/0.73 c INPROCESSING 0.69/0.73 c GARBAGE COLLECT 0.69/0.73 c rational objective 0 1.28/1.34 c #Conflicts: 5000 | #Constraints: 2449 1.28/1.34 c #Conflicts: 6000 | #Constraints: 3454 1.28/1.34 c INPROCESSING 1.28/1.34 c GARBAGE COLLECT 1.28/1.34 c rational objective 0 2.09/2.13 c #Conflicts: 7000 | #Constraints: 2444 2.09/2.13 c #Conflicts: 8000 | #Constraints: 3448 2.09/2.13 c #Conflicts: 9000 | #Constraints: 4454 2.09/2.13 c INPROCESSING 2.09/2.13 c GARBAGE COLLECT 2.09/2.13 c rational objective 0 2.99/3.04 c #Conflicts: 10000 | #Constraints: 3143 2.99/3.04 c #Conflicts: 11000 | #Constraints: 4151 2.99/3.04 c #Conflicts: 12000 | #Constraints: 5159 2.99/3.04 c INPROCESSING 2.99/3.04 c GARBAGE COLLECT 2.99/3.04 c rational objective 0 3.88/3.99 c #Conflicts: 13000 | #Constraints: 3600 3.88/3.99 c #Conflicts: 14000 | #Constraints: 4611 3.88/3.99 c #Conflicts: 15000 | #Constraints: 5614 3.88/3.99 c INPROCESSING 3.88/3.99 c GARBAGE COLLECT 3.88/3.99 c rational objective 0 5.18/5.22 c #Conflicts: 16000 | #Constraints: 3829 5.18/5.22 c #Conflicts: 17000 | #Constraints: 4829 5.18/5.22 c #Conflicts: 18000 | #Constraints: 5832 5.18/5.22 c INPROCESSING 5.18/5.22 c GARBAGE COLLECT 5.18/5.22 c rational objective 0 6.58/6.61 c #Conflicts: 19000 | #Constraints: 3835 6.58/6.61 c #Conflicts: 20000 | #Constraints: 4840 6.58/6.61 c #Conflicts: 21000 | #Constraints: 5844 6.58/6.61 c INPROCESSING 6.58/6.61 c GARBAGE COLLECT 6.58/6.61 c rational objective 0 7.98/8.05 c #Conflicts: 22000 | #Constraints: 3642 7.98/8.05 c #Conflicts: 23000 | #Constraints: 4647 7.98/8.05 c #Conflicts: 24000 | #Constraints: 5651 7.98/8.05 c #Conflicts: 25000 | #Constraints: 6653 7.98/8.05 c INPROCESSING 7.98/8.05 c GARBAGE COLLECT 7.98/8.05 c rational objective 0 9.56/9.69 c #Conflicts: 26000 | #Constraints: 4245 9.56/9.69 c #Conflicts: 27000 | #Constraints: 5247 9.56/9.69 c #Conflicts: 28000 | #Constraints: 6253 9.56/9.69 c #Conflicts: 29000 | #Constraints: 7257 9.56/9.69 c INPROCESSING 9.56/9.69 c GARBAGE COLLECT 9.56/9.69 c rational objective 0 11.36/11.44 c #Conflicts: 30000 | #Constraints: 4647 11.36/11.44 c #Conflicts: 31000 | #Constraints: 5647 11.36/11.44 c #Conflicts: 32000 | #Constraints: 6649 11.36/11.44 c #Conflicts: 33000 | #Constraints: 7652 11.36/11.44 c INPROCESSING 11.36/11.44 c GARBAGE COLLECT 11.36/11.44 c rational objective 0 13.36/13.44 c #Conflicts: 34000 | #Constraints: 4847 13.36/13.44 c #Conflicts: 35000 | #Constraints: 5849 13.36/13.44 c #Conflicts: 36000 | #Constraints: 6854 13.36/13.44 c #Conflicts: 37000 | #Constraints: 7856 13.36/13.44 c INPROCESSING 13.36/13.44 c GARBAGE COLLECT 13.36/13.44 c rational objective 0 15.65/15.70 c #Conflicts: 38000 | #Constraints: 4848 15.65/15.70 c #Conflicts: 39000 | #Constraints: 5848 15.65/15.70 c #Conflicts: 40000 | #Constraints: 6849 15.65/15.70 c #Conflicts: 41000 | #Constraints: 7849 15.65/15.70 c INPROCESSING 15.65/15.70 c GARBAGE COLLECT 15.65/15.70 c rational objective 0 18.15/18.23 c #Conflicts: 42000 | #Constraints: 4643 18.15/18.23 c #Conflicts: 43000 | #Constraints: 5646 18.15/18.23 c #Conflicts: 44000 | #Constraints: 6646 18.15/18.23 c #Conflicts: 45000 | #Constraints: 7648 18.15/18.23 c #Conflicts: 46000 | #Constraints: 8653 18.15/18.23 c INPROCESSING 18.15/18.23 c GARBAGE COLLECT 18.15/18.23 c rational objective 0 20.64/20.72 c #Conflicts: 47000 | #Constraints: 5248 20.64/20.72 c #Conflicts: 48000 | #Constraints: 6250 20.64/20.72 c #Conflicts: 49000 | #Constraints: 7251 20.64/20.72 c #Conflicts: 50000 | #Constraints: 8252 20.64/20.72 c #Conflicts: 51000 | #Constraints: 9255 20.64/20.72 c INPROCESSING 20.64/20.72 c GARBAGE COLLECT 20.64/20.72 c rational objective 0 23.34/23.43 c #Conflicts: 52000 | #Constraints: 5642 23.34/23.43 c #Conflicts: 53000 | #Constraints: 6642 23.34/23.43 c #Conflicts: 54000 | #Constraints: 7646 23.34/23.43 c #Conflicts: 55000 | #Constraints: 8648 23.34/23.43 c #Conflicts: 56000 | #Constraints: 9651 23.34/23.43 c INPROCESSING 23.34/23.43 c GARBAGE COLLECT 23.34/23.43 c rational objective 0 26.13/26.25 c #Conflicts: 57000 | #Constraints: 5842 26.13/26.25 c #Conflicts: 58000 | #Constraints: 6845 26.13/26.25 c #Conflicts: 59000 | #Constraints: 7848 26.13/26.25 c #Conflicts: 60000 | #Constraints: 8848 26.13/26.25 c #Conflicts: 61000 | #Constraints: 9848 26.13/26.25 c INPROCESSING 26.13/26.25 c GARBAGE COLLECT 26.13/26.25 c rational objective 0 29.22/29.38 c #Conflicts: 62000 | #Constraints: 5845 29.22/29.38 c #Conflicts: 63000 | #Constraints: 6846 29.22/29.38 c #Conflicts: 64000 | #Constraints: 7848 29.22/29.38 c #Conflicts: 65000 | #Constraints: 8850 29.22/29.38 c #Conflicts: 66000 | #Constraints: 9854 29.22/29.38 c INPROCESSING 29.22/29.38 c GARBAGE COLLECT 29.22/29.38 c rational objective 0 32.51/32.65 c #Conflicts: 67000 | #Constraints: 5641 32.51/32.65 c #Conflicts: 68000 | #Constraints: 6643 32.51/32.65 c #Conflicts: 69000 | #Constraints: 7644 32.51/32.65 c #Conflicts: 70000 | #Constraints: 8649 32.51/32.65 c #Conflicts: 71000 | #Constraints: 9651 32.51/32.65 c #Conflicts: 72000 | #Constraints: 10653 32.51/32.65 c INPROCESSING 32.51/32.65 c GARBAGE COLLECT 32.51/32.65 c rational objective 0 36.01/36.18 c #Conflicts: 73000 | #Constraints: 6244 36.01/36.18 c #Conflicts: 74000 | #Constraints: 7248 36.01/36.18 c #Conflicts: 75000 | #Constraints: 8252 36.01/36.18 c #Conflicts: 76000 | #Constraints: 9254 36.01/36.18 c #Conflicts: 77000 | #Constraints: 10255 36.01/36.18 c #Conflicts: 78000 | #Constraints: 11258 36.01/36.18 c INPROCESSING 36.01/36.18 c GARBAGE COLLECT 36.01/36.18 c rational objective 0 40.09/40.27 c #Conflicts: 79000 | #Constraints: 6646 40.09/40.27 c #Conflicts: 80000 | #Constraints: 7646 40.09/40.27 c #Conflicts: 81000 | #Constraints: 8646 40.09/40.27 c #Conflicts: 82000 | #Constraints: 9647 40.09/40.27 c #Conflicts: 83000 | #Constraints: 10648 40.09/40.27 c #Conflicts: 84000 | #Constraints: 11650 40.09/40.27 c INPROCESSING 40.09/40.27 c GARBAGE COLLECT 40.09/40.27 c rational objective 0 44.48/44.63 c #Conflicts: 85000 | #Constraints: 6843 44.48/44.63 c #Conflicts: 86000 | #Constraints: 7846 44.48/44.63 c #Conflicts: 87000 | #Constraints: 8848 44.48/44.63 c #Conflicts: 88000 | #Constraints: 9850 44.48/44.63 c #Conflicts: 89000 | #Constraints: 10850 44.48/44.63 c #Conflicts: 90000 | #Constraints: 11851 44.48/44.63 c INPROCESSING 44.48/44.63 c GARBAGE COLLECT 44.48/44.63 c rational objective 0 49.27/49.47 c #Conflicts: 91000 | #Constraints: 6845 49.27/49.47 c #Conflicts: 92000 | #Constraints: 7848 49.27/49.47 c #Conflicts: 93000 | #Constraints: 8850 49.27/49.47 c #Conflicts: 94000 | #Constraints: 9851 49.27/49.47 c #Conflicts: 95000 | #Constraints: 10852 49.27/49.47 c #Conflicts: 96000 | #Constraints: 11853 49.27/49.47 c INPROCESSING 49.27/49.47 c GARBAGE COLLECT 49.27/49.47 c rational objective 0 54.26/54.48 c #Conflicts: 97000 | #Constraints: 6643 54.26/54.48 c #Conflicts: 98000 | #Constraints: 7644 54.26/54.48 c #Conflicts: 99000 | #Constraints: 8645 54.26/54.48 c #Conflicts: 100000 | #Constraints: 9647 54.26/54.48 c #Conflicts: 101000 | #Constraints: 10648 54.26/54.48 c #Conflicts: 102000 | #Constraints: 11649 54.26/54.48 c #Conflicts: 103000 | #Constraints: 12650 54.26/54.48 c INPROCESSING 54.26/54.48 c GARBAGE COLLECT 54.26/54.48 c rational objective 0 59.05/59.22 c #Conflicts: 104000 | #Constraints: 7239 59.05/59.22 c #Conflicts: 105000 | #Constraints: 8239 59.05/59.22 c #Conflicts: 106000 | #Constraints: 9239 59.05/59.22 c #Conflicts: 107000 | #Constraints: 10239 59.05/59.22 c #Conflicts: 108000 | #Constraints: 11241 59.05/59.22 c #Conflicts: 109000 | #Constraints: 12247 59.05/59.22 c #Conflicts: 110000 | #Constraints: 13247 59.05/59.22 c INPROCESSING 59.05/59.22 c GARBAGE COLLECT 59.05/59.22 c rational objective 0 64.13/64.32 c #Conflicts: 111000 | #Constraints: 7642 64.13/64.32 c #Conflicts: 112000 | #Constraints: 8643 64.13/64.32 c #Conflicts: 113000 | #Constraints: 9643 64.13/64.32 c #Conflicts: 114000 | #Constraints: 10643 64.13/64.32 c #Conflicts: 115000 | #Constraints: 11646 64.13/64.32 c #Conflicts: 116000 | #Constraints: 12648 64.13/64.32 c #Conflicts: 117000 | #Constraints: 13651 64.13/64.32 c INPROCESSING 64.13/64.32 c GARBAGE COLLECT 64.13/64.32 c rational objective 0 69.72/69.97 c #Conflicts: 118000 | #Constraints: 7843 69.72/69.97 c #Conflicts: 119000 | #Constraints: 8844 69.72/69.97 c #Conflicts: 120000 | #Constraints: 9846 69.72/69.97 c #Conflicts: 121000 | #Constraints: 10848 69.72/69.97 c #Conflicts: 122000 | #Constraints: 11849 69.72/69.97 c #Conflicts: 123000 | #Constraints: 12850 69.72/69.97 c #Conflicts: 124000 | #Constraints: 13851 69.72/69.97 c INPROCESSING 69.72/69.97 c GARBAGE COLLECT 69.72/69.97 c rational objective 0 75.51/75.70 c #Conflicts: 125000 | #Constraints: 7846 75.51/75.70 c #Conflicts: 126000 | #Constraints: 8846 75.51/75.70 c #Conflicts: 127000 | #Constraints: 9846 75.51/75.70 c #Conflicts: 128000 | #Constraints: 10846 75.51/75.70 c #Conflicts: 129000 | #Constraints: 11847 75.51/75.70 c #Conflicts: 130000 | #Constraints: 12849 75.51/75.70 c #Conflicts: 131000 | #Constraints: 13851 75.51/75.70 c INPROCESSING 75.51/75.70 c GARBAGE COLLECT 75.51/75.70 c rational objective 0 81.50/81.75 c #Conflicts: 132000 | #Constraints: 7643 81.50/81.75 c #Conflicts: 133000 | #Constraints: 8645 81.50/81.75 c #Conflicts: 134000 | #Constraints: 9646 81.50/81.75 c #Conflicts: 135000 | #Constraints: 10647 81.50/81.75 c #Conflicts: 136000 | #Constraints: 11652 81.50/81.75 c #Conflicts: 137000 | #Constraints: 12654 81.50/81.75 c #Conflicts: 138000 | #Constraints: 13655 81.50/81.75 c #Conflicts: 139000 | #Constraints: 14656 81.50/81.75 c INPROCESSING 81.50/81.75 c GARBAGE COLLECT 81.50/81.75 c rational objective 0 88.18/88.41 c #Conflicts: 140000 | #Constraints: 8251 88.18/88.41 c #Conflicts: 141000 | #Constraints: 9253 88.18/88.41 c #Conflicts: 142000 | #Constraints: 10254 88.18/88.41 c #Conflicts: 143000 | #Constraints: 11258 88.18/88.41 c #Conflicts: 144000 | #Constraints: 12260 88.18/88.41 c #Conflicts: 145000 | #Constraints: 13265 88.18/88.41 c #Conflicts: 146000 | #Constraints: 14266 88.18/88.41 c #Conflicts: 147000 | #Constraints: 15266 88.18/88.41 c INPROCESSING 88.18/88.41 c GARBAGE COLLECT 88.18/88.41 c rational objective 0 94.96/95.22 c #Conflicts: 148000 | #Constraints: 8651 94.96/95.22 c #Conflicts: 149000 | #Constraints: 9654 94.96/95.22 c #Conflicts: 150000 | #Constraints: 10655 94.96/95.22 c #Conflicts: 151000 | #Constraints: 11656 94.96/95.22 c #Conflicts: 152000 | #Constraints: 12658 94.96/95.22 c #Conflicts: 153000 | #Constraints: 13659 94.96/95.22 c #Conflicts: 154000 | #Constraints: 14659 94.96/95.22 c #Conflicts: 155000 | #Constraints: 15659 94.96/95.22 c INPROCESSING 94.96/95.22 c GARBAGE COLLECT 94.96/95.22 c rational objective 0 101.94/102.27 c #Conflicts: 156000 | #Constraints: 8850 101.94/102.27 c #Conflicts: 157000 | #Constraints: 9852 101.94/102.27 c #Conflicts: 158000 | #Constraints: 10856 101.94/102.27 c #Conflicts: 159000 | #Constraints: 11860 101.94/102.27 c #Conflicts: 160000 | #Constraints: 12861 101.94/102.27 c #Conflicts: 161000 | #Constraints: 13863 101.94/102.27 c #Conflicts: 162000 | #Constraints: 14863 101.94/102.27 c #Conflicts: 163000 | #Constraints: 15864 101.94/102.27 c INPROCESSING 101.94/102.27 c GARBAGE COLLECT 101.94/102.27 c rational objective 0 109.33/109.66 c #Conflicts: 164000 | #Constraints: 8849 109.33/109.66 c #Conflicts: 165000 | #Constraints: 9851 109.33/109.66 c #Conflicts: 166000 | #Constraints: 10851 109.33/109.66 c #Conflicts: 167000 | #Constraints: 11853 109.33/109.66 c #Conflicts: 168000 | #Constraints: 12854 109.33/109.66 c #Conflicts: 169000 | #Constraints: 13857 109.33/109.66 c #Conflicts: 170000 | #Constraints: 14858 109.33/109.66 c #Conflicts: 171000 | #Constraints: 15859 109.33/109.66 c INPROCESSING 109.33/109.66 c GARBAGE COLLECT 109.33/109.66 c rational objective 0 116.91/117.24 c #Conflicts: 172000 | #Constraints: 8648 116.91/117.24 c #Conflicts: 173000 | #Constraints: 9651 116.91/117.24 c #Conflicts: 174000 | #Constraints: 10653 116.91/117.24 c #Conflicts: 175000 | #Constraints: 11653 116.91/117.24 c #Conflicts: 176000 | #Constraints: 12654 116.91/117.24 c #Conflicts: 177000 | #Constraints: 13657 116.91/117.24 c #Conflicts: 178000 | #Constraints: 14657 116.91/117.24 c #Conflicts: 179000 | #Constraints: 15659 116.91/117.24 c #Conflicts: 180000 | #Constraints: 16661 116.91/117.24 c INPROCESSING 116.91/117.24 c GARBAGE COLLECT 116.91/117.24 c rational objective 0 125.48/125.84 c #Conflicts: 181000 | #Constraints: 9244 125.48/125.84 c #Conflicts: 182000 | #Constraints: 10247 125.48/125.84 c #Conflicts: 183000 | #Constraints: 11250 125.48/125.84 c #Conflicts: 184000 | #Constraints: 12251 125.48/125.84 c #Conflicts: 185000 | #Constraints: 13252 125.48/125.84 c #Conflicts: 186000 | #Constraints: 14252 125.48/125.84 c #Conflicts: 187000 | #Constraints: 15253 125.48/125.84 c #Conflicts: 188000 | #Constraints: 16255 125.48/125.84 c #Conflicts: 189000 | #Constraints: 17255 125.48/125.84 c INPROCESSING 125.48/125.84 c GARBAGE COLLECT 125.48/125.84 c rational objective 0 134.76/135.14 c #Conflicts: 190000 | #Constraints: 9644 134.76/135.14 c #Conflicts: 191000 | #Constraints: 10645 134.76/135.14 c #Conflicts: 192000 | #Constraints: 11646 134.76/135.14 c #Conflicts: 193000 | #Constraints: 12648 134.76/135.14 c #Conflicts: 194000 | #Constraints: 13648 134.76/135.14 c #Conflicts: 195000 | #Constraints: 14650 134.76/135.14 c #Conflicts: 196000 | #Constraints: 15650 134.76/135.14 c #Conflicts: 197000 | #Constraints: 16650 134.76/135.14 c #Conflicts: 198000 | #Constraints: 17650 134.76/135.14 c INPROCESSING 134.76/135.14 c GARBAGE COLLECT 134.76/135.14 c rational objective 0 144.94/145.32 c #Conflicts: 199000 | #Constraints: 9843 144.94/145.32 c #Conflicts: 200000 | #Constraints: 10843 144.94/145.32 c #Conflicts: 201000 | #Constraints: 11843 144.94/145.32 c #Conflicts: 202000 | #Constraints: 12843 144.94/145.32 c #Conflicts: 203000 | #Constraints: 13843 144.94/145.32 c #Conflicts: 204000 | #Constraints: 14843 144.94/145.32 c #Conflicts: 205000 | #Constraints: 15843 144.94/145.32 c #Conflicts: 206000 | #Constraints: 16844 144.94/145.32 c #Conflicts: 207000 | #Constraints: 17844 144.94/145.32 c INPROCESSING 144.94/145.32 c GARBAGE COLLECT 144.94/145.32 c rational objective 0 155.11/155.53 c #Conflicts: 208000 | #Constraints: 9840 155.11/155.53 c #Conflicts: 209000 | #Constraints: 10842 155.11/155.53 c #Conflicts: 210000 | #Constraints: 11845 155.11/155.53 c #Conflicts: 211000 | #Constraints: 12845 155.11/155.53 c #Conflicts: 212000 | #Constraints: 13847 155.11/155.53 c #Conflicts: 213000 | #Constraints: 14849 155.11/155.53 c #Conflicts: 214000 | #Constraints: 15850 155.11/155.53 c #Conflicts: 215000 | #Constraints: 16851 155.11/155.53 c #Conflicts: 216000 | #Constraints: 17852 155.11/155.53 c INPROCESSING 155.11/155.53 c GARBAGE COLLECT 155.11/155.53 c rational objective 0 166.59/167.04 c #Conflicts: 217000 | #Constraints: 9645 166.59/167.04 c #Conflicts: 218000 | #Constraints: 10645 166.59/167.04 c #Conflicts: 219000 | #Constraints: 11648 166.59/167.04 c #Conflicts: 220000 | #Constraints: 12649 166.59/167.04 c #Conflicts: 221000 | #Constraints: 13649 166.59/167.04 c #Conflicts: 222000 | #Constraints: 14649 166.59/167.04 c #Conflicts: 223000 | #Constraints: 15649 166.59/167.04 c #Conflicts: 224000 | #Constraints: 16650 166.59/167.04 c #Conflicts: 225000 | #Constraints: 17651 166.59/167.04 c #Conflicts: 226000 | #Constraints: 18651 166.59/167.04 c INPROCESSING 166.59/167.04 c GARBAGE COLLECT 166.59/167.04 c rational objective 0 177.36/177.89 c #Conflicts: 227000 | #Constraints: 10245 177.36/177.89 c #Conflicts: 228000 | #Constraints: 11247 177.36/177.89 c #Conflicts: 229000 | #Constraints: 12247 177.36/177.89 c #Conflicts: 230000 | #Constraints: 13249 177.36/177.89 c #Conflicts: 231000 | #Constraints: 14249 177.36/177.89 c #Conflicts: 232000 | #Constraints: 15250 177.36/177.89 c #Conflicts: 233000 | #Constraints: 16250 177.36/177.89 c #Conflicts: 234000 | #Constraints: 17252 177.36/177.89 c #Conflicts: 235000 | #Constraints: 18255 177.36/177.89 c #Conflicts: 236000 | #Constraints: 19257 177.36/177.89 c INPROCESSING 177.36/177.89 c GARBAGE COLLECT 177.36/177.89 c rational objective 0 188.43/188.93 c #Conflicts: 237000 | #Constraints: 10646 188.43/188.93 c #Conflicts: 238000 | #Constraints: 11647 188.43/188.93 c #Conflicts: 239000 | #Constraints: 12648 188.43/188.93 c #Conflicts: 240000 | #Constraints: 13650 188.43/188.93 c #Conflicts: 241000 | #Constraints: 14654 188.43/188.93 c #Conflicts: 242000 | #Constraints: 15655 188.43/188.93 c #Conflicts: 243000 | #Constraints: 16655 188.43/188.93 c #Conflicts: 244000 | #Constraints: 17655 188.43/188.93 c #Conflicts: 245000 | #Constraints: 18655 188.43/188.93 c #Conflicts: 246000 | #Constraints: 19656 188.43/188.93 c INPROCESSING 188.43/188.93 c GARBAGE COLLECT 188.43/188.93 c rational objective 0 199.90/200.46 c #Conflicts: 247000 | #Constraints: 10848 199.90/200.46 c #Conflicts: 248000 | #Constraints: 11849 199.90/200.46 c #Conflicts: 249000 | #Constraints: 12849 199.90/200.46 c #Conflicts: 250000 | #Constraints: 13849 199.90/200.46 c #Conflicts: 251000 | #Constraints: 14850 199.90/200.46 c #Conflicts: 252000 | #Constraints: 15850 199.90/200.46 c #Conflicts: 253000 | #Constraints: 16851 199.90/200.46 c #Conflicts: 254000 | #Constraints: 17853 199.90/200.46 c #Conflicts: 255000 | #Constraints: 18855 199.90/200.46 c #Conflicts: 256000 | #Constraints: 19856 199.90/200.46 c INPROCESSING 199.90/200.46 c GARBAGE COLLECT 199.90/200.46 c rational objective 0 211.57/212.13 c #Conflicts: 257000 | #Constraints: 10844 211.57/212.13 c #Conflicts: 258000 | #Constraints: 11844 211.57/212.13 c #Conflicts: 259000 | #Constraints: 12846 211.57/212.13 c #Conflicts: 260000 | #Constraints: 13851 211.57/212.13 c #Conflicts: 261000 | #Constraints: 14851 211.57/212.13 c #Conflicts: 262000 | #Constraints: 15852 211.57/212.13 c #Conflicts: 263000 | #Constraints: 16853 211.57/212.13 c #Conflicts: 264000 | #Constraints: 17855 211.57/212.13 c #Conflicts: 265000 | #Constraints: 18857 211.57/212.13 c #Conflicts: 266000 | #Constraints: 19857 211.57/212.13 c INPROCESSING 211.57/212.13 c GARBAGE COLLECT 211.57/212.13 c rational objective 0 224.33/224.93 c #Conflicts: 267000 | #Constraints: 10647 224.33/224.93 c #Conflicts: 268000 | #Constraints: 11647 224.33/224.93 c #Conflicts: 269000 | #Constraints: 12647 224.33/224.93 c #Conflicts: 270000 | #Constraints: 13648 224.33/224.93 c #Conflicts: 271000 | #Constraints: 14649 224.33/224.93 c #Conflicts: 272000 | #Constraints: 15649 224.33/224.93 c #Conflicts: 273000 | #Constraints: 16649 224.33/224.93 c #Conflicts: 274000 | #Constraints: 17649 224.33/224.93 c #Conflicts: 275000 | #Constraints: 18650 224.33/224.93 c #Conflicts: 276000 | #Constraints: 19651 224.33/224.93 c #Conflicts: 277000 | #Constraints: 20651 224.33/224.93 c INPROCESSING 224.33/224.93 c GARBAGE COLLECT 224.33/224.93 c rational objective 0 236.90/237.57 c #Conflicts: 278000 | #Constraints: 11243 236.90/237.57 c #Conflicts: 279000 | #Constraints: 12244 236.90/237.57 c #Conflicts: 280000 | #Constraints: 13244 236.90/237.57 c #Conflicts: 281000 | #Constraints: 14245 236.90/237.57 c #Conflicts: 282000 | #Constraints: 15246 236.90/237.57 c #Conflicts: 283000 | #Constraints: 16246 236.90/237.57 c #Conflicts: 284000 | #Constraints: 17248 236.90/237.57 c #Conflicts: 285000 | #Constraints: 18249 236.90/237.57 c #Conflicts: 286000 | #Constraints: 19250 236.90/237.57 c #Conflicts: 287000 | #Constraints: 20250 236.90/237.57 c #Conflicts: 288000 | #Constraints: 21251 236.90/237.57 c INPROCESSING 236.90/237.57 c GARBAGE COLLECT 236.90/237.57 c rational objective 0 249.97/250.64 c #Conflicts: 289000 | #Constraints: 11640 249.97/250.64 c #Conflicts: 290000 | #Constraints: 12641 249.97/250.64 c #Conflicts: 291000 | #Constraints: 13641 249.97/250.64 c #Conflicts: 292000 | #Constraints: 14642 249.97/250.64 c #Conflicts: 293000 | #Constraints: 15643 249.97/250.64 c #Conflicts: 294000 | #Constraints: 16644 249.97/250.64 c #Conflicts: 295000 | #Constraints: 17645 249.97/250.64 c #Conflicts: 296000 | #Constraints: 18646 249.97/250.64 c #Conflicts: 297000 | #Constraints: 19649 249.97/250.64 c #Conflicts: 298000 | #Constraints: 20651 249.97/250.64 c #Conflicts: 299000 | #Constraints: 21652 249.97/250.64 c INPROCESSING 249.97/250.64 c GARBAGE COLLECT 249.97/250.64 c rational objective 0 263.84/264.51 c #Conflicts: 300000 | #Constraints: 11845 263.84/264.51 c #Conflicts: 301000 | #Constraints: 12846 263.84/264.51 c #Conflicts: 302000 | #Constraints: 13846 263.84/264.51 c #Conflicts: 303000 | #Constraints: 14846 263.84/264.51 c #Conflicts: 304000 | #Constraints: 15848 263.84/264.51 c #Conflicts: 305000 | #Constraints: 16849 263.84/264.51 c #Conflicts: 306000 | #Constraints: 17849 263.84/264.51 c #Conflicts: 307000 | #Constraints: 18850 263.84/264.51 c #Conflicts: 308000 | #Constraints: 19851 263.84/264.51 c #Conflicts: 309000 | #Constraints: 20851 263.84/264.51 c #Conflicts: 310000 | #Constraints: 21851 263.84/264.51 c INPROCESSING 263.84/264.51 c GARBAGE COLLECT 263.84/264.51 c rational objective 0 279.10/279.83 c #Conflicts: 311000 | #Constraints: 11844 279.10/279.83 c #Conflicts: 312000 | #Constraints: 12846 279.10/279.83 c #Conflicts: 313000 | #Constraints: 13849 279.10/279.83 c #Conflicts: 314000 | #Constraints: 14849 279.10/279.83 c #Conflicts: 315000 | #Constraints: 15849 279.10/279.83 c #Conflicts: 316000 | #Constraints: 16851 279.10/279.83 c #Conflicts: 317000 | #Constraints: 17851 279.10/279.83 c #Conflicts: 318000 | #Constraints: 18851 279.10/279.83 c #Conflicts: 319000 | #Constraints: 19851 279.10/279.83 c #Conflicts: 320000 | #Constraints: 20851 279.10/279.83 c #Conflicts: 321000 | #Constraints: 21851 279.10/279.83 c INPROCESSING 279.10/279.83 c GARBAGE COLLECT 279.10/279.83 c rational objective 0 295.15/295.90 c #Conflicts: 322000 | #Constraints: 11646 295.15/295.90 c #Conflicts: 323000 | #Constraints: 12651 295.15/295.90 c #Conflicts: 324000 | #Constraints: 13653 295.15/295.90 c #Conflicts: 325000 | #Constraints: 14657 295.15/295.90 c #Conflicts: 326000 | #Constraints: 15657 295.15/295.90 c #Conflicts: 327000 | #Constraints: 16657 295.15/295.90 c #Conflicts: 328000 | #Constraints: 17658 295.15/295.90 c #Conflicts: 329000 | #Constraints: 18658 295.15/295.90 c #Conflicts: 330000 | #Constraints: 19659 295.15/295.90 c #Conflicts: 331000 | #Constraints: 20659 295.15/295.90 c #Conflicts: 332000 | #Constraints: 21659 295.15/295.90 c #Conflicts: 333000 | #Constraints: 22659 295.15/295.90 c INPROCESSING 295.15/295.90 c GARBAGE COLLECT 295.15/295.90 c rational objective 0 309.71/310.55 c #Conflicts: 334000 | #Constraints: 12246 309.71/310.55 c #Conflicts: 335000 | #Constraints: 13248 309.71/310.55 c #Conflicts: 336000 | #Constraints: 14248 309.71/310.55 c #Conflicts: 337000 | #Constraints: 15248 309.71/310.55 c #Conflicts: 338000 | #Constraints: 16250 309.71/310.55 c #Conflicts: 339000 | #Constraints: 17250 309.71/310.55 c #Conflicts: 340000 | #Constraints: 18251 309.71/310.55 c #Conflicts: 341000 | #Constraints: 19251 309.71/310.55 c #Conflicts: 342000 | #Constraints: 20253 309.71/310.55 c #Conflicts: 343000 | #Constraints: 21255 309.71/310.55 c #Conflicts: 344000 | #Constraints: 22257 309.71/310.55 c #Conflicts: 345000 | #Constraints: 23257 309.71/310.55 c INPROCESSING 309.71/310.55 c GARBAGE COLLECT 309.71/310.55 c rational objective 0 324.88/325.75 c #Conflicts: 346000 | #Constraints: 12648 324.88/325.75 c #Conflicts: 347000 | #Constraints: 13649 324.88/325.75 c #Conflicts: 348000 | #Constraints: 14650 324.88/325.75 c #Conflicts: 349000 | #Constraints: 15650 324.88/325.75 c #Conflicts: 350000 | #Constraints: 16651 324.88/325.75 c #Conflicts: 351000 | #Constraints: 17652 324.88/325.75 c #Conflicts: 352000 | #Constraints: 18652 324.88/325.75 c #Conflicts: 353000 | #Constraints: 19652 324.88/325.75 c #Conflicts: 354000 | #Constraints: 20652 324.88/325.75 c #Conflicts: 355000 | #Constraints: 21654 324.88/325.75 c #Conflicts: 356000 | #Constraints: 22654 324.88/325.75 c #Conflicts: 357000 | #Constraints: 23655 324.88/325.75 c INPROCESSING 324.88/325.75 c GARBAGE COLLECT 324.88/325.75 c rational objective 0 340.64/341.52 c #Conflicts: 358000 | #Constraints: 12848 340.64/341.52 c #Conflicts: 359000 | #Constraints: 13848 340.64/341.52 c #Conflicts: 360000 | #Constraints: 14848 340.64/341.52 c #Conflicts: 361000 | #Constraints: 15848 340.64/341.52 c #Conflicts: 362000 | #Constraints: 16850 340.64/341.52 c #Conflicts: 363000 | #Constraints: 17850 340.64/341.52 c #Conflicts: 364000 | #Constraints: 18852 340.64/341.52 c #Conflicts: 365000 | #Constraints: 19852 340.64/341.52 c #Conflicts: 366000 | #Constraints: 20852 340.64/341.52 c #Conflicts: 367000 | #Constraints: 21853 340.64/341.52 c #Conflicts: 368000 | #Constraints: 22855 340.64/341.52 c #Conflicts: 369000 | #Constraints: 23856 340.64/341.52 c INPROCESSING 340.64/341.52 c GARBAGE COLLECT 340.64/341.52 c rational objective 0 357.30/358.25 c #Conflicts: 370000 | #Constraints: 12845 357.30/358.25 c #Conflicts: 371000 | #Constraints: 13847 357.30/358.25 c #Conflicts: 372000 | #Constraints: 14848 357.30/358.25 c #Conflicts: 373000 | #Constraints: 15851 357.30/358.25 c #Conflicts: 374000 | #Constraints: 16851 357.30/358.25 c #Conflicts: 375000 | #Constraints: 17852 357.30/358.25 c #Conflicts: 376000 | #Constraints: 18852 357.30/358.25 c #Conflicts: 377000 | #Constraints: 19852 357.30/358.25 c #Conflicts: 378000 | #Constraints: 20852 357.30/358.25 c #Conflicts: 379000 | #Constraints: 21852 357.30/358.25 c #Conflicts: 380000 | #Constraints: 22854 357.30/358.25 c #Conflicts: 381000 | #Constraints: 23859 357.30/358.25 c INPROCESSING 357.30/358.25 c GARBAGE COLLECT 357.30/358.25 c rational objective 0 374.35/375.35 c #Conflicts: 382000 | #Constraints: 12645 374.35/375.35 c #Conflicts: 383000 | #Constraints: 13645 374.35/375.35 c #Conflicts: 384000 | #Constraints: 14647 374.35/375.35 c #Conflicts: 385000 | #Constraints: 15647 374.35/375.35 c #Conflicts: 386000 | #Constraints: 16647 374.35/375.35 c #Conflicts: 387000 | #Constraints: 17647 374.35/375.35 c #Conflicts: 388000 | #Constraints: 18647 374.35/375.35 c #Conflicts: 389000 | #Constraints: 19647 374.35/375.35 c #Conflicts: 390000 | #Constraints: 20649 374.35/375.35 c #Conflicts: 391000 | #Constraints: 21650 374.35/375.35 c #Conflicts: 392000 | #Constraints: 22653 374.35/375.35 c #Conflicts: 393000 | #Constraints: 23654 374.35/375.35 c #Conflicts: 394000 | #Constraints: 24654 374.35/375.35 c INPROCESSING 374.35/375.35 c GARBAGE COLLECT 374.35/375.35 c rational objective 0 391.61/392.64 c #Conflicts: 395000 | #Constraints: 13246 391.61/392.64 c #Conflicts: 396000 | #Constraints: 14246 391.61/392.64 c #Conflicts: 397000 | #Constraints: 15247 391.61/392.64 c #Conflicts: 398000 | #Constraints: 16247 391.61/392.64 c #Conflicts: 399000 | #Constraints: 17247 391.61/392.64 c #Conflicts: 400000 | #Constraints: 18247 391.61/392.64 c #Conflicts: 401000 | #Constraints: 19247 391.61/392.64 c #Conflicts: 402000 | #Constraints: 20247 391.61/392.64 c #Conflicts: 403000 | #Constraints: 21247 391.61/392.64 c #Conflicts: 404000 | #Constraints: 22249 391.61/392.64 c #Conflicts: 405000 | #Constraints: 23250 391.61/392.64 c #Conflicts: 406000 | #Constraints: 24251 391.61/392.64 c #Conflicts: 407000 | #Constraints: 25252 391.61/392.64 c INPROCESSING 391.61/392.64 c GARBAGE COLLECT 391.61/392.64 c rational objective 0 409.17/410.29 c #Conflicts: 408000 | #Constraints: 13642 409.17/410.29 c #Conflicts: 409000 | #Constraints: 14643 409.17/410.29 c #Conflicts: 410000 | #Constraints: 15646 409.17/410.29 c #Conflicts: 411000 | #Constraints: 16646 409.17/410.29 c #Conflicts: 412000 | #Constraints: 17646 409.17/410.29 c #Conflicts: 413000 | #Constraints: 18646 409.17/410.29 c #Conflicts: 414000 | #Constraints: 19649 409.17/410.29 c #Conflicts: 415000 | #Constraints: 20650 409.17/410.29 c #Conflicts: 416000 | #Constraints: 21650 409.17/410.29 c #Conflicts: 417000 | #Constraints: 22650 409.17/410.29 c #Conflicts: 418000 | #Constraints: 23650 409.17/410.29 c #Conflicts: 419000 | #Constraints: 24650 409.17/410.29 c #Conflicts: 420000 | #Constraints: 25650 409.17/410.29 c INPROCESSING 409.17/410.29 c GARBAGE COLLECT 409.17/410.29 c rational objective 0 429.71/430.84 c #Conflicts: 421000 | #Constraints: 13846 429.71/430.84 c #Conflicts: 422000 | #Constraints: 14846 429.71/430.84 c #Conflicts: 423000 | #Constraints: 15847 429.71/430.84 c #Conflicts: 424000 | #Constraints: 16847 429.71/430.84 c #Conflicts: 425000 | #Constraints: 17848 429.71/430.84 c #Conflicts: 426000 | #Constraints: 18849 429.71/430.84 c #Conflicts: 427000 | #Constraints: 19849 429.71/430.84 c #Conflicts: 428000 | #Constraints: 20849 429.71/430.84 c #Conflicts: 429000 | #Constraints: 21850 429.71/430.84 c #Conflicts: 430000 | #Constraints: 22850 429.71/430.84 c #Conflicts: 431000 | #Constraints: 23850 429.71/430.84 c #Conflicts: 432000 | #Constraints: 24850 429.71/430.84 c #Conflicts: 433000 | #Constraints: 25850 429.71/430.84 c INPROCESSING 429.71/430.84 c GARBAGE COLLECT 429.71/430.84 c rational objective 0 450.66/451.89 c #Conflicts: 434000 | #Constraints: 13843 450.66/451.89 c #Conflicts: 435000 | #Constraints: 14843 450.66/451.89 c #Conflicts: 436000 | #Constraints: 15843 450.66/451.89 c #Conflicts: 437000 | #Constraints: 16843 450.66/451.89 c #Conflicts: 438000 | #Constraints: 17844 450.66/451.89 c #Conflicts: 439000 | #Constraints: 18846 450.66/451.89 c #Conflicts: 440000 | #Constraints: 19847 450.66/451.89 c #Conflicts: 441000 | #Constraints: 20848 450.66/451.89 c #Conflicts: 442000 | #Constraints: 21848 450.66/451.89 c #Conflicts: 443000 | #Constraints: 22848 450.66/451.89 c #Conflicts: 444000 | #Constraints: 23848 450.66/451.89 c #Conflicts: 445000 | #Constraints: 24848 450.66/451.89 c #Conflicts: 446000 | #Constraints: 25848 450.66/451.89 c INPROCESSING 450.66/451.89 c GARBAGE COLLECT 450.66/451.89 c rational objective 0 474.30/475.55 c #Conflicts: 447000 | #Constraints: 13644 474.30/475.55 c #Conflicts: 448000 | #Constraints: 14644 474.30/475.55 c #Conflicts: 449000 | #Constraints: 15645 474.30/475.55 c #Conflicts: 450000 | #Constraints: 16645 474.30/475.55 c #Conflicts: 451000 | #Constraints: 17645 474.30/475.55 c #Conflicts: 452000 | #Constraints: 18646 474.30/475.55 c #Conflicts: 453000 | #Constraints: 19648 474.30/475.55 c #Conflicts: 454000 | #Constraints: 20649 474.30/475.55 c #Conflicts: 455000 | #Constraints: 21649 474.30/475.55 c #Conflicts: 456000 | #Constraints: 22649 474.30/475.55 c #Conflicts: 457000 | #Constraints: 23649 474.30/475.55 c #Conflicts: 458000 | #Constraints: 24650 474.30/475.55 c #Conflicts: 459000 | #Constraints: 25651 474.30/475.55 c #Conflicts: 460000 | #Constraints: 26651 474.30/475.55 c INPROCESSING 474.30/475.55 c GARBAGE COLLECT 474.30/475.55 c rational objective 0 497.93/499.25 c #Conflicts: 461000 | #Constraints: 14243 497.93/499.25 c #Conflicts: 462000 | #Constraints: 15243 497.93/499.25 c #Conflicts: 463000 | #Constraints: 16246 497.93/499.25 c #Conflicts: 464000 | #Constraints: 17246 497.93/499.25 c #Conflicts: 465000 | #Constraints: 18247 497.93/499.25 c #Conflicts: 466000 | #Constraints: 19247 497.93/499.25 c #Conflicts: 467000 | #Constraints: 20248 497.93/499.25 c #Conflicts: 468000 | #Constraints: 21249 497.93/499.25 c #Conflicts: 469000 | #Constraints: 22249 497.93/499.25 c #Conflicts: 470000 | #Constraints: 23249 497.93/499.25 c #Conflicts: 471000 | #Constraints: 24251 497.93/499.25 c #Conflicts: 472000 | #Constraints: 25251 497.93/499.25 c #Conflicts: 473000 | #Constraints: 26251 497.93/499.25 c #Conflicts: 474000 | #Constraints: 27253 497.93/499.25 c INPROCESSING 497.93/499.25 c GARBAGE COLLECT 497.93/499.25 c rational objective 0 521.28/522.61 c #Conflicts: 475000 | #Constraints: 14646 521.28/522.61 c #Conflicts: 476000 | #Constraints: 15647 521.28/522.61 c #Conflicts: 477000 | #Constraints: 16648 521.28/522.61 c #Conflicts: 478000 | #Constraints: 17649 521.28/522.61 c #Conflicts: 479000 | #Constraints: 18649 521.28/522.61 c #Conflicts: 480000 | #Constraints: 19650 521.28/522.61 c #Conflicts: 481000 | #Constraints: 20650 521.28/522.61 c #Conflicts: 482000 | #Constraints: 21651 521.28/522.61 c #Conflicts: 483000 | #Constraints: 22652 521.28/522.61 c #Conflicts: 484000 | #Constraints: 23652 521.28/522.61 c #Conflicts: 485000 | #Constraints: 24652 521.28/522.61 c #Conflicts: 486000 | #Constraints: 25653 521.28/522.61 c #Conflicts: 487000 | #Constraints: 26654 521.28/522.61 c #Conflicts: 488000 | #Constraints: 27654 521.28/522.61 c INPROCESSING 521.28/522.61 c GARBAGE COLLECT 521.28/522.61 c rational objective 0 546.42/547.84 c #Conflicts: 489000 | #Constraints: 14849 546.42/547.84 c #Conflicts: 490000 | #Constraints: 15849 546.42/547.84 c #Conflicts: 491000 | #Constraints: 16849 546.42/547.84 c #Conflicts: 492000 | #Constraints: 17851 546.42/547.84 c #Conflicts: 493000 | #Constraints: 18851 546.42/547.84 c #Conflicts: 494000 | #Constraints: 19851 546.42/547.84 c #Conflicts: 495000 | #Constraints: 20852 546.42/547.84 c #Conflicts: 496000 | #Constraints: 21852 546.42/547.84 c #Conflicts: 497000 | #Constraints: 22853 546.42/547.84 c #Conflicts: 498000 | #Constraints: 23854 546.42/547.84 c #Conflicts: 499000 | #Constraints: 24855 546.42/547.84 c #Conflicts: 500000 | #Constraints: 25857 546.42/547.84 c #Conflicts: 501000 | #Constraints: 26857 546.42/547.84 c #Conflicts: 502000 | #Constraints: 27857 546.42/547.84 c INPROCESSING 546.42/547.84 c GARBAGE COLLECT 546.42/547.84 c rational objective 0 573.15/574.61 c #Conflicts: 503000 | #Constraints: 14846 573.15/574.61 c #Conflicts: 504000 | #Constraints: 15847 573.15/574.61 c #Conflicts: 505000 | #Constraints: 16847 573.15/574.61 c #Conflicts: 506000 | #Constraints: 17848 573.15/574.61 c #Conflicts: 507000 | #Constraints: 18848 573.15/574.61 c #Conflicts: 508000 | #Constraints: 19850 573.15/574.61 c #Conflicts: 509000 | #Constraints: 20850 573.15/574.61 c #Conflicts: 510000 | #Constraints: 21851 573.15/574.61 c #Conflicts: 511000 | #Constraints: 22851 573.15/574.61 c #Conflicts: 512000 | #Constraints: 23851 573.15/574.61 c #Conflicts: 513000 | #Constraints: 24852 573.15/574.61 c #Conflicts: 514000 | #Constraints: 25853 573.15/574.61 c #Conflicts: 515000 | #Constraints: 26853 573.15/574.61 c #Conflicts: 516000 | #Constraints: 27853 573.15/574.61 c INPROCESSING 573.15/574.61 c GARBAGE COLLECT 573.15/574.61 c rational objective 0 597.29/598.86 c #Conflicts: 517000 | #Constraints: 14642 597.29/598.86 c #Conflicts: 518000 | #Constraints: 15643 597.29/598.86 c #Conflicts: 519000 | #Constraints: 16644 597.29/598.86 c #Conflicts: 520000 | #Constraints: 17644 597.29/598.86 c #Conflicts: 521000 | #Constraints: 18644 597.29/598.86 c #Conflicts: 522000 | #Constraints: 19644 597.29/598.86 c #Conflicts: 523000 | #Constraints: 20644 597.29/598.86 c #Conflicts: 524000 | #Constraints: 21644 597.29/598.86 c #Conflicts: 525000 | #Constraints: 22644 597.29/598.86 c #Conflicts: 526000 | #Constraints: 23645 597.29/598.86 c #Conflicts: 527000 | #Constraints: 24645 597.29/598.86 c #Conflicts: 528000 | #Constraints: 25646 597.29/598.86 c #Conflicts: 529000 | #Constraints: 26648 597.29/598.86 c #Conflicts: 530000 | #Constraints: 27648 597.29/598.86 c #Conflicts: 531000 | #Constraints: 28648 597.29/598.86 c INPROCESSING 597.29/598.86 c GARBAGE COLLECT 597.29/598.86 c rational objective 0 622.93/624.52 c #Conflicts: 532000 | #Constraints: 15243 622.93/624.52 c #Conflicts: 533000 | #Constraints: 16244 622.93/624.52 c #Conflicts: 534000 | #Constraints: 17244 622.93/624.52 c #Conflicts: 535000 | #Constraints: 18244 622.93/624.52 c #Conflicts: 536000 | #Constraints: 19244 622.93/624.52 c #Conflicts: 537000 | #Constraints: 20246 622.93/624.52 c #Conflicts: 538000 | #Constraints: 21248 622.93/624.52 c #Conflicts: 539000 | #Constraints: 22249 622.93/624.52 c #Conflicts: 540000 | #Constraints: 23249 622.93/624.52 c #Conflicts: 541000 | #Constraints: 24249 622.93/624.52 c #Conflicts: 542000 | #Constraints: 25250 622.93/624.52 c #Conflicts: 543000 | #Constraints: 26251 622.93/624.52 c #Conflicts: 544000 | #Constraints: 27252 622.93/624.52 c #Conflicts: 545000 | #Constraints: 28252 622.93/624.52 c #Conflicts: 546000 | #Constraints: 29252 622.93/624.52 c INPROCESSING 622.93/624.52 c GARBAGE COLLECT 622.93/624.52 c rational objective 0 652.35/654.00 c #Conflicts: 547000 | #Constraints: 15645 652.35/654.00 c #Conflicts: 548000 | #Constraints: 16645 652.35/654.00 c #Conflicts: 549000 | #Constraints: 17645 652.35/654.00 c #Conflicts: 550000 | #Constraints: 18645 652.35/654.00 c #Conflicts: 551000 | #Constraints: 19646 652.35/654.00 c #Conflicts: 552000 | #Constraints: 20649 652.35/654.00 c #Conflicts: 553000 | #Constraints: 21649 652.35/654.00 c #Conflicts: 554000 | #Constraints: 22649 652.35/654.00 c #Conflicts: 555000 | #Constraints: 23649 652.35/654.00 c #Conflicts: 556000 | #Constraints: 24649 652.35/654.00 c #Conflicts: 557000 | #Constraints: 25650 652.35/654.00 c #Conflicts: 558000 | #Constraints: 26652 652.35/654.00 c #Conflicts: 559000 | #Constraints: 27652 652.35/654.00 c #Conflicts: 560000 | #Constraints: 28652 652.35/654.00 c #Conflicts: 561000 | #Constraints: 29653 652.35/654.00 c INPROCESSING 652.35/654.00 c GARBAGE COLLECT 652.35/654.00 c rational objective 0 681.87/683.65 c #Conflicts: 562000 | #Constraints: 15843 681.87/683.65 c #Conflicts: 563000 | #Constraints: 16844 681.87/683.65 c #Conflicts: 564000 | #Constraints: 17844 681.87/683.65 c #Conflicts: 565000 | #Constraints: 18844 681.87/683.65 c #Conflicts: 566000 | #Constraints: 19845 681.87/683.65 c #Conflicts: 567000 | #Constraints: 20845 681.87/683.65 c #Conflicts: 568000 | #Constraints: 21845 681.87/683.65 c #Conflicts: 569000 | #Constraints: 22845 681.87/683.65 c #Conflicts: 570000 | #Constraints: 23845 681.87/683.65 c #Conflicts: 571000 | #Constraints: 24849 681.87/683.65 c #Conflicts: 572000 | #Constraints: 25849 681.87/683.65 c #Conflicts: 573000 | #Constraints: 26850 681.87/683.65 c #Conflicts: 574000 | #Constraints: 27851 681.87/683.65 c #Conflicts: 575000 | #Constraints: 28851 681.87/683.65 c #Conflicts: 576000 | #Constraints: 29851 681.87/683.65 c INPROCESSING 681.87/683.65 c GARBAGE COLLECT 681.87/683.65 c rational objective 0 709.90/711.79 c #Conflicts: 577000 | #Constraints: 15845 709.90/711.79 c #Conflicts: 578000 | #Constraints: 16846 709.90/711.79 c #Conflicts: 579000 | #Constraints: 17846 709.90/711.79 c #Conflicts: 580000 | #Constraints: 18846 709.90/711.79 c #Conflicts: 581000 | #Constraints: 19846 709.90/711.79 c #Conflicts: 582000 | #Constraints: 20848 709.90/711.79 c #Conflicts: 583000 | #Constraints: 21849 709.90/711.79 c #Conflicts: 584000 | #Constraints: 22851 709.90/711.79 c #Conflicts: 585000 | #Constraints: 23854 709.90/711.79 c #Conflicts: 586000 | #Constraints: 24855 709.90/711.79 c #Conflicts: 587000 | #Constraints: 25855 709.90/711.79 c #Conflicts: 588000 | #Constraints: 26859 709.90/711.79 c #Conflicts: 589000 | #Constraints: 27859 709.90/711.79 c #Conflicts: 590000 | #Constraints: 28860 709.90/711.79 c #Conflicts: 591000 | #Constraints: 29861 709.90/711.79 c INPROCESSING 709.90/711.79 c GARBAGE COLLECT 709.90/711.79 c rational objective 0 742.41/744.30 c #Conflicts: 592000 | #Constraints: 15647 742.41/744.30 c #Conflicts: 593000 | #Constraints: 16647 742.41/744.30 c #Conflicts: 594000 | #Constraints: 17647 742.41/744.30 c #Conflicts: 595000 | #Constraints: 18647 742.41/744.30 c #Conflicts: 596000 | #Constraints: 19647 742.41/744.30 c #Conflicts: 597000 | #Constraints: 20650 742.41/744.30 c #Conflicts: 598000 | #Constraints: 21650 742.41/744.30 c #Conflicts: 599000 | #Constraints: 22650 742.41/744.30 c #Conflicts: 600000 | #Constraints: 23650 742.41/744.30 c #Conflicts: 601000 | #Constraints: 24650 742.41/744.30 c #Conflicts: 602000 | #Constraints: 25650 742.41/744.30 c #Conflicts: 603000 | #Constraints: 26650 742.41/744.30 c #Conflicts: 604000 | #Constraints: 27650 742.41/744.30 c #Conflicts: 605000 | #Constraints: 28650 742.41/744.30 c #Conflicts: 606000 | #Constraints: 29651 742.41/744.30 c #Conflicts: 607000 | #Constraints: 30652 742.41/744.30 c INPROCESSING 742.41/744.30 c GARBAGE COLLECT 742.41/744.30 c rational objective 0 776.72/778.72 c #Conflicts: 608000 | #Constraints: 16245 776.72/778.72 c #Conflicts: 609000 | #Constraints: 17245 776.72/778.72 c #Conflicts: 610000 | #Constraints: 18245 776.72/778.72 c #Conflicts: 611000 | #Constraints: 19246 776.72/778.72 c #Conflicts: 612000 | #Constraints: 20246 776.72/778.72 c #Conflicts: 613000 | #Constraints: 21246 776.72/778.72 c #Conflicts: 614000 | #Constraints: 22247 776.72/778.72 c #Conflicts: 615000 | #Constraints: 23248 776.72/778.72 c #Conflicts: 616000 | #Constraints: 24248 776.72/778.72 c #Conflicts: 617000 | #Constraints: 25248 776.72/778.72 c #Conflicts: 618000 | #Constraints: 26249 776.72/778.72 c #Conflicts: 619000 | #Constraints: 27250 776.72/778.72 c #Conflicts: 620000 | #Constraints: 28251 776.72/778.72 c #Conflicts: 621000 | #Constraints: 29252 776.72/778.72 c #Conflicts: 622000 | #Constraints: 30252 776.72/778.72 c #Conflicts: 623000 | #Constraints: 31252 776.72/778.72 c INPROCESSING 776.72/778.72 c GARBAGE COLLECT 776.72/778.72 c rational objective 0 809.74/811.84 c #Conflicts: 624000 | #Constraints: 16644 809.74/811.84 c #Conflicts: 625000 | #Constraints: 17645 809.74/811.84 c #Conflicts: 626000 | #Constraints: 18646 809.74/811.84 c #Conflicts: 627000 | #Constraints: 19646 809.74/811.84 c #Conflicts: 628000 | #Constraints: 20651 809.74/811.84 c #Conflicts: 629000 | #Constraints: 21651 809.74/811.84 c #Conflicts: 630000 | #Constraints: 22651 809.74/811.84 c #Conflicts: 631000 | #Constraints: 23651 809.74/811.84 c #Conflicts: 632000 | #Constraints: 24652 809.74/811.84 c #Conflicts: 633000 | #Constraints: 25655 809.74/811.84 c #Conflicts: 634000 | #Constraints: 26657 809.74/811.84 c #Conflicts: 635000 | #Constraints: 27657 809.74/811.84 c #Conflicts: 636000 | #Constraints: 28657 809.74/811.84 c #Conflicts: 637000 | #Constraints: 29657 809.74/811.84 c #Conflicts: 638000 | #Constraints: 30657 809.74/811.84 c #Conflicts: 639000 | #Constraints: 31657 809.74/811.84 c INPROCESSING 809.74/811.84 c GARBAGE COLLECT 809.74/811.84 c rational objective 0 843.05/845.28 c #Conflicts: 640000 | #Constraints: 16844 843.05/845.28 c #Conflicts: 641000 | #Constraints: 17845 843.05/845.28 c #Conflicts: 642000 | #Constraints: 18845 843.05/845.28 c #Conflicts: 643000 | #Constraints: 19846 843.05/845.28 c #Conflicts: 644000 | #Constraints: 20846 843.05/845.28 c #Conflicts: 645000 | #Constraints: 21846 843.05/845.28 c #Conflicts: 646000 | #Constraints: 22847 843.05/845.28 c #Conflicts: 647000 | #Constraints: 23848 843.05/845.28 c #Conflicts: 648000 | #Constraints: 24849 843.05/845.28 c #Conflicts: 649000 | #Constraints: 25850 843.05/845.28 c #Conflicts: 650000 | #Constraints: 26851 843.05/845.28 c #Conflicts: 651000 | #Constraints: 27852 843.05/845.28 c #Conflicts: 652000 | #Constraints: 28852 843.05/845.28 c #Conflicts: 653000 | #Constraints: 29852 843.05/845.28 c #Conflicts: 654000 | #Constraints: 30852 843.05/845.28 c #Conflicts: 655000 | #Constraints: 31854 843.05/845.28 c INPROCESSING 843.05/845.28 c GARBAGE COLLECT 843.05/845.28 c rational objective 0 878.16/880.48 c #Conflicts: 656000 | #Constraints: 16845 878.16/880.48 c #Conflicts: 657000 | #Constraints: 17846 878.16/880.48 c #Conflicts: 658000 | #Constraints: 18846 878.16/880.48 c #Conflicts: 659000 | #Constraints: 19846 878.16/880.48 c #Conflicts: 660000 | #Constraints: 20848 878.16/880.48 c #Conflicts: 661000 | #Constraints: 21849 878.16/880.48 c #Conflicts: 662000 | #Constraints: 22849 878.16/880.48 c #Conflicts: 663000 | #Constraints: 23849 878.16/880.48 c #Conflicts: 664000 | #Constraints: 24850 878.16/880.48 c #Conflicts: 665000 | #Constraints: 25850 878.16/880.48 c #Conflicts: 666000 | #Constraints: 26851 878.16/880.48 c #Conflicts: 667000 | #Constraints: 27852 878.16/880.48 c #Conflicts: 668000 | #Constraints: 28852 878.16/880.48 c #Conflicts: 669000 | #Constraints: 29852 878.16/880.48 c #Conflicts: 670000 | #Constraints: 30852 878.16/880.48 c #Conflicts: 671000 | #Constraints: 31852 878.16/880.48 c INPROCESSING 878.16/880.48 c GARBAGE COLLECT 878.16/880.48 c rational objective 0 913.96/916.37 c #Conflicts: 672000 | #Constraints: 16643 913.96/916.37 c #Conflicts: 673000 | #Constraints: 17643 913.96/916.37 c #Conflicts: 674000 | #Constraints: 18643 913.96/916.37 c #Conflicts: 675000 | #Constraints: 19643 913.96/916.37 c #Conflicts: 676000 | #Constraints: 20643 913.96/916.37 c #Conflicts: 677000 | #Constraints: 21643 913.96/916.37 c #Conflicts: 678000 | #Constraints: 22645 913.96/916.37 c #Conflicts: 679000 | #Constraints: 23645 913.96/916.37 c #Conflicts: 680000 | #Constraints: 24645 913.96/916.37 c #Conflicts: 681000 | #Constraints: 25645 913.96/916.37 c #Conflicts: 682000 | #Constraints: 26645 913.96/916.37 c #Conflicts: 683000 | #Constraints: 27648 913.96/916.37 c #Conflicts: 684000 | #Constraints: 28648 913.96/916.37 c #Conflicts: 685000 | #Constraints: 29650 913.96/916.37 c #Conflicts: 686000 | #Constraints: 30651 913.96/916.37 c #Conflicts: 687000 | #Constraints: 31651 913.96/916.37 c #Conflicts: 688000 | #Constraints: 32653 913.96/916.37 c INPROCESSING 913.96/916.37 c GARBAGE COLLECT 913.96/916.37 c rational objective 0 951.17/953.63 c #Conflicts: 689000 | #Constraints: 17243 951.17/953.63 c #Conflicts: 690000 | #Constraints: 18243 951.17/953.63 c #Conflicts: 691000 | #Constraints: 19243 951.17/953.63 c #Conflicts: 692000 | #Constraints: 20243 951.17/953.63 c #Conflicts: 693000 | #Constraints: 21245 951.17/953.63 c #Conflicts: 694000 | #Constraints: 22245 951.17/953.63 c #Conflicts: 695000 | #Constraints: 23245 951.17/953.63 c #Conflicts: 696000 | #Constraints: 24245 951.17/953.63 c #Conflicts: 697000 | #Constraints: 25246 951.17/953.63 c #Conflicts: 698000 | #Constraints: 26246 951.17/953.63 c #Conflicts: 699000 | #Constraints: 27247 951.17/953.63 c #Conflicts: 700000 | #Constraints: 28247 951.17/953.63 c #Conflicts: 701000 | #Constraints: 29247 951.17/953.63 c #Conflicts: 702000 | #Constraints: 30247 951.17/953.63 c #Conflicts: 703000 | #Constraints: 31247 951.17/953.63 c #Conflicts: 704000 | #Constraints: 32247 951.17/953.63 c #Conflicts: 705000 | #Constraints: 33247 951.17/953.63 c INPROCESSING 951.17/953.63 c GARBAGE COLLECT 951.17/953.63 c rational objective 0 991.37/993.93 c #Conflicts: 706000 | #Constraints: 17643 991.37/993.93 c #Conflicts: 707000 | #Constraints: 18645 991.37/993.93 c #Conflicts: 708000 | #Constraints: 19646 991.37/993.93 c #Conflicts: 709000 | #Constraints: 20647 991.37/993.93 c #Conflicts: 710000 | #Constraints: 21647 991.37/993.93 c #Conflicts: 711000 | #Constraints: 22649 991.37/993.93 c #Conflicts: 712000 | #Constraints: 23649 991.37/993.93 c #Conflicts: 713000 | #Constraints: 24650 991.37/993.93 c #Conflicts: 714000 | #Constraints: 25650 991.37/993.93 c #Conflicts: 715000 | #Constraints: 26650 991.37/993.93 c #Conflicts: 716000 | #Constraints: 27651 991.37/993.93 c #Conflicts: 717000 | #Constraints: 28651 991.37/993.93 c #Conflicts: 718000 | #Constraints: 29651 991.37/993.93 c #Conflicts: 719000 | #Constraints: 30651 991.37/993.93 c #Conflicts: 720000 | #Constraints: 31651 991.37/993.93 c #Conflicts: 721000 | #Constraints: 32653 991.37/993.93 c #Conflicts: 722000 | #Constraints: 33653 991.37/993.93 c INPROCESSING 991.37/993.93 c GARBAGE COLLECT 991.37/993.93 c rational objective 0 1034.15/1036.85 c #Conflicts: 723000 | #Constraints: 17843 1034.15/1036.85 c #Conflicts: 724000 | #Constraints: 18843 1034.15/1036.85 c #Conflicts: 725000 | #Constraints: 19843 1034.15/1036.85 c #Conflicts: 726000 | #Constraints: 20843 1034.15/1036.85 c #Conflicts: 727000 | #Constraints: 21843 1034.15/1036.85 c #Conflicts: 728000 | #Constraints: 22843 1034.15/1036.85 c #Conflicts: 729000 | #Constraints: 23844 1034.15/1036.85 c #Conflicts: 730000 | #Constraints: 24844 1034.15/1036.85 c #Conflicts: 731000 | #Constraints: 25844 1034.15/1036.85 c #Conflicts: 732000 | #Constraints: 26844 1034.15/1036.85 c #Conflicts: 733000 | #Constraints: 27844 1034.15/1036.85 c #Conflicts: 734000 | #Constraints: 28844 1034.15/1036.85 c #Conflicts: 735000 | #Constraints: 29844 1034.15/1036.85 c #Conflicts: 736000 | #Constraints: 30844 1034.15/1036.85 c #Conflicts: 737000 | #Constraints: 31844 1034.15/1036.85 c #Conflicts: 738000 | #Constraints: 32844 1034.15/1036.85 c #Conflicts: 739000 | #Constraints: 33844 1034.15/1036.85 c INPROCESSING 1034.15/1036.85 c GARBAGE COLLECT 1034.15/1036.85 c rational objective 0 1074.15/1076.99 c #Conflicts: 740000 | #Constraints: 17841 1074.15/1076.99 c #Conflicts: 741000 | #Constraints: 18841 1074.15/1076.99 c #Conflicts: 742000 | #Constraints: 19841 1074.15/1076.99 c #Conflicts: 743000 | #Constraints: 20841 1074.15/1076.99 c #Conflicts: 744000 | #Constraints: 21843 1074.15/1076.99 c #Conflicts: 745000 | #Constraints: 22844 1074.15/1076.99 c #Conflicts: 746000 | #Constraints: 23846 1074.15/1076.99 c #Conflicts: 747000 | #Constraints: 24846 1074.15/1076.99 c #Conflicts: 748000 | #Constraints: 25849 1074.15/1076.99 c #Conflicts: 749000 | #Constraints: 26850 1074.15/1076.99 c #Conflicts: 750000 | #Constraints: 27853 1074.15/1076.99 c #Conflicts: 751000 | #Constraints: 28853 1074.15/1076.99 c #Conflicts: 752000 | #Constraints: 29854 1074.15/1076.99 c #Conflicts: 753000 | #Constraints: 30855 1074.15/1076.99 c #Conflicts: 754000 | #Constraints: 31856 1074.15/1076.99 c #Conflicts: 755000 | #Constraints: 32856 1074.15/1076.99 c #Conflicts: 756000 | #Constraints: 33856 1074.15/1076.99 c INPROCESSING 1074.15/1076.99 c GARBAGE COLLECT 1074.15/1076.99 c rational objective 0 1115.44/1118.32 c #Conflicts: 757000 | #Constraints: 17646 1115.44/1118.32 c #Conflicts: 758000 | #Constraints: 18646 1115.44/1118.32 c #Conflicts: 759000 | #Constraints: 19646 1115.44/1118.32 c #Conflicts: 760000 | #Constraints: 20648 1115.44/1118.32 c #Conflicts: 761000 | #Constraints: 21648 1115.44/1118.32 c #Conflicts: 762000 | #Constraints: 22648 1115.44/1118.32 c #Conflicts: 763000 | #Constraints: 23648 1115.44/1118.32 c #Conflicts: 764000 | #Constraints: 24650 1115.44/1118.32 c #Conflicts: 765000 | #Constraints: 25650 1115.44/1118.32 c #Conflicts: 766000 | #Constraints: 26652 1115.44/1118.32 c #Conflicts: 767000 | #Constraints: 27652 1115.44/1118.32 c #Conflicts: 768000 | #Constraints: 28653 1115.44/1118.32 c #Conflicts: 769000 | #Constraints: 29653 1115.44/1118.32 c #Conflicts: 770000 | #Constraints: 30655 1115.44/1118.32 c #Conflicts: 771000 | #Constraints: 31655 1115.44/1118.32 c #Conflicts: 772000 | #Constraints: 32655 1115.44/1118.32 c #Conflicts: 773000 | #Constraints: 33656 1115.44/1118.32 c #Conflicts: 774000 | #Constraints: 34656 1115.44/1118.32 c INPROCESSING 1115.44/1118.32 c GARBAGE COLLECT 1115.44/1118.32 c rational objective 0 1158.92/1161.99 c #Conflicts: 775000 | #Constraints: 18247 1158.92/1161.99 c #Conflicts: 776000 | #Constraints: 19247 1158.92/1161.99 c #Conflicts: 777000 | #Constraints: 20247 1158.92/1161.99 c #Conflicts: 778000 | #Constraints: 21247 1158.92/1161.99 c #Conflicts: 779000 | #Constraints: 22247 1158.92/1161.99 c #Conflicts: 780000 | #Constraints: 23247 1158.92/1161.99 c #Conflicts: 781000 | #Constraints: 24247 1158.92/1161.99 c #Conflicts: 782000 | #Constraints: 25247 1158.92/1161.99 c #Conflicts: 783000 | #Constraints: 26249 1158.92/1161.99 c #Conflicts: 784000 | #Constraints: 27249 1158.92/1161.99 c #Conflicts: 785000 | #Constraints: 28249 1158.92/1161.99 c #Conflicts: 786000 | #Constraints: 29249 1158.92/1161.99 c #Conflicts: 787000 | #Constraints: 30249 1158.92/1161.99 c #Conflicts: 788000 | #Constraints: 31249 1158.92/1161.99 c #Conflicts: 789000 | #Constraints: 32252 1158.92/1161.99 c #Conflicts: 790000 | #Constraints: 33254 1158.92/1161.99 c #Conflicts: 791000 | #Constraints: 34255 1158.92/1161.99 c #Conflicts: 792000 | #Constraints: 35256 1158.92/1161.99 c INPROCESSING 1158.92/1161.99 c GARBAGE COLLECT 1158.92/1161.99 c rational objective 0 1202.01/1205.19 c #Conflicts: 793000 | #Constraints: 18643 1202.01/1205.19 c #Conflicts: 794000 | #Constraints: 19643 1202.01/1205.19 c #Conflicts: 795000 | #Constraints: 20643 1202.01/1205.19 c #Conflicts: 796000 | #Constraints: 21643 1202.01/1205.19 c #Conflicts: 797000 | #Constraints: 22644 1202.01/1205.19 c #Conflicts: 798000 | #Constraints: 23645 1202.01/1205.19 c #Conflicts: 799000 | #Constraints: 24645 1202.01/1205.19 c #Conflicts: 800000 | #Constraints: 25646 1202.01/1205.19 c #Conflicts: 801000 | #Constraints: 26648 1202.01/1205.19 c #Conflicts: 802000 | #Constraints: 27648 1202.01/1205.19 c #Conflicts: 803000 | #Constraints: 28649 1202.01/1205.19 c #Conflicts: 804000 | #Constraints: 29649 1202.01/1205.19 c #Conflicts: 805000 | #Constraints: 30650 1202.01/1205.19 c #Conflicts: 806000 | #Constraints: 31650 1202.01/1205.19 c #Conflicts: 807000 | #Constraints: 32653 1202.01/1205.19 c #Conflicts: 808000 | #Constraints: 33654 1202.01/1205.19 c #Conflicts: 809000 | #Constraints: 34654 1202.01/1205.19 c #Conflicts: 810000 | #Constraints: 35654 1202.01/1205.19 c INPROCESSING 1202.01/1205.19 c GARBAGE COLLECT 1202.01/1205.19 c rational objective 0 1246.98/1250.22 c #Conflicts: 811000 | #Constraints: 18845 1246.98/1250.22 c #Conflicts: 812000 | #Constraints: 19845 1246.98/1250.22 c #Conflicts: 813000 | #Constraints: 20845 1246.98/1250.22 c #Conflicts: 814000 | #Constraints: 21849 1246.98/1250.22 c #Conflicts: 815000 | #Constraints: 22849 1246.98/1250.22 c #Conflicts: 816000 | #Constraints: 23849 1246.98/1250.22 c #Conflicts: 817000 | #Constraints: 24849 1246.98/1250.22 c #Conflicts: 818000 | #Constraints: 25850 1246.98/1250.22 c #Conflicts: 819000 | #Constraints: 26850 1246.98/1250.22 c #Conflicts: 820000 | #Constraints: 27850 1246.98/1250.22 c #Conflicts: 821000 | #Constraints: 28850 1246.98/1250.22 c #Conflicts: 822000 | #Constraints: 29850 1246.98/1250.22 c #Conflicts: 823000 | #Constraints: 30850 1246.98/1250.22 c #Conflicts: 824000 | #Constraints: 31850 1246.98/1250.22 c #Conflicts: 825000 | #Constraints: 32850 1246.98/1250.22 c #Conflicts: 826000 | #Constraints: 33850 1246.98/1250.22 c #Conflicts: 827000 | #Constraints: 34850 1246.98/1250.22 c #Conflicts: 828000 | #Constraints: 35851 1246.98/1250.22 c INPROCESSING 1246.98/1250.22 c GARBAGE COLLECT 1246.98/1250.22 c rational objective 0 1293.37/1296.71 c #Conflicts: 829000 | #Constraints: 18845 1293.37/1296.71 c #Conflicts: 830000 | #Constraints: 19845 1293.37/1296.71 c #Conflicts: 831000 | #Constraints: 20848 1293.37/1296.71 c #Conflicts: 832000 | #Constraints: 21848 1293.37/1296.71 c #Conflicts: 833000 | #Constraints: 22848 1293.37/1296.71 c #Conflicts: 834000 | #Constraints: 23848 1293.37/1296.71 c #Conflicts: 835000 | #Constraints: 24848 1293.37/1296.71 c #Conflicts: 836000 | #Constraints: 25848 1293.37/1296.71 c #Conflicts: 837000 | #Constraints: 26849 1293.37/1296.71 c #Conflicts: 838000 | #Constraints: 27849 1293.37/1296.71 c #Conflicts: 839000 | #Constraints: 28850 1293.37/1296.71 c #Conflicts: 840000 | #Constraints: 29850 1293.37/1296.71 c #Conflicts: 841000 | #Constraints: 30850 1293.37/1296.71 c #Conflicts: 842000 | #Constraints: 31850 1293.37/1296.71 c #Conflicts: 843000 | #Constraints: 32850 1293.37/1296.71 c #Conflicts: 844000 | #Constraints: 33850 1293.37/1296.71 c #Conflicts: 845000 | #Constraints: 34850 1293.37/1296.71 c #Conflicts: 846000 | #Constraints: 35850 1293.37/1296.71 c INPROCESSING 1293.37/1296.71 c GARBAGE COLLECT 1293.37/1296.71 c rational objective 0 1338.35/1341.87 c #Conflicts: 847000 | #Constraints: 18640 1338.35/1341.87 c #Conflicts: 848000 | #Constraints: 19640 1338.35/1341.87 c #Conflicts: 849000 | #Constraints: 20640 1338.35/1341.87 c #Conflicts: 850000 | #Constraints: 21640 1338.35/1341.87 c #Conflicts: 851000 | #Constraints: 22640 1338.35/1341.87 c #Conflicts: 852000 | #Constraints: 23640 1338.35/1341.87 c #Conflicts: 853000 | #Constraints: 24640 1338.35/1341.87 c #Conflicts: 854000 | #Constraints: 25641 1338.35/1341.87 c #Conflicts: 855000 | #Constraints: 26642 1338.35/1341.87 c #Conflicts: 856000 | #Constraints: 27642 1338.35/1341.87 c #Conflicts: 857000 | #Constraints: 28644 1338.35/1341.87 c #Conflicts: 858000 | #Constraints: 29644 1338.35/1341.87 c #Conflicts: 859000 | #Constraints: 30644 1338.35/1341.87 c #Conflicts: 860000 | #Constraints: 31644 1338.35/1341.87 c #Conflicts: 861000 | #Constraints: 32644 1338.35/1341.87 c #Conflicts: 862000 | #Constraints: 33644 1338.35/1341.87 c #Conflicts: 863000 | #Constraints: 34644 1338.35/1341.87 c #Conflicts: 864000 | #Constraints: 35644 1338.35/1341.87 c #Conflicts: 865000 | #Constraints: 36644 1338.35/1341.87 c INPROCESSING 1338.35/1341.87 c GARBAGE COLLECT 1338.35/1341.87 c rational objective 0 1382.64/1386.27 c #Conflicts: 866000 | #Constraints: 19235 1382.64/1386.27 c #Conflicts: 867000 | #Constraints: 20236 1382.64/1386.27 c #Conflicts: 868000 | #Constraints: 21236 1382.64/1386.27 c #Conflicts: 869000 | #Constraints: 22236 1382.64/1386.27 c #Conflicts: 870000 | #Constraints: 23237 1382.64/1386.27 c #Conflicts: 871000 | #Constraints: 24238 1382.64/1386.27 c #Conflicts: 872000 | #Constraints: 25238 1382.64/1386.27 c #Conflicts: 873000 | #Constraints: 26238 1382.64/1386.27 c #Conflicts: 874000 | #Constraints: 27238 1382.64/1386.27 c #Conflicts: 875000 | #Constraints: 28240 1382.64/1386.27 c #Conflicts: 876000 | #Constraints: 29240 1382.64/1386.27 c #Conflicts: 877000 | #Constraints: 30241 1382.64/1386.27 c #Conflicts: 878000 | #Constraints: 31241 1382.64/1386.27 c #Conflicts: 879000 | #Constraints: 32241 1382.64/1386.27 c #Conflicts: 880000 | #Constraints: 33242 1382.64/1386.27 c #Conflicts: 881000 | #Constraints: 34244 1382.64/1386.27 c #Conflicts: 882000 | #Constraints: 35247 1382.64/1386.27 c #Conflicts: 883000 | #Constraints: 36248 1382.64/1386.27 c #Conflicts: 884000 | #Constraints: 37250 1382.64/1386.27 c INPROCESSING 1382.64/1386.27 c GARBAGE COLLECT 1382.64/1386.27 c rational objective 0 1430.12/1433.87 c #Conflicts: 885000 | #Constraints: 19642 1430.12/1433.87 c #Conflicts: 886000 | #Constraints: 20642 1430.12/1433.87 c #Conflicts: 887000 | #Constraints: 21642 1430.12/1433.87 c #Conflicts: 888000 | #Constraints: 22642 1430.12/1433.87 c #Conflicts: 889000 | #Constraints: 23642 1430.12/1433.87 c #Conflicts: 890000 | #Constraints: 24643 1430.12/1433.87 c #Conflicts: 891000 | #Constraints: 25644 1430.12/1433.87 c #Conflicts: 892000 | #Constraints: 26644 1430.12/1433.87 c #Conflicts: 893000 | #Constraints: 27646 1430.12/1433.87 c #Conflicts: 894000 | #Constraints: 28647 1430.12/1433.87 c #Conflicts: 895000 | #Constraints: 29647 1430.12/1433.87 c #Conflicts: 896000 | #Constraints: 30647 1430.12/1433.87 c #Conflicts: 897000 | #Constraints: 31648 1430.12/1433.87 c #Conflicts: 898000 | #Constraints: 32648 1430.12/1433.87 c #Conflicts: 899000 | #Constraints: 33648 1430.12/1433.87 c #Conflicts: 900000 | #Constraints: 34648 1430.12/1433.87 c #Conflicts: 901000 | #Constraints: 35650 1430.12/1433.87 c #Conflicts: 902000 | #Constraints: 36650 1430.12/1433.87 c #Conflicts: 903000 | #Constraints: 37650 1430.12/1433.87 c INPROCESSING 1430.12/1433.87 c GARBAGE COLLECT 1430.12/1433.87 c rational objective 0 1475.91/1479.78 c #Conflicts: 904000 | #Constraints: 19844 1475.91/1479.78 c #Conflicts: 905000 | #Constraints: 20844 1475.91/1479.78 c #Conflicts: 906000 | #Constraints: 21844 1475.91/1479.78 c #Conflicts: 907000 | #Constraints: 22844 1475.91/1479.78 c #Conflicts: 908000 | #Constraints: 23845 1475.91/1479.78 c #Conflicts: 909000 | #Constraints: 24845 1475.91/1479.78 c #Conflicts: 910000 | #Constraints: 25845 1475.91/1479.78 c #Conflicts: 911000 | #Constraints: 26846 1475.91/1479.78 c #Conflicts: 912000 | #Constraints: 27846 1475.91/1479.78 c #Conflicts: 913000 | #Constraints: 28846 1475.91/1479.78 c #Conflicts: 914000 | #Constraints: 29846 1475.91/1479.78 c #Conflicts: 915000 | #Constraints: 30846 1475.91/1479.78 c #Conflicts: 916000 | #Constraints: 31849 1475.91/1479.78 c #Conflicts: 917000 | #Constraints: 32850 1475.91/1479.78 c #Conflicts: 918000 | #Constraints: 33851 1475.91/1479.78 c #Conflicts: 919000 | #Constraints: 34851 1475.91/1479.78 c #Conflicts: 920000 | #Constraints: 35851 1475.91/1479.78 c #Conflicts: 921000 | #Constraints: 36851 1475.91/1479.78 c #Conflicts: 922000 | #Constraints: 37852 1475.91/1479.78 c INPROCESSING 1475.91/1479.78 c GARBAGE COLLECT 1475.91/1479.78 c rational objective 0 1524.58/1528.57 c #Conflicts: 923000 | #Constraints: 19846 1524.58/1528.57 c #Conflicts: 924000 | #Constraints: 20846 1524.58/1528.57 c #Conflicts: 925000 | #Constraints: 21846 1524.58/1528.57 c #Conflicts: 926000 | #Constraints: 22849 1524.58/1528.57 c #Conflicts: 927000 | #Constraints: 23849 1524.58/1528.57 c #Conflicts: 928000 | #Constraints: 24851 1524.58/1528.57 c #Conflicts: 929000 | #Constraints: 25852 1524.58/1528.57 c #Conflicts: 930000 | #Constraints: 26852 1524.58/1528.57 c #Conflicts: 931000 | #Constraints: 27852 1524.58/1528.57 c #Conflicts: 932000 | #Constraints: 28852 1524.58/1528.57 c #Conflicts: 933000 | #Constraints: 29853 1524.58/1528.57 c #Conflicts: 934000 | #Constraints: 30853 1524.58/1528.57 c #Conflicts: 935000 | #Constraints: 31854 1524.58/1528.57 c #Conflicts: 936000 | #Constraints: 32854 1524.58/1528.57 c #Conflicts: 937000 | #Constraints: 33854 1524.58/1528.57 c #Conflicts: 938000 | #Constraints: 34854 1524.58/1528.57 c #Conflicts: 939000 | #Constraints: 35854 1524.58/1528.57 c #Conflicts: 940000 | #Constraints: 36854 1524.58/1528.57 c #Conflicts: 941000 | #Constraints: 37854 1524.58/1528.57 c INPROCESSING 1524.58/1528.57 c GARBAGE COLLECT 1524.58/1528.57 c rational objective 0 1577.06/1581.15 c #Conflicts: 942000 | #Constraints: 19647 1577.06/1581.15 c #Conflicts: 943000 | #Constraints: 20648 1577.06/1581.15 c #Conflicts: 944000 | #Constraints: 21649 1577.06/1581.15 c #Conflicts: 945000 | #Constraints: 22649 1577.06/1581.15 c #Conflicts: 946000 | #Constraints: 23650 1577.06/1581.15 c #Conflicts: 947000 | #Constraints: 24651 1577.06/1581.15 c #Conflicts: 948000 | #Constraints: 25651 1577.06/1581.15 c #Conflicts: 949000 | #Constraints: 26651 1577.06/1581.15 c #Conflicts: 950000 | #Constraints: 27651 1577.06/1581.15 c #Conflicts: 951000 | #Constraints: 28651 1577.06/1581.15 c #Conflicts: 952000 | #Constraints: 29651 1577.06/1581.15 c #Conflicts: 953000 | #Constraints: 30652 1577.06/1581.15 c #Conflicts: 954000 | #Constraints: 31653 1577.06/1581.15 c #Conflicts: 955000 | #Constraints: 32653 1577.06/1581.15 c #Conflicts: 956000 | #Constraints: 33655 1577.06/1581.15 c #Conflicts: 957000 | #Constraints: 34655 1577.06/1581.15 c #Conflicts: 958000 | #Constraints: 35655 1577.06/1581.15 c #Conflicts: 959000 | #Constraints: 36655 1577.06/1581.15 c #Conflicts: 960000 | #Constraints: 37655 1577.06/1581.15 c #Conflicts: 961000 | #Constraints: 38658 1577.06/1581.15 c INPROCESSING 1577.06/1581.15 c GARBAGE COLLECT 1577.06/1581.15 c rational objective 0 1625.64/1629.90 c #Conflicts: 962000 | #Constraints: 20246 1625.64/1629.90 c #Conflicts: 963000 | #Constraints: 21246 1625.64/1629.90 c #Conflicts: 964000 | #Constraints: 22247 1625.64/1629.90 c #Conflicts: 965000 | #Constraints: 23248 1625.64/1629.90 c #Conflicts: 966000 | #Constraints: 24248 1625.64/1629.90 c #Conflicts: 967000 | #Constraints: 25249 1625.64/1629.90 c #Conflicts: 968000 | #Constraints: 26251 1625.64/1629.90 c #Conflicts: 969000 | #Constraints: 27251 1625.64/1629.90 c #Conflicts: 970000 | #Constraints: 28251 1625.64/1629.90 c #Conflicts: 971000 | #Constraints: 29253 1625.64/1629.90 c #Conflicts: 972000 | #Constraints: 30253 1625.64/1629.90 c #Conflicts: 973000 | #Constraints: 31254 1625.64/1629.90 c #Conflicts: 974000 | #Constraints: 32255 1625.64/1629.90 c #Conflicts: 975000 | #Constraints: 33255 1625.64/1629.90 c #Conflicts: 976000 | #Constraints: 34256 1625.64/1629.90 c #Conflicts: 977000 | #Constraints: 35256 1625.64/1629.90 c #Conflicts: 978000 | #Constraints: 36256 1625.64/1629.90 c #Conflicts: 979000 | #Constraints: 37257 1625.64/1629.90 c #Conflicts: 980000 | #Constraints: 38260 1625.64/1629.90 c #Conflicts: 981000 | #Constraints: 39261 1625.64/1629.90 c INPROCESSING 1625.64/1629.90 c GARBAGE COLLECT 1625.64/1629.90 c rational objective 0 1683.59/1687.91 c #Conflicts: 982000 | #Constraints: 20647 1683.59/1687.91 c #Conflicts: 983000 | #Constraints: 21649 1683.59/1687.91 c #Conflicts: 984000 | #Constraints: 22649 1683.59/1687.91 c #Conflicts: 985000 | #Constraints: 23649 1683.59/1687.91 c #Conflicts: 986000 | #Constraints: 24650 1683.59/1687.91 c #Conflicts: 987000 | #Constraints: 25650 1683.59/1687.91 c #Conflicts: 988000 | #Constraints: 26650 1683.59/1687.91 c #Conflicts: 989000 | #Constraints: 27650 1683.59/1687.91 c #Conflicts: 990000 | #Constraints: 28650 1683.59/1687.91 c #Conflicts: 991000 | #Constraints: 29651 1683.59/1687.91 c #Conflicts: 992000 | #Constraints: 30651 1683.59/1687.91 c #Conflicts: 993000 | #Constraints: 31651 1683.59/1687.91 c #Conflicts: 994000 | #Constraints: 32652 1683.59/1687.91 c #Conflicts: 995000 | #Constraints: 33652 1683.59/1687.91 c #Conflicts: 996000 | #Constraints: 34652 1683.59/1687.91 c #Conflicts: 997000 | #Constraints: 35652 1683.59/1687.91 c #Conflicts: 998000 | #Constraints: 36652 1683.59/1687.91 c #Conflicts: 999000 | #Constraints: 37653 1683.59/1687.91 c #Conflicts: 1000000 | #Constraints: 38653 1683.59/1687.91 c #Conflicts: 1001000 | #Constraints: 39654 1683.59/1687.91 c INPROCESSING 1683.59/1687.91 c GARBAGE COLLECT 1683.59/1687.91 c rational objective 0 1747.13/1751.69 c #Conflicts: 1002000 | #Constraints: 20847 1747.13/1751.69 c #Conflicts: 1003000 | #Constraints: 21847 1747.13/1751.69 c #Conflicts: 1004000 | #Constraints: 22847 1747.13/1751.69 c #Conflicts: 1005000 | #Constraints: 23847 1747.13/1751.69 c #Conflicts: 1006000 | #Constraints: 24847 1747.13/1751.69 c #Conflicts: 1007000 | #Constraints: 25847 1747.13/1751.69 c #Conflicts: 1008000 | #Constraints: 26847 1747.13/1751.69 c #Conflicts: 1009000 | #Constraints: 27847 1747.13/1751.69 c #Conflicts: 1010000 | #Constraints: 28848 1747.13/1751.69 c #Conflicts: 1011000 | #Constraints: 29848 1747.13/1751.69 c #Conflicts: 1012000 | #Constraints: 30848 1747.13/1751.69 c #Conflicts: 1013000 | #Constraints: 31848 1747.13/1751.69 c #Conflicts: 1014000 | #Constraints: 32848 1747.13/1751.69 c #Conflicts: 1015000 | #Constraints: 33848 1747.13/1751.69 c #Conflicts: 1016000 | #Constraints: 34848 1747.13/1751.69 c #Conflicts: 1017000 | #Constraints: 35848 1747.13/1751.69 c #Conflicts: 1018000 | #Constraints: 36849 1747.13/1751.69 c #Conflicts: 1019000 | #Constraints: 37849 1747.13/1751.69 c #Conflicts: 1020000 | #Constraints: 38849 1747.13/1751.69 c #Conflicts: 1021000 | #Constraints: 39850 1747.13/1751.69 c INPROCESSING 1747.13/1751.69 c GARBAGE COLLECT 1747.13/1751.69 c rational objective 0 1808.27/1812.94 c #Conflicts: 1022000 | #Constraints: 20844 1808.27/1812.94 c #Conflicts: 1023000 | #Constraints: 21844 1808.27/1812.94 c #Conflicts: 1024000 | #Constraints: 22844 1808.27/1812.94 c #Conflicts: 1025000 | #Constraints: 23845 1808.27/1812.94 c #Conflicts: 1026000 | #Constraints: 24845 1808.27/1812.94 c #Conflicts: 1027000 | #Constraints: 25846 1808.27/1812.94 c #Conflicts: 1028000 | #Constraints: 26846 1808.27/1812.94 c #Conflicts: 1029000 | #Constraints: 27846 1808.27/1812.94 c #Conflicts: 1030000 | #Constraints: 28846 1808.27/1812.94 c #Conflicts: 1031000 | #Constraints: 29846 1808.27/1812.94 c #Conflicts: 1032000 | #Constraints: 30846 1808.27/1812.94 c #Conflicts: 1033000 | #Constraints: 31846 1808.27/1812.94 c #Conflicts: 1034000 | #Constraints: 32846 1808.27/1812.94 c #Conflicts: 1035000 | #Constraints: 33846 1808.27/1812.94 c #Conflicts: 1036000 | #Constraints: 34846 1808.27/1812.94 c #Conflicts: 1037000 | #Constraints: 35846 1808.27/1812.94 c #Conflicts: 1038000 | #Constraints: 36846 1808.27/1812.94 c #Conflicts: 1039000 | #Constraints: 37847 1808.27/1812.94 c #Conflicts: 1040000 | #Constraints: 38847 1808.27/1812.94 c #Conflicts: 1041000 | #Constraints: 39847 1808.27/1812.94 c INPROCESSING 1808.27/1812.94 c GARBAGE COLLECT 1808.27/1812.94 c rational objective 0 1872.60/1877.42 c #Conflicts: 1042000 | #Constraints: 20644 1872.60/1877.42 c #Conflicts: 1043000 | #Constraints: 21644 1872.60/1877.42 c #Conflicts: 1044000 | #Constraints: 22644 1872.60/1877.42 c #Conflicts: 1045000 | #Constraints: 23644 1872.60/1877.42 c #Conflicts: 1046000 | #Constraints: 24645 1872.60/1877.42 c #Conflicts: 1047000 | #Constraints: 25645 1872.60/1877.42 c #Conflicts: 1048000 | #Constraints: 26646 1872.60/1877.42 c #Conflicts: 1049000 | #Constraints: 27647 1872.60/1877.42 c #Conflicts: 1050000 | #Constraints: 28647 1872.60/1877.42 c #Conflicts: 1051000 | #Constraints: 29647 1872.60/1877.42 c #Conflicts: 1052000 | #Constraints: 30647 1872.60/1877.42 c #Conflicts: 1053000 | #Constraints: 31647 1872.60/1877.42 c #Conflicts: 1054000 | #Constraints: 32647 1872.60/1877.42 c #Conflicts: 1055000 | #Constraints: 33647 1872.60/1877.42 c #Conflicts: 1056000 | #Constraints: 34647 1872.60/1877.42 c #Conflicts: 1057000 | #Constraints: 35647 1872.60/1877.42 c #Conflicts: 1058000 | #Constraints: 36647 1872.60/1877.42 c #Conflicts: 1059000 | #Constraints: 37647 1872.60/1877.42 c #Conflicts: 1060000 | #Constraints: 38648 1872.60/1877.42 c #Conflicts: 1061000 | #Constraints: 39652 1872.60/1877.42 c #Conflicts: 1062000 | #Constraints: 40652 1872.60/1877.42 c INPROCESSING 1872.60/1877.42 c GARBAGE COLLECT 1872.60/1877.42 c rational objective 0 1931.44/1936.43 c #Conflicts: 1063000 | #Constraints: 21243 1931.44/1936.43 c #Conflicts: 1064000 | #Constraints: 22243 1931.44/1936.43 c #Conflicts: 1065000 | #Constraints: 23243 1931.44/1936.43 c #Conflicts: 1066000 | #Constraints: 24244 1931.44/1936.43 c #Conflicts: 1067000 | #Constraints: 25244 1931.44/1936.43 c #Conflicts: 1068000 | #Constraints: 26244 1931.44/1936.43 c #Conflicts: 1069000 | #Constraints: 27246 1931.44/1936.43 c #Conflicts: 1070000 | #Constraints: 28247 1931.44/1936.43 c #Conflicts: 1071000 | #Constraints: 29249 1931.44/1936.43 c #Conflicts: 1072000 | #Constraints: 30250 1931.44/1936.43 c #Conflicts: 1073000 | #Constraints: 31251 1931.44/1936.43 c #Conflicts: 1074000 | #Constraints: 32253 1931.44/1936.43 c #Conflicts: 1075000 | #Constraints: 33253 1931.44/1936.43 c #Conflicts: 1076000 | #Constraints: 34255 1931.44/1936.43 c #Conflicts: 1077000 | #Constraints: 35255 1931.44/1936.43 c #Conflicts: 1078000 | #Constraints: 36255 1931.44/1936.43 c #Conflicts: 1079000 | #Constraints: 37256 1931.44/1936.43 c #Conflicts: 1080000 | #Constraints: 38256 1931.44/1936.43 c #Conflicts: 1081000 | #Constraints: 39256 1931.44/1936.43 c #Conflicts: 1082000 | #Constraints: 40256 1931.44/1936.43 c #Conflicts: 1083000 | #Constraints: 41256 1931.44/1936.43 c INPROCESSING 1931.44/1936.43 c GARBAGE COLLECT 1931.44/1936.43 c rational objective 0 1989.29/1994.47 c #Conflicts: 1084000 | #Constraints: 21648 1989.29/1994.47 c #Conflicts: 1085000 | #Constraints: 22648 1989.29/1994.47 c #Conflicts: 1086000 | #Constraints: 23648 1989.29/1994.47 c #Conflicts: 1087000 | #Constraints: 24648 1989.29/1994.47 c #Conflicts: 1088000 | #Constraints: 25648 1989.29/1994.47 c #Conflicts: 1089000 | #Constraints: 26648 1989.29/1994.47 c #Conflicts: 1090000 | #Constraints: 27648 1989.29/1994.47 c #Conflicts: 1091000 | #Constraints: 28649 1989.29/1994.47 c #Conflicts: 1092000 | #Constraints: 29649 1989.29/1994.47 c #Conflicts: 1093000 | #Constraints: 30649 1989.29/1994.47 c #Conflicts: 1094000 | #Constraints: 31649 1989.29/1994.47 c #Conflicts: 1095000 | #Constraints: 32649 1989.29/1994.47 c #Conflicts: 1096000 | #Constraints: 33649 1989.29/1994.47 c #Conflicts: 1097000 | #Constraints: 34649 1989.29/1994.47 c #Conflicts: 1098000 | #Constraints: 35649 1989.29/1994.47 c #Conflicts: 1099000 | #Constraints: 36649 1989.29/1994.47 c #Conflicts: 1100000 | #Constraints: 37649 1989.29/1994.47 c #Conflicts: 1101000 | #Constraints: 38650 1989.29/1994.47 c #Conflicts: 1102000 | #Constraints: 39650 1989.29/1994.47 c #Conflicts: 1103000 | #Constraints: 40650 1989.29/1994.47 c #Conflicts: 1104000 | #Constraints: 41651 1989.29/1994.47 c INPROCESSING 1989.29/1994.47 c GARBAGE COLLECT 1989.29/1994.47 c rational objective 0 2049.34/2054.65 c #Conflicts: 1105000 | #Constraints: 21843 2049.34/2054.65 c #Conflicts: 1106000 | #Constraints: 22843 2049.34/2054.65 c #Conflicts: 1107000 | #Constraints: 23843 2049.34/2054.65 c #Conflicts: 1108000 | #Constraints: 24843 2049.34/2054.65 c #Conflicts: 1109000 | #Constraints: 25843 2049.34/2054.65 c #Conflicts: 1110000 | #Constraints: 26843 2049.34/2054.65 c #Conflicts: 1111000 | #Constraints: 27843 2049.34/2054.65 c #Conflicts: 1112000 | #Constraints: 28843 2049.34/2054.65 c #Conflicts: 1113000 | #Constraints: 29844 2049.34/2054.65 c #Conflicts: 1114000 | #Constraints: 30844 2049.34/2054.65 c #Conflicts: 1115000 | #Constraints: 31844 2049.34/2054.65 c #Conflicts: 1116000 | #Constraints: 32844 2049.34/2054.65 c #Conflicts: 1117000 | #Constraints: 33844 2049.34/2054.65 c #Conflicts: 1118000 | #Constraints: 34844 2049.34/2054.65 c #Conflicts: 1119000 | #Constraints: 35846 2049.34/2054.65 c #Conflicts: 1120000 | #Constraints: 36846 2049.34/2054.65 c #Conflicts: 1121000 | #Constraints: 37847 2049.34/2054.65 c #Conflicts: 1122000 | #Constraints: 38847 2049.34/2054.65 c #Conflicts: 1123000 | #Constraints: 39847 2049.34/2054.65 c #Conflicts: 1124000 | #Constraints: 40848 2049.34/2054.65 c #Conflicts: 1125000 | #Constraints: 41848 2049.34/2054.65 c INPROCESSING 2049.34/2054.65 c GARBAGE COLLECT 2049.34/2054.65 c rational objective 0 2104.90/2110.30 c #Conflicts: 1126000 | #Constraints: 21843 2104.90/2110.30 c #Conflicts: 1127000 | #Constraints: 22843 2104.90/2110.30 c #Conflicts: 1128000 | #Constraints: 23843 2104.90/2110.30 c #Conflicts: 1129000 | #Constraints: 24844 2104.90/2110.30 c #Conflicts: 1130000 | #Constraints: 25844 2104.90/2110.30 c #Conflicts: 1131000 | #Constraints: 26845 2104.90/2110.30 c #Conflicts: 1132000 | #Constraints: 27846 2104.90/2110.30 c #Conflicts: 1133000 | #Constraints: 28846 2104.90/2110.30 c #Conflicts: 1134000 | #Constraints: 29846 2104.90/2110.30 c #Conflicts: 1135000 | #Constraints: 30846 2104.90/2110.30 c #Conflicts: 1136000 | #Constraints: 31846 2104.90/2110.30 c #Conflicts: 1137000 | #Constraints: 32846 2104.90/2110.30 c #Conflicts: 1138000 | #Constraints: 33846 2104.90/2110.30 c #Conflicts: 1139000 | #Constraints: 34848 2104.90/2110.30 c #Conflicts: 1140000 | #Constraints: 35848 2104.90/2110.30 c #Conflicts: 1141000 | #Constraints: 36848 2104.90/2110.30 c #Conflicts: 1142000 | #Constraints: 37849 2104.90/2110.30 c #Conflicts: 1143000 | #Constraints: 38849 2104.90/2110.30 c #Conflicts: 1144000 | #Constraints: 39849 2104.90/2110.30 c #Conflicts: 1145000 | #Constraints: 40849 2104.90/2110.30 c #Conflicts: 1146000 | #Constraints: 41849 2104.90/2110.30 c INPROCESSING 2104.90/2110.30 c GARBAGE COLLECT 2104.90/2110.30 c rational objective 0 2158.48/2164.02 c #Conflicts: 1147000 | #Constraints: 21642 2158.48/2164.02 c #Conflicts: 1148000 | #Constraints: 22642 2158.48/2164.02 c #Conflicts: 1149000 | #Constraints: 23644 2158.48/2164.02 c #Conflicts: 1150000 | #Constraints: 24645 2158.48/2164.02 c #Conflicts: 1151000 | #Constraints: 25646 2158.48/2164.02 c #Conflicts: 1152000 | #Constraints: 26647 2158.48/2164.02 c #Conflicts: 1153000 | #Constraints: 27647 2158.48/2164.02 c #Conflicts: 1154000 | #Constraints: 28648 2158.48/2164.02 c #Conflicts: 1155000 | #Constraints: 29648 2158.48/2164.02 c #Conflicts: 1156000 | #Constraints: 30648 2158.48/2164.02 c #Conflicts: 1157000 | #Constraints: 31648 2158.48/2164.02 c #Conflicts: 1158000 | #Constraints: 32649 2158.48/2164.02 c #Conflicts: 1159000 | #Constraints: 33651 2158.48/2164.02 c #Conflicts: 1160000 | #Constraints: 34653 2158.48/2164.02 c #Conflicts: 1161000 | #Constraints: 35653 2158.48/2164.02 c #Conflicts: 1162000 | #Constraints: 36653 2158.48/2164.02 c #Conflicts: 1163000 | #Constraints: 37653 2158.48/2164.02 c #Conflicts: 1164000 | #Constraints: 38653 2158.48/2164.02 c #Conflicts: 1165000 | #Constraints: 39655 2158.48/2164.02 c #Conflicts: 1166000 | #Constraints: 40655 2158.48/2164.02 c #Conflicts: 1167000 | #Constraints: 41657 2158.48/2164.02 c #Conflicts: 1168000 | #Constraints: 42657 2158.48/2164.02 c INPROCESSING 2158.48/2164.02 c GARBAGE COLLECT 2158.48/2164.02 c rational objective 0 2217.73/2223.42 c #Conflicts: 1169000 | #Constraints: 22247 2217.73/2223.42 c #Conflicts: 1170000 | #Constraints: 23247 2217.73/2223.42 c #Conflicts: 1171000 | #Constraints: 24247 2217.73/2223.42 c #Conflicts: 1172000 | #Constraints: 25248 2217.73/2223.42 c #Conflicts: 1173000 | #Constraints: 26248 2217.73/2223.42 c #Conflicts: 1174000 | #Constraints: 27248 2217.73/2223.42 c #Conflicts: 1175000 | #Constraints: 28248 2217.73/2223.42 c #Conflicts: 1176000 | #Constraints: 29248 2217.73/2223.42 c #Conflicts: 1177000 | #Constraints: 30248 2217.73/2223.42 c #Conflicts: 1178000 | #Constraints: 31249 2217.73/2223.42 c #Conflicts: 1179000 | #Constraints: 32249 2217.73/2223.42 c #Conflicts: 1180000 | #Constraints: 33249 2217.73/2223.42 c #Conflicts: 1181000 | #Constraints: 34250 2217.73/2223.42 c #Conflicts: 1182000 | #Constraints: 35250 2217.73/2223.42 c #Conflicts: 1183000 | #Constraints: 36252 2217.73/2223.42 c #Conflicts: 1184000 | #Constraints: 37252 2217.73/2223.42 c #Conflicts: 1185000 | #Constraints: 38252 2217.73/2223.42 c #Conflicts: 1186000 | #Constraints: 39252 2217.73/2223.42 c #Conflicts: 1187000 | #Constraints: 40253 2217.73/2223.42 c #Conflicts: 1188000 | #Constraints: 41253 2217.73/2223.42 c #Conflicts: 1189000 | #Constraints: 42253 2217.73/2223.42 c #Conflicts: 1190000 | #Constraints: 43253 2217.73/2223.42 c INPROCESSING 2217.73/2223.42 c GARBAGE COLLECT 2217.73/2223.42 c rational objective 0 2278.09/2283.93 c #Conflicts: 1191000 | #Constraints: 22642 2278.09/2283.93 c #Conflicts: 1192000 | #Constraints: 23643 2278.09/2283.93 c #Conflicts: 1193000 | #Constraints: 24643 2278.09/2283.93 c #Conflicts: 1194000 | #Constraints: 25644 2278.09/2283.93 c #Conflicts: 1195000 | #Constraints: 26644 2278.09/2283.93 c #Conflicts: 1196000 | #Constraints: 27644 2278.09/2283.93 c #Conflicts: 1197000 | #Constraints: 28644 2278.09/2283.93 c #Conflicts: 1198000 | #Constraints: 29644 2278.09/2283.93 c #Conflicts: 1199000 | #Constraints: 30644 2278.09/2283.93 c #Conflicts: 1200000 | #Constraints: 31645 2278.09/2283.93 c #Conflicts: 1201000 | #Constraints: 32646 2278.09/2283.93 c #Conflicts: 1202000 | #Constraints: 33646 2278.09/2283.93 c #Conflicts: 1203000 | #Constraints: 34646 2278.09/2283.93 c #Conflicts: 1204000 | #Constraints: 35646 2278.09/2283.93 c #Conflicts: 1205000 | #Constraints: 36648 2278.09/2283.93 c #Conflicts: 1206000 | #Constraints: 37648 2278.09/2283.93 c #Conflicts: 1207000 | #Constraints: 38649 2278.09/2283.93 c #Conflicts: 1208000 | #Constraints: 39650 2278.09/2283.93 c #Conflicts: 1209000 | #Constraints: 40651 2278.09/2283.93 c #Conflicts: 1210000 | #Constraints: 41651 2278.09/2283.94 c #Conflicts: 1211000 | #Constraints: 42651 2278.09/2283.94 c #Conflicts: 1212000 | #Constraints: 43651 2278.09/2283.94 c INPROCESSING 2278.09/2283.94 c GARBAGE COLLECT 2278.09/2283.94 c rational objective 0 2346.23/2352.24 c #Conflicts: 1213000 | #Constraints: 22846 2346.23/2352.24 c #Conflicts: 1214000 | #Constraints: 23847 2346.23/2352.24 c #Conflicts: 1215000 | #Constraints: 24847 2346.23/2352.24 c #Conflicts: 1216000 | #Constraints: 25847 2346.23/2352.24 c #Conflicts: 1217000 | #Constraints: 26847 2346.23/2352.24 c #Conflicts: 1218000 | #Constraints: 27848 2346.23/2352.24 c #Conflicts: 1219000 | #Constraints: 28848 2346.23/2352.24 c #Conflicts: 1220000 | #Constraints: 29848 2346.23/2352.24 c #Conflicts: 1221000 | #Constraints: 30848 2346.23/2352.24 c #Conflicts: 1222000 | #Constraints: 31848 2346.23/2352.24 c #Conflicts: 1223000 | #Constraints: 32848 2346.23/2352.24 c #Conflicts: 1224000 | #Constraints: 33848 2346.23/2352.24 c #Conflicts: 1225000 | #Constraints: 34848 2346.23/2352.24 c #Conflicts: 1226000 | #Constraints: 35848 2346.23/2352.24 c #Conflicts: 1227000 | #Constraints: 36848 2346.23/2352.24 c #Conflicts: 1228000 | #Constraints: 37848 2346.23/2352.24 c #Conflicts: 1229000 | #Constraints: 38848 2346.23/2352.24 c #Conflicts: 1230000 | #Constraints: 39849 2346.23/2352.24 c #Conflicts: 1231000 | #Constraints: 40849 2346.23/2352.24 c #Conflicts: 1232000 | #Constraints: 41850 2346.23/2352.24 c #Conflicts: 1233000 | #Constraints: 42851 2346.23/2352.24 c #Conflicts: 1234000 | #Constraints: 43852 2346.23/2352.24 c INPROCESSING 2346.23/2352.24 c GARBAGE COLLECT 2346.23/2352.24 c rational objective 0 2413.86/2420.03 c #Conflicts: 1235000 | #Constraints: 22847 2413.86/2420.03 c #Conflicts: 1236000 | #Constraints: 23848 2413.86/2420.03 c #Conflicts: 1237000 | #Constraints: 24848 2413.86/2420.03 c #Conflicts: 1238000 | #Constraints: 25848 2413.86/2420.03 c #Conflicts: 1239000 | #Constraints: 26849 2413.86/2420.03 c #Conflicts: 1240000 | #Constraints: 27849 2413.86/2420.03 c #Conflicts: 1241000 | #Constraints: 28850 2413.86/2420.03 c #Conflicts: 1242000 | #Constraints: 29851 2413.86/2420.03 c #Conflicts: 1243000 | #Constraints: 30852 2413.86/2420.03 c #Conflicts: 1244000 | #Constraints: 31852 2413.86/2420.03 c #Conflicts: 1245000 | #Constraints: 32852 2413.86/2420.03 c #Conflicts: 1246000 | #Constraints: 33852 2413.86/2420.03 c #Conflicts: 1247000 | #Constraints: 34852 2413.86/2420.03 c #Conflicts: 1248000 | #Constraints: 35852 2413.86/2420.03 c #Conflicts: 1249000 | #Constraints: 36852 2413.86/2420.03 c #Conflicts: 1250000 | #Constraints: 37853 2413.86/2420.03 c #Conflicts: 1251000 | #Constraints: 38853 2413.86/2420.03 c #Conflicts: 1252000 | #Constraints: 39853 2413.86/2420.03 c #Conflicts: 1253000 | #Constraints: 40855 2413.86/2420.03 c #Conflicts: 1254000 | #Constraints: 41855 2413.86/2420.03 c #Conflicts: 1255000 | #Constraints: 42855 2413.86/2420.03 c #Conflicts: 1256000 | #Constraints: 43855 2413.86/2420.03 c INPROCESSING 2413.86/2420.03 c GARBAGE COLLECT 2413.86/2420.03 c rational objective 0 2481.00/2487.38 c #Conflicts: 1257000 | #Constraints: 22646 2481.00/2487.38 c #Conflicts: 1258000 | #Constraints: 23647 2481.00/2487.38 c #Conflicts: 1259000 | #Constraints: 24649 2481.00/2487.38 c #Conflicts: 1260000 | #Constraints: 25649 2481.00/2487.38 c #Conflicts: 1261000 | #Constraints: 26649 2481.00/2487.38 c #Conflicts: 1262000 | #Constraints: 27649 2481.00/2487.38 c #Conflicts: 1263000 | #Constraints: 28649 2481.00/2487.38 c #Conflicts: 1264000 | #Constraints: 29650 2481.00/2487.38 c #Conflicts: 1265000 | #Constraints: 30650 2481.00/2487.38 c #Conflicts: 1266000 | #Constraints: 31651 2481.00/2487.38 c #Conflicts: 1267000 | #Constraints: 32653 2481.00/2487.38 c #Conflicts: 1268000 | #Constraints: 33653 2481.00/2487.38 c #Conflicts: 1269000 | #Constraints: 34653 2481.00/2487.38 c #Conflicts: 1270000 | #Constraints: 35654 2481.00/2487.38 c #Conflicts: 1271000 | #Constraints: 36654 2481.00/2487.38 c #Conflicts: 1272000 | #Constraints: 37654 2481.00/2487.38 c #Conflicts: 1273000 | #Constraints: 38654 2481.00/2487.38 c #Conflicts: 1274000 | #Constraints: 39654 2481.00/2487.38 c #Conflicts: 1275000 | #Constraints: 40654 2481.00/2487.38 c #Conflicts: 1276000 | #Constraints: 41654 2481.00/2487.38 c #Conflicts: 1277000 | #Constraints: 42654 2481.00/2487.38 c #Conflicts: 1278000 | #Constraints: 43654 2481.00/2487.38 c #Conflicts: 1279000 | #Constraints: 44657 2481.00/2487.38 c INPROCESSING 2481.00/2487.38 c GARBAGE COLLECT 2481.00/2487.38 c rational objective 0 2551.73/2558.27 c #Conflicts: 1280000 | #Constraints: 23248 2551.73/2558.27 c #Conflicts: 1281000 | #Constraints: 24249 2551.73/2558.27 c #Conflicts: 1282000 | #Constraints: 25249 2551.73/2558.27 c #Conflicts: 1283000 | #Constraints: 26249 2551.73/2558.27 c #Conflicts: 1284000 | #Constraints: 27249 2551.73/2558.27 c #Conflicts: 1285000 | #Constraints: 28249 2551.73/2558.27 c #Conflicts: 1286000 | #Constraints: 29249 2551.73/2558.27 c #Conflicts: 1287000 | #Constraints: 30249 2551.73/2558.27 c #Conflicts: 1288000 | #Constraints: 31250 2551.73/2558.27 c #Conflicts: 1289000 | #Constraints: 32250 2551.73/2558.27 c #Conflicts: 1290000 | #Constraints: 33250 2551.73/2558.27 c #Conflicts: 1291000 | #Constraints: 34251 2551.73/2558.27 c #Conflicts: 1292000 | #Constraints: 35252 2551.73/2558.27 c #Conflicts: 1293000 | #Constraints: 36252 2551.73/2558.27 c #Conflicts: 1294000 | #Constraints: 37252 2551.73/2558.27 c #Conflicts: 1295000 | #Constraints: 38252 2551.73/2558.27 c #Conflicts: 1296000 | #Constraints: 39253 2551.73/2558.27 c #Conflicts: 1297000 | #Constraints: 40253 2551.73/2558.27 c #Conflicts: 1298000 | #Constraints: 41253 2551.73/2558.27 c #Conflicts: 1299000 | #Constraints: 42254 2551.73/2558.27 c #Conflicts: 1300000 | #Constraints: 43254 2551.73/2558.27 c #Conflicts: 1301000 | #Constraints: 44254 2551.73/2558.27 c #Conflicts: 1302000 | #Constraints: 45254 2551.73/2558.27 c INPROCESSING 2551.73/2558.27 c GARBAGE COLLECT 2551.73/2558.27 c rational objective 0 2628.34/2635.00 c #Conflicts: 1303000 | #Constraints: 23647 2628.34/2635.00 c #Conflicts: 1304000 | #Constraints: 24647 2628.34/2635.00 c #Conflicts: 1305000 | #Constraints: 25647 2628.34/2635.00 c #Conflicts: 1306000 | #Constraints: 26647 2628.34/2635.00 c #Conflicts: 1307000 | #Constraints: 27647 2628.34/2635.00 c #Conflicts: 1308000 | #Constraints: 28648 2628.34/2635.00 c #Conflicts: 1309000 | #Constraints: 29648 2628.34/2635.00 c #Conflicts: 1310000 | #Constraints: 30648 2628.34/2635.00 c #Conflicts: 1311000 | #Constraints: 31648 2628.34/2635.00 c #Conflicts: 1312000 | #Constraints: 32648 2628.34/2635.00 c #Conflicts: 1313000 | #Constraints: 33648 2628.34/2635.00 c #Conflicts: 1314000 | #Constraints: 34648 2628.34/2635.00 c #Conflicts: 1315000 | #Constraints: 35648 2628.34/2635.00 c #Conflicts: 1316000 | #Constraints: 36648 2628.34/2635.00 c #Conflicts: 1317000 | #Constraints: 37649 2628.34/2635.00 c #Conflicts: 1318000 | #Constraints: 38649 2628.34/2635.00 c #Conflicts: 1319000 | #Constraints: 39649 2628.34/2635.00 c #Conflicts: 1320000 | #Constraints: 40650 2628.34/2635.00 c #Conflicts: 1321000 | #Constraints: 41651 2628.34/2635.00 c #Conflicts: 1322000 | #Constraints: 42651 2628.34/2635.00 c #Conflicts: 1323000 | #Constraints: 43652 2628.34/2635.00 c #Conflicts: 1324000 | #Constraints: 44652 2628.34/2635.00 c #Conflicts: 1325000 | #Constraints: 45652 2628.34/2635.00 c INPROCESSING 2628.34/2635.00 c GARBAGE COLLECT 2628.34/2635.00 c rational objective 0 2707.84/2714.75 c #Conflicts: 1326000 | #Constraints: 23847 2707.84/2714.75 c #Conflicts: 1327000 | #Constraints: 24848 2707.84/2714.75 c #Conflicts: 1328000 | #Constraints: 25848 2707.84/2714.75 c #Conflicts: 1329000 | #Constraints: 26848 2707.84/2714.75 c #Conflicts: 1330000 | #Constraints: 27848 2707.84/2714.75 c #Conflicts: 1331000 | #Constraints: 28848 2707.84/2714.75 c #Conflicts: 1332000 | #Constraints: 29848 2707.84/2714.75 c #Conflicts: 1333000 | #Constraints: 30848 2707.84/2714.75 c #Conflicts: 1334000 | #Constraints: 31848 2707.84/2714.75 c #Conflicts: 1335000 | #Constraints: 32848 2707.84/2714.75 c #Conflicts: 1336000 | #Constraints: 33848 2707.84/2714.75 c #Conflicts: 1337000 | #Constraints: 34848 2707.84/2714.75 c #Conflicts: 1338000 | #Constraints: 35849 2707.84/2714.75 c #Conflicts: 1339000 | #Constraints: 36850 2707.84/2714.75 c #Conflicts: 1340000 | #Constraints: 37851 2707.84/2714.75 c #Conflicts: 1341000 | #Constraints: 38851 2707.84/2714.75 c #Conflicts: 1342000 | #Constraints: 39851 2707.84/2714.75 c #Conflicts: 1343000 | #Constraints: 40851 2707.84/2714.75 c #Conflicts: 1344000 | #Constraints: 41851 2707.84/2714.75 c #Conflicts: 1345000 | #Constraints: 42851 2707.84/2714.75 c #Conflicts: 1346000 | #Constraints: 43851 2707.84/2714.75 c #Conflicts: 1347000 | #Constraints: 44851 2707.84/2714.75 c #Conflicts: 1348000 | #Constraints: 45851 2707.84/2714.75 c INPROCESSING 2707.84/2714.75 c GARBAGE COLLECT 2707.84/2714.75 c rational objective 0 2785.65/2792.72 c #Conflicts: 1349000 | #Constraints: 23844 2785.65/2792.72 c #Conflicts: 1350000 | #Constraints: 24844 2785.65/2792.72 c #Conflicts: 1351000 | #Constraints: 25844 2785.65/2792.72 c #Conflicts: 1352000 | #Constraints: 26844 2785.65/2792.72 c #Conflicts: 1353000 | #Constraints: 27844 2785.65/2792.72 c #Conflicts: 1354000 | #Constraints: 28844 2785.65/2792.72 c #Conflicts: 1355000 | #Constraints: 29845 2785.65/2792.72 c #Conflicts: 1356000 | #Constraints: 30845 2785.65/2792.72 c #Conflicts: 1357000 | #Constraints: 31845 2785.65/2792.72 c #Conflicts: 1358000 | #Constraints: 32845 2785.65/2792.72 c #Conflicts: 1359000 | #Constraints: 33845 2785.65/2792.72 c #Conflicts: 1360000 | #Constraints: 34847 2785.65/2792.72 c #Conflicts: 1361000 | #Constraints: 35847 2785.65/2792.72 c #Conflicts: 1362000 | #Constraints: 36847 2785.65/2792.72 c #Conflicts: 1363000 | #Constraints: 37848 2785.65/2792.72 c #Conflicts: 1364000 | #Constraints: 38849 2785.65/2792.72 c #Conflicts: 1365000 | #Constraints: 39849 2785.65/2792.72 c #Conflicts: 1366000 | #Constraints: 40849 2785.65/2792.72 c #Conflicts: 1367000 | #Constraints: 41849 2785.65/2792.72 c #Conflicts: 1368000 | #Constraints: 42849 2785.65/2792.72 c #Conflicts: 1369000 | #Constraints: 43849 2785.65/2792.72 c #Conflicts: 1370000 | #Constraints: 44850 2785.65/2792.72 c #Conflicts: 1371000 | #Constraints: 45850 2785.65/2792.72 c INPROCESSING 2785.65/2792.72 c GARBAGE COLLECT 2785.65/2792.72 c rational objective 0 2863.26/2870.51 c #Conflicts: 1372000 | #Constraints: 23645 2863.26/2870.51 c #Conflicts: 1373000 | #Constraints: 24645 2863.26/2870.51 c #Conflicts: 1374000 | #Constraints: 25645 2863.26/2870.51 c #Conflicts: 1375000 | #Constraints: 26646 2863.26/2870.51 c #Conflicts: 1376000 | #Constraints: 27646 2863.26/2870.51 c #Conflicts: 1377000 | #Constraints: 28647 2863.26/2870.51 c #Conflicts: 1378000 | #Constraints: 29647 2863.26/2870.51 c #Conflicts: 1379000 | #Constraints: 30647 2863.26/2870.51 c #Conflicts: 1380000 | #Constraints: 31647 2863.26/2870.51 c #Conflicts: 1381000 | #Constraints: 32647 2863.26/2870.51 c #Conflicts: 1382000 | #Constraints: 33647 2863.26/2870.51 c #Conflicts: 1383000 | #Constraints: 34648 2863.26/2870.51 c #Conflicts: 1384000 | #Constraints: 35648 2863.26/2870.51 c #Conflicts: 1385000 | #Constraints: 36649 2863.26/2870.51 c #Conflicts: 1386000 | #Constraints: 37649 2863.26/2870.51 c #Conflicts: 1387000 | #Constraints: 38649 2863.26/2870.51 c #Conflicts: 1388000 | #Constraints: 39650 2863.26/2870.51 c #Conflicts: 1389000 | #Constraints: 40651 2863.26/2870.51 c #Conflicts: 1390000 | #Constraints: 41652 2863.26/2870.51 c #Conflicts: 1391000 | #Constraints: 42653 2863.26/2870.51 c #Conflicts: 1392000 | #Constraints: 43653 2863.26/2870.51 c #Conflicts: 1393000 | #Constraints: 44653 2863.26/2870.51 c #Conflicts: 1394000 | #Constraints: 45653 2863.26/2870.51 c #Conflicts: 1395000 | #Constraints: 46654 2863.26/2870.51 c INPROCESSING 2863.26/2870.51 c GARBAGE COLLECT 2863.26/2870.51 c rational objective 0 2939.08/2946.53 c #Conflicts: 1396000 | #Constraints: 24248 2939.08/2946.53 c #Conflicts: 1397000 | #Constraints: 25249 2939.08/2946.53 c #Conflicts: 1398000 | #Constraints: 26250 2939.08/2946.53 c #Conflicts: 1399000 | #Constraints: 27253 2939.08/2946.53 c #Conflicts: 1400000 | #Constraints: 28253 2939.08/2946.53 c #Conflicts: 1401000 | #Constraints: 29253 2939.08/2946.53 c #Conflicts: 1402000 | #Constraints: 30255 2939.08/2946.53 c #Conflicts: 1403000 | #Constraints: 31255 2939.08/2946.53 c #Conflicts: 1404000 | #Constraints: 32256 2939.08/2946.53 c #Conflicts: 1405000 | #Constraints: 33256 2939.08/2946.53 c #Conflicts: 1406000 | #Constraints: 34256 2939.08/2946.53 c #Conflicts: 1407000 | #Constraints: 35256 2939.08/2946.53 c #Conflicts: 1408000 | #Constraints: 36256 2939.08/2946.53 c #Conflicts: 1409000 | #Constraints: 37256 2939.08/2946.53 c #Conflicts: 1410000 | #Constraints: 38256 2939.08/2946.53 c #Conflicts: 1411000 | #Constraints: 39256 2939.08/2946.53 c #Conflicts: 1412000 | #Constraints: 40256 2939.08/2946.53 c #Conflicts: 1413000 | #Constraints: 41256 2939.08/2946.53 c #Conflicts: 1414000 | #Constraints: 42258 2939.08/2946.53 c #Conflicts: 1415000 | #Constraints: 43258 2939.08/2946.53 c #Conflicts: 1416000 | #Constraints: 44258 2939.08/2946.53 c #Conflicts: 1417000 | #Constraints: 45258 2939.08/2946.53 c #Conflicts: 1418000 | #Constraints: 46258 2939.08/2946.53 c #Conflicts: 1419000 | #Constraints: 47258 2939.08/2946.53 c INPROCESSING 2939.08/2946.53 c GARBAGE COLLECT 2939.08/2946.53 c rational objective 0 3022.07/3029.71 c #Conflicts: 1420000 | #Constraints: 24647 3022.07/3029.71 c #Conflicts: 1421000 | #Constraints: 25647 3022.07/3029.71 c #Conflicts: 1422000 | #Constraints: 26647 3022.07/3029.71 c #Conflicts: 1423000 | #Constraints: 27647 3022.07/3029.71 c #Conflicts: 1424000 | #Constraints: 28647 3022.07/3029.71 c #Conflicts: 1425000 | #Constraints: 29647 3022.07/3029.71 c #Conflicts: 1426000 | #Constraints: 30649 3022.07/3029.71 c #Conflicts: 1427000 | #Constraints: 31649 3022.07/3029.71 c #Conflicts: 1428000 | #Constraints: 32649 3022.07/3029.71 c #Conflicts: 1429000 | #Constraints: 33649 3022.07/3029.71 c #Conflicts: 1430000 | #Constraints: 34649 3022.07/3029.71 c #Conflicts: 1431000 | #Constraints: 35649 3022.07/3029.71 c #Conflicts: 1432000 | #Constraints: 36650 3022.07/3029.71 c #Conflicts: 1433000 | #Constraints: 37652 3022.07/3029.71 c #Conflicts: 1434000 | #Constraints: 38653 3022.07/3029.71 c #Conflicts: 1435000 | #Constraints: 39653 3022.07/3029.71 c #Conflicts: 1436000 | #Constraints: 40654 3022.07/3029.71 c #Conflicts: 1437000 | #Constraints: 41654 3022.07/3029.71 c #Conflicts: 1438000 | #Constraints: 42654 3022.07/3029.71 c #Conflicts: 1439000 | #Constraints: 43654 3022.07/3029.71 c #Conflicts: 1440000 | #Constraints: 44654 3022.07/3029.71 c #Conflicts: 1441000 | #Constraints: 45654 3022.07/3029.71 c #Conflicts: 1442000 | #Constraints: 46654 3022.07/3029.71 c #Conflicts: 1443000 | #Constraints: 47655 3022.07/3029.71 c INPROCESSING 3022.07/3029.71 c GARBAGE COLLECT 3022.07/3029.71 c rational objective 0 3113.92/3121.80 c #Conflicts: 1444000 | #Constraints: 24848 3113.92/3121.80 c #Conflicts: 1445000 | #Constraints: 25848 3113.92/3121.80 c #Conflicts: 1446000 | #Constraints: 26849 3113.92/3121.80 c #Conflicts: 1447000 | #Constraints: 27850 3113.92/3121.80 c #Conflicts: 1448000 | #Constraints: 28850 3113.92/3121.80 c #Conflicts: 1449000 | #Constraints: 29850 3113.92/3121.80 c #Conflicts: 1450000 | #Constraints: 30850 3113.92/3121.80 c #Conflicts: 1451000 | #Constraints: 31850 3113.92/3121.80 c #Conflicts: 1452000 | #Constraints: 32850 3113.92/3121.80 c #Conflicts: 1453000 | #Constraints: 33850 3113.92/3121.80 c #Conflicts: 1454000 | #Constraints: 34850 3113.92/3121.80 c #Conflicts: 1455000 | #Constraints: 35851 3113.92/3121.80 c #Conflicts: 1456000 | #Constraints: 36851 3113.92/3121.80 c #Conflicts: 1457000 | #Constraints: 37851 3113.92/3121.80 c #Conflicts: 1458000 | #Constraints: 38851 3113.92/3121.80 c #Conflicts: 1459000 | #Constraints: 39852 3113.92/3121.80 c #Conflicts: 1460000 | #Constraints: 40852 3113.92/3121.80 c #Conflicts: 1461000 | #Constraints: 41852 3113.92/3121.80 c #Conflicts: 1462000 | #Constraints: 42855 3113.92/3121.80 c #Conflicts: 1463000 | #Constraints: 43855 3113.92/3121.80 c #Conflicts: 1464000 | #Constraints: 44855 3113.92/3121.80 c #Conflicts: 1465000 | #Constraints: 45855 3113.92/3121.80 c #Conflicts: 1466000 | #Constraints: 46855 3113.92/3121.80 c #Conflicts: 1467000 | #Constraints: 47855 3113.92/3121.80 c INPROCESSING 3113.92/3121.80 c GARBAGE COLLECT 3113.92/3121.80 c rational objective 0 3201.00/3209.18 c #Conflicts: 1468000 | #Constraints: 24847 3201.00/3209.18 c #Conflicts: 1469000 | #Constraints: 25850 3201.00/3209.18 c #Conflicts: 1470000 | #Constraints: 26850 3201.00/3209.18 c #Conflicts: 1471000 | #Constraints: 27850 3201.00/3209.18 c #Conflicts: 1472000 | #Constraints: 28850 3201.00/3209.18 c #Conflicts: 1473000 | #Constraints: 29850 3201.00/3209.18 c #Conflicts: 1474000 | #Constraints: 30850 3201.00/3209.18 c #Conflicts: 1475000 | #Constraints: 31854 3201.00/3209.18 c #Conflicts: 1476000 | #Constraints: 32854 3201.00/3209.18 c #Conflicts: 1477000 | #Constraints: 33854 3201.00/3209.18 c #Conflicts: 1478000 | #Constraints: 34854 3201.00/3209.18 c #Conflicts: 1479000 | #Constraints: 35854 3201.00/3209.18 c #Conflicts: 1480000 | #Constraints: 36854 3201.00/3209.18 c #Conflicts: 1481000 | #Constraints: 37854 3201.00/3209.18 c #Conflicts: 1482000 | #Constraints: 38855 3201.00/3209.18 c #Conflicts: 1483000 | #Constraints: 39856 3201.00/3209.18 c #Conflicts: 1484000 | #Constraints: 40856 3201.00/3209.18 c #Conflicts: 1485000 | #Constraints: 41856 3201.00/3209.18 c #Conflicts: 1486000 | #Constraints: 42856 3201.00/3209.18 c #Conflicts: 1487000 | #Constraints: 43856 3201.00/3209.18 c #Conflicts: 1488000 | #Constraints: 44857 3201.00/3209.18 c #Conflicts: 1489000 | #Constraints: 45858 3201.00/3209.18 c #Conflicts: 1490000 | #Constraints: 46858 3201.00/3209.18 c #Conflicts: 1491000 | #Constraints: 47859 3201.00/3209.18 c INPROCESSING 3201.00/3209.18 c GARBAGE COLLECT 3201.00/3209.18 c rational objective 0 3289.46/3297.80 c #Conflicts: 1492000 | #Constraints: 24647 3289.46/3297.80 c #Conflicts: 1493000 | #Constraints: 25647 3289.46/3297.80 c #Conflicts: 1494000 | #Constraints: 26647 3289.46/3297.80 c #Conflicts: 1495000 | #Constraints: 27647 3289.46/3297.80 c #Conflicts: 1496000 | #Constraints: 28648 3289.46/3297.80 c #Conflicts: 1497000 | #Constraints: 29648 3289.46/3297.80 c #Conflicts: 1498000 | #Constraints: 30649 3289.46/3297.80 c #Conflicts: 1499000 | #Constraints: 31650 3289.46/3297.80 c #Conflicts: 1500000 | #Constraints: 32650 3289.46/3297.80 c #Conflicts: 1501000 | #Constraints: 33650 3289.46/3297.80 c #Conflicts: 1502000 | #Constraints: 34650 3289.46/3297.80 c #Conflicts: 1503000 | #Constraints: 35650 3289.46/3297.80 c #Conflicts: 1504000 | #Constraints: 36651 3289.46/3297.80 c #Conflicts: 1505000 | #Constraints: 37651 3289.46/3297.80 c #Conflicts: 1506000 | #Constraints: 38651 3289.46/3297.80 c #Conflicts: 1507000 | #Constraints: 39651 3289.46/3297.80 c #Conflicts: 1508000 | #Constraints: 40652 3289.46/3297.80 c #Conflicts: 1509000 | #Constraints: 41652 3289.46/3297.80 c #Conflicts: 1510000 | #Constraints: 42654 3289.46/3297.80 c #Conflicts: 1511000 | #Constraints: 43654 3289.46/3297.80 c #Conflicts: 1512000 | #Constraints: 44654 3289.46/3297.80 c #Conflicts: 1513000 | #Constraints: 45654 3289.46/3297.80 c #Conflicts: 1514000 | #Constraints: 46654 3289.46/3297.80 c #Conflicts: 1515000 | #Constraints: 47655 3289.46/3297.80 c #Conflicts: 1516000 | #Constraints: 48655 3289.46/3297.80 c INPROCESSING 3289.46/3297.80 c GARBAGE COLLECT 3289.46/3297.80 c rational objective 0 3379.80/3388.40 c #Conflicts: 1517000 | #Constraints: 25241 3379.80/3388.40 c #Conflicts: 1518000 | #Constraints: 26242 3379.80/3388.40 c #Conflicts: 1519000 | #Constraints: 27243 3379.80/3388.40 c #Conflicts: 1520000 | #Constraints: 28244 3379.80/3388.40 c #Conflicts: 1521000 | #Constraints: 29244 3379.80/3388.40 c #Conflicts: 1522000 | #Constraints: 30244 3379.80/3388.40 c #Conflicts: 1523000 | #Constraints: 31245 3379.80/3388.40 c #Conflicts: 1524000 | #Constraints: 32245 3379.80/3388.40 c #Conflicts: 1525000 | #Constraints: 33247 3379.80/3388.40 c #Conflicts: 1526000 | #Constraints: 34247 3379.80/3388.40 c #Conflicts: 1527000 | #Constraints: 35247 3379.80/3388.40 c #Conflicts: 1528000 | #Constraints: 36248 3379.80/3388.40 c #Conflicts: 1529000 | #Constraints: 37248 3379.80/3388.40 c #Conflicts: 1530000 | #Constraints: 38248 3379.80/3388.40 c #Conflicts: 1531000 | #Constraints: 39248 3379.80/3388.40 c #Conflicts: 1532000 | #Constraints: 40248 3379.80/3388.40 c #Conflicts: 1533000 | #Constraints: 41248 3379.80/3388.40 c #Conflicts: 1534000 | #Constraints: 42251 3379.80/3388.40 c #Conflicts: 1535000 | #Constraints: 43251 3379.80/3388.40 c #Conflicts: 1536000 | #Constraints: 44251 3379.80/3388.40 c #Conflicts: 1537000 | #Constraints: 45251 3379.80/3388.40 c #Conflicts: 1538000 | #Constraints: 46252 3379.80/3388.40 c #Conflicts: 1539000 | #Constraints: 47252 3379.80/3388.40 c #Conflicts: 1540000 | #Constraints: 48252 3379.80/3388.40 c #Conflicts: 1541000 | #Constraints: 49253 3379.80/3388.40 c INPROCESSING 3379.80/3388.40 c GARBAGE COLLECT 3379.80/3388.40 c rational objective 0 3478.54/3487.42 c #Conflicts: 1542000 | #Constraints: 25643 3478.54/3487.42 c #Conflicts: 1543000 | #Constraints: 26643 3478.54/3487.42 c #Conflicts: 1544000 | #Constraints: 27643 3478.54/3487.42 c #Conflicts: 1545000 | #Constraints: 28643 3478.54/3487.42 c #Conflicts: 1546000 | #Constraints: 29643 3478.54/3487.42 c #Conflicts: 1547000 | #Constraints: 30643 3478.54/3487.42 c #Conflicts: 1548000 | #Constraints: 31643 3478.54/3487.42 c #Conflicts: 1549000 | #Constraints: 32643 3478.54/3487.42 c #Conflicts: 1550000 | #Constraints: 33643 3478.54/3487.42 c #Conflicts: 1551000 | #Constraints: 34643 3478.54/3487.42 c #Conflicts: 1552000 | #Constraints: 35643 3478.54/3487.42 c #Conflicts: 1553000 | #Constraints: 36643 3478.54/3487.42 c #Conflicts: 1554000 | #Constraints: 37643 3478.54/3487.42 c #Conflicts: 1555000 | #Constraints: 38643 3478.54/3487.42 c #Conflicts: 1556000 | #Constraints: 39643 3478.54/3487.42 c #Conflicts: 1557000 | #Constraints: 40643 3478.54/3487.42 c #Conflicts: 1558000 | #Constraints: 41643 3478.54/3487.42 c #Conflicts: 1559000 | #Constraints: 42643 3478.54/3487.42 c #Conflicts: 1560000 | #Constraints: 43643 3478.54/3487.42 c #Conflicts: 1561000 | #Constraints: 44643 3478.54/3487.42 c #Conflicts: 1562000 | #Constraints: 45643 3478.54/3487.42 c #Conflicts: 1563000 | #Constraints: 46644 3478.54/3487.42 c #Conflicts: 1564000 | #Constraints: 47644 3478.54/3487.42 c #Conflicts: 1565000 | #Constraints: 48645 3478.54/3487.42 c #Conflicts: 1566000 | #Constraints: 49646 3478.54/3487.42 c INPROCESSING 3478.54/3487.42 c GARBAGE COLLECT 3478.54/3487.42 c rational objective 0 3574.29/3583.41 c #Conflicts: 1567000 | #Constraints: 25844 3574.29/3583.41 c #Conflicts: 1568000 | #Constraints: 26846 3574.29/3583.41 c #Conflicts: 1569000 | #Constraints: 27847 3574.29/3583.41 c #Conflicts: 1570000 | #Constraints: 28847 3574.29/3583.41 c #Conflicts: 1571000 | #Constraints: 29848 3574.29/3583.41 c #Conflicts: 1572000 | #Constraints: 30848 3574.29/3583.41 c #Conflicts: 1573000 | #Constraints: 31849 3574.29/3583.41 c #Conflicts: 1574000 | #Constraints: 32850 3574.29/3583.41 c #Conflicts: 1575000 | #Constraints: 33852 3574.29/3583.41 c #Conflicts: 1576000 | #Constraints: 34853 3574.29/3583.41 c #Conflicts: 1577000 | #Constraints: 35855 3574.29/3583.41 c #Conflicts: 1578000 | #Constraints: 36855 3574.29/3583.41 c #Conflicts: 1579000 | #Constraints: 37856 3574.29/3583.41 c #Conflicts: 1580000 | #Constraints: 38856 3574.29/3583.41 c #Conflicts: 1581000 | #Constraints: 39856 3574.29/3583.41 c #Conflicts: 1582000 | #Constraints: 40857 3574.29/3583.41 c #Conflicts: 1583000 | #Constraints: 41857 3574.29/3583.41 c #Conflicts: 1584000 | #Constraints: 42857 3574.29/3583.41 c #Conflicts: 1585000 | #Constraints: 43857 3574.29/3583.41 c #Conflicts: 1586000 | #Constraints: 44858 3574.29/3583.41 c #Conflicts: 1587000 | #Constraints: 45858 3574.29/3583.41 c #Conflicts: 1588000 | #Constraints: 46860 3574.29/3583.41 c #Conflicts: 1589000 | #Constraints: 47861 3574.29/3583.41 c #Conflicts: 1590000 | #Constraints: 48861 3574.29/3583.41 c #Conflicts: 1591000 | #Constraints: 49861 3574.29/3583.41 c INPROCESSING 3574.29/3583.41 c GARBAGE COLLECT 3574.29/3583.41 c rational objective 0 3600.03/3609.20 c #Conflicts: 1592000 | #Constraints: 25851 3600.03/3609.20 c #Conflicts: 1593000 | #Constraints: 26853 3600.03/3609.20 c #Conflicts: 1594000 | #Constraints: 27855 3600.03/3609.20 c #Conflicts: 1595000 | #Constraints: 28855 3600.03/3609.20 c #Conflicts: 1596000 | #Constraints: 29855 3600.03/3609.20 c #Conflicts: 1597000 | #Constraints: 30855 3600.03/3609.20 c #Conflicts: 1598000 | #Constraints: 31855 3600.03/3609.20 c Program interrupted by user.
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: 63931 MiB (63111 MiB free)
memory of node 1: 64510 MiB (63840 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462604-1722340767/watcher-4462604-1722340767 -o /tmp/evaluation-result-4462604-1722340767/solver-4462604-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722340763-7471 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462604-1722340767 --lp-cut-gomory=0 HOME/instance-4462604-1722340767.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=7577, runsolver pid=7574
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 0.40 0.15 0.11 6/258 7578
/proc/meminfo: memFree=129990392/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=38028 memory=8552 CPUtime=0.09 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 524 0 0 0 9 0 0 0 20 0 1 0 677244 38940672 2138 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 9507 2138 1857 992 0 1365 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38028 KiB
Current children cumulated memory: 8552 KiB
[startup+0.205668 s]*
/proc/loadavg: 0.40 0.15 0.11 5/258 7578
/proc/meminfo: memFree=129984684/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=38276 memory=9112 CPUtime=0.2 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 644 0 0 0 19 1 0 0 20 0 1 0 677244 39194624 2278 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 9569 2278 1872 992 0 1427 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38276 KiB
Current children cumulated memory: 9112 KiB
[startup+0.305498 s]*
/proc/loadavg: 0.40 0.15 0.11 5/258 7578
/proc/meminfo: memFree=129975944/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=38404 memory=9480 CPUtime=0.3 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 732 0 0 0 28 2 0 0 20 0 1 0 677244 39325696 2370 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 9601 2370 1872 992 0 1459 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38404 KiB
Current children cumulated memory: 9480 KiB
[startup+0.700224 s]
/proc/loadavg: 0.40 0.15 0.11 5/258 7578
/proc/meminfo: memFree=129962004/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=38792 memory=12092 CPUtime=0.69 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 837 0 0 0 66 3 0 0 20 0 1 0 677244 39723008 3023 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 9698 3023 1872 992 0 1556 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38792 KiB
Current children cumulated memory: 12092 KiB
[startup+1.50023 s]
/proc/loadavg: 0.40 0.15 0.11 5/258 7578
/proc/meminfo: memFree=129921576/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=39176 memory=12476 CPUtime=1.48 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 933 0 0 0 141 7 0 0 20 0 1 0 677244 40116224 3119 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 9794 3119 1872 992 0 1652 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39176 KiB
Current children cumulated memory: 12476 KiB
[startup+3.10544 s]
/proc/loadavg: 0.40 0.15 0.11 5/258 7578
/proc/meminfo: memFree=129748572/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=39896 memory=13000 CPUtime=3.09 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 1093 0 0 0 296 13 0 0 20 0 1 0 677244 40853504 3250 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 9974 3250 1872 992 0 1832 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39896 KiB
Current children cumulated memory: 13000 KiB
[startup+6.30016 s]
/proc/loadavg: 0.69 0.21 0.13 5/258 7580
/proc/meminfo: memFree=129608984/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=40264 memory=13520 CPUtime=6.28 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 1191 0 0 0 605 23 0 0 20 0 1 0 677244 41230336 3380 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 10066 3380 1872 992 0 1924 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 13520 KiB
[startup+12.7002 s]
/proc/loadavg: 0.95 0.28 0.15 5/259 7581
/proc/meminfo: memFree=129503300/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=40840 memory=14256 CPUtime=12.66 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 1382 0 0 0 1229 37 0 0 20 0 1 0 677244 41820160 3564 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 10210 3564 1872 992 0 2068 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 40840 KiB
Current children cumulated memory: 14256 KiB
[startup+25.5002 s]
/proc/loadavg: 1.70 0.47 0.22 5/259 7584
/proc/meminfo: memFree=129327588/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=42056 memory=16088 CPUtime=25.43 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 1857 0 0 0 2481 62 0 0 20 0 1 0 677244 43065344 4022 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 10514 4022 1872 992 0 2372 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 42056 KiB
Current children cumulated memory: 16088 KiB
[startup+51.1055 s]
/proc/loadavg: 2.48 0.76 0.32 5/258 7589
/proc/meminfo: memFree=128733604/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=45416 memory=17892 CPUtime=50.97 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 2441 0 0 0 4991 106 0 0 20 0 1 0 677244 46505984 4473 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 11354 4473 1872 992 0 3212 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 45416 KiB
Current children cumulated memory: 17892 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.53 5/258 7608
/proc/meminfo: memFree=127810680/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=47016 memory=20680 CPUtime=102.04 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 3265 0 0 0 10023 181 0 0 20 0 1 0 677244 48144384 5170 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 11754 5170 1872 992 0 3612 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 47016 KiB
Current children cumulated memory: 20680 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.80 0.75 5/259 7619
/proc/meminfo: memFree=126412128/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=53880 memory=25676 CPUtime=161.89 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 4136 0 0 0 15939 250 0 0 20 0 1 0 677244 55173120 6419 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 13470 6419 1872 992 0 5328 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 53880 KiB
Current children cumulated memory: 25676 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.22 0.96 5/260 7631
/proc/meminfo: memFree=125533188/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=54080 memory=26004 CPUtime=221.74 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 4346 0 0 0 21861 313 0 0 20 0 1 0 677244 55377920 6501 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 13520 6501 1872 992 0 5378 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 26004 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.58 1.17 5/259 7641
/proc/meminfo: memFree=124643736/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=54320 memory=26344 CPUtime=281.58 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 4786 0 0 0 27784 374 0 0 20 0 1 0 677244 55623680 6586 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 13580 6586 1872 992 0 5438 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 54320 KiB
Current children cumulated memory: 26344 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 2.84 1.35 5/259 7651
/proc/meminfo: memFree=124232624/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=54384 memory=28576 CPUtime=341.44 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 5052 0 0 0 33706 438 0 0 20 0 1 0 677244 55689216 7144 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 13596 7144 1872 992 0 5454 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 54384 KiB
Current children cumulated memory: 28576 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.08 1.53 5/258 7662
/proc/meminfo: memFree=123608164/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=54612 memory=28876 CPUtime=401.29 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 5251 0 0 0 39633 496 0 0 20 0 1 0 677244 55922688 7219 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 13653 7219 1872 992 0 5511 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 54612 KiB
Current children cumulated memory: 28876 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.28 1.69 5/258 7672
/proc/meminfo: memFree=122304544/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=55128 memory=29376 CPUtime=461.14 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 5555 0 0 0 45570 544 0 0 20 0 1 0 677244 56451072 7344 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 13782 7344 1872 992 0 5640 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.04 5/259 8776
/proc/meminfo: memFree=99753952/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=83028 memory=46352 CPUtime=3154.31 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 13838 0 0 0 313223 2208 0 0 20 0 1 0 677244 85020672 11588 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 20757 11588 1872 992 0 12615 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 83028 KiB
Current children cumulated memory: 46352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.04 5/259 8786
/proc/meminfo: memFree=99568484/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=83028 memory=46352 CPUtime=3214.16 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 14018 0 0 0 319174 2242 0 0 20 0 1 0 677244 85020672 11588 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 20757 11588 1872 992 0 12615 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 83028 KiB
Current children cumulated memory: 46352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.05 5/259 8796
/proc/meminfo: memFree=99309544/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=83028 memory=46352 CPUtime=3273.99 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 14027 0 0 0 325125 2274 0 0 20 0 1 0 677244 85020672 11588 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 20757 11588 1872 992 0 12615 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 83028 KiB
Current children cumulated memory: 46352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.05 5/259 8807
/proc/meminfo: memFree=99050136/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=83608 memory=48872 CPUtime=3333.83 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 14293 0 0 0 331082 2301 0 0 20 0 1 0 677244 85614592 12218 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 20902 12218 1872 992 0 12760 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 83608 KiB
Current children cumulated memory: 48872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.12 4.05 5/259 9201
/proc/meminfo: memFree=98518316/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=83800 memory=49064 CPUtime=3393.67 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 14450 0 0 0 337037 2330 0 0 20 0 1 0 677244 85811200 12266 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 20950 12266 1872 992 0 12808 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 83800 KiB
Current children cumulated memory: 49064 KiB
[startup+3462.3 s]
/proc/loadavg: 4.32 4.17 4.07 5/259 9211
/proc/meminfo: memFree=98008760/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=83800 memory=49064 CPUtime=3453.51 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 14459 0 0 0 342992 2359 0 0 20 0 1 0 677244 85811200 12266 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 20950 12266 1872 992 0 12808 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 83800 KiB
Current children cumulated memory: 49064 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.17 4.08 5/260 9224
/proc/meminfo: memFree=97543456/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=83800 memory=49064 CPUtime=3513.35 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 14642 0 0 0 348947 2388 0 0 20 0 1 0 677244 85811200 12266 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 20950 12266 1872 992 0 12808 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 83800 KiB
Current children cumulated memory: 49064 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.08 5/260 9402
/proc/meminfo: memFree=97155240/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=83992 memory=49064 CPUtime=3573.2 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 14653 0 0 0 354903 2417 0 0 20 0 1 0 677244 86007808 12266 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 20998 12266 1872 992 0 12856 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 83992 KiB
Current children cumulated memory: 49064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.08 4.14 4.07 2/248 9460
/proc/meminfo: memFree=99888796/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=84188 memory=49392 CPUtime=3600.03 cores=5,7
/proc/7577/stat : 7577 (roundingsat) R 7574 7577 7457 0 -1 4194304 14873 0 0 0 357571 2432 0 0 20 0 1 0 677244 86208512 12348 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 21047 12348 1872 992 0 12905 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.07 4.14 4.07 1/247 9460
/proc/meminfo: memFree=99886888/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=84188 memory=49392 CPUtime=3600.03 cores=5,7
/proc/7577/stat : 7577 (roundingsat) D 7574 7577 7457 0 -1 4194304 14885 0 0 0 357571 2432 0 0 20 0 1 0 677244 86208512 12348 134679101440 4194304 8255733 140731107837024 0 0 256 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 21047 12348 1872 992 0 12905 0
??? kill 7577 sig 9
??? end of watcher thread
[startup+3612.14 s]
# the end of solver process 7577 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3575.71 s, system=24.3226 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.08 4.14 4.07 2/248 9460
/proc/meminfo: memFree=99888796/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=84188 memory=49392 CPUtime=3600.03 cores=5,7
/proc/7577/stat : 7577 (roundingsat) D 7574 7577 7457 0 -1 4194304 14885 0 0 0 357571 2432 0 0 20 0 1 0 677244 86208512 12348 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 21047 12348 1872 992 0 12905 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49392 KiB
[startup+3610.4 s]
/proc/loadavg: 4.07 4.14 4.07 1/247 9460
/proc/meminfo: memFree=99886056/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=84188 memory=49392 CPUtime=3600.03 cores=5,7
/proc/7577/stat : 7577 (roundingsat) D 7574 7577 7457 0 -1 4194304 14885 0 0 0 357571 2432 0 0 20 0 1 0 677244 86208512 12348 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 21047 12348 1872 992 0 12905 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49392 KiB
[startup+3610.8 s]
/proc/loadavg: 4.07 4.14 4.07 1/247 9460
/proc/meminfo: memFree=99886056/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=84188 memory=49392 CPUtime=3600.03 cores=5,7
/proc/7577/stat : 7577 (roundingsat) D 7574 7577 7457 0 -1 4194304 14885 0 0 0 357571 2432 0 0 20 0 1 0 677244 86208512 12348 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 21047 12348 1872 992 0 12905 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49392 KiB
[startup+3611.2 s]
/proc/loadavg: 4.07 4.14 4.07 1/247 9460
/proc/meminfo: memFree=99886536/131524600 swapFree=131071996/131071996
[pid=7577] ppid=7574 vsize=84188 memory=49392 CPUtime=3600.03 cores=5,7
/proc/7577/stat : 7577 (roundingsat) D 7574 7577 7457 0 -1 4194304 14885 0 0 0 357571 2432 0 0 20 0 1 0 677244 86208512 12348 134679101440 4194304 8255733 140731107837024 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33001472 140731107844958 140731107845220 140731107845220 140731107852233 0
/proc/7577/statm: 21047 12348 1872 992 0 12905 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49392 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.14
CPU time (s): 3600.04
CPU user time (s): 3575.71
CPU system time (s): 24.3226
CPU usage (%): 99.6649
Max. virtual memory (cumulated for all children) (KiB): 84384
Max. memory (cumulated for all children) (KiB): 49412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.71
system time used= 24.3226
maximum resident set size= 49840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14885
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13802864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99
involuntary context switches= 5059
# summary of solver processes directly reported to runsolver:
# pid: 7577
# total CPU time (s): 3600.04
# total CPU user time (s): 3575.71
# total CPU system time (s): 24.3226
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1916 second user time and 13.4002 second system time
The end
Begin job on nodeC027 at 2024-07-30 13:59:27 IDJOB=4462604 IDBENCH=147583 IDSOLVER=3089 FILE ID=nodeC027/4462604-1722340767 RUNJOBID= nodeC027-1722340763-7471 SLURM_JOB_ID= 8249000 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.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-4462604-1722340767/watcher-4462604-1722340767 -o /tmp/evaluation-result-4462604-1722340767/solver-4462604-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722340763-7471 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462604-1722340767 --lp-cut-gomory=0 HOME/instance-4462604-1722340767.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b RANDOM SEED=52205761 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.732 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.88 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3676.645 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.189 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.88 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3603.900 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.298 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.88 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3655.235 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.800 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.88 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.317 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130001972 kB MemAvailable: 129611348 kB Buffers: 39708 kB Cached: 393268 kB SwapCached: 0 kB Active: 152548 kB Inactive: 908988 kB Active(anon): 1544 kB Inactive(anon): 648680 kB Active(file): 151004 kB Inactive(file): 260308 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 107692 kB Writeback: 24 kB AnonPages: 627608 kB Mapped: 98000 kB Shmem: 21336 kB KReclaimable: 43568 kB Slab: 121916 kB SReclaimable: 43568 kB SUnreclaim: 78348 kB KernelStack: 4128 kB PageTables: 10472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 998368 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 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: 150228 kB DirectMap2M: 9060352 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890056 MiB End job on nodeC027 at 2024-07-30 14:59:40