| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.09 | 3609.3 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_4.opb |
| MD5SUM | f08684a49e4744afc6bcc5ce80f1fe7b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 71 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 1 |
| 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 | 1 |
| Maximum length of a constraint | 70 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5644 |
| 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 71 #constraints 17 0.00/0.00 c bounds - >= 0 @ 0.000269 0.00/0.00 c rational objective 0 0.20/0.20 c #Conflicts: 1000 | #Constraints: 1039 0.20/0.20 c #Conflicts: 2000 | #Constraints: 2053 0.20/0.20 c INPROCESSING 0.20/0.20 c GARBAGE COLLECT 0.20/0.20 c rational objective 0 0.50/0.58 c #Conflicts: 3000 | #Constraints: 2047 0.50/0.58 c #Conflicts: 4000 | #Constraints: 3053 0.50/0.58 c INPROCESSING 0.50/0.58 c GARBAGE COLLECT 0.50/0.58 c rational objective 0 0.99/1.02 c #Conflicts: 5000 | #Constraints: 2455 0.99/1.02 c #Conflicts: 6000 | #Constraints: 3468 0.99/1.02 c INPROCESSING 0.99/1.02 c GARBAGE COLLECT 0.99/1.02 c rational objective 0 1.58/1.64 c #Conflicts: 7000 | #Constraints: 2453 1.58/1.64 c #Conflicts: 8000 | #Constraints: 3456 1.58/1.64 c #Conflicts: 9000 | #Constraints: 4459 1.58/1.64 c INPROCESSING 1.58/1.64 c GARBAGE COLLECT 1.58/1.64 c rational objective 0 2.29/2.32 c #Conflicts: 10000 | #Constraints: 3154 2.29/2.32 c #Conflicts: 11000 | #Constraints: 4160 2.29/2.32 c #Conflicts: 12000 | #Constraints: 5164 2.29/2.32 c INPROCESSING 2.29/2.32 c GARBAGE COLLECT 2.29/2.32 c rational objective 0 3.09/3.11 c #Conflicts: 13000 | #Constraints: 3601 3.09/3.11 c #Conflicts: 14000 | #Constraints: 4608 3.09/3.11 c #Conflicts: 15000 | #Constraints: 5612 3.09/3.11 c INPROCESSING 3.09/3.11 c GARBAGE COLLECT 3.09/3.11 c rational objective 0 4.18/4.20 c #Conflicts: 16000 | #Constraints: 3830 4.18/4.20 c #Conflicts: 17000 | #Constraints: 4832 4.18/4.20 c #Conflicts: 18000 | #Constraints: 5832 4.18/4.20 c INPROCESSING 4.18/4.20 c GARBAGE COLLECT 4.18/4.20 c rational objective 0 5.28/5.39 c #Conflicts: 19000 | #Constraints: 3835 5.28/5.39 c #Conflicts: 20000 | #Constraints: 4839 5.28/5.39 c #Conflicts: 21000 | #Constraints: 5841 5.28/5.39 c INPROCESSING 5.28/5.39 c GARBAGE COLLECT 5.28/5.39 c rational objective 0 6.58/6.66 c #Conflicts: 22000 | #Constraints: 3636 6.58/6.66 c #Conflicts: 23000 | #Constraints: 4641 6.58/6.66 c #Conflicts: 24000 | #Constraints: 5642 6.58/6.66 c #Conflicts: 25000 | #Constraints: 6646 6.58/6.66 c INPROCESSING 6.58/6.66 c GARBAGE COLLECT 6.58/6.66 c rational objective 0 8.08/8.17 c #Conflicts: 26000 | #Constraints: 4247 8.08/8.17 c #Conflicts: 27000 | #Constraints: 5248 8.08/8.17 c #Conflicts: 28000 | #Constraints: 6249 8.08/8.17 c #Conflicts: 29000 | #Constraints: 7251 8.08/8.17 c INPROCESSING 8.08/8.17 c GARBAGE COLLECT 8.08/8.17 c rational objective 0 9.67/9.77 c #Conflicts: 30000 | #Constraints: 4645 9.67/9.77 c #Conflicts: 31000 | #Constraints: 5645 9.67/9.77 c #Conflicts: 32000 | #Constraints: 6650 9.67/9.77 c #Conflicts: 33000 | #Constraints: 7651 9.67/9.77 c INPROCESSING 9.67/9.77 c GARBAGE COLLECT 9.67/9.77 c rational objective 0 12.46/12.53 c #Conflicts: 34000 | #Constraints: 5389 12.46/12.53 c #Conflicts: 35000 | #Constraints: 7076 12.46/12.53 c #Conflicts: 36000 | #Constraints: 8782 12.46/12.53 c #Conflicts: 37000 | #Constraints: 10463 12.46/12.53 c INPROCESSING 12.46/12.53 c GARBAGE COLLECT 12.46/12.53 c rational objective 0 15.76/15.82 c #Conflicts: 38000 | #Constraints: 6715 15.76/15.82 c #Conflicts: 39000 | #Constraints: 8273 15.76/15.82 c #Conflicts: 40000 | #Constraints: 9941 15.76/15.82 c #Conflicts: 41000 | #Constraints: 11619 15.76/15.82 c INPROCESSING 15.76/15.82 c GARBAGE COLLECT 15.76/15.82 c rational objective 0 19.24/19.35 c #Conflicts: 42000 | #Constraints: 7002 19.24/19.35 c #Conflicts: 43000 | #Constraints: 8502 19.24/19.35 c #Conflicts: 44000 | #Constraints: 9578 19.24/19.35 c #Conflicts: 45000 | #Constraints: 10971 19.24/19.35 c #Conflicts: 46000 | #Constraints: 12092 19.24/19.35 c INPROCESSING 19.24/19.35 c GARBAGE COLLECT 19.24/19.35 c rational objective 0 22.64/22.75 c #Conflicts: 47000 | #Constraints: 7445 22.64/22.75 c #Conflicts: 48000 | #Constraints: 8857 22.64/22.75 c #Conflicts: 49000 | #Constraints: 9961 22.64/22.75 c #Conflicts: 50000 | #Constraints: 11087 22.64/22.75 c #Conflicts: 51000 | #Constraints: 12229 22.64/22.75 c INPROCESSING 22.64/22.75 c GARBAGE COLLECT 22.64/22.75 c rational objective 0 26.62/26.79 c #Conflicts: 52000 | #Constraints: 7797 26.62/26.79 c #Conflicts: 53000 | #Constraints: 9488 26.62/26.79 c #Conflicts: 54000 | #Constraints: 11131 26.62/26.79 c #Conflicts: 55000 | #Constraints: 12781 26.62/26.79 c #Conflicts: 56000 | #Constraints: 14452 26.62/26.79 c INPROCESSING 26.62/26.79 c GARBAGE COLLECT 26.62/26.79 c rational objective 0 31.12/31.28 c #Conflicts: 57000 | #Constraints: 8894 31.12/31.28 c #Conflicts: 58000 | #Constraints: 10524 31.12/31.28 c #Conflicts: 59000 | #Constraints: 12205 31.12/31.28 c #Conflicts: 60000 | #Constraints: 13882 31.12/31.28 c #Conflicts: 61000 | #Constraints: 15565 31.12/31.28 c INPROCESSING 31.12/31.28 c GARBAGE COLLECT 31.12/31.28 c rational objective 0 36.21/36.34 c #Conflicts: 62000 | #Constraints: 9339 36.21/36.34 c #Conflicts: 63000 | #Constraints: 11045 36.21/36.34 c #Conflicts: 64000 | #Constraints: 12711 36.21/36.34 c #Conflicts: 65000 | #Constraints: 14255 36.21/36.34 c #Conflicts: 66000 | #Constraints: 15263 36.21/36.34 c INPROCESSING 36.21/36.34 c GARBAGE COLLECT 36.21/36.34 c rational objective 0 41.89/42.02 c #Conflicts: 67000 | #Constraints: 8842 41.89/42.02 c #Conflicts: 68000 | #Constraints: 10526 41.89/42.02 c #Conflicts: 69000 | #Constraints: 12219 41.89/42.02 c #Conflicts: 70000 | #Constraints: 13937 41.89/42.02 c #Conflicts: 71000 | #Constraints: 15626 41.89/42.02 c #Conflicts: 72000 | #Constraints: 17293 41.89/42.02 c INPROCESSING 41.89/42.02 c GARBAGE COLLECT 41.89/42.02 c rational objective 0 47.88/48.09 c #Conflicts: 73000 | #Constraints: 10159 47.88/48.09 c #Conflicts: 74000 | #Constraints: 11827 47.88/48.09 c #Conflicts: 75000 | #Constraints: 13499 47.88/48.09 c #Conflicts: 76000 | #Constraints: 15158 47.88/48.09 c #Conflicts: 77000 | #Constraints: 16816 47.88/48.09 c #Conflicts: 78000 | #Constraints: 18452 47.88/48.09 c INPROCESSING 47.88/48.09 c GARBAGE COLLECT 47.88/48.09 c rational objective 0 54.96/55.13 c #Conflicts: 79000 | #Constraints: 10875 54.96/55.13 c #Conflicts: 80000 | #Constraints: 12612 54.96/55.13 c #Conflicts: 81000 | #Constraints: 14308 54.96/55.13 c #Conflicts: 82000 | #Constraints: 16005 54.96/55.13 c #Conflicts: 83000 | #Constraints: 17710 54.96/55.13 c #Conflicts: 84000 | #Constraints: 19396 54.96/55.13 c INPROCESSING 54.96/55.13 c GARBAGE COLLECT 54.96/55.13 c rational objective 0 62.04/62.26 c #Conflicts: 85000 | #Constraints: 11106 62.04/62.26 c #Conflicts: 86000 | #Constraints: 12495 62.04/62.26 c #Conflicts: 87000 | #Constraints: 13561 62.04/62.26 c #Conflicts: 88000 | #Constraints: 14646 62.04/62.26 c #Conflicts: 89000 | #Constraints: 16213 62.04/62.26 c #Conflicts: 90000 | #Constraints: 17357 62.04/62.26 c INPROCESSING 62.04/62.26 c GARBAGE COLLECT 62.04/62.26 c rational objective 0 68.73/68.91 c #Conflicts: 91000 | #Constraints: 9603 68.73/68.91 c #Conflicts: 92000 | #Constraints: 10606 68.73/68.91 c #Conflicts: 93000 | #Constraints: 11608 68.73/68.91 c #Conflicts: 94000 | #Constraints: 12613 68.73/68.91 c #Conflicts: 95000 | #Constraints: 13618 68.73/68.91 c #Conflicts: 96000 | #Constraints: 14620 68.73/68.91 c INPROCESSING 68.73/68.91 c GARBAGE COLLECT 68.73/68.91 c rational objective 0 75.91/76.14 c #Conflicts: 97000 | #Constraints: 8243 75.91/76.14 c #Conflicts: 98000 | #Constraints: 9586 75.91/76.14 c #Conflicts: 99000 | #Constraints: 10725 75.91/76.14 c #Conflicts: 100000 | #Constraints: 12122 75.91/76.14 c #Conflicts: 101000 | #Constraints: 13520 75.91/76.14 c #Conflicts: 102000 | #Constraints: 14800 75.91/76.14 c #Conflicts: 103000 | #Constraints: 16094 75.91/76.14 c INPROCESSING 75.91/76.14 c GARBAGE COLLECT 75.91/76.14 c rational objective 0 83.59/83.86 c #Conflicts: 104000 | #Constraints: 9497 83.59/83.86 c #Conflicts: 105000 | #Constraints: 11151 83.59/83.86 c #Conflicts: 106000 | #Constraints: 12826 83.59/83.86 c #Conflicts: 107000 | #Constraints: 14444 83.59/83.86 c #Conflicts: 108000 | #Constraints: 16107 83.59/83.86 c #Conflicts: 109000 | #Constraints: 17775 83.59/83.86 c #Conflicts: 110000 | #Constraints: 19443 83.59/83.86 c INPROCESSING 83.59/83.86 c GARBAGE COLLECT 83.59/83.86 c rational objective 0 90.78/91.04 c #Conflicts: 111000 | #Constraints: 10750 90.78/91.04 c #Conflicts: 112000 | #Constraints: 11756 90.78/91.04 c #Conflicts: 113000 | #Constraints: 12761 90.78/91.04 c #Conflicts: 114000 | #Constraints: 13762 90.78/91.04 c #Conflicts: 115000 | #Constraints: 14765 90.78/91.04 c #Conflicts: 116000 | #Constraints: 15768 90.78/91.04 c #Conflicts: 117000 | #Constraints: 16769 90.78/91.04 c INPROCESSING 90.78/91.04 c GARBAGE COLLECT 90.78/91.04 c rational objective 0 98.35/98.68 c #Conflicts: 118000 | #Constraints: 9710 98.35/98.68 c #Conflicts: 119000 | #Constraints: 10843 98.35/98.68 c #Conflicts: 120000 | #Constraints: 11843 98.35/98.68 c #Conflicts: 121000 | #Constraints: 12885 98.35/98.68 c #Conflicts: 122000 | #Constraints: 13887 98.35/98.68 c #Conflicts: 123000 | #Constraints: 14945 98.35/98.68 c #Conflicts: 124000 | #Constraints: 15947 98.35/98.68 c INPROCESSING 98.35/98.68 c GARBAGE COLLECT 98.35/98.68 c rational objective 0 108.12/108.44 c #Conflicts: 125000 | #Constraints: 9372 108.12/108.44 c #Conflicts: 126000 | #Constraints: 11023 108.12/108.44 c #Conflicts: 127000 | #Constraints: 12687 108.12/108.44 c #Conflicts: 128000 | #Constraints: 14380 108.12/108.44 c #Conflicts: 129000 | #Constraints: 16109 108.12/108.44 c #Conflicts: 130000 | #Constraints: 17819 108.12/108.44 c #Conflicts: 131000 | #Constraints: 19515 108.12/108.44 c INPROCESSING 108.12/108.44 c GARBAGE COLLECT 108.12/108.44 c rational objective 0 119.19/119.50 c #Conflicts: 132000 | #Constraints: 10930 119.19/119.50 c #Conflicts: 133000 | #Constraints: 12585 119.19/119.50 c #Conflicts: 134000 | #Constraints: 14236 119.19/119.50 c #Conflicts: 135000 | #Constraints: 15918 119.19/119.50 c #Conflicts: 136000 | #Constraints: 17615 119.19/119.50 c #Conflicts: 137000 | #Constraints: 19303 119.19/119.50 c #Conflicts: 138000 | #Constraints: 20971 119.19/119.50 c #Conflicts: 139000 | #Constraints: 22643 119.19/119.50 c INPROCESSING 119.19/119.50 c GARBAGE COLLECT 119.19/119.50 c rational objective 0 131.67/132.09 c #Conflicts: 140000 | #Constraints: 12812 131.67/132.09 c #Conflicts: 141000 | #Constraints: 14481 131.67/132.09 c #Conflicts: 142000 | #Constraints: 15567 131.67/132.09 c #Conflicts: 143000 | #Constraints: 17143 131.67/132.09 c #Conflicts: 144000 | #Constraints: 18818 131.67/132.09 c #Conflicts: 145000 | #Constraints: 20504 131.67/132.09 c #Conflicts: 146000 | #Constraints: 22209 131.67/132.09 c #Conflicts: 147000 | #Constraints: 23890 131.67/132.09 c INPROCESSING 131.67/132.09 c GARBAGE COLLECT 131.67/132.09 c rational objective 0 141.94/142.30 c #Conflicts: 148000 | #Constraints: 12972 141.94/142.30 c #Conflicts: 149000 | #Constraints: 13977 141.94/142.30 c #Conflicts: 150000 | #Constraints: 14981 141.94/142.30 c #Conflicts: 151000 | #Constraints: 15983 141.94/142.30 c #Conflicts: 152000 | #Constraints: 16988 141.94/142.30 c #Conflicts: 153000 | #Constraints: 17998 141.94/142.30 c #Conflicts: 154000 | #Constraints: 19003 141.94/142.30 c #Conflicts: 155000 | #Constraints: 20006 141.94/142.30 c INPROCESSING 141.94/142.30 c GARBAGE COLLECT 141.94/142.30 c rational objective 0 151.02/151.44 c #Conflicts: 156000 | #Constraints: 11026 151.02/151.44 c #Conflicts: 157000 | #Constraints: 12030 151.02/151.44 c #Conflicts: 158000 | #Constraints: 13032 151.02/151.44 c #Conflicts: 159000 | #Constraints: 14033 151.02/151.44 c #Conflicts: 160000 | #Constraints: 15034 151.02/151.44 c #Conflicts: 161000 | #Constraints: 16039 151.02/151.44 c #Conflicts: 162000 | #Constraints: 17045 151.02/151.44 c #Conflicts: 163000 | #Constraints: 18049 151.02/151.44 c INPROCESSING 151.02/151.44 c GARBAGE COLLECT 151.02/151.44 c rational objective 0 161.40/161.83 c #Conflicts: 164000 | #Constraints: 10440 161.40/161.83 c #Conflicts: 165000 | #Constraints: 11787 161.40/161.83 c #Conflicts: 166000 | #Constraints: 13037 161.40/161.83 c #Conflicts: 167000 | #Constraints: 14058 161.40/161.83 c #Conflicts: 168000 | #Constraints: 15058 161.40/161.83 c #Conflicts: 169000 | #Constraints: 16059 161.40/161.83 c #Conflicts: 170000 | #Constraints: 17060 161.40/161.83 c #Conflicts: 171000 | #Constraints: 18396 161.40/161.83 c INPROCESSING 161.40/161.83 c GARBAGE COLLECT 161.40/161.83 c rational objective 0 173.07/173.57 c #Conflicts: 172000 | #Constraints: 10105 173.07/173.57 c #Conflicts: 173000 | #Constraints: 11781 173.07/173.57 c #Conflicts: 174000 | #Constraints: 13352 173.07/173.57 c #Conflicts: 175000 | #Constraints: 14749 173.07/173.57 c #Conflicts: 176000 | #Constraints: 15751 173.07/173.57 c #Conflicts: 177000 | #Constraints: 16865 173.07/173.57 c #Conflicts: 178000 | #Constraints: 18534 173.07/173.57 c #Conflicts: 179000 | #Constraints: 20146 173.07/173.57 c #Conflicts: 180000 | #Constraints: 21813 173.07/173.57 c INPROCESSING 173.07/173.57 c GARBAGE COLLECT 173.07/173.57 c rational objective 0 185.84/186.31 c #Conflicts: 181000 | #Constraints: 12283 185.84/186.31 c #Conflicts: 182000 | #Constraints: 13756 185.84/186.31 c #Conflicts: 183000 | #Constraints: 14758 185.84/186.31 c #Conflicts: 184000 | #Constraints: 15760 185.84/186.31 c #Conflicts: 185000 | #Constraints: 16826 185.84/186.31 c #Conflicts: 186000 | #Constraints: 18468 185.84/186.31 c #Conflicts: 187000 | #Constraints: 20069 185.84/186.31 c #Conflicts: 188000 | #Constraints: 21694 185.84/186.31 c #Conflicts: 189000 | #Constraints: 23300 185.84/186.31 c INPROCESSING 185.84/186.31 c GARBAGE COLLECT 185.84/186.31 c rational objective 0 198.01/198.56 c #Conflicts: 190000 | #Constraints: 12671 198.01/198.56 c #Conflicts: 191000 | #Constraints: 13674 198.01/198.56 c #Conflicts: 192000 | #Constraints: 14674 198.01/198.56 c #Conflicts: 193000 | #Constraints: 15678 198.01/198.56 c #Conflicts: 194000 | #Constraints: 16680 198.01/198.56 c #Conflicts: 195000 | #Constraints: 17681 198.01/198.56 c #Conflicts: 196000 | #Constraints: 18682 198.01/198.56 c #Conflicts: 197000 | #Constraints: 19684 198.01/198.56 c #Conflicts: 198000 | #Constraints: 20685 198.01/198.56 c INPROCESSING 198.01/198.56 c GARBAGE COLLECT 198.01/198.56 c rational objective 0 213.08/213.69 c #Conflicts: 199000 | #Constraints: 11941 213.08/213.69 c #Conflicts: 200000 | #Constraints: 13586 213.08/213.69 c #Conflicts: 201000 | #Constraints: 15250 213.08/213.69 c #Conflicts: 202000 | #Constraints: 16923 213.08/213.69 c #Conflicts: 203000 | #Constraints: 18592 213.08/213.69 c #Conflicts: 204000 | #Constraints: 20284 213.08/213.69 c #Conflicts: 205000 | #Constraints: 21949 213.08/213.69 c #Conflicts: 206000 | #Constraints: 23309 213.08/213.69 c #Conflicts: 207000 | #Constraints: 24310 213.08/213.69 c INPROCESSING 213.08/213.69 c GARBAGE COLLECT 213.08/213.69 c rational objective 0 233.43/234.04 c #Conflicts: 208000 | #Constraints: 13459 233.43/234.04 c #Conflicts: 209000 | #Constraints: 15045 233.43/234.04 c #Conflicts: 210000 | #Constraints: 16677 233.43/234.04 c #Conflicts: 211000 | #Constraints: 18340 233.43/234.04 c #Conflicts: 212000 | #Constraints: 19965 233.43/234.04 c #Conflicts: 213000 | #Constraints: 21636 233.43/234.04 c #Conflicts: 214000 | #Constraints: 23278 233.43/234.04 c #Conflicts: 215000 | #Constraints: 24909 233.43/234.04 c #Conflicts: 216000 | #Constraints: 26581 233.43/234.04 c INPROCESSING 233.43/234.04 c GARBAGE COLLECT 233.43/234.04 c rational objective 0 255.27/255.94 c #Conflicts: 217000 | #Constraints: 14215 255.27/255.94 c #Conflicts: 218000 | #Constraints: 15908 255.27/255.94 c #Conflicts: 219000 | #Constraints: 17552 255.27/255.94 c #Conflicts: 220000 | #Constraints: 19232 255.27/255.94 c #Conflicts: 221000 | #Constraints: 20882 255.27/255.94 c #Conflicts: 222000 | #Constraints: 22531 255.27/255.94 c #Conflicts: 223000 | #Constraints: 24173 255.27/255.94 c #Conflicts: 224000 | #Constraints: 25818 255.27/255.94 c #Conflicts: 225000 | #Constraints: 27473 255.27/255.94 c #Conflicts: 226000 | #Constraints: 29124 255.27/255.94 c INPROCESSING 255.27/255.94 c GARBAGE COLLECT 255.27/255.94 c rational objective 0 272.14/272.83 c #Conflicts: 227000 | #Constraints: 15704 272.14/272.83 c #Conflicts: 228000 | #Constraints: 16865 272.14/272.83 c #Conflicts: 229000 | #Constraints: 17916 272.14/272.83 c #Conflicts: 230000 | #Constraints: 18916 272.14/272.83 c #Conflicts: 231000 | #Constraints: 19930 272.14/272.83 c #Conflicts: 232000 | #Constraints: 21034 272.14/272.83 c #Conflicts: 233000 | #Constraints: 22065 272.14/272.83 c #Conflicts: 234000 | #Constraints: 23534 272.14/272.83 c #Conflicts: 235000 | #Constraints: 24840 272.14/272.83 c #Conflicts: 236000 | #Constraints: 25974 272.14/272.83 c INPROCESSING 272.14/272.83 c GARBAGE COLLECT 272.14/272.83 c rational objective 0 290.79/291.51 c #Conflicts: 237000 | #Constraints: 14645 290.79/291.51 c #Conflicts: 238000 | #Constraints: 16105 290.79/291.51 c #Conflicts: 239000 | #Constraints: 17717 290.79/291.51 c #Conflicts: 240000 | #Constraints: 19085 290.79/291.51 c #Conflicts: 241000 | #Constraints: 20097 290.79/291.51 c #Conflicts: 242000 | #Constraints: 21394 290.79/291.51 c #Conflicts: 243000 | #Constraints: 23093 290.79/291.51 c #Conflicts: 244000 | #Constraints: 24325 290.79/291.51 c #Conflicts: 245000 | #Constraints: 25326 290.79/291.51 c #Conflicts: 246000 | #Constraints: 26327 290.79/291.51 c INPROCESSING 290.79/291.51 c GARBAGE COLLECT 290.79/291.51 c rational objective 0 307.15/307.99 c #Conflicts: 247000 | #Constraints: 14403 307.15/307.99 c #Conflicts: 248000 | #Constraints: 15452 307.15/307.99 c #Conflicts: 249000 | #Constraints: 16880 307.15/307.99 c #Conflicts: 250000 | #Constraints: 17953 307.15/307.99 c #Conflicts: 251000 | #Constraints: 19045 307.15/307.99 c #Conflicts: 252000 | #Constraints: 20045 307.15/307.99 c #Conflicts: 253000 | #Constraints: 21074 307.15/307.99 c #Conflicts: 254000 | #Constraints: 22076 307.15/307.99 c #Conflicts: 255000 | #Constraints: 23088 307.15/307.99 c #Conflicts: 256000 | #Constraints: 24332 307.15/307.99 c INPROCESSING 307.15/307.99 c GARBAGE COLLECT 307.15/307.99 c rational objective 0 322.23/323.09 c #Conflicts: 257000 | #Constraints: 13084 322.23/323.09 c #Conflicts: 258000 | #Constraints: 14084 322.23/323.09 c #Conflicts: 259000 | #Constraints: 15085 322.23/323.09 c #Conflicts: 260000 | #Constraints: 16087 322.23/323.09 c #Conflicts: 261000 | #Constraints: 17089 322.23/323.09 c #Conflicts: 262000 | #Constraints: 18091 322.23/323.09 c #Conflicts: 263000 | #Constraints: 19093 322.23/323.09 c #Conflicts: 264000 | #Constraints: 20095 322.23/323.09 c #Conflicts: 265000 | #Constraints: 21096 322.23/323.09 c #Conflicts: 266000 | #Constraints: 22096 322.23/323.09 c INPROCESSING 322.23/323.09 c GARBAGE COLLECT 322.23/323.09 c rational objective 0 339.37/340.28 c #Conflicts: 267000 | #Constraints: 11898 339.37/340.28 c #Conflicts: 268000 | #Constraints: 13153 339.37/340.28 c #Conflicts: 269000 | #Constraints: 14349 339.37/340.28 c #Conflicts: 270000 | #Constraints: 15504 339.37/340.28 c #Conflicts: 271000 | #Constraints: 16715 339.37/340.28 c #Conflicts: 272000 | #Constraints: 17751 339.37/340.28 c #Conflicts: 273000 | #Constraints: 18752 339.37/340.28 c #Conflicts: 274000 | #Constraints: 19817 339.37/340.28 c #Conflicts: 275000 | #Constraints: 20925 339.37/340.28 c #Conflicts: 276000 | #Constraints: 22019 339.37/340.28 c #Conflicts: 277000 | #Constraints: 23106 339.37/340.28 c INPROCESSING 339.37/340.28 c GARBAGE COLLECT 339.37/340.28 c rational objective 0 360.62/361.58 c #Conflicts: 278000 | #Constraints: 12950 360.62/361.58 c #Conflicts: 279000 | #Constraints: 14594 360.62/361.58 c #Conflicts: 280000 | #Constraints: 16279 360.62/361.58 c #Conflicts: 281000 | #Constraints: 17878 360.62/361.58 c #Conflicts: 282000 | #Constraints: 19520 360.62/361.58 c #Conflicts: 283000 | #Constraints: 21218 360.62/361.58 c #Conflicts: 284000 | #Constraints: 22884 360.62/361.58 c #Conflicts: 285000 | #Constraints: 24543 360.62/361.58 c #Conflicts: 286000 | #Constraints: 26144 360.62/361.58 c #Conflicts: 287000 | #Constraints: 27798 360.62/361.58 c #Conflicts: 288000 | #Constraints: 29462 360.62/361.58 c INPROCESSING 360.62/361.58 c GARBAGE COLLECT 360.62/361.58 c rational objective 0 381.08/382.09 c #Conflicts: 289000 | #Constraints: 16402 381.08/382.09 c #Conflicts: 290000 | #Constraints: 17956 381.08/382.09 c #Conflicts: 291000 | #Constraints: 19116 381.08/382.09 c #Conflicts: 292000 | #Constraints: 20116 381.08/382.09 c #Conflicts: 293000 | #Constraints: 21232 381.08/382.09 c #Conflicts: 294000 | #Constraints: 22837 381.08/382.09 c #Conflicts: 295000 | #Constraints: 23837 381.08/382.09 c #Conflicts: 296000 | #Constraints: 24838 381.08/382.09 c #Conflicts: 297000 | #Constraints: 25991 381.08/382.09 c #Conflicts: 298000 | #Constraints: 27199 381.08/382.09 c #Conflicts: 299000 | #Constraints: 28860 381.08/382.09 c INPROCESSING 381.08/382.09 c GARBAGE COLLECT 381.08/382.09 c rational objective 0 405.31/406.31 c #Conflicts: 300000 | #Constraints: 16127 405.31/406.31 c #Conflicts: 301000 | #Constraints: 17744 405.31/406.31 c #Conflicts: 302000 | #Constraints: 19390 405.31/406.31 c #Conflicts: 303000 | #Constraints: 21022 405.31/406.31 c #Conflicts: 304000 | #Constraints: 22685 405.31/406.31 c #Conflicts: 305000 | #Constraints: 24159 405.31/406.31 c #Conflicts: 306000 | #Constraints: 25459 405.31/406.31 c #Conflicts: 307000 | #Constraints: 26832 405.31/406.31 c #Conflicts: 308000 | #Constraints: 27832 405.31/406.31 c #Conflicts: 309000 | #Constraints: 28832 405.31/406.31 c #Conflicts: 310000 | #Constraints: 29832 405.31/406.31 c INPROCESSING 405.31/406.31 c GARBAGE COLLECT 405.31/406.31 c rational objective 0 425.87/426.95 c #Conflicts: 311000 | #Constraints: 15835 425.87/426.95 c #Conflicts: 312000 | #Constraints: 16835 425.87/426.95 c #Conflicts: 313000 | #Constraints: 17836 425.87/426.95 c #Conflicts: 314000 | #Constraints: 18837 425.87/426.95 c #Conflicts: 315000 | #Constraints: 19841 425.87/426.95 c #Conflicts: 316000 | #Constraints: 20841 425.87/426.95 c #Conflicts: 317000 | #Constraints: 21842 425.87/426.95 c #Conflicts: 318000 | #Constraints: 22842 425.87/426.95 c #Conflicts: 319000 | #Constraints: 23842 425.87/426.95 c #Conflicts: 320000 | #Constraints: 24843 425.87/426.95 c #Conflicts: 321000 | #Constraints: 25844 425.87/426.95 c INPROCESSING 425.87/426.95 c GARBAGE COLLECT 425.87/426.95 c rational objective 0 446.42/447.57 c #Conflicts: 322000 | #Constraints: 13641 446.42/447.57 c #Conflicts: 323000 | #Constraints: 14641 446.42/447.57 c #Conflicts: 324000 | #Constraints: 15642 446.42/447.57 c #Conflicts: 325000 | #Constraints: 16642 446.42/447.57 c #Conflicts: 326000 | #Constraints: 17642 446.42/447.57 c #Conflicts: 327000 | #Constraints: 18643 446.42/447.57 c #Conflicts: 328000 | #Constraints: 19643 446.42/447.57 c #Conflicts: 329000 | #Constraints: 20645 446.42/447.57 c #Conflicts: 330000 | #Constraints: 21645 446.42/447.57 c #Conflicts: 331000 | #Constraints: 22645 446.42/447.57 c #Conflicts: 332000 | #Constraints: 23645 446.42/447.57 c #Conflicts: 333000 | #Constraints: 24645 446.42/447.57 c INPROCESSING 446.42/447.57 c GARBAGE COLLECT 446.42/447.57 c rational objective 0 466.17/467.38 c #Conflicts: 334000 | #Constraints: 13248 466.17/467.38 c #Conflicts: 335000 | #Constraints: 14357 466.17/467.38 c #Conflicts: 336000 | #Constraints: 15385 466.17/467.38 c #Conflicts: 337000 | #Constraints: 16385 466.17/467.38 c #Conflicts: 338000 | #Constraints: 17448 466.17/467.38 c #Conflicts: 339000 | #Constraints: 18453 466.17/467.38 c #Conflicts: 340000 | #Constraints: 19898 466.17/467.38 c #Conflicts: 341000 | #Constraints: 20900 466.17/467.38 c #Conflicts: 342000 | #Constraints: 21922 466.17/467.38 c #Conflicts: 343000 | #Constraints: 22925 466.17/467.38 c #Conflicts: 344000 | #Constraints: 23926 466.17/467.38 c #Conflicts: 345000 | #Constraints: 24927 466.17/467.38 c INPROCESSING 466.17/467.38 c GARBAGE COLLECT 466.17/467.38 c rational objective 0 491.71/492.96 c #Conflicts: 346000 | #Constraints: 13936 491.71/492.96 c #Conflicts: 347000 | #Constraints: 14979 491.71/492.96 c #Conflicts: 348000 | #Constraints: 16615 491.71/492.96 c #Conflicts: 349000 | #Constraints: 18295 491.71/492.96 c #Conflicts: 350000 | #Constraints: 19945 491.71/492.96 c #Conflicts: 351000 | #Constraints: 21567 491.71/492.96 c #Conflicts: 352000 | #Constraints: 23210 491.71/492.96 c #Conflicts: 353000 | #Constraints: 24867 491.71/492.96 c #Conflicts: 354000 | #Constraints: 26074 491.71/492.96 c #Conflicts: 355000 | #Constraints: 27291 491.71/492.96 c #Conflicts: 356000 | #Constraints: 28977 491.71/492.96 c #Conflicts: 357000 | #Constraints: 30628 491.71/492.96 c INPROCESSING 491.71/492.96 c GARBAGE COLLECT 491.71/492.96 c rational objective 0 515.35/516.61 c #Conflicts: 358000 | #Constraints: 16485 515.35/516.61 c #Conflicts: 359000 | #Constraints: 17681 515.35/516.61 c #Conflicts: 360000 | #Constraints: 18734 515.35/516.61 c #Conflicts: 361000 | #Constraints: 19734 515.35/516.61 c #Conflicts: 362000 | #Constraints: 20866 515.35/516.61 c #Conflicts: 363000 | #Constraints: 22343 515.35/516.61 c #Conflicts: 364000 | #Constraints: 23574 515.35/516.61 c #Conflicts: 365000 | #Constraints: 24647 515.35/516.61 c #Conflicts: 366000 | #Constraints: 26021 515.35/516.61 c #Conflicts: 367000 | #Constraints: 27022 515.35/516.61 c #Conflicts: 368000 | #Constraints: 28196 515.35/516.61 c #Conflicts: 369000 | #Constraints: 29398 515.35/516.61 c INPROCESSING 515.35/516.61 c GARBAGE COLLECT 515.35/516.61 c rational objective 0 543.17/544.55 c #Conflicts: 370000 | #Constraints: 16147 543.17/544.55 c #Conflicts: 371000 | #Constraints: 17751 543.17/544.55 c #Conflicts: 372000 | #Constraints: 19368 543.17/544.55 c #Conflicts: 373000 | #Constraints: 20788 543.17/544.55 c #Conflicts: 374000 | #Constraints: 22199 543.17/544.55 c #Conflicts: 375000 | #Constraints: 23343 543.17/544.55 c #Conflicts: 376000 | #Constraints: 24692 543.17/544.55 c #Conflicts: 377000 | #Constraints: 26062 543.17/544.55 c #Conflicts: 378000 | #Constraints: 27175 543.17/544.55 c #Conflicts: 379000 | #Constraints: 28175 543.17/544.55 c #Conflicts: 380000 | #Constraints: 29431 543.17/544.55 c #Conflicts: 381000 | #Constraints: 30431 543.17/544.55 c INPROCESSING 543.17/544.55 c GARBAGE COLLECT 543.17/544.55 c rational objective 0 566.40/567.82 c #Conflicts: 382000 | #Constraints: 15962 566.40/567.82 c #Conflicts: 383000 | #Constraints: 16967 566.40/567.82 c #Conflicts: 384000 | #Constraints: 18018 566.40/567.82 c #Conflicts: 385000 | #Constraints: 19020 566.40/567.82 c #Conflicts: 386000 | #Constraints: 20062 566.40/567.82 c #Conflicts: 387000 | #Constraints: 21073 566.40/567.82 c #Conflicts: 388000 | #Constraints: 22076 566.40/567.82 c #Conflicts: 389000 | #Constraints: 23077 566.40/567.82 c #Conflicts: 390000 | #Constraints: 24096 566.40/567.82 c #Conflicts: 391000 | #Constraints: 25118 566.40/567.82 c #Conflicts: 392000 | #Constraints: 26120 566.40/567.82 c #Conflicts: 393000 | #Constraints: 27206 566.40/567.82 c #Conflicts: 394000 | #Constraints: 28269 566.40/567.82 c INPROCESSING 566.40/567.82 c GARBAGE COLLECT 566.40/567.82 c rational objective 0 597.92/599.43 c #Conflicts: 395000 | #Constraints: 15481 597.92/599.43 c #Conflicts: 396000 | #Constraints: 17134 597.92/599.43 c #Conflicts: 397000 | #Constraints: 18623 597.92/599.43 c #Conflicts: 398000 | #Constraints: 20199 597.92/599.43 c #Conflicts: 399000 | #Constraints: 21824 597.92/599.43 c #Conflicts: 400000 | #Constraints: 23467 597.92/599.43 c #Conflicts: 401000 | #Constraints: 25112 597.92/599.43 c #Conflicts: 402000 | #Constraints: 26746 597.92/599.43 c #Conflicts: 403000 | #Constraints: 28420 597.92/599.43 c #Conflicts: 404000 | #Constraints: 30112 597.92/599.43 c #Conflicts: 405000 | #Constraints: 31806 597.92/599.43 c #Conflicts: 406000 | #Constraints: 33480 597.92/599.43 c #Conflicts: 407000 | #Constraints: 35101 597.92/599.43 c INPROCESSING 597.92/599.43 c GARBAGE COLLECT 597.92/599.43 c rational objective 0 625.85/627.40 c #Conflicts: 408000 | #Constraints: 18569 625.85/627.40 c #Conflicts: 409000 | #Constraints: 19569 625.85/627.40 c #Conflicts: 410000 | #Constraints: 20626 625.85/627.40 c #Conflicts: 411000 | #Constraints: 21814 625.85/627.40 c #Conflicts: 412000 | #Constraints: 22816 625.85/627.40 c #Conflicts: 413000 | #Constraints: 23818 625.85/627.40 c #Conflicts: 414000 | #Constraints: 24818 625.85/627.40 c #Conflicts: 415000 | #Constraints: 25818 625.85/627.40 c #Conflicts: 416000 | #Constraints: 26830 625.85/627.40 c #Conflicts: 417000 | #Constraints: 27830 625.85/627.40 c #Conflicts: 418000 | #Constraints: 28830 625.85/627.40 c #Conflicts: 419000 | #Constraints: 29884 625.85/627.40 c #Conflicts: 420000 | #Constraints: 30884 625.85/627.40 c INPROCESSING 625.85/627.40 c GARBAGE COLLECT 625.85/627.40 c rational objective 0 654.26/655.92 c #Conflicts: 421000 | #Constraints: 16464 654.26/655.92 c #Conflicts: 422000 | #Constraints: 17464 654.26/655.92 c #Conflicts: 423000 | #Constraints: 18464 654.26/655.92 c #Conflicts: 424000 | #Constraints: 19465 654.26/655.92 c #Conflicts: 425000 | #Constraints: 20465 654.26/655.92 c #Conflicts: 426000 | #Constraints: 21467 654.26/655.92 c #Conflicts: 427000 | #Constraints: 22468 654.26/655.92 c #Conflicts: 428000 | #Constraints: 23468 654.26/655.92 c #Conflicts: 429000 | #Constraints: 24468 654.26/655.92 c #Conflicts: 430000 | #Constraints: 25469 654.26/655.92 c #Conflicts: 431000 | #Constraints: 26470 654.26/655.92 c #Conflicts: 432000 | #Constraints: 27470 654.26/655.92 c #Conflicts: 433000 | #Constraints: 28470 654.26/655.92 c INPROCESSING 654.26/655.92 c GARBAGE COLLECT 654.26/655.92 c rational objective 0 681.69/683.46 c #Conflicts: 434000 | #Constraints: 15309 681.69/683.46 c #Conflicts: 435000 | #Constraints: 16347 681.69/683.46 c #Conflicts: 436000 | #Constraints: 17414 681.69/683.46 c #Conflicts: 437000 | #Constraints: 18414 681.69/683.46 c #Conflicts: 438000 | #Constraints: 19414 681.69/683.46 c #Conflicts: 439000 | #Constraints: 20416 681.69/683.46 c #Conflicts: 440000 | #Constraints: 21417 681.69/683.46 c #Conflicts: 441000 | #Constraints: 22445 681.69/683.46 c #Conflicts: 442000 | #Constraints: 23470 681.69/683.46 c #Conflicts: 443000 | #Constraints: 24470 681.69/683.46 c #Conflicts: 444000 | #Constraints: 25470 681.69/683.46 c #Conflicts: 445000 | #Constraints: 26471 681.69/683.46 c #Conflicts: 446000 | #Constraints: 27471 681.69/683.46 c INPROCESSING 681.69/683.46 c GARBAGE COLLECT 681.69/683.46 c rational objective 0 711.01/712.89 c #Conflicts: 447000 | #Constraints: 14630 711.01/712.89 c #Conflicts: 448000 | #Constraints: 15848 711.01/712.89 c #Conflicts: 449000 | #Constraints: 16958 711.01/712.89 c #Conflicts: 450000 | #Constraints: 17968 711.01/712.89 c #Conflicts: 451000 | #Constraints: 18988 711.01/712.89 c #Conflicts: 452000 | #Constraints: 20192 711.01/712.89 c #Conflicts: 453000 | #Constraints: 21775 711.01/712.89 c #Conflicts: 454000 | #Constraints: 22988 711.01/712.89 c #Conflicts: 455000 | #Constraints: 23998 711.01/712.89 c #Conflicts: 456000 | #Constraints: 25010 711.01/712.89 c #Conflicts: 457000 | #Constraints: 26090 711.01/712.89 c #Conflicts: 458000 | #Constraints: 27090 711.01/712.89 c #Conflicts: 459000 | #Constraints: 28090 711.01/712.89 c #Conflicts: 460000 | #Constraints: 29155 711.01/712.89 c INPROCESSING 711.01/712.89 c GARBAGE COLLECT 711.01/712.89 c rational objective 0 746.12/748.10 c #Conflicts: 461000 | #Constraints: 15744 746.12/748.10 c #Conflicts: 462000 | #Constraints: 17336 746.12/748.10 c #Conflicts: 463000 | #Constraints: 18736 746.12/748.10 c #Conflicts: 464000 | #Constraints: 20334 746.12/748.10 c #Conflicts: 465000 | #Constraints: 22027 746.12/748.10 c #Conflicts: 466000 | #Constraints: 23686 746.12/748.10 c #Conflicts: 467000 | #Constraints: 25320 746.12/748.10 c #Conflicts: 468000 | #Constraints: 26320 746.12/748.10 c #Conflicts: 469000 | #Constraints: 27839 746.12/748.10 c #Conflicts: 470000 | #Constraints: 29489 746.12/748.10 c #Conflicts: 471000 | #Constraints: 31182 746.12/748.10 c #Conflicts: 472000 | #Constraints: 32789 746.12/748.10 c #Conflicts: 473000 | #Constraints: 34402 746.12/748.10 c #Conflicts: 474000 | #Constraints: 36057 746.12/748.10 c INPROCESSING 746.12/748.10 c GARBAGE COLLECT 746.12/748.10 c rational objective 0 790.79/792.83 c #Conflicts: 475000 | #Constraints: 19627 790.79/792.83 c #Conflicts: 476000 | #Constraints: 21208 790.79/792.83 c #Conflicts: 477000 | #Constraints: 22686 790.79/792.83 c #Conflicts: 478000 | #Constraints: 24253 790.79/792.83 c #Conflicts: 479000 | #Constraints: 25824 790.79/792.83 c #Conflicts: 480000 | #Constraints: 27420 790.79/792.83 c #Conflicts: 481000 | #Constraints: 28984 790.79/792.83 c #Conflicts: 482000 | #Constraints: 30568 790.79/792.83 c #Conflicts: 483000 | #Constraints: 32135 790.79/792.83 c #Conflicts: 484000 | #Constraints: 33724 790.79/792.83 c #Conflicts: 485000 | #Constraints: 35318 790.79/792.83 c #Conflicts: 486000 | #Constraints: 36941 790.79/792.83 c #Conflicts: 487000 | #Constraints: 38538 790.79/792.83 c #Conflicts: 488000 | #Constraints: 40132 790.79/792.83 c INPROCESSING 790.79/792.83 c GARBAGE COLLECT 790.79/792.83 c rational objective 0 840.85/843.08 c #Conflicts: 489000 | #Constraints: 21623 840.85/843.08 c #Conflicts: 490000 | #Constraints: 23207 840.85/843.08 c #Conflicts: 491000 | #Constraints: 24809 840.85/843.08 c #Conflicts: 492000 | #Constraints: 26407 840.85/843.08 c #Conflicts: 493000 | #Constraints: 28002 840.85/843.08 c #Conflicts: 494000 | #Constraints: 29612 840.85/843.08 c #Conflicts: 495000 | #Constraints: 31225 840.85/843.08 c #Conflicts: 496000 | #Constraints: 32845 840.85/843.08 c #Conflicts: 497000 | #Constraints: 34467 840.85/843.08 c #Conflicts: 498000 | #Constraints: 36083 840.85/843.08 c #Conflicts: 499000 | #Constraints: 37712 840.85/843.08 c #Conflicts: 500000 | #Constraints: 39311 840.85/843.08 c #Conflicts: 501000 | #Constraints: 40923 840.85/843.08 c #Conflicts: 502000 | #Constraints: 42540 840.85/843.08 c INPROCESSING 840.85/843.08 c GARBAGE COLLECT 840.85/843.08 c rational objective 0 886.11/888.44 c #Conflicts: 503000 | #Constraints: 22580 886.11/888.44 c #Conflicts: 504000 | #Constraints: 23581 886.11/888.44 c #Conflicts: 505000 | #Constraints: 24774 886.11/888.44 c #Conflicts: 506000 | #Constraints: 25879 886.11/888.44 c #Conflicts: 507000 | #Constraints: 27004 886.11/888.44 c #Conflicts: 508000 | #Constraints: 28157 886.11/888.44 c #Conflicts: 509000 | #Constraints: 29158 886.11/888.44 c #Conflicts: 510000 | #Constraints: 30295 886.11/888.44 c #Conflicts: 511000 | #Constraints: 31299 886.11/888.44 c #Conflicts: 512000 | #Constraints: 32479 886.11/888.44 c #Conflicts: 513000 | #Constraints: 33642 886.11/888.44 c #Conflicts: 514000 | #Constraints: 34715 886.11/888.44 c #Conflicts: 515000 | #Constraints: 35866 886.11/888.44 c #Conflicts: 516000 | #Constraints: 36866 886.11/888.44 c INPROCESSING 886.11/888.44 c GARBAGE COLLECT 886.11/888.44 c rational objective 0 938.15/940.68 c #Conflicts: 517000 | #Constraints: 19368 938.15/940.68 c #Conflicts: 518000 | #Constraints: 21015 938.15/940.68 c #Conflicts: 519000 | #Constraints: 22643 938.15/940.68 c #Conflicts: 520000 | #Constraints: 24267 938.15/940.68 c #Conflicts: 521000 | #Constraints: 25952 938.15/940.68 c #Conflicts: 522000 | #Constraints: 27612 938.15/940.68 c #Conflicts: 523000 | #Constraints: 29331 938.15/940.68 c #Conflicts: 524000 | #Constraints: 30971 938.15/940.68 c #Conflicts: 525000 | #Constraints: 32653 938.15/940.68 c #Conflicts: 526000 | #Constraints: 34316 938.15/940.68 c #Conflicts: 527000 | #Constraints: 35941 938.15/940.68 c #Conflicts: 528000 | #Constraints: 37561 938.15/940.68 c #Conflicts: 529000 | #Constraints: 39178 938.15/940.68 c #Conflicts: 530000 | #Constraints: 40802 938.15/940.68 c #Conflicts: 531000 | #Constraints: 42432 938.15/940.68 c INPROCESSING 938.15/940.68 c GARBAGE COLLECT 938.15/940.68 c rational objective 0 993.80/996.49 c #Conflicts: 532000 | #Constraints: 22355 993.80/996.49 c #Conflicts: 533000 | #Constraints: 23985 993.80/996.49 c #Conflicts: 534000 | #Constraints: 25620 993.80/996.49 c #Conflicts: 535000 | #Constraints: 27215 993.80/996.49 c #Conflicts: 536000 | #Constraints: 28805 993.80/996.49 c #Conflicts: 537000 | #Constraints: 30460 993.80/996.49 c #Conflicts: 538000 | #Constraints: 32128 993.80/996.49 c #Conflicts: 539000 | #Constraints: 33777 993.80/996.49 c #Conflicts: 540000 | #Constraints: 35419 993.80/996.49 c #Conflicts: 541000 | #Constraints: 37036 993.80/996.49 c #Conflicts: 542000 | #Constraints: 38663 993.80/996.49 c #Conflicts: 543000 | #Constraints: 40315 993.80/996.49 c #Conflicts: 544000 | #Constraints: 41511 993.80/996.49 c #Conflicts: 545000 | #Constraints: 42635 993.80/996.49 c #Conflicts: 546000 | #Constraints: 44275 993.80/996.49 c INPROCESSING 993.80/996.49 c GARBAGE COLLECT 993.80/996.49 c rational objective 0 1048.56/1051.33 c #Conflicts: 547000 | #Constraints: 23160 1048.56/1051.33 c #Conflicts: 548000 | #Constraints: 24740 1048.56/1051.33 c #Conflicts: 549000 | #Constraints: 26362 1048.56/1051.33 c #Conflicts: 550000 | #Constraints: 28063 1048.56/1051.33 c #Conflicts: 551000 | #Constraints: 29727 1048.56/1051.33 c #Conflicts: 552000 | #Constraints: 31394 1048.56/1051.33 c #Conflicts: 553000 | #Constraints: 33068 1048.56/1051.33 c #Conflicts: 554000 | #Constraints: 34697 1048.56/1051.33 c #Conflicts: 555000 | #Constraints: 36330 1048.56/1051.33 c #Conflicts: 556000 | #Constraints: 38006 1048.56/1051.33 c #Conflicts: 557000 | #Constraints: 39665 1048.56/1051.33 c #Conflicts: 558000 | #Constraints: 41290 1048.56/1051.33 c #Conflicts: 559000 | #Constraints: 42290 1048.56/1051.33 c #Conflicts: 560000 | #Constraints: 43291 1048.56/1051.33 c #Conflicts: 561000 | #Constraints: 44292 1048.56/1051.33 c INPROCESSING 1048.56/1051.33 c GARBAGE COLLECT 1048.56/1051.33 c rational objective 0 1089.76/1092.63 c #Conflicts: 562000 | #Constraints: 23163 1089.76/1092.63 c #Conflicts: 563000 | #Constraints: 24164 1089.76/1092.63 c #Conflicts: 564000 | #Constraints: 25164 1089.76/1092.63 c #Conflicts: 565000 | #Constraints: 26164 1089.76/1092.63 c #Conflicts: 566000 | #Constraints: 27164 1089.76/1092.63 c #Conflicts: 567000 | #Constraints: 28166 1089.76/1092.63 c #Conflicts: 568000 | #Constraints: 29167 1089.76/1092.63 c #Conflicts: 569000 | #Constraints: 30168 1089.76/1092.63 c #Conflicts: 570000 | #Constraints: 31169 1089.76/1092.63 c #Conflicts: 571000 | #Constraints: 32171 1089.76/1092.63 c #Conflicts: 572000 | #Constraints: 33177 1089.76/1092.63 c #Conflicts: 573000 | #Constraints: 34181 1089.76/1092.63 c #Conflicts: 574000 | #Constraints: 35188 1089.76/1092.63 c #Conflicts: 575000 | #Constraints: 36191 1089.76/1092.63 c #Conflicts: 576000 | #Constraints: 37195 1089.76/1092.63 c INPROCESSING 1089.76/1092.63 c GARBAGE COLLECT 1089.76/1092.63 c rational objective 0 1129.06/1132.05 c #Conflicts: 577000 | #Constraints: 19694 1129.06/1132.05 c #Conflicts: 578000 | #Constraints: 20782 1129.06/1132.05 c #Conflicts: 579000 | #Constraints: 21807 1129.06/1132.05 c #Conflicts: 580000 | #Constraints: 22888 1129.06/1132.05 c #Conflicts: 581000 | #Constraints: 23995 1129.06/1132.05 c #Conflicts: 582000 | #Constraints: 24995 1129.06/1132.05 c #Conflicts: 583000 | #Constraints: 26051 1129.06/1132.05 c #Conflicts: 584000 | #Constraints: 27051 1129.06/1132.05 c #Conflicts: 585000 | #Constraints: 28051 1129.06/1132.05 c #Conflicts: 586000 | #Constraints: 29089 1129.06/1132.05 c #Conflicts: 587000 | #Constraints: 30089 1129.06/1132.05 c #Conflicts: 588000 | #Constraints: 31114 1129.06/1132.05 c #Conflicts: 589000 | #Constraints: 32116 1129.06/1132.05 c #Conflicts: 590000 | #Constraints: 33117 1129.06/1132.05 c #Conflicts: 591000 | #Constraints: 34147 1129.06/1132.05 c INPROCESSING 1129.06/1132.05 c GARBAGE COLLECT 1129.06/1132.05 c rational objective 0 1169.56/1172.64 c #Conflicts: 592000 | #Constraints: 17922 1169.56/1172.64 c #Conflicts: 593000 | #Constraints: 19068 1169.56/1172.64 c #Conflicts: 594000 | #Constraints: 20160 1169.56/1172.64 c #Conflicts: 595000 | #Constraints: 21244 1169.56/1172.64 c #Conflicts: 596000 | #Constraints: 22367 1169.56/1172.64 c #Conflicts: 597000 | #Constraints: 23367 1169.56/1172.64 c #Conflicts: 598000 | #Constraints: 24510 1169.56/1172.64 c #Conflicts: 599000 | #Constraints: 25514 1169.56/1172.64 c #Conflicts: 600000 | #Constraints: 26514 1169.56/1172.64 c #Conflicts: 601000 | #Constraints: 27602 1169.56/1172.64 c #Conflicts: 602000 | #Constraints: 28635 1169.56/1172.64 c #Conflicts: 603000 | #Constraints: 29679 1169.56/1172.64 c #Conflicts: 604000 | #Constraints: 30680 1169.56/1172.64 c #Conflicts: 605000 | #Constraints: 31683 1169.56/1172.64 c #Conflicts: 606000 | #Constraints: 32685 1169.56/1172.64 c #Conflicts: 607000 | #Constraints: 33686 1169.56/1172.64 c INPROCESSING 1169.56/1172.64 c GARBAGE COLLECT 1169.56/1172.64 c rational objective 0 1226.01/1229.20 c #Conflicts: 608000 | #Constraints: 18262 1226.01/1229.20 c #Conflicts: 609000 | #Constraints: 19914 1226.01/1229.20 c #Conflicts: 610000 | #Constraints: 21571 1226.01/1229.20 c #Conflicts: 611000 | #Constraints: 23235 1226.01/1229.20 c #Conflicts: 612000 | #Constraints: 24908 1226.01/1229.20 c #Conflicts: 613000 | #Constraints: 26578 1226.01/1229.20 c #Conflicts: 614000 | #Constraints: 28265 1226.01/1229.20 c #Conflicts: 615000 | #Constraints: 29897 1226.01/1229.20 c #Conflicts: 616000 | #Constraints: 31550 1226.01/1229.20 c #Conflicts: 617000 | #Constraints: 33211 1226.01/1229.20 c #Conflicts: 618000 | #Constraints: 34878 1226.01/1229.20 c #Conflicts: 619000 | #Constraints: 36511 1226.01/1229.20 c #Conflicts: 620000 | #Constraints: 38186 1226.01/1229.20 c #Conflicts: 621000 | #Constraints: 39835 1226.01/1229.20 c #Conflicts: 622000 | #Constraints: 41502 1226.01/1229.20 c #Conflicts: 623000 | #Constraints: 43166 1226.01/1229.20 c INPROCESSING 1226.01/1229.20 c GARBAGE COLLECT 1226.01/1229.20 c rational objective 0 1282.37/1285.70 c #Conflicts: 624000 | #Constraints: 22895 1282.37/1285.70 c #Conflicts: 625000 | #Constraints: 24539 1282.37/1285.70 c #Conflicts: 626000 | #Constraints: 26213 1282.37/1285.70 c #Conflicts: 627000 | #Constraints: 27213 1282.37/1285.70 c #Conflicts: 628000 | #Constraints: 28213 1282.37/1285.70 c #Conflicts: 629000 | #Constraints: 29213 1282.37/1285.70 c #Conflicts: 630000 | #Constraints: 30642 1282.37/1285.70 c #Conflicts: 631000 | #Constraints: 32289 1282.37/1285.70 c #Conflicts: 632000 | #Constraints: 33944 1282.37/1285.70 c #Conflicts: 633000 | #Constraints: 35626 1282.37/1285.70 c #Conflicts: 634000 | #Constraints: 37277 1282.37/1285.70 c #Conflicts: 635000 | #Constraints: 38913 1282.37/1285.70 c #Conflicts: 636000 | #Constraints: 40501 1282.37/1285.70 c #Conflicts: 637000 | #Constraints: 42119 1282.37/1285.70 c #Conflicts: 638000 | #Constraints: 43720 1282.37/1285.70 c #Conflicts: 639000 | #Constraints: 45328 1282.37/1285.70 c INPROCESSING 1282.37/1285.70 c GARBAGE COLLECT 1282.37/1285.70 c rational objective 0 1336.23/1339.75 c #Conflicts: 640000 | #Constraints: 24139 1336.23/1339.75 c #Conflicts: 641000 | #Constraints: 25331 1336.23/1339.75 c #Conflicts: 642000 | #Constraints: 26331 1336.23/1339.75 c #Conflicts: 643000 | #Constraints: 27525 1336.23/1339.75 c #Conflicts: 644000 | #Constraints: 29180 1336.23/1339.75 c #Conflicts: 645000 | #Constraints: 30286 1336.23/1339.75 c #Conflicts: 646000 | #Constraints: 31288 1336.23/1339.75 c #Conflicts: 647000 | #Constraints: 32288 1336.23/1339.75 c #Conflicts: 648000 | #Constraints: 33304 1336.23/1339.75 c #Conflicts: 649000 | #Constraints: 34546 1336.23/1339.75 c #Conflicts: 650000 | #Constraints: 35860 1336.23/1339.75 c #Conflicts: 651000 | #Constraints: 37047 1336.23/1339.75 c #Conflicts: 652000 | #Constraints: 38114 1336.23/1339.75 c #Conflicts: 653000 | #Constraints: 39597 1336.23/1339.75 c #Conflicts: 654000 | #Constraints: 40742 1336.23/1339.75 c #Conflicts: 655000 | #Constraints: 41746 1336.23/1339.75 c INPROCESSING 1336.23/1339.75 c GARBAGE COLLECT 1336.23/1339.75 c rational objective 0 1390.20/1393.83 c #Conflicts: 656000 | #Constraints: 22251 1390.20/1393.83 c #Conflicts: 657000 | #Constraints: 23864 1390.20/1393.83 c #Conflicts: 658000 | #Constraints: 25512 1390.20/1393.83 c #Conflicts: 659000 | #Constraints: 26891 1390.20/1393.83 c #Conflicts: 660000 | #Constraints: 28488 1390.20/1393.83 c #Conflicts: 661000 | #Constraints: 29942 1390.20/1393.83 c #Conflicts: 662000 | #Constraints: 30943 1390.20/1393.83 c #Conflicts: 663000 | #Constraints: 31944 1390.20/1393.83 c #Conflicts: 664000 | #Constraints: 32997 1390.20/1393.83 c #Conflicts: 665000 | #Constraints: 34613 1390.20/1393.83 c #Conflicts: 666000 | #Constraints: 36027 1390.20/1393.83 c #Conflicts: 667000 | #Constraints: 37027 1390.20/1393.83 c #Conflicts: 668000 | #Constraints: 38291 1390.20/1393.83 c #Conflicts: 669000 | #Constraints: 39296 1390.20/1393.83 c #Conflicts: 670000 | #Constraints: 40768 1390.20/1393.83 c #Conflicts: 671000 | #Constraints: 41956 1390.20/1393.83 c INPROCESSING 1390.20/1393.83 c GARBAGE COLLECT 1390.20/1393.83 c rational objective 0 1436.30/1440.08 c #Conflicts: 672000 | #Constraints: 21699 1436.30/1440.08 c #Conflicts: 673000 | #Constraints: 22703 1436.30/1440.08 c #Conflicts: 674000 | #Constraints: 23704 1436.30/1440.08 c #Conflicts: 675000 | #Constraints: 24704 1436.30/1440.08 c #Conflicts: 676000 | #Constraints: 25706 1436.30/1440.08 c #Conflicts: 677000 | #Constraints: 26706 1436.30/1440.08 c #Conflicts: 678000 | #Constraints: 27706 1436.30/1440.08 c #Conflicts: 679000 | #Constraints: 28706 1436.30/1440.08 c #Conflicts: 680000 | #Constraints: 29708 1436.30/1440.08 c #Conflicts: 681000 | #Constraints: 30710 1436.30/1440.08 c #Conflicts: 682000 | #Constraints: 31710 1436.30/1440.08 c #Conflicts: 683000 | #Constraints: 32712 1436.30/1440.08 c #Conflicts: 684000 | #Constraints: 33712 1436.30/1440.08 c #Conflicts: 685000 | #Constraints: 34712 1436.30/1440.08 c #Conflicts: 686000 | #Constraints: 35712 1436.30/1440.08 c #Conflicts: 687000 | #Constraints: 36713 1436.30/1440.08 c #Conflicts: 688000 | #Constraints: 37714 1436.30/1440.08 c INPROCESSING 1436.30/1440.08 c GARBAGE COLLECT 1436.30/1440.08 c rational objective 0 1488.37/1492.23 c #Conflicts: 689000 | #Constraints: 20265 1488.37/1492.23 c #Conflicts: 690000 | #Constraints: 21636 1488.37/1492.23 c #Conflicts: 691000 | #Constraints: 22637 1488.37/1492.23 c #Conflicts: 692000 | #Constraints: 23738 1488.37/1492.23 c #Conflicts: 693000 | #Constraints: 25347 1488.37/1492.23 c #Conflicts: 694000 | #Constraints: 26896 1488.37/1492.23 c #Conflicts: 695000 | #Constraints: 28087 1488.37/1492.23 c #Conflicts: 696000 | #Constraints: 29349 1488.37/1492.23 c #Conflicts: 697000 | #Constraints: 30792 1488.37/1492.23 c #Conflicts: 698000 | #Constraints: 32424 1488.37/1492.23 c #Conflicts: 699000 | #Constraints: 33923 1488.37/1492.23 c #Conflicts: 700000 | #Constraints: 34924 1488.37/1492.23 c #Conflicts: 701000 | #Constraints: 35924 1488.37/1492.23 c #Conflicts: 702000 | #Constraints: 36924 1488.37/1492.23 c #Conflicts: 703000 | #Constraints: 37924 1488.37/1492.23 c #Conflicts: 704000 | #Constraints: 38924 1488.37/1492.23 c #Conflicts: 705000 | #Constraints: 39924 1488.37/1492.23 c INPROCESSING 1488.37/1492.23 c GARBAGE COLLECT 1488.37/1492.23 c rational objective 0 1537.25/1541.27 c #Conflicts: 706000 | #Constraints: 20982 1537.25/1541.27 c #Conflicts: 707000 | #Constraints: 21983 1537.25/1541.27 c #Conflicts: 708000 | #Constraints: 22985 1537.25/1541.27 c #Conflicts: 709000 | #Constraints: 23987 1537.25/1541.27 c #Conflicts: 710000 | #Constraints: 24988 1537.25/1541.27 c #Conflicts: 711000 | #Constraints: 25988 1537.25/1541.27 c #Conflicts: 712000 | #Constraints: 26991 1537.25/1541.27 c #Conflicts: 713000 | #Constraints: 27993 1537.25/1541.27 c #Conflicts: 714000 | #Constraints: 28994 1537.25/1541.27 c #Conflicts: 715000 | #Constraints: 29995 1537.25/1541.27 c #Conflicts: 716000 | #Constraints: 30999 1537.25/1541.27 c #Conflicts: 717000 | #Constraints: 31999 1537.25/1541.27 c #Conflicts: 718000 | #Constraints: 32999 1537.25/1541.27 c #Conflicts: 719000 | #Constraints: 34000 1537.25/1541.27 c #Conflicts: 720000 | #Constraints: 35004 1537.25/1541.27 c #Conflicts: 721000 | #Constraints: 36006 1537.25/1541.27 c #Conflicts: 722000 | #Constraints: 37009 1537.25/1541.27 c INPROCESSING 1537.25/1541.27 c GARBAGE COLLECT 1537.25/1541.27 c rational objective 0 1585.73/1589.80 c #Conflicts: 723000 | #Constraints: 19532 1585.73/1589.80 c #Conflicts: 724000 | #Constraints: 20533 1585.73/1589.80 c #Conflicts: 725000 | #Constraints: 21534 1585.73/1589.80 c #Conflicts: 726000 | #Constraints: 22537 1585.73/1589.80 c #Conflicts: 727000 | #Constraints: 23538 1585.73/1589.80 c #Conflicts: 728000 | #Constraints: 24542 1585.73/1589.80 c #Conflicts: 729000 | #Constraints: 25542 1585.73/1589.80 c #Conflicts: 730000 | #Constraints: 26543 1585.73/1589.80 c #Conflicts: 731000 | #Constraints: 27545 1585.73/1589.80 c #Conflicts: 732000 | #Constraints: 28547 1585.73/1589.80 c #Conflicts: 733000 | #Constraints: 29550 1585.73/1589.80 c #Conflicts: 734000 | #Constraints: 30550 1585.73/1589.80 c #Conflicts: 735000 | #Constraints: 31550 1585.73/1589.80 c #Conflicts: 736000 | #Constraints: 32551 1585.73/1589.80 c #Conflicts: 737000 | #Constraints: 33552 1585.73/1589.80 c #Conflicts: 738000 | #Constraints: 34552 1585.73/1589.80 c #Conflicts: 739000 | #Constraints: 35552 1585.73/1589.80 c INPROCESSING 1585.73/1589.80 c GARBAGE COLLECT 1585.73/1589.80 c rational objective 0 1632.31/1636.58 c #Conflicts: 740000 | #Constraints: 18794 1632.31/1636.58 c #Conflicts: 741000 | #Constraints: 19919 1632.31/1636.58 c #Conflicts: 742000 | #Constraints: 20948 1632.31/1636.58 c #Conflicts: 743000 | #Constraints: 22101 1632.31/1636.58 c #Conflicts: 744000 | #Constraints: 23143 1632.31/1636.58 c #Conflicts: 745000 | #Constraints: 24238 1632.31/1636.58 c #Conflicts: 746000 | #Constraints: 25296 1632.31/1636.58 c #Conflicts: 747000 | #Constraints: 26296 1632.31/1636.58 c #Conflicts: 748000 | #Constraints: 27305 1632.31/1636.58 c #Conflicts: 749000 | #Constraints: 28305 1632.31/1636.58 c #Conflicts: 750000 | #Constraints: 29305 1632.31/1636.58 c #Conflicts: 751000 | #Constraints: 30305 1632.31/1636.58 c #Conflicts: 752000 | #Constraints: 31421 1632.31/1636.58 c #Conflicts: 753000 | #Constraints: 32422 1632.31/1636.58 c #Conflicts: 754000 | #Constraints: 33424 1632.31/1636.58 c #Conflicts: 755000 | #Constraints: 34424 1632.31/1636.58 c #Conflicts: 756000 | #Constraints: 35424 1632.31/1636.58 c INPROCESSING 1632.31/1636.58 c GARBAGE COLLECT 1632.31/1636.58 c rational objective 0 1676.41/1680.79 c #Conflicts: 757000 | #Constraints: 18503 1676.41/1680.79 c #Conflicts: 758000 | #Constraints: 19503 1676.41/1680.79 c #Conflicts: 759000 | #Constraints: 20503 1676.41/1680.79 c #Conflicts: 760000 | #Constraints: 21503 1676.41/1680.79 c #Conflicts: 761000 | #Constraints: 22504 1676.41/1680.79 c #Conflicts: 762000 | #Constraints: 23570 1676.41/1680.79 c #Conflicts: 763000 | #Constraints: 24624 1676.41/1680.79 c #Conflicts: 764000 | #Constraints: 25625 1676.41/1680.79 c #Conflicts: 765000 | #Constraints: 26625 1676.41/1680.79 c #Conflicts: 766000 | #Constraints: 27625 1676.41/1680.79 c #Conflicts: 767000 | #Constraints: 28625 1676.41/1680.79 c #Conflicts: 768000 | #Constraints: 29625 1676.41/1680.79 c #Conflicts: 769000 | #Constraints: 30734 1676.41/1680.79 c #Conflicts: 770000 | #Constraints: 31735 1676.41/1680.79 c #Conflicts: 771000 | #Constraints: 32735 1676.41/1680.79 c #Conflicts: 772000 | #Constraints: 33736 1676.41/1680.79 c #Conflicts: 773000 | #Constraints: 34738 1676.41/1680.79 c #Conflicts: 774000 | #Constraints: 35741 1676.41/1680.79 c INPROCESSING 1676.41/1680.79 c GARBAGE COLLECT 1676.41/1680.79 c rational objective 0 1746.24/1750.75 c #Conflicts: 775000 | #Constraints: 19234 1746.24/1750.75 c #Conflicts: 776000 | #Constraints: 20882 1746.24/1750.75 c #Conflicts: 777000 | #Constraints: 22498 1746.24/1750.75 c #Conflicts: 778000 | #Constraints: 24161 1746.24/1750.75 c #Conflicts: 779000 | #Constraints: 25787 1746.24/1750.75 c #Conflicts: 780000 | #Constraints: 27393 1746.24/1750.75 c #Conflicts: 781000 | #Constraints: 28992 1746.24/1750.75 c #Conflicts: 782000 | #Constraints: 30610 1746.24/1750.75 c #Conflicts: 783000 | #Constraints: 32234 1746.24/1750.75 c #Conflicts: 784000 | #Constraints: 33888 1746.24/1750.75 c #Conflicts: 785000 | #Constraints: 35535 1746.24/1750.75 c #Conflicts: 786000 | #Constraints: 37158 1746.24/1750.75 c #Conflicts: 787000 | #Constraints: 38776 1746.24/1750.75 c #Conflicts: 788000 | #Constraints: 40377 1746.24/1750.75 c #Conflicts: 789000 | #Constraints: 41962 1746.24/1750.75 c #Conflicts: 790000 | #Constraints: 43573 1746.24/1750.75 c #Conflicts: 791000 | #Constraints: 45223 1746.24/1750.75 c #Conflicts: 792000 | #Constraints: 46856 1746.24/1750.75 c INPROCESSING 1746.24/1750.75 c GARBAGE COLLECT 1746.24/1750.75 c rational objective 0 1802.00/1806.60 c #Conflicts: 793000 | #Constraints: 24777 1802.00/1806.60 c #Conflicts: 794000 | #Constraints: 25779 1802.00/1806.60 c #Conflicts: 795000 | #Constraints: 26780 1802.00/1806.60 c #Conflicts: 796000 | #Constraints: 27782 1802.00/1806.60 c #Conflicts: 797000 | #Constraints: 28871 1802.00/1806.60 c #Conflicts: 798000 | #Constraints: 30461 1802.00/1806.60 c #Conflicts: 799000 | #Constraints: 31507 1802.00/1806.60 c #Conflicts: 800000 | #Constraints: 32507 1802.00/1806.60 c #Conflicts: 801000 | #Constraints: 33507 1802.00/1806.60 c #Conflicts: 802000 | #Constraints: 34521 1802.00/1806.60 c #Conflicts: 803000 | #Constraints: 35758 1802.00/1806.60 c #Conflicts: 804000 | #Constraints: 37006 1802.00/1806.60 c #Conflicts: 805000 | #Constraints: 38500 1802.00/1806.60 c #Conflicts: 806000 | #Constraints: 40014 1802.00/1806.60 c #Conflicts: 807000 | #Constraints: 41314 1802.00/1806.60 c #Conflicts: 808000 | #Constraints: 42412 1802.00/1806.60 c #Conflicts: 809000 | #Constraints: 43414 1802.00/1806.60 c #Conflicts: 810000 | #Constraints: 44414 1802.00/1806.60 c INPROCESSING 1802.00/1806.60 c GARBAGE COLLECT 1802.00/1806.60 c rational objective 0 1859.06/1863.88 c #Conflicts: 811000 | #Constraints: 23302 1859.06/1863.88 c #Conflicts: 812000 | #Constraints: 24303 1859.06/1863.88 c #Conflicts: 813000 | #Constraints: 25303 1859.06/1863.88 c #Conflicts: 814000 | #Constraints: 26317 1859.06/1863.88 c #Conflicts: 815000 | #Constraints: 27378 1859.06/1863.88 c #Conflicts: 816000 | #Constraints: 28855 1859.06/1863.88 c #Conflicts: 817000 | #Constraints: 29855 1859.06/1863.88 c #Conflicts: 818000 | #Constraints: 30855 1859.06/1863.88 c #Conflicts: 819000 | #Constraints: 31856 1859.06/1863.88 c #Conflicts: 820000 | #Constraints: 32857 1859.06/1863.88 c #Conflicts: 821000 | #Constraints: 33858 1859.06/1863.88 c #Conflicts: 822000 | #Constraints: 34858 1859.06/1863.88 c #Conflicts: 823000 | #Constraints: 35858 1859.06/1863.88 c #Conflicts: 824000 | #Constraints: 36858 1859.06/1863.88 c #Conflicts: 825000 | #Constraints: 37858 1859.06/1863.88 c #Conflicts: 826000 | #Constraints: 38858 1859.06/1863.88 c #Conflicts: 827000 | #Constraints: 39860 1859.06/1863.88 c #Conflicts: 828000 | #Constraints: 40861 1859.06/1863.88 c INPROCESSING 1859.06/1863.88 c GARBAGE COLLECT 1859.06/1863.88 c rational objective 0 1930.28/1935.21 c #Conflicts: 829000 | #Constraints: 21657 1930.28/1935.21 c #Conflicts: 830000 | #Constraints: 22658 1930.28/1935.21 c #Conflicts: 831000 | #Constraints: 23754 1930.28/1935.21 c #Conflicts: 832000 | #Constraints: 24927 1930.28/1935.21 c #Conflicts: 833000 | #Constraints: 26217 1930.28/1935.21 c #Conflicts: 834000 | #Constraints: 27870 1930.28/1935.21 c #Conflicts: 835000 | #Constraints: 29047 1930.28/1935.21 c #Conflicts: 836000 | #Constraints: 30047 1930.28/1935.21 c #Conflicts: 837000 | #Constraints: 31047 1930.28/1935.21 c #Conflicts: 838000 | #Constraints: 32194 1930.28/1935.21 c #Conflicts: 839000 | #Constraints: 33194 1930.28/1935.21 c #Conflicts: 840000 | #Constraints: 34194 1930.28/1935.21 c #Conflicts: 841000 | #Constraints: 35194 1930.28/1935.21 c #Conflicts: 842000 | #Constraints: 36194 1930.28/1935.21 c #Conflicts: 843000 | #Constraints: 37194 1930.28/1935.21 c #Conflicts: 844000 | #Constraints: 38194 1930.28/1935.21 c #Conflicts: 845000 | #Constraints: 39739 1930.28/1935.21 c #Conflicts: 846000 | #Constraints: 41350 1930.28/1935.21 c INPROCESSING 1930.28/1935.21 c GARBAGE COLLECT 1930.28/1935.21 c rational objective 0 1994.50/1999.62 c #Conflicts: 847000 | #Constraints: 21681 1994.50/1999.62 c #Conflicts: 848000 | #Constraints: 22949 1994.50/1999.62 c #Conflicts: 849000 | #Constraints: 24225 1994.50/1999.62 c #Conflicts: 850000 | #Constraints: 25592 1994.50/1999.62 c #Conflicts: 851000 | #Constraints: 26594 1994.50/1999.62 c #Conflicts: 852000 | #Constraints: 27594 1994.50/1999.62 c #Conflicts: 853000 | #Constraints: 28594 1994.50/1999.62 c #Conflicts: 854000 | #Constraints: 29594 1994.50/1999.62 c #Conflicts: 855000 | #Constraints: 30595 1994.50/1999.62 c #Conflicts: 856000 | #Constraints: 31595 1994.50/1999.62 c #Conflicts: 857000 | #Constraints: 32595 1994.50/1999.62 c #Conflicts: 858000 | #Constraints: 33595 1994.50/1999.62 c #Conflicts: 859000 | #Constraints: 34595 1994.50/1999.62 c #Conflicts: 860000 | #Constraints: 35595 1994.50/1999.62 c #Conflicts: 861000 | #Constraints: 36595 1994.50/1999.62 c #Conflicts: 862000 | #Constraints: 37597 1994.50/1999.62 c #Conflicts: 863000 | #Constraints: 39148 1994.50/1999.62 c #Conflicts: 864000 | #Constraints: 40191 1994.50/1999.62 c #Conflicts: 865000 | #Constraints: 41193 1994.50/1999.62 c INPROCESSING 1994.50/1999.62 c GARBAGE COLLECT 1994.50/1999.62 c rational objective 0 2051.87/2057.13 c #Conflicts: 866000 | #Constraints: 21731 2051.87/2057.13 c #Conflicts: 867000 | #Constraints: 22810 2051.87/2057.13 c #Conflicts: 868000 | #Constraints: 23811 2051.87/2057.13 c #Conflicts: 869000 | #Constraints: 24811 2051.87/2057.13 c #Conflicts: 870000 | #Constraints: 25812 2051.87/2057.13 c #Conflicts: 871000 | #Constraints: 26851 2051.87/2057.13 c #Conflicts: 872000 | #Constraints: 27857 2051.87/2057.13 c #Conflicts: 873000 | #Constraints: 28867 2051.87/2057.13 c #Conflicts: 874000 | #Constraints: 29868 2051.87/2057.13 c #Conflicts: 875000 | #Constraints: 30869 2051.87/2057.13 c #Conflicts: 876000 | #Constraints: 32041 2051.87/2057.13 c #Conflicts: 877000 | #Constraints: 33041 2051.87/2057.13 c #Conflicts: 878000 | #Constraints: 34224 2051.87/2057.13 c #Conflicts: 879000 | #Constraints: 35225 2051.87/2057.13 c #Conflicts: 880000 | #Constraints: 36226 2051.87/2057.13 c #Conflicts: 881000 | #Constraints: 37227 2051.87/2057.13 c #Conflicts: 882000 | #Constraints: 38227 2051.87/2057.13 c #Conflicts: 883000 | #Constraints: 39251 2051.87/2057.13 c #Conflicts: 884000 | #Constraints: 40251 2051.87/2057.13 c INPROCESSING 2051.87/2057.13 c GARBAGE COLLECT 2051.87/2057.13 c rational objective 0 2139.44/2144.94 c #Conflicts: 885000 | #Constraints: 21757 2139.44/2144.94 c #Conflicts: 886000 | #Constraints: 23411 2139.44/2144.94 c #Conflicts: 887000 | #Constraints: 25096 2139.44/2144.94 c #Conflicts: 888000 | #Constraints: 26730 2139.44/2144.94 c #Conflicts: 889000 | #Constraints: 28389 2139.44/2144.94 c #Conflicts: 890000 | #Constraints: 30061 2139.44/2144.94 c #Conflicts: 891000 | #Constraints: 31728 2139.44/2144.94 c #Conflicts: 892000 | #Constraints: 33314 2139.44/2144.94 c #Conflicts: 893000 | #Constraints: 34984 2139.44/2144.94 c #Conflicts: 894000 | #Constraints: 36626 2139.44/2144.94 c #Conflicts: 895000 | #Constraints: 38235 2139.44/2144.94 c #Conflicts: 896000 | #Constraints: 39874 2139.44/2144.94 c #Conflicts: 897000 | #Constraints: 41480 2139.44/2144.94 c #Conflicts: 898000 | #Constraints: 43089 2139.44/2144.94 c #Conflicts: 899000 | #Constraints: 44702 2139.44/2144.94 c #Conflicts: 900000 | #Constraints: 46322 2139.44/2144.94 c #Conflicts: 901000 | #Constraints: 47968 2139.44/2144.94 c #Conflicts: 902000 | #Constraints: 49570 2139.44/2144.94 c #Conflicts: 903000 | #Constraints: 51209 2139.44/2144.94 c INPROCESSING 2139.44/2144.94 c GARBAGE COLLECT 2139.44/2144.94 c rational objective 0 2206.98/2212.68 c #Conflicts: 904000 | #Constraints: 26759 2206.98/2212.68 c #Conflicts: 905000 | #Constraints: 27763 2206.98/2212.68 c #Conflicts: 906000 | #Constraints: 29013 2206.98/2212.68 c #Conflicts: 907000 | #Constraints: 30184 2206.98/2212.68 c #Conflicts: 908000 | #Constraints: 31184 2206.98/2212.68 c #Conflicts: 909000 | #Constraints: 32184 2206.98/2212.68 c #Conflicts: 910000 | #Constraints: 33184 2206.98/2212.68 c #Conflicts: 911000 | #Constraints: 34445 2206.98/2212.68 c #Conflicts: 912000 | #Constraints: 35445 2206.98/2212.68 c #Conflicts: 913000 | #Constraints: 36446 2206.98/2212.68 c #Conflicts: 914000 | #Constraints: 37448 2206.98/2212.68 c #Conflicts: 915000 | #Constraints: 38454 2206.98/2212.68 c #Conflicts: 916000 | #Constraints: 39517 2206.98/2212.68 c #Conflicts: 917000 | #Constraints: 40517 2206.98/2212.68 c #Conflicts: 918000 | #Constraints: 41517 2206.98/2212.68 c #Conflicts: 919000 | #Constraints: 42527 2206.98/2212.68 c #Conflicts: 920000 | #Constraints: 43528 2206.98/2212.68 c #Conflicts: 921000 | #Constraints: 44528 2206.98/2212.68 c #Conflicts: 922000 | #Constraints: 45529 2206.98/2212.68 c INPROCESSING 2206.98/2212.68 c GARBAGE COLLECT 2206.98/2212.68 c rational objective 0 2307.62/2313.53 c #Conflicts: 923000 | #Constraints: 24137 2307.62/2313.53 c #Conflicts: 924000 | #Constraints: 25764 2307.62/2313.53 c #Conflicts: 925000 | #Constraints: 27384 2307.62/2313.53 c #Conflicts: 926000 | #Constraints: 28998 2307.62/2313.53 c #Conflicts: 927000 | #Constraints: 30662 2307.62/2313.53 c #Conflicts: 928000 | #Constraints: 31915 2307.62/2313.53 c #Conflicts: 929000 | #Constraints: 33560 2307.62/2313.53 c #Conflicts: 930000 | #Constraints: 35195 2307.62/2313.53 c #Conflicts: 931000 | #Constraints: 36838 2307.62/2313.53 c #Conflicts: 932000 | #Constraints: 38475 2307.62/2313.53 c #Conflicts: 933000 | #Constraints: 40095 2307.62/2313.53 c #Conflicts: 934000 | #Constraints: 41741 2307.62/2313.53 c #Conflicts: 935000 | #Constraints: 43399 2307.62/2313.53 c #Conflicts: 936000 | #Constraints: 45037 2307.62/2313.53 c #Conflicts: 937000 | #Constraints: 46693 2307.62/2313.53 c #Conflicts: 938000 | #Constraints: 48357 2307.62/2313.53 c #Conflicts: 939000 | #Constraints: 50029 2307.62/2313.53 c #Conflicts: 940000 | #Constraints: 51704 2307.62/2313.53 c #Conflicts: 941000 | #Constraints: 53373 2307.62/2313.53 c INPROCESSING 2307.62/2313.53 c GARBAGE COLLECT 2307.62/2313.53 c rational objective 0 2388.32/2394.46 c #Conflicts: 942000 | #Constraints: 27705 2388.32/2394.46 c #Conflicts: 943000 | #Constraints: 28706 2388.32/2394.46 c #Conflicts: 944000 | #Constraints: 29997 2388.32/2394.46 c #Conflicts: 945000 | #Constraints: 31062 2388.32/2394.46 c #Conflicts: 946000 | #Constraints: 32062 2388.32/2394.46 c #Conflicts: 947000 | #Constraints: 33113 2388.32/2394.46 c #Conflicts: 948000 | #Constraints: 34268 2388.32/2394.46 c #Conflicts: 949000 | #Constraints: 35269 2388.32/2394.46 c #Conflicts: 950000 | #Constraints: 36269 2388.32/2394.46 c #Conflicts: 951000 | #Constraints: 37269 2388.32/2394.46 c #Conflicts: 952000 | #Constraints: 38292 2388.32/2394.46 c #Conflicts: 953000 | #Constraints: 39362 2388.32/2394.46 c #Conflicts: 954000 | #Constraints: 40363 2388.32/2394.46 c #Conflicts: 955000 | #Constraints: 41504 2388.32/2394.46 c #Conflicts: 956000 | #Constraints: 42589 2388.32/2394.46 c #Conflicts: 957000 | #Constraints: 43589 2388.32/2394.46 c #Conflicts: 958000 | #Constraints: 44618 2388.32/2394.46 c #Conflicts: 959000 | #Constraints: 45618 2388.32/2394.46 c #Conflicts: 960000 | #Constraints: 46633 2388.32/2394.46 c #Conflicts: 961000 | #Constraints: 47633 2388.32/2394.46 c INPROCESSING 2388.32/2394.46 c GARBAGE COLLECT 2388.32/2394.46 c rational objective 0 2499.52/2505.95 c #Conflicts: 962000 | #Constraints: 25213 2499.52/2505.95 c #Conflicts: 963000 | #Constraints: 26853 2499.52/2505.95 c #Conflicts: 964000 | #Constraints: 28531 2499.52/2505.95 c #Conflicts: 965000 | #Constraints: 30257 2499.52/2505.95 c #Conflicts: 966000 | #Constraints: 31955 2499.52/2505.95 c #Conflicts: 967000 | #Constraints: 33621 2499.52/2505.95 c #Conflicts: 968000 | #Constraints: 35290 2499.52/2505.95 c #Conflicts: 969000 | #Constraints: 36945 2499.52/2505.95 c #Conflicts: 970000 | #Constraints: 38638 2499.52/2505.95 c #Conflicts: 971000 | #Constraints: 40323 2499.52/2505.95 c #Conflicts: 972000 | #Constraints: 42027 2499.52/2505.95 c #Conflicts: 973000 | #Constraints: 43724 2499.52/2505.95 c #Conflicts: 974000 | #Constraints: 45430 2499.52/2505.95 c #Conflicts: 975000 | #Constraints: 47046 2499.52/2505.95 c #Conflicts: 976000 | #Constraints: 48687 2499.52/2505.95 c #Conflicts: 977000 | #Constraints: 50328 2499.52/2505.95 c #Conflicts: 978000 | #Constraints: 51966 2499.52/2505.95 c #Conflicts: 979000 | #Constraints: 53581 2499.52/2505.95 c #Conflicts: 980000 | #Constraints: 55204 2499.52/2505.95 c #Conflicts: 981000 | #Constraints: 56785 2499.52/2505.95 c INPROCESSING 2499.52/2505.95 c GARBAGE COLLECT 2499.52/2505.95 c rational objective 0 2626.50/2633.21 c #Conflicts: 982000 | #Constraints: 30014 2626.50/2633.21 c #Conflicts: 983000 | #Constraints: 31670 2626.50/2633.21 c #Conflicts: 984000 | #Constraints: 33351 2626.50/2633.21 c #Conflicts: 985000 | #Constraints: 34998 2626.50/2633.21 c #Conflicts: 986000 | #Constraints: 36642 2626.50/2633.21 c #Conflicts: 987000 | #Constraints: 38338 2626.50/2633.21 c #Conflicts: 988000 | #Constraints: 40013 2626.50/2633.21 c #Conflicts: 989000 | #Constraints: 41339 2626.50/2633.21 c #Conflicts: 990000 | #Constraints: 42934 2626.50/2633.21 c #Conflicts: 991000 | #Constraints: 44539 2626.50/2633.21 c #Conflicts: 992000 | #Constraints: 46211 2626.50/2633.21 c #Conflicts: 993000 | #Constraints: 47864 2626.50/2633.21 c #Conflicts: 994000 | #Constraints: 49475 2626.50/2633.21 c #Conflicts: 995000 | #Constraints: 51125 2626.50/2633.21 c #Conflicts: 996000 | #Constraints: 52776 2626.50/2633.21 c #Conflicts: 997000 | #Constraints: 54435 2626.50/2633.21 c #Conflicts: 998000 | #Constraints: 55871 2626.50/2633.21 c #Conflicts: 999000 | #Constraints: 57417 2626.50/2633.21 c #Conflicts: 1000000 | #Constraints: 59070 2626.50/2633.21 c #Conflicts: 1001000 | #Constraints: 60697 2626.50/2633.21 c INPROCESSING 2626.50/2633.21 c GARBAGE COLLECT 2626.50/2633.21 c rational objective 0 2753.48/2760.59 c #Conflicts: 1002000 | #Constraints: 31769 2753.48/2760.59 c #Conflicts: 1003000 | #Constraints: 32938 2753.48/2760.59 c #Conflicts: 1004000 | #Constraints: 34407 2753.48/2760.59 c #Conflicts: 1005000 | #Constraints: 35407 2753.48/2760.59 c #Conflicts: 1006000 | #Constraints: 36407 2753.48/2760.59 c #Conflicts: 1007000 | #Constraints: 37582 2753.48/2760.59 c #Conflicts: 1008000 | #Constraints: 38905 2753.48/2760.59 c #Conflicts: 1009000 | #Constraints: 40071 2753.48/2760.59 c #Conflicts: 1010000 | #Constraints: 41198 2753.48/2760.59 c #Conflicts: 1011000 | #Constraints: 42780 2753.48/2760.59 c #Conflicts: 1012000 | #Constraints: 44439 2753.48/2760.59 c #Conflicts: 1013000 | #Constraints: 45968 2753.48/2760.59 c #Conflicts: 1014000 | #Constraints: 47622 2753.48/2760.59 c #Conflicts: 1015000 | #Constraints: 49282 2753.48/2760.59 c #Conflicts: 1016000 | #Constraints: 50934 2753.48/2760.59 c #Conflicts: 1017000 | #Constraints: 52554 2753.48/2760.59 c #Conflicts: 1018000 | #Constraints: 54045 2753.48/2760.59 c #Conflicts: 1019000 | #Constraints: 55704 2753.48/2760.59 c #Conflicts: 1020000 | #Constraints: 57300 2753.48/2760.59 c #Conflicts: 1021000 | #Constraints: 58621 2753.48/2760.59 c INPROCESSING 2753.48/2760.59 c GARBAGE COLLECT 2753.48/2760.59 c rational objective 0 2884.24/2891.65 c #Conflicts: 1022000 | #Constraints: 30790 2884.24/2891.65 c #Conflicts: 1023000 | #Constraints: 32233 2884.24/2891.65 c #Conflicts: 1024000 | #Constraints: 33402 2884.24/2891.65 c #Conflicts: 1025000 | #Constraints: 34806 2884.24/2891.65 c #Conflicts: 1026000 | #Constraints: 36419 2884.24/2891.65 c #Conflicts: 1027000 | #Constraints: 38062 2884.24/2891.65 c #Conflicts: 1028000 | #Constraints: 39682 2884.24/2891.65 c #Conflicts: 1029000 | #Constraints: 41318 2884.24/2891.65 c #Conflicts: 1030000 | #Constraints: 42461 2884.24/2891.65 c #Conflicts: 1031000 | #Constraints: 44067 2884.24/2891.65 c #Conflicts: 1032000 | #Constraints: 45658 2884.24/2891.65 c #Conflicts: 1033000 | #Constraints: 47270 2884.24/2891.65 c #Conflicts: 1034000 | #Constraints: 48693 2884.24/2891.65 c #Conflicts: 1035000 | #Constraints: 49695 2884.24/2891.65 c #Conflicts: 1036000 | #Constraints: 50695 2884.24/2891.65 c #Conflicts: 1037000 | #Constraints: 52274 2884.24/2891.65 c #Conflicts: 1038000 | #Constraints: 53894 2884.24/2891.65 c #Conflicts: 1039000 | #Constraints: 55517 2884.24/2891.65 c #Conflicts: 1040000 | #Constraints: 57155 2884.24/2891.65 c #Conflicts: 1041000 | #Constraints: 58504 2884.24/2891.65 c INPROCESSING 2884.24/2891.65 c GARBAGE COLLECT 2884.24/2891.65 c rational objective 0 3019.78/3027.53 c #Conflicts: 1042000 | #Constraints: 30349 3019.78/3027.53 c #Conflicts: 1043000 | #Constraints: 31939 3019.78/3027.53 c #Conflicts: 1044000 | #Constraints: 33594 3019.78/3027.53 c #Conflicts: 1045000 | #Constraints: 35230 3019.78/3027.53 c #Conflicts: 1046000 | #Constraints: 36935 3019.78/3027.53 c #Conflicts: 1047000 | #Constraints: 38645 3019.78/3027.53 c #Conflicts: 1048000 | #Constraints: 40359 3019.78/3027.53 c #Conflicts: 1049000 | #Constraints: 42063 3019.78/3027.53 c #Conflicts: 1050000 | #Constraints: 43763 3019.78/3027.53 c #Conflicts: 1051000 | #Constraints: 45460 3019.78/3027.53 c #Conflicts: 1052000 | #Constraints: 47166 3019.78/3027.53 c #Conflicts: 1053000 | #Constraints: 48839 3019.78/3027.53 c #Conflicts: 1054000 | #Constraints: 50511 3019.78/3027.53 c #Conflicts: 1055000 | #Constraints: 52170 3019.78/3027.53 c #Conflicts: 1056000 | #Constraints: 53846 3019.78/3027.53 c #Conflicts: 1057000 | #Constraints: 55486 3019.78/3027.53 c #Conflicts: 1058000 | #Constraints: 57146 3019.78/3027.53 c #Conflicts: 1059000 | #Constraints: 58832 3019.78/3027.53 c #Conflicts: 1060000 | #Constraints: 60459 3019.78/3027.53 c #Conflicts: 1061000 | #Constraints: 62116 3019.78/3027.53 c #Conflicts: 1062000 | #Constraints: 63763 3019.78/3027.53 c INPROCESSING 3019.78/3027.53 c GARBAGE COLLECT 3019.78/3027.53 c rational objective 0 3147.45/3155.56 c #Conflicts: 1063000 | #Constraints: 33287 3147.45/3155.56 c #Conflicts: 1064000 | #Constraints: 34562 3147.45/3155.56 c #Conflicts: 1065000 | #Constraints: 35702 3147.45/3155.56 c #Conflicts: 1066000 | #Constraints: 36706 3147.45/3155.56 c #Conflicts: 1067000 | #Constraints: 38119 3147.45/3155.56 c #Conflicts: 1068000 | #Constraints: 39520 3147.45/3155.56 c #Conflicts: 1069000 | #Constraints: 40770 3147.45/3155.56 c #Conflicts: 1070000 | #Constraints: 41919 3147.45/3155.56 c #Conflicts: 1071000 | #Constraints: 43307 3147.45/3155.56 c #Conflicts: 1072000 | #Constraints: 44919 3147.45/3155.56 c #Conflicts: 1073000 | #Constraints: 46235 3147.45/3155.56 c #Conflicts: 1074000 | #Constraints: 47509 3147.45/3155.56 c #Conflicts: 1075000 | #Constraints: 48918 3147.45/3155.56 c #Conflicts: 1076000 | #Constraints: 50171 3147.45/3155.56 c #Conflicts: 1077000 | #Constraints: 51429 3147.45/3155.56 c #Conflicts: 1078000 | #Constraints: 52429 3147.45/3155.56 c #Conflicts: 1079000 | #Constraints: 53475 3147.45/3155.56 c #Conflicts: 1080000 | #Constraints: 54670 3147.45/3155.56 c #Conflicts: 1081000 | #Constraints: 55694 3147.45/3155.56 c #Conflicts: 1082000 | #Constraints: 57017 3147.45/3155.56 c #Conflicts: 1083000 | #Constraints: 58203 3147.45/3155.56 c INPROCESSING 3147.45/3155.56 c GARBAGE COLLECT 3147.45/3155.56 c rational objective 0 3284.50/3292.97 c #Conflicts: 1084000 | #Constraints: 30763 3284.50/3292.97 c #Conflicts: 1085000 | #Constraints: 32421 3284.50/3292.97 c #Conflicts: 1086000 | #Constraints: 34059 3284.50/3292.97 c #Conflicts: 1087000 | #Constraints: 35701 3284.50/3292.97 c #Conflicts: 1088000 | #Constraints: 37332 3284.50/3292.97 c #Conflicts: 1089000 | #Constraints: 39015 3284.50/3292.97 c #Conflicts: 1090000 | #Constraints: 40663 3284.50/3292.97 c #Conflicts: 1091000 | #Constraints: 42375 3284.50/3292.97 c #Conflicts: 1092000 | #Constraints: 44054 3284.50/3292.97 c #Conflicts: 1093000 | #Constraints: 45701 3284.50/3292.97 c #Conflicts: 1094000 | #Constraints: 47022 3284.50/3292.97 c #Conflicts: 1095000 | #Constraints: 48560 3284.50/3292.97 c #Conflicts: 1096000 | #Constraints: 50171 3284.50/3292.97 c #Conflicts: 1097000 | #Constraints: 51796 3284.50/3292.97 c #Conflicts: 1098000 | #Constraints: 53450 3284.50/3292.97 c #Conflicts: 1099000 | #Constraints: 55084 3284.50/3292.97 c #Conflicts: 1100000 | #Constraints: 56542 3284.50/3292.97 c #Conflicts: 1101000 | #Constraints: 58128 3284.50/3292.97 c #Conflicts: 1102000 | #Constraints: 59761 3284.50/3292.97 c #Conflicts: 1103000 | #Constraints: 61434 3284.50/3292.97 c #Conflicts: 1104000 | #Constraints: 63088 3284.50/3292.97 c INPROCESSING 3284.50/3292.97 c GARBAGE COLLECT 3284.50/3292.97 c rational objective 0 3406.80/3415.50 c #Conflicts: 1105000 | #Constraints: 32797 3406.80/3415.50 c #Conflicts: 1106000 | #Constraints: 33886 3406.80/3415.50 c #Conflicts: 1107000 | #Constraints: 35399 3406.80/3415.50 c #Conflicts: 1108000 | #Constraints: 36926 3406.80/3415.50 c #Conflicts: 1109000 | #Constraints: 38263 3406.80/3415.50 c #Conflicts: 1110000 | #Constraints: 39369 3406.80/3415.50 c #Conflicts: 1111000 | #Constraints: 40623 3406.80/3415.50 c #Conflicts: 1112000 | #Constraints: 41914 3406.80/3415.50 c #Conflicts: 1113000 | #Constraints: 43210 3406.80/3415.50 c #Conflicts: 1114000 | #Constraints: 44574 3406.80/3415.50 c #Conflicts: 1115000 | #Constraints: 45750 3406.80/3415.50 c #Conflicts: 1116000 | #Constraints: 47203 3406.80/3415.50 c #Conflicts: 1117000 | #Constraints: 48655 3406.80/3415.50 c #Conflicts: 1118000 | #Constraints: 50154 3406.80/3415.50 c #Conflicts: 1119000 | #Constraints: 51491 3406.80/3415.50 c #Conflicts: 1120000 | #Constraints: 52672 3406.80/3415.50 c #Conflicts: 1121000 | #Constraints: 54101 3406.80/3415.50 c #Conflicts: 1122000 | #Constraints: 55699 3406.80/3415.50 c #Conflicts: 1123000 | #Constraints: 56905 3406.80/3415.50 c #Conflicts: 1124000 | #Constraints: 58211 3406.80/3415.50 c #Conflicts: 1125000 | #Constraints: 59604 3406.80/3415.50 c INPROCESSING 3406.80/3415.50 c GARBAGE COLLECT 3406.80/3415.50 c rational objective 0 3510.23/3519.28 c #Conflicts: 1126000 | #Constraints: 31166 3510.23/3519.28 c #Conflicts: 1127000 | #Constraints: 32513 3510.23/3519.28 c #Conflicts: 1128000 | #Constraints: 33700 3510.23/3519.28 c #Conflicts: 1129000 | #Constraints: 35054 3510.23/3519.28 c #Conflicts: 1130000 | #Constraints: 36267 3510.23/3519.28 c #Conflicts: 1131000 | #Constraints: 37269 3510.23/3519.28 c #Conflicts: 1132000 | #Constraints: 38270 3510.23/3519.28 c #Conflicts: 1133000 | #Constraints: 39390 3510.23/3519.28 c #Conflicts: 1134000 | #Constraints: 40390 3510.23/3519.28 c #Conflicts: 1135000 | #Constraints: 41390 3510.23/3519.28 c #Conflicts: 1136000 | #Constraints: 42430 3510.23/3519.28 c #Conflicts: 1137000 | #Constraints: 43430 3510.23/3519.28 c #Conflicts: 1138000 | #Constraints: 44767 3510.23/3519.28 c #Conflicts: 1139000 | #Constraints: 45767 3510.23/3519.28 c #Conflicts: 1140000 | #Constraints: 46767 3510.23/3519.28 c #Conflicts: 1141000 | #Constraints: 47767 3510.23/3519.28 c #Conflicts: 1142000 | #Constraints: 48767 3510.23/3519.28 c #Conflicts: 1143000 | #Constraints: 49854 3510.23/3519.28 c #Conflicts: 1144000 | #Constraints: 50897 3510.23/3519.28 c #Conflicts: 1145000 | #Constraints: 51990 3510.23/3519.28 c #Conflicts: 1146000 | #Constraints: 53100 3510.23/3519.28 c INPROCESSING 3510.23/3519.28 c GARBAGE COLLECT 3510.23/3519.28 c rational objective 0 3600.08/3609.30 c #Conflicts: 1147000 | #Constraints: 27529 3600.08/3609.30 c #Conflicts: 1148000 | #Constraints: 29122 3600.08/3609.30 c #Conflicts: 1149000 | #Constraints: 30762 3600.08/3609.30 c #Conflicts: 1150000 | #Constraints: 32346 3600.08/3609.30 c #Conflicts: 1151000 | #Constraints: 33955 3600.08/3609.30 c #Conflicts: 1152000 | #Constraints: 35572 3600.08/3609.30 c #Conflicts: 1153000 | #Constraints: 37202 3600.08/3609.30 c #Conflicts: 1154000 | #Constraints: 38854 3600.08/3609.30 c #Conflicts: 1155000 | #Constraints: 40490 3600.08/3609.30 c #Conflicts: 1156000 | #Constraints: 42158 3600.08/3609.30 c #Conflicts: 1157000 | #Constraints: 43842 3600.08/3609.30 c #Conflicts: 1158000 | #Constraints: 45453 3600.08/3609.30 c #Conflicts: 1159000 | #Constraints: 47077 3600.08/3609.30 c #Conflicts: 1160000 | #Constraints: 48696 3600.08/3609.30 c #Conflicts: 1161000 | #Constraints: 50327 3600.08/3609.30 c #Conflicts: 1162000 | #Constraints: 51963 3600.08/3609.30 c #Conflicts: 1163000 | #Constraints: 53564 3600.08/3609.30 c Program interrupted by user. 3600.08/3609.30 c cpu time 3586.54 s 3600.08/3609.30 c deterministic time 503416075416 5.03e+11 3600.08/3609.30 c optimization time 89.5453 s 3600.08/3609.30 c total solve time 3496.99 s 3600.08/3609.30 c core-guided solve time 0 s 3600.08/3609.30 c propagation time 3401.4 s 3600.08/3609.30 c conflict analysis time 165.983 s 3600.08/3609.30 c propagations 21446205 3600.08/3609.30 c resolve steps 8230030 3600.08/3609.30 c decisions 2322659 3600.08/3609.30 c conflicts 1163672 3600.08/3609.30 c restarts 2172 3600.08/3609.30 c inprocessing phases 98 3600.08/3609.30 c input clauses 1 3600.08/3609.30 c input cardinalities 0 3600.08/3609.30 c input general constraints 16 3600.08/3609.30 c input average constraint length 65.47 3600.08/3609.30 c input average constraint degree 1602.06 3600.08/3609.30 c learned clauses 554269 3600.08/3609.30 c learned cardinalities 0 3600.08/3609.30 c learned general constraints 959611 3600.08/3609.30 c learned average constraint length 52.89 3600.08/3609.30 c learned average constraint degree 2181632186.75 3600.08/3609.30 c watched constraints 869697 3600.08/3609.30 c counting constraints 89930 3600.08/3609.30 c gcd simplifications 496774 3600.08/3609.30 c detected cardinalities 0 3600.08/3609.30 c weakened non-implied lits 12134945 3600.08/3609.30 c weakened non-implying lits 314494 3600.08/3609.30 c original variables 71 3600.08/3609.30 c clausal propagations 298631 3600.08/3609.30 c cardinality propagations 0 3600.08/3609.30 c watched propagations 11587857 3600.08/3609.30 c counting propagations 8797794 3600.08/3609.30 c watch lookups 33841160610 3600.08/3609.30 c watch backjump lookups 16169687493 3600.08/3609.30 c watch checks 413284902631 3600.08/3609.30 c propagation checks 39498288058 3600.08/3609.30 c constraint additions 572203041 3600.08/3609.30 c trail pops 24931429 3600.08/3609.30 c formula constraints 17 3600.08/3609.30 c learned constraints 1162617 3600.08/3609.30 c bound constraints 0 3600.08/3609.30 c core-guided constraints 0 3600.08/3609.30 c encountered formula constraints 13465 3600.08/3609.30 c encountered learned constraints 1751030 3600.08/3609.30 c encountered bound constraints 0 3600.08/3609.30 c encountered core-guided constraints 0 3600.08/3609.30 c LP total time 58.2357 s 3600.08/3609.30 c LP solve time 36.12 s 3600.08/3609.30 c LP constraints added 197 3600.08/3609.30 c LP constraints removed 178 3600.08/3609.30 c LP pivots internal 1132248 3600.08/3609.30 c LP pivots root 1041 3600.08/3609.30 c LP calls 654447 3600.08/3609.30 c LP optimalities 304399 3600.08/3609.30 c LP no pivot count 136153 3600.08/3609.30 c LP infeasibilities 350043 3600.08/3609.30 c LP valid Farkas constraints 350043 3600.08/3609.30 c LP learned Farkas constraints 1055 3600.08/3609.30 c LP basis resets 5 3600.08/3609.30 c LP cycling count 0 3600.08/3609.30 c LP singular count 5 3600.08/3609.30 c LP no primal count 0 3600.08/3609.30 c LP no farkas count 0 3600.08/3609.30 c LP other issue count 0 3600.08/3609.30 c LP Gomory cuts 165 3600.08/3609.30 c LP learned cuts 15 3600.08/3609.30 c LP deleted cuts 178 3600.08/3609.30 c LP encountered Gomory constraints 2612 3600.08/3609.30 c LP encountered Farkas constraints 6914537 3600.08/3609.30 c LP encountered learned Farkas constraints 711003 3600.08/3609.30 c CG auxiliary variables introduced 0 3600.08/3609.30 c CG solutions found 0 3600.08/3609.30 c CG cores constructed 0 3600.08/3609.30 c CG core cardinality constraints returned 0 3600.08/3609.30 c CG unit cores 0 3600.08/3609.30 c CG single cores 0 3600.08/3609.30 c CG blocks removed during cardinality reduction 0 3600.08/3609.30 c CG first core best 0 3600.08/3609.30 c CG decision core best 0 3600.08/3609.30 c CG core reduction tie 0 3600.08/3609.30 c CG core degree average 0.00 3600.08/3609.30 c CG core slack average 0.00 3600.08/3609.30 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62144 MiB free)
memory of node 1: 64510 MiB (63205 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455170-1721459488/watcher-4455170-1721459488 -o /tmp/evaluation-result-4455170-1721459488/solver-4455170-1721459488 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721455874-1042524 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455170-1721459488.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1044845, runsolver pid=1044842
[startup+0.100083 s]*
/proc/loadavg: 4.06 4.13 4.15 5/255 1044846
/proc/meminfo: memFree=128355232/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=37676 memory=10124 CPUtime=0.09 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 419 0 0 0 9 0 0 0 20 0 1 0 198113720 38580224 2531 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 9419 2531 1848 922 0 1371 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37676 KiB
Current children cumulated memory: 10124 KiB
[startup+0.205417 s]*
/proc/loadavg: 4.06 4.13 4.15 5/255 1044846
/proc/meminfo: memFree=128354728/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=37940 memory=10388 CPUtime=0.2 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 479 0 0 0 19 1 0 0 20 0 1 0 198113720 38850560 2597 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 9485 2597 1848 922 0 1437 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37940 KiB
Current children cumulated memory: 10388 KiB
[startup+0.304429 s]*
/proc/loadavg: 4.06 4.13 4.15 5/255 1044846
/proc/meminfo: memFree=128354588/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=37940 memory=10712 CPUtime=0.29 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 492 0 0 0 28 1 0 0 20 0 1 0 198113720 38850560 2678 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 9485 2678 1864 922 0 1437 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37940 KiB
Current children cumulated memory: 10712 KiB
[startup+0.700194 s]
/proc/loadavg: 4.06 4.13 4.15 5/255 1044846
/proc/meminfo: memFree=128354112/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=38356 memory=10976 CPUtime=0.69 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 601 0 0 0 66 3 0 0 20 0 1 0 198113720 39276544 2744 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 9589 2744 1864 922 0 1541 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38356 KiB
Current children cumulated memory: 10976 KiB
[startup+1.5002 s]
/proc/loadavg: 4.06 4.13 4.15 5/255 1044846
/proc/meminfo: memFree=128353768/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=38772 memory=11504 CPUtime=1.49 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 705 0 0 0 143 6 0 0 20 0 1 0 198113720 39702528 2876 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 9693 2876 1864 922 0 1645 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38772 KiB
Current children cumulated memory: 11504 KiB
[startup+3.10543 s]
/proc/loadavg: 4.06 4.13 4.15 5/255 1044847
/proc/meminfo: memFree=128350908/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=39320 memory=13948 CPUtime=3.09 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 821 0 0 0 297 12 0 0 20 0 1 0 198113720 40263680 3487 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 9830 3487 1864 922 0 1782 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39320 KiB
Current children cumulated memory: 13948 KiB
[startup+6.30021 s]
/proc/loadavg: 4.05 4.13 4.15 5/257 1044879
/proc/meminfo: memFree=128384520/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=39876 memory=14424 CPUtime=6.28 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 938 0 0 0 609 19 0 0 20 0 1 0 198113720 40833024 3606 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 9969 3606 1864 922 0 1921 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 39876 KiB
Current children cumulated memory: 14424 KiB
[startup+12.7001 s]
/proc/loadavg: 4.05 4.13 4.15 5/255 1044893
/proc/meminfo: memFree=128425504/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=45352 memory=17708 CPUtime=12.66 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 1731 0 0 0 1236 30 0 0 20 0 1 0 198113720 46440448 4427 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 11338 4427 1864 922 0 3290 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45352 KiB
Current children cumulated memory: 17708 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.12 4.15 5/257 1044929
/proc/meminfo: memFree=128426968/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=47912 memory=21556 CPUtime=25.43 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 2246 0 0 0 2495 48 0 0 20 0 1 0 198113720 49061888 5389 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 11978 5389 1864 922 0 3930 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 47912 KiB
Current children cumulated memory: 21556 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.13 4.15 5/257 1045024
/proc/meminfo: memFree=128638352/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=54848 memory=27380 CPUtime=50.97 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 3183 0 0 0 5023 74 0 0 20 0 1 0 198113720 56164352 6845 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 13712 6845 1864 922 0 5664 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 54848 KiB
Current children cumulated memory: 27380 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.10 4.14 5/257 1045033
/proc/meminfo: memFree=128595408/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=56564 memory=29420 CPUtime=102.03 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 3532 0 0 0 10071 132 0 0 20 0 1 0 198113720 57921536 7355 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 14141 7355 1966 922 0 6093 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 29420 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/258 1045045
/proc/meminfo: memFree=128561952/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=59856 memory=32252 CPUtime=161.89 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 4246 0 0 0 16006 183 0 0 20 0 1 0 198113720 61292544 8063 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 14964 8063 1966 922 0 6916 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 59856 KiB
Current children cumulated memory: 32252 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/256 1045055
/proc/meminfo: memFree=128546492/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=60624 memory=33212 CPUtime=221.76 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 4523 0 0 0 21947 229 0 0 20 0 1 0 198113720 62078976 8303 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 15156 8303 1966 922 0 7108 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 60624 KiB
Current children cumulated memory: 33212 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/255 1045065
/proc/meminfo: memFree=128523616/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=70236 memory=38608 CPUtime=281.61 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 5418 0 0 0 27900 261 0 0 20 0 1 0 198113720 71921664 9652 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 17559 9652 1966 922 0 9511 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 70236 KiB
Current children cumulated memory: 38608 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 4.19 4.16 5/255 1045075
/proc/meminfo: memFree=128496104/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=70236 memory=38608 CPUtime=341.47 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 5447 0 0 0 33846 301 0 0 20 0 1 0 198113720 71921664 9652 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 17559 9652 1966 922 0 9511 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 70236 KiB
Current children cumulated memory: 38608 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/256 1045087
/proc/meminfo: memFree=128461496/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=71260 memory=39360 CPUtime=401.33 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 5635 0 0 0 39790 343 0 0 20 0 1 0 198113720 72970240 9840 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 17815 9840 1966 922 0 9767 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 71260 KiB
Current children cumulated memory: 39360 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/255 1045097
/proc/meminfo: memFree=128497680/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=71260 memory=39548 CPUtime=461.18 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 5652 0 0 0 45739 379 0 0 20 0 1 0 198113720 72970240 9887 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 17815 9887 1966 922 0 9767 0
################
# More data... #
################
Current children cumulated memory: 72008 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/256 1046707
/proc/meminfo: memFree=128223500/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=101512 memory=72008 CPUtime=2914.86 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 10825 0 0 0 290287 1199 0 0 20 0 1 0 198113720 103948288 18002 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25378 18002 1966 922 0 17330 0
Current children cumulated CPU time: 2914.86 s
Current children cumulated vsize: 101512 KiB
Current children cumulated memory: 72008 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/256 1046729
/proc/meminfo: memFree=128222740/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=101512 memory=72048 CPUtime=2974.7 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 10890 0 0 0 296257 1213 0 0 20 0 1 0 198113720 103948288 18012 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25378 18012 1966 922 0 17330 0
Current children cumulated CPU time: 2974.7 s
Current children cumulated vsize: 101512 KiB
Current children cumulated memory: 72048 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.18 4.13 5/256 1046739
/proc/meminfo: memFree=128221720/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=74784 CPUtime=3034.54 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11148 0 0 0 302229 1225 0 0 20 0 1 0 198113720 104861696 18696 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18696 1966 922 0 17553 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 74784 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/256 1046750
/proc/meminfo: memFree=128221368/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75016 CPUtime=3094.38 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11172 0 0 0 308199 1239 0 0 20 0 1 0 198113720 104861696 18754 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18754 1966 922 0 17553 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75016 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.13 4.11 5/257 1046762
/proc/meminfo: memFree=128218588/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75016 CPUtime=3154.23 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11199 0 0 0 314172 1251 0 0 20 0 1 0 198113720 104861696 18754 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18754 1966 922 0 17553 0
Current children cumulated CPU time: 3154.23 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/255 1046772
/proc/meminfo: memFree=128216936/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75676 CPUtime=3214.08 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11226 0 0 0 320143 1265 0 0 20 0 1 0 198113720 104861696 18919 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18919 1966 922 0 17553 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75676 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/255 1046782
/proc/meminfo: memFree=128215088/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75676 CPUtime=3273.93 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11264 0 0 0 326115 1278 0 0 20 0 1 0 198113720 104861696 18919 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18919 1966 922 0 17553 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75676 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/255 1046792
/proc/meminfo: memFree=128214844/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75740 CPUtime=3333.78 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11296 0 0 0 332086 1292 0 0 20 0 1 0 198113720 104861696 18935 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18935 1966 922 0 17553 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75740 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/255 1046803
/proc/meminfo: memFree=128212476/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75740 CPUtime=3393.63 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11335 0 0 0 338059 1304 0 0 20 0 1 0 198113720 104861696 18935 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18935 1966 922 0 17553 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75740 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1046813
/proc/meminfo: memFree=128211888/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75784 CPUtime=3453.48 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11359 0 0 0 344025 1323 0 0 20 0 1 0 198113720 104861696 18946 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18946 1966 922 0 17553 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 1046827
/proc/meminfo: memFree=128245980/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75784 CPUtime=3513.32 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11386 0 0 0 349993 1339 0 0 20 0 1 0 198113720 104861696 18946 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18946 1966 922 0 17553 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/257 1046839
/proc/meminfo: memFree=128244488/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75784 CPUtime=3573.16 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11420 0 0 0 355965 1351 0 0 20 0 1 0 198113720 104861696 18946 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18946 1966 922 0 17553 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 1046847
/proc/meminfo: memFree=128241940/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75820 CPUtime=3600.08 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11431 0 0 0 358653 1355 0 0 20 0 1 0 198113720 104861696 18955 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18955 1966 922 0 17553 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 1044845 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.54 s, system=13.5566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 1046847
/proc/meminfo: memFree=128241940/131524600 swapFree=131071996/131071996
[pid=1044845] ppid=1044842 vsize=102404 memory=75820 CPUtime=3600.08 cores=5,7
/proc/1044845/stat : 1044845 (roundingsat) R 1044842 1044845 1042511 0 -1 4194304 11431 0 0 0 358653 1355 0 0 20 0 1 0 198113720 104861696 18955 134679101440 4194304 7968373 140732166410528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 11751424 140732166415292 140732166415456 140732166415456 140732166422473 0
/proc/1044845/statm: 25601 18955 1966 922 0 17553 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 102404 KiB
Current children cumulated memory: 75820 KiB
Child status: 0
Real time (s): 3609.3
CPU time (s): 3600.09
CPU user time (s): 3586.54
CPU system time (s): 13.5566
CPU usage (%): 99.7449
Max. virtual memory (cumulated for all children) (KiB): 102404
Max. memory (cumulated for all children) (KiB): 75820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.54
system time used= 13.5566
maximum resident set size= 75820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11441
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= 31
involuntary context switches= 1959
# summary of solver processes directly reported to runsolver:
# pid: 1044845
# total CPU time (s): 3600.09
# total CPU user time (s): 3586.54
# total CPU system time (s): 13.5566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19393 second user time and 17.5829 second system time
The end
Begin job on nodeC024 at 2024-07-20 09:11:41 IDJOB=4455170 IDBENCH=147583 IDSOLVER=3084 FILE ID=nodeC024/4455170-1721459488 RUNJOBID= nodeC024-1721455874-1042524 SLURM_JOB_ID= 7545689 Free space on /tmp= 890008 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.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-4455170-1721459488/watcher-4455170-1721459488 -o /tmp/evaluation-result-4455170-1721459488/solver-4455170-1721459488 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721455874-1042524 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455170-1721459488.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b RANDOM SEED=883973283 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 : 3667.395 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 : 3668.425 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 : 3600.013 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 : 3606.362 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 : 3667.511 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 : 3661.637 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 : 3599.738 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 : 3661.987 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: 128358760 kB MemAvailable: 129268816 kB Buffers: 549084 kB Cached: 1204788 kB SwapCached: 0 kB Active: 1112444 kB Inactive: 1439196 kB Active(anon): 1548 kB Inactive(anon): 842108 kB Active(file): 1110896 kB Inactive(file): 597088 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 76096 kB Writeback: 0 kB AnonPages: 796728 kB Mapped: 114572 kB Shmem: 45912 kB KReclaimable: 83440 kB Slab: 195116 kB SReclaimable: 83440 kB SUnreclaim: 111676 kB KernelStack: 4080 kB PageTables: 10808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1255596 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71872 kB HardwareCorrupted: 0 kB AnonHugePages: 624640 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= 890056 MiB End job on nodeC024 at 2024-07-20 10:11:51