| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.1 | 3612.61 |
| 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.01 c bounds - >= 0 @ 0.001837 0.00/0.01 c rational objective 0 0.31/0.41 c #Conflicts: 1000 | #Constraints: 1036 0.31/0.41 c #Conflicts: 2000 | #Constraints: 2050 0.31/0.41 c INPROCESSING 0.31/0.41 c GARBAGE COLLECT 0.31/0.41 c rational objective 0 0.88/0.90 c #Conflicts: 3000 | #Constraints: 2049 0.88/0.90 c #Conflicts: 4000 | #Constraints: 3058 0.88/0.90 c INPROCESSING 0.88/0.90 c GARBAGE COLLECT 0.88/0.90 c rational objective 0 1.48/1.54 c #Conflicts: 5000 | #Constraints: 2449 1.48/1.54 c #Conflicts: 6000 | #Constraints: 3454 1.48/1.54 c INPROCESSING 1.48/1.54 c GARBAGE COLLECT 1.48/1.54 c rational objective 0 2.28/2.35 c #Conflicts: 7000 | #Constraints: 2444 2.28/2.35 c #Conflicts: 8000 | #Constraints: 3448 2.28/2.35 c #Conflicts: 9000 | #Constraints: 4454 2.28/2.35 c INPROCESSING 2.28/2.35 c GARBAGE COLLECT 2.28/2.35 c rational objective 0 3.17/3.27 c #Conflicts: 10000 | #Constraints: 3143 3.17/3.27 c #Conflicts: 11000 | #Constraints: 4151 3.17/3.27 c #Conflicts: 12000 | #Constraints: 5159 3.17/3.27 c INPROCESSING 3.17/3.27 c GARBAGE COLLECT 3.17/3.27 c rational objective 0 4.16/4.23 c #Conflicts: 13000 | #Constraints: 3600 4.16/4.23 c #Conflicts: 14000 | #Constraints: 4611 4.16/4.23 c #Conflicts: 15000 | #Constraints: 5614 4.16/4.23 c INPROCESSING 4.16/4.23 c GARBAGE COLLECT 4.16/4.23 c rational objective 0 5.36/5.48 c #Conflicts: 16000 | #Constraints: 3829 5.36/5.48 c #Conflicts: 17000 | #Constraints: 4829 5.36/5.48 c #Conflicts: 18000 | #Constraints: 5832 5.36/5.48 c INPROCESSING 5.36/5.48 c GARBAGE COLLECT 5.36/5.48 c rational objective 0 6.76/6.89 c #Conflicts: 19000 | #Constraints: 3835 6.76/6.89 c #Conflicts: 20000 | #Constraints: 4840 6.76/6.89 c #Conflicts: 21000 | #Constraints: 5844 6.76/6.89 c INPROCESSING 6.76/6.89 c GARBAGE COLLECT 6.76/6.89 c rational objective 0 8.26/8.36 c #Conflicts: 22000 | #Constraints: 3642 8.26/8.36 c #Conflicts: 23000 | #Constraints: 4647 8.26/8.36 c #Conflicts: 24000 | #Constraints: 5651 8.26/8.36 c #Conflicts: 25000 | #Constraints: 6653 8.26/8.36 c INPROCESSING 8.26/8.36 c GARBAGE COLLECT 8.26/8.36 c rational objective 0 9.96/10.02 c #Conflicts: 26000 | #Constraints: 4245 9.96/10.02 c #Conflicts: 27000 | #Constraints: 5247 9.96/10.02 c #Conflicts: 28000 | #Constraints: 6253 9.96/10.02 c #Conflicts: 29000 | #Constraints: 7257 9.96/10.02 c INPROCESSING 9.96/10.02 c GARBAGE COLLECT 9.96/10.02 c rational objective 0 11.75/11.80 c #Conflicts: 30000 | #Constraints: 4647 11.75/11.80 c #Conflicts: 31000 | #Constraints: 5647 11.75/11.80 c #Conflicts: 32000 | #Constraints: 6649 11.75/11.80 c #Conflicts: 33000 | #Constraints: 7652 11.75/11.80 c INPROCESSING 11.75/11.80 c GARBAGE COLLECT 11.75/11.80 c rational objective 0 13.74/13.84 c #Conflicts: 34000 | #Constraints: 4847 13.74/13.84 c #Conflicts: 35000 | #Constraints: 5849 13.74/13.84 c #Conflicts: 36000 | #Constraints: 6854 13.74/13.84 c #Conflicts: 37000 | #Constraints: 7856 13.74/13.84 c INPROCESSING 13.74/13.84 c GARBAGE COLLECT 13.74/13.84 c rational objective 0 16.04/16.14 c #Conflicts: 38000 | #Constraints: 4848 16.04/16.14 c #Conflicts: 39000 | #Constraints: 5848 16.04/16.14 c #Conflicts: 40000 | #Constraints: 6849 16.04/16.14 c #Conflicts: 41000 | #Constraints: 7849 16.04/16.14 c INPROCESSING 16.04/16.14 c GARBAGE COLLECT 16.04/16.14 c rational objective 0 18.62/18.72 c #Conflicts: 42000 | #Constraints: 4643 18.62/18.72 c #Conflicts: 43000 | #Constraints: 5646 18.62/18.72 c #Conflicts: 44000 | #Constraints: 6646 18.62/18.72 c #Conflicts: 45000 | #Constraints: 7648 18.62/18.72 c #Conflicts: 46000 | #Constraints: 8653 18.62/18.72 c INPROCESSING 18.62/18.72 c GARBAGE COLLECT 18.62/18.72 c rational objective 0 21.12/21.26 c #Conflicts: 47000 | #Constraints: 5248 21.12/21.26 c #Conflicts: 48000 | #Constraints: 6250 21.12/21.26 c #Conflicts: 49000 | #Constraints: 7251 21.12/21.26 c #Conflicts: 50000 | #Constraints: 8252 21.12/21.26 c #Conflicts: 51000 | #Constraints: 9255 21.12/21.26 c INPROCESSING 21.12/21.26 c GARBAGE COLLECT 21.12/21.26 c rational objective 0 23.92/24.02 c #Conflicts: 52000 | #Constraints: 5642 23.92/24.02 c #Conflicts: 53000 | #Constraints: 6642 23.92/24.02 c #Conflicts: 54000 | #Constraints: 7646 23.92/24.02 c #Conflicts: 55000 | #Constraints: 8648 23.92/24.02 c #Conflicts: 56000 | #Constraints: 9651 23.92/24.02 c INPROCESSING 23.92/24.02 c GARBAGE COLLECT 23.92/24.02 c rational objective 0 26.69/26.89 c #Conflicts: 57000 | #Constraints: 5842 26.69/26.89 c #Conflicts: 58000 | #Constraints: 6845 26.69/26.89 c #Conflicts: 59000 | #Constraints: 7848 26.69/26.89 c #Conflicts: 60000 | #Constraints: 8848 26.69/26.89 c #Conflicts: 61000 | #Constraints: 9848 26.69/26.89 c INPROCESSING 26.69/26.89 c GARBAGE COLLECT 26.69/26.89 c rational objective 0 29.89/30.09 c #Conflicts: 62000 | #Constraints: 5845 29.89/30.09 c #Conflicts: 63000 | #Constraints: 6846 29.89/30.09 c #Conflicts: 64000 | #Constraints: 7848 29.89/30.09 c #Conflicts: 65000 | #Constraints: 8850 29.89/30.09 c #Conflicts: 66000 | #Constraints: 9854 29.89/30.09 c INPROCESSING 29.89/30.09 c GARBAGE COLLECT 29.89/30.09 c rational objective 0 33.27/33.43 c #Conflicts: 67000 | #Constraints: 5641 33.27/33.43 c #Conflicts: 68000 | #Constraints: 6643 33.27/33.43 c #Conflicts: 69000 | #Constraints: 7644 33.27/33.43 c #Conflicts: 70000 | #Constraints: 8649 33.27/33.43 c #Conflicts: 71000 | #Constraints: 9651 33.27/33.43 c #Conflicts: 72000 | #Constraints: 10653 33.27/33.43 c INPROCESSING 33.27/33.43 c GARBAGE COLLECT 33.27/33.43 c rational objective 0 36.87/37.01 c #Conflicts: 73000 | #Constraints: 6244 36.87/37.01 c #Conflicts: 74000 | #Constraints: 7248 36.87/37.01 c #Conflicts: 75000 | #Constraints: 8252 36.87/37.01 c #Conflicts: 76000 | #Constraints: 9254 36.87/37.01 c #Conflicts: 77000 | #Constraints: 10255 36.87/37.01 c #Conflicts: 78000 | #Constraints: 11258 36.87/37.01 c INPROCESSING 36.87/37.01 c GARBAGE COLLECT 36.87/37.01 c rational objective 0 40.97/41.16 c #Conflicts: 79000 | #Constraints: 6646 40.97/41.16 c #Conflicts: 80000 | #Constraints: 7646 40.97/41.16 c #Conflicts: 81000 | #Constraints: 8646 40.97/41.16 c #Conflicts: 82000 | #Constraints: 9647 40.97/41.16 c #Conflicts: 83000 | #Constraints: 10648 40.97/41.16 c #Conflicts: 84000 | #Constraints: 11650 40.97/41.16 c INPROCESSING 40.97/41.16 c GARBAGE COLLECT 40.97/41.16 c rational objective 0 45.34/45.56 c #Conflicts: 85000 | #Constraints: 6843 45.34/45.56 c #Conflicts: 86000 | #Constraints: 7846 45.34/45.56 c #Conflicts: 87000 | #Constraints: 8848 45.34/45.56 c #Conflicts: 88000 | #Constraints: 9850 45.34/45.56 c #Conflicts: 89000 | #Constraints: 10850 45.34/45.56 c #Conflicts: 90000 | #Constraints: 11851 45.34/45.56 c INPROCESSING 45.34/45.56 c GARBAGE COLLECT 45.34/45.56 c rational objective 0 50.22/50.46 c #Conflicts: 91000 | #Constraints: 6845 50.22/50.46 c #Conflicts: 92000 | #Constraints: 7848 50.22/50.46 c #Conflicts: 93000 | #Constraints: 8850 50.22/50.46 c #Conflicts: 94000 | #Constraints: 9851 50.22/50.46 c #Conflicts: 95000 | #Constraints: 10852 50.22/50.46 c #Conflicts: 96000 | #Constraints: 11853 50.22/50.46 c INPROCESSING 50.22/50.46 c GARBAGE COLLECT 50.22/50.46 c rational objective 0 55.31/55.53 c #Conflicts: 97000 | #Constraints: 6643 55.31/55.53 c #Conflicts: 98000 | #Constraints: 7644 55.31/55.53 c #Conflicts: 99000 | #Constraints: 8645 55.31/55.53 c #Conflicts: 100000 | #Constraints: 9647 55.31/55.53 c #Conflicts: 101000 | #Constraints: 10648 55.31/55.53 c #Conflicts: 102000 | #Constraints: 11649 55.31/55.53 c #Conflicts: 103000 | #Constraints: 12650 55.31/55.53 c INPROCESSING 55.31/55.53 c GARBAGE COLLECT 55.31/55.53 c rational objective 0 60.09/60.33 c #Conflicts: 104000 | #Constraints: 7239 60.09/60.33 c #Conflicts: 105000 | #Constraints: 8239 60.09/60.33 c #Conflicts: 106000 | #Constraints: 9239 60.09/60.33 c #Conflicts: 107000 | #Constraints: 10239 60.09/60.33 c #Conflicts: 108000 | #Constraints: 11241 60.09/60.33 c #Conflicts: 109000 | #Constraints: 12247 60.09/60.33 c #Conflicts: 110000 | #Constraints: 13247 60.09/60.33 c INPROCESSING 60.09/60.33 c GARBAGE COLLECT 60.09/60.33 c rational objective 0 65.18/65.48 c #Conflicts: 111000 | #Constraints: 7642 65.18/65.48 c #Conflicts: 112000 | #Constraints: 8643 65.18/65.48 c #Conflicts: 113000 | #Constraints: 9643 65.18/65.48 c #Conflicts: 114000 | #Constraints: 10643 65.18/65.48 c #Conflicts: 115000 | #Constraints: 11646 65.18/65.48 c #Conflicts: 116000 | #Constraints: 12648 65.18/65.48 c #Conflicts: 117000 | #Constraints: 13651 65.18/65.48 c INPROCESSING 65.18/65.48 c GARBAGE COLLECT 65.18/65.48 c rational objective 0 70.86/71.18 c #Conflicts: 118000 | #Constraints: 7843 70.86/71.18 c #Conflicts: 119000 | #Constraints: 8844 70.86/71.18 c #Conflicts: 120000 | #Constraints: 9846 70.86/71.18 c #Conflicts: 121000 | #Constraints: 10848 70.86/71.18 c #Conflicts: 122000 | #Constraints: 11849 70.86/71.18 c #Conflicts: 123000 | #Constraints: 12850 70.86/71.18 c #Conflicts: 124000 | #Constraints: 13851 70.86/71.18 c INPROCESSING 70.86/71.18 c GARBAGE COLLECT 70.86/71.18 c rational objective 0 76.63/76.95 c #Conflicts: 125000 | #Constraints: 7846 76.63/76.95 c #Conflicts: 126000 | #Constraints: 8846 76.63/76.95 c #Conflicts: 127000 | #Constraints: 9846 76.63/76.95 c #Conflicts: 128000 | #Constraints: 10846 76.63/76.95 c #Conflicts: 129000 | #Constraints: 11847 76.63/76.95 c #Conflicts: 130000 | #Constraints: 12849 76.63/76.95 c #Conflicts: 131000 | #Constraints: 13851 76.63/76.95 c INPROCESSING 76.63/76.95 c GARBAGE COLLECT 76.63/76.95 c rational objective 0 82.73/83.03 c #Conflicts: 132000 | #Constraints: 7643 82.73/83.03 c #Conflicts: 133000 | #Constraints: 8645 82.73/83.03 c #Conflicts: 134000 | #Constraints: 9646 82.73/83.03 c #Conflicts: 135000 | #Constraints: 10647 82.73/83.03 c #Conflicts: 136000 | #Constraints: 11652 82.73/83.03 c #Conflicts: 137000 | #Constraints: 12654 82.73/83.03 c #Conflicts: 138000 | #Constraints: 13655 82.73/83.03 c #Conflicts: 139000 | #Constraints: 14656 82.73/83.03 c INPROCESSING 82.73/83.03 c GARBAGE COLLECT 82.73/83.03 c rational objective 0 89.29/89.65 c #Conflicts: 140000 | #Constraints: 8251 89.29/89.65 c #Conflicts: 141000 | #Constraints: 9253 89.29/89.65 c #Conflicts: 142000 | #Constraints: 10254 89.29/89.65 c #Conflicts: 143000 | #Constraints: 11258 89.29/89.65 c #Conflicts: 144000 | #Constraints: 12260 89.29/89.65 c #Conflicts: 145000 | #Constraints: 13265 89.29/89.65 c #Conflicts: 146000 | #Constraints: 14266 89.29/89.65 c #Conflicts: 147000 | #Constraints: 15266 89.29/89.65 c INPROCESSING 89.29/89.65 c GARBAGE COLLECT 89.29/89.65 c rational objective 0 95.97/96.39 c #Conflicts: 148000 | #Constraints: 8651 95.97/96.39 c #Conflicts: 149000 | #Constraints: 9654 95.97/96.39 c #Conflicts: 150000 | #Constraints: 10655 95.97/96.39 c #Conflicts: 151000 | #Constraints: 11656 95.97/96.39 c #Conflicts: 152000 | #Constraints: 12658 95.97/96.39 c #Conflicts: 153000 | #Constraints: 13659 95.97/96.39 c #Conflicts: 154000 | #Constraints: 14659 95.97/96.39 c #Conflicts: 155000 | #Constraints: 15659 95.97/96.39 c INPROCESSING 95.97/96.39 c GARBAGE COLLECT 95.97/96.39 c rational objective 0 103.05/103.41 c #Conflicts: 156000 | #Constraints: 8850 103.05/103.41 c #Conflicts: 157000 | #Constraints: 9852 103.05/103.41 c #Conflicts: 158000 | #Constraints: 10856 103.05/103.41 c #Conflicts: 159000 | #Constraints: 11860 103.05/103.41 c #Conflicts: 160000 | #Constraints: 12861 103.05/103.41 c #Conflicts: 161000 | #Constraints: 13863 103.05/103.41 c #Conflicts: 162000 | #Constraints: 14863 103.05/103.41 c #Conflicts: 163000 | #Constraints: 15864 103.05/103.41 c INPROCESSING 103.05/103.41 c GARBAGE COLLECT 103.05/103.41 c rational objective 0 110.42/110.83 c #Conflicts: 164000 | #Constraints: 8849 110.42/110.83 c #Conflicts: 165000 | #Constraints: 9851 110.42/110.83 c #Conflicts: 166000 | #Constraints: 10851 110.42/110.83 c #Conflicts: 167000 | #Constraints: 11853 110.42/110.83 c #Conflicts: 168000 | #Constraints: 12854 110.42/110.83 c #Conflicts: 169000 | #Constraints: 13857 110.42/110.83 c #Conflicts: 170000 | #Constraints: 14858 110.42/110.83 c #Conflicts: 171000 | #Constraints: 15859 110.42/110.83 c INPROCESSING 110.42/110.83 c GARBAGE COLLECT 110.42/110.83 c rational objective 0 118.09/118.50 c #Conflicts: 172000 | #Constraints: 8648 118.09/118.50 c #Conflicts: 173000 | #Constraints: 9651 118.09/118.50 c #Conflicts: 174000 | #Constraints: 10653 118.09/118.50 c #Conflicts: 175000 | #Constraints: 11653 118.09/118.50 c #Conflicts: 176000 | #Constraints: 12654 118.09/118.50 c #Conflicts: 177000 | #Constraints: 13657 118.09/118.50 c #Conflicts: 178000 | #Constraints: 14657 118.09/118.50 c #Conflicts: 179000 | #Constraints: 15659 118.09/118.50 c #Conflicts: 180000 | #Constraints: 16661 118.09/118.50 c INPROCESSING 118.09/118.50 c GARBAGE COLLECT 118.09/118.50 c rational objective 0 126.68/127.15 c #Conflicts: 181000 | #Constraints: 9244 126.68/127.15 c #Conflicts: 182000 | #Constraints: 10247 126.68/127.15 c #Conflicts: 183000 | #Constraints: 11250 126.68/127.15 c #Conflicts: 184000 | #Constraints: 12251 126.68/127.15 c #Conflicts: 185000 | #Constraints: 13252 126.68/127.15 c #Conflicts: 186000 | #Constraints: 14252 126.68/127.15 c #Conflicts: 187000 | #Constraints: 15253 126.68/127.15 c #Conflicts: 188000 | #Constraints: 16255 126.68/127.15 c #Conflicts: 189000 | #Constraints: 17255 126.68/127.15 c INPROCESSING 126.68/127.15 c GARBAGE COLLECT 126.68/127.15 c rational objective 0 135.93/136.45 c #Conflicts: 190000 | #Constraints: 9644 135.93/136.45 c #Conflicts: 191000 | #Constraints: 10645 135.93/136.45 c #Conflicts: 192000 | #Constraints: 11646 135.93/136.45 c #Conflicts: 193000 | #Constraints: 12648 135.93/136.45 c #Conflicts: 194000 | #Constraints: 13648 135.93/136.45 c #Conflicts: 195000 | #Constraints: 14650 135.93/136.45 c #Conflicts: 196000 | #Constraints: 15650 135.93/136.45 c #Conflicts: 197000 | #Constraints: 16650 135.93/136.45 c #Conflicts: 198000 | #Constraints: 17650 135.93/136.45 c INPROCESSING 135.93/136.45 c GARBAGE COLLECT 135.93/136.45 c rational objective 0 146.01/146.58 c #Conflicts: 199000 | #Constraints: 9843 146.01/146.58 c #Conflicts: 200000 | #Constraints: 10843 146.01/146.58 c #Conflicts: 201000 | #Constraints: 11843 146.01/146.58 c #Conflicts: 202000 | #Constraints: 12843 146.01/146.58 c #Conflicts: 203000 | #Constraints: 13843 146.01/146.58 c #Conflicts: 204000 | #Constraints: 14843 146.01/146.58 c #Conflicts: 205000 | #Constraints: 15843 146.01/146.58 c #Conflicts: 206000 | #Constraints: 16844 146.01/146.58 c #Conflicts: 207000 | #Constraints: 17844 146.01/146.58 c INPROCESSING 146.01/146.58 c GARBAGE COLLECT 146.01/146.58 c rational objective 0 156.07/156.69 c #Conflicts: 208000 | #Constraints: 9840 156.07/156.69 c #Conflicts: 209000 | #Constraints: 10842 156.07/156.69 c #Conflicts: 210000 | #Constraints: 11845 156.07/156.69 c #Conflicts: 211000 | #Constraints: 12845 156.07/156.69 c #Conflicts: 212000 | #Constraints: 13847 156.07/156.69 c #Conflicts: 213000 | #Constraints: 14849 156.07/156.69 c #Conflicts: 214000 | #Constraints: 15850 156.07/156.69 c #Conflicts: 215000 | #Constraints: 16851 156.07/156.69 c #Conflicts: 216000 | #Constraints: 17852 156.07/156.69 c INPROCESSING 156.07/156.69 c GARBAGE COLLECT 156.07/156.69 c rational objective 0 167.45/168.07 c #Conflicts: 217000 | #Constraints: 9645 167.45/168.07 c #Conflicts: 218000 | #Constraints: 10645 167.45/168.07 c #Conflicts: 219000 | #Constraints: 11648 167.45/168.07 c #Conflicts: 220000 | #Constraints: 12649 167.45/168.07 c #Conflicts: 221000 | #Constraints: 13649 167.45/168.07 c #Conflicts: 222000 | #Constraints: 14649 167.45/168.07 c #Conflicts: 223000 | #Constraints: 15649 167.45/168.07 c #Conflicts: 224000 | #Constraints: 16650 167.45/168.07 c #Conflicts: 225000 | #Constraints: 17651 167.45/168.07 c #Conflicts: 226000 | #Constraints: 18651 167.45/168.07 c INPROCESSING 167.45/168.07 c GARBAGE COLLECT 167.45/168.07 c rational objective 0 178.00/178.70 c #Conflicts: 227000 | #Constraints: 10245 178.00/178.70 c #Conflicts: 228000 | #Constraints: 11247 178.00/178.70 c #Conflicts: 229000 | #Constraints: 12247 178.00/178.70 c #Conflicts: 230000 | #Constraints: 13249 178.00/178.70 c #Conflicts: 231000 | #Constraints: 14249 178.00/178.70 c #Conflicts: 232000 | #Constraints: 15250 178.00/178.70 c #Conflicts: 233000 | #Constraints: 16250 178.00/178.70 c #Conflicts: 234000 | #Constraints: 17252 178.00/178.70 c #Conflicts: 235000 | #Constraints: 18255 178.00/178.70 c #Conflicts: 236000 | #Constraints: 19257 178.00/178.70 c INPROCESSING 178.00/178.70 c GARBAGE COLLECT 178.00/178.70 c rational objective 0 188.96/189.60 c #Conflicts: 237000 | #Constraints: 10646 188.96/189.60 c #Conflicts: 238000 | #Constraints: 11647 188.96/189.60 c #Conflicts: 239000 | #Constraints: 12648 188.96/189.60 c #Conflicts: 240000 | #Constraints: 13650 188.96/189.60 c #Conflicts: 241000 | #Constraints: 14654 188.96/189.60 c #Conflicts: 242000 | #Constraints: 15655 188.96/189.60 c #Conflicts: 243000 | #Constraints: 16655 188.96/189.60 c #Conflicts: 244000 | #Constraints: 17655 188.96/189.60 c #Conflicts: 245000 | #Constraints: 18655 188.96/189.60 c #Conflicts: 246000 | #Constraints: 19656 188.96/189.60 c INPROCESSING 188.96/189.60 c GARBAGE COLLECT 188.96/189.60 c rational objective 0 200.43/201.12 c #Conflicts: 247000 | #Constraints: 10848 200.43/201.12 c #Conflicts: 248000 | #Constraints: 11849 200.43/201.12 c #Conflicts: 249000 | #Constraints: 12849 200.43/201.12 c #Conflicts: 250000 | #Constraints: 13849 200.43/201.12 c #Conflicts: 251000 | #Constraints: 14850 200.43/201.12 c #Conflicts: 252000 | #Constraints: 15850 200.43/201.12 c #Conflicts: 253000 | #Constraints: 16851 200.43/201.12 c #Conflicts: 254000 | #Constraints: 17853 200.43/201.12 c #Conflicts: 255000 | #Constraints: 18855 200.43/201.12 c #Conflicts: 256000 | #Constraints: 19856 200.43/201.12 c INPROCESSING 200.43/201.12 c GARBAGE COLLECT 200.43/201.12 c rational objective 0 211.98/212.71 c #Conflicts: 257000 | #Constraints: 10844 211.98/212.71 c #Conflicts: 258000 | #Constraints: 11844 211.98/212.71 c #Conflicts: 259000 | #Constraints: 12846 211.98/212.71 c #Conflicts: 260000 | #Constraints: 13851 211.98/212.71 c #Conflicts: 261000 | #Constraints: 14851 211.98/212.71 c #Conflicts: 262000 | #Constraints: 15852 211.98/212.71 c #Conflicts: 263000 | #Constraints: 16853 211.98/212.71 c #Conflicts: 264000 | #Constraints: 17855 211.98/212.71 c #Conflicts: 265000 | #Constraints: 18857 211.98/212.71 c #Conflicts: 266000 | #Constraints: 19857 211.98/212.71 c INPROCESSING 211.98/212.71 c GARBAGE COLLECT 211.98/212.71 c rational objective 0 224.53/225.39 c #Conflicts: 267000 | #Constraints: 10647 224.53/225.39 c #Conflicts: 268000 | #Constraints: 11647 224.53/225.39 c #Conflicts: 269000 | #Constraints: 12647 224.53/225.39 c #Conflicts: 270000 | #Constraints: 13648 224.53/225.39 c #Conflicts: 271000 | #Constraints: 14649 224.53/225.39 c #Conflicts: 272000 | #Constraints: 15649 224.53/225.39 c #Conflicts: 273000 | #Constraints: 16649 224.53/225.39 c #Conflicts: 274000 | #Constraints: 17649 224.53/225.39 c #Conflicts: 275000 | #Constraints: 18650 224.53/225.39 c #Conflicts: 276000 | #Constraints: 19651 224.53/225.39 c #Conflicts: 277000 | #Constraints: 20651 224.53/225.39 c INPROCESSING 224.53/225.39 c GARBAGE COLLECT 224.53/225.39 c rational objective 0 236.99/237.80 c #Conflicts: 278000 | #Constraints: 11243 236.99/237.80 c #Conflicts: 279000 | #Constraints: 12244 236.99/237.80 c #Conflicts: 280000 | #Constraints: 13244 236.99/237.80 c #Conflicts: 281000 | #Constraints: 14245 236.99/237.80 c #Conflicts: 282000 | #Constraints: 15246 236.99/237.80 c #Conflicts: 283000 | #Constraints: 16246 236.99/237.80 c #Conflicts: 284000 | #Constraints: 17248 236.99/237.80 c #Conflicts: 285000 | #Constraints: 18249 236.99/237.80 c #Conflicts: 286000 | #Constraints: 19250 236.99/237.80 c #Conflicts: 287000 | #Constraints: 20250 236.99/237.80 c #Conflicts: 288000 | #Constraints: 21251 236.99/237.80 c INPROCESSING 236.99/237.80 c GARBAGE COLLECT 236.99/237.80 c rational objective 0 249.96/250.86 c #Conflicts: 289000 | #Constraints: 11640 249.96/250.86 c #Conflicts: 290000 | #Constraints: 12641 249.96/250.86 c #Conflicts: 291000 | #Constraints: 13641 249.96/250.86 c #Conflicts: 292000 | #Constraints: 14642 249.96/250.86 c #Conflicts: 293000 | #Constraints: 15643 249.96/250.86 c #Conflicts: 294000 | #Constraints: 16644 249.96/250.86 c #Conflicts: 295000 | #Constraints: 17645 249.96/250.86 c #Conflicts: 296000 | #Constraints: 18646 249.96/250.86 c #Conflicts: 297000 | #Constraints: 19649 249.96/250.86 c #Conflicts: 298000 | #Constraints: 20651 249.96/250.86 c #Conflicts: 299000 | #Constraints: 21652 249.96/250.86 c INPROCESSING 249.96/250.86 c GARBAGE COLLECT 249.96/250.86 c rational objective 0 263.30/264.26 c #Conflicts: 300000 | #Constraints: 11845 263.30/264.26 c #Conflicts: 301000 | #Constraints: 12846 263.30/264.26 c #Conflicts: 302000 | #Constraints: 13846 263.30/264.26 c #Conflicts: 303000 | #Constraints: 14846 263.30/264.26 c #Conflicts: 304000 | #Constraints: 15848 263.30/264.26 c #Conflicts: 305000 | #Constraints: 16849 263.30/264.26 c #Conflicts: 306000 | #Constraints: 17849 263.30/264.26 c #Conflicts: 307000 | #Constraints: 18850 263.30/264.26 c #Conflicts: 308000 | #Constraints: 19851 263.30/264.26 c #Conflicts: 309000 | #Constraints: 20851 263.30/264.26 c #Conflicts: 310000 | #Constraints: 21851 263.30/264.26 c INPROCESSING 263.30/264.26 c GARBAGE COLLECT 263.30/264.26 c rational objective 0 278.17/279.15 c #Conflicts: 311000 | #Constraints: 11844 278.17/279.15 c #Conflicts: 312000 | #Constraints: 12846 278.17/279.15 c #Conflicts: 313000 | #Constraints: 13849 278.17/279.15 c #Conflicts: 314000 | #Constraints: 14849 278.17/279.15 c #Conflicts: 315000 | #Constraints: 15849 278.17/279.15 c #Conflicts: 316000 | #Constraints: 16851 278.17/279.15 c #Conflicts: 317000 | #Constraints: 17851 278.17/279.15 c #Conflicts: 318000 | #Constraints: 18851 278.17/279.15 c #Conflicts: 319000 | #Constraints: 19851 278.17/279.15 c #Conflicts: 320000 | #Constraints: 20851 278.17/279.15 c #Conflicts: 321000 | #Constraints: 21851 278.17/279.15 c INPROCESSING 278.17/279.15 c GARBAGE COLLECT 278.17/279.15 c rational objective 0 293.51/294.52 c #Conflicts: 322000 | #Constraints: 11646 293.51/294.52 c #Conflicts: 323000 | #Constraints: 12651 293.51/294.52 c #Conflicts: 324000 | #Constraints: 13653 293.51/294.52 c #Conflicts: 325000 | #Constraints: 14657 293.51/294.52 c #Conflicts: 326000 | #Constraints: 15657 293.51/294.52 c #Conflicts: 327000 | #Constraints: 16657 293.51/294.52 c #Conflicts: 328000 | #Constraints: 17658 293.51/294.52 c #Conflicts: 329000 | #Constraints: 18658 293.51/294.52 c #Conflicts: 330000 | #Constraints: 19659 293.51/294.52 c #Conflicts: 331000 | #Constraints: 20659 293.51/294.52 c #Conflicts: 332000 | #Constraints: 21659 293.51/294.52 c #Conflicts: 333000 | #Constraints: 22659 293.51/294.52 c INPROCESSING 293.51/294.52 c GARBAGE COLLECT 293.51/294.52 c rational objective 0 308.25/309.30 c #Conflicts: 334000 | #Constraints: 12246 308.25/309.30 c #Conflicts: 335000 | #Constraints: 13248 308.25/309.30 c #Conflicts: 336000 | #Constraints: 14248 308.25/309.30 c #Conflicts: 337000 | #Constraints: 15248 308.25/309.30 c #Conflicts: 338000 | #Constraints: 16250 308.25/309.30 c #Conflicts: 339000 | #Constraints: 17250 308.25/309.30 c #Conflicts: 340000 | #Constraints: 18251 308.25/309.30 c #Conflicts: 341000 | #Constraints: 19251 308.25/309.30 c #Conflicts: 342000 | #Constraints: 20253 308.25/309.30 c #Conflicts: 343000 | #Constraints: 21255 308.25/309.30 c #Conflicts: 344000 | #Constraints: 22257 308.25/309.30 c #Conflicts: 345000 | #Constraints: 23257 308.25/309.30 c INPROCESSING 308.25/309.30 c GARBAGE COLLECT 308.25/309.30 c rational objective 0 323.49/324.67 c #Conflicts: 346000 | #Constraints: 12648 323.49/324.67 c #Conflicts: 347000 | #Constraints: 13649 323.49/324.67 c #Conflicts: 348000 | #Constraints: 14650 323.49/324.67 c #Conflicts: 349000 | #Constraints: 15650 323.49/324.67 c #Conflicts: 350000 | #Constraints: 16651 323.49/324.67 c #Conflicts: 351000 | #Constraints: 17652 323.49/324.67 c #Conflicts: 352000 | #Constraints: 18652 323.49/324.67 c #Conflicts: 353000 | #Constraints: 19652 323.49/324.67 c #Conflicts: 354000 | #Constraints: 20652 323.49/324.67 c #Conflicts: 355000 | #Constraints: 21654 323.49/324.67 c #Conflicts: 356000 | #Constraints: 22654 323.49/324.67 c #Conflicts: 357000 | #Constraints: 23655 323.49/324.67 c INPROCESSING 323.49/324.67 c GARBAGE COLLECT 323.49/324.67 c rational objective 0 339.44/340.64 c #Conflicts: 358000 | #Constraints: 12848 339.44/340.64 c #Conflicts: 359000 | #Constraints: 13848 339.44/340.64 c #Conflicts: 360000 | #Constraints: 14848 339.44/340.64 c #Conflicts: 361000 | #Constraints: 15848 339.44/340.64 c #Conflicts: 362000 | #Constraints: 16850 339.44/340.64 c #Conflicts: 363000 | #Constraints: 17850 339.44/340.64 c #Conflicts: 364000 | #Constraints: 18852 339.44/340.64 c #Conflicts: 365000 | #Constraints: 19852 339.44/340.64 c #Conflicts: 366000 | #Constraints: 20852 339.44/340.64 c #Conflicts: 367000 | #Constraints: 21853 339.44/340.64 c #Conflicts: 368000 | #Constraints: 22855 339.44/340.64 c #Conflicts: 369000 | #Constraints: 23856 339.44/340.64 c INPROCESSING 339.44/340.64 c GARBAGE COLLECT 339.44/340.64 c rational objective 0 356.28/357.54 c #Conflicts: 370000 | #Constraints: 12845 356.28/357.54 c #Conflicts: 371000 | #Constraints: 13847 356.28/357.54 c #Conflicts: 372000 | #Constraints: 14848 356.28/357.54 c #Conflicts: 373000 | #Constraints: 15851 356.28/357.54 c #Conflicts: 374000 | #Constraints: 16851 356.28/357.54 c #Conflicts: 375000 | #Constraints: 17852 356.28/357.54 c #Conflicts: 376000 | #Constraints: 18852 356.28/357.54 c #Conflicts: 377000 | #Constraints: 19852 356.28/357.54 c #Conflicts: 378000 | #Constraints: 20852 356.28/357.54 c #Conflicts: 379000 | #Constraints: 21852 356.28/357.54 c #Conflicts: 380000 | #Constraints: 22854 356.28/357.54 c #Conflicts: 381000 | #Constraints: 23859 356.28/357.54 c INPROCESSING 356.28/357.54 c GARBAGE COLLECT 356.28/357.54 c rational objective 0 373.31/374.63 c #Conflicts: 382000 | #Constraints: 12645 373.31/374.63 c #Conflicts: 383000 | #Constraints: 13645 373.31/374.63 c #Conflicts: 384000 | #Constraints: 14647 373.31/374.63 c #Conflicts: 385000 | #Constraints: 15647 373.31/374.63 c #Conflicts: 386000 | #Constraints: 16647 373.31/374.63 c #Conflicts: 387000 | #Constraints: 17647 373.31/374.63 c #Conflicts: 388000 | #Constraints: 18647 373.31/374.63 c #Conflicts: 389000 | #Constraints: 19647 373.31/374.63 c #Conflicts: 390000 | #Constraints: 20649 373.31/374.63 c #Conflicts: 391000 | #Constraints: 21650 373.31/374.63 c #Conflicts: 392000 | #Constraints: 22653 373.31/374.63 c #Conflicts: 393000 | #Constraints: 23654 373.31/374.63 c #Conflicts: 394000 | #Constraints: 24654 373.31/374.63 c INPROCESSING 373.31/374.63 c GARBAGE COLLECT 373.31/374.63 c rational objective 0 390.77/392.18 c #Conflicts: 395000 | #Constraints: 13246 390.77/392.18 c #Conflicts: 396000 | #Constraints: 14246 390.77/392.18 c #Conflicts: 397000 | #Constraints: 15247 390.77/392.18 c #Conflicts: 398000 | #Constraints: 16247 390.77/392.18 c #Conflicts: 399000 | #Constraints: 17247 390.77/392.18 c #Conflicts: 400000 | #Constraints: 18247 390.77/392.18 c #Conflicts: 401000 | #Constraints: 19247 390.77/392.18 c #Conflicts: 402000 | #Constraints: 20247 390.77/392.18 c #Conflicts: 403000 | #Constraints: 21247 390.77/392.18 c #Conflicts: 404000 | #Constraints: 22249 390.77/392.18 c #Conflicts: 405000 | #Constraints: 23250 390.77/392.18 c #Conflicts: 406000 | #Constraints: 24251 390.77/392.18 c #Conflicts: 407000 | #Constraints: 25252 390.77/392.18 c INPROCESSING 390.77/392.18 c GARBAGE COLLECT 390.77/392.18 c rational objective 0 408.61/410.01 c #Conflicts: 408000 | #Constraints: 13642 408.61/410.01 c #Conflicts: 409000 | #Constraints: 14643 408.61/410.01 c #Conflicts: 410000 | #Constraints: 15646 408.61/410.01 c #Conflicts: 411000 | #Constraints: 16646 408.61/410.01 c #Conflicts: 412000 | #Constraints: 17646 408.61/410.01 c #Conflicts: 413000 | #Constraints: 18646 408.61/410.01 c #Conflicts: 414000 | #Constraints: 19649 408.61/410.01 c #Conflicts: 415000 | #Constraints: 20650 408.61/410.01 c #Conflicts: 416000 | #Constraints: 21650 408.61/410.01 c #Conflicts: 417000 | #Constraints: 22650 408.61/410.01 c #Conflicts: 418000 | #Constraints: 23650 408.61/410.01 c #Conflicts: 419000 | #Constraints: 24650 408.61/410.01 c #Conflicts: 420000 | #Constraints: 25650 408.61/410.01 c INPROCESSING 408.61/410.01 c GARBAGE COLLECT 408.61/410.01 c rational objective 0 428.72/430.21 c #Conflicts: 421000 | #Constraints: 13846 428.72/430.21 c #Conflicts: 422000 | #Constraints: 14846 428.72/430.21 c #Conflicts: 423000 | #Constraints: 15847 428.72/430.21 c #Conflicts: 424000 | #Constraints: 16847 428.72/430.21 c #Conflicts: 425000 | #Constraints: 17848 428.72/430.21 c #Conflicts: 426000 | #Constraints: 18849 428.72/430.21 c #Conflicts: 427000 | #Constraints: 19849 428.72/430.21 c #Conflicts: 428000 | #Constraints: 20849 428.72/430.21 c #Conflicts: 429000 | #Constraints: 21850 428.72/430.21 c #Conflicts: 430000 | #Constraints: 22850 428.72/430.21 c #Conflicts: 431000 | #Constraints: 23850 428.72/430.21 c #Conflicts: 432000 | #Constraints: 24850 428.72/430.21 c #Conflicts: 433000 | #Constraints: 25850 428.72/430.21 c INPROCESSING 428.72/430.21 c GARBAGE COLLECT 428.72/430.21 c rational objective 0 449.65/451.21 c #Conflicts: 434000 | #Constraints: 13843 449.65/451.21 c #Conflicts: 435000 | #Constraints: 14843 449.65/451.21 c #Conflicts: 436000 | #Constraints: 15843 449.65/451.21 c #Conflicts: 437000 | #Constraints: 16843 449.65/451.21 c #Conflicts: 438000 | #Constraints: 17844 449.65/451.21 c #Conflicts: 439000 | #Constraints: 18846 449.65/451.21 c #Conflicts: 440000 | #Constraints: 19847 449.65/451.21 c #Conflicts: 441000 | #Constraints: 20848 449.65/451.21 c #Conflicts: 442000 | #Constraints: 21848 449.65/451.21 c #Conflicts: 443000 | #Constraints: 22848 449.65/451.21 c #Conflicts: 444000 | #Constraints: 23848 449.65/451.21 c #Conflicts: 445000 | #Constraints: 24848 449.65/451.21 c #Conflicts: 446000 | #Constraints: 25848 449.65/451.21 c INPROCESSING 449.65/451.21 c GARBAGE COLLECT 449.65/451.21 c rational objective 0 472.86/474.55 c #Conflicts: 447000 | #Constraints: 13644 472.86/474.55 c #Conflicts: 448000 | #Constraints: 14644 472.86/474.55 c #Conflicts: 449000 | #Constraints: 15645 472.86/474.55 c #Conflicts: 450000 | #Constraints: 16645 472.86/474.55 c #Conflicts: 451000 | #Constraints: 17645 472.86/474.55 c #Conflicts: 452000 | #Constraints: 18646 472.86/474.55 c #Conflicts: 453000 | #Constraints: 19648 472.86/474.55 c #Conflicts: 454000 | #Constraints: 20649 472.86/474.55 c #Conflicts: 455000 | #Constraints: 21649 472.86/474.55 c #Conflicts: 456000 | #Constraints: 22649 472.86/474.55 c #Conflicts: 457000 | #Constraints: 23649 472.86/474.55 c #Conflicts: 458000 | #Constraints: 24650 472.86/474.55 c #Conflicts: 459000 | #Constraints: 25651 472.86/474.55 c #Conflicts: 460000 | #Constraints: 26651 472.86/474.55 c INPROCESSING 472.86/474.55 c GARBAGE COLLECT 472.86/474.55 c rational objective 0 495.78/497.59 c #Conflicts: 461000 | #Constraints: 14243 495.78/497.59 c #Conflicts: 462000 | #Constraints: 15243 495.78/497.59 c #Conflicts: 463000 | #Constraints: 16246 495.78/497.59 c #Conflicts: 464000 | #Constraints: 17246 495.78/497.59 c #Conflicts: 465000 | #Constraints: 18247 495.78/497.59 c #Conflicts: 466000 | #Constraints: 19247 495.78/497.59 c #Conflicts: 467000 | #Constraints: 20248 495.78/497.59 c #Conflicts: 468000 | #Constraints: 21249 495.78/497.59 c #Conflicts: 469000 | #Constraints: 22249 495.78/497.59 c #Conflicts: 470000 | #Constraints: 23249 495.78/497.59 c #Conflicts: 471000 | #Constraints: 24251 495.78/497.59 c #Conflicts: 472000 | #Constraints: 25251 495.78/497.59 c #Conflicts: 473000 | #Constraints: 26251 495.78/497.59 c #Conflicts: 474000 | #Constraints: 27253 495.78/497.59 c INPROCESSING 495.78/497.59 c GARBAGE COLLECT 495.78/497.59 c rational objective 0 518.90/520.70 c #Conflicts: 475000 | #Constraints: 14646 518.90/520.70 c #Conflicts: 476000 | #Constraints: 15647 518.90/520.70 c #Conflicts: 477000 | #Constraints: 16648 518.90/520.70 c #Conflicts: 478000 | #Constraints: 17649 518.90/520.70 c #Conflicts: 479000 | #Constraints: 18649 518.90/520.70 c #Conflicts: 480000 | #Constraints: 19650 518.90/520.70 c #Conflicts: 481000 | #Constraints: 20650 518.90/520.70 c #Conflicts: 482000 | #Constraints: 21651 518.90/520.70 c #Conflicts: 483000 | #Constraints: 22652 518.90/520.70 c #Conflicts: 484000 | #Constraints: 23652 518.90/520.70 c #Conflicts: 485000 | #Constraints: 24652 518.90/520.70 c #Conflicts: 486000 | #Constraints: 25653 518.90/520.70 c #Conflicts: 487000 | #Constraints: 26654 518.90/520.70 c #Conflicts: 488000 | #Constraints: 27654 518.90/520.70 c INPROCESSING 518.90/520.70 c GARBAGE COLLECT 518.90/520.70 c rational objective 0 543.51/545.47 c #Conflicts: 489000 | #Constraints: 14849 543.51/545.47 c #Conflicts: 490000 | #Constraints: 15849 543.51/545.47 c #Conflicts: 491000 | #Constraints: 16849 543.51/545.47 c #Conflicts: 492000 | #Constraints: 17851 543.51/545.47 c #Conflicts: 493000 | #Constraints: 18851 543.51/545.47 c #Conflicts: 494000 | #Constraints: 19851 543.51/545.47 c #Conflicts: 495000 | #Constraints: 20852 543.51/545.47 c #Conflicts: 496000 | #Constraints: 21852 543.51/545.47 c #Conflicts: 497000 | #Constraints: 22853 543.51/545.47 c #Conflicts: 498000 | #Constraints: 23854 543.51/545.47 c #Conflicts: 499000 | #Constraints: 24855 543.51/545.47 c #Conflicts: 500000 | #Constraints: 25857 543.51/545.47 c #Conflicts: 501000 | #Constraints: 26857 543.51/545.47 c #Conflicts: 502000 | #Constraints: 27857 543.51/545.47 c INPROCESSING 543.51/545.47 c GARBAGE COLLECT 543.51/545.47 c rational objective 0 569.71/571.71 c #Conflicts: 503000 | #Constraints: 14846 569.71/571.71 c #Conflicts: 504000 | #Constraints: 15847 569.71/571.71 c #Conflicts: 505000 | #Constraints: 16847 569.71/571.71 c #Conflicts: 506000 | #Constraints: 17848 569.71/571.71 c #Conflicts: 507000 | #Constraints: 18848 569.71/571.71 c #Conflicts: 508000 | #Constraints: 19850 569.71/571.71 c #Conflicts: 509000 | #Constraints: 20850 569.71/571.71 c #Conflicts: 510000 | #Constraints: 21851 569.71/571.71 c #Conflicts: 511000 | #Constraints: 22851 569.71/571.71 c #Conflicts: 512000 | #Constraints: 23851 569.71/571.71 c #Conflicts: 513000 | #Constraints: 24852 569.71/571.71 c #Conflicts: 514000 | #Constraints: 25853 569.71/571.71 c #Conflicts: 515000 | #Constraints: 26853 569.71/571.71 c #Conflicts: 516000 | #Constraints: 27853 569.71/571.71 c INPROCESSING 569.71/571.71 c GARBAGE COLLECT 569.71/571.71 c rational objective 0 593.94/596.01 c #Conflicts: 517000 | #Constraints: 14642 593.94/596.01 c #Conflicts: 518000 | #Constraints: 15643 593.94/596.01 c #Conflicts: 519000 | #Constraints: 16644 593.94/596.01 c #Conflicts: 520000 | #Constraints: 17644 593.94/596.01 c #Conflicts: 521000 | #Constraints: 18644 593.94/596.01 c #Conflicts: 522000 | #Constraints: 19644 593.94/596.01 c #Conflicts: 523000 | #Constraints: 20644 593.94/596.01 c #Conflicts: 524000 | #Constraints: 21644 593.94/596.01 c #Conflicts: 525000 | #Constraints: 22644 593.94/596.01 c #Conflicts: 526000 | #Constraints: 23645 593.94/596.01 c #Conflicts: 527000 | #Constraints: 24645 593.94/596.01 c #Conflicts: 528000 | #Constraints: 25646 593.94/596.01 c #Conflicts: 529000 | #Constraints: 26648 593.94/596.01 c #Conflicts: 530000 | #Constraints: 27648 593.94/596.01 c #Conflicts: 531000 | #Constraints: 28648 593.94/596.01 c INPROCESSING 593.94/596.01 c GARBAGE COLLECT 593.94/596.01 c rational objective 0 619.44/621.62 c #Conflicts: 532000 | #Constraints: 15243 619.44/621.62 c #Conflicts: 533000 | #Constraints: 16244 619.44/621.62 c #Conflicts: 534000 | #Constraints: 17244 619.44/621.62 c #Conflicts: 535000 | #Constraints: 18244 619.44/621.62 c #Conflicts: 536000 | #Constraints: 19244 619.44/621.62 c #Conflicts: 537000 | #Constraints: 20246 619.44/621.62 c #Conflicts: 538000 | #Constraints: 21248 619.44/621.62 c #Conflicts: 539000 | #Constraints: 22249 619.44/621.62 c #Conflicts: 540000 | #Constraints: 23249 619.44/621.62 c #Conflicts: 541000 | #Constraints: 24249 619.44/621.62 c #Conflicts: 542000 | #Constraints: 25250 619.44/621.62 c #Conflicts: 543000 | #Constraints: 26251 619.44/621.62 c #Conflicts: 544000 | #Constraints: 27252 619.44/621.62 c #Conflicts: 545000 | #Constraints: 28252 619.44/621.62 c #Conflicts: 546000 | #Constraints: 29252 619.44/621.62 c INPROCESSING 619.44/621.62 c GARBAGE COLLECT 619.44/621.62 c rational objective 0 647.52/649.83 c #Conflicts: 547000 | #Constraints: 15645 647.52/649.83 c #Conflicts: 548000 | #Constraints: 16645 647.52/649.83 c #Conflicts: 549000 | #Constraints: 17645 647.52/649.83 c #Conflicts: 550000 | #Constraints: 18645 647.52/649.83 c #Conflicts: 551000 | #Constraints: 19646 647.52/649.83 c #Conflicts: 552000 | #Constraints: 20649 647.52/649.83 c #Conflicts: 553000 | #Constraints: 21649 647.52/649.83 c #Conflicts: 554000 | #Constraints: 22649 647.52/649.83 c #Conflicts: 555000 | #Constraints: 23649 647.52/649.83 c #Conflicts: 556000 | #Constraints: 24649 647.52/649.83 c #Conflicts: 557000 | #Constraints: 25650 647.52/649.83 c #Conflicts: 558000 | #Constraints: 26652 647.52/649.83 c #Conflicts: 559000 | #Constraints: 27652 647.52/649.83 c #Conflicts: 560000 | #Constraints: 28652 647.52/649.83 c #Conflicts: 561000 | #Constraints: 29653 647.52/649.83 c INPROCESSING 647.52/649.83 c GARBAGE COLLECT 647.52/649.83 c rational objective 0 674.42/676.82 c #Conflicts: 562000 | #Constraints: 15843 674.42/676.82 c #Conflicts: 563000 | #Constraints: 16844 674.42/676.82 c #Conflicts: 564000 | #Constraints: 17844 674.42/676.82 c #Conflicts: 565000 | #Constraints: 18844 674.42/676.82 c #Conflicts: 566000 | #Constraints: 19845 674.42/676.82 c #Conflicts: 567000 | #Constraints: 20845 674.42/676.82 c #Conflicts: 568000 | #Constraints: 21845 674.42/676.82 c #Conflicts: 569000 | #Constraints: 22845 674.42/676.82 c #Conflicts: 570000 | #Constraints: 23845 674.42/676.82 c #Conflicts: 571000 | #Constraints: 24849 674.42/676.82 c #Conflicts: 572000 | #Constraints: 25849 674.42/676.82 c #Conflicts: 573000 | #Constraints: 26850 674.42/676.82 c #Conflicts: 574000 | #Constraints: 27851 674.42/676.82 c #Conflicts: 575000 | #Constraints: 28851 674.42/676.82 c #Conflicts: 576000 | #Constraints: 29851 674.42/676.82 c INPROCESSING 674.42/676.82 c GARBAGE COLLECT 674.42/676.82 c rational objective 0 701.55/704.10 c #Conflicts: 577000 | #Constraints: 15845 701.55/704.10 c #Conflicts: 578000 | #Constraints: 16846 701.55/704.10 c #Conflicts: 579000 | #Constraints: 17846 701.55/704.10 c #Conflicts: 580000 | #Constraints: 18846 701.55/704.10 c #Conflicts: 581000 | #Constraints: 19846 701.55/704.10 c #Conflicts: 582000 | #Constraints: 20848 701.55/704.10 c #Conflicts: 583000 | #Constraints: 21849 701.55/704.10 c #Conflicts: 584000 | #Constraints: 22851 701.55/704.10 c #Conflicts: 585000 | #Constraints: 23854 701.55/704.10 c #Conflicts: 586000 | #Constraints: 24855 701.55/704.10 c #Conflicts: 587000 | #Constraints: 25855 701.55/704.10 c #Conflicts: 588000 | #Constraints: 26859 701.55/704.10 c #Conflicts: 589000 | #Constraints: 27859 701.55/704.10 c #Conflicts: 590000 | #Constraints: 28860 701.55/704.10 c #Conflicts: 591000 | #Constraints: 29861 701.55/704.10 c INPROCESSING 701.55/704.10 c GARBAGE COLLECT 701.55/704.10 c rational objective 0 730.84/733.47 c #Conflicts: 592000 | #Constraints: 15647 730.84/733.47 c #Conflicts: 593000 | #Constraints: 16647 730.84/733.47 c #Conflicts: 594000 | #Constraints: 17647 730.84/733.47 c #Conflicts: 595000 | #Constraints: 18647 730.84/733.47 c #Conflicts: 596000 | #Constraints: 19647 730.84/733.47 c #Conflicts: 597000 | #Constraints: 20650 730.84/733.47 c #Conflicts: 598000 | #Constraints: 21650 730.84/733.47 c #Conflicts: 599000 | #Constraints: 22650 730.84/733.47 c #Conflicts: 600000 | #Constraints: 23650 730.84/733.47 c #Conflicts: 601000 | #Constraints: 24650 730.84/733.47 c #Conflicts: 602000 | #Constraints: 25650 730.84/733.47 c #Conflicts: 603000 | #Constraints: 26650 730.84/733.47 c #Conflicts: 604000 | #Constraints: 27650 730.84/733.47 c #Conflicts: 605000 | #Constraints: 28650 730.84/733.47 c #Conflicts: 606000 | #Constraints: 29651 730.84/733.47 c #Conflicts: 607000 | #Constraints: 30652 730.84/733.47 c INPROCESSING 730.84/733.47 c GARBAGE COLLECT 730.84/733.47 c rational objective 0 761.64/764.31 c #Conflicts: 608000 | #Constraints: 16245 761.64/764.31 c #Conflicts: 609000 | #Constraints: 17245 761.64/764.31 c #Conflicts: 610000 | #Constraints: 18245 761.64/764.31 c #Conflicts: 611000 | #Constraints: 19246 761.64/764.31 c #Conflicts: 612000 | #Constraints: 20246 761.64/764.31 c #Conflicts: 613000 | #Constraints: 21246 761.64/764.31 c #Conflicts: 614000 | #Constraints: 22247 761.64/764.31 c #Conflicts: 615000 | #Constraints: 23248 761.64/764.31 c #Conflicts: 616000 | #Constraints: 24248 761.64/764.31 c #Conflicts: 617000 | #Constraints: 25248 761.64/764.31 c #Conflicts: 618000 | #Constraints: 26249 761.64/764.31 c #Conflicts: 619000 | #Constraints: 27250 761.64/764.31 c #Conflicts: 620000 | #Constraints: 28251 761.64/764.31 c #Conflicts: 621000 | #Constraints: 29252 761.64/764.31 c #Conflicts: 622000 | #Constraints: 30252 761.64/764.31 c #Conflicts: 623000 | #Constraints: 31252 761.64/764.31 c INPROCESSING 761.64/764.31 c GARBAGE COLLECT 761.64/764.31 c rational objective 0 791.43/794.20 c #Conflicts: 624000 | #Constraints: 16644 791.43/794.20 c #Conflicts: 625000 | #Constraints: 17645 791.43/794.20 c #Conflicts: 626000 | #Constraints: 18646 791.43/794.20 c #Conflicts: 627000 | #Constraints: 19646 791.43/794.20 c #Conflicts: 628000 | #Constraints: 20651 791.43/794.20 c #Conflicts: 629000 | #Constraints: 21651 791.43/794.20 c #Conflicts: 630000 | #Constraints: 22651 791.43/794.20 c #Conflicts: 631000 | #Constraints: 23651 791.43/794.20 c #Conflicts: 632000 | #Constraints: 24652 791.43/794.20 c #Conflicts: 633000 | #Constraints: 25655 791.43/794.20 c #Conflicts: 634000 | #Constraints: 26657 791.43/794.20 c #Conflicts: 635000 | #Constraints: 27657 791.43/794.20 c #Conflicts: 636000 | #Constraints: 28657 791.43/794.20 c #Conflicts: 637000 | #Constraints: 29657 791.43/794.20 c #Conflicts: 638000 | #Constraints: 30657 791.43/794.20 c #Conflicts: 639000 | #Constraints: 31657 791.43/794.20 c INPROCESSING 791.43/794.20 c GARBAGE COLLECT 791.43/794.20 c rational objective 0 821.93/824.80 c #Conflicts: 640000 | #Constraints: 16844 821.93/824.80 c #Conflicts: 641000 | #Constraints: 17845 821.93/824.80 c #Conflicts: 642000 | #Constraints: 18845 821.93/824.80 c #Conflicts: 643000 | #Constraints: 19846 821.93/824.80 c #Conflicts: 644000 | #Constraints: 20846 821.93/824.80 c #Conflicts: 645000 | #Constraints: 21846 821.93/824.80 c #Conflicts: 646000 | #Constraints: 22847 821.93/824.80 c #Conflicts: 647000 | #Constraints: 23848 821.93/824.80 c #Conflicts: 648000 | #Constraints: 24849 821.93/824.80 c #Conflicts: 649000 | #Constraints: 25850 821.93/824.80 c #Conflicts: 650000 | #Constraints: 26851 821.93/824.80 c #Conflicts: 651000 | #Constraints: 27852 821.93/824.80 c #Conflicts: 652000 | #Constraints: 28852 821.93/824.80 c #Conflicts: 653000 | #Constraints: 29852 821.93/824.80 c #Conflicts: 654000 | #Constraints: 30852 821.93/824.80 c #Conflicts: 655000 | #Constraints: 31854 821.93/824.80 c INPROCESSING 821.93/824.80 c GARBAGE COLLECT 821.93/824.80 c rational objective 0 853.63/856.69 c #Conflicts: 656000 | #Constraints: 16845 853.63/856.69 c #Conflicts: 657000 | #Constraints: 17846 853.63/856.69 c #Conflicts: 658000 | #Constraints: 18846 853.63/856.69 c #Conflicts: 659000 | #Constraints: 19846 853.63/856.69 c #Conflicts: 660000 | #Constraints: 20848 853.63/856.69 c #Conflicts: 661000 | #Constraints: 21849 853.63/856.69 c #Conflicts: 662000 | #Constraints: 22849 853.63/856.69 c #Conflicts: 663000 | #Constraints: 23849 853.63/856.69 c #Conflicts: 664000 | #Constraints: 24850 853.63/856.69 c #Conflicts: 665000 | #Constraints: 25850 853.63/856.69 c #Conflicts: 666000 | #Constraints: 26851 853.63/856.69 c #Conflicts: 667000 | #Constraints: 27852 853.63/856.69 c #Conflicts: 668000 | #Constraints: 28852 853.63/856.69 c #Conflicts: 669000 | #Constraints: 29852 853.63/856.69 c #Conflicts: 670000 | #Constraints: 30852 853.63/856.69 c #Conflicts: 671000 | #Constraints: 31852 853.63/856.69 c INPROCESSING 853.63/856.69 c GARBAGE COLLECT 853.63/856.69 c rational objective 0 885.93/889.10 c #Conflicts: 672000 | #Constraints: 16643 885.93/889.10 c #Conflicts: 673000 | #Constraints: 17643 885.93/889.10 c #Conflicts: 674000 | #Constraints: 18643 885.93/889.10 c #Conflicts: 675000 | #Constraints: 19643 885.93/889.10 c #Conflicts: 676000 | #Constraints: 20643 885.93/889.10 c #Conflicts: 677000 | #Constraints: 21643 885.93/889.10 c #Conflicts: 678000 | #Constraints: 22645 885.93/889.10 c #Conflicts: 679000 | #Constraints: 23645 885.93/889.10 c #Conflicts: 680000 | #Constraints: 24645 885.93/889.10 c #Conflicts: 681000 | #Constraints: 25645 885.93/889.10 c #Conflicts: 682000 | #Constraints: 26645 885.93/889.10 c #Conflicts: 683000 | #Constraints: 27648 885.93/889.10 c #Conflicts: 684000 | #Constraints: 28648 885.93/889.10 c #Conflicts: 685000 | #Constraints: 29650 885.93/889.10 c #Conflicts: 686000 | #Constraints: 30651 885.93/889.10 c #Conflicts: 687000 | #Constraints: 31651 885.93/889.10 c #Conflicts: 688000 | #Constraints: 32653 885.93/889.10 c INPROCESSING 885.93/889.10 c GARBAGE COLLECT 885.93/889.10 c rational objective 0 919.60/922.84 c #Conflicts: 689000 | #Constraints: 17243 919.60/922.84 c #Conflicts: 690000 | #Constraints: 18243 919.60/922.84 c #Conflicts: 691000 | #Constraints: 19243 919.60/922.84 c #Conflicts: 692000 | #Constraints: 20243 919.60/922.84 c #Conflicts: 693000 | #Constraints: 21245 919.60/922.84 c #Conflicts: 694000 | #Constraints: 22245 919.60/922.84 c #Conflicts: 695000 | #Constraints: 23245 919.60/922.84 c #Conflicts: 696000 | #Constraints: 24245 919.60/922.84 c #Conflicts: 697000 | #Constraints: 25246 919.60/922.84 c #Conflicts: 698000 | #Constraints: 26246 919.60/922.84 c #Conflicts: 699000 | #Constraints: 27247 919.60/922.84 c #Conflicts: 700000 | #Constraints: 28247 919.60/922.84 c #Conflicts: 701000 | #Constraints: 29247 919.60/922.84 c #Conflicts: 702000 | #Constraints: 30247 919.60/922.84 c #Conflicts: 703000 | #Constraints: 31247 919.60/922.84 c #Conflicts: 704000 | #Constraints: 32247 919.60/922.84 c #Conflicts: 705000 | #Constraints: 33247 919.60/922.84 c INPROCESSING 919.60/922.84 c GARBAGE COLLECT 919.60/922.84 c rational objective 0 955.87/959.22 c #Conflicts: 706000 | #Constraints: 17643 955.87/959.22 c #Conflicts: 707000 | #Constraints: 18645 955.87/959.22 c #Conflicts: 708000 | #Constraints: 19646 955.87/959.22 c #Conflicts: 709000 | #Constraints: 20647 955.87/959.22 c #Conflicts: 710000 | #Constraints: 21647 955.87/959.22 c #Conflicts: 711000 | #Constraints: 22649 955.87/959.22 c #Conflicts: 712000 | #Constraints: 23649 955.87/959.22 c #Conflicts: 713000 | #Constraints: 24650 955.87/959.22 c #Conflicts: 714000 | #Constraints: 25650 955.87/959.22 c #Conflicts: 715000 | #Constraints: 26650 955.87/959.22 c #Conflicts: 716000 | #Constraints: 27651 955.87/959.22 c #Conflicts: 717000 | #Constraints: 28651 955.87/959.22 c #Conflicts: 718000 | #Constraints: 29651 955.87/959.22 c #Conflicts: 719000 | #Constraints: 30651 955.87/959.22 c #Conflicts: 720000 | #Constraints: 31651 955.87/959.22 c #Conflicts: 721000 | #Constraints: 32653 955.87/959.22 c #Conflicts: 722000 | #Constraints: 33653 955.87/959.22 c INPROCESSING 955.87/959.22 c GARBAGE COLLECT 955.87/959.22 c rational objective 0 994.44/997.93 c #Conflicts: 723000 | #Constraints: 17843 994.44/997.93 c #Conflicts: 724000 | #Constraints: 18843 994.44/997.93 c #Conflicts: 725000 | #Constraints: 19843 994.44/997.93 c #Conflicts: 726000 | #Constraints: 20843 994.44/997.93 c #Conflicts: 727000 | #Constraints: 21843 994.44/997.93 c #Conflicts: 728000 | #Constraints: 22843 994.44/997.93 c #Conflicts: 729000 | #Constraints: 23844 994.44/997.93 c #Conflicts: 730000 | #Constraints: 24844 994.44/997.93 c #Conflicts: 731000 | #Constraints: 25844 994.44/997.93 c #Conflicts: 732000 | #Constraints: 26844 994.44/997.93 c #Conflicts: 733000 | #Constraints: 27844 994.44/997.93 c #Conflicts: 734000 | #Constraints: 28844 994.44/997.93 c #Conflicts: 735000 | #Constraints: 29844 994.44/997.93 c #Conflicts: 736000 | #Constraints: 30844 994.44/997.93 c #Conflicts: 737000 | #Constraints: 31844 994.44/997.93 c #Conflicts: 738000 | #Constraints: 32844 994.44/997.93 c #Conflicts: 739000 | #Constraints: 33844 994.44/997.93 c INPROCESSING 994.44/997.93 c GARBAGE COLLECT 994.44/997.93 c rational objective 0 1030.33/1033.96 c #Conflicts: 740000 | #Constraints: 17841 1030.33/1033.96 c #Conflicts: 741000 | #Constraints: 18841 1030.33/1033.96 c #Conflicts: 742000 | #Constraints: 19841 1030.33/1033.96 c #Conflicts: 743000 | #Constraints: 20841 1030.33/1033.96 c #Conflicts: 744000 | #Constraints: 21843 1030.33/1033.96 c #Conflicts: 745000 | #Constraints: 22844 1030.33/1033.96 c #Conflicts: 746000 | #Constraints: 23846 1030.33/1033.96 c #Conflicts: 747000 | #Constraints: 24846 1030.33/1033.96 c #Conflicts: 748000 | #Constraints: 25849 1030.33/1033.96 c #Conflicts: 749000 | #Constraints: 26850 1030.33/1033.96 c #Conflicts: 750000 | #Constraints: 27853 1030.33/1033.96 c #Conflicts: 751000 | #Constraints: 28853 1030.33/1033.96 c #Conflicts: 752000 | #Constraints: 29854 1030.33/1033.96 c #Conflicts: 753000 | #Constraints: 30855 1030.33/1033.96 c #Conflicts: 754000 | #Constraints: 31856 1030.33/1033.96 c #Conflicts: 755000 | #Constraints: 32856 1030.33/1033.96 c #Conflicts: 756000 | #Constraints: 33856 1030.33/1033.96 c INPROCESSING 1030.33/1033.96 c GARBAGE COLLECT 1030.33/1033.96 c rational objective 0 1067.32/1071.02 c #Conflicts: 757000 | #Constraints: 17646 1067.32/1071.02 c #Conflicts: 758000 | #Constraints: 18646 1067.32/1071.02 c #Conflicts: 759000 | #Constraints: 19646 1067.32/1071.02 c #Conflicts: 760000 | #Constraints: 20648 1067.32/1071.02 c #Conflicts: 761000 | #Constraints: 21648 1067.32/1071.02 c #Conflicts: 762000 | #Constraints: 22648 1067.32/1071.02 c #Conflicts: 763000 | #Constraints: 23648 1067.32/1071.02 c #Conflicts: 764000 | #Constraints: 24650 1067.32/1071.02 c #Conflicts: 765000 | #Constraints: 25650 1067.32/1071.02 c #Conflicts: 766000 | #Constraints: 26652 1067.32/1071.02 c #Conflicts: 767000 | #Constraints: 27652 1067.32/1071.02 c #Conflicts: 768000 | #Constraints: 28653 1067.32/1071.02 c #Conflicts: 769000 | #Constraints: 29653 1067.32/1071.02 c #Conflicts: 770000 | #Constraints: 30655 1067.32/1071.02 c #Conflicts: 771000 | #Constraints: 31655 1067.32/1071.02 c #Conflicts: 772000 | #Constraints: 32655 1067.32/1071.02 c #Conflicts: 773000 | #Constraints: 33656 1067.32/1071.02 c #Conflicts: 774000 | #Constraints: 34656 1067.32/1071.02 c INPROCESSING 1067.32/1071.02 c GARBAGE COLLECT 1067.32/1071.02 c rational objective 0 1105.97/1109.86 c #Conflicts: 775000 | #Constraints: 18247 1105.97/1109.86 c #Conflicts: 776000 | #Constraints: 19247 1105.97/1109.86 c #Conflicts: 777000 | #Constraints: 20247 1105.97/1109.86 c #Conflicts: 778000 | #Constraints: 21247 1105.97/1109.86 c #Conflicts: 779000 | #Constraints: 22247 1105.97/1109.86 c #Conflicts: 780000 | #Constraints: 23247 1105.97/1109.86 c #Conflicts: 781000 | #Constraints: 24247 1105.97/1109.86 c #Conflicts: 782000 | #Constraints: 25247 1105.97/1109.86 c #Conflicts: 783000 | #Constraints: 26249 1105.97/1109.86 c #Conflicts: 784000 | #Constraints: 27249 1105.97/1109.86 c #Conflicts: 785000 | #Constraints: 28249 1105.97/1109.86 c #Conflicts: 786000 | #Constraints: 29249 1105.97/1109.86 c #Conflicts: 787000 | #Constraints: 30249 1105.97/1109.86 c #Conflicts: 788000 | #Constraints: 31249 1105.97/1109.86 c #Conflicts: 789000 | #Constraints: 32252 1105.97/1109.86 c #Conflicts: 790000 | #Constraints: 33254 1105.97/1109.86 c #Conflicts: 791000 | #Constraints: 34255 1105.97/1109.86 c #Conflicts: 792000 | #Constraints: 35256 1105.97/1109.86 c INPROCESSING 1105.97/1109.86 c GARBAGE COLLECT 1105.97/1109.86 c rational objective 0 1144.34/1148.31 c #Conflicts: 793000 | #Constraints: 18643 1144.34/1148.31 c #Conflicts: 794000 | #Constraints: 19643 1144.34/1148.31 c #Conflicts: 795000 | #Constraints: 20643 1144.34/1148.31 c #Conflicts: 796000 | #Constraints: 21643 1144.34/1148.31 c #Conflicts: 797000 | #Constraints: 22644 1144.34/1148.31 c #Conflicts: 798000 | #Constraints: 23645 1144.34/1148.31 c #Conflicts: 799000 | #Constraints: 24645 1144.34/1148.31 c #Conflicts: 800000 | #Constraints: 25646 1144.34/1148.31 c #Conflicts: 801000 | #Constraints: 26648 1144.34/1148.31 c #Conflicts: 802000 | #Constraints: 27648 1144.34/1148.31 c #Conflicts: 803000 | #Constraints: 28649 1144.34/1148.31 c #Conflicts: 804000 | #Constraints: 29649 1144.34/1148.31 c #Conflicts: 805000 | #Constraints: 30650 1144.34/1148.31 c #Conflicts: 806000 | #Constraints: 31650 1144.34/1148.31 c #Conflicts: 807000 | #Constraints: 32653 1144.34/1148.31 c #Conflicts: 808000 | #Constraints: 33654 1144.34/1148.31 c #Conflicts: 809000 | #Constraints: 34654 1144.34/1148.31 c #Conflicts: 810000 | #Constraints: 35654 1144.34/1148.31 c INPROCESSING 1144.34/1148.31 c GARBAGE COLLECT 1144.34/1148.31 c rational objective 0 1184.20/1188.34 c #Conflicts: 811000 | #Constraints: 18845 1184.20/1188.34 c #Conflicts: 812000 | #Constraints: 19845 1184.20/1188.34 c #Conflicts: 813000 | #Constraints: 20845 1184.20/1188.34 c #Conflicts: 814000 | #Constraints: 21849 1184.20/1188.34 c #Conflicts: 815000 | #Constraints: 22849 1184.20/1188.34 c #Conflicts: 816000 | #Constraints: 23849 1184.20/1188.34 c #Conflicts: 817000 | #Constraints: 24849 1184.20/1188.34 c #Conflicts: 818000 | #Constraints: 25850 1184.20/1188.34 c #Conflicts: 819000 | #Constraints: 26850 1184.20/1188.34 c #Conflicts: 820000 | #Constraints: 27850 1184.20/1188.34 c #Conflicts: 821000 | #Constraints: 28850 1184.20/1188.34 c #Conflicts: 822000 | #Constraints: 29850 1184.20/1188.34 c #Conflicts: 823000 | #Constraints: 30850 1184.20/1188.34 c #Conflicts: 824000 | #Constraints: 31850 1184.20/1188.34 c #Conflicts: 825000 | #Constraints: 32850 1184.20/1188.34 c #Conflicts: 826000 | #Constraints: 33850 1184.20/1188.34 c #Conflicts: 827000 | #Constraints: 34850 1184.20/1188.34 c #Conflicts: 828000 | #Constraints: 35851 1184.20/1188.34 c INPROCESSING 1184.20/1188.34 c GARBAGE COLLECT 1184.20/1188.34 c rational objective 0 1228.55/1232.88 c #Conflicts: 829000 | #Constraints: 18845 1228.55/1232.88 c #Conflicts: 830000 | #Constraints: 19845 1228.55/1232.88 c #Conflicts: 831000 | #Constraints: 20848 1228.55/1232.88 c #Conflicts: 832000 | #Constraints: 21848 1228.55/1232.88 c #Conflicts: 833000 | #Constraints: 22848 1228.55/1232.88 c #Conflicts: 834000 | #Constraints: 23848 1228.55/1232.88 c #Conflicts: 835000 | #Constraints: 24848 1228.55/1232.88 c #Conflicts: 836000 | #Constraints: 25848 1228.55/1232.88 c #Conflicts: 837000 | #Constraints: 26849 1228.55/1232.88 c #Conflicts: 838000 | #Constraints: 27849 1228.55/1232.88 c #Conflicts: 839000 | #Constraints: 28850 1228.55/1232.88 c #Conflicts: 840000 | #Constraints: 29850 1228.55/1232.88 c #Conflicts: 841000 | #Constraints: 30850 1228.55/1232.88 c #Conflicts: 842000 | #Constraints: 31850 1228.55/1232.88 c #Conflicts: 843000 | #Constraints: 32850 1228.55/1232.88 c #Conflicts: 844000 | #Constraints: 33850 1228.55/1232.88 c #Conflicts: 845000 | #Constraints: 34850 1228.55/1232.88 c #Conflicts: 846000 | #Constraints: 35850 1228.55/1232.88 c INPROCESSING 1228.55/1232.88 c GARBAGE COLLECT 1228.55/1232.88 c rational objective 0 1271.62/1276.09 c #Conflicts: 847000 | #Constraints: 18640 1271.62/1276.09 c #Conflicts: 848000 | #Constraints: 19640 1271.62/1276.09 c #Conflicts: 849000 | #Constraints: 20640 1271.62/1276.09 c #Conflicts: 850000 | #Constraints: 21640 1271.62/1276.09 c #Conflicts: 851000 | #Constraints: 22640 1271.62/1276.09 c #Conflicts: 852000 | #Constraints: 23640 1271.62/1276.09 c #Conflicts: 853000 | #Constraints: 24640 1271.62/1276.09 c #Conflicts: 854000 | #Constraints: 25641 1271.62/1276.09 c #Conflicts: 855000 | #Constraints: 26642 1271.62/1276.09 c #Conflicts: 856000 | #Constraints: 27642 1271.62/1276.09 c #Conflicts: 857000 | #Constraints: 28644 1271.62/1276.09 c #Conflicts: 858000 | #Constraints: 29644 1271.62/1276.09 c #Conflicts: 859000 | #Constraints: 30644 1271.62/1276.09 c #Conflicts: 860000 | #Constraints: 31644 1271.62/1276.09 c #Conflicts: 861000 | #Constraints: 32644 1271.62/1276.09 c #Conflicts: 862000 | #Constraints: 33644 1271.62/1276.09 c #Conflicts: 863000 | #Constraints: 34644 1271.62/1276.09 c #Conflicts: 864000 | #Constraints: 35644 1271.62/1276.09 c #Conflicts: 865000 | #Constraints: 36644 1271.62/1276.09 c INPROCESSING 1271.62/1276.09 c GARBAGE COLLECT 1271.62/1276.09 c rational objective 0 1315.06/1319.68 c #Conflicts: 866000 | #Constraints: 19235 1315.06/1319.68 c #Conflicts: 867000 | #Constraints: 20236 1315.06/1319.68 c #Conflicts: 868000 | #Constraints: 21236 1315.06/1319.68 c #Conflicts: 869000 | #Constraints: 22236 1315.06/1319.68 c #Conflicts: 870000 | #Constraints: 23237 1315.06/1319.68 c #Conflicts: 871000 | #Constraints: 24238 1315.06/1319.68 c #Conflicts: 872000 | #Constraints: 25238 1315.06/1319.68 c #Conflicts: 873000 | #Constraints: 26238 1315.06/1319.68 c #Conflicts: 874000 | #Constraints: 27238 1315.06/1319.68 c #Conflicts: 875000 | #Constraints: 28240 1315.06/1319.68 c #Conflicts: 876000 | #Constraints: 29240 1315.06/1319.68 c #Conflicts: 877000 | #Constraints: 30241 1315.06/1319.68 c #Conflicts: 878000 | #Constraints: 31241 1315.06/1319.68 c #Conflicts: 879000 | #Constraints: 32241 1315.06/1319.68 c #Conflicts: 880000 | #Constraints: 33242 1315.06/1319.68 c #Conflicts: 881000 | #Constraints: 34244 1315.06/1319.68 c #Conflicts: 882000 | #Constraints: 35247 1315.06/1319.68 c #Conflicts: 883000 | #Constraints: 36248 1315.06/1319.68 c #Conflicts: 884000 | #Constraints: 37250 1315.06/1319.68 c INPROCESSING 1315.06/1319.68 c GARBAGE COLLECT 1315.06/1319.68 c rational objective 0 1360.10/1364.82 c #Conflicts: 885000 | #Constraints: 19642 1360.10/1364.82 c #Conflicts: 886000 | #Constraints: 20642 1360.10/1364.82 c #Conflicts: 887000 | #Constraints: 21642 1360.10/1364.82 c #Conflicts: 888000 | #Constraints: 22642 1360.10/1364.82 c #Conflicts: 889000 | #Constraints: 23642 1360.10/1364.82 c #Conflicts: 890000 | #Constraints: 24643 1360.10/1364.82 c #Conflicts: 891000 | #Constraints: 25644 1360.10/1364.82 c #Conflicts: 892000 | #Constraints: 26644 1360.10/1364.82 c #Conflicts: 893000 | #Constraints: 27646 1360.10/1364.82 c #Conflicts: 894000 | #Constraints: 28647 1360.10/1364.82 c #Conflicts: 895000 | #Constraints: 29647 1360.10/1364.82 c #Conflicts: 896000 | #Constraints: 30647 1360.10/1364.82 c #Conflicts: 897000 | #Constraints: 31648 1360.10/1364.82 c #Conflicts: 898000 | #Constraints: 32648 1360.10/1364.82 c #Conflicts: 899000 | #Constraints: 33648 1360.10/1364.82 c #Conflicts: 900000 | #Constraints: 34648 1360.10/1364.82 c #Conflicts: 901000 | #Constraints: 35650 1360.10/1364.82 c #Conflicts: 902000 | #Constraints: 36650 1360.10/1364.82 c #Conflicts: 903000 | #Constraints: 37650 1360.10/1364.82 c INPROCESSING 1360.10/1364.82 c GARBAGE COLLECT 1360.10/1364.82 c rational objective 0 1405.17/1410.05 c #Conflicts: 904000 | #Constraints: 19844 1405.17/1410.05 c #Conflicts: 905000 | #Constraints: 20844 1405.17/1410.05 c #Conflicts: 906000 | #Constraints: 21844 1405.17/1410.05 c #Conflicts: 907000 | #Constraints: 22844 1405.17/1410.05 c #Conflicts: 908000 | #Constraints: 23845 1405.17/1410.05 c #Conflicts: 909000 | #Constraints: 24845 1405.17/1410.05 c #Conflicts: 910000 | #Constraints: 25845 1405.17/1410.05 c #Conflicts: 911000 | #Constraints: 26846 1405.17/1410.05 c #Conflicts: 912000 | #Constraints: 27846 1405.17/1410.05 c #Conflicts: 913000 | #Constraints: 28846 1405.17/1410.05 c #Conflicts: 914000 | #Constraints: 29846 1405.17/1410.05 c #Conflicts: 915000 | #Constraints: 30846 1405.17/1410.05 c #Conflicts: 916000 | #Constraints: 31849 1405.17/1410.05 c #Conflicts: 917000 | #Constraints: 32850 1405.17/1410.05 c #Conflicts: 918000 | #Constraints: 33851 1405.17/1410.05 c #Conflicts: 919000 | #Constraints: 34851 1405.17/1410.05 c #Conflicts: 920000 | #Constraints: 35851 1405.17/1410.05 c #Conflicts: 921000 | #Constraints: 36851 1405.17/1410.05 c #Conflicts: 922000 | #Constraints: 37852 1405.17/1410.05 c INPROCESSING 1405.17/1410.05 c GARBAGE COLLECT 1405.17/1410.05 c rational objective 0 1450.70/1455.70 c #Conflicts: 923000 | #Constraints: 19846 1450.70/1455.70 c #Conflicts: 924000 | #Constraints: 20846 1450.70/1455.70 c #Conflicts: 925000 | #Constraints: 21846 1450.70/1455.70 c #Conflicts: 926000 | #Constraints: 22849 1450.70/1455.70 c #Conflicts: 927000 | #Constraints: 23849 1450.70/1455.70 c #Conflicts: 928000 | #Constraints: 24851 1450.70/1455.70 c #Conflicts: 929000 | #Constraints: 25852 1450.70/1455.70 c #Conflicts: 930000 | #Constraints: 26852 1450.70/1455.70 c #Conflicts: 931000 | #Constraints: 27852 1450.70/1455.70 c #Conflicts: 932000 | #Constraints: 28852 1450.70/1455.70 c #Conflicts: 933000 | #Constraints: 29853 1450.70/1455.70 c #Conflicts: 934000 | #Constraints: 30853 1450.70/1455.70 c #Conflicts: 935000 | #Constraints: 31854 1450.70/1455.70 c #Conflicts: 936000 | #Constraints: 32854 1450.70/1455.70 c #Conflicts: 937000 | #Constraints: 33854 1450.70/1455.70 c #Conflicts: 938000 | #Constraints: 34854 1450.70/1455.70 c #Conflicts: 939000 | #Constraints: 35854 1450.70/1455.70 c #Conflicts: 940000 | #Constraints: 36854 1450.70/1455.70 c #Conflicts: 941000 | #Constraints: 37854 1450.70/1455.70 c INPROCESSING 1450.70/1455.70 c GARBAGE COLLECT 1450.70/1455.70 c rational objective 0 1499.04/1504.29 c #Conflicts: 942000 | #Constraints: 19647 1499.04/1504.29 c #Conflicts: 943000 | #Constraints: 20648 1499.04/1504.29 c #Conflicts: 944000 | #Constraints: 21649 1499.04/1504.29 c #Conflicts: 945000 | #Constraints: 22649 1499.04/1504.29 c #Conflicts: 946000 | #Constraints: 23650 1499.04/1504.29 c #Conflicts: 947000 | #Constraints: 24651 1499.04/1504.29 c #Conflicts: 948000 | #Constraints: 25651 1499.04/1504.29 c #Conflicts: 949000 | #Constraints: 26651 1499.04/1504.29 c #Conflicts: 950000 | #Constraints: 27651 1499.04/1504.29 c #Conflicts: 951000 | #Constraints: 28651 1499.04/1504.29 c #Conflicts: 952000 | #Constraints: 29651 1499.04/1504.29 c #Conflicts: 953000 | #Constraints: 30652 1499.04/1504.29 c #Conflicts: 954000 | #Constraints: 31653 1499.04/1504.29 c #Conflicts: 955000 | #Constraints: 32653 1499.04/1504.29 c #Conflicts: 956000 | #Constraints: 33655 1499.04/1504.29 c #Conflicts: 957000 | #Constraints: 34655 1499.04/1504.29 c #Conflicts: 958000 | #Constraints: 35655 1499.04/1504.29 c #Conflicts: 959000 | #Constraints: 36655 1499.04/1504.29 c #Conflicts: 960000 | #Constraints: 37655 1499.04/1504.29 c #Conflicts: 961000 | #Constraints: 38658 1499.04/1504.29 c INPROCESSING 1499.04/1504.29 c GARBAGE COLLECT 1499.04/1504.29 c rational objective 0 1541.99/1547.31 c #Conflicts: 962000 | #Constraints: 20246 1541.99/1547.31 c #Conflicts: 963000 | #Constraints: 21246 1541.99/1547.31 c #Conflicts: 964000 | #Constraints: 22247 1541.99/1547.31 c #Conflicts: 965000 | #Constraints: 23248 1541.99/1547.31 c #Conflicts: 966000 | #Constraints: 24248 1541.99/1547.31 c #Conflicts: 967000 | #Constraints: 25249 1541.99/1547.31 c #Conflicts: 968000 | #Constraints: 26251 1541.99/1547.31 c #Conflicts: 969000 | #Constraints: 27251 1541.99/1547.31 c #Conflicts: 970000 | #Constraints: 28251 1541.99/1547.31 c #Conflicts: 971000 | #Constraints: 29253 1541.99/1547.31 c #Conflicts: 972000 | #Constraints: 30253 1541.99/1547.31 c #Conflicts: 973000 | #Constraints: 31254 1541.99/1547.31 c #Conflicts: 974000 | #Constraints: 32255 1541.99/1547.31 c #Conflicts: 975000 | #Constraints: 33255 1541.99/1547.31 c #Conflicts: 976000 | #Constraints: 34256 1541.99/1547.31 c #Conflicts: 977000 | #Constraints: 35256 1541.99/1547.31 c #Conflicts: 978000 | #Constraints: 36256 1541.99/1547.31 c #Conflicts: 979000 | #Constraints: 37257 1541.99/1547.31 c #Conflicts: 980000 | #Constraints: 38260 1541.99/1547.31 c #Conflicts: 981000 | #Constraints: 39261 1541.99/1547.31 c INPROCESSING 1541.99/1547.31 c GARBAGE COLLECT 1541.99/1547.31 c rational objective 0 1593.11/1598.60 c #Conflicts: 982000 | #Constraints: 20647 1593.11/1598.60 c #Conflicts: 983000 | #Constraints: 21649 1593.11/1598.60 c #Conflicts: 984000 | #Constraints: 22649 1593.11/1598.60 c #Conflicts: 985000 | #Constraints: 23649 1593.11/1598.60 c #Conflicts: 986000 | #Constraints: 24650 1593.11/1598.60 c #Conflicts: 987000 | #Constraints: 25650 1593.11/1598.60 c #Conflicts: 988000 | #Constraints: 26650 1593.11/1598.60 c #Conflicts: 989000 | #Constraints: 27650 1593.11/1598.60 c #Conflicts: 990000 | #Constraints: 28650 1593.11/1598.60 c #Conflicts: 991000 | #Constraints: 29651 1593.11/1598.60 c #Conflicts: 992000 | #Constraints: 30651 1593.11/1598.60 c #Conflicts: 993000 | #Constraints: 31651 1593.11/1598.60 c #Conflicts: 994000 | #Constraints: 32652 1593.11/1598.60 c #Conflicts: 995000 | #Constraints: 33652 1593.11/1598.60 c #Conflicts: 996000 | #Constraints: 34652 1593.11/1598.60 c #Conflicts: 997000 | #Constraints: 35652 1593.11/1598.60 c #Conflicts: 998000 | #Constraints: 36652 1593.11/1598.60 c #Conflicts: 999000 | #Constraints: 37653 1593.11/1598.60 c #Conflicts: 1000000 | #Constraints: 38653 1593.11/1598.60 c #Conflicts: 1001000 | #Constraints: 39654 1593.11/1598.60 c INPROCESSING 1593.11/1598.60 c GARBAGE COLLECT 1593.11/1598.60 c rational objective 0 1648.62/1654.30 c #Conflicts: 1002000 | #Constraints: 20847 1648.62/1654.30 c #Conflicts: 1003000 | #Constraints: 21847 1648.62/1654.30 c #Conflicts: 1004000 | #Constraints: 22847 1648.62/1654.30 c #Conflicts: 1005000 | #Constraints: 23847 1648.62/1654.30 c #Conflicts: 1006000 | #Constraints: 24847 1648.62/1654.30 c #Conflicts: 1007000 | #Constraints: 25847 1648.62/1654.30 c #Conflicts: 1008000 | #Constraints: 26847 1648.62/1654.30 c #Conflicts: 1009000 | #Constraints: 27847 1648.62/1654.30 c #Conflicts: 1010000 | #Constraints: 28848 1648.62/1654.30 c #Conflicts: 1011000 | #Constraints: 29848 1648.62/1654.30 c #Conflicts: 1012000 | #Constraints: 30848 1648.62/1654.30 c #Conflicts: 1013000 | #Constraints: 31848 1648.62/1654.30 c #Conflicts: 1014000 | #Constraints: 32848 1648.62/1654.30 c #Conflicts: 1015000 | #Constraints: 33848 1648.62/1654.30 c #Conflicts: 1016000 | #Constraints: 34848 1648.62/1654.30 c #Conflicts: 1017000 | #Constraints: 35848 1648.62/1654.30 c #Conflicts: 1018000 | #Constraints: 36849 1648.62/1654.30 c #Conflicts: 1019000 | #Constraints: 37849 1648.62/1654.30 c #Conflicts: 1020000 | #Constraints: 38849 1648.62/1654.30 c #Conflicts: 1021000 | #Constraints: 39850 1648.62/1654.31 c INPROCESSING 1648.62/1654.31 c GARBAGE COLLECT 1648.62/1654.31 c rational objective 0 1701.25/1707.12 c #Conflicts: 1022000 | #Constraints: 20844 1701.25/1707.12 c #Conflicts: 1023000 | #Constraints: 21844 1701.25/1707.12 c #Conflicts: 1024000 | #Constraints: 22844 1701.25/1707.12 c #Conflicts: 1025000 | #Constraints: 23845 1701.25/1707.12 c #Conflicts: 1026000 | #Constraints: 24845 1701.25/1707.12 c #Conflicts: 1027000 | #Constraints: 25846 1701.25/1707.12 c #Conflicts: 1028000 | #Constraints: 26846 1701.25/1707.12 c #Conflicts: 1029000 | #Constraints: 27846 1701.25/1707.12 c #Conflicts: 1030000 | #Constraints: 28846 1701.25/1707.12 c #Conflicts: 1031000 | #Constraints: 29846 1701.25/1707.12 c #Conflicts: 1032000 | #Constraints: 30846 1701.25/1707.12 c #Conflicts: 1033000 | #Constraints: 31846 1701.25/1707.12 c #Conflicts: 1034000 | #Constraints: 32846 1701.25/1707.12 c #Conflicts: 1035000 | #Constraints: 33846 1701.25/1707.12 c #Conflicts: 1036000 | #Constraints: 34846 1701.25/1707.12 c #Conflicts: 1037000 | #Constraints: 35846 1701.25/1707.12 c #Conflicts: 1038000 | #Constraints: 36846 1701.25/1707.12 c #Conflicts: 1039000 | #Constraints: 37847 1701.25/1707.12 c #Conflicts: 1040000 | #Constraints: 38847 1701.25/1707.12 c #Conflicts: 1041000 | #Constraints: 39847 1701.25/1707.12 c INPROCESSING 1701.25/1707.12 c GARBAGE COLLECT 1701.25/1707.12 c rational objective 0 1755.96/1762.08 c #Conflicts: 1042000 | #Constraints: 20644 1755.96/1762.08 c #Conflicts: 1043000 | #Constraints: 21644 1755.96/1762.08 c #Conflicts: 1044000 | #Constraints: 22644 1755.96/1762.08 c #Conflicts: 1045000 | #Constraints: 23644 1755.96/1762.08 c #Conflicts: 1046000 | #Constraints: 24645 1755.96/1762.08 c #Conflicts: 1047000 | #Constraints: 25645 1755.96/1762.08 c #Conflicts: 1048000 | #Constraints: 26646 1755.96/1762.08 c #Conflicts: 1049000 | #Constraints: 27647 1755.96/1762.08 c #Conflicts: 1050000 | #Constraints: 28647 1755.96/1762.08 c #Conflicts: 1051000 | #Constraints: 29647 1755.96/1762.08 c #Conflicts: 1052000 | #Constraints: 30647 1755.96/1762.08 c #Conflicts: 1053000 | #Constraints: 31647 1755.96/1762.08 c #Conflicts: 1054000 | #Constraints: 32647 1755.96/1762.08 c #Conflicts: 1055000 | #Constraints: 33647 1755.96/1762.08 c #Conflicts: 1056000 | #Constraints: 34647 1755.96/1762.08 c #Conflicts: 1057000 | #Constraints: 35647 1755.96/1762.08 c #Conflicts: 1058000 | #Constraints: 36647 1755.96/1762.08 c #Conflicts: 1059000 | #Constraints: 37647 1755.96/1762.08 c #Conflicts: 1060000 | #Constraints: 38648 1755.96/1762.08 c #Conflicts: 1061000 | #Constraints: 39652 1755.96/1762.08 c #Conflicts: 1062000 | #Constraints: 40652 1755.96/1762.08 c INPROCESSING 1755.96/1762.08 c GARBAGE COLLECT 1755.96/1762.08 c rational objective 0 1810.36/1816.62 c #Conflicts: 1063000 | #Constraints: 21243 1810.36/1816.62 c #Conflicts: 1064000 | #Constraints: 22243 1810.36/1816.62 c #Conflicts: 1065000 | #Constraints: 23243 1810.36/1816.62 c #Conflicts: 1066000 | #Constraints: 24244 1810.36/1816.62 c #Conflicts: 1067000 | #Constraints: 25244 1810.36/1816.62 c #Conflicts: 1068000 | #Constraints: 26244 1810.36/1816.62 c #Conflicts: 1069000 | #Constraints: 27246 1810.36/1816.62 c #Conflicts: 1070000 | #Constraints: 28247 1810.36/1816.62 c #Conflicts: 1071000 | #Constraints: 29249 1810.36/1816.62 c #Conflicts: 1072000 | #Constraints: 30250 1810.36/1816.62 c #Conflicts: 1073000 | #Constraints: 31251 1810.36/1816.62 c #Conflicts: 1074000 | #Constraints: 32253 1810.36/1816.62 c #Conflicts: 1075000 | #Constraints: 33253 1810.36/1816.62 c #Conflicts: 1076000 | #Constraints: 34255 1810.36/1816.62 c #Conflicts: 1077000 | #Constraints: 35255 1810.36/1816.62 c #Conflicts: 1078000 | #Constraints: 36255 1810.36/1816.62 c #Conflicts: 1079000 | #Constraints: 37256 1810.36/1816.62 c #Conflicts: 1080000 | #Constraints: 38256 1810.36/1816.62 c #Conflicts: 1081000 | #Constraints: 39256 1810.36/1816.62 c #Conflicts: 1082000 | #Constraints: 40256 1810.36/1816.62 c #Conflicts: 1083000 | #Constraints: 41256 1810.36/1816.62 c INPROCESSING 1810.36/1816.62 c GARBAGE COLLECT 1810.36/1816.62 c rational objective 0 1867.28/1873.76 c #Conflicts: 1084000 | #Constraints: 21648 1867.28/1873.76 c #Conflicts: 1085000 | #Constraints: 22648 1867.28/1873.76 c #Conflicts: 1086000 | #Constraints: 23648 1867.28/1873.76 c #Conflicts: 1087000 | #Constraints: 24648 1867.28/1873.76 c #Conflicts: 1088000 | #Constraints: 25648 1867.28/1873.76 c #Conflicts: 1089000 | #Constraints: 26648 1867.28/1873.76 c #Conflicts: 1090000 | #Constraints: 27648 1867.28/1873.76 c #Conflicts: 1091000 | #Constraints: 28649 1867.28/1873.76 c #Conflicts: 1092000 | #Constraints: 29649 1867.28/1873.76 c #Conflicts: 1093000 | #Constraints: 30649 1867.28/1873.76 c #Conflicts: 1094000 | #Constraints: 31649 1867.28/1873.76 c #Conflicts: 1095000 | #Constraints: 32649 1867.28/1873.76 c #Conflicts: 1096000 | #Constraints: 33649 1867.28/1873.76 c #Conflicts: 1097000 | #Constraints: 34649 1867.28/1873.76 c #Conflicts: 1098000 | #Constraints: 35649 1867.28/1873.76 c #Conflicts: 1099000 | #Constraints: 36649 1867.28/1873.76 c #Conflicts: 1100000 | #Constraints: 37649 1867.28/1873.76 c #Conflicts: 1101000 | #Constraints: 38650 1867.28/1873.76 c #Conflicts: 1102000 | #Constraints: 39650 1867.28/1873.76 c #Conflicts: 1103000 | #Constraints: 40650 1867.28/1873.76 c #Conflicts: 1104000 | #Constraints: 41651 1867.28/1873.76 c INPROCESSING 1867.28/1873.76 c GARBAGE COLLECT 1867.28/1873.76 c rational objective 0 1927.38/1934.08 c #Conflicts: 1105000 | #Constraints: 21843 1927.38/1934.08 c #Conflicts: 1106000 | #Constraints: 22843 1927.38/1934.08 c #Conflicts: 1107000 | #Constraints: 23843 1927.38/1934.08 c #Conflicts: 1108000 | #Constraints: 24843 1927.38/1934.08 c #Conflicts: 1109000 | #Constraints: 25843 1927.38/1934.08 c #Conflicts: 1110000 | #Constraints: 26843 1927.38/1934.08 c #Conflicts: 1111000 | #Constraints: 27843 1927.38/1934.08 c #Conflicts: 1112000 | #Constraints: 28843 1927.38/1934.08 c #Conflicts: 1113000 | #Constraints: 29844 1927.38/1934.08 c #Conflicts: 1114000 | #Constraints: 30844 1927.38/1934.08 c #Conflicts: 1115000 | #Constraints: 31844 1927.38/1934.08 c #Conflicts: 1116000 | #Constraints: 32844 1927.38/1934.08 c #Conflicts: 1117000 | #Constraints: 33844 1927.38/1934.08 c #Conflicts: 1118000 | #Constraints: 34844 1927.38/1934.08 c #Conflicts: 1119000 | #Constraints: 35846 1927.38/1934.08 c #Conflicts: 1120000 | #Constraints: 36846 1927.38/1934.08 c #Conflicts: 1121000 | #Constraints: 37847 1927.38/1934.08 c #Conflicts: 1122000 | #Constraints: 38847 1927.38/1934.08 c #Conflicts: 1123000 | #Constraints: 39847 1927.38/1934.08 c #Conflicts: 1124000 | #Constraints: 40848 1927.38/1934.08 c #Conflicts: 1125000 | #Constraints: 41848 1927.38/1934.08 c INPROCESSING 1927.38/1934.08 c GARBAGE COLLECT 1927.38/1934.08 c rational objective 0 1984.08/1990.91 c #Conflicts: 1126000 | #Constraints: 21843 1984.08/1990.91 c #Conflicts: 1127000 | #Constraints: 22843 1984.08/1990.91 c #Conflicts: 1128000 | #Constraints: 23843 1984.08/1990.91 c #Conflicts: 1129000 | #Constraints: 24844 1984.08/1990.91 c #Conflicts: 1130000 | #Constraints: 25844 1984.08/1990.91 c #Conflicts: 1131000 | #Constraints: 26845 1984.08/1990.91 c #Conflicts: 1132000 | #Constraints: 27846 1984.08/1990.91 c #Conflicts: 1133000 | #Constraints: 28846 1984.08/1990.91 c #Conflicts: 1134000 | #Constraints: 29846 1984.08/1990.91 c #Conflicts: 1135000 | #Constraints: 30846 1984.08/1990.91 c #Conflicts: 1136000 | #Constraints: 31846 1984.08/1990.91 c #Conflicts: 1137000 | #Constraints: 32846 1984.08/1990.91 c #Conflicts: 1138000 | #Constraints: 33846 1984.08/1990.91 c #Conflicts: 1139000 | #Constraints: 34848 1984.08/1990.91 c #Conflicts: 1140000 | #Constraints: 35848 1984.08/1990.91 c #Conflicts: 1141000 | #Constraints: 36848 1984.08/1990.91 c #Conflicts: 1142000 | #Constraints: 37849 1984.08/1990.91 c #Conflicts: 1143000 | #Constraints: 38849 1984.08/1990.91 c #Conflicts: 1144000 | #Constraints: 39849 1984.08/1990.91 c #Conflicts: 1145000 | #Constraints: 40849 1984.08/1990.91 c #Conflicts: 1146000 | #Constraints: 41849 1984.08/1990.91 c INPROCESSING 1984.08/1990.91 c GARBAGE COLLECT 1984.08/1990.91 c rational objective 0 2041.28/2048.36 c #Conflicts: 1147000 | #Constraints: 21642 2041.28/2048.36 c #Conflicts: 1148000 | #Constraints: 22642 2041.28/2048.36 c #Conflicts: 1149000 | #Constraints: 23644 2041.28/2048.36 c #Conflicts: 1150000 | #Constraints: 24645 2041.28/2048.36 c #Conflicts: 1151000 | #Constraints: 25646 2041.28/2048.36 c #Conflicts: 1152000 | #Constraints: 26647 2041.28/2048.36 c #Conflicts: 1153000 | #Constraints: 27647 2041.28/2048.36 c #Conflicts: 1154000 | #Constraints: 28648 2041.28/2048.36 c #Conflicts: 1155000 | #Constraints: 29648 2041.28/2048.36 c #Conflicts: 1156000 | #Constraints: 30648 2041.28/2048.36 c #Conflicts: 1157000 | #Constraints: 31648 2041.28/2048.36 c #Conflicts: 1158000 | #Constraints: 32649 2041.28/2048.36 c #Conflicts: 1159000 | #Constraints: 33651 2041.28/2048.36 c #Conflicts: 1160000 | #Constraints: 34653 2041.28/2048.36 c #Conflicts: 1161000 | #Constraints: 35653 2041.28/2048.36 c #Conflicts: 1162000 | #Constraints: 36653 2041.28/2048.36 c #Conflicts: 1163000 | #Constraints: 37653 2041.28/2048.36 c #Conflicts: 1164000 | #Constraints: 38653 2041.28/2048.36 c #Conflicts: 1165000 | #Constraints: 39655 2041.28/2048.36 c #Conflicts: 1166000 | #Constraints: 40655 2041.28/2048.36 c #Conflicts: 1167000 | #Constraints: 41657 2041.28/2048.36 c #Conflicts: 1168000 | #Constraints: 42657 2041.28/2048.36 c INPROCESSING 2041.28/2048.36 c GARBAGE COLLECT 2041.28/2048.36 c rational objective 0 2100.89/2108.12 c #Conflicts: 1169000 | #Constraints: 22247 2100.89/2108.12 c #Conflicts: 1170000 | #Constraints: 23247 2100.89/2108.12 c #Conflicts: 1171000 | #Constraints: 24247 2100.89/2108.12 c #Conflicts: 1172000 | #Constraints: 25248 2100.89/2108.12 c #Conflicts: 1173000 | #Constraints: 26248 2100.89/2108.12 c #Conflicts: 1174000 | #Constraints: 27248 2100.89/2108.12 c #Conflicts: 1175000 | #Constraints: 28248 2100.89/2108.12 c #Conflicts: 1176000 | #Constraints: 29248 2100.89/2108.12 c #Conflicts: 1177000 | #Constraints: 30248 2100.89/2108.12 c #Conflicts: 1178000 | #Constraints: 31249 2100.89/2108.12 c #Conflicts: 1179000 | #Constraints: 32249 2100.89/2108.12 c #Conflicts: 1180000 | #Constraints: 33249 2100.89/2108.12 c #Conflicts: 1181000 | #Constraints: 34250 2100.89/2108.12 c #Conflicts: 1182000 | #Constraints: 35250 2100.89/2108.12 c #Conflicts: 1183000 | #Constraints: 36252 2100.89/2108.12 c #Conflicts: 1184000 | #Constraints: 37252 2100.89/2108.12 c #Conflicts: 1185000 | #Constraints: 38252 2100.89/2108.12 c #Conflicts: 1186000 | #Constraints: 39252 2100.89/2108.12 c #Conflicts: 1187000 | #Constraints: 40253 2100.89/2108.12 c #Conflicts: 1188000 | #Constraints: 41253 2100.89/2108.12 c #Conflicts: 1189000 | #Constraints: 42253 2100.89/2108.12 c #Conflicts: 1190000 | #Constraints: 43253 2100.89/2108.12 c INPROCESSING 2100.89/2108.12 c GARBAGE COLLECT 2100.89/2108.12 c rational objective 0 2160.17/2167.64 c #Conflicts: 1191000 | #Constraints: 22642 2160.17/2167.64 c #Conflicts: 1192000 | #Constraints: 23643 2160.17/2167.64 c #Conflicts: 1193000 | #Constraints: 24643 2160.17/2167.64 c #Conflicts: 1194000 | #Constraints: 25644 2160.17/2167.64 c #Conflicts: 1195000 | #Constraints: 26644 2160.17/2167.64 c #Conflicts: 1196000 | #Constraints: 27644 2160.17/2167.64 c #Conflicts: 1197000 | #Constraints: 28644 2160.17/2167.64 c #Conflicts: 1198000 | #Constraints: 29644 2160.17/2167.64 c #Conflicts: 1199000 | #Constraints: 30644 2160.17/2167.64 c #Conflicts: 1200000 | #Constraints: 31645 2160.17/2167.64 c #Conflicts: 1201000 | #Constraints: 32646 2160.17/2167.64 c #Conflicts: 1202000 | #Constraints: 33646 2160.17/2167.64 c #Conflicts: 1203000 | #Constraints: 34646 2160.17/2167.64 c #Conflicts: 1204000 | #Constraints: 35646 2160.17/2167.64 c #Conflicts: 1205000 | #Constraints: 36648 2160.17/2167.64 c #Conflicts: 1206000 | #Constraints: 37648 2160.17/2167.64 c #Conflicts: 1207000 | #Constraints: 38649 2160.17/2167.64 c #Conflicts: 1208000 | #Constraints: 39650 2160.17/2167.64 c #Conflicts: 1209000 | #Constraints: 40651 2160.17/2167.64 c #Conflicts: 1210000 | #Constraints: 41651 2160.17/2167.64 c #Conflicts: 1211000 | #Constraints: 42651 2160.17/2167.64 c #Conflicts: 1212000 | #Constraints: 43651 2160.17/2167.64 c INPROCESSING 2160.17/2167.64 c GARBAGE COLLECT 2160.17/2167.64 c rational objective 0 2222.57/2230.29 c #Conflicts: 1213000 | #Constraints: 22846 2222.57/2230.29 c #Conflicts: 1214000 | #Constraints: 23847 2222.57/2230.29 c #Conflicts: 1215000 | #Constraints: 24847 2222.57/2230.29 c #Conflicts: 1216000 | #Constraints: 25847 2222.57/2230.29 c #Conflicts: 1217000 | #Constraints: 26847 2222.57/2230.29 c #Conflicts: 1218000 | #Constraints: 27848 2222.57/2230.29 c #Conflicts: 1219000 | #Constraints: 28848 2222.57/2230.29 c #Conflicts: 1220000 | #Constraints: 29848 2222.57/2230.29 c #Conflicts: 1221000 | #Constraints: 30848 2222.57/2230.29 c #Conflicts: 1222000 | #Constraints: 31848 2222.57/2230.29 c #Conflicts: 1223000 | #Constraints: 32848 2222.57/2230.29 c #Conflicts: 1224000 | #Constraints: 33848 2222.57/2230.29 c #Conflicts: 1225000 | #Constraints: 34848 2222.57/2230.29 c #Conflicts: 1226000 | #Constraints: 35848 2222.57/2230.29 c #Conflicts: 1227000 | #Constraints: 36848 2222.57/2230.29 c #Conflicts: 1228000 | #Constraints: 37848 2222.57/2230.29 c #Conflicts: 1229000 | #Constraints: 38848 2222.57/2230.29 c #Conflicts: 1230000 | #Constraints: 39849 2222.57/2230.29 c #Conflicts: 1231000 | #Constraints: 40849 2222.57/2230.29 c #Conflicts: 1232000 | #Constraints: 41850 2222.57/2230.29 c #Conflicts: 1233000 | #Constraints: 42851 2222.57/2230.29 c #Conflicts: 1234000 | #Constraints: 43852 2222.57/2230.29 c INPROCESSING 2222.57/2230.29 c GARBAGE COLLECT 2222.57/2230.29 c rational objective 0 2284.75/2292.60 c #Conflicts: 1235000 | #Constraints: 22847 2284.75/2292.60 c #Conflicts: 1236000 | #Constraints: 23848 2284.75/2292.60 c #Conflicts: 1237000 | #Constraints: 24848 2284.75/2292.60 c #Conflicts: 1238000 | #Constraints: 25848 2284.75/2292.60 c #Conflicts: 1239000 | #Constraints: 26849 2284.75/2292.60 c #Conflicts: 1240000 | #Constraints: 27849 2284.75/2292.60 c #Conflicts: 1241000 | #Constraints: 28850 2284.75/2292.60 c #Conflicts: 1242000 | #Constraints: 29851 2284.75/2292.60 c #Conflicts: 1243000 | #Constraints: 30852 2284.75/2292.60 c #Conflicts: 1244000 | #Constraints: 31852 2284.75/2292.60 c #Conflicts: 1245000 | #Constraints: 32852 2284.75/2292.60 c #Conflicts: 1246000 | #Constraints: 33852 2284.75/2292.60 c #Conflicts: 1247000 | #Constraints: 34852 2284.75/2292.60 c #Conflicts: 1248000 | #Constraints: 35852 2284.75/2292.60 c #Conflicts: 1249000 | #Constraints: 36852 2284.75/2292.60 c #Conflicts: 1250000 | #Constraints: 37853 2284.75/2292.60 c #Conflicts: 1251000 | #Constraints: 38853 2284.75/2292.60 c #Conflicts: 1252000 | #Constraints: 39853 2284.75/2292.60 c #Conflicts: 1253000 | #Constraints: 40855 2284.75/2292.60 c #Conflicts: 1254000 | #Constraints: 41855 2284.75/2292.60 c #Conflicts: 1255000 | #Constraints: 42855 2284.75/2292.60 c #Conflicts: 1256000 | #Constraints: 43855 2284.75/2292.60 c INPROCESSING 2284.75/2292.60 c GARBAGE COLLECT 2284.75/2292.60 c rational objective 0 2348.34/2356.46 c #Conflicts: 1257000 | #Constraints: 22646 2348.34/2356.46 c #Conflicts: 1258000 | #Constraints: 23647 2348.34/2356.46 c #Conflicts: 1259000 | #Constraints: 24649 2348.34/2356.46 c #Conflicts: 1260000 | #Constraints: 25649 2348.34/2356.46 c #Conflicts: 1261000 | #Constraints: 26649 2348.34/2356.46 c #Conflicts: 1262000 | #Constraints: 27649 2348.34/2356.46 c #Conflicts: 1263000 | #Constraints: 28649 2348.34/2356.46 c #Conflicts: 1264000 | #Constraints: 29650 2348.34/2356.46 c #Conflicts: 1265000 | #Constraints: 30650 2348.34/2356.46 c #Conflicts: 1266000 | #Constraints: 31651 2348.34/2356.46 c #Conflicts: 1267000 | #Constraints: 32653 2348.34/2356.46 c #Conflicts: 1268000 | #Constraints: 33653 2348.34/2356.46 c #Conflicts: 1269000 | #Constraints: 34653 2348.34/2356.46 c #Conflicts: 1270000 | #Constraints: 35654 2348.34/2356.46 c #Conflicts: 1271000 | #Constraints: 36654 2348.34/2356.46 c #Conflicts: 1272000 | #Constraints: 37654 2348.34/2356.46 c #Conflicts: 1273000 | #Constraints: 38654 2348.34/2356.46 c #Conflicts: 1274000 | #Constraints: 39654 2348.34/2356.46 c #Conflicts: 1275000 | #Constraints: 40654 2348.34/2356.46 c #Conflicts: 1276000 | #Constraints: 41654 2348.34/2356.46 c #Conflicts: 1277000 | #Constraints: 42654 2348.34/2356.46 c #Conflicts: 1278000 | #Constraints: 43654 2348.34/2356.46 c #Conflicts: 1279000 | #Constraints: 44657 2348.34/2356.46 c INPROCESSING 2348.34/2356.46 c GARBAGE COLLECT 2348.34/2356.46 c rational objective 0 2414.31/2422.63 c #Conflicts: 1280000 | #Constraints: 23248 2414.31/2422.63 c #Conflicts: 1281000 | #Constraints: 24249 2414.31/2422.63 c #Conflicts: 1282000 | #Constraints: 25249 2414.31/2422.63 c #Conflicts: 1283000 | #Constraints: 26249 2414.31/2422.63 c #Conflicts: 1284000 | #Constraints: 27249 2414.31/2422.63 c #Conflicts: 1285000 | #Constraints: 28249 2414.31/2422.63 c #Conflicts: 1286000 | #Constraints: 29249 2414.31/2422.63 c #Conflicts: 1287000 | #Constraints: 30249 2414.31/2422.63 c #Conflicts: 1288000 | #Constraints: 31250 2414.31/2422.63 c #Conflicts: 1289000 | #Constraints: 32250 2414.31/2422.63 c #Conflicts: 1290000 | #Constraints: 33250 2414.31/2422.63 c #Conflicts: 1291000 | #Constraints: 34251 2414.31/2422.63 c #Conflicts: 1292000 | #Constraints: 35252 2414.31/2422.63 c #Conflicts: 1293000 | #Constraints: 36252 2414.31/2422.63 c #Conflicts: 1294000 | #Constraints: 37252 2414.31/2422.63 c #Conflicts: 1295000 | #Constraints: 38252 2414.31/2422.63 c #Conflicts: 1296000 | #Constraints: 39253 2414.31/2422.63 c #Conflicts: 1297000 | #Constraints: 40253 2414.31/2422.63 c #Conflicts: 1298000 | #Constraints: 41253 2414.31/2422.63 c #Conflicts: 1299000 | #Constraints: 42254 2414.31/2422.63 c #Conflicts: 1300000 | #Constraints: 43254 2414.31/2422.63 c #Conflicts: 1301000 | #Constraints: 44254 2414.31/2422.63 c #Conflicts: 1302000 | #Constraints: 45254 2414.31/2422.63 c INPROCESSING 2414.31/2422.63 c GARBAGE COLLECT 2414.31/2422.63 c rational objective 0 2482.88/2491.47 c #Conflicts: 1303000 | #Constraints: 23647 2482.88/2491.47 c #Conflicts: 1304000 | #Constraints: 24647 2482.88/2491.47 c #Conflicts: 1305000 | #Constraints: 25647 2482.88/2491.47 c #Conflicts: 1306000 | #Constraints: 26647 2482.88/2491.47 c #Conflicts: 1307000 | #Constraints: 27647 2482.88/2491.47 c #Conflicts: 1308000 | #Constraints: 28648 2482.88/2491.47 c #Conflicts: 1309000 | #Constraints: 29648 2482.88/2491.47 c #Conflicts: 1310000 | #Constraints: 30648 2482.88/2491.47 c #Conflicts: 1311000 | #Constraints: 31648 2482.88/2491.47 c #Conflicts: 1312000 | #Constraints: 32648 2482.88/2491.47 c #Conflicts: 1313000 | #Constraints: 33648 2482.88/2491.47 c #Conflicts: 1314000 | #Constraints: 34648 2482.88/2491.47 c #Conflicts: 1315000 | #Constraints: 35648 2482.88/2491.47 c #Conflicts: 1316000 | #Constraints: 36648 2482.88/2491.47 c #Conflicts: 1317000 | #Constraints: 37649 2482.88/2491.47 c #Conflicts: 1318000 | #Constraints: 38649 2482.88/2491.47 c #Conflicts: 1319000 | #Constraints: 39649 2482.88/2491.47 c #Conflicts: 1320000 | #Constraints: 40650 2482.88/2491.47 c #Conflicts: 1321000 | #Constraints: 41651 2482.88/2491.47 c #Conflicts: 1322000 | #Constraints: 42651 2482.88/2491.47 c #Conflicts: 1323000 | #Constraints: 43652 2482.88/2491.47 c #Conflicts: 1324000 | #Constraints: 44652 2482.88/2491.47 c #Conflicts: 1325000 | #Constraints: 45652 2482.88/2491.47 c INPROCESSING 2482.88/2491.47 c GARBAGE COLLECT 2482.88/2491.47 c rational objective 0 2556.93/2565.78 c #Conflicts: 1326000 | #Constraints: 23847 2556.93/2565.78 c #Conflicts: 1327000 | #Constraints: 24848 2556.93/2565.78 c #Conflicts: 1328000 | #Constraints: 25848 2556.93/2565.78 c #Conflicts: 1329000 | #Constraints: 26848 2556.93/2565.78 c #Conflicts: 1330000 | #Constraints: 27848 2556.93/2565.78 c #Conflicts: 1331000 | #Constraints: 28848 2556.93/2565.78 c #Conflicts: 1332000 | #Constraints: 29848 2556.93/2565.78 c #Conflicts: 1333000 | #Constraints: 30848 2556.93/2565.78 c #Conflicts: 1334000 | #Constraints: 31848 2556.93/2565.78 c #Conflicts: 1335000 | #Constraints: 32848 2556.93/2565.78 c #Conflicts: 1336000 | #Constraints: 33848 2556.93/2565.78 c #Conflicts: 1337000 | #Constraints: 34848 2556.93/2565.78 c #Conflicts: 1338000 | #Constraints: 35849 2556.93/2565.78 c #Conflicts: 1339000 | #Constraints: 36850 2556.93/2565.78 c #Conflicts: 1340000 | #Constraints: 37851 2556.93/2565.78 c #Conflicts: 1341000 | #Constraints: 38851 2556.93/2565.78 c #Conflicts: 1342000 | #Constraints: 39851 2556.93/2565.78 c #Conflicts: 1343000 | #Constraints: 40851 2556.93/2565.78 c #Conflicts: 1344000 | #Constraints: 41851 2556.93/2565.78 c #Conflicts: 1345000 | #Constraints: 42851 2556.93/2565.78 c #Conflicts: 1346000 | #Constraints: 43851 2556.93/2565.78 c #Conflicts: 1347000 | #Constraints: 44851 2556.93/2565.78 c #Conflicts: 1348000 | #Constraints: 45851 2556.93/2565.78 c INPROCESSING 2556.93/2565.78 c GARBAGE COLLECT 2556.93/2565.78 c rational objective 0 2629.58/2638.67 c #Conflicts: 1349000 | #Constraints: 23844 2629.58/2638.67 c #Conflicts: 1350000 | #Constraints: 24844 2629.58/2638.67 c #Conflicts: 1351000 | #Constraints: 25844 2629.58/2638.67 c #Conflicts: 1352000 | #Constraints: 26844 2629.58/2638.67 c #Conflicts: 1353000 | #Constraints: 27844 2629.58/2638.67 c #Conflicts: 1354000 | #Constraints: 28844 2629.58/2638.67 c #Conflicts: 1355000 | #Constraints: 29845 2629.58/2638.67 c #Conflicts: 1356000 | #Constraints: 30845 2629.58/2638.67 c #Conflicts: 1357000 | #Constraints: 31845 2629.58/2638.67 c #Conflicts: 1358000 | #Constraints: 32845 2629.58/2638.67 c #Conflicts: 1359000 | #Constraints: 33845 2629.58/2638.67 c #Conflicts: 1360000 | #Constraints: 34847 2629.58/2638.67 c #Conflicts: 1361000 | #Constraints: 35847 2629.58/2638.67 c #Conflicts: 1362000 | #Constraints: 36847 2629.58/2638.67 c #Conflicts: 1363000 | #Constraints: 37848 2629.58/2638.67 c #Conflicts: 1364000 | #Constraints: 38849 2629.58/2638.67 c #Conflicts: 1365000 | #Constraints: 39849 2629.58/2638.67 c #Conflicts: 1366000 | #Constraints: 40849 2629.58/2638.67 c #Conflicts: 1367000 | #Constraints: 41849 2629.58/2638.67 c #Conflicts: 1368000 | #Constraints: 42849 2629.58/2638.67 c #Conflicts: 1369000 | #Constraints: 43849 2629.58/2638.67 c #Conflicts: 1370000 | #Constraints: 44850 2629.58/2638.67 c #Conflicts: 1371000 | #Constraints: 45850 2629.58/2638.67 c INPROCESSING 2629.58/2638.67 c GARBAGE COLLECT 2629.58/2638.67 c rational objective 0 2703.12/2712.47 c #Conflicts: 1372000 | #Constraints: 23645 2703.12/2712.47 c #Conflicts: 1373000 | #Constraints: 24645 2703.12/2712.47 c #Conflicts: 1374000 | #Constraints: 25645 2703.12/2712.47 c #Conflicts: 1375000 | #Constraints: 26646 2703.12/2712.47 c #Conflicts: 1376000 | #Constraints: 27646 2703.12/2712.47 c #Conflicts: 1377000 | #Constraints: 28647 2703.12/2712.47 c #Conflicts: 1378000 | #Constraints: 29647 2703.12/2712.47 c #Conflicts: 1379000 | #Constraints: 30647 2703.12/2712.47 c #Conflicts: 1380000 | #Constraints: 31647 2703.12/2712.47 c #Conflicts: 1381000 | #Constraints: 32647 2703.12/2712.47 c #Conflicts: 1382000 | #Constraints: 33647 2703.12/2712.47 c #Conflicts: 1383000 | #Constraints: 34648 2703.12/2712.47 c #Conflicts: 1384000 | #Constraints: 35648 2703.12/2712.47 c #Conflicts: 1385000 | #Constraints: 36649 2703.12/2712.47 c #Conflicts: 1386000 | #Constraints: 37649 2703.12/2712.47 c #Conflicts: 1387000 | #Constraints: 38649 2703.12/2712.47 c #Conflicts: 1388000 | #Constraints: 39650 2703.12/2712.47 c #Conflicts: 1389000 | #Constraints: 40651 2703.12/2712.47 c #Conflicts: 1390000 | #Constraints: 41652 2703.12/2712.47 c #Conflicts: 1391000 | #Constraints: 42653 2703.12/2712.47 c #Conflicts: 1392000 | #Constraints: 43653 2703.12/2712.47 c #Conflicts: 1393000 | #Constraints: 44653 2703.12/2712.47 c #Conflicts: 1394000 | #Constraints: 45653 2703.12/2712.47 c #Conflicts: 1395000 | #Constraints: 46654 2703.12/2712.47 c INPROCESSING 2703.12/2712.47 c GARBAGE COLLECT 2703.12/2712.47 c rational objective 0 2775.49/2785.02 c #Conflicts: 1396000 | #Constraints: 24248 2775.49/2785.02 c #Conflicts: 1397000 | #Constraints: 25249 2775.49/2785.02 c #Conflicts: 1398000 | #Constraints: 26250 2775.49/2785.02 c #Conflicts: 1399000 | #Constraints: 27253 2775.49/2785.02 c #Conflicts: 1400000 | #Constraints: 28253 2775.49/2785.02 c #Conflicts: 1401000 | #Constraints: 29253 2775.49/2785.02 c #Conflicts: 1402000 | #Constraints: 30255 2775.49/2785.02 c #Conflicts: 1403000 | #Constraints: 31255 2775.49/2785.02 c #Conflicts: 1404000 | #Constraints: 32256 2775.49/2785.02 c #Conflicts: 1405000 | #Constraints: 33256 2775.49/2785.02 c #Conflicts: 1406000 | #Constraints: 34256 2775.49/2785.02 c #Conflicts: 1407000 | #Constraints: 35256 2775.49/2785.02 c #Conflicts: 1408000 | #Constraints: 36256 2775.49/2785.02 c #Conflicts: 1409000 | #Constraints: 37256 2775.49/2785.02 c #Conflicts: 1410000 | #Constraints: 38256 2775.49/2785.02 c #Conflicts: 1411000 | #Constraints: 39256 2775.49/2785.02 c #Conflicts: 1412000 | #Constraints: 40256 2775.49/2785.02 c #Conflicts: 1413000 | #Constraints: 41256 2775.49/2785.02 c #Conflicts: 1414000 | #Constraints: 42258 2775.49/2785.02 c #Conflicts: 1415000 | #Constraints: 43258 2775.49/2785.02 c #Conflicts: 1416000 | #Constraints: 44258 2775.49/2785.02 c #Conflicts: 1417000 | #Constraints: 45258 2775.49/2785.02 c #Conflicts: 1418000 | #Constraints: 46258 2775.49/2785.02 c #Conflicts: 1419000 | #Constraints: 47258 2775.49/2785.02 c INPROCESSING 2775.49/2785.02 c GARBAGE COLLECT 2775.49/2785.02 c rational objective 0 2850.92/2860.76 c #Conflicts: 1420000 | #Constraints: 24647 2850.92/2860.76 c #Conflicts: 1421000 | #Constraints: 25647 2850.92/2860.76 c #Conflicts: 1422000 | #Constraints: 26647 2850.92/2860.76 c #Conflicts: 1423000 | #Constraints: 27647 2850.92/2860.76 c #Conflicts: 1424000 | #Constraints: 28647 2850.92/2860.76 c #Conflicts: 1425000 | #Constraints: 29647 2850.92/2860.76 c #Conflicts: 1426000 | #Constraints: 30649 2850.92/2860.76 c #Conflicts: 1427000 | #Constraints: 31649 2850.92/2860.76 c #Conflicts: 1428000 | #Constraints: 32649 2850.92/2860.76 c #Conflicts: 1429000 | #Constraints: 33649 2850.92/2860.76 c #Conflicts: 1430000 | #Constraints: 34649 2850.92/2860.76 c #Conflicts: 1431000 | #Constraints: 35649 2850.92/2860.76 c #Conflicts: 1432000 | #Constraints: 36650 2850.92/2860.76 c #Conflicts: 1433000 | #Constraints: 37652 2850.92/2860.76 c #Conflicts: 1434000 | #Constraints: 38653 2850.92/2860.76 c #Conflicts: 1435000 | #Constraints: 39653 2850.92/2860.76 c #Conflicts: 1436000 | #Constraints: 40654 2850.92/2860.76 c #Conflicts: 1437000 | #Constraints: 41654 2850.92/2860.76 c #Conflicts: 1438000 | #Constraints: 42654 2850.92/2860.76 c #Conflicts: 1439000 | #Constraints: 43654 2850.92/2860.76 c #Conflicts: 1440000 | #Constraints: 44654 2850.92/2860.76 c #Conflicts: 1441000 | #Constraints: 45654 2850.92/2860.76 c #Conflicts: 1442000 | #Constraints: 46654 2850.92/2860.76 c #Conflicts: 1443000 | #Constraints: 47655 2850.92/2860.76 c INPROCESSING 2850.92/2860.76 c GARBAGE COLLECT 2850.92/2860.76 c rational objective 0 2936.91/2947.08 c #Conflicts: 1444000 | #Constraints: 24848 2936.91/2947.08 c #Conflicts: 1445000 | #Constraints: 25848 2936.91/2947.08 c #Conflicts: 1446000 | #Constraints: 26849 2936.91/2947.08 c #Conflicts: 1447000 | #Constraints: 27850 2936.91/2947.08 c #Conflicts: 1448000 | #Constraints: 28850 2936.91/2947.08 c #Conflicts: 1449000 | #Constraints: 29850 2936.91/2947.08 c #Conflicts: 1450000 | #Constraints: 30850 2936.91/2947.08 c #Conflicts: 1451000 | #Constraints: 31850 2936.91/2947.08 c #Conflicts: 1452000 | #Constraints: 32850 2936.91/2947.08 c #Conflicts: 1453000 | #Constraints: 33850 2936.91/2947.08 c #Conflicts: 1454000 | #Constraints: 34850 2936.91/2947.08 c #Conflicts: 1455000 | #Constraints: 35851 2936.91/2947.08 c #Conflicts: 1456000 | #Constraints: 36851 2936.91/2947.08 c #Conflicts: 1457000 | #Constraints: 37851 2936.91/2947.08 c #Conflicts: 1458000 | #Constraints: 38851 2936.91/2947.08 c #Conflicts: 1459000 | #Constraints: 39852 2936.91/2947.08 c #Conflicts: 1460000 | #Constraints: 40852 2936.91/2947.08 c #Conflicts: 1461000 | #Constraints: 41852 2936.91/2947.08 c #Conflicts: 1462000 | #Constraints: 42855 2936.91/2947.08 c #Conflicts: 1463000 | #Constraints: 43855 2936.91/2947.08 c #Conflicts: 1464000 | #Constraints: 44855 2936.91/2947.08 c #Conflicts: 1465000 | #Constraints: 45855 2936.91/2947.08 c #Conflicts: 1466000 | #Constraints: 46855 2936.91/2947.08 c #Conflicts: 1467000 | #Constraints: 47855 2936.91/2947.08 c INPROCESSING 2936.91/2947.08 c GARBAGE COLLECT 2936.91/2947.08 c rational objective 0 3021.10/3031.57 c #Conflicts: 1468000 | #Constraints: 24847 3021.10/3031.57 c #Conflicts: 1469000 | #Constraints: 25850 3021.10/3031.57 c #Conflicts: 1470000 | #Constraints: 26850 3021.10/3031.57 c #Conflicts: 1471000 | #Constraints: 27850 3021.10/3031.57 c #Conflicts: 1472000 | #Constraints: 28850 3021.10/3031.57 c #Conflicts: 1473000 | #Constraints: 29850 3021.10/3031.57 c #Conflicts: 1474000 | #Constraints: 30850 3021.10/3031.57 c #Conflicts: 1475000 | #Constraints: 31854 3021.10/3031.57 c #Conflicts: 1476000 | #Constraints: 32854 3021.10/3031.57 c #Conflicts: 1477000 | #Constraints: 33854 3021.10/3031.57 c #Conflicts: 1478000 | #Constraints: 34854 3021.10/3031.57 c #Conflicts: 1479000 | #Constraints: 35854 3021.10/3031.57 c #Conflicts: 1480000 | #Constraints: 36854 3021.10/3031.57 c #Conflicts: 1481000 | #Constraints: 37854 3021.10/3031.57 c #Conflicts: 1482000 | #Constraints: 38855 3021.10/3031.57 c #Conflicts: 1483000 | #Constraints: 39856 3021.10/3031.57 c #Conflicts: 1484000 | #Constraints: 40856 3021.10/3031.57 c #Conflicts: 1485000 | #Constraints: 41856 3021.10/3031.57 c #Conflicts: 1486000 | #Constraints: 42856 3021.10/3031.57 c #Conflicts: 1487000 | #Constraints: 43856 3021.10/3031.57 c #Conflicts: 1488000 | #Constraints: 44857 3021.10/3031.57 c #Conflicts: 1489000 | #Constraints: 45858 3021.10/3031.57 c #Conflicts: 1490000 | #Constraints: 46858 3021.10/3031.57 c #Conflicts: 1491000 | #Constraints: 47859 3021.10/3031.57 c INPROCESSING 3021.10/3031.57 c GARBAGE COLLECT 3021.10/3031.57 c rational objective 0 3107.29/3118.04 c #Conflicts: 1492000 | #Constraints: 24647 3107.29/3118.04 c #Conflicts: 1493000 | #Constraints: 25647 3107.29/3118.04 c #Conflicts: 1494000 | #Constraints: 26647 3107.29/3118.04 c #Conflicts: 1495000 | #Constraints: 27647 3107.29/3118.04 c #Conflicts: 1496000 | #Constraints: 28648 3107.29/3118.04 c #Conflicts: 1497000 | #Constraints: 29648 3107.29/3118.04 c #Conflicts: 1498000 | #Constraints: 30649 3107.29/3118.04 c #Conflicts: 1499000 | #Constraints: 31650 3107.29/3118.04 c #Conflicts: 1500000 | #Constraints: 32650 3107.29/3118.04 c #Conflicts: 1501000 | #Constraints: 33650 3107.29/3118.04 c #Conflicts: 1502000 | #Constraints: 34650 3107.29/3118.04 c #Conflicts: 1503000 | #Constraints: 35650 3107.29/3118.04 c #Conflicts: 1504000 | #Constraints: 36651 3107.29/3118.04 c #Conflicts: 1505000 | #Constraints: 37651 3107.29/3118.04 c #Conflicts: 1506000 | #Constraints: 38651 3107.29/3118.04 c #Conflicts: 1507000 | #Constraints: 39651 3107.29/3118.04 c #Conflicts: 1508000 | #Constraints: 40652 3107.29/3118.04 c #Conflicts: 1509000 | #Constraints: 41652 3107.29/3118.04 c #Conflicts: 1510000 | #Constraints: 42654 3107.29/3118.04 c #Conflicts: 1511000 | #Constraints: 43654 3107.29/3118.04 c #Conflicts: 1512000 | #Constraints: 44654 3107.29/3118.04 c #Conflicts: 1513000 | #Constraints: 45654 3107.29/3118.04 c #Conflicts: 1514000 | #Constraints: 46654 3107.29/3118.04 c #Conflicts: 1515000 | #Constraints: 47655 3107.29/3118.04 c #Conflicts: 1516000 | #Constraints: 48655 3107.29/3118.04 c INPROCESSING 3107.29/3118.04 c GARBAGE COLLECT 3107.29/3118.04 c rational objective 0 3195.06/3206.17 c #Conflicts: 1517000 | #Constraints: 25241 3195.06/3206.17 c #Conflicts: 1518000 | #Constraints: 26242 3195.06/3206.17 c #Conflicts: 1519000 | #Constraints: 27243 3195.06/3206.17 c #Conflicts: 1520000 | #Constraints: 28244 3195.06/3206.17 c #Conflicts: 1521000 | #Constraints: 29244 3195.06/3206.17 c #Conflicts: 1522000 | #Constraints: 30244 3195.06/3206.17 c #Conflicts: 1523000 | #Constraints: 31245 3195.06/3206.17 c #Conflicts: 1524000 | #Constraints: 32245 3195.06/3206.17 c #Conflicts: 1525000 | #Constraints: 33247 3195.06/3206.17 c #Conflicts: 1526000 | #Constraints: 34247 3195.06/3206.17 c #Conflicts: 1527000 | #Constraints: 35247 3195.06/3206.17 c #Conflicts: 1528000 | #Constraints: 36248 3195.06/3206.17 c #Conflicts: 1529000 | #Constraints: 37248 3195.06/3206.17 c #Conflicts: 1530000 | #Constraints: 38248 3195.06/3206.17 c #Conflicts: 1531000 | #Constraints: 39248 3195.06/3206.17 c #Conflicts: 1532000 | #Constraints: 40248 3195.06/3206.17 c #Conflicts: 1533000 | #Constraints: 41248 3195.06/3206.17 c #Conflicts: 1534000 | #Constraints: 42251 3195.06/3206.17 c #Conflicts: 1535000 | #Constraints: 43251 3195.06/3206.17 c #Conflicts: 1536000 | #Constraints: 44251 3195.06/3206.17 c #Conflicts: 1537000 | #Constraints: 45251 3195.06/3206.17 c #Conflicts: 1538000 | #Constraints: 46252 3195.06/3206.17 c #Conflicts: 1539000 | #Constraints: 47252 3195.06/3206.17 c #Conflicts: 1540000 | #Constraints: 48252 3195.06/3206.17 c #Conflicts: 1541000 | #Constraints: 49253 3195.06/3206.17 c INPROCESSING 3195.06/3206.17 c GARBAGE COLLECT 3195.06/3206.17 c rational objective 0 3288.61/3300.07 c #Conflicts: 1542000 | #Constraints: 25643 3288.61/3300.07 c #Conflicts: 1543000 | #Constraints: 26643 3288.61/3300.07 c #Conflicts: 1544000 | #Constraints: 27643 3288.61/3300.07 c #Conflicts: 1545000 | #Constraints: 28643 3288.61/3300.07 c #Conflicts: 1546000 | #Constraints: 29643 3288.61/3300.07 c #Conflicts: 1547000 | #Constraints: 30643 3288.61/3300.07 c #Conflicts: 1548000 | #Constraints: 31643 3288.61/3300.07 c #Conflicts: 1549000 | #Constraints: 32643 3288.61/3300.07 c #Conflicts: 1550000 | #Constraints: 33643 3288.61/3300.07 c #Conflicts: 1551000 | #Constraints: 34643 3288.61/3300.07 c #Conflicts: 1552000 | #Constraints: 35643 3288.61/3300.07 c #Conflicts: 1553000 | #Constraints: 36643 3288.61/3300.07 c #Conflicts: 1554000 | #Constraints: 37643 3288.61/3300.07 c #Conflicts: 1555000 | #Constraints: 38643 3288.61/3300.07 c #Conflicts: 1556000 | #Constraints: 39643 3288.61/3300.07 c #Conflicts: 1557000 | #Constraints: 40643 3288.61/3300.07 c #Conflicts: 1558000 | #Constraints: 41643 3288.61/3300.07 c #Conflicts: 1559000 | #Constraints: 42643 3288.61/3300.07 c #Conflicts: 1560000 | #Constraints: 43643 3288.61/3300.07 c #Conflicts: 1561000 | #Constraints: 44643 3288.61/3300.07 c #Conflicts: 1562000 | #Constraints: 45643 3288.61/3300.07 c #Conflicts: 1563000 | #Constraints: 46644 3288.61/3300.07 c #Conflicts: 1564000 | #Constraints: 47644 3288.61/3300.07 c #Conflicts: 1565000 | #Constraints: 48645 3288.61/3300.07 c #Conflicts: 1566000 | #Constraints: 49646 3288.61/3300.07 c INPROCESSING 3288.61/3300.07 c GARBAGE COLLECT 3288.61/3300.07 c rational objective 0 3373.62/3385.37 c #Conflicts: 1567000 | #Constraints: 25844 3373.62/3385.37 c #Conflicts: 1568000 | #Constraints: 26846 3373.62/3385.37 c #Conflicts: 1569000 | #Constraints: 27847 3373.62/3385.37 c #Conflicts: 1570000 | #Constraints: 28847 3373.62/3385.37 c #Conflicts: 1571000 | #Constraints: 29848 3373.62/3385.37 c #Conflicts: 1572000 | #Constraints: 30848 3373.62/3385.37 c #Conflicts: 1573000 | #Constraints: 31849 3373.62/3385.37 c #Conflicts: 1574000 | #Constraints: 32850 3373.62/3385.37 c #Conflicts: 1575000 | #Constraints: 33852 3373.62/3385.37 c #Conflicts: 1576000 | #Constraints: 34853 3373.62/3385.37 c #Conflicts: 1577000 | #Constraints: 35855 3373.62/3385.37 c #Conflicts: 1578000 | #Constraints: 36855 3373.62/3385.37 c #Conflicts: 1579000 | #Constraints: 37856 3373.62/3385.37 c #Conflicts: 1580000 | #Constraints: 38856 3373.62/3385.37 c #Conflicts: 1581000 | #Constraints: 39856 3373.62/3385.37 c #Conflicts: 1582000 | #Constraints: 40857 3373.62/3385.37 c #Conflicts: 1583000 | #Constraints: 41857 3373.62/3385.37 c #Conflicts: 1584000 | #Constraints: 42857 3373.62/3385.37 c #Conflicts: 1585000 | #Constraints: 43857 3373.62/3385.37 c #Conflicts: 1586000 | #Constraints: 44858 3373.62/3385.37 c #Conflicts: 1587000 | #Constraints: 45858 3373.62/3385.37 c #Conflicts: 1588000 | #Constraints: 46860 3373.62/3385.37 c #Conflicts: 1589000 | #Constraints: 47861 3373.62/3385.37 c #Conflicts: 1590000 | #Constraints: 48861 3373.62/3385.37 c #Conflicts: 1591000 | #Constraints: 49861 3373.62/3385.37 c INPROCESSING 3373.62/3385.37 c GARBAGE COLLECT 3373.62/3385.37 c rational objective 0 3466.09/3478.16 c #Conflicts: 1592000 | #Constraints: 25851 3466.09/3478.16 c #Conflicts: 1593000 | #Constraints: 26853 3466.09/3478.16 c #Conflicts: 1594000 | #Constraints: 27855 3466.09/3478.16 c #Conflicts: 1595000 | #Constraints: 28855 3466.09/3478.16 c #Conflicts: 1596000 | #Constraints: 29855 3466.09/3478.16 c #Conflicts: 1597000 | #Constraints: 30855 3466.09/3478.16 c #Conflicts: 1598000 | #Constraints: 31855 3466.09/3478.16 c #Conflicts: 1599000 | #Constraints: 32857 3466.09/3478.16 c #Conflicts: 1600000 | #Constraints: 33858 3466.09/3478.16 c #Conflicts: 1601000 | #Constraints: 34858 3466.09/3478.16 c #Conflicts: 1602000 | #Constraints: 35859 3466.09/3478.16 c #Conflicts: 1603000 | #Constraints: 36859 3466.09/3478.16 c #Conflicts: 1604000 | #Constraints: 37859 3466.09/3478.16 c #Conflicts: 1605000 | #Constraints: 38860 3466.09/3478.16 c #Conflicts: 1606000 | #Constraints: 39860 3466.09/3478.16 c #Conflicts: 1607000 | #Constraints: 40860 3466.09/3478.16 c #Conflicts: 1608000 | #Constraints: 41860 3466.09/3478.16 c #Conflicts: 1609000 | #Constraints: 42860 3466.09/3478.16 c #Conflicts: 1610000 | #Constraints: 43860 3466.09/3478.16 c #Conflicts: 1611000 | #Constraints: 44861 3466.09/3478.16 c #Conflicts: 1612000 | #Constraints: 45861 3466.09/3478.16 c #Conflicts: 1613000 | #Constraints: 46861 3466.09/3478.16 c #Conflicts: 1614000 | #Constraints: 47861 3466.09/3478.16 c #Conflicts: 1615000 | #Constraints: 48861 3466.09/3478.16 c #Conflicts: 1616000 | #Constraints: 49861 3466.09/3478.16 c INPROCESSING 3466.09/3478.16 c GARBAGE COLLECT 3466.09/3478.16 c rational objective 0 3560.23/3572.64 c #Conflicts: 1617000 | #Constraints: 25653 3560.23/3572.64 c #Conflicts: 1618000 | #Constraints: 26653 3560.23/3572.64 c #Conflicts: 1619000 | #Constraints: 27653 3560.23/3572.64 c #Conflicts: 1620000 | #Constraints: 28653 3560.23/3572.64 c #Conflicts: 1621000 | #Constraints: 29653 3560.23/3572.64 c #Conflicts: 1622000 | #Constraints: 30653 3560.23/3572.64 c #Conflicts: 1623000 | #Constraints: 31653 3560.23/3572.64 c #Conflicts: 1624000 | #Constraints: 32653 3560.23/3572.64 c #Conflicts: 1625000 | #Constraints: 33653 3560.23/3572.64 c #Conflicts: 1626000 | #Constraints: 34653 3560.23/3572.64 c #Conflicts: 1627000 | #Constraints: 35653 3560.23/3572.64 c #Conflicts: 1628000 | #Constraints: 36653 3560.23/3572.64 c #Conflicts: 1629000 | #Constraints: 37653 3560.23/3572.64 c #Conflicts: 1630000 | #Constraints: 38653 3560.23/3572.64 c #Conflicts: 1631000 | #Constraints: 39653 3560.23/3572.64 c #Conflicts: 1632000 | #Constraints: 40653 3560.23/3572.64 c #Conflicts: 1633000 | #Constraints: 41653 3560.23/3572.64 c #Conflicts: 1634000 | #Constraints: 42653 3560.23/3572.64 c #Conflicts: 1635000 | #Constraints: 43653 3560.23/3572.64 c #Conflicts: 1636000 | #Constraints: 44653 3560.23/3572.64 c #Conflicts: 1637000 | #Constraints: 45653 3560.23/3572.64 c #Conflicts: 1638000 | #Constraints: 46653 3560.23/3572.64 c #Conflicts: 1639000 | #Constraints: 47653 3560.23/3572.64 c #Conflicts: 1640000 | #Constraints: 48653 3560.23/3572.64 c #Conflicts: 1641000 | #Constraints: 49654 3560.23/3572.64 c #Conflicts: 1642000 | #Constraints: 50655 3560.23/3572.64 c INPROCESSING 3560.23/3572.64 c GARBAGE COLLECT 3560.23/3572.64 c rational objective 0 3600.08/3612.60 c #Conflicts: 1643000 | #Constraints: 26246 3600.08/3612.60 c #Conflicts: 1644000 | #Constraints: 27246 3600.08/3612.60 c #Conflicts: 1645000 | #Constraints: 28247 3600.08/3612.60 c #Conflicts: 1646000 | #Constraints: 29247 3600.08/3612.60 c #Conflicts: 1647000 | #Constraints: 30247 3600.08/3612.60 c #Conflicts: 1648000 | #Constraints: 31247 3600.08/3612.60 c #Conflicts: 1649000 | #Constraints: 32247 3600.08/3612.60 c #Conflicts: 1650000 | #Constraints: 33247 3600.08/3612.60 c #Conflicts: 1651000 | #Constraints: 34247 3600.08/3612.60 c #Conflicts: 1652000 | #Constraints: 35247 3600.08/3612.60 c #Conflicts: 1653000 | #Constraints: 36247 3600.08/3612.60 c #Conflicts: 1654000 | #Constraints: 37247 3600.08/3612.60 c Program interrupted by user. 3600.08/3612.61 c cpu time 3577.48 s 3600.08/3612.61 c deterministic time 535645414219 5.36e+11 3600.08/3612.61 c optimization time 39.5632 s 3600.08/3612.61 c total solve time 3537.92 s 3600.08/3612.61 c core-guided solve time 1747.4 s 3600.08/3612.61 c propagation time 3338.66 s 3600.08/3612.61 c conflict analysis time 209.878 s 3600.08/3612.61 c propagations 30782085 3600.08/3612.61 c resolve steps 11804712 3600.08/3612.61 c decisions 3132520 3600.08/3612.61 c conflicts 1654269 3600.08/3612.61 c restarts 3130 3600.08/3612.61 c inprocessing phases 119 3600.08/3612.61 c input clauses 1 3600.08/3612.61 c input cardinalities 0 3600.08/3612.61 c input general constraints 16 3600.08/3612.61 c input average constraint length 65.47 3600.08/3612.61 c input average constraint degree 1602.06 3600.08/3612.61 c learned clauses 845192 3600.08/3612.61 c learned cardinalities 0 3600.08/3612.61 c learned general constraints 810266 3600.08/3612.61 c learned average constraint length 47.22 3600.08/3612.61 c learned average constraint degree 769581137.92 3600.08/3612.61 c watched constraints 808240 3600.08/3612.61 c counting constraints 2042 3600.08/3612.61 c gcd simplifications 763110 3600.08/3612.61 c detected cardinalities 0 3600.08/3612.61 c weakened non-implied lits 18510999 3600.08/3612.61 c weakened non-implying lits 483491 3600.08/3612.61 c original variables 71 3600.08/3612.61 c clausal propagations 396864 3600.08/3612.61 c cardinality propagations 0 3600.08/3612.61 c watched propagations 18818380 3600.08/3612.61 c counting propagations 10436456 3600.08/3612.61 c watch lookups 34148199951 3600.08/3612.61 c watch backjump lookups 14105720542 3600.08/3612.61 c watch checks 444196313363 3600.08/3612.61 c propagation checks 42304620870 3600.08/3612.61 c constraint additions 819422977 3600.08/3612.61 c trail pops 35567613 3600.08/3612.61 c formula constraints 17 3600.08/3612.61 c learned constraints 1653078 3600.08/3612.61 c bound constraints 0 3600.08/3612.61 c core-guided constraints 0 3600.08/3612.61 c encountered formula constraints 19688 3600.08/3612.61 c encountered learned constraints 2835888 3600.08/3612.61 c encountered bound constraints 0 3600.08/3612.61 c encountered core-guided constraints 0 3600.08/3612.61 c LP total time 28.2049 s 3600.08/3612.61 c LP solve time 21.85 s 3600.08/3612.61 c LP constraints added 88 3600.08/3612.61 c LP constraints removed 71 3600.08/3612.61 c LP pivots internal 1654271 3600.08/3612.61 c LP pivots root 26 3600.08/3612.61 c LP calls 150929 3600.08/3612.61 c LP optimalities 149739 3600.08/3612.61 c LP no pivot count 29210 3600.08/3612.61 c LP infeasibilities 1190 3600.08/3612.61 c LP valid Farkas constraints 1190 3600.08/3612.61 c LP learned Farkas constraints 1190 3600.08/3612.61 c LP basis resets 0 3600.08/3612.61 c LP cycling count 0 3600.08/3612.61 c LP singular count 0 3600.08/3612.61 c LP no primal count 0 3600.08/3612.61 c LP no farkas count 0 3600.08/3612.61 c LP other issue count 0 3600.08/3612.61 c LP Gomory cuts 0 3600.08/3612.61 c LP learned cuts 71 3600.08/3612.61 c LP deleted cuts 71 3600.08/3612.61 c LP encountered Gomory constraints 0 3600.08/3612.61 c LP encountered Farkas constraints 9443761 3600.08/3612.61 c LP encountered learned Farkas constraints 1158454 3600.08/3612.61 c CG auxiliary variables introduced 0 3600.08/3612.61 c CG solutions found 0 3600.08/3612.61 c CG cores constructed 0 3600.08/3612.61 c CG core cardinality constraints returned 0 3600.08/3612.61 c CG unit cores 0 3600.08/3612.61 c CG single cores 0 3600.08/3612.61 c CG blocks removed during cardinality reduction 0 3600.08/3612.61 c CG first core best 0 3600.08/3612.61 c CG decision core best 0 3600.08/3612.61 c CG core reduction tie 0 3600.08/3612.61 c CG core degree average 0.00 3600.08/3612.61 c CG core slack average 0.00 3600.08/3612.61 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (10460 MiB free)
memory of node 1: 64510 MiB (8380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456780-1721772842/watcher-4456780-1721772842 -o /tmp/evaluation-result-4456780-1721772842/solver-4456780-1721772842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126869 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456780-1721772842 --lp-cut-gomory=0 HOME/instance-4456780-1721772842.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=132294, runsolver pid=132291
[startup+0.100465 s]*
/proc/loadavg: 4.05 4.13 4.11 5/257 132295
/proc/meminfo: memFree=19287776/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=37900 memory=8420 CPUtime=0.1 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 429 0 0 0 9 1 0 0 20 0 1 0 13273264 38809600 2105 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 9475 2105 1891 992 0 1333 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37900 KiB
Current children cumulated memory: 8420 KiB
[startup+0.213221 s]*
/proc/loadavg: 4.05 4.13 4.11 5/257 132295
/proc/meminfo: memFree=19278000/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=38152 memory=8968 CPUtime=0.21 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 566 0 0 0 20 1 0 0 20 0 1 0 13273264 39067648 2242 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 9538 2242 1891 992 0 1396 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38152 KiB
Current children cumulated memory: 8968 KiB
[startup+0.312841 s]*
/proc/loadavg: 4.05 4.13 4.11 5/257 132295
/proc/meminfo: memFree=19271796/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=38276 memory=9188 CPUtime=0.31 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 657 0 0 0 29 2 0 0 20 0 1 0 13273264 39194624 2297 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 9569 2297 1891 992 0 1427 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38276 KiB
Current children cumulated memory: 9188 KiB
[startup+0.700257 s]
/proc/loadavg: 4.05 4.13 4.11 5/257 132295
/proc/meminfo: memFree=19257904/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=38672 memory=10080 CPUtime=0.68 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 832 0 0 0 64 4 0 0 20 0 1 0 13273264 39600128 2520 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 9668 2520 1891 992 0 1526 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38672 KiB
Current children cumulated memory: 10080 KiB
[startup+1.50026 s]
/proc/loadavg: 4.05 4.13 4.11 5/257 132295
/proc/meminfo: memFree=19229852/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=39176 memory=11200 CPUtime=1.48 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 1112 0 0 0 141 7 0 0 20 0 1 0 13273264 40116224 2800 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 9794 2800 1891 992 0 1652 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39176 KiB
Current children cumulated memory: 11200 KiB
[startup+3.1128 s]
/proc/loadavg: 4.05 4.13 4.11 5/257 132297
/proc/meminfo: memFree=19110332/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=39752 memory=13776 CPUtime=3.08 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 1283 0 0 0 296 12 0 0 20 0 1 0 13273264 40706048 3444 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 9938 3444 1891 992 0 1796 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39752 KiB
Current children cumulated memory: 13776 KiB
[startup+6.30024 s]
/proc/loadavg: 4.13 4.14 4.11 5/257 132297
/proc/meminfo: memFree=18972152/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=40264 memory=14552 CPUtime=6.26 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 1427 0 0 0 604 22 0 0 20 0 1 0 13273264 41230336 3638 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 10066 3638 1891 992 0 1924 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 14552 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.11 5/257 132297
/proc/meminfo: memFree=18694172/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=40840 memory=14976 CPUtime=12.64 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 1568 0 0 0 1227 37 0 0 20 0 1 0 13273264 41820160 3744 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 10210 3744 1891 992 0 2068 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 40840 KiB
Current children cumulated memory: 14976 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.11 5/257 132300
/proc/meminfo: memFree=18202120/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=42056 memory=16172 CPUtime=25.4 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 1861 0 0 0 2479 61 0 0 20 0 1 0 13273264 43065344 4043 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 10514 4043 1891 992 0 2372 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 42056 KiB
Current children cumulated memory: 16172 KiB
[startup+51.1131 s]
/proc/loadavg: 4.14 4.14 4.11 5/260 132306
/proc/meminfo: memFree=17932892/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=45416 memory=19944 CPUtime=50.94 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 2426 0 0 0 4992 102 0 0 20 0 1 0 13273264 46505984 4986 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 11354 4986 1891 992 0 3212 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 45416 KiB
Current children cumulated memory: 19944 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/251 132314
/proc/meminfo: memFree=17487212/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=47016 memory=21344 CPUtime=101.95 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 2887 0 0 0 10019 176 0 0 20 0 1 0 13273264 48144384 5336 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 11754 5336 1891 992 0 3612 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 47016 KiB
Current children cumulated memory: 21344 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/251 132370
/proc/meminfo: memFree=17324508/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=53880 memory=23904 CPUtime=161.76 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 3678 0 0 0 15933 243 0 0 20 0 1 0 13273264 55173120 5976 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 13470 5976 1891 992 0 5328 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 53880 KiB
Current children cumulated memory: 23904 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/251 133070
/proc/meminfo: memFree=16949008/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=54080 memory=24868 CPUtime=221.55 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 4044 0 0 0 21851 304 0 0 20 0 1 0 13273264 55377920 6217 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 13520 6217 1891 992 0 5378 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 24868 KiB
[startup+282.3 s]
/proc/loadavg: 4.42 4.22 4.13 5/250 133081
/proc/meminfo: memFree=16490232/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=54320 memory=27376 CPUtime=281.35 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 4516 0 0 0 27773 362 0 0 20 0 1 0 13273264 55623680 6844 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 13580 6844 1891 992 0 5438 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 54320 KiB
Current children cumulated memory: 27376 KiB
[startup+342.3 s]
/proc/loadavg: 4.68 4.34 4.18 5/245 133092
/proc/meminfo: memFree=15678124/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=54384 memory=27560 CPUtime=341.13 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 4781 0 0 0 33694 419 0 0 20 0 1 0 13273264 55689216 6890 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 13596 6890 1891 992 0 5454 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 54384 KiB
Current children cumulated memory: 27560 KiB
[startup+402.3 s]
/proc/loadavg: 4.44 4.33 4.19 5/249 133108
/proc/meminfo: memFree=14742240/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=54612 memory=27860 CPUtime=400.92 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 4979 0 0 0 39614 478 0 0 20 0 1 0 13273264 55922688 6965 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 13653 6965 1891 992 0 5511 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 54612 KiB
Current children cumulated memory: 27860 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.28 4.18 5/249 133119
/proc/meminfo: memFree=14093220/131655788 swapFree=131071472/131071996
[pid=132294] ppid=132291 vsize=55128 memory=28684 CPUtime=460.71 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 5363 0 0 0 45542 529 0 0 20 0 1 0 13273264 56451072 7171 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 13782 7171 1891 992 0 5640 0
################
# More data... #
################
Current children cumulated memory: 45580 KiB
[startup+2862.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/254 134783
/proc/meminfo: memFree=613788/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=82768 memory=46040 CPUtime=2852.51 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 12480 0 0 0 283353 1898 0 0 20 0 1 0 13273264 84754432 11510 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 20692 11510 1891 992 0 12550 0
Current children cumulated CPU time: 2852.51 s
Current children cumulated vsize: 82768 KiB
Current children cumulated memory: 46040 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/254 134794
/proc/meminfo: memFree=663892/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=82768 memory=46040 CPUtime=2912.29 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 12489 0 0 0 289301 1928 0 0 20 0 1 0 13273264 84754432 11510 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 20692 11510 1891 992 0 12550 0
Current children cumulated CPU time: 2912.29 s
Current children cumulated vsize: 82768 KiB
Current children cumulated memory: 46040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/270 134821
/proc/meminfo: memFree=554096/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=83028 memory=46424 CPUtime=2972.07 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 12763 0 0 0 295249 1958 0 0 20 0 1 0 13273264 85020672 11606 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 20757 11606 1891 992 0 12615 0
Current children cumulated CPU time: 2972.07 s
Current children cumulated vsize: 83028 KiB
Current children cumulated memory: 46424 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/270 134831
/proc/meminfo: memFree=614644/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=83028 memory=46424 CPUtime=3031.85 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 12943 0 0 0 301194 1991 0 0 20 0 1 0 13273264 85020672 11606 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 20757 11606 1891 992 0 12615 0
Current children cumulated CPU time: 3031.85 s
Current children cumulated vsize: 83028 KiB
Current children cumulated memory: 46424 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/270 134842
/proc/meminfo: memFree=654504/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=83028 memory=46424 CPUtime=3091.63 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 12952 0 0 0 307142 2021 0 0 20 0 1 0 13273264 85020672 11606 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 20757 11606 1891 992 0 12615 0
Current children cumulated CPU time: 3091.63 s
Current children cumulated vsize: 83028 KiB
Current children cumulated memory: 46424 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/264 134856
/proc/meminfo: memFree=616928/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=83608 memory=47324 CPUtime=3151.41 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 13324 0 0 0 313088 2053 0 0 20 0 1 0 13273264 85614592 11831 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 20902 11831 1891 992 0 12760 0
Current children cumulated CPU time: 3151.41 s
Current children cumulated vsize: 83608 KiB
Current children cumulated memory: 47324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/276 134878
/proc/meminfo: memFree=679044/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=83800 memory=47516 CPUtime=3211.19 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 13480 0 0 0 319034 2085 0 0 20 0 1 0 13273264 85811200 11879 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 20950 11879 1891 992 0 12808 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 83800 KiB
Current children cumulated memory: 47516 KiB
[startup+3282.3 s]
/proc/loadavg: 3.62 3.99 4.11 4/257 134919
/proc/meminfo: memFree=47895828/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=83800 memory=47516 CPUtime=3270.97 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 13489 0 0 0 324982 2115 0 0 20 0 1 0 13273264 85811200 11879 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 20950 11879 1891 992 0 12808 0
Current children cumulated CPU time: 3270.97 s
Current children cumulated vsize: 83800 KiB
Current children cumulated memory: 47516 KiB
[startup+3342.3 s]
/proc/loadavg: 3.28 3.83 4.04 4/253 134929
/proc/meminfo: memFree=47729788/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=83800 memory=48044 CPUtime=3330.76 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 13687 0 0 0 330932 2144 0 0 20 0 1 0 13273264 85811200 12011 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 20950 12011 1891 992 0 12808 0
Current children cumulated CPU time: 3330.76 s
Current children cumulated vsize: 83800 KiB
Current children cumulated memory: 48044 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.69 3.98 4/254 134944
/proc/meminfo: memFree=47562748/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=84188 memory=48372 CPUtime=3390.56 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 13927 0 0 0 336887 2169 0 0 20 0 1 0 13273264 86208512 12093 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 21047 12093 1891 992 0 12905 0
Current children cumulated CPU time: 3390.56 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 48372 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.57 3.92 4/252 134955
/proc/meminfo: memFree=47400100/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=84188 memory=48372 CPUtime=3450.34 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 13945 0 0 0 342839 2195 0 0 20 0 1 0 13273264 86208512 12093 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 21047 12093 1891 992 0 12905 0
Current children cumulated CPU time: 3450.34 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 48372 KiB
[startup+3522.3 s]
/proc/loadavg: 3.15 3.50 3.87 4/239 134965
/proc/meminfo: memFree=47246472/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=84444 memory=48628 CPUtime=3510.12 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 14166 0 0 0 348791 2221 0 0 20 0 1 0 13273264 86470656 12157 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 21111 12157 1891 992 0 12969 0
Current children cumulated CPU time: 3510.12 s
Current children cumulated vsize: 84444 KiB
Current children cumulated memory: 48628 KiB
[startup+3582.3 s]
/proc/loadavg: 3.17 3.44 3.83 4/239 134976
/proc/meminfo: memFree=47082000/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=84700 memory=48884 CPUtime=3569.9 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 14391 0 0 0 354744 2246 0 0 20 0 1 0 13273264 86732800 12221 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 21175 12221 1891 992 0 13033 0
Current children cumulated CPU time: 3569.9 s
Current children cumulated vsize: 84700 KiB
Current children cumulated memory: 48884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 3.10 3.39 3.80 4/234 135009
/proc/meminfo: memFree=51149432/131655788 swapFree=131068388/131071996
[pid=132294] ppid=132291 vsize=84700 memory=48884 CPUtime=3600.08 cores=0,2
/proc/132294/stat : 132294 (roundingsat) R 132291 132294 126859 0 -1 4194304 14407 0 0 0 357748 2260 0 0 20 0 1 0 13273264 86732800 12221 134679101440 4194304 8254037 140736886259104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39329792 140736886264668 140736886264930 140736886264930 140736886271945 0
/proc/132294/statm: 21175 12221 1891 992 0 13033 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 84700 KiB
Current children cumulated memory: 48884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.61 s]
# the end of solver process 132294 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.49 s, system=22.6094 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.61
CPU time (s): 3600.1
CPU user time (s): 3577.49
CPU system time (s): 22.6094
CPU usage (%): 99.6536
Max. virtual memory (cumulated for all children) (KiB): 84700
Max. memory (cumulated for all children) (KiB): 48884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.49
system time used= 22.6094
maximum resident set size= 49276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14424
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14307640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 154
involuntary context switches= 25208
# summary of solver processes directly reported to runsolver:
# pid: 132294
# total CPU time (s): 3600.1
# total CPU user time (s): 3577.49
# total CPU system time (s): 22.6094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.678 second user time and 31.8374 second system time
The end
Begin job on nodeC003 at 2024-07-24 00:14:02 IDJOB=4456780 IDBENCH=147583 IDSOLVER=3085 FILE ID=nodeC003/4456780-1721772842 RUNJOBID= nodeC003-1721765593-126869 SLURM_JOB_ID= 7770666 Free space on /tmp= 723748 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-4456780-1721772842/watcher-4456780-1721772842 -o /tmp/evaluation-result-4456780-1721772842/solver-4456780-1721772842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126869 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456780-1721772842 --lp-cut-gomory=0 HOME/instance-4456780-1721772842.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b RANDOM SEED=66112363 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3488.803 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3632.278 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.277 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.413 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.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 : 0xb00001f cpu MHz : 3489.574 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3500.414 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.273 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.460 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 19295344 kB MemAvailable: 128127016 kB Buffers: 188908 kB Cached: 109223720 kB SwapCached: 24 kB Active: 1274340 kB Inactive: 110128484 kB Active(anon): 1616 kB Inactive(anon): 2034576 kB Active(file): 1272724 kB Inactive(file): 108093908 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 45312 kB Writeback: 0 kB AnonPages: 1988260 kB Mapped: 116812 kB Shmem: 45872 kB KReclaimable: 526784 kB Slab: 635592 kB SReclaimable: 526784 kB SUnreclaim: 108808 kB KernelStack: 4144 kB PageTables: 12864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2727748 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19040 kB HardwareCorrupted: 0 kB AnonHugePages: 686080 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: 267080 kB DirectMap2M: 27949056 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723768 MiB End job on nodeC003 at 2024-07-24 01:14:15