| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.12 | 3628.75 |
| 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.001031 0.00/0.00 c rational objective 0 0.30/0.34 c bounds 283 >= 0 @ 0.012498 0.30/0.34 c bounds 281 >= 0 @ 0.013453 0.30/0.34 c bounds 208 >= 0 @ 0.019188 0.30/0.34 c #Conflicts: 1000 | #Constraints: 1033 0.30/0.34 c bounds 120 >= 0 @ 0.206922 0.30/0.34 c bounds 118 >= 0 @ 0.209017 0.30/0.34 c bounds 116 >= 0 @ 0.21112 0.30/0.34 c bounds 114 >= 0 @ 0.212575 0.30/0.34 c bounds 112 >= 0 @ 0.23126 0.30/0.34 c bounds 108 >= 0 @ 0.231264 0.30/0.34 c bounds 106 >= 0 @ 0.23384 0.30/0.34 c bounds 98 >= 0 @ 0.236102 0.30/0.34 c bounds 96 >= 0 @ 0.236252 0.30/0.34 c bounds 94 >= 0 @ 0.251545 0.30/0.34 c bounds 90 >= 0 @ 0.252135 0.30/0.34 c bounds 86 >= 0 @ 0.252727 0.30/0.34 c bounds 78 >= 0 @ 0.255108 0.30/0.34 c bounds 70 >= 0 @ 0.257643 0.30/0.34 c bounds 66 >= 0 @ 0.259742 0.30/0.34 c #Conflicts: 2000 | #Constraints: 2067 0.30/0.34 c INPROCESSING 0.30/0.34 c GARBAGE COLLECT 0.30/0.34 c rational objective 0 0.79/0.88 c bounds 65 >= 0 @ 0.477231 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.49/1.57 c bounds 62 >= 0 @ 0.882179 1.49/1.57 c bounds 59 >= 0 @ 0.888353 1.49/1.57 c bounds 57 >= 0 @ 0.889655 1.49/1.57 c bounds 56 >= 0 @ 0.929622 1.49/1.57 c bounds 52 >= 0 @ 0.930464 1.49/1.57 c bounds 47 >= 0 @ 0.936594 1.49/1.57 c bounds 45 >= 0 @ 0.937168 1.49/1.57 c bounds 43 >= 0 @ 0.938641 1.49/1.57 c #Conflicts: 5000 | #Constraints: 2471 1.49/1.57 c bounds 41 >= 0 @ 1.21427 1.49/1.57 c #Conflicts: 6000 | #Constraints: 3481 1.49/1.57 c INPROCESSING 1.49/1.57 c GARBAGE COLLECT 1.49/1.57 c rational objective 0 2.39/2.41 c bounds 39 >= 0 @ 1.49942 2.39/2.41 c bounds 37 >= 0 @ 1.50036 2.39/2.41 c bounds 35 >= 0 @ 1.55634 2.39/2.41 c bounds 31 >= 0 @ 1.55745 2.39/2.41 c #Conflicts: 7000 | #Constraints: 2454 2.39/2.41 c #Conflicts: 8000 | #Constraints: 3464 2.39/2.41 c #Conflicts: 9000 | #Constraints: 4478 2.39/2.41 c INPROCESSING 2.39/2.41 c GARBAGE COLLECT 2.39/2.41 c rational objective 0 3.28/3.35 c #Conflicts: 10000 | #Constraints: 3167 3.28/3.35 c #Conflicts: 11000 | #Constraints: 4173 3.28/3.35 c #Conflicts: 12000 | #Constraints: 5176 3.28/3.35 c INPROCESSING 3.28/3.35 c GARBAGE COLLECT 3.28/3.35 c rational objective 0 4.48/4.58 c #Conflicts: 13000 | #Constraints: 3607 4.48/4.58 c #Conflicts: 14000 | #Constraints: 4614 4.48/4.58 c #Conflicts: 15000 | #Constraints: 5620 4.48/4.58 c INPROCESSING 4.48/4.58 c GARBAGE COLLECT 4.48/4.58 c rational objective 0 5.78/5.82 c #Conflicts: 16000 | #Constraints: 3836 5.78/5.82 c #Conflicts: 17000 | #Constraints: 4838 5.78/5.82 c #Conflicts: 18000 | #Constraints: 5841 5.78/5.82 c INPROCESSING 5.78/5.82 c GARBAGE COLLECT 5.78/5.82 c rational objective 0 7.08/7.11 c #Conflicts: 19000 | #Constraints: 3841 7.08/7.11 c #Conflicts: 20000 | #Constraints: 4847 7.08/7.11 c #Conflicts: 21000 | #Constraints: 5857 7.08/7.11 c INPROCESSING 7.08/7.11 c GARBAGE COLLECT 7.08/7.11 c rational objective 0 8.87/8.91 c #Conflicts: 22000 | #Constraints: 3647 8.87/8.91 c #Conflicts: 23000 | #Constraints: 4651 8.87/8.91 c #Conflicts: 24000 | #Constraints: 5656 8.87/8.91 c #Conflicts: 25000 | #Constraints: 6661 8.87/8.91 c INPROCESSING 8.87/8.91 c GARBAGE COLLECT 8.87/8.91 c rational objective 0 10.56/10.69 c #Conflicts: 26000 | #Constraints: 4253 10.56/10.69 c #Conflicts: 27000 | #Constraints: 5255 10.56/10.69 c #Conflicts: 28000 | #Constraints: 6261 10.56/10.69 c #Conflicts: 29000 | #Constraints: 7266 10.56/10.69 c INPROCESSING 10.56/10.69 c GARBAGE COLLECT 10.56/10.69 c rational objective 0 12.66/12.71 c #Conflicts: 30000 | #Constraints: 4651 12.66/12.71 c bounds 30 >= 0 @ 11.1058 12.66/12.71 c #Conflicts: 31000 | #Constraints: 5657 12.66/12.71 c #Conflicts: 32000 | #Constraints: 6661 12.66/12.71 c bounds 28 >= 0 @ 12.0404 12.66/12.71 c #Conflicts: 33000 | #Constraints: 7667 12.66/12.71 c INPROCESSING 12.66/12.71 c GARBAGE COLLECT 12.66/12.71 c rational objective 0 14.56/14.62 c #Conflicts: 34000 | #Constraints: 4853 14.56/14.62 c #Conflicts: 35000 | #Constraints: 5857 14.56/14.62 c #Conflicts: 36000 | #Constraints: 6861 14.56/14.62 c #Conflicts: 37000 | #Constraints: 7864 14.56/14.62 c INPROCESSING 14.56/14.62 c GARBAGE COLLECT 14.56/14.62 c rational objective 0 16.75/16.86 c #Conflicts: 38000 | #Constraints: 4854 16.75/16.86 c #Conflicts: 39000 | #Constraints: 5857 16.75/16.86 c bounds 26 >= 0 @ 15.0128 16.75/16.86 c bounds 22 >= 0 @ 15.0145 16.75/16.86 c #Conflicts: 40000 | #Constraints: 6867 16.75/16.86 c #Conflicts: 41000 | #Constraints: 7872 16.75/16.86 c INPROCESSING 16.75/16.86 c GARBAGE COLLECT 16.75/16.86 c rational objective 0 18.84/18.90 c #Conflicts: 42000 | #Constraints: 4663 18.84/18.90 c #Conflicts: 43000 | #Constraints: 5667 18.84/18.90 c #Conflicts: 44000 | #Constraints: 6672 18.84/18.90 c #Conflicts: 45000 | #Constraints: 7676 18.84/18.90 c #Conflicts: 46000 | #Constraints: 8681 18.84/18.90 c INPROCESSING 18.84/18.90 c GARBAGE COLLECT 18.84/18.90 c rational objective 0 21.53/21.68 c #Conflicts: 47000 | #Constraints: 5258 21.53/21.68 c #Conflicts: 48000 | #Constraints: 6263 21.53/21.68 c #Conflicts: 49000 | #Constraints: 7267 21.53/21.68 c #Conflicts: 50000 | #Constraints: 8270 21.53/21.68 c #Conflicts: 51000 | #Constraints: 9275 21.53/21.68 c INPROCESSING 21.53/21.68 c GARBAGE COLLECT 21.53/21.68 c rational objective 0 24.33/24.44 c #Conflicts: 52000 | #Constraints: 5660 24.33/24.44 c #Conflicts: 53000 | #Constraints: 6661 24.33/24.44 c #Conflicts: 54000 | #Constraints: 7665 24.33/24.44 c #Conflicts: 55000 | #Constraints: 8668 24.33/24.44 c #Conflicts: 56000 | #Constraints: 9670 24.33/24.44 c INPROCESSING 24.33/24.44 c GARBAGE COLLECT 24.33/24.44 c rational objective 0 27.72/27.84 c #Conflicts: 57000 | #Constraints: 5852 27.72/27.84 c bounds 21 >= 0 @ 24.3777 27.72/27.84 c bounds 19 >= 0 @ 24.3803 27.72/27.84 c #Conflicts: 58000 | #Constraints: 6856 27.72/27.84 c #Conflicts: 59000 | #Constraints: 7859 27.72/27.84 c #Conflicts: 60000 | #Constraints: 8860 27.72/27.84 c #Conflicts: 61000 | #Constraints: 9862 27.72/27.84 c INPROCESSING 27.72/27.84 c GARBAGE COLLECT 27.72/27.84 c rational objective 0 30.71/30.89 c #Conflicts: 62000 | #Constraints: 5852 30.71/30.89 c #Conflicts: 63000 | #Constraints: 6857 30.71/30.89 c #Conflicts: 64000 | #Constraints: 7860 30.71/30.89 c #Conflicts: 65000 | #Constraints: 8863 30.71/30.89 c #Conflicts: 66000 | #Constraints: 9864 30.71/30.89 c INPROCESSING 30.71/30.89 c GARBAGE COLLECT 30.71/30.89 c rational objective 0 34.80/34.91 c #Conflicts: 67000 | #Constraints: 5647 34.80/34.91 c #Conflicts: 68000 | #Constraints: 6656 34.80/34.91 c #Conflicts: 69000 | #Constraints: 7658 34.80/34.91 c #Conflicts: 70000 | #Constraints: 8667 34.80/34.91 c #Conflicts: 71000 | #Constraints: 9672 34.80/34.91 c #Conflicts: 72000 | #Constraints: 10674 34.80/34.91 c INPROCESSING 34.80/34.91 c GARBAGE COLLECT 34.80/34.91 c rational objective 0 38.19/38.34 c #Conflicts: 73000 | #Constraints: 6254 38.19/38.34 c #Conflicts: 74000 | #Constraints: 7255 38.19/38.34 c #Conflicts: 75000 | #Constraints: 8257 38.19/38.34 c #Conflicts: 76000 | #Constraints: 9260 38.19/38.34 c #Conflicts: 77000 | #Constraints: 10262 38.19/38.34 c #Conflicts: 78000 | #Constraints: 11264 38.19/38.34 c INPROCESSING 38.19/38.34 c GARBAGE COLLECT 38.19/38.34 c rational objective 0 42.08/42.25 c #Conflicts: 79000 | #Constraints: 6647 42.08/42.25 c #Conflicts: 80000 | #Constraints: 7647 42.08/42.25 c #Conflicts: 81000 | #Constraints: 8652 42.08/42.25 c #Conflicts: 82000 | #Constraints: 9659 42.08/42.25 c #Conflicts: 83000 | #Constraints: 10662 42.08/42.25 c #Conflicts: 84000 | #Constraints: 11664 42.08/42.25 c INPROCESSING 42.08/42.25 c GARBAGE COLLECT 42.08/42.25 c rational objective 0 47.27/47.44 c #Conflicts: 85000 | #Constraints: 6848 47.27/47.44 c #Conflicts: 86000 | #Constraints: 7849 47.27/47.44 c #Conflicts: 87000 | #Constraints: 8850 47.27/47.44 c #Conflicts: 88000 | #Constraints: 9851 47.27/47.44 c #Conflicts: 89000 | #Constraints: 10851 47.27/47.44 c #Conflicts: 90000 | #Constraints: 11852 47.27/47.44 c INPROCESSING 47.27/47.44 c GARBAGE COLLECT 47.27/47.44 c rational objective 0 52.05/52.25 c #Conflicts: 91000 | #Constraints: 6846 52.05/52.25 c #Conflicts: 92000 | #Constraints: 7850 52.05/52.25 c #Conflicts: 93000 | #Constraints: 8852 52.05/52.25 c #Conflicts: 94000 | #Constraints: 9855 52.05/52.25 c #Conflicts: 95000 | #Constraints: 10856 52.05/52.25 c #Conflicts: 96000 | #Constraints: 11858 52.05/52.25 c INPROCESSING 52.05/52.25 c GARBAGE COLLECT 52.05/52.25 c rational objective 0 57.64/57.86 c #Conflicts: 97000 | #Constraints: 6650 57.64/57.86 c #Conflicts: 98000 | #Constraints: 7650 57.64/57.86 c #Conflicts: 99000 | #Constraints: 8652 57.64/57.86 c #Conflicts: 100000 | #Constraints: 9656 57.64/57.86 c #Conflicts: 101000 | #Constraints: 10659 57.64/57.86 c #Conflicts: 102000 | #Constraints: 11660 57.64/57.86 c #Conflicts: 103000 | #Constraints: 12662 57.64/57.86 c INPROCESSING 57.64/57.86 c GARBAGE COLLECT 57.64/57.86 c rational objective 0 62.33/62.58 c #Conflicts: 104000 | #Constraints: 7256 62.33/62.58 c #Conflicts: 105000 | #Constraints: 8260 62.33/62.58 c #Conflicts: 106000 | #Constraints: 9264 62.33/62.58 c #Conflicts: 107000 | #Constraints: 10266 62.33/62.58 c #Conflicts: 108000 | #Constraints: 11268 62.33/62.58 c #Conflicts: 109000 | #Constraints: 12272 62.33/62.58 c #Conflicts: 110000 | #Constraints: 13277 62.33/62.58 c INPROCESSING 62.33/62.58 c GARBAGE COLLECT 62.33/62.58 c rational objective 0 69.30/69.50 c #Conflicts: 111000 | #Constraints: 7658 69.30/69.50 c #Conflicts: 112000 | #Constraints: 8662 69.30/69.50 c #Conflicts: 113000 | #Constraints: 9666 69.30/69.50 c #Conflicts: 114000 | #Constraints: 10669 69.30/69.50 c #Conflicts: 115000 | #Constraints: 11671 69.30/69.50 c #Conflicts: 116000 | #Constraints: 12676 69.30/69.50 c #Conflicts: 117000 | #Constraints: 13677 69.30/69.50 c INPROCESSING 69.30/69.50 c GARBAGE COLLECT 69.30/69.50 c rational objective 0 75.09/75.32 c #Conflicts: 118000 | #Constraints: 7861 75.09/75.32 c #Conflicts: 119000 | #Constraints: 8864 75.09/75.32 c #Conflicts: 120000 | #Constraints: 9865 75.09/75.32 c #Conflicts: 121000 | #Constraints: 10867 75.09/75.32 c #Conflicts: 122000 | #Constraints: 11868 75.09/75.32 c #Conflicts: 123000 | #Constraints: 12868 75.09/75.32 c #Conflicts: 124000 | #Constraints: 13873 75.09/75.32 c INPROCESSING 75.09/75.32 c GARBAGE COLLECT 75.09/75.32 c rational objective 0 80.48/80.74 c #Conflicts: 125000 | #Constraints: 7852 80.48/80.74 c #Conflicts: 126000 | #Constraints: 8853 80.48/80.74 c #Conflicts: 127000 | #Constraints: 9853 80.48/80.74 c #Conflicts: 128000 | #Constraints: 10854 80.48/80.74 c #Conflicts: 129000 | #Constraints: 11854 80.48/80.74 c #Conflicts: 130000 | #Constraints: 12855 80.48/80.74 c #Conflicts: 131000 | #Constraints: 13856 80.48/80.74 c INPROCESSING 80.48/80.74 c GARBAGE COLLECT 80.48/80.74 c rational objective 0 88.45/88.72 c #Conflicts: 132000 | #Constraints: 7646 88.45/88.72 c #Conflicts: 133000 | #Constraints: 8648 88.45/88.72 c #Conflicts: 134000 | #Constraints: 9651 88.45/88.72 c #Conflicts: 135000 | #Constraints: 10651 88.45/88.72 c #Conflicts: 136000 | #Constraints: 11652 88.45/88.72 c #Conflicts: 137000 | #Constraints: 12655 88.45/88.72 c #Conflicts: 138000 | #Constraints: 13658 88.45/88.72 c #Conflicts: 139000 | #Constraints: 14662 88.45/88.72 c INPROCESSING 88.45/88.72 c GARBAGE COLLECT 88.45/88.72 c rational objective 0 95.44/95.70 c #Conflicts: 140000 | #Constraints: 8252 95.44/95.70 c #Conflicts: 141000 | #Constraints: 9253 95.44/95.70 c #Conflicts: 142000 | #Constraints: 10255 95.44/95.70 c #Conflicts: 143000 | #Constraints: 11256 95.44/95.70 c #Conflicts: 144000 | #Constraints: 12256 95.44/95.70 c #Conflicts: 145000 | #Constraints: 13256 95.44/95.70 c #Conflicts: 146000 | #Constraints: 14256 95.44/95.70 c #Conflicts: 147000 | #Constraints: 15257 95.44/95.70 c INPROCESSING 95.44/95.70 c GARBAGE COLLECT 95.44/95.70 c rational objective 0 104.31/104.64 c #Conflicts: 148000 | #Constraints: 8650 104.31/104.64 c #Conflicts: 149000 | #Constraints: 9653 104.31/104.64 c #Conflicts: 150000 | #Constraints: 10654 104.31/104.64 c #Conflicts: 151000 | #Constraints: 11654 104.31/104.64 c #Conflicts: 152000 | #Constraints: 12660 104.31/104.64 c #Conflicts: 153000 | #Constraints: 13663 104.31/104.64 c #Conflicts: 154000 | #Constraints: 14667 104.31/104.64 c #Conflicts: 155000 | #Constraints: 15672 104.31/104.64 c INPROCESSING 104.31/104.64 c GARBAGE COLLECT 104.31/104.64 c rational objective 0 110.99/111.31 c #Conflicts: 156000 | #Constraints: 8852 110.99/111.31 c #Conflicts: 157000 | #Constraints: 9856 110.99/111.31 c #Conflicts: 158000 | #Constraints: 10857 110.99/111.31 c #Conflicts: 159000 | #Constraints: 11858 110.99/111.31 c #Conflicts: 160000 | #Constraints: 12859 110.99/111.31 c #Conflicts: 161000 | #Constraints: 13861 110.99/111.31 c #Conflicts: 162000 | #Constraints: 14861 110.99/111.31 c #Conflicts: 163000 | #Constraints: 15861 110.99/111.31 c INPROCESSING 110.99/111.31 c GARBAGE COLLECT 110.99/111.31 c rational objective 0 117.98/118.37 c #Conflicts: 164000 | #Constraints: 8852 117.98/118.37 c #Conflicts: 165000 | #Constraints: 9853 117.98/118.37 c #Conflicts: 166000 | #Constraints: 10855 117.98/118.37 c #Conflicts: 167000 | #Constraints: 11859 117.98/118.37 c #Conflicts: 168000 | #Constraints: 12859 117.98/118.37 c #Conflicts: 169000 | #Constraints: 13861 117.98/118.37 c #Conflicts: 170000 | #Constraints: 14863 117.98/118.37 c #Conflicts: 171000 | #Constraints: 15863 117.98/118.37 c INPROCESSING 117.98/118.37 c GARBAGE COLLECT 117.98/118.37 c rational objective 0 128.45/128.83 c bounds 18 >= 0 @ 115.918 128.45/128.83 c bounds 16 >= 0 @ 115.923 128.45/128.83 c #Conflicts: 172000 | #Constraints: 8649 128.45/128.83 c #Conflicts: 173000 | #Constraints: 9651 128.45/128.83 c #Conflicts: 174000 | #Constraints: 10654 128.45/128.83 c #Conflicts: 175000 | #Constraints: 11656 128.45/128.83 c #Conflicts: 176000 | #Constraints: 12658 128.45/128.83 c #Conflicts: 177000 | #Constraints: 13663 128.45/128.83 c #Conflicts: 178000 | #Constraints: 14663 128.45/128.83 c #Conflicts: 179000 | #Constraints: 15666 128.45/128.83 c #Conflicts: 180000 | #Constraints: 16669 128.45/128.83 c INPROCESSING 128.45/128.83 c GARBAGE COLLECT 128.45/128.83 c rational objective 0 136.63/137.09 c #Conflicts: 181000 | #Constraints: 9254 136.63/137.09 c #Conflicts: 182000 | #Constraints: 10256 136.63/137.09 c #Conflicts: 183000 | #Constraints: 11259 136.63/137.09 c #Conflicts: 184000 | #Constraints: 12261 136.63/137.09 c #Conflicts: 185000 | #Constraints: 13262 136.63/137.09 c #Conflicts: 186000 | #Constraints: 14263 136.63/137.09 c #Conflicts: 187000 | #Constraints: 15264 136.63/137.09 c #Conflicts: 188000 | #Constraints: 16264 136.63/137.09 c #Conflicts: 189000 | #Constraints: 17265 136.63/137.09 c INPROCESSING 136.63/137.09 c GARBAGE COLLECT 136.63/137.09 c rational objective 0 148.39/148.89 c #Conflicts: 190000 | #Constraints: 9650 148.39/148.89 c #Conflicts: 191000 | #Constraints: 10650 148.39/148.89 c #Conflicts: 192000 | #Constraints: 11650 148.39/148.89 c #Conflicts: 193000 | #Constraints: 12653 148.39/148.89 c #Conflicts: 194000 | #Constraints: 13653 148.39/148.89 c #Conflicts: 195000 | #Constraints: 14655 148.39/148.89 c #Conflicts: 196000 | #Constraints: 15659 148.39/148.89 c #Conflicts: 197000 | #Constraints: 16660 148.39/148.89 c #Conflicts: 198000 | #Constraints: 17663 148.39/148.89 c INPROCESSING 148.39/148.89 c GARBAGE COLLECT 148.39/148.89 c rational objective 0 159.16/159.68 c #Conflicts: 199000 | #Constraints: 9857 159.16/159.68 c #Conflicts: 200000 | #Constraints: 10857 159.16/159.68 c #Conflicts: 201000 | #Constraints: 11859 159.16/159.68 c #Conflicts: 202000 | #Constraints: 12861 159.16/159.68 c #Conflicts: 203000 | #Constraints: 13863 159.16/159.68 c #Conflicts: 204000 | #Constraints: 14864 159.16/159.68 c #Conflicts: 205000 | #Constraints: 15865 159.16/159.68 c #Conflicts: 206000 | #Constraints: 16865 159.16/159.68 c #Conflicts: 207000 | #Constraints: 17866 159.16/159.68 c INPROCESSING 159.16/159.68 c GARBAGE COLLECT 159.16/159.68 c rational objective 0 174.32/174.87 c #Conflicts: 208000 | #Constraints: 9854 174.32/174.87 c #Conflicts: 209000 | #Constraints: 10856 174.32/174.87 c #Conflicts: 210000 | #Constraints: 11856 174.32/174.87 c #Conflicts: 211000 | #Constraints: 12856 174.32/174.87 c #Conflicts: 212000 | #Constraints: 13857 174.32/174.87 c #Conflicts: 213000 | #Constraints: 14859 174.32/174.87 c #Conflicts: 214000 | #Constraints: 15860 174.32/174.87 c #Conflicts: 215000 | #Constraints: 16860 174.32/174.87 c #Conflicts: 216000 | #Constraints: 17860 174.32/174.87 c INPROCESSING 174.32/174.87 c GARBAGE COLLECT 174.32/174.87 c rational objective 0 186.98/187.57 c #Conflicts: 217000 | #Constraints: 9654 186.98/187.57 c #Conflicts: 218000 | #Constraints: 10654 186.98/187.57 c #Conflicts: 219000 | #Constraints: 11655 186.98/187.57 c #Conflicts: 220000 | #Constraints: 12655 186.98/187.57 c #Conflicts: 221000 | #Constraints: 13655 186.98/187.57 c #Conflicts: 222000 | #Constraints: 14655 186.98/187.57 c #Conflicts: 223000 | #Constraints: 15658 186.98/187.57 c #Conflicts: 224000 | #Constraints: 16660 186.98/187.57 c #Conflicts: 225000 | #Constraints: 17661 186.98/187.57 c #Conflicts: 226000 | #Constraints: 18663 186.98/187.57 c INPROCESSING 186.98/187.57 c GARBAGE COLLECT 186.98/187.57 c rational objective 0 198.95/199.59 c #Conflicts: 227000 | #Constraints: 10246 198.95/199.59 c #Conflicts: 228000 | #Constraints: 11246 198.95/199.59 c #Conflicts: 229000 | #Constraints: 12246 198.95/199.59 c #Conflicts: 230000 | #Constraints: 13246 198.95/199.59 c #Conflicts: 231000 | #Constraints: 14248 198.95/199.59 c #Conflicts: 232000 | #Constraints: 15250 198.95/199.59 c #Conflicts: 233000 | #Constraints: 16251 198.95/199.59 c #Conflicts: 234000 | #Constraints: 17253 198.95/199.59 c #Conflicts: 235000 | #Constraints: 18253 198.95/199.59 c #Conflicts: 236000 | #Constraints: 19253 198.95/199.59 c INPROCESSING 198.95/199.59 c GARBAGE COLLECT 198.95/199.59 c rational objective 0 215.31/215.95 c #Conflicts: 237000 | #Constraints: 10645 215.31/215.95 c #Conflicts: 238000 | #Constraints: 11647 215.31/215.95 c #Conflicts: 239000 | #Constraints: 12647 215.31/215.95 c #Conflicts: 240000 | #Constraints: 13648 215.31/215.95 c #Conflicts: 241000 | #Constraints: 14649 215.31/215.95 c #Conflicts: 242000 | #Constraints: 15650 215.31/215.95 c #Conflicts: 243000 | #Constraints: 16650 215.31/215.95 c #Conflicts: 244000 | #Constraints: 17654 215.31/215.95 c #Conflicts: 245000 | #Constraints: 18656 215.31/215.95 c #Conflicts: 246000 | #Constraints: 19657 215.31/215.95 c INPROCESSING 215.31/215.95 c GARBAGE COLLECT 215.31/215.95 c rational objective 0 226.97/227.60 c #Conflicts: 247000 | #Constraints: 10852 226.97/227.60 c #Conflicts: 248000 | #Constraints: 11852 226.97/227.60 c #Conflicts: 249000 | #Constraints: 12854 226.97/227.60 c #Conflicts: 250000 | #Constraints: 13856 226.97/227.60 c #Conflicts: 251000 | #Constraints: 14858 226.97/227.60 c #Conflicts: 252000 | #Constraints: 15860 226.97/227.60 c #Conflicts: 253000 | #Constraints: 16861 226.97/227.60 c #Conflicts: 254000 | #Constraints: 17861 226.97/227.60 c #Conflicts: 255000 | #Constraints: 18862 226.97/227.60 c #Conflicts: 256000 | #Constraints: 19863 226.97/227.60 c INPROCESSING 226.97/227.60 c GARBAGE COLLECT 226.97/227.60 c rational objective 0 244.82/245.51 c #Conflicts: 257000 | #Constraints: 10846 244.82/245.51 c #Conflicts: 258000 | #Constraints: 11846 244.82/245.51 c #Conflicts: 259000 | #Constraints: 12847 244.82/245.51 c #Conflicts: 260000 | #Constraints: 13849 244.82/245.51 c #Conflicts: 261000 | #Constraints: 14850 244.82/245.51 c #Conflicts: 262000 | #Constraints: 15851 244.82/245.51 c #Conflicts: 263000 | #Constraints: 16852 244.82/245.51 c #Conflicts: 264000 | #Constraints: 17854 244.82/245.51 c #Conflicts: 265000 | #Constraints: 18854 244.82/245.51 c #Conflicts: 266000 | #Constraints: 19855 244.82/245.51 c INPROCESSING 244.82/245.51 c GARBAGE COLLECT 244.82/245.51 c rational objective 0 259.59/260.33 c #Conflicts: 267000 | #Constraints: 10648 259.59/260.33 c #Conflicts: 268000 | #Constraints: 11649 259.59/260.33 c #Conflicts: 269000 | #Constraints: 12649 259.59/260.33 c #Conflicts: 270000 | #Constraints: 13649 259.59/260.33 c #Conflicts: 271000 | #Constraints: 14649 259.59/260.33 c #Conflicts: 272000 | #Constraints: 15650 259.59/260.33 c #Conflicts: 273000 | #Constraints: 16652 259.59/260.33 c #Conflicts: 274000 | #Constraints: 17653 259.59/260.33 c #Conflicts: 275000 | #Constraints: 18654 259.59/260.33 c #Conflicts: 276000 | #Constraints: 19654 259.59/260.33 c #Conflicts: 277000 | #Constraints: 20656 259.59/260.33 c INPROCESSING 259.59/260.33 c GARBAGE COLLECT 259.59/260.33 c rational objective 0 279.34/280.10 c #Conflicts: 278000 | #Constraints: 11247 279.34/280.10 c #Conflicts: 279000 | #Constraints: 12247 279.34/280.10 c #Conflicts: 280000 | #Constraints: 13249 279.34/280.10 c #Conflicts: 281000 | #Constraints: 14249 279.34/280.10 c #Conflicts: 282000 | #Constraints: 15251 279.34/280.10 c #Conflicts: 283000 | #Constraints: 16253 279.34/280.10 c #Conflicts: 284000 | #Constraints: 17253 279.34/280.10 c #Conflicts: 285000 | #Constraints: 18253 279.34/280.10 c #Conflicts: 286000 | #Constraints: 19253 279.34/280.10 c #Conflicts: 287000 | #Constraints: 20255 279.34/280.10 c #Conflicts: 288000 | #Constraints: 21256 279.34/280.10 c INPROCESSING 279.34/280.10 c GARBAGE COLLECT 279.34/280.10 c rational objective 0 294.30/295.14 c #Conflicts: 289000 | #Constraints: 11650 294.30/295.14 c #Conflicts: 290000 | #Constraints: 12652 294.30/295.14 c #Conflicts: 291000 | #Constraints: 13653 294.30/295.14 c #Conflicts: 292000 | #Constraints: 14653 294.30/295.14 c #Conflicts: 293000 | #Constraints: 15654 294.30/295.14 c #Conflicts: 294000 | #Constraints: 16654 294.30/295.14 c #Conflicts: 295000 | #Constraints: 17655 294.30/295.14 c #Conflicts: 296000 | #Constraints: 18655 294.30/295.14 c #Conflicts: 297000 | #Constraints: 19656 294.30/295.14 c #Conflicts: 298000 | #Constraints: 20658 294.30/295.14 c #Conflicts: 299000 | #Constraints: 21659 294.30/295.14 c INPROCESSING 294.30/295.14 c GARBAGE COLLECT 294.30/295.14 c rational objective 0 309.26/310.17 c #Conflicts: 300000 | #Constraints: 11846 309.26/310.17 c #Conflicts: 301000 | #Constraints: 12847 309.26/310.17 c #Conflicts: 302000 | #Constraints: 13847 309.26/310.17 c #Conflicts: 303000 | #Constraints: 14848 309.26/310.17 c #Conflicts: 304000 | #Constraints: 15849 309.26/310.17 c #Conflicts: 305000 | #Constraints: 16849 309.26/310.17 c #Conflicts: 306000 | #Constraints: 17849 309.26/310.17 c #Conflicts: 307000 | #Constraints: 18850 309.26/310.17 c #Conflicts: 308000 | #Constraints: 19850 309.26/310.17 c #Conflicts: 309000 | #Constraints: 20850 309.26/310.17 c #Conflicts: 310000 | #Constraints: 21852 309.26/310.17 c INPROCESSING 309.26/310.17 c GARBAGE COLLECT 309.26/310.17 c rational objective 0 332.09/333.07 c #Conflicts: 311000 | #Constraints: 11844 332.09/333.07 c #Conflicts: 312000 | #Constraints: 12845 332.09/333.07 c #Conflicts: 313000 | #Constraints: 13847 332.09/333.07 c #Conflicts: 314000 | #Constraints: 14849 332.09/333.07 c #Conflicts: 315000 | #Constraints: 15850 332.09/333.07 c #Conflicts: 316000 | #Constraints: 16850 332.09/333.07 c #Conflicts: 317000 | #Constraints: 17851 332.09/333.07 c #Conflicts: 318000 | #Constraints: 18852 332.09/333.07 c #Conflicts: 319000 | #Constraints: 19853 332.09/333.07 c #Conflicts: 320000 | #Constraints: 20853 332.09/333.07 c #Conflicts: 321000 | #Constraints: 21853 332.09/333.07 c INPROCESSING 332.09/333.07 c GARBAGE COLLECT 332.09/333.07 c rational objective 0 350.74/351.76 c #Conflicts: 322000 | #Constraints: 11645 350.74/351.76 c #Conflicts: 323000 | #Constraints: 12645 350.74/351.76 c #Conflicts: 324000 | #Constraints: 13645 350.74/351.76 c #Conflicts: 325000 | #Constraints: 14646 350.74/351.76 c #Conflicts: 326000 | #Constraints: 15646 350.74/351.76 c #Conflicts: 327000 | #Constraints: 16647 350.74/351.76 c #Conflicts: 328000 | #Constraints: 17647 350.74/351.76 c #Conflicts: 329000 | #Constraints: 18647 350.74/351.76 c #Conflicts: 330000 | #Constraints: 19648 350.74/351.76 c #Conflicts: 331000 | #Constraints: 20648 350.74/351.76 c #Conflicts: 332000 | #Constraints: 21649 350.74/351.76 c #Conflicts: 333000 | #Constraints: 22649 350.74/351.76 c INPROCESSING 350.74/351.76 c GARBAGE COLLECT 350.74/351.76 c rational objective 0 374.88/375.94 c #Conflicts: 334000 | #Constraints: 12240 374.88/375.94 c #Conflicts: 335000 | #Constraints: 13241 374.88/375.94 c #Conflicts: 336000 | #Constraints: 14241 374.88/375.94 c #Conflicts: 337000 | #Constraints: 15241 374.88/375.94 c #Conflicts: 338000 | #Constraints: 16243 374.88/375.94 c #Conflicts: 339000 | #Constraints: 17246 374.88/375.94 c #Conflicts: 340000 | #Constraints: 18247 374.88/375.94 c #Conflicts: 341000 | #Constraints: 19247 374.88/375.94 c #Conflicts: 342000 | #Constraints: 20248 374.88/375.94 c #Conflicts: 343000 | #Constraints: 21251 374.88/375.94 c #Conflicts: 344000 | #Constraints: 22251 374.88/375.94 c #Conflicts: 345000 | #Constraints: 23251 374.88/375.94 c INPROCESSING 374.88/375.94 c GARBAGE COLLECT 374.88/375.94 c rational objective 0 392.33/393.40 c #Conflicts: 346000 | #Constraints: 12652 392.33/393.40 c #Conflicts: 347000 | #Constraints: 13653 392.33/393.40 c #Conflicts: 348000 | #Constraints: 14656 392.33/393.40 c #Conflicts: 349000 | #Constraints: 15656 392.33/393.40 c #Conflicts: 350000 | #Constraints: 16656 392.33/393.40 c #Conflicts: 351000 | #Constraints: 17657 392.33/393.40 c #Conflicts: 352000 | #Constraints: 18657 392.33/393.40 c #Conflicts: 353000 | #Constraints: 19657 392.33/393.40 c #Conflicts: 354000 | #Constraints: 20659 392.33/393.40 c #Conflicts: 355000 | #Constraints: 21662 392.33/393.40 c #Conflicts: 356000 | #Constraints: 22663 392.33/393.40 c #Conflicts: 357000 | #Constraints: 23664 392.33/393.40 c INPROCESSING 392.33/393.40 c GARBAGE COLLECT 392.33/393.40 c rational objective 0 408.19/409.34 c #Conflicts: 358000 | #Constraints: 12846 408.19/409.34 c #Conflicts: 359000 | #Constraints: 13846 408.19/409.34 c #Conflicts: 360000 | #Constraints: 14846 408.19/409.34 c #Conflicts: 361000 | #Constraints: 15849 408.19/409.34 c #Conflicts: 362000 | #Constraints: 16851 408.19/409.34 c #Conflicts: 363000 | #Constraints: 17851 408.19/409.34 c #Conflicts: 364000 | #Constraints: 18851 408.19/409.34 c #Conflicts: 365000 | #Constraints: 19851 408.19/409.34 c #Conflicts: 366000 | #Constraints: 20851 408.19/409.34 c #Conflicts: 367000 | #Constraints: 21852 408.19/409.34 c #Conflicts: 368000 | #Constraints: 22853 408.19/409.34 c #Conflicts: 369000 | #Constraints: 23853 408.19/409.34 c INPROCESSING 408.19/409.34 c GARBAGE COLLECT 408.19/409.34 c rational objective 0 432.83/434.10 c #Conflicts: 370000 | #Constraints: 12846 432.83/434.10 c #Conflicts: 371000 | #Constraints: 13846 432.83/434.10 c #Conflicts: 372000 | #Constraints: 14846 432.83/434.10 c #Conflicts: 373000 | #Constraints: 15849 432.83/434.10 c #Conflicts: 374000 | #Constraints: 16849 432.83/434.10 c bounds 14 >= 0 @ 413.995 432.83/434.10 c #Conflicts: 375000 | #Constraints: 17851 432.83/434.10 c #Conflicts: 376000 | #Constraints: 18854 432.83/434.10 c #Conflicts: 377000 | #Constraints: 19856 432.83/434.10 c #Conflicts: 378000 | #Constraints: 20856 432.83/434.10 c #Conflicts: 379000 | #Constraints: 21858 432.83/434.10 c #Conflicts: 380000 | #Constraints: 22859 432.83/434.10 c #Conflicts: 381000 | #Constraints: 23861 432.83/434.10 c INPROCESSING 432.83/434.10 c GARBAGE COLLECT 432.83/434.10 c rational objective 0 450.47/451.77 c #Conflicts: 382000 | #Constraints: 12651 450.47/451.77 c #Conflicts: 383000 | #Constraints: 13652 450.47/451.77 c #Conflicts: 384000 | #Constraints: 14653 450.47/451.77 c #Conflicts: 385000 | #Constraints: 15654 450.47/451.77 c #Conflicts: 386000 | #Constraints: 16656 450.47/451.77 c #Conflicts: 387000 | #Constraints: 17657 450.47/451.77 c #Conflicts: 388000 | #Constraints: 18658 450.47/451.77 c #Conflicts: 389000 | #Constraints: 19659 450.47/451.77 c #Conflicts: 390000 | #Constraints: 20662 450.47/451.77 c #Conflicts: 391000 | #Constraints: 21663 450.47/451.77 c #Conflicts: 392000 | #Constraints: 22665 450.47/451.77 c #Conflicts: 393000 | #Constraints: 23666 450.47/451.77 c #Conflicts: 394000 | #Constraints: 24666 450.47/451.77 c INPROCESSING 450.47/451.77 c GARBAGE COLLECT 450.47/451.77 c rational objective 0 477.59/478.95 c #Conflicts: 395000 | #Constraints: 13247 477.59/478.95 c #Conflicts: 396000 | #Constraints: 14247 477.59/478.95 c #Conflicts: 397000 | #Constraints: 15247 477.59/478.95 c #Conflicts: 398000 | #Constraints: 16247 477.59/478.95 c #Conflicts: 399000 | #Constraints: 17248 477.59/478.95 c #Conflicts: 400000 | #Constraints: 18248 477.59/478.95 c #Conflicts: 401000 | #Constraints: 19248 477.59/478.95 c #Conflicts: 402000 | #Constraints: 20249 477.59/478.95 c #Conflicts: 403000 | #Constraints: 21250 477.59/478.95 c #Conflicts: 404000 | #Constraints: 22251 477.59/478.95 c #Conflicts: 405000 | #Constraints: 23252 477.59/478.95 c #Conflicts: 406000 | #Constraints: 24254 477.59/478.95 c #Conflicts: 407000 | #Constraints: 25256 477.59/478.95 c INPROCESSING 477.59/478.95 c GARBAGE COLLECT 477.59/478.95 c rational objective 0 497.64/499.00 c #Conflicts: 408000 | #Constraints: 13646 497.64/499.00 c #Conflicts: 409000 | #Constraints: 14647 497.64/499.00 c #Conflicts: 410000 | #Constraints: 15648 497.64/499.00 c #Conflicts: 411000 | #Constraints: 16649 497.64/499.00 c #Conflicts: 412000 | #Constraints: 17652 497.64/499.00 c #Conflicts: 413000 | #Constraints: 18654 497.64/499.00 c #Conflicts: 414000 | #Constraints: 19655 497.64/499.00 c #Conflicts: 415000 | #Constraints: 20655 497.64/499.00 c #Conflicts: 416000 | #Constraints: 21656 497.64/499.00 c #Conflicts: 417000 | #Constraints: 22656 497.64/499.00 c #Conflicts: 418000 | #Constraints: 23656 497.64/499.00 c #Conflicts: 419000 | #Constraints: 24656 497.64/499.00 c #Conflicts: 420000 | #Constraints: 25656 497.64/499.00 c INPROCESSING 497.64/499.00 c GARBAGE COLLECT 497.64/499.00 c rational objective 0 517.49/518.90 c #Conflicts: 421000 | #Constraints: 13845 517.49/518.90 c #Conflicts: 422000 | #Constraints: 14846 517.49/518.90 c #Conflicts: 423000 | #Constraints: 15847 517.49/518.90 c #Conflicts: 424000 | #Constraints: 16847 517.49/518.90 c #Conflicts: 425000 | #Constraints: 17847 517.49/518.90 c #Conflicts: 426000 | #Constraints: 18849 517.49/518.90 c #Conflicts: 427000 | #Constraints: 19849 517.49/518.90 c #Conflicts: 428000 | #Constraints: 20850 517.49/518.90 c #Conflicts: 429000 | #Constraints: 21851 517.49/518.90 c #Conflicts: 430000 | #Constraints: 22852 517.49/518.90 c #Conflicts: 431000 | #Constraints: 23853 517.49/518.90 c #Conflicts: 432000 | #Constraints: 24853 517.49/518.90 c #Conflicts: 433000 | #Constraints: 25853 517.49/518.90 c INPROCESSING 517.49/518.90 c GARBAGE COLLECT 517.49/518.90 c rational objective 0 546.90/548.47 c #Conflicts: 434000 | #Constraints: 13845 546.90/548.47 c #Conflicts: 435000 | #Constraints: 14845 546.90/548.47 c #Conflicts: 436000 | #Constraints: 15845 546.90/548.47 c #Conflicts: 437000 | #Constraints: 16846 546.90/548.47 c #Conflicts: 438000 | #Constraints: 17846 546.90/548.47 c #Conflicts: 439000 | #Constraints: 18847 546.90/548.47 c #Conflicts: 440000 | #Constraints: 19848 546.90/548.47 c #Conflicts: 441000 | #Constraints: 20850 546.90/548.47 c #Conflicts: 442000 | #Constraints: 21851 546.90/548.47 c #Conflicts: 443000 | #Constraints: 22851 546.90/548.47 c #Conflicts: 444000 | #Constraints: 23851 546.90/548.47 c #Conflicts: 445000 | #Constraints: 24851 546.90/548.47 c #Conflicts: 446000 | #Constraints: 25852 546.90/548.47 c INPROCESSING 546.90/548.47 c GARBAGE COLLECT 546.90/548.47 c rational objective 0 575.13/576.74 c #Conflicts: 447000 | #Constraints: 13648 575.13/576.74 c #Conflicts: 448000 | #Constraints: 14649 575.13/576.74 c #Conflicts: 449000 | #Constraints: 15650 575.13/576.74 c #Conflicts: 450000 | #Constraints: 16650 575.13/576.74 c #Conflicts: 451000 | #Constraints: 17650 575.13/576.74 c #Conflicts: 452000 | #Constraints: 18651 575.13/576.74 c #Conflicts: 453000 | #Constraints: 19651 575.13/576.74 c #Conflicts: 454000 | #Constraints: 20652 575.13/576.74 c #Conflicts: 455000 | #Constraints: 21652 575.13/576.74 c #Conflicts: 456000 | #Constraints: 22652 575.13/576.74 c #Conflicts: 457000 | #Constraints: 23653 575.13/576.74 c #Conflicts: 458000 | #Constraints: 24654 575.13/576.74 c #Conflicts: 459000 | #Constraints: 25654 575.13/576.74 c #Conflicts: 460000 | #Constraints: 26654 575.13/576.74 c INPROCESSING 575.13/576.74 c GARBAGE COLLECT 575.13/576.74 c rational objective 0 606.84/608.56 c #Conflicts: 461000 | #Constraints: 14244 606.84/608.56 c #Conflicts: 462000 | #Constraints: 15247 606.84/608.56 c #Conflicts: 463000 | #Constraints: 16247 606.84/608.56 c #Conflicts: 464000 | #Constraints: 17248 606.84/608.56 c #Conflicts: 465000 | #Constraints: 18248 606.84/608.56 c #Conflicts: 466000 | #Constraints: 19249 606.84/608.56 c #Conflicts: 467000 | #Constraints: 20251 606.84/608.56 c #Conflicts: 468000 | #Constraints: 21252 606.84/608.56 c #Conflicts: 469000 | #Constraints: 22252 606.84/608.56 c #Conflicts: 470000 | #Constraints: 23253 606.84/608.56 c #Conflicts: 471000 | #Constraints: 24254 606.84/608.56 c #Conflicts: 472000 | #Constraints: 25256 606.84/608.56 c #Conflicts: 473000 | #Constraints: 26256 606.84/608.56 c #Conflicts: 474000 | #Constraints: 27256 606.84/608.56 c INPROCESSING 606.84/608.56 c GARBAGE COLLECT 606.84/608.56 c rational objective 0 637.87/639.60 c #Conflicts: 475000 | #Constraints: 14659 637.87/639.60 c #Conflicts: 476000 | #Constraints: 15659 637.87/639.60 c #Conflicts: 477000 | #Constraints: 16659 637.87/639.60 c #Conflicts: 478000 | #Constraints: 17661 637.87/639.60 c #Conflicts: 479000 | #Constraints: 18664 637.87/639.60 c #Conflicts: 480000 | #Constraints: 19664 637.87/639.60 c #Conflicts: 481000 | #Constraints: 20665 637.87/639.60 c #Conflicts: 482000 | #Constraints: 21666 637.87/639.60 c #Conflicts: 483000 | #Constraints: 22667 637.87/639.60 c #Conflicts: 484000 | #Constraints: 23667 637.87/639.60 c #Conflicts: 485000 | #Constraints: 24667 637.87/639.60 c #Conflicts: 486000 | #Constraints: 25668 637.87/639.60 c #Conflicts: 487000 | #Constraints: 26669 637.87/639.60 c #Conflicts: 488000 | #Constraints: 27669 637.87/639.60 c INPROCESSING 637.87/639.60 c GARBAGE COLLECT 637.87/639.60 c rational objective 0 670.09/671.96 c #Conflicts: 489000 | #Constraints: 14851 670.09/671.96 c #Conflicts: 490000 | #Constraints: 15853 670.09/671.96 c #Conflicts: 491000 | #Constraints: 16854 670.09/671.96 c #Conflicts: 492000 | #Constraints: 17856 670.09/671.96 c bounds 13 >= 0 @ 639.651 670.09/671.96 c #Conflicts: 493000 | #Constraints: 18859 670.09/671.96 c #Conflicts: 494000 | #Constraints: 19861 670.09/671.96 c #Conflicts: 495000 | #Constraints: 20861 670.09/671.96 c #Conflicts: 496000 | #Constraints: 21862 670.09/671.96 c #Conflicts: 497000 | #Constraints: 22862 670.09/671.96 c #Conflicts: 498000 | #Constraints: 23864 670.09/671.96 c #Conflicts: 499000 | #Constraints: 24864 670.09/671.96 c #Conflicts: 500000 | #Constraints: 25865 670.09/671.96 c #Conflicts: 501000 | #Constraints: 26865 670.09/671.96 c #Conflicts: 502000 | #Constraints: 27865 670.09/671.96 c INPROCESSING 670.09/671.96 c GARBAGE COLLECT 670.09/671.96 c rational objective 0 696.52/698.48 c #Conflicts: 503000 | #Constraints: 14854 696.52/698.48 c #Conflicts: 504000 | #Constraints: 15855 696.52/698.48 c #Conflicts: 505000 | #Constraints: 16855 696.52/698.48 c #Conflicts: 506000 | #Constraints: 17857 696.52/698.48 c #Conflicts: 507000 | #Constraints: 18857 696.52/698.48 c #Conflicts: 508000 | #Constraints: 19859 696.52/698.48 c #Conflicts: 509000 | #Constraints: 20861 696.52/698.48 c #Conflicts: 510000 | #Constraints: 21862 696.52/698.48 c #Conflicts: 511000 | #Constraints: 22863 696.52/698.48 c #Conflicts: 512000 | #Constraints: 23863 696.52/698.48 c #Conflicts: 513000 | #Constraints: 24863 696.52/698.48 c #Conflicts: 514000 | #Constraints: 25866 696.52/698.48 c #Conflicts: 515000 | #Constraints: 26867 696.52/698.48 c #Conflicts: 516000 | #Constraints: 27868 696.52/698.48 c INPROCESSING 696.52/698.48 c GARBAGE COLLECT 696.52/698.48 c rational objective 0 731.15/733.13 c #Conflicts: 517000 | #Constraints: 14649 731.15/733.13 c #Conflicts: 518000 | #Constraints: 15652 731.15/733.13 c #Conflicts: 519000 | #Constraints: 16653 731.15/733.13 c #Conflicts: 520000 | #Constraints: 17653 731.15/733.13 c #Conflicts: 521000 | #Constraints: 18653 731.15/733.13 c #Conflicts: 522000 | #Constraints: 19654 731.15/733.13 c #Conflicts: 523000 | #Constraints: 20655 731.15/733.13 c #Conflicts: 524000 | #Constraints: 21658 731.15/733.13 c #Conflicts: 525000 | #Constraints: 22660 731.15/733.13 c #Conflicts: 526000 | #Constraints: 23660 731.15/733.13 c #Conflicts: 527000 | #Constraints: 24660 731.15/733.13 c #Conflicts: 528000 | #Constraints: 25660 731.15/733.13 c #Conflicts: 529000 | #Constraints: 26660 731.15/733.13 c #Conflicts: 530000 | #Constraints: 27661 731.15/733.13 c #Conflicts: 531000 | #Constraints: 28661 731.15/733.13 c INPROCESSING 731.15/733.13 c GARBAGE COLLECT 731.15/733.13 c rational objective 0 758.67/760.72 c #Conflicts: 532000 | #Constraints: 15252 758.67/760.72 c #Conflicts: 533000 | #Constraints: 16252 758.67/760.72 c #Conflicts: 534000 | #Constraints: 17254 758.67/760.72 c #Conflicts: 535000 | #Constraints: 18255 758.67/760.72 c #Conflicts: 536000 | #Constraints: 19256 758.67/760.72 c #Conflicts: 537000 | #Constraints: 20256 758.67/760.72 c #Conflicts: 538000 | #Constraints: 21256 758.67/760.72 c #Conflicts: 539000 | #Constraints: 22258 758.67/760.72 c #Conflicts: 540000 | #Constraints: 23259 758.67/760.72 c #Conflicts: 541000 | #Constraints: 24261 758.67/760.72 c #Conflicts: 542000 | #Constraints: 25261 758.67/760.72 c #Conflicts: 543000 | #Constraints: 26263 758.67/760.72 c #Conflicts: 544000 | #Constraints: 27263 758.67/760.72 c #Conflicts: 545000 | #Constraints: 28264 758.67/760.72 c #Conflicts: 546000 | #Constraints: 29265 758.67/760.72 c INPROCESSING 758.67/760.72 c GARBAGE COLLECT 758.67/760.72 c rational objective 0 785.30/787.49 c #Conflicts: 547000 | #Constraints: 15648 785.30/787.49 c #Conflicts: 548000 | #Constraints: 16648 785.30/787.49 c #Conflicts: 549000 | #Constraints: 17648 785.30/787.49 c #Conflicts: 550000 | #Constraints: 18649 785.30/787.49 c #Conflicts: 551000 | #Constraints: 19650 785.30/787.49 c #Conflicts: 552000 | #Constraints: 20651 785.30/787.49 c #Conflicts: 553000 | #Constraints: 21652 785.30/787.49 c #Conflicts: 554000 | #Constraints: 22653 785.30/787.49 c #Conflicts: 555000 | #Constraints: 23653 785.30/787.49 c #Conflicts: 556000 | #Constraints: 24655 785.30/787.49 c #Conflicts: 557000 | #Constraints: 25655 785.30/787.49 c #Conflicts: 558000 | #Constraints: 26655 785.30/787.49 c #Conflicts: 559000 | #Constraints: 27656 785.30/787.49 c #Conflicts: 560000 | #Constraints: 28656 785.30/787.49 c #Conflicts: 561000 | #Constraints: 29658 785.30/787.49 c INPROCESSING 785.30/787.49 c GARBAGE COLLECT 785.30/787.49 c rational objective 0 826.30/828.54 c #Conflicts: 562000 | #Constraints: 15847 826.30/828.54 c #Conflicts: 563000 | #Constraints: 16848 826.30/828.54 c #Conflicts: 564000 | #Constraints: 17848 826.30/828.54 c #Conflicts: 565000 | #Constraints: 18848 826.30/828.54 c #Conflicts: 566000 | #Constraints: 19849 826.30/828.54 c #Conflicts: 567000 | #Constraints: 20849 826.30/828.54 c #Conflicts: 568000 | #Constraints: 21850 826.30/828.54 c #Conflicts: 569000 | #Constraints: 22851 826.30/828.54 c #Conflicts: 570000 | #Constraints: 23851 826.30/828.54 c #Conflicts: 571000 | #Constraints: 24851 826.30/828.54 c #Conflicts: 572000 | #Constraints: 25851 826.30/828.54 c #Conflicts: 573000 | #Constraints: 26851 826.30/828.54 c #Conflicts: 574000 | #Constraints: 27852 826.30/828.54 c #Conflicts: 575000 | #Constraints: 28852 826.30/828.54 c #Conflicts: 576000 | #Constraints: 29852 826.30/828.54 c INPROCESSING 826.30/828.54 c GARBAGE COLLECT 826.30/828.54 c rational objective 0 856.52/858.81 c #Conflicts: 577000 | #Constraints: 15846 856.52/858.81 c #Conflicts: 578000 | #Constraints: 16847 856.52/858.81 c #Conflicts: 579000 | #Constraints: 17848 856.52/858.81 c #Conflicts: 580000 | #Constraints: 18848 856.52/858.81 c #Conflicts: 581000 | #Constraints: 19850 856.52/858.81 c #Conflicts: 582000 | #Constraints: 20850 856.52/858.81 c #Conflicts: 583000 | #Constraints: 21851 856.52/858.81 c #Conflicts: 584000 | #Constraints: 22852 856.52/858.81 c #Conflicts: 585000 | #Constraints: 23853 856.52/858.81 c #Conflicts: 586000 | #Constraints: 24853 856.52/858.81 c #Conflicts: 587000 | #Constraints: 25853 856.52/858.81 c #Conflicts: 588000 | #Constraints: 26853 856.52/858.81 c #Conflicts: 589000 | #Constraints: 27853 856.52/858.81 c #Conflicts: 590000 | #Constraints: 28854 856.52/858.81 c #Conflicts: 591000 | #Constraints: 29854 856.52/858.81 c INPROCESSING 856.52/858.81 c GARBAGE COLLECT 856.52/858.81 c rational objective 0 905.29/907.72 c #Conflicts: 592000 | #Constraints: 15644 905.29/907.72 c #Conflicts: 593000 | #Constraints: 16646 905.29/907.72 c #Conflicts: 594000 | #Constraints: 17647 905.29/907.72 c #Conflicts: 595000 | #Constraints: 18648 905.29/907.72 c #Conflicts: 596000 | #Constraints: 19648 905.29/907.72 c #Conflicts: 597000 | #Constraints: 20648 905.29/907.72 c #Conflicts: 598000 | #Constraints: 21648 905.29/907.72 c #Conflicts: 599000 | #Constraints: 22649 905.29/907.72 c #Conflicts: 600000 | #Constraints: 23650 905.29/907.72 c #Conflicts: 601000 | #Constraints: 24651 905.29/907.72 c #Conflicts: 602000 | #Constraints: 25651 905.29/907.72 c #Conflicts: 603000 | #Constraints: 26652 905.29/907.72 c #Conflicts: 604000 | #Constraints: 27652 905.29/907.72 c #Conflicts: 605000 | #Constraints: 28653 905.29/907.72 c #Conflicts: 606000 | #Constraints: 29654 905.29/907.72 c #Conflicts: 607000 | #Constraints: 30654 905.29/907.72 c INPROCESSING 905.29/907.72 c GARBAGE COLLECT 905.29/907.72 c rational objective 0 941.49/944.10 c #Conflicts: 608000 | #Constraints: 16252 941.49/944.10 c #Conflicts: 609000 | #Constraints: 17253 941.49/944.10 c #Conflicts: 610000 | #Constraints: 18254 941.49/944.10 c #Conflicts: 611000 | #Constraints: 19254 941.49/944.10 c #Conflicts: 612000 | #Constraints: 20255 941.49/944.10 c #Conflicts: 613000 | #Constraints: 21256 941.49/944.10 c #Conflicts: 614000 | #Constraints: 22257 941.49/944.10 c #Conflicts: 615000 | #Constraints: 23257 941.49/944.10 c #Conflicts: 616000 | #Constraints: 24259 941.49/944.10 c #Conflicts: 617000 | #Constraints: 25261 941.49/944.10 c #Conflicts: 618000 | #Constraints: 26261 941.49/944.10 c #Conflicts: 619000 | #Constraints: 27261 941.49/944.10 c #Conflicts: 620000 | #Constraints: 28262 941.49/944.10 c #Conflicts: 621000 | #Constraints: 29262 941.49/944.10 c #Conflicts: 622000 | #Constraints: 30262 941.49/944.10 c #Conflicts: 623000 | #Constraints: 31262 941.49/944.10 c INPROCESSING 941.49/944.10 c GARBAGE COLLECT 941.49/944.10 c rational objective 0 973.50/976.16 c #Conflicts: 624000 | #Constraints: 16645 973.50/976.16 c #Conflicts: 625000 | #Constraints: 17645 973.50/976.16 c #Conflicts: 626000 | #Constraints: 18645 973.50/976.16 c #Conflicts: 627000 | #Constraints: 19645 973.50/976.16 c #Conflicts: 628000 | #Constraints: 20647 973.50/976.16 c #Conflicts: 629000 | #Constraints: 21647 973.50/976.16 c #Conflicts: 630000 | #Constraints: 22647 973.50/976.16 c #Conflicts: 631000 | #Constraints: 23648 973.50/976.16 c #Conflicts: 632000 | #Constraints: 24650 973.50/976.16 c #Conflicts: 633000 | #Constraints: 25651 973.50/976.16 c #Conflicts: 634000 | #Constraints: 26651 973.50/976.16 c #Conflicts: 635000 | #Constraints: 27651 973.50/976.16 c #Conflicts: 636000 | #Constraints: 28652 973.50/976.16 c #Conflicts: 637000 | #Constraints: 29653 973.50/976.16 c #Conflicts: 638000 | #Constraints: 30653 973.50/976.16 c #Conflicts: 639000 | #Constraints: 31653 973.50/976.16 c INPROCESSING 973.50/976.16 c GARBAGE COLLECT 973.50/976.16 c rational objective 0 1024.94/1027.70 c #Conflicts: 640000 | #Constraints: 16840 1024.94/1027.70 c #Conflicts: 641000 | #Constraints: 17840 1024.94/1027.70 c #Conflicts: 642000 | #Constraints: 18840 1024.94/1027.70 c #Conflicts: 643000 | #Constraints: 19840 1024.94/1027.70 c #Conflicts: 644000 | #Constraints: 20842 1024.94/1027.70 c #Conflicts: 645000 | #Constraints: 21843 1024.94/1027.70 c #Conflicts: 646000 | #Constraints: 22843 1024.94/1027.70 c #Conflicts: 647000 | #Constraints: 23843 1024.94/1027.70 c #Conflicts: 648000 | #Constraints: 24844 1024.94/1027.70 c #Conflicts: 649000 | #Constraints: 25845 1024.94/1027.70 c #Conflicts: 650000 | #Constraints: 26845 1024.94/1027.70 c #Conflicts: 651000 | #Constraints: 27845 1024.94/1027.70 c #Conflicts: 652000 | #Constraints: 28845 1024.94/1027.70 c #Conflicts: 653000 | #Constraints: 29846 1024.94/1027.70 c #Conflicts: 654000 | #Constraints: 30846 1024.94/1027.70 c #Conflicts: 655000 | #Constraints: 31846 1024.94/1027.70 c INPROCESSING 1024.94/1027.70 c GARBAGE COLLECT 1024.94/1027.70 c rational objective 0 1061.42/1064.30 c #Conflicts: 656000 | #Constraints: 16846 1061.42/1064.30 c #Conflicts: 657000 | #Constraints: 17846 1061.42/1064.30 c #Conflicts: 658000 | #Constraints: 18846 1061.42/1064.30 c #Conflicts: 659000 | #Constraints: 19847 1061.42/1064.30 c #Conflicts: 660000 | #Constraints: 20848 1061.42/1064.30 c #Conflicts: 661000 | #Constraints: 21851 1061.42/1064.30 c #Conflicts: 662000 | #Constraints: 22851 1061.42/1064.30 c #Conflicts: 663000 | #Constraints: 23851 1061.42/1064.30 c #Conflicts: 664000 | #Constraints: 24852 1061.42/1064.30 c #Conflicts: 665000 | #Constraints: 25853 1061.42/1064.30 c #Conflicts: 666000 | #Constraints: 26855 1061.42/1064.30 c #Conflicts: 667000 | #Constraints: 27855 1061.42/1064.30 c #Conflicts: 668000 | #Constraints: 28857 1061.42/1064.30 c #Conflicts: 669000 | #Constraints: 29859 1061.42/1064.30 c #Conflicts: 670000 | #Constraints: 30859 1061.42/1064.30 c #Conflicts: 671000 | #Constraints: 31861 1061.42/1064.30 c INPROCESSING 1061.42/1064.30 c GARBAGE COLLECT 1061.42/1064.30 c rational objective 0 1120.93/1124.04 c #Conflicts: 672000 | #Constraints: 16646 1120.93/1124.04 c #Conflicts: 673000 | #Constraints: 17646 1120.93/1124.04 c #Conflicts: 674000 | #Constraints: 18647 1120.93/1124.04 c #Conflicts: 675000 | #Constraints: 19648 1120.93/1124.04 c #Conflicts: 676000 | #Constraints: 20649 1120.93/1124.04 c #Conflicts: 677000 | #Constraints: 21650 1120.93/1124.04 c #Conflicts: 678000 | #Constraints: 22652 1120.93/1124.04 c #Conflicts: 679000 | #Constraints: 23652 1120.93/1124.04 c #Conflicts: 680000 | #Constraints: 24654 1120.93/1124.04 c #Conflicts: 681000 | #Constraints: 25655 1120.93/1124.04 c #Conflicts: 682000 | #Constraints: 26656 1120.93/1124.04 c #Conflicts: 683000 | #Constraints: 27656 1120.93/1124.04 c #Conflicts: 684000 | #Constraints: 28657 1120.93/1124.04 c #Conflicts: 685000 | #Constraints: 29657 1120.93/1124.04 c #Conflicts: 686000 | #Constraints: 30658 1120.93/1124.04 c #Conflicts: 687000 | #Constraints: 31658 1120.93/1124.04 c #Conflicts: 688000 | #Constraints: 32658 1120.93/1124.04 c INPROCESSING 1120.93/1124.04 c GARBAGE COLLECT 1120.93/1124.04 c rational objective 0 1163.49/1166.71 c #Conflicts: 689000 | #Constraints: 17250 1163.49/1166.71 c #Conflicts: 690000 | #Constraints: 18250 1163.49/1166.71 c #Conflicts: 691000 | #Constraints: 19251 1163.49/1166.71 c #Conflicts: 692000 | #Constraints: 20251 1163.49/1166.71 c #Conflicts: 693000 | #Constraints: 21253 1163.49/1166.71 c #Conflicts: 694000 | #Constraints: 22254 1163.49/1166.71 c #Conflicts: 695000 | #Constraints: 23254 1163.49/1166.71 c #Conflicts: 696000 | #Constraints: 24254 1163.49/1166.71 c #Conflicts: 697000 | #Constraints: 25255 1163.49/1166.71 c #Conflicts: 698000 | #Constraints: 26256 1163.49/1166.71 c #Conflicts: 699000 | #Constraints: 27256 1163.49/1166.71 c #Conflicts: 700000 | #Constraints: 28258 1163.49/1166.71 c #Conflicts: 701000 | #Constraints: 29259 1163.49/1166.71 c #Conflicts: 702000 | #Constraints: 30259 1163.49/1166.71 c #Conflicts: 703000 | #Constraints: 31259 1163.49/1166.71 c #Conflicts: 704000 | #Constraints: 32260 1163.49/1166.71 c #Conflicts: 705000 | #Constraints: 33260 1163.49/1166.71 c INPROCESSING 1163.49/1166.71 c GARBAGE COLLECT 1163.49/1166.71 c rational objective 0 1211.43/1214.81 c #Conflicts: 706000 | #Constraints: 17648 1211.43/1214.81 c #Conflicts: 707000 | #Constraints: 18648 1211.43/1214.81 c #Conflicts: 708000 | #Constraints: 19649 1211.43/1214.81 c #Conflicts: 709000 | #Constraints: 20650 1211.43/1214.81 c #Conflicts: 710000 | #Constraints: 21653 1211.43/1214.81 c #Conflicts: 711000 | #Constraints: 22653 1211.43/1214.81 c #Conflicts: 712000 | #Constraints: 23653 1211.43/1214.81 c #Conflicts: 713000 | #Constraints: 24653 1211.43/1214.81 c #Conflicts: 714000 | #Constraints: 25653 1211.43/1214.81 c #Conflicts: 715000 | #Constraints: 26653 1211.43/1214.81 c #Conflicts: 716000 | #Constraints: 27654 1211.43/1214.81 c #Conflicts: 717000 | #Constraints: 28654 1211.43/1214.81 c #Conflicts: 718000 | #Constraints: 29655 1211.43/1214.81 c #Conflicts: 719000 | #Constraints: 30655 1211.43/1214.81 c #Conflicts: 720000 | #Constraints: 31656 1211.43/1214.81 c #Conflicts: 721000 | #Constraints: 32656 1211.43/1214.81 c #Conflicts: 722000 | #Constraints: 33656 1211.43/1214.81 c INPROCESSING 1211.43/1214.81 c GARBAGE COLLECT 1211.43/1214.81 c rational objective 0 1279.20/1282.89 c #Conflicts: 723000 | #Constraints: 17843 1279.20/1282.89 c #Conflicts: 724000 | #Constraints: 18845 1279.20/1282.89 c #Conflicts: 725000 | #Constraints: 19845 1279.20/1282.89 c #Conflicts: 726000 | #Constraints: 20845 1279.20/1282.89 c #Conflicts: 727000 | #Constraints: 21846 1279.20/1282.89 c #Conflicts: 728000 | #Constraints: 22847 1279.20/1282.89 c #Conflicts: 729000 | #Constraints: 23848 1279.20/1282.89 c #Conflicts: 730000 | #Constraints: 24848 1279.20/1282.89 c #Conflicts: 731000 | #Constraints: 25850 1279.20/1282.89 c #Conflicts: 732000 | #Constraints: 26850 1279.20/1282.89 c #Conflicts: 733000 | #Constraints: 27850 1279.20/1282.89 c #Conflicts: 734000 | #Constraints: 28850 1279.20/1282.89 c #Conflicts: 735000 | #Constraints: 29850 1279.20/1282.89 c #Conflicts: 736000 | #Constraints: 30851 1279.20/1282.89 c #Conflicts: 737000 | #Constraints: 31851 1279.20/1282.89 c #Conflicts: 738000 | #Constraints: 32851 1279.20/1282.89 c #Conflicts: 739000 | #Constraints: 33851 1279.20/1282.89 c INPROCESSING 1279.20/1282.89 c GARBAGE COLLECT 1279.20/1282.89 c rational objective 0 1329.04/1332.86 c #Conflicts: 740000 | #Constraints: 17849 1329.04/1332.86 c #Conflicts: 741000 | #Constraints: 18849 1329.04/1332.86 c #Conflicts: 742000 | #Constraints: 19852 1329.04/1332.86 c #Conflicts: 743000 | #Constraints: 20855 1329.04/1332.86 c #Conflicts: 744000 | #Constraints: 21858 1329.04/1332.86 c #Conflicts: 745000 | #Constraints: 22860 1329.04/1332.86 c #Conflicts: 746000 | #Constraints: 23860 1329.04/1332.86 c #Conflicts: 747000 | #Constraints: 24860 1329.04/1332.86 c #Conflicts: 748000 | #Constraints: 25860 1329.04/1332.86 c #Conflicts: 749000 | #Constraints: 26860 1329.04/1332.86 c #Conflicts: 750000 | #Constraints: 27860 1329.04/1332.86 c #Conflicts: 751000 | #Constraints: 28860 1329.04/1332.86 c #Conflicts: 752000 | #Constraints: 29860 1329.04/1332.86 c #Conflicts: 753000 | #Constraints: 30860 1329.04/1332.86 c #Conflicts: 754000 | #Constraints: 31860 1329.04/1332.86 c #Conflicts: 755000 | #Constraints: 32860 1329.04/1332.86 c #Conflicts: 756000 | #Constraints: 33861 1329.04/1332.86 c INPROCESSING 1329.04/1332.86 c GARBAGE COLLECT 1329.04/1332.86 c rational objective 0 1403.70/1407.75 c #Conflicts: 757000 | #Constraints: 17647 1403.70/1407.75 c #Conflicts: 758000 | #Constraints: 18647 1403.70/1407.75 c #Conflicts: 759000 | #Constraints: 19647 1403.70/1407.75 c #Conflicts: 760000 | #Constraints: 20647 1403.70/1407.75 c #Conflicts: 761000 | #Constraints: 21647 1403.70/1407.75 c #Conflicts: 762000 | #Constraints: 22647 1403.70/1407.75 c #Conflicts: 763000 | #Constraints: 23647 1403.70/1407.75 c #Conflicts: 764000 | #Constraints: 24649 1403.70/1407.75 c #Conflicts: 765000 | #Constraints: 25651 1403.70/1407.75 c #Conflicts: 766000 | #Constraints: 26651 1403.70/1407.75 c #Conflicts: 767000 | #Constraints: 27651 1403.70/1407.75 c #Conflicts: 768000 | #Constraints: 28651 1403.70/1407.75 c #Conflicts: 769000 | #Constraints: 29651 1403.70/1407.75 c #Conflicts: 770000 | #Constraints: 30651 1403.70/1407.75 c #Conflicts: 771000 | #Constraints: 31651 1403.70/1407.75 c #Conflicts: 772000 | #Constraints: 32651 1403.70/1407.75 c #Conflicts: 773000 | #Constraints: 33651 1403.70/1407.75 c #Conflicts: 774000 | #Constraints: 34651 1403.70/1407.75 c INPROCESSING 1403.70/1407.75 c GARBAGE COLLECT 1403.70/1407.75 c rational objective 0 1456.42/1460.63 c #Conflicts: 775000 | #Constraints: 18248 1456.42/1460.63 c #Conflicts: 776000 | #Constraints: 19248 1456.42/1460.63 c #Conflicts: 777000 | #Constraints: 20248 1456.42/1460.63 c #Conflicts: 778000 | #Constraints: 21249 1456.42/1460.63 c #Conflicts: 779000 | #Constraints: 22249 1456.42/1460.63 c #Conflicts: 780000 | #Constraints: 23249 1456.42/1460.63 c #Conflicts: 781000 | #Constraints: 24249 1456.42/1460.63 c #Conflicts: 782000 | #Constraints: 25251 1456.42/1460.63 c #Conflicts: 783000 | #Constraints: 26251 1456.42/1460.63 c #Conflicts: 784000 | #Constraints: 27251 1456.42/1460.63 c #Conflicts: 785000 | #Constraints: 28252 1456.42/1460.63 c #Conflicts: 786000 | #Constraints: 29252 1456.42/1460.63 c #Conflicts: 787000 | #Constraints: 30253 1456.42/1460.63 c #Conflicts: 788000 | #Constraints: 31253 1456.42/1460.63 c #Conflicts: 789000 | #Constraints: 32254 1456.42/1460.63 c #Conflicts: 790000 | #Constraints: 33256 1456.42/1460.63 c #Conflicts: 791000 | #Constraints: 34256 1456.42/1460.63 c #Conflicts: 792000 | #Constraints: 35256 1456.42/1460.63 c INPROCESSING 1456.42/1460.63 c GARBAGE COLLECT 1456.42/1460.63 c rational objective 0 1537.86/1542.36 c #Conflicts: 793000 | #Constraints: 18644 1537.86/1542.36 c #Conflicts: 794000 | #Constraints: 19645 1537.86/1542.36 c #Conflicts: 795000 | #Constraints: 20646 1537.86/1542.36 c #Conflicts: 796000 | #Constraints: 21647 1537.86/1542.36 c #Conflicts: 797000 | #Constraints: 22647 1537.86/1542.36 c #Conflicts: 798000 | #Constraints: 23647 1537.86/1542.36 c #Conflicts: 799000 | #Constraints: 24648 1537.86/1542.36 c #Conflicts: 800000 | #Constraints: 25648 1537.86/1542.36 c #Conflicts: 801000 | #Constraints: 26648 1537.86/1542.36 c #Conflicts: 802000 | #Constraints: 27652 1537.86/1542.36 c #Conflicts: 803000 | #Constraints: 28653 1537.86/1542.36 c #Conflicts: 804000 | #Constraints: 29653 1537.86/1542.36 c #Conflicts: 805000 | #Constraints: 30653 1537.86/1542.36 c #Conflicts: 806000 | #Constraints: 31653 1537.86/1542.36 c #Conflicts: 807000 | #Constraints: 32654 1537.86/1542.36 c #Conflicts: 808000 | #Constraints: 33655 1537.86/1542.36 c #Conflicts: 809000 | #Constraints: 34656 1537.86/1542.36 c #Conflicts: 810000 | #Constraints: 35656 1537.86/1542.36 c INPROCESSING 1537.86/1542.36 c GARBAGE COLLECT 1537.86/1542.36 c rational objective 0 1591.49/1596.11 c #Conflicts: 811000 | #Constraints: 18853 1591.49/1596.11 c #Conflicts: 812000 | #Constraints: 19854 1591.49/1596.11 c #Conflicts: 813000 | #Constraints: 20855 1591.49/1596.11 c #Conflicts: 814000 | #Constraints: 21856 1591.49/1596.11 c #Conflicts: 815000 | #Constraints: 22857 1591.49/1596.11 c #Conflicts: 816000 | #Constraints: 23857 1591.49/1596.11 c #Conflicts: 817000 | #Constraints: 24858 1591.49/1596.11 c #Conflicts: 818000 | #Constraints: 25858 1591.49/1596.11 c #Conflicts: 819000 | #Constraints: 26858 1591.49/1596.11 c #Conflicts: 820000 | #Constraints: 27858 1591.49/1596.11 c #Conflicts: 821000 | #Constraints: 28859 1591.49/1596.11 c #Conflicts: 822000 | #Constraints: 29860 1591.49/1596.11 c #Conflicts: 823000 | #Constraints: 30860 1591.49/1596.11 c #Conflicts: 824000 | #Constraints: 31860 1591.49/1596.11 c #Conflicts: 825000 | #Constraints: 32860 1591.49/1596.11 c #Conflicts: 826000 | #Constraints: 33860 1591.49/1596.11 c #Conflicts: 827000 | #Constraints: 34861 1591.49/1596.11 c #Conflicts: 828000 | #Constraints: 35862 1591.49/1596.11 c INPROCESSING 1591.49/1596.11 c GARBAGE COLLECT 1591.49/1596.11 c rational objective 0 1649.22/1654.02 c #Conflicts: 829000 | #Constraints: 18852 1649.22/1654.02 c #Conflicts: 830000 | #Constraints: 19852 1649.22/1654.02 c #Conflicts: 831000 | #Constraints: 20852 1649.22/1654.02 c #Conflicts: 832000 | #Constraints: 21852 1649.22/1654.02 c #Conflicts: 833000 | #Constraints: 22852 1649.22/1654.02 c #Conflicts: 834000 | #Constraints: 23853 1649.22/1654.02 c #Conflicts: 835000 | #Constraints: 24853 1649.22/1654.02 c #Conflicts: 836000 | #Constraints: 25853 1649.22/1654.02 c #Conflicts: 837000 | #Constraints: 26854 1649.22/1654.02 c #Conflicts: 838000 | #Constraints: 27854 1649.22/1654.02 c #Conflicts: 839000 | #Constraints: 28854 1649.22/1654.02 c #Conflicts: 840000 | #Constraints: 29854 1649.22/1654.02 c #Conflicts: 841000 | #Constraints: 30854 1649.22/1654.02 c #Conflicts: 842000 | #Constraints: 31854 1649.22/1654.02 c #Conflicts: 843000 | #Constraints: 32854 1649.22/1654.02 c #Conflicts: 844000 | #Constraints: 33854 1649.22/1654.02 c #Conflicts: 845000 | #Constraints: 34854 1649.22/1654.02 c #Conflicts: 846000 | #Constraints: 35855 1649.22/1654.02 c INPROCESSING 1649.22/1654.02 c GARBAGE COLLECT 1649.22/1654.02 c rational objective 0 1732.89/1737.98 c #Conflicts: 847000 | #Constraints: 18642 1732.89/1737.98 c #Conflicts: 848000 | #Constraints: 19642 1732.89/1737.98 c #Conflicts: 849000 | #Constraints: 20642 1732.89/1737.98 c #Conflicts: 850000 | #Constraints: 21642 1732.89/1737.98 c #Conflicts: 851000 | #Constraints: 22644 1732.89/1737.98 c #Conflicts: 852000 | #Constraints: 23644 1732.89/1737.98 c #Conflicts: 853000 | #Constraints: 24645 1732.89/1737.98 c #Conflicts: 854000 | #Constraints: 25646 1732.89/1737.98 c #Conflicts: 855000 | #Constraints: 26646 1732.89/1737.98 c #Conflicts: 856000 | #Constraints: 27646 1732.89/1737.98 c #Conflicts: 857000 | #Constraints: 28648 1732.89/1737.98 c #Conflicts: 858000 | #Constraints: 29649 1732.89/1737.98 c #Conflicts: 859000 | #Constraints: 30649 1732.89/1737.98 c #Conflicts: 860000 | #Constraints: 31649 1732.89/1737.98 c #Conflicts: 861000 | #Constraints: 32650 1732.89/1737.98 c #Conflicts: 862000 | #Constraints: 33650 1732.89/1737.98 c #Conflicts: 863000 | #Constraints: 34650 1732.89/1737.98 c #Conflicts: 864000 | #Constraints: 35652 1732.89/1737.98 c #Conflicts: 865000 | #Constraints: 36652 1732.89/1737.98 c INPROCESSING 1732.89/1737.98 c GARBAGE COLLECT 1732.89/1737.98 c rational objective 0 1778.18/1783.38 c #Conflicts: 866000 | #Constraints: 19248 1778.18/1783.38 c #Conflicts: 867000 | #Constraints: 20249 1778.18/1783.38 c #Conflicts: 868000 | #Constraints: 21249 1778.18/1783.38 c #Conflicts: 869000 | #Constraints: 22251 1778.18/1783.38 c #Conflicts: 870000 | #Constraints: 23251 1778.18/1783.38 c #Conflicts: 871000 | #Constraints: 24251 1778.18/1783.38 c #Conflicts: 872000 | #Constraints: 25252 1778.18/1783.38 c #Conflicts: 873000 | #Constraints: 26252 1778.18/1783.38 c #Conflicts: 874000 | #Constraints: 27252 1778.18/1783.38 c #Conflicts: 875000 | #Constraints: 28252 1778.18/1783.38 c #Conflicts: 876000 | #Constraints: 29255 1778.18/1783.38 c #Conflicts: 877000 | #Constraints: 30256 1778.18/1783.38 c #Conflicts: 878000 | #Constraints: 31257 1778.18/1783.38 c #Conflicts: 879000 | #Constraints: 32257 1778.18/1783.38 c #Conflicts: 880000 | #Constraints: 33257 1778.18/1783.38 c #Conflicts: 881000 | #Constraints: 34257 1778.18/1783.38 c #Conflicts: 882000 | #Constraints: 35257 1778.18/1783.38 c #Conflicts: 883000 | #Constraints: 36257 1778.18/1783.38 c #Conflicts: 884000 | #Constraints: 37257 1778.18/1783.38 c INPROCESSING 1778.18/1783.38 c GARBAGE COLLECT 1778.18/1783.38 c rational objective 0 1853.59/1858.96 c #Conflicts: 885000 | #Constraints: 19640 1853.59/1858.96 c #Conflicts: 886000 | #Constraints: 20640 1853.59/1858.96 c #Conflicts: 887000 | #Constraints: 21641 1853.59/1858.96 c #Conflicts: 888000 | #Constraints: 22641 1853.59/1858.96 c #Conflicts: 889000 | #Constraints: 23641 1853.59/1858.96 c #Conflicts: 890000 | #Constraints: 24641 1853.59/1858.96 c #Conflicts: 891000 | #Constraints: 25641 1853.59/1858.96 c #Conflicts: 892000 | #Constraints: 26641 1853.59/1858.96 c #Conflicts: 893000 | #Constraints: 27641 1853.59/1858.96 c #Conflicts: 894000 | #Constraints: 28641 1853.59/1858.96 c #Conflicts: 895000 | #Constraints: 29641 1853.59/1858.96 c #Conflicts: 896000 | #Constraints: 30641 1853.59/1858.96 c #Conflicts: 897000 | #Constraints: 31644 1853.59/1858.96 c #Conflicts: 898000 | #Constraints: 32645 1853.59/1858.96 c #Conflicts: 899000 | #Constraints: 33645 1853.59/1858.96 c #Conflicts: 900000 | #Constraints: 34645 1853.59/1858.96 c #Conflicts: 901000 | #Constraints: 35646 1853.59/1858.96 c #Conflicts: 902000 | #Constraints: 36646 1853.59/1858.96 c #Conflicts: 903000 | #Constraints: 37646 1853.59/1858.96 c INPROCESSING 1853.59/1858.96 c GARBAGE COLLECT 1853.59/1858.96 c rational objective 0 1903.08/1908.55 c #Conflicts: 904000 | #Constraints: 19850 1903.08/1908.55 c #Conflicts: 905000 | #Constraints: 20850 1903.08/1908.55 c #Conflicts: 906000 | #Constraints: 21852 1903.08/1908.55 c #Conflicts: 907000 | #Constraints: 22853 1903.08/1908.55 c #Conflicts: 908000 | #Constraints: 23853 1903.08/1908.55 c #Conflicts: 909000 | #Constraints: 24853 1903.08/1908.55 c #Conflicts: 910000 | #Constraints: 25854 1903.08/1908.55 c #Conflicts: 911000 | #Constraints: 26854 1903.08/1908.55 c #Conflicts: 912000 | #Constraints: 27854 1903.08/1908.55 c #Conflicts: 913000 | #Constraints: 28854 1903.08/1908.55 c #Conflicts: 914000 | #Constraints: 29854 1903.08/1908.55 c #Conflicts: 915000 | #Constraints: 30855 1903.08/1908.55 c #Conflicts: 916000 | #Constraints: 31856 1903.08/1908.55 c #Conflicts: 917000 | #Constraints: 32856 1903.08/1908.55 c #Conflicts: 918000 | #Constraints: 33856 1903.08/1908.55 c #Conflicts: 919000 | #Constraints: 34856 1903.08/1908.55 c #Conflicts: 920000 | #Constraints: 35857 1903.08/1908.55 c #Conflicts: 921000 | #Constraints: 36858 1903.08/1908.55 c #Conflicts: 922000 | #Constraints: 37860 1903.08/1908.55 c INPROCESSING 1903.08/1908.55 c GARBAGE COLLECT 1903.08/1908.55 c rational objective 0 1950.85/1956.41 c #Conflicts: 923000 | #Constraints: 19846 1950.85/1956.41 c #Conflicts: 924000 | #Constraints: 20847 1950.85/1956.41 c #Conflicts: 925000 | #Constraints: 21847 1950.85/1956.41 c #Conflicts: 926000 | #Constraints: 22848 1950.85/1956.41 c #Conflicts: 927000 | #Constraints: 23849 1950.85/1956.41 c #Conflicts: 928000 | #Constraints: 24851 1950.85/1956.41 c #Conflicts: 929000 | #Constraints: 25851 1950.85/1956.41 c #Conflicts: 930000 | #Constraints: 26851 1950.85/1956.41 c #Conflicts: 931000 | #Constraints: 27852 1950.85/1956.41 c #Conflicts: 932000 | #Constraints: 28852 1950.85/1956.41 c #Conflicts: 933000 | #Constraints: 29852 1950.85/1956.41 c #Conflicts: 934000 | #Constraints: 30853 1950.85/1956.41 c #Conflicts: 935000 | #Constraints: 31853 1950.85/1956.41 c #Conflicts: 936000 | #Constraints: 32853 1950.85/1956.41 c #Conflicts: 937000 | #Constraints: 33855 1950.85/1956.41 c #Conflicts: 938000 | #Constraints: 34855 1950.85/1956.41 c #Conflicts: 939000 | #Constraints: 35855 1950.85/1956.41 c #Conflicts: 940000 | #Constraints: 36855 1950.85/1956.41 c #Conflicts: 941000 | #Constraints: 37855 1950.85/1956.41 c INPROCESSING 1950.85/1956.41 c GARBAGE COLLECT 1950.85/1956.41 c rational objective 0 2023.08/2028.87 c #Conflicts: 942000 | #Constraints: 19644 2023.08/2028.87 c #Conflicts: 943000 | #Constraints: 20644 2023.08/2028.87 c #Conflicts: 944000 | #Constraints: 21644 2023.08/2028.87 c #Conflicts: 945000 | #Constraints: 22644 2023.08/2028.87 c #Conflicts: 946000 | #Constraints: 23644 2023.08/2028.87 c #Conflicts: 947000 | #Constraints: 24644 2023.08/2028.87 c #Conflicts: 948000 | #Constraints: 25644 2023.08/2028.87 c #Conflicts: 949000 | #Constraints: 26644 2023.08/2028.87 c #Conflicts: 950000 | #Constraints: 27644 2023.08/2028.87 c bounds 12 >= 0 @ 1969.02 2023.08/2028.87 c #Conflicts: 951000 | #Constraints: 28645 2023.08/2028.87 c #Conflicts: 952000 | #Constraints: 29645 2023.08/2028.87 c #Conflicts: 953000 | #Constraints: 30645 2023.08/2028.87 c #Conflicts: 954000 | #Constraints: 31645 2023.08/2028.87 c #Conflicts: 955000 | #Constraints: 32645 2023.08/2028.87 c #Conflicts: 956000 | #Constraints: 33645 2023.08/2028.87 c #Conflicts: 957000 | #Constraints: 34645 2023.08/2028.87 c #Conflicts: 958000 | #Constraints: 35645 2023.08/2028.87 c #Conflicts: 959000 | #Constraints: 36645 2023.08/2028.87 c #Conflicts: 960000 | #Constraints: 37645 2023.08/2028.87 c #Conflicts: 961000 | #Constraints: 38645 2023.08/2028.87 c INPROCESSING 2023.08/2028.87 c GARBAGE COLLECT 2023.08/2028.87 c rational objective 0 2110.56/2116.52 c #Conflicts: 962000 | #Constraints: 20237 2110.56/2116.52 c #Conflicts: 963000 | #Constraints: 21237 2110.56/2116.52 c #Conflicts: 964000 | #Constraints: 22237 2110.56/2116.52 c #Conflicts: 965000 | #Constraints: 23238 2110.56/2116.52 c #Conflicts: 966000 | #Constraints: 24238 2110.56/2116.52 c #Conflicts: 967000 | #Constraints: 25239 2110.56/2116.52 c #Conflicts: 968000 | #Constraints: 26239 2110.56/2116.52 c #Conflicts: 969000 | #Constraints: 27241 2110.56/2116.52 c #Conflicts: 970000 | #Constraints: 28241 2110.56/2116.52 c #Conflicts: 971000 | #Constraints: 29241 2110.56/2116.52 c #Conflicts: 972000 | #Constraints: 30242 2110.56/2116.52 c #Conflicts: 973000 | #Constraints: 31242 2110.56/2116.52 c #Conflicts: 974000 | #Constraints: 32242 2110.56/2116.52 c #Conflicts: 975000 | #Constraints: 33242 2110.56/2116.52 c #Conflicts: 976000 | #Constraints: 34243 2110.56/2116.52 c #Conflicts: 977000 | #Constraints: 35243 2110.56/2116.52 c #Conflicts: 978000 | #Constraints: 36244 2110.56/2116.52 c #Conflicts: 979000 | #Constraints: 37244 2110.56/2116.52 c #Conflicts: 980000 | #Constraints: 38244 2110.56/2116.52 c #Conflicts: 981000 | #Constraints: 39244 2110.56/2116.52 c INPROCESSING 2110.56/2116.52 c GARBAGE COLLECT 2110.56/2116.52 c rational objective 0 2182.39/2188.55 c #Conflicts: 982000 | #Constraints: 20641 2182.39/2188.55 c #Conflicts: 983000 | #Constraints: 21641 2182.39/2188.55 c #Conflicts: 984000 | #Constraints: 22641 2182.39/2188.55 c #Conflicts: 985000 | #Constraints: 23641 2182.39/2188.55 c #Conflicts: 986000 | #Constraints: 24641 2182.39/2188.55 c #Conflicts: 987000 | #Constraints: 25642 2182.39/2188.55 c #Conflicts: 988000 | #Constraints: 26645 2182.39/2188.55 c #Conflicts: 989000 | #Constraints: 27645 2182.39/2188.55 c #Conflicts: 990000 | #Constraints: 28646 2182.39/2188.55 c #Conflicts: 991000 | #Constraints: 29647 2182.39/2188.55 c #Conflicts: 992000 | #Constraints: 30647 2182.39/2188.55 c #Conflicts: 993000 | #Constraints: 31647 2182.39/2188.55 c #Conflicts: 994000 | #Constraints: 32647 2182.39/2188.55 c #Conflicts: 995000 | #Constraints: 33647 2182.39/2188.55 c #Conflicts: 996000 | #Constraints: 34648 2182.39/2188.55 c #Conflicts: 997000 | #Constraints: 35648 2182.39/2188.55 c #Conflicts: 998000 | #Constraints: 36650 2182.39/2188.55 c #Conflicts: 999000 | #Constraints: 37651 2182.39/2188.55 c #Conflicts: 1000000 | #Constraints: 38653 2182.39/2188.55 c #Conflicts: 1001000 | #Constraints: 39653 2182.39/2188.55 c INPROCESSING 2182.39/2188.55 c GARBAGE COLLECT 2182.39/2188.55 c rational objective 0 2267.37/2273.74 c #Conflicts: 1002000 | #Constraints: 20846 2267.37/2273.74 c #Conflicts: 1003000 | #Constraints: 21846 2267.37/2273.74 c #Conflicts: 1004000 | #Constraints: 22847 2267.37/2273.74 c #Conflicts: 1005000 | #Constraints: 23848 2267.37/2273.74 c #Conflicts: 1006000 | #Constraints: 24850 2267.37/2273.74 c #Conflicts: 1007000 | #Constraints: 25850 2267.37/2273.74 c #Conflicts: 1008000 | #Constraints: 26850 2267.37/2273.74 c #Conflicts: 1009000 | #Constraints: 27851 2267.37/2273.74 c #Conflicts: 1010000 | #Constraints: 28851 2267.37/2273.74 c #Conflicts: 1011000 | #Constraints: 29851 2267.37/2273.74 c #Conflicts: 1012000 | #Constraints: 30852 2267.37/2273.74 c #Conflicts: 1013000 | #Constraints: 31852 2267.37/2273.74 c #Conflicts: 1014000 | #Constraints: 32852 2267.37/2273.74 c #Conflicts: 1015000 | #Constraints: 33852 2267.37/2273.74 c #Conflicts: 1016000 | #Constraints: 34852 2267.37/2273.74 c #Conflicts: 1017000 | #Constraints: 35853 2267.37/2273.74 c #Conflicts: 1018000 | #Constraints: 36854 2267.37/2273.74 c #Conflicts: 1019000 | #Constraints: 37854 2267.37/2273.74 c #Conflicts: 1020000 | #Constraints: 38854 2267.37/2273.74 c #Conflicts: 1021000 | #Constraints: 39854 2267.37/2273.74 c INPROCESSING 2267.37/2273.74 c GARBAGE COLLECT 2267.37/2273.74 c rational objective 0 2334.41/2340.91 c #Conflicts: 1022000 | #Constraints: 20851 2334.41/2340.91 c #Conflicts: 1023000 | #Constraints: 21852 2334.41/2340.91 c #Conflicts: 1024000 | #Constraints: 22852 2334.41/2340.91 c #Conflicts: 1025000 | #Constraints: 23852 2334.41/2340.91 c #Conflicts: 1026000 | #Constraints: 24853 2334.41/2340.91 c #Conflicts: 1027000 | #Constraints: 25855 2334.41/2340.91 c #Conflicts: 1028000 | #Constraints: 26857 2334.41/2340.91 c #Conflicts: 1029000 | #Constraints: 27858 2334.41/2340.91 c #Conflicts: 1030000 | #Constraints: 28858 2334.41/2340.91 c #Conflicts: 1031000 | #Constraints: 29858 2334.41/2340.91 c #Conflicts: 1032000 | #Constraints: 30858 2334.41/2340.91 c #Conflicts: 1033000 | #Constraints: 31859 2334.41/2340.91 c #Conflicts: 1034000 | #Constraints: 32860 2334.41/2340.91 c #Conflicts: 1035000 | #Constraints: 33860 2334.41/2340.91 c #Conflicts: 1036000 | #Constraints: 34861 2334.41/2340.91 c #Conflicts: 1037000 | #Constraints: 35861 2334.41/2340.91 c #Conflicts: 1038000 | #Constraints: 36861 2334.41/2340.91 c #Conflicts: 1039000 | #Constraints: 37862 2334.41/2340.91 c #Conflicts: 1040000 | #Constraints: 38862 2334.41/2340.91 c #Conflicts: 1041000 | #Constraints: 39862 2334.41/2340.91 c INPROCESSING 2334.41/2340.91 c GARBAGE COLLECT 2334.41/2340.91 c rational objective 0 2429.47/2436.24 c #Conflicts: 1042000 | #Constraints: 20649 2429.47/2436.24 c #Conflicts: 1043000 | #Constraints: 21650 2429.47/2436.24 c #Conflicts: 1044000 | #Constraints: 22651 2429.47/2436.24 c #Conflicts: 1045000 | #Constraints: 23651 2429.47/2436.24 c #Conflicts: 1046000 | #Constraints: 24651 2429.47/2436.24 c #Conflicts: 1047000 | #Constraints: 25651 2429.47/2436.24 c #Conflicts: 1048000 | #Constraints: 26651 2429.47/2436.24 c #Conflicts: 1049000 | #Constraints: 27651 2429.47/2436.24 c #Conflicts: 1050000 | #Constraints: 28651 2429.47/2436.24 c #Conflicts: 1051000 | #Constraints: 29651 2429.47/2436.24 c #Conflicts: 1052000 | #Constraints: 30651 2429.47/2436.24 c #Conflicts: 1053000 | #Constraints: 31651 2429.47/2436.24 c #Conflicts: 1054000 | #Constraints: 32651 2429.47/2436.24 c #Conflicts: 1055000 | #Constraints: 33651 2429.47/2436.24 c #Conflicts: 1056000 | #Constraints: 34651 2429.47/2436.24 c #Conflicts: 1057000 | #Constraints: 35651 2429.47/2436.24 c #Conflicts: 1058000 | #Constraints: 36651 2429.47/2436.24 c #Conflicts: 1059000 | #Constraints: 37651 2429.47/2436.24 c #Conflicts: 1060000 | #Constraints: 38652 2429.47/2436.24 c #Conflicts: 1061000 | #Constraints: 39652 2429.47/2436.24 c #Conflicts: 1062000 | #Constraints: 40653 2429.47/2436.24 c INPROCESSING 2429.47/2436.24 c GARBAGE COLLECT 2429.47/2436.24 c rational objective 0 2520.94/2527.99 c #Conflicts: 1063000 | #Constraints: 21251 2520.94/2527.99 c #Conflicts: 1064000 | #Constraints: 22251 2520.94/2527.99 c #Conflicts: 1065000 | #Constraints: 23251 2520.94/2527.99 c #Conflicts: 1066000 | #Constraints: 24252 2520.94/2527.99 c #Conflicts: 1067000 | #Constraints: 25254 2520.94/2527.99 c #Conflicts: 1068000 | #Constraints: 26254 2520.94/2527.99 c #Conflicts: 1069000 | #Constraints: 27254 2520.94/2527.99 c #Conflicts: 1070000 | #Constraints: 28254 2520.94/2527.99 c #Conflicts: 1071000 | #Constraints: 29254 2520.94/2527.99 c #Conflicts: 1072000 | #Constraints: 30255 2520.94/2527.99 c #Conflicts: 1073000 | #Constraints: 31255 2520.94/2527.99 c #Conflicts: 1074000 | #Constraints: 32255 2520.94/2527.99 c #Conflicts: 1075000 | #Constraints: 33255 2520.94/2527.99 c #Conflicts: 1076000 | #Constraints: 34255 2520.94/2527.99 c #Conflicts: 1077000 | #Constraints: 35255 2520.94/2527.99 c #Conflicts: 1078000 | #Constraints: 36256 2520.94/2527.99 c #Conflicts: 1079000 | #Constraints: 37256 2520.94/2527.99 c #Conflicts: 1080000 | #Constraints: 38257 2520.94/2527.99 c #Conflicts: 1081000 | #Constraints: 39257 2520.94/2527.99 c #Conflicts: 1082000 | #Constraints: 40257 2520.94/2527.99 c #Conflicts: 1083000 | #Constraints: 41257 2520.94/2527.99 c INPROCESSING 2520.94/2527.99 c GARBAGE COLLECT 2520.94/2527.99 c rational objective 0 2632.96/2640.22 c #Conflicts: 1084000 | #Constraints: 21646 2632.96/2640.22 c #Conflicts: 1085000 | #Constraints: 22647 2632.96/2640.22 c #Conflicts: 1086000 | #Constraints: 23647 2632.96/2640.22 c #Conflicts: 1087000 | #Constraints: 24647 2632.96/2640.22 c #Conflicts: 1088000 | #Constraints: 25647 2632.96/2640.22 c #Conflicts: 1089000 | #Constraints: 26648 2632.96/2640.22 c #Conflicts: 1090000 | #Constraints: 27648 2632.96/2640.22 c #Conflicts: 1091000 | #Constraints: 28649 2632.96/2640.22 c #Conflicts: 1092000 | #Constraints: 29650 2632.96/2640.22 c #Conflicts: 1093000 | #Constraints: 30650 2632.96/2640.22 c #Conflicts: 1094000 | #Constraints: 31650 2632.96/2640.22 c #Conflicts: 1095000 | #Constraints: 32651 2632.96/2640.22 c #Conflicts: 1096000 | #Constraints: 33653 2632.96/2640.22 c #Conflicts: 1097000 | #Constraints: 34653 2632.96/2640.22 c #Conflicts: 1098000 | #Constraints: 35653 2632.96/2640.22 c #Conflicts: 1099000 | #Constraints: 36653 2632.96/2640.22 c #Conflicts: 1100000 | #Constraints: 37653 2632.96/2640.22 c #Conflicts: 1101000 | #Constraints: 38654 2632.96/2640.22 c #Conflicts: 1102000 | #Constraints: 39654 2632.96/2640.22 c #Conflicts: 1103000 | #Constraints: 40654 2632.96/2640.22 c #Conflicts: 1104000 | #Constraints: 41654 2632.96/2640.22 c INPROCESSING 2632.96/2640.22 c GARBAGE COLLECT 2632.96/2640.22 c rational objective 0 2725.14/2732.61 c #Conflicts: 1105000 | #Constraints: 21849 2725.14/2732.61 c #Conflicts: 1106000 | #Constraints: 22849 2725.14/2732.61 c #Conflicts: 1107000 | #Constraints: 23850 2725.14/2732.61 c #Conflicts: 1108000 | #Constraints: 24850 2725.14/2732.61 c #Conflicts: 1109000 | #Constraints: 25851 2725.14/2732.61 c #Conflicts: 1110000 | #Constraints: 26852 2725.14/2732.61 c #Conflicts: 1111000 | #Constraints: 27852 2725.14/2732.61 c #Conflicts: 1112000 | #Constraints: 28852 2725.14/2732.61 c #Conflicts: 1113000 | #Constraints: 29852 2725.14/2732.61 c #Conflicts: 1114000 | #Constraints: 30852 2725.14/2732.61 c #Conflicts: 1115000 | #Constraints: 31852 2725.14/2732.61 c #Conflicts: 1116000 | #Constraints: 32852 2725.14/2732.61 c #Conflicts: 1117000 | #Constraints: 33852 2725.14/2732.61 c #Conflicts: 1118000 | #Constraints: 34852 2725.14/2732.61 c #Conflicts: 1119000 | #Constraints: 35852 2725.14/2732.61 c #Conflicts: 1120000 | #Constraints: 36853 2725.14/2732.61 c #Conflicts: 1121000 | #Constraints: 37853 2725.14/2732.61 c #Conflicts: 1122000 | #Constraints: 38853 2725.14/2732.61 c #Conflicts: 1123000 | #Constraints: 39853 2725.14/2732.61 c #Conflicts: 1124000 | #Constraints: 40854 2725.14/2732.61 c #Conflicts: 1125000 | #Constraints: 41854 2725.14/2732.61 c INPROCESSING 2725.14/2732.61 c GARBAGE COLLECT 2725.14/2732.61 c rational objective 0 2793.56/2801.23 c #Conflicts: 1126000 | #Constraints: 21845 2793.56/2801.23 c #Conflicts: 1127000 | #Constraints: 22845 2793.56/2801.23 c #Conflicts: 1128000 | #Constraints: 23845 2793.56/2801.23 c #Conflicts: 1129000 | #Constraints: 24845 2793.56/2801.23 c #Conflicts: 1130000 | #Constraints: 25845 2793.56/2801.23 c #Conflicts: 1131000 | #Constraints: 26845 2793.56/2801.23 c #Conflicts: 1132000 | #Constraints: 27846 2793.56/2801.23 c #Conflicts: 1133000 | #Constraints: 28847 2793.56/2801.23 c #Conflicts: 1134000 | #Constraints: 29849 2793.56/2801.23 c #Conflicts: 1135000 | #Constraints: 30851 2793.56/2801.23 c #Conflicts: 1136000 | #Constraints: 31851 2793.56/2801.23 c #Conflicts: 1137000 | #Constraints: 32851 2793.56/2801.23 c #Conflicts: 1138000 | #Constraints: 33851 2793.56/2801.23 c #Conflicts: 1139000 | #Constraints: 34852 2793.56/2801.23 c #Conflicts: 1140000 | #Constraints: 35852 2793.56/2801.23 c #Conflicts: 1141000 | #Constraints: 36853 2793.56/2801.23 c #Conflicts: 1142000 | #Constraints: 37853 2793.56/2801.23 c #Conflicts: 1143000 | #Constraints: 38854 2793.56/2801.23 c #Conflicts: 1144000 | #Constraints: 39854 2793.56/2801.23 c #Conflicts: 1145000 | #Constraints: 40854 2793.56/2801.23 c #Conflicts: 1146000 | #Constraints: 41854 2793.56/2801.23 c INPROCESSING 2793.56/2801.23 c GARBAGE COLLECT 2793.56/2801.23 c rational objective 0 2903.50/2911.45 c #Conflicts: 1147000 | #Constraints: 21641 2903.50/2911.45 c #Conflicts: 1148000 | #Constraints: 22642 2903.50/2911.45 c #Conflicts: 1149000 | #Constraints: 23642 2903.50/2911.45 c #Conflicts: 1150000 | #Constraints: 24643 2903.50/2911.45 c #Conflicts: 1151000 | #Constraints: 25643 2903.50/2911.45 c #Conflicts: 1152000 | #Constraints: 26646 2903.50/2911.45 c #Conflicts: 1153000 | #Constraints: 27647 2903.50/2911.45 c #Conflicts: 1154000 | #Constraints: 28648 2903.50/2911.45 c #Conflicts: 1155000 | #Constraints: 29648 2903.50/2911.45 c #Conflicts: 1156000 | #Constraints: 30649 2903.50/2911.45 c #Conflicts: 1157000 | #Constraints: 31650 2903.50/2911.45 c #Conflicts: 1158000 | #Constraints: 32650 2903.50/2911.45 c #Conflicts: 1159000 | #Constraints: 33650 2903.50/2911.45 c #Conflicts: 1160000 | #Constraints: 34651 2903.50/2911.45 c #Conflicts: 1161000 | #Constraints: 35651 2903.50/2911.45 c #Conflicts: 1162000 | #Constraints: 36652 2903.50/2911.45 c #Conflicts: 1163000 | #Constraints: 37652 2903.50/2911.45 c #Conflicts: 1164000 | #Constraints: 38652 2903.50/2911.45 c #Conflicts: 1165000 | #Constraints: 39652 2903.50/2911.45 c #Conflicts: 1166000 | #Constraints: 40653 2903.50/2911.45 c #Conflicts: 1167000 | #Constraints: 41654 2903.50/2911.45 c #Conflicts: 1168000 | #Constraints: 42654 2903.50/2911.45 c INPROCESSING 2903.50/2911.45 c GARBAGE COLLECT 2903.50/2911.45 c rational objective 0 2982.10/2990.20 c #Conflicts: 1169000 | #Constraints: 22246 2982.10/2990.20 c #Conflicts: 1170000 | #Constraints: 23248 2982.10/2990.20 c #Conflicts: 1171000 | #Constraints: 24248 2982.10/2990.20 c #Conflicts: 1172000 | #Constraints: 25252 2982.10/2990.20 c #Conflicts: 1173000 | #Constraints: 26253 2982.10/2990.20 c #Conflicts: 1174000 | #Constraints: 27254 2982.10/2990.20 c #Conflicts: 1175000 | #Constraints: 28255 2982.10/2990.20 c #Conflicts: 1176000 | #Constraints: 29256 2982.10/2990.20 c #Conflicts: 1177000 | #Constraints: 30256 2982.10/2990.20 c #Conflicts: 1178000 | #Constraints: 31257 2982.10/2990.20 c #Conflicts: 1179000 | #Constraints: 32257 2982.10/2990.20 c #Conflicts: 1180000 | #Constraints: 33257 2982.10/2990.20 c #Conflicts: 1181000 | #Constraints: 34258 2982.10/2990.20 c #Conflicts: 1182000 | #Constraints: 35262 2982.10/2990.20 c #Conflicts: 1183000 | #Constraints: 36263 2982.10/2990.20 c #Conflicts: 1184000 | #Constraints: 37265 2982.10/2990.20 c #Conflicts: 1185000 | #Constraints: 38266 2982.10/2990.20 c #Conflicts: 1186000 | #Constraints: 39266 2982.10/2990.20 c #Conflicts: 1187000 | #Constraints: 40266 2982.10/2990.20 c #Conflicts: 1188000 | #Constraints: 41266 2982.10/2990.20 c #Conflicts: 1189000 | #Constraints: 42266 2982.10/2990.20 c #Conflicts: 1190000 | #Constraints: 43266 2982.10/2990.20 c INPROCESSING 2982.10/2990.20 c GARBAGE COLLECT 2982.10/2990.20 c rational objective 0 3097.51/3105.98 c #Conflicts: 1191000 | #Constraints: 22650 3097.51/3105.98 c #Conflicts: 1192000 | #Constraints: 23650 3097.51/3105.98 c #Conflicts: 1193000 | #Constraints: 24650 3097.51/3105.98 c #Conflicts: 1194000 | #Constraints: 25650 3097.51/3105.98 c #Conflicts: 1195000 | #Constraints: 26651 3097.51/3105.98 c #Conflicts: 1196000 | #Constraints: 27653 3097.51/3105.98 c #Conflicts: 1197000 | #Constraints: 28654 3097.51/3105.98 c #Conflicts: 1198000 | #Constraints: 29655 3097.51/3105.98 c #Conflicts: 1199000 | #Constraints: 30655 3097.51/3105.98 c #Conflicts: 1200000 | #Constraints: 31655 3097.51/3105.98 c #Conflicts: 1201000 | #Constraints: 32655 3097.51/3105.98 c #Conflicts: 1202000 | #Constraints: 33655 3097.51/3105.98 c #Conflicts: 1203000 | #Constraints: 34655 3097.51/3105.98 c #Conflicts: 1204000 | #Constraints: 35656 3097.51/3105.98 c #Conflicts: 1205000 | #Constraints: 36657 3097.51/3105.98 c #Conflicts: 1206000 | #Constraints: 37659 3097.51/3105.98 c #Conflicts: 1207000 | #Constraints: 38659 3097.51/3105.98 c #Conflicts: 1208000 | #Constraints: 39659 3097.51/3105.98 c #Conflicts: 1209000 | #Constraints: 40659 3097.51/3105.98 c #Conflicts: 1210000 | #Constraints: 41659 3097.51/3105.98 c #Conflicts: 1211000 | #Constraints: 42661 3097.51/3105.98 c #Conflicts: 1212000 | #Constraints: 43661 3097.51/3105.98 c INPROCESSING 3097.51/3105.98 c GARBAGE COLLECT 3097.51/3105.98 c rational objective 0 3193.48/3202.12 c #Conflicts: 1213000 | #Constraints: 22857 3193.48/3202.12 c #Conflicts: 1214000 | #Constraints: 23857 3193.48/3202.12 c #Conflicts: 1215000 | #Constraints: 24857 3193.48/3202.12 c #Conflicts: 1216000 | #Constraints: 25858 3193.48/3202.12 c #Conflicts: 1217000 | #Constraints: 26858 3193.48/3202.12 c #Conflicts: 1218000 | #Constraints: 27859 3193.48/3202.12 c #Conflicts: 1219000 | #Constraints: 28860 3193.48/3202.12 c #Conflicts: 1220000 | #Constraints: 29860 3193.48/3202.12 c #Conflicts: 1221000 | #Constraints: 30860 3193.48/3202.12 c #Conflicts: 1222000 | #Constraints: 31861 3193.48/3202.12 c #Conflicts: 1223000 | #Constraints: 32861 3193.48/3202.12 c #Conflicts: 1224000 | #Constraints: 33861 3193.48/3202.12 c #Conflicts: 1225000 | #Constraints: 34861 3193.48/3202.12 c #Conflicts: 1226000 | #Constraints: 35862 3193.48/3202.12 c #Conflicts: 1227000 | #Constraints: 36863 3193.48/3202.12 c #Conflicts: 1228000 | #Constraints: 37863 3193.48/3202.12 c #Conflicts: 1229000 | #Constraints: 38863 3193.48/3202.12 c #Conflicts: 1230000 | #Constraints: 39863 3193.48/3202.12 c #Conflicts: 1231000 | #Constraints: 40863 3193.48/3202.12 c #Conflicts: 1232000 | #Constraints: 41863 3193.48/3202.12 c #Conflicts: 1233000 | #Constraints: 42865 3193.48/3202.12 c #Conflicts: 1234000 | #Constraints: 43867 3193.48/3202.12 c INPROCESSING 3193.48/3202.12 c GARBAGE COLLECT 3193.48/3202.12 c rational objective 0 3315.97/3324.91 c #Conflicts: 1235000 | #Constraints: 22849 3315.97/3324.91 c #Conflicts: 1236000 | #Constraints: 23849 3315.97/3324.91 c #Conflicts: 1237000 | #Constraints: 24849 3315.97/3324.91 c #Conflicts: 1238000 | #Constraints: 25849 3315.97/3324.91 c #Conflicts: 1239000 | #Constraints: 26849 3315.97/3324.91 c #Conflicts: 1240000 | #Constraints: 27849 3315.97/3324.91 c #Conflicts: 1241000 | #Constraints: 28849 3315.97/3324.91 c #Conflicts: 1242000 | #Constraints: 29851 3315.97/3324.91 c #Conflicts: 1243000 | #Constraints: 30851 3315.97/3324.91 c #Conflicts: 1244000 | #Constraints: 31851 3315.97/3324.91 c #Conflicts: 1245000 | #Constraints: 32854 3315.97/3324.91 c #Conflicts: 1246000 | #Constraints: 33854 3315.97/3324.91 c #Conflicts: 1247000 | #Constraints: 34854 3315.97/3324.91 c #Conflicts: 1248000 | #Constraints: 35854 3315.97/3324.91 c #Conflicts: 1249000 | #Constraints: 36854 3315.97/3324.91 c #Conflicts: 1250000 | #Constraints: 37857 3315.97/3324.91 c #Conflicts: 1251000 | #Constraints: 38857 3315.97/3324.91 c #Conflicts: 1252000 | #Constraints: 39857 3315.97/3324.91 c #Conflicts: 1253000 | #Constraints: 40857 3315.97/3324.91 c #Conflicts: 1254000 | #Constraints: 41857 3315.97/3324.91 c #Conflicts: 1255000 | #Constraints: 42859 3315.97/3324.91 c #Conflicts: 1256000 | #Constraints: 43859 3315.97/3324.91 c INPROCESSING 3315.97/3324.91 c GARBAGE COLLECT 3315.97/3324.91 c rational objective 0 3396.47/3405.69 c #Conflicts: 1257000 | #Constraints: 22653 3396.47/3405.69 c #Conflicts: 1258000 | #Constraints: 23653 3396.47/3405.69 c #Conflicts: 1259000 | #Constraints: 24653 3396.47/3405.69 c #Conflicts: 1260000 | #Constraints: 25654 3396.47/3405.69 c #Conflicts: 1261000 | #Constraints: 26654 3396.47/3405.69 c #Conflicts: 1262000 | #Constraints: 27655 3396.47/3405.69 c #Conflicts: 1263000 | #Constraints: 28655 3396.47/3405.69 c #Conflicts: 1264000 | #Constraints: 29656 3396.47/3405.69 c #Conflicts: 1265000 | #Constraints: 30656 3396.47/3405.69 c #Conflicts: 1266000 | #Constraints: 31658 3396.47/3405.69 c #Conflicts: 1267000 | #Constraints: 32658 3396.47/3405.69 c #Conflicts: 1268000 | #Constraints: 33658 3396.47/3405.69 c #Conflicts: 1269000 | #Constraints: 34659 3396.47/3405.69 c #Conflicts: 1270000 | #Constraints: 35659 3396.47/3405.69 c #Conflicts: 1271000 | #Constraints: 36659 3396.47/3405.69 c #Conflicts: 1272000 | #Constraints: 37659 3396.47/3405.69 c #Conflicts: 1273000 | #Constraints: 38659 3396.47/3405.69 c #Conflicts: 1274000 | #Constraints: 39659 3396.47/3405.69 c #Conflicts: 1275000 | #Constraints: 40659 3396.47/3405.69 c #Conflicts: 1276000 | #Constraints: 41659 3396.47/3405.69 c #Conflicts: 1277000 | #Constraints: 42660 3396.47/3405.69 c #Conflicts: 1278000 | #Constraints: 43660 3396.47/3405.69 c #Conflicts: 1279000 | #Constraints: 44660 3396.47/3405.69 c INPROCESSING 3396.47/3405.69 c GARBAGE COLLECT 3396.47/3405.69 c rational objective 0 3471.98/3481.36 c #Conflicts: 1280000 | #Constraints: 23243 3471.98/3481.36 c #Conflicts: 1281000 | #Constraints: 24243 3471.98/3481.36 c #Conflicts: 1282000 | #Constraints: 25244 3471.98/3481.36 c #Conflicts: 1283000 | #Constraints: 26244 3471.98/3481.36 c #Conflicts: 1284000 | #Constraints: 27246 3471.98/3481.36 c #Conflicts: 1285000 | #Constraints: 28247 3471.98/3481.36 c #Conflicts: 1286000 | #Constraints: 29247 3471.98/3481.36 c #Conflicts: 1287000 | #Constraints: 30247 3471.98/3481.36 c #Conflicts: 1288000 | #Constraints: 31247 3471.98/3481.36 c #Conflicts: 1289000 | #Constraints: 32248 3471.98/3481.36 c #Conflicts: 1290000 | #Constraints: 33248 3471.98/3481.36 c #Conflicts: 1291000 | #Constraints: 34248 3471.98/3481.36 c #Conflicts: 1292000 | #Constraints: 35248 3471.98/3481.36 c #Conflicts: 1293000 | #Constraints: 36249 3471.98/3481.36 c #Conflicts: 1294000 | #Constraints: 37249 3471.98/3481.36 c #Conflicts: 1295000 | #Constraints: 38250 3471.98/3481.36 c #Conflicts: 1296000 | #Constraints: 39250 3471.98/3481.36 c #Conflicts: 1297000 | #Constraints: 40251 3471.98/3481.36 c #Conflicts: 1298000 | #Constraints: 41251 3471.98/3481.36 c #Conflicts: 1299000 | #Constraints: 42251 3471.98/3481.36 c #Conflicts: 1300000 | #Constraints: 43253 3471.98/3481.36 c #Conflicts: 1301000 | #Constraints: 44253 3471.98/3481.36 c #Conflicts: 1302000 | #Constraints: 45258 3471.98/3481.36 c INPROCESSING 3471.98/3481.36 c GARBAGE COLLECT 3471.98/3481.36 c rational objective 0 3600.06/3609.74 c #Conflicts: 1303000 | #Constraints: 23643 3600.06/3609.74 c #Conflicts: 1304000 | #Constraints: 24643 3600.06/3609.74 c #Conflicts: 1305000 | #Constraints: 25644 3600.06/3609.74 c #Conflicts: 1306000 | #Constraints: 26644 3600.06/3609.74 c #Conflicts: 1307000 | #Constraints: 27644 3600.06/3609.74 c #Conflicts: 1308000 | #Constraints: 28645 3600.06/3609.74 c #Conflicts: 1309000 | #Constraints: 29645 3600.06/3609.74 c #Conflicts: 1310000 | #Constraints: 30646 3600.06/3609.74 c #Conflicts: 1311000 | #Constraints: 31646 3600.06/3609.74 c #Conflicts: 1312000 | #Constraints: 32646 3600.06/3609.74 c #Conflicts: 1313000 | #Constraints: 33646 3600.06/3609.74 c #Conflicts: 1314000 | #Constraints: 34646 3600.06/3609.74 c #Conflicts: 1315000 | #Constraints: 35646 3600.06/3609.74 c #Conflicts: 1316000 | #Constraints: 36646 3600.06/3609.74 c #Conflicts: 1317000 | #Constraints: 37646 3600.06/3609.74 c #Conflicts: 1318000 | #Constraints: 38646 3600.06/3609.74 c #Conflicts: 1319000 | #Constraints: 39646 3600.06/3609.74 c #Conflicts: 1320000 | #Constraints: 40646 3600.06/3609.74 c #Conflicts: 1321000 | #Constraints: 41647 3600.06/3609.74 c #Conflicts: 1322000 | #Constraints: 42647 3600.06/3609.74 c #Conflicts: 1323000 | #Constraints: 43647 3600.06/3609.74 c #Conflicts: 1324000 | #Constraints: 44648 3600.06/3609.74 c #Conflicts: 1325000 | #Constraints: 45648 3600.06/3609.74 c INPROCESSING 3600.06/3609.74 c GARBAGE COLLECT 3600.06/3609.74 c rational objective 0 3600.06/3609.74 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63203 MiB free)
memory of node 1: 64473 MiB (63782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462608-1722340768/watcher-4462608-1722340768 -o /tmp/evaluation-result-4462608-1722340768/solver-4462608-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722340763-6792 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462608-1722340768 --lp-cut-gomory=0 HOME/instance-4462608-1722340768.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=6900, runsolver pid=6897
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 0.51 0.18 0.12 5/260 6901
/proc/meminfo: memFree=130018972/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=38164 memory=8856 CPUtime=0.1 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 597 0 0 0 9 1 0 0 20 0 1 0 678754 39079936 2214 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 9541 2214 1866 992 0 1399 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38164 KiB
Current children cumulated memory: 8856 KiB
[startup+0.205277 s]*
/proc/loadavg: 0.51 0.18 0.12 7/260 6901
/proc/meminfo: memFree=130010936/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=38416 memory=9572 CPUtime=0.2 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 757 0 0 0 18 2 0 0 20 0 1 0 678754 39337984 2393 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 9604 2393 1866 992 0 1462 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38416 KiB
Current children cumulated memory: 9572 KiB
[startup+0.305565 s]*
/proc/loadavg: 0.51 0.18 0.12 5/260 6901
/proc/meminfo: memFree=130003512/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=38692 memory=12296 CPUtime=0.3 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 877 0 0 0 28 2 0 0 20 0 1 0 678754 39620608 3074 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 9673 3074 1882 992 0 1531 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 12296 KiB
[startup+0.70017 s]
/proc/loadavg: 0.51 0.18 0.12 5/260 6901
/proc/meminfo: memFree=129988960/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=39432 memory=12980 CPUtime=0.68 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 1040 0 0 0 65 3 0 0 20 0 1 0 678754 40378368 3245 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 9858 3245 1882 992 0 1716 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39432 KiB
Current children cumulated memory: 12980 KiB
[startup+1.50017 s]
/proc/loadavg: 0.51 0.18 0.12 5/260 6901
/proc/meminfo: memFree=129948296/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=39912 memory=13344 CPUtime=1.49 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 1174 0 0 0 142 7 0 0 20 0 1 0 678754 40869888 3336 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 9978 3336 1882 992 0 1836 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39912 KiB
Current children cumulated memory: 13344 KiB
[startup+3.10547 s]
/proc/loadavg: 0.51 0.18 0.12 5/261 6902
/proc/meminfo: memFree=129780872/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=40588 memory=14140 CPUtime=3.08 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 1333 0 0 0 296 12 0 0 20 0 1 0 678754 41562112 3535 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 10147 3535 1882 992 0 2005 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40588 KiB
Current children cumulated memory: 14140 KiB
[startup+6.30016 s]
/proc/loadavg: 0.79 0.25 0.14 5/261 6903
/proc/meminfo: memFree=129589540/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=41868 memory=15876 CPUtime=6.28 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 1765 0 0 0 605 23 0 0 20 0 1 0 678754 42872832 3969 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 10467 3969 1882 992 0 2325 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41868 KiB
Current children cumulated memory: 15876 KiB
[startup+12.7002 s]
/proc/loadavg: 1.04 0.31 0.16 5/261 6903
/proc/meminfo: memFree=129195600/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=45020 memory=17204 CPUtime=12.66 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 2143 0 0 0 1227 39 0 0 20 0 1 0 678754 46100480 4301 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 11255 4301 1882 992 0 3113 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45020 KiB
Current children cumulated memory: 17204 KiB
[startup+25.5002 s]
/proc/loadavg: 1.70 0.49 0.22 5/261 6905
/proc/meminfo: memFree=128331620/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=46812 memory=20324 CPUtime=25.43 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 2906 0 0 0 2470 73 0 0 20 0 1 0 678754 47935488 5081 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 11703 5081 1882 992 0 3561 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 46812 KiB
Current children cumulated memory: 20324 KiB
[startup+51.1056 s]
/proc/loadavg: 2.55 0.79 0.33 5/262 6911
/proc/meminfo: memFree=126826904/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=52736 memory=23140 CPUtime=50.96 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 3748 0 0 0 4973 123 0 0 20 0 1 0 678754 54001664 5785 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 13184 5785 1882 992 0 5042 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 52736 KiB
Current children cumulated memory: 23140 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 1.32 0.54 5/263 6936
/proc/meminfo: memFree=124142308/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=56292 memory=28124 CPUtime=102.02 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 4620 0 0 0 9993 209 0 0 20 0 1 0 678754 57643008 7031 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 14073 7031 1882 992 0 5931 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 56292 KiB
Current children cumulated memory: 28124 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 1.87 0.78 5/263 6947
/proc/meminfo: memFree=121411472/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=58152 memory=31416 CPUtime=161.86 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 5583 0 0 0 15894 292 0 0 20 0 1 0 678754 59547648 7854 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 14538 7854 1882 992 0 6396 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 58152 KiB
Current children cumulated memory: 31416 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 2.30 1.00 5/263 6958
/proc/meminfo: memFree=118989588/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=66224 memory=34776 CPUtime=221.69 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 6007 0 0 0 21807 362 0 0 20 0 1 0 678754 67813376 8694 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 16556 8694 1882 992 0 8414 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 66224 KiB
Current children cumulated memory: 34776 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.63 1.19 5/261 6968
/proc/meminfo: memFree=117174532/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=66928 memory=35676 CPUtime=281.53 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 6395 0 0 0 27729 424 0 0 20 0 1 0 678754 68534272 8919 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 16732 8919 1882 992 0 8590 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 66928 KiB
Current children cumulated memory: 35676 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 2.93 1.39 5/261 6979
/proc/meminfo: memFree=115779152/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=67632 memory=38372 CPUtime=341.36 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 6733 0 0 0 33650 486 0 0 20 0 1 0 678754 69255168 9593 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 16908 9593 1882 992 0 8766 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 67632 KiB
Current children cumulated memory: 38372 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.16 1.56 5/258 6990
/proc/meminfo: memFree=112714588/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=68528 memory=39064 CPUtime=401.21 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 7017 0 0 0 39578 543 0 0 20 0 1 0 678754 70172672 9766 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 17132 9766 1882 992 0 8990 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 68528 KiB
Current children cumulated memory: 39064 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.33 1.72 5/258 7003
/proc/meminfo: memFree=109599196/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=70352 memory=40116 CPUtime=461.04 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 7359 0 0 0 45505 599 0 0 20 0 1 0 678754 72040448 10029 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 17588 10029 1882 992 0 9446 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.03 5/265 8136
/proc/meminfo: memFree=16884320/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=102864 memory=71524 CPUtime=3153.77 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 13927 0 0 0 313200 2177 0 0 20 0 1 0 678754 105332736 17881 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 25716 17881 1882 992 0 17574 0
Current children cumulated CPU time: 3153.77 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 71524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.04 5/265 8146
/proc/meminfo: memFree=15750540/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=103376 memory=71836 CPUtime=3213.63 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 14128 0 0 0 319158 2205 0 0 20 0 1 0 678754 105857024 17959 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 25844 17959 1882 992 0 17702 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 103376 KiB
Current children cumulated memory: 71836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.04 5/265 8156
/proc/meminfo: memFree=14696920/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=103376 memory=71836 CPUtime=3273.48 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 14150 0 0 0 325118 2230 0 0 20 0 1 0 678754 105857024 17959 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 25844 17959 1882 992 0 17702 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 103376 KiB
Current children cumulated memory: 71836 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.04 5/263 8167
/proc/meminfo: memFree=12559520/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=103376 memory=71840 CPUtime=3333.33 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 14270 0 0 0 331076 2257 0 0 20 0 1 0 678754 105857024 17960 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 25844 17960 1882 992 0 17702 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 103376 KiB
Current children cumulated memory: 71840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.05 5/261 8564
/proc/meminfo: memFree=10060528/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=103376 memory=71840 CPUtime=3393.18 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 14301 0 0 0 337031 2287 0 0 20 0 1 0 678754 105857024 17960 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 25844 17960 1882 992 0 17702 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 103376 KiB
Current children cumulated memory: 71840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.15 4.06 6/260 8575
/proc/meminfo: memFree=7320300/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=103376 memory=77252 CPUtime=3453.03 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 14430 0 0 0 342983 2320 0 0 20 0 1 0 678754 105857024 19313 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 25844 19313 1882 992 0 17702 0
Current children cumulated CPU time: 3453.03 s
Current children cumulated vsize: 103376 KiB
Current children cumulated memory: 77252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.16 4.07 5/260 8586
/proc/meminfo: memFree=5148976/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=103376 memory=77256 CPUtime=3512.88 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 14555 0 0 0 348944 2344 0 0 20 0 1 0 678754 105857024 19314 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 25844 19314 1882 992 0 17702 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 103376 KiB
Current children cumulated memory: 77256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.07 5/262 8767
/proc/meminfo: memFree=3120388/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=103376 memory=77256 CPUtime=3572.73 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 14586 0 0 0 354907 2366 0 0 20 0 1 0 678754 105857024 19314 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 25844 19314 1882 992 0 17702 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 103376 KiB
Current children cumulated memory: 77256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.18 4.16 4.08 3/257 8800
/proc/meminfo: memFree=2119076/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=104400 memory=77540 CPUtime=3600.06 cores=1,3
/proc/6900/stat : 6900 (roundingsat) R 6897 6900 6778 0 -1 4194304 14694 0 0 0 357629 2377 0 0 20 0 1 0 678754 106905600 19385 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 26100 19385 1882 992 0 17958 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 104400 KiB
Current children cumulated memory: 77540 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.24 4.17 4.08 1/256 8800
/proc/meminfo: memFree=2067044/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=104400 memory=77812 CPUtime=3600.11 cores=1,3
/proc/6900/stat : 6900 (roundingsat) D 6897 6900 6778 0 -1 4194304 14830 0 0 0 357634 2377 0 0 20 0 1 0 678754 106905600 19453 134679101440 4194304 8255733 140731858322928 0 0 256 0 0 25182210 0 0 0 17 1 0 0 336 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 26100 19453 1882 992 0 17958 0
??? kill 6900 sig 9
??? end of watcher thread
[startup+3628.75 s]
# the end of solver process 6900 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3576.34 s, system=23.781 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.24 4.17 4.08 2/256 8800
/proc/meminfo: memFree=2082288/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=104400 memory=77812 CPUtime=3600.11 cores=1,3
/proc/6900/stat : 6900 (roundingsat) D 6897 6900 6778 0 -1 4194304 14830 0 0 0 357634 2377 0 0 20 0 1 0 678754 106905600 19453 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 26100 19453 1882 992 0 17958 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 104400 KiB
Current children cumulated memory: 77812 KiB
[startup+3611.2 s]
/proc/loadavg: 4.24 4.17 4.08 1/256 8800
/proc/meminfo: memFree=2067784/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=104400 memory=77812 CPUtime=3600.11 cores=1,3
/proc/6900/stat : 6900 (roundingsat) D 6897 6900 6778 0 -1 4194304 14830 0 0 0 357634 2377 0 0 20 0 1 0 678754 106905600 19453 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 26100 19453 1882 992 0 17958 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 104400 KiB
Current children cumulated memory: 77812 KiB
[startup+3611.6 s]
/proc/loadavg: 4.24 4.17 4.08 1/256 8800
/proc/meminfo: memFree=2067784/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=104400 memory=77812 CPUtime=3600.11 cores=1,3
/proc/6900/stat : 6900 (roundingsat) D 6897 6900 6778 0 -1 4194304 14830 0 0 0 357634 2377 0 0 20 0 1 0 678754 106905600 19453 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 336 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 26100 19453 1882 992 0 17958 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 104400 KiB
Current children cumulated memory: 77812 KiB
[startup+3611.7 s]
/proc/loadavg: 4.24 4.17 4.08 1/256 8800
/proc/meminfo: memFree=2067784/131524600 swapFree=131071996/131071996
[pid=6900] ppid=6897 vsize=104400 memory=77812 CPUtime=3600.11 cores=1,3
/proc/6900/stat : 6900 (roundingsat) D 6897 6900 6778 0 -1 4194304 14830 0 0 0 357634 2377 0 0 20 0 1 0 678754 106905600 19453 134679101440 4194304 8255733 140731858322928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 336 0 0 9037040 9046032 20393984 140731858326366 140731858326628 140731858326628 140731858333641 0
/proc/6900/statm: 26100 19453 1882 992 0 17958 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 104400 KiB
Current children cumulated memory: 77812 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3628.75
CPU time (s): 3600.12
CPU user time (s): 3576.34
CPU system time (s): 23.781
CPU usage (%): 99.2111
Max. virtual memory (cumulated for all children) (KiB): 104400
Max. memory (cumulated for all children) (KiB): 77812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.34
system time used= 23.781
maximum resident set size= 78284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14830
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20693664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 438
involuntary context switches= 4828
# summary of solver processes directly reported to runsolver:
# pid: 6900
# total CPU time (s): 3600.12
# total CPU user time (s): 3576.34
# total CPU system time (s): 23.781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76649 second user time and 17.8401 second system time
The end
Begin job on nodeC032 at 2024-07-30 13:59:28 IDJOB=4462608 IDBENCH=147611 IDSOLVER=3089 FILE ID=nodeC032/4462608-1722340768 RUNJOBID= nodeC032-1722340763-6792 SLURM_JOB_ID= 8249005 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-4462608-1722340768/watcher-4462608-1722340768 -o /tmp/evaluation-result-4462608-1722340768/solver-4462608-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722340763-6792 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462608-1722340768 --lp-cut-gomory=0 HOME/instance-4462608-1722340768.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec RANDOM SEED=52205761 nodeC032.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 : 3600.561 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.77 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 : 3660.941 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 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 : 3678.965 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.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.936 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 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 : 3678.971 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.77 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 : 3689.588 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 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.032 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.77 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 : 3642.093 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130035420 kB MemAvailable: 129765172 kB Buffers: 39548 kB Cached: 527764 kB SwapCached: 0 kB Active: 150688 kB Inactive: 873080 kB Active(anon): 1540 kB Inactive(anon): 475672 kB Active(file): 149148 kB Inactive(file): 397408 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 195112 kB Writeback: 0 kB AnonPages: 456288 kB Mapped: 97872 kB Shmem: 21332 kB KReclaimable: 46040 kB Slab: 127036 kB SReclaimable: 46040 kB SUnreclaim: 80996 kB KernelStack: 4208 kB PageTables: 10304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 766864 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 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: 182996 kB DirectMap2M: 7979008 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890056 MiB End job on nodeC032 at 2024-07-30 14:59:56