| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | Wrong Cert. | 3600.04 | 3608.6 |
| 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 1 >= 0 @ 0.000375 0.00/0.00 c rational objective 0 0.09/0.15 c #Conflicts: 1000 | #Constraints: 1023 0.09/0.15 c #Conflicts: 2000 | #Constraints: 2028 0.09/0.15 c INPROCESSING 0.09/0.15 c GARBAGE COLLECT 0.09/0.15 c rational objective 0 0.29/0.40 c #Conflicts: 3000 | #Constraints: 2029 0.29/0.40 c #Conflicts: 4000 | #Constraints: 3031 0.29/0.40 c INPROCESSING 0.29/0.40 c GARBAGE COLLECT 0.29/0.40 c rational objective 0 0.68/0.76 c #Conflicts: 5000 | #Constraints: 2430 0.68/0.76 c #Conflicts: 6000 | #Constraints: 3431 0.68/0.76 c INPROCESSING 0.68/0.76 c GARBAGE COLLECT 0.68/0.76 c rational objective 0 1.18/1.20 c #Conflicts: 7000 | #Constraints: 2428 1.18/1.20 c #Conflicts: 8000 | #Constraints: 3428 1.18/1.20 c #Conflicts: 9000 | #Constraints: 4428 1.18/1.20 c INPROCESSING 1.18/1.20 c GARBAGE COLLECT 1.18/1.20 c rational objective 0 1.68/1.70 c #Conflicts: 10000 | #Constraints: 3127 1.68/1.70 c #Conflicts: 11000 | #Constraints: 4129 1.68/1.70 c #Conflicts: 12000 | #Constraints: 5129 1.68/1.70 c INPROCESSING 1.68/1.70 c GARBAGE COLLECT 1.68/1.70 c rational objective 0 2.28/2.32 c #Conflicts: 13000 | #Constraints: 3579 2.28/2.32 c #Conflicts: 14000 | #Constraints: 4579 2.28/2.32 c #Conflicts: 15000 | #Constraints: 5580 2.28/2.32 c INPROCESSING 2.28/2.32 c GARBAGE COLLECT 2.28/2.32 c rational objective 0 2.98/3.05 c #Conflicts: 16000 | #Constraints: 3805 2.98/3.05 c #Conflicts: 17000 | #Constraints: 4805 2.98/3.05 c #Conflicts: 18000 | #Constraints: 5806 2.98/3.05 c INPROCESSING 2.98/3.05 c GARBAGE COLLECT 2.98/3.05 c rational objective 0 3.77/3.88 c #Conflicts: 19000 | #Constraints: 3816 3.77/3.88 c #Conflicts: 20000 | #Constraints: 4817 3.77/3.88 c #Conflicts: 21000 | #Constraints: 5817 3.77/3.88 c INPROCESSING 3.77/3.88 c GARBAGE COLLECT 3.77/3.88 c rational objective 0 4.77/4.86 c #Conflicts: 22000 | #Constraints: 3622 4.77/4.86 c #Conflicts: 23000 | #Constraints: 4623 4.77/4.86 c #Conflicts: 24000 | #Constraints: 5624 4.77/4.86 c #Conflicts: 25000 | #Constraints: 6624 4.77/4.86 c INPROCESSING 4.77/4.86 c GARBAGE COLLECT 4.77/4.86 c rational objective 0 5.97/6.04 c #Conflicts: 26000 | #Constraints: 4226 5.97/6.04 c #Conflicts: 27000 | #Constraints: 5226 5.97/6.04 c #Conflicts: 28000 | #Constraints: 6227 5.97/6.04 c #Conflicts: 29000 | #Constraints: 7227 5.97/6.04 c INPROCESSING 5.97/6.04 c GARBAGE COLLECT 5.97/6.04 c rational objective 0 7.36/7.42 c #Conflicts: 30000 | #Constraints: 4786 7.36/7.42 c #Conflicts: 31000 | #Constraints: 5786 7.36/7.42 c #Conflicts: 32000 | #Constraints: 6878 7.36/7.42 c #Conflicts: 33000 | #Constraints: 8241 7.36/7.42 c INPROCESSING 7.36/7.42 c GARBAGE COLLECT 7.36/7.42 c rational objective 0 9.07/9.13 c #Conflicts: 34000 | #Constraints: 5633 9.07/9.13 c #Conflicts: 35000 | #Constraints: 6633 9.07/9.13 c #Conflicts: 36000 | #Constraints: 7972 9.07/9.13 c #Conflicts: 37000 | #Constraints: 9295 9.07/9.13 c INPROCESSING 9.07/9.13 c GARBAGE COLLECT 9.07/9.13 c rational objective 0 11.55/11.63 c #Conflicts: 38000 | #Constraints: 6070 11.55/11.63 c #Conflicts: 39000 | #Constraints: 7457 11.55/11.63 c #Conflicts: 40000 | #Constraints: 9130 11.55/11.63 c #Conflicts: 41000 | #Constraints: 10800 11.55/11.63 c INPROCESSING 11.55/11.63 c GARBAGE COLLECT 11.55/11.63 c rational objective 0 14.06/14.12 c #Conflicts: 42000 | #Constraints: 6524 14.06/14.12 c #Conflicts: 43000 | #Constraints: 7653 14.06/14.12 c #Conflicts: 44000 | #Constraints: 9021 14.06/14.12 c #Conflicts: 45000 | #Constraints: 10048 14.06/14.12 c #Conflicts: 46000 | #Constraints: 11348 14.06/14.12 c INPROCESSING 14.06/14.12 c GARBAGE COLLECT 14.06/14.12 c rational objective 0 16.45/16.57 c #Conflicts: 47000 | #Constraints: 6861 16.45/16.57 c #Conflicts: 48000 | #Constraints: 7871 16.45/16.57 c #Conflicts: 49000 | #Constraints: 9249 16.45/16.57 c #Conflicts: 50000 | #Constraints: 10249 16.45/16.57 c #Conflicts: 51000 | #Constraints: 11365 16.45/16.57 c INPROCESSING 16.45/16.57 c GARBAGE COLLECT 16.45/16.57 c rational objective 0 19.24/19.30 c #Conflicts: 52000 | #Constraints: 7148 19.24/19.30 c #Conflicts: 53000 | #Constraints: 8161 19.24/19.30 c #Conflicts: 54000 | #Constraints: 9373 19.24/19.30 c #Conflicts: 55000 | #Constraints: 10575 19.24/19.30 c #Conflicts: 56000 | #Constraints: 11944 19.24/19.30 c INPROCESSING 19.24/19.30 c GARBAGE COLLECT 19.24/19.30 c rational objective 0 21.93/22.08 c #Conflicts: 57000 | #Constraints: 7087 21.93/22.08 c #Conflicts: 58000 | #Constraints: 8089 21.93/22.08 c #Conflicts: 59000 | #Constraints: 9089 21.93/22.08 c #Conflicts: 60000 | #Constraints: 10542 21.93/22.08 c #Conflicts: 61000 | #Constraints: 11660 21.93/22.08 c INPROCESSING 21.93/22.08 c GARBAGE COLLECT 21.93/22.08 c rational objective 0 24.72/24.89 c #Conflicts: 62000 | #Constraints: 6802 24.72/24.89 c #Conflicts: 63000 | #Constraints: 7803 24.72/24.89 c #Conflicts: 64000 | #Constraints: 8803 24.72/24.89 c #Conflicts: 65000 | #Constraints: 9803 24.72/24.89 c #Conflicts: 66000 | #Constraints: 10803 24.72/24.89 c INPROCESSING 24.72/24.89 c GARBAGE COLLECT 24.72/24.89 c rational objective 0 27.52/27.62 c #Conflicts: 67000 | #Constraints: 6318 27.52/27.62 c #Conflicts: 68000 | #Constraints: 7522 27.52/27.62 c #Conflicts: 69000 | #Constraints: 8523 27.52/27.62 c #Conflicts: 70000 | #Constraints: 9523 27.52/27.62 c #Conflicts: 71000 | #Constraints: 10523 27.52/27.62 c #Conflicts: 72000 | #Constraints: 11523 27.52/27.62 c INPROCESSING 27.52/27.62 c GARBAGE COLLECT 27.52/27.62 c rational objective 0 31.51/31.61 c #Conflicts: 73000 | #Constraints: 7199 31.51/31.61 c #Conflicts: 74000 | #Constraints: 8814 31.51/31.61 c #Conflicts: 75000 | #Constraints: 10495 31.51/31.61 c #Conflicts: 76000 | #Constraints: 12164 31.51/31.61 c #Conflicts: 77000 | #Constraints: 13800 31.51/31.61 c #Conflicts: 78000 | #Constraints: 15442 31.51/31.61 c INPROCESSING 31.51/31.61 c GARBAGE COLLECT 31.51/31.61 c rational objective 0 35.70/35.82 c #Conflicts: 79000 | #Constraints: 8988 35.70/35.82 c #Conflicts: 80000 | #Constraints: 10142 35.70/35.82 c #Conflicts: 81000 | #Constraints: 11657 35.70/35.82 c #Conflicts: 82000 | #Constraints: 12912 35.70/35.82 c #Conflicts: 83000 | #Constraints: 14276 35.70/35.82 c #Conflicts: 84000 | #Constraints: 15764 35.70/35.82 c INPROCESSING 35.70/35.82 c GARBAGE COLLECT 35.70/35.82 c rational objective 0 40.58/40.74 c #Conflicts: 85000 | #Constraints: 9283 40.58/40.74 c #Conflicts: 86000 | #Constraints: 10874 40.58/40.74 c #Conflicts: 87000 | #Constraints: 12564 40.58/40.74 c #Conflicts: 88000 | #Constraints: 14242 40.58/40.74 c #Conflicts: 89000 | #Constraints: 15667 40.58/40.74 c #Conflicts: 90000 | #Constraints: 17317 40.58/40.74 c INPROCESSING 40.58/40.74 c GARBAGE COLLECT 40.58/40.74 c rational objective 0 46.27/46.41 c #Conflicts: 91000 | #Constraints: 10116 46.27/46.41 c #Conflicts: 92000 | #Constraints: 11821 46.27/46.41 c #Conflicts: 93000 | #Constraints: 13530 46.27/46.41 c #Conflicts: 94000 | #Constraints: 15228 46.27/46.41 c #Conflicts: 95000 | #Constraints: 16890 46.27/46.41 c #Conflicts: 96000 | #Constraints: 18539 46.27/46.41 c INPROCESSING 46.27/46.41 c GARBAGE COLLECT 46.27/46.41 c rational objective 0 51.65/51.87 c #Conflicts: 97000 | #Constraints: 10423 51.65/51.87 c #Conflicts: 98000 | #Constraints: 11543 51.65/51.87 c #Conflicts: 99000 | #Constraints: 12858 51.65/51.87 c #Conflicts: 100000 | #Constraints: 13997 51.65/51.87 c #Conflicts: 101000 | #Constraints: 15357 51.65/51.87 c #Conflicts: 102000 | #Constraints: 16776 51.65/51.87 c #Conflicts: 103000 | #Constraints: 17776 51.65/51.87 c INPROCESSING 51.65/51.87 c GARBAGE COLLECT 51.65/51.87 c rational objective 0 58.13/58.30 c #Conflicts: 104000 | #Constraints: 10357 58.13/58.30 c #Conflicts: 105000 | #Constraints: 12054 58.13/58.30 c #Conflicts: 106000 | #Constraints: 13730 58.13/58.30 c #Conflicts: 107000 | #Constraints: 15431 58.13/58.30 c #Conflicts: 108000 | #Constraints: 17106 58.13/58.30 c #Conflicts: 109000 | #Constraints: 18741 58.13/58.30 c #Conflicts: 110000 | #Constraints: 20386 58.13/58.30 c INPROCESSING 58.13/58.30 c GARBAGE COLLECT 58.13/58.30 c rational objective 0 65.81/66.03 c #Conflicts: 111000 | #Constraints: 11804 65.81/66.03 c #Conflicts: 112000 | #Constraints: 13478 65.81/66.03 c #Conflicts: 113000 | #Constraints: 15134 65.81/66.03 c #Conflicts: 114000 | #Constraints: 16793 65.81/66.03 c #Conflicts: 115000 | #Constraints: 18452 65.81/66.03 c #Conflicts: 116000 | #Constraints: 20099 65.81/66.03 c #Conflicts: 117000 | #Constraints: 21774 65.81/66.03 c INPROCESSING 65.81/66.03 c GARBAGE COLLECT 65.81/66.03 c rational objective 0 73.40/73.64 c #Conflicts: 118000 | #Constraints: 12501 73.40/73.64 c #Conflicts: 119000 | #Constraints: 14156 73.40/73.64 c #Conflicts: 120000 | #Constraints: 15388 73.40/73.64 c #Conflicts: 121000 | #Constraints: 16770 73.40/73.64 c #Conflicts: 122000 | #Constraints: 18463 73.40/73.64 c #Conflicts: 123000 | #Constraints: 20135 73.40/73.64 c #Conflicts: 124000 | #Constraints: 21324 73.40/73.64 c INPROCESSING 73.40/73.64 c GARBAGE COLLECT 73.40/73.64 c rational objective 0 80.97/81.26 c #Conflicts: 125000 | #Constraints: 12044 80.97/81.26 c #Conflicts: 126000 | #Constraints: 13670 80.97/81.26 c #Conflicts: 127000 | #Constraints: 14902 80.97/81.26 c #Conflicts: 128000 | #Constraints: 16407 80.97/81.26 c #Conflicts: 129000 | #Constraints: 18079 80.97/81.26 c #Conflicts: 130000 | #Constraints: 19741 80.97/81.26 c #Conflicts: 131000 | #Constraints: 21410 80.97/81.26 c INPROCESSING 80.97/81.26 c GARBAGE COLLECT 80.97/81.26 c rational objective 0 89.05/89.34 c #Conflicts: 132000 | #Constraints: 11853 89.05/89.34 c #Conflicts: 133000 | #Constraints: 13480 89.05/89.34 c #Conflicts: 134000 | #Constraints: 15167 89.05/89.34 c #Conflicts: 135000 | #Constraints: 16825 89.05/89.34 c #Conflicts: 136000 | #Constraints: 18504 89.05/89.34 c #Conflicts: 137000 | #Constraints: 20153 89.05/89.34 c #Conflicts: 138000 | #Constraints: 21821 89.05/89.34 c #Conflicts: 139000 | #Constraints: 23514 89.05/89.34 c INPROCESSING 89.05/89.34 c GARBAGE COLLECT 89.05/89.34 c rational objective 0 97.64/97.97 c #Conflicts: 140000 | #Constraints: 13236 97.64/97.97 c #Conflicts: 141000 | #Constraints: 14889 97.64/97.97 c #Conflicts: 142000 | #Constraints: 16508 97.64/97.97 c #Conflicts: 143000 | #Constraints: 18175 97.64/97.97 c #Conflicts: 144000 | #Constraints: 19838 97.64/97.97 c #Conflicts: 145000 | #Constraints: 21052 97.64/97.97 c #Conflicts: 146000 | #Constraints: 22052 97.64/97.97 c #Conflicts: 147000 | #Constraints: 23312 97.64/97.97 c INPROCESSING 97.64/97.97 c GARBAGE COLLECT 97.64/97.97 c rational objective 0 105.72/106.06 c #Conflicts: 148000 | #Constraints: 13317 105.72/106.06 c #Conflicts: 149000 | #Constraints: 14529 105.72/106.06 c #Conflicts: 150000 | #Constraints: 15696 105.72/106.06 c #Conflicts: 151000 | #Constraints: 17304 105.72/106.06 c #Conflicts: 152000 | #Constraints: 18877 105.72/106.06 c #Conflicts: 153000 | #Constraints: 19912 105.72/106.06 c #Conflicts: 154000 | #Constraints: 21378 105.72/106.06 c #Conflicts: 155000 | #Constraints: 23015 105.72/106.06 c INPROCESSING 105.72/106.06 c GARBAGE COLLECT 105.72/106.06 c rational objective 0 114.00/114.34 c #Conflicts: 156000 | #Constraints: 12788 114.00/114.34 c #Conflicts: 157000 | #Constraints: 14468 114.00/114.34 c #Conflicts: 158000 | #Constraints: 15687 114.00/114.34 c #Conflicts: 159000 | #Constraints: 17139 114.00/114.34 c #Conflicts: 160000 | #Constraints: 18648 114.00/114.34 c #Conflicts: 161000 | #Constraints: 19871 114.00/114.34 c #Conflicts: 162000 | #Constraints: 21399 114.00/114.34 c #Conflicts: 163000 | #Constraints: 23060 114.00/114.34 c INPROCESSING 114.00/114.34 c GARBAGE COLLECT 114.00/114.34 c rational objective 0 122.87/123.25 c #Conflicts: 164000 | #Constraints: 13025 122.87/123.25 c #Conflicts: 165000 | #Constraints: 14682 122.87/123.25 c #Conflicts: 166000 | #Constraints: 16356 122.87/123.25 c #Conflicts: 167000 | #Constraints: 18018 122.87/123.25 c #Conflicts: 168000 | #Constraints: 19073 122.87/123.25 c #Conflicts: 169000 | #Constraints: 20073 122.87/123.25 c #Conflicts: 170000 | #Constraints: 21073 122.87/123.25 c #Conflicts: 171000 | #Constraints: 22073 122.87/123.25 c INPROCESSING 122.87/123.25 c GARBAGE COLLECT 122.87/123.25 c rational objective 0 132.65/133.08 c #Conflicts: 172000 | #Constraints: 11994 132.65/133.08 c #Conflicts: 173000 | #Constraints: 13639 132.65/133.08 c #Conflicts: 174000 | #Constraints: 15277 132.65/133.08 c #Conflicts: 175000 | #Constraints: 16958 132.65/133.08 c #Conflicts: 176000 | #Constraints: 18618 132.65/133.08 c #Conflicts: 177000 | #Constraints: 20246 132.65/133.08 c #Conflicts: 178000 | #Constraints: 21896 132.65/133.08 c #Conflicts: 179000 | #Constraints: 23513 132.65/133.08 c #Conflicts: 180000 | #Constraints: 25182 132.65/133.08 c INPROCESSING 132.65/133.08 c GARBAGE COLLECT 132.65/133.08 c rational objective 0 143.83/144.27 c #Conflicts: 181000 | #Constraints: 14098 143.83/144.27 c #Conflicts: 182000 | #Constraints: 15770 143.83/144.27 c #Conflicts: 183000 | #Constraints: 17453 143.83/144.27 c #Conflicts: 184000 | #Constraints: 19118 143.83/144.27 c #Conflicts: 185000 | #Constraints: 20745 143.83/144.27 c #Conflicts: 186000 | #Constraints: 22390 143.83/144.27 c #Conflicts: 187000 | #Constraints: 24022 143.83/144.27 c #Conflicts: 188000 | #Constraints: 25691 143.83/144.27 c #Conflicts: 189000 | #Constraints: 27353 143.83/144.27 c INPROCESSING 143.83/144.27 c GARBAGE COLLECT 143.83/144.27 c rational objective 0 156.19/156.65 c #Conflicts: 190000 | #Constraints: 15338 156.19/156.65 c #Conflicts: 191000 | #Constraints: 16977 156.19/156.65 c #Conflicts: 192000 | #Constraints: 18623 156.19/156.65 c #Conflicts: 193000 | #Constraints: 20270 156.19/156.65 c #Conflicts: 194000 | #Constraints: 21920 156.19/156.65 c #Conflicts: 195000 | #Constraints: 23603 156.19/156.65 c #Conflicts: 196000 | #Constraints: 25247 156.19/156.65 c #Conflicts: 197000 | #Constraints: 26918 156.19/156.65 c #Conflicts: 198000 | #Constraints: 28585 156.19/156.65 c INPROCESSING 156.19/156.65 c GARBAGE COLLECT 156.19/156.65 c rational objective 0 168.85/169.35 c #Conflicts: 199000 | #Constraints: 15881 168.85/169.35 c #Conflicts: 200000 | #Constraints: 17504 168.85/169.35 c #Conflicts: 201000 | #Constraints: 19153 168.85/169.35 c #Conflicts: 202000 | #Constraints: 20815 168.85/169.35 c #Conflicts: 203000 | #Constraints: 22467 168.85/169.35 c #Conflicts: 204000 | #Constraints: 24144 168.85/169.35 c #Conflicts: 205000 | #Constraints: 25822 168.85/169.35 c #Conflicts: 206000 | #Constraints: 27494 168.85/169.35 c #Conflicts: 207000 | #Constraints: 29187 168.85/169.35 c INPROCESSING 168.85/169.35 c GARBAGE COLLECT 168.85/169.35 c rational objective 0 183.02/183.59 c #Conflicts: 208000 | #Constraints: 16056 183.02/183.59 c #Conflicts: 209000 | #Constraints: 17680 183.02/183.59 c #Conflicts: 210000 | #Constraints: 19293 183.02/183.59 c #Conflicts: 211000 | #Constraints: 20958 183.02/183.59 c #Conflicts: 212000 | #Constraints: 22621 183.02/183.59 c #Conflicts: 213000 | #Constraints: 24275 183.02/183.59 c #Conflicts: 214000 | #Constraints: 25887 183.02/183.59 c #Conflicts: 215000 | #Constraints: 27538 183.02/183.59 c #Conflicts: 216000 | #Constraints: 29115 183.02/183.59 c INPROCESSING 183.02/183.59 c GARBAGE COLLECT 183.02/183.59 c rational objective 0 196.49/197.02 c #Conflicts: 217000 | #Constraints: 15530 196.49/197.02 c #Conflicts: 218000 | #Constraints: 16897 196.49/197.02 c #Conflicts: 219000 | #Constraints: 18451 196.49/197.02 c #Conflicts: 220000 | #Constraints: 19486 196.49/197.02 c #Conflicts: 221000 | #Constraints: 20668 196.49/197.02 c #Conflicts: 222000 | #Constraints: 22142 196.49/197.02 c #Conflicts: 223000 | #Constraints: 23535 196.49/197.02 c #Conflicts: 224000 | #Constraints: 25067 196.49/197.02 c #Conflicts: 225000 | #Constraints: 26639 196.49/197.02 c #Conflicts: 226000 | #Constraints: 28030 196.49/197.02 c INPROCESSING 196.49/197.02 c GARBAGE COLLECT 196.49/197.02 c rational objective 0 209.94/210.59 c #Conflicts: 227000 | #Constraints: 15533 209.94/210.59 c #Conflicts: 228000 | #Constraints: 17215 209.94/210.59 c #Conflicts: 229000 | #Constraints: 18903 209.94/210.59 c #Conflicts: 230000 | #Constraints: 20581 209.94/210.59 c #Conflicts: 231000 | #Constraints: 22231 209.94/210.59 c #Conflicts: 232000 | #Constraints: 23911 209.94/210.59 c #Conflicts: 233000 | #Constraints: 25554 209.94/210.59 c #Conflicts: 234000 | #Constraints: 27181 209.94/210.59 c #Conflicts: 235000 | #Constraints: 28820 209.94/210.59 c #Conflicts: 236000 | #Constraints: 30471 209.94/210.59 c INPROCESSING 209.94/210.59 c GARBAGE COLLECT 209.94/210.59 c rational objective 0 223.31/223.96 c #Conflicts: 237000 | #Constraints: 16739 223.31/223.96 c #Conflicts: 238000 | #Constraints: 18206 223.31/223.96 c #Conflicts: 239000 | #Constraints: 19818 223.31/223.96 c #Conflicts: 240000 | #Constraints: 20867 223.31/223.96 c #Conflicts: 241000 | #Constraints: 21867 223.31/223.96 c #Conflicts: 242000 | #Constraints: 22867 223.31/223.96 c #Conflicts: 243000 | #Constraints: 24453 223.31/223.96 c #Conflicts: 244000 | #Constraints: 26112 223.31/223.96 c #Conflicts: 245000 | #Constraints: 27784 223.31/223.96 c #Conflicts: 246000 | #Constraints: 29394 223.31/223.96 c INPROCESSING 223.31/223.96 c GARBAGE COLLECT 223.31/223.96 c rational objective 0 235.57/236.22 c #Conflicts: 247000 | #Constraints: 15761 235.57/236.22 c #Conflicts: 248000 | #Constraints: 16762 235.57/236.22 c #Conflicts: 249000 | #Constraints: 17762 235.57/236.22 c #Conflicts: 250000 | #Constraints: 18790 235.57/236.22 c #Conflicts: 251000 | #Constraints: 19889 235.57/236.22 c #Conflicts: 252000 | #Constraints: 20890 235.57/236.22 c #Conflicts: 253000 | #Constraints: 21973 235.57/236.22 c #Conflicts: 254000 | #Constraints: 23100 235.57/236.22 c #Conflicts: 255000 | #Constraints: 24207 235.57/236.22 c #Conflicts: 256000 | #Constraints: 25267 235.57/236.22 c INPROCESSING 235.57/236.22 c GARBAGE COLLECT 235.57/236.22 c rational objective 0 249.54/250.29 c #Conflicts: 257000 | #Constraints: 14056 249.54/250.29 c #Conflicts: 258000 | #Constraints: 15698 249.54/250.29 c #Conflicts: 259000 | #Constraints: 17378 249.54/250.29 c #Conflicts: 260000 | #Constraints: 19027 249.54/250.29 c #Conflicts: 261000 | #Constraints: 20679 249.54/250.29 c #Conflicts: 262000 | #Constraints: 22311 249.54/250.29 c #Conflicts: 263000 | #Constraints: 23992 249.54/250.29 c #Conflicts: 264000 | #Constraints: 25592 249.54/250.29 c #Conflicts: 265000 | #Constraints: 27194 249.54/250.29 c #Conflicts: 266000 | #Constraints: 28801 249.54/250.29 c INPROCESSING 249.54/250.29 c GARBAGE COLLECT 249.54/250.29 c rational objective 0 262.51/263.21 c #Conflicts: 267000 | #Constraints: 15304 262.51/263.21 c #Conflicts: 268000 | #Constraints: 16304 262.51/263.21 c #Conflicts: 269000 | #Constraints: 17305 262.51/263.21 c #Conflicts: 270000 | #Constraints: 18305 262.51/263.21 c #Conflicts: 271000 | #Constraints: 19306 262.51/263.21 c #Conflicts: 272000 | #Constraints: 20306 262.51/263.21 c #Conflicts: 273000 | #Constraints: 21306 262.51/263.21 c #Conflicts: 274000 | #Constraints: 22306 262.51/263.21 c #Conflicts: 275000 | #Constraints: 23308 262.51/263.21 c #Conflicts: 276000 | #Constraints: 24309 262.51/263.21 c #Conflicts: 277000 | #Constraints: 25309 262.51/263.21 c INPROCESSING 262.51/263.21 c GARBAGE COLLECT 262.51/263.21 c rational objective 0 275.07/275.83 c #Conflicts: 278000 | #Constraints: 14017 275.07/275.83 c #Conflicts: 279000 | #Constraints: 15274 275.07/275.83 c #Conflicts: 280000 | #Constraints: 16373 275.07/275.83 c #Conflicts: 281000 | #Constraints: 17600 275.07/275.83 c #Conflicts: 282000 | #Constraints: 19185 275.07/275.83 c #Conflicts: 283000 | #Constraints: 20307 275.07/275.83 c #Conflicts: 284000 | #Constraints: 21570 275.07/275.83 c #Conflicts: 285000 | #Constraints: 23198 275.07/275.83 c #Conflicts: 286000 | #Constraints: 24336 275.07/275.83 c #Conflicts: 287000 | #Constraints: 25336 275.07/275.83 c #Conflicts: 288000 | #Constraints: 26336 275.07/275.83 c INPROCESSING 275.07/275.83 c GARBAGE COLLECT 275.07/275.83 c rational objective 0 286.85/287.68 c #Conflicts: 289000 | #Constraints: 14188 286.85/287.68 c #Conflicts: 290000 | #Constraints: 15188 286.85/287.68 c #Conflicts: 291000 | #Constraints: 16188 286.85/287.68 c #Conflicts: 292000 | #Constraints: 17188 286.85/287.68 c #Conflicts: 293000 | #Constraints: 18189 286.85/287.68 c #Conflicts: 294000 | #Constraints: 19189 286.85/287.68 c #Conflicts: 295000 | #Constraints: 20189 286.85/287.68 c #Conflicts: 296000 | #Constraints: 21189 286.85/287.68 c #Conflicts: 297000 | #Constraints: 22252 286.85/287.68 c #Conflicts: 298000 | #Constraints: 23267 286.85/287.68 c #Conflicts: 299000 | #Constraints: 24267 286.85/287.68 c INPROCESSING 286.85/287.68 c GARBAGE COLLECT 286.85/287.68 c rational objective 0 300.60/301.48 c #Conflicts: 300000 | #Constraints: 13795 300.60/301.48 c #Conflicts: 301000 | #Constraints: 15147 300.60/301.48 c #Conflicts: 302000 | #Constraints: 16529 300.60/301.48 c #Conflicts: 303000 | #Constraints: 18132 300.60/301.48 c #Conflicts: 304000 | #Constraints: 19770 300.60/301.48 c #Conflicts: 305000 | #Constraints: 21260 300.60/301.48 c #Conflicts: 306000 | #Constraints: 22371 300.60/301.48 c #Conflicts: 307000 | #Constraints: 23372 300.60/301.48 c #Conflicts: 308000 | #Constraints: 24373 300.60/301.48 c #Conflicts: 309000 | #Constraints: 25373 300.60/301.48 c #Conflicts: 310000 | #Constraints: 26373 300.60/301.48 c INPROCESSING 300.60/301.48 c GARBAGE COLLECT 300.60/301.48 c rational objective 0 317.85/318.76 c #Conflicts: 311000 | #Constraints: 14624 317.85/318.76 c #Conflicts: 312000 | #Constraints: 16314 317.85/318.76 c #Conflicts: 313000 | #Constraints: 17988 317.85/318.76 c #Conflicts: 314000 | #Constraints: 19639 317.85/318.76 c #Conflicts: 315000 | #Constraints: 21256 317.85/318.76 c #Conflicts: 316000 | #Constraints: 22869 317.85/318.76 c #Conflicts: 317000 | #Constraints: 24464 317.85/318.76 c #Conflicts: 318000 | #Constraints: 26023 317.85/318.76 c #Conflicts: 319000 | #Constraints: 27609 317.85/318.76 c #Conflicts: 320000 | #Constraints: 29226 317.85/318.76 c #Conflicts: 321000 | #Constraints: 30895 317.85/318.76 c INPROCESSING 317.85/318.76 c GARBAGE COLLECT 317.85/318.76 c rational objective 0 334.70/335.64 c #Conflicts: 322000 | #Constraints: 16623 334.70/335.64 c #Conflicts: 323000 | #Constraints: 18042 334.70/335.64 c #Conflicts: 324000 | #Constraints: 19659 334.70/335.64 c #Conflicts: 325000 | #Constraints: 20659 334.70/335.64 c #Conflicts: 326000 | #Constraints: 22030 334.70/335.64 c #Conflicts: 327000 | #Constraints: 23577 334.70/335.64 c #Conflicts: 328000 | #Constraints: 24858 334.70/335.64 c #Conflicts: 329000 | #Constraints: 25910 334.70/335.64 c #Conflicts: 330000 | #Constraints: 27087 334.70/335.64 c #Conflicts: 331000 | #Constraints: 28377 334.70/335.64 c #Conflicts: 332000 | #Constraints: 29860 334.70/335.64 c #Conflicts: 333000 | #Constraints: 31129 334.70/335.64 c INPROCESSING 334.70/335.64 c GARBAGE COLLECT 334.70/335.64 c rational objective 0 350.25/351.26 c #Conflicts: 334000 | #Constraints: 16708 350.25/351.26 c #Conflicts: 335000 | #Constraints: 17815 350.25/351.26 c #Conflicts: 336000 | #Constraints: 18981 350.25/351.26 c #Conflicts: 337000 | #Constraints: 20002 350.25/351.26 c #Conflicts: 338000 | #Constraints: 21157 350.25/351.26 c #Conflicts: 339000 | #Constraints: 22653 350.25/351.26 c #Conflicts: 340000 | #Constraints: 23982 350.25/351.26 c #Conflicts: 341000 | #Constraints: 25066 350.25/351.26 c #Conflicts: 342000 | #Constraints: 26066 350.25/351.26 c #Conflicts: 343000 | #Constraints: 27066 350.25/351.26 c #Conflicts: 344000 | #Constraints: 28076 350.25/351.26 c #Conflicts: 345000 | #Constraints: 29166 350.25/351.26 c INPROCESSING 350.25/351.26 c GARBAGE COLLECT 350.25/351.26 c rational objective 0 364.71/365.72 c #Conflicts: 346000 | #Constraints: 15729 364.71/365.72 c #Conflicts: 347000 | #Constraints: 16729 364.71/365.72 c #Conflicts: 348000 | #Constraints: 17865 364.71/365.72 c #Conflicts: 349000 | #Constraints: 18915 364.71/365.72 c #Conflicts: 350000 | #Constraints: 20132 364.71/365.72 c #Conflicts: 351000 | #Constraints: 21323 364.71/365.72 c #Conflicts: 352000 | #Constraints: 22648 364.71/365.72 c #Conflicts: 353000 | #Constraints: 23826 364.71/365.72 c #Conflicts: 354000 | #Constraints: 24931 364.71/365.72 c #Conflicts: 355000 | #Constraints: 26159 364.71/365.72 c #Conflicts: 356000 | #Constraints: 27159 364.71/365.72 c #Conflicts: 357000 | #Constraints: 28296 364.71/365.72 c INPROCESSING 364.71/365.72 c GARBAGE COLLECT 364.71/365.72 c rational objective 0 381.97/383.06 c #Conflicts: 358000 | #Constraints: 15695 381.97/383.06 c #Conflicts: 359000 | #Constraints: 17330 381.97/383.06 c #Conflicts: 360000 | #Constraints: 18933 381.97/383.06 c #Conflicts: 361000 | #Constraints: 20573 381.97/383.06 c #Conflicts: 362000 | #Constraints: 22244 381.97/383.06 c #Conflicts: 363000 | #Constraints: 23853 381.97/383.06 c #Conflicts: 364000 | #Constraints: 25491 381.97/383.06 c #Conflicts: 365000 | #Constraints: 27137 381.97/383.06 c #Conflicts: 366000 | #Constraints: 28764 381.97/383.06 c #Conflicts: 367000 | #Constraints: 30444 381.97/383.06 c #Conflicts: 368000 | #Constraints: 32111 381.97/383.06 c #Conflicts: 369000 | #Constraints: 33717 381.97/383.06 c INPROCESSING 381.97/383.06 c GARBAGE COLLECT 381.97/383.06 c rational objective 0 401.52/402.67 c #Conflicts: 370000 | #Constraints: 18306 401.52/402.67 c #Conflicts: 371000 | #Constraints: 19940 401.52/402.67 c #Conflicts: 372000 | #Constraints: 21571 401.52/402.67 c #Conflicts: 373000 | #Constraints: 23210 401.52/402.67 c #Conflicts: 374000 | #Constraints: 24819 401.52/402.67 c #Conflicts: 375000 | #Constraints: 26466 401.52/402.67 c #Conflicts: 376000 | #Constraints: 28114 401.52/402.67 c #Conflicts: 377000 | #Constraints: 29778 401.52/402.67 c #Conflicts: 378000 | #Constraints: 31429 401.52/402.67 c #Conflicts: 379000 | #Constraints: 33060 401.52/402.67 c #Conflicts: 380000 | #Constraints: 34705 401.52/402.67 c #Conflicts: 381000 | #Constraints: 36300 401.52/402.67 c INPROCESSING 401.52/402.67 c GARBAGE COLLECT 401.52/402.67 c rational objective 0 422.28/423.44 c #Conflicts: 382000 | #Constraints: 19293 422.28/423.44 c #Conflicts: 383000 | #Constraints: 20943 422.28/423.44 c #Conflicts: 384000 | #Constraints: 22602 422.28/423.44 c #Conflicts: 385000 | #Constraints: 24274 422.28/423.44 c #Conflicts: 386000 | #Constraints: 25922 422.28/423.44 c #Conflicts: 387000 | #Constraints: 27557 422.28/423.44 c #Conflicts: 388000 | #Constraints: 29215 422.28/423.44 c #Conflicts: 389000 | #Constraints: 30829 422.28/423.44 c #Conflicts: 390000 | #Constraints: 32485 422.28/423.44 c #Conflicts: 391000 | #Constraints: 34126 422.28/423.44 c #Conflicts: 392000 | #Constraints: 35718 422.28/423.44 c #Conflicts: 393000 | #Constraints: 37407 422.28/423.44 c #Conflicts: 394000 | #Constraints: 39097 422.28/423.44 c INPROCESSING 422.28/423.44 c GARBAGE COLLECT 422.28/423.44 c rational objective 0 440.54/441.76 c #Conflicts: 395000 | #Constraints: 20531 440.54/441.76 c #Conflicts: 396000 | #Constraints: 21531 440.54/441.76 c #Conflicts: 397000 | #Constraints: 22531 440.54/441.76 c #Conflicts: 398000 | #Constraints: 23532 440.54/441.76 c #Conflicts: 399000 | #Constraints: 24532 440.54/441.76 c #Conflicts: 400000 | #Constraints: 25532 440.54/441.76 c #Conflicts: 401000 | #Constraints: 26532 440.54/441.76 c #Conflicts: 402000 | #Constraints: 27534 440.54/441.76 c #Conflicts: 403000 | #Constraints: 28535 440.54/441.76 c #Conflicts: 404000 | #Constraints: 29535 440.54/441.76 c #Conflicts: 405000 | #Constraints: 30535 440.54/441.76 c #Conflicts: 406000 | #Constraints: 31536 440.54/441.76 c #Conflicts: 407000 | #Constraints: 32536 440.54/441.76 c INPROCESSING 440.54/441.76 c GARBAGE COLLECT 440.54/441.76 c rational objective 0 464.27/465.50 c #Conflicts: 408000 | #Constraints: 17870 464.27/465.50 c #Conflicts: 409000 | #Constraints: 19532 464.27/465.50 c #Conflicts: 410000 | #Constraints: 21169 464.27/465.50 c #Conflicts: 411000 | #Constraints: 22760 464.27/465.50 c #Conflicts: 412000 | #Constraints: 23994 464.27/465.50 c #Conflicts: 413000 | #Constraints: 25597 464.27/465.50 c #Conflicts: 414000 | #Constraints: 27241 464.27/465.50 c #Conflicts: 415000 | #Constraints: 28920 464.27/465.50 c #Conflicts: 416000 | #Constraints: 30578 464.27/465.50 c #Conflicts: 417000 | #Constraints: 32212 464.27/465.50 c #Conflicts: 418000 | #Constraints: 33874 464.27/465.50 c #Conflicts: 419000 | #Constraints: 35527 464.27/465.50 c #Conflicts: 420000 | #Constraints: 37203 464.27/465.50 c INPROCESSING 464.27/465.50 c GARBAGE COLLECT 464.27/465.50 c rational objective 0 491.81/493.15 c #Conflicts: 421000 | #Constraints: 20021 491.81/493.15 c #Conflicts: 422000 | #Constraints: 21648 491.81/493.15 c #Conflicts: 423000 | #Constraints: 23287 491.81/493.15 c #Conflicts: 424000 | #Constraints: 24870 491.81/493.15 c #Conflicts: 425000 | #Constraints: 26417 491.81/493.15 c #Conflicts: 426000 | #Constraints: 27977 491.81/493.15 c #Conflicts: 427000 | #Constraints: 29563 491.81/493.15 c #Conflicts: 428000 | #Constraints: 31159 491.81/493.15 c #Conflicts: 429000 | #Constraints: 32761 491.81/493.15 c #Conflicts: 430000 | #Constraints: 34335 491.81/493.15 c #Conflicts: 431000 | #Constraints: 35932 491.81/493.15 c #Conflicts: 432000 | #Constraints: 37505 491.81/493.15 c #Conflicts: 433000 | #Constraints: 39008 491.81/493.15 c INPROCESSING 491.81/493.15 c GARBAGE COLLECT 491.81/493.15 c rational objective 0 519.34/520.74 c #Conflicts: 434000 | #Constraints: 20870 519.34/520.74 c #Conflicts: 435000 | #Constraints: 22442 519.34/520.74 c #Conflicts: 436000 | #Constraints: 24039 519.34/520.74 c #Conflicts: 437000 | #Constraints: 25645 519.34/520.74 c #Conflicts: 438000 | #Constraints: 27244 519.34/520.74 c #Conflicts: 439000 | #Constraints: 28851 519.34/520.74 c #Conflicts: 440000 | #Constraints: 30448 519.34/520.74 c #Conflicts: 441000 | #Constraints: 32052 519.34/520.74 c #Conflicts: 442000 | #Constraints: 33638 519.34/520.74 c #Conflicts: 443000 | #Constraints: 35217 519.34/520.74 c #Conflicts: 444000 | #Constraints: 36818 519.34/520.74 c #Conflicts: 445000 | #Constraints: 38435 519.34/520.74 c #Conflicts: 446000 | #Constraints: 40058 519.34/520.74 c INPROCESSING 519.34/520.74 c GARBAGE COLLECT 519.34/520.74 c rational objective 0 548.38/549.88 c #Conflicts: 447000 | #Constraints: 21181 548.38/549.88 c #Conflicts: 448000 | #Constraints: 22768 548.38/549.88 c #Conflicts: 449000 | #Constraints: 24397 548.38/549.88 c #Conflicts: 450000 | #Constraints: 26020 548.38/549.88 c #Conflicts: 451000 | #Constraints: 27620 548.38/549.88 c #Conflicts: 452000 | #Constraints: 29162 548.38/549.88 c #Conflicts: 453000 | #Constraints: 30738 548.38/549.88 c #Conflicts: 454000 | #Constraints: 32349 548.38/549.88 c #Conflicts: 455000 | #Constraints: 33945 548.38/549.88 c #Conflicts: 456000 | #Constraints: 35516 548.38/549.88 c #Conflicts: 457000 | #Constraints: 37101 548.38/549.88 c #Conflicts: 458000 | #Constraints: 38673 548.38/549.88 c #Conflicts: 459000 | #Constraints: 40076 548.38/549.88 c #Conflicts: 460000 | #Constraints: 41520 548.38/549.88 c INPROCESSING 548.38/549.88 c GARBAGE COLLECT 548.38/549.88 c rational objective 0 577.71/579.29 c #Conflicts: 461000 | #Constraints: 22202 577.71/579.29 c #Conflicts: 462000 | #Constraints: 23400 577.71/579.29 c #Conflicts: 463000 | #Constraints: 24459 577.71/579.29 c #Conflicts: 464000 | #Constraints: 26090 577.71/579.29 c #Conflicts: 465000 | #Constraints: 27722 577.71/579.29 c #Conflicts: 466000 | #Constraints: 29310 577.71/579.29 c #Conflicts: 467000 | #Constraints: 30922 577.71/579.29 c #Conflicts: 468000 | #Constraints: 32537 577.71/579.29 c #Conflicts: 469000 | #Constraints: 34129 577.71/579.29 c #Conflicts: 470000 | #Constraints: 35736 577.71/579.29 c #Conflicts: 471000 | #Constraints: 37394 577.71/579.29 c #Conflicts: 472000 | #Constraints: 39050 577.71/579.29 c #Conflicts: 473000 | #Constraints: 40704 577.71/579.29 c #Conflicts: 474000 | #Constraints: 42343 577.71/579.29 c INPROCESSING 577.71/579.29 c GARBAGE COLLECT 577.71/579.29 c rational objective 0 601.15/602.79 c #Conflicts: 475000 | #Constraints: 22186 601.15/602.79 c #Conflicts: 476000 | #Constraints: 23186 601.15/602.79 c #Conflicts: 477000 | #Constraints: 24186 601.15/602.79 c #Conflicts: 478000 | #Constraints: 25186 601.15/602.79 c #Conflicts: 479000 | #Constraints: 26186 601.15/602.79 c #Conflicts: 480000 | #Constraints: 27187 601.15/602.79 c #Conflicts: 481000 | #Constraints: 28187 601.15/602.79 c #Conflicts: 482000 | #Constraints: 29187 601.15/602.79 c #Conflicts: 483000 | #Constraints: 30187 601.15/602.79 c #Conflicts: 484000 | #Constraints: 31187 601.15/602.79 c #Conflicts: 485000 | #Constraints: 32187 601.15/602.79 c #Conflicts: 486000 | #Constraints: 33187 601.15/602.79 c #Conflicts: 487000 | #Constraints: 34187 601.15/602.79 c #Conflicts: 488000 | #Constraints: 35188 601.15/602.79 c INPROCESSING 601.15/602.79 c GARBAGE COLLECT 601.15/602.79 c rational objective 0 622.61/624.29 c #Conflicts: 489000 | #Constraints: 18630 622.61/624.29 c #Conflicts: 490000 | #Constraints: 19744 622.61/624.29 c #Conflicts: 491000 | #Constraints: 20753 622.61/624.29 c #Conflicts: 492000 | #Constraints: 21761 622.61/624.29 c #Conflicts: 493000 | #Constraints: 22761 622.61/624.29 c #Conflicts: 494000 | #Constraints: 23761 622.61/624.29 c #Conflicts: 495000 | #Constraints: 25148 622.61/624.29 c #Conflicts: 496000 | #Constraints: 26148 622.61/624.29 c #Conflicts: 497000 | #Constraints: 27165 622.61/624.29 c #Conflicts: 498000 | #Constraints: 28406 622.61/624.29 c #Conflicts: 499000 | #Constraints: 29496 622.61/624.29 c #Conflicts: 500000 | #Constraints: 30496 622.61/624.29 c #Conflicts: 501000 | #Constraints: 31496 622.61/624.29 c #Conflicts: 502000 | #Constraints: 32578 622.61/624.29 c INPROCESSING 622.61/624.29 c GARBAGE COLLECT 622.61/624.29 c rational objective 0 642.37/644.07 c #Conflicts: 503000 | #Constraints: 17203 642.37/644.07 c #Conflicts: 504000 | #Constraints: 18203 642.37/644.07 c #Conflicts: 505000 | #Constraints: 19203 642.37/644.07 c #Conflicts: 506000 | #Constraints: 20203 642.37/644.07 c #Conflicts: 507000 | #Constraints: 21203 642.37/644.07 c #Conflicts: 508000 | #Constraints: 22203 642.37/644.07 c #Conflicts: 509000 | #Constraints: 23203 642.37/644.07 c #Conflicts: 510000 | #Constraints: 24203 642.37/644.07 c #Conflicts: 511000 | #Constraints: 25203 642.37/644.07 c #Conflicts: 512000 | #Constraints: 26203 642.37/644.07 c #Conflicts: 513000 | #Constraints: 27203 642.37/644.07 c #Conflicts: 514000 | #Constraints: 28203 642.37/644.07 c #Conflicts: 515000 | #Constraints: 29203 642.37/644.07 c #Conflicts: 516000 | #Constraints: 30203 642.37/644.07 c INPROCESSING 642.37/644.07 c GARBAGE COLLECT 642.37/644.07 c rational objective 0 661.42/663.18 c #Conflicts: 517000 | #Constraints: 15844 661.42/663.18 c #Conflicts: 518000 | #Constraints: 17128 661.42/663.18 c #Conflicts: 519000 | #Constraints: 18168 661.42/663.18 c #Conflicts: 520000 | #Constraints: 19590 661.42/663.18 c #Conflicts: 521000 | #Constraints: 20725 661.42/663.18 c #Conflicts: 522000 | #Constraints: 22008 661.42/663.18 c #Conflicts: 523000 | #Constraints: 23008 661.42/663.18 c #Conflicts: 524000 | #Constraints: 24064 661.42/663.18 c #Conflicts: 525000 | #Constraints: 25303 661.42/663.18 c #Conflicts: 526000 | #Constraints: 26343 661.42/663.18 c #Conflicts: 527000 | #Constraints: 27376 661.42/663.18 c #Conflicts: 528000 | #Constraints: 28473 661.42/663.18 c #Conflicts: 529000 | #Constraints: 29484 661.42/663.18 c #Conflicts: 530000 | #Constraints: 30669 661.42/663.18 c #Conflicts: 531000 | #Constraints: 31825 661.42/663.18 c INPROCESSING 661.42/663.18 c GARBAGE COLLECT 661.42/663.18 c rational objective 0 683.86/685.69 c #Conflicts: 532000 | #Constraints: 17315 683.86/685.69 c #Conflicts: 533000 | #Constraints: 18931 683.86/685.69 c #Conflicts: 534000 | #Constraints: 20577 683.86/685.69 c #Conflicts: 535000 | #Constraints: 22074 683.86/685.69 c #Conflicts: 536000 | #Constraints: 23074 683.86/685.69 c #Conflicts: 537000 | #Constraints: 24074 683.86/685.69 c #Conflicts: 538000 | #Constraints: 25074 683.86/685.69 c #Conflicts: 539000 | #Constraints: 26584 683.86/685.69 c #Conflicts: 540000 | #Constraints: 28160 683.86/685.69 c #Conflicts: 541000 | #Constraints: 29684 683.86/685.69 c #Conflicts: 542000 | #Constraints: 31314 683.86/685.69 c #Conflicts: 543000 | #Constraints: 32954 683.86/685.69 c #Conflicts: 544000 | #Constraints: 34125 683.86/685.69 c #Conflicts: 545000 | #Constraints: 35695 683.86/685.69 c #Conflicts: 546000 | #Constraints: 36696 683.86/685.69 c INPROCESSING 683.86/685.69 c GARBAGE COLLECT 683.86/685.69 c rational objective 0 707.11/708.93 c #Conflicts: 547000 | #Constraints: 19463 707.11/708.93 c #Conflicts: 548000 | #Constraints: 20927 707.11/708.93 c #Conflicts: 549000 | #Constraints: 21927 707.11/708.93 c #Conflicts: 550000 | #Constraints: 22927 707.11/708.93 c #Conflicts: 551000 | #Constraints: 24101 707.11/708.93 c #Conflicts: 552000 | #Constraints: 25221 707.11/708.93 c #Conflicts: 553000 | #Constraints: 26222 707.11/708.93 c #Conflicts: 554000 | #Constraints: 27222 707.11/708.93 c #Conflicts: 555000 | #Constraints: 28222 707.11/708.93 c #Conflicts: 556000 | #Constraints: 29222 707.11/708.93 c #Conflicts: 557000 | #Constraints: 30223 707.11/708.93 c #Conflicts: 558000 | #Constraints: 31223 707.11/708.93 c #Conflicts: 559000 | #Constraints: 32223 707.11/708.93 c #Conflicts: 560000 | #Constraints: 33364 707.11/708.93 c #Conflicts: 561000 | #Constraints: 34559 707.11/708.93 c INPROCESSING 707.11/708.93 c GARBAGE COLLECT 707.11/708.93 c rational objective 0 729.27/731.18 c #Conflicts: 562000 | #Constraints: 18700 729.27/731.18 c #Conflicts: 563000 | #Constraints: 19700 729.27/731.18 c #Conflicts: 564000 | #Constraints: 20939 729.27/731.18 c #Conflicts: 565000 | #Constraints: 22059 729.27/731.18 c #Conflicts: 566000 | #Constraints: 23073 729.27/731.18 c #Conflicts: 567000 | #Constraints: 24073 729.27/731.18 c #Conflicts: 568000 | #Constraints: 25073 729.27/731.18 c #Conflicts: 569000 | #Constraints: 26073 729.27/731.18 c #Conflicts: 570000 | #Constraints: 27074 729.27/731.18 c #Conflicts: 571000 | #Constraints: 28074 729.27/731.18 c #Conflicts: 572000 | #Constraints: 29075 729.27/731.18 c #Conflicts: 573000 | #Constraints: 30075 729.27/731.18 c #Conflicts: 574000 | #Constraints: 31075 729.27/731.18 c #Conflicts: 575000 | #Constraints: 32114 729.27/731.18 c #Conflicts: 576000 | #Constraints: 33114 729.27/731.18 c INPROCESSING 729.27/731.18 c GARBAGE COLLECT 729.27/731.18 c rational objective 0 757.79/759.73 c #Conflicts: 577000 | #Constraints: 17970 757.79/759.73 c #Conflicts: 578000 | #Constraints: 19586 757.79/759.73 c #Conflicts: 579000 | #Constraints: 21213 757.79/759.73 c #Conflicts: 580000 | #Constraints: 22820 757.79/759.73 c #Conflicts: 581000 | #Constraints: 24474 757.79/759.73 c #Conflicts: 582000 | #Constraints: 26086 757.79/759.73 c #Conflicts: 583000 | #Constraints: 27728 757.79/759.73 c #Conflicts: 584000 | #Constraints: 29363 757.79/759.73 c #Conflicts: 585000 | #Constraints: 31003 757.79/759.73 c #Conflicts: 586000 | #Constraints: 32602 757.79/759.73 c #Conflicts: 587000 | #Constraints: 34242 757.79/759.73 c #Conflicts: 588000 | #Constraints: 35884 757.79/759.73 c #Conflicts: 589000 | #Constraints: 37496 757.79/759.73 c #Conflicts: 590000 | #Constraints: 39100 757.79/759.73 c #Conflicts: 591000 | #Constraints: 40718 757.79/759.73 c INPROCESSING 757.79/759.73 c GARBAGE COLLECT 757.79/759.73 c rational objective 0 783.43/785.46 c #Conflicts: 592000 | #Constraints: 21445 783.43/785.46 c #Conflicts: 593000 | #Constraints: 22649 783.43/785.46 c #Conflicts: 594000 | #Constraints: 23650 783.43/785.46 c #Conflicts: 595000 | #Constraints: 24704 783.43/785.46 c #Conflicts: 596000 | #Constraints: 25704 783.43/785.46 c #Conflicts: 597000 | #Constraints: 27156 783.43/785.46 c #Conflicts: 598000 | #Constraints: 28219 783.43/785.46 c #Conflicts: 599000 | #Constraints: 29219 783.43/785.46 c #Conflicts: 600000 | #Constraints: 30219 783.43/785.46 c #Conflicts: 601000 | #Constraints: 31219 783.43/785.46 c #Conflicts: 602000 | #Constraints: 32219 783.43/785.46 c #Conflicts: 603000 | #Constraints: 33219 783.43/785.46 c #Conflicts: 604000 | #Constraints: 34219 783.43/785.46 c #Conflicts: 605000 | #Constraints: 35227 783.43/785.46 c #Conflicts: 606000 | #Constraints: 36227 783.43/785.46 c #Conflicts: 607000 | #Constraints: 37374 783.43/785.46 c INPROCESSING 783.43/785.46 c GARBAGE COLLECT 783.43/785.46 c rational objective 0 810.86/812.97 c #Conflicts: 608000 | #Constraints: 19936 810.86/812.97 c #Conflicts: 609000 | #Constraints: 21437 810.86/812.97 c #Conflicts: 610000 | #Constraints: 22700 810.86/812.97 c #Conflicts: 611000 | #Constraints: 23906 810.86/812.97 c #Conflicts: 612000 | #Constraints: 25008 810.86/812.97 c #Conflicts: 613000 | #Constraints: 26092 810.86/812.97 c #Conflicts: 614000 | #Constraints: 27329 810.86/812.97 c #Conflicts: 615000 | #Constraints: 28329 810.86/812.97 c #Conflicts: 616000 | #Constraints: 29329 810.86/812.97 c #Conflicts: 617000 | #Constraints: 30533 810.86/812.97 c #Conflicts: 618000 | #Constraints: 31533 810.86/812.97 c #Conflicts: 619000 | #Constraints: 32860 810.86/812.97 c #Conflicts: 620000 | #Constraints: 34516 810.86/812.97 c #Conflicts: 621000 | #Constraints: 35609 810.86/812.97 c #Conflicts: 622000 | #Constraints: 36610 810.86/812.97 c #Conflicts: 623000 | #Constraints: 37610 810.86/812.97 c INPROCESSING 810.86/812.97 c GARBAGE COLLECT 810.86/812.97 c rational objective 0 834.50/836.67 c #Conflicts: 624000 | #Constraints: 19816 834.50/836.67 c #Conflicts: 625000 | #Constraints: 20816 834.50/836.67 c #Conflicts: 626000 | #Constraints: 21816 834.50/836.67 c #Conflicts: 627000 | #Constraints: 22817 834.50/836.67 c #Conflicts: 628000 | #Constraints: 23817 834.50/836.67 c #Conflicts: 629000 | #Constraints: 24817 834.50/836.67 c #Conflicts: 630000 | #Constraints: 25817 834.50/836.67 c #Conflicts: 631000 | #Constraints: 26817 834.50/836.67 c #Conflicts: 632000 | #Constraints: 27817 834.50/836.67 c #Conflicts: 633000 | #Constraints: 28817 834.50/836.67 c #Conflicts: 634000 | #Constraints: 29817 834.50/836.67 c #Conflicts: 635000 | #Constraints: 30817 834.50/836.67 c #Conflicts: 636000 | #Constraints: 31817 834.50/836.67 c #Conflicts: 637000 | #Constraints: 32817 834.50/836.67 c #Conflicts: 638000 | #Constraints: 33818 834.50/836.67 c #Conflicts: 639000 | #Constraints: 34818 834.50/836.67 c INPROCESSING 834.50/836.67 c GARBAGE COLLECT 834.50/836.67 c rational objective 0 866.24/868.43 c #Conflicts: 640000 | #Constraints: 19021 866.24/868.43 c #Conflicts: 641000 | #Constraints: 20644 866.24/868.43 c #Conflicts: 642000 | #Constraints: 22264 866.24/868.43 c #Conflicts: 643000 | #Constraints: 23876 866.24/868.43 c #Conflicts: 644000 | #Constraints: 25483 866.24/868.43 c #Conflicts: 645000 | #Constraints: 27162 866.24/868.43 c #Conflicts: 646000 | #Constraints: 28822 866.24/868.43 c #Conflicts: 647000 | #Constraints: 30438 866.24/868.43 c #Conflicts: 648000 | #Constraints: 32056 866.24/868.43 c #Conflicts: 649000 | #Constraints: 33706 866.24/868.43 c #Conflicts: 650000 | #Constraints: 35356 866.24/868.43 c #Conflicts: 651000 | #Constraints: 36939 866.24/868.43 c #Conflicts: 652000 | #Constraints: 38565 866.24/868.43 c #Conflicts: 653000 | #Constraints: 40130 866.24/868.43 c #Conflicts: 654000 | #Constraints: 41728 866.24/868.43 c #Conflicts: 655000 | #Constraints: 43339 866.24/868.43 c INPROCESSING 866.24/868.43 c GARBAGE COLLECT 866.24/868.43 c rational objective 0 897.17/899.49 c #Conflicts: 656000 | #Constraints: 22849 897.17/899.49 c #Conflicts: 657000 | #Constraints: 24191 897.17/899.49 c #Conflicts: 658000 | #Constraints: 25815 897.17/899.49 c #Conflicts: 659000 | #Constraints: 27127 897.17/899.49 c #Conflicts: 660000 | #Constraints: 28282 897.17/899.49 c #Conflicts: 661000 | #Constraints: 29515 897.17/899.49 c #Conflicts: 662000 | #Constraints: 30515 897.17/899.49 c #Conflicts: 663000 | #Constraints: 31515 897.17/899.49 c #Conflicts: 664000 | #Constraints: 32675 897.17/899.49 c #Conflicts: 665000 | #Constraints: 34098 897.17/899.49 c #Conflicts: 666000 | #Constraints: 35491 897.17/899.49 c #Conflicts: 667000 | #Constraints: 36528 897.17/899.49 c #Conflicts: 668000 | #Constraints: 37671 897.17/899.49 c #Conflicts: 669000 | #Constraints: 38671 897.17/899.49 c #Conflicts: 670000 | #Constraints: 39805 897.17/899.49 c #Conflicts: 671000 | #Constraints: 41411 897.17/899.49 c INPROCESSING 897.17/899.49 c GARBAGE COLLECT 897.17/899.49 c rational objective 0 932.28/934.61 c #Conflicts: 672000 | #Constraints: 21833 932.28/934.61 c #Conflicts: 673000 | #Constraints: 23423 932.28/934.61 c #Conflicts: 674000 | #Constraints: 24992 932.28/934.61 c #Conflicts: 675000 | #Constraints: 26308 932.28/934.61 c #Conflicts: 676000 | #Constraints: 27945 932.28/934.61 c #Conflicts: 677000 | #Constraints: 29491 932.28/934.61 c #Conflicts: 678000 | #Constraints: 31035 932.28/934.61 c #Conflicts: 679000 | #Constraints: 32568 932.28/934.61 c #Conflicts: 680000 | #Constraints: 33919 932.28/934.61 c #Conflicts: 681000 | #Constraints: 35518 932.28/934.61 c #Conflicts: 682000 | #Constraints: 37106 932.28/934.61 c #Conflicts: 683000 | #Constraints: 38430 932.28/934.61 c #Conflicts: 684000 | #Constraints: 39925 932.28/934.61 c #Conflicts: 685000 | #Constraints: 41517 932.28/934.61 c #Conflicts: 686000 | #Constraints: 42875 932.28/934.61 c #Conflicts: 687000 | #Constraints: 44548 932.28/934.61 c #Conflicts: 688000 | #Constraints: 45958 932.28/934.61 c INPROCESSING 932.28/934.61 c GARBAGE COLLECT 932.28/934.61 c rational objective 0 972.18/974.62 c #Conflicts: 689000 | #Constraints: 24401 972.18/974.62 c #Conflicts: 690000 | #Constraints: 26032 972.18/974.62 c #Conflicts: 691000 | #Constraints: 27672 972.18/974.62 c #Conflicts: 692000 | #Constraints: 28854 972.18/974.62 c #Conflicts: 693000 | #Constraints: 30258 972.18/974.62 c #Conflicts: 694000 | #Constraints: 31882 972.18/974.62 c #Conflicts: 695000 | #Constraints: 33538 972.18/974.62 c #Conflicts: 696000 | #Constraints: 35124 972.18/974.62 c #Conflicts: 697000 | #Constraints: 36684 972.18/974.62 c #Conflicts: 698000 | #Constraints: 38279 972.18/974.62 c #Conflicts: 699000 | #Constraints: 39905 972.18/974.62 c #Conflicts: 700000 | #Constraints: 41577 972.18/974.62 c #Conflicts: 701000 | #Constraints: 43188 972.18/974.62 c #Conflicts: 702000 | #Constraints: 44810 972.18/974.62 c #Conflicts: 703000 | #Constraints: 46466 972.18/974.62 c #Conflicts: 704000 | #Constraints: 48103 972.18/974.62 c #Conflicts: 705000 | #Constraints: 49718 972.18/974.62 c INPROCESSING 972.18/974.62 c GARBAGE COLLECT 972.18/974.62 c rational objective 0 1015.98/1018.57 c #Conflicts: 706000 | #Constraints: 26506 1015.98/1018.57 c #Conflicts: 707000 | #Constraints: 28149 1015.98/1018.57 c #Conflicts: 708000 | #Constraints: 29786 1015.98/1018.57 c #Conflicts: 709000 | #Constraints: 31409 1015.98/1018.57 c #Conflicts: 710000 | #Constraints: 33043 1015.98/1018.57 c #Conflicts: 711000 | #Constraints: 34715 1015.98/1018.57 c #Conflicts: 712000 | #Constraints: 36352 1015.98/1018.57 c #Conflicts: 713000 | #Constraints: 37984 1015.98/1018.57 c #Conflicts: 714000 | #Constraints: 39618 1015.98/1018.57 c #Conflicts: 715000 | #Constraints: 41249 1015.98/1018.57 c #Conflicts: 716000 | #Constraints: 42908 1015.98/1018.57 c #Conflicts: 717000 | #Constraints: 44521 1015.98/1018.57 c #Conflicts: 718000 | #Constraints: 46101 1015.98/1018.57 c #Conflicts: 719000 | #Constraints: 47681 1015.98/1018.57 c #Conflicts: 720000 | #Constraints: 49280 1015.98/1018.57 c #Conflicts: 721000 | #Constraints: 50887 1015.98/1018.57 c #Conflicts: 722000 | #Constraints: 52466 1015.98/1018.57 c INPROCESSING 1015.98/1018.57 c GARBAGE COLLECT 1015.98/1018.57 c rational objective 0 1057.88/1060.51 c #Conflicts: 723000 | #Constraints: 27832 1057.88/1060.51 c #Conflicts: 724000 | #Constraints: 29394 1057.88/1060.51 c #Conflicts: 725000 | #Constraints: 30964 1057.88/1060.51 c #Conflicts: 726000 | #Constraints: 32119 1057.88/1060.51 c #Conflicts: 727000 | #Constraints: 33436 1057.88/1060.51 c #Conflicts: 728000 | #Constraints: 35008 1057.88/1060.51 c #Conflicts: 729000 | #Constraints: 36561 1057.88/1060.51 c #Conflicts: 730000 | #Constraints: 38124 1057.88/1060.51 c #Conflicts: 731000 | #Constraints: 39705 1057.88/1060.51 c #Conflicts: 732000 | #Constraints: 41292 1057.88/1060.51 c #Conflicts: 733000 | #Constraints: 42876 1057.88/1060.51 c #Conflicts: 734000 | #Constraints: 44471 1057.88/1060.51 c #Conflicts: 735000 | #Constraints: 46036 1057.88/1060.51 c #Conflicts: 736000 | #Constraints: 47626 1057.88/1060.51 c #Conflicts: 737000 | #Constraints: 49203 1057.88/1060.51 c #Conflicts: 738000 | #Constraints: 50787 1057.88/1060.51 c #Conflicts: 739000 | #Constraints: 52356 1057.88/1060.51 c INPROCESSING 1057.88/1060.51 c GARBAGE COLLECT 1057.88/1060.51 c rational objective 0 1095.59/1098.33 c #Conflicts: 740000 | #Constraints: 27203 1095.59/1098.33 c #Conflicts: 741000 | #Constraints: 28371 1095.59/1098.33 c #Conflicts: 742000 | #Constraints: 30023 1095.59/1098.33 c #Conflicts: 743000 | #Constraints: 31334 1095.59/1098.33 c #Conflicts: 744000 | #Constraints: 32837 1095.59/1098.33 c #Conflicts: 745000 | #Constraints: 34187 1095.59/1098.33 c #Conflicts: 746000 | #Constraints: 35791 1095.59/1098.33 c #Conflicts: 747000 | #Constraints: 37407 1095.59/1098.33 c #Conflicts: 748000 | #Constraints: 38759 1095.59/1098.33 c #Conflicts: 749000 | #Constraints: 40367 1095.59/1098.33 c #Conflicts: 750000 | #Constraints: 41367 1095.59/1098.33 c #Conflicts: 751000 | #Constraints: 42367 1095.59/1098.33 c #Conflicts: 752000 | #Constraints: 43367 1095.59/1098.33 c #Conflicts: 753000 | #Constraints: 44367 1095.59/1098.33 c #Conflicts: 754000 | #Constraints: 45367 1095.59/1098.33 c #Conflicts: 755000 | #Constraints: 46367 1095.59/1098.33 c #Conflicts: 756000 | #Constraints: 47367 1095.59/1098.33 c INPROCESSING 1095.59/1098.33 c GARBAGE COLLECT 1095.59/1098.33 c rational objective 0 1130.71/1133.51 c #Conflicts: 757000 | #Constraints: 24636 1130.71/1133.51 c #Conflicts: 758000 | #Constraints: 25993 1130.71/1133.51 c #Conflicts: 759000 | #Constraints: 27163 1130.71/1133.51 c #Conflicts: 760000 | #Constraints: 28163 1130.71/1133.51 c #Conflicts: 761000 | #Constraints: 29193 1130.71/1133.51 c #Conflicts: 762000 | #Constraints: 30494 1130.71/1133.51 c #Conflicts: 763000 | #Constraints: 31494 1130.71/1133.51 c #Conflicts: 764000 | #Constraints: 32494 1130.71/1133.51 c #Conflicts: 765000 | #Constraints: 33494 1130.71/1133.51 c #Conflicts: 766000 | #Constraints: 34817 1130.71/1133.51 c #Conflicts: 767000 | #Constraints: 36143 1130.71/1133.51 c #Conflicts: 768000 | #Constraints: 37263 1130.71/1133.51 c #Conflicts: 769000 | #Constraints: 38580 1130.71/1133.51 c #Conflicts: 770000 | #Constraints: 39814 1130.71/1133.51 c #Conflicts: 771000 | #Constraints: 41375 1130.71/1133.51 c #Conflicts: 772000 | #Constraints: 42448 1130.71/1133.51 c #Conflicts: 773000 | #Constraints: 43529 1130.71/1133.51 c #Conflicts: 774000 | #Constraints: 44901 1130.71/1133.51 c INPROCESSING 1130.71/1133.51 c GARBAGE COLLECT 1130.71/1133.51 c rational objective 0 1176.00/1178.92 c #Conflicts: 775000 | #Constraints: 23855 1176.00/1178.92 c #Conflicts: 776000 | #Constraints: 25432 1176.00/1178.92 c #Conflicts: 777000 | #Constraints: 27017 1176.00/1178.92 c #Conflicts: 778000 | #Constraints: 28710 1176.00/1178.92 c #Conflicts: 779000 | #Constraints: 30334 1176.00/1178.92 c #Conflicts: 780000 | #Constraints: 31932 1176.00/1178.92 c #Conflicts: 781000 | #Constraints: 33556 1176.00/1178.92 c #Conflicts: 782000 | #Constraints: 35168 1176.00/1178.92 c #Conflicts: 783000 | #Constraints: 36786 1176.00/1178.92 c #Conflicts: 784000 | #Constraints: 38408 1176.00/1178.92 c #Conflicts: 785000 | #Constraints: 40012 1176.00/1178.92 c #Conflicts: 786000 | #Constraints: 41615 1176.00/1178.92 c #Conflicts: 787000 | #Constraints: 43232 1176.00/1178.92 c #Conflicts: 788000 | #Constraints: 44838 1176.00/1178.92 c #Conflicts: 789000 | #Constraints: 46477 1176.00/1178.92 c #Conflicts: 790000 | #Constraints: 48107 1176.00/1178.92 c #Conflicts: 791000 | #Constraints: 49760 1176.00/1178.92 c #Conflicts: 792000 | #Constraints: 51401 1176.00/1178.92 c INPROCESSING 1176.00/1178.92 c GARBAGE COLLECT 1176.00/1178.92 c rational objective 0 1223.69/1226.73 c #Conflicts: 793000 | #Constraints: 27331 1223.69/1226.73 c #Conflicts: 794000 | #Constraints: 28969 1223.69/1226.73 c #Conflicts: 795000 | #Constraints: 30484 1223.69/1226.73 c #Conflicts: 796000 | #Constraints: 31744 1223.69/1226.73 c #Conflicts: 797000 | #Constraints: 33381 1223.69/1226.73 c #Conflicts: 798000 | #Constraints: 34995 1223.69/1226.73 c #Conflicts: 799000 | #Constraints: 36587 1223.69/1226.73 c #Conflicts: 800000 | #Constraints: 38203 1223.69/1226.73 c #Conflicts: 801000 | #Constraints: 39772 1223.69/1226.73 c #Conflicts: 802000 | #Constraints: 41403 1223.69/1226.73 c #Conflicts: 803000 | #Constraints: 43036 1223.69/1226.73 c #Conflicts: 804000 | #Constraints: 44670 1223.69/1226.73 c #Conflicts: 805000 | #Constraints: 46259 1223.69/1226.73 c #Conflicts: 806000 | #Constraints: 47857 1223.69/1226.73 c #Conflicts: 807000 | #Constraints: 49440 1223.69/1226.73 c #Conflicts: 808000 | #Constraints: 50787 1223.69/1226.73 c #Conflicts: 809000 | #Constraints: 51787 1223.69/1226.73 c #Conflicts: 810000 | #Constraints: 52787 1223.69/1226.73 c INPROCESSING 1223.69/1226.73 c GARBAGE COLLECT 1223.69/1226.73 c rational objective 0 1281.06/1284.25 c #Conflicts: 811000 | #Constraints: 27986 1281.06/1284.25 c #Conflicts: 812000 | #Constraints: 29593 1281.06/1284.25 c #Conflicts: 813000 | #Constraints: 31243 1281.06/1284.25 c #Conflicts: 814000 | #Constraints: 32843 1281.06/1284.25 c #Conflicts: 815000 | #Constraints: 34434 1281.06/1284.25 c #Conflicts: 816000 | #Constraints: 36044 1281.06/1284.25 c #Conflicts: 817000 | #Constraints: 37684 1281.06/1284.25 c #Conflicts: 818000 | #Constraints: 39275 1281.06/1284.25 c #Conflicts: 819000 | #Constraints: 40922 1281.06/1284.25 c #Conflicts: 820000 | #Constraints: 42545 1281.06/1284.25 c #Conflicts: 821000 | #Constraints: 44126 1281.06/1284.25 c #Conflicts: 822000 | #Constraints: 45740 1281.06/1284.25 c #Conflicts: 823000 | #Constraints: 47399 1281.06/1284.25 c #Conflicts: 824000 | #Constraints: 48975 1281.06/1284.25 c #Conflicts: 825000 | #Constraints: 50541 1281.06/1284.25 c #Conflicts: 826000 | #Constraints: 52111 1281.06/1284.25 c #Conflicts: 827000 | #Constraints: 53739 1281.06/1284.25 c #Conflicts: 828000 | #Constraints: 55388 1281.06/1284.25 c INPROCESSING 1281.06/1284.25 c GARBAGE COLLECT 1281.06/1284.25 c rational objective 0 1345.41/1348.73 c #Conflicts: 829000 | #Constraints: 29032 1345.41/1348.73 c #Conflicts: 830000 | #Constraints: 30482 1345.41/1348.73 c #Conflicts: 831000 | #Constraints: 31762 1345.41/1348.73 c #Conflicts: 832000 | #Constraints: 33317 1345.41/1348.73 c #Conflicts: 833000 | #Constraints: 34879 1345.41/1348.73 c #Conflicts: 834000 | #Constraints: 36537 1345.41/1348.73 c #Conflicts: 835000 | #Constraints: 38203 1345.41/1348.73 c #Conflicts: 836000 | #Constraints: 39868 1345.41/1348.73 c #Conflicts: 837000 | #Constraints: 41388 1345.41/1348.73 c #Conflicts: 838000 | #Constraints: 42472 1345.41/1348.73 c #Conflicts: 839000 | #Constraints: 44082 1345.41/1348.73 c #Conflicts: 840000 | #Constraints: 45706 1345.41/1348.73 c #Conflicts: 841000 | #Constraints: 47332 1345.41/1348.73 c #Conflicts: 842000 | #Constraints: 48938 1345.41/1348.73 c #Conflicts: 843000 | #Constraints: 50586 1345.41/1348.73 c #Conflicts: 844000 | #Constraints: 52113 1345.41/1348.73 c #Conflicts: 845000 | #Constraints: 53722 1345.41/1348.73 c #Conflicts: 846000 | #Constraints: 55147 1345.41/1348.73 c INPROCESSING 1345.41/1348.73 c GARBAGE COLLECT 1345.41/1348.73 c rational objective 0 1386.12/1389.58 c #Conflicts: 847000 | #Constraints: 28289 1386.12/1389.58 c #Conflicts: 848000 | #Constraints: 29289 1386.12/1389.58 c #Conflicts: 849000 | #Constraints: 30289 1386.12/1389.58 c #Conflicts: 850000 | #Constraints: 31289 1386.12/1389.58 c #Conflicts: 851000 | #Constraints: 32289 1386.12/1389.58 c #Conflicts: 852000 | #Constraints: 33289 1386.12/1389.58 c #Conflicts: 853000 | #Constraints: 34289 1386.12/1389.58 c #Conflicts: 854000 | #Constraints: 35289 1386.12/1389.58 c #Conflicts: 855000 | #Constraints: 36289 1386.12/1389.58 c #Conflicts: 856000 | #Constraints: 37289 1386.12/1389.58 c #Conflicts: 857000 | #Constraints: 38289 1386.12/1389.58 c #Conflicts: 858000 | #Constraints: 39289 1386.12/1389.58 c #Conflicts: 859000 | #Constraints: 40289 1386.12/1389.58 c #Conflicts: 860000 | #Constraints: 41289 1386.12/1389.58 c #Conflicts: 861000 | #Constraints: 42289 1386.12/1389.58 c #Conflicts: 862000 | #Constraints: 43289 1386.12/1389.58 c #Conflicts: 863000 | #Constraints: 44289 1386.12/1389.58 c #Conflicts: 864000 | #Constraints: 45289 1386.12/1389.58 c #Conflicts: 865000 | #Constraints: 46289 1386.12/1389.58 c INPROCESSING 1386.12/1389.58 c GARBAGE COLLECT 1386.12/1389.58 c rational objective 0 1425.92/1429.49 c #Conflicts: 866000 | #Constraints: 24511 1425.92/1429.49 c #Conflicts: 867000 | #Constraints: 25908 1425.92/1429.49 c #Conflicts: 868000 | #Constraints: 26908 1425.92/1429.49 c #Conflicts: 869000 | #Constraints: 27909 1425.92/1429.49 c #Conflicts: 870000 | #Constraints: 28909 1425.92/1429.49 c #Conflicts: 871000 | #Constraints: 29909 1425.92/1429.49 c #Conflicts: 872000 | #Constraints: 31067 1425.92/1429.49 c #Conflicts: 873000 | #Constraints: 32491 1425.92/1429.49 c #Conflicts: 874000 | #Constraints: 33491 1425.92/1429.49 c #Conflicts: 875000 | #Constraints: 34491 1425.92/1429.49 c #Conflicts: 876000 | #Constraints: 35849 1425.92/1429.49 c #Conflicts: 877000 | #Constraints: 36982 1425.92/1429.49 c #Conflicts: 878000 | #Constraints: 37982 1425.92/1429.49 c #Conflicts: 879000 | #Constraints: 38982 1425.92/1429.49 c #Conflicts: 880000 | #Constraints: 40625 1425.92/1429.49 c #Conflicts: 881000 | #Constraints: 41983 1425.92/1429.49 c #Conflicts: 882000 | #Constraints: 43539 1425.92/1429.49 c #Conflicts: 883000 | #Constraints: 44539 1425.92/1429.49 c #Conflicts: 884000 | #Constraints: 45760 1425.92/1429.49 c INPROCESSING 1425.92/1429.49 c GARBAGE COLLECT 1425.92/1429.49 c rational objective 0 1467.63/1471.23 c #Conflicts: 885000 | #Constraints: 24442 1467.63/1471.23 c #Conflicts: 886000 | #Constraints: 25900 1467.63/1471.23 c #Conflicts: 887000 | #Constraints: 26985 1467.63/1471.23 c #Conflicts: 888000 | #Constraints: 28292 1467.63/1471.23 c #Conflicts: 889000 | #Constraints: 29292 1467.63/1471.23 c #Conflicts: 890000 | #Constraints: 30772 1467.63/1471.23 c #Conflicts: 891000 | #Constraints: 31892 1467.63/1471.23 c #Conflicts: 892000 | #Constraints: 33502 1467.63/1471.23 c #Conflicts: 893000 | #Constraints: 34606 1467.63/1471.23 c #Conflicts: 894000 | #Constraints: 35828 1467.63/1471.23 c #Conflicts: 895000 | #Constraints: 37436 1467.63/1471.23 c #Conflicts: 896000 | #Constraints: 39060 1467.63/1471.23 c #Conflicts: 897000 | #Constraints: 40609 1467.63/1471.23 c #Conflicts: 898000 | #Constraints: 41609 1467.63/1471.23 c #Conflicts: 899000 | #Constraints: 42609 1467.63/1471.23 c #Conflicts: 900000 | #Constraints: 43707 1467.63/1471.23 c #Conflicts: 901000 | #Constraints: 44967 1467.63/1471.23 c #Conflicts: 902000 | #Constraints: 46501 1467.63/1471.23 c #Conflicts: 903000 | #Constraints: 47577 1467.63/1471.23 c INPROCESSING 1467.63/1471.23 c GARBAGE COLLECT 1467.63/1471.23 c rational objective 0 1514.92/1518.62 c #Conflicts: 904000 | #Constraints: 25434 1514.92/1518.62 c #Conflicts: 905000 | #Constraints: 27092 1514.92/1518.62 c #Conflicts: 906000 | #Constraints: 28212 1514.92/1518.62 c #Conflicts: 907000 | #Constraints: 29833 1514.92/1518.62 c #Conflicts: 908000 | #Constraints: 31477 1514.92/1518.62 c #Conflicts: 909000 | #Constraints: 33144 1514.92/1518.62 c #Conflicts: 910000 | #Constraints: 34808 1514.92/1518.62 c #Conflicts: 911000 | #Constraints: 36446 1514.92/1518.62 c #Conflicts: 912000 | #Constraints: 37788 1514.92/1518.62 c #Conflicts: 913000 | #Constraints: 39091 1514.92/1518.62 c #Conflicts: 914000 | #Constraints: 40699 1514.92/1518.62 c #Conflicts: 915000 | #Constraints: 42345 1514.92/1518.62 c #Conflicts: 916000 | #Constraints: 43512 1514.92/1518.62 c #Conflicts: 917000 | #Constraints: 44512 1514.92/1518.62 c #Conflicts: 918000 | #Constraints: 45512 1514.92/1518.62 c #Conflicts: 919000 | #Constraints: 46512 1514.92/1518.62 c #Conflicts: 920000 | #Constraints: 47512 1514.92/1518.62 c #Conflicts: 921000 | #Constraints: 48555 1514.92/1518.62 c #Conflicts: 922000 | #Constraints: 49846 1514.92/1518.62 c INPROCESSING 1514.92/1518.62 c GARBAGE COLLECT 1514.92/1518.62 c rational objective 0 1559.92/1563.72 c #Conflicts: 923000 | #Constraints: 26322 1559.92/1563.72 c #Conflicts: 924000 | #Constraints: 27889 1559.92/1563.72 c #Conflicts: 925000 | #Constraints: 29511 1559.92/1563.72 c #Conflicts: 926000 | #Constraints: 30849 1559.92/1563.72 c #Conflicts: 927000 | #Constraints: 31849 1559.92/1563.72 c #Conflicts: 928000 | #Constraints: 32849 1559.92/1563.72 c #Conflicts: 929000 | #Constraints: 33849 1559.92/1563.72 c #Conflicts: 930000 | #Constraints: 35068 1559.92/1563.72 c #Conflicts: 931000 | #Constraints: 36695 1559.92/1563.72 c #Conflicts: 932000 | #Constraints: 37978 1559.92/1563.72 c #Conflicts: 933000 | #Constraints: 39104 1559.92/1563.72 c #Conflicts: 934000 | #Constraints: 40104 1559.92/1563.72 c #Conflicts: 935000 | #Constraints: 41104 1559.92/1563.72 c #Conflicts: 936000 | #Constraints: 42186 1559.92/1563.72 c #Conflicts: 937000 | #Constraints: 43186 1559.92/1563.72 c #Conflicts: 938000 | #Constraints: 44447 1559.92/1563.72 c #Conflicts: 939000 | #Constraints: 45730 1559.92/1563.72 c #Conflicts: 940000 | #Constraints: 47283 1559.92/1563.72 c #Conflicts: 941000 | #Constraints: 48826 1559.92/1563.72 c INPROCESSING 1559.92/1563.72 c GARBAGE COLLECT 1559.92/1563.72 c rational objective 0 1601.82/1605.78 c #Conflicts: 942000 | #Constraints: 25297 1601.82/1605.78 c #Conflicts: 943000 | #Constraints: 26650 1601.82/1605.78 c #Conflicts: 944000 | #Constraints: 28249 1601.82/1605.78 c #Conflicts: 945000 | #Constraints: 29742 1601.82/1605.78 c #Conflicts: 946000 | #Constraints: 30742 1601.82/1605.78 c #Conflicts: 947000 | #Constraints: 31896 1601.82/1605.78 c #Conflicts: 948000 | #Constraints: 33063 1601.82/1605.78 c #Conflicts: 949000 | #Constraints: 34063 1601.82/1605.78 c #Conflicts: 950000 | #Constraints: 35063 1601.82/1605.78 c #Conflicts: 951000 | #Constraints: 36063 1601.82/1605.78 c #Conflicts: 952000 | #Constraints: 37063 1601.82/1605.78 c #Conflicts: 953000 | #Constraints: 38063 1601.82/1605.78 c #Conflicts: 954000 | #Constraints: 39093 1601.82/1605.78 c #Conflicts: 955000 | #Constraints: 40093 1601.82/1605.78 c #Conflicts: 956000 | #Constraints: 41405 1601.82/1605.78 c #Conflicts: 957000 | #Constraints: 42405 1601.82/1605.78 c #Conflicts: 958000 | #Constraints: 43573 1601.82/1605.78 c #Conflicts: 959000 | #Constraints: 45218 1601.82/1605.78 c #Conflicts: 960000 | #Constraints: 46855 1601.82/1605.78 c #Conflicts: 961000 | #Constraints: 48470 1601.82/1605.78 c INPROCESSING 1601.82/1605.78 c GARBAGE COLLECT 1601.82/1605.78 c rational objective 0 1653.70/1657.78 c #Conflicts: 962000 | #Constraints: 25214 1653.70/1657.78 c #Conflicts: 963000 | #Constraints: 26635 1653.70/1657.78 c #Conflicts: 964000 | #Constraints: 28293 1653.70/1657.78 c #Conflicts: 965000 | #Constraints: 29801 1653.70/1657.78 c #Conflicts: 966000 | #Constraints: 31446 1653.70/1657.78 c #Conflicts: 967000 | #Constraints: 32842 1653.70/1657.78 c #Conflicts: 968000 | #Constraints: 34313 1653.70/1657.78 c #Conflicts: 969000 | #Constraints: 35601 1653.70/1657.78 c #Conflicts: 970000 | #Constraints: 36601 1653.70/1657.78 c #Conflicts: 971000 | #Constraints: 37601 1653.70/1657.78 c #Conflicts: 972000 | #Constraints: 39149 1653.70/1657.78 c #Conflicts: 973000 | #Constraints: 40535 1653.70/1657.78 c #Conflicts: 974000 | #Constraints: 41535 1653.70/1657.78 c #Conflicts: 975000 | #Constraints: 42809 1653.70/1657.78 c #Conflicts: 976000 | #Constraints: 44435 1653.70/1657.78 c #Conflicts: 977000 | #Constraints: 46086 1653.70/1657.78 c #Conflicts: 978000 | #Constraints: 47162 1653.70/1657.78 c #Conflicts: 979000 | #Constraints: 48299 1653.70/1657.78 c #Conflicts: 980000 | #Constraints: 49775 1653.70/1657.78 c #Conflicts: 981000 | #Constraints: 51426 1653.70/1657.78 c INPROCESSING 1653.70/1657.78 c GARBAGE COLLECT 1653.70/1657.78 c rational objective 0 1710.46/1714.68 c #Conflicts: 982000 | #Constraints: 26800 1710.46/1714.68 c #Conflicts: 983000 | #Constraints: 28325 1710.46/1714.68 c #Conflicts: 984000 | #Constraints: 29929 1710.46/1714.68 c #Conflicts: 985000 | #Constraints: 31567 1710.46/1714.68 c #Conflicts: 986000 | #Constraints: 33207 1710.46/1714.68 c #Conflicts: 987000 | #Constraints: 34855 1710.46/1714.68 c #Conflicts: 988000 | #Constraints: 36234 1710.46/1714.68 c #Conflicts: 989000 | #Constraints: 37841 1710.46/1714.68 c #Conflicts: 990000 | #Constraints: 39462 1710.46/1714.68 c #Conflicts: 991000 | #Constraints: 41062 1710.46/1714.68 c #Conflicts: 992000 | #Constraints: 42702 1710.46/1714.68 c #Conflicts: 993000 | #Constraints: 44377 1710.46/1714.68 c #Conflicts: 994000 | #Constraints: 46056 1710.46/1714.68 c #Conflicts: 995000 | #Constraints: 47308 1710.46/1714.68 c #Conflicts: 996000 | #Constraints: 48917 1710.46/1714.68 c #Conflicts: 997000 | #Constraints: 50548 1710.46/1714.68 c #Conflicts: 998000 | #Constraints: 52147 1710.46/1714.68 c #Conflicts: 999000 | #Constraints: 53736 1710.46/1714.68 c #Conflicts: 1000000 | #Constraints: 55391 1710.46/1714.68 c #Conflicts: 1001000 | #Constraints: 57062 1710.46/1714.68 c INPROCESSING 1710.46/1714.68 c GARBAGE COLLECT 1710.46/1714.68 c rational objective 0 1759.26/1763.50 c #Conflicts: 1002000 | #Constraints: 29547 1759.26/1763.50 c #Conflicts: 1003000 | #Constraints: 30547 1759.26/1763.50 c #Conflicts: 1004000 | #Constraints: 31547 1759.26/1763.50 c #Conflicts: 1005000 | #Constraints: 32547 1759.26/1763.50 c #Conflicts: 1006000 | #Constraints: 33547 1759.26/1763.50 c #Conflicts: 1007000 | #Constraints: 34547 1759.26/1763.50 c #Conflicts: 1008000 | #Constraints: 35547 1759.26/1763.50 c #Conflicts: 1009000 | #Constraints: 36547 1759.26/1763.50 c #Conflicts: 1010000 | #Constraints: 37547 1759.26/1763.50 c #Conflicts: 1011000 | #Constraints: 38547 1759.26/1763.50 c #Conflicts: 1012000 | #Constraints: 39547 1759.26/1763.50 c #Conflicts: 1013000 | #Constraints: 40547 1759.26/1763.50 c #Conflicts: 1014000 | #Constraints: 41547 1759.26/1763.50 c #Conflicts: 1015000 | #Constraints: 42547 1759.26/1763.50 c #Conflicts: 1016000 | #Constraints: 43547 1759.26/1763.50 c #Conflicts: 1017000 | #Constraints: 44547 1759.26/1763.50 c #Conflicts: 1018000 | #Constraints: 45547 1759.26/1763.50 c #Conflicts: 1019000 | #Constraints: 46547 1759.26/1763.50 c #Conflicts: 1020000 | #Constraints: 47547 1759.26/1763.50 c #Conflicts: 1021000 | #Constraints: 48547 1759.26/1763.50 c INPROCESSING 1759.26/1763.50 c GARBAGE COLLECT 1759.26/1763.50 c rational objective 0 1805.75/1810.19 c #Conflicts: 1022000 | #Constraints: 25606 1805.75/1810.19 c #Conflicts: 1023000 | #Constraints: 27144 1805.75/1810.19 c #Conflicts: 1024000 | #Constraints: 28742 1805.75/1810.19 c #Conflicts: 1025000 | #Constraints: 30371 1805.75/1810.19 c #Conflicts: 1026000 | #Constraints: 31622 1805.75/1810.19 c #Conflicts: 1027000 | #Constraints: 32622 1805.75/1810.19 c #Conflicts: 1028000 | #Constraints: 33796 1805.75/1810.19 c #Conflicts: 1029000 | #Constraints: 34802 1805.75/1810.19 c #Conflicts: 1030000 | #Constraints: 35802 1805.75/1810.19 c #Conflicts: 1031000 | #Constraints: 36802 1805.75/1810.19 c #Conflicts: 1032000 | #Constraints: 37887 1805.75/1810.19 c #Conflicts: 1033000 | #Constraints: 38949 1805.75/1810.19 c #Conflicts: 1034000 | #Constraints: 39949 1805.75/1810.19 c #Conflicts: 1035000 | #Constraints: 40949 1805.75/1810.19 c #Conflicts: 1036000 | #Constraints: 41949 1805.75/1810.19 c #Conflicts: 1037000 | #Constraints: 42949 1805.75/1810.19 c #Conflicts: 1038000 | #Constraints: 44200 1805.75/1810.19 c #Conflicts: 1039000 | #Constraints: 45574 1805.75/1810.19 c #Conflicts: 1040000 | #Constraints: 46672 1805.75/1810.19 c #Conflicts: 1041000 | #Constraints: 47672 1805.75/1810.19 c INPROCESSING 1805.75/1810.19 c GARBAGE COLLECT 1805.75/1810.19 c rational objective 0 1859.13/1863.63 c #Conflicts: 1042000 | #Constraints: 24656 1859.13/1863.63 c #Conflicts: 1043000 | #Constraints: 26043 1859.13/1863.63 c #Conflicts: 1044000 | #Constraints: 27406 1859.13/1863.63 c #Conflicts: 1045000 | #Constraints: 29085 1859.13/1863.63 c #Conflicts: 1046000 | #Constraints: 30545 1859.13/1863.63 c #Conflicts: 1047000 | #Constraints: 31649 1859.13/1863.63 c #Conflicts: 1048000 | #Constraints: 33163 1859.13/1863.63 c #Conflicts: 1049000 | #Constraints: 34778 1859.13/1863.63 c #Conflicts: 1050000 | #Constraints: 35889 1859.13/1863.63 c #Conflicts: 1051000 | #Constraints: 37102 1859.13/1863.63 c #Conflicts: 1052000 | #Constraints: 38364 1859.13/1863.63 c #Conflicts: 1053000 | #Constraints: 39991 1859.13/1863.63 c #Conflicts: 1054000 | #Constraints: 41607 1859.13/1863.63 c #Conflicts: 1055000 | #Constraints: 43018 1859.13/1863.63 c #Conflicts: 1056000 | #Constraints: 44414 1859.13/1863.63 c #Conflicts: 1057000 | #Constraints: 45414 1859.13/1863.63 c #Conflicts: 1058000 | #Constraints: 46414 1859.13/1863.63 c #Conflicts: 1059000 | #Constraints: 48043 1859.13/1863.63 c #Conflicts: 1060000 | #Constraints: 49724 1859.13/1863.63 c #Conflicts: 1061000 | #Constraints: 51282 1859.13/1863.63 c #Conflicts: 1062000 | #Constraints: 52282 1859.13/1863.63 c INPROCESSING 1859.13/1863.63 c GARBAGE COLLECT 1859.13/1863.63 c rational objective 0 1936.45/1941.19 c #Conflicts: 1063000 | #Constraints: 27510 1936.45/1941.19 c #Conflicts: 1064000 | #Constraints: 29046 1936.45/1941.19 c #Conflicts: 1065000 | #Constraints: 30490 1936.45/1941.19 c #Conflicts: 1066000 | #Constraints: 32103 1936.45/1941.19 c #Conflicts: 1067000 | #Constraints: 33672 1936.45/1941.19 c #Conflicts: 1068000 | #Constraints: 35352 1936.45/1941.19 c #Conflicts: 1069000 | #Constraints: 36986 1936.45/1941.19 c #Conflicts: 1070000 | #Constraints: 38577 1936.45/1941.19 c #Conflicts: 1071000 | #Constraints: 40180 1936.45/1941.19 c #Conflicts: 1072000 | #Constraints: 41808 1936.45/1941.19 c #Conflicts: 1073000 | #Constraints: 43439 1936.45/1941.19 c #Conflicts: 1074000 | #Constraints: 45050 1936.45/1941.19 c #Conflicts: 1075000 | #Constraints: 46673 1936.45/1941.19 c #Conflicts: 1076000 | #Constraints: 48331 1936.45/1941.19 c #Conflicts: 1077000 | #Constraints: 50024 1936.45/1941.19 c #Conflicts: 1078000 | #Constraints: 51662 1936.45/1941.19 c #Conflicts: 1079000 | #Constraints: 52905 1936.45/1941.19 c #Conflicts: 1080000 | #Constraints: 53905 1936.45/1941.19 c #Conflicts: 1081000 | #Constraints: 55359 1936.45/1941.19 c #Conflicts: 1082000 | #Constraints: 57054 1936.45/1941.19 c #Conflicts: 1083000 | #Constraints: 58734 1936.45/1941.19 c INPROCESSING 1936.45/1941.19 c GARBAGE COLLECT 1936.45/1941.19 c rational objective 0 2018.15/2023.03 c #Conflicts: 1084000 | #Constraints: 30945 2018.15/2023.03 c #Conflicts: 1085000 | #Constraints: 32478 2018.15/2023.03 c #Conflicts: 1086000 | #Constraints: 33609 2018.15/2023.03 c #Conflicts: 1087000 | #Constraints: 35128 2018.15/2023.03 c #Conflicts: 1088000 | #Constraints: 36712 2018.15/2023.03 c #Conflicts: 1089000 | #Constraints: 38307 2018.15/2023.03 c #Conflicts: 1090000 | #Constraints: 39850 2018.15/2023.03 c #Conflicts: 1091000 | #Constraints: 41410 2018.15/2023.03 c #Conflicts: 1092000 | #Constraints: 43007 2018.15/2023.03 c #Conflicts: 1093000 | #Constraints: 44279 2018.15/2023.03 c #Conflicts: 1094000 | #Constraints: 45685 2018.15/2023.03 c #Conflicts: 1095000 | #Constraints: 47086 2018.15/2023.03 c #Conflicts: 1096000 | #Constraints: 48222 2018.15/2023.03 c #Conflicts: 1097000 | #Constraints: 49381 2018.15/2023.03 c #Conflicts: 1098000 | #Constraints: 50798 2018.15/2023.03 c #Conflicts: 1099000 | #Constraints: 51798 2018.15/2023.03 c #Conflicts: 1100000 | #Constraints: 52798 2018.15/2023.03 c #Conflicts: 1101000 | #Constraints: 53798 2018.15/2023.03 c #Conflicts: 1102000 | #Constraints: 54977 2018.15/2023.03 c #Conflicts: 1103000 | #Constraints: 56335 2018.15/2023.03 c #Conflicts: 1104000 | #Constraints: 57948 2018.15/2023.03 c INPROCESSING 2018.15/2023.03 c GARBAGE COLLECT 2018.15/2023.03 c rational objective 0 2081.50/2086.50 c #Conflicts: 1105000 | #Constraints: 29991 2081.50/2086.50 c #Conflicts: 1106000 | #Constraints: 31191 2081.50/2086.50 c #Conflicts: 1107000 | #Constraints: 32191 2081.50/2086.50 c #Conflicts: 1108000 | #Constraints: 33191 2081.50/2086.50 c #Conflicts: 1109000 | #Constraints: 34388 2081.50/2086.50 c #Conflicts: 1110000 | #Constraints: 35935 2081.50/2086.50 c #Conflicts: 1111000 | #Constraints: 37320 2081.50/2086.50 c #Conflicts: 1112000 | #Constraints: 38554 2081.50/2086.50 c #Conflicts: 1113000 | #Constraints: 39980 2081.50/2086.50 c #Conflicts: 1114000 | #Constraints: 41104 2081.50/2086.50 c #Conflicts: 1115000 | #Constraints: 42206 2081.50/2086.50 c #Conflicts: 1116000 | #Constraints: 43206 2081.50/2086.50 c #Conflicts: 1117000 | #Constraints: 44593 2081.50/2086.50 c #Conflicts: 1118000 | #Constraints: 46031 2081.50/2086.50 c #Conflicts: 1119000 | #Constraints: 47031 2081.50/2086.50 c #Conflicts: 1120000 | #Constraints: 48031 2081.50/2086.50 c #Conflicts: 1121000 | #Constraints: 49405 2081.50/2086.50 c #Conflicts: 1122000 | #Constraints: 50423 2081.50/2086.50 c #Conflicts: 1123000 | #Constraints: 51598 2081.50/2086.50 c #Conflicts: 1124000 | #Constraints: 52598 2081.50/2086.50 c #Conflicts: 1125000 | #Constraints: 53598 2081.50/2086.50 c INPROCESSING 2081.50/2086.50 c GARBAGE COLLECT 2081.50/2086.50 c rational objective 0 2132.29/2137.49 c #Conflicts: 1126000 | #Constraints: 27716 2132.29/2137.49 c #Conflicts: 1127000 | #Constraints: 28716 2132.29/2137.49 c #Conflicts: 1128000 | #Constraints: 29716 2132.29/2137.49 c #Conflicts: 1129000 | #Constraints: 30716 2132.29/2137.49 c #Conflicts: 1130000 | #Constraints: 31716 2132.29/2137.49 c #Conflicts: 1131000 | #Constraints: 32716 2132.29/2137.49 c #Conflicts: 1132000 | #Constraints: 33716 2132.29/2137.49 c #Conflicts: 1133000 | #Constraints: 34716 2132.29/2137.49 c #Conflicts: 1134000 | #Constraints: 35716 2132.29/2137.49 c #Conflicts: 1135000 | #Constraints: 36716 2132.29/2137.49 c #Conflicts: 1136000 | #Constraints: 37716 2132.29/2137.49 c #Conflicts: 1137000 | #Constraints: 38716 2132.29/2137.49 c #Conflicts: 1138000 | #Constraints: 39716 2132.29/2137.49 c #Conflicts: 1139000 | #Constraints: 40716 2132.29/2137.49 c #Conflicts: 1140000 | #Constraints: 41716 2132.29/2137.49 c #Conflicts: 1141000 | #Constraints: 42716 2132.29/2137.49 c #Conflicts: 1142000 | #Constraints: 43716 2132.29/2137.49 c #Conflicts: 1143000 | #Constraints: 44716 2132.29/2137.49 c #Conflicts: 1144000 | #Constraints: 45716 2132.29/2137.49 c #Conflicts: 1145000 | #Constraints: 46716 2132.29/2137.49 c #Conflicts: 1146000 | #Constraints: 47716 2132.29/2137.49 c INPROCESSING 2132.29/2137.49 c GARBAGE COLLECT 2132.29/2137.49 c rational objective 0 2181.67/2186.93 c #Conflicts: 1147000 | #Constraints: 24649 2181.67/2186.93 c #Conflicts: 1148000 | #Constraints: 25886 2181.67/2186.93 c #Conflicts: 1149000 | #Constraints: 26886 2181.67/2186.93 c #Conflicts: 1150000 | #Constraints: 27919 2181.67/2186.93 c #Conflicts: 1151000 | #Constraints: 28978 2181.67/2186.93 c #Conflicts: 1152000 | #Constraints: 29978 2181.67/2186.93 c #Conflicts: 1153000 | #Constraints: 31001 2181.67/2186.93 c #Conflicts: 1154000 | #Constraints: 32113 2181.67/2186.93 c #Conflicts: 1155000 | #Constraints: 33308 2181.67/2186.93 c #Conflicts: 1156000 | #Constraints: 34349 2181.67/2186.93 c #Conflicts: 1157000 | #Constraints: 35349 2181.67/2186.93 c #Conflicts: 1158000 | #Constraints: 36402 2181.67/2186.93 c #Conflicts: 1159000 | #Constraints: 37601 2181.67/2186.93 c #Conflicts: 1160000 | #Constraints: 38659 2181.67/2186.93 c #Conflicts: 1161000 | #Constraints: 39683 2181.67/2186.93 c #Conflicts: 1162000 | #Constraints: 40683 2181.67/2186.93 c #Conflicts: 1163000 | #Constraints: 41683 2181.67/2186.93 c #Conflicts: 1164000 | #Constraints: 42683 2181.67/2186.93 c #Conflicts: 1165000 | #Constraints: 43683 2181.67/2186.93 c #Conflicts: 1166000 | #Constraints: 44702 2181.67/2186.93 c #Conflicts: 1167000 | #Constraints: 45702 2181.67/2186.93 c #Conflicts: 1168000 | #Constraints: 46702 2181.67/2186.93 c INPROCESSING 2181.67/2186.93 c GARBAGE COLLECT 2181.67/2186.93 c rational objective 0 2231.15/2236.55 c #Conflicts: 1169000 | #Constraints: 24592 2231.15/2236.55 c #Conflicts: 1170000 | #Constraints: 26077 2231.15/2236.55 c #Conflicts: 1171000 | #Constraints: 27598 2231.15/2236.55 c #Conflicts: 1172000 | #Constraints: 28892 2231.15/2236.55 c #Conflicts: 1173000 | #Constraints: 30059 2231.15/2236.55 c #Conflicts: 1174000 | #Constraints: 31059 2231.15/2236.55 c #Conflicts: 1175000 | #Constraints: 32059 2231.15/2236.55 c #Conflicts: 1176000 | #Constraints: 33213 2231.15/2236.55 c #Conflicts: 1177000 | #Constraints: 34310 2231.15/2236.55 c #Conflicts: 1178000 | #Constraints: 35310 2231.15/2236.55 c #Conflicts: 1179000 | #Constraints: 36310 2231.15/2236.55 c #Conflicts: 1180000 | #Constraints: 37310 2231.15/2236.55 c #Conflicts: 1181000 | #Constraints: 38310 2231.15/2236.55 c #Conflicts: 1182000 | #Constraints: 39310 2231.15/2236.55 c #Conflicts: 1183000 | #Constraints: 40310 2231.15/2236.55 c #Conflicts: 1184000 | #Constraints: 41563 2231.15/2236.55 c #Conflicts: 1185000 | #Constraints: 42563 2231.15/2236.55 c #Conflicts: 1186000 | #Constraints: 43564 2231.15/2236.55 c #Conflicts: 1187000 | #Constraints: 44564 2231.15/2236.55 c #Conflicts: 1188000 | #Constraints: 45810 2231.15/2236.55 c #Conflicts: 1189000 | #Constraints: 46810 2231.15/2236.55 c #Conflicts: 1190000 | #Constraints: 47935 2231.15/2236.55 c INPROCESSING 2231.15/2236.55 c GARBAGE COLLECT 2231.15/2236.55 c rational objective 0 2279.03/2284.55 c #Conflicts: 1191000 | #Constraints: 25249 2279.03/2284.55 c #Conflicts: 1192000 | #Constraints: 26381 2279.03/2284.55 c #Conflicts: 1193000 | #Constraints: 27381 2279.03/2284.55 c #Conflicts: 1194000 | #Constraints: 28505 2279.03/2284.55 c #Conflicts: 1195000 | #Constraints: 29561 2279.03/2284.55 c #Conflicts: 1196000 | #Constraints: 30561 2279.03/2284.55 c #Conflicts: 1197000 | #Constraints: 31561 2279.03/2284.55 c #Conflicts: 1198000 | #Constraints: 32561 2279.03/2284.55 c #Conflicts: 1199000 | #Constraints: 33561 2279.03/2284.55 c #Conflicts: 1200000 | #Constraints: 34561 2279.03/2284.55 c #Conflicts: 1201000 | #Constraints: 35561 2279.03/2284.55 c #Conflicts: 1202000 | #Constraints: 36641 2279.03/2284.55 c #Conflicts: 1203000 | #Constraints: 37668 2279.03/2284.55 c #Conflicts: 1204000 | #Constraints: 38668 2279.03/2284.55 c #Conflicts: 1205000 | #Constraints: 39685 2279.03/2284.55 c #Conflicts: 1206000 | #Constraints: 40761 2279.03/2284.55 c #Conflicts: 1207000 | #Constraints: 41778 2279.03/2284.55 c #Conflicts: 1208000 | #Constraints: 42778 2279.03/2284.55 c #Conflicts: 1209000 | #Constraints: 43839 2279.03/2284.55 c #Conflicts: 1210000 | #Constraints: 44896 2279.03/2284.55 c #Conflicts: 1211000 | #Constraints: 45929 2279.03/2284.55 c #Conflicts: 1212000 | #Constraints: 47164 2279.03/2284.55 c INPROCESSING 2279.03/2284.55 c GARBAGE COLLECT 2279.03/2284.55 c rational objective 0 2333.21/2338.86 c #Conflicts: 1213000 | #Constraints: 24875 2333.21/2338.86 c #Conflicts: 1214000 | #Constraints: 26431 2333.21/2338.86 c #Conflicts: 1215000 | #Constraints: 27671 2333.21/2338.86 c #Conflicts: 1216000 | #Constraints: 28904 2333.21/2338.86 c #Conflicts: 1217000 | #Constraints: 30003 2333.21/2338.86 c #Conflicts: 1218000 | #Constraints: 31003 2333.21/2338.86 c #Conflicts: 1219000 | #Constraints: 32003 2333.21/2338.86 c #Conflicts: 1220000 | #Constraints: 33457 2333.21/2338.86 c #Conflicts: 1221000 | #Constraints: 34654 2333.21/2338.86 c #Conflicts: 1222000 | #Constraints: 36068 2333.21/2338.86 c #Conflicts: 1223000 | #Constraints: 37508 2333.21/2338.86 c #Conflicts: 1224000 | #Constraints: 38508 2333.21/2338.86 c #Conflicts: 1225000 | #Constraints: 39552 2333.21/2338.86 c #Conflicts: 1226000 | #Constraints: 40552 2333.21/2338.86 c #Conflicts: 1227000 | #Constraints: 41552 2333.21/2338.86 c #Conflicts: 1228000 | #Constraints: 42784 2333.21/2338.86 c #Conflicts: 1229000 | #Constraints: 44159 2333.21/2338.86 c #Conflicts: 1230000 | #Constraints: 45159 2333.21/2338.86 c #Conflicts: 1231000 | #Constraints: 46159 2333.21/2338.86 c #Conflicts: 1232000 | #Constraints: 47314 2333.21/2338.86 c #Conflicts: 1233000 | #Constraints: 48673 2333.21/2338.86 c #Conflicts: 1234000 | #Constraints: 49673 2333.21/2338.86 c INPROCESSING 2333.21/2338.86 c GARBAGE COLLECT 2333.21/2338.86 c rational objective 0 2392.77/2398.51 c #Conflicts: 1235000 | #Constraints: 25816 2392.77/2398.51 c #Conflicts: 1236000 | #Constraints: 26816 2392.77/2398.51 c #Conflicts: 1237000 | #Constraints: 27816 2392.77/2398.51 c #Conflicts: 1238000 | #Constraints: 29076 2392.77/2398.51 c #Conflicts: 1239000 | #Constraints: 30076 2392.77/2398.51 c #Conflicts: 1240000 | #Constraints: 31076 2392.77/2398.51 c #Conflicts: 1241000 | #Constraints: 32329 2392.77/2398.51 c #Conflicts: 1242000 | #Constraints: 33979 2392.77/2398.51 c #Conflicts: 1243000 | #Constraints: 35618 2392.77/2398.51 c #Conflicts: 1244000 | #Constraints: 37191 2392.77/2398.51 c #Conflicts: 1245000 | #Constraints: 38802 2392.77/2398.51 c #Conflicts: 1246000 | #Constraints: 40305 2392.77/2398.51 c #Conflicts: 1247000 | #Constraints: 41305 2392.77/2398.51 c #Conflicts: 1248000 | #Constraints: 42425 2392.77/2398.51 c #Conflicts: 1249000 | #Constraints: 43921 2392.77/2398.51 c #Conflicts: 1250000 | #Constraints: 45386 2392.77/2398.51 c #Conflicts: 1251000 | #Constraints: 46964 2392.77/2398.51 c #Conflicts: 1252000 | #Constraints: 48468 2392.77/2398.51 c #Conflicts: 1253000 | #Constraints: 50100 2392.77/2398.51 c #Conflicts: 1254000 | #Constraints: 51721 2392.77/2398.51 c #Conflicts: 1255000 | #Constraints: 52838 2392.77/2398.51 c #Conflicts: 1256000 | #Constraints: 54257 2392.77/2398.51 c INPROCESSING 2392.77/2398.51 c GARBAGE COLLECT 2392.77/2398.51 c rational objective 0 2457.32/2463.27 c #Conflicts: 1257000 | #Constraints: 28195 2457.32/2463.27 c #Conflicts: 1258000 | #Constraints: 29195 2457.32/2463.27 c #Conflicts: 1259000 | #Constraints: 30323 2457.32/2463.27 c #Conflicts: 1260000 | #Constraints: 31887 2457.32/2463.27 c #Conflicts: 1261000 | #Constraints: 33133 2457.32/2463.27 c #Conflicts: 1262000 | #Constraints: 34133 2457.32/2463.27 c #Conflicts: 1263000 | #Constraints: 35133 2457.32/2463.27 c #Conflicts: 1264000 | #Constraints: 36133 2457.32/2463.27 c #Conflicts: 1265000 | #Constraints: 37650 2457.32/2463.27 c #Conflicts: 1266000 | #Constraints: 39231 2457.32/2463.27 c #Conflicts: 1267000 | #Constraints: 40231 2457.32/2463.27 c #Conflicts: 1268000 | #Constraints: 41231 2457.32/2463.27 c #Conflicts: 1269000 | #Constraints: 42231 2457.32/2463.27 c #Conflicts: 1270000 | #Constraints: 43231 2457.32/2463.27 c #Conflicts: 1271000 | #Constraints: 44690 2457.32/2463.27 c #Conflicts: 1272000 | #Constraints: 46255 2457.32/2463.27 c #Conflicts: 1273000 | #Constraints: 47812 2457.32/2463.27 c #Conflicts: 1274000 | #Constraints: 49245 2457.32/2463.27 c #Conflicts: 1275000 | #Constraints: 50815 2457.32/2463.27 c #Conflicts: 1276000 | #Constraints: 52344 2457.32/2463.27 c #Conflicts: 1277000 | #Constraints: 53906 2457.32/2463.27 c #Conflicts: 1278000 | #Constraints: 54906 2457.32/2463.27 c #Conflicts: 1279000 | #Constraints: 55906 2457.32/2463.27 c INPROCESSING 2457.32/2463.27 c GARBAGE COLLECT 2457.32/2463.27 c rational objective 0 2534.13/2540.25 c #Conflicts: 1280000 | #Constraints: 29319 2534.13/2540.25 c #Conflicts: 1281000 | #Constraints: 30915 2534.13/2540.25 c #Conflicts: 1282000 | #Constraints: 32486 2534.13/2540.25 c #Conflicts: 1283000 | #Constraints: 34091 2534.13/2540.25 c #Conflicts: 1284000 | #Constraints: 35712 2534.13/2540.25 c #Conflicts: 1285000 | #Constraints: 37283 2534.13/2540.25 c #Conflicts: 1286000 | #Constraints: 38885 2534.13/2540.25 c #Conflicts: 1287000 | #Constraints: 40505 2534.13/2540.25 c #Conflicts: 1288000 | #Constraints: 42125 2534.13/2540.25 c #Conflicts: 1289000 | #Constraints: 43712 2534.13/2540.25 c #Conflicts: 1290000 | #Constraints: 45266 2534.13/2540.25 c #Conflicts: 1291000 | #Constraints: 46806 2534.13/2540.25 c #Conflicts: 1292000 | #Constraints: 48397 2534.13/2540.25 c #Conflicts: 1293000 | #Constraints: 50006 2534.13/2540.25 c #Conflicts: 1294000 | #Constraints: 51639 2534.13/2540.25 c #Conflicts: 1295000 | #Constraints: 53218 2534.13/2540.25 c #Conflicts: 1296000 | #Constraints: 54851 2534.13/2540.25 c #Conflicts: 1297000 | #Constraints: 56485 2534.13/2540.25 c #Conflicts: 1298000 | #Constraints: 58153 2534.13/2540.25 c #Conflicts: 1299000 | #Constraints: 59745 2534.13/2540.25 c #Conflicts: 1300000 | #Constraints: 61377 2534.13/2540.25 c #Conflicts: 1301000 | #Constraints: 63025 2534.13/2540.25 c #Conflicts: 1302000 | #Constraints: 64671 2534.13/2540.25 c INPROCESSING 2534.13/2540.25 c GARBAGE COLLECT 2534.13/2540.25 c rational objective 0 2603.97/2610.22 c #Conflicts: 1303000 | #Constraints: 33353 2603.97/2610.22 c #Conflicts: 1304000 | #Constraints: 34469 2603.97/2610.22 c #Conflicts: 1305000 | #Constraints: 35856 2603.97/2610.22 c #Conflicts: 1306000 | #Constraints: 37378 2603.97/2610.22 c #Conflicts: 1307000 | #Constraints: 38378 2603.97/2610.22 c #Conflicts: 1308000 | #Constraints: 39543 2603.97/2610.22 c #Conflicts: 1309000 | #Constraints: 40801 2603.97/2610.22 c #Conflicts: 1310000 | #Constraints: 41938 2603.97/2610.22 c #Conflicts: 1311000 | #Constraints: 42938 2603.97/2610.22 c #Conflicts: 1312000 | #Constraints: 43938 2603.97/2610.22 c #Conflicts: 1313000 | #Constraints: 44938 2603.97/2610.22 c #Conflicts: 1314000 | #Constraints: 46298 2603.97/2610.22 c #Conflicts: 1315000 | #Constraints: 47855 2603.97/2610.22 c #Conflicts: 1316000 | #Constraints: 49051 2603.97/2610.22 c #Conflicts: 1317000 | #Constraints: 50051 2603.97/2610.22 c #Conflicts: 1318000 | #Constraints: 51051 2603.97/2610.22 c #Conflicts: 1319000 | #Constraints: 52532 2603.97/2610.22 c #Conflicts: 1320000 | #Constraints: 53837 2603.97/2610.22 c #Conflicts: 1321000 | #Constraints: 55089 2603.97/2610.22 c #Conflicts: 1322000 | #Constraints: 56089 2603.97/2610.22 c #Conflicts: 1323000 | #Constraints: 57200 2603.97/2610.22 c #Conflicts: 1324000 | #Constraints: 58201 2603.97/2610.22 c #Conflicts: 1325000 | #Constraints: 59647 2603.97/2610.22 c INPROCESSING 2603.97/2610.22 c GARBAGE COLLECT 2603.97/2610.22 c rational objective 0 2674.51/2680.90 c #Conflicts: 1326000 | #Constraints: 31213 2674.51/2680.90 c #Conflicts: 1327000 | #Constraints: 32653 2674.51/2680.90 c #Conflicts: 1328000 | #Constraints: 34233 2674.51/2680.90 c #Conflicts: 1329000 | #Constraints: 35542 2674.51/2680.90 c #Conflicts: 1330000 | #Constraints: 37114 2674.51/2680.90 c #Conflicts: 1331000 | #Constraints: 38219 2674.51/2680.90 c #Conflicts: 1332000 | #Constraints: 39297 2674.51/2680.90 c #Conflicts: 1333000 | #Constraints: 40297 2674.51/2680.90 c #Conflicts: 1334000 | #Constraints: 41334 2674.51/2680.90 c #Conflicts: 1335000 | #Constraints: 42474 2674.51/2680.90 c #Conflicts: 1336000 | #Constraints: 43586 2674.51/2680.90 c #Conflicts: 1337000 | #Constraints: 44586 2674.51/2680.90 c #Conflicts: 1338000 | #Constraints: 45694 2674.51/2680.90 c #Conflicts: 1339000 | #Constraints: 46695 2674.51/2680.90 c #Conflicts: 1340000 | #Constraints: 47948 2674.51/2680.90 c #Conflicts: 1341000 | #Constraints: 49524 2674.51/2680.90 c #Conflicts: 1342000 | #Constraints: 50689 2674.51/2680.90 c #Conflicts: 1343000 | #Constraints: 51704 2674.51/2680.90 c #Conflicts: 1344000 | #Constraints: 52977 2674.51/2680.90 c #Conflicts: 1345000 | #Constraints: 54179 2674.51/2680.90 c #Conflicts: 1346000 | #Constraints: 55246 2674.51/2680.90 c #Conflicts: 1347000 | #Constraints: 56588 2674.51/2680.90 c #Conflicts: 1348000 | #Constraints: 57856 2674.51/2680.90 c INPROCESSING 2674.51/2680.90 c GARBAGE COLLECT 2674.51/2680.90 c rational objective 0 2742.64/2749.29 c #Conflicts: 1349000 | #Constraints: 30092 2742.64/2749.29 c #Conflicts: 1350000 | #Constraints: 31258 2742.64/2749.29 c #Conflicts: 1351000 | #Constraints: 32450 2742.64/2749.29 c #Conflicts: 1352000 | #Constraints: 33614 2742.64/2749.29 c #Conflicts: 1353000 | #Constraints: 34893 2742.64/2749.29 c #Conflicts: 1354000 | #Constraints: 35893 2742.64/2749.29 c #Conflicts: 1355000 | #Constraints: 36927 2742.64/2749.29 c #Conflicts: 1356000 | #Constraints: 38303 2742.64/2749.29 c #Conflicts: 1357000 | #Constraints: 39829 2742.64/2749.29 c #Conflicts: 1358000 | #Constraints: 41172 2742.64/2749.29 c #Conflicts: 1359000 | #Constraints: 42172 2742.64/2749.29 c #Conflicts: 1360000 | #Constraints: 43172 2742.64/2749.29 c #Conflicts: 1361000 | #Constraints: 44196 2742.64/2749.29 c #Conflicts: 1362000 | #Constraints: 45520 2742.64/2749.29 c #Conflicts: 1363000 | #Constraints: 46521 2742.64/2749.29 c #Conflicts: 1364000 | #Constraints: 47661 2742.64/2749.29 c #Conflicts: 1365000 | #Constraints: 48897 2742.64/2749.29 c #Conflicts: 1366000 | #Constraints: 49955 2742.64/2749.29 c #Conflicts: 1367000 | #Constraints: 51012 2742.64/2749.29 c #Conflicts: 1368000 | #Constraints: 52012 2742.64/2749.29 c #Conflicts: 1369000 | #Constraints: 53012 2742.64/2749.29 c #Conflicts: 1370000 | #Constraints: 54127 2742.64/2749.29 c #Conflicts: 1371000 | #Constraints: 55127 2742.64/2749.29 c INPROCESSING 2742.64/2749.29 c GARBAGE COLLECT 2742.64/2749.29 c rational objective 0 2826.14/2832.91 c #Conflicts: 1372000 | #Constraints: 28517 2826.14/2832.91 c #Conflicts: 1373000 | #Constraints: 30116 2826.14/2832.91 c #Conflicts: 1374000 | #Constraints: 31726 2826.14/2832.91 c #Conflicts: 1375000 | #Constraints: 33359 2826.14/2832.91 c #Conflicts: 1376000 | #Constraints: 34995 2826.14/2832.91 c #Conflicts: 1377000 | #Constraints: 36637 2826.14/2832.91 c #Conflicts: 1378000 | #Constraints: 38243 2826.14/2832.91 c #Conflicts: 1379000 | #Constraints: 39883 2826.14/2832.91 c #Conflicts: 1380000 | #Constraints: 41507 2826.14/2832.91 c #Conflicts: 1381000 | #Constraints: 43067 2826.14/2832.91 c #Conflicts: 1382000 | #Constraints: 44654 2826.14/2832.91 c #Conflicts: 1383000 | #Constraints: 46251 2826.14/2832.91 c #Conflicts: 1384000 | #Constraints: 47857 2826.14/2832.91 c #Conflicts: 1385000 | #Constraints: 49450 2826.14/2832.91 c #Conflicts: 1386000 | #Constraints: 51073 2826.14/2832.91 c #Conflicts: 1387000 | #Constraints: 52680 2826.14/2832.91 c #Conflicts: 1388000 | #Constraints: 54301 2826.14/2832.91 c #Conflicts: 1389000 | #Constraints: 55948 2826.14/2832.91 c #Conflicts: 1390000 | #Constraints: 57542 2826.14/2832.91 c #Conflicts: 1391000 | #Constraints: 59148 2826.14/2832.91 c #Conflicts: 1392000 | #Constraints: 60730 2826.14/2832.91 c #Conflicts: 1393000 | #Constraints: 62386 2826.14/2832.91 c #Conflicts: 1394000 | #Constraints: 63989 2826.14/2832.91 c #Conflicts: 1395000 | #Constraints: 65409 2826.14/2832.91 c INPROCESSING 2826.14/2832.91 c GARBAGE COLLECT 2826.14/2832.91 c rational objective 0 2925.71/2932.74 c #Conflicts: 1396000 | #Constraints: 34091 2925.71/2932.74 c #Conflicts: 1397000 | #Constraints: 35708 2925.71/2932.74 c #Conflicts: 1398000 | #Constraints: 37308 2925.71/2932.74 c #Conflicts: 1399000 | #Constraints: 38959 2925.71/2932.74 c #Conflicts: 1400000 | #Constraints: 40615 2925.71/2932.74 c #Conflicts: 1401000 | #Constraints: 42291 2925.71/2932.74 c #Conflicts: 1402000 | #Constraints: 43929 2925.71/2932.74 c #Conflicts: 1403000 | #Constraints: 45559 2925.71/2932.74 c #Conflicts: 1404000 | #Constraints: 47208 2925.71/2932.74 c #Conflicts: 1405000 | #Constraints: 48843 2925.71/2932.74 c #Conflicts: 1406000 | #Constraints: 50420 2925.71/2932.74 c #Conflicts: 1407000 | #Constraints: 52033 2925.71/2932.74 c #Conflicts: 1408000 | #Constraints: 53640 2925.71/2932.74 c #Conflicts: 1409000 | #Constraints: 55256 2925.71/2932.74 c #Conflicts: 1410000 | #Constraints: 56844 2925.71/2932.74 c #Conflicts: 1411000 | #Constraints: 58391 2925.71/2932.74 c #Conflicts: 1412000 | #Constraints: 59745 2925.71/2932.74 c #Conflicts: 1413000 | #Constraints: 61364 2925.71/2932.74 c #Conflicts: 1414000 | #Constraints: 63017 2925.71/2932.74 c #Conflicts: 1415000 | #Constraints: 64631 2925.71/2932.74 c #Conflicts: 1416000 | #Constraints: 66229 2925.71/2932.74 c #Conflicts: 1417000 | #Constraints: 67823 2925.71/2932.74 c #Conflicts: 1418000 | #Constraints: 69482 2925.71/2932.74 c #Conflicts: 1419000 | #Constraints: 71144 2925.71/2932.74 c INPROCESSING 2925.71/2932.74 c GARBAGE COLLECT 2925.71/2932.74 c rational objective 0 3020.08/3027.32 c #Conflicts: 1420000 | #Constraints: 37077 3020.08/3027.32 c #Conflicts: 1421000 | #Constraints: 38559 3020.08/3027.32 c #Conflicts: 1422000 | #Constraints: 39606 3020.08/3027.32 c #Conflicts: 1423000 | #Constraints: 41205 3020.08/3027.32 c #Conflicts: 1424000 | #Constraints: 42785 3020.08/3027.32 c #Conflicts: 1425000 | #Constraints: 44412 3020.08/3027.32 c #Conflicts: 1426000 | #Constraints: 45643 3020.08/3027.32 c #Conflicts: 1427000 | #Constraints: 47032 3020.08/3027.32 c #Conflicts: 1428000 | #Constraints: 48626 3020.08/3027.32 c #Conflicts: 1429000 | #Constraints: 50186 3020.08/3027.32 c #Conflicts: 1430000 | #Constraints: 51742 3020.08/3027.32 c #Conflicts: 1431000 | #Constraints: 52992 3020.08/3027.32 c #Conflicts: 1432000 | #Constraints: 53992 3020.08/3027.32 c #Conflicts: 1433000 | #Constraints: 55241 3020.08/3027.32 c #Conflicts: 1434000 | #Constraints: 56838 3020.08/3027.32 c #Conflicts: 1435000 | #Constraints: 57838 3020.08/3027.32 c #Conflicts: 1436000 | #Constraints: 59073 3020.08/3027.32 c #Conflicts: 1437000 | #Constraints: 60695 3020.08/3027.32 c #Conflicts: 1438000 | #Constraints: 62329 3020.08/3027.32 c #Conflicts: 1439000 | #Constraints: 63970 3020.08/3027.32 c #Conflicts: 1440000 | #Constraints: 65620 3020.08/3027.32 c #Conflicts: 1441000 | #Constraints: 67254 3020.08/3027.32 c #Conflicts: 1442000 | #Constraints: 68908 3020.08/3027.32 c #Conflicts: 1443000 | #Constraints: 70540 3020.08/3027.32 c INPROCESSING 3020.08/3027.32 c GARBAGE COLLECT 3020.08/3027.32 c rational objective 0 3094.42/3101.86 c #Conflicts: 1444000 | #Constraints: 36284 3094.42/3101.86 c #Conflicts: 1445000 | #Constraints: 37284 3094.42/3101.86 c #Conflicts: 1446000 | #Constraints: 38284 3094.42/3101.86 c #Conflicts: 1447000 | #Constraints: 39284 3094.42/3101.86 c #Conflicts: 1448000 | #Constraints: 40284 3094.42/3101.86 c #Conflicts: 1449000 | #Constraints: 41284 3094.42/3101.86 c #Conflicts: 1450000 | #Constraints: 42285 3094.42/3101.86 c #Conflicts: 1451000 | #Constraints: 43285 3094.42/3101.86 c #Conflicts: 1452000 | #Constraints: 44285 3094.42/3101.86 c #Conflicts: 1453000 | #Constraints: 45285 3094.42/3101.86 c #Conflicts: 1454000 | #Constraints: 46285 3094.42/3101.86 c #Conflicts: 1455000 | #Constraints: 47285 3094.42/3101.86 c #Conflicts: 1456000 | #Constraints: 48285 3094.42/3101.86 c #Conflicts: 1457000 | #Constraints: 49285 3094.42/3101.86 c #Conflicts: 1458000 | #Constraints: 50285 3094.42/3101.86 c #Conflicts: 1459000 | #Constraints: 51285 3094.42/3101.86 c #Conflicts: 1460000 | #Constraints: 52285 3094.42/3101.86 c #Conflicts: 1461000 | #Constraints: 53285 3094.42/3101.86 c #Conflicts: 1462000 | #Constraints: 54285 3094.42/3101.86 c #Conflicts: 1463000 | #Constraints: 55285 3094.42/3101.86 c #Conflicts: 1464000 | #Constraints: 56285 3094.42/3101.86 c #Conflicts: 1465000 | #Constraints: 57285 3094.42/3101.86 c #Conflicts: 1466000 | #Constraints: 58286 3094.42/3101.86 c #Conflicts: 1467000 | #Constraints: 59286 3094.42/3101.86 c INPROCESSING 3094.42/3101.86 c GARBAGE COLLECT 3094.42/3101.86 c rational objective 0 3189.59/3197.24 c #Conflicts: 1468000 | #Constraints: 31099 3189.59/3197.24 c #Conflicts: 1469000 | #Constraints: 32723 3189.59/3197.24 c #Conflicts: 1470000 | #Constraints: 34351 3189.59/3197.24 c #Conflicts: 1471000 | #Constraints: 35990 3189.59/3197.24 c #Conflicts: 1472000 | #Constraints: 37641 3189.59/3197.24 c #Conflicts: 1473000 | #Constraints: 39288 3189.59/3197.24 c #Conflicts: 1474000 | #Constraints: 40910 3189.59/3197.24 c #Conflicts: 1475000 | #Constraints: 42563 3189.59/3197.24 c #Conflicts: 1476000 | #Constraints: 44211 3189.59/3197.24 c #Conflicts: 1477000 | #Constraints: 45827 3189.59/3197.24 c #Conflicts: 1478000 | #Constraints: 47474 3189.59/3197.24 c #Conflicts: 1479000 | #Constraints: 49092 3189.59/3197.24 c #Conflicts: 1480000 | #Constraints: 50747 3189.59/3197.24 c #Conflicts: 1481000 | #Constraints: 52394 3189.59/3197.24 c #Conflicts: 1482000 | #Constraints: 53974 3189.59/3197.24 c #Conflicts: 1483000 | #Constraints: 55618 3189.59/3197.24 c #Conflicts: 1484000 | #Constraints: 57230 3189.59/3197.24 c #Conflicts: 1485000 | #Constraints: 58854 3189.59/3197.24 c #Conflicts: 1486000 | #Constraints: 60446 3189.59/3197.24 c #Conflicts: 1487000 | #Constraints: 62039 3189.59/3197.24 c #Conflicts: 1488000 | #Constraints: 63681 3189.59/3197.24 c #Conflicts: 1489000 | #Constraints: 65314 3189.59/3197.24 c #Conflicts: 1490000 | #Constraints: 66915 3189.59/3197.24 c #Conflicts: 1491000 | #Constraints: 68544 3189.59/3197.24 c INPROCESSING 3189.59/3197.24 c GARBAGE COLLECT 3189.59/3197.24 c rational objective 0 3271.10/3278.92 c #Conflicts: 1492000 | #Constraints: 35254 3271.10/3278.92 c #Conflicts: 1493000 | #Constraints: 36641 3271.10/3278.92 c #Conflicts: 1494000 | #Constraints: 37641 3271.10/3278.92 c #Conflicts: 1495000 | #Constraints: 38641 3271.10/3278.92 c #Conflicts: 1496000 | #Constraints: 39641 3271.10/3278.92 c #Conflicts: 1497000 | #Constraints: 40934 3271.10/3278.92 c #Conflicts: 1498000 | #Constraints: 42152 3271.10/3278.92 c #Conflicts: 1499000 | #Constraints: 43353 3271.10/3278.92 c #Conflicts: 1500000 | #Constraints: 44617 3271.10/3278.92 c #Conflicts: 1501000 | #Constraints: 45617 3271.10/3278.92 c #Conflicts: 1502000 | #Constraints: 46677 3271.10/3278.92 c #Conflicts: 1503000 | #Constraints: 47792 3271.10/3278.92 c #Conflicts: 1504000 | #Constraints: 49269 3271.10/3278.92 c #Conflicts: 1505000 | #Constraints: 50540 3271.10/3278.92 c #Conflicts: 1506000 | #Constraints: 51580 3271.10/3278.92 c #Conflicts: 1507000 | #Constraints: 52742 3271.10/3278.92 c #Conflicts: 1508000 | #Constraints: 53789 3271.10/3278.92 c #Conflicts: 1509000 | #Constraints: 54789 3271.10/3278.92 c #Conflicts: 1510000 | #Constraints: 55789 3271.10/3278.92 c #Conflicts: 1511000 | #Constraints: 56789 3271.10/3278.92 c #Conflicts: 1512000 | #Constraints: 57825 3271.10/3278.92 c #Conflicts: 1513000 | #Constraints: 58825 3271.10/3278.92 c #Conflicts: 1514000 | #Constraints: 59829 3271.10/3278.92 c #Conflicts: 1515000 | #Constraints: 60829 3271.10/3278.92 c #Conflicts: 1516000 | #Constraints: 61829 3271.10/3278.92 c INPROCESSING 3271.10/3278.92 c GARBAGE COLLECT 3271.10/3278.92 c rational objective 0 3338.94/3346.98 c #Conflicts: 1517000 | #Constraints: 31905 3338.94/3346.98 c #Conflicts: 1518000 | #Constraints: 32905 3338.94/3346.98 c #Conflicts: 1519000 | #Constraints: 33905 3338.94/3346.98 c #Conflicts: 1520000 | #Constraints: 35110 3338.94/3346.98 c #Conflicts: 1521000 | #Constraints: 36125 3338.94/3346.98 c #Conflicts: 1522000 | #Constraints: 37219 3338.94/3346.98 c #Conflicts: 1523000 | #Constraints: 38224 3338.94/3346.98 c #Conflicts: 1524000 | #Constraints: 39369 3338.94/3346.98 c #Conflicts: 1525000 | #Constraints: 40408 3338.94/3346.98 c #Conflicts: 1526000 | #Constraints: 41452 3338.94/3346.98 c #Conflicts: 1527000 | #Constraints: 42452 3338.94/3346.98 c #Conflicts: 1528000 | #Constraints: 43452 3338.94/3346.98 c #Conflicts: 1529000 | #Constraints: 44452 3338.94/3346.98 c #Conflicts: 1530000 | #Constraints: 45452 3338.94/3346.98 c #Conflicts: 1531000 | #Constraints: 46452 3338.94/3346.98 c #Conflicts: 1532000 | #Constraints: 47455 3338.94/3346.98 c #Conflicts: 1533000 | #Constraints: 48470 3338.94/3346.98 c #Conflicts: 1534000 | #Constraints: 49470 3338.94/3346.98 c #Conflicts: 1535000 | #Constraints: 50624 3338.94/3346.98 c #Conflicts: 1536000 | #Constraints: 51791 3338.94/3346.98 c #Conflicts: 1537000 | #Constraints: 52791 3338.94/3346.98 c #Conflicts: 1538000 | #Constraints: 53791 3338.94/3346.98 c #Conflicts: 1539000 | #Constraints: 54791 3338.94/3346.98 c #Conflicts: 1540000 | #Constraints: 55792 3338.94/3346.98 c #Conflicts: 1541000 | #Constraints: 56809 3338.94/3346.98 c INPROCESSING 3338.94/3346.98 c GARBAGE COLLECT 3338.94/3346.98 c rational objective 0 3408.78/3416.93 c #Conflicts: 1542000 | #Constraints: 29863 3408.78/3416.93 c #Conflicts: 1543000 | #Constraints: 30997 3408.78/3416.93 c #Conflicts: 1544000 | #Constraints: 32665 3408.78/3416.93 c #Conflicts: 1545000 | #Constraints: 33827 3408.78/3416.93 c #Conflicts: 1546000 | #Constraints: 34920 3408.78/3416.93 c #Conflicts: 1547000 | #Constraints: 36126 3408.78/3416.93 c #Conflicts: 1548000 | #Constraints: 37126 3408.78/3416.93 c #Conflicts: 1549000 | #Constraints: 38126 3408.78/3416.93 c #Conflicts: 1550000 | #Constraints: 39126 3408.78/3416.93 c #Conflicts: 1551000 | #Constraints: 40126 3408.78/3416.93 c #Conflicts: 1552000 | #Constraints: 41126 3408.78/3416.93 c #Conflicts: 1553000 | #Constraints: 42126 3408.78/3416.93 c #Conflicts: 1554000 | #Constraints: 43442 3408.78/3416.93 c #Conflicts: 1555000 | #Constraints: 44442 3408.78/3416.93 c #Conflicts: 1556000 | #Constraints: 45442 3408.78/3416.93 c #Conflicts: 1557000 | #Constraints: 46442 3408.78/3416.93 c #Conflicts: 1558000 | #Constraints: 47442 3408.78/3416.93 c #Conflicts: 1559000 | #Constraints: 48442 3408.78/3416.93 c #Conflicts: 1560000 | #Constraints: 49442 3408.78/3416.93 c #Conflicts: 1561000 | #Constraints: 50443 3408.78/3416.93 c #Conflicts: 1562000 | #Constraints: 51857 3408.78/3416.93 c #Conflicts: 1563000 | #Constraints: 52857 3408.78/3416.93 c #Conflicts: 1564000 | #Constraints: 53857 3408.78/3416.93 c #Conflicts: 1565000 | #Constraints: 54857 3408.78/3416.93 c #Conflicts: 1566000 | #Constraints: 55857 3408.78/3416.93 c INPROCESSING 3408.78/3416.93 c GARBAGE COLLECT 3408.78/3416.93 c rational objective 0 3503.16/3511.51 c #Conflicts: 1567000 | #Constraints: 29255 3503.16/3511.51 c #Conflicts: 1568000 | #Constraints: 30731 3503.16/3511.51 c #Conflicts: 1569000 | #Constraints: 32170 3503.16/3511.51 c #Conflicts: 1570000 | #Constraints: 33643 3503.16/3511.51 c #Conflicts: 1571000 | #Constraints: 35246 3503.16/3511.51 c #Conflicts: 1572000 | #Constraints: 36838 3503.16/3511.51 c #Conflicts: 1573000 | #Constraints: 37971 3503.16/3511.51 c #Conflicts: 1574000 | #Constraints: 38971 3503.16/3511.51 c #Conflicts: 1575000 | #Constraints: 40403 3503.16/3511.51 c #Conflicts: 1576000 | #Constraints: 41847 3503.16/3511.51 c #Conflicts: 1577000 | #Constraints: 43277 3503.16/3511.51 c #Conflicts: 1578000 | #Constraints: 44277 3503.16/3511.51 c #Conflicts: 1579000 | #Constraints: 45277 3503.16/3511.51 c #Conflicts: 1580000 | #Constraints: 46451 3503.16/3511.51 c #Conflicts: 1581000 | #Constraints: 47787 3503.16/3511.51 c #Conflicts: 1582000 | #Constraints: 49244 3503.16/3511.51 c #Conflicts: 1583000 | #Constraints: 50690 3503.16/3511.51 c #Conflicts: 1584000 | #Constraints: 52143 3503.16/3511.51 c #Conflicts: 1585000 | #Constraints: 53636 3503.16/3511.51 c #Conflicts: 1586000 | #Constraints: 54943 3503.16/3511.51 c #Conflicts: 1587000 | #Constraints: 56439 3503.16/3511.51 c #Conflicts: 1588000 | #Constraints: 58015 3503.16/3511.51 c #Conflicts: 1589000 | #Constraints: 59599 3503.16/3511.51 c #Conflicts: 1590000 | #Constraints: 61075 3503.16/3511.51 c #Conflicts: 1591000 | #Constraints: 62336 3503.16/3511.51 c INPROCESSING 3503.16/3511.51 c GARBAGE COLLECT 3503.16/3511.51 c rational objective 0 3600.02/3608.60 c 3600.02/3608.60 s SATISFIABLE 3600.02/3608.60 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 3600.02/3608.60 c #Conflicts: 1592000 | #Constraints: 32521 3600.02/3608.60 c #Conflicts: 1593000 | #Constraints: 34138 3600.02/3608.60 c #Conflicts: 1594000 | #Constraints: 35725 3600.02/3608.60 c #Conflicts: 1595000 | #Constraints: 37287 3600.02/3608.60 c #Conflicts: 1596000 | #Constraints: 38924 3600.02/3608.60 c #Conflicts: 1597000 | #Constraints: 40517 3600.02/3608.60 c #Conflicts: 1598000 | #Constraints: 42077 3600.02/3608.60 c #Conflicts: 1599000 | #Constraints: 43693 3600.02/3608.60 c #Conflicts: 1600000 | #Constraints: 45317 3600.02/3608.60 c #Conflicts: 1601000 | #Constraints: 46929 3600.02/3608.60 c #Conflicts: 1602000 | #Constraints: 48516 3600.02/3608.60 c #Conflicts: 1603000 | #Constraints: 50170 3600.02/3608.60 c #Conflicts: 1604000 | #Constraints: 51822 3600.02/3608.60 c #Conflicts: 1605000 | #Constraints: 53445 3600.02/3608.60 c #Conflicts: 1606000 | #Constraints: 55081 3600.02/3608.60 c #Conflicts: 1607000 | #Constraints: 56716 3600.02/3608.60 c #Conflicts: 1608000 | #Constraints: 58368 3600.02/3608.60 c #Conflicts: 1609000 | #Constraints: 60021 3600.02/3608.60 c #Conflicts: 1610000 | #Constraints: 61641 3600.02/3608.60 c #Conflicts: 1611000 | #Constraints: 63224 3600.02/3608.60 c #Conflicts: 1612000 | #Constraints: 64825 3600.02/3608.60 c #Conflicts: 1613000 | #Constraints: 66447
FAILED ERROR: unsatisfied constraint on line 8 -1>=0 Falsified constraint is: -1*x1[=1] >= 0
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62936 MiB free)
memory of node 1: 64510 MiB (61452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429452-1721048710/watcher-4429452-1721048710 -o /tmp/evaluation-result-4429452-1721048710/solver-4429452-1721048710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721048723-801651 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429452-1721048710.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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=801698, runsolver pid=801689
[startup+0.10056 s]*
/proc/loadavg: 1.89 3.38 3.84 7/257 801714
/proc/meminfo: memFree=127365760/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=37524 memory=8284 CPUtime=0.09 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 469 0 1 0 9 0 0 0 20 0 1 0 157035879 38424576 2071 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 9381 2071 1833 922 0 1333 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 8284 KiB
[startup+0.211559 s]*
/proc/loadavg: 1.89 3.38 3.84 5/257 801714
/proc/meminfo: memFree=127361568/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=37644 memory=8616 CPUtime=0.2 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 517 0 1 0 19 1 0 0 20 0 1 0 157035879 38547456 2154 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 9411 2154 1833 922 0 1363 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37644 KiB
Current children cumulated memory: 8616 KiB
[startup+0.304761 s]*
/proc/loadavg: 2.14 3.41 3.84 6/257 801714
/proc/meminfo: memFree=127358072/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=37776 memory=8936 CPUtime=0.29 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 583 0 1 0 28 1 0 0 20 0 1 0 157035879 38682624 2234 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 9444 2234 1849 922 0 1396 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37776 KiB
Current children cumulated memory: 8936 KiB
[startup+0.700137 s]
/proc/loadavg: 2.14 3.41 3.84 6/257 801714
/proc/meminfo: memFree=127356512/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=37904 memory=9220 CPUtime=0.68 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 694 0 1 0 65 3 0 0 20 0 1 0 157035879 38813696 2305 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 9476 2305 1849 922 0 1428 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37904 KiB
Current children cumulated memory: 9220 KiB
[startup+1.50013 s]
/proc/loadavg: 2.14 3.41 3.84 6/257 801714
/proc/meminfo: memFree=127353876/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=38288 memory=9824 CPUtime=1.47 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 802 0 1 0 142 5 0 0 20 0 1 0 157035879 39206912 2456 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 9572 2456 1849 922 0 1524 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38288 KiB
Current children cumulated memory: 9824 KiB
[startup+3.105 s]
/proc/loadavg: 2.14 3.41 3.84 6/257 801716
/proc/meminfo: memFree=127349844/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=38512 memory=10364 CPUtime=3.08 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 961 0 1 0 296 12 0 0 20 0 1 0 157035879 39436288 2591 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 9628 2591 1849 922 0 1580 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 38512 KiB
Current children cumulated memory: 10364 KiB
[startup+6.30014 s]
/proc/loadavg: 2.37 3.44 3.85 6/257 801716
/proc/meminfo: memFree=127344016/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=39056 memory=11180 CPUtime=6.27 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 1169 0 1 0 606 21 0 0 20 0 1 0 157035879 39993344 2795 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 9764 2795 1849 922 0 1716 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39056 KiB
Current children cumulated memory: 11180 KiB
[startup+12.7001 s]
/proc/loadavg: 2.50 3.45 3.85 6/257 801717
/proc/meminfo: memFree=127328500/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=40880 memory=15188 CPUtime=12.65 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 1637 0 1 0 1231 34 0 0 20 0 1 0 157035879 41861120 3797 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 10220 3797 1849 922 0 2172 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 15188 KiB
[startup+25.5002 s]
/proc/loadavg: 2.73 3.46 3.85 6/257 801719
/proc/meminfo: memFree=127314496/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=41264 memory=15600 CPUtime=25.42 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 1740 0 1 0 2482 60 0 0 20 0 1 0 157035879 42254336 3900 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 10316 3900 1849 922 0 2268 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41264 KiB
Current children cumulated memory: 15600 KiB
[startup+51.1061 s]
/proc/loadavg: 3.37 3.55 3.87 6/257 801722
/proc/meminfo: memFree=127288396/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=47112 memory=20772 CPUtime=50.96 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 2597 0 1 0 4999 97 0 0 20 0 1 0 157035879 48242688 5193 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 11778 5193 1849 922 0 3730 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 47112 KiB
Current children cumulated memory: 20772 KiB
[startup+102.3 s]
/proc/loadavg: 3.79 3.64 3.88 6/257 801733
/proc/meminfo: memFree=127273036/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=48756 memory=22576 CPUtime=102.03 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 3068 0 1 0 10056 147 0 0 20 0 1 0 157035879 49926144 5644 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 12189 5644 1849 922 0 4141 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 48756 KiB
Current children cumulated memory: 22576 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.72 3.90 6/257 801744
/proc/meminfo: memFree=127263492/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=54292 memory=24140 CPUtime=161.87 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 3541 0 1 0 15987 200 0 0 20 0 1 0 157035879 55595008 6035 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 13573 6035 1849 922 0 5525 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 54292 KiB
Current children cumulated memory: 24140 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.81 3.92 6/257 801754
/proc/meminfo: memFree=127257200/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=55444 memory=25856 CPUtime=221.71 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 4047 0 1 0 21925 246 0 0 20 0 1 0 157035879 56774656 6464 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 13861 6464 1849 922 0 5813 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 55444 KiB
Current children cumulated memory: 25856 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.86 3.93 6/259 801768
/proc/meminfo: memFree=127233852/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=55608 memory=26108 CPUtime=281.56 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 4114 0 1 0 27855 301 0 0 20 0 1 0 157035879 56942592 6527 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 13902 6527 1849 922 0 5854 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 55608 KiB
Current children cumulated memory: 26108 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 3.89 3.94 6/257 801779
/proc/meminfo: memFree=127220124/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=55864 memory=28420 CPUtime=341.38 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 4226 0 1 0 33788 350 0 0 20 0 1 0 157035879 57204736 7105 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 13966 7105 1849 922 0 5918 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 55864 KiB
Current children cumulated memory: 28420 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.94 3.95 6/257 801789
/proc/meminfo: memFree=127215304/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=56728 memory=29152 CPUtime=401.22 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 4524 0 1 0 39724 398 0 0 20 0 1 0 157035879 58089472 7288 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 14182 7288 1849 922 0 6134 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 56728 KiB
Current children cumulated memory: 29152 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.00 3.97 6/256 801799
/proc/meminfo: memFree=127213676/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=57404 memory=29524 CPUtime=461.09 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 4760 0 1 0 45673 436 0 0 20 0 1 0 157035879 58781696 7381 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 14351 7381 1849 922 0 6303 0
################
# More data... #
################
Current children cumulated memory: 46300 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.07 6/257 802956
/proc/meminfo: memFree=127068248/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=74752 memory=48528 CPUtime=2855.47 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8344 0 1 0 284058 1489 0 0 20 0 1 0 157035879 76546048 12132 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18688 12132 1963 922 0 10640 0
Current children cumulated CPU time: 2855.47 s
Current children cumulated vsize: 74752 KiB
Current children cumulated memory: 48528 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.07 6/258 802968
/proc/meminfo: memFree=127066508/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=74752 memory=48696 CPUtime=2915.33 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8380 0 1 0 290029 1504 0 0 20 0 1 0 157035879 76546048 12174 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18688 12174 1963 922 0 10640 0
Current children cumulated CPU time: 2915.33 s
Current children cumulated vsize: 74752 KiB
Current children cumulated memory: 48696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.11 4.08 6/259 803362
/proc/meminfo: memFree=127064792/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48788 CPUtime=2975.19 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8549 0 1 0 295999 1520 0 0 20 0 1 0 157035879 77070336 12197 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12197 1963 922 0 10768 0
Current children cumulated CPU time: 2975.19 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48788 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.08 6/257 803372
/proc/meminfo: memFree=127064388/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48788 CPUtime=3035.05 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8551 0 1 0 301968 1537 0 0 20 0 1 0 157035879 77070336 12197 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12197 1963 922 0 10768 0
Current children cumulated CPU time: 3035.05 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48788 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.08 6/257 803382
/proc/meminfo: memFree=127064020/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48788 CPUtime=3094.91 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8565 0 1 0 307930 1561 0 0 20 0 1 0 157035879 77070336 12197 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12197 1963 922 0 10768 0
Current children cumulated CPU time: 3094.91 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48788 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.08 6/259 803563
/proc/meminfo: memFree=127060372/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48788 CPUtime=3154.77 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8580 0 1 0 313898 1579 0 0 20 0 1 0 157035879 77070336 12197 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12197 1963 922 0 10768 0
Current children cumulated CPU time: 3154.77 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48788 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/258 803573
/proc/meminfo: memFree=127060736/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48804 CPUtime=3214.63 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8609 0 1 0 319866 1597 0 0 20 0 1 0 157035879 77070336 12201 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12201 1963 922 0 10768 0
Current children cumulated CPU time: 3214.63 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48804 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/259 803586
/proc/meminfo: memFree=127059636/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48804 CPUtime=3274.48 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8623 0 1 0 325832 1616 0 0 20 0 1 0 157035879 77070336 12201 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12201 1963 922 0 10768 0
Current children cumulated CPU time: 3274.48 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48804 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/257 803608
/proc/meminfo: memFree=127059172/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48804 CPUtime=3334.35 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8637 0 1 0 331792 1643 0 0 20 0 1 0 157035879 77070336 12201 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12201 1963 922 0 10768 0
Current children cumulated CPU time: 3334.35 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48804 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/257 803618
/proc/meminfo: memFree=127057764/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48804 CPUtime=3394.21 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8651 0 1 0 337749 1672 0 0 20 0 1 0 157035879 77070336 12201 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12201 1963 922 0 10768 0
Current children cumulated CPU time: 3394.21 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48804 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/257 803628
/proc/meminfo: memFree=127057176/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48848 CPUtime=3454.07 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8665 0 1 0 343711 1696 0 0 20 0 1 0 157035879 77070336 12212 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12212 1963 922 0 10768 0
Current children cumulated CPU time: 3454.07 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.11 4.09 6/255 803639
/proc/meminfo: memFree=127055100/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48848 CPUtime=3513.93 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8681 0 1 0 349681 1712 0 0 20 0 1 0 157035879 77070336 12212 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12212 1963 922 0 10768 0
Current children cumulated CPU time: 3513.93 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/255 803650
/proc/meminfo: memFree=127054548/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75264 memory=48848 CPUtime=3573.79 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8704 0 1 0 355651 1728 0 0 20 0 1 0 157035879 77070336 12212 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18816 12212 1963 922 0 10768 0
Current children cumulated CPU time: 3573.79 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 48848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.06 4.09 4.09 6/254 803654
/proc/meminfo: memFree=127054312/131524600 swapFree=131071996/131071996
[pid=801698] ppid=801689 vsize=75520 memory=48960 CPUtime=3600.02 cores=4,6
/proc/801698/stat : 801698 (roundingsat) R 801689 801698 801640 0 -1 4194304 8808 0 1 0 358269 1733 0 0 20 0 1 0 157035879 77332480 12240 134679101440 4194304 7968869 140729903097888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 27635712 140729903100862 140729903101026 140729903101026 140729903108041 0
/proc/801698/statm: 18880 12240 1963 922 0 10832 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 75520 KiB
Current children cumulated memory: 48960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.6 s]
# the end of solver process 801698 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3582.7 s, system=17.3384 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3608.6
CPU time (s): 3600.04
CPU user time (s): 3582.7
CPU system time (s): 17.3384
CPU usage (%): 99.7627
Max. virtual memory (cumulated for all children) (KiB): 75780
Max. memory (cumulated for all children) (KiB): 49192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.7
system time used= 17.3384
maximum resident set size= 49192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8816
page faults= 1
swaps= 0
block input operations= 256
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 1615
# summary of solver processes directly reported to runsolver:
# pid: 801698
# total CPU time (s): 3600.04
# total CPU user time (s): 3582.7
# total CPU system time (s): 17.3384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26705 second user time and 17.1529 second system time
The end
Begin job on nodeC024 at 2024-07-15 15:05:23 IDJOB=4429452 IDBENCH=147576 IDSOLVER=3051 FILE ID=nodeC024/4429452-1721048710 RUNJOBID= nodeC024-1721048723-801651 SLURM_JOB_ID= 7505468 Free space on /tmp= 890084 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-4429452-1721048710/watcher-4429452-1721048710 -o /tmp/evaluation-result-4429452-1721048710/solver-4429452-1721048710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721048723-801651 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429452-1721048710.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 52024caa2fcec9d840e113a681eace59 RANDOM SEED=546050995 nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3585.046 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3492.610 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3473.136 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3649.779 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3339.409 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3250.937 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3615.455 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3508.128 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127381672 kB MemAvailable: 129714824 kB Buffers: 358728 kB Cached: 2787936 kB SwapCached: 0 kB Active: 568436 kB Inactive: 2936096 kB Active(anon): 1448 kB Inactive(anon): 394140 kB Active(file): 566988 kB Inactive(file): 2541956 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 15436 kB Writeback: 0 kB AnonPages: 357580 kB Mapped: 103260 kB Shmem: 37720 kB KReclaimable: 127712 kB Slab: 235636 kB SReclaimable: 127712 kB SUnreclaim: 107924 kB KernelStack: 3872 kB PageTables: 9536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 733592 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59552 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 221908 kB DirectMap2M: 19474432 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 890064 MiB End job on nodeC024 at 2024-07-15 16:05:32