| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.09 | 3626.62 |
| 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.001071 0.00/0.00 c rational objective 0 0.29/0.34 c bounds 283 >= 0 @ 0.016052 0.29/0.34 c bounds 281 >= 0 @ 0.016415 0.29/0.34 c bounds 208 >= 0 @ 0.022028 0.29/0.34 c #Conflicts: 1000 | #Constraints: 1033 0.29/0.34 c bounds 120 >= 0 @ 0.20801 0.29/0.34 c bounds 118 >= 0 @ 0.209114 0.29/0.34 c bounds 116 >= 0 @ 0.212213 0.29/0.34 c bounds 114 >= 0 @ 0.213682 0.29/0.34 c bounds 112 >= 0 @ 0.231346 0.29/0.34 c bounds 108 >= 0 @ 0.232169 0.29/0.34 c bounds 106 >= 0 @ 0.234794 0.29/0.34 c bounds 98 >= 0 @ 0.236977 0.29/0.34 c bounds 96 >= 0 @ 0.237755 0.29/0.34 c bounds 94 >= 0 @ 0.25345 0.29/0.34 c bounds 90 >= 0 @ 0.253828 0.29/0.34 c bounds 86 >= 0 @ 0.254433 0.29/0.34 c bounds 78 >= 0 @ 0.256462 0.29/0.34 c bounds 70 >= 0 @ 0.257564 0.29/0.34 c bounds 66 >= 0 @ 0.259735 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.88 c bounds 65 >= 0 @ 0.467391 0.79/0.88 c #Conflicts: 3000 | #Constraints: 2059 0.79/0.88 c #Conflicts: 4000 | #Constraints: 3070 0.79/0.88 c INPROCESSING 0.79/0.88 c GARBAGE COLLECT 0.79/0.88 c rational objective 0 1.48/1.56 c bounds 62 >= 0 @ 0.86837 1.48/1.56 c bounds 59 >= 0 @ 0.874512 1.48/1.56 c bounds 57 >= 0 @ 0.875825 1.48/1.56 c bounds 56 >= 0 @ 0.918733 1.48/1.56 c bounds 52 >= 0 @ 0.918797 1.48/1.56 c bounds 47 >= 0 @ 0.923642 1.48/1.56 c bounds 45 >= 0 @ 0.925202 1.48/1.56 c bounds 43 >= 0 @ 0.926693 1.48/1.56 c #Conflicts: 5000 | #Constraints: 2471 1.48/1.56 c bounds 41 >= 0 @ 1.19889 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.39/2.40 c bounds 39 >= 0 @ 1.48657 2.39/2.40 c bounds 37 >= 0 @ 1.48752 2.39/2.40 c bounds 35 >= 0 @ 1.53851 2.39/2.40 c bounds 31 >= 0 @ 1.53965 2.39/2.40 c #Conflicts: 7000 | #Constraints: 2454 2.39/2.40 c #Conflicts: 8000 | #Constraints: 3464 2.39/2.40 c #Conflicts: 9000 | #Constraints: 4478 2.39/2.40 c INPROCESSING 2.39/2.40 c GARBAGE COLLECT 2.39/2.40 c rational objective 0 3.28/3.33 c #Conflicts: 10000 | #Constraints: 3167 3.28/3.33 c #Conflicts: 11000 | #Constraints: 4173 3.28/3.33 c #Conflicts: 12000 | #Constraints: 5176 3.28/3.33 c INPROCESSING 3.28/3.33 c GARBAGE COLLECT 3.28/3.33 c rational objective 0 4.48/4.56 c #Conflicts: 13000 | #Constraints: 3607 4.48/4.56 c #Conflicts: 14000 | #Constraints: 4614 4.48/4.56 c #Conflicts: 15000 | #Constraints: 5620 4.48/4.56 c INPROCESSING 4.48/4.56 c GARBAGE COLLECT 4.48/4.56 c rational objective 0 5.67/5.79 c #Conflicts: 16000 | #Constraints: 3836 5.67/5.79 c #Conflicts: 17000 | #Constraints: 4838 5.67/5.79 c #Conflicts: 18000 | #Constraints: 5841 5.67/5.79 c INPROCESSING 5.67/5.79 c GARBAGE COLLECT 5.67/5.79 c rational objective 0 6.98/7.08 c #Conflicts: 19000 | #Constraints: 3841 6.98/7.08 c #Conflicts: 20000 | #Constraints: 4847 6.98/7.08 c #Conflicts: 21000 | #Constraints: 5857 6.98/7.08 c INPROCESSING 6.98/7.08 c GARBAGE COLLECT 6.98/7.08 c rational objective 0 8.76/8.87 c #Conflicts: 22000 | #Constraints: 3647 8.76/8.87 c #Conflicts: 23000 | #Constraints: 4651 8.76/8.87 c #Conflicts: 24000 | #Constraints: 5656 8.76/8.87 c #Conflicts: 25000 | #Constraints: 6661 8.76/8.87 c INPROCESSING 8.76/8.87 c GARBAGE COLLECT 8.76/8.87 c rational objective 0 10.57/10.63 c #Conflicts: 26000 | #Constraints: 4253 10.57/10.63 c #Conflicts: 27000 | #Constraints: 5255 10.57/10.63 c #Conflicts: 28000 | #Constraints: 6261 10.57/10.63 c #Conflicts: 29000 | #Constraints: 7266 10.57/10.63 c INPROCESSING 10.57/10.63 c GARBAGE COLLECT 10.57/10.63 c rational objective 0 12.55/12.65 c #Conflicts: 30000 | #Constraints: 4651 12.55/12.65 c bounds 30 >= 0 @ 11.0536 12.55/12.65 c #Conflicts: 31000 | #Constraints: 5657 12.55/12.65 c #Conflicts: 32000 | #Constraints: 6661 12.55/12.65 c bounds 28 >= 0 @ 11.9782 12.55/12.65 c #Conflicts: 33000 | #Constraints: 7667 12.55/12.65 c INPROCESSING 12.55/12.65 c GARBAGE COLLECT 12.55/12.65 c rational objective 0 14.45/14.54 c #Conflicts: 34000 | #Constraints: 4853 14.45/14.54 c #Conflicts: 35000 | #Constraints: 5857 14.45/14.54 c #Conflicts: 36000 | #Constraints: 6861 14.45/14.54 c #Conflicts: 37000 | #Constraints: 7864 14.45/14.54 c INPROCESSING 14.45/14.54 c GARBAGE COLLECT 14.45/14.54 c rational objective 0 16.65/16.75 c #Conflicts: 38000 | #Constraints: 4854 16.65/16.75 c #Conflicts: 39000 | #Constraints: 5857 16.65/16.75 c bounds 26 >= 0 @ 14.9191 16.65/16.75 c bounds 22 >= 0 @ 14.9208 16.65/16.75 c #Conflicts: 40000 | #Constraints: 6867 16.65/16.75 c #Conflicts: 41000 | #Constraints: 7872 16.65/16.75 c INPROCESSING 16.65/16.75 c GARBAGE COLLECT 16.65/16.75 c rational objective 0 18.64/18.75 c #Conflicts: 42000 | #Constraints: 4663 18.64/18.75 c #Conflicts: 43000 | #Constraints: 5667 18.64/18.75 c #Conflicts: 44000 | #Constraints: 6672 18.64/18.75 c #Conflicts: 45000 | #Constraints: 7676 18.64/18.75 c #Conflicts: 46000 | #Constraints: 8681 18.64/18.75 c INPROCESSING 18.64/18.75 c GARBAGE COLLECT 18.64/18.75 c rational objective 0 21.33/21.46 c #Conflicts: 47000 | #Constraints: 5258 21.33/21.46 c #Conflicts: 48000 | #Constraints: 6263 21.33/21.46 c #Conflicts: 49000 | #Constraints: 7267 21.33/21.46 c #Conflicts: 50000 | #Constraints: 8270 21.33/21.46 c #Conflicts: 51000 | #Constraints: 9275 21.33/21.46 c INPROCESSING 21.33/21.46 c GARBAGE COLLECT 21.33/21.46 c rational objective 0 24.03/24.17 c #Conflicts: 52000 | #Constraints: 5660 24.03/24.17 c #Conflicts: 53000 | #Constraints: 6661 24.03/24.17 c #Conflicts: 54000 | #Constraints: 7665 24.03/24.17 c #Conflicts: 55000 | #Constraints: 8668 24.03/24.17 c #Conflicts: 56000 | #Constraints: 9670 24.03/24.17 c INPROCESSING 24.03/24.17 c GARBAGE COLLECT 24.03/24.17 c rational objective 0 27.32/27.48 c #Conflicts: 57000 | #Constraints: 5852 27.32/27.48 c bounds 21 >= 0 @ 24.0882 27.32/27.48 c bounds 19 >= 0 @ 24.0906 27.32/27.48 c #Conflicts: 58000 | #Constraints: 6856 27.32/27.48 c #Conflicts: 59000 | #Constraints: 7859 27.32/27.48 c #Conflicts: 60000 | #Constraints: 8860 27.32/27.48 c #Conflicts: 61000 | #Constraints: 9862 27.32/27.48 c INPROCESSING 27.32/27.48 c GARBAGE COLLECT 27.32/27.48 c rational objective 0 30.31/30.47 c #Conflicts: 62000 | #Constraints: 5852 30.31/30.47 c #Conflicts: 63000 | #Constraints: 6857 30.31/30.47 c #Conflicts: 64000 | #Constraints: 7860 30.31/30.47 c #Conflicts: 65000 | #Constraints: 8863 30.31/30.47 c #Conflicts: 66000 | #Constraints: 9864 30.31/30.47 c INPROCESSING 30.31/30.47 c GARBAGE COLLECT 30.31/30.47 c rational objective 0 34.20/34.39 c #Conflicts: 67000 | #Constraints: 5647 34.20/34.39 c #Conflicts: 68000 | #Constraints: 6656 34.20/34.39 c #Conflicts: 69000 | #Constraints: 7658 34.20/34.39 c #Conflicts: 70000 | #Constraints: 8667 34.20/34.39 c #Conflicts: 71000 | #Constraints: 9672 34.20/34.39 c #Conflicts: 72000 | #Constraints: 10674 34.20/34.39 c INPROCESSING 34.20/34.39 c GARBAGE COLLECT 34.20/34.39 c rational objective 0 37.59/37.71 c #Conflicts: 73000 | #Constraints: 6254 37.59/37.71 c #Conflicts: 74000 | #Constraints: 7255 37.59/37.71 c #Conflicts: 75000 | #Constraints: 8257 37.59/37.71 c #Conflicts: 76000 | #Constraints: 9260 37.59/37.71 c #Conflicts: 77000 | #Constraints: 10262 37.59/37.71 c #Conflicts: 78000 | #Constraints: 11264 37.59/37.71 c INPROCESSING 37.59/37.71 c GARBAGE COLLECT 37.59/37.71 c rational objective 0 41.38/41.51 c #Conflicts: 79000 | #Constraints: 6647 41.38/41.51 c #Conflicts: 80000 | #Constraints: 7647 41.38/41.51 c #Conflicts: 81000 | #Constraints: 8652 41.38/41.51 c #Conflicts: 82000 | #Constraints: 9659 41.38/41.51 c #Conflicts: 83000 | #Constraints: 10662 41.38/41.51 c #Conflicts: 84000 | #Constraints: 11664 41.38/41.51 c INPROCESSING 41.38/41.51 c GARBAGE COLLECT 41.38/41.51 c rational objective 0 46.37/46.52 c #Conflicts: 85000 | #Constraints: 6848 46.37/46.52 c #Conflicts: 86000 | #Constraints: 7849 46.37/46.52 c #Conflicts: 87000 | #Constraints: 8850 46.37/46.52 c #Conflicts: 88000 | #Constraints: 9851 46.37/46.52 c #Conflicts: 89000 | #Constraints: 10851 46.37/46.52 c #Conflicts: 90000 | #Constraints: 11852 46.37/46.52 c INPROCESSING 46.37/46.52 c GARBAGE COLLECT 46.37/46.52 c rational objective 0 50.97/51.15 c #Conflicts: 91000 | #Constraints: 6846 50.97/51.15 c #Conflicts: 92000 | #Constraints: 7850 50.97/51.15 c #Conflicts: 93000 | #Constraints: 8852 50.97/51.15 c #Conflicts: 94000 | #Constraints: 9855 50.97/51.15 c #Conflicts: 95000 | #Constraints: 10856 50.97/51.15 c #Conflicts: 96000 | #Constraints: 11858 50.97/51.15 c INPROCESSING 50.97/51.15 c GARBAGE COLLECT 50.97/51.15 c rational objective 0 56.35/56.59 c #Conflicts: 97000 | #Constraints: 6650 56.35/56.59 c #Conflicts: 98000 | #Constraints: 7650 56.35/56.59 c #Conflicts: 99000 | #Constraints: 8652 56.35/56.59 c #Conflicts: 100000 | #Constraints: 9656 56.35/56.59 c #Conflicts: 101000 | #Constraints: 10659 56.35/56.59 c #Conflicts: 102000 | #Constraints: 11660 56.35/56.59 c #Conflicts: 103000 | #Constraints: 12662 56.35/56.59 c INPROCESSING 56.35/56.59 c GARBAGE COLLECT 56.35/56.59 c rational objective 0 60.94/61.18 c #Conflicts: 104000 | #Constraints: 7256 60.94/61.18 c #Conflicts: 105000 | #Constraints: 8260 60.94/61.18 c #Conflicts: 106000 | #Constraints: 9264 60.94/61.18 c #Conflicts: 107000 | #Constraints: 10266 60.94/61.18 c #Conflicts: 108000 | #Constraints: 11268 60.94/61.18 c #Conflicts: 109000 | #Constraints: 12272 60.94/61.18 c #Conflicts: 110000 | #Constraints: 13277 60.94/61.18 c INPROCESSING 60.94/61.18 c GARBAGE COLLECT 60.94/61.18 c rational objective 0 67.61/67.87 c #Conflicts: 111000 | #Constraints: 7658 67.61/67.87 c #Conflicts: 112000 | #Constraints: 8662 67.61/67.87 c #Conflicts: 113000 | #Constraints: 9666 67.61/67.87 c #Conflicts: 114000 | #Constraints: 10669 67.61/67.87 c #Conflicts: 115000 | #Constraints: 11671 67.61/67.87 c #Conflicts: 116000 | #Constraints: 12676 67.61/67.87 c #Conflicts: 117000 | #Constraints: 13677 67.61/67.87 c INPROCESSING 67.61/67.87 c GARBAGE COLLECT 67.61/67.87 c rational objective 0 73.20/73.49 c #Conflicts: 118000 | #Constraints: 7861 73.20/73.49 c #Conflicts: 119000 | #Constraints: 8864 73.20/73.49 c #Conflicts: 120000 | #Constraints: 9865 73.20/73.49 c #Conflicts: 121000 | #Constraints: 10867 73.20/73.49 c #Conflicts: 122000 | #Constraints: 11868 73.20/73.49 c #Conflicts: 123000 | #Constraints: 12868 73.20/73.49 c #Conflicts: 124000 | #Constraints: 13873 73.20/73.49 c INPROCESSING 73.20/73.49 c GARBAGE COLLECT 73.20/73.49 c rational objective 0 78.49/78.73 c #Conflicts: 125000 | #Constraints: 7852 78.49/78.73 c #Conflicts: 126000 | #Constraints: 8853 78.49/78.73 c #Conflicts: 127000 | #Constraints: 9853 78.49/78.73 c #Conflicts: 128000 | #Constraints: 10854 78.49/78.73 c #Conflicts: 129000 | #Constraints: 11854 78.49/78.73 c #Conflicts: 130000 | #Constraints: 12855 78.49/78.73 c #Conflicts: 131000 | #Constraints: 13856 78.49/78.73 c INPROCESSING 78.49/78.73 c GARBAGE COLLECT 78.49/78.73 c rational objective 0 86.36/86.60 c #Conflicts: 132000 | #Constraints: 7646 86.36/86.60 c #Conflicts: 133000 | #Constraints: 8648 86.36/86.60 c #Conflicts: 134000 | #Constraints: 9651 86.36/86.60 c #Conflicts: 135000 | #Constraints: 10651 86.36/86.60 c #Conflicts: 136000 | #Constraints: 11652 86.36/86.60 c #Conflicts: 137000 | #Constraints: 12655 86.36/86.60 c #Conflicts: 138000 | #Constraints: 13658 86.36/86.60 c #Conflicts: 139000 | #Constraints: 14662 86.36/86.60 c INPROCESSING 86.36/86.60 c GARBAGE COLLECT 86.36/86.60 c rational objective 0 93.25/93.55 c #Conflicts: 140000 | #Constraints: 8252 93.25/93.55 c #Conflicts: 141000 | #Constraints: 9253 93.25/93.55 c #Conflicts: 142000 | #Constraints: 10255 93.25/93.55 c #Conflicts: 143000 | #Constraints: 11256 93.25/93.55 c #Conflicts: 144000 | #Constraints: 12256 93.25/93.55 c #Conflicts: 145000 | #Constraints: 13256 93.25/93.55 c #Conflicts: 146000 | #Constraints: 14256 93.25/93.55 c #Conflicts: 147000 | #Constraints: 15257 93.25/93.55 c INPROCESSING 93.25/93.55 c GARBAGE COLLECT 93.25/93.55 c rational objective 0 102.03/102.37 c #Conflicts: 148000 | #Constraints: 8650 102.03/102.37 c #Conflicts: 149000 | #Constraints: 9653 102.03/102.37 c #Conflicts: 150000 | #Constraints: 10654 102.03/102.37 c #Conflicts: 151000 | #Constraints: 11654 102.03/102.37 c #Conflicts: 152000 | #Constraints: 12660 102.03/102.37 c #Conflicts: 153000 | #Constraints: 13663 102.03/102.37 c #Conflicts: 154000 | #Constraints: 14667 102.03/102.37 c #Conflicts: 155000 | #Constraints: 15672 102.03/102.37 c INPROCESSING 102.03/102.37 c GARBAGE COLLECT 102.03/102.37 c rational objective 0 108.51/108.87 c #Conflicts: 156000 | #Constraints: 8852 108.51/108.87 c #Conflicts: 157000 | #Constraints: 9856 108.51/108.87 c #Conflicts: 158000 | #Constraints: 10857 108.51/108.87 c #Conflicts: 159000 | #Constraints: 11858 108.51/108.87 c #Conflicts: 160000 | #Constraints: 12859 108.51/108.87 c #Conflicts: 161000 | #Constraints: 13861 108.51/108.87 c #Conflicts: 162000 | #Constraints: 14861 108.51/108.87 c #Conflicts: 163000 | #Constraints: 15861 108.51/108.87 c INPROCESSING 108.51/108.87 c GARBAGE COLLECT 108.51/108.87 c rational objective 0 115.39/115.73 c #Conflicts: 164000 | #Constraints: 8852 115.39/115.73 c #Conflicts: 165000 | #Constraints: 9853 115.39/115.73 c #Conflicts: 166000 | #Constraints: 10855 115.39/115.73 c #Conflicts: 167000 | #Constraints: 11859 115.39/115.73 c #Conflicts: 168000 | #Constraints: 12859 115.39/115.73 c #Conflicts: 169000 | #Constraints: 13861 115.39/115.73 c #Conflicts: 170000 | #Constraints: 14863 115.39/115.73 c #Conflicts: 171000 | #Constraints: 15863 115.39/115.73 c INPROCESSING 115.39/115.73 c GARBAGE COLLECT 115.39/115.73 c rational objective 0 125.46/125.80 c bounds 18 >= 0 @ 113.346 125.46/125.80 c bounds 16 >= 0 @ 113.351 125.46/125.80 c #Conflicts: 172000 | #Constraints: 8649 125.46/125.80 c #Conflicts: 173000 | #Constraints: 9651 125.46/125.80 c #Conflicts: 174000 | #Constraints: 10654 125.46/125.80 c #Conflicts: 175000 | #Constraints: 11656 125.46/125.80 c #Conflicts: 176000 | #Constraints: 12658 125.46/125.80 c #Conflicts: 177000 | #Constraints: 13663 125.46/125.80 c #Conflicts: 178000 | #Constraints: 14663 125.46/125.80 c #Conflicts: 179000 | #Constraints: 15666 125.46/125.80 c #Conflicts: 180000 | #Constraints: 16669 125.46/125.80 c INPROCESSING 125.46/125.80 c GARBAGE COLLECT 125.46/125.80 c rational objective 0 133.45/133.83 c #Conflicts: 181000 | #Constraints: 9254 133.45/133.83 c #Conflicts: 182000 | #Constraints: 10256 133.45/133.83 c #Conflicts: 183000 | #Constraints: 11259 133.45/133.83 c #Conflicts: 184000 | #Constraints: 12261 133.45/133.83 c #Conflicts: 185000 | #Constraints: 13262 133.45/133.83 c #Conflicts: 186000 | #Constraints: 14263 133.45/133.83 c #Conflicts: 187000 | #Constraints: 15264 133.45/133.83 c #Conflicts: 188000 | #Constraints: 16264 133.45/133.83 c #Conflicts: 189000 | #Constraints: 17265 133.45/133.83 c INPROCESSING 133.45/133.83 c GARBAGE COLLECT 133.45/133.83 c rational objective 0 145.01/145.40 c #Conflicts: 190000 | #Constraints: 9650 145.01/145.40 c #Conflicts: 191000 | #Constraints: 10650 145.01/145.40 c #Conflicts: 192000 | #Constraints: 11650 145.01/145.40 c #Conflicts: 193000 | #Constraints: 12653 145.01/145.40 c #Conflicts: 194000 | #Constraints: 13653 145.01/145.40 c #Conflicts: 195000 | #Constraints: 14655 145.01/145.40 c #Conflicts: 196000 | #Constraints: 15659 145.01/145.40 c #Conflicts: 197000 | #Constraints: 16660 145.01/145.40 c #Conflicts: 198000 | #Constraints: 17663 145.01/145.40 c INPROCESSING 145.01/145.40 c GARBAGE COLLECT 145.01/145.40 c rational objective 0 155.39/155.85 c #Conflicts: 199000 | #Constraints: 9857 155.39/155.85 c #Conflicts: 200000 | #Constraints: 10857 155.39/155.85 c #Conflicts: 201000 | #Constraints: 11859 155.39/155.85 c #Conflicts: 202000 | #Constraints: 12861 155.39/155.85 c #Conflicts: 203000 | #Constraints: 13863 155.39/155.85 c #Conflicts: 204000 | #Constraints: 14864 155.39/155.85 c #Conflicts: 205000 | #Constraints: 15865 155.39/155.85 c #Conflicts: 206000 | #Constraints: 16865 155.39/155.85 c #Conflicts: 207000 | #Constraints: 17866 155.39/155.85 c INPROCESSING 155.39/155.85 c GARBAGE COLLECT 155.39/155.85 c rational objective 0 169.46/169.98 c #Conflicts: 208000 | #Constraints: 9854 169.46/169.98 c #Conflicts: 209000 | #Constraints: 10856 169.46/169.98 c #Conflicts: 210000 | #Constraints: 11856 169.46/169.98 c #Conflicts: 211000 | #Constraints: 12856 169.46/169.98 c #Conflicts: 212000 | #Constraints: 13857 169.46/169.98 c #Conflicts: 213000 | #Constraints: 14859 169.46/169.98 c #Conflicts: 214000 | #Constraints: 15860 169.46/169.98 c #Conflicts: 215000 | #Constraints: 16860 169.46/169.98 c #Conflicts: 216000 | #Constraints: 17860 169.46/169.98 c INPROCESSING 169.46/169.98 c GARBAGE COLLECT 169.46/169.98 c rational objective 0 181.32/181.82 c #Conflicts: 217000 | #Constraints: 9654 181.32/181.82 c #Conflicts: 218000 | #Constraints: 10654 181.32/181.82 c #Conflicts: 219000 | #Constraints: 11655 181.32/181.82 c #Conflicts: 220000 | #Constraints: 12655 181.32/181.82 c #Conflicts: 221000 | #Constraints: 13655 181.32/181.82 c #Conflicts: 222000 | #Constraints: 14655 181.32/181.82 c #Conflicts: 223000 | #Constraints: 15658 181.32/181.82 c #Conflicts: 224000 | #Constraints: 16660 181.32/181.82 c #Conflicts: 225000 | #Constraints: 17661 181.32/181.82 c #Conflicts: 226000 | #Constraints: 18663 181.32/181.82 c INPROCESSING 181.32/181.82 c GARBAGE COLLECT 181.32/181.82 c rational objective 0 192.61/193.10 c #Conflicts: 227000 | #Constraints: 10246 192.61/193.10 c #Conflicts: 228000 | #Constraints: 11246 192.61/193.10 c #Conflicts: 229000 | #Constraints: 12246 192.61/193.10 c #Conflicts: 230000 | #Constraints: 13246 192.61/193.10 c #Conflicts: 231000 | #Constraints: 14248 192.61/193.10 c #Conflicts: 232000 | #Constraints: 15250 192.61/193.10 c #Conflicts: 233000 | #Constraints: 16251 192.61/193.10 c #Conflicts: 234000 | #Constraints: 17253 192.61/193.10 c #Conflicts: 235000 | #Constraints: 18253 192.61/193.10 c #Conflicts: 236000 | #Constraints: 19253 192.61/193.10 c INPROCESSING 192.61/193.10 c GARBAGE COLLECT 192.61/193.10 c rational objective 0 207.66/208.26 c #Conflicts: 237000 | #Constraints: 10645 207.66/208.26 c #Conflicts: 238000 | #Constraints: 11647 207.66/208.26 c #Conflicts: 239000 | #Constraints: 12647 207.66/208.26 c #Conflicts: 240000 | #Constraints: 13648 207.66/208.26 c #Conflicts: 241000 | #Constraints: 14649 207.66/208.26 c #Conflicts: 242000 | #Constraints: 15650 207.66/208.26 c #Conflicts: 243000 | #Constraints: 16650 207.66/208.26 c #Conflicts: 244000 | #Constraints: 17654 207.66/208.26 c #Conflicts: 245000 | #Constraints: 18656 207.66/208.26 c #Conflicts: 246000 | #Constraints: 19657 207.66/208.26 c INPROCESSING 207.66/208.26 c GARBAGE COLLECT 207.66/208.26 c rational objective 0 218.63/219.26 c #Conflicts: 247000 | #Constraints: 10852 218.63/219.26 c #Conflicts: 248000 | #Constraints: 11852 218.63/219.26 c #Conflicts: 249000 | #Constraints: 12854 218.63/219.26 c #Conflicts: 250000 | #Constraints: 13856 218.63/219.26 c #Conflicts: 251000 | #Constraints: 14858 218.63/219.26 c #Conflicts: 252000 | #Constraints: 15860 218.63/219.26 c #Conflicts: 253000 | #Constraints: 16861 218.63/219.26 c #Conflicts: 254000 | #Constraints: 17861 218.63/219.26 c #Conflicts: 255000 | #Constraints: 18862 218.63/219.26 c #Conflicts: 256000 | #Constraints: 19863 218.63/219.26 c INPROCESSING 218.63/219.26 c GARBAGE COLLECT 218.63/219.26 c rational objective 0 235.29/236.00 c #Conflicts: 257000 | #Constraints: 10846 235.29/236.00 c #Conflicts: 258000 | #Constraints: 11846 235.29/236.00 c #Conflicts: 259000 | #Constraints: 12847 235.29/236.00 c #Conflicts: 260000 | #Constraints: 13849 235.29/236.00 c #Conflicts: 261000 | #Constraints: 14850 235.29/236.00 c #Conflicts: 262000 | #Constraints: 15851 235.29/236.00 c #Conflicts: 263000 | #Constraints: 16852 235.29/236.00 c #Conflicts: 264000 | #Constraints: 17854 235.29/236.00 c #Conflicts: 265000 | #Constraints: 18854 235.29/236.00 c #Conflicts: 266000 | #Constraints: 19855 235.29/236.00 c INPROCESSING 235.29/236.00 c GARBAGE COLLECT 235.29/236.00 c rational objective 0 249.46/250.15 c #Conflicts: 267000 | #Constraints: 10648 249.46/250.15 c #Conflicts: 268000 | #Constraints: 11649 249.46/250.15 c #Conflicts: 269000 | #Constraints: 12649 249.46/250.15 c #Conflicts: 270000 | #Constraints: 13649 249.46/250.15 c #Conflicts: 271000 | #Constraints: 14649 249.46/250.15 c #Conflicts: 272000 | #Constraints: 15650 249.46/250.15 c #Conflicts: 273000 | #Constraints: 16652 249.46/250.15 c #Conflicts: 274000 | #Constraints: 17653 249.46/250.15 c #Conflicts: 275000 | #Constraints: 18654 249.46/250.15 c #Conflicts: 276000 | #Constraints: 19654 249.46/250.15 c #Conflicts: 277000 | #Constraints: 20656 249.46/250.15 c INPROCESSING 249.46/250.15 c GARBAGE COLLECT 249.46/250.15 c rational objective 0 267.70/268.40 c #Conflicts: 278000 | #Constraints: 11247 267.70/268.40 c #Conflicts: 279000 | #Constraints: 12247 267.70/268.40 c #Conflicts: 280000 | #Constraints: 13249 267.70/268.40 c #Conflicts: 281000 | #Constraints: 14249 267.70/268.40 c #Conflicts: 282000 | #Constraints: 15251 267.70/268.40 c #Conflicts: 283000 | #Constraints: 16253 267.70/268.40 c #Conflicts: 284000 | #Constraints: 17253 267.70/268.40 c #Conflicts: 285000 | #Constraints: 18253 267.70/268.40 c #Conflicts: 286000 | #Constraints: 19253 267.70/268.40 c #Conflicts: 287000 | #Constraints: 20255 267.70/268.40 c #Conflicts: 288000 | #Constraints: 21256 267.70/268.40 c INPROCESSING 267.70/268.40 c GARBAGE COLLECT 267.70/268.40 c rational objective 0 281.87/282.62 c #Conflicts: 289000 | #Constraints: 11650 281.87/282.62 c #Conflicts: 290000 | #Constraints: 12652 281.87/282.62 c #Conflicts: 291000 | #Constraints: 13653 281.87/282.62 c #Conflicts: 292000 | #Constraints: 14653 281.87/282.62 c #Conflicts: 293000 | #Constraints: 15654 281.87/282.62 c #Conflicts: 294000 | #Constraints: 16654 281.87/282.62 c #Conflicts: 295000 | #Constraints: 17655 281.87/282.62 c #Conflicts: 296000 | #Constraints: 18655 281.87/282.62 c #Conflicts: 297000 | #Constraints: 19656 281.87/282.62 c #Conflicts: 298000 | #Constraints: 20658 281.87/282.62 c #Conflicts: 299000 | #Constraints: 21659 281.87/282.62 c INPROCESSING 281.87/282.62 c GARBAGE COLLECT 281.87/282.62 c rational objective 0 295.73/296.51 c #Conflicts: 300000 | #Constraints: 11846 295.73/296.51 c #Conflicts: 301000 | #Constraints: 12847 295.73/296.51 c #Conflicts: 302000 | #Constraints: 13847 295.73/296.51 c #Conflicts: 303000 | #Constraints: 14848 295.73/296.51 c #Conflicts: 304000 | #Constraints: 15849 295.73/296.51 c #Conflicts: 305000 | #Constraints: 16849 295.73/296.51 c #Conflicts: 306000 | #Constraints: 17849 295.73/296.51 c #Conflicts: 307000 | #Constraints: 18850 295.73/296.51 c #Conflicts: 308000 | #Constraints: 19850 295.73/296.51 c #Conflicts: 309000 | #Constraints: 20850 295.73/296.51 c #Conflicts: 310000 | #Constraints: 21852 295.73/296.51 c INPROCESSING 295.73/296.51 c GARBAGE COLLECT 295.73/296.51 c rational objective 0 316.19/317.10 c #Conflicts: 311000 | #Constraints: 11844 316.19/317.10 c #Conflicts: 312000 | #Constraints: 12845 316.19/317.10 c #Conflicts: 313000 | #Constraints: 13847 316.19/317.10 c #Conflicts: 314000 | #Constraints: 14849 316.19/317.10 c #Conflicts: 315000 | #Constraints: 15850 316.19/317.10 c #Conflicts: 316000 | #Constraints: 16850 316.19/317.10 c #Conflicts: 317000 | #Constraints: 17851 316.19/317.10 c #Conflicts: 318000 | #Constraints: 18852 316.19/317.10 c #Conflicts: 319000 | #Constraints: 19853 316.19/317.10 c #Conflicts: 320000 | #Constraints: 20853 316.19/317.10 c #Conflicts: 321000 | #Constraints: 21853 316.19/317.10 c INPROCESSING 316.19/317.10 c GARBAGE COLLECT 316.19/317.10 c rational objective 0 334.33/335.27 c #Conflicts: 322000 | #Constraints: 11645 334.33/335.27 c #Conflicts: 323000 | #Constraints: 12645 334.33/335.27 c #Conflicts: 324000 | #Constraints: 13645 334.33/335.27 c #Conflicts: 325000 | #Constraints: 14646 334.33/335.27 c #Conflicts: 326000 | #Constraints: 15646 334.33/335.27 c #Conflicts: 327000 | #Constraints: 16647 334.33/335.27 c #Conflicts: 328000 | #Constraints: 17647 334.33/335.27 c #Conflicts: 329000 | #Constraints: 18647 334.33/335.27 c #Conflicts: 330000 | #Constraints: 19648 334.33/335.27 c #Conflicts: 331000 | #Constraints: 20648 334.33/335.27 c #Conflicts: 332000 | #Constraints: 21649 334.33/335.27 c #Conflicts: 333000 | #Constraints: 22649 334.33/335.27 c INPROCESSING 334.33/335.27 c GARBAGE COLLECT 334.33/335.27 c rational objective 0 357.08/358.05 c #Conflicts: 334000 | #Constraints: 12240 357.08/358.05 c #Conflicts: 335000 | #Constraints: 13241 357.08/358.05 c #Conflicts: 336000 | #Constraints: 14241 357.08/358.05 c #Conflicts: 337000 | #Constraints: 15241 357.08/358.05 c #Conflicts: 338000 | #Constraints: 16243 357.08/358.05 c #Conflicts: 339000 | #Constraints: 17246 357.08/358.05 c #Conflicts: 340000 | #Constraints: 18247 357.08/358.05 c #Conflicts: 341000 | #Constraints: 19247 357.08/358.05 c #Conflicts: 342000 | #Constraints: 20248 357.08/358.05 c #Conflicts: 343000 | #Constraints: 21251 357.08/358.05 c #Conflicts: 344000 | #Constraints: 22251 357.08/358.05 c #Conflicts: 345000 | #Constraints: 23251 357.08/358.05 c INPROCESSING 357.08/358.05 c GARBAGE COLLECT 357.08/358.05 c rational objective 0 373.83/374.81 c #Conflicts: 346000 | #Constraints: 12652 373.83/374.81 c #Conflicts: 347000 | #Constraints: 13653 373.83/374.81 c #Conflicts: 348000 | #Constraints: 14656 373.83/374.81 c #Conflicts: 349000 | #Constraints: 15656 373.83/374.81 c #Conflicts: 350000 | #Constraints: 16656 373.83/374.81 c #Conflicts: 351000 | #Constraints: 17657 373.83/374.81 c #Conflicts: 352000 | #Constraints: 18657 373.83/374.81 c #Conflicts: 353000 | #Constraints: 19657 373.83/374.81 c #Conflicts: 354000 | #Constraints: 20659 373.83/374.81 c #Conflicts: 355000 | #Constraints: 21662 373.83/374.81 c #Conflicts: 356000 | #Constraints: 22663 373.83/374.81 c #Conflicts: 357000 | #Constraints: 23664 373.83/374.81 c INPROCESSING 373.83/374.81 c GARBAGE COLLECT 373.83/374.81 c rational objective 0 389.29/390.36 c #Conflicts: 358000 | #Constraints: 12846 389.29/390.36 c #Conflicts: 359000 | #Constraints: 13846 389.29/390.36 c #Conflicts: 360000 | #Constraints: 14846 389.29/390.36 c #Conflicts: 361000 | #Constraints: 15849 389.29/390.36 c #Conflicts: 362000 | #Constraints: 16851 389.29/390.36 c #Conflicts: 363000 | #Constraints: 17851 389.29/390.36 c #Conflicts: 364000 | #Constraints: 18851 389.29/390.36 c #Conflicts: 365000 | #Constraints: 19851 389.29/390.36 c #Conflicts: 366000 | #Constraints: 20851 389.29/390.36 c #Conflicts: 367000 | #Constraints: 21852 389.29/390.36 c #Conflicts: 368000 | #Constraints: 22853 389.29/390.36 c #Conflicts: 369000 | #Constraints: 23853 389.29/390.36 c INPROCESSING 389.29/390.36 c GARBAGE COLLECT 389.29/390.36 c rational objective 0 413.33/414.40 c #Conflicts: 370000 | #Constraints: 12846 413.33/414.40 c #Conflicts: 371000 | #Constraints: 13846 413.33/414.40 c #Conflicts: 372000 | #Constraints: 14846 413.33/414.40 c #Conflicts: 373000 | #Constraints: 15849 413.33/414.40 c #Conflicts: 374000 | #Constraints: 16849 413.33/414.40 c bounds 14 >= 0 @ 394.819 413.33/414.40 c #Conflicts: 375000 | #Constraints: 17851 413.33/414.40 c #Conflicts: 376000 | #Constraints: 18854 413.33/414.40 c #Conflicts: 377000 | #Constraints: 19856 413.33/414.40 c #Conflicts: 378000 | #Constraints: 20856 413.33/414.40 c #Conflicts: 379000 | #Constraints: 21858 413.33/414.40 c #Conflicts: 380000 | #Constraints: 22859 413.33/414.40 c #Conflicts: 381000 | #Constraints: 23861 413.33/414.40 c INPROCESSING 413.33/414.40 c GARBAGE COLLECT 413.33/414.40 c rational objective 0 430.59/431.74 c #Conflicts: 382000 | #Constraints: 12651 430.59/431.74 c #Conflicts: 383000 | #Constraints: 13652 430.59/431.74 c #Conflicts: 384000 | #Constraints: 14653 430.59/431.74 c #Conflicts: 385000 | #Constraints: 15654 430.59/431.74 c #Conflicts: 386000 | #Constraints: 16656 430.59/431.74 c #Conflicts: 387000 | #Constraints: 17657 430.59/431.74 c #Conflicts: 388000 | #Constraints: 18658 430.59/431.74 c #Conflicts: 389000 | #Constraints: 19659 430.59/431.74 c #Conflicts: 390000 | #Constraints: 20662 430.59/431.74 c #Conflicts: 391000 | #Constraints: 21663 430.59/431.74 c #Conflicts: 392000 | #Constraints: 22665 430.59/431.74 c #Conflicts: 393000 | #Constraints: 23666 430.59/431.74 c #Conflicts: 394000 | #Constraints: 24666 430.59/431.74 c INPROCESSING 430.59/431.74 c GARBAGE COLLECT 430.59/431.74 c rational objective 0 455.32/456.56 c #Conflicts: 395000 | #Constraints: 13247 455.32/456.56 c #Conflicts: 396000 | #Constraints: 14247 455.32/456.56 c #Conflicts: 397000 | #Constraints: 15247 455.32/456.56 c #Conflicts: 398000 | #Constraints: 16247 455.32/456.56 c #Conflicts: 399000 | #Constraints: 17248 455.32/456.56 c #Conflicts: 400000 | #Constraints: 18248 455.32/456.56 c #Conflicts: 401000 | #Constraints: 19248 455.32/456.56 c #Conflicts: 402000 | #Constraints: 20249 455.32/456.56 c #Conflicts: 403000 | #Constraints: 21250 455.32/456.56 c #Conflicts: 404000 | #Constraints: 22251 455.32/456.56 c #Conflicts: 405000 | #Constraints: 23252 455.32/456.56 c #Conflicts: 406000 | #Constraints: 24254 455.32/456.56 c #Conflicts: 407000 | #Constraints: 25256 455.32/456.56 c INPROCESSING 455.32/456.56 c GARBAGE COLLECT 455.32/456.56 c rational objective 0 474.37/475.66 c #Conflicts: 408000 | #Constraints: 13646 474.37/475.66 c #Conflicts: 409000 | #Constraints: 14647 474.37/475.66 c #Conflicts: 410000 | #Constraints: 15648 474.37/475.66 c #Conflicts: 411000 | #Constraints: 16649 474.37/475.66 c #Conflicts: 412000 | #Constraints: 17652 474.37/475.66 c #Conflicts: 413000 | #Constraints: 18654 474.37/475.66 c #Conflicts: 414000 | #Constraints: 19655 474.37/475.66 c #Conflicts: 415000 | #Constraints: 20655 474.37/475.66 c #Conflicts: 416000 | #Constraints: 21656 474.37/475.66 c #Conflicts: 417000 | #Constraints: 22656 474.37/475.66 c #Conflicts: 418000 | #Constraints: 23656 474.37/475.66 c #Conflicts: 419000 | #Constraints: 24656 474.37/475.66 c #Conflicts: 420000 | #Constraints: 25656 474.37/475.66 c INPROCESSING 474.37/475.66 c GARBAGE COLLECT 474.37/475.66 c rational objective 0 494.22/495.51 c #Conflicts: 421000 | #Constraints: 13845 494.22/495.51 c #Conflicts: 422000 | #Constraints: 14846 494.22/495.51 c #Conflicts: 423000 | #Constraints: 15847 494.22/495.51 c #Conflicts: 424000 | #Constraints: 16847 494.22/495.51 c #Conflicts: 425000 | #Constraints: 17847 494.22/495.51 c #Conflicts: 426000 | #Constraints: 18849 494.22/495.51 c #Conflicts: 427000 | #Constraints: 19849 494.22/495.51 c #Conflicts: 428000 | #Constraints: 20850 494.22/495.51 c #Conflicts: 429000 | #Constraints: 21851 494.22/495.51 c #Conflicts: 430000 | #Constraints: 22852 494.22/495.51 c #Conflicts: 431000 | #Constraints: 23853 494.22/495.51 c #Conflicts: 432000 | #Constraints: 24853 494.22/495.51 c #Conflicts: 433000 | #Constraints: 25853 494.22/495.51 c INPROCESSING 494.22/495.51 c GARBAGE COLLECT 494.22/495.51 c rational objective 0 522.35/523.74 c #Conflicts: 434000 | #Constraints: 13845 522.35/523.74 c #Conflicts: 435000 | #Constraints: 14845 522.35/523.74 c #Conflicts: 436000 | #Constraints: 15845 522.35/523.74 c #Conflicts: 437000 | #Constraints: 16846 522.35/523.74 c #Conflicts: 438000 | #Constraints: 17846 522.35/523.74 c #Conflicts: 439000 | #Constraints: 18847 522.35/523.74 c #Conflicts: 440000 | #Constraints: 19848 522.35/523.74 c #Conflicts: 441000 | #Constraints: 20850 522.35/523.74 c #Conflicts: 442000 | #Constraints: 21851 522.35/523.74 c #Conflicts: 443000 | #Constraints: 22851 522.35/523.74 c #Conflicts: 444000 | #Constraints: 23851 522.35/523.74 c #Conflicts: 445000 | #Constraints: 24851 522.35/523.74 c #Conflicts: 446000 | #Constraints: 25852 522.35/523.74 c INPROCESSING 522.35/523.74 c GARBAGE COLLECT 522.35/523.74 c rational objective 0 549.97/551.46 c #Conflicts: 447000 | #Constraints: 13648 549.97/551.46 c #Conflicts: 448000 | #Constraints: 14649 549.97/551.46 c #Conflicts: 449000 | #Constraints: 15650 549.97/551.46 c #Conflicts: 450000 | #Constraints: 16650 549.97/551.46 c #Conflicts: 451000 | #Constraints: 17650 549.97/551.46 c #Conflicts: 452000 | #Constraints: 18651 549.97/551.46 c #Conflicts: 453000 | #Constraints: 19651 549.97/551.46 c #Conflicts: 454000 | #Constraints: 20652 549.97/551.46 c #Conflicts: 455000 | #Constraints: 21652 549.97/551.46 c #Conflicts: 456000 | #Constraints: 22652 549.97/551.46 c #Conflicts: 457000 | #Constraints: 23653 549.97/551.46 c #Conflicts: 458000 | #Constraints: 24654 549.97/551.46 c #Conflicts: 459000 | #Constraints: 25654 549.97/551.46 c #Conflicts: 460000 | #Constraints: 26654 549.97/551.46 c INPROCESSING 549.97/551.46 c GARBAGE COLLECT 549.97/551.46 c rational objective 0 581.78/583.32 c #Conflicts: 461000 | #Constraints: 14244 581.78/583.32 c #Conflicts: 462000 | #Constraints: 15247 581.78/583.32 c #Conflicts: 463000 | #Constraints: 16247 581.78/583.32 c #Conflicts: 464000 | #Constraints: 17248 581.78/583.32 c #Conflicts: 465000 | #Constraints: 18248 581.78/583.32 c #Conflicts: 466000 | #Constraints: 19249 581.78/583.32 c #Conflicts: 467000 | #Constraints: 20251 581.78/583.32 c #Conflicts: 468000 | #Constraints: 21252 581.78/583.32 c #Conflicts: 469000 | #Constraints: 22252 581.78/583.32 c #Conflicts: 470000 | #Constraints: 23253 581.78/583.32 c #Conflicts: 471000 | #Constraints: 24254 581.78/583.32 c #Conflicts: 472000 | #Constraints: 25256 581.78/583.32 c #Conflicts: 473000 | #Constraints: 26256 581.78/583.32 c #Conflicts: 474000 | #Constraints: 27256 581.78/583.32 c INPROCESSING 581.78/583.32 c GARBAGE COLLECT 581.78/583.32 c rational objective 0 612.11/613.77 c #Conflicts: 475000 | #Constraints: 14659 612.11/613.77 c #Conflicts: 476000 | #Constraints: 15659 612.11/613.77 c #Conflicts: 477000 | #Constraints: 16659 612.11/613.77 c #Conflicts: 478000 | #Constraints: 17661 612.11/613.77 c #Conflicts: 479000 | #Constraints: 18664 612.11/613.77 c #Conflicts: 480000 | #Constraints: 19664 612.11/613.77 c #Conflicts: 481000 | #Constraints: 20665 612.11/613.77 c #Conflicts: 482000 | #Constraints: 21666 612.11/613.77 c #Conflicts: 483000 | #Constraints: 22667 612.11/613.77 c #Conflicts: 484000 | #Constraints: 23667 612.11/613.77 c #Conflicts: 485000 | #Constraints: 24667 612.11/613.77 c #Conflicts: 486000 | #Constraints: 25668 612.11/613.77 c #Conflicts: 487000 | #Constraints: 26669 612.11/613.77 c #Conflicts: 488000 | #Constraints: 27669 612.11/613.77 c INPROCESSING 612.11/613.77 c GARBAGE COLLECT 612.11/613.77 c rational objective 0 644.82/646.53 c #Conflicts: 489000 | #Constraints: 14851 644.82/646.53 c #Conflicts: 490000 | #Constraints: 15853 644.82/646.53 c #Conflicts: 491000 | #Constraints: 16854 644.82/646.53 c #Conflicts: 492000 | #Constraints: 17856 644.82/646.53 c bounds 13 >= 0 @ 613.644 644.82/646.53 c #Conflicts: 493000 | #Constraints: 18859 644.82/646.53 c #Conflicts: 494000 | #Constraints: 19861 644.82/646.53 c #Conflicts: 495000 | #Constraints: 20861 644.82/646.53 c #Conflicts: 496000 | #Constraints: 21862 644.82/646.53 c #Conflicts: 497000 | #Constraints: 22862 644.82/646.53 c #Conflicts: 498000 | #Constraints: 23864 644.82/646.53 c #Conflicts: 499000 | #Constraints: 24864 644.82/646.53 c #Conflicts: 500000 | #Constraints: 25865 644.82/646.53 c #Conflicts: 501000 | #Constraints: 26865 644.82/646.53 c #Conflicts: 502000 | #Constraints: 27865 644.82/646.53 c INPROCESSING 644.82/646.53 c GARBAGE COLLECT 644.82/646.53 c rational objective 0 671.46/673.25 c #Conflicts: 503000 | #Constraints: 14854 671.46/673.25 c #Conflicts: 504000 | #Constraints: 15855 671.46/673.25 c #Conflicts: 505000 | #Constraints: 16855 671.46/673.25 c #Conflicts: 506000 | #Constraints: 17857 671.46/673.25 c #Conflicts: 507000 | #Constraints: 18857 671.46/673.25 c #Conflicts: 508000 | #Constraints: 19859 671.46/673.25 c #Conflicts: 509000 | #Constraints: 20861 671.46/673.25 c #Conflicts: 510000 | #Constraints: 21862 671.46/673.25 c #Conflicts: 511000 | #Constraints: 22863 671.46/673.25 c #Conflicts: 512000 | #Constraints: 23863 671.46/673.25 c #Conflicts: 513000 | #Constraints: 24863 671.46/673.25 c #Conflicts: 514000 | #Constraints: 25866 671.46/673.25 c #Conflicts: 515000 | #Constraints: 26867 671.46/673.25 c #Conflicts: 516000 | #Constraints: 27868 671.46/673.25 c INPROCESSING 671.46/673.25 c GARBAGE COLLECT 671.46/673.25 c rational objective 0 707.56/709.47 c #Conflicts: 517000 | #Constraints: 14649 707.56/709.47 c #Conflicts: 518000 | #Constraints: 15652 707.56/709.47 c #Conflicts: 519000 | #Constraints: 16653 707.56/709.47 c #Conflicts: 520000 | #Constraints: 17653 707.56/709.47 c #Conflicts: 521000 | #Constraints: 18653 707.56/709.47 c #Conflicts: 522000 | #Constraints: 19654 707.56/709.47 c #Conflicts: 523000 | #Constraints: 20655 707.56/709.47 c #Conflicts: 524000 | #Constraints: 21658 707.56/709.47 c #Conflicts: 525000 | #Constraints: 22660 707.56/709.47 c #Conflicts: 526000 | #Constraints: 23660 707.56/709.47 c #Conflicts: 527000 | #Constraints: 24660 707.56/709.47 c #Conflicts: 528000 | #Constraints: 25660 707.56/709.47 c #Conflicts: 529000 | #Constraints: 26660 707.56/709.47 c #Conflicts: 530000 | #Constraints: 27661 707.56/709.47 c #Conflicts: 531000 | #Constraints: 28661 707.56/709.47 c INPROCESSING 707.56/709.47 c GARBAGE COLLECT 707.56/709.47 c rational objective 0 734.29/736.28 c #Conflicts: 532000 | #Constraints: 15252 734.29/736.28 c #Conflicts: 533000 | #Constraints: 16252 734.29/736.28 c #Conflicts: 534000 | #Constraints: 17254 734.29/736.28 c #Conflicts: 535000 | #Constraints: 18255 734.29/736.28 c #Conflicts: 536000 | #Constraints: 19256 734.29/736.28 c #Conflicts: 537000 | #Constraints: 20256 734.29/736.28 c #Conflicts: 538000 | #Constraints: 21256 734.29/736.28 c #Conflicts: 539000 | #Constraints: 22258 734.29/736.28 c #Conflicts: 540000 | #Constraints: 23259 734.29/736.28 c #Conflicts: 541000 | #Constraints: 24261 734.29/736.28 c #Conflicts: 542000 | #Constraints: 25261 734.29/736.28 c #Conflicts: 543000 | #Constraints: 26263 734.29/736.28 c #Conflicts: 544000 | #Constraints: 27263 734.29/736.28 c #Conflicts: 545000 | #Constraints: 28264 734.29/736.28 c #Conflicts: 546000 | #Constraints: 29265 734.29/736.28 c INPROCESSING 734.29/736.28 c GARBAGE COLLECT 734.29/736.28 c rational objective 0 761.51/763.57 c #Conflicts: 547000 | #Constraints: 15648 761.51/763.57 c #Conflicts: 548000 | #Constraints: 16648 761.51/763.57 c #Conflicts: 549000 | #Constraints: 17648 761.51/763.57 c #Conflicts: 550000 | #Constraints: 18649 761.51/763.57 c #Conflicts: 551000 | #Constraints: 19650 761.51/763.57 c #Conflicts: 552000 | #Constraints: 20651 761.51/763.57 c #Conflicts: 553000 | #Constraints: 21652 761.51/763.57 c #Conflicts: 554000 | #Constraints: 22653 761.51/763.57 c #Conflicts: 555000 | #Constraints: 23653 761.51/763.57 c #Conflicts: 556000 | #Constraints: 24655 761.51/763.57 c #Conflicts: 557000 | #Constraints: 25655 761.51/763.57 c #Conflicts: 558000 | #Constraints: 26655 761.51/763.57 c #Conflicts: 559000 | #Constraints: 27656 761.51/763.57 c #Conflicts: 560000 | #Constraints: 28656 761.51/763.57 c #Conflicts: 561000 | #Constraints: 29658 761.51/763.57 c INPROCESSING 761.51/763.57 c GARBAGE COLLECT 761.51/763.57 c rational objective 0 802.50/804.61 c #Conflicts: 562000 | #Constraints: 15847 802.50/804.61 c #Conflicts: 563000 | #Constraints: 16848 802.50/804.61 c #Conflicts: 564000 | #Constraints: 17848 802.50/804.61 c #Conflicts: 565000 | #Constraints: 18848 802.50/804.61 c #Conflicts: 566000 | #Constraints: 19849 802.50/804.61 c #Conflicts: 567000 | #Constraints: 20849 802.50/804.61 c #Conflicts: 568000 | #Constraints: 21850 802.50/804.61 c #Conflicts: 569000 | #Constraints: 22851 802.50/804.61 c #Conflicts: 570000 | #Constraints: 23851 802.50/804.61 c #Conflicts: 571000 | #Constraints: 24851 802.50/804.61 c #Conflicts: 572000 | #Constraints: 25851 802.50/804.61 c #Conflicts: 573000 | #Constraints: 26851 802.50/804.61 c #Conflicts: 574000 | #Constraints: 27852 802.50/804.61 c #Conflicts: 575000 | #Constraints: 28852 802.50/804.61 c #Conflicts: 576000 | #Constraints: 29852 802.50/804.61 c INPROCESSING 802.50/804.61 c GARBAGE COLLECT 802.50/804.61 c rational objective 0 832.12/834.36 c #Conflicts: 577000 | #Constraints: 15846 832.12/834.36 c #Conflicts: 578000 | #Constraints: 16847 832.12/834.36 c #Conflicts: 579000 | #Constraints: 17848 832.12/834.36 c #Conflicts: 580000 | #Constraints: 18848 832.12/834.36 c #Conflicts: 581000 | #Constraints: 19850 832.12/834.36 c #Conflicts: 582000 | #Constraints: 20850 832.12/834.36 c #Conflicts: 583000 | #Constraints: 21851 832.12/834.36 c #Conflicts: 584000 | #Constraints: 22852 832.12/834.36 c #Conflicts: 585000 | #Constraints: 23853 832.12/834.36 c #Conflicts: 586000 | #Constraints: 24853 832.12/834.36 c #Conflicts: 587000 | #Constraints: 25853 832.12/834.36 c #Conflicts: 588000 | #Constraints: 26853 832.12/834.36 c #Conflicts: 589000 | #Constraints: 27853 832.12/834.36 c #Conflicts: 590000 | #Constraints: 28854 832.12/834.36 c #Conflicts: 591000 | #Constraints: 29854 832.12/834.36 c INPROCESSING 832.12/834.36 c GARBAGE COLLECT 832.12/834.36 c rational objective 0 877.31/879.61 c #Conflicts: 592000 | #Constraints: 15644 877.31/879.61 c #Conflicts: 593000 | #Constraints: 16646 877.31/879.61 c #Conflicts: 594000 | #Constraints: 17647 877.31/879.61 c #Conflicts: 595000 | #Constraints: 18648 877.31/879.61 c #Conflicts: 596000 | #Constraints: 19648 877.31/879.61 c #Conflicts: 597000 | #Constraints: 20648 877.31/879.61 c #Conflicts: 598000 | #Constraints: 21648 877.31/879.61 c #Conflicts: 599000 | #Constraints: 22649 877.31/879.61 c #Conflicts: 600000 | #Constraints: 23650 877.31/879.61 c #Conflicts: 601000 | #Constraints: 24651 877.31/879.61 c #Conflicts: 602000 | #Constraints: 25651 877.31/879.61 c #Conflicts: 603000 | #Constraints: 26652 877.31/879.61 c #Conflicts: 604000 | #Constraints: 27652 877.31/879.61 c #Conflicts: 605000 | #Constraints: 28653 877.31/879.61 c #Conflicts: 606000 | #Constraints: 29654 877.31/879.61 c #Conflicts: 607000 | #Constraints: 30654 877.31/879.61 c INPROCESSING 877.31/879.61 c GARBAGE COLLECT 877.31/879.61 c rational objective 0 909.62/912.01 c #Conflicts: 608000 | #Constraints: 16252 909.62/912.01 c #Conflicts: 609000 | #Constraints: 17253 909.62/912.01 c #Conflicts: 610000 | #Constraints: 18254 909.62/912.01 c #Conflicts: 611000 | #Constraints: 19254 909.62/912.01 c #Conflicts: 612000 | #Constraints: 20255 909.62/912.01 c #Conflicts: 613000 | #Constraints: 21256 909.62/912.01 c #Conflicts: 614000 | #Constraints: 22257 909.62/912.01 c #Conflicts: 615000 | #Constraints: 23257 909.62/912.01 c #Conflicts: 616000 | #Constraints: 24259 909.62/912.01 c #Conflicts: 617000 | #Constraints: 25261 909.62/912.01 c #Conflicts: 618000 | #Constraints: 26261 909.62/912.01 c #Conflicts: 619000 | #Constraints: 27261 909.62/912.01 c #Conflicts: 620000 | #Constraints: 28262 909.62/912.01 c #Conflicts: 621000 | #Constraints: 29262 909.62/912.01 c #Conflicts: 622000 | #Constraints: 30262 909.62/912.01 c #Conflicts: 623000 | #Constraints: 31262 909.62/912.01 c INPROCESSING 909.62/912.01 c GARBAGE COLLECT 909.62/912.01 c rational objective 0 939.84/942.33 c #Conflicts: 624000 | #Constraints: 16645 939.84/942.33 c #Conflicts: 625000 | #Constraints: 17645 939.84/942.33 c #Conflicts: 626000 | #Constraints: 18645 939.84/942.33 c #Conflicts: 627000 | #Constraints: 19645 939.84/942.33 c #Conflicts: 628000 | #Constraints: 20647 939.84/942.33 c #Conflicts: 629000 | #Constraints: 21647 939.84/942.33 c #Conflicts: 630000 | #Constraints: 22647 939.84/942.33 c #Conflicts: 631000 | #Constraints: 23648 939.84/942.33 c #Conflicts: 632000 | #Constraints: 24650 939.84/942.33 c #Conflicts: 633000 | #Constraints: 25651 939.84/942.33 c #Conflicts: 634000 | #Constraints: 26651 939.84/942.33 c #Conflicts: 635000 | #Constraints: 27651 939.84/942.33 c #Conflicts: 636000 | #Constraints: 28652 939.84/942.33 c #Conflicts: 637000 | #Constraints: 29653 939.84/942.33 c #Conflicts: 638000 | #Constraints: 30653 939.84/942.33 c #Conflicts: 639000 | #Constraints: 31653 939.84/942.33 c INPROCESSING 939.84/942.33 c GARBAGE COLLECT 939.84/942.33 c rational objective 0 989.31/991.99 c #Conflicts: 640000 | #Constraints: 16840 989.31/991.99 c #Conflicts: 641000 | #Constraints: 17840 989.31/991.99 c #Conflicts: 642000 | #Constraints: 18840 989.31/991.99 c #Conflicts: 643000 | #Constraints: 19840 989.31/991.99 c #Conflicts: 644000 | #Constraints: 20842 989.31/991.99 c #Conflicts: 645000 | #Constraints: 21843 989.31/991.99 c #Conflicts: 646000 | #Constraints: 22843 989.31/991.99 c #Conflicts: 647000 | #Constraints: 23843 989.31/991.99 c #Conflicts: 648000 | #Constraints: 24844 989.31/991.99 c #Conflicts: 649000 | #Constraints: 25845 989.31/991.99 c #Conflicts: 650000 | #Constraints: 26845 989.31/991.99 c #Conflicts: 651000 | #Constraints: 27845 989.31/991.99 c #Conflicts: 652000 | #Constraints: 28845 989.31/991.99 c #Conflicts: 653000 | #Constraints: 29846 989.31/991.99 c #Conflicts: 654000 | #Constraints: 30846 989.31/991.99 c #Conflicts: 655000 | #Constraints: 31846 989.31/991.99 c INPROCESSING 989.31/991.99 c GARBAGE COLLECT 989.31/991.99 c rational objective 0 1023.21/1025.95 c #Conflicts: 656000 | #Constraints: 16846 1023.21/1025.95 c #Conflicts: 657000 | #Constraints: 17846 1023.21/1025.95 c #Conflicts: 658000 | #Constraints: 18846 1023.21/1025.95 c #Conflicts: 659000 | #Constraints: 19847 1023.21/1025.95 c #Conflicts: 660000 | #Constraints: 20848 1023.21/1025.95 c #Conflicts: 661000 | #Constraints: 21851 1023.21/1025.95 c #Conflicts: 662000 | #Constraints: 22851 1023.21/1025.95 c #Conflicts: 663000 | #Constraints: 23851 1023.21/1025.95 c #Conflicts: 664000 | #Constraints: 24852 1023.21/1025.95 c #Conflicts: 665000 | #Constraints: 25853 1023.21/1025.95 c #Conflicts: 666000 | #Constraints: 26855 1023.21/1025.95 c #Conflicts: 667000 | #Constraints: 27855 1023.21/1025.95 c #Conflicts: 668000 | #Constraints: 28857 1023.21/1025.95 c #Conflicts: 669000 | #Constraints: 29859 1023.21/1025.95 c #Conflicts: 670000 | #Constraints: 30859 1023.21/1025.95 c #Conflicts: 671000 | #Constraints: 31861 1023.21/1025.95 c INPROCESSING 1023.21/1025.95 c GARBAGE COLLECT 1023.21/1025.95 c rational objective 0 1076.97/1079.80 c #Conflicts: 672000 | #Constraints: 16646 1076.97/1079.80 c #Conflicts: 673000 | #Constraints: 17646 1076.97/1079.80 c #Conflicts: 674000 | #Constraints: 18647 1076.97/1079.80 c #Conflicts: 675000 | #Constraints: 19648 1076.97/1079.80 c #Conflicts: 676000 | #Constraints: 20649 1076.97/1079.80 c #Conflicts: 677000 | #Constraints: 21650 1076.97/1079.80 c #Conflicts: 678000 | #Constraints: 22652 1076.97/1079.80 c #Conflicts: 679000 | #Constraints: 23652 1076.97/1079.80 c #Conflicts: 680000 | #Constraints: 24654 1076.97/1079.80 c #Conflicts: 681000 | #Constraints: 25655 1076.97/1079.80 c #Conflicts: 682000 | #Constraints: 26656 1076.97/1079.80 c #Conflicts: 683000 | #Constraints: 27656 1076.97/1079.80 c #Conflicts: 684000 | #Constraints: 28657 1076.97/1079.80 c #Conflicts: 685000 | #Constraints: 29657 1076.97/1079.80 c #Conflicts: 686000 | #Constraints: 30658 1076.97/1079.80 c #Conflicts: 687000 | #Constraints: 31658 1076.97/1079.80 c #Conflicts: 688000 | #Constraints: 32658 1076.97/1079.80 c INPROCESSING 1076.97/1079.80 c GARBAGE COLLECT 1076.97/1079.80 c rational objective 0 1116.26/1119.22 c #Conflicts: 689000 | #Constraints: 17250 1116.26/1119.22 c #Conflicts: 690000 | #Constraints: 18250 1116.26/1119.22 c #Conflicts: 691000 | #Constraints: 19251 1116.26/1119.22 c #Conflicts: 692000 | #Constraints: 20251 1116.26/1119.22 c #Conflicts: 693000 | #Constraints: 21253 1116.26/1119.22 c #Conflicts: 694000 | #Constraints: 22254 1116.26/1119.22 c #Conflicts: 695000 | #Constraints: 23254 1116.26/1119.22 c #Conflicts: 696000 | #Constraints: 24254 1116.26/1119.22 c #Conflicts: 697000 | #Constraints: 25255 1116.26/1119.22 c #Conflicts: 698000 | #Constraints: 26256 1116.26/1119.22 c #Conflicts: 699000 | #Constraints: 27256 1116.26/1119.22 c #Conflicts: 700000 | #Constraints: 28258 1116.26/1119.22 c #Conflicts: 701000 | #Constraints: 29259 1116.26/1119.22 c #Conflicts: 702000 | #Constraints: 30259 1116.26/1119.22 c #Conflicts: 703000 | #Constraints: 31259 1116.26/1119.22 c #Conflicts: 704000 | #Constraints: 32260 1116.26/1119.22 c #Conflicts: 705000 | #Constraints: 33260 1116.26/1119.22 c INPROCESSING 1116.26/1119.22 c GARBAGE COLLECT 1116.26/1119.22 c rational objective 0 1158.95/1162.04 c #Conflicts: 706000 | #Constraints: 17648 1158.95/1162.04 c #Conflicts: 707000 | #Constraints: 18648 1158.95/1162.04 c #Conflicts: 708000 | #Constraints: 19649 1158.95/1162.04 c #Conflicts: 709000 | #Constraints: 20650 1158.95/1162.04 c #Conflicts: 710000 | #Constraints: 21653 1158.95/1162.04 c #Conflicts: 711000 | #Constraints: 22653 1158.95/1162.04 c #Conflicts: 712000 | #Constraints: 23653 1158.95/1162.04 c #Conflicts: 713000 | #Constraints: 24653 1158.95/1162.04 c #Conflicts: 714000 | #Constraints: 25653 1158.95/1162.04 c #Conflicts: 715000 | #Constraints: 26653 1158.95/1162.04 c #Conflicts: 716000 | #Constraints: 27654 1158.95/1162.04 c #Conflicts: 717000 | #Constraints: 28654 1158.95/1162.04 c #Conflicts: 718000 | #Constraints: 29655 1158.95/1162.04 c #Conflicts: 719000 | #Constraints: 30655 1158.95/1162.04 c #Conflicts: 720000 | #Constraints: 31656 1158.95/1162.04 c #Conflicts: 721000 | #Constraints: 32656 1158.95/1162.04 c #Conflicts: 722000 | #Constraints: 33656 1158.95/1162.04 c INPROCESSING 1158.95/1162.04 c GARBAGE COLLECT 1158.95/1162.04 c rational objective 0 1218.90/1222.16 c #Conflicts: 723000 | #Constraints: 17843 1218.90/1222.16 c #Conflicts: 724000 | #Constraints: 18845 1218.90/1222.16 c #Conflicts: 725000 | #Constraints: 19845 1218.90/1222.16 c #Conflicts: 726000 | #Constraints: 20845 1218.90/1222.16 c #Conflicts: 727000 | #Constraints: 21846 1218.90/1222.16 c #Conflicts: 728000 | #Constraints: 22847 1218.90/1222.16 c #Conflicts: 729000 | #Constraints: 23848 1218.90/1222.16 c #Conflicts: 730000 | #Constraints: 24848 1218.90/1222.16 c #Conflicts: 731000 | #Constraints: 25850 1218.90/1222.16 c #Conflicts: 732000 | #Constraints: 26850 1218.90/1222.16 c #Conflicts: 733000 | #Constraints: 27850 1218.90/1222.16 c #Conflicts: 734000 | #Constraints: 28850 1218.90/1222.16 c #Conflicts: 735000 | #Constraints: 29850 1218.90/1222.16 c #Conflicts: 736000 | #Constraints: 30851 1218.90/1222.16 c #Conflicts: 737000 | #Constraints: 31851 1218.90/1222.16 c #Conflicts: 738000 | #Constraints: 32851 1218.90/1222.16 c #Conflicts: 739000 | #Constraints: 33851 1218.90/1222.16 c INPROCESSING 1218.90/1222.16 c GARBAGE COLLECT 1218.90/1222.16 c rational objective 0 1262.97/1266.36 c #Conflicts: 740000 | #Constraints: 17849 1262.97/1266.36 c #Conflicts: 741000 | #Constraints: 18849 1262.97/1266.36 c #Conflicts: 742000 | #Constraints: 19852 1262.97/1266.36 c #Conflicts: 743000 | #Constraints: 20855 1262.97/1266.36 c #Conflicts: 744000 | #Constraints: 21858 1262.97/1266.36 c #Conflicts: 745000 | #Constraints: 22860 1262.97/1266.36 c #Conflicts: 746000 | #Constraints: 23860 1262.97/1266.36 c #Conflicts: 747000 | #Constraints: 24860 1262.97/1266.36 c #Conflicts: 748000 | #Constraints: 25860 1262.97/1266.36 c #Conflicts: 749000 | #Constraints: 26860 1262.97/1266.36 c #Conflicts: 750000 | #Constraints: 27860 1262.97/1266.36 c #Conflicts: 751000 | #Constraints: 28860 1262.97/1266.36 c #Conflicts: 752000 | #Constraints: 29860 1262.97/1266.36 c #Conflicts: 753000 | #Constraints: 30860 1262.97/1266.36 c #Conflicts: 754000 | #Constraints: 31860 1262.97/1266.36 c #Conflicts: 755000 | #Constraints: 32860 1262.97/1266.36 c #Conflicts: 756000 | #Constraints: 33861 1262.97/1266.36 c INPROCESSING 1262.97/1266.36 c GARBAGE COLLECT 1262.97/1266.36 c rational objective 0 1328.10/1331.67 c #Conflicts: 757000 | #Constraints: 17647 1328.10/1331.67 c #Conflicts: 758000 | #Constraints: 18647 1328.10/1331.67 c #Conflicts: 759000 | #Constraints: 19647 1328.10/1331.67 c #Conflicts: 760000 | #Constraints: 20647 1328.10/1331.67 c #Conflicts: 761000 | #Constraints: 21647 1328.10/1331.67 c #Conflicts: 762000 | #Constraints: 22647 1328.10/1331.67 c #Conflicts: 763000 | #Constraints: 23647 1328.10/1331.67 c #Conflicts: 764000 | #Constraints: 24649 1328.10/1331.67 c #Conflicts: 765000 | #Constraints: 25651 1328.10/1331.67 c #Conflicts: 766000 | #Constraints: 26651 1328.10/1331.67 c #Conflicts: 767000 | #Constraints: 27651 1328.10/1331.67 c #Conflicts: 768000 | #Constraints: 28651 1328.10/1331.67 c #Conflicts: 769000 | #Constraints: 29651 1328.10/1331.67 c #Conflicts: 770000 | #Constraints: 30651 1328.10/1331.67 c #Conflicts: 771000 | #Constraints: 31651 1328.10/1331.67 c #Conflicts: 772000 | #Constraints: 32651 1328.10/1331.67 c #Conflicts: 773000 | #Constraints: 33651 1328.10/1331.67 c #Conflicts: 774000 | #Constraints: 34651 1328.10/1331.67 c INPROCESSING 1328.10/1331.67 c GARBAGE COLLECT 1328.10/1331.67 c rational objective 0 1374.88/1378.58 c #Conflicts: 775000 | #Constraints: 18248 1374.88/1378.58 c #Conflicts: 776000 | #Constraints: 19248 1374.88/1378.58 c #Conflicts: 777000 | #Constraints: 20248 1374.88/1378.58 c #Conflicts: 778000 | #Constraints: 21249 1374.88/1378.58 c #Conflicts: 779000 | #Constraints: 22249 1374.88/1378.58 c #Conflicts: 780000 | #Constraints: 23249 1374.88/1378.58 c #Conflicts: 781000 | #Constraints: 24249 1374.88/1378.58 c #Conflicts: 782000 | #Constraints: 25251 1374.88/1378.58 c #Conflicts: 783000 | #Constraints: 26251 1374.88/1378.58 c #Conflicts: 784000 | #Constraints: 27251 1374.88/1378.58 c #Conflicts: 785000 | #Constraints: 28252 1374.88/1378.58 c #Conflicts: 786000 | #Constraints: 29252 1374.88/1378.58 c #Conflicts: 787000 | #Constraints: 30253 1374.88/1378.58 c #Conflicts: 788000 | #Constraints: 31253 1374.88/1378.58 c #Conflicts: 789000 | #Constraints: 32254 1374.88/1378.58 c #Conflicts: 790000 | #Constraints: 33256 1374.88/1378.58 c #Conflicts: 791000 | #Constraints: 34256 1374.88/1378.58 c #Conflicts: 792000 | #Constraints: 35256 1374.88/1378.58 c INPROCESSING 1374.88/1378.58 c GARBAGE COLLECT 1374.88/1378.58 c rational objective 0 1445.68/1449.55 c #Conflicts: 793000 | #Constraints: 18644 1445.68/1449.55 c #Conflicts: 794000 | #Constraints: 19645 1445.68/1449.55 c #Conflicts: 795000 | #Constraints: 20646 1445.68/1449.55 c #Conflicts: 796000 | #Constraints: 21647 1445.68/1449.55 c #Conflicts: 797000 | #Constraints: 22647 1445.68/1449.55 c #Conflicts: 798000 | #Constraints: 23647 1445.68/1449.55 c #Conflicts: 799000 | #Constraints: 24648 1445.68/1449.55 c #Conflicts: 800000 | #Constraints: 25648 1445.68/1449.55 c #Conflicts: 801000 | #Constraints: 26648 1445.68/1449.55 c #Conflicts: 802000 | #Constraints: 27652 1445.68/1449.55 c #Conflicts: 803000 | #Constraints: 28653 1445.68/1449.55 c #Conflicts: 804000 | #Constraints: 29653 1445.68/1449.55 c #Conflicts: 805000 | #Constraints: 30653 1445.68/1449.55 c #Conflicts: 806000 | #Constraints: 31653 1445.68/1449.55 c #Conflicts: 807000 | #Constraints: 32654 1445.68/1449.55 c #Conflicts: 808000 | #Constraints: 33655 1445.68/1449.55 c #Conflicts: 809000 | #Constraints: 34656 1445.68/1449.55 c #Conflicts: 810000 | #Constraints: 35656 1445.68/1449.55 c INPROCESSING 1445.68/1449.55 c GARBAGE COLLECT 1445.68/1449.55 c rational objective 0 1492.66/1496.63 c #Conflicts: 811000 | #Constraints: 18853 1492.66/1496.63 c #Conflicts: 812000 | #Constraints: 19854 1492.66/1496.63 c #Conflicts: 813000 | #Constraints: 20855 1492.66/1496.63 c #Conflicts: 814000 | #Constraints: 21856 1492.66/1496.63 c #Conflicts: 815000 | #Constraints: 22857 1492.66/1496.63 c #Conflicts: 816000 | #Constraints: 23857 1492.66/1496.63 c #Conflicts: 817000 | #Constraints: 24858 1492.66/1496.63 c #Conflicts: 818000 | #Constraints: 25858 1492.66/1496.63 c #Conflicts: 819000 | #Constraints: 26858 1492.66/1496.63 c #Conflicts: 820000 | #Constraints: 27858 1492.66/1496.63 c #Conflicts: 821000 | #Constraints: 28859 1492.66/1496.63 c #Conflicts: 822000 | #Constraints: 29860 1492.66/1496.63 c #Conflicts: 823000 | #Constraints: 30860 1492.66/1496.63 c #Conflicts: 824000 | #Constraints: 31860 1492.66/1496.63 c #Conflicts: 825000 | #Constraints: 32860 1492.66/1496.63 c #Conflicts: 826000 | #Constraints: 33860 1492.66/1496.63 c #Conflicts: 827000 | #Constraints: 34861 1492.66/1496.63 c #Conflicts: 828000 | #Constraints: 35862 1492.66/1496.63 c INPROCESSING 1492.66/1496.63 c GARBAGE COLLECT 1492.66/1496.63 c rational objective 0 1544.72/1548.89 c #Conflicts: 829000 | #Constraints: 18852 1544.72/1548.89 c #Conflicts: 830000 | #Constraints: 19852 1544.72/1548.89 c #Conflicts: 831000 | #Constraints: 20852 1544.72/1548.89 c #Conflicts: 832000 | #Constraints: 21852 1544.72/1548.89 c #Conflicts: 833000 | #Constraints: 22852 1544.72/1548.89 c #Conflicts: 834000 | #Constraints: 23853 1544.72/1548.89 c #Conflicts: 835000 | #Constraints: 24853 1544.72/1548.89 c #Conflicts: 836000 | #Constraints: 25853 1544.72/1548.89 c #Conflicts: 837000 | #Constraints: 26854 1544.72/1548.89 c #Conflicts: 838000 | #Constraints: 27854 1544.72/1548.89 c #Conflicts: 839000 | #Constraints: 28854 1544.72/1548.89 c #Conflicts: 840000 | #Constraints: 29854 1544.72/1548.89 c #Conflicts: 841000 | #Constraints: 30854 1544.72/1548.89 c #Conflicts: 842000 | #Constraints: 31854 1544.72/1548.89 c #Conflicts: 843000 | #Constraints: 32854 1544.72/1548.89 c #Conflicts: 844000 | #Constraints: 33854 1544.72/1548.89 c #Conflicts: 845000 | #Constraints: 34854 1544.72/1548.89 c #Conflicts: 846000 | #Constraints: 35855 1544.72/1548.89 c INPROCESSING 1544.72/1548.89 c GARBAGE COLLECT 1544.72/1548.89 c rational objective 0 1618.02/1622.38 c #Conflicts: 847000 | #Constraints: 18642 1618.02/1622.38 c #Conflicts: 848000 | #Constraints: 19642 1618.02/1622.38 c #Conflicts: 849000 | #Constraints: 20642 1618.02/1622.38 c #Conflicts: 850000 | #Constraints: 21642 1618.02/1622.38 c #Conflicts: 851000 | #Constraints: 22644 1618.02/1622.38 c #Conflicts: 852000 | #Constraints: 23644 1618.02/1622.38 c #Conflicts: 853000 | #Constraints: 24645 1618.02/1622.38 c #Conflicts: 854000 | #Constraints: 25646 1618.02/1622.38 c #Conflicts: 855000 | #Constraints: 26646 1618.02/1622.38 c #Conflicts: 856000 | #Constraints: 27646 1618.02/1622.38 c #Conflicts: 857000 | #Constraints: 28648 1618.02/1622.38 c #Conflicts: 858000 | #Constraints: 29649 1618.02/1622.38 c #Conflicts: 859000 | #Constraints: 30649 1618.02/1622.38 c #Conflicts: 860000 | #Constraints: 31649 1618.02/1622.38 c #Conflicts: 861000 | #Constraints: 32650 1618.02/1622.38 c #Conflicts: 862000 | #Constraints: 33650 1618.02/1622.38 c #Conflicts: 863000 | #Constraints: 34650 1618.02/1622.38 c #Conflicts: 864000 | #Constraints: 35652 1618.02/1622.38 c #Conflicts: 865000 | #Constraints: 36652 1618.02/1622.38 c INPROCESSING 1618.02/1622.38 c GARBAGE COLLECT 1618.02/1622.38 c rational objective 0 1663.12/1667.56 c #Conflicts: 866000 | #Constraints: 19248 1663.12/1667.56 c #Conflicts: 867000 | #Constraints: 20249 1663.12/1667.56 c #Conflicts: 868000 | #Constraints: 21249 1663.12/1667.56 c #Conflicts: 869000 | #Constraints: 22251 1663.12/1667.56 c #Conflicts: 870000 | #Constraints: 23251 1663.12/1667.56 c #Conflicts: 871000 | #Constraints: 24251 1663.12/1667.56 c #Conflicts: 872000 | #Constraints: 25252 1663.12/1667.56 c #Conflicts: 873000 | #Constraints: 26252 1663.12/1667.56 c #Conflicts: 874000 | #Constraints: 27252 1663.12/1667.56 c #Conflicts: 875000 | #Constraints: 28252 1663.12/1667.56 c #Conflicts: 876000 | #Constraints: 29255 1663.12/1667.56 c #Conflicts: 877000 | #Constraints: 30256 1663.12/1667.56 c #Conflicts: 878000 | #Constraints: 31257 1663.12/1667.56 c #Conflicts: 879000 | #Constraints: 32257 1663.12/1667.56 c #Conflicts: 880000 | #Constraints: 33257 1663.12/1667.56 c #Conflicts: 881000 | #Constraints: 34257 1663.12/1667.56 c #Conflicts: 882000 | #Constraints: 35257 1663.12/1667.56 c #Conflicts: 883000 | #Constraints: 36257 1663.12/1667.56 c #Conflicts: 884000 | #Constraints: 37257 1663.12/1667.56 c INPROCESSING 1663.12/1667.56 c GARBAGE COLLECT 1663.12/1667.56 c rational objective 0 1739.82/1744.42 c #Conflicts: 885000 | #Constraints: 19640 1739.82/1744.42 c #Conflicts: 886000 | #Constraints: 20640 1739.82/1744.42 c #Conflicts: 887000 | #Constraints: 21641 1739.82/1744.42 c #Conflicts: 888000 | #Constraints: 22641 1739.82/1744.42 c #Conflicts: 889000 | #Constraints: 23641 1739.82/1744.42 c #Conflicts: 890000 | #Constraints: 24641 1739.82/1744.42 c #Conflicts: 891000 | #Constraints: 25641 1739.82/1744.42 c #Conflicts: 892000 | #Constraints: 26641 1739.82/1744.42 c #Conflicts: 893000 | #Constraints: 27641 1739.82/1744.42 c #Conflicts: 894000 | #Constraints: 28641 1739.82/1744.42 c #Conflicts: 895000 | #Constraints: 29641 1739.82/1744.42 c #Conflicts: 896000 | #Constraints: 30641 1739.82/1744.42 c #Conflicts: 897000 | #Constraints: 31644 1739.82/1744.42 c #Conflicts: 898000 | #Constraints: 32645 1739.82/1744.42 c #Conflicts: 899000 | #Constraints: 33645 1739.82/1744.42 c #Conflicts: 900000 | #Constraints: 34645 1739.82/1744.42 c #Conflicts: 901000 | #Constraints: 35646 1739.82/1744.42 c #Conflicts: 902000 | #Constraints: 36646 1739.82/1744.42 c #Conflicts: 903000 | #Constraints: 37646 1739.82/1744.42 c INPROCESSING 1739.82/1744.42 c GARBAGE COLLECT 1739.82/1744.42 c rational objective 0 1789.69/1794.49 c #Conflicts: 904000 | #Constraints: 19850 1789.69/1794.49 c #Conflicts: 905000 | #Constraints: 20850 1789.69/1794.49 c #Conflicts: 906000 | #Constraints: 21852 1789.69/1794.49 c #Conflicts: 907000 | #Constraints: 22853 1789.69/1794.49 c #Conflicts: 908000 | #Constraints: 23853 1789.69/1794.49 c #Conflicts: 909000 | #Constraints: 24853 1789.69/1794.49 c #Conflicts: 910000 | #Constraints: 25854 1789.69/1794.49 c #Conflicts: 911000 | #Constraints: 26854 1789.69/1794.49 c #Conflicts: 912000 | #Constraints: 27854 1789.69/1794.49 c #Conflicts: 913000 | #Constraints: 28854 1789.69/1794.49 c #Conflicts: 914000 | #Constraints: 29854 1789.69/1794.49 c #Conflicts: 915000 | #Constraints: 30855 1789.69/1794.49 c #Conflicts: 916000 | #Constraints: 31856 1789.69/1794.49 c #Conflicts: 917000 | #Constraints: 32856 1789.69/1794.49 c #Conflicts: 918000 | #Constraints: 33856 1789.69/1794.49 c #Conflicts: 919000 | #Constraints: 34856 1789.69/1794.49 c #Conflicts: 920000 | #Constraints: 35857 1789.69/1794.49 c #Conflicts: 921000 | #Constraints: 36858 1789.69/1794.49 c #Conflicts: 922000 | #Constraints: 37860 1789.69/1794.49 c INPROCESSING 1789.69/1794.49 c GARBAGE COLLECT 1789.69/1794.49 c rational objective 0 1838.48/1843.35 c #Conflicts: 923000 | #Constraints: 19846 1838.48/1843.35 c #Conflicts: 924000 | #Constraints: 20847 1838.48/1843.35 c #Conflicts: 925000 | #Constraints: 21847 1838.48/1843.35 c #Conflicts: 926000 | #Constraints: 22848 1838.48/1843.35 c #Conflicts: 927000 | #Constraints: 23849 1838.48/1843.35 c #Conflicts: 928000 | #Constraints: 24851 1838.48/1843.35 c #Conflicts: 929000 | #Constraints: 25851 1838.48/1843.35 c #Conflicts: 930000 | #Constraints: 26851 1838.48/1843.35 c #Conflicts: 931000 | #Constraints: 27852 1838.48/1843.35 c #Conflicts: 932000 | #Constraints: 28852 1838.48/1843.35 c #Conflicts: 933000 | #Constraints: 29852 1838.48/1843.35 c #Conflicts: 934000 | #Constraints: 30853 1838.48/1843.35 c #Conflicts: 935000 | #Constraints: 31853 1838.48/1843.35 c #Conflicts: 936000 | #Constraints: 32853 1838.48/1843.35 c #Conflicts: 937000 | #Constraints: 33855 1838.48/1843.35 c #Conflicts: 938000 | #Constraints: 34855 1838.48/1843.35 c #Conflicts: 939000 | #Constraints: 35855 1838.48/1843.35 c #Conflicts: 940000 | #Constraints: 36855 1838.48/1843.35 c #Conflicts: 941000 | #Constraints: 37855 1838.48/1843.35 c INPROCESSING 1838.48/1843.35 c GARBAGE COLLECT 1838.48/1843.35 c rational objective 0 1911.79/1916.81 c #Conflicts: 942000 | #Constraints: 19644 1911.79/1916.81 c #Conflicts: 943000 | #Constraints: 20644 1911.79/1916.81 c #Conflicts: 944000 | #Constraints: 21644 1911.79/1916.81 c #Conflicts: 945000 | #Constraints: 22644 1911.79/1916.81 c #Conflicts: 946000 | #Constraints: 23644 1911.79/1916.81 c #Conflicts: 947000 | #Constraints: 24644 1911.79/1916.81 c #Conflicts: 948000 | #Constraints: 25644 1911.79/1916.81 c #Conflicts: 949000 | #Constraints: 26644 1911.79/1916.81 c #Conflicts: 950000 | #Constraints: 27644 1911.79/1916.81 c bounds 12 >= 0 @ 1857.59 1911.79/1916.81 c #Conflicts: 951000 | #Constraints: 28645 1911.79/1916.81 c #Conflicts: 952000 | #Constraints: 29645 1911.79/1916.81 c #Conflicts: 953000 | #Constraints: 30645 1911.79/1916.81 c #Conflicts: 954000 | #Constraints: 31645 1911.79/1916.81 c #Conflicts: 955000 | #Constraints: 32645 1911.79/1916.81 c #Conflicts: 956000 | #Constraints: 33645 1911.79/1916.81 c #Conflicts: 957000 | #Constraints: 34645 1911.79/1916.81 c #Conflicts: 958000 | #Constraints: 35645 1911.79/1916.81 c #Conflicts: 959000 | #Constraints: 36645 1911.79/1916.81 c #Conflicts: 960000 | #Constraints: 37645 1911.79/1916.81 c #Conflicts: 961000 | #Constraints: 38645 1911.79/1916.81 c INPROCESSING 1911.79/1916.81 c GARBAGE COLLECT 1911.79/1916.81 c rational objective 0 1997.57/2002.89 c #Conflicts: 962000 | #Constraints: 20237 1997.57/2002.89 c #Conflicts: 963000 | #Constraints: 21237 1997.57/2002.89 c #Conflicts: 964000 | #Constraints: 22237 1997.57/2002.89 c #Conflicts: 965000 | #Constraints: 23238 1997.57/2002.89 c #Conflicts: 966000 | #Constraints: 24238 1997.57/2002.89 c #Conflicts: 967000 | #Constraints: 25239 1997.57/2002.89 c #Conflicts: 968000 | #Constraints: 26239 1997.57/2002.89 c #Conflicts: 969000 | #Constraints: 27241 1997.57/2002.89 c #Conflicts: 970000 | #Constraints: 28241 1997.57/2002.89 c #Conflicts: 971000 | #Constraints: 29241 1997.57/2002.89 c #Conflicts: 972000 | #Constraints: 30242 1997.57/2002.89 c #Conflicts: 973000 | #Constraints: 31242 1997.57/2002.89 c #Conflicts: 974000 | #Constraints: 32242 1997.57/2002.89 c #Conflicts: 975000 | #Constraints: 33242 1997.57/2002.89 c #Conflicts: 976000 | #Constraints: 34243 1997.57/2002.89 c #Conflicts: 977000 | #Constraints: 35243 1997.57/2002.89 c #Conflicts: 978000 | #Constraints: 36244 1997.57/2002.89 c #Conflicts: 979000 | #Constraints: 37244 1997.57/2002.89 c #Conflicts: 980000 | #Constraints: 38244 1997.57/2002.89 c #Conflicts: 981000 | #Constraints: 39244 1997.57/2002.89 c INPROCESSING 1997.57/2002.89 c GARBAGE COLLECT 1997.57/2002.89 c rational objective 0 2070.60/2076.08 c #Conflicts: 982000 | #Constraints: 20641 2070.60/2076.08 c #Conflicts: 983000 | #Constraints: 21641 2070.60/2076.08 c #Conflicts: 984000 | #Constraints: 22641 2070.60/2076.08 c #Conflicts: 985000 | #Constraints: 23641 2070.60/2076.08 c #Conflicts: 986000 | #Constraints: 24641 2070.60/2076.08 c #Conflicts: 987000 | #Constraints: 25642 2070.60/2076.08 c #Conflicts: 988000 | #Constraints: 26645 2070.60/2076.08 c #Conflicts: 989000 | #Constraints: 27645 2070.60/2076.08 c #Conflicts: 990000 | #Constraints: 28646 2070.60/2076.08 c #Conflicts: 991000 | #Constraints: 29647 2070.60/2076.08 c #Conflicts: 992000 | #Constraints: 30647 2070.60/2076.08 c #Conflicts: 993000 | #Constraints: 31647 2070.60/2076.08 c #Conflicts: 994000 | #Constraints: 32647 2070.60/2076.08 c #Conflicts: 995000 | #Constraints: 33647 2070.60/2076.08 c #Conflicts: 996000 | #Constraints: 34648 2070.60/2076.08 c #Conflicts: 997000 | #Constraints: 35648 2070.60/2076.08 c #Conflicts: 998000 | #Constraints: 36650 2070.60/2076.08 c #Conflicts: 999000 | #Constraints: 37651 2070.60/2076.08 c #Conflicts: 1000000 | #Constraints: 38653 2070.60/2076.08 c #Conflicts: 1001000 | #Constraints: 39653 2070.60/2076.08 c INPROCESSING 2070.60/2076.08 c GARBAGE COLLECT 2070.60/2076.08 c rational objective 0 2159.48/2165.19 c #Conflicts: 1002000 | #Constraints: 20846 2159.48/2165.19 c #Conflicts: 1003000 | #Constraints: 21846 2159.48/2165.19 c #Conflicts: 1004000 | #Constraints: 22847 2159.48/2165.19 c #Conflicts: 1005000 | #Constraints: 23848 2159.48/2165.19 c #Conflicts: 1006000 | #Constraints: 24850 2159.48/2165.19 c #Conflicts: 1007000 | #Constraints: 25850 2159.48/2165.19 c #Conflicts: 1008000 | #Constraints: 26850 2159.48/2165.19 c #Conflicts: 1009000 | #Constraints: 27851 2159.48/2165.19 c #Conflicts: 1010000 | #Constraints: 28851 2159.48/2165.19 c #Conflicts: 1011000 | #Constraints: 29851 2159.48/2165.19 c #Conflicts: 1012000 | #Constraints: 30852 2159.48/2165.19 c #Conflicts: 1013000 | #Constraints: 31852 2159.48/2165.19 c #Conflicts: 1014000 | #Constraints: 32852 2159.48/2165.19 c #Conflicts: 1015000 | #Constraints: 33852 2159.48/2165.19 c #Conflicts: 1016000 | #Constraints: 34852 2159.48/2165.19 c #Conflicts: 1017000 | #Constraints: 35853 2159.48/2165.19 c #Conflicts: 1018000 | #Constraints: 36854 2159.48/2165.19 c #Conflicts: 1019000 | #Constraints: 37854 2159.48/2165.19 c #Conflicts: 1020000 | #Constraints: 38854 2159.48/2165.19 c #Conflicts: 1021000 | #Constraints: 39854 2159.48/2165.19 c INPROCESSING 2159.48/2165.19 c GARBAGE COLLECT 2159.48/2165.19 c rational objective 0 2224.51/2230.34 c #Conflicts: 1022000 | #Constraints: 20851 2224.51/2230.34 c #Conflicts: 1023000 | #Constraints: 21852 2224.51/2230.34 c #Conflicts: 1024000 | #Constraints: 22852 2224.51/2230.34 c #Conflicts: 1025000 | #Constraints: 23852 2224.51/2230.34 c #Conflicts: 1026000 | #Constraints: 24853 2224.51/2230.34 c #Conflicts: 1027000 | #Constraints: 25855 2224.51/2230.34 c #Conflicts: 1028000 | #Constraints: 26857 2224.51/2230.34 c #Conflicts: 1029000 | #Constraints: 27858 2224.51/2230.34 c #Conflicts: 1030000 | #Constraints: 28858 2224.51/2230.34 c #Conflicts: 1031000 | #Constraints: 29858 2224.51/2230.34 c #Conflicts: 1032000 | #Constraints: 30858 2224.51/2230.34 c #Conflicts: 1033000 | #Constraints: 31859 2224.51/2230.34 c #Conflicts: 1034000 | #Constraints: 32860 2224.51/2230.34 c #Conflicts: 1035000 | #Constraints: 33860 2224.51/2230.34 c #Conflicts: 1036000 | #Constraints: 34861 2224.51/2230.34 c #Conflicts: 1037000 | #Constraints: 35861 2224.51/2230.34 c #Conflicts: 1038000 | #Constraints: 36861 2224.51/2230.34 c #Conflicts: 1039000 | #Constraints: 37862 2224.51/2230.34 c #Conflicts: 1040000 | #Constraints: 38862 2224.51/2230.34 c #Conflicts: 1041000 | #Constraints: 39862 2224.51/2230.34 c INPROCESSING 2224.51/2230.34 c GARBAGE COLLECT 2224.51/2230.34 c rational objective 0 2317.47/2323.50 c #Conflicts: 1042000 | #Constraints: 20649 2317.47/2323.50 c #Conflicts: 1043000 | #Constraints: 21650 2317.47/2323.50 c #Conflicts: 1044000 | #Constraints: 22651 2317.47/2323.50 c #Conflicts: 1045000 | #Constraints: 23651 2317.47/2323.50 c #Conflicts: 1046000 | #Constraints: 24651 2317.47/2323.50 c #Conflicts: 1047000 | #Constraints: 25651 2317.47/2323.50 c #Conflicts: 1048000 | #Constraints: 26651 2317.47/2323.50 c #Conflicts: 1049000 | #Constraints: 27651 2317.47/2323.50 c #Conflicts: 1050000 | #Constraints: 28651 2317.47/2323.50 c #Conflicts: 1051000 | #Constraints: 29651 2317.47/2323.50 c #Conflicts: 1052000 | #Constraints: 30651 2317.47/2323.50 c #Conflicts: 1053000 | #Constraints: 31651 2317.47/2323.50 c #Conflicts: 1054000 | #Constraints: 32651 2317.47/2323.50 c #Conflicts: 1055000 | #Constraints: 33651 2317.47/2323.50 c #Conflicts: 1056000 | #Constraints: 34651 2317.47/2323.50 c #Conflicts: 1057000 | #Constraints: 35651 2317.47/2323.50 c #Conflicts: 1058000 | #Constraints: 36651 2317.47/2323.50 c #Conflicts: 1059000 | #Constraints: 37651 2317.47/2323.50 c #Conflicts: 1060000 | #Constraints: 38652 2317.47/2323.50 c #Conflicts: 1061000 | #Constraints: 39652 2317.47/2323.50 c #Conflicts: 1062000 | #Constraints: 40653 2317.47/2323.50 c INPROCESSING 2317.47/2323.50 c GARBAGE COLLECT 2317.47/2323.50 c rational objective 0 2407.04/2413.32 c #Conflicts: 1063000 | #Constraints: 21251 2407.04/2413.32 c #Conflicts: 1064000 | #Constraints: 22251 2407.04/2413.32 c #Conflicts: 1065000 | #Constraints: 23251 2407.04/2413.32 c #Conflicts: 1066000 | #Constraints: 24252 2407.04/2413.32 c #Conflicts: 1067000 | #Constraints: 25254 2407.04/2413.32 c #Conflicts: 1068000 | #Constraints: 26254 2407.04/2413.32 c #Conflicts: 1069000 | #Constraints: 27254 2407.04/2413.32 c #Conflicts: 1070000 | #Constraints: 28254 2407.04/2413.32 c #Conflicts: 1071000 | #Constraints: 29254 2407.04/2413.32 c #Conflicts: 1072000 | #Constraints: 30255 2407.04/2413.32 c #Conflicts: 1073000 | #Constraints: 31255 2407.04/2413.32 c #Conflicts: 1074000 | #Constraints: 32255 2407.04/2413.32 c #Conflicts: 1075000 | #Constraints: 33255 2407.04/2413.32 c #Conflicts: 1076000 | #Constraints: 34255 2407.04/2413.32 c #Conflicts: 1077000 | #Constraints: 35255 2407.04/2413.32 c #Conflicts: 1078000 | #Constraints: 36256 2407.04/2413.32 c #Conflicts: 1079000 | #Constraints: 37256 2407.04/2413.32 c #Conflicts: 1080000 | #Constraints: 38257 2407.04/2413.32 c #Conflicts: 1081000 | #Constraints: 39257 2407.04/2413.32 c #Conflicts: 1082000 | #Constraints: 40257 2407.04/2413.32 c #Conflicts: 1083000 | #Constraints: 41257 2407.04/2413.32 c INPROCESSING 2407.04/2413.32 c GARBAGE COLLECT 2407.04/2413.32 c rational objective 0 2516.77/2523.32 c #Conflicts: 1084000 | #Constraints: 21646 2516.77/2523.32 c #Conflicts: 1085000 | #Constraints: 22647 2516.77/2523.32 c #Conflicts: 1086000 | #Constraints: 23647 2516.77/2523.32 c #Conflicts: 1087000 | #Constraints: 24647 2516.77/2523.32 c #Conflicts: 1088000 | #Constraints: 25647 2516.77/2523.32 c #Conflicts: 1089000 | #Constraints: 26648 2516.77/2523.32 c #Conflicts: 1090000 | #Constraints: 27648 2516.77/2523.32 c #Conflicts: 1091000 | #Constraints: 28649 2516.77/2523.32 c #Conflicts: 1092000 | #Constraints: 29650 2516.77/2523.32 c #Conflicts: 1093000 | #Constraints: 30650 2516.77/2523.32 c #Conflicts: 1094000 | #Constraints: 31650 2516.77/2523.32 c #Conflicts: 1095000 | #Constraints: 32651 2516.77/2523.32 c #Conflicts: 1096000 | #Constraints: 33653 2516.77/2523.32 c #Conflicts: 1097000 | #Constraints: 34653 2516.77/2523.32 c #Conflicts: 1098000 | #Constraints: 35653 2516.77/2523.32 c #Conflicts: 1099000 | #Constraints: 36653 2516.77/2523.32 c #Conflicts: 1100000 | #Constraints: 37653 2516.77/2523.32 c #Conflicts: 1101000 | #Constraints: 38654 2516.77/2523.32 c #Conflicts: 1102000 | #Constraints: 39654 2516.77/2523.32 c #Conflicts: 1103000 | #Constraints: 40654 2516.77/2523.32 c #Conflicts: 1104000 | #Constraints: 41654 2516.77/2523.32 c INPROCESSING 2516.77/2523.32 c GARBAGE COLLECT 2516.77/2523.32 c rational objective 0 2605.64/2612.42 c #Conflicts: 1105000 | #Constraints: 21849 2605.64/2612.42 c #Conflicts: 1106000 | #Constraints: 22849 2605.64/2612.42 c #Conflicts: 1107000 | #Constraints: 23850 2605.64/2612.42 c #Conflicts: 1108000 | #Constraints: 24850 2605.64/2612.42 c #Conflicts: 1109000 | #Constraints: 25851 2605.64/2612.42 c #Conflicts: 1110000 | #Constraints: 26852 2605.64/2612.42 c #Conflicts: 1111000 | #Constraints: 27852 2605.64/2612.42 c #Conflicts: 1112000 | #Constraints: 28852 2605.64/2612.42 c #Conflicts: 1113000 | #Constraints: 29852 2605.64/2612.42 c #Conflicts: 1114000 | #Constraints: 30852 2605.64/2612.42 c #Conflicts: 1115000 | #Constraints: 31852 2605.64/2612.42 c #Conflicts: 1116000 | #Constraints: 32852 2605.64/2612.42 c #Conflicts: 1117000 | #Constraints: 33852 2605.64/2612.42 c #Conflicts: 1118000 | #Constraints: 34852 2605.64/2612.42 c #Conflicts: 1119000 | #Constraints: 35852 2605.64/2612.42 c #Conflicts: 1120000 | #Constraints: 36853 2605.64/2612.42 c #Conflicts: 1121000 | #Constraints: 37853 2605.64/2612.42 c #Conflicts: 1122000 | #Constraints: 38853 2605.64/2612.42 c #Conflicts: 1123000 | #Constraints: 39853 2605.64/2612.42 c #Conflicts: 1124000 | #Constraints: 40854 2605.64/2612.42 c #Conflicts: 1125000 | #Constraints: 41854 2605.64/2612.42 c INPROCESSING 2605.64/2612.42 c GARBAGE COLLECT 2605.64/2612.42 c rational objective 0 2670.98/2677.99 c #Conflicts: 1126000 | #Constraints: 21845 2670.98/2677.99 c #Conflicts: 1127000 | #Constraints: 22845 2670.98/2677.99 c #Conflicts: 1128000 | #Constraints: 23845 2670.98/2677.99 c #Conflicts: 1129000 | #Constraints: 24845 2670.98/2677.99 c #Conflicts: 1130000 | #Constraints: 25845 2670.98/2677.99 c #Conflicts: 1131000 | #Constraints: 26845 2670.98/2677.99 c #Conflicts: 1132000 | #Constraints: 27846 2670.98/2677.99 c #Conflicts: 1133000 | #Constraints: 28847 2670.98/2677.99 c #Conflicts: 1134000 | #Constraints: 29849 2670.98/2677.99 c #Conflicts: 1135000 | #Constraints: 30851 2670.98/2677.99 c #Conflicts: 1136000 | #Constraints: 31851 2670.98/2677.99 c #Conflicts: 1137000 | #Constraints: 32851 2670.98/2677.99 c #Conflicts: 1138000 | #Constraints: 33851 2670.98/2677.99 c #Conflicts: 1139000 | #Constraints: 34852 2670.98/2677.99 c #Conflicts: 1140000 | #Constraints: 35852 2670.98/2677.99 c #Conflicts: 1141000 | #Constraints: 36853 2670.98/2677.99 c #Conflicts: 1142000 | #Constraints: 37853 2670.98/2677.99 c #Conflicts: 1143000 | #Constraints: 38854 2670.98/2677.99 c #Conflicts: 1144000 | #Constraints: 39854 2670.98/2677.99 c #Conflicts: 1145000 | #Constraints: 40854 2671.08/2678.02 c #Conflicts: 1146000 | #Constraints: 41854 2671.08/2678.02 c INPROCESSING 2671.08/2678.02 c GARBAGE COLLECT 2671.08/2678.02 c rational objective 0 2778.11/2785.38 c #Conflicts: 1147000 | #Constraints: 21641 2778.11/2785.38 c #Conflicts: 1148000 | #Constraints: 22642 2778.11/2785.38 c #Conflicts: 1149000 | #Constraints: 23642 2778.11/2785.38 c #Conflicts: 1150000 | #Constraints: 24643 2778.11/2785.38 c #Conflicts: 1151000 | #Constraints: 25643 2778.11/2785.38 c #Conflicts: 1152000 | #Constraints: 26646 2778.11/2785.38 c #Conflicts: 1153000 | #Constraints: 27647 2778.11/2785.38 c #Conflicts: 1154000 | #Constraints: 28648 2778.11/2785.38 c #Conflicts: 1155000 | #Constraints: 29648 2778.11/2785.38 c #Conflicts: 1156000 | #Constraints: 30649 2778.11/2785.38 c #Conflicts: 1157000 | #Constraints: 31650 2778.11/2785.38 c #Conflicts: 1158000 | #Constraints: 32650 2778.11/2785.38 c #Conflicts: 1159000 | #Constraints: 33650 2778.11/2785.38 c #Conflicts: 1160000 | #Constraints: 34651 2778.11/2785.38 c #Conflicts: 1161000 | #Constraints: 35651 2778.11/2785.38 c #Conflicts: 1162000 | #Constraints: 36652 2778.11/2785.38 c #Conflicts: 1163000 | #Constraints: 37652 2778.11/2785.38 c #Conflicts: 1164000 | #Constraints: 38652 2778.11/2785.38 c #Conflicts: 1165000 | #Constraints: 39652 2778.11/2785.38 c #Conflicts: 1166000 | #Constraints: 40653 2778.11/2785.38 c #Conflicts: 1167000 | #Constraints: 41654 2778.11/2785.38 c #Conflicts: 1168000 | #Constraints: 42654 2778.11/2785.38 c INPROCESSING 2778.11/2785.38 c GARBAGE COLLECT 2778.11/2785.38 c rational objective 0 2852.83/2860.25 c #Conflicts: 1169000 | #Constraints: 22246 2852.83/2860.25 c #Conflicts: 1170000 | #Constraints: 23248 2852.83/2860.25 c #Conflicts: 1171000 | #Constraints: 24248 2852.83/2860.25 c #Conflicts: 1172000 | #Constraints: 25252 2852.83/2860.25 c #Conflicts: 1173000 | #Constraints: 26253 2852.83/2860.25 c #Conflicts: 1174000 | #Constraints: 27254 2852.83/2860.25 c #Conflicts: 1175000 | #Constraints: 28255 2852.83/2860.25 c #Conflicts: 1176000 | #Constraints: 29256 2852.83/2860.25 c #Conflicts: 1177000 | #Constraints: 30256 2852.83/2860.25 c #Conflicts: 1178000 | #Constraints: 31257 2852.83/2860.25 c #Conflicts: 1179000 | #Constraints: 32257 2852.83/2860.25 c #Conflicts: 1180000 | #Constraints: 33257 2852.83/2860.25 c #Conflicts: 1181000 | #Constraints: 34258 2852.83/2860.25 c #Conflicts: 1182000 | #Constraints: 35262 2852.83/2860.25 c #Conflicts: 1183000 | #Constraints: 36263 2852.83/2860.25 c #Conflicts: 1184000 | #Constraints: 37265 2852.83/2860.25 c #Conflicts: 1185000 | #Constraints: 38266 2852.83/2860.25 c #Conflicts: 1186000 | #Constraints: 39266 2852.83/2860.25 c #Conflicts: 1187000 | #Constraints: 40266 2852.83/2860.25 c #Conflicts: 1188000 | #Constraints: 41266 2852.83/2860.25 c #Conflicts: 1189000 | #Constraints: 42266 2852.83/2860.25 c #Conflicts: 1190000 | #Constraints: 43266 2852.83/2860.25 c INPROCESSING 2852.83/2860.25 c GARBAGE COLLECT 2852.83/2860.25 c rational objective 0 2964.35/2972.04 c #Conflicts: 1191000 | #Constraints: 22650 2964.35/2972.04 c #Conflicts: 1192000 | #Constraints: 23650 2964.35/2972.04 c #Conflicts: 1193000 | #Constraints: 24650 2964.35/2972.04 c #Conflicts: 1194000 | #Constraints: 25650 2964.35/2972.04 c #Conflicts: 1195000 | #Constraints: 26651 2964.35/2972.04 c #Conflicts: 1196000 | #Constraints: 27653 2964.35/2972.04 c #Conflicts: 1197000 | #Constraints: 28654 2964.35/2972.04 c #Conflicts: 1198000 | #Constraints: 29655 2964.35/2972.04 c #Conflicts: 1199000 | #Constraints: 30655 2964.35/2972.04 c #Conflicts: 1200000 | #Constraints: 31655 2964.35/2972.04 c #Conflicts: 1201000 | #Constraints: 32655 2964.35/2972.04 c #Conflicts: 1202000 | #Constraints: 33655 2964.35/2972.04 c #Conflicts: 1203000 | #Constraints: 34655 2964.35/2972.04 c #Conflicts: 1204000 | #Constraints: 35656 2964.35/2972.04 c #Conflicts: 1205000 | #Constraints: 36657 2964.35/2972.04 c #Conflicts: 1206000 | #Constraints: 37659 2964.35/2972.04 c #Conflicts: 1207000 | #Constraints: 38659 2964.35/2972.04 c #Conflicts: 1208000 | #Constraints: 39659 2964.35/2972.04 c #Conflicts: 1209000 | #Constraints: 40659 2964.35/2972.04 c #Conflicts: 1210000 | #Constraints: 41659 2964.35/2972.04 c #Conflicts: 1211000 | #Constraints: 42661 2964.35/2972.04 c #Conflicts: 1212000 | #Constraints: 43661 2964.35/2972.04 c INPROCESSING 2964.35/2972.04 c GARBAGE COLLECT 2964.35/2972.04 c rational objective 0 3054.83/3062.71 c #Conflicts: 1213000 | #Constraints: 22857 3054.83/3062.71 c #Conflicts: 1214000 | #Constraints: 23857 3054.83/3062.71 c #Conflicts: 1215000 | #Constraints: 24857 3054.83/3062.71 c #Conflicts: 1216000 | #Constraints: 25858 3054.83/3062.71 c #Conflicts: 1217000 | #Constraints: 26858 3054.83/3062.71 c #Conflicts: 1218000 | #Constraints: 27859 3054.83/3062.71 c #Conflicts: 1219000 | #Constraints: 28860 3054.83/3062.71 c #Conflicts: 1220000 | #Constraints: 29860 3054.83/3062.71 c #Conflicts: 1221000 | #Constraints: 30860 3054.83/3062.71 c #Conflicts: 1222000 | #Constraints: 31861 3054.83/3062.71 c #Conflicts: 1223000 | #Constraints: 32861 3054.83/3062.71 c #Conflicts: 1224000 | #Constraints: 33861 3054.83/3062.71 c #Conflicts: 1225000 | #Constraints: 34861 3054.83/3062.71 c #Conflicts: 1226000 | #Constraints: 35862 3054.83/3062.71 c #Conflicts: 1227000 | #Constraints: 36863 3054.83/3062.71 c #Conflicts: 1228000 | #Constraints: 37863 3054.83/3062.71 c #Conflicts: 1229000 | #Constraints: 38863 3054.83/3062.71 c #Conflicts: 1230000 | #Constraints: 39863 3054.83/3062.71 c #Conflicts: 1231000 | #Constraints: 40863 3054.83/3062.71 c #Conflicts: 1232000 | #Constraints: 41863 3054.83/3062.71 c #Conflicts: 1233000 | #Constraints: 42865 3054.83/3062.71 c #Conflicts: 1234000 | #Constraints: 43867 3054.83/3062.71 c INPROCESSING 3054.83/3062.71 c GARBAGE COLLECT 3054.83/3062.71 c rational objective 0 3173.04/3181.21 c #Conflicts: 1235000 | #Constraints: 22849 3173.04/3181.21 c #Conflicts: 1236000 | #Constraints: 23849 3173.04/3181.21 c #Conflicts: 1237000 | #Constraints: 24849 3173.04/3181.21 c #Conflicts: 1238000 | #Constraints: 25849 3173.04/3181.21 c #Conflicts: 1239000 | #Constraints: 26849 3173.04/3181.21 c #Conflicts: 1240000 | #Constraints: 27849 3173.04/3181.21 c #Conflicts: 1241000 | #Constraints: 28849 3173.04/3181.21 c #Conflicts: 1242000 | #Constraints: 29851 3173.04/3181.21 c #Conflicts: 1243000 | #Constraints: 30851 3173.04/3181.21 c #Conflicts: 1244000 | #Constraints: 31851 3173.04/3181.21 c #Conflicts: 1245000 | #Constraints: 32854 3173.04/3181.21 c #Conflicts: 1246000 | #Constraints: 33854 3173.04/3181.21 c #Conflicts: 1247000 | #Constraints: 34854 3173.04/3181.21 c #Conflicts: 1248000 | #Constraints: 35854 3173.04/3181.21 c #Conflicts: 1249000 | #Constraints: 36854 3173.04/3181.21 c #Conflicts: 1250000 | #Constraints: 37857 3173.04/3181.21 c #Conflicts: 1251000 | #Constraints: 38857 3173.04/3181.21 c #Conflicts: 1252000 | #Constraints: 39857 3173.04/3181.21 c #Conflicts: 1253000 | #Constraints: 40857 3173.04/3181.21 c #Conflicts: 1254000 | #Constraints: 41857 3173.04/3181.21 c #Conflicts: 1255000 | #Constraints: 42859 3173.04/3181.21 c #Conflicts: 1256000 | #Constraints: 43859 3173.04/3181.21 c INPROCESSING 3173.04/3181.21 c GARBAGE COLLECT 3173.04/3181.21 c rational objective 0 3252.84/3261.27 c #Conflicts: 1257000 | #Constraints: 22653 3252.84/3261.27 c #Conflicts: 1258000 | #Constraints: 23653 3252.84/3261.27 c #Conflicts: 1259000 | #Constraints: 24653 3252.84/3261.27 c #Conflicts: 1260000 | #Constraints: 25654 3252.84/3261.27 c #Conflicts: 1261000 | #Constraints: 26654 3252.84/3261.27 c #Conflicts: 1262000 | #Constraints: 27655 3252.84/3261.27 c #Conflicts: 1263000 | #Constraints: 28655 3252.84/3261.27 c #Conflicts: 1264000 | #Constraints: 29656 3252.84/3261.27 c #Conflicts: 1265000 | #Constraints: 30656 3252.84/3261.27 c #Conflicts: 1266000 | #Constraints: 31658 3252.84/3261.27 c #Conflicts: 1267000 | #Constraints: 32658 3252.84/3261.27 c #Conflicts: 1268000 | #Constraints: 33658 3252.84/3261.27 c #Conflicts: 1269000 | #Constraints: 34659 3252.84/3261.27 c #Conflicts: 1270000 | #Constraints: 35659 3252.84/3261.27 c #Conflicts: 1271000 | #Constraints: 36659 3252.84/3261.27 c #Conflicts: 1272000 | #Constraints: 37659 3252.84/3261.27 c #Conflicts: 1273000 | #Constraints: 38659 3252.84/3261.27 c #Conflicts: 1274000 | #Constraints: 39659 3252.84/3261.27 c #Conflicts: 1275000 | #Constraints: 40659 3252.84/3261.27 c #Conflicts: 1276000 | #Constraints: 41659 3252.84/3261.27 c #Conflicts: 1277000 | #Constraints: 42660 3252.84/3261.27 c #Conflicts: 1278000 | #Constraints: 43660 3252.84/3261.27 c #Conflicts: 1279000 | #Constraints: 44660 3252.84/3261.27 c INPROCESSING 3252.84/3261.27 c GARBAGE COLLECT 3252.84/3261.27 c rational objective 0 3325.85/3334.46 c #Conflicts: 1280000 | #Constraints: 23243 3325.85/3334.46 c #Conflicts: 1281000 | #Constraints: 24243 3325.85/3334.46 c #Conflicts: 1282000 | #Constraints: 25244 3325.85/3334.46 c #Conflicts: 1283000 | #Constraints: 26244 3325.85/3334.46 c #Conflicts: 1284000 | #Constraints: 27246 3325.85/3334.46 c #Conflicts: 1285000 | #Constraints: 28247 3325.85/3334.46 c #Conflicts: 1286000 | #Constraints: 29247 3325.85/3334.46 c #Conflicts: 1287000 | #Constraints: 30247 3325.85/3334.46 c #Conflicts: 1288000 | #Constraints: 31247 3325.85/3334.46 c #Conflicts: 1289000 | #Constraints: 32248 3325.85/3334.46 c #Conflicts: 1290000 | #Constraints: 33248 3325.85/3334.46 c #Conflicts: 1291000 | #Constraints: 34248 3325.85/3334.46 c #Conflicts: 1292000 | #Constraints: 35248 3325.85/3334.46 c #Conflicts: 1293000 | #Constraints: 36249 3325.85/3334.46 c #Conflicts: 1294000 | #Constraints: 37249 3325.85/3334.46 c #Conflicts: 1295000 | #Constraints: 38250 3325.85/3334.46 c #Conflicts: 1296000 | #Constraints: 39250 3325.85/3334.46 c #Conflicts: 1297000 | #Constraints: 40251 3325.85/3334.46 c #Conflicts: 1298000 | #Constraints: 41251 3325.85/3334.46 c #Conflicts: 1299000 | #Constraints: 42251 3325.85/3334.46 c #Conflicts: 1300000 | #Constraints: 43253 3325.85/3334.46 c #Conflicts: 1301000 | #Constraints: 44253 3325.85/3334.46 c #Conflicts: 1302000 | #Constraints: 45258 3325.85/3334.46 c INPROCESSING 3325.85/3334.46 c GARBAGE COLLECT 3325.85/3334.46 c rational objective 0 3450.26/3459.11 c #Conflicts: 1303000 | #Constraints: 23643 3450.26/3459.11 c #Conflicts: 1304000 | #Constraints: 24643 3450.26/3459.11 c #Conflicts: 1305000 | #Constraints: 25644 3450.26/3459.11 c #Conflicts: 1306000 | #Constraints: 26644 3450.26/3459.11 c #Conflicts: 1307000 | #Constraints: 27644 3450.26/3459.11 c #Conflicts: 1308000 | #Constraints: 28645 3450.26/3459.11 c #Conflicts: 1309000 | #Constraints: 29645 3450.26/3459.11 c #Conflicts: 1310000 | #Constraints: 30646 3450.26/3459.11 c #Conflicts: 1311000 | #Constraints: 31646 3450.26/3459.11 c #Conflicts: 1312000 | #Constraints: 32646 3450.26/3459.11 c #Conflicts: 1313000 | #Constraints: 33646 3450.26/3459.11 c #Conflicts: 1314000 | #Constraints: 34646 3450.26/3459.11 c #Conflicts: 1315000 | #Constraints: 35646 3450.26/3459.11 c #Conflicts: 1316000 | #Constraints: 36646 3450.26/3459.11 c #Conflicts: 1317000 | #Constraints: 37646 3450.26/3459.11 c #Conflicts: 1318000 | #Constraints: 38646 3450.26/3459.11 c #Conflicts: 1319000 | #Constraints: 39646 3450.26/3459.11 c #Conflicts: 1320000 | #Constraints: 40646 3450.26/3459.11 c #Conflicts: 1321000 | #Constraints: 41647 3450.26/3459.11 c #Conflicts: 1322000 | #Constraints: 42647 3450.26/3459.11 c #Conflicts: 1323000 | #Constraints: 43647 3450.26/3459.11 c #Conflicts: 1324000 | #Constraints: 44648 3450.26/3459.11 c #Conflicts: 1325000 | #Constraints: 45648 3450.26/3459.11 c INPROCESSING 3450.26/3459.11 c GARBAGE COLLECT 3450.26/3459.11 c rational objective 0 3551.49/3560.65 c #Conflicts: 1326000 | #Constraints: 23847 3551.49/3560.65 c #Conflicts: 1327000 | #Constraints: 24847 3551.49/3560.65 c #Conflicts: 1328000 | #Constraints: 25847 3551.49/3560.65 c #Conflicts: 1329000 | #Constraints: 26848 3551.49/3560.65 c #Conflicts: 1330000 | #Constraints: 27849 3551.49/3560.65 c #Conflicts: 1331000 | #Constraints: 28849 3551.49/3560.65 c #Conflicts: 1332000 | #Constraints: 29850 3551.49/3560.65 c #Conflicts: 1333000 | #Constraints: 30851 3551.49/3560.65 c #Conflicts: 1334000 | #Constraints: 31853 3551.49/3560.65 c #Conflicts: 1335000 | #Constraints: 32853 3551.49/3560.65 c #Conflicts: 1336000 | #Constraints: 33855 3551.49/3560.65 c #Conflicts: 1337000 | #Constraints: 34855 3551.49/3560.65 c #Conflicts: 1338000 | #Constraints: 35857 3551.49/3560.65 c #Conflicts: 1339000 | #Constraints: 36858 3551.49/3560.65 c #Conflicts: 1340000 | #Constraints: 37858 3551.49/3560.65 c #Conflicts: 1341000 | #Constraints: 38859 3551.49/3560.65 c #Conflicts: 1342000 | #Constraints: 39860 3551.49/3560.65 c #Conflicts: 1343000 | #Constraints: 40860 3551.49/3560.65 c #Conflicts: 1344000 | #Constraints: 41860 3551.49/3560.65 c #Conflicts: 1345000 | #Constraints: 42860 3551.49/3560.65 c #Conflicts: 1346000 | #Constraints: 43860 3551.49/3560.65 c #Conflicts: 1347000 | #Constraints: 44860 3551.49/3560.65 c #Conflicts: 1348000 | #Constraints: 45860 3551.49/3560.65 c INPROCESSING 3551.49/3560.65 c GARBAGE COLLECT 3551.49/3560.65 c rational objective 0 3600.08/3609.30 c #Conflicts: 1349000 | #Constraints: 23849 3600.08/3609.30 c #Conflicts: 1350000 | #Constraints: 24849 3600.08/3609.30 c #Conflicts: 1351000 | #Constraints: 25849 3600.08/3609.30 c #Conflicts: 1352000 | #Constraints: 26849 3600.08/3609.30 c #Conflicts: 1353000 | #Constraints: 27850 3600.08/3609.30 c #Conflicts: 1354000 | #Constraints: 28851 3600.08/3609.30 c #Conflicts: 1355000 | #Constraints: 29851 3600.08/3609.30 c #Conflicts: 1356000 | #Constraints: 30853 3600.08/3609.30 c #Conflicts: 1357000 | #Constraints: 31853 3600.08/3609.30 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60297 MiB free)
memory of node 1: 64510 MiB (60402 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460218-1722064839/watcher-4460218-1722064839 -o /tmp/evaluation-result-4460218-1722064839/solver-4460218-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317572 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460218-1722064839 --lp-cut-gomory=0 HOME/instance-4460218-1722064839.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=317728, runsolver pid=317725
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 0.43 0.22 0.17 5/263 317729
/proc/meminfo: memFree=123588220/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=38164 memory=9068 CPUtime=0.1 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 600 0 0 0 9 1 0 0 20 0 1 0 43006796 39079936 2267 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 9541 2267 1869 992 0 1399 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38164 KiB
Current children cumulated memory: 9068 KiB
[startup+0.204692 s]*
/proc/loadavg: 0.43 0.22 0.17 5/263 317729
/proc/meminfo: memFree=123576128/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=38416 memory=9584 CPUtime=0.2 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 759 0 0 0 19 1 0 0 20 0 1 0 43006796 39337984 2396 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 9604 2396 1869 992 0 1462 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38416 KiB
Current children cumulated memory: 9584 KiB
[startup+0.304702 s]*
/proc/loadavg: 0.43 0.22 0.17 5/263 317729
/proc/meminfo: memFree=123564952/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=38692 memory=10264 CPUtime=0.29 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 916 0 0 0 27 2 0 0 20 0 1 0 43006796 39620608 2566 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 9673 2566 1885 992 0 1531 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 10264 KiB
[startup+0.700151 s]
/proc/loadavg: 0.43 0.22 0.17 5/263 317729
/proc/meminfo: memFree=123539464/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=39432 memory=11304 CPUtime=0.68 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 1150 0 0 0 64 4 0 0 20 0 1 0 43006796 40378368 2826 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 9858 2826 1885 992 0 1716 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39432 KiB
Current children cumulated memory: 11304 KiB
[startup+1.50016 s]
/proc/loadavg: 0.43 0.22 0.17 5/263 317729
/proc/meminfo: memFree=123477696/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=39912 memory=13956 CPUtime=1.48 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 1297 0 0 0 141 7 0 0 20 0 1 0 43006796 40869888 3489 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 9978 3489 1885 992 0 1836 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39912 KiB
Current children cumulated memory: 13956 KiB
[startup+3.10477 s]
/proc/loadavg: 0.43 0.22 0.17 5/263 317731
/proc/meminfo: memFree=123226404/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=40588 memory=14632 CPUtime=3.08 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 1467 0 0 0 294 14 0 0 20 0 1 0 43006796 41562112 3658 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 10147 3658 1885 992 0 2005 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40588 KiB
Current children cumulated memory: 14632 KiB
[startup+6.30015 s]
/proc/loadavg: 0.72 0.28 0.19 5/263 317731
/proc/meminfo: memFree=122957984/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=41852 memory=15956 CPUtime=6.27 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 1785 0 0 0 603 24 0 0 20 0 1 0 43006796 42856448 3989 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 10463 3989 1885 992 0 2321 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41852 KiB
Current children cumulated memory: 15956 KiB
[startup+12.7001 s]
/proc/loadavg: 0.98 0.34 0.21 5/263 317731
/proc/meminfo: memFree=122465296/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=45084 memory=19436 CPUtime=12.66 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 2147 0 0 0 1227 39 0 0 20 0 1 0 43006796 46166016 4859 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 11271 4859 1885 992 0 3129 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45084 KiB
Current children cumulated memory: 19436 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 0.60 0.30 5/260 317734
/proc/meminfo: memFree=121441252/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=46812 memory=20788 CPUtime=25.43 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 2513 0 0 0 2469 74 0 0 20 0 1 0 43006796 47935488 5197 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 11703 5197 1885 992 0 3561 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 46812 KiB
Current children cumulated memory: 20788 KiB
[startup+51.1055 s]
/proc/loadavg: 2.92 0.93 0.41 5/261 317738
/proc/meminfo: memFree=119906048/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=52800 memory=23216 CPUtime=50.97 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 3325 0 0 0 4969 128 0 0 20 0 1 0 43006796 54067200 5804 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 13200 5804 1885 992 0 5058 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 52800 KiB
Current children cumulated memory: 23216 KiB
[startup+102.3 s]
/proc/loadavg: 3.77 1.48 0.63 5/261 317748
/proc/meminfo: memFree=117122172/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=56772 memory=28600 CPUtime=102.03 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 4210 0 0 0 9995 208 0 0 20 0 1 0 43006796 58134528 7150 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 14193 7150 1885 992 0 6051 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 56772 KiB
Current children cumulated memory: 28600 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 1.95 0.85 5/262 317761
/proc/meminfo: memFree=114363044/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=58184 memory=31468 CPUtime=161.87 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 5032 0 0 0 15895 292 0 0 20 0 1 0 43006796 59580416 7867 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 14546 7867 1885 992 0 6404 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 58184 KiB
Current children cumulated memory: 31468 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.34 1.05 5/262 317772
/proc/meminfo: memFree=111524364/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=66192 memory=35248 CPUtime=221.73 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 5587 0 0 0 21807 366 0 0 20 0 1 0 43006796 67780608 8812 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 16548 8812 1885 992 0 8406 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 66192 KiB
Current children cumulated memory: 35248 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.68 1.25 5/262 317782
/proc/meminfo: memFree=109548900/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=67088 memory=36208 CPUtime=281.57 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 5930 0 0 0 27721 436 0 0 20 0 1 0 43006796 68698112 9052 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 16772 9052 1885 992 0 8630 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 67088 KiB
Current children cumulated memory: 36208 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 2.95 1.44 5/260 318175
/proc/meminfo: memFree=108531528/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=68016 memory=39104 CPUtime=341.42 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 6224 0 0 0 33643 499 0 0 20 0 1 0 43006796 69648384 9776 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 17004 9776 1885 992 0 8862 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 68016 KiB
Current children cumulated memory: 39104 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.16 1.60 5/261 318187
/proc/meminfo: memFree=104621348/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=68496 memory=39552 CPUtime=401.26 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 6455 0 0 0 39565 561 0 0 20 0 1 0 43006796 70139904 9888 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 17124 9888 1885 992 0 8982 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 68496 KiB
Current children cumulated memory: 39552 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.33 1.76 5/262 318199
/proc/meminfo: memFree=101654236/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=70260 memory=40748 CPUtime=461.11 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 6798 0 0 0 45488 623 0 0 20 0 1 0 43006796 71946240 10187 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 17565 10187 1885 992 0 9423 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.23 4.16 4.04 5/261 319518
/proc/meminfo: memFree=27920508/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=102776 memory=71688 CPUtime=3214.04 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 13774 0 0 0 319135 2269 0 0 20 0 1 0 43006796 105242624 17922 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25694 17922 1885 992 0 17552 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 102776 KiB
Current children cumulated memory: 71688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.16 4.04 5/260 319528
/proc/meminfo: memFree=26135188/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=102776 memory=71708 CPUtime=3273.89 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 13802 0 0 0 325085 2304 0 0 20 0 1 0 43006796 105242624 17927 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25694 17927 1885 992 0 17552 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 102776 KiB
Current children cumulated memory: 71708 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.04 5/259 319538
/proc/meminfo: memFree=25182344/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=102776 memory=71708 CPUtime=3333.74 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 13828 0 0 0 331037 2337 0 0 20 0 1 0 43006796 105242624 17927 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25694 17927 1885 992 0 17552 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 102776 KiB
Current children cumulated memory: 71708 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.05 5/261 319552
/proc/meminfo: memFree=24512124/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=102776 memory=71708 CPUtime=3393.58 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 13852 0 0 0 336994 2364 0 0 20 0 1 0 43006796 105242624 17927 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25694 17927 1885 992 0 17552 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 102776 KiB
Current children cumulated memory: 71708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.12 4.04 5/261 319564
/proc/meminfo: memFree=24094796/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=103728 memory=72656 CPUtime=3453.44 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 14210 0 0 0 342953 2391 0 0 20 0 1 0 43006796 106217472 18164 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25932 18164 1885 992 0 17790 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 72656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.04 5/262 319575
/proc/meminfo: memFree=23666668/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=103728 memory=72656 CPUtime=3513.3 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 14234 0 0 0 348909 2421 0 0 20 0 1 0 43006796 106217472 18164 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25932 18164 1885 992 0 17790 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 72656 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.05 5/262 319586
/proc/meminfo: memFree=23143424/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=103728 memory=72888 CPUtime=3573.14 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 14410 0 0 0 354869 2445 0 0 20 0 1 0 43006796 106217472 18222 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25932 18222 1885 992 0 17790 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 72888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.10 4.12 4.05 4/263 319595
/proc/meminfo: memFree=22666680/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=103728 memory=72888 CPUtime=3600.08 cores=5,7
/proc/317728/stat : 317728 (roundingsat) R 317725 317728 317555 0 -1 4194304 14411 0 0 0 357552 2456 0 0 20 0 1 0 43006796 106217472 18222 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25932 18222 1885 992 0 17790 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 72888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.10 4.12 4.05 1/262 319595
/proc/meminfo: memFree=22647104/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=103728 memory=72888 CPUtime=3600.08 cores=5,7
/proc/317728/stat : 317728 (roundingsat) D 317725 317728 317555 0 -1 4194304 14419 0 0 0 357552 2456 0 0 20 0 1 0 43006796 106217472 18222 134679101440 4194304 8254357 140726661713648 0 0 256 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25932 18222 1885 992 0 17790 0
??? kill 317728 sig 9
??? end of watcher thread
[startup+3626.62 s]
# the end of solver process 317728 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3575.52 s, system=24.5705 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.10 4.12 4.05 4/263 319595
/proc/meminfo: memFree=22666680/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=103728 memory=72888 CPUtime=3600.08 cores=5,7
/proc/317728/stat : 317728 (roundingsat) D 317725 317728 317555 0 -1 4194304 14419 0 0 0 357552 2456 0 0 20 0 1 0 43006796 106217472 18222 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25932 18222 1885 992 0 17790 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 72888 KiB
[startup+3610.4 s]
/proc/loadavg: 4.10 4.12 4.05 2/262 319595
/proc/meminfo: memFree=22654008/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=103728 memory=72888 CPUtime=3600.08 cores=5,7
/proc/317728/stat : 317728 (roundingsat) D 317725 317728 317555 0 -1 4194304 14419 0 0 0 357552 2456 0 0 20 0 1 0 43006796 106217472 18222 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25932 18222 1885 992 0 17790 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 72888 KiB
[startup+3610.8 s]
/proc/loadavg: 4.10 4.12 4.05 2/262 319595
/proc/meminfo: memFree=22654008/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=103728 memory=72888 CPUtime=3600.08 cores=5,7
/proc/317728/stat : 317728 (roundingsat) D 317725 317728 317555 0 -1 4194304 14419 0 0 0 357552 2456 0 0 20 0 1 0 43006796 106217472 18222 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25932 18222 1885 992 0 17790 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 72888 KiB
[startup+3611.2 s]
/proc/loadavg: 4.10 4.12 4.05 1/262 319595
/proc/meminfo: memFree=22647104/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=103728 memory=72888 CPUtime=3600.08 cores=5,7
/proc/317728/stat : 317728 (roundingsat) D 317725 317728 317555 0 -1 4194304 14419 0 0 0 357552 2456 0 0 20 0 1 0 43006796 106217472 18222 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25932 18222 1885 992 0 17790 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 72888 KiB
[startup+3611.3 s]
/proc/loadavg: 4.10 4.12 4.05 1/262 319595
/proc/meminfo: memFree=22647104/131524600 swapFree=131061428/131071996
[pid=317728] ppid=317725 vsize=103728 memory=72888 CPUtime=3600.08 cores=5,7
/proc/317728/stat : 317728 (roundingsat) D 317725 317728 317555 0 -1 4194304 14419 0 0 0 357552 2456 0 0 20 0 1 0 43006796 106217472 18222 134679101440 4194304 8254357 140726661713648 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22171648 140726661722971 140726661723233 140726661723233 140726661730249 0
/proc/317728/statm: 25932 18222 1885 992 0 17790 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 72888 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3626.62
CPU time (s): 3600.09
CPU user time (s): 3575.52
CPU system time (s): 24.5705
CPU usage (%): 99.2687
Max. virtual memory (cumulated for all children) (KiB): 104312
Max. memory (cumulated for all children) (KiB): 72948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.52
system time used= 24.5705
maximum resident set size= 73332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21191816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 470
involuntary context switches= 4793
# summary of solver processes directly reported to runsolver:
# pid: 317728
# total CPU time (s): 3600.09
# total CPU user time (s): 3575.52
# total CPU system time (s): 24.5705
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85517 second user time and 17.933 second system time
The end
Begin job on nodeC022 at 2024-07-27 09:20:39 IDJOB=4460218 IDBENCH=147611 IDSOLVER=3086 FILE ID=nodeC022/4460218-1722064839 RUNJOBID= nodeC022-1722064836-317572 SLURM_JOB_ID= 8248091 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-4460218-1722064839/watcher-4460218-1722064839 -o /tmp/evaluation-result-4460218-1722064839/solver-4460218-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317572 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460218-1722064839 --lp-cut-gomory=0 HOME/instance-4460218-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec RANDOM SEED=1859590444 nodeC022.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 : 3680.162 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.87 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 : 3689.556 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.423 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.87 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 : 3673.699 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3680.099 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.87 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 : 3659.996 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.247 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.87 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 : 3663.226 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123603456 kB MemAvailable: 129459684 kB Buffers: 375016 kB Cached: 6231276 kB SwapCached: 1424 kB Active: 2695140 kB Inactive: 4447636 kB Active(anon): 1932 kB Inactive(anon): 588980 kB Active(file): 2693208 kB Inactive(file): 3858656 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061428 kB Dirty: 215440 kB Writeback: 0 kB AnonPages: 535536 kB Mapped: 126228 kB Shmem: 53732 kB KReclaimable: 292120 kB Slab: 423120 kB SReclaimable: 292120 kB SUnreclaim: 131000 kB KernelStack: 4240 kB PageTables: 10644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 951244 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 264192 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: 334548 kB DirectMap2M: 36139008 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890060 MiB End job on nodeC022 at 2024-07-27 10:21:06