| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.1 | 3627.77 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | b4b357048b7fd6a2befaa81502734110 |
| 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 | 15 |
| Best CPU time to get the best result obtained on this benchmark | 3600.03 |
| 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 | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| 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 198 #constraints 16 0.00/0.00 c bounds - >= 0 @ 0.00116 0.00/0.00 c rational objective 0 0.29/0.37 c bounds 178 >= 0 @ 0.016705 0.29/0.37 c bounds 168 >= 0 @ 0.025982 0.29/0.37 c bounds 158 >= 0 @ 0.041159 0.29/0.37 c bounds 154 >= 0 @ 0.045416 0.29/0.37 c bounds 150 >= 0 @ 0.045433 0.29/0.37 c bounds 149 >= 0 @ 0.06639 0.29/0.37 c #Conflicts: 1000 | #Constraints: 1043 0.29/0.37 c #Conflicts: 2000 | #Constraints: 2054 0.29/0.37 c INPROCESSING 0.29/0.37 c GARBAGE COLLECT 0.29/0.37 c rational objective 0 0.99/1.02 c bounds 145 >= 0 @ 0.354377 0.99/1.02 c bounds 141 >= 0 @ 0.356156 0.99/1.02 c bounds 137 >= 0 @ 0.358817 0.99/1.02 c bounds 133 >= 0 @ 0.362312 0.99/1.02 c bounds 129 >= 0 @ 0.365594 0.99/1.02 c bounds 128 >= 0 @ 0.371568 0.99/1.02 c bounds 126 >= 0 @ 0.373164 0.99/1.02 c bounds 118 >= 0 @ 0.374172 0.99/1.02 c bounds 117 >= 0 @ 0.396163 0.99/1.02 c bounds 115 >= 0 @ 0.398235 0.99/1.02 c bounds 113 >= 0 @ 0.399189 0.99/1.02 c bounds 111 >= 0 @ 0.430672 0.99/1.02 c bounds 103 >= 0 @ 0.431715 0.99/1.02 c bounds 101 >= 0 @ 0.435033 0.99/1.02 c #Conflicts: 3000 | #Constraints: 2066 0.99/1.02 c bounds 97 >= 0 @ 0.653421 0.99/1.02 c #Conflicts: 4000 | #Constraints: 3074 0.99/1.02 c INPROCESSING 0.99/1.02 c GARBAGE COLLECT 0.99/1.02 c rational objective 0 1.78/1.85 c bounds 96 >= 0 @ 0.993492 1.78/1.85 c bounds 92 >= 0 @ 0.994899 1.78/1.85 c bounds 88 >= 0 @ 0.999506 1.78/1.85 c bounds 86 >= 0 @ 1.13898 1.78/1.85 c #Conflicts: 5000 | #Constraints: 2455 1.78/1.85 c #Conflicts: 6000 | #Constraints: 3464 1.78/1.85 c INPROCESSING 1.78/1.85 c GARBAGE COLLECT 1.78/1.85 c rational objective 0 2.77/2.83 c bounds 82 >= 0 @ 1.76138 2.77/2.83 c bounds 78 >= 0 @ 1.7622 2.77/2.83 c #Conflicts: 7000 | #Constraints: 2462 2.77/2.83 c #Conflicts: 8000 | #Constraints: 3472 2.77/2.83 c bounds 75 >= 0 @ 2.45756 2.77/2.83 c #Conflicts: 9000 | #Constraints: 4482 2.77/2.83 c INPROCESSING 2.77/2.83 c GARBAGE COLLECT 2.77/2.83 c rational objective 0 3.76/3.88 c #Conflicts: 10000 | #Constraints: 3164 3.76/3.88 c #Conflicts: 11000 | #Constraints: 4176 3.76/3.88 c #Conflicts: 12000 | #Constraints: 5185 3.76/3.88 c INPROCESSING 3.76/3.88 c GARBAGE COLLECT 3.76/3.88 c rational objective 0 5.06/5.12 c bounds 73 >= 0 @ 3.84388 5.06/5.12 c bounds 72 >= 0 @ 4.06911 5.06/5.12 c #Conflicts: 13000 | #Constraints: 3624 5.06/5.12 c bounds 71 >= 0 @ 4.30698 5.06/5.12 c bounds 67 >= 0 @ 4.30819 5.06/5.12 c #Conflicts: 14000 | #Constraints: 4635 5.06/5.12 c bounds 66 >= 0 @ 4.54835 5.06/5.12 c #Conflicts: 15000 | #Constraints: 5648 5.06/5.12 c INPROCESSING 5.06/5.12 c GARBAGE COLLECT 5.06/5.12 c rational objective 0 6.46/6.55 c bounds 64 >= 0 @ 4.92516 6.46/6.55 c bounds 57 >= 0 @ 5.26785 6.46/6.55 c #Conflicts: 16000 | #Constraints: 3845 6.46/6.55 c #Conflicts: 17000 | #Constraints: 4853 6.46/6.55 c #Conflicts: 18000 | #Constraints: 5858 6.46/6.55 c INPROCESSING 6.46/6.55 c GARBAGE COLLECT 6.46/6.55 c rational objective 0 8.06/8.16 c bounds 55 >= 0 @ 6.32124 8.06/8.16 c bounds 51 >= 0 @ 6.32325 8.06/8.16 c bounds 47 >= 0 @ 6.32338 8.06/8.16 c bounds 45 >= 0 @ 6.32567 8.06/8.16 c #Conflicts: 19000 | #Constraints: 3839 8.06/8.16 c #Conflicts: 20000 | #Constraints: 4851 8.06/8.16 c #Conflicts: 21000 | #Constraints: 5861 8.06/8.16 c INPROCESSING 8.06/8.16 c GARBAGE COLLECT 8.06/8.16 c rational objective 0 9.75/9.82 c #Conflicts: 22000 | #Constraints: 3656 9.75/9.82 c #Conflicts: 23000 | #Constraints: 4668 9.75/9.82 c #Conflicts: 24000 | #Constraints: 5681 9.75/9.82 c #Conflicts: 25000 | #Constraints: 6689 9.75/9.82 c INPROCESSING 9.75/9.82 c GARBAGE COLLECT 9.75/9.82 c rational objective 0 11.95/12.09 c #Conflicts: 26000 | #Constraints: 4267 11.95/12.09 c #Conflicts: 27000 | #Constraints: 5271 11.95/12.09 c #Conflicts: 28000 | #Constraints: 6274 11.95/12.09 c #Conflicts: 29000 | #Constraints: 7283 11.95/12.09 c INPROCESSING 11.95/12.09 c GARBAGE COLLECT 11.95/12.09 c rational objective 0 13.94/14.10 c #Conflicts: 30000 | #Constraints: 4668 13.94/14.10 c #Conflicts: 31000 | #Constraints: 5678 13.94/14.10 c #Conflicts: 32000 | #Constraints: 6680 13.94/14.10 c #Conflicts: 33000 | #Constraints: 7689 13.94/14.10 c INPROCESSING 13.94/14.10 c GARBAGE COLLECT 13.94/14.10 c rational objective 0 16.34/16.47 c #Conflicts: 34000 | #Constraints: 4864 16.34/16.47 c #Conflicts: 35000 | #Constraints: 5867 16.34/16.47 c #Conflicts: 36000 | #Constraints: 6872 16.34/16.47 c #Conflicts: 37000 | #Constraints: 7877 16.34/16.47 c INPROCESSING 16.34/16.47 c GARBAGE COLLECT 16.34/16.47 c rational objective 0 19.43/19.59 c #Conflicts: 38000 | #Constraints: 4860 19.43/19.59 c #Conflicts: 39000 | #Constraints: 5866 19.43/19.59 c #Conflicts: 40000 | #Constraints: 6872 19.43/19.59 c #Conflicts: 41000 | #Constraints: 7876 19.43/19.59 c INPROCESSING 19.43/19.59 c GARBAGE COLLECT 19.43/19.59 c rational objective 0 22.42/22.58 c #Conflicts: 42000 | #Constraints: 4666 22.42/22.58 c #Conflicts: 43000 | #Constraints: 5671 22.42/22.58 c #Conflicts: 44000 | #Constraints: 6675 22.42/22.58 c #Conflicts: 45000 | #Constraints: 7677 22.42/22.58 c #Conflicts: 46000 | #Constraints: 8682 22.42/22.58 c INPROCESSING 22.42/22.58 c GARBAGE COLLECT 22.42/22.58 c rational objective 0 26.31/26.45 c #Conflicts: 47000 | #Constraints: 5263 26.31/26.45 c #Conflicts: 48000 | #Constraints: 6266 26.31/26.45 c #Conflicts: 49000 | #Constraints: 7272 26.31/26.45 c #Conflicts: 50000 | #Constraints: 8280 26.31/26.45 c #Conflicts: 51000 | #Constraints: 9289 26.31/26.45 c INPROCESSING 26.31/26.45 c GARBAGE COLLECT 26.31/26.45 c rational objective 0 29.40/29.59 c #Conflicts: 52000 | #Constraints: 5675 29.40/29.59 c #Conflicts: 53000 | #Constraints: 6684 29.40/29.59 c #Conflicts: 54000 | #Constraints: 7691 29.40/29.59 c #Conflicts: 55000 | #Constraints: 8695 29.40/29.59 c #Conflicts: 56000 | #Constraints: 9699 29.40/29.59 c INPROCESSING 29.40/29.59 c GARBAGE COLLECT 29.40/29.59 c rational objective 0 33.19/33.36 c bounds 42 >= 0 @ 29.2994 33.19/33.36 c #Conflicts: 57000 | #Constraints: 5872 33.19/33.36 c #Conflicts: 58000 | #Constraints: 6877 33.19/33.36 c #Conflicts: 59000 | #Constraints: 7877 33.19/33.36 c #Conflicts: 60000 | #Constraints: 8882 33.19/33.36 c #Conflicts: 61000 | #Constraints: 9885 33.19/33.36 c INPROCESSING 33.19/33.36 c GARBAGE COLLECT 33.19/33.36 c rational objective 0 37.67/37.86 c bounds 40 >= 0 @ 32.4421 37.67/37.86 c #Conflicts: 62000 | #Constraints: 5863 37.67/37.86 c #Conflicts: 63000 | #Constraints: 6866 37.67/37.86 c bounds 38 >= 0 @ 34.6384 37.67/37.86 c #Conflicts: 64000 | #Constraints: 7872 37.67/37.86 c #Conflicts: 65000 | #Constraints: 8877 37.67/37.86 c #Conflicts: 66000 | #Constraints: 9878 37.67/37.86 c INPROCESSING 37.67/37.86 c GARBAGE COLLECT 37.67/37.86 c rational objective 0 41.77/41.92 c #Conflicts: 67000 | #Constraints: 5666 41.77/41.92 c #Conflicts: 68000 | #Constraints: 6673 41.77/41.92 c #Conflicts: 69000 | #Constraints: 7676 41.77/41.92 c #Conflicts: 70000 | #Constraints: 8680 41.77/41.92 c #Conflicts: 71000 | #Constraints: 9684 41.77/41.92 c #Conflicts: 72000 | #Constraints: 10687 41.77/41.92 c INPROCESSING 41.77/41.92 c GARBAGE COLLECT 41.77/41.92 c rational objective 0 47.05/47.21 c #Conflicts: 73000 | #Constraints: 6263 47.05/47.21 c #Conflicts: 74000 | #Constraints: 7264 47.05/47.21 c #Conflicts: 75000 | #Constraints: 8269 47.05/47.21 c #Conflicts: 76000 | #Constraints: 9275 47.05/47.21 c #Conflicts: 77000 | #Constraints: 10277 47.05/47.21 c #Conflicts: 78000 | #Constraints: 11278 47.05/47.21 c INPROCESSING 47.05/47.21 c GARBAGE COLLECT 47.05/47.21 c rational objective 0 51.43/51.69 c #Conflicts: 79000 | #Constraints: 6672 51.43/51.69 c #Conflicts: 80000 | #Constraints: 7676 51.43/51.69 c #Conflicts: 81000 | #Constraints: 8678 51.43/51.69 c #Conflicts: 82000 | #Constraints: 9679 51.43/51.69 c #Conflicts: 83000 | #Constraints: 10683 51.43/51.69 c #Conflicts: 84000 | #Constraints: 11687 51.43/51.69 c INPROCESSING 51.43/51.69 c GARBAGE COLLECT 51.43/51.69 c rational objective 0 58.21/58.49 c #Conflicts: 85000 | #Constraints: 6868 58.21/58.49 c #Conflicts: 86000 | #Constraints: 7870 58.21/58.49 c #Conflicts: 87000 | #Constraints: 8873 58.21/58.49 c #Conflicts: 88000 | #Constraints: 9874 58.21/58.49 c #Conflicts: 89000 | #Constraints: 10875 58.21/58.49 c #Conflicts: 90000 | #Constraints: 11879 58.21/58.49 c INPROCESSING 58.21/58.49 c GARBAGE COLLECT 58.21/58.49 c rational objective 0 64.59/64.85 c #Conflicts: 91000 | #Constraints: 6865 64.59/64.85 c #Conflicts: 92000 | #Constraints: 7871 64.59/64.85 c #Conflicts: 93000 | #Constraints: 8878 64.59/64.85 c #Conflicts: 94000 | #Constraints: 9882 64.59/64.85 c #Conflicts: 95000 | #Constraints: 10882 64.59/64.85 c #Conflicts: 96000 | #Constraints: 11884 64.59/64.85 c INPROCESSING 64.59/64.85 c GARBAGE COLLECT 64.59/64.85 c rational objective 0 72.54/72.82 c #Conflicts: 97000 | #Constraints: 6661 72.54/72.82 c #Conflicts: 98000 | #Constraints: 7666 72.54/72.82 c #Conflicts: 99000 | #Constraints: 8668 72.54/72.82 c #Conflicts: 100000 | #Constraints: 9672 72.54/72.82 c #Conflicts: 101000 | #Constraints: 10674 72.54/72.82 c #Conflicts: 102000 | #Constraints: 11676 72.54/72.82 c #Conflicts: 103000 | #Constraints: 12676 72.54/72.82 c INPROCESSING 72.54/72.82 c GARBAGE COLLECT 72.54/72.82 c rational objective 0 78.23/78.59 c #Conflicts: 104000 | #Constraints: 7266 78.23/78.59 c #Conflicts: 105000 | #Constraints: 8270 78.23/78.59 c #Conflicts: 106000 | #Constraints: 9275 78.23/78.59 c #Conflicts: 107000 | #Constraints: 10278 78.23/78.59 c #Conflicts: 108000 | #Constraints: 11279 78.23/78.59 c #Conflicts: 109000 | #Constraints: 12280 78.23/78.59 c #Conflicts: 110000 | #Constraints: 13281 78.23/78.59 c INPROCESSING 78.23/78.59 c GARBAGE COLLECT 78.23/78.59 c rational objective 0 84.01/84.37 c #Conflicts: 111000 | #Constraints: 7659 84.01/84.37 c #Conflicts: 112000 | #Constraints: 8662 84.01/84.37 c #Conflicts: 113000 | #Constraints: 9667 84.01/84.37 c #Conflicts: 114000 | #Constraints: 10671 84.01/84.37 c #Conflicts: 115000 | #Constraints: 11674 84.01/84.37 c #Conflicts: 116000 | #Constraints: 12676 84.01/84.37 c #Conflicts: 117000 | #Constraints: 13677 84.01/84.37 c INPROCESSING 84.01/84.37 c GARBAGE COLLECT 84.01/84.37 c rational objective 0 91.39/91.74 c #Conflicts: 118000 | #Constraints: 7856 91.39/91.74 c #Conflicts: 119000 | #Constraints: 8856 91.39/91.74 c bounds 36 >= 0 @ 84.7623 91.39/91.74 c #Conflicts: 120000 | #Constraints: 9863 91.39/91.74 c #Conflicts: 121000 | #Constraints: 10866 91.39/91.74 c #Conflicts: 122000 | #Constraints: 11868 91.39/91.74 c #Conflicts: 123000 | #Constraints: 12869 91.39/91.74 c #Conflicts: 124000 | #Constraints: 13870 91.39/91.74 c INPROCESSING 91.39/91.74 c GARBAGE COLLECT 91.39/91.74 c rational objective 0 100.36/100.75 c bounds 34 >= 0 @ 89.603 100.36/100.75 c #Conflicts: 125000 | #Constraints: 7854 100.36/100.75 c #Conflicts: 126000 | #Constraints: 8856 100.36/100.75 c #Conflicts: 127000 | #Constraints: 9863 100.36/100.75 c #Conflicts: 128000 | #Constraints: 10868 100.36/100.75 c #Conflicts: 129000 | #Constraints: 11868 100.36/100.75 c #Conflicts: 130000 | #Constraints: 12870 100.36/100.75 c #Conflicts: 131000 | #Constraints: 13874 100.36/100.75 c INPROCESSING 100.36/100.75 c GARBAGE COLLECT 100.36/100.75 c rational objective 0 106.76/107.13 c #Conflicts: 132000 | #Constraints: 7669 106.76/107.13 c #Conflicts: 133000 | #Constraints: 8672 106.76/107.13 c #Conflicts: 134000 | #Constraints: 9676 106.76/107.13 c #Conflicts: 135000 | #Constraints: 10681 106.76/107.13 c #Conflicts: 136000 | #Constraints: 11686 106.76/107.13 c #Conflicts: 137000 | #Constraints: 12688 106.76/107.13 c #Conflicts: 138000 | #Constraints: 13691 106.76/107.13 c #Conflicts: 139000 | #Constraints: 14693 106.76/107.13 c INPROCESSING 106.76/107.13 c GARBAGE COLLECT 106.76/107.13 c rational objective 0 116.52/116.90 c #Conflicts: 140000 | #Constraints: 8265 116.52/116.90 c #Conflicts: 141000 | #Constraints: 9267 116.52/116.90 c #Conflicts: 142000 | #Constraints: 10271 116.52/116.90 c #Conflicts: 143000 | #Constraints: 11273 116.52/116.90 c #Conflicts: 144000 | #Constraints: 12276 116.52/116.90 c #Conflicts: 145000 | #Constraints: 13281 116.52/116.90 c #Conflicts: 146000 | #Constraints: 14286 116.52/116.90 c bounds 32 >= 0 @ 113.463 116.52/116.90 c #Conflicts: 147000 | #Constraints: 15292 116.52/116.90 c INPROCESSING 116.52/116.90 c GARBAGE COLLECT 116.52/116.90 c rational objective 0 123.51/123.94 c #Conflicts: 148000 | #Constraints: 8660 123.51/123.94 c #Conflicts: 149000 | #Constraints: 9665 123.51/123.94 c #Conflicts: 150000 | #Constraints: 10669 123.51/123.94 c #Conflicts: 151000 | #Constraints: 11674 123.51/123.94 c #Conflicts: 152000 | #Constraints: 12676 123.51/123.94 c #Conflicts: 153000 | #Constraints: 13678 123.51/123.94 c #Conflicts: 154000 | #Constraints: 14678 123.51/123.94 c #Conflicts: 155000 | #Constraints: 15680 123.51/123.94 c INPROCESSING 123.51/123.94 c GARBAGE COLLECT 123.51/123.94 c rational objective 0 131.18/131.63 c #Conflicts: 156000 | #Constraints: 8863 131.18/131.63 c #Conflicts: 157000 | #Constraints: 9866 131.18/131.63 c #Conflicts: 158000 | #Constraints: 10868 131.18/131.63 c #Conflicts: 159000 | #Constraints: 11871 131.18/131.63 c #Conflicts: 160000 | #Constraints: 12877 131.18/131.63 c #Conflicts: 161000 | #Constraints: 13881 131.18/131.63 c #Conflicts: 162000 | #Constraints: 14883 131.18/131.63 c #Conflicts: 163000 | #Constraints: 15887 131.18/131.63 c INPROCESSING 131.18/131.63 c GARBAGE COLLECT 131.18/131.63 c rational objective 0 142.06/142.53 c #Conflicts: 164000 | #Constraints: 8862 142.06/142.53 c #Conflicts: 165000 | #Constraints: 9864 142.06/142.53 c #Conflicts: 166000 | #Constraints: 10868 142.06/142.53 c #Conflicts: 167000 | #Constraints: 11870 142.06/142.53 c #Conflicts: 168000 | #Constraints: 12875 142.06/142.53 c #Conflicts: 169000 | #Constraints: 13879 142.06/142.53 c #Conflicts: 170000 | #Constraints: 14880 142.06/142.53 c bounds 31 >= 0 @ 138.187 142.06/142.53 c #Conflicts: 171000 | #Constraints: 15885 142.06/142.53 c INPROCESSING 142.06/142.53 c GARBAGE COLLECT 142.06/142.53 c rational objective 0 150.33/150.85 c #Conflicts: 172000 | #Constraints: 8658 150.33/150.85 c #Conflicts: 173000 | #Constraints: 9661 150.33/150.85 c #Conflicts: 174000 | #Constraints: 10661 150.33/150.85 c #Conflicts: 175000 | #Constraints: 11663 150.33/150.85 c #Conflicts: 176000 | #Constraints: 12664 150.33/150.85 c #Conflicts: 177000 | #Constraints: 13665 150.33/150.85 c #Conflicts: 178000 | #Constraints: 14667 150.33/150.85 c #Conflicts: 179000 | #Constraints: 15671 150.33/150.85 c #Conflicts: 180000 | #Constraints: 16675 150.33/150.85 c INPROCESSING 150.33/150.85 c GARBAGE COLLECT 150.33/150.85 c rational objective 0 162.70/163.23 c #Conflicts: 181000 | #Constraints: 9254 162.70/163.23 c #Conflicts: 182000 | #Constraints: 10256 162.70/163.23 c #Conflicts: 183000 | #Constraints: 11259 162.70/163.23 c #Conflicts: 184000 | #Constraints: 12261 162.70/163.23 c #Conflicts: 185000 | #Constraints: 13264 162.70/163.23 c #Conflicts: 186000 | #Constraints: 14267 162.70/163.23 c #Conflicts: 187000 | #Constraints: 15270 162.70/163.23 c bounds 29 >= 0 @ 158.503 162.70/163.23 c #Conflicts: 188000 | #Constraints: 16273 162.70/163.23 c #Conflicts: 189000 | #Constraints: 17275 162.70/163.23 c INPROCESSING 162.70/163.23 c GARBAGE COLLECT 162.70/163.23 c rational objective 0 174.37/174.97 c #Conflicts: 190000 | #Constraints: 9657 174.37/174.97 c #Conflicts: 191000 | #Constraints: 10660 174.37/174.97 c #Conflicts: 192000 | #Constraints: 11661 174.37/174.97 c #Conflicts: 193000 | #Constraints: 12663 174.37/174.97 c #Conflicts: 194000 | #Constraints: 13663 174.37/174.97 c #Conflicts: 195000 | #Constraints: 14663 174.37/174.97 c #Conflicts: 196000 | #Constraints: 15664 174.37/174.97 c #Conflicts: 197000 | #Constraints: 16667 174.37/174.97 c #Conflicts: 198000 | #Constraints: 17670 174.37/174.97 c INPROCESSING 174.37/174.97 c GARBAGE COLLECT 174.37/174.97 c rational objective 0 189.03/189.62 c #Conflicts: 199000 | #Constraints: 9856 189.03/189.62 c #Conflicts: 200000 | #Constraints: 10858 189.03/189.62 c #Conflicts: 201000 | #Constraints: 11860 189.03/189.62 c #Conflicts: 202000 | #Constraints: 12863 189.03/189.62 c #Conflicts: 203000 | #Constraints: 13865 189.03/189.62 c #Conflicts: 204000 | #Constraints: 14868 189.03/189.62 c #Conflicts: 205000 | #Constraints: 15869 189.03/189.62 c #Conflicts: 206000 | #Constraints: 16871 189.03/189.62 c #Conflicts: 207000 | #Constraints: 17873 189.03/189.62 c INPROCESSING 189.03/189.62 c GARBAGE COLLECT 189.03/189.62 c rational objective 0 201.29/201.97 c #Conflicts: 208000 | #Constraints: 9861 201.29/201.97 c #Conflicts: 209000 | #Constraints: 10861 201.29/201.97 c #Conflicts: 210000 | #Constraints: 11868 201.29/201.97 c #Conflicts: 211000 | #Constraints: 12868 201.29/201.97 c #Conflicts: 212000 | #Constraints: 13869 201.29/201.97 c #Conflicts: 213000 | #Constraints: 14874 201.29/201.97 c #Conflicts: 214000 | #Constraints: 15876 201.29/201.97 c #Conflicts: 215000 | #Constraints: 16877 201.29/201.97 c #Conflicts: 216000 | #Constraints: 17877 201.29/201.97 c INPROCESSING 201.29/201.97 c GARBAGE COLLECT 201.29/201.97 c rational objective 0 219.24/219.99 c #Conflicts: 217000 | #Constraints: 9659 219.24/219.99 c #Conflicts: 218000 | #Constraints: 10660 219.24/219.99 c #Conflicts: 219000 | #Constraints: 11660 219.24/219.99 c #Conflicts: 220000 | #Constraints: 12660 219.24/219.99 c #Conflicts: 221000 | #Constraints: 13661 219.24/219.99 c #Conflicts: 222000 | #Constraints: 14664 219.24/219.99 c #Conflicts: 223000 | #Constraints: 15664 219.24/219.99 c #Conflicts: 224000 | #Constraints: 16666 219.24/219.99 c #Conflicts: 225000 | #Constraints: 17669 219.24/219.99 c #Conflicts: 226000 | #Constraints: 18671 219.24/219.99 c INPROCESSING 219.24/219.99 c GARBAGE COLLECT 219.24/219.99 c rational objective 0 231.71/232.46 c #Conflicts: 227000 | #Constraints: 10263 231.71/232.46 c #Conflicts: 228000 | #Constraints: 11264 231.71/232.46 c #Conflicts: 229000 | #Constraints: 12266 231.71/232.46 c #Conflicts: 230000 | #Constraints: 13268 231.71/232.46 c #Conflicts: 231000 | #Constraints: 14270 231.71/232.46 c #Conflicts: 232000 | #Constraints: 15272 231.71/232.46 c #Conflicts: 233000 | #Constraints: 16277 231.71/232.46 c #Conflicts: 234000 | #Constraints: 17280 231.71/232.46 c #Conflicts: 235000 | #Constraints: 18280 231.71/232.46 c #Conflicts: 236000 | #Constraints: 19282 231.71/232.46 c INPROCESSING 231.71/232.46 c GARBAGE COLLECT 231.71/232.46 c rational objective 0 243.47/244.28 c #Conflicts: 237000 | #Constraints: 10660 243.47/244.28 c #Conflicts: 238000 | #Constraints: 11660 243.47/244.28 c #Conflicts: 239000 | #Constraints: 12662 243.47/244.28 c #Conflicts: 240000 | #Constraints: 13664 243.47/244.28 c #Conflicts: 241000 | #Constraints: 14665 243.47/244.28 c #Conflicts: 242000 | #Constraints: 15667 243.47/244.28 c #Conflicts: 243000 | #Constraints: 16669 243.47/244.28 c #Conflicts: 244000 | #Constraints: 17670 243.47/244.28 c #Conflicts: 245000 | #Constraints: 18671 243.47/244.28 c #Conflicts: 246000 | #Constraints: 19671 243.47/244.28 c INPROCESSING 243.47/244.28 c GARBAGE COLLECT 243.47/244.28 c rational objective 0 263.40/264.28 c #Conflicts: 247000 | #Constraints: 10852 263.40/264.28 c #Conflicts: 248000 | #Constraints: 11854 263.40/264.28 c #Conflicts: 249000 | #Constraints: 12857 263.40/264.28 c #Conflicts: 250000 | #Constraints: 13860 263.40/264.28 c #Conflicts: 251000 | #Constraints: 14861 263.40/264.28 c #Conflicts: 252000 | #Constraints: 15867 263.40/264.28 c #Conflicts: 253000 | #Constraints: 16869 263.40/264.28 c #Conflicts: 254000 | #Constraints: 17875 263.40/264.28 c #Conflicts: 255000 | #Constraints: 18879 263.40/264.28 c #Conflicts: 256000 | #Constraints: 19882 263.40/264.28 c INPROCESSING 263.40/264.28 c GARBAGE COLLECT 263.40/264.28 c rational objective 0 276.96/277.80 c #Conflicts: 257000 | #Constraints: 10862 276.96/277.80 c #Conflicts: 258000 | #Constraints: 11865 276.96/277.80 c #Conflicts: 259000 | #Constraints: 12868 276.96/277.80 c #Conflicts: 260000 | #Constraints: 13870 276.96/277.80 c #Conflicts: 261000 | #Constraints: 14871 276.96/277.80 c #Conflicts: 262000 | #Constraints: 15875 276.96/277.80 c #Conflicts: 263000 | #Constraints: 16878 276.96/277.80 c #Conflicts: 264000 | #Constraints: 17883 276.96/277.80 c #Conflicts: 265000 | #Constraints: 18885 276.96/277.80 c #Conflicts: 266000 | #Constraints: 19886 276.96/277.80 c INPROCESSING 276.96/277.80 c GARBAGE COLLECT 276.96/277.80 c rational objective 0 291.32/292.29 c #Conflicts: 267000 | #Constraints: 10661 291.32/292.29 c #Conflicts: 268000 | #Constraints: 11663 291.32/292.29 c #Conflicts: 269000 | #Constraints: 12664 291.32/292.29 c #Conflicts: 270000 | #Constraints: 13666 291.32/292.29 c #Conflicts: 271000 | #Constraints: 14667 291.32/292.29 c #Conflicts: 272000 | #Constraints: 15668 291.32/292.29 c #Conflicts: 273000 | #Constraints: 16668 291.32/292.29 c #Conflicts: 274000 | #Constraints: 17670 291.32/292.29 c #Conflicts: 275000 | #Constraints: 18670 291.32/292.29 c #Conflicts: 276000 | #Constraints: 19672 291.32/292.29 c #Conflicts: 277000 | #Constraints: 20674 291.32/292.29 c INPROCESSING 291.32/292.29 c GARBAGE COLLECT 291.32/292.29 c rational objective 0 314.94/315.91 c #Conflicts: 278000 | #Constraints: 11255 314.94/315.91 c #Conflicts: 279000 | #Constraints: 12257 314.94/315.91 c #Conflicts: 280000 | #Constraints: 13260 314.94/315.91 c #Conflicts: 281000 | #Constraints: 14263 314.94/315.91 c #Conflicts: 282000 | #Constraints: 15269 314.94/315.91 c #Conflicts: 283000 | #Constraints: 16271 314.94/315.91 c #Conflicts: 284000 | #Constraints: 17271 314.94/315.91 c #Conflicts: 285000 | #Constraints: 18275 314.94/315.91 c #Conflicts: 286000 | #Constraints: 19276 314.94/315.91 c #Conflicts: 287000 | #Constraints: 20278 314.94/315.91 c #Conflicts: 288000 | #Constraints: 21281 314.94/315.91 c INPROCESSING 314.94/315.91 c GARBAGE COLLECT 314.94/315.91 c rational objective 0 331.39/332.46 c #Conflicts: 289000 | #Constraints: 11667 331.39/332.46 c #Conflicts: 290000 | #Constraints: 12668 331.39/332.46 c #Conflicts: 291000 | #Constraints: 13669 331.39/332.46 c #Conflicts: 292000 | #Constraints: 14670 331.39/332.46 c #Conflicts: 293000 | #Constraints: 15674 331.39/332.46 c #Conflicts: 294000 | #Constraints: 16676 331.39/332.46 c #Conflicts: 295000 | #Constraints: 17677 331.39/332.46 c #Conflicts: 296000 | #Constraints: 18679 331.39/332.46 c #Conflicts: 297000 | #Constraints: 19682 331.39/332.46 c #Conflicts: 298000 | #Constraints: 20685 331.39/332.46 c #Conflicts: 299000 | #Constraints: 21687 331.39/332.46 c INPROCESSING 331.39/332.46 c GARBAGE COLLECT 331.39/332.46 c rational objective 0 356.51/357.62 c #Conflicts: 300000 | #Constraints: 11864 356.51/357.62 c #Conflicts: 301000 | #Constraints: 12866 356.51/357.62 c #Conflicts: 302000 | #Constraints: 13867 356.51/357.62 c #Conflicts: 303000 | #Constraints: 14871 356.51/357.62 c #Conflicts: 304000 | #Constraints: 15874 356.51/357.62 c #Conflicts: 305000 | #Constraints: 16876 356.51/357.62 c #Conflicts: 306000 | #Constraints: 17878 356.51/357.62 c #Conflicts: 307000 | #Constraints: 18880 356.51/357.62 c #Conflicts: 308000 | #Constraints: 19882 356.51/357.62 c #Conflicts: 309000 | #Constraints: 20883 356.51/357.62 c #Conflicts: 310000 | #Constraints: 21885 356.51/357.62 c INPROCESSING 356.51/357.62 c GARBAGE COLLECT 356.51/357.62 c rational objective 0 374.26/375.46 c #Conflicts: 311000 | #Constraints: 11869 374.26/375.46 c #Conflicts: 312000 | #Constraints: 12872 374.26/375.46 c #Conflicts: 313000 | #Constraints: 13873 374.26/375.46 c #Conflicts: 314000 | #Constraints: 14878 374.26/375.46 c #Conflicts: 315000 | #Constraints: 15880 374.26/375.46 c #Conflicts: 316000 | #Constraints: 16882 374.26/375.46 c #Conflicts: 317000 | #Constraints: 17883 374.26/375.46 c #Conflicts: 318000 | #Constraints: 18883 374.26/375.46 c #Conflicts: 319000 | #Constraints: 19883 374.26/375.46 c #Conflicts: 320000 | #Constraints: 20887 374.26/375.46 c #Conflicts: 321000 | #Constraints: 21888 374.26/375.46 c INPROCESSING 374.26/375.46 c GARBAGE COLLECT 374.26/375.46 c rational objective 0 397.59/398.88 c #Conflicts: 322000 | #Constraints: 11659 397.59/398.88 c #Conflicts: 323000 | #Constraints: 12661 397.59/398.88 c #Conflicts: 324000 | #Constraints: 13661 397.59/398.88 c #Conflicts: 325000 | #Constraints: 14662 397.59/398.88 c #Conflicts: 326000 | #Constraints: 15663 397.59/398.88 c #Conflicts: 327000 | #Constraints: 16663 397.59/398.88 c #Conflicts: 328000 | #Constraints: 17664 397.59/398.88 c #Conflicts: 329000 | #Constraints: 18664 397.59/398.88 c #Conflicts: 330000 | #Constraints: 19665 397.59/398.88 c #Conflicts: 331000 | #Constraints: 20666 397.59/398.88 c #Conflicts: 332000 | #Constraints: 21667 397.59/398.88 c #Conflicts: 333000 | #Constraints: 22668 397.59/398.88 c INPROCESSING 397.59/398.88 c GARBAGE COLLECT 397.59/398.88 c rational objective 0 427.71/429.04 c #Conflicts: 334000 | #Constraints: 12249 427.71/429.04 c #Conflicts: 335000 | #Constraints: 13250 427.71/429.04 c #Conflicts: 336000 | #Constraints: 14254 427.71/429.04 c #Conflicts: 337000 | #Constraints: 15258 427.71/429.04 c #Conflicts: 338000 | #Constraints: 16262 427.71/429.04 c #Conflicts: 339000 | #Constraints: 17264 427.71/429.04 c #Conflicts: 340000 | #Constraints: 18265 427.71/429.04 c #Conflicts: 341000 | #Constraints: 19266 427.71/429.04 c #Conflicts: 342000 | #Constraints: 20266 427.71/429.04 c #Conflicts: 343000 | #Constraints: 21268 427.71/429.04 c #Conflicts: 344000 | #Constraints: 22270 427.71/429.04 c #Conflicts: 345000 | #Constraints: 23273 427.71/429.04 c INPROCESSING 427.71/429.04 c GARBAGE COLLECT 427.71/429.04 c rational objective 0 446.74/448.19 c #Conflicts: 346000 | #Constraints: 12663 446.74/448.19 c #Conflicts: 347000 | #Constraints: 13665 446.74/448.19 c #Conflicts: 348000 | #Constraints: 14668 446.74/448.19 c #Conflicts: 349000 | #Constraints: 15668 446.74/448.19 c #Conflicts: 350000 | #Constraints: 16669 446.74/448.19 c #Conflicts: 351000 | #Constraints: 17670 446.74/448.19 c #Conflicts: 352000 | #Constraints: 18670 446.74/448.19 c #Conflicts: 353000 | #Constraints: 19671 446.74/448.19 c #Conflicts: 354000 | #Constraints: 20671 446.74/448.19 c #Conflicts: 355000 | #Constraints: 21675 446.74/448.19 c #Conflicts: 356000 | #Constraints: 22678 446.74/448.19 c #Conflicts: 357000 | #Constraints: 23678 446.74/448.19 c INPROCESSING 446.74/448.19 c GARBAGE COLLECT 446.74/448.19 c rational objective 0 479.55/481.05 c #Conflicts: 358000 | #Constraints: 12859 479.55/481.05 c #Conflicts: 359000 | #Constraints: 13859 479.55/481.05 c #Conflicts: 360000 | #Constraints: 14859 479.55/481.05 c #Conflicts: 361000 | #Constraints: 15860 479.55/481.05 c #Conflicts: 362000 | #Constraints: 16863 479.55/481.05 c #Conflicts: 363000 | #Constraints: 17865 479.55/481.05 c #Conflicts: 364000 | #Constraints: 18865 479.55/481.05 c #Conflicts: 365000 | #Constraints: 19868 479.55/481.05 c #Conflicts: 366000 | #Constraints: 20869 479.55/481.05 c #Conflicts: 367000 | #Constraints: 21871 479.55/481.05 c #Conflicts: 368000 | #Constraints: 22871 479.55/481.05 c #Conflicts: 369000 | #Constraints: 23874 479.55/481.05 c INPROCESSING 479.55/481.05 c GARBAGE COLLECT 479.55/481.05 c rational objective 0 500.88/502.42 c #Conflicts: 370000 | #Constraints: 12860 500.88/502.42 c #Conflicts: 371000 | #Constraints: 13860 500.88/502.42 c #Conflicts: 372000 | #Constraints: 14860 500.88/502.42 c #Conflicts: 373000 | #Constraints: 15865 500.88/502.42 c #Conflicts: 374000 | #Constraints: 16868 500.88/502.42 c #Conflicts: 375000 | #Constraints: 17868 500.88/502.42 c #Conflicts: 376000 | #Constraints: 18869 500.88/502.42 c #Conflicts: 377000 | #Constraints: 19871 500.88/502.42 c #Conflicts: 378000 | #Constraints: 20871 500.88/502.42 c #Conflicts: 379000 | #Constraints: 21871 500.88/502.42 c #Conflicts: 380000 | #Constraints: 22874 500.88/502.42 c #Conflicts: 381000 | #Constraints: 23877 500.88/502.42 c INPROCESSING 500.88/502.42 c GARBAGE COLLECT 500.88/502.42 c rational objective 0 520.63/522.25 c #Conflicts: 382000 | #Constraints: 12654 520.63/522.25 c #Conflicts: 383000 | #Constraints: 13656 520.63/522.25 c #Conflicts: 384000 | #Constraints: 14657 520.63/522.25 c #Conflicts: 385000 | #Constraints: 15658 520.63/522.25 c #Conflicts: 386000 | #Constraints: 16660 520.63/522.25 c #Conflicts: 387000 | #Constraints: 17660 520.63/522.25 c #Conflicts: 388000 | #Constraints: 18660 520.63/522.25 c #Conflicts: 389000 | #Constraints: 19662 520.63/522.25 c #Conflicts: 390000 | #Constraints: 20664 520.63/522.25 c #Conflicts: 391000 | #Constraints: 21664 520.63/522.25 c #Conflicts: 392000 | #Constraints: 22667 520.63/522.25 c #Conflicts: 393000 | #Constraints: 23670 520.63/522.25 c #Conflicts: 394000 | #Constraints: 24671 520.63/522.25 c INPROCESSING 520.63/522.25 c GARBAGE COLLECT 520.63/522.25 c rational objective 0 554.32/556.09 c #Conflicts: 395000 | #Constraints: 13257 554.32/556.09 c #Conflicts: 396000 | #Constraints: 14258 554.32/556.09 c #Conflicts: 397000 | #Constraints: 15259 554.32/556.09 c #Conflicts: 398000 | #Constraints: 16259 554.32/556.09 c #Conflicts: 399000 | #Constraints: 17259 554.32/556.09 c #Conflicts: 400000 | #Constraints: 18261 554.32/556.09 c #Conflicts: 401000 | #Constraints: 19262 554.32/556.09 c #Conflicts: 402000 | #Constraints: 20262 554.32/556.09 c #Conflicts: 403000 | #Constraints: 21262 554.32/556.09 c #Conflicts: 404000 | #Constraints: 22262 554.32/556.09 c bounds 28 >= 0 @ 543.977 554.32/556.09 c #Conflicts: 405000 | #Constraints: 23266 554.32/556.09 c #Conflicts: 406000 | #Constraints: 24268 554.32/556.09 c #Conflicts: 407000 | #Constraints: 25269 554.32/556.09 c INPROCESSING 554.32/556.09 c GARBAGE COLLECT 554.32/556.09 c rational objective 0 576.37/578.18 c #Conflicts: 408000 | #Constraints: 13651 576.37/578.18 c #Conflicts: 409000 | #Constraints: 14651 576.37/578.18 c #Conflicts: 410000 | #Constraints: 15651 576.37/578.18 c #Conflicts: 411000 | #Constraints: 16651 576.37/578.18 c #Conflicts: 412000 | #Constraints: 17652 576.37/578.18 c #Conflicts: 413000 | #Constraints: 18653 576.37/578.18 c #Conflicts: 414000 | #Constraints: 19655 576.37/578.18 c #Conflicts: 415000 | #Constraints: 20656 576.37/578.18 c #Conflicts: 416000 | #Constraints: 21656 576.37/578.18 c #Conflicts: 417000 | #Constraints: 22658 576.37/578.18 c #Conflicts: 418000 | #Constraints: 23658 576.37/578.18 c #Conflicts: 419000 | #Constraints: 24658 576.37/578.18 c #Conflicts: 420000 | #Constraints: 25659 576.37/578.18 c INPROCESSING 576.37/578.18 c GARBAGE COLLECT 576.37/578.18 c rational objective 0 609.29/611.15 c bounds 24 >= 0 @ 569.166 609.29/611.15 c #Conflicts: 421000 | #Constraints: 13852 609.29/611.15 c #Conflicts: 422000 | #Constraints: 14854 609.29/611.15 c #Conflicts: 423000 | #Constraints: 15856 609.29/611.15 c #Conflicts: 424000 | #Constraints: 16860 609.29/611.15 c #Conflicts: 425000 | #Constraints: 17863 609.29/611.15 c #Conflicts: 426000 | #Constraints: 18864 609.29/611.15 c #Conflicts: 427000 | #Constraints: 19867 609.29/611.15 c #Conflicts: 428000 | #Constraints: 20868 609.29/611.15 c #Conflicts: 429000 | #Constraints: 21869 609.29/611.15 c #Conflicts: 430000 | #Constraints: 22871 609.29/611.15 c #Conflicts: 431000 | #Constraints: 23871 609.29/611.15 c #Conflicts: 432000 | #Constraints: 24871 609.29/611.15 c #Conflicts: 433000 | #Constraints: 25871 609.29/611.15 c INPROCESSING 609.29/611.15 c GARBAGE COLLECT 609.29/611.15 c rational objective 0 633.43/635.32 c #Conflicts: 434000 | #Constraints: 13863 633.43/635.32 c #Conflicts: 435000 | #Constraints: 14868 633.43/635.32 c #Conflicts: 436000 | #Constraints: 15871 633.43/635.32 c #Conflicts: 437000 | #Constraints: 16875 633.43/635.32 c #Conflicts: 438000 | #Constraints: 17879 633.43/635.32 c #Conflicts: 439000 | #Constraints: 18880 633.43/635.32 c #Conflicts: 440000 | #Constraints: 19882 633.43/635.32 c #Conflicts: 441000 | #Constraints: 20884 633.43/635.32 c #Conflicts: 442000 | #Constraints: 21884 633.43/635.32 c #Conflicts: 443000 | #Constraints: 22886 633.43/635.32 c #Conflicts: 444000 | #Constraints: 23889 633.43/635.32 c #Conflicts: 445000 | #Constraints: 24891 633.43/635.32 c #Conflicts: 446000 | #Constraints: 25892 633.43/635.32 c INPROCESSING 633.43/635.32 c GARBAGE COLLECT 633.43/635.32 c rational objective 0 657.57/659.54 c #Conflicts: 447000 | #Constraints: 13668 657.57/659.54 c #Conflicts: 448000 | #Constraints: 14669 657.57/659.54 c #Conflicts: 449000 | #Constraints: 15671 657.57/659.54 c #Conflicts: 450000 | #Constraints: 16674 657.57/659.54 c #Conflicts: 451000 | #Constraints: 17674 657.57/659.54 c #Conflicts: 452000 | #Constraints: 18677 657.57/659.54 c #Conflicts: 453000 | #Constraints: 19678 657.57/659.54 c #Conflicts: 454000 | #Constraints: 20678 657.57/659.54 c #Conflicts: 455000 | #Constraints: 21678 657.57/659.54 c #Conflicts: 456000 | #Constraints: 22680 657.57/659.54 c #Conflicts: 457000 | #Constraints: 23681 657.57/659.54 c #Conflicts: 458000 | #Constraints: 24681 657.57/659.54 c #Conflicts: 459000 | #Constraints: 25683 657.57/659.54 c #Conflicts: 460000 | #Constraints: 26684 657.57/659.54 c INPROCESSING 657.57/659.54 c GARBAGE COLLECT 657.57/659.54 c rational objective 0 696.67/698.76 c #Conflicts: 461000 | #Constraints: 14260 696.67/698.76 c #Conflicts: 462000 | #Constraints: 15263 696.67/698.76 c #Conflicts: 463000 | #Constraints: 16264 696.67/698.76 c #Conflicts: 464000 | #Constraints: 17265 696.67/698.76 c #Conflicts: 465000 | #Constraints: 18266 696.67/698.76 c #Conflicts: 466000 | #Constraints: 19268 696.67/698.76 c #Conflicts: 467000 | #Constraints: 20270 696.67/698.76 c #Conflicts: 468000 | #Constraints: 21271 696.67/698.76 c #Conflicts: 469000 | #Constraints: 22273 696.67/698.76 c #Conflicts: 470000 | #Constraints: 23273 696.67/698.76 c #Conflicts: 471000 | #Constraints: 24274 696.67/698.76 c #Conflicts: 472000 | #Constraints: 25276 696.67/698.76 c #Conflicts: 473000 | #Constraints: 26277 696.67/698.76 c #Conflicts: 474000 | #Constraints: 27280 696.67/698.76 c INPROCESSING 696.67/698.76 c GARBAGE COLLECT 696.67/698.76 c rational objective 0 732.99/735.17 c #Conflicts: 475000 | #Constraints: 14665 732.99/735.17 c #Conflicts: 476000 | #Constraints: 15667 732.99/735.17 c #Conflicts: 477000 | #Constraints: 16669 732.99/735.17 c #Conflicts: 478000 | #Constraints: 17669 732.99/735.17 c #Conflicts: 479000 | #Constraints: 18672 732.99/735.17 c #Conflicts: 480000 | #Constraints: 19672 732.99/735.17 c #Conflicts: 481000 | #Constraints: 20672 732.99/735.17 c #Conflicts: 482000 | #Constraints: 21673 732.99/735.17 c #Conflicts: 483000 | #Constraints: 22674 732.99/735.17 c #Conflicts: 484000 | #Constraints: 23675 732.99/735.17 c #Conflicts: 485000 | #Constraints: 24676 732.99/735.17 c #Conflicts: 486000 | #Constraints: 25676 732.99/735.17 c #Conflicts: 487000 | #Constraints: 26677 732.99/735.17 c #Conflicts: 488000 | #Constraints: 27678 732.99/735.17 c INPROCESSING 732.99/735.17 c GARBAGE COLLECT 732.99/735.17 c rational objective 0 772.19/774.47 c #Conflicts: 489000 | #Constraints: 14858 772.19/774.47 c #Conflicts: 490000 | #Constraints: 15859 772.19/774.47 c #Conflicts: 491000 | #Constraints: 16859 772.19/774.47 c #Conflicts: 492000 | #Constraints: 17861 772.19/774.47 c #Conflicts: 493000 | #Constraints: 18863 772.19/774.47 c #Conflicts: 494000 | #Constraints: 19864 772.19/774.47 c #Conflicts: 495000 | #Constraints: 20866 772.19/774.47 c #Conflicts: 496000 | #Constraints: 21868 772.19/774.47 c #Conflicts: 497000 | #Constraints: 22870 772.19/774.47 c #Conflicts: 498000 | #Constraints: 23872 772.19/774.47 c #Conflicts: 499000 | #Constraints: 24873 772.19/774.47 c #Conflicts: 500000 | #Constraints: 25876 772.19/774.47 c #Conflicts: 501000 | #Constraints: 26876 772.19/774.47 c #Conflicts: 502000 | #Constraints: 27876 772.19/774.47 c INPROCESSING 772.19/774.47 c GARBAGE COLLECT 772.19/774.47 c rational objective 0 804.41/806.75 c #Conflicts: 503000 | #Constraints: 14866 804.41/806.75 c #Conflicts: 504000 | #Constraints: 15869 804.41/806.75 c #Conflicts: 505000 | #Constraints: 16869 804.41/806.75 c #Conflicts: 506000 | #Constraints: 17871 804.41/806.75 c #Conflicts: 507000 | #Constraints: 18871 804.41/806.75 c #Conflicts: 508000 | #Constraints: 19872 804.41/806.75 c #Conflicts: 509000 | #Constraints: 20873 804.41/806.75 c #Conflicts: 510000 | #Constraints: 21873 804.41/806.75 c #Conflicts: 511000 | #Constraints: 22874 804.41/806.75 c #Conflicts: 512000 | #Constraints: 23875 804.41/806.75 c #Conflicts: 513000 | #Constraints: 24876 804.41/806.75 c #Conflicts: 514000 | #Constraints: 25877 804.41/806.75 c #Conflicts: 515000 | #Constraints: 26879 804.41/806.75 c #Conflicts: 516000 | #Constraints: 27880 804.41/806.75 c INPROCESSING 804.41/806.75 c GARBAGE COLLECT 804.41/806.75 c rational objective 0 849.61/852.01 c #Conflicts: 517000 | #Constraints: 14659 849.61/852.01 c #Conflicts: 518000 | #Constraints: 15662 849.61/852.01 c #Conflicts: 519000 | #Constraints: 16664 849.61/852.01 c #Conflicts: 520000 | #Constraints: 17669 849.61/852.01 c #Conflicts: 521000 | #Constraints: 18669 849.61/852.01 c #Conflicts: 522000 | #Constraints: 19670 849.61/852.01 c #Conflicts: 523000 | #Constraints: 20671 849.61/852.01 c #Conflicts: 524000 | #Constraints: 21672 849.61/852.01 c #Conflicts: 525000 | #Constraints: 22674 849.61/852.01 c #Conflicts: 526000 | #Constraints: 23677 849.61/852.01 c #Conflicts: 527000 | #Constraints: 24678 849.61/852.01 c #Conflicts: 528000 | #Constraints: 25681 849.61/852.01 c #Conflicts: 529000 | #Constraints: 26683 849.61/852.01 c #Conflicts: 530000 | #Constraints: 27684 849.61/852.01 c #Conflicts: 531000 | #Constraints: 28685 849.61/852.01 c INPROCESSING 849.61/852.01 c GARBAGE COLLECT 849.61/852.01 c rational objective 0 878.03/880.58 c #Conflicts: 532000 | #Constraints: 15272 878.03/880.58 c #Conflicts: 533000 | #Constraints: 16274 878.03/880.58 c #Conflicts: 534000 | #Constraints: 17277 878.03/880.58 c #Conflicts: 535000 | #Constraints: 18279 878.03/880.58 c #Conflicts: 536000 | #Constraints: 19279 878.03/880.58 c #Conflicts: 537000 | #Constraints: 20280 878.03/880.58 c #Conflicts: 538000 | #Constraints: 21281 878.03/880.58 c #Conflicts: 539000 | #Constraints: 22283 878.03/880.58 c #Conflicts: 540000 | #Constraints: 23283 878.03/880.58 c #Conflicts: 541000 | #Constraints: 24286 878.03/880.58 c #Conflicts: 542000 | #Constraints: 25287 878.03/880.58 c #Conflicts: 543000 | #Constraints: 26291 878.03/880.58 c #Conflicts: 544000 | #Constraints: 27292 878.03/880.58 c #Conflicts: 545000 | #Constraints: 28294 878.03/880.58 c #Conflicts: 546000 | #Constraints: 29296 878.03/880.58 c INPROCESSING 878.03/880.58 c GARBAGE COLLECT 878.03/880.58 c rational objective 0 910.66/913.29 c #Conflicts: 547000 | #Constraints: 15664 910.66/913.29 c #Conflicts: 548000 | #Constraints: 16664 910.66/913.29 c #Conflicts: 549000 | #Constraints: 17665 910.66/913.29 c #Conflicts: 550000 | #Constraints: 18666 910.66/913.29 c #Conflicts: 551000 | #Constraints: 19667 910.66/913.29 c #Conflicts: 552000 | #Constraints: 20668 910.66/913.29 c #Conflicts: 553000 | #Constraints: 21669 910.66/913.29 c #Conflicts: 554000 | #Constraints: 22670 910.66/913.29 c #Conflicts: 555000 | #Constraints: 23672 910.66/913.29 c #Conflicts: 556000 | #Constraints: 24674 910.66/913.29 c #Conflicts: 557000 | #Constraints: 25675 910.66/913.29 c #Conflicts: 558000 | #Constraints: 26676 910.66/913.29 c #Conflicts: 559000 | #Constraints: 27679 910.66/913.29 c #Conflicts: 560000 | #Constraints: 28681 910.66/913.29 c #Conflicts: 561000 | #Constraints: 29683 910.66/913.29 c INPROCESSING 910.66/913.29 c GARBAGE COLLECT 910.66/913.29 c rational objective 0 960.03/962.77 c #Conflicts: 562000 | #Constraints: 15859 960.03/962.77 c #Conflicts: 563000 | #Constraints: 16863 960.03/962.77 c #Conflicts: 564000 | #Constraints: 17868 960.03/962.77 c #Conflicts: 565000 | #Constraints: 18868 960.03/962.77 c #Conflicts: 566000 | #Constraints: 19869 960.03/962.77 c #Conflicts: 567000 | #Constraints: 20873 960.03/962.77 c #Conflicts: 568000 | #Constraints: 21875 960.03/962.77 c #Conflicts: 569000 | #Constraints: 22877 960.03/962.77 c #Conflicts: 570000 | #Constraints: 23881 960.03/962.77 c #Conflicts: 571000 | #Constraints: 24884 960.03/962.77 c #Conflicts: 572000 | #Constraints: 25885 960.03/962.77 c #Conflicts: 573000 | #Constraints: 26889 960.03/962.77 c #Conflicts: 574000 | #Constraints: 27891 960.03/962.77 c #Conflicts: 575000 | #Constraints: 28894 960.03/962.77 c #Conflicts: 576000 | #Constraints: 29897 960.03/962.77 c INPROCESSING 960.03/962.77 c GARBAGE COLLECT 960.03/962.77 c rational objective 0 991.96/994.76 c #Conflicts: 577000 | #Constraints: 15870 991.96/994.76 c #Conflicts: 578000 | #Constraints: 16871 991.96/994.76 c #Conflicts: 579000 | #Constraints: 17871 991.96/994.76 c #Conflicts: 580000 | #Constraints: 18871 991.96/994.76 c #Conflicts: 581000 | #Constraints: 19872 991.96/994.76 c #Conflicts: 582000 | #Constraints: 20872 991.96/994.76 c #Conflicts: 583000 | #Constraints: 21873 991.96/994.76 c #Conflicts: 584000 | #Constraints: 22873 991.96/994.76 c #Conflicts: 585000 | #Constraints: 23876 991.96/994.76 c #Conflicts: 586000 | #Constraints: 24877 991.96/994.76 c #Conflicts: 587000 | #Constraints: 25877 991.96/994.76 c #Conflicts: 588000 | #Constraints: 26877 991.96/994.76 c #Conflicts: 589000 | #Constraints: 27881 991.96/994.76 c #Conflicts: 590000 | #Constraints: 28883 991.96/994.76 c #Conflicts: 591000 | #Constraints: 29884 991.96/994.76 c INPROCESSING 991.96/994.76 c GARBAGE COLLECT 991.96/994.76 c rational objective 0 1044.63/1047.52 c #Conflicts: 592000 | #Constraints: 15661 1044.63/1047.52 c #Conflicts: 593000 | #Constraints: 16662 1044.63/1047.52 c #Conflicts: 594000 | #Constraints: 17662 1044.63/1047.52 c #Conflicts: 595000 | #Constraints: 18664 1044.63/1047.52 c #Conflicts: 596000 | #Constraints: 19664 1044.63/1047.52 c #Conflicts: 597000 | #Constraints: 20665 1044.63/1047.52 c #Conflicts: 598000 | #Constraints: 21665 1044.63/1047.52 c #Conflicts: 599000 | #Constraints: 22665 1044.63/1047.52 c #Conflicts: 600000 | #Constraints: 23665 1044.63/1047.52 c #Conflicts: 601000 | #Constraints: 24666 1044.63/1047.52 c #Conflicts: 602000 | #Constraints: 25666 1044.63/1047.52 c #Conflicts: 603000 | #Constraints: 26668 1044.63/1047.52 c #Conflicts: 604000 | #Constraints: 27668 1044.63/1047.52 c #Conflicts: 605000 | #Constraints: 28670 1044.63/1047.52 c bounds 23 >= 0 @ 1027.62 1044.63/1047.52 c #Conflicts: 606000 | #Constraints: 29674 1044.63/1047.52 c #Conflicts: 607000 | #Constraints: 30677 1044.63/1047.52 c INPROCESSING 1044.63/1047.52 c GARBAGE COLLECT 1044.63/1047.52 c rational objective 0 1081.05/1084.10 c #Conflicts: 608000 | #Constraints: 16261 1081.05/1084.10 c #Conflicts: 609000 | #Constraints: 17264 1081.05/1084.10 c #Conflicts: 610000 | #Constraints: 18265 1081.05/1084.10 c #Conflicts: 611000 | #Constraints: 19267 1081.05/1084.10 c #Conflicts: 612000 | #Constraints: 20267 1081.05/1084.10 c #Conflicts: 613000 | #Constraints: 21267 1081.05/1084.10 c #Conflicts: 614000 | #Constraints: 22268 1081.05/1084.10 c #Conflicts: 615000 | #Constraints: 23268 1081.05/1084.10 c #Conflicts: 616000 | #Constraints: 24270 1081.05/1084.10 c #Conflicts: 617000 | #Constraints: 25271 1081.05/1084.10 c #Conflicts: 618000 | #Constraints: 26272 1081.05/1084.10 c #Conflicts: 619000 | #Constraints: 27272 1081.05/1084.10 c #Conflicts: 620000 | #Constraints: 28273 1081.05/1084.10 c #Conflicts: 621000 | #Constraints: 29274 1081.05/1084.10 c #Conflicts: 622000 | #Constraints: 30276 1081.05/1084.10 c #Conflicts: 623000 | #Constraints: 31277 1081.05/1084.10 c INPROCESSING 1081.05/1084.10 c GARBAGE COLLECT 1081.05/1084.10 c rational objective 0 1115.45/1118.55 c #Conflicts: 624000 | #Constraints: 16653 1115.45/1118.55 c #Conflicts: 625000 | #Constraints: 17653 1115.45/1118.55 c #Conflicts: 626000 | #Constraints: 18653 1115.45/1118.55 c #Conflicts: 627000 | #Constraints: 19653 1115.45/1118.55 c #Conflicts: 628000 | #Constraints: 20653 1115.45/1118.55 c #Conflicts: 629000 | #Constraints: 21655 1115.45/1118.55 c #Conflicts: 630000 | #Constraints: 22655 1115.45/1118.55 c #Conflicts: 631000 | #Constraints: 23656 1115.45/1118.55 c #Conflicts: 632000 | #Constraints: 24660 1115.45/1118.55 c #Conflicts: 633000 | #Constraints: 25661 1115.45/1118.55 c #Conflicts: 634000 | #Constraints: 26661 1115.45/1118.55 c #Conflicts: 635000 | #Constraints: 27662 1115.45/1118.55 c #Conflicts: 636000 | #Constraints: 28663 1115.45/1118.55 c #Conflicts: 637000 | #Constraints: 29664 1115.45/1118.55 c #Conflicts: 638000 | #Constraints: 30666 1115.45/1118.55 c #Conflicts: 639000 | #Constraints: 31668 1115.45/1118.55 c INPROCESSING 1115.45/1118.55 c GARBAGE COLLECT 1115.45/1118.55 c rational objective 0 1171.31/1174.58 c #Conflicts: 640000 | #Constraints: 16849 1171.31/1174.58 c #Conflicts: 641000 | #Constraints: 17850 1171.31/1174.58 c #Conflicts: 642000 | #Constraints: 18851 1171.31/1174.58 c #Conflicts: 643000 | #Constraints: 19854 1171.31/1174.58 c #Conflicts: 644000 | #Constraints: 20854 1171.31/1174.58 c #Conflicts: 645000 | #Constraints: 21855 1171.31/1174.58 c #Conflicts: 646000 | #Constraints: 22856 1171.31/1174.58 c #Conflicts: 647000 | #Constraints: 23858 1171.31/1174.58 c #Conflicts: 648000 | #Constraints: 24860 1171.31/1174.58 c #Conflicts: 649000 | #Constraints: 25864 1171.31/1174.58 c #Conflicts: 650000 | #Constraints: 26865 1171.31/1174.58 c #Conflicts: 651000 | #Constraints: 27868 1171.31/1174.58 c #Conflicts: 652000 | #Constraints: 28868 1171.31/1174.58 c #Conflicts: 653000 | #Constraints: 29869 1171.31/1174.58 c #Conflicts: 654000 | #Constraints: 30871 1171.31/1174.58 c #Conflicts: 655000 | #Constraints: 31872 1171.31/1174.58 c INPROCESSING 1171.31/1174.58 c GARBAGE COLLECT 1171.31/1174.58 c rational objective 0 1210.22/1213.59 c #Conflicts: 656000 | #Constraints: 16865 1210.22/1213.59 c #Conflicts: 657000 | #Constraints: 17867 1210.22/1213.59 c #Conflicts: 658000 | #Constraints: 18869 1210.22/1213.59 c #Conflicts: 659000 | #Constraints: 19871 1210.22/1213.59 c #Conflicts: 660000 | #Constraints: 20871 1210.22/1213.59 c #Conflicts: 661000 | #Constraints: 21872 1210.22/1213.59 c #Conflicts: 662000 | #Constraints: 22875 1210.22/1213.59 c #Conflicts: 663000 | #Constraints: 23875 1210.22/1213.59 c #Conflicts: 664000 | #Constraints: 24877 1210.22/1213.59 c #Conflicts: 665000 | #Constraints: 25878 1210.22/1213.59 c #Conflicts: 666000 | #Constraints: 26878 1210.22/1213.59 c #Conflicts: 667000 | #Constraints: 27878 1210.22/1213.59 c #Conflicts: 668000 | #Constraints: 28878 1210.22/1213.59 c #Conflicts: 669000 | #Constraints: 29879 1210.22/1213.59 c #Conflicts: 670000 | #Constraints: 30881 1210.22/1213.59 c #Conflicts: 671000 | #Constraints: 31881 1210.22/1213.59 c INPROCESSING 1210.22/1213.59 c GARBAGE COLLECT 1210.22/1213.59 c rational objective 0 1269.77/1273.25 c #Conflicts: 672000 | #Constraints: 16655 1269.77/1273.25 c #Conflicts: 673000 | #Constraints: 17657 1269.77/1273.25 c #Conflicts: 674000 | #Constraints: 18657 1269.77/1273.25 c #Conflicts: 675000 | #Constraints: 19659 1269.77/1273.25 c #Conflicts: 676000 | #Constraints: 20663 1269.77/1273.25 c #Conflicts: 677000 | #Constraints: 21666 1269.77/1273.25 c #Conflicts: 678000 | #Constraints: 22668 1269.77/1273.25 c #Conflicts: 679000 | #Constraints: 23669 1269.77/1273.25 c #Conflicts: 680000 | #Constraints: 24670 1269.77/1273.25 c #Conflicts: 681000 | #Constraints: 25671 1269.77/1273.25 c #Conflicts: 682000 | #Constraints: 26675 1269.77/1273.25 c #Conflicts: 683000 | #Constraints: 27676 1269.77/1273.25 c #Conflicts: 684000 | #Constraints: 28677 1269.77/1273.25 c #Conflicts: 685000 | #Constraints: 29679 1269.77/1273.25 c #Conflicts: 686000 | #Constraints: 30680 1269.77/1273.25 c #Conflicts: 687000 | #Constraints: 31682 1269.77/1273.25 c #Conflicts: 688000 | #Constraints: 32683 1269.77/1273.25 c INPROCESSING 1269.77/1273.25 c GARBAGE COLLECT 1269.77/1273.25 c rational objective 0 1313.26/1316.86 c #Conflicts: 689000 | #Constraints: 17273 1313.26/1316.86 c #Conflicts: 690000 | #Constraints: 18275 1313.26/1316.86 c #Conflicts: 691000 | #Constraints: 19276 1313.26/1316.86 c #Conflicts: 692000 | #Constraints: 20277 1313.26/1316.86 c #Conflicts: 693000 | #Constraints: 21277 1313.26/1316.86 c #Conflicts: 694000 | #Constraints: 22277 1313.26/1316.86 c #Conflicts: 695000 | #Constraints: 23278 1313.26/1316.86 c #Conflicts: 696000 | #Constraints: 24278 1313.26/1316.86 c #Conflicts: 697000 | #Constraints: 25280 1313.26/1316.86 c #Conflicts: 698000 | #Constraints: 26281 1313.26/1316.86 c #Conflicts: 699000 | #Constraints: 27283 1313.26/1316.86 c #Conflicts: 700000 | #Constraints: 28283 1313.26/1316.86 c #Conflicts: 701000 | #Constraints: 29283 1313.26/1316.86 c #Conflicts: 702000 | #Constraints: 30286 1313.26/1316.86 c #Conflicts: 703000 | #Constraints: 31287 1313.26/1316.86 c #Conflicts: 704000 | #Constraints: 32288 1313.26/1316.86 c #Conflicts: 705000 | #Constraints: 33289 1313.26/1316.86 c INPROCESSING 1313.26/1316.86 c GARBAGE COLLECT 1313.26/1316.86 c rational objective 0 1363.54/1367.21 c #Conflicts: 706000 | #Constraints: 17664 1363.54/1367.21 c #Conflicts: 707000 | #Constraints: 18665 1363.54/1367.21 c #Conflicts: 708000 | #Constraints: 19665 1363.54/1367.21 c #Conflicts: 709000 | #Constraints: 20666 1363.54/1367.21 c #Conflicts: 710000 | #Constraints: 21667 1363.54/1367.21 c #Conflicts: 711000 | #Constraints: 22668 1363.54/1367.21 c #Conflicts: 712000 | #Constraints: 23670 1363.54/1367.21 c #Conflicts: 713000 | #Constraints: 24670 1363.54/1367.21 c #Conflicts: 714000 | #Constraints: 25671 1363.54/1367.21 c #Conflicts: 715000 | #Constraints: 26674 1363.54/1367.21 c #Conflicts: 716000 | #Constraints: 27675 1363.54/1367.21 c #Conflicts: 717000 | #Constraints: 28676 1363.54/1367.21 c #Conflicts: 718000 | #Constraints: 29677 1363.54/1367.21 c #Conflicts: 719000 | #Constraints: 30679 1363.54/1367.21 c #Conflicts: 720000 | #Constraints: 31679 1363.54/1367.21 c #Conflicts: 721000 | #Constraints: 32681 1363.54/1367.21 c #Conflicts: 722000 | #Constraints: 33684 1363.54/1367.21 c INPROCESSING 1363.54/1367.21 c GARBAGE COLLECT 1363.54/1367.21 c rational objective 0 1429.68/1433.50 c #Conflicts: 723000 | #Constraints: 17866 1429.68/1433.50 c #Conflicts: 724000 | #Constraints: 18869 1429.68/1433.50 c #Conflicts: 725000 | #Constraints: 19873 1429.68/1433.50 c #Conflicts: 726000 | #Constraints: 20877 1429.68/1433.50 c #Conflicts: 727000 | #Constraints: 21879 1429.68/1433.50 c #Conflicts: 728000 | #Constraints: 22879 1429.68/1433.50 c #Conflicts: 729000 | #Constraints: 23879 1429.68/1433.50 c #Conflicts: 730000 | #Constraints: 24881 1429.68/1433.50 c #Conflicts: 731000 | #Constraints: 25881 1429.68/1433.50 c #Conflicts: 732000 | #Constraints: 26882 1429.68/1433.50 c #Conflicts: 733000 | #Constraints: 27882 1429.68/1433.50 c #Conflicts: 734000 | #Constraints: 28882 1429.68/1433.50 c #Conflicts: 735000 | #Constraints: 29884 1429.68/1433.50 c #Conflicts: 736000 | #Constraints: 30884 1429.68/1433.50 c #Conflicts: 737000 | #Constraints: 31885 1429.68/1433.50 c #Conflicts: 738000 | #Constraints: 32886 1429.68/1433.50 c #Conflicts: 739000 | #Constraints: 33887 1429.68/1433.50 c INPROCESSING 1429.68/1433.50 c GARBAGE COLLECT 1429.68/1433.50 c rational objective 0 1474.07/1478.07 c #Conflicts: 740000 | #Constraints: 17868 1474.07/1478.07 c #Conflicts: 741000 | #Constraints: 18871 1474.07/1478.07 c #Conflicts: 742000 | #Constraints: 19871 1474.07/1478.07 c #Conflicts: 743000 | #Constraints: 20872 1474.07/1478.07 c #Conflicts: 744000 | #Constraints: 21872 1474.07/1478.07 c #Conflicts: 745000 | #Constraints: 22873 1474.07/1478.07 c #Conflicts: 746000 | #Constraints: 23873 1474.07/1478.07 c #Conflicts: 747000 | #Constraints: 24875 1474.07/1478.07 c #Conflicts: 748000 | #Constraints: 25876 1474.07/1478.07 c #Conflicts: 749000 | #Constraints: 26877 1474.07/1478.07 c #Conflicts: 750000 | #Constraints: 27877 1474.07/1478.07 c #Conflicts: 751000 | #Constraints: 28877 1474.07/1478.07 c #Conflicts: 752000 | #Constraints: 29877 1474.07/1478.07 c #Conflicts: 753000 | #Constraints: 30877 1474.07/1478.07 c #Conflicts: 754000 | #Constraints: 31879 1474.07/1478.07 c #Conflicts: 755000 | #Constraints: 32879 1474.07/1478.07 c #Conflicts: 756000 | #Constraints: 33879 1474.07/1478.07 c INPROCESSING 1474.07/1478.07 c GARBAGE COLLECT 1474.07/1478.07 c rational objective 0 1546.36/1550.56 c #Conflicts: 757000 | #Constraints: 17657 1546.36/1550.56 c #Conflicts: 758000 | #Constraints: 18659 1546.36/1550.56 c #Conflicts: 759000 | #Constraints: 19660 1546.36/1550.56 c #Conflicts: 760000 | #Constraints: 20661 1546.36/1550.56 c #Conflicts: 761000 | #Constraints: 21663 1546.36/1550.56 c #Conflicts: 762000 | #Constraints: 22664 1546.36/1550.56 c #Conflicts: 763000 | #Constraints: 23665 1546.36/1550.56 c #Conflicts: 764000 | #Constraints: 24666 1546.36/1550.56 c #Conflicts: 765000 | #Constraints: 25670 1546.36/1550.56 c #Conflicts: 766000 | #Constraints: 26672 1546.36/1550.56 c #Conflicts: 767000 | #Constraints: 27672 1546.36/1550.56 c #Conflicts: 768000 | #Constraints: 28675 1546.36/1550.56 c #Conflicts: 769000 | #Constraints: 29676 1546.36/1550.56 c #Conflicts: 770000 | #Constraints: 30679 1546.36/1550.56 c #Conflicts: 771000 | #Constraints: 31679 1546.36/1550.56 c #Conflicts: 772000 | #Constraints: 32680 1546.36/1550.56 c #Conflicts: 773000 | #Constraints: 33682 1546.36/1550.56 c #Conflicts: 774000 | #Constraints: 34682 1546.36/1550.56 c INPROCESSING 1546.36/1550.56 c GARBAGE COLLECT 1546.36/1550.56 c rational objective 0 1593.52/1597.81 c #Conflicts: 775000 | #Constraints: 18267 1593.52/1597.81 c #Conflicts: 776000 | #Constraints: 19268 1593.52/1597.81 c #Conflicts: 777000 | #Constraints: 20268 1593.52/1597.81 c #Conflicts: 778000 | #Constraints: 21270 1593.52/1597.81 c #Conflicts: 779000 | #Constraints: 22270 1593.52/1597.81 c #Conflicts: 780000 | #Constraints: 23270 1593.52/1597.81 c #Conflicts: 781000 | #Constraints: 24271 1593.52/1597.81 c #Conflicts: 782000 | #Constraints: 25274 1593.52/1597.81 c #Conflicts: 783000 | #Constraints: 26276 1593.52/1597.81 c #Conflicts: 784000 | #Constraints: 27276 1593.52/1597.81 c #Conflicts: 785000 | #Constraints: 28277 1593.52/1597.81 c #Conflicts: 786000 | #Constraints: 29278 1593.52/1597.81 c #Conflicts: 787000 | #Constraints: 30278 1593.52/1597.81 c #Conflicts: 788000 | #Constraints: 31280 1593.52/1597.81 c #Conflicts: 789000 | #Constraints: 32280 1593.52/1597.81 c #Conflicts: 790000 | #Constraints: 33282 1593.52/1597.81 c #Conflicts: 791000 | #Constraints: 34283 1593.52/1597.81 c #Conflicts: 792000 | #Constraints: 35283 1593.52/1597.81 c INPROCESSING 1593.52/1597.81 c GARBAGE COLLECT 1593.52/1597.81 c rational objective 0 1640.19/1644.67 c #Conflicts: 793000 | #Constraints: 18656 1640.19/1644.67 c #Conflicts: 794000 | #Constraints: 19657 1640.19/1644.67 c #Conflicts: 795000 | #Constraints: 20658 1640.19/1644.67 c #Conflicts: 796000 | #Constraints: 21658 1640.19/1644.67 c #Conflicts: 797000 | #Constraints: 22658 1640.19/1644.67 c #Conflicts: 798000 | #Constraints: 23660 1640.19/1644.67 c #Conflicts: 799000 | #Constraints: 24660 1640.19/1644.67 c #Conflicts: 800000 | #Constraints: 25661 1640.19/1644.67 c #Conflicts: 801000 | #Constraints: 26665 1640.19/1644.67 c #Conflicts: 802000 | #Constraints: 27665 1640.19/1644.67 c #Conflicts: 803000 | #Constraints: 28667 1640.19/1644.67 c #Conflicts: 804000 | #Constraints: 29667 1640.19/1644.67 c #Conflicts: 805000 | #Constraints: 30667 1640.19/1644.67 c #Conflicts: 806000 | #Constraints: 31668 1640.19/1644.67 c #Conflicts: 807000 | #Constraints: 32668 1640.19/1644.67 c #Conflicts: 808000 | #Constraints: 33668 1640.19/1644.67 c #Conflicts: 809000 | #Constraints: 34668 1640.19/1644.67 c #Conflicts: 810000 | #Constraints: 35668 1640.19/1644.67 c INPROCESSING 1640.19/1644.67 c GARBAGE COLLECT 1640.19/1644.67 c rational objective 0 1718.28/1722.96 c #Conflicts: 811000 | #Constraints: 18854 1718.28/1722.96 c #Conflicts: 812000 | #Constraints: 19854 1718.28/1722.96 c #Conflicts: 813000 | #Constraints: 20855 1718.28/1722.96 c #Conflicts: 814000 | #Constraints: 21856 1718.28/1722.96 c #Conflicts: 815000 | #Constraints: 22859 1718.28/1722.96 c #Conflicts: 816000 | #Constraints: 23861 1718.28/1722.96 c #Conflicts: 817000 | #Constraints: 24862 1718.28/1722.96 c #Conflicts: 818000 | #Constraints: 25862 1718.28/1722.96 c #Conflicts: 819000 | #Constraints: 26866 1718.28/1722.96 c #Conflicts: 820000 | #Constraints: 27867 1718.28/1722.96 c #Conflicts: 821000 | #Constraints: 28871 1718.28/1722.96 c #Conflicts: 822000 | #Constraints: 29871 1718.28/1722.96 c #Conflicts: 823000 | #Constraints: 30873 1718.28/1722.96 c #Conflicts: 824000 | #Constraints: 31876 1718.28/1722.96 c #Conflicts: 825000 | #Constraints: 32880 1718.28/1722.96 c #Conflicts: 826000 | #Constraints: 33881 1718.28/1722.96 c #Conflicts: 827000 | #Constraints: 34882 1718.28/1722.96 c #Conflicts: 828000 | #Constraints: 35883 1718.28/1722.96 c INPROCESSING 1718.28/1722.96 c GARBAGE COLLECT 1718.28/1722.96 c rational objective 0 1780.70/1785.51 c #Conflicts: 829000 | #Constraints: 18867 1780.70/1785.51 c #Conflicts: 830000 | #Constraints: 19867 1780.70/1785.51 c #Conflicts: 831000 | #Constraints: 20867 1780.70/1785.51 c #Conflicts: 832000 | #Constraints: 21869 1780.70/1785.51 c #Conflicts: 833000 | #Constraints: 22869 1780.70/1785.51 c #Conflicts: 834000 | #Constraints: 23869 1780.70/1785.51 c #Conflicts: 835000 | #Constraints: 24869 1780.70/1785.51 c #Conflicts: 836000 | #Constraints: 25871 1780.70/1785.51 c #Conflicts: 837000 | #Constraints: 26871 1780.70/1785.51 c #Conflicts: 838000 | #Constraints: 27871 1780.70/1785.51 c #Conflicts: 839000 | #Constraints: 28872 1780.70/1785.51 c #Conflicts: 840000 | #Constraints: 29872 1780.70/1785.51 c #Conflicts: 841000 | #Constraints: 30873 1780.70/1785.51 c #Conflicts: 842000 | #Constraints: 31874 1780.70/1785.51 c #Conflicts: 843000 | #Constraints: 32874 1780.70/1785.51 c #Conflicts: 844000 | #Constraints: 33874 1780.70/1785.51 c #Conflicts: 845000 | #Constraints: 34875 1780.70/1785.51 c #Conflicts: 846000 | #Constraints: 35876 1780.70/1785.51 c INPROCESSING 1780.70/1785.51 c GARBAGE COLLECT 1780.70/1785.51 c rational objective 0 1861.40/1866.47 c #Conflicts: 847000 | #Constraints: 18656 1861.40/1866.47 c #Conflicts: 848000 | #Constraints: 19656 1861.40/1866.47 c #Conflicts: 849000 | #Constraints: 20657 1861.40/1866.47 c #Conflicts: 850000 | #Constraints: 21658 1861.40/1866.47 c #Conflicts: 851000 | #Constraints: 22661 1861.40/1866.47 c #Conflicts: 852000 | #Constraints: 23663 1861.40/1866.47 c #Conflicts: 853000 | #Constraints: 24665 1861.40/1866.47 c #Conflicts: 854000 | #Constraints: 25667 1861.40/1866.47 c #Conflicts: 855000 | #Constraints: 26669 1861.40/1866.47 c #Conflicts: 856000 | #Constraints: 27671 1861.40/1866.47 c #Conflicts: 857000 | #Constraints: 28673 1861.40/1866.47 c #Conflicts: 858000 | #Constraints: 29674 1861.40/1866.47 c #Conflicts: 859000 | #Constraints: 30675 1861.40/1866.47 c #Conflicts: 860000 | #Constraints: 31675 1861.40/1866.47 c #Conflicts: 861000 | #Constraints: 32676 1861.40/1866.47 c #Conflicts: 862000 | #Constraints: 33676 1861.40/1866.47 c #Conflicts: 863000 | #Constraints: 34678 1861.40/1866.47 c #Conflicts: 864000 | #Constraints: 35680 1861.40/1866.47 c #Conflicts: 865000 | #Constraints: 36680 1861.40/1866.47 c INPROCESSING 1861.40/1866.47 c GARBAGE COLLECT 1861.40/1866.47 c rational objective 0 1920.95/1926.13 c #Conflicts: 866000 | #Constraints: 19265 1920.95/1926.13 c #Conflicts: 867000 | #Constraints: 20266 1920.95/1926.13 c #Conflicts: 868000 | #Constraints: 21266 1920.95/1926.13 c #Conflicts: 869000 | #Constraints: 22266 1920.95/1926.13 c #Conflicts: 870000 | #Constraints: 23266 1920.95/1926.13 c #Conflicts: 871000 | #Constraints: 24267 1920.95/1926.13 c #Conflicts: 872000 | #Constraints: 25267 1920.95/1926.13 c #Conflicts: 873000 | #Constraints: 26267 1920.95/1926.13 c #Conflicts: 874000 | #Constraints: 27267 1920.95/1926.13 c #Conflicts: 875000 | #Constraints: 28267 1920.95/1926.13 c #Conflicts: 876000 | #Constraints: 29267 1920.95/1926.13 c #Conflicts: 877000 | #Constraints: 30267 1920.95/1926.13 c #Conflicts: 878000 | #Constraints: 31268 1920.95/1926.13 c #Conflicts: 879000 | #Constraints: 32268 1920.95/1926.13 c #Conflicts: 880000 | #Constraints: 33269 1920.95/1926.13 c #Conflicts: 881000 | #Constraints: 34269 1920.95/1926.13 c #Conflicts: 882000 | #Constraints: 35270 1920.95/1926.13 c #Conflicts: 883000 | #Constraints: 36271 1920.95/1926.13 c #Conflicts: 884000 | #Constraints: 37273 1920.95/1926.13 c INPROCESSING 1920.95/1926.13 c GARBAGE COLLECT 1920.95/1926.13 c rational objective 0 1975.22/1980.53 c #Conflicts: 885000 | #Constraints: 19654 1975.22/1980.53 c #Conflicts: 886000 | #Constraints: 20654 1975.22/1980.53 c #Conflicts: 887000 | #Constraints: 21654 1975.22/1980.53 c #Conflicts: 888000 | #Constraints: 22655 1975.22/1980.53 c #Conflicts: 889000 | #Constraints: 23655 1975.22/1980.53 c #Conflicts: 890000 | #Constraints: 24655 1975.22/1980.53 c #Conflicts: 891000 | #Constraints: 25658 1975.22/1980.53 c #Conflicts: 892000 | #Constraints: 26658 1975.22/1980.53 c #Conflicts: 893000 | #Constraints: 27659 1975.22/1980.53 c #Conflicts: 894000 | #Constraints: 28659 1975.22/1980.53 c #Conflicts: 895000 | #Constraints: 29660 1975.22/1980.53 c #Conflicts: 896000 | #Constraints: 30660 1975.22/1980.53 c #Conflicts: 897000 | #Constraints: 31660 1975.22/1980.53 c #Conflicts: 898000 | #Constraints: 32660 1975.22/1980.53 c #Conflicts: 899000 | #Constraints: 33660 1975.22/1980.53 c #Conflicts: 900000 | #Constraints: 34661 1975.22/1980.53 c #Conflicts: 901000 | #Constraints: 35661 1975.22/1980.53 c #Conflicts: 902000 | #Constraints: 36662 1975.22/1980.53 c #Conflicts: 903000 | #Constraints: 37662 1975.22/1980.53 c INPROCESSING 1975.22/1980.53 c GARBAGE COLLECT 1975.22/1980.53 c rational objective 0 2063.60/2069.15 c #Conflicts: 904000 | #Constraints: 19849 2063.60/2069.15 c #Conflicts: 905000 | #Constraints: 20849 2063.60/2069.15 c #Conflicts: 906000 | #Constraints: 21849 2063.60/2069.15 c #Conflicts: 907000 | #Constraints: 22850 2063.60/2069.15 c #Conflicts: 908000 | #Constraints: 23851 2063.60/2069.15 c #Conflicts: 909000 | #Constraints: 24851 2063.60/2069.15 c #Conflicts: 910000 | #Constraints: 25852 2063.60/2069.15 c #Conflicts: 911000 | #Constraints: 26852 2063.60/2069.15 c #Conflicts: 912000 | #Constraints: 27852 2063.60/2069.15 c #Conflicts: 913000 | #Constraints: 28853 2063.60/2069.15 c #Conflicts: 914000 | #Constraints: 29855 2063.60/2069.15 c #Conflicts: 915000 | #Constraints: 30855 2063.60/2069.15 c #Conflicts: 916000 | #Constraints: 31856 2063.60/2069.15 c #Conflicts: 917000 | #Constraints: 32857 2063.60/2069.15 c #Conflicts: 918000 | #Constraints: 33857 2063.60/2069.15 c #Conflicts: 919000 | #Constraints: 34857 2063.60/2069.15 c #Conflicts: 920000 | #Constraints: 35859 2063.60/2069.15 c #Conflicts: 921000 | #Constraints: 36861 2063.60/2069.15 c #Conflicts: 922000 | #Constraints: 37862 2063.60/2069.15 c INPROCESSING 2063.60/2069.15 c GARBAGE COLLECT 2063.60/2069.15 c rational objective 0 2127.52/2133.22 c #Conflicts: 923000 | #Constraints: 19864 2127.52/2133.22 c #Conflicts: 924000 | #Constraints: 20865 2127.52/2133.22 c #Conflicts: 925000 | #Constraints: 21865 2127.52/2133.22 c #Conflicts: 926000 | #Constraints: 22865 2127.52/2133.22 c #Conflicts: 927000 | #Constraints: 23866 2127.52/2133.22 c #Conflicts: 928000 | #Constraints: 24867 2127.52/2133.22 c #Conflicts: 929000 | #Constraints: 25867 2127.52/2133.22 c #Conflicts: 930000 | #Constraints: 26868 2127.52/2133.22 c #Conflicts: 931000 | #Constraints: 27868 2127.52/2133.22 c #Conflicts: 932000 | #Constraints: 28869 2127.52/2133.22 c #Conflicts: 933000 | #Constraints: 29870 2127.52/2133.22 c #Conflicts: 934000 | #Constraints: 30871 2127.52/2133.22 c #Conflicts: 935000 | #Constraints: 31871 2127.52/2133.22 c #Conflicts: 936000 | #Constraints: 32873 2127.52/2133.22 c #Conflicts: 937000 | #Constraints: 33873 2127.52/2133.22 c #Conflicts: 938000 | #Constraints: 34873 2127.52/2133.22 c #Conflicts: 939000 | #Constraints: 35873 2127.52/2133.22 c #Conflicts: 940000 | #Constraints: 36873 2127.52/2133.22 c #Conflicts: 941000 | #Constraints: 37873 2127.52/2133.22 c INPROCESSING 2127.52/2133.22 c GARBAGE COLLECT 2127.52/2133.22 c rational objective 0 2216.79/2222.78 c #Conflicts: 942000 | #Constraints: 19651 2216.79/2222.78 c #Conflicts: 943000 | #Constraints: 20651 2216.79/2222.78 c #Conflicts: 944000 | #Constraints: 21651 2216.79/2222.78 c #Conflicts: 945000 | #Constraints: 22654 2216.79/2222.78 c #Conflicts: 946000 | #Constraints: 23655 2216.79/2222.78 c #Conflicts: 947000 | #Constraints: 24655 2216.79/2222.78 c #Conflicts: 948000 | #Constraints: 25655 2216.79/2222.78 c #Conflicts: 949000 | #Constraints: 26655 2216.79/2222.78 c #Conflicts: 950000 | #Constraints: 27656 2216.79/2222.78 c #Conflicts: 951000 | #Constraints: 28656 2216.79/2222.78 c #Conflicts: 952000 | #Constraints: 29656 2216.79/2222.78 c #Conflicts: 953000 | #Constraints: 30657 2216.79/2222.78 c #Conflicts: 954000 | #Constraints: 31657 2216.79/2222.78 c #Conflicts: 955000 | #Constraints: 32657 2216.79/2222.78 c #Conflicts: 956000 | #Constraints: 33657 2216.79/2222.78 c #Conflicts: 957000 | #Constraints: 34657 2216.79/2222.78 c #Conflicts: 958000 | #Constraints: 35660 2216.79/2222.78 c #Conflicts: 959000 | #Constraints: 36660 2216.79/2222.78 c #Conflicts: 960000 | #Constraints: 37660 2216.79/2222.78 c #Conflicts: 961000 | #Constraints: 38660 2216.79/2222.78 c INPROCESSING 2216.79/2222.78 c GARBAGE COLLECT 2216.79/2222.78 c rational objective 0 2288.51/2294.69 c #Conflicts: 962000 | #Constraints: 20252 2288.51/2294.69 c #Conflicts: 963000 | #Constraints: 21256 2288.51/2294.69 c #Conflicts: 964000 | #Constraints: 22256 2288.51/2294.69 c #Conflicts: 965000 | #Constraints: 23257 2288.51/2294.69 c #Conflicts: 966000 | #Constraints: 24257 2288.51/2294.69 c #Conflicts: 967000 | #Constraints: 25257 2288.51/2294.69 c #Conflicts: 968000 | #Constraints: 26257 2288.51/2294.69 c #Conflicts: 969000 | #Constraints: 27259 2288.51/2294.69 c #Conflicts: 970000 | #Constraints: 28260 2288.51/2294.69 c #Conflicts: 971000 | #Constraints: 29261 2288.51/2294.69 c #Conflicts: 972000 | #Constraints: 30262 2288.51/2294.69 c #Conflicts: 973000 | #Constraints: 31262 2288.51/2294.69 c #Conflicts: 974000 | #Constraints: 32262 2288.51/2294.69 c #Conflicts: 975000 | #Constraints: 33262 2288.51/2294.69 c #Conflicts: 976000 | #Constraints: 34262 2288.51/2294.69 c #Conflicts: 977000 | #Constraints: 35264 2288.51/2294.69 c #Conflicts: 978000 | #Constraints: 36264 2288.51/2294.69 c #Conflicts: 979000 | #Constraints: 37265 2288.51/2294.69 c #Conflicts: 980000 | #Constraints: 38265 2288.51/2294.69 c #Conflicts: 981000 | #Constraints: 39265 2288.51/2294.69 c INPROCESSING 2288.51/2294.69 c GARBAGE COLLECT 2288.51/2294.69 c rational objective 0 2373.30/2379.62 c #Conflicts: 982000 | #Constraints: 20651 2373.30/2379.62 c #Conflicts: 983000 | #Constraints: 21651 2373.30/2379.62 c #Conflicts: 984000 | #Constraints: 22652 2373.30/2379.62 c #Conflicts: 985000 | #Constraints: 23652 2373.30/2379.62 c #Conflicts: 986000 | #Constraints: 24653 2373.30/2379.62 c #Conflicts: 987000 | #Constraints: 25653 2373.30/2379.62 c #Conflicts: 988000 | #Constraints: 26653 2373.30/2379.62 c #Conflicts: 989000 | #Constraints: 27653 2373.30/2379.62 c #Conflicts: 990000 | #Constraints: 28654 2373.30/2379.62 c #Conflicts: 991000 | #Constraints: 29655 2373.30/2379.62 c #Conflicts: 992000 | #Constraints: 30655 2373.30/2379.62 c #Conflicts: 993000 | #Constraints: 31655 2373.30/2379.62 c #Conflicts: 994000 | #Constraints: 32655 2373.30/2379.62 c #Conflicts: 995000 | #Constraints: 33655 2373.30/2379.62 c #Conflicts: 996000 | #Constraints: 34655 2373.30/2379.62 c #Conflicts: 997000 | #Constraints: 35655 2373.30/2379.62 c #Conflicts: 998000 | #Constraints: 36655 2373.30/2379.62 c #Conflicts: 999000 | #Constraints: 37655 2373.30/2379.62 c #Conflicts: 1000000 | #Constraints: 38655 2373.30/2379.62 c #Conflicts: 1001000 | #Constraints: 39655 2373.30/2379.62 c INPROCESSING 2373.30/2379.62 c GARBAGE COLLECT 2373.30/2379.62 c rational objective 0 2471.15/2477.79 c #Conflicts: 1002000 | #Constraints: 20848 2471.15/2477.79 c bounds 22 >= 0 @ 2357.74 2471.15/2477.79 c bounds 20 >= 0 @ 2357.76 2471.15/2477.79 c bounds 18 >= 0 @ 2357.79 2471.15/2477.79 c #Conflicts: 1003000 | #Constraints: 21852 2471.15/2477.79 c #Conflicts: 1004000 | #Constraints: 22852 2471.15/2477.79 c #Conflicts: 1005000 | #Constraints: 23852 2471.15/2477.79 c #Conflicts: 1006000 | #Constraints: 24853 2471.15/2477.79 c #Conflicts: 1007000 | #Constraints: 25855 2471.15/2477.79 c #Conflicts: 1008000 | #Constraints: 26858 2471.15/2477.79 c #Conflicts: 1009000 | #Constraints: 27861 2471.15/2477.79 c #Conflicts: 1010000 | #Constraints: 28861 2471.15/2477.79 c #Conflicts: 1011000 | #Constraints: 29861 2471.15/2477.79 c #Conflicts: 1012000 | #Constraints: 30863 2471.15/2477.79 c #Conflicts: 1013000 | #Constraints: 31866 2471.15/2477.79 c #Conflicts: 1014000 | #Constraints: 32867 2471.15/2477.79 c #Conflicts: 1015000 | #Constraints: 33869 2471.15/2477.79 c #Conflicts: 1016000 | #Constraints: 34872 2471.15/2477.79 c #Conflicts: 1017000 | #Constraints: 35872 2471.15/2477.79 c #Conflicts: 1018000 | #Constraints: 36873 2471.15/2477.79 c #Conflicts: 1019000 | #Constraints: 37877 2471.15/2477.79 c #Conflicts: 1020000 | #Constraints: 38877 2471.15/2477.79 c #Conflicts: 1021000 | #Constraints: 39877 2471.15/2477.79 c INPROCESSING 2471.15/2477.79 c GARBAGE COLLECT 2471.15/2477.79 c rational objective 0 2545.47/2552.25 c #Conflicts: 1022000 | #Constraints: 20864 2545.47/2552.25 c #Conflicts: 1023000 | #Constraints: 21866 2545.47/2552.25 c #Conflicts: 1024000 | #Constraints: 22869 2545.47/2552.25 c #Conflicts: 1025000 | #Constraints: 23871 2545.47/2552.25 c #Conflicts: 1026000 | #Constraints: 24873 2545.47/2552.25 c #Conflicts: 1027000 | #Constraints: 25876 2545.47/2552.25 c #Conflicts: 1028000 | #Constraints: 26879 2545.47/2552.25 c #Conflicts: 1029000 | #Constraints: 27881 2545.47/2552.25 c #Conflicts: 1030000 | #Constraints: 28883 2545.47/2552.25 c #Conflicts: 1031000 | #Constraints: 29883 2545.47/2552.25 c #Conflicts: 1032000 | #Constraints: 30884 2545.47/2552.25 c #Conflicts: 1033000 | #Constraints: 31885 2545.47/2552.25 c #Conflicts: 1034000 | #Constraints: 32886 2545.47/2552.25 c #Conflicts: 1035000 | #Constraints: 33887 2545.47/2552.25 c #Conflicts: 1036000 | #Constraints: 34889 2545.47/2552.25 c #Conflicts: 1037000 | #Constraints: 35890 2545.47/2552.25 c #Conflicts: 1038000 | #Constraints: 36891 2545.47/2552.25 c #Conflicts: 1039000 | #Constraints: 37892 2545.47/2552.25 c #Conflicts: 1040000 | #Constraints: 38894 2545.47/2552.25 c #Conflicts: 1041000 | #Constraints: 39894 2545.47/2552.25 c INPROCESSING 2545.47/2552.25 c GARBAGE COLLECT 2545.47/2552.25 c rational objective 0 2649.50/2656.56 c #Conflicts: 1042000 | #Constraints: 20671 2649.50/2656.56 c #Conflicts: 1043000 | #Constraints: 21672 2649.50/2656.56 c #Conflicts: 1044000 | #Constraints: 22674 2649.50/2656.56 c #Conflicts: 1045000 | #Constraints: 23674 2649.50/2656.56 c #Conflicts: 1046000 | #Constraints: 24676 2649.50/2656.56 c #Conflicts: 1047000 | #Constraints: 25679 2649.50/2656.56 c #Conflicts: 1048000 | #Constraints: 26683 2649.50/2656.56 c #Conflicts: 1049000 | #Constraints: 27686 2649.50/2656.56 c #Conflicts: 1050000 | #Constraints: 28687 2649.50/2656.56 c #Conflicts: 1051000 | #Constraints: 29690 2649.50/2656.56 c #Conflicts: 1052000 | #Constraints: 30692 2649.50/2656.56 c #Conflicts: 1053000 | #Constraints: 31692 2649.50/2656.56 c #Conflicts: 1054000 | #Constraints: 32693 2649.50/2656.56 c #Conflicts: 1055000 | #Constraints: 33693 2649.50/2656.56 c #Conflicts: 1056000 | #Constraints: 34695 2649.50/2656.56 c #Conflicts: 1057000 | #Constraints: 35696 2649.50/2656.56 c #Conflicts: 1058000 | #Constraints: 36698 2649.50/2656.56 c #Conflicts: 1059000 | #Constraints: 37699 2649.50/2656.56 c #Conflicts: 1060000 | #Constraints: 38700 2649.50/2656.56 c #Conflicts: 1061000 | #Constraints: 39702 2649.50/2656.56 c #Conflicts: 1062000 | #Constraints: 40702 2649.50/2656.56 c INPROCESSING 2649.50/2656.56 c GARBAGE COLLECT 2649.50/2656.56 c rational objective 0 2748.85/2756.11 c #Conflicts: 1063000 | #Constraints: 21273 2748.85/2756.11 c #Conflicts: 1064000 | #Constraints: 22274 2748.85/2756.11 c #Conflicts: 1065000 | #Constraints: 23274 2748.85/2756.11 c #Conflicts: 1066000 | #Constraints: 24275 2748.85/2756.11 c #Conflicts: 1067000 | #Constraints: 25275 2748.85/2756.11 c #Conflicts: 1068000 | #Constraints: 26275 2748.85/2756.11 c #Conflicts: 1069000 | #Constraints: 27275 2748.85/2756.11 c #Conflicts: 1070000 | #Constraints: 28276 2748.85/2756.11 c #Conflicts: 1071000 | #Constraints: 29276 2748.85/2756.11 c #Conflicts: 1072000 | #Constraints: 30276 2748.85/2756.11 c #Conflicts: 1073000 | #Constraints: 31276 2748.85/2756.11 c #Conflicts: 1074000 | #Constraints: 32276 2748.85/2756.11 c #Conflicts: 1075000 | #Constraints: 33277 2748.85/2756.11 c #Conflicts: 1076000 | #Constraints: 34278 2748.85/2756.11 c #Conflicts: 1077000 | #Constraints: 35279 2748.85/2756.11 c #Conflicts: 1078000 | #Constraints: 36280 2748.85/2756.11 c #Conflicts: 1079000 | #Constraints: 37281 2748.85/2756.11 c #Conflicts: 1080000 | #Constraints: 38282 2748.85/2756.11 c #Conflicts: 1081000 | #Constraints: 39282 2748.85/2756.11 c #Conflicts: 1082000 | #Constraints: 40282 2748.85/2756.11 c #Conflicts: 1083000 | #Constraints: 41283 2748.85/2756.11 c INPROCESSING 2748.85/2756.11 c GARBAGE COLLECT 2748.85/2756.11 c rational objective 0 2856.58/2864.14 c #Conflicts: 1084000 | #Constraints: 21661 2856.58/2864.14 c #Conflicts: 1085000 | #Constraints: 22661 2856.58/2864.14 c #Conflicts: 1086000 | #Constraints: 23662 2856.58/2864.14 c #Conflicts: 1087000 | #Constraints: 24663 2856.58/2864.14 c #Conflicts: 1088000 | #Constraints: 25665 2856.58/2864.14 c #Conflicts: 1089000 | #Constraints: 26665 2856.58/2864.14 c #Conflicts: 1090000 | #Constraints: 27665 2856.58/2864.14 c #Conflicts: 1091000 | #Constraints: 28666 2856.58/2864.14 c #Conflicts: 1092000 | #Constraints: 29668 2856.58/2864.14 c #Conflicts: 1093000 | #Constraints: 30668 2856.58/2864.14 c #Conflicts: 1094000 | #Constraints: 31669 2856.58/2864.14 c #Conflicts: 1095000 | #Constraints: 32670 2856.58/2864.14 c #Conflicts: 1096000 | #Constraints: 33670 2856.58/2864.14 c #Conflicts: 1097000 | #Constraints: 34670 2856.58/2864.14 c #Conflicts: 1098000 | #Constraints: 35670 2856.58/2864.14 c #Conflicts: 1099000 | #Constraints: 36672 2856.58/2864.14 c #Conflicts: 1100000 | #Constraints: 37672 2856.58/2864.14 c #Conflicts: 1101000 | #Constraints: 38672 2856.58/2864.14 c #Conflicts: 1102000 | #Constraints: 39673 2856.58/2864.14 c #Conflicts: 1103000 | #Constraints: 40674 2856.58/2864.14 c #Conflicts: 1104000 | #Constraints: 41674 2856.58/2864.14 c INPROCESSING 2856.58/2864.14 c GARBAGE COLLECT 2856.58/2864.14 c rational objective 0 2939.66/2947.49 c #Conflicts: 1105000 | #Constraints: 21859 2939.66/2947.49 c #Conflicts: 1106000 | #Constraints: 22860 2939.66/2947.49 c #Conflicts: 1107000 | #Constraints: 23862 2939.66/2947.49 c #Conflicts: 1108000 | #Constraints: 24864 2939.66/2947.49 c #Conflicts: 1109000 | #Constraints: 25864 2939.66/2947.49 c #Conflicts: 1110000 | #Constraints: 26865 2939.66/2947.49 c #Conflicts: 1111000 | #Constraints: 27865 2939.66/2947.49 c #Conflicts: 1112000 | #Constraints: 28865 2939.66/2947.49 c #Conflicts: 1113000 | #Constraints: 29867 2939.66/2947.49 c #Conflicts: 1114000 | #Constraints: 30872 2939.66/2947.49 c #Conflicts: 1115000 | #Constraints: 31872 2939.66/2947.49 c #Conflicts: 1116000 | #Constraints: 32873 2939.66/2947.49 c #Conflicts: 1117000 | #Constraints: 33873 2939.66/2947.49 c #Conflicts: 1118000 | #Constraints: 34873 2939.66/2947.49 c #Conflicts: 1119000 | #Constraints: 35873 2939.66/2947.49 c #Conflicts: 1120000 | #Constraints: 36875 2939.66/2947.49 c #Conflicts: 1121000 | #Constraints: 37876 2939.66/2947.49 c #Conflicts: 1122000 | #Constraints: 38879 2939.66/2947.49 c #Conflicts: 1123000 | #Constraints: 39879 2939.66/2947.49 c #Conflicts: 1124000 | #Constraints: 40880 2939.66/2947.49 c #Conflicts: 1125000 | #Constraints: 41881 2939.66/2947.49 c INPROCESSING 2939.66/2947.49 c GARBAGE COLLECT 2939.66/2947.49 c rational objective 0 3056.26/3064.38 c #Conflicts: 1126000 | #Constraints: 21859 3056.26/3064.38 c #Conflicts: 1127000 | #Constraints: 22862 3056.26/3064.38 c #Conflicts: 1128000 | #Constraints: 23862 3056.26/3064.38 c #Conflicts: 1129000 | #Constraints: 24863 3056.26/3064.38 c #Conflicts: 1130000 | #Constraints: 25864 3056.26/3064.38 c #Conflicts: 1131000 | #Constraints: 26865 3056.26/3064.38 c #Conflicts: 1132000 | #Constraints: 27865 3056.26/3064.38 c #Conflicts: 1133000 | #Constraints: 28867 3056.26/3064.38 c #Conflicts: 1134000 | #Constraints: 29868 3056.26/3064.38 c #Conflicts: 1135000 | #Constraints: 30871 3056.26/3064.38 c #Conflicts: 1136000 | #Constraints: 31874 3056.26/3064.38 c #Conflicts: 1137000 | #Constraints: 32875 3056.26/3064.38 c #Conflicts: 1138000 | #Constraints: 33876 3056.26/3064.38 c #Conflicts: 1139000 | #Constraints: 34878 3056.26/3064.38 c #Conflicts: 1140000 | #Constraints: 35881 3056.26/3064.38 c #Conflicts: 1141000 | #Constraints: 36881 3056.26/3064.38 c #Conflicts: 1142000 | #Constraints: 37882 3056.26/3064.38 c #Conflicts: 1143000 | #Constraints: 38883 3056.26/3064.38 c #Conflicts: 1144000 | #Constraints: 39886 3056.26/3064.38 c #Conflicts: 1145000 | #Constraints: 40890 3056.26/3064.38 c #Conflicts: 1146000 | #Constraints: 41890 3056.26/3064.38 c INPROCESSING 3056.26/3064.38 c GARBAGE COLLECT 3056.26/3064.38 c rational objective 0 3134.17/3142.43 c #Conflicts: 1147000 | #Constraints: 21676 3134.17/3142.43 c #Conflicts: 1148000 | #Constraints: 22677 3134.17/3142.43 c #Conflicts: 1149000 | #Constraints: 23680 3134.17/3142.43 c #Conflicts: 1150000 | #Constraints: 24683 3134.17/3142.43 c #Conflicts: 1151000 | #Constraints: 25685 3134.17/3142.43 c #Conflicts: 1152000 | #Constraints: 26687 3134.17/3142.43 c #Conflicts: 1153000 | #Constraints: 27687 3134.17/3142.43 c #Conflicts: 1154000 | #Constraints: 28689 3134.17/3142.43 c #Conflicts: 1155000 | #Constraints: 29691 3134.17/3142.43 c #Conflicts: 1156000 | #Constraints: 30691 3134.17/3142.43 c #Conflicts: 1157000 | #Constraints: 31694 3134.17/3142.43 c #Conflicts: 1158000 | #Constraints: 32694 3134.17/3142.43 c #Conflicts: 1159000 | #Constraints: 33694 3134.17/3142.43 c #Conflicts: 1160000 | #Constraints: 34694 3134.17/3142.43 c #Conflicts: 1161000 | #Constraints: 35694 3134.17/3142.43 c #Conflicts: 1162000 | #Constraints: 36694 3134.17/3142.43 c #Conflicts: 1163000 | #Constraints: 37694 3134.17/3142.43 c #Conflicts: 1164000 | #Constraints: 38694 3134.17/3142.43 c #Conflicts: 1165000 | #Constraints: 39694 3134.17/3142.43 c #Conflicts: 1166000 | #Constraints: 40695 3134.17/3142.43 c #Conflicts: 1167000 | #Constraints: 41695 3134.17/3142.43 c #Conflicts: 1168000 | #Constraints: 42695 3134.17/3142.43 c INPROCESSING 3134.17/3142.43 c GARBAGE COLLECT 3134.17/3142.43 c rational objective 0 3216.58/3225.02 c #Conflicts: 1169000 | #Constraints: 22262 3216.58/3225.02 c #Conflicts: 1170000 | #Constraints: 23263 3216.58/3225.02 c #Conflicts: 1171000 | #Constraints: 24264 3216.58/3225.02 c #Conflicts: 1172000 | #Constraints: 25265 3216.58/3225.02 c #Conflicts: 1173000 | #Constraints: 26265 3216.58/3225.02 c #Conflicts: 1174000 | #Constraints: 27266 3216.58/3225.02 c #Conflicts: 1175000 | #Constraints: 28266 3216.58/3225.02 c #Conflicts: 1176000 | #Constraints: 29266 3216.58/3225.02 c #Conflicts: 1177000 | #Constraints: 30266 3216.58/3225.02 c #Conflicts: 1178000 | #Constraints: 31266 3216.58/3225.02 c #Conflicts: 1179000 | #Constraints: 32266 3216.58/3225.02 c #Conflicts: 1180000 | #Constraints: 33266 3216.58/3225.02 c #Conflicts: 1181000 | #Constraints: 34266 3216.58/3225.02 c #Conflicts: 1182000 | #Constraints: 35267 3216.58/3225.02 c #Conflicts: 1183000 | #Constraints: 36268 3216.58/3225.02 c #Conflicts: 1184000 | #Constraints: 37269 3216.58/3225.02 c #Conflicts: 1185000 | #Constraints: 38271 3216.58/3225.02 c #Conflicts: 1186000 | #Constraints: 39273 3216.58/3225.02 c #Conflicts: 1187000 | #Constraints: 40273 3216.58/3225.02 c #Conflicts: 1188000 | #Constraints: 41273 3216.58/3225.02 c #Conflicts: 1189000 | #Constraints: 42273 3216.58/3225.02 c #Conflicts: 1190000 | #Constraints: 43273 3216.58/3225.02 c INPROCESSING 3216.58/3225.02 c GARBAGE COLLECT 3216.58/3225.02 c rational objective 0 3344.65/3353.45 c #Conflicts: 1191000 | #Constraints: 22655 3344.65/3353.45 c #Conflicts: 1192000 | #Constraints: 23656 3344.65/3353.45 c #Conflicts: 1193000 | #Constraints: 24656 3344.65/3353.45 c #Conflicts: 1194000 | #Constraints: 25656 3344.65/3353.45 c #Conflicts: 1195000 | #Constraints: 26657 3344.65/3353.45 c #Conflicts: 1196000 | #Constraints: 27657 3344.65/3353.45 c #Conflicts: 1197000 | #Constraints: 28658 3344.65/3353.45 c #Conflicts: 1198000 | #Constraints: 29659 3344.65/3353.45 c #Conflicts: 1199000 | #Constraints: 30659 3344.65/3353.45 c #Conflicts: 1200000 | #Constraints: 31659 3344.65/3353.45 c #Conflicts: 1201000 | #Constraints: 32659 3344.65/3353.45 c #Conflicts: 1202000 | #Constraints: 33661 3344.65/3353.45 c #Conflicts: 1203000 | #Constraints: 34663 3344.65/3353.45 c #Conflicts: 1204000 | #Constraints: 35664 3344.65/3353.45 c #Conflicts: 1205000 | #Constraints: 36666 3344.65/3353.45 c #Conflicts: 1206000 | #Constraints: 37666 3344.65/3353.45 c #Conflicts: 1207000 | #Constraints: 38669 3344.65/3353.45 c #Conflicts: 1208000 | #Constraints: 39669 3344.65/3353.45 c #Conflicts: 1209000 | #Constraints: 40672 3344.65/3353.45 c #Conflicts: 1210000 | #Constraints: 41674 3344.65/3353.45 c #Conflicts: 1211000 | #Constraints: 42676 3344.65/3353.45 c #Conflicts: 1212000 | #Constraints: 43681 3344.65/3353.45 c INPROCESSING 3344.65/3353.45 c GARBAGE COLLECT 3344.65/3353.45 c rational objective 0 3445.00/3454.02 c #Conflicts: 1213000 | #Constraints: 22865 3445.00/3454.02 c #Conflicts: 1214000 | #Constraints: 23865 3445.00/3454.02 c #Conflicts: 1215000 | #Constraints: 24865 3445.00/3454.02 c #Conflicts: 1216000 | #Constraints: 25865 3445.00/3454.02 c #Conflicts: 1217000 | #Constraints: 26866 3445.00/3454.02 c #Conflicts: 1218000 | #Constraints: 27867 3445.00/3454.02 c #Conflicts: 1219000 | #Constraints: 28867 3445.00/3454.02 c #Conflicts: 1220000 | #Constraints: 29868 3445.00/3454.02 c #Conflicts: 1221000 | #Constraints: 30868 3445.00/3454.02 c #Conflicts: 1222000 | #Constraints: 31869 3445.00/3454.02 c #Conflicts: 1223000 | #Constraints: 32870 3445.00/3454.02 c #Conflicts: 1224000 | #Constraints: 33871 3445.00/3454.02 c #Conflicts: 1225000 | #Constraints: 34871 3445.00/3454.02 c #Conflicts: 1226000 | #Constraints: 35871 3445.00/3454.02 c #Conflicts: 1227000 | #Constraints: 36871 3445.00/3454.02 c #Conflicts: 1228000 | #Constraints: 37872 3445.00/3454.02 c #Conflicts: 1229000 | #Constraints: 38874 3445.00/3454.02 c #Conflicts: 1230000 | #Constraints: 39874 3445.00/3454.02 c #Conflicts: 1231000 | #Constraints: 40874 3445.00/3454.02 c #Conflicts: 1232000 | #Constraints: 41875 3445.00/3454.02 c #Conflicts: 1233000 | #Constraints: 42876 3445.00/3454.02 c #Conflicts: 1234000 | #Constraints: 43876 3445.00/3454.02 c INPROCESSING 3445.00/3454.02 c GARBAGE COLLECT 3445.00/3454.02 c rational objective 0 3582.34/3591.78 c #Conflicts: 1235000 | #Constraints: 22858 3582.34/3591.78 c #Conflicts: 1236000 | #Constraints: 23859 3582.34/3591.78 c #Conflicts: 1237000 | #Constraints: 24862 3582.34/3591.78 c #Conflicts: 1238000 | #Constraints: 25864 3582.34/3591.78 c #Conflicts: 1239000 | #Constraints: 26867 3582.34/3591.78 c #Conflicts: 1240000 | #Constraints: 27868 3582.34/3591.78 c #Conflicts: 1241000 | #Constraints: 28869 3582.34/3591.78 c #Conflicts: 1242000 | #Constraints: 29869 3582.34/3591.78 c #Conflicts: 1243000 | #Constraints: 30869 3582.34/3591.78 c #Conflicts: 1244000 | #Constraints: 31872 3582.34/3591.78 c #Conflicts: 1245000 | #Constraints: 32873 3582.34/3591.78 c #Conflicts: 1246000 | #Constraints: 33873 3582.34/3591.78 c #Conflicts: 1247000 | #Constraints: 34873 3582.34/3591.78 c #Conflicts: 1248000 | #Constraints: 35874 3582.34/3591.78 c #Conflicts: 1249000 | #Constraints: 36874 3582.34/3591.78 c #Conflicts: 1250000 | #Constraints: 37874 3582.34/3591.78 c #Conflicts: 1251000 | #Constraints: 38875 3582.34/3591.78 c #Conflicts: 1252000 | #Constraints: 39876 3582.34/3591.78 c #Conflicts: 1253000 | #Constraints: 40876 3582.34/3591.78 c #Conflicts: 1254000 | #Constraints: 41876 3582.34/3591.78 c #Conflicts: 1255000 | #Constraints: 42878 3582.34/3591.78 c #Conflicts: 1256000 | #Constraints: 43878 3582.34/3591.78 c INPROCESSING 3582.34/3591.78 c GARBAGE COLLECT 3582.34/3591.78 c rational objective 0 3600.09/3609.50 c #Conflicts: 1257000 | #Constraints: 22666 3600.09/3609.50 c #Conflicts: 1258000 | #Constraints: 23666 3600.09/3609.50 c #Conflicts: 1259000 | #Constraints: 24666 3600.09/3609.50 c #Conflicts: 1260000 | #Constraints: 25667 3600.09/3609.50 c #Conflicts: 1261000 | #Constraints: 26668 3600.09/3609.50 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 (63066 MiB free)
memory of node 1: 64473 MiB (64176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462609-1722340767/watcher-4462609-1722340767 -o /tmp/evaluation-result-4462609-1722340767/solver-4462609-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7096 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462609-1722340767 --lp-cut-gomory=0 HOME/instance-4462609-1722340767.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7254, runsolver pid=7251
[startup+0.100184 s]*
/proc/loadavg: 0.38 0.15 0.11 5/262 7261
/proc/meminfo: memFree=130284600/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=38412 memory=9208 CPUtime=0.09 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 642 0 0 0 9 0 0 0 20 0 1 0 681344 39333888 2302 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 9603 2302 1870 992 0 1461 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38412 KiB
Current children cumulated memory: 9208 KiB
[startup+0.205701 s]*
/proc/loadavg: 0.38 0.15 0.11 5/262 7261
/proc/meminfo: memFree=130275564/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=38660 memory=10108 CPUtime=0.19 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 842 0 0 0 19 0 0 0 20 0 1 0 681344 39587840 2527 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 9665 2527 1870 992 0 1523 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38660 KiB
Current children cumulated memory: 10108 KiB
[startup+0.30555 s]*
/proc/loadavg: 0.38 0.15 0.11 5/262 7261
/proc/meminfo: memFree=130268240/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=38900 memory=10472 CPUtime=0.29 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 995 0 0 0 28 1 0 0 20 0 1 0 681344 39833600 2618 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 9725 2618 1870 992 0 1583 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 10472 KiB
[startup+0.700154 s]
/proc/loadavg: 0.38 0.15 0.11 5/262 7263
/proc/meminfo: memFree=130254232/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=39644 memory=13656 CPUtime=0.68 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 1234 0 0 0 65 3 0 0 20 0 1 0 681344 40595456 3414 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 9911 3414 1886 992 0 1769 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39644 KiB
Current children cumulated memory: 13656 KiB
[startup+1.50018 s]
/proc/loadavg: 0.38 0.15 0.11 5/262 7263
/proc/meminfo: memFree=130221412/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=40188 memory=14224 CPUtime=1.48 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 1368 0 0 0 141 7 0 0 20 0 1 0 681344 41152512 3556 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 10047 3556 1886 992 0 1905 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40188 KiB
Current children cumulated memory: 14224 KiB
[startup+3.10555 s]
/proc/loadavg: 0.67 0.21 0.13 5/265 7266
/proc/meminfo: memFree=130098664/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=41180 memory=15260 CPUtime=3.07 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 1604 0 0 0 294 13 0 0 20 0 1 0 681344 42168320 3815 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 10295 3815 1886 992 0 2153 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 41180 KiB
Current children cumulated memory: 15260 KiB
[startup+6.30021 s]
/proc/loadavg: 0.67 0.21 0.13 5/265 7266
/proc/meminfo: memFree=129941976/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=45008 memory=17128 CPUtime=6.25 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 2079 0 0 0 601 24 0 0 20 0 1 0 681344 46088192 4282 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 11252 4282 1886 992 0 3110 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 45008 KiB
Current children cumulated memory: 17128 KiB
[startup+12.7002 s]
/proc/loadavg: 0.94 0.27 0.15 5/265 7268
/proc/meminfo: memFree=129668804/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=46948 memory=20960 CPUtime=12.64 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 2520 0 0 0 1221 43 0 0 20 0 1 0 681344 48074752 5240 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 11737 5240 1886 992 0 3595 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 46948 KiB
Current children cumulated memory: 20960 KiB
[startup+25.5002 s]
/proc/loadavg: 1.76 0.49 0.22 5/265 7269
/proc/meminfo: memFree=129191536/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=53896 memory=23832 CPUtime=25.42 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 3303 0 0 0 2471 71 0 0 20 0 1 0 681344 55189504 5958 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 13474 5958 1886 992 0 5332 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 53896 KiB
Current children cumulated memory: 23832 KiB
[startup+51.1058 s]
/proc/loadavg: 2.58 0.79 0.33 5/265 7277
/proc/meminfo: memFree=128420968/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=55336 memory=27872 CPUtime=50.94 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 3852 0 0 0 4974 120 0 0 20 0 1 0 681344 56664064 6968 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 13834 6968 1886 992 0 5692 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 55336 KiB
Current children cumulated memory: 27872 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.30 0.53 5/263 7297
/proc/meminfo: memFree=127244152/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=66996 memory=35528 CPUtime=101.96 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 5276 0 0 0 9988 208 0 0 20 0 1 0 681344 68603904 8882 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 16749 8882 1886 992 0 8607 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 35528 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.81 0.76 5/264 7308
/proc/meminfo: memFree=126037748/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=68668 memory=36960 CPUtime=161.8 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 5737 0 0 0 15878 302 0 0 20 0 1 0 681344 70316032 9240 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 17167 9240 1886 992 0 9025 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 68668 KiB
Current children cumulated memory: 36960 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 2.32 1.00 5/264 7319
/proc/meminfo: memFree=125122128/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=70084 memory=40876 CPUtime=221.63 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 6265 0 0 0 21792 371 0 0 20 0 1 0 681344 71766016 10219 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 17521 10219 1886 992 0 9379 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 40876 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 2.64 1.19 5/263 7332
/proc/meminfo: memFree=124161492/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=70396 memory=43432 CPUtime=281.45 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 6496 0 0 0 27696 449 0 0 20 0 1 0 681344 72085504 10858 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 17599 10858 1886 992 0 9457 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 70396 KiB
Current children cumulated memory: 43432 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 2.94 1.39 5/260 7342
/proc/meminfo: memFree=123395056/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=71740 memory=44368 CPUtime=341.26 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 6884 0 0 0 33620 506 0 0 20 0 1 0 681344 73461760 11092 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 17935 11092 1886 992 0 9793 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 71740 KiB
Current children cumulated memory: 44368 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.15 1.56 5/261 7354
/proc/meminfo: memFree=122665732/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=85336 memory=47096 CPUtime=401.08 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 7610 0 0 0 39541 567 0 0 20 0 1 0 681344 87384064 11774 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 21334 11774 1886 992 0 13192 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 85336 KiB
Current children cumulated memory: 47096 KiB
[startup+462.3 s]
/proc/loadavg: 4.52 3.42 1.75 5/261 7365
/proc/meminfo: memFree=121995220/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=86744 memory=50948 CPUtime=460.9 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 8009 0 0 0 45463 627 0 0 20 0 1 0 681344 88825856 12737 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 21686 12737 1886 992 0 13544 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/263 8488
/proc/meminfo: memFree=102539476/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=128752 memory=85688 CPUtime=3213.87 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 15980 0 0 0 318876 2511 0 0 20 0 1 0 681344 131842048 21422 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32188 21422 1886 992 0 24046 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 128752 KiB
Current children cumulated memory: 85688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.00 5/263 8498
/proc/meminfo: memFree=102192500/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=128752 memory=87876 CPUtime=3273.73 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 16135 0 0 0 324833 2540 0 0 20 0 1 0 681344 131842048 21969 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32188 21969 1886 992 0 24046 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 128752 KiB
Current children cumulated memory: 87876 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/262 8891
/proc/meminfo: memFree=101879728/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=129264 memory=87892 CPUtime=3333.58 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 16206 0 0 0 330789 2569 0 0 20 0 1 0 681344 132366336 21973 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32316 21973 1886 992 0 24174 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 129264 KiB
Current children cumulated memory: 87892 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/259 8902
/proc/meminfo: memFree=101565076/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130288 memory=93276 CPUtime=3393.43 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 16503 0 0 0 336740 2603 0 0 20 0 1 0 681344 133414912 23319 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32572 23319 1886 992 0 24430 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 130288 KiB
Current children cumulated memory: 93276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/259 8913
/proc/meminfo: memFree=101274324/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130288 memory=93280 CPUtime=3453.28 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 16634 0 0 0 342692 2636 0 0 20 0 1 0 681344 133414912 23320 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32572 23320 1886 992 0 24430 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 130288 KiB
Current children cumulated memory: 93280 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/260 9093
/proc/meminfo: memFree=100954268/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130288 memory=93280 CPUtime=3513.12 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 16670 0 0 0 348643 2669 0 0 20 0 1 0 681344 133414912 23320 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32572 23320 1886 992 0 24430 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 130288 KiB
Current children cumulated memory: 93280 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/260 9103
/proc/meminfo: memFree=100638164/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130288 memory=93280 CPUtime=3572.97 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 16708 0 0 0 354599 2698 0 0 20 0 1 0 681344 133414912 23320 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32572 23320 1886 992 0 24430 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 130288 KiB
Current children cumulated memory: 93280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.13 4.09 4.01 4/254 9133
/proc/meminfo: memFree=100891908/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130800 memory=93556 CPUtime=3600.09 cores=4,6
/proc/7254/stat : 7254 (roundingsat) R 7251 7254 7085 0 -1 4194304 16872 0 0 0 357292 2717 0 0 20 0 1 0 681344 133939200 23389 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32700 23389 1886 992 0 24558 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 130800 KiB
Current children cumulated memory: 93556 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.13 4.09 4.01 1/253 9135
/proc/meminfo: memFree=100882564/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130800 memory=93556 CPUtime=3600.09 cores=4,6
/proc/7254/stat : 7254 (roundingsat) D 7251 7254 7085 0 -1 4194304 16879 0 0 0 357292 2717 0 0 20 0 1 0 681344 133939200 23389 134679101440 4194304 8255733 140729275826192 0 0 256 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32700 23389 1886 992 0 24558 0
??? kill 7254 sig 9
??? end of watcher thread
[startup+3627.77 s]
# the end of solver process 7254 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3572.93 s, system=27.1787 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.13 4.09 4.01 4/254 9133
/proc/meminfo: memFree=100891908/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130800 memory=93556 CPUtime=3600.09 cores=4,6
/proc/7254/stat : 7254 (roundingsat) D 7251 7254 7085 0 -1 4194304 16879 0 0 0 357292 2717 0 0 20 0 1 0 681344 133939200 23389 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32700 23389 1886 992 0 24558 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 130800 KiB
Current children cumulated memory: 93556 KiB
[startup+3610.4 s]
/proc/loadavg: 4.13 4.09 4.01 2/254 9133
/proc/meminfo: memFree=100885944/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130800 memory=93556 CPUtime=3600.09 cores=4,6
/proc/7254/stat : 7254 (roundingsat) D 7251 7254 7085 0 -1 4194304 16879 0 0 0 357292 2717 0 0 20 0 1 0 681344 133939200 23389 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32700 23389 1886 992 0 24558 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 130800 KiB
Current children cumulated memory: 93556 KiB
[startup+3611.2 s]
/proc/loadavg: 4.13 4.09 4.01 1/254 9135
/proc/meminfo: memFree=100883288/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130800 memory=93556 CPUtime=3600.09 cores=4,6
/proc/7254/stat : 7254 (roundingsat) D 7251 7254 7085 0 -1 4194304 16879 0 0 0 357292 2717 0 0 20 0 1 0 681344 133939200 23389 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32700 23389 1886 992 0 24558 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 130800 KiB
Current children cumulated memory: 93556 KiB
[startup+3611.4 s]
/proc/loadavg: 4.13 4.09 4.01 1/254 9135
/proc/meminfo: memFree=100883288/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130800 memory=93556 CPUtime=3600.09 cores=4,6
/proc/7254/stat : 7254 (roundingsat) D 7251 7254 7085 0 -1 4194304 16879 0 0 0 357292 2717 0 0 20 0 1 0 681344 133939200 23389 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32700 23389 1886 992 0 24558 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 130800 KiB
Current children cumulated memory: 93556 KiB
[startup+3611.5 s]
/proc/loadavg: 4.13 4.09 4.01 1/254 9135
/proc/meminfo: memFree=100883288/131524600 swapFree=131071996/131071996
[pid=7254] ppid=7251 vsize=130800 memory=93556 CPUtime=3600.09 cores=4,6
/proc/7254/stat : 7254 (roundingsat) D 7251 7254 7085 0 -1 4194304 16879 0 0 0 357292 2717 0 0 20 0 1 0 681344 133939200 23389 134679101440 4194304 8255733 140729275826192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 19689472 140729275831134 140729275831396 140729275831396 140729275838409 0
/proc/7254/statm: 32700 23389 1886 992 0 24558 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 130800 KiB
Current children cumulated memory: 93556 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3627.77
CPU time (s): 3600.1
CPU user time (s): 3572.93
CPU system time (s): 27.1787
CPU usage (%): 99.2374
Max. virtual memory (cumulated for all children) (KiB): 130872
Max. memory (cumulated for all children) (KiB): 93640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.93
system time used= 27.1787
maximum resident set size= 93968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24459600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 689
involuntary context switches= 4815
# summary of solver processes directly reported to runsolver:
# pid: 7254
# total CPU time (s): 3600.1
# total CPU user time (s): 3572.93
# total CPU system time (s): 27.1787
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20446 second user time and 17.0688 second system time
The end
Begin job on nodeC035 at 2024-07-30 13:59:27 IDJOB=4462609 IDBENCH=147578 IDSOLVER=3089 FILE ID=nodeC035/4462609-1722340767 RUNJOBID= nodeC035-1722340763-7096 SLURM_JOB_ID= 8249008 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_8_70_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-4462609-1722340767/watcher-4462609-1722340767 -o /tmp/evaluation-result-4462609-1722340767/solver-4462609-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7096 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462609-1722340767 --lp-cut-gomory=0 HOME/instance-4462609-1722340767.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110 RANDOM SEED=52205761 nodeC035.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 : 3614.278 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.79 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 : 3627.869 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 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 : 3675.096 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.79 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 : 3630.189 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 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 : 3644.879 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.79 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 : 3683.477 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 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 : 3654.651 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.79 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 : 3677.278 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130303264 kB MemAvailable: 129878420 kB Buffers: 36468 kB Cached: 328760 kB SwapCached: 0 kB Active: 130280 kB Inactive: 632712 kB Active(anon): 1528 kB Inactive(anon): 417964 kB Active(file): 128752 kB Inactive(file): 214748 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 39316 kB Writeback: 0 kB AnonPages: 395984 kB Mapped: 95156 kB Shmem: 21336 kB KReclaimable: 43288 kB Slab: 120336 kB SReclaimable: 43288 kB SUnreclaim: 77048 kB KernelStack: 4128 kB PageTables: 9844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 773172 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 249856 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: 242388 kB DirectMap2M: 7919616 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890052 MiB End job on nodeC035 at 2024-07-30 14:59:55