| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 12 | 3600.09 | 3610.53 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | 39a6e806d7aaba09f767f3cbd6afa1ec |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 3600.05 |
| 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 | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 74 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| 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 172 #constraints 14 0.00/0.00 c bounds - >= 0 @ 0.000254 0.00/0.00 c rational objective 0 0.29/0.34 c bounds 283 >= 0 @ 0.013106 0.29/0.34 c bounds 281 >= 0 @ 0.013134 0.29/0.34 c bounds 208 >= 0 @ 0.018805 0.29/0.34 c #Conflicts: 1000 | #Constraints: 1033 0.29/0.34 c bounds 120 >= 0 @ 0.203149 0.29/0.34 c bounds 118 >= 0 @ 0.205235 0.29/0.34 c bounds 116 >= 0 @ 0.207324 0.29/0.34 c bounds 114 >= 0 @ 0.207802 0.29/0.34 c bounds 112 >= 0 @ 0.227222 0.29/0.34 c bounds 108 >= 0 @ 0.228077 0.29/0.34 c bounds 106 >= 0 @ 0.230768 0.29/0.34 c bounds 98 >= 0 @ 0.233016 0.29/0.34 c bounds 96 >= 0 @ 0.233782 0.29/0.34 c bounds 94 >= 0 @ 0.248699 0.29/0.34 c bounds 90 >= 0 @ 0.249296 0.29/0.34 c bounds 86 >= 0 @ 0.249903 0.29/0.34 c bounds 78 >= 0 @ 0.25223 0.29/0.34 c bounds 70 >= 0 @ 0.254466 0.29/0.34 c bounds 66 >= 0 @ 0.255812 0.29/0.34 c #Conflicts: 2000 | #Constraints: 2067 0.29/0.34 c INPROCESSING 0.29/0.34 c GARBAGE COLLECT 0.29/0.34 c rational objective 0 0.79/0.87 c bounds 65 >= 0 @ 0.467365 0.79/0.87 c #Conflicts: 3000 | #Constraints: 2059 0.79/0.87 c #Conflicts: 4000 | #Constraints: 3070 0.79/0.87 c INPROCESSING 0.79/0.87 c GARBAGE COLLECT 0.79/0.87 c rational objective 0 1.48/1.56 c bounds 62 >= 0 @ 0.867926 1.48/1.56 c bounds 59 >= 0 @ 0.873127 1.48/1.56 c bounds 57 >= 0 @ 0.874467 1.48/1.56 c bounds 56 >= 0 @ 0.913713 1.48/1.56 c bounds 52 >= 0 @ 0.914558 1.48/1.56 c bounds 47 >= 0 @ 0.920627 1.48/1.56 c bounds 45 >= 0 @ 0.921203 1.48/1.56 c bounds 43 >= 0 @ 0.922657 1.48/1.56 c #Conflicts: 5000 | #Constraints: 2471 1.48/1.56 c bounds 41 >= 0 @ 1.19242 1.48/1.56 c #Conflicts: 6000 | #Constraints: 3481 1.48/1.56 c INPROCESSING 1.48/1.56 c GARBAGE COLLECT 1.48/1.56 c rational objective 0 2.28/2.39 c bounds 39 >= 0 @ 1.47396 2.28/2.39 c bounds 37 >= 0 @ 1.4749 2.28/2.39 c bounds 35 >= 0 @ 1.53013 2.28/2.39 c bounds 31 >= 0 @ 1.53127 2.28/2.39 c #Conflicts: 7000 | #Constraints: 2454 2.28/2.39 c #Conflicts: 8000 | #Constraints: 3464 2.28/2.39 c #Conflicts: 9000 | #Constraints: 4478 2.28/2.39 c INPROCESSING 2.28/2.39 c GARBAGE COLLECT 2.28/2.39 c rational objective 0 3.28/3.32 c #Conflicts: 10000 | #Constraints: 3167 3.28/3.32 c #Conflicts: 11000 | #Constraints: 4173 3.28/3.32 c #Conflicts: 12000 | #Constraints: 5176 3.28/3.32 c INPROCESSING 3.28/3.32 c GARBAGE COLLECT 3.28/3.32 c rational objective 0 4.48/4.54 c #Conflicts: 13000 | #Constraints: 3607 4.48/4.54 c #Conflicts: 14000 | #Constraints: 4614 4.48/4.54 c #Conflicts: 15000 | #Constraints: 5620 4.48/4.54 c INPROCESSING 4.48/4.54 c GARBAGE COLLECT 4.48/4.54 c rational objective 0 5.68/5.76 c #Conflicts: 16000 | #Constraints: 3836 5.68/5.76 c #Conflicts: 17000 | #Constraints: 4838 5.68/5.76 c #Conflicts: 18000 | #Constraints: 5841 5.68/5.76 c INPROCESSING 5.68/5.76 c GARBAGE COLLECT 5.68/5.76 c rational objective 0 6.97/7.04 c #Conflicts: 19000 | #Constraints: 3841 6.97/7.04 c #Conflicts: 20000 | #Constraints: 4847 6.97/7.04 c #Conflicts: 21000 | #Constraints: 5857 6.97/7.04 c INPROCESSING 6.97/7.04 c GARBAGE COLLECT 6.97/7.04 c rational objective 0 8.76/8.82 c #Conflicts: 22000 | #Constraints: 3647 8.76/8.82 c #Conflicts: 23000 | #Constraints: 4651 8.76/8.82 c #Conflicts: 24000 | #Constraints: 5656 8.76/8.82 c #Conflicts: 25000 | #Constraints: 6661 8.76/8.82 c INPROCESSING 8.76/8.82 c GARBAGE COLLECT 8.76/8.82 c rational objective 0 10.46/10.58 c #Conflicts: 26000 | #Constraints: 4253 10.46/10.58 c #Conflicts: 27000 | #Constraints: 5255 10.46/10.58 c #Conflicts: 28000 | #Constraints: 6261 10.46/10.58 c #Conflicts: 29000 | #Constraints: 7266 10.46/10.58 c INPROCESSING 10.46/10.58 c GARBAGE COLLECT 10.46/10.58 c rational objective 0 12.46/12.59 c #Conflicts: 30000 | #Constraints: 4651 12.46/12.59 c bounds 30 >= 0 @ 10.9982 12.46/12.59 c #Conflicts: 31000 | #Constraints: 5657 12.46/12.59 c #Conflicts: 32000 | #Constraints: 6661 12.46/12.59 c bounds 28 >= 0 @ 11.9143 12.46/12.59 c #Conflicts: 33000 | #Constraints: 7667 12.46/12.59 c INPROCESSING 12.46/12.59 c GARBAGE COLLECT 12.46/12.59 c rational objective 0 14.35/14.49 c #Conflicts: 34000 | #Constraints: 4853 14.35/14.49 c #Conflicts: 35000 | #Constraints: 5857 14.35/14.49 c #Conflicts: 36000 | #Constraints: 6861 14.35/14.49 c #Conflicts: 37000 | #Constraints: 7864 14.35/14.49 c INPROCESSING 14.35/14.49 c GARBAGE COLLECT 14.35/14.49 c rational objective 0 16.64/16.70 c #Conflicts: 38000 | #Constraints: 4854 16.64/16.70 c #Conflicts: 39000 | #Constraints: 5857 16.64/16.70 c bounds 26 >= 0 @ 14.8586 16.64/16.70 c bounds 22 >= 0 @ 14.8602 16.64/16.70 c #Conflicts: 40000 | #Constraints: 6867 16.64/16.70 c #Conflicts: 41000 | #Constraints: 7872 16.64/16.70 c INPROCESSING 16.64/16.70 c GARBAGE COLLECT 16.64/16.70 c rational objective 0 18.64/18.71 c #Conflicts: 42000 | #Constraints: 4663 18.64/18.71 c #Conflicts: 43000 | #Constraints: 5667 18.64/18.71 c #Conflicts: 44000 | #Constraints: 6672 18.64/18.71 c #Conflicts: 45000 | #Constraints: 7676 18.64/18.71 c #Conflicts: 46000 | #Constraints: 8681 18.64/18.71 c INPROCESSING 18.64/18.71 c GARBAGE COLLECT 18.64/18.71 c rational objective 0 21.33/21.43 c #Conflicts: 47000 | #Constraints: 5258 21.33/21.43 c #Conflicts: 48000 | #Constraints: 6263 21.33/21.43 c #Conflicts: 49000 | #Constraints: 7267 21.33/21.43 c #Conflicts: 50000 | #Constraints: 8270 21.33/21.43 c #Conflicts: 51000 | #Constraints: 9275 21.33/21.43 c INPROCESSING 21.33/21.43 c GARBAGE COLLECT 21.33/21.43 c rational objective 0 24.03/24.16 c #Conflicts: 52000 | #Constraints: 5660 24.03/24.16 c #Conflicts: 53000 | #Constraints: 6661 24.03/24.16 c #Conflicts: 54000 | #Constraints: 7665 24.03/24.16 c #Conflicts: 55000 | #Constraints: 8668 24.03/24.16 c #Conflicts: 56000 | #Constraints: 9670 24.03/24.16 c INPROCESSING 24.03/24.16 c GARBAGE COLLECT 24.03/24.16 c rational objective 0 27.32/27.49 c #Conflicts: 57000 | #Constraints: 5852 27.32/27.49 c bounds 21 >= 0 @ 24.1044 27.32/27.49 c bounds 19 >= 0 @ 24.1069 27.32/27.49 c #Conflicts: 58000 | #Constraints: 6856 27.32/27.49 c #Conflicts: 59000 | #Constraints: 7859 27.32/27.49 c #Conflicts: 60000 | #Constraints: 8860 27.32/27.49 c #Conflicts: 61000 | #Constraints: 9862 27.32/27.49 c INPROCESSING 27.32/27.49 c GARBAGE COLLECT 27.32/27.49 c rational objective 0 30.32/30.47 c #Conflicts: 62000 | #Constraints: 5852 30.32/30.47 c #Conflicts: 63000 | #Constraints: 6857 30.32/30.47 c #Conflicts: 64000 | #Constraints: 7860 30.32/30.47 c #Conflicts: 65000 | #Constraints: 8863 30.32/30.47 c #Conflicts: 66000 | #Constraints: 9864 30.32/30.47 c INPROCESSING 30.32/30.47 c GARBAGE COLLECT 30.32/30.47 c rational objective 0 34.31/34.43 c #Conflicts: 67000 | #Constraints: 5647 34.31/34.43 c #Conflicts: 68000 | #Constraints: 6656 34.31/34.43 c #Conflicts: 69000 | #Constraints: 7658 34.31/34.43 c #Conflicts: 70000 | #Constraints: 8667 34.31/34.43 c #Conflicts: 71000 | #Constraints: 9672 34.31/34.43 c #Conflicts: 72000 | #Constraints: 10674 34.31/34.43 c INPROCESSING 34.31/34.43 c GARBAGE COLLECT 34.31/34.43 c rational objective 0 37.59/37.76 c #Conflicts: 73000 | #Constraints: 6254 37.59/37.76 c #Conflicts: 74000 | #Constraints: 7255 37.59/37.76 c #Conflicts: 75000 | #Constraints: 8257 37.59/37.76 c #Conflicts: 76000 | #Constraints: 9260 37.59/37.76 c #Conflicts: 77000 | #Constraints: 10262 37.59/37.76 c #Conflicts: 78000 | #Constraints: 11264 37.59/37.76 c INPROCESSING 37.59/37.76 c GARBAGE COLLECT 37.59/37.76 c rational objective 0 41.39/41.57 c #Conflicts: 79000 | #Constraints: 6647 41.39/41.57 c #Conflicts: 80000 | #Constraints: 7647 41.39/41.57 c #Conflicts: 81000 | #Constraints: 8652 41.39/41.57 c #Conflicts: 82000 | #Constraints: 9659 41.39/41.57 c #Conflicts: 83000 | #Constraints: 10662 41.39/41.57 c #Conflicts: 84000 | #Constraints: 11664 41.39/41.57 c INPROCESSING 41.39/41.57 c GARBAGE COLLECT 41.39/41.57 c rational objective 0 46.47/46.64 c #Conflicts: 85000 | #Constraints: 6848 46.47/46.64 c #Conflicts: 86000 | #Constraints: 7849 46.47/46.64 c #Conflicts: 87000 | #Constraints: 8850 46.47/46.64 c #Conflicts: 88000 | #Constraints: 9851 46.47/46.64 c #Conflicts: 89000 | #Constraints: 10851 46.47/46.64 c #Conflicts: 90000 | #Constraints: 11852 46.47/46.64 c INPROCESSING 46.47/46.64 c GARBAGE COLLECT 46.47/46.64 c rational objective 0 51.05/51.29 c #Conflicts: 91000 | #Constraints: 6846 51.05/51.29 c #Conflicts: 92000 | #Constraints: 7850 51.05/51.29 c #Conflicts: 93000 | #Constraints: 8852 51.05/51.29 c #Conflicts: 94000 | #Constraints: 9855 51.05/51.29 c #Conflicts: 95000 | #Constraints: 10856 51.05/51.29 c #Conflicts: 96000 | #Constraints: 11858 51.05/51.29 c INPROCESSING 51.05/51.29 c GARBAGE COLLECT 51.05/51.29 c rational objective 0 56.63/56.82 c #Conflicts: 97000 | #Constraints: 6650 56.63/56.82 c #Conflicts: 98000 | #Constraints: 7650 56.63/56.82 c #Conflicts: 99000 | #Constraints: 8652 56.63/56.82 c #Conflicts: 100000 | #Constraints: 9656 56.63/56.82 c #Conflicts: 101000 | #Constraints: 10659 56.63/56.82 c #Conflicts: 102000 | #Constraints: 11660 56.63/56.82 c #Conflicts: 103000 | #Constraints: 12662 56.63/56.82 c INPROCESSING 56.63/56.82 c GARBAGE COLLECT 56.63/56.82 c rational objective 0 61.22/61.41 c #Conflicts: 104000 | #Constraints: 7256 61.22/61.41 c #Conflicts: 105000 | #Constraints: 8260 61.22/61.41 c #Conflicts: 106000 | #Constraints: 9264 61.22/61.41 c #Conflicts: 107000 | #Constraints: 10266 61.22/61.41 c #Conflicts: 108000 | #Constraints: 11268 61.22/61.41 c #Conflicts: 109000 | #Constraints: 12272 61.22/61.41 c #Conflicts: 110000 | #Constraints: 13277 61.22/61.41 c INPROCESSING 61.22/61.41 c GARBAGE COLLECT 61.22/61.41 c rational objective 0 67.91/68.14 c #Conflicts: 111000 | #Constraints: 7658 67.91/68.14 c #Conflicts: 112000 | #Constraints: 8662 67.91/68.14 c #Conflicts: 113000 | #Constraints: 9666 67.91/68.14 c #Conflicts: 114000 | #Constraints: 10669 67.91/68.14 c #Conflicts: 115000 | #Constraints: 11671 67.91/68.14 c #Conflicts: 116000 | #Constraints: 12676 67.91/68.14 c #Conflicts: 117000 | #Constraints: 13677 67.91/68.14 c INPROCESSING 67.91/68.14 c GARBAGE COLLECT 67.91/68.14 c rational objective 0 73.49/73.79 c #Conflicts: 118000 | #Constraints: 7861 73.49/73.79 c #Conflicts: 119000 | #Constraints: 8864 73.49/73.79 c #Conflicts: 120000 | #Constraints: 9865 73.49/73.79 c #Conflicts: 121000 | #Constraints: 10867 73.49/73.79 c #Conflicts: 122000 | #Constraints: 11868 73.49/73.79 c #Conflicts: 123000 | #Constraints: 12868 73.49/73.79 c #Conflicts: 124000 | #Constraints: 13873 73.49/73.79 c INPROCESSING 73.49/73.79 c GARBAGE COLLECT 73.49/73.79 c rational objective 0 78.87/79.12 c #Conflicts: 125000 | #Constraints: 7852 78.87/79.12 c #Conflicts: 126000 | #Constraints: 8853 78.87/79.12 c #Conflicts: 127000 | #Constraints: 9853 78.87/79.12 c #Conflicts: 128000 | #Constraints: 10854 78.87/79.12 c #Conflicts: 129000 | #Constraints: 11854 78.87/79.12 c #Conflicts: 130000 | #Constraints: 12855 78.87/79.12 c #Conflicts: 131000 | #Constraints: 13856 78.87/79.12 c INPROCESSING 78.87/79.12 c GARBAGE COLLECT 78.87/79.12 c rational objective 0 86.94/87.20 c #Conflicts: 132000 | #Constraints: 7646 86.94/87.20 c #Conflicts: 133000 | #Constraints: 8648 86.94/87.20 c #Conflicts: 134000 | #Constraints: 9651 86.94/87.20 c #Conflicts: 135000 | #Constraints: 10651 86.94/87.20 c #Conflicts: 136000 | #Constraints: 11652 86.94/87.20 c #Conflicts: 137000 | #Constraints: 12655 86.94/87.20 c #Conflicts: 138000 | #Constraints: 13658 86.94/87.20 c #Conflicts: 139000 | #Constraints: 14662 86.94/87.20 c INPROCESSING 86.94/87.20 c GARBAGE COLLECT 86.94/87.20 c rational objective 0 94.02/94.31 c #Conflicts: 140000 | #Constraints: 8252 94.02/94.31 c #Conflicts: 141000 | #Constraints: 9253 94.02/94.31 c #Conflicts: 142000 | #Constraints: 10255 94.02/94.31 c #Conflicts: 143000 | #Constraints: 11256 94.02/94.31 c #Conflicts: 144000 | #Constraints: 12256 94.02/94.31 c #Conflicts: 145000 | #Constraints: 13256 94.02/94.31 c #Conflicts: 146000 | #Constraints: 14256 94.02/94.31 c #Conflicts: 147000 | #Constraints: 15257 94.02/94.31 c INPROCESSING 94.02/94.31 c GARBAGE COLLECT 94.02/94.31 c rational objective 0 102.89/103.23 c #Conflicts: 148000 | #Constraints: 8650 102.89/103.23 c #Conflicts: 149000 | #Constraints: 9653 102.89/103.23 c #Conflicts: 150000 | #Constraints: 10654 102.89/103.23 c #Conflicts: 151000 | #Constraints: 11654 102.89/103.23 c #Conflicts: 152000 | #Constraints: 12660 102.89/103.23 c #Conflicts: 153000 | #Constraints: 13663 102.89/103.23 c #Conflicts: 154000 | #Constraints: 14667 102.89/103.23 c #Conflicts: 155000 | #Constraints: 15672 102.89/103.23 c INPROCESSING 102.89/103.23 c GARBAGE COLLECT 102.89/103.23 c rational objective 0 109.47/109.81 c #Conflicts: 156000 | #Constraints: 8852 109.47/109.81 c #Conflicts: 157000 | #Constraints: 9856 109.47/109.81 c #Conflicts: 158000 | #Constraints: 10857 109.47/109.81 c #Conflicts: 159000 | #Constraints: 11858 109.47/109.81 c #Conflicts: 160000 | #Constraints: 12859 109.47/109.81 c #Conflicts: 161000 | #Constraints: 13861 109.47/109.81 c #Conflicts: 162000 | #Constraints: 14861 109.47/109.81 c #Conflicts: 163000 | #Constraints: 15861 109.47/109.81 c INPROCESSING 109.47/109.81 c GARBAGE COLLECT 109.47/109.81 c rational objective 0 116.34/116.76 c #Conflicts: 164000 | #Constraints: 8852 116.34/116.76 c #Conflicts: 165000 | #Constraints: 9853 116.34/116.76 c #Conflicts: 166000 | #Constraints: 10855 116.34/116.76 c #Conflicts: 167000 | #Constraints: 11859 116.34/116.76 c #Conflicts: 168000 | #Constraints: 12859 116.34/116.76 c #Conflicts: 169000 | #Constraints: 13861 116.34/116.76 c #Conflicts: 170000 | #Constraints: 14863 116.34/116.76 c #Conflicts: 171000 | #Constraints: 15863 116.34/116.76 c INPROCESSING 116.34/116.76 c GARBAGE COLLECT 116.34/116.76 c rational objective 0 126.51/126.91 c bounds 18 >= 0 @ 114.331 126.51/126.91 c bounds 16 >= 0 @ 114.336 126.51/126.91 c #Conflicts: 172000 | #Constraints: 8649 126.51/126.91 c #Conflicts: 173000 | #Constraints: 9651 126.51/126.91 c #Conflicts: 174000 | #Constraints: 10654 126.51/126.91 c #Conflicts: 175000 | #Constraints: 11656 126.51/126.91 c #Conflicts: 176000 | #Constraints: 12658 126.51/126.91 c #Conflicts: 177000 | #Constraints: 13663 126.51/126.91 c #Conflicts: 178000 | #Constraints: 14663 126.51/126.91 c #Conflicts: 179000 | #Constraints: 15666 126.51/126.91 c #Conflicts: 180000 | #Constraints: 16669 126.51/126.91 c INPROCESSING 126.51/126.91 c GARBAGE COLLECT 126.51/126.91 c rational objective 0 134.59/135.05 c #Conflicts: 181000 | #Constraints: 9254 134.59/135.05 c #Conflicts: 182000 | #Constraints: 10256 134.59/135.05 c #Conflicts: 183000 | #Constraints: 11259 134.59/135.05 c #Conflicts: 184000 | #Constraints: 12261 134.59/135.05 c #Conflicts: 185000 | #Constraints: 13262 134.59/135.05 c #Conflicts: 186000 | #Constraints: 14263 134.59/135.05 c #Conflicts: 187000 | #Constraints: 15264 134.59/135.05 c #Conflicts: 188000 | #Constraints: 16264 134.59/135.05 c #Conflicts: 189000 | #Constraints: 17265 134.59/135.05 c INPROCESSING 134.59/135.05 c GARBAGE COLLECT 134.59/135.05 c rational objective 0 146.35/146.81 c #Conflicts: 190000 | #Constraints: 9650 146.35/146.81 c #Conflicts: 191000 | #Constraints: 10650 146.35/146.81 c #Conflicts: 192000 | #Constraints: 11650 146.35/146.81 c #Conflicts: 193000 | #Constraints: 12653 146.35/146.81 c #Conflicts: 194000 | #Constraints: 13653 146.35/146.81 c #Conflicts: 195000 | #Constraints: 14655 146.35/146.81 c #Conflicts: 196000 | #Constraints: 15659 146.35/146.81 c #Conflicts: 197000 | #Constraints: 16660 146.35/146.81 c #Conflicts: 198000 | #Constraints: 17663 146.35/146.81 c INPROCESSING 146.35/146.81 c GARBAGE COLLECT 146.35/146.81 c rational objective 0 156.91/157.43 c #Conflicts: 199000 | #Constraints: 9857 156.91/157.43 c #Conflicts: 200000 | #Constraints: 10857 156.91/157.43 c #Conflicts: 201000 | #Constraints: 11859 156.91/157.43 c #Conflicts: 202000 | #Constraints: 12861 156.91/157.43 c #Conflicts: 203000 | #Constraints: 13863 156.91/157.43 c #Conflicts: 204000 | #Constraints: 14864 156.91/157.43 c #Conflicts: 205000 | #Constraints: 15865 156.91/157.43 c #Conflicts: 206000 | #Constraints: 16865 156.91/157.43 c #Conflicts: 207000 | #Constraints: 17866 156.91/157.43 c INPROCESSING 156.91/157.43 c GARBAGE COLLECT 156.91/157.43 c rational objective 0 171.27/171.89 c #Conflicts: 208000 | #Constraints: 9854 171.27/171.89 c #Conflicts: 209000 | #Constraints: 10856 171.27/171.89 c #Conflicts: 210000 | #Constraints: 11856 171.27/171.89 c #Conflicts: 211000 | #Constraints: 12856 171.27/171.89 c #Conflicts: 212000 | #Constraints: 13857 171.27/171.89 c #Conflicts: 213000 | #Constraints: 14859 171.27/171.89 c #Conflicts: 214000 | #Constraints: 15860 171.27/171.89 c #Conflicts: 215000 | #Constraints: 16860 171.27/171.89 c #Conflicts: 216000 | #Constraints: 17860 171.27/171.89 c INPROCESSING 171.27/171.89 c GARBAGE COLLECT 171.27/171.89 c rational objective 0 183.43/184.00 c #Conflicts: 217000 | #Constraints: 9654 183.43/184.00 c #Conflicts: 218000 | #Constraints: 10654 183.43/184.00 c #Conflicts: 219000 | #Constraints: 11655 183.43/184.00 c #Conflicts: 220000 | #Constraints: 12655 183.43/184.00 c #Conflicts: 221000 | #Constraints: 13655 183.43/184.00 c #Conflicts: 222000 | #Constraints: 14655 183.43/184.00 c #Conflicts: 223000 | #Constraints: 15658 183.43/184.00 c #Conflicts: 224000 | #Constraints: 16660 183.43/184.00 c #Conflicts: 225000 | #Constraints: 17661 183.43/184.00 c #Conflicts: 226000 | #Constraints: 18663 183.43/184.00 c INPROCESSING 183.43/184.00 c GARBAGE COLLECT 183.43/184.00 c rational objective 0 194.79/195.47 c #Conflicts: 227000 | #Constraints: 10246 194.79/195.47 c #Conflicts: 228000 | #Constraints: 11246 194.79/195.47 c #Conflicts: 229000 | #Constraints: 12246 194.79/195.47 c #Conflicts: 230000 | #Constraints: 13246 194.79/195.47 c #Conflicts: 231000 | #Constraints: 14248 194.79/195.47 c #Conflicts: 232000 | #Constraints: 15250 194.79/195.47 c #Conflicts: 233000 | #Constraints: 16251 194.79/195.47 c #Conflicts: 234000 | #Constraints: 17253 194.79/195.47 c #Conflicts: 235000 | #Constraints: 18253 194.79/195.47 c #Conflicts: 236000 | #Constraints: 19253 194.79/195.47 c INPROCESSING 194.79/195.47 c GARBAGE COLLECT 194.79/195.47 c rational objective 0 210.73/211.46 c #Conflicts: 237000 | #Constraints: 10645 210.73/211.46 c #Conflicts: 238000 | #Constraints: 11647 210.73/211.46 c #Conflicts: 239000 | #Constraints: 12647 210.73/211.46 c #Conflicts: 240000 | #Constraints: 13648 210.73/211.46 c #Conflicts: 241000 | #Constraints: 14649 210.73/211.46 c #Conflicts: 242000 | #Constraints: 15650 210.73/211.46 c #Conflicts: 243000 | #Constraints: 16650 210.73/211.46 c #Conflicts: 244000 | #Constraints: 17654 210.73/211.46 c #Conflicts: 245000 | #Constraints: 18656 210.73/211.46 c #Conflicts: 246000 | #Constraints: 19657 210.73/211.46 c INPROCESSING 210.73/211.46 c GARBAGE COLLECT 210.73/211.46 c rational objective 0 221.99/222.77 c #Conflicts: 247000 | #Constraints: 10852 221.99/222.77 c #Conflicts: 248000 | #Constraints: 11852 221.99/222.77 c #Conflicts: 249000 | #Constraints: 12854 221.99/222.77 c #Conflicts: 250000 | #Constraints: 13856 221.99/222.77 c #Conflicts: 251000 | #Constraints: 14858 221.99/222.77 c #Conflicts: 252000 | #Constraints: 15860 221.99/222.77 c #Conflicts: 253000 | #Constraints: 16861 221.99/222.77 c #Conflicts: 254000 | #Constraints: 17861 221.99/222.77 c #Conflicts: 255000 | #Constraints: 18862 221.99/222.77 c #Conflicts: 256000 | #Constraints: 19863 221.99/222.77 c INPROCESSING 221.99/222.77 c GARBAGE COLLECT 221.99/222.77 c rational objective 0 239.64/240.41 c #Conflicts: 257000 | #Constraints: 10846 239.64/240.41 c #Conflicts: 258000 | #Constraints: 11846 239.64/240.41 c #Conflicts: 259000 | #Constraints: 12847 239.64/240.41 c #Conflicts: 260000 | #Constraints: 13849 239.64/240.41 c #Conflicts: 261000 | #Constraints: 14850 239.64/240.41 c #Conflicts: 262000 | #Constraints: 15851 239.64/240.41 c #Conflicts: 263000 | #Constraints: 16852 239.64/240.41 c #Conflicts: 264000 | #Constraints: 17854 239.64/240.41 c #Conflicts: 265000 | #Constraints: 18854 239.64/240.41 c #Conflicts: 266000 | #Constraints: 19855 239.64/240.41 c INPROCESSING 239.64/240.41 c GARBAGE COLLECT 239.64/240.41 c rational objective 0 253.40/254.25 c #Conflicts: 267000 | #Constraints: 10648 253.40/254.25 c #Conflicts: 268000 | #Constraints: 11649 253.40/254.25 c #Conflicts: 269000 | #Constraints: 12649 253.40/254.25 c #Conflicts: 270000 | #Constraints: 13649 253.40/254.25 c #Conflicts: 271000 | #Constraints: 14649 253.40/254.25 c #Conflicts: 272000 | #Constraints: 15650 253.40/254.25 c #Conflicts: 273000 | #Constraints: 16652 253.40/254.25 c #Conflicts: 274000 | #Constraints: 17653 253.40/254.25 c #Conflicts: 275000 | #Constraints: 18654 253.40/254.25 c #Conflicts: 276000 | #Constraints: 19654 253.40/254.25 c #Conflicts: 277000 | #Constraints: 20656 253.40/254.25 c INPROCESSING 253.40/254.25 c GARBAGE COLLECT 253.40/254.25 c rational objective 0 271.15/272.00 c #Conflicts: 278000 | #Constraints: 11247 271.15/272.00 c #Conflicts: 279000 | #Constraints: 12247 271.15/272.00 c #Conflicts: 280000 | #Constraints: 13249 271.15/272.00 c #Conflicts: 281000 | #Constraints: 14249 271.15/272.00 c #Conflicts: 282000 | #Constraints: 15251 271.15/272.00 c #Conflicts: 283000 | #Constraints: 16253 271.15/272.00 c #Conflicts: 284000 | #Constraints: 17253 271.15/272.00 c #Conflicts: 285000 | #Constraints: 18253 271.15/272.00 c #Conflicts: 286000 | #Constraints: 19253 271.15/272.00 c #Conflicts: 287000 | #Constraints: 20255 271.15/272.00 c #Conflicts: 288000 | #Constraints: 21256 271.15/272.00 c INPROCESSING 271.15/272.00 c GARBAGE COLLECT 271.15/272.00 c rational objective 0 285.00/285.92 c #Conflicts: 289000 | #Constraints: 11650 285.00/285.92 c #Conflicts: 290000 | #Constraints: 12652 285.00/285.92 c #Conflicts: 291000 | #Constraints: 13653 285.00/285.92 c #Conflicts: 292000 | #Constraints: 14653 285.00/285.92 c #Conflicts: 293000 | #Constraints: 15654 285.00/285.92 c #Conflicts: 294000 | #Constraints: 16654 285.00/285.92 c #Conflicts: 295000 | #Constraints: 17655 285.00/285.92 c #Conflicts: 296000 | #Constraints: 18655 285.00/285.92 c #Conflicts: 297000 | #Constraints: 19656 285.00/285.92 c #Conflicts: 298000 | #Constraints: 20658 285.00/285.92 c #Conflicts: 299000 | #Constraints: 21659 285.00/285.92 c INPROCESSING 285.00/285.92 c GARBAGE COLLECT 285.00/285.92 c rational objective 0 298.56/299.57 c #Conflicts: 300000 | #Constraints: 11846 298.56/299.57 c #Conflicts: 301000 | #Constraints: 12847 298.56/299.57 c #Conflicts: 302000 | #Constraints: 13847 298.56/299.57 c #Conflicts: 303000 | #Constraints: 14848 298.56/299.57 c #Conflicts: 304000 | #Constraints: 15849 298.56/299.57 c #Conflicts: 305000 | #Constraints: 16849 298.56/299.57 c #Conflicts: 306000 | #Constraints: 17849 298.56/299.57 c #Conflicts: 307000 | #Constraints: 18850 298.56/299.57 c #Conflicts: 308000 | #Constraints: 19850 298.56/299.57 c #Conflicts: 309000 | #Constraints: 20850 298.56/299.57 c #Conflicts: 310000 | #Constraints: 21852 298.56/299.57 c INPROCESSING 298.56/299.57 c GARBAGE COLLECT 298.56/299.57 c rational objective 0 318.50/319.51 c #Conflicts: 311000 | #Constraints: 11844 318.50/319.51 c #Conflicts: 312000 | #Constraints: 12845 318.50/319.51 c #Conflicts: 313000 | #Constraints: 13847 318.50/319.51 c #Conflicts: 314000 | #Constraints: 14849 318.50/319.51 c #Conflicts: 315000 | #Constraints: 15850 318.50/319.51 c #Conflicts: 316000 | #Constraints: 16850 318.50/319.51 c #Conflicts: 317000 | #Constraints: 17851 318.50/319.51 c #Conflicts: 318000 | #Constraints: 18852 318.50/319.51 c #Conflicts: 319000 | #Constraints: 19853 318.50/319.51 c #Conflicts: 320000 | #Constraints: 20853 318.50/319.51 c #Conflicts: 321000 | #Constraints: 21853 318.50/319.51 c INPROCESSING 318.50/319.51 c GARBAGE COLLECT 318.50/319.51 c rational objective 0 335.95/337.04 c #Conflicts: 322000 | #Constraints: 11645 335.95/337.04 c #Conflicts: 323000 | #Constraints: 12645 335.95/337.04 c #Conflicts: 324000 | #Constraints: 13645 335.95/337.04 c #Conflicts: 325000 | #Constraints: 14646 335.95/337.04 c #Conflicts: 326000 | #Constraints: 15646 335.95/337.04 c #Conflicts: 327000 | #Constraints: 16647 335.95/337.04 c #Conflicts: 328000 | #Constraints: 17647 335.95/337.04 c #Conflicts: 329000 | #Constraints: 18647 335.95/337.04 c #Conflicts: 330000 | #Constraints: 19648 335.95/337.04 c #Conflicts: 331000 | #Constraints: 20648 335.95/337.04 c #Conflicts: 332000 | #Constraints: 21649 335.95/337.04 c #Conflicts: 333000 | #Constraints: 22649 335.95/337.04 c INPROCESSING 335.95/337.04 c GARBAGE COLLECT 335.95/337.04 c rational objective 0 358.07/359.29 c #Conflicts: 334000 | #Constraints: 12240 358.07/359.29 c #Conflicts: 335000 | #Constraints: 13241 358.07/359.29 c #Conflicts: 336000 | #Constraints: 14241 358.07/359.29 c #Conflicts: 337000 | #Constraints: 15241 358.07/359.29 c #Conflicts: 338000 | #Constraints: 16243 358.07/359.29 c #Conflicts: 339000 | #Constraints: 17246 358.07/359.29 c #Conflicts: 340000 | #Constraints: 18247 358.07/359.29 c #Conflicts: 341000 | #Constraints: 19247 358.07/359.29 c #Conflicts: 342000 | #Constraints: 20248 358.07/359.29 c #Conflicts: 343000 | #Constraints: 21251 358.07/359.29 c #Conflicts: 344000 | #Constraints: 22251 358.07/359.29 c #Conflicts: 345000 | #Constraints: 23251 358.07/359.29 c INPROCESSING 358.07/359.29 c GARBAGE COLLECT 358.07/359.29 c rational objective 0 374.53/375.79 c #Conflicts: 346000 | #Constraints: 12652 374.53/375.79 c #Conflicts: 347000 | #Constraints: 13653 374.53/375.79 c #Conflicts: 348000 | #Constraints: 14656 374.53/375.79 c #Conflicts: 349000 | #Constraints: 15656 374.53/375.79 c #Conflicts: 350000 | #Constraints: 16656 374.53/375.79 c #Conflicts: 351000 | #Constraints: 17657 374.53/375.79 c #Conflicts: 352000 | #Constraints: 18657 374.53/375.79 c #Conflicts: 353000 | #Constraints: 19657 374.53/375.79 c #Conflicts: 354000 | #Constraints: 20659 374.53/375.79 c #Conflicts: 355000 | #Constraints: 21662 374.53/375.79 c #Conflicts: 356000 | #Constraints: 22663 374.53/375.79 c #Conflicts: 357000 | #Constraints: 23664 374.53/375.79 c INPROCESSING 374.53/375.79 c GARBAGE COLLECT 374.53/375.79 c rational objective 0 389.88/391.19 c #Conflicts: 358000 | #Constraints: 12846 389.88/391.19 c #Conflicts: 359000 | #Constraints: 13846 389.88/391.19 c #Conflicts: 360000 | #Constraints: 14846 389.88/391.19 c #Conflicts: 361000 | #Constraints: 15849 389.88/391.19 c #Conflicts: 362000 | #Constraints: 16851 389.88/391.19 c #Conflicts: 363000 | #Constraints: 17851 389.88/391.19 c #Conflicts: 364000 | #Constraints: 18851 389.88/391.19 c #Conflicts: 365000 | #Constraints: 19851 389.88/391.19 c #Conflicts: 366000 | #Constraints: 20851 389.88/391.19 c #Conflicts: 367000 | #Constraints: 21852 389.88/391.19 c #Conflicts: 368000 | #Constraints: 22853 389.88/391.19 c #Conflicts: 369000 | #Constraints: 23853 389.88/391.19 c INPROCESSING 389.88/391.19 c GARBAGE COLLECT 389.88/391.19 c rational objective 0 413.20/414.54 c #Conflicts: 370000 | #Constraints: 12846 413.20/414.54 c #Conflicts: 371000 | #Constraints: 13846 413.20/414.54 c #Conflicts: 372000 | #Constraints: 14846 413.20/414.54 c #Conflicts: 373000 | #Constraints: 15849 413.20/414.54 c #Conflicts: 374000 | #Constraints: 16849 413.20/414.54 c bounds 14 >= 0 @ 395.332 413.20/414.54 c #Conflicts: 375000 | #Constraints: 17851 413.20/414.54 c #Conflicts: 376000 | #Constraints: 18854 413.20/414.54 c #Conflicts: 377000 | #Constraints: 19856 413.20/414.54 c #Conflicts: 378000 | #Constraints: 20856 413.20/414.54 c #Conflicts: 379000 | #Constraints: 21858 413.20/414.54 c #Conflicts: 380000 | #Constraints: 22859 413.20/414.54 c #Conflicts: 381000 | #Constraints: 23861 413.20/414.54 c INPROCESSING 413.20/414.54 c GARBAGE COLLECT 413.20/414.54 c rational objective 0 430.15/431.59 c #Conflicts: 382000 | #Constraints: 12651 430.15/431.59 c #Conflicts: 383000 | #Constraints: 13652 430.15/431.59 c #Conflicts: 384000 | #Constraints: 14653 430.15/431.59 c #Conflicts: 385000 | #Constraints: 15654 430.15/431.59 c #Conflicts: 386000 | #Constraints: 16656 430.15/431.59 c #Conflicts: 387000 | #Constraints: 17657 430.15/431.59 c #Conflicts: 388000 | #Constraints: 18658 430.15/431.59 c #Conflicts: 389000 | #Constraints: 19659 430.15/431.59 c #Conflicts: 390000 | #Constraints: 20662 430.15/431.59 c #Conflicts: 391000 | #Constraints: 21663 430.15/431.59 c #Conflicts: 392000 | #Constraints: 22665 430.15/431.59 c #Conflicts: 393000 | #Constraints: 23666 430.15/431.59 c #Conflicts: 394000 | #Constraints: 24666 430.15/431.59 c INPROCESSING 430.15/431.59 c GARBAGE COLLECT 430.15/431.59 c rational objective 0 454.27/455.73 c #Conflicts: 395000 | #Constraints: 13247 454.27/455.73 c #Conflicts: 396000 | #Constraints: 14247 454.27/455.73 c #Conflicts: 397000 | #Constraints: 15247 454.27/455.73 c #Conflicts: 398000 | #Constraints: 16247 454.27/455.73 c #Conflicts: 399000 | #Constraints: 17248 454.27/455.73 c #Conflicts: 400000 | #Constraints: 18248 454.27/455.73 c #Conflicts: 401000 | #Constraints: 19248 454.27/455.73 c #Conflicts: 402000 | #Constraints: 20249 454.27/455.73 c #Conflicts: 403000 | #Constraints: 21250 454.27/455.73 c #Conflicts: 404000 | #Constraints: 22251 454.27/455.73 c #Conflicts: 405000 | #Constraints: 23252 454.27/455.73 c #Conflicts: 406000 | #Constraints: 24254 454.27/455.73 c #Conflicts: 407000 | #Constraints: 25256 454.27/455.73 c INPROCESSING 454.27/455.73 c GARBAGE COLLECT 454.27/455.73 c rational objective 0 472.91/474.47 c #Conflicts: 408000 | #Constraints: 13646 472.91/474.47 c #Conflicts: 409000 | #Constraints: 14647 472.91/474.47 c #Conflicts: 410000 | #Constraints: 15648 472.91/474.47 c #Conflicts: 411000 | #Constraints: 16649 472.91/474.47 c #Conflicts: 412000 | #Constraints: 17652 472.91/474.47 c #Conflicts: 413000 | #Constraints: 18654 472.91/474.47 c #Conflicts: 414000 | #Constraints: 19655 472.91/474.47 c #Conflicts: 415000 | #Constraints: 20655 472.91/474.47 c #Conflicts: 416000 | #Constraints: 21656 472.91/474.47 c #Conflicts: 417000 | #Constraints: 22656 472.91/474.47 c #Conflicts: 418000 | #Constraints: 23656 472.91/474.47 c #Conflicts: 419000 | #Constraints: 24656 472.91/474.47 c #Conflicts: 420000 | #Constraints: 25656 472.91/474.47 c INPROCESSING 472.91/474.47 c GARBAGE COLLECT 472.91/474.47 c rational objective 0 492.14/493.77 c #Conflicts: 421000 | #Constraints: 13845 492.14/493.77 c #Conflicts: 422000 | #Constraints: 14846 492.14/493.77 c #Conflicts: 423000 | #Constraints: 15847 492.14/493.77 c #Conflicts: 424000 | #Constraints: 16847 492.14/493.77 c #Conflicts: 425000 | #Constraints: 17847 492.14/493.77 c #Conflicts: 426000 | #Constraints: 18849 492.14/493.77 c #Conflicts: 427000 | #Constraints: 19849 492.14/493.77 c #Conflicts: 428000 | #Constraints: 20850 492.14/493.77 c #Conflicts: 429000 | #Constraints: 21851 492.14/493.77 c #Conflicts: 430000 | #Constraints: 22852 492.14/493.77 c #Conflicts: 431000 | #Constraints: 23853 492.14/493.77 c #Conflicts: 432000 | #Constraints: 24853 492.14/493.77 c #Conflicts: 433000 | #Constraints: 25853 492.14/493.77 c INPROCESSING 492.14/493.77 c GARBAGE COLLECT 492.14/493.77 c rational objective 0 519.37/521.01 c #Conflicts: 434000 | #Constraints: 13845 519.37/521.01 c #Conflicts: 435000 | #Constraints: 14845 519.37/521.01 c #Conflicts: 436000 | #Constraints: 15845 519.37/521.01 c #Conflicts: 437000 | #Constraints: 16846 519.37/521.01 c #Conflicts: 438000 | #Constraints: 17846 519.37/521.01 c #Conflicts: 439000 | #Constraints: 18847 519.37/521.01 c #Conflicts: 440000 | #Constraints: 19848 519.37/521.01 c #Conflicts: 441000 | #Constraints: 20850 519.37/521.01 c #Conflicts: 442000 | #Constraints: 21851 519.37/521.01 c #Conflicts: 443000 | #Constraints: 22851 519.37/521.01 c #Conflicts: 444000 | #Constraints: 23851 519.37/521.01 c #Conflicts: 445000 | #Constraints: 24851 519.37/521.01 c #Conflicts: 446000 | #Constraints: 25852 519.37/521.01 c INPROCESSING 519.37/521.01 c GARBAGE COLLECT 519.37/521.01 c rational objective 0 545.68/547.48 c #Conflicts: 447000 | #Constraints: 13648 545.68/547.48 c #Conflicts: 448000 | #Constraints: 14649 545.68/547.48 c #Conflicts: 449000 | #Constraints: 15650 545.68/547.48 c #Conflicts: 450000 | #Constraints: 16650 545.68/547.48 c #Conflicts: 451000 | #Constraints: 17650 545.68/547.48 c #Conflicts: 452000 | #Constraints: 18651 545.68/547.48 c #Conflicts: 453000 | #Constraints: 19651 545.68/547.48 c #Conflicts: 454000 | #Constraints: 20652 545.68/547.48 c #Conflicts: 455000 | #Constraints: 21652 545.68/547.48 c #Conflicts: 456000 | #Constraints: 22652 545.68/547.48 c #Conflicts: 457000 | #Constraints: 23653 545.68/547.48 c #Conflicts: 458000 | #Constraints: 24654 545.68/547.48 c #Conflicts: 459000 | #Constraints: 25654 545.68/547.48 c #Conflicts: 460000 | #Constraints: 26654 545.68/547.48 c INPROCESSING 545.68/547.48 c GARBAGE COLLECT 545.68/547.48 c rational objective 0 575.88/577.72 c #Conflicts: 461000 | #Constraints: 14244 575.88/577.72 c #Conflicts: 462000 | #Constraints: 15247 575.88/577.72 c #Conflicts: 463000 | #Constraints: 16247 575.88/577.72 c #Conflicts: 464000 | #Constraints: 17248 575.88/577.72 c #Conflicts: 465000 | #Constraints: 18248 575.88/577.72 c #Conflicts: 466000 | #Constraints: 19249 575.88/577.72 c #Conflicts: 467000 | #Constraints: 20251 575.88/577.72 c #Conflicts: 468000 | #Constraints: 21252 575.88/577.72 c #Conflicts: 469000 | #Constraints: 22252 575.88/577.72 c #Conflicts: 470000 | #Constraints: 23253 575.88/577.72 c #Conflicts: 471000 | #Constraints: 24254 575.88/577.72 c #Conflicts: 472000 | #Constraints: 25256 575.88/577.72 c #Conflicts: 473000 | #Constraints: 26256 575.88/577.72 c #Conflicts: 474000 | #Constraints: 27256 575.88/577.72 c INPROCESSING 575.88/577.72 c GARBAGE COLLECT 575.88/577.72 c rational objective 0 604.88/606.80 c #Conflicts: 475000 | #Constraints: 14659 604.88/606.80 c #Conflicts: 476000 | #Constraints: 15659 604.88/606.80 c #Conflicts: 477000 | #Constraints: 16659 604.88/606.80 c #Conflicts: 478000 | #Constraints: 17661 604.88/606.80 c #Conflicts: 479000 | #Constraints: 18664 604.88/606.80 c #Conflicts: 480000 | #Constraints: 19664 604.88/606.80 c #Conflicts: 481000 | #Constraints: 20665 604.88/606.80 c #Conflicts: 482000 | #Constraints: 21666 604.88/606.80 c #Conflicts: 483000 | #Constraints: 22667 604.88/606.80 c #Conflicts: 484000 | #Constraints: 23667 604.88/606.80 c #Conflicts: 485000 | #Constraints: 24667 604.88/606.80 c #Conflicts: 486000 | #Constraints: 25668 604.88/606.80 c #Conflicts: 487000 | #Constraints: 26669 604.88/606.80 c #Conflicts: 488000 | #Constraints: 27669 604.88/606.80 c INPROCESSING 604.88/606.80 c GARBAGE COLLECT 604.88/606.80 c rational objective 0 635.78/637.84 c #Conflicts: 489000 | #Constraints: 14851 635.78/637.84 c #Conflicts: 490000 | #Constraints: 15853 635.78/637.84 c #Conflicts: 491000 | #Constraints: 16854 635.78/637.84 c #Conflicts: 492000 | #Constraints: 17856 635.78/637.84 c bounds 13 >= 0 @ 606.238 635.78/637.84 c #Conflicts: 493000 | #Constraints: 18859 635.78/637.84 c #Conflicts: 494000 | #Constraints: 19861 635.78/637.84 c #Conflicts: 495000 | #Constraints: 20861 635.78/637.84 c #Conflicts: 496000 | #Constraints: 21862 635.78/637.84 c #Conflicts: 497000 | #Constraints: 22862 635.78/637.84 c #Conflicts: 498000 | #Constraints: 23864 635.78/637.84 c #Conflicts: 499000 | #Constraints: 24864 635.78/637.84 c #Conflicts: 500000 | #Constraints: 25865 635.78/637.84 c #Conflicts: 501000 | #Constraints: 26865 635.78/637.84 c #Conflicts: 502000 | #Constraints: 27865 635.78/637.84 c INPROCESSING 635.78/637.84 c GARBAGE COLLECT 635.78/637.84 c rational objective 0 661.30/663.44 c #Conflicts: 503000 | #Constraints: 14854 661.30/663.44 c #Conflicts: 504000 | #Constraints: 15855 661.30/663.44 c #Conflicts: 505000 | #Constraints: 16855 661.30/663.44 c #Conflicts: 506000 | #Constraints: 17857 661.30/663.44 c #Conflicts: 507000 | #Constraints: 18857 661.30/663.44 c #Conflicts: 508000 | #Constraints: 19859 661.30/663.44 c #Conflicts: 509000 | #Constraints: 20861 661.30/663.44 c #Conflicts: 510000 | #Constraints: 21862 661.30/663.44 c #Conflicts: 511000 | #Constraints: 22863 661.30/663.44 c #Conflicts: 512000 | #Constraints: 23863 661.30/663.44 c #Conflicts: 513000 | #Constraints: 24863 661.30/663.44 c #Conflicts: 514000 | #Constraints: 25866 661.30/663.44 c #Conflicts: 515000 | #Constraints: 26867 661.30/663.44 c #Conflicts: 516000 | #Constraints: 27868 661.30/663.44 c INPROCESSING 661.30/663.44 c GARBAGE COLLECT 661.30/663.44 c rational objective 0 695.48/697.75 c #Conflicts: 517000 | #Constraints: 14649 695.48/697.75 c #Conflicts: 518000 | #Constraints: 15652 695.48/697.75 c #Conflicts: 519000 | #Constraints: 16653 695.48/697.75 c #Conflicts: 520000 | #Constraints: 17653 695.48/697.75 c #Conflicts: 521000 | #Constraints: 18653 695.48/697.75 c #Conflicts: 522000 | #Constraints: 19654 695.48/697.75 c #Conflicts: 523000 | #Constraints: 20655 695.48/697.75 c #Conflicts: 524000 | #Constraints: 21658 695.48/697.75 c #Conflicts: 525000 | #Constraints: 22660 695.48/697.75 c #Conflicts: 526000 | #Constraints: 23660 695.48/697.75 c #Conflicts: 527000 | #Constraints: 24660 695.48/697.75 c #Conflicts: 528000 | #Constraints: 25660 695.48/697.75 c #Conflicts: 529000 | #Constraints: 26660 695.48/697.75 c #Conflicts: 530000 | #Constraints: 27661 695.48/697.75 c #Conflicts: 531000 | #Constraints: 28661 695.48/697.75 c INPROCESSING 695.48/697.75 c GARBAGE COLLECT 695.48/697.75 c rational objective 0 721.30/723.62 c #Conflicts: 532000 | #Constraints: 15252 721.30/723.62 c #Conflicts: 533000 | #Constraints: 16252 721.30/723.62 c #Conflicts: 534000 | #Constraints: 17254 721.30/723.62 c #Conflicts: 535000 | #Constraints: 18255 721.30/723.62 c #Conflicts: 536000 | #Constraints: 19256 721.30/723.62 c #Conflicts: 537000 | #Constraints: 20256 721.30/723.62 c #Conflicts: 538000 | #Constraints: 21256 721.30/723.62 c #Conflicts: 539000 | #Constraints: 22258 721.30/723.62 c #Conflicts: 540000 | #Constraints: 23259 721.30/723.62 c #Conflicts: 541000 | #Constraints: 24261 721.30/723.62 c #Conflicts: 542000 | #Constraints: 25261 721.30/723.62 c #Conflicts: 543000 | #Constraints: 26263 721.30/723.62 c #Conflicts: 544000 | #Constraints: 27263 721.30/723.62 c #Conflicts: 545000 | #Constraints: 28264 721.30/723.62 c #Conflicts: 546000 | #Constraints: 29265 721.30/723.62 c INPROCESSING 721.30/723.62 c GARBAGE COLLECT 721.30/723.62 c rational objective 0 747.62/750.06 c #Conflicts: 547000 | #Constraints: 15648 747.62/750.06 c #Conflicts: 548000 | #Constraints: 16648 747.62/750.06 c #Conflicts: 549000 | #Constraints: 17648 747.62/750.06 c #Conflicts: 550000 | #Constraints: 18649 747.62/750.06 c #Conflicts: 551000 | #Constraints: 19650 747.62/750.06 c #Conflicts: 552000 | #Constraints: 20651 747.62/750.06 c #Conflicts: 553000 | #Constraints: 21652 747.62/750.06 c #Conflicts: 554000 | #Constraints: 22653 747.62/750.06 c #Conflicts: 555000 | #Constraints: 23653 747.62/750.06 c #Conflicts: 556000 | #Constraints: 24655 747.62/750.06 c #Conflicts: 557000 | #Constraints: 25655 747.62/750.06 c #Conflicts: 558000 | #Constraints: 26655 747.62/750.06 c #Conflicts: 559000 | #Constraints: 27656 747.62/750.06 c #Conflicts: 560000 | #Constraints: 28656 747.62/750.06 c #Conflicts: 561000 | #Constraints: 29658 747.62/750.06 c INPROCESSING 747.62/750.06 c GARBAGE COLLECT 747.62/750.06 c rational objective 0 785.79/788.36 c #Conflicts: 562000 | #Constraints: 15847 785.79/788.36 c #Conflicts: 563000 | #Constraints: 16848 785.79/788.36 c #Conflicts: 564000 | #Constraints: 17848 785.79/788.36 c #Conflicts: 565000 | #Constraints: 18848 785.79/788.36 c #Conflicts: 566000 | #Constraints: 19849 785.79/788.36 c #Conflicts: 567000 | #Constraints: 20849 785.79/788.36 c #Conflicts: 568000 | #Constraints: 21850 785.79/788.36 c #Conflicts: 569000 | #Constraints: 22851 785.79/788.36 c #Conflicts: 570000 | #Constraints: 23851 785.79/788.36 c #Conflicts: 571000 | #Constraints: 24851 785.79/788.36 c #Conflicts: 572000 | #Constraints: 25851 785.79/788.36 c #Conflicts: 573000 | #Constraints: 26851 785.79/788.36 c #Conflicts: 574000 | #Constraints: 27852 785.79/788.36 c #Conflicts: 575000 | #Constraints: 28852 785.79/788.36 c #Conflicts: 576000 | #Constraints: 29852 785.79/788.36 c INPROCESSING 785.79/788.36 c GARBAGE COLLECT 785.79/788.36 c rational objective 0 814.09/816.79 c #Conflicts: 577000 | #Constraints: 15846 814.09/816.79 c #Conflicts: 578000 | #Constraints: 16847 814.09/816.79 c #Conflicts: 579000 | #Constraints: 17848 814.09/816.79 c #Conflicts: 580000 | #Constraints: 18848 814.09/816.79 c #Conflicts: 581000 | #Constraints: 19850 814.09/816.79 c #Conflicts: 582000 | #Constraints: 20850 814.09/816.79 c #Conflicts: 583000 | #Constraints: 21851 814.09/816.79 c #Conflicts: 584000 | #Constraints: 22852 814.09/816.79 c #Conflicts: 585000 | #Constraints: 23853 814.09/816.79 c #Conflicts: 586000 | #Constraints: 24853 814.09/816.79 c #Conflicts: 587000 | #Constraints: 25853 814.09/816.79 c #Conflicts: 588000 | #Constraints: 26853 814.09/816.79 c #Conflicts: 589000 | #Constraints: 27853 814.09/816.79 c #Conflicts: 590000 | #Constraints: 28854 814.09/816.79 c #Conflicts: 591000 | #Constraints: 29854 814.09/816.79 c INPROCESSING 814.09/816.79 c GARBAGE COLLECT 814.09/816.79 c rational objective 0 856.55/859.31 c #Conflicts: 592000 | #Constraints: 15644 856.55/859.31 c #Conflicts: 593000 | #Constraints: 16646 856.55/859.31 c #Conflicts: 594000 | #Constraints: 17647 856.55/859.31 c #Conflicts: 595000 | #Constraints: 18648 856.55/859.31 c #Conflicts: 596000 | #Constraints: 19648 856.55/859.31 c #Conflicts: 597000 | #Constraints: 20648 856.55/859.31 c #Conflicts: 598000 | #Constraints: 21648 856.55/859.31 c #Conflicts: 599000 | #Constraints: 22649 856.55/859.31 c #Conflicts: 600000 | #Constraints: 23650 856.55/859.31 c #Conflicts: 601000 | #Constraints: 24651 856.55/859.31 c #Conflicts: 602000 | #Constraints: 25651 856.55/859.31 c #Conflicts: 603000 | #Constraints: 26652 856.55/859.31 c #Conflicts: 604000 | #Constraints: 27652 856.55/859.31 c #Conflicts: 605000 | #Constraints: 28653 856.55/859.31 c #Conflicts: 606000 | #Constraints: 29654 856.55/859.31 c #Conflicts: 607000 | #Constraints: 30654 856.55/859.31 c INPROCESSING 856.55/859.31 c GARBAGE COLLECT 856.55/859.31 c rational objective 0 887.36/890.22 c #Conflicts: 608000 | #Constraints: 16252 887.36/890.22 c #Conflicts: 609000 | #Constraints: 17253 887.36/890.22 c #Conflicts: 610000 | #Constraints: 18254 887.36/890.22 c #Conflicts: 611000 | #Constraints: 19254 887.36/890.22 c #Conflicts: 612000 | #Constraints: 20255 887.36/890.22 c #Conflicts: 613000 | #Constraints: 21256 887.36/890.22 c #Conflicts: 614000 | #Constraints: 22257 887.36/890.22 c #Conflicts: 615000 | #Constraints: 23257 887.36/890.22 c #Conflicts: 616000 | #Constraints: 24259 887.36/890.22 c #Conflicts: 617000 | #Constraints: 25261 887.36/890.22 c #Conflicts: 618000 | #Constraints: 26261 887.36/890.22 c #Conflicts: 619000 | #Constraints: 27261 887.36/890.22 c #Conflicts: 620000 | #Constraints: 28262 887.36/890.22 c #Conflicts: 621000 | #Constraints: 29262 887.36/890.22 c #Conflicts: 622000 | #Constraints: 30262 887.36/890.22 c #Conflicts: 623000 | #Constraints: 31262 887.36/890.22 c INPROCESSING 887.36/890.22 c GARBAGE COLLECT 887.36/890.22 c rational objective 0 916.36/919.39 c #Conflicts: 624000 | #Constraints: 16645 916.36/919.39 c #Conflicts: 625000 | #Constraints: 17645 916.36/919.39 c #Conflicts: 626000 | #Constraints: 18645 916.36/919.39 c #Conflicts: 627000 | #Constraints: 19645 916.36/919.39 c #Conflicts: 628000 | #Constraints: 20647 916.36/919.39 c #Conflicts: 629000 | #Constraints: 21647 916.36/919.39 c #Conflicts: 630000 | #Constraints: 22647 916.36/919.39 c #Conflicts: 631000 | #Constraints: 23648 916.36/919.39 c #Conflicts: 632000 | #Constraints: 24650 916.36/919.39 c #Conflicts: 633000 | #Constraints: 25651 916.36/919.39 c #Conflicts: 634000 | #Constraints: 26651 916.36/919.39 c #Conflicts: 635000 | #Constraints: 27651 916.36/919.39 c #Conflicts: 636000 | #Constraints: 28652 916.36/919.39 c #Conflicts: 637000 | #Constraints: 29653 916.36/919.39 c #Conflicts: 638000 | #Constraints: 30653 916.36/919.39 c #Conflicts: 639000 | #Constraints: 31653 916.36/919.39 c INPROCESSING 916.36/919.39 c GARBAGE COLLECT 916.36/919.39 c rational objective 0 962.60/965.74 c #Conflicts: 640000 | #Constraints: 16840 962.60/965.74 c #Conflicts: 641000 | #Constraints: 17840 962.60/965.74 c #Conflicts: 642000 | #Constraints: 18840 962.60/965.74 c #Conflicts: 643000 | #Constraints: 19840 962.60/965.74 c #Conflicts: 644000 | #Constraints: 20842 962.60/965.74 c #Conflicts: 645000 | #Constraints: 21843 962.60/965.74 c #Conflicts: 646000 | #Constraints: 22843 962.60/965.74 c #Conflicts: 647000 | #Constraints: 23843 962.60/965.74 c #Conflicts: 648000 | #Constraints: 24844 962.60/965.74 c #Conflicts: 649000 | #Constraints: 25845 962.60/965.74 c #Conflicts: 650000 | #Constraints: 26845 962.60/965.74 c #Conflicts: 651000 | #Constraints: 27845 962.60/965.74 c #Conflicts: 652000 | #Constraints: 28845 962.60/965.74 c #Conflicts: 653000 | #Constraints: 29846 962.60/965.74 c #Conflicts: 654000 | #Constraints: 30846 962.60/965.74 c #Conflicts: 655000 | #Constraints: 31846 962.60/965.74 c INPROCESSING 962.60/965.74 c GARBAGE COLLECT 962.60/965.74 c rational objective 0 994.91/998.18 c #Conflicts: 656000 | #Constraints: 16846 994.91/998.18 c #Conflicts: 657000 | #Constraints: 17846 994.91/998.18 c #Conflicts: 658000 | #Constraints: 18846 994.91/998.18 c #Conflicts: 659000 | #Constraints: 19847 994.91/998.18 c #Conflicts: 660000 | #Constraints: 20848 994.91/998.18 c #Conflicts: 661000 | #Constraints: 21851 994.91/998.18 c #Conflicts: 662000 | #Constraints: 22851 994.91/998.18 c #Conflicts: 663000 | #Constraints: 23851 994.91/998.18 c #Conflicts: 664000 | #Constraints: 24852 994.91/998.18 c #Conflicts: 665000 | #Constraints: 25853 994.91/998.18 c #Conflicts: 666000 | #Constraints: 26855 994.91/998.18 c #Conflicts: 667000 | #Constraints: 27855 994.91/998.18 c #Conflicts: 668000 | #Constraints: 28857 994.91/998.18 c #Conflicts: 669000 | #Constraints: 29859 994.91/998.18 c #Conflicts: 670000 | #Constraints: 30859 994.91/998.18 c #Conflicts: 671000 | #Constraints: 31861 994.91/998.18 c INPROCESSING 994.91/998.18 c GARBAGE COLLECT 994.91/998.18 c rational objective 0 1043.94/1047.38 c #Conflicts: 672000 | #Constraints: 16646 1043.94/1047.38 c #Conflicts: 673000 | #Constraints: 17646 1043.94/1047.38 c #Conflicts: 674000 | #Constraints: 18647 1043.94/1047.38 c #Conflicts: 675000 | #Constraints: 19648 1043.94/1047.38 c #Conflicts: 676000 | #Constraints: 20649 1043.94/1047.38 c #Conflicts: 677000 | #Constraints: 21650 1043.94/1047.38 c #Conflicts: 678000 | #Constraints: 22652 1043.94/1047.38 c #Conflicts: 679000 | #Constraints: 23652 1043.94/1047.38 c #Conflicts: 680000 | #Constraints: 24654 1043.94/1047.38 c #Conflicts: 681000 | #Constraints: 25655 1043.94/1047.38 c #Conflicts: 682000 | #Constraints: 26656 1043.94/1047.38 c #Conflicts: 683000 | #Constraints: 27656 1043.94/1047.38 c #Conflicts: 684000 | #Constraints: 28657 1043.94/1047.38 c #Conflicts: 685000 | #Constraints: 29657 1043.94/1047.38 c #Conflicts: 686000 | #Constraints: 30658 1043.94/1047.38 c #Conflicts: 687000 | #Constraints: 31658 1043.94/1047.38 c #Conflicts: 688000 | #Constraints: 32658 1043.94/1047.38 c INPROCESSING 1043.94/1047.38 c GARBAGE COLLECT 1043.94/1047.38 c rational objective 0 1080.91/1084.49 c #Conflicts: 689000 | #Constraints: 17250 1080.91/1084.49 c #Conflicts: 690000 | #Constraints: 18250 1080.91/1084.49 c #Conflicts: 691000 | #Constraints: 19251 1080.91/1084.49 c #Conflicts: 692000 | #Constraints: 20251 1080.91/1084.49 c #Conflicts: 693000 | #Constraints: 21253 1080.91/1084.49 c #Conflicts: 694000 | #Constraints: 22254 1080.91/1084.49 c #Conflicts: 695000 | #Constraints: 23254 1080.91/1084.49 c #Conflicts: 696000 | #Constraints: 24254 1080.91/1084.49 c #Conflicts: 697000 | #Constraints: 25255 1080.91/1084.49 c #Conflicts: 698000 | #Constraints: 26256 1080.91/1084.49 c #Conflicts: 699000 | #Constraints: 27256 1080.91/1084.49 c #Conflicts: 700000 | #Constraints: 28258 1080.91/1084.49 c #Conflicts: 701000 | #Constraints: 29259 1080.91/1084.49 c #Conflicts: 702000 | #Constraints: 30259 1080.91/1084.49 c #Conflicts: 703000 | #Constraints: 31259 1080.91/1084.49 c #Conflicts: 704000 | #Constraints: 32260 1080.91/1084.49 c #Conflicts: 705000 | #Constraints: 33260 1080.91/1084.49 c INPROCESSING 1080.91/1084.49 c GARBAGE COLLECT 1080.91/1084.49 c rational objective 0 1120.89/1124.58 c #Conflicts: 706000 | #Constraints: 17648 1120.89/1124.58 c #Conflicts: 707000 | #Constraints: 18648 1120.89/1124.58 c #Conflicts: 708000 | #Constraints: 19649 1120.89/1124.58 c #Conflicts: 709000 | #Constraints: 20650 1120.89/1124.58 c #Conflicts: 710000 | #Constraints: 21653 1120.89/1124.58 c #Conflicts: 711000 | #Constraints: 22653 1120.89/1124.58 c #Conflicts: 712000 | #Constraints: 23653 1120.89/1124.58 c #Conflicts: 713000 | #Constraints: 24653 1120.89/1124.58 c #Conflicts: 714000 | #Constraints: 25653 1120.89/1124.58 c #Conflicts: 715000 | #Constraints: 26653 1120.89/1124.58 c #Conflicts: 716000 | #Constraints: 27654 1120.89/1124.58 c #Conflicts: 717000 | #Constraints: 28654 1120.89/1124.58 c #Conflicts: 718000 | #Constraints: 29655 1120.89/1124.58 c #Conflicts: 719000 | #Constraints: 30655 1120.89/1124.58 c #Conflicts: 720000 | #Constraints: 31656 1120.89/1124.58 c #Conflicts: 721000 | #Constraints: 32656 1120.89/1124.58 c #Conflicts: 722000 | #Constraints: 33656 1120.89/1124.58 c INPROCESSING 1120.89/1124.58 c GARBAGE COLLECT 1120.89/1124.58 c rational objective 0 1175.70/1179.59 c #Conflicts: 723000 | #Constraints: 17843 1175.70/1179.59 c #Conflicts: 724000 | #Constraints: 18845 1175.70/1179.59 c #Conflicts: 725000 | #Constraints: 19845 1175.70/1179.59 c #Conflicts: 726000 | #Constraints: 20845 1175.70/1179.59 c #Conflicts: 727000 | #Constraints: 21846 1175.70/1179.59 c #Conflicts: 728000 | #Constraints: 22847 1175.70/1179.59 c #Conflicts: 729000 | #Constraints: 23848 1175.70/1179.59 c #Conflicts: 730000 | #Constraints: 24848 1175.70/1179.59 c #Conflicts: 731000 | #Constraints: 25850 1175.70/1179.59 c #Conflicts: 732000 | #Constraints: 26850 1175.70/1179.59 c #Conflicts: 733000 | #Constraints: 27850 1175.70/1179.59 c #Conflicts: 734000 | #Constraints: 28850 1175.70/1179.59 c #Conflicts: 735000 | #Constraints: 29850 1175.70/1179.59 c #Conflicts: 736000 | #Constraints: 30851 1175.70/1179.59 c #Conflicts: 737000 | #Constraints: 31851 1175.70/1179.59 c #Conflicts: 738000 | #Constraints: 32851 1175.70/1179.59 c #Conflicts: 739000 | #Constraints: 33851 1175.70/1179.59 c INPROCESSING 1175.70/1179.59 c GARBAGE COLLECT 1175.70/1179.59 c rational objective 0 1217.07/1221.09 c #Conflicts: 740000 | #Constraints: 17849 1217.07/1221.09 c #Conflicts: 741000 | #Constraints: 18849 1217.07/1221.09 c #Conflicts: 742000 | #Constraints: 19852 1217.07/1221.09 c #Conflicts: 743000 | #Constraints: 20855 1217.07/1221.09 c #Conflicts: 744000 | #Constraints: 21858 1217.07/1221.09 c #Conflicts: 745000 | #Constraints: 22860 1217.07/1221.09 c #Conflicts: 746000 | #Constraints: 23860 1217.07/1221.09 c #Conflicts: 747000 | #Constraints: 24860 1217.07/1221.09 c #Conflicts: 748000 | #Constraints: 25860 1217.07/1221.09 c #Conflicts: 749000 | #Constraints: 26860 1217.07/1221.09 c #Conflicts: 750000 | #Constraints: 27860 1217.07/1221.09 c #Conflicts: 751000 | #Constraints: 28860 1217.07/1221.09 c #Conflicts: 752000 | #Constraints: 29860 1217.07/1221.09 c #Conflicts: 753000 | #Constraints: 30860 1217.07/1221.09 c #Conflicts: 754000 | #Constraints: 31860 1217.07/1221.09 c #Conflicts: 755000 | #Constraints: 32860 1217.07/1221.09 c #Conflicts: 756000 | #Constraints: 33861 1217.07/1221.09 c INPROCESSING 1217.07/1221.09 c GARBAGE COLLECT 1217.07/1221.09 c rational objective 0 1276.98/1281.13 c #Conflicts: 757000 | #Constraints: 17647 1276.98/1281.13 c #Conflicts: 758000 | #Constraints: 18647 1276.98/1281.13 c #Conflicts: 759000 | #Constraints: 19647 1276.98/1281.13 c #Conflicts: 760000 | #Constraints: 20647 1276.98/1281.13 c #Conflicts: 761000 | #Constraints: 21647 1276.98/1281.13 c #Conflicts: 762000 | #Constraints: 22647 1276.98/1281.13 c #Conflicts: 763000 | #Constraints: 23647 1276.98/1281.13 c #Conflicts: 764000 | #Constraints: 24649 1276.98/1281.13 c #Conflicts: 765000 | #Constraints: 25651 1276.98/1281.13 c #Conflicts: 766000 | #Constraints: 26651 1276.98/1281.13 c #Conflicts: 767000 | #Constraints: 27651 1276.98/1281.13 c #Conflicts: 768000 | #Constraints: 28651 1276.98/1281.13 c #Conflicts: 769000 | #Constraints: 29651 1276.98/1281.13 c #Conflicts: 770000 | #Constraints: 30651 1276.98/1281.13 c #Conflicts: 771000 | #Constraints: 31651 1276.98/1281.13 c #Conflicts: 772000 | #Constraints: 32651 1276.98/1281.13 c #Conflicts: 773000 | #Constraints: 33651 1276.98/1281.13 c #Conflicts: 774000 | #Constraints: 34651 1276.98/1281.13 c INPROCESSING 1276.98/1281.13 c GARBAGE COLLECT 1276.98/1281.13 c rational objective 0 1320.52/1324.87 c #Conflicts: 775000 | #Constraints: 18248 1320.52/1324.87 c #Conflicts: 776000 | #Constraints: 19248 1320.52/1324.87 c #Conflicts: 777000 | #Constraints: 20248 1320.52/1324.87 c #Conflicts: 778000 | #Constraints: 21249 1320.52/1324.87 c #Conflicts: 779000 | #Constraints: 22249 1320.52/1324.87 c #Conflicts: 780000 | #Constraints: 23249 1320.52/1324.87 c #Conflicts: 781000 | #Constraints: 24249 1320.52/1324.87 c #Conflicts: 782000 | #Constraints: 25251 1320.52/1324.87 c #Conflicts: 783000 | #Constraints: 26251 1320.52/1324.87 c #Conflicts: 784000 | #Constraints: 27251 1320.52/1324.87 c #Conflicts: 785000 | #Constraints: 28252 1320.52/1324.87 c #Conflicts: 786000 | #Constraints: 29252 1320.52/1324.87 c #Conflicts: 787000 | #Constraints: 30253 1320.52/1324.87 c #Conflicts: 788000 | #Constraints: 31253 1320.52/1324.87 c #Conflicts: 789000 | #Constraints: 32254 1320.52/1324.87 c #Conflicts: 790000 | #Constraints: 33256 1320.52/1324.87 c #Conflicts: 791000 | #Constraints: 34256 1320.52/1324.87 c #Conflicts: 792000 | #Constraints: 35256 1320.52/1324.87 c INPROCESSING 1320.52/1324.87 c GARBAGE COLLECT 1320.52/1324.87 c rational objective 0 1384.81/1389.39 c #Conflicts: 793000 | #Constraints: 18644 1384.81/1389.39 c #Conflicts: 794000 | #Constraints: 19645 1384.81/1389.39 c #Conflicts: 795000 | #Constraints: 20646 1384.81/1389.39 c #Conflicts: 796000 | #Constraints: 21647 1384.81/1389.39 c #Conflicts: 797000 | #Constraints: 22647 1384.81/1389.39 c #Conflicts: 798000 | #Constraints: 23647 1384.81/1389.39 c #Conflicts: 799000 | #Constraints: 24648 1384.81/1389.39 c #Conflicts: 800000 | #Constraints: 25648 1384.81/1389.39 c #Conflicts: 801000 | #Constraints: 26648 1384.81/1389.39 c #Conflicts: 802000 | #Constraints: 27652 1384.81/1389.39 c #Conflicts: 803000 | #Constraints: 28653 1384.81/1389.39 c #Conflicts: 804000 | #Constraints: 29653 1384.81/1389.39 c #Conflicts: 805000 | #Constraints: 30653 1384.81/1389.39 c #Conflicts: 806000 | #Constraints: 31653 1384.81/1389.39 c #Conflicts: 807000 | #Constraints: 32654 1384.81/1389.39 c #Conflicts: 808000 | #Constraints: 33655 1384.81/1389.39 c #Conflicts: 809000 | #Constraints: 34656 1384.81/1389.39 c #Conflicts: 810000 | #Constraints: 35656 1384.81/1389.39 c INPROCESSING 1384.81/1389.39 c GARBAGE COLLECT 1384.81/1389.39 c rational objective 0 1428.27/1432.95 c #Conflicts: 811000 | #Constraints: 18853 1428.27/1432.95 c #Conflicts: 812000 | #Constraints: 19854 1428.27/1432.95 c #Conflicts: 813000 | #Constraints: 20855 1428.27/1432.95 c #Conflicts: 814000 | #Constraints: 21856 1428.27/1432.95 c #Conflicts: 815000 | #Constraints: 22857 1428.27/1432.95 c #Conflicts: 816000 | #Constraints: 23857 1428.27/1432.95 c #Conflicts: 817000 | #Constraints: 24858 1428.27/1432.95 c #Conflicts: 818000 | #Constraints: 25858 1428.27/1432.95 c #Conflicts: 819000 | #Constraints: 26858 1428.27/1432.95 c #Conflicts: 820000 | #Constraints: 27858 1428.27/1432.95 c #Conflicts: 821000 | #Constraints: 28859 1428.27/1432.95 c #Conflicts: 822000 | #Constraints: 29860 1428.27/1432.95 c #Conflicts: 823000 | #Constraints: 30860 1428.27/1432.95 c #Conflicts: 824000 | #Constraints: 31860 1428.27/1432.95 c #Conflicts: 825000 | #Constraints: 32860 1428.27/1432.95 c #Conflicts: 826000 | #Constraints: 33860 1428.27/1432.95 c #Conflicts: 827000 | #Constraints: 34861 1428.27/1432.95 c #Conflicts: 828000 | #Constraints: 35862 1428.27/1432.95 c INPROCESSING 1428.27/1432.95 c GARBAGE COLLECT 1428.27/1432.95 c rational objective 0 1476.12/1480.97 c #Conflicts: 829000 | #Constraints: 18852 1476.12/1480.97 c #Conflicts: 830000 | #Constraints: 19852 1476.12/1480.97 c #Conflicts: 831000 | #Constraints: 20852 1476.12/1480.97 c #Conflicts: 832000 | #Constraints: 21852 1476.12/1480.97 c #Conflicts: 833000 | #Constraints: 22852 1476.12/1480.97 c #Conflicts: 834000 | #Constraints: 23853 1476.12/1480.97 c #Conflicts: 835000 | #Constraints: 24853 1476.12/1480.97 c #Conflicts: 836000 | #Constraints: 25853 1476.12/1480.97 c #Conflicts: 837000 | #Constraints: 26854 1476.12/1480.97 c #Conflicts: 838000 | #Constraints: 27854 1476.12/1480.97 c #Conflicts: 839000 | #Constraints: 28854 1476.12/1480.97 c #Conflicts: 840000 | #Constraints: 29854 1476.12/1480.97 c #Conflicts: 841000 | #Constraints: 30854 1476.12/1480.97 c #Conflicts: 842000 | #Constraints: 31854 1476.12/1480.97 c #Conflicts: 843000 | #Constraints: 32854 1476.12/1480.97 c #Conflicts: 844000 | #Constraints: 33854 1476.12/1480.97 c #Conflicts: 845000 | #Constraints: 34854 1476.12/1480.97 c #Conflicts: 846000 | #Constraints: 35855 1476.12/1480.97 c INPROCESSING 1476.12/1480.97 c GARBAGE COLLECT 1476.12/1480.97 c rational objective 0 1544.99/1550.07 c #Conflicts: 847000 | #Constraints: 18642 1544.99/1550.07 c #Conflicts: 848000 | #Constraints: 19642 1544.99/1550.07 c #Conflicts: 849000 | #Constraints: 20642 1544.99/1550.07 c #Conflicts: 850000 | #Constraints: 21642 1544.99/1550.07 c #Conflicts: 851000 | #Constraints: 22644 1544.99/1550.07 c #Conflicts: 852000 | #Constraints: 23644 1544.99/1550.07 c #Conflicts: 853000 | #Constraints: 24645 1544.99/1550.07 c #Conflicts: 854000 | #Constraints: 25646 1544.99/1550.07 c #Conflicts: 855000 | #Constraints: 26646 1544.99/1550.07 c #Conflicts: 856000 | #Constraints: 27646 1544.99/1550.07 c #Conflicts: 857000 | #Constraints: 28648 1544.99/1550.07 c #Conflicts: 858000 | #Constraints: 29649 1544.99/1550.07 c #Conflicts: 859000 | #Constraints: 30649 1544.99/1550.07 c #Conflicts: 860000 | #Constraints: 31649 1544.99/1550.07 c #Conflicts: 861000 | #Constraints: 32650 1544.99/1550.07 c #Conflicts: 862000 | #Constraints: 33650 1544.99/1550.07 c #Conflicts: 863000 | #Constraints: 34650 1544.99/1550.07 c #Conflicts: 864000 | #Constraints: 35652 1544.99/1550.07 c #Conflicts: 865000 | #Constraints: 36652 1544.99/1550.07 c INPROCESSING 1544.99/1550.07 c GARBAGE COLLECT 1544.99/1550.07 c rational objective 0 1589.84/1595.04 c #Conflicts: 866000 | #Constraints: 19248 1589.84/1595.04 c #Conflicts: 867000 | #Constraints: 20249 1589.84/1595.04 c #Conflicts: 868000 | #Constraints: 21249 1589.84/1595.04 c #Conflicts: 869000 | #Constraints: 22251 1589.84/1595.04 c #Conflicts: 870000 | #Constraints: 23251 1589.84/1595.04 c #Conflicts: 871000 | #Constraints: 24251 1589.84/1595.04 c #Conflicts: 872000 | #Constraints: 25252 1589.84/1595.04 c #Conflicts: 873000 | #Constraints: 26252 1589.84/1595.04 c #Conflicts: 874000 | #Constraints: 27252 1589.84/1595.04 c #Conflicts: 875000 | #Constraints: 28252 1589.84/1595.04 c #Conflicts: 876000 | #Constraints: 29255 1589.84/1595.04 c #Conflicts: 877000 | #Constraints: 30256 1589.84/1595.04 c #Conflicts: 878000 | #Constraints: 31257 1589.84/1595.04 c #Conflicts: 879000 | #Constraints: 32257 1589.84/1595.04 c #Conflicts: 880000 | #Constraints: 33257 1589.84/1595.04 c #Conflicts: 881000 | #Constraints: 34257 1589.84/1595.04 c #Conflicts: 882000 | #Constraints: 35257 1589.84/1595.04 c #Conflicts: 883000 | #Constraints: 36257 1589.84/1595.04 c #Conflicts: 884000 | #Constraints: 37257 1589.84/1595.04 c INPROCESSING 1589.84/1595.04 c GARBAGE COLLECT 1589.84/1595.04 c rational objective 0 1663.60/1669.01 c #Conflicts: 885000 | #Constraints: 19640 1663.60/1669.01 c #Conflicts: 886000 | #Constraints: 20640 1663.60/1669.01 c #Conflicts: 887000 | #Constraints: 21641 1663.60/1669.01 c #Conflicts: 888000 | #Constraints: 22641 1663.60/1669.01 c #Conflicts: 889000 | #Constraints: 23641 1663.60/1669.01 c #Conflicts: 890000 | #Constraints: 24641 1663.60/1669.01 c #Conflicts: 891000 | #Constraints: 25641 1663.60/1669.01 c #Conflicts: 892000 | #Constraints: 26641 1663.60/1669.01 c #Conflicts: 893000 | #Constraints: 27641 1663.60/1669.01 c #Conflicts: 894000 | #Constraints: 28641 1663.60/1669.01 c #Conflicts: 895000 | #Constraints: 29641 1663.60/1669.01 c #Conflicts: 896000 | #Constraints: 30641 1663.60/1669.01 c #Conflicts: 897000 | #Constraints: 31644 1663.60/1669.01 c #Conflicts: 898000 | #Constraints: 32645 1663.60/1669.01 c #Conflicts: 899000 | #Constraints: 33645 1663.60/1669.01 c #Conflicts: 900000 | #Constraints: 34645 1663.60/1669.01 c #Conflicts: 901000 | #Constraints: 35646 1663.60/1669.01 c #Conflicts: 902000 | #Constraints: 36646 1663.60/1669.01 c #Conflicts: 903000 | #Constraints: 37646 1663.60/1669.01 c INPROCESSING 1663.60/1669.01 c GARBAGE COLLECT 1663.60/1669.01 c rational objective 0 1712.44/1718.08 c #Conflicts: 904000 | #Constraints: 19850 1712.44/1718.08 c #Conflicts: 905000 | #Constraints: 20850 1712.44/1718.08 c #Conflicts: 906000 | #Constraints: 21852 1712.44/1718.08 c #Conflicts: 907000 | #Constraints: 22853 1712.44/1718.08 c #Conflicts: 908000 | #Constraints: 23853 1712.44/1718.08 c #Conflicts: 909000 | #Constraints: 24853 1712.44/1718.08 c #Conflicts: 910000 | #Constraints: 25854 1712.44/1718.08 c #Conflicts: 911000 | #Constraints: 26854 1712.44/1718.08 c #Conflicts: 912000 | #Constraints: 27854 1712.44/1718.08 c #Conflicts: 913000 | #Constraints: 28854 1712.44/1718.08 c #Conflicts: 914000 | #Constraints: 29854 1712.44/1718.08 c #Conflicts: 915000 | #Constraints: 30855 1712.44/1718.08 c #Conflicts: 916000 | #Constraints: 31856 1712.44/1718.08 c #Conflicts: 917000 | #Constraints: 32856 1712.44/1718.08 c #Conflicts: 918000 | #Constraints: 33856 1712.44/1718.08 c #Conflicts: 919000 | #Constraints: 34856 1712.44/1718.08 c #Conflicts: 920000 | #Constraints: 35857 1712.44/1718.08 c #Conflicts: 921000 | #Constraints: 36858 1712.44/1718.08 c #Conflicts: 922000 | #Constraints: 37860 1712.44/1718.08 c INPROCESSING 1712.44/1718.08 c GARBAGE COLLECT 1712.44/1718.08 c rational objective 0 1760.08/1765.87 c #Conflicts: 923000 | #Constraints: 19846 1760.08/1765.87 c #Conflicts: 924000 | #Constraints: 20847 1760.08/1765.87 c #Conflicts: 925000 | #Constraints: 21847 1760.08/1765.87 c #Conflicts: 926000 | #Constraints: 22848 1760.08/1765.87 c #Conflicts: 927000 | #Constraints: 23849 1760.08/1765.87 c #Conflicts: 928000 | #Constraints: 24851 1760.08/1765.87 c #Conflicts: 929000 | #Constraints: 25851 1760.08/1765.87 c #Conflicts: 930000 | #Constraints: 26851 1760.08/1765.87 c #Conflicts: 931000 | #Constraints: 27852 1760.08/1765.87 c #Conflicts: 932000 | #Constraints: 28852 1760.08/1765.87 c #Conflicts: 933000 | #Constraints: 29852 1760.08/1765.87 c #Conflicts: 934000 | #Constraints: 30853 1760.08/1765.87 c #Conflicts: 935000 | #Constraints: 31853 1760.08/1765.87 c #Conflicts: 936000 | #Constraints: 32853 1760.08/1765.87 c #Conflicts: 937000 | #Constraints: 33855 1760.08/1765.87 c #Conflicts: 938000 | #Constraints: 34855 1760.08/1765.87 c #Conflicts: 939000 | #Constraints: 35855 1760.08/1765.87 c #Conflicts: 940000 | #Constraints: 36855 1760.08/1765.87 c #Conflicts: 941000 | #Constraints: 37855 1760.08/1765.87 c INPROCESSING 1760.08/1765.87 c GARBAGE COLLECT 1760.08/1765.87 c rational objective 0 1831.05/1837.03 c #Conflicts: 942000 | #Constraints: 19644 1831.05/1837.03 c #Conflicts: 943000 | #Constraints: 20644 1831.05/1837.03 c #Conflicts: 944000 | #Constraints: 21644 1831.05/1837.03 c #Conflicts: 945000 | #Constraints: 22644 1831.05/1837.03 c #Conflicts: 946000 | #Constraints: 23644 1831.05/1837.03 c #Conflicts: 947000 | #Constraints: 24644 1831.05/1837.03 c #Conflicts: 948000 | #Constraints: 25644 1831.05/1837.03 c #Conflicts: 949000 | #Constraints: 26644 1831.05/1837.03 c #Conflicts: 950000 | #Constraints: 27644 1831.05/1837.03 c bounds 12 >= 0 @ 1778.68 1831.05/1837.03 c #Conflicts: 951000 | #Constraints: 28645 1831.05/1837.03 c #Conflicts: 952000 | #Constraints: 29645 1831.05/1837.03 c #Conflicts: 953000 | #Constraints: 30645 1831.05/1837.03 c #Conflicts: 954000 | #Constraints: 31645 1831.05/1837.03 c #Conflicts: 955000 | #Constraints: 32645 1831.05/1837.03 c #Conflicts: 956000 | #Constraints: 33645 1831.05/1837.03 c #Conflicts: 957000 | #Constraints: 34645 1831.05/1837.03 c #Conflicts: 958000 | #Constraints: 35645 1831.05/1837.03 c #Conflicts: 959000 | #Constraints: 36645 1831.05/1837.03 c #Conflicts: 960000 | #Constraints: 37645 1831.05/1837.03 c #Conflicts: 961000 | #Constraints: 38645 1831.05/1837.03 c INPROCESSING 1831.05/1837.03 c GARBAGE COLLECT 1831.05/1837.03 c rational objective 0 1913.87/1920.17 c #Conflicts: 962000 | #Constraints: 20237 1913.87/1920.17 c #Conflicts: 963000 | #Constraints: 21237 1913.87/1920.17 c #Conflicts: 964000 | #Constraints: 22237 1913.87/1920.17 c #Conflicts: 965000 | #Constraints: 23238 1913.87/1920.17 c #Conflicts: 966000 | #Constraints: 24238 1913.87/1920.17 c #Conflicts: 967000 | #Constraints: 25239 1913.87/1920.17 c #Conflicts: 968000 | #Constraints: 26239 1913.87/1920.17 c #Conflicts: 969000 | #Constraints: 27241 1913.87/1920.17 c #Conflicts: 970000 | #Constraints: 28241 1913.87/1920.17 c #Conflicts: 971000 | #Constraints: 29241 1913.87/1920.17 c #Conflicts: 972000 | #Constraints: 30242 1913.87/1920.17 c #Conflicts: 973000 | #Constraints: 31242 1913.87/1920.17 c #Conflicts: 974000 | #Constraints: 32242 1913.87/1920.17 c #Conflicts: 975000 | #Constraints: 33242 1913.87/1920.17 c #Conflicts: 976000 | #Constraints: 34243 1913.87/1920.17 c #Conflicts: 977000 | #Constraints: 35243 1913.87/1920.17 c #Conflicts: 978000 | #Constraints: 36244 1913.87/1920.17 c #Conflicts: 979000 | #Constraints: 37244 1913.87/1920.17 c #Conflicts: 980000 | #Constraints: 38244 1913.87/1920.17 c #Conflicts: 981000 | #Constraints: 39244 1913.87/1920.17 c INPROCESSING 1913.87/1920.17 c GARBAGE COLLECT 1913.87/1920.17 c rational objective 0 1983.65/1990.12 c #Conflicts: 982000 | #Constraints: 20641 1983.65/1990.12 c #Conflicts: 983000 | #Constraints: 21641 1983.65/1990.12 c #Conflicts: 984000 | #Constraints: 22641 1983.65/1990.12 c #Conflicts: 985000 | #Constraints: 23641 1983.65/1990.12 c #Conflicts: 986000 | #Constraints: 24641 1983.65/1990.12 c #Conflicts: 987000 | #Constraints: 25642 1983.65/1990.12 c #Conflicts: 988000 | #Constraints: 26645 1983.65/1990.12 c #Conflicts: 989000 | #Constraints: 27645 1983.65/1990.12 c #Conflicts: 990000 | #Constraints: 28646 1983.65/1990.12 c #Conflicts: 991000 | #Constraints: 29647 1983.65/1990.12 c #Conflicts: 992000 | #Constraints: 30647 1983.65/1990.12 c #Conflicts: 993000 | #Constraints: 31647 1983.65/1990.12 c #Conflicts: 994000 | #Constraints: 32647 1983.65/1990.12 c #Conflicts: 995000 | #Constraints: 33647 1983.65/1990.12 c #Conflicts: 996000 | #Constraints: 34648 1983.65/1990.12 c #Conflicts: 997000 | #Constraints: 35648 1983.65/1990.12 c #Conflicts: 998000 | #Constraints: 36650 1983.65/1990.12 c #Conflicts: 999000 | #Constraints: 37651 1983.65/1990.12 c #Conflicts: 1000000 | #Constraints: 38653 1983.65/1990.12 c #Conflicts: 1001000 | #Constraints: 39653 1983.65/1990.12 c INPROCESSING 1983.65/1990.12 c GARBAGE COLLECT 1983.65/1990.12 c rational objective 0 2067.16/2073.94 c #Conflicts: 1002000 | #Constraints: 20846 2067.16/2073.94 c #Conflicts: 1003000 | #Constraints: 21846 2067.16/2073.94 c #Conflicts: 1004000 | #Constraints: 22847 2067.16/2073.94 c #Conflicts: 1005000 | #Constraints: 23848 2067.16/2073.94 c #Conflicts: 1006000 | #Constraints: 24850 2067.16/2073.94 c #Conflicts: 1007000 | #Constraints: 25850 2067.16/2073.94 c #Conflicts: 1008000 | #Constraints: 26850 2067.16/2073.94 c #Conflicts: 1009000 | #Constraints: 27851 2067.16/2073.94 c #Conflicts: 1010000 | #Constraints: 28851 2067.16/2073.94 c #Conflicts: 1011000 | #Constraints: 29851 2067.16/2073.94 c #Conflicts: 1012000 | #Constraints: 30852 2067.16/2073.94 c #Conflicts: 1013000 | #Constraints: 31852 2067.16/2073.94 c #Conflicts: 1014000 | #Constraints: 32852 2067.16/2073.94 c #Conflicts: 1015000 | #Constraints: 33852 2067.16/2073.94 c #Conflicts: 1016000 | #Constraints: 34852 2067.16/2073.94 c #Conflicts: 1017000 | #Constraints: 35853 2067.16/2073.94 c #Conflicts: 1018000 | #Constraints: 36854 2067.16/2073.94 c #Conflicts: 1019000 | #Constraints: 37854 2067.16/2073.94 c #Conflicts: 1020000 | #Constraints: 38854 2067.16/2073.94 c #Conflicts: 1021000 | #Constraints: 39854 2067.16/2073.94 c INPROCESSING 2067.16/2073.94 c GARBAGE COLLECT 2067.16/2073.94 c rational objective 0 2127.19/2134.11 c #Conflicts: 1022000 | #Constraints: 20851 2127.19/2134.11 c #Conflicts: 1023000 | #Constraints: 21852 2127.19/2134.11 c #Conflicts: 1024000 | #Constraints: 22852 2127.19/2134.11 c #Conflicts: 1025000 | #Constraints: 23852 2127.19/2134.11 c #Conflicts: 1026000 | #Constraints: 24853 2127.19/2134.11 c #Conflicts: 1027000 | #Constraints: 25855 2127.19/2134.11 c #Conflicts: 1028000 | #Constraints: 26857 2127.19/2134.11 c #Conflicts: 1029000 | #Constraints: 27858 2127.19/2134.11 c #Conflicts: 1030000 | #Constraints: 28858 2127.19/2134.11 c #Conflicts: 1031000 | #Constraints: 29858 2127.19/2134.11 c #Conflicts: 1032000 | #Constraints: 30858 2127.19/2134.11 c #Conflicts: 1033000 | #Constraints: 31859 2127.19/2134.11 c #Conflicts: 1034000 | #Constraints: 32860 2127.19/2134.11 c #Conflicts: 1035000 | #Constraints: 33860 2127.19/2134.11 c #Conflicts: 1036000 | #Constraints: 34861 2127.19/2134.11 c #Conflicts: 1037000 | #Constraints: 35861 2127.19/2134.11 c #Conflicts: 1038000 | #Constraints: 36861 2127.19/2134.11 c #Conflicts: 1039000 | #Constraints: 37862 2127.19/2134.11 c #Conflicts: 1040000 | #Constraints: 38862 2127.19/2134.11 c #Conflicts: 1041000 | #Constraints: 39862 2127.19/2134.11 c INPROCESSING 2127.19/2134.11 c GARBAGE COLLECT 2127.19/2134.11 c rational objective 0 2206.80/2213.96 c #Conflicts: 1042000 | #Constraints: 20649 2206.80/2213.96 c #Conflicts: 1043000 | #Constraints: 21650 2206.80/2213.96 c #Conflicts: 1044000 | #Constraints: 22651 2206.80/2213.96 c #Conflicts: 1045000 | #Constraints: 23651 2206.80/2213.96 c #Conflicts: 1046000 | #Constraints: 24651 2206.80/2213.96 c #Conflicts: 1047000 | #Constraints: 25651 2206.80/2213.96 c #Conflicts: 1048000 | #Constraints: 26651 2206.80/2213.96 c #Conflicts: 1049000 | #Constraints: 27651 2206.80/2213.96 c #Conflicts: 1050000 | #Constraints: 28651 2206.80/2213.96 c #Conflicts: 1051000 | #Constraints: 29651 2206.80/2213.96 c #Conflicts: 1052000 | #Constraints: 30651 2206.80/2213.96 c #Conflicts: 1053000 | #Constraints: 31651 2206.80/2213.96 c #Conflicts: 1054000 | #Constraints: 32651 2206.80/2213.96 c #Conflicts: 1055000 | #Constraints: 33651 2206.80/2213.96 c #Conflicts: 1056000 | #Constraints: 34651 2206.80/2213.96 c #Conflicts: 1057000 | #Constraints: 35651 2206.80/2213.96 c #Conflicts: 1058000 | #Constraints: 36651 2206.80/2213.96 c #Conflicts: 1059000 | #Constraints: 37651 2206.80/2213.96 c #Conflicts: 1060000 | #Constraints: 38652 2206.80/2213.96 c #Conflicts: 1061000 | #Constraints: 39652 2206.80/2213.96 c #Conflicts: 1062000 | #Constraints: 40653 2206.80/2213.96 c INPROCESSING 2206.80/2213.96 c GARBAGE COLLECT 2206.80/2213.96 c rational objective 0 2284.02/2291.34 c #Conflicts: 1063000 | #Constraints: 21251 2284.02/2291.34 c #Conflicts: 1064000 | #Constraints: 22251 2284.02/2291.34 c #Conflicts: 1065000 | #Constraints: 23251 2284.02/2291.34 c #Conflicts: 1066000 | #Constraints: 24252 2284.02/2291.34 c #Conflicts: 1067000 | #Constraints: 25254 2284.02/2291.34 c #Conflicts: 1068000 | #Constraints: 26254 2284.02/2291.34 c #Conflicts: 1069000 | #Constraints: 27254 2284.02/2291.34 c #Conflicts: 1070000 | #Constraints: 28254 2284.02/2291.34 c #Conflicts: 1071000 | #Constraints: 29254 2284.02/2291.34 c #Conflicts: 1072000 | #Constraints: 30255 2284.02/2291.34 c #Conflicts: 1073000 | #Constraints: 31255 2284.02/2291.34 c #Conflicts: 1074000 | #Constraints: 32255 2284.02/2291.34 c #Conflicts: 1075000 | #Constraints: 33255 2284.02/2291.34 c #Conflicts: 1076000 | #Constraints: 34255 2284.02/2291.34 c #Conflicts: 1077000 | #Constraints: 35255 2284.02/2291.34 c #Conflicts: 1078000 | #Constraints: 36256 2284.02/2291.34 c #Conflicts: 1079000 | #Constraints: 37256 2284.02/2291.34 c #Conflicts: 1080000 | #Constraints: 38257 2284.02/2291.34 c #Conflicts: 1081000 | #Constraints: 39257 2284.02/2291.34 c #Conflicts: 1082000 | #Constraints: 40257 2284.02/2291.34 c #Conflicts: 1083000 | #Constraints: 41257 2284.02/2291.34 c INPROCESSING 2284.02/2291.34 c GARBAGE COLLECT 2284.02/2291.34 c rational objective 0 2381.98/2389.54 c #Conflicts: 1084000 | #Constraints: 21646 2381.98/2389.54 c #Conflicts: 1085000 | #Constraints: 22647 2381.98/2389.54 c #Conflicts: 1086000 | #Constraints: 23647 2381.98/2389.54 c #Conflicts: 1087000 | #Constraints: 24647 2381.98/2389.54 c #Conflicts: 1088000 | #Constraints: 25647 2381.98/2389.54 c #Conflicts: 1089000 | #Constraints: 26648 2381.98/2389.54 c #Conflicts: 1090000 | #Constraints: 27648 2381.98/2389.54 c #Conflicts: 1091000 | #Constraints: 28649 2381.98/2389.54 c #Conflicts: 1092000 | #Constraints: 29650 2381.98/2389.54 c #Conflicts: 1093000 | #Constraints: 30650 2381.98/2389.54 c #Conflicts: 1094000 | #Constraints: 31650 2381.98/2389.54 c #Conflicts: 1095000 | #Constraints: 32651 2381.98/2389.54 c #Conflicts: 1096000 | #Constraints: 33653 2381.98/2389.54 c #Conflicts: 1097000 | #Constraints: 34653 2381.98/2389.54 c #Conflicts: 1098000 | #Constraints: 35653 2381.98/2389.54 c #Conflicts: 1099000 | #Constraints: 36653 2381.98/2389.54 c #Conflicts: 1100000 | #Constraints: 37653 2381.98/2389.54 c #Conflicts: 1101000 | #Constraints: 38654 2381.98/2389.54 c #Conflicts: 1102000 | #Constraints: 39654 2381.98/2389.54 c #Conflicts: 1103000 | #Constraints: 40654 2381.98/2389.54 c #Conflicts: 1104000 | #Constraints: 41654 2381.98/2389.54 c INPROCESSING 2381.98/2389.54 c GARBAGE COLLECT 2381.98/2389.54 c rational objective 0 2462.09/2469.81 c #Conflicts: 1105000 | #Constraints: 21849 2462.09/2469.81 c #Conflicts: 1106000 | #Constraints: 22849 2462.09/2469.81 c #Conflicts: 1107000 | #Constraints: 23850 2462.09/2469.81 c #Conflicts: 1108000 | #Constraints: 24850 2462.09/2469.81 c #Conflicts: 1109000 | #Constraints: 25851 2462.09/2469.81 c #Conflicts: 1110000 | #Constraints: 26852 2462.09/2469.81 c #Conflicts: 1111000 | #Constraints: 27852 2462.09/2469.81 c #Conflicts: 1112000 | #Constraints: 28852 2462.09/2469.81 c #Conflicts: 1113000 | #Constraints: 29852 2462.09/2469.81 c #Conflicts: 1114000 | #Constraints: 30852 2462.09/2469.81 c #Conflicts: 1115000 | #Constraints: 31852 2462.09/2469.81 c #Conflicts: 1116000 | #Constraints: 32852 2462.09/2469.81 c #Conflicts: 1117000 | #Constraints: 33852 2462.09/2469.81 c #Conflicts: 1118000 | #Constraints: 34852 2462.09/2469.81 c #Conflicts: 1119000 | #Constraints: 35852 2462.09/2469.81 c #Conflicts: 1120000 | #Constraints: 36853 2462.09/2469.81 c #Conflicts: 1121000 | #Constraints: 37853 2462.09/2469.81 c #Conflicts: 1122000 | #Constraints: 38853 2462.09/2469.81 c #Conflicts: 1123000 | #Constraints: 39853 2462.09/2469.81 c #Conflicts: 1124000 | #Constraints: 40854 2462.09/2469.81 c #Conflicts: 1125000 | #Constraints: 41854 2462.09/2469.81 c INPROCESSING 2462.09/2469.81 c GARBAGE COLLECT 2462.09/2469.81 c rational objective 0 2521.44/2529.32 c #Conflicts: 1126000 | #Constraints: 21845 2521.44/2529.32 c #Conflicts: 1127000 | #Constraints: 22845 2521.44/2529.32 c #Conflicts: 1128000 | #Constraints: 23845 2521.44/2529.32 c #Conflicts: 1129000 | #Constraints: 24845 2521.44/2529.32 c #Conflicts: 1130000 | #Constraints: 25845 2521.44/2529.32 c #Conflicts: 1131000 | #Constraints: 26845 2521.44/2529.32 c #Conflicts: 1132000 | #Constraints: 27846 2521.44/2529.32 c #Conflicts: 1133000 | #Constraints: 28847 2521.44/2529.32 c #Conflicts: 1134000 | #Constraints: 29849 2521.44/2529.32 c #Conflicts: 1135000 | #Constraints: 30851 2521.44/2529.32 c #Conflicts: 1136000 | #Constraints: 31851 2521.44/2529.32 c #Conflicts: 1137000 | #Constraints: 32851 2521.44/2529.32 c #Conflicts: 1138000 | #Constraints: 33851 2521.44/2529.32 c #Conflicts: 1139000 | #Constraints: 34852 2521.44/2529.32 c #Conflicts: 1140000 | #Constraints: 35852 2521.44/2529.32 c #Conflicts: 1141000 | #Constraints: 36853 2521.44/2529.32 c #Conflicts: 1142000 | #Constraints: 37853 2521.44/2529.32 c #Conflicts: 1143000 | #Constraints: 38854 2521.44/2529.32 c #Conflicts: 1144000 | #Constraints: 39854 2521.44/2529.32 c #Conflicts: 1145000 | #Constraints: 40854 2521.44/2529.32 c #Conflicts: 1146000 | #Constraints: 41854 2521.44/2529.32 c INPROCESSING 2521.44/2529.32 c GARBAGE COLLECT 2521.44/2529.32 c rational objective 0 2615.92/2624.07 c #Conflicts: 1147000 | #Constraints: 21641 2615.92/2624.07 c #Conflicts: 1148000 | #Constraints: 22642 2615.92/2624.07 c #Conflicts: 1149000 | #Constraints: 23642 2615.92/2624.07 c #Conflicts: 1150000 | #Constraints: 24643 2615.92/2624.07 c #Conflicts: 1151000 | #Constraints: 25643 2615.92/2624.07 c #Conflicts: 1152000 | #Constraints: 26646 2615.92/2624.07 c #Conflicts: 1153000 | #Constraints: 27647 2615.92/2624.07 c #Conflicts: 1154000 | #Constraints: 28648 2615.92/2624.07 c #Conflicts: 1155000 | #Constraints: 29648 2615.92/2624.07 c #Conflicts: 1156000 | #Constraints: 30649 2615.92/2624.07 c #Conflicts: 1157000 | #Constraints: 31650 2615.92/2624.07 c #Conflicts: 1158000 | #Constraints: 32650 2615.92/2624.07 c #Conflicts: 1159000 | #Constraints: 33650 2615.92/2624.07 c #Conflicts: 1160000 | #Constraints: 34651 2615.92/2624.07 c #Conflicts: 1161000 | #Constraints: 35651 2615.92/2624.07 c #Conflicts: 1162000 | #Constraints: 36652 2615.92/2624.07 c #Conflicts: 1163000 | #Constraints: 37652 2615.92/2624.07 c #Conflicts: 1164000 | #Constraints: 38652 2615.92/2624.07 c #Conflicts: 1165000 | #Constraints: 39652 2615.92/2624.07 c #Conflicts: 1166000 | #Constraints: 40653 2615.92/2624.07 c #Conflicts: 1167000 | #Constraints: 41654 2615.92/2624.07 c #Conflicts: 1168000 | #Constraints: 42654 2615.92/2624.07 c INPROCESSING 2615.92/2624.07 c GARBAGE COLLECT 2615.92/2624.07 c rational objective 0 2682.87/2691.14 c #Conflicts: 1169000 | #Constraints: 22246 2682.87/2691.14 c #Conflicts: 1170000 | #Constraints: 23248 2682.87/2691.14 c #Conflicts: 1171000 | #Constraints: 24248 2682.87/2691.14 c #Conflicts: 1172000 | #Constraints: 25252 2682.87/2691.14 c #Conflicts: 1173000 | #Constraints: 26253 2682.87/2691.14 c #Conflicts: 1174000 | #Constraints: 27254 2682.87/2691.14 c #Conflicts: 1175000 | #Constraints: 28255 2682.87/2691.14 c #Conflicts: 1176000 | #Constraints: 29256 2682.87/2691.14 c #Conflicts: 1177000 | #Constraints: 30256 2682.87/2691.14 c #Conflicts: 1178000 | #Constraints: 31257 2682.87/2691.14 c #Conflicts: 1179000 | #Constraints: 32257 2682.87/2691.14 c #Conflicts: 1180000 | #Constraints: 33257 2682.87/2691.14 c #Conflicts: 1181000 | #Constraints: 34258 2682.87/2691.14 c #Conflicts: 1182000 | #Constraints: 35262 2682.87/2691.14 c #Conflicts: 1183000 | #Constraints: 36263 2682.87/2691.14 c #Conflicts: 1184000 | #Constraints: 37265 2682.87/2691.14 c #Conflicts: 1185000 | #Constraints: 38266 2682.87/2691.14 c #Conflicts: 1186000 | #Constraints: 39266 2682.87/2691.14 c #Conflicts: 1187000 | #Constraints: 40266 2682.87/2691.14 c #Conflicts: 1188000 | #Constraints: 41266 2682.87/2691.14 c #Conflicts: 1189000 | #Constraints: 42266 2682.87/2691.14 c #Conflicts: 1190000 | #Constraints: 43266 2682.87/2691.14 c INPROCESSING 2682.87/2691.14 c GARBAGE COLLECT 2682.87/2691.14 c rational objective 0 2781.22/2789.72 c #Conflicts: 1191000 | #Constraints: 22650 2781.22/2789.72 c #Conflicts: 1192000 | #Constraints: 23650 2781.22/2789.72 c #Conflicts: 1193000 | #Constraints: 24650 2781.22/2789.72 c #Conflicts: 1194000 | #Constraints: 25650 2781.22/2789.72 c #Conflicts: 1195000 | #Constraints: 26651 2781.22/2789.72 c #Conflicts: 1196000 | #Constraints: 27653 2781.22/2789.72 c #Conflicts: 1197000 | #Constraints: 28654 2781.22/2789.72 c #Conflicts: 1198000 | #Constraints: 29655 2781.22/2789.72 c #Conflicts: 1199000 | #Constraints: 30655 2781.22/2789.72 c #Conflicts: 1200000 | #Constraints: 31655 2781.22/2789.72 c #Conflicts: 1201000 | #Constraints: 32655 2781.22/2789.72 c #Conflicts: 1202000 | #Constraints: 33655 2781.22/2789.72 c #Conflicts: 1203000 | #Constraints: 34655 2781.22/2789.72 c #Conflicts: 1204000 | #Constraints: 35656 2781.22/2789.72 c #Conflicts: 1205000 | #Constraints: 36657 2781.22/2789.72 c #Conflicts: 1206000 | #Constraints: 37659 2781.22/2789.72 c #Conflicts: 1207000 | #Constraints: 38659 2781.22/2789.72 c #Conflicts: 1208000 | #Constraints: 39659 2781.22/2789.72 c #Conflicts: 1209000 | #Constraints: 40659 2781.22/2789.72 c #Conflicts: 1210000 | #Constraints: 41659 2781.22/2789.72 c #Conflicts: 1211000 | #Constraints: 42661 2781.22/2789.72 c #Conflicts: 1212000 | #Constraints: 43661 2781.22/2789.72 c INPROCESSING 2781.22/2789.72 c GARBAGE COLLECT 2781.22/2789.72 c rational objective 0 2861.03/2869.73 c #Conflicts: 1213000 | #Constraints: 22857 2861.03/2869.73 c #Conflicts: 1214000 | #Constraints: 23857 2861.03/2869.73 c #Conflicts: 1215000 | #Constraints: 24857 2861.03/2869.73 c #Conflicts: 1216000 | #Constraints: 25858 2861.03/2869.73 c #Conflicts: 1217000 | #Constraints: 26858 2861.03/2869.73 c #Conflicts: 1218000 | #Constraints: 27859 2861.03/2869.73 c #Conflicts: 1219000 | #Constraints: 28860 2861.03/2869.73 c #Conflicts: 1220000 | #Constraints: 29860 2861.03/2869.73 c #Conflicts: 1221000 | #Constraints: 30860 2861.03/2869.73 c #Conflicts: 1222000 | #Constraints: 31861 2861.03/2869.73 c #Conflicts: 1223000 | #Constraints: 32861 2861.03/2869.73 c #Conflicts: 1224000 | #Constraints: 33861 2861.03/2869.73 c #Conflicts: 1225000 | #Constraints: 34861 2861.03/2869.73 c #Conflicts: 1226000 | #Constraints: 35862 2861.03/2869.73 c #Conflicts: 1227000 | #Constraints: 36863 2861.03/2869.73 c #Conflicts: 1228000 | #Constraints: 37863 2861.03/2869.73 c #Conflicts: 1229000 | #Constraints: 38863 2861.03/2869.73 c #Conflicts: 1230000 | #Constraints: 39863 2861.03/2869.73 c #Conflicts: 1231000 | #Constraints: 40863 2861.03/2869.73 c #Conflicts: 1232000 | #Constraints: 41863 2861.03/2869.73 c #Conflicts: 1233000 | #Constraints: 42865 2861.03/2869.73 c #Conflicts: 1234000 | #Constraints: 43867 2861.03/2869.73 c INPROCESSING 2861.03/2869.73 c GARBAGE COLLECT 2861.03/2869.73 c rational objective 0 2962.29/2971.29 c #Conflicts: 1235000 | #Constraints: 22849 2962.29/2971.29 c #Conflicts: 1236000 | #Constraints: 23849 2962.29/2971.29 c #Conflicts: 1237000 | #Constraints: 24849 2962.29/2971.29 c #Conflicts: 1238000 | #Constraints: 25849 2962.29/2971.29 c #Conflicts: 1239000 | #Constraints: 26849 2962.29/2971.29 c #Conflicts: 1240000 | #Constraints: 27849 2962.29/2971.29 c #Conflicts: 1241000 | #Constraints: 28849 2962.29/2971.29 c #Conflicts: 1242000 | #Constraints: 29851 2962.29/2971.29 c #Conflicts: 1243000 | #Constraints: 30851 2962.29/2971.29 c #Conflicts: 1244000 | #Constraints: 31851 2962.29/2971.29 c #Conflicts: 1245000 | #Constraints: 32854 2962.29/2971.29 c #Conflicts: 1246000 | #Constraints: 33854 2962.29/2971.29 c #Conflicts: 1247000 | #Constraints: 34854 2962.29/2971.29 c #Conflicts: 1248000 | #Constraints: 35854 2962.29/2971.29 c #Conflicts: 1249000 | #Constraints: 36854 2962.29/2971.29 c #Conflicts: 1250000 | #Constraints: 37857 2962.29/2971.29 c #Conflicts: 1251000 | #Constraints: 38857 2962.29/2971.29 c #Conflicts: 1252000 | #Constraints: 39857 2962.29/2971.29 c #Conflicts: 1253000 | #Constraints: 40857 2962.29/2971.29 c #Conflicts: 1254000 | #Constraints: 41857 2962.29/2971.29 c #Conflicts: 1255000 | #Constraints: 42859 2962.29/2971.29 c #Conflicts: 1256000 | #Constraints: 43859 2962.29/2971.29 c INPROCESSING 2962.29/2971.29 c GARBAGE COLLECT 2962.29/2971.29 c rational objective 0 3032.12/3041.29 c #Conflicts: 1257000 | #Constraints: 22653 3032.12/3041.29 c #Conflicts: 1258000 | #Constraints: 23653 3032.12/3041.29 c #Conflicts: 1259000 | #Constraints: 24653 3032.12/3041.29 c #Conflicts: 1260000 | #Constraints: 25654 3032.12/3041.29 c #Conflicts: 1261000 | #Constraints: 26654 3032.12/3041.29 c #Conflicts: 1262000 | #Constraints: 27655 3032.12/3041.29 c #Conflicts: 1263000 | #Constraints: 28655 3032.12/3041.29 c #Conflicts: 1264000 | #Constraints: 29656 3032.12/3041.29 c #Conflicts: 1265000 | #Constraints: 30656 3032.12/3041.29 c #Conflicts: 1266000 | #Constraints: 31658 3032.12/3041.29 c #Conflicts: 1267000 | #Constraints: 32658 3032.12/3041.29 c #Conflicts: 1268000 | #Constraints: 33658 3032.12/3041.29 c #Conflicts: 1269000 | #Constraints: 34659 3032.12/3041.29 c #Conflicts: 1270000 | #Constraints: 35659 3032.12/3041.29 c #Conflicts: 1271000 | #Constraints: 36659 3032.12/3041.29 c #Conflicts: 1272000 | #Constraints: 37659 3032.12/3041.29 c #Conflicts: 1273000 | #Constraints: 38659 3032.12/3041.29 c #Conflicts: 1274000 | #Constraints: 39659 3032.12/3041.29 c #Conflicts: 1275000 | #Constraints: 40659 3032.12/3041.29 c #Conflicts: 1276000 | #Constraints: 41659 3032.12/3041.29 c #Conflicts: 1277000 | #Constraints: 42660 3032.12/3041.29 c #Conflicts: 1278000 | #Constraints: 43660 3032.12/3041.29 c #Conflicts: 1279000 | #Constraints: 44660 3032.12/3041.29 c INPROCESSING 3032.12/3041.29 c GARBAGE COLLECT 3032.12/3041.29 c rational objective 0 3096.07/3105.36 c #Conflicts: 1280000 | #Constraints: 23243 3096.07/3105.36 c #Conflicts: 1281000 | #Constraints: 24243 3096.07/3105.36 c #Conflicts: 1282000 | #Constraints: 25244 3096.07/3105.36 c #Conflicts: 1283000 | #Constraints: 26244 3096.07/3105.36 c #Conflicts: 1284000 | #Constraints: 27246 3096.07/3105.36 c #Conflicts: 1285000 | #Constraints: 28247 3096.07/3105.36 c #Conflicts: 1286000 | #Constraints: 29247 3096.07/3105.36 c #Conflicts: 1287000 | #Constraints: 30247 3096.07/3105.36 c #Conflicts: 1288000 | #Constraints: 31247 3096.07/3105.36 c #Conflicts: 1289000 | #Constraints: 32248 3096.07/3105.36 c #Conflicts: 1290000 | #Constraints: 33248 3096.07/3105.36 c #Conflicts: 1291000 | #Constraints: 34248 3096.07/3105.36 c #Conflicts: 1292000 | #Constraints: 35248 3096.07/3105.36 c #Conflicts: 1293000 | #Constraints: 36249 3096.07/3105.36 c #Conflicts: 1294000 | #Constraints: 37249 3096.07/3105.36 c #Conflicts: 1295000 | #Constraints: 38250 3096.07/3105.36 c #Conflicts: 1296000 | #Constraints: 39250 3096.07/3105.36 c #Conflicts: 1297000 | #Constraints: 40251 3096.07/3105.36 c #Conflicts: 1298000 | #Constraints: 41251 3096.07/3105.36 c #Conflicts: 1299000 | #Constraints: 42251 3096.07/3105.36 c #Conflicts: 1300000 | #Constraints: 43253 3096.07/3105.36 c #Conflicts: 1301000 | #Constraints: 44253 3096.07/3105.36 c #Conflicts: 1302000 | #Constraints: 45258 3096.07/3105.36 c INPROCESSING 3096.07/3105.36 c GARBAGE COLLECT 3096.07/3105.36 c rational objective 0 3202.81/3212.36 c #Conflicts: 1303000 | #Constraints: 23643 3202.81/3212.36 c #Conflicts: 1304000 | #Constraints: 24643 3202.81/3212.36 c #Conflicts: 1305000 | #Constraints: 25644 3202.81/3212.36 c #Conflicts: 1306000 | #Constraints: 26644 3202.81/3212.36 c #Conflicts: 1307000 | #Constraints: 27644 3202.81/3212.36 c #Conflicts: 1308000 | #Constraints: 28645 3202.81/3212.36 c #Conflicts: 1309000 | #Constraints: 29645 3202.81/3212.36 c #Conflicts: 1310000 | #Constraints: 30646 3202.81/3212.36 c #Conflicts: 1311000 | #Constraints: 31646 3202.81/3212.36 c #Conflicts: 1312000 | #Constraints: 32646 3202.81/3212.36 c #Conflicts: 1313000 | #Constraints: 33646 3202.81/3212.36 c #Conflicts: 1314000 | #Constraints: 34646 3202.81/3212.36 c #Conflicts: 1315000 | #Constraints: 35646 3202.81/3212.36 c #Conflicts: 1316000 | #Constraints: 36646 3202.81/3212.36 c #Conflicts: 1317000 | #Constraints: 37646 3202.81/3212.36 c #Conflicts: 1318000 | #Constraints: 38646 3202.81/3212.36 c #Conflicts: 1319000 | #Constraints: 39646 3202.81/3212.36 c #Conflicts: 1320000 | #Constraints: 40646 3202.81/3212.36 c #Conflicts: 1321000 | #Constraints: 41647 3202.81/3212.36 c #Conflicts: 1322000 | #Constraints: 42647 3202.81/3212.36 c #Conflicts: 1323000 | #Constraints: 43647 3202.81/3212.36 c #Conflicts: 1324000 | #Constraints: 44648 3202.81/3212.36 c #Conflicts: 1325000 | #Constraints: 45648 3202.81/3212.36 c INPROCESSING 3202.81/3212.36 c GARBAGE COLLECT 3202.81/3212.36 c rational objective 0 3291.31/3301.01 c #Conflicts: 1326000 | #Constraints: 23847 3291.31/3301.01 c #Conflicts: 1327000 | #Constraints: 24847 3291.31/3301.01 c #Conflicts: 1328000 | #Constraints: 25847 3291.31/3301.01 c #Conflicts: 1329000 | #Constraints: 26848 3291.31/3301.01 c #Conflicts: 1330000 | #Constraints: 27849 3291.31/3301.01 c #Conflicts: 1331000 | #Constraints: 28849 3291.31/3301.01 c #Conflicts: 1332000 | #Constraints: 29850 3291.31/3301.01 c #Conflicts: 1333000 | #Constraints: 30851 3291.31/3301.01 c #Conflicts: 1334000 | #Constraints: 31853 3291.31/3301.01 c #Conflicts: 1335000 | #Constraints: 32853 3291.31/3301.01 c #Conflicts: 1336000 | #Constraints: 33855 3291.31/3301.01 c #Conflicts: 1337000 | #Constraints: 34855 3291.31/3301.01 c #Conflicts: 1338000 | #Constraints: 35857 3291.31/3301.01 c #Conflicts: 1339000 | #Constraints: 36858 3291.31/3301.01 c #Conflicts: 1340000 | #Constraints: 37858 3291.31/3301.01 c #Conflicts: 1341000 | #Constraints: 38859 3291.31/3301.01 c #Conflicts: 1342000 | #Constraints: 39860 3291.31/3301.01 c #Conflicts: 1343000 | #Constraints: 40860 3291.31/3301.01 c #Conflicts: 1344000 | #Constraints: 41860 3291.31/3301.01 c #Conflicts: 1345000 | #Constraints: 42860 3291.31/3301.01 c #Conflicts: 1346000 | #Constraints: 43860 3291.31/3301.01 c #Conflicts: 1347000 | #Constraints: 44860 3291.31/3301.01 c #Conflicts: 1348000 | #Constraints: 45860 3291.31/3301.01 c INPROCESSING 3291.31/3301.01 c GARBAGE COLLECT 3291.31/3301.01 c rational objective 0 3408.43/3418.40 c #Conflicts: 1349000 | #Constraints: 23849 3408.43/3418.40 c #Conflicts: 1350000 | #Constraints: 24849 3408.43/3418.40 c #Conflicts: 1351000 | #Constraints: 25849 3408.43/3418.40 c #Conflicts: 1352000 | #Constraints: 26849 3408.43/3418.40 c #Conflicts: 1353000 | #Constraints: 27850 3408.43/3418.40 c #Conflicts: 1354000 | #Constraints: 28851 3408.43/3418.40 c #Conflicts: 1355000 | #Constraints: 29851 3408.43/3418.40 c #Conflicts: 1356000 | #Constraints: 30853 3408.43/3418.40 c #Conflicts: 1357000 | #Constraints: 31853 3408.43/3418.40 c #Conflicts: 1358000 | #Constraints: 32853 3408.43/3418.40 c #Conflicts: 1359000 | #Constraints: 33853 3408.43/3418.40 c #Conflicts: 1360000 | #Constraints: 34853 3408.43/3418.40 c #Conflicts: 1361000 | #Constraints: 35853 3408.43/3418.40 c #Conflicts: 1362000 | #Constraints: 36853 3408.43/3418.40 c #Conflicts: 1363000 | #Constraints: 37854 3408.43/3418.40 c #Conflicts: 1364000 | #Constraints: 38854 3408.43/3418.40 c #Conflicts: 1365000 | #Constraints: 39854 3408.43/3418.40 c #Conflicts: 1366000 | #Constraints: 40854 3408.43/3418.40 c #Conflicts: 1367000 | #Constraints: 41855 3408.43/3418.40 c #Conflicts: 1368000 | #Constraints: 42855 3408.43/3418.40 c #Conflicts: 1369000 | #Constraints: 43855 3408.43/3418.40 c #Conflicts: 1370000 | #Constraints: 44855 3408.43/3418.40 c #Conflicts: 1371000 | #Constraints: 45855 3408.43/3418.40 c INPROCESSING 3408.43/3418.40 c GARBAGE COLLECT 3408.43/3418.40 c rational objective 0 3482.75/3493.00 c #Conflicts: 1372000 | #Constraints: 23650 3482.75/3493.00 c #Conflicts: 1373000 | #Constraints: 24650 3482.75/3493.00 c #Conflicts: 1374000 | #Constraints: 25650 3482.75/3493.00 c #Conflicts: 1375000 | #Constraints: 26650 3482.75/3493.00 c #Conflicts: 1376000 | #Constraints: 27651 3482.75/3493.00 c #Conflicts: 1377000 | #Constraints: 28654 3482.75/3493.00 c #Conflicts: 1378000 | #Constraints: 29656 3482.75/3493.00 c #Conflicts: 1379000 | #Constraints: 30656 3482.75/3493.00 c #Conflicts: 1380000 | #Constraints: 31656 3482.75/3493.00 c #Conflicts: 1381000 | #Constraints: 32656 3482.75/3493.00 c #Conflicts: 1382000 | #Constraints: 33656 3482.75/3493.00 c #Conflicts: 1383000 | #Constraints: 34657 3482.75/3493.00 c #Conflicts: 1384000 | #Constraints: 35657 3482.75/3493.00 c #Conflicts: 1385000 | #Constraints: 36657 3482.75/3493.00 c #Conflicts: 1386000 | #Constraints: 37659 3482.75/3493.00 c #Conflicts: 1387000 | #Constraints: 38659 3482.75/3493.00 c #Conflicts: 1388000 | #Constraints: 39659 3482.75/3493.00 c #Conflicts: 1389000 | #Constraints: 40659 3482.75/3493.00 c #Conflicts: 1390000 | #Constraints: 41659 3482.75/3493.00 c #Conflicts: 1391000 | #Constraints: 42661 3482.75/3493.00 c #Conflicts: 1392000 | #Constraints: 43661 3482.75/3493.00 c #Conflicts: 1393000 | #Constraints: 44661 3482.75/3493.00 c #Conflicts: 1394000 | #Constraints: 45661 3482.75/3493.00 c #Conflicts: 1395000 | #Constraints: 46661 3482.75/3493.00 c INPROCESSING 3482.75/3493.00 c GARBAGE COLLECT 3482.75/3493.00 c rational objective 0 3555.19/3565.50 c #Conflicts: 1396000 | #Constraints: 24247 3555.19/3565.50 c #Conflicts: 1397000 | #Constraints: 25247 3555.19/3565.50 c #Conflicts: 1398000 | #Constraints: 26247 3555.19/3565.50 c #Conflicts: 1399000 | #Constraints: 27247 3555.19/3565.50 c #Conflicts: 1400000 | #Constraints: 28247 3555.19/3565.50 c #Conflicts: 1401000 | #Constraints: 29248 3555.19/3565.50 c #Conflicts: 1402000 | #Constraints: 30249 3555.19/3565.50 c #Conflicts: 1403000 | #Constraints: 31249 3555.19/3565.50 c #Conflicts: 1404000 | #Constraints: 32249 3555.19/3565.50 c #Conflicts: 1405000 | #Constraints: 33249 3555.19/3565.50 c #Conflicts: 1406000 | #Constraints: 34249 3555.19/3565.50 c #Conflicts: 1407000 | #Constraints: 35250 3555.19/3565.50 c #Conflicts: 1408000 | #Constraints: 36250 3555.19/3565.50 c #Conflicts: 1409000 | #Constraints: 37250 3555.19/3565.50 c #Conflicts: 1410000 | #Constraints: 38251 3555.19/3565.50 c #Conflicts: 1411000 | #Constraints: 39254 3555.19/3565.50 c #Conflicts: 1412000 | #Constraints: 40254 3555.19/3565.50 c #Conflicts: 1413000 | #Constraints: 41254 3555.19/3565.50 c #Conflicts: 1414000 | #Constraints: 42254 3555.19/3565.50 c #Conflicts: 1415000 | #Constraints: 43255 3555.19/3565.50 c #Conflicts: 1416000 | #Constraints: 44256 3555.19/3565.50 c #Conflicts: 1417000 | #Constraints: 45256 3555.19/3565.50 c #Conflicts: 1418000 | #Constraints: 46257 3555.19/3565.50 c #Conflicts: 1419000 | #Constraints: 47257 3555.19/3565.50 c INPROCESSING 3555.19/3565.50 c GARBAGE COLLECT 3555.19/3565.50 c rational objective 0 3600.08/3610.50 c #Conflicts: 1420000 | #Constraints: 24649 3600.08/3610.50 c #Conflicts: 1421000 | #Constraints: 25650 3600.08/3610.50 c #Conflicts: 1422000 | #Constraints: 26650 3600.08/3610.50 c #Conflicts: 1423000 | #Constraints: 27651 3600.08/3610.50 c #Conflicts: 1424000 | #Constraints: 28651 3600.08/3610.50 c #Conflicts: 1425000 | #Constraints: 29651 3600.08/3610.50 c #Conflicts: 1426000 | #Constraints: 30653 3600.08/3610.50 c #Conflicts: 1427000 | #Constraints: 31653 3600.08/3610.50 c #Conflicts: 1428000 | #Constraints: 32653 3600.08/3610.50 c Program interrupted by user. 3600.08/3610.53 c cpu time 3576.34 s 3600.08/3610.53 c deterministic time 685516905907 6.86e+11 3600.08/3610.53 c optimization time 44.6138 s 3600.08/3610.53 c total solve time 3531.73 s 3600.08/3610.53 c core-guided solve time 1797.17 s 3600.08/3610.53 c propagation time 3304.59 s 3600.08/3610.53 c conflict analysis time 237.944 s 3600.08/3610.53 c propagations 36883729 3600.08/3610.53 c resolve steps 9163042 3600.08/3610.53 c decisions 2886509 3600.08/3610.53 c conflicts 1428280 3600.08/3610.53 c restarts 2777 3600.08/3610.53 c inprocessing phases 110 3600.08/3610.53 c input clauses 0 3600.08/3610.53 c input cardinalities 0 3600.08/3610.53 c input general constraints 57 3600.08/3610.53 c input average constraint length 84.39 3600.08/3610.53 c input average constraint degree 1393.14 3600.08/3610.53 c learned clauses 666885 3600.08/3610.53 c learned cardinalities 0 3600.08/3610.53 c learned general constraints 762793 3600.08/3610.53 c learned average constraint length 80.28 3600.08/3610.53 c learned average constraint degree 801700925.09 3600.08/3610.53 c watched constraints 762434 3600.08/3610.53 c counting constraints 416 3600.08/3610.53 c gcd simplifications 589107 3600.08/3610.53 c detected cardinalities 0 3600.08/3610.53 c weakened non-implied lits 31062871 3600.08/3610.53 c weakened non-implying lits 907643 3600.08/3610.53 c original variables 172 3600.08/3610.53 c clausal propagations 462969 3600.08/3610.53 c cardinality propagations 0 3600.08/3610.53 c watched propagations 34962507 3600.08/3610.53 c counting propagations 540439 3600.08/3610.53 c watch lookups 32183466488 3600.08/3610.53 c watch backjump lookups 14201828049 3600.08/3610.53 c watch checks 596371259824 3600.08/3610.53 c propagation checks 41544062624 3600.08/3610.53 c constraint additions 1133893374 3600.08/3610.53 c trail pops 41196972 3600.08/3610.53 c formula constraints 14 3600.08/3610.53 c learned constraints 1426880 3600.08/3610.53 c bound constraints 43 3600.08/3610.53 c core-guided constraints 0 3600.08/3610.53 c encountered formula constraints 61439 3600.08/3610.53 c encountered learned constraints 3373588 3600.08/3610.53 c encountered bound constraints 598 3600.08/3610.53 c encountered core-guided constraints 0 3600.08/3610.53 c LP total time 29.0384 s 3600.08/3610.53 c LP solve time 21.87 s 3600.08/3610.53 c LP constraints added 71 3600.08/3610.53 c LP constraints removed 56 3600.08/3610.53 c LP pivots internal 1428280 3600.08/3610.53 c LP pivots root 57 3600.08/3610.53 c LP calls 153138 3600.08/3610.53 c LP optimalities 151739 3600.08/3610.53 c LP no pivot count 32286 3600.08/3610.53 c LP infeasibilities 1399 3600.08/3610.53 c LP valid Farkas constraints 1399 3600.08/3610.53 c LP learned Farkas constraints 1399 3600.08/3610.53 c LP basis resets 0 3600.08/3610.53 c LP cycling count 0 3600.08/3610.53 c LP singular count 0 3600.08/3610.53 c LP no primal count 0 3600.08/3610.53 c LP no farkas count 0 3600.08/3610.53 c LP other issue count 0 3600.08/3610.53 c LP Gomory cuts 0 3600.08/3610.53 c LP learned cuts 57 3600.08/3610.53 c LP deleted cuts 56 3600.08/3610.53 c LP encountered Gomory constraints 0 3600.08/3610.53 c LP encountered Farkas constraints 6426049 3600.08/3610.53 c LP encountered learned Farkas constraints 728249 3600.08/3610.53 c CG auxiliary variables introduced 0 3600.08/3610.53 c CG solutions found 43 3600.08/3610.53 c CG cores constructed 0 3600.08/3610.53 c CG core cardinality constraints returned 0 3600.08/3610.53 c CG unit cores 0 3600.08/3610.53 c CG single cores 0 3600.08/3610.53 c CG blocks removed during cardinality reduction 0 3600.08/3610.53 c CG first core best 0 3600.08/3610.53 c CG decision core best 0 3600.08/3610.53 c CG core reduction tie 0 3600.08/3610.53 c CG core degree average 0.00 3600.08/3610.53 c CG core slack average 0.00 3600.08/3610.53 s SATISFIABLE 3600.08/3610.53 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 x116 -x117 x118 x119 -x120 -x121 x122 x123 x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 x137 -x138 x139 x140 -x141 -x142 x143 x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 -x155 -x156 x157 x158 -x159 -x160 x161 -x162 x163 -x164 -x165 x166 x167 -x168 x169 x170 x171 x172
OK 12
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 (362 MiB free)
memory of node 1: 64473 MiB (1184 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456784-1721772864/watcher-4456784-1721772864 -o /tmp/evaluation-result-4456784-1721772864/solver-4456784-1721772864 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721765643-132586 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456784-1721772864 --lp-cut-gomory=0 HOME/instance-4456784-1721772864.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=137155, runsolver pid=137152
[startup+0.101042 s]*
/proc/loadavg: 4.33 4.17 4.11 5/264 137156
/proc/meminfo: memFree=1578464/131524600 swapFree=131070448/131071996
[pid=137155] ppid=137152 vsize=38164 memory=9168 CPUtime=0.09 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 595 0 0 0 8 1 0 0 20 0 1 0 13809267 39079936 2292 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 9541 2292 1894 992 0 1399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38164 KiB
Current children cumulated memory: 9168 KiB
[startup+0.205835 s]*
/proc/loadavg: 4.33 4.17 4.11 5/264 137156
/proc/meminfo: memFree=1573116/131524600 swapFree=131070448/131071996
[pid=137155] ppid=137152 vsize=38416 memory=11732 CPUtime=0.2 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 744 0 0 0 18 2 0 0 20 0 1 0 13809267 39337984 2933 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 9604 2933 1894 992 0 1462 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38416 KiB
Current children cumulated memory: 11732 KiB
[startup+0.305497 s]*
/proc/loadavg: 4.33 4.17 4.11 5/264 137156
/proc/meminfo: memFree=1569628/131524600 swapFree=131070448/131071996
[pid=137155] ppid=137152 vsize=38692 memory=11980 CPUtime=0.29 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 819 0 0 0 27 2 0 0 20 0 1 0 13809267 39620608 2995 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 9673 2995 1910 992 0 1531 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 11980 KiB
[startup+0.700151 s]
/proc/loadavg: 4.33 4.17 4.11 5/264 137156
/proc/meminfo: memFree=1562108/131524600 swapFree=131070448/131071996
[pid=137155] ppid=137152 vsize=39432 memory=12852 CPUtime=0.68 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 985 0 0 0 64 4 0 0 20 0 1 0 13809267 40378368 3213 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 9858 3213 1910 992 0 1716 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39432 KiB
Current children cumulated memory: 12852 KiB
[startup+1.50016 s]
/proc/loadavg: 4.33 4.17 4.11 6/263 137170
/proc/meminfo: memFree=2113040/131524600 swapFree=131070448/131071996
[pid=137155] ppid=137152 vsize=39912 memory=13336 CPUtime=1.48 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 1116 0 0 0 140 8 0 0 20 0 1 0 13809267 40869888 3334 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 9978 3334 1910 992 0 1836 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39912 KiB
Current children cumulated memory: 13336 KiB
[startup+3.10568 s]
/proc/loadavg: 4.33 4.17 4.11 6/264 137204
/proc/meminfo: memFree=2021768/131524600 swapFree=131070448/131071996
[pid=137155] ppid=137152 vsize=40588 memory=14012 CPUtime=3.08 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 1290 0 0 0 295 13 0 0 20 0 1 0 13809267 41562112 3503 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 10147 3503 1910 992 0 2005 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40588 KiB
Current children cumulated memory: 14012 KiB
[startup+6.30014 s]
/proc/loadavg: 4.38 4.19 4.12 5/264 137204
/proc/meminfo: memFree=1912708/131524600 swapFree=131070448/131071996
[pid=137155] ppid=137152 vsize=41852 memory=15972 CPUtime=6.27 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 1763 0 0 0 604 23 0 0 20 0 1 0 13809267 42856448 3993 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 10463 3993 1910 992 0 2321 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41852 KiB
Current children cumulated memory: 15972 KiB
[startup+12.7002 s]
/proc/loadavg: 4.35 4.18 4.12 5/264 137204
/proc/meminfo: memFree=1729664/131524600 swapFree=131070448/131071996
[pid=137155] ppid=137152 vsize=45084 memory=17580 CPUtime=12.65 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 2168 0 0 0 1226 39 0 0 20 0 1 0 13809267 46166016 4395 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 11271 4395 1910 992 0 3129 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45084 KiB
Current children cumulated memory: 17580 KiB
[startup+25.5002 s]
/proc/loadavg: 4.27 4.17 4.12 5/265 137443
/proc/meminfo: memFree=1730196/131524600 swapFree=131070448/131071996
[pid=137155] ppid=137152 vsize=46812 memory=20436 CPUtime=25.43 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 2908 0 0 0 2473 70 0 0 20 0 1 0 13809267 47935488 5109 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 11703 5109 1910 992 0 3561 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 46812 KiB
Current children cumulated memory: 20436 KiB
[startup+51.1062 s]
/proc/loadavg: 4.18 4.16 4.11 5/267 137449
/proc/meminfo: memFree=483660/131524600 swapFree=131070192/131071996
[pid=137155] ppid=137152 vsize=52800 memory=25320 CPUtime=50.96 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 4005 0 0 0 4975 121 0 0 20 0 1 0 13809267 54067200 6330 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 13200 6330 1910 992 0 5058 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 52800 KiB
Current children cumulated memory: 25320 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/265 137458
/proc/meminfo: memFree=559020/131524600 swapFree=131069924/131071996
[pid=137155] ppid=137152 vsize=56772 memory=30032 CPUtime=101.99 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 5210 0 0 0 9991 208 0 0 20 0 1 0 13809267 58134528 7508 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 14193 7508 1910 992 0 6051 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 56772 KiB
Current children cumulated memory: 30032 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/265 137468
/proc/meminfo: memFree=485764/131524600 swapFree=131069924/131071996
[pid=137155] ppid=137152 vsize=58184 memory=31784 CPUtime=161.79 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 5833 0 0 0 15889 290 0 0 20 0 1 0 13809267 59580416 7946 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 14546 7946 1910 992 0 6404 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 58184 KiB
Current children cumulated memory: 31784 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 137478
/proc/meminfo: memFree=626584/131524600 swapFree=131069924/131071996
[pid=137155] ppid=137152 vsize=66192 memory=33708 CPUtime=221.6 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 6505 0 0 0 21798 362 0 0 20 0 1 0 13809267 67780608 8427 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 16548 8427 1910 992 0 8406 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 66192 KiB
Current children cumulated memory: 33708 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/259 137516
/proc/meminfo: memFree=844736/131524600 swapFree=131069924/131071996
[pid=137155] ppid=137152 vsize=67088 memory=35116 CPUtime=281.41 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 6976 0 0 0 27717 424 0 0 20 0 1 0 13809267 68698112 8779 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 16772 8779 1910 992 0 8630 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 67088 KiB
Current children cumulated memory: 35116 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/259 137528
/proc/meminfo: memFree=563296/131524600 swapFree=131069924/131071996
[pid=137155] ppid=137152 vsize=68016 memory=38436 CPUtime=341.23 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 7880 0 0 0 33638 485 0 0 20 0 1 0 13809267 69648384 9609 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 17004 9609 1910 992 0 8862 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 68016 KiB
Current children cumulated memory: 38436 KiB
[startup+402.3 s]
/proc/loadavg: 4.34 4.22 4.13 5/262 137560
/proc/meminfo: memFree=2073468/131524600 swapFree=131069924/131071996
[pid=137155] ppid=137152 vsize=68496 memory=38932 CPUtime=401.04 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 8267 0 0 0 39559 545 0 0 20 0 1 0 13809267 70139904 9733 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 17124 9733 1910 992 0 8982 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 68496 KiB
Current children cumulated memory: 38932 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/262 137571
/proc/meminfo: memFree=1317104/131524600 swapFree=131069924/131071996
[pid=137155] ppid=137152 vsize=70260 memory=40128 CPUtime=460.85 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 8620 0 0 0 45481 604 0 0 20 0 1 0 13809267 71946240 10032 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 17565 10032 1910 992 0 9423 0
################
# More data... #
################
Current children cumulated memory: 74844 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.24 4.20 6/265 139208
/proc/meminfo: memFree=512532/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=102776 memory=75104 CPUtime=2913.51 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 16257 0 0 0 289297 2054 0 0 20 0 1 0 13809267 105242624 18776 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 25694 18776 1910 992 0 17552 0
Current children cumulated CPU time: 2913.51 s
Current children cumulated vsize: 102776 KiB
Current children cumulated memory: 75104 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.22 4.19 5/264 139219
/proc/meminfo: memFree=672620/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=102776 memory=75192 CPUtime=2973.36 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 16288 0 0 0 295258 2078 0 0 20 0 1 0 13809267 105242624 18798 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 25694 18798 1910 992 0 17552 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 102776 KiB
Current children cumulated memory: 75192 KiB
[startup+3042.3 s]
/proc/loadavg: 4.27 4.23 4.19 5/264 139229
/proc/meminfo: memFree=521668/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=102776 memory=75192 CPUtime=3033.22 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 16321 0 0 0 301213 2109 0 0 20 0 1 0 13809267 105242624 18798 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 25694 18798 1910 992 0 17552 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 102776 KiB
Current children cumulated memory: 75192 KiB
[startup+3102.3 s]
/proc/loadavg: 4.44 4.30 4.22 5/262 139240
/proc/meminfo: memFree=529812/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=102776 memory=75204 CPUtime=3093.07 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 16352 0 0 0 307166 2141 0 0 20 0 1 0 13809267 105242624 18801 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 25694 18801 1910 992 0 17552 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 102776 KiB
Current children cumulated memory: 75204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.28 4.28 4.21 5/262 139251
/proc/meminfo: memFree=574920/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=102776 memory=75204 CPUtime=3152.93 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 16380 0 0 0 313124 2169 0 0 20 0 1 0 13809267 105242624 18801 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 25694 18801 1910 992 0 17552 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 102776 KiB
Current children cumulated memory: 75204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.24 4.20 5/260 139262
/proc/meminfo: memFree=603328/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=103728 memory=75840 CPUtime=3212.79 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 16664 0 0 0 319085 2194 0 0 20 0 1 0 13809267 106217472 18960 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 25932 18960 1910 992 0 17790 0
Current children cumulated CPU time: 3212.79 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 75840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.23 4.20 5/259 139273
/proc/meminfo: memFree=562428/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=103728 memory=75840 CPUtime=3272.65 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 16696 0 0 0 325041 2224 0 0 20 0 1 0 13809267 106217472 18960 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 25932 18960 1910 992 0 17790 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 75840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.18 4.18 5/260 139284
/proc/meminfo: memFree=510512/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=103728 memory=76784 CPUtime=3332.51 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 17054 0 0 0 331002 2249 0 0 20 0 1 0 13809267 106217472 19196 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 25932 19196 1910 992 0 17790 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 76784 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/262 139298
/proc/meminfo: memFree=668624/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=103728 memory=76784 CPUtime=3392.37 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 17085 0 0 0 336965 2272 0 0 20 0 1 0 13809267 106217472 19196 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 25932 19196 1910 992 0 17790 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 76784 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/262 139310
/proc/meminfo: memFree=677280/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=104056 memory=76996 CPUtime=3452.23 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 17166 0 0 0 342924 2299 0 0 20 0 1 0 13809267 106553344 19249 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 26014 19249 1910 992 0 17872 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 104056 KiB
Current children cumulated memory: 76996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/261 139321
/proc/meminfo: memFree=565644/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=104056 memory=76996 CPUtime=3512.09 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 17199 0 0 0 348879 2330 0 0 20 0 1 0 13809267 106553344 19249 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 26014 19249 1910 992 0 17872 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 104056 KiB
Current children cumulated memory: 76996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/263 139333
/proc/meminfo: memFree=517220/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=123024 memory=77236 CPUtime=3571.95 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 17304 0 0 0 354834 2361 0 0 20 0 1 0 13809267 125976576 19309 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 30756 19309 1910 992 0 22614 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 123024 KiB
Current children cumulated memory: 77236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.08 4.13 4.16 5/264 139340
/proc/meminfo: memFree=665276/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=123024 memory=77236 CPUtime=3600.08 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 17304 0 0 0 357634 2374 0 0 20 0 1 0 13809267 125976576 19309 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 30756 19309 1910 992 0 22614 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 123024 KiB
Current children cumulated memory: 77236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.53 s]
# the end of solver process 137155 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.35 s, system=23.7466 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.08 4.13 4.16 5/264 139340
/proc/meminfo: memFree=665276/131524600 swapFree=131057308/131071996
[pid=137155] ppid=137152 vsize=123024 memory=77236 CPUtime=3600.08 cores=1,3
/proc/137155/stat : 137155 (roundingsat) R 137152 137155 132574 0 -1 4194304 17304 0 0 0 357634 2374 0 0 20 0 1 0 13809267 125976576 19309 134679101440 4194304 8254037 140733511208736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41041920 140733511213916 140733511214178 140733511214178 140733511221193 0
/proc/137155/statm: 30756 19309 1910 992 0 22614 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 123024 KiB
Current children cumulated memory: 77236 KiB
Child status: 0
Real time (s): 3610.53
CPU time (s): 3600.09
CPU user time (s): 3576.35
CPU system time (s): 23.7466
CPU usage (%): 99.7109
Max. virtual memory (cumulated for all children) (KiB): 123024
Max. memory (cumulated for all children) (KiB): 77236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.35
system time used= 23.7466
maximum resident set size= 77236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17323
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22280744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164
involuntary context switches= 4892
# summary of solver processes directly reported to runsolver:
# pid: 137155
# total CPU time (s): 3600.09
# total CPU user time (s): 3576.35
# total CPU system time (s): 23.7466
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93905 second user time and 16.734 second system time
The end
Begin job on nodeC015 at 2024-07-24 00:14:24 IDJOB=4456784 IDBENCH=147611 IDSOLVER=3085 FILE ID=nodeC015/4456784-1721772864 RUNJOBID= nodeC015-1721765643-132586 SLURM_JOB_ID= 7770672 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_7_60_2.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456784-1721772864/watcher-4456784-1721772864 -o /tmp/evaluation-result-4456784-1721772864/solver-4456784-1721772864 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721765643-132586 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456784-1721772864 --lp-cut-gomory=0 HOME/instance-4456784-1721772864.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec RANDOM SEED=618100369 nodeC015.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 : 3660.932 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 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 : 3662.079 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 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 : 3599.711 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 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 : 3662.693 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 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 : 3660.991 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 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 : 3671.677 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.025 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 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 : 3600.077 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 1584664 kB MemAvailable: 128468620 kB Buffers: 188024 kB Cached: 127214456 kB SwapCached: 60 kB Active: 1249828 kB Inactive: 127628172 kB Active(anon): 3856 kB Inactive(anon): 1517008 kB Active(file): 1245972 kB Inactive(file): 126111164 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070448 kB Dirty: 25136 kB Writeback: 188 kB AnonPages: 1467720 kB Mapped: 115448 kB Shmem: 45220 kB KReclaimable: 588228 kB Slab: 704500 kB SReclaimable: 588228 kB SUnreclaim: 116272 kB KernelStack: 4268 kB PageTables: 12340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1982620 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20320 kB HardwareCorrupted: 0 kB AnonHugePages: 1304576 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: 303828 kB DirectMap2M: 30926848 kB DirectMap1G: 104857600 kB Free space on /tmp at the end= 890052 MiB End job on nodeC015 at 2024-07-24 01:14:35