| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 5 | 3600.08 | 3609.11 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8451009eff5aac10a49807ab684bf277 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 146 #constraints 12 0.00/0.00 c bounds - >= 0 @ 0 0.00/0.00 c rational objective 0 0.20/0.23 c bounds 116 >= 0 @ 0.010692 0.20/0.23 c bounds 114 >= 0 @ 0.011822 0.20/0.23 c bounds 107 >= 0 @ 0.011997 0.20/0.23 c bounds 99 >= 0 @ 0.016769 0.20/0.23 c #Conflicts: 1000 | #Constraints: 1035 0.20/0.23 c #Conflicts: 2000 | #Constraints: 2042 0.20/0.23 c INPROCESSING 0.20/0.23 c GARBAGE COLLECT 0.20/0.23 c rational objective 0 0.50/0.58 c bounds 97 >= 0 @ 0.221444 0.50/0.58 c bounds 95 >= 0 @ 0.221927 0.50/0.58 c bounds 93 >= 0 @ 0.222143 0.50/0.58 c bounds 89 >= 0 @ 0.262272 0.50/0.58 c bounds 81 >= 0 @ 0.262644 0.50/0.58 c bounds 79 >= 0 @ 0.263082 0.50/0.58 c bounds 75 >= 0 @ 0.268504 0.50/0.58 c bounds 73 >= 0 @ 0.269207 0.50/0.58 c bounds 71 >= 0 @ 0.270048 0.50/0.58 c bounds 69 >= 0 @ 0.271686 0.50/0.58 c bounds 67 >= 0 @ 0.272739 0.50/0.58 c bounds 65 >= 0 @ 0.273426 0.50/0.58 c bounds 63 >= 0 @ 0.274732 0.50/0.58 c bounds 61 >= 0 @ 0.276097 0.50/0.58 c bounds 60 >= 0 @ 0.299393 0.50/0.58 c bounds 58 >= 0 @ 0.300371 0.50/0.58 c bounds 54 >= 0 @ 0.300964 0.50/0.58 c #Conflicts: 3000 | #Constraints: 2062 0.50/0.58 c bounds 50 >= 0 @ 0.37529 0.50/0.58 c #Conflicts: 4000 | #Constraints: 3074 0.50/0.58 c INPROCESSING 0.50/0.58 c GARBAGE COLLECT 0.50/0.58 c rational objective 0 0.99/1.04 c bounds 48 >= 0 @ 0.557814 0.99/1.04 c bounds 47 >= 0 @ 0.591526 0.99/1.04 c bounds 45 >= 0 @ 0.592448 0.99/1.04 c bounds 43 >= 0 @ 0.593104 0.99/1.04 c bounds 41 >= 0 @ 0.599836 0.99/1.04 c bounds 37 >= 0 @ 0.600636 0.99/1.04 c bounds 33 >= 0 @ 0.601424 0.99/1.04 c bounds 32 >= 0 @ 0.64892 0.99/1.04 c #Conflicts: 5000 | #Constraints: 2467 0.99/1.04 c bounds 30 >= 0 @ 0.730708 0.99/1.04 c #Conflicts: 6000 | #Constraints: 3473 0.99/1.04 c INPROCESSING 0.99/1.04 c GARBAGE COLLECT 0.99/1.04 c rational objective 0 1.49/1.55 c bounds 28 >= 0 @ 0.995297 1.49/1.55 c #Conflicts: 7000 | #Constraints: 2454 1.49/1.55 c bounds 26 >= 0 @ 1.07776 1.49/1.55 c bounds 24 >= 0 @ 1.07776 1.49/1.55 c bounds 22 >= 0 @ 1.07833 1.49/1.55 c #Conflicts: 8000 | #Constraints: 3463 1.49/1.55 c #Conflicts: 9000 | #Constraints: 4470 1.49/1.55 c INPROCESSING 1.49/1.55 c GARBAGE COLLECT 1.49/1.55 c rational objective 0 2.09/2.14 c #Conflicts: 10000 | #Constraints: 3158 2.09/2.14 c #Conflicts: 11000 | #Constraints: 4163 2.09/2.14 c #Conflicts: 12000 | #Constraints: 5167 2.09/2.14 c INPROCESSING 2.09/2.14 c GARBAGE COLLECT 2.09/2.14 c rational objective 0 2.88/2.93 c bounds 21 >= 0 @ 2.15956 2.88/2.93 c bounds 19 >= 0 @ 2.16081 2.88/2.93 c bounds 17 >= 0 @ 2.16145 2.88/2.93 c bounds 9 >= 0 @ 2.17516 2.88/2.93 c #Conflicts: 13000 | #Constraints: 3611 2.88/2.93 c #Conflicts: 14000 | #Constraints: 4621 2.88/2.93 c #Conflicts: 15000 | #Constraints: 5625 2.88/2.93 c INPROCESSING 2.88/2.93 c GARBAGE COLLECT 2.88/2.93 c rational objective 0 3.78/3.82 c #Conflicts: 16000 | #Constraints: 3816 3.78/3.82 c #Conflicts: 17000 | #Constraints: 4821 3.78/3.82 c #Conflicts: 18000 | #Constraints: 5822 3.78/3.82 c INPROCESSING 3.78/3.82 c GARBAGE COLLECT 3.78/3.82 c rational objective 0 4.88/4.94 c #Conflicts: 19000 | #Constraints: 3829 4.88/4.94 c #Conflicts: 20000 | #Constraints: 4832 4.88/4.94 c #Conflicts: 21000 | #Constraints: 5834 4.88/4.94 c INPROCESSING 4.88/4.94 c GARBAGE COLLECT 4.88/4.94 c rational objective 0 5.88/5.99 c #Conflicts: 22000 | #Constraints: 3635 5.88/5.99 c #Conflicts: 23000 | #Constraints: 4638 5.88/5.99 c #Conflicts: 24000 | #Constraints: 5643 5.88/5.99 c #Conflicts: 25000 | #Constraints: 6645 5.88/5.99 c INPROCESSING 5.88/5.99 c GARBAGE COLLECT 5.88/5.99 c rational objective 0 7.47/7.52 c #Conflicts: 26000 | #Constraints: 4240 7.47/7.52 c #Conflicts: 27000 | #Constraints: 5242 7.47/7.52 c #Conflicts: 28000 | #Constraints: 6246 7.47/7.52 c #Conflicts: 29000 | #Constraints: 7249 7.47/7.52 c INPROCESSING 7.47/7.52 c GARBAGE COLLECT 7.47/7.52 c rational objective 0 8.77/8.81 c #Conflicts: 30000 | #Constraints: 4642 8.77/8.81 c #Conflicts: 31000 | #Constraints: 5642 8.77/8.81 c #Conflicts: 32000 | #Constraints: 6643 8.77/8.81 c #Conflicts: 33000 | #Constraints: 7644 8.77/8.81 c INPROCESSING 8.77/8.81 c GARBAGE COLLECT 8.77/8.81 c rational objective 0 10.17/10.28 c #Conflicts: 34000 | #Constraints: 4836 10.17/10.28 c #Conflicts: 35000 | #Constraints: 5836 10.17/10.28 c #Conflicts: 36000 | #Constraints: 6836 10.17/10.28 c #Conflicts: 37000 | #Constraints: 7836 10.17/10.28 c INPROCESSING 10.17/10.28 c GARBAGE COLLECT 10.17/10.28 c rational objective 0 12.26/12.32 c #Conflicts: 38000 | #Constraints: 4835 12.26/12.32 c #Conflicts: 39000 | #Constraints: 5837 12.26/12.32 c #Conflicts: 40000 | #Constraints: 6839 12.26/12.32 c #Conflicts: 41000 | #Constraints: 7840 12.26/12.32 c INPROCESSING 12.26/12.32 c GARBAGE COLLECT 12.26/12.32 c rational objective 0 14.16/14.25 c #Conflicts: 42000 | #Constraints: 4643 14.16/14.25 c #Conflicts: 43000 | #Constraints: 5643 14.16/14.25 c #Conflicts: 44000 | #Constraints: 6643 14.16/14.25 c #Conflicts: 45000 | #Constraints: 7644 14.16/14.25 c #Conflicts: 46000 | #Constraints: 8644 14.16/14.25 c INPROCESSING 14.16/14.25 c GARBAGE COLLECT 14.16/14.25 c rational objective 0 16.65/16.78 c #Conflicts: 47000 | #Constraints: 5238 16.65/16.78 c #Conflicts: 48000 | #Constraints: 6239 16.65/16.78 c #Conflicts: 49000 | #Constraints: 7241 16.65/16.78 c #Conflicts: 50000 | #Constraints: 8243 16.65/16.78 c #Conflicts: 51000 | #Constraints: 9243 16.65/16.78 c INPROCESSING 16.65/16.78 c GARBAGE COLLECT 16.65/16.78 c rational objective 0 18.74/18.84 c #Conflicts: 52000 | #Constraints: 5643 18.74/18.84 c #Conflicts: 53000 | #Constraints: 6648 18.74/18.84 c #Conflicts: 54000 | #Constraints: 7650 18.74/18.84 c #Conflicts: 55000 | #Constraints: 8650 18.74/18.84 c #Conflicts: 56000 | #Constraints: 9651 18.74/18.84 c INPROCESSING 18.74/18.84 c GARBAGE COLLECT 18.74/18.84 c rational objective 0 20.94/21.07 c #Conflicts: 57000 | #Constraints: 5841 20.94/21.07 c #Conflicts: 58000 | #Constraints: 6842 20.94/21.07 c #Conflicts: 59000 | #Constraints: 7844 20.94/21.07 c #Conflicts: 60000 | #Constraints: 8845 20.94/21.07 c #Conflicts: 61000 | #Constraints: 9846 20.94/21.07 c INPROCESSING 20.94/21.07 c GARBAGE COLLECT 20.94/21.07 c rational objective 0 24.33/24.40 c #Conflicts: 62000 | #Constraints: 5838 24.33/24.40 c #Conflicts: 63000 | #Constraints: 6839 24.33/24.40 c #Conflicts: 64000 | #Constraints: 7839 24.33/24.40 c #Conflicts: 65000 | #Constraints: 8842 24.33/24.40 c #Conflicts: 66000 | #Constraints: 9843 24.33/24.40 c INPROCESSING 24.33/24.40 c GARBAGE COLLECT 24.33/24.40 c rational objective 0 27.03/27.11 c #Conflicts: 67000 | #Constraints: 5643 27.03/27.11 c #Conflicts: 68000 | #Constraints: 6643 27.03/27.11 c #Conflicts: 69000 | #Constraints: 7645 27.03/27.11 c #Conflicts: 70000 | #Constraints: 8645 27.03/27.11 c #Conflicts: 71000 | #Constraints: 9646 27.03/27.11 c #Conflicts: 72000 | #Constraints: 10648 27.03/27.11 c INPROCESSING 27.03/27.11 c GARBAGE COLLECT 27.03/27.11 c rational objective 0 30.81/30.95 c #Conflicts: 73000 | #Constraints: 6241 30.81/30.95 c #Conflicts: 74000 | #Constraints: 7244 30.81/30.95 c #Conflicts: 75000 | #Constraints: 8244 30.81/30.95 c #Conflicts: 76000 | #Constraints: 9246 30.81/30.95 c #Conflicts: 77000 | #Constraints: 10247 30.81/30.95 c #Conflicts: 78000 | #Constraints: 11247 30.81/30.95 c INPROCESSING 30.81/30.95 c GARBAGE COLLECT 30.81/30.95 c rational objective 0 33.91/34.03 c #Conflicts: 79000 | #Constraints: 6638 33.91/34.03 c #Conflicts: 80000 | #Constraints: 7639 33.91/34.03 c #Conflicts: 81000 | #Constraints: 8639 33.91/34.03 c #Conflicts: 82000 | #Constraints: 9639 33.91/34.03 c #Conflicts: 83000 | #Constraints: 10639 33.91/34.03 c #Conflicts: 84000 | #Constraints: 11639 33.91/34.03 c INPROCESSING 33.91/34.03 c GARBAGE COLLECT 33.91/34.03 c rational objective 0 37.30/37.45 c #Conflicts: 85000 | #Constraints: 6841 37.30/37.45 c #Conflicts: 86000 | #Constraints: 7841 37.30/37.45 c #Conflicts: 87000 | #Constraints: 8842 37.30/37.45 c #Conflicts: 88000 | #Constraints: 9843 37.30/37.45 c #Conflicts: 89000 | #Constraints: 10845 37.30/37.45 c #Conflicts: 90000 | #Constraints: 11845 37.30/37.45 c INPROCESSING 37.30/37.45 c GARBAGE COLLECT 37.30/37.45 c rational objective 0 41.78/41.90 c #Conflicts: 91000 | #Constraints: 6840 41.78/41.90 c #Conflicts: 92000 | #Constraints: 7840 41.78/41.90 c #Conflicts: 93000 | #Constraints: 8840 41.78/41.90 c #Conflicts: 94000 | #Constraints: 9840 41.78/41.90 c #Conflicts: 95000 | #Constraints: 10841 41.78/41.90 c #Conflicts: 96000 | #Constraints: 11842 41.78/41.90 c INPROCESSING 41.78/41.90 c GARBAGE COLLECT 41.78/41.90 c rational objective 0 45.88/46.02 c #Conflicts: 97000 | #Constraints: 6641 45.88/46.02 c #Conflicts: 98000 | #Constraints: 7642 45.88/46.02 c #Conflicts: 99000 | #Constraints: 8643 45.88/46.02 c #Conflicts: 100000 | #Constraints: 9643 45.88/46.02 c #Conflicts: 101000 | #Constraints: 10645 45.88/46.02 c #Conflicts: 102000 | #Constraints: 11646 45.88/46.02 c #Conflicts: 103000 | #Constraints: 12646 45.88/46.02 c INPROCESSING 45.88/46.02 c GARBAGE COLLECT 45.88/46.02 c rational objective 0 50.46/50.66 c bounds 7 >= 0 @ 45.5749 50.46/50.66 c #Conflicts: 104000 | #Constraints: 7239 50.46/50.66 c #Conflicts: 105000 | #Constraints: 8242 50.46/50.66 c #Conflicts: 106000 | #Constraints: 9243 50.46/50.66 c #Conflicts: 107000 | #Constraints: 10244 50.46/50.66 c #Conflicts: 108000 | #Constraints: 11245 50.46/50.66 c #Conflicts: 109000 | #Constraints: 12246 50.46/50.66 c #Conflicts: 110000 | #Constraints: 13246 50.46/50.66 c INPROCESSING 50.46/50.66 c GARBAGE COLLECT 50.46/50.66 c rational objective 0 54.45/54.60 c #Conflicts: 111000 | #Constraints: 7640 54.45/54.60 c #Conflicts: 112000 | #Constraints: 8640 54.45/54.60 c #Conflicts: 113000 | #Constraints: 9641 54.45/54.60 c #Conflicts: 114000 | #Constraints: 10641 54.45/54.60 c #Conflicts: 115000 | #Constraints: 11641 54.45/54.60 c #Conflicts: 116000 | #Constraints: 12641 54.45/54.60 c #Conflicts: 117000 | #Constraints: 13641 54.45/54.60 c INPROCESSING 54.45/54.60 c GARBAGE COLLECT 54.45/54.60 c rational objective 0 59.84/60.00 c #Conflicts: 118000 | #Constraints: 7839 59.84/60.00 c #Conflicts: 119000 | #Constraints: 8840 59.84/60.00 c #Conflicts: 120000 | #Constraints: 9842 59.84/60.00 c #Conflicts: 121000 | #Constraints: 10842 59.84/60.00 c #Conflicts: 122000 | #Constraints: 11843 59.84/60.00 c #Conflicts: 123000 | #Constraints: 12844 59.84/60.00 c #Conflicts: 124000 | #Constraints: 13844 59.84/60.00 c INPROCESSING 59.84/60.00 c GARBAGE COLLECT 59.84/60.00 c rational objective 0 64.12/64.38 c #Conflicts: 125000 | #Constraints: 7842 64.12/64.38 c #Conflicts: 126000 | #Constraints: 8843 64.12/64.38 c #Conflicts: 127000 | #Constraints: 9843 64.12/64.38 c #Conflicts: 128000 | #Constraints: 10843 64.12/64.38 c #Conflicts: 129000 | #Constraints: 11844 64.12/64.38 c #Conflicts: 130000 | #Constraints: 12844 64.12/64.38 c #Conflicts: 131000 | #Constraints: 13844 64.12/64.38 c INPROCESSING 64.12/64.38 c GARBAGE COLLECT 64.12/64.38 c rational objective 0 68.82/69.05 c #Conflicts: 132000 | #Constraints: 7641 68.82/69.05 c #Conflicts: 133000 | #Constraints: 8644 68.82/69.05 c #Conflicts: 134000 | #Constraints: 9645 68.82/69.05 c #Conflicts: 135000 | #Constraints: 10647 68.82/69.05 c #Conflicts: 136000 | #Constraints: 11647 68.82/69.05 c #Conflicts: 137000 | #Constraints: 12649 68.82/69.05 c #Conflicts: 138000 | #Constraints: 13649 68.82/69.05 c #Conflicts: 139000 | #Constraints: 14649 68.82/69.05 c INPROCESSING 68.82/69.05 c GARBAGE COLLECT 68.82/69.05 c rational objective 0 75.29/75.52 c #Conflicts: 140000 | #Constraints: 8243 75.29/75.52 c #Conflicts: 141000 | #Constraints: 9244 75.29/75.52 c #Conflicts: 142000 | #Constraints: 10245 75.29/75.52 c #Conflicts: 143000 | #Constraints: 11248 75.29/75.52 c #Conflicts: 144000 | #Constraints: 12249 75.29/75.52 c #Conflicts: 145000 | #Constraints: 13249 75.29/75.52 c #Conflicts: 146000 | #Constraints: 14249 75.29/75.52 c #Conflicts: 147000 | #Constraints: 15249 75.29/75.52 c INPROCESSING 75.29/75.52 c GARBAGE COLLECT 75.29/75.52 c rational objective 0 80.07/80.35 c #Conflicts: 148000 | #Constraints: 8646 80.07/80.35 c #Conflicts: 149000 | #Constraints: 9646 80.07/80.35 c #Conflicts: 150000 | #Constraints: 10649 80.07/80.35 c #Conflicts: 151000 | #Constraints: 11651 80.07/80.35 c #Conflicts: 152000 | #Constraints: 12651 80.07/80.35 c #Conflicts: 153000 | #Constraints: 13651 80.07/80.35 c #Conflicts: 154000 | #Constraints: 14651 80.07/80.35 c #Conflicts: 155000 | #Constraints: 15652 80.07/80.35 c INPROCESSING 80.07/80.35 c GARBAGE COLLECT 80.07/80.35 c rational objective 0 87.36/87.66 c #Conflicts: 156000 | #Constraints: 8845 87.36/87.66 c #Conflicts: 157000 | #Constraints: 9847 87.36/87.66 c #Conflicts: 158000 | #Constraints: 10849 87.36/87.66 c #Conflicts: 159000 | #Constraints: 11850 87.36/87.66 c #Conflicts: 160000 | #Constraints: 12850 87.36/87.66 c #Conflicts: 161000 | #Constraints: 13850 87.36/87.66 c #Conflicts: 162000 | #Constraints: 14851 87.36/87.66 c #Conflicts: 163000 | #Constraints: 15852 87.36/87.66 c INPROCESSING 87.36/87.66 c GARBAGE COLLECT 87.36/87.66 c rational objective 0 93.14/93.47 c #Conflicts: 164000 | #Constraints: 8847 93.14/93.47 c #Conflicts: 165000 | #Constraints: 9847 93.14/93.47 c #Conflicts: 166000 | #Constraints: 10847 93.14/93.47 c #Conflicts: 167000 | #Constraints: 11847 93.14/93.47 c #Conflicts: 168000 | #Constraints: 12848 93.14/93.47 c #Conflicts: 169000 | #Constraints: 13848 93.14/93.47 c #Conflicts: 170000 | #Constraints: 14850 93.14/93.47 c #Conflicts: 171000 | #Constraints: 15850 93.14/93.47 c INPROCESSING 93.14/93.47 c GARBAGE COLLECT 93.14/93.47 c rational objective 0 99.02/99.31 c #Conflicts: 172000 | #Constraints: 8643 99.02/99.31 c #Conflicts: 173000 | #Constraints: 9643 99.02/99.31 c #Conflicts: 174000 | #Constraints: 10643 99.02/99.31 c #Conflicts: 175000 | #Constraints: 11644 99.02/99.31 c #Conflicts: 176000 | #Constraints: 12644 99.02/99.31 c #Conflicts: 177000 | #Constraints: 13644 99.02/99.31 c #Conflicts: 178000 | #Constraints: 14644 99.02/99.31 c #Conflicts: 179000 | #Constraints: 15644 99.02/99.31 c #Conflicts: 180000 | #Constraints: 16646 99.02/99.31 c INPROCESSING 99.02/99.31 c GARBAGE COLLECT 99.02/99.31 c rational objective 0 107.10/107.45 c #Conflicts: 181000 | #Constraints: 9241 107.10/107.45 c #Conflicts: 182000 | #Constraints: 10242 107.10/107.45 c #Conflicts: 183000 | #Constraints: 11242 107.10/107.45 c #Conflicts: 184000 | #Constraints: 12243 107.10/107.45 c #Conflicts: 185000 | #Constraints: 13243 107.10/107.45 c #Conflicts: 186000 | #Constraints: 14243 107.10/107.45 c #Conflicts: 187000 | #Constraints: 15245 107.10/107.45 c #Conflicts: 188000 | #Constraints: 16246 107.10/107.45 c #Conflicts: 189000 | #Constraints: 17247 107.10/107.45 c INPROCESSING 107.10/107.45 c GARBAGE COLLECT 107.10/107.45 c rational objective 0 113.88/114.26 c #Conflicts: 190000 | #Constraints: 9642 113.88/114.26 c #Conflicts: 191000 | #Constraints: 10642 113.88/114.26 c #Conflicts: 192000 | #Constraints: 11643 113.88/114.26 c #Conflicts: 193000 | #Constraints: 12644 113.88/114.26 c #Conflicts: 194000 | #Constraints: 13644 113.88/114.26 c #Conflicts: 195000 | #Constraints: 14644 113.88/114.26 c #Conflicts: 196000 | #Constraints: 15644 113.88/114.26 c #Conflicts: 197000 | #Constraints: 16644 113.88/114.26 c #Conflicts: 198000 | #Constraints: 17644 113.88/114.26 c INPROCESSING 113.88/114.26 c GARBAGE COLLECT 113.88/114.26 c rational objective 0 122.66/123.04 c #Conflicts: 199000 | #Constraints: 9844 122.66/123.04 c #Conflicts: 200000 | #Constraints: 10844 122.66/123.04 c #Conflicts: 201000 | #Constraints: 11845 122.66/123.04 c #Conflicts: 202000 | #Constraints: 12845 122.66/123.04 c #Conflicts: 203000 | #Constraints: 13845 122.66/123.04 c #Conflicts: 204000 | #Constraints: 14846 122.66/123.04 c #Conflicts: 205000 | #Constraints: 15846 122.66/123.04 c #Conflicts: 206000 | #Constraints: 16846 122.66/123.04 c bounds 5 >= 0 @ 120.818 122.66/123.04 c #Conflicts: 207000 | #Constraints: 17848 122.66/123.04 c INPROCESSING 122.66/123.04 c GARBAGE COLLECT 122.66/123.04 c rational objective 0 131.23/131.68 c #Conflicts: 208000 | #Constraints: 9840 131.23/131.68 c #Conflicts: 209000 | #Constraints: 10840 131.23/131.68 c #Conflicts: 210000 | #Constraints: 11840 131.23/131.68 c #Conflicts: 211000 | #Constraints: 12840 131.23/131.68 c #Conflicts: 212000 | #Constraints: 13840 131.23/131.68 c #Conflicts: 213000 | #Constraints: 14840 131.23/131.68 c #Conflicts: 214000 | #Constraints: 15840 131.23/131.68 c #Conflicts: 215000 | #Constraints: 16840 131.23/131.68 c #Conflicts: 216000 | #Constraints: 17840 131.23/131.68 c INPROCESSING 131.23/131.68 c GARBAGE COLLECT 131.23/131.68 c rational objective 0 140.80/141.25 c #Conflicts: 217000 | #Constraints: 9641 140.80/141.25 c #Conflicts: 218000 | #Constraints: 10642 140.80/141.25 c #Conflicts: 219000 | #Constraints: 11644 140.80/141.25 c #Conflicts: 220000 | #Constraints: 12644 140.80/141.25 c #Conflicts: 221000 | #Constraints: 13645 140.80/141.25 c #Conflicts: 222000 | #Constraints: 14646 140.80/141.25 c #Conflicts: 223000 | #Constraints: 15646 140.80/141.25 c #Conflicts: 224000 | #Constraints: 16646 140.80/141.25 c #Conflicts: 225000 | #Constraints: 17646 140.80/141.25 c #Conflicts: 226000 | #Constraints: 18647 140.80/141.25 c INPROCESSING 140.80/141.25 c GARBAGE COLLECT 140.80/141.25 c rational objective 0 148.88/149.35 c #Conflicts: 227000 | #Constraints: 10242 148.88/149.35 c #Conflicts: 228000 | #Constraints: 11242 148.88/149.35 c #Conflicts: 229000 | #Constraints: 12242 148.88/149.35 c #Conflicts: 230000 | #Constraints: 13242 148.88/149.35 c #Conflicts: 231000 | #Constraints: 14242 148.88/149.35 c #Conflicts: 232000 | #Constraints: 15243 148.88/149.35 c #Conflicts: 233000 | #Constraints: 16243 148.88/149.35 c #Conflicts: 234000 | #Constraints: 17243 148.88/149.35 c #Conflicts: 235000 | #Constraints: 18243 148.88/149.35 c #Conflicts: 236000 | #Constraints: 19243 148.88/149.35 c INPROCESSING 148.88/149.35 c GARBAGE COLLECT 148.88/149.35 c rational objective 0 159.75/160.22 c #Conflicts: 237000 | #Constraints: 10637 159.75/160.22 c #Conflicts: 238000 | #Constraints: 11637 159.75/160.22 c #Conflicts: 239000 | #Constraints: 12637 159.75/160.22 c #Conflicts: 240000 | #Constraints: 13638 159.75/160.22 c #Conflicts: 241000 | #Constraints: 14638 159.75/160.22 c #Conflicts: 242000 | #Constraints: 15638 159.75/160.22 c #Conflicts: 243000 | #Constraints: 16640 159.75/160.22 c #Conflicts: 244000 | #Constraints: 17641 159.75/160.22 c #Conflicts: 245000 | #Constraints: 18641 159.75/160.22 c #Conflicts: 246000 | #Constraints: 19641 159.75/160.22 c INPROCESSING 159.75/160.22 c GARBAGE COLLECT 159.75/160.22 c rational objective 0 168.72/169.21 c #Conflicts: 247000 | #Constraints: 10843 168.72/169.21 c #Conflicts: 248000 | #Constraints: 11844 168.72/169.21 c #Conflicts: 249000 | #Constraints: 12844 168.72/169.21 c #Conflicts: 250000 | #Constraints: 13844 168.72/169.21 c #Conflicts: 251000 | #Constraints: 14844 168.72/169.21 c #Conflicts: 252000 | #Constraints: 15844 168.72/169.21 c #Conflicts: 253000 | #Constraints: 16845 168.72/169.21 c #Conflicts: 254000 | #Constraints: 17845 168.72/169.21 c #Conflicts: 255000 | #Constraints: 18846 168.72/169.21 c #Conflicts: 256000 | #Constraints: 19847 168.72/169.21 c INPROCESSING 168.72/169.21 c GARBAGE COLLECT 168.72/169.21 c rational objective 0 179.39/179.96 c #Conflicts: 257000 | #Constraints: 11059 179.39/179.96 c #Conflicts: 258000 | #Constraints: 12315 179.39/179.96 c #Conflicts: 259000 | #Constraints: 13315 179.39/179.96 c #Conflicts: 260000 | #Constraints: 14427 179.39/179.96 c #Conflicts: 261000 | #Constraints: 15428 179.39/179.96 c #Conflicts: 262000 | #Constraints: 16428 179.39/179.96 c #Conflicts: 263000 | #Constraints: 17428 179.39/179.96 c #Conflicts: 264000 | #Constraints: 18863 179.39/179.96 c #Conflicts: 265000 | #Constraints: 20200 179.39/179.96 c #Conflicts: 266000 | #Constraints: 21202 179.39/179.96 c INPROCESSING 179.39/179.96 c GARBAGE COLLECT 179.39/179.96 c rational objective 0 192.86/193.42 c #Conflicts: 267000 | #Constraints: 11327 192.86/193.42 c #Conflicts: 268000 | #Constraints: 12334 192.86/193.42 c #Conflicts: 269000 | #Constraints: 13335 192.86/193.42 c #Conflicts: 270000 | #Constraints: 14336 192.86/193.42 c #Conflicts: 271000 | #Constraints: 15337 192.86/193.42 c #Conflicts: 272000 | #Constraints: 16464 192.86/193.42 c #Conflicts: 273000 | #Constraints: 17540 192.86/193.42 c #Conflicts: 274000 | #Constraints: 18735 192.86/193.42 c #Conflicts: 275000 | #Constraints: 19735 192.86/193.42 c #Conflicts: 276000 | #Constraints: 20756 192.86/193.42 c #Conflicts: 277000 | #Constraints: 21846 192.86/193.42 c INPROCESSING 192.86/193.42 c GARBAGE COLLECT 192.86/193.42 c rational objective 0 209.10/209.71 c #Conflicts: 278000 | #Constraints: 12297 209.10/209.71 c #Conflicts: 279000 | #Constraints: 13883 209.10/209.71 c #Conflicts: 280000 | #Constraints: 15530 209.10/209.71 c #Conflicts: 281000 | #Constraints: 17197 209.10/209.71 c #Conflicts: 282000 | #Constraints: 18351 209.10/209.71 c #Conflicts: 283000 | #Constraints: 19778 209.10/209.71 c #Conflicts: 284000 | #Constraints: 21381 209.10/209.71 c #Conflicts: 285000 | #Constraints: 23014 209.10/209.71 c #Conflicts: 286000 | #Constraints: 24648 209.10/209.71 c #Conflicts: 287000 | #Constraints: 26251 209.10/209.71 c #Conflicts: 288000 | #Constraints: 27832 209.10/209.71 c INPROCESSING 209.10/209.71 c GARBAGE COLLECT 209.10/209.71 c rational objective 0 229.14/229.82 c #Conflicts: 289000 | #Constraints: 15212 229.14/229.82 c #Conflicts: 290000 | #Constraints: 16649 229.14/229.82 c #Conflicts: 291000 | #Constraints: 17924 229.14/229.82 c #Conflicts: 292000 | #Constraints: 19292 229.14/229.82 c #Conflicts: 293000 | #Constraints: 20894 229.14/229.82 c #Conflicts: 294000 | #Constraints: 22223 229.14/229.82 c #Conflicts: 295000 | #Constraints: 23483 229.14/229.82 c #Conflicts: 296000 | #Constraints: 24922 229.14/229.82 c #Conflicts: 297000 | #Constraints: 26211 229.14/229.82 c #Conflicts: 298000 | #Constraints: 27684 229.14/229.82 c #Conflicts: 299000 | #Constraints: 28992 229.14/229.82 c INPROCESSING 229.14/229.82 c GARBAGE COLLECT 229.14/229.82 c rational objective 0 240.82/241.50 c #Conflicts: 300000 | #Constraints: 15517 240.82/241.50 c #Conflicts: 301000 | #Constraints: 16517 240.82/241.50 c #Conflicts: 302000 | #Constraints: 17517 240.82/241.50 c #Conflicts: 303000 | #Constraints: 18517 240.82/241.50 c #Conflicts: 304000 | #Constraints: 19518 240.82/241.50 c #Conflicts: 305000 | #Constraints: 20519 240.82/241.50 c #Conflicts: 306000 | #Constraints: 21593 240.82/241.50 c #Conflicts: 307000 | #Constraints: 22593 240.82/241.50 c #Conflicts: 308000 | #Constraints: 23593 240.82/241.50 c #Conflicts: 309000 | #Constraints: 24593 240.82/241.50 c #Conflicts: 310000 | #Constraints: 25594 240.82/241.50 c INPROCESSING 240.82/241.50 c GARBAGE COLLECT 240.82/241.50 c rational objective 0 264.05/264.80 c #Conflicts: 311000 | #Constraints: 14200 264.05/264.80 c #Conflicts: 312000 | #Constraints: 15782 264.05/264.80 c #Conflicts: 313000 | #Constraints: 17385 264.05/264.80 c #Conflicts: 314000 | #Constraints: 18987 264.05/264.80 c #Conflicts: 315000 | #Constraints: 20664 264.05/264.80 c #Conflicts: 316000 | #Constraints: 22329 264.05/264.80 c #Conflicts: 317000 | #Constraints: 23994 264.05/264.80 c #Conflicts: 318000 | #Constraints: 25654 264.05/264.80 c #Conflicts: 319000 | #Constraints: 27366 264.05/264.80 c #Conflicts: 320000 | #Constraints: 29025 264.05/264.80 c #Conflicts: 321000 | #Constraints: 30653 264.05/264.80 c INPROCESSING 264.05/264.80 c GARBAGE COLLECT 264.05/264.80 c rational objective 0 282.70/283.54 c #Conflicts: 322000 | #Constraints: 16450 282.70/283.54 c #Conflicts: 323000 | #Constraints: 17609 282.70/283.54 c #Conflicts: 324000 | #Constraints: 18756 282.70/283.54 c #Conflicts: 325000 | #Constraints: 20337 282.70/283.54 c #Conflicts: 326000 | #Constraints: 21551 282.70/283.54 c #Conflicts: 327000 | #Constraints: 22967 282.70/283.54 c #Conflicts: 328000 | #Constraints: 24560 282.70/283.54 c #Conflicts: 329000 | #Constraints: 26148 282.70/283.54 c #Conflicts: 330000 | #Constraints: 27761 282.70/283.54 c #Conflicts: 331000 | #Constraints: 29380 282.70/283.54 c #Conflicts: 332000 | #Constraints: 30970 282.70/283.54 c #Conflicts: 333000 | #Constraints: 32604 282.70/283.54 c INPROCESSING 282.70/283.54 c GARBAGE COLLECT 282.70/283.54 c rational objective 0 302.74/303.65 c #Conflicts: 334000 | #Constraints: 17767 302.74/303.65 c #Conflicts: 335000 | #Constraints: 19396 302.74/303.65 c #Conflicts: 336000 | #Constraints: 21045 302.74/303.65 c #Conflicts: 337000 | #Constraints: 22700 302.74/303.65 c #Conflicts: 338000 | #Constraints: 24279 302.74/303.65 c #Conflicts: 339000 | #Constraints: 25877 302.74/303.65 c #Conflicts: 340000 | #Constraints: 27512 302.74/303.65 c #Conflicts: 341000 | #Constraints: 29170 302.74/303.65 c #Conflicts: 342000 | #Constraints: 30775 302.74/303.65 c #Conflicts: 343000 | #Constraints: 32420 302.74/303.65 c #Conflicts: 344000 | #Constraints: 34087 302.74/303.65 c #Conflicts: 345000 | #Constraints: 35734 302.74/303.65 c INPROCESSING 302.74/303.65 c GARBAGE COLLECT 302.74/303.65 c rational objective 0 326.58/327.54 c #Conflicts: 346000 | #Constraints: 19231 326.58/327.54 c #Conflicts: 347000 | #Constraints: 20390 326.58/327.54 c #Conflicts: 348000 | #Constraints: 21458 326.58/327.54 c #Conflicts: 349000 | #Constraints: 22790 326.58/327.54 c #Conflicts: 350000 | #Constraints: 23933 326.58/327.54 c #Conflicts: 351000 | #Constraints: 25574 326.58/327.54 c #Conflicts: 352000 | #Constraints: 26636 326.58/327.54 c #Conflicts: 353000 | #Constraints: 27718 326.58/327.54 c #Conflicts: 354000 | #Constraints: 28961 326.58/327.54 c #Conflicts: 355000 | #Constraints: 30144 326.58/327.54 c #Conflicts: 356000 | #Constraints: 31293 326.58/327.54 c #Conflicts: 357000 | #Constraints: 32492 326.58/327.54 c INPROCESSING 326.58/327.54 c GARBAGE COLLECT 326.58/327.54 c rational objective 0 343.14/344.11 c #Conflicts: 358000 | #Constraints: 17404 343.14/344.11 c #Conflicts: 359000 | #Constraints: 18404 343.14/344.11 c #Conflicts: 360000 | #Constraints: 19404 343.14/344.11 c #Conflicts: 361000 | #Constraints: 20404 343.14/344.11 c #Conflicts: 362000 | #Constraints: 21405 343.14/344.11 c #Conflicts: 363000 | #Constraints: 22405 343.14/344.11 c #Conflicts: 364000 | #Constraints: 23838 343.14/344.11 c #Conflicts: 365000 | #Constraints: 25317 343.14/344.11 c #Conflicts: 366000 | #Constraints: 26317 343.14/344.11 c #Conflicts: 367000 | #Constraints: 27337 343.14/344.11 c #Conflicts: 368000 | #Constraints: 28412 343.14/344.11 c #Conflicts: 369000 | #Constraints: 29521 343.14/344.11 c INPROCESSING 343.14/344.11 c GARBAGE COLLECT 343.14/344.11 c rational objective 0 371.06/372.13 c #Conflicts: 370000 | #Constraints: 16268 371.06/372.13 c #Conflicts: 371000 | #Constraints: 17815 371.06/372.13 c #Conflicts: 372000 | #Constraints: 18989 371.06/372.13 c #Conflicts: 373000 | #Constraints: 20217 371.06/372.13 c #Conflicts: 374000 | #Constraints: 21505 371.06/372.13 c #Conflicts: 375000 | #Constraints: 22552 371.06/372.13 c #Conflicts: 376000 | #Constraints: 23593 371.06/372.13 c #Conflicts: 377000 | #Constraints: 24989 371.06/372.13 c #Conflicts: 378000 | #Constraints: 26398 371.06/372.13 c #Conflicts: 379000 | #Constraints: 27761 371.06/372.13 c #Conflicts: 380000 | #Constraints: 29124 371.06/372.13 c #Conflicts: 381000 | #Constraints: 30643 371.06/372.13 c INPROCESSING 371.06/372.13 c GARBAGE COLLECT 371.06/372.13 c rational objective 0 387.21/388.39 c #Conflicts: 382000 | #Constraints: 16159 387.21/388.39 c #Conflicts: 383000 | #Constraints: 17164 387.21/388.39 c #Conflicts: 384000 | #Constraints: 18164 387.21/388.39 c #Conflicts: 385000 | #Constraints: 19164 387.21/388.39 c #Conflicts: 386000 | #Constraints: 20164 387.21/388.39 c #Conflicts: 387000 | #Constraints: 21164 387.21/388.39 c #Conflicts: 388000 | #Constraints: 22164 387.21/388.39 c #Conflicts: 389000 | #Constraints: 23247 387.21/388.39 c #Conflicts: 390000 | #Constraints: 24248 387.21/388.39 c #Conflicts: 391000 | #Constraints: 25443 387.21/388.39 c #Conflicts: 392000 | #Constraints: 26444 387.21/388.39 c #Conflicts: 393000 | #Constraints: 27444 387.21/388.39 c #Conflicts: 394000 | #Constraints: 28444 387.21/388.39 c INPROCESSING 387.21/388.39 c GARBAGE COLLECT 387.21/388.39 c rational objective 0 417.13/418.32 c #Conflicts: 395000 | #Constraints: 15641 417.13/418.32 c #Conflicts: 396000 | #Constraints: 17317 417.13/418.32 c #Conflicts: 397000 | #Constraints: 18978 417.13/418.32 c #Conflicts: 398000 | #Constraints: 20583 417.13/418.32 c #Conflicts: 399000 | #Constraints: 22214 417.13/418.32 c #Conflicts: 400000 | #Constraints: 23811 417.13/418.32 c #Conflicts: 401000 | #Constraints: 25427 417.13/418.32 c #Conflicts: 402000 | #Constraints: 27047 417.13/418.32 c #Conflicts: 403000 | #Constraints: 28698 417.13/418.32 c #Conflicts: 404000 | #Constraints: 30337 417.13/418.32 c #Conflicts: 405000 | #Constraints: 31937 417.13/418.32 c #Conflicts: 406000 | #Constraints: 33552 417.13/418.32 c #Conflicts: 407000 | #Constraints: 35179 417.13/418.32 c INPROCESSING 417.13/418.32 c GARBAGE COLLECT 417.13/418.32 c rational objective 0 463.69/465.04 c #Conflicts: 408000 | #Constraints: 19275 463.69/465.04 c #Conflicts: 409000 | #Constraints: 20917 463.69/465.04 c #Conflicts: 410000 | #Constraints: 22525 463.69/465.04 c #Conflicts: 411000 | #Constraints: 24175 463.69/465.04 c #Conflicts: 412000 | #Constraints: 25787 463.69/465.04 c #Conflicts: 413000 | #Constraints: 27451 463.69/465.04 c #Conflicts: 414000 | #Constraints: 29074 463.69/465.04 c #Conflicts: 415000 | #Constraints: 30700 463.69/465.04 c #Conflicts: 416000 | #Constraints: 32300 463.69/465.04 c #Conflicts: 417000 | #Constraints: 33912 463.69/465.04 c #Conflicts: 418000 | #Constraints: 35562 463.69/465.04 c #Conflicts: 419000 | #Constraints: 37216 463.69/465.04 c #Conflicts: 420000 | #Constraints: 38831 463.69/465.04 c INPROCESSING 463.69/465.04 c GARBAGE COLLECT 463.69/465.04 c rational objective 0 497.29/498.72 c #Conflicts: 421000 | #Constraints: 21006 497.29/498.72 c #Conflicts: 422000 | #Constraints: 22585 497.29/498.72 c #Conflicts: 423000 | #Constraints: 24188 497.29/498.72 c #Conflicts: 424000 | #Constraints: 25877 497.29/498.72 c #Conflicts: 425000 | #Constraints: 27189 497.29/498.72 c #Conflicts: 426000 | #Constraints: 28189 497.29/498.72 c #Conflicts: 427000 | #Constraints: 29410 497.29/498.72 c #Conflicts: 428000 | #Constraints: 30548 497.29/498.72 c #Conflicts: 429000 | #Constraints: 32195 497.29/498.72 c #Conflicts: 430000 | #Constraints: 33228 497.29/498.72 c #Conflicts: 431000 | #Constraints: 34721 497.29/498.72 c #Conflicts: 432000 | #Constraints: 36158 497.29/498.72 c #Conflicts: 433000 | #Constraints: 37573 497.29/498.72 c INPROCESSING 497.29/498.72 c GARBAGE COLLECT 497.29/498.72 c rational objective 0 530.71/532.20 c #Conflicts: 434000 | #Constraints: 20326 530.71/532.20 c #Conflicts: 435000 | #Constraints: 21480 530.71/532.20 c #Conflicts: 436000 | #Constraints: 22480 530.71/532.20 c #Conflicts: 437000 | #Constraints: 23480 530.71/532.20 c #Conflicts: 438000 | #Constraints: 25013 530.71/532.20 c #Conflicts: 439000 | #Constraints: 26144 530.71/532.20 c #Conflicts: 440000 | #Constraints: 27176 530.71/532.20 c #Conflicts: 441000 | #Constraints: 28584 530.71/532.20 c #Conflicts: 442000 | #Constraints: 29656 530.71/532.20 c #Conflicts: 443000 | #Constraints: 30784 530.71/532.20 c #Conflicts: 444000 | #Constraints: 32222 530.71/532.20 c #Conflicts: 445000 | #Constraints: 33329 530.71/532.20 c #Conflicts: 446000 | #Constraints: 34816 530.71/532.20 c INPROCESSING 530.71/532.20 c GARBAGE COLLECT 530.71/532.20 c rational objective 0 558.23/559.87 c #Conflicts: 447000 | #Constraints: 18237 558.23/559.87 c #Conflicts: 448000 | #Constraints: 19326 558.23/559.87 c #Conflicts: 449000 | #Constraints: 20353 558.23/559.87 c #Conflicts: 450000 | #Constraints: 21389 558.23/559.87 c #Conflicts: 451000 | #Constraints: 22512 558.23/559.87 c #Conflicts: 452000 | #Constraints: 23713 558.23/559.87 c #Conflicts: 453000 | #Constraints: 24852 558.23/559.87 c #Conflicts: 454000 | #Constraints: 26209 558.23/559.87 c #Conflicts: 455000 | #Constraints: 27527 558.23/559.87 c #Conflicts: 456000 | #Constraints: 28938 558.23/559.87 c #Conflicts: 457000 | #Constraints: 30011 558.23/559.87 c #Conflicts: 458000 | #Constraints: 31045 558.23/559.87 c #Conflicts: 459000 | #Constraints: 32456 558.23/559.87 c #Conflicts: 460000 | #Constraints: 33751 558.23/559.87 c INPROCESSING 558.23/559.87 c GARBAGE COLLECT 558.23/559.87 c rational objective 0 588.36/590.08 c #Conflicts: 461000 | #Constraints: 18016 588.36/590.08 c #Conflicts: 462000 | #Constraints: 19192 588.36/590.08 c #Conflicts: 463000 | #Constraints: 20289 588.36/590.08 c #Conflicts: 464000 | #Constraints: 21294 588.36/590.08 c #Conflicts: 465000 | #Constraints: 22294 588.36/590.08 c #Conflicts: 466000 | #Constraints: 23449 588.36/590.08 c #Conflicts: 467000 | #Constraints: 24449 588.36/590.08 c #Conflicts: 468000 | #Constraints: 25490 588.36/590.08 c #Conflicts: 469000 | #Constraints: 26491 588.36/590.08 c #Conflicts: 470000 | #Constraints: 27491 588.36/590.08 c #Conflicts: 471000 | #Constraints: 28491 588.36/590.08 c #Conflicts: 472000 | #Constraints: 29590 588.36/590.08 c #Conflicts: 473000 | #Constraints: 30660 588.36/590.08 c #Conflicts: 474000 | #Constraints: 31660 588.36/590.08 c INPROCESSING 588.36/590.08 c GARBAGE COLLECT 588.36/590.08 c rational objective 0 623.57/625.39 c #Conflicts: 475000 | #Constraints: 17405 623.57/625.39 c #Conflicts: 476000 | #Constraints: 19013 623.57/625.39 c #Conflicts: 477000 | #Constraints: 20637 623.57/625.39 c #Conflicts: 478000 | #Constraints: 22237 623.57/625.39 c #Conflicts: 479000 | #Constraints: 23823 623.57/625.39 c #Conflicts: 480000 | #Constraints: 25439 623.57/625.39 c #Conflicts: 481000 | #Constraints: 27028 623.57/625.39 c #Conflicts: 482000 | #Constraints: 28622 623.57/625.39 c #Conflicts: 483000 | #Constraints: 30247 623.57/625.39 c #Conflicts: 484000 | #Constraints: 31862 623.57/625.39 c #Conflicts: 485000 | #Constraints: 33506 623.57/625.39 c #Conflicts: 486000 | #Constraints: 35118 623.57/625.39 c #Conflicts: 487000 | #Constraints: 36768 623.57/625.39 c #Conflicts: 488000 | #Constraints: 38400 623.57/625.39 c INPROCESSING 623.57/625.39 c GARBAGE COLLECT 623.57/625.39 c rational objective 0 678.73/680.66 c #Conflicts: 489000 | #Constraints: 20739 678.73/680.66 c #Conflicts: 490000 | #Constraints: 22392 678.73/680.66 c #Conflicts: 491000 | #Constraints: 24024 678.73/680.66 c #Conflicts: 492000 | #Constraints: 25694 678.73/680.66 c #Conflicts: 493000 | #Constraints: 27266 678.73/680.66 c #Conflicts: 494000 | #Constraints: 28945 678.73/680.66 c #Conflicts: 495000 | #Constraints: 30591 678.73/680.66 c #Conflicts: 496000 | #Constraints: 32223 678.73/680.66 c #Conflicts: 497000 | #Constraints: 33874 678.73/680.66 c #Conflicts: 498000 | #Constraints: 35519 678.73/680.66 c #Conflicts: 499000 | #Constraints: 37164 678.73/680.66 c #Conflicts: 500000 | #Constraints: 38720 678.73/680.66 c #Conflicts: 501000 | #Constraints: 40134 678.73/680.66 c #Conflicts: 502000 | #Constraints: 41780 678.73/680.66 c INPROCESSING 678.73/680.66 c GARBAGE COLLECT 678.73/680.66 c rational objective 0 720.03/722.09 c #Conflicts: 503000 | #Constraints: 22353 720.03/722.09 c #Conflicts: 504000 | #Constraints: 23781 720.03/722.09 c #Conflicts: 505000 | #Constraints: 25067 720.03/722.09 c #Conflicts: 506000 | #Constraints: 26291 720.03/722.09 c #Conflicts: 507000 | #Constraints: 27407 720.03/722.09 c #Conflicts: 508000 | #Constraints: 28407 720.03/722.09 c #Conflicts: 509000 | #Constraints: 29408 720.03/722.09 c #Conflicts: 510000 | #Constraints: 30544 720.03/722.09 c #Conflicts: 511000 | #Constraints: 31544 720.03/722.09 c #Conflicts: 512000 | #Constraints: 32953 720.03/722.09 c #Conflicts: 513000 | #Constraints: 34440 720.03/722.09 c #Conflicts: 514000 | #Constraints: 35441 720.03/722.09 c #Conflicts: 515000 | #Constraints: 36682 720.03/722.09 c #Conflicts: 516000 | #Constraints: 37873 720.03/722.09 c INPROCESSING 720.03/722.09 c GARBAGE COLLECT 720.03/722.09 c rational objective 0 756.43/758.55 c #Conflicts: 517000 | #Constraints: 19876 756.43/758.55 c #Conflicts: 518000 | #Constraints: 21019 756.43/758.55 c #Conflicts: 519000 | #Constraints: 22657 756.43/758.55 c #Conflicts: 520000 | #Constraints: 24288 756.43/758.55 c #Conflicts: 521000 | #Constraints: 25887 756.43/758.55 c #Conflicts: 522000 | #Constraints: 27035 756.43/758.55 c #Conflicts: 523000 | #Constraints: 28036 756.43/758.55 c #Conflicts: 524000 | #Constraints: 29207 756.43/758.55 c #Conflicts: 525000 | #Constraints: 30839 756.43/758.55 c #Conflicts: 526000 | #Constraints: 32448 756.43/758.55 c #Conflicts: 527000 | #Constraints: 33996 756.43/758.55 c #Conflicts: 528000 | #Constraints: 35612 756.43/758.55 c #Conflicts: 529000 | #Constraints: 37223 756.43/758.55 c #Conflicts: 530000 | #Constraints: 38903 756.43/758.55 c #Conflicts: 531000 | #Constraints: 40555 756.43/758.55 c INPROCESSING 756.43/758.55 c GARBAGE COLLECT 756.43/758.55 c rational objective 0 809.70/811.90 c #Conflicts: 532000 | #Constraints: 21743 809.70/811.90 c #Conflicts: 533000 | #Constraints: 23345 809.70/811.90 c #Conflicts: 534000 | #Constraints: 24911 809.70/811.90 c #Conflicts: 535000 | #Constraints: 26498 809.70/811.90 c #Conflicts: 536000 | #Constraints: 28123 809.70/811.90 c #Conflicts: 537000 | #Constraints: 29249 809.70/811.90 c #Conflicts: 538000 | #Constraints: 30758 809.70/811.90 c #Conflicts: 539000 | #Constraints: 32404 809.70/811.90 c #Conflicts: 540000 | #Constraints: 33849 809.70/811.90 c #Conflicts: 541000 | #Constraints: 34850 809.70/811.90 c #Conflicts: 542000 | #Constraints: 36290 809.70/811.90 c #Conflicts: 543000 | #Constraints: 37291 809.70/811.90 c #Conflicts: 544000 | #Constraints: 38819 809.70/811.90 c #Conflicts: 545000 | #Constraints: 40463 809.70/811.90 c #Conflicts: 546000 | #Constraints: 42112 809.70/811.90 c INPROCESSING 809.70/811.90 c GARBAGE COLLECT 809.70/811.90 c rational objective 0 854.88/857.28 c #Conflicts: 547000 | #Constraints: 22610 854.88/857.28 c #Conflicts: 548000 | #Constraints: 24208 854.88/857.28 c #Conflicts: 549000 | #Constraints: 25898 854.88/857.28 c #Conflicts: 550000 | #Constraints: 27171 854.88/857.28 c #Conflicts: 551000 | #Constraints: 28443 854.88/857.28 c #Conflicts: 552000 | #Constraints: 30061 854.88/857.28 c #Conflicts: 553000 | #Constraints: 31688 854.88/857.28 c #Conflicts: 554000 | #Constraints: 33319 854.88/857.28 c #Conflicts: 555000 | #Constraints: 34959 854.88/857.28 c #Conflicts: 556000 | #Constraints: 36621 854.88/857.28 c #Conflicts: 557000 | #Constraints: 38268 854.88/857.28 c #Conflicts: 558000 | #Constraints: 39558 854.88/857.28 c #Conflicts: 559000 | #Constraints: 41180 854.88/857.28 c #Conflicts: 560000 | #Constraints: 42777 854.88/857.28 c #Conflicts: 561000 | #Constraints: 44349 854.88/857.28 c INPROCESSING 854.88/857.28 c GARBAGE COLLECT 854.88/857.28 c rational objective 0 906.56/909.01 c #Conflicts: 562000 | #Constraints: 23763 906.56/909.01 c #Conflicts: 563000 | #Constraints: 24850 906.56/909.01 c #Conflicts: 564000 | #Constraints: 26027 906.56/909.01 c #Conflicts: 565000 | #Constraints: 27408 906.56/909.01 c #Conflicts: 566000 | #Constraints: 28472 906.56/909.01 c #Conflicts: 567000 | #Constraints: 29511 906.56/909.01 c #Conflicts: 568000 | #Constraints: 30511 906.56/909.01 c #Conflicts: 569000 | #Constraints: 31809 906.56/909.01 c #Conflicts: 570000 | #Constraints: 33400 906.56/909.01 c #Conflicts: 571000 | #Constraints: 34400 906.56/909.01 c #Conflicts: 572000 | #Constraints: 35483 906.56/909.01 c #Conflicts: 573000 | #Constraints: 36706 906.56/909.01 c #Conflicts: 574000 | #Constraints: 37951 906.56/909.01 c #Conflicts: 575000 | #Constraints: 39630 906.56/909.01 c #Conflicts: 576000 | #Constraints: 40803 906.56/909.01 c INPROCESSING 906.56/909.01 c GARBAGE COLLECT 906.56/909.01 c rational objective 0 940.76/943.31 c #Conflicts: 577000 | #Constraints: 21389 940.76/943.31 c #Conflicts: 578000 | #Constraints: 22391 940.76/943.31 c #Conflicts: 579000 | #Constraints: 23542 940.76/943.31 c #Conflicts: 580000 | #Constraints: 25121 940.76/943.31 c #Conflicts: 581000 | #Constraints: 26780 940.76/943.31 c #Conflicts: 582000 | #Constraints: 28094 940.76/943.31 c #Conflicts: 583000 | #Constraints: 29398 940.76/943.31 c #Conflicts: 584000 | #Constraints: 30472 940.76/943.31 c #Conflicts: 585000 | #Constraints: 31472 940.76/943.31 c #Conflicts: 586000 | #Constraints: 32666 940.76/943.31 c #Conflicts: 587000 | #Constraints: 33678 940.76/943.31 c #Conflicts: 588000 | #Constraints: 34678 940.76/943.31 c #Conflicts: 589000 | #Constraints: 35678 940.76/943.31 c #Conflicts: 590000 | #Constraints: 37222 940.76/943.31 c #Conflicts: 591000 | #Constraints: 38455 940.76/943.31 c INPROCESSING 940.76/943.31 c GARBAGE COLLECT 940.76/943.31 c rational objective 0 983.56/986.27 c #Conflicts: 592000 | #Constraints: 20047 983.56/986.27 c #Conflicts: 593000 | #Constraints: 21433 983.56/986.27 c #Conflicts: 594000 | #Constraints: 22466 983.56/986.27 c #Conflicts: 595000 | #Constraints: 23466 983.56/986.27 c #Conflicts: 596000 | #Constraints: 24468 983.56/986.27 c #Conflicts: 597000 | #Constraints: 25468 983.56/986.27 c #Conflicts: 598000 | #Constraints: 26468 983.56/986.27 c #Conflicts: 599000 | #Constraints: 27468 983.56/986.27 c #Conflicts: 600000 | #Constraints: 28468 983.56/986.27 c #Conflicts: 601000 | #Constraints: 29469 983.56/986.27 c #Conflicts: 602000 | #Constraints: 30582 983.56/986.27 c #Conflicts: 603000 | #Constraints: 31604 983.56/986.27 c #Conflicts: 604000 | #Constraints: 32869 983.56/986.27 c #Conflicts: 605000 | #Constraints: 34115 983.56/986.27 c #Conflicts: 606000 | #Constraints: 35115 983.56/986.27 c #Conflicts: 607000 | #Constraints: 36116 983.56/986.27 c INPROCESSING 983.56/986.27 c GARBAGE COLLECT 983.56/986.27 c rational objective 0 1015.77/1018.51 c #Conflicts: 608000 | #Constraints: 19251 1015.77/1018.51 c #Conflicts: 609000 | #Constraints: 20311 1015.77/1018.51 c #Conflicts: 610000 | #Constraints: 21378 1015.77/1018.51 c #Conflicts: 611000 | #Constraints: 22959 1015.77/1018.51 c #Conflicts: 612000 | #Constraints: 24079 1015.77/1018.51 c #Conflicts: 613000 | #Constraints: 25079 1015.77/1018.51 c #Conflicts: 614000 | #Constraints: 26160 1015.77/1018.51 c #Conflicts: 615000 | #Constraints: 27160 1015.77/1018.51 c #Conflicts: 616000 | #Constraints: 28160 1015.77/1018.51 c #Conflicts: 617000 | #Constraints: 29161 1015.77/1018.51 c #Conflicts: 618000 | #Constraints: 30161 1015.77/1018.51 c #Conflicts: 619000 | #Constraints: 31161 1015.77/1018.51 c #Conflicts: 620000 | #Constraints: 32246 1015.77/1018.51 c #Conflicts: 621000 | #Constraints: 33246 1015.77/1018.51 c #Conflicts: 622000 | #Constraints: 34246 1015.77/1018.51 c #Conflicts: 623000 | #Constraints: 35247 1015.77/1018.51 c INPROCESSING 1015.77/1018.51 c GARBAGE COLLECT 1015.77/1018.51 c rational objective 0 1076.89/1079.89 c #Conflicts: 624000 | #Constraints: 19294 1076.89/1079.89 c #Conflicts: 625000 | #Constraints: 20890 1076.89/1079.89 c #Conflicts: 626000 | #Constraints: 22552 1076.89/1079.89 c #Conflicts: 627000 | #Constraints: 24149 1076.89/1079.89 c #Conflicts: 628000 | #Constraints: 25767 1076.89/1079.89 c #Conflicts: 629000 | #Constraints: 27410 1076.89/1079.89 c #Conflicts: 630000 | #Constraints: 29038 1076.89/1079.89 c #Conflicts: 631000 | #Constraints: 30662 1076.89/1079.89 c #Conflicts: 632000 | #Constraints: 32264 1076.89/1079.89 c #Conflicts: 633000 | #Constraints: 33848 1076.89/1079.89 c #Conflicts: 634000 | #Constraints: 35494 1076.89/1079.89 c #Conflicts: 635000 | #Constraints: 37126 1076.89/1079.89 c #Conflicts: 636000 | #Constraints: 38758 1076.89/1079.89 c #Conflicts: 637000 | #Constraints: 40381 1076.89/1079.89 c #Conflicts: 638000 | #Constraints: 42023 1076.89/1079.89 c #Conflicts: 639000 | #Constraints: 43643 1076.89/1079.89 c INPROCESSING 1076.89/1079.89 c GARBAGE COLLECT 1076.89/1079.89 c rational objective 0 1124.07/1127.13 c #Conflicts: 640000 | #Constraints: 23285 1124.07/1127.13 c #Conflicts: 641000 | #Constraints: 24285 1124.07/1127.13 c #Conflicts: 642000 | #Constraints: 25285 1124.07/1127.13 c #Conflicts: 643000 | #Constraints: 26905 1124.07/1127.13 c #Conflicts: 644000 | #Constraints: 28499 1124.07/1127.13 c #Conflicts: 645000 | #Constraints: 30128 1124.07/1127.13 c #Conflicts: 646000 | #Constraints: 31771 1124.07/1127.13 c #Conflicts: 647000 | #Constraints: 32981 1124.07/1127.13 c #Conflicts: 648000 | #Constraints: 34584 1124.07/1127.13 c #Conflicts: 649000 | #Constraints: 36241 1124.07/1127.13 c #Conflicts: 650000 | #Constraints: 37899 1124.07/1127.13 c #Conflicts: 651000 | #Constraints: 39526 1124.07/1127.13 c #Conflicts: 652000 | #Constraints: 41212 1124.07/1127.13 c #Conflicts: 653000 | #Constraints: 42858 1124.07/1127.13 c #Conflicts: 654000 | #Constraints: 44522 1124.07/1127.13 c #Conflicts: 655000 | #Constraints: 46173 1124.07/1127.13 c INPROCESSING 1124.07/1127.13 c GARBAGE COLLECT 1124.07/1127.13 c rational objective 0 1170.13/1173.30 c #Conflicts: 656000 | #Constraints: 24576 1170.13/1173.30 c #Conflicts: 657000 | #Constraints: 26052 1170.13/1173.30 c #Conflicts: 658000 | #Constraints: 27428 1170.13/1173.30 c #Conflicts: 659000 | #Constraints: 28919 1170.13/1173.30 c #Conflicts: 660000 | #Constraints: 30551 1170.13/1173.30 c #Conflicts: 661000 | #Constraints: 31988 1170.13/1173.30 c #Conflicts: 662000 | #Constraints: 33074 1170.13/1173.30 c #Conflicts: 663000 | #Constraints: 34588 1170.13/1173.30 c #Conflicts: 664000 | #Constraints: 35688 1170.13/1173.30 c #Conflicts: 665000 | #Constraints: 36697 1170.13/1173.30 c #Conflicts: 666000 | #Constraints: 37698 1170.13/1173.30 c #Conflicts: 667000 | #Constraints: 38699 1170.13/1173.30 c #Conflicts: 668000 | #Constraints: 39700 1170.13/1173.30 c #Conflicts: 669000 | #Constraints: 40700 1170.13/1173.30 c #Conflicts: 670000 | #Constraints: 41700 1170.13/1173.30 c #Conflicts: 671000 | #Constraints: 43118 1170.13/1173.30 c INPROCESSING 1170.13/1173.30 c GARBAGE COLLECT 1170.13/1173.30 c rational objective 0 1220.29/1223.62 c #Conflicts: 672000 | #Constraints: 22279 1220.29/1223.62 c #Conflicts: 673000 | #Constraints: 23294 1220.29/1223.62 c #Conflicts: 674000 | #Constraints: 24312 1220.29/1223.62 c #Conflicts: 675000 | #Constraints: 25312 1220.29/1223.62 c #Conflicts: 676000 | #Constraints: 26312 1220.29/1223.62 c #Conflicts: 677000 | #Constraints: 27519 1220.29/1223.62 c #Conflicts: 678000 | #Constraints: 28581 1220.29/1223.62 c #Conflicts: 679000 | #Constraints: 29582 1220.29/1223.62 c #Conflicts: 680000 | #Constraints: 30620 1220.29/1223.62 c #Conflicts: 681000 | #Constraints: 31697 1220.29/1223.62 c #Conflicts: 682000 | #Constraints: 32705 1220.29/1223.62 c #Conflicts: 683000 | #Constraints: 33793 1220.29/1223.62 c #Conflicts: 684000 | #Constraints: 34806 1220.29/1223.62 c #Conflicts: 685000 | #Constraints: 35878 1220.29/1223.62 c #Conflicts: 686000 | #Constraints: 36912 1220.29/1223.62 c #Conflicts: 687000 | #Constraints: 37912 1220.29/1223.62 c #Conflicts: 688000 | #Constraints: 38912 1220.29/1223.62 c INPROCESSING 1220.29/1223.62 c GARBAGE COLLECT 1220.29/1223.62 c rational objective 0 1256.10/1259.58 c #Conflicts: 689000 | #Constraints: 20616 1256.10/1259.58 c #Conflicts: 690000 | #Constraints: 21899 1256.10/1259.58 c #Conflicts: 691000 | #Constraints: 23427 1256.10/1259.58 c #Conflicts: 692000 | #Constraints: 24595 1256.10/1259.58 c #Conflicts: 693000 | #Constraints: 25595 1256.10/1259.58 c #Conflicts: 694000 | #Constraints: 26682 1256.10/1259.58 c #Conflicts: 695000 | #Constraints: 27682 1256.10/1259.58 c #Conflicts: 696000 | #Constraints: 28682 1256.10/1259.58 c #Conflicts: 697000 | #Constraints: 29683 1256.10/1259.58 c #Conflicts: 698000 | #Constraints: 30686 1256.10/1259.58 c #Conflicts: 699000 | #Constraints: 31687 1256.10/1259.58 c #Conflicts: 700000 | #Constraints: 32688 1256.10/1259.58 c #Conflicts: 701000 | #Constraints: 33689 1256.10/1259.58 c #Conflicts: 702000 | #Constraints: 34691 1256.10/1259.58 c #Conflicts: 703000 | #Constraints: 35691 1256.10/1259.58 c #Conflicts: 704000 | #Constraints: 36841 1256.10/1259.58 c #Conflicts: 705000 | #Constraints: 37841 1256.10/1259.58 c INPROCESSING 1256.10/1259.58 c GARBAGE COLLECT 1256.10/1259.58 c rational objective 0 1322.52/1326.19 c #Conflicts: 706000 | #Constraints: 20612 1322.52/1326.19 c #Conflicts: 707000 | #Constraints: 22272 1322.52/1326.19 c #Conflicts: 708000 | #Constraints: 23940 1322.52/1326.19 c #Conflicts: 709000 | #Constraints: 25608 1322.52/1326.19 c #Conflicts: 710000 | #Constraints: 27275 1322.52/1326.19 c #Conflicts: 711000 | #Constraints: 28914 1322.52/1326.19 c #Conflicts: 712000 | #Constraints: 30565 1322.52/1326.19 c #Conflicts: 713000 | #Constraints: 32226 1322.52/1326.19 c #Conflicts: 714000 | #Constraints: 33707 1322.52/1326.19 c #Conflicts: 715000 | #Constraints: 34852 1322.52/1326.19 c #Conflicts: 716000 | #Constraints: 36500 1322.52/1326.19 c #Conflicts: 717000 | #Constraints: 38160 1322.52/1326.19 c #Conflicts: 718000 | #Constraints: 39813 1322.52/1326.19 c #Conflicts: 719000 | #Constraints: 41414 1322.52/1326.19 c #Conflicts: 720000 | #Constraints: 43019 1322.52/1326.19 c #Conflicts: 721000 | #Constraints: 44619 1322.52/1326.19 c #Conflicts: 722000 | #Constraints: 46237 1322.52/1326.19 c INPROCESSING 1322.52/1326.19 c GARBAGE COLLECT 1322.52/1326.19 c rational objective 0 1360.43/1364.14 c #Conflicts: 723000 | #Constraints: 24139 1360.43/1364.14 c #Conflicts: 724000 | #Constraints: 25141 1360.43/1364.14 c #Conflicts: 725000 | #Constraints: 26145 1360.43/1364.14 c #Conflicts: 726000 | #Constraints: 27145 1360.43/1364.14 c #Conflicts: 727000 | #Constraints: 28145 1360.43/1364.14 c #Conflicts: 728000 | #Constraints: 29146 1360.43/1364.14 c #Conflicts: 729000 | #Constraints: 30147 1360.43/1364.14 c #Conflicts: 730000 | #Constraints: 31147 1360.43/1364.14 c #Conflicts: 731000 | #Constraints: 32147 1360.43/1364.14 c #Conflicts: 732000 | #Constraints: 33149 1360.43/1364.14 c #Conflicts: 733000 | #Constraints: 34150 1360.43/1364.14 c #Conflicts: 734000 | #Constraints: 35153 1360.43/1364.14 c #Conflicts: 735000 | #Constraints: 36154 1360.43/1364.14 c #Conflicts: 736000 | #Constraints: 37156 1360.43/1364.14 c #Conflicts: 737000 | #Constraints: 38156 1360.43/1364.14 c #Conflicts: 738000 | #Constraints: 39156 1360.43/1364.14 c #Conflicts: 739000 | #Constraints: 40156 1360.43/1364.14 c INPROCESSING 1360.43/1364.14 c GARBAGE COLLECT 1360.43/1364.14 c rational objective 0 1407.81/1411.69 c #Conflicts: 740000 | #Constraints: 20995 1407.81/1411.69 c #Conflicts: 741000 | #Constraints: 21996 1407.81/1411.69 c #Conflicts: 742000 | #Constraints: 22996 1407.81/1411.69 c #Conflicts: 743000 | #Constraints: 23996 1407.81/1411.69 c #Conflicts: 744000 | #Constraints: 24996 1407.81/1411.69 c #Conflicts: 745000 | #Constraints: 25998 1407.81/1411.69 c #Conflicts: 746000 | #Constraints: 26999 1407.81/1411.69 c #Conflicts: 747000 | #Constraints: 28000 1407.81/1411.69 c #Conflicts: 748000 | #Constraints: 29001 1407.81/1411.69 c #Conflicts: 749000 | #Constraints: 30001 1407.81/1411.69 c #Conflicts: 750000 | #Constraints: 31002 1407.81/1411.69 c #Conflicts: 751000 | #Constraints: 32002 1407.81/1411.69 c #Conflicts: 752000 | #Constraints: 33002 1407.81/1411.69 c #Conflicts: 753000 | #Constraints: 34002 1407.81/1411.69 c #Conflicts: 754000 | #Constraints: 35002 1407.81/1411.69 c #Conflicts: 755000 | #Constraints: 36002 1407.81/1411.69 c #Conflicts: 756000 | #Constraints: 37004 1407.81/1411.69 c INPROCESSING 1407.81/1411.69 c GARBAGE COLLECT 1407.81/1411.69 c rational objective 0 1447.33/1451.21 c #Conflicts: 757000 | #Constraints: 19254 1447.33/1451.21 c #Conflicts: 758000 | #Constraints: 20363 1447.33/1451.21 c #Conflicts: 759000 | #Constraints: 21885 1447.33/1451.21 c #Conflicts: 760000 | #Constraints: 23020 1447.33/1451.21 c #Conflicts: 761000 | #Constraints: 24058 1447.33/1451.21 c #Conflicts: 762000 | #Constraints: 25132 1447.33/1451.21 c #Conflicts: 763000 | #Constraints: 26218 1447.33/1451.21 c #Conflicts: 764000 | #Constraints: 27218 1447.33/1451.21 c #Conflicts: 765000 | #Constraints: 28218 1447.33/1451.21 c #Conflicts: 766000 | #Constraints: 29223 1447.33/1451.21 c #Conflicts: 767000 | #Constraints: 30252 1447.33/1451.21 c #Conflicts: 768000 | #Constraints: 31471 1447.33/1451.21 c #Conflicts: 769000 | #Constraints: 32479 1447.33/1451.21 c #Conflicts: 770000 | #Constraints: 33531 1447.33/1451.21 c #Conflicts: 771000 | #Constraints: 34575 1447.33/1451.21 c #Conflicts: 772000 | #Constraints: 35575 1447.33/1451.21 c #Conflicts: 773000 | #Constraints: 36895 1447.33/1451.21 c #Conflicts: 774000 | #Constraints: 37895 1447.33/1451.21 c INPROCESSING 1447.33/1451.21 c GARBAGE COLLECT 1447.33/1451.21 c rational objective 0 1506.18/1510.23 c #Conflicts: 775000 | #Constraints: 20314 1506.18/1510.23 c #Conflicts: 776000 | #Constraints: 21935 1506.18/1510.23 c #Conflicts: 777000 | #Constraints: 23576 1506.18/1510.23 c #Conflicts: 778000 | #Constraints: 25214 1506.18/1510.23 c #Conflicts: 779000 | #Constraints: 26819 1506.18/1510.23 c #Conflicts: 780000 | #Constraints: 28397 1506.18/1510.23 c #Conflicts: 781000 | #Constraints: 29995 1506.18/1510.23 c #Conflicts: 782000 | #Constraints: 31589 1506.18/1510.23 c #Conflicts: 783000 | #Constraints: 33237 1506.18/1510.23 c #Conflicts: 784000 | #Constraints: 34870 1506.18/1510.23 c #Conflicts: 785000 | #Constraints: 36483 1506.18/1510.23 c #Conflicts: 786000 | #Constraints: 38090 1506.18/1510.23 c #Conflicts: 787000 | #Constraints: 39721 1506.18/1510.23 c #Conflicts: 788000 | #Constraints: 41342 1506.18/1510.23 c #Conflicts: 789000 | #Constraints: 42963 1506.18/1510.23 c #Conflicts: 790000 | #Constraints: 44599 1506.18/1510.23 c #Conflicts: 791000 | #Constraints: 46257 1506.18/1510.23 c #Conflicts: 792000 | #Constraints: 47917 1506.18/1510.23 c INPROCESSING 1506.18/1510.23 c GARBAGE COLLECT 1506.18/1510.23 c rational objective 0 1566.84/1571.07 c #Conflicts: 793000 | #Constraints: 25181 1566.84/1571.07 c #Conflicts: 794000 | #Constraints: 26347 1566.84/1571.07 c #Conflicts: 795000 | #Constraints: 27347 1566.84/1571.07 c #Conflicts: 796000 | #Constraints: 28347 1566.84/1571.07 c #Conflicts: 797000 | #Constraints: 29638 1566.84/1571.07 c #Conflicts: 798000 | #Constraints: 30814 1566.84/1571.07 c #Conflicts: 799000 | #Constraints: 31815 1566.84/1571.07 c #Conflicts: 800000 | #Constraints: 32816 1566.84/1571.07 c #Conflicts: 801000 | #Constraints: 33819 1566.84/1571.07 c #Conflicts: 802000 | #Constraints: 34825 1566.84/1571.07 c #Conflicts: 803000 | #Constraints: 35825 1566.84/1571.07 c #Conflicts: 804000 | #Constraints: 37201 1566.84/1571.07 c #Conflicts: 805000 | #Constraints: 38361 1566.84/1571.07 c #Conflicts: 806000 | #Constraints: 39778 1566.84/1571.07 c #Conflicts: 807000 | #Constraints: 41338 1566.84/1571.07 c #Conflicts: 808000 | #Constraints: 42463 1566.84/1571.07 c #Conflicts: 809000 | #Constraints: 43527 1566.84/1571.07 c #Conflicts: 810000 | #Constraints: 44725 1566.84/1571.07 c INPROCESSING 1566.84/1571.07 c GARBAGE COLLECT 1566.84/1571.07 c rational objective 0 1610.73/1615.02 c #Conflicts: 811000 | #Constraints: 23951 1610.73/1615.02 c #Conflicts: 812000 | #Constraints: 25268 1610.73/1615.02 c #Conflicts: 813000 | #Constraints: 26268 1610.73/1615.02 c #Conflicts: 814000 | #Constraints: 27304 1610.73/1615.02 c #Conflicts: 815000 | #Constraints: 28467 1610.73/1615.02 c #Conflicts: 816000 | #Constraints: 29467 1610.73/1615.02 c #Conflicts: 817000 | #Constraints: 30480 1610.73/1615.02 c #Conflicts: 818000 | #Constraints: 31591 1610.73/1615.02 c #Conflicts: 819000 | #Constraints: 32591 1610.73/1615.02 c #Conflicts: 820000 | #Constraints: 33919 1610.73/1615.02 c #Conflicts: 821000 | #Constraints: 34919 1610.73/1615.02 c #Conflicts: 822000 | #Constraints: 35919 1610.73/1615.02 c #Conflicts: 823000 | #Constraints: 37361 1610.73/1615.02 c #Conflicts: 824000 | #Constraints: 38519 1610.73/1615.02 c #Conflicts: 825000 | #Constraints: 39785 1610.73/1615.02 c #Conflicts: 826000 | #Constraints: 40785 1610.73/1615.02 c #Conflicts: 827000 | #Constraints: 41786 1610.73/1615.02 c #Conflicts: 828000 | #Constraints: 42787 1610.73/1615.02 c INPROCESSING 1610.73/1615.02 c GARBAGE COLLECT 1610.73/1615.02 c rational objective 0 1685.24/1689.79 c #Conflicts: 829000 | #Constraints: 22811 1685.24/1689.79 c #Conflicts: 830000 | #Constraints: 24434 1685.24/1689.79 c #Conflicts: 831000 | #Constraints: 26066 1685.24/1689.79 c #Conflicts: 832000 | #Constraints: 27654 1685.24/1689.79 c #Conflicts: 833000 | #Constraints: 29287 1685.24/1689.79 c #Conflicts: 834000 | #Constraints: 30951 1685.24/1689.79 c #Conflicts: 835000 | #Constraints: 32588 1685.24/1689.79 c #Conflicts: 836000 | #Constraints: 34257 1685.24/1689.79 c #Conflicts: 837000 | #Constraints: 35916 1685.24/1689.79 c #Conflicts: 838000 | #Constraints: 37564 1685.24/1689.79 c #Conflicts: 839000 | #Constraints: 39227 1685.24/1689.79 c #Conflicts: 840000 | #Constraints: 40896 1685.24/1689.79 c #Conflicts: 841000 | #Constraints: 42545 1685.24/1689.79 c #Conflicts: 842000 | #Constraints: 44225 1685.24/1689.79 c #Conflicts: 843000 | #Constraints: 45887 1685.24/1689.79 c #Conflicts: 844000 | #Constraints: 47570 1685.24/1689.79 c #Conflicts: 845000 | #Constraints: 49260 1685.24/1689.79 c #Conflicts: 846000 | #Constraints: 50902 1685.24/1689.79 c INPROCESSING 1685.24/1689.79 c GARBAGE COLLECT 1685.24/1689.79 c rational objective 0 1748.09/1752.74 c #Conflicts: 847000 | #Constraints: 26586 1748.09/1752.74 c #Conflicts: 848000 | #Constraints: 28227 1748.09/1752.74 c #Conflicts: 849000 | #Constraints: 29774 1748.09/1752.74 c #Conflicts: 850000 | #Constraints: 31394 1748.09/1752.74 c #Conflicts: 851000 | #Constraints: 32979 1748.09/1752.74 c #Conflicts: 852000 | #Constraints: 34628 1748.09/1752.74 c #Conflicts: 853000 | #Constraints: 36286 1748.09/1752.74 c #Conflicts: 854000 | #Constraints: 37947 1748.09/1752.74 c #Conflicts: 855000 | #Constraints: 39554 1748.09/1752.74 c #Conflicts: 856000 | #Constraints: 41150 1748.09/1752.74 c #Conflicts: 857000 | #Constraints: 42723 1748.09/1752.74 c #Conflicts: 858000 | #Constraints: 44411 1748.09/1752.74 c #Conflicts: 859000 | #Constraints: 46076 1748.09/1752.74 c #Conflicts: 860000 | #Constraints: 47745 1748.09/1752.74 c #Conflicts: 861000 | #Constraints: 49388 1748.09/1752.74 c #Conflicts: 862000 | #Constraints: 51013 1748.09/1752.74 c #Conflicts: 863000 | #Constraints: 52659 1748.09/1752.74 c #Conflicts: 864000 | #Constraints: 54281 1748.09/1752.74 c #Conflicts: 865000 | #Constraints: 55899 1748.09/1752.74 c INPROCESSING 1748.09/1752.74 c GARBAGE COLLECT 1748.09/1752.74 c rational objective 0 1827.30/1832.17 c #Conflicts: 866000 | #Constraints: 29252 1827.30/1832.17 c #Conflicts: 867000 | #Constraints: 30500 1827.30/1832.17 c #Conflicts: 868000 | #Constraints: 31774 1827.30/1832.17 c #Conflicts: 869000 | #Constraints: 32776 1827.30/1832.17 c #Conflicts: 870000 | #Constraints: 33777 1827.30/1832.17 c #Conflicts: 871000 | #Constraints: 35137 1827.30/1832.17 c #Conflicts: 872000 | #Constraints: 36137 1827.30/1832.17 c #Conflicts: 873000 | #Constraints: 37217 1827.30/1832.17 c #Conflicts: 874000 | #Constraints: 38297 1827.30/1832.17 c #Conflicts: 875000 | #Constraints: 39297 1827.30/1832.17 c #Conflicts: 876000 | #Constraints: 40656 1827.30/1832.17 c #Conflicts: 877000 | #Constraints: 41656 1827.30/1832.17 c #Conflicts: 878000 | #Constraints: 42664 1827.30/1832.17 c #Conflicts: 879000 | #Constraints: 43954 1827.30/1832.17 c #Conflicts: 880000 | #Constraints: 45257 1827.30/1832.17 c #Conflicts: 881000 | #Constraints: 46650 1827.30/1832.17 c #Conflicts: 882000 | #Constraints: 47665 1827.30/1832.17 c #Conflicts: 883000 | #Constraints: 49086 1827.30/1832.17 c #Conflicts: 884000 | #Constraints: 50157 1827.30/1832.17 c INPROCESSING 1827.30/1832.17 c GARBAGE COLLECT 1827.30/1832.17 c rational objective 0 1910.71/1915.72 c #Conflicts: 885000 | #Constraints: 26719 1910.71/1915.72 c #Conflicts: 886000 | #Constraints: 28387 1910.71/1915.72 c #Conflicts: 887000 | #Constraints: 30040 1910.71/1915.72 c #Conflicts: 888000 | #Constraints: 31662 1910.71/1915.72 c #Conflicts: 889000 | #Constraints: 33336 1910.71/1915.72 c #Conflicts: 890000 | #Constraints: 34932 1910.71/1915.72 c #Conflicts: 891000 | #Constraints: 36541 1910.71/1915.72 c #Conflicts: 892000 | #Constraints: 38178 1910.71/1915.72 c #Conflicts: 893000 | #Constraints: 39811 1910.71/1915.72 c #Conflicts: 894000 | #Constraints: 41455 1910.71/1915.72 c #Conflicts: 895000 | #Constraints: 43077 1910.71/1915.72 c #Conflicts: 896000 | #Constraints: 44728 1910.71/1915.72 c #Conflicts: 897000 | #Constraints: 46339 1910.71/1915.72 c #Conflicts: 898000 | #Constraints: 47963 1910.71/1915.72 c #Conflicts: 899000 | #Constraints: 49346 1910.71/1915.72 c #Conflicts: 900000 | #Constraints: 50992 1910.71/1915.72 c #Conflicts: 901000 | #Constraints: 52623 1910.71/1915.72 c #Conflicts: 902000 | #Constraints: 54279 1910.71/1915.72 c #Conflicts: 903000 | #Constraints: 55951 1910.71/1915.72 c INPROCESSING 1910.71/1915.72 c GARBAGE COLLECT 1910.71/1915.72 c rational objective 0 2025.63/2030.97 c #Conflicts: 904000 | #Constraints: 29629 2025.63/2030.97 c #Conflicts: 905000 | #Constraints: 31271 2025.63/2030.97 c #Conflicts: 906000 | #Constraints: 32880 2025.63/2030.97 c #Conflicts: 907000 | #Constraints: 34462 2025.63/2030.97 c #Conflicts: 908000 | #Constraints: 36124 2025.63/2030.97 c #Conflicts: 909000 | #Constraints: 37811 2025.63/2030.97 c #Conflicts: 910000 | #Constraints: 39460 2025.63/2030.97 c #Conflicts: 911000 | #Constraints: 41038 2025.63/2030.97 c #Conflicts: 912000 | #Constraints: 42656 2025.63/2030.97 c #Conflicts: 913000 | #Constraints: 44249 2025.63/2030.97 c #Conflicts: 914000 | #Constraints: 45860 2025.63/2030.97 c #Conflicts: 915000 | #Constraints: 47463 2025.63/2030.97 c #Conflicts: 916000 | #Constraints: 49085 2025.63/2030.97 c #Conflicts: 917000 | #Constraints: 50667 2025.63/2030.97 c #Conflicts: 918000 | #Constraints: 52162 2025.63/2030.97 c #Conflicts: 919000 | #Constraints: 53786 2025.63/2030.97 c #Conflicts: 920000 | #Constraints: 55403 2025.63/2030.97 c #Conflicts: 921000 | #Constraints: 56982 2025.63/2030.97 c #Conflicts: 922000 | #Constraints: 58440 2025.63/2030.97 c INPROCESSING 2025.63/2030.97 c GARBAGE COLLECT 2025.63/2030.97 c rational objective 0 2080.40/2085.81 c #Conflicts: 923000 | #Constraints: 30341 2080.40/2085.81 c #Conflicts: 924000 | #Constraints: 31342 2080.40/2085.81 c #Conflicts: 925000 | #Constraints: 32342 2080.40/2085.81 c #Conflicts: 926000 | #Constraints: 33345 2080.40/2085.81 c #Conflicts: 927000 | #Constraints: 34345 2080.40/2085.81 c #Conflicts: 928000 | #Constraints: 35345 2080.40/2085.81 c #Conflicts: 929000 | #Constraints: 36364 2080.40/2085.81 c #Conflicts: 930000 | #Constraints: 37463 2080.40/2085.81 c #Conflicts: 931000 | #Constraints: 38598 2080.40/2085.81 c #Conflicts: 932000 | #Constraints: 39750 2080.40/2085.81 c #Conflicts: 933000 | #Constraints: 40751 2080.40/2085.81 c #Conflicts: 934000 | #Constraints: 41751 2080.40/2085.81 c #Conflicts: 935000 | #Constraints: 42751 2080.40/2085.81 c #Conflicts: 936000 | #Constraints: 43751 2080.40/2085.81 c #Conflicts: 937000 | #Constraints: 44751 2080.40/2085.81 c #Conflicts: 938000 | #Constraints: 45751 2080.40/2085.81 c #Conflicts: 939000 | #Constraints: 46751 2080.40/2085.81 c #Conflicts: 940000 | #Constraints: 47751 2080.40/2085.81 c #Conflicts: 941000 | #Constraints: 48751 2080.40/2085.81 c INPROCESSING 2080.40/2085.81 c GARBAGE COLLECT 2080.40/2085.81 c rational objective 0 2132.88/2138.43 c #Conflicts: 942000 | #Constraints: 25097 2132.88/2138.43 c #Conflicts: 943000 | #Constraints: 26097 2132.88/2138.43 c #Conflicts: 944000 | #Constraints: 27097 2132.88/2138.43 c #Conflicts: 945000 | #Constraints: 28097 2132.88/2138.43 c #Conflicts: 946000 | #Constraints: 29097 2132.88/2138.43 c #Conflicts: 947000 | #Constraints: 30098 2132.88/2138.43 c #Conflicts: 948000 | #Constraints: 31098 2132.88/2138.43 c #Conflicts: 949000 | #Constraints: 32098 2132.88/2138.43 c #Conflicts: 950000 | #Constraints: 33098 2132.88/2138.43 c #Conflicts: 951000 | #Constraints: 34098 2132.88/2138.43 c #Conflicts: 952000 | #Constraints: 35098 2132.88/2138.43 c #Conflicts: 953000 | #Constraints: 36098 2132.88/2138.43 c #Conflicts: 954000 | #Constraints: 37099 2132.88/2138.43 c #Conflicts: 955000 | #Constraints: 38099 2132.88/2138.43 c #Conflicts: 956000 | #Constraints: 39099 2132.88/2138.43 c #Conflicts: 957000 | #Constraints: 40099 2132.88/2138.43 c #Conflicts: 958000 | #Constraints: 41100 2132.88/2138.43 c #Conflicts: 959000 | #Constraints: 42100 2132.88/2138.43 c #Conflicts: 960000 | #Constraints: 43100 2132.88/2138.43 c #Conflicts: 961000 | #Constraints: 44100 2132.88/2138.43 c INPROCESSING 2132.88/2138.43 c GARBAGE COLLECT 2132.88/2138.43 c rational objective 0 2195.34/2201.03 c #Conflicts: 962000 | #Constraints: 22966 2195.34/2201.03 c #Conflicts: 963000 | #Constraints: 23966 2195.34/2201.03 c #Conflicts: 964000 | #Constraints: 24966 2195.34/2201.03 c #Conflicts: 965000 | #Constraints: 25966 2195.34/2201.03 c #Conflicts: 966000 | #Constraints: 26967 2195.34/2201.03 c #Conflicts: 967000 | #Constraints: 27967 2195.34/2201.03 c #Conflicts: 968000 | #Constraints: 28967 2195.34/2201.03 c #Conflicts: 969000 | #Constraints: 29967 2195.34/2201.03 c #Conflicts: 970000 | #Constraints: 30967 2195.34/2201.03 c #Conflicts: 971000 | #Constraints: 31968 2195.34/2201.03 c #Conflicts: 972000 | #Constraints: 32968 2195.34/2201.03 c #Conflicts: 973000 | #Constraints: 33969 2195.34/2201.03 c #Conflicts: 974000 | #Constraints: 34969 2195.34/2201.03 c #Conflicts: 975000 | #Constraints: 35973 2195.34/2201.03 c #Conflicts: 976000 | #Constraints: 36974 2195.34/2201.03 c #Conflicts: 977000 | #Constraints: 37974 2195.34/2201.03 c #Conflicts: 978000 | #Constraints: 38974 2195.34/2201.03 c #Conflicts: 979000 | #Constraints: 39974 2195.34/2201.03 c #Conflicts: 980000 | #Constraints: 40975 2195.34/2201.03 c #Conflicts: 981000 | #Constraints: 41975 2195.34/2201.03 c INPROCESSING 2195.34/2201.03 c GARBAGE COLLECT 2195.34/2201.03 c rational objective 0 2287.22/2293.10 c #Conflicts: 982000 | #Constraints: 22674 2287.22/2293.10 c #Conflicts: 983000 | #Constraints: 24347 2287.22/2293.10 c #Conflicts: 984000 | #Constraints: 26032 2287.22/2293.10 c #Conflicts: 985000 | #Constraints: 27715 2287.22/2293.10 c #Conflicts: 986000 | #Constraints: 29365 2287.22/2293.10 c #Conflicts: 987000 | #Constraints: 31046 2287.22/2293.10 c #Conflicts: 988000 | #Constraints: 32727 2287.22/2293.10 c #Conflicts: 989000 | #Constraints: 34385 2287.22/2293.10 c #Conflicts: 990000 | #Constraints: 36023 2287.22/2293.10 c #Conflicts: 991000 | #Constraints: 37685 2287.22/2293.10 c #Conflicts: 992000 | #Constraints: 39351 2287.22/2293.10 c #Conflicts: 993000 | #Constraints: 41012 2287.22/2293.10 c #Conflicts: 994000 | #Constraints: 42620 2287.22/2293.10 c #Conflicts: 995000 | #Constraints: 44226 2287.22/2293.10 c #Conflicts: 996000 | #Constraints: 45853 2287.22/2293.10 c #Conflicts: 997000 | #Constraints: 47521 2287.22/2293.10 c #Conflicts: 998000 | #Constraints: 49138 2287.22/2293.10 c #Conflicts: 999000 | #Constraints: 50753 2287.22/2293.10 c #Conflicts: 1000000 | #Constraints: 52385 2287.22/2293.10 c #Conflicts: 1001000 | #Constraints: 53689 2287.22/2293.10 c INPROCESSING 2287.22/2293.10 c GARBAGE COLLECT 2287.22/2293.10 c rational objective 0 2398.94/2405.17 c #Conflicts: 1002000 | #Constraints: 28502 2398.94/2405.17 c #Conflicts: 1003000 | #Constraints: 30102 2398.94/2405.17 c #Conflicts: 1004000 | #Constraints: 31757 2398.94/2405.17 c #Conflicts: 1005000 | #Constraints: 33432 2398.94/2405.17 c #Conflicts: 1006000 | #Constraints: 35088 2398.94/2405.17 c #Conflicts: 1007000 | #Constraints: 36741 2398.94/2405.17 c #Conflicts: 1008000 | #Constraints: 38374 2398.94/2405.17 c #Conflicts: 1009000 | #Constraints: 40012 2398.94/2405.17 c #Conflicts: 1010000 | #Constraints: 41649 2398.94/2405.17 c #Conflicts: 1011000 | #Constraints: 43279 2398.94/2405.17 c #Conflicts: 1012000 | #Constraints: 44937 2398.94/2405.17 c #Conflicts: 1013000 | #Constraints: 46548 2398.94/2405.17 c #Conflicts: 1014000 | #Constraints: 48171 2398.94/2405.17 c #Conflicts: 1015000 | #Constraints: 49842 2398.94/2405.17 c #Conflicts: 1016000 | #Constraints: 51287 2398.94/2405.17 c #Conflicts: 1017000 | #Constraints: 52941 2398.94/2405.17 c #Conflicts: 1018000 | #Constraints: 54625 2398.94/2405.17 c #Conflicts: 1019000 | #Constraints: 56298 2398.94/2405.17 c #Conflicts: 1020000 | #Constraints: 57934 2398.94/2405.17 c #Conflicts: 1021000 | #Constraints: 59578 2398.94/2405.17 c INPROCESSING 2398.94/2405.17 c GARBAGE COLLECT 2398.94/2405.17 c rational objective 0 2492.31/2498.72 c #Conflicts: 1022000 | #Constraints: 31227 2492.31/2498.72 c #Conflicts: 1023000 | #Constraints: 32810 2492.31/2498.72 c #Conflicts: 1024000 | #Constraints: 34046 2492.31/2498.72 c #Conflicts: 1025000 | #Constraints: 35615 2492.31/2498.72 c #Conflicts: 1026000 | #Constraints: 36781 2492.31/2498.72 c #Conflicts: 1027000 | #Constraints: 38291 2492.31/2498.72 c #Conflicts: 1028000 | #Constraints: 39905 2492.31/2498.72 c #Conflicts: 1029000 | #Constraints: 41485 2492.31/2498.72 c #Conflicts: 1030000 | #Constraints: 43120 2492.31/2498.72 c #Conflicts: 1031000 | #Constraints: 44718 2492.31/2498.72 c #Conflicts: 1032000 | #Constraints: 46329 2492.31/2498.72 c #Conflicts: 1033000 | #Constraints: 47898 2492.31/2498.72 c #Conflicts: 1034000 | #Constraints: 49515 2492.31/2498.72 c #Conflicts: 1035000 | #Constraints: 50997 2492.31/2498.72 c #Conflicts: 1036000 | #Constraints: 51999 2492.31/2498.72 c #Conflicts: 1037000 | #Constraints: 53401 2492.31/2498.72 c #Conflicts: 1038000 | #Constraints: 54991 2492.31/2498.72 c #Conflicts: 1039000 | #Constraints: 56257 2492.31/2498.72 c #Conflicts: 1040000 | #Constraints: 57678 2492.31/2498.72 c #Conflicts: 1041000 | #Constraints: 58679 2492.31/2498.72 c INPROCESSING 2492.31/2498.72 c GARBAGE COLLECT 2492.31/2498.72 c rational objective 0 2565.73/2572.35 c #Conflicts: 1042000 | #Constraints: 30058 2565.73/2572.35 c #Conflicts: 1043000 | #Constraints: 31059 2565.73/2572.35 c #Conflicts: 1044000 | #Constraints: 32059 2565.73/2572.35 c #Conflicts: 1045000 | #Constraints: 33059 2565.73/2572.35 c #Conflicts: 1046000 | #Constraints: 34059 2565.73/2572.35 c #Conflicts: 1047000 | #Constraints: 35059 2565.73/2572.35 c #Conflicts: 1048000 | #Constraints: 36059 2565.73/2572.35 c #Conflicts: 1049000 | #Constraints: 37059 2565.73/2572.35 c #Conflicts: 1050000 | #Constraints: 38060 2565.73/2572.35 c #Conflicts: 1051000 | #Constraints: 39060 2565.73/2572.35 c #Conflicts: 1052000 | #Constraints: 40060 2565.73/2572.35 c #Conflicts: 1053000 | #Constraints: 41060 2565.73/2572.35 c #Conflicts: 1054000 | #Constraints: 42060 2565.73/2572.35 c #Conflicts: 1055000 | #Constraints: 43060 2565.73/2572.35 c #Conflicts: 1056000 | #Constraints: 44060 2565.73/2572.35 c #Conflicts: 1057000 | #Constraints: 45060 2565.73/2572.35 c #Conflicts: 1058000 | #Constraints: 46061 2565.73/2572.35 c #Conflicts: 1059000 | #Constraints: 47061 2565.73/2572.35 c #Conflicts: 1060000 | #Constraints: 48061 2565.73/2572.35 c #Conflicts: 1061000 | #Constraints: 49061 2565.73/2572.35 c #Conflicts: 1062000 | #Constraints: 50062 2565.73/2572.35 c INPROCESSING 2565.73/2572.35 c GARBAGE COLLECT 2565.73/2572.35 c rational objective 0 2632.87/2639.67 c #Conflicts: 1063000 | #Constraints: 26113 2632.87/2639.67 c #Conflicts: 1064000 | #Constraints: 27188 2632.87/2639.67 c #Conflicts: 1065000 | #Constraints: 28188 2632.87/2639.67 c #Conflicts: 1066000 | #Constraints: 29188 2632.87/2639.67 c #Conflicts: 1067000 | #Constraints: 30241 2632.87/2639.67 c #Conflicts: 1068000 | #Constraints: 31265 2632.87/2639.67 c #Conflicts: 1069000 | #Constraints: 32270 2632.87/2639.67 c #Conflicts: 1070000 | #Constraints: 33497 2632.87/2639.67 c #Conflicts: 1071000 | #Constraints: 34580 2632.87/2639.67 c #Conflicts: 1072000 | #Constraints: 35580 2632.87/2639.67 c #Conflicts: 1073000 | #Constraints: 36588 2632.87/2639.67 c #Conflicts: 1074000 | #Constraints: 38012 2632.87/2639.67 c #Conflicts: 1075000 | #Constraints: 39042 2632.87/2639.67 c #Conflicts: 1076000 | #Constraints: 40267 2632.87/2639.67 c #Conflicts: 1077000 | #Constraints: 41267 2632.87/2639.67 c #Conflicts: 1078000 | #Constraints: 42486 2632.87/2639.67 c #Conflicts: 1079000 | #Constraints: 43514 2632.87/2639.67 c #Conflicts: 1080000 | #Constraints: 44547 2632.87/2639.67 c #Conflicts: 1081000 | #Constraints: 45710 2632.87/2639.67 c #Conflicts: 1082000 | #Constraints: 46849 2632.87/2639.67 c #Conflicts: 1083000 | #Constraints: 47891 2632.87/2639.67 c INPROCESSING 2632.87/2639.67 c GARBAGE COLLECT 2632.87/2639.67 c rational objective 0 2733.53/2740.53 c #Conflicts: 1084000 | #Constraints: 25510 2733.53/2740.53 c #Conflicts: 1085000 | #Constraints: 27046 2733.53/2740.53 c #Conflicts: 1086000 | #Constraints: 28564 2733.53/2740.53 c #Conflicts: 1087000 | #Constraints: 30099 2733.53/2740.53 c #Conflicts: 1088000 | #Constraints: 31660 2733.53/2740.53 c #Conflicts: 1089000 | #Constraints: 33195 2733.53/2740.53 c #Conflicts: 1090000 | #Constraints: 34772 2733.53/2740.53 c #Conflicts: 1091000 | #Constraints: 36332 2733.53/2740.53 c #Conflicts: 1092000 | #Constraints: 37897 2733.53/2740.53 c #Conflicts: 1093000 | #Constraints: 39454 2733.53/2740.53 c #Conflicts: 1094000 | #Constraints: 41046 2733.53/2740.53 c #Conflicts: 1095000 | #Constraints: 42603 2733.53/2740.53 c #Conflicts: 1096000 | #Constraints: 44159 2733.53/2740.53 c #Conflicts: 1097000 | #Constraints: 45682 2733.53/2740.53 c #Conflicts: 1098000 | #Constraints: 47244 2733.53/2740.53 c #Conflicts: 1099000 | #Constraints: 48815 2733.53/2740.53 c #Conflicts: 1100000 | #Constraints: 50394 2733.53/2740.53 c #Conflicts: 1101000 | #Constraints: 51957 2733.53/2740.53 c #Conflicts: 1102000 | #Constraints: 53533 2733.53/2740.53 c #Conflicts: 1103000 | #Constraints: 55128 2733.53/2740.53 c #Conflicts: 1104000 | #Constraints: 56719 2733.53/2740.53 c INPROCESSING 2733.53/2740.53 c GARBAGE COLLECT 2733.53/2740.53 c rational objective 0 2822.02/2829.29 c #Conflicts: 1105000 | #Constraints: 29706 2822.02/2829.29 c #Conflicts: 1106000 | #Constraints: 31219 2822.02/2829.29 c #Conflicts: 1107000 | #Constraints: 32486 2822.02/2829.29 c #Conflicts: 1108000 | #Constraints: 34039 2822.02/2829.29 c #Conflicts: 1109000 | #Constraints: 35576 2822.02/2829.29 c #Conflicts: 1110000 | #Constraints: 37002 2822.02/2829.29 c #Conflicts: 1111000 | #Constraints: 38638 2822.02/2829.29 c #Conflicts: 1112000 | #Constraints: 40307 2822.02/2829.29 c #Conflicts: 1113000 | #Constraints: 41438 2822.02/2829.29 c #Conflicts: 1114000 | #Constraints: 42631 2822.02/2829.29 c #Conflicts: 1115000 | #Constraints: 44315 2822.02/2829.29 c #Conflicts: 1116000 | #Constraints: 45360 2822.02/2829.29 c #Conflicts: 1117000 | #Constraints: 46361 2822.02/2829.29 c #Conflicts: 1118000 | #Constraints: 47361 2822.02/2829.29 c #Conflicts: 1119000 | #Constraints: 48659 2822.02/2829.29 c #Conflicts: 1120000 | #Constraints: 49712 2822.02/2829.29 c #Conflicts: 1121000 | #Constraints: 50712 2822.02/2829.29 c #Conflicts: 1122000 | #Constraints: 51865 2822.02/2829.29 c #Conflicts: 1123000 | #Constraints: 53265 2822.02/2829.29 c #Conflicts: 1124000 | #Constraints: 54889 2822.02/2829.29 c #Conflicts: 1125000 | #Constraints: 56034 2822.02/2829.29 c INPROCESSING 2822.02/2829.29 c GARBAGE COLLECT 2822.02/2829.29 c rational objective 0 2923.58/2931.00 c #Conflicts: 1126000 | #Constraints: 29365 2923.58/2931.00 c #Conflicts: 1127000 | #Constraints: 31004 2923.58/2931.00 c #Conflicts: 1128000 | #Constraints: 32111 2923.58/2931.00 c #Conflicts: 1129000 | #Constraints: 33112 2923.58/2931.00 c #Conflicts: 1130000 | #Constraints: 34344 2923.58/2931.00 c #Conflicts: 1131000 | #Constraints: 35964 2923.58/2931.00 c #Conflicts: 1132000 | #Constraints: 37569 2923.58/2931.00 c #Conflicts: 1133000 | #Constraints: 38804 2923.58/2931.00 c #Conflicts: 1134000 | #Constraints: 39806 2923.58/2931.00 c #Conflicts: 1135000 | #Constraints: 40806 2923.58/2931.00 c #Conflicts: 1136000 | #Constraints: 41971 2923.58/2931.00 c #Conflicts: 1137000 | #Constraints: 43171 2923.58/2931.00 c #Conflicts: 1138000 | #Constraints: 44777 2923.58/2931.00 c #Conflicts: 1139000 | #Constraints: 45900 2923.58/2931.00 c #Conflicts: 1140000 | #Constraints: 46900 2923.58/2931.00 c #Conflicts: 1141000 | #Constraints: 47900 2923.58/2931.00 c #Conflicts: 1142000 | #Constraints: 49405 2923.58/2931.00 c #Conflicts: 1143000 | #Constraints: 51062 2923.58/2931.00 c #Conflicts: 1144000 | #Constraints: 52064 2923.58/2931.00 c #Conflicts: 1145000 | #Constraints: 53619 2923.58/2931.00 c #Conflicts: 1146000 | #Constraints: 55273 2923.58/2931.00 c INPROCESSING 2923.58/2931.00 c GARBAGE COLLECT 2923.58/2931.00 c rational objective 0 2996.21/3003.80 c #Conflicts: 1147000 | #Constraints: 28550 2996.21/3003.80 c #Conflicts: 1148000 | #Constraints: 29550 2996.21/3003.80 c #Conflicts: 1149000 | #Constraints: 30550 2996.21/3003.80 c #Conflicts: 1150000 | #Constraints: 31551 2996.21/3003.80 c #Conflicts: 1151000 | #Constraints: 32551 2996.21/3003.80 c #Conflicts: 1152000 | #Constraints: 33551 2996.21/3003.80 c #Conflicts: 1153000 | #Constraints: 34551 2996.21/3003.80 c #Conflicts: 1154000 | #Constraints: 35729 2996.21/3003.80 c #Conflicts: 1155000 | #Constraints: 37115 2996.21/3003.80 c #Conflicts: 1156000 | #Constraints: 38115 2996.21/3003.80 c #Conflicts: 1157000 | #Constraints: 39755 2996.21/3003.80 c #Conflicts: 1158000 | #Constraints: 41403 2996.21/3003.80 c #Conflicts: 1159000 | #Constraints: 42743 2996.21/3003.80 c #Conflicts: 1160000 | #Constraints: 43995 2996.21/3003.80 c #Conflicts: 1161000 | #Constraints: 44996 2996.21/3003.80 c #Conflicts: 1162000 | #Constraints: 45996 2996.21/3003.80 c #Conflicts: 1163000 | #Constraints: 47435 2996.21/3003.80 c #Conflicts: 1164000 | #Constraints: 48811 2996.21/3003.80 c #Conflicts: 1165000 | #Constraints: 49930 2996.21/3003.80 c #Conflicts: 1166000 | #Constraints: 50930 2996.21/3003.80 c #Conflicts: 1167000 | #Constraints: 51930 2996.21/3003.80 c #Conflicts: 1168000 | #Constraints: 53263 2996.21/3003.80 c INPROCESSING 2996.21/3003.80 c GARBAGE COLLECT 2996.21/3003.80 c rational objective 0 3083.21/3091.09 c #Conflicts: 1169000 | #Constraints: 27601 3083.21/3091.09 c #Conflicts: 1170000 | #Constraints: 28601 3083.21/3091.09 c #Conflicts: 1171000 | #Constraints: 29601 3083.21/3091.09 c #Conflicts: 1172000 | #Constraints: 30601 3083.21/3091.09 c #Conflicts: 1173000 | #Constraints: 31601 3083.21/3091.09 c #Conflicts: 1174000 | #Constraints: 32601 3083.21/3091.09 c #Conflicts: 1175000 | #Constraints: 33601 3083.21/3091.09 c #Conflicts: 1176000 | #Constraints: 34601 3083.21/3091.09 c #Conflicts: 1177000 | #Constraints: 35602 3083.21/3091.09 c #Conflicts: 1178000 | #Constraints: 36602 3083.21/3091.09 c #Conflicts: 1179000 | #Constraints: 37602 3083.21/3091.09 c #Conflicts: 1180000 | #Constraints: 38602 3083.21/3091.09 c #Conflicts: 1181000 | #Constraints: 39602 3083.21/3091.09 c #Conflicts: 1182000 | #Constraints: 40602 3083.21/3091.09 c #Conflicts: 1183000 | #Constraints: 41602 3083.21/3091.09 c #Conflicts: 1184000 | #Constraints: 42602 3083.21/3091.09 c #Conflicts: 1185000 | #Constraints: 43603 3083.21/3091.09 c #Conflicts: 1186000 | #Constraints: 44603 3083.21/3091.09 c #Conflicts: 1187000 | #Constraints: 45604 3083.21/3091.09 c #Conflicts: 1188000 | #Constraints: 46605 3083.21/3091.09 c #Conflicts: 1189000 | #Constraints: 47605 3083.21/3091.09 c #Conflicts: 1190000 | #Constraints: 48605 3083.21/3091.09 c INPROCESSING 3083.21/3091.09 c GARBAGE COLLECT 3083.21/3091.09 c rational objective 0 3174.58/3182.67 c #Conflicts: 1191000 | #Constraints: 25858 3174.58/3182.67 c #Conflicts: 1192000 | #Constraints: 27440 3174.58/3182.67 c #Conflicts: 1193000 | #Constraints: 29057 3174.58/3182.67 c #Conflicts: 1194000 | #Constraints: 30660 3174.58/3182.67 c #Conflicts: 1195000 | #Constraints: 32268 3174.58/3182.67 c #Conflicts: 1196000 | #Constraints: 33895 3174.58/3182.67 c #Conflicts: 1197000 | #Constraints: 35485 3174.58/3182.67 c #Conflicts: 1198000 | #Constraints: 37055 3174.58/3182.67 c #Conflicts: 1199000 | #Constraints: 38302 3174.58/3182.67 c #Conflicts: 1200000 | #Constraints: 39302 3174.58/3182.67 c #Conflicts: 1201000 | #Constraints: 40302 3174.58/3182.67 c #Conflicts: 1202000 | #Constraints: 41302 3174.58/3182.67 c #Conflicts: 1203000 | #Constraints: 42302 3174.58/3182.67 c #Conflicts: 1204000 | #Constraints: 43338 3174.58/3182.67 c #Conflicts: 1205000 | #Constraints: 44971 3174.58/3182.67 c #Conflicts: 1206000 | #Constraints: 46597 3174.58/3182.67 c #Conflicts: 1207000 | #Constraints: 48267 3174.58/3182.67 c #Conflicts: 1208000 | #Constraints: 49914 3174.58/3182.67 c #Conflicts: 1209000 | #Constraints: 51478 3174.58/3182.67 c #Conflicts: 1210000 | #Constraints: 53079 3174.58/3182.67 c #Conflicts: 1211000 | #Constraints: 54321 3174.58/3182.67 c #Conflicts: 1212000 | #Constraints: 55945 3174.58/3182.67 c INPROCESSING 3174.58/3182.67 c GARBAGE COLLECT 3174.58/3182.67 c rational objective 0 3267.46/3275.72 c #Conflicts: 1213000 | #Constraints: 28990 3267.46/3275.72 c #Conflicts: 1214000 | #Constraints: 29990 3267.46/3275.72 c #Conflicts: 1215000 | #Constraints: 30990 3267.46/3275.72 c #Conflicts: 1216000 | #Constraints: 31990 3267.46/3275.72 c #Conflicts: 1217000 | #Constraints: 32991 3267.46/3275.72 c #Conflicts: 1218000 | #Constraints: 34292 3267.46/3275.72 c #Conflicts: 1219000 | #Constraints: 35317 3267.46/3275.72 c #Conflicts: 1220000 | #Constraints: 36317 3267.46/3275.72 c #Conflicts: 1221000 | #Constraints: 37453 3267.46/3275.72 c #Conflicts: 1222000 | #Constraints: 38453 3267.46/3275.72 c #Conflicts: 1223000 | #Constraints: 39511 3267.46/3275.72 c #Conflicts: 1224000 | #Constraints: 40511 3267.46/3275.72 c #Conflicts: 1225000 | #Constraints: 41511 3267.46/3275.72 c #Conflicts: 1226000 | #Constraints: 42724 3267.46/3275.72 c #Conflicts: 1227000 | #Constraints: 43982 3267.46/3275.72 c #Conflicts: 1228000 | #Constraints: 45000 3267.46/3275.72 c #Conflicts: 1229000 | #Constraints: 46000 3267.46/3275.72 c #Conflicts: 1230000 | #Constraints: 47000 3267.46/3275.72 c #Conflicts: 1231000 | #Constraints: 48321 3267.46/3275.72 c #Conflicts: 1232000 | #Constraints: 49387 3267.46/3275.72 c #Conflicts: 1233000 | #Constraints: 50432 3267.46/3275.72 c #Conflicts: 1234000 | #Constraints: 51548 3267.46/3275.72 c INPROCESSING 3267.46/3275.72 c GARBAGE COLLECT 3267.46/3275.72 c rational objective 0 3367.22/3375.76 c #Conflicts: 1235000 | #Constraints: 27193 3367.22/3375.76 c #Conflicts: 1236000 | #Constraints: 28854 3367.22/3375.76 c #Conflicts: 1237000 | #Constraints: 30479 3367.22/3375.76 c #Conflicts: 1238000 | #Constraints: 32107 3367.22/3375.76 c #Conflicts: 1239000 | #Constraints: 33738 3367.22/3375.76 c #Conflicts: 1240000 | #Constraints: 35327 3367.22/3375.76 c #Conflicts: 1241000 | #Constraints: 36961 3367.22/3375.76 c #Conflicts: 1242000 | #Constraints: 38559 3367.22/3375.76 c #Conflicts: 1243000 | #Constraints: 40159 3367.22/3375.76 c #Conflicts: 1244000 | #Constraints: 41756 3367.22/3375.76 c #Conflicts: 1245000 | #Constraints: 43374 3367.22/3375.76 c #Conflicts: 1246000 | #Constraints: 44991 3367.22/3375.76 c #Conflicts: 1247000 | #Constraints: 46594 3367.22/3375.76 c #Conflicts: 1248000 | #Constraints: 48217 3367.22/3375.76 c #Conflicts: 1249000 | #Constraints: 49810 3367.22/3375.76 c #Conflicts: 1250000 | #Constraints: 51432 3367.22/3375.76 c #Conflicts: 1251000 | #Constraints: 53072 3367.22/3375.76 c #Conflicts: 1252000 | #Constraints: 54698 3367.22/3375.76 c #Conflicts: 1253000 | #Constraints: 56313 3367.22/3375.76 c #Conflicts: 1254000 | #Constraints: 57924 3367.22/3375.76 c #Conflicts: 1255000 | #Constraints: 59567 3367.22/3375.76 c #Conflicts: 1256000 | #Constraints: 61228 3367.22/3375.76 c INPROCESSING 3367.22/3375.76 c GARBAGE COLLECT 3367.22/3375.76 c rational objective 0 3513.07/3521.90 c #Conflicts: 1257000 | #Constraints: 31781 3513.07/3521.90 c #Conflicts: 1258000 | #Constraints: 33374 3513.07/3521.90 c #Conflicts: 1259000 | #Constraints: 34955 3513.07/3521.90 c #Conflicts: 1260000 | #Constraints: 36550 3513.07/3521.90 c #Conflicts: 1261000 | #Constraints: 38147 3513.07/3521.90 c #Conflicts: 1262000 | #Constraints: 39729 3513.07/3521.90 c #Conflicts: 1263000 | #Constraints: 41315 3513.07/3521.90 c #Conflicts: 1264000 | #Constraints: 42964 3513.07/3521.90 c #Conflicts: 1265000 | #Constraints: 44617 3513.07/3521.90 c #Conflicts: 1266000 | #Constraints: 46261 3513.07/3521.90 c #Conflicts: 1267000 | #Constraints: 47915 3513.07/3521.90 c #Conflicts: 1268000 | #Constraints: 49591 3513.07/3521.90 c #Conflicts: 1269000 | #Constraints: 51186 3513.07/3521.90 c #Conflicts: 1270000 | #Constraints: 52792 3513.07/3521.90 c #Conflicts: 1271000 | #Constraints: 54391 3513.07/3521.90 c #Conflicts: 1272000 | #Constraints: 56019 3513.07/3521.90 c #Conflicts: 1273000 | #Constraints: 57663 3513.07/3521.90 c #Conflicts: 1274000 | #Constraints: 59315 3513.07/3521.90 c #Conflicts: 1275000 | #Constraints: 60957 3513.07/3521.90 c #Conflicts: 1276000 | #Constraints: 62564 3513.07/3521.90 c #Conflicts: 1277000 | #Constraints: 64166 3513.07/3521.90 c #Conflicts: 1278000 | #Constraints: 65783 3513.07/3521.90 c #Conflicts: 1279000 | #Constraints: 67426 3513.07/3521.90 c INPROCESSING 3513.07/3521.90 c GARBAGE COLLECT 3513.07/3521.90 c rational objective 0 3600.07/3609.11 c #Conflicts: 1280000 | #Constraints: 34811 3600.07/3609.11 c #Conflicts: 1281000 | #Constraints: 36478 3600.07/3609.11 c #Conflicts: 1282000 | #Constraints: 38107 3600.07/3609.11 c #Conflicts: 1283000 | #Constraints: 39735 3600.07/3609.11 c #Conflicts: 1284000 | #Constraints: 41322 3600.07/3609.11 c #Conflicts: 1285000 | #Constraints: 42924 3600.07/3609.11 c #Conflicts: 1286000 | #Constraints: 44503 3600.07/3609.11 c #Conflicts: 1287000 | #Constraints: 46104 3600.07/3609.11 c #Conflicts: 1288000 | #Constraints: 47732 3600.07/3609.11 c #Conflicts: 1289000 | #Constraints: 49338 3600.07/3609.11 c #Conflicts: 1290000 | #Constraints: 50923 3600.07/3609.11 c #Conflicts: 1291000 | #Constraints: 52507 3600.07/3609.11 c #Conflicts: 1292000 | #Constraints: 54061 3600.07/3609.11 c #Conflicts: 1293000 | #Constraints: 55625 3600.07/3609.11 c #Conflicts: 1294000 | #Constraints: 57177 3600.07/3609.11 c #Conflicts: 1295000 | #Constraints: 58791 3600.07/3609.11 c #Conflicts: 1296000 | #Constraints: 60391 3600.07/3609.11 c #Conflicts: 1297000 | #Constraints: 61980 3600.07/3609.11 c Program interrupted by user. 3600.07/3609.11 c cpu time 3586.42 s 3600.07/3609.11 c deterministic time 592548781164 5.93e+11 3600.07/3609.11 c optimization time 86.7408 s 3600.07/3609.11 c total solve time 3499.68 s 3600.07/3609.11 c core-guided solve time 1673.21 s 3600.07/3609.11 c propagation time 3419.31 s 3600.07/3609.11 c conflict analysis time 146.3 s 3600.07/3609.11 c propagations 27756227 3600.07/3609.11 c resolve steps 8295997 3600.07/3609.11 c decisions 2109003 3600.07/3609.11 c conflicts 1297535 3600.07/3609.11 c restarts 2509 3600.07/3609.11 c inprocessing phases 104 3600.07/3609.11 c input clauses 0 3600.07/3609.11 c input cardinalities 0 3600.07/3609.11 c input general constraints 53 3600.07/3609.11 c input average constraint length 71.40 3600.07/3609.11 c input average constraint degree 1050.25 3600.07/3609.11 c learned clauses 734181 3600.07/3609.11 c learned cardinalities 0 3600.07/3609.11 c learned general constraints 903064 3600.07/3609.11 c learned average constraint length 60.17 3600.07/3609.11 c learned average constraint degree 1674551323.28 3600.07/3609.11 c watched constraints 899609 3600.07/3609.11 c counting constraints 3508 3600.07/3609.11 c gcd simplifications 672939 3600.07/3609.11 c detected cardinalities 0 3600.07/3609.11 c weakened non-implied lits 25407440 3600.07/3609.11 c weakened non-implying lits 953784 3600.07/3609.11 c original variables 146 3600.07/3609.11 c clausal propagations 317105 3600.07/3609.11 c cardinality propagations 0 3600.07/3609.11 c watched propagations 24852504 3600.07/3609.11 c counting propagations 1604060 3600.07/3609.11 c watch lookups 34544046636 3600.07/3609.11 c watch backjump lookups 12761233898 3600.07/3609.11 c watch checks 496654487819 3600.07/3609.11 c propagation checks 47779841722 3600.07/3609.11 c constraint additions 746877290 3600.07/3609.11 c trail pops 31162022 3600.07/3609.11 c formula constraints 12 3600.07/3609.11 c learned constraints 1296937 3600.07/3609.11 c bound constraints 41 3600.07/3609.11 c core-guided constraints 0 3600.07/3609.11 c encountered formula constraints 34012 3600.07/3609.11 c encountered learned constraints 3526893 3600.07/3609.11 c encountered bound constraints 439 3600.07/3609.11 c encountered core-guided constraints 0 3600.07/3609.11 c LP total time 63.6177 s 3600.07/3609.11 c LP solve time 41.49 s 3600.07/3609.11 c LP constraints added 188 3600.07/3609.11 c LP constraints removed 175 3600.07/3609.11 c LP pivots internal 1265840 3600.07/3609.11 c LP pivots root 706 3600.07/3609.11 c LP calls 680470 3600.07/3609.11 c LP optimalities 340918 3600.07/3609.11 c LP no pivot count 119897 3600.07/3609.11 c LP infeasibilities 339550 3600.07/3609.11 c LP valid Farkas constraints 339549 3600.07/3609.11 c LP learned Farkas constraints 597 3600.07/3609.11 c LP basis resets 2 3600.07/3609.11 c LP cycling count 0 3600.07/3609.11 c LP singular count 2 3600.07/3609.11 c LP no primal count 0 3600.07/3609.11 c LP no farkas count 0 3600.07/3609.11 c LP other issue count 0 3600.07/3609.11 c LP Gomory cuts 162 3600.07/3609.11 c LP learned cuts 14 3600.07/3609.11 c LP deleted cuts 175 3600.07/3609.11 c LP encountered Gomory constraints 19213 3600.07/3609.11 c LP encountered Farkas constraints 5671126 3600.07/3609.11 c LP encountered learned Farkas constraints 341252 3600.07/3609.11 c CG auxiliary variables introduced 0 3600.07/3609.11 c CG solutions found 41 3600.07/3609.11 c CG cores constructed 0 3600.07/3609.11 c CG core cardinality constraints returned 0 3600.07/3609.11 c CG unit cores 0 3600.07/3609.11 c CG single cores 0 3600.07/3609.11 c CG blocks removed during cardinality reduction 0 3600.07/3609.11 c CG first core best 0 3600.07/3609.11 c CG decision core best 0 3600.07/3609.11 c CG core reduction tie 0 3600.07/3609.11 c CG core degree average 0.00 3600.07/3609.11 c CG core slack average 0.00 3600.07/3609.11 s SATISFIABLE 3600.07/3609.11 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 x100 -x101 x102 x103 x104 x105 x106 -x107 -x108 x109 x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 x123 x124 x125 -x126 -x127 x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 x140 x141 -x142 -x143 x144 x145 -x146
OK 5
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 (60305 MiB free)
memory of node 1: 64473 MiB (60432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455173-1721459511/watcher-4455173-1721459511 -o /tmp/evaluation-result-4455173-1721459511/solver-4455173-1721459511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721459523-1058593 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455173-1721459511.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=1058654, runsolver pid=1058638
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.01 1.13 1.72 8/259 1058656
/proc/meminfo: memFree=123626560/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=37796 memory=10640 CPUtime=0.1 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 500 0 0 0 9 1 0 0 20 0 1 0 198121634 38703104 2660 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 9449 2660 1846 922 0 1401 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 10640 KiB
[startup+0.20662 s]*
/proc/loadavg: 1.01 1.13 1.72 7/259 1058656
/proc/meminfo: memFree=123621368/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=37928 memory=10640 CPUtime=0.2 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 540 0 0 0 19 1 0 0 20 0 1 0 198121634 38838272 2660 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 9482 2660 1846 922 0 1434 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 10640 KiB
[startup+0.305557 s]*
/proc/loadavg: 1.01 1.13 1.72 8/259 1058656
/proc/meminfo: memFree=123620556/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=38052 memory=10980 CPUtime=0.3 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 579 0 0 0 29 1 0 0 20 0 1 0 198121634 38965248 2745 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 9513 2745 1861 922 0 1465 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38052 KiB
Current children cumulated memory: 10980 KiB
[startup+0.700163 s]
/proc/loadavg: 1.01 1.13 1.72 9/259 1058656
/proc/meminfo: memFree=123617788/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=38564 memory=11516 CPUtime=0.69 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 699 0 0 0 66 3 0 0 20 0 1 0 198121634 39489536 2879 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 9641 2879 1861 922 0 1593 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38564 KiB
Current children cumulated memory: 11516 KiB
[startup+1.50012 s]
/proc/loadavg: 1.01 1.13 1.72 6/256 1058670
/proc/meminfo: memFree=123618416/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=39260 memory=12040 CPUtime=1.49 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 855 0 0 0 142 7 0 0 20 0 1 0 198121634 40202240 3010 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 9815 3010 1861 922 0 1767 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39260 KiB
Current children cumulated memory: 12040 KiB
[startup+3.10608 s]
/proc/loadavg: 1.01 1.13 1.72 7/259 1058748
/proc/meminfo: memFree=123593640/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=40144 memory=15008 CPUtime=3.08 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 1057 0 0 0 296 12 0 0 20 0 1 0 198121634 41107456 3752 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 10036 3752 1861 922 0 1988 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40144 KiB
Current children cumulated memory: 15008 KiB
[startup+6.30016 s]
/proc/loadavg: 1.33 1.20 1.74 7/259 1058748
/proc/meminfo: memFree=123579660/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=40672 memory=15544 CPUtime=6.27 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 1198 0 0 0 607 20 0 0 20 0 1 0 198121634 41648128 3886 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 10168 3886 1861 922 0 2120 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40672 KiB
Current children cumulated memory: 15544 KiB
[startup+12.7002 s]
/proc/loadavg: 1.54 1.24 1.75 7/259 1058750
/proc/meminfo: memFree=123567632/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=42224 memory=16588 CPUtime=12.66 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 1503 0 0 0 1233 33 0 0 20 0 1 0 198121634 43237376 4147 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 10556 4147 1861 922 0 2508 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42224 KiB
Current children cumulated memory: 16588 KiB
[startup+25.5002 s]
/proc/loadavg: 2.09 1.38 1.79 7/259 1058752
/proc/meminfo: memFree=123553984/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=45776 memory=18268 CPUtime=25.42 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 1880 0 0 0 2490 52 0 0 20 0 1 0 198121634 46874624 4567 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 11444 4567 1861 922 0 3396 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 45776 KiB
Current children cumulated memory: 18268 KiB
[startup+51.1064 s]
/proc/loadavg: 2.82 1.61 1.85 7/259 1058758
/proc/meminfo: memFree=123542480/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=46544 memory=20620 CPUtime=50.96 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 2509 0 0 0 5012 84 0 0 20 0 1 0 198121634 47661056 5155 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 11636 5155 1861 922 0 3588 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 20620 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.99 1.97 7/259 1058766
/proc/meminfo: memFree=123504404/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=53016 memory=23284 CPUtime=102.02 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 3198 0 0 0 10062 140 0 0 20 0 1 0 198121634 54288384 5821 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 13254 5821 1861 922 0 5206 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 53016 KiB
Current children cumulated memory: 23284 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.39 2.11 7/259 1058778
/proc/meminfo: memFree=123490352/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=54616 memory=25804 CPUtime=161.84 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 3860 0 0 0 15993 191 0 0 20 0 1 0 198121634 55926784 6451 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 13654 6451 1861 922 0 5606 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 54616 KiB
Current children cumulated memory: 25804 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.72 2.25 7/259 1058788
/proc/meminfo: memFree=123463200/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=67368 memory=36328 CPUtime=221.67 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 5883 0 0 0 21931 236 0 0 20 0 1 0 198121634 68984832 9082 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 16842 9082 1861 922 0 8794 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 67368 KiB
Current children cumulated memory: 36328 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.97 2.36 7/256 1058798
/proc/meminfo: memFree=123440308/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=71976 memory=43768 CPUtime=281.5 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 6933 0 0 0 27878 272 0 0 20 0 1 0 198121634 73703424 10942 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 17994 10942 1861 922 0 9946 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 71976 KiB
Current children cumulated memory: 43768 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.18 2.47 7/254 1058810
/proc/meminfo: memFree=123430248/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=72784 memory=44808 CPUtime=341.34 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 7345 0 0 0 33825 309 0 0 20 0 1 0 198121634 74530816 11202 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 18196 11202 1861 922 0 10148 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 72784 KiB
Current children cumulated memory: 44808 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.38 2.59 7/254 1058820
/proc/meminfo: memFree=123428096/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=73776 memory=45376 CPUtime=401.17 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 7566 0 0 0 39771 346 0 0 20 0 1 0 198121634 75546624 11344 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 18444 11344 1861 922 0 10396 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 73776 KiB
Current children cumulated memory: 45376 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.49 2.68 7/254 1058830
/proc/meminfo: memFree=123420480/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=77648 memory=48040 CPUtime=460.99 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 8321 0 0 0 45735 364 0 0 20 0 1 0 198121634 79511552 12010 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 19412 12010 1861 922 0 11364 0
################
# More data... #
################
Current children cumulated memory: 81432 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.04 7/258 1060452
/proc/meminfo: memFree=123243352/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=108536 memory=81460 CPUtime=2914.9 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 13637 0 0 0 290302 1188 0 0 20 0 1 0 198121634 111140864 20365 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 27134 20365 1991 922 0 19086 0
Current children cumulated CPU time: 2914.9 s
Current children cumulated vsize: 108536 KiB
Current children cumulated memory: 81460 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.04 7/257 1060475
/proc/meminfo: memFree=123242568/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=108536 memory=81460 CPUtime=2974.75 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 13667 0 0 0 296268 1207 0 0 20 0 1 0 198121634 111140864 20365 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 27134 20365 1991 922 0 19086 0
Current children cumulated CPU time: 2974.75 s
Current children cumulated vsize: 108536 KiB
Current children cumulated memory: 81460 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.05 7/257 1060486
/proc/meminfo: memFree=123239708/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=108536 memory=81460 CPUtime=3034.61 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 13695 0 0 0 302235 1226 0 0 20 0 1 0 198121634 111140864 20365 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 27134 20365 1991 922 0 19086 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 108536 KiB
Current children cumulated memory: 81460 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.05 7/256 1060497
/proc/meminfo: memFree=123232428/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=108536 memory=81460 CPUtime=3094.47 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 13724 0 0 0 308201 1246 0 0 20 0 1 0 198121634 111140864 20365 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 27134 20365 1991 922 0 19086 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 108536 KiB
Current children cumulated memory: 81460 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.05 7/255 1060509
/proc/meminfo: memFree=123230688/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=108536 memory=81460 CPUtime=3154.33 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 13756 0 0 0 314171 1262 0 0 20 0 1 0 198121634 111140864 20365 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 27134 20365 1991 922 0 19086 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 108536 KiB
Current children cumulated memory: 81460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.05 7/255 1060522
/proc/meminfo: memFree=123230012/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=108536 memory=81460 CPUtime=3214.19 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 13784 0 0 0 320141 1278 0 0 20 0 1 0 198121634 111140864 20365 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 27134 20365 1991 922 0 19086 0
Current children cumulated CPU time: 3214.19 s
Current children cumulated vsize: 108536 KiB
Current children cumulated memory: 81460 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.06 7/255 1060532
/proc/meminfo: memFree=123229276/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=108536 memory=81460 CPUtime=3274.05 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 13815 0 0 0 326110 1295 0 0 20 0 1 0 198121634 111140864 20365 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 27134 20365 1991 922 0 19086 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 108536 KiB
Current children cumulated memory: 81460 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.06 7/255 1060543
/proc/meminfo: memFree=123234256/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=108536 memory=81460 CPUtime=3333.91 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 13849 0 0 0 332080 1311 0 0 20 0 1 0 198121634 111140864 20365 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 27134 20365 1991 922 0 19086 0
Current children cumulated CPU time: 3333.91 s
Current children cumulated vsize: 108536 KiB
Current children cumulated memory: 81460 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.07 7/255 1060553
/proc/meminfo: memFree=123231168/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=127504 memory=83428 CPUtime=3393.76 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 14383 0 0 0 338052 1324 0 0 20 0 1 0 198121634 130564096 20857 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 31876 20857 1991 922 0 23828 0
Current children cumulated CPU time: 3393.76 s
Current children cumulated vsize: 127504 KiB
Current children cumulated memory: 83428 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.07 7/255 1060564
/proc/meminfo: memFree=123232396/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=127504 memory=83684 CPUtime=3453.62 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 14426 0 0 0 344025 1337 0 0 20 0 1 0 198121634 130564096 20921 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 31876 20921 1991 922 0 23828 0
Current children cumulated CPU time: 3453.62 s
Current children cumulated vsize: 127504 KiB
Current children cumulated memory: 83684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.07 7/257 1060578
/proc/meminfo: memFree=123229152/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=128712 memory=84360 CPUtime=3513.47 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 14812 0 0 0 350001 1346 0 0 20 0 1 0 198121634 131801088 21090 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 32178 21090 1991 922 0 24130 0
Current children cumulated CPU time: 3513.47 s
Current children cumulated vsize: 128712 KiB
Current children cumulated memory: 84360 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.08 7/257 1060589
/proc/meminfo: memFree=123228616/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=128712 memory=84360 CPUtime=3573.32 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 14845 0 0 0 355972 1360 0 0 20 0 1 0 198121634 131801088 21090 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 32178 21090 1991 922 0 24130 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 128712 KiB
Current children cumulated memory: 84360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.32 4.16 4.09 4/247 1060633
/proc/meminfo: memFree=123398048/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=128712 memory=84360 CPUtime=3600.07 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 14847 0 0 0 358642 1365 0 0 20 0 1 0 198121634 131801088 21090 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 32178 21090 1991 922 0 24130 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 128712 KiB
Current children cumulated memory: 84360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 1058654 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.43 s, system=13.6533 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.32 4.16 4.09 4/247 1060633
/proc/meminfo: memFree=123398048/131524596 swapFree=131071996/131071996
[pid=1058654] ppid=1058638 vsize=128712 memory=84360 CPUtime=3600.07 cores=1,3
/proc/1058654/stat : 1058654 (roundingsat) R 1058638 1058654 1058581 0 -1 4194304 14847 0 0 0 358642 1365 0 0 20 0 1 0 198121634 131801088 21090 134679101440 4194304 7968373 140734040702496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 30892032 140734040703932 140734040704096 140734040704096 140734040711113 0
/proc/1058654/statm: 32178 21090 1991 922 0 24130 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 128712 KiB
Current children cumulated memory: 84360 KiB
Child status: 0
Real time (s): 3609.11
CPU time (s): 3600.08
CPU user time (s): 3586.43
CPU system time (s): 13.6533
CPU usage (%): 99.7497
Max. virtual memory (cumulated for all children) (KiB): 129304
Max. memory (cumulated for all children) (KiB): 84740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.43
system time used= 13.6533
maximum resident set size= 84740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42
involuntary context switches= 1831
# summary of solver processes directly reported to runsolver:
# pid: 1058654
# total CPU time (s): 3600.08
# total CPU user time (s): 3586.43
# total CPU system time (s): 13.6533
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15705 second user time and 19.9419 second system time
The end
Begin job on nodeC034 at 2024-07-20 09:12:03 IDJOB=4455173 IDBENCH=147612 IDSOLVER=3084 FILE ID=nodeC034/4455173-1721459511 RUNJOBID= nodeC034-1721459523-1058593 SLURM_JOB_ID= 7545708 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455173-1721459511/watcher-4455173-1721459511 -o /tmp/evaluation-result-4455173-1721459511/solver-4455173-1721459511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721459523-1058593 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455173-1721459511.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277 RANDOM SEED=2134040079 nodeC034.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 : 3378.908 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.99 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 : 3502.461 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.58 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 : 3523.481 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.99 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 : 3481.577 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.58 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 : 3441.743 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.99 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 : 3578.292 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.58 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 : 3480.859 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.99 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 : 3328.206 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.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524596 kB MemFree: 123637220 kB MemAvailable: 129613544 kB Buffers: 546124 kB Cached: 6203172 kB SwapCached: 0 kB Active: 1104280 kB Inactive: 6004912 kB Active(anon): 1420 kB Inactive(anon): 404420 kB Active(file): 1102860 kB Inactive(file): 5600492 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21108 kB Writeback: 8 kB AnonPages: 359648 kB Mapped: 107824 kB Shmem: 45912 kB KReclaimable: 225588 kB Slab: 356560 kB SReclaimable: 225588 kB SUnreclaim: 130972 kB KernelStack: 3920 kB PageTables: 10156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 720296 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74496 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 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: 320212 kB DirectMap2M: 44541952 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 890040 MiB End job on nodeC034 at 2024-07-20 10:12:13