| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.1 | 3655.17 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | d93197574d7bf829fc84498a7cd9d0ce |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3583.48 |
| 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 | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| 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 146 #constraints 12 0.00/0.00 c bounds - >= 0 @ 0.000641 0.00/0.00 c rational objective 0 0.30/0.33 c bounds 89 >= 0 @ 0.01324 0.30/0.33 c bounds 88 >= 0 @ 0.016199 0.30/0.33 c bounds 86 >= 0 @ 0.01631 0.30/0.33 c bounds 82 >= 0 @ 0.030608 0.30/0.33 c bounds 74 >= 0 @ 0.031474 0.30/0.33 c bounds 72 >= 0 @ 0.032775 0.30/0.33 c bounds 68 >= 0 @ 0.033211 0.30/0.33 c bounds 66 >= 0 @ 0.033568 0.30/0.33 c bounds 62 >= 0 @ 0.034262 0.30/0.33 c bounds 52 >= 0 @ 0.034592 0.30/0.33 c bounds 36 >= 0 @ 0.035462 0.30/0.33 c bounds 35 >= 0 @ 0.090624 0.30/0.33 c bounds 33 >= 0 @ 0.091809 0.30/0.33 c bounds 29 >= 0 @ 0.092278 0.30/0.33 c bounds 27 >= 0 @ 0.093099 0.30/0.33 c bounds 25 >= 0 @ 0.093442 0.30/0.33 c bounds 21 >= 0 @ 0.093923 0.30/0.33 c #Conflicts: 1000 | #Constraints: 1050 0.30/0.33 c #Conflicts: 2000 | #Constraints: 2063 0.30/0.33 c INPROCESSING 0.30/0.33 c GARBAGE COLLECT 0.30/0.33 c rational objective 0 0.78/0.82 c #Conflicts: 3000 | #Constraints: 2048 0.78/0.82 c #Conflicts: 4000 | #Constraints: 3056 0.78/0.82 c INPROCESSING 0.78/0.82 c GARBAGE COLLECT 0.78/0.82 c rational objective 0 1.48/1.51 c #Conflicts: 5000 | #Constraints: 2452 1.48/1.51 c #Conflicts: 6000 | #Constraints: 3461 1.48/1.51 c INPROCESSING 1.48/1.51 c GARBAGE COLLECT 1.48/1.51 c rational objective 0 2.18/2.24 c #Conflicts: 7000 | #Constraints: 2456 2.18/2.24 c #Conflicts: 8000 | #Constraints: 3459 2.18/2.24 c #Conflicts: 9000 | #Constraints: 4463 2.18/2.24 c INPROCESSING 2.18/2.24 c GARBAGE COLLECT 2.18/2.24 c rational objective 0 3.18/3.21 c #Conflicts: 10000 | #Constraints: 3147 3.18/3.21 c #Conflicts: 11000 | #Constraints: 4152 3.18/3.21 c #Conflicts: 12000 | #Constraints: 5154 3.18/3.21 c INPROCESSING 3.18/3.21 c GARBAGE COLLECT 3.18/3.21 c rational objective 0 4.08/4.13 c #Conflicts: 13000 | #Constraints: 3596 4.08/4.13 c #Conflicts: 14000 | #Constraints: 4600 4.08/4.13 c #Conflicts: 15000 | #Constraints: 5603 4.08/4.13 c INPROCESSING 4.08/4.13 c GARBAGE COLLECT 4.08/4.13 c rational objective 0 5.27/5.38 c #Conflicts: 16000 | #Constraints: 3819 5.27/5.38 c #Conflicts: 17000 | #Constraints: 4821 5.27/5.38 c #Conflicts: 18000 | #Constraints: 5826 5.27/5.38 c INPROCESSING 5.27/5.38 c GARBAGE COLLECT 5.27/5.38 c rational objective 0 6.47/6.57 c #Conflicts: 19000 | #Constraints: 3835 6.47/6.57 c #Conflicts: 20000 | #Constraints: 4837 6.47/6.57 c #Conflicts: 21000 | #Constraints: 5842 6.47/6.57 c INPROCESSING 6.47/6.57 c GARBAGE COLLECT 6.47/6.57 c rational objective 0 7.77/7.80 c #Conflicts: 22000 | #Constraints: 3638 7.77/7.80 c #Conflicts: 23000 | #Constraints: 4639 7.77/7.80 c #Conflicts: 24000 | #Constraints: 5642 7.77/7.80 c #Conflicts: 25000 | #Constraints: 6643 7.77/7.80 c INPROCESSING 7.77/7.80 c GARBAGE COLLECT 7.77/7.80 c rational objective 0 9.46/9.57 c #Conflicts: 26000 | #Constraints: 4239 9.46/9.57 c #Conflicts: 27000 | #Constraints: 5241 9.46/9.57 c #Conflicts: 28000 | #Constraints: 6245 9.46/9.57 c #Conflicts: 29000 | #Constraints: 7251 9.46/9.57 c INPROCESSING 9.46/9.57 c GARBAGE COLLECT 9.46/9.57 c rational objective 0 10.97/11.08 c #Conflicts: 30000 | #Constraints: 4641 10.97/11.08 c #Conflicts: 31000 | #Constraints: 5646 10.97/11.08 c #Conflicts: 32000 | #Constraints: 6649 10.97/11.08 c #Conflicts: 33000 | #Constraints: 7651 10.97/11.08 c INPROCESSING 10.97/11.08 c GARBAGE COLLECT 10.97/11.08 c rational objective 0 12.96/13.10 c #Conflicts: 34000 | #Constraints: 4844 12.96/13.10 c #Conflicts: 35000 | #Constraints: 5846 12.96/13.10 c bounds 18 >= 0 @ 11.6951 12.96/13.10 c #Conflicts: 36000 | #Constraints: 6848 12.96/13.10 c #Conflicts: 37000 | #Constraints: 7851 12.96/13.10 c INPROCESSING 12.96/13.10 c GARBAGE COLLECT 12.96/13.10 c rational objective 0 14.95/15.01 c bounds 12 >= 0 @ 12.5985 14.95/15.01 c bounds 10 >= 0 @ 12.5997 14.95/15.01 c #Conflicts: 38000 | #Constraints: 4844 14.95/15.01 c bounds 6 >= 0 @ 13.1046 14.95/15.01 c #Conflicts: 39000 | #Constraints: 5849 14.95/15.01 c #Conflicts: 40000 | #Constraints: 6850 14.95/15.01 c #Conflicts: 41000 | #Constraints: 7852 14.95/15.01 c INPROCESSING 14.95/15.01 c GARBAGE COLLECT 14.95/15.01 c rational objective 0 17.14/17.29 c #Conflicts: 42000 | #Constraints: 4629 17.14/17.29 c #Conflicts: 43000 | #Constraints: 5635 17.14/17.29 c #Conflicts: 44000 | #Constraints: 6638 17.14/17.29 c #Conflicts: 45000 | #Constraints: 7641 17.14/17.29 c #Conflicts: 46000 | #Constraints: 8644 17.14/17.29 c INPROCESSING 17.14/17.29 c GARBAGE COLLECT 17.14/17.29 c rational objective 0 19.23/19.31 c #Conflicts: 47000 | #Constraints: 5239 19.23/19.31 c #Conflicts: 48000 | #Constraints: 6240 19.23/19.31 c #Conflicts: 49000 | #Constraints: 7242 19.23/19.31 c #Conflicts: 50000 | #Constraints: 8246 19.23/19.31 c #Conflicts: 51000 | #Constraints: 9247 19.23/19.31 c INPROCESSING 19.23/19.31 c GARBAGE COLLECT 19.23/19.31 c rational objective 0 21.93/22.02 c #Conflicts: 52000 | #Constraints: 5643 21.93/22.02 c #Conflicts: 53000 | #Constraints: 6645 21.93/22.02 c #Conflicts: 54000 | #Constraints: 7649 21.93/22.02 c #Conflicts: 55000 | #Constraints: 8649 21.93/22.02 c #Conflicts: 56000 | #Constraints: 9652 21.93/22.02 c INPROCESSING 21.93/22.02 c GARBAGE COLLECT 21.93/22.02 c rational objective 0 24.32/24.48 c #Conflicts: 57000 | #Constraints: 5844 24.32/24.48 c #Conflicts: 58000 | #Constraints: 6845 24.32/24.48 c #Conflicts: 59000 | #Constraints: 7849 24.32/24.48 c #Conflicts: 60000 | #Constraints: 8851 24.32/24.48 c #Conflicts: 61000 | #Constraints: 9851 24.32/24.48 c INPROCESSING 24.32/24.48 c GARBAGE COLLECT 24.32/24.48 c rational objective 0 27.62/27.76 c #Conflicts: 62000 | #Constraints: 5841 27.62/27.76 c #Conflicts: 63000 | #Constraints: 6843 27.62/27.76 c #Conflicts: 64000 | #Constraints: 7843 27.62/27.76 c #Conflicts: 65000 | #Constraints: 8846 27.62/27.76 c #Conflicts: 66000 | #Constraints: 9847 27.62/27.76 c INPROCESSING 27.62/27.76 c GARBAGE COLLECT 27.62/27.76 c rational objective 0 30.61/30.70 c #Conflicts: 67000 | #Constraints: 5640 30.61/30.70 c #Conflicts: 68000 | #Constraints: 6642 30.61/30.70 c #Conflicts: 69000 | #Constraints: 7642 30.61/30.70 c #Conflicts: 70000 | #Constraints: 8646 30.61/30.70 c #Conflicts: 71000 | #Constraints: 9647 30.61/30.70 c #Conflicts: 72000 | #Constraints: 10649 30.61/30.70 c INPROCESSING 30.61/30.70 c GARBAGE COLLECT 30.61/30.70 c rational objective 0 33.50/33.67 c #Conflicts: 73000 | #Constraints: 6241 33.50/33.67 c #Conflicts: 74000 | #Constraints: 7244 33.50/33.67 c #Conflicts: 75000 | #Constraints: 8248 33.50/33.67 c #Conflicts: 76000 | #Constraints: 9248 33.50/33.67 c #Conflicts: 77000 | #Constraints: 10248 33.50/33.67 c #Conflicts: 78000 | #Constraints: 11249 33.50/33.67 c INPROCESSING 33.50/33.67 c GARBAGE COLLECT 33.50/33.67 c rational objective 0 37.69/37.80 c #Conflicts: 79000 | #Constraints: 6639 37.69/37.80 c #Conflicts: 80000 | #Constraints: 7639 37.69/37.80 c #Conflicts: 81000 | #Constraints: 8641 37.69/37.80 c #Conflicts: 82000 | #Constraints: 9642 37.69/37.80 c #Conflicts: 83000 | #Constraints: 10645 37.69/37.80 c #Conflicts: 84000 | #Constraints: 11645 37.69/37.80 c INPROCESSING 37.69/37.80 c GARBAGE COLLECT 37.69/37.80 c rational objective 0 41.67/41.80 c #Conflicts: 85000 | #Constraints: 6841 41.67/41.80 c #Conflicts: 86000 | #Constraints: 7841 41.67/41.80 c #Conflicts: 87000 | #Constraints: 8843 41.67/41.80 c #Conflicts: 88000 | #Constraints: 9844 41.67/41.80 c #Conflicts: 89000 | #Constraints: 10844 41.67/41.80 c #Conflicts: 90000 | #Constraints: 11844 41.67/41.80 c INPROCESSING 41.67/41.80 c GARBAGE COLLECT 41.67/41.80 c rational objective 0 46.56/46.71 c #Conflicts: 91000 | #Constraints: 6839 46.56/46.71 c #Conflicts: 92000 | #Constraints: 7839 46.56/46.71 c #Conflicts: 93000 | #Constraints: 8840 46.56/46.71 c #Conflicts: 94000 | #Constraints: 9840 46.56/46.71 c #Conflicts: 95000 | #Constraints: 10840 46.56/46.71 c #Conflicts: 96000 | #Constraints: 11840 46.56/46.71 c INPROCESSING 46.56/46.71 c GARBAGE COLLECT 46.56/46.71 c rational objective 0 51.35/51.56 c #Conflicts: 97000 | #Constraints: 6638 51.35/51.56 c #Conflicts: 98000 | #Constraints: 7640 51.35/51.56 c #Conflicts: 99000 | #Constraints: 8640 51.35/51.56 c #Conflicts: 100000 | #Constraints: 9640 51.35/51.56 c #Conflicts: 101000 | #Constraints: 10640 51.35/51.56 c #Conflicts: 102000 | #Constraints: 11641 51.35/51.56 c #Conflicts: 103000 | #Constraints: 12641 51.35/51.56 c INPROCESSING 51.35/51.56 c GARBAGE COLLECT 51.35/51.56 c rational objective 0 56.84/57.01 c #Conflicts: 104000 | #Constraints: 7239 56.84/57.01 c #Conflicts: 105000 | #Constraints: 8239 56.84/57.01 c #Conflicts: 106000 | #Constraints: 9240 56.84/57.01 c #Conflicts: 107000 | #Constraints: 10244 56.84/57.01 c #Conflicts: 108000 | #Constraints: 11245 56.84/57.01 c #Conflicts: 109000 | #Constraints: 12245 56.84/57.01 c #Conflicts: 110000 | #Constraints: 13246 56.84/57.01 c INPROCESSING 56.84/57.01 c GARBAGE COLLECT 56.84/57.01 c rational objective 0 61.12/61.38 c #Conflicts: 111000 | #Constraints: 7642 61.12/61.38 c #Conflicts: 112000 | #Constraints: 8643 61.12/61.38 c #Conflicts: 113000 | #Constraints: 9645 61.12/61.38 c #Conflicts: 114000 | #Constraints: 10645 61.12/61.38 c #Conflicts: 115000 | #Constraints: 11646 61.12/61.38 c #Conflicts: 116000 | #Constraints: 12646 61.12/61.38 c #Conflicts: 117000 | #Constraints: 13646 61.12/61.38 c INPROCESSING 61.12/61.38 c GARBAGE COLLECT 61.12/61.38 c rational objective 0 67.20/67.41 c #Conflicts: 118000 | #Constraints: 7840 67.20/67.41 c #Conflicts: 119000 | #Constraints: 8840 67.20/67.41 c #Conflicts: 120000 | #Constraints: 9840 67.20/67.41 c #Conflicts: 121000 | #Constraints: 10842 67.20/67.41 c #Conflicts: 122000 | #Constraints: 11842 67.20/67.41 c #Conflicts: 123000 | #Constraints: 12845 67.20/67.41 c #Conflicts: 124000 | #Constraints: 13845 67.20/67.41 c INPROCESSING 67.20/67.41 c GARBAGE COLLECT 67.20/67.41 c rational objective 0 72.39/72.68 c #Conflicts: 125000 | #Constraints: 7840 72.39/72.68 c #Conflicts: 126000 | #Constraints: 8840 72.39/72.68 c #Conflicts: 127000 | #Constraints: 9840 72.39/72.68 c #Conflicts: 128000 | #Constraints: 10841 72.39/72.68 c #Conflicts: 129000 | #Constraints: 11841 72.39/72.68 c #Conflicts: 130000 | #Constraints: 12841 72.39/72.68 c #Conflicts: 131000 | #Constraints: 13841 72.39/72.68 c INPROCESSING 72.39/72.68 c GARBAGE COLLECT 72.39/72.68 c rational objective 0 77.78/78.04 c #Conflicts: 132000 | #Constraints: 7636 77.78/78.04 c #Conflicts: 133000 | #Constraints: 8637 77.78/78.04 c #Conflicts: 134000 | #Constraints: 9637 77.78/78.04 c #Conflicts: 135000 | #Constraints: 10639 77.78/78.04 c #Conflicts: 136000 | #Constraints: 11639 77.78/78.04 c #Conflicts: 137000 | #Constraints: 12640 77.78/78.04 c #Conflicts: 138000 | #Constraints: 13641 77.78/78.04 c #Conflicts: 139000 | #Constraints: 14641 77.78/78.04 c INPROCESSING 77.78/78.04 c GARBAGE COLLECT 77.78/78.04 c rational objective 0 84.96/85.29 c #Conflicts: 140000 | #Constraints: 8236 84.96/85.29 c #Conflicts: 141000 | #Constraints: 9236 84.96/85.29 c #Conflicts: 142000 | #Constraints: 10239 84.96/85.29 c #Conflicts: 143000 | #Constraints: 11239 84.96/85.29 c #Conflicts: 144000 | #Constraints: 12240 84.96/85.29 c #Conflicts: 145000 | #Constraints: 13241 84.96/85.29 c #Conflicts: 146000 | #Constraints: 14241 84.96/85.29 c #Conflicts: 147000 | #Constraints: 15242 84.96/85.29 c INPROCESSING 84.96/85.29 c GARBAGE COLLECT 84.96/85.29 c rational objective 0 90.84/91.18 c #Conflicts: 148000 | #Constraints: 8642 90.84/91.18 c #Conflicts: 149000 | #Constraints: 9642 90.84/91.18 c #Conflicts: 150000 | #Constraints: 10642 90.84/91.18 c #Conflicts: 151000 | #Constraints: 11643 90.84/91.18 c #Conflicts: 152000 | #Constraints: 12643 90.84/91.18 c #Conflicts: 153000 | #Constraints: 13643 90.84/91.18 c #Conflicts: 154000 | #Constraints: 14645 90.84/91.18 c #Conflicts: 155000 | #Constraints: 15645 90.84/91.18 c INPROCESSING 90.84/91.18 c GARBAGE COLLECT 90.84/91.18 c rational objective 0 98.73/99.09 c #Conflicts: 156000 | #Constraints: 8840 98.73/99.09 c bounds 5 >= 0 @ 90.5612 98.73/99.09 c #Conflicts: 157000 | #Constraints: 9841 98.73/99.09 c #Conflicts: 158000 | #Constraints: 10842 98.73/99.09 c #Conflicts: 159000 | #Constraints: 11843 98.73/99.09 c #Conflicts: 160000 | #Constraints: 12843 98.73/99.09 c #Conflicts: 161000 | #Constraints: 13843 98.73/99.09 c #Conflicts: 162000 | #Constraints: 14843 98.73/99.09 c #Conflicts: 163000 | #Constraints: 15844 98.73/99.09 c INPROCESSING 98.73/99.09 c GARBAGE COLLECT 98.73/99.09 c rational objective 0 105.89/106.26 c #Conflicts: 164000 | #Constraints: 8838 105.89/106.26 c #Conflicts: 165000 | #Constraints: 9838 105.89/106.26 c #Conflicts: 166000 | #Constraints: 10839 105.89/106.26 c #Conflicts: 167000 | #Constraints: 11840 105.89/106.26 c #Conflicts: 168000 | #Constraints: 12840 105.89/106.26 c #Conflicts: 169000 | #Constraints: 13841 105.89/106.26 c #Conflicts: 170000 | #Constraints: 14841 105.89/106.26 c #Conflicts: 171000 | #Constraints: 15841 105.89/106.26 c INPROCESSING 105.89/106.26 c GARBAGE COLLECT 105.89/106.26 c rational objective 0 114.87/115.27 c #Conflicts: 172000 | #Constraints: 8633 114.87/115.27 c #Conflicts: 173000 | #Constraints: 9634 114.87/115.27 c #Conflicts: 174000 | #Constraints: 10636 114.87/115.27 c #Conflicts: 175000 | #Constraints: 11637 114.87/115.27 c #Conflicts: 176000 | #Constraints: 12637 114.87/115.27 c #Conflicts: 177000 | #Constraints: 13638 114.87/115.27 c #Conflicts: 178000 | #Constraints: 14638 114.87/115.27 c #Conflicts: 179000 | #Constraints: 15639 114.87/115.27 c #Conflicts: 180000 | #Constraints: 16640 114.87/115.27 c INPROCESSING 114.87/115.27 c GARBAGE COLLECT 114.87/115.27 c rational objective 0 122.95/123.38 c #Conflicts: 181000 | #Constraints: 9239 122.95/123.38 c #Conflicts: 182000 | #Constraints: 10240 122.95/123.38 c #Conflicts: 183000 | #Constraints: 11242 122.95/123.38 c #Conflicts: 184000 | #Constraints: 12242 122.95/123.38 c #Conflicts: 185000 | #Constraints: 13242 122.95/123.38 c #Conflicts: 186000 | #Constraints: 14242 122.95/123.38 c #Conflicts: 187000 | #Constraints: 15243 122.95/123.38 c #Conflicts: 188000 | #Constraints: 16243 122.95/123.38 c #Conflicts: 189000 | #Constraints: 17243 122.95/123.38 c INPROCESSING 122.95/123.38 c GARBAGE COLLECT 122.95/123.38 c rational objective 0 132.92/133.34 c #Conflicts: 190000 | #Constraints: 9639 132.92/133.34 c #Conflicts: 191000 | #Constraints: 10640 132.92/133.34 c #Conflicts: 192000 | #Constraints: 11640 132.92/133.34 c #Conflicts: 193000 | #Constraints: 12642 132.92/133.34 c #Conflicts: 194000 | #Constraints: 13642 132.92/133.34 c #Conflicts: 195000 | #Constraints: 14642 132.92/133.34 c #Conflicts: 196000 | #Constraints: 15643 132.92/133.34 c #Conflicts: 197000 | #Constraints: 16643 132.92/133.34 c #Conflicts: 198000 | #Constraints: 17644 132.92/133.34 c INPROCESSING 132.92/133.34 c GARBAGE COLLECT 132.92/133.34 c rational objective 0 142.79/143.26 c #Conflicts: 199000 | #Constraints: 9842 142.79/143.26 c #Conflicts: 200000 | #Constraints: 10842 142.79/143.26 c #Conflicts: 201000 | #Constraints: 11842 142.79/143.26 c #Conflicts: 202000 | #Constraints: 12842 142.79/143.26 c #Conflicts: 203000 | #Constraints: 13842 142.79/143.26 c #Conflicts: 204000 | #Constraints: 14842 142.79/143.26 c #Conflicts: 205000 | #Constraints: 15842 142.79/143.26 c #Conflicts: 206000 | #Constraints: 16845 142.79/143.26 c #Conflicts: 207000 | #Constraints: 17845 142.79/143.26 c INPROCESSING 142.79/143.26 c GARBAGE COLLECT 142.79/143.26 c rational objective 0 154.07/154.52 c #Conflicts: 208000 | #Constraints: 9838 154.07/154.52 c #Conflicts: 209000 | #Constraints: 10838 154.07/154.52 c #Conflicts: 210000 | #Constraints: 11838 154.07/154.52 c #Conflicts: 211000 | #Constraints: 12838 154.07/154.52 c #Conflicts: 212000 | #Constraints: 13838 154.07/154.52 c #Conflicts: 213000 | #Constraints: 14840 154.07/154.52 c #Conflicts: 214000 | #Constraints: 15841 154.07/154.52 c #Conflicts: 215000 | #Constraints: 16841 154.07/154.52 c #Conflicts: 216000 | #Constraints: 17841 154.07/154.52 c INPROCESSING 154.07/154.52 c GARBAGE COLLECT 154.07/154.52 c rational objective 0 163.44/163.90 c #Conflicts: 217000 | #Constraints: 9638 163.44/163.90 c #Conflicts: 218000 | #Constraints: 10638 163.44/163.90 c #Conflicts: 219000 | #Constraints: 11638 163.44/163.90 c #Conflicts: 220000 | #Constraints: 12639 163.44/163.90 c #Conflicts: 221000 | #Constraints: 13639 163.44/163.90 c #Conflicts: 222000 | #Constraints: 14639 163.44/163.90 c #Conflicts: 223000 | #Constraints: 15639 163.44/163.90 c #Conflicts: 224000 | #Constraints: 16639 163.44/163.90 c #Conflicts: 225000 | #Constraints: 17639 163.44/163.90 c #Conflicts: 226000 | #Constraints: 18639 163.44/163.90 c INPROCESSING 163.44/163.90 c GARBAGE COLLECT 163.44/163.90 c rational objective 0 173.31/173.80 c #Conflicts: 227000 | #Constraints: 10236 173.31/173.80 c #Conflicts: 228000 | #Constraints: 11237 173.31/173.80 c #Conflicts: 229000 | #Constraints: 12237 173.31/173.80 c #Conflicts: 230000 | #Constraints: 13237 173.31/173.80 c #Conflicts: 231000 | #Constraints: 14237 173.31/173.80 c #Conflicts: 232000 | #Constraints: 15237 173.31/173.80 c #Conflicts: 233000 | #Constraints: 16237 173.31/173.80 c #Conflicts: 234000 | #Constraints: 17237 173.31/173.80 c #Conflicts: 235000 | #Constraints: 18237 173.31/173.80 c #Conflicts: 236000 | #Constraints: 19237 173.31/173.80 c INPROCESSING 173.31/173.80 c GARBAGE COLLECT 173.31/173.80 c rational objective 0 186.18/186.72 c #Conflicts: 237000 | #Constraints: 10633 186.18/186.72 c #Conflicts: 238000 | #Constraints: 11634 186.18/186.72 c #Conflicts: 239000 | #Constraints: 12634 186.18/186.72 c #Conflicts: 240000 | #Constraints: 13636 186.18/186.72 c #Conflicts: 241000 | #Constraints: 14637 186.18/186.72 c #Conflicts: 242000 | #Constraints: 15637 186.18/186.72 c #Conflicts: 243000 | #Constraints: 16637 186.18/186.72 c #Conflicts: 244000 | #Constraints: 17638 186.18/186.72 c #Conflicts: 245000 | #Constraints: 18638 186.18/186.72 c #Conflicts: 246000 | #Constraints: 19639 186.18/186.72 c INPROCESSING 186.18/186.72 c GARBAGE COLLECT 186.18/186.72 c rational objective 0 197.14/197.76 c #Conflicts: 247000 | #Constraints: 10839 197.14/197.76 c #Conflicts: 248000 | #Constraints: 11839 197.14/197.76 c #Conflicts: 249000 | #Constraints: 12839 197.14/197.76 c #Conflicts: 250000 | #Constraints: 13839 197.14/197.76 c #Conflicts: 251000 | #Constraints: 14839 197.14/197.76 c #Conflicts: 252000 | #Constraints: 15839 197.14/197.76 c #Conflicts: 253000 | #Constraints: 16839 197.14/197.76 c #Conflicts: 254000 | #Constraints: 17839 197.14/197.76 c #Conflicts: 255000 | #Constraints: 18841 197.14/197.76 c #Conflicts: 256000 | #Constraints: 19841 197.14/197.76 c INPROCESSING 197.14/197.76 c GARBAGE COLLECT 197.14/197.76 c rational objective 0 211.41/212.04 c #Conflicts: 257000 | #Constraints: 10836 211.41/212.04 c #Conflicts: 258000 | #Constraints: 11836 211.41/212.04 c #Conflicts: 259000 | #Constraints: 12836 211.41/212.04 c #Conflicts: 260000 | #Constraints: 13837 211.41/212.04 c #Conflicts: 261000 | #Constraints: 14837 211.41/212.04 c #Conflicts: 262000 | #Constraints: 15837 211.41/212.04 c #Conflicts: 263000 | #Constraints: 16837 211.41/212.04 c #Conflicts: 264000 | #Constraints: 17837 211.41/212.04 c #Conflicts: 265000 | #Constraints: 18837 211.41/212.04 c #Conflicts: 266000 | #Constraints: 19837 211.41/212.04 c INPROCESSING 211.41/212.04 c GARBAGE COLLECT 211.41/212.04 c rational objective 0 224.25/224.93 c #Conflicts: 267000 | #Constraints: 10635 224.25/224.93 c #Conflicts: 268000 | #Constraints: 11635 224.25/224.93 c #Conflicts: 269000 | #Constraints: 12635 224.25/224.93 c #Conflicts: 270000 | #Constraints: 13636 224.25/224.93 c #Conflicts: 271000 | #Constraints: 14636 224.25/224.93 c #Conflicts: 272000 | #Constraints: 15636 224.25/224.93 c #Conflicts: 273000 | #Constraints: 16636 224.25/224.93 c #Conflicts: 274000 | #Constraints: 17636 224.25/224.93 c #Conflicts: 275000 | #Constraints: 18637 224.25/224.93 c #Conflicts: 276000 | #Constraints: 19637 224.25/224.93 c #Conflicts: 277000 | #Constraints: 20637 224.25/224.93 c INPROCESSING 224.25/224.93 c GARBAGE COLLECT 224.25/224.93 c rational objective 0 240.30/241.02 c #Conflicts: 278000 | #Constraints: 11236 240.30/241.02 c #Conflicts: 279000 | #Constraints: 12239 240.30/241.02 c #Conflicts: 280000 | #Constraints: 13241 240.30/241.02 c #Conflicts: 281000 | #Constraints: 14242 240.30/241.02 c #Conflicts: 282000 | #Constraints: 15243 240.30/241.02 c #Conflicts: 283000 | #Constraints: 16243 240.30/241.02 c #Conflicts: 284000 | #Constraints: 17243 240.30/241.02 c #Conflicts: 285000 | #Constraints: 18243 240.30/241.02 c #Conflicts: 286000 | #Constraints: 19243 240.30/241.02 c #Conflicts: 287000 | #Constraints: 20243 240.30/241.02 c #Conflicts: 288000 | #Constraints: 21243 240.30/241.02 c INPROCESSING 240.30/241.02 c GARBAGE COLLECT 240.30/241.02 c rational objective 0 253.36/254.13 c #Conflicts: 289000 | #Constraints: 11643 253.36/254.13 c #Conflicts: 290000 | #Constraints: 12643 253.36/254.13 c #Conflicts: 291000 | #Constraints: 13643 253.36/254.13 c #Conflicts: 292000 | #Constraints: 14643 253.36/254.13 c #Conflicts: 293000 | #Constraints: 15643 253.36/254.13 c #Conflicts: 294000 | #Constraints: 16644 253.36/254.13 c #Conflicts: 295000 | #Constraints: 17645 253.36/254.13 c #Conflicts: 296000 | #Constraints: 18646 253.36/254.13 c #Conflicts: 297000 | #Constraints: 19647 253.36/254.13 c #Conflicts: 298000 | #Constraints: 20647 253.36/254.13 c #Conflicts: 299000 | #Constraints: 21648 253.36/254.13 c INPROCESSING 253.36/254.13 c GARBAGE COLLECT 253.36/254.13 c rational objective 0 270.79/271.62 c #Conflicts: 300000 | #Constraints: 11839 270.79/271.62 c #Conflicts: 301000 | #Constraints: 12839 270.79/271.62 c #Conflicts: 302000 | #Constraints: 13839 270.79/271.62 c #Conflicts: 303000 | #Constraints: 14839 270.79/271.62 c #Conflicts: 304000 | #Constraints: 15839 270.79/271.62 c #Conflicts: 305000 | #Constraints: 16839 270.79/271.62 c #Conflicts: 306000 | #Constraints: 17839 270.79/271.62 c #Conflicts: 307000 | #Constraints: 18839 270.79/271.62 c #Conflicts: 308000 | #Constraints: 19840 270.79/271.62 c #Conflicts: 309000 | #Constraints: 20842 270.79/271.62 c #Conflicts: 310000 | #Constraints: 21842 270.79/271.62 c INPROCESSING 270.79/271.62 c GARBAGE COLLECT 270.79/271.62 c rational objective 0 285.34/286.23 c #Conflicts: 311000 | #Constraints: 11840 285.34/286.23 c #Conflicts: 312000 | #Constraints: 12841 285.34/286.23 c #Conflicts: 313000 | #Constraints: 13842 285.34/286.23 c #Conflicts: 314000 | #Constraints: 14842 285.34/286.23 c #Conflicts: 315000 | #Constraints: 15842 285.34/286.23 c #Conflicts: 316000 | #Constraints: 16843 285.34/286.23 c #Conflicts: 317000 | #Constraints: 17843 285.34/286.23 c #Conflicts: 318000 | #Constraints: 18843 285.34/286.23 c #Conflicts: 319000 | #Constraints: 19843 285.34/286.23 c #Conflicts: 320000 | #Constraints: 20843 285.34/286.23 c #Conflicts: 321000 | #Constraints: 21843 285.34/286.23 c INPROCESSING 285.34/286.23 c GARBAGE COLLECT 285.34/286.23 c rational objective 0 299.88/300.83 c #Conflicts: 322000 | #Constraints: 11637 299.88/300.83 c #Conflicts: 323000 | #Constraints: 12637 299.88/300.83 c #Conflicts: 324000 | #Constraints: 13637 299.88/300.83 c #Conflicts: 325000 | #Constraints: 14637 299.88/300.83 c #Conflicts: 326000 | #Constraints: 15638 299.88/300.83 c #Conflicts: 327000 | #Constraints: 16638 299.88/300.83 c #Conflicts: 328000 | #Constraints: 17638 299.88/300.83 c #Conflicts: 329000 | #Constraints: 18638 299.88/300.83 c #Conflicts: 330000 | #Constraints: 19638 299.88/300.83 c #Conflicts: 331000 | #Constraints: 20638 299.88/300.83 c #Conflicts: 332000 | #Constraints: 21638 299.88/300.83 c #Conflicts: 333000 | #Constraints: 22638 299.88/300.83 c INPROCESSING 299.88/300.83 c GARBAGE COLLECT 299.88/300.83 c rational objective 0 318.61/319.60 c #Conflicts: 334000 | #Constraints: 12235 318.61/319.60 c #Conflicts: 335000 | #Constraints: 13235 318.61/319.60 c #Conflicts: 336000 | #Constraints: 14235 318.61/319.60 c #Conflicts: 337000 | #Constraints: 15235 318.61/319.60 c #Conflicts: 338000 | #Constraints: 16238 318.61/319.60 c #Conflicts: 339000 | #Constraints: 17238 318.61/319.60 c #Conflicts: 340000 | #Constraints: 18238 318.61/319.60 c #Conflicts: 341000 | #Constraints: 19238 318.61/319.60 c #Conflicts: 342000 | #Constraints: 20239 318.61/319.60 c #Conflicts: 343000 | #Constraints: 21239 318.61/319.60 c #Conflicts: 344000 | #Constraints: 22239 318.61/319.60 c #Conflicts: 345000 | #Constraints: 23241 318.61/319.60 c INPROCESSING 318.61/319.60 c GARBAGE COLLECT 318.61/319.60 c rational objective 0 334.46/335.57 c #Conflicts: 346000 | #Constraints: 12639 334.46/335.57 c #Conflicts: 347000 | #Constraints: 13640 334.46/335.57 c #Conflicts: 348000 | #Constraints: 14641 334.46/335.57 c #Conflicts: 349000 | #Constraints: 15641 334.46/335.57 c #Conflicts: 350000 | #Constraints: 16641 334.46/335.57 c #Conflicts: 351000 | #Constraints: 17642 334.46/335.57 c #Conflicts: 352000 | #Constraints: 18642 334.46/335.57 c #Conflicts: 353000 | #Constraints: 19643 334.46/335.57 c #Conflicts: 354000 | #Constraints: 20643 334.46/335.57 c #Conflicts: 355000 | #Constraints: 21643 334.46/335.57 c #Conflicts: 356000 | #Constraints: 22643 334.46/335.57 c #Conflicts: 357000 | #Constraints: 23643 334.46/335.57 c INPROCESSING 334.46/335.57 c GARBAGE COLLECT 334.46/335.57 c rational objective 0 355.78/356.96 c #Conflicts: 358000 | #Constraints: 12838 355.78/356.96 c #Conflicts: 359000 | #Constraints: 13838 355.78/356.96 c #Conflicts: 360000 | #Constraints: 14838 355.78/356.96 c #Conflicts: 361000 | #Constraints: 15838 355.78/356.96 c #Conflicts: 362000 | #Constraints: 16838 355.78/356.96 c #Conflicts: 363000 | #Constraints: 17839 355.78/356.96 c #Conflicts: 364000 | #Constraints: 18839 355.78/356.96 c #Conflicts: 365000 | #Constraints: 19839 355.78/356.96 c #Conflicts: 366000 | #Constraints: 20839 355.78/356.96 c #Conflicts: 367000 | #Constraints: 21839 355.78/356.96 c #Conflicts: 368000 | #Constraints: 22839 355.78/356.96 c #Conflicts: 369000 | #Constraints: 23840 355.78/356.96 c INPROCESSING 355.78/356.96 c GARBAGE COLLECT 355.78/356.96 c rational objective 0 374.12/375.37 c #Conflicts: 370000 | #Constraints: 12840 374.12/375.37 c #Conflicts: 371000 | #Constraints: 13840 374.12/375.37 c #Conflicts: 372000 | #Constraints: 14840 374.12/375.37 c #Conflicts: 373000 | #Constraints: 15840 374.12/375.37 c #Conflicts: 374000 | #Constraints: 16841 374.12/375.37 c #Conflicts: 375000 | #Constraints: 17841 374.12/375.37 c #Conflicts: 376000 | #Constraints: 18842 374.12/375.37 c #Conflicts: 377000 | #Constraints: 19842 374.12/375.37 c #Conflicts: 378000 | #Constraints: 20842 374.12/375.37 c #Conflicts: 379000 | #Constraints: 21842 374.12/375.37 c #Conflicts: 380000 | #Constraints: 22842 374.12/375.37 c #Conflicts: 381000 | #Constraints: 23842 374.12/375.37 c INPROCESSING 374.12/375.37 c GARBAGE COLLECT 374.12/375.37 c rational objective 0 396.63/397.90 c #Conflicts: 382000 | #Constraints: 12635 396.63/397.90 c #Conflicts: 383000 | #Constraints: 13635 396.63/397.90 c #Conflicts: 384000 | #Constraints: 14635 396.63/397.90 c #Conflicts: 385000 | #Constraints: 15635 396.63/397.90 c #Conflicts: 386000 | #Constraints: 16635 396.63/397.90 c #Conflicts: 387000 | #Constraints: 17635 396.63/397.90 c #Conflicts: 388000 | #Constraints: 18635 396.63/397.90 c #Conflicts: 389000 | #Constraints: 19635 396.63/397.90 c #Conflicts: 390000 | #Constraints: 20636 396.63/397.90 c #Conflicts: 391000 | #Constraints: 21638 396.63/397.90 c #Conflicts: 392000 | #Constraints: 22638 396.63/397.90 c #Conflicts: 393000 | #Constraints: 23638 396.63/397.90 c #Conflicts: 394000 | #Constraints: 24638 396.63/397.90 c INPROCESSING 396.63/397.90 c GARBAGE COLLECT 396.63/397.90 c rational objective 0 414.88/416.27 c #Conflicts: 395000 | #Constraints: 13239 414.88/416.27 c #Conflicts: 396000 | #Constraints: 14240 414.88/416.27 c #Conflicts: 397000 | #Constraints: 15240 414.88/416.27 c #Conflicts: 398000 | #Constraints: 16241 414.88/416.27 c #Conflicts: 399000 | #Constraints: 17241 414.88/416.27 c #Conflicts: 400000 | #Constraints: 18243 414.88/416.27 c #Conflicts: 401000 | #Constraints: 19243 414.88/416.27 c #Conflicts: 402000 | #Constraints: 20243 414.88/416.27 c #Conflicts: 403000 | #Constraints: 21243 414.88/416.27 c #Conflicts: 404000 | #Constraints: 22243 414.88/416.27 c #Conflicts: 405000 | #Constraints: 23243 414.88/416.27 c #Conflicts: 406000 | #Constraints: 24244 414.88/416.27 c #Conflicts: 407000 | #Constraints: 25244 414.88/416.27 c INPROCESSING 414.88/416.27 c GARBAGE COLLECT 414.88/416.27 c rational objective 0 439.39/440.87 c #Conflicts: 408000 | #Constraints: 13635 439.39/440.87 c #Conflicts: 409000 | #Constraints: 14635 439.39/440.87 c #Conflicts: 410000 | #Constraints: 15635 439.39/440.87 c #Conflicts: 411000 | #Constraints: 16635 439.39/440.87 c #Conflicts: 412000 | #Constraints: 17636 439.39/440.87 c #Conflicts: 413000 | #Constraints: 18636 439.39/440.87 c #Conflicts: 414000 | #Constraints: 19636 439.39/440.87 c #Conflicts: 415000 | #Constraints: 20636 439.39/440.87 c #Conflicts: 416000 | #Constraints: 21636 439.39/440.87 c #Conflicts: 417000 | #Constraints: 22636 439.39/440.87 c #Conflicts: 418000 | #Constraints: 23636 439.39/440.87 c #Conflicts: 419000 | #Constraints: 24636 439.39/440.87 c #Conflicts: 420000 | #Constraints: 25636 439.39/440.87 c INPROCESSING 439.39/440.87 c GARBAGE COLLECT 439.39/440.87 c rational objective 0 460.61/462.17 c #Conflicts: 421000 | #Constraints: 13840 460.61/462.17 c #Conflicts: 422000 | #Constraints: 14840 460.61/462.17 c #Conflicts: 423000 | #Constraints: 15840 460.61/462.17 c #Conflicts: 424000 | #Constraints: 16840 460.61/462.17 c #Conflicts: 425000 | #Constraints: 17840 460.61/462.17 c #Conflicts: 426000 | #Constraints: 18840 460.61/462.17 c #Conflicts: 427000 | #Constraints: 19841 460.61/462.17 c #Conflicts: 428000 | #Constraints: 20842 460.61/462.17 c #Conflicts: 429000 | #Constraints: 21843 460.61/462.17 c #Conflicts: 430000 | #Constraints: 22843 460.61/462.17 c #Conflicts: 431000 | #Constraints: 23843 460.61/462.17 c #Conflicts: 432000 | #Constraints: 24843 460.61/462.17 c #Conflicts: 433000 | #Constraints: 25843 460.61/462.17 c INPROCESSING 460.61/462.17 c GARBAGE COLLECT 460.61/462.17 c rational objective 0 481.63/483.24 c #Conflicts: 434000 | #Constraints: 13838 481.63/483.24 c #Conflicts: 435000 | #Constraints: 14838 481.63/483.24 c #Conflicts: 436000 | #Constraints: 15838 481.63/483.24 c #Conflicts: 437000 | #Constraints: 16838 481.63/483.24 c #Conflicts: 438000 | #Constraints: 17838 481.63/483.24 c #Conflicts: 439000 | #Constraints: 18838 481.63/483.24 c #Conflicts: 440000 | #Constraints: 19838 481.63/483.24 c #Conflicts: 441000 | #Constraints: 20838 481.63/483.24 c #Conflicts: 442000 | #Constraints: 21838 481.63/483.24 c #Conflicts: 443000 | #Constraints: 22838 481.63/483.24 c #Conflicts: 444000 | #Constraints: 23838 481.63/483.24 c #Conflicts: 445000 | #Constraints: 24838 481.63/483.24 c #Conflicts: 446000 | #Constraints: 25838 481.63/483.24 c INPROCESSING 481.63/483.24 c GARBAGE COLLECT 481.63/483.24 c rational objective 0 508.04/509.76 c #Conflicts: 447000 | #Constraints: 13635 508.04/509.76 c #Conflicts: 448000 | #Constraints: 14635 508.04/509.76 c #Conflicts: 449000 | #Constraints: 15635 508.04/509.76 c #Conflicts: 450000 | #Constraints: 16635 508.04/509.76 c #Conflicts: 451000 | #Constraints: 17635 508.04/509.76 c #Conflicts: 452000 | #Constraints: 18636 508.04/509.76 c #Conflicts: 453000 | #Constraints: 19636 508.04/509.76 c #Conflicts: 454000 | #Constraints: 20636 508.04/509.76 c #Conflicts: 455000 | #Constraints: 21636 508.04/509.76 c #Conflicts: 456000 | #Constraints: 22636 508.04/509.76 c #Conflicts: 457000 | #Constraints: 23636 508.04/509.76 c #Conflicts: 458000 | #Constraints: 24636 508.04/509.76 c #Conflicts: 459000 | #Constraints: 25636 508.04/509.76 c #Conflicts: 460000 | #Constraints: 26637 508.04/509.76 c INPROCESSING 508.04/509.76 c GARBAGE COLLECT 508.04/509.76 c rational objective 0 531.95/533.74 c #Conflicts: 461000 | #Constraints: 14238 531.95/533.74 c #Conflicts: 462000 | #Constraints: 15238 531.95/533.74 c #Conflicts: 463000 | #Constraints: 16239 531.95/533.74 c #Conflicts: 464000 | #Constraints: 17240 531.95/533.74 c #Conflicts: 465000 | #Constraints: 18240 531.95/533.74 c #Conflicts: 466000 | #Constraints: 19240 531.95/533.74 c #Conflicts: 467000 | #Constraints: 20240 531.95/533.74 c #Conflicts: 468000 | #Constraints: 21240 531.95/533.74 c #Conflicts: 469000 | #Constraints: 22240 531.95/533.74 c #Conflicts: 470000 | #Constraints: 23240 531.95/533.74 c #Conflicts: 471000 | #Constraints: 24240 531.95/533.74 c #Conflicts: 472000 | #Constraints: 25240 531.95/533.74 c #Conflicts: 473000 | #Constraints: 26240 531.95/533.74 c #Conflicts: 474000 | #Constraints: 27240 531.95/533.74 c INPROCESSING 531.95/533.74 c GARBAGE COLLECT 531.95/533.74 c rational objective 0 560.44/562.30 c #Conflicts: 475000 | #Constraints: 14637 560.44/562.30 c #Conflicts: 476000 | #Constraints: 15637 560.44/562.30 c #Conflicts: 477000 | #Constraints: 16638 560.44/562.30 c #Conflicts: 478000 | #Constraints: 17638 560.44/562.30 c #Conflicts: 479000 | #Constraints: 18638 560.44/562.30 c #Conflicts: 480000 | #Constraints: 19639 560.44/562.30 c #Conflicts: 481000 | #Constraints: 20639 560.44/562.30 c #Conflicts: 482000 | #Constraints: 21639 560.44/562.30 c #Conflicts: 483000 | #Constraints: 22639 560.44/562.30 c #Conflicts: 484000 | #Constraints: 23639 560.44/562.30 c #Conflicts: 485000 | #Constraints: 24639 560.44/562.30 c #Conflicts: 486000 | #Constraints: 25639 560.44/562.30 c #Conflicts: 487000 | #Constraints: 26640 560.44/562.30 c #Conflicts: 488000 | #Constraints: 27640 560.44/562.30 c INPROCESSING 560.44/562.30 c GARBAGE COLLECT 560.44/562.30 c rational objective 0 589.54/591.57 c #Conflicts: 489000 | #Constraints: 14838 589.54/591.57 c #Conflicts: 490000 | #Constraints: 15838 589.54/591.57 c #Conflicts: 491000 | #Constraints: 16839 589.54/591.57 c #Conflicts: 492000 | #Constraints: 17839 589.54/591.57 c #Conflicts: 493000 | #Constraints: 18839 589.54/591.57 c #Conflicts: 494000 | #Constraints: 19839 589.54/591.57 c #Conflicts: 495000 | #Constraints: 20839 589.54/591.57 c #Conflicts: 496000 | #Constraints: 21839 589.54/591.57 c #Conflicts: 497000 | #Constraints: 22839 589.54/591.57 c #Conflicts: 498000 | #Constraints: 23839 589.54/591.57 c #Conflicts: 499000 | #Constraints: 24839 589.54/591.57 c #Conflicts: 500000 | #Constraints: 25839 589.54/591.57 c #Conflicts: 501000 | #Constraints: 26839 589.54/591.57 c #Conflicts: 502000 | #Constraints: 27839 589.54/591.57 c INPROCESSING 589.54/591.57 c GARBAGE COLLECT 589.54/591.57 c rational objective 0 620.54/622.64 c #Conflicts: 503000 | #Constraints: 14836 620.54/622.64 c #Conflicts: 504000 | #Constraints: 15836 620.54/622.64 c #Conflicts: 505000 | #Constraints: 16836 620.54/622.64 c #Conflicts: 506000 | #Constraints: 17836 620.54/622.64 c #Conflicts: 507000 | #Constraints: 18836 620.54/622.64 c #Conflicts: 508000 | #Constraints: 19837 620.54/622.64 c #Conflicts: 509000 | #Constraints: 20837 620.54/622.64 c #Conflicts: 510000 | #Constraints: 21838 620.54/622.64 c #Conflicts: 511000 | #Constraints: 22838 620.54/622.64 c #Conflicts: 512000 | #Constraints: 23838 620.54/622.64 c #Conflicts: 513000 | #Constraints: 24838 620.54/622.64 c #Conflicts: 514000 | #Constraints: 25838 620.54/622.64 c #Conflicts: 515000 | #Constraints: 26838 620.54/622.64 c #Conflicts: 516000 | #Constraints: 27838 620.54/622.64 c INPROCESSING 620.54/622.64 c GARBAGE COLLECT 620.54/622.64 c rational objective 0 644.35/646.50 c #Conflicts: 517000 | #Constraints: 14639 644.35/646.50 c #Conflicts: 518000 | #Constraints: 15639 644.35/646.50 c #Conflicts: 519000 | #Constraints: 16640 644.35/646.50 c #Conflicts: 520000 | #Constraints: 17640 644.35/646.50 c #Conflicts: 521000 | #Constraints: 18641 644.35/646.50 c #Conflicts: 522000 | #Constraints: 19641 644.35/646.50 c #Conflicts: 523000 | #Constraints: 20642 644.35/646.50 c #Conflicts: 524000 | #Constraints: 21643 644.35/646.50 c #Conflicts: 525000 | #Constraints: 22643 644.35/646.50 c #Conflicts: 526000 | #Constraints: 23643 644.35/646.50 c #Conflicts: 527000 | #Constraints: 24643 644.35/646.50 c #Conflicts: 528000 | #Constraints: 25643 644.35/646.50 c #Conflicts: 529000 | #Constraints: 26643 644.35/646.50 c #Conflicts: 530000 | #Constraints: 27644 644.35/646.50 c #Conflicts: 531000 | #Constraints: 28644 644.35/646.50 c INPROCESSING 644.35/646.50 c GARBAGE COLLECT 644.35/646.50 c rational objective 0 678.02/680.37 c #Conflicts: 532000 | #Constraints: 15238 678.02/680.37 c #Conflicts: 533000 | #Constraints: 16238 678.02/680.37 c #Conflicts: 534000 | #Constraints: 17238 678.02/680.37 c #Conflicts: 535000 | #Constraints: 18238 678.02/680.37 c #Conflicts: 536000 | #Constraints: 19238 678.02/680.37 c #Conflicts: 537000 | #Constraints: 20238 678.02/680.37 c #Conflicts: 538000 | #Constraints: 21238 678.02/680.37 c #Conflicts: 539000 | #Constraints: 22238 678.02/680.37 c #Conflicts: 540000 | #Constraints: 23238 678.02/680.37 c #Conflicts: 541000 | #Constraints: 24238 678.02/680.37 c #Conflicts: 542000 | #Constraints: 25239 678.02/680.37 c #Conflicts: 543000 | #Constraints: 26240 678.02/680.37 c #Conflicts: 544000 | #Constraints: 27241 678.02/680.37 c #Conflicts: 545000 | #Constraints: 28242 678.02/680.37 c #Conflicts: 546000 | #Constraints: 29243 678.02/680.37 c INPROCESSING 678.02/680.37 c GARBAGE COLLECT 678.02/680.37 c rational objective 0 705.93/708.30 c #Conflicts: 547000 | #Constraints: 15645 705.93/708.30 c #Conflicts: 548000 | #Constraints: 16645 705.93/708.30 c #Conflicts: 549000 | #Constraints: 17645 705.93/708.30 c #Conflicts: 550000 | #Constraints: 18645 705.93/708.30 c #Conflicts: 551000 | #Constraints: 19645 705.93/708.30 c #Conflicts: 552000 | #Constraints: 20645 705.93/708.30 c #Conflicts: 553000 | #Constraints: 21645 705.93/708.30 c #Conflicts: 554000 | #Constraints: 22645 705.93/708.30 c #Conflicts: 555000 | #Constraints: 23645 705.93/708.30 c #Conflicts: 556000 | #Constraints: 24645 705.93/708.30 c #Conflicts: 557000 | #Constraints: 25645 705.93/708.30 c #Conflicts: 558000 | #Constraints: 26645 705.93/708.30 c #Conflicts: 559000 | #Constraints: 27645 705.93/708.30 c #Conflicts: 560000 | #Constraints: 28645 705.93/708.30 c #Conflicts: 561000 | #Constraints: 29645 705.93/708.30 c INPROCESSING 705.93/708.30 c GARBAGE COLLECT 705.93/708.30 c rational objective 0 740.80/743.31 c #Conflicts: 562000 | #Constraints: 15836 740.80/743.31 c #Conflicts: 563000 | #Constraints: 16836 740.80/743.31 c #Conflicts: 564000 | #Constraints: 17836 740.80/743.31 c #Conflicts: 565000 | #Constraints: 18837 740.80/743.31 c #Conflicts: 566000 | #Constraints: 19837 740.80/743.31 c #Conflicts: 567000 | #Constraints: 20838 740.80/743.31 c #Conflicts: 568000 | #Constraints: 21838 740.80/743.31 c #Conflicts: 569000 | #Constraints: 22839 740.80/743.31 c #Conflicts: 570000 | #Constraints: 23840 740.80/743.31 c #Conflicts: 571000 | #Constraints: 24840 740.80/743.31 c #Conflicts: 572000 | #Constraints: 25840 740.80/743.31 c #Conflicts: 573000 | #Constraints: 26840 740.80/743.31 c #Conflicts: 574000 | #Constraints: 27840 740.80/743.31 c #Conflicts: 575000 | #Constraints: 28840 740.80/743.31 c #Conflicts: 576000 | #Constraints: 29840 740.80/743.31 c INPROCESSING 740.80/743.31 c GARBAGE COLLECT 740.80/743.31 c rational objective 0 767.21/769.87 c #Conflicts: 577000 | #Constraints: 15841 767.21/769.87 c #Conflicts: 578000 | #Constraints: 16841 767.21/769.87 c #Conflicts: 579000 | #Constraints: 17841 767.21/769.87 c #Conflicts: 580000 | #Constraints: 18841 767.21/769.87 c #Conflicts: 581000 | #Constraints: 19841 767.21/769.87 c #Conflicts: 582000 | #Constraints: 20842 767.21/769.87 c #Conflicts: 583000 | #Constraints: 21842 767.21/769.87 c #Conflicts: 584000 | #Constraints: 22842 767.21/769.87 c #Conflicts: 585000 | #Constraints: 23842 767.21/769.87 c #Conflicts: 586000 | #Constraints: 24843 767.21/769.87 c #Conflicts: 587000 | #Constraints: 25843 767.21/769.87 c #Conflicts: 588000 | #Constraints: 26843 767.21/769.87 c #Conflicts: 589000 | #Constraints: 27843 767.21/769.87 c #Conflicts: 590000 | #Constraints: 28843 767.21/769.87 c #Conflicts: 591000 | #Constraints: 29844 767.21/769.87 c INPROCESSING 767.21/769.87 c GARBAGE COLLECT 767.21/769.87 c rational objective 0 795.80/798.54 c #Conflicts: 592000 | #Constraints: 15638 795.80/798.54 c #Conflicts: 593000 | #Constraints: 16639 795.80/798.54 c #Conflicts: 594000 | #Constraints: 17639 795.80/798.54 c #Conflicts: 595000 | #Constraints: 18639 795.80/798.54 c #Conflicts: 596000 | #Constraints: 19639 795.80/798.54 c #Conflicts: 597000 | #Constraints: 20639 795.80/798.54 c #Conflicts: 598000 | #Constraints: 21639 795.80/798.54 c #Conflicts: 599000 | #Constraints: 22639 795.80/798.54 c #Conflicts: 600000 | #Constraints: 23639 795.80/798.54 c #Conflicts: 601000 | #Constraints: 24639 795.80/798.54 c #Conflicts: 602000 | #Constraints: 25639 795.80/798.54 c #Conflicts: 603000 | #Constraints: 26639 795.80/798.54 c #Conflicts: 604000 | #Constraints: 27639 795.80/798.54 c #Conflicts: 605000 | #Constraints: 28639 795.80/798.54 c #Conflicts: 606000 | #Constraints: 29639 795.80/798.54 c #Conflicts: 607000 | #Constraints: 30639 795.80/798.54 c INPROCESSING 795.80/798.54 c GARBAGE COLLECT 795.80/798.54 c rational objective 0 833.57/836.46 c #Conflicts: 608000 | #Constraints: 16232 833.57/836.46 c #Conflicts: 609000 | #Constraints: 17232 833.57/836.46 c #Conflicts: 610000 | #Constraints: 18232 833.57/836.46 c #Conflicts: 611000 | #Constraints: 19232 833.57/836.46 c #Conflicts: 612000 | #Constraints: 20232 833.57/836.46 c #Conflicts: 613000 | #Constraints: 21232 833.57/836.46 c #Conflicts: 614000 | #Constraints: 22232 833.57/836.46 c #Conflicts: 615000 | #Constraints: 23232 833.57/836.46 c #Conflicts: 616000 | #Constraints: 24232 833.57/836.46 c #Conflicts: 617000 | #Constraints: 25233 833.57/836.46 c #Conflicts: 618000 | #Constraints: 26233 833.57/836.46 c #Conflicts: 619000 | #Constraints: 27233 833.57/836.46 c #Conflicts: 620000 | #Constraints: 28233 833.57/836.46 c #Conflicts: 621000 | #Constraints: 29233 833.57/836.46 c #Conflicts: 622000 | #Constraints: 30233 833.57/836.46 c #Conflicts: 623000 | #Constraints: 31233 833.57/836.46 c INPROCESSING 833.57/836.46 c GARBAGE COLLECT 833.57/836.46 c rational objective 0 862.57/865.57 c #Conflicts: 624000 | #Constraints: 16637 862.57/865.57 c #Conflicts: 625000 | #Constraints: 17638 862.57/865.57 c #Conflicts: 626000 | #Constraints: 18638 862.57/865.57 c #Conflicts: 627000 | #Constraints: 19638 862.57/865.57 c #Conflicts: 628000 | #Constraints: 20638 862.57/865.57 c #Conflicts: 629000 | #Constraints: 21638 862.57/865.57 c #Conflicts: 630000 | #Constraints: 22638 862.57/865.57 c #Conflicts: 631000 | #Constraints: 23638 862.57/865.57 c #Conflicts: 632000 | #Constraints: 24638 862.57/865.57 c #Conflicts: 633000 | #Constraints: 25638 862.57/865.57 c #Conflicts: 634000 | #Constraints: 26638 862.57/865.57 c #Conflicts: 635000 | #Constraints: 27638 862.57/865.57 c #Conflicts: 636000 | #Constraints: 28639 862.57/865.57 c #Conflicts: 637000 | #Constraints: 29640 862.57/865.57 c #Conflicts: 638000 | #Constraints: 30640 862.57/865.57 c #Conflicts: 639000 | #Constraints: 31640 862.57/865.57 c INPROCESSING 862.57/865.57 c GARBAGE COLLECT 862.57/865.57 c rational objective 0 902.62/905.73 c #Conflicts: 640000 | #Constraints: 16834 902.62/905.73 c #Conflicts: 641000 | #Constraints: 17834 902.62/905.73 c #Conflicts: 642000 | #Constraints: 18834 902.62/905.73 c #Conflicts: 643000 | #Constraints: 19834 902.62/905.73 c #Conflicts: 644000 | #Constraints: 20834 902.62/905.73 c #Conflicts: 645000 | #Constraints: 21835 902.62/905.73 c #Conflicts: 646000 | #Constraints: 22835 902.62/905.73 c #Conflicts: 647000 | #Constraints: 23835 902.62/905.73 c #Conflicts: 648000 | #Constraints: 24836 902.62/905.73 c #Conflicts: 649000 | #Constraints: 25836 902.62/905.73 c #Conflicts: 650000 | #Constraints: 26836 902.62/905.73 c #Conflicts: 651000 | #Constraints: 27837 902.62/905.73 c #Conflicts: 652000 | #Constraints: 28837 902.62/905.73 c #Conflicts: 653000 | #Constraints: 29837 902.62/905.73 c #Conflicts: 654000 | #Constraints: 30837 902.62/905.73 c #Conflicts: 655000 | #Constraints: 31837 902.62/905.73 c INPROCESSING 902.62/905.73 c GARBAGE COLLECT 902.62/905.73 c rational objective 0 934.61/937.87 c #Conflicts: 656000 | #Constraints: 16839 934.61/937.87 c #Conflicts: 657000 | #Constraints: 17839 934.61/937.87 c #Conflicts: 658000 | #Constraints: 18839 934.61/937.87 c #Conflicts: 659000 | #Constraints: 19839 934.61/937.87 c #Conflicts: 660000 | #Constraints: 20840 934.61/937.87 c #Conflicts: 661000 | #Constraints: 21840 934.61/937.87 c #Conflicts: 662000 | #Constraints: 22840 934.61/937.87 c #Conflicts: 663000 | #Constraints: 23840 934.61/937.87 c #Conflicts: 664000 | #Constraints: 24840 934.61/937.87 c #Conflicts: 665000 | #Constraints: 25840 934.61/937.87 c #Conflicts: 666000 | #Constraints: 26841 934.61/937.87 c #Conflicts: 667000 | #Constraints: 27841 934.61/937.87 c #Conflicts: 668000 | #Constraints: 28841 934.61/937.87 c #Conflicts: 669000 | #Constraints: 29841 934.61/937.87 c #Conflicts: 670000 | #Constraints: 30841 934.61/937.87 c #Conflicts: 671000 | #Constraints: 31842 934.61/937.87 c INPROCESSING 934.61/937.87 c GARBAGE COLLECT 934.61/937.87 c rational objective 0 976.66/980.02 c #Conflicts: 672000 | #Constraints: 16636 976.66/980.02 c #Conflicts: 673000 | #Constraints: 17636 976.66/980.02 c #Conflicts: 674000 | #Constraints: 18636 976.66/980.02 c #Conflicts: 675000 | #Constraints: 19636 976.66/980.02 c #Conflicts: 676000 | #Constraints: 20636 976.66/980.02 c #Conflicts: 677000 | #Constraints: 21636 976.66/980.02 c #Conflicts: 678000 | #Constraints: 22636 976.66/980.02 c #Conflicts: 679000 | #Constraints: 23636 976.66/980.02 c #Conflicts: 680000 | #Constraints: 24636 976.66/980.02 c #Conflicts: 681000 | #Constraints: 25636 976.66/980.02 c #Conflicts: 682000 | #Constraints: 26636 976.66/980.02 c #Conflicts: 683000 | #Constraints: 27637 976.66/980.02 c #Conflicts: 684000 | #Constraints: 28637 976.66/980.02 c #Conflicts: 685000 | #Constraints: 29637 976.66/980.02 c #Conflicts: 686000 | #Constraints: 30637 976.66/980.02 c #Conflicts: 687000 | #Constraints: 31637 976.66/980.02 c #Conflicts: 688000 | #Constraints: 32637 976.66/980.02 c INPROCESSING 976.66/980.02 c GARBAGE COLLECT 976.66/980.02 c rational objective 0 1010.54/1014.03 c #Conflicts: 689000 | #Constraints: 17237 1010.54/1014.03 c #Conflicts: 690000 | #Constraints: 18238 1010.54/1014.03 c #Conflicts: 691000 | #Constraints: 19238 1010.54/1014.03 c #Conflicts: 692000 | #Constraints: 20238 1010.54/1014.03 c #Conflicts: 693000 | #Constraints: 21238 1010.54/1014.03 c #Conflicts: 694000 | #Constraints: 22239 1010.54/1014.03 c #Conflicts: 695000 | #Constraints: 23239 1010.54/1014.03 c #Conflicts: 696000 | #Constraints: 24239 1010.54/1014.03 c #Conflicts: 697000 | #Constraints: 25239 1010.54/1014.03 c #Conflicts: 698000 | #Constraints: 26239 1010.54/1014.03 c #Conflicts: 699000 | #Constraints: 27239 1010.54/1014.03 c #Conflicts: 700000 | #Constraints: 28239 1010.54/1014.03 c #Conflicts: 701000 | #Constraints: 29239 1010.54/1014.03 c #Conflicts: 702000 | #Constraints: 30239 1010.54/1014.03 c #Conflicts: 703000 | #Constraints: 31239 1010.54/1014.03 c #Conflicts: 704000 | #Constraints: 32239 1010.54/1014.03 c #Conflicts: 705000 | #Constraints: 33239 1010.54/1014.03 c INPROCESSING 1010.54/1014.03 c GARBAGE COLLECT 1010.54/1014.03 c rational objective 0 1053.98/1057.60 c #Conflicts: 706000 | #Constraints: 17637 1053.98/1057.60 c #Conflicts: 707000 | #Constraints: 18637 1053.98/1057.60 c #Conflicts: 708000 | #Constraints: 19637 1053.98/1057.60 c #Conflicts: 709000 | #Constraints: 20637 1053.98/1057.60 c #Conflicts: 710000 | #Constraints: 21637 1053.98/1057.60 c #Conflicts: 711000 | #Constraints: 22638 1053.98/1057.60 c #Conflicts: 712000 | #Constraints: 23638 1053.98/1057.60 c #Conflicts: 713000 | #Constraints: 24638 1053.98/1057.60 c #Conflicts: 714000 | #Constraints: 25638 1053.98/1057.60 c #Conflicts: 715000 | #Constraints: 26639 1053.98/1057.60 c #Conflicts: 716000 | #Constraints: 27639 1053.98/1057.60 c #Conflicts: 717000 | #Constraints: 28639 1053.98/1057.60 c #Conflicts: 718000 | #Constraints: 29639 1053.98/1057.60 c #Conflicts: 719000 | #Constraints: 30639 1053.98/1057.60 c #Conflicts: 720000 | #Constraints: 31639 1053.98/1057.60 c #Conflicts: 721000 | #Constraints: 32639 1053.98/1057.60 c #Conflicts: 722000 | #Constraints: 33639 1053.98/1057.60 c INPROCESSING 1053.98/1057.60 c GARBAGE COLLECT 1053.98/1057.60 c rational objective 0 1093.45/1097.20 c #Conflicts: 723000 | #Constraints: 17843 1093.45/1097.20 c #Conflicts: 724000 | #Constraints: 18845 1093.45/1097.20 c #Conflicts: 725000 | #Constraints: 19845 1093.45/1097.20 c #Conflicts: 726000 | #Constraints: 20845 1093.45/1097.20 c #Conflicts: 727000 | #Constraints: 21845 1093.45/1097.20 c #Conflicts: 728000 | #Constraints: 22845 1093.45/1097.20 c #Conflicts: 729000 | #Constraints: 23845 1093.45/1097.20 c #Conflicts: 730000 | #Constraints: 24845 1093.45/1097.20 c #Conflicts: 731000 | #Constraints: 25845 1093.45/1097.20 c #Conflicts: 732000 | #Constraints: 26845 1093.45/1097.20 c #Conflicts: 733000 | #Constraints: 27845 1093.45/1097.20 c #Conflicts: 734000 | #Constraints: 28845 1093.45/1097.20 c #Conflicts: 735000 | #Constraints: 29845 1093.45/1097.20 c #Conflicts: 736000 | #Constraints: 30845 1093.45/1097.20 c #Conflicts: 737000 | #Constraints: 31845 1093.45/1097.20 c #Conflicts: 738000 | #Constraints: 32845 1093.45/1097.20 c #Conflicts: 739000 | #Constraints: 33845 1093.45/1097.20 c INPROCESSING 1093.45/1097.20 c GARBAGE COLLECT 1093.45/1097.20 c rational objective 0 1128.01/1131.96 c #Conflicts: 740000 | #Constraints: 17842 1128.01/1131.96 c #Conflicts: 741000 | #Constraints: 18842 1128.01/1131.96 c #Conflicts: 742000 | #Constraints: 19842 1128.01/1131.96 c #Conflicts: 743000 | #Constraints: 20842 1128.01/1131.96 c #Conflicts: 744000 | #Constraints: 21842 1128.01/1131.96 c #Conflicts: 745000 | #Constraints: 22842 1128.01/1131.96 c #Conflicts: 746000 | #Constraints: 23842 1128.01/1131.96 c #Conflicts: 747000 | #Constraints: 24842 1128.01/1131.96 c #Conflicts: 748000 | #Constraints: 25842 1128.01/1131.96 c #Conflicts: 749000 | #Constraints: 26843 1128.01/1131.96 c #Conflicts: 750000 | #Constraints: 27843 1128.01/1131.96 c #Conflicts: 751000 | #Constraints: 28843 1128.01/1131.96 c #Conflicts: 752000 | #Constraints: 29844 1128.01/1131.96 c #Conflicts: 753000 | #Constraints: 30844 1128.01/1131.96 c #Conflicts: 754000 | #Constraints: 31844 1128.01/1131.96 c #Conflicts: 755000 | #Constraints: 32844 1128.01/1131.96 c #Conflicts: 756000 | #Constraints: 33844 1128.01/1131.96 c INPROCESSING 1128.01/1131.96 c GARBAGE COLLECT 1128.01/1131.96 c rational objective 0 1176.15/1180.20 c #Conflicts: 757000 | #Constraints: 17639 1176.15/1180.20 c #Conflicts: 758000 | #Constraints: 18639 1176.15/1180.20 c #Conflicts: 759000 | #Constraints: 19639 1176.15/1180.20 c #Conflicts: 760000 | #Constraints: 20639 1176.15/1180.20 c #Conflicts: 761000 | #Constraints: 21639 1176.15/1180.20 c #Conflicts: 762000 | #Constraints: 22640 1176.15/1180.20 c #Conflicts: 763000 | #Constraints: 23640 1176.15/1180.20 c #Conflicts: 764000 | #Constraints: 24640 1176.15/1180.20 c #Conflicts: 765000 | #Constraints: 25640 1176.15/1180.20 c #Conflicts: 766000 | #Constraints: 26640 1176.15/1180.20 c #Conflicts: 767000 | #Constraints: 27640 1176.15/1180.20 c #Conflicts: 768000 | #Constraints: 28640 1176.15/1180.20 c #Conflicts: 769000 | #Constraints: 29640 1176.15/1180.20 c #Conflicts: 770000 | #Constraints: 30640 1176.15/1180.20 c #Conflicts: 771000 | #Constraints: 31640 1176.15/1180.20 c #Conflicts: 772000 | #Constraints: 32640 1176.15/1180.20 c #Conflicts: 773000 | #Constraints: 33640 1176.15/1180.20 c #Conflicts: 774000 | #Constraints: 34640 1176.15/1180.20 c INPROCESSING 1176.15/1180.20 c GARBAGE COLLECT 1176.15/1180.20 c rational objective 0 1212.92/1217.17 c #Conflicts: 775000 | #Constraints: 18239 1212.92/1217.17 c #Conflicts: 776000 | #Constraints: 19239 1212.92/1217.17 c #Conflicts: 777000 | #Constraints: 20239 1212.92/1217.17 c #Conflicts: 778000 | #Constraints: 21239 1212.92/1217.17 c #Conflicts: 779000 | #Constraints: 22239 1212.92/1217.17 c #Conflicts: 780000 | #Constraints: 23240 1212.92/1217.17 c #Conflicts: 781000 | #Constraints: 24240 1212.92/1217.17 c #Conflicts: 782000 | #Constraints: 25240 1212.92/1217.17 c #Conflicts: 783000 | #Constraints: 26240 1212.92/1217.17 c #Conflicts: 784000 | #Constraints: 27240 1212.92/1217.17 c #Conflicts: 785000 | #Constraints: 28240 1212.92/1217.17 c #Conflicts: 786000 | #Constraints: 29240 1212.92/1217.17 c #Conflicts: 787000 | #Constraints: 30240 1212.92/1217.17 c #Conflicts: 788000 | #Constraints: 31240 1212.92/1217.17 c #Conflicts: 789000 | #Constraints: 32240 1212.92/1217.17 c #Conflicts: 790000 | #Constraints: 33240 1212.92/1217.17 c #Conflicts: 791000 | #Constraints: 34240 1212.92/1217.17 c #Conflicts: 792000 | #Constraints: 35240 1212.92/1217.17 c INPROCESSING 1212.92/1217.17 c GARBAGE COLLECT 1212.92/1217.17 c rational objective 0 1264.43/1268.80 c #Conflicts: 793000 | #Constraints: 18633 1264.43/1268.80 c #Conflicts: 794000 | #Constraints: 19633 1264.43/1268.80 c #Conflicts: 795000 | #Constraints: 20634 1264.43/1268.80 c #Conflicts: 796000 | #Constraints: 21634 1264.43/1268.80 c #Conflicts: 797000 | #Constraints: 22634 1264.43/1268.80 c #Conflicts: 798000 | #Constraints: 23634 1264.43/1268.80 c #Conflicts: 799000 | #Constraints: 24634 1264.43/1268.80 c #Conflicts: 800000 | #Constraints: 25634 1264.43/1268.80 c #Conflicts: 801000 | #Constraints: 26634 1264.43/1268.80 c #Conflicts: 802000 | #Constraints: 27634 1264.43/1268.80 c #Conflicts: 803000 | #Constraints: 28634 1264.43/1268.80 c #Conflicts: 804000 | #Constraints: 29634 1264.43/1268.80 c #Conflicts: 805000 | #Constraints: 30634 1264.43/1268.80 c #Conflicts: 806000 | #Constraints: 31634 1264.43/1268.80 c #Conflicts: 807000 | #Constraints: 32634 1264.43/1268.80 c #Conflicts: 808000 | #Constraints: 33634 1264.43/1268.80 c #Conflicts: 809000 | #Constraints: 34634 1264.43/1268.80 c #Conflicts: 810000 | #Constraints: 35634 1264.43/1268.80 c INPROCESSING 1264.43/1268.80 c GARBAGE COLLECT 1264.43/1268.80 c rational objective 0 1302.10/1306.69 c #Conflicts: 811000 | #Constraints: 18839 1302.10/1306.69 c #Conflicts: 812000 | #Constraints: 19839 1302.10/1306.69 c #Conflicts: 813000 | #Constraints: 20839 1302.10/1306.69 c #Conflicts: 814000 | #Constraints: 21839 1302.10/1306.69 c #Conflicts: 815000 | #Constraints: 22840 1302.10/1306.69 c #Conflicts: 816000 | #Constraints: 23840 1302.10/1306.69 c #Conflicts: 817000 | #Constraints: 24840 1302.10/1306.69 c #Conflicts: 818000 | #Constraints: 25840 1302.10/1306.69 c #Conflicts: 819000 | #Constraints: 26840 1302.10/1306.69 c #Conflicts: 820000 | #Constraints: 27840 1302.10/1306.69 c #Conflicts: 821000 | #Constraints: 28840 1302.10/1306.69 c #Conflicts: 822000 | #Constraints: 29840 1302.10/1306.69 c #Conflicts: 823000 | #Constraints: 30840 1302.10/1306.69 c #Conflicts: 824000 | #Constraints: 31840 1302.10/1306.69 c #Conflicts: 825000 | #Constraints: 32840 1302.10/1306.69 c #Conflicts: 826000 | #Constraints: 33840 1302.10/1306.69 c #Conflicts: 827000 | #Constraints: 34840 1302.10/1306.69 c #Conflicts: 828000 | #Constraints: 35840 1302.10/1306.69 c INPROCESSING 1302.10/1306.69 c GARBAGE COLLECT 1302.10/1306.69 c rational objective 0 1354.22/1358.99 c #Conflicts: 829000 | #Constraints: 18836 1354.22/1358.99 c #Conflicts: 830000 | #Constraints: 19837 1354.22/1358.99 c #Conflicts: 831000 | #Constraints: 20838 1354.22/1358.99 c #Conflicts: 832000 | #Constraints: 21838 1354.22/1358.99 c #Conflicts: 833000 | #Constraints: 22838 1354.22/1358.99 c #Conflicts: 834000 | #Constraints: 23838 1354.22/1358.99 c #Conflicts: 835000 | #Constraints: 24838 1354.22/1358.99 c #Conflicts: 836000 | #Constraints: 25838 1354.22/1358.99 c #Conflicts: 837000 | #Constraints: 26838 1354.22/1358.99 c #Conflicts: 838000 | #Constraints: 27838 1354.22/1358.99 c #Conflicts: 839000 | #Constraints: 28838 1354.22/1358.99 c #Conflicts: 840000 | #Constraints: 29838 1354.22/1358.99 c #Conflicts: 841000 | #Constraints: 30838 1354.22/1358.99 c #Conflicts: 842000 | #Constraints: 31838 1354.22/1358.99 c #Conflicts: 843000 | #Constraints: 32838 1354.22/1358.99 c #Conflicts: 844000 | #Constraints: 33838 1354.22/1358.99 c #Conflicts: 845000 | #Constraints: 34838 1354.22/1358.99 c #Conflicts: 846000 | #Constraints: 35838 1354.22/1358.99 c INPROCESSING 1354.22/1358.99 c GARBAGE COLLECT 1354.22/1358.99 c rational objective 0 1393.28/1398.16 c #Conflicts: 847000 | #Constraints: 18638 1393.28/1398.16 c #Conflicts: 848000 | #Constraints: 19638 1393.28/1398.16 c #Conflicts: 849000 | #Constraints: 20638 1393.28/1398.16 c #Conflicts: 850000 | #Constraints: 21638 1393.28/1398.16 c #Conflicts: 851000 | #Constraints: 22638 1393.28/1398.16 c #Conflicts: 852000 | #Constraints: 23638 1393.28/1398.16 c #Conflicts: 853000 | #Constraints: 24638 1393.28/1398.16 c #Conflicts: 854000 | #Constraints: 25638 1393.28/1398.16 c #Conflicts: 855000 | #Constraints: 26638 1393.28/1398.16 c #Conflicts: 856000 | #Constraints: 27638 1393.28/1398.16 c #Conflicts: 857000 | #Constraints: 28638 1393.28/1398.16 c #Conflicts: 858000 | #Constraints: 29638 1393.28/1398.16 c #Conflicts: 859000 | #Constraints: 30638 1393.28/1398.16 c #Conflicts: 860000 | #Constraints: 31638 1393.28/1398.16 c #Conflicts: 861000 | #Constraints: 32638 1393.28/1398.16 c #Conflicts: 862000 | #Constraints: 33639 1393.28/1398.16 c #Conflicts: 863000 | #Constraints: 34642 1393.28/1398.16 c #Conflicts: 864000 | #Constraints: 35642 1393.28/1398.16 c #Conflicts: 865000 | #Constraints: 36643 1393.28/1398.16 c INPROCESSING 1393.28/1398.16 c GARBAGE COLLECT 1393.28/1398.16 c rational objective 0 1435.13/1440.11 c #Conflicts: 866000 | #Constraints: 19238 1435.13/1440.11 c #Conflicts: 867000 | #Constraints: 20239 1435.13/1440.11 c #Conflicts: 868000 | #Constraints: 21239 1435.13/1440.11 c #Conflicts: 869000 | #Constraints: 22239 1435.13/1440.11 c #Conflicts: 870000 | #Constraints: 23240 1435.13/1440.11 c #Conflicts: 871000 | #Constraints: 24240 1435.13/1440.11 c #Conflicts: 872000 | #Constraints: 25240 1435.13/1440.11 c #Conflicts: 873000 | #Constraints: 26240 1435.13/1440.11 c #Conflicts: 874000 | #Constraints: 27241 1435.13/1440.11 c #Conflicts: 875000 | #Constraints: 28242 1435.13/1440.11 c #Conflicts: 876000 | #Constraints: 29242 1435.13/1440.11 c #Conflicts: 877000 | #Constraints: 30242 1435.13/1440.11 c #Conflicts: 878000 | #Constraints: 31242 1435.13/1440.11 c #Conflicts: 879000 | #Constraints: 32242 1435.13/1440.11 c #Conflicts: 880000 | #Constraints: 33242 1435.13/1440.11 c #Conflicts: 881000 | #Constraints: 34242 1435.13/1440.11 c #Conflicts: 882000 | #Constraints: 35242 1435.13/1440.11 c #Conflicts: 883000 | #Constraints: 36242 1435.13/1440.11 c #Conflicts: 884000 | #Constraints: 37242 1435.13/1440.11 c INPROCESSING 1435.13/1440.11 c GARBAGE COLLECT 1435.13/1440.11 c rational objective 0 1494.51/1499.75 c #Conflicts: 885000 | #Constraints: 19639 1494.51/1499.75 c #Conflicts: 886000 | #Constraints: 20639 1494.51/1499.75 c #Conflicts: 887000 | #Constraints: 21639 1494.51/1499.75 c #Conflicts: 888000 | #Constraints: 22639 1494.51/1499.75 c #Conflicts: 889000 | #Constraints: 23639 1494.51/1499.75 c #Conflicts: 890000 | #Constraints: 24639 1494.51/1499.75 c #Conflicts: 891000 | #Constraints: 25639 1494.51/1499.75 c #Conflicts: 892000 | #Constraints: 26639 1494.51/1499.75 c #Conflicts: 893000 | #Constraints: 27640 1494.51/1499.75 c #Conflicts: 894000 | #Constraints: 28640 1494.51/1499.75 c #Conflicts: 895000 | #Constraints: 29640 1494.51/1499.75 c #Conflicts: 896000 | #Constraints: 30640 1494.51/1499.75 c #Conflicts: 897000 | #Constraints: 31640 1494.51/1499.75 c #Conflicts: 898000 | #Constraints: 32640 1494.51/1499.75 c #Conflicts: 899000 | #Constraints: 33641 1494.51/1499.75 c #Conflicts: 900000 | #Constraints: 34642 1494.51/1499.75 c #Conflicts: 901000 | #Constraints: 35642 1494.51/1499.75 c #Conflicts: 902000 | #Constraints: 36642 1494.51/1499.75 c #Conflicts: 903000 | #Constraints: 37642 1494.51/1499.75 c INPROCESSING 1494.51/1499.75 c GARBAGE COLLECT 1494.51/1499.75 c rational objective 0 1538.76/1544.17 c #Conflicts: 904000 | #Constraints: 19841 1538.76/1544.17 c #Conflicts: 905000 | #Constraints: 20841 1538.76/1544.17 c #Conflicts: 906000 | #Constraints: 21841 1538.76/1544.17 c #Conflicts: 907000 | #Constraints: 22842 1538.76/1544.17 c #Conflicts: 908000 | #Constraints: 23842 1538.76/1544.17 c #Conflicts: 909000 | #Constraints: 24842 1538.76/1544.17 c #Conflicts: 910000 | #Constraints: 25842 1538.76/1544.17 c #Conflicts: 911000 | #Constraints: 26842 1538.76/1544.17 c #Conflicts: 912000 | #Constraints: 27842 1538.76/1544.17 c #Conflicts: 913000 | #Constraints: 28842 1538.76/1544.17 c #Conflicts: 914000 | #Constraints: 29843 1538.76/1544.17 c #Conflicts: 915000 | #Constraints: 30843 1538.76/1544.17 c #Conflicts: 916000 | #Constraints: 31843 1538.76/1544.17 c #Conflicts: 917000 | #Constraints: 32843 1538.76/1544.17 c #Conflicts: 918000 | #Constraints: 33843 1538.76/1544.17 c #Conflicts: 919000 | #Constraints: 34843 1538.76/1544.17 c #Conflicts: 920000 | #Constraints: 35843 1538.76/1544.17 c #Conflicts: 921000 | #Constraints: 36843 1538.76/1544.17 c #Conflicts: 922000 | #Constraints: 37843 1538.76/1544.17 c INPROCESSING 1538.76/1544.17 c GARBAGE COLLECT 1538.76/1544.17 c rational objective 0 1597.35/1602.95 c #Conflicts: 923000 | #Constraints: 19835 1597.35/1602.95 c #Conflicts: 924000 | #Constraints: 20835 1597.35/1602.95 c #Conflicts: 925000 | #Constraints: 21836 1597.35/1602.95 c #Conflicts: 926000 | #Constraints: 22836 1597.35/1602.95 c #Conflicts: 927000 | #Constraints: 23836 1597.35/1602.95 c #Conflicts: 928000 | #Constraints: 24836 1597.35/1602.95 c #Conflicts: 929000 | #Constraints: 25836 1597.35/1602.95 c #Conflicts: 930000 | #Constraints: 26838 1597.35/1602.95 c #Conflicts: 931000 | #Constraints: 27839 1597.35/1602.95 c #Conflicts: 932000 | #Constraints: 28839 1597.35/1602.95 c #Conflicts: 933000 | #Constraints: 29839 1597.35/1602.95 c #Conflicts: 934000 | #Constraints: 30839 1597.35/1602.95 c #Conflicts: 935000 | #Constraints: 31839 1597.35/1602.95 c #Conflicts: 936000 | #Constraints: 32839 1597.35/1602.95 c #Conflicts: 937000 | #Constraints: 33839 1597.35/1602.95 c #Conflicts: 938000 | #Constraints: 34839 1597.35/1602.95 c #Conflicts: 939000 | #Constraints: 35839 1597.35/1602.95 c #Conflicts: 940000 | #Constraints: 36841 1597.35/1602.95 c #Conflicts: 941000 | #Constraints: 37841 1597.35/1602.95 c INPROCESSING 1597.35/1602.95 c GARBAGE COLLECT 1597.35/1602.95 c rational objective 0 1646.67/1652.49 c #Conflicts: 942000 | #Constraints: 19643 1646.67/1652.49 c #Conflicts: 943000 | #Constraints: 20643 1646.67/1652.49 c #Conflicts: 944000 | #Constraints: 21643 1646.67/1652.49 c #Conflicts: 945000 | #Constraints: 22643 1646.67/1652.49 c #Conflicts: 946000 | #Constraints: 23643 1646.67/1652.49 c #Conflicts: 947000 | #Constraints: 24643 1646.67/1652.49 c #Conflicts: 948000 | #Constraints: 25644 1646.67/1652.49 c #Conflicts: 949000 | #Constraints: 26644 1646.67/1652.49 c #Conflicts: 950000 | #Constraints: 27644 1646.67/1652.49 c #Conflicts: 951000 | #Constraints: 28644 1646.67/1652.49 c #Conflicts: 952000 | #Constraints: 29645 1646.67/1652.49 c #Conflicts: 953000 | #Constraints: 30645 1646.67/1652.49 c #Conflicts: 954000 | #Constraints: 31645 1646.67/1652.49 c #Conflicts: 955000 | #Constraints: 32646 1646.67/1652.49 c #Conflicts: 956000 | #Constraints: 33647 1646.67/1652.49 c #Conflicts: 957000 | #Constraints: 34647 1646.67/1652.49 c #Conflicts: 958000 | #Constraints: 35647 1646.67/1652.49 c #Conflicts: 959000 | #Constraints: 36648 1646.67/1652.49 c #Conflicts: 960000 | #Constraints: 37648 1646.67/1652.49 c #Conflicts: 961000 | #Constraints: 38648 1646.67/1652.49 c INPROCESSING 1646.67/1652.49 c GARBAGE COLLECT 1646.67/1652.49 c rational objective 0 1709.84/1715.87 c #Conflicts: 962000 | #Constraints: 20239 1709.84/1715.87 c #Conflicts: 963000 | #Constraints: 21239 1709.84/1715.87 c #Conflicts: 964000 | #Constraints: 22239 1709.84/1715.87 c #Conflicts: 965000 | #Constraints: 23239 1709.84/1715.87 c #Conflicts: 966000 | #Constraints: 24239 1709.84/1715.87 c #Conflicts: 967000 | #Constraints: 25239 1709.84/1715.87 c #Conflicts: 968000 | #Constraints: 26239 1709.84/1715.87 c #Conflicts: 969000 | #Constraints: 27239 1709.84/1715.87 c #Conflicts: 970000 | #Constraints: 28240 1709.84/1715.87 c #Conflicts: 971000 | #Constraints: 29240 1709.84/1715.87 c #Conflicts: 972000 | #Constraints: 30240 1709.84/1715.87 c #Conflicts: 973000 | #Constraints: 31240 1709.84/1715.87 c #Conflicts: 974000 | #Constraints: 32240 1709.84/1715.87 c #Conflicts: 975000 | #Constraints: 33240 1709.84/1715.87 c #Conflicts: 976000 | #Constraints: 34240 1709.84/1715.87 c #Conflicts: 977000 | #Constraints: 35240 1709.84/1715.87 c #Conflicts: 978000 | #Constraints: 36240 1709.84/1715.87 c #Conflicts: 979000 | #Constraints: 37240 1709.84/1715.87 c #Conflicts: 980000 | #Constraints: 38240 1709.84/1715.87 c #Conflicts: 981000 | #Constraints: 39240 1709.84/1715.87 c INPROCESSING 1709.84/1715.87 c GARBAGE COLLECT 1709.84/1715.87 c rational objective 0 1764.96/1771.14 c #Conflicts: 982000 | #Constraints: 20637 1764.96/1771.14 c #Conflicts: 983000 | #Constraints: 21637 1764.96/1771.14 c #Conflicts: 984000 | #Constraints: 22638 1764.96/1771.14 c #Conflicts: 985000 | #Constraints: 23639 1764.96/1771.14 c #Conflicts: 986000 | #Constraints: 24639 1764.96/1771.14 c #Conflicts: 987000 | #Constraints: 25639 1764.96/1771.14 c #Conflicts: 988000 | #Constraints: 26639 1764.96/1771.14 c #Conflicts: 989000 | #Constraints: 27639 1764.96/1771.14 c #Conflicts: 990000 | #Constraints: 28639 1764.96/1771.14 c #Conflicts: 991000 | #Constraints: 29639 1764.96/1771.14 c #Conflicts: 992000 | #Constraints: 30639 1764.96/1771.14 c #Conflicts: 993000 | #Constraints: 31639 1764.96/1771.14 c #Conflicts: 994000 | #Constraints: 32639 1764.96/1771.14 c #Conflicts: 995000 | #Constraints: 33639 1764.96/1771.14 c #Conflicts: 996000 | #Constraints: 34639 1764.96/1771.14 c #Conflicts: 997000 | #Constraints: 35639 1764.96/1771.14 c #Conflicts: 998000 | #Constraints: 36639 1764.96/1771.14 c #Conflicts: 999000 | #Constraints: 37639 1764.96/1771.14 c #Conflicts: 1000000 | #Constraints: 38639 1764.96/1771.14 c #Conflicts: 1001000 | #Constraints: 39639 1764.96/1771.14 c INPROCESSING 1764.96/1771.14 c GARBAGE COLLECT 1764.96/1771.14 c rational objective 0 1826.82/1833.29 c #Conflicts: 1002000 | #Constraints: 20835 1826.82/1833.29 c #Conflicts: 1003000 | #Constraints: 21835 1826.82/1833.29 c #Conflicts: 1004000 | #Constraints: 22835 1826.82/1833.29 c #Conflicts: 1005000 | #Constraints: 23835 1826.82/1833.29 c #Conflicts: 1006000 | #Constraints: 24835 1826.82/1833.29 c #Conflicts: 1007000 | #Constraints: 25835 1826.82/1833.29 c #Conflicts: 1008000 | #Constraints: 26835 1826.82/1833.29 c #Conflicts: 1009000 | #Constraints: 27835 1826.82/1833.29 c #Conflicts: 1010000 | #Constraints: 28835 1826.82/1833.29 c #Conflicts: 1011000 | #Constraints: 29835 1826.82/1833.29 c #Conflicts: 1012000 | #Constraints: 30835 1826.82/1833.29 c #Conflicts: 1013000 | #Constraints: 31835 1826.82/1833.29 c #Conflicts: 1014000 | #Constraints: 32835 1826.82/1833.29 c #Conflicts: 1015000 | #Constraints: 33835 1826.82/1833.29 c #Conflicts: 1016000 | #Constraints: 34835 1826.82/1833.29 c #Conflicts: 1017000 | #Constraints: 35835 1826.82/1833.29 c #Conflicts: 1018000 | #Constraints: 36835 1826.82/1833.29 c #Conflicts: 1019000 | #Constraints: 37835 1826.82/1833.29 c #Conflicts: 1020000 | #Constraints: 38835 1826.82/1833.29 c #Conflicts: 1021000 | #Constraints: 39835 1826.82/1833.29 c INPROCESSING 1826.82/1833.29 c GARBAGE COLLECT 1826.82/1833.29 c rational objective 0 1881.84/1888.47 c #Conflicts: 1022000 | #Constraints: 20838 1881.84/1888.47 c #Conflicts: 1023000 | #Constraints: 21838 1881.84/1888.47 c #Conflicts: 1024000 | #Constraints: 22839 1881.84/1888.47 c #Conflicts: 1025000 | #Constraints: 23839 1881.84/1888.47 c #Conflicts: 1026000 | #Constraints: 24839 1881.84/1888.47 c #Conflicts: 1027000 | #Constraints: 25840 1881.84/1888.47 c #Conflicts: 1028000 | #Constraints: 26841 1881.84/1888.47 c #Conflicts: 1029000 | #Constraints: 27841 1881.84/1888.47 c #Conflicts: 1030000 | #Constraints: 28841 1881.84/1888.47 c #Conflicts: 1031000 | #Constraints: 29841 1881.84/1888.47 c #Conflicts: 1032000 | #Constraints: 30841 1881.84/1888.47 c #Conflicts: 1033000 | #Constraints: 31841 1881.84/1888.47 c #Conflicts: 1034000 | #Constraints: 32841 1881.84/1888.47 c #Conflicts: 1035000 | #Constraints: 33841 1881.84/1888.47 c #Conflicts: 1036000 | #Constraints: 34841 1881.84/1888.47 c #Conflicts: 1037000 | #Constraints: 35841 1881.84/1888.47 c #Conflicts: 1038000 | #Constraints: 36841 1881.84/1888.47 c #Conflicts: 1039000 | #Constraints: 37841 1881.84/1888.47 c #Conflicts: 1040000 | #Constraints: 38841 1881.84/1888.47 c #Conflicts: 1041000 | #Constraints: 39841 1881.84/1888.47 c INPROCESSING 1881.84/1888.47 c GARBAGE COLLECT 1881.84/1888.47 c rational objective 0 1948.10/1954.99 c #Conflicts: 1042000 | #Constraints: 20639 1948.10/1954.99 c #Conflicts: 1043000 | #Constraints: 21640 1948.10/1954.99 c #Conflicts: 1044000 | #Constraints: 22640 1948.10/1954.99 c #Conflicts: 1045000 | #Constraints: 23640 1948.10/1954.99 c #Conflicts: 1046000 | #Constraints: 24640 1948.10/1954.99 c #Conflicts: 1047000 | #Constraints: 25640 1948.10/1954.99 c #Conflicts: 1048000 | #Constraints: 26640 1948.10/1954.99 c #Conflicts: 1049000 | #Constraints: 27640 1948.10/1954.99 c #Conflicts: 1050000 | #Constraints: 28640 1948.10/1954.99 c #Conflicts: 1051000 | #Constraints: 29640 1948.10/1954.99 c #Conflicts: 1052000 | #Constraints: 30640 1948.10/1954.99 c #Conflicts: 1053000 | #Constraints: 31640 1948.10/1954.99 c #Conflicts: 1054000 | #Constraints: 32640 1948.10/1954.99 c #Conflicts: 1055000 | #Constraints: 33640 1948.10/1954.99 c #Conflicts: 1056000 | #Constraints: 34640 1948.10/1954.99 c #Conflicts: 1057000 | #Constraints: 35640 1948.10/1954.99 c #Conflicts: 1058000 | #Constraints: 36640 1948.10/1954.99 c #Conflicts: 1059000 | #Constraints: 37640 1948.10/1954.99 c #Conflicts: 1060000 | #Constraints: 38640 1948.10/1954.99 c #Conflicts: 1061000 | #Constraints: 39640 1948.10/1954.99 c #Conflicts: 1062000 | #Constraints: 40640 1948.10/1954.99 c INPROCESSING 1948.10/1954.99 c GARBAGE COLLECT 1948.10/1954.99 c rational objective 0 2007.28/2014.36 c #Conflicts: 1063000 | #Constraints: 21241 2007.28/2014.36 c #Conflicts: 1064000 | #Constraints: 22241 2007.28/2014.36 c #Conflicts: 1065000 | #Constraints: 23242 2007.28/2014.36 c #Conflicts: 1066000 | #Constraints: 24242 2007.28/2014.36 c #Conflicts: 1067000 | #Constraints: 25242 2007.28/2014.36 c #Conflicts: 1068000 | #Constraints: 26242 2007.28/2014.36 c #Conflicts: 1069000 | #Constraints: 27242 2007.28/2014.36 c #Conflicts: 1070000 | #Constraints: 28242 2007.28/2014.36 c #Conflicts: 1071000 | #Constraints: 29243 2007.28/2014.36 c #Conflicts: 1072000 | #Constraints: 30243 2007.28/2014.36 c #Conflicts: 1073000 | #Constraints: 31243 2007.28/2014.36 c #Conflicts: 1074000 | #Constraints: 32243 2007.28/2014.36 c #Conflicts: 1075000 | #Constraints: 33244 2007.28/2014.36 c #Conflicts: 1076000 | #Constraints: 34244 2007.28/2014.36 c #Conflicts: 1077000 | #Constraints: 35244 2007.28/2014.36 c #Conflicts: 1078000 | #Constraints: 36244 2007.28/2014.36 c #Conflicts: 1079000 | #Constraints: 37244 2007.28/2014.36 c #Conflicts: 1080000 | #Constraints: 38244 2007.28/2014.36 c #Conflicts: 1081000 | #Constraints: 39244 2007.28/2014.36 c #Conflicts: 1082000 | #Constraints: 40244 2007.28/2014.36 c #Conflicts: 1083000 | #Constraints: 41244 2007.28/2014.36 c INPROCESSING 2007.28/2014.36 c GARBAGE COLLECT 2007.28/2014.36 c rational objective 0 2069.06/2076.30 c #Conflicts: 1084000 | #Constraints: 21637 2069.06/2076.30 c #Conflicts: 1085000 | #Constraints: 22637 2069.06/2076.30 c #Conflicts: 1086000 | #Constraints: 23637 2069.06/2076.30 c #Conflicts: 1087000 | #Constraints: 24637 2069.06/2076.30 c #Conflicts: 1088000 | #Constraints: 25637 2069.06/2076.30 c #Conflicts: 1089000 | #Constraints: 26637 2069.06/2076.30 c #Conflicts: 1090000 | #Constraints: 27637 2069.06/2076.30 c #Conflicts: 1091000 | #Constraints: 28637 2069.06/2076.30 c #Conflicts: 1092000 | #Constraints: 29637 2069.06/2076.30 c #Conflicts: 1093000 | #Constraints: 30637 2069.06/2076.30 c #Conflicts: 1094000 | #Constraints: 31637 2069.06/2076.30 c #Conflicts: 1095000 | #Constraints: 32637 2069.06/2076.30 c #Conflicts: 1096000 | #Constraints: 33637 2069.06/2076.30 c #Conflicts: 1097000 | #Constraints: 34637 2069.06/2076.30 c #Conflicts: 1098000 | #Constraints: 35637 2069.06/2076.30 c #Conflicts: 1099000 | #Constraints: 36637 2069.06/2076.30 c #Conflicts: 1100000 | #Constraints: 37638 2069.06/2076.30 c #Conflicts: 1101000 | #Constraints: 38638 2069.06/2076.30 c #Conflicts: 1102000 | #Constraints: 39640 2069.06/2076.30 c #Conflicts: 1103000 | #Constraints: 40640 2069.06/2076.30 c #Conflicts: 1104000 | #Constraints: 41640 2069.06/2076.30 c INPROCESSING 2069.06/2076.30 c GARBAGE COLLECT 2069.06/2076.30 c rational objective 0 2143.90/2151.45 c #Conflicts: 1105000 | #Constraints: 21838 2143.90/2151.45 c #Conflicts: 1106000 | #Constraints: 22838 2143.90/2151.45 c #Conflicts: 1107000 | #Constraints: 23838 2143.90/2151.45 c #Conflicts: 1108000 | #Constraints: 24838 2143.90/2151.45 c #Conflicts: 1109000 | #Constraints: 25838 2143.90/2151.45 c #Conflicts: 1110000 | #Constraints: 26839 2143.90/2151.45 c #Conflicts: 1111000 | #Constraints: 27840 2143.90/2151.45 c #Conflicts: 1112000 | #Constraints: 28841 2143.90/2151.45 c #Conflicts: 1113000 | #Constraints: 29843 2143.90/2151.45 c #Conflicts: 1114000 | #Constraints: 30844 2143.90/2151.45 c #Conflicts: 1115000 | #Constraints: 31844 2143.90/2151.45 c #Conflicts: 1116000 | #Constraints: 32845 2143.90/2151.45 c #Conflicts: 1117000 | #Constraints: 33845 2143.90/2151.45 c #Conflicts: 1118000 | #Constraints: 34845 2143.90/2151.45 c #Conflicts: 1119000 | #Constraints: 35845 2143.90/2151.45 c #Conflicts: 1120000 | #Constraints: 36845 2143.90/2151.45 c #Conflicts: 1121000 | #Constraints: 37846 2143.90/2151.45 c #Conflicts: 1122000 | #Constraints: 38846 2143.90/2151.45 c #Conflicts: 1123000 | #Constraints: 39846 2143.90/2151.45 c #Conflicts: 1124000 | #Constraints: 40846 2143.90/2151.45 c #Conflicts: 1125000 | #Constraints: 41846 2143.90/2151.45 c INPROCESSING 2143.90/2151.45 c GARBAGE COLLECT 2143.90/2151.45 c rational objective 0 2200.70/2208.43 c #Conflicts: 1126000 | #Constraints: 21845 2200.70/2208.43 c #Conflicts: 1127000 | #Constraints: 22845 2200.70/2208.43 c #Conflicts: 1128000 | #Constraints: 23845 2200.70/2208.43 c #Conflicts: 1129000 | #Constraints: 24845 2200.70/2208.43 c #Conflicts: 1130000 | #Constraints: 25846 2200.70/2208.43 c #Conflicts: 1131000 | #Constraints: 26846 2200.70/2208.43 c #Conflicts: 1132000 | #Constraints: 27846 2200.70/2208.43 c #Conflicts: 1133000 | #Constraints: 28846 2200.70/2208.43 c #Conflicts: 1134000 | #Constraints: 29846 2200.70/2208.43 c #Conflicts: 1135000 | #Constraints: 30846 2200.70/2208.43 c #Conflicts: 1136000 | #Constraints: 31846 2200.70/2208.43 c #Conflicts: 1137000 | #Constraints: 32846 2200.70/2208.43 c #Conflicts: 1138000 | #Constraints: 33847 2200.70/2208.43 c #Conflicts: 1139000 | #Constraints: 34847 2200.70/2208.43 c #Conflicts: 1140000 | #Constraints: 35848 2200.70/2208.43 c #Conflicts: 1141000 | #Constraints: 36848 2200.70/2208.43 c #Conflicts: 1142000 | #Constraints: 37849 2200.70/2208.43 c #Conflicts: 1143000 | #Constraints: 38849 2200.70/2208.43 c #Conflicts: 1144000 | #Constraints: 39849 2200.70/2208.43 c #Conflicts: 1145000 | #Constraints: 40849 2200.70/2208.43 c #Conflicts: 1146000 | #Constraints: 41849 2200.70/2208.43 c INPROCESSING 2200.70/2208.43 c GARBAGE COLLECT 2200.70/2208.43 c rational objective 0 2278.22/2286.28 c #Conflicts: 1147000 | #Constraints: 21639 2278.22/2286.28 c #Conflicts: 1148000 | #Constraints: 22639 2278.22/2286.28 c #Conflicts: 1149000 | #Constraints: 23639 2278.22/2286.28 c #Conflicts: 1150000 | #Constraints: 24639 2278.22/2286.28 c #Conflicts: 1151000 | #Constraints: 25639 2278.22/2286.28 c #Conflicts: 1152000 | #Constraints: 26639 2278.22/2286.28 c #Conflicts: 1153000 | #Constraints: 27639 2278.22/2286.28 c #Conflicts: 1154000 | #Constraints: 28639 2278.22/2286.28 c #Conflicts: 1155000 | #Constraints: 29640 2278.22/2286.28 c #Conflicts: 1156000 | #Constraints: 30640 2278.22/2286.28 c #Conflicts: 1157000 | #Constraints: 31640 2278.22/2286.28 c #Conflicts: 1158000 | #Constraints: 32640 2278.22/2286.28 c #Conflicts: 1159000 | #Constraints: 33640 2278.22/2286.28 c #Conflicts: 1160000 | #Constraints: 34640 2278.22/2286.28 c #Conflicts: 1161000 | #Constraints: 35640 2278.22/2286.28 c #Conflicts: 1162000 | #Constraints: 36640 2278.22/2286.28 c #Conflicts: 1163000 | #Constraints: 37640 2278.22/2286.28 c #Conflicts: 1164000 | #Constraints: 38640 2278.22/2286.28 c #Conflicts: 1165000 | #Constraints: 39640 2278.22/2286.28 c #Conflicts: 1166000 | #Constraints: 40640 2278.22/2286.28 c #Conflicts: 1167000 | #Constraints: 41640 2278.22/2286.28 c #Conflicts: 1168000 | #Constraints: 42640 2278.22/2286.28 c INPROCESSING 2278.22/2286.28 c GARBAGE COLLECT 2278.22/2286.28 c rational objective 0 2338.00/2346.25 c #Conflicts: 1169000 | #Constraints: 22245 2338.00/2346.25 c #Conflicts: 1170000 | #Constraints: 23245 2338.00/2346.25 c #Conflicts: 1171000 | #Constraints: 24245 2338.00/2346.25 c #Conflicts: 1172000 | #Constraints: 25245 2338.00/2346.25 c #Conflicts: 1173000 | #Constraints: 26245 2338.00/2346.25 c #Conflicts: 1174000 | #Constraints: 27245 2338.00/2346.25 c #Conflicts: 1175000 | #Constraints: 28245 2338.00/2346.25 c #Conflicts: 1176000 | #Constraints: 29245 2338.00/2346.25 c #Conflicts: 1177000 | #Constraints: 30246 2338.00/2346.25 c #Conflicts: 1178000 | #Constraints: 31246 2338.00/2346.25 c #Conflicts: 1179000 | #Constraints: 32246 2338.00/2346.25 c #Conflicts: 1180000 | #Constraints: 33246 2338.00/2346.25 c #Conflicts: 1181000 | #Constraints: 34247 2338.00/2346.25 c #Conflicts: 1182000 | #Constraints: 35247 2338.00/2346.25 c #Conflicts: 1183000 | #Constraints: 36247 2338.00/2346.25 c #Conflicts: 1184000 | #Constraints: 37247 2338.00/2346.25 c #Conflicts: 1185000 | #Constraints: 38248 2338.00/2346.25 c #Conflicts: 1186000 | #Constraints: 39248 2338.00/2346.25 c #Conflicts: 1187000 | #Constraints: 40248 2338.00/2346.25 c #Conflicts: 1188000 | #Constraints: 41248 2338.00/2346.25 c #Conflicts: 1189000 | #Constraints: 42248 2338.00/2346.25 c #Conflicts: 1190000 | #Constraints: 43248 2338.00/2346.25 c INPROCESSING 2338.00/2346.25 c GARBAGE COLLECT 2338.00/2346.25 c rational objective 0 2421.90/2430.44 c #Conflicts: 1191000 | #Constraints: 22636 2421.90/2430.44 c #Conflicts: 1192000 | #Constraints: 23636 2421.90/2430.44 c #Conflicts: 1193000 | #Constraints: 24636 2421.90/2430.44 c #Conflicts: 1194000 | #Constraints: 25636 2421.90/2430.44 c #Conflicts: 1195000 | #Constraints: 26636 2421.90/2430.44 c #Conflicts: 1196000 | #Constraints: 27637 2421.90/2430.44 c #Conflicts: 1197000 | #Constraints: 28639 2421.90/2430.44 c #Conflicts: 1198000 | #Constraints: 29639 2421.90/2430.44 c #Conflicts: 1199000 | #Constraints: 30639 2421.90/2430.44 c #Conflicts: 1200000 | #Constraints: 31639 2421.90/2430.44 c #Conflicts: 1201000 | #Constraints: 32639 2421.90/2430.44 c #Conflicts: 1202000 | #Constraints: 33639 2421.90/2430.44 c #Conflicts: 1203000 | #Constraints: 34639 2421.90/2430.44 c #Conflicts: 1204000 | #Constraints: 35639 2421.90/2430.44 c #Conflicts: 1205000 | #Constraints: 36639 2421.90/2430.44 c #Conflicts: 1206000 | #Constraints: 37639 2421.90/2430.44 c #Conflicts: 1207000 | #Constraints: 38639 2421.90/2430.44 c #Conflicts: 1208000 | #Constraints: 39639 2421.90/2430.44 c #Conflicts: 1209000 | #Constraints: 40639 2421.90/2430.44 c #Conflicts: 1210000 | #Constraints: 41639 2421.90/2430.44 c #Conflicts: 1211000 | #Constraints: 42639 2421.90/2430.44 c #Conflicts: 1212000 | #Constraints: 43639 2421.90/2430.44 c INPROCESSING 2421.90/2430.44 c GARBAGE COLLECT 2421.90/2430.44 c rational objective 0 2490.06/2498.88 c #Conflicts: 1213000 | #Constraints: 22841 2490.06/2498.88 c #Conflicts: 1214000 | #Constraints: 23842 2490.06/2498.88 c #Conflicts: 1215000 | #Constraints: 24842 2490.06/2498.88 c #Conflicts: 1216000 | #Constraints: 25842 2490.06/2498.88 c #Conflicts: 1217000 | #Constraints: 26842 2490.06/2498.88 c #Conflicts: 1218000 | #Constraints: 27842 2490.06/2498.88 c #Conflicts: 1219000 | #Constraints: 28842 2490.06/2498.88 c #Conflicts: 1220000 | #Constraints: 29842 2490.06/2498.88 c #Conflicts: 1221000 | #Constraints: 30842 2490.06/2498.88 c #Conflicts: 1222000 | #Constraints: 31843 2490.06/2498.88 c #Conflicts: 1223000 | #Constraints: 32843 2490.06/2498.88 c #Conflicts: 1224000 | #Constraints: 33843 2490.06/2498.88 c #Conflicts: 1225000 | #Constraints: 34843 2490.06/2498.88 c #Conflicts: 1226000 | #Constraints: 35843 2490.06/2498.88 c #Conflicts: 1227000 | #Constraints: 36843 2490.06/2498.88 c #Conflicts: 1228000 | #Constraints: 37843 2490.06/2498.88 c #Conflicts: 1229000 | #Constraints: 38843 2490.06/2498.88 c #Conflicts: 1230000 | #Constraints: 39843 2490.06/2498.88 c #Conflicts: 1231000 | #Constraints: 40843 2490.06/2498.88 c #Conflicts: 1232000 | #Constraints: 41843 2490.06/2498.88 c #Conflicts: 1233000 | #Constraints: 42843 2490.06/2498.88 c #Conflicts: 1234000 | #Constraints: 43844 2490.06/2498.88 c INPROCESSING 2490.06/2498.88 c GARBAGE COLLECT 2490.06/2498.88 c rational objective 0 2579.44/2588.55 c #Conflicts: 1235000 | #Constraints: 22834 2579.44/2588.55 c #Conflicts: 1236000 | #Constraints: 23834 2579.44/2588.55 c #Conflicts: 1237000 | #Constraints: 24834 2579.44/2588.55 c #Conflicts: 1238000 | #Constraints: 25834 2579.44/2588.55 c #Conflicts: 1239000 | #Constraints: 26834 2579.44/2588.55 c #Conflicts: 1240000 | #Constraints: 27834 2579.44/2588.55 c #Conflicts: 1241000 | #Constraints: 28834 2579.44/2588.55 c #Conflicts: 1242000 | #Constraints: 29834 2579.44/2588.55 c #Conflicts: 1243000 | #Constraints: 30834 2579.44/2588.55 c #Conflicts: 1244000 | #Constraints: 31834 2579.44/2588.55 c #Conflicts: 1245000 | #Constraints: 32835 2579.44/2588.55 c #Conflicts: 1246000 | #Constraints: 33836 2579.44/2588.55 c #Conflicts: 1247000 | #Constraints: 34836 2579.44/2588.55 c #Conflicts: 1248000 | #Constraints: 35837 2579.44/2588.55 c #Conflicts: 1249000 | #Constraints: 36837 2579.44/2588.55 c #Conflicts: 1250000 | #Constraints: 37837 2579.44/2588.55 c #Conflicts: 1251000 | #Constraints: 38837 2579.44/2588.55 c #Conflicts: 1252000 | #Constraints: 39837 2579.44/2588.55 c #Conflicts: 1253000 | #Constraints: 40837 2579.44/2588.55 c #Conflicts: 1254000 | #Constraints: 41837 2579.44/2588.55 c #Conflicts: 1255000 | #Constraints: 42837 2579.44/2588.55 c #Conflicts: 1256000 | #Constraints: 43837 2579.44/2588.55 c INPROCESSING 2579.44/2588.55 c GARBAGE COLLECT 2579.44/2588.55 c rational objective 0 2645.80/2655.13 c #Conflicts: 1257000 | #Constraints: 22636 2645.80/2655.13 c #Conflicts: 1258000 | #Constraints: 23636 2645.80/2655.13 c #Conflicts: 1259000 | #Constraints: 24636 2645.80/2655.13 c #Conflicts: 1260000 | #Constraints: 25636 2645.80/2655.13 c #Conflicts: 1261000 | #Constraints: 26636 2645.80/2655.13 c #Conflicts: 1262000 | #Constraints: 27636 2645.80/2655.13 c #Conflicts: 1263000 | #Constraints: 28636 2645.80/2655.13 c #Conflicts: 1264000 | #Constraints: 29636 2645.80/2655.13 c #Conflicts: 1265000 | #Constraints: 30636 2645.80/2655.13 c #Conflicts: 1266000 | #Constraints: 31636 2645.80/2655.13 c #Conflicts: 1267000 | #Constraints: 32636 2645.80/2655.13 c #Conflicts: 1268000 | #Constraints: 33636 2645.80/2655.13 c #Conflicts: 1269000 | #Constraints: 34636 2645.80/2655.13 c #Conflicts: 1270000 | #Constraints: 35636 2645.80/2655.13 c #Conflicts: 1271000 | #Constraints: 36636 2645.80/2655.13 c #Conflicts: 1272000 | #Constraints: 37636 2645.80/2655.13 c #Conflicts: 1273000 | #Constraints: 38637 2645.80/2655.13 c #Conflicts: 1274000 | #Constraints: 39638 2645.80/2655.13 c #Conflicts: 1275000 | #Constraints: 40638 2645.80/2655.13 c #Conflicts: 1276000 | #Constraints: 41638 2645.80/2655.13 c #Conflicts: 1277000 | #Constraints: 42638 2645.80/2655.13 c #Conflicts: 1278000 | #Constraints: 43638 2645.80/2655.13 c #Conflicts: 1279000 | #Constraints: 44638 2645.80/2655.13 c INPROCESSING 2645.80/2655.13 c GARBAGE COLLECT 2645.80/2655.13 c rational objective 0 2711.47/2721.09 c #Conflicts: 1280000 | #Constraints: 23236 2711.47/2721.09 c #Conflicts: 1281000 | #Constraints: 24237 2711.47/2721.09 c #Conflicts: 1282000 | #Constraints: 25237 2711.47/2721.09 c #Conflicts: 1283000 | #Constraints: 26237 2711.47/2721.09 c #Conflicts: 1284000 | #Constraints: 27237 2711.47/2721.09 c #Conflicts: 1285000 | #Constraints: 28237 2711.47/2721.09 c #Conflicts: 1286000 | #Constraints: 29237 2711.47/2721.09 c #Conflicts: 1287000 | #Constraints: 30237 2711.47/2721.09 c #Conflicts: 1288000 | #Constraints: 31237 2711.47/2721.09 c #Conflicts: 1289000 | #Constraints: 32238 2711.47/2721.09 c #Conflicts: 1290000 | #Constraints: 33238 2711.47/2721.09 c #Conflicts: 1291000 | #Constraints: 34239 2711.47/2721.09 c #Conflicts: 1292000 | #Constraints: 35239 2711.47/2721.09 c #Conflicts: 1293000 | #Constraints: 36239 2711.47/2721.09 c #Conflicts: 1294000 | #Constraints: 37239 2711.47/2721.09 c #Conflicts: 1295000 | #Constraints: 38239 2711.47/2721.09 c #Conflicts: 1296000 | #Constraints: 39239 2711.47/2721.09 c #Conflicts: 1297000 | #Constraints: 40239 2711.47/2721.09 c #Conflicts: 1298000 | #Constraints: 41239 2711.47/2721.09 c #Conflicts: 1299000 | #Constraints: 42239 2711.47/2721.09 c #Conflicts: 1300000 | #Constraints: 43239 2711.47/2721.09 c #Conflicts: 1301000 | #Constraints: 44239 2711.47/2721.09 c #Conflicts: 1302000 | #Constraints: 45240 2711.47/2721.09 c INPROCESSING 2711.47/2721.09 c GARBAGE COLLECT 2711.47/2721.09 c rational objective 0 2805.82/2815.76 c #Conflicts: 1303000 | #Constraints: 23639 2805.82/2815.76 c #Conflicts: 1304000 | #Constraints: 24640 2805.82/2815.76 c #Conflicts: 1305000 | #Constraints: 25640 2805.82/2815.76 c #Conflicts: 1306000 | #Constraints: 26640 2805.82/2815.76 c #Conflicts: 1307000 | #Constraints: 27640 2805.82/2815.76 c #Conflicts: 1308000 | #Constraints: 28640 2805.82/2815.76 c #Conflicts: 1309000 | #Constraints: 29641 2805.82/2815.76 c #Conflicts: 1310000 | #Constraints: 30642 2805.82/2815.76 c #Conflicts: 1311000 | #Constraints: 31642 2805.82/2815.76 c #Conflicts: 1312000 | #Constraints: 32643 2805.82/2815.76 c #Conflicts: 1313000 | #Constraints: 33643 2805.82/2815.76 c #Conflicts: 1314000 | #Constraints: 34643 2805.82/2815.76 c #Conflicts: 1315000 | #Constraints: 35643 2805.82/2815.76 c #Conflicts: 1316000 | #Constraints: 36643 2805.82/2815.76 c #Conflicts: 1317000 | #Constraints: 37643 2805.82/2815.76 c #Conflicts: 1318000 | #Constraints: 38643 2805.82/2815.76 c #Conflicts: 1319000 | #Constraints: 39643 2805.82/2815.76 c #Conflicts: 1320000 | #Constraints: 40643 2805.82/2815.76 c #Conflicts: 1321000 | #Constraints: 41643 2805.82/2815.76 c #Conflicts: 1322000 | #Constraints: 42644 2805.82/2815.76 c #Conflicts: 1323000 | #Constraints: 43644 2805.82/2815.76 c #Conflicts: 1324000 | #Constraints: 44644 2805.82/2815.76 c #Conflicts: 1325000 | #Constraints: 45644 2805.82/2815.76 c INPROCESSING 2805.82/2815.76 c GARBAGE COLLECT 2805.82/2815.76 c rational objective 0 2879.87/2890.08 c #Conflicts: 1326000 | #Constraints: 23840 2879.87/2890.08 c #Conflicts: 1327000 | #Constraints: 24840 2879.87/2890.08 c #Conflicts: 1328000 | #Constraints: 25840 2879.87/2890.08 c #Conflicts: 1329000 | #Constraints: 26840 2879.87/2890.08 c #Conflicts: 1330000 | #Constraints: 27840 2879.87/2890.08 c #Conflicts: 1331000 | #Constraints: 28840 2879.87/2890.08 c #Conflicts: 1332000 | #Constraints: 29840 2879.87/2890.08 c #Conflicts: 1333000 | #Constraints: 30840 2879.87/2890.08 c #Conflicts: 1334000 | #Constraints: 31840 2879.87/2890.08 c #Conflicts: 1335000 | #Constraints: 32840 2879.87/2890.08 c #Conflicts: 1336000 | #Constraints: 33840 2879.87/2890.08 c #Conflicts: 1337000 | #Constraints: 34840 2879.87/2890.08 c #Conflicts: 1338000 | #Constraints: 35840 2879.87/2890.08 c #Conflicts: 1339000 | #Constraints: 36840 2879.87/2890.08 c #Conflicts: 1340000 | #Constraints: 37840 2879.87/2890.08 c #Conflicts: 1341000 | #Constraints: 38841 2879.87/2890.08 c #Conflicts: 1342000 | #Constraints: 39841 2879.87/2890.08 c #Conflicts: 1343000 | #Constraints: 40841 2879.87/2890.08 c #Conflicts: 1344000 | #Constraints: 41842 2879.87/2890.08 c #Conflicts: 1345000 | #Constraints: 42842 2879.87/2890.08 c #Conflicts: 1346000 | #Constraints: 43842 2879.87/2890.08 c #Conflicts: 1347000 | #Constraints: 44842 2879.87/2890.08 c #Conflicts: 1348000 | #Constraints: 45842 2879.87/2890.08 c INPROCESSING 2879.87/2890.08 c GARBAGE COLLECT 2879.87/2890.08 c rational objective 0 2978.90/2989.44 c #Conflicts: 1349000 | #Constraints: 23837 2978.90/2989.44 c #Conflicts: 1350000 | #Constraints: 24837 2978.90/2989.44 c #Conflicts: 1351000 | #Constraints: 25837 2978.90/2989.44 c #Conflicts: 1352000 | #Constraints: 26837 2978.90/2989.44 c #Conflicts: 1353000 | #Constraints: 27837 2978.90/2989.44 c #Conflicts: 1354000 | #Constraints: 28837 2978.90/2989.44 c #Conflicts: 1355000 | #Constraints: 29837 2978.90/2989.44 c #Conflicts: 1356000 | #Constraints: 30837 2978.90/2989.44 c #Conflicts: 1357000 | #Constraints: 31837 2978.90/2989.44 c #Conflicts: 1358000 | #Constraints: 32837 2978.90/2989.44 c #Conflicts: 1359000 | #Constraints: 33838 2978.90/2989.44 c #Conflicts: 1360000 | #Constraints: 34838 2978.90/2989.44 c #Conflicts: 1361000 | #Constraints: 35838 2978.90/2989.44 c #Conflicts: 1362000 | #Constraints: 36838 2978.90/2989.44 c #Conflicts: 1363000 | #Constraints: 37838 2978.90/2989.44 c #Conflicts: 1364000 | #Constraints: 38838 2978.90/2989.44 c #Conflicts: 1365000 | #Constraints: 39839 2978.90/2989.44 c #Conflicts: 1366000 | #Constraints: 40840 2978.90/2989.44 c #Conflicts: 1367000 | #Constraints: 41840 2978.90/2989.44 c #Conflicts: 1368000 | #Constraints: 42840 2978.90/2989.44 c #Conflicts: 1369000 | #Constraints: 43840 2978.90/2989.44 c #Conflicts: 1370000 | #Constraints: 44840 2978.90/2989.44 c #Conflicts: 1371000 | #Constraints: 45840 2978.90/2989.44 c INPROCESSING 2978.90/2989.44 c GARBAGE COLLECT 2978.90/2989.44 c rational objective 0 3053.94/3064.76 c #Conflicts: 1372000 | #Constraints: 23638 3053.94/3064.76 c #Conflicts: 1373000 | #Constraints: 24638 3053.94/3064.76 c #Conflicts: 1374000 | #Constraints: 25638 3053.94/3064.76 c #Conflicts: 1375000 | #Constraints: 26638 3053.94/3064.76 c #Conflicts: 1376000 | #Constraints: 27638 3053.94/3064.76 c #Conflicts: 1377000 | #Constraints: 28638 3053.94/3064.76 c #Conflicts: 1378000 | #Constraints: 29638 3053.94/3064.76 c #Conflicts: 1379000 | #Constraints: 30638 3053.94/3064.76 c #Conflicts: 1380000 | #Constraints: 31639 3053.94/3064.76 c #Conflicts: 1381000 | #Constraints: 32639 3053.94/3064.76 c #Conflicts: 1382000 | #Constraints: 33639 3053.94/3064.76 c #Conflicts: 1383000 | #Constraints: 34639 3053.94/3064.76 c #Conflicts: 1384000 | #Constraints: 35639 3053.94/3064.76 c #Conflicts: 1385000 | #Constraints: 36639 3053.94/3064.76 c #Conflicts: 1386000 | #Constraints: 37639 3053.94/3064.76 c #Conflicts: 1387000 | #Constraints: 38640 3053.94/3064.76 c #Conflicts: 1388000 | #Constraints: 39640 3053.94/3064.76 c #Conflicts: 1389000 | #Constraints: 40641 3053.94/3064.76 c #Conflicts: 1390000 | #Constraints: 41641 3053.94/3064.76 c #Conflicts: 1391000 | #Constraints: 42641 3053.94/3064.76 c #Conflicts: 1392000 | #Constraints: 43641 3053.94/3064.76 c #Conflicts: 1393000 | #Constraints: 44641 3053.94/3064.76 c #Conflicts: 1394000 | #Constraints: 45641 3053.94/3064.76 c #Conflicts: 1395000 | #Constraints: 46641 3053.94/3064.76 c INPROCESSING 3053.94/3064.76 c GARBAGE COLLECT 3053.94/3064.76 c rational objective 0 3156.67/3167.80 c #Conflicts: 1396000 | #Constraints: 24237 3156.67/3167.80 c #Conflicts: 1397000 | #Constraints: 25237 3156.67/3167.80 c #Conflicts: 1398000 | #Constraints: 26237 3156.67/3167.80 c #Conflicts: 1399000 | #Constraints: 27237 3156.67/3167.80 c #Conflicts: 1400000 | #Constraints: 28237 3156.67/3167.80 c #Conflicts: 1401000 | #Constraints: 29237 3156.67/3167.80 c #Conflicts: 1402000 | #Constraints: 30237 3156.67/3167.80 c #Conflicts: 1403000 | #Constraints: 31237 3156.67/3167.80 c #Conflicts: 1404000 | #Constraints: 32237 3156.67/3167.80 c #Conflicts: 1405000 | #Constraints: 33237 3156.67/3167.80 c #Conflicts: 1406000 | #Constraints: 34237 3156.67/3167.80 c #Conflicts: 1407000 | #Constraints: 35237 3156.67/3167.80 c #Conflicts: 1408000 | #Constraints: 36237 3156.67/3167.80 c #Conflicts: 1409000 | #Constraints: 37237 3156.67/3167.80 c #Conflicts: 1410000 | #Constraints: 38237 3156.67/3167.80 c #Conflicts: 1411000 | #Constraints: 39237 3156.67/3167.80 c #Conflicts: 1412000 | #Constraints: 40237 3156.67/3167.80 c #Conflicts: 1413000 | #Constraints: 41237 3156.67/3167.80 c #Conflicts: 1414000 | #Constraints: 42237 3156.67/3167.80 c #Conflicts: 1415000 | #Constraints: 43237 3156.67/3167.80 c #Conflicts: 1416000 | #Constraints: 44237 3156.67/3167.80 c #Conflicts: 1417000 | #Constraints: 45237 3156.67/3167.80 c #Conflicts: 1418000 | #Constraints: 46237 3156.67/3167.80 c #Conflicts: 1419000 | #Constraints: 47237 3156.67/3167.80 c INPROCESSING 3156.67/3167.80 c GARBAGE COLLECT 3156.67/3167.80 c rational objective 0 3234.19/3245.67 c #Conflicts: 1420000 | #Constraints: 24638 3234.19/3245.67 c #Conflicts: 1421000 | #Constraints: 25638 3234.19/3245.67 c #Conflicts: 1422000 | #Constraints: 26638 3234.19/3245.67 c #Conflicts: 1423000 | #Constraints: 27638 3234.19/3245.67 c #Conflicts: 1424000 | #Constraints: 28638 3234.19/3245.67 c #Conflicts: 1425000 | #Constraints: 29638 3234.19/3245.67 c #Conflicts: 1426000 | #Constraints: 30638 3234.19/3245.67 c #Conflicts: 1427000 | #Constraints: 31638 3234.19/3245.67 c #Conflicts: 1428000 | #Constraints: 32638 3234.19/3245.67 c #Conflicts: 1429000 | #Constraints: 33639 3234.19/3245.67 c #Conflicts: 1430000 | #Constraints: 34639 3234.19/3245.67 c #Conflicts: 1431000 | #Constraints: 35639 3234.19/3245.67 c #Conflicts: 1432000 | #Constraints: 36639 3234.19/3245.67 c #Conflicts: 1433000 | #Constraints: 37639 3234.19/3245.67 c #Conflicts: 1434000 | #Constraints: 38639 3234.19/3245.67 c #Conflicts: 1435000 | #Constraints: 39641 3234.19/3245.67 c #Conflicts: 1436000 | #Constraints: 40641 3234.19/3245.67 c #Conflicts: 1437000 | #Constraints: 41641 3234.19/3245.67 c #Conflicts: 1438000 | #Constraints: 42641 3234.19/3245.67 c #Conflicts: 1439000 | #Constraints: 43641 3234.19/3245.67 c #Conflicts: 1440000 | #Constraints: 44641 3234.19/3245.67 c #Conflicts: 1441000 | #Constraints: 45641 3234.19/3245.67 c #Conflicts: 1442000 | #Constraints: 46641 3234.19/3245.67 c #Conflicts: 1443000 | #Constraints: 47641 3234.19/3245.67 c INPROCESSING 3234.19/3245.67 c GARBAGE COLLECT 3234.19/3245.67 c rational objective 0 3340.22/3352.03 c #Conflicts: 1444000 | #Constraints: 24842 3340.22/3352.03 c #Conflicts: 1445000 | #Constraints: 25842 3340.22/3352.03 c #Conflicts: 1446000 | #Constraints: 26842 3340.22/3352.03 c #Conflicts: 1447000 | #Constraints: 27842 3340.22/3352.03 c #Conflicts: 1448000 | #Constraints: 28842 3340.22/3352.03 c #Conflicts: 1449000 | #Constraints: 29843 3340.22/3352.03 c #Conflicts: 1450000 | #Constraints: 30843 3340.22/3352.03 c #Conflicts: 1451000 | #Constraints: 31843 3340.22/3352.03 c #Conflicts: 1452000 | #Constraints: 32843 3340.22/3352.03 c #Conflicts: 1453000 | #Constraints: 33843 3340.22/3352.03 c #Conflicts: 1454000 | #Constraints: 34843 3340.22/3352.03 c #Conflicts: 1455000 | #Constraints: 35844 3340.22/3352.03 c #Conflicts: 1456000 | #Constraints: 36844 3340.22/3352.03 c #Conflicts: 1457000 | #Constraints: 37844 3340.22/3352.03 c #Conflicts: 1458000 | #Constraints: 38844 3340.22/3352.03 c #Conflicts: 1459000 | #Constraints: 39845 3340.22/3352.03 c #Conflicts: 1460000 | #Constraints: 40845 3340.22/3352.03 c #Conflicts: 1461000 | #Constraints: 41845 3340.22/3352.03 c #Conflicts: 1462000 | #Constraints: 42845 3340.22/3352.03 c #Conflicts: 1463000 | #Constraints: 43845 3340.22/3352.03 c #Conflicts: 1464000 | #Constraints: 44845 3340.22/3352.03 c #Conflicts: 1465000 | #Constraints: 45846 3340.22/3352.03 c #Conflicts: 1466000 | #Constraints: 46846 3340.22/3352.03 c #Conflicts: 1467000 | #Constraints: 47846 3340.22/3352.03 c INPROCESSING 3340.22/3352.03 c GARBAGE COLLECT 3340.22/3352.03 c rational objective 0 3418.94/3431.08 c #Conflicts: 1468000 | #Constraints: 24845 3418.94/3431.08 c #Conflicts: 1469000 | #Constraints: 25845 3418.94/3431.08 c #Conflicts: 1470000 | #Constraints: 26846 3418.94/3431.08 c #Conflicts: 1471000 | #Constraints: 27846 3418.94/3431.08 c #Conflicts: 1472000 | #Constraints: 28846 3418.94/3431.08 c #Conflicts: 1473000 | #Constraints: 29847 3418.94/3431.08 c #Conflicts: 1474000 | #Constraints: 30848 3418.94/3431.08 c #Conflicts: 1475000 | #Constraints: 31849 3418.94/3431.08 c #Conflicts: 1476000 | #Constraints: 32849 3418.94/3431.08 c #Conflicts: 1477000 | #Constraints: 33849 3418.94/3431.08 c #Conflicts: 1478000 | #Constraints: 34849 3418.94/3431.08 c #Conflicts: 1479000 | #Constraints: 35849 3418.94/3431.08 c #Conflicts: 1480000 | #Constraints: 36849 3418.94/3431.08 c #Conflicts: 1481000 | #Constraints: 37849 3418.94/3431.08 c #Conflicts: 1482000 | #Constraints: 38849 3418.94/3431.08 c #Conflicts: 1483000 | #Constraints: 39850 3418.94/3431.08 c #Conflicts: 1484000 | #Constraints: 40850 3418.94/3431.08 c #Conflicts: 1485000 | #Constraints: 41850 3418.94/3431.08 c #Conflicts: 1486000 | #Constraints: 42850 3418.94/3431.08 c #Conflicts: 1487000 | #Constraints: 43851 3418.94/3431.08 c #Conflicts: 1488000 | #Constraints: 44851 3418.94/3431.08 c #Conflicts: 1489000 | #Constraints: 45851 3418.94/3431.08 c #Conflicts: 1490000 | #Constraints: 46851 3418.94/3431.08 c #Conflicts: 1491000 | #Constraints: 47851 3418.94/3431.08 c INPROCESSING 3418.94/3431.08 c GARBAGE COLLECT 3418.94/3431.08 c rational objective 0 3498.15/3510.56 c #Conflicts: 1492000 | #Constraints: 24640 3498.15/3510.56 c #Conflicts: 1493000 | #Constraints: 25640 3498.15/3510.56 c #Conflicts: 1494000 | #Constraints: 26640 3498.15/3510.56 c #Conflicts: 1495000 | #Constraints: 27640 3498.15/3510.56 c #Conflicts: 1496000 | #Constraints: 28640 3498.15/3510.56 c #Conflicts: 1497000 | #Constraints: 29640 3498.15/3510.56 c #Conflicts: 1498000 | #Constraints: 30640 3498.15/3510.56 c #Conflicts: 1499000 | #Constraints: 31642 3498.15/3510.56 c #Conflicts: 1500000 | #Constraints: 32642 3498.15/3510.56 c #Conflicts: 1501000 | #Constraints: 33642 3498.15/3510.56 c #Conflicts: 1502000 | #Constraints: 34642 3498.15/3510.56 c #Conflicts: 1503000 | #Constraints: 35642 3498.15/3510.56 c #Conflicts: 1504000 | #Constraints: 36642 3498.15/3510.56 c #Conflicts: 1505000 | #Constraints: 37642 3498.15/3510.56 c #Conflicts: 1506000 | #Constraints: 38642 3498.15/3510.56 c #Conflicts: 1507000 | #Constraints: 39642 3498.15/3510.56 c #Conflicts: 1508000 | #Constraints: 40642 3498.15/3510.56 c #Conflicts: 1509000 | #Constraints: 41643 3498.15/3510.56 c #Conflicts: 1510000 | #Constraints: 42643 3498.15/3510.56 c #Conflicts: 1511000 | #Constraints: 43643 3498.15/3510.56 c #Conflicts: 1512000 | #Constraints: 44643 3498.15/3510.56 c #Conflicts: 1513000 | #Constraints: 45643 3498.15/3510.56 c #Conflicts: 1514000 | #Constraints: 46643 3498.15/3510.56 c #Conflicts: 1515000 | #Constraints: 47643 3498.15/3510.56 c #Conflicts: 1516000 | #Constraints: 48643 3498.15/3510.56 c INPROCESSING 3498.15/3510.56 c GARBAGE COLLECT 3498.15/3510.56 c rational objective 0 3600.09/3612.85 c #Conflicts: 1517000 | #Constraints: 25238 3600.09/3612.85 c #Conflicts: 1518000 | #Constraints: 26238 3600.09/3612.85 c #Conflicts: 1519000 | #Constraints: 27238 3600.09/3612.85 c #Conflicts: 1520000 | #Constraints: 28238 3600.09/3612.85 c #Conflicts: 1521000 | #Constraints: 29238 3600.09/3612.85 c #Conflicts: 1522000 | #Constraints: 30239 3600.09/3612.85 c #Conflicts: 1523000 | #Constraints: 31239 3600.09/3612.85 c #Conflicts: 1524000 | #Constraints: 32240 3600.09/3612.85 c #Conflicts: 1525000 | #Constraints: 33240 3600.09/3612.85 c #Conflicts: 1526000 | #Constraints: 34240 3600.09/3612.85 c #Conflicts: 1527000 | #Constraints: 35240 3600.09/3612.85 c #Conflicts: 1528000 | #Constraints: 36240 3600.09/3612.85 c #Conflicts: 1529000 | #Constraints: 37240 3600.09/3612.85 c #Conflicts: 1530000 | #Constraints: 38240 3600.09/3612.85 c #Conflicts: 1531000 | #Constraints: 39240 3600.09/3612.85 c #Conflicts: 1532000 | #Constraints: 40240 3600.09/3612.85 c #Conflicts: 1533000 | #Constraints: 41240 3600.09/3612.85 c #Conflicts: 1534000 | #Constraints: 42241 3600.09/3612.85 c #Conflicts: 1535000 | #Constraints: 43241 3600.09/3612.85 c #Conflicts: 1536000 | #Constraints: 44241 3600.09/3612.85 c #Conflicts: 1537000 | #Constraints: 45241 3600.09/3612.85 c #Conflicts: 1538000 | #Constraints: 46241 3600.09/3612.85 c #Conflicts: 1539000 | #Constraints: 47241 3600.09/3612.85 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62706 MiB free)
memory of node 1: 64473 MiB (64050 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462606-1722340767/watcher-4462606-1722340767 -o /tmp/evaluation-result-4462606-1722340767/solver-4462606-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722340763-6569 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462606-1722340767 --lp-cut-gomory=0 HOME/instance-4462606-1722340767.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6677, runsolver pid=6674
[startup+0.100147 s]*
/proc/loadavg: 0.43 0.17 0.11 5/258 6678
/proc/meminfo: memFree=129784960/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=38168 memory=8808 CPUtime=0.09 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 555 0 0 0 9 0 0 0 20 0 1 0 677853 39084032 2202 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 9542 2202 1877 992 0 1400 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38168 KiB
Current children cumulated memory: 8808 KiB
[startup+0.205589 s]*
/proc/loadavg: 0.43 0.17 0.11 5/258 6678
/proc/meminfo: memFree=129770832/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=38448 memory=9356 CPUtime=0.2 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 689 0 0 0 19 1 0 0 20 0 1 0 677853 39370752 2339 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 9612 2339 1877 992 0 1470 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38448 KiB
Current children cumulated memory: 9356 KiB
[startup+0.304664 s]*
/proc/loadavg: 0.43 0.17 0.11 5/258 6678
/proc/meminfo: memFree=129757792/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=38696 memory=9764 CPUtime=0.3 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 804 0 0 0 28 2 0 0 20 0 1 0 677853 39624704 2441 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 9674 2441 1877 992 0 1532 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38696 KiB
Current children cumulated memory: 9764 KiB
[startup+0.700196 s]
/proc/loadavg: 0.43 0.17 0.11 5/258 6678
/proc/meminfo: memFree=129741432/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=38940 memory=12412 CPUtime=0.68 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 964 0 0 0 65 3 0 0 20 0 1 0 677853 39874560 3103 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 9735 3103 1877 992 0 1593 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38940 KiB
Current children cumulated memory: 12412 KiB
[startup+1.50018 s]
/proc/loadavg: 0.43 0.17 0.11 5/258 6678
/proc/meminfo: memFree=129668992/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=39624 memory=13232 CPUtime=1.48 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 1112 0 0 0 141 7 0 0 20 0 1 0 677853 40574976 3308 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 9906 3308 1877 992 0 1764 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39624 KiB
Current children cumulated memory: 13232 KiB
[startup+3.10553 s]
/proc/loadavg: 0.72 0.23 0.13 5/258 6678
/proc/meminfo: memFree=129394924/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=40280 memory=13860 CPUtime=3.09 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 1268 0 0 0 295 14 0 0 20 0 1 0 677853 41246720 3465 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 10070 3465 1877 992 0 1928 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40280 KiB
Current children cumulated memory: 13860 KiB
[startup+6.30018 s]
/proc/loadavg: 0.72 0.23 0.13 5/258 6680
/proc/meminfo: memFree=129061136/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=40696 memory=14204 CPUtime=6.27 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 1382 0 0 0 602 25 0 0 20 0 1 0 677853 41672704 3551 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 10174 3551 1877 992 0 2032 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40696 KiB
Current children cumulated memory: 14204 KiB
[startup+12.7002 s]
/proc/loadavg: 0.98 0.30 0.15 5/259 6681
/proc/meminfo: memFree=128467216/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=41240 memory=14752 CPUtime=12.66 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 1518 0 0 0 1219 47 0 0 20 0 1 0 677853 42229760 3688 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 10310 3688 1877 992 0 2168 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 14752 KiB
[startup+25.5002 s]
/proc/loadavg: 1.73 0.49 0.22 5/259 6682
/proc/meminfo: memFree=127159272/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=42616 memory=17000 CPUtime=25.42 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 2078 0 0 0 2465 77 0 0 20 0 1 0 677853 43638784 4250 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 10654 4250 1877 992 0 2512 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42616 KiB
Current children cumulated memory: 17000 KiB
[startup+51.1056 s]
/proc/loadavg: 2.65 0.81 0.33 5/259 6687
/proc/meminfo: memFree=125492628/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=46200 memory=19040 CPUtime=50.95 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 2755 0 0 0 4968 127 0 0 20 0 1 0 677853 47308800 4760 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 11550 4760 1877 992 0 3408 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 46200 KiB
Current children cumulated memory: 19040 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.35 0.54 5/260 6710
/proc/meminfo: memFree=121887052/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=48700 memory=22356 CPUtime=102.01 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 3709 0 0 0 9994 207 0 0 20 0 1 0 677853 49868800 5589 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 12175 5589 1877 992 0 4033 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 48700 KiB
Current children cumulated memory: 22356 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 1.85 0.77 5/260 6721
/proc/meminfo: memFree=118697152/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=54348 memory=24280 CPUtime=161.84 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 4319 0 0 0 15902 282 0 0 20 0 1 0 677853 55652352 6070 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 13587 6070 1877 992 0 5445 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 54348 KiB
Current children cumulated memory: 24280 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.26 0.98 5/260 6732
/proc/meminfo: memFree=114392508/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=55124 memory=27340 CPUtime=221.66 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 4698 0 0 0 21812 354 0 0 20 0 1 0 677853 56446976 6835 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 13781 6835 1877 992 0 5639 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 55124 KiB
Current children cumulated memory: 27340 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 2.62 1.19 5/259 6743
/proc/meminfo: memFree=111321212/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=55300 memory=27808 CPUtime=281.45 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 5146 0 0 0 27728 417 0 0 20 0 1 0 677853 56627200 6952 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 13825 6952 1877 992 0 5683 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 55300 KiB
Current children cumulated memory: 27808 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 2.92 1.38 5/259 6754
/proc/meminfo: memFree=108857240/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=55300 memory=28632 CPUtime=341.24 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 5681 0 0 0 33650 474 0 0 20 0 1 0 677853 56627200 7158 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 13825 7158 1877 992 0 5683 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 55300 KiB
Current children cumulated memory: 28632 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.12 1.55 5/258 6766
/proc/meminfo: memFree=106021248/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=56708 memory=30000 CPUtime=401.03 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 6218 0 0 0 39581 522 0 0 20 0 1 0 677853 58068992 7500 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 14177 7500 1877 992 0 6035 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 56708 KiB
Current children cumulated memory: 30000 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 3.34 1.72 5/258 6777
/proc/meminfo: memFree=102897264/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=58788 memory=31580 CPUtime=460.81 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 6641 0 0 0 45507 574 0 0 20 0 1 0 677853 60198912 7895 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 14697 7895 1877 992 0 6555 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.19 4.17 4.06 5/261 7893
/proc/meminfo: memFree=1208292/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=84196 memory=48972 CPUtime=3091.4 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 12407 0 0 0 306873 2267 0 0 20 0 1 0 677853 86216704 12243 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21049 12243 1877 992 0 12907 0
Current children cumulated CPU time: 3091.4 s
Current children cumulated vsize: 84196 KiB
Current children cumulated memory: 48972 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.06 5/261 7903
/proc/meminfo: memFree=659480/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=84196 memory=48972 CPUtime=3151.19 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 12408 0 0 0 312824 2295 0 0 20 0 1 0 677853 86216704 12243 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21049 12243 1877 992 0 12907 0
Current children cumulated CPU time: 3151.19 s
Current children cumulated vsize: 84196 KiB
Current children cumulated memory: 48972 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.16 4.07 5/260 7914
/proc/meminfo: memFree=542092/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=84196 memory=48988 CPUtime=3210.97 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 12549 0 0 0 318768 2329 0 0 20 0 1 0 677853 86216704 12247 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21049 12247 1877 992 0 12907 0
Current children cumulated CPU time: 3210.97 s
Current children cumulated vsize: 84196 KiB
Current children cumulated memory: 48988 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.19 4.09 5/259 7924
/proc/meminfo: memFree=604564/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=84196 memory=48988 CPUtime=3270.76 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 12689 0 0 0 324718 2358 0 0 20 0 1 0 677853 86216704 12247 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21049 12247 1877 992 0 12907 0
Current children cumulated CPU time: 3270.76 s
Current children cumulated vsize: 84196 KiB
Current children cumulated memory: 48988 KiB
[startup+3342.3 s]
/proc/loadavg: 4.27 4.20 4.10 5/259 7935
/proc/meminfo: memFree=493860/131524600 swapFree=131071996/131071996
[pid=6677] ppid=6674 vsize=84524 memory=48988 CPUtime=3330.55 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 12732 0 0 0 330671 2384 0 0 20 0 1 0 677853 86552576 12247 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21131 12247 1877 992 0 12989 0
Current children cumulated CPU time: 3330.55 s
Current children cumulated vsize: 84524 KiB
Current children cumulated memory: 48988 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.18 4.09 5/263 8336
/proc/meminfo: memFree=654540/131524600 swapFree=131071472/131071996
[pid=6677] ppid=6674 vsize=85804 memory=49996 CPUtime=3390.33 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 13082 0 0 0 336614 2419 0 0 20 0 1 0 677853 87863296 12499 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21451 12499 1877 992 0 13309 0
Current children cumulated CPU time: 3390.33 s
Current children cumulated vsize: 85804 KiB
Current children cumulated memory: 49996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.19 4.10 5/263 8347
/proc/meminfo: memFree=519016/131524600 swapFree=131071472/131071996
[pid=6677] ppid=6674 vsize=85804 memory=50008 CPUtime=3450.11 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 13257 0 0 0 342556 2455 0 0 20 0 1 0 677853 87863296 12502 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21451 12502 1877 992 0 13309 0
Current children cumulated CPU time: 3450.11 s
Current children cumulated vsize: 85804 KiB
Current children cumulated memory: 50008 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.20 4.10 5/263 8358
/proc/meminfo: memFree=594516/131524600 swapFree=131071472/131071996
[pid=6677] ppid=6674 vsize=86572 memory=50420 CPUtime=3509.9 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 13459 0 0 0 348505 2485 0 0 20 0 1 0 677853 88649728 12605 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21643 12605 1877 992 0 13501 0
Current children cumulated CPU time: 3509.9 s
Current children cumulated vsize: 86572 KiB
Current children cumulated memory: 50420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.10 7/265 8538
/proc/meminfo: memFree=680544/131524600 swapFree=131071472/131071996
[pid=6677] ppid=6674 vsize=86572 memory=50420 CPUtime=3569.7 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 13459 0 0 0 354456 2514 0 0 20 0 1 0 677853 88649728 12605 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21643 12605 1877 992 0 13501 0
Current children cumulated CPU time: 3569.7 s
Current children cumulated vsize: 86572 KiB
Current children cumulated memory: 50420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.30 4.22 4.12 2/257 8570
/proc/meminfo: memFree=4135468/131524600 swapFree=131071472/131071996
[pid=6677] ppid=6674 vsize=86828 memory=50420 CPUtime=3600.09 cores=5,7
/proc/6677/stat : 6677 (roundingsat) R 6674 6677 6556 0 -1 4194304 13461 0 0 0 357483 2526 0 0 20 0 1 0 677853 88911872 12605 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21707 12605 1877 992 0 13565 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 86828 KiB
Current children cumulated memory: 50420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.28 4.21 4.11 1/257 8570
/proc/meminfo: memFree=4131656/131524600 swapFree=131071472/131071996
[pid=6677] ppid=6674 vsize=86828 memory=50420 CPUtime=3600.09 cores=5,7
/proc/6677/stat : 6677 (roundingsat) D 6674 6677 6556 0 -1 4194304 13468 0 1 0 357483 2526 0 0 20 0 1 0 677853 88911872 12605 134679101440 4194304 8255733 140725338972016 0 0 256 0 0 25182210 0 0 0 17 5 0 0 342 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21707 12605 1877 992 0 13565 0
??? kill 6677 sig 9
??? end of watcher thread
[startup+3655.17 s]
# the end of solver process 6677 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3574.83 s, system=25.2697 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.30 4.22 4.12 1/257 8570
/proc/meminfo: memFree=4132140/131524600 swapFree=131071472/131071996
[pid=6677] ppid=6674 vsize=86828 memory=50420 CPUtime=3600.09 cores=5,7
/proc/6677/stat : 6677 (roundingsat) D 6674 6677 6556 0 -1 4194304 13468 0 1 0 357483 2526 0 0 20 0 1 0 677853 88911872 12605 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 5 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21707 12605 1877 992 0 13565 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 86828 KiB
Current children cumulated memory: 50420 KiB
[startup+3614.4 s]
/proc/loadavg: 4.28 4.21 4.11 1/257 8570
/proc/meminfo: memFree=4132268/131524600 swapFree=131071472/131071996
[pid=6677] ppid=6674 vsize=86828 memory=50420 CPUtime=3600.09 cores=5,7
/proc/6677/stat : 6677 (roundingsat) D 6674 6677 6556 0 -1 4194304 13468 0 1 0 357483 2526 0 0 20 0 1 0 677853 88911872 12605 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 5 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21707 12605 1877 992 0 13565 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 86828 KiB
Current children cumulated memory: 50420 KiB
[startup+3614.8 s]
/proc/loadavg: 4.28 4.21 4.11 1/257 8570
/proc/meminfo: memFree=4132268/131524600 swapFree=131071472/131071996
[pid=6677] ppid=6674 vsize=86828 memory=50420 CPUtime=3600.09 cores=5,7
/proc/6677/stat : 6677 (roundingsat) D 6674 6677 6556 0 -1 4194304 13468 0 1 0 357483 2526 0 0 20 0 1 0 677853 88911872 12605 134679101440 4194304 8255733 140725338972016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 342 0 0 9037040 9046032 41115648 140725338981214 140725338981476 140725338981476 140725338988489 0
/proc/6677/statm: 21707 12605 1877 992 0 13565 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 86828 KiB
Current children cumulated memory: 50420 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3655.17
CPU time (s): 3600.1
CPU user time (s): 3574.83
CPU system time (s): 25.2697
CPU usage (%): 98.4935
Max. virtual memory (cumulated for all children) (KiB): 86828
Max. memory (cumulated for all children) (KiB): 50420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.83
system time used= 25.2697
maximum resident set size= 50884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13468
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 17432272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 817
involuntary context switches= 4902
# summary of solver processes directly reported to runsolver:
# pid: 6677
# total CPU time (s): 3600.1
# total CPU user time (s): 3574.83
# total CPU system time (s): 25.2697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07983 second user time and 16.7831 second system time
The end
Begin job on nodeC029 at 2024-07-30 13:59:28 IDJOB=4462606 IDBENCH=147594 IDSOLVER=3089 FILE ID=nodeC029/4462606-1722340767 RUNJOBID= nodeC029-1722340763-6569 SLURM_JOB_ID= 8249002 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.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-4462606-1722340767/watcher-4462606-1722340767 -o /tmp/evaluation-result-4462606-1722340767/solver-4462606-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722340763-6569 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462606-1722340767 --lp-cut-gomory=0 HOME/instance-4462606-1722340767.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce RANDOM SEED=52205761 nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.583 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3683.810 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.122 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3641.491 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.594 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.672 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.047 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3654.682 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129801828 kB MemAvailable: 129606672 kB Buffers: 39088 kB Cached: 603136 kB SwapCached: 0 kB Active: 133928 kB Inactive: 1120644 kB Active(anon): 1560 kB Inactive(anon): 631524 kB Active(file): 132368 kB Inactive(file): 489120 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 272980 kB Writeback: 0 kB AnonPages: 610888 kB Mapped: 97648 kB Shmem: 21336 kB KReclaimable: 46356 kB Slab: 129600 kB SReclaimable: 46356 kB SUnreclaim: 83244 kB KernelStack: 4140 kB PageTables: 10128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 894152 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 7616 kB HardwareCorrupted: 0 kB AnonHugePages: 276480 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: 185044 kB DirectMap2M: 6928384 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 890056 MiB End job on nodeC029 at 2024-07-30 15:00:23