| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.08 | 3609.5 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb |
| MD5SUM | 52024caa2fcec9d840e113a681eace59 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 40876.6 |
| 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 | 41 |
| Total number of constraints | 11 |
| 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 | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 40 |
| 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 | 1196 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3589 |
| Number of bits of the biggest sum of numbers | 12 |
| 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 41 #constraints 11 0.00/0.00 c bounds - >= 0 @ 0 0.00/0.00 c rational objective 0 0.10/0.15 c #Conflicts: 1000 | #Constraints: 1023 0.10/0.15 c #Conflicts: 2000 | #Constraints: 2028 0.10/0.15 c INPROCESSING 0.10/0.15 c GARBAGE COLLECT 0.10/0.15 c rational objective 0 0.41/0.43 c #Conflicts: 3000 | #Constraints: 2029 0.41/0.43 c #Conflicts: 4000 | #Constraints: 3031 0.41/0.43 c INPROCESSING 0.41/0.43 c GARBAGE COLLECT 0.41/0.43 c rational objective 0 0.79/0.83 c #Conflicts: 5000 | #Constraints: 2430 0.79/0.83 c #Conflicts: 6000 | #Constraints: 3431 0.79/0.83 c INPROCESSING 0.79/0.83 c GARBAGE COLLECT 0.79/0.83 c rational objective 0 1.19/1.29 c #Conflicts: 7000 | #Constraints: 2428 1.19/1.29 c #Conflicts: 8000 | #Constraints: 3428 1.19/1.29 c #Conflicts: 9000 | #Constraints: 4428 1.19/1.29 c INPROCESSING 1.19/1.29 c GARBAGE COLLECT 1.19/1.29 c rational objective 0 1.78/1.81 c #Conflicts: 10000 | #Constraints: 3127 1.78/1.81 c #Conflicts: 11000 | #Constraints: 4129 1.78/1.81 c #Conflicts: 12000 | #Constraints: 5129 1.78/1.81 c INPROCESSING 1.78/1.81 c GARBAGE COLLECT 1.78/1.81 c rational objective 0 2.39/2.42 c #Conflicts: 13000 | #Constraints: 3579 2.39/2.42 c #Conflicts: 14000 | #Constraints: 4579 2.39/2.42 c #Conflicts: 15000 | #Constraints: 5580 2.39/2.42 c INPROCESSING 2.39/2.42 c GARBAGE COLLECT 2.39/2.42 c rational objective 0 3.09/3.15 c #Conflicts: 16000 | #Constraints: 3805 3.09/3.15 c #Conflicts: 17000 | #Constraints: 4805 3.09/3.15 c #Conflicts: 18000 | #Constraints: 5806 3.09/3.15 c INPROCESSING 3.09/3.15 c GARBAGE COLLECT 3.09/3.15 c rational objective 0 3.88/3.99 c #Conflicts: 19000 | #Constraints: 3816 3.88/3.99 c #Conflicts: 20000 | #Constraints: 4817 3.88/3.99 c #Conflicts: 21000 | #Constraints: 5817 3.88/3.99 c INPROCESSING 3.88/3.99 c GARBAGE COLLECT 3.88/3.99 c rational objective 0 4.87/4.96 c #Conflicts: 22000 | #Constraints: 3622 4.87/4.96 c #Conflicts: 23000 | #Constraints: 4623 4.87/4.96 c #Conflicts: 24000 | #Constraints: 5624 4.87/4.96 c #Conflicts: 25000 | #Constraints: 6624 4.87/4.96 c INPROCESSING 4.87/4.96 c GARBAGE COLLECT 4.87/4.96 c rational objective 0 6.09/6.14 c #Conflicts: 26000 | #Constraints: 4226 6.09/6.14 c #Conflicts: 27000 | #Constraints: 5226 6.09/6.14 c #Conflicts: 28000 | #Constraints: 6227 6.09/6.14 c #Conflicts: 29000 | #Constraints: 7227 6.09/6.14 c INPROCESSING 6.09/6.14 c GARBAGE COLLECT 6.09/6.14 c rational objective 0 7.47/7.52 c #Conflicts: 30000 | #Constraints: 4786 7.47/7.52 c #Conflicts: 31000 | #Constraints: 5786 7.47/7.52 c #Conflicts: 32000 | #Constraints: 6878 7.47/7.52 c #Conflicts: 33000 | #Constraints: 8241 7.47/7.52 c INPROCESSING 7.47/7.52 c GARBAGE COLLECT 7.47/7.52 c rational objective 0 9.17/9.24 c #Conflicts: 34000 | #Constraints: 5633 9.17/9.24 c #Conflicts: 35000 | #Constraints: 6633 9.17/9.24 c #Conflicts: 36000 | #Constraints: 7972 9.17/9.24 c #Conflicts: 37000 | #Constraints: 9295 9.17/9.24 c INPROCESSING 9.17/9.24 c GARBAGE COLLECT 9.17/9.24 c rational objective 0 11.66/11.74 c #Conflicts: 38000 | #Constraints: 6070 11.66/11.74 c #Conflicts: 39000 | #Constraints: 7457 11.66/11.74 c #Conflicts: 40000 | #Constraints: 9130 11.66/11.74 c #Conflicts: 41000 | #Constraints: 10800 11.66/11.74 c INPROCESSING 11.66/11.74 c GARBAGE COLLECT 11.66/11.74 c rational objective 0 14.15/14.26 c #Conflicts: 42000 | #Constraints: 6524 14.15/14.26 c #Conflicts: 43000 | #Constraints: 7653 14.15/14.26 c #Conflicts: 44000 | #Constraints: 9021 14.15/14.26 c #Conflicts: 45000 | #Constraints: 10048 14.15/14.26 c #Conflicts: 46000 | #Constraints: 11348 14.15/14.26 c INPROCESSING 14.15/14.26 c GARBAGE COLLECT 14.15/14.26 c rational objective 0 16.65/16.73 c #Conflicts: 47000 | #Constraints: 6861 16.65/16.73 c #Conflicts: 48000 | #Constraints: 7871 16.65/16.73 c #Conflicts: 49000 | #Constraints: 9249 16.65/16.73 c #Conflicts: 50000 | #Constraints: 10249 16.65/16.73 c #Conflicts: 51000 | #Constraints: 11365 16.65/16.73 c INPROCESSING 16.65/16.73 c GARBAGE COLLECT 16.65/16.73 c rational objective 0 19.33/19.47 c #Conflicts: 52000 | #Constraints: 7148 19.33/19.47 c #Conflicts: 53000 | #Constraints: 8161 19.33/19.47 c #Conflicts: 54000 | #Constraints: 9373 19.33/19.47 c #Conflicts: 55000 | #Constraints: 10575 19.33/19.47 c #Conflicts: 56000 | #Constraints: 11944 19.33/19.47 c INPROCESSING 19.33/19.47 c GARBAGE COLLECT 19.33/19.47 c rational objective 0 22.13/22.26 c #Conflicts: 57000 | #Constraints: 7087 22.13/22.26 c #Conflicts: 58000 | #Constraints: 8089 22.13/22.26 c #Conflicts: 59000 | #Constraints: 9089 22.13/22.26 c #Conflicts: 60000 | #Constraints: 10542 22.13/22.26 c #Conflicts: 61000 | #Constraints: 11660 22.13/22.26 c INPROCESSING 22.13/22.26 c GARBAGE COLLECT 22.13/22.26 c rational objective 0 24.93/25.08 c #Conflicts: 62000 | #Constraints: 6802 24.93/25.08 c #Conflicts: 63000 | #Constraints: 7803 24.93/25.08 c #Conflicts: 64000 | #Constraints: 8803 24.93/25.08 c #Conflicts: 65000 | #Constraints: 9803 24.93/25.08 c #Conflicts: 66000 | #Constraints: 10803 24.93/25.08 c INPROCESSING 24.93/25.08 c GARBAGE COLLECT 24.93/25.08 c rational objective 0 27.72/27.82 c #Conflicts: 67000 | #Constraints: 6318 27.72/27.82 c #Conflicts: 68000 | #Constraints: 7522 27.72/27.82 c #Conflicts: 69000 | #Constraints: 8523 27.72/27.82 c #Conflicts: 70000 | #Constraints: 9523 27.72/27.82 c #Conflicts: 71000 | #Constraints: 10523 27.72/27.82 c #Conflicts: 72000 | #Constraints: 11523 27.72/27.82 c INPROCESSING 27.72/27.82 c GARBAGE COLLECT 27.72/27.82 c rational objective 0 31.70/31.86 c #Conflicts: 73000 | #Constraints: 7199 31.70/31.86 c #Conflicts: 74000 | #Constraints: 8814 31.70/31.86 c #Conflicts: 75000 | #Constraints: 10495 31.70/31.86 c #Conflicts: 76000 | #Constraints: 12164 31.70/31.86 c #Conflicts: 77000 | #Constraints: 13800 31.70/31.86 c #Conflicts: 78000 | #Constraints: 15442 31.70/31.86 c INPROCESSING 31.70/31.86 c GARBAGE COLLECT 31.70/31.86 c rational objective 0 36.01/36.14 c #Conflicts: 79000 | #Constraints: 8988 36.01/36.14 c #Conflicts: 80000 | #Constraints: 10142 36.01/36.14 c #Conflicts: 81000 | #Constraints: 11657 36.01/36.14 c #Conflicts: 82000 | #Constraints: 12912 36.01/36.14 c #Conflicts: 83000 | #Constraints: 14276 36.01/36.14 c #Conflicts: 84000 | #Constraints: 15764 36.01/36.14 c INPROCESSING 36.01/36.14 c GARBAGE COLLECT 36.01/36.14 c rational objective 0 40.99/41.15 c #Conflicts: 85000 | #Constraints: 9283 40.99/41.15 c #Conflicts: 86000 | #Constraints: 10874 40.99/41.15 c #Conflicts: 87000 | #Constraints: 12564 40.99/41.15 c #Conflicts: 88000 | #Constraints: 14242 40.99/41.15 c #Conflicts: 89000 | #Constraints: 15667 40.99/41.15 c #Conflicts: 90000 | #Constraints: 17317 40.99/41.15 c INPROCESSING 40.99/41.15 c GARBAGE COLLECT 40.99/41.15 c rational objective 0 46.88/47.05 c #Conflicts: 91000 | #Constraints: 10116 46.88/47.05 c #Conflicts: 92000 | #Constraints: 11821 46.88/47.05 c #Conflicts: 93000 | #Constraints: 13530 46.88/47.05 c #Conflicts: 94000 | #Constraints: 15228 46.88/47.05 c #Conflicts: 95000 | #Constraints: 16890 46.88/47.05 c #Conflicts: 96000 | #Constraints: 18539 46.88/47.05 c INPROCESSING 46.88/47.05 c GARBAGE COLLECT 46.88/47.05 c rational objective 0 52.45/52.63 c #Conflicts: 97000 | #Constraints: 10423 52.45/52.63 c #Conflicts: 98000 | #Constraints: 11543 52.45/52.63 c #Conflicts: 99000 | #Constraints: 12858 52.45/52.63 c #Conflicts: 100000 | #Constraints: 13997 52.45/52.63 c #Conflicts: 101000 | #Constraints: 15357 52.45/52.63 c #Conflicts: 102000 | #Constraints: 16776 52.45/52.63 c #Conflicts: 103000 | #Constraints: 17776 52.45/52.63 c INPROCESSING 52.45/52.63 c GARBAGE COLLECT 52.45/52.63 c rational objective 0 58.84/59.11 c #Conflicts: 104000 | #Constraints: 10357 58.84/59.11 c #Conflicts: 105000 | #Constraints: 12054 58.84/59.11 c #Conflicts: 106000 | #Constraints: 13730 58.84/59.11 c #Conflicts: 107000 | #Constraints: 15431 58.84/59.11 c #Conflicts: 108000 | #Constraints: 17106 58.84/59.11 c #Conflicts: 109000 | #Constraints: 18741 58.84/59.11 c #Conflicts: 110000 | #Constraints: 20386 58.84/59.11 c INPROCESSING 58.84/59.11 c GARBAGE COLLECT 58.84/59.11 c rational objective 0 66.71/66.92 c #Conflicts: 111000 | #Constraints: 11804 66.71/66.92 c #Conflicts: 112000 | #Constraints: 13478 66.71/66.92 c #Conflicts: 113000 | #Constraints: 15134 66.71/66.92 c #Conflicts: 114000 | #Constraints: 16793 66.71/66.92 c #Conflicts: 115000 | #Constraints: 18452 66.71/66.92 c #Conflicts: 116000 | #Constraints: 20099 66.71/66.92 c #Conflicts: 117000 | #Constraints: 21774 66.71/66.92 c INPROCESSING 66.71/66.92 c GARBAGE COLLECT 66.71/66.92 c rational objective 0 74.39/74.63 c #Conflicts: 118000 | #Constraints: 12501 74.39/74.63 c #Conflicts: 119000 | #Constraints: 14156 74.39/74.63 c #Conflicts: 120000 | #Constraints: 15388 74.39/74.63 c #Conflicts: 121000 | #Constraints: 16770 74.39/74.63 c #Conflicts: 122000 | #Constraints: 18463 74.39/74.63 c #Conflicts: 123000 | #Constraints: 20135 74.39/74.63 c #Conflicts: 124000 | #Constraints: 21324 74.39/74.63 c INPROCESSING 74.39/74.63 c GARBAGE COLLECT 74.39/74.63 c rational objective 0 82.07/82.33 c #Conflicts: 125000 | #Constraints: 12044 82.07/82.33 c #Conflicts: 126000 | #Constraints: 13670 82.07/82.33 c #Conflicts: 127000 | #Constraints: 14902 82.07/82.33 c #Conflicts: 128000 | #Constraints: 16407 82.07/82.33 c #Conflicts: 129000 | #Constraints: 18079 82.07/82.33 c #Conflicts: 130000 | #Constraints: 19741 82.07/82.33 c #Conflicts: 131000 | #Constraints: 21410 82.07/82.33 c INPROCESSING 82.07/82.33 c GARBAGE COLLECT 82.07/82.33 c rational objective 0 90.24/90.57 c #Conflicts: 132000 | #Constraints: 11853 90.24/90.57 c #Conflicts: 133000 | #Constraints: 13480 90.24/90.57 c #Conflicts: 134000 | #Constraints: 15167 90.24/90.57 c #Conflicts: 135000 | #Constraints: 16825 90.24/90.57 c #Conflicts: 136000 | #Constraints: 18504 90.24/90.57 c #Conflicts: 137000 | #Constraints: 20153 90.24/90.57 c #Conflicts: 138000 | #Constraints: 21821 90.24/90.57 c #Conflicts: 139000 | #Constraints: 23514 90.24/90.57 c INPROCESSING 90.24/90.57 c GARBAGE COLLECT 90.24/90.57 c rational objective 0 99.11/99.43 c #Conflicts: 140000 | #Constraints: 13236 99.11/99.43 c #Conflicts: 141000 | #Constraints: 14889 99.11/99.43 c #Conflicts: 142000 | #Constraints: 16508 99.11/99.43 c #Conflicts: 143000 | #Constraints: 18175 99.11/99.43 c #Conflicts: 144000 | #Constraints: 19838 99.11/99.43 c #Conflicts: 145000 | #Constraints: 21052 99.11/99.43 c #Conflicts: 146000 | #Constraints: 22052 99.11/99.43 c #Conflicts: 147000 | #Constraints: 23312 99.11/99.43 c INPROCESSING 99.11/99.43 c GARBAGE COLLECT 99.11/99.43 c rational objective 0 107.29/107.64 c #Conflicts: 148000 | #Constraints: 13317 107.29/107.64 c #Conflicts: 149000 | #Constraints: 14529 107.29/107.64 c #Conflicts: 150000 | #Constraints: 15696 107.29/107.64 c #Conflicts: 151000 | #Constraints: 17304 107.29/107.64 c #Conflicts: 152000 | #Constraints: 18877 107.29/107.64 c #Conflicts: 153000 | #Constraints: 19912 107.29/107.64 c #Conflicts: 154000 | #Constraints: 21378 107.29/107.64 c #Conflicts: 155000 | #Constraints: 23015 107.29/107.64 c INPROCESSING 107.29/107.64 c GARBAGE COLLECT 107.29/107.64 c rational objective 0 115.68/116.07 c #Conflicts: 156000 | #Constraints: 12788 115.68/116.07 c #Conflicts: 157000 | #Constraints: 14468 115.68/116.07 c #Conflicts: 158000 | #Constraints: 15687 115.68/116.07 c #Conflicts: 159000 | #Constraints: 17139 115.68/116.07 c #Conflicts: 160000 | #Constraints: 18648 115.68/116.07 c #Conflicts: 161000 | #Constraints: 19871 115.68/116.07 c #Conflicts: 162000 | #Constraints: 21399 115.68/116.07 c #Conflicts: 163000 | #Constraints: 23060 115.68/116.07 c INPROCESSING 115.68/116.07 c GARBAGE COLLECT 115.68/116.07 c rational objective 0 124.75/125.14 c #Conflicts: 164000 | #Constraints: 13025 124.75/125.14 c #Conflicts: 165000 | #Constraints: 14682 124.75/125.14 c #Conflicts: 166000 | #Constraints: 16356 124.75/125.14 c #Conflicts: 167000 | #Constraints: 18018 124.75/125.14 c #Conflicts: 168000 | #Constraints: 19073 124.75/125.14 c #Conflicts: 169000 | #Constraints: 20073 124.75/125.14 c #Conflicts: 170000 | #Constraints: 21073 124.75/125.14 c #Conflicts: 171000 | #Constraints: 22073 124.75/125.14 c INPROCESSING 124.75/125.14 c GARBAGE COLLECT 124.75/125.14 c rational objective 0 134.72/135.11 c #Conflicts: 172000 | #Constraints: 11994 134.72/135.11 c #Conflicts: 173000 | #Constraints: 13639 134.72/135.11 c #Conflicts: 174000 | #Constraints: 15277 134.72/135.11 c #Conflicts: 175000 | #Constraints: 16958 134.72/135.11 c #Conflicts: 176000 | #Constraints: 18618 134.72/135.11 c #Conflicts: 177000 | #Constraints: 20246 134.72/135.11 c #Conflicts: 178000 | #Constraints: 21896 134.72/135.11 c #Conflicts: 179000 | #Constraints: 23513 134.72/135.11 c #Conflicts: 180000 | #Constraints: 25182 134.72/135.11 c INPROCESSING 134.72/135.11 c GARBAGE COLLECT 134.72/135.11 c rational objective 0 146.37/146.82 c #Conflicts: 181000 | #Constraints: 14098 146.37/146.82 c #Conflicts: 182000 | #Constraints: 15770 146.37/146.82 c #Conflicts: 183000 | #Constraints: 17453 146.37/146.82 c #Conflicts: 184000 | #Constraints: 19118 146.37/146.82 c #Conflicts: 185000 | #Constraints: 20745 146.37/146.82 c #Conflicts: 186000 | #Constraints: 22390 146.37/146.82 c #Conflicts: 187000 | #Constraints: 24022 146.37/146.82 c #Conflicts: 188000 | #Constraints: 25691 146.37/146.82 c #Conflicts: 189000 | #Constraints: 27353 146.37/146.82 c INPROCESSING 146.37/146.82 c GARBAGE COLLECT 146.37/146.82 c rational objective 0 159.33/159.89 c #Conflicts: 190000 | #Constraints: 15338 159.33/159.89 c #Conflicts: 191000 | #Constraints: 16977 159.33/159.89 c #Conflicts: 192000 | #Constraints: 18623 159.33/159.89 c #Conflicts: 193000 | #Constraints: 20270 159.33/159.89 c #Conflicts: 194000 | #Constraints: 21920 159.33/159.89 c #Conflicts: 195000 | #Constraints: 23603 159.33/159.89 c #Conflicts: 196000 | #Constraints: 25247 159.33/159.89 c #Conflicts: 197000 | #Constraints: 26918 159.33/159.89 c #Conflicts: 198000 | #Constraints: 28585 159.33/159.89 c INPROCESSING 159.33/159.89 c GARBAGE COLLECT 159.33/159.89 c rational objective 0 172.88/173.47 c #Conflicts: 199000 | #Constraints: 15881 172.88/173.47 c #Conflicts: 200000 | #Constraints: 17504 172.88/173.47 c #Conflicts: 201000 | #Constraints: 19153 172.88/173.47 c #Conflicts: 202000 | #Constraints: 20815 172.88/173.47 c #Conflicts: 203000 | #Constraints: 22467 172.88/173.47 c #Conflicts: 204000 | #Constraints: 24144 172.88/173.47 c #Conflicts: 205000 | #Constraints: 25822 172.88/173.47 c #Conflicts: 206000 | #Constraints: 27494 172.88/173.47 c #Conflicts: 207000 | #Constraints: 29187 172.88/173.47 c INPROCESSING 172.88/173.47 c GARBAGE COLLECT 172.88/173.47 c rational objective 0 188.45/189.05 c #Conflicts: 208000 | #Constraints: 16056 188.45/189.05 c #Conflicts: 209000 | #Constraints: 17680 188.45/189.05 c #Conflicts: 210000 | #Constraints: 19293 188.45/189.05 c #Conflicts: 211000 | #Constraints: 20958 188.45/189.05 c #Conflicts: 212000 | #Constraints: 22621 188.45/189.05 c #Conflicts: 213000 | #Constraints: 24275 188.45/189.05 c #Conflicts: 214000 | #Constraints: 25887 188.45/189.05 c #Conflicts: 215000 | #Constraints: 27538 188.45/189.05 c #Conflicts: 216000 | #Constraints: 29115 188.45/189.05 c INPROCESSING 188.45/189.05 c GARBAGE COLLECT 188.45/189.05 c rational objective 0 202.40/203.06 c #Conflicts: 217000 | #Constraints: 15530 202.40/203.06 c #Conflicts: 218000 | #Constraints: 16897 202.40/203.06 c #Conflicts: 219000 | #Constraints: 18451 202.40/203.06 c #Conflicts: 220000 | #Constraints: 19486 202.40/203.06 c #Conflicts: 221000 | #Constraints: 20668 202.40/203.06 c #Conflicts: 222000 | #Constraints: 22142 202.40/203.06 c #Conflicts: 223000 | #Constraints: 23535 202.40/203.06 c #Conflicts: 224000 | #Constraints: 25067 202.40/203.06 c #Conflicts: 225000 | #Constraints: 26639 202.40/203.06 c #Conflicts: 226000 | #Constraints: 28030 202.40/203.06 c INPROCESSING 202.40/203.06 c GARBAGE COLLECT 202.40/203.06 c rational objective 0 216.35/217.10 c #Conflicts: 227000 | #Constraints: 15533 216.35/217.10 c #Conflicts: 228000 | #Constraints: 17215 216.35/217.10 c #Conflicts: 229000 | #Constraints: 18903 216.35/217.10 c #Conflicts: 230000 | #Constraints: 20581 216.35/217.10 c #Conflicts: 231000 | #Constraints: 22231 216.35/217.10 c #Conflicts: 232000 | #Constraints: 23911 216.35/217.10 c #Conflicts: 233000 | #Constraints: 25554 216.35/217.10 c #Conflicts: 234000 | #Constraints: 27181 216.35/217.10 c #Conflicts: 235000 | #Constraints: 28820 216.35/217.10 c #Conflicts: 236000 | #Constraints: 30471 216.35/217.10 c INPROCESSING 216.35/217.10 c GARBAGE COLLECT 216.35/217.10 c rational objective 0 230.20/230.95 c #Conflicts: 237000 | #Constraints: 16739 230.20/230.95 c #Conflicts: 238000 | #Constraints: 18206 230.20/230.95 c #Conflicts: 239000 | #Constraints: 19818 230.20/230.95 c #Conflicts: 240000 | #Constraints: 20867 230.20/230.95 c #Conflicts: 241000 | #Constraints: 21867 230.20/230.95 c #Conflicts: 242000 | #Constraints: 22867 230.20/230.95 c #Conflicts: 243000 | #Constraints: 24453 230.20/230.95 c #Conflicts: 244000 | #Constraints: 26112 230.20/230.95 c #Conflicts: 245000 | #Constraints: 27784 230.20/230.95 c #Conflicts: 246000 | #Constraints: 29394 230.20/230.95 c INPROCESSING 230.20/230.95 c GARBAGE COLLECT 230.20/230.95 c rational objective 0 242.66/243.48 c #Conflicts: 247000 | #Constraints: 15761 242.66/243.48 c #Conflicts: 248000 | #Constraints: 16762 242.66/243.48 c #Conflicts: 249000 | #Constraints: 17762 242.66/243.48 c #Conflicts: 250000 | #Constraints: 18790 242.66/243.48 c #Conflicts: 251000 | #Constraints: 19889 242.66/243.48 c #Conflicts: 252000 | #Constraints: 20890 242.66/243.48 c #Conflicts: 253000 | #Constraints: 21973 242.66/243.48 c #Conflicts: 254000 | #Constraints: 23100 242.66/243.48 c #Conflicts: 255000 | #Constraints: 24207 242.66/243.48 c #Conflicts: 256000 | #Constraints: 25267 242.66/243.48 c INPROCESSING 242.66/243.48 c GARBAGE COLLECT 242.66/243.48 c rational objective 0 257.41/258.21 c #Conflicts: 257000 | #Constraints: 14056 257.41/258.21 c #Conflicts: 258000 | #Constraints: 15698 257.41/258.21 c #Conflicts: 259000 | #Constraints: 17378 257.41/258.21 c #Conflicts: 260000 | #Constraints: 19027 257.41/258.21 c #Conflicts: 261000 | #Constraints: 20679 257.41/258.21 c #Conflicts: 262000 | #Constraints: 22311 257.41/258.21 c #Conflicts: 263000 | #Constraints: 23992 257.41/258.21 c #Conflicts: 264000 | #Constraints: 25592 257.41/258.21 c #Conflicts: 265000 | #Constraints: 27194 257.41/258.21 c #Conflicts: 266000 | #Constraints: 28801 257.41/258.21 c INPROCESSING 257.41/258.21 c GARBAGE COLLECT 257.41/258.21 c rational objective 0 270.67/271.53 c #Conflicts: 267000 | #Constraints: 15304 270.67/271.53 c #Conflicts: 268000 | #Constraints: 16304 270.67/271.53 c #Conflicts: 269000 | #Constraints: 17305 270.67/271.53 c #Conflicts: 270000 | #Constraints: 18305 270.67/271.53 c #Conflicts: 271000 | #Constraints: 19306 270.67/271.53 c #Conflicts: 272000 | #Constraints: 20306 270.67/271.53 c #Conflicts: 273000 | #Constraints: 21306 270.67/271.53 c #Conflicts: 274000 | #Constraints: 22306 270.67/271.53 c #Conflicts: 275000 | #Constraints: 23308 270.67/271.53 c #Conflicts: 276000 | #Constraints: 24309 270.67/271.53 c #Conflicts: 277000 | #Constraints: 25309 270.67/271.53 c INPROCESSING 270.67/271.53 c GARBAGE COLLECT 270.67/271.53 c rational objective 0 283.72/284.63 c #Conflicts: 278000 | #Constraints: 14017 283.72/284.63 c #Conflicts: 279000 | #Constraints: 15274 283.72/284.63 c #Conflicts: 280000 | #Constraints: 16373 283.72/284.63 c #Conflicts: 281000 | #Constraints: 17600 283.72/284.63 c #Conflicts: 282000 | #Constraints: 19185 283.72/284.63 c #Conflicts: 283000 | #Constraints: 20307 283.72/284.63 c #Conflicts: 284000 | #Constraints: 21570 283.72/284.63 c #Conflicts: 285000 | #Constraints: 23198 283.72/284.63 c #Conflicts: 286000 | #Constraints: 24336 283.72/284.63 c #Conflicts: 287000 | #Constraints: 25336 283.72/284.63 c #Conflicts: 288000 | #Constraints: 26336 283.72/284.63 c INPROCESSING 283.72/284.63 c GARBAGE COLLECT 283.72/284.63 c rational objective 0 295.89/296.87 c #Conflicts: 289000 | #Constraints: 14188 295.89/296.87 c #Conflicts: 290000 | #Constraints: 15188 295.89/296.87 c #Conflicts: 291000 | #Constraints: 16188 295.89/296.87 c #Conflicts: 292000 | #Constraints: 17188 295.89/296.87 c #Conflicts: 293000 | #Constraints: 18189 295.89/296.87 c #Conflicts: 294000 | #Constraints: 19189 295.89/296.87 c #Conflicts: 295000 | #Constraints: 20189 295.89/296.87 c #Conflicts: 296000 | #Constraints: 21189 295.89/296.87 c #Conflicts: 297000 | #Constraints: 22252 295.89/296.87 c #Conflicts: 298000 | #Constraints: 23267 295.89/296.87 c #Conflicts: 299000 | #Constraints: 24267 295.89/296.87 c INPROCESSING 295.89/296.87 c GARBAGE COLLECT 295.89/296.87 c rational objective 0 310.44/311.44 c #Conflicts: 300000 | #Constraints: 13795 310.44/311.44 c #Conflicts: 301000 | #Constraints: 15147 310.44/311.44 c #Conflicts: 302000 | #Constraints: 16529 310.44/311.44 c #Conflicts: 303000 | #Constraints: 18132 310.44/311.44 c #Conflicts: 304000 | #Constraints: 19770 310.44/311.44 c #Conflicts: 305000 | #Constraints: 21260 310.44/311.44 c #Conflicts: 306000 | #Constraints: 22371 310.44/311.44 c #Conflicts: 307000 | #Constraints: 23372 310.44/311.44 c #Conflicts: 308000 | #Constraints: 24373 310.44/311.44 c #Conflicts: 309000 | #Constraints: 25373 310.44/311.44 c #Conflicts: 310000 | #Constraints: 26373 310.44/311.44 c INPROCESSING 310.44/311.44 c GARBAGE COLLECT 310.44/311.44 c rational objective 0 328.88/329.95 c #Conflicts: 311000 | #Constraints: 14624 328.88/329.95 c #Conflicts: 312000 | #Constraints: 16314 328.88/329.95 c #Conflicts: 313000 | #Constraints: 17988 328.88/329.95 c #Conflicts: 314000 | #Constraints: 19639 328.88/329.95 c #Conflicts: 315000 | #Constraints: 21256 328.88/329.95 c #Conflicts: 316000 | #Constraints: 22869 328.88/329.95 c #Conflicts: 317000 | #Constraints: 24464 328.88/329.95 c #Conflicts: 318000 | #Constraints: 26023 328.88/329.95 c #Conflicts: 319000 | #Constraints: 27609 328.88/329.95 c #Conflicts: 320000 | #Constraints: 29226 328.88/329.95 c #Conflicts: 321000 | #Constraints: 30895 328.88/329.95 c INPROCESSING 328.88/329.95 c GARBAGE COLLECT 328.88/329.95 c rational objective 0 346.82/347.91 c #Conflicts: 322000 | #Constraints: 16623 346.82/347.91 c #Conflicts: 323000 | #Constraints: 18042 346.82/347.91 c #Conflicts: 324000 | #Constraints: 19659 346.82/347.91 c #Conflicts: 325000 | #Constraints: 20659 346.82/347.91 c #Conflicts: 326000 | #Constraints: 22030 346.82/347.91 c #Conflicts: 327000 | #Constraints: 23577 346.82/347.91 c #Conflicts: 328000 | #Constraints: 24858 346.82/347.91 c #Conflicts: 329000 | #Constraints: 25910 346.82/347.91 c #Conflicts: 330000 | #Constraints: 27087 346.82/347.91 c #Conflicts: 331000 | #Constraints: 28377 346.82/347.91 c #Conflicts: 332000 | #Constraints: 29860 346.82/347.91 c #Conflicts: 333000 | #Constraints: 31129 346.82/347.91 c INPROCESSING 346.82/347.91 c GARBAGE COLLECT 346.82/347.91 c rational objective 0 362.89/364.03 c #Conflicts: 334000 | #Constraints: 16708 362.89/364.03 c #Conflicts: 335000 | #Constraints: 17815 362.89/364.03 c #Conflicts: 336000 | #Constraints: 18981 362.89/364.03 c #Conflicts: 337000 | #Constraints: 20002 362.89/364.03 c #Conflicts: 338000 | #Constraints: 21157 362.89/364.03 c #Conflicts: 339000 | #Constraints: 22653 362.89/364.03 c #Conflicts: 340000 | #Constraints: 23982 362.89/364.03 c #Conflicts: 341000 | #Constraints: 25066 362.89/364.03 c #Conflicts: 342000 | #Constraints: 26066 362.89/364.03 c #Conflicts: 343000 | #Constraints: 27066 362.89/364.03 c #Conflicts: 344000 | #Constraints: 28076 362.89/364.03 c #Conflicts: 345000 | #Constraints: 29166 362.89/364.03 c INPROCESSING 362.89/364.03 c GARBAGE COLLECT 362.89/364.03 c rational objective 0 378.04/379.21 c #Conflicts: 346000 | #Constraints: 15729 378.04/379.21 c #Conflicts: 347000 | #Constraints: 16729 378.04/379.21 c #Conflicts: 348000 | #Constraints: 17865 378.04/379.21 c #Conflicts: 349000 | #Constraints: 18915 378.04/379.21 c #Conflicts: 350000 | #Constraints: 20132 378.04/379.21 c #Conflicts: 351000 | #Constraints: 21323 378.04/379.21 c #Conflicts: 352000 | #Constraints: 22648 378.04/379.21 c #Conflicts: 353000 | #Constraints: 23826 378.04/379.21 c #Conflicts: 354000 | #Constraints: 24931 378.04/379.21 c #Conflicts: 355000 | #Constraints: 26159 378.04/379.21 c #Conflicts: 356000 | #Constraints: 27159 378.04/379.21 c #Conflicts: 357000 | #Constraints: 28296 378.04/379.21 c INPROCESSING 378.04/379.21 c GARBAGE COLLECT 378.04/379.21 c rational objective 0 396.29/397.51 c #Conflicts: 358000 | #Constraints: 15695 396.29/397.51 c #Conflicts: 359000 | #Constraints: 17330 396.29/397.51 c #Conflicts: 360000 | #Constraints: 18933 396.29/397.51 c #Conflicts: 361000 | #Constraints: 20573 396.29/397.51 c #Conflicts: 362000 | #Constraints: 22244 396.29/397.51 c #Conflicts: 363000 | #Constraints: 23853 396.29/397.51 c #Conflicts: 364000 | #Constraints: 25491 396.29/397.51 c #Conflicts: 365000 | #Constraints: 27137 396.29/397.51 c #Conflicts: 366000 | #Constraints: 28764 396.29/397.51 c #Conflicts: 367000 | #Constraints: 30444 396.29/397.51 c #Conflicts: 368000 | #Constraints: 32111 396.29/397.51 c #Conflicts: 369000 | #Constraints: 33717 396.29/397.51 c INPROCESSING 396.29/397.51 c GARBAGE COLLECT 396.29/397.51 c rational objective 0 416.54/417.86 c #Conflicts: 370000 | #Constraints: 18306 416.54/417.86 c #Conflicts: 371000 | #Constraints: 19940 416.54/417.86 c #Conflicts: 372000 | #Constraints: 21571 416.54/417.86 c #Conflicts: 373000 | #Constraints: 23210 416.54/417.86 c #Conflicts: 374000 | #Constraints: 24819 416.54/417.86 c #Conflicts: 375000 | #Constraints: 26466 416.54/417.86 c #Conflicts: 376000 | #Constraints: 28114 416.54/417.86 c #Conflicts: 377000 | #Constraints: 29778 416.54/417.86 c #Conflicts: 378000 | #Constraints: 31429 416.54/417.86 c #Conflicts: 379000 | #Constraints: 33060 416.54/417.86 c #Conflicts: 380000 | #Constraints: 34705 416.54/417.86 c #Conflicts: 381000 | #Constraints: 36300 416.54/417.86 c INPROCESSING 416.54/417.86 c GARBAGE COLLECT 416.54/417.86 c rational objective 0 438.89/440.20 c #Conflicts: 382000 | #Constraints: 19293 438.89/440.20 c #Conflicts: 383000 | #Constraints: 20943 438.89/440.20 c #Conflicts: 384000 | #Constraints: 22602 438.89/440.20 c #Conflicts: 385000 | #Constraints: 24274 438.89/440.20 c #Conflicts: 386000 | #Constraints: 25922 438.89/440.20 c #Conflicts: 387000 | #Constraints: 27557 438.89/440.20 c #Conflicts: 388000 | #Constraints: 29215 438.89/440.20 c #Conflicts: 389000 | #Constraints: 30829 438.89/440.20 c #Conflicts: 390000 | #Constraints: 32485 438.89/440.20 c #Conflicts: 391000 | #Constraints: 34126 438.89/440.20 c #Conflicts: 392000 | #Constraints: 35718 438.89/440.20 c #Conflicts: 393000 | #Constraints: 37407 438.89/440.20 c #Conflicts: 394000 | #Constraints: 39097 438.89/440.20 c INPROCESSING 438.89/440.20 c GARBAGE COLLECT 438.89/440.20 c rational objective 0 458.24/459.69 c #Conflicts: 395000 | #Constraints: 20531 458.24/459.69 c #Conflicts: 396000 | #Constraints: 21531 458.24/459.69 c #Conflicts: 397000 | #Constraints: 22531 458.24/459.69 c #Conflicts: 398000 | #Constraints: 23532 458.24/459.69 c #Conflicts: 399000 | #Constraints: 24532 458.24/459.69 c #Conflicts: 400000 | #Constraints: 25532 458.24/459.69 c #Conflicts: 401000 | #Constraints: 26532 458.24/459.69 c #Conflicts: 402000 | #Constraints: 27534 458.24/459.69 c #Conflicts: 403000 | #Constraints: 28535 458.24/459.69 c #Conflicts: 404000 | #Constraints: 29535 458.24/459.69 c #Conflicts: 405000 | #Constraints: 30535 458.24/459.69 c #Conflicts: 406000 | #Constraints: 31536 458.24/459.69 c #Conflicts: 407000 | #Constraints: 32536 458.24/459.69 c INPROCESSING 458.24/459.69 c GARBAGE COLLECT 458.24/459.69 c rational objective 0 484.87/486.32 c #Conflicts: 408000 | #Constraints: 17870 484.87/486.32 c #Conflicts: 409000 | #Constraints: 19532 484.87/486.32 c #Conflicts: 410000 | #Constraints: 21169 484.87/486.32 c #Conflicts: 411000 | #Constraints: 22760 484.87/486.32 c #Conflicts: 412000 | #Constraints: 23994 484.87/486.32 c #Conflicts: 413000 | #Constraints: 25597 484.87/486.32 c #Conflicts: 414000 | #Constraints: 27241 484.87/486.32 c #Conflicts: 415000 | #Constraints: 28920 484.87/486.32 c #Conflicts: 416000 | #Constraints: 30578 484.87/486.32 c #Conflicts: 417000 | #Constraints: 32212 484.87/486.32 c #Conflicts: 418000 | #Constraints: 33874 484.87/486.32 c #Conflicts: 419000 | #Constraints: 35527 484.87/486.32 c #Conflicts: 420000 | #Constraints: 37203 484.87/486.32 c INPROCESSING 484.87/486.32 c GARBAGE COLLECT 484.87/486.32 c rational objective 0 516.51/518.01 c #Conflicts: 421000 | #Constraints: 20021 516.51/518.01 c #Conflicts: 422000 | #Constraints: 21648 516.51/518.01 c #Conflicts: 423000 | #Constraints: 23287 516.51/518.01 c #Conflicts: 424000 | #Constraints: 24870 516.51/518.01 c #Conflicts: 425000 | #Constraints: 26417 516.51/518.01 c #Conflicts: 426000 | #Constraints: 27977 516.51/518.01 c #Conflicts: 427000 | #Constraints: 29563 516.51/518.01 c #Conflicts: 428000 | #Constraints: 31159 516.51/518.01 c #Conflicts: 429000 | #Constraints: 32761 516.51/518.01 c #Conflicts: 430000 | #Constraints: 34335 516.51/518.01 c #Conflicts: 431000 | #Constraints: 35932 516.51/518.01 c #Conflicts: 432000 | #Constraints: 37505 516.51/518.01 c #Conflicts: 433000 | #Constraints: 39008 516.51/518.01 c INPROCESSING 516.51/518.01 c GARBAGE COLLECT 516.51/518.01 c rational objective 0 546.31/547.92 c #Conflicts: 434000 | #Constraints: 20870 546.31/547.92 c #Conflicts: 435000 | #Constraints: 22442 546.31/547.92 c #Conflicts: 436000 | #Constraints: 24039 546.31/547.92 c #Conflicts: 437000 | #Constraints: 25645 546.31/547.92 c #Conflicts: 438000 | #Constraints: 27244 546.31/547.92 c #Conflicts: 439000 | #Constraints: 28851 546.31/547.92 c #Conflicts: 440000 | #Constraints: 30448 546.31/547.92 c #Conflicts: 441000 | #Constraints: 32052 546.31/547.92 c #Conflicts: 442000 | #Constraints: 33638 546.31/547.92 c #Conflicts: 443000 | #Constraints: 35217 546.31/547.92 c #Conflicts: 444000 | #Constraints: 36818 546.31/547.92 c #Conflicts: 445000 | #Constraints: 38435 546.31/547.92 c #Conflicts: 446000 | #Constraints: 40058 546.31/547.92 c INPROCESSING 546.31/547.92 c GARBAGE COLLECT 546.31/547.92 c rational objective 0 578.63/580.31 c #Conflicts: 447000 | #Constraints: 21181 578.63/580.31 c #Conflicts: 448000 | #Constraints: 22768 578.63/580.31 c #Conflicts: 449000 | #Constraints: 24397 578.63/580.31 c #Conflicts: 450000 | #Constraints: 26020 578.63/580.31 c #Conflicts: 451000 | #Constraints: 27620 578.63/580.31 c #Conflicts: 452000 | #Constraints: 29162 578.63/580.31 c #Conflicts: 453000 | #Constraints: 30738 578.63/580.31 c #Conflicts: 454000 | #Constraints: 32349 578.63/580.31 c #Conflicts: 455000 | #Constraints: 33945 578.63/580.31 c #Conflicts: 456000 | #Constraints: 35516 578.63/580.31 c #Conflicts: 457000 | #Constraints: 37101 578.63/580.31 c #Conflicts: 458000 | #Constraints: 38673 578.63/580.31 c #Conflicts: 459000 | #Constraints: 40076 578.63/580.31 c #Conflicts: 460000 | #Constraints: 41520 578.63/580.31 c INPROCESSING 578.63/580.31 c GARBAGE COLLECT 578.63/580.31 c rational objective 0 610.37/612.15 c #Conflicts: 461000 | #Constraints: 22202 610.37/612.15 c #Conflicts: 462000 | #Constraints: 23400 610.37/612.15 c #Conflicts: 463000 | #Constraints: 24459 610.37/612.15 c #Conflicts: 464000 | #Constraints: 26090 610.37/612.15 c #Conflicts: 465000 | #Constraints: 27722 610.37/612.15 c #Conflicts: 466000 | #Constraints: 29310 610.37/612.15 c #Conflicts: 467000 | #Constraints: 30922 610.37/612.15 c #Conflicts: 468000 | #Constraints: 32537 610.37/612.15 c #Conflicts: 469000 | #Constraints: 34129 610.37/612.15 c #Conflicts: 470000 | #Constraints: 35736 610.37/612.15 c #Conflicts: 471000 | #Constraints: 37394 610.37/612.15 c #Conflicts: 472000 | #Constraints: 39050 610.37/612.15 c #Conflicts: 473000 | #Constraints: 40704 610.37/612.15 c #Conflicts: 474000 | #Constraints: 42343 610.37/612.15 c INPROCESSING 610.37/612.15 c GARBAGE COLLECT 610.37/612.15 c rational objective 0 636.21/638.04 c #Conflicts: 475000 | #Constraints: 22186 636.21/638.04 c #Conflicts: 476000 | #Constraints: 23186 636.21/638.04 c #Conflicts: 477000 | #Constraints: 24186 636.21/638.04 c #Conflicts: 478000 | #Constraints: 25186 636.21/638.04 c #Conflicts: 479000 | #Constraints: 26186 636.21/638.04 c #Conflicts: 480000 | #Constraints: 27187 636.21/638.04 c #Conflicts: 481000 | #Constraints: 28187 636.21/638.04 c #Conflicts: 482000 | #Constraints: 29187 636.21/638.04 c #Conflicts: 483000 | #Constraints: 30187 636.21/638.04 c #Conflicts: 484000 | #Constraints: 31187 636.21/638.04 c #Conflicts: 485000 | #Constraints: 32187 636.21/638.04 c #Conflicts: 486000 | #Constraints: 33187 636.21/638.04 c #Conflicts: 487000 | #Constraints: 34187 636.21/638.04 c #Conflicts: 488000 | #Constraints: 35188 636.21/638.04 c INPROCESSING 636.21/638.04 c GARBAGE COLLECT 636.21/638.04 c rational objective 0 659.83/661.71 c #Conflicts: 489000 | #Constraints: 18630 659.83/661.71 c #Conflicts: 490000 | #Constraints: 19744 659.83/661.71 c #Conflicts: 491000 | #Constraints: 20753 659.83/661.71 c #Conflicts: 492000 | #Constraints: 21761 659.83/661.71 c #Conflicts: 493000 | #Constraints: 22761 659.83/661.71 c #Conflicts: 494000 | #Constraints: 23761 659.83/661.71 c #Conflicts: 495000 | #Constraints: 25148 659.83/661.71 c #Conflicts: 496000 | #Constraints: 26148 659.83/661.71 c #Conflicts: 497000 | #Constraints: 27165 659.83/661.71 c #Conflicts: 498000 | #Constraints: 28406 659.83/661.71 c #Conflicts: 499000 | #Constraints: 29496 659.83/661.71 c #Conflicts: 500000 | #Constraints: 30496 659.83/661.71 c #Conflicts: 501000 | #Constraints: 31496 659.83/661.71 c #Conflicts: 502000 | #Constraints: 32578 659.83/661.71 c INPROCESSING 659.83/661.71 c GARBAGE COLLECT 659.83/661.71 c rational objective 0 681.28/683.22 c #Conflicts: 503000 | #Constraints: 17203 681.28/683.22 c #Conflicts: 504000 | #Constraints: 18203 681.28/683.22 c #Conflicts: 505000 | #Constraints: 19203 681.28/683.22 c #Conflicts: 506000 | #Constraints: 20203 681.28/683.22 c #Conflicts: 507000 | #Constraints: 21203 681.28/683.22 c #Conflicts: 508000 | #Constraints: 22203 681.28/683.22 c #Conflicts: 509000 | #Constraints: 23203 681.28/683.22 c #Conflicts: 510000 | #Constraints: 24203 681.28/683.22 c #Conflicts: 511000 | #Constraints: 25203 681.28/683.22 c #Conflicts: 512000 | #Constraints: 26203 681.28/683.22 c #Conflicts: 513000 | #Constraints: 27203 681.28/683.22 c #Conflicts: 514000 | #Constraints: 28203 681.28/683.22 c #Conflicts: 515000 | #Constraints: 29203 681.28/683.22 c #Conflicts: 516000 | #Constraints: 30203 681.28/683.22 c INPROCESSING 681.28/683.22 c GARBAGE COLLECT 681.28/683.22 c rational objective 0 702.04/704.05 c #Conflicts: 517000 | #Constraints: 15844 702.04/704.05 c #Conflicts: 518000 | #Constraints: 17128 702.04/704.05 c #Conflicts: 519000 | #Constraints: 18168 702.04/704.05 c #Conflicts: 520000 | #Constraints: 19590 702.04/704.05 c #Conflicts: 521000 | #Constraints: 20725 702.04/704.05 c #Conflicts: 522000 | #Constraints: 22008 702.04/704.05 c #Conflicts: 523000 | #Constraints: 23008 702.04/704.05 c #Conflicts: 524000 | #Constraints: 24064 702.04/704.05 c #Conflicts: 525000 | #Constraints: 25303 702.04/704.05 c #Conflicts: 526000 | #Constraints: 26343 702.04/704.05 c #Conflicts: 527000 | #Constraints: 27376 702.04/704.05 c #Conflicts: 528000 | #Constraints: 28473 702.04/704.05 c #Conflicts: 529000 | #Constraints: 29484 702.04/704.05 c #Conflicts: 530000 | #Constraints: 30669 702.04/704.05 c #Conflicts: 531000 | #Constraints: 31825 702.04/704.05 c INPROCESSING 702.04/704.05 c GARBAGE COLLECT 702.04/704.05 c rational objective 0 727.16/729.20 c #Conflicts: 532000 | #Constraints: 17315 727.16/729.20 c #Conflicts: 533000 | #Constraints: 18931 727.16/729.20 c #Conflicts: 534000 | #Constraints: 20577 727.16/729.20 c #Conflicts: 535000 | #Constraints: 22074 727.16/729.20 c #Conflicts: 536000 | #Constraints: 23074 727.16/729.20 c #Conflicts: 537000 | #Constraints: 24074 727.16/729.20 c #Conflicts: 538000 | #Constraints: 25074 727.16/729.20 c #Conflicts: 539000 | #Constraints: 26584 727.16/729.20 c #Conflicts: 540000 | #Constraints: 28160 727.16/729.20 c #Conflicts: 541000 | #Constraints: 29684 727.16/729.20 c #Conflicts: 542000 | #Constraints: 31314 727.16/729.20 c #Conflicts: 543000 | #Constraints: 32954 727.16/729.20 c #Conflicts: 544000 | #Constraints: 34125 727.16/729.20 c #Conflicts: 545000 | #Constraints: 35695 727.16/729.20 c #Conflicts: 546000 | #Constraints: 36696 727.16/729.20 c INPROCESSING 727.16/729.20 c GARBAGE COLLECT 727.16/729.20 c rational objective 0 752.60/754.79 c #Conflicts: 547000 | #Constraints: 19463 752.60/754.79 c #Conflicts: 548000 | #Constraints: 20927 752.60/754.79 c #Conflicts: 549000 | #Constraints: 21927 752.60/754.79 c #Conflicts: 550000 | #Constraints: 22927 752.60/754.79 c #Conflicts: 551000 | #Constraints: 24101 752.60/754.79 c #Conflicts: 552000 | #Constraints: 25221 752.60/754.79 c #Conflicts: 553000 | #Constraints: 26222 752.60/754.79 c #Conflicts: 554000 | #Constraints: 27222 752.60/754.79 c #Conflicts: 555000 | #Constraints: 28222 752.60/754.79 c #Conflicts: 556000 | #Constraints: 29222 752.60/754.79 c #Conflicts: 557000 | #Constraints: 30223 752.60/754.79 c #Conflicts: 558000 | #Constraints: 31223 752.60/754.79 c #Conflicts: 559000 | #Constraints: 32223 752.60/754.79 c #Conflicts: 560000 | #Constraints: 33364 752.60/754.79 c #Conflicts: 561000 | #Constraints: 34559 752.60/754.79 c INPROCESSING 752.60/754.79 c GARBAGE COLLECT 752.60/754.79 c rational objective 0 776.74/778.93 c #Conflicts: 562000 | #Constraints: 18700 776.74/778.93 c #Conflicts: 563000 | #Constraints: 19700 776.74/778.93 c #Conflicts: 564000 | #Constraints: 20939 776.74/778.93 c #Conflicts: 565000 | #Constraints: 22059 776.74/778.93 c #Conflicts: 566000 | #Constraints: 23073 776.74/778.93 c #Conflicts: 567000 | #Constraints: 24073 776.74/778.93 c #Conflicts: 568000 | #Constraints: 25073 776.74/778.93 c #Conflicts: 569000 | #Constraints: 26073 776.74/778.93 c #Conflicts: 570000 | #Constraints: 27074 776.74/778.93 c #Conflicts: 571000 | #Constraints: 28074 776.74/778.93 c #Conflicts: 572000 | #Constraints: 29075 776.74/778.93 c #Conflicts: 573000 | #Constraints: 30075 776.74/778.93 c #Conflicts: 574000 | #Constraints: 31075 776.74/778.93 c #Conflicts: 575000 | #Constraints: 32114 776.74/778.93 c #Conflicts: 576000 | #Constraints: 33114 776.74/778.93 c INPROCESSING 776.74/778.93 c GARBAGE COLLECT 776.74/778.93 c rational objective 0 806.06/808.33 c #Conflicts: 577000 | #Constraints: 17970 806.06/808.33 c #Conflicts: 578000 | #Constraints: 19586 806.06/808.33 c #Conflicts: 579000 | #Constraints: 21213 806.06/808.33 c #Conflicts: 580000 | #Constraints: 22820 806.06/808.33 c #Conflicts: 581000 | #Constraints: 24474 806.06/808.33 c #Conflicts: 582000 | #Constraints: 26086 806.06/808.33 c #Conflicts: 583000 | #Constraints: 27728 806.06/808.33 c #Conflicts: 584000 | #Constraints: 29363 806.06/808.33 c #Conflicts: 585000 | #Constraints: 31003 806.06/808.33 c #Conflicts: 586000 | #Constraints: 32602 806.06/808.33 c #Conflicts: 587000 | #Constraints: 34242 806.06/808.33 c #Conflicts: 588000 | #Constraints: 35884 806.06/808.33 c #Conflicts: 589000 | #Constraints: 37496 806.06/808.33 c #Conflicts: 590000 | #Constraints: 39100 806.06/808.33 c #Conflicts: 591000 | #Constraints: 40718 806.06/808.33 c INPROCESSING 806.06/808.33 c GARBAGE COLLECT 806.06/808.33 c rational objective 0 832.90/835.24 c #Conflicts: 592000 | #Constraints: 21445 832.90/835.24 c #Conflicts: 593000 | #Constraints: 22649 832.90/835.24 c #Conflicts: 594000 | #Constraints: 23650 832.90/835.24 c #Conflicts: 595000 | #Constraints: 24704 832.90/835.24 c #Conflicts: 596000 | #Constraints: 25704 832.90/835.24 c #Conflicts: 597000 | #Constraints: 27156 832.90/835.24 c #Conflicts: 598000 | #Constraints: 28219 832.90/835.24 c #Conflicts: 599000 | #Constraints: 29219 832.90/835.24 c #Conflicts: 600000 | #Constraints: 30219 832.90/835.24 c #Conflicts: 601000 | #Constraints: 31219 832.90/835.24 c #Conflicts: 602000 | #Constraints: 32219 832.90/835.24 c #Conflicts: 603000 | #Constraints: 33219 832.90/835.24 c #Conflicts: 604000 | #Constraints: 34219 832.90/835.24 c #Conflicts: 605000 | #Constraints: 35227 832.90/835.24 c #Conflicts: 606000 | #Constraints: 36227 832.90/835.24 c #Conflicts: 607000 | #Constraints: 37374 832.90/835.24 c INPROCESSING 832.90/835.24 c GARBAGE COLLECT 832.90/835.24 c rational objective 0 861.83/864.30 c #Conflicts: 608000 | #Constraints: 19936 861.83/864.30 c #Conflicts: 609000 | #Constraints: 21437 861.83/864.30 c #Conflicts: 610000 | #Constraints: 22700 861.83/864.30 c #Conflicts: 611000 | #Constraints: 23906 861.83/864.30 c #Conflicts: 612000 | #Constraints: 25008 861.83/864.30 c #Conflicts: 613000 | #Constraints: 26092 861.83/864.30 c #Conflicts: 614000 | #Constraints: 27329 861.83/864.30 c #Conflicts: 615000 | #Constraints: 28329 861.83/864.30 c #Conflicts: 616000 | #Constraints: 29329 861.83/864.30 c #Conflicts: 617000 | #Constraints: 30533 861.83/864.30 c #Conflicts: 618000 | #Constraints: 31533 861.83/864.30 c #Conflicts: 619000 | #Constraints: 32860 861.83/864.30 c #Conflicts: 620000 | #Constraints: 34516 861.83/864.30 c #Conflicts: 621000 | #Constraints: 35609 861.83/864.30 c #Conflicts: 622000 | #Constraints: 36610 861.83/864.30 c #Conflicts: 623000 | #Constraints: 37610 861.83/864.30 c INPROCESSING 861.83/864.30 c GARBAGE COLLECT 861.83/864.30 c rational objective 0 887.06/889.58 c #Conflicts: 624000 | #Constraints: 19816 887.06/889.58 c #Conflicts: 625000 | #Constraints: 20816 887.06/889.58 c #Conflicts: 626000 | #Constraints: 21816 887.06/889.58 c #Conflicts: 627000 | #Constraints: 22817 887.06/889.58 c #Conflicts: 628000 | #Constraints: 23817 887.06/889.58 c #Conflicts: 629000 | #Constraints: 24817 887.06/889.58 c #Conflicts: 630000 | #Constraints: 25817 887.06/889.58 c #Conflicts: 631000 | #Constraints: 26817 887.06/889.58 c #Conflicts: 632000 | #Constraints: 27817 887.06/889.58 c #Conflicts: 633000 | #Constraints: 28817 887.06/889.58 c #Conflicts: 634000 | #Constraints: 29817 887.06/889.58 c #Conflicts: 635000 | #Constraints: 30817 887.06/889.58 c #Conflicts: 636000 | #Constraints: 31817 887.06/889.58 c #Conflicts: 637000 | #Constraints: 32817 887.06/889.58 c #Conflicts: 638000 | #Constraints: 33818 887.06/889.58 c #Conflicts: 639000 | #Constraints: 34818 887.06/889.58 c INPROCESSING 887.06/889.58 c GARBAGE COLLECT 887.06/889.58 c rational objective 0 922.87/925.41 c #Conflicts: 640000 | #Constraints: 19021 922.87/925.41 c #Conflicts: 641000 | #Constraints: 20644 922.87/925.41 c #Conflicts: 642000 | #Constraints: 22264 922.87/925.41 c #Conflicts: 643000 | #Constraints: 23876 922.87/925.41 c #Conflicts: 644000 | #Constraints: 25483 922.87/925.41 c #Conflicts: 645000 | #Constraints: 27162 922.87/925.41 c #Conflicts: 646000 | #Constraints: 28822 922.87/925.41 c #Conflicts: 647000 | #Constraints: 30438 922.87/925.41 c #Conflicts: 648000 | #Constraints: 32056 922.87/925.41 c #Conflicts: 649000 | #Constraints: 33706 922.87/925.41 c #Conflicts: 650000 | #Constraints: 35356 922.87/925.41 c #Conflicts: 651000 | #Constraints: 36939 922.87/925.41 c #Conflicts: 652000 | #Constraints: 38565 922.87/925.41 c #Conflicts: 653000 | #Constraints: 40130 922.87/925.41 c #Conflicts: 654000 | #Constraints: 41728 922.87/925.41 c #Conflicts: 655000 | #Constraints: 43339 922.87/925.41 c INPROCESSING 922.87/925.41 c GARBAGE COLLECT 922.87/925.41 c rational objective 0 956.49/959.17 c #Conflicts: 656000 | #Constraints: 22849 956.49/959.17 c #Conflicts: 657000 | #Constraints: 24191 956.49/959.17 c #Conflicts: 658000 | #Constraints: 25815 956.49/959.17 c #Conflicts: 659000 | #Constraints: 27127 956.49/959.17 c #Conflicts: 660000 | #Constraints: 28282 956.49/959.17 c #Conflicts: 661000 | #Constraints: 29515 956.49/959.17 c #Conflicts: 662000 | #Constraints: 30515 956.49/959.17 c #Conflicts: 663000 | #Constraints: 31515 956.49/959.17 c #Conflicts: 664000 | #Constraints: 32675 956.49/959.17 c #Conflicts: 665000 | #Constraints: 34098 956.49/959.17 c #Conflicts: 666000 | #Constraints: 35491 956.49/959.17 c #Conflicts: 667000 | #Constraints: 36528 956.49/959.17 c #Conflicts: 668000 | #Constraints: 37671 956.49/959.17 c #Conflicts: 669000 | #Constraints: 38671 956.49/959.17 c #Conflicts: 670000 | #Constraints: 39805 956.49/959.17 c #Conflicts: 671000 | #Constraints: 41411 956.49/959.17 c INPROCESSING 956.49/959.17 c GARBAGE COLLECT 956.49/959.17 c rational objective 0 993.59/996.37 c #Conflicts: 672000 | #Constraints: 21833 993.59/996.37 c #Conflicts: 673000 | #Constraints: 23423 993.59/996.37 c #Conflicts: 674000 | #Constraints: 24992 993.59/996.37 c #Conflicts: 675000 | #Constraints: 26308 993.59/996.37 c #Conflicts: 676000 | #Constraints: 27945 993.59/996.37 c #Conflicts: 677000 | #Constraints: 29491 993.59/996.37 c #Conflicts: 678000 | #Constraints: 31035 993.59/996.37 c #Conflicts: 679000 | #Constraints: 32568 993.59/996.37 c #Conflicts: 680000 | #Constraints: 33919 993.59/996.37 c #Conflicts: 681000 | #Constraints: 35518 993.59/996.37 c #Conflicts: 682000 | #Constraints: 37106 993.59/996.37 c #Conflicts: 683000 | #Constraints: 38430 993.59/996.37 c #Conflicts: 684000 | #Constraints: 39925 993.59/996.37 c #Conflicts: 685000 | #Constraints: 41517 993.59/996.37 c #Conflicts: 686000 | #Constraints: 42875 993.59/996.37 c #Conflicts: 687000 | #Constraints: 44548 993.59/996.37 c #Conflicts: 688000 | #Constraints: 45958 993.59/996.37 c INPROCESSING 993.59/996.37 c GARBAGE COLLECT 993.59/996.37 c rational objective 0 1035.38/1038.23 c #Conflicts: 689000 | #Constraints: 24401 1035.38/1038.23 c #Conflicts: 690000 | #Constraints: 26032 1035.38/1038.23 c #Conflicts: 691000 | #Constraints: 27672 1035.38/1038.23 c #Conflicts: 692000 | #Constraints: 28854 1035.38/1038.23 c #Conflicts: 693000 | #Constraints: 30258 1035.38/1038.23 c #Conflicts: 694000 | #Constraints: 31882 1035.38/1038.23 c #Conflicts: 695000 | #Constraints: 33538 1035.38/1038.23 c #Conflicts: 696000 | #Constraints: 35124 1035.38/1038.23 c #Conflicts: 697000 | #Constraints: 36684 1035.38/1038.23 c #Conflicts: 698000 | #Constraints: 38279 1035.38/1038.23 c #Conflicts: 699000 | #Constraints: 39905 1035.38/1038.23 c #Conflicts: 700000 | #Constraints: 41577 1035.38/1038.23 c #Conflicts: 701000 | #Constraints: 43188 1035.38/1038.23 c #Conflicts: 702000 | #Constraints: 44810 1035.38/1038.23 c #Conflicts: 703000 | #Constraints: 46466 1035.38/1038.23 c #Conflicts: 704000 | #Constraints: 48103 1035.38/1038.23 c #Conflicts: 705000 | #Constraints: 49718 1035.38/1038.23 c INPROCESSING 1035.38/1038.23 c GARBAGE COLLECT 1035.38/1038.23 c rational objective 0 1082.55/1085.58 c #Conflicts: 706000 | #Constraints: 26506 1082.55/1085.58 c #Conflicts: 707000 | #Constraints: 28149 1082.55/1085.58 c #Conflicts: 708000 | #Constraints: 29786 1082.55/1085.58 c #Conflicts: 709000 | #Constraints: 31409 1082.55/1085.58 c #Conflicts: 710000 | #Constraints: 33043 1082.55/1085.58 c #Conflicts: 711000 | #Constraints: 34715 1082.55/1085.58 c #Conflicts: 712000 | #Constraints: 36352 1082.55/1085.58 c #Conflicts: 713000 | #Constraints: 37984 1082.55/1085.58 c #Conflicts: 714000 | #Constraints: 39618 1082.55/1085.58 c #Conflicts: 715000 | #Constraints: 41249 1082.55/1085.58 c #Conflicts: 716000 | #Constraints: 42908 1082.55/1085.58 c #Conflicts: 717000 | #Constraints: 44521 1082.55/1085.58 c #Conflicts: 718000 | #Constraints: 46101 1082.55/1085.58 c #Conflicts: 719000 | #Constraints: 47681 1082.55/1085.58 c #Conflicts: 720000 | #Constraints: 49280 1082.55/1085.58 c #Conflicts: 721000 | #Constraints: 50887 1082.55/1085.58 c #Conflicts: 722000 | #Constraints: 52466 1082.55/1085.58 c INPROCESSING 1082.55/1085.58 c GARBAGE COLLECT 1082.55/1085.58 c rational objective 0 1132.62/1135.77 c #Conflicts: 723000 | #Constraints: 27832 1132.62/1135.77 c #Conflicts: 724000 | #Constraints: 29394 1132.62/1135.77 c #Conflicts: 725000 | #Constraints: 30964 1132.62/1135.77 c #Conflicts: 726000 | #Constraints: 32119 1132.62/1135.77 c #Conflicts: 727000 | #Constraints: 33436 1132.62/1135.77 c #Conflicts: 728000 | #Constraints: 35008 1132.62/1135.77 c #Conflicts: 729000 | #Constraints: 36561 1132.62/1135.77 c #Conflicts: 730000 | #Constraints: 38124 1132.62/1135.77 c #Conflicts: 731000 | #Constraints: 39705 1132.62/1135.77 c #Conflicts: 732000 | #Constraints: 41292 1132.62/1135.77 c #Conflicts: 733000 | #Constraints: 42876 1132.62/1135.77 c #Conflicts: 734000 | #Constraints: 44471 1132.62/1135.77 c #Conflicts: 735000 | #Constraints: 46036 1132.62/1135.77 c #Conflicts: 736000 | #Constraints: 47626 1132.62/1135.77 c #Conflicts: 737000 | #Constraints: 49203 1132.62/1135.77 c #Conflicts: 738000 | #Constraints: 50787 1132.62/1135.77 c #Conflicts: 739000 | #Constraints: 52356 1132.62/1135.77 c INPROCESSING 1132.62/1135.77 c GARBAGE COLLECT 1132.62/1135.77 c rational objective 0 1177.20/1180.41 c #Conflicts: 740000 | #Constraints: 27203 1177.20/1180.41 c #Conflicts: 741000 | #Constraints: 28371 1177.20/1180.41 c #Conflicts: 742000 | #Constraints: 30023 1177.20/1180.41 c #Conflicts: 743000 | #Constraints: 31334 1177.20/1180.41 c #Conflicts: 744000 | #Constraints: 32837 1177.20/1180.41 c #Conflicts: 745000 | #Constraints: 34187 1177.20/1180.41 c #Conflicts: 746000 | #Constraints: 35791 1177.20/1180.41 c #Conflicts: 747000 | #Constraints: 37407 1177.20/1180.41 c #Conflicts: 748000 | #Constraints: 38759 1177.20/1180.41 c #Conflicts: 749000 | #Constraints: 40367 1177.20/1180.41 c #Conflicts: 750000 | #Constraints: 41367 1177.20/1180.41 c #Conflicts: 751000 | #Constraints: 42367 1177.20/1180.41 c #Conflicts: 752000 | #Constraints: 43367 1177.20/1180.41 c #Conflicts: 753000 | #Constraints: 44367 1177.20/1180.41 c #Conflicts: 754000 | #Constraints: 45367 1177.20/1180.41 c #Conflicts: 755000 | #Constraints: 46367 1177.20/1180.41 c #Conflicts: 756000 | #Constraints: 47367 1177.20/1180.41 c INPROCESSING 1177.20/1180.41 c GARBAGE COLLECT 1177.20/1180.41 c rational objective 0 1217.90/1221.25 c #Conflicts: 757000 | #Constraints: 24636 1217.90/1221.25 c #Conflicts: 758000 | #Constraints: 25993 1217.90/1221.25 c #Conflicts: 759000 | #Constraints: 27163 1217.90/1221.25 c #Conflicts: 760000 | #Constraints: 28163 1217.90/1221.25 c #Conflicts: 761000 | #Constraints: 29193 1217.90/1221.25 c #Conflicts: 762000 | #Constraints: 30494 1217.90/1221.25 c #Conflicts: 763000 | #Constraints: 31494 1217.90/1221.25 c #Conflicts: 764000 | #Constraints: 32494 1217.90/1221.25 c #Conflicts: 765000 | #Constraints: 33494 1217.90/1221.25 c #Conflicts: 766000 | #Constraints: 34817 1217.90/1221.25 c #Conflicts: 767000 | #Constraints: 36143 1217.90/1221.25 c #Conflicts: 768000 | #Constraints: 37263 1217.90/1221.25 c #Conflicts: 769000 | #Constraints: 38580 1217.90/1221.25 c #Conflicts: 770000 | #Constraints: 39814 1217.90/1221.25 c #Conflicts: 771000 | #Constraints: 41375 1217.90/1221.25 c #Conflicts: 772000 | #Constraints: 42448 1217.90/1221.25 c #Conflicts: 773000 | #Constraints: 43529 1217.90/1221.25 c #Conflicts: 774000 | #Constraints: 44901 1217.90/1221.25 c INPROCESSING 1217.90/1221.25 c GARBAGE COLLECT 1217.90/1221.25 c rational objective 0 1266.38/1269.84 c #Conflicts: 775000 | #Constraints: 23855 1266.38/1269.84 c #Conflicts: 776000 | #Constraints: 25432 1266.38/1269.84 c #Conflicts: 777000 | #Constraints: 27017 1266.38/1269.84 c #Conflicts: 778000 | #Constraints: 28710 1266.38/1269.84 c #Conflicts: 779000 | #Constraints: 30334 1266.38/1269.84 c #Conflicts: 780000 | #Constraints: 31932 1266.38/1269.84 c #Conflicts: 781000 | #Constraints: 33556 1266.38/1269.84 c #Conflicts: 782000 | #Constraints: 35168 1266.38/1269.84 c #Conflicts: 783000 | #Constraints: 36786 1266.38/1269.84 c #Conflicts: 784000 | #Constraints: 38408 1266.38/1269.84 c #Conflicts: 785000 | #Constraints: 40012 1266.38/1269.84 c #Conflicts: 786000 | #Constraints: 41615 1266.38/1269.84 c #Conflicts: 787000 | #Constraints: 43232 1266.38/1269.84 c #Conflicts: 788000 | #Constraints: 44838 1266.38/1269.84 c #Conflicts: 789000 | #Constraints: 46477 1266.38/1269.84 c #Conflicts: 790000 | #Constraints: 48107 1266.38/1269.84 c #Conflicts: 791000 | #Constraints: 49760 1266.38/1269.84 c #Conflicts: 792000 | #Constraints: 51401 1266.38/1269.84 c INPROCESSING 1266.38/1269.84 c GARBAGE COLLECT 1266.38/1269.84 c rational objective 0 1316.35/1319.94 c #Conflicts: 793000 | #Constraints: 27331 1316.35/1319.94 c #Conflicts: 794000 | #Constraints: 28969 1316.35/1319.94 c #Conflicts: 795000 | #Constraints: 30484 1316.35/1319.94 c #Conflicts: 796000 | #Constraints: 31744 1316.35/1319.94 c #Conflicts: 797000 | #Constraints: 33381 1316.35/1319.94 c #Conflicts: 798000 | #Constraints: 34995 1316.35/1319.94 c #Conflicts: 799000 | #Constraints: 36587 1316.35/1319.94 c #Conflicts: 800000 | #Constraints: 38203 1316.35/1319.94 c #Conflicts: 801000 | #Constraints: 39772 1316.35/1319.94 c #Conflicts: 802000 | #Constraints: 41403 1316.35/1319.94 c #Conflicts: 803000 | #Constraints: 43036 1316.35/1319.94 c #Conflicts: 804000 | #Constraints: 44670 1316.35/1319.94 c #Conflicts: 805000 | #Constraints: 46259 1316.35/1319.94 c #Conflicts: 806000 | #Constraints: 47857 1316.35/1319.94 c #Conflicts: 807000 | #Constraints: 49440 1316.35/1319.94 c #Conflicts: 808000 | #Constraints: 50787 1316.35/1319.94 c #Conflicts: 809000 | #Constraints: 51787 1316.35/1319.94 c #Conflicts: 810000 | #Constraints: 52787 1316.35/1319.94 c INPROCESSING 1316.35/1319.94 c GARBAGE COLLECT 1316.35/1319.94 c rational objective 0 1378.10/1381.82 c #Conflicts: 811000 | #Constraints: 27986 1378.10/1381.82 c #Conflicts: 812000 | #Constraints: 29593 1378.10/1381.82 c #Conflicts: 813000 | #Constraints: 31243 1378.10/1381.82 c #Conflicts: 814000 | #Constraints: 32843 1378.10/1381.82 c #Conflicts: 815000 | #Constraints: 34434 1378.10/1381.82 c #Conflicts: 816000 | #Constraints: 36044 1378.10/1381.82 c #Conflicts: 817000 | #Constraints: 37684 1378.10/1381.82 c #Conflicts: 818000 | #Constraints: 39275 1378.10/1381.82 c #Conflicts: 819000 | #Constraints: 40922 1378.10/1381.82 c #Conflicts: 820000 | #Constraints: 42545 1378.10/1381.82 c #Conflicts: 821000 | #Constraints: 44126 1378.10/1381.82 c #Conflicts: 822000 | #Constraints: 45740 1378.10/1381.82 c #Conflicts: 823000 | #Constraints: 47399 1378.10/1381.82 c #Conflicts: 824000 | #Constraints: 48975 1378.10/1381.82 c #Conflicts: 825000 | #Constraints: 50541 1378.10/1381.82 c #Conflicts: 826000 | #Constraints: 52111 1378.10/1381.82 c #Conflicts: 827000 | #Constraints: 53739 1378.10/1381.82 c #Conflicts: 828000 | #Constraints: 55388 1378.10/1381.82 c INPROCESSING 1378.10/1381.82 c GARBAGE COLLECT 1378.10/1381.82 c rational objective 0 1453.41/1457.30 c #Conflicts: 829000 | #Constraints: 29032 1453.41/1457.30 c #Conflicts: 830000 | #Constraints: 30482 1453.41/1457.30 c #Conflicts: 831000 | #Constraints: 31762 1453.41/1457.30 c #Conflicts: 832000 | #Constraints: 33317 1453.41/1457.30 c #Conflicts: 833000 | #Constraints: 34879 1453.41/1457.30 c #Conflicts: 834000 | #Constraints: 36537 1453.41/1457.30 c #Conflicts: 835000 | #Constraints: 38203 1453.41/1457.30 c #Conflicts: 836000 | #Constraints: 39868 1453.41/1457.30 c #Conflicts: 837000 | #Constraints: 41388 1453.41/1457.30 c #Conflicts: 838000 | #Constraints: 42472 1453.41/1457.30 c #Conflicts: 839000 | #Constraints: 44082 1453.41/1457.30 c #Conflicts: 840000 | #Constraints: 45706 1453.41/1457.30 c #Conflicts: 841000 | #Constraints: 47332 1453.41/1457.30 c #Conflicts: 842000 | #Constraints: 48938 1453.41/1457.30 c #Conflicts: 843000 | #Constraints: 50586 1453.41/1457.30 c #Conflicts: 844000 | #Constraints: 52113 1453.41/1457.30 c #Conflicts: 845000 | #Constraints: 53722 1453.41/1457.30 c #Conflicts: 846000 | #Constraints: 55147 1453.41/1457.30 c INPROCESSING 1453.41/1457.30 c GARBAGE COLLECT 1453.41/1457.30 c rational objective 0 1500.88/1504.98 c #Conflicts: 847000 | #Constraints: 28289 1500.88/1504.98 c #Conflicts: 848000 | #Constraints: 29289 1500.88/1504.98 c #Conflicts: 849000 | #Constraints: 30289 1500.88/1504.98 c #Conflicts: 850000 | #Constraints: 31289 1500.88/1504.98 c #Conflicts: 851000 | #Constraints: 32289 1500.88/1504.98 c #Conflicts: 852000 | #Constraints: 33289 1500.88/1504.98 c #Conflicts: 853000 | #Constraints: 34289 1500.88/1504.98 c #Conflicts: 854000 | #Constraints: 35289 1500.88/1504.98 c #Conflicts: 855000 | #Constraints: 36289 1500.88/1504.98 c #Conflicts: 856000 | #Constraints: 37289 1500.88/1504.98 c #Conflicts: 857000 | #Constraints: 38289 1500.88/1504.98 c #Conflicts: 858000 | #Constraints: 39289 1500.88/1504.98 c #Conflicts: 859000 | #Constraints: 40289 1500.88/1504.98 c #Conflicts: 860000 | #Constraints: 41289 1500.88/1504.98 c #Conflicts: 861000 | #Constraints: 42289 1500.88/1504.98 c #Conflicts: 862000 | #Constraints: 43289 1500.88/1504.98 c #Conflicts: 863000 | #Constraints: 44289 1500.88/1504.98 c #Conflicts: 864000 | #Constraints: 45289 1500.88/1504.98 c #Conflicts: 865000 | #Constraints: 46289 1500.88/1504.98 c INPROCESSING 1500.88/1504.98 c GARBAGE COLLECT 1500.88/1504.98 c rational objective 0 1544.99/1549.12 c #Conflicts: 866000 | #Constraints: 24511 1544.99/1549.12 c #Conflicts: 867000 | #Constraints: 25908 1544.99/1549.12 c #Conflicts: 868000 | #Constraints: 26908 1544.99/1549.12 c #Conflicts: 869000 | #Constraints: 27909 1544.99/1549.12 c #Conflicts: 870000 | #Constraints: 28909 1544.99/1549.12 c #Conflicts: 871000 | #Constraints: 29909 1544.99/1549.12 c #Conflicts: 872000 | #Constraints: 31067 1544.99/1549.12 c #Conflicts: 873000 | #Constraints: 32491 1544.99/1549.12 c #Conflicts: 874000 | #Constraints: 33491 1544.99/1549.12 c #Conflicts: 875000 | #Constraints: 34491 1544.99/1549.12 c #Conflicts: 876000 | #Constraints: 35849 1544.99/1549.12 c #Conflicts: 877000 | #Constraints: 36982 1544.99/1549.12 c #Conflicts: 878000 | #Constraints: 37982 1544.99/1549.12 c #Conflicts: 879000 | #Constraints: 38982 1544.99/1549.12 c #Conflicts: 880000 | #Constraints: 40625 1544.99/1549.12 c #Conflicts: 881000 | #Constraints: 41983 1544.99/1549.12 c #Conflicts: 882000 | #Constraints: 43539 1544.99/1549.12 c #Conflicts: 883000 | #Constraints: 44539 1544.99/1549.12 c #Conflicts: 884000 | #Constraints: 45760 1544.99/1549.12 c INPROCESSING 1544.99/1549.12 c GARBAGE COLLECT 1544.99/1549.12 c rational objective 0 1594.44/1598.76 c #Conflicts: 885000 | #Constraints: 24442 1594.44/1598.76 c #Conflicts: 886000 | #Constraints: 25900 1594.44/1598.76 c #Conflicts: 887000 | #Constraints: 26985 1594.44/1598.76 c #Conflicts: 888000 | #Constraints: 28292 1594.44/1598.76 c #Conflicts: 889000 | #Constraints: 29292 1594.44/1598.76 c #Conflicts: 890000 | #Constraints: 30772 1594.44/1598.76 c #Conflicts: 891000 | #Constraints: 31892 1594.44/1598.76 c #Conflicts: 892000 | #Constraints: 33502 1594.44/1598.76 c #Conflicts: 893000 | #Constraints: 34606 1594.44/1598.76 c #Conflicts: 894000 | #Constraints: 35828 1594.44/1598.76 c #Conflicts: 895000 | #Constraints: 37436 1594.44/1598.76 c #Conflicts: 896000 | #Constraints: 39060 1594.44/1598.76 c #Conflicts: 897000 | #Constraints: 40609 1594.44/1598.76 c #Conflicts: 898000 | #Constraints: 41609 1594.44/1598.76 c #Conflicts: 899000 | #Constraints: 42609 1594.44/1598.76 c #Conflicts: 900000 | #Constraints: 43707 1594.44/1598.76 c #Conflicts: 901000 | #Constraints: 44967 1594.44/1598.76 c #Conflicts: 902000 | #Constraints: 46501 1594.44/1598.76 c #Conflicts: 903000 | #Constraints: 47577 1594.44/1598.76 c INPROCESSING 1594.44/1598.76 c GARBAGE COLLECT 1594.44/1598.76 c rational objective 0 1646.92/1651.30 c #Conflicts: 904000 | #Constraints: 25434 1646.92/1651.30 c #Conflicts: 905000 | #Constraints: 27092 1646.92/1651.30 c #Conflicts: 906000 | #Constraints: 28212 1646.92/1651.30 c #Conflicts: 907000 | #Constraints: 29833 1646.92/1651.30 c #Conflicts: 908000 | #Constraints: 31477 1646.92/1651.30 c #Conflicts: 909000 | #Constraints: 33144 1646.92/1651.30 c #Conflicts: 910000 | #Constraints: 34808 1646.92/1651.30 c #Conflicts: 911000 | #Constraints: 36446 1646.92/1651.30 c #Conflicts: 912000 | #Constraints: 37788 1646.92/1651.30 c #Conflicts: 913000 | #Constraints: 39091 1646.92/1651.30 c #Conflicts: 914000 | #Constraints: 40699 1646.92/1651.30 c #Conflicts: 915000 | #Constraints: 42345 1646.92/1651.30 c #Conflicts: 916000 | #Constraints: 43512 1646.92/1651.30 c #Conflicts: 917000 | #Constraints: 44512 1646.92/1651.30 c #Conflicts: 918000 | #Constraints: 45512 1646.92/1651.30 c #Conflicts: 919000 | #Constraints: 46512 1646.92/1651.30 c #Conflicts: 920000 | #Constraints: 47512 1646.92/1651.30 c #Conflicts: 921000 | #Constraints: 48555 1646.92/1651.30 c #Conflicts: 922000 | #Constraints: 49846 1646.92/1651.30 c INPROCESSING 1646.92/1651.30 c GARBAGE COLLECT 1646.92/1651.30 c rational objective 0 1696.51/1701.09 c #Conflicts: 923000 | #Constraints: 26322 1696.51/1701.09 c #Conflicts: 924000 | #Constraints: 27889 1696.51/1701.09 c #Conflicts: 925000 | #Constraints: 29511 1696.51/1701.09 c #Conflicts: 926000 | #Constraints: 30849 1696.51/1701.09 c #Conflicts: 927000 | #Constraints: 31849 1696.51/1701.09 c #Conflicts: 928000 | #Constraints: 32849 1696.51/1701.09 c #Conflicts: 929000 | #Constraints: 33849 1696.51/1701.09 c #Conflicts: 930000 | #Constraints: 35068 1696.51/1701.09 c #Conflicts: 931000 | #Constraints: 36695 1696.51/1701.09 c #Conflicts: 932000 | #Constraints: 37978 1696.51/1701.09 c #Conflicts: 933000 | #Constraints: 39104 1696.51/1701.09 c #Conflicts: 934000 | #Constraints: 40104 1696.51/1701.09 c #Conflicts: 935000 | #Constraints: 41104 1696.51/1701.09 c #Conflicts: 936000 | #Constraints: 42186 1696.51/1701.09 c #Conflicts: 937000 | #Constraints: 43186 1696.51/1701.09 c #Conflicts: 938000 | #Constraints: 44447 1696.51/1701.09 c #Conflicts: 939000 | #Constraints: 45730 1696.51/1701.09 c #Conflicts: 940000 | #Constraints: 47283 1696.51/1701.09 c #Conflicts: 941000 | #Constraints: 48826 1696.51/1701.09 c INPROCESSING 1696.51/1701.09 c GARBAGE COLLECT 1696.51/1701.09 c rational objective 0 1742.50/1747.13 c #Conflicts: 942000 | #Constraints: 25297 1742.50/1747.13 c #Conflicts: 943000 | #Constraints: 26650 1742.50/1747.13 c #Conflicts: 944000 | #Constraints: 28249 1742.50/1747.13 c #Conflicts: 945000 | #Constraints: 29742 1742.50/1747.13 c #Conflicts: 946000 | #Constraints: 30742 1742.50/1747.13 c #Conflicts: 947000 | #Constraints: 31896 1742.50/1747.13 c #Conflicts: 948000 | #Constraints: 33063 1742.50/1747.13 c #Conflicts: 949000 | #Constraints: 34063 1742.50/1747.13 c #Conflicts: 950000 | #Constraints: 35063 1742.50/1747.13 c #Conflicts: 951000 | #Constraints: 36063 1742.50/1747.13 c #Conflicts: 952000 | #Constraints: 37063 1742.50/1747.13 c #Conflicts: 953000 | #Constraints: 38063 1742.50/1747.13 c #Conflicts: 954000 | #Constraints: 39093 1742.50/1747.13 c #Conflicts: 955000 | #Constraints: 40093 1742.50/1747.13 c #Conflicts: 956000 | #Constraints: 41405 1742.50/1747.13 c #Conflicts: 957000 | #Constraints: 42405 1742.50/1747.13 c #Conflicts: 958000 | #Constraints: 43573 1742.50/1747.13 c #Conflicts: 959000 | #Constraints: 45218 1742.50/1747.13 c #Conflicts: 960000 | #Constraints: 46855 1742.50/1747.13 c #Conflicts: 961000 | #Constraints: 48470 1742.50/1747.13 c INPROCESSING 1742.50/1747.13 c GARBAGE COLLECT 1742.50/1747.13 c rational objective 0 1794.46/1799.26 c #Conflicts: 962000 | #Constraints: 25214 1794.46/1799.26 c #Conflicts: 963000 | #Constraints: 26635 1794.46/1799.26 c #Conflicts: 964000 | #Constraints: 28293 1794.46/1799.26 c #Conflicts: 965000 | #Constraints: 29801 1794.46/1799.26 c #Conflicts: 966000 | #Constraints: 31446 1794.46/1799.26 c #Conflicts: 967000 | #Constraints: 32842 1794.46/1799.26 c #Conflicts: 968000 | #Constraints: 34313 1794.46/1799.26 c #Conflicts: 969000 | #Constraints: 35601 1794.46/1799.26 c #Conflicts: 970000 | #Constraints: 36601 1794.46/1799.26 c #Conflicts: 971000 | #Constraints: 37601 1794.46/1799.26 c #Conflicts: 972000 | #Constraints: 39149 1794.46/1799.26 c #Conflicts: 973000 | #Constraints: 40535 1794.46/1799.26 c #Conflicts: 974000 | #Constraints: 41535 1794.46/1799.26 c #Conflicts: 975000 | #Constraints: 42809 1794.46/1799.26 c #Conflicts: 976000 | #Constraints: 44435 1794.46/1799.26 c #Conflicts: 977000 | #Constraints: 46086 1794.46/1799.26 c #Conflicts: 978000 | #Constraints: 47162 1794.46/1799.26 c #Conflicts: 979000 | #Constraints: 48299 1794.46/1799.26 c #Conflicts: 980000 | #Constraints: 49775 1794.46/1799.26 c #Conflicts: 981000 | #Constraints: 51426 1794.46/1799.26 c INPROCESSING 1794.46/1799.26 c GARBAGE COLLECT 1794.46/1799.26 c rational objective 0 1857.99/1862.98 c #Conflicts: 982000 | #Constraints: 26800 1857.99/1862.98 c #Conflicts: 983000 | #Constraints: 28325 1857.99/1862.98 c #Conflicts: 984000 | #Constraints: 29929 1857.99/1862.98 c #Conflicts: 985000 | #Constraints: 31567 1857.99/1862.98 c #Conflicts: 986000 | #Constraints: 33207 1857.99/1862.98 c #Conflicts: 987000 | #Constraints: 34855 1857.99/1862.98 c #Conflicts: 988000 | #Constraints: 36234 1857.99/1862.98 c #Conflicts: 989000 | #Constraints: 37841 1857.99/1862.98 c #Conflicts: 990000 | #Constraints: 39462 1857.99/1862.98 c #Conflicts: 991000 | #Constraints: 41062 1857.99/1862.98 c #Conflicts: 992000 | #Constraints: 42702 1857.99/1862.98 c #Conflicts: 993000 | #Constraints: 44377 1857.99/1862.98 c #Conflicts: 994000 | #Constraints: 46056 1857.99/1862.98 c #Conflicts: 995000 | #Constraints: 47308 1857.99/1862.98 c #Conflicts: 996000 | #Constraints: 48917 1857.99/1862.98 c #Conflicts: 997000 | #Constraints: 50548 1857.99/1862.98 c #Conflicts: 998000 | #Constraints: 52147 1857.99/1862.98 c #Conflicts: 999000 | #Constraints: 53736 1857.99/1862.98 c #Conflicts: 1000000 | #Constraints: 55391 1857.99/1862.98 c #Conflicts: 1001000 | #Constraints: 57062 1857.99/1862.98 c INPROCESSING 1857.99/1862.98 c GARBAGE COLLECT 1857.99/1862.98 c rational objective 0 1913.16/1918.27 c #Conflicts: 1002000 | #Constraints: 29547 1913.16/1918.27 c #Conflicts: 1003000 | #Constraints: 30547 1913.16/1918.27 c #Conflicts: 1004000 | #Constraints: 31547 1913.16/1918.27 c #Conflicts: 1005000 | #Constraints: 32547 1913.16/1918.27 c #Conflicts: 1006000 | #Constraints: 33547 1913.16/1918.27 c #Conflicts: 1007000 | #Constraints: 34547 1913.16/1918.27 c #Conflicts: 1008000 | #Constraints: 35547 1913.16/1918.27 c #Conflicts: 1009000 | #Constraints: 36547 1913.16/1918.27 c #Conflicts: 1010000 | #Constraints: 37547 1913.16/1918.27 c #Conflicts: 1011000 | #Constraints: 38547 1913.16/1918.27 c #Conflicts: 1012000 | #Constraints: 39547 1913.16/1918.27 c #Conflicts: 1013000 | #Constraints: 40547 1913.16/1918.27 c #Conflicts: 1014000 | #Constraints: 41547 1913.16/1918.27 c #Conflicts: 1015000 | #Constraints: 42547 1913.16/1918.27 c #Conflicts: 1016000 | #Constraints: 43547 1913.16/1918.27 c #Conflicts: 1017000 | #Constraints: 44547 1913.16/1918.27 c #Conflicts: 1018000 | #Constraints: 45547 1913.16/1918.27 c #Conflicts: 1019000 | #Constraints: 46547 1913.16/1918.27 c #Conflicts: 1020000 | #Constraints: 47547 1913.16/1918.27 c #Conflicts: 1021000 | #Constraints: 48547 1913.16/1918.27 c INPROCESSING 1913.16/1918.27 c GARBAGE COLLECT 1913.16/1918.27 c rational objective 0 1964.94/1970.18 c #Conflicts: 1022000 | #Constraints: 25606 1964.94/1970.18 c #Conflicts: 1023000 | #Constraints: 27144 1964.94/1970.18 c #Conflicts: 1024000 | #Constraints: 28742 1964.94/1970.18 c #Conflicts: 1025000 | #Constraints: 30371 1964.94/1970.18 c #Conflicts: 1026000 | #Constraints: 31622 1964.94/1970.18 c #Conflicts: 1027000 | #Constraints: 32622 1964.94/1970.18 c #Conflicts: 1028000 | #Constraints: 33796 1964.94/1970.18 c #Conflicts: 1029000 | #Constraints: 34802 1964.94/1970.18 c #Conflicts: 1030000 | #Constraints: 35802 1964.94/1970.18 c #Conflicts: 1031000 | #Constraints: 36802 1964.94/1970.18 c #Conflicts: 1032000 | #Constraints: 37887 1964.94/1970.18 c #Conflicts: 1033000 | #Constraints: 38949 1964.94/1970.18 c #Conflicts: 1034000 | #Constraints: 39949 1964.94/1970.18 c #Conflicts: 1035000 | #Constraints: 40949 1964.94/1970.18 c #Conflicts: 1036000 | #Constraints: 41949 1964.94/1970.18 c #Conflicts: 1037000 | #Constraints: 42949 1964.94/1970.18 c #Conflicts: 1038000 | #Constraints: 44200 1964.94/1970.18 c #Conflicts: 1039000 | #Constraints: 45574 1964.94/1970.18 c #Conflicts: 1040000 | #Constraints: 46672 1964.94/1970.18 c #Conflicts: 1041000 | #Constraints: 47672 1964.94/1970.18 c INPROCESSING 1964.94/1970.18 c GARBAGE COLLECT 1964.94/1970.18 c rational objective 0 2023.95/2029.32 c #Conflicts: 1042000 | #Constraints: 24656 2023.95/2029.32 c #Conflicts: 1043000 | #Constraints: 26043 2023.95/2029.32 c #Conflicts: 1044000 | #Constraints: 27406 2023.95/2029.32 c #Conflicts: 1045000 | #Constraints: 29085 2023.95/2029.32 c #Conflicts: 1046000 | #Constraints: 30545 2023.95/2029.32 c #Conflicts: 1047000 | #Constraints: 31649 2023.95/2029.32 c #Conflicts: 1048000 | #Constraints: 33163 2023.95/2029.32 c #Conflicts: 1049000 | #Constraints: 34778 2023.95/2029.32 c #Conflicts: 1050000 | #Constraints: 35889 2023.95/2029.32 c #Conflicts: 1051000 | #Constraints: 37102 2023.95/2029.32 c #Conflicts: 1052000 | #Constraints: 38364 2023.95/2029.32 c #Conflicts: 1053000 | #Constraints: 39991 2023.95/2029.32 c #Conflicts: 1054000 | #Constraints: 41607 2023.95/2029.32 c #Conflicts: 1055000 | #Constraints: 43018 2023.95/2029.32 c #Conflicts: 1056000 | #Constraints: 44414 2023.95/2029.32 c #Conflicts: 1057000 | #Constraints: 45414 2023.95/2029.32 c #Conflicts: 1058000 | #Constraints: 46414 2023.95/2029.32 c #Conflicts: 1059000 | #Constraints: 48043 2023.95/2029.32 c #Conflicts: 1060000 | #Constraints: 49724 2023.95/2029.32 c #Conflicts: 1061000 | #Constraints: 51282 2023.95/2029.32 c #Conflicts: 1062000 | #Constraints: 52282 2023.95/2029.32 c INPROCESSING 2023.95/2029.32 c GARBAGE COLLECT 2023.95/2029.32 c rational objective 0 2109.51/2115.19 c #Conflicts: 1063000 | #Constraints: 27510 2109.51/2115.19 c #Conflicts: 1064000 | #Constraints: 29046 2109.51/2115.19 c #Conflicts: 1065000 | #Constraints: 30490 2109.51/2115.19 c #Conflicts: 1066000 | #Constraints: 32103 2109.51/2115.19 c #Conflicts: 1067000 | #Constraints: 33672 2109.51/2115.19 c #Conflicts: 1068000 | #Constraints: 35352 2109.51/2115.19 c #Conflicts: 1069000 | #Constraints: 36986 2109.51/2115.19 c #Conflicts: 1070000 | #Constraints: 38577 2109.51/2115.19 c #Conflicts: 1071000 | #Constraints: 40180 2109.51/2115.19 c #Conflicts: 1072000 | #Constraints: 41808 2109.51/2115.19 c #Conflicts: 1073000 | #Constraints: 43439 2109.51/2115.19 c #Conflicts: 1074000 | #Constraints: 45050 2109.51/2115.19 c #Conflicts: 1075000 | #Constraints: 46673 2109.51/2115.19 c #Conflicts: 1076000 | #Constraints: 48331 2109.51/2115.19 c #Conflicts: 1077000 | #Constraints: 50024 2109.51/2115.19 c #Conflicts: 1078000 | #Constraints: 51662 2109.51/2115.19 c #Conflicts: 1079000 | #Constraints: 52905 2109.51/2115.19 c #Conflicts: 1080000 | #Constraints: 53905 2109.51/2115.19 c #Conflicts: 1081000 | #Constraints: 55359 2109.51/2115.19 c #Conflicts: 1082000 | #Constraints: 57054 2109.51/2115.19 c #Conflicts: 1083000 | #Constraints: 58734 2109.51/2115.19 c INPROCESSING 2109.51/2115.19 c GARBAGE COLLECT 2109.51/2115.19 c rational objective 0 2197.14/2203.06 c #Conflicts: 1084000 | #Constraints: 30945 2197.14/2203.06 c #Conflicts: 1085000 | #Constraints: 32478 2197.14/2203.06 c #Conflicts: 1086000 | #Constraints: 33609 2197.14/2203.06 c #Conflicts: 1087000 | #Constraints: 35128 2197.14/2203.06 c #Conflicts: 1088000 | #Constraints: 36712 2197.14/2203.06 c #Conflicts: 1089000 | #Constraints: 38307 2197.14/2203.06 c #Conflicts: 1090000 | #Constraints: 39850 2197.14/2203.06 c #Conflicts: 1091000 | #Constraints: 41410 2197.14/2203.06 c #Conflicts: 1092000 | #Constraints: 43007 2197.14/2203.06 c #Conflicts: 1093000 | #Constraints: 44279 2197.14/2203.06 c #Conflicts: 1094000 | #Constraints: 45685 2197.14/2203.06 c #Conflicts: 1095000 | #Constraints: 47086 2197.14/2203.06 c #Conflicts: 1096000 | #Constraints: 48222 2197.14/2203.06 c #Conflicts: 1097000 | #Constraints: 49381 2197.14/2203.06 c #Conflicts: 1098000 | #Constraints: 50798 2197.14/2203.06 c #Conflicts: 1099000 | #Constraints: 51798 2197.14/2203.06 c #Conflicts: 1100000 | #Constraints: 52798 2197.14/2203.06 c #Conflicts: 1101000 | #Constraints: 53798 2197.14/2203.06 c #Conflicts: 1102000 | #Constraints: 54977 2197.14/2203.06 c #Conflicts: 1103000 | #Constraints: 56335 2197.14/2203.06 c #Conflicts: 1104000 | #Constraints: 57948 2197.14/2203.06 c INPROCESSING 2197.14/2203.06 c GARBAGE COLLECT 2197.14/2203.06 c rational objective 0 2265.63/2271.71 c #Conflicts: 1105000 | #Constraints: 29991 2265.63/2271.71 c #Conflicts: 1106000 | #Constraints: 31191 2265.63/2271.71 c #Conflicts: 1107000 | #Constraints: 32191 2265.63/2271.71 c #Conflicts: 1108000 | #Constraints: 33191 2265.63/2271.71 c #Conflicts: 1109000 | #Constraints: 34388 2265.63/2271.71 c #Conflicts: 1110000 | #Constraints: 35935 2265.63/2271.71 c #Conflicts: 1111000 | #Constraints: 37320 2265.63/2271.71 c #Conflicts: 1112000 | #Constraints: 38554 2265.63/2271.71 c #Conflicts: 1113000 | #Constraints: 39980 2265.63/2271.71 c #Conflicts: 1114000 | #Constraints: 41104 2265.63/2271.71 c #Conflicts: 1115000 | #Constraints: 42206 2265.63/2271.71 c #Conflicts: 1116000 | #Constraints: 43206 2265.63/2271.71 c #Conflicts: 1117000 | #Constraints: 44593 2265.63/2271.71 c #Conflicts: 1118000 | #Constraints: 46031 2265.63/2271.71 c #Conflicts: 1119000 | #Constraints: 47031 2265.63/2271.71 c #Conflicts: 1120000 | #Constraints: 48031 2265.63/2271.71 c #Conflicts: 1121000 | #Constraints: 49405 2265.63/2271.71 c #Conflicts: 1122000 | #Constraints: 50423 2265.63/2271.71 c #Conflicts: 1123000 | #Constraints: 51598 2265.63/2271.71 c #Conflicts: 1124000 | #Constraints: 52598 2265.63/2271.71 c #Conflicts: 1125000 | #Constraints: 53598 2265.63/2271.71 c INPROCESSING 2265.63/2271.71 c GARBAGE COLLECT 2265.63/2271.71 c rational objective 0 2321.36/2327.68 c #Conflicts: 1126000 | #Constraints: 27716 2321.36/2327.68 c #Conflicts: 1127000 | #Constraints: 28716 2321.36/2327.68 c #Conflicts: 1128000 | #Constraints: 29716 2321.36/2327.68 c #Conflicts: 1129000 | #Constraints: 30716 2321.36/2327.68 c #Conflicts: 1130000 | #Constraints: 31716 2321.36/2327.68 c #Conflicts: 1131000 | #Constraints: 32716 2321.36/2327.68 c #Conflicts: 1132000 | #Constraints: 33716 2321.36/2327.68 c #Conflicts: 1133000 | #Constraints: 34716 2321.36/2327.68 c #Conflicts: 1134000 | #Constraints: 35716 2321.36/2327.68 c #Conflicts: 1135000 | #Constraints: 36716 2321.36/2327.68 c #Conflicts: 1136000 | #Constraints: 37716 2321.36/2327.68 c #Conflicts: 1137000 | #Constraints: 38716 2321.36/2327.68 c #Conflicts: 1138000 | #Constraints: 39716 2321.36/2327.68 c #Conflicts: 1139000 | #Constraints: 40716 2321.36/2327.68 c #Conflicts: 1140000 | #Constraints: 41716 2321.36/2327.68 c #Conflicts: 1141000 | #Constraints: 42716 2321.36/2327.68 c #Conflicts: 1142000 | #Constraints: 43716 2321.36/2327.68 c #Conflicts: 1143000 | #Constraints: 44716 2321.36/2327.68 c #Conflicts: 1144000 | #Constraints: 45716 2321.36/2327.68 c #Conflicts: 1145000 | #Constraints: 46716 2321.36/2327.68 c #Conflicts: 1146000 | #Constraints: 47716 2321.36/2327.68 c INPROCESSING 2321.36/2327.68 c GARBAGE COLLECT 2321.36/2327.68 c rational objective 0 2372.73/2379.16 c #Conflicts: 1147000 | #Constraints: 24649 2372.73/2379.16 c #Conflicts: 1148000 | #Constraints: 25886 2372.73/2379.16 c #Conflicts: 1149000 | #Constraints: 26886 2372.73/2379.16 c #Conflicts: 1150000 | #Constraints: 27919 2372.73/2379.16 c #Conflicts: 1151000 | #Constraints: 28978 2372.73/2379.16 c #Conflicts: 1152000 | #Constraints: 29978 2372.73/2379.16 c #Conflicts: 1153000 | #Constraints: 31001 2372.73/2379.16 c #Conflicts: 1154000 | #Constraints: 32113 2372.73/2379.16 c #Conflicts: 1155000 | #Constraints: 33308 2372.73/2379.16 c #Conflicts: 1156000 | #Constraints: 34349 2372.73/2379.16 c #Conflicts: 1157000 | #Constraints: 35349 2372.73/2379.16 c #Conflicts: 1158000 | #Constraints: 36402 2372.73/2379.16 c #Conflicts: 1159000 | #Constraints: 37601 2372.73/2379.16 c #Conflicts: 1160000 | #Constraints: 38659 2372.73/2379.16 c #Conflicts: 1161000 | #Constraints: 39683 2372.73/2379.16 c #Conflicts: 1162000 | #Constraints: 40683 2372.73/2379.16 c #Conflicts: 1163000 | #Constraints: 41683 2372.73/2379.16 c #Conflicts: 1164000 | #Constraints: 42683 2372.73/2379.16 c #Conflicts: 1165000 | #Constraints: 43683 2372.73/2379.16 c #Conflicts: 1166000 | #Constraints: 44702 2372.73/2379.16 c #Conflicts: 1167000 | #Constraints: 45702 2372.73/2379.16 c #Conflicts: 1168000 | #Constraints: 46702 2372.73/2379.16 c INPROCESSING 2372.73/2379.16 c GARBAGE COLLECT 2372.73/2379.16 c rational objective 0 2426.17/2432.77 c #Conflicts: 1169000 | #Constraints: 24592 2426.17/2432.77 c #Conflicts: 1170000 | #Constraints: 26077 2426.17/2432.77 c #Conflicts: 1171000 | #Constraints: 27598 2426.17/2432.77 c #Conflicts: 1172000 | #Constraints: 28892 2426.17/2432.77 c #Conflicts: 1173000 | #Constraints: 30059 2426.17/2432.77 c #Conflicts: 1174000 | #Constraints: 31059 2426.17/2432.77 c #Conflicts: 1175000 | #Constraints: 32059 2426.17/2432.77 c #Conflicts: 1176000 | #Constraints: 33213 2426.17/2432.77 c #Conflicts: 1177000 | #Constraints: 34310 2426.17/2432.77 c #Conflicts: 1178000 | #Constraints: 35310 2426.17/2432.77 c #Conflicts: 1179000 | #Constraints: 36310 2426.17/2432.77 c #Conflicts: 1180000 | #Constraints: 37310 2426.17/2432.77 c #Conflicts: 1181000 | #Constraints: 38310 2426.17/2432.77 c #Conflicts: 1182000 | #Constraints: 39310 2426.17/2432.77 c #Conflicts: 1183000 | #Constraints: 40310 2426.17/2432.77 c #Conflicts: 1184000 | #Constraints: 41563 2426.17/2432.77 c #Conflicts: 1185000 | #Constraints: 42563 2426.17/2432.77 c #Conflicts: 1186000 | #Constraints: 43564 2426.17/2432.77 c #Conflicts: 1187000 | #Constraints: 44564 2426.17/2432.77 c #Conflicts: 1188000 | #Constraints: 45810 2426.17/2432.77 c #Conflicts: 1189000 | #Constraints: 46810 2426.17/2432.77 c #Conflicts: 1190000 | #Constraints: 47935 2426.17/2432.77 c INPROCESSING 2426.17/2432.77 c GARBAGE COLLECT 2426.17/2432.77 c rational objective 0 2478.54/2485.23 c #Conflicts: 1191000 | #Constraints: 25249 2478.54/2485.23 c #Conflicts: 1192000 | #Constraints: 26381 2478.54/2485.23 c #Conflicts: 1193000 | #Constraints: 27381 2478.54/2485.23 c #Conflicts: 1194000 | #Constraints: 28505 2478.54/2485.23 c #Conflicts: 1195000 | #Constraints: 29561 2478.54/2485.23 c #Conflicts: 1196000 | #Constraints: 30561 2478.54/2485.23 c #Conflicts: 1197000 | #Constraints: 31561 2478.54/2485.23 c #Conflicts: 1198000 | #Constraints: 32561 2478.54/2485.23 c #Conflicts: 1199000 | #Constraints: 33561 2478.54/2485.23 c #Conflicts: 1200000 | #Constraints: 34561 2478.54/2485.23 c #Conflicts: 1201000 | #Constraints: 35561 2478.54/2485.23 c #Conflicts: 1202000 | #Constraints: 36641 2478.54/2485.23 c #Conflicts: 1203000 | #Constraints: 37668 2478.54/2485.23 c #Conflicts: 1204000 | #Constraints: 38668 2478.54/2485.23 c #Conflicts: 1205000 | #Constraints: 39685 2478.54/2485.23 c #Conflicts: 1206000 | #Constraints: 40761 2478.54/2485.23 c #Conflicts: 1207000 | #Constraints: 41778 2478.54/2485.23 c #Conflicts: 1208000 | #Constraints: 42778 2478.54/2485.23 c #Conflicts: 1209000 | #Constraints: 43839 2478.54/2485.23 c #Conflicts: 1210000 | #Constraints: 44896 2478.54/2485.23 c #Conflicts: 1211000 | #Constraints: 45929 2478.54/2485.23 c #Conflicts: 1212000 | #Constraints: 47164 2478.54/2485.23 c INPROCESSING 2478.54/2485.23 c GARBAGE COLLECT 2478.54/2485.23 c rational objective 0 2535.00/2541.80 c #Conflicts: 1213000 | #Constraints: 24875 2535.00/2541.80 c #Conflicts: 1214000 | #Constraints: 26431 2535.00/2541.80 c #Conflicts: 1215000 | #Constraints: 27671 2535.00/2541.80 c #Conflicts: 1216000 | #Constraints: 28904 2535.00/2541.80 c #Conflicts: 1217000 | #Constraints: 30003 2535.00/2541.80 c #Conflicts: 1218000 | #Constraints: 31003 2535.00/2541.80 c #Conflicts: 1219000 | #Constraints: 32003 2535.00/2541.80 c #Conflicts: 1220000 | #Constraints: 33457 2535.00/2541.80 c #Conflicts: 1221000 | #Constraints: 34654 2535.00/2541.80 c #Conflicts: 1222000 | #Constraints: 36068 2535.00/2541.80 c #Conflicts: 1223000 | #Constraints: 37508 2535.00/2541.80 c #Conflicts: 1224000 | #Constraints: 38508 2535.00/2541.80 c #Conflicts: 1225000 | #Constraints: 39552 2535.00/2541.80 c #Conflicts: 1226000 | #Constraints: 40552 2535.00/2541.80 c #Conflicts: 1227000 | #Constraints: 41552 2535.00/2541.80 c #Conflicts: 1228000 | #Constraints: 42784 2535.00/2541.80 c #Conflicts: 1229000 | #Constraints: 44159 2535.00/2541.80 c #Conflicts: 1230000 | #Constraints: 45159 2535.00/2541.80 c #Conflicts: 1231000 | #Constraints: 46159 2535.00/2541.80 c #Conflicts: 1232000 | #Constraints: 47314 2535.00/2541.80 c #Conflicts: 1233000 | #Constraints: 48673 2535.00/2541.80 c #Conflicts: 1234000 | #Constraints: 49673 2535.00/2541.80 c INPROCESSING 2535.00/2541.80 c GARBAGE COLLECT 2535.00/2541.80 c rational objective 0 2596.65/2603.61 c #Conflicts: 1235000 | #Constraints: 25816 2596.65/2603.61 c #Conflicts: 1236000 | #Constraints: 26816 2596.65/2603.61 c #Conflicts: 1237000 | #Constraints: 27816 2596.65/2603.61 c #Conflicts: 1238000 | #Constraints: 29076 2596.65/2603.61 c #Conflicts: 1239000 | #Constraints: 30076 2596.65/2603.61 c #Conflicts: 1240000 | #Constraints: 31076 2596.65/2603.61 c #Conflicts: 1241000 | #Constraints: 32329 2596.65/2603.61 c #Conflicts: 1242000 | #Constraints: 33979 2596.65/2603.61 c #Conflicts: 1243000 | #Constraints: 35618 2596.65/2603.61 c #Conflicts: 1244000 | #Constraints: 37191 2596.65/2603.61 c #Conflicts: 1245000 | #Constraints: 38802 2596.65/2603.61 c #Conflicts: 1246000 | #Constraints: 40305 2596.65/2603.61 c #Conflicts: 1247000 | #Constraints: 41305 2596.65/2603.61 c #Conflicts: 1248000 | #Constraints: 42425 2596.65/2603.61 c #Conflicts: 1249000 | #Constraints: 43921 2596.65/2603.61 c #Conflicts: 1250000 | #Constraints: 45386 2596.65/2603.61 c #Conflicts: 1251000 | #Constraints: 46964 2596.65/2603.61 c #Conflicts: 1252000 | #Constraints: 48468 2596.65/2603.61 c #Conflicts: 1253000 | #Constraints: 50100 2596.65/2603.61 c #Conflicts: 1254000 | #Constraints: 51721 2596.65/2603.61 c #Conflicts: 1255000 | #Constraints: 52838 2596.65/2603.61 c #Conflicts: 1256000 | #Constraints: 54257 2596.65/2603.61 c INPROCESSING 2596.65/2603.61 c GARBAGE COLLECT 2596.65/2603.61 c rational objective 0 2664.49/2671.67 c #Conflicts: 1257000 | #Constraints: 28195 2664.49/2671.67 c #Conflicts: 1258000 | #Constraints: 29195 2664.49/2671.67 c #Conflicts: 1259000 | #Constraints: 30323 2664.49/2671.67 c #Conflicts: 1260000 | #Constraints: 31887 2664.49/2671.67 c #Conflicts: 1261000 | #Constraints: 33133 2664.49/2671.67 c #Conflicts: 1262000 | #Constraints: 34133 2664.49/2671.67 c #Conflicts: 1263000 | #Constraints: 35133 2664.49/2671.67 c #Conflicts: 1264000 | #Constraints: 36133 2664.49/2671.67 c #Conflicts: 1265000 | #Constraints: 37650 2664.49/2671.67 c #Conflicts: 1266000 | #Constraints: 39231 2664.49/2671.67 c #Conflicts: 1267000 | #Constraints: 40231 2664.49/2671.67 c #Conflicts: 1268000 | #Constraints: 41231 2664.49/2671.67 c #Conflicts: 1269000 | #Constraints: 42231 2664.49/2671.67 c #Conflicts: 1270000 | #Constraints: 43231 2664.49/2671.67 c #Conflicts: 1271000 | #Constraints: 44690 2664.49/2671.67 c #Conflicts: 1272000 | #Constraints: 46255 2664.49/2671.67 c #Conflicts: 1273000 | #Constraints: 47812 2664.49/2671.67 c #Conflicts: 1274000 | #Constraints: 49245 2664.49/2671.67 c #Conflicts: 1275000 | #Constraints: 50815 2664.49/2671.67 c #Conflicts: 1276000 | #Constraints: 52344 2664.49/2671.67 c #Conflicts: 1277000 | #Constraints: 53906 2664.49/2671.67 c #Conflicts: 1278000 | #Constraints: 54906 2664.49/2671.67 c #Conflicts: 1279000 | #Constraints: 55906 2664.49/2671.67 c INPROCESSING 2664.49/2671.67 c GARBAGE COLLECT 2664.49/2671.67 c rational objective 0 2746.18/2753.53 c #Conflicts: 1280000 | #Constraints: 29319 2746.18/2753.53 c #Conflicts: 1281000 | #Constraints: 30915 2746.18/2753.53 c #Conflicts: 1282000 | #Constraints: 32486 2746.18/2753.53 c #Conflicts: 1283000 | #Constraints: 34091 2746.18/2753.53 c #Conflicts: 1284000 | #Constraints: 35712 2746.18/2753.53 c #Conflicts: 1285000 | #Constraints: 37283 2746.18/2753.53 c #Conflicts: 1286000 | #Constraints: 38885 2746.18/2753.53 c #Conflicts: 1287000 | #Constraints: 40505 2746.18/2753.53 c #Conflicts: 1288000 | #Constraints: 42125 2746.18/2753.53 c #Conflicts: 1289000 | #Constraints: 43712 2746.18/2753.53 c #Conflicts: 1290000 | #Constraints: 45266 2746.18/2753.53 c #Conflicts: 1291000 | #Constraints: 46806 2746.18/2753.53 c #Conflicts: 1292000 | #Constraints: 48397 2746.18/2753.53 c #Conflicts: 1293000 | #Constraints: 50006 2746.18/2753.53 c #Conflicts: 1294000 | #Constraints: 51639 2746.18/2753.53 c #Conflicts: 1295000 | #Constraints: 53218 2746.18/2753.53 c #Conflicts: 1296000 | #Constraints: 54851 2746.18/2753.53 c #Conflicts: 1297000 | #Constraints: 56485 2746.18/2753.53 c #Conflicts: 1298000 | #Constraints: 58153 2746.18/2753.53 c #Conflicts: 1299000 | #Constraints: 59745 2746.18/2753.53 c #Conflicts: 1300000 | #Constraints: 61377 2746.18/2753.53 c #Conflicts: 1301000 | #Constraints: 63025 2746.18/2753.53 c #Conflicts: 1302000 | #Constraints: 64671 2746.18/2753.53 c INPROCESSING 2746.18/2753.53 c GARBAGE COLLECT 2746.18/2753.53 c rational objective 0 2821.80/2829.30 c #Conflicts: 1303000 | #Constraints: 33353 2821.80/2829.30 c #Conflicts: 1304000 | #Constraints: 34469 2821.80/2829.30 c #Conflicts: 1305000 | #Constraints: 35856 2821.80/2829.30 c #Conflicts: 1306000 | #Constraints: 37378 2821.80/2829.30 c #Conflicts: 1307000 | #Constraints: 38378 2821.80/2829.30 c #Conflicts: 1308000 | #Constraints: 39543 2821.80/2829.30 c #Conflicts: 1309000 | #Constraints: 40801 2821.80/2829.30 c #Conflicts: 1310000 | #Constraints: 41938 2821.80/2829.30 c #Conflicts: 1311000 | #Constraints: 42938 2821.80/2829.30 c #Conflicts: 1312000 | #Constraints: 43938 2821.80/2829.30 c #Conflicts: 1313000 | #Constraints: 44938 2821.80/2829.30 c #Conflicts: 1314000 | #Constraints: 46298 2821.80/2829.30 c #Conflicts: 1315000 | #Constraints: 47855 2821.80/2829.30 c #Conflicts: 1316000 | #Constraints: 49051 2821.80/2829.30 c #Conflicts: 1317000 | #Constraints: 50051 2821.80/2829.30 c #Conflicts: 1318000 | #Constraints: 51051 2821.80/2829.30 c #Conflicts: 1319000 | #Constraints: 52532 2821.80/2829.30 c #Conflicts: 1320000 | #Constraints: 53837 2821.80/2829.30 c #Conflicts: 1321000 | #Constraints: 55089 2821.80/2829.30 c #Conflicts: 1322000 | #Constraints: 56089 2821.80/2829.30 c #Conflicts: 1323000 | #Constraints: 57200 2821.80/2829.30 c #Conflicts: 1324000 | #Constraints: 58201 2821.80/2829.30 c #Conflicts: 1325000 | #Constraints: 59647 2821.80/2829.30 c INPROCESSING 2821.80/2829.30 c GARBAGE COLLECT 2821.80/2829.30 c rational objective 0 2899.80/2907.56 c #Conflicts: 1326000 | #Constraints: 31213 2899.80/2907.56 c #Conflicts: 1327000 | #Constraints: 32653 2899.80/2907.56 c #Conflicts: 1328000 | #Constraints: 34233 2899.80/2907.56 c #Conflicts: 1329000 | #Constraints: 35542 2899.80/2907.56 c #Conflicts: 1330000 | #Constraints: 37114 2899.80/2907.56 c #Conflicts: 1331000 | #Constraints: 38219 2899.80/2907.56 c #Conflicts: 1332000 | #Constraints: 39297 2899.80/2907.56 c #Conflicts: 1333000 | #Constraints: 40297 2899.80/2907.56 c #Conflicts: 1334000 | #Constraints: 41334 2899.80/2907.56 c #Conflicts: 1335000 | #Constraints: 42474 2899.80/2907.56 c #Conflicts: 1336000 | #Constraints: 43586 2899.80/2907.56 c #Conflicts: 1337000 | #Constraints: 44586 2899.80/2907.56 c #Conflicts: 1338000 | #Constraints: 45694 2899.80/2907.56 c #Conflicts: 1339000 | #Constraints: 46695 2899.80/2907.56 c #Conflicts: 1340000 | #Constraints: 47948 2899.80/2907.56 c #Conflicts: 1341000 | #Constraints: 49524 2899.80/2907.56 c #Conflicts: 1342000 | #Constraints: 50689 2899.80/2907.56 c #Conflicts: 1343000 | #Constraints: 51704 2899.80/2907.56 c #Conflicts: 1344000 | #Constraints: 52977 2899.80/2907.56 c #Conflicts: 1345000 | #Constraints: 54179 2899.80/2907.56 c #Conflicts: 1346000 | #Constraints: 55246 2899.80/2907.56 c #Conflicts: 1347000 | #Constraints: 56588 2899.80/2907.56 c #Conflicts: 1348000 | #Constraints: 57856 2899.80/2907.56 c INPROCESSING 2899.80/2907.56 c GARBAGE COLLECT 2899.80/2907.56 c rational objective 0 2972.52/2980.45 c #Conflicts: 1349000 | #Constraints: 30092 2972.52/2980.45 c #Conflicts: 1350000 | #Constraints: 31258 2972.52/2980.45 c #Conflicts: 1351000 | #Constraints: 32450 2972.52/2980.45 c #Conflicts: 1352000 | #Constraints: 33614 2972.52/2980.45 c #Conflicts: 1353000 | #Constraints: 34893 2972.52/2980.45 c #Conflicts: 1354000 | #Constraints: 35893 2972.52/2980.45 c #Conflicts: 1355000 | #Constraints: 36927 2972.52/2980.45 c #Conflicts: 1356000 | #Constraints: 38303 2972.52/2980.45 c #Conflicts: 1357000 | #Constraints: 39829 2972.52/2980.45 c #Conflicts: 1358000 | #Constraints: 41172 2972.52/2980.45 c #Conflicts: 1359000 | #Constraints: 42172 2972.52/2980.45 c #Conflicts: 1360000 | #Constraints: 43172 2972.52/2980.45 c #Conflicts: 1361000 | #Constraints: 44196 2972.52/2980.45 c #Conflicts: 1362000 | #Constraints: 45520 2972.52/2980.45 c #Conflicts: 1363000 | #Constraints: 46521 2972.52/2980.45 c #Conflicts: 1364000 | #Constraints: 47661 2972.52/2980.45 c #Conflicts: 1365000 | #Constraints: 48897 2972.52/2980.45 c #Conflicts: 1366000 | #Constraints: 49955 2972.52/2980.45 c #Conflicts: 1367000 | #Constraints: 51012 2972.52/2980.45 c #Conflicts: 1368000 | #Constraints: 52012 2972.52/2980.45 c #Conflicts: 1369000 | #Constraints: 53012 2972.52/2980.45 c #Conflicts: 1370000 | #Constraints: 54127 2972.52/2980.45 c #Conflicts: 1371000 | #Constraints: 55127 2972.52/2980.45 c INPROCESSING 2972.52/2980.45 c GARBAGE COLLECT 2972.52/2980.45 c rational objective 0 3064.29/3072.40 c #Conflicts: 1372000 | #Constraints: 28517 3064.29/3072.40 c #Conflicts: 1373000 | #Constraints: 30116 3064.29/3072.40 c #Conflicts: 1374000 | #Constraints: 31726 3064.29/3072.40 c #Conflicts: 1375000 | #Constraints: 33359 3064.29/3072.40 c #Conflicts: 1376000 | #Constraints: 34995 3064.29/3072.40 c #Conflicts: 1377000 | #Constraints: 36637 3064.29/3072.40 c #Conflicts: 1378000 | #Constraints: 38243 3064.29/3072.40 c #Conflicts: 1379000 | #Constraints: 39883 3064.29/3072.40 c #Conflicts: 1380000 | #Constraints: 41507 3064.29/3072.40 c #Conflicts: 1381000 | #Constraints: 43067 3064.29/3072.40 c #Conflicts: 1382000 | #Constraints: 44654 3064.29/3072.40 c #Conflicts: 1383000 | #Constraints: 46251 3064.29/3072.40 c #Conflicts: 1384000 | #Constraints: 47857 3064.29/3072.40 c #Conflicts: 1385000 | #Constraints: 49450 3064.29/3072.40 c #Conflicts: 1386000 | #Constraints: 51073 3064.29/3072.40 c #Conflicts: 1387000 | #Constraints: 52680 3064.29/3072.40 c #Conflicts: 1388000 | #Constraints: 54301 3064.29/3072.40 c #Conflicts: 1389000 | #Constraints: 55948 3064.29/3072.40 c #Conflicts: 1390000 | #Constraints: 57542 3064.29/3072.40 c #Conflicts: 1391000 | #Constraints: 59148 3064.29/3072.40 c #Conflicts: 1392000 | #Constraints: 60730 3064.29/3072.40 c #Conflicts: 1393000 | #Constraints: 62386 3064.29/3072.40 c #Conflicts: 1394000 | #Constraints: 63989 3064.29/3072.40 c #Conflicts: 1395000 | #Constraints: 65409 3064.29/3072.40 c INPROCESSING 3064.29/3072.40 c GARBAGE COLLECT 3064.29/3072.40 c rational objective 0 3172.92/3181.33 c #Conflicts: 1396000 | #Constraints: 34091 3172.92/3181.33 c #Conflicts: 1397000 | #Constraints: 35708 3172.92/3181.33 c #Conflicts: 1398000 | #Constraints: 37308 3172.92/3181.33 c #Conflicts: 1399000 | #Constraints: 38959 3172.92/3181.33 c #Conflicts: 1400000 | #Constraints: 40615 3172.92/3181.33 c #Conflicts: 1401000 | #Constraints: 42291 3172.92/3181.33 c #Conflicts: 1402000 | #Constraints: 43929 3172.92/3181.33 c #Conflicts: 1403000 | #Constraints: 45559 3172.92/3181.33 c #Conflicts: 1404000 | #Constraints: 47208 3172.92/3181.33 c #Conflicts: 1405000 | #Constraints: 48843 3172.92/3181.33 c #Conflicts: 1406000 | #Constraints: 50420 3172.92/3181.33 c #Conflicts: 1407000 | #Constraints: 52033 3172.92/3181.33 c #Conflicts: 1408000 | #Constraints: 53640 3172.92/3181.33 c #Conflicts: 1409000 | #Constraints: 55256 3172.92/3181.33 c #Conflicts: 1410000 | #Constraints: 56844 3172.92/3181.33 c #Conflicts: 1411000 | #Constraints: 58391 3172.92/3181.33 c #Conflicts: 1412000 | #Constraints: 59745 3172.92/3181.33 c #Conflicts: 1413000 | #Constraints: 61364 3172.92/3181.33 c #Conflicts: 1414000 | #Constraints: 63017 3172.92/3181.33 c #Conflicts: 1415000 | #Constraints: 64631 3172.92/3181.33 c #Conflicts: 1416000 | #Constraints: 66229 3172.92/3181.33 c #Conflicts: 1417000 | #Constraints: 67823 3172.92/3181.33 c #Conflicts: 1418000 | #Constraints: 69482 3172.92/3181.33 c #Conflicts: 1419000 | #Constraints: 71144 3172.92/3181.33 c INPROCESSING 3172.92/3181.33 c GARBAGE COLLECT 3172.92/3181.33 c rational objective 0 3275.07/3283.79 c #Conflicts: 1420000 | #Constraints: 37077 3275.07/3283.79 c #Conflicts: 1421000 | #Constraints: 38559 3275.07/3283.79 c #Conflicts: 1422000 | #Constraints: 39606 3275.07/3283.79 c #Conflicts: 1423000 | #Constraints: 41205 3275.07/3283.79 c #Conflicts: 1424000 | #Constraints: 42785 3275.07/3283.79 c #Conflicts: 1425000 | #Constraints: 44412 3275.07/3283.79 c #Conflicts: 1426000 | #Constraints: 45643 3275.07/3283.79 c #Conflicts: 1427000 | #Constraints: 47032 3275.07/3283.79 c #Conflicts: 1428000 | #Constraints: 48626 3275.07/3283.79 c #Conflicts: 1429000 | #Constraints: 50186 3275.07/3283.79 c #Conflicts: 1430000 | #Constraints: 51742 3275.07/3283.79 c #Conflicts: 1431000 | #Constraints: 52992 3275.07/3283.79 c #Conflicts: 1432000 | #Constraints: 53992 3275.07/3283.79 c #Conflicts: 1433000 | #Constraints: 55241 3275.07/3283.79 c #Conflicts: 1434000 | #Constraints: 56838 3275.07/3283.79 c #Conflicts: 1435000 | #Constraints: 57838 3275.07/3283.79 c #Conflicts: 1436000 | #Constraints: 59073 3275.07/3283.79 c #Conflicts: 1437000 | #Constraints: 60695 3275.07/3283.79 c #Conflicts: 1438000 | #Constraints: 62329 3275.07/3283.79 c #Conflicts: 1439000 | #Constraints: 63970 3275.07/3283.79 c #Conflicts: 1440000 | #Constraints: 65620 3275.07/3283.79 c #Conflicts: 1441000 | #Constraints: 67254 3275.07/3283.79 c #Conflicts: 1442000 | #Constraints: 68908 3275.07/3283.79 c #Conflicts: 1443000 | #Constraints: 70540 3275.07/3283.79 c INPROCESSING 3275.07/3283.79 c GARBAGE COLLECT 3275.07/3283.79 c rational objective 0 3353.67/3362.55 c #Conflicts: 1444000 | #Constraints: 36284 3353.67/3362.55 c #Conflicts: 1445000 | #Constraints: 37284 3353.67/3362.55 c #Conflicts: 1446000 | #Constraints: 38284 3353.67/3362.55 c #Conflicts: 1447000 | #Constraints: 39284 3353.67/3362.55 c #Conflicts: 1448000 | #Constraints: 40284 3353.67/3362.55 c #Conflicts: 1449000 | #Constraints: 41284 3353.67/3362.55 c #Conflicts: 1450000 | #Constraints: 42285 3353.67/3362.55 c #Conflicts: 1451000 | #Constraints: 43285 3353.67/3362.55 c #Conflicts: 1452000 | #Constraints: 44285 3353.67/3362.55 c #Conflicts: 1453000 | #Constraints: 45285 3353.67/3362.55 c #Conflicts: 1454000 | #Constraints: 46285 3353.67/3362.55 c #Conflicts: 1455000 | #Constraints: 47285 3353.67/3362.55 c #Conflicts: 1456000 | #Constraints: 48285 3353.67/3362.55 c #Conflicts: 1457000 | #Constraints: 49285 3353.67/3362.55 c #Conflicts: 1458000 | #Constraints: 50285 3353.67/3362.55 c #Conflicts: 1459000 | #Constraints: 51285 3353.67/3362.55 c #Conflicts: 1460000 | #Constraints: 52285 3353.67/3362.55 c #Conflicts: 1461000 | #Constraints: 53285 3353.67/3362.55 c #Conflicts: 1462000 | #Constraints: 54285 3353.67/3362.55 c #Conflicts: 1463000 | #Constraints: 55285 3353.67/3362.55 c #Conflicts: 1464000 | #Constraints: 56285 3353.67/3362.55 c #Conflicts: 1465000 | #Constraints: 57285 3353.67/3362.55 c #Conflicts: 1466000 | #Constraints: 58286 3353.67/3362.55 c #Conflicts: 1467000 | #Constraints: 59286 3353.67/3362.55 c INPROCESSING 3353.67/3362.55 c GARBAGE COLLECT 3353.67/3362.55 c rational objective 0 3455.82/3464.99 c #Conflicts: 1468000 | #Constraints: 31099 3455.82/3464.99 c #Conflicts: 1469000 | #Constraints: 32723 3455.82/3464.99 c #Conflicts: 1470000 | #Constraints: 34351 3455.82/3464.99 c #Conflicts: 1471000 | #Constraints: 35990 3455.82/3464.99 c #Conflicts: 1472000 | #Constraints: 37641 3455.82/3464.99 c #Conflicts: 1473000 | #Constraints: 39288 3455.82/3464.99 c #Conflicts: 1474000 | #Constraints: 40910 3455.82/3464.99 c #Conflicts: 1475000 | #Constraints: 42563 3455.82/3464.99 c #Conflicts: 1476000 | #Constraints: 44211 3455.82/3464.99 c #Conflicts: 1477000 | #Constraints: 45827 3455.82/3464.99 c #Conflicts: 1478000 | #Constraints: 47474 3455.82/3464.99 c #Conflicts: 1479000 | #Constraints: 49092 3455.82/3464.99 c #Conflicts: 1480000 | #Constraints: 50747 3455.82/3464.99 c #Conflicts: 1481000 | #Constraints: 52394 3455.82/3464.99 c #Conflicts: 1482000 | #Constraints: 53974 3455.82/3464.99 c #Conflicts: 1483000 | #Constraints: 55618 3455.82/3464.99 c #Conflicts: 1484000 | #Constraints: 57230 3455.82/3464.99 c #Conflicts: 1485000 | #Constraints: 58854 3455.82/3464.99 c #Conflicts: 1486000 | #Constraints: 60446 3455.82/3464.99 c #Conflicts: 1487000 | #Constraints: 62039 3455.82/3464.99 c #Conflicts: 1488000 | #Constraints: 63681 3455.82/3464.99 c #Conflicts: 1489000 | #Constraints: 65314 3455.82/3464.99 c #Conflicts: 1490000 | #Constraints: 66915 3455.82/3464.99 c #Conflicts: 1491000 | #Constraints: 68544 3455.82/3464.99 c INPROCESSING 3455.82/3464.99 c GARBAGE COLLECT 3455.82/3464.99 c rational objective 0 3545.71/3555.11 c #Conflicts: 1492000 | #Constraints: 35254 3545.71/3555.11 c #Conflicts: 1493000 | #Constraints: 36641 3545.71/3555.11 c #Conflicts: 1494000 | #Constraints: 37641 3545.71/3555.11 c #Conflicts: 1495000 | #Constraints: 38641 3545.71/3555.11 c #Conflicts: 1496000 | #Constraints: 39641 3545.71/3555.11 c #Conflicts: 1497000 | #Constraints: 40934 3545.71/3555.11 c #Conflicts: 1498000 | #Constraints: 42152 3545.71/3555.11 c #Conflicts: 1499000 | #Constraints: 43353 3545.71/3555.11 c #Conflicts: 1500000 | #Constraints: 44617 3545.71/3555.11 c #Conflicts: 1501000 | #Constraints: 45617 3545.71/3555.11 c #Conflicts: 1502000 | #Constraints: 46677 3545.71/3555.11 c #Conflicts: 1503000 | #Constraints: 47792 3545.71/3555.11 c #Conflicts: 1504000 | #Constraints: 49269 3545.71/3555.11 c #Conflicts: 1505000 | #Constraints: 50540 3545.71/3555.11 c #Conflicts: 1506000 | #Constraints: 51580 3545.71/3555.11 c #Conflicts: 1507000 | #Constraints: 52742 3545.71/3555.11 c #Conflicts: 1508000 | #Constraints: 53789 3545.71/3555.11 c #Conflicts: 1509000 | #Constraints: 54789 3545.71/3555.11 c #Conflicts: 1510000 | #Constraints: 55789 3545.71/3555.11 c #Conflicts: 1511000 | #Constraints: 56789 3545.71/3555.11 c #Conflicts: 1512000 | #Constraints: 57825 3545.71/3555.11 c #Conflicts: 1513000 | #Constraints: 58825 3545.71/3555.11 c #Conflicts: 1514000 | #Constraints: 59829 3545.71/3555.11 c #Conflicts: 1515000 | #Constraints: 60829 3545.71/3555.11 c #Conflicts: 1516000 | #Constraints: 61829 3545.71/3555.11 c INPROCESSING 3545.71/3555.11 c GARBAGE COLLECT 3545.71/3555.11 c rational objective 0 3600.07/3609.50 c #Conflicts: 1517000 | #Constraints: 31905 3600.07/3609.50 c #Conflicts: 1518000 | #Constraints: 32905 3600.07/3609.50 c #Conflicts: 1519000 | #Constraints: 33905 3600.07/3609.50 c #Conflicts: 1520000 | #Constraints: 35110 3600.07/3609.50 c #Conflicts: 1521000 | #Constraints: 36125 3600.07/3609.50 c #Conflicts: 1522000 | #Constraints: 37219 3600.07/3609.50 c #Conflicts: 1523000 | #Constraints: 38224 3600.07/3609.50 c #Conflicts: 1524000 | #Constraints: 39369 3600.07/3609.50 c #Conflicts: 1525000 | #Constraints: 40408 3600.07/3609.50 c #Conflicts: 1526000 | #Constraints: 41452 3600.07/3609.50 c #Conflicts: 1527000 | #Constraints: 42452 3600.07/3609.50 c #Conflicts: 1528000 | #Constraints: 43452 3600.07/3609.50 c #Conflicts: 1529000 | #Constraints: 44452 3600.07/3609.50 c #Conflicts: 1530000 | #Constraints: 45452 3600.07/3609.50 c #Conflicts: 1531000 | #Constraints: 46452 3600.07/3609.50 c #Conflicts: 1532000 | #Constraints: 47455 3600.07/3609.50 c #Conflicts: 1533000 | #Constraints: 48470 3600.07/3609.50 c #Conflicts: 1534000 | #Constraints: 49470 3600.07/3609.50 c Program interrupted by user. 3600.07/3609.50 c cpu time 3582.78 s 3600.07/3609.50 c deterministic time 492060133587 4.92e+11 3600.07/3609.50 c optimization time 53.9976 s 3600.07/3609.50 c total solve time 3528.78 s 3600.07/3609.50 c core-guided solve time 0 s 3600.07/3609.50 c propagation time 3306.57 s 3600.07/3609.50 c conflict analysis time 257.656 s 3600.07/3609.50 c propagations 20886645 3600.07/3609.50 c resolve steps 8973567 3600.07/3609.50 c decisions 2353590 3600.07/3609.50 c conflicts 1534895 3600.07/3609.50 c restarts 3047 3600.07/3609.50 c inprocessing phases 114 3600.07/3609.50 c input clauses 1 3600.07/3609.50 c input cardinalities 0 3600.07/3609.50 c input general constraints 10 3600.07/3609.50 c input average constraint length 35.91 3600.07/3609.50 c input average constraint degree 915.45 3600.07/3609.50 c learned clauses 888209 3600.07/3609.50 c learned cardinalities 0 3600.07/3609.50 c learned general constraints 1150762 3600.07/3609.50 c learned average constraint length 27.47 3600.07/3609.50 c learned average constraint degree 1510285663.37 3600.07/3609.50 c watched constraints 796372 3600.07/3609.50 c counting constraints 354400 3600.07/3609.50 c gcd simplifications 837271 3600.07/3609.50 c detected cardinalities 0 3600.07/3609.50 c weakened non-implied lits 11836528 3600.07/3609.50 c weakened non-implying lits 274415 3600.07/3609.50 c original variables 41 3600.07/3609.50 c clausal propagations 255997 3600.07/3609.50 c cardinality propagations 0 3600.07/3609.50 c watched propagations 3277941 3600.07/3609.50 c counting propagations 16169377 3600.07/3609.50 c watch lookups 56677758126 3600.07/3609.50 c watch backjump lookups 38146867889 3600.07/3609.50 c watch checks 307286054393 3600.07/3609.50 c propagation checks 89542503617 3600.07/3609.50 c constraint additions 357667682 3600.07/3609.50 c trail pops 24774960 3600.07/3609.50 c formula constraints 11 3600.07/3609.50 c learned constraints 1534755 3600.07/3609.50 c bound constraints 0 3600.07/3609.50 c core-guided constraints 0 3600.07/3609.50 c encountered formula constraints 36495 3600.07/3609.50 c encountered learned constraints 3343597 3600.07/3609.50 c encountered bound constraints 0 3600.07/3609.50 c encountered core-guided constraints 0 3600.07/3609.50 c LP total time 56.1368 s 3600.07/3609.50 c LP solve time 38.77 s 3600.07/3609.50 c LP constraints added 198 3600.07/3609.50 c LP constraints removed 185 3600.07/3609.50 c LP pivots internal 1265975 3600.07/3609.50 c LP pivots root 709 3600.07/3609.50 c LP calls 945686 3600.07/3609.50 c LP optimalities 441751 3600.07/3609.50 c LP no pivot count 157684 3600.07/3609.50 c LP infeasibilities 503933 3600.07/3609.50 c LP valid Farkas constraints 503915 3600.07/3609.50 c LP learned Farkas constraints 139 3600.07/3609.50 c LP basis resets 2 3600.07/3609.50 c LP cycling count 0 3600.07/3609.50 c LP singular count 2 3600.07/3609.50 c LP no primal count 0 3600.07/3609.50 c LP no farkas count 0 3600.07/3609.50 c LP other issue count 0 3600.07/3609.50 c LP Gomory cuts 162 3600.07/3609.50 c LP learned cuts 25 3600.07/3609.50 c LP deleted cuts 185 3600.07/3609.50 c LP encountered Gomory constraints 20873 3600.07/3609.50 c LP encountered Farkas constraints 6859264 3600.07/3609.50 c LP encountered learned Farkas constraints 248094 3600.07/3609.50 c CG auxiliary variables introduced 0 3600.07/3609.50 c CG solutions found 0 3600.07/3609.50 c CG cores constructed 0 3600.07/3609.50 c CG core cardinality constraints returned 0 3600.07/3609.50 c CG unit cores 0 3600.07/3609.50 c CG single cores 0 3600.07/3609.50 c CG blocks removed during cardinality reduction 0 3600.07/3609.50 c CG first core best 0 3600.07/3609.50 c CG decision core best 0 3600.07/3609.50 c CG core reduction tie 0 3600.07/3609.50 c CG core degree average 0.00 3600.07/3609.50 c CG core slack average 0.00 3600.07/3609.50 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: 64059 MiB (62021 MiB free)
memory of node 1: 64510 MiB (58329 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455168-1721459477/watcher-4455168-1721459477 -o /tmp/evaluation-result-4455168-1721459477/solver-4455168-1721459477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721455877-1056971 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455168-1721459477.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1059139, runsolver pid=1059136
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 4.11 4.10 4.09 5/246 1059140
/proc/meminfo: memFree=123235296/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=37520 memory=10340 CPUtime=0.1 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 430 0 0 0 9 1 0 0 20 0 1 0 198104359 38420480 2585 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 9380 2585 1829 922 0 1332 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37520 KiB
Current children cumulated memory: 10340 KiB
[startup+0.213308 s]*
/proc/loadavg: 4.11 4.10 4.09 5/246 1059140
/proc/meminfo: memFree=123230988/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=37640 memory=10420 CPUtime=0.22 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 450 0 0 0 20 2 0 0 20 0 1 0 198104359 38543360 2605 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 9410 2605 1829 922 0 1362 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 37640 KiB
Current children cumulated memory: 10420 KiB
[startup+0.313154 s]*
/proc/loadavg: 4.11 4.10 4.09 5/246 1059140
/proc/meminfo: memFree=123230876/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=37772 memory=10420 CPUtime=0.31 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 488 0 0 0 29 2 0 0 20 0 1 0 198104359 38678528 2605 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 9443 2605 1829 922 0 1395 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37772 KiB
Current children cumulated memory: 10420 KiB
[startup+0.700334 s]
/proc/loadavg: 4.11 4.10 4.09 5/246 1059140
/proc/meminfo: memFree=123230736/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=37900 memory=10764 CPUtime=0.69 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 519 0 0 0 65 4 0 0 20 0 1 0 198104359 38809600 2691 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 9475 2691 1845 922 0 1427 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37900 KiB
Current children cumulated memory: 10764 KiB
[startup+1.50032 s]
/proc/loadavg: 4.11 4.10 4.09 6/246 1059140
/proc/meminfo: memFree=123230372/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=38284 memory=11072 CPUtime=1.49 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 596 0 0 0 140 9 0 0 20 0 1 0 198104359 39202816 2768 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 9571 2768 1845 922 0 1523 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 11072 KiB
[startup+3.11317 s]
/proc/loadavg: 4.10 4.10 4.09 6/246 1059140
/proc/meminfo: memFree=123229068/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=38508 memory=11352 CPUtime=3.09 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 672 0 0 0 294 15 0 0 20 0 1 0 198104359 39432192 2838 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 9627 2838 1845 922 0 1579 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 38508 KiB
Current children cumulated memory: 11352 KiB
[startup+6.3003 s]
/proc/loadavg: 4.10 4.10 4.09 5/246 1059187
/proc/meminfo: memFree=126269104/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=39052 memory=11616 CPUtime=6.27 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 795 0 0 0 604 23 0 0 20 0 1 0 198104359 39989248 2904 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 9763 2904 1845 922 0 1715 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39052 KiB
Current children cumulated memory: 11616 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.10 4.09 5/246 1059187
/proc/meminfo: memFree=126253040/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=40876 memory=15468 CPUtime=12.65 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 1191 0 0 0 1228 37 0 0 20 0 1 0 198104359 41857024 3867 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 10219 3867 1845 922 0 2171 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40876 KiB
Current children cumulated memory: 15468 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.09 5/246 1059235
/proc/meminfo: memFree=126292152/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=41260 memory=15880 CPUtime=25.43 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 1296 0 0 0 2478 65 0 0 20 0 1 0 198104359 42250240 3970 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 10315 3970 1845 922 0 2267 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 41260 KiB
Current children cumulated memory: 15880 KiB
[startup+51.1125 s]
/proc/loadavg: 4.05 4.08 4.09 5/245 1059285
/proc/meminfo: memFree=126903788/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=47108 memory=18976 CPUtime=50.97 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 2142 0 0 0 4993 104 0 0 20 0 1 0 198104359 48238592 4744 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 11777 4744 1845 922 0 3729 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 47108 KiB
Current children cumulated memory: 18976 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/245 1059294
/proc/meminfo: memFree=126858036/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=48752 memory=21836 CPUtime=102 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 2900 0 0 0 10045 155 0 0 20 0 1 0 198104359 49922048 5459 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 12188 5459 1845 922 0 4140 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 48752 KiB
Current children cumulated memory: 21836 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/245 1059304
/proc/meminfo: memFree=126837992/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=54288 memory=24124 CPUtime=161.82 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 3522 0 0 0 15976 206 0 0 20 0 1 0 198104359 55590912 6031 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 13572 6031 1845 922 0 5524 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 54288 KiB
Current children cumulated memory: 24124 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/245 1059315
/proc/meminfo: memFree=126822440/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=55440 memory=25840 CPUtime=221.63 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 4032 0 0 0 21912 251 0 0 20 0 1 0 198104359 56770560 6460 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 13860 6460 1845 922 0 5812 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 55440 KiB
Current children cumulated memory: 25840 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/242 1059326
/proc/meminfo: memFree=126800484/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=55604 memory=25840 CPUtime=281.43 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 4068 0 0 0 27834 309 0 0 20 0 1 0 198104359 56938496 6460 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 13901 6460 1845 922 0 5853 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 55604 KiB
Current children cumulated memory: 25840 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/242 1059336
/proc/meminfo: memFree=126794656/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=55860 memory=26356 CPUtime=341.24 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 4208 0 0 0 33765 359 0 0 20 0 1 0 198104359 57200640 6589 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 13965 6589 1845 922 0 5917 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 55860 KiB
Current children cumulated memory: 26356 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 4.13 4.10 5/242 1059346
/proc/meminfo: memFree=126773296/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=55820 memory=29408 CPUtime=401.08 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 4320 0 0 0 39701 407 0 0 20 0 1 0 198104359 57159680 7352 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 13955 7352 1845 922 0 5907 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 55820 KiB
Current children cumulated memory: 29408 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/242 1059357
/proc/meminfo: memFree=126769052/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=57532 memory=30008 CPUtime=460.93 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 4730 0 0 0 45646 447 0 0 20 0 1 0 198104359 58912768 7502 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 14383 7502 1845 922 0 6335 0
################
# More data... #
################
Current children cumulated memory: 46288 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.19 4.17 5/244 1060961
/proc/meminfo: memFree=126512028/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=74232 memory=46288 CPUtime=2914.56 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 8364 0 0 0 289939 1517 0 0 20 0 1 0 198104359 76013568 11572 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18558 11572 1949 922 0 10510 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 74232 KiB
Current children cumulated memory: 46288 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.16 4.17 5/243 1060984
/proc/meminfo: memFree=126511528/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=74232 memory=46328 CPUtime=2974.41 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 8381 0 0 0 295901 1540 0 0 20 0 1 0 198104359 76013568 11582 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18558 11582 1949 922 0 10510 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 74232 KiB
Current children cumulated memory: 46328 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/243 1060994
/proc/meminfo: memFree=126511388/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=74232 memory=46328 CPUtime=3034.26 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 8396 0 0 0 301866 1560 0 0 20 0 1 0 198104359 76013568 11582 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18558 11582 1949 922 0 10510 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 74232 KiB
Current children cumulated memory: 46328 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.13 4.16 5/243 1061005
/proc/meminfo: memFree=126511380/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=74748 memory=46512 CPUtime=3094.11 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 8482 0 0 0 307837 1574 0 0 20 0 1 0 198104359 76541952 11628 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18687 11628 1949 922 0 10639 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 74748 KiB
Current children cumulated memory: 46512 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.15 4.16 5/242 1061015
/proc/meminfo: memFree=126511208/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=74748 memory=46656 CPUtime=3153.96 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 8513 0 0 0 313808 1588 0 0 20 0 1 0 198104359 76541952 11664 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18687 11664 1949 922 0 10639 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 74748 KiB
Current children cumulated memory: 46656 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/242 1061026
/proc/meminfo: memFree=126506768/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=75260 memory=47876 CPUtime=3213.81 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 8976 0 0 0 319777 1604 0 0 20 0 1 0 198104359 77066240 11969 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18815 11969 1949 922 0 10767 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 47876 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 1061038
/proc/meminfo: memFree=126506256/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=75260 memory=47876 CPUtime=3273.67 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 8993 0 0 0 325749 1618 0 0 20 0 1 0 198104359 77066240 11969 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18815 11969 1949 922 0 10767 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 47876 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/243 1061048
/proc/meminfo: memFree=126505840/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=75260 memory=47876 CPUtime=3333.53 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 9007 0 0 0 331710 1643 0 0 20 0 1 0 198104359 77066240 11969 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18815 11969 1949 922 0 10767 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 47876 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/243 1061058
/proc/meminfo: memFree=126505392/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=75260 memory=47936 CPUtime=3393.38 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 9023 0 0 0 337675 1663 0 0 20 0 1 0 198104359 77066240 11984 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18815 11984 1949 922 0 10767 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 47936 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/243 1061069
/proc/meminfo: memFree=126502140/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=75260 memory=47936 CPUtime=3453.23 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 9048 0 0 0 343646 1677 0 0 20 0 1 0 198104359 77066240 11984 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18815 11984 1949 922 0 10767 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 47936 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/243 1061079
/proc/meminfo: memFree=126501752/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=75260 memory=47936 CPUtime=3513.08 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 9069 0 0 0 349609 1699 0 0 20 0 1 0 198104359 77066240 11984 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18815 11984 1949 922 0 10767 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 47936 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/244 1061093
/proc/meminfo: memFree=126548200/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=75260 memory=47992 CPUtime=3572.93 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 9082 0 0 0 355574 1719 0 0 20 0 1 0 198104359 77066240 11998 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18815 11998 1949 922 0 10767 0
Current children cumulated CPU time: 3572.93 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 47992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.11 4.12 4.13 5/244 1061098
/proc/meminfo: memFree=126547724/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=75260 memory=47992 CPUtime=3600.07 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 9083 0 0 0 358277 1730 0 0 20 0 1 0 198104359 77066240 11998 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18815 11998 1949 922 0 10767 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 47992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 1059139 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.78 s, system=17.3011 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.11 4.12 4.13 5/244 1061098
/proc/meminfo: memFree=126547724/131655788 swapFree=131071996/131071996
[pid=1059139] ppid=1059136 vsize=75260 memory=47992 CPUtime=3600.07 cores=4,6
/proc/1059139/stat : 1059139 (roundingsat) R 1059136 1059139 1056960 0 -1 4194304 9083 0 0 0 358277 1730 0 0 20 0 1 0 198104359 77066240 11998 134679101440 4194304 7968373 140724444161424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29048832 140724444169148 140724444169312 140724444169312 140724444176329 0
/proc/1059139/statm: 18815 11998 1949 922 0 10767 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 47992 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.08
CPU user time (s): 3582.78
CPU system time (s): 17.3011
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 75260
Max. memory (cumulated for all children) (KiB): 47992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.78
system time used= 17.3011
maximum resident set size= 48128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9093
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= 19
involuntary context switches= 1867
# summary of solver processes directly reported to runsolver:
# pid: 1059139
# total CPU time (s): 3600.08
# total CPU user time (s): 3582.78
# total CPU system time (s): 17.3011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6818 second user time and 35.3505 second system time
The end
Begin job on nodeC007 at 2024-07-20 09:11:30 IDJOB=4455168 IDBENCH=147576 IDSOLVER=3084 FILE ID=nodeC007/4455168-1721459477 RUNJOBID= nodeC007-1721455877-1056971 SLURM_JOB_ID= 7545690 Free space on /tmp= 723752 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.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-4455168-1721459477/watcher-4455168-1721459477 -o /tmp/evaluation-result-4455168-1721459477/solver-4455168-1721459477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721455877-1056971 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455168-1721459477.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 52024caa2fcec9d840e113a681eace59 RANDOM SEED=1556665696 nodeC007.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 : 0xb00001f cpu MHz : 3645.497 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25 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 : 0xb00001f cpu MHz : 3491.628 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30 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 : 0xb00001f cpu MHz : 1197.307 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25 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 : 0xb00001f cpu MHz : 1197.309 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30 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 : 0xb00001f cpu MHz : 3491.650 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25 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 : 0xb00001f cpu MHz : 3530.237 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30 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 : 0xb00001f cpu MHz : 1197.135 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25 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 : 0xb00001f cpu MHz : 1197.244 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123239052 kB MemAvailable: 126134884 kB Buffers: 549380 kB Cached: 3182176 kB SwapCached: 0 kB Active: 1133828 kB Inactive: 6700808 kB Active(anon): 1484 kB Inactive(anon): 4147164 kB Active(file): 1132344 kB Inactive(file): 2553644 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 23240 kB Writeback: 16 kB AnonPages: 4101676 kB Mapped: 117780 kB Shmem: 45896 kB KReclaimable: 99752 kB Slab: 203276 kB SReclaimable: 99752 kB SUnreclaim: 103524 kB KernelStack: 3984 kB PageTables: 17480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 5264852 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61792 kB HardwareCorrupted: 0 kB AnonHugePages: 3305472 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: 279368 kB DirectMap2M: 27936768 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723756 MiB End job on nodeC007 at 2024-07-20 10:11:39