| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 16 | 3600.04 | 3608.9 |
| 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 - >= 0 @ 0.00047 0.00/0.00 c rational objective 0 0.20/0.30 c bounds 391 >= 0 @ 0.012607 0.20/0.30 c bounds 304 >= 0 @ 0.012897 0.20/0.30 c bounds 171 >= 0 @ 0.014695 0.20/0.30 c #Conflicts: 1000 | #Constraints: 1038 0.20/0.30 c #Conflicts: 2000 | #Constraints: 2047 0.20/0.30 c INPROCESSING 0.20/0.30 c GARBAGE COLLECT 0.20/0.30 c rational objective 0 0.79/0.84 c bounds 169 >= 0 @ 0.282078 0.79/0.84 c bounds 155 >= 0 @ 0.284005 0.79/0.84 c bounds 151 >= 0 @ 0.286728 0.79/0.84 c bounds 147 >= 0 @ 0.287956 0.79/0.84 c bounds 131 >= 0 @ 0.288961 0.79/0.84 c bounds 129 >= 0 @ 0.290605 0.79/0.84 c bounds 121 >= 0 @ 0.292468 0.79/0.84 c bounds 113 >= 0 @ 0.295625 0.79/0.84 c bounds 111 >= 0 @ 0.297112 0.79/0.84 c bounds 95 >= 0 @ 0.298142 0.79/0.84 c bounds 91 >= 0 @ 0.298788 0.79/0.84 c bounds 83 >= 0 @ 0.299564 0.79/0.84 c bounds 76 >= 0 @ 0.310586 0.79/0.84 c bounds 72 >= 0 @ 0.312078 0.79/0.84 c #Conflicts: 3000 | #Constraints: 2069 0.79/0.84 c #Conflicts: 4000 | #Constraints: 3081 0.79/0.84 c INPROCESSING 0.79/0.84 c GARBAGE COLLECT 0.79/0.84 c rational objective 0 1.38/1.42 c #Conflicts: 5000 | #Constraints: 2471 1.38/1.42 c #Conflicts: 6000 | #Constraints: 3482 1.38/1.42 c INPROCESSING 1.38/1.42 c GARBAGE COLLECT 1.38/1.42 c rational objective 0 2.28/2.30 c #Conflicts: 7000 | #Constraints: 2472 2.28/2.30 c #Conflicts: 8000 | #Constraints: 3479 2.28/2.30 c #Conflicts: 9000 | #Constraints: 4489 2.28/2.30 c INPROCESSING 2.28/2.30 c GARBAGE COLLECT 2.28/2.30 c rational objective 0 2.99/3.07 c #Conflicts: 10000 | #Constraints: 3186 2.99/3.07 c #Conflicts: 11000 | #Constraints: 4199 2.99/3.07 c #Conflicts: 12000 | #Constraints: 5212 2.99/3.07 c INPROCESSING 2.99/3.07 c GARBAGE COLLECT 2.99/3.07 c rational objective 0 4.28/4.37 c #Conflicts: 13000 | #Constraints: 3977 4.28/4.37 c #Conflicts: 14000 | #Constraints: 5237 4.28/4.37 c #Conflicts: 15000 | #Constraints: 6604 4.28/4.37 c INPROCESSING 4.28/4.37 c GARBAGE COLLECT 4.28/4.37 c rational objective 0 5.77/5.89 c #Conflicts: 16000 | #Constraints: 4509 5.77/5.89 c bounds 70 >= 0 @ 4.79202 5.77/5.89 c bounds 68 >= 0 @ 4.79428 5.77/5.89 c bounds 66 >= 0 @ 4.79738 5.77/5.89 c #Conflicts: 17000 | #Constraints: 5521 5.77/5.89 c bounds 65 >= 0 @ 5.53039 5.77/5.89 c #Conflicts: 18000 | #Constraints: 6532 5.77/5.89 c INPROCESSING 5.77/5.89 c GARBAGE COLLECT 5.77/5.89 c rational objective 0 7.17/7.21 c bounds 61 >= 0 @ 5.72536 7.17/7.21 c #Conflicts: 19000 | #Constraints: 4194 7.17/7.21 c #Conflicts: 20000 | #Constraints: 5202 7.17/7.21 c bounds 60 >= 0 @ 6.74337 7.17/7.21 c #Conflicts: 21000 | #Constraints: 6214 7.17/7.21 c INPROCESSING 7.17/7.21 c GARBAGE COLLECT 7.17/7.21 c rational objective 0 8.46/8.52 c #Conflicts: 22000 | #Constraints: 3808 8.46/8.52 c #Conflicts: 23000 | #Constraints: 4820 8.46/8.52 c #Conflicts: 24000 | #Constraints: 5828 8.46/8.52 c #Conflicts: 25000 | #Constraints: 6838 8.46/8.52 c INPROCESSING 8.46/8.52 c GARBAGE COLLECT 8.46/8.52 c rational objective 0 10.16/10.28 c bounds 58 >= 0 @ 8.45879 10.16/10.28 c bounds 56 >= 0 @ 8.48234 10.16/10.28 c bounds 50 >= 0 @ 8.4846 10.16/10.28 c #Conflicts: 26000 | #Constraints: 4345 10.16/10.28 c #Conflicts: 27000 | #Constraints: 5354 10.16/10.28 c #Conflicts: 28000 | #Constraints: 6360 10.16/10.28 c #Conflicts: 29000 | #Constraints: 7372 10.16/10.28 c INPROCESSING 10.16/10.28 c GARBAGE COLLECT 10.16/10.28 c rational objective 0 11.86/11.90 c #Conflicts: 30000 | #Constraints: 4718 11.86/11.90 c #Conflicts: 31000 | #Constraints: 5728 11.86/11.90 c #Conflicts: 32000 | #Constraints: 6734 11.86/11.90 c #Conflicts: 33000 | #Constraints: 7738 11.86/11.90 c INPROCESSING 11.86/11.90 c GARBAGE COLLECT 11.86/11.90 c rational objective 0 13.85/13.92 c #Conflicts: 34000 | #Constraints: 4894 13.85/13.92 c #Conflicts: 35000 | #Constraints: 5898 13.85/13.92 c #Conflicts: 36000 | #Constraints: 6902 13.85/13.92 c #Conflicts: 37000 | #Constraints: 7908 13.85/13.92 c INPROCESSING 13.85/13.92 c GARBAGE COLLECT 13.85/13.92 c rational objective 0 16.25/16.35 c #Conflicts: 38000 | #Constraints: 4881 16.25/16.35 c bounds 48 >= 0 @ 14.2659 16.25/16.35 c #Conflicts: 39000 | #Constraints: 5888 16.25/16.35 c #Conflicts: 40000 | #Constraints: 6893 16.25/16.35 c bounds 46 >= 0 @ 15.6575 16.25/16.35 c #Conflicts: 41000 | #Constraints: 7897 16.25/16.35 c INPROCESSING 16.25/16.35 c GARBAGE COLLECT 16.25/16.35 c rational objective 0 18.44/18.55 c #Conflicts: 42000 | #Constraints: 4671 18.44/18.55 c #Conflicts: 43000 | #Constraints: 5678 18.44/18.55 c #Conflicts: 44000 | #Constraints: 6681 18.44/18.55 c #Conflicts: 45000 | #Constraints: 7691 18.44/18.55 c #Conflicts: 46000 | #Constraints: 8704 18.44/18.55 c INPROCESSING 18.44/18.55 c GARBAGE COLLECT 18.44/18.55 c rational objective 0 21.24/21.37 c #Conflicts: 47000 | #Constraints: 5275 21.24/21.37 c #Conflicts: 48000 | #Constraints: 6278 21.24/21.37 c #Conflicts: 49000 | #Constraints: 7286 21.24/21.37 c #Conflicts: 50000 | #Constraints: 8293 21.24/21.37 c #Conflicts: 51000 | #Constraints: 9296 21.24/21.37 c INPROCESSING 21.24/21.37 c GARBAGE COLLECT 21.24/21.37 c rational objective 0 23.83/23.99 c #Conflicts: 52000 | #Constraints: 5679 23.83/23.99 c #Conflicts: 53000 | #Constraints: 6680 23.83/23.99 c #Conflicts: 54000 | #Constraints: 7689 23.83/23.99 c #Conflicts: 55000 | #Constraints: 8701 23.83/23.99 c #Conflicts: 56000 | #Constraints: 9706 23.83/23.99 c INPROCESSING 23.83/23.99 c GARBAGE COLLECT 23.83/23.99 c rational objective 0 27.03/27.14 c #Conflicts: 57000 | #Constraints: 5875 27.03/27.14 c #Conflicts: 58000 | #Constraints: 6879 27.03/27.14 c bounds 44 >= 0 @ 25.1222 27.03/27.14 c #Conflicts: 59000 | #Constraints: 7883 27.03/27.14 c #Conflicts: 60000 | #Constraints: 8892 27.03/27.14 c #Conflicts: 61000 | #Constraints: 9896 27.03/27.14 c INPROCESSING 27.03/27.14 c GARBAGE COLLECT 27.03/27.14 c rational objective 0 30.02/30.16 c #Conflicts: 62000 | #Constraints: 5866 30.02/30.16 c bounds 43 >= 0 @ 27.3063 30.02/30.16 c #Conflicts: 63000 | #Constraints: 6871 30.02/30.16 c #Conflicts: 64000 | #Constraints: 7875 30.02/30.16 c #Conflicts: 65000 | #Constraints: 8885 30.02/30.16 c #Conflicts: 66000 | #Constraints: 9891 30.02/30.16 c INPROCESSING 30.02/30.16 c GARBAGE COLLECT 30.02/30.16 c rational objective 0 33.91/34.01 c bounds 41 >= 0 @ 29.6572 33.91/34.01 c #Conflicts: 67000 | #Constraints: 5669 33.91/34.01 c bounds 39 >= 0 @ 29.8839 33.91/34.01 c #Conflicts: 68000 | #Constraints: 6678 33.91/34.01 c #Conflicts: 69000 | #Constraints: 7685 33.91/34.01 c #Conflicts: 70000 | #Constraints: 8692 33.91/34.01 c #Conflicts: 71000 | #Constraints: 9697 33.91/34.01 c #Conflicts: 72000 | #Constraints: 10700 33.91/34.01 c INPROCESSING 33.91/34.01 c GARBAGE COLLECT 33.91/34.01 c rational objective 0 37.20/37.33 c #Conflicts: 73000 | #Constraints: 6286 37.20/37.33 c #Conflicts: 74000 | #Constraints: 7292 37.20/37.33 c #Conflicts: 75000 | #Constraints: 8297 37.20/37.33 c #Conflicts: 76000 | #Constraints: 9304 37.20/37.33 c #Conflicts: 77000 | #Constraints: 10308 37.20/37.33 c #Conflicts: 78000 | #Constraints: 11315 37.20/37.33 c INPROCESSING 37.20/37.33 c GARBAGE COLLECT 37.20/37.33 c rational objective 0 41.69/41.85 c #Conflicts: 79000 | #Constraints: 6679 41.69/41.85 c #Conflicts: 80000 | #Constraints: 7683 41.69/41.85 c #Conflicts: 81000 | #Constraints: 8689 41.69/41.85 c #Conflicts: 82000 | #Constraints: 9695 41.69/41.85 c #Conflicts: 83000 | #Constraints: 10698 41.69/41.85 c #Conflicts: 84000 | #Constraints: 11702 41.69/41.85 c INPROCESSING 41.69/41.85 c GARBAGE COLLECT 41.69/41.85 c rational objective 0 46.28/46.45 c #Conflicts: 85000 | #Constraints: 6879 46.28/46.45 c #Conflicts: 86000 | #Constraints: 7885 46.28/46.45 c #Conflicts: 87000 | #Constraints: 8889 46.28/46.45 c #Conflicts: 88000 | #Constraints: 9896 46.28/46.45 c #Conflicts: 89000 | #Constraints: 10900 46.28/46.45 c #Conflicts: 90000 | #Constraints: 11905 46.28/46.45 c INPROCESSING 46.28/46.45 c GARBAGE COLLECT 46.28/46.45 c rational objective 0 52.26/52.45 c #Conflicts: 91000 | #Constraints: 6874 52.26/52.45 c #Conflicts: 92000 | #Constraints: 7877 52.26/52.45 c #Conflicts: 93000 | #Constraints: 8880 52.26/52.45 c #Conflicts: 94000 | #Constraints: 9882 52.26/52.45 c #Conflicts: 95000 | #Constraints: 10886 52.26/52.45 c #Conflicts: 96000 | #Constraints: 11889 52.26/52.45 c INPROCESSING 52.26/52.45 c GARBAGE COLLECT 52.26/52.45 c rational objective 0 57.74/57.99 c #Conflicts: 97000 | #Constraints: 6675 57.74/57.99 c #Conflicts: 98000 | #Constraints: 7680 57.74/57.99 c #Conflicts: 99000 | #Constraints: 8685 57.74/57.99 c #Conflicts: 100000 | #Constraints: 9689 57.74/57.99 c #Conflicts: 101000 | #Constraints: 10690 57.74/57.99 c #Conflicts: 102000 | #Constraints: 11692 57.74/57.99 c #Conflicts: 103000 | #Constraints: 12699 57.74/57.99 c INPROCESSING 57.74/57.99 c GARBAGE COLLECT 57.74/57.99 c rational objective 0 62.22/62.49 c #Conflicts: 104000 | #Constraints: 7272 62.22/62.49 c #Conflicts: 105000 | #Constraints: 8279 62.22/62.49 c #Conflicts: 106000 | #Constraints: 9286 62.22/62.49 c #Conflicts: 107000 | #Constraints: 10290 62.22/62.49 c #Conflicts: 108000 | #Constraints: 11294 62.22/62.49 c #Conflicts: 109000 | #Constraints: 12295 62.22/62.49 c #Conflicts: 110000 | #Constraints: 13297 62.22/62.49 c INPROCESSING 62.22/62.49 c GARBAGE COLLECT 62.22/62.49 c rational objective 0 68.61/68.86 c #Conflicts: 111000 | #Constraints: 7673 68.61/68.86 c bounds 38 >= 0 @ 63.2307 68.61/68.86 c bounds 36 >= 0 @ 63.2404 68.61/68.86 c bounds 34 >= 0 @ 63.2516 68.61/68.86 c bounds 32 >= 0 @ 63.2568 68.61/68.86 c #Conflicts: 112000 | #Constraints: 8682 68.61/68.86 c #Conflicts: 113000 | #Constraints: 9687 68.61/68.86 c bounds 30 >= 0 @ 64.6751 68.61/68.86 c bounds 28 >= 0 @ 64.6796 68.61/68.86 c bounds 26 >= 0 @ 64.6822 68.61/68.86 c #Conflicts: 114000 | #Constraints: 10695 68.61/68.86 c #Conflicts: 115000 | #Constraints: 11701 68.61/68.86 c #Conflicts: 116000 | #Constraints: 12713 68.61/68.86 c #Conflicts: 117000 | #Constraints: 13722 68.61/68.86 c INPROCESSING 68.61/68.86 c GARBAGE COLLECT 68.61/68.86 c rational objective 0 74.19/74.46 c #Conflicts: 118000 | #Constraints: 7885 74.19/74.46 c #Conflicts: 119000 | #Constraints: 8886 74.19/74.46 c #Conflicts: 120000 | #Constraints: 9886 74.19/74.46 c #Conflicts: 121000 | #Constraints: 10886 74.19/74.46 c #Conflicts: 122000 | #Constraints: 11888 74.19/74.46 c #Conflicts: 123000 | #Constraints: 12892 74.19/74.46 c #Conflicts: 124000 | #Constraints: 13895 74.19/74.46 c INPROCESSING 74.19/74.46 c GARBAGE COLLECT 74.19/74.46 c rational objective 0 81.47/81.76 c #Conflicts: 125000 | #Constraints: 7874 81.47/81.76 c #Conflicts: 126000 | #Constraints: 8884 81.47/81.76 c #Conflicts: 127000 | #Constraints: 9887 81.47/81.76 c #Conflicts: 128000 | #Constraints: 10890 81.47/81.76 c #Conflicts: 129000 | #Constraints: 11894 81.47/81.76 c #Conflicts: 130000 | #Constraints: 12895 81.47/81.76 c #Conflicts: 131000 | #Constraints: 13903 81.47/81.76 c INPROCESSING 81.47/81.76 c GARBAGE COLLECT 81.47/81.76 c rational objective 0 87.45/87.79 c #Conflicts: 132000 | #Constraints: 7676 87.45/87.79 c #Conflicts: 133000 | #Constraints: 8679 87.45/87.79 c #Conflicts: 134000 | #Constraints: 9684 87.45/87.79 c #Conflicts: 135000 | #Constraints: 10686 87.45/87.79 c #Conflicts: 136000 | #Constraints: 11690 87.45/87.79 c #Conflicts: 137000 | #Constraints: 12694 87.45/87.79 c #Conflicts: 138000 | #Constraints: 13696 87.45/87.79 c #Conflicts: 139000 | #Constraints: 14697 87.45/87.79 c INPROCESSING 87.45/87.79 c GARBAGE COLLECT 87.45/87.79 c rational objective 0 96.23/96.58 c #Conflicts: 140000 | #Constraints: 8267 96.23/96.58 c #Conflicts: 141000 | #Constraints: 9273 96.23/96.58 c #Conflicts: 142000 | #Constraints: 10274 96.23/96.58 c #Conflicts: 143000 | #Constraints: 11277 96.23/96.58 c #Conflicts: 144000 | #Constraints: 12281 96.23/96.58 c #Conflicts: 145000 | #Constraints: 13285 96.23/96.58 c #Conflicts: 146000 | #Constraints: 14287 96.23/96.58 c #Conflicts: 147000 | #Constraints: 15289 96.23/96.58 c INPROCESSING 96.23/96.58 c GARBAGE COLLECT 96.23/96.58 c rational objective 0 102.60/102.97 c #Conflicts: 148000 | #Constraints: 8670 102.60/102.97 c #Conflicts: 149000 | #Constraints: 9674 102.60/102.97 c #Conflicts: 150000 | #Constraints: 10678 102.60/102.97 c #Conflicts: 151000 | #Constraints: 11683 102.60/102.97 c #Conflicts: 152000 | #Constraints: 12687 102.60/102.97 c #Conflicts: 153000 | #Constraints: 13690 102.60/102.97 c #Conflicts: 154000 | #Constraints: 14695 102.60/102.97 c #Conflicts: 155000 | #Constraints: 15700 102.60/102.97 c INPROCESSING 102.60/102.97 c GARBAGE COLLECT 102.60/102.97 c rational objective 0 109.39/109.74 c #Conflicts: 156000 | #Constraints: 8876 109.39/109.74 c #Conflicts: 157000 | #Constraints: 9877 109.39/109.74 c #Conflicts: 158000 | #Constraints: 10878 109.39/109.74 c #Conflicts: 159000 | #Constraints: 11885 109.39/109.74 c #Conflicts: 160000 | #Constraints: 12888 109.39/109.74 c #Conflicts: 161000 | #Constraints: 13894 109.39/109.74 c #Conflicts: 162000 | #Constraints: 14900 109.39/109.74 c #Conflicts: 163000 | #Constraints: 15900 109.39/109.74 c INPROCESSING 109.39/109.74 c GARBAGE COLLECT 109.39/109.74 c rational objective 0 120.26/120.67 c #Conflicts: 164000 | #Constraints: 8875 120.26/120.67 c #Conflicts: 165000 | #Constraints: 9876 120.26/120.67 c #Conflicts: 166000 | #Constraints: 10878 120.26/120.67 c #Conflicts: 167000 | #Constraints: 11884 120.26/120.67 c #Conflicts: 168000 | #Constraints: 12886 120.26/120.67 c #Conflicts: 169000 | #Constraints: 13896 120.26/120.67 c #Conflicts: 170000 | #Constraints: 14898 120.26/120.67 c #Conflicts: 171000 | #Constraints: 15898 120.26/120.67 c INPROCESSING 120.26/120.67 c GARBAGE COLLECT 120.26/120.67 c rational objective 0 127.84/128.21 c #Conflicts: 172000 | #Constraints: 8677 127.84/128.21 c #Conflicts: 173000 | #Constraints: 9680 127.84/128.21 c #Conflicts: 174000 | #Constraints: 10684 127.84/128.21 c #Conflicts: 175000 | #Constraints: 11693 127.84/128.21 c #Conflicts: 176000 | #Constraints: 12696 127.84/128.21 c #Conflicts: 177000 | #Constraints: 13698 127.84/128.21 c #Conflicts: 178000 | #Constraints: 14700 127.84/128.21 c #Conflicts: 179000 | #Constraints: 15702 127.84/128.21 c #Conflicts: 180000 | #Constraints: 16707 127.84/128.21 c INPROCESSING 127.84/128.21 c GARBAGE COLLECT 127.84/128.21 c rational objective 0 136.11/136.57 c #Conflicts: 181000 | #Constraints: 9272 136.11/136.57 c #Conflicts: 182000 | #Constraints: 10275 136.11/136.57 c #Conflicts: 183000 | #Constraints: 11275 136.11/136.57 c #Conflicts: 184000 | #Constraints: 12276 136.11/136.57 c #Conflicts: 185000 | #Constraints: 13278 136.11/136.57 c #Conflicts: 186000 | #Constraints: 14281 136.11/136.57 c #Conflicts: 187000 | #Constraints: 15285 136.11/136.57 c #Conflicts: 188000 | #Constraints: 16287 136.11/136.57 c #Conflicts: 189000 | #Constraints: 17287 136.11/136.57 c INPROCESSING 136.11/136.57 c GARBAGE COLLECT 136.11/136.57 c rational objective 0 148.70/149.18 c #Conflicts: 190000 | #Constraints: 9665 148.70/149.18 c #Conflicts: 191000 | #Constraints: 10667 148.70/149.18 c #Conflicts: 192000 | #Constraints: 11667 148.70/149.18 c #Conflicts: 193000 | #Constraints: 12670 148.70/149.18 c #Conflicts: 194000 | #Constraints: 13674 148.70/149.18 c #Conflicts: 195000 | #Constraints: 14680 148.70/149.18 c #Conflicts: 196000 | #Constraints: 15682 148.70/149.18 c #Conflicts: 197000 | #Constraints: 16684 148.70/149.18 c #Conflicts: 198000 | #Constraints: 17686 148.70/149.18 c INPROCESSING 148.70/149.18 c GARBAGE COLLECT 148.70/149.18 c rational objective 0 159.87/160.33 c #Conflicts: 199000 | #Constraints: 9868 159.87/160.33 c #Conflicts: 200000 | #Constraints: 10873 159.87/160.33 c #Conflicts: 201000 | #Constraints: 11876 159.87/160.33 c #Conflicts: 202000 | #Constraints: 12879 159.87/160.33 c #Conflicts: 203000 | #Constraints: 13882 159.87/160.33 c #Conflicts: 204000 | #Constraints: 14883 159.87/160.33 c #Conflicts: 205000 | #Constraints: 15884 159.87/160.33 c #Conflicts: 206000 | #Constraints: 16885 159.87/160.33 c #Conflicts: 207000 | #Constraints: 17887 159.87/160.33 c INPROCESSING 159.87/160.33 c GARBAGE COLLECT 159.87/160.33 c rational objective 0 176.13/176.65 c #Conflicts: 208000 | #Constraints: 9863 176.13/176.65 c #Conflicts: 209000 | #Constraints: 10867 176.13/176.65 c #Conflicts: 210000 | #Constraints: 11869 176.13/176.65 c #Conflicts: 211000 | #Constraints: 12870 176.13/176.65 c #Conflicts: 212000 | #Constraints: 13871 176.13/176.65 c #Conflicts: 213000 | #Constraints: 14871 176.13/176.65 c #Conflicts: 214000 | #Constraints: 15872 176.13/176.65 c #Conflicts: 215000 | #Constraints: 16873 176.13/176.65 c #Conflicts: 216000 | #Constraints: 17875 176.13/176.65 c INPROCESSING 176.13/176.65 c GARBAGE COLLECT 176.13/176.65 c rational objective 0 188.90/189.47 c #Conflicts: 217000 | #Constraints: 9665 188.90/189.47 c #Conflicts: 218000 | #Constraints: 10669 188.90/189.47 c #Conflicts: 219000 | #Constraints: 11674 188.90/189.47 c #Conflicts: 220000 | #Constraints: 12675 188.90/189.47 c #Conflicts: 221000 | #Constraints: 13676 188.90/189.47 c #Conflicts: 222000 | #Constraints: 14680 188.90/189.47 c #Conflicts: 223000 | #Constraints: 15681 188.90/189.47 c #Conflicts: 224000 | #Constraints: 16682 188.90/189.47 c #Conflicts: 225000 | #Constraints: 17683 188.90/189.47 c #Conflicts: 226000 | #Constraints: 18684 188.90/189.47 c INPROCESSING 188.90/189.47 c GARBAGE COLLECT 188.90/189.47 c rational objective 0 205.47/206.03 c #Conflicts: 227000 | #Constraints: 10261 205.47/206.03 c #Conflicts: 228000 | #Constraints: 11262 205.47/206.03 c #Conflicts: 229000 | #Constraints: 12265 205.47/206.03 c #Conflicts: 230000 | #Constraints: 13268 205.47/206.03 c #Conflicts: 231000 | #Constraints: 14269 205.47/206.03 c #Conflicts: 232000 | #Constraints: 15274 205.47/206.03 c #Conflicts: 233000 | #Constraints: 16276 205.47/206.03 c #Conflicts: 234000 | #Constraints: 17278 205.47/206.03 c #Conflicts: 235000 | #Constraints: 18281 205.47/206.03 c #Conflicts: 236000 | #Constraints: 19283 205.47/206.03 c INPROCESSING 205.47/206.03 c GARBAGE COLLECT 205.47/206.03 c rational objective 0 215.64/216.27 c #Conflicts: 237000 | #Constraints: 10673 215.64/216.27 c #Conflicts: 238000 | #Constraints: 11675 215.64/216.27 c #Conflicts: 239000 | #Constraints: 12679 215.64/216.27 c #Conflicts: 240000 | #Constraints: 13686 215.64/216.27 c #Conflicts: 241000 | #Constraints: 14693 215.64/216.27 c #Conflicts: 242000 | #Constraints: 15694 215.64/216.27 c #Conflicts: 243000 | #Constraints: 16696 215.64/216.27 c #Conflicts: 244000 | #Constraints: 17700 215.64/216.27 c #Conflicts: 245000 | #Constraints: 18703 215.64/216.27 c #Conflicts: 246000 | #Constraints: 19706 215.64/216.27 c INPROCESSING 215.64/216.27 c GARBAGE COLLECT 215.64/216.27 c rational objective 0 226.02/226.62 c #Conflicts: 247000 | #Constraints: 10872 226.02/226.62 c #Conflicts: 248000 | #Constraints: 11873 226.02/226.62 c #Conflicts: 249000 | #Constraints: 12876 226.02/226.62 c #Conflicts: 250000 | #Constraints: 13878 226.02/226.62 c #Conflicts: 251000 | #Constraints: 14879 226.02/226.62 c #Conflicts: 252000 | #Constraints: 15880 226.02/226.62 c #Conflicts: 253000 | #Constraints: 16884 226.02/226.62 c #Conflicts: 254000 | #Constraints: 17888 226.02/226.62 c #Conflicts: 255000 | #Constraints: 18893 226.02/226.62 c #Conflicts: 256000 | #Constraints: 19897 226.02/226.62 c INPROCESSING 226.02/226.62 c GARBAGE COLLECT 226.02/226.62 c rational objective 0 245.77/246.47 c #Conflicts: 257000 | #Constraints: 10872 245.77/246.47 c #Conflicts: 258000 | #Constraints: 11874 245.77/246.47 c #Conflicts: 259000 | #Constraints: 12875 245.77/246.47 c #Conflicts: 260000 | #Constraints: 13877 245.77/246.47 c #Conflicts: 261000 | #Constraints: 14877 245.77/246.47 c #Conflicts: 262000 | #Constraints: 15880 245.77/246.47 c #Conflicts: 263000 | #Constraints: 16883 245.77/246.47 c #Conflicts: 264000 | #Constraints: 17884 245.77/246.47 c #Conflicts: 265000 | #Constraints: 18886 245.77/246.47 c #Conflicts: 266000 | #Constraints: 19889 245.77/246.47 c INPROCESSING 245.77/246.47 c GARBAGE COLLECT 245.77/246.47 c rational objective 0 261.02/261.78 c #Conflicts: 267000 | #Constraints: 10670 261.02/261.78 c #Conflicts: 268000 | #Constraints: 11671 261.02/261.78 c #Conflicts: 269000 | #Constraints: 12673 261.02/261.78 c #Conflicts: 270000 | #Constraints: 13673 261.02/261.78 c #Conflicts: 271000 | #Constraints: 14676 261.02/261.78 c #Conflicts: 272000 | #Constraints: 15677 261.02/261.78 c #Conflicts: 273000 | #Constraints: 16681 261.02/261.78 c #Conflicts: 274000 | #Constraints: 17683 261.02/261.78 c #Conflicts: 275000 | #Constraints: 18685 261.02/261.78 c #Conflicts: 276000 | #Constraints: 19687 261.02/261.78 c #Conflicts: 277000 | #Constraints: 20693 261.02/261.78 c INPROCESSING 261.02/261.78 c GARBAGE COLLECT 261.02/261.78 c rational objective 0 273.40/274.12 c #Conflicts: 278000 | #Constraints: 11265 273.40/274.12 c #Conflicts: 279000 | #Constraints: 12275 273.40/274.12 c #Conflicts: 280000 | #Constraints: 13277 273.40/274.12 c #Conflicts: 281000 | #Constraints: 14282 273.40/274.12 c #Conflicts: 282000 | #Constraints: 15284 273.40/274.12 c #Conflicts: 283000 | #Constraints: 16287 273.40/274.12 c #Conflicts: 284000 | #Constraints: 17294 273.40/274.12 c #Conflicts: 285000 | #Constraints: 18296 273.40/274.12 c #Conflicts: 286000 | #Constraints: 19297 273.40/274.12 c #Conflicts: 287000 | #Constraints: 20300 273.40/274.12 c #Conflicts: 288000 | #Constraints: 21302 273.40/274.12 c INPROCESSING 273.40/274.12 c GARBAGE COLLECT 273.40/274.12 c rational objective 0 291.73/292.50 c #Conflicts: 289000 | #Constraints: 11671 291.73/292.50 c #Conflicts: 290000 | #Constraints: 12673 291.73/292.50 c #Conflicts: 291000 | #Constraints: 13678 291.73/292.50 c #Conflicts: 292000 | #Constraints: 14680 291.73/292.50 c #Conflicts: 293000 | #Constraints: 15681 291.73/292.50 c #Conflicts: 294000 | #Constraints: 16685 291.73/292.50 c #Conflicts: 295000 | #Constraints: 17688 291.73/292.50 c bounds 24 >= 0 @ 285.286 291.73/292.50 c #Conflicts: 296000 | #Constraints: 18694 291.73/292.50 c #Conflicts: 297000 | #Constraints: 19702 291.73/292.50 c #Conflicts: 298000 | #Constraints: 20705 291.73/292.50 c #Conflicts: 299000 | #Constraints: 21708 291.73/292.50 c INPROCESSING 291.73/292.50 c GARBAGE COLLECT 291.73/292.50 c rational objective 0 303.80/304.68 c #Conflicts: 300000 | #Constraints: 11875 303.80/304.68 c #Conflicts: 301000 | #Constraints: 12878 303.80/304.68 c #Conflicts: 302000 | #Constraints: 13878 303.80/304.68 c #Conflicts: 303000 | #Constraints: 14881 303.80/304.68 c #Conflicts: 304000 | #Constraints: 15882 303.80/304.68 c #Conflicts: 305000 | #Constraints: 16887 303.80/304.68 c #Conflicts: 306000 | #Constraints: 17892 303.80/304.68 c #Conflicts: 307000 | #Constraints: 18898 303.80/304.68 c #Conflicts: 308000 | #Constraints: 19899 303.80/304.68 c #Conflicts: 309000 | #Constraints: 20906 303.80/304.68 c #Conflicts: 310000 | #Constraints: 21908 303.80/304.68 c INPROCESSING 303.80/304.68 c GARBAGE COLLECT 303.80/304.68 c rational objective 0 325.84/326.78 c bounds 22 >= 0 @ 301.702 325.84/326.78 c #Conflicts: 311000 | #Constraints: 11878 325.84/326.78 c #Conflicts: 312000 | #Constraints: 12879 325.84/326.78 c #Conflicts: 313000 | #Constraints: 13882 325.84/326.78 c #Conflicts: 314000 | #Constraints: 14884 325.84/326.78 c #Conflicts: 315000 | #Constraints: 15887 325.84/326.78 c #Conflicts: 316000 | #Constraints: 16887 325.84/326.78 c #Conflicts: 317000 | #Constraints: 17889 325.84/326.78 c #Conflicts: 318000 | #Constraints: 18890 325.84/326.78 c #Conflicts: 319000 | #Constraints: 19890 325.84/326.78 c #Conflicts: 320000 | #Constraints: 20892 325.84/326.78 c #Conflicts: 321000 | #Constraints: 21895 325.84/326.78 c INPROCESSING 325.84/326.78 c GARBAGE COLLECT 325.84/326.78 c rational objective 0 343.40/344.36 c #Conflicts: 322000 | #Constraints: 11676 343.40/344.36 c #Conflicts: 323000 | #Constraints: 12678 343.40/344.36 c #Conflicts: 324000 | #Constraints: 13681 343.40/344.36 c #Conflicts: 325000 | #Constraints: 14681 343.40/344.36 c #Conflicts: 326000 | #Constraints: 15682 343.40/344.36 c #Conflicts: 327000 | #Constraints: 16684 343.40/344.36 c #Conflicts: 328000 | #Constraints: 17686 343.40/344.36 c #Conflicts: 329000 | #Constraints: 18688 343.40/344.36 c #Conflicts: 330000 | #Constraints: 19688 343.40/344.36 c #Conflicts: 331000 | #Constraints: 20691 343.40/344.36 c #Conflicts: 332000 | #Constraints: 21692 343.40/344.36 c #Conflicts: 333000 | #Constraints: 22694 343.40/344.36 c INPROCESSING 343.40/344.36 c GARBAGE COLLECT 343.40/344.36 c rational objective 0 367.43/368.48 c #Conflicts: 334000 | #Constraints: 12266 367.43/368.48 c #Conflicts: 335000 | #Constraints: 13266 367.43/368.48 c #Conflicts: 336000 | #Constraints: 14268 367.43/368.48 c #Conflicts: 337000 | #Constraints: 15269 367.43/368.48 c #Conflicts: 338000 | #Constraints: 16272 367.43/368.48 c #Conflicts: 339000 | #Constraints: 17274 367.43/368.48 c #Conflicts: 340000 | #Constraints: 18278 367.43/368.48 c #Conflicts: 341000 | #Constraints: 19283 367.43/368.48 c #Conflicts: 342000 | #Constraints: 20286 367.43/368.48 c #Conflicts: 343000 | #Constraints: 21292 367.43/368.48 c #Conflicts: 344000 | #Constraints: 22298 367.43/368.48 c #Conflicts: 345000 | #Constraints: 23299 367.43/368.48 c INPROCESSING 367.43/368.48 c GARBAGE COLLECT 367.43/368.48 c rational objective 0 396.25/397.30 c #Conflicts: 346000 | #Constraints: 13229 396.25/397.30 c #Conflicts: 347000 | #Constraints: 14884 396.25/397.30 c #Conflicts: 348000 | #Constraints: 16572 396.25/397.30 c #Conflicts: 349000 | #Constraints: 18268 396.25/397.30 c #Conflicts: 350000 | #Constraints: 19944 396.25/397.30 c #Conflicts: 351000 | #Constraints: 21680 396.25/397.30 c #Conflicts: 352000 | #Constraints: 23366 396.25/397.30 c #Conflicts: 353000 | #Constraints: 25009 396.25/397.30 c #Conflicts: 354000 | #Constraints: 26670 396.25/397.30 c #Conflicts: 355000 | #Constraints: 28352 396.25/397.30 c #Conflicts: 356000 | #Constraints: 30048 396.25/397.30 c #Conflicts: 357000 | #Constraints: 31717 396.25/397.30 c INPROCESSING 396.25/397.30 c GARBAGE COLLECT 396.25/397.30 c rational objective 0 443.40/444.65 c #Conflicts: 358000 | #Constraints: 17372 443.40/444.65 c #Conflicts: 359000 | #Constraints: 18848 443.40/444.65 c #Conflicts: 360000 | #Constraints: 20525 443.40/444.65 c #Conflicts: 361000 | #Constraints: 21972 443.40/444.65 c #Conflicts: 362000 | #Constraints: 23519 443.40/444.65 c #Conflicts: 363000 | #Constraints: 25142 443.40/444.65 c #Conflicts: 364000 | #Constraints: 26776 443.40/444.65 c #Conflicts: 365000 | #Constraints: 28411 443.40/444.65 c #Conflicts: 366000 | #Constraints: 29969 443.40/444.65 c #Conflicts: 367000 | #Constraints: 31449 443.40/444.65 c #Conflicts: 368000 | #Constraints: 32656 443.40/444.65 c #Conflicts: 369000 | #Constraints: 34299 443.40/444.65 c INPROCESSING 443.40/444.65 c GARBAGE COLLECT 443.40/444.65 c rational objective 0 470.02/471.36 c #Conflicts: 370000 | #Constraints: 18557 470.02/471.36 c #Conflicts: 371000 | #Constraints: 19571 470.02/471.36 c #Conflicts: 372000 | #Constraints: 20573 470.02/471.36 c #Conflicts: 373000 | #Constraints: 21630 470.02/471.36 c #Conflicts: 374000 | #Constraints: 22729 470.02/471.36 c #Conflicts: 375000 | #Constraints: 23986 470.02/471.36 c #Conflicts: 376000 | #Constraints: 24988 470.02/471.36 c #Conflicts: 377000 | #Constraints: 25988 470.02/471.36 c #Conflicts: 378000 | #Constraints: 27098 470.02/471.36 c #Conflicts: 379000 | #Constraints: 28274 470.02/471.36 c #Conflicts: 380000 | #Constraints: 29370 470.02/471.36 c #Conflicts: 381000 | #Constraints: 30372 470.02/471.36 c INPROCESSING 470.02/471.36 c GARBAGE COLLECT 470.02/471.36 c rational objective 0 497.64/499.01 c #Conflicts: 382000 | #Constraints: 16125 497.64/499.01 c #Conflicts: 383000 | #Constraints: 17328 497.64/499.01 c #Conflicts: 384000 | #Constraints: 18941 497.64/499.01 c #Conflicts: 385000 | #Constraints: 20616 497.64/499.01 c #Conflicts: 386000 | #Constraints: 22226 497.64/499.01 c #Conflicts: 387000 | #Constraints: 23891 497.64/499.01 c #Conflicts: 388000 | #Constraints: 25545 497.64/499.01 c #Conflicts: 389000 | #Constraints: 27174 497.64/499.01 c #Conflicts: 390000 | #Constraints: 28576 497.64/499.01 c #Conflicts: 391000 | #Constraints: 30207 497.64/499.01 c #Conflicts: 392000 | #Constraints: 31566 497.64/499.01 c #Conflicts: 393000 | #Constraints: 33043 497.64/499.01 c #Conflicts: 394000 | #Constraints: 34647 497.64/499.01 c INPROCESSING 497.64/499.01 c GARBAGE COLLECT 497.64/499.01 c rational objective 0 542.21/543.78 c #Conflicts: 395000 | #Constraints: 18541 542.21/543.78 c #Conflicts: 396000 | #Constraints: 19861 542.21/543.78 c #Conflicts: 397000 | #Constraints: 20896 542.21/543.78 c #Conflicts: 398000 | #Constraints: 21986 542.21/543.78 c #Conflicts: 399000 | #Constraints: 23062 542.21/543.78 c #Conflicts: 400000 | #Constraints: 24089 542.21/543.78 c #Conflicts: 401000 | #Constraints: 25182 542.21/543.78 c #Conflicts: 402000 | #Constraints: 26187 542.21/543.78 c #Conflicts: 403000 | #Constraints: 27191 542.21/543.78 c #Conflicts: 404000 | #Constraints: 28301 542.21/543.78 c #Conflicts: 405000 | #Constraints: 29302 542.21/543.78 c #Conflicts: 406000 | #Constraints: 30303 542.21/543.78 c #Conflicts: 407000 | #Constraints: 31503 542.21/543.78 c INPROCESSING 542.21/543.78 c GARBAGE COLLECT 542.21/543.78 c rational objective 0 574.54/576.15 c #Conflicts: 408000 | #Constraints: 17424 574.54/576.15 c #Conflicts: 409000 | #Constraints: 19067 574.54/576.15 c #Conflicts: 410000 | #Constraints: 20725 574.54/576.15 c #Conflicts: 411000 | #Constraints: 22364 574.54/576.15 c #Conflicts: 412000 | #Constraints: 24063 574.54/576.15 c #Conflicts: 413000 | #Constraints: 25744 574.54/576.15 c #Conflicts: 414000 | #Constraints: 27395 574.54/576.15 c #Conflicts: 415000 | #Constraints: 29012 574.54/576.15 c #Conflicts: 416000 | #Constraints: 30635 574.54/576.15 c #Conflicts: 417000 | #Constraints: 32252 574.54/576.15 c #Conflicts: 418000 | #Constraints: 33874 574.54/576.15 c #Conflicts: 419000 | #Constraints: 35531 574.54/576.15 c #Conflicts: 420000 | #Constraints: 37191 574.54/576.15 c INPROCESSING 574.54/576.15 c GARBAGE COLLECT 574.54/576.15 c rational objective 0 633.60/635.38 c #Conflicts: 421000 | #Constraints: 20225 633.60/635.38 c #Conflicts: 422000 | #Constraints: 21834 633.60/635.38 c #Conflicts: 423000 | #Constraints: 23444 633.60/635.38 c #Conflicts: 424000 | #Constraints: 25006 633.60/635.38 c #Conflicts: 425000 | #Constraints: 26591 633.60/635.38 c #Conflicts: 426000 | #Constraints: 27797 633.60/635.38 c #Conflicts: 427000 | #Constraints: 29393 633.60/635.38 c #Conflicts: 428000 | #Constraints: 30937 633.60/635.38 c #Conflicts: 429000 | #Constraints: 32496 633.60/635.38 c #Conflicts: 430000 | #Constraints: 34165 633.60/635.38 c #Conflicts: 431000 | #Constraints: 35549 633.60/635.38 c #Conflicts: 432000 | #Constraints: 37179 633.60/635.38 c #Conflicts: 433000 | #Constraints: 38497 633.60/635.38 c INPROCESSING 633.60/635.38 c GARBAGE COLLECT 633.60/635.38 c rational objective 0 672.41/674.25 c #Conflicts: 434000 | #Constraints: 20539 672.41/674.25 c #Conflicts: 435000 | #Constraints: 21788 672.41/674.25 c #Conflicts: 436000 | #Constraints: 23407 672.41/674.25 c #Conflicts: 437000 | #Constraints: 24868 672.41/674.25 c #Conflicts: 438000 | #Constraints: 25977 672.41/674.25 c #Conflicts: 439000 | #Constraints: 27303 672.41/674.25 c #Conflicts: 440000 | #Constraints: 28747 672.41/674.25 c #Conflicts: 441000 | #Constraints: 29766 672.41/674.25 c #Conflicts: 442000 | #Constraints: 30804 672.41/674.25 c #Conflicts: 443000 | #Constraints: 31907 672.41/674.25 c #Conflicts: 444000 | #Constraints: 32950 672.41/674.25 c #Conflicts: 445000 | #Constraints: 33961 672.41/674.25 c #Conflicts: 446000 | #Constraints: 34962 672.41/674.25 c INPROCESSING 672.41/674.25 c GARBAGE COLLECT 672.41/674.25 c rational objective 0 712.61/714.52 c #Conflicts: 447000 | #Constraints: 18349 712.61/714.52 c #Conflicts: 448000 | #Constraints: 19680 712.61/714.52 c #Conflicts: 449000 | #Constraints: 21023 712.61/714.52 c #Conflicts: 450000 | #Constraints: 22356 712.61/714.52 c #Conflicts: 451000 | #Constraints: 23600 712.61/714.52 c #Conflicts: 452000 | #Constraints: 24620 712.61/714.52 c #Conflicts: 453000 | #Constraints: 26003 712.61/714.52 c #Conflicts: 454000 | #Constraints: 27245 712.61/714.52 c #Conflicts: 455000 | #Constraints: 28371 712.61/714.52 c #Conflicts: 456000 | #Constraints: 29611 712.61/714.52 c #Conflicts: 457000 | #Constraints: 30692 712.61/714.52 c #Conflicts: 458000 | #Constraints: 31692 712.61/714.52 c #Conflicts: 459000 | #Constraints: 32839 712.61/714.52 c #Conflicts: 460000 | #Constraints: 34161 712.61/714.52 c INPROCESSING 712.61/714.52 c GARBAGE COLLECT 712.61/714.52 c rational objective 0 766.00/768.08 c #Conflicts: 461000 | #Constraints: 18034 766.00/768.08 c #Conflicts: 462000 | #Constraints: 19187 766.00/768.08 c #Conflicts: 463000 | #Constraints: 20187 766.00/768.08 c #Conflicts: 464000 | #Constraints: 21191 766.00/768.08 c #Conflicts: 465000 | #Constraints: 22547 766.00/768.08 c #Conflicts: 466000 | #Constraints: 23710 766.00/768.08 c #Conflicts: 467000 | #Constraints: 24819 766.00/768.08 c #Conflicts: 468000 | #Constraints: 25962 766.00/768.08 c #Conflicts: 469000 | #Constraints: 27100 766.00/768.08 c #Conflicts: 470000 | #Constraints: 28405 766.00/768.08 c #Conflicts: 471000 | #Constraints: 29406 766.00/768.08 c #Conflicts: 472000 | #Constraints: 30860 766.00/768.08 c #Conflicts: 473000 | #Constraints: 32239 766.00/768.08 c #Conflicts: 474000 | #Constraints: 33240 766.00/768.08 c INPROCESSING 766.00/768.08 c GARBAGE COLLECT 766.00/768.08 c rational objective 0 808.69/810.80 c #Conflicts: 475000 | #Constraints: 17902 808.69/810.80 c #Conflicts: 476000 | #Constraints: 19076 808.69/810.80 c #Conflicts: 477000 | #Constraints: 20230 808.69/810.80 c #Conflicts: 478000 | #Constraints: 21267 808.69/810.80 c #Conflicts: 479000 | #Constraints: 22341 808.69/810.80 c #Conflicts: 480000 | #Constraints: 23506 808.69/810.80 c #Conflicts: 481000 | #Constraints: 24510 808.69/810.80 c #Conflicts: 482000 | #Constraints: 25598 808.69/810.80 c #Conflicts: 483000 | #Constraints: 26748 808.69/810.80 c #Conflicts: 484000 | #Constraints: 27949 808.69/810.80 c #Conflicts: 485000 | #Constraints: 29136 808.69/810.80 c #Conflicts: 486000 | #Constraints: 30162 808.69/810.80 c #Conflicts: 487000 | #Constraints: 31242 808.69/810.80 c #Conflicts: 488000 | #Constraints: 32317 808.69/810.80 c INPROCESSING 808.69/810.80 c GARBAGE COLLECT 808.69/810.80 c rational objective 0 861.47/863.70 c #Conflicts: 489000 | #Constraints: 17218 861.47/863.70 c #Conflicts: 490000 | #Constraints: 18287 861.47/863.70 c #Conflicts: 491000 | #Constraints: 19454 861.47/863.70 c #Conflicts: 492000 | #Constraints: 20464 861.47/863.70 c #Conflicts: 493000 | #Constraints: 21466 861.47/863.70 c #Conflicts: 494000 | #Constraints: 22485 861.47/863.70 c #Conflicts: 495000 | #Constraints: 23540 861.47/863.70 c #Conflicts: 496000 | #Constraints: 24541 861.47/863.70 c #Conflicts: 497000 | #Constraints: 25617 861.47/863.70 c #Conflicts: 498000 | #Constraints: 26641 861.47/863.70 c #Conflicts: 499000 | #Constraints: 27717 861.47/863.70 c #Conflicts: 500000 | #Constraints: 28793 861.47/863.70 c #Conflicts: 501000 | #Constraints: 29922 861.47/863.70 c #Conflicts: 502000 | #Constraints: 31014 861.47/863.70 c INPROCESSING 861.47/863.70 c GARBAGE COLLECT 861.47/863.70 c rational objective 0 901.68/904.09 c #Conflicts: 503000 | #Constraints: 16613 901.68/904.09 c #Conflicts: 504000 | #Constraints: 17804 901.68/904.09 c #Conflicts: 505000 | #Constraints: 19041 901.68/904.09 c #Conflicts: 506000 | #Constraints: 20405 901.68/904.09 c #Conflicts: 507000 | #Constraints: 21465 901.68/904.09 c #Conflicts: 508000 | #Constraints: 22691 901.68/904.09 c #Conflicts: 509000 | #Constraints: 23760 901.68/904.09 c #Conflicts: 510000 | #Constraints: 24800 901.68/904.09 c #Conflicts: 511000 | #Constraints: 25876 901.68/904.09 c #Conflicts: 512000 | #Constraints: 26878 901.68/904.09 c #Conflicts: 513000 | #Constraints: 28053 901.68/904.09 c #Conflicts: 514000 | #Constraints: 29079 901.68/904.09 c #Conflicts: 515000 | #Constraints: 30255 901.68/904.09 c #Conflicts: 516000 | #Constraints: 31619 901.68/904.09 c INPROCESSING 901.68/904.09 c GARBAGE COLLECT 901.68/904.09 c rational objective 0 956.34/958.87 c #Conflicts: 517000 | #Constraints: 16581 956.34/958.87 c #Conflicts: 518000 | #Constraints: 17623 956.34/958.87 c #Conflicts: 519000 | #Constraints: 18692 956.34/958.87 c #Conflicts: 520000 | #Constraints: 19748 956.34/958.87 c #Conflicts: 521000 | #Constraints: 20796 956.34/958.87 c #Conflicts: 522000 | #Constraints: 21812 956.34/958.87 c #Conflicts: 523000 | #Constraints: 22858 956.34/958.87 c #Conflicts: 524000 | #Constraints: 23859 956.34/958.87 c #Conflicts: 525000 | #Constraints: 24991 956.34/958.87 c #Conflicts: 526000 | #Constraints: 26066 956.34/958.87 c #Conflicts: 527000 | #Constraints: 27126 956.34/958.87 c #Conflicts: 528000 | #Constraints: 28152 956.34/958.87 c #Conflicts: 529000 | #Constraints: 29153 956.34/958.87 c #Conflicts: 530000 | #Constraints: 30156 956.34/958.87 c #Conflicts: 531000 | #Constraints: 31157 956.34/958.87 c INPROCESSING 956.34/958.87 c GARBAGE COLLECT 956.34/958.87 c rational objective 0 997.34/999.93 c #Conflicts: 532000 | #Constraints: 16964 997.34/999.93 c #Conflicts: 533000 | #Constraints: 18594 997.34/999.93 c #Conflicts: 534000 | #Constraints: 19841 997.34/999.93 c #Conflicts: 535000 | #Constraints: 21481 997.34/999.93 c #Conflicts: 536000 | #Constraints: 23119 997.34/999.93 c #Conflicts: 537000 | #Constraints: 24651 997.34/999.93 c #Conflicts: 538000 | #Constraints: 26036 997.34/999.93 c #Conflicts: 539000 | #Constraints: 27618 997.34/999.93 c #Conflicts: 540000 | #Constraints: 29230 997.34/999.93 c #Conflicts: 541000 | #Constraints: 30865 997.34/999.93 c #Conflicts: 542000 | #Constraints: 32524 997.34/999.93 c #Conflicts: 543000 | #Constraints: 34136 997.34/999.93 c #Conflicts: 544000 | #Constraints: 35697 997.34/999.93 c #Conflicts: 545000 | #Constraints: 37348 997.34/999.93 c #Conflicts: 546000 | #Constraints: 38992 997.34/999.93 c INPROCESSING 997.34/999.93 c GARBAGE COLLECT 997.34/999.93 c rational objective 0 1050.41/1053.14 c #Conflicts: 547000 | #Constraints: 21065 1050.41/1053.14 c #Conflicts: 548000 | #Constraints: 22714 1050.41/1053.14 c #Conflicts: 549000 | #Constraints: 24349 1050.41/1053.14 c #Conflicts: 550000 | #Constraints: 25522 1050.41/1053.14 c #Conflicts: 551000 | #Constraints: 27176 1050.41/1053.14 c #Conflicts: 552000 | #Constraints: 28627 1050.41/1053.14 c #Conflicts: 553000 | #Constraints: 30242 1050.41/1053.14 c #Conflicts: 554000 | #Constraints: 31664 1050.41/1053.14 c #Conflicts: 555000 | #Constraints: 32973 1050.41/1053.14 c #Conflicts: 556000 | #Constraints: 34263 1050.41/1053.14 c #Conflicts: 557000 | #Constraints: 35833 1050.41/1053.14 c #Conflicts: 558000 | #Constraints: 37092 1050.41/1053.14 c #Conflicts: 559000 | #Constraints: 38525 1050.41/1053.14 c #Conflicts: 560000 | #Constraints: 39998 1050.41/1053.14 c #Conflicts: 561000 | #Constraints: 41592 1050.41/1053.14 c INPROCESSING 1050.41/1053.14 c GARBAGE COLLECT 1050.41/1053.14 c rational objective 0 1107.68/1110.51 c #Conflicts: 562000 | #Constraints: 22061 1107.68/1110.51 c #Conflicts: 563000 | #Constraints: 23173 1107.68/1110.51 c #Conflicts: 564000 | #Constraints: 24188 1107.68/1110.51 c bounds 20 >= 0 @ 1059.09 1107.68/1110.51 c bounds 18 >= 0 @ 1059.11 1107.68/1110.51 c bounds 16 >= 0 @ 1059.15 1107.68/1110.51 c #Conflicts: 565000 | #Constraints: 25271 1107.68/1110.51 c #Conflicts: 566000 | #Constraints: 26368 1107.68/1110.51 c #Conflicts: 567000 | #Constraints: 27520 1107.68/1110.51 c #Conflicts: 568000 | #Constraints: 28657 1107.68/1110.51 c #Conflicts: 569000 | #Constraints: 29660 1107.68/1110.51 c #Conflicts: 570000 | #Constraints: 30774 1107.68/1110.51 c #Conflicts: 571000 | #Constraints: 31789 1107.68/1110.51 c #Conflicts: 572000 | #Constraints: 32932 1107.68/1110.51 c #Conflicts: 573000 | #Constraints: 33948 1107.68/1110.51 c #Conflicts: 574000 | #Constraints: 34964 1107.68/1110.51 c #Conflicts: 575000 | #Constraints: 36097 1107.68/1110.51 c #Conflicts: 576000 | #Constraints: 37126 1107.68/1110.51 c INPROCESSING 1107.68/1110.51 c GARBAGE COLLECT 1107.68/1110.51 c rational objective 0 1145.10/1148.07 c #Conflicts: 577000 | #Constraints: 19724 1145.10/1148.07 c #Conflicts: 578000 | #Constraints: 21081 1145.10/1148.07 c #Conflicts: 579000 | #Constraints: 22224 1145.10/1148.07 c #Conflicts: 580000 | #Constraints: 23327 1145.10/1148.07 c #Conflicts: 581000 | #Constraints: 24329 1145.10/1148.07 c #Conflicts: 582000 | #Constraints: 25471 1145.10/1148.07 c #Conflicts: 583000 | #Constraints: 27119 1145.10/1148.07 c #Conflicts: 584000 | #Constraints: 28563 1145.10/1148.07 c #Conflicts: 585000 | #Constraints: 29770 1145.10/1148.07 c #Conflicts: 586000 | #Constraints: 30818 1145.10/1148.07 c #Conflicts: 587000 | #Constraints: 31939 1145.10/1148.07 c #Conflicts: 588000 | #Constraints: 32939 1145.10/1148.07 c #Conflicts: 589000 | #Constraints: 33945 1145.10/1148.07 c #Conflicts: 590000 | #Constraints: 35066 1145.10/1148.07 c #Conflicts: 591000 | #Constraints: 36629 1145.10/1148.07 c INPROCESSING 1145.10/1148.07 c GARBAGE COLLECT 1145.10/1148.07 c rational objective 0 1205.65/1208.79 c #Conflicts: 592000 | #Constraints: 19408 1205.65/1208.79 c #Conflicts: 593000 | #Constraints: 20450 1205.65/1208.79 c #Conflicts: 594000 | #Constraints: 21716 1205.65/1208.79 c #Conflicts: 595000 | #Constraints: 22778 1205.65/1208.79 c #Conflicts: 596000 | #Constraints: 24039 1205.65/1208.79 c #Conflicts: 597000 | #Constraints: 25042 1205.65/1208.79 c #Conflicts: 598000 | #Constraints: 26169 1205.65/1208.79 c #Conflicts: 599000 | #Constraints: 27369 1205.65/1208.79 c #Conflicts: 600000 | #Constraints: 28790 1205.65/1208.79 c #Conflicts: 601000 | #Constraints: 29793 1205.65/1208.79 c #Conflicts: 602000 | #Constraints: 30794 1205.65/1208.79 c #Conflicts: 603000 | #Constraints: 31800 1205.65/1208.79 c #Conflicts: 604000 | #Constraints: 32975 1205.65/1208.79 c #Conflicts: 605000 | #Constraints: 34133 1205.65/1208.79 c #Conflicts: 606000 | #Constraints: 35135 1205.65/1208.79 c #Conflicts: 607000 | #Constraints: 36135 1205.65/1208.79 c INPROCESSING 1205.65/1208.79 c GARBAGE COLLECT 1205.65/1208.79 c rational objective 0 1268.68/1271.99 c #Conflicts: 608000 | #Constraints: 19458 1268.68/1271.99 c #Conflicts: 609000 | #Constraints: 21128 1268.68/1271.99 c #Conflicts: 610000 | #Constraints: 22816 1268.68/1271.99 c #Conflicts: 611000 | #Constraints: 24436 1268.68/1271.99 c #Conflicts: 612000 | #Constraints: 26084 1268.68/1271.99 c #Conflicts: 613000 | #Constraints: 27775 1268.68/1271.99 c #Conflicts: 614000 | #Constraints: 29407 1268.68/1271.99 c #Conflicts: 615000 | #Constraints: 31070 1268.68/1271.99 c #Conflicts: 616000 | #Constraints: 32715 1268.68/1271.99 c #Conflicts: 617000 | #Constraints: 34315 1268.68/1271.99 c #Conflicts: 618000 | #Constraints: 35907 1268.68/1271.99 c #Conflicts: 619000 | #Constraints: 37583 1268.68/1271.99 c #Conflicts: 620000 | #Constraints: 39202 1268.68/1271.99 c #Conflicts: 621000 | #Constraints: 40782 1268.68/1271.99 c #Conflicts: 622000 | #Constraints: 42103 1268.68/1271.99 c #Conflicts: 623000 | #Constraints: 43763 1268.68/1271.99 c INPROCESSING 1268.68/1271.99 c GARBAGE COLLECT 1268.68/1271.99 c rational objective 0 1343.67/1347.18 c #Conflicts: 624000 | #Constraints: 23131 1343.67/1347.18 c #Conflicts: 625000 | #Constraints: 24245 1343.67/1347.18 c #Conflicts: 626000 | #Constraints: 25455 1343.67/1347.18 c #Conflicts: 627000 | #Constraints: 26640 1343.67/1347.18 c #Conflicts: 628000 | #Constraints: 27660 1343.67/1347.18 c #Conflicts: 629000 | #Constraints: 28814 1343.67/1347.18 c #Conflicts: 630000 | #Constraints: 29891 1343.67/1347.18 c #Conflicts: 631000 | #Constraints: 31074 1343.67/1347.18 c #Conflicts: 632000 | #Constraints: 32165 1343.67/1347.18 c #Conflicts: 633000 | #Constraints: 33183 1343.67/1347.18 c #Conflicts: 634000 | #Constraints: 34212 1343.67/1347.18 c #Conflicts: 635000 | #Constraints: 35259 1343.67/1347.18 c #Conflicts: 636000 | #Constraints: 36322 1343.67/1347.18 c #Conflicts: 637000 | #Constraints: 37410 1343.67/1347.18 c #Conflicts: 638000 | #Constraints: 38453 1343.67/1347.18 c #Conflicts: 639000 | #Constraints: 39481 1343.67/1347.18 c INPROCESSING 1343.67/1347.18 c GARBAGE COLLECT 1343.67/1347.18 c rational objective 0 1421.84/1425.57 c #Conflicts: 640000 | #Constraints: 21343 1421.84/1425.57 c #Conflicts: 641000 | #Constraints: 22959 1421.84/1425.57 c #Conflicts: 642000 | #Constraints: 24682 1421.84/1425.57 c #Conflicts: 643000 | #Constraints: 26331 1421.84/1425.57 c #Conflicts: 644000 | #Constraints: 27985 1421.84/1425.57 c #Conflicts: 645000 | #Constraints: 29592 1421.84/1425.57 c #Conflicts: 646000 | #Constraints: 31211 1421.84/1425.57 c #Conflicts: 647000 | #Constraints: 32842 1421.84/1425.57 c #Conflicts: 648000 | #Constraints: 34505 1421.84/1425.57 c #Conflicts: 649000 | #Constraints: 36157 1421.84/1425.57 c #Conflicts: 650000 | #Constraints: 37816 1421.84/1425.57 c #Conflicts: 651000 | #Constraints: 39482 1421.84/1425.57 c #Conflicts: 652000 | #Constraints: 41149 1421.84/1425.57 c #Conflicts: 653000 | #Constraints: 42843 1421.84/1425.57 c #Conflicts: 654000 | #Constraints: 44512 1421.84/1425.57 c #Conflicts: 655000 | #Constraints: 46130 1421.84/1425.57 c INPROCESSING 1421.84/1425.57 c GARBAGE COLLECT 1421.84/1425.57 c rational objective 0 1533.83/1537.80 c #Conflicts: 656000 | #Constraints: 24562 1533.83/1537.80 c #Conflicts: 657000 | #Constraints: 26141 1533.83/1537.80 c #Conflicts: 658000 | #Constraints: 27765 1533.83/1537.80 c #Conflicts: 659000 | #Constraints: 29412 1533.83/1537.80 c #Conflicts: 660000 | #Constraints: 31059 1533.83/1537.80 c #Conflicts: 661000 | #Constraints: 32709 1533.83/1537.80 c #Conflicts: 662000 | #Constraints: 34332 1533.83/1537.80 c #Conflicts: 663000 | #Constraints: 35966 1533.83/1537.80 c #Conflicts: 664000 | #Constraints: 37610 1533.83/1537.80 c #Conflicts: 665000 | #Constraints: 39220 1533.83/1537.80 c #Conflicts: 666000 | #Constraints: 40900 1533.83/1537.80 c #Conflicts: 667000 | #Constraints: 42588 1533.83/1537.80 c #Conflicts: 668000 | #Constraints: 44322 1533.83/1537.80 c #Conflicts: 669000 | #Constraints: 45966 1533.83/1537.80 c #Conflicts: 670000 | #Constraints: 47604 1533.83/1537.80 c #Conflicts: 671000 | #Constraints: 49267 1533.83/1537.80 c INPROCESSING 1533.83/1537.80 c GARBAGE COLLECT 1533.83/1537.80 c rational objective 0 1609.84/1614.02 c #Conflicts: 672000 | #Constraints: 25797 1609.84/1614.02 c #Conflicts: 673000 | #Constraints: 27382 1609.84/1614.02 c #Conflicts: 674000 | #Constraints: 29079 1609.84/1614.02 c #Conflicts: 675000 | #Constraints: 30725 1609.84/1614.02 c #Conflicts: 676000 | #Constraints: 32394 1609.84/1614.02 c #Conflicts: 677000 | #Constraints: 34069 1609.84/1614.02 c #Conflicts: 678000 | #Constraints: 35741 1609.84/1614.02 c #Conflicts: 679000 | #Constraints: 37415 1609.84/1614.02 c #Conflicts: 680000 | #Constraints: 39030 1609.84/1614.02 c #Conflicts: 681000 | #Constraints: 40682 1609.84/1614.02 c #Conflicts: 682000 | #Constraints: 42348 1609.84/1614.02 c #Conflicts: 683000 | #Constraints: 44010 1609.84/1614.02 c #Conflicts: 684000 | #Constraints: 45662 1609.84/1614.02 c #Conflicts: 685000 | #Constraints: 47276 1609.84/1614.02 c #Conflicts: 686000 | #Constraints: 48913 1609.84/1614.02 c #Conflicts: 687000 | #Constraints: 50553 1609.84/1614.02 c #Conflicts: 688000 | #Constraints: 52180 1609.84/1614.02 c INPROCESSING 1609.84/1614.02 c GARBAGE COLLECT 1609.84/1614.02 c rational objective 0 1726.36/1730.84 c #Conflicts: 689000 | #Constraints: 27568 1726.36/1730.84 c #Conflicts: 690000 | #Constraints: 29250 1726.36/1730.84 c #Conflicts: 691000 | #Constraints: 30898 1726.36/1730.84 c #Conflicts: 692000 | #Constraints: 32508 1726.36/1730.84 c #Conflicts: 693000 | #Constraints: 34154 1726.36/1730.84 c #Conflicts: 694000 | #Constraints: 35809 1726.36/1730.84 c #Conflicts: 695000 | #Constraints: 37507 1726.36/1730.84 c #Conflicts: 696000 | #Constraints: 39164 1726.36/1730.84 c #Conflicts: 697000 | #Constraints: 40907 1726.36/1730.84 c #Conflicts: 698000 | #Constraints: 42635 1726.36/1730.84 c #Conflicts: 699000 | #Constraints: 44297 1726.36/1730.84 c #Conflicts: 700000 | #Constraints: 45961 1726.36/1730.84 c #Conflicts: 701000 | #Constraints: 47593 1726.36/1730.84 c #Conflicts: 702000 | #Constraints: 49232 1726.36/1730.84 c #Conflicts: 703000 | #Constraints: 50882 1726.36/1730.84 c #Conflicts: 704000 | #Constraints: 52547 1726.36/1730.84 c #Conflicts: 705000 | #Constraints: 54227 1726.36/1730.84 c INPROCESSING 1726.36/1730.84 c GARBAGE COLLECT 1726.36/1730.84 c rational objective 0 1814.85/1819.57 c #Conflicts: 706000 | #Constraints: 28736 1814.85/1819.57 c #Conflicts: 707000 | #Constraints: 30205 1814.85/1819.57 c #Conflicts: 708000 | #Constraints: 31851 1814.85/1819.57 c #Conflicts: 709000 | #Constraints: 33301 1814.85/1819.57 c #Conflicts: 710000 | #Constraints: 34890 1814.85/1819.57 c #Conflicts: 711000 | #Constraints: 36523 1814.85/1819.57 c #Conflicts: 712000 | #Constraints: 38139 1814.85/1819.57 c #Conflicts: 713000 | #Constraints: 39780 1814.85/1819.57 c #Conflicts: 714000 | #Constraints: 41418 1814.85/1819.57 c #Conflicts: 715000 | #Constraints: 42614 1814.85/1819.57 c #Conflicts: 716000 | #Constraints: 44249 1814.85/1819.57 c #Conflicts: 717000 | #Constraints: 45877 1814.85/1819.57 c #Conflicts: 718000 | #Constraints: 47528 1814.85/1819.57 c #Conflicts: 719000 | #Constraints: 49194 1814.85/1819.57 c #Conflicts: 720000 | #Constraints: 50694 1814.85/1819.57 c #Conflicts: 721000 | #Constraints: 52170 1814.85/1819.57 c #Conflicts: 722000 | #Constraints: 53674 1814.85/1819.57 c INPROCESSING 1814.85/1819.57 c GARBAGE COLLECT 1814.85/1819.57 c rational objective 0 1909.23/1914.13 c #Conflicts: 723000 | #Constraints: 28430 1909.23/1914.13 c #Conflicts: 724000 | #Constraints: 30075 1909.23/1914.13 c #Conflicts: 725000 | #Constraints: 31721 1909.23/1914.13 c #Conflicts: 726000 | #Constraints: 33399 1909.23/1914.13 c #Conflicts: 727000 | #Constraints: 35070 1909.23/1914.13 c #Conflicts: 728000 | #Constraints: 36735 1909.23/1914.13 c #Conflicts: 729000 | #Constraints: 38137 1909.23/1914.13 c #Conflicts: 730000 | #Constraints: 39739 1909.23/1914.13 c #Conflicts: 731000 | #Constraints: 41397 1909.23/1914.13 c #Conflicts: 732000 | #Constraints: 43000 1909.23/1914.13 c #Conflicts: 733000 | #Constraints: 44508 1909.23/1914.13 c #Conflicts: 734000 | #Constraints: 46159 1909.23/1914.13 c #Conflicts: 735000 | #Constraints: 47779 1909.23/1914.13 c #Conflicts: 736000 | #Constraints: 49432 1909.23/1914.13 c #Conflicts: 737000 | #Constraints: 51051 1909.23/1914.13 c #Conflicts: 738000 | #Constraints: 52723 1909.23/1914.13 c #Conflicts: 739000 | #Constraints: 54349 1909.23/1914.13 c INPROCESSING 1909.23/1914.13 c GARBAGE COLLECT 1909.23/1914.13 c rational objective 0 2012.98/2018.18 c #Conflicts: 740000 | #Constraints: 28118 2012.98/2018.18 c #Conflicts: 741000 | #Constraints: 29119 2012.98/2018.18 c #Conflicts: 742000 | #Constraints: 30121 2012.98/2018.18 c #Conflicts: 743000 | #Constraints: 31124 2012.98/2018.18 c #Conflicts: 744000 | #Constraints: 32133 2012.98/2018.18 c #Conflicts: 745000 | #Constraints: 33136 2012.98/2018.18 c #Conflicts: 746000 | #Constraints: 34142 2012.98/2018.18 c #Conflicts: 747000 | #Constraints: 35148 2012.98/2018.18 c #Conflicts: 748000 | #Constraints: 36152 2012.98/2018.18 c #Conflicts: 749000 | #Constraints: 37155 2012.98/2018.18 c #Conflicts: 750000 | #Constraints: 38166 2012.98/2018.18 c #Conflicts: 751000 | #Constraints: 39171 2012.98/2018.18 c #Conflicts: 752000 | #Constraints: 40180 2012.98/2018.18 c #Conflicts: 753000 | #Constraints: 41185 2012.98/2018.18 c #Conflicts: 754000 | #Constraints: 42197 2012.98/2018.18 c #Conflicts: 755000 | #Constraints: 43204 2012.98/2018.18 c #Conflicts: 756000 | #Constraints: 44210 2012.98/2018.18 c INPROCESSING 2012.98/2018.18 c GARBAGE COLLECT 2012.98/2018.18 c rational objective 0 2093.18/2098.50 c #Conflicts: 757000 | #Constraints: 23068 2093.18/2098.50 c #Conflicts: 758000 | #Constraints: 24708 2093.18/2098.50 c #Conflicts: 759000 | #Constraints: 26334 2093.18/2098.50 c #Conflicts: 760000 | #Constraints: 27947 2093.18/2098.50 c #Conflicts: 761000 | #Constraints: 29542 2093.18/2098.50 c #Conflicts: 762000 | #Constraints: 31031 2093.18/2098.50 c #Conflicts: 763000 | #Constraints: 32665 2093.18/2098.50 c #Conflicts: 764000 | #Constraints: 34293 2093.18/2098.50 c #Conflicts: 765000 | #Constraints: 35903 2093.18/2098.50 c #Conflicts: 766000 | #Constraints: 37540 2093.18/2098.50 c #Conflicts: 767000 | #Constraints: 39205 2093.18/2098.50 c #Conflicts: 768000 | #Constraints: 40829 2093.18/2098.50 c #Conflicts: 769000 | #Constraints: 42240 2093.18/2098.50 c #Conflicts: 770000 | #Constraints: 43836 2093.18/2098.50 c #Conflicts: 771000 | #Constraints: 45459 2093.18/2098.50 c #Conflicts: 772000 | #Constraints: 47109 2093.18/2098.50 c #Conflicts: 773000 | #Constraints: 48765 2093.18/2098.50 c #Conflicts: 774000 | #Constraints: 50409 2093.18/2098.50 c INPROCESSING 2093.18/2098.50 c GARBAGE COLLECT 2093.18/2098.50 c rational objective 0 2210.30/2215.91 c #Conflicts: 775000 | #Constraints: 26514 2210.30/2215.91 c #Conflicts: 776000 | #Constraints: 27614 2210.30/2215.91 c #Conflicts: 777000 | #Constraints: 28804 2210.30/2215.91 c #Conflicts: 778000 | #Constraints: 29987 2210.30/2215.91 c #Conflicts: 779000 | #Constraints: 31078 2210.30/2215.91 c #Conflicts: 780000 | #Constraints: 32155 2210.30/2215.91 c #Conflicts: 781000 | #Constraints: 33230 2210.30/2215.91 c #Conflicts: 782000 | #Constraints: 34345 2210.30/2215.91 c #Conflicts: 783000 | #Constraints: 35749 2210.30/2215.91 c #Conflicts: 784000 | #Constraints: 36926 2210.30/2215.91 c #Conflicts: 785000 | #Constraints: 38161 2210.30/2215.91 c #Conflicts: 786000 | #Constraints: 39469 2210.30/2215.91 c #Conflicts: 787000 | #Constraints: 40700 2210.30/2215.91 c #Conflicts: 788000 | #Constraints: 41718 2210.30/2215.91 c #Conflicts: 789000 | #Constraints: 42944 2210.30/2215.91 c #Conflicts: 790000 | #Constraints: 44289 2210.30/2215.91 c #Conflicts: 791000 | #Constraints: 45486 2210.30/2215.91 c #Conflicts: 792000 | #Constraints: 46715 2210.30/2215.91 c INPROCESSING 2210.30/2215.91 c GARBAGE COLLECT 2210.30/2215.91 c rational objective 0 2268.87/2274.63 c #Conflicts: 793000 | #Constraints: 24382 2268.87/2274.63 c #Conflicts: 794000 | #Constraints: 25385 2268.87/2274.63 c #Conflicts: 795000 | #Constraints: 26388 2268.87/2274.63 c #Conflicts: 796000 | #Constraints: 27392 2268.87/2274.63 c #Conflicts: 797000 | #Constraints: 28396 2268.87/2274.63 c #Conflicts: 798000 | #Constraints: 29404 2268.87/2274.63 c #Conflicts: 799000 | #Constraints: 30406 2268.87/2274.63 c #Conflicts: 800000 | #Constraints: 31412 2268.87/2274.63 c #Conflicts: 801000 | #Constraints: 32413 2268.87/2274.63 c #Conflicts: 802000 | #Constraints: 33415 2268.87/2274.63 c #Conflicts: 803000 | #Constraints: 34419 2268.87/2274.63 c #Conflicts: 804000 | #Constraints: 35420 2268.87/2274.63 c #Conflicts: 805000 | #Constraints: 36425 2268.87/2274.63 c #Conflicts: 806000 | #Constraints: 37430 2268.87/2274.63 c #Conflicts: 807000 | #Constraints: 38432 2268.87/2274.63 c #Conflicts: 808000 | #Constraints: 39434 2268.87/2274.63 c #Conflicts: 809000 | #Constraints: 40439 2268.87/2274.63 c #Conflicts: 810000 | #Constraints: 41443 2268.87/2274.63 c INPROCESSING 2268.87/2274.63 c GARBAGE COLLECT 2268.87/2274.63 c rational objective 0 2402.95/2409.00 c #Conflicts: 811000 | #Constraints: 22366 2402.95/2409.00 c #Conflicts: 812000 | #Constraints: 23981 2402.95/2409.00 c #Conflicts: 813000 | #Constraints: 25638 2402.95/2409.00 c #Conflicts: 814000 | #Constraints: 27305 2402.95/2409.00 c #Conflicts: 815000 | #Constraints: 29009 2402.95/2409.00 c #Conflicts: 816000 | #Constraints: 30660 2402.95/2409.00 c #Conflicts: 817000 | #Constraints: 32292 2402.95/2409.00 c #Conflicts: 818000 | #Constraints: 33951 2402.95/2409.00 c #Conflicts: 819000 | #Constraints: 35589 2402.95/2409.00 c #Conflicts: 820000 | #Constraints: 37245 2402.95/2409.00 c #Conflicts: 821000 | #Constraints: 38917 2402.95/2409.00 c #Conflicts: 822000 | #Constraints: 40578 2402.95/2409.00 c #Conflicts: 823000 | #Constraints: 42192 2402.95/2409.00 c #Conflicts: 824000 | #Constraints: 43867 2402.95/2409.00 c #Conflicts: 825000 | #Constraints: 45576 2402.95/2409.00 c #Conflicts: 826000 | #Constraints: 47274 2402.95/2409.00 c #Conflicts: 827000 | #Constraints: 48890 2402.95/2409.00 c #Conflicts: 828000 | #Constraints: 50493 2402.95/2409.00 c INPROCESSING 2402.95/2409.00 c GARBAGE COLLECT 2402.95/2409.00 c rational objective 0 2481.36/2487.67 c #Conflicts: 829000 | #Constraints: 26542 2481.36/2487.67 c #Conflicts: 830000 | #Constraints: 27701 2481.36/2487.67 c #Conflicts: 831000 | #Constraints: 28852 2481.36/2487.67 c #Conflicts: 832000 | #Constraints: 30444 2481.36/2487.67 c #Conflicts: 833000 | #Constraints: 31951 2481.36/2487.67 c #Conflicts: 834000 | #Constraints: 33349 2481.36/2487.67 c #Conflicts: 835000 | #Constraints: 34401 2481.36/2487.67 c #Conflicts: 836000 | #Constraints: 35437 2481.36/2487.67 c #Conflicts: 837000 | #Constraints: 36769 2481.36/2487.67 c #Conflicts: 838000 | #Constraints: 38330 2481.36/2487.67 c #Conflicts: 839000 | #Constraints: 39471 2481.36/2487.67 c #Conflicts: 840000 | #Constraints: 40948 2481.36/2487.67 c #Conflicts: 841000 | #Constraints: 42418 2481.36/2487.67 c #Conflicts: 842000 | #Constraints: 43536 2481.36/2487.67 c #Conflicts: 843000 | #Constraints: 44718 2481.36/2487.67 c #Conflicts: 844000 | #Constraints: 45723 2481.36/2487.67 c #Conflicts: 845000 | #Constraints: 47389 2481.36/2487.67 c #Conflicts: 846000 | #Constraints: 48669 2481.36/2487.67 c INPROCESSING 2481.36/2487.67 c GARBAGE COLLECT 2481.36/2487.67 c rational objective 0 2554.59/2561.00 c #Conflicts: 847000 | #Constraints: 25435 2554.59/2561.00 c #Conflicts: 848000 | #Constraints: 26671 2554.59/2561.00 c #Conflicts: 849000 | #Constraints: 27989 2554.59/2561.00 c #Conflicts: 850000 | #Constraints: 29467 2554.59/2561.00 c #Conflicts: 851000 | #Constraints: 30490 2554.59/2561.00 c #Conflicts: 852000 | #Constraints: 31653 2554.59/2561.00 c #Conflicts: 853000 | #Constraints: 33133 2554.59/2561.00 c #Conflicts: 854000 | #Constraints: 34738 2554.59/2561.00 c #Conflicts: 855000 | #Constraints: 35770 2554.59/2561.00 c #Conflicts: 856000 | #Constraints: 36919 2554.59/2561.00 c #Conflicts: 857000 | #Constraints: 38129 2554.59/2561.00 c #Conflicts: 858000 | #Constraints: 39334 2554.59/2561.00 c #Conflicts: 859000 | #Constraints: 40337 2554.59/2561.00 c #Conflicts: 860000 | #Constraints: 41463 2554.59/2561.00 c #Conflicts: 861000 | #Constraints: 42757 2554.59/2561.00 c #Conflicts: 862000 | #Constraints: 44066 2554.59/2561.00 c #Conflicts: 863000 | #Constraints: 45316 2554.59/2561.00 c #Conflicts: 864000 | #Constraints: 46661 2554.59/2561.00 c #Conflicts: 865000 | #Constraints: 47661 2554.59/2561.00 c INPROCESSING 2554.59/2561.00 c GARBAGE COLLECT 2554.59/2561.00 c rational objective 0 2676.00/2682.79 c #Conflicts: 866000 | #Constraints: 24930 2676.00/2682.79 c #Conflicts: 867000 | #Constraints: 26192 2676.00/2682.79 c #Conflicts: 868000 | #Constraints: 27193 2676.00/2682.79 c #Conflicts: 869000 | #Constraints: 28194 2676.00/2682.79 c #Conflicts: 870000 | #Constraints: 29229 2676.00/2682.79 c #Conflicts: 871000 | #Constraints: 30274 2676.00/2682.79 c #Conflicts: 872000 | #Constraints: 31937 2676.00/2682.79 c #Conflicts: 873000 | #Constraints: 33525 2676.00/2682.79 c #Conflicts: 874000 | #Constraints: 34612 2676.00/2682.79 c #Conflicts: 875000 | #Constraints: 35612 2676.00/2682.79 c #Conflicts: 876000 | #Constraints: 36612 2676.00/2682.79 c #Conflicts: 877000 | #Constraints: 37613 2676.00/2682.79 c #Conflicts: 878000 | #Constraints: 38614 2676.00/2682.79 c #Conflicts: 879000 | #Constraints: 39901 2676.00/2682.79 c #Conflicts: 880000 | #Constraints: 40901 2676.00/2682.79 c #Conflicts: 881000 | #Constraints: 42034 2676.00/2682.79 c #Conflicts: 882000 | #Constraints: 43062 2676.00/2682.79 c #Conflicts: 883000 | #Constraints: 44065 2676.00/2682.79 c #Conflicts: 884000 | #Constraints: 45250 2676.00/2682.79 c INPROCESSING 2676.00/2682.79 c GARBAGE COLLECT 2676.00/2682.79 c rational objective 0 2775.86/2782.83 c #Conflicts: 885000 | #Constraints: 24241 2775.86/2782.83 c #Conflicts: 886000 | #Constraints: 25879 2775.86/2782.83 c #Conflicts: 887000 | #Constraints: 27526 2775.86/2782.83 c #Conflicts: 888000 | #Constraints: 29143 2775.86/2782.83 c #Conflicts: 889000 | #Constraints: 30760 2775.86/2782.83 c #Conflicts: 890000 | #Constraints: 32413 2775.86/2782.83 c #Conflicts: 891000 | #Constraints: 34044 2775.86/2782.83 c #Conflicts: 892000 | #Constraints: 35678 2775.86/2782.83 c #Conflicts: 893000 | #Constraints: 37336 2775.86/2782.83 c #Conflicts: 894000 | #Constraints: 38980 2775.86/2782.83 c #Conflicts: 895000 | #Constraints: 40603 2775.86/2782.83 c #Conflicts: 896000 | #Constraints: 42228 2775.86/2782.83 c #Conflicts: 897000 | #Constraints: 43847 2775.86/2782.83 c #Conflicts: 898000 | #Constraints: 45481 2775.86/2782.83 c #Conflicts: 899000 | #Constraints: 47097 2775.86/2782.83 c #Conflicts: 900000 | #Constraints: 48742 2775.86/2782.83 c #Conflicts: 901000 | #Constraints: 50384 2775.86/2782.83 c #Conflicts: 902000 | #Constraints: 52033 2775.86/2782.83 c #Conflicts: 903000 | #Constraints: 53649 2775.86/2782.83 c INPROCESSING 2775.86/2782.83 c GARBAGE COLLECT 2775.86/2782.83 c rational objective 0 2895.40/2902.68 c #Conflicts: 904000 | #Constraints: 27847 2895.40/2902.68 c #Conflicts: 905000 | #Constraints: 28851 2895.40/2902.68 c #Conflicts: 906000 | #Constraints: 29855 2895.40/2902.68 c #Conflicts: 907000 | #Constraints: 30858 2895.40/2902.68 c #Conflicts: 908000 | #Constraints: 31860 2895.40/2902.68 c #Conflicts: 909000 | #Constraints: 32868 2895.40/2902.68 c #Conflicts: 910000 | #Constraints: 33868 2895.40/2902.68 c #Conflicts: 911000 | #Constraints: 34870 2895.40/2902.68 c #Conflicts: 912000 | #Constraints: 35872 2895.40/2902.68 c #Conflicts: 913000 | #Constraints: 36872 2895.40/2902.68 c #Conflicts: 914000 | #Constraints: 37873 2895.40/2902.68 c #Conflicts: 915000 | #Constraints: 38874 2895.40/2902.68 c #Conflicts: 916000 | #Constraints: 39875 2895.40/2902.68 c #Conflicts: 917000 | #Constraints: 40877 2895.40/2902.68 c #Conflicts: 918000 | #Constraints: 41880 2895.40/2902.68 c #Conflicts: 919000 | #Constraints: 42881 2895.40/2902.68 c #Conflicts: 920000 | #Constraints: 43883 2895.40/2902.68 c #Conflicts: 921000 | #Constraints: 44884 2895.40/2902.68 c #Conflicts: 922000 | #Constraints: 45885 2895.40/2902.68 c INPROCESSING 2895.40/2902.68 c GARBAGE COLLECT 2895.40/2902.68 c rational objective 0 2976.10/2983.56 c #Conflicts: 923000 | #Constraints: 23869 2976.10/2983.56 c #Conflicts: 924000 | #Constraints: 24985 2976.10/2983.56 c #Conflicts: 925000 | #Constraints: 26218 2976.10/2983.56 c #Conflicts: 926000 | #Constraints: 27220 2976.10/2983.56 c #Conflicts: 927000 | #Constraints: 28223 2976.10/2983.56 c #Conflicts: 928000 | #Constraints: 29275 2976.10/2983.56 c #Conflicts: 929000 | #Constraints: 30526 2976.10/2983.56 c #Conflicts: 930000 | #Constraints: 31526 2976.10/2983.56 c #Conflicts: 931000 | #Constraints: 32831 2976.10/2983.56 c #Conflicts: 932000 | #Constraints: 34284 2976.10/2983.56 c #Conflicts: 933000 | #Constraints: 35325 2976.10/2983.56 c #Conflicts: 934000 | #Constraints: 36615 2976.10/2983.56 c #Conflicts: 935000 | #Constraints: 37865 2976.10/2983.56 c #Conflicts: 936000 | #Constraints: 38865 2976.10/2983.56 c #Conflicts: 937000 | #Constraints: 39865 2976.10/2983.56 c #Conflicts: 938000 | #Constraints: 40867 2976.10/2983.56 c #Conflicts: 939000 | #Constraints: 41867 2976.10/2983.56 c #Conflicts: 940000 | #Constraints: 42969 2976.10/2983.56 c #Conflicts: 941000 | #Constraints: 43972 2976.10/2983.56 c INPROCESSING 2976.10/2983.56 c GARBAGE COLLECT 2976.10/2983.56 c rational objective 0 3050.23/3057.87 c #Conflicts: 942000 | #Constraints: 22711 3050.23/3057.87 c #Conflicts: 943000 | #Constraints: 23715 3050.23/3057.87 c #Conflicts: 944000 | #Constraints: 24717 3050.23/3057.87 c #Conflicts: 945000 | #Constraints: 25717 3050.23/3057.87 c #Conflicts: 946000 | #Constraints: 26718 3050.23/3057.87 c #Conflicts: 947000 | #Constraints: 27719 3050.23/3057.87 c #Conflicts: 948000 | #Constraints: 28721 3050.23/3057.87 c #Conflicts: 949000 | #Constraints: 29722 3050.23/3057.87 c #Conflicts: 950000 | #Constraints: 30722 3050.23/3057.87 c #Conflicts: 951000 | #Constraints: 31724 3050.23/3057.87 c #Conflicts: 952000 | #Constraints: 32725 3050.23/3057.87 c #Conflicts: 953000 | #Constraints: 33726 3050.23/3057.87 c #Conflicts: 954000 | #Constraints: 34727 3050.23/3057.87 c #Conflicts: 955000 | #Constraints: 35728 3050.23/3057.87 c #Conflicts: 956000 | #Constraints: 36729 3050.23/3057.87 c #Conflicts: 957000 | #Constraints: 37730 3050.23/3057.87 c #Conflicts: 958000 | #Constraints: 38731 3050.23/3057.87 c #Conflicts: 959000 | #Constraints: 39731 3050.23/3057.87 c #Conflicts: 960000 | #Constraints: 40732 3050.23/3057.87 c #Conflicts: 961000 | #Constraints: 41734 3050.23/3057.87 c INPROCESSING 3050.23/3057.87 c GARBAGE COLLECT 3050.23/3057.87 c rational objective 0 3194.78/3202.70 c #Conflicts: 962000 | #Constraints: 22258 3194.78/3202.70 c #Conflicts: 963000 | #Constraints: 23875 3194.78/3202.70 c #Conflicts: 964000 | #Constraints: 25552 3194.78/3202.70 c #Conflicts: 965000 | #Constraints: 27230 3194.78/3202.70 c #Conflicts: 966000 | #Constraints: 28903 3194.78/3202.70 c #Conflicts: 967000 | #Constraints: 30602 3194.78/3202.70 c #Conflicts: 968000 | #Constraints: 32295 3194.78/3202.70 c #Conflicts: 969000 | #Constraints: 33937 3194.78/3202.70 c #Conflicts: 970000 | #Constraints: 35591 3194.78/3202.70 c #Conflicts: 971000 | #Constraints: 37283 3194.78/3202.70 c #Conflicts: 972000 | #Constraints: 38934 3194.78/3202.70 c #Conflicts: 973000 | #Constraints: 40550 3194.78/3202.70 c #Conflicts: 974000 | #Constraints: 42164 3194.78/3202.70 c #Conflicts: 975000 | #Constraints: 43876 3194.78/3202.70 c #Conflicts: 976000 | #Constraints: 45561 3194.78/3202.70 c #Conflicts: 977000 | #Constraints: 47262 3194.78/3202.70 c #Conflicts: 978000 | #Constraints: 48935 3194.78/3202.70 c #Conflicts: 979000 | #Constraints: 50639 3194.78/3202.70 c #Conflicts: 980000 | #Constraints: 52350 3194.78/3202.70 c #Conflicts: 981000 | #Constraints: 54064 3194.78/3202.70 c INPROCESSING 3194.78/3202.70 c GARBAGE COLLECT 3194.78/3202.70 c rational objective 0 3283.37/3291.51 c #Conflicts: 982000 | #Constraints: 28377 3283.37/3291.51 c #Conflicts: 983000 | #Constraints: 29576 3283.37/3291.51 c #Conflicts: 984000 | #Constraints: 30831 3283.37/3291.51 c #Conflicts: 985000 | #Constraints: 31900 3283.37/3291.51 c #Conflicts: 986000 | #Constraints: 33274 3283.37/3291.51 c #Conflicts: 987000 | #Constraints: 34444 3283.37/3291.51 c #Conflicts: 988000 | #Constraints: 35570 3283.37/3291.51 c #Conflicts: 989000 | #Constraints: 36627 3283.37/3291.51 c #Conflicts: 990000 | #Constraints: 37669 3283.37/3291.51 c #Conflicts: 991000 | #Constraints: 38851 3283.37/3291.51 c #Conflicts: 992000 | #Constraints: 39872 3283.37/3291.51 c #Conflicts: 993000 | #Constraints: 40874 3283.37/3291.51 c #Conflicts: 994000 | #Constraints: 41965 3283.37/3291.51 c #Conflicts: 995000 | #Constraints: 43065 3283.37/3291.51 c #Conflicts: 996000 | #Constraints: 44469 3283.37/3291.51 c #Conflicts: 997000 | #Constraints: 45530 3283.37/3291.51 c #Conflicts: 998000 | #Constraints: 46571 3283.37/3291.51 c #Conflicts: 999000 | #Constraints: 47661 3283.37/3291.51 c #Conflicts: 1000000 | #Constraints: 48947 3283.37/3291.51 c #Conflicts: 1001000 | #Constraints: 50034 3283.37/3291.51 c INPROCESSING 3283.37/3291.51 c GARBAGE COLLECT 3283.37/3291.51 c rational objective 0 3454.48/3463.02 c #Conflicts: 1002000 | #Constraints: 26041 3454.48/3463.02 c #Conflicts: 1003000 | #Constraints: 27044 3454.48/3463.02 c #Conflicts: 1004000 | #Constraints: 28687 3454.48/3463.02 c #Conflicts: 1005000 | #Constraints: 30348 3454.48/3463.02 c #Conflicts: 1006000 | #Constraints: 32002 3454.48/3463.02 c #Conflicts: 1007000 | #Constraints: 33679 3454.48/3463.02 c #Conflicts: 1008000 | #Constraints: 35305 3454.48/3463.02 c #Conflicts: 1009000 | #Constraints: 36977 3454.48/3463.02 c #Conflicts: 1010000 | #Constraints: 38023 3454.48/3463.02 c #Conflicts: 1011000 | #Constraints: 39386 3454.48/3463.02 c #Conflicts: 1012000 | #Constraints: 41135 3454.48/3463.02 c #Conflicts: 1013000 | #Constraints: 42829 3454.48/3463.02 c #Conflicts: 1014000 | #Constraints: 44558 3454.48/3463.02 c #Conflicts: 1015000 | #Constraints: 46321 3454.48/3463.02 c #Conflicts: 1016000 | #Constraints: 47994 3454.48/3463.02 c #Conflicts: 1017000 | #Constraints: 49662 3454.48/3463.02 c #Conflicts: 1018000 | #Constraints: 50706 3454.48/3463.02 c #Conflicts: 1019000 | #Constraints: 52233 3454.48/3463.02 c #Conflicts: 1020000 | #Constraints: 53908 3454.48/3463.02 c #Conflicts: 1021000 | #Constraints: 55624 3454.48/3463.02 c INPROCESSING 3454.48/3463.02 c GARBAGE COLLECT 3454.48/3463.02 c rational objective 0 3600.02/3608.90 c #Conflicts: 1022000 | #Constraints: 29366 3600.02/3608.90 c #Conflicts: 1023000 | #Constraints: 31081 3600.02/3608.90 c #Conflicts: 1024000 | #Constraints: 32775 3600.02/3608.90 c #Conflicts: 1025000 | #Constraints: 34408 3600.02/3608.90 c #Conflicts: 1026000 | #Constraints: 36017 3600.02/3608.90 c #Conflicts: 1027000 | #Constraints: 37691 3600.02/3608.90 c #Conflicts: 1028000 | #Constraints: 39368 3600.02/3608.90 c #Conflicts: 1029000 | #Constraints: 41058 3600.02/3608.90 c #Conflicts: 1030000 | #Constraints: 42735 3600.02/3608.90 c #Conflicts: 1031000 | #Constraints: 43869 3600.02/3608.90 c #Conflicts: 1032000 | #Constraints: 45330 3600.02/3608.90 c #Conflicts: 1033000 | #Constraints: 47029 3600.02/3608.90 c #Conflicts: 1034000 | #Constraints: 48675 3600.02/3608.90 c #Conflicts: 1035000 | #Constraints: 50346 3600.02/3608.90 c #Conflicts: 1036000 | #Constraints: 52053 3600.02/3608.90 c #Conflicts: 1037000 | #Constraints: 53752 3600.02/3608.90 c #Conflicts: 1038000 | #Constraints: 55458 3600.02/3608.90 c #Conflicts: 1039000 | #Constraints: 57117 3600.02/3608.90 c #Conflicts: 1040000 | #Constraints: 58819 3600.02/3608.90 c Program interrupted by user. 3600.02/3608.90 c cpu time 3588.48 s 3600.02/3608.90 c deterministic time 580104436881 5.80e+11 3600.02/3608.90 c optimization time 145.199 s 3600.02/3608.90 c total solve time 3443.28 s 3600.02/3608.90 c core-guided solve time 1618.01 s 3600.02/3608.90 c propagation time 3421.94 s 3600.02/3608.90 c conflict analysis time 142.541 s 3600.02/3608.90 c propagations 30982082 3600.02/3608.90 c resolve steps 6907523 3600.02/3608.90 c decisions 2110669 3600.02/3608.90 c conflicts 1040437 3600.02/3608.90 c restarts 2046 3600.02/3608.90 c inprocessing phases 92 3600.02/3608.90 c input clauses 0 3600.02/3608.90 c input cardinalities 0 3600.02/3608.90 c input general constraints 60 3600.02/3608.90 c input average constraint length 99.37 3600.02/3608.90 c input average constraint degree 1838.10 3600.02/3608.90 c learned clauses 479489 3600.02/3608.90 c learned cardinalities 0 3600.02/3608.90 c learned general constraints 805414 3600.02/3608.90 c learned average constraint length 106.51 3600.02/3608.90 c learned average constraint degree 2046419907.72 3600.02/3608.90 c watched constraints 804961 3600.02/3608.90 c counting constraints 513 3600.02/3608.90 c gcd simplifications 424531 3600.02/3608.90 c detected cardinalities 0 3600.02/3608.90 c weakened non-implied lits 28433498 3600.02/3608.90 c weakened non-implying lits 937988 3600.02/3608.90 c original variables 198 3600.02/3608.90 c clausal propagations 300285 3600.02/3608.90 c cardinality propagations 0 3600.02/3608.90 c watched propagations 29433221 3600.02/3608.90 c counting propagations 570167 3600.02/3608.90 c watch lookups 24363200705 3600.02/3608.90 c watch backjump lookups 7617438715 3600.02/3608.90 c watch checks 521741791888 3600.02/3608.90 c propagation checks 25265518821 3600.02/3608.90 c constraint additions 1048233880 3600.02/3608.90 c trail pops 34130376 3600.02/3608.90 c formula constraints 16 3600.02/3608.90 c learned constraints 1037822 3600.02/3608.90 c bound constraints 44 3600.02/3608.90 c core-guided constraints 0 3600.02/3608.90 c encountered formula constraints 39698 3600.02/3608.90 c encountered learned constraints 2067521 3600.02/3608.90 c encountered bound constraints 851 3600.02/3608.90 c encountered core-guided constraints 0 3600.02/3608.90 c LP total time 56.7238 s 3600.02/3608.90 c LP solve time 32.8 s 3600.02/3608.90 c LP constraints added 185 3600.02/3608.90 c LP constraints removed 168 3600.02/3608.90 c LP pivots internal 1028976 3600.02/3608.90 c LP pivots root 768 3600.02/3608.90 c LP calls 390156 3600.02/3608.90 c LP optimalities 145827 3600.02/3608.90 c LP no pivot count 54935 3600.02/3608.90 c LP infeasibilities 244322 3600.02/3608.90 c LP valid Farkas constraints 244318 3600.02/3608.90 c LP learned Farkas constraints 2614 3600.02/3608.90 c LP basis resets 8 3600.02/3608.90 c LP cycling count 0 3600.02/3608.90 c LP singular count 7 3600.02/3608.90 c LP no primal count 0 3600.02/3608.90 c LP no farkas count 1 3600.02/3608.90 c LP other issue count 0 3600.02/3608.90 c LP Gomory cuts 149 3600.02/3608.90 c LP learned cuts 20 3600.02/3608.90 c LP deleted cuts 168 3600.02/3608.90 c LP encountered Gomory constraints 6234 3600.02/3608.90 c LP encountered Farkas constraints 5153679 3600.02/3608.90 c LP encountered learned Farkas constraints 677363 3600.02/3608.90 c CG auxiliary variables introduced 0 3600.02/3608.90 c CG solutions found 44 3600.02/3608.90 c CG cores constructed 0 3600.02/3608.90 c CG core cardinality constraints returned 0 3600.02/3608.90 c CG unit cores 0 3600.02/3608.90 c CG single cores 0 3600.02/3608.90 c CG blocks removed during cardinality reduction 0 3600.02/3608.90 c CG first core best 0 3600.02/3608.90 c CG decision core best 0 3600.02/3608.90 c CG core reduction tie 0 3600.02/3608.90 c CG core degree average 0.00 3600.02/3608.90 c CG core slack average 0.00 3600.02/3608.90 s SATISFIABLE 3600.02/3608.90 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
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 (62189 MiB free)
memory of node 1: 64510 MiB (63197 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455176-1721459492/watcher-4455176-1721459492 -o /tmp/evaluation-result-4455176-1721459492/solver-4455176-1721459492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721455874-1042522 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455176-1721459492.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1044878, runsolver pid=1044875
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.06 4.13 4.15 5/257 1044879
/proc/meminfo: memFree=128393640/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=37972 memory=9272 CPUtime=0.1 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 677 0 0 0 9 1 0 0 20 0 1 0 198114068 38883328 2318 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 9493 2318 1879 922 0 1445 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 9272 KiB
[startup+0.205577 s]*
/proc/loadavg: 4.06 4.13 4.15 5/257 1044879
/proc/meminfo: memFree=128392632/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=38368 memory=10328 CPUtime=0.2 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 911 0 0 0 19 1 0 0 20 0 1 0 198114068 39288832 2582 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 9592 2582 1879 922 0 1544 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38368 KiB
Current children cumulated memory: 10328 KiB
[startup+0.30553 s]*
/proc/loadavg: 4.06 4.13 4.15 5/257 1044879
/proc/meminfo: memFree=128391624/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=38500 memory=10856 CPUtime=0.3 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 1062 0 0 0 28 2 0 0 20 0 1 0 198114068 39424000 2714 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 9625 2714 1879 922 0 1577 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38500 KiB
Current children cumulated memory: 10856 KiB
[startup+0.700221 s]
/proc/loadavg: 4.05 4.13 4.15 5/257 1044879
/proc/meminfo: memFree=128391288/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=39740 memory=14220 CPUtime=0.69 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 1359 0 0 0 65 4 0 0 20 0 1 0 198114068 40693760 3555 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 9935 3555 1879 922 0 1887 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 14220 KiB
[startup+1.50021 s]
/proc/loadavg: 4.05 4.13 4.15 6/257 1044879
/proc/meminfo: memFree=128388120/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=40400 memory=14864 CPUtime=1.49 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 1510 0 0 0 143 6 0 0 20 0 1 0 198114068 41369600 3716 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 10100 3716 1879 922 0 2052 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40400 KiB
Current children cumulated memory: 14864 KiB
[startup+3.10543 s]
/proc/loadavg: 4.05 4.13 4.15 5/257 1044879
/proc/meminfo: memFree=128384520/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=41632 memory=16324 CPUtime=3.08 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 1876 0 0 0 299 9 0 0 20 0 1 0 198114068 42631168 4081 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 10408 4081 1879 922 0 2360 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41632 KiB
Current children cumulated memory: 16324 KiB
[startup+6.3002 s]
/proc/loadavg: 4.05 4.13 4.15 5/257 1044879
/proc/meminfo: memFree=128379504/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=46276 memory=21220 CPUtime=6.27 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 2482 0 0 0 610 17 0 0 20 0 1 0 198114068 47386624 5305 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 11569 5305 1996 922 0 3521 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46276 KiB
Current children cumulated memory: 21220 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.13 4.15 5/257 1044927
/proc/meminfo: memFree=128434476/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=46820 memory=21632 CPUtime=12.66 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 2587 0 0 0 1239 27 0 0 20 0 1 0 198114068 47943680 5408 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 11705 5408 1996 922 0 3657 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 46820 KiB
Current children cumulated memory: 21632 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.12 4.15 5/257 1044975
/proc/meminfo: memFree=128362524/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=53320 memory=24224 CPUtime=25.42 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 3250 0 0 0 2496 46 0 0 20 0 1 0 198114068 54599680 6056 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 13330 6056 1996 922 0 5282 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 53320 KiB
Current children cumulated memory: 24224 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 4.12 4.15 5/257 1045026
/proc/meminfo: memFree=128634848/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=56008 memory=29184 CPUtime=50.97 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 3994 0 0 0 5022 75 0 0 20 0 1 0 198114068 57352192 7296 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 14002 7296 1996 922 0 5954 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 56008 KiB
Current children cumulated memory: 29184 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.10 4.14 5/257 1045035
/proc/meminfo: memFree=128595084/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=67476 memory=34468 CPUtime=102.01 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 5325 0 0 0 10076 125 0 0 20 0 1 0 198114068 69095424 8617 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 16869 8617 1996 922 0 8821 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 67476 KiB
Current children cumulated memory: 34468 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/258 1045047
/proc/meminfo: memFree=128559604/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=69212 memory=41552 CPUtime=161.87 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 5786 0 0 0 16020 167 0 0 20 0 1 0 198114068 70873088 10388 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 17303 10388 1996 922 0 9255 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 69212 KiB
Current children cumulated memory: 41552 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/256 1045057
/proc/meminfo: memFree=128546296/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=69980 memory=42384 CPUtime=221.72 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 6048 0 0 0 21969 203 0 0 20 0 1 0 198114068 71659520 10596 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 17495 10596 1996 922 0 9447 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 69980 KiB
Current children cumulated memory: 42384 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/255 1045067
/proc/meminfo: memFree=128523572/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=70124 memory=44692 CPUtime=281.57 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 6213 0 0 0 27920 237 0 0 20 0 1 0 198114068 71806976 11173 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 17531 11173 1996 922 0 9483 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 70124 KiB
Current children cumulated memory: 44692 KiB
[startup+342.3 s]
/proc/loadavg: 4.27 4.18 4.16 5/255 1045077
/proc/meminfo: memFree=128495908/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=75452 memory=47612 CPUtime=341.4 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 7039 0 0 0 33872 268 0 0 20 0 1 0 198114068 77262848 11903 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 18863 11903 1996 922 0 10815 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 75452 KiB
Current children cumulated memory: 47612 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/256 1045089
/proc/meminfo: memFree=128461392/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=94392 memory=65960 CPUtime=401.23 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 9097 0 0 0 39827 296 0 0 20 0 1 0 198114068 96657408 16490 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 23598 16490 1996 922 0 15550 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 94392 KiB
Current children cumulated memory: 65960 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/255 1045099
/proc/meminfo: memFree=128497596/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=97740 memory=69108 CPUtime=461.05 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 9975 0 0 0 45783 322 0 0 20 0 1 0 198114068 100085760 17277 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 24435 17277 1996 922 0 16387 0
################
# More data... #
################
Current children cumulated memory: 122344 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/256 1046708
/proc/meminfo: memFree=128223216/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=154568 memory=122344 CPUtime=2915.05 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 18673 0 0 0 290489 1016 0 0 20 0 1 0 198114068 158277632 30586 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38642 30586 2012 922 0 30594 0
Current children cumulated CPU time: 2915.05 s
Current children cumulated vsize: 154568 KiB
Current children cumulated memory: 122344 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/256 1046730
/proc/meminfo: memFree=128224788/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=154568 memory=122344 CPUtime=2974.9 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 18726 0 0 0 296460 1030 0 0 20 0 1 0 198114068 158277632 30586 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38642 30586 2012 922 0 30594 0
Current children cumulated CPU time: 2974.9 s
Current children cumulated vsize: 154568 KiB
Current children cumulated memory: 122344 KiB
[startup+3042.3 s]
/proc/loadavg: 4.21 4.18 4.13 5/256 1046740
/proc/meminfo: memFree=128221664/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=154568 memory=122344 CPUtime=3034.77 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 18771 0 0 0 302429 1048 0 0 20 0 1 0 198114068 158277632 30586 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38642 30586 2012 922 0 30594 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 154568 KiB
Current children cumulated memory: 122344 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/256 1046751
/proc/meminfo: memFree=128221376/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=154568 memory=122344 CPUtime=3094.63 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 18815 0 0 0 308402 1061 0 0 20 0 1 0 198114068 158277632 30586 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38642 30586 2012 922 0 30594 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 154568 KiB
Current children cumulated memory: 122344 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/257 1046763
/proc/meminfo: memFree=128218500/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=154568 memory=122360 CPUtime=3154.48 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 18878 0 0 0 314375 1073 0 0 20 0 1 0 198114068 158277632 30590 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38642 30590 2012 922 0 30594 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 154568 KiB
Current children cumulated memory: 122360 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/255 1046773
/proc/meminfo: memFree=128216944/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=155080 memory=122808 CPUtime=3214.34 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 19044 0 0 0 320348 1086 0 0 20 0 1 0 198114068 158801920 30702 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38770 30702 2012 922 0 30722 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 155080 KiB
Current children cumulated memory: 122808 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/255 1046783
/proc/meminfo: memFree=128215096/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=155080 memory=124264 CPUtime=3274.19 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 19101 0 0 0 326318 1101 0 0 20 0 1 0 198114068 158801920 31066 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38770 31066 2012 922 0 30722 0
Current children cumulated CPU time: 3274.19 s
Current children cumulated vsize: 155080 KiB
Current children cumulated memory: 124264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/255 1046793
/proc/meminfo: memFree=128214844/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=155080 memory=124264 CPUtime=3334.05 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 19148 0 0 0 332292 1113 0 0 20 0 1 0 198114068 158801920 31066 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38770 31066 2012 922 0 30722 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 155080 KiB
Current children cumulated memory: 124264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/255 1046804
/proc/meminfo: memFree=128212392/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=155264 memory=124324 CPUtime=3393.91 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 19216 0 0 0 338267 1124 0 0 20 0 1 0 198114068 158990336 31081 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38816 31081 2012 922 0 30768 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 155264 KiB
Current children cumulated memory: 124324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 1046814
/proc/meminfo: memFree=128211836/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=155520 memory=124556 CPUtime=3453.77 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 19333 0 0 0 344244 1133 0 0 20 0 1 0 198114068 159252480 31139 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38880 31139 2012 922 0 30832 0
Current children cumulated CPU time: 3453.77 s
Current children cumulated vsize: 155520 KiB
Current children cumulated memory: 124556 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 1046828
/proc/meminfo: memFree=128245896/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=155848 memory=124904 CPUtime=3513.63 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 19466 0 0 0 350219 1144 0 0 20 0 1 0 198114068 159588352 31226 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38962 31226 2012 922 0 30914 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 155848 KiB
Current children cumulated memory: 124904 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/257 1046840
/proc/meminfo: memFree=128244508/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=155848 memory=126952 CPUtime=3573.48 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 19526 0 0 0 356197 1151 0 0 20 0 1 0 198114068 159588352 31738 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 38962 31738 2012 922 0 30914 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 155848 KiB
Current children cumulated memory: 126952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1046893
/proc/meminfo: memFree=128219596/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=156288 memory=129216 CPUtime=3600.02 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 19643 0 0 0 358847 1155 0 0 20 0 1 0 198114068 160038912 32304 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 39072 32304 2012 922 0 31024 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 156288 KiB
Current children cumulated memory: 129216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 1044878 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.48 s, system=11.5605 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1046893
/proc/meminfo: memFree=128219596/131524600 swapFree=131071996/131071996
[pid=1044878] ppid=1044875 vsize=156288 memory=129216 CPUtime=3600.02 cores=4,6
/proc/1044878/stat : 1044878 (roundingsat) R 1044875 1044878 1042511 0 -1 4194304 19643 0 0 0 358847 1155 0 0 20 0 1 0 198114068 160038912 32304 134679101440 4194304 7968373 140722220960880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 35459072 140722220962748 140722220962912 140722220962912 140722220969929 0
/proc/1044878/statm: 39072 32304 2012 922 0 31024 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 156288 KiB
Current children cumulated memory: 129216 KiB
Child status: 0
Real time (s): 3608.9
CPU time (s): 3600.04
CPU user time (s): 3588.48
CPU system time (s): 11.5605
CPU usage (%): 99.7543
Max. virtual memory (cumulated for all children) (KiB): 156288
Max. memory (cumulated for all children) (KiB): 129216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.48
system time used= 11.5605
maximum resident set size= 129268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19652
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= 40
involuntary context switches= 1916
# summary of solver processes directly reported to runsolver:
# pid: 1044878
# total CPU time (s): 3600.04
# total CPU user time (s): 3588.48
# total CPU system time (s): 11.5605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85935 second user time and 16.3525 second system time
The end
Begin job on nodeC024 at 2024-07-20 09:11:45 IDJOB=4455176 IDBENCH=147586 IDSOLVER=3084 FILE ID=nodeC024/4455176-1721459492 RUNJOBID= nodeC024-1721455874-1042522 SLURM_JOB_ID= 7545689 Free space on /tmp= 890052 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-4455176-1721459492/watcher-4455176-1721459492 -o /tmp/evaluation-result-4455176-1721459492/solver-4455176-1721459492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721455874-1042522 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455176-1721459492.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6 RANDOM SEED=869150298 nodeC024.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 : 3665.431 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.60 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 : 3685.417 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 : 7007.08 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 : 3605.574 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.60 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 : 3600.377 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 : 7007.08 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 : 3652.156 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.60 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 : 3685.407 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 : 7007.08 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 : 3657.369 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.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.121 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 : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128396828 kB MemAvailable: 129262116 kB Buffers: 549096 kB Cached: 1159716 kB SwapCached: 0 kB Active: 1064720 kB Inactive: 1448876 kB Active(anon): 1556 kB Inactive(anon): 848824 kB Active(file): 1063164 kB Inactive(file): 600052 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 31004 kB Writeback: 0 kB AnonPages: 803516 kB Mapped: 117228 kB Shmem: 45912 kB KReclaimable: 83440 kB Slab: 195132 kB SReclaimable: 83440 kB SUnreclaim: 111692 kB KernelStack: 4144 kB PageTables: 11020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1257820 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71872 kB HardwareCorrupted: 0 kB AnonHugePages: 628736 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: 299732 kB DirectMap2M: 36173824 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890052 MiB End job on nodeC024 at 2024-07-20 10:11:54