| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 16 | 3600.06 | 3611.8 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
| MD5SUM | d6e4abba593cb3232b5d1a2a9d687dd6 |
| 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 | 13 |
| Best CPU time to get the best result obtained on this benchmark | 3600.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 82 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5856 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 198 #constraints 16 0.00/0.00 c bounds 4081 >= 0 @ 0.000342 0.00/0.00 c rational objective 0 0.19/0.30 c bounds 391 >= 0 @ 0.013586 0.19/0.30 c bounds 304 >= 0 @ 0.013868 0.19/0.30 c bounds 171 >= 0 @ 0.015695 0.19/0.30 c #Conflicts: 1000 | #Constraints: 1038 0.19/0.30 c #Conflicts: 2000 | #Constraints: 2047 0.19/0.30 c INPROCESSING 0.19/0.30 c GARBAGE COLLECT 0.19/0.30 c rational objective 0 0.79/0.82 c bounds 169 >= 0 @ 0.278905 0.79/0.82 c bounds 155 >= 0 @ 0.280772 0.79/0.82 c bounds 151 >= 0 @ 0.283456 0.79/0.82 c bounds 147 >= 0 @ 0.283655 0.79/0.82 c bounds 131 >= 0 @ 0.284586 0.79/0.82 c bounds 129 >= 0 @ 0.285223 0.79/0.82 c bounds 121 >= 0 @ 0.287063 0.79/0.82 c bounds 113 >= 0 @ 0.289206 0.79/0.82 c bounds 111 >= 0 @ 0.290658 0.79/0.82 c bounds 95 >= 0 @ 0.291587 0.79/0.82 c bounds 91 >= 0 @ 0.291595 0.79/0.82 c bounds 83 >= 0 @ 0.292166 0.79/0.82 c bounds 76 >= 0 @ 0.302115 0.79/0.82 c bounds 72 >= 0 @ 0.303555 0.79/0.82 c #Conflicts: 3000 | #Constraints: 2069 0.79/0.82 c #Conflicts: 4000 | #Constraints: 3081 0.79/0.82 c INPROCESSING 0.79/0.82 c GARBAGE COLLECT 0.79/0.82 c rational objective 0 1.29/1.39 c #Conflicts: 5000 | #Constraints: 2471 1.29/1.39 c #Conflicts: 6000 | #Constraints: 3482 1.29/1.39 c INPROCESSING 1.29/1.39 c GARBAGE COLLECT 1.29/1.39 c rational objective 0 2.18/2.26 c #Conflicts: 7000 | #Constraints: 2472 2.18/2.26 c #Conflicts: 8000 | #Constraints: 3479 2.18/2.26 c #Conflicts: 9000 | #Constraints: 4489 2.18/2.26 c INPROCESSING 2.18/2.26 c GARBAGE COLLECT 2.18/2.26 c rational objective 0 2.99/3.02 c #Conflicts: 10000 | #Constraints: 3186 2.99/3.02 c #Conflicts: 11000 | #Constraints: 4199 2.99/3.02 c #Conflicts: 12000 | #Constraints: 5212 2.99/3.02 c INPROCESSING 2.99/3.02 c GARBAGE COLLECT 2.99/3.02 c rational objective 0 4.17/4.28 c #Conflicts: 13000 | #Constraints: 3977 4.17/4.28 c #Conflicts: 14000 | #Constraints: 5237 4.17/4.28 c #Conflicts: 15000 | #Constraints: 6604 4.17/4.28 c INPROCESSING 4.17/4.28 c GARBAGE COLLECT 4.17/4.28 c rational objective 0 5.67/5.76 c #Conflicts: 16000 | #Constraints: 4509 5.67/5.76 c bounds 70 >= 0 @ 4.69341 5.67/5.76 c bounds 68 >= 0 @ 4.69658 5.67/5.76 c bounds 66 >= 0 @ 4.69961 5.67/5.76 c #Conflicts: 17000 | #Constraints: 5521 5.67/5.76 c bounds 65 >= 0 @ 5.41105 5.67/5.76 c #Conflicts: 18000 | #Constraints: 6532 5.67/5.76 c INPROCESSING 5.67/5.76 c GARBAGE COLLECT 5.67/5.76 c rational objective 0 6.98/7.04 c bounds 61 >= 0 @ 5.5994 6.98/7.04 c #Conflicts: 19000 | #Constraints: 4194 6.98/7.04 c #Conflicts: 20000 | #Constraints: 5202 6.98/7.04 c bounds 60 >= 0 @ 6.57968 6.98/7.04 c #Conflicts: 21000 | #Constraints: 6214 6.98/7.04 c INPROCESSING 6.98/7.04 c GARBAGE COLLECT 6.98/7.04 c rational objective 0 8.26/8.32 c #Conflicts: 22000 | #Constraints: 3808 8.26/8.32 c #Conflicts: 23000 | #Constraints: 4820 8.26/8.32 c #Conflicts: 24000 | #Constraints: 5828 8.26/8.32 c #Conflicts: 25000 | #Constraints: 6838 8.26/8.32 c INPROCESSING 8.26/8.32 c GARBAGE COLLECT 8.26/8.32 c rational objective 0 9.96/10.04 c bounds 58 >= 0 @ 8.2583 9.96/10.04 c bounds 56 >= 0 @ 8.28136 9.96/10.04 c bounds 50 >= 0 @ 8.28352 9.96/10.04 c #Conflicts: 26000 | #Constraints: 4345 9.96/10.04 c #Conflicts: 27000 | #Constraints: 5354 9.96/10.04 c #Conflicts: 28000 | #Constraints: 6360 9.96/10.04 c #Conflicts: 29000 | #Constraints: 7372 9.96/10.04 c INPROCESSING 9.96/10.04 c GARBAGE COLLECT 9.96/10.04 c rational objective 0 11.55/11.62 c #Conflicts: 30000 | #Constraints: 4718 11.55/11.62 c #Conflicts: 31000 | #Constraints: 5728 11.55/11.62 c #Conflicts: 32000 | #Constraints: 6734 11.55/11.62 c #Conflicts: 33000 | #Constraints: 7738 11.55/11.62 c INPROCESSING 11.55/11.62 c GARBAGE COLLECT 11.55/11.62 c rational objective 0 13.45/13.58 c #Conflicts: 34000 | #Constraints: 4894 13.45/13.58 c #Conflicts: 35000 | #Constraints: 5898 13.45/13.58 c #Conflicts: 36000 | #Constraints: 6902 13.45/13.58 c #Conflicts: 37000 | #Constraints: 7908 13.45/13.58 c INPROCESSING 13.45/13.58 c GARBAGE COLLECT 13.45/13.58 c rational objective 0 15.84/15.96 c #Conflicts: 38000 | #Constraints: 4881 15.84/15.96 c bounds 48 >= 0 @ 13.8785 15.84/15.96 c #Conflicts: 39000 | #Constraints: 5888 15.84/15.96 c #Conflicts: 40000 | #Constraints: 6893 15.84/15.96 c bounds 46 >= 0 @ 15.2328 15.84/15.96 c #Conflicts: 41000 | #Constraints: 7897 15.84/15.96 c INPROCESSING 15.84/15.96 c GARBAGE COLLECT 15.84/15.96 c rational objective 0 17.94/18.08 c #Conflicts: 42000 | #Constraints: 4671 17.94/18.08 c #Conflicts: 43000 | #Constraints: 5678 17.94/18.08 c #Conflicts: 44000 | #Constraints: 6681 17.94/18.08 c #Conflicts: 45000 | #Constraints: 7691 17.94/18.08 c #Conflicts: 46000 | #Constraints: 8704 17.94/18.08 c INPROCESSING 17.94/18.08 c GARBAGE COLLECT 17.94/18.08 c rational objective 0 20.73/20.81 c #Conflicts: 47000 | #Constraints: 5275 20.73/20.81 c #Conflicts: 48000 | #Constraints: 6278 20.73/20.81 c #Conflicts: 49000 | #Constraints: 7286 20.73/20.81 c #Conflicts: 50000 | #Constraints: 8293 20.73/20.81 c #Conflicts: 51000 | #Constraints: 9296 20.73/20.81 c INPROCESSING 20.73/20.81 c GARBAGE COLLECT 20.73/20.81 c rational objective 0 23.22/23.34 c #Conflicts: 52000 | #Constraints: 5679 23.22/23.34 c #Conflicts: 53000 | #Constraints: 6680 23.22/23.34 c #Conflicts: 54000 | #Constraints: 7689 23.22/23.34 c #Conflicts: 55000 | #Constraints: 8701 23.22/23.34 c #Conflicts: 56000 | #Constraints: 9706 23.22/23.34 c INPROCESSING 23.22/23.34 c GARBAGE COLLECT 23.22/23.34 c rational objective 0 26.20/26.36 c #Conflicts: 57000 | #Constraints: 5875 26.20/26.36 c #Conflicts: 58000 | #Constraints: 6879 26.20/26.36 c bounds 44 >= 0 @ 24.3954 26.20/26.36 c #Conflicts: 59000 | #Constraints: 7883 26.20/26.36 c #Conflicts: 60000 | #Constraints: 8892 26.20/26.36 c #Conflicts: 61000 | #Constraints: 9896 26.20/26.36 c INPROCESSING 26.20/26.36 c GARBAGE COLLECT 26.20/26.36 c rational objective 0 29.10/29.27 c #Conflicts: 62000 | #Constraints: 5866 29.10/29.27 c bounds 43 >= 0 @ 26.4976 29.10/29.27 c #Conflicts: 63000 | #Constraints: 6871 29.10/29.27 c #Conflicts: 64000 | #Constraints: 7875 29.10/29.27 c #Conflicts: 65000 | #Constraints: 8885 29.10/29.27 c #Conflicts: 66000 | #Constraints: 9891 29.10/29.27 c INPROCESSING 29.10/29.27 c GARBAGE COLLECT 29.10/29.27 c rational objective 0 32.79/32.97 c bounds 41 >= 0 @ 28.752 32.79/32.97 c #Conflicts: 67000 | #Constraints: 5669 32.79/32.97 c bounds 39 >= 0 @ 28.9705 32.79/32.97 c #Conflicts: 68000 | #Constraints: 6678 32.79/32.97 c #Conflicts: 69000 | #Constraints: 7685 32.79/32.97 c #Conflicts: 70000 | #Constraints: 8692 32.79/32.97 c #Conflicts: 71000 | #Constraints: 9697 32.79/32.97 c #Conflicts: 72000 | #Constraints: 10700 32.79/32.97 c INPROCESSING 32.79/32.97 c GARBAGE COLLECT 32.79/32.97 c rational objective 0 35.98/36.15 c #Conflicts: 73000 | #Constraints: 6286 35.98/36.15 c #Conflicts: 74000 | #Constraints: 7292 35.98/36.15 c #Conflicts: 75000 | #Constraints: 8297 35.98/36.15 c #Conflicts: 76000 | #Constraints: 9304 35.98/36.15 c #Conflicts: 77000 | #Constraints: 10308 35.98/36.15 c #Conflicts: 78000 | #Constraints: 11315 35.98/36.15 c INPROCESSING 35.98/36.15 c GARBAGE COLLECT 35.98/36.15 c rational objective 0 40.36/40.57 c #Conflicts: 79000 | #Constraints: 6679 40.36/40.57 c #Conflicts: 80000 | #Constraints: 7683 40.36/40.57 c #Conflicts: 81000 | #Constraints: 8689 40.36/40.57 c #Conflicts: 82000 | #Constraints: 9695 40.36/40.57 c #Conflicts: 83000 | #Constraints: 10698 40.36/40.57 c #Conflicts: 84000 | #Constraints: 11702 40.36/40.57 c INPROCESSING 40.36/40.57 c GARBAGE COLLECT 40.36/40.57 c rational objective 0 44.95/45.18 c #Conflicts: 85000 | #Constraints: 6879 44.95/45.18 c #Conflicts: 86000 | #Constraints: 7885 44.95/45.18 c #Conflicts: 87000 | #Constraints: 8889 44.95/45.18 c #Conflicts: 88000 | #Constraints: 9896 44.95/45.18 c #Conflicts: 89000 | #Constraints: 10900 44.95/45.18 c #Conflicts: 90000 | #Constraints: 11905 44.95/45.18 c INPROCESSING 44.95/45.18 c GARBAGE COLLECT 44.95/45.18 c rational objective 0 51.03/51.21 c #Conflicts: 91000 | #Constraints: 6874 51.03/51.21 c #Conflicts: 92000 | #Constraints: 7877 51.03/51.21 c #Conflicts: 93000 | #Constraints: 8880 51.03/51.21 c #Conflicts: 94000 | #Constraints: 9882 51.03/51.21 c #Conflicts: 95000 | #Constraints: 10886 51.03/51.21 c #Conflicts: 96000 | #Constraints: 11889 51.03/51.21 c INPROCESSING 51.03/51.21 c GARBAGE COLLECT 51.03/51.21 c rational objective 0 56.51/56.77 c #Conflicts: 97000 | #Constraints: 6675 56.51/56.77 c #Conflicts: 98000 | #Constraints: 7680 56.51/56.77 c #Conflicts: 99000 | #Constraints: 8685 56.51/56.77 c #Conflicts: 100000 | #Constraints: 9689 56.51/56.77 c #Conflicts: 101000 | #Constraints: 10690 56.51/56.77 c #Conflicts: 102000 | #Constraints: 11692 56.51/56.77 c #Conflicts: 103000 | #Constraints: 12699 56.51/56.77 c INPROCESSING 56.51/56.77 c GARBAGE COLLECT 56.51/56.77 c rational objective 0 61.00/61.27 c #Conflicts: 104000 | #Constraints: 7272 61.00/61.27 c #Conflicts: 105000 | #Constraints: 8279 61.00/61.27 c #Conflicts: 106000 | #Constraints: 9286 61.00/61.27 c #Conflicts: 107000 | #Constraints: 10290 61.00/61.27 c #Conflicts: 108000 | #Constraints: 11294 61.00/61.27 c #Conflicts: 109000 | #Constraints: 12295 61.00/61.27 c #Conflicts: 110000 | #Constraints: 13297 61.00/61.27 c INPROCESSING 61.00/61.27 c GARBAGE COLLECT 61.00/61.27 c rational objective 0 67.38/67.65 c #Conflicts: 111000 | #Constraints: 7673 67.38/67.65 c bounds 38 >= 0 @ 61.9733 67.38/67.65 c bounds 36 >= 0 @ 61.9818 67.38/67.65 c bounds 34 >= 0 @ 61.9929 67.38/67.65 c bounds 32 >= 0 @ 61.998 67.38/67.65 c #Conflicts: 112000 | #Constraints: 8682 67.38/67.65 c #Conflicts: 113000 | #Constraints: 9687 67.38/67.65 c bounds 30 >= 0 @ 63.4109 67.38/67.65 c bounds 28 >= 0 @ 63.4153 67.38/67.65 c bounds 26 >= 0 @ 63.4181 67.38/67.65 c #Conflicts: 114000 | #Constraints: 10695 67.38/67.65 c #Conflicts: 115000 | #Constraints: 11701 67.38/67.65 c #Conflicts: 116000 | #Constraints: 12713 67.38/67.65 c #Conflicts: 117000 | #Constraints: 13722 67.38/67.65 c INPROCESSING 67.38/67.65 c GARBAGE COLLECT 67.38/67.65 c rational objective 0 72.87/73.19 c #Conflicts: 118000 | #Constraints: 7885 72.87/73.19 c #Conflicts: 119000 | #Constraints: 8886 72.87/73.19 c #Conflicts: 120000 | #Constraints: 9886 72.87/73.19 c #Conflicts: 121000 | #Constraints: 10886 72.87/73.19 c #Conflicts: 122000 | #Constraints: 11888 72.87/73.19 c #Conflicts: 123000 | #Constraints: 12892 72.87/73.19 c #Conflicts: 124000 | #Constraints: 13895 72.87/73.19 c INPROCESSING 72.87/73.19 c GARBAGE COLLECT 72.87/73.19 c rational objective 0 80.34/80.60 c #Conflicts: 125000 | #Constraints: 7874 80.34/80.60 c #Conflicts: 126000 | #Constraints: 8884 80.34/80.60 c #Conflicts: 127000 | #Constraints: 9887 80.34/80.60 c #Conflicts: 128000 | #Constraints: 10890 80.34/80.60 c #Conflicts: 129000 | #Constraints: 11894 80.34/80.60 c #Conflicts: 130000 | #Constraints: 12895 80.34/80.60 c #Conflicts: 131000 | #Constraints: 13903 80.34/80.60 c INPROCESSING 80.34/80.60 c GARBAGE COLLECT 80.34/80.60 c rational objective 0 86.51/86.81 c #Conflicts: 132000 | #Constraints: 7676 86.51/86.81 c #Conflicts: 133000 | #Constraints: 8679 86.51/86.81 c #Conflicts: 134000 | #Constraints: 9684 86.51/86.81 c #Conflicts: 135000 | #Constraints: 10686 86.51/86.81 c #Conflicts: 136000 | #Constraints: 11690 86.51/86.81 c #Conflicts: 137000 | #Constraints: 12694 86.51/86.81 c #Conflicts: 138000 | #Constraints: 13696 86.51/86.81 c #Conflicts: 139000 | #Constraints: 14697 86.51/86.81 c INPROCESSING 86.51/86.81 c GARBAGE COLLECT 86.51/86.81 c rational objective 0 95.28/95.68 c #Conflicts: 140000 | #Constraints: 8267 95.28/95.68 c #Conflicts: 141000 | #Constraints: 9273 95.28/95.68 c #Conflicts: 142000 | #Constraints: 10274 95.28/95.68 c #Conflicts: 143000 | #Constraints: 11277 95.28/95.68 c #Conflicts: 144000 | #Constraints: 12281 95.28/95.68 c #Conflicts: 145000 | #Constraints: 13285 95.28/95.68 c #Conflicts: 146000 | #Constraints: 14287 95.28/95.68 c #Conflicts: 147000 | #Constraints: 15289 95.28/95.68 c INPROCESSING 95.28/95.68 c GARBAGE COLLECT 95.28/95.68 c rational objective 0 101.77/102.11 c #Conflicts: 148000 | #Constraints: 8670 101.77/102.11 c #Conflicts: 149000 | #Constraints: 9674 101.77/102.11 c #Conflicts: 150000 | #Constraints: 10678 101.77/102.11 c #Conflicts: 151000 | #Constraints: 11683 101.77/102.11 c #Conflicts: 152000 | #Constraints: 12687 101.77/102.11 c #Conflicts: 153000 | #Constraints: 13690 101.77/102.11 c #Conflicts: 154000 | #Constraints: 14695 101.77/102.11 c #Conflicts: 155000 | #Constraints: 15700 101.77/102.11 c INPROCESSING 101.77/102.11 c GARBAGE COLLECT 101.77/102.11 c rational objective 0 108.35/108.78 c #Conflicts: 156000 | #Constraints: 8876 108.35/108.78 c #Conflicts: 157000 | #Constraints: 9877 108.35/108.78 c #Conflicts: 158000 | #Constraints: 10878 108.35/108.78 c #Conflicts: 159000 | #Constraints: 11885 108.35/108.78 c #Conflicts: 160000 | #Constraints: 12888 108.35/108.78 c #Conflicts: 161000 | #Constraints: 13894 108.35/108.78 c #Conflicts: 162000 | #Constraints: 14900 108.35/108.78 c #Conflicts: 163000 | #Constraints: 15900 108.35/108.78 c INPROCESSING 108.35/108.78 c GARBAGE COLLECT 108.35/108.78 c rational objective 0 119.10/119.58 c #Conflicts: 164000 | #Constraints: 8875 119.10/119.58 c #Conflicts: 165000 | #Constraints: 9876 119.10/119.58 c #Conflicts: 166000 | #Constraints: 10878 119.10/119.58 c #Conflicts: 167000 | #Constraints: 11884 119.10/119.58 c #Conflicts: 168000 | #Constraints: 12886 119.10/119.58 c #Conflicts: 169000 | #Constraints: 13896 119.10/119.58 c #Conflicts: 170000 | #Constraints: 14898 119.10/119.58 c #Conflicts: 171000 | #Constraints: 15898 119.10/119.58 c INPROCESSING 119.10/119.58 c GARBAGE COLLECT 119.10/119.58 c rational objective 0 126.88/127.31 c #Conflicts: 172000 | #Constraints: 8677 126.88/127.31 c #Conflicts: 173000 | #Constraints: 9680 126.88/127.31 c #Conflicts: 174000 | #Constraints: 10684 126.88/127.31 c #Conflicts: 175000 | #Constraints: 11693 126.88/127.31 c #Conflicts: 176000 | #Constraints: 12696 126.88/127.31 c #Conflicts: 177000 | #Constraints: 13698 126.88/127.31 c #Conflicts: 178000 | #Constraints: 14700 126.88/127.31 c #Conflicts: 179000 | #Constraints: 15702 126.88/127.31 c #Conflicts: 180000 | #Constraints: 16707 126.88/127.31 c INPROCESSING 126.88/127.31 c GARBAGE COLLECT 126.88/127.31 c rational objective 0 135.35/135.85 c #Conflicts: 181000 | #Constraints: 9272 135.35/135.85 c #Conflicts: 182000 | #Constraints: 10275 135.35/135.85 c #Conflicts: 183000 | #Constraints: 11275 135.35/135.85 c #Conflicts: 184000 | #Constraints: 12276 135.35/135.85 c #Conflicts: 185000 | #Constraints: 13278 135.35/135.85 c #Conflicts: 186000 | #Constraints: 14281 135.35/135.85 c #Conflicts: 187000 | #Constraints: 15285 135.35/135.85 c #Conflicts: 188000 | #Constraints: 16287 135.35/135.85 c #Conflicts: 189000 | #Constraints: 17287 135.35/135.85 c INPROCESSING 135.35/135.85 c GARBAGE COLLECT 135.35/135.85 c rational objective 0 148.31/148.82 c #Conflicts: 190000 | #Constraints: 9665 148.31/148.82 c #Conflicts: 191000 | #Constraints: 10667 148.31/148.82 c #Conflicts: 192000 | #Constraints: 11667 148.31/148.82 c #Conflicts: 193000 | #Constraints: 12670 148.31/148.82 c #Conflicts: 194000 | #Constraints: 13674 148.31/148.82 c #Conflicts: 195000 | #Constraints: 14680 148.31/148.82 c #Conflicts: 196000 | #Constraints: 15682 148.31/148.82 c #Conflicts: 197000 | #Constraints: 16684 148.31/148.82 c #Conflicts: 198000 | #Constraints: 17686 148.31/148.82 c INPROCESSING 148.31/148.82 c GARBAGE COLLECT 148.31/148.82 c rational objective 0 159.77/160.37 c #Conflicts: 199000 | #Constraints: 9868 159.77/160.37 c #Conflicts: 200000 | #Constraints: 10873 159.77/160.37 c #Conflicts: 201000 | #Constraints: 11876 159.77/160.37 c #Conflicts: 202000 | #Constraints: 12879 159.77/160.37 c #Conflicts: 203000 | #Constraints: 13882 159.77/160.37 c #Conflicts: 204000 | #Constraints: 14883 159.77/160.37 c #Conflicts: 205000 | #Constraints: 15884 159.77/160.37 c #Conflicts: 206000 | #Constraints: 16885 159.77/160.37 c #Conflicts: 207000 | #Constraints: 17887 159.77/160.37 c INPROCESSING 159.77/160.37 c GARBAGE COLLECT 159.77/160.37 c rational objective 0 176.72/177.33 c #Conflicts: 208000 | #Constraints: 9863 176.72/177.33 c #Conflicts: 209000 | #Constraints: 10867 176.72/177.33 c #Conflicts: 210000 | #Constraints: 11869 176.72/177.33 c #Conflicts: 211000 | #Constraints: 12870 176.72/177.33 c #Conflicts: 212000 | #Constraints: 13871 176.72/177.33 c #Conflicts: 213000 | #Constraints: 14871 176.72/177.33 c #Conflicts: 214000 | #Constraints: 15872 176.72/177.33 c #Conflicts: 215000 | #Constraints: 16873 176.72/177.33 c #Conflicts: 216000 | #Constraints: 17875 176.72/177.33 c INPROCESSING 176.72/177.33 c GARBAGE COLLECT 176.72/177.33 c rational objective 0 189.67/190.34 c #Conflicts: 217000 | #Constraints: 9665 189.67/190.34 c #Conflicts: 218000 | #Constraints: 10669 189.67/190.34 c #Conflicts: 219000 | #Constraints: 11674 189.67/190.34 c #Conflicts: 220000 | #Constraints: 12675 189.67/190.34 c #Conflicts: 221000 | #Constraints: 13676 189.67/190.34 c #Conflicts: 222000 | #Constraints: 14680 189.67/190.34 c #Conflicts: 223000 | #Constraints: 15681 189.67/190.34 c #Conflicts: 224000 | #Constraints: 16682 189.67/190.34 c #Conflicts: 225000 | #Constraints: 17683 189.67/190.34 c #Conflicts: 226000 | #Constraints: 18684 189.67/190.34 c INPROCESSING 189.67/190.34 c GARBAGE COLLECT 189.67/190.34 c rational objective 0 206.61/207.32 c #Conflicts: 227000 | #Constraints: 10261 206.61/207.32 c #Conflicts: 228000 | #Constraints: 11262 206.61/207.32 c #Conflicts: 229000 | #Constraints: 12265 206.61/207.32 c #Conflicts: 230000 | #Constraints: 13268 206.61/207.32 c #Conflicts: 231000 | #Constraints: 14269 206.61/207.32 c #Conflicts: 232000 | #Constraints: 15274 206.61/207.32 c #Conflicts: 233000 | #Constraints: 16276 206.61/207.32 c #Conflicts: 234000 | #Constraints: 17278 206.61/207.32 c #Conflicts: 235000 | #Constraints: 18281 206.61/207.32 c #Conflicts: 236000 | #Constraints: 19283 206.61/207.32 c INPROCESSING 206.61/207.32 c GARBAGE COLLECT 206.61/207.32 c rational objective 0 217.18/217.90 c #Conflicts: 237000 | #Constraints: 10673 217.18/217.90 c #Conflicts: 238000 | #Constraints: 11675 217.18/217.90 c #Conflicts: 239000 | #Constraints: 12679 217.18/217.90 c #Conflicts: 240000 | #Constraints: 13686 217.18/217.90 c #Conflicts: 241000 | #Constraints: 14693 217.18/217.90 c #Conflicts: 242000 | #Constraints: 15694 217.18/217.90 c #Conflicts: 243000 | #Constraints: 16696 217.18/217.90 c #Conflicts: 244000 | #Constraints: 17700 217.18/217.90 c #Conflicts: 245000 | #Constraints: 18703 217.18/217.90 c #Conflicts: 246000 | #Constraints: 19706 217.18/217.90 c INPROCESSING 217.18/217.90 c GARBAGE COLLECT 217.18/217.90 c rational objective 0 227.64/228.40 c #Conflicts: 247000 | #Constraints: 10872 227.64/228.40 c #Conflicts: 248000 | #Constraints: 11873 227.64/228.40 c #Conflicts: 249000 | #Constraints: 12876 227.64/228.40 c #Conflicts: 250000 | #Constraints: 13878 227.64/228.40 c #Conflicts: 251000 | #Constraints: 14879 227.64/228.40 c #Conflicts: 252000 | #Constraints: 15880 227.64/228.40 c #Conflicts: 253000 | #Constraints: 16884 227.64/228.40 c #Conflicts: 254000 | #Constraints: 17888 227.64/228.40 c #Conflicts: 255000 | #Constraints: 18893 227.64/228.40 c #Conflicts: 256000 | #Constraints: 19897 227.64/228.40 c INPROCESSING 227.64/228.40 c GARBAGE COLLECT 227.64/228.40 c rational objective 0 246.86/247.70 c #Conflicts: 257000 | #Constraints: 10872 246.86/247.70 c #Conflicts: 258000 | #Constraints: 11874 246.86/247.70 c #Conflicts: 259000 | #Constraints: 12875 246.86/247.70 c #Conflicts: 260000 | #Constraints: 13877 246.86/247.70 c #Conflicts: 261000 | #Constraints: 14877 246.86/247.70 c #Conflicts: 262000 | #Constraints: 15880 246.86/247.70 c #Conflicts: 263000 | #Constraints: 16883 246.86/247.70 c #Conflicts: 264000 | #Constraints: 17884 246.86/247.70 c #Conflicts: 265000 | #Constraints: 18886 246.86/247.70 c #Conflicts: 266000 | #Constraints: 19889 246.86/247.70 c INPROCESSING 246.86/247.70 c GARBAGE COLLECT 246.86/247.70 c rational objective 0 261.52/262.42 c #Conflicts: 267000 | #Constraints: 10670 261.52/262.42 c #Conflicts: 268000 | #Constraints: 11671 261.52/262.42 c #Conflicts: 269000 | #Constraints: 12673 261.52/262.42 c #Conflicts: 270000 | #Constraints: 13673 261.52/262.42 c #Conflicts: 271000 | #Constraints: 14676 261.52/262.42 c #Conflicts: 272000 | #Constraints: 15677 261.52/262.42 c #Conflicts: 273000 | #Constraints: 16681 261.52/262.42 c #Conflicts: 274000 | #Constraints: 17683 261.52/262.42 c #Conflicts: 275000 | #Constraints: 18685 261.52/262.42 c #Conflicts: 276000 | #Constraints: 19687 261.52/262.42 c #Conflicts: 277000 | #Constraints: 20693 261.52/262.42 c INPROCESSING 261.52/262.42 c GARBAGE COLLECT 261.52/262.42 c rational objective 0 273.58/274.59 c #Conflicts: 278000 | #Constraints: 11265 273.58/274.59 c #Conflicts: 279000 | #Constraints: 12275 273.58/274.59 c #Conflicts: 280000 | #Constraints: 13277 273.58/274.59 c #Conflicts: 281000 | #Constraints: 14282 273.58/274.59 c #Conflicts: 282000 | #Constraints: 15284 273.58/274.59 c #Conflicts: 283000 | #Constraints: 16287 273.58/274.59 c #Conflicts: 284000 | #Constraints: 17294 273.58/274.59 c #Conflicts: 285000 | #Constraints: 18296 273.58/274.59 c #Conflicts: 286000 | #Constraints: 19297 273.58/274.59 c #Conflicts: 287000 | #Constraints: 20300 273.58/274.59 c #Conflicts: 288000 | #Constraints: 21302 273.58/274.59 c INPROCESSING 273.58/274.59 c GARBAGE COLLECT 273.58/274.59 c rational objective 0 291.81/292.88 c #Conflicts: 289000 | #Constraints: 11671 291.81/292.88 c #Conflicts: 290000 | #Constraints: 12673 291.81/292.88 c #Conflicts: 291000 | #Constraints: 13678 291.81/292.88 c #Conflicts: 292000 | #Constraints: 14680 291.81/292.88 c #Conflicts: 293000 | #Constraints: 15681 291.81/292.88 c #Conflicts: 294000 | #Constraints: 16685 291.81/292.88 c #Conflicts: 295000 | #Constraints: 17688 291.81/292.88 c bounds 24 >= 0 @ 285.257 291.81/292.88 c #Conflicts: 296000 | #Constraints: 18694 291.81/292.88 c #Conflicts: 297000 | #Constraints: 19702 291.81/292.88 c #Conflicts: 298000 | #Constraints: 20705 291.81/292.88 c #Conflicts: 299000 | #Constraints: 21708 291.81/292.88 c INPROCESSING 291.81/292.88 c GARBAGE COLLECT 291.81/292.88 c rational objective 0 303.87/304.97 c #Conflicts: 300000 | #Constraints: 11875 303.87/304.97 c #Conflicts: 301000 | #Constraints: 12878 303.87/304.97 c #Conflicts: 302000 | #Constraints: 13878 303.87/304.97 c #Conflicts: 303000 | #Constraints: 14881 303.87/304.97 c #Conflicts: 304000 | #Constraints: 15882 303.87/304.97 c #Conflicts: 305000 | #Constraints: 16887 303.87/304.97 c #Conflicts: 306000 | #Constraints: 17892 303.87/304.97 c #Conflicts: 307000 | #Constraints: 18898 303.87/304.97 c #Conflicts: 308000 | #Constraints: 19899 303.87/304.97 c #Conflicts: 309000 | #Constraints: 20906 303.87/304.97 c #Conflicts: 310000 | #Constraints: 21908 303.87/304.97 c INPROCESSING 303.87/304.97 c GARBAGE COLLECT 303.87/304.97 c rational objective 0 324.49/325.61 c bounds 22 >= 0 @ 301.618 324.49/325.61 c #Conflicts: 311000 | #Constraints: 11878 324.49/325.61 c #Conflicts: 312000 | #Constraints: 12879 324.49/325.61 c #Conflicts: 313000 | #Constraints: 13882 324.49/325.61 c #Conflicts: 314000 | #Constraints: 14884 324.49/325.61 c #Conflicts: 315000 | #Constraints: 15887 324.49/325.61 c #Conflicts: 316000 | #Constraints: 16887 324.49/325.61 c #Conflicts: 317000 | #Constraints: 17889 324.49/325.61 c #Conflicts: 318000 | #Constraints: 18890 324.49/325.61 c #Conflicts: 319000 | #Constraints: 19890 324.49/325.61 c #Conflicts: 320000 | #Constraints: 20892 324.49/325.61 c #Conflicts: 321000 | #Constraints: 21895 324.49/325.61 c INPROCESSING 324.49/325.61 c GARBAGE COLLECT 324.49/325.61 c rational objective 0 341.03/342.28 c #Conflicts: 322000 | #Constraints: 11676 341.03/342.28 c #Conflicts: 323000 | #Constraints: 12678 341.03/342.28 c #Conflicts: 324000 | #Constraints: 13681 341.03/342.28 c #Conflicts: 325000 | #Constraints: 14681 341.03/342.28 c #Conflicts: 326000 | #Constraints: 15682 341.03/342.28 c #Conflicts: 327000 | #Constraints: 16684 341.03/342.28 c #Conflicts: 328000 | #Constraints: 17686 341.03/342.28 c #Conflicts: 329000 | #Constraints: 18688 341.03/342.28 c #Conflicts: 330000 | #Constraints: 19688 341.03/342.28 c #Conflicts: 331000 | #Constraints: 20691 341.03/342.28 c #Conflicts: 332000 | #Constraints: 21692 341.03/342.28 c #Conflicts: 333000 | #Constraints: 22694 341.03/342.28 c INPROCESSING 341.03/342.28 c GARBAGE COLLECT 341.03/342.28 c rational objective 0 364.36/365.60 c #Conflicts: 334000 | #Constraints: 12266 364.36/365.60 c #Conflicts: 335000 | #Constraints: 13266 364.36/365.60 c #Conflicts: 336000 | #Constraints: 14268 364.36/365.60 c #Conflicts: 337000 | #Constraints: 15269 364.36/365.60 c #Conflicts: 338000 | #Constraints: 16272 364.36/365.60 c #Conflicts: 339000 | #Constraints: 17274 364.36/365.60 c #Conflicts: 340000 | #Constraints: 18278 364.36/365.60 c #Conflicts: 341000 | #Constraints: 19283 364.36/365.60 c #Conflicts: 342000 | #Constraints: 20286 364.36/365.60 c #Conflicts: 343000 | #Constraints: 21292 364.36/365.60 c #Conflicts: 344000 | #Constraints: 22298 364.36/365.60 c #Conflicts: 345000 | #Constraints: 23299 364.36/365.60 c INPROCESSING 364.36/365.60 c GARBAGE COLLECT 364.36/365.60 c rational objective 0 393.34/394.79 c #Conflicts: 346000 | #Constraints: 13229 393.34/394.79 c #Conflicts: 347000 | #Constraints: 14884 393.34/394.79 c #Conflicts: 348000 | #Constraints: 16572 393.34/394.79 c #Conflicts: 349000 | #Constraints: 18268 393.34/394.79 c #Conflicts: 350000 | #Constraints: 19944 393.34/394.79 c #Conflicts: 351000 | #Constraints: 21680 393.34/394.79 c #Conflicts: 352000 | #Constraints: 23366 393.34/394.79 c #Conflicts: 353000 | #Constraints: 25009 393.34/394.79 c #Conflicts: 354000 | #Constraints: 26670 393.34/394.79 c #Conflicts: 355000 | #Constraints: 28352 393.34/394.79 c #Conflicts: 356000 | #Constraints: 30048 393.34/394.79 c #Conflicts: 357000 | #Constraints: 31717 393.34/394.79 c INPROCESSING 393.34/394.79 c GARBAGE COLLECT 393.34/394.79 c rational objective 0 439.07/440.66 c #Conflicts: 358000 | #Constraints: 17372 439.07/440.66 c #Conflicts: 359000 | #Constraints: 18848 439.07/440.66 c #Conflicts: 360000 | #Constraints: 20525 439.07/440.66 c #Conflicts: 361000 | #Constraints: 21972 439.07/440.66 c #Conflicts: 362000 | #Constraints: 23519 439.07/440.66 c #Conflicts: 363000 | #Constraints: 25142 439.07/440.66 c #Conflicts: 364000 | #Constraints: 26776 439.07/440.66 c #Conflicts: 365000 | #Constraints: 28411 439.07/440.66 c #Conflicts: 366000 | #Constraints: 29969 439.07/440.66 c #Conflicts: 367000 | #Constraints: 31449 439.07/440.66 c #Conflicts: 368000 | #Constraints: 32656 439.07/440.66 c #Conflicts: 369000 | #Constraints: 34299 439.07/440.66 c INPROCESSING 439.07/440.66 c GARBAGE COLLECT 439.07/440.66 c rational objective 0 464.27/465.94 c #Conflicts: 370000 | #Constraints: 18557 464.27/465.94 c #Conflicts: 371000 | #Constraints: 19571 464.27/465.94 c #Conflicts: 372000 | #Constraints: 20573 464.27/465.94 c #Conflicts: 373000 | #Constraints: 21630 464.27/465.94 c #Conflicts: 374000 | #Constraints: 22729 464.27/465.94 c #Conflicts: 375000 | #Constraints: 23986 464.27/465.94 c #Conflicts: 376000 | #Constraints: 24988 464.27/465.94 c #Conflicts: 377000 | #Constraints: 25988 464.27/465.94 c #Conflicts: 378000 | #Constraints: 27098 464.27/465.94 c #Conflicts: 379000 | #Constraints: 28274 464.27/465.94 c #Conflicts: 380000 | #Constraints: 29370 464.27/465.94 c #Conflicts: 381000 | #Constraints: 30372 464.27/465.94 c INPROCESSING 464.27/465.94 c GARBAGE COLLECT 464.27/465.94 c rational objective 0 490.46/492.20 c #Conflicts: 382000 | #Constraints: 16125 490.46/492.20 c #Conflicts: 383000 | #Constraints: 17328 490.46/492.20 c #Conflicts: 384000 | #Constraints: 18941 490.46/492.20 c #Conflicts: 385000 | #Constraints: 20616 490.46/492.20 c #Conflicts: 386000 | #Constraints: 22226 490.46/492.20 c #Conflicts: 387000 | #Constraints: 23891 490.46/492.20 c #Conflicts: 388000 | #Constraints: 25545 490.46/492.20 c #Conflicts: 389000 | #Constraints: 27174 490.46/492.20 c #Conflicts: 390000 | #Constraints: 28576 490.46/492.20 c #Conflicts: 391000 | #Constraints: 30207 490.46/492.20 c #Conflicts: 392000 | #Constraints: 31566 490.46/492.20 c #Conflicts: 393000 | #Constraints: 33043 490.46/492.20 c #Conflicts: 394000 | #Constraints: 34647 490.46/492.20 c INPROCESSING 490.46/492.20 c GARBAGE COLLECT 490.46/492.20 c rational objective 0 533.40/535.33 c #Conflicts: 395000 | #Constraints: 18541 533.40/535.33 c #Conflicts: 396000 | #Constraints: 19861 533.40/535.33 c #Conflicts: 397000 | #Constraints: 20896 533.40/535.33 c #Conflicts: 398000 | #Constraints: 21986 533.40/535.33 c #Conflicts: 399000 | #Constraints: 23062 533.40/535.33 c #Conflicts: 400000 | #Constraints: 24089 533.40/535.33 c #Conflicts: 401000 | #Constraints: 25182 533.40/535.33 c #Conflicts: 402000 | #Constraints: 26187 533.40/535.33 c #Conflicts: 403000 | #Constraints: 27191 533.40/535.33 c #Conflicts: 404000 | #Constraints: 28301 533.40/535.33 c #Conflicts: 405000 | #Constraints: 29302 533.40/535.33 c #Conflicts: 406000 | #Constraints: 30303 533.40/535.33 c #Conflicts: 407000 | #Constraints: 31503 533.40/535.33 c INPROCESSING 533.40/535.33 c GARBAGE COLLECT 533.40/535.33 c rational objective 0 567.17/569.26 c #Conflicts: 408000 | #Constraints: 17424 567.17/569.26 c #Conflicts: 409000 | #Constraints: 19067 567.17/569.26 c #Conflicts: 410000 | #Constraints: 20725 567.17/569.26 c #Conflicts: 411000 | #Constraints: 22364 567.17/569.26 c #Conflicts: 412000 | #Constraints: 24063 567.17/569.26 c #Conflicts: 413000 | #Constraints: 25744 567.17/569.26 c #Conflicts: 414000 | #Constraints: 27395 567.17/569.26 c #Conflicts: 415000 | #Constraints: 29012 567.17/569.26 c #Conflicts: 416000 | #Constraints: 30635 567.17/569.26 c #Conflicts: 417000 | #Constraints: 32252 567.17/569.26 c #Conflicts: 418000 | #Constraints: 33874 567.17/569.26 c #Conflicts: 419000 | #Constraints: 35531 567.17/569.26 c #Conflicts: 420000 | #Constraints: 37191 567.17/569.26 c INPROCESSING 567.17/569.26 c GARBAGE COLLECT 567.17/569.26 c rational objective 0 625.58/627.87 c #Conflicts: 421000 | #Constraints: 20225 625.58/627.87 c #Conflicts: 422000 | #Constraints: 21834 625.58/627.87 c #Conflicts: 423000 | #Constraints: 23444 625.58/627.87 c #Conflicts: 424000 | #Constraints: 25006 625.58/627.87 c #Conflicts: 425000 | #Constraints: 26591 625.58/627.87 c #Conflicts: 426000 | #Constraints: 27797 625.58/627.87 c #Conflicts: 427000 | #Constraints: 29393 625.58/627.87 c #Conflicts: 428000 | #Constraints: 30937 625.58/627.87 c #Conflicts: 429000 | #Constraints: 32496 625.58/627.87 c #Conflicts: 430000 | #Constraints: 34165 625.58/627.87 c #Conflicts: 431000 | #Constraints: 35549 625.58/627.87 c #Conflicts: 432000 | #Constraints: 37179 625.58/627.87 c #Conflicts: 433000 | #Constraints: 38497 625.58/627.87 c INPROCESSING 625.58/627.87 c GARBAGE COLLECT 625.58/627.87 c rational objective 0 663.65/666.08 c #Conflicts: 434000 | #Constraints: 20539 663.65/666.08 c #Conflicts: 435000 | #Constraints: 21788 663.65/666.08 c #Conflicts: 436000 | #Constraints: 23407 663.65/666.08 c #Conflicts: 437000 | #Constraints: 24868 663.65/666.08 c #Conflicts: 438000 | #Constraints: 25977 663.65/666.08 c #Conflicts: 439000 | #Constraints: 27303 663.65/666.08 c #Conflicts: 440000 | #Constraints: 28747 663.65/666.08 c #Conflicts: 441000 | #Constraints: 29766 663.65/666.08 c #Conflicts: 442000 | #Constraints: 30804 663.65/666.08 c #Conflicts: 443000 | #Constraints: 31907 663.65/666.08 c #Conflicts: 444000 | #Constraints: 32950 663.65/666.08 c #Conflicts: 445000 | #Constraints: 33961 663.65/666.08 c #Conflicts: 446000 | #Constraints: 34962 663.65/666.08 c INPROCESSING 663.65/666.08 c GARBAGE COLLECT 663.65/666.08 c rational objective 0 701.91/704.49 c #Conflicts: 447000 | #Constraints: 18349 701.91/704.49 c #Conflicts: 448000 | #Constraints: 19680 701.91/704.49 c #Conflicts: 449000 | #Constraints: 21023 701.91/704.49 c #Conflicts: 450000 | #Constraints: 22356 701.91/704.49 c #Conflicts: 451000 | #Constraints: 23600 701.91/704.49 c #Conflicts: 452000 | #Constraints: 24620 701.91/704.49 c #Conflicts: 453000 | #Constraints: 26003 701.91/704.49 c #Conflicts: 454000 | #Constraints: 27245 701.91/704.49 c #Conflicts: 455000 | #Constraints: 28371 701.91/704.49 c #Conflicts: 456000 | #Constraints: 29611 701.91/704.49 c #Conflicts: 457000 | #Constraints: 30692 701.91/704.49 c #Conflicts: 458000 | #Constraints: 31692 701.91/704.49 c #Conflicts: 459000 | #Constraints: 32839 701.91/704.49 c #Conflicts: 460000 | #Constraints: 34161 701.91/704.49 c INPROCESSING 701.91/704.49 c GARBAGE COLLECT 701.91/704.49 c rational objective 0 753.64/756.33 c #Conflicts: 461000 | #Constraints: 18034 753.64/756.33 c #Conflicts: 462000 | #Constraints: 19187 753.64/756.33 c #Conflicts: 463000 | #Constraints: 20187 753.64/756.33 c #Conflicts: 464000 | #Constraints: 21191 753.64/756.33 c #Conflicts: 465000 | #Constraints: 22547 753.64/756.33 c #Conflicts: 466000 | #Constraints: 23710 753.64/756.33 c #Conflicts: 467000 | #Constraints: 24819 753.64/756.33 c #Conflicts: 468000 | #Constraints: 25962 753.64/756.33 c #Conflicts: 469000 | #Constraints: 27100 753.64/756.33 c #Conflicts: 470000 | #Constraints: 28405 753.64/756.33 c #Conflicts: 471000 | #Constraints: 29406 753.64/756.33 c #Conflicts: 472000 | #Constraints: 30860 753.64/756.33 c #Conflicts: 473000 | #Constraints: 32239 753.64/756.33 c #Conflicts: 474000 | #Constraints: 33240 753.64/756.33 c INPROCESSING 753.64/756.33 c GARBAGE COLLECT 753.64/756.33 c rational objective 0 794.89/797.75 c #Conflicts: 475000 | #Constraints: 17902 794.89/797.75 c #Conflicts: 476000 | #Constraints: 19076 794.89/797.75 c #Conflicts: 477000 | #Constraints: 20230 794.89/797.75 c #Conflicts: 478000 | #Constraints: 21267 794.89/797.75 c #Conflicts: 479000 | #Constraints: 22341 794.89/797.75 c #Conflicts: 480000 | #Constraints: 23506 794.89/797.75 c #Conflicts: 481000 | #Constraints: 24510 794.89/797.75 c #Conflicts: 482000 | #Constraints: 25598 794.89/797.75 c #Conflicts: 483000 | #Constraints: 26748 794.89/797.75 c #Conflicts: 484000 | #Constraints: 27949 794.89/797.75 c #Conflicts: 485000 | #Constraints: 29136 794.89/797.75 c #Conflicts: 486000 | #Constraints: 30162 794.89/797.75 c #Conflicts: 487000 | #Constraints: 31242 794.89/797.75 c #Conflicts: 488000 | #Constraints: 32317 794.89/797.75 c INPROCESSING 794.89/797.75 c GARBAGE COLLECT 794.89/797.75 c rational objective 0 845.12/848.13 c #Conflicts: 489000 | #Constraints: 17218 845.12/848.13 c #Conflicts: 490000 | #Constraints: 18287 845.12/848.13 c #Conflicts: 491000 | #Constraints: 19454 845.12/848.13 c #Conflicts: 492000 | #Constraints: 20464 845.12/848.13 c #Conflicts: 493000 | #Constraints: 21466 845.12/848.13 c #Conflicts: 494000 | #Constraints: 22485 845.12/848.13 c #Conflicts: 495000 | #Constraints: 23540 845.12/848.13 c #Conflicts: 496000 | #Constraints: 24541 845.12/848.13 c #Conflicts: 497000 | #Constraints: 25617 845.12/848.13 c #Conflicts: 498000 | #Constraints: 26641 845.12/848.13 c #Conflicts: 499000 | #Constraints: 27717 845.12/848.13 c #Conflicts: 500000 | #Constraints: 28793 845.12/848.13 c #Conflicts: 501000 | #Constraints: 29922 845.12/848.13 c #Conflicts: 502000 | #Constraints: 31014 845.12/848.13 c INPROCESSING 845.12/848.13 c GARBAGE COLLECT 845.12/848.13 c rational objective 0 883.98/887.15 c #Conflicts: 503000 | #Constraints: 16613 883.98/887.15 c #Conflicts: 504000 | #Constraints: 17804 883.98/887.15 c #Conflicts: 505000 | #Constraints: 19041 883.98/887.15 c #Conflicts: 506000 | #Constraints: 20405 883.98/887.15 c #Conflicts: 507000 | #Constraints: 21465 883.98/887.15 c #Conflicts: 508000 | #Constraints: 22691 883.98/887.15 c #Conflicts: 509000 | #Constraints: 23760 883.98/887.15 c #Conflicts: 510000 | #Constraints: 24800 883.98/887.15 c #Conflicts: 511000 | #Constraints: 25876 883.98/887.15 c #Conflicts: 512000 | #Constraints: 26878 883.98/887.15 c #Conflicts: 513000 | #Constraints: 28053 883.98/887.15 c #Conflicts: 514000 | #Constraints: 29079 883.98/887.15 c #Conflicts: 515000 | #Constraints: 30255 883.98/887.15 c #Conflicts: 516000 | #Constraints: 31619 883.98/887.15 c INPROCESSING 883.98/887.15 c GARBAGE COLLECT 883.98/887.15 c rational objective 0 936.49/939.86 c #Conflicts: 517000 | #Constraints: 16581 936.49/939.86 c #Conflicts: 518000 | #Constraints: 17623 936.49/939.86 c #Conflicts: 519000 | #Constraints: 18692 936.49/939.86 c #Conflicts: 520000 | #Constraints: 19748 936.49/939.86 c #Conflicts: 521000 | #Constraints: 20796 936.49/939.86 c #Conflicts: 522000 | #Constraints: 21812 936.49/939.86 c #Conflicts: 523000 | #Constraints: 22858 936.49/939.86 c #Conflicts: 524000 | #Constraints: 23859 936.49/939.86 c #Conflicts: 525000 | #Constraints: 24991 936.49/939.86 c #Conflicts: 526000 | #Constraints: 26066 936.49/939.86 c #Conflicts: 527000 | #Constraints: 27126 936.49/939.86 c #Conflicts: 528000 | #Constraints: 28152 936.49/939.86 c #Conflicts: 529000 | #Constraints: 29153 936.49/939.86 c #Conflicts: 530000 | #Constraints: 30156 936.49/939.86 c #Conflicts: 531000 | #Constraints: 31157 936.49/939.86 c INPROCESSING 936.49/939.86 c GARBAGE COLLECT 936.49/939.86 c rational objective 0 975.68/979.14 c #Conflicts: 532000 | #Constraints: 16964 975.68/979.14 c #Conflicts: 533000 | #Constraints: 18594 975.68/979.14 c #Conflicts: 534000 | #Constraints: 19841 975.68/979.14 c #Conflicts: 535000 | #Constraints: 21481 975.68/979.14 c #Conflicts: 536000 | #Constraints: 23119 975.68/979.14 c #Conflicts: 537000 | #Constraints: 24651 975.68/979.14 c #Conflicts: 538000 | #Constraints: 26036 975.68/979.14 c #Conflicts: 539000 | #Constraints: 27618 975.68/979.14 c #Conflicts: 540000 | #Constraints: 29230 975.68/979.14 c #Conflicts: 541000 | #Constraints: 30865 975.68/979.14 c #Conflicts: 542000 | #Constraints: 32524 975.68/979.14 c #Conflicts: 543000 | #Constraints: 34136 975.68/979.14 c #Conflicts: 544000 | #Constraints: 35697 975.68/979.14 c #Conflicts: 545000 | #Constraints: 37348 975.68/979.14 c #Conflicts: 546000 | #Constraints: 38992 975.68/979.14 c INPROCESSING 975.68/979.14 c GARBAGE COLLECT 975.68/979.14 c rational objective 0 1027.01/1030.62 c #Conflicts: 547000 | #Constraints: 21065 1027.01/1030.62 c #Conflicts: 548000 | #Constraints: 22714 1027.01/1030.62 c #Conflicts: 549000 | #Constraints: 24349 1027.01/1030.62 c #Conflicts: 550000 | #Constraints: 25522 1027.01/1030.62 c #Conflicts: 551000 | #Constraints: 27176 1027.01/1030.62 c #Conflicts: 552000 | #Constraints: 28627 1027.01/1030.62 c #Conflicts: 553000 | #Constraints: 30242 1027.01/1030.62 c #Conflicts: 554000 | #Constraints: 31664 1027.01/1030.62 c #Conflicts: 555000 | #Constraints: 32973 1027.01/1030.62 c #Conflicts: 556000 | #Constraints: 34263 1027.01/1030.62 c #Conflicts: 557000 | #Constraints: 35833 1027.01/1030.62 c #Conflicts: 558000 | #Constraints: 37092 1027.01/1030.62 c #Conflicts: 559000 | #Constraints: 38525 1027.01/1030.62 c #Conflicts: 560000 | #Constraints: 39998 1027.01/1030.62 c #Conflicts: 561000 | #Constraints: 41592 1027.01/1030.62 c INPROCESSING 1027.01/1030.62 c GARBAGE COLLECT 1027.01/1030.62 c rational objective 0 1083.44/1087.24 c #Conflicts: 562000 | #Constraints: 22061 1083.44/1087.24 c #Conflicts: 563000 | #Constraints: 23173 1083.44/1087.24 c #Conflicts: 564000 | #Constraints: 24188 1083.44/1087.24 c bounds 20 >= 0 @ 1035.15 1083.44/1087.24 c bounds 18 >= 0 @ 1035.17 1083.44/1087.24 c bounds 16 >= 0 @ 1035.2 1083.44/1087.24 c #Conflicts: 565000 | #Constraints: 25271 1083.44/1087.24 c #Conflicts: 566000 | #Constraints: 26368 1083.44/1087.24 c #Conflicts: 567000 | #Constraints: 27520 1083.44/1087.24 c #Conflicts: 568000 | #Constraints: 28657 1083.44/1087.24 c #Conflicts: 569000 | #Constraints: 29660 1083.44/1087.24 c #Conflicts: 570000 | #Constraints: 30774 1083.44/1087.24 c #Conflicts: 571000 | #Constraints: 31789 1083.44/1087.24 c #Conflicts: 572000 | #Constraints: 32932 1083.44/1087.24 c #Conflicts: 573000 | #Constraints: 33948 1083.44/1087.24 c #Conflicts: 574000 | #Constraints: 34964 1083.44/1087.24 c #Conflicts: 575000 | #Constraints: 36097 1083.44/1087.24 c #Conflicts: 576000 | #Constraints: 37126 1083.44/1087.24 c INPROCESSING 1083.44/1087.24 c GARBAGE COLLECT 1083.44/1087.24 c rational objective 0 1120.72/1124.66 c #Conflicts: 577000 | #Constraints: 19724 1120.72/1124.66 c #Conflicts: 578000 | #Constraints: 21081 1120.72/1124.66 c #Conflicts: 579000 | #Constraints: 22224 1120.72/1124.66 c #Conflicts: 580000 | #Constraints: 23327 1120.72/1124.66 c #Conflicts: 581000 | #Constraints: 24329 1120.72/1124.66 c #Conflicts: 582000 | #Constraints: 25471 1120.72/1124.66 c #Conflicts: 583000 | #Constraints: 27119 1120.72/1124.66 c #Conflicts: 584000 | #Constraints: 28563 1120.72/1124.66 c #Conflicts: 585000 | #Constraints: 29770 1120.72/1124.66 c #Conflicts: 586000 | #Constraints: 30818 1120.72/1124.66 c #Conflicts: 587000 | #Constraints: 31939 1120.72/1124.66 c #Conflicts: 588000 | #Constraints: 32939 1120.72/1124.66 c #Conflicts: 589000 | #Constraints: 33945 1120.72/1124.66 c #Conflicts: 590000 | #Constraints: 35066 1120.72/1124.66 c #Conflicts: 591000 | #Constraints: 36629 1120.72/1124.66 c INPROCESSING 1120.72/1124.66 c GARBAGE COLLECT 1120.72/1124.66 c rational objective 0 1180.73/1184.80 c #Conflicts: 592000 | #Constraints: 19408 1180.73/1184.80 c #Conflicts: 593000 | #Constraints: 20450 1180.73/1184.80 c #Conflicts: 594000 | #Constraints: 21716 1180.73/1184.80 c #Conflicts: 595000 | #Constraints: 22778 1180.73/1184.80 c #Conflicts: 596000 | #Constraints: 24039 1180.73/1184.80 c #Conflicts: 597000 | #Constraints: 25042 1180.73/1184.80 c #Conflicts: 598000 | #Constraints: 26169 1180.73/1184.80 c #Conflicts: 599000 | #Constraints: 27369 1180.73/1184.80 c #Conflicts: 600000 | #Constraints: 28790 1180.73/1184.80 c #Conflicts: 601000 | #Constraints: 29793 1180.73/1184.80 c #Conflicts: 602000 | #Constraints: 30794 1180.73/1184.80 c #Conflicts: 603000 | #Constraints: 31800 1180.73/1184.80 c #Conflicts: 604000 | #Constraints: 32975 1180.73/1184.80 c #Conflicts: 605000 | #Constraints: 34133 1180.73/1184.80 c #Conflicts: 606000 | #Constraints: 35135 1180.73/1184.80 c #Conflicts: 607000 | #Constraints: 36135 1180.73/1184.80 c INPROCESSING 1180.73/1184.80 c GARBAGE COLLECT 1180.73/1184.80 c rational objective 0 1241.45/1245.74 c #Conflicts: 608000 | #Constraints: 19458 1241.45/1245.74 c #Conflicts: 609000 | #Constraints: 21128 1241.45/1245.74 c #Conflicts: 610000 | #Constraints: 22816 1241.45/1245.74 c #Conflicts: 611000 | #Constraints: 24436 1241.45/1245.74 c #Conflicts: 612000 | #Constraints: 26084 1241.45/1245.74 c #Conflicts: 613000 | #Constraints: 27775 1241.45/1245.74 c #Conflicts: 614000 | #Constraints: 29407 1241.45/1245.74 c #Conflicts: 615000 | #Constraints: 31070 1241.45/1245.74 c #Conflicts: 616000 | #Constraints: 32715 1241.45/1245.74 c #Conflicts: 617000 | #Constraints: 34315 1241.45/1245.74 c #Conflicts: 618000 | #Constraints: 35907 1241.45/1245.74 c #Conflicts: 619000 | #Constraints: 37583 1241.45/1245.74 c #Conflicts: 620000 | #Constraints: 39202 1241.45/1245.74 c #Conflicts: 621000 | #Constraints: 40782 1241.45/1245.74 c #Conflicts: 622000 | #Constraints: 42103 1241.45/1245.74 c #Conflicts: 623000 | #Constraints: 43763 1241.45/1245.74 c INPROCESSING 1241.45/1245.74 c GARBAGE COLLECT 1241.45/1245.74 c rational objective 0 1313.63/1318.15 c #Conflicts: 624000 | #Constraints: 23131 1313.63/1318.15 c #Conflicts: 625000 | #Constraints: 24245 1313.63/1318.15 c #Conflicts: 626000 | #Constraints: 25455 1313.63/1318.15 c #Conflicts: 627000 | #Constraints: 26640 1313.63/1318.15 c #Conflicts: 628000 | #Constraints: 27660 1313.63/1318.15 c #Conflicts: 629000 | #Constraints: 28814 1313.63/1318.15 c #Conflicts: 630000 | #Constraints: 29891 1313.63/1318.15 c #Conflicts: 631000 | #Constraints: 31074 1313.63/1318.15 c #Conflicts: 632000 | #Constraints: 32165 1313.63/1318.15 c #Conflicts: 633000 | #Constraints: 33183 1313.63/1318.15 c #Conflicts: 634000 | #Constraints: 34212 1313.63/1318.15 c #Conflicts: 635000 | #Constraints: 35259 1313.63/1318.15 c #Conflicts: 636000 | #Constraints: 36322 1313.63/1318.15 c #Conflicts: 637000 | #Constraints: 37410 1313.63/1318.15 c #Conflicts: 638000 | #Constraints: 38453 1313.63/1318.15 c #Conflicts: 639000 | #Constraints: 39481 1313.63/1318.15 c INPROCESSING 1313.63/1318.15 c GARBAGE COLLECT 1313.63/1318.15 c rational objective 0 1389.08/1393.89 c #Conflicts: 640000 | #Constraints: 21343 1389.08/1393.89 c #Conflicts: 641000 | #Constraints: 22959 1389.08/1393.89 c #Conflicts: 642000 | #Constraints: 24682 1389.08/1393.89 c #Conflicts: 643000 | #Constraints: 26331 1389.08/1393.89 c #Conflicts: 644000 | #Constraints: 27985 1389.08/1393.89 c #Conflicts: 645000 | #Constraints: 29592 1389.08/1393.89 c #Conflicts: 646000 | #Constraints: 31211 1389.08/1393.89 c #Conflicts: 647000 | #Constraints: 32842 1389.08/1393.89 c #Conflicts: 648000 | #Constraints: 34505 1389.08/1393.89 c #Conflicts: 649000 | #Constraints: 36157 1389.08/1393.89 c #Conflicts: 650000 | #Constraints: 37816 1389.08/1393.89 c #Conflicts: 651000 | #Constraints: 39482 1389.08/1393.89 c #Conflicts: 652000 | #Constraints: 41149 1389.08/1393.89 c #Conflicts: 653000 | #Constraints: 42843 1389.08/1393.89 c #Conflicts: 654000 | #Constraints: 44512 1389.08/1393.89 c #Conflicts: 655000 | #Constraints: 46130 1389.08/1393.89 c INPROCESSING 1389.08/1393.89 c GARBAGE COLLECT 1389.08/1393.89 c rational objective 0 1499.05/1504.14 c #Conflicts: 656000 | #Constraints: 24562 1499.05/1504.14 c #Conflicts: 657000 | #Constraints: 26141 1499.05/1504.14 c #Conflicts: 658000 | #Constraints: 27765 1499.05/1504.14 c #Conflicts: 659000 | #Constraints: 29412 1499.05/1504.14 c #Conflicts: 660000 | #Constraints: 31059 1499.05/1504.14 c #Conflicts: 661000 | #Constraints: 32709 1499.05/1504.14 c #Conflicts: 662000 | #Constraints: 34332 1499.05/1504.14 c #Conflicts: 663000 | #Constraints: 35966 1499.05/1504.14 c #Conflicts: 664000 | #Constraints: 37610 1499.05/1504.14 c #Conflicts: 665000 | #Constraints: 39220 1499.05/1504.14 c #Conflicts: 666000 | #Constraints: 40900 1499.05/1504.14 c #Conflicts: 667000 | #Constraints: 42588 1499.05/1504.14 c #Conflicts: 668000 | #Constraints: 44322 1499.05/1504.14 c #Conflicts: 669000 | #Constraints: 45966 1499.05/1504.14 c #Conflicts: 670000 | #Constraints: 47604 1499.05/1504.14 c #Conflicts: 671000 | #Constraints: 49267 1499.05/1504.14 c INPROCESSING 1499.05/1504.14 c GARBAGE COLLECT 1499.05/1504.14 c rational objective 0 1572.90/1578.21 c #Conflicts: 672000 | #Constraints: 25797 1572.90/1578.21 c #Conflicts: 673000 | #Constraints: 27382 1572.90/1578.21 c #Conflicts: 674000 | #Constraints: 29079 1572.90/1578.21 c #Conflicts: 675000 | #Constraints: 30725 1572.90/1578.21 c #Conflicts: 676000 | #Constraints: 32394 1572.90/1578.21 c #Conflicts: 677000 | #Constraints: 34069 1572.90/1578.21 c #Conflicts: 678000 | #Constraints: 35741 1572.90/1578.21 c #Conflicts: 679000 | #Constraints: 37415 1572.90/1578.21 c #Conflicts: 680000 | #Constraints: 39030 1572.90/1578.21 c #Conflicts: 681000 | #Constraints: 40682 1572.90/1578.21 c #Conflicts: 682000 | #Constraints: 42348 1572.90/1578.21 c #Conflicts: 683000 | #Constraints: 44010 1572.90/1578.21 c #Conflicts: 684000 | #Constraints: 45662 1572.90/1578.21 c #Conflicts: 685000 | #Constraints: 47276 1572.90/1578.21 c #Conflicts: 686000 | #Constraints: 48913 1572.90/1578.21 c #Conflicts: 687000 | #Constraints: 50553 1572.90/1578.21 c #Conflicts: 688000 | #Constraints: 52180 1572.90/1578.21 c INPROCESSING 1572.90/1578.21 c GARBAGE COLLECT 1572.90/1578.21 c rational objective 0 1687.63/1693.35 c #Conflicts: 689000 | #Constraints: 27568 1687.63/1693.35 c #Conflicts: 690000 | #Constraints: 29250 1687.63/1693.35 c #Conflicts: 691000 | #Constraints: 30898 1687.63/1693.35 c #Conflicts: 692000 | #Constraints: 32508 1687.63/1693.35 c #Conflicts: 693000 | #Constraints: 34154 1687.63/1693.35 c #Conflicts: 694000 | #Constraints: 35809 1687.63/1693.35 c #Conflicts: 695000 | #Constraints: 37507 1687.63/1693.35 c #Conflicts: 696000 | #Constraints: 39164 1687.63/1693.35 c #Conflicts: 697000 | #Constraints: 40907 1687.63/1693.35 c #Conflicts: 698000 | #Constraints: 42635 1687.63/1693.35 c #Conflicts: 699000 | #Constraints: 44297 1687.63/1693.35 c #Conflicts: 700000 | #Constraints: 45961 1687.63/1693.35 c #Conflicts: 701000 | #Constraints: 47593 1687.63/1693.35 c #Conflicts: 702000 | #Constraints: 49232 1687.63/1693.35 c #Conflicts: 703000 | #Constraints: 50882 1687.63/1693.35 c #Conflicts: 704000 | #Constraints: 52547 1687.63/1693.35 c #Conflicts: 705000 | #Constraints: 54227 1687.63/1693.35 c INPROCESSING 1687.63/1693.35 c GARBAGE COLLECT 1687.63/1693.35 c rational objective 0 1772.76/1778.70 c #Conflicts: 706000 | #Constraints: 28736 1772.76/1778.70 c #Conflicts: 707000 | #Constraints: 30205 1772.76/1778.70 c #Conflicts: 708000 | #Constraints: 31851 1772.76/1778.70 c #Conflicts: 709000 | #Constraints: 33301 1772.76/1778.70 c #Conflicts: 710000 | #Constraints: 34890 1772.76/1778.70 c #Conflicts: 711000 | #Constraints: 36523 1772.76/1778.70 c #Conflicts: 712000 | #Constraints: 38139 1772.76/1778.70 c #Conflicts: 713000 | #Constraints: 39780 1772.76/1778.70 c #Conflicts: 714000 | #Constraints: 41418 1772.76/1778.70 c #Conflicts: 715000 | #Constraints: 42614 1772.76/1778.70 c #Conflicts: 716000 | #Constraints: 44249 1772.76/1778.70 c #Conflicts: 717000 | #Constraints: 45877 1772.76/1778.70 c #Conflicts: 718000 | #Constraints: 47528 1772.76/1778.70 c #Conflicts: 719000 | #Constraints: 49194 1772.76/1778.70 c #Conflicts: 720000 | #Constraints: 50694 1772.76/1778.70 c #Conflicts: 721000 | #Constraints: 52170 1772.76/1778.70 c #Conflicts: 722000 | #Constraints: 53674 1772.76/1778.70 c INPROCESSING 1772.76/1778.70 c GARBAGE COLLECT 1772.76/1778.70 c rational objective 0 1863.78/1870.03 c #Conflicts: 723000 | #Constraints: 28430 1863.78/1870.03 c #Conflicts: 724000 | #Constraints: 30075 1863.78/1870.03 c #Conflicts: 725000 | #Constraints: 31721 1863.78/1870.03 c #Conflicts: 726000 | #Constraints: 33399 1863.78/1870.03 c #Conflicts: 727000 | #Constraints: 35070 1863.78/1870.03 c #Conflicts: 728000 | #Constraints: 36735 1863.78/1870.03 c #Conflicts: 729000 | #Constraints: 38137 1863.78/1870.03 c #Conflicts: 730000 | #Constraints: 39739 1863.78/1870.03 c #Conflicts: 731000 | #Constraints: 41397 1863.78/1870.03 c #Conflicts: 732000 | #Constraints: 43000 1863.78/1870.03 c #Conflicts: 733000 | #Constraints: 44508 1863.78/1870.03 c #Conflicts: 734000 | #Constraints: 46159 1863.78/1870.03 c #Conflicts: 735000 | #Constraints: 47779 1863.78/1870.03 c #Conflicts: 736000 | #Constraints: 49432 1863.78/1870.03 c #Conflicts: 737000 | #Constraints: 51051 1863.78/1870.03 c #Conflicts: 738000 | #Constraints: 52723 1863.78/1870.03 c #Conflicts: 739000 | #Constraints: 54349 1863.78/1870.03 c INPROCESSING 1863.78/1870.03 c GARBAGE COLLECT 1863.78/1870.03 c rational objective 0 1963.66/1970.21 c #Conflicts: 740000 | #Constraints: 28118 1963.66/1970.21 c #Conflicts: 741000 | #Constraints: 29119 1963.66/1970.21 c #Conflicts: 742000 | #Constraints: 30121 1963.66/1970.21 c #Conflicts: 743000 | #Constraints: 31124 1963.66/1970.21 c #Conflicts: 744000 | #Constraints: 32133 1963.66/1970.21 c #Conflicts: 745000 | #Constraints: 33136 1963.66/1970.21 c #Conflicts: 746000 | #Constraints: 34142 1963.66/1970.21 c #Conflicts: 747000 | #Constraints: 35148 1963.66/1970.21 c #Conflicts: 748000 | #Constraints: 36152 1963.66/1970.21 c #Conflicts: 749000 | #Constraints: 37155 1963.66/1970.21 c #Conflicts: 750000 | #Constraints: 38166 1963.66/1970.21 c #Conflicts: 751000 | #Constraints: 39171 1963.66/1970.21 c #Conflicts: 752000 | #Constraints: 40180 1963.66/1970.21 c #Conflicts: 753000 | #Constraints: 41185 1963.66/1970.21 c #Conflicts: 754000 | #Constraints: 42197 1963.66/1970.21 c #Conflicts: 755000 | #Constraints: 43204 1963.66/1970.21 c #Conflicts: 756000 | #Constraints: 44210 1963.66/1970.21 c INPROCESSING 1963.66/1970.21 c GARBAGE COLLECT 1963.66/1970.21 c rational objective 0 2041.10/2047.90 c #Conflicts: 757000 | #Constraints: 23068 2041.10/2047.90 c #Conflicts: 758000 | #Constraints: 24708 2041.10/2047.90 c #Conflicts: 759000 | #Constraints: 26334 2041.10/2047.90 c #Conflicts: 760000 | #Constraints: 27947 2041.10/2047.90 c #Conflicts: 761000 | #Constraints: 29542 2041.10/2047.90 c #Conflicts: 762000 | #Constraints: 31031 2041.10/2047.90 c #Conflicts: 763000 | #Constraints: 32665 2041.10/2047.90 c #Conflicts: 764000 | #Constraints: 34293 2041.10/2047.90 c #Conflicts: 765000 | #Constraints: 35903 2041.10/2047.90 c #Conflicts: 766000 | #Constraints: 37540 2041.10/2047.90 c #Conflicts: 767000 | #Constraints: 39205 2041.10/2047.90 c #Conflicts: 768000 | #Constraints: 40829 2041.10/2047.90 c #Conflicts: 769000 | #Constraints: 42240 2041.10/2047.90 c #Conflicts: 770000 | #Constraints: 43836 2041.10/2047.90 c #Conflicts: 771000 | #Constraints: 45459 2041.10/2047.90 c #Conflicts: 772000 | #Constraints: 47109 2041.10/2047.90 c #Conflicts: 773000 | #Constraints: 48765 2041.10/2047.90 c #Conflicts: 774000 | #Constraints: 50409 2041.10/2047.90 c INPROCESSING 2041.10/2047.90 c GARBAGE COLLECT 2041.10/2047.90 c rational objective 0 2154.15/2161.34 c #Conflicts: 775000 | #Constraints: 26514 2154.15/2161.34 c #Conflicts: 776000 | #Constraints: 27614 2154.15/2161.34 c #Conflicts: 777000 | #Constraints: 28804 2154.15/2161.34 c #Conflicts: 778000 | #Constraints: 29987 2154.15/2161.34 c #Conflicts: 779000 | #Constraints: 31078 2154.15/2161.34 c #Conflicts: 780000 | #Constraints: 32155 2154.15/2161.34 c #Conflicts: 781000 | #Constraints: 33230 2154.15/2161.34 c #Conflicts: 782000 | #Constraints: 34345 2154.15/2161.34 c #Conflicts: 783000 | #Constraints: 35749 2154.15/2161.34 c #Conflicts: 784000 | #Constraints: 36926 2154.15/2161.34 c #Conflicts: 785000 | #Constraints: 38161 2154.15/2161.34 c #Conflicts: 786000 | #Constraints: 39469 2154.15/2161.34 c #Conflicts: 787000 | #Constraints: 40700 2154.15/2161.34 c #Conflicts: 788000 | #Constraints: 41718 2154.15/2161.34 c #Conflicts: 789000 | #Constraints: 42944 2154.15/2161.34 c #Conflicts: 790000 | #Constraints: 44289 2154.15/2161.34 c #Conflicts: 791000 | #Constraints: 45486 2154.15/2161.34 c #Conflicts: 792000 | #Constraints: 46715 2154.15/2161.34 c INPROCESSING 2154.15/2161.34 c GARBAGE COLLECT 2154.15/2161.34 c rational objective 0 2210.37/2217.74 c #Conflicts: 793000 | #Constraints: 24382 2210.37/2217.74 c #Conflicts: 794000 | #Constraints: 25385 2210.37/2217.74 c #Conflicts: 795000 | #Constraints: 26388 2210.37/2217.74 c #Conflicts: 796000 | #Constraints: 27392 2210.37/2217.74 c #Conflicts: 797000 | #Constraints: 28396 2210.37/2217.74 c #Conflicts: 798000 | #Constraints: 29404 2210.37/2217.74 c #Conflicts: 799000 | #Constraints: 30406 2210.37/2217.74 c #Conflicts: 800000 | #Constraints: 31412 2210.37/2217.74 c #Conflicts: 801000 | #Constraints: 32413 2210.37/2217.74 c #Conflicts: 802000 | #Constraints: 33415 2210.37/2217.74 c #Conflicts: 803000 | #Constraints: 34419 2210.37/2217.74 c #Conflicts: 804000 | #Constraints: 35420 2210.37/2217.74 c #Conflicts: 805000 | #Constraints: 36425 2210.37/2217.74 c #Conflicts: 806000 | #Constraints: 37430 2210.37/2217.74 c #Conflicts: 807000 | #Constraints: 38432 2210.37/2217.74 c #Conflicts: 808000 | #Constraints: 39434 2210.37/2217.74 c #Conflicts: 809000 | #Constraints: 40439 2210.37/2217.74 c #Conflicts: 810000 | #Constraints: 41443 2210.37/2217.74 c INPROCESSING 2210.37/2217.74 c GARBAGE COLLECT 2210.37/2217.74 c rational objective 0 2340.56/2348.31 c #Conflicts: 811000 | #Constraints: 22366 2340.56/2348.31 c #Conflicts: 812000 | #Constraints: 23981 2340.56/2348.31 c #Conflicts: 813000 | #Constraints: 25638 2340.56/2348.31 c #Conflicts: 814000 | #Constraints: 27305 2340.56/2348.31 c #Conflicts: 815000 | #Constraints: 29009 2340.56/2348.31 c #Conflicts: 816000 | #Constraints: 30660 2340.56/2348.31 c #Conflicts: 817000 | #Constraints: 32292 2340.56/2348.31 c #Conflicts: 818000 | #Constraints: 33951 2340.56/2348.31 c #Conflicts: 819000 | #Constraints: 35589 2340.56/2348.31 c #Conflicts: 820000 | #Constraints: 37245 2340.56/2348.31 c #Conflicts: 821000 | #Constraints: 38917 2340.56/2348.31 c #Conflicts: 822000 | #Constraints: 40578 2340.56/2348.31 c #Conflicts: 823000 | #Constraints: 42192 2340.56/2348.31 c #Conflicts: 824000 | #Constraints: 43867 2340.56/2348.31 c #Conflicts: 825000 | #Constraints: 45576 2340.56/2348.31 c #Conflicts: 826000 | #Constraints: 47274 2340.56/2348.31 c #Conflicts: 827000 | #Constraints: 48890 2340.56/2348.31 c #Conflicts: 828000 | #Constraints: 50493 2340.56/2348.31 c INPROCESSING 2340.56/2348.31 c GARBAGE COLLECT 2340.56/2348.31 c rational objective 0 2416.91/2424.94 c #Conflicts: 829000 | #Constraints: 26542 2416.91/2424.94 c #Conflicts: 830000 | #Constraints: 27701 2416.91/2424.94 c #Conflicts: 831000 | #Constraints: 28852 2416.91/2424.94 c #Conflicts: 832000 | #Constraints: 30444 2416.91/2424.94 c #Conflicts: 833000 | #Constraints: 31951 2416.91/2424.94 c #Conflicts: 834000 | #Constraints: 33349 2416.91/2424.94 c #Conflicts: 835000 | #Constraints: 34401 2416.91/2424.94 c #Conflicts: 836000 | #Constraints: 35437 2416.91/2424.94 c #Conflicts: 837000 | #Constraints: 36769 2416.91/2424.94 c #Conflicts: 838000 | #Constraints: 38330 2416.91/2424.94 c #Conflicts: 839000 | #Constraints: 39471 2416.91/2424.94 c #Conflicts: 840000 | #Constraints: 40948 2416.91/2424.94 c #Conflicts: 841000 | #Constraints: 42418 2416.91/2424.94 c #Conflicts: 842000 | #Constraints: 43536 2416.91/2424.94 c #Conflicts: 843000 | #Constraints: 44718 2416.91/2424.94 c #Conflicts: 844000 | #Constraints: 45723 2416.91/2424.94 c #Conflicts: 845000 | #Constraints: 47389 2416.91/2424.94 c #Conflicts: 846000 | #Constraints: 48669 2416.91/2424.94 c INPROCESSING 2416.91/2424.94 c GARBAGE COLLECT 2416.91/2424.94 c rational objective 0 2488.38/2496.68 c #Conflicts: 847000 | #Constraints: 25435 2488.38/2496.68 c #Conflicts: 848000 | #Constraints: 26671 2488.38/2496.68 c #Conflicts: 849000 | #Constraints: 27989 2488.38/2496.68 c #Conflicts: 850000 | #Constraints: 29467 2488.38/2496.68 c #Conflicts: 851000 | #Constraints: 30490 2488.38/2496.68 c #Conflicts: 852000 | #Constraints: 31653 2488.38/2496.68 c #Conflicts: 853000 | #Constraints: 33133 2488.38/2496.68 c #Conflicts: 854000 | #Constraints: 34738 2488.38/2496.68 c #Conflicts: 855000 | #Constraints: 35770 2488.38/2496.68 c #Conflicts: 856000 | #Constraints: 36919 2488.38/2496.68 c #Conflicts: 857000 | #Constraints: 38129 2488.38/2496.68 c #Conflicts: 858000 | #Constraints: 39334 2488.38/2496.68 c #Conflicts: 859000 | #Constraints: 40337 2488.38/2496.68 c #Conflicts: 860000 | #Constraints: 41463 2488.38/2496.68 c #Conflicts: 861000 | #Constraints: 42757 2488.38/2496.68 c #Conflicts: 862000 | #Constraints: 44066 2488.38/2496.68 c #Conflicts: 863000 | #Constraints: 45316 2488.38/2496.68 c #Conflicts: 864000 | #Constraints: 46661 2488.38/2496.68 c #Conflicts: 865000 | #Constraints: 47661 2488.38/2496.68 c INPROCESSING 2488.38/2496.68 c GARBAGE COLLECT 2488.38/2496.68 c rational objective 0 2606.32/2614.90 c #Conflicts: 866000 | #Constraints: 24930 2606.32/2614.90 c #Conflicts: 867000 | #Constraints: 26192 2606.32/2614.90 c #Conflicts: 868000 | #Constraints: 27193 2606.32/2614.90 c #Conflicts: 869000 | #Constraints: 28194 2606.32/2614.90 c #Conflicts: 870000 | #Constraints: 29229 2606.32/2614.90 c #Conflicts: 871000 | #Constraints: 30274 2606.32/2614.90 c #Conflicts: 872000 | #Constraints: 31937 2606.32/2614.90 c #Conflicts: 873000 | #Constraints: 33525 2606.32/2614.90 c #Conflicts: 874000 | #Constraints: 34612 2606.32/2614.90 c #Conflicts: 875000 | #Constraints: 35612 2606.32/2614.90 c #Conflicts: 876000 | #Constraints: 36612 2606.32/2614.90 c #Conflicts: 877000 | #Constraints: 37613 2606.32/2614.90 c #Conflicts: 878000 | #Constraints: 38614 2606.32/2614.90 c #Conflicts: 879000 | #Constraints: 39901 2606.32/2614.90 c #Conflicts: 880000 | #Constraints: 40901 2606.32/2614.90 c #Conflicts: 881000 | #Constraints: 42034 2606.32/2614.90 c #Conflicts: 882000 | #Constraints: 43062 2606.32/2614.90 c #Conflicts: 883000 | #Constraints: 44065 2606.32/2614.90 c #Conflicts: 884000 | #Constraints: 45250 2606.32/2614.90 c INPROCESSING 2606.32/2614.90 c GARBAGE COLLECT 2606.32/2614.90 c rational objective 0 2703.51/2712.49 c #Conflicts: 885000 | #Constraints: 24241 2703.51/2712.49 c #Conflicts: 886000 | #Constraints: 25879 2703.51/2712.49 c #Conflicts: 887000 | #Constraints: 27526 2703.51/2712.49 c #Conflicts: 888000 | #Constraints: 29143 2703.51/2712.49 c #Conflicts: 889000 | #Constraints: 30760 2703.51/2712.49 c #Conflicts: 890000 | #Constraints: 32413 2703.51/2712.49 c #Conflicts: 891000 | #Constraints: 34044 2703.51/2712.49 c #Conflicts: 892000 | #Constraints: 35678 2703.51/2712.49 c #Conflicts: 893000 | #Constraints: 37336 2703.51/2712.49 c #Conflicts: 894000 | #Constraints: 38980 2703.51/2712.49 c #Conflicts: 895000 | #Constraints: 40603 2703.51/2712.49 c #Conflicts: 896000 | #Constraints: 42228 2703.51/2712.49 c #Conflicts: 897000 | #Constraints: 43847 2703.51/2712.49 c #Conflicts: 898000 | #Constraints: 45481 2703.51/2712.49 c #Conflicts: 899000 | #Constraints: 47097 2703.51/2712.49 c #Conflicts: 900000 | #Constraints: 48742 2703.51/2712.49 c #Conflicts: 901000 | #Constraints: 50384 2703.51/2712.49 c #Conflicts: 902000 | #Constraints: 52033 2703.51/2712.49 c #Conflicts: 903000 | #Constraints: 53649 2703.51/2712.49 c INPROCESSING 2703.51/2712.49 c GARBAGE COLLECT 2703.51/2712.49 c rational objective 0 2822.14/2831.41 c #Conflicts: 904000 | #Constraints: 27847 2822.14/2831.41 c #Conflicts: 905000 | #Constraints: 28851 2822.14/2831.41 c #Conflicts: 906000 | #Constraints: 29855 2822.14/2831.41 c #Conflicts: 907000 | #Constraints: 30858 2822.14/2831.41 c #Conflicts: 908000 | #Constraints: 31860 2822.14/2831.41 c #Conflicts: 909000 | #Constraints: 32868 2822.14/2831.41 c #Conflicts: 910000 | #Constraints: 33868 2822.14/2831.41 c #Conflicts: 911000 | #Constraints: 34870 2822.14/2831.41 c #Conflicts: 912000 | #Constraints: 35872 2822.14/2831.41 c #Conflicts: 913000 | #Constraints: 36872 2822.14/2831.41 c #Conflicts: 914000 | #Constraints: 37873 2822.14/2831.41 c #Conflicts: 915000 | #Constraints: 38874 2822.14/2831.41 c #Conflicts: 916000 | #Constraints: 39875 2822.14/2831.41 c #Conflicts: 917000 | #Constraints: 40877 2822.14/2831.41 c #Conflicts: 918000 | #Constraints: 41880 2822.14/2831.41 c #Conflicts: 919000 | #Constraints: 42881 2822.14/2831.41 c #Conflicts: 920000 | #Constraints: 43883 2822.14/2831.41 c #Conflicts: 921000 | #Constraints: 44884 2822.14/2831.41 c #Conflicts: 922000 | #Constraints: 45885 2822.14/2831.41 c INPROCESSING 2822.14/2831.41 c GARBAGE COLLECT 2822.14/2831.41 c rational objective 0 2901.99/2911.54 c #Conflicts: 923000 | #Constraints: 23869 2901.99/2911.54 c #Conflicts: 924000 | #Constraints: 24985 2901.99/2911.54 c #Conflicts: 925000 | #Constraints: 26218 2901.99/2911.54 c #Conflicts: 926000 | #Constraints: 27220 2901.99/2911.54 c #Conflicts: 927000 | #Constraints: 28223 2901.99/2911.54 c #Conflicts: 928000 | #Constraints: 29275 2901.99/2911.54 c #Conflicts: 929000 | #Constraints: 30526 2901.99/2911.54 c #Conflicts: 930000 | #Constraints: 31526 2901.99/2911.54 c #Conflicts: 931000 | #Constraints: 32831 2901.99/2911.54 c #Conflicts: 932000 | #Constraints: 34284 2901.99/2911.54 c #Conflicts: 933000 | #Constraints: 35325 2901.99/2911.54 c #Conflicts: 934000 | #Constraints: 36615 2901.99/2911.54 c #Conflicts: 935000 | #Constraints: 37865 2901.99/2911.54 c #Conflicts: 936000 | #Constraints: 38865 2901.99/2911.54 c #Conflicts: 937000 | #Constraints: 39865 2901.99/2911.54 c #Conflicts: 938000 | #Constraints: 40867 2901.99/2911.54 c #Conflicts: 939000 | #Constraints: 41867 2901.99/2911.54 c #Conflicts: 940000 | #Constraints: 42969 2901.99/2911.54 c #Conflicts: 941000 | #Constraints: 43972 2901.99/2911.54 c INPROCESSING 2901.99/2911.54 c GARBAGE COLLECT 2901.99/2911.54 c rational objective 0 2975.26/2985.10 c #Conflicts: 942000 | #Constraints: 22711 2975.26/2985.10 c #Conflicts: 943000 | #Constraints: 23715 2975.26/2985.10 c #Conflicts: 944000 | #Constraints: 24717 2975.26/2985.10 c #Conflicts: 945000 | #Constraints: 25717 2975.26/2985.10 c #Conflicts: 946000 | #Constraints: 26718 2975.26/2985.10 c #Conflicts: 947000 | #Constraints: 27719 2975.26/2985.10 c #Conflicts: 948000 | #Constraints: 28721 2975.26/2985.10 c #Conflicts: 949000 | #Constraints: 29722 2975.26/2985.10 c #Conflicts: 950000 | #Constraints: 30722 2975.26/2985.10 c #Conflicts: 951000 | #Constraints: 31724 2975.26/2985.10 c #Conflicts: 952000 | #Constraints: 32725 2975.26/2985.10 c #Conflicts: 953000 | #Constraints: 33726 2975.26/2985.10 c #Conflicts: 954000 | #Constraints: 34727 2975.26/2985.10 c #Conflicts: 955000 | #Constraints: 35728 2975.26/2985.10 c #Conflicts: 956000 | #Constraints: 36729 2975.26/2985.10 c #Conflicts: 957000 | #Constraints: 37730 2975.26/2985.10 c #Conflicts: 958000 | #Constraints: 38731 2975.26/2985.10 c #Conflicts: 959000 | #Constraints: 39731 2975.26/2985.10 c #Conflicts: 960000 | #Constraints: 40732 2975.26/2985.10 c #Conflicts: 961000 | #Constraints: 41734 2975.26/2985.10 c INPROCESSING 2975.26/2985.10 c GARBAGE COLLECT 2975.26/2985.10 c rational objective 0 3115.92/3126.11 c #Conflicts: 962000 | #Constraints: 22258 3115.92/3126.11 c #Conflicts: 963000 | #Constraints: 23875 3115.92/3126.11 c #Conflicts: 964000 | #Constraints: 25552 3115.92/3126.11 c #Conflicts: 965000 | #Constraints: 27230 3115.92/3126.11 c #Conflicts: 966000 | #Constraints: 28903 3115.92/3126.11 c #Conflicts: 967000 | #Constraints: 30602 3115.92/3126.11 c #Conflicts: 968000 | #Constraints: 32295 3115.92/3126.11 c #Conflicts: 969000 | #Constraints: 33937 3115.92/3126.11 c #Conflicts: 970000 | #Constraints: 35591 3115.92/3126.11 c #Conflicts: 971000 | #Constraints: 37283 3115.92/3126.11 c #Conflicts: 972000 | #Constraints: 38934 3115.92/3126.11 c #Conflicts: 973000 | #Constraints: 40550 3115.92/3126.11 c #Conflicts: 974000 | #Constraints: 42164 3115.92/3126.11 c #Conflicts: 975000 | #Constraints: 43876 3115.92/3126.11 c #Conflicts: 976000 | #Constraints: 45561 3115.92/3126.11 c #Conflicts: 977000 | #Constraints: 47262 3115.92/3126.11 c #Conflicts: 978000 | #Constraints: 48935 3115.92/3126.11 c #Conflicts: 979000 | #Constraints: 50639 3115.92/3126.11 c #Conflicts: 980000 | #Constraints: 52350 3115.92/3126.11 c #Conflicts: 981000 | #Constraints: 54064 3115.92/3126.11 c INPROCESSING 3115.92/3126.11 c GARBAGE COLLECT 3115.92/3126.11 c rational objective 0 3201.23/3211.76 c #Conflicts: 982000 | #Constraints: 28377 3201.23/3211.76 c #Conflicts: 983000 | #Constraints: 29576 3201.23/3211.76 c #Conflicts: 984000 | #Constraints: 30831 3201.23/3211.76 c #Conflicts: 985000 | #Constraints: 31900 3201.23/3211.76 c #Conflicts: 986000 | #Constraints: 33274 3201.23/3211.76 c #Conflicts: 987000 | #Constraints: 34444 3201.23/3211.76 c #Conflicts: 988000 | #Constraints: 35570 3201.23/3211.76 c #Conflicts: 989000 | #Constraints: 36627 3201.23/3211.76 c #Conflicts: 990000 | #Constraints: 37669 3201.23/3211.76 c #Conflicts: 991000 | #Constraints: 38851 3201.23/3211.76 c #Conflicts: 992000 | #Constraints: 39872 3201.23/3211.76 c #Conflicts: 993000 | #Constraints: 40874 3201.23/3211.76 c #Conflicts: 994000 | #Constraints: 41965 3201.23/3211.76 c #Conflicts: 995000 | #Constraints: 43065 3201.23/3211.76 c #Conflicts: 996000 | #Constraints: 44469 3201.23/3211.76 c #Conflicts: 997000 | #Constraints: 45530 3201.23/3211.76 c #Conflicts: 998000 | #Constraints: 46571 3201.23/3211.76 c #Conflicts: 999000 | #Constraints: 47661 3201.23/3211.76 c #Conflicts: 1000000 | #Constraints: 48947 3201.23/3211.76 c #Conflicts: 1001000 | #Constraints: 50034 3201.23/3211.76 c INPROCESSING 3201.23/3211.76 c GARBAGE COLLECT 3201.23/3211.76 c rational objective 0 3370.50/3381.51 c #Conflicts: 1002000 | #Constraints: 26041 3370.50/3381.51 c #Conflicts: 1003000 | #Constraints: 27044 3370.50/3381.51 c #Conflicts: 1004000 | #Constraints: 28687 3370.50/3381.51 c #Conflicts: 1005000 | #Constraints: 30348 3370.50/3381.51 c #Conflicts: 1006000 | #Constraints: 32002 3370.50/3381.51 c #Conflicts: 1007000 | #Constraints: 33679 3370.50/3381.51 c #Conflicts: 1008000 | #Constraints: 35305 3370.50/3381.51 c #Conflicts: 1009000 | #Constraints: 36977 3370.50/3381.51 c #Conflicts: 1010000 | #Constraints: 38023 3370.50/3381.51 c #Conflicts: 1011000 | #Constraints: 39386 3370.50/3381.51 c #Conflicts: 1012000 | #Constraints: 41135 3370.50/3381.51 c #Conflicts: 1013000 | #Constraints: 42829 3370.50/3381.51 c #Conflicts: 1014000 | #Constraints: 44558 3370.50/3381.51 c #Conflicts: 1015000 | #Constraints: 46321 3370.50/3381.51 c #Conflicts: 1016000 | #Constraints: 47994 3370.50/3381.51 c #Conflicts: 1017000 | #Constraints: 49662 3370.50/3381.51 c #Conflicts: 1018000 | #Constraints: 50706 3370.50/3381.51 c #Conflicts: 1019000 | #Constraints: 52233 3370.50/3381.51 c #Conflicts: 1020000 | #Constraints: 53908 3370.50/3381.51 c #Conflicts: 1021000 | #Constraints: 55624 3370.50/3381.51 c INPROCESSING 3370.50/3381.51 c GARBAGE COLLECT 3370.50/3381.51 c rational objective 0 3531.38/3542.94 c #Conflicts: 1022000 | #Constraints: 29366 3531.38/3542.94 c #Conflicts: 1023000 | #Constraints: 31081 3531.38/3542.94 c #Conflicts: 1024000 | #Constraints: 32775 3531.38/3542.94 c #Conflicts: 1025000 | #Constraints: 34408 3531.38/3542.94 c #Conflicts: 1026000 | #Constraints: 36017 3531.38/3542.94 c #Conflicts: 1027000 | #Constraints: 37691 3531.38/3542.94 c #Conflicts: 1028000 | #Constraints: 39368 3531.38/3542.94 c #Conflicts: 1029000 | #Constraints: 41058 3531.38/3542.94 c #Conflicts: 1030000 | #Constraints: 42735 3531.38/3542.94 c #Conflicts: 1031000 | #Constraints: 43869 3531.38/3542.94 c #Conflicts: 1032000 | #Constraints: 45330 3531.38/3542.94 c #Conflicts: 1033000 | #Constraints: 47029 3531.38/3542.94 c #Conflicts: 1034000 | #Constraints: 48675 3531.38/3542.94 c #Conflicts: 1035000 | #Constraints: 50346 3531.38/3542.94 c #Conflicts: 1036000 | #Constraints: 52053 3531.38/3542.94 c #Conflicts: 1037000 | #Constraints: 53752 3531.38/3542.94 c #Conflicts: 1038000 | #Constraints: 55458 3531.38/3542.94 c #Conflicts: 1039000 | #Constraints: 57117 3531.38/3542.94 c #Conflicts: 1040000 | #Constraints: 58819 3531.38/3542.94 c #Conflicts: 1041000 | #Constraints: 60483 3531.38/3542.94 c INPROCESSING 3531.38/3542.94 c GARBAGE COLLECT 3531.38/3542.94 c rational objective 0 3600.06/3611.80 c 3600.06/3611.80 s SATISFIABLE 3600.06/3611.80 v x1 ~x2 ~x3 ~x4 ~x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 ~x42 ~x43 ~x44 ~x45 ~x46 ~x47 ~x48 x49 x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 x89 x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 x105 x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 x121 ~x122 ~x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 x130 ~x131 x132 ~x133 x134 x135 ~x136 ~x137 x138 ~x139 x140 x141 x142 x143 ~x144 ~x145 ~x146 ~x147 x148 x149 x150 ~x151 ~x152 ~x153 ~x154 x155 x156 ~x157 ~x158 x159 ~x160 ~x161 ~x162 x163 x164 x165 ~x166 ~x167 x168 x169 ~x170 ~x171 x172 x173 ~x174 x175 x176 x177 x178 ~x179 x180 x181 x182 ~x183 x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 x191 ~x192 ~x193 ~x194 x195 x196 x197 x198 3600.06/3611.80 c #Conflicts: 1042000 | #Constraints: 31414 3600.06/3611.80 c #Conflicts: 1043000 | #Constraints: 33109 3600.06/3611.80 c #Conflicts: 1044000 | #Constraints: 34790 3600.06/3611.80 c #Conflicts: 1045000 | #Constraints: 36473 3600.06/3611.80 c #Conflicts: 1046000 | #Constraints: 38142 3600.06/3611.80 c #Conflicts: 1047000 | #Constraints: 39836 3600.06/3611.80 c #Conflicts: 1048000 | #Constraints: 41532 3600.06/3611.80 c #Conflicts: 1049000 | #Constraints: 43234
OK 16
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62319 MiB free)
memory of node 1: 64510 MiB (60693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429460-1721048711/watcher-4429460-1721048711 -o /tmp/evaluation-result-4429460-1721048711/solver-4429460-1721048711 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721048723-811589 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429460-1721048711.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=811636, runsolver pid=811631
[startup+0.101056 s]*
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125957628/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=37976 memory=9164 CPUtime=0.09 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 672 0 0 0 8 1 0 0 20 0 1 0 157032923 38887424 2291 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 9494 2291 1850 922 0 1446 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37976 KiB
Current children cumulated memory: 9164 KiB
[startup+0.205739 s]*
/proc/loadavg: 3.06 3.88 4.01 5/255 811652
/proc/meminfo: memFree=125954952/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=38372 memory=10220 CPUtime=0.19 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 905 0 0 0 18 1 0 0 20 0 1 0 157032923 39292928 2555 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 9593 2555 1850 922 0 1545 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38372 KiB
Current children cumulated memory: 10220 KiB
[startup+0.304855 s]*
/proc/loadavg: 3.06 3.88 4.01 5/255 811652
/proc/meminfo: memFree=125951044/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=38504 memory=12792 CPUtime=0.29 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 1030 0 0 0 27 2 0 0 20 0 1 0 157032923 39428096 3198 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 9626 3198 1850 922 0 1578 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38504 KiB
Current children cumulated memory: 12792 KiB
[startup+0.700118 s]
/proc/loadavg: 3.06 3.88 4.01 5/255 811652
/proc/meminfo: memFree=125949232/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=39744 memory=13848 CPUtime=0.68 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 1333 0 0 0 64 4 0 0 20 0 1 0 157032923 40697856 3462 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 9936 3462 1850 922 0 1888 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39744 KiB
Current children cumulated memory: 13848 KiB
[startup+1.50012 s]
/proc/loadavg: 3.06 3.88 4.01 5/255 811652
/proc/meminfo: memFree=125944420/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=40404 memory=14616 CPUtime=1.48 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 1477 0 0 0 141 7 0 0 20 0 1 0 157032923 41373696 3654 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 10101 3654 1850 922 0 2053 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40404 KiB
Current children cumulated memory: 14616 KiB
[startup+3.10522 s]
/proc/loadavg: 3.06 3.88 4.01 5/255 811652
/proc/meminfo: memFree=125937088/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=41636 memory=16216 CPUtime=3.08 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 1878 0 0 0 298 10 0 0 20 0 1 0 157032923 42635264 4054 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 10409 4054 1850 922 0 2361 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41636 KiB
Current children cumulated memory: 16216 KiB
[startup+6.30014 s]
/proc/loadavg: 3.14 3.88 4.01 5/255 811652
/proc/meminfo: memFree=125929776/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=46280 memory=20908 CPUtime=6.27 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 2447 0 0 0 610 17 0 0 20 0 1 0 157032923 47390720 5227 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 11570 5227 1952 922 0 3522 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46280 KiB
Current children cumulated memory: 20908 KiB
[startup+12.7001 s]
/proc/loadavg: 3.21 3.88 4.01 5/255 811654
/proc/meminfo: memFree=125924300/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=46824 memory=21320 CPUtime=12.65 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 2551 0 0 0 1235 30 0 0 20 0 1 0 157032923 47947776 5330 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 11706 5330 1952 922 0 3658 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 21320 KiB
[startup+25.5002 s]
/proc/loadavg: 3.38 3.89 4.01 5/254 811793
/proc/meminfo: memFree=125889556/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=53324 memory=24052 CPUtime=25.41 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 3260 0 0 0 2494 47 0 0 20 0 1 0 157032923 54603776 6013 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 13331 6013 1952 922 0 5283 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 53324 KiB
Current children cumulated memory: 24052 KiB
[startup+51.106 s]
/proc/loadavg: 3.71 3.93 4.02 5/254 811798
/proc/meminfo: memFree=125870540/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=57548 memory=29928 CPUtime=50.94 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 4232 0 0 0 5015 79 0 0 20 0 1 0 157032923 58929152 7482 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 14387 7482 1952 922 0 6339 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 57548 KiB
Current children cumulated memory: 29928 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 3.96 4.02 5/254 811806
/proc/meminfo: memFree=125831720/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=67480 memory=36528 CPUtime=101.97 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 5360 0 0 0 10065 132 0 0 20 0 1 0 157032923 69099520 9132 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 16870 9132 1952 922 0 8822 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 67480 KiB
Current children cumulated memory: 36528 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.02 4.03 6/255 811818
/proc/meminfo: memFree=125810516/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=69216 memory=40360 CPUtime=161.76 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 5823 0 0 0 15998 178 0 0 20 0 1 0 157032923 70877184 10090 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 17304 10090 1952 922 0 9256 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 69216 KiB
Current children cumulated memory: 40360 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.03 4.03 5/255 811828
/proc/meminfo: memFree=125788112/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=69984 memory=41500 CPUtime=221.56 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 6130 0 0 0 21943 213 0 0 20 0 1 0 157032923 71663616 10375 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 17496 10375 1952 922 0 9448 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 69984 KiB
Current children cumulated memory: 41500 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.04 4.03 5/255 811838
/proc/meminfo: memFree=125773276/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=70128 memory=44832 CPUtime=281.35 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 6281 0 0 0 27886 249 0 0 20 0 1 0 157032923 71811072 11208 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 17532 11208 1952 922 0 9484 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 70128 KiB
Current children cumulated memory: 44832 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.06 4.04 5/258 811854
/proc/meminfo: memFree=125757476/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=75456 memory=47740 CPUtime=341.13 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 7087 0 0 0 33826 287 0 0 20 0 1 0 157032923 77266944 11935 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 18864 11935 1952 922 0 10816 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 75456 KiB
Current children cumulated memory: 47740 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.06 4.04 5/258 811864
/proc/meminfo: memFree=125736104/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=94396 memory=65808 CPUtime=400.92 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 9095 0 0 0 39775 317 0 0 20 0 1 0 157032923 96661504 16452 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 23599 16452 1952 922 0 15551 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 94396 KiB
Current children cumulated memory: 65808 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.11 4.06 5/258 811875
/proc/meminfo: memFree=125727780/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=98000 memory=68856 CPUtime=460.68 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 9971 0 0 0 45727 341 0 0 20 0 1 0 157032923 100352000 17214 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 24500 17214 1952 922 0 16452 0
################
# More data... #
################
Current children cumulated memory: 121520 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 813035
/proc/meminfo: memFree=125550220/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=154572 memory=121520 CPUtime=2852.94 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 18627 0 0 0 284255 1039 0 0 20 0 1 0 157032923 158281728 30380 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38643 30380 1968 922 0 30595 0
Current children cumulated CPU time: 2852.94 s
Current children cumulated vsize: 154572 KiB
Current children cumulated memory: 121520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 813047
/proc/meminfo: memFree=125550052/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=154572 memory=121520 CPUtime=2912.75 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 18669 0 0 0 290220 1055 0 0 20 0 1 0 157032923 158281728 30380 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38643 30380 1968 922 0 30595 0
Current children cumulated CPU time: 2912.75 s
Current children cumulated vsize: 154572 KiB
Current children cumulated memory: 121520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 813057
/proc/meminfo: memFree=125547700/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=154572 memory=121520 CPUtime=2972.56 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 18721 0 0 0 296186 1070 0 0 20 0 1 0 157032923 158281728 30380 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38643 30380 1968 922 0 30595 0
Current children cumulated CPU time: 2972.56 s
Current children cumulated vsize: 154572 KiB
Current children cumulated memory: 121520 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 813451
/proc/meminfo: memFree=125547464/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=154572 memory=121520 CPUtime=3032.37 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 18767 0 0 0 302155 1082 0 0 20 0 1 0 157032923 158281728 30380 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38643 30380 1968 922 0 30595 0
Current children cumulated CPU time: 3032.37 s
Current children cumulated vsize: 154572 KiB
Current children cumulated memory: 121520 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 813461
/proc/meminfo: memFree=125542756/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=154572 memory=122372 CPUtime=3092.19 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 18864 0 0 0 308126 1093 0 0 20 0 1 0 157032923 158281728 30593 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38643 30593 1968 922 0 30595 0
Current children cumulated CPU time: 3092.19 s
Current children cumulated vsize: 154572 KiB
Current children cumulated memory: 122372 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 813472
/proc/meminfo: memFree=125543684/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=155084 memory=123624 CPUtime=3151.98 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 19019 0 0 0 314089 1109 0 0 20 0 1 0 157032923 158806016 30906 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38771 30906 1968 922 0 30723 0
Current children cumulated CPU time: 3151.98 s
Current children cumulated vsize: 155084 KiB
Current children cumulated memory: 123624 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 813652
/proc/meminfo: memFree=125543108/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=155084 memory=123656 CPUtime=3211.8 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 19065 0 0 0 320051 1129 0 0 20 0 1 0 157032923 158806016 30914 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38771 30914 1968 922 0 30723 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 155084 KiB
Current children cumulated memory: 123656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 813662
/proc/meminfo: memFree=125537936/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=155084 memory=123656 CPUtime=3271.61 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 19115 0 0 0 326021 1140 0 0 20 0 1 0 157032923 158806016 30914 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38771 30914 1968 922 0 30723 0
Current children cumulated CPU time: 3271.61 s
Current children cumulated vsize: 155084 KiB
Current children cumulated memory: 123656 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 813688
/proc/meminfo: memFree=125537432/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=155268 memory=123748 CPUtime=3331.42 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 19192 0 0 0 331993 1149 0 0 20 0 1 0 157032923 158994432 30937 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38817 30937 1968 922 0 30769 0
Current children cumulated CPU time: 3331.42 s
Current children cumulated vsize: 155268 KiB
Current children cumulated memory: 123748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 813698
/proc/meminfo: memFree=125536472/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=155852 memory=124300 CPUtime=3391.24 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 19377 0 0 0 337964 1160 0 0 20 0 1 0 157032923 159592448 31075 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38963 31075 1968 922 0 30915 0
Current children cumulated CPU time: 3391.24 s
Current children cumulated vsize: 155852 KiB
Current children cumulated memory: 124300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.18 4.11 5/258 813708
/proc/meminfo: memFree=125536132/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=155852 memory=124300 CPUtime=3451.05 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 19434 0 0 0 343935 1170 0 0 20 0 1 0 157032923 159592448 31075 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 38963 31075 1968 922 0 30915 0
Current children cumulated CPU time: 3451.05 s
Current children cumulated vsize: 155852 KiB
Current children cumulated memory: 124300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/256 813720
/proc/meminfo: memFree=125535696/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=156292 memory=128604 CPUtime=3510.85 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 19545 0 0 0 349907 1178 0 0 20 0 1 0 157032923 160043008 32151 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 39073 32151 1968 922 0 31025 0
Current children cumulated CPU time: 3510.85 s
Current children cumulated vsize: 156292 KiB
Current children cumulated memory: 128604 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.19 4.12 5/256 813730
/proc/meminfo: memFree=125525464/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=187112 memory=131456 CPUtime=3570.64 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 20273 0 0 0 355877 1187 0 0 20 0 1 0 157032923 191602688 32864 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 46778 32864 1968 922 0 38730 0
Current children cumulated CPU time: 3570.64 s
Current children cumulated vsize: 187112 KiB
Current children cumulated memory: 131456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.21 4.18 4.12 5/257 813830
/proc/meminfo: memFree=125502040/131524600 swapFree=131071996/131071996
[pid=811636] ppid=811631 vsize=187112 memory=131456 CPUtime=3600.06 cores=0,2
/proc/811636/stat : 811636 (roundingsat) R 811631 811636 811579 0 -1 4194304 20275 0 0 0 358814 1192 0 0 20 0 1 0 157032923 191602688 32864 134679101440 4194304 7968869 140727018358176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 32206848 140727018365886 140727018366050 140727018366050 140727018373065 0
/proc/811636/statm: 46778 32864 1968 922 0 38730 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 187112 KiB
Current children cumulated memory: 131456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.8 s]
# the end of solver process 811636 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3588.14 s, system=11.923 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3611.8
CPU time (s): 3600.06
CPU user time (s): 3588.14
CPU system time (s): 11.923
CPU usage (%): 99.675
Max. virtual memory (cumulated for all children) (KiB): 187680
Max. memory (cumulated for all children) (KiB): 131456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.14
system time used= 11.923
maximum resident set size= 131456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20283
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= 58
involuntary context switches= 25208
# summary of solver processes directly reported to runsolver:
# pid: 811636
# total CPU time (s): 3600.06
# total CPU user time (s): 3588.14
# total CPU system time (s): 11.923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42068 second user time and 17.8443 second system time
The end
Begin job on nodeC017 at 2024-07-15 15:05:23 IDJOB=4429460 IDBENCH=147586 IDSOLVER=3051 FILE ID=nodeC017/4429460-1721048711 RUNJOBID= nodeC017-1721048723-811589 SLURM_JOB_ID= 7505469 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_8_70_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-4429460-1721048711/watcher-4429460-1721048711 -o /tmp/evaluation-result-4429460-1721048711/solver-4429460-1721048711 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721048723-811589 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429460-1721048711.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6 RANDOM SEED=1312118502 nodeC017.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 : 3590.366 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.46 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 : 3491.384 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3576.602 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.46 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 : 3562.022 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3482.934 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.46 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 : 3274.113 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3607.854 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.46 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 : 3604.726 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125968452 kB MemAvailable: 129723788 kB Buffers: 367092 kB Cached: 4187772 kB SwapCached: 0 kB Active: 711936 kB Inactive: 4173940 kB Active(anon): 1444 kB Inactive(anon): 367604 kB Active(file): 710492 kB Inactive(file): 3806336 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20904 kB Writeback: 0 kB AnonPages: 331372 kB Mapped: 103128 kB Shmem: 37720 kB KReclaimable: 156312 kB Slab: 267808 kB SReclaimable: 156312 kB SUnreclaim: 111496 kB KernelStack: 3856 kB PageTables: 9752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 764848 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59744 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 211668 kB DirectMap2M: 24727552 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 889972 MiB End job on nodeC017 at 2024-07-15 16:05:35